Teora espectral de operadores diferenciales.

Anlisis de Fourier

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 aprendimos 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.

ww

w.

at

em

at

ntroducimos en este tema las nociones bsicas del anlisis en espacios funcionales, 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:

ic

a1

.c

om

2.1.1.

Producto escalar

producto escalar

Supongamos pues que tenemos un espacio vectorial complejo V , un producto escalar (, ) no es ms que una aplicacin que a cada pareja de vectores de V le asigna un nmero complejo, que eso si, debe satisfacer la siguiente lista de propiedades Denicin 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) = (v1 , u)+(v2 , u). Vemos 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 dotar de longitud, que llamaremos norma, a los vectores: u := + (u, u).

Se cumplen para la norma tres propiedades fundamentales

Estas tres propiedades nos permiten denir una distancia en V d(u, v) := u v = (u v, u v).
producto escalar de funciones

La nocin de producto escalar tal como la hemos esbozado aqu se puede aplicar a espacios funcionales. Denicin 2.1.2. Consideremos un abierto Rn y una funcin : R diferenciable y positiva ((x) > 0 x ). Dadas dos funciones u, v denidas sobre su producto escalar correspondiente a la funcin peso se dene en la forma (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: u(x)(x) dn x :=

ww w.

iii)

u+v

ii)

u = || u , C y u V . u + v (desigualdad triangular), u, v V .

at

i)

u = 0 u = 0.

em

desigualdad de Cauchy Schwarz

Una desigualdad bsica (desigualdad de CauchySchwarz) que relaciona la norma y el producto escalar es |(u, v)| u v .

at

Re(u(x))(x) dn x + i

ic

a1

.c

norma

om

Im(u(x))(x) dn x.

Obviamente, para que este producto escalar tenga sentido es necesario que la integral correspondiente1 exista. Esta condicin est garantizada si trabajamos en el espacio de funciones

L2 () := u : C

|u(x)|2 (x) dn x < .

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 (u, v) =

at

em

ww w.

Si tomamos ahora el peso (x) = ex , el producto escalar de u con v existe (u, v) =

0

xex d x = 1/2.

2. Si tomamos el dominio = (0, 1) y el peso (x) = 1, el producto escalar de las funciones u(x) = 1/x y v(x) = 1 no esta denido debido a la singularidad del integrando en x = 0 1 1 d x = . (u, v) = 0 x Sin embargo, para el peso (x) = x obtenemos el siguiente producto escalar
1

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 sosticada 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 u v = 0. El espacio cociente L 2 ()/ es lo que denotamos por L2 ().

mu sa q u ni n c m sn n a r e t st go uaa u q a Qictie fr

1 d x = 1. x

at

xdx

ic

Si no es compacto tal inclusin no es cierta y solo aquellas funciones diferenciables que decrezcan sucientemente rpido en el innito sern de cuadrado integrable.

a1

En realidad la operacin (, ) que acabamos de denir no es estrictamente un producto escalar, lo que falla es que existen funciones u(x) 0 no nulas en que tienen norma nula u = 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 identicaciones lo denotaremos por L2 () y es un espacio vectorial de dimensin innita con producto escalar. El producto escalar en L2 () dota a este espacio de 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 ().

Espacios de Hilbert

.c

om

= .

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

1

(u, v) =

(x i x 2 )(1 i x) d x =

1 0

(x x 3 2 i x 2 ) d x = 1/2 2 i /3

y la norma de u es u
2 1

= (u, u) =

x + i x2

dx =

(x 2 + x 4 ) d x = 8/15.

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

2

(u, v) =

e i x e2 i x d x = 0

coordenadas polares

Si el dominio de denicin es el plano R2 podemos considerar coordenadas polares y llegar a

0 2

(u, v) =

ww w.

cambio de coordenadas

Hemos denido el producto escalar de funciones sobre dominios en Rn usando coordenadas cartesianas. Sin embargo, por el teorema del cambio de variables del clculo integral estos productos escalares se pueden expresar en otro tipo de coordenadas, apareciendo as, desde un punto de vista activo, un cambio de dominio y de funcin peso, que en este caso ser el jacobiano de la transformacin. Por ejemplo:

R2

u(x, y)v(x, y)(x, y) d x d y =

at

em

at

2.1.2. Cambios de coordenadas

ic
u(r , )v(r , )(r , )r d r d .
0

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

coordenadas esfricas

En el espacio R3 tenemos las coordenadas esfricas y ahora (u, v) = = u(x, y, z)v(x, y, z)(x, y, z) d x d y d z
0 2 0

R3
0

u(r , , )v(r , , )(r , , )r 2 sen d r d d .

y (x, y, z) r 2 sen (r , , ).

a1
0

ei x

.c
2

d x = 2 .

om

y el cuadrado de la longitud de u ser

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 (u, v) = =
0 0 0 2 0

dr 1 + r2

e i /2 sen 2 r sen d r d d (r 2 + 1) r 2

sen2 d
0

e i /2 d
2 0

= arctan r

sen 2 2 4

2 i e i /2

2 i(2) = i 2 .

2.2. Conjuntos ortogonales de funciones

En esta seccin intoducimos los conceptos de ortogonalidad, conjunto completo de funciones y base ortogonal de un espacio funcional. Denicin 2.2.1. Dado un conjunto de funciones {un (x)}nJ en L2 (),donde J Z es un conjunto de ndices nito o innito, decimos que es ortogonal si (un , um ) = 0, n m; n, m J.
conjunto ortogonal

ic

a1

.c

om

ww w.

sen

m x n x sen dx

= para n m.4
4

1 (n m) x (n + m) x cos cos 2

at

i) El conjunto sen Basta comprobar que

n x

n1

es ortogonal en el intervalo [0, ] con peso (x) = 1.

em

Ejemplos

at

d x = 0,

En el de la integral hemos reducido expresiones en formas lineales gracias a las del seno y del coseno:

que dan lugar a las

m u s af r l mt a m o t r ar sc u u sg c af c ci d s r u l l o t r l n a o i i c
en funciones sen(A B) = sen A cos B cos A sen B, cos A B) = cos A cos B sen A sen B, de suma siguiente sen A sen B = 1 (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 es ortogonal en el intervalo [0, ] con peso (x) = 1. n0 Como antes tenemos que para n m

cos
0

m x n x cos dx

(n m) x (n + m) x 1 cos + cos 2

d x = 0,

2.2.1.

Desarrollos en serie de funciones ortogonales

ic at
N

a1

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 conjunto de indices J que etiquetan el conjunto ortogonal es innito, debemos tener sumo cuidado con el signicado de la suma extendida a los indices en J. Si J = N la expreN sin u(x) = n=1 cn un (x) se entiende como el lmite l N n=1 cn un (x). De igual m forma cuando J = Z

.c

om

ww w.

convergencia puntual, uniforme y en media

at

Ahora bien, cuando tratamos con funciones hay varias nociones distintas de lmite. En este curso hay tres nociones de lmite que usaremos:

em

u(x) =

n=

M M m=1

cn un (x) = l m

n=0

cn un (x) + l m

cm um (x).

m i) Lmite puntual: x0 tenemos u(x0 ) = l N

N n=1 cn un (x0 ).

ii) Lmite uniforme: l N supx u(x) m

N n=1 cn un

N n=1 cn un (x)

= 0.

iii) Lmite en media: l N u m

= 0.5

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.

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 no se verica. convergencia en media y de nuevo el

p e or o c r c

Proposicin 2.2.2. Si v admite un desarrollo v = nJ cn un , entonces este desarrollo es nico y sus coecientes cn vienen determinados por cn = Si v =
nJ

(un , v) un
2

(2.1)

cn un y v =

nJ

cn un su producto escalar es

(v, v ) =

cn cn un
nJ

(2.2)

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

2

|(un , v)|2
nJ

un

(2.3)

mJ

mJ

Como v =

nJ

mJ

em

cn un y v = (v, v ) =
n,mJ

cm um su producto escalar vale

at

(un , v) = (un ,

cm um ) =

cm (un , um ) = cn (un , un ).

ic
n

Como v =

mJ

cm um y {un }nJ es ortogonal tenemos

a1
c n c n un
2

Demostracin.

Otra propiedad relevante es la siguiente Si {un (x1 )}nJ1 es ortogonal en el dominio 1 con respecto al peso 1 (x) y {vm (x2 )}mJ2 es ortogonal en el dominio 2 con respecto al peso 2 (x), entonces {un (x1 )vm (x2 )}(n,m)J1 J2 es ortogonal en el dominio 1 2 con peso 1 (x1 )2 (x2 ). Demostracin. Basta utilizar el teorema de Fubini para factorizar la integral un (x1 )vm (x2 )un (x1 )vm (x2 )(x1 )(x2 ) d x1 d x2 = un (x1 )un (x1 )1 (x1 ) d x1 vm (x2 )vm (x2 )2 (x2 ) d x2 = 0

ww w.

Es consecuencia de las dos anteriores tomando v = v.

at

cn cm (un , um ) =

.c
.

om

ortogonalidad en espacios producto

si n n m m .
6

En esta las sumas dentro del producto escalar la extraemos fuera de Esta manies obviamente siempre que las sumas sean nitas. Sin embargo, resulta serlo en el caso de series convergentes en media.

m nt a b . li

aieu cs toa ir lt ndil mc cp a n

1 2

2.2.2.

Conjuntos ortogonales completos

Si un conjunto ortogonal no es completo siempre puede ser extendido aadiendo nuevos elementos hasta formar una base ortogonal.

2.3. Operadores diferenciales

En esta seccin se introduce la importante nocin de operador diferencial simtrico.7 Consideremos operadores diferenciales lineales L L=

em

Denicin 2.3.1. Diremos que un operador diferencial L es simtrico sobre un dominio D siempre que (u, Lv) = (Lu, v), u, v D.

Ejemplos Sea el operador d2 , d x2

ww w.

La forma natural de conseguir dominios en que un operador es simtrico es caracterizar el dominio imponiendo a sus elementos condiciones de contorno apropiadas.

