Problema de Dirichlet y Teorema de Poisson

O.R. FAURE
Ano 2016
Aqu se dedicara el tiempo a un tema exclusivamente, que esta en el centro de la Teora de
Series de Fourier. En terminos fsicos, consiste en determinar la distribucion de temperatura en
condiciones estacionarias de un disco cuando se conocen las temperaturas de su contorno; la
formulacion matematica es conocida como Problema de Dirichlet. Empezando desde cero, se
llega a una solucion de la forma:
an r|n| ein ,
n

llamada Serie Trigonometrica. El intento de comprobar que e sta puede ser la solucion del
problema del calor conduce al Teorema de Poisson, uno de los resultados mas atractivos del
analisis. Se deducen luego algunas (pocas) consecuencias importantes, pero solamente esas
pocas dan una idea de la importancia del teorema. Ideas de la demostracion y de la representacion integral en la que se basa, aparecen frecuentemente en matematicas aun hoy.

DEL C ALOR EN C ONDICIONES E STACIONARIAS

1. E CUACI ON
El primer paso para la resolucion de problemas de calor (lo mismo para la mayor parte de problema de la fsica matematica) consiste en hallar una ecuacion diferencial que rija la situacion.
Puesto que se trata aqu de un disco, el sistema natural de coordenadas es el polar. La temperatura en el punto de coordenadas (r, ) se designara por u(r, ). Para hallar la ecuacion
significativa, considerese una seccion cualquiera del disco dada por:
0 < r0 < r < r1 1,

0 < < 1.

(1)

Vease la Figura 1. Puesto que se esta considerando el problema en condiciones estacionarias,

la velocidad de entrada del calor en esta seccion debe ser cero, de otro modo la temperatura
media cambiara con el tiempo. Ahora bien, un postulado basico de la conduccion del calor es
que la velocidad segun la cual el calor atraviesa una curva C es proporcional a la integral a lo
largo de la curva de la derivada normal u/ n de la distribucion de temperatura.
Aqu u/ n es la derivada de u con respecto a la longitud de arco a lo largo de cualquier
curva perpendicular a C. Cuando C es la lado = 1 en la porcion dada en (1), se puede tomar
esta curvas perpendiculares como las dadas por r = constante. Entonces, puesto que la longitud
de un arco circular es igual al a ngulo multiplicado por el radio, a lo largo de = 1 la derivada
normal es:
du
u(r1 , 1 + h) u(r1 , 1 )
= limh0
dn
rh
(2)
= r1 u (r, 1 )
y la velocidad de entrada del calor en la seccion de la Figura 1 a lo largo del contorno = 1
es
Zr1

k
r0

r1 u (r, 1 )dr,

(3)

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

1
r1

r0

Figura 1: Derivacion de la ecuacion del calor en coordenadas polares.

donde k es la conductividad. Anadiendo las expresiones correspondientes a los otros tres contornos e igualando a cero el flujo total, se obtiene
Zr1

[u (r, 1 ) u (r, 0 )] dr +

r0

Z 1

[r1 ur (r1 , ) r0 ur (r0 , )] d = 0.

(4)

Si se divide por 1 0 y se hace 1 0 , se obtiene

Zr1

r1 u (r, 0 )dr + r1 ur (r1 , ) r0 ur (r0 , ) = 0.

(5)

r0

El primer termino procede de la Regla de Leibnitz y el segundo del Teorema Fundamental del
Calculo Infinitesimal. Dividiendo ahora por r1 r0 y haciendo r1 r0 se obtiene
1
u (r0 , 0 ) + (rur )r (r0 , 0 ) = 0.
r0

(6)

Puesto que r0 , 0 son las coordenadas de un punto cualquiera interior del disco, a excepcion
del centro, se tiene la ecuacion:


u
1 2u

r
+
= 0,
(r =
6 0).
(7)
r
r
r 2

Esta
es la forma en coordenadas polares de la Ecuacion de Laplace. Las soluciones de esta
ecuacion reciben el nombre de Funciones Armonicas.
La deduccion anterior no demuestra nada sobre las distribuciones reales de la tempertaura.
Comienza con algunos supuestos (razonables) acerca de la conexion entre el flujo de calor y
las derivadas de la distribucion de temperatura, y conduce a la ecuacion (7). Las deducciones
basadas en estos supuestos son validas desde el punto de vista matematico, pero no se puede

O.R. FAURE

demostrar que esten justificadas fsicamente. Resulta en este caso sin embargo (experimentalmente), que la intuicion no nos ha enganado, y la conexion entre la ecuacion (7) y el concepto
que se tiene sobre del flujo del calor presenta una gran cantidad de cuestiones acerca de esta
ecuacion. No se va a considerar aqu con mucho detalle el otro aspecto de esta conexion, es
decir, en que manera las respuestas a estas preguntas forman parte de una comprension de la
fsica, ni siquiera de como intervienen en el diseno de estructuras en las que esta implicado el
calor.
Debido a la peculiaridad de las coordenadas polares en r = 0, la ecuacion (7) no es aplicable
en ese punto, y surge la pregunta de si en ese lugar debe aplicarse alguna condicion. Puesto que
se exige que u tenga derivadas parciales primeras continuas en todos los demas puntos, lo cual
va implcito al escribir las derivadas en (7), una condicion natural podra ser la de exigir que
u/ x y u/ y sean continuas en el origen. Sin embargo, para la mayor parte de este estudio,
se pueden desarrollar bien las cosas exigiendo solamente que:
u(r, ) sea continua para 0 r 1.

(8)

