Analiza matematyczna 2/Ćwiczenia 13: Równania różniczkowe zwyczajne

Równania różniczkowe zwyczajne

Ćwiczenie 13.1.

Zgodnie z prawem rozpadu promieniotwórczego, liczba $N$ atomów izotopu pierwiastka promieniotwórczego, która ulega rozpadowi w jednostce czasu, jest proporcjonalna do ogólnej liczby atomów tego izotopu, która nie uległa rozpadowi. Definiuje się okres połowicznego rozpadu jako czas, po którym połowa atomów danego izotopu ulega rozpadowi. Z obserwacji wynika, że okres połowicznego rozpadu oznaczany literą $T$ (lub $T_{\frac{1}{2}}$) jest stałą wielkością charakteryzującą dany izotop (tzn. nie zmienia się w czasie ani nie zależy od innych czynników chemicznych czy fizycznych).

a) Wyznaczyć zależność pozostałej liczby atomów izotopu od czasu (z wykorzystaniem czasu połowicznego rozpadu).

b) Jaki czas musi upłynąć, by promieniotwórczy stront (90) zredukował liczbę swoich atomów do 1/16 jej wartości początkowej? Okres połowicznego rozpadu strontu wynosi 28 lat.

c) Polon-210 ma okres połowicznego rozpadu równy 140 dni. Jaki procent początkowej liczby jego atomów pozostanie po 100 dniach?

Wskazówka

Prędkość rozpadu izotopu pierwiastka promieniotwórczego jest ujemna i proporcjonalna do liczby atomów izotopu substancji, które w danej chwili jeszcze się nie rozpadły. Zapisać tę zależność za pomocą równania różniczkowego i podać rozwiązanie tego równania (warto przypomnieć sobie z wykładu przykład dotyczący modelu matematycznego stygnięcia pewnej substancji). Wyrazić współczynnik proporcjonalności z równania różniczkowego za pomocą czasu połowicznego rozpadu.

b) Odpowiedź na to pytanie można podać, nie stosując zależności liczby atomów od czasu. Wystarczy wykorzystać definicję okresu połowicznego rozpadu.

Rozwiązanie

a) Prędkość rozpadu izotopu pierwiastka promieniotwórczego jest ujemna i wprost proporcjonalna do ilości atomów, które się jeszcze nie rozpadły, co możemy zapisać równaniem

$N^{\prime }(t)=-\lambda N(t),$

gdzie $t$ jest czasem, $N$ liczbą atomów izotopu, a $\lambda$ współczynnikiem proporcjonalności, nazywanym stałą rozpadu promieniotwórczego. Analogicznie jak w przykładzie z wykładu dotyczącym stygnięcia (względnie ogrzewania) danej substancji, równanie to ma przy warunku początkowym $N(t_0)=N_0$ dokładnie jedno rozwiązanie $N(t)=N_0\exp (-\lambda (t-t_0))$, a jeśli w szczególności $t_0=0$, to $N(t)=N_0\exp (-\lambda t)$. Z definicji okresu połowicznego rozpadu $T$ wynika zależność:

$N_0\exp (-\lambda T)=N(T)=\frac{N_0}{2},$

zatem $\lambda =\frac{\ln 2}{T}$ i w konsekwencji

$N(t)=N_0\exp (-\frac{t}{T}\ln 2)=N_0{2}^{-\frac{t}{T}}.$

b) Wobec ostatniego wzoru wystarczy wyliczyć $t$ (gdzie jednostką jest rok) z równania

$\frac{1}{16}{N}_0=N_0{2}^{-\frac{t}{28}}.$

Otrzymujemy $t=4\cdot 28=112$ lat. Jest to jednak oczywiste też wprost z definicji czasu połowicznego rozpadu. Jeśli na początku mamy $N_0$ atomów, to po 28 latach $\frac{1}{2}{N}_0$, po następnych 28 latach $\frac{1}{2}\cdot \frac{1}{2}{N}_0=\frac{1}{4}{N}_0$, po kolejnych 28 latach $\frac{1}{8}{N}_0$, aż wreszcie po kolejnych 28 latach $\frac{1}{16}{N}_0$.

c) Tym razem za jednostkę czasu przyjmijmy 1 dzień. Jeśli $N_0$ było początkową ilością atomów polonu-210, to $N(100)=N_0{2}^{-\frac{100}{140}}=N_0{2}^{-\frac{5}{7}}\approx 0,6095068271N_0$, zatem po 100 dniach pozostanie jeszcze prawie $61\mathrm{\%}$ początkowej ilości atomów izotopu.

Ćwiczenie 13.2.

