Karmaşık analiz

f (x)=(x²-1)(x-2-i)²/(x²+2+2i) 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 analizle 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 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.^[1]

Ö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 fonksiyonlar ve meromorf fonksiyonlar diye iki ayrı sınıfa ayrılan karmaşık değişkenli analitik fonksiyonlarla ilgilidir. Herhangi bir analitik fonksiyonunun gerçel ve sanal kısmının Laplace denklemini sağlamak zorunda olması sayesinde karmaşık analiz iki-boyutlu fizik problemlerine geniş bir şekilde uygulanabilir.

Tarihi

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 Cardano olmuştur. 18. yüzyılda karmaşık sayıları içeren fonksiyonları bulan ise 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, 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ü.^[2]

Karmaşık sayıların genel kabulü ve bu kabul ile karmaşık analizin doğması aslında büyük ölçekte 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 Cauchy, Weierstrass ve 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şı Hamilton tarafından verilmiştir.^[3]

Geleneksel olarak karmaşık analizin, bilhassa açıkorur gönderimler kuramının, fizikte birçok uygulaması mevcuttur. Karmaşık analiz ayrıca analitik sayılar teorisinde 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 teorisidir. 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

Karmaşık fonksiyon bağımsız değişkenin ve bağımlı değişkenin her ikisinin de karmaşık sayı olduğu bir fonksiyondur. Tam olarak, karmaşık bir fonksiyon tanım kümesinin karmaşık düzlemin altkümesi olduğu ve yine görüntü kümesinin karmaşık düzlemin 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 ve sanal kısımlara ayrılabilir:

${\displaystyle x,y\in \mathbb {R} \ }$ ve ${\displaystyle u(z),v(z)\,}$ gerçel değerli fonksiyonlar olmak üzere, ${\displaystyle z=x+iy\,}$ ve ${\displaystyle w=f(z)=u(z)+iv(z)\,}$ olarak yazılabilir. Başka bir deyişle, f(z) fonksiyonun bileşenleri olan ${\displaystyle u=u(x,y)\,}$ ve ${\displaystyle v=v(x,y),\,}$ 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 madde: Türev

Ana madde: 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ürevi olabilir. Aslında, türevin tanımı olan

${\displaystyle f^{\prime }(z)={\frac {dw}{dz}}=\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}\,}$

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ürevlerle 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² 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 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şulukta türevlenebilir ise aynı komşulukta sonsuz kere türevlenebilir olmalıdır. (Kanıt için Holomorf fonksiyonların analitikliğine bakınız.)

f(z)'yi oluşturan iki gerçel fonksiyonun, mesala u(x, y) ve v(x, y)'nin, kısmi türevlerini hesaplamak için vektör analizinin 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

${\displaystyle 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}}.\,}$

ifadesinin doğruluğunu getirdiği gösterilebilir.

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

${\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}\qquad {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}\,}$ veya başka bir yaygın gösterimle, ${\displaystyle u_{x}=v_{y}\qquad u_{y}=-v_{x}.\,}$

Bu iki 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:

${\displaystyle {\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\,}$ veya başka bir yaygın gösterimle, ${\displaystyle u_{xx}+u_{yy}=v_{xx}+v_{yy}=0.\,}$

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

Ayrıca bakınız: Laplace denklemi

Holomorf fonksiyonlar

Ana madde: Holomorf fonksiyon

Holomorf fonksiyonlar karmaşık düzlemin açık bir altkümesinde türevlenebilir 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 polinomları 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 integraldir. 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ı (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 serileri, 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 olarak bilinir. Bu teorem karmaşık sayılar cisminin 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

${\displaystyle f(z)={\sqrt {z}}}$ 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 tamamiyle 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 madde: Çok değişkenli karmaşık analiz

Bunların hepsi tek değişkenli karmaşık analizde geçerlidir. Ayrıca, 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

1. Mesela, Amerikan Matematik Cemiyeti AMS bir değişkenli karmaşık analizi 30 rakamıyla 3 Eylül 2024 tarihinde Wayback Machine sitesinde arşivlendi., çok değişkenli karmaşık analizi ve analitik uzayları ise 32 rakamıyla göstermiştir.
2. Joseph Bak & Donald J. Newman (1997). Complex Analysis. Springer. s. sf. 1. 0387947566. 
3. Joseph Bak & Donald J. Newman (1997). Complex Analysis. Springer. s. sf. 2. 0387947566. 

Kaynakça

• 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.
• 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

• Karmaşık Analiz -- George Cain'in ders kitabı14 Mart 2009 tarihinde Wayback Machine sitesinde arşivlendi.
• Douglas N. Arnold tarafından hazırlanan Karmaşık Analiz dersi internet sitesi5 Kasım 2013 tarihinde Wayback Machine sitesinde arşivlendi.
• Karmaşık Analizle alakalı İngilizce Vikipedi'de örnek sorular
• Karmaşık fonskiyonları görüntülemek için kullanılan bağlantılar koleksiyonu (ve diğerleri)
• John H. Mathews'in Karmaşık Analiz Projesi6 Nisan 2013 tarihinde Wayback Machine sitesinde arşivlendi.
• Wolfram Research's MathWorld Karmaşık Analiz Sayfası11 Kasım 2012 tarihinde Wayback Machine sitesinde arşivlendi.
• Karmaşık Görüntüleyici- Herhangi bir karmaşık fonksiyonu görüntülemek için kullanılan küçük Java uygulaması