Bochner-Martinelli formülü - Vikipedi
İçeriğe atla
Ana menü
Gezinti
  • Anasayfa
  • Hakkımızda
  • İçindekiler
  • Rastgele madde
  • Seçkin içerik
  • Yakınımdakiler
Katılım
  • Deneme tahtası
  • Köy çeşmesi
  • Son değişiklikler
  • Dosya yükle
  • Topluluk portalı
  • Wikimedia dükkânı
  • Yardım
  • Özel sayfalar
Vikipedi Özgür Ansiklopedi
Ara
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç
  • Bağış yapın
  • Hesap oluştur
  • Oturum aç

İçindekiler

  • Giriş
  • 1 Tarihçe
  • 2 Bochner–Martinelli çekirdeği
    • 2.1 Cauchy çekirdeği
  • 3 Bochner-Martinelli-Koppelman çekirdeği
  • 4 Notlar
  • 5 Kaynakça

Bochner-Martinelli formülü

  • Deutsch
  • English
Bağlantıları değiştir
  • Madde
  • Tartışma
  • Oku
  • Değiştir
  • Kaynağı değiştir
  • Geçmişi gör
Araçlar
Eylemler
  • Oku
  • Değiştir
  • Kaynağı değiştir
  • Geçmişi gör
Genel
  • Sayfaya bağlantılar
  • İlgili değişiklikler
  • Kalıcı bağlantı
  • Sayfa bilgisi
  • Bu sayfayı kaynak göster
  • Kısaltılmış URL'yi al
  • Karekodu indir
Yazdır/dışa aktar
  • Bir kitap oluştur
  • PDF olarak indir
  • Basılmaya uygun görünüm
Diğer projelerde
  • Vikiveri ögesi
Görünüm
Vikipedi, özgür ansiklopedi
(Bochner–Martinelli–Koppelman formülü sayfasından yönlendirildi)

Matematikte, Bochner-Martinelli formülü, Cauchy integral formülünün birden fazla kompleks değişkenli fonksiyonlara yönelik genellemelerinden birisidir. Enzo Martinelli (1938) ve Salomon Bochner (1943) tarafından bağımsız olarak kanıtlanmıştır.

Formülün diferansiyel formlara yönelik genellemesi Bochner-Martinelli-Koppelman formülü olarak bilinmektedir.

Tarihçe

[değiştir | kaynağı değiştir]

Bochner-Martinelli formülünün yayınlandığı ve kanıtlandığı ilk makale Martinelli'ye aittir.[1] Başka bir makalede ise,[2] Martinelli Hartogs teoreminin kanıtını Bochner-Martinelli formülünü kullanarak vermiştir.

Bochner ise 1943'ün nisan ayında yayınlanması için ibraz ettiği makalesinde [3] yer alan ve yine aynı yılın Eylül ayında güncellediği bir dipnotta Formül (53)'ün ve kanıtı bu formüle dayanan Teorem 5'in Enzo Martinelli tarafından (Martinelli 1943) hemen yakın zamanda yayınlandığını söylemektedir.[4] Yine aynı dipnotta, yazarın (yani Bochner'in) bu sonuçları daha önce 1940/41 kış döneminde Princeton'daki doktora seviyesindeki bir derste sunduğu ve Donald C. May tarafından Haziran 1941'de yazılan An integral formula for analytic functions of k variables with some applications başlıklı doktora tezinde yer aldığı kaydedilmiştir. Ancak, Bochner 1947'de yayınladığı bir makalesindeki dipnotta,[5] daha önce Bochner 1943 makalesindeki dipnotta Martinelli'den önce bu formüle aşina olabileceği hakkındaki iddiasının dayanaksız olduğunu ve bu iddiasını geri çektiğini yazmıştır.

Walter Koppelman son yaptığı yayınında Cauchy-Fantappiè çekirdeği ile alakalı mekanizmanın sadece fonksiyonlar için değil diferansiyel formlar için de uyarlanabileceğini göstermiştir.[6]

Bochner–Martinelli çekirdeği

[değiştir | kaynağı değiştir]

ζ , z ∈ C n {\displaystyle \zeta ,z\in \mathbb {C} ^{n}} {\displaystyle \zeta ,z\in \mathbb {C} ^{n}} için, Bochner–Martinelli çekirdeği ω(ζ, z) ikili derecesi (n,n−1) olan ve ζ için aşağıdaki gibi tanımlı bir formdur:

ω ( ζ , z ) = ( n − 1 ) ! ( 2 π i ) n 1 | z − ζ | 2 n ∑ 1 ≤ j ≤ n ( ζ ¯ j − z ¯ j ) d ζ ¯ 1 ∧ d ζ 1 ∧ ⋯ ∧ d ζ j ∧ ⋯ ∧ d ζ ¯ n ∧ d ζ n {\displaystyle \omega (\zeta ,z)={\frac {(n-1)!}{(2\pi i)^{n}}}{\frac {1}{|z-\zeta |^{2n}}}\sum _{1\leq j\leq n}({\overline {\zeta }}_{j}-{\overline {z}}_{j})\,d{\overline {\zeta }}_{1}\land d\zeta _{1}\land \cdots \land d\zeta _{j}\land \cdots \land d{\overline {\zeta }}_{n}\land d\zeta _{n}} {\displaystyle \omega (\zeta ,z)={\frac {(n-1)!}{(2\pi i)^{n}}}{\frac {1}{|z-\zeta |^{2n}}}\sum _{1\leq j\leq n}({\overline {\zeta }}_{j}-{\overline {z}}_{j})\,d{\overline {\zeta }}_{1}\land d\zeta _{1}\land \cdots \land d\zeta _{j}\land \cdots \land d{\overline {\zeta }}_{n}\land d\zeta _{n}}

Burada, toplamın terimleri dζj formunu atlar.

Ω {\displaystyle \Omega } {\displaystyle \Omega } kümesi C {\displaystyle \mathbb {C} } {\displaystyle \mathbb {C} }nde parçalı düzgün bir sınıra ( b Ω {\displaystyle b\Omega } {\displaystyle b\Omega }) sahip olan bir bölge olsun. Diyelim ki f fonksiyonu Ω {\displaystyle \Omega } {\displaystyle \Omega } kümesinin kapanışında sürekli türevlenebilen bir fonksiyondur. O halde, Bochner-Martinelli formülü şunu ifade eder: z ∈ Ω {\displaystyle z\in \Omega } {\displaystyle z\in \Omega } için

f ( z ) = ∫ b Ω f ( ζ ) ω ( ζ , z ) − ∫ Ω ∂ ¯ f ( ζ ) ∧ ω ( ζ , z ) . {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(\zeta )\omega (\zeta ,z)-\int _{\Omega }{\overline {\partial }}f(\zeta )\land \omega (\zeta ,z).} {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(\zeta )\omega (\zeta ,z)-\int _{\Omega }{\overline {\partial }}f(\zeta )\land \omega (\zeta ,z).}
  • Bu formülü veren teoremler aslında formülden daha fazlasını gösterirler. Bu teorem ifadelerinde, formülün sağ tarafı baz alınıp eşitlik bölge içindeki noktalar için yukarıdaki gibi verilir; bölgenin kapanışının dışında kalan noktalar içinse sonuç 0 olarak verilir.
  • f ayrıca holomorf ise, ikinci integral o zaman sıfıra eşittir ve aşağıdaki bağlantı holomorf fonksiyonlar için yazılabilir.
f ( z ) = ∫ b Ω f ( ζ ) ω ( ζ , z ) . {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(\zeta )\omega (\zeta ,z).} {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(\zeta )\omega (\zeta ,z).}
  • Bochner-Martinelli çekirdeği harmoniktir ama n > 1 {\displaystyle n>1} {\displaystyle n>1} için holomorf değildir.

Cauchy çekirdeği

[değiştir | kaynağı değiştir]

Bochner-Martinelli çekirdeği Cauchy çekirdeğini birden fazla kompleks boyuta taşımaktadır. Gerçekten de n = 1 {\displaystyle n=1} {\displaystyle n=1} alınırsa, o zaman Bochner-Martinelli çekirdeği şu hali alır:

ω ( ζ , z ) = 1 2 π i 1 | z − ζ | 2 ( ζ ¯ − z ¯ ) d ζ . {\displaystyle \omega (\zeta ,z)={\frac {1}{2\pi i}}{\frac {1}{|z-\zeta |^{2}}}({\overline {\zeta }}-{\overline {z}})d\zeta .} {\displaystyle \omega (\zeta ,z)={\frac {1}{2\pi i}}{\frac {1}{|z-\zeta |^{2}}}({\overline {\zeta }}-{\overline {z}})d\zeta .}

Burada, | z − ζ | 2 = ( z − ζ ) ( z ¯ − ζ ¯ ) {\displaystyle |z-\zeta |^{2}=(z-\zeta )({\overline {z}}-{\overline {\zeta }})} {\displaystyle |z-\zeta |^{2}=(z-\zeta )({\overline {z}}-{\overline {\zeta }})} olduğunu gözlemleyip gerekli sadeleştirmeler yapıldıktan sonra çekirdeğin

