|
|
Linia 202: |
Linia 202: |
| 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> |
Linia 223: |
Linia 223: |
| 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 |
Linia 284: |
Linia 284: |
| 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> |
Linia 327: |
Linia 327: |
|
| |
|
| 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 |
Linia 357: |
Linia 357: |
|
| |
|
| 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ć |
Linia 369: |
Linia 369: |
| 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> |
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.
Wskazówka
a), b) Wyznaczyć w przedziale ekstrema funkcji oraz .
Rozwiązanie
a) Funkcja jest
nieujemna w przedziale i osiąga wartość największą w
punkcie . Natomiast pochodna jest
ściśle malejąca w danym przedziale, a więc funkcja osiąga największą wartość na końcach przedziału. Stąd
.
b) Funkcja jest ściśle rosnąca i nieujemna w
przedziale , więc osiąga największą
wartość w punkcie . Podobnie pochodna
jest ściśle rosnąca i nieujemna w przedziale , więc
osiąga największą wartość także w punkcie
. Stąd
.
Ć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
a) Zróżniczkować lewą stronę równania Lagrange'a-Eulera
i uporządkować równanie według pochodnych niewiadomej .
b) Czy otrzymane równanie jest liniowe?
Rozwiązanie
a) Ze wzoru na pochodną złożenia funkcji
mamy
Stąd równanie Lagrange'a-Eulera jest
tożsame z równaniem
które
możemy również zapisać bez szczegółowego zapisywania argumentów
pochodnych cząstkowych funkcji Lagrange'a w postaci
.
W równaniu
tym występują wyłącznie niewiadoma i jej pierwsza i druga
pochodna po zmiennej . Jest więc to równanie różniczkowe
zwyczajne rzędu (co najwyżej) drugiego.
b) Na ogół równanie Lagrange'a-Eulera nie jest równaniem liniowym,
gdyż pochodne
zależą zazwyczaj od niewiadomej i jej
pochodnej . Jedynie w szczególnym przypadku, gdy pochodne te
zależą wyłącznie od zmiennej niezależnej lub są stałe,
równanie Lagrange'a-Eulera jest równaniem różniczkowym liniowym.
Ćwiczenie 15.3.
Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a
nie zależy od zmiennej ? Wyznaczyć ekstremalę funkcjonału
Wskazówka
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
to jaki jest wzór na ? Przypominamy, że należy sprawdzić, czy rozwiązanie tego równania spełnia warunki brzegowe.
Rozwiązanie
Jeśli funkcja nie zależy od drugiej
zmiennej, to , więc również
i równanie
Lagrange'a-Eulera przyjmuje postać
a) Mamy
gdzie , czyli nie zależy od
drugiej zmiennej i możemy zastosować wypisaną powyżej postać
równania Lagrange'a-Eulera. W naszym przypadku otrzymujemy rówanie
, a ponieważ , więc .
Mamy także , zatem jest
ekstremalą naszego funkcjonału.
b) Podobnie jak w przypadku a) nasza funkcja nie zależy od drugiej
zmiennej, bo mamy . Otrzymujemy równanie
, a stąd . Jednakże, choć
, to , zatem funkcja nie jest
ekstremalą naszego 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
Wskazówka
Ile wynosi pochodna cząstkowa naszej funkcji po pierwszej zmiennej?
Rozwiązanie
W tym przypadku , zatem
. Z kolei ,
zatem równanie Lagrange'a-Eulera przyjmuje postać
W naszym przykładzie , zatem . Otrzymujemy stąd równanie , którego
rozwiązaniem jest funkcja liniowa . Wobec warunków
brzegowych mamy , czyli .
Ć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łą.
Wskazówka Zróżniczkować obie strony równości po zmiennej i porównać z równaniem Lagrange'a-Eulera.
Rozwiązanie
Gdy funkcja Lagrange'a nie
zależy od zmiennej , równanie Lagrange'a-Eulera
przyjmuje postać:
,
gdyż
(por. rozwiązanie ćwiczenia 15.5.). Z kolei różniczkując po zmiennej
obie strony równości ,
dostajemy
Stąd wtedy i tylko wtedy,
gdy
co ma miejsce wtedy i tylko wtedy, gdy spełnia równanie
,
równoważne
równaniu Lagrange'a-Eulera, w przypadku, gdy funkcja Lagrange'a
nie zależy od zmiennej .
Ćwiczenie 15.6.
a) Wyznaczyć ekstremalę funkcjonału
b) Czy każde zagadnienie wariacyjne ma rozwiązanie?
Wskazówka Funkcja Lagrange'a zależy w tym przypadku od wszystkich trzech zmiennych . Jak wygląda ?
Rozwiązanie
a) Ponieważ oraz , więc
równanie Lagrange'a- Eulera ma postać
.
Ponieważ nigdy się nie zeruje, więc tylko
funkcja stała spełnia to równanie. Wobec tego
problem wariacyjny nie ma rozwiązania, gdy lub
. Jedynie w szczególnym przypadku, gdy
, problem ma rozwiązanie .
b) Ten prosty przykład pokazuje, że zagadnienie wariacyjne może
nie mieć rozwiązania.
Ćwiczenie 15.7.
Wyznaczyć ekstremalę funkcjonału
Wskazówka
Funkcja Lagrange'a nie zależy od zmiennej .
Rozwiązanie Skoro funkcja Lagrange'a
nie zależy od zmiennej ,
równanie Lagrange'a-Eulera jest równoważne równaniu
, gdzie jest pewną
stałą. Równanie to
po przekształceniu (tj. po sprowadzeniu ułamków do wspólnego
mianownika i redukcji wyrazów podobnych) przyjmuje postać
,
gdzie . Stąd po wyliczeniu i rozdzieleniu
zmiennych dostajemy
,
czyli
,
Stąd
,
bądź w postaci uwikłanej
.
Uwzględniając warunki oraz , dostajemy
.
Ćwiczenie 15.8.
Wyznaczyć ekstremalę funkcjonału
Wskazówka
Funkcja Lagrange'a
zależy od wszystkich zmiennych: . 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 .
Rozwiązanie
Przekształcając równanie
Lagrange'a-Eulera, otrzymamy równanie liniowe jednorodne rzędu
drugiego:
.
Rozwiązania tego równania szukamy wśród funkcji postaci
.
Wstawiając do otrzymanego równania dostajemy równanie
charakterystyczne:
,
które spełniają liczby
i
. Wśród funkcji postaci
warunki spełnia .
Ć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.
Wskazówka
Warto przeanalizować rozwiązanie zadania o brachistochronie. Wyrazić czas jako funkcję rzędnej punktu na krzywej . Następnie określić funkcjonał, który wyraża czas, niezbędny do przebycia drogi od do po tej krzywej i wyznaczyć ekstremalę funkcjonału.
Rozwiązanie
Prędkość punktu w punkcie (a
dokładniej: długość wektora prędkości w tym punkcie) wynosi
.
Uwzględniając fakt, że otrzymujemy równanie
,
które w postaci różniczkowej ma postać
.
Stąd całkowity czas potrzebny do przebycia drogi od do
po krzywej wyraża całka:
.
Funkcja Lagrange'a nie zależy
od zmiennej , więc równanie Lagrange'a- Eulera jest równoważne
w tym przypadku równaniu
,
gdzie jest pewną stałą. Równanie ekstremali ma więc
postać
,
skąd . Po rozdzieleniu zmiennych
otrzymujemy równanie
,
które
spełniają funkcje:
.
Uwzględniając
współrzędne początku i końca krzywej otrzymujemy i .
Stąd szukaną ekstremalą jest
.
Nietrudno
zauważyć, że wykres tej funkcji jest łukiem okręgu
łączącym dane punkty
i
.