at

L=

Para determinar dominios D L2 ([a, b]) en que este operador es simtrico, observemos que para todo par de funciones diferenciables u y v en [a, b]
b

at

ic

operador diferencial simtrico

Supondremos siempre que el operador est denido sobre un subespacio lineal de funciones D en L2 () que denominaremos dominio del operador.

= (a, b) acotado en R.

a1
b a b

.c

om
b

a (x)D .

(u, Lv) =

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

a

Hemos de subrayar que la de operador y operador autoadjunto operador

mcinut nt qe ar c r s i t io i c bo om m nai

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

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

oti sis c r
b a b

m
+
a a

nJ cn un . En ese caso se dice que 2 (). L

Denicin 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 = un
nJ

forma una base ortogonal del espacio

u (x)v (x) d x

(u (x)v(x)) d x

+ (Lu, v);

aparece

con los nombres de

por tanto un dominio de simetra debe vericar que (u(x)v (x) + u (x)v(x))
b a

= 0,

u, v D.

(2.4)

Para este operador existen tres tipos de condiciones de contorno que determinan dominios de simetra de especial relevancia. En todos los casos es inmediato vericar que se satisface (2.4) i) Dirichlet homognea
condiciones Dirichlet de

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

ii) Neumann homognea
condiciones Neumann de

2.4. Autovalores y autofunciones. Operadores

2.4.1. Problemas de autovalores

Denicin 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 correspondiente al autovalor . El conjunto (L) de todos los autovalores de L se denomina espectro de L . Para cada autovalor (L) se dene su subespacio propio correspondiente como el subespacio lineal siguiente

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

ww w.

Vamos a introducir ahora dos conceptos fundamentales: autovalores y autofunciones de un operador diferencial. Tambin demostraremos que cuando el operador diferencial es simtrico sus autovalores y autofunciones verican propiedades importantes.

D := {u D : Lu = u}.

at

em

at

D := u C ([a, b]) : u(a) = u(b), u (a) = u (b) .

oti sis c r

iii) Peridicas

a1

.c

om

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

condiciones peridicas

ic

Ejemplos i) Sea L= d , dx con D = {u C ([0, 1])|u(0) = 0}.

El problema de autovalores es du = u, dx u(0) = 0, u 0.

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) = .

C
6i 4i 2i 0 2 i 4 i 6 i

a1 at em ic
N

.c

om

ii) Sea ahora el operador anterior pero en un dominio diferente asociado a condiciones de contorno peridicas: L= d , dx

De nuevo u(x) = cex y la condicin de frontera implica e = 1; esto es: (L) = {2n i }nZ ,

con D = {u C ([0, 1])|u(0) = u(1)}.

Ce2n i x

Problemas de autovalores en una dimensin Consideremos un problema de autovalores Lu = u, u D, en una dimensin. Supongamos que el operador es de la forma Lu = an (x)D n u(x),
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:

ww w.

con los subespacios propios D2n i = y autovalores simples (dim D2n i = 1). En la gura adjunta se observa la distribucin del espectro en el plano complejo.

at

1. Se resuelve la ecuacin diferencial ordinaria lineal homognea Lu = u considerando 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 independientes. 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,

lN (u1 )

...

Esta condicin constituye una ecuacin del tipo

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 propio asociado Dn .

2.4.2. Autovalores y autofunciones de operadores

Teorema 2.4.2. Espectro de operadores simtricos. Si L es un operador diferencial simtrico sobre un dominio D entonces se satisfacen las siguientes propiedades: Los autovalores son nmeros reales (L) R.

Si u, v D son autofunciones correspondientes a autovalores diferentes entonces son ortogonales (u, v) = 0.

mi os si c r t

y sus soluciones forman el espectro (L).

ww w.

at

em

f () = 0,

at
lN (uN )

l1 (u1 ) . . .

ic

...

l1 (uN ) . . = 0. .

a1

para los N coecientes 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 coecientes del sistema

.c

om

Demostracin. Si (L) entonces existe una funcin no nula u D tal que Lu = u. Por ello, (Lu, u) = (u, u) = u
2

(u, Lu) = (u, u) = u

y como el operador es simtrico (Lu, u) = (u, Lu) y u = . Luego es un nmero real.

0 debemos tener

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

at

Denicin 2.5.1. Un operador de segundo orden denido sobre un dominio de L2 ([a, b]) es del tipo de SturmLiouville si es de la forma

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 d u (b) = 0, i = 1, 2 , (a) + i dx dx (2.5) , 1 , 2 , 1 , 2 , 1 , 2 R y (condiciones de contorno linealmente indepen con 1 , 2 dientes) 1 1 1 1 rango = 2, 2 2 2 2 D := u C ([a, b]) : i u(a) + i u(b) + i
operadores de SturmLiouville regulares

si el intervalo abierto (a, b) es acotado (a y b ) y, las funciones , p, q son diferenciables en el intervalo cerrado [a, b] y , p > 0 en el intervalo cerrado [a, b].

ww w.

em

Lu =

at

operadores de SturmLiouville

Esta seccin est dedicada a un tipo especial de operadores diferenciales: los operadores de SturmLiouville. En primer lugar denimos 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 consideramos brevemente los operadores de SturmLiouville en el caso singular y, por ltimo, abordaremos tres ejemplos de operadores de SturmLiouville particularmente relevantes: el operador de Schrdinger, el operador de Legendre y el operador de Bessel.

d du 1 p + qu , dx dx

nei m n s id

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).

ic

a1

.c

om

Carcter simtrico Se presenta la cuestin siguiente: Para qu dominios un operador de SturmLiouville operadores de regular resulta ser simtrico? la respuesta es SturmLiouville simtricos Teorema 2.5.2. Un operador de SturmLiouville L regular sobre un dominio D es simtrico si y slo si u, v D se verica u(a) p(a) d u (a) dx v(a) u(b) = p(b) d u dv (a) (b) dx dx v(b) . dv (b) dx (2.6)

Demostracin. Para demostrarlo basta con probar que la diferencia (Lu, v) (u, Lv) se anula para todo u, v D cuando la identidad (2.6) se satisface. Ello es cierto dado que si u, v D
b a b

om

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

u(x)

d dv p(x) (x) dx dx

d du p(x) (x) dx dx

v(x)
b a

(Lu, v) = (u, Lv), u, v D es equivalente al criterio dado.

1) Condiciones de contorno separadas, u(a) + du (a) = 0, dx d u (b) = 0; u(b) + dx

ww w.

A continuacin mostramos algunos ejemplos bsicos de condiciones de frontera que garantizan la condicin (2.4) y que por tanto determinan dominios sobre los que los operadores de SturmLiouville regulares son simtricos.
condiciones separadas

dos casos particularmente relevantes de stas son las condiciones de Dirichlet u(a) = 0, y las de Neumann du (a) = 0, dx u(b) = 0, du (b) = 0. dx
condiciones peridicas

2) Condiciones peridicas u(a) = u(b), p(a) du du (a) = p(b) (b). dx dx

at

em

Observar que la contribucin de q se cancela. Por tanto, el carcter simtrico de L:

at

u(b) = p(b) d u (b) dx

v(b) u(a) + p(a) d u dv (b) (a) dx dx

ic

a1

dv d du p(x) v u dx dx dx

dv du v u = p(x) dx dx

.c

v(a) = 0. dv (a) dx

espectro para operadores de Sturm Liouville regulares

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 dominios en los que L es simtrico.8

Espectro Cuando un operador de SturmLiouville es simtrico, debido al teorema general sobre operadores simtricos, sus autovalores son reales, y sus autofunciones correspondientes a autovalores distintos son ortogonales. En el caso regular podemos armar adems que

a1
|n | cn un ,
2
(+)

em
converge uniformemente a u.
8

(1 2 1 2 )p(a) = (1 2 1 2 )p(b).

Un teorema similar para operadores regulares sobre dominios con condiciones o antidel 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 } , respectivamente, se ordenan en la siguiente sen=1 n=0 cuencia < 0
(+)

< 1

()

()

< 1

(+)

< 3

()

()

< 3

(+)

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 nitos 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).

,o mf osn cna ric tu i it u p e si ai c r d

4
(+)

u u m nc c a il a p e si ai c r d ,r mt oie cr ri s t c ma s c
Clases

ww w.

Cuando las condiciones de contorno son separadas5 podemos armar tambin que

amplias de condiciones de contorno, que contienen a las ya descritas y aseguran el para operadores de SturmLiouville regulares son aquellas con

at

at
u=

Existe una base ortogonal {un } de L2 ([a, b]) formada por autofunciones de n=1 L y el correspondiente desarrollo de cualquier u D

ic
n=1

|1 |

|2 |

.c

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 secuencia creciente y no acotada

om

....

< ....

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 2 n < ,

divergente l n n = . Si p < 0 el resultado anterior es valido para m {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).

ww w.

xa

l m

u(x) p(x) d u (x) dx

v(x) dv (x) dx

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 verica

at

em

Una al menos de las funciones , p se anula en a en b.

u(x) = l m p(x) d u (x) xb dx

at

Una al menos de las funciones , p, q es singular en a en b.

ic

O bien a = b = +.

a1

Un operador de Sturm-Liouville se dice singular cuando no es regular. Es decir cuando al menos se verica una de las siguientes condiciones

om

2.5.2. Caso singular

operadores de SturmLiouville singulares

.c

v(x) dv (x) dx

(2.7)

Cuando el operador es simtrico se cumplen las propiedades del teorema general de autovalores y autofunciones de un operador simtrico. Sin embargo el problema fundamental 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 ecuacin Lu = u fuera no slo del dominio D del operador sino tambin de L2 ([a, b]) (autofunciones generalizadas).

2.5.3. Operadores de

Revisamos ahora tres de los tipos ms relevantes de operadores diferenciales que aparecen en Fsica: i) Operador de Schrdinger: Elegimos (x) = 1 y p(x) = d2 u + q(x)u. Lu = /2m d x2
2
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxx xxx xxx xxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

