Bincike Mai Tsauri a Lissafi
Bincike mai rikitarwa wani reshe ne na lissafi wanda ke nazarin ayyuka tare da lambobi masu rikitarwa da halayensu. Lambobi masu rikitarwa, waɗanda galibi ake rubuta su a cikin siffar \(z = a + bi \) inda \(a\) da \(b\) lambobi ne na gaske kuma \(i^2 = -1\), sun fara bayyana a matsayin kayan aiki don warware daidaiton kwatancen kwatance waɗanda ba su da tushe na gaske. Duk da haka, yayin da lissafi ya bunƙasa, lambobi masu rikitarwa sun zama muhimmin tushe ga ka'idoji na zamani da yawa - daga bincike da kimiyyar lissafi zuwa injiniyanci da sarrafa sigina. Keɓancewar bincike mai rikitarwa ta ta'allaka ne akan gaskiyar cewa ayyuka masu rikitarwa na "kyawawan" (nazarin) suna da tsari mai ƙarfi, don haka sakamako da yawa waɗanda ke da wahala a cikin bincike na gaske suna zama masu kyau a cikin duniyar rikitarwa.
1. Lambobi masu rikitarwa da wakilcinsu
Ana iya wakiltar lambobi masu rikitarwa ta hanyoyi da dama. Siffa mafi yawan gaske ita ce siffar Cartesian \(z = x + iy\), inda \(x\) shine ainihin ɓangaren kuma \(y\) shine ɓangaren tunani. A fannin lissafi, ana iya kallon lambobi masu rikitarwa a matsayin maki a cikin jirgin sama mai rikitarwa (ko jirgin Argand), tare da axis na kwance don ainihin ɓangaren da kuma axis na tsaye don ɓangaren tunani.
Baya ga siffar Cartesian, akwai nau'in polar mai amfani sosai:
\[
z = r(\cos\theta + i\sin\theta),
\]
tare da \(r = |z| = \sqrt{x^2+y^2}\) a matsayin modules da \(\theta\) a matsayin hujja (kusurwar da ke da ainihin axis). Sau da yawa ana rubuta wannan tsari a taƙaice ta amfani da dabarar Euler:
\[
e^{i\theta} = \cos\theta + i\sin\theta,
\]
sehinga
\[
z = re^{i\theta}.
\]
Siffar polar tana sauƙaƙa ninkawa, rabawa, da kuma bayyanawa mai rikitarwa. Misali, idan \(z_1 = r_1e^{i\theta_1}\) da \(z_2 = r_2e^{i\theta_2}\), to \(z_1z_2 = r_1r_2e^{i(\theta_1+\theta_2)}\). Wannan ya bayyana dalilin da yasa za a iya yin kwaikwayon juyawa da sikelin ta hanyar halitta ta amfani da lambobi masu rikitarwa.
2. Ayyuka masu rikitarwa da ra'ayoyin nazari
A zahirin bincike, ayyukan da za a iya bambancewa ba koyaushe suke "daidai da na yau da kullun ba." Sabanin haka, a cikin bincike mai rikitarwa, buƙatun bambancewa suna da tsauri sosai. Ana kiran aikin mai rikitarwa \(f(z)\) mai rikitarwa mai bambancewa a wurin \(z_0\) idan iyaka
\[
f'(z_0)=\lim_{z\zu_0}\frac{f(z)-f(z_0)}{z-z_0}
\]
yana wanzuwa kuma yana da ƙima iri ɗaya ga duk alkiblar kusanci zuwa ga \(z \to z_0 \). Tunda \(z \) yana cikin tsarin girma biyu (na gaske-na tunani), wannan iyaka ta fi ƙuntatawa fiye da bambancin da ke kan layin gaske.
Idan aikin hadadden abu yana da bambanci a kan wani yanki na bude, ana kiransa holomorphic. Idan holomorphic ne a cikin dukkan tsarin hadadden abu, ana kiransa cikakke (misali e^z, sin z, da polynomials). Wani sakamako mai ban mamaki: ana iya fadada aikin holomorphic ta atomatik azaman jerin iko (jerin Taylor) a kusa da wani wuri a cikin yankinsa. Wannan yana nufin cewa "mai rikitarwa mai bambancewa" yayi daidai da "nazari" a ma'anar jerin iko - wani abu mai karfi sosai.
3. Lissafin Cauchy-Riemann
Domin mu fahimci dalilin da yasa bambance-bambance masu rikitarwa suke da ƙarfi, za mu iya raba wani aiki mai rikitarwa zuwa sassa na gaske da na tunani.
\[
f(z)=u(x,y)+iv(x,y), \quad z=x+iy.
\]
Sharaɗin da ya zama dole (kuma a lokuta da yawa ya isa) don \(f\) ya zama holomorphic shine cewa an cika daidaiton Cauchy-Riemann:
\[
\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.
\]
Wannan lissafi yana da alaƙa sosai da ɓangarorin da suka samo asali daga \(u\) da \(v\). Ma'anarsa tana da zurfi: idan \(u\) da \(v\) suna da bambanci sosai kuma sun gamsar da kadarar Cauchy-Riemann, to \(f\) tsari ne mai kyau. A gaskiya ma, \(u\) da \(v\) galibi suna da alaƙa da ra'ayoyin zahiri kamar yuwuwar da kwarara (misali, a cikin yanayin ruwa mai kyau), tunda duka biyun na iya zama ayyukan jituwa.
4. Haɗaɗɗun abubuwa masu rikitarwa da ka'idoji na asali
Binciken mai rikitarwa kuma ya shahara saboda kyawun ka'idar haɗakar abubuwa. An bayyana haɗin da ke kan hanya (contour) don aikin \(f(z)\) akan lanƙwasa \(\gamma\) a cikin yanayin haɗakar abubuwa:
\[
\int_\gamma f(z)\,dz.
\]
Sabanin ainihin haɗin gwiwa akan tazara, haɗin gwiwa masu rikitarwa sun haɗa da hanyoyi waɗanda zasu iya lanƙwasa, juyawa, ko ma samar da madaukai.
Ɗaya daga cikin manyan ginshiƙai shine Ka'idar Cauchy Integral: idan \(f\) holomorphic ne akan yankin "mai kyau" kuma \(\gamma\) shine lanƙwasa a cikin wannan yanki, to, to
\[
\int_\gamma f(z)\,dz = 0.
\]
Tasirinsa ya yi yawa: daga wannan ka'idar, wasu muhimman sakamako da yawa sun fito, ciki har da Tsarin Cauchy Integral wanda ya bayyana cewa ƙimar aikin holomorphic a wani wuri za a iya ƙididdige ta ne kawai daga ƙimar aikin da ke kan iyakar yanki:
\[
f(z_0)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-z_0}\,dz.
\]
Wannan dabarar tana tabbatar da cewa aikin holomorphic yana "ƙaddamar" ta hanyar halayensa a kan iyaka. Hakanan yana ba da gaskiyar cewa duk abubuwan da suka samo asali na \(f^{(n)}(z_0)\) za a iya bayyana su a matsayin abubuwan haɗin gwiwa, don haka yana tabbatar da babban matakin daidaito ga ayyukan holomorphic.
5. Jerin Laurent da ragowar
Ba duk ayyuka masu rikitarwa ba ne suke da santsi a kan dukkan yankin. Ayyuka da yawa suna da maki ɗaya tilo (misali, \(1/z\) a \(z=0\)). Don yin nazarin halayen da ke kewaye da singularities, ana amfani da jerin Laurent:
\[
f(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n.
\]
Ba kamar jerin Taylor ba wanda ya ƙunshi ƙarin lambobi marasa kyau kawai, jerin Laurent yana ba da damar ƙarin lambobi marasa kyau waɗanda ke wakiltar ɓangaren guda ɗaya.
Ma'aunin \(a_{-1}\) a cikin jerin Laurent yana da matuƙar muhimmanci kuma ana kiransa da ragowar. Daga ra'ayin ragowar ya zo da Ka'idar Ragewa, wanda ke nuna cewa haɗin aikin da ke kan lanƙwasa mai rufewa za a iya ƙididdige shi daga jimlar singularities da suka rage a cikin lanƙwasa:
\[
\int_\gamma f(z)\,dz = 2\pi i \sum \text{Res}(f, z_k).
\]
Wannan ka'idar tana samar da kayan aiki mai ƙarfi don ƙididdige haɗakar abubuwa masu wahala, musamman waɗanda suka shafi ayyukan hankali da na trigonometric, ta hanyar canza su zuwa matsaloli masu rikitarwa.
6. Taswirar da ta dace da kuma aikace-aikacen geometric
Ayyukan Holomorphic (tare da abubuwan da ba sifili ba) suna da tsari, wato, suna kiyaye kusurwoyi a cikin gida. Wannan yana nufin cewa irin waɗannan ayyuka suna tsara ƙananan layuka a cikin sararin hadaddun zuwa wasu layuka ba tare da canza kusurwoyin da suka haɗu ba. Taswirorin da suka dace suna da matukar amfani a fannin lissafi da kimiyyar lissafi, misali, don magance matsalolin yuwuwar wutar lantarki ko kwararar ruwa ta hanyar canza yankuna masu rikitarwa zuwa masu sauƙi (kamar taswirar yanki mai iyaka mai lanƙwasa zuwa da'ira).
Misali na gargajiya shine canjin Möbius:
\[
f(z)=\frac{az+b}{cz+d},
\]
tare da \(ad-bc\neq 0\). Wannan canjin yana taswirar layuka da da'irori zuwa layuka ko da'irori, kuma yana taka muhimmiyar rawa a cikin ka'idar lissafi mai rikitarwa da aiki.
7. Alaƙa da wasu fannoni
Bincike mai sarkakiya ba wai kawai ka'idar da ba a iya fahimta ba ce. Ya ƙunshi fannoni da dama:
1. Ilimin Lissafi: makanikan kwantum, ka'idar filin, da kuma electrodynamics suna amfani da ayyuka masu rikitarwa da kuma canjin Fourier/Laplace waɗanda ke da alaƙa da bincike mai rikitarwa.
2. Dabaru: Ana rubuta nazarin da'irar lantarki (impedance) sau da yawa cikin lambobi masu rikitarwa; sarrafa tsarin yana amfani da Laplace transforms waɗanda ke da fassarori masu rikitarwa.
3. Sarrafa sigina: mitar mita da Fourier transform suna da alaƙa ta kut-da-kut da hadaddun ma'auni.
4. Tsarkakken lissafi: ka'idar lambar nazari, misali ta hanyar aikin Riemann zeta, tana amfani da dabarun bincike masu rikitarwa don nazarin rarraba lambobin farko.
8. Kammalawa
Binciken rikitarwa yana ba da haɗin kyau da iko: ra'ayoyi masu sauƙi kamar lambobi masu rikitarwa a zahiri suna samar da ka'ida mafi tsari fiye da ainihin bincike. Bukatar holomorphic tana sanya halaye na musamman akan ayyuka, kamar faɗaɗa su cikin jerin iko, bin ƙa'idar haɗin gwiwa mai ƙarfi, da kuma samun haɗin kai mai zurfi zuwa ga lissafi ta hanyar taswirar tsari. A halin yanzu, kayan aiki kamar jerin Laurent da ka'idar residue suna sa lissafin haɗin gwiwa masu rikitarwa ya fi tsari da kyau.
A ƙarshe, bincike mai sarkakiya ba wai kawai nazarin "lambobin tunani" ba ne, a'a, harshe ne mai amfani don fahimtar tsarin lissafi da abubuwan da suka faru na halitta. Saboda ƙarfin ka'idojinsa da faɗin aikace-aikacensa, bincike mai sarkakiya ya kasance ɗaya daga cikin mahimman fannoni da ban sha'awa na ilimin lissafi na zamani.
