Método de Separación de variables para EDP

Para resolver un problema de valores en el borde con ecuaciones diferenciales parciales, muchas
veces se puede aplicar directamente esta técnica (inventada por Daniel Bernoulli en los 1700s)
conocida como método de separación de variables.

Concretamente este método puede usarse cuando la ecuación diferencial parcial (EDP) y las
condiciones de borde (CB) del problema son lineales (ecuaciones de 1er grado en la variable
dependiente y sus derivadas) y homogéneas (admiten la solución trivial pues cada término
contiene la variable dependiente o una derivada).

La propiedad fundamental de una ecuación diferencial lineal y homogénea es que cualquier

combinación lineal de soluciones conocidas también la satisface (Principio de Superposición)

Existen problemas que NO CUMPLEN con estas condiciones de linealidad y homogeneidad pero
pueden convertirse, a partir de cambios de variables adecuados, en (PVB) donde la EDP y sus CB
resultan lineales y homogéneas, pudiendo aplicar el método a las “nuevas variables”, para luego
expresar la solución del problema original en término de las variables originales.

Ejemplos:

1) La ecuación no lineal = + puede reducirse a la ecuación del calor, = ,

mediante el cambio de variables = (VERIFICARLO).

2) Aplicación en economía: El valor de un derivado financiero se basa en el precio de otro activo

(subyacente) S y depende del tiempo t. Cualquier derivado sobre S, V(S, t), debe verificar la
siguiente ecuación diferencial parcial no lineal conocida como Modelo de Black-Scholes:

+ + , + − = 0 donde r es la tasa de interés y la desviación

de los cambios de las tasas de cambio. Esta ecuación también se reduce a la ecuación del calor,
= , si se le aplican los siguientes cambios de variables : =
,! ,
" =2 , = $ , = % − 2 ! , siendo K el precio de ejercicio de la opción de compra y
T su vencimiento.

Separación de variables para un (PVB) con ecuación del calor

Interesados en poder predecir cómo cambia la energía térmica inicial (representada en la
condición inicial CI ) a medida que pasa el tiempo en una situación física relativamente sencilla,
vamos a aplicar la técnica del método de separación de variables, a la ecuación del calor en un
cilindro unidimensional con temperatura prescripta cero en los extremos y sin fuentes internas de
calor. Esta descripción nos permite formular el (PVB) con las siguientes ecuaciones (EDP y CB)
lineales y homogéneas:
 *+&: = ". , ./ / 0 < < 1
& ' ∶ ) 2': 0, = 0 ; 1, = 0 ; ≥ 0 8
25: , 0 = 6 , ./ / 0 ≤ ≤ 1

El método de separación de variables consiste en determinar soluciones del problema que tengan
forma de producto de funciones de “variables separadas”, es decir:

Paso 1) Proponer , = ∅ : donde ∅ es sólo función de x y G sólo función de t.

Ahora como la función u propuesta debe satisfacer el (PVB), comenzamos por reemplazarla en la
EDP, así obtenemos ∅ :´ = ". ∅´´ : y para “separar variables” dividimos ambos
miembros por ". ∅ : ≠ 0 (ya que suponemos que existe solución no trivial). Entonces,

:´ ∅´´
= = −=
". : ∅

ya que la única posibilidad de que una función solamente de t sea igual a una función solamente
de x, es que ambas expresiones sean constantes. Constante que denotamos con – = ( = se conoce
como constante de separación y el signo menos se introduce por conveniencia).

De esa doble igualdad resultan las siguientes EDO, una para ∅ y otra para : : ∅´´ = −=. ∅
y :´ = −=. ". : .

Paso 2) Resolver el problema a valores en el borde para ∅ :

Ahora reemplazamos la función propuesta en las condiciones de borde CB del problema original,

0, = ∅ 0 : = 0 ⇒ ∅ 0 = 0 pues : ≠ 0 sino u sería la solución trivial, del

mismo modo ,

