|
|
Linia 58: |
Linia 58: |
| a) Ze wzoru na pochodną złożenia funkcji | | a) Ze wzoru na pochodną złożenia funkcji |
| mamy | | mamy |
| <center><math> \displaystyle \aligned \frac{d}{dt}\frac{\partial L}{\partial y}(f, f',t) | | <center><math> \displaystyle \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 96: |
Linia 96: |
| Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a <center><math> \displaystyle (x,y,t)\mapsto L(x,y,t)</math></center> | | Jak wygląda równanie Lagrange'a-Eulera, jeśli funkcja Lagrange'a <center><math> \displaystyle (x,y,t)\mapsto L(x,y,t)</math></center> |
| nie zależy od zmiennej <math> \displaystyle y</math>? Wyznaczyć ekstremalę funkcjonału | | nie zależy od zmiennej <math> \displaystyle y</math>? Wyznaczyć ekstremalę funkcjonału |
| <center><math> \displaystyle \aligned | | <center><math> \displaystyle \begin{align} |
| {\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac | | {\rm a})\; J[f]=\int_0^1(t\sin{f}-\cos{f})dt, \quad f(0)=0,\, f(1)=-\frac |
| \pi 4;\\ | | \pi 4;\\ |
Linia 207: |
Linia 207: |
| obie strony równości <math> \displaystyle 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> \displaystyle \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 |
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
Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \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 y^2}(f,f',t), \ \frac{\partial L}{\partial x}(f,f',t)}
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
.