Analisi Matematica 1

Quarantatreesima lezione

Equazioni differenziali a variabili separabili:esempi.

Teorema di Cauchy per le equazioni differenziali del
primo ordine

prof. Claudio Saccon

Dipartimento di Matematica Applicata, Via F. Buonarroti 1/C

email: saccon@mail.dm.unipi.it
web: http://saccon.blog.dma.unipi.it
Ricevimento: ogni lunedı̀, dalle 9.00 alle 12.00

12 maggio 2010
Claudio Saccon (D.M.A.) Analisi Matematica 1 Quarantatreesima lezione [1cm] Equazioni differenziali
12 maggio
a variabili
2010 separabili:esem
1/9
Altri esempi di equazioni lineari del primo ordine1 :
y 1
1 y0 = −2+x+ (20/06/2006 ing.gest.);
2x x
3y 1 2
2 y0 = + − 2 (31/05/2007 ing.gest.);
x x x
2y 1
3 y0 + = (11/02/2008 ing.gest.);
x 1+x 2
2y 1
4 y0 = − (03/06/2008 ing.aer.).
2
x − 4 (x − 2) 2

SVOLGIMENTO

1 presi dai compiti d’esame

Claudio Saccon (D.M.A.) Analisi Matematica 1 Quarantatreesima lezione [1cm] Equazioni differenziali
12 maggio
a variabili
2010 separabili:esem
2/9
Esercizi
√
y0 = y (NON UNICITÀ) VERIFICA

y0 = y2 (EPLOSIONE IN TEMPO FINITO) VERIFICA

x
y0 =p
1 − y2

Claudio Saccon (D.M.A.) Analisi Matematica 1 Quarantatreesima lezione [1cm] Equazioni differenziali
12 maggio
a variabili
2010 separabili:esem
7/9
Teorema di esistenza e unicità di Cauchy
Teorema
Sia Ω un aperto di R2 e sia F : Ω → R una funzione tale che:
F(x, y) è continua nelle due variabili;
F(x, y) è lipschitziana rispetto a y (uniformemente rispetto a x), cioè

|F(x, y1 ) − F(x, y2 )| ≤ L|y1 − y2 | ∀(x, y1 ), (x, y2 ) ∈ Ω,

per un’opportuna costante fissa L.

Allora dato (x0 , y0 ) in Ω esiste δ > 0 ed esiste una unica funzione
y :]x0 − δ , x0 + δ [→ R tale che y(x0 ) = y0 , (x, y(x)) ∈ Ω per ogni
x ∈]x0 − δ , x0 + δ [ e y verifica l’equazione

y0 (x) = F(x, y(x)) per ogni x in ]x0 − δ , x0 + δ [−

FIGURA

Claudio Saccon (D.M.A.) Analisi Matematica 1 Quarantatreesima lezione [1cm] Equazioni differenziali
12 maggio
a variabili
2010 separabili:esem
8/9
Claudio Saccon (D.M.A.) Analisi Matematica 1 Quarantatreesima lezione [1cm] Equazioni differenziali
12 maggio
a variabili
2010 separabili:esem
9/9