EO
All
Articles
Dictionary
Quotes
Map

Wikiwand ❤️ Wikipedia

PrivacyTerms

Variada kalkulo

From Wikipedia, the free encyclopedia

Variada kalkulo
Malforta kaj forta ekstremumojEkvacio de Eŭlero-LagrangeVojo de lumo kaj principo de FermatLeĝo de SnellVidu ankaŭEksteraj ligiloj

Kalkulo de variadoj estas kampo de matematiko kiu okupiĝas pri trovado de ekstremumaj funkcioj de funkcionaloj. La ekstremumaj funkcioj estas tiuj ĉe kiuj donita funkcionalo atingas maksimuman aŭ minimuman valoron. Ĉi tiuj funkcionaloj kutime estas integraloj engaĝantaj nekonatan funkcion kaj ĝiajn derivaĵojn. Tiel kalkulo de variadoj rilatas al funkcionaloj same kiel ordinara infinitezima kalkulo rilatas al funkcioj.

Unu el la plej simplaj ekzemploj de ĉi tia problemo estas trovado de kurbo kiu estas la plej mallonga konekto de du punktoj. Se ne estas limigoj, la solvaĵo estas evidente rekta streko inter la punktoj. Tamen, se la kurbo estas limigita al kuŝi sur surfaco en spaco, la solvaĵo estas malpli evidenta, kaj eble multaj malsamaj samlongaj solvaĵoj povas ekzisti. Ĉi tiaj solvaĵoj estas la geodeziaj kurboj. Rilatanta problemo estas afektita per principo de Fermat en optiko: lumo sekvas la vojon de plej mallonga optika longo konektanta la du punktojn, kie la optika longo dependas de la materialo tra kiu iras la lumo. Unu respektiva koncepto en mekaniko estas la principo de plej malgranda ago.

Multaj gravaj problemoj engaĝas funkciojn de kelkaj variabloj. Solvaĵoj de randaj valoraj problemoj por la laplaca ekvacio kontentigas la principon de Dirichlet. Problemo de Plateau postulas trovadon de surfaco de minimuma areo kiu havas donitan randon en spaco; eksperimente la solvaĵoj povas troviĝi per drata konturo kaj sapa solvaĵo. Povas esti pli ol unu loke minimumiganta surfaco, kaj ili povas havi ne simplajn topologiojn.

Funkcionalo J(y) difinita sur iu konvena spaco de funkcioj V kun normo || · ||V havas malfortan ekstremumon je funkcio y0 se ekzistas iu δ>0 tia ke por ĉiuj funkcioj y kun

‖ y − y 0 ‖ V < δ {\displaystyle \|y-y_{0}\|_{V}<\delta } {\displaystyle \|y-y_{0}\|_{V}<\delta }

J(y0)-J(y) havas la saman signon. Tipe, V estas spaco de r fojojn kontinue diferencialeblaj funkcioj sur kompakta subaro E de la reela linio, kun la normo donita per

‖ y ‖ V = ∑ n = 0 r sup { y ( n ) ( x ) : x ∈ E } {\displaystyle \|y\|_{V}=\sum _{n=0}^{r}\sup\{y^{(n)}(x):x\in E\}} {\displaystyle \|y\|_{V}=\sum _{n=0}^{r}\sup\{y^{(n)}(x):x\in E\}}

Ĉi tiu normo estas sumo de precizaj supraj randoj de y kaj ĝiaj derivaĵoj.

Funkcionalo J havas fortan ekstremumon je y0 se J(y0)-J(y) havas la saman signon por ĉiuj funkcioj en δ-najbaraĵo de y0 en la preciza supra randa normo por kontinuaj funkcioj, sendepende de tio kiu normo || · ||V por la spaco estas donita. La preciza supra randa normo por reelaj kontinuaj funkcioj sur topologia spaco X estas difinita kiel

‖ y ‖ = sup { y ( x ) : x ∈ X } {\displaystyle \|y\|=\sup\{y(x):x\in X\}} {\displaystyle \|y\|=\sup\{y(x):x\in X\}}

Se y0 estas forta ekstremumo por J tiam ĝi estas ankaŭ malforta ekstremumo, sed la malo povas ne esti vera. Trovado de forta ekstremumo estas kutime pli malfacila ol trovado de malforta ekstremumo. Pli sube estas konsiderata trovado de la malfortaj ekstremumoj.

Ambaŭ malforta ekstremumo kaj forta ekstremumo estas fakte lokaj ekstremumoj.

