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.

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!