CAPÍTULO II

Churchill, Fourier Series and Boundary Value Problems 3ª Ed

MÉTODO DE SEPARACIÓN DE VARIABLES O MÉTODO DE FOURIER

El método de separación de variables o MÉTODO DE FOURIER, es una herramienta

poderosa para encontrar la solución de problemas de la física-matemática, en su proceso se
obtienen varias ecuaciones diferenciales ordinarias, EDO, a partir de la ecuación diferencial
parcial, EDP, con lo cual, se simplifica la solución del problema. A continuación, se presenta un
ejemplo que describe de forma explícita este método.

2.1 Transferencia de Calor Unidimensional en Estado No Estacionario (Problema que

genera una serie de Fourier de senos).
Suponer una barra idealmente aislada para llevar a cabo transferencia de calor solo en
dirección x, dentro de la cual existe una distribución de temperatura que se puede expresar como
una función de la posición. En el instante t = 0, los extremos x = 0 y x = l se colocan a
temperatura cero y son mantenidos a esa temperatura, con lo cual se tendrá una disipación del
calor hacia los extremos. Se desea evaluar la distribución de temperatura como una función de la
posición y del tiempo, T(x,t).
Este proceso lo gobierna la ecuación de calor

. (2.1.1)

Con condición inicial

, (2.1.2)
y condiciones frontera
, (2.1.3)
. (2.1.4)
El problema anterior consta de una EDP de segundo orden homogénea (2.1.1), una condición
inicial, CI, no homogénea (2.1.2) y dos condiciones frontera, CF, homogéneas, (2.1.3 y 4). Estas
características definen un problema completo y homogéneo. Hay que notar que la EDP contiene
igual numero de derivadas que de condiciones, por lo cual se tiene un problema totalmente
determinado (completo). El método de separación de variables es específico para este tipo de
problemas y no se puede aplicar a problemas que cumplan con los anteriores requisitos.
La suposición fundamental del MÉTODO DE FOURIER es que la variable dependiente se
considera igual a un producto de funciones, en donde cada una de estas, depende solo de una de las
variables independiente. En este caso
, (2.1.5)
esta solución propuesta debe satisfacer la EDP (2.1.1) y las CF (2.1.3) y (2.1.4).
Por lo tanto, al sustituir la ecuación (2.1.5) en (2.1.1) se obtiene

la cual al ser dividida por es

y en donde la igualdad a (constante de separación por determinar) se justifica por la

independencia de cada uno de los términos en la ecuación, ya que el lado izquierdo de la ecuación
es independiente de x y el derecho es independiente de t.
La anterior ecuación proporciona dos EDO,

(2.1.6)

. (2.1.7)

Las soluciones de las ecuaciones (2.1.6) y (2.1.7) son:

(2.1.8)

Para la otra ecuación diferencial

(2.1.9)

Para encontrar el valor de las constantes de integración y de separación, es necesario obtener

condiciones para cada una de las funciones independientes. Esto se hace mediante la sustitución de
(2.1.5) en (2.1.3) y (2.1.4),
(2.1.10)
(2.1.11)
La obtención de (2.1.10) y (2.1.11) se justifica a causa de que debe ser diferente de cero, ya
que forma parte, en producto, de la solución propuesta.
Aplicando la condición (2.1.10) en (2.1.9) se obtiene
1 0

de donde se determina que y por lo tanto de la solución (2.1.9) queda solo

. (2.1.12)
Ahora, aplicando la condición (2.1.11) en la ecuación (2.1.12) se tiene
(2.1.13)
Como no puede ser igual cero debido a que X(x) sería igual cero y en consecuencia la
solución buscada también seria igual a cero, entonces se tiene que
(2.1.14)
La ecuación anterior es llamada ecuación característica y se cumple cuando el producto es
múltiplo de

o sea

por lo tanto, se pueden determinar los valores de ,

(2.1.15)

Los valores de son llamados valores característicos y siempre se obtienen como las raíces
positivas de la ecuación característica. Con lo anterior las soluciones (2.1.8) y (2.1.12) para
y X(x) son:

, (2.1.16)

, (2.1.17)

y de acuerdo a la solución propuesta (2.1.5) se tiene

, (2.1.18)
El principio de superposición establece que la solución de una ecuación diferencial es la
combinación lineal de soluciones linealmente independientes, por lo tanto, la solución es

(2.1.19)

donde las son llamadas constantes de combinación lineal. La determinación

de estas constantes se efectúa aplicando la condición inicial (la condición no homogénea), por lo
tanto, aplicando (2.1.2) en (2.1.19) se tiene

(2.1.20)

La ecuación anterior indica que puede ser expresada como una serie de Fourier de senos y
que los valores de las , n = 1,2,3,…, deben satisfacer dicha igualdad. Para determinar dichos
valores se aplica la propiedad de ortogonalidad de funciones (similar a la ortogonalidad de
vectores).
La ortogonalización se efectúa multiplicando toda la ecuación, por la misma función característica,
con diferente valor característico y se integra en el dominio (0 ≤ x ≤ l ).

(2.1.21)

Hay que notar, que en la anterior ecuación se define un vector de ecuaciones, una ecuación para
cada valor de m. Se puede mostrar por integración directa

