Convergencia de series que aparecen en problemas de EDP

La idea de estas notas es agrupar algunos de los teoremas sobre convergencia, derivacion e integracion
termino a termino de series de Fourier (y sucesiones de funciones en general), y ver como pueden aplicarse
los mismos para justicar los metodos formales utilizados en la resolucion de ecuaciones en derivadas parciales
(EDP) con condiciones de contorno-iniciales.
Los primeros cuatro teoremas estan demostrados en [1], y los ultimos se pueden encontrar en [2] y en [3].
Empecemos recordando que una funcion f, de variable real y a valores complejos, es seccionalmente continua
en un intervalo [a, b] R si f es continua en todo [a, b] salvo un n umero nito de puntos (donde puede
incluso no estar denida), y si ademas existen y son nitos los lmites laterales f (x 0) de f en sus puntos de
discontinuidad. Notar que una tal funcion tendra en [a, b] subintervalos de continuidad.
Diremos tambien que f es seccionalmente continua (a secas) si f es seccionalmente continua en todo intervalo
nito.
En adelante indicaremos por a
n
y b
n
los coecientes de Fourier trigonometricos de una funcion 2-periodica
y seccionalmente continua f, i.e.
f a
0
+

n1
(a
n
cos nx + b
n
sin nx) ,
a
0
=
1
2

f (x) dx, a
n
=
1

f (x) cos nxdx, b

n
=
1

f (x) sin nxdx (n N) ,

y denotaremos S
N
a las sumas de Fourier de f, es decir
S
N
(x) = a
0
+

N
n=1
(a
n
cos nx + b
n
sin nx) .
Teorema 1. Sea f una funcion 2-periodica y seccionalemente continua.
1
Para cada x R tal que
existan y sean nitas las derivadas laterales de f en x [es decir, existan f

R,L
(x)] se tiene que
1
2
[f (x + 0) + f (x 0)] = a
0
+

n1
(a
n
cos nx + b
n
sin nx) ; (1)
o mas precisamente, la sucesion de sumas parciales S
N
(x) tiende a
1
2
[f (x + 0) + f (x 0)] en cada uno de
los x con la propiedad mencionada. Si un tal x es ademas un punto de continuidad de la f, entonces
S
N
(x) f (x), y podemos escribir
f (x) =
1
2
a
0
+

n1
(a
n
cos nx + b
n
sin nx) . (2)
Corolarios de interes (f es siempre 2-periodica y seccionalmente continua):
a. (Convergencia puntual) Si la funcion f tiene derivada seccionalmente continua f

, luego la
ecuacion (1) vale en toda la recta y (2) vale en los intervalos de continuidad de f. En otras palabras, S
N
(x)
tiende puntualmente a
1
2
[f (x + 0) + f (x 0)], x R, y tiende puntualmente a f (x) solo en los intervalos
de continuidad.
b. Si f es derivable en todo R entonces S
N
f (puntualmente).
Teorema 2. (Convergencia absoluta y uniforme) Si f : R C es una funcion 2-periodica, continua
y tiene derivada seccionalmente continua f

, luego S
N
f (absolutamente), es decir, S
N
(x) tiende
absoluta y uniformemente a f (x) para todo x R. Mas a un, las series

n1
|a
n
| y

n1
| b
n
| (3)
son convergentes.
Corolario. Si f es una funcion 2-peri odica y de clase C
1
, entonces se cumple la tesis del teorema.
Vale decir que existen otros criterios m as generales, esto es, otras condiciones sobre f que aseguran las
distintas formas de convergencia arriba mencionadas; por ejemplo la condicion de que f sea de variacion acotada:
el dominio de f se divide en intervalos donde esta puede escribirse como suma de una funcion monotona creciente
y una decreciente. Para mas detalles, ver el libro de Churchill.
1
Recordemos que esto es lo mismo que dar una funcion denida en [, ], seccionalmente continua all, y considerar su extension
2-peri odica.
1
Teorema 3. (Integracion termino a termino) Sea f una funcion 2-periodica, seccionalmente
continua y tal que

f () d = 0. Denamos F (x) =

x
0
f () d. Luego, F es continua, 2-periodica y con
derivada seccionalmente continua. Ademas, las sumas de Fourier de F
A
0
+

N
n=1
(A
n
cos nx + B
n
sin nx)
y la sucesion

