Ìṣàyẹ̀wò Àkópọ̀ Nínú Ìṣirò
Ìṣàyẹ̀wò tó díjú jẹ́ ẹ̀ka ìṣirò tó ń kẹ́kọ̀ọ́ nípa àwọn nọ́mbà tó díjú àti àwọn ànímọ́ wọn. Àwọn nọ́mbà tó díjú, tí a sábà máa ń kọ ní ìrísí \( z = a + bi \) níbi tí \(a\) àti \(b\) jẹ́ àwọn nọ́mbà gidi àti \(i^2 = -1\), ti kọ́kọ́ farahàn gẹ́gẹ́ bí irinṣẹ́ fún yíyanjú àwọn ìdọ́gba onípele-ìpele tí kò ní gbòǹgbò gidi. Síbẹ̀síbẹ̀, bí ìṣirò ti ń dàgbàsókè, àwọn nọ́mbà tó díjú ti di ìpìlẹ̀ pàtàkì fún ọ̀pọ̀lọpọ̀ àwọn ìmọ̀ ìjìnlẹ̀ òde òní—láti ìṣàyẹ̀wò àti fisiksi mathimatiki sí ìmọ̀ ẹ̀rọ àti ìṣiṣẹ́ àmì. Àìlẹ́gbẹ́ ìṣàyẹ̀wò tó díjú wà ní òtítọ́ pé àwọn iṣẹ́ tó díjú “rere” (analytic) ní ìṣètò tó lágbára gan-an, débi pé ọ̀pọ̀ àwọn àbájáde tó ṣòro nínú ìṣàyẹ̀wò gidi di ohun tó dára ní ayé tó díjú.
1. Àwọn nọ́mbà onípele àti àwọn aṣojú wọn
Àwọn nọ́mbà onípele-ìpele ni a lè fi hàn ní onírúurú ọ̀nà. Fọ́ọ̀mù tí ó wọ́pọ̀ jùlọ ni fọ́ọ̀mù Cartesian \(z = x + iy\), níbi tí \(x\) jẹ́ apá gidi àti \(y\) jẹ́ apá ìrònú. Ní ti Jọ́mbà, a lè wo àwọn nọ́mbà onípele-ìpele gẹ́gẹ́ bí àwọn àmì nínú fọ́ọ̀mù onípele-ì ...
Yàtọ̀ sí ìrísí Cartesian, ìrísí pola kan wà tó wúlò gan-an:
\[
z = r(\cos\theta + i\sin\theta),
\]
pẹ̀lú \(r = |z| = \sqrt{x^2+y^2}\) gẹ́gẹ́ bí modulus àti \(\theta\) gẹ́gẹ́ bí àríyànjiyàn (igun pẹ̀lú àsìkò gidi). A sábà máa ń kọ fọ́ọ̀mù yìí ní ṣókí nípa lílo fọ́múlá Euler:
\[
e^{i\theta} = \cos\theta + i\sin\theta,
\]
nitorina
\[
z = re^{i\theta}.
\]
Fọ́ọ̀mù polar mú kí ìsọdipúpọ̀, ìpínkiri, àti àpèjúwe onípele rọrùn. Fún àpẹẹrẹ, tí \(z_1 = r_1e^{i\theta_1}\) àti \(z_2 = r_2e^{i\theta_2}\), nígbà náà \(z_1z_2 = r_1r_2e^{i(\theta_1+\theta_2)}\). Èyí ṣàlàyé ìdí tí a fi lè ṣe àwòkọ́ṣe yíyípo àti ìfúnpọ̀ nípa ti ara nípa lílo àwọn nọ́mbà onípele.
2. Awọn iṣẹ ti o ni idiju ati awọn imọran itupalẹ
Nínú ìṣàyẹ̀wò gidi, àwọn iṣẹ́ ìyàtọ̀ kìí sábà máa ń jẹ́ “déédéé pípé.” Ní ìyàtọ̀ sí èyí, nínú ìṣàyẹ̀wò dídíjú, àwọn ohun tí ìyàtọ̀ ń béèrè fún jẹ́ líle. Iṣẹ́ dídíjú \(f(z)\) ni a ń pè ní ìṣàfihàn dídíjú ní ojú ìwé \(z_0\) tí ó bá jẹ́ pé ààlà náà ni
\[
f'(z_0)=\lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0}
\]
wà, ó sì ní iye kan náà fún gbogbo ìtọ́sọ́nà sí \(z \to z_0\). Níwọ̀n ìgbà tí \(z\) wà ní ìpele onípele méjì (ojúlówó-àròjinlẹ̀), ààlà yìí ní ìdènà púpọ̀ ju ìyàtọ̀ lórí ìlà gidi lọ.
Tí iṣẹ́ tó díjú bá jẹ́ ìyàtọ̀ lórí domain tó ṣí sílẹ̀, a máa ń pè é ní holomorphic. Tí ó bá jẹ́ holomorphic nínú gbogbo plane complex, a máa ń pè é ní gbogbo (e^z, sin z, àti polynomials, fún àpẹẹrẹ). Àbájáde kan tó yani lẹ́nu: iṣẹ́ holomorphic kan lè fẹ̀ sí i láìfọwọ́sí gẹ́gẹ́ bí power series ( Taylor series ) ní àyíká point kan nínú domain rẹ̀. Èyí túmọ̀ sí wípé “complex diffectiable diffectiable” dọ́gba pẹ̀lú “analytic” ní ìtumọ̀ power series—ohun tó lágbára gan-an.
3. Ìṣirò Cauchy-Riemann
Láti lóye ìdí tí ìyàtọ̀ tó díjú fi lágbára tó bẹ́ẹ̀, a lè pín iṣẹ́ tó díjú sí àwọn apá gidi àti àwọn apá àròjinlẹ̀.
\[
f(z)=u(x,y)+iv(x,y), \quad z=x+iy.
\]
Àdéhùn pàtàkì (àti ní ọ̀pọ̀lọpọ̀ ìgbà tó tó) fún \(f\) láti jẹ́ holomorphic ni pé a ti ṣe ìtẹ́lọ́rùn àwọn ìṣirò Cauchy-Riemann:
\[
\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.
\]
Ìgbékalẹ̀ yìí so àwọn ohun tí ó jẹ́ àkójọpọ̀ ìpín ti \(u\) àti \(v\) pọ̀ dáadáa. Àwọn ìtumọ̀ rẹ̀ jinlẹ̀: tí \(u\) àti \(v\) bá jẹ́ ìyàtọ̀ tí ó dára tí wọ́n sì tẹ́ ohun ìní Cauchy–Riemann lọ́rùn, nígbà náà \(f\) jẹ́ ètò gíga. Ní tòótọ́, \(u\) àti \(v\) sábà máa ń ní í ṣe pẹ̀lú àwọn èrò ara bíi agbára àti ìṣàn (fún àpẹẹrẹ, nínú ìṣiṣẹ́ omi pípé), nítorí pé àwọn méjèèjì lè jẹ́ iṣẹ́ ìbáramu.
4. Àwọn ìṣọ̀kan tó díjú àti àwọn ìlànà ìpìlẹ̀
Ìṣàyẹ̀wò tó díjú tún lókìkí fún ìmọ̀ rẹ̀ tó lẹ́wà nípa àwọn ohun tó para pọ̀ di ìṣọ̀kan. A túmọ̀ ohun tó para pọ̀ di ìṣọ̀kan ní ojú ọ̀nà kan (contour) fún iṣẹ́ \(f(z)\) lórí ìlà \(\gamma\) nínú ìlà tó para pọ̀ di ìṣọ̀kan:
\[
\int_\gamma f(z)\,dz.
\]
Ní ìyàtọ̀ sí àwọn ìṣọ̀kan gidi lórí àwọn àkókò, àwọn ìṣọ̀kan dídíjú ní àwọn ipa ọ̀nà tí ó lè tẹ̀, yípo, tàbí kódà ṣe àwọn ìlọ́po.
Ọ̀kan lára àwọn òpó pàtàkì ni Ìmọ̀ràn Cauchy Integral: tí \(f\) bá jẹ́ holomorphic lórí agbègbè “rere” àti \(\gamma\) jẹ́ ìlà tí a ti pa ní agbègbè náà, nígbà náà, nígbà náà
\[
\int_\gamma f(z)\,dz = 0.
\]
Ipa rẹ̀ pọ̀ gidigidi: láti inú ìlànà yìí, ọ̀pọ̀lọpọ̀ àwọn àbájáde pàtàkì mìíràn yọ jáde, títí kan Cauchy Integral Formula tí ó sọ pé iye iṣẹ́ holomorphic kan ní àyè kan ni a lè ṣírò láti inú iye iṣẹ́ náà ní ààlà agbègbè kan nìkan:
\[
f(z_0)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-z_0}\,dz.
\]
Fọ́múlá yìí sọ pé iṣẹ́ holomorphic kan jẹ́ “ìpinnu” nípa ìwà rẹ̀ lórí ààlà. Ó tún mú kí ó dá wa lójú pé gbogbo àwọn ohun tí ó yọrí sí \(f^{(n)}(z_0)\) ni a lè fi hàn gẹ́gẹ́ bí àwọn ohun tí a ti ṣe àkójọpọ̀, èyí sì ń mú kí ó dájú pé iṣẹ́ holomorphic náà máa ń déédé.
5. Awọn jara Laurent ati awọn iyokù
Kìí ṣe gbogbo iṣẹ́ dídíjú ló rọrùn lórí gbogbo agbègbè náà. Ọ̀pọ̀ iṣẹ́ ló ní àwọn àmì kan ṣoṣo (fún àpẹẹrẹ, \(1/z\) ní \(z=0\)). Láti ṣàyẹ̀wò ìwà tó wà ní àyíká àwọn ẹ̀yà, a lo àwọn Laurent series:
\[
f(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n.
\]
Láìdàbí àwọn ìlà Taylor tí ó ní àwọn àmì-ẹ̀rọ tí kìí ṣe òdì, ìlà Laurent gba àwọn àmì-ẹ̀rọ tí kìí ṣe òdì tí ó dúró fún apá kan ṣoṣo.
Àkójọpọ̀ \(a_{-1}\) nínú ìlà Laurent ṣe pàtàkì púpọ̀, a sì ń pè é ní àkójọpọ̀. Láti inú èrò ìyókù ni Ìlànà Ìyókù ti wá, èyí tí ó sọ pé a lè ṣírò àpapọ̀ iṣẹ́ kan ní ẹ̀gbẹ́ ìlà tí a ti sé mọ́ láti inú àròpọ̀ àwọn ẹ̀yà ara tí ó wà nínú ìlà náà:
\[
\int_\gamma f(z)\,dz = 2\pi i \sum \text{Res}(f, z_k).
\]
Ìlànà yìí pèsè irinṣẹ́ tó lágbára fún ṣíṣírò àwọn ìṣọ̀kan gidi tó ṣòro, pàápàá jùlọ àwọn tó ní í ṣe pẹ̀lú iṣẹ́ onínúure àti trigonometric, nípa yíyí wọn padà sí àwọn ìṣòro tó díjú.
6. Ṣíṣe àwòrán oníbàárà àti àwọn ohun èlò onígun mẹ́rin
Àwọn iṣẹ́ Holomorphic (pẹ̀lú àwọn ìtọ́kasí tí kò ní òdo) jẹ́ conformal, ìyẹn ni pé, wọ́n ń pa àwọn igun mọ́ ní agbègbè. Èyí túmọ̀ sí wípé irú àwọn iṣẹ́ bẹ́ẹ̀ máa ń ṣe àfihàn àwọn lattices kékeré nínú plane complex plane sí àwọn lattices mìíràn láìyí àwọn igun tí wọ́n ń pààlà. Àwọn mapping conformal wúlò gan-an nínú geometry àti fisiksi, fún àpẹẹrẹ, láti yanjú àwọn ìṣòro agbára iná mànàmáná tàbí ìṣàn omi nípa yíyí àwọn agbègbè complex padà sí àwọn tí ó rọrùn (bíi àwòrán agbègbè kan pẹ̀lú ààlà onítẹ̀ sí circle).
Àpẹẹrẹ àgbáyé ni ìyípadà Möbius:
\[
f(z)=\frac{az+b}{cz+d},
\]
pẹ̀lú \(ad-bc\neq 0\). Ìyípadà yìí máa ń fi àwọn ìlà àti àwọn yíká sí àwọn ìlà tàbí àwọn yíká, ó sì ń kó ipa pàtàkì nínú ìṣètò onípele àti ìṣiṣẹ́.
7. Ìbáṣepọ̀ pẹ̀lú àwọn ẹ̀ka mìíràn
Ìṣàyẹ̀wò tó díjú kì í ṣe èrò àròjinlẹ̀ lásán. Ó gbòòrò sí ọ̀pọ̀lọpọ̀ ẹ̀ka ẹ̀kọ́:
1. Fisiksi: awọn ẹrọ imọ-ẹrọ kuatomu, imọran aaye, ati awọn agbara inaro-ẹrọ lo awọn iṣẹ ti o ni idiju pupọ ati awọn iyipada Fourier/Laplace ti o ni ibatan pẹkipẹki pẹlu itupalẹ idiju.
2. Ìmọ̀-ẹ̀rọ: a sábà máa ń kọ ìwádìí àyíká iná mànàmáná (impedance) ní àwọn nọ́mbà onípele; ìṣàkóso ètò ń lo àwọn ìyípadà Laplace tí ó ní àwọn ìtumọ̀ dídíjú.
3. Ìṣiṣẹ́ àmì: ìpele ìpele ìpele ìpele ìpele àti ìyípadà Fourier ní ìbáṣepọ̀ pẹ̀lú àwọn exponentials onípele.
4. Ìṣirò mímọ́: Ìmọ̀ nípa nọ́mbà onínáwòrán, fún àpẹẹrẹ nípasẹ̀ iṣẹ́ Riemann zeta, lo àwọn ọ̀nà ìṣàyẹ̀wò dídíjú láti kẹ́kọ̀ọ́ nípa ìpínkiri àwọn nọ́mbà àkọ́kọ́.
8. Ìparí
Àgbéyẹ̀wò tó díjú ń fúnni ní àpapọ̀ ẹwà àti agbára: àwọn èrò tó dàbí èyí tó rọrùn bíi nọ́mbà tó díjú ń mú èrò tó dára ju ìwádìí gidi lọ jáde. Àṣẹ holomorphic náà ń gbé àwọn ànímọ́ àrà ọ̀tọ̀ kalẹ̀ lórí àwọn iṣẹ́, bíi jíjẹ́ kí a lè fẹ̀ sí i sínú ìlà agbára, gbígbọ́ràn sí ìlànà tó lágbára, àti níní ìsopọ̀ jíjinlẹ̀ pẹ̀lú àwòrán onípele nípasẹ̀ àwọn àwòrán onípele. Ní àkókò kan náà, àwọn irinṣẹ́ bíi Laurent series àti theorem residue ń mú kí àwọn ìṣirò tó díjú túbọ̀ wà ní ọ̀nà tó tọ́ àti tó lẹ́wà.
Níkẹyìn, ìṣàyẹ̀wò tó díjú kìí ṣe ìkẹ́kọ̀ọ́ “àwọn nọ́mbà àròjinlẹ̀” nìkan, ṣùgbọ́n èdè tó wọ́pọ̀ fún òye àwọn ìṣètò ìṣirò àti àwọn ìṣẹ̀lẹ̀ àdánidá. Nítorí agbára àwọn ìlànà rẹ̀ àti bí ó ṣe gbòòrò sí i, ìṣàyẹ̀wò tó díjú ṣì jẹ́ ọ̀kan lára àwọn agbègbè tó ṣe pàtàkì jùlọ àti tó wúni lórí nínú ìṣirò òde òní.
