Modh Lagrange ann an Àireamhachd
’S e dòigh chudromach ann an àireamhachd a th’ ann an dòigh Lagrange a thathas a’ cleachdadh gu farsaing gus fuasgladh fhaighinn air duilgheadasan leasachaidh, gu h-àraidh nuair a dh’fheumar gnìomh a mheudachadh no a lughdachadh fo chumhachan sònraichte (cuingealachaidhean). Ann am fìor bheatha, faodar duilgheadasan leithid prothaidean a mheudachadh le calpa cuibhrichte, cosgaisean cinneasachaidh a lughdachadh le goireasan cuibhrichte, no an dealbhadh as èifeachdaiche a dhearbhadh le cumhachan sònraichte a mhodaladh gu tric le bhith a’ cleachdadh leasachaidh cuibhrichte. Seo far a bheil pàirt chudromach aig dòigh Lagrange - ris an canar cuideachd dòigh iomadachaidh Lagrange.
Bun-bheachdan Leasachaidh
Ann an àireamhachd bhunasach, thèid leasachadh neo-chuingealaichte a dhèanamh le bhith a’ lorg puingean èiginneach gnìomh \(f(x) \) tron chiad t-toradh aige: lorgaidh sinn \(f'(x)=0 \) agus an uairsin nì sinn sgrùdadh a bheil am puing sin a’ toirt a-mach uasmhéid no as ìsle. Ach, chan eil mòran dhuilgheadasan cho sìmplidh sin. Mar eisimpleir, tha sinn airson an gnìomh \(f(x,y) \) a mheudachadh, ach feumaidh luachan \(x \) agus \(y \) cumha a shàsachadh, leithid \(g(x,y)=0 \). Tha an cumha seo a’ cuingealachadh an àite fuasglaidh, agus mar sin chan urrainn dhuinn \(x \) agus \(y \) a thaghadh aig toil.
Tha modh Lagrange a’ tabhann dòigh shiostamach airson a’ phuing as fheàrr a lorg ann an àite a tha air a chuingealachadh leis na cuingeadan sin. Tha an tuigse air cùl na modh seo co-cheangailte ri geoimeatraidh: aig a’ phuing as fheàrr fon chuingealachadh \(g(x,y)=0 \), feumaidh stiùireadh an atharrachaidh as motha den ghnìomh \(f \) a bhith “co-shìnte” ri stiùireadh an atharrachaidh as motha den chuingealachadh \(g \). Tha stiùireadh an atharrachaidh as motha de ghnìomh ioma-atharrachail air a thoirt seachad leis a’ chlaonadh, is iad sin \(\nabla f \) agus \(\nabla g \). Mar sin, aig a’ phuing as fheàrr, tha an dàimh a’ cumail:
\[
\nabla f(x,y) = \ lambda \ nabla g(x,y)
\]
far a bheil Δ(Δ) na luach cunbhalach ris an canar iomadaiche Lagrange.
A’ Tuigsinn Iomadaichean Lagrange
Faodar iomadaiche Lagrange, _( \lambda \), a thuigsinn mar fhactar sgèileachaidh a tha a’ ceangal caisead an gnìomh amas agus caisead nan cuingeadan. Gu practaigeach, cuidichidh _( \lambda \) sinn le bhith a’ “cothlamadh” an gnìomh amas agus na cuingeadan ann an cruth a tha nas fhasa a sgrùdadh.
Gus fuasgladh fhaighinn air duilgheadas leasachaidh le cuingealachadh le aon chuingealachadh, bidh sinn a’ togail gnìomh ùr ris an canar gnìomh Lagrange:
\[
\mathcal{L}(x,y,\lambda) = f(x,y) – \lambda (g(x,y))
\]
Chan eil an comharradh minus ach gnàthas; uaireannan thathar a’ cleachdadh comharradh plus, a rèir roghainn. Is e am prìomh bheachd gum faigh sinn na puingean statach aig \( \mathcal{L} \) le bhith a’ dèanamh eadar-dhealachadh a thaobh gach caochladair (a’ gabhail a-steach \( \lambda \)) agus a’ co-ionannachadh ri neoni:
\[
\frac{\partial \mathcal{L}}{\partial x} = 0, \quad \frac{\partial \mathcal{L}}{\partial y} = 0, \quad \frac{\partial \mathcal{L}}{\partial \lambda} = 0
\]
Tha an co-aontar mu dheireadh, \( \frac{\partial \mathcal{L}}{\partial \lambda} = 0 \), ag ath-nuadhachadh a’ chuingealachaidh \(g(x,y)=0 \), gus am bi an siostam co-aontaran a thig às a sin fhathast a’ toirt urram do chuingealachaidhean na trioblaid.
Ceumannan Modh Lagrange
Gu h-aithghearr, faodar geàrr-chunntas a dhèanamh air modh-obrach Modh Lagrange mar a leanas:
1. Obraich a-mach dè an gnìomh a tha ri bharrachadh, mar eisimpleir \( f(x, y) \).
2. Obraich a-mach na cuingeadan san riochd \(g(x,y)=0 \).
3. Cruthaich an gnìomh Lagrangeach \( \mathcal{L}(x,y,\lambda) = f(x,y) - \lambda g(x,y) \).
4. Obraich a-mach na toraidhean pàirteach de \( \mathcal{L} \) a thaobh \( x \), \( y \), agus \( \lambda \).
5. Fuasgail an siostam cho-aontaran aig a bheil na toraidhean pàirteach aca air an suidheachadh gu neoni.
6. Dèan deuchainn air fuasglaidhean a tha a’ tabhann deuchainnean gus faighinn a-mach a bheil iad a’ toirt a-mach an ìre as àirde no as ìsle, ma tha sin riatanach.
Faodar an dòigh seo a leudachadh gu barrachd air aon chuingealachadh. Ma tha dà chuingealachadh ann, mar eisimpleir \(g(x,y,z)=0 \) agus \(h(x,y,z)=0 \), bidh an Lagrangean mar seo:
\[
\mathcal{L}(x,y,z,\lambda,\mu)=f(x,y,z) – \lambda g(x,y,z) – \mu h(x,y,z)
\]
An seo nochdaidh iomadaichear a bharrachd, is e sin \( \mu \).
Eisimpleir Shìmplidh
Abair gu bheil sinn airson an gnìomh a mheudachadh:
\[
f(x,y)=xy
\]
le cuingealachaidhean:
\[
x+y=10
\]
no san riochd \(g(x,y)=x+y-10=0 \).
Cruth Lagrange:
\[
\mathcal{L}(x,y,\lambda)=xy-\lambda(x+y-10)
\]
Toraidhean pàirteach:
\[
\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
\]
Bho na ciad dhà cho-aontar, gheibh sinn (y=lambda) agus (x=lambda), agus mar sin (x=y). Le bhith a’ cur (x+y=10) a-steach don chuingealachadh gheibhear (2x=10) agus (Rightarrow) x=5. Mar sin (y=5).
Mar sin tha an luach as motha de \(xy \) fon chuingealachadh \(x+y=10 \) a’ tachairt aig \(x=5 \) agus \(y=5 \), le luach as motha de \(f(5,5)=25 \). Tha an toradh seo cuideachd a rèir tuigse: airson suim stèidhichte, tha toradh dà àireamh dheimhinneach aig an ìre as motha nuair a tha iad co-ionnan.
Brìgh Geoimeatrach Modh Lagrange
Gu geoimeatrach, tha an cuingealachadh \(g(x,y)=0 \) a’ cruthachadh lùb anns a’ phlèana. Chan eil sinn a’ coimhead airson an ìre as fheàrr thairis air a’ phlèana gu lèir, ach dìreach air feadh na lùba. Aig a’ phuing as fheàrr, tha an lùb ìre \(f(x,y)=k \) a tha na tangent ris a’ lùb chuingealachaidh a’ comharrachadh gu bheil na claonaidhean aca co-shìnte. Tha an tangentachd seo air a chruth-atharrachadh gu co-aontar \(\nabla f=\lambda \nabla g \).
Tha a’ chiall seo a’ cuideachadh le bhith a’ mìneachadh carson a tha modh Lagrange ag obair: mura h-eil claonadh \(f \) co-shìnte ri claonadh a’ chuingealachaidh, tha stiùiridhean ann fhathast air a’ lùb chuingealachaidh anns am faod luach \(f \) àrdachadh no lùghdachadh. Tha am puing as fheàrr a’ tachairt dìreach nuair nach gabh an stiùireadh “as luaithe suas” a ghabhail tuilleadh gun a bhith a’ briseadh a’ chuingealachaidh.
Tagraidhean ann an Diofar Raointean
Ged a tha iad freumhaichte ann an àireamhachd, tha dòighean Lagrange air an cleachdadh gu farsaing thar grunn chuspairean. Ann an eaconamas, thathas gan cleachdadh ann an teòiridh goireasachd agus leasachadh cinneasachaidh. Ann am fiosaig, tha ceanglaichean eachdraidheil agus matamataigeach aig a’ bhun-bheachd Lagrange ri meacanaig anailiseach. Ann an innleadaireachd agus saidheans coimpiutaireachd, tha iad nam bunait airson mòran algairidhean leasachaidh, a’ gabhail a-steach leasachadh convex agus dòighean àireamhach ann an ionnsachadh innealan.
A bharrachd air sin, bidh mìneachaidhean practaigeach aig iomadairean Lagrange gu tric. Ann an cuid de cho-theacsan eaconamach, mar eisimpleir, faodaidh \( \lambda \) “prìs sgàil” cuingealachaidh a chomharrachadh: dè an ìre gu bheil an luach as fheàrr ag atharrachadh ma thèid an cuingealachadh a shocrachadh beagan.
Teòraidhean agus Notaichean Cudromach
Tha dòigh Lagrange a’ toirt seachad fuasglaidhean a tha freagarrach, ach chan eil e gu riatanach a’ gealltainn gur iad na h-àrd-phuingean no na h-àrd-phuingean cruinneil a th’ annta. Aig amannan, bidh grunn phuingean statach ann airson coimeas a dhèanamh. A bharrachd air an sin, tha an dòigh seo ag iarraidh gabhail ris nach eil an caisead cuibhreachaidh co-ionann ri neoni aig a’ phuing fuasglaidh; ma tha \( \nabla g = 0 \), bidh an suidheachadh nas iom-fhillte agus feumaidh e làimhseachadh sònraichte.
Ann an cleachdadh, às dèidh dhuinn tagraiche a lorg, feumaidh sinn gu tric sùil a thoirt air cumhaichean a bharrachd, leithid a bhith a’ cleachdadh an dàrna deuchainn toraidh no a’ dèanamh coimeas eadar luachan na gnìomh air an tagraiche agus crìochan an raoin a dh’ fhaodadh a bhith ann.
Penutup
’S e inneal cumhachdach a th’ ann an dòigh Lagrange ann an àireamhachd airson fuasgladh fhaighinn air duilgheadasan leasachaidh le cuingealachaidhean. Le bhith a’ toirt a-steach an iomadaiche _( \lambda \), bidh an dòigh seo ag atharrachadh duilgheadas a bha duilich an toiseach - air sgàth cuingealachaidhean - gu siostam structaraichte de cho-aontaran toraidh pàirteach. Chan e a-mhàin gu bheil tuigse air an dòigh seo feumail ann am matamataig fìor-ghlan ach tha e cuideachd gu math buntainneach ann an eaconamas, fiosaig, innleadaireachd, agus mòran raointean eile a tha an urra ri leasachaidh.
Le bhith a’ maighstireachd Modh Lagrange, gheibh sinn a’ chomas air modalan a dhèanamh agus fuasgladh fhaighinn air duilgheadasan san t-saoghal fhìor ann an dòigh nas matamataigeach agus nas èifeachdaiche – sgile a tha na bhunait chudromach ann an àireamhachd ioma-atharrachail agus optamachadh an latha an-diugh.
