Ọ̀nà Lagrange nínú Ìṣirò
Ọ̀nà Lagrange jẹ́ ọ̀nà pàtàkì nínú ìṣirò tí a ń lò láti yanjú àwọn ìṣòro ìṣirò, pàápàá jùlọ nígbà tí a bá gbọ́dọ̀ mú iṣẹ́ kan pọ̀ sí i tàbí dínkù lábẹ́ àwọn ipò kan (àwọn ìdíwọ́). Ní ìgbésí ayé gidi, àwọn ìṣòro bíi mímú èrè pọ̀ sí i pẹ̀lú owó tí ó lopin, dín iye owó ìṣelọ́pọ́ kù pẹ̀lú àwọn ohun èlò tí ó lopin, tàbí pípinnu àwòrán tí ó gbéṣẹ́ jùlọ pẹ̀lú àwọn ipò kan ni a lè fi ṣe àpẹẹrẹ nípa lílo ìṣirò tí a dínkù. Níbí ni ọ̀nà Lagrange—tí a tún mọ̀ sí ọ̀nà ìlọ́pọ́ Lagrange—ṣe ipa pàtàkì.
Àwọn Ìpìlẹ̀ Ẹ̀kọ́ Ìṣàtúnṣe
Nínú ìṣirò àkọ́bẹ̀rẹ̀, a máa ń ṣe àtúnṣe àìlópin nípa wíwá àwọn kókó pàtàkì ti iṣẹ́ kan \( f(x) \) nípasẹ̀ àtúnṣe àkọ́kọ́ rẹ̀: a máa ń rí \( f'(x)=0 \) lẹ́yìn náà a máa ń ṣàyẹ̀wò bóyá ojú ìwé yẹn yóò mú kí ó pọ̀ jù tàbí ó kéré jù. Síbẹ̀síbẹ̀, ọ̀pọ̀ ìṣòro kò rọrùn tó bẹ́ẹ̀. Fún àpẹẹrẹ, a fẹ́ mú kí iṣẹ́ náà pọ̀ sí i \( f(x,y) \), ṣùgbọ́n àwọn ìwọ̀n \( x \) àti \( y \) gbọ́dọ̀ bá ipò kan mu, bíi \( g(x,y)=0 \). Àdéhùn yìí dín ààyè ojútùú kù, nítorí náà a kò lè yan \( x \) àti \( y \) bí a bá fẹ́.
Ọ̀nà Lagrange fúnni ní ọ̀nà tí a fi ń ṣe àgbékalẹ̀ láti rí àyè tí ó dára jùlọ nínú àlàfo tí àwọn ìdíwọ́ wọ̀nyí pààlà sí. Ìmọ̀lára tí ó wà lẹ́yìn ọ̀nà yìí ní í ṣe pẹ̀lú gírómẹ́trì: ní àyè tí ó dára jùlọ lábẹ́ àlàfo \( g(x,y)=0 \), ìtọ́sọ́nà ìyípadà tí ó pọ̀ jùlọ ti iṣẹ́ \( f \) gbọ́dọ̀ jẹ́ “àfiwé” sí ìtọ́sọ́nà ìyípadà tí ó pọ̀ jùlọ ti àlàfo \( g \). Ìtọ́sọ́nà ìyípadà tí ó pọ̀ jùlọ ti iṣẹ́ multivariate ni a fi ìpele, èyí ni \( \nabla f \) àti \( \nabla g \). Nítorí náà, ní àyè tí ó dára jùlọ, ìbáṣepọ̀ náà ní:
\[
\nabla f(x,y) = \lambda \nabla g(x,y)
\]
níbi tí \( \lambda \) jẹ́ ohun tí a ń pè ní ìlọ́po Lagrange.
Lílóye Àwọn Oníṣòwò Lagrange
A le loye ohun ti a pe ni Lagrange multiplier, \( \lambda \), gege bi ohun ti a fi n se afihan iwọn ti o so ite ti ise ohun ati ite ti awon idiwon. Ni ona ti o ye, \( \lambda \) n ran wa lowo lati “dapo” ise ohun ati awon idiwon sinu fọọmu ti o rọrun lati se itupalẹ.
Láti yanjú ìṣòro ìṣàtúnṣe tí a dínkù pẹ̀lú ìdènà kan, a kọ́ iṣẹ́ tuntun kan tí a ń pè ní iṣẹ́ Lagrangian:
\[
\mathcal{L}(x,y,\lambda) = f(x,y) – \lambda (g(x,y))
\]
Àmì àyọkúrò jẹ́ àṣà lásán; nígbà míìrán a máa ń lo àmì àfikún, ó sinmi lórí ìfẹ́ ọkàn. Èrò pàtàkì ni pé a ó wá àwọn àmì tí ó dúró ti \( \mathcal{L} \) nípa ṣíṣe ìyàtọ̀ sí gbogbo àwọn oníyípadà (pẹ̀lú \( \lambda \)) àti ṣíṣe àfikún sí òdo:
\[
\frac{\partial \mathcal{L}}{\partial x} = 0,\quad \frac{\partial \mathcal{L}}{\partial y} = 0,\quad \frac{\partial \mathcal{L}}{\partial \lambda} = 0
\]
Ìgbékalẹ̀ ìkẹyìn, \( \frac{\partial \mathcal{L}}{\partial \lambda} = 0 \), mú ìdènà \( g(x,y)=0 \ ) padà wá, kí ètò ìṣètò tó yọrí síi lè máa bọ̀wọ̀ fún àwọn ìdíwọ́ ìṣòro náà.
Awọn Igbesẹ ti Ọna Lagrange
Ni ṣoki, a le ṣe akopọ ilana Ọna Lagrange bi atẹle:
1. Pinnu iṣẹ́ tí a fẹ́ ṣe àtúnṣe sí, fún àpẹẹrẹ \( f(x,y) \).
2. Pinnu awọn idiwọn ninu fọọmu \( g(x,y)=0 \).
3. Ṣẹ̀dá iṣẹ́ Lagrangian \( \mathcal{L}(x,y,\lambda)=f(x,y)-\lambda g(x,y) \).
4. Ṣírò àwọn àbájáde apa kan ti \( \mathcal{L} \) ní ìbámu pẹ̀lú \( x \), \(y \), àti \( \lambda \).
5. Yanjú ètò àwọn ìṣọ̀kan tí a ti ṣètò àwọn ìyípadà díẹ̀ sí òdo.
6. Ṣe ìdánwò àwọn ìdáhùn olùdíje láti pinnu bóyá wọ́n máa ń mú kí ó pọ̀ jù tàbí ó kéré jù, tí ó bá pọndandan.
A le fa ọna yii si ju idinamọ kan lọ. Ti awọn idinamọ meji ba wa, fun apẹẹrẹ \( g(x,y,z)=0 \) ati \( h(x,y,z)=0 \), lẹhinna Lagrangian yoo di:
\[
\mathcal{L}(x,y,z,\lambda,\mu)=f(x,y,z) – \lambda g(x,y,z) – \mu h(x,y,z)
\]
Níbí, ìlọ́pọ́ afikún kan farahàn, èyí ni \( \mu \).
Àpẹẹrẹ Rọrùn
Ká sọ pé a fẹ́ mú iṣẹ́ náà pọ̀ sí i:
\[
f(x,y)=xy
\]
pẹlu awọn idiwọn:
\[
x+y=10
\]
tàbí ní fọ́ọ̀mù \( g(x,y)=x+y-10=0 \).
Fọ́ọ̀mù Lagrangian:
\[
\mathcal{L}(x,y,\lambda)=xy-\lambda(x+y-10)
\]
Àwọn ohun tí a fi ṣe àtúnṣe díẹ̀:
\[
\frac{\partial \mathcal{L}}{\partial x}=y-\lambda=0
\]
\[
\frac{\partial \mathcal{L}}{\partial y}=x-\lambda=0
\]
\[
\frac{\partial \mathcal{L}}{\partial \lambda}=-(x+y-10)=0
\]
Láti inú àwọn ìdọ́gba méjì àkọ́kọ́, a gba \( y=\lambda \) àti \( x=\lambda \), nítorí náà \( x=y \). Tí a bá fi rọ́pò ìdènà \( x+y=10 \) ó máa mú \( 2x=10 \Rightarrow x=5 \). Nítorí náà \( y=5 \).
Nítorí náà, iye tó pọ̀ jùlọ ti \( xy \) lábẹ́ ìdènà \( x+y=10 \) wáyé ní \( x=5 \) àti \( y=5 \), pẹ̀lú iye tó pọ̀ jùlọ ti \( f(5,5)=25 \). Àbájáde yìí tún bá òye mu: fún iye tó wà nílẹ̀, àbájáde àwọn nọ́mbà rere méjì ló pọ̀ jùlọ nígbà tí wọ́n bá dọ́gba.
Itumọ Jiometiriki ti Ọna Lagrange
Ní ti gírámù, ìdíwọ́ \( g(x,y)=0 \) ń ṣe ìlà kan nínú ìlà náà. A kò wá ìlà tó dára jù lórí gbogbo ìlà náà, ṣùgbọ́n a kàn ń wá ìlà náà nìkan. Ní ibi tí ó dára jù, ìlà náà \( f(x,y)=k \) tí ó bá ìlà náà mu fihàn pé ìlà wọn jọra. Ìlà yìí yí padà sí ìlà náà \( \nabla f=\lambda \nabla g \).
Ìtumọ̀ yìí ń ran lọ́wọ́ láti ṣàlàyé ìdí tí ọ̀nà Lagrange fi ń ṣiṣẹ́: tí ìtẹ̀sí \( f \) kò bá jọ ìtẹ̀sí ìtẹ̀sí ìdènà náà, nígbà náà àwọn ìtọ́sọ́nà ṣì wà lórí ìtẹ̀sí ìdènà náà níbi tí iye \( f \) lè pọ̀ sí i tàbí dínkù. Àkókò tó dára jùlọ máa ń wáyé ní pàtó nígbà tí a kò bá le gba ìtọ́sọ́nà "tó yára jù" mọ́ láì rú ìdènà náà.
Àwọn Ohun Èlò ní Oríṣiríṣi Èkó
Bó tilẹ̀ jẹ́ pé ó ní ìpìlẹ̀ nínú kalkulus, àwọn ọ̀nà Lagrangian ni a lò ní onírúurú ẹ̀ka ẹ̀kọ́. Nínú ètò ọrọ̀ ajé, a lò wọ́n nínú ìmọ̀ ìlò àti ìṣelọ́pọ́. Nínú ìmọ̀ fisiksi, èrò Lagrangian ní ìsopọ̀ ìtàn àti ìṣirò pẹ̀lú àwọn ẹ̀rọ ìṣàyẹ̀wò. Nínú ìmọ̀ ẹ̀rọ àti ìmọ̀ kọ̀ǹpútà, wọ́n jẹ́ ìpìlẹ̀ fún ọ̀pọ̀lọpọ̀ àwọn algoridimu ìṣelọ́pọ́, títí kan ìṣelọ́pọ́ convex àti àwọn ọ̀nà nọ́mbà nínú ẹ̀kọ́ ẹ̀rọ.
Ni afikun, awọn onipọpọ Lagrange nigbagbogbo ni awọn itumọ ti o wulo. Ni diẹ ninu awọn ipo eto-ọrọ aje, fun apẹẹrẹ, \( \lambda \) le tọka si "idiyele ojiji" ti idinamọ kan: iye ti o dara julọ yoo yipada ti idinamọ ba jẹ diẹ ti o dinku.
Awọn idiwọn ati Awọn akọsilẹ pataki
Ọ̀nà Lagrange n pese awọn ojutu oludije, ṣugbọn ko ṣe idaniloju pe wọn jẹ ga julọ tabi kere julọ agbaye. Nigba miiran, ọpọlọpọ awọn aaye iduro wa lati fiwe. Pẹlupẹlu, ọna yii nilo ero pe gradient idinamọ jẹ nonzer ni aaye ojutu; ti o ba \( \nabla g = 0 \), ipo naa di idiju diẹ sii ati pe o nilo itọju pataki.
Ní ìṣe, lẹ́yìn rírí olùdíje kan, a sábà máa ń nílò láti ṣàyẹ̀wò àwọn ipò afikún, bíi lílo ìdánwò àtúnṣe kejì tàbí fífi àwọn iye iṣẹ́ wéra lórí olùdíje náà àti àwọn ààlà agbègbè tí ó ṣeé ṣe.
Penutup
Ọ̀nà Lagrange nínú kalkulus jẹ́ irinṣẹ́ alágbára fún yíyanjú àwọn ìṣòro ìṣàtúnṣe tí a dínkù. Nípa ṣíṣe àgbékalẹ̀ multiplier \( \lambda \), ọ̀nà yìí yí ìṣòro tí ó ṣòro ní ìbẹ̀rẹ̀ padà—nítorí àwọn ìdíwọ́—sí ètò ìṣètò ti àwọn ìṣètò àfikún díẹ̀díẹ̀. Lílóye ọ̀nà yìí kò wúlò nínú ìmọ̀ ìṣirò pípé nìkan ṣùgbọ́n ó tún ṣe pàtàkì nínú ọrọ̀ ajé, fisiksi, ìmọ̀ ẹ̀rọ, àti ọ̀pọ̀lọpọ̀ àwọn ẹ̀ka mìíràn tí ó gbára lé ìṣàtúnṣe.
Nípa mímọ Ọ̀nà Lagrange dáadáa, a ní agbára láti ṣe àpẹẹrẹ àti yanjú àwọn ìṣòro gidi ní ọ̀nà ìṣirò àti ní ọ̀nà tó dára jù—ọgbọ́n kan tó jẹ́ ìpìlẹ̀ pàtàkì nínú ìṣirò àti ìṣàtúnṣe onírúurú ìgbàlódé.
