Famakafakana sarotra amin'ny Matematika
Ny famakafakana sarotra dia sampana iray amin'ny matematika izay mandalina ny fiasa misy isa sarotra sy ny toetrany. Ny isa sarotra, izay matetika soratana amin'ny endrika \( z = a + bi \) izay \(a\) sy \(b\) dia isa tena izy ary \(i^2 = -1\), dia nipoitra voalohany ho fitaovana hamahana ny fampitoviana quadratic izay tsy manana faka tena izy. Na izany aza, rehefa nivoatra ny matematika, ny isa sarotra dia lasa fototra manan-danja ho an'ny teoria maoderina maro - manomboka amin'ny famakafakana sy ny fizika matematika ka hatramin'ny injeniera sy ny fanodinana signal. Ny maha-tokana ny famakafakana sarotra dia ny hoe ny fiasa sarotra "tsara" (analitika) dia manana rafitra matanjaka be, ka maro amin'ireo valiny sarotra amin'ny famakafakana tena izy no lasa kanto amin'ny tontolo sarotra.
1. Isa sarotra sy ny fanehoana azy ireo
Azo aseho amin'ny endrika maro ny isa sarotra. Ny endrika mahazatra indrindra dia ny endrika Cartesian \(z = x + iy\), izay \(x\) ny ampahany tena izy ary \(y\) ny ampahany foronina. Amin'ny lafiny jeometrika, ny isa sarotra dia azo jerena ho toy ny teboka ao amin'ny planina sarotra (na planina Argand), miaraka amin'ny axe mitsivalana ho an'ny ampahany tena izy ary ny axe mitsangana ho an'ny ampahany foronina.
Ankoatra ny endrika Cartesian, misy endrika polar tena ilaina:
\[
z = r(\cos\theta + i\sin\theta),
\]
miaraka amin'ny \(r = |z| = \sqrt{x^2+y^2}\) ho modulus ary \(\theta\) ho argument (ny zoro misy ny axe tena izy). Matetika ity endrika ity dia soratana amin'ny fomba fohy kokoa amin'ny fampiasana ny raikipohy Euler:
\[
e^{i\theta} = \cos\theta + i\sin\theta,
\]
amin'izay mba
\[
z = re^{i\theta}.
\]
Manamora ny fampitomboana, ny fizarana ary ny fanaparitahana sarotra ny endrika polaire. Ohatra, raha \(z_1 = r_1e^{i\theta_1}\) ary \(z_2 = r_2e^{i\theta_2}\), dia \(z_1z_2 = r_1r_2e^{i(\theta_1+\theta_2)}\). Izany no manazava ny antony ahafahana manamboatra modely voajanahary amin'ny fampiasana isa sarotra ny fihodinana sy ny fanaparitahana.
2. Asa sarotra sy foto-kevitra famakafakana
Amin'ny fanadihadiana tena izy, ny asa azo differentiable dia tsy "ara-dalàna tanteraka" foana. Mifanohitra amin'izany kosa, amin'ny fanadihadiana sarotra, ny fepetra takiana amin'ny differentiability dia tena henjana. Ny asa sarotra \(f(z)\) dia antsoina hoe complex differentiable amin'ny teboka \(z_0\) raha toa ka ny fetra
\[
f'(z_0)=\lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0}
\]
misy ary mitovy ny sandany ho an'ny lalana rehetra manatona ny \(z \to z_0\). Koa satria ao amin'ny sehatra roa refy (tena-sary an-tsaina) ny \(z\), dia voafetra kokoa noho ny fahasamihafana eo amin'ny tsipika tena izy io fetra io.
Raha azo differentiable amin'ny sehatra misokatra ny asa sarotra iray, dia antsoina hoe holomorphic izany. Raha holomorphic amin'ny sehatra sarotra manontolo izy, dia antsoina hoe entire (e^z, sin z, ary polynomials, ohatra). Vokatra mahagaga iray: ny asa holomorphic dia azo mivelatra ho azy ho toy ny power series (Taylor series) manodidina ny teboka iray ao amin'ny sehatra misy azy. Midika izany fa ny "complex differentiable" dia mitovy amin'ny "analytic" amin'ny heviny hoe power series—tranga tena mahery vaika.
3. Fifandanjana Cauchy–Riemann
Mba hahatakarana ny antony mahatonga ny fahasamihafana sarotra ho matanjaka dia afaka manasaraka ny asa sarotra ho singa tena izy sy singa foronina isika. Aoka hatao hoe
\[
f(z)=u(x,y)+iv(x,y), z=x+iy.
\]
Ny fepetra ilaina (ary amin'ny tranga maro dia ampy ihany koa) mba ho holomorphic ny \(f\) dia ny fahafenoan'ny equations Cauchy–Riemann:
\[
\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.
\]
Ity fampitoviana ity dia mampifandray akaiky ireo derivatives ampahany amin'ny \(u\) sy \(v\). Lalina ny vokany: raha azo differentiable tsara ny \(u\) sy \(v\) ary mahafeno ny toetran'i Cauchy–Riemann, dia voarafitra tsara ny \(f\). Raha ny marina, ny \(u\) sy \(v\) dia matetika mifandray amin'ny foto-kevitra ara-fizika toy ny potential sy ny flow (ohatra, amin'ny dinamikan'ny fluid idealy), satria samy mety ho function harmonic izy roa.
4. Fampiraisana sarotra sy teôrema fototra
Malaza ihany koa ny fanadihadiana sarotra noho ny teoria kanto momba ny integral. Ny integral manaraka ny lalana (contour) dia voafaritra ho an'ny asa \(f(z)\) eo amin'ny fiolahana \(\gamma\) ao amin'ny planina sarotra:
\[
\int_\gamma f(z)\,dz.
\]
Mifanohitra amin'ny integral tena izy amin'ny elanelam-potoana, ny integral sarotra dia misy lalana izay afaka miolikolika, mihodina, na mamorona tadivavarana mihitsy aza.
Ny iray amin'ireo andry lehibe dia ny Teôrema Integral Cauchy: raha holomorphic amin'ny sehatra "tsara" ny \(f\) ary fiolahana mihidy ao amin'io sehatra io ny \(\gamma\), dia
\[
γ f(z) dz = 0.
\]
Goavana ny fiantraikany: avy amin'ity teôrema ity, dia nisy vokatra manan-danja maro hafa nipoitra, anisan'izany ny Rafitra Integral Cauchy izay milaza fa ny sandan'ny fiasa holomorphika amin'ny teboka iray dia azo kajy avy amin'ny sandan'ny fiasa eo amin'ny sisin-tanin'ny faritra iray ihany:
\[
f(z_0)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-z_0}\,dz.
\]
Ity raikipohy ity dia manamafy fa ny fiasa holomorphic dia "voafaritra" amin'ny fitondran-tenany eo amin'ny sisintany. Mahatonga ny zava-misy ihany koa izany fa ny derivatives rehetra an'ny \(f^{(n)}(z_0)\) dia azo aseho ho integrals, ka miantoka ny ambaratonga avo lenta amin'ny fanaraha-maso ho an'ny fiasa holomorphic.
5. Andian-dahatsoratra Laurent sy ny sisa tavela
Tsy ny asa sarotra rehetra no milamina amin'ny sehatra iray manontolo. Asa maro no manana teboka tokana (ohatra, \(1/z\) amin'ny \(z=0\)). Mba handinihana ny fihetsika manodidina ny singularities, dia ampiasaina ny andian-dahatsoratra Laurent:
\[
f(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n.
\]
Tsy tahaka ny andian-dahatsoratra Taylor izay misy eksponen tsy ratsy ihany, ny andian-dahatsoratra Laurent dia mamela ny eksponen ratsy izay maneho ny ampahany tokana.
Tena zava-dehibe ny coefficient \(a_{-1}\) ao amin'ny andian-tantara Laurent ary antsoina hoe residue. Avy amin'ny foto-kevitry ny residue no iavian'ny Theorem Residue, izay milaza fa ny integral an'ny asa iray manaraka ny fiolahana mihidy dia azo kajy avy amin'ny fitambaran'ny singularités residual ao anatin'ny fiolahana:
\[
\int_\gamma f(z)\,dz = 2\pi i \sum \text{Res}(f, z_k).
\]
Ity teôrema ity dia manome fitaovana mahery vaika amin'ny fikajiana ireo integral tena izy sarotra, indrindra fa ireo izay misy fiasa rasionaly sy trigonometrika, amin'ny alàlan'ny fanovana azy ireo ho olana sarotra.
6. Fampiasana sarintany mifanaraka amin'ny fenitra sy jeometrika
Ny asa holomorphic (miaraka amin'ny derivatives tsy aotra) dia conformal, izany hoe, miaro ny zoro eo an-toerana izy ireo. Midika izany fa ny asa toy izany dia mampifandray ireo harato kely ao amin'ny fiaramanidina sarotra amin'ny harato hafa tsy manova ny zoro ifanenan'izy ireo. Ny sarintany conformal dia tena ilaina amin'ny jeometrika sy ny fizika, ohatra, hamahana ny olan'ny herinaratra na ny fikorianan'ny ranoka amin'ny alàlan'ny fanovana ireo sehatra sarotra ho tsotra kokoa (toy ny sarintany faritra misy sisintany miolikolika amin'ny faribolana).
Ohatra mahazatra ny fiovan'ny Möbius:
\[
f(z)=\frac{az+b}{cz+d},
\]
miaraka amin'ny \(ad-bc\neq 0\). Ity fiovana ity dia mampifandray ny tsipika sy ny faribolana amin'ny tsipika na faribolana, ary mitana anjara toerana lehibe amin'ny jeometrika sy ny teorian'ny asa sarotra.
7. Fifandraisana amin'ny sehatra hafa
Tsy teoria abstract fotsiny ny famakafakana sarotra. Miely patrana amin'ny sehatra maro izy io:
1. Fizika: ny mekanika koantika, ny teoria momba ny saha, ary ny elektrodinamika dia mampiasa betsaka ny asa sarotra sy ny fiovan'ny Fourier/Laplace izay mifandray akaiky amin'ny fanadihadiana sarotra.
2. Teknika: ny famakafakana ny fizaran-tany elektrika (impedance) dia matetika soratana amin'ny isa sarotra; ny fanaraha-maso ny rafitra dia mampiasa ny fiovan'i Laplace izay manana fandikana sarotra.
3. Fikirakirana famantarana: mifandray akaiky amin'ny eksponensialy sarotra ny spektrum matetika sy ny fiovan'ny Fourier.
4. Matematika madio: ny teoria isa analitika, ohatra amin'ny alàlan'ny fiasa zeta Riemann, dia mampiasa teknika fanadihadiana sarotra handinihana ny fizarana ny isa voalohany.
8. Famaranana
Ny famakafakana sarotra dia manolotra fitambaran'ny hatsarana sy ny hery: ny hevitra toa tsotra toy ny isa sarotra dia tena mamokatra teoria voarafitra kokoa noho ny famakafakana tena izy. Ny fepetra takiana holomorphic dia mametraka toetra miavaka amin'ny asa, toy ny azo mivelatra amin'ny andian-kery, ny fanarahana ny teôrema integral matanjaka, ary ny fananana fifandraisana lalina amin'ny jeômetria amin'ny alàlan'ny sarintany conformal. Mandritra izany fotoana izany, ny fitaovana toy ny andian-dahatsoratra Laurent sy ny teôrema residue dia mahatonga ny kajy integral sarotra ho rafitra sy kanto kokoa.
Amin'ny farany, ny famakafakana sarotra dia tsy fandalinana fotsiny ny "isa foronina", fa fiteny azo ampiasaina amin'ny fomba maro samihafa mba hahatakarana ny rafitra matematika sy ny tranga voajanahary. Noho ny herin'ny teôrema ao aminy sy ny sakany fampiharana azy, ny famakafakana sarotra dia mbola iray amin'ireo sehatra manan-danja sy mampientam-po indrindra amin'ny matematika maoderina.
