11.08.2013 Views

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

Untitled - Cdm.unimo.it

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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!