Matematikako analisi konplexua
Analisi konplexua matematikaren adarra da, zenbaki konplexuak dituzten funtzioak eta haien propietateak aztertzen dituena. Zenbaki konplexuak, normalean \(z = a + bi\) forman idatzita, non \(a\) eta \(b\) zenbaki errealak diren eta \(i^2 = -1\), jatorriz erro errealik ez duten ekuazio koadratikoak ebazteko tresna gisa sortu ziren. Hala ere, matematika garatu ahala, zenbaki konplexuak teoria moderno askoren oinarri garrantzitsu bihurtu dira, analisitik eta fisika matematikotik hasi eta ingeniaritza eta seinaleen prozesamenduraino. Analisi konplexuaren berezitasuna funtzio konplexu "onek" (analitikoek) egitura oso sendoa dutela da, eta, beraz, analisi errealean zailak diren emaitza asko dotore bihurtzen dira mundu konplexuan.
1. Zenbaki konplexuak eta haien irudikapenak
Zenbaki konplexuak hainbat formatan adieraz daitezke. Forma ohikoena kartesiarra da, \(z = x + iy\), non \(x\) zati erreala den eta \(y\) zati irudikaria. Geometrikoki, zenbaki konplexuak plano konplexuko (edo Argand planoko) puntu gisa ikus daitezke, ardatz horizontala zati errealarentzat eta ardatz bertikala zati irudikariarentzat izanik.
Forma kartesiarraz gain, forma polar oso erabilgarria dago:
\[
z = r(cos θ + i sin θ),
\]
\(r = |z| = \sqrt{x^2+y^2}\) modulua eta \(\theta\) argumentua (ardatz errealarekiko angelua) izanik. Forma hau askotan laburrago idazten da Eulerren formula erabiliz:
\[
e^{i θ} = cos θ + i sin θ,
\]
orduan
\[
z = re^{i\theta}.
\]
Forma polarrak biderketa, zatiketa eta esponentziazio konplexua sinplifikatzen ditu. Adibidez, \(z_1 = r_1e^{i\theta_1}\) eta \(z_2 = r_2e^{i\theta_2}\) bada, orduan \(z_1z_2 = r_1r_2e^{i(\theta_1+\theta_2)}\). Horrek azaltzen du zergatik biraketa eta eskalatzea modu naturalean modelatu daitezkeen zenbaki konplexuak erabiliz.
2. Funtzio konplexuak eta kontzeptu analitikoak
Benetako analisian, funtzio deribagarriak ez dira beti “perfektuki erregularrak”. Aldiz, analisi konplexuan, deribagarritasun-eskakizunak oso zorrotzak dira. \(f(z)\) funtzio konplexu bati \(z_0\) puntuan deribagarri konplexu deitzen zaio baldin eta limitea
\[
f'(z_0)=\lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0}
\]
existitzen da eta balio bera du \(z \to z_0\-rako hurbilketa-norabide guztietan. \(z\) bi dimentsioko (benetako-irudimenezko) planoan dagoenez, muga hau askoz murriztaileagoa da zuzen errealeko diferentziala baino.
Funtzio konplexu bat domeinu ireki batean deribagarria bada, holomorfoa deitzen zaio. Plano konplexu osoan holomorfoa bada, osoa deitzen zaio (e^z, sin z eta polinomioak, adibidez). Emaitza harrigarri bat: funtzio holomorfo bat automatikoki potentzia-serie gisa heda daiteke ( Taylorren seriea ) bere domeinuko puntu baten inguruan. Horrek esan nahi du "deribagarria den konplexua" funtsean "analitiko" hitzaren baliokidea dela potentzia-serie baten zentzuan; fenomeno oso indartsua.
3. Cauchy-Riemannen ekuazioa
Diferentziagarritasun konplexua zergatik den hain sendoa ulertzeko, funtzio konplexu bat zati erreal eta irudizkoetan bana dezakegu. Demagun
\[
f(z) = u(x,y) + iv(x,y), z = x + iy da.
\]
\(f\) holomorfoa izateko baldintza beharrezkoa (eta kasu askotan nahikoa ere bai) Cauchy-Riemann ekuazioak betetzea da:
\[
\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.
\]
Ekuazio honek \(u\) eta \(v\)-ren deribatu partzialak estuki lotzen ditu. Bere inplikazioak sakonak dira: \(u\) eta \(v\) ondo deribagarriak badira eta Cauchy-Riemann propietatea betetzen badute, orduan \(f\) oso egituratua dago. Izan ere, \(u\) eta \(v\) askotan potentziala eta fluxua bezalako kontzeptu fisikoekin erlazionatzen dira (adibidez, fluidoen dinamika idealean), biak funtzio harmonikoak izan daitezkeelako.
4. Integral konplexuak eta oinarrizko teoremak
Analisi konplexua integralen teoria dotoreagatik ere ezaguna da. Bide (kontura) batean zeharreko integrala plano konplexuko kurba \(\gamma\) gainean \(f(z)\) funtzioarentzat definitzen da:
\[
\int_\gamma f(z)\,dz.
\]
Tarteetan dauden integral errealekin alderatuta, integral konplexuek kurbatu, biratu edo begiztak ere osa ditzaketen bideak dituzte.
Zutabe nagusietako bat Cauchyren Integralaren Teorema da: \(f\) domeinu "on" batean holomorfoa bada eta \(\gamma\) domeinu horretan kurba itxia bada, orduan
\[
\int_\gamma f(z)\,dz = 0.
\]
Bere eragina izugarria izan zen: teorema honetatik, beste emaitza garrantzitsu asko sortu ziren, besteak beste, Cauchyren Integralaren Formula, zeinak dioen puntu batean funtzio holomorfo baten balioa eskualde baten mugan funtzioaren baliotik soilik kalkula daitekeela:
\[
f(z_0)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-z_0}\,dz.
\]
Formula honek funtzio holomorfo bat mugan duen portaeraren arabera “zehazten” dela baieztatzen du. Gainera, \(f^{(n)}(z_0)\)-ren deribatu guztiak integral gisa adieraz daitezkeela ematen du, eta horrela funtzio holomorfoen erregulartasun maila oso altua bermatzen du.
5. Laurent seriea eta hondarrak
Ez dira funtzio konplexu guztiak leunak domeinu osoan. Funtzio askok puntu singularrak dituzte (adibidez, \(1/z\) \(z=0\)-n). Singularitateen inguruko portaera aztertzeko, Laurent seriea erabiltzen da:
\[
f(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n.
\]
Taylorren serieak berretzaile ez-negatiboak bakarrik dituen ez bezala, Laurenten serieak zati singularra adierazten duten berretzaile negatiboak onartzen ditu.
Laurent serieko \(a_{-1}\) koefizientea oso garrantzitsua da eta hondarra deitzen zaio. Hondarraren kontzeptutik dator Hondarren Teorema, zeinak dioen kurba itxi batean zeharreko funtzio baten integrala kurbaren barruko hondar singularitateen baturarekin kalkula daitekeela:
\[
\int_\gamma f(z)\,dz = 2\pi i \sum \text{Res}(f, z_k).
\]
Teorema honek tresna indartsua eskaintzen du integral erreal zailak kalkulatzeko, batez ere funtzio arrazionalak eta trigonometrikoak barne hartzen dituztenak, problema konplexuetan eraldatuz.
6. Mapak konformalak eta aplikazio geometrikoak
Funtzio holomorfoak (deribatu ez-nulua dutenak) konformalak dira, hau da, angeluak tokian tokiko mantentzen dituzte. Horrek esan nahi du funtzio horiek plano konplexuko sare txikiak beste sare batzuetara mapatzen dituztela, ebakitzen dituzten angeluak aldatu gabe. Aplikazio konformalak oso erabilgarriak dira geometrian eta fisikan, adibidez, potentzial elektrikoaren edo fluidoen fluxuaren arazoak konpontzeko, domeinu konplexuak sinpleago bihurtuz (esaterako, muga kurbatua duen eskualde bat zirkulu batera mapatzea).
Adibide klasiko bat Möbius-en transformazioa da:
\[
f(z)=\frac{az+b}{cz+d},
\]
\(ad-bc\neq 0\)rekin. Eraldaketa honek lerroak eta zirkuluak lerro edo zirkuluetara mapatzen ditu, eta zeregin garrantzitsua du geometria konplexuan eta funtzioen teorian.
7. Beste arloekin harremana
Analisi konplexua ez da teoria abstraktu bat soilik. Diziplina asko zeharkatzen ditu:
1. Fisika: mekanika kuantikoak, eremu-teoriak eta elektrodinamikak funtzio konplexuak eta Fourier/Laplace transformatuak asko erabiltzen dituzte, eta hauek oso lotuta daude analisi konplexuarekin.
2. Teknika: zirkuitu elektrikoen analisia (inpedantzia) askotan zenbaki konplexuetan idazten da; sistemaren kontrolak interpretazio konplexuak dituzten Laplace transformatuak erabiltzen ditu.
3. Seinaleen prozesamendua: maiztasun-espektroa eta Fourier-en transformatua oso lotuta daude esponentzial konplexuekin.
4. Matematika hutsa: zenbakien teoria analitikoak, adibidez Riemannen zeta funtzioaren bidez, analisi teknika konplexuak erabiltzen ditu zenbaki lehenen banaketa aztertzeko.
8. Ondorioa
Analisi konplexuak edertasunaren eta boterearen konbinazioa eskaintzen du: itxuraz sinpleak diren kontzeptuek, hala nola zenbaki konplexuek, benetako analisiak baino askoz egituratuagoa den teoria bat sortzen dute. Baldintza holomorfoak funtzioei propietate apartekoak ezartzen dizkie, hala nola potentzia-serieetan zabaltzeko aukera izatea, integral sendoaren teorema betetzea eta geometriarekin lotura sakona izatea, aplikazio konformalen bidez. Bitartean, Laurent seriea eta hondar-teorema bezalako tresnek integral konplexuen kalkuluak sistematikoagoak eta dotoreagoak egiten dituzte.
Azken finean, analisi konplexua ez da soilik "zenbaki irudizkoen" azterketa, baizik eta egitura matematikoak eta fenomeno naturalak ulertzeko hizkuntza polifazetikoa. Bere teoremen indarra eta aplikazioen zabalera direla eta, analisi konplexua matematika modernoaren arlorik garrantzitsu eta zirraragarrienetako bat izaten jarraitzen du.
