Edii MMLM Cap2

C APTULO 2
Teora espectral de operadores

diferenciales. Anlisis de
Fourier
I ntroducimos en este tema las nociones bsicas del anlisis en espacios funciona-
les, que son necesarias para abordar la teora de operadores diferenciales de tipo
SturmLiouville. Estos operadores se usarn posteriormente en la resolucin de
EDP lineales separables. Tambin se incluye en este tema una iniciacin al anlisis de
Fourier, esto a las series de Fourier y a la transformada de Fourier. Los puntos que
trataremos son:
1. Producto escalar en espacios funcionales

2. Conjuntos ortogonales de funciones
3. Operadores diferenciales simtricos
4. Autovalores y autofunciones. Operadores simtricos
5. Operadores de SturmLiouville
6. Series de Fourier
7. Transformada de Fourier
2.1. Producto escalar en espacios funcionales
Comenzamos esta seccin realizando un rpido recordatorio de lo que aprendi-

mos en lgebra Lineal sobre espacios complejos con producto escalar, enfatizando
los aspectos que son extensibles a espacios funcionales. Finalizamos viendo como la
expresin del producto escalar en espacios funcionales cambia bajo transformaciones
generales de coordenadas.
51
52 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
2.1.1. Producto escalar

Supongamos pues que tenemos un espacio vectorial complejo V , un producto es-
calar (, ) no es ms que una aplicacin que a cada pareja de vectores de V le asigna
producto escalar un nmero complejo, que eso si, debe satisfacer la siguiente lista de propiedades
Definicin 2.1.1. Un producto escalar en V es una aplicacin (, ) : V V C

tal que
i) (u, v) = (v, u), u, v V .
ii) (u, v1 + v2 ) = (u, v1 ) + (u, v2 ), u, v1 , v2 V y , C.
iii) (u, u) 0, u V ; (u, u) = 0 u = 0.
De las propiedades i) y ii) inferimos que (v1 +v2 , u) = (v 2 , u). Vemos

1 , u)+(v
que (, ) es casi una forma bilineal que a veces se denomina forma sesqui-lineal. La
propiedad iii) nos dice que el producto escalar de un vector consigo mismo es siempre
no negativo y que se anula tan slo para el vector 0. El producto escalar nos permite
norma dotar de longitud, que llamaremos norma, a los vectores:
q
kuk := + (u, u).
Una desigualdad bsica (desigualdad de CauchySchwarz) que relaciona la norma y el

desigualdad producto escalar es
de Cauchy |(u, v)| 6 kukkvk.
Schwarz Se cumplen para la norma tres propiedades fundamentales
i) kuk = 0 u = 0.
ii) kuk = ||kuk, C y u V .
iii) ku + vk 6 kuk + kvk (desigualdad triangular), u, v V .

Estas tres propiedades nos permiten definir una distancia en V
q
d(u, v) := ku vk = (u v, u v).
La nocin de producto escalar tal como la hemos esbozado aqu se puede aplicar
producto escalar a espacios funcionales.
de funciones
Definicin 2.1.2. Consideremos un abierto Rn y una funcin : R
diferenciable y positiva ((x) > 0 x ). Dadas dos funciones u, v definidas
sobre su producto escalar correspondiente a la funcin peso se define en la
forma Z
(u, v) = u(x)v(x)(x)
dn x.

Debemos recordar que la integral de funciones sobre de funciones con valores

complejos se entiende como:
Z Z Z
n n
u(x)(x) d x := Re(u(x))(x) d x + i Im(u(x))(x) dn x.

Ecuaciones Diferenciales II
2.1] Producto escalar en espacios funcionales 53
Obviamente, para que este producto escalar tenga sentido es necesario que la in-
tegral correspondiente1 exista. Esta condicin est garantizada si trabajamos en el
espacio de funciones
n Z o
2
L () := u : C kuk =2
|u(x)|2 (x) dn x < .

En realidad la operacin (, ) que acabamos de definir no es estrictamente un producto

escalar, lo que falla es que existen funciones u(x) 0 no nulas en que tienen norma
nula kuk = 0.2 Para subsanar este problema debemos considerar que una funcin es
la funcin cero si su norma lo es. Igualmente, dos funciones sern iguales si y solo si
su diferencia tiene norma cero. El conjunto obtenido a partir de L2 () mediante estas
identificaciones lo denotaremos por L2 () y es un espacio vectorial de dimensin Espacios de Hil-
infinita con producto escalar. El producto escalar en L2 () dota a este espacio de bert
funciones de una estructura matemtica que se conoce con el nombre de espacio de
Hilbert.3 Los elementos de L2 () se denominan funciones de cuadrado integrable sobre
. Si es un conjunto compacto (lo que equivale a que sea un conjunto acotado)
entonces es claro que toda funcin diferenciable en es de cuadrado integrable en .
Es decir
compacto C () L2 ().
Si no es compacto tal inclusin no es cierta y solo aquellas funciones diferenciables
que decrezcan suficientemente rpido en el infinito sern de cuadrado integrable.
Ejemplos

1. Sea = (0, +) R; u(x) = x y v(x) = 1, si el peso es (x) = 1 entonces el
producto escalar de u y v no existe ya que
Z
(u, v) = x d x = .
0
2
Si tomamos ahora el peso (x) = ex , el producto escalar de u con v existe
Z
2
(u, v) = xex d x = 1/2.
0

Q
2. Si tomamos el dominio = (0, 1) y el peso (x) = 1, el producto escalar de las
a
qust
a u

funciones u(x) = 1/x y v(x) = 1 no esta definido debido a la singularidad del
rain
teo tegrci
n
faqcis
m
integrando en x = 0
u nm
Z1
1
(u, v) = d x = .
s
0 x
Sin embargo, para el peso (x) = x obtenemos el siguiente producto escalar
Z1
1
x d x = 1.
0 x
1
Surge la pregunta integral estamos utilizando?, el lector ya conoce la integral de Riemann;
sin embargo, no es completamente adecuada en este contexto. De hecho, es necesario utilizar una
de sofisticada debida a Lebesgue.
2
Por ejemplo, la que sobre los racionales vale 1 y sobre los irracionales 0, es integrable
Lebesgue y con norma 0.
3
En rigor, lo que hacemos no es que considerar clases de equivalencia de funciones: u v
siempre que ku vk = 0. El espacio cociente L 2 ()/ es lo que denotamos por L2 ().
3. Tomamos ahora = (0, 1), u(x) = x + i x 2 y v(x) = 1 i x con (x) = 1.

Entonces
Z1 Z1
2
(u, v) = (x i x )(1 i x) d x = (x x 3 2 i x 2 ) d x = 1/2 2 i /3
0 0
y la norma de u es
Z1 2 Z1
2 2
kuk = (u, u) = x + i x d x = (x 2 + x 4 ) d x = 8/15.

0 0
4. Si = (0, 2 ), u(x) = ei x y v(x) = e2 i x con (x) = 1 obtenemos

Z 2
(u, v) = e i x e2 i x d x = 0
0
y el cuadrado de la longitud de u ser
Z 2
i x 2

2
kuk = e d x = 2 .
0
2.1.2. Cambios de coordenadas
Hemos definido el producto escalar de funciones sobre dominios en Rn usan-

do coordenadas cartesianas. Sin embargo, por el teorema del cambio de variables
del clculo integral estos productos escalares se pueden expresar en otro tipo de
cambio de coor- coordenadas, apareciendo as, desde un punto de vista activo, un cambio de domi-
denadas nio y de funcin peso, que en este caso ser el jacobiano de la transformacin. Por
ejemplo:
Si el dominio de definicin es el plano R2 podemos considerar coordenadas po-

coordenadas polares y llegar a
lares
Z Z Z 2
(u, v) = u(x,
y)v(x, y)(x, y) d x d y = u(r
, )v(r , )(r , )r d r d .
R2 0 0
As, cuando cambiamos a coordenadas polares tenemos (x, y) r (r , ).
coordenadas esf- En el espacio R3 tenemos las coordenadas esfricas y ahora

ricas
Z
(u, v) = u(x,
y, z)v(x, y, z)(x, y, z) d x d y d z
R3
ZZ Z 2
= , , )v(r , , )(r , , )r 2 sen d r d d .
u(r
0 0 0
y (x, y, z) r 2 sen (r , , ).
2.2] Conjuntos ortogonales de funciones 55
Ejemplos Sean el peso = 1 y las funciones u(r , , ) = ei /2 /(r 2 +1) y v(r , , ) =

sen
; entonces, su producto escalar es:
r2
Z Z Z 2
e i /2 sen 2
(u, v) = r sen d r d d
0 0 0 (r 2 + 1) r 2
h d r ih
Z Z ih Z 2 i
2 i /2
= 2
sen d e d
0 1+r 0 0
h i h sen 2 i h i2 h ih ih i
= arctan r 2 i e i /2 = 2 i(2) = i 2 .
0 2 4 0 0 2 2
2.2. Conjuntos ortogonales de funciones

conjunto ortogo-
En esta seccin intoducimos los conceptos de ortogonalidad, conjunto completo nal
de funciones y base ortogonal de un espacio funcional.
Definicin 2.2.1. Dado un conjunto de funciones {un (x)}nJ en L2 (),donde

J Z es un conjunto de ndices finito o infinito, decimos que es ortogonal si
(un , um ) = 0, n m; n, m J.
Ejemplos

n x
n o
i) El conjunto sen
es ortogonal en el intervalo [0, ] con peso (x) = 1.
n1
clu ticastrigo
tricas
Basta comprobar que
lof
rm
la
us c
a
r
u n
m
Z n x m x
sen sen dx
0
d
Z (n m) x (n + m) x
1

f
rm
la
us
= cos cos d x = 0,
0 2
para n m.4
4
En el de la integral hemos reducido expresiones en funciones
en formas lineales gracias a las del seno y del coseno:
cos A B) = cos A cos B sen A sen B,

sen(A B) = sen A cos B cos A sen B,
que dan lugar a las de suma siguiente
1
sen A sen B = (cos(A B) cos(A + B)),
2
1
sen A cos B = (sen(A B) + sen(A + B)),
2
1
cos A cos B = (cos(A B) + cos(A + B)).
2
ii) El conjunto cos n x

n o
es ortogonal en el intervalo [0, ] con peso (x) = 1.
n0
Como antes tenemos que para n m
Z n x m x
cos cos dx
0
Z (n m) x (n + m) x
1

= cos + cos d x = 0,
0 2
2.2.1. Desarrollos en serie de funciones ortogonales
Dado un conjunto ortogonal {un (x)}nJ una cuestin importante es conocer qu

tipo de funciones se pueden desarrollar en la forma v = nJ cn un . Cuando el con-
P
junto de indices J que etiquetan el conjunto ortogonal es infinito, debemos tener sumo
cuidado con el significado de la suma extendida a los indices en J. Si J = N la expre-
P PN
sin u(x) = n=1 cn un (x) se entiende como el lmite lmN n=1 cn un (x). De igual
forma cuando J = Z

X N
X M
X
u(x) = cn un (x) = lm cn un (x) + lm cm um (x).
n= N M
n=0 m=1
convergencia Ahora bien, cuando tratamos con funciones hay varias nociones distintas de lmite.
puntual, uniforme En este curso hay tres nociones de lmite que usaremos:
y en media
PN
i) Lmite puntual: x0 tenemos u(x0 ) = lmN n=1 cn un (x0 ).
PN
ii) Lmite uniforme: lmN supx u(x) n=1 cn un (x) = 0.

PN
iii) Lmite en media: lmN u n=1 cn un = 0.5

p
re
cro
c
A partir de este momento, salvo que digamos lo contrario, solo nos referiremos a series
de funciones que convergen en media. Las propiedades siguientes sobre funciones
desarrollables en serie de funciones ortogonales son de gran importancia.
5
La convergencia uniforme implica la convergencia puntual, sin embargo el inverso no es cierto
en general. Por otro lado, cuando el cierre de es compacto la convergencia uniforme implica la
convergencia en media y de nuevo el no se verifica.
2.2] Conjuntos ortogonales de funciones 57
Si v admite un desarrollo v = nJ cn un , entonces

P
Proposicin 2.2.2.
este desarrollo es nico y sus coeficientes cn vienen determinados por
(un , v)
cn = . (2.1)
kun k2
Si v = cn un y v = u su producto escalar es
cn
P P
nJ nJ n
kun k2 .
X
(v, v ) =
cn cn (2.2)
nJ
Si v = nJ cn un su norma satisface la siguiente identidad (identidad de

P
Parseval)
X |(un , v)|2
kvk2 = . (2.3)
nJ kun k2
Demostracin. 6
Como v = cm um y {un }nJ es ortogonal tenemos

P
mJ
X X
(un , v) = (un , cm um ) = cm (un , um ) = cn (un , un ).
mJ mJ
Como v = cn un y v = mJ cm u
P P
nJ m su producto escalar vale
kun k2 .
X X
(v, v ) =
cn cm (un , um ) =
cn cn
n,mJ n
Es consecuencia de las dos anteriores tomando v = v.
Otra propiedad relevante es la siguiente ortogonalidad en

espacios produc-
Si {un (x1 )}nJ1 es ortogonal en el dominio 1 con respecto al peso 1 (x) y
to
{vm (x2 )}mJ2 es ortogonal en el dominio 2 con respecto al peso 2 (x), en-
stracinlcita
ulacindem binl.
tonces {un (x1 )vm (x2 )}(n,m)J1 J2 es ortogonal en el dominio 1 2 con peso
tam
1 (x1 )2 (x2 ).
Demostracin. Basta utilizar el teorema de Fubini para factorizar la integral
p o
Z
n (x1 )v
u m (x2 )un (x1 )vm (x2 )(x1 )(x2 ) d x1 d x2
1 2
h Z ih Z i
= u
n (x1 )un (x1 )1 (x1 ) d x1 v
m (x2 )vm (x2 )2 (x2 ) d x2 = 0
1 2
si n n m m .
6
En esta las sumas dentro del producto escalar la extraemos fuera de Esta mani-
es obviamente siempre que las sumas sean finitas. Sin embargo, resulta serlo
en el caso de series convergentes en media.
2.2.2. Conjuntos ortogonales completos
Definicin 2.2.3. Dado un conjunto ortogonal {un }nJ en L2 () decimos que

es completo cuando toda funcin u L2 () se puede desarrollar como u =
n o
nJ cn un . En ese caso se dice que un
P
forma una base ortogonal del espacio
nJ
L2 ().
Si un conjunto ortogonal no es completo siempre puede ser extendido aadiendo

nuevos elementos hasta formar una base ortogonal.
2.3. Operadores diferenciales simtricos
En esta seccin se introduce la importante nocin de operador diferencial simtri-

co.7 Consideremos operadores diferenciales lineales L
X
L= a (x)D .

Supondremos siempre que el operador est definido sobre un subespacio lineal de

operador diferen- funciones D en L2 () que denominaremos dominio del operador.
cial simtrico
Definicin 2.3.1. Diremos que un operador diferencial L es simtrico sobre un
dominio D siempre que
(u, Lv) = (Lu, v), u, v D.
La forma natural de conseguir dominios en que un operador es simtrico es carac-

