Facultad de Ciencias

1. Clasificaciones y Definiciones
Denicion 1: Una ecuacion diferencial parcial es una relacion funcional entre una
funcion incognita u que depende de varias variables independientes, las variables indepen-
dientes y las derivadas parciales de u.
Denicion 2: El orden de una ecuacion diferencial parcial es el mayor orden de todas
las derivadas parciales.
Muchos problemas de la fsica matematica se reducen a ecuaciones diferenciales en derivadas
parciales. Las ecuaciones diferenciales de segundo orden se encuentran con particular fre-
cuencia. Estudiaremos las clasicaciones de dichas ecuaciones.
Se llama ecuacion en derivadas parciales de segundo orden con dos variables independientes
x e y a una relacion entre la funcion incognita u(x, y) y sus derivadas parciales hasta segundo
orden inclusive, es decir:
(1) F(x, y, u, u
x
, u
y
, u
xx
, u
xy
, u
yy
) = 0, (x, y) R D
entendiendose que u
x
=
u
x
, u
y
=
u
y
, u
xx
=

2
u
x
2
, u
xy
=

2
u
xy
, u
yy
=

2
u
y
2
, siendo D el
dominio de la funcion u, F una funcion dada de ocho variables y R es un subconjunto
abierto y conexo de R
2
.
Una solucion de (1) en R es cualquier funcion u denida en R y dos veces diferenciables
que verica (1) identicamente para todo (x, y) en R.
Nota 1: No se ha hecho distincion entre u
xy
y u
yx
por que salvo indicacion contraria se
supondra siempre que las derivadas parciales de u son funciones continuas en su dominio de
denicion, es decir en D, lo que garantiza la invertibilidad del orden de derivacion parcial.
El concepto de ecuacion diferencial se extiende de manera natural para un orden cualquiera
n y un n umero cualquiera m de variables independientes, siendo n y m enteros positivos, m
2. Tambien es posible considerar sistemas de ecuaciones diferenciales parciales, situacion
que se presenta cuando hay dos o mas funciones incognitas de varias variables independientes
relacionadas entre s y con sus derivadas parciales mediante relaciones funcionales similares
a (1).
Al igual que en la teora de ecuaciones diferenciales ordinarias, es conveniente estudiar
separadamente por su importancia y simplicidad relativas un tipo especial de ecuaciones
diferenciales parciales llamada Ecuaciones Lineales.
2
Denicion 3: La ecuacion diferencial parcial (1) se llama lineal con respecto a las
derivadas de orden superior, si tiene la forma
(2) a
11
u
xx
+ 2a
12
u
xy
+ a
22
u
yy
+ F
1
(x, y, u, u
x
, u
y
) = 0,
donde a
11
, a
12
y a
22
son funciones de x e y.
Si los coecientes dependen no solo de x e y, sino que al igual que F
1
, dependen de u, u
x
y u
y
, entonces diremos que tal ecuacion es cuasi - lineal .
La ecuacion se llama lineal , si es lineal tanto con respecto a las derivadas de orden mayor
u
xx
, u
xy
, u
yy
, como a la funcion u y a sus derivadas de primer orden u
x
, u
y
, es decir la ecuacion
(2) toma la forma:
(3) a
11
u
xx
+ 2a
12
u
xy
+ a
22
u
yy
+ b
1
u
x
+ b
2
u
y
+ cu + f = 0,
donde a
11
, a
12
,a
22
, b
1
, b
2
, c y f son funciones de x e y. Si estas funciones son constantes, es
decir no dependen de x ni de y, se dice que la ecuacion (3) es lineal con coecientes
constantes. Si f = 0, entonces se dice que la ecuacion lineal es Homogenea.
La idea es emplear un cambio invertible de las variables independientes originales x e
y por nuevas coordenadas , con el objetivo de expresar la ecuacion diferencial original
de manera mas sencilla. Esta idea es de frecuente aplicacion en la solucion de ecuaciones
diferenciales, tanto ordinarias como parciales.
Por ejemplo, si queremos resolver la ecuacion diferencial de segundo orden lineal con
coecientes variables conocida como ecuacion de Euler Homogenea,
x
2
y

+ Axy

+ By = 0,
con A y B constantes, entonces el cambio invertible de variables determinado por la relacion
x = e
t
, reduce el problema a una ecuacion lineal con coecientes constantes. En efecto,
debido a que x depende funcionalmente de t, entonces la funcion incognita buscada y
se transforma en una funcion z de la nueva variable t denida por
z(t) = y(x(t)) = y(e
t
))
Por la regla de la cadena para funciones compuestas resulta:
dz
dt
(t) =
dy
dx
(x(t)).
dx
dt
(t) = y

(x(t)), e
t
d
2
z
dt
2
(t) =
d
dt
[y

(x(t))] .e
t
+ y

(x(t)).
d
dt
e
t
= e
t

d
dt
y

(x(t)) + y

(x(t))

= e
t

(x(t)).
dx
dt
+ y

(x(t))

= y

(x(t)).(e
t
)
2
+ y

(x(t)).e
t
Vemos entonces que se verica las siguientes relaciones entre las derivadas de la funcion
original y con respecto a la variable x y las derivadas de la funcion transformada z con
3
respecto a la nueva variable t:
x(t).y

(x(t)) =
dz
dt
(t)
x
2
(t).y

(x(t)) =
d
2
z
dt
2
(t)
dz
dt
(t)
Por lo tanto, si y(x) es una solucion de la ecuacion diferencial original, entonces debe
cumplirse que:
x
2
(t).y

(x(t)) + Ax(t)y

(x(t)) + By(x(t)) = 0,
o sea que la funcion z(t) debe vericar la ecuacion diferencial lineal:
d
2
z
dt
2

dz
dt
+ A
dz
dt
+ Bz = 0.
Esta ecuacion la sabemos resolver facilmente por tener coecientes constantes, y una vez
encontrada la solucion z(t), podemos encontrar la solucion deseada de la ecuacion original
y(x) invirtiendo el cambio de variables, ya que:
z(lnx) = y(e
lnx
) = y(x).
Por ejemplo, si A = 1 y B = 1, la solucion general de la ecuacion general de la ecuacion
diferencial transformada es:
z(t) = c
1
e
t
+ c
2
e
t
,
con c
1
y c
2
constantes arbitrarias, de modo que la solucion general de la ecuacion original es
y(x) = z(lnx) = c
1
x +
c
2
x
.
El simplicar la forma de una ecuacion diferencial mediante un cambio adecuado de coor-
denadas es una de las ideas mas fructferas para resolver tales ecuaciones. En que consiste
un cambio adecuado y como se puede encontrar?. En muchos casos, la experiencia sugiere
el cambio a intentar. En otros casos, la forma geometrica del dominio donde se discute
solucion de una ecuacion diferencial parcial sugiere el conveniente cambio de coordenadas.
En el caso de dos variables independientes, si el dominio es de forma rectangular, convendr a
por lo general usar coordenadas cartesianas con ejes paralelos a los lados del rectangulo, si
el dominio es un disco o un sector circular o un anillo, convendr a usar coordenadas polares.
En la ecuacion general lineal (3) que deseamos simplicar, no se nos presenta un dominio
especial a considerar, de modo que no tenemos gua inicial de este tipo para intentar un
cambio de coordenadas especico. Vemos entonces como se transforma la ecuacion (3) bajo
un cambio cualquiera de coordenadas invertibles y dos veces continuamente diferenciable.
Consideremos pues dos nuevas coordenadas o variables independientes y y sean ,
dos funciones continuamente diferenciables que denen el siguiente cambio invertibles de
variables
= (x, y), = (x, y),
Es natural preguntarse: Como escoger y , de modo que la ecuacion en estas nuevas
variables sea mas sencilla?
4
Para las ecuaciones lineales con dos variables independientes x e y:
a
11
u
xx
+ 2a
12
u
xy
+ a
22
u
yy
+ b
1
u
x
+ b
2
u
y
+ cu + f = 0,
transformando las derivadas a las nuevas variables, obtenemos:
(4)

u
x
= u

x
+ u

x
,
u
y
= u

y
+ u

y
,
u
xx
=
x
[u

x
+ u

x
] + u

xx
+
x
[u

x
+ u

x
] + u

xx
= u

2
x
+ 2u

x
x + u

2
x
+ u

xx
+ u

xx
,
u
xy
= u

y
+ u

[
x

y
+
y

x
] + u

y
+ u

xy
+ u

xy
,
u
yy
= u

2
y
+ 2u

y
y + u

2
y
+ u

yy
+ u

yy
.
Sustituyendo los valores de las derivadas dadas por (4) en (3), tenemos
a
11
[u

2
x
+ 2u

x
x + u

2
x
+ u

xx
+ u

xx
] +
a
12
[u

y
+ u

[
x

y
+
y

x
] + u

y
+ u

xy
+ u

xy
] +
a
22

2
y
+ 2u

y
y + u

2
y
+ u

yy
+ u

yy

+
+ b
1
[u

x
+ u

x
] + b
2
[u

y
+ u

y
] + cu + f = 0.
Agrupando convenientemente, tenemos

a
11

2
x
+ a
12

y
+ a
22

2
y

+
2 [2a
11

x
+ a
12
(
x

y
+
y

x
) + 2a
22

y
] u

a
11

2
x
+ a
12

y
+ a
22

2
y

+
+ [a
11

xx
+ 2a
12

xy
+ a
22

yy
+ b
1

x
+ b
2

y
] u

+
+ [a
11

xx
+ 2a
12

xy
+ a
22

yy
+ b
1
u

+ b
2

y
] u

+ cu + f = 0.
Si llamamos
a
11
= a
11

2
x
+ a
12

y
+ a
22

2
y
a
12
= a
11

x
+ a
12
(
x

y
+
y

x
) + 2a
22

y
a
22
= a
11

2
x
+ a
12

y
+ a
22

2
y
b
1
= a
11

xx
+ 2a
12

xy
+ a
22

yy
+ b
1

x
+ b
2

y
,
b
2
= a
11

xx
+ 2a
12

xy
+ a
22

yy
+ b
1

x
+ b
2

y
,
tenemos la siguiente ecuacion
(5) a
11
u

+ 2a
12
u

+ a
22
u

+ b
1
u

+ b
2
u

+ cu + f = 0.
Para que la ecuacion transformada (5) resulte mas simple que la original (3), busquemos
una eleccion de la funcion tal que a
11
= 0 por ejemplo, pero debemos investigar si es
5
posible en realidad llevar a cabo tal eleccion, deberamos ser capaces de resolver la siguiente
ecuacion diferencial de primer orden no lineal,
(6) a
11
(z
x
)
2
+ 2a
12
z
x
z
y
+ a
22
(z
y
)
2
= 0,
ya que cualquier solucion z = (x, y) de (6) nos servira para el n se nalado.
Para encontrar tales soluciones nos apoyaremos en los siguientes Lemas.
Lema 1: Si z = (x, y) es solucion de la ecuacion (6, entonces la relacion (x, y) =constantes
es una integral general de la ecuacion ordinaria
(7) a
11

dy
dx

2
2a
12
dy
dx
+ a
22
= 0.
Demostracion: Podemos suponer que la funcion no es constante y que
y
no es
identicamente nula, de modo que al ser solucion de (6) se cumple:
a
11

2
+ 2a
12

x
+ a
22
= 0.
Al ser
y
no nula en un punto (x
o
, y
o
), entonces en una vecindad de x
o
se puede despejar y
como funcion diferenciable de x a partir de la relacion (x, y) = (x
o
, y
o
) por el Teorema
de la funcion implcita, tenemos que
dy
dx
=

y
,
y por lo tanto se verica la identidad
a
11

dy
dx

2
+ 2a
12

dy
dx

+ a
22
= 0.
Lema 2: Si (x, y) =constante es una integral general de la ecuacion diferencial (7),
entonces la funcion z de las dos variables independientes x e y denida por z = (x, y)
es solucion de la ecuacion (6).
Demostracion: Supongamos que
y
no es identicamente nula, pues en caso contrario la
relacion (x, y) =constante no denira implcitamente una solucion y = y(x) de la ecuacion
(7). Siendo este el caso, resulta que
dy
dx
=

y
,
y por ser y(x) solucion de (7) se verica la identidad
a
11

dy
dx

2
2a
12

dy
dx

+ a
22
= 0,
es decir que la ecuacion (6) se satisface identicamente con z = (x, y).
El signo de la expresion subradical determina el tipo de ecuacion
a
11
u
xx
+ 2a
12
u
xy
+ a
22
u
yy
+ F
1
(x, y, u, u
x
, u
y
) = 0
en el punto (x, y), por lo tanto diremos que la ecuacion es del tipo:
(1) Hiperbolica, si en el punto (x, y): a
2
12
a
11
a
22
> 0.
(2) Elptica, si en el punto (x, y): a
2
12
a
11
a
22
< 0.
(3) Parabolica, si en el punto (x, y): a
2
12
a
11
a
22
= 0.
6
Esta terminologa se ha adoptado de la teora de las curvas de segundo orden. A la
ecuacion (6) se le llama Ecuacion Caracterstica para la ecuacion (3), y sus integrales,
Caracterstica.
Para una ecuacion de Tipo Hiperbolica la ecuacion caracterstica (7) se descompone
en dos ecuaciones diferenciales ordinarias de primer orden en forma normal con segundos
miembros reales y distintos, a saber
(8)
dy
dx
=
a
12
+

(a
12
)
2
a
11
a
22
a
11
A
1
,
dy
dx
=
a
12

(a
12
)
2
a
11
a
22
a
11
A
2
.
Una integral general de la primera ecuacion de (8) es
y A
1
x = ctte,
y una integral de la segunda ecuacion de (8) es
y A
2
x = ctte,
o sea, las caractersticas estan formadas por dos familias de rectas diferentes. Por el Lema 2,
la funcion denida por (x, y) = y A
1
x es solucion de la ecuacion diferencial (6), de modo
que a
11
= 0 con = (x, y).
En este caso podemos simplicar a un mas la ecuacion transformada (5) puesto que con-
tamos con una segunda solucion de la ecuacion (6), que podemos utilizar para anular a
22
.
En efecto, puesto que = (x, y), entonces
(x, y) = y A
2
x,
tenemos que es solucion de (6) y por lo tanto a
22
= 0. El cambio de coordenadas deter-
minado por estas dos funciones y es invertible pues su Jacobiano vale (A
1
+ A
2
), que
es distinto de cero.
La ecuacion transformada (5) se reduce entonces a la singuiente forma simple, llamada
forma canonica de (4) para el tipo hiperbolico:
(9) 2a
12
u

+ b
1
u

+ b
2
u

+ cu + f = 0,
en que b
1
= b
1
(A
1
) + b
2
, b
2
= b
1
(A
2
) + b
2
y a
12
=0. En el caso particular en que en
la ecuacion original (3) solo estan presentes las derivadas parciales de orden dos, o sea
b
1
= b
2
= c = f = 0, la forma canonica (9) adopta una forma particular simple, a saber
(10) u

= 0.
Para una ecuacion de segundo orden tipo hiperbolico existe una segunda forma canonica
muy usada que se obtiene con un nuevo cambio invertible de variables denidos por

= +
= ,
7
las relaciones de transformacion para las parciales que interesan son
u

= u

+ u

xi
=
1
2
(u

+ u

) ,
u

=
1
2
(u

+ u

+ u

+ u

)
=
1
4
(u

) .
Vemos que usando las variables
=
+
2
= y
A
1
+ A
2
2
x,
=

2
=
A
2
A
1
2
x,
la segunda forma canonica que reemplaza a la primera (10) es
(11) u

= 0,
que es la ecuacion de onda homogenea para las variables independientes y .
Para una ecuacion de tipo parabolico, la ecuacion caracterstica (??) se reduce a una
sola ecuacion diferencial, a saber,
dy
dx
=
a
12
a
11
A.
Una integral general de esta ecuacion es simplemente y Ax = ctte.
Deniendo y Ax y = (x, y), entonces por el Lema 2 nuevamente resulta a
11
= 0.
Ademas para cualquier eleccion de = (x, y) tal que el determinante Jacobiano (
x

x
) no se anula (de modo que el cambio de variables resulte invertible), y en particular si
A=0, con (x, y) = y + Ax, resulta a
12
= 0. En efecto, como en el caso parabolico
(a
12
)
2
= a
11
a
22
,
se tiene que si a
12
=0, a
11
y a
22
tiene el mismo signo. Supongamos por ejemplo que a
11
y a
22
son positivos, en tal caso
a
12
=

a
11

a
22
si a
12
> 0
a
12
=

a
11

a
22
si a
12
< 0,
entonces se puede escribir
a
11
= a
11

2
x
+ 2a
12

y
+ a
22

2
y
= (

a
11

x
+

a
22

y
)
2
si a
12
> 0,
a
11
= (

a
11

a
22

y
)
2
si a
12
< 0.
Por otra parte, como
a
12
= a
11

x
+ a
12
(
x

y
+
x

y
) + a
22

y
,
podemos escribir
a
12
= (

a
11

x
+

a
22

y
)(

a
11

x
+

a
22

y
) si a
12
> 0
8
y
a
12
= (

a
11

a
22

y
)(

a
11

a
22

y
) si a
12
< 0,
de modo que al ser a
11
= 0 resulta en todos los casos que tambien a
12
= 0.
La ecuacion transformada se reduce a la siguiente forma canonica para el tipo parabolico:
(12) u

=
b
1
u

+ b
2
u

+ cu + f
a
22
Observese que a
22
=0, porque
a
22
= (

a
11

x
+

a
22

y
)
2
si a
12
> 0.
y
a
22
= (

a
11

a
22

y
)
2
si a
12
< 0.
y como (
x

x
)=0 entonces a
11
y a
22
no pueden anularse simult aneamente.
Ademas a
22
> 0 (en el caso en que a
11
y a
22
son positivos). El caso en que b
1
= 0
puede considerarse como degenerado, pues entonces en la ecuacion (12) no guran derivadas
parciales con respecto a , y la ecuacion (12) es una ecuacion diferenciales ordinaria para la
funcion incognita u de la variable con como parametro. Supongamos entonces que b
1
=0.
Siendo a
22
> 0, si ademas es b
1
< 0, entonces la forma canonica (12) para el tipo parabolico
puede llevarse a la forma
(13) u

= a
2
u

+ bu

+ du
f
b
1
,
donde a
2
=
a
22
b
1
.
En (13) el coeciente de u

es positivo, y si b = d = f = 0, entonces se obtiene directa

la ecuacion del calor homogenea. Si en la ecuacion (12) es b
1
> 0, es posible todava llevar
(12) a la forma (13) con un cambio adicional de variables:

1
= ,
1
=
ya que
u

1
=
u

, u

1
= u

...
Nota: Si a
12
= 0, entonces A = 0 y = (x, y) = y. En esta situacion basta tomar = x,
porque como (a
12
)
2
= a
11
.a
22
y a
11
=0, necesariamente es a
22
= 0 en la ecuacion original (),
ya que esta en la forma canonica (12) a condicion de renombrar las variables independientes:
llamamos a x y a y.
Si a
11
= 0 en la ecuacion original de tipo parabolico, entonces necesariamente a
12
= 0, de
modo que a
22
=0 y () puede escribirse como
u
yy
=
b
1
u
x
+ b
2
u
y
+ cu + f
a
22
,
que ya es de la forma canonica (12) sin necesidad de efectuar un cambio de variables.
Para una ecuacion de tipo elptico, o sea, en el caso en que (a
12
)
2
a
11
a
22
< 0, no es
posible anular a
11
ni a
22
mediante un cambio real de coordenadas. Se observa que en este
caso necesariamente es a
11
=0 y a
22
=0 y ademas las constates A
1
y A
2
segundos miembros de
las ecuaciones diferenciales () y (), tienen valores complejos, y podemos denir las funciones
a valores complejos.
(x, y) = y A
1
x, (x, y) = y A
2
x.
9
De las deniciones de A
1
y A
2
resulta inmediatamente que A
2
= A
1
, de modo que = .
Si A
1
= B
1
+ iC
1
, en que B
1
y C
1
son valores reales, entonces se puede escribir
(x, y) = (x, y) + i(x, y),
(x, y) = (x, y) i(x, y),
con
(x, y) = y B
1
x, (x, y) = C
1
x.
Es facil ver que los Lemas 1 y 2 siguen siendo ciertos para funciones a valores complejos,
de modo que se verica
a
11
(
x
)
2
+ 2a
12

y
+ a
22
()
2
y
= 0.
Pero
x
=
x
+ i
x
,
y
=
y
+ i
y
, de modo que se cumple
a
11
(
x
)
2
+ 2a
12

y
+ a
22
()
2
y
=
[a
11
(
x
)
2
+ 2a
12

y
+ a
22
(
y
)
2
]
[a
11
(
x
)
2
+ 2a
12

y
+ a
22
(
y
)
2
] +
2i [a
11

x
+ a
12
(
x

y
+
y

x
) + a
22

y
] = 0
Igualando a cero la parte real e imaginaria del primer miembro se obtiene
a
11
a
22
= 0 y a
12
= 0,
para la ecuacion transformada respecto de las variables y , o sea,
a
11
u

+ a
22
u

+ b
1
u

+ b
2
u

+ cu + f = 0,
y la forma canonica para el tipo elptico es:
(14) u

+ u

=
b
1
u

+ b
2
u

+ cu + f
a
22
con
a
22
= a
11
= a
11
(
x
)
2
+ 2a
12

y
+ a
22
(
y
)
2
,

x
= B
1
,
y
= 1.
Vemos que si b
1
= b
2
= c = f = 0, la forma canonica (14) es transformada en u

+u

= 0,
que es la ecuacion de Laplace.
Ejemplos:
Un ejemplo de una ecuacion de Tipo Elptico es conocida como la ecuacion de Laplace,

2
u =

2
u
x
2
+

2
u
y
2
= 0.
Un ejemplo de una ecuacion de Tipo Parab olica es conocida como la ecuacion del Calor:
u
t
= k
u
x
2
Mientras que un ejemplo de una ecuacion de Tipo Hiperbolica es conocida como la
ecuacion de la Onda

2
u
t
2
= c
u
x
2
Facultad de Ciencias
Practica No. 1
1-. Demuestre que si se efect ua un cambio invertible de variables una vez continuamente
diferenciable arbitrario, entonces el tipo de la ecuacion transformada a partir de una
ecuacion diferencial parcial lineal de segundo orden con coecientes constantes es
igual al tipo de ecuacion original. (Se dice que una tal ecuacion es invariante bajo
cambios admisibles de coordenadas).
2-. Supongamos que la ecuacion
(15) a
11
u
xx
+ 2a
12
u
xy
+ a
22
u
yy
+ b
1
u
x
+ b
2
u
y
+ cu + f = 0,
en que los coecientes a
11
, a
12
, ..., f son constantes, es de tipo hiperbolico, y que se
transforma en
(16) 2a
12
u

+ b
1
u

+ b
2
u

+ cu + f = 0,
mediante un cambio de variables como en el ejercicio 1. Demuestre que necesaria-
mente el coeciente a
12
en la ecuacion transformada es no nula.
3-. En la forma canonica (16) para una ecuacion (15) del tipo hiperbolico, obtenga una
segunda forma canonica usando las nuevas variables
=
+
2
, =

2
.
4-. Para las siguientes ecuaciones, determinar su tipo y mediante un cambio de variable
adecuado obtenga la forma canonica correspondiente
a) u
xx
+ 2u
xy
+ u
yy
+ u
x
u y = 0,
b) u
xx
+ 2u
xy
+ 5u
yy
+ 3u
x
+ u = 0,
c) 3u
xx
+ 10u
xy
+ 3u
yy
= 0,
5-. Suponga ya reducida la ecuacion lineal (15) a una de las tres formas canonicas posibles
usando las nuevas variables independientes y . Demuestre que efectuando un
cambio de variables dependiente de u y v denido por u(, ) = v(, ).e
+
,
con y convenientemente elegidos, la ecuacion original (15) se reduce a una de las
11
siguientes formas canonicas:
a. Tipo parabolico: a
22
v

+ b
1
v

+ f
1
= 0
b. Tipo elptico: a
22
(+v

+ v

) + v + f
1
= 0
c. Tipo hiperbolico:

2a
12
v

+ v + f
1
= 0 (1
era
forma)
1
2
a
12
(v

) + v + f
1
= 0 (2
da
forma)
donde f
1
f.e
(+)
, es una constante que depende de b
1
+ b
2
y c.
6-. Hallar las regiones donde la ecuacion
u
xx
+ yu
yy
= 0,
es hiperbolica, elptica y parabolica, y reducirla a su forma canonica en la region en
que es hiperbolica.
1
0.1 Deduccion de la Ecuacion del Calor en una Barra
unidimensional.
Consideremos una barra nita unidimensional cuya area de la seccion transversal
es constante A.
Fig. 0.1: Barra unidimensional
Denotemos por u(x, t), la temperatura en el punto x en un tiempo t. Si
pensamos en el fenomeno de Conduccion del Calor, tenemos que considerar
que intervienen dos procesos basicos en la transferencia de energa, que son:
Conduccion: Que consiste en la coalision de las moleculas vecinas.
Conveccion: Que es el movimiento de la molecula de un lado a otro
llevando su emerga termica.
Llamemos
e(x, t) = La densidad de energa termica,
la cual se mide como la cantidad de
energa termica por unidad de volumen.
Sin perdida de generalidad, podemos suponer que todas las cantidades
termicas son constante a lo largo de cada seccion transversal, es decir, nuestra
barra esta recubierta o aislada termicamente y solo hay transferencia de calor
en los extremos.
Consideremos una rebanada sucientemente delgada entre x y x+x. El
volumen de la barra comprendida entre dos secciones transversales cercanas se
conoce como seccion innitesimal. Si la densidad de energa termica es
constante en esta seccion innitesimal, entonces
Energa Termica e(x, t)Ax,
en la Seccion Innitesimal
2
ya que el volumen de la Seccion Innitesimal es Ax.
En general, la densidad de la Energa termica no es constante, sin embargo,
si x es sucientemente peque no, entonces podemos aproximar la densidad por
una constante en ese volumen.
Existen dos razones por las cuales la energa termica entre x y x +x varia
con el tiempo, ellas son:
El ujo atraves de la Frontera (de la seccion x y x +x) y
La energa generada en el Interior (debido a fuentes positivas o
negativas de energa termica).
Como hemos supuesto que la supercie lateral esta aislada, no hay ujo
de energa termica a traves de esta supercie, por lo que todo el proceso de
Flujo de Calor se puede describir haciendo uso del Principio de la
Conservacion de la Energa, que nos dice:
Variacion de Flujo de Calor Energa termica
Energa Termica = a traves de + generada en el
en el tiempo las Fronteras interior por unidad
por unidad de de tiempo
tiempo
En nuestra seccion innitesimal, la variacion de la Energa es

t
[e(x, t)Ax] ,
mientras que en una varilla unidimensional, la Energa Termica solo puede uir
hacia la derecha o hacia la izquierda. Llamemos
(x, t) = Flujo de Calor (Cantidad de energa termica
por unidad de tiempo que uye hacia la
derecha por unidad de area),
donde

(x, t) > 0 : La energa termica uye hacia la derecha

(x, t) < 0 : La energa termica uye hacia la izquierda.
Por lo tanto la energa termica que uye por unidad de tiempo a traves de
las fronteras de la seccion innitesimal es:
(x, t)A(x +x, t)A.
Si (x, t) > 0 y (x +x, t) > 0, entonces la energa termica que uye por
unidad de tiempo a traves de la seccion en x incrementa la energa termica de
la seccion innitesimal, mientras que el ujo de calor a traves de x + x lo
disminuye.
La energa termica tambien puede variar debido a la existencia de Fuentes
internas, para representarlas, llamemos a estas fuentes:
3
Q(x, t) = Energa termica generada
por unidad de volumen y
por unidad de tiempo.
Estas fuentes internas pueden deberse a reacciones qumicas o calentamiento
electrico. Q(x, t) es aproximadamente constante en la variable espacial en cada
seccion innitesimal, de esta manera la energa termica total por unidad de
tiempo en dicha seccion es aproximadamente:
Q(x, t)Ax.
Por lo que usando el Principio de la Conservacion de la Energa,
tenemos:

t
[e(x, t)Ax]

= (x, t)A(x +x, t)A + Q(x, t)Ax.
la cual puede escribirse como

t
[e(x, t)x]

= (x, t) (x +x, t) + Q(x, t).
por ser la seccion transversal constante.
Esta ecuacion no es exacta ya que hemos supuesto que varias cantidades son
aproximadamente constantes en la seccion innitesimal. Sin embargo es mas
preciso en la medida que x es mas peque no, por lo que intentaremos tomar el
limite cuando x 0. Dividiendo la expresion anterior por x y luego tomando
el limite cuando x 0, tenemos
e(x, t)
t
=

x
+ Q(x, t).
La desventaja de esta deduccion es que nos hemos restringido a peque nas
secciones. Para solventar esta situacion, consideremos un segmento cualquiera
de longitud nita, por ejemplo, desde x = a hasta x = b, de la barra unidimen-
sional y estudiemos la energa termica en este intervalo. As, la energa termica
total es:

b
a
e(x, t)Adx,
es decir, la suma de todas las cantidades de cada seccion innitesimal que com-
pone el segmento. Como antes, esta energa termica vara solo debido al ujo
a traves de los extremos (x = a y x = b) y por supuesto a la energa termica
generada en el interior del intervalo. As
d
dt

b
a
e(x, t)dx = (a, t) (b, t) +

b
a
Q(x, t)dx.
Por el Teorema Fundamental del Calculo, sabemos que
(a, t) (b, t) =

b
a
(x, t)
x
dx, (0.1)
4
siempre que tenga derivada continua. Por lo tanto (0.1) puede escribirse como

b
a