Bank prowadzi konta z ciągłą kapitalizacją odsetek. Niech $K(t)$ oznacza wartość w chwili $t$ kapitału złożonego w tym banku (jednostką czasu jest 1 rok). Niech $r$ będzie roczną stopą procentową.

a) Pokazać, że zachodzi równanie $K^{\prime }(t)=rK(t)$.

b) Na jaki okres należy złożyć kapitał w banku z ciągłą kapitalizacją odsetek i roczną stopą procentową $8\mathrm{\%}$, by go podwoić?

Wskazówka

Niech $K_0$ oznacza kapitał początkowy złożony w banku. Do jakiej kwoty urósłby on po $t$ latach, gdyby bank dokonywał kapitalizacji odsetek w stosunku rocznym? Do jakiej kwoty urósłby on po $t$ latach, gdyby bank dokonywał kapitalizacji odsetek $n$ razy w ciągu roku? Przechodząc we wzorze na tę ostatnią kwotę do granicy (przy $n$ zmierzającym do nieskończoności), otrzymamy szukaną zależność przy kapitalizacji ciągłej. Wystarczy teraz sprawdzić, czy spełnia ona zadane równanie różniczkowe.

Rozwiązanie

a) Niech $K_0=K(0)$ oznacza kapitał początkowy złożony w banku. Gdyby bank dokonywał kapitalizacji odsetek w stosunku rocznym, to po $t$ latach kapitał urósłby do kwoty $K_0(1+r{)}^t$. Gdyby kapitalizacja była dokonywana $n$ razy w roku, kapitał urósłby do kwoty $K_0(1+\frac{r}{n}{)}^{nt}$. Jeśli kapitalizacja jest ciągła, kapitał urośnie do kwoty

$K(t)=\underset{n\to \mathrm{\infty }}{\lim }{K}_0{(1+\frac{r}{n})}^{nt}=\underset{n\to \mathrm{\infty }}{\lim }{K}_0{\left[{(1+\frac{r}{n})}^{\frac{n}{r}}\right]}^{rt}=K_0\exp (rt).$

A stąd $K^{\prime }(t)=r{K}_0\exp (rt)=rK(t)$.

b) Szukamy czasu $t$ takiego, że $2K_0=K_0\exp (0,8t)$. Wyliczamy $t=\frac{\ln 2}{0,08}\approx 8,664339757$. Należy zatem złożyć kapitał na 8 lat i 8 miesięcy...

Ćwiczenie 13.3.

Niech $t_0,x_0$ będą liczbami rzeczywistymi, $a,b$ dodatnimi i niech

$D=(t_0-a,t_0+a)\times (x_0-b,x_0+b).$

Udowodnić, że jeśli funkcja $f:D\ni (t,x)\mapsto f(t,x)\in \mathbb{ℝ}$ jest ciągła, jej pochodna cząstkowa względem zmiennej $x$ istnieje, jest ciągła i ograniczona w zbiorze $D$, to problem początkowy Cauchy'ego

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=f(t,x(t))\\x(t_0)=x_0\end{array} }

ma rozwiązanie i jest ono jedyne.

Korzystając z powyższego twierdzenia, wyznaczyć zbiory punktów $(t_0,x_0)$, dla których istnieje jednoznaczne rozwiązanie problemu Cauchy'ego

a) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left\{\begin{array}{l} x'= t-\ln(x-t)\\x(t_0)=0\end{array} ,\quad }

b) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left\{\begin{array}{l} x'=\sqrt{t^2-x}+4t\\x(t_0)=0\end{array} .}

Wskazówka

Dla dowolnego ustalonego $t\in (t_0-a,t_0+a)$ rozważamy funkcję

${\varphi }_t:(x_0-b,x_0+b)\ni x\mapsto {\varphi }_t(x):=f(t,x)\in \mathbb{ℝ}$

jednej zmiennej rzeczywistej $x$. Należy zastosować twierdzenie Lagrange'a (z 9 modułu analizy matematycznej 1) do tej funkcji, a następnie zastosować twierdzenie Picarda.

a), b) Wyznaczamy zbiory (otwarte), w których funkcja $f$ (która jest dana wzorem po prawej stronie równania różniczkowego) jest ciągła i ma ciągłą pochodną cząstkową po $x$.

Rozwiązanie

Niech

$M:=\sup \{|\frac{\partial f}{\partial x}(t,x)|:(t,x)\in D\}.$

Z założenia $M$ jest liczbą skończoną. Ustalmy dowolne $t\in (t_0-a,t_0+a)$ i rozważmy funkcję

${\varphi }_t:(x_0-b,x_0+b)\ni x\mapsto {\varphi }_t(x):=f(t,x)\in \mathbb{ℝ}.$