terizar el dominio imponiendo a sus elementos condiciones de contorno apropiadas.
Ejemplos Sea el operador
d2
L= , = (a, b) acotado en R.
d x2
bin
Para determinar dominios D L2 ([a, b]) en que este operador es simtrico, observe-
rhm n
ticoaq
uci
o tricotam
nsim
mos que para todo par de funciones diferenciables u y v en [a, b]
e
Zb b Z b

(u, Lv) = u(x)(v
(x)) d x = (u(x)v
(x)) + (x)v (x) d x
u

a a a
b Z b

= (u(x)v
(x) + u
(x)v(x)) + (x)v(x)) d x
(u

a a
b

= (u(x)v
(x)v(x)) + (Lu, v);
(x) + u

a
7
Hemos de subrayar que la de operador aparece con los nombres de
operador y operador autoadjunto

2.4] Autovalores y autofunciones. Operadores simtricos 59
hohmo
g nea
por tanto un dominio de simetra debe verificar que
b

(u(x)v
(x)v(x)) = 0,
(x) + u u, v D. (2.4)

ognea
om
a
Para este operador existen tres tipos de condiciones de contorno que determinan do-
minios de simetra de especial relevancia. En todos los casos es inmediato verificar que
se satisface (1.4)
i) Dirichlet condiciones de
Dirichlet

D := u C ([a, b]) : u(a) = u(b) = 0 .
ii) Neumann condiciones de

Neumann

D := u C ([a, b]) : u (a) = u (b) = 0 .
iii) Peridicas condiciones

peridicas
D := u C ([a, b]) : u(a) = u(b), u (a) = u (b) .
2.4. Autovalores y autofunciones. Operadores simtricos
Vamos a introducir ahora dos conceptos fundamentales: autovalores y autofun-

ciones de un operador diferencial. Tambin demostraremos que cuando el operador
diferencial es simtrico sus autovalores y autofunciones verifican propiedades impor-
tantes.
2.4.1. Problemas de autovalores
Definicin 2.4.1. Dado un operador diferencial lineal L sobre un dominio D,

decimos que C es un autovalor cuando existe una funcin no nula u D tal
que
Lu = u.
En ese caso u se denomina autofuncin o funcin propia del operador L corres-
pondiente al autovalor . El conjunto (L) de todos los autovalores de L se de-
nomina espectro de L . Para cada autovalor (L) se define su subespacio
propio correspondiente como el subespacio lineal siguiente
D := {u D : Lu = u}.
Cuando dim D = 1 decimos que el autovalor es simple y si dim D 2 que es

degenerado.
Ejemplos
i) Sea
d
L= , con D = {u C ([0, 1])|u(0) = 0}.
dx
El problema de autovalores es
du
= u, u(0) = 0, u 0.
dx
La solucin a la ecuacin diferencial es u(x) = cex y la condicin de frontera

implica que c = 0 y por ello u = 0. Luego no hay autovalores y por ello (L) = .
ii) Sea ahora el operador anterior pero en un do-

C minio diferente asociado a condiciones de
contorno peridicas:
6i
4i d
L= ,
2i dx
0
con D = {u C ([0, 1])|u(0) = u(1)}.
2 i
4 i De nuevo u(x) = cex y la condicin de
frontera implica e = 1; esto es:
6 i
(L) = {2n i }nZ ,
con los subespacios propios D2n i =

Ce2n i xy autovalores simples (dim D2n i = 1). En la figura adjunta se observa
la distribucin del espectro en el plano complejo.
Problemas de autovalores en una dimensin Consideremos un problema de auto-

valores
Lu = u, u D,
en una dimensin. Supongamos que el operador es de la forma
N
an (x)D n u(x),
X
Lu =
n=0
y que el dominio viene determinado por una serie de condiciones de contorno sobre
un intervalo acotado [a, b]
lj (u) = 0, j = 1, . . . , N,
donde N coincide con el orden del operador L. Para resolver el problema espectral
podemos proceder como sigue:
2.4] Autovalores y autofunciones. Operadores simtricos 61
1. Se resuelve la ecuacin diferencial ordinaria lineal homognea Lu = u conside-

rando como un parmetro. La solucin general ser de la forma
u(, x) = c1 u1 (, x) + + cN uN (, x),
siendo {ui }i=1,...,N un conjunto mximo de soluciones linealmente independien-

tes.
2. Se imponen las condiciones de contorno a la solucin general
lj (u) = 0, j = 1, . . . , N.
Lo que resulta es un sistema de N ecuaciones lineales homogneas
lj (u1 )c1 + + lj (uN )cN = 0, j = 1, . . . , N,
para los N coeficientes de la solucin general. Los elementos del espectro de L

estn caracterizados por la propiedad de admitir soluciones u D no nulas de
Lu = u. Pero esto ocurre si y solo si el sistema de ecuaciones para (c1 , . . . , cN )
admite soluciones no triviales (c1 , . . . , cN ) (0, . . . , 0). A su vez esto tiene lugar
si y slo si se anula el determinante de la matriz de coeficientes del sistema

l1 (u1 ) . . . l1 (uN )

.. ..
= 0.
. .

lN (u1 ) . . . lN (uN )

Esta condicin constituye una ecuacin del tipo
tricos.
sim i

m
si
t
r
co
s
f () = 0,
y sus soluciones forman el espectro (L).
3. Para cada n (L) resolvemos el sistema lineal correspondiente para (c1 , . . . , cN )

y determinamos la solucin general u = u(n , x) que constituir el espacio pro-
pio asociado Dn .
2.4.2. Autovalores y autofunciones de operadores
Teorema 2.4.2. Espectro de operadores Si L es un operador dife-

rencial simtrico sobre un dominio D entonces se satisfacen las siguientes propie-
dades:
Los autovalores son nmeros reales
(L) R.
Si u, v D son autofunciones correspondientes a autovalores diferentes

entonces son ortogonales
(u, v) = 0.
Demostracin. Si (L) entonces existe una funcin no nula u D tal que

Lu = u. Por ello,
kuk2 ,
(Lu, u) = (u, u) = (u, Lu) = (u, u) = kuk2 ,
y como el operador es simtrico (Lu, u) = (u, Lu) y kuk 0 debemos tener
dim
ensin
= . Luego es un nmero real.

Dados dos elementos distintos , del espectro de L, que ya sabemos que sern
nmeros reales, existen autofunciones u y v tales que Lu = u y Lv = v; por
tanto,
(Lu, v) = (u, v), (u, Lv) = (u, v).
Como L es simtrico, (Lu, v) = (u, Lv) y por ello ( )(u, v) = 0 y as, como
, se deduce (u, v) = 0.
2.5. Operadores de SturmLiouville en una

Esta seccin est dedicada a un tipo especial de operadores diferenciales: los ope-
radores de SturmLiouville. En primer lugar definimos esta clase de operadores en
el caso ms sencillo (caso regular), analizamos dominios en los que son simtricos y
estudiamos las propiedades de su espectro y sus autofunciones. Posteriormente con-
operadores de sideramos brevemente los operadores de SturmLiouville en el caso singular y, por
SturmLiouville ltimo, abordaremos tres ejemplos de operadores de SturmLiouville particularmen-
te relevantes: el operador de Schrdinger, el operador de Legendre y el operador de
Bessel.
Definicin 2.5.1. Un operador de segundo orden definido sobre un dominio de

L2 ([a, b]) es del tipo de SturmLiouville si es de la forma
1 d d u

Lu = p + qu ,
dx dx
con , p, q funciones diferenciables reales y , p 0 en (a, b).
2.5.1. Caso regular

Se dice que un operador de SturmLiouville es regular sobre un dominio
du i d u (b) = 0, i = 1, 2 ,

D := u C ([a, b]) : i u(a) + i u(b) + i (a) +
dx dx
(2.5)
con
1 , 2 , 1 ,
2 , 1 , 2 , 1 , 2 R y (condiciones de contorno linealmente indepen-
dientes)
1
!
1 1 1
rango 2 = 2,
2 2 2
operadores de si el intervalo abierto (a, b) es acotado (a y b ) y, las funciones , p, q son
SturmLiouville diferenciables en el intervalo cerrado [a, b] y , p > 0 en el intervalo cerrado [a, b].
regulares
2.5]
Carcter
trico
sim Operadores de SturmLiouville en una dimensin
Se presenta la cuestin siguiente: Para qu dominios un operador de SturmLiouville operadores

regular resulta ser simtrico? la respuesta es
Teorema 2.5.2. Un operador de SturmLiouville L regular sobre un dominio D es

63
de
SturmLiouville
simtricos
simtrico si y slo si u, v D se verifica
u(a) v(a) u(b) v(b)

p(a)
d u
dv = p(b)
d u
dv . (2.6)
(a) (a)
(b) (b)
dx dx dx dx

Demostracin. Para demostrarlo basta con probar que la diferencia (Lu, v) (u, Lv)
se anula para todo u, v D cuando la identidad (1.6) se satisface. Ello es cierto dado
que si u, v D
Zb
d dv d du

(Lu, v) (u, Lv) = u(x)
p(x) (x) + p(x) (x) v(x)
a dx dx dx dx
Zb b
d du dv du
dv

= p(x) v u = p(x) v u

a dx dx dx dx d x a

u(b) v(b) u(a) v(a)

= p(b)
d u dv + p(a) d u
dv = 0.
(b) (b)
(a) (a)
dx dx dx dx

Observar que la contribucin de q se cancela. Por tanto, el carcter simtrico de L:
(Lu, v) = (u, Lv), u, v D
es equivalente al criterio dado.
A continuacin mostramos algunos ejemplos bsicos de condiciones de frontera

que garantizan la condicin (1.4) y que por tanto determinan dominios sobre los que
los operadores de SturmLiouville regulares son simtricos.
1) Condiciones de contorno separadas, condiciones sepa-

radas
du
u(a) +
(a) = 0,
dx
d u (b) = 0;
u(b) +
dx
dos casos particularmente relevantes de stas son las condiciones de Dirichlet
u(a) = 0, u(b) = 0,
y las de Neumann
du du
(a) = 0, (b) = 0.
dx dx
2) Condiciones peridicas condiciones
peridicas
du du
u(a) = u(b), p(a) (a) = p(b) (b).
dx dx
Aunque estas condiciones de contorno recogen la mayora de las que aparecen en

las aplicaciones, no cubren, sin embargo, la totalidad de condiciones que determinan
espectro para ope- dominios en los que L es simtrico.8
radores de Sturm
Liouville regula-
res
Espectro
Cuando un operador de SturmLiouville es simtrico, debido al teorema general so-

bre operadores simtricos, sus autovalores son reales, y sus autofunciones correspon-
dientes a autovalores distintos son ortogonales. En el caso regular podemos afirmar
adems que
Teorema 2.5.3. Los mdulos de los autovalores {n }n1 de un operador de Sturm

Liouville L regular y simtrico en un dominio D, se pueden ordenar en una secuen-
cia creciente y no acotada
|1 | 6 |2 | 6 6 |n | 6 . . . .
Existe una base ortogonal {un } 2

n=1 de L ([a, b]) formada por autofunciones de
arctersim
tsrico,
L y el correspondiente desarrollo de cualquier u D

X
u= cn un ,
n=1
c
converge uniformemente a u.
irdcas li fiperidcsaim stico

Cuando las condiciones de contorno son separadas5 podemos afirmar tambin que
p
e
8
Clases amplias de condiciones de contorno, que contienen a las ya descritas y aseguran el
para operadores de SturmLiouville regulares son aquellas con
acn autouncnr,
acum
( 2
1 1
2 )p(a) = (1 2 1 2 )p(b).
5
Un teorema similar para operadores regulares sobre dominios con condiciones o anti-
del tipo: u(a) = u(b), u (a) = u (b) con p(a) = p(b) nos dice que los autovalores
(+) ()
asociados a estos dos dominios {n }n=1 , {n }n=0 , respectivamente, se ordenan en la siguiente se-
cuencia
(+) () () (+) (+) () () (+) (+)
< 0 < 1 6 2 < 1 6 2 < 3 6 4 < 3 6 4 < ....
Si se da la igualdad es que el autovalor es doble y no simple. La secuencia, al ser el operador

(+)
no puede tener puntos de finitos y por ello es no acotada. La u0 (x) no tiene
(+) (+) () ()
ceros en [a, b], u2n+1 (x) y u2n+2 (x) tienen (2n + 2) ceros en [a, b) en tanto que u2n+1 (x) y u2n+2 (x)
poseen (2n + 1) ceros en [a, b).
2.5] Operadores de SturmLiouville en una dimensin 65
Teorema 2.5.4. Para un operador de SturmLiouville regular en un dominio con

condiciones de contorno separadas se cumple:
Existencia de autovalor mnimo Si p > 0 los autovalores forman una sucesin

montona creciente acotada inferiormente
1 6 2 6 6 n < ,
divergente lmn n = . Si p < 0 el resultado anterior es valido para

{n }.
No degeneracin Los autovalores {n }n1 son simples.
Oscilacin La autofuncin un (x) correspondiente al n-simo autovalor n tiene

(n 1) ceros en el intervalo (a, b).
2.5.2. Caso singular

Un operador de Sturm-Liouville se dice singular cuando no es regular. Es decir operadores de
cuando al menos se verifica una de las siguientes condiciones SturmLiouville
singulares
O bien a = b = +.
Una al menos de las funciones , p, q es singular en a en b.
Una al menos de las funciones , p se anula en a en b.
Si [a, b] es acotado es fcil repetir la demostracin hecha anteriormente para el

caso regular para probar que un operador de SturmLiouville singular con dominio D
en L2 ([a, b]) es simtrico si y solo si u, v D se verifica
u(x) v(x) u(x) v(x)

! !

lm p(x)
d u
dv = lm p(x)
d u
dv . (2.7)
xa (x) (x)

xb (x) (x)
dx dx dx dx

Cuando el operador es simtrico se cumplen las propiedades del teorema general de

autovalores y autofunciones de un operador simtrico. Sin embargo el problema fun-
damental para operadores singulares es que sus autofunciones u D no forman un
conjunto completo en general. En tales casos debemos tomar soluciones u de la ecua-
cin Lu = u fuera no slo del dominio D del operador sino tambin de L2 ([a, b])
(autofunciones generalizadas).
Schin
d
rger:
2.5.3. Operadores de Schrdinger, Legendre y Bessel

Revisamos ahora tres de los tipos ms relevantes de operadores diferenciales que
aparecen en Fsica:
i) Operador de Elegimos (x) = 1 y p(x) = xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
operadores de 2 /2m R de tal modo que xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx q
Schrdinger xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
d2 u
Lu = 2 /2m
+ q(x)u. xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
d x2 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Las condiciones de frontera generales (1.7) antes ex- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
puestas permiten fcilmente definir dominios en los que xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
el operador es simtrico. Este es un operador fundamen- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
tal en Mecnica Cuntica ya que el problema de autova- a b
xxx
xxx xxx
xxx xxx
lores correspondiente describe las energas y los esta- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
dos estacionarios que caracterizan una partcula en un xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
campo de fuerzas que deriva del potencial q = q(x). xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Parte de la dinmica del sistema depende tambin de xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
las condiciones de contorno. Por ejemplo, si impone-