e(x, t
t
+
(x, t)
x
Q(x, t)

dx = 0.
Como a y b son arbitrarios, tenemos nuevamente la ecuacion
e(x, t)
t
=
(x, t)
x
+ Q(x, t). (0.2)
Expliquemos un poco el signo negativo que aparece en

x
. Por ejemplo, si

x
> 0 para a x b, entonces el ujo de calor, , es una funcion creciente
de la variable x, as pues el calor que uye hacia la derecha en x = b es mayor
que que el ujo de calor en x = a. As (olvidandonos de la fuente), la energa
calorica debe decrecer entre x = a y x = b, de aqu el signo negativo en (0.2).
Describiremos los materias por su temperatura u(x, t) y no por su densidad
de energa termica, por lo que denimos:
c(x) = Calor especico, que no es mas que la
energa termica necesaria para elevar
una unidad de temperatura por unidad de
masa de un material o sustancia.
Ya denimos la energa termica concentrada en una seccion innitesimal
como e(x, t)Ax, sin embargo podemos denir la energa termica por unidad
de masa en termino del calor especico como
e(x, t) = c(x)u(x, t).
Consideremos ahora la densidad de masa
(x) = Densidad de masa (masa por unidad de volumen),
permitiendo que varie x, debido a que la varilla sea un material no uniforme,
por lo que la masa total de la seccion transversal es (x)Ax, de esta manera
le energa termica por unidad de volumen es:
e(x, t)Ax = c(x)u(x, t)(x)Ax
de esta manera hemos encontrado la relacion entre la energa termica y la tem-
peratura, que es:
e(x, t) = c(x)(x, t)(x) (0.3)
Sustituyendo (0.3) en la ecuacion (0.2), tenemos
c(x)(x)
u
t
=

x
+ Q(x, t). (0.4)
La ecuacion (0.4) es una ecuacion con dos incognitas, la temperatura u(x, t)
y el ujo de calor (x, t), debemos entonces preguntarnos Como y por que
el uye la energa termica?, esto es, necesitamos conocer la relacion entre
el ujo de energa termica y la temperatura. Para ello enunciaremos algunas
propiedades cualitativas del ujo de calor
5
1. Si la temperatura es constante en una region, la energa termica
no uye.
2. Si hay diferencia de temperatura, la energa termica uye de la
region mas caliente a la mas fra.
3. A mayor diferencia de temperatura (para el mismo material)
mayor es el ujo de energa termica.
4. El ujo de energa termica es diferente para distintos materiales
El fsico - Matematico Fourier (1768 - 1830), observo estas propiedades
y las resumio de la siguiente manera:
El ujo de calor es proporcional a la variacion
de la temperatura por unidad de longitud,
es decir
(x, t) = K
o
u
x
(x, t), (0.5)
conocida como Ley de Fourier de la conductividad del Calor. Si la
temperatura u(x, t) crece cuando x crece (es decir, la temperatura es mayor
hacia la derecha),
u
x
> 0, y la propiedad 2-. implica que la energa termica
uye hacia la izquierda, esto explica el signo negativo en (0.5)
El coeciente de Proporcionalidad K
o
mide la capacidad del material para
conducir el calor y se conoce como Conductividad Termica.
Sustituyendo la Ley de Fourier (0.5) en la ecuacion de la conservacion e
la energa termica (0.4), tenemos
c(x)(x)
u
t
=

x

K
o
u
x

+ Q(x, t). (0.6)

Todos los coecientes termicos c, y K
o
dependen del material y por ello
pueden ser funciones de x. En el caso especial de una barra uniforme c, y K
o
son constante, y la ecuacion (0.6) se convierte en
c
u
t
= K
o

2
u
x
2
+ Q(x, t).
Si ademas no hay fuentes, es decir Q0, la ecuacion puede escribirse como
u
t
= K

2
u
x
2
, (0.7)
donde la constante
K =
K
o
c
,
se conoce como difusividad termica. Si la energa termica esta inicialmente
concentrada en un lugar, la ecuacion (0.7) describira como esta energa se dis-
persa, este proceso fsico se conoce como difusion, es por esta razon que
6
a la ecuacion (0.7) se le conoce tambien como la Ecuacion de Difusion.
Por ejemplo, la concentracion de compuestos qumicos u(x, t) (como perfumes
o contaminantes) satisface en algunas situaciones la ecuacion (0.7).
Ejercicios:
1-. Supongamos que el calor especco es una funcion de la posicion y de la
temperatura, c(x, u).
a) Demostrar que la energa termica por unidad de masa necesaria para elevar
la temperatura de una seccion innitesimal de grosor x de 0
o
a u(x, t)
no es c(x)u(x, t), sino

u
0
c(x, u)du.
b) Deducir de nuevo la ecuacion del calor en este caso. Demostrar que la
ecuacion
e
t
=

x
+ Q
no cambia.
2-. Consideremos la ley de conservacion de energa termica en un intervalo
de una varilla unidimensional a x b. Usando el teorema fundamental del
calculo

b
a
f(x)dx = f(b),
deducir la ecuacion del calor.
3-. Si se conoce u(x, t), obtener una expresion para la energa termica total
contenida en una varilla (0 < x < L). Resp:

L
0
cuAdx
4-. Consideremos una barra unidimensional n fuentes de energa termica
cuya supercie lateral no este aislada.
a) Supongamos que la energa termica que uye por la supercie lateral por
unidad de area y por unidad de tiempo es w(x, t). Deducir la ecuacion en
derivadas parciales que cumple la temperatura u(x, t).
b) Supongamos que w(x, t) es proporcional a la diferencia de la temperatura
entre la barra u(x, t) y la temperatura exterior conocida (x, t). Deducir
que
c
u
t
=

x

K
o
u
x

P
A
[u(x, t) (x, t)] h(x), (0.8)
donde h(x) es una funcion positiva de x, P es el permetro lateral y A es
el area transversal.
c) Comparar (0.8) con la ecuacion para una barra unidimensional cuya su-
percie lateral este aislada pero con una fuente de calor.
7
d) Particularizar (0.8) para el caso de una varilla de seccion transversal cir-
cular con propiedades termicas constantes y temperatura exterior 0
o
.
e) Consideremos las condiciones del apartado (d). Supongamos que la tem-
peratura de la varilla es uniforme (es decir, u(x, t) = u(t)). Determinar
u(t) si inicialmente u(0) = u
o
. Resp: u(t) = u
o
exp

2h
cr

1
0.1 Diversas condiciones de contorno y su signicado fsico.
0.1.1 Condiciones Iniciales
La ecuacion que describe el ujo de energa termica, tiene una derivada respecto
al tiempo. Ya sabemos que para ecuaciones diferenciales de primer orden, el
problema de valores iniciales consiste en resolver la ecuacion diferencial con una
condicion inicial. Del mismo modo, la Ley de Newton del movimiento aplicada
a la posicion x de una partcula da lugar a una ecuacion diferencial ordinaria
de segundo orden, que es:
m
d
2
x
dt
2
= Fuerzas.
Al tener una derivada segunda el problema de valor inicial consiste en resolver
la ecuacion diferencial con dos condiciones iniciales que son
1. La posicion inicial, x(t
o
) = x
o
y
2. La velocidad inicial
dx
dt
(t
o
) = v
o
,
de esta manera, podemos predecir el movimiento de una partcula en la direccion
del eje x, resolviendo la ecuacion diferencial con las condiciones iniciales.
Esto mismo queremos hacer para nuestra ecuacion en derivadas parciales.
Como la ecuacion del calor tiene una derivada respecto al tiempo, necesitamos
una Condicion Inicial que normalmente evaluaremos en t
o
= 0, es decir,
necesitamos conocer la temperatura inicial. Es posible que la temperatura inicial
no sea constante, sino que depende de x, en este caso necesitamos conocer la
distribucion inicial de temperatura
u(x, 0) = f(x). (0.1)
Sera suciente informacion para predecir la temperatura?. Conocemos la
distribucion inicial de temperatura y que la temperatura varia de acuerdo con
la ecuacion en derivadas parciales. Sin embargo, necesitamos conocer lo que
ocurre en los extremos x = 0 y x = L. Sin conocer esta informacion no podemos
predecir el futuro. Necesitamos dos condiciones correspondiente a la segunda
derivada respecto al espacio que aparece en la ecuacion del calor, habitualmente
una condicion en cada extremo.
0.1.2 Condiciones de Contorno.
Al resolver la ecuacion del calor, necesitamos una Condicion de Contorno
en cada extremo de la barra. La condicion apropiada se elige dependiendo del
mecanismo fsico que este actuando en cada extremo. A menudo dicha condicion
de contorno depende tanto del material del que se compone la barra como del
medio exterior circundante.
2
1. Temperatura prescrita. En ciertas condiciones, la temperatura en los
extremos de la barra, por ejemplo en x = 0, puede aproximarse por una
temperatura prescrita,
u(0, t) = u
B
(t), (Dirichlet) (0.2)
donde u
B
(t) es la temperatura de un uido, que puede ser agua fra o
caliente a la que la barra esta en contacto.
2. Flujo calorico presente o Frontera aislada. En otros casos es posible
prescribir el ujo de calor en lugar de la temperatura, es decir,
K
o
(0)
u
x
(0, t) = (t), (0.3)
donde (t) es una funcion dada. esto equivale a dar una condicion sobre la
derivada
u
x
en x = 0. El ejemplo mas simple de condiciones de contorno
con ujo de calor prescrito se da cuando un extremo esta perfectamente
aislado. En estos casos no hay ujo de calor en los extremos. Si x = 0
esta aislado, entonces
u
x
(0, t) = 0, (Neumann) (0.4)
3. Ley de enfriamiento de Newton. Cuando una barra unidimensional
esta en contacto en los extremos con un uido en movimiento, por ejemplo,
aire, entonces no son apropiadas ni la condicion de temperatura prescrita
ni la del ujo de calor prescrito. Imaginemos una barra muy caliente en
contacto con aire en movimiento mas frio. La barra desprendera calor, ca-
lentando el aire circundante. El aire transportara entonces el calor hacia
afuera, este proceso de transferencia de calor se conoce como conveccion.
Sin embargo el aire estara mas caliente cerca de la barra.

Este es de nuevo,
un problema complicado, la temperatura del aire variara con la distancia
desde la barra. Los experimentos prueban que, con una buena aproxi-
macion, el ujo de calor que sale de la barra es proporcional a la diferencia
de temperatura entre la barra y la temperatura externa prescrita. Esta
condicion de contorno se llama Ley de enfriamiento de Newton. En
el extremo x = 0 esta ley implica
K
o
(0)
u
x
(0, t) = H[u(0, t) u
B
(t)], (Robin o mixta) (0.5)
donde la constante de proporcionalidad H > 0 se denomina Coeciente
de transferencia de calor (o coeciente de conveccion). Esta condicion
de contorno involucra una combinacion lineal entre u y
u
x
. Debemos ser
cuidadoso con el signo que precede a la constante de proporcionalidad H.
Si la barra esta mas caliente que el deposito [u(0, t) > u
B
(t)], entonces el
3
calor uye fuera de la barra en x = 0. Por lo tanto el calor uye hacia la
izquierda, y en este caso el ujo de calor debera ser negativo.
Debemos tener una condicion de contorno en cada extremo de la barra,
pero no es necesario que ambos extremos satisfagan la misma clase de
condicion. Por ejemplo, es posible tener una temperatura oscilante pre-
scrita en x = 0,
u(0, t) = 100 25cost,
y que el extremo de la derecha, x = L, este aislado,
u
x
(L, t) = 0.
0.2 Resolucion de la Ecuacion del Calor con temperatura
prescrita. Distribucion de temperatura en equilibrio.
Formulemos un problema simple, pero tipo, de ujo de calor. Si los coecientes
termicos son constantes y no existen fuentes de energa calorca, entonces la
temperatura u(x, t) en una barra unidimensional de longitud L satisface la
ecuacion:
u
t
= K

2
u
x
2
.
La solucion de esta ecuacion en derivadas parciales debe satisfacer la condicion
inicial
u(x, 0) = f(x),
y una condicion de contorno en cada extremo. Por ejemplo, cada extremo podra
estar en contacto con diferentes depositos, de modo que la temperatura en cada
extremo esta prescrita:
u(0, t) = T
1
(t)
u(L, t) = T
2
(t).
Supongamos que las condiciones de contorno en x = 0 y x = L fueran
Estacionarias(esto es, independientes del tiempo).
u(0, t) = T
1
u(L, t) = T
2
,
donde T
1
y T
2
son constantes dadas. Denamos una solucion de equilibrio o
estado estacionario como una distribucion de temperatura que no depende
del tiempo, es decir, tal que u(x, t) = u(x). Puesto que
u
t
= 0,la ecuacion de
se convierte en
d
2
u
dx
2
= 0. (0.6)
4
Las condiciones de contorno son
u(0) = T
1
u(L) = T
2
.
(0.7)
Al calcular los estados estacionarios, usualmente se ignoran las condiciones ini-
ciales. La ecuacion (0.6) es una ecuacion diferencial ordinaria de segundo orden
bastante trivial. Su solucion general puede obtenerse integrando dos veces, de
esta manera
u(x) = c
1
x + c
2
. (0.8)
Por lo tanto, la distribucion de temperaturas en equilibrio que se obtiene a partir
de las condiciones de contorno, es una lnea recta que es igual a T
1
en x = 0 y
a T
2
en x = L.
Podemos ver geometricamente que existe una unica solucion de equilibrio
para este problema. Algebraicamente, podemos determinar las dos constantes
arbitrarias c
1
y c
2
, imponiendo las condiciones de contorno, u(0) = T
1
y u(L) =
T
2
.
u(0) = T
1
= c
2
= T
1
,
u(L) = T
2
= T
2
= c
1
L + T
1
=c
1
=
T
2
T
1
L
(0.9)
Por lo tanto, la unica soluci on de equilibrio para la ecuacion del calor con estas
condiciones de contorno jas es
u(x) = T
1
+
(T
2
T
1
)
L
x. (0.10)
0.2.1 Aproximacion al Equilibrio.
Para el problema dependiente del tiempo, con condiciones de contorno esta-
cionarias, esperamos que la distribucion de temperatura u(x, t) vare con el
tiempo, y por lo tanto que no permanezca igual a la distribucion inicial f(x).
Despues de mucho, mucho tiempo, es facil imaginar que la inuencia de los dos
extremos debera dominar nalmente. Las condiciones iniciales usualmente se
olvidan. Fsicamente se espera que la temperatura se aproxime a la distribucion
de temperaturas en equilibrios, puesto que las condiciones de contorno son in-
dependientes del tiempo
lim
t
u(x, t) = u(x) = T
1
+
(T
2
T
1
)
L
x (0.11)
0.2.2 Fronteras Aisladas.
Como un segundo ejemplo del calculo de estados estacionarios, consideremos
de nuevo una barra unidimensional sin fuentes y con propiedades termicas con-
stantes, pero esta vez con extremos aislados en x = 0 y x = L. La formulacion
5
del problema dependiente del tiempo es

u
t
= K

2
u
x
2
,
u(x, 0) = f(x),
u
x
(0, t) =
u
x
(L, t)
(0.12)
El problema de equilibrio se obtiene imponiendo que
u
t
= 0. La distribucion
de temperaturas en equilibrios satisface

d
2
u
dx
2
= 0,
du
dx
(0) =
du
dx
(L) = 0.
(0.13)
La solucion general de
du
dx
2
= 0 es de nuevo una lnea recta arbitraria
u(x) = c
1
x + c
2
(0.14)
Las condiciones de contorno implican que la pendiente debe ser cero en ambos
extremos. Sin embargo, cualquiera lnea recta de pendiente cero satisface (0.14).
La solucion es entonces cualquier temperatura constante. Algebraicamente, de
(0.14) se obtiene que
du
dx
= c
1
y ambas condiciones de contorno implican que
c
1
= 0. As
u(x) = c
2
, (0.15)
para cualquier constante c
2
. A diferencia del caso anterior (con temperat-
uras jas en ambos extremos), no existe una temperatura de equilibrio unica.
Cualquier temperatura constante es una distribucion de temperatura de equilib-
rio para las condiciones de contorno de aislamiento. Por tanto, para el problema
de valor inicial dependiente del tiempo, esperamos que
lim
t
u(x, t) = c
2
,
si esperamos lo suciente, una barra con extremos aislados debera aproximarse
a una temperatura constante. Fsicamente esto parece bastante razonable, sin
embargo, no tiene sentido que la solucion pueda aproximarse a una constante
arbitraria; se debera saber a que constante se aproxima. En este caso, la
falta de unicidad se debe a el olvido por completo de la condicion inicial. en
general, la solucion de equilibrio no satisface la condicion inicial. Sin embargo,
la solucion particular de equilibrio constante se determina la condicion inicial
para el problema dependiente del tiempo.
6
Puesto que ambos extremos estan aislados, la energa termica debe per-
manecer constante. Esto se sigue de la Ley de Conservacion de la Energa
Termica en la barra
d
dt

L
0
c(x)(x)u(x, t)dx = K
o
u
x
(0, t) + K
o
u
x
(L, t). (0.16)
Puesto que ambos extremos estan aislados

L
0
c(x)(x)u(x, t)dx = constante (0.17)
Una consecuencia de 0.17 es que la energa termica inicial debe ser igual a la
nal (lim
t
). La energa termica inicial es
c

L
0
u(0, t)dx = c

L
0
f(x)dx,
mientras que la energa termica en equilibrio es
c

L
0
c
2
dx = cc
2
L,
puesto que la distribucion de temperatura en equilibrio es una constante u(x, t) =
c
2
. Igualando estas dos expresiones para energa termica total
c

L
0
f(x)dx = cc
2
L,
por lo que despejando c
2
vemos que la unica solucion de equilibrio debe ser
u(x) = c
2
=
1
L

L
0
f(x)dx, (0.18)
es decir, el promedio de la distribucion inicial de temperatura.
0.3 Ejercicios
1-. Determinar la distribucion de temperaturas en equilibrios para una barra
unidimensional con propiedades termicas constantes, con las siguientes
fuentes y condiciones de contorno:
(a) Q = 0, u(0) = 0, u(L) = T,
(b) Q = 0, u(0) = T,
u
x
(L) = ,
(c)
Q
K
o
= x
2
, u(0) = T,
u
x
(L) = 0,
(d) Q = 0,
u
x
(0) [u(0) T] = 0,
u
x
(L) = .
7
En todos los casos se supone que u(x, 0) = f(x).
2-. Considerese la distribucion de temperaturas en equilibrio para una barra
uniforme unidimensional, con una fuente de energa termica Q/K
o
= x,
sujeta a las condiciones de contorno u(0) = 0 y u(L) = 0.
(a) Determnese la energa calorca total generada por unidad de tiempo
en el interior de barra.
(b) Determnese la energa calorca que uye hacia fuera de la barra por
unidad de tiempo en x = 0 y en x = L.
(c) Que relacion debera existir entre las respuestas de los apartados
(a) y (b)?
3-. Consideremos una barra unidimensional 0 x L con propiedades termicas
conocidas y sin fuentes. Supongamos que la temperatura en x = L es una
constante desconocida T. Determinar T si conocemos (en el estado esta-
cionario) tanto la temperatura como el ujo de calor en x = 0.
4-. Supongamos que los dos extremos de una barra uniforme de longitud L
estan aislados, que existe una fuente constante de energa termica Q
o
=0
y que la temperatura inicialmente es u(x, 0) = f(x).
(a) Pruebese matem aticamente que no existe ninguna distribucion de
temperaturas en equilibrio. explicar brevemente los motivos fsicos.
(b) Calcular la energa termica total contenida en la barra.
5-. Determnese una distribucion de temperaturas en equilibrio para los sigu-
ientes problemas (si es que existe). Para que valores de existen solu-
ciones? Explicar los motivos fsicos.
(a)
u
t
=

2
u
x
2
+ 1 u(x, 0) = f(x),
u
x
(0, t) = 1,
u
x
(L, t) = ,
(b)
u
t
=

2
u
x
2
, u(x, 0) = f(x),
u
x
(0, t) = 1,
u
x
(L, t) =
(c)
u
t
=

2
u
x
2
+ x , u(x.0) = f(x),
u
x
(0, t) = 0,
u
x
(L, t) = 0.
Facultad de Ciencias
Ecuaciones en Derivadas Parciales.
Trabajo No. 1
04/11/05
(1) Considere una barra unidimensional de longitud L. Supongamos que la energa
calorca uye hacia afuera de la barra. en x = L y que tal ujo es proporcional
a la diferencia de temperaturas entre la barra y la temperatura externa. De una
expresion matematica de esta condicion de borde.
(2) Supongamos que los dos extremos de una barra uniforme de longitud L estan aisla-
dos, que existe una fuente constante de energa termica Q
o
=0 y que la temperatura
inicialmente es u(x, 0) = x.
(2.1) Demuestre matematicamente que no existe ninguna distribucion de temperatura
en equilibrio. Explicar los motivos fsicos.
(2.2) Calcular la energa termica total contenida en la barra.
(3) El vector de ujo de calor deducido a partir de la conduccion de energa es
(

x , t) = K
o
u(

x , t).
Si ademas las moleculas se mueven con una velocidad media

V , entonces
(

x , t) = K
o
u(

x , t) + cu(

x , t)

V .
Deducir la correspondiente ecuacion para el calor suponiendo que las propiedades
termicas son constantes y que no hay fuentes internas.
(4) Consideremos el siguiente problema de contorno

u
t
= k

2
u
x
2
0 < x < L, t > 0
u
x
(0, t) =
u
x
(L, t) = 0 u(x, 0) = f(x)
(4.1) Dar una interpretaci on fsica.
(4.2) Resolver por el metodo de Separacion de Variables. Cuanto vale
n
?
(4.3) Como es la distribucion de temperaturas cuando t ?
1
0.1 Metodo de Separacion de Variables.
Queremos buscar la solucion matematica de algunos problemas fsicos en que
aparecen ecuaciones en derivadas parciales. Utilizaremos la tecnica llamada
Metodo de separacion de variables.
Un problema relativamente simple pero tipo para la ecuacion de la con-
duccion del calor es el de una barra unidimensional (0 x L) con todos los
coecientes termicos constantes, esto es
u
t
= k

2
u
x
2
+
Q(x, t)
c
, 0 < x < L, t > 0 (0.1)
sujeta a la condicion inicial
u(x, 0) = f(x), 0 < x < L, (0.2)
y a dos condiciones de contorno. Por ejemplo, si ambos extremos de la barra
tienen temperatura prescrita, esto es,

u(0, t) = T
1
(t),
u(L, t) = T
2
(t).
(0.3)
El metodo de separacion de variable se utiliza cuando la ecuacion en
derivadas parciales y las condiciones de contorno son lineales y ho-
mogeneas.
Recordemos que un operador lineal se dene como aquel que satisface
L(c
1
u
1
+ c
2
u
2
) = c
1
L(u
1
) + c
2
L(u
2
), (0.4)
para dos funciones cualesquiera u
1
y u
2
, donde c
1
y c
2
son constantes arbitrarias.

t
y

2
x
2
son ejemplos de operadores lineales, y que

t
(c
1
u
1
+ c
2
u
2
) = c
1
u
1
t
+ c
2
u
2
t

2
x
2
(c
1
u
1
+ c
2
u
2
) = c
1

2
u
1
x
2
+ c
2

2
u
2
x
2
.
Se puede demostrar que cualquier combinacion lineal de operadores lineales es
un operador lineal. Por tanto, el operador del calor

t
K

2
x
2

( . )
es tambien un operador lineal.
Una ecuacion lineal para la incognita u es de la forma
L(u(x, t)) = f(x, t), (0.5)
2
donde L, es un operador lineal y f es conocida. Ejemplos de ecuaciones en
derivadas parciales lineales son:
u
t
K

2
u
x
2
+ f(x, t),
u
t
K

2
u
x
2
+ (x, t)u + f(x, t),

2
u
x
2
+

2
u
y
2
= 0,
u
t
K

3
u
x
3
+ (x, t)u
Ejemplos de ecuaciones en derivadas parciales no lineales
u
t
= K

2
u
x
2
+ (x, t)u
4
,
u
t
+ u
u
x
=

3
u
x
3
.
Los terminos u
4
y uu/x son nolineales.
Si f = 0, en (0.5), tenemos L(u) = 0, que es lo que llamamos una ecuacion
Lineal Homogenea. Un ejemplo de una ecuacion en derivadas parciales lineal
homogenea es la ecuacion del calor
u
t
K

2
u
x
2
= 0 (0.6)
La propiedad (0.4) trae como consecuencia que L(0) = 0 (tomando c
1
=
c
2
= 0), por tanto, u = 0 es siempre solucion de una ecuacion lineal homogenea.
Por ejemplo, u = 0 satisface la ecuacion del calor (0.6). Es por ello que llamare-
mos u = 0 la solucion trivial de una ecuacion lineal homogenea. La forma
mas sencilla de comprobar si una ecuacion es homogenea es vericando que la
solucion trivial satisface la ecuacion. Si u = 0 satisface una ecuacion lineal,
entonces se tiene que f = 0, y por lo tanto, la ecuacion lineal es homogenea. Si
eso no ocurre la ecuacion se llama no homogenea.
La propiedad fundamental de los operadores lineales (0.4) permite sumar
soluciones de ecuaciones lineales en el siguiente sentido.
0.2 Principio de Superposicion.
Si u
1
y u
2
satisfacen una ecuacion lineal homogenea, entonces cualquier combi-
nacion lineal de ellas c
1
u
1
+c
2
u
2
, satisface la misma ecuacion lineal homogenea.
La demostracion se basa en la denicion de operador lineal. Supongamos
que u
1
y u
2
son dos soluciones de una ecuacion lineal homogenea. Eso signica
3
que L(u
1
) = L(u
2
) = 0, pero
L(c
1
u
1
+ c
2
u
2
) = c
1
L(u
1
) + c
2
L(u
2
).
Como u
1
y u
2
son soluciones de la ecuacion homogenea, se sigue que L(c
1
u
1
+
c
2
u
2
) = 0.
Los conceptos de Linealidad y homogeneidad tambien se aplican a las condi-
ciones de contorno, cuando las variables estan evaluadas en puntos concretos.
Son ejemplos de condiciones de contorno lineales
u(0, t) = f(t),
u
x
(L, t) = g(t),
u
x
(0, t) = 0,
K
o
u
x
(L, t) = h[u(L, t) g(t)] .
Una condicion de contorno nolineal es, por ejemplo
u
x
(L, t) = u
2
(L, t).
De estas condiciones, u0 satisface solamente
u
x
(0, t) = 0. Esta es, por
tanto, homogenea. No es necesario que una condicion de contorno sea del tipo
u(0, t) = 0, para que la solucion trivial la cumpla.
0.3 Ecuacion del Calor con temperatura cero en los Extremos.
La ecuacion (0.1) es lineal, pero solo es homogenea si no hay fuentes, es decir,
si Q(x, t) = 0. las condiciones de contorno (0.3) son tambien lineales y como
antes son homogeneas solamente si T
1
(t) = 0 y T
2
(t) = 0. Por ello planteamos
estudiar en primer lugar el problema

u
t
= K

2
u
x
2
, 0 < x < L, t > 0
u(0, t) = u(L, t) = 0,
u(x, 0) = f(x).
(0.7)
Este es un problema fsico correspondiente a una barra unidimensional (0 < x < L)
sin fuentes y con ambos extremos sumergidos en un deposito a 0
o
de temper-
atura. Estamos interesados en predecir como cambia la energa termica inicial
(representada por la condicion inicial) en esta situacion fsica relativamente sim-
ple.
4
En el Metodo de Separacion de Variable intentamos encontrar solu-
ciones que sean un producto de la forma
u(x, t) = (x)h(t) = 0, (0.8)
donde (x) es una funcion solo de x y h(t) una funcion solo de t. Sustituyendo
la solucion planteada (0.8)en la ecuacion diferencial, tenemos

u
t
= (x)
dh
dt
,

2
u
x
2
=
d
2

dx
2
h(t),
con lo que la ecuacion del calor implica que
(x)
dh
dt
= K
d
2

dx
2
h(t). (0.9)
Observemos que podemos separar variables dividiendo ambos miembros
de (0.9) por (x)h(t):
1
Kh(t)
dh
dt
=
1

d
2

dx
2
. (0.10)
Ahora las variables estan separadas en el sentido de que el lado izquierdo es
una funcion solo de t y el lado derecho es una funcion solo de x. Como
puede ser una funcion del tiempo igual a una funcion del espacio?. Si x y t son
variables arbitrarias entonces x no puede ser funcion de t (ni t una funcion de
x) tal como parece decir (0.10). La idea fundamental es que es necesario que
ambos miembros de (0.10) sean iguales a la misma constante:
1
Kh(t)
dh
dt
=
1

d
2

dx
2
= , (0.11)
donde es una constante arbitraria, conocida como constante de separacion.
El signo negativo lo introducimos por conveniencia.
La (0.11) da lugar a dos ecuaciones diferenciales ordinarias, una para h(t) y
otra para (x):
d
2

d
2
x
= , (0.12)
dh
dt
= Kh. (0.13)
Por otra parte la solucion
u(x, t) = (x)h(t),
debe cumplir las dos condiciones de contorno homogeneas. Por ejemplo,
u(0, t) = (0)h(t) = 0,
5
implica, o bien que h(t) 0 t > 0, o bien (0) = 0. Si h(t) 0, entonces
(0.8) la solucion producto es identicamente cero, u(x, t) 0. Esto no nos interesa
por que u(x, t) 0, es la solucion trivial .Buscaremos soluciones no triviales,
para ello debemos escoger
(0) = 0. (0.14)
Utilizando la otra condicion de contorno, u(L, t) = 0, obtenemos de forma
similar que
(L) = 0. (0.15)
0.3.1 Problema de Contorno.
La parte dependiente de x de la solucion propuesta, (x), satisface una ecuacion
diferencial ordinaria de segundo orden con dos condiciones de contorno ho-
mogeneas:

d
2

dx
2
= ,
(0) = (L) = 0.
(0.16)
Llamemos a (0.16) Problema de Contorno para una ecuacion diferencial
ordinaria. En el curso de Ecuaciones Diferenciales Ordinarias, solo se suelen
estudiar problemas de valores iniciales.
Intentemos determinar los autovalores . En otras palabras, Para que
valores de existen soluciones no triviales de (0.16)? Podemos resolver (0.16)
directamente, la cual es una ecuacion diferencial ordinaria de segundo orden
con coecientes constantes lineal y homogenea. Supongamos que existen dos
soluciones linealmente independientes de la forma (x) = e
rx
. Sustituyendo
esta exponencial en la ecuacion diferencial obtenemos el polinomio caracterstico
r
2
= .
Las soluciones correspondientes a las dos races tienen propiedades muy difer-
entes dependiendo del valor de :
1. = 0, en el que r = 0 es una raz de multiplicidad dos.
2. < 0, en la que las dos races son reales y distintas r = ()
1/2
, una
positiva y otra negativa.
3. > 0, en la que las dos races son imaginarias puras y complejas conju-
gadas una de otra r = i()
1/2
.
Autovalor ( = 0). Determinaremos si = 0 es un autovalor para el prob-
lema de contorno (0.16). Si = 0, (0.16) implica que
(x) = c
1
+ c
2
x,
6
correspondiente a la raz doble r = 0 del polinomio caracterstico. Para deter-
minar si = 0 es un autovalor debemos utilizar las condiciones de contorno.
(0) = 0 implica que c
1
= 0, por lo tanto
(x) = c
2
x.
Ademas, (L) = 0 implica que 0 = c
2
L. Como la longitud L de la barra es
positiva (=), c
2
= 0 y por lo tanto (x)0. Esta es la solucion trivial, por lo
que = 0 no es un autovalor para este problema.
Autovalor ( < 0). Hay autovalores negativos?. Si < 0, la solucion de
d
2

dx
2
= , (0.17)
no es difcil, pero hay que ser cuidadoso. Las races del polinomio caracterstico
son = ()
1/2
, luego dos soluciones son e
()
1/2
x
y e
()
1/2
x
. Por conve-
niencia tomaremos en este caso = s, s > 0. As las dos soluciones indepen-
dientes de esta ecuacion son e
s
1/2
x
y e
s
1/2
x
. La solucion general es
(x) = c
1
e
s
1/2
x
+ c
2
e
s
1/2
x
.
Para determinar si < 0 es un autovalor debemos utilizar las condiciones de
contorno (0) = 0 implica:
c
1
+ c
2
= 0 c
2
= c
1
as
(x) = c
1
e
s
1/2
x
c
1
e
s
1/2
x
,
= c
1

e
s
1/2
x
e
s
1/2
x

= 2c
1
Senh(s
1/2
x)
La otra condicion de contorno, (L) = 0, implica que
c
1
Senh(s
1/2
L) = 0.
Como s
1/2
L > 0 y el seno hiperbolico no se anula cuando el argumento es
positivo, se sigue que c
1
= 0. Por tanto, (x)0. es decir, la unica solucion
de (0.17) para < 0 que cumple las condiciones de contorno homogeneas es la
solucion trivial. Por tanto, no hay autovalores negativos. Para este ejemplo, la
existencia de autovalores negativos correspondera a un crecimiento exponencial
en el tiempo.
Autovalor ( > 0). Si > 0, las soluciones exponenciales tienen compo-
nentes imaginarias, e
i()
1/2
x
. En este caso las soluciones oscilan. Si deseamos
7
obtener soluciones reales independientes, elegiremos normalmente Cos(
1/2
x) y
Sen(
1/2
x), que son combinaciones lineales independientes de e
i()
1/2
x
. As la
solucion general es
(x) = c
1
Cos(
1/2
x) + c
2
Sen(
1/2
x), (0.18)
una combinaci on lineal arbitraria de dos soluciones independientes. Apliquemos
ahora las condiciones de contorno: (0) = 0 implica que
0 = c
1
.
Entonces,
(x) = c
2
Sen(

x).
Solo resta ahora imponer la otra condicion de contorno: (L) = 0 implica que
0 = c
2
Sen(

L).
Para que se pueda vericar esta condicion, debe ser o bien c
2
= 0 o bien
Sen(

L) = 0. Si c
2
= 0, entonces (x) 0 ya que tenamos previamente
que c
1
= 0. Esta es la solucion trivial y nosotros buscamos aquellos valores
de para los que hay soluciones no triviales. entonces, los autovalores deben
cumplir:
Sen(

L) = 0. (0.19)
Es decir,