que la integral del lado derecho de la ecuación (2.1.21) es igual a cero si

La anterior se le conoce como integral de ortogonalidad

y si
, por lo tanto, todos los términos de la sumatoria exceptuando uno son cero, en cada ecuación. De
esta manera se puede despejar para An

Ejemplo el caso de que m = 3

De donde

En general

(2.1.22)

Al sustituir los valores de las constante An de la serie de Fourier de senos en la ecuación (2.1.19) se
tiene la solución completamente determinada para el problema planteado

(2.1.23)

Esta serie es convergente por lo que se puede truncar la sumatoria hasta un valor determinado de n,
dependiendo de la precisión deseada.
Ejemplo
Como caso particular se considerará una barra de hierro de 10 cm de longitud y difusividad
térmica a2 = 0.15 cgs sujeta a una temperatura inicial dada por la ecuación
T(x,0) = f(x) = 100, 0 < x < l.
Para simplificar la sumatoria se puede proceder a efectuar la integración

De donde

Al sustituir los valores de An, en la solución (2.1.23) se obtiene que la temperatura está dada por

Si se escoge conocer el perfil de temperatura a los 60 segundos

Luego, para la temperatura en 1 cm

Notar que solo se calcula para la mitad de la barra, ya que este físicamente es un problema
simétrico y se predice una distribución parabólica. Además ña convergencia de la serie debida al
rápido decremento del exponencial.
2.2 Problema de Sturm-Liouville.

El método de separación de variables es el indicado para resolver analíticamente los

problemas de la física - matemática homogéneos. Como ya se vio en el ejemplo anterior, el
objetivo de este método es la generación de varias EDO a partir de la EDP, y la obtención de
condiciones para cada EDO, a partir de las CF homogéneas. Para que el MÉTODO DE FOURIER
pueda aplicarse, al menos una de las EDO obtenidas y sus condiciones deben formar un problema
de Sturm-Liouville. Lo cual asegura la existencia de funciones ortogonales y la posibilidad de
determinar las constantes de combinación lineal.

El problema de Sturm-Liouville esta definido por la ecuación diferencial ordinaria

(2.2.1)

En donde son funciones de x.

y dos condiciones homogéneas en las fronteras

, (2.2.2)

. (2.2.3)

Dependiendo del valor particular de las constantes A1, A2, B1 y B2, se obtienen condiciones de
primero, segundo y tercer tipo, homogéneas.

Sean yn(x) y ym(x) dos funciones características que se corresponden a dos valores característicos n
y m y que satisfacen al problema de Sturm-Liouville. Sustituyendo estas dos funciones y valores
característicos en la ecuación (2.2.1) se tiene las siguientes ecuaciones.

Multiplicando la primera ecuación por ym(x), la segunda por yn(x) y restando las ecuaciones
resultantes se obtiene
Integrando la anterior en el dominio, y cambiando el orden se tiene

Eliminando las integrales iguales sustituyendo límites y agrupando términos se tiene

(2.2.4)

Pero, las funciones características también deben satisfacer las condiciones frontera (2.2.5) y
(2.2.6), por lo cual se tiene

La, igualdad a cero de los determinantes anteriores se explica a causa de que un sistema de
ecuaciones homogéneo tiene solución si y solo si su determinante es igual a cero. Por lo tanto, la
ecuación (2.2.7) se reduce a

(2.2.8)

Para valores característicos diferentes, n  m necesariamente

n  m (2.2.9)
La ecuación anterior se le conoce como integral de ortogonalidad con función de peso, p(x).
Una generalización del concepto anterior se obtiene al considerar la expansión de una función
seccionalmente continua, f(x), en una serie generalizada de Fourier

, (2.2.10)

donde es una función característica obtenida de un problema de Sturm Liouville,

con propiedad de ortogonalidad. Las constantes de combinación lineal, An, se pueden encontrar al
multiplicar la ecuación (2.2.10) por la función de peso, p(x), y la función característica con otro
valor característico, , para luego, integrar en el dominio, ,

(2.2.11)

de acuerdo a la ecuación (2.2.9), todas las integrales del lado derecho son cero, a excepción de
una, cuando m = n, por lo tanto, la constante de combinación lineal es

(2.2.12)

en donde , es la magnitud o norma de la función característica, , definida por

(2.1.13)

hay que notar la semejanza entre la norma definida en la ecuación (2.2.13) y la norma para un
conjunto de vectores n-dimensional con componentes vk, dada por

. (2.2.14)

Notar que el problema de Sturm-Liouville 2.2.1, 2.2.2 y 2.2.3 asegura lo ortogonalidad.

Con los valores particulares en el problema de Sturm Liouville , , ,
, se generan las ecuaciones 2.1.7, 2.1.10 y 2.1.11, y su

función característica es ortogonal en virtud de 2.2.9 con norma magnitud de

2.1.13
3. Problema que genera una Serie de Fourier de Cosenos
El siguiente ejemplo genera la serie de Fourier de Cosenos (Del libro de Smirnov)
Una sustancia disuelta con concentración inicial constante, C0, encerrada entre los planos x = 0 y x
= h, se empieza a difundir a t = 0, en un solvente localizado entre los planos x = h y x = l. Se
desea determinar el proceso de compensación de concentraciones, suponiendo que los planos x = 0
y x = l son impermeables a la sustancia.
C0 C=0

