CLASE #11: La ecuaci on de ondas en una dimensi on; soluci on por el m etodo de separaci on de variables (m etodo de Bernoulli).

Introducci on En esta clase introducimos el m etodo de separaci on de variables para resolver la ecuaci on de ondas en una dimensi on. La soluci on que encontraremos es conocida como soluci on de Bernoulli. Supongamos una cuerda tensa de largo L, con sus extremos jos, y consideremos vibraciones de peque na amplitud en torno a la posici on de equilibrio. Llamemos u(x, t) al desplazamiento transversal de la cuerda, en el punto 0 < x < L, en el instante de tiempo t. La ecuaci on que determina las peque nas vibraciones transversales de la cuerda es la ecuaci on de ondas: 1 utt = uxx (1) c2 Aqu , el par ametro c (el cual veremos m as adelante que corresponde a la velocidad de propagaci on de las perturbaciones de la cuerda) depende de la densidad lineal de la cuerda , y de la tensi on a la que est a sometida la cuerda. Veremos en el ap endice que La derivaci on de esta ecuaci on a partir de la segunda Ley de Newton, para un elemento de cuerda de largo dx es hecha en el ap endice. En realidad (1) es una ecuaci on de movimiento, en que el lado izquierdo es proporcional a la aceleraci on transversal de la cuerda. Para determinar el movimiento de la cuerda, necesitamos conocer adem as el estado inicial (posici on inicial y velocidad inicial) de cada elemento de la cuerda, i.e., necesitamos especicar, c= (2) u(x, 0) = f (x) y ut (x, 0) = g (x) en que f (x) y g (x) son funciones dadas, denidas en el intervalo [0, L]. Adem as de las condiciones iniciales debemos especicar las condiciones de borde. En este primer ejemplo usaremos condiciones de borde jo, i.e., (3) u(0, t) = 0 y u(L, t) = 0, para todo t 0. Como un primer paso para encontrar la soluci on de (1), (2) y (3), estudiaremos una clase especial de soluciones que llamaremos los modos normales de vibraci on de la cuerda. Para ello, veamos si es posible encontrar soluciones a (1) de la forma (4) u(x, t) = (x)h(t), i.e., supongamos que podemos separar la dependencia de u(x, t) en las dos variables independientes. Si reemplazamos esta expresi on en (4), obtenemos, 1 (5) h (t)(x) = (x)h(t), c2 en que hemos usado la notaci on standard h (t) = dh/dt, y (x) = d/dx, etc. Dividiendo (5) por h(t)(x), obtenemos, (6) (x) 1 h (t) = = , 2 c h(t) (x)

en que hemos llamado a estos cuocientes. N otese que el lado izquierdo de (6) s olo depende del tiempo (i.e., de t), en tanto que el lado derecho s olo depende de x. Como x y t son variables independientes, esto
1

s olo es posible si es una constante (independiente de x y de t). Usualmente esta constante se conoce como constante de separaci on. El signo menos que hemos introducido en la u ltima igualdad en (6) es solo por conveniencia, como veremos a continuaci on. De (6) vemos que tanto la funci on h(t) como la funci on (x) satisfacen ecuaciones diferenciales ordinarias (en este caso ecuaciones de segundo orden). La ecuaci on que satisface (x) est a dada por (7) d2 (x) = (x). dx2

Es conveniente recordar que queremos satisfacer las condiciones de borde (3). En particular, para las soluciones del tipo (4) esto signica que queremos imponer, h(t)(0) = 0, y h(t)(L) = 0,

para todo t. Como en general h(t) = 0 (pues e lo contrario la soluci on (4) ser a trivial), esto signica que, necesariamente, (0) = (L) = 0. Entonces, la funci on (x) debe satisfacer el problema de condiciones de contorno dado por (7) y las condiciones de borde (0) = (L) = 0. La soluci on general de la ecuaci on diferencial ordinaria (7) es, (8) (x) = A cos( x) + B sen( x). Imponiendo la condici on de borde (0) = on (L) = 0 0, encontramos A = 0. Por otra parte, la condici implica sen( L) = 0, de modo que L = n , n = 1, 2, . . . . Entonces la ecuaci on (7), con las condiciones de borde (0) = (L) = 0 admite soluciones no triviales (i.e., no identicamente nulas) s y solo s , n 2 , L para n = 1, 2, . . . . Es conveniente entender este problema de contrno como un problema de valores propios, en que los n aqu encontrados son los valores propios del operador diferencial L d2 /dx2 con condiciones de borde nulas en x = 0 y x = L. Las respectivas funciones propias est an dadas por n (10) n (x) = sen L (9) n = Si introducimos el producto interno usual para funciones en el intervalo [0, L],
L

(11)

(f, g ) =
0

f (x)g (x) dx

