Lição 92 — EDOs separáveis
dy/dx = g(x)h(y). Separar variáveis e integrar dos dois lados. Aplicações: decaimento radioativo, resfriamento de Newton, crescimento logístico.
Used in: Spécialité Maths francesa (Terminale) · Math III japonês avançado · Leistungskurs Mathematik 12 alemão · H2 Mathematics singapurense
Rigorous notation, full derivation, hypotheses
Definicja ścisła i metoda
Forma kanoniczna i separowalność
"A separable equation is actually the first kind of differential equation that can be solved explicitly." — Lebl, Notes on Diffy Qs, §1.3
Rozwiązania osobliwe (równowagi)
Twierdzenie o istnieniu i jednoznaczności (Picard-Lindelöf)
Niech z warunkiem początkowym . Jeśli jest ciągła w i jest ciągła w sensie Lipschitza względem w sąsiedztwie — czyli istnieje takie, że —, to istnieje i jednoznaczne rozwiązanie spełniające zagadnienie początkowe.
"Theorem 1.2.1. If is continuous and is continuous near some , then a solution exists for near , and is unique." — Lebl, Notes on Diffy Qs, §1.2
Pole kierunków i analiza jakościowa
Dla , pole kierunków przyporządkowuje każdemu punktowi wektor , wskazując nachylenie rozwiązania w tym punkcie. Isoklines to krzywe (stałe nachylenie). Isoklines poziome spełniają — są to równowagi.
Pole kierunków równania dy/dx = y. Złota isoklina pozioma to równowaga y* = 0. Dla y > 0 rozwiązania rosną; dla y < 0 maleją — równowaga niestabilna.
Kryterium Osgooda (istnienie globalne)
Dla autonomicznego równania różniczkowego , rozwiązanie z istnieje dla wszystkich wtedy i tylko wtedy, gdy
Jeśli całka zbiega, następuje blow-up w skończonym czasie — rozwiązanie ucieka do w chwili danej przez .
Przykład: , . — blow-up w .
Przykłady rozwiązane
Problem. Rozwiąż .
Strategia. Równanie jest separowalne z i . Rozdziel, całkuj, potęguj.
Rozwiązanie.
Pisząc (dowolna rzeczywista stała niezerowa):
Sprawdzić: również rozwiązuje (rozwiązanie stałe, ponieważ ). Wključać .
Sprawdzenie. — zgadza się.
Źródło. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.1 — CC-BY-SA.
Problem. Rozwiąż zagadnienie początkowe , .
Strategia. Rozdziel zmienne, całkuj, zastosuj warunek początkowy do ustalenia .
Rozwiązanie.
Warunek początkowy: , stąd .
Sprawdzenie. i — poprawnie.
Źródło. OpenStax Calculus Vol. 2, §4.3, Example 4.15 — CC-BY-NC-SA.
Problem. Rozwiąż , .
Strategia. Rozdziel i całkuj używając rozkładu na ułamki proste w .
Rozwiązanie.
Ułamki proste: .
Potęgując: .
Rozwiązując: .
Warunek początkowy: .
Sprawdzenie. i gdy — prawidłowe zachowanie logistyczne.
Źródło. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.4 — CC-BY-SA.
Problem. Obiekt w temperaturze 90°C umieszczony w pokoju o temperaturze 20°C. Po 5 minut jest w temperaturze 70°C. Modeluj i określ kiedy osiągnie 30°C.
Strategia. Prawo chłodzenia Newtona: . Rozdziel i całkuj w kategoriach .
Rozwiązanie.
Niech . Wtedy , stąd .
Z : .
Warunek: :
Dla :
Sprawdzenie. C — potwierdza.
Źródło. OpenStax Calculus Vol. 2, §4.3, Example 4.17 — CC-BY-NC-SA.
Problem. Rozwiąż , . Pokaż, że rozwiązanie wybucha w skończonym czasie i określ moment blow-up.
Strategia. Rozdziel, całkuj (potęga ), izoluj , zidentyfikuj osobliwość.
Rozwiązanie.
Stąd .
Warunek początkowy: .
Rozwiązanie jest zdefiniowane na i spełnia gdy : blow-up w .
Sprawdzenie. i — poprawnie. Kryterium Osgooda potwierdza: .
Źródło. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.6 — CC-BY-SA.
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 92.1Application
Rozwiąż .
- Ex. 92.2Application
Rozwiąż zagadnienie początkowe , .
- Ex. 92.3Application
Rozwiąż .
- Ex. 92.4Application
Rozwiąż , .
- Ex. 92.5Application
Rozwiąż .
- Ex. 92.6Application
Rozwiąż .
- Ex. 92.7Application
Rozwiąż , .
- Ex. 92.8ApplicationAnswer key
Rozwiąż .
- Ex. 92.9Application
Rozwiąż .
- Ex. 92.10ApplicationAnswer key
Rozwiąż .
- Ex. 92.11ApplicationAnswer key
Rozwiąż .
- Ex. 92.12Application
Rozwiąż za pomocą ułamków prostych.
- Ex. 92.13
Rozwiąż , .
- Ex. 92.14Application
Zweryfikuj, że rozwiązuje .
- Ex. 92.15ApplicationAnswer key
Rozwiąż .
- Ex. 92.16Application
Rozwiąż .
- Ex. 92.17Application
Rozwiąż , .
- Ex. 92.18
Rozwiąż .
- Ex. 92.19
Rozwiąż , .
- Ex. 92.20
Rozwiąż . Omów dziedzinę i rozwiązania osobliwe.
- Ex. 92.21ModelingAnswer key
Rozpad radioaktywny: C ma okres półtrwania 5730 lat. Jaki procent pozostaje po 10 000 latach?
- Ex. 92.22ModelingAnswer key
Kondensator RC w rozładowaniu: V, , . Znajdź .
- Ex. 92.23Modeling
Zbiornik 100 L z czystą wodą otrzymuje 5 L/min solanki 10 g/L i odprowadza 5 L/min. Jakie jest stężenie po 30 min?
- Ex. 92.24Modeling
Kolonia bakterii podwaja się co 3 h. Ile czasu na wzrost 100 razy?
- Ex. 92.25Modeling
Chłodzenie Newtona: kawa w temperaturze 90°C w pokoju 20°C osiąga 70°C w 5 min. Kiedy osiągnie 30°C?
- Ex. 92.26Modeling
Upadek z oporem liniowym: , . Rozwiąż i określ prędkość końcową .
- Ex. 92.27ModelingAnswer key
Stężenie leku: , . W ile czasu spada do 50% początkowej dawki?
- Ex. 92.28Modeling
Inwestycja z oprocentowaniem ciągłym 5% rocznie: . W ile czasu podwaja się kapitał?
- Ex. 92.29UnderstandingAnswer key
Pokaż, że rozwiązuje . Czy należy do rodziny ogólnej? Uzasadnij.
- Ex. 92.30Understanding
Dla , , pokaż, że istnieje nieskończenie wiele rozwiązań. Dlaczego zawodzi jednoznaczność Picarda?
- Ex. 92.31UnderstandingAnswer key
Dlaczego używa wartości bezwzględnej?
- Ex. 92.32Understanding
Dla zidentyfikuj równowagi i klasyfikuj je jako stabilne lub niestabilne.
- Ex. 92.33Understanding
Która z poniższych form dla odpowiada równaniu różniczkowemu separowalnemu?
- Ex. 92.34Challenge
Rozwiąż za pomocą podstawienia .
- Ex. 92.35Challenge
Pokaż, że , wybucha w skończonym czasie . Potwierdź kryterium Osgooda.
- Ex. 92.36Challenge
Równanie Bernoulliego . Pokaż, że podstawienie przekształca je w liniowe równanie różniczkowe.
- Ex. 92.37Proof
Zarysuj dowód twierdzenia Picarda-Lindelöfa dla , , gdzie jest ciągła i Lipschitza w , za pomocą iteracji Picarda.
- Ex. 92.38ProofAnswer key
Dla z dla wszystkich , pokaż, że rozwiązanie jest globalne wtedy i tylko wtedy, gdy (kryterium Osgooda).
- Ex. 92.39Application
Rozwiąż .
- Ex. 92.40Application
Rozwiąż za pomocą ułamków prostych. Zidentyfikuj rozwiązania osobliwe.
- Ex. 92.41Application
Rozwiąż .
- Ex. 92.42Application
Rozwiąż .
- Ex. 92.43Modeling
Wzrost logistyczny: , . Kiedy populacja osiąga połowę pojemności nośnej?
- Ex. 92.44UnderstandingAnswer key
Analizuj jakościowo bez jawnego rozwiązywania: zidentyfikuj równowagi, stabilność i zachowanie rozwiązań dla różnych warunków początkowych.
- Ex. 92.45Challenge
Dla z określ, dla jakich wartości następuje blow-up w skończonym czasie. Oblicz w tym przypadku.
Źródła
- Lebl, Notes on Diffy Qs — Jiří Lebl · v6.6 · CC-BY-SA. §1.3 Separable equations; §1.2 Picard-Lindelöf. Główne źródło tej lekcji.
- OpenStax Calculus Volume 2 — OpenStax · CC-BY-NC-SA. §4.3 Separable Equations. Przykłady modelowania: Newton, mieszanie, bakterie, farmakokinetyka.
- APEX Calculus — Hartman et al. · CC-BY-NC. §8.1 Graphical and Numerical Solutions, §8.1 Separable Differential Equations. Analiza jakościowa, pole kierunków, Bernoulli.