Esta condicion tiene la ventaja de poder formularse facilmente en coordenadas polares y de que
su comprobacion es relativamente sencilla. Constituye evidentemente una condicion necesaria
desde el punto de vista fsico. Otra peculiaridad de las coordenadas polares consiste en que
(r, + 2) denota el mismo punto que (r, ). En consecuencia, se exige que
u(r, + 2) = u(r, ).

(9)

Esta claro desde el punto de vista fsico que (7), (8) y (9) no pueden determinar por s solas
unvocamente una solucion al problema del calor; por ejemplo, cualquier constante u las satisface. Se complementan especificando la distribucion de temperatura sobre el contorno r = 1:
u(1, ) = f ( ).

(10)

Nuevamente f ( + 2) = f ( ).
El problema de hallar una funcion u que satisfaga las ecuaciones (7) a (10) para una f

dada recibe el nombre de Problema de Dirichlet. Este

nombre cubre una gran variedad de
problemas con ciertas caractersticas comunes con el que ahora se trata aqu, pero en este
contexto significara de modo especfico el problema de hallar una solucion u de la ecuacion de
Laplace en alguna region del plano, cuando los valores de u se conocen en el contorno de la
region.
E JERCICIOS
1. Cual de las condiciones (7)-(9) satisface la funcion u = log r?
2. Hallese una funcion u que satisfaga (7) y (8) pero no (9).

DE LA E CUACI ON
D IFERENCIAL MEDIANTE PRODUCTOS
2. S OLUCI ON
Al tratar de satisfacer (7)-(10) se busca primeramente soluciones de (7). La tecnica utilizada,
conocida como Metodo de Separacion de Variables, reduce la ecuacion en derivadas parciales
(7) a ecuaciones diferenciales ordinarias conocidas, limitando la atencion a funciones u de la
forma especial:
u(r, ) = R(r)( ).

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

La razon de esto se halla en que las derivadas parciales de una tal funcion u encierran derivadas
ordinarias de R y . Para u = R, (7) se convierte en:

1

rR0 + R00 = 0
r
r
o de manera equivalente
r2 R00 + rR0 + R00 = 0.
Esta mezcla de dos ecuaciones diferenciales ordinarias puede remediarse dividiendo por R,
obteniendose:
r2 R00 rR0
00
+
= .
R
R

El miembro izquierdo de esta ecuacion es ahora por su forma, independiente de , mientras

que el miembro derecho es independiente de r. Puesto que ambos son iguales, ambos deben
ser independientes de r y de , es decir, constantes:
r2 R00 rR0
00
+
=
= c.
R
R

Esto proporciona ecuaciones diferenciales ordinarias relacionadas en R y . Cosiderese primeramente la ecuacion en , i.e.
00 + c = 0.
La forma de la solucion general de esta ecuacion depende del signo de c; es facil comprobar
que viene dada por:

A exp(i c ) + B exp(i c )

A + B
( ) =

A exp( c ) + B exp( c )

si c > 0,
si c = 0,

(11)

si c < 0.

De manera analoga, la ecuacion en R, r2 R00 + rR0 cR = 0 tiene como solucion:

c
c
ar
+
br

a + b log r
R(r) =

ic
ar
+ bri c

si c > 0,
si c = 0,

(12)

si c < 0.

As, por ejemplo, (A + B )(a + b log r) satisface la ecuacion (7) para el caso de c = 0, y en
general el producto de cualesquiera ( ) y R(r) con el mismo valor de c proporciona una
solucion de esa ecuacion. Interesa tambien que sean satisfechas las condiciones (8) y (9).
Ahora bien, la solucion para cuando c < 0 es no acotada a menos que A = B = 0, por lo
que no proporciona ninguna solucion no nula que satisfaga (9); pues una funcion continua de
perodo 2 esta acotada por un maximo en el intervalo 0 2. De manera analoga, en
el caso c = 0, se debe tomar B = 0 para satisfacer (9). La solucion para cuando c > 0 tiene

perodo 2 precisamente cuando c es un entero, o sea c = n2 0. As la condicion (9) limita

O.R. FAURE

las posibilidades de c = n2 , n = 0, 1, 2, . . .. Al utilizar la condicion (8) en la solucion de R con

estos valores de c, se halla que b = 0 en todos los casos. Las restantes soluciones producto:

Aa
(n = 0)

un (r, ) =
n in
ar (Ae + Bein )
(n > 0)
son entonces las u nicas soluciones producto u = R que satisfacen (7), (8) y (9).

Esta
es una coleccion aceptable, pero es evidente que ninguna de estas soluciones tiene
la flexibilidad sificiente para satisfacer una gran cantidad de posibles funciones f en (10).
Sin embargo es facilmente comprobable que si u1 , u2 , . . . , uN son soluciones de (7), (8) y (9),
entonces tambien lo es u = u1 + u2 + . . . + uN . As
N



in
in
A0 + r An e + Bn e
n

es tambien una solucion de (7), (8) y (9). Cambiando los nombres de las constantes arbitrarias,
se puede escribir esto de una manera mas sencilla como NN An r|n| ein . Sobre el contorno toma
el valor
N

u(1, ) = An ein .
N

Puesto que no existe limitacion alguna para la magnitud de N, parece natural intentar

u(r, ) = An r|n| ein

(13)

la cual tiene, el menos desde el punto de vista formal, los valores de contorno

u(1, ) = An en .

(14)

Ahora bien, no existe hasta aqu razon logica alguna para pensar que esto sea una solucion
general, pero precisamente resulta serlo. Lo que Fourier afirmo, y se puede probar, es que los
coeficientes de (14) pueden elegirse de modo tal que e sta represente virtualmente cualquier
funcion f que se elija. Utilizando los mismos coeficientes en (13) se obtiene una solucion al
problema de la temperatura planteado primeramente, es decir, una funcion u que satisfaga (7)(10). La cuestion de como representar f mediante la serie (14) se considera a continuacion y
se aborda la demostracion de que la solucion as obtenida satisface (7)-(10).