entonces el operador L es formalmente autoadjunto en el conjunto de funciones C 2 [0, L] que se anulan en 0 y en L, i.e., (f, Lg ) = (Lf, g ), (que se puede comprobar f acilmente integrando dos veces por partes. De hecho L es positivo denido, en el sentido que (f, {) > 0 para funciones en el espacio mencionado. De estas dos propiedades se sigue que los valores propios n son reales positivos, y que las respectivas funciones propias (i.e., los n (x)) son ortogonales entre s , i.e., (12) (n , m ) = 0,

para n = m. Conviene normalizar estas autofunciones con respecto al producto interno introducido. El n , n ) = 1) est lector puede comprobar que las funciones propias debidamente normalizadas (i.e., ( an dadas por (13) n (x) = 2 nx sen . L L

Una vez resuelto el problema para (x) procedemos a resolver la ecuaci on (6) para h(t). Llamemos ltima igualdad). Entonces podemos n = c n = (n c)/L (en que hemos usado (9) para obtener la u escribir (6) como, (14) cuya soluci on general est a dada por (15) hn (t) = En cos n t + Fn sen n t. Hemos incluido el r otulo n (tanto en la funci on h como en las constantes E y F ) para hacer hincapi e en su dependencia en n a trav es de la frecuencia angular n = (n c)/L. N otese que hn (t) es una funci on peri odica en el tiempo, de per odo 2 2L Tn = = . n nc Como es habitual, llamemos n a la frecuencia de estas soluciones (i.e., al inverso del per odo). Entonces, c = n 1 . (16) n = n 2L Aqu , 1 = c/(2L) es la frecuencia fundamental, i.e., la frecuencia m as baja, la que est a asociada al modo normal 1 (x) = sen(x/L). El hecho que la frecuencia asociada al modo normal en esimo es un m ultiplo entero de la frecuencia fundamental (i.e., n = n1 ) es la base de la armon a. N otese as mismo que el modo normal 1 (x) solo se anula en los extremos (i.e., es positivo en el intervalo abierto (0, L). Para el primer arm onico (i.e., n = 2), el correspondiente modo normal 2x 2 (x) = sen , L adem as de anularse en los bordes (para satisfacer las condiciones de contorno), seanula en x = L/2. La correspondiente soluci on de la ecuaci on de ondas, i.e., u2 (x, t) = h2 (t)2 (x), se anula en x = L/2 para todo instante de tiempo (t 0). Se dice que 2 (x) (y por lo tanto u2 (x, t) tiene un nodo en x = L/2. De la misma manera uno puede comprobar que n (x) tiene precisamente (n 1) nodos en el intervalo abierto (0, L). El problema de valores iniciales: Habiendo encontrado las soluciones un (x, t) = hn (t)n (x), ahora podemos resolver el problema de las condiciones iniciales. La ecuaci on de ondas (i.e., (1) es una ecuaci on lineal, i.e., si ua (x, t) y ub (x, t) la satisfacen, entonces ua (x, t) + ub (x, t) tambi en la satisface, para cualquier valor de las constantes , R. Ya hemos encontrado un conjunto discreto de soluciones, i.e., los un (x, t), para n = 1, 2,. Por la linealidad de la ecuaci on de ondas, la soluci on m as general que podemos construir en base a estas soluciones un (i.e., en base a los modos normales de vibraci on) est a dada por u(x, t) = n=1 un (x, t) la cual, usando als ecuaciones (13) y (15) podemos escribir como
2 h + n h = 0,

(17)

u(x, t) =

n (x) = (En cos n t + Fn sen n t)

n=1

(En cos n t + Fn sen n t)

n=1

2 nx sen . L L

n (x) forma una base para las funciones en C 2 ([0, L] que se anulan en x = 0 Veremos m as abajo que los y x = L. Para nalizar nuestro problema de valores iniciales, tenemos que encontrar los coecientes En y Fn en (17) de modo que la correspondiente funci on u(x, t) satisfaga las condiciones iniciales, i.e., u(x, 0) = f (x), y ut (x, 0) = g (x), para todo x [0, L]. A partir de (17) podemos calcular,

(18)

u(x, 0) =
n=1

n (x), En

y,

(19)

ut (x, 0) =
n=1

n (x). n Fn

n son ortonormales, tomando el producto interno de (18) con m , obtenemos Usando el hecho que los que
L L

(20)

Em =
0

m (x) dx = u(x, 0)
0

m (x) dx f (x)

y, haciendo lo propio con la ecuaci on (19) encontramos,

L L 1 m (x) dx = 1 m (x) dx. ut (x, 0) g ( x) m 0 m 0 De este modo, la funci on u(x, t) dada por (17) en que los coecientes En y Fn est an dados por (20) y (21) respectivamente satisface la ecuaci on de ondas, las condiciones de borde, y las condiciones iniciales. Esta soluci on se conoce como la soluci on de Bernoulli. En la pr oxima clase encontraremos otra forma de resolver la ecuaci on de ondas en una dimensi on, que se conoce como soluci on de DAlambert.

(21)

Fm =