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ırHartogs'un yayınladığı haliyle 'a bakınız. Ayrıca, ,  ve  gibi tarihi taramalardaki tarifleri görünüz. Özellikle son kaynakta (s. 132), yazar şunu açıkça yazmaktadır:"'un başlığında da tarif edidiği ve okuyucunun yakında göreceği üzere, kanıttaki kilit araç Cauchy integral formülüdü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 ve  kaynaklarına bakınız.  atfen Osgood-Brown teoremi  olarak adlandırıldığı da görülmektedir.Örneğin, 

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.Cauchy-Riemann yaklaşımı Leon Ehrenpreis tarafından başlatılmıştır; 'a bakınız.

Teoremin ifadesi
İki ya da daha fazla kompleks boyutlu Cnde 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,  üzerinde tanımlı her holomorf fonksiyon, D bölgesinin tamamına holomorf olarak devam ettirilebilir.

Bu sebeple, n≥ 2  için Cn 'de, bir K tıkız kümesinin tümleyeninin üzerinde tanımlı analitik bir F fonksiyonu Cn '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,  varsayımıyla, 'deki polidiskin içinde yer alan şu bölgeyi ele alalım:

Burada,  ile kastedilen birim dairelerin kartezyen çarpımıdır; yani, .

Teorem :  üzerinde tanımlı her holomorf fonksiyon 'nin tamamına analitik olarak devam ettirilebilir. Başka bir deyişle,  böyle bir holomorf fonksiyon ise,  üzerinde tanımlı öyle bir holomorf  fonksiyonu vardır ki  üzerinde  sağlanır.

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

Notlar

Kaynakça

.
.
.
.

Kategori:Karmaşık analiz teoremleri
Kategori:Çok değişkenli karmaşık analiz