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.

Orthogonal<strong>it</strong>y 31<br />

From (2.3.8), we get for instance<br />

(2.4.4) Πw,n(xun) = − σn+1<br />

ρn+1<br />

un − τn+1<br />

un−1, n ≥ 1.<br />

ρn+1<br />

Taking a truncation of the sum in (2.3.10) or (2.3.12) in order that k + j − 2m ≤ n, we<br />

obtain an expression for Πw,n(ukuj), k,j ∈ N. Therefore, by the linear<strong>it</strong>y of Πw,n,<br />

one obtains the coefficients of Πw,np 2 in terms of the coefficients of p.<br />

The main properties of the projection operator are investigated in section 6.2.<br />

There, under su<strong>it</strong>able hypotheses, we shall see that limn→+∞ Πw,nf = f, where the<br />

lim<strong>it</strong>ing process must be correctly interpreted.<br />

2.5 The maximum norm<br />

Let us assume that I is a bounded interval. In the linear space of continuous functions<br />

in Ī, we define the norm<br />

(2.5.1) u∞ := max<br />

x∈ Ī<br />

|u(x)|, ∀u ∈ C 0 ( Ī).<br />

One easily verifies that ·∞ actually satisfies all the properties (2.1.3)-(2.1.5). We call<br />

u∞ the maximum norm of u in Ī. It can be proven that <strong>it</strong> is not possible to define<br />

an inner product that generates the maximum norm through a relation like (2.1.6).<br />

Two celebrated theorems give a bound to the maximum norm of the derivative<br />

of polynomials. The first one is due to A.Markoff and is successively generalized to<br />

higher order derivatives by his brother (see markoff(1889) and markoff(1892)). The<br />

second one is due to S.Bernstein (bernstein(1912a)). Other references can be found in<br />

jackson(1930), cheney(1966) as well in zygmund(1988), Vol.2. Further refinements<br />

are analyzed in section 3.9. Applications are illustrated in chapter six.<br />

Theorem 2.5.1 (Markoff) - Let Ī = [−1,1], then for any n ∈ N we have<br />

(2.5.2) p ′ ∞ ≤ n 2 p∞, ∀p ∈ Pn.

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

Saved successfully!

Ooh no, something went wrong!