Karmaşık analiz sayfasının kaynağını görüntüle

{{Karmaşık analiz kenar çubuğu}}

[[Dosya:Color complex plot.jpg|229px|sağ|küçükresim|
''f'' (''x'')=(''x''<sup>2</sup>-1)(''x''-2-''i'')<sup>2</sup>/(''x''<sup>2</sup>+2+2''i'') fonksiyonunun grafiği. [[Renk özü]] fonksiyon argümentini temsil ederken, [[satürasyon]] magnitüdü temsil eder.]]
'''Karmaşık analiz''' ya da başka bir deyişle '''kompleks analiz''', bir karmaşık değişkenli fonksiyonları araştıran bir [[matematik]] dalıdır. Bir değişkenli karmaşık analize ya da [[çok değişkenli karmaşık analiz]]le beraber tümüne '''karmaşık değişkenli fonksiyonlar teorisi''' de denilir.

'''Karmaşık analiz''' değişken sayısından bağımsız olarak bir matematiksel analizin alt disiplini olarak görülse de, ''karmaşık analiz'' kavramından ekseriyetle kökleri [[Leonhard Euler|Euler]] ve daha öncesine kadar giden ve karmaşık düzlemde yapılan bir değişkenli kompleks analiz olarak anlaşılır. Birden fazla karmaşık değişkenli fonksiyonlar teorisi karmaşık analizden önemli noktalarda farklılık gösterir ve bazı matematik cemiyetlerince ayrı araştırma alanı olarak sınıflandırılmıştır.<ref>Mesela, Amerikan Matematik Cemiyeti AMS bir değişkenli karmaşık analizi [https://mathscinet.ams.org/mathscinet/msc/msc2020.html?t=30-XX&s=&btn=Search&ls=Ct 30 rakamıyla] {{Webarşiv|url=https://web.archive.org/web/20240903234353/https://mathscinet.ams.org/mathscinet/msc/msc2020.html?t=30-XX&s=&btn=Search&ls=Ct |tarih=3 Eylül 2024 }}, çok değişkenli karmaşık analizi ve analitik uzayları ise [https://mathscinet.ams.org/mathscinet/msc/msc2020.html?t=32-XX&s=&btn=Search&ls=s 32 rakamıyla] göstermiştir.</ref>

Özellikle bir karmaşık değişkenli karmaşık analizin [[sayılar teorisi]], [[uygulamalı matematik]] gibi alanları ve [[fizik]] başta olmak üzere birçok mühendislik ve bilim dalında kullanımları mevcuttur.

Bir değişkenli karmaşık analiz bilhassa, genel olarak [[holomorf fonksiyon]]lar ve [[meromorf fonksiyon]]lar diye iki ayrı sınıfa ayrılan karmaşık değişkenli [[analitik fonksiyon]]larla ilgilidir. Herhangi bir analitik fonksiyonunun [[gerçel sayılar|gerçel]] ve [[sanal sayılar|sanal]] kısmının [[Laplace denklemi]]ni sağlamak zorunda olması sayesinde karmaşık analiz iki-boyutlu [[fizik]] problemlerine geniş bir şekilde uygulanabilir.

== Tarihi ==
[[Dosya:Mandel zoom 00 mandelbrot set.jpg|sağ|upright=1.36|küçükresim| [[Mandelbrot kümesi]], bir '''[[fraktal]]'''.]]
Karmaşık analiz kökleri 19. yüzyıla ve hatta [[karmaşık sayılar]]ın kullanımına bağlı olarak biraz daha öncesine uzanan klasik bir matematik dalıdır. Karmaşık sayıları ilk kullanan 16. yüzyılda ikinci ve üçüncü mertebeden denklemleri çözerken [[Gerolamo Cardano|Cardano]] olmuştur. 18. yüzyılda karmaşık sayıları içeren fonksiyonları bulan ise [[Leonhard Euler|Euler]] olmuştur. Karmaşık sayıları içeren teknikler arttıkça, gerçel değerli fonksiyonlar kuramındaki çoğu problemin karmaşık sayılar kullanılarak daha kolay bir şekilde çözüldüğü gözlemlenmiştir. Ancak, yine de karmaşık sayılar 19. yüzyılın ortasına kadar istenen ünü yakalayamamış ve genel bir uzlaşım alanı olmamıştır. Örneğin, [[René Descartes|Descartes]] denklemlerin karmaşık köklerini reddetmiş ve bunlara "sanal (imajiner)" terimini uygun görmüştür. Euler de karmaşık sayıların "sadece hayalde var olduğu" kanısındaydı ve denklemlerin karmaşık köklerinin denklemin aslında ''hiçbir'' kökü olmadığını göstermekte yararlı olduğunu düşünmüştü.<ref name=Bak>
{{Kitap kaynağı
 |başlık=Complex Analysis 
 |yazar=Joseph Bak & Donald J. Newman 
 |sayfa=sf. 1
 |url=http://books.google.com/books?id=JX2YSgfZwbYC&pg=PA130&dq=%22contour+integral%22&lr=&as_brr=0&sig=kXalt5look0vfwvfQ39fvMGHHAY#PPA130,M1
 |tanıtıcı=0387947566 
 |yıl=1997 
 |yayımcı=Springer
}}</ref>

Karmaşık sayıların genel kabulü ve bu kabul ile karmaşık analizin doğması aslında büyük ölçekte [[Carl Friedrich Gauss|Gauss]]'un karmaşık sayıları geometrik bir şekilde temsil edip geliştirmesiyle başlamıştır. Gauss'un çalışmalarının ardından karmaşık analiz matematikte yeni gözde bir alan olarak doğmuş ve zamanın üretken matematikçileri olan [[Augustin Louis Cauchy|Cauchy]], [[Karl Theodor Wilhelm Weierstrass|Weierstrass]] ve [[Georg Friedrich Bernhard Riemann|Riemann]]'ın da katkılarıyla birçok alanla bağlantılı bir matematik disiplini haline gelmiştir. Ancak, her ne kadar Gauss'un çalışmaları karmaşık analizi yeni bir alan haline getirmiş olsa da, karmaşık sayıların ilk tam ve matematiksel kesinlik içindeki ifadesi Gauss'un çağdaşı [[William Hamilton|Hamilton]] tarafından verilmiştir.<ref>{{Kitap kaynağı
 |başlık=Complex Analysis 
 |yazar=Joseph Bak & Donald J. Newman 
 |sayfa=sf. 2
 |url=http://books.google.com/books?id=JX2YSgfZwbYC&pg=PA130&dq=%22contour+integral%22&lr=&as_brr=0&sig=kXalt5look0vfwvfQ39fvMGHHAY#PPA130,M1
 |tanıtıcı=0387947566 
 |yıl=1997 
 |yayımcı=Springer
}}</ref>