|-------------|----------------------------|

x=0 x=h x=l Ley de Fick

La ecuación de difusión que gobierna este proceso es

, (2.3.1)

Con la CI (seccionalmente continua)

, (2.3.2)

y CF (fronteras aisladas)

, (2.3.3)

. (2.3.4)

Matemáticamente la ecuación (2.3.1) es una EDP de segundo orden, homogénea, y las CF son de
segundo tipo homogéneas, con lo cual se tiene un problema homogéneo que puede ser resuelto
mediante el MÉTODO DE FOURIER.

Se propone solución
, (2.3.5)
con la cual, y de forma similar al procedimiento seguido en el problema anterior, se llega a las
soluciones

(2.3.6)

. (2.3.7)
Mediante la sustitución de (2.3.5) en (2.3.3) y (2.3.4) se obtiene
 , (2.3.8)

. (2.3.9)

Aplicando la condición (2.3.8) en la ecuación (2.3.7) se tiene

0 1
,

de donde, y/o .
Primero, si , la ecuación (2.3.7) es
, (2.3.10)
Con la condición (2.3.9) en la anterior se obtiene

de donde se encuentra la ecuación característica

,
la cual se cumple para los valores característicos

(2.3.11)

Por lo tanto, la solución de (2.3.10) es

(2.3.12)

y de (2.3.6) es

(2.3.13)

De acuerdo a la ecuación (2.3.5) se tiene

, (2.3.14)

Segundo, si , (2.3.12) y (2.3.13) son

,
,
por lo cual, se tiene otra solución (uno)
. (2.3.15)
La combinación lineal de las soluciones (2.3.14) y (2.3.15) es

.(2.3.16)

Aplicando la condición inicial (2.3.2) se obtiene

. (2.3.17)

La ecuación (2.3.17) representa la expansión de C(x,0) en una serie de Fourier de cosenos.

Ortogonalizando la anterior se tiene

(2.3.18)

al sustituir el valor de la concentración inicial en la integral de la izquierda de la ecuación (2.3.18),

ésta puede ser separada en dos integrales,

La integral de la derecha de la ecuación (2.3.18) es igual a cero si m  n, a l/2 si m = n  0, y si

m = n = 0 la integral es igual a l. Por lo tanto de la ecuación (2.3.18) se obtiene que

y cuando

Al sustituir las anteriores en la ecuación (2.3.16) se tiene

(2.3.17)

Hay que notar que la solución (2.3.17), es la suma de una solución en estado estacionario y una
solución transitoria, esta última tiende a cero cuando t tiende a infinito.
Solución de la ecuación de onda
 . (2.3a.1)

Con condiciones iniciales

, (2.3a.2)

(2.3a,3)

y condiciones frontera
, (2.3a.4)

. (2.3a.5)

Es un problema completo y homogéneo. Se propone solución

(2.3a,6)
La sustitución de la solución propuesta en la ecuación diferencial parcial da

Separando variables y mediante la utilización de una constante de separación se llega a

(2.3a,7)

(2.3a,8)

La solución propuesta (2.3a,6) en (2.3a,3), (2.3a.4), (2.3a.5) da

(2.3ª,9)

(2.3ª,10)

(2.3ª.11)

La solución de /2.3ª,7) es
3a12

3ª13
Si se aplica la condición inicial 3ª,9 nos da
De donde

Si queda 3ª.14
Aplicando la condición 3ª.10 en 3ª,13

y
3ª,15
Aplicando la condición 3ª,11

De donde

En consecuencia

3ª.16

Con 3ª.14 y 3ª.16

Aplicando la condición inicial 3ª.2

Ortogonalizando

Si m = n
Y la solución es

2.4. Ecuación de Difusión en Coordenadas Esféricas, problemas simétricos

Cuando la ecuación de difusión (1.1.22) esta dada en coordenadas esféricas y el transporte solo
ocurre en dirección del radio se tiene

(2.4.1)

Lo problemas que se modelan con este tipo de ecuación pueden ser simplificados mediante la
transformación

(2.4.2)

para sustituir la anterior en la ecuación (2.4.1) es necesario obtener las siguientes derivadas
parciales

(2.4.3)

(2.4.4)

(2.4.5)

Sustituimos en la ecuación (2.4.1)

las cuales se introducen en la ecuación (2.4.1) para reducirla a la forma

(2.4.6)
hay que notar que esta ecuación es idéntica a la ecuación de calor (o difusión) unidimensional en
coordenadas cartesianas.

Comportamiento Transitorio de Partículas de Combustible nuclear (Problema en

coordenadas esféricas no homogéneo)

Esferas de uranio de reciente formación, en las que ocurren reacciones nucleares, llevan a
cabo autogeneración de calor, Q, de densidad constante. Son enfriadas por medio de un fluido con
coeficiente de transferencia de calor h, de manera que el balance de calor para una sola partícula es

, (2.4.7)

donde a2 = k / cp. La EDP anterior está sujeta a las condiciones

, (2.4.8)

, (2.4.9)

Ley de Fick = Ley de Newton