operadores Schrdinger

de

2 /2m R de tal modo que

at

operadores de Legendre

em

Las condiciones de frontera generales (2.7) antes expuestas permiten fcilmente denir dominios en los que el operador es simtrico. Este es un operador fundamental en Mecnica Cuntica ya que el problema de autovalores corresponb diente describe las energas y los estados estacionarios que a caracterizan una partcula en un campo de fuerzas que deriva del potencial q = q(x). Parte de la dinmica del sistema depende tambin de las condiciones de contorno. Por ejemplo, si imponemos condiciones de Dirichlet en un intervalo acotado [a, b], estamos describiendo una partcula connada en [a, b] que se mueve de acuerdo con el potencial q. Esta interpretacin se ilustra en la gura.9 En este caso el operador de Schrdinger constituye un problema de Sturm Liouville regular 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. ii) Operador de Legendre: Est determinado por (x) = 1, p(x) = 1 x 2 ,

at

ic

a1

.c

ww w.

As, podemos escribir

q(x) = 0,

Lu =

du d2 u du d + 2x (1 x 2 ) = (1 x 2 ) . dx dx d x2 dx

Debemos subrayar que el operador de Legendre es singular en el intervalo [1, 1] ya que p se anula en 1. Como p(1) = p(1) = 0, aplicando (2.7) tenemos que el operador es simtrico en el dominio D = C ([1, 1]) de L2 ([1, 1]). La ecuacin de autovalores del operador de Legendre Lu = (1 x 2 ) d2 u du + 2x = u, 2 dx dx

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
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 q en (a, b), diferenciable, y condiciones de contorno en a y en b. pues el potencial 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 de las series en polinomios. cuando = n(n + 1), que produce la
9

i acs c i :i g ca c a fito c nc c n r i uc utn nnnrof

om

,c ei nS rr d

gh

Legendre y Bessel

[a, b] = [1, 1].

las autofunciones respectivas vienen dadas por los polinomios de Legendre pn (x) = cuya norma es pn = Los primeros polinomios de Legendre son n 0 1 2 3 4 . . . 0 2 6 12 20 . . . 2 . 2n + 1 1 dn (x 2 1)n , 2n n! d xn
polinomios de Legendre

pn 1 x (3x 2 1)/2 (5x 3 3x)/2 (35x 4 30x 2 + 3)/8 . . .

1 y p0

em at M
1

at
p1 p2 x p3 p4 1

ww w.

1 A pesar del carcter singular del operador, el conjunto de autofunciones {pn } es n=0 una base ortogonal de L2 ([1, 1]). Por lo tanto toda u L2 ([1, 1] admite un desarrollo en serie de polinomios de Legendre u(x) =
n=0

cn pn (x).

ic

a1

Las grcas de estos polinomios

.c

om

operadores Bessel

de

iii) Operador de Bessel Tomamos ahora (x) = x, p(x) = x, qm (x) = m2 , x m 0.

El operador correspondiente es Lm u = du m2 d2 u 1 d u m2 1 d x + 2u= + 2 u. x dx dx x d x2 x dx x

La ecuacin diferencial asociada al problema de autovalores Lu = u es 1 du m2 d2 u + u = 0, d x2 x dx x2 x := x, se transforma en la ecuacin de Bessel (2.8)

que con el cambio de variable

em

u(x) = c1 Jm ( x) + c2 Nm ( x). x 2
m

at

donde Jm son las funciones de Bessel y Nm las de Neumann.11 Por ello, la solucin general de la ecuacin de autovalores (2.8) es (2.9)

at

funciones de Bessel

Cerca del origen el comportamiento de las funciones de Bessel y Neumann es 1 Jm (x) (m + 1) 2 ln(x) Nm (x) (m) m
(2x)

ic

u(x) = c1 Jm (x) + c2 Nm (x),

a1

cuyas solucin general es de la forma

.c
, x 0. (2.10) m = 0, 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 teorema 2.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]).

ww w.

om

1 du m2 d2 u + + 1 2 u = 0, 2 dx x dx x

Dm = u C ((0, b]) : u(b) = 0, l (x m u(x)) = 0, l m m x 1m

x0 x0
11

du dx

Las funciones de Bessel y Neumann poseen el siguiente comportamiento en el innito Jm (x) = Nm (x) = 2 cos x (2m + 1) x 4 2 sen x (2m + 1) x 4 + O (x 3/2 ), + O (x
3/2

),

x .

El carcter simtrico se deduce teniendo en cuenta que para funciones u y v en Dm los dos lmites l m x 1m dv du (x)x m v(x) x m u(x)x 1m , dx dx du dv (x)x m v(x) x m u(x)x 1m , dx dx

x0

y
xb

l m x 1m

son ambos iguales a cero, luego la condicin (2.7) se satisface. Adems, si consideramos la solucin (2.9) u(x) = c1 Jm x + c2 Nm ( x), de la ecuacin de autovalores y tenemos en cuenta el comportamiento en el origen (2.10) de las funciones de Bessel, vemos que las condiciones en x = 0
x0

l (x m u(x)) = 0, l m m x 1m
x0

du , dx

em
n x ,

un (x) = Jm forman un conjunto ortogonal

b

at

at
n x .
x0

Debido al carcter simtrico del operador, las autofunciones n = 1, 2, . . .

ic

Jm

b = 0.

Adems este conjunto resulta ser completo en L2 ([0, b]). As, cualquier funcin u x L2 ([0, b]) puede desarrollarse como x u(x) =
n=1

ww w.

(un , un ) =

Jm

n x Jn

n x x d x =

b2 d Jm 2 dx

a1
x0

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

.c

om
n b

nn .

cn Jm

Cuando m = 0 un dominio conveniente es

D0 = u C ((0, b]) : u(b) = 0, l u(x), l m m x

du =0 . dx

El carcter simtrico lo inferimos observado que, para cualesquiera pareja de funciones u y v en D0 , los lmites l m x du dv (x)v(x) u(x)x , dx dx dv du (x)v(x) u(x)x , dx dx

x0

y
xb

l m x

son nulos, satisfacindose de esta manera (2.7). Por otro lado, la solucin general de la ecuacin de autovalores u(x) = c1 J0 cumple las condiciones en x = 0 l u(x), l m m x
x0 x0

x + c2 N0 ( x), du (x)) = 0, dx

si c2 = 0.12 Finalmente, imponemos la condicin de contorno u(b) = 0, obteniendo la siguiente condicin para los autovalores n J0 b = 0.

De nuevo, {J0 (n x/b)} es una base ortogonal en L2 ((0, b]). x Las primeras funciones de Bessel tienen el siguiente aspecto y J2 J3 J4 J1

em

at

ic at
x 20 0

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 operadores sern estudiados en captulos posteriores mediante la tcnica de separacin de
12

Para ver que J0 las cumple basta con utilizar que J0 (0) = 1 y que d J0 = J1 (x), dx

por lo que
x0

ww w.

l m x

d J0 (x)) = l m xJ1 (x) = 0. x0 dx

a1

.c

om

0.6

variables que nos permitir reducir su anlisis al de los operadores de Sturm-Liouville en una dimensin. Denicin 2.6.1. Sea un subconjunto abierto conexo de Rn , (n > 1). Un operador es del tipo de SturmLiouville si es de la forma Lu = 1 pu + qu ,

siendo , p, q funciones diferenciables con valores reales y , p 0 en . Para determinar dominios de simetra de estos operadores el espacio apropiado es L2 (). Obsrvese por ejemplo que si es acotado en R3 y , p, q son funciones diferenciables en , entonces usando la expresin del producto escalar en L2 () y aplicando el teorema de la divergencia, obtenemos la identidad (Lu, v) (u, Lv) = u(x) p(x)v(x)

operadores de SturmLiouville en varias dimensiones

S()

ww w.

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 verica

at

S()

p(x)

v u v u n n

em

Por lo tanto podemos enunciar

at
d S = 0.

p(x)

v u v u n n

ic
d S.
S() S()

S()

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

a1
dS (2.11) =0 . =0 .

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

Como consecuencia inmediata determinamos los siguientes dominios sobre los que el operador de SturmLiouville es simtrico i) Condiciones de Dirichlet homognea

D := u C () : u
ii) Condiciones de Neumann homognea

D := u C () :

u n

Ejemplos relevantes de operadores de SturmLiouville en tres dimensiones son los siguientes

.c

d3 x

om

p(x)u(x)

v(x) d3 x

i) Laplaciano Si tomamos (x) = p(x) 1 obtenemos el operador Laplaciano con signo negativo L = ii) Hamiltoniano de Schrdinger Si hacemos = 1 y p = el operador correspon2m diente es el operador Hamiltoniano de Schrdinger en mecnica cuntica para una partcula en un campo de fuerzas Lu =

2
2m

u + q(x, y, z)u,

2.7.

Series de Fourier

2.7.1.

Bases

de Fourier

ww w.

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

at

Consideraremos ahora problemas de autovalores asociados a dos operadores diferenciales particularmente simples. Los correspondientes desarrollos en autofunciones constituyen las llamadas series trigonomtricas de Fourier. 1) Sea el operador13 d L = i . dx

tiene como solucin a

em

satisfacindose la condicin de frontera si y slo si ei (ba) = 1.

Esta condicin determina los posibles elementos del espectro n = n, n Z, := 2 ba

13

Que en

es el operador momento lineal.

at

i d u = u, dx u(a) = u(b), u(x) = cei x

ic

a1

.c

om

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.

mgit sor at co r n i

M ue aa n cc n t i Cc i

con las autofunciones asociadas siguientes un (x) = ei nx . 2) El segundo operador que consideramos es L= d2 . d x2

Estudiaremos dominios asociados a tres tipos de condiciones de frontera Peridicas El problema de autovalores es d2 u d x 2 = u,

u(x) = c1 cos x + c2 sen x

em

[cos a cos b]c1 + [sen a sen b]c2 = 0, [sen a sen b]c1 [cos a cos b]c2 = 0.

at