Geleneksel olarak karmaşık analizin, bilhassa [[açıkorur gönderim]]ler kuramının, fizikte birçok uygulaması mevcuttur. Karmaşık analiz ayrıca analitik [[sayılar teorisi]]nde de kullanılmaktadır. Modern matematikte, karmaşık dinamiklerin ortaya çıkmasıyla ve holomorf fonksiyonların yinelemesi yardımıyla üretilen [[fraktal]] resimleri (ki en ünlülerinden birisi de Mandelbrot kümesidir) ile karmaşık analiz tekrar herkesin tanıdığı bir alan olmuştur. Karmaşık analizin bugünkü önemli uygulamalarından biri açıkorur değişmez [[kuantum alan teorisi]] olan [[sicim teorisi]]dir. Ayrıca birçok mühendislikte, özellikle de kuvvet mühendisliğinde, karmaşık analizin kullanımı ve uygulaması mevcuttur.

== Önemi ==
Karmaşık analiz iki temel önem ve faydaya sahip bulunmaktadır. İlk olarak [[kalkülüs]] olarak bilinen matematiğin karmaşık sayılar için genişletilmiş halidir. İkinci önemli faydası ise reel analizde sayfalarca sürebilecek birçok problem karmaşık analizin kendine özgü teknikleri ile çok kısa ve sade biçimde çözülebilmektedir.