donde Tf es la temperatura del fluido enfriante y T0 es la temperatura inicial de la partícula.
Adicionalmente, es necesaria una condición de simetría, que siempre surge en problemas que
involucran difusión en dirección radial que incluyan el origen, tanto en coordenadas esféricas
como en coordenadas cilíndricas, dicha condición puede escribirse como

, (2.4.10)

que es equivalente a

. (2.4.11)

donde M es una constante.

Físicamente la CF (2.4.10) indica que no hay transporte en el origen, mientras que la condición
(2.4.11) señala la imposibilidad de que la temperatura sea infinita en el origen: Esta condición se
transforma en un CF homogénea de primera clase luego de utilizar la sustitución (2.4.2).
El problema es no homogéneo a causa que la EDP (2.4.7) y la CF (2.4.9) son no homogéneas. Por
lo que para resolver este problema por el método de Fourier se propone solución
, (2.4.12)
en donde es la temperatura (estacionaria) alcanzada después de transcurrir un tiempo muy
grande y es la solución transitoria que desaparece a tiempo infinito.
Al sustituir en (2.4.7) se tiene

. (2.4.13)

La anterior ecuación puede ser separada en dos ecuaciones diferenciales, una para cada variable
dependiente.

. (2.4.14)

(2.4.15)

Físicamente, el término de generación de calor existe aun en el estado estacionario, lo que implica
su presencia en la ecuación para Ts(r). Por otra parte, matemáticamente, es justificable dejar el
término no homogéneo en la EDO, haciendo homogénea la EDP.
De igual manera, se elige que las condiciones frontera para el problema parcial sean homogéneas,
por lo luego de sustituir la definición (2.4.12) en las CF (2.4.10) y (2.4.9) se obtiene dos
condiciones para el estado transitorio

, (2.4.16)

, (2.4.17)

y dos condiciones para el problema en estado estacionario,

, (2.4.18)

, (2.4.19)

donde H = h/k.
Solución para la temperatura en estado estacionario. Tomando la EDO (2.4.14) e integrando

una vez se obtiene

(2.4.20)

Al aplicar la condición (2.4.19) en la solución anterior, se llega a que C1 = 0, así que luego de otra
integración la temperatura en estado estacionario es

, (2.4.21)

Con la condición (2.4.18) y la solución (2.4.21) se obtiene lo que acontece en la frontera R

resolviendo para C2 se obtiene

En consecuencia, el perfil de temperatura en estado estacionario es

(2.4.22)

Solución para la temperatura en estado transitorio. El problema descrito por las ecuaciones
(2.4.15), (2.4.16) y (2.4.17) es homogéneo, y se simplifica utilizando la definición (2.4.2) ,

, para dar

(2.4.23)

, (2.4.24)
 , (2.4.25)

De acuerdo al MÉTODO DE FOURIER, se propone

(2.4.26)

y mediante el procedimiento ya conocido se llega a las soluciones

, (2.4.27)

. (2.4.28)
con condiciones obtenidas a partir de (2.24) y (2.4.28),

, (2.4.29)

, (2.4.30)

Al sustituir (2.4.29) en (2.4.28) se obtiene que C2 = 0, obteniéndose

. (2.4.31)
y con (2.4.30), se llega a la

, (2.4.32)
C3 = 0 nos llevaría a la solución trivial, por lo cual se llega a la ecuación característica

(2.4.33)

donde Bi = hR /k se conoce como el número de Biot, mientras que . La ecuación (2.4.33)

es la ecuación característica del sistema, la cual se cumple para un número infinito de valores
positivos de , los cuales forman un conjunto de valores característicos, , n = 1,2,3,… En la
Figura 2.4 se muestra su comportamiento.

 4R
 3R
 1R 2 R

R

Figura 2-4: Solución gráfica de la ecuación característica (2.4.33) con Bi = 0.5.

Así que las soluciones (2.4.27) y (2.4.31)

, n = 1,2,3,… (2.4.34)

. n = 1,2,3,… (2.4.35)

son un conjunto infinito de soluciones. De acuerdo a la solución propuesta (2.4.26) y al principio

de superposición de soluciones se llega a

. (2.4.36)

La definición (2.4.2) conduce a que la temperatura en estado transitorio es igual a

. (2.4.34)

Así la temperatura dentro de la esfera está dada por

 (2.4.35)

Para encontrar los valores de las constantes de combinación lineal, An, es necesario aplicar la
condición inicial,

(2.4.36)

Ahora es necesario ortogonalizar, por lo que se multiplica la ecuación (2.4.36) por la ecuación
característica y la función de peso, y se integra en el dominio,

Para el caso en que m  n de acuerdo al problema de Sturm-Louville, la integral del lado derecho
se vuelve cero, mientras que cuando n = m, esta integral toma la forma

de acuerdo a la ecuación (2.86) y con ayuda del triángulo trigonométrico, se

obtiene que

mientras que la integral del lado izquierdo al ser evaluada resulta en

Efectuando las integrales

y así, An resulta ser igual a

(2.4.37)

La solución final es

(2.4.39)

Pero de acuerdo a (2.4.36), esta solución también se puede expresar como