vericndose las condiciones en la frontera si y slo si se satisface el siguiente sistema lineal homogneo para (c1 , c2 )

ic

a1

.c

Cuando 0 tiene como solucin

om

u(a) = u(b), d u du (a) = (b). dx dx

(2.12)

esto es

[cos a cos b]2 + [sen a sen b]2 = 0. Desarrollando los cuadrados y utilizando las frmulas trigonomtricas se obtiene 1 cos (b a) = 0 y por ello los autovalores no nulos son n = 2 n2 , n = 1, 2, . . . := 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 (2.12) se reduce a un sistema en que la matriz de coecientes es la matriz cero; por tanto, admite como soluciones todos los valores de (c1 , c2 ). De esta forma

ww w.

Soluciones no triviales (c1 , c2 ) (0, 0) de este sistema existen si y slo si la matriz de coecientes tiene determinante cero a b sen a sen b cos cos =0 sen a + sen b cos a cos b

Dn = C{sen nx, cos nx}.

at

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]). Dirichlet homogneas El problema de autovalores ahora es d2 u d x 2 = u.

y las condiciones de contorno se satisfacen si y solo si

at

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

esto es sen As pues, los autovalores son n = 2 2 n , 4 n = 1, 2, . . . , := 2 , 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

ww w.

em

u(x) = c1 cos x + c2 sen x,

at

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

c1 cos a + c2 sen a = 0, c1 cos b + c2 sen b = 0.

ic

a1

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

.c

om

 Neumann homogneas Ahora tenemos d2 u d x 2 = u, d u (a) = 0, d x 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 u(x) = c1 cos x + c2 sen x satisfacindose las condiciones de contorno si y solo si

Existen soluciones no triviales (c1 , c2 ) (0, 0) si slo si sen a cos a =0 sen b cos b sen As pues, los autovalores son n = Las autofunciones son

un (x) = cos n

2.7.2. Desarrollos de Fourier

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

ww w.

2 2 n , 4

at

em

esto es

(b a) = 0.

at

ic
:=

n = 0, 1, . . .

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

a1
2 . ba

c1 sen b + c2 cos b = 0.

.c

om

c1 sen a + c2 cos a = 0,

Toda funcin u L2 ([a, b]) puede desarrollarse en la forma u= con cn = 1 ba

b a n=

cn ei nx ,

:=

2 , ba

e i nx u(x) d x.

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 coecientes cn se ha tenido en cuenta b que un 2 = a d x = b a. d2 es del tipo SturmLiouville regular y simtrico siempre 2) El operador L = d x2 que [a, b] sea un intervalo nito y se den cualesquiera de las tres condiciones de contorno 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.

donde los coecientes se determinan mediante las denominadas frmulas de Euler b 2 an = cos nx u(x) d x, n 0 ba a (2.13) b 2 sen nx u(x) d x, n 1. bn = ba a La base de autofunciones usada es u0 = 1 , un = cos nx, vn = sen nx 2
n=1

y se ha tenido en cuenta que u0 un vn

2 b 2

ww w.

at

u=

a0 + (an cos nx + bn sen nx), 2 n=1

em

Toda funcin u L2 ([a, b]) se puede desarrollar en la forma := 2 ba

at
= 1 4

series de senos y cosenos (condiciones peridicas)

ic
b a

a1
dx =
b a b a

.c

ba , 4 ba , 2

=
2

cos2 nx d x =

1 2

(1 + cos 2nx) d x =

om

sen2 nx d x =

(1 cos2 nx) d x =

ba . 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, sen nx =

cos nx =

1 i nx e + e i nx , 2

1 i nx e e i nx . 2i
extensin peridica

Aunque la funcin u est en principio denida solo sobre el intervalo [a, b], los dos tipos de desarrollos de Fourier que acabamos de ver proporcionan series de funciones 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 denida 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 dene como uper (x) := u(x m(b a)). Esto es, la grca 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.

at

series de senos (condiciones de Dirichlet homogneas) Toda u L2 ([a, b]) puede desarrollarse como u= con bn = 2 ba
b a n=1

ww w.

a (b a)

em
b b + (b a) := 2 ba n 1.

u(x)

bn sen

n (x a), 2

sen

n (x a) u(x) d x, 2

at

ic
uper (x)

a1

.c

om

La base ortogonal de autofunciones usada es vn = sen cuyas normas al cuadrado son vn

2 b

n (x a) 2

n1

sen2

n (x a) d x = 2

b a

1 2 ba 1 cos n (x a) d x = . 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] denimos uimpar (a (x a)) = u(x),
extensin impar

at
a

ic
u(x) b

series de cosenos (condiciones de Neumann homogneas) Toda u L2 ([a, b]) puede desarrollarse como u= donde an = 2 ba
b a

ww w.

at

a (b a)

a0 + an cos n (x a), 2 2 n=1

em

a1
cos n La base de autofunciones usada es u0 =

uimpar (x) b + (b a) b + 2(b a)

.c
:= 2 ba (x a) u(x) d x, 2 n 0. 1 , un = cos n (x a) 2 2
n1

om

y despus se realiza una extensin peridica desde el intervalo [2a b, a] a toda la recta.

con normas al cuadrado u0 un

2 b 2

1 4

b a b a

dx =

ba , 4 2 ba (x a) d x = . ba 2

1 cos2 n (x a) d x = 2 2

1 + cos n

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 denida 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] denimos upar (a (x a)) = u(x), y despues se realiza la extensin peridica desde [2a b, b] a toda la recta. upar (x) u(x) a (b a) a b b + 2(b a)
extensin par

b + (b a)

em

at

ic

a1

.c

om

at

La serie de Fourier de cosenos y senos a0 ex = + an cos 2 nx + bn sen 2 nx 2 n1 tiene por coecientes

1 1 0 1 0

an = 2

ex cos 2 nx d x = 2 Re
1 0

ww w.

Ejemplos Consideremos la funcin u(x) = en el intervalo [0, 1]. Vamos a analizar los tres diferentes desarrollos trigonomtricos de Fourier. En primer lugar consideramos el desarrollo en serie de senos y cosenos y su extensin peridica. Despus analizamos los desarrollos en slo cosenos y en slo senos y sus extensiones par e impar respectivamente.

ex

ex e2 i nx d x = 2 Re

e(1+2 i n)x d x

2[e 1] = , 1 + 4 2 n2
1

e(1+2 i n)x = 2 Re 1 + 2 i n

bn = 2

ex sen 2 nx d x = 2 Im

1 0

ex e2 i nx d x = 2 Im

= 2 nan

e(1+2 i n)x 1 + 2 i n

1 0

La extensin peridica de ex tiene como grca y

1 x 3 2 1 0 1 2 3

y los primeros trminos de su desarrollo en senos y cosenos son [ex ]periodica 2(e 1) + 1 1 1 + cos 2 x + cos 4 x 2 2 1 + 4 1 + 16 2

ww w.

Representamos a continuacin la grca de la extensin peridica de la exponencial y la de su serie trigonomtrica de Fourier truncada a n = 4 (la lnea oscilante). 3 y

at

em
+

4 3 sen 6 x + sen 8 x + . 1 + 36 2 1 + 64 2

at

4 (e 1)

ic
2 1

1 1 cos 6 x + cos 8 x + 2 1 + 36 1 + 64 2 1 2 sen 2 x + sen 4 x 1 + 4 2 1 + 16 2

a1

.c

om

x 3 2 1 0 1 2 3

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, ex = Se verica que
1

a0 + an cos nx, 2 n1

ex =

bn sen nx.
n1

an = 2

ex cos nx d x = 2 Re
1 0

1 0

ex ei nx d x = 2 Re

1 0

e(1+i n)x d x

2[(1)n e 1] , = 1 + 2 n2
1

e(1+i n)x = 2 Re 1 + i n

om

bn = 2

e sen nx d x = 2 Im

e e

x i nx

2 1

at

em

at

en tanto que la extensin impar [ex ]impar se representa como y 2 1 x 3 2 1 0 1 2 1 2 3

ww w.

ic
x 2 3

La extensin par [ex ]par tiene por grca

a1

= n an

.c

e(1+i n)x d x = 2 Im 1 + i n

1 0

Las respectivas series son e1 e+1 cos x + cos 2 x 2 1+ 1 + 4 2 e+1 e1 cos 3 x + cos 4 x + , 1 + 9 2 1 + 16 2 e1 e+1 sen x 2 2 sen 2 x 2 1+ 1 + 4 2 e+1 e1 +3 sen 3 x 4 sen 4 x + 1 + 9 2 1 + 16 2

[ex ]par e 1 + 2

[ex ]impar

A continuacin mostramos las grcas de las funciones extendidas de forma par e impar y sus series en cosenos y senos truncadas en n = 6. Para [ex ]par tenemos

at

ww w.

em
2 1 x 1 0 1 2 3 3 2 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
Si u es un a derivable en [a, b] salvo por un conjunto discreto de puntos podemos asegurar la convergencia uniforme.
14

at

ic

a1

.c

om

u nf n c i

y 2 1 3 2 1 x 0 1 2 1 2 3

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 converge en media. Ms an, si la funcin es diferenciable y satisface la condiciones de contorno adecuadas (peridicas, Dirichlet homogneas o Neumann homogneas) las correspondientes series convergen uniformemente (y por tanto tambin puntualmente) 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

ww w.

at

2.7.3.

Convergencia de series de Fourier

em

La lnea oscilante representa la serie de Fourier de senos truncada a sexto orden. Debemos notar que en los puntos conictivos 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.

at

ic

a1

.c

om

convergencia en media

Denicin 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 nitos 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
N

l SN (u, x), m

donde SN (u, x) denota la suma parcial N-sima de la serie de senos y cosenos a0 + SN (u, x) := an cos nx + bn sen nx . 2 n=1
convergencia puntual
N

y determinar su relacin con el valor de u en x. Una respuesta de gran inters prctico es el siguiente teorema 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 m uext (x + 0 ) := l uext (x ||).
0

Ejemplo Sea la funcin u(x) = ,

4

ww w.

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.

