Kompleks Analizde Analitiklik, İntegral ve Rezidü Hesabı

Karmaşık düzlemde modül, argüman ve kutupsal gösterim

z = x + iy karmaşık sayısının modülü, orijine olan uzaklığıdır ve |z| = √(x² + y²) ile bulunur. Argüman, pozitif gerçek eksen ile z vektörü arasındaki açıdır. z ≠ 0 için z = r(cos θ + i sin θ) yazılabilir; burada r = |z| ve θ bir argümandır. Aynı sayı, Euler gösterimiyle z = re^{iθ} biçiminde de ifade edilir.

Argümanda 2π periyodundan dolayı θ ve θ + 2kπ aynı yönü gösterir. Bu nedenle tek bir karmaşık sayının argümanı genel olarak tek değerli değildir. Bir soruda baş (principal) argüman isteniyorsa, kullanılan aralık ayrıca belirtilmelidir; aksi durumda yalnızca argüman ailesi yazılır.

Modül, iki karmaşık sayı arasındaki uzaklığı da verir: |z₁ - z₂|. Böylece |z - z₀| < R eşitsizliği, merkezi z₀ ve yarıçapı R olan açık diski; |z - z₀| = R ise çemberi tanımlar. Seri açılımlarında yakınsaklık bölgesini belirlerken bu geometrik yorum önemlidir. Örneğin 1/(1-z) = Σ zⁿ geometrik serisinin yakınsaklığı |z| < 1 koşuluna bağlıdır; sınırdaki |z| = 1 noktaları bu eşitlikle otomatik olarak kapsanmaz.

Cauchy-Riemann denklemleriyle kompleks türevlenebilirliği sınamak

f(z) = u(x,y) + iv(x,y) olsun. Bir noktada kompleks türev varsa, gerekli Cauchy-Riemann koşulları şunlardır:

∂u/∂x = ∂v/∂y, ∂u/∂y = -∂v/∂x.

Bu eşitlikler, u ve v arasındaki türev ilişkisini gösterir. Ancak önemli bir sınır vardır: Denklemlerin yalnızca tek bir noktada sağlanması, o noktada kompleks türevlenebilirliği tek başına garanti etmez. Eğer bir komşulukta kısmi türevler mevcut ve sürekli ise, Cauchy-Riemann denklemlerinin o komşulukta sağlanması kompleks türevlenebilirlik için yeterli koşul olarak kullanılabilir. Bir açık bölgede bu koşullar sağlanıyorsa f o bölgede holomorfiktir; bazı kaynaklarda bu durum analitik olarak da adlandırılır.

Cauchy-Riemann denklemleri sağlanmadığında fonksiyonun o noktada kompleks türevi yoktur. Sağlandığında ise ek düzenlilik koşullarını kontrol etmek gerekir. Türev hesaplanacaksa, koşullar sağlanan noktada f'(z) = u_x + iv_x veya eşdeğer olarak f'(z) = v_y - iu_y kullanılabilir.

Örneğin f(z) = z² için z = x + iy yazılırsa f(z) = x² - y² + i(2xy) elde edilir. Buradan u = x² - y² ve v = 2xy olur. u_x = 2x, v_y = 2x; u_y = -2y, -v_x = -2y olduğundan denklemler her noktada sağlanır. Dolayısıyla f tüm karmaşık düzlemde holomorfiktir ve türevi f'(z) = 2z'dir.

Kontur integrali ile Cauchy integral teoremini ayırmak

Karmaşık düzlemde bir eğri C, z(t) parametrizasyonuyla verilirse kontur integrali ∫_C f(z) dz = ∫_a^b f(z(t))z'(t)dt şeklinde hesaplanır. Yani dz, sıradan bir reel diferansiyel gibi değil, parametrizasyondan gelen z'(t)dt olarak ele alınır. Eğrinin yönü değişirse integralin işareti değişir.