3. C OEFICIENTES DE F OURIER
Se retoma ahora la cuestion siguiente: si f ( ) es una funcion dada de perodo 2, es posible
elegir los coeficientes An en (14) de modo que u(1, ) = f ( ), es decir, de manera que

f ( ) = An ein

(15)

y si es as, de que manera hacerlo? En realidad, resulta mas razonable examinar primero como
deberan elegirse los coeficientes y luego investigar si el hecho de elegirlos de esta manera da
realmente resultado.

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

Para tener una idea de como empezar, recuerdese la determinacion de los coeficientes an en
la Serie de Taylor, g(x) = a0 + a1 x + a2 x2 + . . .. Observando la serie se ve de manera inmediata
que a0 = g(0), y no resulta difcil ver que la manera de llegar a a1 consiste en derivar una vez
y poner x = 0, obteniendo a1 = g0 (0), y de esta forma ver de modo general que n!an = g(n) (0).
Volviendo a la serie de exponenciales en (15), no es evidente cual es el significado preciso de
A0 . Ciertamente no es posible hallarlo por sustitucion con cualquier valor particular de , como
por ejemplo = 0. Observese sin embargo que el promedio ein sobre cualquier intervalo de
longitud 2 es cero, excepto cuando n = 0.
As, A0 debe ser el valor medio del segundo miembro de (15), de manera que
1
A0 =
2

f ( ) d .

Esto hace pensar que las formulas para los demas coeficientes pueden encerrar integrales de f .
En efecto, para cualqueir N se puede hacer que AN sea el u nico coeficiente que multiplique a
un termino de valor medio no nulo poniendo

f ( )eiN = An ei(nN) ,

de modo que se espera obtener en general

1
AN =
2

f ( )eiN d

(16)

La deduccion las formulas se ha basado escencialmente en la integracion termino a termino de

la serie (15), la cual puede ser valida o no. Sin ambargo, el procedimiento parace prometedor,
tanto que se utilizara la u ltima formula como la definicion de los coeficientes de Fourier de f .
in con A dado por (16) recibe el nombre de Serie de Fourier de f .
La serie
n
An e
Es importante destacar que aun no se sabe que para una funcion f cualquiera, e sta sea igual
a su serie de Fourier. Lo que s tiene justificacion es pensar que si f es igual a una de tales
series, los coeficientes deben determinarse mediante (16).
Para el problema del calor propuesto, se encuentra que si se toma u(r, ) como la serie (13),
con coeficientes dados por (16), entonces u(r, ) satisface (7)-(10).
E JERCICIOS
1. Hallese la Serie de Fourier de f1 ( ) = sin2 y de f2 ( ) = cos3 .
2. Supongase que f ( ) = | | para < < . Hallese la solucion formal del correspondiente problema del calor en el disco. Cuantos terminos de la serie seran necesarios
para dar u(r, ) con un error menor a 0.1 en todo el disco? Calculese u( 12 , ) con dos
decimales. Vease que u(r, /2) = /2.
3. Suponiendo que f es acotada y que An esta dada por (15), vease que supn |An | es finito.
4. De que manera deben elegirse los coeficientes en (13) para que ur (1, ) = g( ) para una
g dada? Cuando u esta dada por (13), cual es el valor medio de ur (1, ) sobre <
< ? Es posible elegir los coeficientes en (13) de modo que ur (1, ) = 1? (Estas
cuestiones estan relacionadas con el Problema de Neumann, de hallar la distribucion
estacionaria de temperatura cuando se da la velocidad de perdidad de calor a lo largo de
la frontera.)

O.R. FAURE

4. N UCLEO
DE P OISSON
Al sustituir en (13) los valores de An dados por (16), se obtiene para la solucion formal en serie
de Fourier de (7)-(10):
u(r, ) =

r|n| ein

1
2

f (t)eint dt

(17)
=

1 |n|
r f (t)ein( t) dt
2

En el intento de averiguar hasta que punto esta expresion satisface realmente el problema
|n| in( t)
planteado en el comienzo, se haran algunas simplificaciones. Para r < 1, la serie
r e
converge uniformemente en t, de manera que es posible integrarla termino a termino para
obtener
Z
1
u(r, ) =
r|n| ein( t) f (t)dt.
2

Nuevamente para r < 1, utilizando la conocida formula de la serie geometrica se obtiene

rn ein( t) = 1 rei( t) ,
0

y
1

rei( t)

rn ein( t) = 1 rei( t) .

Sumando estas dos expresiones

1
u(r, ) =
2

1 r2
f (t)dt
1 2r cos( t) + r2

(r < 1)

(18)

Esto recibe el nombre de Integral de Poisson. La funcion

P(r, ) =

1 r2
1
2 1 2r cos( t) + r2

(19)

se llama Nucleo de Poisson. La formula (19) proporciona la solucion formal u de forma elegante y u til, al menos desde el punto de vista teorico. Se utilizara esta expresion para investigar
si la solucion formal satisface la condicion (10). La verificacion de las demas condiciones se
deja como ejercicio.
E JERCICIOS
1. Compuebese que la expresion (19) satisface (7)-(9). Si hace falta supongase que f es
continua.
2. Vease que rn ein y rn ein son polinomios en x e y, donde n > 0, x = r cos , y = r sin .
e stas son soluciones polinomicas de grado n de la ecuacion de Laplace, y reciben el
nombre de Polinomios Armonicos.

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

