11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

244 Polynomial Approximation of Differential Equations<br />

gear(1971), lapidus and seinfeld(1971), jain(1984). Here, we only present some<br />

basic algor<strong>it</strong>hms.<br />

Our purpose here is to solve first-order differential systems of the form<br />

(10.6.1)<br />

⎧<br />

⎪⎨<br />

d<br />

dt<br />

⎪⎩<br />

¯p(t) = D¯p(t) + ¯ f(t),<br />

¯p(0) = ¯p0,<br />

t ∈]0,T],<br />

where ¯p(t) ∈ R n , t ∈ [0,T], is the unknown. In (10.6.1), D is a n × n matrix,<br />

¯p0 ∈ R n is an in<strong>it</strong>ial guess and ¯ f(t) is a given vector of R n , ∀t ∈]0,T]. Systems like<br />

the one considered above were derived in sections 10.2, 10.3 and 10.5.<br />

The most straightforward time-discretization method is the Euler method. We<br />

subdivide the interval [0,T] in m ≥ 1 equal parts of size h := T/m > 0. Then,<br />

for any m ≥ 1, we construct the vector ¯ph ≡ ¯p (m)<br />

h ∈ Rn , according to the recursion<br />

formula<br />

(10.6.2)<br />

⎧<br />

⎨<br />

⎩<br />

¯p (j)<br />

h := (I + hD)¯p (j−1)<br />

h + h ¯ f(tj−1) 1 ≤ j ≤ m,<br />

¯p (0)<br />

h := ¯p0,<br />

where I denotes the n × n ident<strong>it</strong>y matrix and tj := jh, 0 ≤ j ≤ m. We assume that<br />

D adm<strong>it</strong>s a diagonal form and we denote by λi, 1 ≤ i ≤ n, <strong>it</strong>s eigenvalues. Then, we<br />

have the following result.<br />

Theorem 10.6.1 - Let the eigenvalues of the matrix D satisfy Reλi < 0, 1 ≤ i ≤ n.<br />

Then, if ¯p(t), t ∈ [0,T], is the solution of problem (10.6.1), and ¯ph is obtained by<br />

(10.6.2), <strong>it</strong> is possible to find a constant C > 0 such that<br />

(10.6.3) ¯ph − ¯p(T)R n ≤ Ch sup<br />

for any h satisfying<br />

(10.6.4) 0 < h < ˜ h := min<br />

1≤i≤n<br />

t∈]0,T[<br />

<br />

<br />

<br />

d<br />

<br />

2 <br />

¯p <br />

(t) <br />

dt2 <br />

−2Reλi<br />

|λi| 2<br />

<br />

.<br />

R n<br />

,

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

Saved successfully!

Ooh no, something went wrong!