Kí ni Ìbáṣepọ̀ Àyàtọ̀ Apá kan?
Àwọn ìṣètò ìyàtọ̀ díẹ̀ (PDEs) jẹ́ kókó pàtàkì nínú ìmọ̀ ìṣirò tí a lò, tí a sábà máa ń lò láti ṣe àwòkọ́ṣe onírúurú ìṣẹ̀lẹ̀ àdánidá àti ìlànà ìmọ̀ ẹ̀rọ. Tí a bá fẹ́ mọ bí ìgbóná ṣe ń tàn káàkiri ohun kan, bí ìgbì omi ṣe ń tàn káàkiri lórí okùn, tàbí bí omi ṣe ń ṣàn nínú páìpù, ó ṣeé ṣe kí a pàdé àwọn ìṣètò ìyàtọ̀ díẹ̀. Àpilẹ̀kọ yìí jíròrò ìtumọ̀ wọn, ìrísí gbogbogbòò, irú, àpẹẹrẹ, àti lílo ìgbésí ayé gidi.
Lílóye Àwọn Ìdọ́gba Ìyàtọ̀ Apá kan
Ní ṣókí, ìṣètò ìyàtọ̀ díẹ̀ jẹ́ ìṣètò kan tí ó ní ìṣètò iṣẹ́ kan nínú ní ìbámu pẹ̀lú ju ìṣètò òmìnira kan lọ. Láìdàbí àwọn ìṣètò ìyàtọ̀ lásán (ODEs), tí ó ní àwọn ìṣètò pẹ̀lú ìṣètò kan ṣoṣo (fún àpẹẹrẹ, àkókò), PDI kan máa ń dìde nígbà tí ipò kan bá gbára lé àwọn ìṣètò méjì tàbí jù bẹ́ẹ̀ lọ, bíi àyè àti àkókò, ní àkókò kan náà.
Fún àpẹẹrẹ, ká sọ pé a ní iṣẹ́ ìgbóná \(u(x,t)\) lórí ọ̀pá irin kan: ìwọ̀n ìgbóná máa ń yípadà ní ìbámu pẹ̀lú ipò \(x\) àti àkókò \(t\). Tí a bá fẹ́ ṣàlàyé ìbáṣepọ̀ ìyípadà ìgbóná pẹ̀lú ààyè àti àkókò, a ó lo àwọn ohun tí a fi díẹ̀ ṣe àtúnṣe bíi:
\[
\frac{\partial u}{\partial t}, \quad \frac{\partial u}{\partial x}, \quad \frac{\partial^2 u}{\partial x^2}
\]
Nítorí pé ó ní àwọn ohun tí a fi ṣe àtúnṣe díẹ̀ nínú rẹ̀, a ń pe ìgbékalẹ̀ yìí ní “ìyàtọ̀ díẹ̀”.
Kí ló dé tí àwọn ohun tí a fi ń ṣe àtúnṣe apá kan ṣe pàtàkì?
A máa ń lo àwọn ohun tí a fi ṣe àtúnṣe apá kan nígbà tí iṣẹ́ kan bá da lórí ohun tí ó ju onírúurú kan lọ, a sì fẹ́ mọ ìwọ̀n ìyípadà iṣẹ́ náà ní ìbámu pẹ̀lú ọ̀kan lára àwọn ohun tí a fi ṣe àtúnṣe nígbà tí a bá ń mú àwọn ohun tí a fi ṣe àtúnṣe mìíràn. Fún àpẹẹrẹ, nínú \(u(x,y)\), ohun tí a fi ṣe àtúnṣe apá kan ní ìbámu pẹ̀lú \(x\) fi ìyípadà nínú \(u\) hàn nígbà tí \(x\) bá yípadà, ṣùgbọ́n \(y\) dúró ní ìbámu.
Nínú ọ̀ràn fisiksi àti ìmọ̀ ẹ̀rọ, èyí ṣe pàtàkì nítorí pé ọ̀pọ̀lọpọ̀ ètò ayé gidi ni a ní ipa lórí ní àkókò kan náà. Ìtanka ooru sinmi lórí ipò àti àkókò; ìyípadà omi sinmi lórí àwọn ìṣọ̀kan mẹ́ta ti ààyè àti àkókò; àti àwọn pápá iná mànàmáná àti mànàmáná sinmi lórí ààyè àti àkókò.
Fọọmu Gbogbogbo ti Awọn Idogba Iyatọ Apakan
Ìrísí PDP yàtọ̀ síra gidigidi, ṣùgbọ́n ní gbogbogbòò a lè kọ ọ́ gẹ́gẹ́ bí:
\[
F\left(x_1, x_2, \dots, x_n, u, \frac{\partial u}{\partial x_1}, \dots, \frac{\partial u}{\partial x_n},
\frac{\partial^2 u}{\partial x_i \partial x_j}, \dots \right)=0
\]
Níbí, \(u\) ni iṣẹ́ àìmọ̀ (iṣẹ́ tí a ó yanjú fún), nígbàtí \(x_1, x_2, \dots, x_n\) jẹ́ àwọn oníyípadà aláìdádúró (fún àpẹẹrẹ, ààyè àti àkókò). Ìgbékalẹ̀ náà lè ní àwọn ohun tí a fi ṣe àtúnṣe ìpín àkọ́kọ́, ìkejì, tàbí gíga jùlọ.
Ni afikun, a le pin PDP si awọn wọnyi:
– Ìlànà: tí \(u\) àti àwọn ìtọ́kasí rẹ̀ bá farahàn ní ìlà (kò gbé e sókè sí agbára, kò ní sọ ọ́ di púpọ̀ nípasẹ̀ àwọn ìtọ́kasí mìíràn, bẹ́ẹ̀ ni kò sì ní wọ inú àwọn iṣẹ́ tí kì í ṣe ti ìlà).
– Àìsí ìlà: tí àwọn ohun èlò tí kìí ṣe ìlà bá wà bíi \((\partial u/\partial x)^2\), \(u^2\), tàbí \(\sin(u)\).
Ìlànà yìí ṣe pàtàkì nítorí pé ó rọrùn láti ṣàyẹ̀wò àwọn PDP tí wọ́n wà ní ìlà, wọ́n sì ní àwọn ọ̀nà ìṣàtúnṣe tí ó ti wà tẹ́lẹ̀.
Ìtòlẹ́sẹẹsẹ Àwọn Ìbáṣepọ̀ Ìyàtọ̀ Apá kan
A pinnu ìtòlẹ́sẹẹsẹ PDP nípasẹ̀ ìpele tó ga jùlọ tí ó farahàn nínú ìforúkọsílẹ̀ náà.
– Àṣẹ àkọ́kọ́: ó ní ìpín àkọ́kọ́ tí a ti ṣe àtúnṣe rẹ̀ nìkan, fún àpẹẹrẹ:
\[
\frac{\partial u}{\partial t} + c\frac{\partial u}{\partial x}=0
\]
– Àṣẹ kejì: ní ìpín kejì tó jẹ́ àtúnṣe, fún àpẹẹrẹ:
\[
\frac{\partial u}{\partial t} = k \frac{\partial^2 u}{\partial x^2}
\]
Ọpọlọpọ awọn idogba fisiksi pataki ni awọn PDE-keji.
Àwọn ìpele mẹ́ta ti àwọn ẹgbẹ́ PDP: Elliptic, Parabolic, àti Hyperbolic
Nínú àwọn PDP onípele kejì, àwọn ìpínsísọ tí a mọ̀ dáadáa wà, àwọn bíi elliptic, parabolic, àti hyperbolic. Àwọn ìpínsísọsọ wọ̀nyí ní ipa lórí ìrísí àwọn ìdáhùn àti ọ̀nà tí a fi ń yanjú wọn.
1. Elliptic
Àpẹẹrẹ tó gbajúmọ̀ jùlọ ni ìṣètò Laplace:
\[
\frac{\partial^2 u}{\partial x^2}+\frac{\partial^2 u}{\partial y^2}=0
\]
Àwọn PDP onígbà díẹ̀ sábà máa ń farahàn ní àwọn ipò “tí ó dúró” tàbí tí ó wà ní ìwọ̀ntúnwọ̀nsì, fún àpẹẹrẹ ìpínkiri agbára iná mànàmáná ní ààyè láìyípadà bí àkókò ti ń lọ.
2. Parabolic
Àpẹẹrẹ pàtàkì ni ìṣètò ooru:
\[
\frac{\partial u}{\partial t}=k\frac{\partial^2 u}{\partial x^2}
\]
Àwòrán PDP tó ń ṣàfihàn ìlànà ìtànkálẹ̀ tàbí ìtànkálẹ̀, bí ooru, kẹ́míkà, tàbí àwọn ènìyàn.
3. Àìbáradé
Àpẹẹrẹ tó gbajúmọ̀ jùlọ ni ìṣètò ìgbì:
\[
\frac{\partial^2 u}{\partial t^2}=c^2\frac{\partial^2 u}{\partial x^2}
\]
Àwòrán ìgbì omi Hyperbolic PDP ni ó ń ṣe àwòkọ́ṣe ìtànkálẹ̀ àwọn ìgbì omi, bí ìgbì omi lórí okùn, ìró, tàbí ìgbì iná mànàmáná.
Àwọn àpẹẹrẹ ti Àwọn Ìdọ́gba Ìyàtọ̀ Apá kan nínú Ìgbésí Ayé Gidi
Láti jẹ́ kí ó wúlò síi, àwọn àpẹẹrẹ díẹ̀ lára àwọn ohun èlò ìṣiṣẹ́ PDP tí a sábà máa ń rí nìyí:
1. Itankale ooru ninu awọn ohun elo
Àwọn onímọ̀ ẹ̀rọ máa ń lo àwọn ìlànà ooru láti sọ àsọtẹ́lẹ̀ bí ìwọ̀n otútù ṣe ń tàn kálẹ̀ nípasẹ̀ àwọn ẹ̀rọ, àwọn ẹ̀yà ẹ̀rọ itanna, tàbí àwọn ohun èlò ìkọ́lé. Èyí ṣe pàtàkì fún ṣíṣe àgbékalẹ̀ ìtútù àti dídènà ìbàjẹ́ láti inú ìgbóná.
2. Àwọn ìgbì omi àti àwọn ìgbọ̀nsẹ̀
A lo awọn idogba igbi ninu imọ-ẹrọ ilu (fun apẹẹrẹ, itupalẹ gbigbọn afárá), acoustics (itankale ohun), ati iwariri ilẹ (awọn igbi ilẹ).
3. Àwọn omi àti ojú ọjọ́
Ṣíṣe àwòṣe ìṣàn omi ní àwọn ètò PDP tó díjú bíi ti Navier–Stokes. Àwọn àsọtẹ́lẹ̀ nípa ojú ọjọ́, ìṣàn omi òkun, àti ìrúkèrúdò afẹ́fẹ́ sinmi lórí ọ̀nà tí a gbà ń lo àwọn ìṣètò wọ̀nyí.
4. Isuna owo oniyebiye
Nínú ìmọ̀ ìṣúná owó, ìlànà Black–Scholes fún iye owó àṣàyàn jẹ́ PDP tí ó níí ṣe pẹ̀lú àkókò, iye owó dúkìá, ìyípadà, àti àwọn nǹkan mìíràn.
5. Ìmọ̀ nípa ẹ̀dá àti ìṣègùn
A le ṣe àwòkọ́ ìtànkálẹ̀ àrùn, ìdàgbàsókè èèmọ́, àti ìtànkálẹ̀ oògùn nínú àsopọ̀ pẹ̀lú àwọn PDP tí ó ń ṣe àfihàn ìyípadà-ìṣe.
Kíkún PDP: Àwọn Ìlànà Àkọ́kọ́ àti Àwọn Ìlànà Ààlà
Láìdàbí àwọn ìdọ́gba aljebra lásán, èyí tí ó lè ní ojútùú kan ṣoṣo, àwọn PDE sábà máa ń ní ọ̀pọ̀lọpọ̀ ojútùú tí ó ṣeéṣe. Láti rí ojútùú tí ó bá ipò gidi mu, a sábà máa ń nílò:
– Ipò àkọ́kọ́: iye iṣẹ́ náà ní àkókò ìbẹ̀rẹ̀, fún àpẹẹrẹ \(u(x,0)=f(x)\).
– Ipò ààlà: ìṣe iṣẹ́ kan lórí ààlà ààyè kan, fún àpẹẹrẹ \(u(0,t)=0\) tàbí \(\frac{\partial u}{\partial x}(L,t)=0\).
Àpẹẹrẹ kan tó rọrùn: fún ọ̀pá gígùn \(0 \le x \le L\), a lè ní ìwọ̀n otútù àkọ́kọ́ kan àti pé a máa pa àwọn òpin ọ̀pá náà mọ́ ní ìwọ̀n otútù tí ó dúró ṣinṣin. Àpapọ̀ ìwọ̀n ìṣọ̀kan ooru + àwọn ipò ìbẹ̀rẹ̀ + àwọn ipò ààlà ń fa ìṣòro pípé.
Àwọn Ọ̀nà Láti Yanjú Àwọn Ìbáṣepọ̀ Àyàtọ̀ Apákan
Kìí ṣe gbogbo àwọn PDP ló ní ojútùú “ìlànà tí a ti pa” tí a lè kọ ní ṣókí. Ní gbogbogbòò, ọ̀pọ̀lọpọ̀ ọ̀nà ló wà:
1. Ọ̀nà ìṣàyẹ̀wò
Fún àpẹẹrẹ, ìpínyà àwọn oníyípadà, ìyípadà Fourier, ìyípadà Laplace, àti ọ̀nà ìwà (fún ìṣètò àkọ́kọ́).
2. Àwọn ọ̀nà nọ́mbà
Tí àwọn ìdáhùn onímọ̀-ẹ̀rọ bá ṣòro tàbí tí kò ṣeé ṣe, a máa lo àwọn ọ̀nà ìṣirò, bíi ìyàtọ̀ finite, finite element, àti finite volume methods. Àwọn ọ̀nà nọ́mbà ṣe pàtàkì gan-an nínú ìmọ̀-ẹ̀rọ àti ìṣàpẹẹrẹ sáyẹ́ǹsì òde òní.
3. Ọ̀nà tó dára
Nígbà míìrán, ohun tí a ń wá kì í ṣe irú ojútùú tí ó ṣe kedere, bí kò ṣe àwọn ànímọ́ rẹ̀: bóyá ojútùú náà dúró ṣinṣin, bóyá ìgbì omi mọnamọna wà, bóyá ojútùú náà rọrùn tàbí ó ní àwọn ohun tí ó yàtọ̀ síra, àti bẹ́ẹ̀ bẹ́ẹ̀ lọ.
Ipari
Àwọn ìṣètò ìyàtọ̀ apá kan (PDEs) jẹ́ àwọn irinṣẹ́ ìṣirò tó lágbára fún ṣíṣàpèjúwe àwọn ìyípadà nínú àwọn ètò tó sinmi lórí ọ̀pọ̀lọpọ̀ àwọn oníyípadà, pàápàá jùlọ ààyè àti àkókò. Àwọn ìṣètò ìyàtọ̀ apá kan (PDEs) ni a lè lò láti ṣe àwòkọ́ṣe ooru, ìgbì omi, ìṣàn omi, àwọn ìlànà ìtànkálẹ̀, àti àní ìṣiṣẹ́ àwọn ètò ọrọ̀ ajé àti ti ẹ̀dá. Bó tilẹ̀ jẹ́ pé ó sábà máa ń díjú tí ó sì máa ń ṣòro, àwọn PDE jẹ́ ìpìlẹ̀ pàtàkì fún ìmọ̀ sáyẹ́ǹsì, ìmọ̀ ẹ̀rọ, àti ìmọ̀ ẹ̀rọ òde òní, nítorí pé ọ̀pọ̀lọpọ̀ ìṣẹ̀lẹ̀ gidi ni a ṣàlàyé dáadáa nípasẹ̀ ìbáṣepọ̀ láàárín àwọn ìyípadà nínú ààyè àti àkókò.
Tí o bá fẹ́, mo tún lè fi àwọn àpẹẹrẹ tó rọrùn nípa àwọn ìṣòro PDP kún un pẹ̀lú àwọn ìgbésẹ̀ ìdáhùn wọn (fún àpẹẹrẹ, àwọn ìṣètò ooru 1D pẹ̀lú àwọn ipò ààlà pàtó), tàbí kí n ṣẹ̀dá àtúnṣe àpilẹ̀kọ tó gbajúmọ̀ jù fún àwọn tó ń ka ìwé gíga.