5. T OMA DE VALOES DE CONTORNO : T EOREMA DE P OISSON

Antes de continuar, se advierte al lector que no se probara aqu la igualdad (14) exactamente
en la forma en que esta, de hecho (14) no es siempre valida. La dificultad esta en que todas
las operaciones con series (principalmente la integracion y la derivacion termino a termino)
son validas para r < 1, de hecho, no se sabe si la serie para u(r, ) es siquiera convergente
para r = 1. La formula integral (19) toma tambien una forma bastante desconcertante cuando
r = 1. Sin embargo, es posible probar que u(r, ) converge a f ( ) cuando r 1, si u(r, ) esta
dada por (19). Desde el punto de vista del problema del calor, esto es mas importante que el
hecho de decidir la convergencia de (14). Lo que en realidad se ha de demostrar es el siguiente
resultado:
T EOREMA 1. Si f es continua, de perodo 2 y u(r, ) esta dada por (19), entonces
lim u(r, ) = f ( )

r1

uniformemente en .
Se llamara a este resultado Teorema de Poisson. La prueba se dejara para mas adelante.
5.1. D OS CONSECUENCIAS DEL T EOREMA DE P OISSON . Podra parecer que lo expresado anteriormente resuelve el Problema de Dirichlet planteado en (7)-(10), ya que ofrece una
solucion clara en forma de una integral relativamente sencilla. Pero queda la pregunta: Existen otras soluciones? Esto se considerara a continuacion, pero el estudio que all se hace hara
mas facil las cosas, una vez que se conozcan las importantes consecuencias del Teorema de
poisson que se dan a continuacion:
T EOREMA 2. Si f y g son funciones continuas con perodo 2, y tienen los mismos coeficientes de Fourier, entonces f = g.
P RUEBA .

Por hipotesis se tiene que

Z

f ( )e

in

d =

f ( )ein d = an .

Ahora por el Teorema 1, la funcion

u(r, ) = r|n| an ein

converge a f ( ), y hacia g( ) cuando r 1. Por lo que debe ser f ( ) = g( ).

El siguiente corolario del Teorema 2 constituye un resultado preliminar que proporciona
condiciones bajo las cuales la Serie de Fourier de una funcion f converge realmente hacia esta
f.
C OROLLARIO 3. Si f es continua de perodo 2, y la Serie de Fourier de f converge uniformemente hacia una funcion g, entonces debe ser g = f .

O.R. FAURE

in
P RUEBA .
Sean an los coeficientes de Fourier de f , de modo que g =
an e . Al
ser, por hipotesis, la serie uniformemente convergente, se pueden calcular los coeficiente de
Fourier bm de g mediante

1
bm =
2

im

in

an e

1
d =
2

ei(nm) d = am .

an

la funcion g obtenida es la suma de una serie uniformemente convergente, por lo tanto es

continua, y se puede aplicar el Teorema 2 y obtener g = f .

DEL P ROBLEMA DEL C ALOR

6. U NICIDAD DE LA SOLUCI ON
Segun la indicacion hecha en la seccion anterior, es concebibleque pudieran existir otras soluciones de (7)-(10), y es importante saber si e stas existen o no, ya que de existir se tendran
que imponer mas condiciones a u para determinar la distribucion de temperatura. Una de las
maneras mas faciles de demostrar que las condiciones (7)-(10) determinan efectivamente u se
basa en la utilizacion del Teorema de Green, pero en el contexto presente resulta mas indicado
basarse totalmente en las seies de Fourier. Siguiendo desde un nuevo punto de vista, una parte
del proceso utilizado para hallar la solucion del Nucleo de Poisson y aplicando el Teorema 2,
se llega al siguiente resultado, conocido como Teorema de Unicidad.
T EOREMA 4. Si la funcion f ( ) es periodica y continua, v(r, ) satisface las condiciones (7)(9) y v(r, ) f ( ) uniformemente cuando r 1 , entonces v(r, ) coincide con la solucion
dada por el Nucleo de Poisson.
P RUEBA .

in
Para todo r < 1 fijo, v(r, ) tiene una serie de Fourier
an e , con

1
an (r) =
2

v(r, )ein d .

Teniendo en cuenta que v(r, ) satisface la ecuacion (7), se obtiene derivando bajo la integral
que:


Z
in 1
1
v (r, )ein

v ein d
(ra0n )0 =
2r
2
r

= 0

in
2

Z
1

v ein d



Z
in
n2
in
=
v(r, )e
+
2r
2

1
v(r, )ein d
r

n2
an .
r

As an satisface la ecuacion diferencial (ra0n )0 = (n2 /r)an , la cual conduce a an = An rn + Bn rn

para constantes An y Bn apropiadas. (n 6= 0). Puesto que se supone que v(r, ) es acotada, se ve

10

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

que





 1 Z

in

|an (r)| = 
v(r, )e
d  2 max |v|
 2

de manera que el coeficiente Bn debe ser nulo, y an (r) = An rn , para ciera constante An . De
manera analoga a0 (r) = A0 . Se puede calcular An haciendo r 1 como sigue:
1
An r =
2
n

v(r, )ein d .

CuandoRr 1, v(r, ) f ( ) uniformemente en , de modo que la integral converge hacia

(1/2)
f ( )ein d cuando r 1, y se obtiene
1
An =
2

f ( )ein d .

As pues para cada r < 1 fijo, la serie de Fourier de v(r, ) es precisamente la serie de u(r, ),
solucion del problema del calor construida mediante el Nucleo de Poisson. puesto que esta
serie converge uniformemente hacia u(r, ), el corolario del Teorema 2 establece que u(r, ) =
v(r, ), que es lo que se quera probar.
Como ejemplo de la aplicacion de este resultado, se puede decir que la temperatura en el
centro de un disco con una distribucion estacionaria es la media de las temperaturas sobre su
contorno, ya que
1
u(0, ) = A0 =
2