ω ( ζ , z ) = 1 2 π i 1 ( ζ − z ) d ζ {\displaystyle \omega (\zeta ,z)={\frac {1}{2\pi i}}{\frac {1}{(\zeta -z)}}d\zeta } {\displaystyle \omega (\zeta ,z)={\frac {1}{2\pi i}}{\frac {1}{(\zeta -z)}}d\zeta }

olduğu görülür ki bu da Cauchy çekirdeğidir. Sonuç olarak, eğer f bir kompleks değişkenli holomorf fonksiyon ise Bochner-Martinelli formülünün yukarıda verilen özel hali Cauchy integral formülüne dönüşür. Yani,

f ( z ) = 1 2 π i ∫ b Ω f ( ζ ) ζ − z d ζ . {\displaystyle \displaystyle f(z)={\frac {1}{2\pi i}}\int _{b\Omega }{\frac {f(\zeta )}{\zeta -z}}d\zeta .} {\displaystyle \displaystyle f(z)={\frac {1}{2\pi i}}\int _{b\Omega }{\frac {f(\zeta )}{\zeta -z}}d\zeta .}

Bochner-Martinelli-Koppelman çekirdeği

[değiştir | kaynağı değiştir]

γ = ∑ j = 1 n ( w ¯ j − z ¯ j ) d w j {\displaystyle \gamma =\sum _{j=1}^{n}({\bar {w}}_{j}-{\bar {z}}_{j})dw_{j}} {\displaystyle \gamma =\sum _{j=1}^{n}({\bar {w}}_{j}-{\bar {z}}_{j})dw_{j}} olsun. O zaman, Bochner–Martinelli-Koppelman çekirdeği ( p , q ) {\displaystyle (p,q)} {\displaystyle (p,q)} formları ( 1 ≤ q ≤ n − 1 ) {\displaystyle (1\leq q\leq n-1)} {\displaystyle (1\leq q\leq n-1)} için şu şekilde yazılabilir:[7]

U q ( w , z ) = ( n − 1 q ) ( − 1 ) q ( q − 1 ) 2 ( 2 π i ) n γ ∧ ( ∂ ¯ z γ ) q ∧ ( ∂ ¯ w γ ) n − q − 1 {\displaystyle U_{q}({w},{z})={{n-1} \choose {q}}{\frac {(-1)^{\frac {q(q-1)}{2}}}{(2\pi i)^{n}}}\gamma \wedge ({\overline {\partial }}_{z}\gamma )^{q}\wedge ({\overline {\partial }}_{w}\gamma )^{n-q-1}} {\displaystyle U_{q}({w},{z})={{n-1} \choose {q}}{\frac {(-1)^{\frac {q(q-1)}{2}}}{(2\pi i)^{n}}}\gamma \wedge ({\overline {\partial }}_{z}\gamma )^{q}\wedge ({\overline {\partial }}_{w}\gamma )^{n-q-1}}

Ω {\displaystyle \Omega } {\displaystyle \Omega } kümesi C {\displaystyle \mathbb {C} } {\displaystyle \mathbb {C} }nde parçalı düzgün bir sınıra ( b Ω {\displaystyle b\Omega } {\displaystyle b\Omega }) sahip olan bir bölge olsun. Diyelim ki f, Ω {\displaystyle \Omega } {\displaystyle \Omega } bölgesinin kapanışında sürekli türevlenebilen bileşen fonksiyonları olan ( 0 , q ) {\displaystyle (0,q)} {\displaystyle (0,q)}-formu olsun. O halde, Bochner-Martinelli-Koppelman formülü şunu ifade eder: z ∈ Ω {\displaystyle z\in \Omega } {\displaystyle z\in \Omega } için

f ( z ) = ∫ b Ω f ( w ) ∧ U q ( w , z ) − ∫ Ω ∂ ¯ w f ( w ) ∧ U q ( w , z ) − ∂ ¯ z ∫ Ω f ( w ) ∧ U q − 1 ( w , z ) . {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(w)\wedge U_{q}(w,z)-\int _{\Omega }{\overline {\partial }}_{w}f(w)\wedge U_{q}(w,z)-{\overline {\partial }}_{z}\int _{\Omega }f(w)\wedge U_{q-1}(w,z).} {\displaystyle \displaystyle f(z)=\int _{b\Omega }f(w)\wedge U_{q}(w,z)-\int _{\Omega }{\overline {\partial }}_{w}f(w)\wedge U_{q}(w,z)-{\overline {\partial }}_{z}\int _{\Omega }f(w)\wedge U_{q-1}(w,z).}

Bu teoremin ifadelerinde, formülün sağ tarafı baz alınıp eşitlik bölge içindeki noktalar için yukarıdaki gibi verilir; bölgenin kapanışının dışında kalan noktalar içinse sonuç 0 olarak verilir.

Notlar

