Analiza matematyczna 2/Ćwiczenia 15: Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Arek (dyskusja | edycje)
Nie podano opisu zmian
 
m Zastępowanie tekstu – „<math> ” na „<math>”
 
(Nie pokazano 21 wersji utworzonych przez 3 użytkowników)
Linia 1: Linia 1:
==Elementy rachunku wariacyjnego. Ćwiczenia==
==Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego==


===Zadania===
{{cwiczenie|15.1.||
W przestrzeni <math>C^1 [0,1]</math> funkcji
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
1\}</math>.</center>
Wówczas odległość <math>f</math> od <math>g</math> w tej przestrzeni wynosi
<math>d(f,g)=\|f-g\|</math>.


{{cwiczenie|||
a) Wyznaczyć odległość funkcji <math>f(t)=t</math> i <math>g(t)=t^2</math> w tej
W przestrzeni <math>\displaystyle C^1 [0,1]</math> funkcji
ciągłych o ciągłej pochodnej określamy normę <math>\displaystyle \|\cdot\|</math> wzorem
<center><math>\displaystyle \|f\| = \max \{ |f(t)| , 0\leq t\leq 1\}+\max \{|f'(t)|, 0\leq t\leq
1\}.</math></center>
Wówczas odległość <math>\displaystyle f</math> od <math>\displaystyle g</math> w tej przestrzeni wynosi
<math>\displaystyle d(f,g)=\|f-g\|</math>.
 
a) Wyznaczyć odległość funkcji <math>\displaystyle f(t)=t</math> i <math>\displaystyle g(t)=t^2</math> w tej
przestrzeni.
przestrzeni.


b) Wyznaczyć odległość funkcji <math>\displaystyle f(t)=t</math> i <math>\displaystyle 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. }}


{{cwiczenie|||
<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) Pokazać, że równanie
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>.
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
</div></div>
liniowym? }}


{{cwiczenie|||
<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">
Jak wygląda równanie Lagrange'a-Eulera,
a) Funkcja <math>h(t)=f(t)-g(t)=t-t^2</math> jest
jeśli funkcja Lagrange'a <center><math>\displaystyle (x,y,t)\mapsto L(x,y,t)</math></center>
nieujemna  w przedziale <math>[0,1]</math> i osiąga wartość największą w
nie zależy od
punkcie <math>t=\frac{1}{2}</math>. Natomiast pochodna <math>h'(t)=1-2t</math> jest
zmiennej <math>\displaystyle y</math>? Wyznaczyć ekstremalę funkcjonału
ściśle malejąca w danym przedziale, a więc funkcja <math>t\mapsto
<center><math>\displaystyle \aligned
|h'(t)|</math> osiąga największą wartość na końcach przedziału. Stąd
{\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac
<center><math>\|f-g\|=\big|h\big(\frac{1}{2}\big)\big|+|h'(0)|=\frac{1}{4}+1=\frac{5}{4}</math>.</center>
\pi 4;\\
{\rm b})\; J[f]= \int_0^1 ((t+1)e^f-fe^t)dt,\quad f(0)=0,\,
f(1)=1.
\endaligned
</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>


{{cwiczenie|||
</div></div>
Jak wygląda równanie Lagrange'a-Eulera,
jeśli funkcja <math>\displaystyle L</math> nie zależy ani od pierwszej ani od trzeciej
zmiennej? Wyznaczyć ekstremalę funkcjonału
<center><math>\displaystyle
J[f]= \int_0^1((f')^2+f'+3)dt,\quad f(0)=0, f(1)=5.
</math></center>


}}
{{cwiczenie|15.2.||
a) Pokazać, że równanie Lagrange'a-Eulera jest równaniem różniczkowym zwyczajnym rzędu (co najwyżej) drugiego.


{{cwiczenie|||
b) Czy równanie Lagrange'a-Eulera jest równaniem różniczkowym
Wykazać, że jeśli funkcja Lagrange'a
liniowym? }}
<math>\displaystyle (x, y, t)\mapsto L(x,y,t)</math> nie zależy od zmiennej <math>\displaystyle t</math>, to
równanie Lagrange'a -Eulera jest równoważne równaniu
<math>\displaystyle L-f'\frac{\partial L}{\partial y}=C, </math> to jest równaniu
<center><math>\displaystyle L(f, f',t)-f' \frac{\partial L}{\partial y}(f, f',t)=C,
</math></center>
 
gdzie <math>\displaystyle C</math> jest pewną stałą.
 
}}


{{cwiczenie|||
<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) Wyznaczyć ekstremalę funkcjonału
a) Zróżniczkować lewą stronę równania Lagrange'a-Eulera
<center><math>\displaystyle
<center><math>\frac{d}{dt}\frac{\partial L}{\partial y}(f, f', t)=\frac{\partial L}{\partial x}(f,
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?
 
}}
 
{{cwiczenie|||
Wyznaczyć ekstremalę funkcjonału
 
<center><math>\displaystyle
J[f]=\int_{-1}^{2}\frac{\sqrt{1+(f')^2}}{f}dt, \quad f(-1)=1,
f(2)=4.
</math></center>
 
}}
 
{{cwiczenie|||
Wyznaczyć ekstremalę funkcjonału
<center><math>\displaystyle
J[f]=\int_{1}^{2}(t^2(f')^2+12f^2)dt, \quad f(1)=1, f(2)=8.
</math></center>
 
}}
 
{{cwiczenie|||
Punkt porusza się z prędkością <math>\displaystyle v</math> po
krzywej <math>\displaystyle x\mapsto (x, y(x))</math> łączącej punkty <math>\displaystyle (0,1)</math> i <math>\displaystyle (1,2)</math> z
prędkością <math>\displaystyle 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>\displaystyle |v(x,y)|=x</math>. Wyznaczyć krzywą, po której dany punkt przebędzie
drogę od <math>\displaystyle A</math> do <math>\displaystyle B</math> w najkrótszym czasie.
 
}}
 
===Wskazówki===
 
<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">    [[##z.am2.15.003|Uzupelnic z.am2.15.003|]] a), b) Wyznaczyć w przedziale <math>\displaystyle [0,1]</math>
ekstrema funkcji <math>\displaystyle t\mapsto f(t)-g(t)</math> oraz <math>\displaystyle 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.005|Uzupelnic z.am2.15.005|]] a) Zróżniczkować lewą stronę równania
Lagrange'a-Eulera
<center><math>\displaystyle \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>\displaystyle 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 118: 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.010|Uzupelnic z.am2.15.010|]] Jeśli funkcja trzech zmiennych nie zależy
<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">
od jednej zmiennej, to ile wynosi pochodna cząstkowa tej funkcji
a) Ze wzoru na pochodną złożenia funkcji
po tej zmiennej?
 
