Kompleks Analiz: Kompleks Düzlemden Laurent Serilerine Temel Kavramlar

Kompleks düzlemde modül, argüman ve kutupsal gösterim

Bir kompleks sayı z = x + iy, yatay ekseni gerçek, düşey ekseni sanal eksen olan kompleks düzlemde (x, y) noktasıyla gösterilir. Sayının orijine uzaklığı modül olarak adlandırılır ve |z| = sqrt(x² + y²) bağıntısıyla bulunur. z sıfırdan farklıysa, pozitif gerçek eksenle yaptığı yönlü açıya argüman denir ve arg(z) ile gösterilir. Açı 2π kadar değiştirildiğinde aynı yön elde edildiği için argüman tek bir değer değil, 2π'nin tam katlarıyla farklılaşan değerler ailesidir.

Modül ve argüman, kompleks sayının kutupsal gösterimini verir: z = r(cos θ + i sin θ). Burada r = |z| ve θ, z'nin bir argümanıdır. Bu gösterim çarpma ve bölme işlemlerinin geometrik anlamını açıklaştırır: iki kompleks sayı çarpılırken modüller çarpılır, argümanlar toplanır; bölmede modüller bölünür, argümanlar çıkarılır. Örneğin z = 1 + i sayısının modülü sqrt(2), argümanlarından biri π/4'tür ve z = sqrt(2)(cos(π/4) + i sin(π/4)) biçiminde yazılır. Kutupsal gösterim, özellikle kompleks üstel ve trigonometrik fonksiyonların incelenmesinde kullanılır.

Kompleks fonksiyonlarda limit, süreklilik ve kompleks türev

Bir kompleks fonksiyon f(z)'nin z0 noktasındaki limiti L ise, z sayısı düzlemde z0'a hangi yönden yaklaşırsa yaklaşsın f(z) değerleri L'ye yaklaşır. Tanım, gerçek analizdeki gibi yazılır: lim(z→z0) f(z) = L. Ancak kompleks düzlemde yaklaşma yolları çok olduğundan, yalnızca yatay veya dikey doğrular üzerindeki davranışı incelemek yeterli değildir. Limit mevcutsa f fonksiyonu z0'da sürekli olmak için f(z0) değerinin de L'ye eşit olması gerekir.

Kompleks türev, fark bölümünün kompleks düzlemdeki her yönden aynı limite sahip olmasıyla tanımlanır: f'(z0) = lim(h→0) [f(z0+h) - f(z0)]/h. Buradaki h, yalnızca gerçek sayılar arasından değil, her yönden sıfıra giden kompleks sayılar arasından seçilir. Bu nedenle kompleks türevlenebilirlik, gerçek değişkenli türevlenebilirlikten daha kısıtlayıcıdır. Bir fonksiyon bir bölgenin her noktasında kompleks türevlenebiliyorsa o bölgede holomorf olarak adlandırılır.

Örneğin f(z) = z² için fark bölümü [ (z0+h)² - z0² ]/h = 2z0 + h olur. h hangi yönden sıfıra giderse gitsin limit 2z0'dır; dolayısıyla f'(z) = 2z elde edilir. Buna karşılık eşlenik fonksiyon f(z) = z̄ için z0 = 0 çevresinde h gerçek seçildiğinde fark bölümü 1, h saf sanal seçildiğinde -1 olur. Yollar farklı sonuç verdiği için kompleks türev mevcut değildir.

Holomorf fonksiyonlar ve Cauchy-Riemann denklemleri

Bir kompleks fonksiyon f(z), bir açık bölgede her noktada kompleks türevlenebiliyorsa holomorftur. f fonksiyonu f(z) = u(x,y) + iv(x,y) biçiminde yazıldığında u ve v, sırasıyla gerçek ve sanal kısımlardır. Uygun süreklilik koşulları altında kompleks türevlenebilirliğin temel testi Cauchy-Riemann denklemleridir: u_x = v_y ve u_y = -v_x. Bu denklemler, farklı yönlerden alınan fark bölümlerinin aynı değere ulaşmasını sağlayan iki gerçek koşulu ifade eder.