[değiştir | kaynağı değiştir]
  1. ^ Martinelli 1938
  2. ^ Martinelli 1943
  3. ^ Bochner 1943
  4. ^ Bochner burada Martinelli'nin Martinelli 1943 makalesine açıkça atıfta bulunuyor ama belli ki Martinelli'nin bu formülü kanıtladığı daha önceki makalesinden (Martinelli 1938) haberi yok. Diğer taraftan gözlemlemek lazım ki Martinelli'nin önceki makalesi olan Martinelli 1938, Bochner'in makalesindeki bahsettiği Martinelli 1943 makalesinde açıkça atıf almış durumda.
  5. ^ Bochner 1947 (s.15)
  6. ^ Koppelman 1967
  7. ^ Boas 2010, s. 49a bakınız. Değişik kaynaklarda Hodge ∗ {\displaystyle *} {\displaystyle *} operatörü veya diğer değişik gösterimlerle yazılabilir.

Kaynakça

[değiştir | kaynağı değiştir]
  • Boas, Harold (2005), Topics in Several Complex Variables [Çok karmaşık değişkenli analizde konular] (PDF) (22 Haziran 2010da küçük güncellemeler yapılmıştır).
  • Bochner, Salomon (1943), "Analytic and meromorphic continuation by means of Green's formula" [Green formülü vesilesiyle analitik ve meromorf devamlılık], Annals of Mathematics, Second Series, 44 (4), ss. 652-673, doi:10.2307/1969103, ISSN 0003-486X, JSTOR 1969103, MR 0009206, Zbl 0060.24206 .
  • Bochner, Salomon (1947), "On compact complex manifolds" [Tıkız kompleks manifoldlar üzerine], The Journal of the Indian Mathematical Society, New Series, cilt 11, ss. 1-21, MR 0023919, Zbl 0038.23701 .
  • Koppelman, Walter (1967), "The Cauchy integral for functions of several complex variables" [Birden fazla kompleks değişkenli fonksiyonlar için Cauchy integrali], Bull. Amer. Math. Soc. (İngilizce), 73, ss. 373-377 .
  • Martinelli, Enzo (1938), "Alcuni teoremi integrali per le funzioni analitiche di più variabili complesse" [Birden fazla kompleks değişkenli analitik fonksiyonlar için bazı integral teoremleri], Atti della Reale Accademia d'Italia. Memorie della Classe di Scienze Fisiche, Matematiche e Naturali (İtalyanca), 9 (7), ss. 269-283, JFM 64.0322.04, Zbl 0022.24002 .
  • Martinelli, Enzo (1942–1943), "Sopra una dimostrazione di R. Fueter per un teorema di Hartogs" [Hartogs'un bir teoreminin R. Fueter tarafından bir kanıtı üzerine], Commentarii Mathematici Helvetici (İtalyanca), 15 (1), ss. 340-349, doi:10.1007/bf02565649, MR 0010729, Zbl 0028.15201, 2 Ekim 2011 tarihinde kaynağından arşivlendi4 Temmuz 2020 . SEALS Portal kaynağında mevcut. 10 Kasım 2012 tarihinde Wayback Machine sitesinde arşivlendi.
Otorite kontrolü Bunu Vikiveri'de düzenleyin
  • LCCN: sh95006204
  • NLI: 987007553912105171
"https://tr.wikipedia.org/w/index.php?title=Bochner-Martinelli_formülü&oldid=34487413#Bochner–Martinelli-Koppelman_formülü" sayfasından alınmıştır
Kategoriler:
  • Karmaşık analiz teoremleri
  • Matematik teoremleri
  • Çok değişkenli karmaşık analiz
Gizli kategoriler:
  • Webarşiv şablonu wayback bağlantıları
  • LCCN tanımlayıcısı olan Vikipedi maddeleri
  • NLI tanımlayıcısı olan Vikipedi maddeleri
  • Sayfa en son 21.52, 14 Aralık 2024 tarihinde değiştirildi.
  • Metin Creative Commons Atıf-AynıLisanslaPaylaş Lisansı altındadır ve ek koşullar uygulanabilir. Bu siteyi kullanarak Kullanım Şartlarını ve Gizlilik Politikasını kabul etmiş olursunuz.
    Vikipedi® (ve Wikipedia®) kâr amacı gütmeyen kuruluş olan Wikimedia Foundation, Inc. tescilli markasıdır.
  • Gizlilik politikası
  • Vikipedi hakkında
  • Sorumluluk reddi
  • Davranış Kuralları
  • Geliştiriciler
  • İstatistikler
  • Çerez politikası
  • Mobil görünüm
  • Wikimedia Foundation
  • Powered by MediaWiki
Bochner-Martinelli formülü
Konu ekle