12.07.2015 Views

Esercizi e appunti per il corso di Fisica Matematica - Sezione di ...

Esercizi e appunti per il corso di Fisica Matematica - Sezione di ...

Esercizi e appunti per il corso di Fisica Matematica - Sezione di ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>di</strong>mostrare che <strong>il</strong> tempo t 1 − t 0 che <strong>il</strong> sistema <strong>di</strong>namico impiega <strong>per</strong> giungere nel puntofisso ϕ(t 1 ) è infinito e cioè costituisce un assurdo.Si pone x 1 := ϕ(t 1 ) e, <strong>per</strong> fissare le idee, si suppone x 0 < x 1 ; la <strong>di</strong>mostrazione procederebbein modo analogo nel caso complementare. Si scelga x 2 ∈ (x 0 , x 1 ); dalla derivab<strong>il</strong>ità<strong>di</strong> ϕ e dal fatto che ˙ϕ(t) = f(ϕ(t)) ≠ 0 <strong>per</strong> ogni t ∈ [t 0 , t 1 ), segue che ˙ϕ ha segnocostante in [t 0 , t 1 ) e quin<strong>di</strong> ϕ è invertib<strong>il</strong>e nel medesimo intervallo. Allora esiste un unicot 2 ∈ (t 0 , t 1 ) tale che ϕ(t 2 ) = x 2 . Ora∫ t2˙ϕ(t) = f(ϕ(t)) e f(ϕ(t)) ≠ 0 ∀t ∈ [t 0 , t 1 )⇒Passando al limite <strong>per</strong> t 2 → t 1 si ha∫ ϕ(t2 )t 1 − t 0 = limt 2 →t 1 x 0t 0˙ϕ(t)f(ϕ(t)) dt = ∫ t2∫dxx2f(x) = limx 2 →x 1 x 0∫ ϕ(t2 )dt⇒t 0dxf(x)x 0dxf(x) = t 2 − t 0L’assurdo deriva dal fatto che, sulla base della con<strong>di</strong>zione <strong>di</strong> Lipschitz, l’ultimo integrale,che rappresenta <strong>il</strong> tempo necessario <strong>per</strong> giungere in un punto fisso a partire da uno nonfisso, è <strong>di</strong>vergente; infatti preso x ∈ [x 0 , x 1 ] si ha|f(x)| = |f(x) − f(x 1 )| ≤ L|x − x 1 | ⇒ f(x) ≤ L(x 1 − x)dove nell’ultimo passaggio si è usato che come conseguenza dell’ipotesi <strong>di</strong> lavoro x 1 > x 0 ,si ha che f(x) è positiva nell’intervallo [x 0 , x 1 ); ovviamente nel caso complementare siragiona in modo analogo. In conclusione∫ x2t 1 − t 0 = limx 2 →x 1 x 0∫dxx2f(x) ≥ limx 2 →x 1 x 0dxL(x 1 − x) = +∞Lemma 1.22 □Teorema 1.23 (secondo sull’unicità) Si consideri <strong>il</strong> sistema <strong>di</strong>namico (1.5) con f : I →R continua sull’intervallo a<strong>per</strong>to I ⊂ R e i due numeri reali t 0 ∈ R e x 0 ∈ I. Se f è <strong>di</strong>Lipschitz su I allora <strong>il</strong> problema <strong>di</strong> Cauchy associato a (1.5) con dato iniziale x(t 0 ) = x 0ammette una soluzione locale unica.Dimostrazione. Il teorema segue imme<strong>di</strong>atamente dal Teorema 1.17 e dal Lemma 1.22.Teorema 1.17 □<strong>Esercizi</strong>o 1.17. Si consideri <strong>il</strong> sistema <strong>di</strong>namico (1.5) con campo delle <strong>di</strong>rezioni f(x) = 0 <strong>per</strong> x ≤ 0 ef(x) = sin x <strong>per</strong> x ≥ 0. Si <strong>di</strong>mostri che f è <strong>di</strong> Lipschitz in ciascun a<strong>per</strong>to sottoinsieme <strong>di</strong> R e si <strong>di</strong>segni<strong>il</strong> ritratto <strong>di</strong> fase del sistema <strong>di</strong>namico <strong>di</strong>scutendo la stab<strong>il</strong>ità dei punti critici.<strong>Esercizi</strong>o 1.18. Si consideri <strong>il</strong> sistema <strong>di</strong>namico (1.5) con campo delle <strong>di</strong>rezioni f(x) = 0 <strong>per</strong> x ≤ 0 ef(x) = x sin x <strong>per</strong> x ≥ 0. Si <strong>di</strong>mostri che f è <strong>di</strong> Lipschitz in ciascun a<strong>per</strong>to sottoinsieme <strong>di</strong> R e si <strong>di</strong>segni<strong>il</strong> ritratto <strong>di</strong> fase del sistema <strong>di</strong>namico <strong>di</strong>scutendo la stab<strong>il</strong>ità dei punti critici.fismat05.tex – 20 Apr<strong>il</strong>e 2006 – 13:12 pagina 17

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!