Lew
apitulo
La ecuacion de la cuerda vibrante
Fn este capitulo estudiarentos la ecuacisin de ondas unidimensional que, como ya
vimnas, constituye el ejemplo por exeelencia de eettaeisn hiperbotica, En eonereto, nos,
ocups
ngs tanto del caso homagénew
tus sts Os (ty
come del problema no homogéneo
thn PD 2)
‘Comp vinws en el Capitulo 1, fa ecuacisn de ondas 6s un modelo simplificado con
cl que se deseribe la vibracivin de una cuerda soonetiga a una tensidin
1.1. El problema de Cauchy homogéneo,
Comenzaremos con el estudio del caso homogéneo, es decir, no existen fuerzas
externas que aetiien sobre la euerda despucs del instante inicial
on — 04
ot),
{8 Ba
En principio supondremos que los datos de la ecuacisn anterior son suficieatemente
Lares. Mas adelante, cuando enunciemos el correspondiente resultado, se estable
ceri la regularidad necesavia de uns forma explicita
Ejemplos 1.1, Una soluciin trivial de ka ecuscidn de ondas es war) — ear + BEF 8,
donde a, B, 8 = B. Otras soluciones pueden ser
nine) YEP Le. seni ter).
Observemas que la ecuacidn en derivadas parciales de (1.3) puede fuctorizarse de
la forma
My Ce =O. aaCapitulo 1. La ecuacién de la cuerda vibrante
Tomando ahora el cambio de variables
darter x
s—Hx-cr), t
J couacidn (1,3) se convierte en
te 0. (1.6)
Las soluciones de la ccuacidn ante
jor se obtienen integrando, Asi
in ®s),
por lo que,
is} — | bisjds |G). part un cierio sy
Hemos encontrado que cualquier solucidin de la ecuacivin de ondas se puede expresar
una vez destecho el cambio de variables ant
Wan) frber} | girmer\. an
donde f. gon funciones arbitrarias de clase C°. Reciprocamente, se puede comprobar
de formal
smental que cualquier expresisin del tipo (1.7) eon £44 funciones arbitrarias
de clase C? es una solucién de la ecuacidin de ondas homogénea.
1a formula (1,7) anterior, nos proporciona una interesante interpretavisn fisiea
de las soluciones de kt ccuucidn de ondas homogénea, Asi, ted solucién de dich
«ecuacidn resulta ser la sunnt « superposicién de dos ondas que se desplavan, respect:
vwamente, a ka izquicrda y a la derectst, Adein, la velocidad de desplavamniemto es la
conantec> 0,
Observacién 1.2. Por simplicidad, de ahora en adelante consideramose— 1. En ease
contrario, haciendo el cambio de variables ~ ¢8, se pasa de le ecustein ty Cray at lt
cecuacidn de ondas normatlizada tess tye
Con estat informe!
mn, es muy féfcil dur una solucidn al problema de Cauchy en E
Teorema 1.1. Consideremos ef problema:
My — tor 0.
iad) ax NER. (8)
ix) Bix}. VER
RB) yBECkR) Kn
la de D'Alesnber
donde 0€ «a solucin
dada por ta fru
onces (1.8) Gene wna
juve viens
fair if) sav] [ Bisjds. aay
Demoswracién. Si tees una solucisn de la ecuaci6n de ondas unidimensional, se pon
rd de ke forma w(t) — fe) + gar=2), Bxaluando las condiciones iniciales, nos
queda
ot) 4.0) —f) F200). Bo — mano} — fo 0).El problema de Cauchy homogéneo
ca BUX} una primitive de, entonces se tiene el sistema:
ail) flv} | gin), Bla} — viet} 1 Cs
donde Ces una cierta constante, Despejande las Hunciones fy
fx) —C x) Ba) 1
fi) SLARAIRE yy) GMa) 1
nos qued
Por tanto, la solueitin w debe eseribirse come
OWED BOLD
ot
Wwe
Recordando que Bes una primitiva de, se obtiene fa féimmula de D’ Mlembert
Derivando directamente se puede comprobar que la funcivin definida mediante
la frmmuta de D’Alembert es solucién de C18}, La unicidad se sigue del razonamivnto
anterior
o
Una propiedad importante de la ecuacidn de ondas es ka reversibilidad, Eto quiere
decir que SiG.) es una solucién de la ecuaciGn de ondas homagénea, también lo es
la funcivin 14.1) (F< 0). Ademds, La soluciiin dada por La Formula (1.9) es también
valida parar <0,
De la frmula de D*Alembert se deduce que n(x.7) depende de lt posici6n inicial
Gren Tos puntos. | ry =F, asf como de la velocidad inicial de todos los puntos del
intervalo Ly. +4), Dams pues las siguientes detiniciones
Definiciones 1.2. Denominanos dominio de dependencia del punto (4F) al conjunto
1 Been los que los valores de las condiciones iniciales 0. B influyen en el valor de
1. En vista de La tirmuls de D*Alembert, el dominio de dependeneia de (1:1) es el
Hervalo dado por [y—tx tt.
Del mismo modo, entenderemos por dominio de influencia de un punto x= Pal
conjunio (01) € Bx Q. fos} 2.2E fy ey fal} esto es. los puntos que tienen ax
incluido en su dominio de dependencia, De alguna forma indica ke propagacidn de
uns onda perturhada puntualnente en (x40) La fronterst del dominio de influencia esd
formada por kus dos rectas caracteristicas que parten de dicho punto.
Figura 1.1:Bl dominio de dapenlenct del punto). ye donnie de inueneia dende
4 Capitulo 1. La ecuaci
ja cuerda vibrante
1.2. El problema de Cauchy no homogénco
Pasemoy ahora a estudiar et problema de Cauchy no homo,
couacigin de ondas (1.1), es decir,
Eneo asociade & la
Uy THe F1). (0 6 Bx (0, |)
ia} a), VEE. (tay
WWix.0} Pix}, VER,
donde, en principio, F € CR x (0, }90)}, 2B = CLR). Fisicamente corresponde al
caso encel que
sten fuerzas externas actuando sobre la cuerdat vibrante
Para resolverlo bastard, una ver conocid La solucién del problema hom
(1.8), tomar ke correspondiente al problema (1.10) con @=0, B =O y sumar amas
soluciones. Por esta razsin nos yaunos a-centrar en el problem
testes FOB). FD SE X(O, 100
u0) 0, Me, chy
WAN) 0, VER,
Para resolver esta ecuacisin se utilizar el Hamado principio de Duhamel
er nuestra solucisa integrand una funnilia de soluciones para con
es, de nuevo, obter
venienies problemas homogéneos. En concreto, filo s > 0, definimos ui%.#38) cone
la solucidn de
rylastis) aur Qaatis) 0, (wt) EBX (500) } ap
Wx.88) 0, HOS) Fs). YER
Para ello es necesariv que F(x.) sea derivable en.x, De forma explicita, se tiene
| pit
Wes) 3/,,f ca)
A continuacién definimos
WE ulxespds. aby
‘Teorema 1. {0s 120}} ¥ supongamos que:
Oe,
SF (eth evinte yes continua
oye"
Envonces el problema (.Myadinite una sinica solucisn 1 que viene dada por la
for
IN
Demoseracicn
homogéneo, Veantos que eficctivamente la funcidin propuesta es solucisn, Fs claro que
nix) 0,8 BY,
Calcukamos ahora las derivadas
La unicidad de solucin es consecuencia de La unicidad para el ease,
wird uae | [ uceesids— [| woxesids1.2. El problema de Cauchy no homogéneo
de donde se deduce que (0) — 0, Por otto lado, de
nulo respecto ar ka expres
anterior, se obliene
1) | [uw Gansyds FQ) |
teatstes} ds
tld) — tl
( [nee Syd) — Ft) st).
e
Fan 1S
es decir, ires solucidin de (1.11).
o
‘Observemos que la soluciiins#.X.7) dada por el Teoremat 1.3 se eseribe de ka forma
Lp pe
Wi) 5 Fosydeds— f Fosidyds
ah hg yh I,
donde D es el triéngulo caracteristieo, es decit, el
(01 10}, G6) (v6use figura 1.1, pagina 3), Fst formula nos permite dar una nueva
inlerpretacicn del Jominio de dependeneia: kts fuereas externas que aetian sobre dicho
dominio son las Gnicas que influ
igulo con vérlives (X= 1.0).
cen el valor de nts}Capitulo
Método de separacién de variables
En este capftulo introducimos el méiode de separacidin de variables
de ecuaciones en derivadas parciales, Este método motiva el estudio de las Tamadas
series de Fourier
Fn general, si tenemos una ecuaciin en derivadas parciales, el método de sepa-
racién de variablesconsiste en buscar soluciones de la formar
nel estudio
HX ain) — Fil
donde cada funciGn fies una funcidn real de variable n
un sist
De esta forma, nos queda
nat de ecuaciones diferenciales ordinarias. Fn muchas vcasinnes nas quedard
jones oinarias in-
tun sistema desacoplado, es decir, un sistema formado por mt ee
dependientes,
lares. Ahora hie
haciendo sumas tinitas. obfendremos muchas nuis, Bajo ciertas hipsitesis, seremos ca
De esa forma, sélo tendremos unas cuantas Soluciones partic
paces de hacer incluso sunas infinitas, y de obtener una expresivin bastante general
para la solucidn de nuestro problema
1, Introduccién histérica, Ecuacién de la cuerda vibrante
's de Fourier surgieron histricamente con D' Alemberten 1747, D’ Alembert
estaba estudiando las oscilaciones de una cuerda vibrante con extremos fijos. 4 par
tir de la discusidin que hicimos en el Capitulo f, sahemos que dicho problema viene
modelado por la ecuacisn
WAG Mle) 1 XEON > 0
ix) flr re Ol)
i.) 200) re!)
WO) ube) 0 0
any
donde fix} es la posividn inicial de kt cuerda, (2) es su velocidad inicial, y 7 su
longitud.
Elmeétodo de separa
tulo, consiste en buscar Soluciones particulares de una ecuacisin en derivadas parciales
ela orn
Gn de variables, que estudiarems con detalle en este capt
wat) XUSTEE)ulo 4. Método de separacidn de variables
donde X.T son funciones C* que hay que encontrar, La idea del método es clara
transformar una ecuacién en derivadas parciales en dos ecustciones ordinariay inde
pendientes, De esta forma, la ecuacivin y= tty, Ose escribe come
XO) XT) 0 2
Obviamente, 1 Qs una solucién trivial de la ecuacivin de DT Alembertiay tise 0.
Busquetos por tanto soluciones no wiviales, es decir, supongams que existen Xp
(O04 > 0. tales que i.touto) Xan) Uo) £0. Sustiw
Tay) X Xo)
7
nlo ent (4.2), tenemos ue
here
Si ahora evaluamos ke ecuseisn (4.2) en (40) ¥ Gio.2}, respectivamente, ablenemtas ef
sistemia de ectiaeiones ordinarias
XM) AX 0 ve)
} 43)
TO) ATU) 0 10 (4
Por otro lado, las condiciones de contorna inmplican que
0 WG.) — XOVTEA) = X{O} 0: 0 ndety) XP) > XL
Preiendemos a continuacidn resolver (4.3) bajo las anteriores condiciones de con
torn;
Proposiciin 4.1. Sea KR, ¥X sna so
OX) XC) 0, Entonces existen €2
tal que)
aw
Xix} — asent
Demostracién, Las soluciones generales de la ecuacidn diferencial ordinatia X"&x} 4
IN(x) (son bien conocicas, y forman un espacio vectorial de dimensisn 2, Veamos
su expresin, y su compatibilidad con las condiciones de contorne,
Caso 1:4< 0 La funcién X se escribe de lat formes
Xin) ye’ pone
donde 4), 02. son constantes reales. A partir de Tas condiciones de contorno de X, se
deduce que 01, et verifican
a « 0
Mos yew —
ayes
Pero ese sistem tiene como dinica solucidn 64; — a
tinica solucidn de X es la trivial.
Caso 2:4 — 0 Las soluciones de la ecwacivin X" Gx} — 0 son de ka forma XCc)
oy | 62x, 0.02 B. Imponiendo, de nuevo, kas condiciones de contorno de fa funei6n
YX, Hegamtos al sistem lineal
a 0
a + ol ~ 04.1, Ecuacién de la cuerda vibrante
que, de nuevo, tiene como tinica solucitn la trivial
Caso 3:4 >(En este timo caso, se ten:
X(x} cncos VAX) | opsen( v7}
De igual forma que en los casos anteriores, imponemos Las condiciones de contorno,
sobre X y obtenemos:
oy 0
a cost vA ansent VAL 0
Asf pues, ey ~O yep sen(vAd) 0. Len esta tiltima ecuacidn hay dos posibilidades: 0
bien — Oy. de nuevo, abtenemos tinicamente la soluci6n trivial) o biensen yA
0, Por tanto, Silo podrin existir soluciones no triviales de (4.3) si
sen vid) 0-29
En tal caso. X(X) — Osent
o
Observacién 4.1. -\ tales valores 2, se les denomina autovalores o valores propios
del problema X“(x} - AXGx) 0, NEO) XG) GA las funciones solucidn se les.
denomina, en general, autofunciones o funciones propias.
jdt yes
Observemos que sik — AB, re N, ka funcisn T viene dada por
Te Broos
| Brsent2)). Br. eR
Resumiendo, mediante ef metodo de separacidn de variables hemos abtenide una
solucisin de ka eeuatcién de ondas de ka formes
zy
| bsent Sr)
nF}
wf ame
nixed — sent2x) (aco)
rk 7
donde 4, b son constantes v1 2. A este tipo de funciones se les Hama armiénicos
simples. EL caso — 1 se denonina aeménico principal: en general, La cantidad 4 se
denomina frecuencia. La palabra arninico viene de ke mndsiear de hecho, el sonido
emitido por la cuerds depende de la vibracién de la misina, es decir, de fa funeisn
Wat)
‘Obvianente, si hacenios una combinacidn lineal finita de funciones de esa forma
cel resultado sera también una salucidin de
uuaciGn de ondas; asf pues,
un
)
ibysent0))
° mf
rae) Ysera |
‘
Obviamente, [a funcién 1x40) es una solucidn de (4.2) sélo para datos iniciales muy
coneretos, es decir, cuando fix} y glx} se
seriben cone
x
se 1
sx Dy —sen—x)
9. ao Pattenin de variables
lo 4. Método de separa
Ls idea ahoraes pasar al limite con’ jos, Fseribamos, de manera formal, dieha
sum
m
Wx cosy | basen a)
In tal caso, os datos iniciales deben poder escribisse eon,
s In
FO} Y aysent™
i ;
s 3)
eed
a) Yb. sen
Lope
se tipo de expresiones se concen como series de Fourier, Tal expresisn fue
propuesta por printera ver por Euler en 1748, y més tarde por Daniele Bernouilli y
nge. Adennis, Euler dio una formula para los coeticientes dy:
2 a
2 f peaysen ry i)
a7 f faisen Pride 46
La igualdad (4.5) suscits una gran controversia em La contunidad matemstica de la
época: implicaha que cualquier funcisn poxifa escrihirse como una serie trigonon
ea, y que quedaha determina por una sucesion de coeficiemtes a,
1.a contribucidn de Fourier comienza en 1807. donde, estudiando la ecuacisn del
de nuevo i li expresisin (4.5) para cl dato inicial, Fue Fourier quien por
calor
primera ver realiz6 un intento por demostrar de forma rigurosa la igualdud (4.5) para
funciones f continuas y derivables a trozos. La demostracién definitiva la llevé a cabo
Dirichlet en 1829.
iW
puede hac
nie teorenia viene a decir que. ajo ciertas hipstesis, el pascal Himite
se de Forma riguros
Teorema 4.2. Supongamoy que fC [0.1], 2