Lmite inicial-problemas de valores

Consideremos el problema de encontrar una solucin de la ecuacin de calor

homognea.

(4,1)
Que satisface la condicin inicial

(4,2)
Y las condiciones de contorno

(4,3)
Se resolvern los problemas mediante el mtodo de separacin de variables que se
presentan en la Seccin 9 del Captulo 3. En consecuencia, buscamos soluciones
particulares de (4.1) en la forma

(4,4)
Que satisfacer las condiciones de contorno (4.3). Sustituyendo (4.4) en (4.1) y la
separacin de las variables, obtenemos

Esto lleva a las dos ecuaciones diferenciales ordinarias X''+ X = 0 y

(4,5)
para las funciones x y T, respectivamente.
Para poder (4.4) satisfacer las condiciones de contorno (4.3), debemos tener x(0) = 0
y X(L) = 0. Por lo tanto, la funcin de x est determinado por la resolucin del
problema de Sturm-Liouville

(4,6)
Este es el mismo problema que nos encontramos en la Seccin 9 del Captulo 3, para
los que tienen sus valores propios

(4,7)
y las funciones propias correspondientes

(4,8)

Ahora, para cada una solucin de la ecuacin (4.5) viene dada 11

(4,9)
As, las funciones

(4,10)
Con n dado por (4.7), son todas soluciones particulares de (4.1) que satisface la
homognea condicin de (4.3).
Para obtener una solucin de nuestro problema, que consideramos una serie de
funciones (4,10) en la forma

(4,11)
y determinar los coeficientes bn si satisface la condicin inicial (4.2), Estableciendo as
t = 0 en (4.11), vemos de (4.2) el coeficiente bn que satisfacer la relacin.

(4,12)
Esta es la serie de senos de Fourier de F en el intervalo [0, L]. Por lo tanto, los
coeficientes bn vienen dados por la frmula

(4,13)
La funcin u representados por la serie (4.11), con bn dado por (4.13), es la solucin
de nuestro problema. Para verificar esto, ahora suponemos que la funcin f en (4.2)
es continua y suave por partes en [0, L] y que f (0) = f (L) = 0. Entonces, de acuerdo
con el Teorema 6.2 del Captulo 5, la serie de senos de Fourier (4.12) de f converge
absolutamente y uniformemente en [0, L]. Ahora para t 0,

Donde la serie converge correctamente. Por lo tanto, la serie (4.11) converge

absolutamente y uniformemente a u (x, t) para 0 x L y t > 0. Puesto que cada
trmino de la serie es continua y satisface (4.3), se deduce que u, tambin, es
continua y satisface (4.3). Por otra parte, en el establecimiento de t= 0, vemos a partir
de (4.12) que u satisface la condicin inicial (4.2).
Y Queda por verificar que u satisface la ecuacin del calor. Con este fin, necesitamos
mostrar que la serie (4.11) puede ser diferenciada trmino por trmino, una vez con
respecto a t y dos veces con respecto a x. Consideremos la serie.

(4,14)
Que es la derivada formal de (4.11) con respecto t. Ya que f es continua en [0,L ], que
est delimitada all y as hay una constante M de tal manera que lbnl M para todo 1
n. Entonces, para cualquier t0 > 0,
Siempre que t0 t . Dado que la serie con el trmino general knMexp(-knto) converge,
se sigue por la M-test Weierstrass que la serie (4.14) converge uniformemente con
respecto a 0 x L y t>t0>0. que se puede obtener diferenciando la serie trmino a
trmino.
Del mismo modo podemos establecer que (4.11) es continuo derivable de segundo
orden x para 0 x L, t >0, que es obtenible por derivacin. Por lo tanto, la
sustitucin de (4.11)vemos que

