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.

172 Polynomial Approximation of Differential Equations<br />

three well-structured matrices, so that the global cost of the computation ¯p → R −1 ¯p<br />

is proportional to n (see bertoluzza and funaro(1991)). Slight modifications to<br />

(8.4.4) lead to a su<strong>it</strong>able precond<strong>it</strong>ioner for the matrix of system (7.4.16).<br />

Fin<strong>it</strong>e-difference precond<strong>it</strong>ioning matrices for fourth-order problems have been in-<br />

vestigated in funaro and heinrichs(1990), both for the boundary-value problems<br />

(7.4.19) and (7.4.23). The analysis has been carried out in the Chebyshev case, but<br />

similar conclusions also apply to other s<strong>it</strong>uations. A l<strong>it</strong>tle care has to be payed when<br />

dealing w<strong>it</strong>h the fin<strong>it</strong>e-difference schemes at the boundary points. Before precond<strong>it</strong>ion-<br />

ing, the ratio between the largest and the smallest eigenvalues is proportional to n 8 .<br />

The precond<strong>it</strong>ioned eigenvalues satisfy relation (8.4.2). In particular, in the Chebyshev<br />

case, we can take c = π4<br />

16 ≈ 6.08 .<br />

For matrices related to problems defined in unbounded domains, we can use the<br />

same arguments. However, since <strong>it</strong> is not advisable to work w<strong>it</strong>h high degree Laguerre<br />

or Herm<strong>it</strong>e polynomials (see sections 1.6 and 1.7), the matrices are not very large in<br />

practical applications. Therefore, we suggest direct methods to solve these systems.<br />

8.5 Precond<strong>it</strong>ioners for first-order operators<br />

Denote by D the (n + 1) × (n + 1) matrix corresponding to the system (7.4.1). Here,<br />

the idea of using fin<strong>it</strong>e-differences to construct a precond<strong>it</strong>ioner for D does not offer<br />

the same features emphasized in section 8.4. For instance, let R := {rij} 0≤i≤n<br />

0≤j≤n<br />

defined as follows:<br />

−1<br />

⎪⎨<br />

(8.5.1) rij :=<br />

⎧<br />

1 if i = j = 0 ,<br />

h (n)<br />

i<br />

if 1 ≤ i = j + 1 ≤ n,<br />

1<br />

⎪⎩<br />

h (n)<br />

if 1 ≤ i = j ≤ n,<br />

i<br />

0 elsewhere.<br />

be

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

Saved successfully!

Ooh no, something went wrong!