f ( )d

y u(r, ) es la u nica solucion del problema del calor.

E JERCICIOS
1. Pruebese que la temperatura de un disco en condiciones estacionarias nunca es mayor
que la temperatura mas alta sobre el contorno. Vease que para una distribucion de temperatura de un disco en condiciones estacionarias el punto mas fro esta sobre el contorno, a no ser que la temperatura sea constante en todo el disco.
2. Sea D un conjunto abierto conexo del plano, y u una funcion definida en D con derivadas
parciales de segundo orden continuas, que satisfacen uxx + uyy = 0. Vease que si |u|

tiene un maximo en D, entonces u es constante. Este

es el Principio del Maximo para
funciones armonicas.

hola

Metodo de Separacion de Variables

1. S ERIES DE S ENOS Y C OSENOS

Aqu se vera una modificacion trivial de las series de Fourier, con vistas a varias aplicaciones.
El estilo sera muy conciso, lo cual significa que muchos enunciados son en realidad simples
ejercicios.
Para una funcion f definida en un intervalo (0, L), la Serie de Fourier de Cosenos en (0, L)
es:

1
nx
A0 + An cos
2
L
1
con
2
An =
L

ZL

f (x) cos

nx
dx
L

(20)

y la Serie de Fourier de Senos en (0, L) es:

Bn sin
1

con
2
Bn =
L

nx
L

ZL

f (x) sin

nx
dx
L

(21)

La serie (21) converge a cero en x = 0 y x = L. Se vera que si f es derivable a trozos en

(0, L), esto supone que f (0+ ), f (L ), f 0 (0+ ) y f 0 (L ) existen, entonces (20) y (21) convergen
a 1/2 [ f (x+ ) + f (x )] para 0 < x < L, y que (20) converge a f (x) en x = 0 y x = L. Estas
propiedades de las eries de senos y cosenos pueden relacionarse en general con propiedades de
las series de Fourier completa, de la manera que se vera luego.
in en dos aspectos.
Las series (20) y (21) difieren de las series de Fourier ordinarias
an e
En primer lugar, las funciones del desarrollo tienen perodo 2L en lugar de 2. En segundo
lugar, utilizan solamente senos o solamente cosenos, mientras que la serie de exponenciales
utiliza ambos. La primera diferencia es facil de superar, ya que si f tiene perodo 2L, entonces
la funcion g definida por
g(x) = f (xL/)
inx de g proporciona una serie a einx/L para
tiene perodo 2. La Serie de Fourier
n
an e
f , conocida como Serie de Fourier de f en (L, L). Los coeficientes vienen dados por

1
an =
2L

ZL
L

f (x)einx/L dx

(22)

12

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

y las sumas parciales simetricas NN an einx/L convergen a 1/2 [ f (x+ ) + f (x )] si f es derivable a trozos.
La segunda caracterstica especial de las series (20) y (21), la utilizacion de solamente
senos (o solamente cosenos), se comprende mejor mediante la consideracion de funciones
impares (o funciones pares). Una funcion f es par si satisface f (x) = f (x) para todo x de su
dominio (de manera analoga es impar si satisface f (x) = f (x)). Esta terminologa deriva
del comportamiento de las potencias pares e impares de x. La grafica de una funcion par de
valores reales es simetrica respecto a la recta y = 0, mientras que la grafica de una funcion impar
de valores reales es simetrica respecto al origen. Si g es una funcion cualquiera, entonces
2gpar (x) = g(x) + g(x)
define una funcion par, mientras que
gimpar (x) = g(x) g(x)
define una funcion impar. Al ser
g(x) = gpar (x) + gimpar (x)
cualquier funcion es suma de una funcion par mas una funcion impar.
Cuando g(x) = eix , gpar (x) = cos x y gimpar (x) = i sin x. As la serie (20) representa una funcion
par, y (21) una funcion impar. De manera recproca, si f es una funcion par de perodo 2L, entonces los coeficientes de Fourier an de f satisfacen an = an de modo que las sumas parciales
simetricas de la serie de Fourier de f proporcionan una serie de la forma (20):
N

aneinx/L = a0 + 2an cos

nx
.
L

Si f es impar, sus coeficientes de Fourier satisfacen an = an de modo que las sumas parciales
simetricas de la serie de Fourier proporcionan una serie de la forma (21):
N

an einx/L = 2ian sin

nx
.
L

En el caso par, se llega a (20) poniendo An = 2an y utilizando en (22) la paridad de f , en el

caso impar pongase Bn = 2ian y utilcese el hecho de que f es impar para convertir (22) en la
definicion de Bn dada en (21).
Hasta aqu se ha visto que la serie de Fourier de una funcion par de perodo 2L puede
escribirse de la forma (20) y la de una funcion impar de es mismo perodo (2L) en la forma
(21). Supongase ahora que f esta definida solamente en el intervalo 0 < x L y que se quiere
obtener para ella el desarrollo (20). Basta entonces con extender f al intervalo L x L
haciendo f par, es decir, poniendo
f (x) = f (x),

f (0) = f (0+ )

y luegioo a toda la recta haciendo f periodica, es decir, poniendo

f (x + 2L) = f (x).

13

O.R. FAURE

Figura 2: Extension par de f (x) = x en el intevalo 0 < x < L.

Figura 3: Extension impar de f (x) = x en el intevalo 0 < x < L.