Sub idealaj kondiĉoj, la maksimumoj kaj minimumoj de donita funkcio povas esti trovitaj per trovo de punktoj kie ĝia derivaĵo estas nula. Analoge, solvaĵoj de glata variada problemo povas esti ricevitaj per solvado de la asociita ekvacio de Eŭlero-Lagrange. Por ke ilustri ĉi tiun procezon, konsideru problemon de trovado de la plej mallonga kurbo en la ebeno kiu konektas du punktoj (x1, y1) kaj (x2, y2).

La kurbo estu y=f(x) kun f(x1)=y1 kaj f(x2)=y2.

La arka longo estas donita per

A [ f ] = ∫ x 1 x 2 1 + [ f ′ ( x ) ] 2 d x {\displaystyle A[f]=\int _{x_{1}}^{x_{2}}{\sqrt {1+[f'(x)]^{2}}}\,dx} {\displaystyle A[f]=\int _{x_{1}}^{x_{2}}{\sqrt {1+[f'(x)]^{2}}}\,dx}

kie

f ′ ( x ) = d f d x {\displaystyle f'(x)={\frac {df}{dx}}} {\displaystyle f'(x)={\frac {df}{dx}}}

La funkcio f devas havi almenaŭ unu derivaĵon por ke kontentigi la postulojn por valida apliko de la funkcio, plu, se f0 estas loka minimumo kaj f1 estas ajna funkcio kiu egalas al nulo je la finaj punktoj x1 kaj x2 kaj kun almenaŭ unu derivaĵo, tiam

A [ f 0 ] ≤ A [ f 0 + ϵ f 1 ] {\displaystyle A[f_{0}]\leq A[f_{0}+\epsilon f_{1}]} {\displaystyle A[f_{0}]\leq A[f_{0}+\epsilon f_{1}]}

por ĉiu nombro ε proksime al 0. Pro tio, la derivaĵo de A [ f 0 + ϵ f 1 ] {\displaystyle A[f_{0}+\epsilon f_{1}]} {\displaystyle A[f_{0}+\epsilon f_{1}]} kun respekto al ε (la unua variado de A) devas strebi al nulo kiam ε strebas al nulo. Tial

∫ x 1 x 2 f 0 ′ ( x ) f 1 ′ ( x ) 1 + [ f 0 ′ ( x ) ] 2 d x = 0 {\displaystyle \int _{x_{1}}^{x_{2}}{\frac {f_{0}'(x)f_{1}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\,dx=0} {\displaystyle \int _{x_{1}}^{x_{2}}{\frac {f_{0}'(x)f_{1}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\,dx=0}

por ĉiu elekto de la funkcio f1. Oni povas interpreti ĉi tiu kondiĉon kiel la nuliĝo de ĉiuj direktaj derivaĵoj de A[f0] en la spaco de diferencialeblaj funkcioj, kaj ĉi tiu estas formaligita per postulo de tio ke la derivaĵo de Fréchet de A nuliĝas je f0. Se preni ke f0 havas du kontinuaj derivaĵoj (aŭ se konsideri malfortajn derivaĵojn), tiam eblas uzi popartan integraladon:

∫ a b u ( x ) v ′ ( x ) d x = [ u ( x ) v ( x ) ] a b − ∫ a b u ′ ( x ) v ( x ) d x {\displaystyle \int _{a}^{b}u(x)v'(x)\,dx=\left[u(x)v(x)\right]_{a}^{b}-\int _{a}^{b}u'(x)v(x)\,dx} {\displaystyle \int _{a}^{b}u(x)v'(x)\,dx=\left[u(x)v(x)\right]_{a}^{b}-\int _{a}^{b}u'(x)v(x)\,dx}

kun la anstataŭo

u ( x ) = f 0 ′ ( x ) 1 + [ f 0 ′ ( x ) ] 2 , v ′ ( x ) = f 1 ′ ( x ) {\displaystyle u(x)={\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}},\quad v'(x)=f_{1}'(x)} {\displaystyle u(x)={\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}},\quad v'(x)=f_{1}'(x)}

rezultiĝas

[ u ( x ) v ( x ) ] x 1 x 2 − ∫ x 1 x 2 f 1 ( x ) d d x [ f 0 ′ ( x ) 1 + [ f 0 ′ ( x ) ] 2 ] d x = 0 {\displaystyle \left[u(x)v(x)\right]_{x_{1}}^{x_{2}}-\int _{x_{1}}^{x_{2}}f_{1}(x){\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]\,dx=0} {\displaystyle \left[u(x)v(x)\right]_{x_{1}}^{x_{2}}-\int _{x_{1}}^{x_{2}}f_{1}(x){\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]\,dx=0}