Cauchy-Riemann denklemleri tek başına her durumda yeterli değildir; genellikle u ve v'nin birinci kısmi türevlerinin bir komşulukta sürekli olması gibi ek bir koşulla birlikte kullanılır. Örneğin f(z) = z² = (x² - y²) + i(2xy) için u = x² - y² ve v = 2xy alınır. Buradan u_x = 2x, v_y = 2x; ayrıca u_y = -2y ve -v_x = -2y bulunur. Denklemler sağlandığı için bu polinom her kompleks z için holomorftur.

Eşlenik fonksiyonda f(z) = z̄ = x - iy olduğundan u = x, v = -y'dir. Bu durumda u_x = 1, v_y = -1 olur ve ilk Cauchy-Riemann denklemi sağlanmaz. Bu sonuç, eşlenik fonksiyonun hiçbir açık bölgede holomorf olmadığını gösterir. Analitik fonksiyonların geometrik yorumu, küçük ölçekte açıları koruyan ve yerel olarak dönme ile ölçeklemeye benzeyen davranışları inceler; bu geometrik özellikler uygun koşullarda konformallikle ilişkilidir. Harmonik fonksiyonlar ve potansiyel teorisi ise burada ayrıntılandırılmayan ayrı bir inceleme alanıdır.

Kontur integrali ve Cauchy integral teoremi

Kompleks düzlemde yönlendirilmiş, parçalı düzgün bir eğriye kontur denir. f fonksiyonunun γ konturu boyunca integrali, konturun bir parametreleştirilmesi z = γ(t), a ≤ t ≤ b kullanılarak tanımlanır: ∫γ f(z) dz = ∫a^b f(γ(t))γ'(t)dt. Gerçek integrallerdeki gibi yalnızca başlangıç ve bitiş noktaları değil, izlenen yol da önemlidir. Konturun yönü ters çevrilirse integralin işareti değişir.

Örneğin birim çember γ(t) = cos t + i sin t, 0 ≤ t ≤ 2π ile f(z) = z için integral, ∫0^{2π} γ(t)γ'(t)dt biçiminde hesaplanır ve sıfır çıkar. Bunun nedeni z fonksiyonunun bir ilkel fonksiyona, yani F(z) = z²/2'ye sahip olmasıdır; kapalı konturda başlangıç ve bitiş noktaları aynı olduğundan F değerlerindeki fark sıfırdır.

Cauchy integral teoremi bu gözlemi genişletir: f, kapalı ve parçalı düzgün bir konturun içiyle birlikte çevresindeki bölgede holomorfsa ve bölgede uygun bir delik yoksa ∮γ f(z) dz = 0 olur. Mekanizma, holomorf fonksiyonların yerel türev yapısının kontur boyunca birikerek net bir dolaşım üretmemesidir. Teorem, integrali doğrudan parametreleştirmek yerine fonksiyonun holomorf olduğu bölgeyi ve konturun bu bölge içindeki konumunu kontrol ederek kullanılır.

Bir fonksiyon konturun içinde bir noktada tanımsızsa teorem doğrudan uygulanamaz; tekillik kaldırılabilir türdense fonksiyon holomorf olarak genişletildikten sonra teorem uygulanabilir. Örneğin f(z) = 1/z fonksiyonu z = 0'da tanımsızdır; bu nedenle sıfırı çevreleyen bir çember için integralin sıfır olduğu Cauchy teoremiyle söylenemez. Rezidü teorisi ve kontur integrallerinin rezidü hesabıyla uygulamaları bu tür integralleri ayrı bir çerçevede ele alır.

Cauchy integral formülü ve temel analitik sonuçları

Cauchy integral formülü, bir holomorf fonksiyonun kapalı bir konturun içindeki değerini kontur üzerindeki değerleriyle ilişkilendirir. γ pozitif yönlendirilmiş basit kapalı bir kontur; f, γ’nın üzerinde ve iç bölgesinde holomorf ve z0 da bu iç bölgede ise ∮γ f(z)/(z - z0) dz = 2πi f(z0) bağıntısı geçerlidir. Böylece içerideki tek bir noktanın fonksiyon değeri, çevredeki değerlerin ağırlıklı bir integraliyle belirlenir.