Esto verifica que (4.11) con (4.13) es una solucin del problema (4.1), (4.2), (4.3) con
la condicion que f es continua y suave por partes en [0, L] y desaparece en los puntos
extremos. Que esta solucin se determina de forma nica y continua por el Teorema
3.2.
Es de destacar que mediante la aplicacin de varias veces el procedimiento que
hemos descrito anteriormente, la solucin en serie (4.11) puede demostrarse que tiene
derivadas continuas de todos los rdenes con respecto a x y t para 0 x L y t >0.
Este resultado contrasta con el resultado que obtuvimos en un problema de ejemplo
en el Captulo 3, Seccin 9, que implica la ecuacin de onda. A pesar que la funcin
satisface las mismas condiciones como antes, sin embargo, la solucin en serie no se
puede diferenciar dos veces, trmino a trmino; hemos tenido que recurrir al concepto
de solucin generalizada. Esta es una diferencia bsica entre las soluciones de
ecuaciones diferenciales hiperblicas y parablicas. Si sustituimos (4.13) para bn en
(4.11) e intercambiar el orden de la suma y la integracin, podemos escribir (4.11) en
forma integral

Donde

con . Observe que para t> 0, la serie (4.16) es uniformemente

convergente en de modo que el intercambio de la suma y la integracin en (4.15) es
perfectamente vlido. La funcin G definida por (4.16) se conoce como la funcin de
Green para la ecuacin del calor que corresponde a las condiciones de contorno (4.3),
y la serie se llama su expansin bilineal [Captulo 4, Seccin 7]. Fsicamente
G (x, t; ) representa la distribucin de temperatura en la varilla para 0 x L, t >
0, debido a una fuente de calor concentrada en el punto x = para el momento t = 0,
con la temperatura en los puntos extremos se mantienen a cero grados.
Es fcil verificar de ( 4,16) que: (i) G satisface la ecuacin del calor con respecto a x y t
para t>0 y x (ii) G es continua en x= (iii) G satisface las condiciones de contorno
(4.3) con respecto a la variable x; y (iv) G es simtrica con respecto a x y .Estas
propiedades son anlogas a las propiedades que posee una funcin de Green para
una ecuacin diferencial ordinaria [ver (2.15), Captulo 4]

.Ejemplo 4.1. Encontrar la solucin del problema de valor lmite inicial

Solucin: Por (4.13) tienen Por lo
tanto, la solucin es u (x, t) = e-' sen x.
Ejemplo 4.2. Encontrar la solucin del problema Solucin: De
acuerdo a ( 4.11). la solucin est dada por donde, por (4. 13),
Por lo tanto, tenemos
Sec. 4 Lmite inicial-problemas de valores 227

En caso de que ambos extremos de la varilla estn aisladas de modo que el problema
inicial y de contorno se compo ne de (4.1), (4.2) y las condiciones de contorno

(4,17)
el mtodo de separacin de variables lleva al problema de Sturm-Liouville

(4,18)
para la funcin x junto con la ecuacin (4.5) para la funcin T. Recordar que los
valores propios del problema (4.18) son , n=0,1,2, con las funciones
propias correspondientes
Xn(x)=cos(n(pi)x/L) =0,1,2. As, las funciones

(4,19)
son todas las soluciones particulares de (4.1) que satisface las condiciones de
contorno (4.17).
Ahora, para obtener una solucin del problema (4.1). (4.2), (4.17), que consideramos
una serie que consta de las funciones (4.19) en la forma

(4.20)

La condicin inicial (4.2), entonces requiere que el coeficiente an, cumpla con la
relacin
Que es la representacin en serie de cosenos de Fourier de la funcin de f en el
intervalo 0 x L. Por lo tanto, los coeficientes son de la formula.

(4.21)
As, un solucin del problema (4.1), (4.2)(4.17) es dado por (4.20) con an es (n 0)
dada por ( 4,21).
La verificacin de que (4.20) con (4.21) satisface (4.1), (4.2) y (4.17) en las
condiciones que f es continua y suave por partes en el intervalo de 0 x L que se
hace de la misma manera que en el caso anterior. La solucin se determina de forma
nica siguiendo el principio del mximo modificado correspondiente a las condiciones
de contorno (4.17) (problema 2, ejercicios 6.2).
Si sustituimos (4.21) para los coeficientes an en (4.20), la solucin puede ser escrita
en forma integral

(4.22)
donde, como en el caso anterior,

(4,23)

Se llama la funcin de Green que corresponde a las condiciones de contorno (4,17).

Aqu, G est representado de nuevo por su expansin bilineal.