Looman-Menşov teoremi

Matematiğin bir alt dalı olan karmaşık analizde Looman-Menşov teoremi karmaşık düzlemdeki açık bir küme üzerinde tanımlı olan ve karmaşık değerler alan sürekli bir fonksiyonun holomorf olması için yeterli ve gerekli şartın bu fonksiyonun Cauchy-Riemann denklemlerini sağlaması olduğunu ifade eden bir sonuçtur. Teorem, süreklilikten daha güçlü bir varsayımla, fonksiyonun ${\displaystyle \mathbb {R} ^{2}}$den ${\displaystyle \mathbb {R} ^{2}}$ye varsayan (Goursat teoremini) genelleştirmektedir.

Teorem, Hollandalı matematikçi ve Sovyet matematikçi Dmitri Menşov'un adını taşımaktadır.

Tarihçe

'nın 1900'de kanıtladığı sonuca göre bir fonksiyonun tanımlı olduğu her yerde karmaşık türeve sahip olması, Cauchy integral teoreminin kanıtını ve bu sayede Cauchy integral formülünü de verir Böylece, fonksiyonun analitikliği elde edilir. Sonuç olarak, karmaşık değerler alan bir ${\displaystyle f}$ fonksiyonunun tanım kümesindeki her ${\displaystyle z_{0}}$ noktasında

${\displaystyle f'(z_{0})=\lim _{h\rightarrow 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}$

limit varsa, o zaman fonksiyon holomorftur. Bu teorem tarafından türevin hemen hemen yer yerde olduğu ve

${\displaystyle \limsup _{h\rightarrow 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}$

ifadesinin sınırlı olduğu varsayılarak genelleştirilmiştir., 1913'de ${\displaystyle f}$nin tanım kümesinde sınırlı olduğunu, kısmi türevlerin varlığını ve ${\displaystyle f_{x}+if_{y}=0}$ varsaymanın holomorfluğunu verdiğini ispatsız sunsa da, buna benzer bir teoremin kanıtı 'a kadar beklemiştir. Looman, Montel'in ispatsız sunduğu teoremin ifadesindeki fonksiyonun sınırlılığı varsayımını süreklilik varsayımıyla değiştirerek bir ispat vermiştir. Looman'ın sunduğu ispattaki kalan bir açıklık Menşov tarafından kapatılmıştır; ancak, Menşov da kanıt yayınlamamıştır. Teoremi Looman ve Menşov'a atfeden ve tam bir ispatını sunan olmuştur.

Teoremin ifadesi

${\displaystyle \Omega \subset \mathbb {C} }$ açık bir küme ve ${\displaystyle f:\Omega \mapsto \mathbb {C} }$ sürekli olsun. ${\displaystyle \partial f/\partial x}$ ve ${\displaystyle \partial f/\partial y}$ kismî türevleri ${\displaystyle \Omega }$'daki sayılabilir bir küme haricinde her yerde tanımlı olsun. O hâlde, ${\displaystyle f}$'nin holomorf olması için gerekli ve yeterli sonuç Cauchy–Riemann denklemlerini sağlamasıdır; yani,

${\displaystyle {\frac {\partial f}{\partial {\bar {z}}}}={\frac {1}{2}}\left({\frac {\partial f}{\partial x}}+i{\frac {\partial f}{\partial y}}\right)=0.}$

Örnekler

Looman'ın da bahsettiği üzere, teoremdeki süreklilik varsayımı zayıflatılamaz. Gerçekten de, $${\displaystyle f(z)={\begin{cases}e^{-{\frac {1}{z^{4}}}}&z\neq 0,\\0&z=0\end{cases}}}$$ fonksiyonu ${\displaystyle z=0}$ noktasında analitik değildir (sürekli de değildir) ama Cauchy-Riemann denklemlerini her yerde sağlar.

Diğer taraftan, $${\displaystyle f(z)={\begin{cases}{\frac {z^{5}}{|z|^{4}}}&z\neq 0,\\0&z=0\end{cases}}}$$ fonksiyonu da her yerde süreklidir ve Cauchy-Riemann denklemlerini ${\displaystyle z=0}$ noktasında sağlar ama ${\displaystyle z=0}$ noktasında analitik değildir. Bu yüzden, teoremdeki kısmi türevlerin varlığının sadece bir noktada var olduğuna yönelik zayıflaştırmakla yine aynı sonuç elde edilemez.

Kaynakça

1. ^ T. Pompeiu, "Sur la continuité des fonctions de variable complexe", Ann. Fac. Sci. Univ. Toulouse, 2 (7), ss. 264-315 
2. ^ Rao, N.V. (1990), "A generalization of the Looman-Menchoff theorem", Israel J. Math., cilt 70, ss. 93-103 
3. ^ ^{a b} Looman, H. (1923), "Über die Cauchy–Riemannschen Differentialgleichungen", Göttinger Nachrichten, ss. 97-108 
4. ^ (1933), "Théorie de l'intégrale", Monografje Matematyczne II, ss. 243-245 
5. ^ (1937), Theory of the Integral (PDF), L.C.Young tarafından çevrildi, Hafner Publishing Company, s. 197  Sayfa 197'deki Teorem 5.3 ve devamına bakınız