Aynı koşullar altında formül türevler için de genişletilir: f^(n)(z0) = n!/(2πi) ∮γ f(z)/(z - z0)^(n+1) dz. Bu sonuç, holomorf fonksiyonların yalnızca birinci değil, her mertebeden türeve sahip olduğunu gösterir. Dolayısıyla holomorfluk, karmaşık türevlenebilirliğin tekrar tekrar sürdürülebildiği güçlü bir düzgünlük koşuludur. Örneğin f(z) = z² ve z0 = 0 için formül, çember üzerindeki z²/(z) integralinin 2πi·f(0) = 0 olduğunu söyler.

Taylor ve Laurent serileri ile yakınsaklık bölgeleri

Bir fonksiyon z0 çevresinde yeterince düzenliyse Taylor serisiyle yazılabilir: f(z) = Σ[n=0,∞] f^(n)(z0)/n! · (z-z0)^n. Bu seri, fonksiyonun z0 merkezli bir disk içindeki değerlerini polinomların sonsuz toplamıyla temsil eder. Yakınsaklık bölgesi, serinin toplamının fonksiyona eşit olduğu noktaları belirtir; genellikle merkezden en yakın tekilliğe kadar uzanan bir disk söz konusudur.

Tekillik bulunan veya merkezden tekilliğe doğru yaklaşan durumlarda negatif kuvvetler de gerekebilir. Laurent serisi f(z) = Σ[n=-∞,∞] a_n(z-z0)^n biçimindedir. Pozitif kuvvetli kısım Taylor kısmı, negatif kuvvetli kısım ise tekilliğin davranışını taşıyan ana kısımdır. Bir Laurent serisinin yakınsaklık bölgesi çoğunlukla iki çember arasındaki halka biçimindedir; iç ve dış sınırlar, tekilliklerin merkezden uzaklıkları tarafından belirlenir. Örneğin 1/(1-z) fonksiyonu z0 = 0 çevresinde |z| < 1 için 1 + z + z² + ... serisine sahiptir; yakınsaklık, z = 1'deki tekillik nedeniyle bu diskin dışına taşmaz. Analitik devam ve özel fonksiyonlar, bu serilerin ötesindeki ayrı bir konudur.

İzole tekillikler ve temel tekillik sınıflandırması

Bir f fonksiyonu z0 noktasında tanımsız olsa da z0'ın çevresindeki delinmiş bir komşulukta holomorfsa z0, izole tekillik olarak adlandırılır. Laurent serisindeki negatif kuvvetlerin yapısı tekilliğin sınıfını belirler. Negatif kuvvetli terimler yoksa tekillik kaldırılabilirdir; fonksiyon uygun bir değer atanarak z0'da holomorf hale getirilebilir. Örneğin f(z) = sin z/z fonksiyonu z = 0'da başlangıçta tanımsızdır, fakat sin z'nin serisi sin z = z - z³/3! + ... olduğundan bölüm 1 - z²/3! + ... biçiminde düzenlenir ve tekillik kaldırılabilir.

Laurent serisinde sonlu sayıda negatif kuvvet varsa z0 bir kutuptur. En büyük negatif kuvvetin derecesi kutbun mertebesini verir; örneğin 1/(z-z0)³ üçüncü mertebeden kutba sahiptir. Negatif kuvvetler sonsuz sayıda ve kesilmeksizin bulunuyorsa tekillik esaslıdır. e^(1/z) fonksiyonu buna örnektir; üstel seriye yazıldığında 1 + 1/z + 1/(2!z²) + ... biçiminde sonsuz sayıda negatif kuvvet ortaya çıkar. Böylece kaldırılabilir tekillik, kutup ve esaslı tekillik ayrımı Laurent açılımı üzerinden yapılır ve fonksiyonun izole tekillik çevresindeki davranışı anlaşılır.