L debe ser un cero de la funcion seno. Nuestro conocimiento de la
funcion nos muestra que:

L = n, n Z
+

L debe ser igual a un m ultiplo entero de , donde n es un entero positivo ya

que

> 0 (n = 0 tampoco es valido por que hemos supuesto que

> 0 en
este caso). Los autovalores son, por tanto,
=

n
L

2
n = 1, 2, 3, ...
Las autofunciones correspondientes al autovalor =

n
L

2
, es
(x) = c
2
Sen(

x) = c
2
Sen

nx
L

, (0.20)
donde c
2
es cualquier constante. A menudo escogemos un valor conveniente para
c
2
, por ejemplo c
2
= 1. Recordemos que una autofuncion especica siempre se
puede multiplicar por una constante arbitraria, ya que la ecuacion en derivadas
parciales y las condiciones de contorno son lineales y homogeneas.
Si llamamos
1
al primer (o menor) autovalor,
2
al siguiente y as suce-
sivamente, tenemos que
n
=

n
L

2
, n = 1, 2, 3, .... Las autofunciones
correspondientes se denotan algunas veces por
n
(x).
8
0.4 Ecuacion Dependiente del tiempo.
La ventaja de la solucion producto es que transforma una ecuacion en derivadas
parciales, que no sabemos resolver, en dos ecuaciones diferenciales ordinarias.
Las condiciones de contorno imponen dos condiciones a la ecuacion diferen-
cial ordinaria que depende de x. La ecuacion dependiente del tiempo no tiene
condiciones adicionales, es simplemente
dh
dt
= Kh. (0.21)
La ecuacion (0.21) es una ecuacion diferencial lineal de primer orden
con coecientes constantes. Podemos encontrar su solucion bastante facil.
Casi todas las ecuaciones diferenciales ordinarias (lineales y homogeneas) se
pueden resolver buscando soluciones exponenciales, h(t) = e
rt
. Sustituyendo
en la ecuacion el polinomio caracterstico es r = K. Por tanto, la solucion
general de (0.21) es
h(t) = ce
Kt
, (0.22)
debemos recordar que para ecuaciones lineales homogeneas, si e
Kt
es solucion,
entonces ce
Kt
es tambien una solucion (para cualquier constante arbitraria
c). La solucion dependiente del tiempo es una simple exponencial. Si >
0, la solucion exponencialmente decae cuando t crece (dado que K > 0). Si
< 0, la solucion crece exponencialmente, y si = 0, la solucion permanece
constante en el tiempo. Dado que esto es un problema de conduccion de calor
y la temperatura u(x, t) es proporcional a h(t), no esperamos que la solucion
crezca exponencialmente en el tiempo.
As la solucion, u(x, t) = (x)h(t) tiene la forma:
h(t) = ce
Kt
(x) = c
2
Sen

y los valores de la constante de separacion

=

n
L

2
,
donde n es un entero positivo, por lo que las soluciones de la ecuacion del calor
son
u(x, t) = BSen

nx
L

e
Kt
, n1 (0.23)
donde B es una constante arbitraria (B = cc
2
). Esta es una solucion diferen-
cial para todo n. Notemos cuando t crece, estas soluciones especiales decaen
exponencialmente. En particular, para estas soluciones
lim
t
u(x, t) = 0.
Adicionalmente, u(x, t) satisface una condicion inicial especial, u(x, 0) = BSen

nx
L

.
9
0.4.1 Problemas de Valor Inicial.
Podemos usar la solucion (0.23) para satisfacer un problema de valor inicial
si la condicion inicial tiene la forma del lado derecho de (0.23). Por ejemplo,
supongamos que deseamos resolver el siguiente problema de valor inicial:

u
t
= K

2
u
x
2
u(0, t) = u(L, t) = 0,
u(x, 0) = 4Sen
3x
L
.
Nuestra solucion (0.23) satisface las condiciones iniciales u(x, 0) = BSen
nx
L
.
As, escogiendo n = 3 y B = 4, tenemos satisfecha la condicion inicial. De esta
manera a solucion para este ejemplo es
u(x, t) = 4Sen
3x
L
e
K(3/L)
2
t
. (0.24)
Se puede probar que este problema fsico tiene solucion unica. Por tanto, no
importa el procedimiento utilizado para obtener la solucion.
0.5 Principio de Superposicion.
El producto de soluciones aparenta ser muy especial, dado que ellos pueden ser
usadas directamente solo si la condicion inicial tiene una forma apropiada. Sin
embargo, deseamos demostrar que estas soluciones son utiles en muchos otros
casos, de hecho en todas las situaciones. Consideremos la misma ecuacion en
derivadas parciales y condiciones de borde, pero ahora sujeta a la condicion
u(x, 0) = 4Sen
3x
L
+ 7Sen
8x
L
.
La solucion a este problema puede obtenerse sumando dos soluciones simples
obtenidas por el metodo
u(x, t) = 4Sen
3x
L
e
K(3/L)
2
t
+ 7Sen
8x
L
e
K(8/L)
2
t
Inmediatamente vemos que esta solucion satisface la condicion inicial (susti-
tuyendo t = 0) como tambien las condiciones de fronteras (sustituyendo x = 0
y x = L). Es solo mas trabajo el demostrar que la ecuacion diferencial par-
cial tambien se satisface. Este es un ejemplo de aplicacion del Principio de
Superposicion.
10
0.5.1 Principio de Superposicion Generalizado.
El principio de superposicion se puede extender, demostrandose que si u
1
, u
2
, u
3
, ..., u
m
son soluciones de un problema lineal homogeneo, entonces cualquier combi-
nacion lineal de ellas
c
1
u
1
+ c
2
u
2
+ c
3
u
3
+ ... + c
m
u
m
=

m
n=1
c
n
u
n
,
donde las c
n
, n = 1, 2, 3, ..., m son constantes arbitrarias, es tambien solucion.
Como por el metodo de separacion de variables sabemos que Sen
nx
L
e
K(n/L)
2
t
es solucion de la ecuacion (con condiciones de contorno nulas) para todos los en-
teros positivos de n, cualquier combinacion lineal de estas soluciones es tambien
una solucion de la ecuacion del calor lineal homogenea. Por tanto,
u(x, t) =

m
n=1
B
n
Sen
nx
L
e
K(n/L)
2
t
, (0.25)
resuelve la ecuacion del calor con condiciones de contorno cero para cualquier
entero positivo m. Hemos sumado soluciones de la ecuacion del calor teniendo
en cuenta que la amplitud B puede ser diferente para cada solucion, por eso
la hemos sustituido por B
n
. La ecuacion (0.25) demuestra que podemos resolver
la ecuacion del calor si inicialmente
u(x, 0) = f(x) =

m
n=1
B
n
Sen
nx
L
, (0.26)
esto es, si la condicion inicial es igual a una suma nita de unas soluciones senos
apropiadas. Que deberamos hacer en la situacion usual en que f(x) no es una
combinacion lineal de ese tipo de funciones senos?. en realidad, la teora de
series de Fourier establece que:
1. Toda funcion f(x) (con ciertas restricciones muy razonables que discu-
tiremos mas adelante) se puede aproximar (en cierto sentido) por una
combinacion lineal nita de las funciones Sen
nx
L
, donde n = 1, 2, 3, ...
2. La aproximacion puede no ser muy buena si m es peque no, pero es cada
vez mejor seg un m aumenta.
item Mas a un, si consideramos el lmite cuando m, entonces no solo
es (0.26) la mejor aproximacion a f(x) que utiliza combinaciones de auto-
funciones, sino que (de nuevo en cierto sentido) la serie innita resultante
converge a f(x).
Por tanto, tenemos que cualquier condicion inicial f(x) se puede escribir
como una combinacion lineal innita de funciones Sen
nx
L
, algo que se conoce
como Serie de Fourier
f(x) =

m
n=1
B
n
Sen
nx
L
(0.27)
Lo que es mas importante es que tambien la correspondiente serie innita es la
solucion de nuestro problema de conduccion del calor:
u(x, t) =

m
n=1
B
n
Sen
nx
L
e
K(n/L)
2
t
(0.28)
11
0.6 Ejercicios
1. En las siguientes ecuaciones en derivadas parciales, que ecuaciones difer-
enciales ordinarias aparecen al aplicar el metodo de separacion de vari-
ables?
(a)
u
t
=
k
r

r
u
r

(b)
u
t
= k

2
u
x
2
v
o
u
x
(c)

2
u
x
2
+

2
u
y
2
= 0 (d)
u
t
=
k
r
2

r
2
u
r

(e)

2
u
t
2
= c
2

2
u
x
2
2. Consideremos la ecuacion diferencial
d
2

dx
2
+ = 0.
Determinar los autovalores (y las correspondientes autofunciones), si
satisface las siguientes condiciones de contorno. Estudiar tres casos
> 0, = 0 y < 0. Se puede suponer que los autovalores son reales.
(a) (0) = 0 y () = 0 (b) (0) = 0 y (1) = 0
(c)
d
dx
(0) = 0 y
d
dx
(L) = 0 (d) (0) = 0 y
d
dx
(L) = 0
(e) (a) = 0 y (b) = 0
3. Consideremos la ecuacion del calor
u
t
= k

2
u
x
2
,
sujeta a las condiciones de contorno
u(0, t) = 0 y u(L, t) = 0
Resolver el problema de valor inicial si la temperatura es inicialmente
(a) u(x, 0) = 6Sen
9x
L
(a) u(x, 0) = 3Sen
x
L
Sen
3x
L
(c) u(x, 0) = 2Cos
3x
L
(0.29)
La respuesta del apartado (c) puede involucrar algunas integrales que no
es necesario evaluar.
12
4. Consideremos el siguiente problema de contorno:
u
t
= k

2
u
x
2
con
u
x
(0, t) = 0,
u
x
(L, t) = 0, y u(x, 0) = f(x).
(a) Dar una interpretacion fsica, en una sola frase, para este problema.
(b) Resolver por el metodo de separacion de variables. Demostrar en
primer lugar que no hay soluciones producto que crezcan exponen-
cialmente con el tiempo. Indicacion:la solucion es
u(x, t) = A
o
+

n=1
A
n
e

n
kt
Cos
nx
L
.
Cuanto vale
n
?
(c) Demostrar que la condicion inicial u(x, 0) = f(x) se cumple si
f(x) = A
o
+

n=1
A
n
Cos
nx
L
.
5. Consideremos la ecuacion
u
t
= k

2
u
x
2
u,
que corresponde a una barra unidimensional con perdida de calor a traves
de la supercie lateral y temperatura exterior 0
o
( > 0), o con super-
cie lateral aislada y una fuente de calor proporcional a la temperatura.
Supongamos que las condiciones de contorno son
u(0, t) = 0 y u(L, t) = 0.
(a) Cuales son las posibles distribuciones de temperaturas en equilibrio
si > 0?
(b) Resolver el problema dependiente del tiempo [u(x, 0) = f(x)] para
> 0. Analizar la temperatura para tiempos grandes (t) y
comparar con el apartado (a).
1. Funciones Ortogonales
Supongamos que es posible que
(1) f(x) =

n=1
B
n
Sen
nx
L
, 0 x L.
Usaremos el hecho de que esta serie converge uniformemente y que las
autofunciones Sen
nx
L
satisfacen la siguiente propiedad integral:
(2)
_
L
0
Sen
nx
L
Sen
mx
L
dx =
_
_
_
0 m=n
L
2
m = n,
donde m y n son enteros positivos.
Para utilizar estas propiedades en el calculo de los B
n
, multiplicamos
ambos lados de (1) por Sen
mx
L
(para alg un entero jo m, independi-
ente del ndice n)
(3) f(x)Sen
mx
L
=

n=1
B
n
Sen
nx
L
Sen
mx
L
Integrando (3) desde x = 0 hasta x = L
(4)
_
L
0
f(x)Sen
mx
L
dx =
_
L
0

n=1
B
n
Sen
nx
L
Sen
mx
L
dx.
En vista de que estamos suponiendo que la serie converge uniforme-
mente para 0 x L, entonces podemos intercambiar los smbolos de
sumatoria con integral. as la ecuacion (4) puede escribirse como
(5)
_
L
0
f(x)Sen
mx
L
dx =

n=1
B
n
_
L
0
Sen
nx
L
Sen
mx
L
dx.
Sabemos que los terminos de la sumatoria son ceros si n=m, por la
propiedad (2). Al hacer la suma en n, en alg un momento n es igual a
m. Es solo para este valor n = m, que hay una contribuci on distinta
de cero en la sumatoria innita. Es to es, el unico termino que aparece
en el lado derecho de (5) es el que obtenemos al sustituir n por m
_
L
0
f(x)Sen
mx
L
dx = B
m
_
L
0
Sen
2
mx
L
dx.
Como la integral de la derecha es igual a L/2, podemos despejar B
m
:
(6) B
m
=
2
L
_
L
0
f(x)Sen
mx
L
dx
La integral de (6) se considera conocida ya que f(x) es la condicion
inicial dada.
1
2
Ejemplo: Consideremos una barra unidimensional de longitud L
que es colocada en un gran tubo de agua hirviendo a una temperatura
de 100
o
C, esperamos a que la barra se encuentre toda a la misma tem-
peratura, es decir 100
o
C. Aislamos la supercie lateral y rapidamente
(en el instante t = 0) sumergimos los extremos en grandes depositos de
agua helada a una temperatura de 0
o
C. El problema matematico es:
_

_
u
t
= k

2
u
x
2
, t > 0, 0 < x < L, K > 0
u(0, t) = u(L, t) = 0, t > 0
u(x, 0) = 100, 0 < x < L
De acuerdo con (??) y 6, la solucion es
u(x, t) =

n=1
B
n
Sen
nx
L
e
K(n/L)
2
t
,
donde
f(x) =

n=1
B
n
Sen
nx
L
,
y
B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx,
con f(x) = 100, as
(7)
B
n
=
2
L
_
L
0
100Sen
nx
L
dx
=
200
L
_

L
n
Cos
nx
L
_
L
o
=
200
n
[1 Cosn]
=
_

_
0 n par
400
n
n impar
La solucion es bastante complicada al tener una serie innita. Que
podemos decir de ella?. En primer lugar, observamos que
lim
t
u(x, t) = 0,
es decir, la distribucion de temperatura tiende al estado estacionario,
u(x, t) = 0. Fsicamente no es sorprendente este hecho, ya que los
extremos estan a 0
o
; esperamos que toda la energa termica salga de
3
ella por los extremos. El problema de equilibrio,
d
2
u
dx
2
= 0 con u(0) = 0y
u(L) = 0, tiene solucion unica, u0, que concuerda con el lmite cuando
t de la solucion dependiente del tiempo.
1.1. Diversos Problemas de contorno para la ecuacion del Calor.
Conduccion del Calor en una barra con extremos aislados.
Calculemos en detalle e interpretemos la solucion del problema denido
para 0 x L y t > 0
_

_
u
t
= K

2
u
x
2
u
x
(0, t) =
u
x
(L, t) = 0
u(x.0) = f(x)
Recordemos que este es un problema de conduccion del calor en
una barra unidimensional con coecientes termicos constantes y sin
fuentes. este problema es bastante similar al problema anterior, con
la unica diferencia de las condiciones de contorno. Aqu los extremos
estan aislados, mientras que en el ejemplo anterior los extremos tenan
0
o
de temperatura ja prescrita.Tanto la ecuacion diferencial como las
condiciones de contorno son lineales y homogeneas. Consecuentemente,
aplicamos el metodo de separacion de variable. Si suponemos que hay
soluciones producto,
(8) u(x, t) = (x)h(t)=0,
la ecuacion en derivadas parciales implica como antes
dh
dt
= Kh,
d
2

dx
2
= ,
donde es la constante de separacion. De nuevo
(9) h(t) = Ce
Kt
.
Las condiciones de frontera aislada, implica que las soluciones produc-
tos deben satisfacer
d
dx
(0) =
d
dx
(L) = 0.
La constante de separacion se determina encontrando aquellos valores
para los que existen soluciones no triviales del siguiente problema de
4
contorno
(10)
_

_
d
2

dx
2
=
d
dx
(0) =
d
dx
(L) = 0
Aunque la ecuacion diferencial ordinaria del problema es la misma
que se analizo previamente, las condiciones de contorno son diferentes.
Debemos repetir parte del analisis. De nuevo se deben discutir tres ca-
sos: = 0, < 0 y > 0 (por que supondremos que los autovalores
son reales).
Si = 0, entonces
(11) (x) = c
1
+ c
2
x,
donde c
1
y c
2
son constantes arbitrarias. La derivada de es:
d
dx
= c
2
.
Las dos condiciones de borde dan la misma condicion c
2
= 0.
Por tanto, existen soluciones no triviales del problema de con-
torno para = 0, las funciones (x) igual a cualquier constante
(12) (x) = c
1
.
La parte dependiente del tiempo es tambien una constante en
este caso, ya que e
Kt
para = 0 vale 1, as una solucion
producto de la EDP con condiciones de borde es:
u(x, t) = A,
donde A es cualquier constante.
Si < 0, entonces
(x) = c
1
e

x
+ c
2
e

x.
Necesitamos calcular d/dx para imponer las condiciones de
borde
d
dx
(x) =

_
c
1
e

x
c
2
e

x
_
,
por lo que:
d
dx
(0) =

[c
1
c
2
] = 0 c
2
= c
1
.
As:
(x) = c
1
e

x
+ c
1
e

x.
= c
1
Cosh(

x),
de donde
5
d
dx
(x) = 2c
1

Senh(

x),
por lo que
d
dx
(L) = 2c
1

Senh(

L) = 0 c
1
= 0
Si > 0, la solucion general de (10) es de nuevo
(x) = c
1
Cos(

x) + c
2
Sen(

x).
Necesitamos calcular

(x) para usar las condiciones de borde,

entonces
d
dx
=

_
c
1
Sen(

x) + c
2
Cos(

x)
_
.
La condicion de contorno
d
dx
= 0 implica que
0 = c
2
,
y por tanto c
2
= 0 ya que > 0. Entonces,
d
dx
=

_
c
1
Sen(

x)
_
y
d
dx
(x) = c
1

Sen

x.
Los autovalores y sus correspondientes autofunciones se de-
terminan a partir de la condicion de contorno
0 = c
1

Sen(

L).
Como antes, para obtener soluciones no triviales, c
1
=0, y por
tanto Sen(

L) = 0. Los autovalores obtenidos en el caso

> 0 son los mismos que el problema anterior, L = n, es
decir,
(13) =
_
n
L
_
2
, n = 1, 2, 3, ...
pero las autofunciones correspondiente son cosenos
(14) (x) = c
1
Cos
_
nx
L
_
, n = 1, 2, 3, ...
Las soluciones producto resultantes de la EDP son
(15) u(x, t) = ACos
_
nx
L
_
e
K(n/L)
2
t
, n = 1, 2, 3, ...
donde A es una constante arbitraria.
Antes de imponer la condicion inicial utilizamos el principio de su-
perposicion. Debemos tomar una combinaci on lineal de Todas las
6
soluciones producto de la EDP (no solamente las correspondientes a
> 0). Entonces,
(16) u(x, t) = A
0
+

n=1
A
n
Cos
_
nx
L
_
e
K(n/L)
2
t
.
La condicion inicial u(x, 0) = f(x) se cumple si:
(17) f(x) = A
0
+

n=1
A
n
Cos
_
nx
L
_
,
para 0 x L. Notemos que en l problema anterior f(x) estaba rep-
resentada por una serie de senos, aqu f(x) consiste en una serie de
cosenos y un termino constante. Los dos casos son distintos debemos a
las distintas condiciones de contorno. Para completar la solucion solo
basta determinar los coecientes A
0
y A
n
(n1), para ello supongamos
que la serie de la ecuacion (17))converge uniformemente en el intervalo
0 < x < L, e integremos dicha ecuacion entre x = 0 hasta x = L, esto
es
_
L
0
f(x)dx = A
o
_
L
0
dx +

n=1
A
n
_
L
0
Cos
_
nx
L
_
dx,
pero
_
L
0
Cos
_
nx
L
_
dx =
L
n
Sen
_
nx
L
_
|
x=L
x=0
= 0,
de esta manera
(18) A
o
=
1
L
_
L
0
f(x)dx.
Si ahora multiplicamos la ecuacion (17)) por Cos
_
mx
L
_
e integremos
entre x = 0 hasta x = L, en vista de que
(19)
_
L
0
Cos
_
mx
L
_
Cos
_
nx
L
_
dx =
_

_
0 n=m
L
2
n = m,
tenemos que
(20) A
m
=
1
L
_
L
0
f(x)dx. n1
Existe una diferencia signicativa entre las soluciones de la EDP para
> 0 y la solucion para = 0. Todas las soluciones para > 0 decaen
exponencialmente con el tiempo, mientras que la solucion para = 0
permanece constante con el tiempo. Por tanto, a medida que t tiende a
innito, la solucion en serie innita se aproxima al estado estacionario,
lim
t
u(x, t) = A
o
=
1
L
_
L
0
f(x)dx.
7
No solamente es constante la temperatura de equilibrio A
0
, sino que
esa constante es la medida de la distribucion inicial de temperaturas.
2. Conducci

on del Calor en un anillo Delgado.

Supongamos que un alambre delgado de longitud 2L (con supercie
lateral aislada) se curva formando una circunferencia.
Si el alambre es sucientemente delgada es razonable suponer que la
temperatura del mismo es constante en cada seccion transversal. Bajo
estas condiciones se debera cumplir sobre el alambre una ecuacion del
calor unidimensional, donde la distancia es en realidad la longitud del
arco x a lo largo del alambre:
(21)
u
t
= K

2
u
x
2
.
Hemos supuesto que el alambre tiene coecientes termicos constantes
y que no hay fuentes. Es conveniente en este problema medir la longitud
de arco x de tal manera que x varie desde L hasta L.
Supongamos que los dos extremos del alambre(x = L yx = L)
estan conectados entre s, de manera que se tiene contacto termico
perfecto. La temperatura u(x, t) es continua en el punto de union, por
ello
(22) u(L, t) = u(L, t).
Puesto que el ujo de calor es continuo en ese punto (y la conductividad
termica es constante), la derivada de la temperatura debe ser tambien
continua
(23)
u
x
(L, t) =
u
x
(L, t).
Las dos condiciones de contorno para la ecuacion en derivadas parciales
son (22) y (23). La condicion inicial es que la temperatura es una
funcion dada de la posicion a lo largo del alambre
(24) u(x, 0) = f(x).
Procederemos de la manera usual a aplicar el metodo de separacion
de variables. Las soluciones producto u(x, t) = (x)g(t) para la ecuacion
8
del calor se han obtenido previamente, donde g(t) = ce
Kt
. El prob-
lema de contorno correspondiente es:
(25)
_

_
d
2

dx
2
= ,
(L) = (L),
d
dx
(L) =
d
dx
(L).
Las condiciones de contorno se denominan condiciones de contorno
periodicas, ya que aunque se puede pensar que fsicamente el prob-
lema esta denido solo para L < x < L, a menudo se consid-
era denido de forma periodica para todo x; la temperatura sera una
funcion periodica (x = x
o
es el mismo punto fsico que x = x
o
+ 2L, y
por lo tanto debe tener la misma temperatura).
Nuevamente si > 0, la solucion general es de nuevo
(x) = c
1
Cos

x + c
2
Sen

x.
La condicion de contorno (L) = (L) implica que
c
1
Cos

(L) + c
2
Sen

(L) = c
1
Cos

L + c
2
Sen

L.
Como el coseno es una funcion par, Cos

(L) = Cos

(L), y
como seno es una funcion impar Sen

(L) = Sen

(L), luego
la condicion (L) = (L) se cumple si y solo si:
(26) c
2
Sen

(L) = 0.
Antes de resolver (26), analicemos la segunda condicion de contorno,
que involucra a la derivada,
d
dx
(x) =

_
c
1
Sen

x + c
2
Cos

x
_
.
Entonces,
d
dx
(L) =
d
dx
(L) se cumple solo si
(27) c
1

Sen

(L) = 0,
de donde se ha utilizado el hecho de que los cosenos son funciones pares
y los senos impares. Las condiciones (26) y (27) se resuelven facilmente.
Si Sen

(L)=0, entonces c
1
= c
2
= 0, que es justamente la solucion
trivial. Por tanto, para las soluciones no triviales, tenemos
Sen

L = 0,
ecuacion que nos determina los autovalores . Encontramos (como
antes) que

L = n, o equivalentemente que
9

n
=
_
n
L
_
2
, n = 1, 2, 3, ...
Hemos elegido que el alambre tenga la longitud 2L para que los autoval-
ores tengan la misma formula que antes. Sin embargo, en este problema
(a diferencia de los otros) no hay condiciones que deban cumplir c
1
y
c
2
, ambas son arbitrarias. Por eso decimos que Sen
nx
L
y Cos
nx
L
son
ambas autofunciones correspondientes al autovalor = (n/L)
2
,
(28) (x) = Cos
nx
L
, Sen
nx
L
, n = 1, 2, 3, ...
De hecho cualquier combinaci on lineal de Sen
nx
L
y Cos
nx
L
es una
auto-funcion.
(29) (x) = c
1
Cos
nx
L
+ c
2
Sen
nx
L
, n = 1, 2, 3, ...
Existen entonces dos familias innitas de soluciones producto de la
ecuacion en derivadas parciales: para n = 1, 2, 3, ..., tenemos
(30)
u(x, t) = Cos
nx
L
e
K(n/L)
2
t
y
u(x, t) = Sen
nx
L
e
K(n/L)
2
t
Todas ellas correspondiente a > 0.
Si = 0, la solucion general de (25) es
(x) = c
1
+ c
2
x.
La condicion de contorno (L) = (L) implica que
c
1
c
2
L = c
1
+ c
2
L.
Luego c
2
= 0, (x) = c
1
y
d
dx
= 0. La otra condicion de contorno, se
cumple de forma automatica. Vemos entonces que
(x) = c
1
,
luego cualquier constante es una autofuncion correspondiente al auto-
valor cero. Algunas veces decimos que (x) = 1 es la autofuncion, ya
que es sabido que cualquier m ultiplo de una autofuncion es siempre una
autofuncion. Las soluciones producto u(x, t) son tambien constantes en
este caso. Notemos que solo hay una autofuncion independiente corre-
spondiente a lambda = 0, mientras que para cada autovalor positivo
de este problema, = (n/L)
2
, hay dos autofunciones independientes,
Sen
nx
L
y Cos
nx
L
.Finalemnete, como es de esperar no hay autoval-
ores negativos.
10
El principio de superposicion se debe utilizar antes de aplicar la
condicion inicial. La solucion mas general que se puede obtener por el
metodo de separacion de variables consiste en una combinaci on lineal
arbitraria de todas las soluciones productos:
(31) u(x, t) = A
o
+

n=1
_
A
n
Cos
nx
L
+ B
n
Sen
nx
L
_
e
K(n/L)
2
t
La condicion inicial u(x, 0) = f(x) se cumple si
(32) f(x) = A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
.
Aqu la funcion f(x) es una combinacion lineal de senos y cosenos a la
vez (mas una constante), a diferencia de los problemas previos. Otra
diferencia crucial es que (32) debe ser valida en todo el anillo, lo que
signica que L x L.
Ahora lo que debemos determinar son los coecientes A
o
, A
n
y B
n
.
De nuevo las autofunciones forman un conjunto ortogonal ya que
(33)
_
L
L
Cos
nx
L
Cos
mx
L
dx =
_
_
_
0 n=m
L n = m = 0
2L n = m = 0
(34)
_
L
L
Sen
nx
L
Sen
mx
L
dx =
_
0 n=m
L n = m=0
(35)
_
L
L
Sen
nx
L
Cos
mx
L
dx = 0,
donde n y m son enteros arbitrarios (no negativos). La autofuncion
constante corresponde a los casos n = 0 0 m = 0.
Los coecientes se obtienen de la misma manera que antes. Observe-
mos que (32) es equivalente a
f(x) =

n=0
A
n
Cos
nx
L
+

n=1
B
n
Sen
nx
L
.
11
Si multiplicamos esta expresion por Cos
mx
L
por un lado y por Sen
mx
L
por otro e integramos desde x = L hasta x = L, obtenemos
_
L
L
f(x)
_

_
Cos
mx
L
Sen
mx
L
_

_
dx =

n=0
A
n
_
L
L
Cos
nx
L
_

_
Cos
mx
L
Sen
mx
L
_

_
dx
+

n=1
B
n
_
L
L
Sen
nx
L
_

_
Cos
mx
L
Sen
mx
L
_

_
dx
por lo que encontramos que
_
L
L
f(x)Cos
mx
L
dx = A
m
_
L
L
Cos
2
mx
L
dx,
_
L
L
f(x)Sen
mx
L
dx = B
m
_
L
L
Sen
2
mx
L
dx
Despejando los coecientes de la forma habitual llegamos
(36)
A
m
=
1
2L
_
L
L
f(x)dx,
A
m
=
1
L
_
L
L
f(x)Cos
mx
L
dx,
B
m
=
1
L
_
L
L
f(x)Sen
mx
L
dx
La solucion del problema es (31), donde los coecientes estan dados
por 36).
1. Ecuaci

on de Laplace
2. Ecuaci

on de Laplace en un rect

angulo.
Consideremos el problema estacionario del calor en un dominio bidi-
mensional rectangular, es decir 0 x L, 0 y H,donde la temper-
atura en la frontera es una funcion que depende unicamente de la
posicion. La temperatura en equilibrio u(x, y) satisface la ecuacion
de Laplace con las siguientes condiciones de contorno
(1)
_

2
u

2
x
+

2
u

2
y
= 0
u(0, y) = g
1
(y); u(L, y) = g
2
(y),
u(x, 0) = f
1
(x); u(x, H) = f
2
(x),
donde f
1
(x), f
2
(x), g
1
(y) y g
2
(y) son funciones conocidas de x e y respec-
tivamente. La ecuacion diferencial parcial es lineal y homogenea, pero
las condiciones de contorno, aunque lineales, no son homogeneas. No
podemos aplicar el metodo de separacion de variables a este problema
en su forma actual, por que cuando separamos variables el problema de
contorno (que nos determina la constate de separacion) debe de tener
condiciones de contorno homogeneas.
Podemos superar esta dicultad dividiendo nuestro problema en cua-
tro problemas, cada uno con una sola condicion no homogenea. Supong-
amos pues
u(x, y) = u
1
(x, y) + u
2
(x, y) +u
3
(x, y) + u
4
(x, y),
donde cada u
i
(x, y), i = 1, 2, 3, 4 cumple la ecuacion de Laplace con
una condicion de contorno homogeneo y las otras tres condiciones de
contorno homogeneas (Ver gura).
Comprobemos que la EDP y las condiciones de contorno se cumplen.
Como cada u
i
(x, y), i = 1, 2, 3, 4 cumple la ecuacion de Laplace, que
es lineal y homogenea, entonces, u =

4
i=1
u
i
(x, y) tambien cumple
esa misma ecuacion por el principio de superposicion. Para ver que se
satisfacen las condiciones de contorno, consideremos la frontera x = 0,
entonces
u(0, y) =

4
i=1
u
i
(0, y) = u
4
(0, y) = g
1
(y).
De manera similar podemos comprobar que las cuatro condiciones no
homogeneas se cumplen.
El metodo para cualquiera de las u
i
(x, y) es el mismo: solo cambia
las condiciones de Borde. Calculemos por ejemplo u
4
(x, y) y dejemos
1
2
el resto como ejercicio, esto es,
(2)
_

2
u
4

2
x
+

2
u
4