Cauchy integral teoreminin temel biçimine göre f, pozitif yönlendirilmiş basit, kapalı ve parça parça düzgün bir C konturunun üzerinde ve iç bölgesini içeren açık bir bölgede holomorfikse ∮_C f(z)dz = 0 olur. Daha genel konturlarda bu sonuç için uygun bölge, yönlendirme veya winding number/homoloji koşulları ayrıca belirtilmelidir. Buradaki 'içinde tekil olmama' koşulu kritiktir. Fonksiyon eğri üzerinde tanımlı olsa bile eğrinin içinde bir kutup varsa integralin sıfır olduğu söylenemez.

Cauchy integral formülü, bir fonksiyonun iç bölgedeki değerini sınır integraliyle ilişkilendirir. f, C'nin içinde ve üzerinde holomorfik; a ise C'nin içinde bulunan bir nokta ve C pozitif yönlü basit kapalı eğri ise f(a) = (1/(2πi))∮_C f(z)/(z-a) dz olur. Buradan ∮_C f(z)/(z-a) dz = 2πi f(a) sonucu çıkar. a eğrinin dışında ise, uygun koşullarda integral sıfırdır. Bu ayrım, yalnızca integrandın biçimine değil, tekilliğin konturun konumuna da bakılması gerektiğini gösterir.

Tekillik türünü Laurent açılımındaki negatif kuvvetlerden belirlemek

Bir nokta, fonksiyonun o noktanın delikli bir komşuluğunda holomorfik olduğu ve yalnızca merkezde holomorfik olmadığı durumda izole tekilliktir. Laurent serisiyle kaldırılabilir tekillik, kutup ve esas tekillik sınıflandırması yalnızca bu koşulu sağlayan izole tekillikler için kullanılır; tekilliklerin birikim noktaları veya dallanma noktaları bu çerçevede sınıflandırılamaz. Tekilliğin türünü anlamanın sistematik yolu, fonksiyonu o noktanın çevresinde Laurent serisiyle incelemektir. Laurent serisi genel olarak f(z) = Σ_{n=-∞}^{∞} a_n(z-z₀)^n biçimindedir.

Negatif kuvvetli terim yoksa z₀ çevresinde fonksiyon aslında düzenlidir; görünürdeki tanımsızlık sadeleştirmeyle kaldırılabiliyorsa kaldırılabilir tekillik söz konusudur. Sonlu sayıda negatif kuvvet varsa, örneğin a_{-m}(z-z₀)^{-m} terimi en büyük negatif kuvveti oluşturuyorsa z₀, m mertebeli kutuptur. Negatif kuvvetler sonsuz sayıda ise esas tekillik vardır.

Rezidü, Laurent serisindeki (z-z₀)^{-1} teriminin katsayısıdır: Res(f,z₀) = a_{-1}. Basit kutup için f(z) = g(z)/h(z), h(z₀) = 0 ve h'(z₀) ≠ 0 koşulları sağlanıyorsa rezidü Res(f,z₀) = g(z₀)/h'(z₀) formülüyle bulunabilir. Bu kısa yol, pay ve paydanın ortak kökü olmadığı basit kutup durumuyla sınırlıdır.

Rezidü teoremi, C pozitif yönlü kapalı bir kontur ve f'nin C üzerinde tekil olmayan, iç bölgede sonlu sayıda izole tekilliği olan bir fonksiyon olması halinde ∮_C f(z)dz = 2πi Σ Res(f,z_k) sonucunu verir. Toplama yalnızca konturun içinde kalan tekillikler üzerinden yapılır.

Analitik fonksiyonların seri ve geometrik sonuçları

Bir fonksiyon bir bölgede holomorfikse, yerel olarak kuvvet serisiyle temsil edilebilir. Bir z₀ noktası çevresindeki biçim f(z) = Σ_{n=0}^{∞} a_n(z-z₀)^n olabilir; bu serinin yakınsaklık yarıçapı genellikle z₀'dan en yakın tekilliğe olan uzaklıkla ilişkilidir. Bu ifade, serinin her yerde yakınsak olduğu anlamına gelmez; yakınsaklık diskinin sınırı ayrıca incelenmelidir.

