O le Metotia a Lagrange i le Calculus
O le metotia Lagrange o se metotia taua i le calculus e faʻaaogaina lautele e foia ai faʻafitauli o le faʻaleleia atili, aemaise lava pe a manaʻomia ona faʻateleina pe faʻaitiitia se galuega faatino i lalo o nisi tulaga (faʻatapulaʻaina). I le olaga moni, o faʻafitauli e pei o le faʻateleina o tupe mama i tupe faʻatapulaʻaina, faʻaitiitia o tau o gaosiga i punaoa faʻatapulaʻaina, poʻo le fuafuaina o le mamanu sili ona lelei ma nisi tulaga e mafai ona faʻataʻitaʻiina e faʻaaoga ai le faʻaleleia atili faʻatapulaʻaina. O iinei e taua tele ai le metotia Lagrange—e taʻua foʻi o le metotia faʻateleina Lagrange.
Manatu Fa'avae o le Fa'aleleia Atili
I le calculus faigofie, o le fa'aleleia atili e le fa'atapula'aina e fa'atinoina e ala i le sailia o vaega taua o se galuega faatino \( f(x) \) e ala i lona ulua'i fa'asologa: tatou te maua \( f'(x)=0 \) ona siaki lea pe maua e lena vaega se maualuga po'o se maualalo. Peita'i, e tele fa'afitauli e le faigofie. Mo se fa'ata'ita'iga, tatou te manana'o e fa'ateleina le galuega faatino \( f(x,y) \), ae o tau o \( x \) ma le \( y \) e tatau ona fa'amalieina se tulaga, e pei o le \( g(x,y)=0 \). O lenei tulaga e fa'atapula'aina ai le avanoa o fofo, o lea e le mafai ai ona tatou filifilia \( x \) ma le \( y \) i le loto i ai.
O le metotia a Lagrange e ofoina atu ai se auala fa'atulagaina e su'e ai le tulaga sili ona lelei i se avanoa e fa'atapula'aina e nei tapula'a. O le malamalama i tua atu o lenei metotia e feso'ota'i ma le geometry: i le tulaga sili ona lelei i lalo o le tapula'a \( g(x,y)=0 \), o le itu o le suiga tele o le galuega \( f \) e tatau ona "tutusa" ma le itu o le suiga tele o le tapula'a \( g \). O le itu o le suiga tele o se galuega multivariate e tu'uina mai e le gradient, e pei o le \( \nabla f \) ma le \( \nabla g \). O le mea lea, i le tulaga sili ona lelei, o le sootaga e tumau:
\[
\nabla f(x,y) = \lambda \nabla g(x,y)
\]
lea o le \( \lambda \) o se tumau e ta'ua o le Lagrange multiplier.
Malamalama i le Lagrange Multipliers
O le Lagrange multiplier, \( \lambda \), e mafai ona malamalama i ai o se scaling factor e faʻafesoʻotaʻi ai le gradient o le objective function ma le gradient o tapulaʻa. I se tulaga faʻatino, \( \lambda \) e fesoasoani ia i tatou e "tuʻufaʻatasia" le objective function ma tapulaʻa i se faʻatulagaga e faigofie ona iloiloina.
Ina ia foia se faʻafitauli o le faʻaleleia faʻatapulaʻaina i le tasi tapulaʻa, matou te fausia se galuega fou e taʻua o le Lagrangian function:
\[
\mathcal{L}(x,y,\lambda) = f(x,y) – \lambda (g(x,y))
\]
O le fa'ailoga to'ese ua na'o se fa'atulagaga masani; o nisi taimi e fa'aaogaina ai se fa'ailoga fa'aopoopo, e fuafua i le mea e te fiafia i ai. O le manatu autū o le tatou sailia lea o tulaga tumau o le \( \mathcal{L} \) e ala i le fa'avasegaina e tusa ai ma fesuia'iga uma (e aofia ai le \( \lambda \)) ma fa'atusatusa i le zero:
\[
\frac{\partial \mathcal{L}}{\partial x} = 0,\quad \frac{\partial \mathcal{L}}{\partial y} = 0,\quad \frac{\partial \mathcal{L}}{\partial \lambda} = 0
\]
O le fua fa'atatau mulimuli, \( \frac{\partial \mathcal{L}}{\partial \lambda} = 0 \), e toe fa'afo'isia ai le tapula'a \( g(x,y)=0 \), ina ia tausisia pea e le faiga o fua fa'atatau ia tapula'a o le fa'afitauli.
Laasaga o le Metotia Lagrange
I se aotelega, e mafai ona aoteleina le faiga o le Lagrange Method e pei ona taua i lalo:
1. Fuafua le galuega faatino e fa'aleleia atili, mo se fa'ata'ita'iga \( f(x,y) \).
2. Fuafua tapula'a i le fa'atulagaga \( g(x,y)=0 \).
3. Fausia le galuega faatino Lagrangian \( \mathcal{L}(x,y,\lambda)=f(x,y)-\lambda g(x,y) \).
4. Fuafua vaega e maua mai i le \( \mathcal{L} \) e fa'atatau i le \( x \), \( y \), ma le \( \lambda \).
5. Foia le faiga o fuafuaga o lo'o setiina ai fa'asologa fa'apitoa i le zero.
6. Fa'ata'ita'i ni fofo talafeagai e iloa ai pe maua ai se maualuga po'o se maualalo, pe a mana'omia.
E mafai ona fa'alauteleina lenei metotia i le sili atu ma le tasi tapula'a. Afai e lua tapula'a, mo se fa'ata'ita'iga \( g(x,y,z)=0 \) ma le \( h(x,y,z)=0 \), ona avea lea o le Lagrangian ma:
\[
\mathcal{L}(x,y,z,\lambda,\mu)=f(x,y,z) – \lambda g(x,y,z) – \mu h(x,y,z)
\]
O iinei e aliali mai ai se isi fa'atele, e ta'ua o le \( \mu \).
Faʻataʻitaʻiga Faigofie
Faapea tatou te manaʻo e faʻateleina le galuega faatino:
\[
f(x,y)=xy
\]
faatasi ai ma tapulaʻa:
\[
x+y=10
\]
pe i le faatulagaga \( g(x,y)=x+y-10=0 \).
Fa'atulagaga Lagrangian:
\[
\mathcal{L}(x,y,\lambda)=xy-\lambda(x+y-10)
\]
Fa'asologa o mea e maua mai:
\[
\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
\]
Mai fua fa'atatau muamua e lua, tatou te maua ai le \( y=\lambda \) ma le \( x=\lambda \), o lea la, o le \( x=y \). O le suiina i totonu o le tapula'a \( x+y=10 \) e maua ai le \( 2x=10 \Rightarrow x=5 \). O le mea lea, \( y=5 \).
O lea la, o le tau maualuga o le \( xy \) i lalo o le tapulaʻa \( x+y=10 \) e tupu i le \( x=5 \) ma le \( y=5 \), faatasi ai ma le tau maualuga o le \( f(5,5)=25 \). O lenei taunuuga e ogatasi foi ma le malamalama: mo se aofaiga mautu, o le oloa o numera lelei e lua e maualuga pe a tutusa.
Uiga Fa'a-geometriko o le Metotia Lagrange
I le fa'ata'ita'iga fa'afuainumera, o le tapula'a \( g(x,y)=0 \) e fausia ai se pi'o i le va'alele. Matou te le o sailia le tulaga sili ona lelei i luga o le va'alele atoa, ae na'o le pi'o. I le tulaga sili ona lelei, o le pi'o tulaga \( f(x,y)=k \) e fa'atatau i le pi'o tapula'a e fa'ailoa mai ai o latou gradients e tutusa. O lenei tangency ua liua i le fua fa'atatau \( \nabla f=\lambda \nabla g \).
O lenei uiga e fesoasoani e faʻamatalaina ai le mafuaʻaga e aoga ai le metotia a Lagrange: afai o le gradient o le \( f \) e le tutusa ma le gradient o le faʻatapulaʻaina, o lona uiga o loʻo i ai pea faʻatonuga i luga o le constraint curve lea e mafai ona faʻateleina pe faʻaitiitia ai le tau o le \( f \). O le tulaga sili ona lelei e tupu tonu lava pe a le mafai ona toe faia le faʻatonuga "sili ona vave i luga" e aunoa ma le solia o le faʻatapulaʻaina.
Talosaga i Vaega Eseese
E ui ina fa'avae i le calculus, o metotia Lagrangian e fa'aaogaina lautele i matā'upu eseese. I le tamaoaiga, e fa'aaogaina i le teoria o mea aoga ma le fa'aleleia atili o le gaosiga. I le fisiki, o le manatu Lagrangian e iai ni feso'ota'iga fa'asolopito ma fa'amatematika i le mekanika fa'ata'ita'i. I le inisinia ma le saienisi komepiuta, e avea ma fa'avae mo le tele o algorithms fa'aleleia atili, e aofia ai le fa'aleleia atili o le convex ma metotia fa'afuainumera i le a'oa'oina o masini.
E le gata i lea, e masani ona i ai ni faʻauigaga aogā o Lagrange multipliers. I nisi o tulaga tau tamaoaiga, mo se faʻataʻitaʻiga, e mafai e le \( \lambda \) ona faʻailoa mai le "tau o le ata" o se tapulaʻa: le tele o le suiga o le tau sili ona lelei pe afai e faʻaitiitia teisi le tapulaʻa.
Tapula'a ma Fa'amatalaga Taua
O le metotia a Lagrange e maua ai ni fofo talafeagai, ae e le o mautinoa ai o latou tulaga o le maxima lautele po o le minima maualalo. O nisi taimi, e tele ni tulaga tumau e faʻatusatusa. E le gata i lea, o lenei metotia e manaʻomia ai le manatu o le gradient faʻatapulaʻa e le o le zero i le tulaga o le fofo; afai \( \nabla g = 0 \), e sili atu ona faigata le tulaga ma manaʻomia se togafitiga faʻapitoa.
I le faʻatinoga, a maeʻa ona maua se sui tauva, e masani ona manaʻomia ona tatou siakiina isi tulaga, e pei o le faʻaaogaina o le suega lona lua o le derivative poʻo le faʻatusatusaina o tau o galuega faatino i luga o le sui tauva ma tuaoi o le domain e ono iai.
Fa'ato'a
O le metotia a Lagrange i le calculus o se meafaigaluega mamana mo le foia o faafitauli o le optimization fa'atapula'aina. I le fa'alauiloaina o le multiplier \( \lambda \), o lenei metotia e liua ai se faafitauli faigata i le amataga—ona o tapula'a—i se faiga fa'atulagaina o fa'atusatusaga fa'asolosolo. O le malamalama i lenei metotia e le gata ina aoga i le matematika mama ae e matua taua foi i le tamaoaiga, fisiki, inisinia, ma le tele o isi matata e fa'alagolago i le optimization.
O le a'oa'oina lelei o le Metotia a Lagrange, tatou te maua ai le tomai e fa'ata'ita'i ma foia ai fa'afitauli o le lalolagi moni i se auala fa'amatematika ma lelei—o se tomai e taua tele i le fa'aogaina o le multivariate calculus fa'aonaponei ma le fa'aleleia atili.