Zgodnie z założeniami, funkcja ta jest różniczkowalna, zatem na mocy twierdzenia Lagrange'a dla dowolnych punktów $x_1,x_2\in (x_0-b,x_0+b)$ istnieje $\xi \in (x_0-b,x_0+b)$ takie, że

$f(t,x_1)-f(t,x_2)={\varphi }_t(x_1)-{\varphi }_t(x_2)={{\varphi }_t}^{\prime }(\xi )(x_1-x_2).$

Ponieważ ${{\varphi }_t}^{\prime }(\xi )=\frac{\partial f}{\partial x}(t,\xi )$, z dowolności $t$ i z definicji $M$ otrzymujemy

$\mathrm{\forall }t\in (t_0-a,t_0+a)\mathrm{\forall }{x}_1,x_2\in (x_0-b,x_0+b):|f(t,x_1)-f(t,x_2)|\le M|x_1-x_2|.$

Zatem na mocy twierdzenia Picarda rozwiązanie problemu początkowego Cauchy'ego istnieje i jest jedyne.

a) Funkcja $f(t,x)=t-\ln (x-t)$ nie jest określona, jeśli $x-t\le 0$, natomiast jest dobrze określona i klasy $C^{\mathrm{\infty }}$ w zbiorze $G=\{(t,x)\in {\mathbb{ℝ}}^2:x-t>0\}$. Jeśli $(t_0,x_0)\in G$, to $r=\frac{1}{3}(x_0-t_0)>0$ oraz $[t_0-r,t_0+r]\times [x_0-r,x_0+r]$ zawiera się w $G$. W szczególności na zbiorze $(t_0-r,t_0+r)\times (x_0-r,x_0+r)$ funkcja $f$ jest ciągła i ma ograniczoną pochodną cząstkową po $x$. Zatem w otoczeniu punktu $t_0$ problem Cauchy'ego z warunkiem początkowym $x(t_0)=x_0$ ma dokładnie jedno rozwiązanie.

b) Funkcja $f(t,x)=\sqrt{t^2-x}+4t$ nie jest określona, jeśli $t^2-x<0$, natomiast jest dobrze określona i ciągła w zbiorze $\{(t,x)\in {\mathbb{ℝ}}^2:t^2-x\ge 0\}$. Jeśli $(t_0,x_0)\in G=\{(t,x)\in {\mathbb{ℝ}}^2:t^2-x>0\}$, to istnieje takie $r>0$, że $[t_0-r,t_0+r]\times [x_0-r,x_0+r]$ zawiera się w $G$. W szczególności na zbiorze $(t_0-r,t_0+r)\times (x_0-r,x_0+r)$ funkcja $f$ jest ciągła i ma ograniczoną pochodną cząstkową po $x$. Zatem w otoczeniu punktu $t_0$ problem Cauchy'ego z warunkiem początkowym $x(t_0)=x_0$ ma dokładnie jedno rozwiązanie.

Ćwiczenie 13.4.

Pokazać, że dla dowolnej stałej $C\in \mathbb{ℝ}$ funkcje

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_C(t)=\left\{\begin{array}{ll}0, & \text{ dla }t\leq C\\ (t-C)^3, & \text{ dla }t>C \end{array} } Parser nie mógł rozpoznać (błąd składni): {\displaystyle g_C(t)=\left\{\begin{array}{ll} (t-C)^3, & \text{ dla }t<C\\0, & \text{ dla }t\geq C\end{array} }

i $h\equiv 0$, są rozwiązaniami równania różniczkowego $x^{\prime }=3x^{\frac{2}{3}}$. Czy istnieją jeszcze jakieś rozwiązania tego równania nie uwzględnione powyżej? Czy istnieje taki problem początkowy Cauchy'ego dla tego równania, który nie ma rozwiązania? Wskazać wszystkie takie punkty $(t_0,x_0)$, dla których problem początkowy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=3x^\frac{2}{3}(t)\\x(t_0)=x_0\end{array} }

a) ma rozwiązanie jednoznaczne w przedziale $(t_0-\delta ,t_0+\delta )$ dla pewnego $\delta >0$,

b) ma co najmniej dwa różne rozwiązania w przedziale $(t_0-\delta ,t_0+\delta )$ dla dowolnego $\delta >0$.

Wskazówka

Czy funkcja $f_{C_1}+g_{C_2}$ może być rozwiązaniem równania $x^{\prime }=3x^{\frac{2}{3}}$? Jakim zbiorem jest suma mnogościowa wykresów wszystkich funkcji $f_C$, po $C\in \mathbb{ℝ}$? Jakim zbiorem jest suma mnogościowa wykresów wszystkich funkcji $g_C$, po $C\in \mathbb{ℝ}$?