La unua termo estas nulo ĉar v(x)=f1(x) nuliĝas je x1 kaj x2. Pro tio,

∫ x 1 x 2 f 1 ( x ) d d x [ f 0 ′ ( x ) 1 + [ f 0 ′ ( x ) ] 2 ] d x = 0 {\displaystyle \int _{x_{1}}^{x_{2}}f_{1}(x){\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]\,dx=0} {\displaystyle \int _{x_{1}}^{x_{2}}f_{1}(x){\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]\,dx=0}

por ĉiu dufoje diferencialebla funkcio f1 kiu nuliĝas je la finpunktoj x1 kaj x2. Ĉi tio estas speciala okazo de la fundamenta lemo de kalkulo de variadoj:

I = ∫ x 1 x 2 f 1 ( x ) H ( x ) d x = 0 {\displaystyle I=\int _{x_{1}}^{x_{2}}f_{1}(x)H(x)\,dx=0} {\displaystyle I=\int _{x_{1}}^{x_{2}}f_{1}(x)H(x)\,dx=0}

por ĉiu diferencialebla funkcio f1(x) kiu nuliĝas je la finpunktoj de la intervalo. Pro tio ke f1(x) estas ajna funkcio en la integralada limigo, oni konkludas ke H(x) = 0. Pro tio,

d d x [ f 0 ′ ( x ) 1 + [ f 0 ′ ( x ) ] 2 ] = 0 {\displaystyle {\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]=0} {\displaystyle {\frac {d}{dx}}\left[{\frac {f_{0}'(x)}{\sqrt {1+[f_{0}'(x)]^{2}}}}\right]=0}

El ĉi tiu ekvacio sekvas ke

d 2 f 0 d x 2 = 0 {\displaystyle {\frac {d^{2}f_{0}}{dx^{2}}}=0} {\displaystyle {\frac {d^{2}f_{0}}{dx^{2}}}=0}

kaj de ĉi tie la ekstremumaj funkcioj estas rektoj.

Simila kalkulo veras en la ĝenerala okazo kie

A [ f ] = ∫ x 1 x 2 L ( x , f , f ′ ) d x {\displaystyle A[f]=\int _{x_{1}}^{x_{2}}L(x,f,f')\,dx} {\displaystyle A[f]=\int _{x_{1}}^{x_{2}}L(x,f,f')\,dx}

kaj f estas postulita al havi du kontinuajn derivaĵojn. Denove, oni trovas ekstremumojn f0 per preno ke f = f 0 + ϵ f 1 {\displaystyle f=f_{0}+\epsilon f_{1}} {\displaystyle f=f_{0}+\epsilon f_{1}}, preno de derivaĵo kun respekto al ε, kaj poste preno de ε=0:

d A d ϵ | ϵ = 0 = ∫ x 1 x 2 d L d ϵ | ϵ = 0 d x = ∫ x 1 x 2 ( ∂ L ∂ f f 1 + ∂ L ∂ f ′ f 1 ′ ) d x = ∫ x 1 x 2 ( ∂ L ∂ f f 1 − f 1 d d x ∂ L ∂ f ′ ) d x + ∂ L ∂ f ′ f 1 | x 1 x 2 = ∫ x 1 x 2 f 1 ( ∂ L ∂ f − d d x ∂ L ∂ f ′ ) d x = 0 {\displaystyle {\begin{aligned}\left.{\frac {dA}{d\epsilon }}\right|_{\epsilon =0}&=\int _{x_{1}}^{x_{2}}\left.{\frac {dL}{d\epsilon }}\right|_{\epsilon =0}dx\\&=\int _{x_{1}}^{x_{2}}\left({\frac {\partial L}{\partial f}}f_{1}+{\frac {\partial L}{\partial f'}}f'_{1}\right)\,dx\\&=\int _{x_{1}}^{x_{2}}\left({\frac {\partial L}{\partial f}}f_{1}-f_{1}{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}\right)\,dx+\left.{\frac {\partial L}{\partial f'}}f_{1}\right|_{x_{1}}^{x_{2}}\\&=\int _{x_{1}}^{x_{2}}f_{1}\left({\frac {\partial L}{\partial f}}-{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}\right)\,dx\\&=0\end{aligned}}} {\displaystyle {\begin{aligned}\left.{\frac {dA}{d\epsilon }}\right|_{\epsilon =0}&=\int _{x_{1}}^{x_{2}}\left.{\frac {dL}{d\epsilon }}\right|_{\epsilon =0}dx\\&=\int _{x_{1}}^{x_{2}}\left({\frac {\partial L}{\partial f}}f_{1}+{\frac {\partial L}{\partial f'}}f'_{1}\right)\,dx\\&=\int _{x_{1}}^{x_{2}}\left({\frac {\partial L}{\partial f}}f_{1}-f_{1}{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}\right)\,dx+\left.{\frac {\partial L}{\partial f'}}f_{1}\right|_{x_{1}}^{x_{2}}\\&=\int _{x_{1}}^{x_{2}}f_{1}\left({\frac {\partial L}{\partial f}}-{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}\right)\,dx\\&=0\end{aligned}}}

