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.

Time-Dependent Problems 247<br />

are explic<strong>it</strong>. This implies that they can be used only if h satisfies an inequal<strong>it</strong>y of the<br />

type (10.6.4) (absolute stabil<strong>it</strong>y cond<strong>it</strong>ion). Indications for the choice of the parameter<br />

h are given in gottlieb and tadmor(1990) for spectral approximations of first-order<br />

partial differential equations. Unfortunately, in most of the practical applications, these<br />

stabil<strong>it</strong>y cond<strong>it</strong>ions are considered to be very restrictive, especially when D is related<br />

to the space-discretization of second-order differential operators. In this case, according<br />

to (8.3.6), the maximum time-step ˜ h in (10.6.4) is required to be proportional to 1/n 4 .<br />

Indeed, this lim<strong>it</strong>ation is qu<strong>it</strong>e severe, even when n is not too large. For first-order prob-<br />

lems, kosloff and tal-ezer(1989) propose a Chebyshev-like spectral method w<strong>it</strong>h a<br />

weaker restriction on ˜ h.<br />

No restrictions are in general required for implic<strong>it</strong> methods, such as the backward<br />

Euler method. This is obtained by modifying (10.6.2) to be<br />

(10.6.5)<br />

⎧<br />

⎨<br />

⎩<br />

¯p (j)<br />

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

h<br />

¯p (0)<br />

h := ¯p0.<br />

+ hD¯p (j)<br />

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

The scheme (10.6.5) is uncond<strong>it</strong>ionally stable (i.e. no lim<strong>it</strong>ations on h are required),<br />

provided the eigenvalues of D have a negative real part. In add<strong>it</strong>ion, we still have<br />

(10.6.3), i.e., the method is first-order accurate. At each step, the new vector ¯p (j)<br />

h ,<br />

1 ≤ j ≤ m, is computed by solving a n ×n linear system whose matrix is I −hD. We<br />

refer to section 7.6 for the numerical treatment of this system. The algor<strong>it</strong>hm is now<br />

more costly, but we are allowed to choose a larger time-step. This results in a loss of<br />

accuracy, which is moderate, however, for solutions that have a slow time variation.<br />

Further theoretical results and experiments are discussed in mercier(1982) and<br />

mercier(1989) for first-order problems, and canuto and quarteroni(1987) for hy-<br />

perbolic systems. Interesting comments are given in trefethen and trummer(1987)<br />

and trefethen(1988), where numerical tests show the sens<strong>it</strong>iv<strong>it</strong>y to rounding errors<br />

of certain explic<strong>it</strong> methods, when coupled w<strong>it</strong>h spectral approximations.<br />

Similar techniques apply to nonlinear equations. For example, the Burgers equation<br />

(see section 10.4) can be discretized by introducing a sequence of polynomials p (j)<br />

n ∈ P 0 n,

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

Saved successfully!

Ooh no, something went wrong!