a), b) Rozważyć osobno przypadek $x_0=0$ i $x_0\ne 0$ i skorzystać z ćwiczenia 13.3.

Rozwiązanie

Oczywiście $h$ jest rozwiązaniem naszego równania. Zauważmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_C'(t)=\left\{\begin{array}{ll} 0, & \text{ dla }t\leq C\\ 3(t-C)^2, & \text{ dla }t>C \end{array} = \left\{\begin{array}{ll} 0, & \text{ dla }t\leq C\\ 3\left((t-C)^3\right)^{\frac23}, & \text{ dla }t>C \end{array} , }

czyli ${f_C}^{\prime }(t)=3{(f_C(t))}^{\frac{2}{3}}$. Analogicznie sprawdzamy, że $g_C$ jest rozwiązaniem naszego równania. Nie są to jednak jedyne rozwiązania. Jeśli $C_1\ge C_2$, to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left(f_{C_1}+g_{C_2}\right)(t)=\left\{\begin{array}{ll} (t-C)^3, & \text{ dla }t< C_2\\ 0, & \text{ dla }C_2\leq t\leq C_1\\ (t-C)^3, & \text{ dla }t>C_2 \end{array} }

jest również rozwiązaniem naszego równania.

Niech $(t_0,x_0)$ będzie dowolnym punktem płaszczyzny. Jeśli $x_0=0$, to $x_0=f_{t_0+1}(t_0)$; jeśli $x_0>0$, to $x_0=(t_0-(t_0-\sqrt[3]{x_0}){)}^3=f_{t_0-\sqrt[3]{x_0}}(t_0)$; wreszcie jeśli $x_0<0$, to $x_0=(t_0-(t_0-\sqrt[3]{x_0}){)}^3=g_{t_0-\sqrt[3]{x_0}}(t_0)$. Zatem każdy problem Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=3x^\frac{2}{3}(t)\\x(t_0)=x_0\endcases } ma rozwiązanie.

Niech teraz $(t_0,x_0)$ będzie dowolnym punktem na płaszczyźnie.

a) Jeśli $x_0\ne 0$, to $r=\frac{1}{2}|x_0|>0$ oraz w zbiorze $(t_0-r,t_0+r)\times (x_0-r,x_0+r)$ funkcja $f(t,x)=3x^{\frac{2}{3}}$ spełnia założenia twierdzenia udowodnionego w ćwiczenie 13.3., zatem wtedy badany problem Cauchy'ego ma jedyne rozwiązanie w pewnym przedziale.

b) Jeśli $x_0=0$, to zacieśnienia funkcji $f_{t_0}$ i $h$ do dowolnego przedziału $(t_0-\delta ,t_0+\delta )$ są dwoma różnymi rozwiązaniami tym przedziale.

Ćwiczenie 13.5.

Pokazać, że dla dowolnej stałej $C\in \mathbb{ℝ}$ funkcje

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_C(t)=\left\{\begin{array}{ll} 0, & \text{ dla }t\leq 0\\ C\exp\left(-\frac {1}{t^2}\right), & \text{ dla }t>0 \end{array} \qquad {\rm i}\qquad g_C(t)=\begin{array}{ll} C\exp\left(-\frac {1}{t^2}\right), & \text{ dla }t<0\\0, & \text{ dla }t\geq 0\end{array} }

są rozwiązaniami równania różniczkowego $t^3{x}^{\prime }=2x$. Czy istnieją jeszcze jakieś rozwiązania tego równania nie uwzględnione powyżej? Wskazać wszystkie takie punkty $(t_0,x_0)$, dla których problem początkowy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} t^3x'(t)=2x(t)\\x(t_0)=x_0\end{array} }

a) nie ma rozwiązania,

b) ma rozwiązanie jednoznaczne w przedziale $(t_0-\delta ,t_0+\delta )$ dla pewnego $\delta >0$,

c) ma co najmniej dwa różne rozwiązania w przedziale $(t_0-\delta ,t_0+\delta )$ dla dowolnego $\delta >0$.

Wskazówka

Czy funkcja $f_{C_1}+g_{C_2}$ może być rozwiązaniem równania $t^3{x}^{\prime }=2x$?

a) Jakim zbiorem jest suma mnogościowa wykresów wszystkich funkcji $f_C$, po $C\in \mathbb{ℝ}$? Jakim zbiorem jest suma mnogościowa wykresów wszystkich funkcji $g_C$, po $C\in \mathbb{ℝ}$?

