|
|
(Nie pokazano 2 pośrednich wersji utworzonych przez tego samego użytkownika) |
Linia 111: |
Linia 111: |
| 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. |
Linia 124: |
Linia 123: |
| 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 |
Linia 152: |
Linia 149: |
| 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 164: |
Linia 160: |
| <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> \dfrac{d}{dt} | | <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 |
Linia 184: |
Linia 179: |
| 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łą. |
Linia 219: |
Linia 213: |
|
| |
|
| 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> \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>f</math> spełnia równanie | | co ma miejsce wtedy i tylko wtedy, gdy <math>f</math> spełnia równanie |
Linia 233: |
Linia 227: |
| 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> | |
|
| |
|
| b) Czy każde zagadnienie wariacyjne ma rozwiązanie? | | b) Czy każde zagadnienie wariacyjne ma rozwiązanie? |
Linia 265: |
Linia 258: |
| <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</math></center> |
| </math></center> | |
|
| |
|
| }} | | }} |
Linia 305: |
Linia 297: |
| 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> | |
|
| |
|
| }} | | }} |
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
.