Una imagen de esta extension periodica viene dada por la Figura 2 para el caso de f (x) = x
para 0 < x L. Las propiedades de la serie de cosenos (20) de f se deducen aplicando los
resultados de las secciones anteriores a esta funcion extendida.
En el caso de la serie de senos, la funcion f definida en 0 < x L se extiende haciendola
impar y periodica, es decir, poniendo
f (x) = f (x),

f (0) = 0,

y
f (x + 2L) = f (x)
y el comportamiento de la serie de senos se deduce de exta extension. De esta manera quedan
comprobadas las afirmaciones hechas anteriormente.
1.1. L A CUERDA VIBRANTE . El problema del calor es solamente uno de muchos que
pueden resolverse mediante Series de Fourier. Luego se veran algunas caractersticas generales
de este metodo de solucion. Aqu se considera un problema particular que ofrece la motivacion

14

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

fsica para parte de la termiologa de las series de Fourier, y para parte de las cuestiones surgidas en la teora. En realidad el problema de la cuerda vibrante considerado aqu fue uno de
los primeros que se analizaron con ayuda de las series de senos. Una exposicion interesante de
parte de la historia de este problema puede verse en el captulo 8 de B. Sz. Nagy, Introduction
to Real Functions ans Orthogonal Expansions, Oxford Unversity Press, 1965.
Considerese una cuerda que vibra en el plano xy, puesta en tension entre los puntos (0, 0)
y (L, 0). Sea u(x,t), el desplazamiento medido desde el eje x en la posicion x y en el instante
t, es decir, en el instante t la cuerda pasa por el punto (x, u(x,t)). Entonces un razonamiento
similar al visto anteriormente conduce a la ecuacion
"
 2 #1/2
2 u 2 u
u
=
1+
(23)
2
2
t
x
x
donde es la densidad de la cuerda y la tension. Esto es por lo menos razonable, ya que
dice que la fuerza que provoca la aceleracion de la cuerda es igual al producto de la tension por
la curvatura. Esta ecuacion es muy difcil de resolver y sera simplificada con el objeto de dar
una idea de la situacion. En particular, se supondra que el desplazamiento de la cuerda es tan
pequeno que el factor [1 + ( u/ x)2 ]1/2 puede sustituirse por la constante 1. La ecuacion (23)
se convierte entonces en
2 u 2 u
=
(24)
t 2
x2
y se estudiaran las soluciones de esta u ltima ecuacion.
Puesto que los extremos x = 0 y x = L se suponen fijos, se tiene que
u(0,t) = 0 = u(L,t).

(25)

Finalmente, para describir el movimiento por completo, es necesario conocer la posicion y

la velocidad iniciales de la cuerda, es decir:
u(x, 0) =

f (x),

(0 < x < L),

ut (x, 0) = g(x),

(0 < x < L),

(26)
donde f y g son funciones conocidas.
En realidad han hecho falta muchos anos y dedicacion para llegar a la conclusion de que
e stos eran los datos importantes: aqu se ve simplemente como un planteo dado pero razonable
del problema.
Siguiendo los pasos del metodo utilizado para el problema del calor, se comienza buscando
soluciones en forma de producto no nulas, es decir u(x,t) = X(x)T (t) que satisfagan (24) y
(25), y se intentara superponerlas de manera que satisfagan (26). Poniendo u = XT en (24) se
halla X 00 /X = T 00 /(T ) = c, donde c es una constante. La soluciones de XT son entonces:



Aeix + Beix aeit + beit ,
(27)

con = c y = c . Si c < 0, entonces y son imaginarias. Se supondra que c 0

para fijar ideas. La condicion (25) hace que:
(A + B) = 0,

A(eiL eiL ) = 0.

(28)

15

O.R. FAURE

Si es imaginaria, la u ltima ecuacion da A = 0, de manera que u = 0 y se excluye este caso.

Si es real, entonces (28) da como resultado A sin L = 0, esto puede satisfacerse con A 6= 0
si L es un multiplo entero de , = n/L 0. Para estos valores de , (27) proporciona las
soluciones en forma de producto siguientes:
 nx 


un (x,t) = sin
an eitn + bn eitn
(29)
L
p
con = (/L) /.
Finalmente, se intenta superponer las soluciones (29) en una serie infinita de la forma:



nx 
u(x,t) = sin
an eitn + bn eitn
L
1

que satisfaga (26). Esto conduce, derivando termino a termino, a

 nx 

1 (an + bn ) sin L = f (x),

 nx 

in
(a

b
= g(x).
)
sin
n
n
1
L

(30)

(31)

Asi, (an + bn ) e in(an bn ) son los coeficientes de las series de Fourier de senos de f y g
respectivamente, y pueden calcularse a partir de la ecuacion (21). Esto completa la solucion
formal del problema.
Las soluciones (29) tienen una interpretacion interesante. Cada una de ellas representa una
vibracion de frecuencia
r
n

ciclos / seg.
(32)
2L
La frecuencia mas baja
1
2L

(33)

recibe el nombre de Frecuencia Fundamental, y es generalmente la que se oye cuado la cuerda

es pulsada.
Aparentemente la frecuencia fundamental crece con la tension y decrece con la longitud
y la densidad. Observando un piano se puede corroborar los dos u ltimos efectos (las cuerdas
de bajos son mas largas y pesadas), y al afinar cualquier instrumento de cuerda se confirma el
primero. El hecho que las demas frecuencias, llamadas armonicas, sean multiplos enteros de
la fundamental esta ntimamente relacionado con el hecho de que el sonido de un instrumento
de cuerda es mas bien puro en contraste con el tono de un tambor. Esta terminologa explica tambien por que el tema de las Series de Fourier es tambien copnocido como Analisis
Armonico, los coeficientes an y bn en la ecuacion (30) determinan las amplitudes de los diferentes armonicos.
Existe otra cantidad asociada a la cuerda vibrante que desempena un papel importante en