b) W których punktach można skorzystać z ćwiczenia 13.3?

c) W których punktach nie można skorzystać z ćwiczenia 13.3?

Rozwiązanie

Zauważmy, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_C(t)=\left\{\begin{array}{ll} 0, & \text{ dla }t\leq 0\\ C\frac{2}{t^3}\exp\left(-\frac {1}{t^2}\right), & \text{ dla }t>0 \end{array} , }

czyli $t^3{f_C}^{\prime }(t)=2f_C(t)$. Analogicznie sprawdzamy, że $g_C$ jest rozwiązaniem naszego równania. Nie są to jednak jedyne rozwiązania. Jeśli $C_1,C_2$ są dowolne, to

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left(f_{C_1}+g_{C_2}\right)(t)=\left\{ \begin{array}{ll} C_2\exp\left(-\frac {1}{t^2}\right), & \text{ dla }t<0\\ 0, & \text{ dla }t= 0\\ C_1\exp\left(-\frac {1}{t^2}\right), & \text{ dla }t>0 \end{array} }

jest również rozwiązaniem naszego równania.

Niech teraz $(t_0,x_0)$ będzie dowolnym punktem na płaszczyźnie.

a) Zauważmy, że jeśli funkcja $x$ jest rozwiązaniem równania $t^3{x}^{\prime }(t)=2x(t)$, to $x(0)=0$. Zatem jeśli $t_0=0,x_0\ne 0$, to badany problem początkowy nie ma rozwiązania.

b) Jeśli $t_0\ne 0$, to $r=\frac{1}{2}|t_0|>0$ oraz w zbiorze $(t_0-r,t_0+r)\times (x_0-r,x_0+r)$ funkcja $f(t,x)=\frac{2x}{t^3}$ spełnia założenia twierdzenia udowodnionego w ćwiczeniu 13.3, zatem wtedy badany problem Cauchy'ego, równoważny problemowi Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=\frac{2x(t)}{t^3}\\x(t_0)=x_0\endcases } , ma jedyne rozwiązanie w pewnym przedziale.

b) Jeśli $t_0=0$ i $x_0=0$, to zacieśnienia wszystkich funkcji postaci $f_C$, $g_C$, czy $f_{C_1}+g_{C_2}$ są rozwiązaniami i wśród nich nieskończenie wiele jest parami różnych (przykładowe różne to $f_0$ i $f_1$).

Ćwiczenie 13.6.

Wykorzystując metodę kolejnych przybliżeń Picarda, znaleźć rozwiązanie problemu początkowego Cauchy'ego

a) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=t+x(t)\\ x(0)=1\end{array} ,\quad}

b) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=t^2+x^2(t)\\ x(0)=1\end{array} } .

Wskazówka

Należy policzyć $x_1,x_2,x_3,...$ z ciągu kolejnych przybliżeń Picarda.

a) Zachęcamy do wyliczenia $x_5$ i porównania otrzymanego wielomianu z szeregiem Maclaurina funkcji $f(t)=2\exp t$.

b) Proszę policzyć przynajmniej $x_3$. Dla liczb bliskich zeru otrzymujemy z tego przybliżenia rozwiązania z dość dużą dokładnością.

Rozwiązanie

a)

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned &x_0=x(0)=1,\\ &x_1=1+\int_0^t(s+1)ds=1+t+\frac{t^2}2,\\ &x_2=1+\int_0^t\left(s+1+s+\frac{s^2}2\right)ds=1+t+t^2+\frac{t^3}6,\\ &x_3=1+\int_0^t\left(s+1+s+s^2+\frac{s^3}6\right)ds= 1+t+t^2+\frac{t^3}3+\frac{t^4}{24},\\ &x_4=1+\int_0^t\left(s+1+s+s^2+\frac{s^3}3+\frac{s^4}{24}\right)ds= 1+t+t^2+\frac{t^3}3+\frac{t^4}{12}+\frac{t^5}{120},\\ &x_5=1+\int_0^t\left(s+1+s+s^2+\frac{s^3}3+\frac{s^4}{12}+\frac{s^5}{120}\right)ds= 1+t+t^2+\frac{t^3}3+\frac{t^4}{12}+\frac{t^5}{60}+\frac{t^6}{720},\\ &\vdots \endaligned }

Wiemy, że

$2\exp t=\sum _{n=0}^{\mathrm{\infty }}\frac{2t^n}{n!}=2+2t+t^2+\frac{t^3}{3}+\frac{t^4}{12}+\frac{t^5}{60}+\frac{t^6}{360}+...=1+t+(1+t+t_2+\frac{t^3}{3}+\frac{t^4}{12}+\frac{t^5}{60}+\frac{t^6}{360}+...),$

