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.

168 Polynomial Approximation of Differential Equations<br />

(8.3.7) (R −1 D)¯p = ¯q ∗ , where ¯q ∗ := R −1 ¯q.<br />

Of course (8.3.7) is equivalent to (7.6.1). The basic difference is that, by an appropriate<br />

choice of the matrix R, we can modify κ(R −1 D) to get a well-behaved system. Thus,<br />

we first compute the vector ¯q ∗ , then we solve (8.3.7) w<strong>it</strong>h an <strong>it</strong>erative approach. In<br />

this context, R is named precond<strong>it</strong>ioning matrix (or precond<strong>it</strong>ioner). Such a matrix<br />

must fulfill two requirements. First, R must be easily invertible, using an inexpensive<br />

algor<strong>it</strong>hm. Second, the cond<strong>it</strong>ion number of R −1 D has to be as close as possible to 1.<br />

The choice R = I (which leads to the Richardson method) satisfies the first restriction<br />

but not the latter. The choice R = D gives κ(R −1 D) = 1, but the computation of<br />

R −1 brings us back to the in<strong>it</strong>ial problem. The desired R is the right balance between<br />

these two extreme cases.<br />

The next several sections describe how to construct precond<strong>it</strong>ioners for the matrices<br />

previously analyzed.<br />

8.4 Precond<strong>it</strong>ioners for second-order operators<br />

We begin by studying problem (7.4.9). The case of first-order derivatives is more delicate<br />

and is considered later.<br />

Let D denote the (n + 1) × (n + 1) matrix corresponding to the system (7.4.9)<br />

(in (7.4.10) we have an example for n = 3). We recall that D coincides w<strong>it</strong>h the<br />

second derivative matrix − ˜ D 2 n (see section 7.2), except for two rows, which have been<br />

su<strong>it</strong>ably modified to take care of the boundary cond<strong>it</strong>ions.<br />

As remarked in section 8.3, the cond<strong>it</strong>ion number of D grows at least as n 4 . We<br />

are concerned w<strong>it</strong>h finding an appropriate precond<strong>it</strong>ioner R for D. To this end, for<br />

any n ≥ 2, we define h (n)<br />

j := η (n)<br />

j − η(n)<br />

j−1 , 1 ≤ j ≤ n, and ˆ h (n)<br />

j := 1<br />

2 (η(n)<br />

j+1 − η(n)<br />

j−1 ),<br />

1 ≤ j ≤ n − 1.

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

Saved successfully!

Ooh no, something went wrong!