2
y
= 0
u
4
(0, y) = g
1
(y); u
4
(L, y) = 0,
u
4
(x, 0) = 0; u
4
(x, H) = 0,
Proponemos resolver este problema por el metodo de separacion de
variable. Comenzamos ignorando la condicion no homogenea u
4
(0, y) =
g
1
(y). Busquemos solucion como el producto de una funcion que solo
depende de la variable x y una funcion que depende de la variable y,
esto es,
(3) u
4
(x, y) = (x)(y) =;0.
De las tres condiciones homogeneas obtenemos que
_

_
(L) = 0,
(0) = 0,
(H) = 0.
Si sustituimos (2) en la ecuacion de Laplace obtenemos
(y)
d
2

dx
2
+ (x)
d
2

dy
2
= 0.
Se pueden separar las variables dividiendo por (x)(y), as
(4)
1

d
2

dx
2
=
1

d
2

dy
2
El lado izquierdo es solo funcion de x mientras que el derecho es solo
funcion de y, ambos deben ser igual a una constante de separacion,
nos preguntamos Queremos usar o ?. Una de ellas es la
conveniente. Si la constante de separacion es negativa,(4) implica que
(x) oscila y que Si la constante de separacion es negativa, (4) implica
que (x) oscila y que (y) esta compuesta por exponenciales. Esto
parece poco adecuado, ya que las condiciones de contorno homogenea
(??) demuestran que la solucion que depende de y cumple dos condi-
ciones homogeneas: (y) debe ser cero en y = 0 y en y = H, por
lo que no esperamos que funcione las exponenciales en esta variable.
Po otro lado, si la constante de separacion es positiva, (4) implica que
(x) esta compuesta por exponenciales mientras que (y) oscila. Esto
parece mas razonable y por tanto introduciremos la constante de sep-
aracion (aunque no suponemos que > 0):
3
1

d
2

dx
2
=
1

d
2

dy
2
= .
Esto nos lleva a dos ecuaciones diferenciales ordinarias
d
2

dx
2
=
d
2

dy
2
= .
El problema dependiente de x no es un problema de contorno, ya
que no tiene dos condiciones de contorno homogeneas.
_

_
d
2

dx
2
=
(L) = 0.
Sin embargo, el problema dependiente de y si es un problema de con-
torno y se utilizara para determinar la constante de separacion, ( o los
autovalores)
(5)
_

_
d
2

dy
2
=
(0) = (L) = 0.
Este problema de contorno ya lo hemos estudiado antes, pero aqu la
longitud del intervalo es H. Todos los autovalores son positivos, > 0.
Las autofunciones son claramente senos, ya que (0) = 0. Mas a un, la
condicion (L) = 0 implica que
(6)
=
_
n
H
_
2
n1
(y) = Sen
_
ny
H
_
.
Para obtener las soluciones producto debemos resolver (??). Como
=
_
n
H
_
2
,
(7)
d
2

dy
2
=
_
n
H
_
.
La solucion general es una combinaci on lineal de exponenciales o una
combinaci on lineal de funciones hiperbolicas. Podemos utilizar la que
queramos, pero ninguna resulta particularmente adaptada a la res-
olucion de la condicion de contorno homogenea (L) = 0. Podemos
obtener nuestra solucion de una manera mas rapida si observamos que
4
Cosh
n(x L)
H
y Senh
n(x L)
H
son soluciones linealmente indepen-
dientes de (??). Podemos entonces expresar la solucion general como
una combinacion lineal de ellas dos, as
(8) phi(x) = a
1
Cosh
n
H
(x L) + a
2
Senh
n
H
(x L),
donde ahora debe esta claro que (L) = 0 implica que a
1
= 0. De aqu
(9) phi(x) = a
2
Senh
n
H
(x L).
La razon por la que (8) es la solucion es por el hecho que que es una
simple traslacion de la solucion mas familiar en terminos de Cosh
nx
H
y Senh
nx
H
. Podemos trasladar soluciones de ecuaciones diferenciales
solo si la ecuacion diferencial no cambia, es decir, es invariante bajo
traslaciones. Como (7) tiene coecientes constantes, situar el origen en
x = L haciendo x = x L no afecta la ecuacion diferencial, ya que
d
2

dx
2
=
_
n
H
_
2

seg un la regla de la cadena. De aqu,

Cosh
nx
H
= Cosh
n
H
(x L)
es una solucion.
Las soluciones producto son
(10) u
4
(x, y) = ASen
ny
H
Senh
n
H
(x L).
Podemos comprobar que la ecuacion de Laplace se cumple al igual que
los tres condiciones homogeneas. Es interesante notar que la parte
dependiente de y oscila mientras que la dependiente de x no.

Esta es
una propiedad general de la solucion de la ecuacion de Laplace que no
esta asociada a la geometra concreta ni a las condiciones de contorno.
Queremos utilizar estas soluciones producto para cumplir la condicion
que falta que es la condicion de contorno no homogenea u
4
(0, y) =
g
1
(y). Por el principio de superposicion si (10) es una solucion, tambien
lo es
(11) u
4
(x, y) =

n=1
A
n
Sen
ny
H
Senh
n
H
(x L).
Evaluando en x = 0 determinaremos los coecientes A
n
a partir de la
condicion de contorno no homogenea:
(12) g
1
(y) =

n=1
A
n
Sen
ny
H
Senh
n
H
(L).
5
Este es el mismo tipo de serie de funciones seno que hemos estudi-
ado, tomando A
n
Senh
n(L)
H
como sus coecientes. Entonces por la
ortogonalidad de las funciones Sen
ny
H
para y entre 0 y H, tenemos
A
n
Senh
n(L)
H
=
2
H
_
H
0
g
1
(y)Sen
ny
H
dy
Como Senh
n(L)
H
nunca es cero, podemos dividir por esta cantidad
y obtener nalmente una formula para los coecientes:
(13) A
n
=
2
HSenh
n(L)
H
_
H
0
g
1
(y)Sen
ny
H
dy
La formula (12) con los coecientes calculados en (13) es la solucion
unica para u
4
(x, y). La solucion u(x, y) se obtiene sumando cuatro
soluciones de este tipo.
3. Ecuaci

on de Laplace en un Disco
Supongamos que tenemos un disco delgado de radio a (con propiedades
termicas constantes y sin fuentes internas) con temperatura prescrita
en la frontera. Si la temperatura en la frontera es independiente del
tiempo, entonces es razonable determinar la distribucion de temper-
aturas en el equilibrio, de esta manera la temperatura satisface la
ecuacion de Laplace
2
u = 0. La geometra de este problema sug-
iere utilizar coordenadas polares, as u = u(r, ). En particular, en el
crculo r = a la distribucion de temperaturas es una funcion prescrita
de , u(a, = f(). El problema que queremos resolver es
(14)
_

2
u(r, ) =
1
r

r
_
r
u
r
_
+
1
r
2

2
u

2
= 0,
u(a, ) = f().
A primera vista podra parecer que no podemos utilizar separacion
de variables porque nos falta condiciones homogeneas. Sin embargo, la
introduccion de coordenadas polares requiere un poco de estudio que
ilustrara el uso del metodo de separacion de variables. Si resolvemos
la ecuacion de Laplace en un rectangulo, 0 x L , 0 y H, nece-
sitamos condiciones en los extremos de los intervalos de denicion de
las variables, x = 0, L e y = 0, H. Afortunadamente, estos extremos
coinciden con las fronteras fsicas. Sin embargo, en las coordenadas
polares, 0 r a y (donde hay cierta libertad en nuestra
6
denicion del angulo ). Matematicamente, necesitamos condiciones
en los puntos nales de las variables del sistema coordenado, r = 0, a
y = , . Aqu, solo r = a corresponde a una frontera fsica. Por
tanto, necesitamos condiciones que vengan motivadas por el problema
fsico en los extremos r = 0 y = . Las coordenadas polares son sin-
gulares en r = 0; por razones fsicas supondremos que la temperatura
es acotada en ese punto
(15) acotada en el origen: |u(0, )| < .
Matematicamente necesitamos condiciones tambien en = . La
situacion es similar a la del alambre circular. = corresponde a
los mismos puntos que = . Aunque no hay realmente una frontera
en = , diremos que la temperatura es continua en ese punto y que
el ujo de calor tambien es continuo en la direccion , lo cual implica:
(16)
u(r, ) = u(r, )
u

(r, ) =
u

(r, )
como si las dos regiones estuvieran en contacto termico perfecto all.
Las ecuaciones (16) se llaman condiciones de periodicidad; son
equivalentes a u(r, ) = u(r, + 2). Notemos que las condiciones
obtenidas, (15) y (14), son todas lineales y homogeneas (es facil com-
probar que u0 satisface estas tres condiciones). De esta forma el
problema matematico parece bastante similar a la ecuacion de Laplace
dentro de un rectangulo. Hay cuatro condiciones. Aqu, afortunada-
mente, solo una es no homogenea, u(a, )0f(). Este problema es en-
tonces adecuado para el metodo de separacion de variables.
Busquemos soluciones producto,
(17) u(r, ) = ()G(r)=0,
que satisfaga la EDP (14) y las tres condiciones homogeneas (15) y
(16). Notemos que (17) no tiene por que satisfacer la condicion de
contorno no homogenea (14). Sustituyendo (17) en las condiciones de
periodicidad vemos que
(18)
() = (),
d
d
() =
d
d
();
la parte que depende de tambien satisface las condiciones de con-
torno periodicas. La solucion producto cumplira la ecuacion de
Laplace si:
7
1
r
d
dr
_
r
dG
dr
_
() +
1
r
2
G(r)
d
2

d
2
= 0.
Dividiendo por (1/r
2
)G(r)(), tenemos
(19)
r
G
d
dr
_
r
dG
dr
_
=
1

d
2

d
2
= .
La constante de separacion la introducimos como (mejor que ) ya
que hay dos condiciones homogeneas en , (18), y por tanto esperamos
oscilaciones en . La ecuacion (19) da lugar a dos ecuaciones difer-
enciales ordinarias. el problema de contorno que nos determinara la
constante de separacion es
(20)
_

_
d
2

d
2
=
() = ()
d
d
() =
d
d
().
Los autovalores se determinan de la forma usual. De hecho, este
es uno de los tres problemas estandar, identico al del alambre circular
(con L = pi). Luego los autovalores son:
(21) =
_
n
L
_
2
= n
2
,
con las correspondientes autofunciones
(22) Senn Cosn.
El caso n = 0 debe estar incluido (siendo la autofuncion una constate).
El problema radial es
(23)
r
G
d
dr
_
r
dG
dr
_
= = n
2
,
puede escribirse como:
(24) r
2
d
2
G
dr
2
+r
dG
dr
n
2
G = 0.
Aqu, la condicion en r = 0 ya ha sido discutida, hemos prescrito
|u(0, | < . Para las soluciones producto, u(r, ) = ()G(r), sigue
que la condicion en el origen es que G(r) debe estar acotada all
(25) |G(0)| < .
8
La ecuacion (23) es lineal y homogenea, pero no tiene coecientes
constantes. existen pocas ecuaciones lineales de segundo orden con co-
ecientes no constantes que podemos resolver facilmente. La ecuacion
(23) es una de ellas, conocida como Ecuacion de Cauchy - Euler.
La forma mas facil de resolver (23) es observando que cualquier poten-
cia r
p
se reproduce a si misma, sustituyendo entonces G(r) = r
p
en
(23), obtenemos que:
r
2
p(p 1)r
p2
+ rpr
p1
n
2
r
p
= 0
[p(p 1) + p n
2
] r
p
= 0.
Por tanto, existen normalmente dos soluciones distintas,
p = n,
excepto cuando n = 0, en cuyo caso solo hay una solucion independiente
de la forma r
p
. Para n=0, la solucion general de (3) es:
(26) G(r) = c
1
r
n
+ c
2
r
n
.
Para n = 0 (y este caso es importante ya que = 0 es un autovalor
en este problema), una solucion es r
0
= 1, o cualquier constante. Una
segunda solucion para n = 0 se puede obtener facilmente a partir de .
Si n = 0
d
dr
_
r
dG
dr
_
= 0.
Integrando,
r
dG
dr
= K,
donde K es constante, o equivalentemente, dG/dr es proporcional a
1/r. La segunda solucion independiente es por tanto lnr. Luego para
n = 0, la solucion general de es
(27) G(r) = c
1
+ c
2
lnr.
Para la ecuacion (3) solo tenemos una condicion homogenea que im-
poner, |G(0)| < , y por tanto no es un problema de autovalores. La
condicion de acotacion no hubiera impuesto ninguna restriccion a los
problemas que hemos estudiado previamente. Sin embrago, aqu (26)
o (27) muestran soluciones que pueden tender a cuando r0. Por
tanto, para que |G(0)| < , c
2
= 0 en (26) y c
2
= 0 en (27). La
solucion dependiente del radio (que esta acotada en r=0) es
G(r) = c
1
r
n
n0,
que para n = 0 se reduce a na constante arbitraria.
Las soluciones producto obtenidas por el metodo de separacion de
variables que satisfacen las tres condiciones son
9
r
n
Cosn n0 y r
n
Senn n1.
Observemos que al igual que con las coordenadas rectangulares en la
ecuacion de Laplace, hay oscilaciones en una variable (aqu son en )
pero no en la otra variable (r). Por el principio de superposicion, la
siguiente serie es una solucion de la ecuacion de Laplace en un crculo:
(28)
u(r, ) =

n=0
A
n
r
n
Cosn+

n=1
B
n
r
n
Senn 0 < a <
Para satisfacer la condicion no homogenea, u(a, ) = f(), tenemos
(29) f() =

n=0
A
n
a
n
Cosn +

n=1
B
n
a
n
Senn < ,
donde
(30)
A
o
=
1
2
_
L
L
f()d
A
n
a
n
=
1

_
L
L
f()Cosnd
B
n
a
n
=
1

_
L
L
f()Sennd n1
Como a
n
=0, los coecientes A
n
y B
n
se pueden calcular de forma unica
a partir de (30).
La ecuacion (28) con los coecientes dados por (30) determina la
distribucion de temperaturas en el equilibrio dentro del crculo.
Universidad Central de Venezuela.
Facultad de Ciencias.
Escuela de Matematica.
Ecuaciones en Derivadas Parciales.
Noviembre 2005.
Trabajo No. 2
1. Resolver la ecuacion de Laplace dentro del Rectangular 0 x L,
0 y H, con las siguientes condiciones de contorno
1.1
u
x
(0, y) = 0, u(L, y) = g(y), u(x, 0) = 0, u(x, H) = 0.
1.2
u
x
(0, y) = 0, u(L, y) = 0, u(x, 0) =

0 x > L/2,
1 x < L/2
u
y
(x, H) = 0.
2. Resolver la ecuacion de Laplace en el exterior de un disco r a
con la condicion de contorno u(a, ) = f()
3. Resolver la ecuacion de Laplace dentro del sector circular de un
anillo a < r < b, 0 < < /2 con la condicion de contorno
u(r, 0) = 0, u(r, /2) = f(r), u(a, ) = 0, u(b, ) = 0.
4. Resolver la ecuacion de Laplace dentro de un semicrculo 0 <
r < a, 0 < < , donde el diametro esta aislado y u(a, ) =
g().
Fecha de Entrega: Miercoles: 30 de Noviembre de 2005.
1
Facultad de Ciencias
Ecuaciones en Derivadas Parciales.
Practica. Mayo 2005
1-. Resolver la ecuacin u/t = k
2
u/x
2
, 0 < x < L, t > 0, con las condiciones
u
x
(0, t) = 0, t > 0,
u
x
(L, t) = 0 t > 0
(a) u(x, 0) =

0 x < L/2
1 x > L/2
(b) u(x, 0) = 6 + 4Cos
3x
L
2-. Resolver la ecuacin de Laplace dentro del rectngulo 0 x L, 0 y H, con las
siguientes condiciones de borde:
(a)
u
x
(0, y) = 0,
u
x
(L, y) = 0 u(x, 0) = 0, u(x, H) = f(x).
(b)
u
x
(0, y) = g(y),
u
x
(L, y) = 0 u(x, 0) = 0, u(x, H) = 0.
(c)
u
x
(0, y) = 0, u(L, y) = g(y) u(x, 0) = 0, u(x, H) = 0.
(d) u(0, y) = 0, u(L, y) = 0 u(x, 0) =
u
y
(x, 0), u(x, H) = f(x).
3-. Considrese la funcin u(x, y), que satisface la ecuacin de Laplace en el rectngulo 0 <
x < L, 0 < y < H, con la siguientes condiciones de contorno
u
x
(0, y) = 0,
u
y
(x, 0) = 0,
u
x
(L, y) = 0,
u
y
(x, H) = f(x).
(a) Sin resolver este problema, explicar brevemente la condicin fsica bajo la cual
existe solucin.
(b) Resolver este problema por el mtodo de separacin de variables. Demostrar que
el mtodo funciona slo bajo la condicin deducida en el apartado (a).
2
(c) La solucin del apartado (b) contiene una constante arbitraria. Calcularla con-
siderando la ecuacin del calor dependiente del tiempo
u
t
= k
2
u,
con la condicin inicial
u(x, y, 0) = g(x, y).
4-. Resolver la ecuacin de Laplace en el exteriorde un disco (ra) con las condiciones
de contorno
(a) u(a, ) = ln2 + 4Cos3, (b) u(a, ) = f().
Se puede suponer que u(a, ) es nito cuando r.
5-. Resolver la ecuacin de Laplace dentro del cuarto de crculo de radio 1 (0 x /2, 0 r 1)
con las siguientes condiciones de contorno:
(a)
u

(r, 0) = 0, u(r,

2
) = 0, u(1, ) = f().
(b)
u

(r, 0) = 0,
u

(r,

2
) = 0, u(1, ) = f().
(c)u(r, 0) = 0, u(r,

2
) = 0,
u
r
(1, ) = f().
(d)
u

(r, 0) = 0,
u

(r,

2
) = 0,
u
r
(1, ) = g().
Demostrar que la solucin del apartado (d) existe slo si

/2
0
g()d=0. Explicar fsica-
mente esta condicin.
6-. Resolver la ecuacin de Laplace dentro de un anillo circular (a < r < b) con las
siguientes condiciones de contorno
(a) u(a, ) = f(), u(b, ) = g().
(b)
u
r
(a, ) = 0, u(b, ) = g().
(c)
u
r
(a, ) = f(),
u
r
(b, ) = g().
7-. Resolver la ecuacin de Laplace dentro de un sector circular de 90 de un anillo (a <
r < b, 0 < < /2) con las condiciones de contorno siguientes:
3
(a) u(r, 0) = 0, u(r, /2) = 0 u(a, ) = 0, u(b, ) = f().
(b) u(r, 0) = 0, u(r, /2) = f(r) u(a, ) = 0, u(b, ) = 0.
1. Propiedades de las Funciones Arm

onicas.
1.1. Gradiente, Divergencia y laplaciano. Sea f un campo es-
calar, esto es:
f : R
3
R,
se dene el gradiente de f, como
(f) =
_
f
x
,
f
y
,
f
z
_
.
Para un campo vectorial diferenciable

F : R
3
R,
su divergencia se dene

F =
_

x
,

y
,

z
_
, (F
1
, F
2
, F
3
)
=
F
1
x
+
F
2
y
+
F
3
z
Por lo que si calculamos f

F , tenemos
f

F = (f.F
1
, f.F
2
, f.F
3
),
de manera que
1. (f.

F ) =

x
(f

F
1
) +

y
(f

F
2
) +

z
(f

F
3
), por lo que
(f.

F ) =
f
x
F
1
+ f
F
1
x
+
f
y
F
2
+ f
F
2
y
+
f
z
F
3
+ f
F
3
z
= f
_
F
1
x
+
F
2
y
+
F
3
z
_
+
f
x
F
1
+
f
y
F
2
+
f
z
F
3
= f

F +f

F .
2. (f) =
_
(

x
,

y
,

z
), (
f
x
,
f
y
,
f
z
)
_
=
2
f.
3.
2

F = (
2
F
1
,
2
F
2
,
2
F
3
).
Si en (1)

F = , donde es un campo escalar, entonces

F =
_

x
,

y
,

z
_
y es un campo escalar, tenemos
() = () +
1
2
Denicion: Diremos que una funcion f : R
3
R, es una
funcion armonica si
(1)
2
f = 0,

x .
Consideremos un dominio de R
3
y S la supercie que encierra a
3
o
la frontera de , esto es = S. Si f es una funcion armonica en y
ademas
f() = 0,

S
demostraremos que f es la funcion identicamente igual a cero en .
La validez de esta armacion sera una consecuencia inmediata de las
Identidades de Green, que enunciaremos a continuaci on:
Teorema. Sea , dos campos escalares denidos en un con-
junto abierto de R
3
, es decir, , : UR
3
R. Sea un dominio de
R
3
contenido en U, supongamos que = S y que la supercie esta
orientada con su normal exterior. Entonces
1.
_ _ _

(
2
+) dV =
_ _
S
() ndS
2.
_ _ _

(
2

2
) dV =
_ _
S
( ) ndS
Demostracion: Consideremos el campo vectorial

F : UR
3
R
3
,
donde

F = psi, siendo y campos escalares. Aplicando el Teo-
rema de la divergencia a

F , tenemos:
_ _ _

F dV =
_ _
S

F ndS,
as
(2)
_ _ _

() dV =
_ _ _

(
2
+) dV
=
_ _
S
() ndS,
que se conoce como La Primera Identidad de Green.
Si consideramos ahora

F = , tenemos
(3)
_ _ _

_

2
+
_
dV =
_ _
S
() ndS,
3
Restando (2) de (3), tenemos
_ _ _

_

2

2

_
dV =
_ _
S
( ) ndS,
que es conocida como La Segunda Identidad de Green.
Supongamos que : UR
3
R es una funcion armonica en U,
esto es

2
(

x ) = 0,

x
con condicion en el borde
(

) = 0

S,
entonces, si suponemos que = en (2), tenemos
(4)
_ _ _

_

2
+
_
dV =
_ _
S
() ndS,
como es armonica la expresion anterior se transforma en:
(5)
_ _ _

2
dV =
_ _
S
() ndS,
como se anula en la supercie, la integral de la derecha es cero, por
lo que
_ _ _

2
dV = 0.
Llamemos

=
2
, esta funcion de de clase C
1
y no negativa en
, es decir

(

x )0 en por lo que concluimos que

2
= 0

x .
Es decir,
_

x
_
2
+
_

y
_
2
+
_

z
_
2
= 0,
de donde

x
=

y
=

z
= 0.
Esto implica que es una funcion constante en .
Como es continua en S y vale cero en S concluir que debe
valer cero en toda la region de .
4
La solucion de la ecuacion de Laplace en un circulo por el metodo
de separacion de variable nos llega a un importante resultado
u(r, ) = A
o
+

n=1
A
n
r
n
Cosn + B
n
r
n
Senn,
donde 0 r a y theta <. Si evaluamos la temperatura en el
origen r = 0, tenemos
(6) u(0, ) = A
o
=
1
2
_

f()d,
es decir, la temperatura en r = 0 es igual al valor medio de la tem-
peratura en la frontera del circulo. Esta es llamada propiedad de
la media para la ecuacion de Laplace y se cumple en general para
cualquier punto

x
o
. En efecto, supongamos que queremos resolver
la ecuacion de Laplace en una region arbitraria , consideremos un
punto cualquiera

x
o
as como la bola de centro

x
o
y radio r
o
su-
cientemente peque no de manera que B(

x
o
, r
o
). Usemos coorde-
nadas polares centrada en

x
o
y denotemos por f() la temperatura en
la circunferencia. Nuestro analisis anterior sigue siendo valido por lo
que
u(r
o
, ) = A
o
=
1
2
_

f()d.
Podemos utilizar este argumento para demostrar el principio del
maximo para la ecuacion de Laplace que enunciaremos como:
Principio del Maximo para la Ecuacion de Laplace: En
el estado estacionario la temperatura no puede alcanzar su maximo
en el interior, al menos que la temperatura sea constante en todo el
dominio.
Demostracion: Supongamos que el maximo se alcanza en un
punto

x
o
, pero:
u(r
o
, ) =
1
2
_

f()d.
Como el maximo coincidira con la media en todos los puntos de cualquier
circunferencia centrada en

x
o
, es imposible que la temperatura en

x
o
sea mas alta que en todos los puntos alrededor. Esto contradice la
suposicion que hicimos de que

x
o
es un punto maximo.
Si llamamos = u, tambien podemos demostrar que la temper-
atura no puede alcanzar su mnimo en el interior. Si sigue entonces
que: En el estado estacionario, el maximo y el mnimo de la
temperatura se alcanza en la frontera.
5
2. Problema Bien propuesto.
El principio del maximo es una herramienta muy importante para
una analisis profundo de las ecuaciones en derivadas parciales, espe-
cialmente para establecer propiedades cualitativas.
Denicion:Diremos que un problema esta bien propuesto si ex-
iste una unica solucion que depende continuamente de los datos no
homogeneos, es decir, la solucion varia poco si los datos se cambian
ligeramente.
Este es un concepto importante para los problemas fsicos, puesto
que si la solucion cambia dramaticamente con solo peque nos cambios
en los datos, entonces cualquier medida fsica debera ser exacta para
que la solucion fuera conable.
El principio del maximo se puede usar para probar que la ecuacion
de Laplace
_
_
_

2
u(

x ) = 0,

x
u(

) = f(

),

S
esta bien propuesto. Para ello, supongamos que variamos los valores
en la frontera en peque na cantidades, de manera que
_
_
_

2
v(

x ) = 0,

x
v(

) = g(

),

S
donde

g(

) f(

<

S. Consideremos entonces la funcion
w(

x ) = u(

x ) v(

x ). Por linealidad
_
_
_

2
w(

x ) =
2
u(

x )
2
v(

x ) = 0

x
w(

) = f(

) g(

),

S.
Como g(

)f(

),

S, w(

x ) es peque na y por tanto la solucion

v(

x ) es casi la misma que u(

x ), esto implica que la ecuacion de
Laplace vara ligeramente si los datos se alteran ligeramente.
Probemos ahora por reduccion al absurdo que la solucion de la
ecuacion de Laplace es unica. Supongamos como antes que existen
dos soluciones distintas y de la Laplace con las misma condicion
de contorno, esto es:
_
_
_

2
(

x ) = 0

x
(

) = f(

),

S.
6
mientras que:
_
_
_

2
(

x ) = 0

x
(

) = f(

),

S.
Si consideramos w(

x ) = (

x ) (

x ), entonces El principio del

maximo y del mnimo implican que
0 w(

x ) 0,

x
lo cual implica que w(

x ) = 0 y de aqu se tiene (

x ) = (

x ),

x , lo que demuestra que si existe una solucion esta es unica. estas

propiedades (unicidad y dependencia continua de los datos) demues-
tran que la ecuacion de Laplace, con valor de u prescrito en la frontera,
es un problema bien propuesto.
Si sobre la frontera el dato prescrito es el ujo de calor, es decir,
(

) = K
o
u n() = K
o
u
n
(),
en lugar de la temperatura, la ecuacion de Laplace, puede no tener
solucion. En efecto, sabemos que
0 =
_ _

2
udV =
_ _

cdor (u) dV =
_
S
u ndS.
Como u n es proporcional al ujo de calor a traves de la frontera, la
ecuacion anterior implica que el ujo neto de calor a traves de la fron-
tera debe ser cero para que exista un estado estacionario. Fsicamente
esto es claro por que de otro modo habra un cambio (con el tiempo)
de la energa termica en el interior, lo que contradice la suposicion de
estado estacionario. La ecuacion
_
S
u ndS = 0,
se conoce como la condici on de solubilidad o condici on de com-
patibilidad para la ecuacion del calor.
3. Representaci

on Integral para las funcione arm

onicas.
Consideremos u una funcion armonica en R
2
con primeras derivadas
parciales continuas en

S. Queremos expresar el valor de u en un

punto

x
o
mediante una integral de supercie, para ello, considere-
mos un entorno B(

x
o
, ) cuya supercie es S

. Tenemos entonces
el siguiente problema asociado:

2
(

x ,

x
o
) = (

x
o
)

x .
7
La solucion para esta ecuacion puede encontrarse si escribimos el
laplaciano en coordenadas polares y consideramos que existe una simetra
circular, por lo tanto
1
r

r
_
r

r
_
= 0,

x =

x
o

y deniendo r =
_
(x x
o
)
2
+ (y y
o
)
2
. De esta manera

r
_
r

r
_
= 0
implica que
(

x ,

x
o
) = (r) = c
2
+ c
1
lnr,
donde c
1
y c
2
son constantes arbitrarias por determinar.
Sin perdida de generalidad podemos suponer que c
2
= 0, por lo que
(r) = c
1
lnr.
Basandonos en el principio de conservaci on de masa, el cual nos expresa
que el ujo total a traves de la supercie debe ser igual a la mas de
ujo para el unico punto de origen

x
o
, tenemos
_
S

n
= 1,
asumiendo que la densidad del ujo es unitaria. Pero

n
=
c
1
r
,
de esta manera
_
S

n
=
_
2
0
c
1
r
rd = 2c
1
= 1,
por lo que
c
1
=
1
2
.
De esta manera
(r) =
1
2
lnr,
la cual puede escribirse como
(

x ,

x
o
)
1
2
ln
_
_
(x x
o
)
2
+ (y y
o
)
2
_
.
Si consideramos la segunda Identidad de Green, tenemos
_ _ _

_

2
u u
2

_
d =
_ _
S

(u u) ndS,
8
pero

2
u(

x ) = 0,

x
mientras que

2
(

x ,

x
o
) = (

x
o
).
Sustituyendo en la expresion anterior, tenemos

_ _ _

u(

x )(

x
o
)d =
_ _
S

(u u) ndS,
usando las propiedades de la funcion (

x
o
), nos queda
u(

x
o
) =
_ _
S

_
u

n

u
n
_
dS,
haciendo tender 0, tenemos
u(

x
o
) =
_ _
S

u
n
u

n
_
dS,
que es la representacion integral de la solucion de la ecuacion de Laplace
en termino de la integral de supercie.
Facultad de Ciencias
Ecuaciones en Derivadas Parciales.
Funciones Armonicas y Serie de Fourier. Mayo 2005
(1) Utilizando los principios de maximo para la ecuacion de Laplace, probar que la
solucion de la ecuacion de Poisson
2
u, con condicion u = f(x) en la frontera,
es unica.
(2) (a) Utilizar el teorema de la divergencia para obtener una expresion alternativa para

u
2
udxdydz.
(b) Usando el apartado (a), probar que la solucion de la ecuacion de Laplace
2
= 0
(con u prescrita en la frontera)es unica.
(c) Modicar el apartado (b) si u. n = 0en la frontera.
(d) Modicar el apartado (b) si tenemos ahora u. n + hu = 0 sobre la frontera.
Demostrar que la ley de enfriamiento de Newton corresponde a h < 0.
(3) Demostrar que al temperatura que cumple la ecuacion de laplace no puede alcanzar
su mnimo en el interior.
(4) Demostrar que la ecuacion del calor retrogada,
u
t
= k

2
u
x
2
con las condiciones u(0, t) = u(L, t) = 0 y u(x, 0) = f(9), no es un problema bien
propuesto. Indicaciones: demostrar que si los datos se cambian en una cantidad
arbitrariamente peque na, por ejemplo
f(x)f(x) +
1
n
sen
nx
L
para n grande, entonces la solucion u(x,t) cambia en una cantidad grande.
(5) Dibujar la serie de Fourier de f(x) de las siguientes funciones en el intervalo Lx L.
Comparar f(x) con su serie de Fourier:
(a) f(x) = x
2
(b) f(x) = e
x
(c) f(x) =

0, x < 0
1 + x, x > 0
(d) f(x) =

x, x < L/2
0, x > L/2
2
(6) Determinar la serie de Fourier de seno de f(x) y dibuje dicha serie
(a) f(x) = Cos
x
L
(b) f(x) =

1, x < L/6
3, L/6 < x < L/2
0, x > L/6
(c) f(x) =

0, x < L/2
x, x > L/2
(d) f(x) =

1, x < L/2
0, x > L/2
(7) dibujar la serie de Fourier de senos de las siguientes funciones. Dibujar tambien,
aproximadamente, la suma de una cantidad nita de terminos no nulos (por lo menos
los dos primeros) de la serie de Fourier de senos:
(a) f(x) = Cos
x
L
(b) f(x) =

1, x < L/2
0, x > L/2
(c) f(x) = x
(8) Dibujar la serie de Fourier de coseno de f(x) = Sen
x
L
. Analizar brevemente.
(9) Dibujar la serie de Fourier de cosenos de las siguientes funciones. Dibujar tambien,
aproximadamente, la suma de una cantidad nita de terminos no nulos (por lo menos
los dos primeros) de la serie de Fourier de cosenos:
(a) f(x) = x (b) f(x) =

0, x < L/2
1, x > L/2
(c) f(x) =

1, x < L/2
0, x > L/2
(10) Demostrar que e
x
es la suma de una funcion par y na impar.
(11) (a) Obtener una formula para la extension par de cualquier funcion f(x). Comparar
con la formula de la parte par de f(x).
(b) Hacer lo mismo con la extension impar de f(x) y la parte par de f(x).
3
(c) Calcular y dibujar las cuatro funciones de los apartados (a) y (b) si

x
2
, x < 0
x, x > 0
Sumar gracamente las partes par e impar de f(x). Que ocurre?Similarmente,
sumar las extensiones par e impar.
(12) Para funciones continuas:
(a) Bajo que condiciones es f(x) igual a su serie de Fourier para todo x?, 0 x L?
(b) Bajo que condiciones es f(x) igual a su serie de Fourier de senos para todo x?,
0 x L?
(c) Bajo que condiciones es f(x) igual a su serie de Fourier cosenos para todo x?,
0 x L?
1. Series de Fourier
1.1. Serie de Fourier de Senos y Cosenos. Al resolver ecuaciones
en derivadas parciales por el metodo de separacion de variables hemos
descubierto que ciertas condiciones importantes (como por ejemplo la
condicion inicial, u(x, 0) = f(x)) se puede cumplir solamente si f(x) se
puede igualar a una combinacion lineal de autofunciones de un prob-
lema de contorno dado. Hemos estudiado tres casos especcos. Uno
involucraba una serie de funciones senos, otra una serie de cosenos so-
lamente (incluyendo un termino constante) y el tercero una serie que
inclua todos los terminos.
Comenzaremos investigando series con senos y cosenos a la vez, por
que demostraremos que las series que solo contienen senos y las que
solo contienen cosenos son casos especiales de las Series de Fourier.
Para problemas con condiciones de frontera periodicas en el intervalo
L x L, nos preguntamos si la siguiente serie innita (conocida
como Serie de Fourier) tiene sentido:
(1) f(x) = A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
.
Converge la serie innita? Converge a f(x)? Es la serie innita
resultante una solucion de la ecuacion en derivadas parciales (y cumple
tambien todas las otras condiciones subsidiarias)? Joseph Fourier
desarrollo este tipo de series en su famoso tratado sobre el ujo de
calor, a comienzo del siglo XIX.
La primera dicultad que surge es que esperamos que (1) sea valida
para todas las funcione f(x). Sin embargo, (1) sera valida para al-
gunos tipos de funciones y necesitamos solo una peque na modicacion
para otros tipos de funciones. Para tratar varios conceptos facilmente,
trataremos solo funciones f(x) que son suaves s trozos.
Denicion Una funcion f(x) es suave a trozo en alg un intervalo,
si este intervalo puede dividirse en sub-intervalos, tales que en cada
uno de ellos la funcion f(x) sea continua y su derivada sea tambien
continua.
As, la funcion f(x) puede no ser continua, pero el unico tipo de
discontinuidad permitida es un n umero nito de discontinuidades de
salto.
1
2
Todas las funciones que aparecen en una serie de Fourier son periodicas
con periodo 2L. Por tanto, la serie de Fourier de f(x) en el intervalo
L x L es periodica con periodo 2L. La funcion f(x) no es nece-
sariamente periodica, sin embargo, podemos construir una extension
periodica de f, que denotaremos por

f(x), tal que

f(x) = f(x) en
L x L.
Deniremos a la serie de Fourier de una funcion f : [.L, L] R,
continua a trozos y periodica de periodo 2L, como
f(x) = A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
, L x L
donde
(2)
A
o
=
1
2L
_
L
L
f(x)dx
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx.
Notemos que la serie de Fourier no existe al menos que por ejemplo,
A
o
exista, es decir, a menos que
|
_
L
L
f(x) dx| < .
Esta propiedad, elimina ciertas funciones de nuestra consideracion. Por
ejemplo, nos preguntamos Cual es la serie de Fourier de la funcion
f(x) = L/x
2
?. Incluso en situaciones en que

_
L
L
f(x) dx

< , la
serie puede no converger; mas a un, puede que si converge no converja
a f(x), es por esta razon que utilizaremos el smbolo .
Podemos comenzar enunciaremos un teorema resume ciertas propiedades
de las serie de Fourier y nos referimos a el como el Teorema de Con-
vergencia de Serie de Fourier.
Teorema:Si f(x) es suave a trozos en el intervalo L x L,
entonces la serie de Fourier de f(x) converge:
a) A la extension periodica de f(x), en los puntos donde la ex-
tension periodica sea continua,
b) A la media de los dos lmites laterales
f(x
+
) + f(x

)
2
,
3
en los puntos donde la extension periodica tenga discontinuidades
de salto.
Matematicamente, si f(x) es suave a trozos, entonces para todo
x(L, L)
(3)
f(x
+
) + f(x

)
2
= A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
,
donde los coecientes de Fourier estan dados por (2).
En los puntos donde f(x) es continua tenemos, f(x
+
) = f(x

), por
tanto, (3) implica que para L < x < L,
f(x) = A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
,
Fuera del rango L x L la serie de Fourier converge a un valor
facilmente determinado usando el hecho de la periodicidad de la Serie
de Fourier.
Ejemplo: Determinar la Serie de fourier de la funcion
f(x) =
_
_
_
0, x < L/2
1, xL/2.
El graco de esta funcion es:
Consideremos

f(x) una extension periodica de f(x), esto es

f(x + 2L) =

f(x),
donde

f(x) = f(x), x(0, L).

La graca de esta funcion es:
En x = L y x = L (al igual que en x = L/22nL y x = L2nL),
la serie de Fourier converge a la media, 1/2, de esta manera podemos
decir
A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
=
_

_
1/2, x = L
0, L < x < L/2
1/2, x = L/2
1, L/2 < x < L/2
1/2, x = L
La serie de Fourier puede converger a funciones muy extra nas pero
no son demasiadas diferentes a la funcion original.
4
Los coecientes son
A
o
=
1
2L
_
L
L/2
dx =
1
2L
[x]
x=L
x=L/2
=
1
4
A
n
=
1
L
_
L
L/2
Cos
nx
L
dx =
1
n
_
Senn Sen
n
2
_
B
n
=
1
L
_
L
L
Sen
nx
L
dx =
1
n
_
Cos
n
2
Cosn
_
.
Demostraremos que las series que solo contienen senos y las que solo
contienen cosenos son casos especiales de Series de Fourier.
2. Serie de Fourier de Senos.
Funciones Impares. Una funcion impar es una funcion con la
propiedad
f(x) = f(x).
El graco de una funcion impar para x < 0 se obtiene cambiando de
signo la imagen reejada de f(x) para x > 0.
Ejemplos de Funciones impares son
f(x) = x
3
,
de hecho cualquier potencia impar y
f(x) = Sen4x.
La integral de una funcion impar en un intervalo simetrico es cero
(cualquier contribuci on que haya para x > 0 se cancelara con la con-
tribucion de x < 0).
Calculemos los coecientes de Fourier de una funcion impar:
A
o
=
1
2L
_
L
L
f(x)dx = 0
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx = 0.
Ambos son ceros porque el integrando, f(x) y f(9)Cos
nx
L
es impar
(al ser el producto de una funcion impar,f(x) con una funcion par
Cos
nx
L
). Como A
n
= 0, las funciones cosenos (que son pares) no
aparecen en la serie de Fourier de una funcion impar. La serie de
Fourier de una funcion impar es una serie de funciones impares (senos):
(4) f(x)

n=1
B
n
Sen
nx
L
,
5
si f(x) es impar. En este caso los coecientes de Fourier B
n
se pueden
simplicar:
(5)
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx
=
2
L
_
L
0
f(x)Sen
nx
L
dx,
ya que la integral de una funcion par en un intervalo simetrico, es dos
veces la integral de 0 a L. Para las funciones impares solo necesitamos
la informacion f(x) para 0 x L.
Solo ocasionalmente nos encontraremos ante una funcion impar a la
que tengamos que calcular su serie de Fourier, pero frecuentemente
aparecen series de senos en el contexto de separacion de variables.
Recordemos que la temperatura de una barra unidimensional de lon-
gitud L con temperatura cero en los extremos u(0, t) = u(L, t) = 0,
satisface
(6) u(x, t) =

n=1
B
n
Sen
nx
L
e
(n/L)
2
kt
,
donde la condicion inicial u(x, 0) = f(x) se cumple si
(7) f(x) =

n=1
B
n
Sen
nx
L
.
Por tanto, se debe representar f(x) como una serie de senos; (7)tiene
la misma forma que (4), sin embargo, existe una diferencia signica-
tiva. En (4) sabemos que f(x) es una funcion impar denida para
L x L. En (7), f(x) esta solo denida para 0 x L, pues es
la distribucion de temperatura inicial; f(x) no es necesariamente im-
par. Si conocemos f(x) solamente para 0 x L, entonces podemos
extenderla como una funcion impar, obteniendo otra funcion llamada
extension impar de f(x). La extension impar de f(x) esta denida
para L x L, y podemos aplicar el Teorema de Convergencia de
la Serie de Fourier (si la extension impar de f(x) es suave a trozos, lo
que a su vez requiere que f(x) sea suave a trozos en 0 x L). Mas
a un, como la extension impar de f(x) es ciertamente impar, su serie de
Fourier solo tiene senos. Llamemos

f(x) la extension impar de f(x),
por lo tanto

f(x) =

n=1
B
n
Sen
nx
L
,
donde los B
n
estan dados por (5). Nosotros estamos interesados sola-
mente en lo que ocurre entre x = 0 y x = L. En esa region f(x) es
identica a su extension impar, as
(8) f(x) =

n=1
B
n
Sen
nx
L
, 0 x L
6
donde
(9) B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx.
Llamaremos a esta la Serie de Fourier de Senos de f(x) en el
intervalo 0 x L.
Ejemplo: Encontrar la serie de Fourier de senos de la funcion:
f(x) = 100 0 x L
Comenzamos dibujando su extension impar.
La serie de Fourier de Senos de f(x) es igual a la serie de Fourier
de la extension impar de f(x). Repitamos periodicamente la extension
impar (con periodo 2L). En los puntos de discontinuidad, marcamos
la media con un . De acuerdo con el Teorema de Fourier, la serie de
Fourier de senos de 100 sera igual a 100 para 0 < x < L, pero la serie
no es igual a 100 en x = 0 ni en x = L, es decir:
(10) 100 =

n=1
B
n
Sen
nx
L
, 0 < x < L
En x = 0, la gura muestra que la serie de Fourier de Senos converge
a 0 por que al considerar la extension impar, x = 0 es un punto de
discontinuidad. Por esta misma razon la serie de Fourier de Senos
tambien converge a 0 en x = L. Estos resultados concuerdan con el
resultado de sustituir x = 0 (y x = L) en la serie innita de senos. Los
coecientes de Fourier se determinan mediante (??), esto es:
(11)
B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx
=
200
L
_
L
0
Sen
nx
L
dx =
_

_
0 n par
400
n
n impar
Este problema aparece al intentar resolver la ecuacion del calor uni-
dimensional con condiciones de contorno nulas y temperatura incial
constante igual a 100
o
:
_

_
u
t
= K

2
u
x
2
, 0 < x < L, t > 0
u(0, t) = u(L, t) = 0
u(x, 0) = 100.
7
El metodo de separacion de variables implicaba
(12) u(x, t) =

n=1
B
n
Sen
nx
L
e
K(n/L)
2
t
,
donde
100 =

n=1
B
n
Sen
nx
L
, 0 < x < L
Matematicamente, la serie de Fourier de la condicion inicial tiene
un comportamiento bastante malo en x = 0 y en x = L. De hecho,
para este problema, la situacion fsica no esta muy bien denida en
x = 0(en el instante t=0). Existe un conicto la condicion inicial y la
condicion de contorno en el punto x = 0, t = 0, esto es, la condicion
inicial (t = 0) prescribe que la temperatura es de 100
o
incluso cuando
x0, mientras que la condicion de contorno (x = 0) prescribe que
la temperatura es 0
o
incluso cuando t0. Por lo tanto, el problema
fsico tiene una discontinuidad en el punto x = 0, t = 0. En el mundo
fsico real, la temperatura no puede ser discontinua. Hemos introducido
una discontinuidad en nuestro modelo matematico al hacer pasar in-
stant aneamente la barra (en t = 0) de 100
o
a 0
o
en el punto x = 0.
Esta operacion requiere en la practica un tiempo positivo, con lo que
la temperatura es en realidad continua. No obstante, la transicion de
0
o
a 100
o
ocurrira en tiempo y distancia extremadamente peque nos.
El Teorema de Fourier muestra como la discontinuidad fsica en x = 0
(inicialmente, en t = 0) se reproduce matematicamente. La serie de
Fourier de senos de 100
o
(que representa la solucion fsica en t = 0)
tiene la agradable propiedad de que es igual a 100
o
para todos los x
dentro de la barra, 0 < x < L, y 0
o
en x = 0 y x = L cumpliendo
as las condiciones de contorno. La serie de Fourier de senos de 100
o
es
una funcion matematica extra na, pero tambien lo es la aproximaci on
fsica para la que se necesita.
2.1. Fen omeno Gibbs. Para naliza con las series de Fourier y sus
aplicaciones, consideremos la serie de Fourier de senos de f(x) = 100
o
,
(13) 100 =
400

_
Sen(x/L)
1
+
Sen(3x/L)
3
+
Sen(5x/L)
5
+...
_
Nos preguntamos Sera valida la formula (13)?. Ciertamente no es
valida en x = 0 ni tampoco en x = L, ya que en x = 0 todos los
terminos de la serie se anulan, sin embargo el Teorema de la conver-
gencia de la Serie de Fourier nos asegura que es valida en todo punto
excepto en los dos extremos.
8
Por ejemplo, para x =
L
2
vemos que
100 =
400

_
1
1
3
+
1
5

1
7
+
1
9
...

4
=
_
1
1
3
+
1
5

1
7
+
1
9
...

Que es la famoso Formula de Euler para . La validez de la serie

de Fourier de senos para otros valores de x, 0 < x < L puede tambien
sorprendernos. Dibujemos el lado izquierdo y el lado derecho de la
serie.
Para n = 1, tenemos que el primer termino de la serie es
400

Sen(x/L)
1
,
cuya graca es
0
0.2
0.4
0.6
0.8
1
1.2
0.5 1 1.5 2 2.5 3
theta
Esta no es una buena aproximacion para la constante 100.
Para n = 3, tenemos que los dos primeros terminos de la serie son
400

_
Sen(x/L)
1
+
Sen(3x/L)
3
_
, cuya graca es:
9
0
0.2
0.4
0.6
0.8
1
1.2
0.5 1 1.5 2 2.5 3
theta
Observemos que la suma de los dos primeros terminos no nulos ya
parecen constituir una mejora considerable con respecto del primer
termino.
Si continuamos sumando, podemos observar una mejor aproximaci on,
esto es:
1,2
1
0,8
0,6
0,4
0,2
0
theta
3 2,5 2 1,5 1 0,5 0
Para n sucientemente grande, vemos que parece razonable creer que
la serie innita converge a 100
o
para 0 < x < L
10
1,2
0,4
1
0,6
0,8
0,2
theta
3 2,5 2 1 0
0
1,5 0,5
Los lugares donde la suma nita diere mas del valor de 100
o
, estan
cada vez mas cerca de x = 0 y x = L seg un el n umero de terminos
aumenta. Para una cantidad nita de terminos de la serie, la solucion
comienza en cero en x = 0 y se dispara por encima de 100, esto es lo
que llamamos el exceso primario. La serie sera mas y mas precisa
seg un aumentemos el n umero de terminos de la serie. Podramos es-
perar que el exceso desapareciera cuando n, pero por el contrario,
se forma un pico en los puntos de maximo exceso, donde la solucion no
parece que se aproxime a 100. Este exceso es un ejemplo del llamado
Fenomeno de Gibbs. En general (para n grande), existe un ex-
ceso (y su correspondiente defecto) de aproximadamente el 9% de la
discontinuidad.
3. Serie de Fourier de Cosenos.
Al igual que para funciones impares, tenemos ideas similares para
funciones pares, en las que f(x) = f(x). Desarrollaremos los resulta-
dos basicos, los coecientes de la serie de Fourier que acompa nan a la
funcion seno son ceros para una funcion par, esto es,
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx = 0,
ya que en este caso f(x)Sen
nx
L
es impar. La serie de Fourier de una
funcion par es una representaci on de f(x) mediante una suma formada
exclusivamente por funciones pares,
(14) f(x) = A
o
+

n=1
A
n
Cos
nx
L
.
11
Los coecientes de los cosenos se pueden evaluar utilizando informacion
sobre f(x) solo entre 0 < x < L, ya que:
A
o
=
1
2L
_
L
L
f(x) dx =
1
L
_
L
0
f(x) dx,
mientras que
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx =
2
L
_
L
0
f(x)Cos
nx
L
dx.
Normalmente la funcion dada f(x) no es una funcion par, usual-
mente, al tratar de representar una funcion arbitraria f(x) usando una
serie innita de funciones Cos
nx
L
, que son las autofunciones del prob-
lema de contorno:
_

_
d
2

dx
2
=
dphi
dx
(0) =
dphi
dx
(L) = 0
queramos que
f(x) =

n=0
A
n
Cos
nx
L
, 0 < x < L
para poder relacionara con esta serie de Fourier simplemente introduci-
mos La extension par de f(x), esto es,

f(x) =

f(x) x[L, L]

f(x) = f(x) x[0, L]

Ademas si f(x) es suave a trozos en 0 x L, entonces

f(x) tambien
lo sera en L x L, por lo que podemos aplicar el Teorema de con-
vergencia de la Serie de Fourier a la extension par de f(x), por lo que

f(x)

n=0
Cos
nx
L
, L x L
Ejemplo: Consideremos la serie de Fourier de cosenos de la
funcion:
f(x) = x,
cuya graca es:
Notemos que f(x) es impar. Consideremos a f(x) solo en el intervalo
0 x L y extendemos de forma para:

f(x) =
_
_
_
x, 0 x L
x, L x < 0
La extension periodica de esta funcion es:
12
La serie de Fourier de cosenos no tiene discontinuidades de salto, por
lo que podemos escribir
x =

n=0
A
n
Cos
nx
L
,
donde
A
0
=
1
L
_
L
o
xdx =
L
2
A
n
=
2
L
_
L
o
xCos
nx
L
dx =
2L
(n)
2
[Cosn 1] .
Parece entonces evidente que cualquier funcion f(x) (que sea suave a
trozos) se puede representar a la vez como una serie de Fourier de senos
y como una serie de Fourier de cosenos. Elegiremos el Tipo de serie
dependiendo de las condiciones de contorno si el problema surge en el
contexto de resolver una ecuacion en derivadas parciales utilizando el
metodo de separacion de variables. Tambien es posible utilizar serie
de Fourier que incluya senos y cosenos. Por ejemplo, consideremos las
gracas de la serie de Fourier, Serie de Fourier de senos y Serie de
Fourier de cosenos de la funcion
La Serie de Fourier de f(x) se dibuja repitiendo este esquema con
periodo 2L.
La serie de Fourier de senos o de cosenos se obtiene dibujando primero
la extension par o impar de f(x) antes de repetir el esquema por peri-
odicidad, por lo que
Observemos que para L x L solo la serie de Fourier de f(x) es
realmente igual a f(x). Sin embargo, en los tres casos la Serie es igual
a f(x) en el intervalo 0 x L.
4. Parte par e impar de una funci

on.
Consideremos la serie de Fourier de una funcion f(x) que no es nece-
sariamente par o impar, esto es,
(15) f(x)A
o
+

n=1
A
n
Cos
nx
L
+B
n
Sen
nx
L
,
donde
A
0
=
1
2L
_
L
L
f(x)dx
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx.
13
Observemos que una serie de Fourier es la suma de una serie de
cosenos y una serie de senos, pero por ejemplo,

n=1
B
n
Sen
nx
L
,
no es en general la serie de Fourier de senos de f(x), por que los coe-
cientes, no son en general los mismos coecientes de una serie de Fourier
de senos (
2
L
_
L
o
f(x)Sen
nx
L
dx), por lo que esta serie debera ser por
si misma la serie de Fourier de senos de alguna funcion. Busquemos
dicha funcion.
La ecuacion (15) muestra que f(x) esta representada como una suma
de una funcion par y una funcion impar. esto es una propiedad general
de las funciones, pues para cualquier funcion es obvio que:
(16)
f(x) =
1
2
f(x) +
1
2
f(x) +
1
2
f(x)
1
2
f(x)
=
1
2
[f(x) + f(x)] +
1
2
[f(x) f(x)] .
Llamenos
f
p
(x) =
1
2
[f(x) + f(x)] ,
entonces
f
p
(x) =
1
2
[f(x) + f(x)] = f
p
(x),
por lo que decimos que f
p
(x) es una funcion par que llamaremos parte
par de f(x). Si llamamos
f
i
(x) =
1
2
[f(x) f(x)] ,
entonces
f
i
(x) =
1
2
[f(x) f(x)] = f
i
(x),
por lo que f
i
(x) es una funcion impar que llamaremos parte impar
de f(x).
De esta manera, cualquier funcion se escribe como la suma de una
funcion par f
p
(x) y una funcion impar f
i
(x). Por ejemplo, si
f(x) =
1
1 + x
,
14
entonces
1
1 + x
=
1
2
_
1
1 + x
+
1
1 x
_
+
1
2
_
1
1 + x

1
1 x
_
=
1
1 x
2

x
1 x
2
.
Esto es la suma de una funcion par, f
p
(x) =
1
1 x
2
y una impar
f
i
(x) =
x
1 x
2
. De esta manera, la serie de Fourier de f(x) es igual a
la suma de la serie de Fourier de f
p
(x) y la serie de Fourier de f
i
(x).
1. Series de Fourier
1.1. Serie de Fourier de Senos y Cosenos. Deniremos a la serie
de Fourier de una funcion f : [L, L] R, continua a trozos y periodica
de periodo 2L, como
f(x) = A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
, L x L
donde
(1)
A
o
=
1
2L
_
L
L
f(x)dx
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx.
Notemos que la serie de Fourier no existe al menos que por ejemplo,
A
o
exista, es decir, a menos que
|
_
L
L
f(x) dx| < .
Esta propiedad, elimina ciertas funciones de nuestra consideracion. Por
ejemplo, nos preguntamos Cual es la serie de Fourier de la funcion
f(x) = L/x
2
?. Incluso en situaciones en que

_
L
L
f(x) dx

< , la
serie puede no converger; mas a un, puede que si converge no converja
a f(x), es por esta razon que utilizaremos el smbolo .
La Clase pasada enunciamos un teorema que resume ciertas propiedades
de las serie de Fourier y nos referimos a el como el Teorema de Con-
vergencia de Serie de Fourier.
Teorema:Si f(x) es suave a trozos en el intervalo L x L,
entonces la serie de Fourier de f(x) converge:
a) A la extension periodica de f(x), en los puntos donde la ex-
tension periodica sea continua,
b) A la media de los dos lmites laterales
f(x
+
) + f(x

)
2
,
en los puntos donde la extension periodica tenga discontinuidades
de salto.
1
2
Matematicamente, si f(x) es suave a trozos, entonces para todo
x(L, L)
(2)
f(x
+
) + f(x

)
2
= A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
,
donde los coecientes de Fourier estan dados por (1).
En los puntos donde f(x) es continua tenemos, f(x
+
) = f(x

), por
tanto, (2) implica que para L < x < L,
f(x) = A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
,
Fuera del rango L x L la serie de Fourier converge a un valor
facilmente determinado usando el hecho de la periodicidad de la Serie
de Fourier.
Ejemplo: Determinar la Serie de fourier de la funcion
f(x) =
_
_
_
0, x < L/2
1, xL/2.
Consideremos