mos condiciones de Dirichlet en un intervalo acotado
[a, b], estamos describiendo una partcula confinada en [a, b] que se mueve de
acuerdo con el potencial q. Esta interpretacin se ilustra en la figura.9 En este
caso el operador de Schrdinger constituye un problema de SturmLiouville re-
gular simtrico y por ello el espectro, el conjunto de valores de energa posibles,
es discreto, simple y forma una secuencia creciente no acotada. Ms an, segn
las propiedades de oscilacin, el estado de energa mnima (estado fundamental)
no tiene ceros, el primer excitado uno, y as sucesivamente.
operadores de Le- ii) Operador de Legendre: Est determinado por

gendre
(x) = 1, p(x) = 1x 2 , q(x) = 0, [a, b] = [1, 1].
As, podemos escribir
d h d ui d2 u du
Lu = (1 x 2 ) = (1 x 2 ) + 2x .
dx dx d x2 dx

i
n
un a
Debemos subrayar que el operador de Legendre es sin-
fsico
gular en el intervalo [1, 1] ya que p se anula en 1.
f

g
Como p(1) = p(1) = 0, aplicando (1.7) tenemos que
:
el operador es simtrico en el dominio D = C ([1, 1])
c rc
de L2 ([1, 1]).
La ecuacin de autovalores del operador de Legendre
d2 u du
Lu = (1 x 2 ) 2
+ 2x = u,
dx dx
9
Debemos tener en cuenta que las paredes impenetrables no vienen dadas por q, que es diferenciable,
sino por las condiciones de Dirichlet en a y b, donde se anula la de onda. La ilustra
pues el potencial q en (a, b), diferenciable, y condiciones de contorno en a y en b.
es la llamada ecuacin de Legendre. Del estudio de esta

ecuacin diferencial ordinaria se concluye que slo hay
soluciones en D cuando = n(n + 1) donde n 0.10
Adems las autofunciones respectivas vienen dadas por
los polinomios de Legendre
1 dn (x 2 1)n
pn (x) = ,
2n n! d xn
cuya norma es polinomios de Le-
s
2 gendre
pn = .
2n + 1
Los primeros polinomios de Legendre son
n pn
0 0 1
1 2 x
2 6 (3x 2 1)/2
3 12 (5x 3 3x)/2
4 20 (35x 4 30x 2 + 3)/8
.. .. ..
. . .
Las grficas de estos polinomios
1
y p0
p1
p2 1
icotruncaintcnica
1
x
n
p3 p4
10
La forma de demostrar estas propiedades es utilizar la de Frobenius. Al desarrollar en serie
se observa que el caso en que las series convergen a funciones diferenciables en [1, 1], es
cuando = n(n + 1), que produce la de las series en polinomios.
A pesar del carcter singular del operador, el conjun-

to de autofunciones {pn } n=0 es una base ortogonal de
L2 ([1, 1]). Por lo tanto toda u L2 ([1, 1] admite un
desarrollo en serie de polinomios de Legendre

X
u(x) = cn pn (x).
n=0
operadores de iii) Operador de Bessel Tomamos ahora

Bessel
m2
(x) = x, p(x) = x, qm (x) = , m 0.
x
El operador correspondiente es
1 d h d u i m2 d 2 u 1 d u m2
Lm u = x + 2u= + u.
x dx dx x d x2 x d x x2
La ecuacin diferencial asociada al problema de autova-
lores Lu = u es
d2 u 1 d u h m2 i
2
+ 2
u = 0, (2.8)
dx x dx x
que con el cambio de variable
p
:= x,
x
se transforma en la ecuacin de Bessel
d2 u 1 du m2
+ + 1 u = 0,
dx2 x
dx
2
x
cuyas solucin general es de la forma
= c1 Jm (x)
u(x) + c2 Nm (x),

donde Jm son las funciones de Bessel y Nm las de Neu-

mann.11 Por ello, la solucin general de la ecuacin de
autovalores (1.8) es
p p
u(x) = c1 Jm ( x) + c2 Nm ( x). (2.9)
Cerca del origen el comportamiento de las funciones de

funciones de Bes- Bessel y Neumann es
sel 11
Las funciones de Bessel y Neumann poseen el siguiente comportamiento en el infinito
s
2
Jm (x) = cos x (2m + 1) + O (x 3/2 ),
x 4
s x .
2
Nm (x) = sen x (2m + 1) + O (x 3/2 ),
x 4
1 x m
Jm (x) ,
(m + 1) 2
x 0. (2.10)

2 ln(x) m = 0,
Nm (x) (m)
m
(2x)m 0,
Hay dos tipos de intervalos [a, b] que nos interesan, con

a > 0 y con a = 0. Cuando a > 0 el operador es regular
y es simtrico sobre los dominios descritos en el teore-
ma 1.5.2. Sin embargo, el operador es singular cuando
a = 0, por una cualquiera de las tres siguientes razones
(0) = 0, p(0) = 0 por no ser qm (x) diferenciable
en x = 0. En este caso un dominio conveniente sobre
el cual el operador Lm es simtrico cuando m > 0 es el
siguiente subespacio lineal de L2 ([0, b]).
n d u o
Dm = u C ((0, b]) : u(b) = 0, lm (x m u(x)) = 0, lm x 1m ,
x0 x0 dx
El carcter simtrico se deduce teniendo en cuenta que
para funciones u y v en Dm los dos lmites
h du
1m d v
i
lm x 1m (x)x m v(x) x m u(x)x
,
x0 dx dx
y
h du
1m d v
i
lm x 1m (x)x m v(x) x m u(x)x
,
xb dx dx
son ambos iguales a cero, luego la condicin (1.7) se
satisface. Adems, si consideramos la solucin (1.9)
p p
u(x) = c1 Jm x + c2 Nm ( x),
de la ecuacin de autovalores y tenemos en cuenta el

comportamiento en el origen (1.10) de las funciones de
Bessel, vemos que las condiciones en x = 0
d u
lm (x m u(x)) = 0, lm x 1m ,
x0 x0 dx
se cumplen si c2 = 0. Adems Jm est en C ((0, b])
si m N. Por ello, nos ocuparemos solo del caso en
que m es natural. Imponiendo ahora la condicin de
contorno u(b) = 0, llegamos a la siguiente condicin
para determinar los autovalores n
p
Jm b = 0.
Debido al carcter simtrico del operador, las autofun-

ciones
q
un (x) = Jm n x , n = 1, 2, . . .
forman un conjunto ortogonal

Zb q q b2 h d Jm i2
q
(un , un ) = Jm n x Jn n x x d x = n b nn .
0 2 dx
Adems este conjunto resulta ser completo en L2x ([0, b]).

As, cualquier funcin u L2x ([0, b]) puede desarrollar-
se como

X q
u(x) = cn Jm n x .
n=1
Cuando m = 0 un dominio conveniente es

n d u o
D0 = u C ((0, b]) : u(b) = 0, lm u(x), lm x =0 .
x0 x0 dx
El carcter simtrico lo inferimos observado que, para

cualesquiera pareja de funciones u y v en D0 , los lmites
h du dvi
lm x (x)v(x) u(x)x
,
x0 dx dx
y
h du dvi
lm x (x)v(x) u(x)x
,
xb dx dx
son nulos, satisfacindose de esta manera (1.7). Por otro
lado, la solucin general de la ecuacin de autovalores
p p
u(x) = c1 J0 x + c2 N0 ( x),
cumple las condiciones en x = 0

du
lm u(x), lm x (x)) = 0,
x0 x0 dx
si c2 = 0.12 Finalmente, imponemos la condicin de con-

torno u(b) = 0, obteniendo la siguiente condicin para
los autovalores n
p
J0 b = 0.
De nuevo, {J0 (n x/b)} es una base ortogonal en L2x ((0, b]).

Las primeras funciones de Bessel tienen el siguiente as-
pecto
12
Para ver que J0 las cumple basta con utilizar que J0 (0) = 1 y que
d J0
= J1 (x),
dx
por lo que
dJ
0
lm x (x)) = lm xJ1 (x) = 0.
x0 dx x0
2.6] Operadores de SturmLiouville en varias dimensiones 71
y
0.6 J1
J2
J3
J4
x
0
20
2.6. Operadores de SturmLiouville en varias dimensiones
La clase de operadores de Sturm-Liouville puede extenderse a varias dimensiones y

contiene varios ejemplos de gran relevancia por sus aplicaciones fsicas. Estos opera-
dores sern estudiados en captulos posteriores mediante la tcnica de separacin de
variables que nos permitir reducir su anlisis al de los operadores de Sturm-Liouville
en una dimensin.
Definicin 2.6.1. Sea un subconjunto abierto conexo de Rn , (n > 1). Un ope-

rador es del tipo de SturmLiouville si es de la forma
1

Lu = pu + qu ,

siendo , p, q funciones diferenciables con valores reales y , p 0 en .

operadores de
Para determinar dominios de simetra de estos operadores el espacio apropiado SturmLiouville
es L2 (). Obsrvese por ejemplo que si es acotado en R3 y , p, q son funciones en varias dimen-
diferenciables en , entonces usando la expresin del producto escalar en L2 () y siones
aplicando el teorema de la divergencia, obtenemos la identidad

Z
(Lu, v) (u, Lv) = u(x)
p(x)v(x) p(x)u(x) v(x) d3 x

Z
= p(x) (u)v u(v)
d3 x
Z
= p(x) (u)v u(v)
dS
S()
u
v
Z
= p(x) v u d S.
S() n n
Por lo tanto podemos enunciar
hohmo
gnea
Teorema 2.6.2. Suponiendo que es un dominio acotado en R3 y que , p, q son
funciones diferenciables en . El operador de SturmLiouville L es simtrico sobre
un dominio D en L2 () si y slo si u, v D se verifica
u
v
Z
p(x) v u
d S = 0. (2.11)
ognea
om
S() n n
Como consecuencia inmediata determinamos los siguientes dominios sobre los que
el operador de SturmLiouville es simtrico
i) Condiciones de Dirichlet

D := u C () : u =0 .

S()
ii) Condiciones de Neumann

u

inger
D := u C () : =0 .

Sch
n S()

d
r
Ejemplos relevantes de operadores de SturmLiouville en tres dimensiones son los
siguientes
i) Laplaciano Si tomamos (x) = p(x) 1 obtenemos el operador Laplaciano con

signo negativo
L =
2
ii) Hamiltoniano de Si hacemos = 1 y p =
el operador correspon-
2m
diente es el operador Hamiltoniano de Schrdinger en mecnica cuntica para
una partcula en un campo de fuerzas
2
Lu = u + q(x, y, z)u,
2m
2.7] Series de Fourier 73
trig
nom
o tricas
2.7. Series de Fourier
Vamos a abordar ahora el estudio de las series trigonomtricas de Fourier, una de

las herramientas matemticas ms importantes en el anlisis de fenmenos fsicos.
Introduciremos las series de Fourier en trminos de desarrollos en autofunciones de
operadores diferenciales simtricos.
2.7.1. Bases de Fourier
Consideraremos ahora problemas de autovalores asociados a dos operadores dife-

renciales particularmente simples. Los correspondientes desarrollos en autofunciones
constituyen las llamadas series trigonomtricas de Fourier.
1) Sea el operador13
d
L = i .
dx
Un dominio en el que es simtrico es el de las funciones diferenciables u en un intervalo

acotado [a, b] tales que u(a) = u(b), esto es: funciones que satisfacen condiciones
peridicas.
El problema de autovalores
i d u = u,

dx
u(a) = u(b),

tiene como solucin a

u(x) = cei x
satisfacindose la condicin de frontera si y slo si
ei (ba) = 1.
Esta condicin determina los posibles elementos del espectro
2
n = n, n Z, :=
ba
con las autofunciones asociadas siguientes
icaC
n
M untica
un (x) = ei nx .
e
c
2) El segundo operador que consideramos es
d2
L= .
d x2
Estudiaremos dominios asociados a tres tipos de condiciones de frontera

13
Que en es el operador momento lineal.
Peridicas El problema de autovalores es
d2 u

= u,

d x2

u(a) = u(b),
du du

(a) = (b).

dx dx
Cuando 0 tiene como solucin

p p
u(x) = c1 cos x + c2 sen x
verificndose las condiciones en la frontera si y slo si se satisface el siguiente

sistema lineal homogneo para (c1 , c2 )
p p p p
[cos a cos b]c1 + [sen a sen b]c2 = 0,
p p p p (2.12)
[sen a sen b]c1 [cos a cos b]c2 = 0.
Soluciones no triviales (c1 , c2 ) (0, 0) de este sistema existen si y slo si la

matriz de coeficientes tiene determinante cero
cos a cos b

sen a sen b

=0

sen a + sen b cos a cos b

esto es p p p p
[cos a cos b]2 + [sen a sen b]2 = 0.
Desarrollando los cuadrados y utilizando las frmulas trigonomtricas se obtiene
p
1 cos (b a) = 0
y por ello los autovalores no nulos son

2
n = 2 n2 , n = 1, 2, . . . := .
ba
Estos autovalores no son simples (obsrvese que es un problema de Sturm
Liouville con condiciones de contorno peridicas), ya que para cualquiera de
ellos el sistema lineal homogneo (1.12) se reduce a un sistema en que la ma-
triz de coeficientes es la matriz cero; por tanto, admite como soluciones todos
los valores de (c1 , c2 ). De esta forma
Dn = C{sen nx, cos nx}.
Por otro lado, = 0 tambin es autovalor y la autofuncin correspondiente puede

tomarse como 1 (las soluciones de u = 0 son u(x) = c1 + c2 x, pero las
condiciones de contorno imponen c2 = 0). Por tanto, el conjunto de autovalores
es
2
n = 2 n2 , n = 0, 1, . . . , := .
ba
El conjunto de autofunciones
{1, cos nx, sen nx}

n=1 .
constituye un conjunto ortogonal completo en L2 ([a, b]).
2.7]
Dirichlet
ogneas
hom

d x2
Series de Fourier
El problema de autovalores ahora es

d2 u
= u.
u(a) = 0,
u(b) = 0

75
El valor = 0 no est en el espectro ya que si lo estuviera la correspondiente

autofuncin sera de la forma u(x) = c1 + c2 x y las condiciones de contorno
implican que c1 + c2 a = c1 + c2 b = 0, y como b a 0 se tiene c1 = c2 = 0. Las
soluciones a la ecuacin diferencial para 0 tienen la forma
p p
u(x) = c1 cos x + c2 sen x,
y las condiciones de contorno se satisfacen si y solo si

p p
c1 cos a + c2 sen a = 0,
p p
c1 cos b + c2 sen b = 0.
Existirn soluciones no triviales (c1 , c2 ) (0, 0) si y slo si

cos a sen a

= 0,
cos b sen b

esto es p
sen (b a) = 0.
ogneas
hom
As pues, los autovalores son
2 2 2
n = n , n = 1, 2, . . . , := ,
4 ba
y las correspondientes autofunciones resultan ser

un (x) = sen n a cos n x + cos n a sen n x
2 2 2 2

= sen n (x a).
2
Neumann Ahora tenemos
d2 u

= u,

d d x2

u

(a) = 0,

dx
d u (b) = 0.

dx
En este caso = 0 est en el espectro: la solucin es u(x) = c1 + c2 x , las