at

em

1) Si x es un punto de continuidad de uext entonces ambos lmites uext (x + 0 ) coinciden con uext (x), as que la serie de Fourier correspondiente converge puntualmente a uext .

at
4

Consideremos su correspondiente desarrollo de Fourier en exponenciales. Teniendo en cuenta que en este caso b a = 2 , = 1 u(x) = 1 2
n=

ic
,

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

cn = Por tanto u(x) =

u(x)e i nx d x =

1 1 1 i x 1 i 3x e + e + ... + e i x e i 3x . . . , 2i 3 2i 3

a1
0,

x < 0.

0 x ,

cn ei nx , si n es par, 1 , si n es impar. 2in

.c

om

que agrupando trminos queda en la forma u(x) = sen x + 1 sen(2n + 1)x sen 3x + = . 3 2n + 1 n=0

Esta es la serie de Fourier de senos y cosenos de v en el intervalo [ , ] (los trminos en los cosenos tienen coeciente cero). La grca de la funcin y de la suma parcial de la serie de Fourier para N = 40 son

0,5 3 2 1 1 0,5 2 3 x

en tales puntos.

em

uext (x + 0+ ) + uext (x + 0 ) , 2 Observemos que la convergencia puntual para x =

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 l supN SN (u, 0) = .) m 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]. 3) En 1915 Luzin conjetur y en 1966 Carleson demostr que las funciones de cuadrado 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 Gibbs. El fsico Michelson construy un aparato para computar las series de Fourier. La mquina fue probada calculando los 80 primeros coecientes de Fourier de la funcin x x [ , ], u= 0 en los dems casos.
teorema de Carleson fenmeno Gibbs de

ww w.

at

(1)n = . 4 2n + 1 n=0

at

ic

La funcin u es C 1 a trozos en [ , ] as que su serie de Fourier debe vericar 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

a1

implica 2

.c

om

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 perturbaciones 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 grca del lmite con el lmite de las grcas. La suma parcial de Fourier es

SN (u, x) =

(1)n
n=1

2 sen nx. n

Por ello, uno encuentra que

ic

SN (u; /N) =

n 2 sen 2 n N n=1

a1

.c
0

om
sen x dx x

1,17 .

ww w.

En el punto x = tenemos convergencia puntual a 0:

at
N

En donde la evaluacin del lmite la hemos obtenido considerado la serie como una suma de Riemann.

Por tanto

l SN (u, ) l SN (u, (1 1/N)), m m

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 grcas para N = 10, 20, 240, 80, 160 de la serie de Fourier truncada en donde se aprecia claramente el fenmeno de Gibbs.

em

at
N

l SN (u, ) = 0. m

ments

y 3 2 S10 (x) 1 3 2 1 0 1 2 3

y 3 2 S20 (x) 1 3 x 3 2 1 0 1 2 3 x

2 S40 (x) 1 3 2 1 0 1 2 3x

1 2 3 3 y

1 2 3 y 3 2 S80 (x) 1 3 2 1 0 1 2 3

1 2 3

1 2 3

at em at

ic

x 3 2 1 0 1 2 3

a1
1

.c

2 S160 (x)

om
1

3 x

ww w.

Por ltimo nos queda por discutir el error al truncar y la velocidad de convergencia de una serie de Fourier. As, si u C r ([a, b]) y la r -sima derivada est acotada dr u K d xr

error

entonces |SN (u, x) u(x)| cr K ln N Nr

donde cr es una constante que tan slo depende de r . Vemos que cuantas ms derivadas de la funcin existan ms rpida es la convergencia.15 Si la funcin u(x) es analtica en [a, b] tenemos |SN (u, x) u(x)| cqN

0 < c y 0 < q < 1 dependen solamente de u.

15

De

e s t

cota se inere la convergencia uniforme.

2.8. Transformada de Fourier

2.8.1. 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 Lu = i Du,

cuando el dominio de L es de la forma

pero tales funciones no estn en L2 (R) ya que

em
nZ

at

u = cei x ,

ic
+

implica

|u|2 dx = |c|2

Sin embargo, vamos a mostrar que un subconjunto de estas autofunciones

permite desarrollar todas las funciones u L2 (R). El desarrollo ahora no ser una serie, 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 exponenciales de una funcin u L2 ([a, b]) u(x) = donde kn := n, := cn ei kn x , cn = 1 ba
b a

ww w.

at

B := {ek (x) := ei kx : k R},

a1
c 0, e2 Im()x dx = . e i kn x u(x) d x, 2 . ba c(kn )ei kn x k

Lu = u,

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 u(x) = (2.14)

nZ

.c

om

Advirtase que la denicin de D est motivada por el hecho de que al considerar funciones u denidas 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

D ne n c i i

D := {u L2 (R)

C (R) :

Lu L2 (R)}.

donde k := kn+1 kn = , c(kn ) := Si realizamos el lmite a , obsrvese que k 0 y que tenemos u(x) = c(k) = 1 2 c(k)ei kx d k,
R

1 cn = k 2

e i kn x u(x) d x.

(2.15)

b +,

e i kx u(x) d x.

Este es el desarrollo de u en las autofunciones ek (x). La funcin c = c(k) juega el papel de coecientes del desarrollo. Toda la informacin de la funcin primitiva u = u(x) queda codicada en la nueva funcin c = c(k). La nomenclatura y notacin usual para este desarrollo son c(k) =: F(u),
1

u(x) =: F

(c),

transformada de Fourier inversa de c

transformada de Fourier versus series de Fourier

at

x = (x0 , x1 , . . . , xn1 ) Rn , k = (k0 , k1 , . . . , kn1 ) Rn ,

em

La transformada de Fourier aparece de este modo como un lmite continuo del concepto de desarrollo en serie de Fourier. Consideramos ahora la extensin n-dimensional de la transformada de Fourier. Denotaremos

at

ic

a1

.c

transformada de Fourier de u.

om

u(x) = c(k) =

Rn

ei kx c(k) dn k =: F1 (c),
Rn

ww w.

La transformacin de Fourier para funciones de n variables se dene como sigue

x k = x0 k0 + + xn1 kn1 .

transformada de Fourier en Rn

transformada inversa de Fourier de c transformada de Fourier de u.

1 (2 )n

e i kx u(x) dn x =: F(u),

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 |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

cuya transformada de Fourier no es absolutamente integrable. En este sentido el espacio L2 (Rn ) es ms apropiado ya que se verica Teorema 2.8.2. Si u(x) es de cuadrado integrable (u L2 (Rn )), esto es si
Rn

|u(x)|2 dn x < ,

entonces su transformada de Fourier F(u) existe y es tambin una funcin de cuadrado integrable. Adems, la transformada de Fourier dene 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 ).

ic
xRn

Hay que advertir que la integral impropia que acompaa a la operacin de transformada de Fourier sobre elementos de L2 (Rn ) hay que efectuarla en un sentido diferente del habitual. En concreto, se dene como

a1
1 (2 )n

.c

om
|x|R

La inversa de la transformada de Fourier es lo que hemos denido como transformacin de Fourier inversa.

donde la operacin de lmite es la asociada a la convergencia en media

em

de funciones test o de decrecimiento rpido en el innito. Estamos usando la notacin

n1 x := x0 0 x1 1 . . . xn1 .

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 dene una aplicacin lineal biyectiva

ww w.

espacio Schwartz

de

Otro espacio funcional en el que la transformada de Fourier posee importantes propiedades es el espacio de Schwartz

S(Rn ) := {u C (Rn ) : sup (x D u) < , , Zn }, +

at

R Rn

l m

Veamos a continuacin algunos ejemplos de clculo de transformadas de Fourier de funciones de una sola variable.

at

c(k) = l cR (k), m

cR (k) :=

e i kx u(x) dn x,

|c(k) cR (k)|2 dn k = 0.

F : S(Rn ) S(Rn ).

Ejemplos i) Dada la funcin u(x) = 1 0 en el resto, si x [a, a],

su transformada de Fourier se calcula fcilmente c(k) = 1 2


1 e i kx 2 i k
a a

e i kx u(x) d x =

1 2

a a

e i kx d x =

dx =

sen ka . k

Representamos a continuacin est transformacin u(x) x

em
ii) Sea la funcin

at
c(k) k

ww w.

at

u(x) =

eax 0 1 2
0

x > 0, en el resto,

donde a > 0. La transformada es c(k) = 1 2 e i kx u(x) d x =

x=0

ic
R

a1
e i kx eax d x = 1 2
0

.c
e(a+i k)x d x

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

1 aik 2 a2 + k2
transformada de Fourier de la lorentziana

iii) La funcin lorentziana tiene la forma u(x) = Su transformada c(k) = 1 2 1 , x 2 + a2

a > 0.

e i kx

x2

1 d x, + a2

om

se calcula con tcnicas de variable compleja16 y el resultado es c(k) = 1 a|k| e . 2a

Tambin podemos obtener de otra forma este resultado. Calculamos, en primer lugar, la transformada de Fourier de ea|x|

F ea|x| =

1 2

eax e i kx d x +

1 2

eax e i kx d x

1 a 1 1 + = = 2 (a + i k) 2 (a i k) a2 + k2 Luego

F1 (
o bien

a2

1 ) = ea|x| , 2 +k a 1 d k = ea|x| . 2 +k a

Cambiando x k y k x obtenemos el resultado anunciado 1 2

e i xk

em

La grca correspondiente es

at

ic
a2 1 1 3 2 1

at

a1
F

1 a|k| 1 dx = e . 2 +x 2a

u(x) x 1 2 3

ww w.

c(k)

.c

a2

om

ei kx

k 3 2 1 1 2 3

16 Sea f (z) = e i kz /(z2 + a2 ) y la recta real orientada de izquierda a derecha. Vamos a computar f (z) d z usando residuos. Las singularidades de f son dos polos simples en z = i a, los ka residuos de f (z) son: Resz= i a (f (z)) = e /(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 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)).

u o t cri rl i ls e i o ml ns me ai i oe ts u uc l c ccs ll a m

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) ui (x) ci (k),
F F

