CLASE #24: Ecuaciones Integrales.

Introduccion En esta clase estudiaremos las ecuaciones integrales de Fredholm y de Volterra.

-+-
Empezaremos por considerar la ecuaci on de Fredholm de segunda especie,
u(x) = (x) +
_
b
a
k(x, y)u(y) dy. (1)
Aqu, (x) C
0
(a, b) es una funci on dada. La funci on k(x, y), tambien es dada y se conoce como el n ucleo
de la ecuaci on integral. Aqu supondremos que k(x, y) es una funci on continua en (a, b)(a, b). Queremos
resolver la ecuacion (1) para u(x). Estudiaremos en primer lugar el caso en que k es un producto de la
forma
k(x, y) = s(x)s(y). (2)
Si k es de la forma (2) diremos que es un n ucleo simple. En el caso de n ucleos simples es facil resolver
(1). De hecho, reemplazando (2) en (1), tenemos
u(x) = (x) +s(x)
_
b
a
s(y)u(y) dy. (3)
Llamemos
A =
_
b
a
s(y)u(y) dy. (4)
que es simplemente un n umero que depende de la funci on u. En terminos de A, la ecuacion (3) se escribe
como
u(x) = (x) +As(x), (5)
de modo que u es una combinaci on lineal de y s. Todo el problema se reduce a encontrar el valor de
A. Para ello, reemplazamos (5) en (4) y obtenemos
A
_
1
_
b
a
s(x)
2
dx
_
=
_
b
a
s(x)(x) dx. (6)
Entonces si
=
1
_
b
a
s(x)
2
dx
,
la constante A esta dada por
A =
_
b
a
s(x)(x) dx
1
_
b
a
s(x)
2
dx
, (7)
y la solucion de la ecuacion de Fredholm esta dada por (5).
Ahora consideremos, para el mismo k (i.e., para el n ucleo simple dado por (2), la ecuacion de Fredholm
de primera especie,

_
b
a
k(x, y)u(y) dy = u(x). (8)
Si llamamos T al operador integral de n ucleo k, la ecuacion anterior es de la forma
T(u)(x) =
1

u(x), (9)
1
2
que es una ecuacion de valores propios para el operador T. Reemplazando (2) en (8) vemos que u es
solucion de (8) si es de la forma
u(x) = Bs(x), (10)
en que
B =
_
b
a
s(y)u(y) dy. (11)
Reemplazando u, dado por (10) en (11) vemos que (8) tiene solucion no trivial para u si y solo si,
=
1
_
b
a
s(x)
2
dx
. (12)
En otras palabras, cuando el n ucleo es de la forma k(x, y) = s(x)s(y) el operador integral T tiene un solo
autovalor (dado por (12) y su correspondiente autofunci on (s(x)).
Si ahora resumimos estos dos casos en uno solo, tenemos una ilustraci on de lo que se conoce habit-
ualmente como la alternativa de Fredholm: Si no es un autovalor del oerador integral T con n ucleo k,
entonces existe una soluci on de la ecuacion integral de Fredholm (1).
M etodo de Iteraci on: Series de Neumann
Consideremos la ecuacion integral
u(x) = 1 +
_
x
0
u(y) dy. (13)
Esta es un ejemplo de ecuaci on de Volterra de segunda especie. Este ejemplo es muy simple de resolver
en forma cerrada reduciendolo a una ecuacion diferencial ordinaria. De hecho, si derivamos (13) con
respecto a x, vemos que u satisface
du
dx
= u,
y, por otra parte, evaluando (13) en x = 0, vemos que u(0) = 1. La solucion de esta ecuacion diferencial,
con esta condicion inicial es
u(x) = e
x
. (14)
A continuacion, reobtendremos (14) usando lo que se conoce como el metodo de iteracion, o de las series
de Neumann.
Escribamos la solucion deseada en series de potencia del parametro , i.e.,
u(x) =

n=0

n
u
(n)
(x), ) (15)
y remplacemos en (13). As obtenemos

n=0

n
u
(n)
(x) = 1 +

n=0

n+1
_
x
0
u
(n)
(y) dy.
y, redeniendo el ndice de la segunda suma tenemos

n=0

n
u
(n)
(x) = 1 +

n=1

n
_
x
0
u
(n1)
(y) dy. (16)
Igualando los coecientes de iguales potencias de en la ecuacion anterior tenemos,
u
(0)
(x) = 1, (17)
u
(n)
(x) =
_
x
0
u
(n1)
(y) dy, para n = 1, 2, . . . . (18)
3
Resolviendo iterativamente (18) obtenemos
u
(n)
(x) =
x
n
n!
, (19)
y, nalmente, reemplazando en (15) tenemos,
u(x) =

n=0

n
x
n
n!
= e
x
. (20)
El metodo de iteracion siempre converge (i.e., da una solucion) en el caso de ecuaciones de Volterra
de segunda especie. En cambio, para las ecuaciones de Fredholm solo converge si es sucientemente
peque no:
Resolvamos, por el metodo de iteracion, la exuacion de Fredholm de segunda especie,
u(x) = (x) +
_
b
a
k(x, y) u(y) dy. (21)
Procedemos como en el caso anterior: escribiendo la solucion en la forma (15), y reemplazando en (21)
obtenemos la secuencia de ecuaciones,
u
(0)
(x) = (x), (22)
u
(n)
(x) =
_
b
a
k(x, y)u
(n1)
(y) dy. (23)
Resolviendo las ecuaciones anteriores encontramos
u
(0)
(x) = (x), (24)
u
(1)
(x) =
_
b
a
k(x, y)(y) dy, (25)
. . . (26)
u
(n)
(x) =
_
b
a
k
(n)
(x, y
n
)(y
n
) dy
n
, (27)
en que el n ucleo k
(n)
(x, z) (que se conoce como n ucleo iterado) esta dado por
k
(n)
(x, z) =
_
b
a

_
b
a
k(x, y
1
)k(y
1
, y
2
) . . . k(y
n1
, z) dy
1
dy
2
. . . dy
n1
. (28)
LLamemos S
n
(x) =

n
m=0

m
u
(m)
(x) a la suma parcial, que converge a la soluci on de la ecuacion integral
de Fredholm. Ahora vamos a estimar la norma de S
n
. Usando la desigualdad triangular tenemos,
||S
n
|| |||| +
n

m=1
||
m
||u
(m)
||. (29)
Para estimar la norma de u
(m)
podemos usar la relacion de recurrencia (23) y la desigualdad de Schwarz.
Usando la desigualdad de Schwarz, tenemos
_
_
b
a
k(x, y)u
(m1)
(y) dy
_
2

_
_
b
a
k(x, y)
2
dy
__
_
b
a
u
2
(m1)
(y) dy
_
(30)
Integrando esta ultima ecuacion en x (a, b), usando la denici on de la relacion de recurrencia (23),
obtenemos
||u
(m)
||
2

_
_
b
a
_
b
a
k(x, y)
2
dxdy
_
||u
(m1)
||
2
. (31)
Conviene ahora denir
K =

_
b
a
_
b
a
k(x, y)
2
dxdy. (32)
4
En terminos de K, a partir de (31) se obtiene la siguiente relacion de recurrencia para las normas de las
iteraciones sucesivas u
(n)
:
||u
(0)
|| = ||||, (33)
||u
(m)
|| K||u
(m1)
||, m 1. (34)
Iterando (34) obtenemos
||u
(m)
|| K
m
||||. (35)
Reemplazando esta ultima estimacion en (29) obtenemos nalmente,
||S
n
||
_
n

m=0
||
m
K
m
_
||||
1
1 ||K
||||, (36)
para valores de tales que
|| K < 1.
As pues, las sumas parciales S
n
convergen para valores sucientemente peque nos de , i.e., para valores
tales que
|| <
1
K
. (37)
Comentario: La constante K se conoce como la norma de HilbertSchmidt del operador integral T de
nucleo k.
Propiedades Espectrales de Operadores Integrales
Consideremos el operador integral
T(u)(x)
_
b
a
k(x, y)u(y) dy, (38)
de n ucleo k(x, y). Llamemos K a la norma de HilbertSchmidt de T (supongamos que K < ). Entonces,
el operador T mapea funciones de cuadrado integrable (en (a, b)) en funciones de cuadrado integrable.
De hecho, tenemos,
||Tu|| K||u||.
Si denimos el producto interno usual en (a, b), entonces, si el n ucleo k es simetrico (i.e., si k(x, y) =
k(y, x)) entonces el operador T es autoadjunto, en el sentido que
(u, Tv) = (Tu, v).
(Aqu estoy suponiendo n ucleos y productos internos reales; si consideramos funciones complejas, tenemos
que exigir que el n ucleo satisfaga k(x, y) = k(y, x) para que el operador T sea autoadjunto).
Consideremos el problema espectral
T(u
i
) =
1

i
u
i
(39)
para el operador integral T. Aqu, por uso habitual en Teora de Ecuaciones Integrales, los autovalores
se denotan por 1/
i
.
Los resultados principales concernientes al problema espectral (39) se pueden resumir en el teorema
siguiente:
5
Teorema 1 (Propiedades Espectrales del Operador T). i) Existe una sucesion de valores propios,
i
>
0.
ii) Las correspondientes funciones propias son ortogonales.
iii) Cada
i
tiene degeneracion nita.
iv) El unico posible punto de acumulaci on de la secuencia {
i
} es innito.
v)