a stąd widać, że $g(t)=2\exp (t)-1-t$ jest bliskie rozwiązania. Sprawdzimy łatwo, że $g^{\prime }(t)=2\exp (t)-1=g(t)+t$ i $g(0)=1$, zatem $g$ jest rozwiązaniem.

b)

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned &x_0=x(0)=0,\\ &x_1=\int_0^ts^2ds=\frac{t^3}3,\\ &x_2=\int_0^t\left(s^2+\frac{s^6}9\right)ds=\frac{t^3}3+\frac{t^7}{63},\\ &x_3=\int_0^t\left(s^2+ \frac{s^6}9+\frac{2s^{10}}{189}+\frac{s^{14}}{3969}\right)ds= \frac{t^3}3+\frac{t^7}{63}+\frac{2t^{11}}{2079}+\frac{t^{15}}{59535},\\ &\vdots \endaligned }

Ćwiczenie 13.7.

Wykorzystując metodę łamanych Eulera dla $h=0,1$

a) skonstruować przybliżony obraz krzywej całkowej problemu początkowego Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left\{\begin{array}{l} x'(t)=t+x(t)\\ x(1)=1\end{array} } w przedziale $[1;1,5]$ i obliczyć przybliżoną wartość $x(1,5)$;

b) skonstruować przybliżony obraz krzywej całkowej problemu początkowego Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \left\{\begin{array}{l} x'(t)=t+x^2(t)\\ x(0)=0\end{array} } w przedziale $[0;0,4]$ i obliczyć przybliżoną wartość $x(0,4)$.

Wskazówka

a) Uzupełnijmy tabelkę

$\begin{array}{cccc}t& x& t+x& (t+x)h\\ HLINE\; TBD{t}_0=1,0& x_0=1& & \\ t_1=1,1& x_1=& & \\ t_2=1,2& x_2=& & \\ ⋮& ⋮& ⋮& ⋮\\ t_5=1,5& x_5=& & \end{array},$

przy czym nie ma potrzeby wypełniania ostatnich dwóch rubryk, bo chcemy policzyć $x_5\approx x(1,5)$.

b) Podobnie jak w punkcie a).

Rozwiązanie

a) Uzupełnijmy tabelkę

$\begin{array}{cccc}t& x& t+x& (t+x)h\\ HLINE\; TBD{t}_0=1,0& x_0=1& 2& 0,2\\ t_1=1,1& x_1=x_0+(t_0+x_0)h=1,2& 2,3& 0,23\\ t_2=1,2& x_2=x_1+(t_1+x_1)h=1,43& 2,63& 0,263\\ t_3=1,3& x_3=1,693& 2,993& 0,2993\\ t_4=1,4& x_4=1,9923& 3,3923& 0,33923\\ t_5=1,5& x_5=2,33153& & \end{array}$

Przybliżonym obrazem krzywej będącej rozwiązaniem naszego problemu Cauchy'ego w przedziale $[1;1,5]$ jest łamana o węzłach $(t_0,x_0),...,(t_5,x_5)$. Mamy $x(1,5)\approx 2,33153$.

b) Uzupełnijmy tabelkę

$\begin{array}{cccc}t& x& t+x^2& (t+x^2)h\\ HLINE\; TBD{t}_0=0& x_0=0& 0& 0\\ t_1=0,1& x_1=x_0+(t_0+x_0)h=0& 0,1& 0,01\\ t_2=0,2& x_2=x_1+(t_1+x_1)h=0,01& 0,2001& 0,02001\\ t_3=0,3& x_3=0,03001& 0,3009006001& 0,03009006001\\ t_4=0,4& x_4=0,06010006001& & \end{array}$

Przybliżonym obrazem krzywej będącej rozwiązaniem naszego problemu Cauchy'ego w przedziale $[0;0,4]$ jest łamana o węzłach $(t_0,x_0),...,(t_4,x_4)$. Mamy $x(0,4)\approx 0,06010006001$.

Ćwiczenie 13.8.

Wyznaczyć wielomian Taylora rzędu 5 w punkcie $0$ funkcji $x$, będącej rozwiązaniem problemu początkowego Cauchy'ego

a) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=x^2(t)-x(t)t\\ x(0)=1\end{array} ,\quad}