kie estas uzata la ĉena regulo en la dua linio kaj poparta integralado en la tria. Same kiel antaŭe, la lasta termo en la tria linio estas nula pro elekto de f1. Fine, laŭ la fundamenta lemo de kalkulo de variadoj, oni trovas ke L kontentigas ekvacion Eŭlero-Lagrange:

− d d x ∂ L ∂ f ′ + ∂ L ∂ f = 0 {\displaystyle -{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}+{\frac {\partial L}{\partial f}}=0} {\displaystyle -{\frac {d}{dx}}{\frac {\partial L}{\partial f'}}+{\frac {\partial L}{\partial f}}=0}

Ĝenerale ĉi tio donas ordinaran diferencialan ekvacion de la dua ordo kiu povas esti solvita por ricevi la ekstremuman f. La ekvacio de Eŭlero-Lagrange estas necesa sed ne sufiĉa kondiĉo por la ekstremumo.

Kalkulo de variadoj povas esti uzata por trovi vojon de lumo. Principo de Fermat statas ke lumo iras laŭ vojo kiu loke minimumigas optikan longon inter la finpunktoj. Se la x-koordinato estas elektita kiel parametro laŭ la vojo, kaj y=f(x) laŭ la vojo, tiam la optika longo estas

A [ f ] = ∫ x = x 0 x 1 n ( x , f ( x ) ) 1 + f ′ ( x ) 2 d x {\displaystyle A[f]=\int _{x=x_{0}}^{x_{1}}n(x,f(x)){\sqrt {1+f'(x)^{2}}}dx} {\displaystyle A[f]=\int _{x=x_{0}}^{x_{1}}n(x,f(x)){\sqrt {1+f'(x)^{2}}}dx}

kie la refrakta indico n(x, y) dependas de la materialo en ĉiu punkto.

Oni provu f ( x ) = f 0 ( x ) + ϵ f 1 ( x ) {\displaystyle f(x)=f_{0}(x)+\epsilon f_{1}(x)} {\displaystyle f(x)=f_{0}(x)+\epsilon f_{1}(x)}, tiam la unua variado de A (la derivaĵo de A je ε) estas

δ A [ f 0 , f 1 ] = ∫ x = x 0 x 1 [ n ( x , f 0 ) f 0 ′ ( x ) f 1 ′ ( x ) 1 + f 0 ′ ( x ) 2 + n y ( x , f 0 ) f 1 ] d x {\displaystyle \delta A[f_{0},f_{1}]=\int _{x=x_{0}}^{x_{1}}\left[{\frac {n(x,f_{0})f_{0}'(x)f_{1}'(x)}{\sqrt {1+f_{0}'(x)^{2}}}}+n_{y}(x,f_{0})f_{1}\right]dx} {\displaystyle \delta A[f_{0},f_{1}]=\int _{x=x_{0}}^{x_{1}}\left[{\frac {n(x,f_{0})f_{0}'(x)f_{1}'(x)}{\sqrt {1+f_{0}'(x)^{2}}}}+n_{y}(x,f_{0})f_{1}\right]dx}

Post poparta integralado de la unua termo en krampoj, rezultiĝas la ekvacio de Eŭlero-Lagrange

− d d x [ n ( x , f 0 ) f 0 ′ 1 + f 0 ′ 2 ] + n y ( x , f 0 ) = 0 {\displaystyle -{\frac {d}{dx}}\left[{\frac {n(x,f_{0})f_{0}'}{\sqrt {1+f_{0}'^{2}}}}\right]+n_{y}(x,f_{0})=0} {\displaystyle -{\frac {d}{dx}}\left[{\frac {n(x,f_{0})f_{0}'}{\sqrt {1+f_{0}'^{2}}}}\right]+n_{y}(x,f_{0})=0}

La vojo de lumo povas esti difinita per integralado de ĉi tiu ekvacio.

Leĝo de Snell

Estas nekontinueco de la refrakta indico je surfaco de lenso aŭ la alia objekto farita el materialo kun malsama refrakta indico. Estu la refrakta indico n(x, y) difinita kiel

n(x, y) = n- por x<0
n(x, y) = n+ por x>0

kie n- kaj n+ estas konstantoj. Tiam la ekvacio de Eŭlero-Lagrange veras kiel antaŭe en la regionoj x<0 kaj x>0, kaj fakte la vojo estas rekto en ĉiu aparta regiono ĉar la refrakta indico estas konstanto. Je x=0, f devas esti kontinua, sed f' povas esti nekontinua. Post poparta integralado en la apartaj regionoj kaj uzante la ekvacion de Eŭlero-Lagrange, la unua variado prenas formon

δ A [ f 0 , f 1 ] = f 1 ( 0 ) [ n − f 0 ′ ( 0 − ) 1 + f 0 ′ ( 0 − ) 2 − n + f 0 ′ ( 0 + ) 1 + f 0 ′ ( 0 + ) 2 ] {\displaystyle \delta A[f_{0},f_{1}]=f_{1}(0)\left[n_{-}{\frac {f_{0}'(0_{-})}{\sqrt {1+f_{0}'(0_{-})^{2}}}}-n_{+}{\frac {f_{0}'(0_{+})}{\sqrt {1+f_{0}'(0_{+})^{2}}}}\right]} {\displaystyle \delta A[f_{0},f_{1}]=f_{1}(0)\left[n_{-}{\frac {f_{0}'(0_{-})}{\sqrt {1+f_{0}'(0_{-})^{2}}}}-n_{+}{\frac {f_{0}'(0_{+})}{\sqrt {1+f_{0}'(0_{+})^{2}}}}\right]}

