17.01.2014 Views

Equazioni differenziali - Istituto per le Applicazioni del Calcolo

Equazioni differenziali - Istituto per le Applicazioni del Calcolo

Equazioni differenziali - Istituto per le Applicazioni del Calcolo

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!