Documentos de Académico
Documentos de Profesional
Documentos de Cultura
EDP de Calor, Onda y de Laplace PDF
EDP de Calor, Onda y de Laplace PDF
Las ecuaciones parciales lineales en la función incógnita u ( x, y ) tratadas en este capítulo son homogéneas, entonces
tienen la solución trivial u ( x, y ) = 0 para todo x y todo y en el respectivo dominio, que se denomina con u ( x, y ) ≡ 0 y
se lee u ( x, y ) idénticamente cero. Sin embargo, esta solución carece de importancia por tratarse de una constante. Por
ejemplo, en el problema de transferencia de calor a través de una varilla delgada, la función u ( x, t ) marca la temperatura de
un punto x de la varilla en cualquier tiempo t ; la solución u ( x, t ) ≡ 0 indica que la temperatura es cero en cada punto de la
varilla y en cualquier tiempo. Por lo tanto son aceptables todas las suposiciones que conduzcan a otras soluciones diferentes
de esta.
Las condiciones dadas en cada problema se denominan condiciones de contorno y se dividen en dos categorías:
condiciones iniciales y condiciones de frontera. Las condiciones iniciales son los valores de la función u ( x, t ) o su derivada
parcial respecto a t (velocidad), en el tiempo cero. Las condiciones de frontera son los valores de la función u x, t o su ( )
derivada parcial respecto a x en los extremos de la varilla. Si alguno de los valores mencionados es cero la condición se
denomina condición homogénea.
Problema
Una varilla delgada homogénea ocupa el intervalo [0, L] del eje X . La temperatura u (x, t ) en cada punto de la varilla es
función de la distancia x de ese punto al origen y el tiempo t en que se mide la temperatura en el punto.
∂ 2u ∂u
Esta aplicación esta modelada por la ecuación de calor homogénea Κ2 = .
∂x 2 ∂t
El problema es determinar u( x, t ) a partir de la ecuación de calor y las condiciones de contorno dadas en cada ejemplo.
Ejemplo 1
575
576 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
∂ 2u ∂u
Resolver la EDPL homogénea de calor Κ2 =
∂x 2 ∂t
⎧ u (0, t ) = 0, ∀t > 0
Con condición inicial u ( x,0) = f ( x ), 0 < x < L y de frontera homogéneas ⎨
⎩u ( L, t ) = 0, ∀t > 0
u ( x, t ) Temperatura en un punto x de una varilla delgada en un instante t.
Si u( x, t ) es idénticamente cero no hay flujo de calor en la varilla y por esa razón no se considera admisible.
Κ>0 Constante
Si en el tiempo t=0 coloca un termómetro en cada punto de la varilla, entonces los niveles de temperatura siguen la gráfica
∂ 2u ∂u
Sustituye esta en la ED Κ2 = y obtiene
∂x 2 ∂t
Κ 2 X ′′ ⋅ T = X ⋅ T ′
X ′′ T′
Separa las variables =
X
{ 1
2
Κ2T
3
solo solo
x t
Experimentará que los términos en T (t ) requieren menos trabajo, por eso se pasó Κ2 1
a la derecha.
Como x, y son independientes, esta igualdad solo deja opción a:
X ′′ T′
=k = , k es constante llamada de separación.
X Κ 2T
1
Obtendrá la misma función de temperatura, pase o no a dividir Κ2
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 577
⎧ X ′′ − kX = 0
Entonces ⎨
⎩T ′ − kΚ T = 0
2
El signo de k determina la solución de las EDs anteriores, por lo que considera los casos k = 0 , k = λ2 ó k = −λ2 , con
λ > 0 , esta constante y las constantes de integración deberán determinarse utilizando las condiciones de frontera.
Caso I k =0
⎧ u (0, t ) = 0 ⎧ X (0)T (t ) = 0
Las condiciones de frontera ⎨ se escriben ⎨
⎩u ( L, t ) = 0 ⎩ X ( L )T (t ) = 0
Tiene sentido asumir que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
⎧ X (0 ) = 0
⎨
⎩ X (L) = 0
⎧ B=0
Como X ( x ) = Ax + B se escriben ⎨ lo que implica A= B=0 entonces X (x) = 0
⎩ AL + B = 0
Concluye que la solución al problema con condiciones de frontera es u ( x, t ) = X ( x )T (t ) ≡ 0 , por lo que ya no es necesario
comentar sobre la condición inicial.
Caso II k = λ2 , λ > 0
⎧ u (0, t ) = 0 ⎧ X (0)T (t ) = 0
Las condiciones de frontera ⎨ se escriben ⎨
⎩u ( L, t ) = 0 ⎩ X ( L )T (t ) = 0
Tiene sentido asumir que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
⎧ X (0 ) = 0
⎨
⎩ X (L) = 0
578 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧ A+ B = 0
⇒ ⎨ λL − λL
⎩ Ae + Be =0
⎧ A = −B
⇒ ⎨
( λL
⎩B − e + e
− λL
=0 )
⎧ A = −B
⇒ ⎨
⎩B = 0 o λ = 0
Pero λ>0 entonces B = 0 = A , por lo que u ( x, t ) ≡ 0 y no tiene sentido ir más allá de esto.
T (t ) = Ce − K λ t
2 2
Concluye
⎧ u (0, t ) = 0
Para determinar A, B, λ se utilizan las condiciones de frontera ⎨ que se escriben:
⎩u ( L, t ) = 0
⎧ X (0)T (t ) = 0
⎨
⎩ X ( L )T (t ) = 0
Tiene sentido asumir que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
⎧ X (0 ) = 0
⎨
⎩ X (L) = 0
⎧ A=0
⇔ ⎨
⎩ A cos(λL ) + B sin (λL ) = 0
Cambia A=0 en la segunda ecuación y obtiene B sin(λL ) = 0
Supone B≠0 (de lo contrario u ( x, t ) ≡ 0 ) entonces sin(λL ) = 0 ⇔ Lλ = nπ
nπ
⇔ λ= , para n∈ (porque λ > 0)
L
Observe que son conocidos los valores de las constantes λ y A , falta determinar B , y la condición inicial se utilizará con
este fin, sin embargo, no tendremos un resultado positivo (por ahora), como se muestra a continuación:
2 2
Con A=0 en la solución u ( x, t ) = ( A cos(λx ) + B sin(λx )) Ce − Κ λ t obtiene:
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 579
2 2
u ( x, t ) = B sin(λx ) Ce − Κ λ t
u ( x, t ) = b sin(λx )e − Κ λ t
2 2
Que se puede escribir donde b = BC para eliminar constantes redundantes
Κ 2 n 2π 2
− t
nπ nπ
Con λ= se escriben: un ( x, t ) = bn sin⎛⎜ x ⎞⎟e L2 , para n ∈ {1,2, K}
L ⎝ L ⎠
Se introdujo el subíndice n por tratarse de infinidad de soluciones.
Cada una de estas soluciones satisface las condiciones de frontera, pero aún no se ha verificado la condición inicial.
nπ ⎞
bn sin⎛⎜ x ⎟ = f (x)
⎝ L ⎠
Las funciones a la izquierda de esa ecuación son trigonométricas mientras la condición inicial f (x) no necesariamente es
trigonométrica. En esos casos no existen constantes bn para los cuales sea una identidad.
El último resultado no es despreciable dado que Fourier demostró que cualquier función f (x) se puede escribir como una
Κ 2 n 2π 2
− t
nπ ⎞
un ( x, t ) = bn sin⎛⎜ x ⎟e L2 , para n ∈ {1,2, K}
⎝ L ⎠
∞
y obtiene: U ( x, t ) = ∑ un ( x , t )
n =1
Κ 2 n 2π 2
∞ − t
nπ
Explícitamente U ( x, t ) = ∑ bn sin⎛⎜⎝ L x ⎞⎟e
⎠
L2
n =0
⎧U (0, t ) = 0
Vamos a comprobar (solo en este ejemplo) que la superposición también satisface las condiciones de frontera ⎨ :
⎩U ( L, t ) = 0
⎧ Κ 2 n 2π 2
∞ − t
⎪ ⎛ nπ ⎞
⎪ U (0, t ) = ∑ bn sin⎜ L 0 ⎟ e
2
L =0
⎪ n =1 1 4 ⎝2 43⎠
⎪ 0
⎨
⎪ Κ 2 n 2π 2
∞ − t
⎪U ( L, t ) = ⎛ nπ ⎞
∑ bn sin⎜⎝ L L ⎟⎠ e
2
L =0
⎪
n =1 14 2 43
⎪⎩ 0
Κ 2 n 2π 2
∞ − ∞
nπ 0
nπ ⎞
U ( x,0) = ∑ bn sin⎛⎜⎝ L x ⎞⎟⎠ e L2 = ∑ bn sin⎛⎜⎝ x⎟
L ⎠
n =1 n =1
y la iguala a f (x) para obtener:
∞
nπ
f (x) = ∑ bn sin⎛⎜ x ⎞⎟
n =1 ⎝ L ⎠
Ahora sí, tal condición se satisfará si escoge bn como los coeficientes de Fourier en la serie de senos para f (x) en [0, L[ ,
es decir si escoge:
L
nπ
bn = ∫ f ( x ) sin⎛⎜ x ⎞⎟dx
2
para n ∈ {1,2, K}
L ⎝ L ⎠
0
Κ 2 n 2π 2
∞ − t
nπ ⎞
U ( x, t ) = ∑ bn sin⎛⎜ x ⎟e L2
n =1 ⎝ L ⎠
L
nπ ⎞
bn = ∫ f ( x ) sin⎛⎜
2
x ⎟dx
L ⎝ L ⎠
0
Ejemplo 2
∂ 2u ∂u ⎧ u x (0, t ) = 0 ∀t ≥ 0
Resuelva = , condiciones de frontera ⎨ y condición inicial u( x,0) = sin x , ∀x ∈ [ 0, π [
∂x 2 ∂t ⎩u x (π , t ) = 0 ∀t ≥ 0
Solución separable con condiciones de frontera
∂ 2u ∂u
Sustituye esta en la ED = y obtiene X ′′ ⋅ T = X ⋅ T ′
∂x 2 ∂t
X ′′ T ′
Separa las variables =
X
{ T
{
solo solo
x t
Como x, y son independientes, esta igualdad solo deja opción a:
X ′′ T′
= k = , para alguna constante k , llamada de separación.
X T
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 581
El signo de k determina la solución de las EDs anteriores, por lo que considera los casos k = 0 , k = λ2 ó k = −λ2 , con
λ > 0 , esta constante y las constantes de integración deberán determinarse utilizando las condiciones de frontera.
X ′′ T′
Caso I =0=
X T
X ′′
La ED = 0 ⇒ X ′′ = 0 y por integración iterada obtiene X ( x ) = Ax + B , A, B constantes
X
T′
La ED = 0 ⇒ T′ = 0 e integra para obtener la solución T (t ) = C , C constante
T
Entonces la solución de la EDP es u ( x, t ) = X ( x )T (t ) y se necesita u x ( x, t ) = X ′( x )T (t ) para aplicar las condiciones
⎧ u x (0, t ) = 0 ∀t ≥ 0
de frontera ⎨
⎩u x (π , t ) = 0 ∀t ≥ 0
⎧ X ′(0)T (t ) = 0 ∀t ≥ 0
se escriben ⎨
⎩ X ′(π )T (t ) = 0 ∀t ≥ 0
Tiene sentido asumir que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
⎧ X ′(0) = 0
⎨
⎩ X ′(π ) = 0
Como X ( x ) = Ax + B entonces X ′( x ) = A y las últimas identidades se escribe:
⎧A = 0
⎨
⎩A = 0
Y no limitan los valores de la constante B entonces X ( x ) = Ax + B = B
Concluye que la solución al problema con condiciones de frontera es u ( x, t ) = ( Ax + B )C = BC , y para evitar parámetros
redundantes se escribe u ( x, t ) = a donde a = BC es parámetro. Aunque es adecuado escribir esta solución como:
a
u0 ( x , t ) = 0
2
X ′′ T′
Caso II = λ2 = , λ > 0
X T
X ′′
La ED = λ2 ⇔ X ′′ − λ2 X = 0 . Ecuación auxiliar r 2 − λ2 = 0 ⇔ r = ±λ . Concluye X ( x ) = Ae λx + Be −λx
X
T′ 2
La ED = λ2 ⇔ T ′ − λ2T = 0 . Ecuación auxiliar r − λ2 = 0 ⇔ r = λ2 . Concluye T (t ) = Ceλ t
T
Estamos utilizando los mismos nombres de parámetros A, B, C que el caso anterior pero no se trata de los mismos.
582 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧ u x (0, t ) = 0 ∀t ≥ 0
condiciones de frontera ⎨
⎩u x (π , t ) = 0 ∀t ≥ 0
⎧ X ′(0)T (t ) = 0 ∀t ≥ 0
que se escriben ⎨
⎩ X ′(π )T (t ) = 0 ∀t ≥ 0
Tiene sentido asumir que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
⎧ X ′(0) = 0
⎨
⎩ X ′(π ) = 0
Como (
X ′( x ) = λ Ae λx − Be −λx ) las anteriores se escriben:
⎧ λ ( A − B) = 0
⇒ ⎨
(λπ
⎩λ Ae − Be
− λπ
=0 )
⎧ A=B
Como λ ≠ 0 , obtiene: ⎨ λπ
(
⎩A e − e
− λπ
=0 )
⇒ A= B=0
⇒ X (x) ≡ 0
⇒ u ( x, t ) ≡ 0 que carece de importancia.
X ′′ T′
Caso III = −λ2 = , λ > 0
X T
X ′′
La ED = −λ2 ⇔ X ′′ + λ2 X = 0 . Tiene ecuación auxiliar r 2 + λ2 = 0 ⇔ r = ±λi . Concluye
X
X ( x ) = A cos(λx ) + B sin(λx )
T′
= −λ2 ⇔ T ′ + λ2T = 0 . Tiene ecuación auxiliar r + λ2 = 0 ⇔ r = −λ2 . Concluye T (t ) = Ce − λ t
2
La ED
T
2
Entonces u( x, t ) = X ( x )T (t ) = ( A cos(λx ) + B sin(λx )) Ce − λ t , A, B, C parámetros
⎧ u x (0, t ) = 0 ∀t ≥ 0
Para determinar A, B, λ se utilizan las condiciones de frontera ⎨ que se escriben:
⎩u x (π , t ) = 0 ∀t ≥ 0
⎧ X ′(0)T (t ) = 0 ∀t ≥ 0
⎨
⎩ X ′(π )T (t ) = 0 ∀t ≥ 0
Asume que T (t ) ≡/ 0 para que la función temperatura no sea nula, entonces:
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 583
⎧ X ′(0) = 0
⎨
⎩ X ′(π ) = 0
Como X ′( x ) = λ (− A sin(λx ) + B cos(λx )) las anteriores se escriben:
⎧ λ (B) = 0
⎨
⎩λ (− A sin(λπ ) + B cos(λπ )) = 0
⎧ B=0
⇒ ⎨
⎩ A sin(λπ ) = 0
Supone A≠0 (de lo contrario u ( x, t ) ≡ 0 ) entonces sin(λπ ) = 0 ⇔ πλ = nπ
⇔ λ = n , para n ∈ (porque λ > 0)
Observe que son conocidos los valores de las constantes λ y B , falta determinar A y la condición inicial es dada para este
fin, sin embargo, no tendremos un resultado positivo (por ahora), como se muestra a continuación:
2
Con B=0 en la solución u ( x, t ) = ( A cos(λx ) + B sin(λx )) Ce − λ t obtiene:
u( x, t ) = A cos(λx ) Ce − λ t
2
u ( x, t ) = a cos(λx )e − λ t
2
donde a es parámetro.
2
Con λ=n se escriben un ( x, t ) = a n cos(nx )e − n t para n ∈ {1,2, K} .
Todas son soluciones de la EDP y satisfacen las condiciones de frontera, sin embargo, como mostramos a continuación no
a
Las soluciones obtenidas: u0 ( x , t ) = 0
2
2
un ( x, t ) = a n cos(nx )e − n t para n ∈ {1,2, K} .
no satisfacen la condición inicial, entonces se construye su superposición:
∞
U ( x, t ) = ∑ un ( x, t )
n =0
∞
a 2
Explícitamente U ( x, t ) = 0 + ∑ a n cos(nx )e − n t
2 n =1
584 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
Al igual que cada un ( x , t ) satisface las condiciones de frontera, su superposición las satisface como se muestra a
continuación.
∂U ( x, t ) ∞ 2
Calcula la derivada parcial: = ∑ − nan sin(nx )e − n t y calcula:
∂x n =1
∂U (0, t ) ∞ −n2 t
= ∑ − nan sin
123 ( n 0 )e =0 y
∂x n =1 0
∂U (π , t ) ∞ −n2 t
= ∑ − na n sin
1424( n3π )e =0
∂x n =1 0
∞
a
sin x = 0 + ∑ an cos(nx )
2 n =1
144 42444 3
U ( x ,0 )
Tal condición se satisfará si escoge an como los coeficientes de Fourier en la serie de cosenos de sin x en [0, π [ :
π
2
an =
π ∫ sin x cos(nx )dx para n ∈ {0,1, K}
0
π π
2 2 4
Calcula el coeficiente a0 =
π ∫ sin x cos( 0 x )dx = − cos x
π
=
0 π
0
π π
2 2
Y para n≠0 an =
π ∫ sin x cos(nx )dx = π ∫ 12 (sin(1 − n )x + sin(1 + n )x )dx
0 0
π π
1 1
Si n =1 en la anterior: a1 =
π ∫ sin(2 x )dx = − 2π
cos(2 x ) = 0
0
0
π
1
Si n = 2,3, K an =
π ∫ (sin(1 − n )x + sin(1 + n )x )dx
0
1 ⎛ cos(1 − n ) x cos(1 + n ) x ⎞π
= ⎜− − ⎟
π⎝ 1− n 1 + n ⎠0
1 ⎛⎜ (− 1)n −1 (− 1)n −1 ⎛ 1 1 ⎞ ⎞⎟
=− + − ⎜ + ⎟
π ⎜⎝ 1 − n 1+ n ⎝ 1 − n 1 + n ⎠ ⎟⎠
=
2
((− 1)n −1 − 1)
(n 2
−1π )
Para simplificar más considera las subsucesiones de subíndice par y las de subíndice impar:
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 585
4
a 2n = − n = 1,2, K
(4n )
para
2
−1π
a 2n +1 = 0 para n = 1,2, K
Para sustituir esos coeficientes en la solución de la ecuación de calor, primero saca de la serie el término para n = 1 , y de la
serie resultante separa los términos de subíndice impar de los términos de subíndice par, como se muestra a continuación:
∞
a 2
U ( x, t ) = 0 + ∑ an cos(nx )e − n t
2 n =1
∞
a0 2
la escribe U ( x, t ) = + a1 cos xe + ∑ an cos(nx )e − n t
−t
2 n=2
∞ ∞
a
U ( x, t ) = 0 + a{1 cos xe − t + ∑ a2n cos(2nx )e − 4n t + ∑ a 2n +1 cos(2n + 1) xe − (2n +1) t
2 2
⇒
2 123
0 n =1 n =1 0
∞ 2t
⇒ U ( x, t ) =
π
2 + ∑ a2n cos(2nx )e − 4n
n =1
Ejemplo 3
∂ 2u ∂u ⎧ u (0, t ) = 0 ∀t ≥ 0
Resuelva 4 = , condiciones de frontera ⎨ y condición inicial u ( x,0) = x 2 , ∀x ∈ [ 0, π [
∂x 2 ∂t ⎩u (π , t ) = 0 ∀t ≥ 0
Supone tiene solución separable: u (x, t ) = X ( x ) ⋅ T (t ) y sustituye en la ecuación de calor para recibir:
4 X ′′ ⋅ T = X ⋅ T ′
X ′′ T ′
⇔ =
X 4T
Las variables x y t en cada una de esas razones son independientes, por esto solo queda que:
X ′′ T′
=k = , para alguna constante k
X 4T
Como en el ejemplo 1, si la constante de separación es 0 o positiva, entonces la solución es u ( x, t ) ≡ 0 que carece de
importancia. Por esto nos limitamos a considerar la constante de separación negativa: k = −λ2 con λ > 0 . En tal caso las
X ′′ T′
ED a resolver son: = −λ2 =
X 4T
X ′′
= −λ2 ⇔ X ′′ + λ2 X = 0 , tiene ecuación auxiliar r 2 + λ2 = 0 ⇒ r = ±λi . X ( x ) = A cos(λx ) + B sin(λx )
X
586 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
T′ 2
= −λ2 , tiene ecuación auxiliar r = −4λ2 entonces T (t ) = Ce − 4λ t .
4T
2
La solución de la EDPL es u ( x, t ) = X ( x )T (t ) = ( A cos(λx ) + B sin(λx )) ⋅ Ce − 4λ t
Para obtener los valores de las constantes A, B, λ aplica las condiciones de frontera:
⎧ u (0, t ) = 0
⎨
⎩u (π , t ) = 0
⎧ X (0)T (t ) = 0
⇔ ⎨
⎩ X (π )T (t ) = 0
Si T (t ) ≡ 0 entonces u ( x, t ) = X ( x )T (t ) ≡ 0 que carece de importancia.
⎧ X (0) = 0
⎨
⎩ X (π ) = 0
⎧ A=0
⇔ ⎨
⎩ A cos(λπ ) + B sin(λπ ) = 0
⎧ A=0
⇔ ⎨
⎩ B sin(λπ ) = 0
Si B≠0 entonces u( x, t ) ≡/ 0 y sin(λπ ) = 0
⇒ λπ = nπ
⇒ λ=n para n ∈ {1,2, K} porque λ > 0.
2
Las soluciones u( x, t ) = ( A cos(λx ) + B sin(λx ))Ce − 4λ t con A=0 y λ=n se escriben:
2
un ( x, t ) = bn sin(nx ) e − 4n t para n ∈ {1,2, K} y algunas constantes indeterminadas bn
u2 ( x, t ) = b2 sin(2 x ) e −16 t
etcétera.
Cada una de esas soluciones satisface las condiciones de frontera pero no la condición inicial como se muestra a continuación.
nπ ⎞
bn sin⎛⎜ x ⎟ = x2
⎝ L ⎠
Las funciones a la izquierda de esa ecuación son trigonométricas mientras f (x) = x2 es una parábola, obviamente de
Aunque las soluciones encontradas no cumplen la condición inicial, es posible construir una solución que si lo haga, y se habla
de la Superposición (suma de soluciones de la ED homogénea):
∞ ∞ 2t
u ( x, t ) = ∑ un ( x, t ) = ∑ bn sin(nx ) e − 4n (reutilizamos el nombre u ( x, t ) , pero ahora es una serie)
n =1 n =1
Esta superposición es solución de la EDPL y satisface las dos primeras condiciones de frontera como se verifica a
continuación:
⎧ ∞
− 4n 2 t
⎪ u (0, t ) = ∑ bn sin
123 (0 )e =0 ∀t ≥ 0
⎪ n =1
⎪ 0
⎨
⎪ ∞
− 4n 2 t
⎪u (π , t ) = ∑ bn sin
1424( n3π )e =0 ∀t ≥ 0
⎪⎩ n =1 0
∞
− 4n 2 0
La condición inicial se escribe u ( x,0) = ∑n
b sin ( nx ) e = x2
n =1
∞
⇔ 2
x = ∑ bn sin(nx )
n =1
π
2
π ∫
bn = x 2
⋅ sin(nx )dx , para n ∈
0
Para calcular estas integrales aplicamos integración por partes ∫u
2
( )
sin udu = 2u sin u + 2 − u 2 cos u + C , después de
u du
tomar el cambio de variable: u = nx ⇒ =x⇒ = dx en:
n n
nπ
2 u2 du
bn =
π ∫ 2
⋅ sin u ⋅
n
0 n
nπ
2
∫u
2
= ⋅ sin u ⋅ du
πn 3
0
=
2
[2u sin u + (2 − u 2 )cos u ] 0
nπ
πn 3
⎡ ⎤
=
2 ⎢
3⎢
2nπ sin
14 2(n4
π ) + 2 − (nπ ) cos
3
2
1
4 2(n4
3 (
π ) − 2⎥⎥ )
πn ⎢ ⎥⎦
⎣ 0 ( −1)n
588 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
=
2
((2 − (nπ )2 )(− 1)n − 2)
πn 3
⎧ u (0, t ) = 0 ∀t ≥ 0
∂ 2u ∂u ⎪
Ejercicio 1 Resuelva = sujeta a ⎨ u (2, t ) = 0 ∀t ≥ 0 .
∂x 2 ∂t ⎪u ( x,0) = 1 − cos(πx )
⎩ ∀x ∈ [0,2]
Donde u ( x, t ) es temperatura en un punto x de una varilla de longitud 2 en un tiempo t.
R. Considere como guía los siguientes resultados a partir de la constante de separación negativa − λ2 , λ > 0 y con la misma
notación conforme aparecen en orden cronológico de los ejemplos anteriores.
2
u ( x, t ) = (a cos(λx ) + b sin(λx )) e − λ t
nπ
λn = n = 1,2, K
2
nπ 2
nπ − ⎛⎜ ⎞ t
⎟
un ( x, t ) = bn sin⎛⎜ ⎟ x ⎞e ⎝ 2 ⎠
⎝ 2 ⎠
∞ n 2π 2
nπ ⎞ − t
u( x, t ) = ∑ bn sin⎛⎜⎝ x ⎟e
2 ⎠
4
n =1
b2n = 0 n = 1,2, K
− 16
b2n +1 = n = 0,1,K
π (2n + 1)(2n + 3)(2n − 1)
∞ (2n +1)2 π 2
(2n + 1)π ⎞ − t
sin⎛⎜
16
u ( x, t ) = ∑− π ( 2 n + 3)( 2 n + 1)( 2 n − 1) ⎝ 2
x ⎟e
⎠
4
n =0
Ejercicio 2
∂ 2u ∂u ⎧ u (0, t ) = 0, ∀t ≥ 0
Resolver 2 = con condiciones de contorno ⎨ y u( x,0) = x sin x , 0 ≤ x ≤ π
∂x 2 ∂t ⎩u (π , t ) = 0, ∀t ≥ 0
∞ ⎛ ⎞ 2t
1 1
R. u ( x, t ) = π e − 2t sin x − ∑ π2 ⎜⎜ (2n − 1)2 − (2n + 1)2 ⎟⎟ sin(2nx )e −8n
2
n =1 ⎝ ⎠
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 589
Ejemplo 4
⎧ ∂u (0, t ) = 0 ∀t ≥ 0
⎪ ∂x
∂ 2u ∂u ⎪
a2 = sujeta a las condiciones de contorno ⎨ u ( L, t ) = 0 ∀t ≥ 0
∂x 2 ∂t ⎪u ( x,0) = f ( x ) 0 ≤ x ≤ L
⎪⎩
∂u
La condición (0, t ) = 0 significa que el extremo izquierdo x=0 de la varilla está aislado en todo momento.
∂x
La condición u ( L, t ) = 0 significa que el extremo derecho de la varilla se mantiene ( ∀t ≥ 0 ) con temperatura cero.
a>0 Constante dada
X ′′ T′
Caso I =0=
X a 2T
X ′′
La ED = 0 ⇔ X ′′ = 0 ⇔ X ( x ) = Ax + B , A, B constantes
X
T′
La ED = 0 ⇔ T ′ = 0 ⇔ T (t ) = C , C constante
a 2T
Temperatura u ( x, t ) = X ( x )T (t ) = ( Ax + B )C
Y su derivada u x ( x, t ) = X ′( x )T (t )
⎧u x (0, t ) = 0
Aplica condiciones de frontera: ⎨
⎩ u ( L, t ) = 0
⎧ X ′(0)T (t ) = 0
⇔ ⎨
⎩ X ( L )T (t ) = 0
Si T (t ) ≡ 0 entonces u ( x, t ) = X ( x )T (t ) ≡ 0
⎧ X ′(0) = 0
Si T (t ) ≡/ 0 entonces ⎨
⎩ X ( L) = 0
590 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧ A=0
⇔ ⎨ ⇒ A = B = 0 ⇒ u ( x, t ) ≡ 0 .
⎩ AL + B = 0
X ′′ T′
Caso II = λ2 = , constante de separación positiva con λ>0
X a 2T
X ′′
La ED = λ2 ⇔ X ′′ − λ2 X = 0 tiene solución X ( x ) = Ae λx + Be −λx , A, B constantes
X
T′ 2 2
La ED = λ2 ⇔ T ′ = λ2 a 2T tiene solución T (t ) = Ce a λ t , C constante
a 2T
Temperatura ( )
2 2
u ( x, t ) = X ( x )T (t ) = Ae λx + Be − λx C e a λ t
Su derivada ( )2 2
u x ( x, t ) = X ′( x )T (t ) = λ Ae λx − Be − λx C e a λ t
Aplica las condiciones de frontera:
⎧u x (0, t ) = 0
⎨
⎩ u ( L, t ) = 0
⎧ X ′(0)T (t ) = 0
⇔ ⎨
⎩ X ( L )T (t ) = 0
Si T (t ) ≡ 0 entonces u( x, t ) = X ( x )T (t ) ≡ 0
⎧ X ′(0) = 0
Si T (t ) ≡/ 0 obtiene: ⎨
⎩ X (L) = 0
⎧ λ ( A − B) = 0
⇔ ⎨ λL − λL
⎩ Ae + Be =0
⎧ A= B
⇔ ⎨ λL
(
⎩Ae +e
− λL
=0 )
⇒ A= B=0
Entonces u ( x, t ) ≡ 0 y no es necesario comentar sobre la condición inicial (para t = 0)
⎧u x (0, t ) = 0
⎨
⎩ u ( L, t ) = 0
⎧ X ′(0)T (t ) = 0
⇔ ⎨
⎩ X ( L )T (t ) = 0
Si T (t ) ≡ 0 entonces u( x, t ) = X ( x )T (t ) ≡ 0
⎧ X ′(0) = 0
Si T (t ) ≡/ 0 obtiene: ⎨
⎩ X (L) = 0
⎧ λB = 0
⇒ ⎨
⎩ A cos(λL ) + B sin(λL ) = 0
⎧ B=0
⇒ ⎨
⎩ A cos(λL ) = 0
Debemos suponer A≠0 para evitar u ( x, t ) ≡ 0 , entonces:
2n + 1
cos(λL ) = 0 ⇒ λL = π 2
2
2n + 1
⇒ λ= π con n = 0,1, K porque λn > 0
2L
Con los resultados anteriores las soluciones de la EDP que satisfacen las condiciones de frontera son:
2 2
u ( x, t ) = ( A cos(λx ) + B sin(λx )) Ce − a λ t
2 2
⇒ u ( x, t ) = A cos(λx ) Ce − a λ t
2
− a 2 ⎛ 2 n +1 π ⎞ t
2n + 1 ⎞ ⎜ ⎟
⇒ un ( x, t ) = an cos⎛⎜ πx ⎟ e ⎝ 2 L ⎠ , n = 0,1, K
⎝ 2L ⎠
Como las soluciones obtenidas no satisfacen la condición inicial, considera la superposición de las un ( x, t ) , n = 0,1, K ,
2
∞ ∞ − a 2 ⎛ 2 n +1 π ⎞ t
2n + 1 ⎞ ⎜ ⎟
u ( x, t ) = ∑ un ( x , t ) = ∑ a n cos⎛
⎜ πx e ⎝ 2 L ⎠
⎟
n =0 n =0 ⎝ 2L ⎠
⎛ 2 n +1 ⎞ 2 ⎞
∞ ⎜
n + n + − a 2 ⎛⎜ π⎟ t⎟
u x ( x, t ) = ∑ ⎜ − an sin⎛⎜ πx ⎞⎟
2 1 2 1
y su derivada π e ⎝ 2L ⎠ ⎟
n = 0⎜ ⎝ 2L ⎠ 2L ⎟
⎝ ⎠
(2n +1)
2
cos θ = 0 para θ = π2 + nπ = 2
π y n∈Ζ
592 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧ ∞⎛ 2 ⎛ 2 n +1 ⎞
2 ⎞
⎜ 2n + 1 − a ⎜ π ⎟ t ⎟
⎪
⎪ ∑ ⎜ − a n sin (0 )
2L
π e ⎝ 2L ⎠
⎟=0
⎪ ⎝n = 0⎜ ⎟
⎪ ⎠
⎧u x (0, t ) = 0 n + 2
⎪ ∞ 2⎛ 2 1 ⎞
⎪ ⎪ ⎛ 2n + 1 ⎞ − a ⎜⎝ 2 L π ⎟⎠ t
Aplica ⎨ u ( L, t ) = 0 y obtiene ⎨ ∑ an cos⎜ π⎟e =0
⎪ u ( x,0) = f ( x ) ⎪ n =0 ⎝ 2 ⎠
⎩ ⎪ ∞ 2n + 1 ⎞
⎪ ∑ an cos⎛⎜ πx ⎟ = f (x)
⎪ n =0 ⎝ 2L ⎠
⎪
⎪⎩
Las dos primeras se satisfacen trivialmente, la última se satisfará si toma an como los coeficientes en la serie de cosenos
L
2n + 1 ⎞
a n = ∫ f ( x ) cos⎛⎜
2
πx ⎟dx para n = 0,1, K .
L ⎝ 2L ⎠
0
2 n +1 2
∞ 2⎛ ⎞
⎛ 2n + 1 ⎞ − a ⎜⎝ 2 L π ⎟⎠ t
u ( x, t ) = ∑ an cos⎜ πx ⎟ e
n =0 ⎝ 2 L ⎠
L
2n + 1 ⎞
a n = ∫ f ( x ) cos⎛⎜
2
πx ⎟dx , n = 0,1, K
L ⎝ 2L ⎠
0
Ejemplo 5
∞ L
2n + 1 2n + 1 ⎞
∑ An cos⎛⎜⎝ 2 L πx ⎞⎟⎠ = f ( x ) f ( x ) cos⎛⎜
2
Aquí se demuestra que para x ∈ [0, L] entonces An = ∫ πx ⎟dx
n =0
L ⎝ 2L ⎠
0
Partimos de la última relación:
∞
2n + 1 ⎞
f (x) = ∑ An cos⎛⎜⎝ 2L
πx ⎟
⎠
n =0
2m + 1 ⎞
Multiplica por cos⎛⎜ πx ⎟ donde m es entero, obtiene:
⎝ 2L ⎠
∞
2m + 1 ⎞ 2n + 1 ⎞ ⎛ 2m + 1 ⎞
f ( x ) cos⎛⎜ πx ⎟ = ∑ An cos⎛⎜ πx ⎟ cos⎜ πx ⎟
⎝ 2L ⎠ n =0 ⎝ 2L ⎠ ⎝ 2L ⎠
Extiende f (x) a una función par sobre el intervalo simétrico ] − L, L [ e integra ambos lados, recibe:
L ∞ L
2m + 1 ⎞ ⎛ 2n + 1 πx ⎞ cos⎛ 2m + 1 πx ⎞dx
∫ f ( x ) cos⎛⎜ πx ⎟dx = ∑ An ∫ cos cos⎜⎝ ⎟ ⎜ ⎟
⎝ 2L ⎠ n =0
2L ⎠ ⎝ 2L ⎠
−L −L
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 593
⎛ L ⎛ ⎞⎞
= 1 ⎜ L − −L + ⎜ sin((2m + 1)π ) − sin(− (2m + 1)π ) ⎟ ⎟ = L
2⎜ (2m + 1)π ⎜ 144244 3 1442443 ⎟ ⎟
⎝ ⎝ 0 0 ⎠⎠
L
1 ⎛ cos⎛ n − m πx ⎞ + cos⎛ n + m + 1 πx ⎞ ⎞dx
Si n≠m tenemos ∫ 2 ⎜⎝ ⎜
⎝ L
⎟
⎠
⎜
⎝ L
⎟⎟
⎠⎠
−L
L
⎛ L n−m ⎞ L n + m + 1 ⎞⎞
= 1⎜ sin⎛⎜ πx ⎟ + sin⎛⎜ πx ⎟ ⎟
2 ⎝ (n − m )π ⎝ L ⎠ (n + m + 1)π ⎝ L ⎠⎠− L
=0
Esto es 0 porque al evaluar en los límites de integración resultan términos con alguno de los siguientes:
L
2m + 1 ⎞
∫ f ( x ) cos⎛⎜ πx ⎟dx
⎝ 2L ⎠
−L
594 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
L ∞ L
⎛ 2m + 1 ⎞ ⎛ 2m + 1 ⎞ 2 n + 1 ⎞ ⎛ 2m + 1 ⎞
= Am ∫ cos⎜ πx ⎟ cos⎜ πx ⎟dx + ∑ An ∫ cos⎛⎜ πx ⎟ cos⎜ πx ⎟dx
⎝ 2L ⎠ ⎝ 2L ⎠ n = ⎝ 2L ⎠ ⎝ 2L ⎠
−
1L44444424444443 n ≠ m −1L44444424444443
0
L 0
L
2m + 1 ⎞
Entonces ∫ f ( x ) cos⎛⎜ πx ⎟dx = Am L
⎝ 2L ⎠
−L
L
2m + 1 ⎞
f ( x ) cos⎛⎜
1
despeja Am =
L ∫ ⎝ 2L
πx ⎟dx
⎠
−L
(2m + 1)π ⎞
f a una función par y el coseno es par entonces f ( x ) cos⎛⎜ x⎟ es par en ] − L, L [ , entonces la integral se
⎝ 2L ⎠
puede escribir en el intervalo de integración [0, L[ como:
L
2m + 1 ⎞
Am = ∫ f ( x ) cos⎛⎜
2
πx ⎟dx , m = 0,1, K
L ⎝ 2L ⎠
0
⎧ u (0, t ) = 0 ∀t > 0
∂ 2u ∂u ⎪ ∂u (3, t )
Ejercicio 3 Resolver la EDPL homogénea = con condiciones de frontera ⎨ =0 ∀t > 0
∂x 2 ∂t ⎪ ∂ x
⎩ u ( x,0) = x 0≤ x<3
u ( x, t ) es temperatura en un punto x de una varilla delgada en un instante t
∂u (3, t )
=0 indica que el extremo x=3 de la varilla está aislado en todo momento.
∂x
u (0, t ) = 0 indica que en el extremo x=0 la temperatura es cero en todo momento.
u ( x,0) = 0 es la condición inicial (para t = 0 ), expresa que la temperatura inicial en cada punto de la varilla es cero.
R. Deben aparecer los siguientes en orden cronológico, para el caso en que la constante de separación sea negativa:
u( x, t ) = (a cos(λx ) + b sin(λx )) e − λ t
2
antes de aplicar las CF.
a=0
2n + 1
λn = π n = 0,1, K
6
bn ≠ 0
(2n + 1)π −( )
2 n +1π 2 t
un ( x, t ) = bn sin⎛⎜ x ⎞⎟ e 6
⎝ 6 ⎠
∞
(2n + 1)π −( )
2 n +1 π 2 t
u ( x, t ) = ∑ ⎛⎜ bn sin x ⎞⎟ e 6
n = 0⎝ ⎠
6
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 595
∞
(2n + 1)π ⎞
u ( x,0) = ∑ ⎛⎜⎝ bn sin 6
x⎟ = x
⎠
n =0
3
2 (2n + 1)π
bn = ∫ x sin xdx (calcularlos).
3 6
0
2
∞ ⎛ 2 n +1π ⎞ t
(2n + 1)π ⎞ − ⎜⎝ ⎟
Y los sustituye en u ( x, t ) = ∑ bn sin⎛⎜ x⎟ e 6 ⎠
n =0 ⎝ 6 ⎠
Ejemplo 6
⎧ u (0, t ) = c ∀t > 0
∂ 2u ∂u ⎪
= sujeta a las condiciones no homogéneas ⎨ u ( L, t ) = 0 ∀t > 0 , para c≠0 constante
∂x 2 ∂t ⎪u ( x,0) = f ( x )
⎩ 0< x< L
u ( x, t ) temperatura en un punto x de una varilla delgada en un instante t
L longitud de la varilla y no es cero
La condición u (0, t ) = c ≠ 0 es no homogénea. A continuación utilizamos el mismo algoritmo que en los ejemplos anteriores,
y veremos como es ineficaz en estos casos (al menos una condición de frontera no homogénea). En una sección posterior
hacemos una ampliación del método y obtendremos resultados positivos.
Solución
Supone soluciones de la EDPL separables u (x, t ) = X ( x ) ⋅ T (t ) y de forma análoga a los ejemplos anteriores llega a las
⎧ u (0, t ) = c ⎧ b=c ⎧⎪ b = c
⎨ ⇒ ⎨ ⇒ ⎨ c
⎩u ( L, t ) = 0 ⎩aL + b = 0 ⎪⎩a = − L
A diferencia de los ejemplos anteriores, la solución que se obtiene queda determinada completamente (sin parámetros):
c
u ( x, t ) = − x+c
L
Sin embargo, esta función no satisface la condición inicial u ( x,0) = c = f ( x ) a menos que f (x) = c , lo que no es
siempre cierto.
596 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
A la solución (
u ( x, t ) = Ae λx + Be − λx e λ t
2
) aplica las condiciones:
⎧ λ2 t
( A + B )
⎪ 144424443 = c
e
⎪ u (0, t )
⎧u (0, t ) = c
⎪⎪ λL
⎪
⎨ u ( L, t ) = 0 ⇔ ⎨1 Ae44+4Be( 2444
− λL λ2 t
e3 = 0 )
⎪ u ( x,0) = f ( x ) ⎪ u ( L, t )
⎩ ⎪ λx − λx
⎪1 Ae44 +4 24443 = f ( x )
Be
⎪⎩ u ( x ,0 )
u( x, t ) = ( A cos(λx ) + B sin(λx )) e − λ t
2
A la solución aplica las condiciones:
⎧ Ae − λ t
2
⎧u (0, t ) = c ⎪⎪
= c
⎪ − λ2 t
⎨ u ( L, t ) = 0 ⇔ ⎨( A cos(λL ) + B sin(λL )) e = 0
⎪ u ( x,0) = f ( x ) ⎪ A cos(λx ) + B sin(λx ) = f (x)
⎩ ⎪⎩
Por el mismo argumento del caso II: como t es variable la 1ra ecuación carece de sentido.
Este ejemplo será resuelto en una sección posterior que trata la ecuación de calor, cuando alguna de las condiciones en los
extremos de la varilla no es homogénea (diferente de cero)
⎧ u (0, t ) = 0 ∀t > 0
∂ 2u ∂u ⎪
Ejercicio 4 Resuelva el PVF k = sujeta a ⎨ u ( L, t ) = 0 ∀t > 0 , k >0
∂x 2 ∂t ⎪u ( x,0) = x 2 ∀x ∈ [0, L[
⎩
R. Como guía, considere en orden de aparición:
2
u ( x, t ) = (a cos(λx ) + b sin(λx ))e − kλ t
nπ
λ= n = 1,2, K
L
nπ ⎞ 2
nπ − k ⎛⎜ ⎟ t
un ( x, t ) = bn sin⎛⎜ ⎟ x ⎞e ⎝ L ⎠ n = 1,2,K
⎝ L ⎠
kn 2π 2
∞ ∞ − t
nπ
u ( x, t ) = ∑ un ( x , t ) = ∑ bn sin⎛⎜⎝ L x ⎞⎟e
⎠
L2
n =1 n =1
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 597
kn 2π 2
∞ − t
nπ
u( x, t ) = ∑ bn sin⎛⎜⎝ L x ⎞⎟⎠e L2 (sustituidos los bn anteriores)
n =1
Ejercicio 5
Una varilla delgada homogénea ocupa el intervalo [0,2] del eje X . La temperatura u ( x, t ) en cada punto de la varilla es
función de la distancia x de ese punto al origen y el instante t en que se mide la temperatura en el punto.
Inicialmente u ( x,0) = x (2 − x ) es la temperatura en el punto que está a distancia x ∈ [0,2] del origen. En cada instante t
la temperatura en los extremos de la varilla es 0 . Suponga que esta aplicación esta modelada por la ecuación de calor:
∂ 2u ∂u
= y condiciones señaladas arriba. Hallar una solución u( x, t ) para este problema.
∂x 2 ∂t
∞ (2 n +1)2 π 2
(2n + 1)π ⎞ − t
∑ (2n + 1)3π 3 sen⎛⎜⎝
32
R. u ( x, t ) = x⎟ e 4
n =0
2 ⎠
598 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
Sea L > 0 una constante. En cada instante t ≥ 0 una cuerda flexible de longitud L está fija por sus extremos
x0 = 0 y x1 = L sobre el eje X . Asumimos que la cuerda tiene densidad, tensión tangencial, etc, constantes en cada
punto y que a partir de t = 0 , cada punto de la cuerda entra en vibración vertical pero no horizontal. Entonces la posición de
cada punto de la cuerda depende del tiempo t y la distancia x , se denota con u ( x , t ) y es la función incógnita. La función
u ( x, t ) ≡ 0 carece de importancia porque en ese caso la cuerda no vibra.
La figura muestra para un instante t la posición u ( x , t ) y velocidad ut ( x , t ) :
∂u ( x, t )
velocidad
∂t
posición u( x, t )
Cuerda en un instante t
Asumimos que la cuerda permanece fija en sus extremos a altura cero, por lo tanto las condiciones de frontera son
homogéneas y se formulan como u (0, t ) = u ( L, t ) = 0 , ∀t ≥ 0 .
Suponemos dadas dos condiciones iniciales (para t = 0 ): que la cuerda coincide con el trazo de la gráfica de una función
continua conocida f , esto se escribe u ( x,0) = f ( x ) ∀x ∈ [0, L] , y que la velocidad es una función dada g , esto es que
∂u
( x,0) = g ( x ) , la velocidad inicial se representa con flechas en la siguiente figura:
∂t
πx
Por ejemplo una cuerda que inicialmente tiene forma de parábola u ( x,0 ) = x ( L − x ) y velocidad ut ( x,0) = xsen .
L
⎧ u (0, t ) = 0
2
∂ u 2
∂ u ⎪ u ( L, t ) = 0
⎪
Κ2 = con condiciones de contorno ⎨ , Κ >0 es constante.
⎪ u ( x,0) = f ( x )
2
∂x ∂t 2
⎪⎩ut ( x,0) = g ( x )
Demostraremos que una solución para este problema es la serie:
∞
nπ nπΚ ⎞ nπΚ ⎞ ⎞
u ( x, t ) = ∑ sin⎛⎜⎝ L
x ⎞⎟⎛⎜ a n cos⎛⎜
⎠⎝ ⎝ L ⎠
t ⎟ + bn sin⎛⎜ t ⎟⎟
⎝ L ⎠⎠
n =1
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 599
L L
nπ nπ
f ( x ) sin⎛⎜ x ⎞⎟dx g ( x ) sin⎛⎜ x ⎞⎟dx
2 2
donde an =
L ∫ ⎝ L ⎠
y bn =
nπΚ ∫ ⎝ L ⎠
0 0
Observe que los términos en x son los protagonistas principales al calcular esos coeficientes de Fourier.
Solución
∂ 2u ∂ 2u
Supone que Κ2 = tiene soluciones u (x, t ) = X ( x ) ⋅ T (t ) para X ( x ), T (t ) funciones.
∂x 2 ∂t 2
∂ 2u ∂ 2u
Y sustituye en la EDPL de onda Κ2 =
∂x 2 ∂t 2
⇒ Κ 2 X ′′ ⋅ T = X ⋅ T ′′
X ′′ T ′′
Separa funciones independientes: = 3
X
{ Κ2
1
2
3 T
solo solo
x t
X ′′ T ′′
Como x, t son variables independientes, esta ecuación solo deja opción a =k = , k constante de separación y
X Κ 2T
su valor o valores deberán ser determinados durante el proceso de solución.
X ′′ T ′′
Las EDs =k = son lineales y la forma de sus soluciones es diferente para constante de separación cero, positiva
X Κ 2T
( λ ) o negativa ( − λ ), y tomamos λ>0
2 2
para evitar las “barras” de valor absoluto.
ut ( x, t ) = X ( x ) ⋅ T ′(t )
3
Con Κ en el término de la izquierda o en el término de la derecha obtendrá la misma solución final, a la derecha simplifica un poco porque
los términos con T tienen menos protagonismo.
600 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧ u (0, t ) = X (0) ⋅ T (t ) =0
⎪ u ( L, t ) = X ( L ) ⋅ T (t ) =0
⎪
Aplica las condiciones ⎨
⎪ u ( x,0) = X ( x )T (0) = f (x)
⎪⎩ut ( x,0) = X ( x )T ′(0) = g(x)
Suponemos T (t ) ≡/ 0 (de lo contrario u ( x, t ) ≡ 0 ), entonces las dos primeras condiciones se reducen a:
⎧ X (0) = 0 ⎧A⋅0 + B = 0 ⎧B = 0
⎨ ⇔ ⎨ ⇔ ⎨
⎩ X (L) = 0 ⎩A⋅ L + B = 0 ⎩A = 0
Entonces u( x, t ) = Ax + B ≡ 0 , señal de que la cuerda no se desplaza y mantiene en posición horizontal, lo que no
⎧ X (0) = 0
⎨
⎩ X (L) = 0
⎧ A+ B =0
⇔ ⎨ λL − λL
⎩ Ae + Be =0
⎧ A = −B
⇔ ⎨
(
λL
⎩− B − e + e
− λL
=0 )
Como λ>0 entonces A = B = 0 ⇔ u ( x, t ) ≡ 0
X ′′ T ′′
Las EDs por resolver son = −λ2 =
X Κ 2T
X ′′
= −λ2 ⇒ X ′′ = −λ2 X tiene ecuación auxiliar r 2 = −λ2 entonces X ( x ) = A cos(λx ) + Bsen (λx )
X
T ′′
= −λ2 ⇒ T ′′ = −λ2 Κ 2T tiene ecuación auxiliar r 2 = −λ2 Κ 2 entonces T (t ) = C cos(λΚt ) + Esen (λΚt )
2
Κ T
Posición de cada punto es u( x, t ) = X ( x )T (t ) = ( A cos(λx ) + Bsen (λx ))(C cos(λΚt ) + Esen (λΚt ))
Y la velocidad ut ( x, t ) = X ( x )T ′(t ) = ( A cos(λx ) + Bsen (λx ))(− Csen (λΚt ) + E cos(λΚt ))λΚ
⎧ u (0, t ) = X (0)T (t ) = 0
⎪ u ( L, t ) = X ( L )T (t ) = 0
⎪
Aplica condiciones de frontera ⎨
⎪ u ( x,0) = X ( x ) ⋅ T (0) = f ( x )
⎪⎩ut ( x,0) = X ( x ) ⋅ T ′(0) = g ( x )
⎧ X (0) =0
⎪ X (L) =0
⎪
⎨
⎪ X ( x ) ⋅ T (0 ) = f ( x )
⎪⎩ X ( x ) ⋅ T ′(0 ) = g ( x )
En estas condiciones de frontera cambia X (x) y T (t ) por sus ecuaciones, obtiene:
⎧ A=0
⎪ A cos(λL ) + Bsen (λL ) = 0
⎪
⎨
⎪ ( A cos(λx ) + Bsen (λx )) ⋅ C = f ( x )
⎪⎩( A cos(λx ) + Bsen (λx )) ⋅ EλΚ = g ( x )
La 2da ecuación se reduce a Bsen (λL ) = 0 .
Toma B≠0 para que u( x, t ) ≡/ 0 , entonces: sen (λL ) = 0 ⇒ λL = nπ , para n ∈ , porque λ > 0 .
nπ
⇒ λ= para n∈
L
Las soluciones u( x, t ) = ( A cos(λx ) + Bsen (λx ))(C cos(λΚt ) + Esen (λΚt ))
nπ nπΚ ⎞ nπΚ ⎞ ⎞
se escriben: un ( x, t ) = Bn sen⎛⎜ x ⎞⎟⎛⎜ Cn cos⎛⎜ t ⎟ + En sen⎛⎜ t ⎟⎟
⎝ L ⎠⎝ ⎝ L ⎠ ⎝ L ⎠⎠
nπ ⎞⎛ nπΚ ⎞ nπΚ ⎞ ⎞
mejor como: un ( x, t ) = sen ⎛⎜ x ⎟⎜ a n cos⎛⎜ t ⎟ + bn sen⎛⎜ t ⎟ ⎟ , a n = Bn Cn , bn = Bn En
⎝ L ⎠⎝ ⎝ L ⎠ ⎝ L ⎠⎠
Estas soluciones satisfacen las condiciones de frontera pero no las condiciones iniciales.
Superposición de soluciones
602 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
∞ ∞
nπ nπΚ ⎞ nπΚ ⎞ ⎞
Construye la función u( x, t ) = ∑ un ( x, t ) = ∑ sen⎛⎜⎝ L
x ⎞⎟⎛⎜ an cos⎛⎜
⎠⎝ ⎝ L ⎠
t ⎟ + bn sen⎛⎜ t ⎟⎟
⎝ L ⎠⎠
n =1 n =1
Reutilizamos el nombre u ( x, t ) sin temor a confundirlo con las soluciones que dejamos atrás.
∞
∂u nπ nπΚ ⎞ nπΚ ⎞ ⎞ nπΚ
Necesitamos de ( x, t ) = ∑ sen⎛⎜ x ⎞⎟⎛⎜ − an sen⎛⎜ t ⎟ + bn cos⎛⎜ t ⎟⎟
∂t n =1 ⎝ L ⎠⎝ ⎝ L ⎠ ⎝ L ⎠⎠ L
⎛ ⎞
∞
nπ ⎞ ⎜ nπΚ ⎞ nπΚ ⎞ ⎟ ∞ nπ
u( x,0) = ∑ sen⎛⎜ x ⎟⎜ an cos⎛⎜ 0 ⎟ + bn sen ⎛⎜ 0 ⎟ ⎟ = ∑ an sen ⎛⎜ x ⎞⎟ = f ( x )
n =1 ⎝ L ⎠⎜ 142 ⎝ L43⎠ 1424 ⎝ L434⎠ ⎟⎟ n =1 ⎝ L ⎠
⎜
⎝ 1 0 ⎠
∞ ∞
⎛ nπ x ⎞⎛ − a sen ⎛ nπΚ 0 ⎞ + b cos⎛ nπΚ 0 ⎞ ⎞ nπΚ = nπΚ nπ
ut ( x,0) = ∑ ⎝ L ⎠⎝ n ⎝ L ⎠ n ⎝ L ⎠ ⎠ L ∑ ⎛⎜⎝ L bn ⎞⎟⎠sen⎛⎜⎝ L x ⎞⎟⎠
sen ⎜ ⎟ ⎜ ⎜ ⎟ ⎜ ⎟ ⎟
n =1 n =1
⎧ u ( x,0) = f ( x )
Y con esto las condiciones iniciales ⎨ se escriben:
⎩ut ( x,0) = g ( x )
∞ L
nπ nπ
∑ an sen⎛⎜⎝ L x ⎞⎟ f ( x )sen ⎛⎜ x ⎞⎟dx
2
f (x) =
⎠
se satisfará si toma an =
L ∫ ⎝ L ⎠
n =1 0
∞ L
nπΚ ⎞ ⎛ nπ ⎞ nπΚ nπ
g ( x ) = ∑ ⎛⎜ bn = ∫ g ( x )sen ⎛⎜ x ⎞⎟dx
2
bn ⎟ sen⎜ x⎟ se satisfará si toma
n =1⎝ L ⎠ ⎝ L ⎠ L L ⎝ L ⎠
0
Concluye que la posición de cada punto de la cuerda está dada por:
∞
nπ nπΚ ⎞ nπΚ ⎞ ⎞
u( x, t ) = ∑ sen⎛⎜⎝ L
x ⎞⎟⎛⎜ an cos⎛⎜
⎠⎝ ⎝ L ⎠
t ⎟ + bn sen ⎛⎜ t ⎟⎟
⎝ L ⎠⎠
n =1
L
nπ
f ( x )sen ⎛⎜ x ⎞⎟dx , n ∈
2
an =
L ∫ ⎝ L ⎠
0
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 603
L
nπ
g ( x )sen ⎛⎜ x ⎞⎟dx , n ∈
2
bn =
nπΚ ∫ ⎝ L ⎠
0
Ejemplo 7
⎧ u (0, t ) = 0
2
∂ u 2
∂ u ⎪ u (1, t ) = 0
⎪
EDPL homogénea = sujeta a ⎨ . Note que son condiciones de frontera homogéneas.
⎪ u ( x,0) = 0
2
∂x ∂t 2
⎪⎩ut ( x,0) = x
∂ 2u ∂ 2u
R. Supone tiene solución u (x, t ) = X ( x ) ⋅ T (t ) y sustituye en la ED = para obtener:
∂x 2 ∂t 2
X ′′ ⋅ T = X ⋅ T ′′
X ′′ T ′′
Separa funciones independientes: =
X
{ T
{
solo solo
x t
X ′′ T ′′
Solo interesa el caso = −λ2 = , para λ > 0
X T
X ′′
= −λ2 ⇒ X ′′ = −λ2 X , tiene ecuación auxiliar r 2 = −λ2 entonces X ( x ) = A cos(λx ) + Bsen (λx )
X
T ′′
= −λ2 ⇒ T ′′ = −λ2T , tiene ecuación auxiliar r 2 = −λ2 entonces T (t ) = C cos(λt ) + Esen (λt )
T
Posición de cada punto es u( x, t ) = (1
A4cos( 4
4λ4x )2
+4Bsen
44
(λ4))(1
x3 C4cos(4
t )2
4λ4 +4 ( 3
44λ4
Esen t ))
X T
La velocidad ut ( x, t ) = ( A cos(λx ) + Bsen (λx ))(− Csen(λt ) + E cos(λt )) ⋅ λ
sen (λ ) = 0
⇒ λ = nπ , n ∈ {1,2, L}
Por lo anterior las soluciones u( x, t ) = ( A cos(λx ) + Bsen (λx ))(C cos(λt ) + Esen (λt )) se reducen a:
∂u ( x, t ) ∞
Con derivada = ∑ nπbn sen (nπx ) cos(nπt )
∂t n =1
Aplica las condiciones de frontera para obtener:
⎧ ∞
⎪ u ( 0, t ) = ∑ bn 1
sen
42(nπ4
30)sen (nπt ) = 0
⎪ n =1 0
⎪ ∞
⎪ u (1, t ) = ∑ bn sen (nπ )sen (nπt ) = 0
⎪⎪ 1
424 3
n =1 0
⎨ ∞
⎪ u ( x,0) =
⎪ ∑ bn sen(nπx )1
sen
42
(nπ430) = 0
⎪ n = 1 0
⎪ ∞
⎪ut ( x,0) = ∑ nπbn sen (nπx )cos 14(2 nπ430) = x
⎪⎩ n =1 1
Las tres primeras solo reafirman que la superposición satisface las respectivas condiciones de frontera.
∞
La 4ta condición ∑ nπbn sen(nπx ) = x se satisfará si selecciona los coeficientes nπbn como en las series de senos en
n =1
[0,1[ , es decir:
L
2
nπbn = ∫ xsen (nπx )dx con L =1
L
0
⎧ μ=x ⎧dμ = dx
1
2
bn =
nπ ∫ xsen ( nπ x )dx . Aplica integración por partes ⎨
⎩
⇒ ⎨
dν = sen (nπx )dx ⎩ ν = − nπ cos(nπx )
1 y
0
2 ⎛ 1 ⎞
⎜ − 1 x cos(nπx ) 1 − − 1 cos(nπx )dx ⎟
0 ∫ nπ
bn =
nπ ⎜ nπ ⎟
⎝ 0 ⎠
2 ⎛ 1 ⎛ 1 sen (nπx ) ⎞ ⎞⎟
1
= ⎜−
⎜ nπ cos( nπ ) + ⎜ ⎟
nπ ⎝ ⎝ n 2π 2 ⎠ 0 ⎟⎠
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 605
⎛ ⎞
2 ⎜ 1 ⎟ 2
= ⎜ − nπ cos
1424( n π ) + 1 sen (nπ )
3 n 2π 2 1424 3⎟ = (− 1)n +1
nπ ⎜ ⎟ n π 2 2
⎝ ( −1)n 0 ⎠
∞
2
La posición de cada punto en la cuerda está dada por u ( x, t ) = ∑ n 2π 2 (− 1)n +1 sen(nπx )sen(nπt )
n =1
Ejemplo 8
⎧ u (0, t ) = 0
⎪ u ( L, t ) = 0
∂ 2u ∂ 2u ⎪
EDPL homogénea 25 = sujeta a ⎨ u ( x,0) = 1 x ( L − x ) , L>0 constante.
∂x 2 ∂t 2 ⎪ ∂u 2
⎪ ( x,0) = 0
⎩ ∂t
R. Supone solución separable u ( x, t ) = X ( x ) ⋅ T (t ) y sustituye en la ED para obtener:
25 X ′′ ⋅ T = X ⋅ T ′′
X ′′ T ′′
Separa las funciones independientes = .
X
{ 25T
{
solo solo
x t
X ′′ T ′′
Obtendremos soluciones para el caso = −λ2 = , λ >0
X 25T
X ′′
= −λ2 ⇒ X ′′ = −λ2 X , tiene ecuación auxiliar r 2 = −λ2 y X ( x ) = A cos(λx ) + Bsen (λx )
X
T ′′
Si = −λ2 ⇒ T ′′ = −25λ2T , tiene ecuación auxiliar r 2 = −25λ2 y T (t ) = C cos(5λt ) + Esen (5λt )
25T
La solución es u( x, t ) = (1
A4cos( 4
4λ4x )2
+4Bsen
44
(λ4))(1
x3 C4cos( λ4
454 t )2
+4Esen
44
(5λ43
t ))
X T
Su derivada respecto al tiempo es ut ( x, t ) = ( A cos(λx ) + Bsen (λx ))(− Csen(5λt ) + E cos(5λt )) ⋅ 5λ . Y las
⎧ A = 0
⎪ Bsen (λL ) =
⎪ 0
Como λ>0 el sistema se reduce a ⎨
⎪ BCsen(λx ) = 1 x ( L-x )
2
⎪⎩ E = 0
Supone que B≠0 (de lo contrario u ( x, t ) ≡ 0 ), entonces sen (λL ) = 0 ⇒ λ L = nπ para n∈
nπ
⇒ λ= para n∈
L
La ecuación BCsen (λx ) = 1 x ( L-x ) para todo x ∈ [0, L] no tiene sentido.
2
Hasta ahora las soluciones u( x, t ) = ( A cos(λx ) + Bsen (λx ))(C cos(5λt ) + Esen (5λt )) se escriben:
u( x, t ) = BCsen(λx ) cos(5λt )
nπ nπ 5nπ
Con λ= un ( x, t ) = bn sen ⎛⎜ x ⎞⎟ cos⎛⎜ t ⎞⎟ , para n ∈
L ⎝ L ⎠ ⎝ L ⎠
Porque cada una de las un ( x, t ) no cumple algunas de las condiciones iniciales construye la superposición:
∞
u ( x, t ) = ∑ un ( x , t )
n =1
∞
nπ 5nπ
⇔ u ( x, t ) = ∑ bn sen⎛⎜⎝ L
x ⎞⎟ cos⎛⎜
⎠ ⎝ L
t ⎞⎟
⎠
n =1
∞
5nπ nπ ⎞ ⎛ 5nπ ⎞
Con derivada ut ( x , t ) = ∑− bn sen ⎛⎜ x ⎟ sen ⎜ t⎟
n =1
L ⎝ L ⎠ ⎝ L ⎠
⎧ u (0, t ) = 0
⎪
Obviamente satisface las tres condiciones de frontera ⎨ u ( L, t ) = 0 .
⎪u ( x,0) = 0
⎩ t
La condición que aún no hemos verificado es u ( x,0) = 1 x ( L − x )
2
∞
nπ 5nπ ⎞
Es decir, (2
u1 0) =
x,3 ∑ bn sen⎛⎜⎝ L
x ⎞⎟cos⎛⎜
⎠ 142
0⎟
⎝ L43⎠
1 x(L − x ) n =1
2 1
∞
nπ ⎞
Nos lleva a:
1
2
x(L − x ) = ∑ bn sen⎛⎜⎝ x⎟
L ⎠
n =1
Válida si y solo si:
L L
bn = ∫ 1 x ( L − x ) sen ⎛⎜
2
L 2
nπ ⎞
x ⎟dx = ∫ Lx − x 2 sen ⎛⎜
⎝ L ⎠
1
L
nπ ⎞
x ⎟dx
⎝ L ⎠
( )
0 0
nπ ⎞ L nπ ⎞
dν = sen ⎛⎜ x ⎟dx ⇒ ν =− cos⎛⎜ x⎟
⎝ L ⎠ nπ ⎝ L ⎠
bn = ⎜ ⎜⎜ −
(
1 ⎛ ⎛ Lx − x 2 L
cos⎛⎜
nπ ) L
⎞
x ⎞⎟ ⎟⎟ +
L
L
( L − 2 x ) cos⎛⎜
nπ ⎞
x ⎞⎟dx ⎟ =
1
L
L − 2 x ) cos⎛⎜
nπ
x ⎞⎟dx
L ⎜⎝ nπ ⎝ L ⎠⎠ nπ ∫ ⎝ L ⎠ ⎟ nπ ∫ (
⎝ L ⎠
⎝ 0 0 ⎠ 0
⎛ ⎛ ( L − 2 x )L L L ⎞
nπ 2L nπ
sen ⎛⎜ x ⎞⎟ ⎞⎟ + sen ⎛⎜ x ⎞⎟dx ⎟
1 ⎜⎜
bn =
nπ ⎜⎝ nπ ⎝ L ⎠ ⎠ 0 nπ ∫ ⎝ L ⎠ ⎟⎠
⎝ 0
⎛ − L2 L⎞
=
1 ⎜ sen ( n π ) −
2 L2 ⎛ cos⎛ nπ x ⎞⎟ ⎞⎟ ⎟
⎜ nπ 1 ⎜ ⎜
nπ 424 3 n 2π 2 ⎝ ⎝ L ⎠ ⎠0 ⎟
⎝ 0 ⎠
⎛ ⎞
2 L2 ⎜ ⎟
=− ⎜ cos( nπ )
3 ⎟ − 1
n 3π 3 ⎜ 1424
⎟
⎝ ( −1)n ⎠
∞
nπ 5nπ
La solución u ( x, t ) = ∑ bn sen⎛⎜⎝ L
x ⎞⎟ cos⎛⎜
⎠ ⎝ L
t ⎞⎟
⎠
n =1
∞
se escribe u ( x, t ) = ∑
2 L2
((− 1)n +1 + 1) sen⎛⎜⎝ nLπ x ⎞⎟⎠ cos⎛⎜⎝ 5nLπ t ⎞⎟⎠
n =1 n π
3 3
∞
4 L2 (2n + 1)π ⎞ ⎛ 5(2n + 1)π ⎞
Equivalente a u ( x, t ) = ∑ sen ⎛⎜ x ⎟ cos⎜ t⎟
n = 0 (2n + 1) π
3 3 ⎝ L ⎠ ⎝ L ⎠
Ejercicios 6
Resolver el siguiente problema con condiciones de frontera. Κ>0 es constante.
⎧ ∂u (0, t ) = 0 ⎧
2 2 ⎪ ∂x ⎪ u ( x,0) = f ( x )
∂ u ∂ u ⎪ ⎪
1. Κ2 = , extremos libres condicionados a ⎨ y condiciones iniciales ⎨
∂x 2 ∂t 2 ⎪ ∂u ⎪ ∂u
⎪⎩ ∂x ( L, t ) = 0 ⎪⎩ ∂t ( x,0) = g ( x )
608 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
∞ L
nπ ⎞ ⎛ nπ nπ nπ ⎞
u( x, t ) = ∑ cos⎛⎜ x ⎟⎜ a n cos⎛⎜ Kt ⎞⎟ + bn sen⎛⎜ Kt ⎞⎟ ⎞⎟ a n = ∫ f ( x ) cos⎛⎜
2
R. donde x ⎟dx
n =1 ⎝ L ⎠ ⎝ ⎝ L ⎠ ⎝ L ⎠⎠ L ⎝ L ⎠
0
L
2 ⎛ nπ x ⎞dx
bn =
nKπ ∫ g ( x ) cos⎜⎝ L ⎠
⎟
0
⎧ ∂u (0, t ) = 0 ⎧
⎪ ∂x ⎪ u( x,0) = 0
∂ 2u ∂ 2u ⎪ ⎪
2. Κ2 = , extremos libres condicionados a ⎨ y condiciones iniciales ⎨
∂x 2 ∂t 2 ⎪ ∂u ⎪ ∂u
⎪⎩ ∂x (2 L, t ) = 0 ⎪⎩ ∂t ( x,0) = L − x
∞
∑ n 3π 3K ((− 1)n +1 + 1)cos⎛⎜⎝ 2 L x ⎞⎟⎠sen⎛⎜⎝ 2 L Kt ⎞⎟⎠ o bien
8L2 nπ nπ
R. u ( x, t ) =
n =1
∞
16 L2 (2n + 1)π ⎞ ⎛ (2n + 1)π ⎞
u ( x, t ) = ∑ (2n + 1)3π 3K cos⎛⎜⎝ 2L
x ⎟ sen⎜
⎠ ⎝
Kt ⎟
2L ⎠
n =0
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 609
⎧ u ( x,0) = 0
⎪u ( x, b ) = f ( x )
∂ 2u ∂ 2u ⎪⎪
+ =0 ∂u
condiciones en el entorno ⎨ (0, y ) = 0
∂x 2 ∂y 2 ⎪ ∂x
⎪ ∂u (a, y ) = 0
⎪⎩ ∂x
Solución
Supone solución separable u( x, y ) = X ( x )Y ( y ) y sustituye en la EDPL para obtener:
X ′′Y + XY ′′ = 0
X ′′ Y ′′
=−
X Y
X ′′ Y ′′
Esta es una identidad si y solo si =k =− , k constante
X Y
Caso I k = λ2 , λ > 0
X ′′ Y ′′
Las EDs por resolver son = λ2 = −
X Y
X ′′
= λ2 ⇔ X ′′ − λ2 X = 0 , tiene ecuación auxiliar r 2 − λ2 = 0 con soluciones r = ±λ , entonces
X
X ( x ) = Ae λx + Be −λx
Y ′′
− = λ2 ⇔ Y ′′ + λ2Y = 0 , tiene ecuación auxiliar r 2 + λ2 = 0 con soluciones r = ±λi , entonces
Y
Y ( y ) = C cos(λy ) + E sin(λy )
Concluye que la ( )
u ( x, y ) = X ( x )Y ( y ) = Ae λx + Be −λx (C cos(λy ) + E sin(λy ))
Para aplicar las condiciones de frontera necesita de:
∂u ( x, y )
∂x
( )
= X ′( x )Y ( y ) = λ Ae λx − Be − λx (C cos(λy ) + E sin(λy ))
610 EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes
⎧
⎪ u ( x,0) = 0
⎪ ∂u
Con esas funciones las condiciones de frontera ⎨ (0, y ) = 0 se escriben:
⎪ ∂x
⎪ ∂u (a , y ) = 0
⎩ ∂x
⎧ X ( x )Y (0) = 0
⎪
⎨ X ′(0)Y ( y ) = 0
⎪ X ′(a )Y ( y ) = 0
⎩
Si X (x) ≡ 0 o Y ( y) ≡ 0 la solución es u ( x, y ) ≡ 0 , por lo tanto suponemos X ( x ) ≡/ 0 ≡/ Y ( y ) y el sistema anterior se
escribe:
⎧ Y (0) = 0
⎪
⎨ X ′(0) = 0
⎪ X ′(a ) = 0
⎩
⎧ C=0
⎪
⇔ ⎨ λ ( A − B) = 0
(
⎪λ Ae λa − Be − λa = 0
⎩ )
⎧ C=0
⎪
⇔ ⎨ A= B
(
⎪λA e λa − e − λa = 0
⎩ )
Cuya solución es A= B=C =0 entonces u ( x, y ) ≡ 0
Caso II k =0
X ′′ Y ′′
En tal caso debe resolver =0=−
X Y
Por integración iterada en ambos caso obtiene: X ( x ) = Ax + B
Y ( y ) = Cy + E
Entonces u ( x, y ) = ( Ax + B )(Cy + E )
∂u ( x, y )
⇒ = A(Cy + E )
∂x
⎧
⎪ u ( x,0) = 0 ⎧ X ( x )Y (0) = 0
⎪ ∂u ⎪
Las condiciones ⎨ (0, y ) = 0 ⇒ ⎨ X ′(0)Y ( y ) = 0
⎪ ∂x ⎪ X ′(a )Y ( y ) = 0
⎪ ∂u (a , y ) = 0 ⎩
⎩ ∂x
EDPL homogéneas de Onda, Calor, Laplace. Prof. Julio Céspedes 611
⎧ Y (0) = 0
⎪ ⎧E = 0
Suponemos X ( x ) ≡/ 0 ≡/ Y ( y ) entonces ⎨ X ′(0) = 0 ⇒ ⎨
⎪ X ′(a ) = 0 ⎩A = 0
⎩
Resulta la solución u0 ( x, y ) = ( Ax + B )(Cy + E ) = BCy , sin embargo, no satisface la condición u ( x, b ) = f ( x )
( )
u( x, y ) = ( A cos(λx ) + B sin(λx )) Ce λy + Ee −λy = A cos(λx ) Ce λy − Ce −λy ( )
e λy − e − λy
Como sinh (λy ) = , se escriben: u( x, y ) = 2CA cos(λx ) sinh(λy )
2
nπ nπ nπ ⎞
Como λ= , estas soluciones se escriben un ( x, y ) = An cos⎛⎜ x ⎞⎟ sinh⎛⎜ y⎟ , n ∈
a ⎝ a ⎠ ⎝ a ⎠
nπ ⎞ nπ ⎞
Para analizar la última condición de frontera, calcula un ( x, b ) = An cos⎛⎜ x ⎟ sinh⎛⎜ b⎟
⎝ a ⎠ ⎝ a ⎠
Sin embargo, ninguna de estas es necesariamente igual a f (x) (por ejemplo si f (x) es una parábola)
Superposición de soluciones
A A
Del caso k =0 obtuvimos la solución u0 ( x, y ) = 0 y , escribimos la constante 0 pensando en series de Fourier
2 2
nπ nπ ⎞
Y del caso k = −λ2 las soluciones un ( x, y ) = An cos⎛⎜ x ⎞⎟ sinh⎛⎜ y⎟ , n ∈
⎝ a ⎠ ⎝ a ⎠
∞
A0 nπ ⎞ nπ ⎞
Considera la superposición de esas soluciones u ( x, y ) = y + ∑ An cos⎛⎜ x ⎟ sinh⎛⎜ y⎟
2 n =1 ⎝ a ⎠ ⎝ a ⎠
Es fácil demostrar que esta satisface tres de las cuatro condiciones y la cuarta condición u ( x, b ) = f ( x ) se escribe:
∞
A nπ ⎞ nπ ⎞
u( x, b ) = f ( x ) = 0 b + ∑ An cos⎛⎜ x ⎟ sinh⎛⎜ b⎟
2 n =1 ⎝ a ⎠ ⎝ a ⎠
La cual se satisfará si toma los coeficientes:
a a
2 2
A0b = ∫ f ( x )dx
ab ∫
⇒ A0 = f ( x )dx
a
0 0
a a
nπ ⎞ 2 nπ ⎞ ⎛ nπ x ⎞dx
An sinh⎛⎜ b ⎟ = ∫ f ( x ) cos⎛⎜
2
⎞∫
x ⎟dx ⇒ An = f ( x ) cos⎜ ⎟
⎝ a ⎠ a ⎝ a ⎠ nπ ⎝ a ⎠
0 a sinh⎛⎜ b⎟ 0
⎝ a ⎠
∞
A nπ nπ ⎞
Concluye u ( x, y ) = 0 y + ∑ An cos⎛⎜ x ⎞⎟ sinh⎛⎜ y⎟
2 n =1 ⎝ a ⎠ ⎝ a ⎠
a
2
ab ∫
A0 = f ( x )dx
0
a
nπ ⎞
f ( x ) cos⎛⎜
2
An =
⎛ nπ ⎞ ∫ ⎝ a
x ⎟dx , n ∈
⎠
a sinh⎜ b⎟ 0
⎝ a ⎠