i = 1, 2 1 , 2 C

1 u1 (x) + 2 u2 (x) 1 c1 (k) + 2 c2 (k), ii)

F F

u(x) c(k) = u(x + a) ei ka c(k) iii) u(x) c(k) = ei x u(x) c(k ) iv) Si A MN (R) es una matriz invertible entonces u(x) c(k) = u(Ax)
F F 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 , Dk para denotar los operadores de derivacin mltiple D con respecto a las variables x k, respectivamente. Introducimos tambin la operacin de convolucin de dos funciones u y v como sigue

em

v)

ww w.

(u v)(x) := Proposicin 2.8.4. i)

Rn

u(x y)v(y) dn y =

at

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: |u(x)|2 dn x = (2 )n |c(k)|2 dn k.

Rn

at
F Rn Rn

1 c A1 k | det A|

ic

a1

u(y)v(x y) dn y.

.c

om

Demostracin. i) En primer lugar tenemos

u xi

1 (2 )n 1 = (2 )n =

Rn

e i kx

u n d x xi
xi =

Rn1

e i kx u(x)

( 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) luego u xi
xi =

= 0,

F
Por ello,

= i ki F(u).

ii) Comenzamos observando que

ic

a1
1 (2 )n
Rn

.c

de donde por linealidad se inere la propiedad buscada.

om

0 n1 0 (i kn1 )n1 F(u). n1 u = (i k0 ) xn1 x0 0

Por ello,

at

Si u S(Rn ) podemos extraer la derivada con respecto al parmetro ki fuera de la integral y escribir F(u). F(xi u) = i ki

em

at

F(xi u) =

1 (2 )n

Rn

e i(kx) xi u(x) dn x =

(e i kx u(x)) n d x. ki

y por linealidad se obtiene el resultado deseado. iii) La transformada de una convolucin es por denicin

ww w.

n1 F(x0 0 . . . xn1 u) = i

k0

kn1

n1

F(u)

F(u v) =

1 (2 )n

Rn

e i kx

Rn

u(y)v(x y) dn y dn x

y dado que u, v S(Rn ) podemos escribir

F(u v) =

1 (2 )n

Rn Rn

e i kx u(x y)v(y) dn y dn x,

que con el cambio de variables x = + , se transforma en 1 (2 )n y = ,

F(u v) =

Rn Rn

e i k(+) u()v() dn dn = (2 )n F(u)F(v),

como queramos demostrar.

iv) El producto escalar en L2 (Rn ) de u, v S(Rn ) se puede escribir como (u, v) =

Rn

u(y)v(y) dn y = (P u v)(0),

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 (u, v) = (2 )n
Rn

ei kx c (k)d(k) dn k

x=0

donde c, d son las transformadas Fourier de u, v, respectivamente. Por tanto,

Rn

u(x)v(x) dn x = (2 )n

Rn

c (k)d(k) dn k,

y en particular, para u = v se obtiene la identidad de Parseval. Aunque en las anteriores demostraciones nos hemos ceido a funciones de decrecimiento rpido, estas propiedades son vlidas en situaciones ms generales.

om

Ejemplos

En primer lugar, si derivamos esta funcin se obtiene

ww w.

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

at

Dx u(x) = 2a2 xu(x),

Dk c(k) =

Integrando esta ecuacin diferencial deducimos que c(k) = c(0)e 1 2 = Por tanto c(k) =
+
k2 4a2

em

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.

Por otra parte, de la denicin de transformada de Fourier c(0) = u(x) d x =

+
2

at

1 kc(k). 2a2

ic

1 2

a1

ea

2 x2

1 2 a

ex d x =

1 . 2a

2 1 k e 4a2 . 2a

Es decir, la transformada de una gaussiana es de nuevo una gaussiana, como se representa en las siguientes grcas.

.c

dx

u(x) x

4 3 2 1 0

F
1 4 3 2 1 0 c(k) k 1 2 3 4

transformada de Fourier de gaussianas en Rn

ii) Consideremos ahora la transformada de Fourier de la funcin gaussiana en n variables n1 u(x) = e i,j=0 Aij xi xj /2 donde A = (Aij ) es una matriz simtrica (A = At ) y denida positiva ((x, Ax) > 0, x 0)). Tomando derivadas parciales con respecto a xi obtenemos u = u(x) xi

a1
n1 j=0 n1 j=0

n1 j=0

em

at
c = kj 1 (2 )n

Por tanto, utilizando las propiedades i) y ii), encontramos que i ki c(k) = Aij i c , kj

y por tanto

at

ic
Rn

Esta EDP de primer orden tiene por solucin c(k) = c(0)e Observemos que c(0) = e
n1 i,j=0 Aij xi xj /2 n1 1 i,j=0 (A )ji ki kj /2

ww w.

(A1 )ji ki c.

.c

om

Aij xj .

dn x.

Al ser A simtrica y denida 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 1 c(0) = (2 )n
n1

e
i=0

2 i xi /2

1 d xi = (2 )n

n1 i=0

2 i

exi d xi .

Por tanto, como det A = 1 n obtenemos c(0) = con lo que c(k) = 1 e (2 )n det A
n1 1 i,j=0 (A )ji ki kj /2

1 (2 )n det A

Por ejemplo, la transformada de Fourier de u(x1 , x2 ) = e(x1 +x2 +x1 x2 ) es c(k1 , k2 ) =

2 2 1 e(k1 +k2 k1 k2 )/3 . 2 3 2 2

1 0 2 x1 0 2 2

em
0

1 0 2 k1 0

ww w.

at

at
x2 2 c(k1 , k2 ) 2 0 k2 2 x1 , x2 , x3 [a, a], en el resto.

ii) Calculamos ahora la transformada de x 1 x 2 x 3 u(x1 , x2 , x3 ) = 0

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.

ic

a1

u(x1 , x2 )

.c

om

2 Ahora A = 1 1 , det A = 3 y A1 = 1/3 2/3 y autovalores 1 = 1, 2 = 3. A 2 continuacin representamos esta transformacin

2/3 1/3

es

1 2 i=1

a a

e i ki xi d xi =

1 sen ak1 sen ak2 sen ak3 . 3 k1 k2 k3

y como u(x1 , x2 , x3 ) = x1 x2 x3 v(x1 , x2 , x3 ) debemos tener que c(k1 , k2 , k3 ) = i As pues c(k1 , k2 , k3 ) = i [sen ak1 )/k1 ] [sen ak2 /k2 ] [sen ak3 /k3 ] 3 k1 k2 k3 i ak1 cos ak1 sen ak1 ak2 cos ak2 sen ak2 = 3 k2 k2 1 2 ak3 cos ak3 sen ak3 k2 3 1 sen ak1 sen ak2 sen ak3 i i . k1 k2 k3 3 k1 k2 k3

om .c
2

iii) Para calcular la transformada de Fourier de

ic
2

desarrollamos (x 1)2 :

a1
F
2

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

y como sabemos que

em

at

u(x) = (x 2 2x + 1)e(x+1) , e(x+1) ei k ek /4 , 2

d ek /4+i k d 2 2i +1 c(k) = i dk dk 2 2 1 1 k k 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 u(x) =
transformada de Fourier seno y coseno

ww w.

at

obtenemos

[cos kx + i sen kx]c(k) d k =

cos(kx)c(k) d k +

i sen(kx)c(k) d k.

Ahora bien, dada la paridad de las funciones trigonomtricas se tiene

c(k) cos kx d k =

0 0

cos(kx)(c(k) + c(k)) d k, sen(kx) i(c(k) c(k)) d k,

c(k) i sen kx d k =

y si denotamos a(k) := c(k) + c(k), obtenemos u(x) =

0

b(k) := i(c(k) c(k))

0

a(k) cos kx d k +

b(k) sen kx d k.

Recordando que c(k) es la transformada de Fourier de u(x), se deducen las frmulas siguientes a(k) = 1

u(x) cos kx d x,

b(k) =

u(x) sen kx d x.

Supongamos ahora que u(x) es par,

los mismos argumentos de paridad conducen a a(k) = 0, ahora c(k) = c(k). As u(x) =
0

ww w.

En cambio, si u(x) es impar,

at

u(x) =

em

(notar que c(k) = c(k)). Por todo ello

a(k) cos kx d k.

at

a(k) =

u(x) cos kx d x,

ic

a1
b(k) = 0, (2.16) (2.17) (2.18) (2.19)

En ese caso, argumentos de paridad nos llevan a

u(x) = u(x)

b(k) =

u(x) sen kx d x,

b(k) sen kx d k.

Observamos, que en las frmulas anteriores (2.16) y (2.18), para u(x) con paridad bien denida, slo aparece su contribucin para x 0. Luego, si slo conociramos la funcin u(x) en el semi-eje positivo las frmulas (2.17) y (2.19) dan sus extensiones par e impar, respectivamente, a toda la recta.

.c

om

u(x) = u(x).

Transformada de Fourier en R3 para funciones radiales Analicemos la transformada de Fourier en R3 de funciones u(x) que en coordenadas esfricas slo dependen del radio u(r , , ) = u(r ). Para ello, para cada k = (k1 , k2 , k3 ) en el clculo de la integral correspondiente escogemos coordenadas esfricas adaptadas a la direccin marcada por k: esto es, k tiene ngulos = = 0. Por tanto, c(k) = = 1 (2 )3
R3
0 0

e i kx u(r ) d3 x
0 0 2 0

a1
1 1

que como e i
k r cos

.c

om
ei
k ru

1 (2 )3 1 = (2 )2

e i

k r cos

u(r )r 2 sen d d d r

e i

k r cos

sen d u(r )r 2 d r

at

se transforma en

c(k) = c( k ) =

em

ic
1
0

sen d =

du = 2

sen k r k r

2 2 k

u(r )r sen( k r ) d r .

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 diferenciables en en el intervalo [a, b] con peso (x) = 1. Determinar cuales de las siguientes condiciones de contorno denen 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

ww w.

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.

at