analisis, a saber, la energa cinetica. Esta

viene dada en un tiempo cualquiera t, por
1
2

ZL
0

ut (x,t)2 dx.

16

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

Derivando, elevando al cuadrado, e integrando termino a termino se obtiene para esta integral



2
L 2 2

n an eitn bn eitn .

4
1
As entonces, la vibracion total es la suma de vibraciones con frecuencia n, y la energa
de la vibracion total es la suma de las energas de las vibraciones componentes. Este u ltimo
hecho parece algo sorprendente, ya que podra esperarse que las componentes interfieran unas
con otras. Se vera mas adelante que estos calculos estan justificados aun cuando la serie de
ut no converge uniformemente en x. Un resultado significativo, conocido como la Igualdad de
Parseval, dice que si an es el coeficiente de Fourier n-esimo de la funcion continua f de perodo
2L, entonces
ZL

| f |2 = 2L |an |2 .

E JERCICIOS
1. Resolver el problema de la cuerda vibrante con las condiciones (25) sustituidas por
ux (0,t) = 0 y ux (L,t) = 0 Que situacion fsica describe esto?
2. Determnense los coeficientes de la ecuacion (30) cuando ut (x, 0) = 0 por la de la Figura
4 (a).
3. Reptase lo mismo que en el ejercicio anterior pero reemplazando la grafica de u(x, 0)
por la de la Figura 4 (b).
4. Para cada una de las soluciones de los ejercicios anteriores hallese, para las vibraciones
componentes de frecuencias y 2, la amplitud y la media respecto al tiempo de la
energa cinetica.

L/8

L/8

L/2

L/4

Figura 4: Posiciones iniciales de la cuerda vibrante en los ejercicios (2) y (3)

DE VARIABLES . El me1.2. G ENERALIDADES ACERCA DEL M E TODO DE S EPARACI ON
todo aplicado en las secciones anteriores para resolver el problema del calor en un disco n la
primera seccion, o el problema de la cuerda vibrante en la segunda, recibe el nombre de Metodo

17

O.R. FAURE

de Separacion de Variables por razones evidentes. Este metodo puede resolver muchos problemas particulares (si bien ciertamente no todos) que encierran ecuaciones en derivadas parciales.
Ahora se estudiara el metodo en general, apoyandose en el problema de transmision de calor
como ejemplo.
Considerese una varilla de longitud L colocada sobre el eje x entre x = 0 y x = L, supongase
que esta aislada en toda su longitud y en ambos extremos, de modo que el calor no se pierde,
pero puede ser conducido a lo largo de la varilla. Sea u(x,t) la temperatura en el punto x en
el instante t. Entonces si el caor especfico de la varilla por unidad de masa es c y la densidad
lineal es , el calor entre 0 y x es
Zx

c u(s,t) ds,
0

y la velocidad de aumento de calor es

Zx

c ut (s,t) ds.
0

Por otra parte, debido al aislamiento, el calor puede penetrar en esta seccion de la varilla solamente por el extremo de la derecha, si k es la conductividad de la varilla, la velocidad de
entrada del calor en ella es kux (x,t). As se tiene
Zx

c ut (s,t) ds = k ux (x,t).
0

Derivando respecto a x, se llega a

c ut (x,t) = k uxx (x,t).

(34)

Para determinar una solucion, recuerdese que los extremos estaban aislados, de modo que
ux (0,t) = 0,
ux (L,t) = 0,

(35)

y
u(x,t) esta acotada para 0 t < .
La distribucion inicial de temperatura es
u(x, 0) = f (x),

0 < x < L.

(36)

En el metodo de separacion de variables, se trata de obtener una solucion como suma de productos An Xn (x)Tn (t), donde An es constante, xn (x)Tn (t) satisface alguna de las condiciones
del problema y la serie satisface todas las condiciones. Estas consideraciones determinan que
condiciones pueden imponerse a los productos: aquellas que, cuando son satisfechas por todos
los Xn Tn tambien son satisfechas por An Xn Tn . Dicho de manera mas sencilla, son aquellas
que cuando son satisfechas por dos funciones v y w, tambien son satisfechas por Av + Bw, para
A y B dos constantes cualesquiera. Una condicion de este tipo se dice que es lineal homogenea.

18

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

5. La condicion C (u) de las funciones u recibe el nombre de lineal homogenea,

D EFINICI ON
si y solamente si la validez de C (v) y C (w) implica la validez de C (Av + Bw) para todas las
constantes A y B.
As la condicion dada por la primera ecuacion de (35) es lineal homogenea; pues si vx (0,t) = 0
y wx (0,t) = 0 entonces [Avx (0,t) + Bwx (0,t)] = 0. La condicion (34) es igualmente lineal homogenea. La condicion (36) por el contrario no lo es. Cuando f 6= 0, si v(x, 0) = f (x) y
w(x, 0) = f (x), entonces [Av(x, 0) + Bw(x, 0)] = A f (x) + B f (x), mientras que la condicion (36)
aplicada a la funcion Av + Bw exige que sea Av(x, 0) + Bw(x, 0) = f (x).
As para el problema que se intenta estudiar aqu, se buscan soluciones en forma de producto X(x)T (t) que satisfagan las condiciones lineales homogeneas (34) y (35), y se intentara

superponerlas de tal forma que satisfagan (36). Este

es el fundamento del Metodo de Separacion de Variables.
E JERCICIO
1.