condiciones de frontera implican c2 = 0 y la correspondiente autofuncin es
u0 (x) = 1. Cuando 0 las soluciones tienen la forma
p p
u(x) = c1 cos x + c2 sen x
satisfacindose las condiciones de contorno si y solo si

p p p p
c1 sen a + c2 cos a = 0,
p p p p
c1 sen b + c2 cos b = 0.
Existen soluciones no triviales (c1 , c2 ) (0, 0) si slo si

p sen a cos a

=0
sen b cos b
esto es p
sen (b a) = 0.
As pues, los autovalores son
2 2 2
n = n , n = 0, 1, . . . := .
4 ba
Las autofunciones son

un (x) = cos n a cos n x + sen n a sen n x
2 2 2 2

= cos n (x a).
2
2.7.2. Desarrollos de Fourier

Los desarrollos en autofunciones inducidos por los operadores diferenciales si-
mtricos vistos en la anterior sub-seccin constituyen los denominados desarrollos en
series trigonomtricas de Fourier. A continuacin estudiamos sus propiedades usando
(1.1) y el teorema 2.5.3.
d
1) El operador L = i es simtrico sobre el dominio D de funciones diferen-
dx
ciables u = u(x) en el intervalo [a, b] tales que u(a) = u(b). Por tanto:
series de exponenciales
Toda funcin u L2 ([a, b]) puede desarrollarse en la forma

2
cn ei nx ,
X
u= := ,
n= ba
con
Zb
1
cn = e i nx u(x) d x.
ba a
En general la serie converge en media a la funcin u, sin embargo si u D la

serie converge uniformemente.
Obsrvese que en el anterior clculo de los coeficientes cn se ha tenido en cuenta

Rb
que kun k2 = a d x = b a.
d2
2) El operador L = es del tipo SturmLiouville regular y simtrico siempre
d x2
que [a, b] sea un intervalo finito y se den cualesquiera de las tres condiciones de con-
torno estudiadas: peridicas, Dirichlet y Neumann. Por ello, los conjuntos asociados
de autofunciones son bases ortogonales en L2 ([a, b]). As todas las series que vamos
a tratar convergen en media a la funcin u L2 ([a, b]) que desarrollan, y si adems
sta pertenece al correspondiente dominio D convergen uniformemente.
series de senos y cosenos (condiciones peridicas)
Toda funcin u L2 ([a, b]) se puede desarrollar en la forma

a0 X 2
u= + (an cos nx + bn sen nx), :=
2 n=1
ba
donde los coeficientes se determinan mediante las denominadas frmulas de

Euler
Zb
2
an = cos nx u(x) d x, n 0
ba a
Zb (2.13)
2
bn = sen nx u(x) d x, n 1.
ba a
La base de autofunciones usada es

n 1 o
u0 = , un = cos nx, vn = sen nx
2 n=1
y se ha tenido en cuenta que

Zb
2 1 ba
ku0 k = dx = ,
4 a 4
Zb
1 b ba
Z
2 2
kun k = cos nx d x = (1 + cos 2nx) d x = ,
a 2 a 2
Zb Zb
2 2 ba
kvn k = sen nx d x = (1 cos2 nx) d x = .
a a 2
Es claro que existe una relacin estrecha entre las series de Fourier de exponenciales
y las de senos y cosenos. Podemos pasar de una a otra simplemente utilizando las
frmulas
ei nx = cos nx + i sen nx,

1 i nx 1 i nx
+ e i nx , sen nx = e i nx .

cos nx = e e
2 2i
extensin peri-
Aunque la funcin u est en principio definida solo sobre el intervalo [a, b], los dica
dos tipos de desarrollos de Fourier que acabamos de ver proporcionan series de fun-
ciones peridicas con periodo (b a). Luego las funciones suma de las series pueden
extenderse a funciones peridicas del mismo periodo sobre la recta. Por tanto tales
extensiones desarrollan la extensin peridica de u definida como sigue. Dado x R,
existe un nico entero m Z tal que x [a + m(b a), b + m(b a)]. La extensin
peridica se define como
uper (x) := u(x m(b a)).
Esto es, la grfica de uper (x) se construye simplemente pegando copias, una tras otra,
de la de u sobre [a, b]. Los desarrollos en series de exponenciales o de cosenos y senos
se pueden aplicar a u o a su correspondiente extensin peridica.
uper (x)
u(x)
ogneas)
hom
a (b a) a b b + (b a)
series de senos (condiciones de Dirichlet
Toda u L2 ([a, b]) puede desarrollarse como

X n 2
u= bn sen (x a), :=
n=1
2 ba
con
Zb
2 n
bn = sen (x a) u(x) d x, n 1.
ba a 2
La base ortogonal de autofunciones usada es

n n o
vn = sen (x a)
2 n1
cuyas normas al cuadrado son

Zb Zb
2 2n 1 2 ba
kvn k = sen (x a) d x = 1 cos n (x a) d x = .
a 2 a 2 ba 2
Podemos extender la funcin suma de la serie de senos a toda la recta. El resultado

es un desarrollo para la denominada extensin impar de la funcin u. La extensin
impar de u a toda la recta se determina en dos etapas: primero se extiende al intervalo

[a (b a), b] = [2a b, a] [a, b] de forma impar, esto es, si x [a, b] definimos
uimpar (a (x a)) = u(x),
impar y despus se realiza una extensin peridica desde el intervalo [2a b, a] a toda la
recta.
uimpar (x)
ogneas)
hom
a b + (b a)
u(x)
b + 2(b a)
a (b a) b
series de cosenos (condiciones de Neumann
Toda u L2 ([a, b]) puede desarrollarse como

a0 X 2
u= + an cos n (x a), :=
2 n=1
2 ba
donde
Zb
2
an = cos n (x a) u(x) d x, n 0.
ba a 2
La base de autofunciones usada es

n 1 o
u0 = , un = cos n (x a)
2 2 n1
con normas al cuadrado

Zb
1
2 ba
ku0 k = dx = ,
4 a 4
Zb
1 b 2 ba
Z
kun k2 = cos2 n (x a) d x = 1 + cos n (x a) d x = .
a 2 2 a ba 2
La funcin suma de la serie de cosenos puede extenderse tambin a toda la recta.
La funcin resultante es el desarrollo de la extensin par de u definida en la forma
siguiente: extendemos la funcin u al intervalo [a (b a), b] = [2a b, a] [a, b]
de forma par, esto es, si x [a, b] definimos
upar (a (x a)) = u(x),
y despues se realiza la extensin peridica desde [2a b, b] a toda la recta. extensin par
upar (x)
u(x)
a (b a) a b + 2(b a)
b b + (b a)
Ejemplos Consideremos la funcin u(x) = ex en el intervalo [0, 1]. Vamos a analizar

los tres diferentes desarrollos trigonomtricos de Fourier. En primer lugar considera-
mos el desarrollo en serie de senos y cosenos y su extensin peridica. Despus ana-
lizamos los desarrollos en slo cosenos y en slo senos y sus extensiones par e impar
respectivamente.
La serie de Fourier de cosenos y senos
a0 X h i
ex = + an cos 2 nx + bn sen 2 nx
2 n1
tiene por coeficientes
Z1 hZ1 i hZ1 i
x x 2 i nx
an = 2 e cos 2 nx d x = 2 Re e e d x = 2 Re e(1+2 i n)x d x
0 0 0
#1
e(1+2 i n)x
"
= 2 Re
1 + 2 i n 0
2[e 1]
= ,
1 + 4 2 n2
#1
e(1+2 i n)x
Z1 hZ1 i
"
x x 2 i nx
bn = 2 e sen 2 nx d x = 2 Im e e d x = 2 Im
0 0 1 + 2 i n 0
= 2 nan
La extensin peridica de ex tiene como grfica
3 2 0
1 1 2 3
y los primeros trminos de su desarrollo en senos y cosenos son

"
x 1 1 1
[e ]periodica 2(e 1) + cos 2 x + cos 4 x
2 1 + 4 2 1 + 16 2
#
1 1
+ cos 6 x + cos 8 x +
1 + 36 2 1 + 64 2
"
1 2
4 (e 1) 2
sen 2 x + sen 4 x
1 + 4 1 + 16 2
#
3 4
+ sen 6 x + sen 8 x + .
1 + 36 2 1 + 64 2
Representamos a continuacin la grfica de la extensin peridica de la exponen-

cial y la de su serie trigonomtrica de Fourier truncada a n = 4 (la lnea oscilante).
y
3
3 2 0 3
1 1 2
Se observa que en las discontinuidades de la funcin la serie tiende al valor medio

de los valores a la izquierda y a la derecha de la funcin dada. Adems vemos
que cerca de estas discontinuidades la serie truncada oscila, la presencia de estas
oscilaciones es el llamado fenmeno de Gibbs, y permanece aunque tomemos
ms trminos en la serie.
Consideramos ahora las serie de slo cosenos y de slo senos,
a0
ex = ex =
X X
+ an cos nx, bn sen nx.
2 n1 n1
Se verifica que
Z1 hZ1 i hZ1 i
x x i nx
an = 2 e cos nx d x = 2 Re e e d x = 2 Re e(1+i n)x d x
0 0 0
#1
e(1+i n)x
"
= 2 Re
1 + i n 0
2[(1)n e 1]
= ,
1 + 2 n2
#1
e(1+i n)x
Z1 hZ1 i
"
x x i nx
bn = 2 e sen nx d x = 2 Im e e d x = 2 Im
0 0 1 + i n 0
= n an
La extensin par [ex ]par tiene por grfica
x
3 2 1 0 1 2 3
en tanto que la extensin impar [ex ]impar se representa como
x
0
3 2 1 1 2 3
1
Las respectivas series son
h e+1 e1
[ex ]par e 1 + 2 2
cos x + cos 2 x
1+ 1 + 4 2
e+1 e1 i
cos 3 x + cos 4 x + ,
1 + 9 2 1 + 16 2
h e+1 e1
[ex ]impar 2 2
sen x 2 sen 2 x
1+ 1 + 4 2
e+1 e1 i
+3 sen 3 x 4 sen 4 x +
1 + 9 2 1 + 16 2
A continuacin mostramos las grficas de las funciones extendidas de forma

par e impar y sus series en cosenos y senos truncadas en n = 6. Para [ex ]par
tenemos
3 2 1 0 1 2 3
ncin
fu
en ella se marca con cruces la serie de Fourier en cosenos truncada a n = 6 y
en lnea continua la funcin ex extendida de forma par. Observamos por un lado
que es una buena aproximacin y por otro que en los puntos x = 0, 1, 2, . . .
la tangente a la serie truncada tiene pendiente nula, esto es la derivada se anula
(como debe ser ya que la derivada slo tiene senos que se anulan en estos puntos)
a diferencia de la funcin original en la que la derivada salta de 1 a 1.14 En tanto
que para [ex ]impar tenemos
14
Si u es un a derivable en [a, b] salvo por un conjunto discreto de puntos podemos asegurar
la convergencia uniforme.
3 2 1 x
0 1 2 3
La lnea oscilante representa la serie de Fourier de senos truncada a sexto orden.

Debemos notar que en los puntos conflictivos 0, 1, 2, . . . la discrepancia entre
funcin y serie truncada es notable. Por ejemplo, en x = 0 la funcin original
tiene un salto discontinuo de 2 unidades en tanto que la serie se anula, como
debe ser. Estos fenmenos son debidos a que la funcin elegida no cumple los
requisitos de contorno, aunque sin embargo en el interior la serie de Fourier
converge a la extensin dada.
2.7.3. Convergencia de series de Fourier
Tratamos ahora el problema de la convergencia de las series de Fourier de una

funcin u(x). Como ya sabemos para cualquier funcin u L2 ([a, b]) sus series de
Fourier en exponenciales, en senos y cosenos, en slo senos y en slo cosenos conver-
convergencia en ge en media. Ms an, si la funcin es diferenciable y satisface la condiciones de
media contorno adecuadas (peridicas, Dirichlet homogneas o Neumann homogneas) las
correspondientes series convergen uniformemente (y por tanto tambin puntualmen-
te) a la funcin u. Una cuestin fundamental es saber cundo las series de una funcin
general u L2 ([a, b]) convergen puntualmente y cul es la relacin entre la funcin
lmite y la funcin u. Una clase de funciones para la que podemos dar respuestas muy
precisas a estas cuestiones es la siguiente
Definicin 2.7.1. Una funcin u = u(x) es C 1 a trozos en un intervalo [a, b]

cuando existe una particin a = c1 < c2 < . . . < cM = b de [a, b] tal que
i = 1, . . . , M 1, tanto u como su derivada primera u son continuas en los
subintervalos (ci , ci+1 ) y tienen lmites laterales finitos en los extremos ci y ci+1 .
Por ejemplo, analizar la convergencia puntual de la serie de senos y cosenos de una

funcin u L2 ([a, b]) consiste en averiguar para que puntos x R existe el lmite
lm SN (u, x),
N
donde SN (u, x) denota la suma parcial N-sima de la serie de senos y cosenos

N
a0 X
SN (u, x) := + an cos nx + bn sen nx .
2 n=1
y determinar su relacin con el valor de u en x. Una respuesta de gran inters prctico

es el siguiente teorema convergencia
puntual
Teorema 2.7.2 (Dirichlet (1829)). Si u(x) es una funcin C 1 a trozos en [a, b]
entonces sus series de Fourier convergen puntualmente en todo punto x R y su
lmite es igual a
uext (x + 0+ ) + uext (x + 0 )
,
2
donde uext denota la correspondiente extensin (peridica, par o impar) de u a
todo R y
uext (x + 0 ) := lm uext (x ||).
0
Este resultado resuelve completamente el problema de la convergencia puntual

de las series de Fourier para la clase de funciones del enunciado. Bsicamente slo
necesitamos conocer la extensin a R de la funcin u = u(x) y aplicar las siguientes
consecuencias del teorema de Dirichlet
1) Si x es un punto de continuidad de uext entonces ambos lmites uext (x + 0 ) coin-

ciden con uext (x), as que la serie de Fourier correspondiente converge puntual-
mente a uext .
2) Si x es un punto de discontinuidad de uext los dos lmites uext (x+0 ) son diferentes
y constituyen dos candidatos igualmente atractivos para el lmite puntual de la
serie de Fourier. La serie toma en este caso una decisin salomnica y decide
converger puntualmente a la semisuma de estos dos lmites.

Ejemplo Sea la funcin
, 0 x ,
4
u(x) =
, x < 0.
4
Consideremos su correspondiente desarrollo de Fourier en exponenciales. Teniendo

en cuenta que en este caso b a = 2 , = 1

cn ei nx ,
X
u(x) =
n=

1
Z 0,
si n es par,
cn = u(x)e i nx d x = 1
2 , si n es impar.
2in

Por tanto
1 h i x 1 i 3x i 1h 1 i
u(x) = e + e + ... + e i x e i 3x . . . ,
2i 3 2i 3
que agrupando trminos queda en la forma

1 X sen(2n + 1)x
u(x) = sen x + sen 3x + = .
3 n=0
2n + 1
Esta es la serie de Fourier de senos y cosenos de v en el intervalo [ , ] (los trminos

en los cosenos tienen coeficiente cero). La grfica de la funcin y de la suma parcial de
la serie de Fourier para N = 40 son
0,5
3 2 1 1 2 3 x
0,5
La funcin u es C 1 a trozos en [ , ] as que su serie de Fourier debe verificar las