1, = ∅ 1 : = 0 ⇒ ∅ 1 = 0 . Por lo tanto el problema para ∅ queda

∅´´ = −=. ∅
∗ )∅ 0 = 0 .8 Veamos para qué valores de = este problema tiene soluciones no triviales:
∅ 1 = 0

• Si A < 0 ⇒ ∅ = / cosh √−= . + G sinh √−=.

Notar que podemos proponer esta combinación lineal de funciones hiperbólicas en vez de
las funciones exponenciales linealmente independientes ± √ K . Por qué?
Ahora reemplazamos esta ∅ en las condiciones de borde de (*) para hallar / y G ∶

∅ 0 = / cosh 0 + G sinh 0 = /. 1 + G. 0 ⇒ / = 0

∅ 1 = 0. cosh √−= . 1 + G sinhM√−=. 1N = 0 ⇒ G = 0 , pues sinh(x) =0 sólo si x = 0.

Por lo tanto cuando = < 0 la solución de (*) es ∅ = 0 OPQRSTóV WXTYTZQ .
 ∅ 0 = G ⇒ G = 0
Si A = [ ⇒ ∅ = / + G ⇒ ⇒ ∅ \ = [ OPQ. WXTYTZQ
∅ 1 = /. 1 ⇒ / = 0
•

Comentario: Se dice que los = ≤ 0 no son autovalores del problema a valores en el borde (*)

• Si A > 0 ⇒ ∅ = / cos √= . + G sinM√=. N

Ahora reemplazamos esta ∅ en las condiciones de borde de (*) para hallar / y G ∶

∅ 0 = / cos 0 + G sin 0 = /. 1 + G. 0 ⇒ / = 0

V.f h
∅ 1 = 0 + G sinM√=. 1N = 0 abc √=. 1 = d. e ⇒ A = g
para
^_`
n = 0, 1, 2, 3, …

son los autovalores del problema, o sea los que producen las soluciones no triviales

V.f
∅ = G. sin i g
j , llamadas autofunciones del problema a valores en el borde (PVB)

Paso 3) Resolver la EDO para : para los autovalores hallados:

Reemplazamos A en la ecuación : ´ = −=. ". : y resolvemos,

V.f h V.f h
:´ = −i j . ". : ⇒ : = k. para cualquier constante k ∈ m.
i j . .
g
g

Paso 4) Aplicar el principio de superposición (extendido) a las soluciones producto halladas:

V.f h
V.f
: .∅ = G. k. . sin i j
i j . .
g
g
para n = 0, 1, 2, 3, …

Notamos que tenemos infinitas soluciones producto, una para cada n, por lo tanto será una
combinación lineal infinita, la expresión para la solución u(x, t) del problema original (PVB);
en la cual, incorporando b.c a los escalares, denotados con An, resulta que
q
V.f h d. e
, = n op . sin i j
i j . .
g
1
pr

Paso 5) Determinar los coef. An a partir de la aplicación de la condición inicial CI del (PVB):

Evaluamos la expresión anterior para t = 0 y la igualamos al dato inicial f (x), entonces

V.f h
= ∑q
p.t p.t
, 0 = ∑q
pr op . sin i j ⇒ 6 pr op . sin i j
i j . .`
g
u u
 y notamos que ésta última expresión para f(x) es la serie de Fourier de senos de f(x) .

Sabemos que la serie de Fourier de los senos de f es igual a la serie de Fourier de la

extensión impar de f en el intervalo ( - L , L), por lo cual sus coeficientes (coeficientes de

Fourier para el desarrollo de semi-intervalo) se calculan resolviendo la siguiente integral:

u
2 d. e
op = v 6 . sin i j.w
1 1
`

Por lo tanto, la solución analítica general del problema (PVB) es

q
2 u
de V.f h d. e
, = n v 6 sin dx . sin i j
i j . .
g
1 ` L 1
pr

OBSERVACIONES:

1- Los coeficientes de Fourier op no siempre son “fáciles” de evaluar, en cuyo caso se necesita
aplicar integración numérica en una computadora.

2- Se obtienen buenas aproximaciones para u(x, t) truncando la serie para “unos pocos términos”
debido al rápido decrecimiento exponencial, cuadrático en n (VER Ejemplo 2.3.7 pág 52-53).

3- Después de mucho tiempo, la condición inicial f(x) poco importa y las condiciones de borde van
a dominar, en efecto es natural esperar que el perfil de temperatura se aproxime a la temperatura
de equilibrio (convergencia al estado de equilibrio). La distribución de temperatura en estado
estacionario para este problema de temperaturas cero en los bordes es la solución trivial,
= lim →q , = 0 (la solución evolutiva o transiente converge a la solución estacionaria).

4- Se obtiene SOLUCIÓN EXACTA para el (PVB) cuando la condición inicial f(x) es una combinación
lineal de las autofunciones del problema. Ejemplos: RESOLVER Ejercicio 2.3.3 (a) y (b) de pág 54.

Problemas propuestos: libro “Applied Partial Differential Equations” R. Haberman (2004)

Pág 54-55 (EXERCISES 2.3) : 2.3.3 y 2.3.4

Pág 59 (Sección 2.4 Worked Examples with de Heat Equation) : 2.4.1 (Extremos aislados ) y 2.4.2
(Conducción del calor en un anillo circular delgado)

Pág 69 (EXERCISES 2.4) : 2.4.1 (a) y (b) , 2.4.2 y 2.4.6

--------------------------------------------------
 ECUACIÓN de LAPLACE: Soluciones y propiedades cualitativas
La ecuación del calor en 2 o 3 dimensiones para u = u(x,y,t) toma la siguiente forma

k ,~ • ,~ , ~, = ∇. M$ ` , ~ ∇u , ~, N + ‚ , ~, donde ∇ es el operador nabla,

∇u es el gradiente de la temperatura y ∇. $ ` ∇u es la divergencia del campo vectorial $ ` ∇u .

En los casos en que no hay fuentes internas de energía térmica (Q = 0) y los coeficientes térmicos

= " ∇ u , donde ∇ u = uxx+ uyy es el Laplaciano de u.

son constantes, la ecuación queda:

Ahora si las condiciones de borde son estacionarias (independientes de t) es posible obtener una
solución de equilibrio, es decir una u = u (x, y), solución de la ecuación diferencial parcial

∇ u = 0 conocida como Ecuación de Laplace o ecuación potencial (pues en ausencia de fuentes

la satisfacen el potencial electrostático y el gravitacional)

Comentario: Cuando hay un término fuente Q, la ecuación ∇ u = -Q se conoce como ecuación

de Poisson (para el caso de potencial electrostático, Q es la densidad de carga). Esta ecuación
también aparece en el cálculo de deflexiones luego de aplicar el cambio de variables =‹ +
‹ŒŒ en la siguiente ecuación diferencial parcial que modela las deformaciones (VERIFICAR)

• • • Ž → ••‘’• “”‘ p•–•– –— á‘—•

+ 2 + =
Œ Œ ™ → ‘•’•–—• š›— •”p•›

Separación de variables para la ecuación de Laplace en un rectángulo

Sea u (x, y) la temperatura de equilibrio en un rectángulo R ={ (x,y): 0 ≤ x ≤ L , 0 ≤ y ≤ H } cuyos
bordes laterales están aislados, con temperatura u(x, 0) = 0 en el borde inferior y u(x, H) = f(x) en
el borde superior. El (PVB) que modela esta situación es (Ejercicio 2.5.1 (a) pág 85):

*+&: + ŒŒ = 0 , ./ / 0 < < 1, 0 < ~ < œ

& ' ∶ ) 2'1,2: 0, ~ = 0 , 1, ~ = 0 , 0 ≤ ~ ≤ œ 8
2'3,4: , 0 = 0 , , œ = 6 , 0 ≤ ≤ 1

Podemos resolverlo aplicando el método de separación de variables (por qué?) En efecto:

Paso 1) Proponemos , ~ = ∅ ℎ ~ reemplazamos en la EDP y separamos variables:

∅´´ ℎ´´ ~ ∅´´ = −= ∅ 8

= − = −= ⇒
∅ ℎ ~ ℎ ~ = = ℎ ~
´´
Paso 2) Resolvemos el problema a valores en el borde con 2 condiciones de borde homogéneas:

En este caso, corresponden a x =0 y x = L las condiciones de borde homogéneas CB1,2 (lados

aislados), entonces resolvemos primero el problema para ∅ :

∅´´ = −=. ∅
∗ )∅´ 0 = 0 8.Veamos para qué valores de = este problema tiene soluciones no triviales:
∅´ 1 = 0

• Si A < 0 ⇒ ∅ = / cosh √−= . + G sinh √−=.

Ahora ∅´ 0 = √−=M/ senh √−= . 0N + G coshM√−=. 0N = √−=. G = 0 ⇒ G = 0
∅´ 1 = √−=M/ senh √−= . 1N = 0 sólo si a = 0. Por lo tanto cuando = < 0 la solución de
(*) es ∅ = 0 OPQRSTóV WXTYTZQ .

∅′ 0 = / ⇒ / = 0
A = [ ⇒ ∅ = / + G ⇒ ⇒∅ \ = ¢ SPVOWZVW£
∅′ 1 = / ⇒ / = 0
• Si ,

entonces A = [ es autovalor de esta problema (pues produce solución no trivial)

• Si A > 0 ⇒ ∅ = / cos √= . + G sinM√=. N

∅¤ 0 = √= − / sen 0 + G cos 0 = √= G = 0 ⇒ G = 0

V.f h
∅′ 1 = √= − / senM√=. 1N = 0 abc √=. 1 = d. e ⇒ A = para
•_` g
n = 0, 1, 2, 3, …

Entonces los A > 0 también son autovalores del problema, cuyas autofunciones son
V.f
∅ \ = Z. ¥¦§ i g
\j para n = 0, 1, 2, 3, …

Paso 3) Para los autovalores hallados resolver la EDO para h ¨ con la restante CB homogénea:

ℎ¨ ~ = 08
Para A = [ ⇒ © ⇒ … ⇒ ¬ ¨ = Z ¨
ℎ 0 =0

p.t
V.f h ℎ¨ ~ = i j
ℎ ~ 8 ⇒
Para A = i g
j ⇒ - u
ℎ 0 = 0
ptŒ ptŒ
ℎ ~ = / cosh + G ® dℎ
8 ⇒
Vf¨
) ¬ ¨ = ¢. O£V¬
u u
pt.` pt.`
ℎ 0 = / cosh u + G ® dℎ u = 0 ⇒ / = 0 g
Paso 4) Aplicar el principio de superposición (extendido) a las soluciones producto halladas:
q
de~ d. e
,~ = o
¯` ~ + n op ® dℎ cos i j
1
°±±±±±±±±±²±±±±±±±±±³ 1
Ar[ pr
A´`