Laurent serisi, merkezde tekillik bulunan halka bölgelerinde kullanılır. Örneğin 1/[z(z-1)] ifadesi için merkez z=0 çevresinde açılım bölgeleri 0<|z|<1 ve |z|>1 olarak yazılır. İlk bölgede 1/[z(z-1)] = -1/z · 1/(1-z) = -1/z · Σ_{n=0}^{∞} z^n, ikinci bölgede ise 1/[z(z-1)] = 1/z² · 1/(1-1/z) = z^{-2} · Σ_{n=0}^{∞} z^{-n} şeklindeki açılımlar kullanılır. Bunun nedeni, geometrik seri açılımının hangi oranın mutlak değerinin 1'den küçük olduğuna bağlı olmasıdır.

Maksimum modül prensibi, sabit olmayan bir fonksiyonun açık ve bağlantılı bir bölgede iç noktada |f(z)| için yerel maksimum alamayacağını söyler. Sonlu ve kapalı bir bölgede maksimum aranıyorsa, sınır davranışı ayrıca değerlendirilir. Bu ilke, analitik fonksiyonların reel değişkenli fonksiyonlar gibi iç bölgede keyfi maksimumlar üretmediğini gösterir.

Konformal dönüşüm konusunda da koşul önemlidir: f holomorfik ve f'(z₀) ≠ 0 ise f, z₀ civarında açıları ve yerel yönelimleri korur. f'(z₀) = 0 olduğunda bu yerel açı koruma özelliği otomatik olarak kullanılamaz.

Çözümlü örnekler

Örnek 1 — Cauchy-Riemann testi ve türev: Verilenler: f(z) = z² ve z = x + iy.

1. Kareyi açalım: z² = (x+iy)² = x² - y² + i(2xy).
2. Gerçek ve sanal kısımları belirleyelim: u(x,y)=x²-y², v(x,y)=2xy.
3. Kısmi türevleri hesaplayalım: u_x=2x, u_y=-2y, v_x=2y, v_y=2x.
4. Cauchy-Riemann koşullarını karşılaştıralım: u_x=v_y çünkü 2x=2x; u_y=-v_x çünkü -2y=-2y.
5. Kısmi türevler polinom olduğundan süreklidir ve koşullar her noktada sağlanır. Bu nedenle f tüm düzlemde holomorfiktir.
6. Türevi bulalım: f'(z)=u_x+iv_x=2x+i(2y)=2z. Sonuç: f(z)=z² her noktada kompleks türevlenebilir ve f'(z)=2z'dir.

Örnek 2 — Rezidü teoremiyle kontur integrali: Verilenler: I = ∮_C 1/[z(z-1)] dz; C, pozitif yönlü |z|=2 çemberi.

1. Tekillikleri bulalım: payda z(z-1) olduğundan z=0 ve z=1 noktaları tekildir.
2. Konumu kontrol edelim: |0|=0<2 ve |1|=1<2; iki tekillik de C'nin içindedir.
3. Basit kutuplardaki rezidüleri hesaplayalım. z=0 için Res(f,0)=lim_{z→0} z/[z(z-1)] = 1/(0-1) = -1.
4. z=1 için Res(f,1)=lim_{z→1} (z-1)/[z(z-1)] = 1/1 = 1.
5. Rezidüleri toplayalım: -1+1=0.
6. Teoremi uygulayalım: I=2πi·0=0. Sonuç: İntegral sıfırdır. Buradaki gerekçe, integrandın tekil olmaması değil; iki iç rezidünün toplamının sıfır olmasıdır. Eğer kontur yalnızca bir kutbu içerseydi sonuç farklı olurdu.