f(x) una extension periodica de f(x), esto es

f(x + 2L) =

f(x),
donde

f(x) = f(x), x(0, L).

En x = L y x = L (al igual que en x = L/22nL y x = L2nL),
la serie de Fourier converge a la media, 1/2, de esta manera podemos
decir
A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
=
_

_
1/2, x = L
0, L < x < L/2
1/2, x = L/2
1, L/2 < x < L/2
1/2, x = L
La serie de Fourier puede converger a funciones muy extra nas pero
no son demasiadas diferentes a la funcion original.
3
Los coecientes son
A
o
=
1
2L
_
L
L/2
dx =
1
2L
[x]
x=L
x=L/2
=
1
4
A
n
=
1
L
_
L
L/2
Cos
nx
L
dx =
1
n
_
Senn Sen
n
2
_
B
n
=
1
L
_
L
L
Sen
nx
L
dx =
1
n
_
Cos
n
2
Cosn
_
.
Demostraremos que las series que solo contienen senos y las que solo
contienen cosenos son casos especiales de Series de Fourier.
2. Serie de Fourier de Senos.
Funciones Impares. Una funcion impar es una funcion con la
propiedad
f(x) = f(x).
El graco de una funcion impar para x < 0 se obtiene cambiando de
signo la imagen reejada de f(x) para x > 0.
Ejemplos de Funciones impares son
f(x) = x
3
,
de hecho cualquier potencia impar y
f(x) = Sen4x.
La integral de una funcion impar en un intervalo simetrico es cero
(cualquier contribuci on que haya para x > 0 se cancelara con la con-
tribucion de x < 0).
Calculemos los coecientes de Fourier de una funcion impar:
A
o
=
1
2L
_
L
L
f(x)dx = 0
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx = 0.
Ambos son ceros porque el integrando, f(x) y f(9)Cos
nx
L
es impar
(al ser el producto de una funcion impar,f(x) con una funcion par
Cos
nx
L
). Como A
n
= 0, las funciones cosenos (que son pares) no
aparecen en la serie de Fourier de una funcion impar. La serie de
Fourier de una funcion impar es una serie de funciones impares (senos):
(3) f(x)

n=1
B
n
Sen
nx
L
,
4
si f(x) es impar. En este caso los coecientes de Fourier B
n
se pueden
simplicar:
(4)
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx
=
2
L
_
L
0
f(x)Sen
nx
L
dx,
ya que la integral de una funcion par en un intervalo simetrico, es dos
veces la integral de 0 a L. Para las funciones impares solo necesitamos
la informacion f(x) para 0 x L.
Solo ocasionalmente nos encontraremos ante una funcion impar a la
que tengamos que calcular su serie de Fourier, pero frecuentemente
aparecen series de senos en el contexto de separacion de variables.
Recordemos que la temperatura de una barra unidimensional de lon-
gitud L con temperatura cero en los extremos u(0, t) = u(L, t) = 0,
satisface
(5) u(x, t) =

n=1
B
n
Sen
nx
L
e
(n/L)
2
kt
,
donde la condicion inicial u(x, 0) = f(x) se cumple si
(6) f(x) =

n=1
B
n
Sen
nx
L
.
Por tanto, se debe representar f(x) como una serie de senos; (6)tiene
la misma forma que (3), sin embargo, existe una diferencia signica-
tiva. En (3) sabemos que f(x) es una funcion impar denida para
L x L. En (6), f(x) esta solo denida para 0 x L, pues es
la distribucion de temperatura inicial; f(x) no es necesariamente im-
par. Si conocemos f(x) solamente para 0 x L, entonces podemos
extenderla como una funcion impar, obteniendo otra funcion llamada
extension impar de f(x). La extension impar de f(x) esta denida
para L x L, y podemos aplicar el Teorema de Convergencia de
la Serie de Fourier (si la extension impar de f(x) es suave a trozos, lo
que a su vez requiere que f(x) sea suave a trozos en 0 x L). Mas
a un, como la extension impar de f(x) es ciertamente impar, su serie de
Fourier solo tiene senos. Llamemos

f(x) la extension impar de f(x),
por lo tanto

f(x) =

n=1
B
n
Sen
nx
L
,
donde los B
n
estan dados por (4). Nosotros estamos interesados sola-
mente en lo que ocurre entre x = 0 y x = L. En esa region f(x) es
identica a su extension impar, as
(7) f(x) =

n=1
B
n
Sen
nx
L
, 0 x L
5
donde
(8) B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx.
Llamaremos a esta la Serie de Fourier de Senos de f(x) en el
intervalo 0 x L.
Ejemplo: Encontrar la serie de Fourier de senos de la funcion:
f(x) = 100 0 x L
Comenzamos dibujando su extension impar.
La serie de Fourier de Senos de f(x) es igual a la serie de Fourier
de la extension impar de f(x). Repitamos periodicamente la extension
impar (con periodo 2L). En los puntos de discontinuidad, marcamos
la media con un . De acuerdo con el Teorema de Fourier, la serie de
Fourier de senos de 100 sera igual a 100 para 0 < x < L, pero la serie
no es igual a 100 en x = 0 ni en x = L, es decir:
(9) 100 =

n=1
B
n
Sen
nx
L
, 0 < x < L
En x = 0, la gura muestra que la serie de Fourier de Senos converge
a 0 por que al considerar la extension impar, x = 0 es un punto de
discontinuidad. Por esta misma razon la serie de Fourier de Senos
tambien converge a 0 en x = L. Estos resultados concuerdan con el
resultado de sustituir x = 0 (y x = L) en la serie innita de senos. Los
coecientes de Fourier se determinan mediante (??), esto es:
(10)
B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx
=
200
L
_
L
0
Sen
nx
L
dx =
_

_
0 n par
400
n
n impar
Este problema aparece al intentar resolver la ecuacion del calor uni-
dimensional con condiciones de contorno nulas y temperatura incial
constante igual a 100
o
:
_

_
u
t
= K

2
u
x
2
, 0 < x < L, t > 0
u(0, t) = u(L, t) = 0
u(x, 0) = 100.
6
El metodo de separacion de variables implicaba
(11) u(x, t) =

n=1
B
n
Sen
nx
L
e
K(n/L)
2
t
,
donde
100 =

n=1
B
n
Sen
nx
L
, 0 < x < L
Matematicamente, la serie de Fourier de la condicion inicial tiene
un comportamiento bastante malo en x = 0 y en x = L. De hecho,
para este problema, la situacion fsica no esta muy bien denida en
x = 0(en el instante t=0). Existe un conicto la condicion inicial y la
condicion de contorno en el punto x = 0, t = 0, esto es, la condicion
inicial (t = 0) prescribe que la temperatura es de 100
o
incluso cuando
x0, mientras que la condicion de contorno (x = 0) prescribe que
la temperatura es 0
o
incluso cuando t0. Por lo tanto, el problema
fsico tiene una discontinuidad en el punto x = 0, t = 0. En el mundo
fsico real, la temperatura no puede ser discontinua. Hemos introducido
una discontinuidad en nuestro modelo matematico al hacer pasar in-
stant aneamente la barra (en t = 0) de 100
o
a 0
o
en el punto x = 0.
Esta operacion requiere en la practica un tiempo positivo, con lo que
la temperatura es en realidad continua. No obstante, la transicion de
0
o
a 100
o
ocurrira en tiempo y distancia extremadamente peque nos.
La serie de Fourier de senos de 100
o
es una funcion matematica ex-
tra na, pero tambien lo es la aproximaci on fsica para la que se necesita.
2.1. Fen omeno Gibbs. Para naliza con las series de Fourier y sus
aplicaciones, consideremos la serie de Fourier de senos de f(x) = 100
o
,
(12) 100 =
400