Jeśli zapiszemy nasz funkcjonał w postaci
<center><math>\displaystyle
J[y]=\int_0^1 L(f,f',t)dt,
</math></center>
 
to jaki jest wzór na <math>\displaystyle 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.020|Uzupelnic z.am2.15.020|]]  Ile wynosi pochodna cząstkowa naszej
funkcji <math>\displaystyle 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.030|Uzupelnic z.am2.15.030|]] Zróżniczkować obie strony równości
<math>\displaystyle L-f'\frac{\partial L}{\partial y}=C</math> po zmiennej <math>\displaystyle t</math> i porównać z
równaniem Lagrange'a-Eulera.
 
</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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.040|Uzupelnic z.am2.15.040|]] Funkcja Lagrange'a
<math>\displaystyle L(x,y,t)=(x^2-y)e^{-t}</math> zależy w tym przypadku od wszystkich
trzech zmiennych <math>\displaystyle x,y,t</math>. Jak wygląda <math>\displaystyle \frac{\partial L}{\partial
y}</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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.050|Uzupelnic z.am2.15.050|]] Funkcja Lagrange'a
<math>\displaystyle L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math>\displaystyle 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.080|Uzupelnic z.am2.15.080|]] Funkcja Lagrange'a
<center><math>\displaystyle L(x,y,t)=t^2y^2+12x^2</math></center>
zależy od wszystkich zmiennych: <math>\displaystyle 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>\displaystyle 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">Wskazówka </span><div class="mw-collapsible-content" style="display:none">    [[##z.am2.15.090|Uzupelnic z.am2.15.090|]] Warto przeanalizować rozwiązanie zadania
o brachistochronie. Wyrazić czas <math>\displaystyle t</math> jako funkcję rzędnej <math>\displaystyle x</math>
punktu na krzywej <math>\displaystyle y=y(x)</math>. Następnie określić funkcjonał, który
wyraża czas, niezbędny do przebycia drogi od <math>\displaystyle A</math> do <math>\displaystyle B</math> po tej
krzywej i wyznaczyć ekstremalę  funkcjonału.
 
</div></div>
 