== Karmaşık fonksiyonlar ==<!-- Bu bölüme [[Karmaşık düzlem|Karmaşık düzlemden]] bağlantı vardır. -->
Karmaşık fonksiyon [[bağımsız değişken]]in ve [[bağımlı değişken]]in her ikisinin de [[karmaşık sayılar|karmaşık sayı]] olduğu bir fonksiyondur. Tam olarak, karmaşık bir fonksiyon [[tanım kümesi]]nin [[karmaşık düzlem]]in altkümesi olduğu ve yine [[görüntü kümesi]]nin [[karmaşık düzlem]]in altkümesi olduğu fonksiyondur. Herhangi bir karmaşık fonksiyonda hem bağımsız değişken hem de bağımlı değişken [[gerçel kısım|gerçel]] ve [[sanal kısım|sanal]] kısımlara ayrılabilir:

<math>x,y \in \mathbb{R}\ </math> ve <math>u(z), v(z)\,</math> gerçel değerli fonksiyonlar olmak üzere, <math>z = x + iy\,</math> ve <math>w = f(z) = u(z) + iv(z)\,</math> olarak yazılabilir. Başka bir deyişle, ''f''(''z'') fonksiyonun bileşenleri olan <math>u = u(x,y)\,</math> ve <math>v = v(x,y),\,</math> iki gerçel değişkenin, mesela ''x'' ve ''y'''nin gerçel değerli fonksiyonları olarak yorumlanabilir.

Karmaşık analizin basit kavramları çoğunlukla gerçel analizin üstel, logaritma ve trigonometrik fonksiyonlar gibi elemanter fonksiyonlarının karmaşık bölgelere genişletilmesiyle elde edilir.

== Türevler ve Cauchy-Riemann denklemleri ==
{{Ana|Türev}}
{{Ana|Cauchy-Riemann denklemleri}}
Gerçel analizde olduğu gibi, "pürüzsüz" karmaşık bir fonksiyonun, örneğin ''w'' = ''f''(''z''), kendi tanım kümesi Ω'nın belli bir noktasında [[türev]]i olabilir. Aslında, türevin tanımı olan
:<math>f^\prime(z) = \frac{dw}{dz} = \lim_{h \to 0}\frac{f(z+h) - f(z)}{h}\,</math>
ifadesi bir önemli fark dışında gerçel durumdakiyle aynıdır. Gerçel analizde, limite sadece bir boyutlu [[sayı doğrusu]] üzerinde hareket edilerek yaklaşılabilir. Karmaşık analizde ise limite iki boyutlu karmaşık düzlemdeki herhangi bir yönden yaklaşılabilir.
(''"Gerçel analizde, limite sadece bir boyutlu sayı doğrusu üzerinde hareket edilerek yaklaşılabilir"'' ifadesi, [[yönlü türev]]lerle karıştırılmamalıdır. Yönlü türevlerde bir boyutlu ''x'' doğrusu üzerinde hareket edilir ancak bu "ayrık" birimlerde yapılabilir; yani ''y'' = ''x''<sup>2</sup> eğrisi izlenirse, bu (bir boyutlu ''x'' doğrusu yerine) düzlemde hareket edildiği anlamına gelmez ancak ayrık birimler halinde adımlarla yaklaşıldığı anlamına gelir.)
Eğer bu limit, yani türev, Ω'daki her ''z'' noktası için varsa, o zaman ''f''(''z'') Ω üzerinde türevlenebilir denilir. Her türevlenebilir fonksiyon ''f''(''z'') aynı zamanda [[analitik fonksiyon|analitik]] olduğu kanıtlanabilir. Bu sonuç gerçel sayıların gerçel değerli fonksiyonları için kanıtlanan teoremden daha güçlüdür. Gerçel sayılar kalkülüsünde, tanım kümesindeki her yerde birinci türevi olan ancak ancak aynı kümenin bir veya daha fazla noktasında ikinci türevi olmayan bir ''f''(''x'') fonksiyonu oluşturabiliriz. Ancak, karmaşık düzlemde tanımlı bir karmaşık fonksiyon belli bir [[komşuluk]]ta türevlenebilir ise aynı komşulukta sonsuz kere türevlenebilir olmalıdır. (Kanıt için [[Holomorf fonksiyonların analitikliği]]ne bakınız.)

''f''(''z'')'yi oluşturan iki gerçel fonksiyonun, mesala ''u''(''x'', ''y'') ve ''v''(''x'', ''y'')'nin, [[kısmi türev]]lerini hesaplamak için [[vektör analizi]]nin metotlarının uygulanmasıyla ve Ω içindeki bir ''z'' noktasına doğru giden iki yolun göz önüne alınmasıyla, türevin varlığının

:<math>
f^\prime(z) = \frac{\partial u}{\partial x} + i\frac{\partial v}{\partial x} = \frac{\partial v}{\partial y} - i\frac{\partial u}{\partial y}.\,
</math>
ifadesinin doğruluğunu getirdiği gösterilebilir.

Bu iki ifadenin gerçel ve sanal iki kısmı birbirine eşitlenerek, [[Cauchy-Riemann denklemleri]]nin geleneksel formülasyonu elde edilir:

:<math>
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,
</math> veya başka bir yaygın gösterimle, <math>u_x=v_y \qquad u_y=-v_x.\,</math>

Bu iki [[kısmi türevsel denklemler|kısmi türevsel denklemi]] sisteminin ilk önce ''x'' 'e göre sonra da ''y'' 'ye göre türevi alınırsa aşağıdaki ifadeler kolaylıkla gösterilebilir:

:<math>
\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0 \qquad \frac{\partial^2 v}{\partial x^2} + \frac{\partial^2 v}{\partial y^2} = 0\,
</math> veya başka bir yaygın gösterimle, <math>u_{xx} + u_{yy} = v_{xx} + v_{yy} = 0.\,</math>

Başka bir deyişle, karmaşık değişkenli türevlenebilir bir fonksiyonun gerçel ve sanal kısımları [[harmonik fonksiyon]]dur.

''Ayrıca bakınız'': [[Laplace denklemi]]

== Holomorf fonksiyonlar ==
{{Ana|Holomorf fonksiyon}}

Holomorf fonksiyonlar karmaşık düzlemin [[açık küme|açık bir altkümesinde]] [[türev]]lenebilir olan karmaşık fonksiyonlardır. Karmaşık türevlenebilirlik alışılmış gerçel türevlenebilirlikten daha güçlü sonuçlara sahiptir. Örneğin, gerçel türevlenebilir fonksiyonların hepsi sonsuz kere türevlenebilir değilken holomorf fonksiyonlar sonsuz kere türevlenebilirdir. [[Üstel fonksiyon]], [[trigonometrik fonksiyonlar]] ve tüm [[polinom]]ları da içermek üzere çoğu elemanter fonksiyon holomorftur.

''Ayrıca bakınız'': [[analitik fonksiyon]], [[holomorf demet]] ve [[vektör demetleri]].

== Önemli sonuçlar ==
Karmaşık analizdeki sonuçlar birkaç gruba ayrılabilir. Her grubun sonucu birikimli bir şekilde kendi grubundaki ilişkin sonuçlardan faydalanan önemli sonuçlar içerse de; yine de bu her grubun birbiriyle belli temel sonuçlar vasıtasıyla bağlantısı vardır ve bazı önemli sonuçlar da bu ana grupları temel alan sonuçlardan oluşmaktadır.

=== İntegral temsilleri ile ilgili sonuçlar ===
Karmaşık analizdeki önemli merkezi araçlardan biri de [[eğrisel integral]]dir. Kapalı bir yolun sınırladığı alanın içindeki her yerde holomorf olan bir fonksiyonun bu kapalı yol üzerindeki integrali sıfırdır. Bu ifade [[Cauchy integral teoremi]] olarak da bilinir. Holomorf bir fonksiyonun bir daire alanı (disk) içinde aldığı değerler bu disk üzerinde belli bir eğri (yol) integrali vasıtasıyla hesaplanabilir. Bu ifade de [[Cauchy integral formülü]] olarak bilinir.

''Ayrıca bakınız'': [[Morera teoremi]]

=== Seri temsilleri ile ilgili sonuçlar ===
Eğrisel integraller karmaşık düzlemde çoğu zaman karışık gerçel integralleri çözmek ve belirlemek amacıyla kullanılır ve burada da [[kalıntı (karmaşık analiz)|kalıntı]] (rezidü) teorisi diğer teoriler arasında en kullanışlı olanıdır ([[Kontür integral metotları]]'na bakınız). Bir fonksiyon belli bir noktada bir ''kutup'' veya ''tekillik'' sahibi ise, yani, bu noktada fonksiyonun değerleri birden ''patlıyorsa'' veya sonlu bir değer almıyorsa, o zaman bu fonksiyonun bu noktadaki rezidüsü (kalıntısı) bu kutupta hesaplanabilir ve bu rezidüler fonskiyonla alakalı eğrisel integralleri hesaplamak için kullanılabilir. [[Rezidü teoremi]]'nin güçlü olan yanı da budur. Holomorf fonksiyonların esas tekilliklerin civarındaki davranışları ise [[Weierstrass-Casorati teoremi]] vasıtasıyla tanımlanır. Sadece kutuplara sahip olup ancak esas tekilliğe sahip olmayan fonksiyonlara [[meromorf fonksiyon]] denir. [[Laurent serisi|Laurent serileri]], [[Taylor serisi|Taylor serileri]]'ne benzer olup, fonksiyonların tekillik civarındaki davranışlarını öğrenmek için kullanılırlar.

Tüm karmaşık düzlemde holomorf olan sınırlı bir fonksiyon sabit olmalıdır. Bu ifade [[Liouville teoremi (karmaşık analiz)|Liouville teoremi]] olarak bilinir. Bu teorem karmaşık sayılar [[cisim|cisminin]] [[cebirsel kapalı cisim|cebirsel kapalı]] olduğunu ifade eden [[Cebirin temel teoremi]]'nin doğal ve kısa bir kanıtına ulaşmak için kullanılabilir.

=== Riemann yüzeyleri ile ilgili sonuçlar ===
[[Dosya:Riemann_sqrt.jpg|küçükresim|sağ|upright=0.91| <math>f(z)=\sqrt{z}</math> fonksiyonunun Riemann yüzeyi]] 
Holomorf fonksiyonların bir diğer önemli özelliği ise [[basit bağlantılı]] bir bölgede holomorf olan bir fonksiyonun değerlerinin tamamıyla daha küçük alt bölgelerdeki değerleriyle belirlenebilmesidir. Daha büyük bölgedeki fonksiyon daha küçük bölgedeki fonksiyonun değerlerinin [[analitik devam]]ı olarak adlandırılır. Bu, ilk başta sadece sınırlı bir bölgede yakınsayan sonsuz toplamlar olarak tanımlanan [[Riemann zeta fonksiyonu]] gibi bazı fonksiyonların tanımlarının hemen hemen tüm karmaşık düzleme genişletilmesine izin verir. Bazen, [[doğal logaritma]] durumunda olduğu gibi, holomorf bir fonksiyonu karmaşık düzlemdeki basit olmayan bağlantılı bir bölgeye analitik olarak devam ettirmek imkânsızdır; ancak yine de yakın bir şekilde ilişkin olan  ve [[Riemann yüzeyi]] adı verilen bir yüzeye devam ettirmek imkânı da vardır.

=== Yüksek boyutlardaki sonuçlar ===
{{Ana|Çok değişkenli karmaşık analiz}}

Bunların hepsi tek değişkenli karmaşık analizde geçerlidir. Ayrıca, [[kuvvet serisi|kuvvet serileri]] gibi analitik özelliklerin aynı kaldığı; ancak [[açıkorurluk]] gibi çoğu geometri özelliğinin geçerli olmadığı birden fazla karmaşık boyutta karmaşık analizin çalışıldığı zengin bir [[çok değişkenli karmaşık analiz]] dalı da mevcuttur. Tek boyutlu karmaşık analizde belki de en önemli sonuç olan ve karmaşık düzlemdeki belli bölgelerde açıkorurluk ilişkisini ifade eden [[Riemann tasvir teoremi]] daha yüksek boyutlarda geçerli değildir.

== Ayrıca bakınız ==
* [[Çok değişkenli karmaşık analiz]]
* [[Karmaşık analiz konuları listesi]]
* [[Gerçel analiz]]

== Notlar ==
{{Kaynakça}}
== Kaynakça ==
*  [[Tristan Needham|Needham T]]., ''Visual Complex Analysis'' (Oxford, 1997)--Görsel Karmaşık Analiz.
*  Henrici P., ''Applied and Computational Complex Analysis'' (Wiley). [Üç cilt: 1974, 1977, 1986.]--Uygulamalı ve Hesaplamalı Karmaşık Analiz.
* [[Erwin Kreyszig|Kreyszig, E.]], ''Advanced Engineering Mathematics, 9 ed.'', Ch.13-18 (Wiley, 2006)--Yüksek Mühendislik Matematiği.
*  Scheidemann, V., ''Introduction to complex analysis in several variables'' (Birkhauser, 2005)--Çok Değişkenli Karmaşık Analize Giriş.
*  Shaw, W.T., ''Complex Analysis with Mathematica'' (Cambridge, 2006)--Mathematica ile Karmaşık Analiz.
*  Marsden & Hoffman, ''Basic complex analysis'' (Freeman, 1999)--Temel Karmaşık Analiz.

== Dış bağlantılar ==
* [http://www.math.gatech.edu/~cain/winter99/complex.html Karmaşık Analiz -- George Cain'in ders kitabı]{{Webarşiv|url=https://web.archive.org/web/20090314030545/http://www.math.gatech.edu/~cain/winter99/complex.html |tarih=14 Mart 2009 }}
* [http://www.ima.umn.edu/~arnold/502.s97/  Douglas N. Arnold tarafından hazırlanan Karmaşık Analiz dersi internet sitesi]{{Webarşiv|url=https://web.archive.org/web/20131105023041/http://www.ima.umn.edu/~arnold/502.s97/ |tarih=5 Kasım 2013 }}
* [https://web.archive.org/web/20080115102010/http://www.exampleproblems.com/wiki/index.php/Complex_Variables Karmaşık Analizle alakalı İngilizce Vikipedi'de örnek sorular]
* [https://web.archive.org/web/20060108204844/http://www.usfca.edu/vca/websites.html Karmaşık fonskiyonları görüntülemek için kullanılan bağlantılar koleksiyonu (ve diğerleri)]
* [http://math.fullerton.edu/mathews/complex.html John H. Mathews'in Karmaşık Analiz Projesi]{{Webarşiv|url=https://web.archive.org/web/20130406225327/http://math.fullerton.edu/Mathews/complex.html |tarih=6 Nisan 2013 }}
* [http://mathworld.wolfram.com/ComplexAnalysis.html Wolfram Research's MathWorld Karmaşık Analiz Sayfası]{{Webarşiv|url=https://web.archive.org/web/20121111023755/http://mathworld.wolfram.com/ComplexAnalysis.html |tarih=11 Kasım 2012 }}
* [https://web.archive.org/web/20110607101358/http://www.saunalahti.fi/mattpaa/complex/complex.html Karmaşık Görüntüleyici- Herhangi bir karmaşık fonksiyonu görüntülemek için kullanılan küçük Java uygulaması]

{{Matematik-altdal}}
{{Otorite kontrolü}}

[[Kategori:Karmaşık analiz| ]]
[[Kategori:Analiz (matematik)]]