propiedades que asegura el teorema de Dirichlet. Podemos comprobar directamente
algunas de tales propiedades. Tomemos los puntos x = 0, . En ellos todos los senos
de la serie se anulan, luego la suma de la serie converge puntualmente en x = 0,
al valor cero, que es precisamente el valor que toma la extensin peridica
uext (x + 0+ ) + uext (x + 0 )
,
2
en tales puntos.

Observemos que la convergencia puntual para x = implica
2

X (1)n
= .
4 n=0
2n + 1
El anlisis de la convergencia puntual de las series de Fourier para clases ms

generales de funciones es un problema de enorme inters y altamente no trivial.
1) Puede suceder que una funcin u sea continua en un punto x, y que su serie de
Fourier no sea convergente en x (Du Bois Reymond, 1873). (Hall una funcin u
con lm supN SN (u, 0) = .)
2) En 1923, Kolmogorov hall una funcin u integrable en el sentido de Lebesgue (y

no de Riemann) cuya serie de Fourier no converge en ningn x de [a, b].
teorema de Carle- 3) En 1915 Luzin conjetur y en 1966 Carleson demostr que las funciones de cuadra-
son do integrable poseen series de Fourier convergentes en asi todos los puntos".
Otro aspecto interesante de la convergencia de las series de Fourier es el llamado

fenmeno de fenmeno de Gibbs. El fsico Michelson construy un aparato para computar las series
Gibbs de Fourier. La mquina fue probada calculando los 80 primeros coeficientes de Fourier
de la funcin
x x [ , ],
u=
0 en los dems casos.
Para sorpresa de Michelson la serie truncada mostraba dos pequeos resaltes en x =

, los puntos de discontinuidad; de hecho, a medida que N crece estas dos pertur-
baciones sobre el resultado exacto se aproximan a las discontinuidades, aunque no
decrecen en valor, siendo ste el 19 % de los resultados exactos: y suponiendo
8,5 %, 9 % del salto total de la funcin (2 ). Gibbs, en dos artculos a Nature dio la
explicacin a este hecho, que desde entonces se conoce como fenmeno de Gibbs: vino
a decir que no se deben confundir la grfica del lmite con el lmite de las grficas. La
suma parcial de Fourier es
N
2
(1)n
X
SN (u, x) = sen nx.
n=1
n
Por ello, uno encuentra que
N Z
X 2 n sen x
SN (u; /N) = sen 2 d x ' 1,17 .
n=1
n N 0 x
En donde la evaluacin del lmite la hemos obtenido considerado la serie como una
suma de Riemann.
En el punto x = tenemos convergencia puntual a 0:
lm SN (u, ) = 0.
N
Por tanto
lm SN (u, ) lm SN (u, (1 1/N)),

N N
que muestra que la convergencia en x = no es uniforme. El salto, que no desaparece

por muy grande que sea N, a medida que N crece se va aproximando a x = .
A continuacin mostramos las grficas para N = 10, 20, 240, 80, 160 de la serie de
Fourier truncada en donde se aprecia claramente el fenmeno de Gibbs.
PSfrag replacements
y
y y
3 3 3
2 S10 (x) 2 S20 (x) 2 S40 (x)
1 1 1
3 2 1 1 2 3 x 3 2 1 1 2 3 3 2 1 1 2 3x
0 0 x 0
1 1 1
2 2 2
3 3 3
y
3 y
3
2 S80 (x) 2 S160 (x)
1 1
3 2 1 1 2 3
0 x 3 2 1 0 1 2 3 x
1 1
2 2
3 3
Por ltimo nos queda por discutir el error al truncar y la velocidad de convergencia
error de una serie de Fourier. As, si u C r ([a, b]) y la r -sima derivada est acotada
dr u

K

d xr

entonces
cr K ln N
st
|SN (u, x) u(x)|
Nr
donde cr es una constante que tan slo depende de r . Vemos que cuantas ms de-
rivadas de la funcin existan ms rpida es la convergencia.15 Si la funcin u(x) es
e
analtica en [a, b] tenemos
|SN (u, x) u(x)| cqN
0 < c y 0 < q < 1 dependen solamente de u.
15
De cota se infiere la convergencia uniforme.
2.8]
2.8.1. Denicn
2.8. Transformada de Fourier
Transformada de Fourier
de la transformada de Fourier
La transformada de Fourier de una funcin u = u(x) puede describirse como un
desarrollo de u en autofunciones del operador
cuando el dominio de L es de la forma

Lu = i Du,
89
\
D := {u L2 (R) C (R) : Lu L2 (R)}.
Advirtase que la definicin de D est motivada por el hecho de que al considerar

funciones u definidas sobre toda la recta, no est asegurado que u L2 (R) cuando
u C (R), por lo que tenemos que exigir que u pertenezca a ambos espacios. Por
otro lado tambin debemos exigir que Lu L2 (R) para que L constituya una aplicacin
D L2 (R). Lo especial de este dominio es que, a pesar de que L es simtrico en l, no
existen autofunciones de L en D. Esto es claro ya que
Lu = u,
implica
u = cei x , c 0,
pero tales funciones no estn en L2 (R) ya que
Z + Z +
|u|2 dx = |c|2 e2 Im()x dx = .

Sin embargo, vamos a mostrar que un subconjunto de estas autofunciones
B := {ek (x) := ei kx : k R},
permite desarrollar todas las funciones u L2 (R). El desarrollo ahora no ser una se-
rie, sino una integral. De hecho la base B de funciones del desarrollo no es un conjunto
discreto, ya que posee tantos elementos ek , k R como el conjunto de los nmeros
reales.
Para introducir este nuevo desarrollo partimos de la serie de Fourier de exponen-
ciales de una funcin u L2 ([a, b])
Zb
1
cn ei kn x , e i kn x u(x) d x,
X
u(x) = cn =
nZ
ba a
donde
2
kn := n, := .
ba
Nuestra idea es escribir esta suma en la forma de suma de Riemann de una integral
respecto de la variable k. En este sentido tenemos que
c(kn )ei kn x k
X
u(x) = (2.14)
nZ
donde
k := kn+1 kn = ,
cn 1 b i kn x
Z (2.15)
c(kn ) := = e u(x) d x.
k 2 a
Si realizamos el lmite
a , b +,
obsrvese que k 0 y que tenemos
Z
u(x) = c(k)ei kx d k,
R
1
Z
c(k) = e i kx u(x) d x.
2 R
Este es el desarrollo de u en las autofunciones ek (x). La funcin c = c(k) juega el papel

de coeficientes del desarrollo. Toda la informacin de la funcin primitiva u = u(x)
queda codificada en la nueva funcin c = c(k). La nomenclatura y notacin usual para
este desarrollo son
c(k) =: F(u), transformada de Fourier de u.

u(x) =: F1 (c), transformada de Fourier inversa de c
transformada de
Fourier versus se- La transformada de Fourier aparece de este modo como un lmite continuo del
ries de Fourier concepto de desarrollo en serie de Fourier.
Consideramos ahora la extensin n-dimensional de la transformada de Fourier.
Denotaremos
x = (x0 , x1 , . . . , xn1 ) Rn , k = (k0 , k1 , . . . , kn1 ) Rn ,
transformada de
Fourier en Rn x k = x0 k0 + + xn1 kn1 .
La transformacin de Fourier para funciones de n variables se define como sigue
Z
u(x) = ei kx c(k) dn k =: F1 (c), transformada inversa de Fourier de c
Rn
1
Z
c(k) = e i kx u(x) dn x =: F(u), transformada de Fourier de u.
(2 )n Rn
Un problema bsico es saber cuando existe la transformada de Fourier de una

funcin. Algunos resultados importantes son los siguientes
Teorema 2.8.1. Si u(x) es absolutamente integrable, esto es si

Z
|u(x)| dn x < ,
Rn
entonces su transformada de Fourier F(u) existe y es una funcin continua en

todo Rn .
Sin embargo el espacio de funciones absolutamente integrables no queda invariante

bajo la transformada de Fourier. Es decir, existen funciones absolutamente integrables
2.8] Transformada de Fourier 91
cuya transformada de Fourier no es absolutamente integrable. En este sentido el espa-

cio L2 (Rn ) es ms apropiado ya que se verifica
Teorema 2.8.2. Si u(x) es de cuadrado integrable (u L2 (Rn )), esto es si

Z
|u(x)|2 dn x < ,
Rn
entonces su transformada de Fourier F(u) existe y es tambin una funcin de

cuadrado integrable. Adems, la transformada de Fourier define una aplicacin
lineal biyectiva
F : L2 (Rn ) L2 (Rn )
que conserva el producto escalar salvo un factor constante
(2 )n (Fu, Fv) = (u, v), u, v L2 (Rn ).
La inversa de la transformada de Fourier es lo que hemos definido como transfor-

macin de Fourier inversa.
Hay que advertir que la integral impropia que acompaa a la operacin de transfor-
mada de Fourier sobre elementos de L2 (Rn ) hay que efectuarla en un sentido diferente
del habitual. En concreto, se define como
1
Z
c(k) = lm cR (k), cR (k) := e i kx u(x) dn x,
R (2 )n |x|R
donde la operacin de lmite es la asociada a la convergencia en media

Z
lm |c(k) cR (k)|2 dn k = 0.
R Rn
espacio de
Otro espacio funcional en el que la transformada de Fourier posee importantes Schwartz
propiedades es el espacio de Schwartz
S(Rn ) := {u C (Rn ) : sup (x D u) < , , Zn

+ },
xRn
de funciones test o de decrecimiento rpido en el infinito. Estamos usando la notacin

x := x0 0 x1 1 . . . xn1
n1
.
Este espacio funcional est contenido en L2 (Rn ).
Teorema 2.8.3. Si u = u(x) pertenece a S(Rn ), entonces su transformada de

Fourier existe y es tambin una funcin de S(Rn ). Adems la transformada de
Fourier define una aplicacin lineal biyectiva
F : S(Rn ) S(Rn ).
Veamos a continuacin algunos ejemplos de clculo de transformadas de Fourier

de funciones de una sola variable.
Ejemplos
i) Dada la funcin
1 si x [a, a],
u(x) =
0 en el resto,
su transformada de Fourier se calcula fcilmente

Za a
1 e i kx
Z
c(k) =
1
e i kx u(x) d x =
1
e i kx d x = d x = sen ka .
2 2 a 2 i k a k
Representamos a continuacin est transformacin
u(x)
c(k)
ii) Sea la funcin

eax x > 0,
u(x) =
0 en el resto,
donde a > 0. La transformada es
1 1 i kx ax 1 (a+i k)x
Z Z Z
i kx
c(k) = e u(x) d x = e e dx = e dx
2 R 2 0 2 0

1 e(a+i k)x 1 aik
= =

2 (a + i k) x=0 2 a2 + k2

transformada de iii) La funcin lorentziana tiene la forma

Fourier de la lo-
1
rentziana u(x) = , a > 0.
x 2 + a2
Su transformada Z
1 1
c(k) = e i kx d x,
2 x2 + a2
se calcula con tcnicas de variable compleja16 y el resultado es
1 a|k|
c(k) = e .
2a
Tambin podemos obtener de otra forma este resultado. Calculamos, en primer

lugar, la transformada de Fourier de ea|x|
Z Z0
1 1
F ea|x| = eax e i kx d x + eax e i kx d x

2 0 2
1 1 a 1
= + =
2 (a + i k) 2 (a i k) a + k2
2
Luego
1
F1 ( ) = ea|x| ,
a2 +k 2 a
o bien Z
1
ei kx d k = ea|x| .
a2 +k 2 a
Cambiando x k y k x obtenemos el resultado anunciado
Z
1 1 1 a|k|
e i xk dx = e .
2 a2 + x 2 2a
La grfica correspondiente es
1
u(x)
x
3 2 1 1 2 3
l
a
3
icrcsuem
sem l
i
t
m
loicrculo situacinso
2 c(k)
e
1
k
3 2 1 1 2 3
16 i kz
RSea f (z) = e /(z2 + a2 ) y la recta real orientada de izquierda a derecha. Vamos a compu-
tar f (z) d z usando residuos. Las singularidades de f son dos polos simples en z = i a, los
residuos de f (z) son: Resz= i a (f (z)) = eka /(2 i a). Cuando k > 0 la integral es el cuando
R de la integral al inferior centrado en el origen de radio R. En tanto que si k < 0
se selecciona
R el superior. Por tanto, en cada contribuye tan un polo en la
formula f (z) d z = 2 i p polo simple Resz=p (f (z)).
P
2.8.2. Propiedades de la transformada de Fourier

Bajo condiciones apropiadas sobre las funciones (por ejemplo si estas pertenecen al
espacio de Schwartz) la transformada de Fourier tiene una serie de propiedades bsicas
que a continuacin desglosamos. En este primer cuadro recogemos las propiedades
ms inmediatas
i)
F
ui (x) ci (k), i = 1, 2

F
1 u1 (x) + 2 u2 (x) 1 c1 (k) + 2 c2 (k), 1 , 2 C
ii)
F F
u(x) c(k) = u(x + a) ei ka c(k)
iii)
F F
u(x) c(k) = ei x u(x) c(k )
iv) Si A MN (R) es una matriz invertible entonces
F F 1
c A1 k

u(x) c(k) = u(Ax)
| det A|
v)
F F
u(x) c(k) = u(x)
c(k)
La segunda serie de propiedades, que requieren un mayor anlisis , la exponemos a

continuacin. Usaremos la notacin Dx , D para denotar los operadores de derivacin
k
mltiple D con respecto a las variables x k, respectivamente. Introducimos tambin
la operacin de convolucin de dos funciones u y v como sigue
Z Z
(u v)(x) := u(x y)v(y) dn y = u(y)v(x y) dn y.
Rn Rn
Proposicin 2.8.4. i)
F(Dx (u)) = (i k) F(u).
ii)
F(x u) = (i Dk ) F(u).
iii)
F(u v) = (2 )n F(u)F(v).
iv) Identidad de Parseval:

Z Z
|u(x)|2 dn x = (2 )n |c(k)|2 dn k.
Rn Rn
Demostracin. i) En primer lugar tenemos

u 1
Z
u n
F = n
e i kx d x
xi (2 ) Rn xi
1
Z h
i kx
= e u(x)

(2 )n Rn1 xi =

Z i
( i ki )e i kx u(x) d xi d x1 . . . d xi1 d xi+1 d xn ,

en donde hemos integrado por partes. Si u S(Rn ) se cumple que

u(x) = 0,

xi =
luego
u
F = i ki F(u).
xi
Por ello,
0 n1 0
F n1 u = (i k0 ) (i kn1 )n1 F(u).
x0 0 xn1
de donde por linealidad se infiere la propiedad buscada.
ii) Comenzamos observando que
1 1 (e i kx u(x)) n
Z Z
i(kx) n
F(xi u) = e x i u(x) d x = i d x.
(2 )n Rn (2 )n Rn ki
Si u S(Rn ) podemos extraer la derivada con respecto al parmetro ki fuera de
la integral y escribir

F(xi u) = i F(u).
ki
Por ello,

