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.

Time-Dependent Problems 227<br />

(10.2.18)<br />

Therefore<br />

(10.2.19)<br />

−<br />

1<br />

1<br />

−1<br />

= −ζ<br />

−1<br />

<br />

∂V<br />

∂t (χn<br />

<br />

− pn) w dx −<br />

1<br />

1<br />

2<br />

−1<br />

∂(χn − pn)<br />

∂x<br />

d<br />

dt χn − pn 2 w,n ≤<br />

∂V<br />

∂t (χn − pn)w dx =<br />

n<br />

j=0<br />

∂[(χn − pn)w]<br />

∂x<br />

n<br />

j=0<br />

<br />

∂pn<br />

∂t (χn<br />

<br />

− pn) (η (n)<br />

j ,t) ˜w (n)<br />

j<br />

dx ≤ 0, ∀t ∈]0,T].<br />

<br />

∂χn<br />

∂t (χn<br />

<br />

− pn) (η (n)<br />

j ,t) ˜w (n)<br />

j<br />

<br />

( ∂χn<br />

∂t ,χn − pn)w,n − ( ∂χn<br />

∂t ,χn<br />

<br />

− pn)w<br />

+ ( ∂(χn − V )<br />

,χn − pn)w, ∀t ∈]0,T].<br />

∂t<br />

The estimate of the error V −pnw ≤ V −χnw+χn−pnw is now a technical matter.<br />

The difference between the inner products (·, ·)w,n and (·, ·)w can be bounded w<strong>it</strong>h<br />

the help of (3.8.15) (see also section 9.4). In add<strong>it</strong>ion, χn converges to V for n → +∞,<br />

by virtue of (9.4.7). Theorem 10.1.1 is used as done in the proof of stabil<strong>it</strong>y. The reader<br />

can easily provide the details.<br />

It turns out that, for any t ∈ [0,T], the error decays for n → +∞, w<strong>it</strong>h a rate only<br />

depending on the regular<strong>it</strong>y of V . However, using inequal<strong>it</strong>y (10.1.2), the multiplicative<br />

term e t appears in the right-hand side of the estimates. Therefore, for large times, the<br />

error bound is not in general very meaningful for practical applications. Refinements<br />

are possible, for example when σ1 ≡ σ2 ≡ 0. In this case, the solution V (·,t) and the<br />

polynomial pn(·,t) are known to decay exponentially to zero for t → +∞.<br />

The convergence analysis of the collocation method for the heat equation is de-<br />

veloped in canuto and quarteroni(1981). The same conclusions hold for the tau<br />

and Galerkin methods. These techniques can be extended to other parabolic operators<br />

or to different boundary cond<strong>it</strong>ions, but very few theoretical results are available. For<br />

homogeneous Neumann boundary cond<strong>it</strong>ions, an analysis of stabil<strong>it</strong>y in the Chebyshev<br />

case is provided in gottlieb, hussaini and orszag(1984). A numerical example for<br />

a nonlinear parabolic equation is presented in section 12.1.

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

Saved successfully!

Ooh no, something went wrong!