(2.4.40)
2.5. Método de Separación de Variables en Varias Dimensiones
El método de separación de variables puede ser aplicado a ecuaciones diferenciales que
contiene más de dos variables independientes. En este tipo de problemas se generan dos o
más problemas de Sturm - Louville, así que para aplicar el método, es necesario que todas
las condiciones menos una sean homogéneas. A continuación, se presenta un ejemplo que
ilustra la manera de resolver este tipo de problemas.

Temperatura en una placa en estado no estacionario

Se desea encontrar la distribución de temperatura de una placa, T(x,y,t), de dimensiones
lh, donde todos sus lados se encuentra a temperatura igual a cero, y que inicialmente tiene una
distribución de temperatura que se puede expresar como una función de la posición (x, y).

Solución: El perfil de temperatura es función de la posición x, y, y del tiempo, t, así que la

ecuación que describe este fenómeno es la ecuación de calor en dos dimensiones

(2.5.1)

Las condiciones frontera para este problema son:

Frontera x = 0: (2.5.2)

Frontera x = l: (2.5.3)

Frontera y = 0: (2.5.4)

Frontera y = h: (2.5.5)

Condición inicial: (2.5.6)

Como se puede apreciar, este problema es homogéneo, así que su solución se puede obtener
mediante el método de separación de variables, en el cual se supone que la temperatura,
T(x,y,t), es el producto de tres funciones independientes entre si
(2.5.7)
Al sustituir esta definición en la ecuación (2.5.1) se tiene
Dividiendo la anterior por , y despejando el término que contiene x se logra
la primera separación

En este caso, como el término del lado derecho solo depende de x y el del lado izquierdo no,
ambos lados son independientes, por lo que se pueden igualar a una constante de separación
(2), por lo que a partir de esta ecuación se obtiene una ecuación diferencial ordinaria para
X(x), y otra ecuación que depende de y y de t.

(2.5.8)

Para separar variables se despeja quedando

(2.5.9)

Como se observa, el lado izquierdo de la ecuación (2.5.9) solo depende de t, mientras que el
lado derecho solo depende de y, así que ambos lados son independientes y se pueden igualar a
una constante de separación con lo cual se obtienen otras dos ecuaciones diferenciales
ordinarias:

(2.5.10)
 (2.5.11)

Si ahora se sustituye la solución propuesta (2.5.7) en las condiciones homogéneas (2.5.2),

(2.5.3), (2.5.4) y (2.5.5), se tiene que

(2.5.13)

(2.5.14)

(2.5.15)

(2.5.16)
las anteriores son definidas a causa de que las funciones X(x), Y(y) y deben ser diferentes
de cero para que la solución propuesta también lo sea.
Las condiciones (2.5.13) y (2.5.14) junto con la ecuación diferencial (2.5.8), al igual que las
condiciones (2.5.15) y (2.5.16) junto con la ecuación diferencial (2.5.11) forman dos problemas
de Sturm Louville cuyas funciones y valores característicos se obtuvieron en el primer
problema de este capítulo. Funciones y valores característicos que también pueden ser
obtenidos de la tabla 2.1, con base a estos:

(2.5.18)

(2.5.19)

mientras que la solución de la ecuación diferencial (2.5.16) es

(2.5.20)

Sustituyendo las ecuaciones (2.5.18), (2.5.19) y (2.5.20) en la solución propuesta (2.5.7), se

tiene

(2.5.21)

Para tener una solución única, se utiliza el principio de superposición de soluciones, y debido a
que tanto n como m inician de uno hasta infinito, es necesario realizar dos sumatorias, una para
cada contador, es decir,
 (2.5.22)

En donde, los coeficientes de combinación lineal, Anm, dependen de los valores de m y n se

obtiene su valor con la aplicación de la condición inicial (no homogénea) (2.5.2)

(2.5.23)

Debido a que se cuenta con una doble sumatoria, se debe ortogonalizar dos veces, una para x y
otra para y, por lo tanto es necesario multiplicar por las dos funciones características con otro
valor característico, e integrar dos veces, una en el dominio de x y otra en el dominio de y, es
decir

La anterior representa un numero infinito de ecuaciones donde p=1,2,… y q =1,2,….

La primera integral del lado derecho es igual a cero cuando n  p, mientras que sí n = p, es igual
a l/2. De igual manera, la segunda integral del lado derecho es igual a cero cuando m  q,
mientras que sí m = q, es igual a h/2. Así que se eliminan todos los términos de la sumatoria
menos uno, para despejar así el valor de Anm

(2.5.24)

Y así la solución del problema se encuentra sustituyendo (2.5.24) en (2.5.22) y resulta

(2.5.25)
en donde w y v son variables mudas de integración.

FUNCIONES ESPECIALES Y SUS APLICACIONES

3.1 La Ecuación de Bessel

La aplicación del proceso de separación de variables, en problemas con valores en la

frontera que contienen el Laplaciano, 2, expresado en coordenadas cilíndricas, a menudo
produce una ecuación de la forma

, (3.1.1)

en donde y es una función de la coordenada ρ. En dichos problemas –λ2 es la constante de

separación y su valor esta asociado con la ecuación (3.1.1).
Con la definición
x = λ,
la ecuación (3.1.1) toma la forma