La faktoro ĉe n- estas la sinuso de angulo de la radio kun la x-akso (kiu estas orta al surfaco disdividanta volumenojn kun malsamaj refraktaj indicoj), kaj la faktoro ĉe n+ estas la sinuso de angulo de la refraktita radio kun la x-akso. Vojo de la lumo estas tia ke nuliĝas la unua variado de la optika voja longo, kio tuj donas la leĝon de Snell por refrakto, kiu statas ke ĉi tiuj termoj estu egalaj.

  • Funkcionala analitiko
  • Perturbaj manieroj
  • Variada principo
  • Malfinidimensia optimumigo
  • Ekvacio de Eŭlero-Lagrange
  • Fundamenta lemo de kalkulo de variadoj
  • Lagranĝa mekaniko
  • Samperimetra neegalaĵo
  • Principo de Fermat
  • Principo de plej malgranda ago
  • Optimuma regado
  • Kategorio Variada kalkulo en la Vikimedia Komunejo (Multrimedaj datumoj)
  • Kalkulo de variadoj en PlanetMath.
  • Eric W. Weisstein, Kalkulo de variadoj en MathWorld.
  • Arkivigite je 2006-03-11 per la retarkivo Wayback Machine Johan Byström, Lars-Erik Persson, kaj Fredrik Strömberg. Ĉapitro III: Enkonduko al la kalkulo de variadoj.
  • Kalkulo de variadoj Arkivigite je 2017-06-09 per la retarkivo Wayback Machine, ekzemplaj problemoj.
  • Ĉapitro 8: Kalkulo de Variadoj Arkivigite je 2007-09-11 per la retarkivo Wayback Machine, de Optimumigo por inĝenieradaj sistemoj Arkivigite je 2007-07-05 per la retarkivo Wayback Machine, de Ralph W. Pike, Luiziana Universitato.
Edit in WikipediaRevision historyRead in Wikipedia

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Chrome
Wikiwand for Chrome
Edge
Wikiwand for Edge
Firefox
Wikiwand for Firefox

Malforta kaj forta ekstremumoj

Ekvacio de Eŭlero-Lagrange

Vojo de lumo kaj principo de Fermat

Vidu ankaŭ

Eksteraj ligiloj