Supongamos que uy v son vectores en el espacio tridimensional. El producto interno (u, v) de los vectores, que también se escribe u . v, posee las propiedades siguientes: )Aw@Vvsv.w ii) (a, v) = Ku, v), donde K es un escalar iii) (uu)=O.siu=0,y (yu) >0 su 40 (uy, w) = @, w) + (vw). Daal eee DEFINICION 10.2 : i Las funciones fi(x)= x? y f(x) = x* son ortogonales en el intervalo [-1, 1] porque Cishd= |, AGA) aeEMEROM Conjunto cortogonal de funciones Demuestre que el conjunto { 1, €8 x, ©o8 2%. .} es ortogonal en el intervalo f=, 7}. SOLUCION Si definimos. Go(x) = 1 y #a(2) = cos mx, debemos demestrar que [." dole Gn(H) de= 0 paran #0 y que he n(x) x(x) dx = 0 cuando m # n. En el primer caso, (d= ff dtep&co de = [" cosme de 1 = “sennx n = i [senna -sen( -nn)]=0, n#0, y en el segundo, (Gm 60)= J On 20) ce =)" cos mreos nx dr = AF" Leoscm + nx + cost = nal = Wenllad igo r =; [frase 2[0 mi-n monLa norma, o longitud generalizada, de una fanci6n $,, es||p,(2)|| = Vm dn); es decir, [leo = Si {Ga()} eS un conjunto ortogonal de funciones en el intervalo [4,B] y tiene la propiedad que [In(2)I| = 1 para n= 0, 1,2,..., se dice que {fa(x)} es un conjunto ortonormal en el intervalo. PURER MLM Serie de Fourier La serie-de Fourter de una funcién / definida en el intervalo (—p, p) es foedrd (aso a+b sen} nel ‘enlacual: —~ ell sin as pop 1 is es Ey de 5 feveos? x 1? on elf f(s) sen x de. Poe p EL conjunto de funciones {cost seatt®s} n=1,2,3...., m=1,2,3,...5 PP es ortogonal en el intervalo [—P,P] ao Supongamos que f es una funcién definida en el intervalo Ap, p/ que se puede desarrollar en la serie trigonométrica mo ( nn nt ) (x) =2+ > (a,cosx +b, sen—x}, @ fen9 Py P P Al integrar ambos Iados de la ecuacién (2), desde ~p hastap, se obtiene ff fenae= ff ae + Saf costBrar +b [', sen "Exdx). 8)Como cada funcién cos(arx/p),sen(nx/p), n> 1, es ortogonal a 1 en el intervalo, el lado derecho de (3) se reduce a un solo término y, en consecuencia, [fora $a Sal pm Al despejar ag se obtiene 1 fe anal fle) dx @ Ahora multipliquemos Ja ecuacién (2) por cos(mx/p) © integremos: > ma o[r me J fonoos™Erar=$ cos de os fp mr nm (P ma ni $3 (0. | cos xcos Ex di + by [P cos x sen ar) 5 5 oar > car sail © Por la ortogonalided tenemos que ff cosErdr=0, m>0 7 # 0, mén ft 08™ 00s ME cde = 4" -? > _ oman mena Y f° cos x sen x ds = 0. = Op ND Entonces, la ecuacién (5) se reduce a [fos eos" x de aD, y asi antft fl) cos x de. 6 - ? Por iitimo, si mutipicamos a (2) por sen(mma/p), integrames y apicamos Ios resultados ff sea xdr-0, m>0 Oe [( senk"eos™4 dx = 0 n> ? 0, m#n [seo sen x dx = { “* e B iP, man, na egamos a bs f fa)sen" x ds. aEJEMPLO 1 Desarrollo en serie de Fourier 0, —1 [ou cos (= +f Fla) ae Goo) [le.? + @4)?] = | nal se conoce como identidad de Parseval ag -m ; 2 tala’ Qn-1) 20+") 3 whe coy ‘n A 16 = 1 xn = 2? _ a m'(2n-1)* k Qn-1)' 96 Sea f :R— R una funcid continua de pertodo 2m y sean ay y by los coeficientes de Fourier de f. Para cualquier entero positivo n G+ Dias [wpe