b) Parser nie mógł rozpoznać (błąd składni): {\displaystyle \left\{\displaystyle \begin{array}{l} x'(t)=2x(t)\cos{t}-3t\\ x(0)=1\end{array} }
i obliczyć przybliżoną wartość $x(1)$.

Wskazówka

Zauważmy, że warunek początkowy Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=f(t,x(t))\\x(t_0)=x_0\endcases } daje nam bezpośrednio wartość $x(t_0)$ oraz $x^{\prime }(t_0)=f(t_0,x_0)$. Ale zauważmy, że łatwo policzyć też $x^{″}(t_0)$ mając $x^{\prime }(t)=f(t,x(t))$ itd...

Rozwiązanie

a) Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned &&&x(0)=1,\\ &x'=x^2-xt&&x'(0)=1,\\ &x''=2xx'-x-x't&&x''(0)=2-1=1,\\ &x'''=2(x')^2+2xx''-2x'-x''t&& x'''(0)=2+2-2=2,\\ &x^{(4)}=6x'x''+2xx'''-3x''-x'''t&& x^{(4)}(0)=6+4-3=7,\\ &x^{(5)}=6(x'')^2+8x'x'''+2xx^{(4)}-4x'''-x^{(4)}t &\quad& x^{(5)}(0)= 6+16+14-8=28,\\ &\vdots&&\vdots \endaligned}

zatem wielomian Taylora funkcji $x$ rzędu 5 o środku w punkcie $0$ ma postać

$T_0^{5}x(t)=1+t+\frac{1}{2}{t}^2+\frac{1}{3}{t}^3+\frac{7}{24}{t}^4+\frac{7}{30}{t}^5$ oraz na mocy wniosku ze wzoru Taylora $x(1)\approx T_0^{5}x(1)=1+1+\frac{1}{2}+\frac{1}{3}+\frac{7}{24}+\frac{7}{30}=3\frac{43}{120}.$ b) Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned &&&x(0)=1,\\ &x'=2x\cos{t}-3t&&x'(0)=2,\\ &x''=2x'\cos{t}-2x\sin{t}-3&&x''(0)=4-3=1,\\ &x'''=2x''\cos{t}-4x'\sin{t}-2x\cos{t}&& x'''(0)=2-2=0,\\ &x^{(4)}=2x'''\cos{t}-6x''\sin{t}-6x'\cos t+2x\sin t&& x^{(4)}(0)=-12,\\ &x^{(5)}=2x^{(4)}\cos t-8x'''\sin t- 12x''\cos t+ 8x'\sin t+2x \cos t &\;& x^{(5)}(0)= -24-12+2=-34,\\ &\vdots&&\vdots \endaligned}

zatem wielomian Taylora funkcji $x$ rzędu 5 o środku w punkcie $0$ ma postać

$T_0^{5}x(t)=1+2t+\frac{1}{2}{t}^2-\frac{1}{2}{t}^4-\frac{17}{60}{t}^5$ oraz na mocy wniosku ze wzoru Taylora $x(1)\approx T_0^{5}x(1)=1+2+\frac{1}{2}+0-\frac{1}{2}-\frac{17}{60}=2\frac{43}{60}.$

Ćwiczenie 13.9.

Interpretując obraz pola wektorowego

$\mathrm{d}\mathrm{o}\mathrm{m}f\ni (t,x)\mapsto (t,x)+(1,f(t,x))\in {\mathbb{ℝ}}^2$

(lub pola kierunków), określić w przybliżeniu przebieg rozwiązania równania różniczkowego $x^{\prime }=f(t,x)$, jeśli

a) $f(t,x)=-2$

b) $f(t,x)=-t$,

c) $f(t,x)=t^2$,

d) $f(t,x)=-\frac{1}{x}$,

e) Parser nie mógł rozpoznać (nieznana funkcja „\displaystylef”): {\displaystyle \displaystyle \displaystylef(t,x)=-\frac tx}

Wskazówka

Rysowanie obrazu pola kierunków możemy rozpocząć od wyznaczenia izoklin, czyli poziomic funkcji $f$. Są to nie tylko zbiory, na których funkcja $f$ jest stała, ale również zbiory, na których pole kierunków jest stałe.

Rozwiązanie

a) Funkcja $f$ jest stała na całej płaszczyźnie, więc również pole kierunków jest stałe. W każdym punkcie $(t,x)$ zaczepiamy wektor $[1,-2]$. Każde rozwiązanie równania $x^{\prime }=-2$ jest funkcją liniową o współczynniku kierunkowym $-2$. Na przykład rozwiązaniem problemu początkowego Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=-2\\x(0)=2\endcases } jest funkcja $x(t)=-2t+2$.

{{red}{ Rysunek am2c13.0010}}