_
Sen(x/L)
1
+
Sen(3x/L)
3
+
Sen(5x/L)
5
+ ...
_
Nos preguntamos Sera valida la formula (12)?. Ciertamente no es
valida en x = 0 ni tampoco en x = L, ya que en x = 0 todos los
terminos de la serie se anulan, sin embargo el Teorema de la conver-
gencia de la Serie de Fourier nos asegura que es valida en todo punto
excepto en los dos extremos.
Por ejemplo, para x =
L
2
vemos que
100 =
400

_
1
1
3
+
1
5

1
7
+
1
9
...

4
=
_
1
1
3
+
1
5

1
7
+
1
9
...

Que es la famoso Formula de Euler para . La validez de la serie

de Fourier de senos para otros valores de x, 0 < x < L puede tambien
7
sorprendernos. Dibujemos el lado izquierdo y el lado derecho de la
serie.
Para n = 1, tenemos que el primer termino de la serie es
400

Sen(x/L)
1
,
cuya graca es
0
0.2
0.4
0.6
0.8
1
1.2
0.5 1 1.5 2 2.5 3
theta
Esta no es una buena aproximacion para la constante 100.
Para n = 3, tenemos que los dos primeros terminos de la serie son
400

_
Sen(x/L)
1
+
Sen(3x/L)
3
_
, cuya graca es:
8
0
0.2
0.4
0.6
0.8
1
1.2
0.5 1 1.5 2 2.5 3
theta
Observemos que la suma de los dos primeros terminos no nulos ya
parecen constituir una mejora considerable con respecto del primer
termino.
Si continuamos sumando, podemos observar una mejor aproximaci on,
esto es:
1,2
1
0,8
0,6
0,4
0,2
0
theta
3 2,5 2 1,5 1 0,5 0
Para n sucientemente grande, vemos que parece razonable creer que
la serie innita converge a 100
o
para 0 < x < L
9
1,2
0,4
1
0,6
0,8
0,2
theta
3 2,5 2 1 0
0
1,5 0,5
Los lugares donde la suma nita diere mas del valor de 100
o
, estan
cada vez mas cerca de x = 0 y x = L seg un el n umero de terminos
aumenta. Para una cantidad nita de terminos de la serie, la solucion
comienza en cero en x = 0 y se dispara por encima de 100, esto es lo
que llamamos el exceso primario. La serie sera mas y mas precisa
seg un aumentemos el n umero de terminos de la serie. Podramos es-
perar que el exceso desapareciera cuando n, pero por el contrario,
se forma un pico en los puntos de maximo exceso, donde la solucion no
parece que se aproxime a 100. Este exceso es un ejemplo del llamado
Fenomeno de Gibbs. En general (para n grande), existe un ex-
ceso (y su correspondiente defecto) de aproximadamente el 9% de la
discontinuidad.
3. Serie de Fourier de Cosenos.
Al igual que para funciones impares, tenemos ideas similares para
funciones pares, en las que f(x) = f(x). Desarrollaremos los resulta-
dos basicos, los coecientes de la serie de Fourier que acompa nan a la
funcion seno son ceros para una funcion par, esto es,
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx = 0,
ya que en este caso f(x)Sen
nx
L
es impar. La serie de Fourier de una
funcion par es una representaci on de f(x) mediante una suma formada
10
exclusivamente por funciones pares,
(13) f(x) = A
o
+

n=1
A
n
Cos
nx
L
.
Los coecientes de los cosenos se pueden evaluar utilizando informacion
sobre f(x) solo entre 0 < x < L, ya que:
A
o
=
1
2L
_
L
L
f(x) dx =
1
L
_
L
0
f(x) dx,
mientras que
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx =
2
L
_
L
0
f(x)Cos
nx
L
dx.
Normalmente la funcion dada f(x) no es una funcion par, usual-
mente, al tratar de representar una funcion arbitraria f(x) usando una
serie innita de funciones Cos
nx
L
, que son las autofunciones del prob-
lema de contorno:
_

_
d
2

dx
2
=
dphi
dx
(0) =
dphi
dx
(L) = 0
queramos que
f(x) =

n=0
A
n
Cos
nx
L
, 0 < x < L
para poder relacionara con esta serie de Fourier simplemente introduci-
mos La extension par de f(x), esto es,

f(x) =

f(x) x[L, L]

f(x) = f(x) x[0, L]

Ademas si f(x) es suave a trozos en 0 x L, entonces

f(x) tambien
lo sera en L x L, por lo que podemos aplicar el Teorema de con-
vergencia de la Serie de Fourier a la extension par de f(x), por lo que

f(x)

n=0
Cos
nx
L
, L x L
Ejemplo: Consideremos la serie de Fourier de cosenos de la
funcion:
f(x) = x,
cuya graca es:
11
Notemos que f(x) es impar. Consideremos a f(x) solo en el intervalo
0 x L y extendemos de forma para:

f(x) =
_
_
_
x, 0 x L
x, L x < 0
La serie de Fourier de cosenos no tiene discontinuidades de salto, por
lo que podemos escribir
x =

n=0
A
n
Cos
nx
L
,
donde
A
0
=
1
L
_
L
o
xdx =
L
2
A
n
=
2
L
_
L
o
xCos
nx
L
dx =
2L
(n)
2
[Cosn 1] .
Parece entonces evidente que cualquier funcion f(x) (que sea suave a
trozos) se puede representar a la vez como una serie de Fourier de senos
y como una serie de Fourier de cosenos. Elegiremos el Tipo de serie
dependiendo de las condiciones de contorno si el problema surge en el
contexto de resolver una ecuacion en derivadas parciales utilizando el
metodo de separacion de variables. Tambien es posible utilizar serie
de Fourier que incluya senos y cosenos. Por ejemplo, consideremos las
gracas de la serie de Fourier, Serie de Fourier de senos y Serie de
Fourier de cosenos de la funcion
La Serie de Fourier de f(x) se dibuja repitiendo este esquema con
periodo 2L.
La serie de Fourier de senos o de cosenos se obtiene dibujando primero
la extension par o impar de f(x) antes de repetir el esquema por peri-
odicidad, por lo que
Observemos que para L x L solo la serie de Fourier de f(x) es
realmente igual a f(x). Sin embargo, en los tres casos la Serie es igual
a f(x) en el intervalo 0 x L.
4. Parte par e impar de una funci

on.
Consideremos la serie de Fourier de una funcion f(x) que no es nece-
sariamente par o impar, esto es,
(14) f(x)A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
,
12
donde
A
0
=
1
2L
_
L
L
f(x)dx
A
n
=
1
L
_
L
L
f(x)Cos
nx
L
dx
B
n
=
1
L
_
L
L
f(x)Sen
nx
L
dx.
Observemos que una serie de Fourier es la suma de una serie de
cosenos y una serie de senos, pero por ejemplo,

n=1
B
n
Sen
nx
L
,
no es en general la serie de Fourier de senos de f(x), por que los coe-
cientes, no son en general los mismos coecientes de una serie de Fourier
de senos (
2
L
_
L
o
f(x)Sen
nx
L
dx), por lo que esta serie debera ser por
si misma la serie de Fourier de senos de alguna funcion. Busquemos
dicha funcion.
La ecuacion (14) muestra que f(x) esta representada como una suma
de una funcion par y una funcion impar. esto es una propiedad general
de las funciones, pues para cualquier funcion es obvio que:
(15)
f(x) =
1
2
f(x) +
1
2
f(x) +
1
2
f(x)
1
2
f(x)
=
1
2
[f(x) + f(x)] +
1
2
[f(x) f(x)] .
Llamenos
f
p
(x) =
1
2
[f(x) + f(x)] ,
entonces
f
p
(x) =
1
2
[f(x) + f(x)] = f
p
(x),
por lo que decimos que f
p
(x) es una funcion par que llamaremos parte
par de f(x). Si llamamos
f
i
(x) =
1
2
[f(x) f(x)] ,
entonces
f
i
(x) =
1
2
[f(x) f(x)] = f
i
(x),
por lo que f
i
(x) es una funcion impar que llamaremos parte impar
de f(x).
13
De esta manera, cualquier funcion se escribe como la suma de una
funcion par f
p
(x) y una funcion impar f
i
(x). Por ejemplo, si
f(x) =
1
1 + x
,
entonces
1
1 + x
=
1
2
_
1
1 + x
+
1
1 x
_
+
1
2
_
1
1 + x

1
1 x
_
=
1
1 x
2

x
1 x
2
.
Esto es la suma de una funcion par, f
p
(x) =
1
1 x
2
y una impar
f
i
(x) =
x
1 x
2
. De esta manera, la serie de Fourier de f(x) es igual a
la suma de la serie de Fourier de f
p
(x) y la serie de Fourier de f
i
(x).
5. Series de Fourier continuas.
El teorema de convergencia de las series de Fourier muestran que la
serie de Fourier de f(x) puede ser una funcion diferente a f(x). sin
embargo, en el intervalo de interes, ambas funciones coinciden excepto
en los pocos puntos en que la extension periodica de f(x) tiene una dis-
continuidad de salto. La serie de senos (y de cosenos) tienen el mismo
comportamiento, pero en lugar de f(x) hay que considerar la extension
impar (o par) de la funcion. Ademas de los puntos de discontinuidad
de salto de f(x), las distintas extensiones de la funcion puede intro-
ducir otras discontinuidades de salto. Para algunos ejemplos expuestos
anteriormente algunas veces la serie resultante no tiene ninguna dis-
continuidad de salto. En estos casos, la serie de fourier de f(x) sera
igual a f(x) en el intervalo de interes. En ese caso, la serie de Fourier
misma sera una funcion continua.
Merece la pena resumir las condiciones bajo las cuales una serie de
Fourier es continua.
Para una funcion f(x) suave a trozos, su serie de Fourier
es continua en L x L si y solo si f(x) es continua y
f(L) = f(L).
Es necesario que f(x) sea continua; de otro modo habra discontinuidades
de salto (y la serie de Fourier de f(x) convergera a la media). En
la gura ilustraremos el signicado de la condicion f(L) = f(L),
mostrando dos funciones continua, de las cuales solo una de ellas
satisface f(L) = f(L).
14
La condicion f(L) = f(L) garantiza que el esquema repetido periodicamente
(con periodo 2L) sea continua en los puntos extremos.
Consideremos la serie de Fourier de cosenos de f(x) (funcion que ya
ha sido extendida de forma par). Si f(x) es continua, Es continua la
serie de Fourier de cosenos? Un ejemplo que es continua en 0 x L
se muestra en la gura. en primer lugar, extendemos f(x) de forma
par y luego periodicamente. Vemos facilmente que:
Para una funcion f(x) suave a trozos, la serie de Fourier
de cosenos de f(x) es continua en 0 x L si y solo si f(x)
es continua.
Observemos que no son necesarias condiciones adicionales sobre f(x)
para que la serie de cosenos sea continua (ademas de que f(x) sea
continua). Una razon para este resultado es que si f(x) es continua
en 0 x L, entonces la extension par sera continua en L x L.
Notemos tambien que la extension par toma el mismo valor en L.
Por lo tanto, la extension periodica sera automaticamente continua en
los puntos extremos.
Comparemos este resultado con lo que ocurre con una serie de Fourier
de senos. Consideremos cuatro ejemplos, todos ellos con funciones
continuas en 0 x L.
Si f(0)=0, entonces la extension impar de f(x) tendra una discon-
tinuidad de salto en x = 0, como se ilustra en las guras (a) y (c). Si
f(L)=0, entonces la extension impar en x = L tendra signo contrario
de f(L), con lo que la extension periodica no sera continua en los pun-
tos nales si f(L)=0 como puede verse en la gura (a) y (b). Por lo
que podemos concluir que
Para una funcion f(x) suave a trozos, la serie de Fourier
de senos de f(x) es continua en 0 x L si y solo si f(x) es
continua y se tiene f(0) = 0 y f(L) = 0.
6. Diferenciaci

on t

ermino a t

ermino de la Series de
Fourier.
Al resolver ecuaciones en derivadas parciales por el metodo de sep-
aracion de variables, las condiciones de contorno homogeneas algunas
veces sugieren que la solucion deseada es o bien una serie innita de
senos o de cosenos. Por ejemplo, consideremos la ecuacion del calor uni-
dimensional con condiciones de contorno cero. Como antes, queremos
15
resolver el problema de valor inicial
(16)
_

_
u
t
= k

2
u
x
2
,
u(0, t) = u(L, t) = 0,
u(x, 0) = f(x).
Por el metodo de separacion de variables, combinado con el principio de
superposicion (tomando una combinaci on lineal nita de soluciones),
sabemos que la funcion
u(x, t) =

N
n=1
B
n
Sen
nx
L
e
k(n/L)
2
t
,
satisface la ecuacion en derivadas parciales y las dos condiciones de con-
torno homogeneas. Para cumplir las condiciones iniciales necesitamos
una serie innita. Resuelve la serie
u(x, t) =

n=1
B
n
Sen
nx
L
e
k(n/L)
2
t
nuestro problema?. La teora de series de fourier de senos demuestra
que los coecientes de Fourier B
n
se pueden determinar para que se
cumpla cualquier condicion inicial (suave a trozos), tenemos
B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx.
Para ver si la serie innita cumple realmente la ecuacion en derivadas
parciales, sustituimos (6) en (16). Si la serie de Fourier innita se puede
derivar termino a termino, entonces
u
t
(x, t) =

n=1
k(
n
L
)
2
B
n
Sen
nx
L
e
k(n/L)
2
t
y

2
u
x
2
(x, t) =

n=1
(
n
L
)
2
B
n
Sen
nx
L
e
k(n/L)
2
t
Por lo tanto, la serie innita de Fourier obtenida por el metodo de
separacion de variables cumple la ecuacion del calor (
u
t
= k

2
u
x
2
) si es
valida la derivaci on termino a termino de una serie de Fourier.
16
Desafortunadamente las series innitas (incluso las convergentes) no
siempre se pueden derivar termino a termino, es decir, no siempre es
cierto que
d
dx

n=1
C
n
u
n
(x) =

n=1
C
n
du
n
dx
;
el intercambio de operaciones entre la diferenciacion y la suma innita
no siempre esta justicada. Incluso para la serie de Fourier, la diferen-
ciacion termino a termino no siempre es valida. Para Ilustrar la di-
cultad de derivara termino a termino, consideremos la serie de Fourier
de senos (en el intervalo 0 x L), la cual puede expresarse como
x = 2

n=1
L
n
(1)
n+1
Sen
nx
L
, en 0 x L.
Si derivamos la funcion del lado izquierdo obtenemos la funcion 1. Sin
embargo, si derivamos formalmente termino a termino la funcion de la
derecha llegamos a
2

n=1
(1)
n+1
Cos
nx
L
,
que es una serie de cosenos, aunque no es la serie de cosenos de f(x) = 1
(la serie de Fourier de cosenos de 1 es simplemente 1). Tenemos, por
tanto, un ejemplo en el que no podemos derivara termino a termino.
Incluso la serie resultante no converge en ning un sitio, ya que el termino
n-esimo no tiende a cero.
Esta dicultad surge siempre que la serie de Fourier de f(x) tiene
una discontinuidad de salto. La derivacion termino a termino no esta
justicada en esta situacion. El resultado valido es el siguiente:
Una serie de Fourier que es continua se puede derivara
termino a termino si f

(x) es suave a trozos.

El resultado de la derivacion termino a termino es la serie de Fourier
de f

(x) que puede no ser continua. Resultados similares para las series
de Fourier de senos y cosenos son de uso mucho mas frecuente al resolver
ecuaciones en derivadas parciales.
Para las series de Fourier de cosenos se tiene:
Si f

(x) es suave a trozos, entonces si la serie de Fourier

de cosenos de f(x) es continua, se puede derivara termino
a termino.
El resultado de la derivacion termino a termino es la serie de Fourier
de senos de f

(x), que puede no ser continua. Recordemos que f(x)

17
solo necesita ser continua para que su serie de Fourier de cosenos sea
continua. Por tanto, este Teorema se puede enunciar de la siguiente
forma alternativa:
Si f

(x) es suave a trozos, entonces si la serie de Fourier

de cosenos de una funcion continua f(x) se puede derivar
termino a termino.
Apliquemos estos enunciados a la serie de Fourier de cosenos de f(x):
(17) f(x) =

n=1
A
n
Cos
nx
L
, 0 x L
donde el signo = signica que la serie innita converge a f(x) para
todo x (0 x L) ya que f(x) es continua. Matematicamente, los
terminos anteriores establecen que la derivacion termino a termino es
valida.
(18) f

(x)

n=1
_
n
L
_
A
n
Sen
nx
L
,
donde el signo quiere decir aqu que se tiene la igualdad, donde la
serie de Fourier de senos de f

(x) es continua, y que la serie de senos

de f

(x) es discontinua.
Ejemplo: Consideremos la serie de Fourier de coseno de x
(19) x =
L
2

4L

n impar
1
n
2
Cos
nx
L
, 0 x L
Notemos que esta serie es continua para 0 x L, por lo que uti-
lizamos el signo = en (19). La derivada de esta serie de Fourier de
coseno es la serie de Fourier de f(x) = 1.
La serie de Fourier de senos de f(x) = 1 se puede obtener derivando
termino a termino la serie de Fourier de cosenos de f(x) = x suponiendo
que la derivacion termino a termino de (19) es valida como enunciamos,
se sigue que
1
4

n impar
1
n
Sen
nx
L
,
que es efectivamente correcta.
Un resultado similar es valida para las series de Fourier de senos
Para las series de Fourier de cosenos se tiene:
Si f

(x) es suave a trozos, entonces si la serie de Fourier

de senos de f(x) es continua, se puede derivar termino a
termino.
Sin embargo, si f(x) es continua, entonces la serie de Fourier de
senos es continua solo si f(0) = 0 y f(L) = 0. Por tanto, debemos ser
18
cuidadosos al derivar termino a termino una serie de Fourier de senos.
En particular, Para las series de Fourier de cosenos se tiene:
Si f

(x) es suave a trozos, entonces si la serie de Fourier

de senos de una funcion continua, solo se puede derivar
termino a termino si f(0) = 0 y f(L) = 0.
Demostracion: Las demostraciones de estos teoremas son todas
bastante similares. Probaremos la validez de la derivaci on termino a
termino de la serie de Fourier de senos de una funcion f(x) continua:
(20) f(x)

n=1
B
n
Sen
nx
L
.
Habra igualdad en (20) solo si f(0) = f(L) = 0. Si f

(x) es suave a
trozos, entonces f

(x) tiene una serie de Fourier de cosenos, esta es

(21) f

(x)A
o
+

n=1
A
n
Cos
nx
L
.
Esta serie no converge a f(x) en los puntos de discontinuidad a f

(x).
Si podemos vericar que
f

(x)

n=1
_
n
L
_
B
n
Cos
nx
L
,
es decir, si A
o
= 0 y A
n
=
_
n
L
_
B
n
, habremos demostrado que una
serie de Fourier de seno se puede derivar termino a termino. Los coe-
cientes de la serie de Fourier de cosenos se obtienen a partir de (21).
Si integramos por parte, obtenemos
(22) A
o
=
1
L
_
L
0
f

(x)dx =
1
L
[f(L) f(0)] ,
(n=0)
(23)
A
n
=
2
L
_
L
0
f

(x)Cos
nx
L
dx =
2
L
_
f(x)Cos
nx
L
|
x=L
x=0
+
n
L
_
L
0
f(x)Sen
nx
L
dx
_
.
Pero, seg un (20), B
n
es el coeciente de la serie de Fourier de senos de
f(x),
B
n
=
2
L
_
L
0
f(x)Sen
nx
L
dx,
y por lo tanto, para n=0,
(24) A
n
=
n
L
B
n
+
2
L
[(1)
n
f(L) f(0)] .
19
Vemos entonces comparando los coecientes de la serie de Fourier de
cosenos que la serie de Fourier de senos se puede derivar termino a
termino solo si se tiene a la vez f(L) = f(0) = 0 (para que A
0
= 0) y
(1)
n
f(L) f(0) = 0 (para que a
n
= (n/L) B
n
). Ambas condiciones
se cumplen solo si
f(0) = f(L) = 0,
que son exactamente las condiciones para que la serie de Fourier de
senos de una funcion continua sea continua. por tanto, hemos com-
pletado la pruebe. Sin embrago, esta demostracion nos ha dado mas
informacion. hemos obtenido la formula para derivar la serie de Fourier
de senos de una funcion continua cuando la serie no es continua. Ten-
emos que:
Si f

(x) es suave a trozos, entonces la serie de Fourier de

senos de una funcion continua f(x),
f(x)

n=1
B
n
Sen
nx
L
,
no se puede, en general, derivar termino a termino. Sin
embargo,
(25)
f

(x)
1
L
[f(L) f(0)]+

n=1
_
n
L
B
n
+
2
L
((1)
n
f(L) f(0))
_
Cos
nx
L
En esta demostracion puede parecer que nunca hemos necesitado que
f(x) sea continua. Sin embargo, utilizamos integraci on por partes para
obtener (21). en el estudio habitual del calculo, la integracion por
partes se establece como valida si u(x) y v(x) y sus derivadas son
continuas.
Ejemplo: Consideremos la serie de Fourier de senos de f(x) = x,
(26) x2

n=1
L
n
(1)
n+1
Sen
nx
L
, en 0 x L.
Ya sabemos que la serie de Fourier de cosenos de (d/dx)x = 1 no se
obtiene derivando termino a termino (26), ya que f(L)=0. Sin em-
bargo, podemos aplicar (25) ya que f(x) es continua (y f

(x) es suave
a trozos). Observando que f(0) = 0, f(L) = L y
n
L
B
n
= 2(1)
n+1
, se
sigue que la serie de Fourier de cosenos de (df/dx) es
df
dx
1
20
La funcion constante 1 es exactamente la serie de Fourier de cosenos de
df/dx, ya que f = x implica que df/dx = 1. por tanto, el lado derecho
de (25) nos da la expresion correcta de la serie de Fourier de cosenos de
f

(x) cuando conocemos la serie de Fourier de senos de f(x), incluso si

f(0)=0 y/o f(L)=0
7. M

etodo de desarrollo en autofunciones.

Vemos como nuestro resultado sobre las condiciones bajo las que una
serie de Fourier se puede derivar termino a termino se puede aplicar en
nuestro estudio de ecuaciones en derivadas parciales. Consideremos la
ecuacion del Calor
u
t
= k

2
u
x
2
,
con condiciones de contorno nulas en x = 0 y x = L. Demostraremos
que ciertamente
u(x, t) =

n=1
B
n
Sen
nx
L
e
k(n/L)
2
t
,
es la representaci on en serie innita de la solucion de este problema
utilizando un esquema alternativo para obtener esta solucion, conocido
como el metodo de desarrollo en autofunciones, cuya impor-
tancia esta en que tambien se puede usar cuando hay fuentes o las
condiciones de contorno no son homogeneas. Comenzaremos desarrol-
lando la solucion desconocida u(x, t), en terminos de las autofunciones
del problema (con condiciones de contorno homogeneas). En este ejem-
plo, las autofunciones son Sen
nx
L
, lo que sugiere una serie de Fourier
de senos para cada tiempo
(27) u(x, t)

n=1
B
n
(t)Sen
nx
L
e
k(n/L)
2
t
los coecientes de la serie de Fourier de senos, B
n
, dependeran del
tiempo,B
n
(t). La ecuacion (27) es valida si u(x, t) es suave a trozos;
de hecho, nuestra formulaci on fsica requiere mas, a saber, que u(x, t)
y u/x sean funciones continuas de x. Mas a un, sera conveniente
suponer que
2
u/x
2
es por lo menos suave a trozos.
La condicion inicial [u(x, 0) = f(x)] se cumple si
(28) f(x)

n=1
B
n
(0)Sen
nx
L
,
21
lo cual determina los coecientes de la serie de Fourier de senos en el
instante inicial
(29) B
n
(0) =
2
L
_
L
0
f(x)Sen
nx
L
.
Lo que resta investigar es si la representacion en serie de Fourier de
senos en el instante inicial
(30) B
n
(0) =
2
L
_
L
0
f(x)Sen
nx
L
dx.
Lo que resta investigar es si la representaci on en serie de fourier de
senos de u(x, t), (27) satisface la ecuacion del calor u/t = k
2
u/x
2
.
Para estudiar esto debemos derivar la serie de Fourier de senos. Es
aqu donde nos seran utiles los resultados sobre diferenciacion termino
a termino.
En primer lugar necesitamos calcular dos derivadas respecto a x. Si
u(x, t) es continua, entonces la serie de Fourier de senos de u(x, t) se
puede derivara termino a termino si u(0, t) = 0 y u(L, t) = 0. Como
estos son exactamente las condiciones de contorno sobre u(x, t) se sigue
de (27) que
8. Integraci

on T

ermino a T

ermino de la Serie de Fourier

Al hacer manipulaciones matematicas con series innitas debemos
recordar que algunas propiedades de las series nitas no son ciertas
para series innitas. En particular, debemos ser especialmente cuida-
dosos al derivar termino a termino una serie de Fourier innita. El
siguiente teorema sin embargo, nos permite integrar series de Fourier
sin precauciones.
Teorema: Una serie de Fourier de una funcion f(x) suave a
trozos siempre se puede integrar termino a termino, y el resultado es
una serie innita convergente, que siempre converge a la integral
de f(x) para L x L (incluso si la serie de Fourier original tiene
discontinuidades de salto).
Conviene se nalar que la nueva serie formada al integrar termino a
termino es continua. Sin embargo, la nueva serie puede no ser una serie
de Fourier.
Para comprobar esta armacion, supongamos que f(x) es suave a
trozos y, por tanto, tiene una serie de Fourier en el intervalo L x L
no necesariamente continua
(31) f(x)A
o
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
22
Probemos que podemos integrar este resultado termino a termino
_
x
L
f(t)dtA
o
(x +L) +

n=1
A
n
_
x
L
Cos
nt
L
dt +B
n
_
x
L
Sen
nt
L
dt
La integracion indicada nos da
_
x
L
f(t)dtA
o
(x+L)+

n=1
_
LA
n
n
Sen
nt
L
+
LB
n
n
_
Cosn Cos
nx
L
_
_
En realidad el enunciado anterior es valido con un signo =. Si la
integraci on termino a termino desde L hasta x de una serie de Fourier
es valida, entonces cualquier integraci on denida es valida, ya que
_
b
a
dx =
_
b
L
dx
_
a
L
dx
Ejemplo: La integracion termino a termino tiene algunas apli-
caciones interesantes. Recordemos que la serie de Fourier de senos de
f(x) = 1 esta dada por
(32) 1
4

_
Sen
x
L
+
1
3
Sen
3x
L
+
1
5
Sen
5x
L
+ . . .
_
donde usamos el signo ya que (32) es una igualdad solo para 0 <
x < L. La integraci on termino a termino desde 0 hasta x da lugar a
(33)
x
4L

2
_
1 +
1
3
2
+
1
5
2
+ . . .
_

4L

2
_
Cos
x
L
+
1
3
2
Cos
3x
L
+
1
5
2
Cos
5x
L
+ . . .
_
0 x L
Inmediatamente nos damos cuenta de que (33) debera ser la serie de
Fourier de cosenos de la funcion x que se obtuvo integrado la serie de
Fourier de senos de f(x) = 1. Sin embargo, aparece una serie innita
de constantes en (33); se trata del termino constante de la serie de
Fourier de cosenos de x. Podemos evaluar esa serie innita de esta
manera
4L

2
_
1 +
1
3
2
+
1
5
2
+ . . .
_
=
1
L
_
L
0
xdx =
L
2
.
23
Por tanto, obtenemos la forma usual de la serie de Fourier de cosenos
de x,
(34)
x
L
2

4L

2
_
Cos
x
L
+
1
3
2
Cos
3x
L
+
1
5
2
Cos
5x
L
+ . . .
_
0 x L
El proceso de obtener series nuevas a partir de otras anteriores se puede
continuar. Integrando (34) desde 0 hasta x obtenemos
(35)
x
2
2
=
L
2
x
4L
2

3
_
Sen
x
L
+
1
3
3
Sen
3x
L
+
1
5
3
Sen
5x
L
+ . . .
_
0 x L
Este ejemplo ilustra que integrando una serie de Fourier termino
a termino no necesariamente obtenemos otra serie de Fourier.
Sin embrago, (35) se puede entender en dos sentidos:
1. Como la Serie de Fourier de senos de
x
2
2
(
L
2
)x.
2. O bien como la serie de Fourier de senos de
x
2
2
, donde necesi-
tamos conocer primero la serie de Fourier de senos de x.
Un proceso alternativo es calcular la integral indenida. En este
caso debemos incluir una constante indenida y luego calcularla. Por
ejemplo, reconsideremos la serie de Fourier de senos de f(x) = 1. ha-
ciendo una integraci on indenida termino a termino obtenemos la serie
de Fourier de cosenos de x,
x = c
4L

2
_
Cos
x
L
+
1
3
2
Cos
3x
L
+
1
5
2
Cos
5x
L
+ . . .
_
.
La constante de Integraci on no es arbitraria, se debe evaluar. Aqu c
es de nuevo eltermino constante de la Serie de Fourier de cosenos de
x
c =
1
L
_
L
0
xdx =
L
2
.
Demostracion de la Integracion de Series de Fourier.
Sea
(36) F(x) =
_
x
L
f(t)dt.
24
Esta integral es una funcion continua de x, ya que f(x) es suave a
trozos. F(x) tiene una serie de Fourier continua solo si F(L) = F(L)
(en otro caso, recordemos que la naturaleza periodica de las series de
Fourier implica que la serie de Fourier no converge a F(x) en los puntos
extremos x = L). Sin embargo notemos que seg un la denicion (36)
F(L) = 0
y
F(L) =
_
L
L
f(t)dt = 2LA
o
.
Por tanto, en general F(x) no tiene una serie de Fourier continua. Sin
embargo, consideremos la lnea recta que conecta el punto F(L) con
F(L), esta es,
y = A
o
(x + L).
Si denimos G(x) como la diferencia entre F(x) y la lnea recta,
G(x) = F(x) A
o
(x + L),
sera cero en ambos extremos, x = L,
(37) G(L) = G(L) = 0,
y G(x) tambien sera continua. Por tanto, G(x) cumple las propiedades
que hacen que su serie de Fourier realmente sea igual a ella:
(38) G(x) = A
0
+

n=1
A
n
Cos
nx
L
+ B
n
Sen
nx
L
.
Estos coecientes de Fourier pueden calcularse como
A
n
=
1
L
_
L
L
[F(x) A
o
(x + L)] Cos
nx
L
dx (n=0)
El termino x se puede eliminar ya que es impar (es decir,
_
L
L
xCos
nx
L
dx =
0). La expresion resultante se puede integrar por partes como sigue:
u = F(x) A
o
L dv = Cos
nx
L
dx
du =
dF
dx
(x)dx = f(x)dx, v = dfracLnSen
nx
L
,
25
obteniendose,
(39)
A
n
=
1
L
[F(x) A
o
L]
LSen
nx
L
n
|
L
L

L
n
_
L
L
f(x)Sen
nx
L
dx
=
LB
n
n
,
donde observamos que los B
n
son los coecientes de Fourier de senos
de f(x). De un modo similar, se puede demostrar que
B
n
=
LA
n
n
.
A
0
se puede calcular de forma distinta (el metodo anterior no fun-
cionara). ya que G(L) = 0, y la serie de Fourier de G(x) es convergente
puntualmente, de (38) se sigue que
0 = A
0
+

n=1
A
n
Cosn = A
0

n=1
LB
n
n
Cosn,
ya que A
n
=
LB
n
n
. Luego hemos demostrado a partir de (38) que
(40)
F(x) = A
0
(x+L)+