===Rozwiązania i odpowiedzi===
 
<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">   [[##z.am2.15.003|Uzupelnic z.am2.15.003|]] a) Funkcja <math>\displaystyle h(t)=f(t)-g(t)=t-t^2</math> jest
nieujemna  w przedziale <math>\displaystyle [0,1]</math> i osiąga wartość największą w
punkcie <math>\displaystyle t=\frac{1}{2}</math>. Natomiast pochodna <math>\displaystyle h'(t)=1-2t</math> jest
ściśle malejąca w danym przedziale, a więc funkcja <math>\displaystyle t\mapsto
|h'(t)|</math> osiąga największą wartość na końcach przedziału. Stąd
<center><math>\displaystyle \|f-g\|=\big|h\big(\frac{1}{2}\big)\big|+|h'(0)|=\frac{1}{4}+1=\frac{5}{4}.</math></center>
 
b) Funkcja <math>\displaystyle h(t)=t-\ln(1+t)</math> jest ściśle rosnąca i nieujemna w
przedziale <math>\displaystyle [0,1]</math>, więc <math>\displaystyle t\mapsto |h(t)|</math> osiąga największą
wartość w punkcie <math>\displaystyle t=1</math>. Podobnie pochodna <math>\displaystyle h'(t)=1-\frac{1}{1+t}</math>
jest ściśle rosnąca i nieujemna w przedziale <math>\displaystyle [0,1]</math>, więc
<math>\displaystyle t\mapsto |h'(t)|</math> osiąga największą wartość także w punkcie
<math>\displaystyle t=1</math>. Stąd <center><math>\displaystyle \|f-g\|=h(1)+h'(1)=1-\ln
2+1-\frac{1}{2}=\frac{3}{2}-\ln 2.</math></center>
 
</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">    [[##z.am2.15.005|Uzupelnic z.am2.15.005|]] a) Ze wzoru na pochodną złożenia funkcji
mamy
mamy
<center><math>\displaystyle \aligned \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 200: 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''.\endaligned</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>\displaystyle \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
y^2}(f,f',t)f''-\frac{\partial L}{\partial x}(f, f',t)=0, </math></center>
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>\displaystyle L</math> w postaci
pochodnych cząstkowych funkcji Lagrange'a <math>L</math> w postaci
<center><math>\displaystyle \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>\displaystyle 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>\displaystyle 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>\displaystyle \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>\displaystyle f</math> i jej
zależą zazwyczaj od niewiadomej <math>f</math> i jej
pochodnej <math>\displaystyle 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>\displaystyle 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>