Resolucin Las condiciones de contorno deben ser homogneas y con coecientes reales, as quedan descartadas las opciones (c), (e). Para discernir la respuesta 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 (a) = 2u(a) y u(b) = 3/2u(a) en trminos de u(a), as tenemos expresar u 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,

e) n2 2 , n 1

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

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 k B al imponer las condiciones de i k(A B) = 0, contorno obtenemos el siguiente sistema lineal Este sisteei k A + e i k B = 0. ik ik = 0, ei k 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, . . . . u = , y (k) = 1 (2 )3
R3

3. Si u(x) es solucin de la ecuacin de Poisson x R3 , (x) e i kx d x;

es la transformada de Fourier de la funcin (x), entonces la transformada de Fourier u de u verica

ww w.

at

em

d) n 2 , n 1

c) (2n + 2)2 2 /4, n 0

at

b) (2n + 1)2 2 /4, n 0

ic

a) 4n2 2 , n 1

a1

ux (0) = 0,

u(1) = 0.

.c

om

actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las condiciones de contorno

 b) |k|u(k) + 2(k) = 0 d) |k|2 u(k) = 0 c) u(k) + (k) = 0

a) |k|2 u(k) + (k) = 0

e) |k|2 u(k) (k) = 0

Resolucin Realizando la transformada Fourier de la ecuacin de Poisson tenemos F(u) = , recordando que i ki F(u) = F(Dxi u) obtenemos F(u) = (i k1 )2 + (i k2 )2 + (i k3 )2 u = |k|2 u. y por tanto el resultado correcto es (a).

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 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 ux (0) v(0) ux (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) u(1) v(1) = c2 ux (0) v(0) ux (1) v(1) de donde se concluye que se debe tener c 2 = e.

ww w.

at

denen un dominio de L2 ([0, 1]) en que el operador es simtrico

em

at

ic

a1

.c

4. Dado el operador diferencial

om

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 b) ksenk = 1 a) senk = 0

d) k cos k = 0 e) k tan k = 0

c) k tan k = 1

que implica

6. Calcular los autovalores del problema

a) = (2n + 1)2 2 , n = 1, 2, . . . b) = (2n + 1) ln 2

2

c) = n2 2 , n = 1, 2 . . . d) = e) = n ln 2 n ln 2
2

, n = 1, 2, . . .
2

, n = 1, 3, 5, . . . y = (2n + 1)2 2 , n = 0, 2, 4, . . .

ww w.

(1 + x)

du d (1 + x) = u, dx dx u(0) = u(1) = 0.

at

k(cos k ksenk) = 0.

em

0 k =0 cos k ksenk senk + k cos k

at

, n = 0, 1, 2 . . .

ic

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 ja u = 0). La derivada es u (x) = asenx + b cos x. Por tanto, la existencia de soluciones no triviales conduce a

a1

0 < x < 1,

.c

om

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, Si < 0 la existencia de soluciones no triviales satisfaciendo lass condiciones 1 1 de contorno implica que || 2 || que es imposible. El caso = 0 es 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 u(x, y) = xex a) c(k1 , k2 ) = b) c) d) e) i 2 2 k1 e(k1 +k2 )/4 8 1 2 2 k1 e(k1 +k2 )/4 c(k1 , k2 ) = 8 i 2 2 k1 e(k1 +k2 )/4 c(k1 , k2 ) = 4 i (k2 +k2 )/4 e 1 2 c(k1 , k2 ) = 8 i 2 (k2 +k2 )/4 k e 1 2 c(k1 , k2 ) = 8 1
2 y 2

a + b ln y, a cos( ln y) + bsen( ln y),

cuando = 0,

cuando > 0,

at

Ayuda:

1 2

em

x 2 eikx dx e

puesta (a).

1 ikx dn x denota la transformada de (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-

ww w.

Resolucin Si F(n) (u) :=

at
= 1 2 ek /4 . 2

ic

a1

.c

om

8. Evaluar la solucin del problema de ondas utt 4uxx = 0 t > 0, 0 < x <

u(x, 0) = sin x, en el punto x = 1, t = 1.

ut (x, 0) = cos x.

a) 0. b) 2 .

c)

2 + 1. 2 . 3 1 + . 2

d)

e)

Resolucin La frmula de dAlambert para la ecuacin de ondas en la semi-recta (u(0, t) = 0) es u(x, t) = 1 1 ((x + 2t) + (x 2t)) + 2 4
x+2t x2t

(x)dx,

es la extensin impar de ut (x, 0). Por tanto, u(1, 1) = 1 1 (sen(3 ) + sen( x)) 2 4
0 1

ic

a1
1 4
3 0

donde (x) = sen( x) es la extensin impar de u(x, 0) y cos( x), x > 0, (x) = cos( x), x < 0 cos( x)dx +

.c
cos( x)dx = 0. x .

d) 2

c) 1 e) 2

Resolucin La funcin u(x) no es continua en el origen, sus lmites laterales son l x0 u(x) = 1, y por ello su semisuma es (u+ + u )/2 = 0. Recordando m 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 x 10 + 2x 8 + 4 = a0 + (an cos(nx) + bn sen(nx)), 2 n=1

Averiguar cul de las siguientes armaciones es correcta a) bn = 1/n3

ww w.

b) 1

a) 0

at

9. Determinar el valor en x = 0 de la serie de Fourier en senos y cosenos de la funcin senx , 1 x 1. u(x) = |x|

em

at

om

 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 L=x d d x dx dx

u(1) = 0,

b) c imaginario puro arbitrario

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

ww w.

e) c = 1 i

d) No existe c para el que el operador es simtrico

at

c) c = 1 + i

em

a) c real arbitrario

at

Determinar cual de los siguientes valores de la constante c dene un dominio sobre el que el operador es simtrico:

ic

a1

u(e) + cu (e) = 0.

.c

om

acta sobre el conjunto de funciones de cuadrado integrable con peso (x) = 1/x denidas en el intervalo [1, e] que satisfacen las condiciones de contorno

Resolucin

La funcin u(x) = |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< a) c(k) = k2 i e1ik 2 (1 ik)2

c) c(k) =

Resolucin

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
nZ

de la funcin u(x) = a) 0 b) 1 c) 2 d) 3 e) 4

ww w.

ex , < x < 1 Llamando v(x) = tenemos para la transfor0, 1<x<

1 1

at

em
sen x . |x|

e) c(k) =

k i 2 e1ik 2 2 (1 ik)

at

d) c(k) =

k i e1ik 2 (1 ik)2

ic

a1

k 1 e1ik 2 (1 ik)2

.c

om

b) c(k) =

k i e1ik 4 (1 ik)2

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
x0

l u(x) = 1, m

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 armar que la respuesta correcta es la b). 15. Determinar en cuantos puntos del intervalo [0, 3 ] la serie de Fourier
n=1

bn sen(nx)

de la funcin u(x) = x 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 denida 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 grcas de esta extensin peridica impar

ww w.

at

em
2 4

at

ic
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 denitiva, en el intervalo [0, 3 ] la serie de Fourier se anula 7 veces y la respuesta correcta es la e).

a1

.c

om

16. En el siguiente desarrollo en serie de Fourier a0 x = + (an cos(nx) + bn sen(nx)), 2 n=0

2

0 x 2

sealar cual de las siguientes opciones determina los coecientes bn . a) bn = b) bn c) bn d) bn e) bn n2 =2 n = 2 2 n =3 n = 4 n Los coecientes bn se determinan por la formula 2 ba
b a

x 2 sen x = = = y por ello bn =

ww w.

cos nx cos nx + 2x n n sen nx cos nx sen nx 2 x2 + 2x 2 n n n2 cos nx cos nx sen nx , x2 + 2x +2 n n n3 x2

at

em

at

Esta integral, que es inmediata, se puede calcular por partes tal como se indica a continuacin

ic

bn =

sen(nx)u(x) d x =

a1
2 0

sen(nx)x 2 d x.

x2

cos nx cos nx sen nx + 2x +2 n n n3

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. e2|k3 | 1 16 2 (1 + i k1 )(1 + i k2 ) 1 1 b) 2 (1 + i k )(1 + i k )(1 + i k ) 16 1 2 3 a)

.c

Resolucin

om
x=2 x=0

c) d)

1 e|k2 | 16 2 (1 + i k1 )(1 + i k3 ) e|k3 | 1 16 2 (1 + i k2 )(1 + i k2 ) 1 e2|k1 | 1 16 2 (1 + i k2 )(1 + i k3 )

e)

Ayuda: 1 2 siempre que a > 0. e i kx ea|k| = x 2 + a2 2a

Resolucin: Como la funcin se factoriza u = u1 (x)u2 (y)u3 (z) tenemos

Pero, sabemos que

em
u= 0

at
1 2
0

F(1) (u1 ) =

1 2 1 F(1) (u2 ) = 2

ic

1 1 , 2 1 + i k1 0 1 1 e i k2 y ey d y = , 2 1 + i k2 0 e i k1 x ex d x = e i k1 z 1 e2|k3 | dz = , 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, en el resto del plano.

a) b)

1 1 4 2 (1 i k1 )(1 i k2 )

1 1 4 2 (1 + i k1 )2 (1 + i k2 )2

c) d)

1 1 2 2 4 (1 + i k1 )(1 + i k2 )

e)

ww w.

1 i 2 (1 i k )2 (1 i k )2 4 1 2

1 i 4 2 (1 + i k2 )2 (1 + i k3 )2

at

F(1) (u3 ) =

a1

F(3) (u) = F(1) (u1 )F(1) (u2 )F(1) (u3 ).

.c

om

Resolucin:

Sabemos que

Denotemos por exy G := 0

si x > 0 y y > 0, en el resto del plano.

F(2) (G) =
y tambin que Por todo ello deducimos que

1 1 4 2 (1 + i k1 )(1 + i k2 )

F(2) (xyG) = i Dk1 i Dk2 F(2) (G). F(2) (xyG) =

