Analiza matematyczna 2/Ćwiczenia 15: Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego: Różnice pomiędzy wersjami
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
(Nie pokazano 17 wersji utworzonych przez 3 użytkowników) | |||
Linia 2: | Linia 2: | ||
{{cwiczenie|15.1.|| | {{cwiczenie|15.1.|| | ||
W przestrzeni <math> | W przestrzeni <math>C^1 [0,1]</math> funkcji | ||
ciągłych o ciągłej pochodnej określamy normę <math> | ciągłych o ciągłej pochodnej określamy normę <math>\|\cdot\|</math> wzorem | ||
<center><math> | <center><math>\|f\| = \max \{ |f(t)| , 0\leq t\leq 1\}+\max \{|f'(t)|, 0\leq t\leq | ||
1\} | 1\}</math>.</center> | ||
Wówczas odległość <math> | Wówczas odległość <math>f</math> od <math>g</math> w tej przestrzeni wynosi | ||
<math> | <math>d(f,g)=\|f-g\|</math>. | ||
a) Wyznaczyć odległość funkcji <math> | 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> | 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> | 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 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 | |||
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 | |||
ś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 | |||
<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 | |||
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> | |||
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=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> | |||
</div></div> | </div></div> | ||
Linia 28: | 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> | <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> | 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 37: | Linia 55: | ||
</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"> | |||
a) Ze wzoru na pochodną złożenia funkcji | |||
<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"> | |||
mamy | mamy | ||
<center><math> \ | <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 180: | Linia 65: | ||
t\partial y}(f,f',t)+\frac{\partial^2 L}{\partial x\partial | t\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 | ||
y^2}(f,f',t)f''.\ | 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> | 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 | ||
y^2}(f,f',t)f''-\frac{\partial L}{\partial x}(f, f',t)=0 | y^2}(f,f',t)f''-\frac{\partial L}{\partial x}(f, f',t)=0</math></center> | ||
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> | pochodnych cząstkowych funkcji Lagrange'a <math>L</math> w postaci | ||
<center><math> | <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 | 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> | tym występują wyłącznie niewiadoma <math>f</math> i jej pierwsza i druga | ||
pochodna po zmiennej <math> | 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> | 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> | zależą zazwyczaj od niewiadomej <math>f</math> i jej | ||
pochodnej <math> | pochodnej <math>f'</math>. Jedynie w szczególnym przypadku, gdy pochodne te | ||
zależą wyłącznie od zmiennej niezależnej <math> | 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> | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps"> | {{cwiczenie|15.3.|| | ||
zmiennej, to <math> | 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> | ||
<math> | nie zależy od zmiennej <math>y</math>? Wyznaczyć ekstremalę funkcjonału | ||
<center><math>\begin{align} | |||
{\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac | |||
\pi 4;\\ | |||
{\rm b})\; J[f]= \int_0^1 ((t+1)e^f-fe^t)dt,\quad f(0)=0,\, | |||
f(1)=1. | |||
\end{align} | |||
</math></center> | |||
}} | |||
<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"> | |||
Jeśli funkcja trzech zmiennych nie zależy od jednej zmiennej, to ile wynosi pochodna cząstkowa tej funkcji po tej zmiennej? | |||
Jeśli zapiszemy nasz funkcjonał w postaci | |||
<center><math> | |||
J[y]=\int_0^1 L(f,f',t)dt</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. | |||
</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"> | |||
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ż | |||
<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> | 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> | <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> | 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> | zmiennej, bo mamy <math>L(f,f',t)=(t+1)e^f-fe^t</math>. Otrzymujemy równanie | ||
<math> | <math>(t+1)e^f-e^t=0</math>, a stąd <math>f(t)= t-\ln(t+1)</math>. Jednakże, choć | ||
<math> | <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. | ||
</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"> | {{cwiczenie|15.4.|| | ||
<math> | Jak wygląda równanie Lagrange'a-Eulera, | ||
jeśli funkcja <math>L</math> nie zależy ani od pierwszej, ani od trzeciej | |||
zmiennej? Wyznaczyć ekstremalę funkcjonału | |||
<center><math> | |||
J[f]= \int_0^1((f')^2+f'+3)dt,\quad f(0)=0, f(1)=5</math></center> | |||
}} | |||
<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? | |||
</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"> | |||
W tym przypadku <math>L(x,y,t)=u(y)</math>, zatem | |||
<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 | |||
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 | |||
brzegowych mamy <math>f(t)-0=\frac{5-0}{1-0}(x-0)</math>, czyli <math>f(t)=5t</math>. | |||
</div></div> | |||
{{cwiczenie|15.5.|cw_15_5| | |||
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 | |||
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 | |||
<center><math>L(f, f',t)-f' \frac{\partial L}{\partial y}(f, f',t)=C</math>,</center> | |||
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. | |||
L}{\partial y | |||
</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"> | ||
zależy od zmiennej <math> | Gdy funkcja Lagrange'a <math>L=L(x,y,t)</math> nie | ||
<center><math> | zależy od zmiennej <math>t</math>, równanie Lagrange'a-Eulera | ||
<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> | <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 | L}{\partial y^2}f''-\frac{\partial L}{\partial x}=0</math>,</center> | ||
gdyż | gdyż | ||
<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> | |||
dostajemy | dostajemy | ||
<center><math> \ | <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 272: | Linia 209: | ||
L}{\partial x\partial y}f'-\frac{\partial^2 L}{\partial | L}{\partial x\partial y}f'-\frac{\partial^2 L}{\partial | ||
y^2}f''\big). | y^2}f''\big). | ||
\ | \end{align} | ||
</math></center> | </math></center> | ||
Stąd <math> | 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> | co ma miejsce wtedy i tylko wtedy, gdy <math>f</math> spełnia równanie | ||
<center><math> | <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 | 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> | <math>L</math> nie zależy od zmiennej <math>t</math>. | ||
</div></div> | |||
{{cwiczenie|15.6.|| | |||
a) Wyznaczyć ekstremalę funkcjonału | |||
<center><math> | |||
J[f]=\int_a^b (f^2-f')e^{-t}dt,\quad f(a)=A, f(b)=B</math></center> | |||
b) Czy każde zagadnienie wariacyjne ma rozwiązanie? | |||
}} | |||
<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"> | ||
x}=2xe^{-t}</math> oraz <math> | a) Ponieważ <math>\frac{\partial L}{\partial | ||
równanie Lagrange'a- Eulera ma postać <center><math> | 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> | |||
Ponieważ <math> | Ponieważ <math>t\mapsto e^{-t}</math> nigdy się nie zeruje, więc tylko | ||
funkcja stała <math> | funkcja stała <math>f(t)=\frac12</math> spełnia to równanie. Wobec tego | ||
problem wariacyjny nie ma rozwiązania, gdy <math> | problem wariacyjny nie ma rozwiązania, gdy <math>A\neq \frac12</math> lub | ||
<math> | <math>B\neq \frac12</math>. Jedynie w szczególnym przypadku, gdy | ||
<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 302: | Linia 253: | ||
</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"> | {{cwiczenie|15.7.|| | ||
<math> | Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | |||
J[f]=\int_{-1}^{2}\frac{\sqrt{1+(f')^2}}{f}dt, \quad f(-1)=1, | |||
f(2)=4</math></center> | |||
}} | |||
<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>. | |||
</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 | |||
<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> | <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> | <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> | <center><math>f\sqrt{1+(f')^2}=C</math>,</center> | ||
gdzie <math> | gdzie <math>C=\frac1{c^*}</math>. Stąd po wyliczeniu <math>f'</math> i rozdzieleniu | ||
zmiennych dostajemy | zmiennych dostajemy | ||
<center><math> | <center><math>\frac{df}{dt}=\frac{\sqrt{C^2-f^2}}{f} \text{ lub } | ||
\frac{df}{dt}=-\frac{\sqrt{C^2-f^2}}{f} | \frac{df}{dt}=-\frac{\sqrt{C^2-f^2}}{f}</math>,</center> | ||
czyli | czyli | ||
<center><math> | <center><math>\frac{fdf}{\sqrt{C^2-f^2}}=dt \text{ lub } | ||
\frac{fdf}{\sqrt{C^2-f^2}}=-dt | \frac{fdf}{\sqrt{C^2-f^2}}=-dt</math>,</center> | ||
Stąd | Stąd | ||
<center><math> | <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> | bądź w postaci uwikłanej <center><math>(t-C_1)^2+f^2=C^2</math>.</center> | ||
Uwzględniając warunki <math> | Uwzględniając warunki <math>f(-1)=1</math> oraz <math>f(2)=4</math>, dostajemy | ||
<math> | <math>(t-3)^2+f^2=17</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"> | {{cwiczenie|15.8.|| | ||
Lagrange'a-Eulera otrzymamy równanie liniowe jednorodne rzędu | Wyznaczyć ekstremalę funkcjonału | ||
<center><math> | |||
J[f]=\int_{1}^{2}(t^2(f')^2+12f^2)dt, \quad f(1)=1, f(2)=8</math></center> | |||
}} | |||
<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 | |||
<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>. | |||
</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"> | |||
Przekształcając równanie | |||
Lagrange'a-Eulera, otrzymamy równanie liniowe jednorodne rzędu | |||
drugiego: | drugiego: | ||
<center><math> | <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> | <center><math>f(t)=C_1 t^{r_1}+C_2 t^{r_2}</math>.</center> | ||
Wstawiając <math> | Wstawiając <math>f(t)=t^r</math> do otrzymanego równania dostajemy równanie | ||
charakterystyczne: <center><math> | charakterystyczne: <center><math>r(r-1)+2r-12=0</math>,</center> | ||
które spełniają liczby | które spełniają liczby | ||
<math> | <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> | warunki <math>f(1)=1,\ f(2)=8</math> spełnia <math>f(t)=t^3</math>. | ||
</div></div> | |||
{{cwiczenie|15.9.|| | |||
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 | |||
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. | |||
<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. | |||
}} | |||
<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. | |||
</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 | |||
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> | <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} | +\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> | Uwzględniając fakt, że <math>v=x</math> otrzymujemy równanie | ||
<center><math> | <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> | <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> | Stąd całkowity czas potrzebny do przebycia drogi od <math>A=(0,1)</math> do | ||
<math> | <math>B=(1,2)</math> po krzywej <math>y=y(x)</math> wyraża całka: | ||
<center><math> | <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> | Funkcja Lagrange'a <math>L(y,z,x)=\frac{1}{x}\sqrt{1+z^2}</math> nie zależy | ||
od zmiennej <math> | od zmiennej <math>y</math>, więc równanie Lagrange'a- Eulera jest równoważne | ||
w tym przypadku równaniu <center><math> | w tym przypadku równaniu <center><math>\frac{\partial L}{\partial z}( y, | ||
y',x)=C | y',x)=C</math>,</center> | ||
gdzie <math> | gdzie <math>C</math> jest pewną stałą. Równanie ekstremali ma więc | ||
postać | postać | ||
<center><math> | <center><math>\frac{y'}{x\sqrt{1+(y')^2}}=C</math>,</center> | ||
skąd <math> | skąd <math>(y')^2=C^2 x^2+C^2x^2(y')^2</math>. Po rozdzieleniu zmiennych | ||
otrzymujemy równanie <center><math> | 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> | 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> | 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> | 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> | zauważyć, że wykres tej funkcji jest łukiem okręgu <math>x^2+(y-2)^2=1</math> | ||
łączącym dane punkty <math> | łączącym dane punkty <math>A</math> i <math>B</math>. </div></div> |
Aktualna wersja na dzień 22:11, 11 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.