n1
0 n1
F(x0 0 . . . xn1 u) = i i F(u)
k0 kn1
y por linealidad se obtiene el resultado deseado.
iii) La transformada de una convolucin es por definicin

1
Z hZ i
n
F(u v) = e i kx
u(y)v(x y) d y dn x
(2 )n Rn Rn
y dado que u, v S(Rn ) podemos escribir

1
Z
F(u v) = e i kx u(x y)v(y) dn y dn x,
(2 )n Rn Rn
que con el cambio de variables
x = + , y = ,
se transforma en
1
Z
F(u v) = e i k(+) u()v() dn dn = (2 )n F(u)F(v),
(2 )n Rn Rn
como queramos demostrar.
iv) El producto escalar en L2 (Rn ) de u, v S(Rn ) se puede escribir como

Z
(u, v) = u(y)v(y)
dn y = (P u v)(0),
Rn
donde P u(x) = u(x). Por ello, utilizando el resultado de iii) tenemos
(u, v) = (2 )n [F1 (F(P u)F(v))](0),
esto es Z
(u, v) = (2 )n ei kx c(k)d(k) dn k

Rn x=0
donde c, d son las transformadas Fourier de u, v, respectivamente. Por tanto,

Z Z
n
u(x)v(x) d x = (2 )
n
c(k)d(k) dn k,
Rn Rn
y en particular, para u = v se obtiene la identidad de Parseval.
Aunque en las anteriores demostraciones nos hemos ceido a funciones de decre-

cimiento rpido, estas propiedades son vlidas en situaciones ms generales.
Ejemplos
i) En primer lugar vamos a calcular la transformada de Fourier de la funcin gaussiana
de una variable
2 2
u(x) = ea x , a > 0.
En primer lugar, si derivamos esta funcin se obtiene
Dx u(x) = 2a2 xu(x),
Aplicando la transformada de Fourier a ambos miembros de esta ecuacin, y

teniendo en cuenta las propiedades i) y ii) que hemos demostrado, deducimos
que la transformada c(k) de la funcin u(x) satisface
1
Dk c(k) = kc(k).
2a2
Integrando esta ecuacin diferencial deducimos que
k2

c(k) = c(0)e 4a2 .
Por otra parte, de la definicin de transformada de Fourier

1 + 1 + a2 x 2
Z Z
c(0) = u(x) d x = e dx
2 2
Z +
1 2 1
= ex d x = .
2 a 2a
Por tanto
2
1 k
c(k) = e 4a2 .
2a
Es decir, la transformada de una gaussiana es de nuevo una gaussiana, como se
representa en las siguientes grficas.
1 u(x)
x
4 3 2 1 0 1 2 3 4
1 c(k)
k
4 3 2 1 0 1 2 3 4
ii) Consideremos ahora la transformada de Fourier de la funcin gaussiana en n va-

riables Pn1 transformada de
u(x) = e i,j=0 Aij xi xj /2 Fourier de gaus-
sianas en Rn
donde A = (Aij ) es una matriz simtrica (A = At ) y definida positiva ((x, Ax) >
0, x 0)). Tomando derivadas parciales con respecto a xi obtenemos
u n1
X
= u(x) Aij xj .
xi j=0
Por tanto, utilizando las propiedades i) y ii), encontramos que
n1
X c
i ki c(k) = Aij i ,
j=0
kj
y por tanto
c h n1
X i
= (A1 )ji ki c.
kj j=0
Esta EDP de primer orden tiene por solucin

Pn1 1 ) k k /2
c(k) = c(0)e i,j=0 (A ji i j
.
Observemos que
1
Z Pn1
c(0) = e i,j=0 Aij xi xj /2 dn x.
(2 )n Rn
Al ser A simtrica y definida positiva, se puede factorizar como A = OO t donde

O es ortogonal y = diag(0 , . . . , n1 ) es la matriz diagonal de autovalores de A,
con i > 0, i = 0, . . . , n1. Por ello, tras el cambio de coordenadas x x = O 1 x,
de jacobiano 1 (como O es una matriz ortogonal se tiene | det O| = 1), c(0) se
expresa como
n1 n1
s
1 YZ 1 2
Z
i2 /2
i x 2
exi d x
Y
c(0) = e d x
i = i .
(2 )n i=0 R (2 )n i=0 i R
Por tanto, como det A = 1 n obtenemos
1
c(0) = p
(2 )n det A
con lo que
1 n1
P 1
i,j=0 (A )ji ki kj /2 .
c(k) = p e
(2 )n det A
Por ejemplo, la transformada de Fourier de

2 2
u(x1 , x2 ) = e(x1 +x2 +x1 x2 )
es
1 2 2
e(k1 +k2 k1 k2 )/3 .
c(k1 , k2 ) =
2 3

2/3 1/3
Ahora A = 21 12 , det A = 3 y A1 = 1/3 2/3 y autovalores 1 = 1, 2 = 3. A
continuacin representamos esta transformacin
1
u(x1 , x2 )
0
2
x1 0
2 0 2
2
x2
F
1
c(k1 , k2 )
0
2
0
k1 2
2 0
2 k2
ii) Calculamos ahora la transformada de

x 1 x 2 x 3 x1 , x2 , x3 [a, a],
u(x1 , x2 , x3 ) =
0 en el resto.
En primer lugar observemos que la transformada de Fourier en R3 de

1 x1 , x2 , x3 [a, a],
v(x1 , x2 , x3 ) =
0 en el resto.
es
3
1 a i ki xi 1 sen ak1 sen ak2 sen ak3
Y Z
e d xi = 3 .
i=1
2 a k1 k2 k3
y como u(x1 , x2 , x3 ) = x1 x2 x3 v(x1 , x2 , x3 ) debemos tener que
1 sen ak1 sen ak2 sen ak3

c(k1 , k2 , k3 ) = i i i .
k1 k2 k3 3 k1 k2 k3
As pues
i [sen ak1 )/k1 ] [sen ak2 /k2 ] [sen ak3 /k3 ]

c(k1 , k2 , k3 ) =
3 k1 k2 k3
i ak1 cos ak1 sen ak1 ak2 cos ak2 sen ak2 i
h ih
= 3
k21 k22
h ak cos ak sen ak i
3 3 3

k23
iii) Para calcular la transformada de Fourier de

2
u(x) = (x 1)2 e(x+1)
desarrollamos (x 1)2 :
2
u(x) = (x 2 2x + 1)e(x+1) ,
y como sabemos que

2
2 F ek /4
e(x+1) ei k ,
2
obtenemos
hd 2 d i ek2 /4+i k
c(k) = i 2i +1
dk dk 2
1 h 1 k 2 k i 2
= + +i 2 i + i + 1 ek /4+i k
2 2 2 2
k2 + 8 i k + 18 k2 /4+i k
= e .
8
2.8.3. Transformadas seno y coseno

Si utilizamos la frmula de Euler para la exponencial la transformada inversa de
Fourier se puede escribir como sigue
Z Z Z
u(x) = [cos kx + i sen kx]c(k) d k = cos(kx)c(k) d k + i sen(kx)c(k) d k.
R
Ahora bien, dada la paridad de las funciones trigonomtricas se tiene transformada de

Z Z Fourier seno y
c(k) cos kx d k = cos(kx)(c(k) + c(k)) d k, coseno
Z Z0
c(k) i sen kx d k = sen(kx) i(c(k) c(k)) d k,
0
y si denotamos
a(k) := c(k) + c(k), b(k) := i(c(k) c(k))
obtenemos
Z Z
u(x) = a(k) cos kx d k + b(k) sen kx d k.
0 0
Recordando que c(k) es la transformada de Fourier de u(x), se deducen las frmulas

siguientes
Z Z
1 1
a(k) = u(x) cos kx d x, b(k) = u(x) sen kx d x.

Supongamos ahora que u(x) es par,
u(x) = u(x).
En ese caso, argumentos de paridad nos llevan a
Z
2
a(k) = u(x) cos kx d x, b(k) = 0, (2.16)
0
(notar que c(k) = c(k)). Por todo ello
Z
u(x) = a(k) cos kx d k. (2.17)
0
En cambio, si u(x) es impar,
u(x) = u(x)
los mismos argumentos de paridad conducen a
Z
2
a(k) = 0, b(k) = u(x) sen kx d x, (2.18)
0
ahora c(k) = c(k). As
Z
u(x) = b(k) sen kx d k. (2.19)
0
Observamos, que en las frmulas anteriores (1.16) y (1.18), para u(x) con paridad
bien definida, slo aparece su contribucin para x 0. Luego, si slo conociramos la
funcin u(x) en el semi-eje positivo las frmulas (1.17) y (1.19) dan sus extensiones
par e impar, respectivamente, a toda la recta.
2.9] Cuestiones, problemas y ejercicios 101
Transformada de Fourier en R3 para funciones radiales
Analicemos la transformada de Fourier en R3 de funciones u(x) que en coordena-

das esfricas slo dependen del radio
u(r , , ) = u(r ).
Para ello, para cada k = (k1 , k2 , k3 ) en el clculo de la integral correspondiente esco-

gemos coordenadas esfricas adaptadas a la direccin marcada por k: esto es, k tiene
ngulos = = 0. Por tanto,
1
Z
c(k) = e i kx u(r ) d3 x
(2 )3 R3
Z h Z h Z 2
1 ikkkr cos 2
i i
= e u(r )r sen d d dr
(2 )3 0 0 0
ZhZ
1 ikkkr cos
i
= e sen d u(r )r 2 d r
(2 )2 0 0
que como
Z Z1
ikkkr cos sen kkk r
e sen d = eikkkr u d u = 2
0 1 kkk r
se transforma en
Z
1
c(k) = c(kkk) = 2
u(r )r sen(kkk r ) d r .
2 kkk 0
Vemos que la transformada slo depende del mdulo de k y no de su direccin o

sentido; ms an, sta adopta la forma de una transformada seno.
2.9. Cuestiones, problemas y ejercicios
2.9.1. Cuestiones
1. El dominio del operador diferencial L = D 2 es el conjunto de funciones u di-

ferenciables en en el intervalo [a, b] con peso (x) = 1. Determinar cuales de
las siguientes condiciones de contorno definen dominios en que el operador es
simtrico
a) u(a) = 0, u (a) = 0
b) 2u(a) u (a) = 0, 3u(a) + 2u(b) = 0
c) u(a) + u (a) = 0, 2 i u(a) + u(b) = 0
d) u(a) 2u (b) = 0, u(b) + 2u (a) = 0
e) u(a) + u(b) = 0, u (a) u (b) = 1
Resolucin Las condiciones de contorno deben ser homogneas y con coefi-

cientes reales, as quedan descartadas las opciones (c), (e). Para discernir la res-
puesta correcta entre las tres opciones restantes recordemos que el operador
D 2 es simtrico si para toda pareja de funciones u, v del dominio se cumple
u(a)v
(a) u (a)v(a) = u(b)v
(b) u (b)v(b). Por tanto, la opcin (a) queda
descartada inmediatamente (0 u(b)v (b) u (b)v(b)). En la opcin (b) pode-
mos expresar u (a) = 2u(a) y u(b) = 3/2u(a) en trminos de u(a), as tene-
mos u(a)v
(a) u (a)v(a) = 0 y u(b)v
(b) u (b)v(b) = 3/2(u(a)v
(b)
v(a)u(a));
por tanto no es correcta. Veamos que la opcin (d) es correcta, aho-
ra tenemos u (b) = u(a)/2 y u (a) = u(b)/2, as u(a)v (a) u
(a)v(a) =
(u(a)v(b)
u(b)v(a))/2
y u(b)v
(b)u
(b)v(b) = (u(b)v(a)
u(a)v(b))/2

y se da la igualdad.
2. Determinar los autovalores del operador diferencial
Lu = D 2 u,
actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las

condiciones de contorno
ux (0) = 0, u(1) = 0.
a) 4n2 2 , n 1
b) (2n + 1)2 2 /4, n 0
c) (2n + 2)2 2 /4, n 0
d) n 2 , n 1
e) n2 2 , n 1
Resolucin En primer lugar observamos que = 0 no es autovalor ya que si

este es el caso entonces u(x) = A + Bx, con A, B constantes que determinan
las condiciones de contorno como A = B = 0. Las soluciones del problema de
autovalores uxx = u, 0, son de la forma u = A ei kx +B e i kx , con = k2 .
Como ux |x=0 = i k(A B) y u|x=1 = ei k A + e i kB al imponer las condiciones de
i k(A B) = 0,
contorno obtenemos el siguiente sistema lineal Este siste-
ei k A + e i k B = 0.

i k i k
ma posee soluciones no nulas, v. g. (A, B) (0, 0), siempre que i k = 0,

e e i k
lo que conduce cos k = 0 k = (n + 1/2) , n = 0, 1, 2, . . . , y as los autovalores
son n = (n + 1/2)2 2 , n = 0, 1, 2, . . . .
3. Si u(x) es solucin de la ecuacin de Poisson
u = , x R3 ,
y
1
Z
(k)
= (x) e i kx d x;
(2 )3 R3
es la transformada de Fourier de la funcin (x), entonces la transformada de
Fourier u de u verifica
a) |k|2 u(k)
+ (k)
=0
b) |k|u(k)
+ 2(k)
=0
c) u(k)
+ (k)
=0
d) |k|2 u(k)
=0
e) |k|2 u(k)
(k)
=0
Resolucin Realizando la transformada Fourier de la ecuacin de Poisson tene-

mos
F(u) = ,

recordando que i ki F(u) = F(Dxi u) obtenemos

h i
F(u) = (i k1 )2 + (i k2 )2 + (i k3 )2 u
= |k|2 u.

y por tanto el resultado correcto es (a).
4. Dado el operador diferencial
Lu := D(ex Du),
determinar para que valor de c las siguientes condiciones de contorno

u(0) + cu(1) = 0,
u (0) + cu (1) = 0
definen un dominio de L2 ([0, 1]) en que el operador es simtrico
a) c = 0

b) c = e
c) c = e
d) c = 1
Resolucin El operador L es del tipo Sturm-Liouville con p(x) = ex , q(x) = 0

sobre el intervalo [0, 1]. Por tanto, la condicin para que sea simtrico es

u(0) v(0) u(1) v(1)

= e

u x (0) v(0)
u x (1) v(1)

para toda pareja de funciones u, v en el dominio. Usando las condiciones de

contorno obtenemos que el primer determinante es

u(0) v(0)
2 u(1) v(1)

=c

u x (0) v(0)
u x (1) v(1)

de donde se concluye que se debe tener c 2 = e.
5. Sea el operador diferencial

Lu = D 2 u,
actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las
condiciones de contorno
u (0) = 0,
u(1) + u (1) = 0.
Sealar cual de las siguientes relaciones determina los autovalores = k2 de L
a) senk = 0
b) ksenk = 1
c) k tan k = 1
d) k cos k = 0
e) k tan k = 0
Resolucin Las posibles autofunciones de L han de ser de la forma u(x) =

a cos kx + bsenkx, a, b R y con autovalor no nulo = k2 (para = 0 se
buscan soluciones u(x) = a + bx, que una vez se aplican las condiciones de
contorno fija u = 0). La derivada es u (x) = asenx + b cos x. Por tanto, la
existencia de soluciones no triviales conduce a

0 k
=0

cos k ksenk senk + k cos k

