Hartogs devam teoremi

Matematikte, Hartogs devam teoremi ya da Hartogs genişleme teoremi, çok değişkenli karmaşık analizde birden fazla karmaşık değişkene sahip holomorf fonksiyonların analitik devamlarıyla ilgili olan ve karmaşık analizin bir değişkenli fonksiyonlar teorisinde varolmayan bir sonuçtur.

Tarihçe

Teoremin ilk hali Friedrich Hartogs tarafından kanıtlanmıştır ve bu haliyle Hartogs önsavı ya da Hartogs fenomeni olarak da bilinmektedir. Erken Sovyet kaynaklarında ise William Osgood ve Arthur Barton Brown'un daha sonraki çalışmalarına atfen Osgood-Brown teoremi olarak adlandırıldığı da görülmektedir.

Hartogs'un kanıtında Cauchy integral formülünün birden fazla kompleks değişkenli fonksiyonlar için kullanıldığı görülür. Daha modern kanıtlarda ise Bochner–Martinelli–Koppelman formülü ya da homojen olmayan Cauchy–Riemann denklemlerinin tıkız destekli çözümleri kullanılmaktadır.

Teoremin ifadesi

İki ya da daha fazla kompleks boyutlu Cⁿde sınırlı bir D bölgesi alalım ve K kümesi D bölgesinde göreceli olarak tıkız olan bir küme olsun. O zaman, $D\mathrm{\setminus }K$ üzerinde tanımlı her holomorf fonksiyon, D bölgesinin tamamına holomorf olarak devam ettirilebilir.

Bu sebeple, n≥ 2 için Cⁿ 'de, bir K tıkız kümesinin tümleyeninin üzerinde tanımlı analitik bir F fonksiyonu Cⁿ 'de analitik bir fonksiyona (biricik olarak) uzatılabilir. Aynısı yine bir topun tümleyeninde veya tıkız bir altkümenin D polidiski içinde tanımlı olan F için de geçerlidir. Bu yüzden, çok değişkenli bir karmaşık fonksiyonun tekillik kümesinin desteği tıkız olamaz ve belli bir yönde 'sonsuza doğru kaçar'. Bu haliyle, bu teorem aynı zamanda birden fazla değişkene sahip holomorf fonksiyonlar için korunmalı tekilliklerin ve kaldırılabilir tekilliklerin aynı olduğunu ifade eden temel bir sonuçtur.

Hartogs fenomeni

İki kompleks değişkenli bir örnek vermek gerekirse, $0<\epsilon <1$ varsayımıyla, $z\in {ℂ}^2$'deki polidiskin içinde yer alan şu bölgeyi ele alalım:

$H_{\epsilon }=\{z=(z_1,z_2)\in {\mathrm{\Delta }}^2:|z_1|<\epsilon \text{or}1-\epsilon <|z_2|\}.$

Burada, ${\mathrm{\Delta }}^2$ ile kastedilen birim dairelerin kartezyen çarpımıdır; yani, ${\mathrm{\Delta }}^2=\{z\in {ℂ}^2;|z_1|<1,|z_2|<1\}$.

Teorem Şablon:Harvtxt: $H_{\epsilon }$ üzerinde tanımlı her holomorf fonksiyon ${\mathrm{\Delta }}^2$'nin tamamına analitik olarak devam ettirilebilir. Başka bir deyişle, $f$ böyle bir holomorf fonksiyon ise, ${\mathrm{\Delta }}^2$ üzerinde tanımlı öyle bir holomorf $F$ fonksiyonu vardır ki $H_{\epsilon }$ üzerinde $F=f$ sağlanır.

Hartogs teoreminin bu dar kapsamlı hali Hartogs fenomeni olarak bilinir.

Kaynakça

• Şablon:Kaynak

• Şablon:Kaynak.

• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.