Paso 5) Determinar los coef. An a partir de la aplicación de la condición borde NO homogénea:

q
deœ d. e
, œ = o¯
` œ + n o ® dℎ cos i j=6
°±±±±²±±±±³
p
1 1
·
µ¶ pr
µ·¸

·` = ¹u 6
con o w ·p = ¹u 6
y o
p.t
. cos i j.w
u ` u ` u
de donde

u q u
1 2 d. e de~ d. e
,~ = º v 6 w » ~ + n º v 6 cos i j w » ® dℎ cos i j
œ. 1 deœ 1 1 1
°±±±±±²±±±±±³
` 1. ® dℎ
°±±±±±±±±±±±±±±±±±±±±±±±²±±±±±±±±±±±±±±±±±±±±±±±³
pr 1 `
A r [ A ´ `

Esta es la expresión analítica para la solución de la ecuación de Laplace en un rectángulo.

Observación: Siempre es posible formular los problemas “de Laplace” en un rectángulo

descomponiéndolos en problemas como el anterior, en el cual de las cuatro CB sólo una sea no
homogénea y se “deje para el final” es decir, “se la trate” como CI en el último paso del
procedimiento, para determinar los coeficientes de la serie.

Ejercicio propuesto: 2.5.1(b) de pág 85. Ayuda: al resolver el problema de valor inicial para ∅
es conveniente proponer como solución, una combinación lineal de funciones trasladadas, esto es

∅ = / cosh √= − 1 + b senh √= − 1 pues la condición homogénea está dada en x= L.

aplicar el método de separación de variables pero luego de usar “las coordenadas polares (r, ½ ”
Comentario: Para el caso de Ecuación de Laplace en un círculo de radio R, también se puede

con 0 < r < R y − e < ½ < e donde deben imponerse condiciones de borde apropiadas, como ser
para reescribir el problema, que de esta manera pasa a tener un dominio matemático rectangular,

condiciones de regularidad (contacto térmico perfecto) en ½ = ± e. (Sección 2.5.2: OPTATIVO)

Propiedades cualitativas
A menudo, el método de separación de variables no resulta apropiado. Si se desea información
cuantitativa de la solución, suelen ser necesarios y mucho más eficientes los métodos numéricos
que veremos más adelante. Sin embargo, al momento de determinar propiedades cualitativas de
las soluciones de gran interés práctico, es el método de separación de variables el que nos permite
obtener estas respuestas:
1-Propiedad del valor medio para la ecuación de Laplace: Si u es solución de la ecuación de
Laplace en una región arbitraria Ω, siempre es posible considerar para cualquier punto P dentro de
Ω, un círculo de radio r0 (con r0 suficientemente chico para que el círculo esté contenido en Ω) y
se puede demostrar (usando el teorema del valor medio) que

En estado de equilibrio (estacionario)la temperatura en cualquier punto P interior a Ω es igual al

promedio de la temperatura alrededor de cualquier círculo con centro en P contenido en Ω

2-Principio del máximo: A partir de la propiedad anterior, se puede concluir que

En estado de equilibrio, la temperatura no puede tener un máximo en ningún punto interior al

dominio, es decir, las temperaturas máximas y mínimas se dan en el borde del dominio

3-Condición de compatibilidad para la existencia de soluciones: En el caso de ecuación de

solución de la ecuación de Laplace en Ω, entonces ∇ u = 0 en toda la región Ω e integrando

Laplace con flujo prescrpto en la frontera, el problema podría no tener solución. En efecto, si u es

obtenemos

0 = ∬Ω ∇ u dx dy = ∬Ω ∇. ∇u dx dy =
À ¹ÇΩ ∇u. n
È w® , donde ∂Ω es la curva cerrada que
ÁÂÃ.ÄÅÂÂÆ
rodea a Ω y nÈ es el vector normal exterior a ∂Ω . Esto nos dice que si u es solución de la ecuación
de Laplace el flujo de calor neto a través de la frontera debe ser cero. Esto también está claro
desde el punto de vista físico, puesto que en caso contrario habría cambio en el tiempo de la
energía térmica total dentro de la región, violando la condición de estado estacionario.

Por lo tanto la condición ¹ÇΩ ∇u. n

È ds = 0 se llama condición de compatibilidad para la Laplace.

Ejercicio propuesto: 2.5.2 (a) y (b) de pág 85

---------------------------------------------------------------------------------------------------------------------------

Material elaborado por Adriana Frausin (2014)

BIBLIOGRAFÍA: Haberman,R. “Applied Partial Differential Equations” Prentice-Hall (2004)-Capítulo 1

Zill y Cullen “Ecuaciones diferenciales con aplicaciones de valores en la frontera” Thomson (2006)