Equazioni differenziali - Istituto per le Applicazioni del Calcolo
Equazioni differenziali - Istituto per le Applicazioni del Calcolo
Equazioni differenziali - Istituto per le Applicazioni del Calcolo
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.2 Soluzioni: il caso a tempi continui 23<br />
Osserviamo che qui richiediamo la differenziabilità <strong>del</strong>la funzione x (·). È abbastanza<br />
chiaro che soluzioni di (2.3), se esistono, in genera<strong>le</strong> non sono uniche. Infatti<br />
analogamente al caso a tempi discreti, la semplice EDO<br />
x ′ (t) = 0,<br />
∀t ∈ T<br />
ha infinite soluzioni: <strong>le</strong> costanti. Sappiamo che questo è dovuto al fatto che non è<br />
stata specificata la condizione inizia<strong>le</strong>. Allora il prob<strong>le</strong>ma natura<strong>le</strong> che consideriamo<br />
nei mo<strong>del</strong>li applicati e che “caratterizza” esistenza ed unicità è di nuovo il PC come<br />
(1.2). Enunciamo ora la definizione di soluzione <strong>per</strong> un prob<strong>le</strong>ma di Cauchy nel caso<br />
a tempi continui.<br />
Definizione 2.2.2. Una funzione x : T → X è una soluzione globa<strong>le</strong> classica <strong>del</strong><br />
PC-EDO { x ′ (t) = f (t, x (t)) ∀t ∈ T<br />
(2.4)<br />
x (t 0 ) = x 0 t 0 ∈ T, x 0 ∈ X<br />
se è differenziabi<strong>le</strong> in ogni t ∈ T e soddisfa (2.4).<br />
Osservazione 2.2.3. Ogni soluzione <strong>del</strong> prob<strong>le</strong>ma di Cauchy (2.4) è chiamata una<br />
curva integra<strong>le</strong> <strong>del</strong>l’EDO.<br />
Integrando, possiamo dare un’altra definizione di soluzione <strong>per</strong> (2.3) e <strong>per</strong> (2.4).<br />
Definizione 2.2.4. Una funzione x : T → X è una soluzione globa<strong>le</strong> debo<strong>le</strong> di (2.4)<br />
se la funzione<br />
s → f (s, x (s))<br />
è integrabi<strong>le</strong> su [t 0 , t] <strong>per</strong> ogni t ∈ T (si veda e.g. [5, p.216] <strong>per</strong> la definizione di<br />
integrabilità) in T e<br />
∫ t<br />
x (t) = x 0 + f (s, x (s)) ds,<br />
t 0<br />
∀t ∈ T. (2.5)<br />
Similarmente x : T → X è una soluzione globa<strong>le</strong> debo<strong>le</strong> di (2.3) se esiste t 0 ∈ T e<br />
x 0 ∈ X ta<strong>le</strong> che (2.5) è verificata (equiva<strong>le</strong>ntemente se<br />
∫<br />
x (·) ∈ f (s, x (s)) ds,<br />
ricordando che l’integra<strong>le</strong> indefinito di una funzione è l’insieme di tutte <strong>le</strong> primitive).<br />
Esempio 2.2.5. Caso in cui esiste una soluzione globa<strong>le</strong> debo<strong>le</strong> che non è una<br />
soluzione globa<strong>le</strong> classica. Sia<br />
⎧<br />
⎨ 1<br />
h (t) = t − 1 , t ≠ 1<br />
⎩ 0, t = 1<br />
{ x ′ (t) = h (t) x (t) , ∀t ≥ 0<br />
x (0) = x 0<br />
x 0 ∈ R