(a) Vease que las condiciones (34) y (35) son lineales homogeneas.
(b) Hallense todos los productos que satisfacen estas condiciones lineales homogeneas.
(c) Que ocurre con cada solucion producto cuando t +?
(d) Completese la solucion en el caso que u(x, 0) = x.
(e) Cual es el limt+ u(x,t)? Tiene esto sentido fsicamente?
(f) Cuanto calor contiene la varilla en el instante t? Es razonable esto?

Incluso en casos en que no sea posible resolver el problema de la manera antes indicada,
ulteriores manifestaciones pueden proporcionar la solucion. Supongase por ejemplo, que la
varilla del problema anterior sea portadora de corriente, de modo que la ecuacion (34) viene
sustituida por
c ut (x,t) = k uxx (x,t) + H
(37)
donde H es la cantidad de calor por segundo y por unidad de longitud generada por la corriente
en la varilla. En lugar de considerar una varilla aislada en los extremos, se supondra que e stos
son mantenidos a una temperatura de referencia T0 de manera que (35) se sustituye por
u(0,t) = T0
(38)
u(L,t) = T0 .
Para completar las especificaciones, supongase que para t = 0 se tiene
u(x, 0) = T0 .

(39)

Aqu ninguna de las condiciones es lineal homogenea (a menos que T0 sea nula), de modo que
el esquema anterior ya no sirve. Aun cuando se ajustara la escala de temperatura de modo de
hacer T0 = 0, la inhomogeneidad de (37) hara elmetodo inservible.
Sin embargo, el problema puede resolverse mediante una reduccion preliminar sugerida por
la situacion fsica. En este problema particular se espera que la temperatura se aproxime a
un estado estacionario s(x), i.e. u(x,t) s(x) cuando t +. Las condiciones sobre

O.R. FAURE

19

v(x,t) = u(x,t) s(x) es mas probable que sean homogeneas que las de u(x,t). La funcion
v(x,t) es considerada como la distribucion transitoria de temperatura.
Para hallar el estado estacionario probable s(x), observese que para s(x) todas las derivadas
respecto al tiempo deberan ser nulas, de modo que ks00 (x) = H, y s(0) = s(L) = T0 . La
solucion de esta ecuacion diferencial es s(x) = T0 + Hx(L x)/2k. Poniendo ahora u(x,t) =
v(x,t) + s(x), se halla para v las condiciones:

c vt = k vxx ,

v(0,t) = 0,
(40)

v(L,t) = 0,

v(x, 0) = T0 s(x) = Hx(x L)/2k.

E JERCICIOS
1. Hallese la funcion v que satisfaga las ecuaciones (40).
2. Calculese, en funcion de c, k y L el tiempo que ha de trasncurrir para que sea v(x,t) <
L2 H/(10k) para 0 < x < L, es decir, cuando la transitoria resulta relativamente pequena
comparada con la variacion en el estado estacionario entre x = 0 y x = L/2.
El estudio anterior del metodo de separacion de variables dista mucho de ser completo.
Por ejemplo, existen muchas otras tecnicas, tales como la anterior reduccion a ecuaciones de
la transitoria para extender la aplicabilidad del metodo; y la separacion lleva a menudo desarrollos distintos de una serie de Fourier, por ejemplo a integrales de Fourier, series de Hermite y
Legendre y series o integrales de Bessel, para nombrar algunos. Se pueden hallar mas metodos
y ejemplos de este tipo en libros que traten de ecuaciones en derivadas parciales de la fsica o
de la ingeniera o especficamente de problemas a valores de contorno.
No debe pensarse que la mayor parte de los problemas pueden resolverse mediante este
metodo, ya que su e xito depende de que se tengan regiones y ecuaciones particulares. Sin
embargo muchos de estos casos especiales resultan ser los mas interesantes y las soluciones,
bastante explcitas, obtenidas para ellos permiten dar una idea de la solucion de problemas mas
generales.
E JERCICIOS
1. Se busca la temperatura estacionaria u(x, y) en una placa rectangular 0 x L, 0 y
M, bajo la condicion de que el borde x = 0 se mantenga a cero grado, x = L se mantenga
a u(L, y) = y grados, y los bordes y = 0 e y = M esten aislados. La ecuacion diferencial
adecuada es uxx + uxx = 0.
(a) Expresense las condiciones de contorno e identifquense las lineales homogeneas.
(b) Hallense todos los productos que satisfacen la ecuacion diferencial y las condiciones lineales homogeneas de contorno.
(c) Hallese una serie para u(x, y).

20

P ROBLEMA DE D IRICHLET Y T EOREMA DE P OISSON

2. Supongase que la placa del ejercicio anterior no este en un estado estacionario, de modo
que la temperatura sea u(x, y,t). Supongase que las mismas condiciones que en el ejercicio anterior y que en t = 0 la temperatura sea u(x, y, 0) = f (x, y).
(a) Muestrese que la ecuacion diferencial para u es c ut = k (uxx + uyy ), donde c es el
calor especfico, es la masa por unidad de superficie y k la conductividad termica.
(b) Hallense todos los productos X(x)Y (y)T (t) que satisfacen las condiciones lineales
homogeneas adecuadas. Para mayor sencillez considerese el caso c = = k = 1 y
L = M = .
(c) Que ocurre con estos productos cuando t +? (En la verdadera solucion, se
utilizan solamente aquellos que estan acotados cuando t +).
(d) Hallese la serie u(x, y,t) para el caso que u(x, y, 0) = y.
3. Supongase que en el ejercicio 1 la condicion u(0, y) = 0 se sustituye por u(0, y) = y,
permaneciendo iguales las restantes. Las soluciones de esto pueden obtenerse como la
suma de la solucion del ejercicio 1 y la solucion analoga v que satisfaga v(0, y) = y,
v(L, y) = 0.