x
0
S
N
() d, de las integrales termino a termino de S
N
, convergen absoluta y uniformemente a
F. En particular,

x
0
f () d =

n1
1
n
[a
n
sin nx b
n
(cos nx 1)] .
Notar que, en consecuencia, las series

n1
|n
r
a
n
| y

n1
|n
r
b
n
| , r 1, (4)
son convergentes.
Teorema 4. (Derivacion termino a termino) Sea f : R C una funcion 2-periodica y continua,
tal que su derivada f

sea seccionalmente continua. Luego

f (x) =
1
2
a
0
+

n1
(a
n
cos nx + b
n
sin nx) , (5)
y para cada x R tal que existan y sean nitas las derivadas laterales de f

[es decir, existan (f

R,L
(x 0)]
se tiene que
1
2
[f

(x + 0) + f

(x 0)] =

n1
n (a
n
sin nx + b
n
cos nx) . (6)
Si un tal x es ademas un punto de continuidad de la f

, entonces
f

(x) =

n1
n (a
n
sin nx + b
n
cos nx) . (7)
Notar que (7) se tiene de (5) derivando termino a termino.
Corolarios de interes (f es siempre 2-periodica):
a. Si f es dos veces derivable, luego S
N
f (absolutamente), y la serie
S

N
(x) =

N
n=1
n (a
n
sin nx + b
n
cos nx)
tiende puntualmente a f

(x).
En general, si f es k-veces derivable, entonces S
(r)
N
f
(r)
(absolutamente) para r k2, y puntualmente
para r = k 1. En tal caso tendremos
f
(r)
(x) =

n1
(1)
l
n
2l
(a
n
cos nx + b
n
sin nx) , r = 2l,

n1
(1)
l
n
2l+1
(a
n
sin nx + b
n
cos nx) , r = 2l + 1.
b. Si f es de clase C
k1
con derivada k-esima seccionalmente continua, luego S
(r)
N
f
(r)
(absoluta-
mente) para r k 1. Mas a un, podemos armar que las series

n1
|n
r
a
n
| y

n1
|n
r
b
n
| , r k 1, son convergentes. (8)
c. Si f es de clase C
k
, entonces S
(r)
N
f
(r)
(absolutamente) para todo x y para todo r k 1; y tambien
se cumple la ecuacion (8).
Observacion: De las ecuaciones (3), (4) y (8) se tiene lo siguiente: si a
n
y b
n
son los coecientes de Fourier
correspondientes a una funcion 2-periodica de clase C
k
(o de clase C
k1
con derivada k-esima seccionalmente
continua), con k 0, luego las series

n1
|n
r
a
n
| y

n1
|n
r
b
n
| , r k 1, (9)
convergen.
Recordemos ahora un par de teoremas sobre sucesiones de funciones en general.
Teorema 5. (Weierstrass) Sea S
n
: I R, I R un intervalo, una sucesion de sumas parciales de
funciones con termino general f
n
: I R; i.e. S
n
(x) =

n
m=1
f
m
(x). Supongamos que existe una sucesion
2
numerica de sumas parciales de termino general a
n
que converge absolutamente, y tal que |f
n
(x)| |a
n
| para
todo x I. Luego S
n
(x) es una sucesion uniformemente convergente en I.
Teorema 6. Sea f
n
: I R una sucesion de funciones de clase C
1
que converge puntualmente a una
funcion f en I. Si la sucesion de las derivadas f

n
converge uniformemente a una funcion g en I, entonces f es
de clase C
1
y vale que f

= g. En particular, f

n
f

.
Algunos corolarios:
a. Sea f
n
: I R una sucesion de funciones de clase C
k
. Si f
n
y f
(r)
n
tienden puntual y uniformemente a
funciones f y g
r
, respectivamente, entonces f es de clase C
k
y g
r
= f
(r)
para todo r k.
b. Sea S
n
(x) =

n
j=1
f
j
(x) una sucesion de sumas parciales de funciones tal que su termino general
es de clase C
k
. Si S
n
(x) y S
(r)
n
(x) =

n
j=1
f
(r)
j
(x) tienden puntual y uniformemente a funciones F y G
r
,
respectivamente, entonces F es de clase C
k
y se cumple G
r
= F
(r)
para todo r k. En otras palabras,
F
(r)
=

n1
f
(r)
n
(x) .
Los ultimos teoremas pueden extenderse facilmente a funciones de varias variables, cambiando el intervalo
I por una region de R
n
, y las derivadas ordinarias por parciales arbitrarias D

.
Con estos resultados, veamos como se puede proceder para demostrar que una serie de funciones obtenida a
traves de una secuencia de manipulaciones formales, de las que aparecen en un problema de EDP, es efectiva-
mente la solucion del problema en cuestion. Consideremos

u
tt
u
xx
= 0 para (x, t) (0, ) R,
u(x, 0) = f (x) y u
t
(x, 0) = 0 para x [0, ] ,
u(0, t) = u(1, t) = 0 para t R,
con f nula en 0 y en (la ecuacion de la cuerda vibrante con extremos jos, y condiciones iniciales dada por
una forma f (x) y velocidad nula). Si f es de clase C
1
, tendremos por el corolario del Teorema 2 que su serie
de Fourier

n1
c
n
sin nx converge uniformemente a f y que [ver ecuacion (3)]

n1
|c
n
| converge.
A traves del metodo de separacion de variables encontraremos una sucesion de sumas parciales
u
N
(x, t) =

N
n=1
c
n
sin nx cos nt.
Notar que u
N
es de clase C

. Veamos que le tenemos que pedir a los c

n
para que el lmite de u
N
de una
solucion del problema. Primero tendramos que ver si u
N
converge.

Esto sale facilmente del hecho que (ver
Teorema 5)
|c
n
sin nx cos nt| |c
n
| para todo x, t.
Llamemos u(x, t) a dicho lmite. Es claro que u(x, t) satisface las condiciones de borde e iniciales del problema.
Queremos ver ahora si existen las derivadas hasta orden dos de u(x, t), y que las mismas se obtienen como
lmite de las correspondientes derivadas termino a termino de u
N
(x, t). Los terminos generales de las derivadas
parciales primera y segunda de u
N
(x, t) se pueden acotar por |nc
n
| y

n
2
c
n

(cada vez que derivamos con

repecto a x o a t aparece un factor n). Si pedimos que f sea de clase C
3
(o de clase C
2
con derivada tercera
seccionalmente continua) tendremos, juntando la ecuacion (8) del Teorema 4 con el Teorema 5, que las
derivadas de u
N
(x, t) en cuestion son uniformemente convergentes.

Esto, junto con el Teorema 6, nos dice que
u(x, t) es de clase C
2
y que sus derivadas coinciden con el lmite de las derivadas correspondientes de u
N
(x, t).
En particular tendremos que
u(x, t) =

n1
c
n
(sin nx cos nt) = 0.
En resumen, hemos visto que si f es de clase C
3
(o de clase C
2
con derivada tercera seccionalmente continua),
el lmite de u
N
(x, t) es una funcion armonica que cumple con las condiciones de borde e iniciales.
Es dicil considerar una situacion que englobe todos los casos posibles. Sin embargo, para tener una idea
aproximada de como hay que proceder en general, supongamos que tenemos un problema de EDP con solucion
formal dada por una sucesion del tipo
u
N

n1
n
s
c
n

n
,
3
siendo los c
n
coecientes de Fourier de una funcion f que aparece en las condiciones iniciales o de borde.
Si las soluciones del problema deben ser de clase C
k
, y las derivadas de u
N
de orden r son de la forma
u
(r)
N

n1
n
(r)+s
c
n

n
, siendo (r) una funcion de r,
2
entonces basta con pedir que f sea de clase C
(k)+s+1
(o C
(k)+s
con derivada ((k) + s + 1)-esima seccionalmente continua).
En caso de que exista un principio del maximo, como veremos para la ec. de Laplace y en la del calor, la
demostracion de la convergencia de la serie solucion es mucho mas sencilla, pero los resultados son los mismos
a los que arribaramos usando los razonamientos desarrollados recien.
[1] R. Churchill, Fourier series and boundary value problems, McGraw-Hill (1963).
[2] T. Apostol, Mathematical analysis, Addison-Wesley (1957).
[3] R. Noriega, Calculo diferencial e integral, CINAE (1987).
2
En el caso de la ecuacion de ondas la funcion es la identidad para ambas variables; pero en la ecuacion del calor tenemos que
(r) = 2r para la variable t.
4