i
1

2
i
=
_
b
a
_
b
a
k(x, y)
2
dxdy = K
2
.
Como hemos visto, es f acil demostrar la existencia de un autovalor y de una autofunci on cuando el
n ucleo del operador T es simple (i.e., es de la forma k(x, y = s(x)s(y)). Tambien es relativamente
facil hacerlo cuando el n ucleo es una suma nita de n ucleos simples, i.e., cuando es de la forma k(x, y) =

n
m=0
s
m
(x)s
m
(y). En este ultimo caso el problema espectral del operador integral se reduce al problema
espectral de una matriz simetrica de n n. Si el n ucleo k(x, y) es una funci on continua en un intervalo
(a, b) nito, por el Teorema de Weierstrass se puede aproximar por suma de n ucleos simples. Entonces
uno puede estudiar el espectro de los operadores integrales asociados a estos n ucleos aproximados. Esto
no lo vamos a hacer aqu. El lector interesado puede consultar, por ejemplo, R. Courant, D. Hilbert,
Methods of Mathematical Physics, vol. I, Interscience Publishers, Inc., NY, 1953, Chapter III,
pags. 112162. Aqu supodre que el operador T tiene una secuencia numerable de autovalores
i
, y
llamaremos u
i
a las correspondienes autofunciones (que son ortonormales, pues T es autoadjunto).
Consideremos la siguiente desigualdad,
0 I
_
b
a
_
b
a
_
k(x, y)
n

i=1
1

i
u
i
(x)u
i
(y)
_
2
dxdy. (40)
Desarrollando el cuadrado tenemos,
I = K
2
2
n

i=1
_
b
a
_
b
a
k(x, y)
1

i
u
i
(x)u
i
(y) dxdy +
n

i,j=1
1

j
_
b
a
_
b
a
u
i
(x)u
i
(y)u
j
(x)u
j
(y) dxdy. (41)
Usando la ortonormalidad de las funciones u
i
y el hecho que son propias de T con valor propio 1/
i
, a
partir de (41) obtenemos
I = K
2
2
n

i=1
_
b
a
1

2
i
u
i
(x)
2
dx +
n

i,j=1
1

i,j
_
b
a
u
i
(y)u
j
(y) dxdy. (42)
De donde nalmente obtenemos,
0 K
2

i=1
1

2
i
, (43)
es decir,
n

i=1
1

2
i
K
2
, (44)
que es la desigualdad de Bessel para operadores integrales.
La desigualdad de Bessel vale para todo n. Si hay innitos autovalores, tomando el lmite n
tenemos

i=1
1

2
i
K
2
, (45)
6
De hecho, se puede demostrar que si se consideran todos los autovalores de T, se tiene la igualdad en
(45).
De (45) observamos que si el operador interal T tiene norma de HilbertSchmidt nita (i.e., K < )
entonces, los
i
solo pueden tener degeneracion nita, y solo se pueden acumular en innito.
Si los u
i
forman base de las funciones de cuadrado intregrable en el intervalo (a, b), se tiene la siguiente
identidad para el n ucleo k(x, y):
k(x, y) =

i=1
u
i
(x)u
i
(y)

i
. (46)
La representacion (46) para el n ucleo k se conoce como formula de Mercer.
Para demostrar la formula de Mercer, asumiendo que las autofunciones u
i
forman base, podemos
proceder como sigue: consideramos k(x, y) como una funci on de y (que depende del par ametro x), y
expand amosla en terminos de las funciones base u
i
. Entonces,
k(x, y) =

i=1
c
i
u
i
(y), (47)
y dada la ortogonalidad de los u
i
, los coecientes estan dados por
c
i
=
_
b
a
k(x, y)u
i
(y) dy =
1

i
u
i
(x). (48)
La primera igualdad en (48) sigue del hecho que los u
i
son ortonormales (dice que los coecientes c
i
son
la proyeccion ortogonal de k(x, y) a lo largo de u
i
) en tanto que la segunda igualdad sigue del hecho que
los u
i
son propios de T con valor propio 1/
i
. Reemplazando (48) en (47) obtenemos (46).
Una aplicaci on a funciones de Green
Consideremos el operador de SturmLiouville
Lu =
d
2
u
dx
2
(49)
que act ua sobre funciones u C
2
(0, 1), que satisfacen las condiciones de borde u(0) = u(1) = 0. Como
hemos visto en la clase anterior, el operador L se puede invertir, y su inverso se puede escribir como un
operador integral. As, si consideramos el problema
Lu = f, (50)
en que f es una funci on dada, y u satisface u(0) = u(1) = 0, podemos resolver para u como
u(x) = L
1
(f)(x) =
_
1
0
G(x, y)f(y) dy. (51)
As, el inverso L
1
se puede escribir como un operador integral. El n ucleo del inverso de un operador
diferencial se conoce tpicamente como funci on de Green. Para el operador L en cuestion (dado por (49))
la funci on de Green (ver la clase anterior) esta dada por
G(x, y) = x(1 y), para 0 x y, (52)
G(x, y) = y(1 x), para y x 1. (53)
Por otra parte las funciones propias de L satisfacen
Lu
n
=
n
u
n
. (54)
Debidamente normalizadas estan dadas por
u
n
(x) =

2sen(n x), (55)

7
en tanto que los autovalores estan dados por

n
= n
2

2
, (56)
para n = 1, 2, . . . . Invirtiendo (54), usando la funci on de Green, vemos que
1

n
u
n
(x) =
_
1
0
G(x, y)u
n
(y) dy, (57)
en que G(x, y) esta dado por (53). Usando (53, 55, 56) en la formula de Mercer (46) obtenemos

n=1
2
(n)
2
sen(nx)sen(ny) = (58)
= x(1 y) si 0 x y, (59)
= y(1 x) si y x 1. (60)
Por otra parte, usando la igualdad de Bessel

n=1
1

2
n
=
_
1
0
_
1
0
G(x, y)
2
dxdy,
obtenemos

n=1
1
n
4
=

4
90
.
Comentario: Para hacer la integral doble de G(x, y)
2
usamos la simetra de G (i.e., G(x, y) = G(y, x)).
As,
I
_
1
0
_
1
0
G(x, y)
2
dxdy = 2
_
1
0
_
x
0
G(x, y)
2
dxdy = (61)
= 2
_
1
0
_
x
0
y
2
(1 x)
2
dy dx =
2
3
_
1
0
x
3
(1 x)
2
dx =
1
90
. (62)
REFERENCIAS:
[1] F.G. Tricomi, Integral Equations, Dover Publications, Inc., NY, 1985.
Notas bibliogr acas:
c Rafael Benguria D., 2004