24.02.2014 Views

Partial Differential Equations - Modelling and ... - ResearchGate

Partial Differential Equations - Modelling and ... - ResearchGate

Partial Differential Equations - Modelling and ... - ResearchGate

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.

Optimal Higher Order Time Discretizations 77<br />

α m,k = α m (R m,k ). (21)<br />

Clearly, since P k−1 ⊂ P k , α m,k increases with k. We have also α m,k > 0, since<br />

P m (0) = 1 (m ≥ 1).<br />

For what follows, it is useful to introduce the following affine map:<br />

ψ m : P → P<br />

(22)<br />

∣ R → ψ m (R) =Q m + x m+1 R,<br />

where we recall that Q m (x) =xP m (x). Note that ψ m maps P k−1 into P m+k .<br />

Lemma 1. The function R ∈ P k−1 ↦→ α m (R) ∈ R ∗ + has the following properties:<br />

(i) It goes to 0 at infinity:<br />

lim α m(R) =0.<br />

‖R‖→+∞<br />

(ii) It is upper semi-continuous:<br />

R n → R in P k−1 =⇒ α m (R) ≥ lim sup α m (R n ).<br />

Proof. Let r j (R) denote the coefficient of x j in R ∈ P k−1 <strong>and</strong> consider R n ∈<br />

P k−1 such that<br />

‖R n ‖ ∞ ≡ sup |r j (R n )|−→+∞.<br />

0≤j≤k−1<br />

Referring to the fact that P k−1 is finite dimensional, one can find a subsequence<br />

(still denoted R n for simplification) <strong>and</strong> a fixed non-zero polynomial<br />

ϕ ∈ P k−1 such that, as soon as ϕ(x) ≠0,<br />

R n (x) ∼‖R n ‖ ∞ ϕ(x)<br />

(n → +∞).<br />

For such positive values of x, [ψ m (R n )](x) /∈ [0, 4] for sufficiently large n<br />

which means that α m (R n ) < x =⇒ lim sup α m (R n ) < x. Since ϕ is a<br />

non-zero polynomial, one can find arbitrarily small values of such x so that<br />

lim sup α m (R n ) ≤ 0. As α m (R n ) is a sequence of positive real numbers, this<br />

means that α m (R n ) tends to 0.<br />

On the other h<strong>and</strong>, let R n ∈ P k−1 be a sequence converging to R. Letε<br />

be any arbitrarily small positive number. By the uniform convergence of R n<br />

to R in the interval I R (ε) =[0,α(R)+ε] wehave:<br />

lim ‖ψ m(R n ) − 2‖ L<br />

n→+∞ ∞ (I R(ε)) = ‖ψ m (R) − 2‖ L ∞ (I R(ε)) > 2.<br />

Thus, there exists an integer N ε such that:<br />

n ≥ N ε =⇒ ‖ψ m (R n ) − 2‖ L ∞ (I R(ε)) > 2 =⇒ α m (R n )

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

Saved successfully!

Ooh no, something went wrong!