Analiza matematyczna 2/Ćwiczenia 15: Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego: Różnice pomiędzy wersjami
m Zastępowanie tekstu – „ </math>” na „</math>” |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
Linia 2: | Linia 2: | ||
{{cwiczenie|15.1.|| | {{cwiczenie|15.1.|| | ||
W przestrzeni <math> C^1 [0,1]</math> funkcji | W przestrzeni <math>C^1 [0,1]</math> funkcji | ||
ciągłych o ciągłej pochodnej określamy normę <math> \|\cdot\|</math> wzorem | ciągłych o ciągłej pochodnej określamy normę <math>\|\cdot\|</math> wzorem | ||
<center><math> \|f\| = \max \{ |f(t)| , 0\leq t\leq 1\}+\max \{|f'(t)|, 0\leq t\leq | <center><math>\|f\| = \max \{ |f(t)| , 0\leq t\leq 1\}+\max \{|f'(t)|, 0\leq t\leq | ||
1\}</math>.</center> | 1\}</math>.</center> | ||
Wówczas odległość <math> f</math> od <math> g</math> w tej przestrzeni wynosi | Wówczas odległość <math>f</math> od <math>g</math> w tej przestrzeni wynosi | ||
<math> d(f,g)=\|f-g\|</math>. | <math>d(f,g)=\|f-g\|</math>. | ||
a) Wyznaczyć odległość funkcji <math> f(t)=t</math> i <math> g(t)=t^2</math> w tej | a) Wyznaczyć odległość funkcji <math>f(t)=t</math> i <math>g(t)=t^2</math> w tej | ||
przestrzeni. | przestrzeni. | ||
b) Wyznaczyć odległość funkcji <math> f(t)=t</math> i <math> g(t)=\ln (1+t)</math> w tej | b) Wyznaczyć odległość funkcji <math>f(t)=t</math> i <math>g(t)=\ln (1+t)</math> w tej | ||
przestrzeni. }} | przestrzeni. }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
a), b) Wyznaczyć w przedziale <math> [0,1]</math> ekstrema funkcji <math> t\mapsto f(t)-g(t)</math> oraz <math> t\mapsto f'(t)-g'(t)</math>. | a), b) Wyznaczyć w przedziale <math>[0,1]</math> ekstrema funkcji <math>t\mapsto f(t)-g(t)</math> oraz <math>t\mapsto f'(t)-g'(t)</math>. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
a) Funkcja <math> h(t)=f(t)-g(t)=t-t^2</math> jest | a) Funkcja <math>h(t)=f(t)-g(t)=t-t^2</math> jest | ||
nieujemna w przedziale <math> [0,1]</math> i osiąga wartość największą w | nieujemna w przedziale <math>[0,1]</math> i osiąga wartość największą w | ||
punkcie <math> t=\frac{1}{2}</math>. Natomiast pochodna <math> h'(t)=1-2t</math> jest | punkcie <math>t=\frac{1}{2}</math>. Natomiast pochodna <math>h'(t)=1-2t</math> jest | ||
ściśle malejąca w danym przedziale, a więc funkcja <math> t\mapsto | ściśle malejąca w danym przedziale, a więc funkcja <math>t\mapsto | ||
|h'(t)|</math> osiąga największą wartość na końcach przedziału. Stąd | |h'(t)|</math> osiąga największą wartość na końcach przedziału. Stąd | ||
<center><math> \|f-g\|=\big|h\big(\frac{1}{2}\big)\big|+|h'(0)|=\frac{1}{4}+1=\frac{5}{4}</math>.</center> | <center><math>\|f-g\|=\big|h\big(\frac{1}{2}\big)\big|+|h'(0)|=\frac{1}{4}+1=\frac{5}{4}</math>.</center> | ||
b) Funkcja <math> h(t)=t-\ln(1+t)</math> jest ściśle rosnąca i nieujemna w | b) Funkcja <math>h(t)=t-\ln(1+t)</math> jest ściśle rosnąca i nieujemna w | ||
przedziale <math> [0,1]</math>, więc <math> t\mapsto |h(t)|</math> osiąga największą | przedziale <math>[0,1]</math>, więc <math>t\mapsto |h(t)|</math> osiąga największą | ||
wartość w punkcie <math> t=1</math>. Podobnie pochodna <math> h'(t)=1-\frac{1}{1+t}</math> | wartość w punkcie <math>t=1</math>. Podobnie pochodna <math>h'(t)=1-\frac{1}{1+t}</math> | ||
jest ściśle rosnąca i nieujemna w przedziale <math> [0,1]</math>, więc | jest ściśle rosnąca i nieujemna w przedziale <math>[0,1]</math>, więc | ||
<math> t\mapsto |h'(t)|</math> osiąga największą wartość także w punkcie | <math>t\mapsto |h'(t)|</math> osiąga największą wartość także w punkcie | ||
<math> t=1</math>. Stąd <center><math> \|f-g\|=h(1)+h'(1)=1-\ln | <math>t=1</math>. Stąd <center><math>\|f-g\|=h(1)+h'(1)=1-\ln | ||
2+1-\frac{1}{2}=\frac{3}{2}-\ln 2</math>.</center> | 2+1-\frac{1}{2}=\frac{3}{2}-\ln 2</math>.</center> | ||
Linia 46: | Linia 46: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
a) Zróżniczkować lewą stronę równania Lagrange'a-Eulera | a) Zróżniczkować lewą stronę równania Lagrange'a-Eulera | ||
<center><math> \frac{d}{dt}\frac{\partial L}{\partial y}(f, f', t)=\frac{\partial L}{\partial x}(f, | <center><math>\frac{d}{dt}\frac{\partial L}{\partial y}(f, f', t)=\frac{\partial L}{\partial x}(f, | ||
f',t) | f',t) | ||
</math></center> | </math></center> | ||
i uporządkować równanie według pochodnych niewiadomej <math> f=f(t)</math>. | i uporządkować równanie według pochodnych niewiadomej <math>f=f(t)</math>. | ||
b) Czy otrzymane równanie jest liniowe? | b) Czy otrzymane równanie jest liniowe? | ||
Linia 58: | Linia 58: | ||
a) Ze wzoru na pochodną złożenia funkcji | a) Ze wzoru na pochodną złożenia funkcji | ||
mamy | mamy | ||
<center><math> \begin{align} \frac{d}{dt}\frac{\partial L}{\partial y}(f, f',t) | <center><math>\begin{align} \frac{d}{dt}\frac{\partial L}{\partial y}(f, f',t) | ||
&=\frac{\partial^2 L}{\partial t\partial | &=\frac{\partial^2 L}{\partial t\partial | ||
y}(f,f',t)\frac{d}{dt}t+\frac{\partial^2 L}{\partial x\partial | y}(f,f',t)\frac{d}{dt}t+\frac{\partial^2 L}{\partial x\partial | ||
Linia 67: | Linia 67: | ||
y^2}(f,f',t)f''.\end{align}</math></center> | y^2}(f,f',t)f''.\end{align}</math></center> | ||
Stąd równanie Lagrange'a-Eulera jest | Stąd równanie Lagrange'a-Eulera jest | ||
tożsame z równaniem <center><math> \frac{\partial^2 L}{\partial t\partial | tożsame z równaniem <center><math>\frac{\partial^2 L}{\partial t\partial | ||
y}(f,f',t)+\frac{\partial^2 L}{\partial x\partial | y}(f,f',t)+\frac{\partial^2 L}{\partial x\partial | ||
y}(f,f',t)f'+\frac{\partial^2 L}{\partial | y}(f,f',t)f'+\frac{\partial^2 L}{\partial | ||
Linia 73: | Linia 73: | ||
które | które | ||
możemy również zapisać bez szczegółowego zapisywania argumentów | możemy również zapisać bez szczegółowego zapisywania argumentów | ||
pochodnych cząstkowych funkcji Lagrange'a <math> L</math> w postaci | pochodnych cząstkowych funkcji Lagrange'a <math>L</math> w postaci | ||
<center><math> \frac{\partial^2 L}{\partial t\partial | <center><math>\frac{\partial^2 L}{\partial t\partial | ||
y}+\frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | y}+\frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | ||
L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>.</center> | L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>.</center> | ||
W równaniu | W równaniu | ||
tym występują wyłącznie niewiadoma <math> f</math> i jej pierwsza i druga | tym występują wyłącznie niewiadoma <math>f</math> i jej pierwsza i druga | ||
pochodna po zmiennej <math> t</math>. Jest więc to równanie różniczkowe | pochodna po zmiennej <math>t</math>. Jest więc to równanie różniczkowe | ||
zwyczajne rzędu (co najwyżej) drugiego. | zwyczajne rzędu (co najwyżej) drugiego. | ||
b) Na ogół równanie Lagrange'a-Eulera nie jest równaniem liniowym, | b) Na ogół równanie Lagrange'a-Eulera nie jest równaniem liniowym, | ||
gdyż pochodne <center><math> \frac{\partial^2 L}{\partial t\partial | gdyż pochodne <center><math>\frac{\partial^2 L}{\partial t\partial | ||
y}(f,f',t), \ \frac{\partial^2 L}{\partial x\partial y}(f,f',t), | y}(f,f',t), \ \frac{\partial^2 L}{\partial x\partial y}(f,f',t), | ||
\frac{\partial^2 L}{\partial y^2}(f,f',t), \ \frac{\partial | \frac{\partial^2 L}{\partial y^2}(f,f',t), \ \frac{\partial | ||
L}{\partial x}(f,f',t)</math></center> | L}{\partial x}(f,f',t)</math></center> | ||
zależą zazwyczaj od niewiadomej <math> f</math> i jej | zależą zazwyczaj od niewiadomej <math>f</math> i jej | ||
pochodnej <math> f'</math>. Jedynie w szczególnym przypadku, gdy pochodne te | pochodnej <math>f'</math>. Jedynie w szczególnym przypadku, gdy pochodne te | ||
zależą wyłącznie od zmiennej niezależnej <math> t</math> lub są stałe, | zależą wyłącznie od zmiennej niezależnej <math>t</math> lub są stałe, | ||
równanie Lagrange'a-Eulera jest równaniem różniczkowym liniowym. | równanie Lagrange'a-Eulera jest równaniem różniczkowym liniowym. | ||
</div></div> | </div></div> | ||
{{cwiczenie|15.3.|| | {{cwiczenie|15.3.|| | ||
Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a <center><math> (x,y,t)\mapsto L(x,y,t)</math></center> | Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a <center><math>(x,y,t)\mapsto L(x,y,t)</math></center> | ||
nie zależy od zmiennej <math> y</math>? Wyznaczyć ekstremalę funkcjonału | nie zależy od zmiennej <math>y</math>? Wyznaczyć ekstremalę funkcjonału | ||
<center><math> \begin{align} | <center><math>\begin{align} | ||
{\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac | {\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac | ||
\pi 4;\\ | \pi 4;\\ | ||
Linia 110: | Linia 110: | ||
Jeśli zapiszemy nasz funkcjonał w postaci | Jeśli zapiszemy nasz funkcjonał w postaci | ||
<center><math> | <center><math> | ||
J[y]=\int_0^1 L(f,f',t)dt, | J[y]=\int_0^1 L(f,f',t)dt, | ||
</math></center> | </math></center> | ||
to jaki jest wzór na <math> L(f,f',t)</math>? Przypominamy, że należy sprawdzić, czy rozwiązanie tego równania spełnia warunki brzegowe. | to jaki jest wzór na <math>L(f,f',t)</math>? Przypominamy, że należy sprawdzić, czy rozwiązanie tego równania spełnia warunki brzegowe. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Jeśli funkcja <math> L</math> nie zależy od drugiej | Jeśli funkcja <math>L</math> nie zależy od drugiej | ||
zmiennej, to <math> \dfrac{\partial L}{\partial y}=0</math>, więc również | zmiennej, to <math>\dfrac{\partial L}{\partial y}=0</math>, więc również | ||
<math> \dfrac{d}{dt} \dfrac{\partial L}{\partial y}=0</math> i równanie | <math>\dfrac{d}{dt} \dfrac{\partial L}{\partial y}=0</math> i równanie | ||
Lagrange'a-Eulera przyjmuje postać | Lagrange'a-Eulera przyjmuje postać | ||
<center><math> | <center><math> | ||
\frac{\partial L}{\partial x} (f,f',t)=0. | \frac{\partial L}{\partial x} (f,f',t)=0. | ||
</math></center> | </math></center> | ||
a) Mamy | a) Mamy | ||
<center><math> | <center><math> | ||
J[y]=\int_0^1 L(f,f',t)dt, | J[y]=\int_0^1 L(f,f',t)dt, | ||
</math></center> | </math></center> | ||
gdzie <math> L(f,f',t)= t\sin f -\cos f</math>, czyli <math> L</math> nie zależy od | gdzie <math>L(f,f',t)= t\sin f -\cos f</math>, czyli <math>L</math> nie zależy od | ||
drugiej zmiennej i możemy zastosować wypisaną powyżej postać | drugiej zmiennej i możemy zastosować wypisaną powyżej postać | ||
równania Lagrange'a-Eulera. W naszym przypadku otrzymujemy rówanie | równania Lagrange'a-Eulera. W naszym przypadku otrzymujemy rówanie | ||
<math> t\cos f+\sin f=0</math>, a ponieważ <math> f(0)=0</math>, więc <math> f(t) =-\mathrm{arctg}\, t</math>. | <math>t\cos f+\sin f=0</math>, a ponieważ <math>f(0)=0</math>, więc <math>f(t) =-\mathrm{arctg}\, t</math>. | ||
Mamy także <math> f(1)=-\frac \pi 4</math>, zatem <math> f(t)=- \mathrm{arctg}\, t</math> jest | Mamy także <math>f(1)=-\frac \pi 4</math>, zatem <math>f(t)=- \mathrm{arctg}\, t</math> jest | ||
ekstremalą naszego funkcjonału. | ekstremalą naszego funkcjonału. | ||
b) Podobnie jak w przypadku a) nasza funkcja nie zależy od drugiej | b) Podobnie jak w przypadku a) nasza funkcja nie zależy od drugiej | ||
zmiennej, bo mamy <math> L(f,f',t)=(t+1)e^f-fe^t</math>. Otrzymujemy równanie | zmiennej, bo mamy <math>L(f,f',t)=(t+1)e^f-fe^t</math>. Otrzymujemy równanie | ||
<math> (t+1)e^f-e^t=0</math>, a stąd <math> f(t)= t-\ln(t+1)</math>. Jednakże, choć | <math>(t+1)e^f-e^t=0</math>, a stąd <math>f(t)= t-\ln(t+1)</math>. Jednakże, choć | ||
<math> f(0)=0</math>, to <math> f(1)=1-\ln{2}\neq 1</math>, zatem funkcja <math> f</math> nie jest | <math>f(0)=0</math>, to <math>f(1)=1-\ln{2}\neq 1</math>, zatem funkcja <math>f</math> nie jest | ||
ekstremalą naszego funkcjonału. | ekstremalą naszego funkcjonału. | ||
Linia 149: | Linia 149: | ||
{{cwiczenie|15.4.|| | {{cwiczenie|15.4.|| | ||
Jak wygląda równanie Lagrange'a-Eulera, | Jak wygląda równanie Lagrange'a-Eulera, | ||
jeśli funkcja <math> L</math> nie zależy ani od pierwszej, ani od trzeciej | jeśli funkcja <math>L</math> nie zależy ani od pierwszej, ani od trzeciej | ||
zmiennej? Wyznaczyć ekstremalę funkcjonału | zmiennej? Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | <center><math> | ||
J[f]= \int_0^1((f')^2+f'+3)dt,\quad f(0)=0, f(1)=5. | J[f]= \int_0^1((f')^2+f'+3)dt,\quad f(0)=0, f(1)=5. | ||
</math></center> | </math></center> | ||
Linia 158: | Linia 158: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Ile wynosi pochodna cząstkowa naszej funkcji <math> L</math> po pierwszej zmiennej? | Ile wynosi pochodna cząstkowa naszej funkcji <math>L</math> po pierwszej zmiennej? | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
W tym przypadku <math> L(x,y,t)=u(y)</math>, zatem | W tym przypadku <math>L(x,y,t)=u(y)</math>, zatem | ||
<math> \dfrac{\partial L}{\partial x}=0</math>. Z kolei <math> | <math>\dfrac{\partial L}{\partial x}=0</math>. Z kolei <math> \dfrac{d}{dt} | ||
\dfrac{\partial L(f,f',t)}{\partial y} = \dfrac{d}{dt} u'(f'(t))= | \dfrac{\partial L(f,f',t)}{\partial y} = \dfrac{d}{dt} u'(f'(t))= | ||
f''(t)u''(t)=f''(t)\dfrac{\partial^2 L(f,f',t)}{\partial y^2}</math>, | f''(t)u''(t)=f''(t)\dfrac{\partial^2 L(f,f',t)}{\partial y^2}</math>, | ||
zatem równanie Lagrange'a-Eulera przyjmuje postać | zatem równanie Lagrange'a-Eulera przyjmuje postać | ||
<center><math> | <center><math> | ||
f''\dfrac{\partial^2 L(f,f',t)}{\partial y^2}=0. | f''\dfrac{\partial^2 L(f,f',t)}{\partial y^2}=0. | ||
</math></center> | </math></center> | ||
W naszym przykładzie <math> L(x,y,t)=y^2+y+3</math>, zatem <math> \dfrac {\partial^2 | W naszym przykładzie <math>L(x,y,t)=y^2+y+3</math>, zatem <math>\dfrac {\partial^2 | ||
L}{\partial y^2}=2</math>. Otrzymujemy stąd równanie <math> 2f''=0</math>, którego | L}{\partial y^2}=2</math>. Otrzymujemy stąd równanie <math>2f''=0</math>, którego | ||
rozwiązaniem jest funkcja liniowa <math> f(t)=C_1t+C_2</math>. Wobec warunków | rozwiązaniem jest funkcja liniowa <math>f(t)=C_1t+C_2</math>. Wobec warunków | ||
brzegowych mamy <math> f(t)-0=\frac{5-0}{1-0}(x-0)</math>, czyli <math> f(t)=5t</math>. | brzegowych mamy <math>f(t)-0=\frac{5-0}{1-0}(x-0)</math>, czyli <math>f(t)=5t</math>. | ||
</div></div> | </div></div> | ||
Linia 181: | Linia 181: | ||
{{cwiczenie|15.5.|cw_15_5| | {{cwiczenie|15.5.|cw_15_5| | ||
Wykazać, że jeśli funkcja Lagrange'a | Wykazać, że jeśli funkcja Lagrange'a | ||
<math> (x, y, t)\mapsto L(x,y,t)</math> nie zależy od zmiennej <math> t</math>, to | <math>(x, y, t)\mapsto L(x,y,t)</math> nie zależy od zmiennej <math>t</math>, to | ||
równanie Lagrange'a -Eulera jest równoważne równaniu | równanie Lagrange'a -Eulera jest równoważne równaniu | ||
<math> L-f'\frac{\partial L}{\partial y}=C,</math> to jest równaniu | <math>L-f'\frac{\partial L}{\partial y}=C,</math> to jest równaniu | ||
<center><math> L(f, f',t)-f' \frac{\partial L}{\partial y}(f, f',t)=C, | <center><math>L(f, f',t)-f' \frac{\partial L}{\partial y}(f, f',t)=C, | ||
</math></center> | </math></center> | ||
gdzie <math> C</math> jest pewną stałą. | gdzie <math>C</math> jest pewną stałą. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">Zróżniczkować obie strony równości <math> L-f'\frac{\partial L}{\partial y}=C</math> po zmiennej <math> t</math> i porównać z równaniem Lagrange'a-Eulera. | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">Zróżniczkować obie strony równości <math>L-f'\frac{\partial L}{\partial y}=C</math> po zmiennej <math>t</math> i porównać z równaniem Lagrange'a-Eulera. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Gdy funkcja Lagrange'a <math> L=L(x,y,t)</math> nie | Gdy funkcja Lagrange'a <math>L=L(x,y,t)</math> nie | ||
zależy od zmiennej <math> t</math>, równanie Lagrange'a-Eulera | zależy od zmiennej <math>t</math>, równanie Lagrange'a-Eulera | ||
<center><math> \frac{d}{dt}\frac{\partial L}{\partial y}-\frac{\partial | <center><math>\frac{d}{dt}\frac{\partial L}{\partial y}-\frac{\partial | ||
L}{\partial x}=0</math></center> | L}{\partial x}=0</math></center> | ||
przyjmuje postać: | przyjmuje postać: | ||
<center><math> \frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | <center><math>\frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | ||
L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>,</center> | L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>,</center> | ||
gdyż | gdyż | ||
<math> \frac{\partial^2 L}{\partial t\partial y}=0</math> (por. rozwiązanie [[#cw_15_5|ćwiczenia 15.5.]]). Z kolei różniczkując po zmiennej <math> t</math> | <math>\frac{\partial^2 L}{\partial t\partial y}=0</math> (por. rozwiązanie [[#cw_15_5|ćwiczenia 15.5.]]). Z kolei różniczkując po zmiennej <math>t</math> | ||
obie strony równości <math> L-f'\frac{\partial L}{\partial y}=C</math>, | obie strony równości <math>L-f'\frac{\partial L}{\partial y}=C</math>, | ||
dostajemy | dostajemy | ||
<center><math> \begin{align} 0&=\frac{d}{dt}\big(L-f'\frac{\partial L}{\partial | <center><math>\begin{align} 0&=\frac{d}{dt}\big(L-f'\frac{\partial L}{\partial | ||
y}\big)\\&=\frac{\partial L}{\partial x}f'+\frac{\partial | y}\big)\\&=\frac{\partial L}{\partial x}f'+\frac{\partial | ||
L}{\partial y}f''-f''\frac{\partial L}{\partial | L}{\partial y}f''-f''\frac{\partial L}{\partial | ||
Linia 218: | Linia 218: | ||
</math></center> | </math></center> | ||
Stąd <math> L-f'\frac{\partial L}{\partial y}=C</math> wtedy i tylko wtedy, | Stąd <math>L-f'\frac{\partial L}{\partial y}=C</math> wtedy i tylko wtedy, | ||
gdy <center><math> | gdy <center><math> \frac{d}{dt}\big(L-f'\frac{\partial L}{\partial y}\big)=0</math></center> | ||
co ma miejsce wtedy i tylko wtedy, gdy <math> f</math> spełnia równanie | co ma miejsce wtedy i tylko wtedy, gdy <math>f</math> spełnia równanie | ||
<center><math> \frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | <center><math>\frac{\partial^2 L}{\partial x\partial y}f'+\frac{\partial^2 | ||
L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>,</center> | L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>,</center> | ||
równoważne | równoważne | ||
równaniu Lagrange'a-Eulera, w przypadku, gdy funkcja Lagrange'a | równaniu Lagrange'a-Eulera, w przypadku, gdy funkcja Lagrange'a | ||
<math> L</math> nie zależy od zmiennej <math> t</math>. | <math>L</math> nie zależy od zmiennej <math>t</math>. | ||
</div></div> | </div></div> | ||
Linia 232: | Linia 232: | ||
{{cwiczenie|15.6.|| | {{cwiczenie|15.6.|| | ||
a) Wyznaczyć ekstremalę funkcjonału | a) Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | <center><math> | ||
J[f]=\int_a^b (f^2-f')e^{-t}dt,\quad f(a)=A, f(b)=B. | J[f]=\int_a^b (f^2-f')e^{-t}dt,\quad f(a)=A, f(b)=B. | ||
</math></center> | </math></center> | ||
Linia 240: | Linia 240: | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">Funkcja Lagrange'a <math> L(x,y,t)=(x^2-y)e^{-t}</math> zależy w tym przypadku od wszystkich trzech zmiennych <math> x,y,t</math>. Jak wygląda <math> \frac{\partial L}{\partial y}</math>? | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none">Funkcja Lagrange'a <math>L(x,y,t)=(x^2-y)e^{-t}</math> zależy w tym przypadku od wszystkich trzech zmiennych <math>x,y,t</math>. Jak wygląda <math>\frac{\partial L}{\partial y}</math>? | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
a) Ponieważ <math> \frac{\partial L}{\partial | a) Ponieważ <math>\frac{\partial L}{\partial | ||
x}=2xe^{-t}</math> oraz <math> \frac{\partial L}{\partial y}=-e^{-t}</math>, więc | x}=2xe^{-t}</math> oraz <math>\frac{\partial L}{\partial y}=-e^{-t}</math>, więc | ||
równanie Lagrange'a- Eulera ma postać <center><math> 2fe^{-t}=e^{-t}</math>.</center> | równanie Lagrange'a- Eulera ma postać <center><math>2fe^{-t}=e^{-t}</math>.</center> | ||
Ponieważ <math> t\mapsto e^{-t}</math> nigdy się nie zeruje, więc tylko | Ponieważ <math>t\mapsto e^{-t}</math> nigdy się nie zeruje, więc tylko | ||
funkcja stała <math> f(t)=\frac12</math> spełnia to równanie. Wobec tego | funkcja stała <math>f(t)=\frac12</math> spełnia to równanie. Wobec tego | ||
problem wariacyjny nie ma rozwiązania, gdy <math> A\neq \frac12</math> lub | problem wariacyjny nie ma rozwiązania, gdy <math>A\neq \frac12</math> lub | ||
<math> B\neq \frac12</math>. Jedynie w szczególnym przypadku, gdy | <math>B\neq \frac12</math>. Jedynie w szczególnym przypadku, gdy | ||
<math> A=B=\frac12</math>, problem ma rozwiązanie <math> f(t)=\frac12</math>. | <math>A=B=\frac12</math>, problem ma rozwiązanie <math>f(t)=\frac12</math>. | ||
b) Ten prosty przykład pokazuje, że zagadnienie wariacyjne może | b) Ten prosty przykład pokazuje, że zagadnienie wariacyjne może | ||
Linia 263: | Linia 263: | ||
Wyznaczyć ekstremalę funkcjonału | Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | <center><math> | ||
J[f]=\int_{-1}^{2}\frac{\sqrt{1+(f')^2}}{f}dt, \quad f(-1)=1, | J[f]=\int_{-1}^{2}\frac{\sqrt{1+(f')^2}}{f}dt, \quad f(-1)=1, | ||
f(2)=4. | f(2)=4. | ||
Linia 271: | Linia 271: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Funkcja Lagrange'a <math> L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math> t</math>. | Funkcja Lagrange'a <math>L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math>t</math>. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">Skoro funkcja Lagrange'a | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none">Skoro funkcja Lagrange'a | ||
<math> L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math> t</math>, | <math>L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math>t</math>, | ||
równanie Lagrange'a-Eulera jest równoważne równaniu | równanie Lagrange'a-Eulera jest równoważne równaniu | ||
<math> L-f'\frac{\partial L}{\partial y}=C^*</math>, gdzie <math> C^*</math> jest pewną | <math>L-f'\frac{\partial L}{\partial y}=C^*</math>, gdzie <math>C^*</math> jest pewną | ||
stałą. Równanie to | stałą. Równanie to | ||
<center><math> \frac{\sqrt{1+(f')^2}}{f}-f'\frac{f'}{f\sqrt{1+(f')^2}}=C^*</math></center> | <center><math>\frac{\sqrt{1+(f')^2}}{f}-f'\frac{f'}{f\sqrt{1+(f')^2}}=C^*</math></center> | ||
po przekształceniu (tj. po sprowadzeniu ułamków do wspólnego | po przekształceniu (tj. po sprowadzeniu ułamków do wspólnego | ||
mianownika i redukcji wyrazów podobnych) przyjmuje postać | mianownika i redukcji wyrazów podobnych) przyjmuje postać | ||
<center><math> f\sqrt{1+(f')^2}=C</math>,</center> | <center><math>f\sqrt{1+(f')^2}=C</math>,</center> | ||
gdzie <math> C=\frac1{c^*}</math>. Stąd po wyliczeniu <math> f'</math> i rozdzieleniu | gdzie <math>C=\frac1{c^*}</math>. Stąd po wyliczeniu <math>f'</math> i rozdzieleniu | ||
zmiennych dostajemy | zmiennych dostajemy | ||
<center><math> \frac{df}{dt}=\frac{\sqrt{C^2-f^2}}{f} \text{ lub } | <center><math>\frac{df}{dt}=\frac{\sqrt{C^2-f^2}}{f} \text{ lub } | ||
\frac{df}{dt}=-\frac{\sqrt{C^2-f^2}}{f}</math>,</center> | \frac{df}{dt}=-\frac{\sqrt{C^2-f^2}}{f}</math>,</center> | ||
czyli | czyli | ||
<center><math> \frac{fdf}{\sqrt{C^2-f^2}}=dt \text{ lub } | <center><math>\frac{fdf}{\sqrt{C^2-f^2}}=dt \text{ lub } | ||
\frac{fdf}{\sqrt{C^2-f^2}}=-dt</math>,</center> | \frac{fdf}{\sqrt{C^2-f^2}}=-dt</math>,</center> | ||
Stąd | Stąd | ||
<center><math> t=-\sqrt{C^2-f^2}+C_1 \text{ lub } t=\sqrt{C^2-f^2}+C_1</math>,</center> | <center><math>t=-\sqrt{C^2-f^2}+C_1 \text{ lub } t=\sqrt{C^2-f^2}+C_1</math>,</center> | ||
bądź w postaci uwikłanej <center><math> (t-C_1)^2+f^2=C^2</math>.</center> | bądź w postaci uwikłanej <center><math>(t-C_1)^2+f^2=C^2</math>.</center> | ||
Uwzględniając warunki <math> f(-1)=1</math> oraz <math> f(2)=4</math>, dostajemy | Uwzględniając warunki <math>f(-1)=1</math> oraz <math>f(2)=4</math>, dostajemy | ||
<math> (t-3)^2+f^2=17</math>. | <math>(t-3)^2+f^2=17</math>. | ||
</div></div> | </div></div> | ||
Linia 304: | Linia 304: | ||
{{cwiczenie|15.8.|| | {{cwiczenie|15.8.|| | ||
Wyznaczyć ekstremalę funkcjonału | Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | <center><math> | ||
J[f]=\int_{1}^{2}(t^2(f')^2+12f^2)dt, \quad f(1)=1, f(2)=8. | J[f]=\int_{1}^{2}(t^2(f')^2+12f^2)dt, \quad f(1)=1, f(2)=8. | ||
</math></center> | </math></center> | ||
Linia 312: | Linia 312: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Funkcja Lagrange'a | Funkcja Lagrange'a | ||
<center><math> L(x,y,t)=t^2y^2+12x^2</math></center> | <center><math>L(x,y,t)=t^2y^2+12x^2</math></center> | ||
zależy od wszystkich zmiennych: <math> x,y,t</math>. Rozwiązania równania różniczkowego, które otrzymamy w zadaniu po przekształceniu równania Lagrange'a-Eulera, należy szukać w postaci kombinacji liniowej funkcji typu <math> t\mapsto t^r</math>. | zależy od wszystkich zmiennych: <math>x,y,t</math>. Rozwiązania równania różniczkowego, które otrzymamy w zadaniu po przekształceniu równania Lagrange'a-Eulera, należy szukać w postaci kombinacji liniowej funkcji typu <math>t\mapsto t^r</math>. | ||
</div></div> | </div></div> | ||
Linia 321: | Linia 321: | ||
Lagrange'a-Eulera, otrzymamy równanie liniowe jednorodne rzędu | Lagrange'a-Eulera, otrzymamy równanie liniowe jednorodne rzędu | ||
drugiego: | drugiego: | ||
<center><math> t^2f''+2tf'-12f=0</math>.</center> | <center><math>t^2f''+2tf'-12f=0</math>.</center> | ||
Rozwiązania tego równania szukamy wśród funkcji postaci | Rozwiązania tego równania szukamy wśród funkcji postaci | ||
<center><math> f(t)=C_1 t^{r_1}+C_2 t^{r_2}</math>.</center> | <center><math>f(t)=C_1 t^{r_1}+C_2 t^{r_2}</math>.</center> | ||
Wstawiając <math> f(t)=t^r</math> do otrzymanego równania dostajemy równanie | Wstawiając <math>f(t)=t^r</math> do otrzymanego równania dostajemy równanie | ||
charakterystyczne: <center><math> r(r-1)+2r-12=0</math>,</center> | charakterystyczne: <center><math>r(r-1)+2r-12=0</math>,</center> | ||
które spełniają liczby | które spełniają liczby | ||
<math> r_1=3</math> i <math> r_2=-4</math>. Wśród funkcji postaci <center><math> f(t)=C_1 t^3+C_2 | <math>r_1=3</math> i <math>r_2=-4</math>. Wśród funkcji postaci <center><math>f(t)=C_1 t^3+C_2 | ||
t^{-4}</math></center> | t^{-4}</math></center> | ||
warunki <math> f(1)=1,\ f(2)=8</math> spełnia <math> f(t)=t^3</math>. | warunki <math>f(1)=1,\ f(2)=8</math> spełnia <math>f(t)=t^3</math>. | ||
</div></div> | </div></div> | ||
{{cwiczenie|15.9.|| | {{cwiczenie|15.9.|| | ||
Punkt porusza się z prędkością <math> v</math> po | Punkt porusza się z prędkością <math>v</math> po | ||
krzywej <math> x\mapsto (x, y(x))</math> łączącej punkty <math> (0,1)</math> i <math> (1,2)</math> z | krzywej <math>x\mapsto (x, y(x))</math> łączącej punkty <math>(0,1)</math> i <math>(1,2)</math> z | ||
prędkością <math> v</math>. Prędkość (precyzyjniej: długość wektora prędkości) | prędkością <math>v</math>. Prędkość (precyzyjniej: długość wektora prędkości) | ||
jest równa rzędnej punktu, w którym aktualnie się znajduje, tj. | jest równa rzędnej punktu, w którym aktualnie się znajduje, tj. | ||
<math> |v(x,y)|=x</math>. Wyznaczyć krzywą, po której dany punkt przebędzie | <math>|v(x,y)|=x</math>. Wyznaczyć krzywą, po której dany punkt przebędzie | ||
drogę od <math> A</math> do <math> B</math> w najkrótszym czasie. | drogę od <math>A</math> do <math>B</math> w najkrótszym czasie. | ||
}} | }} | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Warto przeanalizować rozwiązanie zadania o brachistochronie. Wyrazić czas <math> t</math> jako funkcję rzędnej <math> x</math> punktu na krzywej <math> y=y(x)</math>. Następnie określić funkcjonał, który wyraża czas, niezbędny do przebycia drogi od <math> A</math> do <math> B</math> po tej krzywej i wyznaczyć ekstremalę funkcjonału. | Warto przeanalizować rozwiązanie zadania o brachistochronie. Wyrazić czas <math>t</math> jako funkcję rzędnej <math>x</math> punktu na krzywej <math>y=y(x)</math>. Następnie określić funkcjonał, który wyraża czas, niezbędny do przebycia drogi od <math>A</math> do <math>B</math> po tej krzywej i wyznaczyć ekstremalę funkcjonału. | ||
</div></div> | </div></div> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
Prędkość punktu w punkcie <math> (x, y)</math> (a | Prędkość punktu w punkcie <math>(x, y)</math> (a | ||
dokładniej: długość wektora prędkości w tym punkcie) wynosi | dokładniej: długość wektora prędkości w tym punkcie) wynosi | ||
<center><math> v=\sqrt{\big(\frac{dx}{dt}\big)^2 | <center><math>v=\sqrt{\big(\frac{dx}{dt}\big)^2 | ||
+\big(\frac{dy}{dt}\big)^2}=\sqrt{1+\big(\frac{dy}{dx}\big)^2}\frac{dx}{dt}</math>.</center> | +\big(\frac{dy}{dt}\big)^2}=\sqrt{1+\big(\frac{dy}{dx}\big)^2}\frac{dx}{dt}</math>.</center> | ||
Uwzględniając fakt, że <math> v=x</math> otrzymujemy równanie | Uwzględniając fakt, że <math>v=x</math> otrzymujemy równanie | ||
<center><math> x=\sqrt{1+\big(\frac{dy}{dx}\big)^2}\frac{dx}{dt}</math>,</center> | <center><math>x=\sqrt{1+\big(\frac{dy}{dx}\big)^2}\frac{dx}{dt}</math>,</center> | ||
które w postaci różniczkowej ma postać | które w postaci różniczkowej ma postać | ||
<center><math> dt=\frac{1}{x}\sqrt{1+\big(\frac{dy}{dx}\big)^2}dx</math>.</center> | <center><math>dt=\frac{1}{x}\sqrt{1+\big(\frac{dy}{dx}\big)^2}dx</math>.</center> | ||
Stąd całkowity czas potrzebny do przebycia drogi od <math> A=(0,1)</math> do | Stąd całkowity czas potrzebny do przebycia drogi od <math>A=(0,1)</math> do | ||
<math> B=(1,2)</math> po krzywej <math> y=y(x)</math> wyraża całka: | <math>B=(1,2)</math> po krzywej <math>y=y(x)</math> wyraża całka: | ||
<center><math> J[y]=\int_{0}^1 \frac{1}{x}\sqrt{1+\big(\frac{dy}{dx}\big)^2}dx</math>.</center> | <center><math>J[y]=\int_{0}^1 \frac{1}{x}\sqrt{1+\big(\frac{dy}{dx}\big)^2}dx</math>.</center> | ||
Funkcja Lagrange'a <math> L(y,z,x)=\frac{1}{x}\sqrt{1+z^2}</math> nie zależy | Funkcja Lagrange'a <math>L(y,z,x)=\frac{1}{x}\sqrt{1+z^2}</math> nie zależy | ||
od zmiennej <math> y</math>, więc równanie Lagrange'a- Eulera jest równoważne | od zmiennej <math>y</math>, więc równanie Lagrange'a- Eulera jest równoważne | ||
w tym przypadku równaniu <center><math> \frac{\partial L}{\partial z}( y, | w tym przypadku równaniu <center><math>\frac{\partial L}{\partial z}( y, | ||
y',x)=C</math>,</center> | y',x)=C</math>,</center> | ||
gdzie <math> C</math> jest pewną stałą. Równanie ekstremali ma więc | gdzie <math>C</math> jest pewną stałą. Równanie ekstremali ma więc | ||
postać | postać | ||
<center><math> \frac{y'}{x\sqrt{1+(y')^2}}=C</math>,</center> | <center><math>\frac{y'}{x\sqrt{1+(y')^2}}=C</math>,</center> | ||
skąd <math> (y')^2=C^2 x^2+C^2x^2(y')^2</math>. Po rozdzieleniu zmiennych | skąd <math>(y')^2=C^2 x^2+C^2x^2(y')^2</math>. Po rozdzieleniu zmiennych | ||
otrzymujemy równanie <center><math> y'=\frac{Cx}{\sqrt{1-C^2 x^2}}</math>,</center> | otrzymujemy równanie <center><math>y'=\frac{Cx}{\sqrt{1-C^2 x^2}}</math>,</center> | ||
które | które | ||
spełniają funkcje: <center><math> y(x)=-\sqrt{1-C^2x^2}+C_1</math>.</center> | spełniają funkcje: <center><math>y(x)=-\sqrt{1-C^2x^2}+C_1</math>.</center> | ||
Uwzględniając | Uwzględniając | ||
współrzędne początku i końca krzywej otrzymujemy <math> C_1=2</math> i <math> C=1</math>. | współrzędne początku i końca krzywej otrzymujemy <math>C_1=2</math> i <math>C=1</math>. | ||
Stąd szukaną ekstremalą jest <center><math> y(x)=-\sqrt{1-x^2}+2</math>.</center> | Stąd szukaną ekstremalą jest <center><math>y(x)=-\sqrt{1-x^2}+2</math>.</center> | ||
Nietrudno | Nietrudno | ||
zauważyć, że wykres tej funkcji jest łukiem okręgu <math> x^2+(y-2)^2=1</math> | zauważyć, że wykres tej funkcji jest łukiem okręgu <math>x^2+(y-2)^2=1</math> | ||
łączącym dane punkty <math> A</math> i <math> B</math>. </div></div> | łączącym dane punkty <math>A</math> i <math>B</math>. </div></div> |
Wersja z 10:32, 5 wrz 2023
Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego
Ćwiczenie 15.1.
W przestrzeni funkcji ciągłych o ciągłej pochodnej określamy normę wzorem
Wówczas odległość od w tej przestrzeni wynosi .
a) Wyznaczyć odległość funkcji i w tej przestrzeni.
b) Wyznaczyć odległość funkcji i w tej
przestrzeni.Ćwiczenie 15.2.
a) Pokazać, że równanie Lagrange'a-Eulera jest równaniem różniczkowym zwyczajnym rzędu (co najwyżej) drugiego.
b) Czy równanie Lagrange'a-Eulera jest równaniem różniczkowym
liniowym?Ćwiczenie 15.3.
nie zależy od zmiennej ? Wyznaczyć ekstremalę funkcjonału
Ćwiczenie 15.4.
Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja nie zależy ani od pierwszej, ani od trzeciej zmiennej? Wyznaczyć ekstremalę funkcjonału
Ćwiczenie 15.5.
Wykazać, że jeśli funkcja Lagrange'a nie zależy od zmiennej , to równanie Lagrange'a -Eulera jest równoważne równaniu to jest równaniu
gdzie jest pewną stałą.
Ćwiczenie 15.6.
a) Wyznaczyć ekstremalę funkcjonału
b) Czy każde zagadnienie wariacyjne ma rozwiązanie?
Ćwiczenie 15.7.
Wyznaczyć ekstremalę funkcjonału
Ćwiczenie 15.8.
Wyznaczyć ekstremalę funkcjonału
Ćwiczenie 15.9.
Punkt porusza się z prędkością po krzywej łączącej punkty i z prędkością . Prędkość (precyzyjniej: długość wektora prędkości) jest równa rzędnej punktu, w którym aktualnie się znajduje, tj. . Wyznaczyć krzywą, po której dany punkt przebędzie drogę od do w najkrótszym czasie.