n=1
_
LA
n
n
Sen
nx
L
+
LB
n
n
_
Cosn Cos
nx
L
_
_
que es exactamente el resultado de la integracion simple termino a
termino. Sin embargo, observemos que (40) no es la serie de Fourier
de F(x), por que aparece A
0
x. No obstante, (40) es valida. As
pues, hemos justicado la integraci on termino a termino de la serie
de Fourier.
9. Convergencia de la Serie de Fourier.
Lema de Riemann - Lebesgue. Sea f : [a, b]R una funcion
integrable. Entonces
lim

_
b
a
f(x)Sen(x)dx = lim

_
b
a
f(x)Cos(x)dx = 0.
Demostracion Demostremos que
lim

_
b
a
f(x)Sen(x)dx = 0.
El otro lmite es analogo.
Estudiemos tres casos.
26
Caso I: Sea f una funcion caracterstica de un intervalo [c, d], es
decir.
f(x) =
_
_
_
1, x [c, d]
0, x/ [c, d]
En este caso
_
b
a
f(x)Sen(x)dx =
_
d
c
Sen(x)dx
=
Cos(x)

d
c
=
1

[Cos(c) Cos(d)] ,
como la funcion cosenos es acotada, esta ultima expresion tiende a cero
si lim

.
Caso II: Si f es una funcion escalonada, f puede escribirse como
una combinacion lineal de un n umero nito de funciones caractersticas
de intervalos contenidos en [a, b], por linealidad de la Integral el resul-
tado para este caso se obtiene inmediatamente del Caso I .
Caso III: Caso general, sea f integrable en [a, b]. Dado > 0,
existe una funcion escalonada h, denida en [a, b], tal que:
_
b
a
|f(x) h(x)| dx <

2
.
Por lo demostrado en el caso anterior, existe
o
R tal que si >
o
,
entonces

_
b
a
h(x)Sen(x)dx

<

2
.
Por lo tanto si >
o
, tenemos

_
b
a
f(x)Sen(x)dx

_
b
a
(f(x) h(x) + h(x))Sen(x)dx

_
b
a
(f(x) h(x))Sen(x)dx

_
b
a
h(x)Sen(x)dx

_
b
a
|f(x) h(x)| dx +

_
b
a
h(x)Sen(x)dx

<

2
+

2
=
27
Corolario 1. Sea f : RR una funcion periodica de periodo 2L, in-
tegrable en el intervalo [-L,L]. Si {A
n
} y {B
n
} son sus coecientes de
Fourier, entonces
lim
n
A
n
= lim
n
B
n
= 0.
A continuaci on probaremos una formula se sumacion y aplicaremos
el Lema de Riemann - Lebesgue al calculo de una integral denida
que no es posible obtener atraves del Teorema Fundamental del Calculo
Proposicion 1. Si x R, tal que Sen(
x
2
)=0 y n un n umero natural,
entonces:
1
2
+ Cosx + Cos2xs + . . . + Cosnx =
Sen((n +
1
2
)x)
2Sen(
x
2
)
.
Demostraci on:
_
2Sen(
x
2
)
_
_
1
2
+ Cosx + Cos2xs + . . . + Cosnx
_
=
= Sen(
x
2
) + 2Sen(
x
2
)Cosx + + 2Sen(
x
2
)Cosnx
Pero
2Sen(
x
2
)Coskx = Sen(
x
2
kx) + Sen(
x
2
+ kx)
= Sen((k
1
2
)x) + Sen((k +
1
2
)x)
Por lo tanto
_
2Sen(
x
2
)
_
_
1
2
+ Cosx + Cos2xs + . . . + Cosnx
_
=
= Sen(
x
2
) Sen(
x
2
) + Sen(
3x
2
) Sen(
3x
2
) + Sen((n
1
2
)x) + Sen((n +
1
2
)x)
= Sen((n +
1
2
)x)
Teorema 1 (Teorema de Convergencia de las Series de Fourier). Si
f(x) es suave a trozos en el intervalo x , entonces la serie
de Fourier de f(x) converge
1-. A la extension periodica de f(x), donde la extension periodica
sea continua.
2-. A la media de los dos lmites laterales
1
2
_
f(x
+
) + f(x

,
28
donde la extension periodica tenga una discontinuidad de
salto
Demostraci on: Sea {S
n
} la sucesion de sumas parciales de la Serie
de Fourier de f(x), es decir,
S
n
(x) = A
0
+

n
k=1
A
k
Cos(kx) + B
k
Sen(kx),
donde
A
0
=
1
2
_

f(x)dx,
A
n
=
1

f(x)Cos(kx)dx,
B
n
=
1

f(x)Sen(kx)dx.
Sustituyendo los coecientes en (9), tenemos
S
n
(x) =
1
2
_

f(t)dt +

n
k=1
_
1

f(t)Cos(kt)dt
_
Coskx
+
_
1

f(t)Sen(kt)dt
_
Senkx
=
1

f(t)
_
1
2
+

n
k=1
CosktCoskx + SenktSenkx
_
dt
=
1

f(t)
_
1
2
+

n
k=1
Cos (k(t x))
_
dt
Usando la Proposicion anterior, tenemos
S
n
(x) =
1
2
_

f(t)
Sen((n +
1
2
)(t x))
Sen(
(tx)
2
)
dt
Haciendo el cambio de variable = t x, obtenemos
S
n
(x) =
1
2
_
x
x
f(x + )
Sen((n +
1
2
))
Sen(

2
)
dt,
puesto que f(x) es una funcion periodica, podemos escribir
S
n
(x) =
1
2
_

f(x + )
Sen((n +
1
2
))
Sen(

2
)
dt.
29
Llamemos
D
n
(t) =
Sen((n +
1
2
)t)
2Sen(
t
2
)
,
conocido como el n ucleo de Dirichlet, la cual es una sucesion de fun-
ciones {D
n
}. Por lo que (9) puede escribirse como
S
n
(x) =
_

f(x + )D
n
(t)dt.
Observemos que
D
n
(t) =
1
2
+
1

(Cost + Cos2t + + Cosnt) ,

de aqu tenemos que
_

D
n
(t)dt = 1,
_

0
D
n
(t)dt =
_
0

D
n
(t)dt =
1
2
.
Luego
S
n
(x)
f(x
+
) + f(x

)
2
=
_

f(x + t)D
n
(t)dt f(x
+
)
_

0
D
n
(t)dt
f(x

)
_
0

D
n
(t)dt,
=
_

0
(f(x + t) f(x
+
)) D
n
(t)dt
+
_
0

(f(x + t) f(x

)) D
n
(t)dt,
=
1
2
_

0
_
f(x + t) f(x
+
)
Sen
t
2
_
Sen((n +
1
2
)t)dt
=
1
2
_

0
_
f(x + t) f(x

)
Sen
t
2
_
Sen((n +
1
2
)t)dt.
Denamos para t [0, ],
g(t) =
f(x + t) f(x
+
)
Sen
t
2
,
claramente
g(t) =
_
f(x + t) f(x
+
)
t
_
_

_
t
Sen
t
2
_

_
,
30
de las hipotesis sobre f se sigue inmediatamente que existe lim
t0
g(t)
y si denimos este limite como g(0), entonces g es continua a trozos en
[0, ].
Por el Lema de Riemann - Lebesgue
lim
n
1
2
_

0
_

_
f(x + t) f(x
+
)
Sen
t
2
_

_
Sen((n +
1
2
)t)dt = 0.
De manera completamente analoga se prueba que
lim
n
1
2
_

0
_

_
f(x + t) f(x

)
Sen
t
2
_

_
Sen((n +
1
2
)t)dt = 0.
Por lo tanto
lim
n
S
n
(x) =
f(x
+
) + f(x

)
2
.
Ecuaciones en Derivadas Parciales.
Funciones Armonicas y Serie de Fourier. Enero 2006
(1) Utilizando los principios de maximo para la ecuacion de Laplace, probar que la
solucion de la ecuacion de Poisson
2
u, con condicion u = f(x) en la frontera,
es unica.
(2) (a) Utilizar el teorema de la divergencia para obtener una expresion alternativa para

u
2
udxdydz.
(b) Usando el apartado (a), probar que la solucion de la ecuacion de Laplace
2
= 0
(con u prescrita en la frontera)es unica.
(c) Modicar el apartado (b) si u. n = 0en la frontera.
(d) Modicar el apartado (b) si tenemos ahora u. n + hu = 0 sobre la frontera.
Demostrar que la ley de enfriamiento de Newton corresponde a h < 0.
(3) Demostrar que al temperatura que cumple la ecuacion de laplace no puede alcanzar
su mnimo en el interior.
(4) Demostrar que la ecuacion del calor retrogada,
u
t
= k

2
u
x
2
con las condiciones u(0, t) = u(L, t) = 0 y u(x, 0) = f(9), no es un problema bien
propuesto. Indicaciones: demostrar que si los datos se cambian en una cantidad
arbitrariamente peque na, por ejemplo
f(x)f(x) +
1
n
sen
nx
L
para n grande, entonces la solucion u(x,t) cambia en una cantidad grande.
(5) Dibujar la serie de Fourier de f(x) de las siguientes funciones en el intervalo Lx L.
Comparar f(x) con su serie de Fourier:
(a) f(x) = x
2
(b) f(x) = e
x
(c) f(x) =

0, x < 0
1 + x, x > 0
(d) f(x) =

x, x < L/2
0, x > L/2
2
(6) Determinar la serie de Fourier de seno de f(x) y dibuje dicha serie
(a) f(x) = Cos
x
L
(b) f(x) =

1, x < L/6
3, L/6 < x < L/2
0, x > L/6
(c) f(x) =

0, x < L/2
x, x > L/2
(d) f(x) =

1, x < L/2
0, x > L/2
(7) Dibujar la serie de Fourier de senos de las siguientes funciones. Dibujar tambien,
aproximadamente, la suma de una cantidad nita de terminos no nulos (por lo menos
los dos primeros) de la serie de Fourier de senos:
(a) f(x) = Cos
x
L
(b) f(x) =

1, x < L/2
0, x > L/2
(c) f(x) = x
(8) Dibujar la serie de Fourier de coseno de f(x) = Sen
x
L
. Analizar brevemente.
(9) Dibujar la serie de Fourier de cosenos de las siguientes funciones. Dibujar tambien,
aproximadamente, la suma de una cantidad nita de terminos no nulos (por lo menos
los dos primeros) de la serie de Fourier de cosenos:
(a) f(x) = x (b) f(x) =

0, x < L/2
1, x > L/2
(c) f(x) =

1, x < L/2
0, x > L/2
(10) Demostrar que e
x
es la suma de una funcion par y na impar.
(11) (a) Obtener una formula para la extension par de cualquier funcion f(x). Comparar
con la formula de la parte par de f(x).
(b) Hacer lo mismo con la extension impar de f(x) y la parte par de f(x).
3
(c) Calcular y dibujar las cuatro funciones de los apartados (a) y (b) si

x
2
, x < 0
x, x > 0
Sumar gracamente las partes par e impar de f(x). Que ocurre?Similarmente,
sumar las extensiones par e impar.
(12) Para funciones continuas:
(a) Bajo que condiciones es f(x) igual a su serie de Fourier para todo x?, 0 x L?
(b) Bajo que condiciones es f(x) igual a su serie de Fourier de senos para todo x?,
0 x L?
(c) Bajo que condiciones es f(x) igual a su serie de Fourier cosenos para todo x?,
0 x L?
(13) Supongase que f(x) y df/dx son suaves a trozos. Probar que la serie de Fourier de
f(x) se puede derivar termino a termino si la serie de Fourier de f(x) es continua.
(14) Supongase que f(x) es continua excepto por una discontinuidad de salto en x = x
0
,
f(x

0
) = y f(x
+
0
= y que df/dx es suaves a trozos
a) Calcular la serie de Fourier de senos de df/dx en terminos de los coecientes de
la serie de Fourier de cosenos de f(x).
b) Calcular la serie de Fourier de cosenos de df/dx en terminos de los coecientes
de la serie de Fourier de senos de f(x).
(15) Supongase que f(x) y df/dx son suaves a trozos.
a) Probar que la serie de Fourier de senos de una funcion continua f(x) solo se
puede derivar termino a termino si f(0) = 0 y f(L) = 0.
b) Probar que la serie de Fourier de cosenos de una funcion continua se puede
derivar termino a termino.
(16) Hay algunos errores en la siguiente demostracion, encontrarlos y corregirlos. En este
problema intentamos obtener los coecientes de Fourier de cosenos de e
x
:
(1) e
x
= A
0
+

n=1
A
n
Cos
nx
L
.
Derivando, obtenemos
e
x
=

n=1
n
L
A
n
Sen
nx
L
,
la serie de Fourier de senos de e
x
. Derivando de nuevo llegamos a que
(2) e
x
=

n=1

n
L

2
A
n
Cos
nx
L
.
4
Con la ecuacion (1)y (2) nos dan la serie de Fourier de cosenos de e
x
, deben ser
identicas. Por tanto,
A
0
= 0
A
n
= 0

obviamente falso. Corrigiendo los errores se pueden calcular A

0
y A
n
sin utilizar la
tecnica habitual.
(17) Probar que la serie de Fourier de una funcion continua se puede derivar termino a
termino con respecto al parametro t si u/t es suave a trozos.
(18) Consideremos la ecuacion
u
t
= k

2
u
x
2
,
con las condiciones (u/x)(0, t) = 0, (u/x)(L, t) = 0 y u(x, 0) = f(x). Resolver
este problema de las siguiente forma: buscar la solucion como una serie de Fourier
de cosenos;suponer que u y u/x son continuas y que
2
u/x
2
y u/t son suaves
a trozos. Justicar todas las diferenciaciones de series innitas.
(19) Consideremos la ecuacion del calor con una fuente conocida q(x, t):
u
t
= k

2
u
x
2
+ q(x, t),
con u(0, t) = u(L, t) = 0. Supongamos que q(x, t) (para cada t > 0) es una funcion
suave a trozos de x. Supongamos tambien que u y (u/x) son funciones continuas
de x (para t > 0) y que
2
u/x
2
y u/t son suaves a trozos. En ese caso,
u(x, t) =

n=1
B
n
(t)Sen
nx
L
.
Que ecuacion diferencial ordinaria cumple B
n
(t)? No es necesario resolver esta
ecuacion diferencial.
(20) Modicar el Ejercicio 7-. si ahora tenemos las condiciones (u/x)(0, t) = 0 y
(u/x)(L, t) = 0
(21) Consideremos la ecuacion del calor no homogenea con fuente de calor estacionaria
u
t
= k

2
u
x
2
+ g(x).
5
Resolver esta ecuacion con la condicion inicial u(x, 0) = f(x) y las condiciones de
contorno u(0, t) = u(L, t) = 0. Indicaciones: desarrollar la solucion en serie de
Fourier de senos (es decir, utilizar el metodo de desarrollo en autofunciones); desar-
rollar g(x) tambien en serie de Fourier de senos; calcular la serie de Fourier de senos
de la solucion. Justicar todas las diferenciaciones respecto a x.
(22) Resolver el siguiente problema no homogeneo:
u
t
= k

2
u
x
2
+ e
t
+ e
2t
Cos
3x
L
,
suponiendo que 2=k(3/L)
2
, con las condiciones
u
x
(0, t) = 0,
u
x
(L, t) = 0, yu(x, 0) = f(x)
Utilizar el siguiente metodo: buscar la solucion como una serie de cosenos. Justicar
todas las diferenciaciones de series innitas (suponiendo la continuidad adecuada).
(23) Supongamos que
x

n=1
B
n
Sen
nx
L
a) Determinar los B
n
derivando correctamente esta serie dos veces.
b) Determinar los B
n
integrando esta serie dos veces
(24) Integre la serie de Fourier de senos de la funcion f(x) = 1 para calcular la suma
1 +
1
2
2
+
1
3
2
+
1
4
2
+ . . .
Indicacion: Despues de integrar evalue en x = 0.
(25) Integre dos veces la serie de Fourier de senos de la funcion f(x) = 1 para calcular la
suma
1
1
3
3
+
1
5
3

1
7
3
+ . . .
6
(26) Resolver la ecuacion del calor con fuente independiente del tiempo y condiciones de
contorno
u
t
= k

2
u
x
2
+ Q(x)
u(x, 0) = f(x),
si existe una solucion de equilibrio. Analizar los lmites cuando t. Si no existe
equilibrio, explicar por que y reducir el problema a uno con condiciones de contorno
homogeneas (pero sin resolverlo). Supongase que
a) Q(x) = 0, u(0, t) = A,
u
x
(L, t) = B.
b) Q(x) = k, u(0, t) = A, u(L, t) = B
c) Q(x) = Sen
2x
L
,
u
x
(0, t) = 0,
u
x
(L, t) = 0.
1. Membranas y Cuerdas Vibrantes.
Hasta los momentos, el unico problema fsico que hemos estudiado es
la conduccion del calor. Para ampliar nuestra discusion estudiaremos
ahora las vibraciones de cuerdas y membranas perfectamente elasticas.
1.1. Deduccion de la ecuacion para la cuerda vibrante. Una
cuerda vibrante es un sistema fsico complicado, pero nos gustara pre-
sentar una deduccion sencilla del modelo. Una cuerda vibra solo si
esta tensa, por lo que consideremos una cuerda tensa horizontal en
su posicion de equilibrio. Imaginemos que los extremos estan sujetos
de alguna forma (condiciones de contorno), manteniendo la tirantez
de la cuerda. Como ejemplo podemos pensar en un instrumento de
cuerda. Comencemos estudiando el movimiento de cada una de las
partculas que constituyen la cuerda: sea la coordenada x de una
particula cuando la cuerda esta en la posicion horizontal de equilibrio.
La cuerda se mueve con el tiempo, en un tiempo t estara en alg un sitio
distinto de la posicion de equilibrio. La trayectoria de la partcula se
indica en la gura con sus componentes horizontal v y la vertical u.
Supondremos que la pendiente de la cuerda es peque na, en cuyo caso
se puede demostrar que el desplazamiento horizontal v se puede despre-
ciar. En una primera aproximaci on, el movimiento es completa-
mente vertical , es decir, x = . En esta situacion el desplazamiento
vertical u depende de x y t:
(1) y = u(x, t)
Consideremos un segmento innitesimal de la cuerda, contenido en-
tre x y x + x. En la posicion horizontal sin perturbar (en la que
la cuerda esta ya tensa), supondremos que la densidad de masa

o
(x) es conocido. La masa total del peque no segmento considerado es
aproximadamente
o
(x)x.
El objetivo es deducir una ecuacion en derivadas parciales que de-
scriba como la posicion u cambia con el tiempo. Puesto que la acelera-
ciones son debidas a la accion de ciertas fuerzas, debemos usar la ley
de Newton para una masa puntual
(2) F = m.a
Debemos discutir cuales son las fuerzas que act uan en este segmento
de la cuerda. Supondremos que hay fuerzas que act uan solamente en
la direccion vertical (por ejemplo, la fuerza de gravedad), al igual que
fuerzas que act uan sobre los extremos del segmento de cuerda. Supon-
dremos tambien que la cuerda es perfectamente exible, es decir,
no ofrece ninguna resistencia al doblarse. Esto signica que la fuerza
1
2
ejercida por el resto de la cuerda sobre los puntos extremos del seg-
mento es de direccion tangente a la cuerda. Esta fuerza tangencial se
conoce como la tension de la cuerda, y denotaremos su magnitud por
T(x, t). En la gura mostramos que la fuerza debido a la tension (ejer-
cida por el resto de la cuerda) tira en ambos extremos en la direccion
de la tangente, tendiendo a estirar el peque no segmento. Para obtener
las componentes de las tensiones, introducimos el angulo que forma
la cuerda con la horizontal. El angulo depende a la vez de la posicion x
y del tiempo t. Mas aun, la pendiente de la cuerda se puede representar
como
dy
dx
o como tg:
(3)
dy
dx
= tg(x, t) =
u
x
Por la Ley de Newton, la componente horizontal prescribe el movimiento
horizontal, que estamos suponiendo peque no y despreciable. La ecuacion
del movimiento vertical establece que la masa,
o
(x)x, por la com-
ponente vertical de la aceleracion,

2
u
t
2
(usamos la notacion

t
, ya que
x esta jo para este movimiento), es igual a la componente vertical de
las fuerzas que act uan sobre el cuerpo
(4)

o
(x)x

2
u
t
2
= T(x+x, t)Sen(x+x, t)T(x, t)Sen(x, t)+
o
(x)xQ(x, t)
donde T(x, t) es la tension y Q(x, t) es la componente vertical de la
fuerza que act ua sobre el cuerpo por unidad de masa. Dividiendo (4)
por x y tomando el lmite cuando x0, obtenemos
(5)
o
(x)

2
u
t
2
=

x
[T(x, t)Sen(x, t)] +
o
(x)Q(x, t).
Para angulos peque nos,
u
x
= Tg =
Sen
Cos
Sen,
y por tanto, (5) se convierte en
(6)
o
(x)

2
u
t
2
=

x

T(x, t)
u
x

+
o
(x)Q(x, t).
2. Cuerdas perfectamente el

astica.
La tension de una cuerda se determina por medio de experimen-
tos. Las cuerdas reales son casi perfectamente elasticas, con lo que
queremos decir que la magnitud de la tension T(x, t) solo depende del
estiramiento local de la cuerda. Como supondremos que el angulo
3
es peque no, el estiramiento de la cuerda es casi el mismo que para
la cuerda horizontal bien estirada (sin perturbar), donde la tension es
constante, T
o
(para estar en equilibrio). Por tanto, la Tensi on T(x, t)
se puede aproximar por una constante T
o
. En consecuencia, las
peque nas vibraciones verticales de una cuerda muy tensa se rige por
(7)
o
(x)

2
u
t
2
= T
o

2
u
x
2
+
o
(x)Q(x, t)
2.1. Ecuacion de Ondas Unidimensional. Si la unica fuerza ex-
terna que act ua por unidad de masa es la gravedad, entonces en (7)
se tiene que Q(x, t) = g. En muchos de estos casos, esta fuerza es
peque na comparada con la tension (
o
(x) T
o

2
u
x
2
) y se puede des-
preciar, por lo que podemos escribir
(8)
o
(x)

2
u
t
2
= T
o

2
u
x
2
,
es decir
(9)

2
u
t
2
= C
2

2
u
x
2
,
donde C
2
= T
o
/
o
(x). La ecuacion (9) se conoce como ecuacion
de ondas unidimensionales. Se introduce la notacion c
2
por que
T
o
/
o
(x) tiene las dimensiones de velocidad al cuadrado.
3. Condiciones de Contorno.
La ecuacion en derivadas parciales para una cuerda vibrante, (7)
o(8), tiene una derivada espacial de segundo orden. Aplicaremos una
condicion de contorno en cada extremo, tal como se hizo para la ecuacion
del calor unidimensional.
La condicion de contorno mas sencilla es la que corresponde a una
cuerda ja en los extremos, usualmente en la posicion cero. Por ejem-
plo, si la cuerda esta ja (y con desplazamiento cero) en x = L, entonces
(10) u(L, t) = 0.
De forma alternativa, podramos mover un extremo de la cuerda de
una forma prescrita:
(11) u(L, t) = f(t).
Ambas condiciones, (10) y (11) son condiciones de contornos lineales;
(10) es homogenea, mientras que (11) no lo es.
Tenemos una condicion de contorno mas interesante si un extremo
de la cuerda esta jo a un sistema movil. Supongamos que el extremos
izquierdo de una cuerda, x = 0, esta sujeta a un sistema masa resorte.
4
Impondremos que el movimiento sea totalmente vertical. Para obtener
esto, debemos imaginarnos la masa situada en un riel vertical (posible-
mente sin friccion). El riel proporciona una fuerza horizontal a la masa
cuando sea necesario compensar la gran componente horizontal de la
tension al moverse en el sistema masa - resorte. La cuerda esta atada
a la masa de tal forma que si la posicion de la masa es y(t), esa es la
posicion del extremo izquierdo de la cuerda:
(12) u(L, t) = y(t).
Sin embargo, y(t) es desconocida,solo sabemos que ella satisface una
ecuacion diferencial ordinaria obtenida a partir de las leyes de Newton.
Supongamos que el riel es un muelle en reposo que tiene una longitud l
y que obedece a la ley de Hooke con constante elastica k. Para hacer el
problema incluso mas interesante, haremos que el soporte del muelle se
mueva de alguna forma prescrita, y
s
(t). As, la longitud del muelle es
y(t) y
s
(t) y el estiramiento del muelle es y(t) y
s
(t l). De acuerdo
con la Ley de Newton (usando la ley de Hooke con constante elastica
k),
m
d
2
y
dt
2
= k(y(t) y
s
(t l))+ Otras Fuerzas
sobre la masa.
Las otras fuerzas verticales sobre la masa son una tension ejercida por la
cuerda T(0, t)Sen(0, t) y una fuerza g(t) que representa otras fuerzas
externas a la masa. recordemos que debemos restringirnos a angulos
peque nos, de modo que la tension sera casi constante T
o
. En ese caso,
la componente vertical es aproximadamente T
o
u
x
, es decir,
T(0, t)Sen(0, t) T(0, t)
Sen(0, t)
Cos(0, t)
= T(0, t)
u
x
T
o
u
x
,
ya que para angulos peque nos, Cos 1. De esta manera, la condicion
de contorno en x = 0 para una cuerda vibrante unida a un sistema masa
- resorte (con un soporte variable y
s
(t) y una fuerza externa g(t)) es
(13) m
d
2
u
dt
2
(0, t) = k(u(0, t) y
s
l)) + T
o
u
x
+ g(t).
Consideremos algunos casos especiales en los que no hay fuerzas ac-
tuando sobre la masa, es decir g(t) = 0. Si ademas la masa es sucien-
temente peque na para que las fuerzas sobre la masa esten en equilibrio,
5
entonces
(14) T
o
d
2
u
dt
2
(0, t) = k(u(0, t) u
e
(t)),
donde u
e
(t) es la posicion de equilibrio de la masa u
e
(t) = y
s
(t) + l.
Esta expresion, conocida como condicion de contorno elastica no ho-
mogenea es exactamente analoga a la ley de enfriamiento de Newton
(con con temperatura externa u
e
(t)) para la ecuacion del calor. Si la
posicion de equilibrio de la masa coincide con la posicion de equilib-
rio de la cuerda, u
e
(t) = 0, la versi on homogenea de la condicion de
contorno elastica es:
(15) T
o
d
2
u
dt
2
(0, t) = ku(0, t),
que nos dice que
d
2
u
dt
2
es proporcional a u. Como por razones fsicas T
o
>
0 y k > 0, los signos de (15) estan prescritos. Esta es la misma eleccion
de signos que tena lugar para la Ley de enfriamiento de Newton.
Otra condicion de contorno que puede estudiarse para una cuerda
vibrante se conoce como extremo libre, aunque no esta literalmente
libre. El extremo esta jo a un riel vertical sin friccion, como antes, y
puede moverse libremente hacia arriba y hacia abajo. No hay sistema
masa - resorte ni fuerza externa. Sin embargo, se puede obtener esta
condicion de contorno tomando el lmite en (15) cuando k0
(16) T
o
d
2
u
dt
2
(0, t) = 0
1. M

etodo de las Caracter

sticas para Ecuaciones de

Ondas Lineales.
Hasta ahora hemos obtenido algunos resultados sobre la ecuacion de
ondas unidimensionales.
(1)

2
u
t
2
= c
2

2
u
x
2
,
con las condiciones iniciales
(2)
u(x, 0) = f(x),
u
t
(x, 0) = g(x).
En el caso que la cuerda vibrante esta sujeta en los extremos x = 0
y x = L, obtuvimos la solucion como una serie de Fourier en senos a
partir del metodo de separacion de variables
(3) u(x, t) =

n=1
Sen
nx
L
_
A
n
Cos
nct
L
+ B
n
Sen
nct
L
_
.
Esta solucion se puede expresar tambien como suma de dos ondas avan-
zando en direcciones opuestas. En particular,
(4) u(x, t) =
f(x ct) + f(x + ct)
2
+
1
2c
_
x+ct
xct
g(x)dx,
donde f(x) y g(x) son las extensiones periodicas impares de las fun-
ciones dadas en (2).
Introduciremos una herramienta mas potente conocida como el metodo
de las caractersticas, para resolver la ecuacion de la onda unidimen-
sional. Mostraremos que en general se tiene u(x, t) = F(xct)+G(x+
ct), donde F y G son funciones arbitrarias. A partir de ella deducire-
mos la formula (4) en toda la recta. Introduciremos las modicaciones
necesarias para tratar problemas en la semi-recta o en intervalos aco-
tados.
1.1. Caractersticas para ecuaciones de ondas de primer orden.
La ecuacion de ondas unidimensional
(5)

2
u
t
2
c
2

2
u
x
2
= 0,
1
2
se puede factorizar de dos maneras:
_

t
+ c

x
__

t
c

x
_
= 0,
_

t
c

x
__

t
+ c

x
_
= 0.
Si llamamos
(6)
w =

t
c

x
,
v =

t
+ c

x
,
vemos que la ecuacion de ondas unidimensional de segundo orden, da
lugar a dos ecuaciones de ondas de primer orden:
(7)
w
t
+ c
w
x
= 0,
v
t
c
v
x
= 0.
Comenzaremos analizando una cualquiera de las dos ecuaciones de
primer orden anterior, por ejemplo,
(8)
w
t
+ c
w
x
= 0.
El metodo que desarrollaremos nos sera de utilidad para, posterior-
mente, estudiar la ecuacion de ondas (1). La idea es considerar la
funcion w(x, t) medida por un observador movil, x = x(t), y estudiar
su variacion. La regla de la cadena implica
(9)
d
dt
(w(x(t), t)) =
w
t
+
dx
dt
w
x
.
El primer termino
w
t
representa la variaci on de w para una posicion
ja, mientras que
dx
dt
w
x
representa la variaci on debida al hecho de que
el observador se mueve a una region en que w es posiblemente diferente.
Comparando (9) con la ecuacion diferencial para w, ecuacion (8), vemos
que si el observador se mueve con velocidad c, es decir, si
(10)
dx
dt
= c,
3
entonces
(11)
dw
dt
= 0.
Esto implica que w es constante. Un observador que se mueve exacta-
mente con velocidad c no notara cambios en w.
De esta forma, hemos sustituido la ecuacion en derivadas parciales
(8) por dos ecuaciones diferenciales ordinarias (10) y (11). Integrando
(10), tenemos la ecuacion de la familia de caractersticas
1
de (10),
(12) x = ct + x
o
,
una familia de rectas paralelas, esbozada en la gura. Observemos que
en t = 0 se tiene x = x
o
. Ademas, w(x, t) es constante a lo largo de
cada una de estas rectas (no necesariamente constante en todas partes).
La funcion w se propaga como una onda con velocidad c.
Si conocemos el valor inicial de w(x, t) para t = 0,
(13) w(x, 0) = P(x),
entonces podemos determinar el valor de w en el plano (x, t). Como w
es constante a lo largo de la caracterstica que pasa por este punto, se
tiene
w(x, t) = w(x
o
, 0) = P(x
o
).
Ahora, dados x y t, calculamos x
o
a partir de la ecuacion de la carac-
terstica, x
o
= x ct, por lo que
(14) w(x, t) = P(x ct).
Si pensamos en P(x) como una funcion arbitraria, hemos obtenido
la solucion general de (8), hecho que se puede comprobar sustituyendo
(14) en la ecuacion diferencial (8). Usando la regla de la cadena
w
x
=
dP
d(x ct)
(x ct)
x
=
dP
d(x ct)
y
w
t
=
dP
d(x ct)
(x ct)
t
= c
dP
d(x ct)
,
es decir, (14) verica (8). La solucion general de una ecuacion en
derivadas parciales de primer orden contiene una funcion arbitraria,
mientras que la solucion general de una ecuacion diferencial ordinaria
de primer orden contiene una constante arbitraria.
1
Una caracterstica es una curva a lo largo de la cual una EDP se reduce a una
EDO.
4
Ejemplo: Consideremos la ecuacion
w
t
+ 2
w
x
= 0,
con la condicion inicial
w(x, 0) =
_

