Karmaşık analiz

Karmaşık analiz, ya da başka bir deyişle kompleks analiz, karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Geleneksel olarak karmaşık değişkenli fonksiyonlar teorisi olarak da atfedilir. Matematiğin sayılar teorisi, uygulamalı matematik gibi birçok alanında ve fizikte kullanılır. Kullanım alanı sadece bunlarla sınırlı değildir elbette.

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.

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

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.

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.

Karmaşık analiz iki temel önem ve faydaya sahip bulunmaktadır. İlk olarak calculus 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.

ve gerçel değerli fonksiyonlar olmak üzere, ve olarak yazılabilir. Başka bir deyişle, f(z) fonksiyonun bileşenleri olan ve iki gerçel değişkenin, mesela x ve y'''nin gerçel değerli fonksiyonları olarak yorumlanabilir.

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.

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.

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.

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.

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.

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.