FUNCIONES ORTOGONALES _ Y SERIES DE FOURIER 11.1. Panciones onogonates 11.2 Series de Fourier 1.3 Series de Fourier de cosenis y de sees 1.4 Problema de Stutm-Liowwville ILS Series de Bessel y Legendre 11.5.1 Seriede Fourier Bessel 11.5.2 Serie de Fourier-Legendre REPASO DEL CAPITULO 11. En céleulo ha visto que los vectores distintos de cero son ortogonales cuando su producto interto (ponto) es cero: Mis lit del esto, os eonceptos de vectores, ‘ortogonalidad y producto interno con frecuencia pierden su interpretaciéin _seométrica. Estos concepts se han generalizado y es muy comin censiderar une fancidn como un vector. Enionces povlemox decir que dos funciones distntas son ‘rtogotales cuando su producto inierio es cero, En este capitulo veremos que el ‘Producto intemo de estos vectors (Funciones)es en realidad una integral definida El cancepto de funciones ortoysnales y el desarrollo de una funcién fdada en ‘érminos de un conjunto de fanciones onogonales es fundamental en el estudio de Jos temas de os eapitulbs 1213, 397398 * CAPITULO 11. FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER Bn FUNCIONES ORTOGONALES REPASO DE MATERIAL ++ Los conceptos de vectores generalizados y espacios vecteriales se pueden encontrar en cualquier libro de dlgebra linea. INTRODUCCION Los concepios de vectores geométricos en dos y tres dimensiones, vectores or- togonales o perpendiculares y el producto interno de dos veetores ve ha generalizado, Es may comin en matemiticas considerar una funci6n como un veetor. En esta seceiSn analizaremps un prodacto interno que es diferente del estudiadocen céleulo, Utlizando este nuevo producto interno, definiremes Jas funciones ortogoniles y los conjuntes de funciones ortogonales. Otro tema comin en un curso de caloulo es el desarrollo de una funci6n fen series de potencia. En est seccisn también veremos cémo esartollar una adecuada funcion fen temines de un conjuntoinfnito de funciones ertogonalks, PRODUCTO INTERNO Recuerde que si my v son dos vectores en el espacio ti- dimensional, entonces el producto intemo (u, v) de lox veetores (en célevlo ésie se cexcribe como w-- v) tiene las propiedades siguientes: dD vam, fi) ka,y) = Aw, v}, Kes unesealar, i) Wu) =Osin=0y (au) >0su0, by) (at yew) = (aw) + (0). Esperamos que cualquier generalizacién del concepio de producto interno debe tener estas mismas propiedades. ‘Supongamos que fy , son funciones definidas en un intervalo[a, 6.” Puesto que una integral definida sobre [a,b] del producto f(x) {x tambien tiene las propiedades anteriores () iv) siempre y cuando exista la integral, podemos enunciar la siguiente definicion: FUNCIONES ORTOGONALES Motivados por el hecko de que dos vectores ‘geoméiricos y v son ortogonales siempre que su procucto intemosea cero, definimos Jas fanciones ortogonales en una forma similar. “Tovinervtos tambien podria er (—, 59 (0), exer.11.1 FUNCIONES ORTOCONALES © 399 Por ejemplo, las funciones f(x) = x y f(x) H,yaque 2 son ortogonales en el imtervalo [~1, ff = fie sede ‘A diferencia del andlisis vetoral, donde la palabra orrogonal es sindvimo de perpen- dicular, en este contexo el término oriogonel y acondici6n (1) no tienen signifcadl geomettico, CONJUNTOS ORTOGONALES Nos interesan principalmente los cenjuntos infi- nitos de funciones ortogonales, CONJUNTOS ORTONORMALES La norma 0 longitud jul de un vector u, se puede expresar en términos del producto interno. La expresidn (u, w) = [ul se Hama norma cuadrads, por lo que ta norma es |u] = V(u, u), De igual modo, la norma euadrada de una funcisn &, 6 /6.3))? = (d &,) asi la norma 0 su longitud vene- ralizada es |\b,(«)]| = Vids. d.). En otras palabras, la norma cuadrada y tn norma de tuna funcién ¢, en un conjunto ortogonal {6,(2)} son, respectivamente, ww?=[ema y jaot= [eine Si [d,(2)] es un conjunto ortogonal de funciones en el interval [a, b] con la propiedad. de qu? |d,¢e)| = I para n= 0, 1, 2... entonces se dice que (¢,(x)] es un conjunto ortonormal en el intervalo. I EJEMPLO 1 Conjunto ortogonal de funciones Demvestre que el conjunto {1, c0s:x, 208 2x...) es ortogonal en el intervalo [—a, SOLUCION Si identiicamos 6,(2) = | y ,(x) = cos ne, debemos entonces demos. trar que {&, dy(2) 4, (2) dx = 0. 0.y JE d(x) dy(2) dx = 0, m # n. Tenentos, enel primer caso, 0.4) [lacoacnae= [cornea sens] =Hisenen—seanm=0, #0,400 cariTuo 11 FUNCIONES ORTOGONALES Y SERIES DE FOURIER yeenel segundo, (Bp. J ule gta) dx — tf [cost + n)x + costim — ns} de seas gonna ~ fees — a I EJEMPLO 2 Normas Encuentre las normas de cada funcién en el conjuato ortogonal del ejemplo |. tenemos de la ecuacién (3), Heck? i dx~ 2m, SOLUCION Para d(x par lo que lib, (a)| = Vir. Para & (x) = cos nx, > 0, se tiene que 1 ii,i08 [i sorneae- f [1 + cor Ins] ax = Asi pana n > O,lib, (0) = Ve . Cuatquier conjunto oriogonal de funciones diferentes de cero [1,(8)}, "= 0, 1, 2... . se puede normalizar es deci, transformarlo en un conunto drtonormal divi ddendo cada funsicn entre su norma Se tne de los ejemplos | y 2 queel conjunto { 1_ cost cos2x | Vin Va Va cs ontonounal en [=m +]. “Vamos a establecer una analogla més entre vectores y funciones. Suponga que Ye ¥, y ¥, sem tes vectores dintintos de cero, ortogonales entre sf en cl espacio tridi- ‘mensional. Ese conjunto ortogonal se puede usar como base para el espacio en tres dimensiones; es decir, cualquier vector tridimensional se puede escribir como una ‘combinacién lineal. Fay, tes ten a ‘en donde fas ¢, i= 1, 2, 3, som escalares y se llaman componentes del vector, Cada componente c, se puede expresar en términos de wy del vector v, correspondiente, Para ‘er esto tomarpos el producto interno de (4) con ¥,: (wy) = GO u1) + GN) Feo) — Elly FeO 60. ) ell ‘De igual manera podemos enconirar que las componenten cy ¢, estén dads po (wv) _ wy) 48 Por tanto, a=11.1 FUNCIONES ORTOGONALES = 401 Por tanto, la ecuseién (4) se puede expresar como: wn, ew) | wy _ Sony) ety + ey = BT WwilF {va tvall? 2 val DESARROLLO EN SERIES ORTOGONALES | Supongaque (¢,{x)] es un conjanto infinito de funciones ortogonales en un intervalo (a, 6). Nos preguntamos: si y= f(«) ‘es una funcién definida en el intervalo [a, b}, es posible determinar wn conjunto de coeficientes ¢,. = 0, 1,2... part el que S09 = ease) + era) += + eda Ho © ‘Como en el andlisis anterior acerea de encontrar las componentes de un vector po- demos determinar 1s coeficieates c,utlizando el producto interno. Multipicando ia eciacién (6) por (x) € ntegrando én el intervalo [a 6, se obtiene oy [roenae~ oof dulsdi(a) de + of PiDgled de be of by) dala) dae + = Cals Gn) + CMe by) #8 Fl Bye ad HO Por la ortogonalidad cada término del miembro derecho de la itima ecuacién ¢s cero excepto cuando m = 1. En este caso tenemos [ {bg a ‘Se tiene que los coeficientes que buseames son Fe) dyCedae Gade, Heres Si@uras ° Es deci, Jes) = Seton, o ise = Lefonayenee @ r Wor” ‘Con la notaeién de producto intemo, Ia ecuaciéa (7) ve eonvierte en feo) Porlo que vemos que la ecuaci6n (9) es la funcién andloga del resultado veetorial dado en laccuacién (5), ® ‘La suposicién usual es que w(x) > O en el intervalo de ortogonstidad [a, bl. EL coajunto (1. cos x. cos 2x. ...) del ejemplo 1 es ortogonal respecto a ta funcicin de eso w(2) = | en el itervalo [~r. 7. Si {(2)] es ortogonal respecto a una funcién de peso w(x) en [a, b], entonces smultipficando la ecuaci6n (6) por w(x}d,(0) ¢ integrando se obtiene que «= Lftowona,onde a . 0) 4.CoIF402+ cariTuLo donde FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER 16.00 f wa) O00) de ay La serie (7) en que los eoeficieates dados ya sea por la ecuacisn (8) 0 por la ecuacién (20) es un desarrollo en series ortogonales de fo una serie de Fourier generalizada. CONJUNTOS COMPLETOS El procedimiento delineado para determinar 1s coe ficientes c, fue formal; es decir, no se consideran las cvestiones basicas acerca de si ‘en realidad es posible un desarrollo en serie f de funcianes ortogonales com el de la ‘ecuacién (7). También, para desarrollar fen una serie de funciones ortogonales, es ‘realmente necessrio que no sea ortogonal a cada @, del conjunto ortogonal (6,(2)).(Si ‘Fiuera ortogonal a toda 4, entonces c, = 0. 0.1, 2...) Para evitarel problema ‘anterior, sypondremos, en lo que resta del anilisis, que un conjunto ortogonal es com= pleto, Esto quiere decir que la dnica funcién ortogonal 4 cada miembro del conjunto esa funcién cero, (BB sercicios 11.1 Las respuestes ¢ los problemas seleccionados con nimmero impar comiencon en la prigina RES-I8. En los problemas 1 6, demuestre que las funciones respecti- ‘vas son ortogonales en el intervalo indicado. xf@=P 29 AQ =P + HL eA fa)= xe et (0,21 cos, f(x) = sen'x; [0.77] 5. (0) ~ & fl) ~ 608 28s [—w/2, 2/21 6 f= ef) = sen; [7/8,50/4] En los problemas 7 a 12, demuestre que el conjunto dado de funciones es onogonal en el intervalo indicado. Encucatre Ia, ‘norma de cada funcién en el conjunto. Te (sen, sen sen 5n,...}5 (0497/21 & [cos x, cos 3x, cos Sx....J; [0.9/2] 9 {sennx),n=1,2.3,...5 (a) to. {0% i =123.063 (Op) Pp ve ficat)n~ ; 123.00 (Op) ae L235 pel Compniche por integracién directa que las funciones de los problemas 13 y 14 son ortogonales respecio a ta funcidn de ‘peso indicada en el intervalo dad. 1B. Hx) = 1. HG) = 2s, HG) = 4c — 2; wh) =.) M4. £2) = 1,L,0)=-2 +1) etl we) —e~% (0. 15, Sea [d,(2)] un conjunto ortogonal de funciones en [c, 6] tal que',() = 1. Demuesire que [24,(0) dx = 0 para neh, 16. Sea {4,(8)} un conjunto onogonal de funciones en [a 8} tal que 4,(2) — Ly 4,6) = x Demuestre que JMax + B)4,(0) dx = 0 param =2,3,.. lesquier constantes a y 8. 17. Sea {¢,(x)) un conjunto ortogonul de funciones en [a,b Demueitre que |¥t,(2) + &,C2)P = [l6,ColF + [lf COlF poram # 9. 18, Del problems 1 sabemos que fe) =x y f(a) = = son or- togonales en el intervalo [-2, 2]. Encuettre las constan- tes ¢, yc, tales que f(x) = x + cx? +c." sea oriogonal tanto af como a fen el mismo interval. 19. El conjunto de funciones [sen nr}, nt = 1, 2,3... €6 ‘ortogonal en el intervalo [7.7], Demuestre que el con- {junto no ex complet. 20, ‘Suponga cue /,/ ) f,0n funciones continaas en el inter valo fa, b}, Demuestie que (+ fy f) ~ Vuh + Gof y para cus Problemas para analizar 21, ‘Se dice que una funcién f de valor reales periédica, con periodo T'si f(x + T) = FG). Por ejemplo, 477 es un pe- iodo de sens, ya que sen x + diz) = sen x. FI valor mi- imo de 7 para el que es vilida f(x + 7) = fla) se lama periodo fundamental de / Por cjemplo, el perio fun damental de /(x) = sen x es T~ 2x. (Cuél cs cl periodo fundamental de cada una de las siguientes funciones? aoe eo we a) f(x) = cos re Fx) =aire ©) fla) = senx+ sen 2x A) fle) = €) fla) = sen 3x + cos 2x = Ag +3(A, cos “2x + B, sen: 1) fla) = Ay +3 (a + By son Ay B,cependen soto den sen 2x + cos de11 Orthogonal Functions and Fourier Series Exercises 11.1 af) sMet+ nde = Jat! 42et 3. fel ~ ede = : : f som'e[ (Feosaz +2sin2e) ie o 0. [ftheansée= (Jeane teens) [M 7. Formén a (2n-+ 12 sin(om +1)2 de [[ sin(an + 3}e sin(am + 1)e dz 1 AA = 3h [cos 2(n — m}z = cos 2(n+ m + 1)2| de an- mel? 1 P vel? = jainatn = me PO — epee ay sn zine m+ ae =0 For m=n : ; pre af sin?QQndy)yrde = ["" (2 — 2 cos2(an-+1)2) de [fr sensed [ (5 - 58220 40)2) = = 1 sin (on + Iz P~ aerreeaae sa 491Exercises 11.1 so that, 1 Ulsin(2n + 12 = 5VF 8. Formén pad Af cos(an + 1)x cos(2m + 1}sde 1 fF eosakn— mis + cos (a +m +1)a} dz n/a 1 1 5 = Bey tn — le Ser eE esr ens =o Form=n a a2 tr cost(2n-+ tjede = // (5 + $eor2(20 + 2) dr ” 2(2n 41 lb ima (2n + Lr so that fa 9. Form An a ne f sinnesinmeds = 5 [ [cos(n — m)z — cos(n + m)a dar = sintn — mal — sin a(n mie |” = apap ann | - apeemyenzint me =0, For m=n in? elo 7 ~ 4 sinan: = f sin? ncas = J" [3 costa] ax = 5 - Zo sinane [= 2 so that Isinnzi|= YZ. 492Exercises 11.1 12. For m # n, we use Problems 11 and 10: [cos con tr ~2 fos Ee oe Bids =0 [coe pe ep tae 2 mS cm [isn aan nde =2 [snr an zde = [snip snip EH? AGO Also oe [rso% res ese0 [ (om = ae eam) ae Lp P 5 P 493Exercises 11.1 [frvcoe ade = Lean el =o, m sin ads = ~ Zee ot 2am Qne_ |? [isin Ze cos eds = i jin *ade = Fee 7 Form=n L cog? Bods = L ( ++ Joos ME) te = » [isnt Made = ° (3 - joce a) de =, a . [tenn so that: ° \ (itl = yp. eve a eaten in| va }. Since [let vtedene# 8 fo [et ret aden ef 2(eet) arn ft otas orm? o fete) afore =2 (= ee r) =0, and [oP test ydens [22 (tee? de af ee Mes wa(-2e? [loaf oe) 4 are afte? lL ) +2" ae" de =0, the functions are orthogonal.Exercises 11.1 14, Since we ioe 1d =a)de= (= Ne* | - [Petae=o, fe 1. (Ja? 2043) arm (ae -1- Fe?) e* [P+ [Pett - van =1+(Q-a)e* [+f etar=o, and fruns (fe-te+ ade = [Pet (-} a Be arta) ar wet (Jae? + 32-1) p+fet Ed +10-a)ée slte* (§2?- se +3) [P+ [ete aeyae ater [Pa [Petae=0, the functions are orthogonal. 15. By orthogonality /? dolc}gn(z}dr = 0 for n= 1, 2,3, ...; that is, {2¢n(z)dz =0 for n= 1,23, 1 . Using the facts that dp and 1 are orthogonal to ¢ for n > 1, we have Poss antzrarma foaés(a)ae +8 [1-du(2) dz 6 . maf drlehente)de+ 8 f dolz)onl(s) de sa-0+8-050 forn=2,3,4, 1 + Using the fact that dn and dy, are orthogonal for n % m we have Hema) + nle)I? = ftdmCe) + ontaPae f° [eh (2) + 24m(e)n) + eB] de = [Aloe [ onleronterdes [ alerae = on(z3l? + lida)? 495Exercises 11.1 18. Setting 2 Ala) Ale) de = £ (22 +122 + cx24) de = x es Bo and 2 : fla) fla)ae= (22 +e! + 028) de = Soy we obtain cy = 0 and o = ~5/12. 19. Since sin nz is an odd function on (—", 7) a, and f(z) = 1 is orthogonal to every member of {sin nz}. Thus {sin nz} is not complete. 8 (hthnh\= [ine +neainesde= [replace ff hle)ple) dr = (hh) + (hf) (a) The fundamental period is 2n/2m = (b) The fundamental period is 2n/(4/L) (6) The fundamental period of sinz + sin 2s is 2x (d) The fundamental period of sin 2z + cos4z is 24/2 = x. (e) The fundamental period of sin3r + cos4z is 2r since the smallest integer multiples of 2/3 and 2r/4 = 1/2 that are equal are 3 and 4, respectively. (f) The fundamental period of f(x) is 2x/(nm/p) = 2p/n. na) = |" sinne de =0 20. 21. 8 Exercises 11.2 —__ il a= 2 [" f(2)ér= foacmr ann2 ff seajcosMiaden! [" coeds =0 met [' Helin Meds == [sinneds = 2(1 ese) = 20-9" sinnz [” Ha)cosned ast cosnzde += 2 [{ 2eosnzdz =0 = [* f(@)sinneds == 8 ~sinnadz +> £ [fesinnsdr = Sp —(~ 1)"] 496V2 SERIES DEFOURER = 403 Buz SERIES DE FOURIER REPASO DE MATERIAL * Lea nvevamente, o mejor repita el problema 12 de los ejervicios 11.1. INTRODUCCION Acabamos de ver que si {4,(0), 4,(2), ,(0), es un conjunto ortogonal en ‘un intervalo (a. 6] y f'es una funcidn definida en el mismo inlervala, entonces se puede desarrollar formalmente fen una serie ortogonal eoby 6) + E14) + erGyC + + donde los coeficientes ¢, se determinan utilizando el concepto de producto intemo. El conjunto orto- gonal de funciones trigonométricas {usm Fane? ; 5 a tendré después especial importancia en la soluci6n de ciertas clases de problemas con valores a la frontera donde intervienen ecuaciones diferenciales parciales lineales. El conjunto (1) es ortogonal en el imervalo [—p. pl. UNA SERIE TRIGONOMETRICA Suponga que f es una funcién definids en el intervalo =p, p] y que se puede desarrollar en una serie ortogonal formada por las finionestigoomnéticn lon crgonal (}reodece 2, am, ‘ (a.com s + bynen 2) 2 f@ ( , Pp 2 Les eoeiciemes ay ay dy + by By < +» 36 pun determinarexactamene dela misma manera gue en elandliss goncral delos desarrollo en stig ortogonales de ta pégina 401. Antes de prncgui,cbserve queens elgido escribir ol eneficiente de 1 en el conjunto (1) como | en lugir dea, Eso es slo por convenient a ‘fommula de a, se reducir despues a a, para n= 0, ‘Ahora, integrando ambos miembros de la ecuacin (2), deste ~p hasta p,se ottiene > eft oe S( [P nee > ne a af aor f rast bf sen Zed } ® fo =o] et Bla] coe sen, ed Puesto que cou(nex/p) y sen(nmx/p), n= 1 son ontogonales@ 1 en el interval, el imiembro derecho de (3) se reduce a un solo térais . Pe ee [ore 2 L& 2 Resolviendo para a, se obtiene i = dx. @ co af® Ahora muttiplicando la ecuacion (2) por cos(mmx/p)e integranco: ute a eat Eeaee asa fy P aby P 1Sloffowsenttoaccaffent@raatBses) 0404 ® CAPITULO 11. FUNCIONES ORTOGONALES Y SERIES DE FOURIER Por ortogonalidad, tenemos que : co Zraseo, mao, [onMEs seat ras =, fe mene 0 men y cos C06 de Lp P ° p.m =n ” " or lo que la ection (5) se reduce & fe) con Fede = aa. ‘yas ay f Jen e082 dx. o a ° ? or ultimo, si multiplicamos (2) por sen(ra:x/p),integramos y utilizamos los resultados x e082 dx= 0, [so%xar=0, m>0, fie -- PP 7 P a Laserie tigonométrica (2) con coeficientes.a, a, y , definidos por les ecuaciones (4), (6) y (7). respectivamente, se dice que es una serie de Fourier de la funcién f- Los costicientes abtenidas de las ecuaciones (4). (6) y (7) se Haman eoeficientes de Fourier de f ‘AM encontrar los cveficientes a, a, y b, supusimos que fes integrable en el intervalo ‘y que la ceaacidn (2) asfcomo la seri abtnida al multipicar (2) por cos(nrr/p), con Yerge ental forma que permite la imteracién téemino a término, Hasta no demosinir que ln ecwacin (2) es convergent para una funcién dada f,no se debe tomar el signo igual ‘en sentido esticio o literal. Algunos libros utilizan ¢l simbolo ~ en lugar del ~, En vista {de que en as aplicaciones la mayor pute de les funciones son de un ipo que garantiza la ‘convergenia de la serie, usaremos e signo igual. Resumiend tos resultados,FIGURA 11.2.1 Fancion defnida por tuaraps de ejemplo | 11.2 SERIES DEFOURIER © 405. I EJEMPLO 1 Desarrolto en una serie de Fourier sent > ee ® tuna serie de Fourier. nos OSKnen oy SOLUCIGN En la figura 11.2.1 se presentala grea def‘ Con p ~ tenemos de las cecuaciones (9) y (10) que wtf soni fina -tfrf [froars[e—sonias ela ar otf fla) cosnx dx = donde hemos usado cos rt = (—1)'. En forma similar encontramos de (11) que fe 1 b 2 fcr sca mea = we n Por tanio a3) om Observe que «, definida por la ecuaci6n (10) se reduce 2 a, dada por la ecuscién (@) cuando se hacen = 0, Pero como en el ejemplo I.ese quizd no sea el caso después de evalaar la imegral para a, CONVERGENCIA DE UNA SERIE DE FOURIER EI siguiente teorema especifica ‘as condiciones de suficiencia de la convergencia de una serie de Fourier en un punto. un aiimezo finito de puntos en el intervalo y con discon- es s. Entonces, la serie de Fourier de fen el ‘continuidad En un punto de discon ‘Para una demosiraciGn de este tecrema consulte el texto clisico de Churchill y Brown.’ “Bs decir, pan panto» en eins y b> 0, flo) = him fix + hy f°) = hi for ~ "Rel V, Chere» Sumae Ward Barn, Frio Seren al Moundary Vale Pres (New York McGraw HA,cariruLo 11 FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER I EJEMPLO 2 Convergencia de un punto de discontinuidad La funcién (12) del ejemplo I satisface las condiciones de! teorema 11.2.1. Asf, para todo x del intervalo (—mr. =) excepto en x = 0, ln serie (13) convergeri af(x), Enx = 0 la funcién es discontinua, por lo que la serie convergera FO +f0-)_7+0_ z 2 2 EXTENSION PERIODICA Observe que cada una de las funciones del conjunto bs sico (1) tiene un periodo fundamental distinto", en particular 2p/n, n = 1, pero como ‘un méltiplo entero positive de un periedo también es un periodo, se ve que toss Tas funciones tienen en comiin el periodo 2p. (Compruebe.) Por tanto, el miemtbro derecho de la ecuacisn (2) tiene periodo 2p; en realidad, 2p es el periodo fundamental ce 1a ‘suma. Concluimas que una serie de Foarier n0 s6io representa ta funci6n en el inter ‘valo (~p,p), sino que también de Ia extensién periddica de fuera de este intervalo.. Ahora podemos aplicar el teorema 11.2.1 a ta extensién periddica de f 0 podemos ‘suponer, desde el principio. que la funcién dads es periédica, con periodo 2p; esto es, Fl: + 2p) = f4). Cuando f es continua por trams y existen las derivadas derecha & ‘zquierda en = —p y en x= p, respectivamente, la sere (8) converge al promedio Sp-) + fp) cen esos extremes extendiendo este valor periécicamente a =3p, +Sp, =7p, eteé- tera. La serie de Fourier (13) converge hacia Ta extensién periédica de (12) en todo eleje x. En 0, + 2m, + 4n,...y en + x, + 3m, + Sm... la serie converge a los valores £0") + NOY 2 + font) 2 2 respectivamente, Los puntos sétidos de a figura 11.2.2 representan el valor s7/2 Car-See —e | of le Se de FIGURA 11.2.2 Excemsi periédic dea fancién que se muestra en la igura 11.21 SUCESION DE SUMAS PARCIALES Es interesante ver emo se aproxima la su~ ccesicn de sumas parciales {$,(x)) de una serie de Fourier « una funcién, Por ejemplo, las tres primeras sumas parciales de la ecuacion (13) son Si 2eastinan 1 Fa la figura 11.2.3 hemos usado un SAC para trazar In gréfica de las sumas parciales (2), S(@) y S,(x) de la-ecuacién (13) en el interval (—7, 7). Le figura 11.2.3 mwestra Ia extersicn periddica usando S,,(x) en (—4r, 4). “Vea a probleme 21 dels eerie 11111.2 SERESDEFOURIER © 407 8 Six) FIGURA 11.2.3. Sumas parciaies de una serie de Fourier =a at » sw # Sule) PBB ENERCICIOS 11.2 tarrmnusara or woos tomes nme one pina RES 8 En los problemas | « 16 encuentre la serie de Fourier de fen cl intervalo dado, 1. feo tee aso-=[F Jerse 3. fa) wachey 4. fe) “tele 1 swexsn, -a £ [fesinnsdr = Sp —(~ 1)"] 496S fee)=5+ eae 1,3 = sinnz ime 2 . 9 = Puree = [vdes ['rdr=3 on fi Se)eosnnzds = [° cosnnzds + | rcosnezde bn fy f(a)sinnrzde= [' snnrzde + ['zsinnrede =~] Seen d+ x ee oo Esanns| ao [) sleydrm [zde= an [| sle)eosnrade= [ xcosnnede = eyl(-1)" 1] toe [' sle)sinnnede= [!zsinnreds =U Arsen es o£ (oe car cosnaz + sinnne 497 Exercises 11.2x Exercises 11.2 = Et-yr-1+2( cosn |” -2f ["sexnede) = 2-1) ma 2 Cay 7 fle)= S+8(3 snes (Geo a] a= 2 (" faydeat [et mde= rn an= tf" fe\cosneds = + ["(e+x)cosnzds =0 bot [i esinneds = 2a feyane 2a Minne ai” a= 3 [" f{a)de = + [" (9-22) a0 =i fl se) cosnede = 2 [0 22)conzde =0 bu= 2" @-20)sinnede = sey cu" sinne fayn3aZ ae f" fade [sinzde =? an=2[" sa)eosnede = [sine cosnads= 2 ["fin(n + 1)x + sin(t ~ ald i+" a(t =n?) form = 2,3,4,.. a= ff sinzeds =0 boat [" f@)sinneds= 2 [sine sinne ds i ae forn=2,3,4, =f [Fc ~ cose) ae = 5 (eve cos nr fa)= Ls janes FEE 498Exercises 11.2 2 pre 2 pre 10. a= 5 [i fle)dem = [ cosede = 2 an af f cos cos 2nz dz = [eos(2n — 1)z+cos(2n+ lz}az 2 pe ona [ Fleeosdne de 2-141 * (a? —1) tr [ore sin Qne dz = 2f° cos sin dra de = [sinc2n— Vs +sin(2n + Valder ___4n * ya?) f(z) se aehfisoweet((t-sa [a) oan jf fadeos Fede = 3 (f\ FE doos al a+ f° cos Fear) =-don'Z meals F(a)sin Fees 3(f [20 Ss] a+ [' an Fade) -3 1 cos =) fon eEf beget (ote 12. ifyowet(f rae [' 142) =} ona} [son ede= 3 (seve Bres+ [ox Esa) waZf, fla)sinZede = } ([f es eae [sn ear) Sear) 13. ae poe ree hi (l+2)de 499Exercises 11.2 bad [i sesin ede =} (fan$edes [0+ s)eosZeae) ="! 9 S75 . 5) net OE Hea) = G+ [al — ten Be + Faye sin Fal 1. ao = 4 f’ jade {[io+a)de+ fren) =3 2 ora 1 fp? ne 2 ne 3 [sooo Bande t(Plarsjoon Bear f 2e0s ras) nt Bede ° 2 one i(Lersantears f asin de Bet Zen sin =| sa=$+¥ ast [gab - ("les 18. a= 4 [" fe)de= Pda = Ue" =e") ean Ef pesconedsw MEE) mad [" peysnneden 3 [" éanede = CUMS) g [icurer= 7) (itnte* <2") res" cose + ARE inns 16. =f" sejde=? [er -yae=Her-2-) ae Eff taycosncds= 2 [(e - rycosne de = ECD =2 [7 se@)sinneas = £ [le -vsinnede = 2 (SACU +r -}) a iF pont ( ag (er(- + a + ort) sinna] 17. The function in Problem 5 is discontinuous at x = x, so the corresponding Fourier series converges: 500Exercises 11.2 to 2/2 at x= 7, Thetis, ayaa) 2 a Fe A cen (Far 4 18. From Problem 17 2Exercises 11.2 21. (a) Letting cp = 00/2, Cn = (On ~ iby), and cn = (2n + tby)/2 we have flay = 225 (neve at bysin 2) 2 St wo / givnsip a gwinns/p ___ginnz/p _ g-tons/p mot S (qe © [ciel gineslp ghrelin jg~teel (04 ae On + iby enrele 4 wet F (ee cgelP2) = cele aa nso (b) Multiplying both sides of the expression in (a) by e~™7*/? and integrating we obtain renlenimezlvie = |? ( Se cgeteez/rerimaaii [ypoworrce f,( $ carerem) = eg [mld Leaf, - P Siam) ro Pg estm—nrzlPde = nf’ re tom f° e = Eo [eres en ft = Da | eelrde 28m vigm Recalling that “ cosy+isiny and e” = cosy—isiny wwe have for n —_m an integer and n # m if elo-m slog = PE _ git myazip ? vay i 502‘Thus mms /Piz = 2pm [ie and 1 ona B [i reyeints 22, Idemifying f(z) = e-* and p = 1, we have = 1 jga(inetye gf in + 1) elinttye — erfinetye ° Sine _ S*lcosna + isinnx) —e~(cosnx ~isinnn) 2in +e ‘Thus i ~sin3z = —f(z), f(z) is an odd function. 2 f(z), f(z) is an odd function, 3. ) is neither even-nor odd 4 =$(z), f(z) is an odd function. 5. 6. Since f(—z) =e f(z) is an odd function. 1. For0< 21, fi-e) —F(2), f(z) is an odd function. 8. For 0<2<2, f(-2) (2), f(2) is an even function. 9. Since f(z] is not defined for x < 0, it is neither even nor odd. 503 Exercises 11.3408 © CAPITULO. 11. FUNCIONES ORTOGONALES Y SERIES DE FOURIER 19, Uiilice el resultado del problema 7 para demostrar que ppara demostrar que le ecuacién (8) se puede expresar = 14 en la forma compleja 4 rae Sagem 20. Utilice el resultado del problema 9 para demostrar que donde BOER yy Da dy A Sed cy (ay = iby) (aa + tb) 4°2°1S7 33° 557 7-9 on ens yy donde n = 1.2.3. 21, a) Utlice la forma exponencial compieja del coseno y 1b) Demuestre que cy ¢, ¥¢., del inciso a) se pueden nm eiteale = 2d i 22, Usilige fos resultados del problema 21 para encontrar la forma compleja de la serie de Fourier de f(x) = e°* en el imervalo [~7, 7]. ius SERIES DE FOURIER DE COSENOS Y DE SENOS REPASO DE MATERIAL Secciones I. y 11.2. INTRODUCCION El esfverzo que se inviere en la cvaluacién de las integrales definidas que calculan los coeficientes a, a_y b al desarollar una funciGn fen una serie de Fourier se reduce si fieativamente cuando fes una foneién par o impar. Recuerde que se dice que una funcign fes parsif(-x) =f) @ impar si f(—9 = ~/00. En an intervalo simétrico tal eomo (pp), la grifica de una funcién par tiene simetria respecto al eje mientras que la de una fanciéa impar tiene simetrfarespecto al origen, FUNCIONES PAR E IMPAR Es muy probable que el origen de Jos Kérminos par impar sea consecuencia del hecho de que las grificas de funciones polinemites de pptencias pares dex son simétrieusrespecto al ejey. mieniras que las gificas de polino- ‘ios de potencias impares de x'son simétricas respecto al origen. Por ejemplo, FIGURA 11.3.1 Fanci par gin jens a siméitica respecte al gjey. fix) = 3 es pat, ya que f(—x) = (—xP = # = fis) eno mp eae fix) = Sesimpar, ya que fl ase ‘Véanse las figuras 11.3.1 y 11.3.2, Las funciones trigonométicas coseno y seno son, respectivamente, funciones pares e impares. ya gue ces(—x) = cos x y Sen(—x) = —sen x. Las fanciones exponenciales (Us) = e' y f(a) = e~* no son ni pares ni impares. FIGURA 11.3.2. Funcién impar: erica. PROPIEDADES El tcorema siguiente lista algunas propiedades de las funciones ‘iméricarespeto al origen. pares © impares.11.3 SERIES DE FOURIER DE COSENOS Y DE SENOS «409. =) dx. yas DEMOSTRACION Eb) Supongamos que fy g son funciones impares. Fn ese-cato tendeemos que f(x) = =f) y g(—") = —a(0), Si definimos ef producto de fy =a) g(-2) = (“OO 8A) = 29200 = FO. Esto demuestra que el producto F de dos funciones impares es una funcién par. Las demostraciones de las demas propiedades se dejan como ejereicios. Véase el problema 48 de los ejercicios 11.3. . SERIES DE COSENOS Y DE SENOS. Sifes una funcion par en (—p. p).entonces, en vista de las propiedades anteriores, los cocficientes (9), (10) y (11) de la seccion, 11.2se convierten en a= 5 fxr = ft pend si Oo pew 2 | con ME ih pen Bat 2 feeon ad Z Hoon ‘ ae De Ia misma manera, cuando fes impar en ¢l imtervalo (~p. p). f° ne b= 2 |" fer sen cde. pL foene Resumiremos los esultodos en a siguiente definicion,410. CAPITULO.11._ FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER yen Dex? FIGURA 11.3.3 Funciin imparen el ejemplo 1 FIGURA 11.3.5 Funciénimparenel ejemplo el imervalo (—p, p) es lx serie I EJEMPLO 1 Desarrollo en una serie de senos Desarrolle f(a) = x, ~2 0, 0 serve que s se extend la grfca de a fancie hacia ape negativa del ej pare ques ‘etodo sea 2, tenemos na fin per. Entsnospacisos eso igniea queso ‘ecesitamos encontrar el desarrollo en una serie de senos en un semiintervalo de f(!) = 71, (0<1<1.Con = I atizandolneciacién (5) eintprndo por pares s tiene que b 2 atsen natdt = ‘De la ecuacion (11) te ecuacion diferencial de movimiento es ex ate 1 Z senna, us) ‘Para cncontrar una solucién particular «,(f) de la ecuaci6n (13), sustituimos en la ecua~ ‘cidn (12) igualamos los coeficientes de sen nzr. As{ obtenemos (4) Observe que en la solucion (14) no hay entero n = 1 para el cualel denominador de 2B, que ¢s 64 — rrr sea cero, En general si existe un valor de, digamos N, paral cual Naz/p = «, donde w = Vk/m, entonces el estado del sistema que describ: ls ecuacign (11)es un estado deresonancia pura. Es decir, tenemos resonancia pura sel desarrollo de {a funcién (de la fuerza impulsora en serie de Fourier contiene un término sen(War/Lit (ocox(Nr/L)) que tenga la misma frecuencia que la de las vibraciones libres. Por supuest, sil extension de la fuerza impalsora f con periedo 2p sobre el aie negatv de # da como resultado una fancién par. entonces dessrrollams fen na serie de coxenos.414 + carirulo 1 FUNCIONES ORTOGONALES Y SERIES DE FOURIER EJERCICIOS 11.3 tascespuesras alos problemas seleccionados con nimero impar comiensan en la pagina RES-18. En Jos problemas 1 a 10 determine sla funci6n es par, impar ni unani otra. 1.) = sen 3x 2 fla) = xoosx 4 fa) = 2 4s 6 faye —er 1 won af atdem 5 1 ‘ n= 2 fz? cosnazds = -2f ssinnrzds) pao ae ‘Thus ant 1)" eosnz,16. at. 18. 19. Exercises tt.3 Since f(z) is an odd function, we expand in a sine series: 2 1 2 cosnz | + 7 lo * xo 1 baal Annas = 2(-2 zonnrsde) ‘Thus fa=¥ a + gala" - x) sinnne. or Since f(z) is an even function, we expand ia a cosine series ap 4 co = 2 [ta dr Fe? oon? [2 Bonoee-?( ee 2 neds sinna [+2 [asin ) ‘Thus Flo) = Ba + SA)" coon nai Since /(z) is an odd function, we expand in a sine series: ‘Thus Since f(z) is an odd funetion, we expand in a sine series: +1) ap =2 [ertsinnede = b= 2 [e+ sinncds yest 4g 2 a(t ‘Thus na ¥ (eZ a 505Exercises 11.3 20. Since f(x) is an odd function, we expand in a sine series mar fite- Usnnneds = 2[f'ssinaneds- f ‘Thos 22. Since f(z) is an odd function, we expand in a sine series: beat Pesindeds+ [" rsin Beas Thes B/G 2 post) aot a) = $ (Asin + 21) sin 8 f(a) LG Ft a1") sin 23. Since (2) is an even function, we expand in a cosine series: 2 aera! ton? [onset ar ly a=e f sing cosnzde = = {"(sin(n + 1)z + sin(L a] dz (1+(-1)"] forn= 3,4, 70-7) ant fsatede~0 Thus cos ne.Exercises 11.3 24, Since f(z) is an even function, we expand in a cosine series, (See the solution of Problem 10 in Exercise 11.2 for the computation of the integrals] co= 2 [cosas = _ 2 pe 2 gg oe MT n=l cosseos hade = ay ‘Thus fe 4 so = Aer 4/2 2. a= 2 [0 1dr =1 on 2 ft ccosne de = 2 sin ba [2 sinnaz de = 2 (1 ~ cos) feck anal Flo) = 5 +X ssn F cosnns Se)= EF (1-cosG) sane 1 26. a= 2 [tae 1 an? [| I-cosnneds = ben fit sinnrzde = (cos +a") fe} +E (-Z sin cosnzz) (ay) sine 27. ape ai, on = [case cos tneds = ff eoston + 1}2 + costin — 1}o de = ate ft , be : [cos sin nz de = ef [sin@Qn + 1)z+sin(2n~ 1}x] dz = 50728. a0 29, Exercises 11.3 fla) = 24 Lacey come Bn Pay see =2 finzdr=t an = 2 ["sinz cosne de = 2 ["sin(n + 1}z—sin(n ~ 1)2]dr = 3 27 ip naif sing sinnz de = = ["[cos(n ~1)z ~ cos(n + 1)z]de = 0 a=2["sinazde =0 b=? [oitede = J (2) = sine 2 (eas nx (0 eine [4 n= #)sinnade) =o fe=5+> y x (2008 3 + (11-1) cose se= Fon 3 sinnz Lae co=t fem de=h an n a=tf (e= moos Rede = ol ap 1 pe 2 am mao fe-nyiadete= Heap ca 2 508 =1)" +1) Ae form = 2.8.4. for n = 2,3,4, +(-yt-1)31. 32. 33. 4 Exercises 11.3 2 ne mm) on fa=¥ (Fev = ain) sin Be 2 a= finders [*1de=% an = [cos ads = Hy (cos - by = fi vsin Sars f issn Bede Ha)= 3+ Shs (oon =1) oo at rae free [ie-aens =f vesin Bede |" (@-2)sin Fede = ) =aysin 4 SI = z et 2" an iy "reap a de-+ ["(2~2)co8 Mads = te (cos + (-ay"™!) 4.0m fe ae fla)= ae +S cia (oF + cu )aZe Hey S (2 + ssn) an Fe waft aside ed a9 = 2 f(a? +2) = — [2 s2\cconnads = EA) sn nez | -if' (Qr+))sinnnzde = P[9(-1)"~1] by =2 [et +2) sinnns de = MEA cconne +2 [eet rcosnnede 4 yn 4 ne = Sey + Sale) 5 82 F(ay= gt Lea" — lecosnaz fey= ¥ (Aca + falar - nei 4) sinnez 509Exercises 11.3 34, 2 n= (20 ~ 2°) cos Sede = wal -y y= ie sin ede = Hn -(y atali-urt—tfeos Me ots Us Mg a= 2+ & (Aeon - Sines) 36. ag= = ["edr=n Qi = fy eosneds = 0 va L t= 2 [asin ancite = -— med a hein ana! Ste) t3,( 7s 2an) 31. aya 2 f'(e+i)de=3 on =2 f+ toos2nnede =o L 7 L 2s dz = wen? f'(ert)sintnreds = 3 f(z) =a 37 Ly aesnanrs 2 38. ay =2f'Q~ apd 510Exercises 11.3 2 ona af (2-2) cosnnz dr =0 2 baa 2f (2=2)sinnnzds = 2 10, - Ssinntdt = {1 (-1)"] so that se) = FE BLY ain ow Substituting the assumption zp(t) = S~ By sin nt into the differential equation then gives oA 24 102, = $B, (10 n2)sinnt = So ECU inne at sm = toh -(-D") dso Ba pw) 0 @1-(4 2,()= 22 ad} se nt, 7 st 40. We have ap 2 b= fa -dsianctae= 2 so that f= 2 aint, Substituting the assumption 2,(t) =)” Ba sinnint into the differential equation then gives fl y+ 10zy = S> By (10 — nx”) sinnat = ast 2 Ba= and s0 maT saey THAl. 42. Exercises 11.3 We have so that + i‘ SD ceont ‘Substituting the assumption zp(t) = 92 + 3 An cosnt fea into the differential equation then gives fate 12 b+ A (-}et +12) cosne = 2 4 FSD cosnt bal + 1225 = a (jr +) one = Ee FD 6 oto Ts p(t) cosnt. ‘We have so that Substituting the assumption Ay a(t)=>+ BY An cos 2nat. a into the diferential equation then gives 2 Mg ah-+ 12tp = 640 + Ant (12 = na Pheasant = + YS CO coxtnntExercises 11.3 43. (a) The general solution is x(t) = cy cos v/T0t + cy sin V10t + xp(t), where wo 1-1" 0 2 ato ay ‘The initial condition 2(0) = 0 implies ci +29(0) = 0. Since zp(0) = 0, we have cy = 0 and a(t) = co sin-yTt + z9(t). Then z'(t) = cov TO cos V10t + 25(¢) and 2’(0) = 0 implies tlt) = and 44. (a) The general solution is x(t) = cy cos 4y3t + cp sin 4v3t + zp(t), where eS 2,(t) = jet nF Daw cost Tat — a8) ‘The initial condition z(0) = 0 implies o1 + zp(0} = 1 or w = 1 qe 9D ary c= 1-25(0) = Now 2'(t) = ~4V/3ey sin 4V/3t-+ dep cos4V3t + 24,(t), 50 2'(0} = 0 implies 4ep-+24(0) = 0. Since 21(0) = 0, we have op = 0 and 5 ae x= (1-0 nag coos 28S rea 2) a = 1 = -= Lit sa (ocos at - cos 4v3i Fei 7g) ov + OY aslo t ~ c0s-4V5t) 513Exercises 11.3 (b) ‘The graph is plotted using five nonzero terms in the series expansion of 2(t). 45. (a) We have Luvox ne 1 f FaZe de = 2 aye so that, (a) = x a yet sins (b) If we assume y(2) Basin Te then 46. We have Elojs TO ne 3 3 so that 2 foe ~ ne] in w(2) = Se [cos F cos | sin I we assume y(z)at. 48. Exercises 11.3 and so the differential equation B'ly(4) = w(z) gives Thus ‘ oe Bul! © cos — 0s ne “ae ae yz) ‘We note that w(z)is 2n-periodic and even. With p wwe find the cosine expansion of [uo O 0 we have cycos Viz + epsin Viz. Now ¥(@) =a Asin Viz + VX cos WR implies ¢2 = 0, so yl) + (1) = ex(cos VA = Visin VA) = 0 oF cot VR= VE ‘The eigenvalues are An = 22 where 21, 22, 23, ... are the consecutive positive solutions of cot VX = Vi. The corresponding eigenfunctions are cos Vn 2 = costne for m= 1,2, 3,.... Using a CAS and y/(0) = 517416 * CAPITULO 11 FUNCIONES ORTOGONALES Y SERIES DE FOURIER (Mi4[_ prowiema De STURM-LIOUVILLE | Sniorcaptios 2 me REPASO DE MATERIAL ‘En la seccién 5.2 se presentaron los conceptos de eigenvalores y eigenvectores. Se fe recomienda mucho que repase esta seccién (especialmente el ejemplo 2). INTRODUCCION Enesta seccién estudiaremos alaunos tipos especiales de problemas con valo- res en la frontera en for que Ia eeuneiGn diferencial ordinaria en el problema contiene um parimetro di Los valores de A para los que el PVF tiene soluciones no triviles Hamados eigenvalores y Ins soluciones correspondientes se Hlaman eigenfunclones. Los problemas con valores es la frontera de este clase son especialmente importantes en los eapiilos 12 y 13. En esta seccidn también vemos {que existe una conexicn entre 1os conjunios ortogonates y las eigenfunciones de wn problema con ‘alores en I fomtera REPASO DE LAS ED Por conveniencia, repasaremos aquf algunas EDO y sus so- luciones generales que se presentarin con frecuencia en las secciones y cupitulos si- _guientes. El Simbolo « represeata una constant [Kenaciones con coeficleates constants Soluciones generates yitay=0 meget | yeey=0 a0 Y= smarte,senar ‘i peqee tees 0 ne jo deur gene ‘Ecuaciin de Cauchy-Euler ‘Soluclones generates, x > 0. sot Hes a0 MY tH —atr=0, a=0 cekqen a= ‘Eenacidn paramétrica de Bessel (vy = 0) — Solucién general,x > 0 nity beta yme dian reton (9 =0,1,2,.0.) ‘son polinomtos: (= 299-29! Fin Dy = 8, te) = 1 (em = Pao = fae, CConsiderando tas dos formas de Ta soluciGn general de y' — ay = 0, en ejemplo 1 haremos uso inmedistamente de ta siguiente regla informal asi como en anilisis fururos: Utilice la jorma exponencial y = cje"™* + cje* cuando et dominio de x es un intervalo infnito 0 semiinfinito; wtlice la forna hiperb6liea y = c, cosh ax c, ssenh ax cuando el dominio de x es wn intervatofinito. EIGENVALORES Y EIGENFUNCIONES Las funciones ortogonales surgen al re~ solver eeuaciones diferenciales, Ademds. se puede generar un conjunto ortogonal de ‘funciona al resolver un problema con valores en la frontera con dos puntos que impli-11.4 PROBLEMA DE STURM-LIOUVILLE = 417 que uns ecuacicn diferencia! de segundo orden lineal que tenga un pasémetso A. En el «ejemplo 2 de la seccion 5.2, vimos que el problema con valores en la frontera yt ay=0, 90)=0, yiLy=0, a tiene soluciones no triviales solo cuando el pardametro A toma los valores A, = 'x"'/E, lamados eigenvalores, Las correspondientes soluciones no triviales c,se(n/Lo simplemente y= sen(nm/) se Haman eigenfunciones del pro- bbiema. Por ejemplo, para el problema con valores en la frontera (1), noes am igenstor PVF: y*—2y=0, (0) =0, yL)=0 Solucicn trivial: y = Q—soncaes una eigenfunisn sin me eB y=0 XO=0 sDeO Solucién no trivial: Ys = sen(3ax/L) —tigenfincisa Para nuestros fines en este capitulo es importante reconocer que el conjunto { sen( ms n= 1,2,3,...eselconjuntoortoganal de funcionesen et intervalo (0,L] que se usa como ‘nase para la serie de Fourier de senos. Véase el problema 10 de los ejercicis 11.1 [ EJEMPLO 1 Eigenvalores y eigent es Considere el problema con valores en la frontera yi tay =O, y=, ye) 2 ‘Como en ef ejemplo ? de ta seccidn 5.2 hay tres posibles casos para el parimetro 2 ‘cero, negative 0 positivar esto es, A=0,A = ~a* < Oy A= ar > 0, donde a >0, La solucién de las ED @ yo (a) yi taly=0, A=e, © ‘Son, respectivamente, y oO ycoshar + c;senh ax, o y= cjeos ax + ey ax © (Cuando las condiciones en ta frontera v(O) = 0, y"(L) = 0 se aplicana eada uma de estas solucionss, de la ecuacidn (6) se obtiene y = ¢, de lt ecuscién (7) slo se obtiene y ¥ de la ecuacin (8) se obtiene y — e, cos ex suponiendo que er = nze/Lan = 152, ‘Puesto aie y ~ ¢, stiface que la ED en (3) y las condiciones de fromters para cualquier ‘leccidn de €, distin de cero, concluimos que A = 0 es un eigenvalor. Por fo que les ‘genres ls corespodenesegenfuncones dl problems son , 655 FO Ag = ap = W/L, = 1, yoo ve), = C05 (nT1/L) ¢, + 0 Se puede, sist ‘desea, tomar = 1 en cact caso, Observe también que la eigenfuncidn y, = | comespor- inte al eigervalor A, = 0 se puece incorporar ala familia y, cos (r7rx/L) si hacemos ‘que n= 0, El conjunto {cos Ovax/L)],n = 0, 1,2, 3... .€8 ortogonal en el intervalo (0, 1), Enel problema 3 de los eetvicios 114 se le pedi completa los detalles. .418 © CAPITULO 11 FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER PROBLEMA REGULAR DE STURM-LIOUVILLE Los problemas (1) y (2) son ‘casos especiales de un problema importante con valores en la frontea de dos puntos ‘Sean p,q. rr’ funciones de valor real continu en un intervalo [a,b] y sean r(x) > Oy pix) > 0 para todo x en el intervalo, Entonces Resuetvs — Ltrixiy"1 + od + Aptary = 0 o a Sujetoa: — Ayyla) + By'(a) = 0 ao Ayib) + By") = 0 ay se dice que es un problema regular de Sturm-Liouville. Los vocficientes en las condi- cones de frontera (10) (11) sesuponenreales€indepenciemtesde A. Adems,A, y 8, m0 ‘sn iguales a cero y A, y B, 90 son iguales a cero. Los problemas con valores en ia fron- tera en (1) y @) son problemas regulares de Sturm-Liouville. De (1) podemos identiicar rx) = 1, g(x) = Oy p(x) = | en laecnacién diferencial (9); en la condicion frontera (10) 0. De (2) las iden- , = 0.8, b=L,A,=0,B,=1ea(ll) dliferencial (9) es lineal y homogénea. Las condiciones de frontera en (10) y (11), ambas una combinaci6n lineal de yyy" son éeuales a cero en un punto {yson tumbiéa homogéneas. Una concicisn de frontera tal como A,y(b) + B.y"(b) = ,, donde C,es tuna constante diferente de cero, es no homogénea. Un problema con ‘valores en la frontera que consiste en una ecuacidn diferencia lineal homogénea y de ‘condiciones en la frontera homogéneas es, por supuesto, llamado un PVF hemogéneo; ‘de otra manera, es no homogénee. Las condiciones en la frontera (10) y (11) se Haman ‘separadas porque cada condicién implica s6lo un punto en la frontera. Puesto que un problema regular de Stunn-Liouville es un PVF homogéneo, tiene siempre la solucigm trivial y = 0, Sin embargo, esta scluciGn no de interés para n0s0- ‘ros, Como en el ejemplo 1, al resolver uno de esos problems tratamnos de busca mimne- tos A (eigenvalores)y Soluciones no triviales y que dependan de A (cigenfunciones). PROPIEDADES Fl teorema 11.4.1 es una lista de las propiedades mis importantes del problema regular de Sturm-Liouville. Slo demostraremos la tltima propiedad regular de Sturm-Liouville . reales que se pusden ordenar en oc. ZA, < otal que A, —+% conforme ‘un eigentuncién (excepto los mitiplos a diferentes eigenvalores son lines!- que corresponde al conjunto de los eigen- la funcién de peso px) en el intervsto DEMOSTRACION DE d)_ Sean y, yy, eizenfunciones corespondientes alos eigenva- lores A, y A, espectivamente, Entonces d Fred + GEO + AaPLD¥n = 0 an 0 (3) 4 treytt+ Gay + Blvd + CG) + ,pady,FIGURA 11.4.1 Ruices positivas x, sdetanx= a. 114 PROBLOMA DE STURM-LIOUVILE = 419 Multiplicando la ecuacién (12) por y, y la ecuacién (13) por y__ y restando las dos ‘ecuaciones se obtiene a @ (Ay = ADPLD Sn = Yo OO] — 9, HOY, Ay ADPOD Se = Marre HWS] ~ 347 [POY] Integrando por panes este tltimo resultado desie x = a hasta x = b obtenemos {DN yn(BNy, Cb) — Cdyn (BD — rladlynladv' (a) ~ ysladysladl. (14) ‘Ahora las cigenfunciones y,y.y, deben satisfacer amas condiciones a la frontera (10) y (11), En paricatar, de (18) se tiene que Ayala) + Biya (a) = 0 Ayala) + Buysta) Para que A, y B, satisfagan este sistema, ambas distintas de cero, el determinante de Jos coeficiemtes debe ser igual a cero: Yal@)V%aCa) ~ yyl@Dy’Q (a) = (Con un argumento similar aplicado a (11) también se obtiene YnlO) VoD) ~ Y4(D) Yq (B) = 0. Puesto que los dos miembros def lado derecho de (8) son iguales a cero, hemos esta- blecido la relacién de ortogonalidad EJEMPLO 2 problema regu je Sturm-Liouville ‘Resuelva el problemacon valores en la fromtera y"tAy=0, yO} =0, + yD =O. 06 SOLUCION Procedemos exactamente como en el ejemplo | considerando tres cases cen los que el parénicuo A podifa ser cero, negative 0 positive: A= 0,A =a <0, yA = a > Odonde a > 0. Las soluciones de Ia ED para estos valores se muestran {en (3)—(3), Para los casos A ‘a? ~< Oencontramnos que los PVF en (16) s6ky tienen la solucicn tiv > O la solucion general de 1a ecuacion Giferencal sy ¢, con ax + cj 80a a. Abora la condicion (0) = Oimplica queen sia solucién c, = 0 asf nos qusdamos con y = c, sen ax. La segunda condicin x1) + y'(1) = 0 se satisface si exsena + csacosa = 0. En vista del requisito que c, # 0, 1a dltima ecuacidn se puede escribir como tana = ~a. an Si por un momento consideramos en (17) que tan x — —x, entonces en la figura 114.4 ‘se mucsirt La factibilidad de que exista un némero infinito de raices, en particular, las ‘coordenaas x de fos puntos donde la grifica de y = —x intersecael ndimero infito de amas de la grifica de y ~ tun x. Los eigenvalores del PVF (16) son entonces A. = a, donde a.m = 1, 2 3, ... Som las races positivas COnSECUILVES Cs ty Cty» «de (17) (Con aytida de un SAC se muestra con faciidac que tedondeando a cuatro decimales, ey = 2.0288, «, = 4.9132, a, = 79787y «, = 11.0855 y que ls soluciones comespon- dientes som y, = sen 2,0288x,y, = sen4.9132x, y, = sen 7.9787:y y,= sen 1.0855x, En general, las eigenfunciones dl problema son (sen a,x}, = 12,3,CAPITULO 11. FUNCIONES ORTOGONALES ¥ SERIES DE FOURIER Mentificando r(x) = 1.g(x) = O,plx)= 1,4, = «ve i ecuscidn (16) es un problema regular de Sturm-Liowvile. Concluimos que (sen ax}. = 1, 2,3... €8 un conjunto ortogonal respecto a la funciGn de peso px) = 1 ceniel intervato (0, 1). . En algunos casos se puede demostrar la ortogonalidad de las soluciones de (9) sin necesidad de especificar una condicién en la frontera cnx =a yenx = b. PROBLEMA SINGULAR DE STURM-LIOUVILLE Existen otras condiciones imper- tuntes bajo ls que buscamos las soluciones no trivisles de la ecuacion diferencial (9): + F(a) = 0, y una condicién de frontera del tipo dado.en (11) ests dada (18) comox = b: + r(®) = 0, yuna condicion de fromiera de! tipo dadoen (11) est dada 49) como. = + F(a) = rib) = 0.y 90 hay condicion de frontera dada en.x = a.oen SOR. 20) + r(a) = r(D), ylas condiciones de troatera (a) = y(b), y'(a) =»). (21) La ecuacidn diferencial (9) junto con uns de tas condiciones (18)~(20), se dice que cs un problema singular con valores en la frontera, La ecuacién (9) con las ecmdi~ jones dads en (21) se dice que es un problema con valores en la frontera periédico (as condiciones de fromera también se aman peri6dicas), Observe que: si decimos (que r(a) = O, entonces x = a puede ser un panto singular de ia ecuacion diterencial y por tanto, una soluciOn de (9) puede crecer sin limite conforme x —> a, Sin embargo, ‘vemos de (14) que si r(a) = 0, no se necesita condiciOn de fromtera en x =a para de- mostrar a ortogonalidad de las eigenfunciones suponiendo que estas soluciones estén Jimitadas en ese punto, Este dltimo requisito asegura la existencia de las integrales ‘que intervienen. Suponiendo que las soluciones de (9) estén acotadas en un intervalo ‘cerrado [a,b], podemos ver del examen de la ecuacién (14) que + sia) = 0, entonces Ia relacién de ortogonalidad (15) ex valida, sin ninguna condicién dada ca ta frontera en ¥ = di @ + si) = 0, entonces ta relacisa dc ertogonalidad (15) es ytida on sin ninguna condicién dada cn ta frontera cn x = bo + sila) = 1) =0, entonces la elaci de oriogonalidad (15) x vida 9g) sin ninguna condicion dada en la frontera en x= ao en x = & + sila) = 4b), entonces la relacion de ortogonalidad (15) es valida con (4) Jas congiciones en la frontera y(a) = (b),"(a) = y'(b)- ‘Observe que un problema de Sturm-Liouville es singular cuando el intervalo que se ‘considera es infinito, Véanse los problemas 9 y 10 de los ejercicios 11.4. FORMA AUTOADJUNTA. Realizando Is derivacién que se indica en (9), vemos qe la ecuaci6n diferencial es igual a ray" + r'e)y’ + (gi) + ApGa)y = 0. (26) El examen de ln ecuaciéa (26) podrla conducir a reer que el coefciente dado dey’ es la detivada del coeficiente de y", y que existen pocas ecuaciones diferenciales que tengan lu forma de la ecuacién (9). Por fo contario, silos coeficientes 3on continues y a(x) #0 ‘para toda ren algdn intervalo, entances cualquier ecuacién diferencia de segundo orden a(a)y" + bay’ + (el) + Ady = 0. an se puede escribir ca la. asf llamada forma autoadjunta (9), Para esto bésicamente pro~ ccedemos como en la seccién 2.3, donde reescribimos una ecuacién homogénea lineal de primer orden a(x" + aay = 0 en In forma Sus = 0 dividiondo la ecuacién “Las concines 2) y(28) so equivalents acter, = Oy A, = 0,8, = 0 respectivimente11.4 PROBLEMA DE STURM-LOUVILE «© 421 centre a2) y después multiplicando por el factor integrante jx = #2", donde, se s- one que no hay faciores comunes. F(x) = a,(4)/a,(x). Asf que primero, dividimos ban Ja ceva (27) por a(x, Les primero dos téminos sen "+ Ly 4+ +, donde cnfatizamos que hemos escrito = y’. Segunxto, muloplicamos esta a fac tor integrante e/""*, onde a(x) y b(x) Se supone que no tienen fuctores en comin: eartnda yey BD etaineinaey css A ptnenmeinsey | ccc cz HL prouasrany | gs. e Ve Pe alt | + zl" y+ evn de un producto En resumen, dividiendo 1a ecuacién (27) enire a(x) y después multiplicando por emenont, obtenemos git au fbn, 6) Juniaute (x) joie + Ha arate 4 (BB dots Sm 0. a) an) atx) atx) ‘La ecuacién (26) esté en la forma deseada dada en la ecuacisn (26) y tiene la mista forma de la ecuacién (9) £[eMty ‘J+ (eam Bo gt 0 eo a Te Por ejemplo, pau expresur 2¥° + 6)" + Ay = 0 en la forma autoadjunu, esetbimas y+ 3y" + Aly = Oy despues mutipicanco pore" = e™. Lageuacon resulan es mr, me) 1 t t eytiey tateys=0 0 4 [os Las 2 [ey]+adey Ciertamente no ¢s necesario escribir una ecuucisn diferencial de segundo orden (27)em Ia forma autoadjunta (9) para resolver la ED. Para nuestros fines usaremos it forma dada en la ecuscidn (9) para determinar la funcidn de peso plx) que se necesita en Ia retaciGn de ortozonalidad (15). Los dos ejemplos siguientes ilustran relaciones de ortogonalidad para funciones de Bessel y pura polinomios de Legend. I EJEMPLO 3 Ecuacién paramétrica de Bessel En In secciGn 6.3 vimos que Ia solucién general de 1a ecuacién parameétrica de Bessel de orden ¢s.x°y" + ay’ + (a’x' — m')y = 0, donde n es un entero fiio no negativo ¥ a es un pardmetro positivo. La solucién general de esta ecuacién es y = eax) + e¥.{ax). Después de dividir la ecuacién paramérica de Bessel entre el primer coeficiente x2 y multiplicando la ecuacién resultante por el factor integrante elitisids = gl8 = 5, x >0, obtenemos nt ty (a-) diy at 0 Aig + (ot) (Comparan este timo resultado con la forma autoadjunta (9), hacemas lis ientifice- clones 7(x) = x, g(2) =~ 4, A= ay pox) =. Ahora r(0) = Dy de las dos soluciones Jct) y ¥ (ax), 8610 J, (cx) est acotada en x = 0, Por lo que-de la ecuacién (22), elCAPITULO 11. FUNGIONES ORTOGONALES Y SERIES DE FOURIER cconjunto {J,(3)}.i= 1.2.3, .., es ortogonal respecto a la funcién de peso pix) = x envun intervalo (0, 6]. La relacién de ortogonalidad es ‘suponiendo que los ay por‘anto loselgenvalores A, = a, (= 1,2,3,...,sedefinen pr medio de una condicién en a fronteraen.x = 0 del tipo dado en Ia ecuacioa (11) Agdy(ab) + Brasly(ad) G0) # Para cualquier cleccién de A, y B,, ninguna igual a cero, se sabe que Is ecus- clon (30) tiene un nimero infinite de rafees x, = a,b, Entonces los eigenvalores Son 4, = af = (x;/6), Eo el siguiente capftulo se trataré més accres de los cig- envalores, I EJEMPLO 4 Ecuncién de Legendre [La ecuacin diferencial de Legendre (1—1°)y" — 2ay" + n(a+ Dy = Oesexactamente de la forma dada en ta ecuacién (26) con rix) = | —° y r'(x) = —2e Por lo que la aocanenoee De la ecuacicn G1) podemos ademés identficar gix) = 0, A = a(n + 1) y pa) = 0. Recuerde de la secci6n 6.3 que cuando n= 0,1, 2,... 1A ED de Legendre tiene soluciones polinomiales P(x), Ahora se puede expresar la observacin de que r(—1) = r(1) = 0 {junto con el hecho de que tos polinomios de Legendre P(x) que son las tnicas solaciones ‘de (31) que tienen limite en el intervalo cerrado [~1. 1] por lo que se coneluye de it ecus- cid (24) que el conjunio (PJ). escrtogonal respecto ala funcidn de peso (p(s) = en [=I 1} La relacin de onogomatidad ex “Bfatorexra de proven de la repade cadena: 4 1,(e1)= Jas) Sox = ay a GBI EERCICIOS 11.4 tremens stp cia nnn per coicnenpim 2 En los problemas 1 y 2, encuentre las cigenfunciones y la ecua- coin qve define los cigenvalores de cada problema con valores cen la fronicra. Use un SAC para calcular el yalor aproximado de los cuatro primeros eigenvalores, A,. A,, A, y Ay. De las ceigenfunciones que corresponden a esas aproximaciones. Ly" +Ay=0, yO=Oy(+y¥0)=0 Ry FAY=O, MO) +) =0,y(1) 2. Considere y"-+Ay=0 sujeta a yO) =0. y(E) = 0. Demuestre que las eigenfunciones son } Este conjuato, que es ortogonal en (0, 1], es 1a hase de ta serie de Fourier de cosenos. 4, Considere ta ecuacién y’ + Ay = 0, sujeta a las condi- cciones periddicas en la frontera y(~L) = y(L), y'(—L) = y'(L), Demtuestre que las eigenfunciones son 2, Be con ety sen 3m, } a Este conjunto, que es orcogonal en {—L, L}, 6s la base de lus series de Fourier. ‘5. Encuentre la norma cusdrads de cada eigenfuncién del problema 1 6. Demuestre que para las eigenfunciones del ejemplo 2, [sen ay,x[P = 3{1 + costa, }.7. a) Fncventre los eigenvalores y las eigenfunciones del problema con valores en Ia frontera By" tay tAy=0, (1) = 0, y6) =O. 1b) Escriba la ecuacién diferencia en la forma autoadjunte ©) Dé una relacién de ortogonalidad. 8. a) Encuentre los eigenvalores y las eigenfunciones del problema con valores en Is frontera Y ty t+ay=0 yO=0, yQy=0. )_Escrba la ecuacion diferencia en ta forma auioadjunta ©) Dé unarelacién de ortogonalidad. 9. Keuncién diferencial de Laguerre ay +2)" tay tiene soluciones polinomiales L(x). Escriba laecsacién en su forma autoadianta y dé una relacién de ortogonalidad. Ecuacién diferencial de Hermite yh — Dey +2 01,2, tiene solaciones polinomiales H,(x). Escribe laecuacién ea su forma autoadjunta y dé una relaci¢a de ortogonalidad, AL, Consideve el problema regular de Stum-Liouyille a et 4{a sey] ea (0) = 0. (1) = 0. Bice ls piety ta nants problema con valores en la fontera.[Sugerencia: = tan 0 y después utilice la regia de la cadena.] b) Dé uns relacién de ortogorslidad. on LS SERIES DE BESSELY LEGENDRE © 423 12, a) Encuente ls eigenfunciones y la ecuacin que define los eigenvalores cel problema con valores en la frontera ay! tay! + (P= Dy x>0, _y esti acotada en x = 0,3) Seua=a%a>0. 1b) Utilice ta tabla 6.1 de la seccién 6,3, encuentre los vie Jores aproximados de las cuatro primeros eigenvalo- FES, Ay Aye AY Ay Problemas para analizar 13. Considere el caso especial del problema regular de Starm- Liouville en ef intervalo (a, Aiea) + apeny vila) =0, ¥'6)=0. GBs A = 0-un eigenvator del problems? Defienda su res- puesta Tarea para e! laboratorio de computacién 14 a) Dé una relacion de ortogonalidad para el problema de ‘Sturm-Liouville del problema 1. by Utilice un SAC como ayuda para comprobar la rela- cién de ortogonalidad para lis cigenfimciones y, y ¥, ue corresponden a los dos primeros eigenvalores A, A, respectivamente. 15, a) Dé unarelacién de onogonalidad para el problema? de Sturm-Liouville. 1b) Utlice un SAC como aytda para comprobar la reli cin de ortegonalidad para es ejgenfunciones yy que correspondan a los dos primeres eigenvalores A, ¥ Atespestivamente. (ius REPASO DE MATERIAL SERIES DE BESSEL Y LEGENDRE ‘+ Debido a que Tos resultados de los ejemplos 3 y 4 de la soceién 1.4 juegan un importante papst en el anilisis que sigue, se le recomienda que low nuevamente estes ejemplos en conjuncién con Jas ecvaciones dela (6) la (L1) de la secei6n 11.1, INTRODUCCION | La serie de Fourier, la serie de Fourier de cosenos y la serie de Fourier de senos son tres formas de desarrollar una funeién en términos de un conjunto ortogonal de funciones. Pero esos desurallos de inguna manera se Fimitan a conjuntes ortogonales de funciones trigonométricas Ena seccién 11.1 vimes que una funciGnfdefinida en un interval (a, b) Se pusde desarrolar, al menos formalmente, en ténsinos de cuslquiee eonjanto de funciones (,(2)} que sea ortogonal respecto aun funcién de peso en [2, b]. Muchos de estos desarrollos en series ertogonales 0 series de Fourier gene- ralizadas surgen de problemes de Sturm Liouville que, «su Vee, se eriginan de intentos para resolver ‘cuaciones difereaciales paciales lineales que srvea como modelos de sistemas fisicos. Las series de Fourier y los desarroilos en series onogonales, as{como lasdos series que deseribitemosenesta seccin, reaparecen en consiceraciones subsecuentes de estas aplicaciones en Ios capitulos 12 y 13.Exercises 11.4 52. The graph is obtained by summing the series from n = 1 to 10. It appears that 1-2, 0<2<1 OQ l 0 we have cycos Viz + epsin Viz. Now ¥(@) =a Asin Viz + VX cos WR implies ¢2 = 0, so yl) + (1) = ex(cos VA = Visin VA) = 0 oF cot VR= VE ‘The eigenvalues are An = 22 where 21, 22, 23, ... are the consecutive positive solutions of cot VX = Vi. The corresponding eigenfunctions are cos Vn 2 = costne for m= 1,2, 3,.... Using a CAS and y/(0) = 517Exercises 11.4 we find that the first four eigenvalues are 0.7402, 11,7349, 41.4388, and 90.8082 with corresponding eigenfunctions cos 0.86032, cos3.4256x, cos6.4373:, and cos 9.52932, 2. For A < O the only solution of the boundary-value problem is y Now y! = c1 and the boundary conditions both imply e + ¢ = 0. Thus, A = 0 is an eigenvalue = |. For A= 0 we have y = c1z +02. with corresponding eigenfunction yp = For > 0 we have y= cco Viz +eysin Viz and yf = -VFsin Vier + eV Roos Vir ‘The boundary conditions imply atevr=0 100s VA + epsin VA = 0 which gives -eVieosVX+esinVA=0 or tanvd= VA. ‘The eigenvalues are Ay = 22 where 21, x2, 1, ... are the consecutive positive solutions of tan VX = VX. The corresponding eigenfunctions are /%qcos VInz — sin Nm (obtained by taking c = —1 in the first equation of the system.) Using a CAS we find that the first four positive eigenvalues are 20.1907, 59.6795, 118.9000, and 197.858 with corresponding eigenfunctions 4.4934 cos 4.4934z—sin 4.4934, 7.7253 cos 7.72532 sin 7.7253z, 10.9041 cos 10.90412—sin 10.90412, and 14.0662.cos 14.0662z — sin 14.0662z 8, For = 0 the solution of y/’ is an eigenvalue with corresponding eigenfunction 1 For A < Owe have y = cy cosh /=Xe-tensin V7Ke and yf = e1/=Nsinh Y=Re-teaV=Neosh VAs. ‘The condition y/(0) = 0 implies ¢2 = 0 and so y = ¢; cosh Y—Xz. Now the condition y(L) implies ¢ = 0. Thus y = 0 and there are no negative eigenvalues. For \ > 0 we have y = c)cosvXz+ eosin Az and y! = —cVAsin Az + crv Acos VAz. The condition y'(0) = 0 implies cp = 0 and so y = c1cos VAz. Now the condition y(L) = 0 implies —cVAsin VAL = 0. For c #0 this condition will hold when VAL = nm or \ = n?n?/L?, where n=1,2,3,.... Those are the positive eigenvalues with corresponding eigenfunctions cos(nt/L)=, naL23.... 4. For <0 we have = Dis y=ciz+cz. The condition y/(0) = 0 implies c, = 0,50 4=0 yecrceh V2X2-+ sinh VNe yf =cV—Xsinh VA + c2V—Xeosh VK zz. 518Exercises 11.4 Using the fact that cosh is an even function and sinh is odd we have (-£) = ey cosh(—V=AL) +e sinh(—V=3L) = cy cosh V=XL — epsinh V=XL, and y(-L) = x V=Asinh(-V=XL) + ceV—Neosh(~wWAL} = -eqV=Asinh V=AL + eeV=H cosh V=XL. ‘The boundary conditions imply er cosh VAL — ep sinh VIAL = e; cosh WAL + eosin VAL or 2ep sinh VAL and cA Ksinh V=XL + epV/Reosh VER L = 6; V=Asinh VEX L + ov Koos WAL or 2c, V=Asinh V=XL = 0. Since V=XL # 0, e1 = o = 0 and the only solution of the boundary-value problem in this case is y=0. For \=0 we bave yrarte yea From y(—L) = y(L) we obtain ~qb+e= b+ e ‘Then ¢) = O and y = 1 is an eigenfunction corresponding to the eigenvalue A = 0. For A > 0 we have y=cycosVAa + epsin Viz of = —oVisin Viz + epVK008 Vic. The first boundary condition implies coos VAL egsin VAL = ¢) cos VAL + egsin VAL or 2egsin VAL =O. 519Exercises 11.4 ‘Thus, if ¢) = 0 and &2 #0, rea? Vib=nr or A=™E n= 1,23, i ‘The corresponding eigenfunctions are sin Fs, forn = 1, 2,3,.... Similarly, the second boundary condition implies ey VXsin VAL = 0. Thea =0 and cr #0, nix? Vimar or 12, ne 23,..., and the corresponding eigenfunctions are ccs “Fx, for n = 1,2, 3, 5. The eigenfunctions are cos Vm x where cot Viq = Vn. Thus leon Yaz = [cost Ynzde = 4 "(1+ cos2Vina) de “i (osiemoF) esto) “fest oen) =3h+yee Re eot Resin yin] = 3 [+ a (onV) V% (tevin) 8. The eigenfunctions are sin YT where tan VTq = ~Aq- Thus sin pal? = [se Vas =3 [ * (10082 Ma) dz ~ apnea \ fs 5 (+ pes Ba) =3( <4 [tate (tam ean y)] oe “3 i i (+50? i) | pe Fretan Vac Ye oe | a3 [i A (yest /in)] = 3 (14002 Vi) 520Exercises 11.4 7. (a) HA <0 the initial conditions imply y = 0. For \ > 0 the general solution of the Cauchy-Buler differential equation is y = c; cos(VX Inz) + ep sin(VX Inz). The condition y(1) = 0 implies 1 = 0, so that y = casin(V nz), The condition y(5) = 0 implies VX Ind = nz, n = 1, 2,3 ‘Thus, the eigenvalues are n?x2/(In5)? for r = 1, 2, 3, ..., with corresponding eigenfunctions sin{(w/ In) Ins} (b) The self-adjoint form is (c) An orthogonality relation is 8. (a) The roots of the auxiliary equation m? + m+ A=O are }(-1+ vi=4A), When A= 0 the general solution of the differential equation is c1-+c2e"*. The initial conditions imply o)-+e2 = 0 and c1 + e2e~? = 0. Since the determinant of the coefficients is not 0, the only solution of this homogentous system is ¢ = c= 0, in which case y = 0. Similarly, if 0 4, the general solution of the differential equation is y= cre? cos VaR 1a + one? ein VEN Te. ‘The condition (0) = 0 implies cy = 0 80 y = cye~/?sin VEX— 12. From y(2) = ce"! sin2v@—1=0 wwe see that the ejgenvalues are determined by 2V@1=1 = nm for n = 1, 2, 3,.... Thus, the eigenvalues are n?x?/4® + 1/4 for n = 1, 2,3, ... , with corresponding eigenfunctions 1 ean Pain Sa, (b) The self-adjoint form is Bevis réy=o. (c) An orthogonality relation is 2 mr nn 2 Tan nr # (e-Fi2 gin ™y) (¢-2/2 cogs) az = f° (sin M2) (cos 2) de = he (eran Zs) (reo s) a= ff (sas) (me Fx) de =0 9. To obtain the self-adjoint form we note that an integrating factor is (1/z)e/(-=)4=/= the diferentia) equation is zenty! + (= a)ety +ne*y=0 52110. an Exercises 11.4 and the self-adjoint form is Identifying the weight function p(z) = e~* and noting that since r{z) = ze~*, r(0) = 0 and limp noo r (2) 0, we have the orthogonality relation [fe *ale)lm(t) de = 0, mn. n2ede _ ‘To obtain the self-adjoint form we note that an integrating factor is ef * ‘Thus, the Gifiererstial equation is eM yf ey + ane y = 0 and the self-adjoint form is a Identifying the weight function p(z) = 2e-=* and noting that since r(x) = lim, 490 T(z) =, wwe have the orthogonality relation sas [ery] +2nen*y = 0. A) Tims eo r(2) = 22"? H,(2)Hm{2) de = 0, m én. (a) The differential equation is (L+2%)y" + Qty! + y=0. T+e Letting 2 = tané we have @=tan-'s and oS ents oe ae db dz 1 1 “i or “Use ae” O42 P a dz? ‘The differential equation can then be written in terms of y(8) as +a?) 1 dy a “late e fav 7 T+2 de g a Ye ye we Ay = 0.Exercises 11.4 ‘The bourdary conditions become y(0) = y(x/4) = 0. For A <0 the only solution of the boundary-value problem is y = 0. For > 0 the general solution of the differential equation is y= 100s VX8 + csinVA8, The condition y(0) = 0 implies c) = 0 so y = cpsin VA8. Now the condition y(x/4) = 0 implies asin VAn/4 = 0. For ca # 0 this condition will hold when VAn/4 = nm or A= 16n?, where n = 1,2,3,.... These are the eigenvalues with corresponding cigenfunctions sin 4nd = sin(4n ten! 2), for n= 1, 2,3, (b) An orthogonality relation is yo (4m tan“! 2) sin(dn tan“! «) dr = 0 f FEE SM(4m tan 2) sin(dn tan“! 2), 12, (a) This is the parametric Bessel equation with 1 = 1. The general solution is, y= edi(An)ea¥i(A2), Since ¥ is bounded at 0 we must have cp = 0, s0 that y= ciJi(Az). The condition Ji(3) = 0 defines the eigenvalues 1, Aa, As, .... (When A= 0 the differential equation is Cauchy-Euler and the only solution satisfying the boundary condition is y = 0, so 4 = 0 is not an eigenvalue.) (b) From Table 6.1 in Section 6.3 in the text we see that eigenvalues are determined by 34: = 3.832, Bag = 7.016, 343 = 10.173, and 344 = 13.323. The first four eigenvalues are thus dy = 1.2773, Aa = 2.9387, Ag = 3.991, and Ay = 4.441, 13. When A= 0 the differential equation is r(zx)y" + r!(x)y = 0. By inspection we see that y= 1 is @ solution of the boundary-value problem. Thus, = 0 is an eigenvalue. 14. (a) An orthogonality relation is : [loencoeme=0 f where m # In are positive solutions of cot r = z. (b) Referring to Problem 1 we use a CAS to compute 1 Jf (cos0.860)(cos 3.42562) dz = 1.8771 x 10% 15. (a) An orthogonality relation is [Gn 08 tt — Sin Zq2)(y CO8EnT — sin Tyr) dr = 0 where tm # tn are positive solutions of tanz = =. (b) Referring to Problem 2 we use a CAS to compute 2.5650 x 10-4 1 [44986 cos 4.4984 ~ sin449942)(7.7259.c08 7.72582 ~ sin 7.72532) dx 5237. a) Fncventre los eigenvalores y las eigenfunciones del problema con valores en Ia frontera By" tay tAy=0, (1) = 0, y6) =O. 1b) Escriba la ecuacién diferencia en la forma autoadjunte ©) Dé una relacién de ortogonalidad. 8. a) Encuentre los eigenvalores y las eigenfunciones del problema con valores en Is frontera Y ty t+ay=0 yO=0, yQy=0. )_Escrba la ecuacion diferencia en ta forma auioadjunta ©) Dé unarelacién de ortogonalidad. 9. Keuncién diferencial de Laguerre ay +2)" tay tiene soluciones polinomiales L(x). Escriba laecsacién en su forma autoadianta y dé una relacién de ortogonalidad. Ecuacién diferencial de Hermite yh — Dey +2 01,2, tiene solaciones polinomiales H,(x). Escribe laecuacién ea su forma autoadjunta y dé una relaci¢a de ortogonalidad, AL, Consideve el problema regular de Stum-Liouyille a et 4{a sey] ea (0) = 0. (1) = 0. Bice ls piety ta nants problema con valores en la fontera.[Sugerencia: = tan 0 y después utilice la regia de la cadena.] b) Dé uns relacién de ortogorslidad. on LS SERIES DE BESSELY LEGENDRE © 423 12, a) Encuente ls eigenfunciones y la ecuacin que define los eigenvalores cel problema con valores en la frontera ay! tay! + (P= Dy x>0, _y esti acotada en x = 0,3) Seua=a%a>0. 1b) Utilice ta tabla 6.1 de la seccién 6,3, encuentre los vie Jores aproximados de las cuatro primeros eigenvalo- FES, Ay Aye AY Ay Problemas para analizar 13. Considere el caso especial del problema regular de Starm- Liouville en ef intervalo (a, Aiea) + apeny vila) =0, ¥'6)=0. GBs A = 0-un eigenvator del problems? Defienda su res- puesta Tarea para e! laboratorio de computacién 14 a) Dé una relacion de ortogonalidad para el problema de ‘Sturm-Liouville del problema 1. by Utilice un SAC como ayuda para comprobar la rela- cién de ortogonalidad para lis cigenfimciones y, y ¥, ue corresponden a los dos primeros eigenvalores A, A, respectivamente. 15, a) Dé unarelacién de onogonalidad para el problema? de Sturm-Liouville. 1b) Utlice un SAC como aytda para comprobar la reli cin de ortegonalidad para es ejgenfunciones yy que correspondan a los dos primeres eigenvalores A, ¥ Atespestivamente. (ius REPASO DE MATERIAL SERIES DE BESSEL Y LEGENDRE ‘+ Debido a que Tos resultados de los ejemplos 3 y 4 de la soceién 1.4 juegan un importante papst en el anilisis que sigue, se le recomienda que low nuevamente estes ejemplos en conjuncién con Jas ecvaciones dela (6) la (L1) de la secei6n 11.1, INTRODUCCION | La serie de Fourier, la serie de Fourier de cosenos y la serie de Fourier de senos son tres formas de desarrollar una funeién en términos de un conjunto ortogonal de funciones. Pero esos desurallos de inguna manera se Fimitan a conjuntes ortogonales de funciones trigonométricas Ena seccién 11.1 vimes que una funciGnfdefinida en un interval (a, b) Se pusde desarrolar, al menos formalmente, en ténsinos de cuslquiee eonjanto de funciones (,(2)} que sea ortogonal respecto aun funcién de peso en [2, b]. Muchos de estos desarrollos en series ertogonales 0 series de Fourier gene- ralizadas surgen de problemes de Sturm Liouville que, «su Vee, se eriginan de intentos para resolver ‘cuaciones difereaciales paciales lineales que srvea como modelos de sistemas fisicos. Las series de Fourier y los desarroilos en series onogonales, as{como lasdos series que deseribitemosenesta seccin, reaparecen en consiceraciones subsecuentes de estas aplicaciones en Ios capitulos 12 y 13.a4 CAPITULO 11. FUNCIONES ORTOGONALES Y SERIES DE FOURIER 11.5.1 SERIE DE FOURIER-BESSEL En cl cjemple 3 de Ia seccién 11.4 vimos que para un valor fijo de m funciones de Bessel (/,(2;4)), 4 = 1,2, 3... yes orogonal respecto a la funcidn de peso plx) = x ‘en un intérvalo 0, b] siempre que los a, estén definidos por medio de una condici¢in de frontera de la forma Aud,(ab) + Bras(at) = 0. w Los cigenvalores de! corespondiente problema de Siurm-Liouville son A, = a De ()y de lascecisn 11.1 a serie ertogonalo serie generalizade de Fourier del desi- trolle de una funcién fdefinidaen (0, 4), en téminos de este conjunto ortogonal es Se ~ Zevtdes @ onde «, ~ beidawnsinae it Han ‘Le norma cuadrada de la funcia J, esté defnida por (11) de la seccin 11.1. + Wala |? [ UN ax) dX « La serie (2) com coeficientes definidos por la ecuasida (3) se lama serie de Fourier ‘Bessel o simplemente, serie de Bessel, RELACIONES DE RECURRENCIA DIFERENCIALES Estas relaciones de recumren- cia diferenciales que se dieron en las ecuaciones (21) y (20) de la seceidn 6.3, s00 ‘recuemtemente utiles en a evaluacton de los coeficientes (3). Por conveniencia repro- ducimos estas relaciones agus: 4 gy MON = 8 o) Be apcay ray glee) Upoilsde © NORMA CUADRADA El valor de la norma cuadrada (4) depende de eémo los cigenvalores A, = a? estin definidos. Si y = Jaa), entonces del ejemplo 3 dela se cin L14 sabemos que \-0 dens (er- Despues de muliplicar por 2xy’, este eouscién se puede escribir como sigue: 4 ee aly + (et — we Lo ae Integrando por partes este ultimo resultado en [D, } entonces obxenenios a[ ptr = yh + ee — mpl Puesio que y = J,(ax), el limite inferior es cero ya que J,(0) = 0 paran > 0, Ademés para n = Olacantidad [1y"F + ax es cero en.x = 0. Por lo que 22'f Ug(ea) dx = oF b*U(ab)}? + (ced? ~ w)LJ,(ab)}. om ‘donde hemos utllizaso la regla de la cadena para escribir y’ = a (ax), Ahora consideremos tres casos de (1), CASO |: Siclegimos A, = 1y B, @)11.5 SERIES DEBESSEL Y LEGENDRE © 425 Hay un miimero infinito de races postivas. , = ap de (8) (véase Ia figura 633.1). ‘que define los a, com a, = x,/b. Los eigenvalores son positivos y estén dados por 4/62. No se obtienen cigenvalores nuevos a partir de las rices negativas se Ia eeuacién (8) porque J(—x) = (1) dfx). (Véase la paigine 245.) EI nimero 0 no 5 un eigenvalor para cualquier n porque J(0) = 0 para = 1,2, 3... ¥ 440) = 1 En otras palabras, si A= 0, liegamos a la funcién trivial (que nunca es una ei- genfuncicn) para n = 1,2, 3, ...y para nm = 0, = 0 (0 de forma equivalenre, ‘a =0) no satistce a la ecuacion en (8). Cuando la eouacion (6) se eseribe ent la forma iF, x) = nd (x) — af, . (4), de (7) y (8) se tiene que la norma cuadrada de J,(a.x) es B Wert <5 im: ° CASO Il: Si clegimos A, = h = 0, y R, = b,entonces (1) es Adgab) + abl;{ab) = 0. ny La seuncién (10) tiene un niimero infinite de rafces pesitivas x, ~ a> para cada entero positive n= 1, 2, 3, ... Como antes, Ios cigenvalores se obtienen de A= a) = 2/8, A~ 0 no es cigenvalor para n = 1, 2, 3, ... Al sustiuir a’, (ap) = AJ (ap) en ta ecuacicn (7), encontramos que 1a norma cuadrada de (a,x) esaom Waleqa)yp= a ay CASO MI: Sih = Cyn = Den (10), los a, se definen a partir de las raices de Jilaty = 0, a2) ‘Aun cuando esta ecuncién es sélo un caso especial de (10), €8 el tnico caso pera el cual A= es un cigenvalor. Para ver esto, observeies que paran = 0 el resultado 1 (6) implica que S(ab) = 0 es equivaleme x Jab) ~ 0. Pursto ques, ~ 0 €5 una raiz de esa dime ecuscidn, a, = 0 y como J,(0) = 1 es no trivial, conetuimes de Ay = ai = 41/0? que A, = Oes uneigenvaor. Pero obviamente, no podemos utilizar (3) Para a, > 0 podemos utilizar (11) con h = Oy: [decors > © Baw. aay La siguiente definicin resume las tres formas de la serie 2) comespondientes a la norma cuadrads,CAPITULO 11. FUNCIONES ORTOGONALES Y SERIES DE FOURIER ay as) CONVERGENCIA DE UNA SERIE DE FOURIER-BESSEL Las condiciones de suficiencia para la convergencia de una serie de Fourier-Bessel no presentan restric- ciones particulares. I EJEMPLO 1 Desarrollo en serie de Fourier-Ressel Desurolle f(a) = x,0 a, Jy(3) y fy = 18 Gar aa . “ USO DE COMPUTADORAS Como las funciones de Bessel son “funciones incor- pporadas” en los SAC, es una tarea directa encontrar los valores aproximados de los eigeavalores a, y de los coeficientes ¢, en una serie de Fouriet-Bessel. Por ejemplo, fen le ecuacién (10) podemos considerar que x, = a es una raiz positiva de la ecua- i6n hi,(a) + 2/%(3) ~ 0. Asien el ejemplo 2 hemos usado un SAC para determinar Jas cinco primeras races postivas, x, de 37 (x) + 3G) ~ 0 y a partir de esas races ‘obteacmos los cinco primeros cigenvalores de a: x, ~ x,/3 — 0.98320, e, — 44/3 — 1.94704, a, = 4/3 = 2.95758, a, = 1/3 = 3.98538 y a, = 4/3 = 5.02078. Conociende tas raices x,~ 3a, y los a, utlizamos nuevamente un SAC para calcular tos valores numéricos de (3a), J7@q;) y por tltimo, tos coeficientes ¢. De esta ‘manera encontramos que la quinta suma parcial $x) de Ia representecién en serie de Foutier-Bessel de f(x) = x,0 << 3enel ejemplo 2, es S4ex) ~ 4.01844,1(0.98320x) ~ 1.869377,(1.947042) + 1107106./(2.95758%) — 0.70306 \(3.98938x) + 0.50343,4(5.020780). En la figuea 11.5.1a se presenta la grfiea de $,(x) en el intevalo (0,3), Ea la figura 1135.1b hemos trazado la grfiea de §,) nel intervalo (0,50), Observe que fuera del intervalo de definiciéa (0, 3) la serie no converge a una extensidn perialica de / porque las funciones de Bessel no son funciones pesiddicas. Véanse los problemas 11 y 12 de los gieicios 11.5. 11.5.2 SERIE DE FOURIER-LEGENDRE ‘Del ejemplo 4 de Is secci6n 11.4, sabemos que el conjunto de polinomios de Legendre {P,(0)], m=, 1. 2, ...,€8 ortogonal respecto ta funeidn de peso pxx) = 1 en el in- tervalo [1,1]. Ademis, se puede demostrar que la noms evadrada de un polinomio Px) depende de n en la siguiente forma: We.col = dy intl Ei desacrollo de una funcién en serie ortogonal en términos de polinomios de Legendre se resume en la siguiente definicién, idn fet el intervalo (—1, 1) est ay (22)428+ CAPITULO 11. FUNCIONES ORTOGONALES ¥ SERIES OE FOURIER (CONVERGENCIA DE UNA SERIE DE FOURIER-LEGENDRE En cl siguiente teo ‘ema se presentan las condiciones de suficiencia para la convergencia de una serie de Fourier-Legendre abierto (—1, 1), entonces un f(a) en cualquier punto donde Fes I EJEMPLO 3 Desarrollo en una serie de Fourier-Legendre _Escriba los cuatro primeros términos distintos de cero dela serie de Fourier-Legendre ae _ [0 -1 [ 1 @srt— 302 + ar=0 hs 2h! oof romoae= 2 1 3 7 u Portanto fis) = 5PA(8) + ZPia) — 75 Pia) +P) + . L u 7 (638° — T0r' + ISnide = 5 u ‘Al igual que las funciones de Bessel, los polinomios de Legendre son furciones 08 ncorporadas en programas de e6mputo algebraicos como Mapie y Mathematica, por lo 06 {que cada uno de los coeficientes que acabamos de enlstar se puede encontrar utlizando | la aplicscidn de integracién de esos programas, En realidad, usando un SAC encontra- 02 ‘mos ademés que ¢, = Oy ¢ = ~S. La quinta suma parcial de la representacion en }< forma de serie de Fourier-Legendire de la funcicn fdefinida en el ejemplo 3 es entonces 1-03 os FIGURA 11.5.2 Sumaparcial & S00 ‘de In serie de Foures-Legende. En la figura 11.5.2 se presenta la gréfica de $,(2) en et intervale (~ oe 2h Nagy - & SAa) = FP) + GPAGR) — FG PACA) + 55 Pal) — 35g Pal. Ns11S SERIES DEBESSELY LEGENDRE = 429 FORMA ALTERNATIVA DE LA SERIE En sus aplicaciones. la serie de Fourier Legendre se presenta en una forma altemativa. Si se hace que x = cos 8, entonces x= [implica que 6 = 0, ments que t= —1 implica qe @ = x. Pusto que dt = “sen 6 y ls ecunciones (21) y (2) se convierenrespectvamente en FO = Sorsoo 6) ey aie aa * [‘rerrjcosoysen ede ey donde /(cos @) se ha reemplazado con F(@), PBB IERCICIOS 11.5 tesremesas also lacs connie mr cine RES 11.5.1_ SERIE DE FOURIER-BESSEL En los problemas | y 2 utlice 1a tabla6.1 de la seccion 6.3, 1, Enouentre los primeros cuatro técminos «, > 0 definida por J(3a) 2. Encuentre los primeros cuatro términos a, = 0 definida por J(2a) = 0, En Jos problemas 3 a6, desarrolle (x) = 1,0 0. 1, Sin hacer operaciones, explique por que la serie de co- ace de fe) = ome O-< x <9 cx i sere fala fix) =} + cos 2x. 12,0), Denese quel conjusto {sea Zs sen3E sen 57 } a Se ces ortogonal en el iatervalo [0, bb) Encuentre la norma de cada una de las furciones del ineiso a), Construya un conjunto ortonormal 13, Desanole fis) = fx] — 5 — 1 Ly Cay OO) 524Exercises 11.5 4, The boundary condition indicates that we use (19) and (20) in the text. With 6 = 2 we obtain 2 A = hg [ sores 3 apap b 0) Gees] 1 1 ps “ao ah tuolt) dé = pee | fen {From (4) in the text} * DEJA) Jo at ~ al = 1(2Xi) * SRO) Now since J§(2A) = 0 is equivalent to Ji(2) = 0 we conclude ; = 0 for i= 2, 3, 4,.... Thus the expansion of f on 0 <2 <2 consists of a series with one nontrivial term: fa=a 5. The boundary condition indicates that we use (17) and (18) ix the text. With b= 2 and h=1 we obtain A 2} (Aix) ds = ery fH e z = Ait 2x 1 PX - wrth Hh oe u f OM die ney at [From (4) in the text} WR DHRN 4 at an aes THON) ea of Badd = WF+ DRM Tus AON) (2) = 4 Ee Dapany oO 525Exercises 11.5 6. Writing the boundary condition in the form 2Jp(2A) + 2G (2) = wwe identify b= 2 and A = 2. Using (17) and (18) in the text we obtain a= 2x i ° 5 Jo(dit) de (A+ DEA) fo take dt= de x 1 py ~ 30FF RO) ah tdn{e) at 1 DM i =o Hleawlat [From (4) in the text] fl as “RF TERN = bln) OFF HOR)” Thus ) So _ dis (2Ai =z Ws wos Jol Az). 7. ‘The boundary condition indicates that we use (17) and (18) in the text. With n = 1, b= 4, and f= 3 we obtain 2 4 oS Se (ir) Se de “ aeyri rari b= ¥ isla ESE 5 La = TO) ah Ba(iat “aoe fs Ele da(e] dt [Brom (4) in the text] a oe Pu DOF DAO) 20. Ja(44s) = Die aM ‘Thus AsJa(4¥i) (2) = 0 aye) 526Exercises 11.5 8. The boundary condition indicates that we use (15) and (16) in the text. With n = 2 and § = 1 we obtain as Iw ii * pdb(hea)? de 2 1 ps “Fo sh tJ (t) at - ma f * A Psa at [From (4) in the text] 2 ~ aR AO ‘Thus Se) = 22 Hy a 9. The boundary condition indicates that we use (19) and (20) in the text. With b = 3 we obtain tae d= de 2 1 pry “ae ah PJo(t) dt 2 ANod i aero b Bgl at uae d= gth@la du=2dt v=th(t) 2a Ph Pa - OD ( it) b £ Pato at) With n = 0 in equation (5) in the text we have J(2) = —di(), 60 the boundary condition 527Exercises 11.5 ‘J4(3As) = 0 implies J4(34s) = 0. Then = apton (2020) #) = ray (,)) =413') = angen 187.2(8%)| = Fos TRG) Thus (3%) 9 fla) =5- x waa) 10. The boundary condition indicates that we use (15) and (16) in the text. With b = 1 it follows that == g = e= Fah 20-2) ove) de - (f * a do( hz) da — f * 28 Ja(Aie) as] t=\e @=Nde ZI Fe [enon 55 fea a] * FEO) DF id =F lel Flat) es eS poet] use Ente dus%d v=th(i) veal 3 -4 (2200) ol 2" Papa] oleae eh ae a4] lot a ‘Thus aa A f(z) = 2 Ea 20) 528Exercises 11.5 (b) Using FindRoot in Mothematioa we find the roots 21 = 2.9496, x9 = 5.84113, 23 = 8.87273, 24 = 11.9561, and 25 = 18.0624. (©) Dividing the roots in part (b) by 4 we find the eigenvalues Ay = 0.7974, dg = 146028, Ag = 2.21818, Aq = 2.98904, and dg = 3.76559. (d) The next five eigenvalues are Ag = 4.54508, Ay = 5.32626, As = 6.1085, Ao = 6.89145, and Dao = 76749. 12. (a) From Problem 7, the coefficients of the Fourier-Bessel series are 20%;J0(4N) = DES EO) Using s CAS we find c) = 26,7896, cp = -12.4624, cy = 7.1404, c = —4.68705, and cs = 3.38619. ® ie 2 = a = : 2 : : : 4 \ y x re 1 ee x 73% x by S (©) Be a a sl 1 ; 3 0 20 3 0 * . 4 4 523Exercises 11.5 13. We compute ‘Thus con} ff srue)ar =} [sds = a eta 3 f'ear=t = 5h trlede= 5 Pac= 5 a! feneaced i Mae aire ani, aAeaeed ft 4 set —32)de = 0 -2f 9 P lisse 3 « c= 5 ff 2lz)ds= 5 ae — 802° + 32)dr = —F cat l ff =Pse)as = 2 [je = Tos" + 1522)dz = 0 8 13 eres % Be aP(z)dz~ © [ * Zea! = 31525 + 10524 — 5z)dz 13 14. We compute ani fie eAlayds=} [dem hee) ced [Pile dem§ [near =e! 5 8 Pleas aed f — -é@)dr = dente) if, oe plda%e® — eethde = F(Be + 3“ 3 gerne ae 530 tixd 13 256 FP) + be) + See) - Fre) + Ere) + fo) 2 1 ) (35a'e — 30a%e + 3e*)dz = 3(o6e0 = 266-7),tm Exercises 11.5 Thus . a) = zle NAL) +3e7H (a) + He Te") Pua) + Fe + 976) Pelz) + $1800 ~ 2660" Pye} + . Using cos? = $(cos 28 + 1) we have = L308? 6 — 3) = Scns?a — 2 Pulcosd) = 5(Sc0s" 8 — 1) = Zens? — 5 = $leos28-+3) — fe Scos2e 2 = 2 (acos28 + 1), al 204 a From Problem 15 we have Pa(cosé) = j(Gevs 26 +1) ot ' 1 0828 = $P2(0088) ~ 5 ‘Then, using Fo(cosé) = 1, 1 FQ) = 1— 60820 = 1 - [3 Py (0086) - 3 = 4 £rr(cose) = dr4(cose) ~ $Pa(cos. If f is an even function on (~1,1) then 1 1. [fle)Pote) ade =2 f° 46) Pana) ae and [/ $@)Prarleyae =. nt (0, s(0)Pm=)¢2) 1 = (n+) f) sa)Pinle) dr, conti = 0, and F(a) = ¥eaaPatsh If f is an odd function on (—1, 1) then [i ternteyar=0 and 53119. 20. Exercises 11.5 [1 )Povala)de = 1 Jf Fo) Pina(a) de ‘Thus congs = MERE D ET f(a) Paste) de = 3 (0 fe) Pesteién) = (n+) ff) Pinanla) de, em = 0, and Hla) = Fema Paass(2) ao From (26) in Problem 17 in the text we find w= ['cA(a)ér= ['nde=}, c= 5 [! 2Pile)de = 1 11 com 9 [) 2Pa(a)de =9 f) 5(952° — 302° + 3e)ae = ad vy oH af 2Po(x) dz = wf 7231" ~ 31525 + 10523 — 52)dz Hence, from (25) in the text, ol o fla) = 5Pe) + ZPale) ~ Pale) + aayPo + (On the interval —1 0, [Puree [Pia r(erae = ‘We know from a half-angle formula in trigonometry that cos’z = } — } cos2r, which is a cosine series (a) Forman rho, Nem Om+ Ir fee Sp ae an ede of (b) From Le (2n + 1)m Ll 1 (2n+1)0 L 2a = 5-508 ar | dz = = [psd Sap tede= [ (5 - joe gp) de = 5 we see that E sin fe Since and for n= 1,2, 3,... we have see} +E (Aali" - teosnre-+ S(-0)'sinnez) since dom [ (00? —1)ds jn= [' 02! —1)esenmzde = (1) and, 1 er I sinnaa dr = 0 535,Chapter 11 Review Exercises for n= 1, 2,3, ... we have 15. (a) Since and (b) Since 2ne 7 Tene Tepigallt — (1%) for n= 1,2, 3,... we have = (=1)"eYsinnme. 16. oF, O 0 a general solution of the given differential equation is y= cy cos(3VX In 2) + cp sin(3V9 Inz) , oa ya vd and sin(3V3 In) += eV cox(3VK 3) Since In} = 0, the boundary condition ¥(1) = 0 implies c2 = 0. Therefore = 0 cos(3VF Ina) 536Chapter 11 Review Exercises 0 or ava 1, 2,3,.... The eigenvalues are 4 = (2n — 1)?x2/96 with corresponding eigenfunctions a for 1 we find that y(e) = 0 implies c1 cos3VX Using tne 2n=1 cos ("a lnz) for m= 1,2,3, 18. To obtain the self-adjoint form of the differential equation in Problem 17 we note that an integrating factor is (1/2?)e! VF = 1/2, ‘Thus the weight function is 9/2 and an orthogonality relasion is eo /an—1 2m — 7 Jf eos (Fp trina) cos (trina) de = 0, m#n 19. The boundary condition indicates that we use (15) and (26) of Section 11.5 in the text. With we obtain on =O f Jot) (2) dz top “es om SELES) aT mare edo) at 1 py ~ aR f Gltsalel ae [From (4) in 11.5 in the text] 1 ps _ Ja(2\) are DiSPaN) Thus A{2ds) Baton 8) 20. Since f(z) = 24 is a polynomial in z, an expansion of f in polynowtials in © must terminate with ‘the term having the same degree as f. Using the fact that 24P,(r) and x*Ps(z) are odd functions, ‘we see immediately that c= ¢3 = 0. Now alfa alf' aed com 5 f ,2*Po(a) de 3 te 3 = $f tree = /' Neet a8 BL eRe m5 [50a ade 5 1 (a508 ~ 3028 + 324}ér = © [| gl@82" ~ 302° + 808) de = 5 ‘Thus432 RECTANGULARES PROBLEMAS CON VALORES EN LA. FRONTERA EN COORDENADAS 4 12.1 Ecuaciones diferenciales parciales separables 12.2 EDP clisicss y problemas con valores en la fromiera 12.3 Eeuacidn de calor 12.4 Bouaciéin de onda 125 Eeuacidn de Laplace 12.6 Problemas no homogénecs con valores en la frontera 127 Desarollos en series ortogonales 12.8 Pfoblémmas dimensionales de orden superior -REPASO DEL CAPITULO 12 Ente y en los dos eapftaloy siguientes tratarernos un par de procedimientos que se utilizan para resolver ecusciones en derivadas parciales que se presentan con frecuencia en problemas donde aparecen distribuciones de temperatura, vibraciones ¥ potenciales. Esios problemas, Samados problemas con valores en Ia frentera, se lescriben con ecuaciones en derivadas parciales de segundo orden relativamente simples, El objetivo dc estos procedimientos es encontrar solusiones de waa EDP reduciéndota 2 dos 0 mis EDO, ‘Comenzaremos con un métoda llamado separacién de variables. La apliccién de este método nos regresa a ls importantes conceptos del capitulo 1, ea piticular, eigonvalores, cigenfunciones y el desarrollo de una funciGn en una serie infinita de funciones ortogonales.12.1. ECUACIONES DIFERENCIALES PARCIALES SEPARABLES © 433 Ghai “ECUACIONES DIFERENCIALES PARCIALES SEPARABLES REPASO DE MATERIAL * Secciones 23,43 y 44. * Lew nuevamente “Dos ecuacionss que merecen conocerse" en las paginas 135-136, INTRODUCCIGN Las ecuaciones diferenciales parcial (EDP) Al igual que las diferencias ordins- ria, se pueden clasificar en lineales 0 no lineales. De manera similar que en una EDO, la variable depen dicate y sus derivadas parcales sl se presentan elevadas Ia primera potenca en uns EDP lineal, En lo aque resta de este Tibro la mayenta de las veces slo trataremos con EDP lineales de segundo orden. ECUACION DIFERENCIAL PARCIAL LINEAL | Si hacemos que w denote la variable ependiente y que x yy denoten las variables independientes, entonces la forma gene- ral de una ecuacién diferencial parcial lineal de segundo orden esté dada por ea, Bey od, pau. pity Asa t Bg Cea tO teat Fu w donde los cocficientes A, 8 C,. ...G son funciones dex y y. Cuando Gtx, y) = 0, la cccuacidn (I) se llama homogénea; en cualquier otro easo se dice que es.no homoge rhea. Pos ejemplo, las ecuaciones lineales = au au ae ay é § = son bomogéneas y no homogéneas, respectivamente, SOLUCION DE UNA EDP Una solucion de una ecuacién diferencial parcial (1) ‘es una funcién u(x, y) de dos variables independientes que tiene todas las derivadas parciales que se presentan en la ecuacidn y que Satisface la eouaciGa en alguna region del plano a. Noes nesta intencién examinar provedimientos para encontrar soluciomes gene- rales de ecuaciones diferenciales parciales lineales. Con frecuencia no sSlo es dificil obteneruna solucidn general de la EDP fineel de segundo orden, sino que tsualmente tuna solucién general tampoco es itil en las aplicaciones, por lo que nos concentrare- ‘mos en encontrar soluciones pariculdres de algunas de las EDP linealex mis impor- tantes, esto es, ecusciones que se presentan en varias aplicaciones, SEPARACION DE VARIABLES Aunque hay vacios métodes que pueden ensayarse ‘para encontrar soluciones particulares de una EDP lineal, el que nos interesa por el mo- mento se llama método de separacién de variables, Con esie método se busca una soluci6n particular en la forma de producto de una fancida de x por una fancidén dey: oxy) = XG). Con esta hipétesis algunas veces es posible reducir una EDP lineal con dos variables en dos EDO, Asi, cbservamas que & a oor, putt XY, ‘donde las primas denctan derivaciGn ordinaria434 CAPITULO 12. PROBLEMAS CON VALORES EN LA FRONTERA EN COORDENADAS RECTANGULARES I EJEMPLO 1 Separacidn de variabl au ay Encuentre las soluciones producto de 3 SOLUCION Sustituyendo u(x, y) = XG)YIy) en la ecuaci6n éiferencial parcial se cobtiene xr=axy. ‘Despass al divide ambos lads entre AY, hemos separado las variables = ae ay Puesto quel miembro iaquierdo de esta tims ecuacién es independiente de ye igual ‘al miembro derecho, que es independiente de x, concluimos que ambos lados son in dependientes tanto de x como de y. En otras palabras, cada lado de la ecuaciéa debe ‘ct una constants. En la prética os conveniente escribir esta constante de separacién real como —A (usando A se obticnen las rpismas soluciones). De las dos igualdades ze ayy ‘obtenemos las dos ecuaciones diferenciales ordinarias tineales e4x=0 y+ AY=0. 2 Ahora, como en el ejemplo 1 de la secei6n 1. cero, negativo o positiva, es decir A= 0, |, consideraremos tres Gaisos para A: a <0,A= « > 0, dondea > 0, CASO! Si = 0, entences las dos EDO en (2) son xy=0 yo ¥ 0 Reselvendo ida ecutcsa(igamot, por ntegrcin). encontranas que = ¢, +¢3 9 Y= e, Porloqus na slucn products pardeuar dela EDP es X= (6) + Ges =A) + Bin, 3) donde bemos sustiwido ¢,¢, ¥ ¢¢, por, ¥ B,, respectivamente. CASO II Si = ~o!, entonces las ED eft (2) son Xi-4eN-0 yf eY=0. [A partir de sus soluciones generales X=cyeoshlax + eysenhJox yy Y= ce" ‘obtenemos otra solucién producto particular de la EDP, (cycosh Zax + cs sent 2ua)cge*” * cosh 2axx + Bye" sent 23, “ yo ea yssus soluciones generales X= c,e0s2ax+cysentnx12.1. ECUACIONES DIFERENCIALES PARCIALES SEPARABLES © 435 dan atin otra solucién particular w= Ase! cos Jae + Aye"? gon Dare, @) donde A, = <0, y By = cc. = ‘Se deja como ejercicio comprobar que las soluciones (3), (4) y (5) satistacen Ia EDP daca, Vease el problema 29 en los ejercicios 12.1. PRINCIPIO DE SUPERPOSICION El siguiente teorema es similaral weorema 4.1.2 yy se conoce como principio de superposicién, [En Jo que resta del capitulo supondremes gue siempre que haya tun conjunto inf ito Ha ty 4 de soluciones de una ceuaciéa lineal homogénca, se pusde construir ‘otra solueiGn, u, formande la seric infinita w= Deite donde los ¢,,/= 1,2, som constants. CLASIFICACION DE LAS ECUACIONES. Uns cuss diferencia parcial linc een eset sin Se fib cepa y con ences Cates op oe lla pul a 6s oss tp, at laslBCaS so Sept does ick ‘Sense as devas segundo ort, Por sdpuea, spose que al menos uid de los coeticlentes A, By Ces dita de ce, I EJEMPLO 2 Clasificaciin de EDP lineales de segundo orden Caitipn ine ecaaclnes gine ae Pu art ay? SOLUCION a) Escribimos la ecuacién dada como: Bu au ae ay436 © CAPITULO.12._PROBLEMAS CON VALORES EN LA FRONTERA EN COORDENADAS RECTANGULARES b) °) podemos hacer tas identificaciones A = 3, B = Oy C = 0, Puesto que BY — -4AC = 0. laccuacién es parabélica. Reerrbimes a covcén como ar ay vemos gue A = 1.8= 0,0" —1.y Bt 4AC wheres 4(1X—1) > 0. La ecuscién ConA = 1, 8 = 0, C= Ly 6 ~ 44C = —40)0) < O lnecuacion es cliprica, COMENTARIOS PBB SERCICIOS 12.1 tara ctx rons ees ann ip comer pa Rh Fo fos problemas 1 616 wilce separcisn de variables party nu _ Pa 5, fencontiar, de ser posible, soliciones producto para lacou 1% 355 = ap + 2k 3 k>0 com diferencial parcial dada 4 tae 2H 45M Lo 3 Pty 14 ees Fao "ax ay ax” ay or” ay ae” ay Bu tu=H Au=utu eu tu,=u 16 au, —g =u, g unaccnstante En los problemas 17 2 26 clasifique Ia ecuacién diferencial parcial dads como hiperbdlica, parabsliea 0 eliptics, eu, Fu, eu 17 327 beay Say ° Pi Be 1, 254 se 9, 2H 4 6 Hy 9H + ae” Saxay” ay12.2. EDP CLASICAS ¥ PROBLEMAS CON VALORES EN LA FRONTERA 437, En los problemas 27 y 28 demuestre que la ecuacién diferen- cial parcial dada tiene la solucién de producto indicada, eS (2 41) ou, rar! at etei(e(ar) + o¥far)) aw, rar’ Re = (¢,c08.06 + essenad)(oyr* + er*) 0 fu Pu Fw a” beay * ay! 29. Compmiche que cada uno de los productos » = X¥ en. las ecuaciones (3), (4) y (5) satisfacen la EDP fineal de it mu segundo orden dol ejemplo | a 30, La definicién 12.1.1. generaliza las EDP lineales con 3 coeticientes que son funciones de x y . Determine las 3. @ regiones del plano xy para las cuales la eonseiéin Pe ae te a en yt DEE tare tS an a 6s hiperbtica, parabélica 0 elipica Whiz! EDP CLASICAS Y PROBLEMAS CON VALORES EN LA FRONTERA REPASO DE MATERIAL ‘* Lea nuevamente el tema de problemas con valores en la frontea en las secciones 4.1, 43 y$.2, INTRODUCCION No vamos a resolver nada en esta seeci6n. Simplemente vamos a analizar los tipos de ecuaciones diferenciales parciales y los problemas con valores en la frontera con los que estaremos trahajand en lo que resta de este capitulo asf como eo los capitulos 13.4 15. Lis palabras problema con valores en la fromera tienen tna comotacién ligeramente diferente de la que tavieron enlas secciones $.1, 43 y 5.2. Si porejentplo, u(x.) es una solucidn de una EDP, donde ¥ representa ‘una dimensiéa espacial y r representa al tiempo, entonces podemos doterminar el valor de u, 0 de ‘u/s 0 una combinacién lineal de u y Au/ dren una x dada, as{ como de‘erminarlaw y du/ét en un tiempo # dado (ea general, ¢ ~ 0), En otras palabras, “un problema con valores en la fromtera” puede ‘consists en una EDP, con condiciones en ia fronteray con condiciones iniciales, ECUACIONES CLASICAS Consideraremos principalmente la splicacién del mé- todo de separacién de variables para encontrar soluciones producto de las siguientes ‘ecuaciones clsicas de ta fisica maternitica: k>o a @ 8) o ligeres variaciones de estas eevaciones. Las EDP (1), (2) y (3) se conosen, respecti- ‘vamente, como ecaacién de calor unidimensional, ecuacién de onda unidimensio- tal y forma bidimensional de la ecuacién de Laplace, “Unidimensional” en el caso de las ecuuciones (1) y (2) se refiere al hecho de que « denoss uns variable espacial, mientras que a ¢ representa el tiempo; “bidimensional” en (3) significa que tanto x ‘como son variables espaciales. Si compara las ecusciones (1) a (3) con la forma12 Partial Differential Equations and Boundary-Value Problems in Rectangular Coordinates Exercises 12.1 1. Iu= XY then us =X'Y, ty = XY’, XY =Xy, and x -y°™ Then X’=NX=0 and Y'=VY =0 oe X= Ae Y= Anes, we XY = qyetety) 2. Ifu= XY then wa XY, uy = XY", X'Y = 3X’, and ae 73 Then X'£3NX=0 and ¥'FVY =0 538so thet and fu=XY then and Then 0 that and Wu=XY then and ‘Thea so that and Exercises 12.1 X= Are, Ye Age = XY m cyetto8 u=X'Y, ty = XY", XV =X -Y'), X'=¥X=0 and Y'-(1SM)¥=0 X= Ayes, ¥ = Ane), = XY = gerbe) ue = X'Y, uy = XY, XY =x +), xX’ y+y! ae tan ai X'EMX=0 and ¥'-(-1424)¥ -0 Xm Aes, Y = Agee, §39Exercises 12.1 Ifw=XY then and Then 1 Xs4Nx 20 and Y'F2.Y =0 z y so that X= A, Y= Ay”, and u=XY =a(zy)®. . fu = XY then ue = XY, wy = XY", wX'Y = 2XY', oo xy! ae 2)? ax 7 Ty Then X=NxX =0 and ¥'+¥yY =0 so that X= AP, Y= Ae V2, and ay Wa XY = ev) . Eu = XY then ee XY, yy 2 XY", tye = XY", and 540Exercises 12.1 XY + X'Y + x" which is not separable . fu XY then Uye = X'Y', UX'Y + XY, and Then X's¥X=0 and +Myy-¥ so that X= Aes, Y= Ay, and w= XY = ce Oy = XT then w= XT, Use = X"T, kX"T —XT = XT", ‘and we choose XTX ay? sin so that Te (-1dEM IT =O and X" = (40 )X = For \? > 0 we obtain X = Aycosh ke-+ Apsinh kz and T= Agel 4) so that wa XT = el YF (6; cosh Az + czsinh At) For -2? < 0 we obtain X= AycosAr + Apsindr and T= Age 0 that 541Exercises 12.1 (e508 Ae + c4 sin Az) If)? =0 then, 0 and T'+T=0, and we obtain X=Aiz+Ay and T= Age In this ease u=XT “(esx + ce) 10. Ifu= XT then uw = XT, Use = X"T, RX"T = XT’, and v x" aye xm * ‘so that X"ENX=0 and TVET =O, For \? > 0 we obtain X= AycosAz+Agsin Az and T= Ase’“#, so that u= XT = eS (c; cosear + exsin ca). For —A? < 0 we obtain X= Aye + Age™, Tm Aye, and wa XT = eH (qe + oe) For 7 =0 we obtain T=Ay, X=Art+Ag, and u=XT=o240. 1. [fu = XT then Ure = X"T, ue = XT", 54212. Exercises 12.1 ex'r = xr", cs x” op =a. iat Tae 0 tht X"EMX=0 and Tear For \? > 0 we obtain X = Aycos ke + Ap sin Mx, T = Agcosant + AysinaXt, and u= XT = (Ay cos Ax + Azsin Ax)(Ay cos at + Agsin ad) For ~\? <0 we obtain X= Ae + Age™, T= Age™ + Aye™™, and = XT = (Ate + Ane) (Ase + Ace) For 1 = 0 we obtain X= Airt Ap, T= Ast + Aa, and ua XT = (Arr + An)(Ast + Aa) Ifu=XT then uy = XT" tw = XT", tex = X"T, @2X"T = XT" + 2kXT, and Xt 7+ OKT I =40 xX ap 72% 0 that XENX =O and T+ 2% FaVT =O, 54313. Exercises 12.1 For X* > 0 we obtain X= Aye + Age™, Pm Age AVERY gel AVERT XT = (Ate = dae) (4g aye bE) For -\? < 0 we obtain X = Aycos Ar + Asin Ax. If aX? > 0 then Pm Agel VERT E o-t VTE If a2)? <0 then T * (Agcos Yai — Ht + Aysin Yaa? = Pe) If k? — a)? = 0 then T= Age + Agte™™ s0 that XP = (Aycos Az + Apsin Ax) (dace ETT gl -b- VEO 2) = (Arcos Az + Apsin Azje“#* (a cos v/a)? = t+ Aysin VORA? — Be) k k Hit aie = (Ajcos x + Ag sin Xx + Agte ( 1.608 52 + Ap sin = ) (ase ste“) For \? = 0 we obtain X= Are t Ay, T= Ag+ Age™, and u= XT = (Aye + Ap)(Ay + Age), Iu = XY then ae =X" yy = XY", XY say" and 544Exercises 12.1 so that X"2NX=0 and Y" EY =O. For \? > 0 we obtain X = Arcos Ar + Azsin dz, ¥ = Age? + Age, and w= XY = (A, cos Az + Ap sin Az)(Age™ + Age”) For -47 < 0 we obtain X= Ae + Age, ¥ = Agcos Ay + Aysin Ay, and w= XY = (Aye + Age™™*)(Ag cos dy + Aasin Ay). For 1? = 0 we obtain ua XY = (Az + An)(Aay + As). 14. Iu XY then tos = X"Y, yy = XY", oxy + ay" and fi Xepes ore so that PX" +X =0 and Y" MY =O. For \? > 0 we obtain ¥ = Age + Age™™, 161-4 > D then X = Ayal) 4 pyg(t/2-VIRTR 2) 1-0? <0 then Xa? (Arcos Vai nz + Apsin? a=7 nz) 54515. Exercises 12.1 If 1-4)? =0 then X= Ay? + Apr ine so that = XY = (Ae VR 5 Ayall/2-VETRD) (age + Aye) 21? (Arcos} YAP —1 ine + Ansin g PT In 2) (Are? + Aye¥?) = (Arc? + AgsPinz) (Agel? + Ade¥?) For -\? <0 we obtain X a AeA) D)2 4. Aye (1/2-VTRTR 2) Y = Agcos Ay + Aasin dy, and, u=XxY (Aye el 2-VTFTF ID) (Ay co8 y+ Ausing) For \? = 0 we obtain X= Art Aa, Y= A+ Ag and ua XY = (Aix + An)(Aay + Aa), Iu = XY then Use = X"Y, fee XV +XY" = XY, and x" y-y" XY aw s + so that X"$NX=0 and ¥"+(4\?-1)Y =0. For ? > 0 we obtain X= Aye* + Are. ¥ = Agcos /\? —1y + Agsin y 546 If —1> 0 thenExercises 12.1 If —1<0 then Ym AgeVEPY 4 Age VM Y, HMR then ¥ = Agy + Aq so that ue XY = (Ae + Age?) (Ascos (92 — Ly + Agsin yo? = 1) = (Ase + Ae) (Age FY + Aye) = (Are + Aze™*)( Ay + Ay). For —)? < 0 we obtain X = Ay cos Ar + Agsin dx, AgeV TPs 4. Age VY, and u= XY = (Az0os Az + Apsin kz) reas + Ae FF) For A? = 0 we obtain X= Air + Aa, Y = Age! + Age, and w= XY = (Az + Aa)(Ase! + Ase) 16. {fu= XT then uu = XT", us =X"T, and o®X"T-g= XT", which is not separable. 17. Identifying A= B 18. Identifying A = 3, B = 5, and C = 1, we compute B?—44C = 13 > 0. The equation is hyperbolic. 19. Identifying A = 1, B= 6, and C = 9, we compute B? — 4AC = 0. The equation is parabolic. 20. Identifying A = 1, B = —1, and C = ~3, we compute B? - 4AC = 13 > 0. The equation is hyperbolic 1, we compute B? — 44C = ~3 < 0. The equation is elliptic. 21, Identifying A = 1, B = -9, and C = 0, we compute B? - 4AC = 81 > 0. The equation is hyperbolic. 22, Identifying A= 0, B = 1, and C =0, we compute B? — 44C = 1 > 0. The equation is hyperbolic, 23, Identifying A= 1, B = 2, and C = 1, we compute B? — 44C 24, Identifying A= 1, B= 0, and C= 1, we compute B?- 44C ‘The equation is parabolic. 4 <0. The equation is elliptic. 547- 25. 26. 27. 28. Exercises 12.1 Identifying A = a®, B = 0, and C = —1, we compute B? - 4AC = 4a? > 0. The equation is hyperbolic. Identifying A= k > 0, B= 0, end C = 0, we compute B? ~ 44C = —4h < 0. ‘The equation is elliptic: Wu = RT then ue = RT, ee = RT, 4 = RT, ar'=4(R'T+tRT), and PR er Te PRE If we use —? < 0 then OR eR 4NPR=0 and TEMP =O ‘0 that R= AgJo(Ar) + AsYo(Ar), T= Ae and . Tey Jo(Ar) + eaYo(Ar)] Ifu= RO then u, = RO, ee = RO, ue = RS’, ue = RO”, R'e+tRe+5R0" and PR tek Re Then PR! +rR'-R=0 and O"+2O=0 548Exercises 12.2 so that Racor scar 26 = cos M+ ca sin 98, and = RO = (ci cos A9 + cg sin AB)(cgr* + cgr~'), 29, For u= Are!’ cosh 2hz + Byes sinh 2dx we compute Pe : 2, ae = 4N*Aye*Y cosh 2dr + 4X*Bye*Y sinh 2A & = MAyeY cosh 2dr + 17Be™ sinh 2Az. and ‘Then 6°u/da® = 40u/ ay For w= Age"'¥ cos 2c + Bye" sin 2x we compute 2, a, S ~4¥7 Ae-*'¥ cos 2dr — 4N* Bae sin Dar and - a —)? Ay cos 2h — Basin Dz. Then @?u/a2? = 40u/dy. For u = Agr + Bs we compute 0*u/dz? = du/Oy = 0. Then Hu/Ox? = 40u/y. 30. We identify A = 2y +1, B= 2+ 2y, and C= 1, Then B?~4AC = 27+ dy? — 4, The equation t? + 4y? = 4 defines an ellipse, The partial differential equation is hyperbolic outside the ellipse, parabolic on the ellipse, and elliptic inside the ellipse Exercises 12.2 Fu _ du 1. koa Re O0 woo, S| 20, t>0 3 Neat u(z,0)= f(t), O0 O0 ule, =0, Oo a @ 8) o ligeres variaciones de estas eevaciones. Las EDP (1), (2) y (3) se conosen, respecti- ‘vamente, como ecaacién de calor unidimensional, ecuacién de onda unidimensio- tal y forma bidimensional de la ecuacién de Laplace, “Unidimensional” en el caso de las ecuuciones (1) y (2) se refiere al hecho de que « denoss uns variable espacial, mientras que a ¢ representa el tiempo; “bidimensional” en (3) significa que tanto x ‘como son variables espaciales. Si compara las ecusciones (1) a (3) con la forma438 © CAPITULO 12 PROBLEMAS CON VALORES EN LA FRONTERA EN COORDENADAS RECTANGULARES. FIGURA 12.2.1 Flojode calor suriimensional Tineal del teorema 12.1.1 (con 1 jugando e! papel del sfmbolo y), observe que la ecua- cin de ealor (1) es parabslica, la ecuacién de onda (2) es hiperbilica y la ecuacién de Laplace es elfptica, Esta observacién ser importante en el capitulo 15, ECUACION DE CALOR La ecuacién (1) se presenta en la tecria de flujo de calor, ‘decir, transferencia de caloe por condaccién en una vanilla 0 en un alambre delgado. La funcién i, representa ls tempersturs en un punto x a largo de ta vail en algin tempo 1. Los problemas en vibraciones mecénieas con frecuencia conducen a la ‘ecuacién de onda (2). Para fines de andlisis, una sclucién wt, t) de (2) representa el ‘desplazamiento de una cuctda idealizada Por iltime, una soloci6n u(x, 3) ela ecuacisn de Laplace (3) se puede interpretar como el estado estable (ey decir indopendicate det tiempo) de la distibucion de temperatures 2 través de una placa delgada bid mensional, Tncluso aunque hagames muchas saposiciones de simplificacisa, vale la pena ver ccémo surgen ecuaciones tales como la (1) y 1 (2). ‘Suponga tna varlla delgada circular de longitud L que tiene una seccién trans- versal Ay que ccincide con el ee delasx en el intervalo [0,L}, Véase Ia figura 12.2.1 ‘Supongamos jo siguiente: ‘+ El lujo de calor dentro de Ia varilla solo ocurre en la direceién x. + La superficie curva o lateral de la varilla est aslada; es decir no eseapa calor de esta superficie. + Novy calor generado dentro de la vail. ‘+ Lavatilla es homogénea, es decir, su masa por unidad de volumen p es ‘constant. + Elcalor especificn y y ia conductividad térmica K del material dela varitla son constantes. Para deducis Ja ecuacién diferencial parcial que satistace ls temperatura u(x, 1), nevesitames dos leyes empiricas de conduccién de calor: 9) Lacantidad de calor Q en un elemento de masa m es = ymu, @ donde w ¢s la temperatura del elemento, i) Larazén de calor Q, que luye por la seccién transversal que se indica en la figura 12.2.1 es proporcional al dreaA de la seccién transversal y ala derivada parcial respecto a x de la temperueura: Q, = —KAu,. o Puesio que el ealor fluye en la direccién de la disminucién de la temperatura, se uti- liza el signo menos para asegurar que Q, es positive para u, <0 (flujo de calor a la derecha) y negativo para, > 0 (flujo de calor a la izquierds). Si la porcién circular de Ja vasilla, mostrads en la figura 12.2.1, entre x y.x + Ax es may delgada, entonces us, 9 se puede considerar la temperature aproximada en cada punto en el intcrvalo, ‘Ahora la masa de la ebunada es m = (A AX), y por tanto se tiene de (4) que Ta cani- dad de calor en ésta es O= wAAru © ‘Adem, cuando fluye calor en la direcci6n x postiva, vemos de (3) que el calor av- ‘menta ef Ta porcin ala raz neta —KAu((x, ) ~ [-KAue + Ax n= KAfuce+ Axt) ute ol ) Derivando (6) respecto af, vemos que la razén neta esté también dada por Q, A Ax ®) Igualando (7) y (8) se obtiene K ule + Ani) » Ax wd) a1) Batinamiento de un sepenta FIGURA 12.2.2 Cuerda flexible anchdaenx = Oy enx ‘Temperitura como um fiunciin de a posiciénTermmetro sobre la placa caliente FIGURA 12.2.3. ‘Tempersturas de estado estuble en una pcs rectangular 12.2. EDPCLASICAS Y PROBLEMAS CON VALORES EN LA FRONTERA © 439 Finalmente, tomando el Ifmite de (9) conforme Ax —> 0, obtenemos (1) en ta forma" (/ypin,, = 4, Se acostumbra hacer k = K/yyp y lamar difwsividad térmica a esia ‘constante positiva, ECUACION DE ONDA Considere una cuerda de longitud /, como una cuerda de itarra, tensada entre dos puntos en leer, por ejemplo. en x= Oy en x= L. Caando Incuerda comienza a vibrat, spanemos que el movimiento esenel plano su de tal nera que cada punto sobee la euerda se mueve en una dreecién perpendicular al aje-x (ibraciones transversales), Como se muestra eo la figura 12.2.2a, hagamos que ux) senote c! desplazamiento vertical de cualquier punto sobre la cuerda medida desde cl ce xpara > 0. Ademés suponemos que: + Lactenda es perfectamente flexible. + Lacuerda es homogénea, ex decir, su masa por unidad de longitud p es una ‘constant, + Los desplazamientos u son pequefios en comparacién con Ia longitud de Ia cused, + La pendiente de la curva es pequefia en todos los puntos. + Latension T actia tangentea la exerda y su magnicud Tes igual en todos os puntos. + Lateasion es grande comparada con la fuerza de Is gravedad, + Noactia otra fuerza externa sobre la cuerda. ‘Ahora en la figura 12.2.2b tas tensiones'T, y'T, son targentes los extremos de la curva cnc! intervalo [s.+ Axl, Pam, y 0, pequetias Ia fuerza neta vertical que acta sobre e! elemento corespondicnie As de la cuerda es entonces Teen, — Tsend, = Ttan 6,— Ttan 6, =T luge + Ax.t) —a6r, 01 donde 7 = [7 = [Fy, Ahora p As~ p Ares la masa de ts cverda en [x,x+ Ax], por lo que de la segunda ley de Newton se obtiene Thuie + Ax.) — wir] =p Axu, wert Oro —wenn _p ° 7 pie Sie! limite se toma como Gx», ia tims ecuacin se converte en i, Estadesde inego es (2) ona’ = Tp. p11) ECUACIGN DE LAPLACE Aunque no presentamos su deduccidn, la ecuacién de Laplace en dos y ues dimensiones se presenta en problemas independientes del tiempo «que implican pocenciales tales como el electrostticn el gravtacional y la velocidad en rmecénica de uidos. Adems, una solucidn dela ecuacién de Laplace también se puede interpretarcomo una distibucin de lemperaturas de estado estable. Como se muestra en In figure 12.23, una solucidn ur») de la ecuncién (3) podria representar la temperatura que varia de panto a panto, pero no conel tiempo, de una placa rectangular La ecuacién de Laplace en dos dimensiones y en tres dimensiones se abrevia como V2ur = 0. donde Wuszet ae» ae se conocen com el Laplaciano en dos y tres dimensiones, respectivamente, de una funcién “La defncén dea segunda deivada parcial es a, = i, ‘a 45900 espresones equivalents parla peene, Stan ¢, = mF An oy tn 8,440 © CAPITULO 12. PROBLEMAS CON VALORES EN LA FRONTERA EN COORDENADAS RECTANGULARES FIGURA 12.2.4 Cerda puleada, ‘Con frecuencia deseamos encontrar soluciones de las ecuaciones (1), (2) (3) que satisfacen ciertas condiciones adicionales, CONDICIONES INICIALES Ya que las soluciones de (1) y (2) dependen del tiempo 1.podemosindicar qué pasa en = 0; es decir podemos dar condiciones inicia- les (CD. Si fi) denote ta distribucién inicial de temperauuras en toda la varilla que se ‘muestra en a figura 12.2.1, entonces una solucitn u(t.) de (1) debe satistacer la inca condicién iniial ux, 0) = f(x), 00, ew an ‘Aqui au/an denota la derivads normal de u (la desivada directional de en la direc- cin perpendicular als fronts). Una condicién de frontera del primer tipo i) se Hamma ccondicién de Dirichlet; uno condisién de frontera del segundo tip i) se Hama condi- ‘én de Neumann; y una condicign de fretera del terer tipo i) s¢ lama condicién de Robin, Por ejemplo, para: > 0 una condisiéa tipiea del extremo derecho de a varitl en la figura 12.2.1 puede ser au dw ii oi) + hu, uma constane fy KL.) = mgs ty une constante, ay © bien fun’ 24) = mate) ~ aah Oy ng constants. La condicion i’ simplemente estableve que la trontera x ~ & se mantiene por alga ‘medio a una temperatura u, constante pars t > 0. La condicica fi)’ indica que Ia ron- tera.x = Lesté aislada, De la ley empirica de tansferencia de calor, cl flujo de calor através de la frontera (es decir, a cantidad de calor por unidad de érea por unidad de tiempo conducida a través de la frontera) es proporcional al valor de le derivada normal du/n de Ia temperatura u, Porto que cuando la fromtera.x = L no esti térmi- ccamente aislada, no flaye calor dentro o fuera de a varilla asf au I -o. arken Podemos interprotar ii)" como que el calor se pierde en el extremo derecho de la vari- Ia por estar en contacto con un medio, tales como aire 0 agua, que se mantione « un Temperatura constante, De la ley del enfriamiento de Newton, cl flujo de calor hacia fuerade la varilla es proporcional a la Uiferencis ertre fa temperaiurs u(E, fen la fron12.2 EDPCLASICAS Y PROBLEMAS CON VALORES EN LA FRONTERA 447 teray Is temperatura u, det medio circundante, Observamos que si se piende calor en cehextremo izquierdo de la varilla, la condicién de frontera es ww Fo Oe EI cambio de signo algebraico es consistente con la suposicién de que la Varilia esta ‘una temperatura mis alta que el medio que toda a 10s extremos por loque u(0, 1) >, Yulls 0) > wt, En.r= Oy en.x=Z las pendientes u,(0, 0 yu(L.1) deben ser positivay negativa, espectivamente, Por supuesio, en los extremos de la vanilla podemos especificar condiciones dife- ‘ene al mismo tiempo, Por eleraplo, podriamos tener eh ithe Cty pe ll enn thon = 0:8 #0 Ja condicién de frontera es no homogénea. La condicién de frontera i) es homogénea: iii 6s homogénes si, = 0 y no homogénea si u, + 0. PROBLEMAS CON VALORES EN LA FRONTERA Probiemas tales como ML =H, 1>0. . gh te Resolver: oe - O0 Sujetoa: (BC) u0,)=0, wll,j=0, 1>0 ap a) us.0) Fe). | = 90, O O las vibraciones transversales estin amortiguadas con una fuerza propor- ional aJa velocidad instantinea. 8, Los extremos estén anclados al eje de las x y la cuerda cs inicialmente en reposo sobre este ¢je- Una fuerza cextema vertical proporcional a la distancia horizontal ‘a partir del extremo izquiendo actda sobre la cuerda para 1>0. ‘En los problemas 9 y 10 exablezcacl preblema con valores en Jn frontera para la vemperatura de estado estable u(y) 9. Una place delgads recwngular coincide con la resin definida por 0 = x= 4, 0= y=2. El extremo izguierdo y lu parte inferior de 1z placa estén eislados. La parte Superior de la placa se mantiene a temperature cero y el extremo derecho de ia placa se mantiene «temperatura 10). 10. Unapleca semiinfinita coincide conta rogién defini por 0. = x =m, y= 0, El extromo izquierdo se mantiene ‘8 uns temperatura ey el extremo derecho se mantiene @ una temperatura de 100 para 0 1, La parte inferior de Ia placa se mantiene ‘vuna temperatara f(x),Exercises 12.2 so that Racor scar 26 = cos M+ ca sin 98, and = RO = (ci cos A9 + cg sin AB)(cgr* + cgr~'), 29, For u= Are!’ cosh 2hz + Byes sinh 2dx we compute Pe : 2, ae = 4N*Aye*Y cosh 2dr + 4X*Bye*Y sinh 2A & = MAyeY cosh 2dr + 17Be™ sinh 2Az. and ‘Then 6°u/da® = 40u/ ay For w= Age"'¥ cos 2c + Bye" sin 2x we compute 2, a, S ~4¥7 Ae-*'¥ cos 2dr — 4N* Bae sin Dar and - a —)? Ay cos 2h — Basin Dz. Then @?u/a2? = 40u/dy. For u = Agr + Bs we compute 0*u/dz? = du/Oy = 0. Then Hu/Ox? = 40u/y. 30. We identify A = 2y +1, B= 2+ 2y, and C= 1, Then B?~4AC = 27+ dy? — 4, The equation t? + 4y? = 4 defines an ellipse, The partial differential equation is hyperbolic outside the ellipse, parabolic on the ellipse, and elliptic inside the ellipse Exercises 12.2 Fu _ du 1. koa Re O0 woo, S| 20, t>0 3 Neat u(z,0)= f(t), O0 O0 ule, =0, O0 bu uo,t) = 100, FE] =-hu(s,9, t>0 u(2,0)= f(z), O0 t>0 sin, O u(L,t)=sinnt, t>0 <0, O0, Aaconstant too 0, O 0.5 fs vasa quo ve eect ea gua 123.1 stinfce as hips daa on a pgnn 438, etonces a tempera) a vel termi del problem con valores en la rontera au ‘S O0 a WO.) =O, WL. =0, 1>0 a ux,0) =f), OS ¥ 0. 10) ‘Cuando las condiciones de frontera X(0) = 0 y XL) = 0 se aplican a (8) y (9), estes soluciones son vélidas sSlo si X(x) ~ 0 y por tanto conciuisfamos que u — 0. Pero ‘cuando X(0) = 0 se aplica a(10), encontrames que c, ~ 0 yX(x) ~ c,sen zx. Eatonces Ja segunda condicidn de frontera implica que X(Z) ~ c,sen a = 0. Para obtener una solucién no trivial, debemos tener c, + 0 y sen aL = 0. Esta ultima ecuaciGn se satis- ‘face cuando af. = nro a = nrr/L. Por tanto (7) tiene soluciones no triviales cuando444+ CAPITULO 12. PROBLEMAS CON VALORES EN LA FRONTERA EN COCRDENADAS RECTANGULARES os 1s 2 as 3 a) La griifica de u/x,1) como una fans dex para diferentes temps jos bb) Lagréfica de u(x,1) como una funciéa de 1para diferentes posiciones fijas FIGURA 12.3.2 Guificasde(17) ‘cuando una variable se mantene ja, Ay = af = 2/2, n= 1, 2,3, ... Estos valones de A son los eigenvalares det pro- ‘lems; las eigemfuneiones son Xoy=esenFe n= 123... ay De (6) tenemos que Tin) = cse"#"*"", por tanto sen x, a2) donde hemos reemplazado Ia constante ¢.c, por 4,..Cada uns de las funciones producto (1) dadasen (12)es na soluci6n particular de i esuacicndiferencial parcial (1)y cada f(x, tambiéa satisface smbas condiciones de frontere (2). Sin ernbargo. para que (12) satsfaga la condiei6a inicial (3), tendriamos que elegir el coetciente A, de manera que 140) =f) = A, sen x 3) En general, no esperariamos que la condicién (3) se satisfaga para una arbitraria pero ‘azonable eleccicn de f Por lo que nos vemos forzados a admitir que u(x) na es una solucién del problema dado, Nhora porel principio de supesposicion (feorenta 12.1.1) la funeién u(x.) 40 4, = MOOT (= Age wast) = DAgernere sen x as a ‘debe también, aunque formalmente, stisfecer la ecuacin (1) y las condiciones en (2). Sustituyendo 1 = Oen (14) se implica que ue, 0) = fox) = YA,sen a, Esa altima expresion se reconace como el desarrollo en un semiintervalo de fen una serie de senos. Si identficamos A, = b,,n = 1, 2,3... Se tiene de la ecuacion (3) de laseccisn 11.3 que L ‘Concluimos que una solucién del problema con valores en la frontera descrita en (1), Lone Ae [ir en"Zxdx. aasy (2) y G)esté dada por la serie infinita 25 [peeycon BZ rds )eW ev gen, ae) 23([ sen ade) sent (16) Enel caso especial en gue la emperatura incial es w,0)= 100, = y= camproche que le cosficcates (15) extn dado por S| y que (16) es - BOS | OU eine wa) = 2 §[ CU an USO DE COMPUTADORAS Puesto que u es una fincién de dos variables, la grt- fica de la solucién (17) es una superficie tridimensional. Podriamos uilizar la apicacién 3D-plot de un sistema algebraico computirizado pare aproximar esta superficie al azar ba _ifica de las suas parciales §(x, en una regicn rectangular definids por 0 = x = 1. 0 =1 T. Altemativamente, con ayuda dela aplicacién 2D-plo de un SAC pocemos trazar ta grifica dela solucin ut 1) en el intervalo en el ee x [0, 7}, para valores crecientes del tieanpo . Véase Ia figura 12.32a En la figura 123.2bse ha trazado le grifica de la solucién tux 1) ene imexvalo ene ee # (0, 6, para valores recientes dex (x = 0 eel exter iz- quiero y.x= 77/2 ese! punto medio de lx vaila de Iogitod £. ~ 1), Ambos canjuntos de sgrificas comprueban lo que es obvio en (17)-en particular, u(x, ) —r0 , cuando >,12.4 ECUACION DEONDA = 445, GBB G1eRCICIOS 12.3 seraremse terrence cm angi pa RS En los problemas 1 y 2 resuelva a ecuacién de calor (1) sujeta ‘las condiciones dadas, Suponga una varilla de longitud L. 1. w(0.1) = 0, ull, = 0 ae oya={h 0 <3S02 [OL << k 2. wi0, =0, wil. =0 tulx,0) ~ x(L — 2) Encuenire la temperatura u(x, ‘) en una varilla de longitud Lila temperatura inicial es f(x) en tods la varillay silos lextremos x =0 y x= Lestin aislados. 4, Resuelva el problema 3 si L=2y af O0, h una consume, Eneuent la tempe- ramura u(x, i i temperatura inicial es f(x) en toda Ia vanilla ylos extremos.x = Oy x= Lestin sislados. Véase la figura 12.33, < me ‘eae oF lp FIGURA 12.3.3 Pérdida de calorde la varilladel Hout 6. Resuelva el problema 5 silos extremos x = Oy x= Lse mantienen a temperatura cero. Problemas para analizar . La figura 12.326 presenta a grifiea de u(x, #) para 05156 pura r= 0.x = 4/I2.x = 2/6,x= n/dy x = 17/2 Deseriba'o dibuje las grificas de u(x, 1) en ol mismo intervalo de tiempo pero para ls valores fjos x= 3n/4,x—$n/6.x= M9/I2y x= m. 8. Encuentre fa solucién del problema con valores en la frontera dado en (1) a (3) cuando f(x) = 10 sen(Sm/L, Tarea para el laboratorio de computaclin 9. a) Resuelva la couacién de calor (1) sujeta a 0. =0, — u{100,)=0, 1>0 smo) ~ {8% 0=x550 49 Toso — x), 50< x= 100, b) Utilice le aplicacién 3D-plot de su SAC pare trzar Ja grafica de Ia suma parcial S,.x ) que consste en Jos primeros cinco términos distintos de cero de la solucién del inciso a) para = x = 100.0 < r= 200. Supongaque k= 1.6352, Experiments con diferentes perspectivastridimensionales de Ia superficie (ave la ‘opci6n ViewPoint en Mathematica). ECUACION DE ONDA 4 REPASO DE MATERIAL + Leanuevamente tas paginas 439 a 441 dela seccién 12.2, INTRODUCCION Ahora podemos rsalver el prcblema con valores en la froneca (11) gue se naliz6 onl seein 12.2 El deplazameno vertical u(x) dela cuca vbrateciade longi Z que ‘= muss en a fig 122.28 determin apart de ae te ett. Ft g0 w H0,0=0 whn=0 1>0 2 we 0= feo, A) = 400, O0, h una consume, Eneuent la tempe- ramura u(x, i i temperatura inicial es f(x) en toda Ia vanilla ylos extremos.x = Oy x= Lestin sislados. Véase la figura 12.33, < me ‘eae oF lp FIGURA 12.3.3 Pérdida de calorde la varilladel Hout 6. Resuelva el problema 5 silos extremos x = Oy x= Lse mantienen a temperatura cero. Problemas para analizar . La figura 12.326 presenta a grifiea de u(x, #) para 05156 pura r= 0.x = 4/I2.x = 2/6,x= n/dy x = 17/2 Deseriba'o dibuje las grificas de u(x, 1) en ol mismo intervalo de tiempo pero para ls valores fjos x= 3n/4,x—$n/6.x= M9/I2y x= m. 8. Encuentre fa solucién del problema con valores en la frontera dado en (1) a (3) cuando f(x) = 10 sen(Sm/L, Tarea para el laboratorio de computaclin 9. a) Resuelva la couacién de calor (1) sujeta a 0. =0, — u{100,)=0, 1>0 smo) ~ {8% 0=x550 49 Toso — x), 50< x= 100, b) Utilice le aplicacién 3D-plot de su SAC pare trzar Ja grafica de Ia suma parcial S,.x ) que consste en Jos primeros cinco términos distintos de cero de la solucién del inciso a) para = x = 100.0 < r= 200. Supongaque k= 1.6352, Experiments con diferentes perspectivastridimensionales de Ia superficie (ave la ‘opci6n ViewPoint en Mathematica). ECUACION DE ONDA 4 REPASO DE MATERIAL + Leanuevamente tas paginas 439 a 441 dela seccién 12.2, INTRODUCCION Ahora podemos rsalver el prcblema con valores en la froneca (11) gue se naliz6 onl seein 12.2 El deplazameno vertical u(x) dela cuca vbrateciade longi Z que ‘= muss en a fig 122.28 determin apart de ae te ett. Ft g0 w H0,0=0 whn=0 1>0 2 we 0= feo, A) = 400, O 0. Glo ia tia eleecion conduce 4 soluciones no tiviales. Correspondiendo a A cc> 0, la solucién general de (4) es X= yeas cer + e,8em ex. X(0) = 0 y X(L) = 0 indican que c, sen al = 0, Nuevamente la ultims Sean que at = re = n/t bw eigen y is coespencine tes elgentunciones de (6) som Ay= n'a /E? y Xs) ~ eysen FAM — 12 3s.0 [La solucién general de Ia ecuacién de segundo orden (5) es entonces re sen L a Reescribiendo.c/c,como A, ¢,¢,como B,, as soluciones que satisfacen tanio ha ecun- cfm de onda (1) como tas Condiciones de frontera (2) son Tit) = €, 008 12 nen ™, een” a o y sist) = S( Avene + a, sn Zs )oan ® Haciendo t = O en (8) y utilizando la condicion inicial w(x, 0) = f(a) se obvene wx,0) =f) = 3 Ase iB Puesto que la tiltima serie es un desarrollo en un semiintervalo de fen ura serie de Se tal ss Para determinar 8, devivamos la ecuacién (8) respecto a ty después hacemos = 0: au ar l= 00> S(a27) ett Pra esa itm serie que ese desarrollo en un semiintervalo de sen0s del velocidad inicalg en el intervlo, el cosfciemte total B.ju/L debe estar dado por la forma b, fn In eccicn (5) de la soci 11.3. es deci. nma_2 - nr att = 2 gen xa12.4 ECUACION DEONDA © 447 de lo que se obtiene 2 ft = 12, [ose cae 19) La solucién del problema con valores en la frontera (1) a (3) consisie en la serie (8) con coeficientes A, y B, definidos por (9) y (10), respectivamente. Observamos que cuando la cuerda se litera a partir de! reposo, entonces g(x) = 0 [para toda x en el itervalo [0, L, y por tanto, B, = 0. CUERDA PULSADA Un caso especial del problema con valores en Ia frotera ca (1) 4G) es ¢1 modelo de la cuerda pulsada, Podemos ver el movimicato dela cuerda al taza la grifica de la solucin o despluzauniento u(x, 1 para valores crectentes del ‘tempo ¢ y ulizar fa aplicacton de animacicn de un SAC. Bn la figura 12.4.1 se pre- sentan algunos marcos de un “video” generado de esta manera; en I fgura 12.4.1 a se presenta la form inicial de la cuerda, Se le pide que intente reproducir los resultados ue se presentan en Ia figura trazando una secuencia de las sumas parciles de (8). ‘Véanse los problemas 7 y 22 en tos ejercicios 12.4, Sa | — ——} ‘—} J —s ADt=10 ev 16 D198 FIGURA 12.4.1 Marcos de un “video” de un SAC. ONDAS ESTACIONARIAS Recuerde de la deduccidn de la ecuscién de onda uni- dimensional en asec 122 ge consti aq ecteta en a sein dl problema con aloe en fer ea eons (1) 29 eed dade por Vip nde pe a maa pride longi Tess miei de tesin ena coed Cando To sieterene grande, la cit vib pie mondo musa Ee ord es lela de cds aie, Laon 8) es um spe dels scucones pot lads odes etacnras dn normals Men =m + Hla + mba + fn vinta de et etacnes (6) y (7) ple eer cone na 8 wl) = 60s (EE +) sn cet = Cys ("+ 4) son an VATE: y 4, se define por sen 4, = A,/C, y cos b, = B,/C,. Para n= 1, 2,3,... as ondas estacionarias son esencialente las gréficas de sen(rex/Z), Con warp gue vara com cl impo daa por cysea("21 +o). Aternatvamen, vos de (1) gle a un alr fo de x cada ncn produce 4,5, representa un movimiento armonico simple con amplitud C.Jsenina:x/L)y fre- cuencia /, = na/22. En otras palabras, cada punto en una onda estacionaria vibra con ‘ns ampliud deren eo coa Ie mana even. Cuno» = I vn)448 * CAPITULO 12. PROBLEMAS CON VALORES EN LA FRONTERA EN COORDENADAS RECTANGULARES ©) Tercera onda estacionaria s¢ llama primera onda estacionaria, primer modo normal o modo fundamental de vibracién. En la figura 12.4.2 se muestran las primeras tres endas estacionarias 0 ‘modes normales. Ls grficas punteadasrepresentat ls ondas estacionarias en diferen- tes valotes dl tiempo. Los puntos en el intervalo (0, 1). para el cual sen(nr/L)x = 0, ‘corresponden & puntos en ana onds estasionarin donde no hay movimiento, Estos ppuntos se llaman nodes. Como ejemplo, on las figuras 124.% y 124.2c vemos {Que la sogunda onda estacionaria tiene un nodo ex 1/2 y la tereer onda estacionaria tiene dos nodes en Z/3 2L/3..En general, el n-ésimo moxlo normal de vibracion tiene n~ I nods. La frecuencia del primer modo normal se lama frecuencia fundamental o primer arménico ‘er4 directamente relacionado con ta altura del sonido que produce un instrumento de ‘cverda, Es evidente que entre mayor set latensién en la cuerda, més alto seré.cl sonido {que produce. Las fiecuencias /, de los modos normales, que son méltiplos enteros de Ja frecuencia fundamental, se aman sobretonos. El segundo arménico es el primer FIGURA 12.4.2 Prmeracies ondas _S0O"etOnO y as! sucesivamente, PBL EVERCICIOS 1.2.4 samp ron esa nina cone eh RE Fn los problemas | a 8 resuelva la ecuacién de onda (1) sujeta ‘las condiciones dads. 1 WO.) =0, wi =0 L aw ue.0) = px). 2. WO.) =0, win =0 br, 0) = 0, 3. 00.) = 0, u(x, 0), dado en la figura 12.43, Ts FIGURA 12.4.3 Desplazamiento incil en el pblems 3. A Wi0,) 0, ulm =O aw Suis 0) = fate — 9, ar 3 u(x, 0) = 0, ew 64,0) = 001 sen Bare, ee a ho mL.) =0 te gard Lo =0 Gila asl” oe aden | =0 indmx “tle Este prablema podria describir el desplazamiento longi- sudinal u(z;¢) de una varillaeléstica vibratoria. Las condi cones de Frontera cn x~ Oy x= L se llaman condiciones de extrem ibe. Yeas ls figura 12.44 oe ra * 3 a FIGURA 12.4.4 Yast clisin viride probtema =0 9 Una cuerda se estira y se ancla al eje-+en.x = Oy enx= rm parat > 0, Silas vibraciones transversales se presentan en un medio con resistencia al movimiento proparcional ala velocidad instantdnea, entonces la ecuacidn de onda toma fa forma O0.Encventre el desplazamiento u(x,t) sila cuerda parte del ‘eposo desde un desplazamiento inicial f(x), 10, Muestre que una soluci6a del problems eon valores en la Frontera ue +u O0 x O 0, em 40, = 0, wil.) =0 12.4 ECUACION DEONDA + 449 Positivas de la eouacign cosh x cos x = 1 ) Demvestre en forms grifica que fa ccuacién del in- viso a) tiene un ndimero infinito de rafees, ©) Uilice une ealealadora 0 un SAC para encontrar aproximaciones a Tos primeros cuatro cigenvalores. Usilice cuatro decimales. 13, Considere el problema con valores on la Srontera dado en as ecuaciones (1), (2) y (3) de este seeciGn. Si gix) = 0 para 0 ed x 1>0 ay au He Fi), = ae Este problem se puede resolver sin separar las variables a) Demuestre que la ecuacién de onda se puede expresar ena forma #u/amag = 0 haciendo las sustituciones f=xtatyn=x— at bb) Integre la esuscién diferencial parcial del inci ah primero respecto a my despues respecto é, para de- mostrar que u(x, ) = Fox + at) > Ges ~ a) donde Fy Gson funciones arbitrarias derivables dos veces, ‘8 una solucio deta ecuacion de onda. Utilice esta solucion y las condiciones iniciales dadas para de~ uc, 0) mostrar gue 1 - Foy = 5/0) + ah aGdds +e Sat Lf y GU) = 5/0) — ZL] gtoras onde s, es arbitraria y ees una constante de integra: én. ©), Utlice fos resultados ) parademostrar que ; oe nla t) = 5st + an) + fee ond [7 wls)ds. (13) Stein i and a ea gh) 0,0: nes weo-tineraoriecam sess Esta ditima solucién se puede interpretar como una superposicien de dos ondas viajeras, una movien- ‘dose hacia Ia derecha (esto es, jor — an) y Ia otra450 * movigndose hacia la izqierda ‘ondas viajan con rapidez a y tienen In misma forma bhésica que la del desplazamiento inicial f(x), La for- ima de ux) dado en (13) se Hans solucion de d’AL- ‘embert, En los problemas 15 a 18 utilice la soluci¢n de d'Alembert (13) para resolver el problema con valores iniciales del pro- bblerna 14 sujeto a las condiciones iniciales dadas. 18. fo) sis) 16. fix) =senx, glx) = co5.x 1, foxy = 0, g(8) = sen2x 18 fo ga) =0 ‘Tarea para el laboratorio de computacion 19, a) Utilice un SAC para tazar la grfica dela solucién de dAlembert del problema I8 en elintervalo [5,5] en, los tiempos 1 = 0,¢= 1, =2,1= 3 1=4.Coloque todas las gréficas en un sistema coondenado, Suponga. quea=1 b)_Utilice Ia aplicacién 31D-plot de su SAC para trazar Is grifica de la solucién ded’ Alembert u(x,t) en el pro- blema [8 pars ~ 5x =5,0= = 4. Experimente ‘con distintas perspectivas tridimeasionsles de esta superficie, Elija la perspectiva de la superficie en 1a que usted consider: que las grificas del inciso a) son Inds evidentes. 20, Un modelo para una cuerda infinitamente larga se sujeta de los tres puntes (—1, 0), (1, 0) ¥ (0, 1) y después se Libera simulténeamente de esos tres puntos al tiempo que 1 = 0 extd dado por (12) com |x} [el Bn sinnz gives at 2 pr 2p 4 one Bazil esinnade +2 [” (x—z)sinneds = 5 sin"S 0, n even “ { sfa(-1492, n= 2-1, b= 1,2,3, ‘Thus with n= 2k — 2, ue) = 2 OF cos YP Lesion = t eG (Oka A tsingok — 1) a Separating variables in the partial differential equation gives so that, xe) 6x =0 T'+2MT=0 and X = cycosh Me-+ cpsinh kz + ca0cos Ax + cg sin At T = cscosaX*t + eosin art ‘The boundary conditions translate into X(0) = X(L) = 0 and X"(0) = X"(L) = 0. From (0) = X"(0) = 0 we find cy = 0. From X(D casinb AL + casin AL = 0 X"(L) = Mey sinh AL — Meg sin ML = 0 wwe see by subtraction that cy sin AL = 0. This equation yields the eigenvalues A= na for n 2,3, .... The corresponding eigenfunctions are X= eqsin T ‘Thus (y= ( nn wr?) ae ast) = ¥ (dncoe peat + Basin pat) an 4 is TE L 56112, Exercises 12.4 From ulz,0) = f@) = 5 Ansin Fe 4 we obtain E nt zh selina fede From 22 22, rer? rena Ya? nm sin pat + By Ty cos “pat) sin aad ou nga one Fe gm) = be Basin a Lon a0= 5 we obtain ninta _ 2 ph nn nae = Tf, se)sin ede and Ba = BAe [* ote)sin de, (a) Using X = cy cosh Ae + cpsink kz + cg cosAz + cy sin Ae and X(0) = 0, X’(0) = 0 we find, in turn, ¢3 = ~c, and cy = ~cz. The conditions X(L) = 0 and X/(L) = 0 then yield the system of equations for cy and cz: in AL) = ex(cosh AE — cos AL) + en(sinh XL — eq(Asinh AL + Asin AL) + oy(Acosh AL — Acos ML) = In order that this system have nontrivial solutions the determinant of the coefficients must be eto: A(cosh AL ~ cos AL)? — A(sinh? AL ~ sin? AL) = 0. 2 = Dis not an eigenvalue since this leads to X cosh ALcos AE = 1 or cosh «cosa = 1, where x = AL: (b) The equation cosh cos = 1 is the same as cost = sechx. The figure indicates that the equation has an infinite number of roots. 0, ‘Thus the last equation simplifies to 562Exercises 12.4 4.7300, 2p = 7.8582, 13 = 10.9956, (c) Using @ CAS we find the first four positive roots to be « a{L = 4.7300/L, dq = 22/L = and 24 = 14.1972, Thus the first four eigenvalues are Ay 7,8532/L, Ag = g/L = 10.9956/L, and Ay = 14.1372/C. 13, From (6) in the text we have ule.t) = 5 (An cose + By sin) sin ai Since ue(x,0) = 9(z) = 0 we have B, = 0 and a nm, = L AncosPtsin Ee = Eales 7B) + (Z=-T)] c= 3 ae [sin Feat) + sin ee ~a)] oi From ulz,0) = f(z) = Fo Ansin fe wwe identify Fle + ot) = So Ansin (2+ af) si and flz-at)= Y Asin Bee at), ah so that u(z,t) = 506 (2+ at) + f(x ~ at] 14. (a) We note that & = ne =1, oe Ee =a. Then au _ Ou aE Bs ~ OE or ae sug t un and SimilarlyExercises 12.4 ‘Thus (b) Integrating we obtain 4 =O Integrating this result with respect to € we obtain Bu [Hea [OK u=F(@)+G(n. Since ¢ = 2+ at and n = 2 at, we then have u= F(E) + G(n) = F(z + at) + G(x — at). Next, we have u(a,t) = Fle +at) +G(a—at) u(z,0) = Fie) +G(2) = u(x, 0) = oF" (2) ~ 0G) = (2) Integrating the last equation with respect to 2 gives F(z) -G(z) = 5 Lotsa +e Substituting G(2) = f(z) — F(z) we obtain Fla) = 5 102) + 52 [ ols)ds+o where c= ¢/2. Thus ieee Gla) = 5 /1e)~ 5 [ als) ds—e (c) From the expressions for F and G, F(e+at) = pietanys x g(s)ds+e Ge at) = $ jee at) 9(s) ds ~e. 564Exercises 12,4 Thus, - [Tae 2 - at) + Flite + at) + £0 = u(z,t) = P(e +at) + Gla —at) ols) ds = fe, ols) ds. 1 He weave ona — [ 1 15, u(e,2) = Flaine + at + sin(a ~ at + 2 ds 1 1 peta = p[sinzcosat + cossinat + sinzcosat ~ coszsinat] + >- f wie = Sinz cosat +t 1 1 pete 16. u(x,t) = deine + at) + sin(x ~at)] +2 [cos (at) = Gsin(e + at) +sin(e— ot) +f" cossds al = sn zoosat + J fsin( + at) ~sin(z ~at}] = sinzcosat + > coszsinat 1 pote 1 [cos(2x 4 2at) + cos(2x — 2at) 1. ue) =04+ > ds = 2 |—Sas(2e + Det) + cos(2e — Pat) tet) wo gf ensas= | ; a i 0822 608 2a + sin 2rsin at + c062r cos at + sin 2esin at) = 3 sin 2zsin Dat . 1 18. J vo = 2 2 “2 0 a 4 19. (a) ° x 4 ‘ (b) Since g(2) = 0, é’Alembert's solution with a = 1 is uet) = BUH + se 0) 565Exercises 12.4 Sample plots are shown below. y 4 J ceod 0.6 ae 2a Osan = 0 4 y ceoe y 1 3 a a rr a y 4 & es SD TS ST Te (c) The single peaked wave disolves into two peaks moving outward. 20, (a) With a =1, d’Alembert's solution is 1 pete 1, [sj Sn t) (s)ds where (s) ston [a {0 jaan 566