Esta Ecuación diferencial lineal homogénea es conocida como ecuación de Bessel y sus
soluciones son llamadas funciones de Bessel o funciones cilíndricas.
La mayoría de los problemas con valores en la frontera generan una ecuación de Bessel
con  = n, n = 0,1,2,….., por lo cual es de interés encontrar la solución de la ecuación de
Bessel
x2 y’’(x) + x y´(x) + (x2 – n2) y(x) = 0, n = 0,1,2,…. (3.1.2)
Para encontrar el valor de la variable dependiente y(x), se utiliza el método de Frobenius
proponiendo una serie generalizada como la solución buscada

(3.1.3)

Al derivar y sustituir la anterior en la ecuación de Bessel (3.1.2) se obtiene

O efectuando la multiplicación

Agrupando sumatorios se obtiene

Cambiando el índice k por k - 2 en el segundo sumatorio

y desarrollando parcialmente el primer sumatorio se obtiene

La anterior ecuación se cumple si los coeficientes de cada potencia de x desaparecen, por lo

tanto, xs  si A0  0 (indeterminado) se obtiene y de ahí que s = n y s

= -n y con estos valores forzosamente A1 = 0. Además, el coeficiente de x k+s para k  2 debe ser
igual a cero, o sea
(s – n + k)(s – n + k)Ak + Ak-2 = 0, k = 2,3,….

de donde, para s = n se obtiene

, k = 2,3,…. (3.1.4)

A causa de que A1 = 0, la ecuación (1.4) da A3 = 0, A5 = 0, y de ese modo. Que es

A2k+1 = 0 , k = 0,1,2,….. (3.1.5)
Para los coeficientes pares se aplica (1.4) para obtener

………
La sustitución sucesiva de las anteriores da

, k = 1,2,3,….

La anterior se puede simplificar definiendo A0 como

para así obtener los coeficientes diferentes de cero

, k = 0,1,2,… (3.1.6)

Por lo tanto, al sustituir la ecuación (1.6) en la solución propuesta (1.3 ) se obtiene

(3.1.7)

donde Jn(x) es la función de Bessel de primera clase y orden n. La cual es absolutamente

convergente en - < x <.
Hay que notar que
Jn(-x) = (-1)nJn( x) (3.1.8)
Lo cual significa que Jn(x) es una función par si n = 2,4,…. y non si n = 1,3,5,….
En particular, la serie que representa la función de Bessel de Primera clase y orden cero es

(3.1.9)

y la serie de la función de Bessel de primera clase y orden uno es

(3.1.10)

aquí hay que notar que

(3.1.11)
La cual es una particularización de la ecuación

(3.1.12)

Además, J0(x) y J1(x) recuerdan las series de las funciones coseno y seno, las cuales son

, - < x < 

, - < x < 

Siendo, cos(x) y J0(x) funciones par y sen(x) y J1(x) funciones non.

Para la solución de los problemas de la física matemática puede ser necesario contar con
las raíces de la ecuación
Jn(x) = 0 (3.1.13)
y son de especial interés los ceros (o raíces) de las funciones de Beseel de primera clase y de
orden cero y orden uno, que son

J0(x) = 0, en x = J1(x) = 0, en x =
2.4048 3.8317
5.5201 7.0156
8.6537 10.1735
11.7915 13.3237
14.9309 16.4706
18.0711 19.6159

Si se toma s = -n se obtiene que

esta solución es linealmente dependiente de Jn(x), ya que se cumple la igualdad

J-n(x) = (-1)nJn( x)
Por lo cual se propone como solución linealmente independiente

Así, la solución total de la ecuación de Bessel es

y = C1Jn(x) + C2Yn(x) (3.1.14)
en donde Yn(x) es llamada función de Bessel de segunda clase y orden n o función de Weber o
función de Neumann. Utilizando la regla de L´Hopital se obtiene
 (3.1.15)

donde  = 0.5772156… es la constante de Euler y

, (0) = 1 (3.1.16)

en particular para n = 0 se tiene (3.1.17)

Es importante notar, que si , .

3.2 Ortogonalidad y Norma de las Funciones de Bessel

Considerar que yn(jx) es una solución de la ecuación de Bessel, que se corresponde a λj

(3.2.1)

Al dividir esta ecuación entre , se obtiene

que se puede escribir como

(3.2.2)

Si se compara esta ecuación con la ecuación del Problema de Sturm-Louville,

(3.2.3)

se observa que tiene la misma forma y se determina que la función de peso p() = . Así, la
integral de ortogonalidad para la función de Bessel esta dada por:

(3.2.4)
 Dicho de otra manera, para ortogonalizar se requiere de multiplicar por , que es la
función de peso para las funciones de Bessel. Sin embargo también es necesario conocer el
valor de la integral (3.2.4) cuando j = k, es decir, que es necesario encontrar la norma de las
funciones de Bessel, ||y(jx)||, dada por la integral

(3.2.5)

Para encontrar el valor de esta integral se toma la ecuación (3.2.2) y se multiplica por

, y queda

la anterior ecuación se puede escribir como

Integrando en el dominio, se tiene

(3.2.6)

La segunda integral se puede resolver mediante integración por partes, definiendo

se llega a

al sustituir los límites y despejar se obtiene la norma o magnitud de las funciones de Bessel
(3.2.7)