que implica
k(cos k ksenk) = 0.
6. Calcular los autovalores del problema

d du
(1 + x) (1 + x) = u, 0 < x < 1,
dx dx
u(0) = u(1) = 0.
a) = (2n + 1)2 2 , n = 1, 2, . . .
2
(2n + 1)

b) = , n = 0, 1, 2 . . .
ln 2
c) = n2 2 , n = 1, 2 . . .
n 2

d) = , n = 1, 2, . . .
ln 2
n 2

e) = , n = 1, 3, 5, . . . y = (2n + 1)2 2 , n = 0, 2, 4, . . .
ln 2
Resolucin Utilizando la variable y := x + 1 el problema de autovalores es

y 2 uyy + yuy + u = 0. Esta es una ecuacin homognea cuya solucin general
es
ay || + by || , cuando < 0,

a + b ln y, cuando = 0,

a cos( ln y) + bsen( ln y), cuando > 0,

Si < 0 la existencia de soluciones

no triviales
satisfaciendo lass condiciones
1 1

de contorno implica que || que es imposible. El caso = 0 es

2 2 ||

descartado por el mismo argumento. Finalmente para < 0 se obtiene ln 2 =
n , n = 1, 2, . . . .
7. Calcular la transformada de Fourier de la funcin

2 y 2
u(x, y) = xex .
i 2 2
a) c(k1 , k2 ) = k1 e(k1 +k2 )/4
8
1 2 2
b) c(k1 , k2 ) = k1 e(k1 +k2 )/4
8
i 2 2
c) c(k1 , k2 ) = k1 e(k1 +k2 )/4
4
i (k2 +k2 )/4
d) c(k1 , k2 ) = e 1 2
8
i 2 (k2 +k2 )/4
e) c(k1 , k2 ) = k e 1 2
8 1
1 R x 2 ikx 1 2
Ayuda: e e dx = ek /4 .
2 2
1
Si F(n) (u) := ikx dn x denota la transformada de
R
Resolucin (2 )n Rn u(x)e
2 2
Fourier entonces F(2) (u(x, y)) = F(1) (xex )F(1) (ey ) que utilizando F(n) (xi u) =
2 2
i/ki F(u) y que F(1) (exi ) = eki /4 /(2 2 ) conduce inmediatamente a la res-
puesta (a).
8. Evaluar la solucin del problema de ondas
utt 4uxx = 0 t > 0, 0 < x <

u(x, 0) = sin x,
ut (x, 0) = cos x.
en el punto x = 1, t = 1.
a) 0.
2
b) .

2
c) + 1.

2
d) .
3
1
e) + .
2
Resolucin La frmula de dAlambert para la ecuacin de ondas en la semi-recta

(u(0, t) = 0) es
Z x+2t
1 1
u(x, t) = ((x + 2t) + (x 2t)) + (x)dx,
2 4 x2t
donde (x) = sen( x) es la extensin impar de u(x, 0) y

cos( x), x > 0,
(x) =
cos( x), x < 0
es la extensin impar de ut (x, 0). Por tanto,

Z0 Z3
1 1 1
u(1, 1) = (sen(3 ) + sen( x)) cos( x)dx + cos( x)dx = 0.
2 4 1 4 0
9. Determinar el valor en x = 0 de la serie de Fourier en senos y cosenos de la

funcin
senx
u(x) = , 1 x 1.
|x|
a) 0
b) 1
c) 1
d) 2
e) 2
Resolucin La funcin u(x) no es continua en el origen, sus lmites laterales

son lmx0 u(x) = 1, y por ello su semisuma es (u+ + u )/2 = 0. Recordando
el teorema de Dirichlet concluimos que la serie converge puntualmente a 0 en el
0.
10. Sea el desarrollo en serie de Fourier en senos y cosenos

a0 X
x 10 + 2x 8 + 4 = + (an cos(nx) + bn sen(nx)), x .
2 n=1
Averiguar cul de las siguientes afirmaciones es correcta
a) bn = 1/n3

1/n3 , n par
b) an =
0, n impar
c) an = 0
d) bn = 0
e) an = bn
Resolucin Como la funcin desarrollada u(x) := x 10 + 2x 8 + 4 es par respecto

al punto medio del intervalo, x = 0, tenemos que bn = 0. Por ello, (a), (c) y (e) son
falsos y (d) es cierta. La respuesta (b) es falsa ya que f ( /4) f (3 /4).
11. El operador diferencial

d d
L=x x
dx dx
acta sobre el conjunto de funciones de cuadrado integrable con peso (x) = 1/x
definidas en el intervalo [1, e] que satisfacen las condiciones de contorno
u(1) = 0, u(e) + cu (e) = 0.
Determinar cual de los siguientes valores de la constante c define un dominio

sobre el que el operador es simtrico:
a) c real arbitrario
b) c imaginario puro arbitrario
c) c = 1 + i
d) No existe c para el que el operador es simtrico
e) c = 1 i
Resolucin El operador es del tipo SturmLiouville. Adems si c R es regular

con condiciones de contorno separadas y por ello simtrico. Se puede comprobar
tambin que es condicin necesaria.
12. Dada la funcin

u(x) = |x| cot(x), 1 < x < 1,
determinar el valor en x = 0 de su serie de Fourier en senos.
a) 1/2
b) 0
c) 1
d) 1
e) 1/2
Resolucin La funcin
|x|
u(x) = cos x
senx
es continua en todo el intervalo salvo para x = 0 en donde existen los lmites
laterales de la funcin: u = 1 y u+ = 1. Por tanto, el teorema de Dirichlet nos
asegura que el valor de la suma de la correspondiente serie de Fourier en x = 0
es (u + u+ )/2 = 0.
13. Calcular la transformada de Fourier de la funcin

xex , < x < 1
u(x) =
0, 1<x<
i k2
a) c(k) = e1ik
2 (1 ik)2
i k
b) c(k) = e1ik
4 (1 ik)2
1 k
c) c(k) = e1ik
2 (1 ik)2
i k
d) c(k) = e1ik
2 (1 ik)2
i k 2
e) c(k) = e1ik
2 (1 ik)2

ex , < x < 1
Resolucin Llamando v(x) = tenemos para la transfor-
0, 1<x<
1 R1
mada de Fourier F(u) = F(xv) = iDk F(v). Pero F(v) = 2 e(1ik)x dx =
e(ik /(2 (1 ik)2 ). De donde se deduce la respuesta inmediatamente.
14. Determinar en cuantos puntos del intervalo [ /2, /2] se anula la serie de
Fourier
cn e2n i x
X
nZ
de la funcin
sen x
u(x) = .
|x|
a) 0
b) 1
c) 2
d) 3
e) 4
Resolucin Al ser una serie de Fourier en exponenciales con funciones del tipo
e2n i x deducimos que = 2 /(b a) = 2 y por ello la longitud del intervalo es
b a = . Por tanto, podemos tomar [a, b] = [ /2, /2]. La funcin es C 1 a
trozos en este intervalo con una nica discontinuidad en x = 0. Aqu tenemos
los siguientes lmites laterales
lm u(x) = 1,
x0
cuya semisuma es nula. El teorema de Dirichlet nos permite asegurar que la serie
de Fourier se anula en x = 0 y como la funcin no se anula en ningn punto del
intervalo podemos afirmar que la respuesta correcta es la b).
15. Determinar en cuantos puntos del intervalo [0, 3 ] la serie de Fourier

X
bn sen(nx)
n=1
de la funcin 2
u(x) = x
2
se anula.
a) 3
b) 5
c) 2
d) 8
e) 7
Resolucin Al tratarse de series de Fourier en sen nx, n = 1, 2, . . . , vemos

que = 2 y a = 0 (recordar que en las series los senos aparecen en la forma
sen(n(x a)/2))), y por ello el intervalo donde se debe considerar la funcin
u(x) = (x /2)2 definida es [0, ]. La serie de Fourier de senos, de acuerdo
con el teorema de Dirichlet, convergera puntualmente a la extensin peridica
a la recta real de la extensin impar de u al intervalo [ , ]. A continuacin
representamos la grficas de esta extensin peridica impar
2
4
0 2 3
Vemos que la funcin es discontinua en los puntos {0, , 2 , 3 }, y segn el

teorema de Dirichlet la serie de Fourier convergera a la semisuma de los lmites
laterales que en este caso vale 0. Por otro lado, tenemos los ceros de la serie
siguientes { /2, 3 /2, 5 /2}. En definitiva, en el intervalo [0, 3 ] la serie de
Fourier se anula 7 veces y la respuesta correcta es la e).
16. En el siguiente desarrollo en serie de Fourier

2 a0 X
x = + (an cos(nx) + bn sen(nx)), 0 x 2
2 n=0
sealar cual de las siguientes opciones determina los coeficientes bn .

a) bn =
n2

b) bn =2
n

c) bn = 2 2
n

d) bn =3
n

e) bn = 4
n
Resolucin Los coeficientes bn se determinan por la formula

Zb Z 2
2 1
bn = sen(nx)u(x) d x = sen(nx)x 2 d x.
ba a 0
Esta integral, que es inmediata, se puede calcular por partes tal como se indica a
continuacin
cos nx cos nx
x 2 sen x = x 2 + 2x
n n
cos nx sen nx sen nx
= x2 + 2x 2
2
n n n2
cos nx sen nx cos nx
= x2 + 2x +2 ,
n n n3
y por ello
x=2
1 2 cos nx sen nx cos nx
bn = x + 2x +2
n n n3
x=0
4
=
n
y la respuesta correcta es la e).
17. Determinar la transformada de Fourier c(k1 , k2 , k3 ) de la siguiente funcin

xy
e

si x > 0 y y > 0,
u = z2 + 4
0

en el resto del plano.
1 e2|k3 |
a)
16 2 (1 + i k1 )(1 + i k2 )
1 1
b) 2
16 (1 + i k1 )(1 + i k2 )(1 + i k3 )
1 e|k2 |
c)
16 2 (1 + i k1 )(1 + i k3 )
1 e|k3 |
d)
16 (1 + i k21 )(1 + i k2 )
2
1 e2|k1 |
e) 2
16 (1 + i k2 )(1 + i k3 )
Ayuda:
e i kx
Z
1 ea|k|
=
2 x 2 + a2 2a
siempre que a > 0.
Resolucin: Como la funcin se factoriza u = u1 (x)u2 (y)u3 (z) tenemos
F(3) (u) = F(1) (u1 )F(1) (u2 )F(1) (u3 ).
Pero, sabemos que
1 i k1 x x 1 1
Z
F(1) (u1 ) = e e dx = ,
2 0 2 1 + i k1
1 i k2 y y 1 1
Z
F(1) (u2 ) = e e dy = ,
2 0 2 1 + i k2
1 i k1 z 1 e2|k3 |
Z
(1)
F (u3 ) = e d z = ,
2 0 z2 + 4 4
y por tanto la respuesta correcta es la a).
18. Hallar la transformada de Fourier c(k1 , k2 ) de la siguiente funcin

xyexy si x > 0 y y > 0,
u=
0 en el resto del plano.
1 1
a)
4 2 (1 i k1 )(1 i k2 )
1 1
b)
4 2 (1 + i k1 )2 (1 + i k2 )2
i 1
c)
4 (1 i k1 ) (1 i k2 )2
2 2
1 1
d) 2 2
4 (1 + i k1 )(1 + i k2 )
i 1
e)
4 2 (1 + i k2 )2 (1 + i k3 )2
Resolucin: Sabemos que
1 1
F(2) (exy ) = 2
4 (1 + i k1 )(1 + i k2 )
y tambin que
F(2) (xyexy ) = i Dk1 i Dk2 F(2) (exy ).
Por todo ello deducimos que
1
F(2) (xyexy ) = ,
(1 + i k1 )2 (1 + i k2 )2
y la respuesta correcta es la b).
19. Hallar la transformada de Fourier c(k) de la siguiente funcin
u = xe|x+2|/4
8 16k2 + 2 i k + 1 2 i k
a) e
(16k2 + 1)2
8 8k2 2k + 1 2 i k
b) e
(16k2 + 1)2
1 16k2 + 16 i k + 1 2 i k
c) e
(16k2 + 1)2
8 16k2 + 16 i k + 1 2 i k
d) e
(16k2 + 1)2
1 k2 2 i k + 1
e)
2 (16k2 + 1)2
Resolucin: En primer lugar calculamos
1 0 i kx+x/4
Z Z
F(e |x|/4
)= e dx + e i kxx/4 d x
2 0
1 1 1
= + 1
2 1 i k +ik
4 4
4 1
= ,
1 + 16k2
en segundo lugar recordamos que F(u(x + a)) = ei ka F(u(x)) y por ello
4 1
F(e|x+2|/4 ) = e2 i k .
1 + 16k2
En tercer y ltimo lugar observamos que
4 1 8 16k2 + 16 i k + 1 2 i k
F(xe|x+|/4 ) = i Dk F(e|x+2|/4 ) = i Dk 2
e2 i k = e .
1 + 16k (16k2 + 1)2
La respuesta correcta es la d).
20. Hallar la ecuacin que determina los autovalores = k2 del problema

uxx = u, 0 < x < l,

hu(0) ux (0) = 0,
hu(l) + ux (l) = 0,
siendo h, l > 0 dados
a) tan kl = 2hk/(k2 h2 )
b) tan kl = 2h/(k2 + h2 )
c) tan kl = hk2 /(2k2 + h2 )
d) tan kl = 2h/(k2 + h2 )
e) tan kl = hk2 /(2k2 + h2 )
Resolucin Estamos ante condiciones de contorno separadas y un operador de

SturmLiouville regular, por ello el operador es simtrico, con espectro simple
y creciente. El valor = 0 tendra como solucin u = c1 + c2 x (ux = c2 ) y las
condiciones de contorno impondran
hc1 c2 =0,
hc1 + (hl + 1)c2 =0
cuya nica solucin es trivial c1 = c2 = 0. Por tanto, = 0 no es autovalor.
Supongamos 0 e impongamos las condiciones de contorno a
u(x) = c1 cos(kx) + c2 sen(kx), (ux = kc1 sen(kx) + kc2 cos(kx))
El sistema al que conducen es
hc1 kc2 =0,
(h cos(kl) k sen(kl))c1 + (h sen(kl) + k cos(kl))c2 =0,
y la existencia de soluciones no triviales equivale a
h(h sen(kl) + k cos(kl)) + k(h cos(kl) k sen(kl)) = 0.
Esto es
(h2 k2 ) sen(kL) + 2kh cos(kl) = 0
y k se determina por la relacin espectral siguiente
2hk
tan kl = .
k2 h2
Por tanto, la respuesta correcta es a).
2.9.2. Problemas
1. Determinar la transformada de Fourier en R2
1
Z
c(k1 , k2 ) = u(x, y)ei(k1 x+k2 y) dxdy,
(2 )2 R2
de la funcin
2 |y|
u(x, y) = (x + y)ex
R x 2 eikx dx
2 /4
Ayuda: e = ek .
Resolucin En primer lugar debemos tener en cuenta que

