Apunts d’Anàlisi Real
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
Anà lisi real - Departament de Matemà tica Aplicada IV - UPC
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
78 Sèries de Fourier<br />
5. Els polinomis d’Hermite<br />
verifiquen<br />
H n (x) = (−1) n x2 dn<br />
e , n = 0, 1, 2, . . .<br />
dx ne−x2<br />
∫ +∞<br />
−∞<br />
i, definint (això ja no són polinomis)<br />
e −x2 H n (x)H m (x) dx = δ n,m 2 n n! √ π<br />
Ĥ n (x) = e − x2<br />
2<br />
tenim un sistema ortonormal a L 2 ( ).<br />
1<br />
2 n/2√ n! 4√ π H n(x),<br />
A partir d’ara escriurem ||·|| en lloc de ||·|| 2 , ja que aquesta serà l’unica norma que apareixerà.<br />
El problema bàsic de la teoria de funcions ortogonals és com aproximar el millor possible<br />
una funció L 2 (I) mitjançant una combinació lineal (finita!) d’elements d’un sistema ortonormal.<br />
Sigui S = (ϕ 0 , ϕ 1 , ϕ 2 , . . .) ortonormal a L 2 (I) i sigui, donat un n ∈ ¡ fixat,<br />
t n (x) =<br />
n∑<br />
b k ϕ k (x).<br />
k=0<br />
Ens preguntem com hem d’escollir els b k de manera que la distància, en el sentit de L 2 , de f a t n<br />
sigui el més petita possible. Veurem que hi ha una única elecció dels b k que minimitza ||f −t n ||,<br />
però per a motivar el resultat començarem presentant un cas familiar a n .<br />
A<br />
n , la millor aproximació d’un vector v per vectors d’un subespai vectorial W ve donada<br />
per la projecció ortogonal de v sobre W.<br />
Al intentar generalitzar aquest resultat a un sistema ortonormal de L 2 (I) ens trobem amb el<br />
problema de que no coneixem d’antuvi l’expressió “exacta” equivalent a v = v 1 e 1 + . . . + v n e n ,<br />
on e 1 , . . .,e n és una base ortonormal de<br />
n . Tenim, però, que la tria dels millors coeficients<br />
segueix el mateix criteri:<br />
Teorema 4.1 Sigui S = (ϕ 0 , ϕ 1 , ϕ 2 , . . .) ortonormal a L 2 (I) i sigui f ∈ L 2 (I). Fixat n ∈ ¡,<br />
siguin<br />
n∑<br />
n∑<br />
s n (x) = c k ϕ k (x), t n (x) = b k ϕ k (x),<br />
on els b k són arbitraris i<br />
k=0<br />
k=0<br />
c k = (f, ϕ k ), k = 0, 1, 2, . . .,n.<br />
Llavors es té<br />
||f − s n || ≤ ||f − t n ||,<br />
i la igualtat es verifica sii b k = c k , k = 0, 1, . . .,n.<br />
Demostració. Es tracta de veure que<br />
n∑ n∑<br />
||f − t n || 2 = ||f|| 2 − c 2 k + (b k − c k ) 2 , (4.6)<br />
k=0 k=0<br />
Carles Batlle i Enric Fossas 2002