Esta expresión es válida para cualquier solución de la ecuación de Bessel.

3.3 Transferencia de Calor en Coordenadas Cilíndricas

Se desea encontrar la distribución de temperatura en el interior de un cilindro circular de

longitud infinita y radio R bajo la condición de que su temperatura inicial es a

y si su superficie lateral se mantiene a una temperatura igual a cero.

La ecuación de calor en coordenadas cilíndricas es

, 0 < ρ < R, t > 0 (3.3.1)

, 0<ρ<R (3.3.2)

T(ρ,t) < M, t>0 (3.3.3)

T(R,t) = 0, t>0 (3.3.4)
El problema es homogéneo por lo cual es aplicable el método de separación de variables. Sea
T(ρ,t) = P(ρ)θ(t) (3.3.5)
Al sustituir (3.3.5) en (3.3.1) se obtiene

(3.3.6)

separando variables se tiene

de la anterior se obtienen dos e.d.o.

(3.3.7)

(3.3.8)

Las soluciones de las ecuaciones (3.3.7) y (3.3.8) (ecuación de Bessel) son

(3.3.9)

(3.3.10)
Para que se mantenga finita la temperatura cuando  → 0 (condición frontera (3.3.3) es
necesario que C3 = 0
(3.3.11)
(3.5) en (3.4) da T(R,t) = P(R)θ(t) = 0 
P(R) = 0 (3.3.12)
Aplicando la anterior en (3.11) se tiene
(3.3.13)
de la anterior se obtiene la ecuación característica
J0(λR) = 0 (3.3.14)
Las raíces positivas de la anterior dan los valores característicos
λ1 = 2.4048/R
λ2 = 5.5201/R

λi, i = 1,2,3 4,..... (3.3.15)

Por lo tanto las soluciones (3.9) y (3.11) son

, i = 1,2,3,... (3.3.16)

, i = 1,2,3,... (3.3.17)
Luego, de acuerdo a la solución (3.5) y aplicando el principio de superposición se obtiene

(3.3.18)

Aplicando la condición inicial se tiene

(3.3.19)

Serie de Fourier-Bessel
Ortogonalizando la anterior se tiene
 , j = 1,2,3,.... (3.3.20)

i=j

Para integrar la integral del lado izquierdo de la anterior, de tablas (Del libro de Spiegel Manual
de Formulas y tablas matemáticas o del libro de Operational Mathematics de Churchill) se tiene
la identidad

por lo tanto la primera integral del lado izquierdo de la ecuación es

Para la segunda integral del lado izquierdo también se recurre a tablas de donde

por lo tanto

el ultimo resultado se obtiene ya que se cumple la ecuación característica (3.3.14)

Para la integral de la derecha (ortogonalidad de las funciones de Bessel) se tiene

y si i = j de (3.2.7)
Ya que

Al sustituir las anteriores en (3.3.20) se llega a

de donde

, i = 1,2,3,....

Al sustituir la anterior en (3.3.18) se obtiene la solución

(3.3.21)

3.4 Difusión en un Medio Cilíndrico

Un cilindro de longitud unitaria y radio R es un medio de difusión, inicialmente se
encuentra libre de sustancia y se coloca en un medio que mantiene una concentración constante
C1. Se desea determinar la cantidad de sustancia difundida al interior del cilindro en un tiempo
t.
Las ecuaciones que gobiernan el proceso son

, 0 < ρ < R, t > 0 (3.1)

, 0<ρ<R (3.2)
C(ρ,t) < M, t>0 (3.3)
C(R,t) = C1, t>0 (3.4)
Se propone que la solución sea la suma de dos soluciones una en estado estacionario y otra
transitoria

(3.5)

Si se sustituye la anterior en la ecuación (3.1) se tiene

, (3.6)

, t>0 (3.7)

, t>0 (3.8)

Por su similitud con el problema anterior se puede tomar la solución (3.3.18) como la solución
para nuestra variable

(3.9)

(3.10)
Aplicando la condición inicial (3.2) se tiene

, j = 1,2,3,....
Aplicando la ortogonalización se obtiene

Al sustituir en (3.10)

La masa de sustancia difundida a un tiempo t se obtiene del balance diferencial en un volumen

diferencial el diferencial de masa es

De donde la cantidad de sustancia dentro del cilindro de longitud unidad a tiempo t es

 .

Funciones de Legendre.
Las soluciones de la ecuación diferencial
(1)
o su equivalente
(2)
Son conocidas como funciones de Legendre de orden p, donde p se supone real y positiva.
Estas aparecen en problemas con fronteras esféricas, cuando existe simetría rotacional.
Se propone solución por el método de Frobenius
(3)
Sustituyendo en la ecuación diferencial se tiene

Del coeficiente de y considerando que se obtiene dos valores para s

Y de los coeficientes de

Si s = 0

k=1

k=2
Por inducción se determina que

Si s =1

k =1

Por inducción

Lueg

o se obtienen solución

(4)

Los coeficientes de y de son denominados y , luego (4) se puede

escribir como
(5)
Notar que es igual a un polinomio de grado n, si p= n =0,2,4,6,…, así mismo es
un polinomio, si p = n =1,3,5,……. , y de otra forma, resultan ser una serie infinita.
Si n igual a entero o cero, se puede definir un múltiplo del polinomio de grado n que tenga un
valor unitario cuando en x = 1 que es llamado Polinomio de Legendre de grado n y es denotado
como
Si n es par

(6)
Y si n es non

(7)

Los primeros polinomios de Legendre son

, , , , ,

Además, en x = 1

(8)

(9)

Si p = n es un entero non es una serie infinita y si p = n un entero par es una serie

infinita. Con base en esa característica se define un múltiplo de estas dos soluciones que es
denominada función de Legendre de segunda clase y es denotada como y es dada como

(10)

esta serie converge para .

La solución general de la ecuación (1) es
(11)
Se puede mostrar que y satisfacen la fórmula de recurrencia
(12)
Además, utilizando el método de variación de parámetros se puede mostrar que la solución de
segunda clase se puede expresar como

(13)

Donde y son constantes ideales

Ejemplo
A causa de que

Pero, de (10) y , con las cuales se determinan

y y por lo tanto

.
Al comparar la ecuación diferencial (2) se determina que
, , (función de peso) y
se determina que la solución de (1) que es finita en el intervalo existe solo si p es
entero positivo o cero, que es , y se corresponde a . De acuerdo a
la teoría del problema de Sturm Liouville la integral de ortogonalidad consiste en
(14)
y alguna función de x puede ser representada como una combinación lineal de polinomios de
Legendre
(15)
Ortogonalizando se obtiene

Para obtener el valor de la norma o magnitud de los polinomios de Legendre se puede utilizar la
fórmula de recurrencia (12)
(16)
Al multiplicar toda la anterior por y ortogonalizando se obtiene
(17)
Donde el paréntesis se utiliza para indicar la integral de las funciones que abarca

Por ortogonalidad (17) es

(18)
Ahora, cambiando n por n+1 en (16) ser obtiene

Multiplicando la anterior por y ortogonalizando

(19)
de (18) y (19) se obtiene

Sumando todas las anteriores se obtiene

De donde, la norma o magnitud de los polinomios de Legendre está dada por

Y el conjunto
es ortonormal en el intervalo .

Problema de Dirichlet en coordenadas esféricas

Se desea determinar la función armónica en el dominio , tal que tome los valores
preescritos de en la superficie esférica . Aquí son coordenadas esféricas

y es independiente de .
satisface la ecuación de Laplace en coordenadas esféricas

, (1)

(2)

puede representar la temperatura al interior de una esfera cuya superficie tiene una
temperatura que se puede expresar como una función de , o puede representar el potencial
electrostático dentro de una esfera libre de cargas, cuando

Si se define, , (3)
Para sustituir en el segundo termino de (1)

Sustituyendo
Con lo cual la ecuación diferencial (1) es

(4)

La condición frontera es ahora

(6)

Sea
(7)
Sustituyendo en (4) se tiene

Al dividir por y separar variables se llega a

De la anterior de se obtienen dos e.d.

(8)

(9)

En la anterior es requisito que sean continuas en , lo cual

sucede si se satisface la ecuación de Legendre y se cumple que si

Y su solución es
(10)

Donde es llamado polinomio de Legendre y es la función de Legendre de segunda

clase o especie, la cual es discontinua en y no satisface la continuidad necesaria por lo
cual se considera que y

(11)
Para la e.d. (8) se tiene

(12)

La anterior es una ecuación de Euler Cauchy y tiene solución

(13)
Pero V debe de ser finita si r tiende a cero, por lo cual C4 =0 y
(14)
De acuerdo a (7) con (11) y (14) se tiene
(15)
Con el principio de superposición de soluciones

(16)

Aplicando la condición (6)

Ortogonalizando

Si m = n

Recordando la definición de

-------------------------------------------------------------------------------------------------------------------
La base de un hemisferio sólido se encuentra aislada. El flujo

calorífico a través de la superficie hemisférica se conserva a valores prescritos , tal

que el flujo resultante a través de dicha superficie por unidad de tiempo sea igual a cero con
objeto de que la temperatura pueda ser estacionaria. Esto es satisface la condición

o con

(1)

Si T es la temperatura en función de , la condición de la base aislada

De donde

(2)

El problema en la frontera consiste en la e.d.p.

(3)

Con la condición (2) y la condición de flujo

(4)

Con el método de separación de variables se obtiene

(5)
 (6)

El cual tiene solución

ortogonalizado

Si m = n

INTEGRALES DE FOURIER
Transferencia de calor en una región semi infinita

(1)

(2)
(3)
(4)
Sea
(5)
Aplicando (5) en (1), (3) y (4) se obtiene
 (6)

(7)

De la condición (3) se obtiene

La solución de la e.d.o. (7) que satisfice las condiciones dadas es

,
donde , es continua a lo largo del dominio x > 0

Al sustituir en (5) se obtiene

La combinación lineal de soluciones es

(8)

Aplicando la condición inicial

(9)
La anterior define la integral de Fourier.
Ortogonalizando se obtiene

(10)
En la ultima integral se invirtió el orden de integración
Por ortogonalidad si

y si
En consecuencia de (10) se obtiene

(11)

Sustituyendo en (8) se llega a la solución

(12)