Hiperfonksiyon - Hyperfunction

İçinde matematik, hiperfonksiyonlar fonksiyonların birinden 'atlama' olarak genellemeleridir holomorfik fonksiyon sınırda diğerine ve gayri resmi olarak düşünülebilir dağıtımlar sonsuz düzen. Hiperfonksiyonlar tarafından tanıtıldı Mikio Sato içinde 1958 Japonyada, (1959, 1960 İngilizce), daha önceki çalışmalara dayanarak Laurent Schwartz, Grothendieck ve diğerleri.

Formülasyon

Gerçek çizgi üzerindeki bir hiperfonksiyon, üst yarı düzlemde tanımlanan bir holomorfik fonksiyon ile alt yarı düzlemde bir diğeri arasındaki 'fark' olarak düşünülebilir. Yani, bir hiperfonksiyon, bir çift (fg), nerede f üst yarı düzlemde holomorfik bir fonksiyondur ve g alt yarı düzlemde bir holomorfik fonksiyondur.

Gayri resmi olarak, hiperfonksiyon ne fark eder? gerçek çizginin kendisi olacaktır. Bu fark, aynı holomorfik fonksiyonun her ikisine de eklenmesinden etkilenmez. f ve g, öyleyse eğer h bir bütün olarak holomorfik fonksiyon ise karmaşık düzlem, hiperfonksiyonlar (fg) ve (f + hg + h) eşdeğer olarak tanımlanmıştır.

Tek boyutta tanım

Motivasyon, fikirlerle somut bir şekilde uygulanabilir. demet kohomolojisi. İzin Vermek ol demet nın-nin holomorf fonksiyonlar açık Üzerindeki hiperfonksiyonları tanımlayın gerçek çizgi İlk olarak yerel kohomoloji grup:

Somut olarak, izin ver ve ol üst yarı düzlem ve alt yarı düzlem sırasıyla. Sonra yani

Herhangi bir demetin sıfırıncı kohomoloji grubu, o demetin küresel bölümleri olduğundan, bir hiperfonksiyonun, her biri üst ve alt kompleks yarım düzlem modülo tüm holomorfik fonksiyonlarda bulunan bir çift holomorfik fonksiyon olduğunu görüyoruz.

Daha genel olarak tanımlanabilir herhangi bir açık set için bölüm olarak nerede herhangi bir açık set mi . Bu tanımın seçimine bağlı olmadığı gösterilebilir. hiperfonksiyonları holomorfik fonksiyonların "sınır değerleri" olarak düşünmek için başka bir neden verir.

Örnekler

  • Eğer f tüm karmaşık düzlemde herhangi bir holomorfik fonksiyon, daha sonra f gerçek eksene göre, (f, 0) veya (0, -f).
  • Heaviside adım işlevi olarak temsil edilebilir
Bu gerçekten bir yeniden ifade Cauchy'nin integral formülü. Doğrulamak için entegrasyon hesaplanabilir f gerçek çizginin hemen altında ve entegrasyonunu çıkar g gerçek çizginin hemen üstünde - her ikisi de soldan sağa. Bileşenler aynı işlevin analitik devamı olsa bile, hiperfonksiyonun önemsiz olmayabileceğini unutmayın. Ayrıca, Heaviside işlevi ayırt edilerek bu kolaylıkla kontrol edilebilir.
  • Eğer g bir sürekli işlev (veya daha genel olarak a dağıtım ) sınırlı bir aralıkta yer alan destekle gerçek hatta ben, sonra g hiperfonksiyona karşılık gelir (f, −f), nerede f tamamlayıcısı üzerindeki holomorfik bir fonksiyondur ben tarafından tanımlandı
Bu işlev f değerinde sıçrar g(x) noktada gerçek ekseni geçerken x. Formülü f yazarak önceki örnekten takip eder g olarak kıvrım Dirac delta işlevi ile kendi başına.
  • Birlik bölümü kullanarak, herhangi bir sürekli işlevi (dağıtım), kompakt destekle yerel olarak sonlu bir toplam işlevler (dağılımlar) olarak yazabiliriz. Bu, yukarıdaki yerleştirmeyi bir yerleştirmeye genişletmek için kullanılabilir.
  • Eğer f dışında her yerde holomorf olan herhangi bir işlevdir. temel tekillik 0'da (örneğin, e1/z), sonra ile bir hiperfonksiyondur destek 0 bir dağıtım değildir. Eğer f 0'da sonlu bir kutba sahiptir o zaman bir dağıtımdır, yani ne zaman f temel bir tekilliğe sahipse 0'da "sonsuz sıralı dağılım" gibi görünür. (Dağıtımların her zaman sonlu herhangi bir noktada sipariş verin.)

Hiper fonksiyonlarla ilgili işlemler

İzin Vermek herhangi bir açık alt küme olabilir.

  • Tanım olarak karmaşık sayılarla toplama ve çarpmanın iyi tanımlandığı bir vektör uzayıdır. Açıkça:
  • Bariz kısıtlama haritaları dönüyor içine demet (ki aslında gevşek ).
  • Gerçek analitik fonksiyonlarla çarpma ve farklılaşma iyi tanımlanmıştır:
Bu tanımlarla olur D modülü ve yerleştirme D modüllerinin bir morfizmidir.
  • Bir nokta denir holomorfik nokta nın-nin Eğer küçük bir mahallede gerçek bir analitik işlevle sınırlıdır. Eğer iki holomorfik noktadır, bu durumda entegrasyon iyi tanımlanmıştır:
nerede keyfi eğriler İntegraller bu eğrilerin seçiminden bağımsızdır çünkü üst ve alt yarı düzlemler basitçe bağlı.
  • İzin Vermek kompakt destekli hiperfonksiyonların alanı olun. Çift doğrusal form aracılığıyla
her bir hiperfonksiyonla, kompakt destekli sürekli doğrusal bir fonksiyonla ilişkilendirilir Bu, ikili uzayın tanımlanmasını sağlar, ile Dikkate alınmaya değer özel bir durum, kompakt destekli sürekli işlevler veya dağıtımlardır: (veya ) alt kümesi olarak Yukarıdaki gömme yoluyla, bu tam olarak geleneksel Lebesgue-integralini hesaplar. Ayrıca: If kompakt destekli bir dağıtımdır, gerçek bir analitik işlevdir ve sonra
Böylece bu entegrasyon kavramı, aşağıdaki gibi biçimsel ifadelere kesin bir anlam verir.
her zamanki anlamda tanımsız olan. Dahası: Gerçek analitik fonksiyonlar, alt uzayı . Bu, aynı yerleştirmenin alternatif bir açıklamasıdır .
  • Eğer açık kümeler arasındaki gerçek bir analitik haritadır , sonra kompozisyon iyi tanımlanmış bir operatördür -e :

Ayrıca bakınız

Referanslar

  • Imai, Isao (2012) [1992], Uygulamalı Hiperfonksiyon Teorisi, Matematik ve Uygulamaları (Kitap 8), Springer, ISBN  978-94-010-5125-5.
  • Kaneko, Akira (1988), Hiper Fonksiyonlar Teorisine Giriş, Matematik ve Uygulamaları (3. Kitap), Springer, ISBN  978-90-277-2837-1
  • Kashiwara, Masaki; Kawai, Takahiro; Kimura, Tatsuo (2017) [1986], Cebirsel Analizin Temelleri, Princeton Legacy Library (Book 5158), PMS-37, Kato, Goro (Baskı ed.), Princeton University Press, ISBN  978-0-691-62832-5
  • Komatsu, Hikosaburo, ed. (1973), Hiperfonksiyonlar ve Sözde Diferansiyel Denklemler, Katata'daki Konferans Tutanakları, 1971, Matematik Ders Notları 287, Springer, ISBN  978-3-540-06218-9.
    • Komatsu, Hikosaburo, Diferansiyel denklem çözümlerinin demetlerinin bağıl kohomolojisi, s. 192–261.
    • Sato, Mikio; Kawai, Takahiro; Kashiwara, Masaki, Mikro fonksiyonlar ve sözde diferansiyel denklemler, s. 265–529. - SKK denir.
  • Martineau, André (1960–1961), Les hyperfonctions de M. Sato, Séminaire Bourbaki, Tome 6 (1960-1961), Exposé no. 214, BAY  1611794, Zbl  0122.34902.
  • Morimoto, Mitsuo (1993), Sato'nun Hiper Fonksiyonlarına Giriş, Mathematical Monographs (Book 129), American Mathematical Society'nin çevirisi, ISBN  978-0-82184571-4.
  • Pham, F. L., ed. (1975), Hiperfonksiyonlar ve Teorik Fizik, Rencontre de Nice, 21-30 Mayıs 1973, Matematik Ders Notları 449, Springer, ISBN  978-3-540-37454-1.
    • Cerezo, A .; Piriou, A .; Chazarain, J., Giriş aux hiperfonksiyonları, s. 1–53.
  • Sato, Mikio (1958), "Cyōkansū no riron (Hiperfonksiyonlar Teorisi)", Sūgaku (Japonca), Japonya Matematik Derneği, 10 (1): 1–27, doi:10.11429 / sugaku1947.10.1, ISSN  0039-470X
  • Sato, Mikio (1959), "Hiperfonksiyonlar Teorisi, I", Tokyo Üniversitesi Fen Fakültesi Dergisi. Mezhep. 1, Matematik, Astronomi, Fizik, Kimya, 8 (1): 139–193, hdl:2261/6027, BAY  0114124.
  • Sato, Mikio (1960), "Hiper Fonksiyonlar Teorisi, II", Tokyo Üniversitesi Fen Fakültesi Dergisi. Mezhep. 1, Matematik, Astronomi, Fizik, Kimya, 8 (2): 387–437, hdl:2261/6031, BAY  0132392.
  • Schapira, Pierre (1970), Teoriler des Hyperfonctions, Matematik Ders Notları 126, Springer, ISBN  978-3-540-04915-9.
  • Schlichtkrull, Henrik (2013) [1984], Simetrik Uzaylarda Hiperfonksiyonlar ve Harmonik Analiz, Matematikte İlerleme (orijinal 1. basımın Ciltsiz yeniden baskısı), Springer, ISBN  978-1-4612-9775-8

Dış bağlantılar