_
0, x < 0
4x, 0 x < 1
0, x > 1
Hemos visto que w es constante a lo largo de la caracterstica x 2t =
ctte, avanzando con velocidad 2 (hacia la derecha), mientras mantiene
su forma. Representaremos las caractersticas principales x = 2t + 0 y
x = 2t + 1.
Para hacer un esbozo de la solucion para varios tiempos, tenemos
que w(x, t) = 0, si x > 2t + 1 o x < 2t, en el resto tenemos
w(x, t) = 4(x 2t), si 2t < x < 2t + 1
La deduccion de esta formula, que utiliza la caracterstica que empieza
en x = x
o
,
x = 2t + x
o
,
es como sigue: a lo largo de esta caracterstica la solucion w(x, t) es
constante. Si 0 < x
o
< 1, entonces
w(x, t) = w(x
o
, 0) = 4x
o
= 4(x 2t).
Finalmente, la condicion 0 < x
o
< 1 es equivalente a 0 < x 2t <
1. De esta manera la graca de la propagacion para la ecuacion de
ondas de primer orden es
1.2. Forma Constante. En general, w(x, t) = P(x ct). Para cada
tiempo jo t, la solucion de la ecuacion de ondas de primer orden tiene
la misma forma trasladada a una distancia ct (distancia = velocidad
por tiempo).
Aplicaremos este metodo para resolver le ecuacion de onda (1).
2. M

etodo de las Caracter

sticas para la ecuaci

on de
ondas unidimensional.
A partir de la ecuacion de ondas unidimensional
(15)

2
u
t
2
= c
2

2
u
x
2
,
5
hemos obtenido dos ecuaciones en derivadas parciales de primer orden,
w
t
+c
w
x
= 0, y
v
t
c
v
x
= 0, donde w =
u
t
c
u
x
y v =
u
t
+c
u
x
.
Hemos visto que w mantiene su forma moviendose con una velocidad
c:
(16) w =
u
t
c
u
x
= P(x ct).
El problema para v es exactamente el mismo, reemplazando c por c.
Por tanto, v se traslada con velocidad c manteniendo su forma:
(17) v =
u
t
+ c
u
x
= Q(x + ct).
Combinando (15) y (16) podemos obtener, por ejemplo,
u
t
=
1
2
[P(x ct) + Q(x + ct)] ,
2c
u
x
= Q(x + ct) P(x ct),
y por lo tanto
(18) u(x, t) = F(x ct) + G(x + ct),
donde F y G son funciones arbitrarias (cF

= (1/2)P y cG

=
(1/2)Q).
La solucion general es la suma de F(x ct), una onda que se mueve
hacia la derecha con velocidad c, y G(x + ct), una onda que se mueve
hacia la izquierda con velocidad c, manteniendo ambas su forma.
Podremos esbozar la solucion si conocemos F(x) y G(x). Trasladamos
F(x) hacia la derecha a una distancia ct, hacemos lo mismo con G(x)
hacia la izquierda y sumamos las dos. Aunque la forma de cada onda
es constante la suma de las dos si varia en general con el tiempo.
2.1. Caractersticas: Parte de la solucion es constante a lo largo de
la familia de caractersticas x ct = ctte, mientras que una parte
diferente de la solucion es constante a lo largo de x + ct = ctte. Para
la ecuacion de ondas unidimensional (15) hay dos familias de curvas
caractersticas.
3. Problema de valores Iniciales en toda la recta.
Hemos probado que la solucion general de la ecuacion de ondas uni-
dimensional es
(19) u(x, t) = F(x ct) + G(x + ct).
6
Aqu, determinaremos las funciones arbitrarios de manera que se
satisfagan las condiciones iniciales:
(20)
u(x, 0) = f(x), < x <
u
t
(x, 0) = g(x), < x <
Estas condiciones iniciales implican
(21)
f(x) = F(x) + G(x)
g(x)
c
(x, 0) =
dF
dx
+
dG
dx
.
Podemos despejar G(x), por ejemplo
dG
dx
=
1
2
_
df
dx
+
g(x)
c
_
.
Sustituyendo en (21), tenemos
dF
dx
=
1
2
_
df
dx

g(x)
c
_
.
Integrando, obtenemos los valores de G y F, los cuales estan dados
por:
(22)
G(x) =
1
2
f(x) +
1
2c
_
x
0
g(x)dx + k
F(x) =
1
2
f(x)
1
2c
_
x
0
g(x)dx k,
La constante de Integraci on k se puede eliminar, pues u(x, t) es la suma
de ambas formulas trasladadas convenientemente.
3.1. Posicion Inicial en reposo. Si una cuerda vibrante se encuentra
inicialmente en reposo, (u(x, 0)/t = g(x) = 0), entonces (22) implica
que F(x) = G(x) =
1
2
f(x). Por tanto,
(23) u(x, t) =
1
2
[f(x ct) + f(x + ct)] .
El dato inicial u(x, 0) = f(x) se separa en dos partes; la mitad se mueve
hacia la izquierda y la otra mitad hacia la derecha.
7
Ejemplo: Supongamos que una cuerda innita tiene inicialmente
la forma de un pulso rectangular y se encuentra en reposo. Las condi-
ciones iniciales son entonces
u(x, 0) = f(x) =
_
_
_
1, |x| < h,
0, |x| > h.
y
u
t
(x, 0) = g(x) = 0.
La solucion viene dada por (23). Sumando dos pulsos rectangulares
obtenemos
f(x ct) =
_
_
_
1, |x ct| < h,
0, |x ct| > h.
y
f(x + ct) =
_
_
_
1, |x + ct| < h,
0, |x + ct| > h.
Esta situacion viene dada por
Los pulsos se solapan hasta que el extremo izquierdo del pulso que
se mueve hacia la derecha adelanta al extremo derecho del otro pulso
como ambos pulsos viajan con velocidad c, se estan alejando uno de
otro con velocidad 2c. Los extremos se encuentran inicialmente a una
distancia 2h, por lo que los dos pulsos se separan despues de un tiempo
t =
distancia
velocidad
=
2h
2c
=
h
c
.
La siguiente gura muestra las principales Caractersticas. F se
mantiene constante moviendose hacia la derecha con velocidad c, mien-
tras que G se mantiene constante moviendose hacia la izquierda, as
F(x) = G(x) =
_
_
_
1/2, |x| < h,
0, |x| > h.
Ejemplo de una cuerda que inicialmente no esta en re-
poso: Supongamos que una cuerda innita se encuentra inicialmente
posicion de equilibrio, pero con velocidad inicial prescrita, de manera
8
que las condiciones iniciales son:
u(x, 0) = f(x) = 0
u
t
(x, 0) = g(x) =
_
_
_
1, |x| < h,
0, |x| > h.
Esta situacion corresponde a una fuerza instant anea que act ua sobre
todo el intervalo |x| < h, como el efecto de un golpe con un martillo
ancho. A partir de (22) vemos que necesitamos calcular
_
x
0
g(x)dx, que
representa el area bajo g(x) entre 0 y x:
2cG(x) = 2cF(x) =
_
x
0
g(x)dx =
_

_
h, x < h
x, h < x < h
h, x > h.
La solucion u(x, t) es la suma de F(x) trasladado a la derecha (con
velocidad c) y G(x) trasladado a la izquierda (tambien con velocidad
c). El golpe del martillo produce un desplazamiento creciente de la
cuerda all donde ha sido golpeada, y el efecto se nota en la cuerda a
derecha e izquierda de esta region, seg un avanza el tiempo. Pasado un
tiempo, la cuerda alcanza una altura estable.
4. Soluci

on de dAlembert.
Sustituyendo las formulas (22) en (19) se obtiene la expresion
u(x, t) =
f(x + ct) + f(x ct)
2
+
1
2c
__
x+ct
o
g(x)dx
_
xct
o
g(x)dx
_
que simplicada da
(24) u(x, t) =
f(x + ct) + f(x ct)
2
+
1
2c
_
x+ct
xct
g(x)dx,
conocida como solucionde dAlembert(obtenida previamente por
Fourier utilizando la transformada que llevara despues su nombre).
Esta formula es elegante, aunque para dibujar las soluciones es a menudo
mas conveniente utilizar directamente (22), trasladadas de acuerdo a
(MC19).
9
5. Dominio de Dependencia y Dominio de Influencia.
La importancia de las caractersticas x ct = ctte y x + ct = ctte
ha quedado de maniesto en los calculos anteriores. Para conocer la
solucion en un punto x y en un tiempo t, se necesita el valor de la
posicion inicial en xct, as como los valores de la velocidad inicial en
el intervalo entre x ct y x + +ct. Este intervalo [x ct, x + ct] se
denomina dominio de dependencia de la solucion en (x, t), seg un
se ve en la gura. Tambien se reeja en esta gura el dominio de
Inuencia, el conjunto afectado por los valores iniciales en un punto
dado.
6. Cuerda Semi-infinita y Reflexi

on.
Vamos a resolver la ecuacion de ondas unidimensional en un intervalo
semi-acotado, por ejemplo, en la semi - recta x > 0:
(25)

2
u
t
2
= c
2

2
u
x
2
u(x, 0) = f(x),
u
t
(x, 0) = g(x).
Necesitamos una condicion en la frontera x = 0. supondremos que la
cuerda esta ja en ese extremo, es decir,
(26) u(0, t) = 0.
Aunque podemos usar la Transformada de Fourier de senos, utilizare-
mos la solucion general y el metodo de las caractersticas:
(27) u(x, t) = F(x ct) + G(x + ct).
Al igual que antes, las condiciones iniciales implican
(28)
G(x) =
1
2
f(x) +
1
2c
_
x
0
g(x)dx, x > 0
F(x) =
1
2
f(x)
1
2c
_
x
0
g(x)dx, x > 0
Sin embargo, y en contra de lo que sucede para una cuerda innita
las igualdades anteriores son solo validas para x > 0; es decir, las
funciones arbitrarias quedan determinadas unicamente si el argumento
es positivo. en la solucion general el termino G(x + ct) requiere solo
argumentos positivos de G (pues x > 0 y t > 0). Por otro lado, el
argumento de F(x ct) es positivo si x > ct, y negativo si x < ct.
10
Como se ilustra en el diagrama espacio tiempo, la informacion de que
existe una frontera ja en x = 0 viaja con una velocidad c. Por tanto,
en un punto (x, t) con x > ct, no ha llegado tal informacion y la cuerda
ignora que exista ninguna frontera. en ese caso (x > ct), la solucion es
la misma que antes, es decir
(29) u(x, t) =
f(x ct) + f(x + ct)
2
+
1
2c
_
x+ct
xct
g(x)dx, x > ct
la solucion de dAlembert. Veamos que ocurre para x < ct. el sumando
correspondiente a G es el mismo que antes, pues x + ct > 0,
G(x + ct) =
1
2
f(x + ct) +
1
2c
_
x+ct
0
g(x)dx.
Para obtener el valor de F cuando su argumento es negativo, no
podemos usar los datos iniciales, sino el dato frontera. La condicion de
contorno u(0, t) = 0 implica (a partir de (26))
(30) 0 = F(ct) + G(ct), Si t > 0.
Por tanto, F para un argumento negativo es G para el correspondi-
ente argumento positivo:
(31) F(x) = G(x), Si x < 0.
As, la solucion para x ct < 0 es
u(x, t) = F(x ct) + G(x + ct)
= G(x + ct) G(ct x)
=
1
2
[f(x + ct) f(ct x)] +
1
2c
_
_
x+ct
0
g(x)dx
_
ctx
0
g(x)dx
_
=
1
2
[f(x + ct) f(ct x)] +
1
2c
_
x+ct
ctx
g(x)dx
Para interpretar la solucion obtenida, es de gran ayuda el metodo de
las caractersticas. Recordemos que para el problema en toda la recta,
la solucion u(x, t) es la suma de F (moviendose hacia la derecha) y G
(moviendose hacia la izquierda). En el problema del intervalo semi -
innito no afecta a las caractersticas si x > ct.
Por otro lado, para x < ct, la gura muestra la caracterstica que
se mueve a la izquierda (G constante), que no se ve afectada por la
frontera, y la caracterstica que se crea en la frontera. Como F es con-
stante moviendose hacia la derecha, la condicion de contorno implica
que F +G = 0 en x = 0, es decir, la onda que se mueve hacia la derecha
es igual a la onda que se mueve hacia la izquierda cambiando el signo.
11
Las ondas se invierten al rebotar en la frontera. La onda resul-
tante G(ct x), que se mueve hacia la derecha, se denomina Onda
reejada. Si x < ct, la solucion es, en total, la suma de la onda ree-
jada que se mueve hacia la derecha y la onda sin reejar que se mueve
hacia la izquierda:
u(x, t) = G(x + ct) G((x ct)).
La onda reejada se comporta como si inicialmente, en t = 0, fuera
G(x). Si no hubiera frontera, la onda que se mueve hacia la derecha,
F(x ct), sera inicialmente F(x). por tanto la Onda reejada es
exactamente la onda producida por el dato inicial denido por
F(x) = G(x), si x < 0,
o lo que es lo mismo
1
2
f(x)
1
2c
_
x
0
g(x)dx =
1
2
f(x)
1
2c
_
x
0
g(x)dx.
Vemos as que podamos haber obtenido esta formula si consideramos
el dato posicion f(x), extendido de forma impar a x > 0 (tal que
f(x) = f(x)), al igual que la velocidad inicial g(x) (de manera que
la integral
_
x
0
g(x)dx, es una funcion par). en resumen, la solucion
del problema semi - innito con u = 0 en x = 0 es la misma
que la solucion del problema denido en toda la recta, con
los datos iniciales extendidos de forma impar.
Supongamos que u(x, t) es una solucion cualquiera de la ecuacion de
ondas. Como esta ecuacion permanece inalterada si reemplazamos x
por x, se tiene que u(x, t) (y cualquier m ultiplo de ella) es tambien
una solucion de la ecuacion de ondas. si los datos iniciales son funciones
impares de x, entonces tanto u(x, t) como u(x, t) verican estos
datos. La unicidad implica u(x, t) = u(x, t); es decir, u(x, t), que
es impar inicialmente, lo es para todo tiempo, o lo que es lo mismo:
condiciones iniciales impares dan lugar a una solucion con valor cero
en x = 0.
Ejemplo: Consideremos una cuerda semi innita x > 0, con
un extremo jo u(0, t) = 0, que se encuentra inicialmente en reposo,
u/t(x, 0) = 0, y cuya posicion inicial es una funcion pulso rectangu-
lar, es decir,
f(x) =
_
1, 4 < x < 5
0, en el resto.
Como g(x) = 0, se sigue que
F(x) = G(x) =
1
2
f(x) =
_
1/2, 4 < x < 5
0, en el resto. (x > 0)
12
F se mueve hacia la derecha, mientras que G se mueve hacia la izquierda,
reejandose negativamente al atravesar x = 0. esto se puede interpre-
tar como una condicion inicial (en toda la recta), con f(x) y g(x)
extendidas de forma impar.
7. M

etodo de las Caracter

sticas para una cuerda de

Longitud finita.
En secciones anteriores consideramos el siguiente problema para una
cuerda vibrante de longitud nita
(32)

2
u
t
2
= c
2

2
u
x
2
u(0, t) = 0,
u(L, t) = 0,
u(x, 0) = f(x),
u
t
(x, 0) = g(x),
que resolvimos mediante desarrollo en serie de Fourier. Usando la
solucion general de la ecuacion de ondas unidimensional, podemos
obtener una expresion alternativa para esta solucion, que sera incluso
de mayor utilidad en algunos casos:
(33) u(x, t) = F(x ct) + G(x + ct).
Los datos iniciales estan dados unicamente para 0 < x < L, y, por
tanto, las formulas para F(x) y G(x) que hemos obtenido antes son
solo validos en ese intervalo:
(34)
G(x) =
1
2
f(x) +
1
2c
_
x
0
g(x)dx, x > 0
F(x) =
1
2
f(x)
1
2c
_
x
0
g(x)dx, x > 0
Si 0 < xct < L y 0 < x+ct < L, la solucion de dAlembert es valido,
como puede verse en la gura.
(35) u(x, t) =
f(x ct) + f(x + ct)
2
+
1
2c
_
x+ct
xct
g(x)dx, x > ct
En esta region la cuerda no tiene informacion de que exista frontera
alguna, pues esta informacion viaja con velocidad c desde x = 0 y
x = L. Sin embargo, si un punto (x, t) es tal que la se nal desde la
13
frontera ya ha llegado, debemos realizar algunas modicaciones en la
formula (35). La condicion de contorno en x = 0 implica que
0 = F(ct) + G(ct), si t > 0,
mientras que en x = L tenemos
0 = F(L ct) + G(L + ct), si t > 0.
Todo esto implica m ultiples reexiones, como puede verse en la gura.
De forma alternativa, se puede considerar la solucion denida en toda
la recta vericando que es simetrica impar alrededor de x = 0, as como
tambien alrededor de x = L. De esta manera, se verica la condicion
cero en ambos extremos x = 0 y x = L. Observemos que u(x, t)
es periodica con periodo 2L. De hecho, ignoramos la simetra impar
alrededor de x = L, ya que las funciones periodicas que son impares
alrededor de x = 0 son automaticamente impares alrededor de x = L.
Por tanto, la manera mas sencilla de obtener la solucion es extender
los datos iniciales como funciones impares (alrededor de x =
0) y periodicas (con periodo 2L). Con estas condiciones iniciales
periodicas impares, podemos utilizar el metodo de las caractersticas y
la Formula(35).
Ejemplo: Consideremos una cuerda, que se encuentra inicial-
mente en reposo y en la posicion u(x, 0) = f(x), manteniendose ja
por los extremos x = 0 y x = L. en lugar de utilizar el metodo de
desarrollo en serie de Fourier,extendemos los datos iniciales de forma
impar alrededor de x = 0 y x = L, o lo que es lo mismo, introducimos
la extension impar (que tambien ha sido utilizada en el desarrollo en
series de Fourier de senos). Como la cuerda se encuentra inicialmente
en reposo, se tiene g(x) = 0, y la extension periodica impar de esta
funcion es g(x) = 0 para todo x. Por tanto, la solucion de la ecuacion
de ondas unidimensional es la suma de dos ondas simples:
u(x, t) =
f(x ct) + f(x + ct)
2
,
donde f(x) es la extension periodica impar de la posicion inicial dada.
esta expresion de la solucion es mucho mas sencilla que la suma de cien
terminos del desarrollo en serie de Fourier de senos.
1. Ecuaci

on de Poisson
Hemos aplicado el metodo de desarrollo en autofunciones a prob-
lemas de valores en la frontera no homogeneos y que dependen del
tiempo. Los problemas independientes del tiempo deben ser resul-
tos de modo ligeramente diferentes. Consideremos la distribucion de
temperaturas en equilibrio con fuentes independientes del tiempo, que
satisfacen la ecuacion de Poisson,
(1)
2
u(

x ) = Q(

x ).
No especicaremos por ahora la region geometrica. Sin embargo, supon-
dremos que la temperatura esta especicada en la frontera, es decir,
u(

) = (

),
donde generalemente no es constante. Este problema es no ho-
mogeneo por dos razones: debido a la funcion de forzamiento Q y
a la condicion de contorno . Podemos descomponer la temperatura
de equilibrio en dos partes:
u = u
1
+ u
2
,
de modo que u
1
sea debida al forzamiento y u
2
se deba a la condicion
de contorno:
(2)

2
u
1
(

x ) = Q(

x )
2
u
2
(

x ) = 0
u
1
(

) = 0, u
2
(

) = (

).
Es facil comprobar que u = u
1
+ u
2
satisface la ecuacion de Poisson
y la condicin de contorno no homogeneo. El problema cuya solucion
es u
2
es una ecuacion de Laplace (con condiciones de contorno no ho-
mogenea) y, como sabemos, puede resolverse para geometras sencillas
por el metodo de separacion de variables.
Por tanto, centraremos nuestra atencion en la ecuacion de Poisson
(3)
2
u
1
(

x ) = Q(

x ),
con condiciones de contorno homogeneas (u
1
= 0 sobre toda la fron-
tera). Podemos analizar el problema de dos formas algo diferentes:
1. Potemos desarrollar la solucion en autofunciones del problema
homogeneo asociado, que se obtiene por separacion de variable
en la ecuacion
2
u
1
(

x ) = 0 (como se hace para problemas
dependientes del tiempo), o
2. Podemos desarrollar la solucion en las autofuncione

2
(

x ) + = 0
Los dos metodos son diferentes (pero estan relacionados).
1
2
1.1. Autofunciones Unidimensionales. Consideremos la ecuacion
de Poisson bidimensional en un rectangulo con condiciones de contorno
nulas:
(4)

2
u
1
(

x ) = Q(

x ),
u
1
(

) = 0.
El problema homogeneo asociado es,

2
u
1
(

x ) = 0,
que es la ecuacion de Laplace, la cual puede separarse (en coordenadas
rectangulares).
Debemos recordar que la solucion oscila en una direccion y es una
combinaci on de exponenciales en la otra direccion. Por tanto, las aut-
ofunciones del problema homogeneo asociado (que son necesarias para
poder usar el metodo del desarrollo en autofunciones) podran ser aut-
ofunciones en la variable x o autofunciones en la variable y. Puesto
que tenemos dos condiciones homogeneas de contorno en mabas direc-
ciones, podemos usar o bien las autofunciones que dependen de x o
bien las autofunciones que dependen de y. Usaremos por ejemplo, las
autofunciones que dependen de x, que son Sen
nx
L
, puesto que u
1
= 0
en x = 0 y en x = L. El metodo del desarrollo por autofunciones
consiste en desarrollar u
1
(x, y) en serie de estas autofunciones
(5) u
1
(x, y) =

n=1
b
n
(y)Sen
nx
L
,
donde b
n
(y) son los coecientes de la serie de Fourier que dependen de
y. Sustituyendo en la ecuacion de Poisson obtenemos
(6)

n=1
d
2
b
n
dy
2
Sen
nx
L
+

2
u
1
x
2
= Q(x, y).
Para determinar

2
u
1
x
2
diferenciaremos termino a termino (5), asi obten-
emos
(7)

n=1
_
d
2
b
n
dy
2

_
n
L
_
2
b
n
_
Sen
nx
L
= Q(x, y),
puesto que ambas, u
1
y Sen
nx
L
, verican las mismas condiciones ho-
mogeneas de contorno. Por tanto, los coecientes de la serie de Fourier
de senos satisfacen la siguiente ecuacion diferencial ordinaria de se-
gundo orden
(8)
d
2
b
n
dy
2

_
n
L
_
2
b
n
=
2
L
_
L
0
Q(x, y)Sen
nx
L
dx q
n
(y),
3
donde el lado derecho es el coeciente en seno de Q,
(9) Q =

n=1
q
n
(y)Sen
nx
L
.
Debemos resolver la ecuacion (8), para ello necesitamos dos condiciones
iniciales. La ecuacion (5) satisface la ecuacion de Poisson y las condi-
ciones de contorno en x = 0 y x = L. Las condiciones de contorno en
y = 0 (para todo x), u
1
= 0 y y = H (para todo x), u
1
= 0 implican
que
(10) b
n
(0) = 0 y b
n
(H) = 0.
Por tanto, los coecientes desconocidos en el metodo del desarrollo en
autofunciones resuelven por s mismo un problema no homogeneo de
valores en la frontera. Usando variaci on de parametros obtenemos que
(11)
b
n
(y) = Senh
n(H y)
L
_
y
0
q
n
()Senh
n
L
d
+Senh
ny
L
_
H
y
q
n
()Senh
n(H )
L
d
Por tanto, podemos resolver la ecuacion de Poisson (con condiciones de
contorno homogeneas) usando las autofunciones homogeneas asociadas
que dependen de x
1.2. Autofunciones Bidimensionales. Una forma algo diferente de
resolver la ecuacion de Poisson
(12)
2
u(

x ) = Q(

x ).
sobre un rectangulo con condiciones de contorno nulas es considerar las
autofunciones bidimensionales asociadas

2
= ,
con = 0 sobre la frontera. Sabemos que, para un rectangulo, esto
implica una serie de senos en x, as como tambien una serie de senos
en y:
(13)

nm
= sen
nx
L
sen
mx
H
,

nm
=
_
n
L
_
2
+
_
m
H
_
2
.
El metodo de desarrollo en autofunciones consiste en desarrollar la
solucion u
1
en terminos de estas autofunciones bidimensionales
(14) u
1
=

n=1

m=1
b
nm
sen
nx
L
sen
mx
H
.
4
Aqui, los coecientes b
nm
son cosntantes (no una funcion de otra vari-
able) puesto que u
1
solo dependen de x e y. La sustitucion de (14) en
la ecuacion de Poisson nos conduce a

n=1

m=1
b
nm

nm
sen
nx
L
sen
mx
H
= Q,
puesto que
2

nm
=
nm

nm
. El Laplaciano puede evaluarse derivado
termino a termino, puesto que ambas, u
1
y
nm
, satisfacen las mismas
condiciones homogeneas de contorno. Las autofunciones
nm
son or-
togonales (en sentido bidimensional). Por tanto,
(15) b
nm

nm
=
_
H
0
_
L
0
Qsen
nx
L
sen
mx
H
dxdy
_
H
0
_
L
0
sen
2
nx
L
sen
2
mx
H
dxdy
lo que permite determinar los coecientes b
nm
. Podemos reconocer en
el numerador del miembro derecho de (15) los coecientes de Fourier
generalizados de Q. Para despejar b
nm
basta devidir ahora por
nm
,
lo que no presenta dicultad ya que
nm
0. As pues, es mas facil
obtener la solucion usando el desarrollo en terminos de las autofun-
ciones bidimensionales que usando las unidimensionales. Sin embargo,
conviene tener en cuenta que las series doblemente innitas como (14)
pueden converger bastante lentamente, con lo que puede ser preferible
usar metodos numericos excepto en los casos sencillos. Como ejercicio
se puede demostrar que los coecientes de la seri de Fourier de Senos
en la variable y y de b
n
(y) coninciden con b
nm
(Ejercicio 8.6.2). Esto
prueba la equivalencia entre las dos estrategias de usar el desarrollo en
autofunciones en una o dos dimensiones.
2. Condiciones de contorno no homog

eneas en dominios
generales.
Las autofunciones bidimensionales pueden tambien usarse directa-
mente para resolver ecuaciones de Poisson sujeta a condiciones de con-
torno no homogeneas. Ademas, no es mas dicil indicar cual es la
solucion para geometras bastantes generales. Supongamos que

2
u = Q
con u = sobre la frontera. Consideremos las autofunciones
i
de

2
= con = 0 sobre la frontera. Representemos u en terminos
de estas autofunciones
(16) u =

i
b
i

i
.
5
Sin embargo, ahora ya no es cierto que

2
u =

i
b
i

2
,
puesto que u no satisface condiciones homogeneas de contorno. En
cambio, a partir de (16) deducimos que
(17) b
i
=
_ _
u
i
dxdy
_ _

2
i
dxdy
=
1

i
_ _
u
2

i
dxdy
_ _

2
i
dxdy
,
ya que
2

i
=
i

i
. Podemos evaluar el numerador usando la
formula de Green Bidimensional
(18)
_ _
_
u
2
v v
2
u
_
dxdy =
_
(uv vu) . nds.
Haciendo v =
i
, vemos que
_ _
u
2

i
dxdy =
_ _

i

2
udxdy +
_
(u
i

i
u) . nds.
Sin embargo,
2
u = Q y, sobre la frontera,
i
= 0 y u = . Por tanto,
(19) b
i
=
1

i
_ _

i
Qdxdy +
_

i
. nds
_ _

2
i
dxdy

Esta es la expresion general que buscamos para los coecientes b

i
,
puesto que estamos suponiendo que
i
,
i
, y Q son conocidos.
Si u satisface condiciones de contorno homogeneas, es decir, si = 0,
entonces (19) se convierte en
b
i
=
1

i
_ _

i
Qdxdy
_ _

2
i
dxdy
,
lo que concuerda con (14) en el caso de una region rectrangular. Esto
muestra que (8) puede ser derivada termino a termino si u y satisfacen
las mismas condiciones homogeneas de contorno.
Facultad de Ciencias
Ecuaciones en Derivadas Parciales.
Metodos de las Caractersticas.
Julio 2005
(1) Resolver el problema
w
t
3
w
x
= 0
con w(x, 0) = cosx.
(2) Resolver el problema
w
t
+ 4
w
x
= 0
con w(0, t) = sen3t.
(3) Resolver el problema
w
t
+ c
w
x
= 0 (c > 0) para x > 0y t > 0
w(x, 0) = f(x) x > 0, w(0, t) = h(t) t > 0
(4) Consideremos el problema
u
t
+ 2u
u
x
= 0
con u(x, 0) = f(x). Demostrar que las caractersticas son lneas rectas
(5) Si en el problema anterior
u(x, 0) = f(x) =

1, x < 0
1 + x/L, 0 < x < L,
2, x > L.
(a) Obtener las ecuaciones de las caractersticas. esbozar su graca.
(b) obtener la solucion u(x, t). Esbozar la graca de u(x, t) para t jo
2
(6) Consideremos la ecuacion de primer orden cuasilineal.
a
u
x
+ b
u
y
= c,
donde a, b y c son funciones de x e y, as como de u. Demostrar que el metodo de las
caractersticas implica
a
dx
a
=
dy
b
=
du
c
.
(7) Supongamos que u(x, t) = F(x ct. Evaluar:
(a)
u
t
(x, 0). (b)
u
x
(0, t).
(8) Determinar analticamente formulas para u(x, t) si
u(x, 0) = f(x) = 0
u
t
(x, 0) = g(x) =

1, |x| < h,
0, |x| > h.
Indicacion: obtener dos regiones, t < h/c y t > h/c, donde la solucion tiene
hasta cinco formas diferentes dependiendo de x.
(9) Determinar u(x, t) en el problema

2
u
t
2
= c
2

2
u
x
2
, x < 0,
donde u(x, 0) = cosx si x < 0,
u
t
(x, 0) = 0 si x < 0, u(0, t) = e
t
para t > 0. No
esbozar la solucion, pero si las caractersticas principales en un diagrama espacio -
tiempo.
(10) Considerese la ecuacion de ondas en un intervalo

2
u
t
2
= c
2

2
u
x
2
, 0 < x < ,
con el dato frontera
u
t
(0, t) = 0 y las condiciones iniciales
u(x, 0) =

0, 0 < x < 2,
1, 2 < x < 3,
0, x > 3
u
t
(x, 0) = 0
Determinar la solucion. Esbozar la solucion para varios tiempos (suponer que u es
continua en x = 0, t = 0).
3
(11) (a) Usando el metodo de las caractersticas resolver para x > 0, t > 0

2
u
t
2
= c
2

2
u
x
2
, 0 < x < ,
u(x, 0) = f(x)
u
t
(x, 0) = g(x)

x > 0,
u
x
(0, t) = 0, t > 0.
(Suponer que u es continua en x = 0, t = 0.)
(b) Comprobar que la solucion del apartado (a) se puede obtener extendiendo la
posicion y velocidad iniciales como funciones pares (alrededor de x = 0).
(c) Esbozar la solucion si g(x) = 0 y
f(x) =

1, 4 < x < 5,
0, en el resto
(12) Resolver mediante el metodo de las caractersticas el problema:

2
u
t
2
= c
2

2
u
x
2
,
sujeta a las condiciones u(x, 0) = 0, u(0, t) = h(t),
u
t
(x, 0) = 0 y u(L, t) = 0.
(13) Considerese el problema

2
u
t
2
= c
2

2
u
x
2
, 0 < x < 10
sujeta a las condiciones
u(x, 0) = f(x) =

1, 4 < x < 5,
0, en el resto
u
t
(x, 0) = g(x) = 0,
u
x
(L, t) = 0.
(a) Esbozar la solucion mediante el metodo de las caractersticas.
(b) Obtener la solucion convirtiendo el problema en un problema denido em toda
la recta.
(14) Como se debera extender los datos iniciales
u
x
(x, 0) = 0 y u(L, t) = 0?