<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">   [[##z.am2.15.010|Uzupelnic z.am2.15.010|]] Jeśli funkcja <math>\displaystyle L</math> nie zależy od drugiej
{{cwiczenie|15.3.||
zmiennej, to <math>\displaystyle \dfrac{\partial L}{\partial y}=0</math>, więc również
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>\displaystyle \dfrac{d}{dt} \dfrac{\partial L}{\partial y}=0</math> i równanie
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>\displaystyle
<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>\displaystyle
<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>\displaystyle L(f,f',t)= t\sin f -\cos f</math>, czyli <math>\displaystyle 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>\displaystyle t\cos f+\sin f=0</math>, a ponieważ <math>\displaystyle f(0)=0</math>, więc <math>\displaystyle 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>\displaystyle f(1)=-\frac \pi 4</math>, zatem <math>\displaystyle 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>\displaystyle 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>\displaystyle (t+1)e^f-e^t=0</math>, a stąd <math>\displaystyle 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>\displaystyle f(0)=0</math>, to <math>\displaystyle f(1)=1-\ln{2}\neq 1</math>, zatem funkcja <math>\displaystyle 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.


</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">   [[##z.am2.15.020|Uzupelnic z.am2.15.020|]] W tym przypadku <math>\displaystyle L(x,y,t)=u(y)</math>, zatem
{{cwiczenie|15.4.||
<math>\displaystyle \dfrac{\partial L}{\partial x}=0</math>. Z kolei <math>\displaystyle  \dfrac{d}{dt}
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>\displaystyle
<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łą.
 
}}


W naszym przykładzie <math>\displaystyle L(x,y,t)=y^2+y+3</math>, zatem <math>\displaystyle \dfrac {\partial^2
<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^2}=2</math>. Otrzymujemy stąd równanie <math>\displaystyle 2f''=0</math>, którego
rozwiązaniem jest funkcja liniowa <math>\displaystyle f(t)=C_1t+C_2</math>. Wobec warunków
brzegowych mamy <math>\displaystyle f(t)-0=\frac{5-0}{1-0}(x-0)</math>, czyli <math>\displaystyle f(t)=5t</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">   [[##z.am2.15.030|Uzupelnic z.am2.15.030|]] Gdy funkcja Lagrange'a <math>\displaystyle L=L(x,y,t)</math> nie
<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>\displaystyle t</math>, równanie Lagrange'a-Eulera
Gdy funkcja Lagrange'a <math>L=L(x,y,t)</math> nie
<center><math>\displaystyle \frac{d}{dt}\frac{\partial L}{\partial y}-\frac{\partial
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>\displaystyle \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>\displaystyle \frac{\partial^2 L}{\partial t\partial y}=0</math> (por. rozwiązanie
<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>
zadania [[##z.am2.15.005|Uzupelnic z.am2.15.005|]]). Z kolei różniczkując po zmiennej <math>\displaystyle t</math>
obie strony równości <math>L-f'\frac{\partial L}{\partial y}=C</math>,
obie strony równości <math>\displaystyle L-f'\frac{\partial L}{\partial y}=C</math>
dostajemy
dostajemy
<center><math>\displaystyle \aligned 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 292: 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).
\endaligned
\end{align}
</math></center>
</math></center>


Stąd <math>\displaystyle 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>\displaystyle  \frac{d}{dt}\big(L-f'\frac{\partial L}{\partial y}\big)=0</math></center>
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>\displaystyle f</math> spełnia równanie
co ma miejsce wtedy i tylko wtedy, gdy <math>f</math> spełnia równanie
<center><math>\displaystyle \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>\displaystyle L</math> nie zależy od zmiennej <math>\displaystyle t</math>.
<math>L</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">    [[##z.am2.15.040|Uzupelnic z.am2.15.040|]] a) Ponieważ <math>\displaystyle \frac{\partial L}{\partial
{{cwiczenie|15.6.||
x}=2xe^{-t}</math> oraz <math>\displaystyle \frac{\partial L}{\partial y}=-e^{-t}</math>, więc
a) Wyznaczyć ekstremalę funkcjonału
równanie Lagrange'a- Eulera ma postać <center><math>\displaystyle 2fe^{-t}=e^{-t}.</math></center>
<center><math>
J[f]=\int_a^b (f^2-f')e^{-t}dt,\quad f(a)=A, f(b)=B</math></center>


Ponieważ <math>\displaystyle t\mapsto e^{-t}</math> nigdy się nie zeruje, więc tylko
b) Czy każde zagadnienie wariacyjne ma rozwiązanie?
funkcja stała <math>\displaystyle f(t)=\frac12</math> spełnia to równanie. Wobec tego
 
problem wariacyjny nie ma rozwiązania, gdy <math>\displaystyle A\neq \frac12</math> lub
}}
<math>\displaystyle B\neq \frac12</math>. Jedynie w szczególnym przypadku, gdy
 
<math>\displaystyle A=B=\frac12</math>, problem ma rozwiązanie <math>\displaystyle f(t)=\frac12</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 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
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>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
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>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 322: 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">   [[##z.am2.15.050|Uzupelnic z.am2.15.050|]] Skoro funkcja Lagrange'a
{{cwiczenie|15.7.||
<math>\displaystyle L(x,y,t)=\frac{\sqrt{1+y^2}}{x}</math> nie zależy od zmiennej <math>\displaystyle t</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>\displaystyle L-f'\frac{\partial L}{\partial y}=C^*</math>, gdzie <math>\displaystyle 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>\displaystyle \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>\displaystyle f\sqrt{1+(f')^2}=C,</math></center>
<center><math>f\sqrt{1+(f')^2}=C</math>,</center>
gdzie <math>\displaystyle C=\frac1{c^*}</math>. Stąd po wyliczeniu <math>\displaystyle 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>\displaystyle \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>\displaystyle \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>\displaystyle 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>
 
Uwzględniając warunki <math>f(-1)=1</math> oraz <math>f(2)=4</math>, dostajemy
<math>(t-3)^2+f^2=17</math>.
 
</div></div>
 
{{cwiczenie|15.8.||
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>


bądź w postaci uwikłanej <center><math>\displaystyle (t-C_1)^2+f^2=C^2.</math></center>
}}


Uwzględniając warunki <math>\displaystyle f(-1)=1</math> oraz <math>\displaystyle f(2)=4</math>, dostajemy
<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">
<math>\displaystyle (t-3)^2+f^2=17.</math>
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></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">   [[##z.am2.15.080|Uzupelnic z.am2.15.080|]] Przekształcając równanie
<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">
Lagrange'a-Eulera otrzymamy równanie liniowe jednorodne rzędu
Przekształcając równanie
Lagrange'a-Eulera, otrzymamy równanie liniowe jednorodne rzędu
drugiego:
drugiego:
<center><math>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle r_1=3</math> i <math>\displaystyle r_2=-4</math>. Wśród funkcji postaci <center><math>\displaystyle 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>\displaystyle f(1)=1,\ f(2)=8</math> spełnia <math>\displaystyle f(t)=t^3</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">   [[##z.am2.15.090|Uzupelnic z.am2.15.090|]] Prędkość punktu w punkcie <math>\displaystyle (x, y)</math> (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">
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>\displaystyle 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>\displaystyle v=x</math> otrzymujemy równanie
Uwzględniając fakt, że <math>v=x</math> otrzymujemy równanie
<center><math>\displaystyle 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>\displaystyle 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>\displaystyle A=(0,1)</math> do
Stąd całkowity czas potrzebny do przebycia drogi od <math>A=(0,1)</math> do
<math>\displaystyle B=(1,2)</math> po krzywej <math>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle \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>\displaystyle 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>\displaystyle \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>\displaystyle (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>\displaystyle 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>\displaystyle 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>\displaystyle C_1=2</math> i <math>\displaystyle 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>\displaystyle 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>\displaystyle 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>\displaystyle A</math> i <math>\displaystyle B</math>. </div></div>
łą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 C1[0,1] funkcji ciągłych o ciągłej pochodnej określamy normę wzorem

f=max{|f(t)|,0t1}+max{|f(t)|,0t1}.

Wówczas odległość f od g w tej przestrzeni wynosi d(f,g)=fg.

a) Wyznaczyć odległość funkcji f(t)=t i g(t)=t2 w tej przestrzeni.

b) Wyznaczyć odległość funkcji f(t)=t i g(t)=ln(1+t) w tej

przestrzeni.
Wskazówka
Rozwiązanie

Ć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?
Wskazówka
Rozwiązanie

Ćwiczenie 15.3.

Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a
(x,y,t)L(x,y,t)

nie zależy od zmiennej y? Wyznaczyć ekstremalę funkcjonału

a)J[f]=01(tsinfcosf)dt,f(0)=0,f(1)=π4;b)J[f]=01((t+1)effet)dt,f(0)=0,f(1)=1.
Wskazówka
Rozwiązanie

Ćwiczenie 15.4.

Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja L nie zależy ani od pierwszej, ani od trzeciej zmiennej? Wyznaczyć ekstremalę funkcjonału

J[f]=01((f)2+f+3)dt,f(0)=0,f(1)=5
Wskazówka
Rozwiązanie

Ćwiczenie 15.5.

Wykazać, że jeśli funkcja Lagrange'a (x,y,t)L(x,y,t) nie zależy od zmiennej t, to równanie Lagrange'a -Eulera jest równoważne równaniu LfLy=C to jest równaniu

L(f,f,t)fLy(f,f,t)=C,

gdzie C jest pewną stałą.

Wskazówka
Rozwiązanie

Ćwiczenie 15.6.

a) Wyznaczyć ekstremalę funkcjonału

J[f]=ab(f2f)etdt,f(a)=A,f(b)=B

b) Czy każde zagadnienie wariacyjne ma rozwiązanie?

Wskazówka
Rozwiązanie

Ćwiczenie 15.7.

Wyznaczyć ekstremalę funkcjonału

J[f]=121+(f)2fdt,f(1)=1,f(2)=4
Wskazówka
Rozwiązanie

Ćwiczenie 15.8.

Wyznaczyć ekstremalę funkcjonału

J[f]=12(t2(f)2+12f2)dt,f(1)=1,f(2)=8
Wskazówka
Rozwiązanie

Ćwiczenie 15.9.

Punkt porusza się z prędkością v po krzywej x(x,y(x)) łączącej punkty (0,1) i (1,2) z prędkością v. Prędkość (precyzyjniej: długość wektora prędkości) jest równa rzędnej punktu, w którym aktualnie się znajduje, tj. |v(x,y)|=x. Wyznaczyć krzywą, po której dany punkt przebędzie drogę od A do B w najkrótszym czasie.

Wskazówka
Rozwiązanie