Dadansoddiad Cymhleth mewn Mathemateg
Mae dadansoddi cymhleth yn gangen o fathemateg sy'n astudio ffwythiannau gyda rhifau cymhleth a'u priodweddau. Daeth rhifau cymhleth, a ysgrifennir fel arfer ar ffurf \(z = a + bi \) lle mae \(a\) a \(b\) yn rhifau real ac \(i^2 = -1\), i'r amlwg yn wreiddiol fel offeryn ar gyfer datrys hafaliadau cwadratig nad oes ganddynt wreiddiau real. Fodd bynnag, wrth i fathemateg ddatblygu, mae rhifau cymhleth wedi dod yn sylfaen bwysig i lawer o ddamcaniaethau modern—o ddadansoddi a ffiseg fathemategol i beirianneg a phrosesu signalau. Mae unigrywiaeth dadansoddi cymhleth yn gorwedd yn y ffaith bod gan ffwythiannau cymhleth "da" (dadansoddol) strwythur cryf iawn, fel bod llawer o ganlyniadau sy'n anodd mewn dadansoddiad real yn dod yn gain yn y byd cymhleth.
1. Rhifau cymhlyg a'u cynrychioliadau
Gellir cynrychioli rhifau cymhlyg mewn sawl ffurf. Y ffurf fwyaf cyffredin yw'r ffurf Gartesaidd \(z = x + iy\), lle mae \(x\) yn rhan real ac \(y\) yn rhan ddychmygol. Yn geometregol, gellir gweld rhifau cymhlyg fel pwyntiau yn y plân cymhlyg (neu'r plân Argand), gyda'r echelin lorweddol ar gyfer y rhan real a'r echelin fertigol ar gyfer y rhan ddychmygol.
Ar wahân i'r ffurf Cartesaidd, mae ffurf begynol ddefnyddiol iawn:
\[
z = r(cos₂ + i₂sin₂),
\]
gyda \(r = |z| = \sqrt{x^2+y^2}\) fel y modwlws a \(\theta\) fel y ddadl (yr ongl gyda'r echelin real). Yn aml, ysgrifennir y ffurf hon yn fwy cryno gan ddefnyddio fformiwla Euler:
\[
e^{i\theta} = \cos\theta + i\sin\theta,
\]
fel bod
\[
z = re^{i\theta}.
\]
Mae ffurf begynol yn symleiddio lluosi, rhannu, ac esboniad cymhlyg. Er enghraifft, os yw \(z_1 = r_1e^{i\theta_1}\) a \(z_2 = r_2e^{i\theta_2}\), yna \(z_1z_2 = r_1r_2e^{i(\theta_1+\theta_2)}\). Mae hyn yn egluro pam y gellir modelu cylchdroi a graddio yn naturiol gan ddefnyddio rhifau cymhlyg.
2. Swyddogaethau cymhleth a chysyniadau dadansoddol
Mewn dadansoddiad go iawn, nid yw ffwythiannau gwahaniaethadwy bob amser yn "berffaith reolaidd." Mewn cyferbyniad, mewn dadansoddiad cymhleth, mae'r gofynion gwahaniaethadwyedd yn llym iawn. Gelwir ffwythiant cymhleth \(f(z)\) yn wahaniaethadwy cymhleth yn y pwynt \(z_0\) os yw'r terfyn
\[
f'(z_0)=\lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0}
\]
yn bodoli ac mae ganddo'r un gwerth ar gyfer pob cyfeiriad agosáu at \(z \to z_0\). Gan fod \(z\) yn y plân dau ddimensiwn (real-ddychmygol), mae'r terfyn hwn yn llawer mwy cyfyngol na'r gwahaniaethol ar y llinell real.
Os yw ffwythiant cymhlyg yn wahanol ar barth agored, fe'i gelwir yn holomorffig. Os yw'n holomorffig yn y plân cymhlyg cyfan, fe'i gelwir yn gyfan (e^z, sin z, a polynomialau, er enghraifft). Un canlyniad annisgwyl: gellir ehangu ffwythiant holomorffig yn awtomatig fel cyfres bŵer (cyfres Taylor) o amgylch pwynt yn ei pharth. Mae hyn yn golygu bod "gwahanadwy cymhlyg" yn gyfwerth yn y bôn â "dadansoddol" yn yr ystyr o gyfres bŵer—ffenomen bwerus iawn.
3. Hafaliad Cauchy–Riemann
I ddeall pam mae gwahaniaethadwyedd cymhleth mor gryf, gallwn rannu ffwythiant cymhleth yn rhannau real a dychmygol.
\[
f(z)=u(x,y)+iv(x,y), z=x+iy.
\]
Amod angenrheidiol (ac mewn llawer o achosion hefyd yn ddigonol) i \(f\) fod yn holomorffig yw bod hafaliadau Cauchy-Riemann yn cael eu bodloni:
\[
\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}.
\]
Mae'r hafaliad hwn yn cysylltu'n dynn ddeilliadau rhannol \(u\) a \(v\). Mae ei oblygiadau'n ddwys: os yw \(u\) a \(v\) yn dda-wahanadwy ac yn bodloni priodwedd Cauchy-Riemann, yna mae \(f\) wedi'i strwythuro'n dda. Mewn gwirionedd, mae \(u\) a \(v\) yn aml yn gysylltiedig â chysyniadau ffisegol fel potensial a llif (e.e., mewn dynameg hylif delfrydol), gan y gall y ddau fod yn ffwythiannau harmonig.
4. Integralau cymhleth a theoremau sylfaenol
Mae dadansoddi cymhleth hefyd yn enwog am ei theori gain o integrynnau. Diffinnir yr integryn ar hyd llwybr (contwr) ar gyfer y ffwythiant \(f(z)\) ar y gromlin \(\gamma\) yn y plân cymhleth:
\[
\int_\gamma f(z)\,dz.
\]
Mewn cyferbyniad ag integrelau go iawn ar gyfnodau, mae integrelau cymhleth yn cynnwys llwybrau a all gromlinio, cylchdroi, neu hyd yn oed ffurfio dolenni.
Un o'r prif bileri yw Theorem Integral Cauchy: os yw \(f\) yn holomorffig ar barth "da" ac mae \(\gamma\) yn gromlin gaeedig yn y parth hwnnw, yna
\[
Mae \int_\gamma f(z)\,dz = 0.
\]
Roedd ei effaith yn enfawr: o'r theorem hwn, daeth llawer o ganlyniadau pwysig eraill i'r amlwg, gan gynnwys Fformiwla Integrol Cauchy sy'n nodi mai dim ond o werth y swyddogaeth ar ffin rhanbarth y gellir cyfrifo gwerth ffwythiant holomorffig mewn pwynt:
\[
f(z_0)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-z_0}\,dz.
\]
Mae'r fformiwla hon yn honni bod ffwythiant holomorffig yn cael ei "bennu" gan ei ymddygiad ar y ffin. Mae hefyd yn cynhyrchu'r ffaith y gellir mynegi pob deilliad o \(f^{(n)}(z_0)\) fel integrynnau, gan sicrhau gradd uchel iawn o reoleidd-dra ar gyfer ffwythiannau holomorffig.
5. Cyfres Laurent a gweddillion
Nid yw pob ffwythiant cymhleth yn llyfn dros y parth cyfan. Mae gan lawer o ffwythiannau bwyntiau unigol (e.e., \(1/z\) yn \(z=0\)). I ddadansoddi'r ymddygiad o amgylch unigoliaethau, defnyddir y gyfres Laurent:
\[
f(z) = \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n.
\]
Yn wahanol i gyfres Taylor sydd ond yn cynnwys esbonyddion annegatif, mae cyfres Laurent yn caniatáu esbonyddion negyddol sy'n cynrychioli'r rhan unigol.
Mae'r cyfernod \(a_{-1}\) yn y gyfres Laurent yn bwysig iawn ac fe'i gelwir yn weddillion . O'r cysyniad o weddillion daw'r Theorem Gweddillion , sy'n nodi y gellir cyfrifo integryn ffwythiant ar hyd cromlin gaeedig o swm yr unigrwyddau gweddilliol y tu mewn i'r gromlin:
\[
Mae \int_\gamma f(z)\,dz = 2\pi i \sum \text{Res}(f, z_k).
\]
Mae'r theorem hwn yn darparu offeryn pwerus ar gyfer cyfrifo integrelau real anodd, yn enwedig y rhai sy'n cynnwys ffwythiannau rhesymegol a thrigonometrig, trwy eu trawsnewid yn broblemau cymhleth.
6. Mapio cydffurfiol a chymwysiadau geometrig
Mae ffwythiannau holomorffig (gyda deilliadau nad ydynt yn sero) yn gydffurfiol, hynny yw, maent yn cadw onglau yn lleol. Mae hyn yn golygu bod ffwythiannau o'r fath yn mapio delltiau bach yn y plân cymhleth i delltiau eraill heb newid yr onglau y maent yn eu croestorri. Mae mapiau cydffurfiol yn ddefnyddiol iawn mewn geometreg a ffiseg, er enghraifft, i ddatrys problemau potensial trydanol neu lif hylif trwy drawsnewid parthau cymhleth yn rai symlach (megis mapio rhanbarth â ffin grwm i gylch).
Enghraifft glasurol yw trawsffurfiad Möbius:
\[
f(z) = \frac{az+b}{cz+d},
\]
gyda \(ad-bc\neq 0\). Mae'r trawsnewidiad hwn yn mapio llinellau a chylchoedd i linellau neu gylchoedd, ac mae'n chwarae rhan fawr mewn geometreg gymhleth a damcaniaeth ffwythiannau.
7. Perthynas â meysydd eraill
Nid dim ond damcaniaeth haniaethol yw dadansoddi cymhleth. Mae'n croesi llawer o ddisgyblaethau:
1. Ffiseg: mae mecaneg cwantwm, damcaniaeth maes, ac electrodynameg yn gwneud defnydd helaeth o ffwythiannau cymhleth a thrawsffurfiadau Fourier/Laplace sy'n gysylltiedig yn agos â dadansoddi cymhleth.
2. Techneg: mae dadansoddiad cylched drydanol (rhwystriant) yn aml yn cael ei ysgrifennu mewn rhifau cymhlyg; mae rheolaeth system yn defnyddio trawsffurfiadau Laplace sydd â dehongliadau cymhleth.
3. Prosesu signalau: mae sbectrwm amledd a thrawsffurfiad Fourier yn gysylltiedig yn agos ag esbonyddion cymhleth.
4. Mathemateg bur: mae damcaniaeth rhifau dadansoddol, er enghraifft trwy'r ffwythiant zeta Riemann, yn defnyddio technegau dadansoddi cymhleth i astudio dosraniad rhifau cysefin.
8. Casgliad
Mae dadansoddi cymhleth yn cynnig cyfuniad o harddwch a phŵer: mae cysyniadau syml i bob golwg fel rhifau cymhleth mewn gwirionedd yn cynhyrchu damcaniaeth sydd llawer mwy strwythuredig na dadansoddiad go iawn. Mae'r gofyniad holomorffig yn gosod priodweddau rhyfeddol ar ffwythiannau, megis bod yn ehanguadwy i gyfresi pŵer, ufuddhau i'r theorem integrol cryf, a chael cysylltiad dwfn â geometreg trwy fapiau cydymffurfiol. Yn y cyfamser, mae offer fel y gyfres Laurent a'r theorem gweddillion yn gwneud cyfrifiadau integrol cymhleth yn fwy systematig ac urddasol.
Yn y pen draw, nid dim ond astudiaeth o “rifau dychmygol” yw dadansoddi cymhleth, ond yn hytrach iaith amlbwrpas ar gyfer deall strwythurau mathemategol a ffenomenau naturiol. Oherwydd pŵer ei theoremau ac ehangder ei gymwysiadau, mae dadansoddi cymhleth yn parhau i fod yn un o feysydd pwysicaf a mwyaf cyffrous mathemateg fodern.