y la respuesta correcta es la b). 19. Hallar la transformada de Fourier c(k) de la siguiente funcin 1 (1 + i k1 )2 (1 + i k
2) 2

a) b) c) d) e)

Resolucin:

En primer lugar calculamos

ww w.

8 16k2 + 2 i k + 1 2 i k e (16k2 + 1)2 8 8k2 2k + 1 2 i k e (16k2 + 1)2 1 16k2 + 16 i k + 1 2 i k e (16k2 + 1)2 8 16k2 + 16 i k + 1 2 i k e (16k2 + 1)2 1 k2 2 i k + 1 2 (16k2 + 1)2

at

em
0

at
e i kx+x/4 d x + + 1
1 4 0

F(e|x|/4 ) =

1 2 1 = 2

en segundo lugar recordamos que F(u(x + a)) = ei ka F(u(x)) y por ello

ik 4 1 = , 1 + 16k2

1 4

+ik

F(e|x+2|/4 ) =

En tercer y ltimo lugar observamos que

1 4 e2 i k . 1 + 16k2

F(xe|x+|/4 ) = i Dk F(e|x+2|/4 ) = i Dk
La respuesta correcta es la d).

1 4 8 16k2 + 16 i k + 1 2 i k e2 i k = e . 1 + 16k2 (16k2 + 1)2

ic
e i kxx/4 d x

a1

.c

u = xe|x+2|/4

om

20. Hallar la ecuacin que determina los autovalores = k2 del problema hu(0) ux (0) = 0, siendo h, l > 0 dados hu(l) + ux (l) = 0, a) tan kl = 2hk/(k2 h2 ) c) tan kl = hk2 /(2k2 + h2 ) e) tan kl = hk2 /(2k2 + h2 ) uxx = u, 0 < x < l,

b) tan kl = 2h/(k2 + h2 )

d) tan kl = 2h/(k2 + h2 )

El sistema al que conducen es

at

em

u(x) = c1 cos(kx) + c2 sen(kx),

at

cuya nica solucin es trivial c1 = c2 = 0. Por tanto, = 0 no es autovalor. Supongamos 0 e impongamos las condiciones de contorno a (ux = kc1 sen(kx) + kc2 cos(kx)) hc1 kc2 =0,

Esto es y k se determina por la relacin espectral siguiente tan kl = Por tanto, la respuesta correcta es a). k2 2hk . h2 (h2 k2 ) sen(kL) + 2kh cos(kl) = 0

2.9.2.

Problemas

1. Determinar la transformada de Fourier en R2 1 u(x, y)ei(k1 x+k2 y) dxdy, c(k1 , k2 ) = (2 )2 R2 de la funcin u(x, y) = (x + y)ex
2 |y|

ww w.

y la existencia de soluciones no triviales equivale a h(h sen(kl) + k cos(kl)) + k(h cos(kl) k sen(kl)) = 0.

(h cos(kl) k sen(kl))c1 + (h sen(kl) + k cos(kl))c2 =0,

ic

hc1 + (hl + 1)c2 =0

a1

hc1 c2 =0,

.c

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

om

Ayuda:

x 2 eikx dx e

k2 /4 e .

Resolucin

En primer lugar debemos tener en cuenta que

F(u) = i(Dk1 + Dk2 )F(ex

En segundo lugar que

2 |y|

).

F(ex

2 |y|

)=

1 2 ex |y| ei(k1 x+k2 y) dxdy 2 2 (2 ) R 1 1 2 ex eik1 x dx e|y| eik2 y dy = 2 R 2 R 2 1 1 e|y| eik2 y dy. = ek1 /4 2 2 R
0

Por ltimo, e|y| eik2 y dy =

0

e(1ik2 )y dy+

e(1+ik2 )y dy =

y nalmente

b) Calcular las autofunciones correspondientes. Forman un conjunto ortogonal completo en L2 ([0, 1])? c) Desarrollar la funcin en serie de tales autofunciones. Ayuda:
1 0 1 0

ww w.

a) Hallar la ecuacin que determina los autovalores y probar que tiene innitas soluciones.

x sin( x) sin(kn x)dx = x sin( x) cos(kn x)dx =

1 0 1

sin2 (kn x)dx =

sin(kn x) cos(kn x)dx =

1 0

cos2 (kn x)dx =

at

ux (0) + u(0) = 0,

uxx = u,

em

2. Sea el problema espectral

u(x) = xsen( x)

(sin(kn ) 2 2 cos(kn ) kn sin(kn ) kn 2 2 kn ) , ( kn )2 ( + kn )2 (cos(kn ) 2 + 2 sin(kn ) kn cos(kn ) kn 2 ) ( kn )2 ( + kn )2 1 cos(kn ) sin(kn ) + kn 2 kn

1 sin(kn )2 2 kn 1 cos(kn ) sin(kn ) + kn 2 kn

at

2k2 ek1 /4 k1 i F(u) = 3 + . 2 2 1 + k2 2 1 + k2 2

ic

0 x 1, u(1) = 0.

a1

F(ex

2 |y|

)=

2 1 1 ek1 /4 3 1 + k2 2 2

.c

om

Por todo ello,

1 2 1 . + = 1 ik2 1 + ik2 1 + k2 2

y u0 (x) := 1 x es una correspondiente autofuncin. Si k 0 entonces la solucin general es a cos(kx) + bsen(kx). La existencia de 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 .

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 < . . . , (l n n = ); en tanto que m sus autofunciones {un }n=1 forman una base ortogonal de L2 ([0, 1]). Pongamos = k2 , 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

Por ltimo, el desarrollo de u(x) := xsen( x) es

em M
donde

at

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).

at

u(x) =

ic

ww w.

cn = y

1 0 (1x)xsen( x)dx 1 2 0 (1x) dx 1 (sen(kn x)kn cos(kn x))xsen( x)dx 0 1 2 0 (sen(kn x)kn cos(kn x)) dx

a1
n=0

cn un (x),

.c

om

n=0 , n > 0,

esto es c0 =

12 3

cn =(4 k3 sin(kn ) 4 k2 4 kn sin(kn )) n n

(k7 + (2 2 1 + sin2 (kn ))k5 + ( 4 + 2 2 + (2 2 + 1) sin2 (kn )k3 n n n

+ (( 4 2 2 )(sin2 (kn ) 4 )kn + 4 cos(kn ) sin(kn ))1 para n > 0.

3. Sea la funcin u = u(x) denida por u(x) =

e(xy) d y, 1 + y2

< x < .

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 lorentzianas siguientes 1 2 f (x) = ex , g(x) = 1 + x2 tenemos que

y por otro

F(f ) = ek
obtenemos que u=

ww w.

at

em

k2 /4|k| e . 2

at
,

1 2

2 /4

F(g) =

ic

F(f g) = 2 F(f )F(g)

a1
1 |k| e , 2

.c

Por tanto, teniendo en cuenta que por un lado

om

(f g)(x) :=

f (x y)g(y) d y = u.

2.9.3.

Ejercicios

1. Determinar los productos escalares: (u, v) =

u(x)v(x)(x)dn x,

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

2 3) u(x) = x, v(x) 1, = [0, +), (x) = ex . 4) u(x, y) = xy + ix 2 y 2 , v(x, y) = 1 ixy, = [0, 1] [0, 1], (x, y) = 2y 2. x 5) u(x, y) = exp((x 2 + y 2 )), v(x, y) = 1, = R 2 , (x, y) 1.

2. Probar que los conjuntos siguientes son ortogonales: 1) {sen(nx), n 1} ( = /l) en [0, l] con (x) 1.

ww w.

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:

at

4. Probar que el operador L =

d2 es simtrico sobre el dominio D de funciones d x2 2 en [a, b] tales que satisfacen uno de los siguientes tipos de condide clase C ciones de contorno:

em

3. Probar que si L1 y L2 son operadores simtricos sobre un cierto dominio D, entonces tambin son operadores simtricos sobre ese dominio todas las combinaciones lineales 1 L1 + 2 L2 con coecientes reales 1 y 2 .

at

5. Sea el operador L = i

d 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 verica: || = ||. Determinar en tal caso el espectro y las autofunciones de L.

ic

a1

= 1.

.c

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.

om

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: u(x) = 0 x si 1 x 0 si 0 x 1

[0, 1] tales que

u(0) = 0, u(1) = 0.

10. Determinar la serie de Fourier de senos y cosenos de la funcin:

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 peso (x) = 1
n=0

1 x2

12. Sean f , g funciones peridicas de perodo 2 que admiten un desarrollo de Fourier con coecientes cn (f ) y cn (g) en la base de exponenciales sobre el intervalo [ , ]. La convolucin f g se dene como

ww w.

sobre el intervalo [0, ].

(f g)(x) a) Probar que f g = g f .

forma un conjunto ortogonal en [1, 1] con funcin .

at

u(x) = exp(ix),

em

Determinar su espectro y sus autofunciones.

f (x y)g(y) d y.

at

ic

9. Sea el operador Lu =

d2 u 2u sobre el dominio de funciones de clase C 2 en d x2

a1

Determinar el valor que toma la serie en x = 1.

.c

om

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 4 n=1 1/n . 14. Sabiendo que
1 0

xP2n (x) d x = (1)n1

(2n 2)! , 22n (n 1)!(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 verican Pl (1) = 1.

.c

a1

om
(1 2tx + t 2 )1/2 =

b) Probar la identidad:

Pl (x)t l ,

l=0

c) Probar que los polinomios de Legendre verican la relacin de recurrencia (l + 1)Pl+1 (x) (2l + 1)xPl (x) + lPl1 (x) = 0,

at

em

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 coecientes del desarrollo verican la ecuacin de Legendre.)

at

ic

l 0,

P1 (x) 0.

16. Considrese el espacio S = C (R) : supxR |x () (x)| < , , N . Sean x 2 k 2 , , F () . x2 k2 2 2 Probar que para cualquier S se verica la siguiente versin del Principio de Incertidumbre: 1 x 2 k2 . 4 17. Resolver mediante la transformada de Fourier la ecuacin del calor en una dimensin 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.

ww w.