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.

Results in Approximation Theory 105<br />

Lemma 6.3.1 - We can find a constant C > 0 such that, for any n ≥ 1<br />

(6.3.1) p L 2 w (I) ≤ Cn p L 2 a (I), ∀p ∈ Pn.<br />

Proof - Let m = n + 2. Since (1 − x 2 )p 2 ∈ P2m−2, formula (3.4.1) and theorem 3.4.1<br />

lead to<br />

(6.3.2)<br />

(6.3.3)<br />

<br />

I<br />

<br />

I<br />

p 2 a dx =<br />

p 2 w dx =<br />

m<br />

j=1<br />

m<br />

j=1<br />

p 2 (ξ (m)<br />

j ) w (m)<br />

j , ∀p ∈ Pn,<br />

p 2 (ξ (m)<br />

j )(1 − [ξ (m)<br />

j ] 2 ) w (m)<br />

j , ∀p ∈ Pn,<br />

where ξ (m)<br />

j , 1 ≤ j ≤ m, are the zeroes of P (α,β)<br />

m .<br />

Now, we can easily conclude the proof by noting that there exists a constant C ∗ > 0,<br />

depending only on α and β, such that, for any n ≥ 1<br />

(6.3.4) 1 − [ξ (m)<br />

j ] 2 ≥ C∗ C∗<br />

≥ 2<br />

m<br />

, 1 ≤ j ≤ m.<br />

9n2 In fact, from (1.3.2) and (3.1.17), the straight-line tangent to P (α,β)<br />

m<br />

at the point<br />

2(α+1)<br />

(α,β)<br />

x = 1 vanishes at ˆx := 1 − m(m+α+β+1) . It is easy to see that P m is convex in<br />

the interval [ξ (m)<br />

m ,1], hence ˆx is an upper bound for the zeroes of P (α,β)<br />

m . A similar<br />

argument is valid near the point x = −1 which proves (6.3.4).<br />

Relation (6.3.1) is an example of inverse inequal<strong>it</strong>y. Actually, the norm in L 2 w(I)<br />

is in general bigger than the norm in L 2 a(I), because w ≥ a, but the inequal<strong>it</strong>y in the<br />

oppos<strong>it</strong>e direction holds in the fin<strong>it</strong>e dimensional space Pn, for any fixed n ∈ N.<br />

More interesting cases are obtained for inverse inequal<strong>it</strong>ies that involve derivatives<br />

of polynomials. Examples have been given in section 2.5. Using Sobolev norms, we can<br />

establish similar results.<br />

Theorem 6.3.2 - We can find a constant C > 0 such that, for any n ≥ 1<br />

(6.3.5) p ′ L 2 a (I) ≤ Cn p L 2 w (I), ∀p ∈ Pn,

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

Saved successfully!

Ooh no, something went wrong!