06.03.2013 Views

Capitolul 1 Ecuatii diferentiale de ordinul ˆıntâi rezolvabile prin ...

Capitolul 1 Ecuatii diferentiale de ordinul ˆıntâi rezolvabile prin ...

Capitolul 1 Ecuatii diferentiale de ordinul ˆıntâi rezolvabile prin ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

116 CAPITOLUL 4<br />

δ = δ(ε, I∗), astfel ca, pentru orice X 1 cu X 1 − X 0 < δ, solut¸ia saturatǎ<br />

X 1 = X 1 (t; t0, X 1 ) a problemei Cauchy<br />

⎧<br />

⎨<br />

⎩<br />

˙X = F(t, X)<br />

X(t0) = X 1<br />

este <strong>de</strong>finitǎ cel put¸in pe intervalul I∗ ¸si verificǎ inegalitatea:<br />

X(t; t0, X 1 ) − X(t; t0, X 0 ) < ε, (∀) t ∈ I∗.<br />

Demonstrat¸ie: Pentru t ∈ I∗, fie at > 0 ¸si bt > 0, astfel ca cilindrul<br />

∆t = {(τ, X) : |τ − t| ≤ at ¸si X − X(t; t0, X0 ) ≤ bt} sǎ fie inclus în<br />

mult¸imea I × Ω ( ∆t ⊂ I × Ω).<br />

Mult¸imea Γ <strong>de</strong>finitǎ <strong>prin</strong> Γ = {(t, X(t; t0, X0 )) : t ∈ I∗} este compactǎ ¸si<br />

este inclusǎ în mult¸imea ◦<br />

∆t; Γ ⊂ ◦<br />

∆t . Existǎ, <strong>prin</strong> urmare, un numǎr<br />

t∈I∗<br />

t∈I∗<br />

finit <strong>de</strong> puncte t1, t2, . . ., tq în I∗, astfel ca Γ ⊂ q<br />

j=1<br />

◦<br />

∆tj .<br />

Consi<strong>de</strong>rǎm funct¸ia d(Y, Z) = Y − Z <strong>de</strong>finitǎ pentru Y ∈ Γ ¸si Z <strong>de</strong> pe<br />

q<br />

q<br />

frontiera mult¸imii ; Z ∈ ∂( ∆tj ).<br />

∆tj<br />

j=1<br />

j=1<br />

Existǎ r > 0, astfel ca d(Y, Z) > r, pentru orice Y ∈ Γ ¸si Z ∈ ∂( q<br />

Tubul <strong>de</strong> securitate ∆, <strong>de</strong>finit <strong>prin</strong>:<br />

∆ = {(t, X) : t ∈ I∗ ¸si X − X(t; t0, X 0 ) ≤ r}<br />

verificǎ urmǎtoarele incluziuni:<br />

∆ ⊂<br />

q<br />

j=1<br />

◦<br />

∆tj<br />

⊂ I × Ω<br />

¸si existǎ K > 0, astfel ca, pentru orice (t, X 1 ), (t, X 2 ) ∈ ∆ sǎ avem:<br />

F(t, X 1 ) − F(t, X 2 ) ≤ K · X 1 − X 2 <br />

∆tj<br />

j=1<br />

).<br />

(o funct¸ie local Lipschitzianǎ este global Lipschitzianǎ pe compacte).<br />

Notǎm cu h = max{T2 − t0, t0 − T1} ¸si consi<strong>de</strong>rǎm ε, 0 < ε < r. Fie<br />

δ = δ(ε, I∗) = ε · 2 −1 · e −Kh ¸si X 1 , astfel ca X 1 − X 0 < δ. Notǎm cu

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

Saved successfully!

Ooh no, something went wrong!