2 |y|
F(u) = i(Dk1 + Dk2 )F(ex ).
En segundo lugar que
1
Z
x 2 |y| 2
F(e )= 2
ex |y| ei(k1 x+k2 y) dxdy
(2 ) R 2
h 1 Z ih 1 Z
x 2 ik1 x
i
= e e dx e|y| eik2 y dy
2 R 2 R
1 1
Z
2
= ek1 /4 e|y| eik2 y dy.
2 2 R
Por ltimo,
Z0 Z
1 1 2
Z
|y| ik2 y (1ik2 )y
e e dy = e dy+ e(1+ik2 )y dy = + = .
R 0 1 ik2 1 + ik2 1 + k22
Por todo ello,
2 |y| 1 2 1
F(ex )= ek1 /4
2 3 1 + k22
y finalmente
2
i ek1 /4 k1 2k2
F(u) = 3 + .
2 1 + k22 2 1 + k22
2. Sea el problema espectral

uxx = u, 0 x 1,
ux (0) + u(0) = 0, u(1) = 0.
a) Hallar la ecuacin que determina los autovalores y probar que tiene infinitas
soluciones.
b) Calcular las autofunciones correspondientes. Forman un conjunto ortogo-
nal completo en L2 ([0, 1])?
c) Desarrollar la funcin
u(x) = xsen( x)
en serie de tales autofunciones.
Ayuda:
(sin(kn ) 2 2 cos(kn ) kn sin(kn ) kn 2 2 kn )
Z1
x sin( x) sin(kn x)dx = ,
0 ( kn )2 ( + kn )2
(cos(kn ) 2 + 2 sin(kn ) kn cos(kn ) kn 2 )
Z1
x sin( x) cos(kn x)dx =
0 ( kn )2 ( + kn )2
Z1
1 cos(kn ) sin(kn ) + kn
sin2 (kn x)dx =
0 2 kn
Z1 2
1 sin(kn )
sin(kn x) cos(kn x)dx =
0 2 kn
Z1
1 cos(kn ) sin(kn ) + kn
cos2 (kn x)dx =
0 2 kn
Resolucin Es un problema de SturmLiouville regular con condiciones de

contorno separadas por tanto sus autovalores son reales, simples y forman una
secuencia creciente 1 < 2 < . . . < n < . . . , (lmn n = ); en tanto que
sus autofunciones {un } 2
n=1 forman una base ortogonal de L ([0, 1]). Ponga-
2
mos = k , por ello k R o k iR. Si k = 0 la solucin general es a + bx y las
condiciones de contorno se satisfacen sii a + b = 0, por ello 0 = 0 es autovalor
y u0 (x) := 1 x es una correspondiente autofuncin. Si k 0 entonces la so-
lucin general es a cos(kx) + bsen(kx). La existenciade soluciones
no triviales
k 1
cumpliendo las condiciones de contorno o conduce a = 0; esto, es

senk cos k
la ecuacin que determina los autovalores es
tan k = k .
Obsrvese que k R, ya que en el caso imaginario la ecuacin es tanh k = k,

cuya nica solucin es k = 0 y por tanto queda descartada. Por otra parte, las
soluciones son de la forma . . . , k2 , k1 , 0, k1 , k2 y por ello buscamos tan slo
soluciones con k > 0. Los primeros diez autovalores son 1 = 20,19072856,
2 = 59,67951595, 3 = 118,8998692, 4 = 197,8578111, 5 = 296,5544121,
6 = 414,9899843, 7 = 553,1646459, 8 = 711,0784498, 9 = 888,7314224
y 10 = 1086,123579. Las autofunciones correspondientes se pueden escoger
como
un (x) = sen(kn x) kn cos(kn x).
Por ltimo, el desarrollo de u(x) := xsen( x) es

X
u(x) = cn un (x),
n=0
donde R1
(1x)xsen( x)dx
0 R1 , n=0

2
0 (1x) dx
cn = R1
0 (sen(kn x)kn cos(kn x))xsen( x)dx
, n > 0,

R1
2
0 (sen(kn x)kn cos(kn x)) dx
12
esto es c0 = 3
y
cn =(4 k3n sin(kn ) 4 k2n 4 kn sin(kn ))

(k7n + (2 2 1 + sin2 (kn ))k5n + ( 4 + 2 2 + (2 2 + 1) sin2 (kn )k3n
+ (( 4 2 2 )(sin2 (kn ) 4 )kn + 4 cos(kn ) sin(kn ))1 para n > 0.
3. Sea la funcin u = u(x) definida por

Z 2
e(xy)
u(x) = d y, < x < .
1 + y2
a) Determinar funciones f = f (x) y g = g(x) tales que u(x) se exprese como

una convolucin
u(x) = (f g)(x).
b) Calcular la transformada de Fourier de u = u(x).
Resolucin Si escogemos las funciones f y g comno las gaussianas y lorentzia-

nas siguientes
2 1
f (x) = ex , g(x) =
1 + x2
tenemos que Z
(f g)(x) := f (x y)g(y) d y = u.

Por tanto, teniendo en cuenta que por un lado
F(f g) = 2 F(f )F(g)
y por otro
1 2 /4 1 |k|
F(f ) = ek , F(g) = e ,
2 2
obtenemos que
k2 /4|k|
u
= e .
2
2.9.3. Ejercicios
1. Determinar los productos escalares:
Z
n
(u, v) = u(x)v(x)(x)d
x,

correspondientes a los datos siguientes:
1) u(x) = x + ix 2 , v(x) = 1 ix, = [0, 1], (x) 1.

ix 2ix
2) u(x) = e , v(x) = e , = [0, 2 ], (x) 1.
3) u(x) = x, v(x) 1, = [0, +), (x) = ex 2 .
= [0, 1] [0, 1], (x, y) =
4) u(x, y) = xy + ix 2 y 2 , v(x, y) = 1 ixy,
2 2
x y .
= R 2 , (x, y) 1.
5) u(x, y) = exp((x 2 + y 2 )), v(x, y) = 1,
2. Probar que los conjuntos siguientes son ortogonales:
1) {sen(nx), n 1} ( = /l) en [0, l] con (x) 1.

2) {cos(nx), n 0} ( = /l) en [0, l] con (x) 1.
3) {sen(1 n1 x) sen(2 n2 y) sen(3 n3 z), ni 1} (i = /li ) en [0, l1 ]
[0, l2 ] [0, l3 ]
con (x, y, z) 1.
3. Probar que si L1 y L2 son operadores simtricos sobre un cierto dominio D, en-

tonces tambin son operadores simtricos sobre ese dominio todas las combina-
ciones lineales 1 L1 + 2 L2 con coeficientes reales 1 y 2 .
d2
4. Probar que el operador L = es simtrico sobre el dominio D de funciones
d x2
2
de clase C en [a, b] tales que satisfacen uno de los siguientes tipos de condi-
ciones de contorno:
Condiciones separadas:
u(a) + u (a) = 0, u(b) + u (b) = 0,
donde y son nmeros reales dados ((x) 1).
u(b) = u(a) + u (a), u (b) = u(a) + u (a),

siendo , , , nmeros reales tales que:
= 1.
d
5. Sea el operador L = i sobre el dominio D de funciones de clase C 1 en [a, b]
dx
tales que satisfacen la condicin de contorno:
u(a) + u(b) = 0,
siendo y nmeros complejos dados. Probar que L es simtrico si y solo si se

verifica:
|| = ||.
Determinar en tal caso el espectro y las autofunciones de L.
6. Desarrollar en serie de Fourier de senos la funcin:
u(x) 1,
en el intervalo [0, l]. Analizar si se puede derivar el desarrollo trmino a trmino.

Determinar tambin el desarrollo en cosenos de esta funcin.
7. Sea la funcin
u(x) = x.
Hallar su desarrollo en senos sobre el intervalo [0, l].

Hallar su desarrollo en cosenos sobre el intervalo [0, l].
Hallar su desarrollo en senos y cosenos sobre el intervalo [l, l].
8. Determinar la serie de Fourier de senos y cosenos de la funcin:

(
0 si 1 x 0
u(x) =
x si 0 x 1
Determinar el valor que toma la serie en x = 1.
d2 u
9. Sea el operador Lu = 2u sobre el dominio de funciones de clase C 2 en
d x2
[0, 1] tales que
u(0) = 0, u(1) = 0.
Determinar su espectro y sus autofunciones.
10. Determinar la serie de Fourier de senos y cosenos de la funcin:
u(x) = exp(ix),
sobre el intervalo [0, ].
11. Considrese el subespacio lineal D C ([1, 1]) generado por las funciones
Tn (x) = cos(n arc cos x) , n 0.
a) Probar que Tn es un polinomio de grado n. (Los polinomios Tn se conocen

como polinomios de Chebyshev.)

b) Probar que Tn n=0 forma un conjunto ortogonal en [1, 1] con funcin
1
peso (x) = p .
1 x2
12. Sean f , g funciones peridicas de perodo 2 que admiten un desarrollo de Fou-
rier con coeficientes cn (f ) y cn (g) en la base de exponenciales sobre el intervalo
[ , ]. La convolucin f g se define como
Z
(f g)(x) f (x y)g(y) d y.

a) Probar que f g = g f .
b) Si f g admite un desarrollo de Fourier, probar que se cumple la relacin
cn (f g) = 2 cn (f )cn (g) .
13. Determinar el desarrollo de Fourier de cosenos de la funcin u(x) = x 2 en el

intervalo [0, l]. Utilizar la identidad de Parseval para hallar la suma de la serie
P 4
n=1 1/n .
14. Sabiendo que

Z1
(2n 2)!
xP2n (x) d x = (1)n1 , n 1,
0 22n (n 1)!(n + 1)!
hallar el desarrollo de |x| en serie de polinomios de Legendre, en el intervalo

[1, 1].
15. a) Probar a partir de la frmula de Rodrigues que los polinomios de Legendre

verifican Pl (1) = 1.
b) Probar la identidad:

Pl (x)t l ,
X
(1 2tx + t 2 )1/2 =
l=0
para |x| 1 y |t| < 1. (Ayuda: la funcin generatriz g(t, x) (1 2tx +

t 2 )1/2 es funcin analtica
de t para |x| 1 y |t| < 1, y satisface la ecuacin
diferencial (1 x 2 )gx x + t (tg)tt = 0. Introduciendo su desarrollo en
serie de potencias de t en esta ecuacin se deduce que los coeficientes del
desarrollo verifican la ecuacin de Legendre.)
c) Probar que los polinomios de Legendre verifican la relacin de recurrencia
(l + 1)Pl+1 (x) (2l + 1)xPl (x) + lPl1 (x) = 0, l 0, P1 (x) 0.
16. Considrese el espacio S = C (R) : supxR |x () (x)| < , , N .

Sean
k x k2 k k k2
hx 2 i , hk 2
i ,
F () .
k k2 k k2
Probar que para cualquier S se verifica la siguiente versin del Principio de
Incertidumbre:
1
hx 2 i hk2 i
.
4
17. Resolver mediante la transformada de Fourier la ecuacin del calor en una di-
mensin espacial con un trmino de tipo convectivo, dada por
ut = a uxx + ux , < x < , a > 0, R,
con la condicin inicial u(x, 0) = (x) S.

Edii MMLM Cap2

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Edii MMLM Cap2

Enviado por

Direitos autorais:

Formatos disponíveis

C APTULO 2

Teora espectral de operadores

1. Producto escalar en espacios funcionales

2.1. Producto escalar en espacios funcionales

Comenzamos esta seccin realizando un rpido recordatorio de lo que aprendi-

2.1.1. Producto escalar

Definicin 2.1.1. Un producto escalar en V es una aplicacin (, ) : V V C

i) (u, v) = (v, u), u, v V .

ii) (u, v1 + v2 ) = (u, v1 ) + (u, v2 ), u, v1 , v2 V y , C.

iii) (u, u) 0, u V ; (u, u) = 0 u = 0.

De las propiedades i) y ii) inferimos que (v1 +v2 , u) = (v 2 , u). Vemos

Una desigualdad bsica (desigualdad de CauchySchwarz) que relaciona la norma y el

ii) kuk = ||kuk, C y u V .

iii) ku + vk 6 kuk + kvk (desigualdad triangular), u, v V .

Debemos recordar que la integral de funciones sobre de funciones con valores

En realidad la operacin (, ) que acabamos de definir no es estrictamente un producto

3. Tomamos ahora = (0, 1), u(x) = x + i x 2 y v(x) = 1 i x con (x) = 1.

4. Si = (0, 2 ), u(x) = ei x y v(x) = e2 i x con (x) = 1 obtenemos

y el cuadrado de la longitud de u ser

2.1.2. Cambios de coordenadas

Hemos definido el producto escalar de funciones sobre dominios en Rn usan-

Si el dominio de definicin es el plano R2 podemos considerar coordenadas po-

As, cuando cambiamos a coordenadas polares tenemos (x, y) r (r , ).

coordenadas esf- En el espacio R3 tenemos las coordenadas esfricas y ahora

Ejemplos Sean el peso = 1 y las funciones u(r , , ) = ei /2 /(r 2 +1) y v(r , , ) =

2.2. Conjuntos ortogonales de funciones

Definicin 2.2.1. Dado un conjunto de funciones {un (x)}nJ en L2 (),donde

cos A B) = cos A cos B sen A sen B,

que dan lugar a las de suma siguiente

ii) El conjunto cos n x

2.2.1. Desarrollos en serie de funciones ortogonales

Dado un conjunto ortogonal {un (x)}nJ una cuestin importante es conocer qu

Si v admite un desarrollo v = nJ cn un , entonces

Si v = nJ cn un su norma satisface la siguiente identidad (identidad de

Como v = cm um y {un }nJ es ortogonal tenemos

Es consecuencia de las dos anteriores tomando v = v.

Otra propiedad relevante es la siguiente ortogonalidad en

Demostracin. Basta utilizar el teorema de Fubini para factorizar la integral

2.2.2. Conjuntos ortogonales completos

Definicin 2.2.3. Dado un conjunto ortogonal {un }nJ en L2 () decimos que

Si un conjunto ortogonal no es completo siempre puede ser extendido aadiendo

2.3. Operadores diferenciales simtricos

En esta seccin se introduce la importante nocin de operador diferencial simtri-

Supondremos siempre que el operador est definido sobre un subespacio lineal de

(u, Lv) = (Lu, v), u, v D.

La forma natural de conseguir dominios en que un operador es simtrico es carac-

Ejemplos Sea el operador

ii) Neumann condiciones de

iii) Peridicas condiciones

2.4. Autovalores y autofunciones. Operadores simtricos

Vamos a introducir ahora dos conceptos fundamentales: autovalores y autofun-

2.4.1. Problemas de autovalores

Definicin 2.4.1. Dado un operador diferencial lineal L sobre un dominio D,

Cuando dim D = 1 decimos que el autovalor es simple y si dim D 2 que es

La solucin a la ecuacin diferencial es u(x) = cex y la condicin de frontera

ii) Sea ahora el operador anterior pero en un do-

con los subespacios propios D2n i =

Problemas de autovalores en una dimensin Consideremos un problema de auto-

en una dimensin. Supongamos que el operador es de la forma

1. Se resuelve la ecuacin diferencial ordinaria lineal homognea Lu = u conside-

siendo {ui }i=1,...,N un conjunto mximo de soluciones linealmente independien-

2. Se imponen las condiciones de contorno a la solucin general

Lo que resulta es un sistema de N ecuaciones lineales homogneas