b) Równania izoklin (por. wskazówkę) dla funkcji $f(t,x)=-t$ mają postać $-t=k$. Zatem izoklinami są proste pionowe (prostopadłe do osi $Ot$). Na przykład w dowolnym punkcie prostej $t=0$ zaczepiamy wektor $[1,0]$; w dowolnym punkcie prostej $t=1$ - wektor $[1,-1]$; $t=-1$ - wektor $[1,1]$, $t=2$ - wektor $[1,-2]$, $t=-2$ - wektor $[1,2]$. Każde rozwiązanie równania $x^{\prime }=-t$ jest funkcją kwadratową postaci $x(t)=-\frac{1}{2}{t}^2+C$. Na przykład rozwiązaniem problemu Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'=-t\\x(0)=2\endcases } jest funkcja $x(t)=-\frac{1}{2}{t}^2+2$.

{{red}{ Rysunek am2c13.0020}}

c) Równania izoklin dla funkcji $f(t,x)=t^2$ mają postać $t^2=k$, zatem $t=\pm \sqrt{k}$, jeśli $k\ge 0$. W szczególności izokliną dla $k=0$ jest prosta pionowa $t=0$, natomiast jeśli $k>0$, to mamy sumę mnogościową dwóch prostych pionowych. Na przykład w dowolnym punkcie prostej $t=0$ zaczepiamy wektor $[1,0]$; w dowolnym punkcie prostej $t=1$ i prostej $t=-1$ - wektor $[1,1]$; $t=2$ i $t=-2$ - wektor $[1,4]$, $t=3$ i $t=-3$ - wektor $[1,9]$. Każde rozwiązanie równania $x^{\prime }=t^2$ jest funkcją kwadratową postaci $x(t)=\frac{1}{3}{t}^3+C$. Na przykład rozwiązaniem problemu Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=t^2\\x(0)=0\endcases } jest funkcja $x(t)=\frac{1}{3}{t}^3$.

{{red}{ Rysunek am2m13.0030}}

d) Tym razem $\mathrm{d}\mathrm{o}\mathrm{m}f=\{(t,x):x\ne 0\}$. Izokliny dla funkcji $f(t,x)=-\frac{1}{x}$ to proste poziome $x=-\frac{1}{k}$ (oczywiście $k\ne 0$). Na przykład w dowolnym punkcie prostej $x=1$ zaczepiamy wektor $[1,-1]$; w dowolnym punkcie prostej $x=2$ - wektor $[1,-\frac{1}{2}]$; $x=3$ - wektor $[1,-\frac{1}{3}]$, $x=-1$ - wektor $[1,1]$; $x=-2$ - wektor $[1,\frac{1}{2}]$. Zauważmy pewną symetrię (względem osi $x=t$) w stosunku do przypadku b). Każde rozwiązanie równania $x^{\prime }=-\frac{1}{x}$ jest postaci $f_C(t)=\sqrt{C-2t}$ lub $g_C(t)=-\sqrt{C-2t}$ ($t<\frac{C}{2}$). Na przykład rozwiązaniem problemu Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=-\frac1{x(t)}\\x(0)=1\endcases } jest funkcja $f_1$.

{{red}{ Rysunek am2m13.0040}}

e) Podobnie, jak w poprzednim przypadku, $\mathrm{d}\mathrm{o}\mathrm{m}f=\{(t,x):x\ne 0\}$. Izokliny dla funkcji $f(t,x)=-\frac{t}{x}$ to proste $x=-\frac{1}{k}t$, gdy $k\ne 0$, oraz prosta pionowa $t=0$, gdy $k=0$. Na przykład w dowolnym punkcie prostej $t=0$ zaczepiamy wektor $[1,0]$; w dowolnym punkcie prostej $x=t$ - wektor $[1,-1]$; $x=-t$ - wektor $[1,1]$, $x=\frac{1}{2}t$ - wektor $[1,-2]$; $x=-\frac{1}{2}t$ - wektor $[1,2]$. Zauważmy, że każdy taki wektor jest prostopadły do prostej, na której go zaczepiamy. Zatem krzywymi całkowymi są tu okręgi o środku $(0,0)$. To one są krzywymi, do których każda prosta przechodząca przez punkt $(0,0)$ jest prostopadła. Rozwiązania równania $x^{\prime }=-\frac{t}{x}$ są dane w postaci uwikłanej wzorem $t^2+x^2(t)=a^2$. Na przykład rozwiązaniem problemu Cauchy'ego Parser nie mógł rozpoznać (nieznana funkcja „\begincases”): {\displaystyle \displaystyle \begincases x'(t)=-\frac t{x(t)}\\x(0)=1\endcases } jest funkcja $x(t)=\sqrt{1-t^2}$ ($t\in (-1,1)$).

{{red}{ Rysunek am2m13.0050}}