Ecuaciones Integrales

ECUACIONES INTEGRALES
JOS MIGUEL MARN ANTUA
TEXTO PARA EL PLAN DE MAESTRA Y DOCTORADO EN

FSICA
ECUACIONES INTEGRALES
TEXTO PARA EL PLAN DE MAESTRA Y DOCTORADO EN
FSICA
JOS MIGUEL MARN ANTUA
PGINA LEGAL
Primera edicin, Editorial Universitaria, 2014.
Calle 23 No. 565 e/ F y G, Vedado, La Habana, Cuba.
E-mail: eduniv@mes.edu.cu
Telfono: (+537) 837 4538
e ISBN 978-959-16-2275-4
Todos los derechos reservados Jos Miguel Marn Antua, Profesor
Emrito. Facultad de Fsica de La Universidad de La Habana. Cuba. E-mail:
marin@fisica.uh.cu
Indice
Introduccion 7
1 Clasificacion de las ecuaciones integrales 9
1.1 Ecuacion integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Ecuacion integral de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Problemas que conducen a ecuaciones integrales . . . . . . . . . . . . . . . . . . 11
2 Ecuacion integral de Fredholm homogenea de segundo tipo 15
2.1 Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Nucleos Iterados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 Metodo de aproximaciones sucesivas para la ecuacion integral de Fredholm ho-

mogenea de segundo tipo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.1 Desigualdad de Cauchy-Buniakovsky . . . . . . . . . . . . . . . . . . . . 25
2.3.2 Teorema de existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Calculo de todos los autovalores y las autofunciones de nucleos que cumplan

la propiedad A. Nucleos degenerados. Autovalores y autofunciones 35
3.1 Ideas basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Nucleos degenerados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4 Nucleos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.5 Teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3
4 INDICE
3.6 Ecuacion integral de Fredholm no homogenea de segundo tipo . . . . . . . . . . 56
3.7 Solucion de la ecuacion integral de Fredholm no homogenea de segundo tipo por

el metodo de aproximaciones sucesivas . . . . . . . . . . . . . . . . . . . . . . . 61
3.8 Ejemplos de solucion de ecuaciones integrales de

Fredholm de segundo tipo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.9 Ecuaciones integrales de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.10 Solucion de ecuaciones integrales de Volterra por transformadas integrales . . . . 74
3.11 Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4 Equivalencia entre los problemas de frontera de ecuaciones diferenciales y las

ecuaciones integrales con nucleo simetrico 77
4.1 Funcion de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.2 Equivalencia entre un problema de

Sturm-Liouville y una ecuacion integral con nucleo simetrico. Propiedades de
los autovalores y las autofunciones del problema de Sturm-Liouville . . . . . . . 87
4.2.1 Teorema de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2.2 Propiedades de los autovalores y de las autofunciones del problema de

Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.3 Equivalencia entre el problema de Sturm-Liouville en varias dimensiones y una

ecuacion integral multidimensional . . . . . . . . . . . . . . . . . . . . . . . . . 95
5 Ecuacion Integral de Fredholm de Segundo Tipo. Teora General 99
5.1 Transformacion de la ecuacion en un sistema algebraico . . . . . . . . . . . . . . 99
5.2 Determinante de Fredholm. Menores de Fredholm . . . . . . . . . . . . . . . . . 105
5.2.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.2.2 Convergencia de las series de Fredholm . . . . . . . . . . . . . . . . . . . 108
5.2.3 Relacion entre el determinante de Fredholm y los menores de Fredholm . 109
5.3 Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.3.1 Primer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.3.2 Segundo teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . 114
5.4 Ecuacion no homogenea de Fredholm para D() = 0. Tercer Teorema de Fredholm119

INDICE 5
5.4.1 Nucleos iterados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.4.2 Tercer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 121
6 Aspectos Complementarios de la Teora de Ecuaciones con Nucleo Simetrico125
6.1 Desarrollo de un nucleo simetrico en serie bilineal . . . . . . . . . . . . . . . . . 125
6.1.1 Convergencia de la serie bilineal al nucleo de la ecuacion integral . . . . . 126
6.1.2 Series bilineales para nucleos iterados . . . . . . . . . . . . . . . . . . . . 127
6.1.3 Nucleos definidos positivos y definidos negativos . . . . . . . . . . . . . . 128
6.2 Resolvente del nucleo simetrico . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
7 Ecuacion Integral de Fredholm de Primer Tipo 137
7.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
7.2 Familia regulada de soluciones aproximadas . . . . . . . . . . . . . . . . . . . . 138
7.2.1 Primer teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . . 139
7.2.2 Segundo teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . 142
7.2.3 Tercer teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . . 145
8 Ecuaciones Integrales entre Lmites Infinitos con Nucleos que dependen de

la Diferencia de Variables 149
8.1 Propiedades del operador integral entre lmites infinitos con nucleo dependiente
de la diferencia de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
8.2 Autofunciones de la ecuacion homogenea . . . . . . . . . . . . . . . . . . . . . . 151
8.3 Solucion de la ecuacion no homogenea . . . . . . . . . . . . . . . . . . . . . . . 152
9 El Metodo de Wiener-Hopf (Metodo de Factorizacion) 165
9.1 Conceptos iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
9.2 Propiedades analticas de la transformada de Fourier . . . . . . . . . . . . . . . 168
9.3 Ecuaciones integrales en el semieje con nucleos dependientes de la diferencia . . 171
9.4 Esquema general del Metodo de Wiener-Hopf . . . . . . . . . . . . . . . . . . . 176

6 INDICE
10 Respuestas a los ejercicios 181
Bibliografa 183
Introduccion
La teora de las ecuaciones integrales lineales es un tema de gran elegancia matematica y, a la

vez, una herramienta eficiente para acometer la solucion de multiples problemas de la Fsica
Matematica.
El libro que se presenta al lector es el resultado de la experiencia del autor como profesor de
un curso homonimo que, como postgrado y dentro del programa de la Maestra en Fsica de la
Facultad de Fsica de la Universidad de La Habana el autor ha impartido por mas de 40 anos.
En el libro se desarrollan los aspectos fundamentales de la teora de las ecuaciones integrales que
tienen importancia para la Fsica Matematica, que son las ecuaciones con nucleo real, continuo
y simetrico.
Se abordan, tambien, los principales metodos de solucion de tales ecuaciones y la vinculacion

existente entre las ecuaciones integrales y los problemas de frontera de la Fsica Matematica.
Luego se desarrolla, aun mas, la teora de ecuaciones integrales, estudiando la teora general de
Fredholm para ecuaciones con nucleo arbitrario.
La teora general de las ecuaciones integrales de Fredholm de primer tipo y el metodo regula-
rizador de Andrei Nikolaevich Tjonov es estudiado en un captulo aparte, por su importancia
para la solucion de problemas incorrectos de la Fsica Matematica.
De manera especial se desarrolla, tambien, el importante caso particular en el que la ecuacion

integral de Fredholm es planteada entre lmites infinitos, con nucleo que depende de la diferencia
de las variables.
Por ultimo, se estudian los elementos principales del Metodo de Wiener-Hopf, conocido tambien
con el nombre de Metodo de Factorizacion, que tiene una amplia aplicacion en la solucion de
ecuaciones integrales en el semieje (0, ).
7
8 Introduccion
Captulo 1
Clasificacion de las ecuaciones

integrales
En terminos generales, se denomina ecuacion integral aquella ecuacion en la que la funcion

incognita se encuentra bajo un signo de integracion. Si la funcion incognita aparece solo line-
almente, entonces la ecuacion integral es lineal.
Como puede comprenderse, esta definicion es muy amplia; sin embargo, nosotros estudiaremos,
especficamente, aquellas ecuaciones integrales de mayor aplicacion y que son las siguientes.
1.1 Ecuacion integral de Fredholm
Sea f (x) una funcion definida en el segmento a x b y K(x, s) una funcion definida en el
cuadrado {a x b, a s b}. Sea (x) una funcion desconocida en el segmento a x b.
Entonces, se llama ecuacion integral de Fredholm de primer tipo a la ecuacion que tiene
la forma que aparece a continuacion:
Z b
K(x, s)(s)ds = f (x) (1.1)
a
y se llama ecuacion integral de Fredholm de segundo tipo a la ecuacion que tiene la

forma
Z b
(x) = K(x, s)(s)ds + f (x) (1.2)
a
En ambas ecuaciones definidas as, la funcion f (x) recibe el nombre de inhomogeneidad de la

ecuacion, de manera que, si f (x) = 0, las expresiones (1.1) y (1.2) nos definiran las ecuaciones
integrales homogeneas de Fredholm de primer y segundo tipo, respectivamente. La funcion
K(x, s) se conoce con el nombre de nucleo de la ecuacion integral; es cierto parametro.
9
10 Jose Marn Antuna
En la definicion dada arriba no se hace ningun tipo de especificacion sobre las caractersticas
del nucleo K(x, s) de la ecuacion, salvo que esta definido en un cuadrado del plano (x, s).
Sin embargo, dada su vinculacion con los problemas fsicos, nosotros nos interesaremos, es-
pecficamente, por aquellos nucleos que cumplan con las condiciones siguientes:
1. K(x, s) 6= 0 identicamente para a x b, a s b,
2. K(x, s) es una funcion real de sus argumentos.
3. K(x, s) es continua y, por tanto, acotada para a x b, a s b.
4. K(x, s) K(s, x), es decir, el nucleo es simetrico.
Para abreviar nuestro desarrollo futuro de la teora, al conjunto de estas cuatro condiciones
le llamaremos propiedad A, de manera que, si decimos que un nucleo de cierta ecuacion
integral cumple la propiedad A, estaremos suponiendo que satisface las cuatro condiciones
arriba expresadas.
1.2 Ecuacion integral de Volterra
Sea f (x) una funcion definida en el segmento a < x < b y K(x, s) una funcion definida en el
triangulo a s x b. Entonces, para la funcion desconocida (x) en a x b, la ecuacion,
Z x
K(x, s)(s)ds = f (x) (1.3)
a
se llama ecuacion integral de Volterra de primer tipo y la ecuacion,
Z x
(x) = K(x, s)(s)ds + f (x) (1.4)
a
se llama ecuacion integral de Volterra de segundo tipo. Como se observa, las ecuaciones
de Volterra son aquellas en las que el lmite superior de la integral es variable.
Las ecuaciones de Volterra pueden ser consideradas como un caso particular de las de Fredholm,
ya que, si tomamos el nucleo K(x, s) 6= 0 para s x y K(x, s) 0 para s > x en las ecuaciones
de Fredholm (1.1) y (1.2), estas se hacen equivalentes a las ecuaciones de Volterra (1.3) y (1.4).
Las definiciones arriba dadas se refieren a ecuaciones integrales unidimensionales, donde el

nucleo es bidimensional. Aunque en el desarrollo teorico trabajaremos con estas ecuaciones,
ya que se simplifican de esta manera los calculos y demostraciones, en terminos generales
los resultados seran extensibles a ecuaciones integrales en varias dimensiones, las cuales son
importantes tambien en la Fsica Matematica. La ecuacion integral de Fredholm de segundo
tipo en tres dimensiones, por ejemplo, es de la forma:
Clasificacion de las ecuaciones integrales 11
Z Z Z
(M ) = K(M, P )(P )dP + f (M ) (1.5)
V
donde M = (x, y, z), P = (, , ) y V es un dominio en el espacio tridimensional.
1.3 Problemas que conducen a ecuaciones integrales
Veremos, ahora, algunos ejemplos de diversa ndole que conducen a ecuaciones integrales.
1. Supongamos que en cierto dominio tridimensional V de frontera S tenemos planteado

el primer problema homogeneo para la ecuacion de Helmholtz homogenea, es decir, el
problema de Sturm-Liouville:
2 u + u = 0, M V (1.6)
u|S = 0
Del cursolibro de Metodos Matematicos de la Fsica del autor sabemos que la funcion de
Green para la ecuacion de Poisson es
1
G(M, P ) = +v (1.7)
4rM P
donde la funcion v es armonica en el dominio donde se busca la solucion del problema:
2 u = f (M ), M V (1.8)
u|S = 0
La teora desarrollada en el libro mencionado nos conduce a que la solucion del problema
(1.8) se expresa en la forma:
Z Z Z
u(M ) = f (P )G(M, P )dP (1.9)
V
Por consiguiente, la solucion del problema (1.6) puede expresarse como,

Z Z Z
u(M ) = G(M, P )u(P )dP (1.10)
V
que es una ecuacion integral de Fredholm de segundo tipo homogenea con nucleo
K(M, P ) G(M, P )
simetrico.
12 Jose Marn Antuna
2. En el libro de Metodos Matematicos de la Fsica arriba mencionado vimos que la solucion

del problema de Dirichlet para la ecuacion de Laplace en el interior de cierta region
bidimensional S de frontera formada por la curva cerrada C:
2 u = 0, M S (1.11)
u|C = f (M )
poda ser buscada como un potencial de doble capa,

Z
cos (M, P )
u(M ) = (P )dlP (1.12)
C rM P
y para la funcion de densidad dipolar (M ) obtuvimos la ecuacion,
Z l
1 1
(x) + K(x, s)(s)ds = f (x) (1.13)
0
donde
cos (x, s)
K(x, s) = (1.14)
r(x, s)
es el nucleo de la ecuacion integral (1.13), que es una ecuacion integral de Fredholm de

segundo tipo.
3. Consideremos el siguiente problema de Cauchy para una ecuacion diferencial ordinaria de

orden n:
n1
X
(n) + ak (x)(k) (x) = f (x) (1.15)
k=0
0
(a) = 0, (a) = 0, ..., (n1) (a) = 0
Buscamos la solucion de este problema en la forma:

Z x
1
(x) = y(s)(x s)n1 ds (1.16)
(n 1)! a
donde y(x) es una nueva funcion incognita. De (1.16) tenemos:

Z x
(k) 1
(x) = y(s)(x s)n1k ds (1.17)
(n 1 k)! a
para todo 1 k n 1 y
(n) (x) = y(x) (1.18)

Clasificacion de las ecuaciones integrales 13
Colocando (1.17) y (1.18) en la ecuacion del problema (1.5), se obtiene:

Z x
y(x) + K(x, s)y(s)ds = f (x) (1.19)
a
con
n1
X ak (x)(x s)n1k
K(x, s) = (1.20)
k=0
(n 1 k)!
La ecuacion (1.19) es una ecuacion integral de Volterra de segundo tipo.

14 Jose Marn Antuna
Captulo 2
Ecuacion integral de Fredholm

homogenea de segundo tipo
Comenzaremos, ahora, el estudio detallado de la ecuacion de Fredholm homogenea de segundo

tipo. Esta es:
Z b
(x) = K(x, s)(s)ds (2.1)
a
En todo nuestro desarrollo supondremos siempre que el nucleo de (2.1) cumple la propiedad A.
Introduzcamos la siguiente notacion operacional. Llamemos A al operador lineal definido por,
Z b
Au = K(x, s)u(s)ds (2.2)
a
Entonces, en forma operacional la ecuacion (2.1) puede escribirse de manera equivalente:
= A (2.3)
Introduzcamos el concepto de producto interno de dos funciones u(x) y v(x), integrables en

el segmento [a, b], de la siguiente forma:
Z b
(u, v) (v, u) = u(x)v(x)dx (2.4)
a
Para los nucleos que cumplan la propiedad A se verifica que
(u, Av) = (v, Au) (2.5)
15
16 Jose Marn Antuna
Efectivamente, tenemos que:
Z b Z b
(u, Av) = u(x) K(x, s)v(s)dsdx =
a a
Z b Z b
= v(s) K(x, s)u(x)dxds =
a a
Z b Z b
= v(s) K(s, x)u(x)dxds = (v, Au)
a a
LQQD.
Aqu, hemos tenido en cuenta que el nucleo K(x, s) es simetrico, pues cumple la propiedad A.
Es evidente que la ecuacion (2.1) o su equivalente (2.3) siempre tiene solucion trivial, ya que
la funcion = 0 la satisface. A continuacion daremos una importante definicion.
Definicion:
Aquellos valores de para los cuales la ecuacion (2.1) tiene solucion no trivial se llaman autova-
lores de la ecuacion; las soluciones no triviales que les corresponden se llaman autofunciones
de la ecuacion.
Como la ecuacion integral (2.1) se define completamente por la expresion de su nucleo K(x, s),
muchas veces se dice que son los autovalores y las autofunciones del nucleo o, equivalentemente,
los autovalores y las autofunciones del operador A.
Estos autovalores y autofunciones tienen las siguientes propiedades.
2.1 Propiedades.
1. Las autofunciones de la ecuacion (2.1), correspondientes a distintos autovalores, son or-
togonales en el segmento [a, b].
Demostracion:
Sea 1 (x) la autofuncion correspondiente al autovalor 1 y 2 (x) la autofuncion corres-
pondiente al autovalor 2 y que 1 6= 2 . Entonces, podemos escribir:
Z b
1
1 (x) K(x, s)1 (s)ds (2.6)
1 a
Z b
1
2 (x) K(x, s)2 (s)ds (2.7)
2 a
Multipliquemos (2.6) por 2 (x) y (2.7) por 1 (x) y restemos ambas expresiones. Entonces,
utilizando la notacion operacional, obtenemos:
Ecuacion integral de Fredholm homogenea de segundo tipo 17
1
1 (x)2 (x) 2 (x)A1 (s) (2.8)
1
1
2 (x)1 (x) 1 (x)A2 (s) (2.9)
2
Restemos (2.8) y (2.9) e integremos. Nos queda:

1 1
(1 (x), 2 (x)) = (2 (x), A1 (s)) (1 (x), A2 (s)) 0 (2.10)
1 2
La igualdad a cero es en virtud de (2.5), ya que el nucleo es simetrico. Como por hipotesis
1 6= 2 , finalmente queda:
Z b
(1 (x), 2 (x)) 1 (x)2 (x)dx 0 (2.11)
a
Demostrada la propiedad.
Debemos senalar que, si a un mismo autovalor k le corresponden varias autofuncio-
nes linealmente independientes, es decir, si el autovalor es degenerado, siempre podemos
lograr que dichas autofunciones sean ortogonales entre s, aplicando el metodo de or-
togonalizacion desarrollado en el curso de Metodos Matematicos de la Fsica. Siempre
consideraremos que dicha ortogonalizacion esta ya realizada.
Por otra parte, si 1 (x) es una autofuncion correpondiente al autovalor 1 , entonces,
como la ecuacion es homogenea, la funcion 1 (x) = C1 (x) tambien sera una autofuncion
correspondiente a 1 . Por consiguiente, siempre podemos elegir una constante tal que se
cumpla que la norma al cuadrado,
Z b
2
kk 2 (x)dx = 1 (2.12)
a
En tal caso diremos que el sistema de autofunciones es ortonormado (es decir, orto-
gonal y de norma unitaria). Tambien consideraremos siempre que este proceso esta
efectuado, es decir, que siempre las autofunciones ya son ortonormales.
2. Todos los autovalores de la ecuacion (2.1) son reales.

Demostracion:
La demostracion la realizaremos por reduccion al absurdo. Supongamos que -contrario
a la tesis- cierta autofuncion (x) = (x) + i(x) corresponde a un autovalor complejo
= + i donde 6= 0. Entonces,tenemos la identidad
A (2.13)
y, efectuando la conjugacion compleja:
A A (2.14)
18 Jose Marn Antuna
pues, al cumplir K(x, s) la propiedad A y ser, por lo tanto real, A A.

Como 6= , ya que 6= 0 y 6= , debera cumplirse la primera propiedad, es decir:
Z b Z b

(x) (x)dx |(x)|2 dx = 0 (2.15)
a a
Pero (2.15) significa que (x) 0, es decir es la solucion trivial. Por consiguiente no es
un autovalor, ya que -por definicion- autovalor es aquel valor de para el que la solucion
es no trivial. Por lo tanto, tiene que ser real.
3. A cada autovalor de la ecuacion (2.1) pueden corresponder, solamente, un numero finito

de autofunciones linealmente independientes.
Demostracion:
Supongamos que al autovalor 0 de la ecuacion (2.1) le corresponden las autofunciones
1 (x), 2 (x), ..., n (x) (2.16)
Entonces, tendremos las identidades:

Z b
1
k (x) K(x, s)k (s)ds (2.17)
0 a
para todo k = 1, 2, ..., n. Las expresiones (2.17) son los coeficientes de Fourier del nucleo
K(x, s) en la base (2.16). De la teora de Fourier sabemos que si un sistema de funciones
{i (x)} es ortonormado, es decir, si
(i , k ) = ik (2.18)
entonces, para toda funcion f (x) del espacio de funciones i (x) tiene lugar la desigualdad
de Bessel:

X
fk2 k f k2 (2.19)
k=1
donde fk = (f, k ) son los coeficientes de Fourier de la funcion f (x) en la base k (x) y
Z b
2
k f k = (f, f ) f 2 (x)dx (2.20)
a
es el cuadrado de la norma de la funcion f (x). La desigualdad (2.19) se cumplira, con

mayor razon aun, si la suma es finita. Por consiguiente, los coeficientes (2.17) satisfacen
la desigualdad de Bessel:
n Z b
X 1 2
(x)
2 k
K 2 (x, s)ds (2.21)

k=1 0 a
Integrando (2.21) respecto a x en [a, b], obtenemos:
n Z b Z bZ b
X 1 2
2
k (x)dx K 2 (x, s)dsdx (2.22)

k=1 0 a a a
Es decir:
n Z
X b Z bZ b
2k (x)dx 20 K 2 (x, s)dsdx (2.23)
k=1 a a a
Llamando M = max |K(x, s)|, pues el nucleo cumple la propiedad A y, teniendo en cuenta
la ortonormalidad de las autofunciones k (x), de (2.23) obtenemos que:
n 20 M 2 (b a)2 (2.24)
La expresion (2.24) significa que el numero n es acotado y, por consiguiente, al autovalor

0 le corresponde, solamente, un numero finito de autofunciones.
En el caso en que n > 1 se dice que el autovalor 0 es degenerado y al numero n se le
llama multiplicidad o rango de degeneracion del autovalor.
4. En un segmento acotado [l, l] del eje solo puede haber un numero finito de autovalores
de la ecuacion (2.1).
Demostracion:
Supongamos que en el segmento [l, l] hay N autovalores 1 , 2 , ..., N a los cuales les
corresponden las autofunciones 1 (x), 2 (x), ..., N (x). Obtengamos una valoracion para
el numero N. Tenemos las identidades:
Z b
1
k (x) K(x, s)k (s)ds (2.25)
k a
para todo k = 1, 2, ..., N . Estos son los coeficientes de Fourier del nucleo K(x, s) en la
base de las autofunciones consideradas. Por consiguiente, se cumple la desigualdad de
Bessel:
N b
2 (x)
X Z
k
K 2 (x, s)ds (2.26)
k=1
2k a
Integrando (2.26) respecto a x entre a y b y teniendo en cuenta la ortonormalidad de las

autofunciones, obtenemos:
N Z bZ b
X 1
2
K 2 (x, s)dsdx (2.27)

k=1 k a a
20 Jose Marn Antuna
Llamando M = max |K(x, s)| y teniendo en cuenta que, como l < k < l, para toda k
se cumple que 2k < l2 , de (2.27) obtenemos que:
N
M 2 (b a)2 (2.28)
l2
Es decir:
N l2 M 2 (b a)2 (2.29)
La expresion (2.29) significa que N es un numero acotado.

Esta cuarta propiedad tiene dos evidentes corolarios:
Corolario 1
Los autovalores de la ecuacion (2.1) con nucleo que cumpla la propiedad A pueden ser
ordenados en forma creciente:
|1 | < |2 | < ..... < |n | < .... (2.30)
Ello es evidente, ya que, por la propiedad 2 son reales y, por la propiedad 4, no existen
puntos de acumulacion en el eje .
Corolario 2
Los autovalores de la ecuacion (2.1) cumplen que
lim |n | = (2.31)
n
lo que es evidente, ya que la propiedad 4 significa que no hay puntos de acumulacion en

el eje y, por tanto, la sucesion de autovalores tiene que ser divergente.
Las propiedades de los autovalores y las autofunciones enunciadas y demostradas aqu,
nos seran de gran utilidad posteriormente.
2.2 Nucleos Iterados.
Supongamos dada cierta funcion integrable en [a, b] 0 (x), y consideremos el nucleo K(x, s) de
la ecuacion integral (2.1). Construyamos la siguiente sucesion de funciones:
Z b
1 (x) = K(x, s)0 (s)ds (2.32)
a
Z b
2 (x) = K(x, s)1 (s)ds (2.33)
a
......
Z b
n (x) = K(x, s)n1 (s)ds (2.34)
a
.......
Expresemos las funciones (2.32),..., (2.34),... a traves de 0 (x). Tenemos:
Z b Z b
2 (x) = K(x, t) K(t, s)0 (s)ds dt
a a
Z b Z b
K(x, t)K(t, s)dt 0 (s)ds
a a
Z b
K2 (x, s)0 (s)ds (2.35)
a
donde hemos llamado
Z b
K2 (x, s) K(x, t)K(t, s)dt (2.36)
a
De manera completamente analoga:
Z b Z b
n (x) = K(x, t) Kn1 (t, s)0 (s)ds dt
a a
Z b
Kn (x, s)0 (s)ds (2.37)
a
donde
Z b
Kn (x, s) = K(x, t)Kn1 (t, s)dt (2.38)
a
Obviamente, (2.36) es un caso particular de (2.38) para n = 2, donde K1 (x, s) K(x, s).
Las funciones dadas por (2.38), con n = 1, 2, ... se denominan nuleos iterados de orden n.
Evidentemente, pueden ser escritos de la siguiente forma:
Z b Z b
Kn (x, s) = ... K(x, t1 )K(t1 , t2 )....K(tn1 , s)dt1 ...dtn1 (2.39)
a a
22 Jose Marn Antuna
donde se integra n 1 veces.
Utilizando la notacion operacional, tendremos que lo anterior puede ser escrito en forma com-
pacta:
1 = A0 (2.40)
2 = A1 A(A0 ) A2 0 (2.41)
...........
n = An1 An 0 Ap (Aq 0 ) (2.42)
donde p + q = n, ya que -en virtud de (2.39)- podemos escribir que,
Z b
Kn (x, s) = Kp (x, t)Kq (t, s)dt (2.43)
a
As, en forma operacional, el operador Aq debe interpretase como:
Z b
q
A= Kq (x, s)(s)ds (2.44)
a
donde Kq (x, s) es el nucleo iterado de orden q. Tiene lugar el siguiente teorema.
Teorema
Si el nuleo K(x, s) de la ecuacion (2.1) cumple la propiedad A, entonces, todos sus nucleos
iterados cumplen, tambien, la propiedad A.
Demostracion:
Es evidente, de acuerdo con (2.39), que si K(x, s) es real, continuo y acotado en el cuadrado
{a x b, a s b}, Kn (x, s) tambien lo sera, de manera que solo tenemos que comprobar
la simetra del nucleo iterado y que no es identicamente nulo.
Comprobemos que Kn (x, s) = Kn (s, x). Para n = 2 tenemos que, como K(x, s) es simetrico:
Z b Z b
K2 (x, s) = K(x, t)K(t, s)dt K(s, t)K(t, x)dt K2 (s, x) (2.45)
a a
Suponiendo, ahora, que se cumple que Kn1 (x, s) = Kn1 (s, x), hallamos que
Z b Z b
Kn (x, s) = K(x, t)Kn1 (t, s)dt K(t, x)Kn1 (s, t)dt Kn (s, x) (2.46)
a a
por lo que, por induccion completa, queda demostrada la simetra de todos los nucleos iterados.
Comprobemos, ahora, que los nucleos iterados no son identicamente nulos. Supongamos lo
contrario, es decir, que hay nucleos iterados identicamente iguales a cero y sea Km (x, s) el
nucleo iterado de menor orden identicamente nulo. Es decir, que
Kk (x, s) 6= 0, 1 k < m (2.47)
Km (x, s) 0, Kk (x, s) 0, k > m (2.48)
Existen dos posibilidades:
1. que m sea par: m = 2p. Entonces, por (2.43), tendremos
Z b
K2p (x, s) = Kp (x, t)Kp (t, s)dt 0 (2.49)
a
En virtud de la simetra de los nucleos iterados, (2.49) significa que
Z b Z b
K2p (x, x) = Kp (x, t)Kp (t, x)dt Kp2 (x, t)dt 0 (2.50)
a a
lo que significa que Kp (x, s) 0 con p < m = 2p. Esto contradice (2.47). Por lo tanto, no se
puede admitir que haya nucleos iterados identicamente nulos con m par.
2. que m sea impar: m = 2p + 1. Entonces, por (2.43) de nuevo, tendremos:
Z b
Km+1 (x, s) K2p+2 (x, s) = Kp+1 (x, t)Kp+1 (t, s)dt 0 (2.51)
a
en virtud de (2.48). Pero, entonces, en virtud de la simetra de los nucleos iterados:
Z b
Km+1 (x, x) = [Kp+1 (x, t)]2 dt 0 (2.52)
a
de donde concluimos que Kp+1 (x, s) 0 con p + 1 < m = 2p + 1 lo que, de nuevo, contradice
(2.47). Por consiguiente, debemos concluir que ningun nucleo iterado es identicamente nulo.
Por tanto, los nucleos iterados cumplen la propiedad A.
24 Jose Marn Antuna
Demostrado el teorema.
Tiene lugar otro importante teorema.
Teorema
Si la funcion (x) es autofuncion del nucleo K(x, s) con autovalor 0 , entonces, es autofuncion
del nucleo iterado Kn (x, s) con autovalor n0 .
Demostracion:
Por hipotesis, se cumple la identidad:
0 A (2.53)
Colocando (2.53) reiteradamente en su derecha, obtenemos, automaticamente, que
0 A(0 A) 20 A2 ... n0 An (2.54)
La identidad (2.54) significa que, efectivamente,
Z b
n0 Kn (x, s)(s)ds (2.55)
a
Los nucleos iterados seran utilizados en la construccion, por aproximaciones sucesivas, de la

solucion de la ecuacion integral de Fredholm homogenea de segundo tipo, a lo que nos dedi-
caremos en el proximo epgrafe.
2.3 Metodo de aproximaciones sucesivas para la ecua-

cion integral de Fredholm homogenea de segundo
tipo.
Nos dedicaremos a buscar una autofuncion y su autovalor para la ecuacion
Z b
(x) = K(x, s)(s)ds (2.56)
a
donde el nucleo K(x, s) cumple la propiedad A. Recordemos, previamente, una relacion util.
2.3.1 Desigualdad de Cauchy-Buniakovsky
En el libro de Metodos Matematicos de la Fsica vimos que, para dos funciones f (x) y g(x) del
espacio L2 [a, b] se cumpla la llamada desigualdad de Cauchy-Buniakovsky
Z b Z b Z b 1/2
2 2

f (x)g(x)dx f (x)dx g (x)dx (2.57)
a a a
O, de forma compacta:
p p
|(f, g)| (f, f )(g, g) k f k2 k g k2 (2.58)
La demostracion de esta desigualdad puede hacerse si nos percatamos de que
Z b
[f (x) + g(x)]2 dx 0 (2.59)
a
Al desarrollar la expresion (2.59) se obtiene:
k g k2 2 + 2(f, g)+ k f k2 0 (2.60)
Para que (2.60) se cumpla para cualquier , debe cumplirse que el discriminante
|(f, g)|2 k f k2 k g k2 0 (2.61)
de donde, automaticamente, se desprende la desigualdad (2.58).
2.3.2 Teorema de existencia
Pasemos a enunciar y demostrar el siguiente teorema de existencia:
Teorema
La ecuacion integral (2.56) con nucleo que cumpla la propiedad A, tiene, al menos, un autovalor
y una autofuncion.
Demostracion
Dividiremos la demostracion en cuatro partes.
1. Construccion de las aproximaciones sucesivas.

26 Jose Marn Antuna
Como el nucleo K(x, s) cumple la propiedad A, existira al menos, un punto (x0 , s0 ) tal que
K(x0 , s0 ) 6= 0. Escojamos como aproximacion de orden cero la funcion
0 (x) = K(x, x0 ) (2.62)
y construyamos la sucesion de aproximaciones sucesivas de la siguiente forma:
Z b
1 (x) = K(x, s)0 (s)ds A0 (2.63)
a
2 = A1 A2 0 (2.64)
...............
n = An1 An 0 (2.65)
...........
Es evidente que la sucesion funcional {n (x)} obtenida no es trivial, ya que, por ejemplo
Z b Z b
1 (x0 ) = K(x0 , s)K(s, x0 )ds = K 2 (x0 , s)ds 6= 0 (2.66)
a a
pues K(x, s) cumple la propiedad A. Por tanto, 1 (x) 6= 0. Igual razonamiento nos conduce a
concluir que n (x) 6= 0. Introduzcamos la notacion:
Z b
2
Nn k n k n2 (x)dx (2.67)
a
Entonces tendremos:
Nn = (n , n ) = (An 0 , An 0 ) = (A(An1 )0 , A0 ) =
= (An1 0 , An+1 0 ) = ...
Z b
p q
... = (A 0 , A 0 ) p (x)q (x)dx (2.68)
a
Ahora bien, de acuerdo con (2.58), tenemos que:
q p
|Nn | |(p , q )| (p , p )(q , q ) Np Nq (2.69)
y, en particular:
p
|Nn | Nn1 Nn+1 (2.70)
Es facil ver que ninguna de las funciones n (x) de nuestra sucesion es identicamente nula, pues
si suponemos, por ejemplo, que n (x) 6= 0 y n+1 0, entonces, por (2.70):
p
|Nn | Nn1 0 = 0 (2.71)
y, como Nn k n k2 0, de (2.71) concluiramos que Nn 0 lo que implicara que n (x) 0,

contrario a lo supuesto.As pues, ninguna funcion de la sucesion es identicamente nula y, por
tanto, ninguna norma Nn es igual a cero. Por consiguiente, podemos introducir una sucesion
normalizada de funciones dada por:
n (x)
n (x) = (2.72)
Nn
Las funciones (2.72) tienen, evidentemente, norma unitaria. Como, de acuerdo con (2.65)
Z b
n (x) = K(x, s)n1 (s)ds (2.73)
a
tendremos, para las funciones n (x), de (2.73):
Z b
n (x) = n K(x, s)n1 (s)ds (2.74)
a
donde,
r
Nn1
n = (2.75)
Nn
De esta forma quedan construdas las aproximaciones sucesivas. Nuestro objetivo sera de-
mostrar que las aproximaciones sucesivas (2.74) convergen a una funcion que satisface la
ecuacion (2.56). Para ello, demostremos primero la convergencia de la sucesion numerica {n },
definida por (2.75). Es decir, veamos la segunda parte de la demostracion.
2. Convergencia de la sucesion numerica {n }
Demostraremos que n 0 para n . Para ello, demostremos que la sucesion {n } es

monotona no creciente y acotada por debajo. Ello implicara su convergencia.
Tenemos:
28 Jose Marn Antuna
r r
Nn1 Nn1 Nn
n = =
Nn N n Nn
s
Nn1 Nn Nn1 Nn Nn
= = n+1 (2.76)
Nn Nn1 Nn+1 Nn+1
donde, en el denominador, hemos tenido en consideracion la expresion (2.70). La desigualdad

(2.76) nos dice que, efectivamente, la sucesion {n } es monotona no creciente. Por otra parte,
aplicando a (2.74) la desigualdad de Cauchy-Buniakovsky, tendremos:
Z b 2
2

|n (x)| 2n

K(x, s) n1 (s)ds

a
Z b Z b
2n K 2 (x, s)ds 2 (s)ds (2.77)
a a
De (2.77) y teniendo en cuenta que las funciones n (x) son normalizadas, por lo que la segunda
integral es igual a la unidad, obtenemos:
Z b
2
|n (x)| 2n K 2 (x, s)ds (2.78)
a
Integrando (2.78) respecto a x entre a y b y teniendo en cuenta que (x) son normalizadas,
obtenemos:
1 2n C 2 (2.79)
donde hemos llamado
Z bZ b
2
C = K 2 (x, s)dxds (2.80)
a a
Por lo tanto:
1
2n (2.81)
C2
Es decir, tomando solo la raz positiva, pues de (2.75) se ve que n son numeros positivos:
1
n (2.82)
C
donde, de acuerdo con (2.80), 0 < C < , ya que el nucleo K(x, s) cumple la propiedad A.
La expresion (2.82) significa que, efectivamente, la sucesion {n } es acotada por debajo. Por
lo tanto, esta sucesion converge. Denotemos su lmite por:
1
lim n = 0 (2.83)
n C
Pasemos, ahora, a una tercera fase de la demostracion del teorema de existencia.
3. Determinacion del autovalor y de la autofuncion de la ecuacion (2.56).
La convergencia de la sucesion numerica {n } no implica, necesariamente, la convergencia de

la sucesion funcional {n (x)}. Por ello, supongamos que se cumple la convergencia uniforme
de las subsucesiones par e impar:
{2m (x)} (x), m = 0, 1, 2, ... (2.84)
{2m+1 (x)} (x), m = 0, 1, 2... (2.85)
que demostraremos en la cuarta parte de esta demostracion del teorema de existencia.
Tendremos, de acuerdo con (2.74):
Z b
2m (x) = 2m K(x, s)2m1 (s)ds (2.86)
a
Z b
2m+1 (x) = 2m+1 K(x, s)2m (s)ds (2.87)
a
Por consiguiente, haciendo n , obtenemos, teniendo en cuenta (2.86) y (2.87):
Z b
(x) = 0 K(x, s)(s)ds (2.88)
a
Z b
(x) = 0 K(x, s)(s)ds (2.89)
a
Evidentemente, las funciones (x) y (x) son normadas y no identicamente nulas. Analicemos
las funciones:
(x) = (x) (x) (2.90)

30 Jose Marn Antuna

(x) = (x) + (x) (2.91)
Sumando (2.90) y (2.91), obtenemos:
Z b

(x) 0
K(x, s)(s)ds (2.92)
a
Restando (2.90) y (2.91), obtenemos:
Z b
(x) 0 K(x, s)(s)ds (2.93)
a
Los resultados (2.92) y (2.93) indican que el metodo de aproximaciones sucesivas nos da las

funciones (x) y (x) que satisfacen la ecuacion (2.56). Por lo tanto, queda demostrada la
existencia de la solucion. Aqu son posibles tres casos:

1) (x)
6= 0, (x) 6= 0. Entonces, de acuerdo con (2.92) y (2.93), concluimos que (x) es una
autofuncion de la ecuacion (2.56) correspondiente al autovalor 0 y que (x) es una autofuncion
de la misma ecuacion correspondiente al autovalor 0 .
2) (x) 0. Entonces, de (2.92) y (2.93) concluimos que (x) (x) (x) y, por lo tanto,
existe la autofuncion (x) de la ecuacion (2.56) correspondiente al autovalor 0 . En este caso
(2.84) y (2.85) nos permiten afirmar que la sucesion {n (x)} converge uniformemente a (x).

3) (x) 0. Entonces, de (2.91) concluimos que (x) (x) (x) 6= 0 y, por lo tanto,
existe la autofuncion (x) de la ecuacion (2.56) correspondiente al autovalor 0 . En este
caso, la sucesion {n (x)} no converge (no tiene lmite), ya que las subsucesiones par e impar,
de acuerdo con (2.84) y (2.85), tienen lmites diferentes. Sin embargo, la sucesion {(1)n n (x)}
sera convergente uniformemente a (x).
De esta manera queda demostrada la existencia de, al menos, una autofuncion y un autovalor
de la ecuacion (2.56), lo que demuestra el teorema de existencia. Pero, para poder decir
que el teorema esta totalmente demostrado, es necesario demostrar aun que las convergencias
uniformes (2.84) y (2.85) tienen lugar. Eso lo abordaremos en la cuarta parte de esta larga
demostracion.
4. Demostracion de la convergencia uniforme de {n (x)} para ndices pares e im-

pares.
En virtud de que las funciones n (x) son normalizadas, llamando M = max|K(x, s)| y uti-
lizando la desigualdad de Cauchy-Buniakovsky, tendremos, por (2.74):
Z b Z b Z b 1/2
2 2
|n (x)| = n
K(x, s)n1 (s)ds n
K (x, s)ds n1 (s)ds (2.94)
a a a
de donde:

|n (x)| n M b a 1 M b a M0 (2.95)
pues, como la sucesion n es monotona no creciente, n 1 . Por consiguiente, la sucesion fun-

cional {n (x)} es uniformemente acotada. Por otra parte, como el nucleo K(x, s) es continuo,
tendremos que, para > 0, existira un > 0 tal que si |x0 x| < , se cumplira que:

|K(x0 , s) K(x00 , s)| < (2.96)
1 M0 (b a)
Por consiguiente:
Z b
0 00
|n (x ) n (x )| n |K(x0 , s) K(x00 , s)||n1 (s)|ds
a
Z b
(b a)
1 M 0 |K(x0 , s) K(x00 , s)|ds < 1 M0 (2.97)
a 1 M0 (b a)
donde hemos tenido en cuenta (2.95), (2.96) y que n 1 . La expresion (2.97) nos establece
que la sucesion {n (x)} es continua en [a, b].
Como {n (x)} es uniformemente acotada y continua, de acuerdo con el teorema de Arzela, de

ella puede sacarse una subsucesion {np (x)} convergente en media, es decir, tal que:
Z b
Imp ,np |mp (x) np (x)|2 dx < , mp , np > N () (2.98)
a
Demostremos que la subsucesion que podemos elegir es la de subndices de igual paridad. Sean
m y n numeros de igual paridad y analicemos la siguiente expresion, donde tenemos en cuenta
que las funciones son normalizadas:
Z b Z b Z b Z b
2
Im,n = [m (x) n (x)] dx + 2m (x)dx
2 2n (x)dx
m (x)n (x)dx =
a a a a
Z b Z b
2
= 22 m (x)n (x)dx = 2 m (x)n (x)dx (2.99)
a Nm Nn a
Aqu hemos tenido en cuenta la definicion (2.72).
De acuerdo con (2.68), tenemos que:
Nk = (k , k ) (p , q ) (2.100)
32 Jose Marn Antuna
donde p + q = 2k. Por consiguiente, si hacemos m + n = 2k, tendremos k = (m + n)/2 que es

un numero entero, pues m y n son de la misma paridad. Por lo tanto, tendremos que:
Z b Z b
2
N m+n = m+n (x)dx = m (x)n (x)dx (2.101)
2 2
a a
Colocando (2.101) en (2.99), tendremos:
N m+n
Im,n = 2 2 2 (2.102)
Nm N n

Como Nk > 0 y, ademas, N m+n < Nm Nn , por lo tanto, siempre se cumplira que:
2
0 < Im,n < 2 (2.103)
Analicemos, ahora, la siguiente expresion:

2 Im,n 2N m+n Nm2 Nn
= 2 =
2 Im2,n Nm Nn 2N m+n2
2

2N m+n N N N n+m
= 2
m2 m1 = m m1 2
(2.104)
2N m+n 1 N N
m m1 N n+m
1
2 2
donde hemos tenido en cuenta la definicion (2.75). De acuerdo con esa misma definicion, (2.104)
nos da:
2 Im,n 1
= m m1 2 1 (2.105)
2 Im2,n m+n
2
La desigualdad en (2.105) viene dada por ser la sucesion {n } monotona no creciente, bajo el
supuesto de que n > m.
De forma completamente analoga, concluimos que:
2 Im,n 2m+n +1
= 2
1 (2.106)
2 Im,n+2 n+1 n+2
De (2.105) y (2.106) concluimos que:
Im,n Im2,n , Im,n Im,n+2 (2.107)

Es decir, que, en general:
Im,n Im0 ,n0 , m0 m n n0 (2.108)
donde m, m0 , n y n0 son todos numeros de la misma paridad.
Tomando, ahora, en (2.108) m0 = N y np n, por el teorema de Arzela tendremos:
Im,n IN,n IN,np < (2.109)
Por consiguiente, queda demostrado que las subsucesiones con ndices de igual paridad de la
sucesion {n (x)} convergen en media y, como dichas subsucesiones son, a su vez, uniformemente
acotadas y continuas, tambien convergen uniformemente. De esta manera, quedan rigurosa-
mente establecidas las convergencias uniformes (2.84) y (2.85).
Notese que la relacion (2.108) nos esta diciendo que Im,n es monotona no creciente y, como,
ademas, por (2.103), es acotada por debajo con cota igual a cero, se deduce que, para m, n ,
Im,n 0 lo que, igualmente, garantiza la convergencia en media de las subsucesiones con
subndices de igual paridad.
Demostrado el teorema de existencia.
Es conveniente hacer las siguientes observaciones:
1. En primer lugar, debemos senalar que este teorema no es valido para la ecuacion de
Volterra y puede no ser cierto para las ecuaciones de Fredholm con nucleos no simetricos,
es decir, nucleos que no cumplan la propiedad A.
2. En segundo lugar, el lector puede comparar la afirmacion de este teorema con el teorema
demostrado en el captulo de Espacios Funcionales del libro de Metodos Matematicos de
la Fsica del autor para los operadores autoconjugados totalmente continuos.
34 Jose Marn Antuna
Captulo 3
Calculo de todos los autovalores y las

autofunciones de nucleos que cumplan
la propiedad A. Nucleos degenerados.
Autovalores y autofunciones
3.1 Ideas basicas
El teorema de existencia que acabamos de demostrar en el captulo anterior, nos permite afirmar
la existencia de, al menos, un autovalor y una autofuncion para todo nucleo que cumpla la
propiedad A.
Desarrollaremos, ahora, un procedimiento para hallar todos los autovalores y todas las auto-
funciones de una ecuacion integral de Fredholm de segundo tipo con nucleo que cumpla la
propiedad A, a partir del autovalor y de la autofuncion cuya existencia esta garantizada por el
teorema del epgrafe anterior.
Sea K(x, s) un nucleo que satisfaga la propiedad A y sea 1 el autovalor correspondiente a la

autofuncion 1 (x) de este nucleo, hallados -digamos- por el metodo de aproximaciones sucesivas.
Veamos el siguiente nucleo auxiliar:
1 (x)1 (s)
H2 (x, s) = K(x, s) (3.1)
1
Este nucleo casi cumple con la propiedad A. Decimos casi, pues, evidentemente, como K(x, s)
cumple la propiedad A, (3.1) es simetrico, es continuo (pues 1 (x) es acotada) y es real.
Pero puede suceder que H2 (x, s) 0.
Tienen lugar los siguientes teoremas.
35
36 Jose Marn Antuna
Teorema.
Cualquier autofuncion del nucleo (3.1), 2 (x), correspondiente al autovalor 2 , es, tambien,
autofuncion del nucleo K(x, s) y es ortogonal a 1 (x).
Demostracion:
Sea 2 (x) una autofuncion de H2 (x, s) correspondiente al autovalor 2 . Esto significa que se
cumple la identidad
Z b
2 (x) 2
H2 (x, s)2 (s)ds
a
Z b
1 (x) b
Z
2 K(x, s)2 (s)ds 2 1 (s)2 (s)ds (3.2)
a 1 a
Calculemos el producto interno de las funciones 1 (x) y 2 (x), teniendo en cuenta (3.2). Te-
nemos:
Z b Z b Z b
(1 , 2 ) = 1 (x)2 (x)dx = 2 1 (x) H2 (x, s)2 (s)ds dx =
a a a
Z b Z b
2 b 2
Z Z b
= 2 1 (x) K(x, s)2 (s)ds (x) 1 (s)2 (s)ds dx =
a a 1 a 1 a
Z b Z b
2 b
Z Z b
= 2 2 (s) K(x, s)1 (x)dx ds 1 (s)2 (s)ds 21 (x)dx (3.3)
a a 1 a a
Pero, como 1 (x) es autofuncion del nucleo K(x, s) con autovalor 1 y es, ademas, normalizada,
se cumple que
Z b
1
K(x, s)1 (x)dx 1 (s) (3.4)
a 1
Z b
21 (x)dx = 1 (3.5)
a
Sustituyendo (3.4) y (3.5) en (3.3), obtenemos que (1 , 2 ) = 0 lo que significa que ambas
funciones son ortogonales. Ademas, de (3.2), como la ultima integral a la derecha es cero, nos
queda que
Z b
2 (x) 2 K(x, s)2 (s)ds (3.6)
a
Calculo de todos los autovalores y las autofunciones 37
lo que significa que 2 (x) es, tambien, autofuncion del nucleo K(x, s) con autovalor 2 .
Teorema.
Si 2 (x) es autofuncion del nucleo K(x, s) correspondiente al autovalor 2 y es ortogonal a

la autofuncion 1 (x) del mismo nucleo correspondiente al autovalor 1 , entonces, 2 (x) es,
tambien, autofuncion del nucleo H2 (x, s).
Demostracion:
Por hipotesis, 2 (x) es autofuncion del nucleo K(x, s) y se cumple que (1 , 2 ) = 0. Por lo
tanto, restando a la identidad (3.6) la expresion
2
1 (x)(1 , 2 ) 0 (3.7)
1
obtenemos:
Z b Z b
2
2 (x) 2 K(x, s)2 (s)ds 1 (x) 1 (s)2 (s)ds =
a 1 a
Z b Z b
1 (x)1 (s)
= 2 K(x, s) 2 (s)ds = 2 H2 (x, s)2 (s)ds (3.8)
a 1 a
lo que significa que, efectivamente, 2 (x) es autofuncion del nucleo H2 (x, s).
Los dos teoremas anteriores sirven de base para hallar todas las autofunciones de un nucleo
K(x, s) que cumpla la propiedad A. El procedimiento es el siguiente:
1. Por el metodo de aproximaciones sucesivas hallamos 1 (x), 1 .
2. Construimos el nucleo auxiliar (3.1). Pueden darse dos posibilidades:
(a) H2 (x, s) 0.
En este caso el nucleo K(x, s) no tiene mas autofunciones, pues la unica auto-
funcion posible de H2 (x, s) en este caso sera la funcion cero (ponemos autofuncion
entre comillas, pues, por definicion, la autofuncion no puede ser identicamente nula).
(b) H2 (x, s) 6= 0.
Entonces, hallamos por el metodo de aproximaciones sucesivas su autofuncion 2 (x)
y su correspondiente 2 . En virtud de los teoremas demostrados, esta funcion sera
autofuncion de K(x, s).
38 Jose Marn Antuna
3. Construimos el nucleo auxiliar:
2
2 (x)2 (s) X k (x)k (s)
H3 (x, s) = H2 (x, s) K(x, s) (3.9)
2 k=1
k
De nuevo pueden darse dos posibilidades:
(a) H3 (x, s) 0.
En este caso, no existiran mas autofunciones de K(x, s) fuera de 1 (x) y 2 (x).
(b) H3 (x, s) 6= 0. En este caso, hallamos la autofuncion 3 (x) con el autovalor 3 que lo
seran, tambien, del nucleo K(x, s).
Continuando este proceso, en general, llegamos a construir el nucleo auxiliar:
n1
X k (x)k (s)
Hn (x, s) = K(x, s) (3.10)
k=1
k
con n entero.
En general, tienen lugar dos casos posibles:
(a) Que ninguno de los nucleos auxiliares (3.10) sea identicamente nulo: Hn (x, s) 6= 0
para toda n.
Entonces, obtenemos una sucesion infinita de autofunciones de K(x, s)
1 (x), 2 (x), ...., n (x), .... (3.11)

y sus correspondientes autovalores:
1 , 2 , ...., n , .... (3.12)

(b) Que, a partir de cierta n, todos los nucleos auxiliares (3.10) sean identicamente
iguales a cero; es decir, que se cumpla que
Hn (x, s) 6= 0, Hn+1 (x, s) 0 (3.13)

En este caso, para K(x, s) hallamos un numero finito de autofunciones y de autova-
lores:
1 (x), 2 (x), ...., n (x) (3.14)
1 , 2 , ...., n (3.15)
Ademas, como segun (3.13)
n
X k (x)k (s)
Hn+1 (x, s) = K(x, s) 0 (3.16)
k=1
k
concluimos que el nucleo K(x, s) se expresa en terminos de sus autofunciones en la

forma
n
X k (x)k (s)
K(x, s) = (3.17)
k=1
k
3.2 Nucleos degenerados
Surge un importante concepto.
Definicion:
El nucleo K(x, s) se llama degenerado si puede ser escrito en la forma
n
X
K(x, s) = uk (x)vk (s) (3.18)
k=1
donde uk (x) y vk (s) son funciones integrables. Esta definicion es general y no exige la simetra
del nucleo.
El procedimiento de busqueda de todos los autovalores y las autofunciones del nucleo K(x, s)
desarrollado arriba nos permite enunciar el siguiente teorema.
Teorema
Si el nucleo K(x, s) cumple la propiedad A y tiene un numero finito de autovalores y de

autofunciones, entonces, es degenerado.
Demostracion:
La demostracion de este teorema viene dada por el propio procedimiento arriba indicado. Si
Hn+1 (x, s) 0, entonces, el numero de autovalores y de autofunciones del nucleo K(x, s)
es finito y este puede expresarse por la fomula (3.18), lo que significa que, efectivamente, es
degenerado.
Tiene lugar un formidable teorema, recproco del anterior.
Teorema.
Si el nucleo K(x, s) es degenerado, entonces, tiene un numero finito de autovalores no mayor

que el orden de degeneracion n.
Demostracion:
40 Jose Marn Antuna
Por hipotesis, el nucleo K(x, s) es degenerado, es decir, tiene la forma dada por la formula (3.18).
Entonces, la ecuacion integral de Fredholm homogenea de segundo tipo para este nucleo sera:
Z b n
Z bX
(x) = K(x, s)(s)ds = uk (x)vk (s)(s)ds =
a a k=1
Xn Z b
= uk (x) vk (s)(s)ds (3.19)
k=1 a
Por lo tanto
n
X
(x) = k uk (x) (3.20)
k=1
donde
Z b
k = vk (s)(s)ds (3.21)
a
son ciertos numeros. Colocando (3.20) en la ecuacion (3.19), obtenemos:
n
X n
Z bX n
X
k uk (x) = uk (x)vk (s) m um (s)ds =
k=1 a k=1 m=1
n
X n
X Z b n X
X n
= m uk (x) vk (s)um (s)ds = m uk (x)ckm (3.22)
k=1 m=1 a k=1 m=1
donde
Z b
ckm = vk (s)um (s)ds (3.23)
a
son ciertos coeficientes. De (3.22) obtenemos, por lo tanto:
n
X
k = ckm m (3.24)
m=1
Es decir, hemos obtenido el siguiente sistema homogeneo de n ecuaciones algebraicas con n

incognitas, para determinar las k :
(c11 1)1 + c12 2 + .... + c1n n = 0

c21 1 + (c22 1)2 + .... + c2n n = 0 (3.25)
.......................................................................
cn1 1 + cn2 2 + .... + (cnn 1)n = 0
Para que este sistema tenga soluciones no triviales, tiene que cumplirse que su determinante
sea nulo, es decir:

(c11 1) c12 ... c1n

c 21 (c 22 1) ... c2n

=0 (3.26)

... ... ... ...

cn1 cn2 ... (cnn 1)
(3.26) es una ecuacion algebraica de grado n para determinar . Dicha ecuacion tiene, cuando
mas, n races 1 , 2 , ...., n .
Como consecuencia de ambos teoremas, podemos concluir la siguiente afirmacion que, de hecho,
ya esta demostrada.
Teorema.
Para que el nucleo K(x, s) que cumpla la propiedad A tenga un numero finito de autovalores
es necesario y suficiente que sea degenerado.
3.3 Ejemplos
Veamos algunos ejemplos ilustrativos de los procedimientos desarrollados en estos dos epgrafes.
1. Hallar todas las autofunciones y todos los autovalores de la ecuacion integral de Fredholm
homogenea de segundo tipo:
Z
(x) = cos(x s)(s)ds (3.27)
0
Tenemos que el nucleo es
K(x, s) = cos(x s) (3.28)
y que, por ejemplo, en x0 = 0, K(x, x0 ) = cos x 6= 0. Por lo tanto, por aproximacion

inicial tomamos la funcion
42 Jose Marn Antuna
0 (x) = cos x (3.29)
Construimos las aproximaciones sucesivas:

Z

1 (x) = cos(x s) cos sds = cos x (3.30)
0 2
Z
2
2 (x) = cos(x s) cos sds = cos x (3.31)
0 2 2
.........................................................................
n
n (x) = cos x (3.32)
2
Calculamos el cuadrado de la norma:
Z 2n 2n+1
2
Nn k n k = cos2 xdx = (3.33)
0 2 2
Por consiguiente, las aproximaciones normalizadas son:
r
n (x) 2
n (x) = = cos x (3.34)
Nn
Evidentemente
r
2
lim n (x) = cos x 1 (x) (3.35)
n
Por lo tanto, (3.35) sera la autofuncion de (3.27) buscada por el metodo de aproximaciones
sucesivas. Ademas, tenemos que:
r
Nn1 2
n = = (3.36)
Nn
Por lo tanto, el autovalor correspondiente a la autofuncion (3.35) sera:
2
1 = lim n = (3.37)
n
Hallemos, ahora, las demas soluciones. Para ello, construimos el nucleo auxiliar:
1 (x)1 (s)
H2 (x, s) = K(x, s)
1
q q
2 2

cos x
cos s
cos(x s) 2 =

= cos x cos s + sin x sin s cos x cos s sin x sin s 6= 0 (3.38)
Como las autofunciones de H2 (x, s) son autofunciones tambien de K(x, s), hallemos por
aproximaciones sucesivas una autofuncion del nucleo auxiliar. Evidentemente, para x0 =
/2, H2 (x, x0 ) = H2 (x, /2) = sin x 6= 0. Por lo tanto, por aproximacion inicial tomamos:
0 (x) = sin x (3.39)
y construimos las aproximaciones sucesivas:

Z

1 (x) = sin x sin s sin sds = sin x (3.40)
0 2
Z
2
2 (x) = sin x sin s sin sds = sin x (3.41)
0 2 2
.........................................................................
n
n (x) = sin x (3.42)
2
Calculamos el cuadrado de la norma:
Z 2n 2n+1
2
Nn k n k = sin2 xdx = (3.43)
0 2 2
Por consiguiente, las aproximaciones normalizadas son:

r
n (x) 2
n (x) = = sin x (3.44)
Nn
Su lmite nos dara la autofuncion del nucleo auxiliar H2 (x, s), que sera otra autofuncion
del nucleo K(x, s):
r
2
2 (x) = lim n (x) = sin x (3.45)
n
El autovalor correspondiente sera:
2
2 = lim n = (3.46)
n
Notese que el autovalor 1 coincide con el autovalor 2 .
Continuando el proceso, creamos el nucleo auxiliar
q q q q
2 2 2 2

cos x
cos s
sin x
sin s
H3 (x, s) = cos(x s) 2 2 =

= cos x cos s + sin x sin s cos x cos s sin x sin s 0 (3.47)
44 Jose Marn Antuna
Como H3 (x, s) 0, podemos afirmar que no existen mas autovalores, ni autofunciones y

que el nucleo K(x, s) es degenerado de orden dos y que puede escribirse como:
2
X k (x)k (s)
K(x, s) = = cos x cos s + sin x sin s (3.48)
k=1
k
El resultado obtenido mediante el desarrollo teorico es, en el ejemplo visto, evidente, a

partir de la identidad trigonometrica del coseno de la diferencia de dos angulos:
K(x, s) = cos(x s) = cos x cos s + sin x sin s (3.49)
De esta manera hemos hallado las dos autofunciones de la ecuacion (3.27):

r r
2 2
1 (x) = cos x, 2 (x) = sin x (3.50)

Ambas autofunciones corresponden al mismo autovalor:
2
1,2 = (3.51)

que es, por tanto, degenerado.
En el ejemplo desarrollado hemos querido ilustrar, con lujo de detalles, la aplicacion
del metodo de aproximaciones sucesivas para la obtencion de una solucion de la ecuacion
integral y el metodo de obtencion del resto de las soluciones con ayuda del nucleo auxiliar.
Sin embargo, es necesario destacar que el penultimo teorema de este epgrafe nos ofrece
un metodo sencillo para hallar las autofunciones y los autovalores de una ecuacion integral
de Fredholm homogenea de segundo tipo con nucleo degenerado, ya sea este simetrico o
no simetrico.
Efectivamente, si el nucleo de la ecuacion integral tiene la forma (3.18), entonces, la
solucion podra proponerse como la expresion (3.20).
Calculando los coeficientes ckm por la formula (3.23), puede construirse la ecuacion alge-
braica para hallar las n , autovalores de la ecuacion.
Los coeficientes k de (3.20) se proponen de manera que las autofunciones sean ortonor-
madas.
Ilustremos este metodo con los siguientes ejemplos.
2. Resolver por el metodo anteriormente descrito la ecuacion integral (3.27) del primer ejem-
plo.
Tenemos que el nucleo es degenerado de orden dos:
K(x, s) = cos(x s) = cos x cos s + sin x sin s (3.52)
Por lo tanto, de acuerdo con la formula (3.20), proponemos la solucion como:

2
X
(x) = k uk (x) = 1 cos x + 2 sin x 1 (x) + 2 (x) (3.53)
k=1
Calculamos por (3.23) los coeficientes ckm :

Z Z
2
c11 = cos sds = , c12 = sin s cos sds = 0 (3.54)
0 2 0
Z Z

c21 = cos s sin sds = 0, c22 = sin2 sds = (3.55)
0 0 2
Por lo tanto, la ecuacion (3.26) adquiere, en este caso, la forma:

1 0
2
=0 (3.56)
0 2 1
2
de donde 2 1 = 0, es decir, = 2/, que es el unico autovalor del nucleo.
Exigiendo que k 1 k2 =k 2 k2 = 1, obtenemos, para 1 y 2 el valor (2/)1/2 , de manera
que las autofunciones del nucleo seran
r r
2 2
1 (x) = cos x, 2 (x) = sin x (3.57)

correspondientes, ambas, al autovalor = 2/. Este resultado, por supuesto, es identico
al obtenido en el ejemplo 1.
3. Resolver la ecuacion integral

Z
(x) = x cos s(s)ds (3.58)
0
Aqu el nucleo
K(x, s) = x cos s (3.59)
aunque no es simetrico, es degenerado de orden uno. De acuerdo con el teorema men-

cionado, existira un solo autovalor y una sola autofuncion. Esta ultima tendra la forma,
de acuerdo con (3.20):
(x) = x (3.60)
Colocando (3.60) en (3.58), obtenemos:

Z Z
x = x cos ssds = x s cos sds xc (3.61)
0 0
donde el coeficiente c -unico en este caso- de acuerdo con (3.23) es, integrando por partes:
46 Jose Marn Antuna
Z
c= s cos sds = 2 (3.62)
0
Por lo tanto, el determinante (3.26) nos da la ecuacion lineal 2 1 = 0, por lo que el

autovalor de la ecuacion (3.58) es:
1
= (3.63)
2
q
2 3
De la condicion k k = 1 hallamos que el coeficiente = 3
, por lo que la autofuncion
sera:
r
3
(x) = x (3.64)
3
y queda resuelto el problema. De acuerdo con la teora desarrollada, esta solucion es
unica. Observese que, aunque el nucleo (3.59) en este caso no es simetrico, sin embargo
la aplicacion de los resultados del teorema mencionado es valida.
3.4 Nucleos cerrados
Daremos el siguiente concepto.
Definicion:
La funcion f (x), integrable en el segmento [a, b], se llama ortogonal en ese segmento al
nucleo K(x, s) si,
Z b
Af K(x, s)f (s)ds = 0 (3.65)
a
Tiene lugar un importante teorema.
Teorema.
Para que la funcion f (x), integrable en [a, b], sea ortogonal al nucleo K(x, s) que cumpla la
propiedad A es necesario y suficiente que sea ortogonal a todas las autofunciones de dicho
nucleo.
Demostracion:
1. Necesidad.
Por hipotesis, se cumple (3.65). Entonces, si k (x) son las autofunciones del nucleo K(x, s),
tendremos que
k k Ak , k = 1, 2, ... (3.66)
Multiplicando (3.66) por f (x) e integrando entre a y b, obtenemos:
Z b
f (x)k (x)dx = (f, k ) (f, k Ak ) k (f, Ak ) k (k , Af ) 0 (3.67)
a
donde hemos tenido en cuenta la propiedad (2.5) del captulo 2 para los nucleos que cumplan
la propiedad A y la expresion (3.65). (3.67) significa que f (x) es ortogonal a las k (x).
Demostrada la necesidad.
2. Suficiencia.
Por hipotesis, (f, k ) 0 y tenemos que demostrar que ello 1implica que Af 0. Hagamoslo
por reduccion al absurdo; supongamos que Af 6= 0. Entonces, podremos construir las aproxi-
maciones sucesivas, tomando como aproximacion inicial la funcion
0 = f (x) (3.68)
Entonces, para las aproximaciones sucesivas tendremos las expresiones:
1 (x) = Af 6= 0 (3.69)
2 (x) = A2 f 6= 0 (3.70)
................................................
n (x) = An f 6= 0 (3.71)
Pero, como (f, k ) 0, teniendo en cuenta la propiedad (2.5) y la formula (2.34) de este
captulo en el teorema de los nucleos iterados, tendremos:
(n , k ) = (An f, k ) (f, An k ) =

k 1
= f, n n (f, k ) 0 (3.72)
k k
Introduciendo las aproximaciones ya normalizadas,

48 Jose Marn Antuna
n
n = (3.73)
Nn
(donde las hemos destacado con un asterisco, para diferenciarlas de las autofunciones n (x))
de (3.72) tendremos que
(n , k ) 0, k = 1, 2, ... (3.74)
Por otra parte, en el teorema de existencia demostramos que, para la sucesion de aproximaciones
sucesivas normalizadas se cumplen las convergencias uniformes de las subsucesiones de ndices
de igual paridad:
{2m }
{2m+1 } (3.75)
y, por lo tanto, los lmites dados en (3.75) seran, tambien, ortogonales a las autofunciones, es
decir:
( , k ) 0, ( , k ) 0 (3.76)
La ortogonalidad (3.76) significa que (x) y (x) son linealmente independientes de las au-
tofunciones k (x). Pero esto es absurdo, ya que, por el metodo de aproximaciones sucesivas,
las autofunciones del nucleo K(x, s) se obtienen, precisamente, como combinaciones lineales de
(x) y (x). Por consiguiente, tiene que cumplirse que Af 0.
Demostrada la suficiencia.
Hagamos la siguiente aclaracion referente a la demostracion de la suficiencia del teorema de

arriba. De las formulas del metodo de aproximaciones sucesivas, puede obtenerse que

(x) + (x) 2 (x) = 0 (3.77)

(x) (x) 2 (x) = 0 (3.78)

donde (x) y (x) son dos autofunciones del nucleo K(x, s). Las expresiones (3.77) y (3.78)
significan que, efectivamente, (x) y (x) son linealmente dependientes con esas autofuncio-
nes. Ello implica que seran linealmente dependientes con todas las autofunciones del nucleo
K(x, s), pues un teorema del Algebra Lineal establece que si, entre un conjunto de vectores,
existe un subconjunto de ellos linealmente dependientes, entonces, todo el conjunto es lineal-

mente dependiente. Esa afirmacion es extensible a los espacios funcionales en los que estamos
trabajando. Ello implica la no ortogonalidad entre (x) y (x) con las autofunciones k (x),
contradiciendose, por tanto, (3.76) y, como (3.76) fue obtenido bajo el supuesto de que Af 6= 0,
no queda mas remedio que negar esa tesis por absurda y concluir que tiene que ser Af 0.
Daremos la siguiente definicion.
Definicion:
El nucleo K(x, s) se llama cerrado si no existe ninguna funcion f (x) 6= 0 ortogonal a dicho
nucleo.
Con la definicion anterior podemos enunciar los siguientes corolarios del teorema anterior:
Corolario 1.
Para que un nucleo que cumpla la propiedad A sea cerrado es necesario y suficiente que el
conjunto de sus autofunciones sea cerrado.
Demostracion:
Recordemos que, en un espacio de Banach, el conjunto de funciones {n (x)} se llama cerrado

si es ortogonal, es decir, si
(k , i ) =k k2 ki (3.79)
y no existe ninguna funcion f (x) 6= 0 del espacio ortogonal al conjunto. Por otra parte, el
conjunto {n (x)} se llama completo si, para cualquier funcion f (x) 6= 0 del espacio se cumple
la igualdad de Parseval:

X
c2n =k f k2 (3.80)
n=0
donde
1
cn = (n , f ) (3.81)
k n k2
son los coeficientes de Fourier de la funcion f (x) en el sistema {n (x)}. En la teora de las
series de Fourier se demuestra que, cumpliendose (3.80), la serie de Fourier converge en media
a su funcion f (x).
Ello significa que un conjunto completo forma una base en el espacio en cuestion y, como
este espacio es de infinitas dimensiones, el conjunto estara formado por un numero infinito de
funciones.
50 Jose Marn Antuna
Para los espacios de Banach se demuestra (ver libro de Metodos Matematicos de la Fsica del
autor) que todo conjunto de funciones completo es cerrado y viceversa.
Pues bien, el teorema demostrado establece que toda funcion f (x) ortogonal al nucleo es orto-
gonal a sus autofunciones y viceversa.
Si K(x, s) es cerrado, entonces, no existira ninguna funcion f (x) 6= 0 ortogonal a dicho nucleo
y, por lo tanto, no existira ninguna funcion ortogonal a las autofunciones del mismo y ello
significa que el conjunto de las autofunciones tambien es cerrado.
Demostrado el corolario.
Corolario 2.
Un nucleo cerrado no es degenerado.
Demostracion:
Efectivamente, pues, si el nucleo es cerrado, por el corolario anterior el conjunto de sus auto-
funciones tambien es cerrado y, por lo tanto, completo; es decir, forma una base en el espacio
de infinitas dimensiones. O sea, el conjunto de autofunciones tiene un numero infinito de
elementos, lo que significa que el nucleo K(x, s) no es degenerado.
El teorema demostrado y sus corolarios son de gran importancia en la teora de las ecuaciones
integrales que estamos desarrollando.
3.5 Teorema de Hilbert-Schmidt
En el presente epgrafe estableceremos algunos conceptos y demostraremos un importante teo-

rema.
Supongamos dado un nucleo K(x, s) que cumpla la propiedad A y sean {k (x)} sus autofuncio-
nes, que supondremos ortonormadas. Entonces, si f (x) es cierta funcion integrable, le podemos
poner en correspondencia su serie de Fourier a traves de las autofunciones:

X
f (x) fk k (x) (3.82)
k=1
donde los coeficientes del desarrollo son
Z b
fk = (f, k ) f (x)k (x)dx (3.83)
a
Definicion.
La funcion f (x) se llama emanante del nucleo K(x, s) si puede ser expresada en la forma
Z b
f (x) = K(x, s)h(s)ds Ah (3.84)
a
donde h(s) es cierta funcion seccionalmente continua en [a, b]. Tiene lugar el siguiente teorema
de Hilbert-Schmidt.
Teorema.
Cualquier funcion f (x) emanante del nucleo K(x, s) que cumpla la propiedad A puede ser de-
sarrollada en una serie de autofunciones de dicho nucleo convergente absoluta y uniformemente
en [a, b].
Demostracion:
La demostracion la dividiremos en dos partes:
1. Demostracion de la convergencia absoluta y uniforme de la serie.
Teniendo en cuenta (3.83) y (3.84) y el hecho de que K(x, s) cumple la propiedad A, podemos
escribir que:

k 1 hk
fk (f, k ) = (Ah, k ) = (h, Ak ) = h, = (h, k ) = (3.85)
k k k
donde hk = (h, k ). Colocando (3.85) en (3.82), obtenemos:

X X k (x)
f (x) fk k (x) hk (3.86)
k=1 k=1
k
De acuerdo con el criterio de Cauchy, para que la serie que figura a la derecha en (3.86) converja
absoluta y uniformemente en [a, b] es necesario y suficiente que, para > 0 exista una N () > 0
tal que para n, m > N se cumpla que

m
X k (x)
h < (3.87)

k
k

k=n
Tratemos de establecer (3.87). La desigualdad de Cauchy-Buniakovsky que demostramos en el

punto 1 del epgrafe 2.3 para series establece que, para cualesquiera sucesiones numericas {ak }
y {bk }, se cumple que
52 Jose Marn Antuna

N
(
N N
)1/2
X X X
ak b k a2k b2k (3.88)

k=1 k=1 k=1
Basados en (3.88), podemos establecer que, para cualesquiera n y m, se cumple que,
m
X (x)
( m m 2 )1/2
k
X X k (x)
hk h2k (3.89)

k k

k=n k=n k=n
Valoremos cada suma dentro del radical en la expresion (3.89). Tenemos que:
Z b
k (x)
= K(x, s)k (s)ds Ak (3.90)
k a
no son otra cosa que los coeficientes de Fourier del desarrollo del nucleo en serie de sus auto-
funciones. Por consiguiente, tiene lugar la desigualdad de Bessel:
2 Z b
X k (x)
K 2 (x, s)ds (3.91)
k=1
k a
Pero, como K(x, s) cumple la propiedad A, llamando M = max |K(x, s)|, tendremos:
m 2 2 Z b
X k (x) X k (x)
K 2 (x, s)ds (b a)M 2 M1 (3.92)
k=n
k k=1
k a
Por otro lado, tenemos que
Z b
hk = h(x)k (x)dx = (h, k ) (3.93)
a
no son mas que los coeficientes de Fourier del desarrollo de la funcion h(x) en serie de auto-
funciones del nucleo K(x, s). Por lo tanto, para ellos tiene lugar, tambien, la desigualdad de
Bessel:

X Z b
h2k h2 (x)dx m2 (b a) M2 (3.94)
k=1 a
donde hemos llamado m = max |h(x)|. Este maximo existe, ya que, por hipotesis del teorema,
la funcion h(x) es seccionalmente continua y, por tanto, acotada en [a, b]. La expresion (3.94)
esta diciendo que la serie numerica de h es acotada; es decir, convergente. Por consiguiente,
por el criterio de Cauchy para series numericas, podemos afirmar que, para > 0, existe un
N () > 0 tal que, para n, m > N , se cumple que
m
X 2
h2k < (3.95)
k=n
M1
Colocando (3.92) y (3.95) en (3.89), obtenemos que
m
X (x)
k
hk < (3.96)

k

k=n
lo que significa que el criterio de Cauchy se cumple para la serie funcional (3.86). Queda, as,
demostrada la convergencia absoluta y uniforme de la misma.
Es conveniente hacer algunas aclaraciones a la demostracion de la primera parte del teorema.
Siempre que tengamos un sistema cualquiera de funciones ortonormadas {k (x)}, podemos

crear la serie de Fourier asociada a la funcion f (x) (3.86).
Observese que en esa expresion pusimos el signo , en vez del signo igual. El signo igual podra
colocarse, solamente, en el caso en que se cumpla la igualdad de Parseval

X
fk2 =k f k2 (3.97)
k=1
lo que ocurrira si el sistema {k (x)} es cerrado y completo.
Ahora bien, sin entrar en esas consideraciones, para la serie (3.86) siempre tendra lugar la
desigualdad de Bessel

X
fk2 k f k2 (3.98)
k=1
que es lo unico que hemos utilizado en nuestra demostracion.
Es decir, para demostrar la convergencia uniforme de la serie (3.86) no hemos tenido que suponer
la convergencia de ninguna otra serie; sino que, simplemente, hemos puesto en correspondencia
a la funcion h(x) su serie de Fourier

X
h(x) hk k (x) (3.99)
k=1
y nos hemos valido de la desigualdad de Bessel (3.91), que siempre tiene lugar.
54 Jose Marn Antuna
La desigualdad de Bessel siempre se cumple, pues ella se deduce de una relacion casi evidente,
que es:

X
X
0 k hk k (x) h(x) k2 =k h k2 h2k (3.100)
k=1 k=1
y que viene a ser algo as, como una generalizacion del teorema de Pitagoras a los espacios
funcionales.
La expresion (3.100), teniendo en cuenta que (k , i ) = ki y que hk = (h, k ), es evidente, ya

que:

!
X X X
0 k hk k (x) h(x) k2 = hk k h, hk k h =
k=1 k=1 k=1
X
X
X
= hk hi (k , i ) 2 hk (h, k ) + (h, h) =
k=1 i=1 k=1

X
X
X
= h2k 2 h2k + 2
k h k =k h k 2
h2k (3.101)
k=1 k=1 k=1
As pues, queda demostrada la convergencia absoluta y uniforme de la serie (3.86).
Demostremos que dicha serie converge, precisamente, a f (x); es decir, veamos la segunda parte
de la demostracion del teorema de Hilbert-Schmidt.
2. Demostracion de la convergencia de la serie a f(x).
Analicemos la siguiente funcion:

X
(x) = f (x) fk k (x) (3.102)
k=1
Multipliquemos (3.102) por k (x) e integremos entre a y b, teniendo en cuenta la ortonormalidad

de k (x), o sea, que (k , m ) = km . Obtenemos que:

X
X
(, m ) = (f, m ) fk (k , m ) = (f, m ) fk km = fm fm 0 (3.103)
k=1 k=1
Es decir, que (x) y k (x) son ortogonales.
Por consiguiente, (x) y el nucleo K(x, s) son, tambien, ortogonales, de acuerdo con el teorema
demostrado en el epgrafe anterior. Es decir:
Z b
K(x, s)(s)ds A = 0 (3.104)
a
Calculemos el cuadrado de la norma de (x), teniendo en cuenta (3.84), (3.102), (3.103) y

(3.104) y el hecho de que el nucleo K(x, s) cumple la propiedad A. Tenemos:

X
k k2 = (, ) = (f, ) fk (k , )
k=1
(f, ) = (Ah, ) = (h, A) = (h, 0) 0 (3.105)
De (3.105) concluimos que (x) 0; es decir,

X
f (x) fk k (x) (3.106)
k=1
Es decir, efectivamente, la serie (3.86) converge absoluta y uniformemente en [a, b] a la funcion

f (x).
Hagamos la siguiente observacion.
En el epgrafe 2.2 obtuvimos, para los nucleos iterados,
Z b
Kn (x, s) = K(x, t)Kn1 (t, s)dt (3.107)
a
que las autofunciones k (x) del nucleo K(x,s), correspondientes a los autovalores k eran,
tambien, autofunciones del nucleo iterado (3.107) con autovalores nk . La expresion (3.107) nos
dice que el nucleo iterado es una funcion emanante del nucleo K(x, s). Por consiguiente, por
el teorema de Hilbert-Schmidt, tendra lugar el desarrollo

X
Kn (x, s) = Knk (s)k (x) (3.108)
k=1
Calculemos los coeficientes de este desarrollo. Tenemos:
k (s)
Knk (s) = (Kn (x, s), k (x)) (3.109)
nk
Por lo tanto, el desarrollo es:

56 Jose Marn Antuna

X k (x)k (s)
Kn (x, s) = (3.110)
k=1
nk
Por ultimo, digamos, sin efectuar ninguna demostracion por ahora, que es posible afirmar que
si el nucleo K(x, s) no es degenerado y si la serie bilineal

X k (x)k (s)
(3.111)
k=1
k
converge uniformemente en [a, b], lo hace al nucleo K(x, s).
Sin embargo, la afirmacion recproca, es decir, que el nucleo no degenerado K(x, s) puede ser
desarrollado en la serie bilineal (3.111) aun no ha sido demostrada.
3.6 Ecuacion integral de Fredholm no homogenea de se-

gundo tipo
Pasaremos, ahora, al estudio de la solucion de la ecuacion
Z b
(x) = K(x, s)(s)ds + f (x) (3.112)
a
donde K(x, s) cumple la propiedad A, f (x) es una funcion seccionalmente continua en [a, b] y
es un parametro dado.
En el desarrollo teorico que efectuaremos a continuacion, podremos ver que las propiedades
de la ecuacion (3.112), as como de su solucion, estan ntimamente ligadas a la solucion de la
correspondiente ecuacion homogenea
Z b
(x) = K(x, s)(s)ds (3.113)
a
Con vistas a resolver la ecuacion (3.112), buscaremos su solucion en la forma,
(x) = f (x) + g(x) (3.114)
donde g(x) es cierta funcion. Entonces, colocando (3.114) en (3.112), obtenemos:
Z b
f (x) + g(x) = K(x, s)[f (s) + g(s)]ds + f (x) (3.115)
a
o, llamando h(s) = [f (s) + g(s)], de (3.115) obtenemos:
Z b
g(x) = K(x, s)h(s)ds (3.116)
a
La expresion (3.116) significa que la funcion g(x) es emanante del nucleo K(x, s). Por con-
siguiente, de acuerdo con el teorema de Hilbert-Schmidt, ella admite un desarrollo en serie de
autofunciones de dicho nucleo convergente absoluta y uniformemente en [a, b]:

X
g(x) = gk k (x) (3.117)
k=1
Supongamos, ademas, que f (x) puede ser desarrollada, tambien, en serie de las autofunciones
del nucleo K(x, s):

X
f (x) = fk k (x) (3.118)
k=1
donde los coeficientes
Z b
fk = (f, k ) = f (x)k (x)dx (3.119)
a
son conocidos. Entonces, colocando (3.117) y (3.118) en (3.116), obtenemos:

X Z b
X Z b
X
gk k (x) = K(x, s) gk k (s)ds + K(x, s) fk k (s)ds =
k=1 a k=1 a k=1

X Z b
X Z b
= gk K(x, s)k (s)ds + fk K(x, s)k (s)ds =
k=1 a k=1 a

X gk X fk
= k (x) + k (x) (3.120)
k=1
k k=1
k
donde hemos intercambiado la integracion con la sumatoria, ya que suponemos que (3.117) y
(3.118) convergen uniformemente y hemos tenido en cuenta que, por definicion de autofuncion
y de autovalor del nucleo K(x, s):
Z b
k (x)
K(x, s)k (s)ds = (3.121)
a k
58 Jose Marn Antuna
Por consiguiente, de (3.120) obtenemos:
gk fk
gk = + , k = 1, 2, 3, ... (3.122)
k k
De (3.122), finalmente, nos queda:
(k )gk = fk (3.123)
Aqu hay dos casos posibles:
1. Que 6= k . Es decir, que el parametro en la ecuacion (3.112) no coincida con ninguno

de los autovalores de la ecuacion homogenea correspondiente (3.113).
Entonces, despejando, obtenemos:
fk
gk = (3.124)
k
y, por lo tanto, la solucion de la ecuacion no homogenea (3.112) vendra dada, de acuerdo

con (3.114), por la expresion:

X fk
(x) = f (x) + k (x) (3.125)
k=1
k
que recibe el nombre de formula de Schmidt. En ella, f (x) y son conocidas, k y

k (x) son los autovalores y las autofunciones del nucleo K(x, s) y fk vienen dados por
(3.119).
Del desarrollo efectuado se ve, claramente, que (3.125) satisface la ecuacion (3.112).
Pero todo esto esta hecho formalmente. Para demostrar que, efectivamente, (3.125) es la
solucion de la ecuacion (3.112) es necesario demostrar la convergencia absoluta y uniforme
de la serie que figura en (3.125).
En primer lugar, tenemos que, como limk |k | = , siempre se puede hallar una k lo
suficientemente grande como para que
|k |
|| < (3.126)
2
En virtud de ello, tendremos:
|k | |k |
|k | |k | || > |k | = (3.127)
2 2
Por lo tanto:
1 2
(3.128)
|k | |k |
Valoremos la siguiente suma, teniendo en cuenta (3.128):

m m m
X fk X fk k (x) X fk
k (x) || 2|| k (x) (3.129)

k k k

k=n k=n k=n
Pero, para > 0, existira un N () > 0 tal que, para n, m > N , se cumplira que
m
fk
k (x) <
X
k 2|| (3.130)
k=n
ya que esto fue demostrado en la primera parte de la demostracion del teorema de Hilbert-
Schmidt. Colocando (3.130) en (3.129), obtenemos:

m
X fk
k (x) < (3.131)

k

k=n
La desigualdad (3.131) significa que se cumple el criterio de Cauchy para nuestra serie,
por lo que esta converge absoluta y uniformemente. As queda demostrado que existe la
solucion de la ecuacion (3.112), que viene dada por la formula de Schmidt (3.125) y que
dicha solucion, para el caso en que 6= k , es unica.
2. Que = k0 . Es decir, que el parametro en la ecuacion (3.112) coincide con uno de los
autovalores del nucleo.
Entonces, de (3.123), tendremos que:
(k )gk = fk , k 6= k0
0 gk0 = fk0 , k = k0 (3.132)
Por lo tanto, hay dos posibilidades:

1) Si f (x) no es ortogonal a k0 (x), o sea, si fk0 (f, k0 ) 6= 0, de (3.132) tendra que ser
= 0, lo que es un absurdo. Por consiguiente, en este caso, la ecuacion (3.112) no tiene
solucion.
2) Si f (x) es ortogonal a k0 (x), o sea, si fk0 (f, k0 ) = 0, entonces, (3.132) se cumple
para gk0 = C, donde C es una constante arbitraria.
Por lo tanto, para el caso en que = k0 , o bien no existe solucion para la ecuacion
(3.112) (si f (x) no es ortogonal a k0 (x)), o bien existe un numero infinito de soluciones
que vienen dadas por la expresion:

X fk
(x) = f (x) + k (x) + Ck0 (x) (3.133)
k
k=1,(k6=k0 )
60 Jose Marn Antuna
donde C es una constante arbitraria.

De manera totalmente analoga, si coincidiera con un autovalor k0 degenerado, cuyas
autofunciones son:
k0 , k1 , ..., kr (3.134)
entonces, exigiendo que se cumpla la condicion de ortogonalidad,
fks (f, ks ) = 0, s = 0, 1, 2, ..., r (3.135)
la solucion vendra dada en la forma:
r
X fk X
(x) = f (x) + k (x) + Cs ks (x) (3.136)
k
k=1,(k6=k0 ) s=0
donde Cs son constantes arbitrarias (de nuevo, el numero de soluciones es infinito).
Como consecuencia del desarrollo del presente epgrafe, tiene lugar el siguiente teorema, cono-
cido con el nombre de Alternativa de Fredholm:
Teorema.
Si la ecuacion integral de Fredholm homogenea de segundo tipo tiene solo solucion trivial,
entonces, la correspondiente ecuacion no homogenea tiene solucion unica y, si la ecuacion ho-
mogenea tiene solucion no trivial, entonces, la ecuacion no homogenea, o bien no tiene solucion,
o bien tiene infinitas soluciones.
Demostracion:
Efectivamente, si en la ecuacion (3.112) el parametro no coincide con ningun autovalor del

nucleo, entonces, la ecuacion homogenea correspondiente tendra solo solucion trivial y (3.112)
tendra solucion unica, dada por la formula de Schmidt (3.125).
Sin embargo, si el parametro en la ecuacion (3.112) es igual a un autovalor del nucleo, la

ecuacion homogenea correspondiente tendra por solucion no trivial la autofuncion asociada a
dicho autovalor y, por lo tanto, la ecuacion (3.112) -segun vimos arriba- o bien no tiene solucion,
si la inhomogeneidad f (x) no es ortogonal a la autofuncion mencionada, o bien tiene infinitas
soluciones, dadas por la formula (3.133), si f (x) es ortogonal a dicha autofuncion.
Es conveniente decir que nosotros hemos llegado a la alternativa de Fredholm por medio del
estudio de la teora de las ecuaciones con nucleos simetricos; sin embargo, es posible demostrar
que ella es valida, tambien, para las ecuaciones con nucleos no simetricos.
3.7 Solucion de la ecuacion integral de Fredholm no ho-

mogenea de segundo tipo por el metodo de aproxi-
maciones sucesivas
En el presente epgrafe desarrollaremos un metodo general para hallar la solucion de la ecuacion

integral de Fredholm no homogenea de segundo tipo, con nucleo K(x, s) arbitrario.
Veamos la ecuacion,
Z b
(x) = K(x, s)(s)ds + f (x) (3.137)
a
donde el nucleo K(x, s) puede ser complejo y no simetrico. Buscaremos la solucion de la

ecuacion (3.137) por el metodo de aproximaciones sucesivas, proponiendo como aproximacion
inicial la inhomogeneidad de la ecuacion:
0 (x) = f (x) (3.138)
y construyendo las aproximaciones sucesivas de la siguiente manera:
Z b
1 (x) = f (x) + K(x, s)0 (s)ds (3.139)
a
Z b
2 (x) = f (x) + K(x, s)1 (s)ds (3.140)
a
........................................................................
Z b
n (x) = f (x) + K(x, s)n1 (s)ds (3.141)
a
Por su construccion, es evidente que, si la sucesion de funciones {n (x)} as construida converge

a una funcion continua, esta sera la solucion de la ecuacion (3.137). Tiene lugar el siguiente
teorema.
Teorema.
Si en la ecuacion (3.137) el parametro cumple que
1
|| < 0 = (3.142)
M (b a)
62 Jose Marn Antuna
donde M = max |K(x, s)|, entonces, para cualquier funcion continua f (x), la sucesion {n (x)}
de las aproximaciones sucesivas converge uniformemente a la solucion de la ecuacion (3.137) y
esta solucion es unica.
Demostracion:
Analicemos la siguiente serie:

X
S(x) = [k (x) k1 (x)] (3.143)
k=1
La suma parcial de esta serie es
Sn (x) = 1 (x) 0 (x) + 2 (x) 1 (x) + ...

+... + n (x) n1 (x) n (x) 0 (x) (3.144)
Por consiguiente, se ve, claramente, que si la serie (3.143) converge, convergira la sucesion
{n (x)} y viceversa.
Valoremos la serie (3.143). Tenemos, de acuerdo con (3.138) y (3.139):
Z b

|1 (x) 0 (x)| = f (x) +
K(x, s)f (s)ds f (x) =
a
Z b

= K(x, s)f (s)ds ||mM (b a) (3.145)
a
donde m = max |f (x)|, que siempre existira, pues, por hipotesis, f (x) es continua. De forma
similar, teniendo en cuenta (3.140) y (3.139):
Z b Z b

|2 (x) 1 (x)| = f (x) +
K(x, s)1 (s)ds f (x) K(x, s)0 (s)ds =
a a
Z b

= K(x, s)[1 (s) 0 (s)]ds ||2 mM 2 (b a)2 (3.146)
a
Continuando este proceso, hallamos que:
|n (x) n1 (x)| m||n M n (b a)n (3.147)
O sea, introduciendo la notacion:

q = ||M (b a) (3.148)
de (3.147) obtenemos:
|n (x) n1 (x)| mq n (3.149)
Es decir, hemos obtenido, para la serie (3.143), un mayorante numerico convergente, ya que,
de acuerdo con (3.142), q < 1.
Por el criterio de Weierstrass, concluimos, por lo tanto, que la serie (3.143) converge uniforme-
mente en [a, b].
Por consiguiente, la sucesion {n (x)} de las aproximaciones sucesivas converge uniformemente

a la funcion (x), que sera la solucion de la ecuacion (3.137).
Demostremos, ahora, que esta solucion es unica. Para ello, supondremos que existen dos
soluciones 1 (x) y 2 (x) de la ecuacion (3.137). Analicemos la funcion
(x) = 1 (x) 2 (x) (3.150)
Entonces, obviamente, (3.150) sera solucion de la ecuacion homogenea
Z b
(x) = K(x, s)(s)ds (3.151)
a
Elevando al cuadrado (3.151) y aplicando la desigualdad de Cauchy-Buniakovsky, tendremos:
Z b 2 Z b Z b
2 2 2
(x) = K(x, s)(s)ds K (x, s)ds 2 (s)ds (3.152)
a a a
Considerando la posibilidad de expresiones complejas, (3.152) debe escribirse en la forma:
Z b Z b
2 2 2
|(x)| || |K(x, s)| ds |(s)|2 ds (3.153)
a a
Integrando (3.153) entre a y b, obtenemos:
Z b Z bZ b Z b
2 2 2
|(x)| dx || |K(x, s)| dsdx |(s)|2 ds
a a a a
Z b
2 2 2
|| M (b a) |(x)|2 dx (3.154)
a
64 Jose Marn Antuna
donde hemos tenido en cuenta la cota de K(x, s) en la primera integral y hemos sustituido la
variable muda de integracion por x, ya que es una integral definida. De (3.154) obtenemos que:
Z b
2 2 2
[1 || M (b a) ] |(x)|2 dx 0 (3.155)
a
Es decir:
Z b
2
(1 q ) |(x)|2 dx 0 (3.156)
a
donde q < 1 viene dado por (3.148). Por tanto (1 q 2 ) > 0 y, como la integral en (3.155),
evidentemente, no es negativa, de (3.156) se concluye que
Z b
|(x)|2 dx 0 (3.157)
a
De (3.157) se deduce que (x) 0, o sea, 1 (x) 2 (x), lo que demuestra la unicidad.
Hay una consecuencia importante del teorema que acabamos de demostrar y que enunciaremos
en forma de corolario del mismo.
Corolario.
La ecuacion integral de Fredholm homogenea de segundo tipo
Z b
(x) = K(x, s)(s)ds (3.158)
a
no puede tener autovalores menores en modulo que 0 dado por (3.142). Es decir, que, obliga-
toriamente, los autovalores k de la ecuacion (3.158) cumplen que
1
k 0 = (3.159)
M (b a)
Demostracion:
El teorema que acabamos de demostrar establece que, para cualquier que cumpla con (3.142),
la ecuacion no homogenea (3.137) tiene solucion unica. Por la alternativa de Fredholm, ello
implica que la correspondiente ecuacion homogenea (3.158) solo tiene solucion trivial; es decir,
no tiene autovalores en el intervalo (0 < < 0 ). En un eje los autovalores estaran fuera
de dicho intervalo.
Es conveniente destacar que el teorema demostrado establece que la solucion de la ecuacion no

homogenea (3.137) puede buscarse por el metodo de aproximaciones sucesivas solo en el caso
en que el parametro se encuentre en el intervalo (0 < < 0 ); en este caso se garantiza la
unicidad de la solucion.
Si el parametro esta fuera de dicho intervalo, habra que tener en cuenta la alternativa de
Fredholm al buscar la solucion y apoyarse en la formula de Schmidt (3.125) o la formula (3.136)
que -recordamos- son validas, exclusivamente, para ecuaciones con nucleo simetrico.
Como dijimos arriba, el metodo de aproximaciones sucesivas para encontrar la solucion dentro
del intervalo (0 < < 0 ) es valido para ecuaciones con nucleo arbitrario.
Por ultimo, es conveniente destacar que el proceso estudiado en este epgrafe es una particu-
larizacion del visto en el captulo Elementos de Espacios Funcionales y Operadores del
libro de Metodos Matematicos de la Fsica del autor.
Las aproximaciones sucesivas aqu construidas no son otra cosa que un caso particular de la
serie de Neumann estudiada en el epgrafe de dicho captulo titulado Complementos de la
teora espectral de operadores, al estudiar las ecuaciones operacionales.
El teorema aqu demostrado es la particularizacion del teorema general alla demostrado para
las ecuaciones operacionales en un espacio de Banach.
3.8 Ejemplos de solucion de ecuaciones integrales de

Fredholm de segundo tipo
1. Z
(x) = cos(x + s)(s)ds + 1 (3.160)
0
Hagamos un analisis detallado. Tenemos que M = max | cos(x + s)| = 1, b a = . Por

lo tanto
1
=1> 0.31 (3.161)
M (b a)
Por lo tanto, la solucion no puede ser hallada por el metodo de aproximaciones sucesivas.
Por ello, buscaremos la solucion de la ecuacion homogenea correspondiente para, luego,
aplicar la alternativa de Fredholm. La ecuacion homogenea es
Z
(x) = cos(x + s)(s)ds (3.162)
0
con nucleo
66 Jose Marn Antuna
K(x, s) = cos(x + s) cos x cos s sin x sin s (3.163)

es decir, degenerado. Por lo tanto, la solucion sera de la forma
(x) = C1 cos x + C2 sin x (3.164)
Colocando (3.164) en la ecuacion (3.162), obtenemos:
Z
C1 cos x + C2 sin x = [cos x cos s sin x sin s][C1 cos s + C2 sin s]ds =
0
Z Z
2
= C1 cos x cos sds C1 sin x cos s sin sds +
Z 0 Z 0
+ C2 cos s sin sds C2 sin x sin2 sds =
0 0

= C1 cos x C2 sin x (3.165)
2 2
ya que cos s y sin s son ortogonales en [0, ]. De (3.165) concluimos que los autovalores y
las autofunciones son:

1 =, 1 (x) = C1 cos x
2

2 = , 2 (x) = C2 sin x (3.166)
2
Notese que se comprueba lo planteado en el corolario del teorema del epgrafe anterior:
los autovalores estan fuera del intervalo (1/, 1/) en el eje . Tambien se constata
que, por ser el nucleo degenerado de orden dos, existen no mas de dos autovalores y
dos autofunciones del nucleo. Los coeficientes C1 y C2 los hallamos de la condicion de
normalizacion:
Z Z
2
k 1 k = C12 2
cos xdx = 1, k 2 k = 2
C22 sin2 xdx = 1 (3.167)
0 0
de donde
r
2
C1 = C2 = (3.168)

Por lo tanto, finalmente, la solucion de la ecuacion homogenea (3.162) vendra dada por
las autofunciones y los autovalores:
r
2 2
1 (x) = cos x, 1 =

r
2 2
2 (x) = sin x, 2 = (3.169)

Vemos que = 1 en la ecuacion (3.160) no coincide con ningun autovalor del nucleo. Por
lo tanto, la ecuacion homogenea
Z
(x) = cos(x + s)(s)ds (3.170)
0
solo tiene solucion trivial y, por la alternativa de Fredholm, la ecuacion (3.160) tiene
solucion unica, dada por la formula de Schmidt (3.125).
En ella, f (x) = 1, = 1.
Tendremos, por tanto:
f1 1 (x) f2 2 (x)
(x) = 1 + + (3.171)
1 1 2 1
Calculemos los coeficientes:
r Z r
2 2
f1 = (1, 1 ) = 1 cos xdx = sin x|0 = 0 (3.172)
0
r Z r r
2 2 0 2
f2 = (1, 2 ) = 1 sin xdx = cos x| = 2 (3.173)
0
Por lo tanto:
2 2 sin x 2 sin x
(x) = 1 + =1 (3.174)
2
1 1 + 2
2. Z 2
(x) = 3 xs(s)ds + 3x 2 (3.175)
0
En este ejercicio el nucleo
K(x, s) = xs (3.176)
es degenerado. Por consiguiente, como M = max |xs| = 4 y b a = 2, tendremos que
1 1
=3> = (3.177)
M (b a) 8
As pues, buscamos la solucion de la ecuacion homogenea

Z 2
(x) = xs(s)ds (3.178)
0
en la forma (x) = Cx. Colocando en (3.178), obtenemos:

68 Jose Marn Antuna
2 2
s3 2 8
Z Z
Cx = xsCsds = Cx s2 ds = Cx | = Cx (3.179)
0 0 3 0 3
As pues, obtenemos el unico autovalor (ya que el nucleo es degenerado de orden uno):
= 38 .
Exigiendo que la autofuncion sea normalizada:
Z 2
2 2
kk =C x2 dx = 1 (3.180)
0
obtenemos la solucion de la ecuacion homogenea (3.178):

r
3 3
(x) = x, = (3.181)
8 8
Como el parametro = 3 de la ecuacion no homogenea (3.175) no coincide con el autovalor
de la ecuacion homogenea, por la alternativa de Fredholm, la solucion sera unica y vendra
dada por la formula de Schmidt.
Tenemos que, en este caso, el unico coeficiente fk , correspondiente a la unica autofuncion
es:
Z 2
r r Z 2 r
3 3 2 3
fk = (3x 2) xdx = (3x 2x) = 4 (3.182)
0 8 8 0 8
Por lo tanto:
q q
3 4 38 38 x 9x
(x) = 3x 2 + 3 = 2 (3.183)
8
3 7
3. Z 1
(x) = 3 xs(s)ds + 3x 2 (3.184)
0
Este es un ejercicio muy parecido al anterior, solo que el intervalo de integracion es

diferente. Resolveremos la ecuacion homogenea
Z 1
(x) = xs(s)ds (3.185)
0
Como el nucleo es degenerado, proponemos la solucion como (x) = Cx. Colocando en

(3.185):
1
s3 1
Z

Cx = xsCsds = Cx |0 = C x (3.186)
0 3 3
Por lo tanto, el autovalor y la autofuncion ya normada seran:

= 3, (x) = 3x (3.187)
Vemos que, en este caso, el parametro en la ecuacion (3.184) coincide con el autovalor
de la correspondiente ecuacion homogenea (3.185).
De acuerdo con la alternativa de Fredholm, o bien no existe solucion, o bien existen
infinitas soluciones de (3.184).
Esto se determina, como sabemos, analizando el producto interno de la inhomogeneidad
con la autofuncion. Tenemos:
Z 1 Z 1 2
(f, ) = (3x 2) 3xdx = 3 (3x 2x)dx = 3(x2 x2 )|10 = 0 (3.188)
0 0
Es decir, la inhomogeneidad es ortogonal a la autofuncion, por lo que existiran infinitas

soluciones de nuestra ecuacion (3.184).
Como el nucleo es simetrico, aplicando (3.133), obtenemos, como hay una sola auto-
funcion, cuyo autovalor coincide con :

(x) = 3x 2 + C 3x = (C 3 + 3)x 2 (3.189)

Llamando K = C 3 + 3, finalmente, nos queda la solucion en la forma:
(x) = Kx 2 (3.190)
donde K es una constante arbitraria.
4. Z 1
(x) = (x + s)(s)ds + 18x2 9x 4 (3.191)
0
Resolvemos la correspondiente ecuacion homogenea

Z 1
(x) = (x + s)(s)ds (3.192)
0
Como el nucleo, K(x, s) = x + s, es degenerado, buscamos la solucion en la forma
(x) = C1 + C2 x (3.193)
Sustituyendo (3.193) en (3.192), obtenemos la ecuacion para los autovalores :

2
2

(1 ) 3

2

= 1
+ =0 (3.194)
(1 2 ) 2 3
o sea:
2 + 12 12 = 0
70 Jose Marn Antuna
Por consiguiente, los autovalores de la ecuacion (3.192) son:

1 = 6 + 4 3, 2 = 6 4 3 (3.195)
Las autofunciones, ya normalizadas, que les corresponden son:

1+x 3 1x 3
1 (x) = p , 2 (x) = p (3.196)
2+ 3 2 3
Como el parametro = 1 en la ecuacion no homogenea (3.191) no coincide con ninguno
de los autovalores y esta fuera del intervalo (0 , 0 ), con
1 1
0 = = (3.197)
M (b a) 2
la solucion unica de la ecuacion (3.191) vendra dada por la formula de Schmidt (3.125)
que aqu toma la forma:
2
2
X fk k (x)
(x) = 18x 9x 4 + 1 (3.198)
k=1
k
Calculando los coeficientes:

5+ 3
f1 = (f, 1 ) = p (3.199)
2 2+ 3

5 3
f2 = (f, 2 ) = p (3.200)
2 2 3
y, efectuando los calculos algebraicos, se obtiene, finalmente, la solucion como:
(x) = 18x2 + 12x + 9 (3.201)
5. Z 1
(x) = 2 x(s)ds + 2x 1 (3.202)
0
Resolvemos la ecuacion homogenea correspondiente:

Z 1
(x) = x(s)ds (3.203)
0
cuyo nucleo, K(x, s) = x u(x)v(s), con u(x) = x, v(s) = 1, es degenerado de orden

uno. Por lo tanto, la solucion la proponemos como (x) = Cx.
Colocando en (3.203), hallamos el autovalor y la autofuncion normalizada:

= 2, (x) = 3x (3.204)
Vemos que el parametro en la ecuacion no homogenea (3.202) coincide con el autovalor

de la ecuacion homogenea correspondiente (3.203).
Por lo tanto, hay que analizar el producto interno de la inhomogeneidad con la auto-
funcion, para determinar si existe la solucion. Tenemos:
1 Z 1 2
Z
2 1
(f, ) = (2x 1) 3xdx = 3 (2x x)dx = 3 6= 0 (3.205)
0 0 3 2
Es decir, la inhomogeneidad no es ortogonal a la autofuncion y, por la alternativa de
Fredholm, la ecuacion (3.202) no tiene solucion.
3.9 Ecuaciones integrales de Volterra
La ecuacion integral de Volterra de segundo tipo tiene la forma general
Z x
(x) = K(x, s)(s)ds + f (x) (3.206)
a
donde K(x, s) 6= 0 y continuo en el triangulo a s x b.
Busquemos su solucion por el metodo de aproximaciones sucesivas. Para ello, proponemos la

aproximacion inicial:
0 (x) = f (x) (3.207)
y construimos las aproximaciones sucesivas en la forma siguiente:
Z x
1 (x) = f (x) + K(x, s)0 (s)ds (3.208)
a
Z x
2 (x) = f (x) + K(x, s)1 (s)ds (3.209)
a
.............................................................
Z x
n (x) = f (x) + K(x, s)n1 (s)ds (3.210)
a
Por construccion, si la sucesion {n (x)} converge, lo hace a la solucion de (3.206).
Tiene lugar una importante afirmacion:
Teorema.
72 Jose Marn Antuna
Para cualquier funcion f (x) continua en [a, b] y para cualquier , la sucesion {n (x)} de las
aproximaciones sucesivas converge uniformemente a la solucion de la ecuacion (3.206) y dicha
solucion es unica.
Demostracion:
Analicemos la serie

X
S(x) = [k (x) k1 (x)] (3.211)
k=1
Su suma parcial, evidentemente, es:
Sn (x) = n (x) 0 (x) (3.212)
por lo tanto, si la serie (3.211) converge, tambien converge la sucesion {n (x)} y viceversa.
Valoremos los miembros de la serie (3.211). Tenemos:
Z x

|1 (x) 0 (x)| = f (x) +
K(x, s)f (s)ds f (x) =
a
Z x

=
K(x, s)f (s)ds ||mM (x a) (3.213)
a
donde M = max|K(x, s)| y m = min|f (x)| en virtud de la continuidad de ambas funciones.
De manera analoga, obtenemos:
(x a)n
|n (x) n1 (x)| m||n M n (3.214)
n!
y, como b x, podemos, en definitiva, escribir que:
(b a)n
|n (x) n1 (x)| m||n M n (3.215)
n!
De esta manera, hemos hallado para la serie (3.211) un mayorante numerico convergente para
cualquier valor de debido a la presencia de n! en el denominador.
Por el criterio de Weierstrass concluimos que la serie (3.211) converge uniformemente en [a, b]
para cualquier y, por consiguiente, la sucesion {n (x)} de las aproximaciones sucesivas con-
verge uniformemente en [a, b] para cualquier a la solucion (x) de la ecuacion (3.206).
Demostremos, ahora, la unicidad de la solucion.
Para ello, supondremos que, para cierta existen dos soluciones de (3.206), 1 (x) y 2 (x),
diferentes entre s. Entonces, la funcion:
(x) = 1 (x) 2 (x) (3.216)
satisface, para = , la ecuacion homogenea:
Z x
(x) = K(x, s)(s)ds (3.217)
a
Suponiendo (x) no identicamente igual a cero, veamos la siguiente ecuacion no homogenea:
Z x
(x) = K(x, s)(s)ds + (x) (3.218)
a
Construyendo el sistema de aproximaciones sucesivas para (3.218), tendremos lo siguiente:
0 (x) = (x)
Z x
1 (x) = (x) + K(x, s)(s)ds 2(x)
a
.......................................................
n (x) = (n + 1)(x) (3.219)
donde hemos tenido en cuenta (3.217).
Pero, la sucesion funcional (3.219) es, evidentemente, divergente, lo que contradice la primera
parte de la demostracion de este teorema, donde fue demostrado que, para toda inhomo-
geneidad continua, las aproximaciones sucesivas convergen uniformemente.
Por consiguiente, debe cumplirse, forzosamente, que (x) 0, lo que implica que 1 (x)
2 (x), con lo que queda demostrada la unicidad.
Notese que el teorema demostrado nos permite concluir que la ecuacion no homogenea de
Volterra (3.206) siempre tiene solucion unica y que la ecuacion homogenea solo tiene solucion
trivial.
74 Jose Marn Antuna
3.10 Solucion de ecuaciones integrales de Volterra por

transformadas integrales
En ocasiones, es posible utilizar la tecnica de las transformadas integrales para resolver deter-
minadas ecuaciones integrales.
En un captulo posterior veremos la aplicacion de la transformada de Fourier a la solucion

de ecuaciones integrales con nucleo dependiente de la diferencia de las variables entre lmites
infinitos.
Aqu veremos la aplicacion de la transformada de Laplace a ecuaciones de Volterra con nucleos

dependientes de la diferencia de sus variables.
La esencia del metodo radica en la aplicacion consecuente de la transformada de Laplace y de

sus propiedades -estudiadas en el libro de Teora de Funciones de Variable Compleja del
autor- a la ecuacion a resolver, por lo que solo lo ejemplificaremos en un par de casos, a modo
de ilustracion.
1. Supongamos que queremos resolver la ecuacion integral:

Z t
(t) = at + sin(t )( )d (3.220)
0
Denotando por (p) a la transformada de Laplace de (t) y teniendo presente que:
1
t:
p2
1
sin t :
p2 +1
y que, de acuerdo con el teorema de la convolucion,
Z t
1
sin(t )( )d : (p)
0 p2 +1
de (3.220), aplicando la transformada de Laplace, obtenemos la ecuacion operacional:
a 1
(p) = 2
+ 2 (p) (3.221)
p p +1
de donde, para la transformada de la funcion incognita (p), se obtiene:
a(p2 + 1)
(p) = (3.222)
p4
Por consiguiente, aplicando la formula de Mellin para el calculo del original a partir de
la transformada, tendremos que (a > 0):
s+i
a(p2 + 1) pt a d3 t3
Z
1 2 pt
(t) = e dp = [(p + 1)e ]p=0 = a t + (3.223)
2i si p4 6 dp3 6
que es la solucion buscada de la ecuacion (3.220).
2. Resolvamos, de forma similar, la ecuacion:
t
t2
Z
(t) = + et ( )d (3.224)
2 0
Como:
2
t2 :
p3
1
et :
p1
aplicando la transformada de Laplace a (3.224) y teniendo en cuenta el teorema de la

convolucion, obtenemos la ecuacion operacional:
12 1
(p) = 3
+ (p) (3.225)
2p p1
de donde:
p1
(p) = (3.226)
p3 (p 2)
Aplicando la formula de Mellin, obtenemos:
1 d2 (p 1)ept (p 1)ept t4

t 1 1
(t) = 2
+ 3
|p=2 = + e2t (3.227)
2 dp p2 p=0 p 4 4 8 8
que es la solucion buscada.
Con el empleo de esta tecnica puede acometerse, con relativa facilidad, la solucion de ecuaciones
integrales de Volterra del tipo indicado, as como de ecuaciones integro-diferenciales, donde la
funcion incognita se encuentre bajo las operaciones de derivacion y de integracion, a la vez, en
la misma ecuacion.
76 Jose Marn Antuna
3.11 Ejercicios del Captulo

1. Z 1
(x) = K(x, s)(s)ds (3.228)
0
donde
K(x, s) = x(1 s), x s
K(x, s) = s(1 x), x s
2. Z 2
= sin(x + s)(s)ds + sin x + cos x (3.229)
0
3. Z 2
(x) = cos(x s)(s)ds (3.230)
0
4. Z 1
(x) = 2 x(s)ds + 2x 1 (3.231)
0
5. Z 1
5
(x) = (xs + x2 s2 )(s)ds + x (3.232)
2 1
6. Z 1
1
(x) = 2 ex+s (s)ds + ex (3.233)
e 1 0
7. Z 2
(s)
(x) = ds + x (3.234)
1 xs
8. Z 2
x
(x) = 2 (s)ds + x (3.235)
1 s
Captulo 4
Equivalencia entre los problemas de

frontera de ecuaciones diferenciales y
las ecuaciones integrales con nucleo
simetrico
En el presente captulo estudiaremos uno de los resultados mas importantes de la teora de las
ecuaciones integrales de la Fsica Matematica.
Con el se incrementa la importancia de la teora de las ecuaciones integrales en el estudio y

resolucion de los problemas de esta disciplina.
Con la equivalencia que estableceremos, se logra dar un caracter cerrado, armonico y de gran
belleza a la teora y lograremos, ademas, dar justificacion a las propiedades de los autovalores
y las autofunciones de los problemas de frontera que hemos enunciado y solo parcialmente
demostrado en el libro de Metodos Matematicos de la Fsica del autor.
Primeramente, acometeremos la construccion de la funcion de Green de una ecuacion diferencial.
4.1 Funcion de Green
En el presente epgrafe estudiaremos el operador diferencial

d dy
L[y] = k(x) q(x)y (4.1)
dx dx
donde k(x) > 0 y q(x) son funciones continuas en cierto intervalo de definicion [a, b].
El operador (4.1) ya es conocido por nosotros desde el libro de Metodos Matematicos de la

Fsica, cuando estudiamos las funciones especiales de la Fsica Matematica.
77
78 Jose Marn Antuna
El operador (4.1) es un operador lineal autoconjugado. En el mencionado libro vimos que, por
operador autoconjugado se entiende al operador A que cumpla que A = A.
En el caso de operadores diferenciales del tipo
3 X
3 3
X 2y X y
L[y] = aik + bk + cy (4.2)
i=1 k=1
xi xk k=1 xk
estos seran autoconjugados, si pueden ser escritos en la forma:
3 3
X X y
L[y] = aik + cy (4.3)
i=1
x i
k=1
x k
En el caso unidimensional, (4.3) nos da (4.1). Es posible verificar que si el operador L es

autoconjugado, se cumple que:
d
y2 L[y1 ] y1 L[y2 ] = h(x) (4.4)
dx
donde h(x) es cierta funcion que se expresa a traves de y1 (x) y y2 (x) sin cuadraturas.
Planteemos, ahora, el siguiente problema para este operador:
L[y] = f (x), a < x < b

y(a) = 0 (4.5)
y(b) = 0
donde f (x) es una funcion continua dada en el intervalo [a, b]. Analicemos, simultaneamente,
el problema homogeneo correspondiente:
L[y] = 0, a < x < b

y(a) = 0 (4.6)
y(b) = 0
Aclaremos que si en uno de los extremos del intervalo, x = a o x = b, o en ambos, se verifica que
k(x) = 0, entonces, en lugar de la condicion de igualdad a cero de la funcion y(x) en ese punto,
en el problema (4.5) y su correspondiente (4.6), solo debemos exigir que la funcion y(x) sea
acotada, cosa que ya estudiamos en los captulos correspondientes a la teora de las Funciones
Especiales, del libro de Metodos Matematicos de la Fsica.
Equivalencia entre problemas de frontera y ecuaciones integrales 79
Estudiemos el siguiente concepto.
Definicion:
Llamaremos funcion de Green G(x, s) del operador L[y] en el intervalo [a, b] a la funcion de
dos variables que cumpla las siguientes condiciones:
1. G(x, s) es continua respecto a x y a s en [a, b].
2. G(a, s) = G(b, s) = 0.
G 2G
3. G(x, s) tiene en el intervalo abierto (a, b) derivadas x
y x2
continuas para todo x 6= s
y cumple la ecuacion
Lx [G] = (x s) (4.7)
El subndice x en el operador L indica que las derivadas estan tomadas con respecto a la variable
x, de manera que s juega el papel de un parametro en la misma.
El lector puede percatarse de que, en la definicion dada, estamos en presencia de la solucion

fundamental del operador que, ademas, cumple con las condiciones de frontera del problema
planteado.
Con estos conceptos ya hemos tenido que ver anteriormente, en el Captulo del Metodo de la
Funcion de Green del libro de Metodos Matematicos de la Fsica.
Aqu, no obstante, haremos un estudio detallado, dirigido a los objetivos que nos proponemos
en esta teora.
La definicion dada nos permite enunciar las dos siguientes propiedades para la funcion de Green:
G
1. La derivada x
tiene una discontinuidad de primer tipo en el punto x = s.
Recordemos que se llama discontinuidad de primer tipo al punto x0 para la funcion
f (x), si los lmites de esta funcion por la derecha y por la izquierda en el punto x0
son finitos y desiguales entre s; (tambien se le conoce con el nombre de singularidad
esencial).
Demostracion:
Tenemos, por definicion, que la funcion G(x, s) satisface la ecuacion (4.7).
Integremos (4.7) con respecto a x entre s y s+, donde > 0 es arbitraria. Tendremos:
Z s+ Z s+ Z s+
d G
k(x) dx q(x)G(x, s)dx = (x s)dx (4.8)
s dx x s s
Es decir:
80 Jose Marn Antuna
Z s+
G s+
k(x) | q(x)G(x, s)dx = 1 (4.9)
x s s
La expresion (4.9) significa:

Z s+
G G
k(s + ) (s + , s) k(s ) (s , s) q(x)G(x, s)dx = 1 (4.10)
x x s
Teniendo en cuenta que k(x), q(x) y G(x, s) son continuas en [a, b], tomando el lmite
para 0 en (4.10), obtenemos:

G G
k(s) (s + 0, s) (s 0, s) = 1 (4.11)
x x
Es decir:
G G 1
(s + 0, s) (s 0, s) = (4.12)
x x k(s)
Es decir, hemos demostrado que la ecuacion (4.7) implica la condicion (4.12).
Para futuros calculos, es conveniente demostrar la afirmacion recproca, es decir, que
(4.12) implica a (4.7).
Demostremoslo. Para ello, supongamos que
Lx [G] = f (x, s) (4.13)
donde f (x, s) es cierta funcion. Tenemos que demostrar que f .

Por hipotesis, se cumple la discontinuidad de la primera derivada.
Integremos (4.13) en el intervalo x (x0 , x0 + ).
Z x0 + Z x0 +
Lx [G]dx = f (x, s)dx (4.14)
x0 x0
De aqu:
G(x0 + , s) G(x0 , s)
k(x0 + ) k(x0 )
Z xx0 + Z x x0 +
q(x)G(x, s)dx = f (x, s)dx (4.15)
x0 x0
G
Sea x0 6= s. Entonces, x
es continua (pues solo es discontinua en x = s) y k(x), q(x) y
G(x, s) son continuas.
Por lo tanto, en este caso para 0 queda
Z x0 +0
0= f (x, s)dx, x0 6= s (4.16)
x0 0
Sea s = x0 . En este caso, a la izquierda, para 0 queda 1:

Z x0 +0
1 = f (x, s)dx (4.17)
x0 0
de donde
Z x0 +0
f (x, s)dx = 1, x0 = s (4.18)
x0 0
Por consiguiente, f (x, s) = (x s), ya que esta es la unica funcion posible con tal
comportamiento.
As queda demostrado que la discontinuidad implica que G(x, s) satisface (4.7)
O sea, (4.7) y (4.12) son equivalentes.
2. Lx [G] = 0 para todo a < x < b y x 6= s.

Demostracion:
Es evidente, a partir de (4.7) y de la definicion de la funcion delta de Dirac.
Tiene lugar el siguiente teorema relativo a las caractersticas de la solucion del problema (4.5).
Teorema.
Si el problema homogeneo (4.6) tiene solo solucion trivial, entonces:
1. Existe la funcion de Green G(x, s) del operador L[y] unica en [a, b] y simetrica con respecto
a sus variables.
2. El problema no homogeneo (4.5) siempre tiene solucion unica, que se expresa por la
formula
Z b
y(x) = G(x, s)f (s)ds (4.19)
a
Demostracion:
Demostremos, primero, la existencia de la funcion de Green del operador L[y] en el intervalo

[a, b]. La ecuacion
L[y] = 0 (4.20)
82 Jose Marn Antuna
es una ecuacion diferencial ordinaria de segundo orden; por lo tanto tiene dos soluciones line-
almente independientes.
Llamemos y1 (x) y y2 (x) a dos soluciones linealmente independientes, a las que exigiremos que
cumplan que
y1 (a) = 0, y1 (b) 6= 0 (4.21)
y2 (a) 6= 0, y2 (b) = 0 (4.22)
Evidentemente, y1 (x) y y2 (x) son linealmente independientes en [a, b]. Propongamos la funcion
G(x, s) en la forma:
G(x, s) = c(s)y1 (x)y2 (s), a x s b

G(x, s) = c(s)y1 (s)y2 (x), a s x b (4.23)
donde c(s) es cierto parametro, en principio funcion de s. La funcion as construida cumple

los requisitos 1 y 2 de la definicion de funcion de Green, pues es continua respecto a ambos
argumentos y, ademas:
G(a, s) c(s)y1 (a)y2 (s) = 0

G(b, s) c(s)y1 (s)y2 (b) = 0 (4.24)
en virtud de (4.21) y (4.22).
Por otra parte, para a x s b:
Lx [G] = c(s)y2 (s)Lx [y1 (x)] 0 (4.25)
y, para a s x b:
Lx [G] = c(s)y1 (s)Lx [y2 (x)] 0 (4.26)
ya que y1 (x) y y2 (x) son dos soluciones linealmente independientes de la ecuacion (4.20).
Por lo tanto, la funcion construida cumple una de las propiedades demostradas para la funcion
de Green.
La condicion (4.7) de la definicion de funcion de Green, segun vimos, es equivalente a la

propiedad (4.12) demostrada arriba.
Comprobemos, por tanto, que la funcion (4.23) cumple con (4.12).
Es decir, exijamos que:
G G 1
(s + 0, s) (s 0, s) c(s)y1 (s)y20 (s) c(s)y10 (s)y2 (s) = (4.27)
x x k(s)
Pero
c(s)y1 (s)y20 (s) c(s)y10 (s)y2 (s) c(s)W (s) (4.28)
donde

y s) y2 (s)
W (s) = 0(

6= 0 (4.29)
y1 (s) y20 (s)
es el wronskiano de las funciones y1 (x) y y2 (x), el cual no es identicamente nulo, ya que las
funciones son linealmente independientes.
Por consiguiente, de (4.27) y (4.28) obtenemos, para c(s), la expresion
1
c(s) = (4.30)
k(s)W (s)
de manera que, de (4.23), la funcion de Green queda construida en la forma:
y1 (x)y2 (s)
G(x, s) = , a x s b
k(s)W (s)
y1 (s)y2 (x)
G(x, s) = , a s x b (4.31)
k(s)W (s)
Como puede observarse de (4.31), la funcion de Green construida es continua. Sin embargo no
es evidente de (4.31) que sea simetrica, ya que al intercambiar x por s en estas ecuaciones en
los denominadores aparece k(x) y W (x) en lugar de dichas funciones evaluadas en s.
Analicemos de manera mas detallada las caractersticas del parametro c(s) dado por (4.30).
Para ello, veamos la siguiente expresion:

84 Jose Marn Antuna
d d
[k(x)W (x)] = {k(x)[y1 (x)y20 (x) y10 (x)y2 (x)]} =
dx dx
d d
y1 (x) [k(x)y20 (x)] y2 (x) [k(x)y10 (x)]
dx dx
y1 (x)L[y2 (x)] y2 (x)L[y1 (x)] 0 (4.32)
ya que y1 (x) y y2 (x) son soluciones de (4.20).
La expresion (4.32) nos indica que
k(x)W (x) c = constante
Por consiguiente, c(s) -que habamos, inicialmente, propuesto como funcion de s- resulta ser
una constante:
1
c(s) = c (4.33)
k(s)W (s)
Por consiguiente, la funcion de Green construida resulta ser, ademas, simetrica como se requera.
De esta forma queda demostrada la existencia de la funcion de Green, ya que hemos logrado
construirla con la expresion (4.31).
Demostremos, ahora, que la funcion de Green es unica. Para ello, supongamos la existencia de
dos funciones de Green G1 (x, s) y G2 (x, s) del operador L[y].
Entonces, la funcion
w(x, s) = G1 (x, s) G2 (x, s) (4.34)
satisfara el problema homogeneo (4.6), ya que
Lx [w] = Lx [G1 ] Lx [G2 ] = (x s) + (x s) = 0 (4.35)
w(a, s) = G1 (a, s) G2 (a, s) = 0, w(b, s) = G1 (b, s) G2 (b, s) = 0 (4.36)
Pero, por hipotesis del teorema, el problema (4.6) solo tiene solucion trivial. Por lo tanto,
w(x, s) 0 y G1 (x, s) G2 (x, s), lo que demuestra la unicidad de la funcion de Green.
Una vez demostrado que la funcion de Green (4.31) del operador L[y] es unica, queda de-
mostrado automaticamente que, si la formula (4.19) es solucion del problema (4.5), esta sera
unica, ya que suponer dos soluciones diferentes del problema (4.5) nos conducira a que su
diferencia sera solucion del problema homogeneo (4.6), el cual solo tiene solucion trivial.
Por lo tanto, solo nos queda demostrar que la funcion (4.19) es solucion del problema (4.5).
Esto es evidente, ya que, aplicando el operador L[y] a la formula (4.19), obtenemos:
Z b Z b
L[y] = Lx [G(x, s)]f (s)ds (x s)f (s)ds f (x) (4.37)
a a
donde hemos tenido en cuenta la ecuacion (4.7) para la funcion de Green.
Ademas:
Z b
y(a) = G(a, s)f (s)ds = 0 (4.38)
a
Z b
y(b) = G(b, s)f (s)ds = 0 (4.39)
a
pues G(a, s) = 0 y G(b, s) = 0, por definicion de funcion de Green.
Las expresiones (4.37), (4.38) y (4.39) prueban que, efectivamente, la formula (4.19) nos da la
solucion unica del problema (4.5).
Veamos un ejemplo ilustrativo de construccion de la funcion de Green. Supongamos que que-

remos resolver el siguiente problema de frontera:

y 00 + y = cos x, 0 < x <
2
y(0) = 0 (4.40)
y(/2) = 0
El problema (4.40) es un caso particular del problema (4.5), con k(x) = 1, q(x) = 1 y
f (x) = cos x, a = 0, b = /2. Es evidente que el problema homogeneo correspondiente

y 00 + y = 0, 0 < x <
2
y(0) = 0 (4.41)
y(/2) = 0
86 Jose Marn Antuna
solo tiene solucion trivial. Por consiguiente, tiene validez el teorema demostrado; es decir, existe
la funcion de Green unica del operador y la solucion unica del problema (4.40) viene dada por
la formula (4.19). Construyamos la funcion de Green.
La ecuacion y 00 + y = 0 tiene las soluciones fundamentales
y1 (x) = sin x, y2 (x) = cos x (4.42)
que cumplen los requisitos establecidos: y1 (0) = 0, y1 (/2) 6= 0, y2 (0) 6= 0, y2 (/2) = 0. Como
aqu k(s) = 1 y el wronskiano

sin s cos s
W (s) = = sin2 s cos2 s = 1 (4.43)
cos s sin s
la funcion de Green, de acuerdo con (4.31), sera:

G(x, s) = sin x cos s, 0 x s
2

G(x, s) = sin s cos x, 0 s x (4.44)
2
La solucion unica del problema (4.40) sera, por lo tanto, de acuerdo con (4.19):
Z /2 Z /2
y(x) = G(x, s)f (s)ds = G(x, s) cos sds =
0 0
Z x Z /2
sin s cos x cos sds sin x cos s cos sds =
0 x
Z x Z /2 x
2
= cos x sin s cos sds sin x cos sds = sin x (4.45)
0 x 2 4
Es facilmente comprobable que la ecuacion (4.45) hallada cumple, efectivamente, la ecuacion y

las condiciones de frontera del problema (4.40).
4.2 Equivalencia entre un problema de

Sturm-Liouville y una ecuacion integral con nucleo
simetrico. Propiedades de los autovalores y las au-
tofunciones del problema de Sturm-Liouville
4.2.1 Teorema de equivalencia
Pasaremos, ahora, al estudio de uno de los problemas de mayor relevancia en la teora de las
ecuaciones integrales con nucleo simetrico y que le confiere a estas una importancia destacada
en la Fsica Matematica.
Analicemos el siguiente problema de frontera:
L[y] + p(x)y = 0, a < x < b

y(a) = 0 (4.46)
y(b) = 0
donde L[y] es el operador (4.1) definido en el epgrafe anterior, p(x) > 0 es una funcion continua
en [a, b] y es cierto parametro.
Buscaremos las soluciones no triviales del problema (4.46).
Notese que la ecuacion del problema (4.46) es la misma ecuacion generatriz de las funciones
especiales que estudiamos en el libro de Metodos Matematicos de la Fsica.
A diferentes casos particulares de esta ultima se llega al efectuar el proceso de separacion de

variables en diferentes sistemas de coordenadas.
En el problema (4.46) hemos supuesto condiciones de frontera de primer tipo homogeneas para
basar nuestro futuro desarrollo en lo elaborado en el epgrafe anterior.
Sin embargo, es necesario expresar que todo el desarrollo que a continuacion efectuaremos puede
ser demostrado con rigor para condiciones de frontera de segundo tipo, de tercer tipo y mixtas
en el problema (4.46).
Ademas, en dependencia de las caractersticas de la funcion k(x) en los puntos x = a y x = b,

las condiciones de frontera impuestas podran ser sustituidas -en el caso en que k(x) = 0 en uno
de dichos puntos- por la exigencia de que la solucion sea acotada en dicho punto.
El problema (4.46) es, pues, un problema de Sturm-Liouville.
Durante todo el analisis que efectuaremos a continuacion, consideraremos siempre que = 0 no

es autovalor del problema (4.46), es decir, que el problema homogeneo para el operador L[y]:
88 Jose Marn Antuna
L[y] = 0, a < x < b

y(a) = 0 (4.47)
y(b) = 0
solo tiene solucion trivial.
Simultaneamente con el problema (4.46), analizaremos la siguiente ecuacion integral:
Z b
y(x) = G(x, s)p(s)y(s)ds (4.48)
a
donde G(x, s) es la funcion de Green del operador L[y] definida en el epgrafe anterior.
Tiene lugar la siguiente afirmacion.
Teorema.
La ecuacion integral (4.48) es equivalente al problema (4.46); es decir, cualquier solucion del
problema (4.46) es solucion de la ecuacion (4.48) y viceversa.
Demostracion:
El problema (4.46) puede ser escrito en la forma:
L[y] = p(x)y, a < x < b

y(a) = 0 (4.49)
y(b) = 0
El problema (4.49) es identico al problema (4.5) del epgrafe anterior con inhomogeneidad
f (x) = p(x)y(x).
Como, por hipotesis, = 0 no es autovalor del problema (4.46) y el problema (4.47), por tanto,
solo tiene solucion trivial, se cumplen los requisitos del teorema demostrado en el epgrafe
anterior y la solucion unica de (4.46) sera (4.48).
Llamemos
p
(x) = y(x) p(x) (4.50)
p
y multipliquemos (4.48) por p(x). Obtenemos:
p Z b p p
y(x) p(x) = G(x, s) p(x)p(s)y(s) p(s)ds (4.51)
a
Si llamamos
p
K(x, s) = G(x, s) p(x)p(s) (4.52)
entonces, para la funcion (4.50), obtenemos la ecuacion integral de Fredholm homogenea de

segundo tipo:
Z b
(x) = K(x, s)(s)ds (4.53)
a
cuyo nucleo (4.52) es, evidentemente, real, continuo y simetrico; es decir, cumple la propiedad
A.
As pues, hemos transformado el problema (4.46) en una ecuacion integral de Fredholm ho-
mogenea de segundo tipo equivalente (4.53), cuyo nucleo cumple la propiedad A.
Enunciemos y demostremos un importante teorema.
Teorema.
El nucleo K(x, s) de la ecuacion (4.53), dado por la expresion (4.52), es cerrado.
Demostracion:
Por definicion, un nucleo es cerrado si no existe ninguna funcion f (x) 6= 0 que sea ortogonal al
mismo (y, por tanto, ortogonal a sus autofunciones).
Por consiguiente, tenemos que demostrar que, para toda funcion f (x), la igualdad
Z b
K(x, s)f (s)ds = 0 (4.54)
a
implica que f (x) 0.

p
Como p(x) > 0, dividiendo (4.54) por p(x), obtenemos la siguiente funcion nula:
Z b
1
y(x) = p K(x, s)f (s)ds = 0 (4.55)
p(x) a
O sea, en virtud de (4.52):

90 Jose Marn Antuna
Z b p
y(x) = G(x, s) p(s)f (s)ds = 0 (4.56)
a
La expresion (4.56) es la solucion (nula) del problema
p
L[y] = p(x)f (x), a < x < b
y(a) = 0 (4.57)
y(b) = 0
de acuerdo con lo desarrollado en el epgrafe anterior.
Como L[y] = L[0] 0, ya que, de (4.56), y(x) = 0, ello significa que
p
p(x)f (x) 0 (4.58)
y, como p(x) > 0, de aqu concluimos que f (x) 0.
Del teorema demostrado sacamos la importantsima conclusion de que, como el nucleo K(x, s)
es cerrado, por lo tanto no es degenerado y ello significa que tiene un numero infinito de
autovalores y de autofunciones.
4.2.2 Propiedades de los autovalores y de las autofunciones del pro-

blema de Sturm-Liouville
Con ayuda de la equivalencia establecida entre el problema de frontera (4.46) y la ecuacion

integral (4.48), pasaremos a enunciar y demostrar las propiedades de los autovalores y de las
autofunciones del problema de frontera (4.46).
Con ello quedaran definitivamente establecidas estas propiedades para los problemas de frontera
de Sturm-Liouville en una dimension espacial, que hemos estudiado a lo largo de todo el libro
de Metodos Matematicos de la Fsica, incluyendo los de la ecuacion generatriz de las
funciones especiales.
De esta manera, la teora de las ecuaciones diferenciales y de los problemas de Sturm-Liouville

adquieren un caracter cerrado y armonico.
Veamos las propiedades.
Propiedad 1
El problema (4.46) tiene un conjunto infinito de autovalores {n }, que pueden ser ordenados
en forma creciente:
1 < 2 < ..... < n < .... (4.59)
y que cumplen que
lim n = (4.60)
n
A cada autovalor n le corresponde una autofuncion yn (x) y el sistema de las autofunciones

{yn (x)} es cerrado.
Demostracion:
Como el problema (4.46) es equivalente a la ecuacion integral (4.53), donde (x) y K(x, s)
vienen dados, respectivamente, por (4.50) y (4.52) y como nosotros demostramos que el nucleo
K(x, s) de la ecuacion (4.53) es cerrado y, por tanto, no degenerado, la ecuacion (4.53) y su
problema equivalente (4.46) tendran un numero infinito de autovalores y de autofunciones.
Los autovalores son reales y cumplen (4.60), en virtud del corolario 2 de la propiedad estudiada
en el epgrafe 3 del captulo anterior.
Ademas, como el nucleo es cerrado, el sistema de las autofunciones es tambien cerrado.
Propiedad 2
Todos los autovalores n del problema (4.46) cumplen que

q(x)
n > min , a < x < b (4.61)
p(x)
Demostracion:
Supongamos que las autofunciones son normalizadas; es decir, que
Z b Z b
2
k n k 2n (x)dx yn2 (x)p(x)dx = 1 (4.62)
a a
Analicemos la siguiente expresion:

92 Jose Marn Antuna
Z b Z b
d dyn
yn (x){L[yn ] + n p(x)yn (x)}dx yn (x) k(x) dx
a a dx dx
Z b Z b
2
q(x)yn (x)dx + n yn2 (x)p(x)dx 0 (4.63)
a a
La igualdad a cero en (4.63) esta dada por el hecho de que, en el integrando a la izquierda, la
expresion entre llaves es identicamente nula.
Teniendo en cuenta (4.62), de (4.63) obtenemos, integrando por partes la segunda integral:
Z b Z b
d dyn
n = q(x)yn2 (x)dx
yn (x) k(x) dx =
a a dx dx
Z b Z b
0
= 2 b
q(x)yn (x)dx yn (x)k(x)yn (x)|a + k(x)[yn0 (x)]2 dx (4.64)
a a
En (4.64) el segundo sumando es cero en virtud de las condiciones de frontera del problema
(4.46) y la ultima integral a la derecha es definida positiva, pues k(x) > 0.
Por consiguiente, tenemos que:
Z b Zb
q(x) 2
n > q(x)yn2 (x)dx yn (x)p(x)dx =
a a p(x)
q(x ) b 2 q(x )
Z
= y (x)p(x)dx = (4.65)
p(x ) a n p(x )
donde x [a, b].
Aqu, hemos aplicado el teorema del valor medio integral y tenido en cuenta (4.62).
Como q(x) y p(x) son continuas en [a, b], se cumple que
q(x ) q(x)

min (4.66)
p(x ) p(x)
Sustituyendo (4.66) en (4.65), queda demostrada la propiedad.
Propiedad 3
Las autofunciones del problema (4.46) correspondientes a distintos autovalores son ortogonales
en [a, b] con peso p(x); es decir:
Z b
yn (x)ym (x)p(x)dx =k yn k2 nm (4.67)
a
donde nm es la delta de Kroneker.
Demostracion:
En virtud de las propiedades demostradas en el epgrafe 3 del captulo anterior, las autofunciones
de la ecuacion integral (4.53) correspondientes a distintos autovalores son ortogonales, o sea:
Z b
n (x)m (x)dx =k n k2 nm (4.68)
a
Sustituyendo en (4.68) las autofunciones n (x) y m (x) por su expresion (4.50), queda de-
mostrada la propiedad.
Propiedad 4: Teorema del desarrollo
Cualquier funcion f (x) continua y dos veces diferenciable en (a, b) y que cumpla las condi-
ciones de frontera del problema (4.46), puede ser desarrollada en una serie de autofunciones
convergente absoluta y uniformemente en (a, b):

X
f (x) = fn yn (x) (4.69)
n=1
donde los coeficientes del desarrollo vienen dados por:
Z b
fn = f (x)yn (x)p(x)dx (4.70)
a
Demostracion:
Sea f (x) una funcion continua y dos veces diferenciable en (a, b) y tal que f (a) = f (b) = 0.
Entonces, aplicando el operador L a esta funcion, obtenemos:
d
L[f ] = [k(x)f 0 ] q(x)f (x) k(x)f 00 + k 0 (x)f 0 q(x)f (x) h(x) (4.71)
dx
Es decir, el operador L aplicado sobre f (x) nos da cierta funcion continua que llamamos h(x).
Esto significa que f (x) es una funcion que es solucion del problema:
94 Jose Marn Antuna
L[f ] = h(x), a < x < b

f (a) = 0 (4.72)
f (b) = 0
De acuerdo con lo estudiado por nosotros en el epgrafe anterior, la solucion del problema (4.72),
es decir, la funcion f (x), tiene la forma:
Z b
f (x) = G(x, s)h(s)ds (4.73)
a
donde G(x, s) es la funcion de Green del operador L.

p
Multiplicando (4.73) por p(x), obtenemos:
Z b
p p p h(s)
f (x) p(x) = G(x, s) p(x) p(s) p ds (4.74)
a p(s)
Es decir:
Z b
F (x) = K(x, s)H(s)ds (4.75)
a
donde hemos introducido las notaciones:
p
F (x) = f (x) p(x) (4.76)
h(s)
H(s) = p (4.77)
p(s)
p
y el nucleo K(x, s) = G(x, s) p(x)p(s) es el mismo dado por la expresion (4.52).
Pero, (4.75) significa que la funcion F (x) es emanante del nucleo K(x, s) que cumple la
propiedad A.
Por consiguiente, se cumplen los requisitos del teorema de Hilbert-Schmidt demostrado en el

captulo anterior: F (x) admite un desarrollo en serie de autofunciones del nucleo K(x, s):

X
F (x) = Fn n (x) (4.78)
n=1
donde
Z b Z bp p
Fn = F (x)n (x)dx p(x)f (x)yn (x) p(x)dx
a a
Z b
f (x)yn (x)p(x)dx fn (4.79)
a
Sustituyendo (4.50) y (4.76) en (4.78), obtenemos:

X
p p
p(x)f (x) = fn yn (x) p(x) (4.80)
n=1
Demostrado el teorema del desarrollo.
Como conclusion de las propiedades demostradas podemos decir que el sistema de autofunciones
{yn (x)} del problema de Sturm-Liouville (4.46) es cerrado y completo y define, por tanto, una
base en un espacio funcional de infinitas dimensiones de Hilbert dado por todas las funciones
continuas y dos veces diferenciables en (a, b) y que cumplen las condiciones de frontera de
(4.46). Cualquier funcion de ese espacio podra ser expresada como una combinacion lineal de
dicha base.
4.3 Equivalencia entre el problema de Sturm-Liouville

en varias dimensiones y una ecuacion integral mul-
tidimensional
En el presente epgrafe haremos una extension, en forma breve, de los resultados establecidos
anteriormente, al caso multidimensional. No nos detendremos en las demostraciones de las
propiedades, ya que ellas no aportan nada nuevo, sustancial; simplemente enunciaremos los
resultados fundamentales.
El problema de Sturm-Liouville que se obtiene a consecuencia de efectuar el procedimiento de

separacion de variables en varias dimensiones espaciales, segun vimos en el libro de Metodos
Matematicos de la Fsica, es:
2 v + v = 0, M V
v |S = 0 (4.81)
donde S es la superficie frontera del dominio V . Aqu, para fijar ideas, hemos tomado el primer
problema de frontera.
96 Jose Marn Antuna
En el libro de Metodos Matematicos de la Fsica vimos que la solucion del problema de Dirichlet
homogeneo:
2 v = f (M ), M V
v |S = 0 (4.82)
tiene por solucion la expresion:
Z Z Z
v(M ) = G(M, P )f (P )dP (4.83)
V
donde
1
G(M, P ) = +u (4.84)
4rM P
con 2 u = 0, M V . La funcion (4.84), como sabemos, es la funcion de Green del problema

de Dirichlet, que cumple que G|S = 0.
Aplicando la formula (4.83) al problema (4.81), obtenemos que la solucion de este puede ser
escrita en la forma:
Z Z Z
v(M ) = K(M, P )v(P )dP (4.85)
V
con K(M, P ) G(M, P ).
La expresion (4.85) es una ecuacion integral de Fredholm homogenea de segundo tipo en tres
dimensiones con nucleo simetrico.
De forma analoga puede llegarse a una expresion similar para el segundo y el tercer problema
de frontera de Sturm-Liouville; la funcion G(M, P ) sera, entonces, la funcion de Green del
problema de Neumann o la del tercer problema de frontera para la ecuacion de Poisson.
En general, es posible demostrar que toda la teora desarrollada en los captulos anteriores
para las ecuaciones integrales de Fredholm en una dimension espacial es valida para las ecua-
ciones multidimensionales del tipo (4.85), incluyendo las propiedades de los autovalores y de
las autofunciones.
En el caso que nos ocupa, se ve que el nucleo de la ecuacion (4.85) es real, simetrico y no trivial,
ya que esas propiedades son cumplidas por la funcion de Green.
Lo unico de la propiedad A que este nucleo no cumple es la continuidad, ya que, para M = P ,

tiene una singularidad.
Sin embargo, esta es una singularidad debil, ya que las integrales
Z Z Z Z Z Z
|K(M, P )|dP, K 2 (M, P )dP (4.86)
V V
son convergentes, en virtud de que
K
K(M, P )
(4.87)
rM P
con = 1 < 3, lo que garantiza dicha convergencia, de acuerdo con la teora desarrollada en el
libro de Metodos Matematicos de la Fsica.
Por consiguiente, la ecuacion integral (4.85) tiene solucion y es valida toda la teora expuesta
en los captulos anteriores.
Por ultimo, podemos senalar que, ademas de simetrico, el nucleo de la ecuacion (4.85) es
cerrado, lo que se deduce del hecho de que el problema (4.82) homogeneo, es decir, el problema
2 v = 0, M V
v |S = 0 (4.88)
como sabemos, solo tiene solucion trivial. Ello significa, de acuerdo con (4.83), que, efectiva-
mente
Z Z Z
K(M, P )f (P )dP = 0 (4.89)
V
solo para f (P ) 0, lo que, por tanto, significa que el nucleo es cerrado.
De aqu concluimos que el sistema de autovalores y de autofunciones de la ecuacion (4.85) tiene

infinitos elementos, es cerrado y completo y cumple las propiedades estudiadas en el epgrafe
anterior.
En el caso bidimensional todo es similar.
Para el problema de Sturm-Liouville:
2 v + v = 0, M S
v |C = 0 (4.90)
obtenemos la ecuacion integral equivalente

98 Jose Marn Antuna
Z Z
v(M ) = K(M, P )v(P )dS (4.91)
S
donde el nucleo
1 1
K(M, P ) = G(M, P ) = ln +u (4.92)
2 rM P
con 2 u = 0 M S es real, simetrico, no trivial y su singularidad en M = P es debil.
Para las ecuaciones integrales del tipo (4.91) son validas todas las conclusiones hechas en la
teora desarrollada en los captulos anteriores y el nucleo (4.92) es cerrado, por lo que el sistema
de los autovalores y las autofunciones es infinito, cerrado y completo y cumple las propiedades
vistas en el epgrafe anterior.
Captulo 5
Ecuacion Integral de Fredholm de

Segundo Tipo. Teora General
En el presente captulo estudiaremos la teora general de Fredholm para ecuaciones integrales

con nucleos arbitrarios. De esta manera complementamos lo estudiado sobre ecuaciones inte-
grales y brindamos algunos elementos teoricos y practicos de utilidad para las aplicaciones.
5.1 Transformacion de la ecuacion en un sistema alge-

braico
Estudiaremos la ecuacion de Fredholm de segundo tipo
Z b
(x) = K(x, s)(s)ds + f (x) (5.1)
a
donde K(x, s) y f (x) son continuas para a < x < b, a < s < b.
Proponiendo la funcion incognita en la forma
(x) = (x) + f (x) (5.2)
y colocando (5.2) en (5.1), obtenemos para (x) la ecuacion:
Z b Z b
(x) = K(x, s)(s)ds + K(x, s)f (s)ds (5.3)
a a
donde la inhomogeneidad que aparece a la derecha en (5.3) esta expresada como emanante del
nucleo K(x, s).
99
100 Jose Marn Antuna
Hagamos una particion del segmento [a, b] en n partes:
ba
xi = a + ih, sj = a + jh, h = , i, j = 1, 2, ..., n (5.4)
n
y sustituyamos la integral por la suma integral. Obtenemos:
n
X n
X
(xi ) = K(xi , sj )(sj )h + K(xi , sj )f (sj )h (5.5)
j=1 j=1
Introduciendo las siguientes notaciones:
i (xi ), Kij K(xi , sj ), fj f (sj ) (5.6)
hemos obtenido el siguiente sistema algebraico de ecuaciones:
n
X n
X
i h Kij j = h Kij fj , i = 1, 2, ..., n (5.7)
j=1 j=1
El determinante de la parte izquierda del sistema (5.7) se expresa de la siguiente forma:

1 hK11 hK12 ... hK1n

hK21 1 hK22 ... hK2n
() = (5.8)
... ... ...

hKn1 hKn2 ... 1 hKnn
Llamemos i al determinante (5.8) en el que, en la columna i, se encuentra colocada la parte

derecha del sistema (5.7); es decir:
... h nj=1 K1j fj

P
1 hK11 ... hK1n
... h nj=1 K2j fj
P
hK21 ... hK2n

... ... ... ...
n
... ... ... ...
h
X
i = n
X ij fj (5.9)
hK ... h Knj fj ... 1 hKnn j=1
n1
j=1

| {z }

columna i
donde hemos llamado:

Ecuacion Integral de Fredholm de Segundo Tipo. Teora General 101

1 hK11 ... K1j ... hK1n

hK21 ... K2j ... hK2n

ij =
... ... ... ...
(5.10)
hKn1 ... Knj ... 1 hKnn
|{z}

columna i
En la expresion de arriba, la columna con los elementos Kmj , con m = 1, 2, ..., n se encuentra
en la columna i de la matriz. Teniendo en consideracion (5.8), (5.9) y (5.10), la solucion del
sistema (5.7), por la regla de Kramer, es:
n
i 1 X
i = = h ij fj , i = 1, 2, ..., n (5.11)
() () j=1
y, por consiguiente, de acuerdo con (5.2):
n
1 X
i = fi + h ij fj , i = 1, 2, ..., n (5.12)
() j=1
Analicemos la estructura de los determinantes (5.8) y (5.10) y veamos cual es su expresion

lmite, para h 0, ya que, al efectuar dicho lmite, el sistema algebraico (5.7) se convierte en
la ecuacion integral que estamos analizando. Para ello, desarrollemos estos determinantes en
potencias de h. Llamando
1
t= (5.13)
h
podemos escribir:

K11 + t K12 ... K1n

K21 K22 + t ... K2n
(t) = tn tn (t)

(5.14)
... ... ...

Kn1 Kn2 ... Knn + t
Como se sabe del Algebra Matricial, si tenemos una matriz cuyos elementos son funciones de
la variable t:

a11 a12 ... a1n

a21 a22 ... a2n
A(t) = (5.15)
... ... ...

an1 an2 ... ann
entonces, su derivada se expresa por


a011 a12 ... a1n
a11 a012 ... a1n

0
a021 a22 ... a2n a21 a022 ... a2n
A (t) = + + ...
... ... ...
... ... ...

a0n1 an2 ... ann an1 a0n2 ... ann

a11 a12 ... a01n
a21 a22 ... a02n
... + (5.16)
... ... ...
an1 an2 ... a0nn
por lo tanto, para la matriz (t), definida en (5.14), tendremos:

1 K12 ... K1n K11 + t 0 ...
K1n

0
0 K22 + t ... K2n K21 1 ... K2n
(t) = + + ...
... ... ...
... ... ...

0 Kn2 ... Knn + t Kn1 0 ... Knn + t

K11 + t K12 ... 0

K21 K22 + t ... 0
1 + 2 + ... + n
... + (5.17)
... ... ...

Kn1 Kn2 ... 1
Es decir, dada la estructura del determinante (t), su derivada se expresa como
n
X
0 (t) = (t) (5.18)
=1
donde (t) es el determinante de orden n1 que se obtiene al tachar en (t) la fila y la columna
. Analogamente:
n
X
00
(t) = 1 2 (t) (5.19)
1 ,2 =1;1 6=2
donde 1 2 (t) es el determinante de orden n 2 que se obtiene al tachar en (t) las filas y
columnas 1 y 2 .
De manera similar:
X 1n
X
(m) (t) = 1 2 ...m (t) m! 1 2 ...m (t) (5.20)
1 ,2 ,...,m =1;6 =2 6=...6=m 1 <2 <...<m
donde 1 2 ...m (t) es el determinante de orden n m que se obtiene a partir de (t) al tachar
las filas y columnas 1 , 2 ,...,m . La igualdad de la extrema derecha en (5.20) es evidente, si
se tiene en cuenta que, al ordenar de menor a mayor los ndices de sumatoria 1 , 2 ,...,m , se
obtiene la permutacion de los sumandos.
Es evidente que
(n) (t) = 1, (k) = 0, k > n (5.21)
Por consiguiente, el desarrollo en serie de Taylor del determinante (t) queda en la forma:
1 (m)
(t) = (0) + 0 (0)t + ... + (0)tm + ... + tn (5.22)
m!
Llamemos l = n m e introduzcamos la representacion:

K 1 1 K 1 2 ... K 1 l

K K 2 2 ... K 2 l
1 2 ...m (0) = 2 1 K 1 ... l

(5.23)
... ... ... 1 ... l

K 1 K l 2 ... Kl l
l
Entonces, de acuerdo con (5.20), podemos escribir:
1n n
1 (m) X 1 ... l 1 X 1 ... l
(0) = K K (5.24)
m! 1 ... l l! , ,..., =1 1 ... l
1 <2 <...<l 1 2 l
donde, a la derecha en (5.24), hemos dividido por l! al quitar el ordenamiento de los ndices
. Colocando (5.24) en (5.22) y, a su vez, en (5.14), obtenemos, para el determinante (), la
expresion:
n1 n
n
X
m1 X 1 ... l
() = t t K =
(n m)! 1 ... l
m=0 1 ,...,nm =1
n n
(h)l

X X 1 ... l
=1+ K (5.25)
l! 1 ... l
l=1 1 ,...,nm =1
De manera completamente analoga, para los determinantes ij se obtiene:
n n
(h)l

X X 1 ... l , i
ij = Kij + K (5.26)
l! 1 ... l , j
l=1 1 ,...,l =1
donde

K 1 1 K 1 2 ... K1 s

1 ... s K K 2 2 ... K2 s
= 2 1

K (5.27)
1 ... s ... ... ...

K s 1 K s 2 ... Ks s
Veamos, ahora, el paso al lmite en la solucion del sistema (5.7), cuando h 0. Para ello, a
(5.25) pongamos en correspondencia la expresion:

X ()l
D() = 1 + dl (5.28)
l=1
l!
donde
Z bZ b Z b
t1 ... tl
dl = ... K dt1 ...dtl (5.29)
a a a t1 ... tl

t1 ... tl
K
t1 ... tl
es el determinante cuyos elementos son el nucleo evaluado en las variables t1 , t2 , ..., tl , respec-
tivamente.
De manera similar, a (5.26) pongamos en correspondencia la expresion:

()l b b b
Z Z Z
X t1 ... tl xi
D(xi , sj , ) = K(xi , sj ) + ... K dt1 ...dtl (5.30)
l! a a a t1 ... tl sj
l=1
y a la solucion (5.12) pongamos en correspondencia la expresion:
Z b
D(xi , s, )f (s)ds
(xi ) = f (xi ) + (5.31)
a D()
De esta manera es logico esperar que la solucion de la ecuacion integral de Fredholm de segundo
tipo tenga la forma:
Z b
(x) = f (x) + R(x, s, )f (s)ds (5.32)
a
donde la resolvente de la ecuacion es
D(x, s, )
R(x, s, ) = (5.33)
D()
La serie D() se conoce con el nombre de determinante de Fredholm y la serie D(x, s, ) con
el nombre de primer menor de Fredholm. La definicion de estas series ha sido efectuada de
manera formal. Los teoremas de Fredholm, que veremos mas adelante, justifican la existencia
de las series como paso al lmite para h 0.
5.2 Determinante de Fredholm. Menores de Fredholm
5.2.1 Introduccion
Veamos a continuacion la afirmacion siguiente:
Lema.
Si los elementos aij del determinante A son reales y cumplen que
n
X
a2ij = 1 (5.34)
j=1
entonces, |A| 1.
Demostracion:
Un determinante es una funcion de n variables, donde n es el orden del mismo. Analicemos

el extremo condicional de esta funcion, bajo las condiciones de ligadura (5.34). Para ello,
utilizando el metodo de Lagrange, analizamos el extremo de la funcion
n n
!
X X
F (a11 , ...., ann ) = A + i a2ij 1 (5.35)
i=1 j=1
Derivando e igualando a cero, obtenemos:
F
= Aij + 2i aij = 0, i, j = 1, 2, ..., n (5.36)
aij
donde Aij es el complemento algebraico del determinante A para el elemento aij . Multiplique-
mos (5.36) por aij y sumemos respecto a j; obtenemos:
n
X n
X
Aij aij + 2i a2ij = 0, i = 1, 2, ..., n (5.37)
j=1 j=1
El primer sumando en (5.37) no es otra cosa que el determinante A. Por consiguiente, teniendo
en cuenta (5.34), nos queda:
A + 2i = 0 (5.38)
Por lo tanto, los multiplicadores de Lagrange son:
A
i = , i = 1, 2, ..., n (5.39)
2
Colocando (5.39) en (5.36), obtenemos, para los elementos aij la expresion:
Aij
aij = a1
ji , i, j = 1, 2, ..., n (5.40)
A
La igualdad (5.40) nos indica que la matriz k aij k y su inversa transpuesta k a1

ji k son iguales.
Por consiguiente, tienen iguales determinantes. Es decir:
1
A= (5.41)
A
Es decir, A2 = 1. Esto significa que los valores extremos del determinante A son 1 , por lo
que, efectivamente, |A| 1.
Demostrado el lema.
El lema que acabamos de demostrar sirve de base para la demostracion del siguiente teorema.
Teorema de Hadamard.
Si los elementos bij del determinante B son reales, entonces, se cumple que
v !
u n n
uY X
|B| t b2ij (5.42)
i=1 j=1
Demostracion:
Analicemos el determinante A, cuyos elementos aij vienen dados por:

bij
aij = (5.43)
si
donde
n
X
si = b2ij (5.44)
j=1
Dada su construccion, el determinante A satisface las condiciones del lema anterior. Por con-
siguiente, |A| 1 y, como
n
Y
B=A si (5.45)
i=1
obtenemos que
n v
Y Y n u n
uY
|B| = |A| si si t si (5.46)

i=1 i=1 i=1
Corolario.
Si los elementos bij del determinante B son reales y cumplen que |bij | < M , entonces,
|B| M n nn/2 (5.47)
Demostracion:
Para las sumas (5.44) tenemos, evidentemente, que:
n
X
si = b2ij M 2 n (5.48)
j=1
Por consiguiente, teniendo en cuenta (5.48) en (5.42), obtenemos :
v
u n
uY
|B| t si M 2n nn = M n nn/2
i=1
5.2.2 Convergencia de las series de Fredholm
De acuerdo con lo desarrollado en el primer epgrafe, escribamos el determinante de Fredholm

de la siguiente manera:

X (1)n n
D() = dn (5.49)
n=0
n!
donde
Z b Z b
t1 ... tn
dn = ... K dt1 ...dtn (5.50)
a a t1 ... tn
y donde hemos utilizado la notacion:

K 1 1 ... K1 m
1 ... m
K = ... ... (5.51)
1 ... m K m 1

... K m m
Llamemosle menor de Fredholm de orden p a la serie:

X (1)n n
Dp (x1 , ..., xp , s1 , ..., sp ) = dn (x1 , ..., xp , s1 , ..., sp ) (5.52)
n=0
n!
donde
Z b Z b
t1 ... tn x1 ... xp
dn (x1 , ..., xp , s1 , ..., sp ) = ... K dt1 ...dtn (5.53)
a a t1 ... tn s1 ... sp
Para p = 1, de (5.52) obtenemos el primer menor de Fredholm, definido en el epgrafe 1.
Demostremos la convergencia de las series de Fredholm para cualquier p, incluyendo el caso

p = 0, que nos da (5.49). Para ello, consideraremos el nucleo de la ecuacion integral acotado;
es decir, que
|K(x, s)| m (5.54)
Entonces, evidentemente, de (5.53) tendremos:
|dn (x1 , ..., xp , s1 , ..., sp )| mn+p (n + p)(n+p)/2 (b a)n (5.55)

en virtud del corolario del teorema de Hadamard. Por lo tanto, valorando los terminos de la
serie (5.52), obtenemos un mayorante numerico:
(1)n n ||n (b a)n mn+p (n + p)(n+p)/2

dn (x 1 , ..., x p , s1 , ..., s p ) cn (5.56)
n! n!
Como es evidente que
cn+1 m(n + p + 1)(n+p+1)/2

= ||(b a) =
cn (n + p)(n+p)/2
(n+p)/2
n+p+1 1
= ||(b a)m 1+ 0 < 1, n (5.57)
n+1 n+p
por consiguiente, de acuerdo con el criterio de DAlembert, la serie mayorante converge para
toda y, por el criterio de Weierstrass, obtenemos que la serie de Fredholm (5.52) converge
uniformemente para toda ; es decir, es una funcion entera de .
La demostracion efectuada es valida, inclusive, para el caso en que p = 0, por lo que, au-
tomaticamente, queda demostrada la convergencia uniforme de la serie (5.49) que tambien da
una funcion de analtica en todo el plano complejo .
5.2.3 Relacion entre el determinante de Fredholm y los menores de

Fredholm
Analicemos la expresion:
Z b Z b
... Dp (1 , ..., p , 1 , ..., p , )d1 ...dp (5.58)
a a
donde el menor Dp (1 , ..., p , 1 , ..., p , ) viene dado por (5.52). No es difcil ver que, de acuerdo
con (5.53):
Z b Z b
... dp (1 , ..., p , 1 , ..., p )d1 ...dp =
a a
Z b Z b Z b Z b
t1 ... tn 1 ... p
= ... d1 ...dp ... K dt1 ...dtn dn+p (5.59)
a a a a t1 ... tn 1 ... p
Por consiguiente, para (5.58) obtenemos, haciendo el cambio de ndice de sumatoria m = n+p:
b b
(1)n n
Z Z X
... Dp (1 , ..., p , 1 , ..., p , )d1 ...dp = dn+p =
a a n=0
n!

X (1)m mp
p dp D()
= (1) dm (1)p (5.60)
m=p
(m p)! dp
As pues, obtenemos la Primera Relacion entre el determinante de Fredholm y los menores

de Fredholm:
b b
dp D()
Z Z
... Dp (1 , ..., p , 1 , ..., p , )d1 ...dp = (1)p (5.61)
a a dp
En lo adelante, cuando aparezca el smbolo ... .. entenderemos que el miembro x no esta en

la expresion que lo contenga. Igualmente, ... .. significara que el miembro s no esta.
De manera similar, la simbologa ...t ... y ...t ... significaran que la variable t se encuentra en
lugar de x o de s , respectivamente.
Las llamadas Relaciones Fundamentales de Fredholm se expresan por las siguientes ecua-
ciones:
Dp (x1 , ..., xp , s1 , ..., sp , ) =

p
X
(1)+ K(x , s )Dp1 (x1 , .... ..., xp , s1 , .... ..., sp , ) +
=1
Z b
+ K(x , t)Dp (x1 , ..., t , ..., xp , s1 , ...sp , )dt (5.62)
a
para 1 p.
Dp (x1 , ..., xp , s1 , ..., sp , ) =

p
X
(1)+ K(x , s )Dp1 (x1 , .... ..., xp , s1 , .... ..., sp , ) +
=1
Z b
+ Dp (x1 , ..., xp , s1 , ..., t , ..., sp , )dt (5.63)
a
para 1 p.
Demostremos la validez de (5.62). Tenemos que, en la expresion (5.53)


K(t1 , t1 ) ... K(t1 , tn ) K(t1 , s1 ) ... K(t1 , sp )

...

t1 ... tn x1 ... xp K(tn , t1 ) ... K(tn tn ) K(tn , s1 ) ... K(tn , sp )
K (5.64)
t1 ... tn s1 ... sp K(x1 , t1 ) ... K(x1 tn ) K(x1 , s1 ) ... K(x1 , sp )

...

K(xp , t1 ) ... K(xp tn ) K(xp , s1 ) ... K(xp , sp )
Desarrollemos el determinante (5.64) en complementos algebraicos para la fila ; obtenemos:

t1 ... tn x1 ... xp
K =
t1 ... tn s1 ... sp
n
X
n++m t1 ... tn x1 .. . xp
= (1) K(x , tm )K +
t1 ..m . tn s1 ... sp
m=1
p
X
n++m+ t1 ... tn x1 .. . xp
+ (1) K(x , s )K (5.65)
t1 ... tn s1 .. . sp
=1
Para eliminar la antisimetra en el primer sumando de la expresion (5.65), traslademos la fila

tm a la posicion de la fila .
Ello implica multiplicar el primer sumando por (1)nm+1 , de manera que obtenemos:
n
..tm ..

t1 ... tn x1 ... xp X t1 ..m . tn x1 xp
K = K(x , tm )K
t1 ... tn s1 ... sp t1 ..m . tn s1 ... sp
m=1
p
X t1 ... tn x1 .. . xp
+ (1)+ K(x , s )K (5.66)
t1 ... tn s1 .. . sp
=1
p
X
dn (x1 , ..., xp , s1 , ..., sp ) = (1)+ K(x , s )dn (x1 , .. ., xp , s1 , .. ., sp )
=1
n Z b

X
K(x , tm )dn1 (x1 , ..tm .., xp , s1 , ..., sp )dtm
m=1 a
p
X
(1)+ K(x , s )dn (x1 , .. ., xp , s1 , .. ., sp )
=1
Z b
n K(x , t)dn1 (x1 , ..t .., xp , s1 , ..., sp )dt (5.67)
a
ya que el segundo sumando es la suma de n terminos iguales.
Colocando en (5.52) la expresion (5.67), queda, automaticamente, demostrada la relacion (5.62).

De manera similar se demuestra (5.63), lo que se deja al lector como ejercicio.
Tomando en (5.62) y (5.63) p = 1, obtenemos, para el primer menor de Fredholm, las relaciones
siguientes:
Z b
D(x, s, ) = K(x, s)D() + K(x, t)D(t, s, )dt (5.68)
a
Z b
D(x, s, ) = K(x, s)D() + D(x, t, )K(t, s)dt (5.69)
a
Si llamamos
D(x, s, )
R(x, s, ) = (5.70)
D()
entonces, de (5.68) y (5.69), obtenemos:
Z b
R(x, s, ) = K(x, s) + K(x, t)R(t, s, )dt (5.71)
a
Z b
R(x, s, ) = K(x, s) + R(x, t, )K(t, s)dt (5.72)
a
La funcion (5.70) es una funcion meromorfa en el plano complejo , tiene puntos singulares
tipo polo en los ceros de D().
Una vez obtenidas las relaciones de Fredholm, pasaremos al estudio de los teoremas de Fred-
holm.
5.3 Alternativa de Fredholm
5.3.1 Primer teorema de Fredholm
Se enuncia en los siguientes terminos:
Teorema
Si no es raz de la funcion D(), entonces, para dicho valor de , la ecuacion integral de

Fredholm de segundo tipo
Z b
(x) = K(x, s)(s)ds + f (x) (5.73)
a
tiene solucion continua y unica, que se determina por la formula
Z b
(x) = f (x) + R(x, s, )f (s)ds (5.74)
a
donde
D(x, s, )
R(x, s, ) = (5.75)
D()
es la resolvente de la ecuacion.
Demostracion:
Existencia:
Coloquemos, explcitamente, (5.74) en (5.73), teniendo en cuenta la relacion fundamental de

Fredholm (5.71), obtenida en el epgrafe anterior. Obtenemos:
Z b Z b
0 0 0
(x) = f (x) + K(x, s) f (s) + R(s, s , )f (s )ds ds =
a a
Z b Z b Z b
0 0 0
= f (x) + K(x, s)f (s)ds + K(x, s) R(s, s , )f (s )ds ds =
a a a
Z b Z b Z b
= f (x) + K(x, s)f (s)ds + K(x, s)R(s, s , )ds f (s0 )ds0
0
a a a
Z b Z b Z b
f (x) + K(x, s)f (s)ds + K(x, t)R(t, s, )dt f (s)ds =
a a a
Z b Z b
= f (x) + K(x, s) + K(x, t)R(t, s, )dt f (s)ds =
a a
Z b
= f (x) + R(x, s, )f (s)ds (x) (5.76)
a
En las operaciones de (5.76) hemos sustituido oportunamente la variable muda s por t y la

variable muda s0 por s.
En (5.76) hemos obtenido la identidad (x) (x), lo que demuestra que la formula (5.74)
nos da la solucion de la ecuacion (5.73).
Por lo tanto, la existencia queda demostrada.
Unicidad:
Multipliquemos (5.74) por la resolvente R(x, s, ) e integremos.
Teniendo en cuenta la relacion RA = R A para la resolvente, obtenemos:
Z b Z b Z b
0 0 0
R(x, s, )(s)ds = R(x, s, ) f (s) + K(s, s )(s )ds ds =
a a a
Z b Z b Z b
0 0 0
= R(x, s, )f (s)ds + R(x, s, ) K(s, s )(s )ds ds =
a a a
Z b Z b
= R(x, s, )f (s)ds + {R(x, s, ) K(x, s)}(s)ds (5.77)
a a
De (5.77) concluimos que:
Z b Z b
R(x, s, )(s)ds = K(x, s)(s)ds (5.78)
a a
La relacion (5.78) debe ser satisfecha por toda solucion de la ecuacion (5.73).
Por consiguiente, cualquier solucion de la ecuacion (5.73) tiene que venir dada por la formula
(5.74), lo que demuestra la unicidad de la solucion.
El Primer Teorema de Fredholm tiene el siguiente corolario evidente:
Corolario
Si no es raz de D(), entonces, la ecuacion integral de Fredholm homogenea de segundo tipo

tiene solo solucion trivial.
5.3.2 Segundo teorema de Fredholm
Supongamos que 0 es una raz de D() de multiplicidad p. Es decir, que
dm D(0 dp D(0 )
D(0 ) = 0, = 0, m = 1, 2, ..., p 1, 6= 0 (5.79)
dm dp
Entonces, de la primera relacion de Fredholm (5.61) tenemos que

b b
dp D(0 )
Z Z
... Dp (x1 , ..., xp , x1 , ..., xp , 0 )dx1 ...dxp = (1)p 6= 0 (5.80)
a a dp
de donde se deduce que
Dp (x1 , ..., xp , x1 , ..., xp , 0 ) 6= 0 (5.81)
Escribamos los menores de Fredholm hasta el orden p evaluados en 0 :
D1 (x1 , s1 , 0 ), D2 (x1 , x2 , s1 , s2 , 0 ), ...
Dp1 (x1 , ..., xp1 , s1 , ..., sp1 , 0 ), Dp (x1 , ..., xp , s1 , ...sp , 0 ) 6= 0
En este conjunto existe un menor no identicamente nulo. Siempre se encuentra tal menor.
Tiene lugar el siguiente concepto.
Definicion:
Se llama rango r de la raz 0 del determinante de Fredholm D() al menor orden de los
menores de Fredholm no iguales identicamente a cero: 1 r p.
Con estas ideas previas, pasaremos a enunciar y demostrar el segundo teorema de Fredholm.
Teorema.
Si 0 es raz de rango r del determinante de Fredholm D(), entonces, la ecuacion homogenea
Z b
(x) = 0 K(x, s)(s)ds (5.82)
a
tiene, solamente, r soluciones linealmente independientes.
Demostracion:
Demostraremos, inicialmente, que existen r soluciones linealmente independientes.
Como, por definicion de rango, se cumple que Dr (x1 , ..., xr , s1 , ...sr , 0 ) 6= 0 identicamente,
tendremos que existe al menos un punto x01 , ..., x0r , s01 , ..., s0r tal que
Dr (x01 , ..., x0r , s01 , ...s0r , 0 ) 6= 0 (5.83)
Analicemos el siguiente sistema de funciones:

Dr (x01 , ..., x , ..., x0r , s01 , ..., s0r , 0 )

(x) = , = 1, ..., r (5.84)
Dr (x01 , ..., x0r , s01 , ..., s0r , 0 )
Para la funcion (5.84) as definida, evidentemente, se cumple que (x0 ) = 1 y, ademas, que
(x0 ) = 0, ya que, en este ultimo caso, el determinante en el numerador tiene dos columnas
iguales.
Si analizamos la combinacion lineal
r
X
c (x) = 0 (5.85)
=1
entonces, teniendo en cuenta lo dicho arriba, tendremos que, evaluando (5.85) para x = x01 ,
obtenemos c1 = 0, evaluando para x = x02 , obtenemos c2 = 0 y as sucesivamente, hasta llegar
a que, evaluando para x = x0r , cr = 0.
Por consiguiente, concluimos que el sistema de funciones (5.84) es linealmente independiente.
Demostremos, ahora, que este sistema (5.84) satisface la ecuacion (5.82).
De acuerdo con la relacion fundamental de Fredholm (5.62) del epgrafe anterior, tenemos que:
Dr (x1 , ..., xp , s1 , ..., sp , 0 ) =

r
X
(1)+ K(x , s )Dr1 (x1 , .... ..., xr , s1 , .... ..., sr , 0 ) +
=1
Z b
+0 K(x , t)Dr (x1 , ..., t , ..., xr , s1 , ...sr , 0 )dt (5.86)
a
Pero, por definicion de rango
Dr1 (x1 , .... ..., xr , s1 , .... ..., sr , 0 ) = 0 (5.87)
Por lo tanto, de (5.86) obtenemos:
Dr (x1 , ..., xp , s1 , ..., sp , 0 ) =

Z b
0 K(x , t)Dr (x1 , ..., t , ..., xr , s1 , ...sr , 0 )dt (5.88)
a
En (5.88) evaluemos para si = s0i , (i = 1, 2, ..., r), x = x y xi = x0i para i 6= , i = 1, 2, ..., r.

Entonces, dividiendo por Dr (x01 , ..., x0r , s01 , ..., s0r , 0 ) la expresion (5.88), obtenemos:
Z b
(x) = 0 K(x, t) (t)dt (5.89)
a
lo que significa que, efectivamente, el sistema de funciones (5.84) es solucion de la ecuacion

(5.82).
Demostremos, por ultimo, que no existen otras soluciones que sean linealmente independientes,
es decir, que cualquier otra solucion de la ecuacion (5.82) es combinacion lineal del sistema
(5.84).
Para ello, introduzcamos la funcion:
Dr+1 (x01 , ..., x0r , x, s01 , ..., s0r , s, 0 )

H(x, s, 0 ) = (5.90)
Dr (x01 , ..., x0r , s01 , ..., s0r , 0 )
Teniendo en cuenta la relacion fundamental de Fredholm (5.63) del epgrafe anterior con p =
r + 1 y = r + 1, obtenemos para la funcion (5.90) la relacion:
r
X Dr (x01 , .... ..., x0r , sr1 , ...s0r , 0 )
H(x, s, 0 ) = (1)+r+1 K(x0 , s) +
=1
Dr (x01 , ..., x0r , sr1 , ...s0r , 0 )
Z b
+K(x, s) 1 + 0 H(x, t, 0 )K(t, s)dt (5.91)
a
En el numerador del primer sumando de la expresion (5.91) traslademos la columna x a la

posicion que esta ausente con la ayuda de r saltos. Ello, como se sabe, implica multiplicar
el determinante por (1)r .
Teniendo en cuenta (1)+r+1+r = 1 y la expresion (5.84), este sumando se transforma en:
r
X Dr (x01 , .... ..., x0r , sr1 , ...s0r , 0 )
(1)+r+1 K(x0 , s) =
=1
Dr (x01 , ..., x0r , sr1 , ...s0r , 0 )
r
X
= K(x0 , s) (x) (5.92)
=1
Entonces, para la funcion (5.90) -que llamaremos resolvente generalizada- obtenemos, de (5.91),
teniendo en cuenta (5.92), la expresion:
Z b r
X
H(x, s, 0 ) = K(x, s) + 0 H(x, t, 0 )K(t, s)dt K(x0 , s) (x) (5.93)
a =1
Una vez obtenida esta relacion y apoyados en ella, demostremos que cualquier solucion de la
ecuacion (5.82) es combinacion lineal del sistema (5.84).
Para ello, supongamos que la funcion (x) es solucion de la ecuacion (5.82); ello significa que
se cumple la identidad:
Z b
(x) 0 K(x, s)(s)ds (5.94)
a
Multipliquemos por H(x, s, 0 ) la identidad (5.94) e integremos. Obtenemos:
Z b Z b Z b
0 0 0
H(x, s, 0 )(s)ds 0 H(x, s, 0 ) K(s, s )(s )ds ds 0 (5.95)
a a a
Restemos a la derecha de (5.94) la expresion (5.95); como esta es cero, el resultado no se altera.
Teniendo en cuenta (5.93), obtenemos:
Z b Z b
(x) 0 K(x, s)(s)ds H(x, s, 0 )(s)ds +
a a
Z b Z b
0 0 0
+0 H(x, s, 0 ) K(s, s )(s )ds ds =
a a
r
Z bX r
X Z b
= 0 K(x0 , s) (x)(s)ds = 0 (x) K(x0 , s)(s)ds (5.96)
a =1 =1 a
Llamemos:
Z b
A = 0 K(x0 , s)(s)ds (5.97)
a
que son ciertos coeficientes dependientes de . Entonces, de (5.96) obtenemos:

r
X
(x) A (x) (5.98)
=1
lo que significa que, efectivamente, cualquier solucion de la ecuacion (5.82) es combinacion

lineal del sistema de soluciones (x) dado por (5.84).
Como resultado del primer y segundo teorema de Fredholm, as como del corolario del primer
teorema, podemos enunciar el teorema conocido como Alternativa de Fredholm:
Teorema.
Si la ecuacion integral de Fredholm de segundo tipo homogenea solo tiene solucion trivial,
entonces, la ecuacion no homogenea tiene solucion unica.
Si la ecuacion homogenea tiene solucion no trivial, entonces, la ecuacion no homogenea, o bien

no tiene solucion, o bien tiene un numero infinito de soluciones.
Demostracion:
El primer teorema de Fredholm garantiza que, efectivamente, si D() 6= 0, entonces, la ecuacion

no homogenea tiene solucion unica y, por su corolario, la ecuacion homogenea tiene solo solucion
trivial.
El segundo teorema de Fredholm nos dice que si D() = 0, entonces, la ecuacion homogenea
tiene solucion no trivial; pero en ese caso, de acuerdo con el primer teorema, no podemos
garantizar nada sobre la ecuacion no homogenea, pues la resolvente, dada por la formula (5.75),
no esta definida.
Por consiguiente, o no existe solucion para la ecuacion no homogenea o esta tiene infinitas
soluciones.
Esta situacion quedara precisada con el tercer teorema de Fredholm, que estudiaremos en el
proximo epgrafe.
5.4 Ecuacion no homogenea de Fredholm para D() = 0.

Tercer Teorema de Fredholm
En el presente epgrafe precisaremos la segunda afirmacion de la Alternativa de Fredholm

referente a la existencia o no de la solucion de la ecuacion no homogenea para el caso en que
D() = 0; es decir, para el caso en que la ecuacion homogenea tiene solucion diferente de cero.
5.4.1 Nucleos iterados
Estableceremos, a continuacion, el siguiente concepto.
Definiciones
1. Llamaremos nucleo conjugado del nucleo K(x, s) a la expresion
K(x, s) = K (s, x) (5.99)

2. El menor de Fredholm de orden p para el nucleo conjugado K(x, s) es:
Dp (x1 , ..., xp , s1 , ..., sp , ) = Dp (s1 , ..., sp , x1 , ..., xp , ) (5.100)
3. Los autovalores del nucleo conjugado se definen como aquellos valores de para los cuales
D() = 0 (5.101)
Es decir:
D ( ) = 0 (5.102)
El asterisco que indica la conjugacion de D en (5.102) realidad no juega ningun papel, ya

que igualar a cero un numero complejo significa que son iguales a cero su parte real y su
parte imaginaria, pero, por seguir una notacion, lo escribimos.
Es obvio que, si 0 es raz de la ecuacion D() = 0, entonces, 0 = 0 sera raz de
D() = 0.
4. Las autofunciones (x) del nucleo conjugado se definen por la expresion:
Dr (x01 , ..., x , ..., x0r , s01 , ..., s0r , 0 )

(x) =
Dr (x01 , ..., x0r , s01 , ..., s0r , 0 )
Dr (s01 , ..., s0r , x01 , ..., x , ..., x0r , 0 )
(5.103)
Dr (s01 , ..., s0r , x01 , ..., x0r , 0 )
Por ultimo, para la conjugada de la resolvente generalizada, tendremos la relacion:
Z b
H(x, s, 0 ) = K(x, s) + 0 H(x, t, 0 )K(t, s)dt
a
r
X
K(x0 , s) (x) (5.104)
=1
que se deduce, directamente, de la expresion (5.93) del epgrafe anterior y donde
H(x, s, 0 ) = H (s, x, 0 ) (5.105)
Por consiguiente, si a (5.104) le aplicamos la operacion de conjugacion y, a la vez, cam-

biamos x por s, obtenemos:
Z b
H(x, s, 0 ) = K(x, s) + 0 K(x, t)H(t, s, 0 )dt
a
r
X
K(x, x0 ) (s) (5.106)
=1
5.4.2 Tercer teorema de Fredholm
Con las consideraciones previas del punto anterior, pasaremos a enunciar y demostrar el tercer
teorema de Fredholm que se expresa en los siguientes terminos.
Teorema.
Sea D(0 ) = 0. Para que la ecuacion integral de Fredholm de segundo tipo no homogenea
Z b
(x) = 0 K(x, s)(s)ds + f (x) (5.107)
a
tenga solucion es necesario y suficiente que la funcion f (x) sea ortogonal a la autofuncion del
nucleo conjugado correspondiente al autovalor 0 = 0 .
Demostracion:
1. Necesidad.
Supongamos que la ecuacion (5.107) tiene por solucion la funcion (x). Entonces, la ecuacion
(5.107) se convierte en identidad.
Aplicando la operacion de conjugacion a esta identidad, obtenemos:
Z b

(x) K (X, s) (s)ds + f (x) (5.108)
a
Multipliquemos (5.108) por la autofuncion (x) del nucleo conjugado correspondiente al auto-
valor 0 e integremos entre a y b.
Como resultado obtenemos, teniendo cuenta la definicion (5.99):
Z b Z b Z bZ b

f (x)(x)dx (x)(x)dx 0 K (x, s) (s)(x)dxds =
a a a
Z b Z b a Z b

= (x)(x)dx (s) 0 K(s, x)(x)dx ds =
a a a
Z b Z b

= (x)(x)dx (s)(s)ds 0 (5.109)
a a
lo que demuestra la ortogonalidad.
En el penultimo paso hemos tenido en cuenta el hecho de que (x) es la autofuncion del nucleo
conjugado correspondiente al autovalor 0 es decir, que
Z b
(s) 0 K(s, x)(x)dx (5.110)
a
Demostrada la necesidad.
2. Suficiencia.
Supongamos que la ortogonalidad se cumple. Demostremos la existencia de la solucion.
De existir, la solucion tendra que expresarse a traves de la resolvente mediante la formula
Z b
(x) = f (x) + 0 H(x, s, 0 )f (s)ds (5.111)
a
Coloquemos (5.111) en la parte derecha de la ecuacion (5.107). Obtenemos:
Z b Z b
0 0 0
(x) = f (x) + 0 K(x, s) f (s) + 0 H(s, s , 0 )f (s )ds ds =
a a
Z b Z bZ b
= f (x) + 0 2
K(x, s)f (s)ds + 0 K(x, s)H(s, s0 , 0 )f (s0 )ds0 ds (5.112)
a a a
Sustituyamos en (5.112) K(x, s) de la primera integral por su expresion sacada de (5.106) y en

la segunda integral sustituyamos las variables mudas de integracion, llamando t a s y s a s0 .
Entonces, se obtiene:
(x) = f (x) +
Z b( Z b r
X
)
+0 H(x, s, 0 ) 0 K(x, t)H(t, s, 0 )dt + K(x, x0 ) (s) f (s)ds +
a a =1
Z bZ b
+20 K(x, t)H(t, s, 0 )f (s)dsdt =
a a
Z b Z bZ b
= f (x) + 0 H(x, s, 0 )f (s)ds 20 K(x, t)H(t, s, o )f (s)dsdt +
a a a
r
X Z b Z bZ b
+0 K(x, x0 ) (s)f (s)ds + 20 K(x, t)H(t, s, 0 )f (s)dsdt (x) (5.113)
=1 a a a
donde hemos tenido en cuenta (5.111) y el hecho de que la integral dentro de la sumatoria es
cero, en virtud de la ortogonalidad de f (x) con las autofunciones.
Al obtener la identidad (x) (x) queda comprobado que (5.111) satisface la ecuacion, lo
que significa la existencia de la solucion.
Con los teoremas de Fredholm demostrados queda concluida la teora general de las ecuaciones
integrales de Fredholm de segundo tipo con nucleo arbitrario.
Dada la importancia que revisten los nucleos simetricos para la Fsica estudiaremos en el
proximo captulo algunos aspectos complementarios de la teora para las ecuaciones con nucleo
simetrico.
Captulo 6
Aspectos Complementarios de la Teora

de Ecuaciones con Nucleo Simetrico
En el presente captulo analizaremos las ecuaciones integrales de Fredholm de segundo tipo con
nucleo simetrico.
6.1 Desarrollo de un nucleo simetrico en serie bilineal
Analizaremos en este epgrafe la ecuacion integral de Fredholm de segundo tipo homogenea
Z b
(x) = K(x, s)(s)ds (6.1)
a
De acuerdo con la teora desarrollada en el epgrafe anterior, la ecuacion (6.1) tiene solucion no
trivial para aquellos valores de que sean races de la ecuacion D() = 0.
Dichos valores, 1 , 2 ,..., n ,... son los autovalores del nucleo, a los que les corresponden las
autofunciones 1 (x), 2 (x),..., n (x), ...
El conjunto de autovalores puede ser finito o numerable.
Consideraremos que el nucleo de la ecuacion (6.1) es simetrico. Ello significa que se cumple la
igualdad:
K(x, s) = K(s, x) (6.2)
Dado el sistema de autovalores y autofunciones del nucleo simetrico K(x, s), pongamos en
correspondencia a dicho nucleo la serie bilineal:
125

X k (x)k (s)
K(x, s) (6.3)
k=1
k
6.1.1 Convergencia de la serie bilineal al nucleo de la ecuacion in-

tegral
Teorema.
Si la serie bilineal (6.3) converge uniformemente para a x b, a s b, lo hace al nucleo

K(x, s).
Demostracion:
Analicemos el nucleo

X k (x)k (s)
H(x, s) = K(x, s) (6.4)
k=1
k
de la ecuacion
Z b
(x) = H(x, s)(s)ds (6.5)
a
que, de acuerdo con el teorema de existencia, tiene, al menos, un autovalor 0 y una autofuncion
0 (x).
Demostremos, primeramente, que la autofuncion 0 (x) es ortogonal a todas las autofunciones

k (x) del nucleo K(x, s).
Tenemos que, para cualquier m:
Z b Z b (Z b "
# )
X k (x)k (s)
0 (x)m (x)dx K(x, s)0 (s) 0 (s) ds m (x)dx
a a a k=1
k
Z b (Z b Z b )
k (s)
X
0 K(x, s)m (x)dx k (x)m (x)dx 0 (s)ds =
a a k=1
k a
Z b
m (s) m (s)
= 0 0 (s)ds 0 (6.6)
a m m
Aspectos Complementarios de la Teora de Ecuaciones con Nucleo Simetrico 127
En las operaciones de (6.6) hemos tenido en cuenta, despues de sustituir 0 (x) por la identidad
que se obtiene de (6.5), que m (x) son autofunciones del nucleo K(x, s) correspondientes a m
y que, por lo tanto, son ortogonales, es decir:
Z b
k (x)m (x)dx = km (6.7)
a
El intercambio de la integracion con la sumatoria se basa en la convergencia uniforme de la

serie.
La expresion (6.6) nos indica que, efectivamente, 0 (x) es ortogonal a todas las autofunciones
k (x) del nucleo K(x, s).
Demostremos, ahora, que 0 (x) es, tambien, autofuncion del nucleo K(x, s). Teniendo en
cuenta (6.6), obtenemos:
Z b(
) Z b
X k (x)k (s)
0 (x) 0 K(x, s) 0 (s)ds = 0 K(x, s)0 (s)ds
a k=1
k a

k (x) b
X Z Z b
0 k (s)0 (s)ds 0 K(x, s)0 (s)ds (6.8)
k=1
k a a
Como conclusion llegaramos al absurdo de que, al ser 0 (x) ortogonal a todas las autofunciones
del nucleo K(x, s) y ser, a su vez, autofuncion de dicho nucleo, debera ser ortogonal a s misma.
Por consiguiente, tiene que ser H(x, s) 0, es decir

X k (x)k (s)
K(x, s) (6.9)
k=1
k
O sea, efectivamente, la serie converge al nucleo K(x, s).
6.1.2 Series bilineales para nucleos iterados
Como sabemos, los nucleos iterados se definen mediante la expresion:
Z b
Kn (x, s) = K(x, s)Kn1 (t, s)dt, n = 1, 2, ... (6.10)
a
Segun vimos en el Captulo 2, las autofunciones k (x) del nucleo K(x, s), correspondientes a
los autovalores k , son tambien autofunciones del nucleo iterado (6.10) con autovalores nk .
Pongamos en correspondencia al nucleo iterado (6.10) la siguiente serie bilineal:

X k (x)k (s)
Kn (x, s) (6.11)
k=1
nk
Se cumple la siguiente afirmacion:
Teorema.
Para el nucleo iterado (6.10) la serie bilineal (6.11) converge absoluta y uniformemente a el.
Demostracion:
De acuerdo con (6.10), el nucleo iterado es emanante del nucleo K(x, s). Por lo tanto, por
el teorema de Hilbert-Schmidt, admite un desarrollo en serie de autofunciones convergente
absoluta y uniformemente:

X
Kn (x, s) = Knk (s)k (x) (6.12)
k=1
donde
Z b
k (s)
Knk (s) = Kn (x, s)k (x)dx (6.13)
a nk
ya que las funciones k (x) son autofunciones del nucleo iterado con autovalores nk . Por con-
siguiente:

X k (x)k (s)
Kn (x, s) = (6.14)
k=1
nk
6.1.3 Nucleos definidos positivos y definidos negativos
Definicion.
El nucleo simetrico K(x, s) se llama definido positivo si todos sus autovalores son positivos
y se llama definido negativo si todos sus autovalores son negativos.
Analicemos la siguiente integral:

Z bZ b Z b Z b
I= K(x, s)f (x)f (s)dxds = f (x) K(x, s)f (s)ds dx =
a a a a
b
fk b fk2
Z Z
X fk X X
= f (x) k (x)dx = f (x)k (x)dx (6.15)
a k=1
k k=1
k a k=1
k
En este resultado hemos tenido en consideracion el hecho de que la integral encerrada entre
llaves es la expresion de una funcion emanante del nucleo, por lo que, de acuerdo con el teorema
de Hilbert-Schmidt, admite el desarrollo en serie de autofunciones escrito.
Teorema.
Para que el nucleo K(x, s) sea definido positivo es necesario y suficiente que la integral (6.15)
cumpla que I 0.
Demostracion:
Necesidad.
Sea I 0. Entonces, de acuerdo con (6.15)

X f2 k
0 (6.16)
k=1
k
La desigualdad (6.16) se cumple solo si k > 0.
Suficiencia.
Sea K(x, s) definido positivo; es decir, que sus autovalores cumplen que k > 0. Entonces,
tendremos que

X f2 k
I= 0
k=1
k
Ya en el Captulo 2 habamos hablado que si la serie bilineal converge uniformemente, lo hace

al nucleo simetrico K(x, s). El teorema del punto 1 de este epgrafe logro establecer con rigor
este hecho.
Sin embargo, en ningun momento se ha hablado de un recproco para esta afirmacion. Para los
nucleos definidos positivos y definidos negativos tiene lugar el siguiente teorema de Mercer.
Teorema.
Si el nucleo K(x, s) es definido positivo o definido negativo, entonces, la serie bilineal converge
absoluta y uniformemente a dicho nucleo.
Demostracion:
Haremos la demostracion para los nucleos definidos positivos.
Sea K(x, s) un nucleo definido positivo; es decir, sus autovalores k > 0. Analicemos la siguiente
funcion:
m
X k (x)k (s)
Hm (x, s) = K(x, s) (6.17)
k=1
k
Las autofunciones de K(x, s), excepto las m primeras, seran autofunciones de Hm (x, s). Por lo
tanto, Hm (x, s) es tambien definido positivo. En particular
m
X 2 (x)
k
Hm (x, x) = K(x, x) (6.18)
k=1
k
Es obvio que K(x, x) 0.
Efectivamente, de la integral (6.15) tenemos que, si suponemos la existencia de al menos un

punto x0 tal que K(x0 , x0 ) 0, entonces, en virtud de que K(x, s) es continuo, existira un
entorno de x0 , Sx0 , tal que K(x, x) < 0, para x Sx0 .
Entonces, tomando
f (x) = 0, x no Sx0
f (x) < 0, x Sx0 (6.19)
obtendramos I < 0, lo que es imposible, ya que, por hipotesis, K(x, s) es definido positivo.
Ademas, Hm (x, s) 0, pues, segun vimos, tambien es definido positivo. Por consiguiente, de
(6.18), obtenemos que
m
X 2 (x)
k
K(x, x) (6.20)
k=1
k
Es decir, la suma parcial de la serie

X 2 (x)
k
k=1
k
es acotada por encima y, por lo tanto, converge. Por lo tanto:

m 2
X k (x)
(6.21)

k

k=n
De la desigualdad de Cauchy-Buniakovsky tenemos que, por (6.21):

m
(
m m
)1/2
( 2 2
X k x) k (s) X k (x) X k (x)
< , n, m > N (6.22)

k k k

k=n k=n k=n
Por consiguiente, queda demostrada la convergencia uniforme para x, s [a, b] de la serie

bilineal.
Demostremos, ahora, que la serie bilineal converge en media a nuestro nucleo K(x, s). Efecti-
vamente, tenemos que:
Z b" m
#2
X k (x)k (s)
K(x, s) ds =
k=1 a k
" #2
Z b m m
X k (x)k (s) X k (x)k (s)
K 2 (x, s) 2K(x, s) + ds =
a k k=1
k
k=1
m m m
X 2k (x) 2k (x)
X X 2k (x)
= K2 (x, x) 2 + K 2 (x, x) (6.23)
k=1
2k k=1
2k k=1
2k
Para obtener (6.23), hemos tenido en consideracion que:
Z b Z b
2
K (x, s)ds = K(x, s)K(x, s)ds K2 (x, x) (6.24)
a a
pues el nucleo K(x, s) es simetrico;
m b m m
2 (x)
Z
X k (x) X k (x) k (x) X
k
2 K(x, s)ds 2 2 (6.25)
k=1
k a k=1
k k k=1
2k
y que:
Z b "X m
#2 m Z b 2
k (x)k (s) X k (x)2k (s)
ds = +
a k=1
k k=1 a
2k
m X m m
k (x)l (x) b 2k (x)
X Z X
+ k (s) l (s)ds = (6.26)
k=1 l=1
2k a k=1
2k
(k6=l)
pues
Z b
k (s)l (s)ds = kl (6.27)
a
Por lo tanto, de (6.23), tenemos:
Z b" m
#2 m

2
X k (x)k (s) X k (x)
K(x, s) ds = K2 (x, x) < (6.28)

a k=1
k
k=1
2k
para m > N , ya que, por el teorema anterior, la serie del nucleo iterado K2 (x, s) converge
uniformemente.
Por consiguiente, queda demostrada la convergencia en media de nuestra serie bilineal al nucleo
K(x, s).
Por ultimo, como K(x, s) es continua y antes habamos demostrado la convergencia uniforme
de la serie bilineal, por el teorema de Dini concluimos la convergencia uniforme de la serie
bilineal al nucleo K(x, s).
Para los nucleos definidos negativos la demostracion es identica.
6.2 Resolvente del nucleo simetrico
Para cualquier nucleo, es posible demostrar que la resolvente se expresa en terminos de la

siguiente serie:

X
R(x, s, ) = n1 Kn (x, s) (6.29)
n=1
para valores de tales que

1
|| < (6.30)
M 2 (b a)
Esto es evidente, si tenemos en cuenta que en el epigrafe Complementos de la teora es-

pectral de operadores, del Captulo Elementos de Espacios Funcionales y Operadores
del libro de Metodos Matematicos de la Fsica, obtuvimos la convergencia de la serie de
Neumann

X
(A)n I + R() (6.31)
n=0
para valores de tales que
1
|| < (6.32)
kAk
Despejando R() de (6.31), obtenemos, efectivamente:

X
R(x, s, ) = n1 An (6.33)
n=1
que es equivalente a (6.29).
Si el nucleo K(x, s) es simetrico, entonces, el nucleo iterado Kn (x, s) que aparece en (6.29) se
expresa a traves de su serie bilineal. Por lo tanto, tendremos:

X
n1
X k (x)k (s)
R(x, s, ) = K(x, s) + =
n=2 k=1
nk

1 X X n
K(x, s) + k (x)k (s) =
k=1 n=2
nk

X
= K(x, s) + k (x)k (s) (6.34)
k=1
k (k )
En (6.34) hemos intercambiado el orden de las sumatorias debido a la convergencia de las

mismas y utilizado el resultado de la suma de la serie geometrica, ya que |k | > ||.
Por otra parte, para los nucleos en general, tenamos que:
D(x, s, )
R(x, s, ) = (6.35)
D()
y que la primera relacion fundamental de los menores de Fredholm, para p = 1, era:
Z b
D(x, x, )dx = D0 () (6.36)
a
Por lo tanto, de (6.35) y (6.36), obtenemos:
b
D0 ()
Z
R(x, x, )dx = (6.37)
a D()
Por consiguiente, de acuerdo con (6.34), para los nucleos simetricos, obtenemos:
Z b Z b
X
R(x, x, )dx = K(x, x)dx + (6.38)
a a k=1
k (k )
en virtud de la ortonormalidad de las autofunciones.
Sea, ahora, k0 una raz de la ecuacion D() = 0, de multiplicidad p. En virtud del teorema
sobre el residuo logartmico de una funcion en su cero:
D0 ()

Res , k0 = p (6.39)
D()
Por consiguiente, si la raz tiene multiplicidad p, en la suma de la expresion (6.34) hay que
sumar por todas las autofunciones del autovalor k0 de multiplicidad p.
Ademas, como el nucleo es simetrico, tendremos que

X k (x)k (s)
K(x, s) = (6.40)
k=1
k

X k (x)k (s)
R(x, s, ) = (6.41)
k=1
k
Como la expresion general de la solucion de la ecuacion integral es
Z b
(x) = f (x) + R(x, s, )f (s)ds (6.42)
a
obtenemos para la solucion de la ecuacion con nucleo simetrico:


k (x) b
Z
X X fk k (x)
(x) = f (x) + k (s)f (s)ds f (x) + (6.43)
k=1
k a k=1
k
Es decir, la conocida formula de Schmidt.

Captulo 7
Ecuacion Integral de Fredholm de

Primer Tipo
En el presente captulo haremos un estudio detallado de la ecuacion integral de Fredholm de

primer tipo, cuyo analisis obviamos en los captulos anteriores, dada la dificultad intrnseca de
este tipo de ecuacion.
7.1 Introduccion
La ecuacion integral de Fredholm de primer tipo tiene la forma:
Z b
(x) = K(x, s)(s)ds (7.1)
a
Si tenemos una clase de funciones emanantes del nucleo, como se ve de (7.1), la solucion existira.
Si el nucleo es cerrado; es decir, si
Z b
K(x, s)F (s)ds = 0 (7.2)
a
implica que F (s) 0, entonces, se puede garantizar la unicidad. Sin embargo y pese a lo
dicho, persiste un obstaculo; la ecuacion es un problema incorrecto. Escribamos la ecuacion
operacional
y = Ax (7.3)
El problema de la solucion de esta ecuacion se reduce a la construccion del operador inverso.

Inclusive si existe el operador inverso, este no es acotado en todo el espacio.
137
Podemos escoger, en el espacio R un conjunto compacto M que se transforma, mediante (7.3)

en el conjunto M1 del espacio R1 . El siguiente teorema establece las condiciones para que el
operador inverso sea acotado.
Teorema.
Sea A un operador continuo que represente R en R1 y para el cual existe el operador inverso. Si,
a la vez, al compacto M R le corresponde el compacto M1 R1 , entonces, la representacion
inversa en M1 es acotada.
Demostracion:
Hay que demostrar que, para cualquier > 0, existe un > 0 tal que k y y k< implica que
k x x k< , donde y M1 , y M1 , x = A1 y, x = A1 y. Vamos a efectuar la demostracion
por reduccion al absurdo. Supongamos que, para > 0 y > 0 arriba mencionados, existen
y1 y y1 tales que, a pesar de ser k y1 y1 k< , ocurre que k x1 x1 k> . Tomemos por a
(n) (n) (n) (n)
n = n1 y las sucesiones de vectores y1 , y1 , x1 y x1 . Como los conjuntos son compactos,
siempre se pueden lograr subsucesiones convergentes, es decir, tales que
(n) (n) (n) (n)
x1 x1 , x1 x1 , y1 y1 , y1 y1
Entonces, en el lmite para n , tendramos que y1 = y1 en tanto que x1 6= x1 . Pero esto es

absurdo, pues Ax = y y Ax = y. Por lo tanto, tiene que ser k x1 x1 k< .
7.2 Familia regulada de soluciones aproximadas
Tratemos de escoger un conjunto compacto al que pertenezca la funcion (x). Todo nuestro
razonamiento sera efectuado bajo la suposicion de que el nucleo es cerrado. Los problemas
sobre la existencia seran analizados posteriormente.
Consideraremos que C(a, b); es decir, al espacio normado de funciones continuas en (a, b) y
que f L2 [c, d]; es decir, al espacio normado y separable de las funciones cuadrado integrables
en [c, d].
Analizaremos el siguiente funcional:
Z d Z b 2
Q= K(x, s)(s)ds f (x) dx (7.4)
c a
Si logramos hallar una funcion (x) que realice el extremo de este funcional, esta sera la solucion
de la ecuacion integral de Fredholm de primer tipo (7.1).
Veamos el funcional auxiliar siguiente:

Ecuacion Integral de Fredholm de Primer Tipo 139
Z b
R= {p(s)[0 (s)]2 + q(s)2 (s)}ds (7.5)
a
donde p y q pertenecen a C(a, b) y veamos, ademas, el siguiente funcional:
L [, f ] = Q + R (7.6)
Si es pequena, el extremo del funcional (7.6) estara cercano al extremo del funcional (7.4);
es decir, a la solucion de la ecuacion (7.1). Las funciones (x) que realizan el extremo del
funcional L resultan una clase compacta de funciones a la cual pertenece (x). Existe una
teora para la solucion de las ecuaciones integrales de Fredholm de primer tipo que puede
resumirse en tres teoremas que, a continuacion, veremos.
7.2.1 Primer teorema de Tjonov
Teorema.
Para cualquier funcion continua f (x) y cualquier parametro > 0, existe una funcion unica
(x) que realiza el mnimo del funcional (7.6).
Demostracion:
La demostracion la dividiremos en varias partes:
1) Condicion necesaria de extremo.
Supongamos, inicialmente, que (x) existe y realiza el extremo del funcional (7.6); hallemos
la condicion de extremo. Para ello, veamos la familia uniparametrica de funciones:
y = (x) + (x) (7.7)
Entonces, sobre esa familia de funciones nuestro funcional:
l() = L [ + , f ] (7.8)
sera una funcion del parametro y si (x) nos da el extremo de (7.6), entonces, la funcion
(7.8) tendra un extremo para = 0. Por consiguiente, debera cumplirse que
l0 ()|=0 = 0 (7.9)
Calculemos (7.9). Tenemos que, integrando por partes:

Z d Z b Z b
0
l (0) = 2 K(x, s) (s)ds f (x) K(x, s)(s)ds dx +
c a a
Z b
+2 {p(s)0 (s) 0 (s) + q(s)(s)(s)}ds =
a
Z d Z b
2 [K(x, s) (s)ds f (x)] K(x, s)(s) dx + 2p(s)0 (s)(s)|ba +
c a
Z b
+2 [(p(s)0 (s))0 + q(s)(s)](s)ds = 0 (7.10)
a
Analicemos el primer sumando en (7.10). Tenemos, despues de varias operaciones simples:
Z d Z b Z b
2 K(x, s) (s)ds f (x) K(x, s)(s)ds dx =
c a a
Z d Z b Z b
0 0 0
= 2 K(x, s ) (s )ds K(x, s)(s)ds dx
c a a
Z d Z b
2 f (x) K(x, s)(s)ds dx =
c a
Z b Z b Z d
= K(x, s)K(x, s )dx (s0 ) (s)ds0 ds
0
a a c
Z b Z d
2 K(x, s)f (x)dx (s)ds =
a c
Z bZ b Z b
0 0 0
= H(s, s ) (s ) (s)ds ds 2 F (s)(s)ds (7.11)
a a a
donde hemos introducido la notacion:
Z d Z d
0 0
H(s, s ) = K(x, s)K(x, s )dx, F (s) = K(x, s)f (x)dx (7.12)
c c
Z b Z d
l0 (0)

0 0 0 0 0
= H(s, s ) (s )ds F (s) (p(s) (s)) q(s)(s) (s)ds +
2 a c
+2p(s)0 (s)(s)|ba = 0 (7.13)
Tomemos las funciones de forma tal que se anulen en los extremos del intervalo [a, b]. En-
tonces, de acuerdo con el Lema Fundamental del Calculo Variacional, de (7.13) concluimos que
la funcion que realiza el extremo del funcional (7.6) debe ser solucion de la ecuacion:
Z d
H(s, s0 ) (s0 )ds0 F (s) [(p(s)0 (s))0 q(s)(s)] = 0 (7.14)
c
2) Unicidad del problema de la ecuacion (7.14).
Haciendo f (x) 0, obtenemos para la funcion l() que
l0 (0) = 2L [, 0] = 0 (7.15)
de donde 0, por lo que la unicidad del problema no homogeneo queda demostrada.
3) Unicidad de la solucion.
Con ayuda de la funcion de Green invirtamos en (7.14) el operador diferencial. Se obtiene la

ecuacion:
Z b
1
(s) = D(s, s0 )(s0 )ds0 + d(s) (7.16)
a
donde
Z b Z b
0 0 1
D(s, s ) = G(s, t)H(s, s )dt, d(s) = G(s, t)F (t)dt (7.17)
a a
Esto significa que (7.14) es equivalente a la ecuacion integral de Fredholm de segundo tipo
(7.16). Como la ecuacion (7.14) homogenea solo tiene solucion trivial, por lo tanto, por la
teora de Fredholm, la ecuacion no homogenea tiene solucion unica.
4) Existencia de la funcion que realiza el extremo del funcional.
Tenemos que:
L [ + , f ] = L [, f ] + 2M [, , f ] + L [, 0] (7.18)
donde M es un funcional lineal respecto a y a y que es igual a cero por (7.14). Por
consiguiente:
L [ + , f ] > L [, f ] (7.19)
lo que significa que, efectivamente, realiza el extremo de L .
Demostrado el primer teorema de Tjonov.

Es conveniente destacar, resumidamente, lo logrado en la demostracion del primer teorema de

Tjonov. Con grandes calculos obtuvimos la condicion necesaria de extremo del funcional (7.6),
expresada por la ecuacion (7.14). A continuacion, demostramos que, si existe, es la unica
solucion de (7.14) y, por ultimo, demostramos la existencia de la solucion de (7.14) y, a la vez,
-como era de esperar, ya que (7.14) es la condicion necesaria de extremo del funcional (7.6)-
demostramos que esa solucion de (7.14) nos da el extremo (mnimo) del funcional (7.6).
7.2.2 Segundo teorema de Tjonov
Teorema.
Si a la funcion f0 (x) le corresponde una solucion continua y diferenciable de la ecuacion integral

de Fredholm de primer tipo (7.1), entonces, para cualquier > 0, existe una 0 > 0 tal que, si
0 < 0 < , se cumple que
|0 (s) 0 (s, )| < (7.20)
donde 0 (s, ) es la funcion que realiza el extremo del funcional
Z d Z b 2 Z b
L [, f ] = K(x, s)(s)ds f0 (x) dx + {p(s)[0 (s)]2 + q(s)2 (s)}ds (7.21)
c a a
Es decir, que si el extremo del funcional (7.21) es 0 (s, ), el teorema afirma la convergencia
uniforme de esta funcion, para 0, a la solucion de la ecuacion (7.1) de inhomogeneidad
f0 (x).
Demostracion:
Por hipotesis, la funcion 0 (s, ) realiza el extremo del funcional (7.21). Por lo tanto
Z b
L [0 (s, ), f0 ] L [0 (s), f0 ] = {p(s)[00 (s)]2 + q(s)20 (s)}ds C0 (7.22)
a
La primera integral del funcional se anula, ya que 0 (s) es solucion de la ecuacion (7.1); C0
es cierto numero. Veamos en el espacio de funciones con primera derivada continua C 0 (a, b) la
clase de funciones que satisfacen la condicion
Z b
{p[0 ]2 + q2 }ds C0 (7.23)
a
Demostremos que esta clase de funciones es compacta; es decir, que satisface el teorema de
Artzela. En otras palabras, hay que demostrar que esta clase de funciones es uniformemente
acotada y equicontinua; entonces, por el teorema de Artzela, sera compacta. Tenemos que, en
particular, se cumple de (7.23) que:
Z b
p[0 ]2 ds C0 (7.24)
a
Es decir:
Z b
C0
[0 (s)]2 ds C1 (7.25)
a min p(s)
Analogamente, se cumple que
Z b
C0
2 (s)ds C2 (7.26)
a min q(s)
Demostremos la equicontinuidad. Tenemos que
s2
Z
0

(s)ds = |(s2 ) (s1 )| (7.27)
s1
y, por la desigualdad de Cauchy-Buniakovsky:
Z Z 1/2
0 2
2
p
s2 [ (s)] ds s2 1 ds
C1 |s2 s1 | (7.28)
s1 s1
2
De (7.28), tomando |s2 s1 | < , donde = , obtenemos que
C1
Z 1/2
s2 Z s2
[0 (s)]2 ds

12 ds < (7.29)

s1 s1
y, con mayor razon aun:
|(s2 ) (s1 )| < (7.30)
con lo que queda demostrada la equicontinuidad. Demostremos, ahora, la acotacion uniforme.

En virtud de (7.26), existira un punto s0 [a, b] donde
r
C2
|(s0 )| (7.31)
ba
y como
p
|(s) (s0 )| C1 (b a) (7.32)
concluimos que
r
C2 p
|(s)| + C1 (b a) (7.33)
ba
La desigualdad (7.33) se cumple, simultaneamente, para toda s [a, b] y toda (s) de la clase
de funciones analizada. Por lo tanto, queda demostrada la acotacion uniforme. As pues, por el
teorema de Artzela la clase M de funciones es compacta en C 0 (a, b). Veamos, ahora, la funcion:
Z b
f0 (x, ) = K(x, s)0 (s, )ds (7.34)
a
donde 0 (s, ) es la extremal del funcional (7.21). Analicemos la norma en L2 de la diferencia

de (7.34) y f0 (x). Tenemos que, de acuerdo con (7.22):
k f0 (x, ) f0 (x) k2 L [0 (s, ), f0 ] C0 (7.35)
Por consiguiente, para 0, obtenemos que:
k f0 (x, ) f0 (x) k 0 (7.36)
Como para f y f pertenecientes a M1 tales que k f f k< corresponden y pertenecientes

a M1 tales que k k< , en virtud del teorema sobre la continuidad de la representacion
inversa de un conjunto compacto en un conjunto compacto, concluimos, por lo tanto, de (7.36)
que, para > 0, existe una 0 > 0 tal que, para tales que 0 < < 0 , se cumple que
k f0 (x, ) f0 (x) k< (7.37)
y, por consiguiente
k 0 (x, ) 0 (x) k< (7.38)
Demostrado el segundo teorema de Tjonov.
Como consecuencia daremos la siguiente definicion.
Definicion.
Se llama familia regulada de soluciones aproximadas a aquella familia de funciones para

las cuales se cumple que:
1. (s, ) M para (s) M .
2. f (x, ) f (x) para 0 en L2 (es decir, convergencia en media).
Entonces, para la familia regulada, de acuerdo con el primer y segundo teorema de Tjonov, se
cumple la convergencia uniforme:
(s, ) (s), 0
Es decir, el primer y segundo teorema de Tjonov dan como conclusion que el problema extremal
para el funcional (7.6) nos da la familia regulada de soluciones aproximadas.
7.2.3 Tercer teorema de Tjonov
Teorema.
Supongamos que a f0 (x) le corresponde una solucion continua y diferenciable 0 (s) de la

ecuacion integral de Fredholm de primer tipo
Z b
K(x, s)(s)ds = f (x) (7.39)
a
Entonces, para cualquier > 0 y cualesquiera 2 > 1 > 0, existe una 0 (, 2 , 1 , f0 ) > 0 tal
que si
k f1 (x) f0 (x) kL2 < (7.40)
donde 0 < < 0 , se cumple que
k 1 (s, x) 0 (x) k< (7.41)
para todo
2
1 < < 2

Demostracion:
Tenemos que:
L [1 (s, ), f1 (x)] L [0 (s), f1 (x)]

Z d Z b
2
[f0 (x) f1 (x)] dx + {p(s)[00 (s)]2 + q(s)20 (s)}ds
c a
2 + C0 (2 + C0 ) (7.42)
Veamos la clase M de funciones que satisface la condicion
Z b
{p[0 ]2 + q2 }ds 2 + C0 (7.43)
a
Es evidente que esta clase es compacta. Si a la clase M le ponemos en correspondencia la clase

M1 , podemos decir que para > 0, existe una 0 (, 2 , f0 ) > 0 tal que, para f M1 , f M1 y
M , M , si
k f f k< 0 (7.44)
se cumple que
k k< (7.45)
Comparemos, ahora, la cercana. Tenemos:
k f1 (x, ) f0 (x) kk f1 (x, ) f1 (x) k + k f1 (x) f0 (x) k

r
p
+ (2 + C0 ) 1 + (2 + C0 )
2
s !
2 + C0
1+ < 0 (, 2 , f0 ) (7.46)
1
donde hemos supuesto
0 (, 2 , f0 )
0 (, 2 , 1 , f0 ) = q (7.47)
1 + 2 +C 1
0
Por consiguiente,
k 1 (s, x) 0 (s) k<
Es decir, efectivamente, se cumple (7.41).
Demostrado el tercer teorema de Tjonov.
Notese que en la base de la demostracion de este teorema esta el hecho siguiente.
Por la desigualdad del triangulo tenemos que:
|1 (s, x) 0 (s)| |1 (s, x) 0 (s, )| + |0 (s, x) 0 (s)| (7.48)
Para valores de grandes, el primer sumando a la derecha de (7.48) es estable y pequeno por
el teorema del problema extremal, en tanto que el segundo sumando es inestable (grande).
Al disminuir , el segundo sumando es mas estable y tiende a cero para 0; sin embargo,
el primer sumando se hace inestable.
Es decir, el parametro juega el papel de regularizador; hay que elegirlo ni muy grande (en tal
caso converge el primer sumando y diverge el segundo), ni muy pequeno (converge el segundo
y diverge el primero), sino que hay que elegirlo dentro del diapason dado por la relacion
2
1 < < 2 (7.49)

Este tercer teorema de Tjonov afirma lo siguiente:
Tenemos que resolver la ecuacion (7.39) con inhomogeneidad igual a f0 (x).
En su lugar resolvemos la ecuacion con f1 (x) por el metodo de hallar la extremal 1 (s, ) del
operador L descrito en el primer y segundo teorema de Tjonov.
Este tercer teorema de Tjonov afirma que esta funcion 1 (s, ) es cercana a la solucion real
0 (s) para valores cercanos entre s de las inhomogeneidades f1 (x) y f0 (x), respectivamente,
para cierto diapason del parametro .
Este resultado es muy importante, ya que en los problemas fsicos muy a menudo no se conoce la
forma exacta de la funcion f0 (x) y en su lugar solo nos es factible conocer su forma aproximada
f1 (x).
Captulo 8
Ecuaciones Integrales entre Lmites

Infinitos con Nucleos que dependen de
la Diferencia de Variables
En el presente captulo estudiaremos, brevemente, el caso particular de ecuaciones integrales

de Fredholm de segundo tipo entre lmites infinitos con nucleos que dependen de la diferencia
de variables, las cuales tienen gran aplicacion en distintas ramas de la Fsica Teorica, la teora
de dispersion y otras.
8.1 Propiedades del operador integral entre lmites in-

finitos con nucleo dependiente de la diferencia de
variables
La ecuacion integral a cuyo estudio nos dedicaremos ahora tiene la forma:
Z
(x) = K(x s)(s)ds + f (x) (8.1)

donde suponemos que el nucleo es una funcion continua y acotada en todo el eje y cumple que
Z
|K(x)|dx = M < , |K(x)| < m (8.2)

Para las ecuaciones del tipo (8.1) la teora de Fredholm desarrollada en el Captulo 5 no es
aplicable, ya que en la expresion del determinante de Fredholm:
149

2
Z Z Z
K(t1 , t1 ) K(t1 , t2 )
D() = 1 K(t1 , t1 )dt1 +
K(t2 , t1 ) K(t2 , t2 )
dt1 dt2 + ... (8.3)
2

las integrales divergen. Nosotros aqu trabajaremos en el espacio funcional {(x)} con x
(, ), donde (x) son funciones acotadas, continuas y con norma dada por
k k= sup |(x)| (8.4)
En semejante espacio, el operador integral de la ecuacion (8.1) es continuo, pero no completa-

mente continuo y, por lo tanto, la alternativa de Fredholm no es aplicable.
Recordemos que un operador A es continuo si, para > 0, existe una > 0 tal que k x1 x2 k<
implica que k y1 y2 k=k A(x1 x2 ) k< y es completamente continuo si representa un conjunto
acotado en un conjunto compacto. Es facil constatar que nuestro operador es acotado.
Efectivamente:
Z
k A kk k |K(x s)|ds = M k k (8.5)

Para los nucleos iterados es facil comprobar el mismo hecho. Tenemos:
Z Z
K2 (x, s) = K(x t)K(t s)dt K(x s )K( )d K2 (x s) (8.6)

Por consiguiente, de acuerdo con (8.2):

Z Z

|K2 (t)| = K(t )K( )d |K(t )K( )|d mM (8.7)

Ademas:
Z Z
Z Z Z

|K2 ( )d =
K(t )K( )d dt
|K(t )K( )|d dt =

Z Z
= |K( )| |K(t )|dt d = M 2 (8.8)

De manera totalmente similar, podemos garantizar para el nucleo iterado de orden n que:
Z
n
k A k |Kn (t)|dt M n , |Kn (x, s)| nM n1 (8.9)

Ecuaciones Integrales entre Lmites Infinitos 151
Es decir, los nucleos iterados y la norma del operador iterado son, tambien, acotados. De esta
forma, podemos garantizar la existencia de la resolvente

X
R(t, ) = n1 Kn (t) (8.10)
n=1
dentro del crculo de convergencia.
8.2 Autofunciones de la ecuacion homogenea
Busquemos la solucion de la ecuacion integral
Z
(x) = K(x s)(s)ds (8.11)

en la forma
(x) = eix (8.12)
Haciendo el cambio de variables t = x s, obtenemos, despues de sustituir (8.12) en (8.11):
Z
ix
e = K(t)ei(xt) dt = eix K() (8.13)

donde
Z
K() = K(t)eit dt (8.14)

es la transformada de Fourier del nucleo K(t) de la ecuacion integral (8.11).
Por consiguiente, obtenemos que los autovalores de la ecuacion (8.11) vienen dados por el
conjunto de valores de la funcion
1
() = (8.15)
K()
Para un parametro fijo en la ecuacion (8.11), la ecuacion () = tiene, en general, varias

races k .
Ello significa que existen varias autofunciones de la ecuacion integral (8.11).

Es logico preguntarse si existen, acaso, otros puntos del espectro del operador. La respuesta es
negativa y lo veremos mas adelante.
8.3 Solucion de la ecuacion no homogenea
Para hallar la solucion de la ecuacion integral no homogenea
Z
(x) = K(x s)(s)ds + f (x) (8.16)

multipliquemos (8.16) por eix e integremos entre e . Obtenemos:
() = f () + I() (8.17)
donde, en general, como funcion dependiente de representamos a la transformada de Fourier

de la funcion en x:
Z
u() = u(x)eix dx (8.18)

I() es la transformada de Fourier de la integral:
Z Z
ix
I() = e K(x s)(s)ds dx K()() (8.19)

por el teorema de la convolucion de la transformada de Fourier.
Por consiguiente, de (8.17) y (8.19), obtenemos:
f ()
() = (8.20)
1 K()
As pues, la solucion de la ecuacion (8.16) viene expresada por la formula:
Z
1 f ()d
(x) = eix (8.21)
2 1 K()
donde hemos hecho uso de la expresion de la transformada inversa de Fourier. Las condiciones
de desarrollo de las funciones f y K en integral de Fourier y de integrabilidad absoluta de estas
funciones son suficientes para demostrar que (x) es solucion de (8.16). En cada caso particular
esto se puede comprobar.
Transformemos la formula (8.21) en una expresion mas comoda de analizar; despues de ello,
las condiciones seran impuestas solo a la funcion K. Tenemos, colocando (8.21) en (8.16):
Z Z
is f ()d
(x) = f (x) + K(x s) e ds =
2 1 K()
Z Z
f () is
= f (x) + e K(x s)ds d (8.22)
2 1 K()
En la integral entre llaves a la derecha de (8.22) hagamos t = x s. Entonces:
Z Z
is
e ix
K(x s)ds = e eit K(t)dt eix K() (8.23)

Sustituyendo (8.23) en (8.22), obtenemos, finalmente:
Z
(x) = f (x) + R(x s, )f (s)ds (8.24)

donde

eit
Z
1
R(t, ) = d (8.25)
2 ()
expresion en la que hemos tenido en cuenta (8.15) del epgrafe anterior.
En esta forma de expresar la solucion nos interesan, solamente, las propiedades de R(t, ). Las
condiciones de desarrollo de K(t) en integral de Fourier y de integrabilidad absoluta de K()
son suficientes para garantizar que (8.24) es solucion de la ecuacion (8.16).
A modo de ejemplo ilustrativo, veamos el caso en que el nucleo de la ecuacion (8.16) tiene la
forma:
K(t) = e|a|t (8.26)
Es facil calcular que
2a
K() = (8.27)
a2 + 2
y, por consiguiente
1 a2 + 2
() = = (8.28)
K() 2a
Por lo tanto, la ecuacion = () tiene por races:

= 2a a2 (8.29)
a
Figura 8.1: Plano con corte a partir del punto 2
De aqu que el conjunto espectral existe para a/2. La resolvente sera, de (8.25):

eit eit d
Z Z
1 a
R(t, ) = d = (8.30)
2 () a2 + 2 2a
Para calcular (8.30) con la ayuda de residuos, consideremos y complejos. En el plano con
un corte efectuado a partir del punto = a/2 de ramificacion de la funcion (8.29), (fig. 8.1) es
decir, tomando como corte el conjunto espectral , quedara definida la rama univaluada

1 = 2a a2 (8.31)
de la funcion (8.29), para la cual Im > 0. Por consiguiente, la funcion (8.31) representa todo
el plano en el semiplano superior de . En el plano los puntos 1 y 1 (fig. 8.2) son
races del divisor de (8.30).
Figura 8.2: Races del divisor
Por lo tanto, considerando la integral para t 0 (para t < 0 cerramos por debajo, de acuerdo
con el lema de Jordan), obtenemos:

eit d
it
ei1 t
Z
a a e
= 2i Res , 1 = 2a (8.32)
2 (2a a2 ) 2 12 21
Por consiguiente, para toda t:

2
aei 2aa |t|
R(t, ) = (8.33)
2a a2
De la formula (8.25) se ve claro que si no pertenece al conjunto espectral , lo que significa que
la ecuacion homogenea (8.11) solo tiene solucion trivial, entonces, la ecuacion no homogenea
(8.16) tiene solucion unica, dada por la formula (8.24), donde la resolvente se expresa por (8.25).
Esta afirmacion es equivalente al primer teorema de Fredholm.
Por otra parte, para los valores del espectro , la ecuacion homogenea, de acuerdo con lo visto
en el epgrafe anterior, tiene solucion no trivial (autofunciones), lo que equivale al segundo
teorema de Fredholm para nuestro caso.
Veamos, ahora, cual es la situacion analoga al tercer teorema de Fredholm en el caso de la

ecuacion (8.16).
De la expresion (8.20) se ve que si y si el numerador f () tiene un cero del mismo orden

que el denominador 1 K() en aquellos puntos donde el denominador es cero, entonces,
existira la solucion.
Es decir, la condicion suficiente para la existencia de la solucion de la ecuacion (8.16) en el caso

en que es que
Z
f (k ) eik x f (x)dx = 0 (8.34)

que puede interpretarse como la ortogonalidad de estas funciones.
Por consiguiente, la condicion suficiente para hallar la solucion de la ecuacion integral no

homogenea (8.16), si pertenece al conjunto espectral de autovalores de la correspondiente
ecuacion homogenea, es la ortogonalidad (8.34) de la inhomogeneidad con las autofunciones
conjugadas.
Veamos esto mas detenidamente. Para ello, analicemos los graficos de las funciones K() y
(), a los que supondremos la forma presentada en la figura 8.3 (a) y (b).
Introduzcamos la notacion m = 1/Kmax .
Para cualquier valor () > m corresponden dos valores de .
Veamos como varan estos valores de si vara.
Para ello, tengamos en cuenta la dependencia funcional inversa = () y para un autovalor

dado 0 , llamemos 0 = (0 ). Con ayuda del desarrollo de Taylor podemos escribir que
() (0 ) + 0 (0 ) (8.35)
Pero, de acuerdo con (8.15), tendremos que:
d K 0 ()
= 2 (8.36)
d K ()
Figura 8.3: Graficos de K() y ()
Por consiguiente:
K 2 (0 )
0 (0 ) = (8.37)
K 0 (0 )
Colocando esta expresion (8.37) en (8.35), nos queda:
K 2 (0 )
() = (0 ) (8.38)
K 0 (0 )
Hagamos una prolongacion analtica al plano complejo , considerando
= 0 + i, = i, > 0 (8.39)
Entonces, en el plano complejo , las dos races 0 y 0 , que estan originalmente sobre el
eje real de dicho plano, se desplazan como se indica en la figura 8.4(b). En la figura 8.4(a) se
muestra el plano .
Figura 8.4: Prolongacion al plano complejo
Esto significa -pues > 0- que si nos acercamos al punto 0 en el plano complejo desde el
semiplano superior (lo que se indica en la figura 8.4(a) con una flecha), los puntos en el plano
complejo , que se encuentran desplazados segun se muestra en la figura 8.4(b), se acercaran
al eje real por debajo y por encima, respectivamente.
Todo lo dicho queda claro, si observamos el grafico de K() en la figura 8.3(a). En ella, para
0 > 0, tenemos K 0 (0 ) < 0 y, de (8.38), por lo tanto
K 2 (0 )
() = 0 + i (8.40)
|K 0 (0 )|
Es decir, el desplazamiento es hacia arriba (Fig. 8.4(b)).
Si 0 < 0 la situacion se invierte, ya que, en ese caso, K 0 (0 ) > 0 y, por tanto, el desplazamiento
es hacia abajo.
Para este desplazamiento, logrado con la prolongacion analtica descrita, la solucion de la

ecuacion integral vendra dada por la transformada inversa de Fourier:
Z
1
(x, ) = eix (, )d (8.41)
2
Esta solucion corresponde a = 0 + i, ( > 0).
Veamos a donde tiende esta integral, para 0. Para ello, analicemos la integral siguiente:
Z
1
+ (x, 0 ) = eix (, 0 )d (8.42)
2 C+
donde el contorno de integracion C+ en el plano complejo es el mostrado en la figura 8.5.
Figura 8.5: Contorno de integracion en el plano complejo
Esta integral no vara para 0, pues los puntos desplazados tienden a los puntos 0 y 0
del eje real, como indican las flechas en la figura 8.5 y su valor se calculara, teniendo en cuenta
el lema de Jordan, por el residuo en el punto desplazado al semiplano superior (en este caso,
0 ) si x > 0 y por el residuo en el punto desplazado al semiplano inferior (0 ) si x < 0.
Si, ahora, el desplazamiento de es efectuado al semiplano inferior (es decir, si tomamos < 0),
entonces, se invertira el desplazamiento de los puntos 0 y 0 , de manera que, analizando la
integral
Z
1
(x, 0 ) = eix (, 0 )d (8.43)
2 C
por el contorno dibujado en la figura 8.6, tendremos, por el lema de Jordan, que ella sera
calculada por el residuo en el punto desplazado al semiplano superior, que en este caso sera
0 , para x > 0 y, para x < 0, tendremos que tomar el residuo en 0 .
Figura 8.6: Contorno de integracion en el plano complejo
La diferencia de (8.42) y (8.43) nos dara la solucion general de la ecuacion homogenea.
Analicemos, ahora, la funcion

Z
+ (x, 0 ) + (x, 0 ) 1
0 (x, 0 ) = = eix (, 0 )d (8.44)
2 2
donde hemos tomado el lmite, para cuando el radio de las semicircunferencias en las figuras
8.5 y 8.6 tiende a cero (es decir, tomamos la integral por el eje real en el sentido de su valor
principal).
Esta funcion (8.44) sera la solucion particular de la ecuacion no homogenea.
Si 0 tiene races multiples, todo el analisis efectuado se complica y hay que establecer mayores
exigencias a las funciones K() y f (). No realizaremos este analisis aqu.
Para la resolvente, el analisis es similar. Teniendo en cuenta (8.25), tendremos:
Z
1
R(x, ) = eix R(, 0 )d (8.45)
2
donde
1 K()
R(, ) = (8.46)
() K()
Al hacer la prolongacion analtica al plano complejo , tambien se obtienen dos resolventes,

R+ y R y todo el procedimiento anteriormente expuesto se repite.
Hagamos los calculos arriba indicados en el ejemplo siguiente. Resolvamos la ecuacion:
Z
(x) = ea|xs| (s)ds + ea|x| (8.47)

En esta ecuacion el nucleo es el analizado en el ejemplo anterior; ademas, la inhomogeneidad

tiene esa misma forma. Por lo tanto:
2a
K() = f () = (8.48)
a2 + 2
Los graficos de K() y () se muestran en la figura 8.7 (a) (b). Aqu tendremos:
f () 2a
(, ) = = 2 (8.49)
1 K() (2a a2 )
K() 2a
R(, ) = = 2 (8.50)
1 K() (2a a2 )
Figura 8.7: K() y () para la ecuacion no homogenea
o sea, la misma expresion de la transformada, por lo que sus transformadas inversas seran
iguales. Para () tendremos:

() = 2a a2 (8.51)
Consideremos que 0 < arg (2a a2 ) < 2. Entonces, se obtiene, en general:
2aeix
Z
1
+ (x, ) = R+ (x, ) = d (8.52)
2 C+ 2 (2a a2 )
Calculando los residuos, segun los casos x > 0 y x < 0, obtenemos:

2aei()x
+ (x, ) = i , x > 0
2()
2aei()x
+ (x, ) = i , x < 0 (8.53)
2()
Es decir, finalmente:

2aa2 |x|
ei
+ (x, ) = ia (8.54)
2a a2
De forma totalmente analoga se obtiene:

2
ei| 2aa ||x|
(x, ) = ia (8.55)
| 2a a2 |
Estos valores son identicos para R+ (x, ) y R (x, ), respectivamente. Entonces, de acuerdo
con (8.44), tendremos:
a
0 (x, ) = sin[| 2a a2 ||x|] (8.56)
| 2a a2 |
que sera la solucion particular de la ecuacion homogenea.
Ademas, para la solucion general de la ecuacion homogenea, tendremos:
+ ia
= cos[| 2a a2 ||x|] (8.57)
2 | 2a a2 |
Por consiguiente, la solucion general de la ecuacion no homogenea (8.47) de nuestro ejemplo

tendra la forma:

(x, ) = 0 (x, ) + A() cos[| 2a a2 ||x|] + B() sin[| 2a a2 ||x|] (8.58)
De esta manera, damos fin a la ampliacion de la teora de ecuaciones integrales abordada en

este libro.
Es conveniente destacar que, con ello, no se agota ni con mucho la teora de ecuaciones integrales;
simplemente, hemos presentado algunos de los aspectos mas relevantes de la misma.
El lector interesado en ampliar y profundizar en este tema, debe remitirse a la literatura espe-
cializada sobre el mismo.
Captulo 9
El Metodo de Wiener-Hopf (Metodo

de Factorizacion)
El Metodo de Wienner-Hopf es un metodo de amplio uso para resolver ecuaciones integrales y

problemas de frontera de la Fsica Matematica con ayuda de la transformada de Laplace, de
Fourier y otras. Su primera aplicacion se hizo en un trabajo conjunto de N. Wienner y E. Hopf
en el ano 1931 relacionado con la solucion de ecuaciones integrales con nucleo dependiente de
la diferencia de sus argumentos en el semieje (0, ), es decir, del tipo
Z
(x) = K(x s)(s)ds + f (x)
0
Ha sido muy utilizado en problemas de difraccion, de la teora de elasticidad, de conduccion

del calor, de transporte, etcetera.
V.A. Fok hizo una importante contribucion al desarrollo de metodos generales de solucion de
este tipo de ecuaciones (V.A. Fok, Sobre algunas ecuaciones integrales de la Fsica Matematica,
Cuadernos de Matematica 14 (en ruso), (1944)).
9.1 Conceptos iniciales
Partamos de lo visto en el Captulo anterior, aunque haremos algunas modificaciones para

lograr una prolongacion mas consecuente y facil al plano complejo sin perder generalidad, ni
rigor.
Supongamos que tenemos la ecuacion (8.1) del Captulo anterior:
Z
(x) = K(x s)(s)ds + f (x) (9.1)

165
R R
Para valores reales de y las condiciones
|f (x)|2 dx < A,
|K(x)|2 dx < 1, esta ecuacion
tiene solucion unica.
Definamos la transformada de Fourier as:
Z Z
1 1
U (k) = u(x)e ikx
dx u(x) = U (k)eikx dx (9.2)
2 2
Esta definicion tambien es valida, pues en definitiva la transformada de Fourier sale de la

integral de Fourier
Z Z
1
u(x) = u(s)eik(sx) dsdk =
2
Z Z Z
1 1 ikx 1
= iks
u(s)e ds e dk U (k)eikx dk (9.3)
2 2 2
La constante de normalizacion se puede colocar en cualquier sitio de la ecuacion: es indiferente.
Aceptada esta definicion, apliquemos la transformada de Fourier a la ecuacion
Z Z
ikx
(k) = e K(x s)(s)dsdx + F (k) (9.4)
2
Calculemos:
Z Z Z Z
ikx iks
e K(x s)(s)dsdx = (s) K(x s)e dx ds =
2 2
= {y = x s} =
Z Z Z Z
ik(y+s) iks
(s) K(y)e dy ds = (s)e K(y)eiky dy =
2 2

= 2(k) 2K(k) = 2(k)K(k) (9.5)
2
As,

(k) = 2(k)K(k) + F (k) (9.6)
De aqu,
F (k)
(k) =
1 2K(k)
El Metodo de Wiener-Hopf (Metodo de Factorizacion) 167
por tanto,

F (k)eikx
Z Z
1 ikx 1
(x) = (k)e dk = dk (9.7)
2 2 1 2K(k)
Notese que es lo mismo que en el Captulo anterior, con ligeras variaciones.
Escribamos (9.6) as:
F (k)K(k)
(k) F (k) = 2 = 2R(k)F (k) (9.8)
1 2K(k)
donde
K(k)
R(k) = (9.9)
1 2K(k)
y por tanto,
Z
(x) = f (x) + R(x s)f (s)ds (9.10)

donde
Z
1
R(x) = R(k)eikx dk (9.11)
2
Hasta aqu todo es igual al Captulo anterior, aunque se haya empleado otra forma de definir
la transformada de Fourier.
Los resultados deben ser iguales, con tal de que se respete en todo momento el convenio inicial.
Se puede comprobar facilmente que para el ejemplo del Captulo anterior
Z
(x) = K(x s)(s)ds + f (x) (9.12)

con K(x) = ea|x| , se obtiene la misma expresion de la solucion
Z
a a2 2a
(x) = f (x) + e|xs| f (s)ds (9.13)
a2 2a
con < a/2.

O sea, para las ecuaciones entre lmites infinitos podemos trabajar con transformadas de Fourier
y con las restricciones adecuadas a las funciones, obtener las soluciones.
Vamos ahora a tratar de trasladar estos metodos a ecuaciones en el semieje:
Z
(x) = K(x s)(s)ds + f (x) (9.14)
0
Para ello, estudiaremos la transformada de Laplace como funcion de variable compleja y sus
propiedades analticas.
9.2 Propiedades analticas de la transformada de Fourier
Para f (x) definida para < x < , su transformada de Fourier es
Z
1
F (k) = f (x)eikx dx (9.15)
2
Supongamos a k compleja, y veamos las propiedades de F (k) como funcion de variable compleja.
Para ello escribamos f (x) = f (x) + f+ (x), con
f+ (x) = f (x), x > 0

f+ (x) = 0, x < 0 (9.16)
f (x) = 0, x > 0
f (x) = f (x), x < 0 (9.17)
Entonces,
Z 0 Z
1 ikx 1
F (k) = f (x)e dx + f+ (x)eikx dx = F (k) + F+ (k) (9.18)
2 2 0
Veamos
Z
1
F+ (k) = f+ (x)eikx dx (9.19)
2 0
Sea
|f+ (x)| < M e x (9.20)
para x . Entonces, si representamos k = k1 + ik2 , tenemos:

Z Z Z
e(k2 )x dx =
ikx
ik1 xk2 x

f+ (x)e dx |f+ (x)||e |dx < M
0 0 0
M M
= e(k2 )x |0 = < (9.21)
k2 k2
para k2 > 0, o sea, Im k > .
Por lo tanto, F+ (k) es analtica para Im k > y F+ (k) 0, k en ese dominio. Nos
preguntamos ahora como hallar f+ (x) a partir de F+ (k).
Recordemos la transformada de Laplace:
Z Z a+i
px 1
F (p) = f (x)e dx; f (x) = F (p)epx dp (9.22)
0 2i ai
lo que equivale a que integramos por una recta paralela al eje Im p que pasa por el punto
Re p = a.
Hagamos el cambio de variables p = ik lo que equivale a k = ip
Entonces tendremos
Z
F (ik) = f+ (x)eikx dx F+ (k) (9.23)
0
y, por tanto,
Z +ia Z +ia
1 ikx 1
f+ (x) = F (ik)e (idk) F+ (k)eikx dk (9.24)
2i +ia 2 +ia
Por consiguiente, como F+ (k) es analtica para Im k > , para hallar la antitransformada inte-
gramos por cualquier recta paralela al eje real contenida en el semiplano superior de analiticidad.
1 1 , 1 .
En vez de 2
pondremos 2
ya que en la transformada directa utilizamos 2
As pues,
Z +ia
1
f+ (x) = F+ (k)eikx dk (9.25)
2 +ia
con a > .
Debemos observar que si < 0, entonces f+ (x) es decreciente exponencialmente para el semieje
positivo, y viceversa. O sea, existe su transformada con k real, el dominio de analiticidad
contiene al eje real y podemos integrar por el eje real, con a = 0 y la formula que se obtiene es
la habitual.
Pero si > 0 (o sea, f+ (x) crece exponencialmente para el semieje positivo), entonces el
dominio de analiticidad no contiene al eje real y por tanto no existe F+ (k) con k real, pero s
existe con k complejo, y f+ (x) se halla por la formula obtenida.
Esto, por tanto es una prolongacion de la transformada de Fourier al plano complejo k que
permite extender su uso a funciones no integrables absolutamente en el eje real.
De manera analoga, sea
|f (x)| < M e+ x (9.26)
para x .
Su transformada de Fourier
Z 0
1
F (k) = f (x)eikx dx (9.27)
2
es analtica para Im k < + y
Z +i
1
f (x) = F (k)eikx dk (9.28)
2 +i
con < + . El razonamiento que sigue es igual al anterior: si + > 0, el dominio de analiticidad
de F (k) contiene al eje real, pero si + < 0 (o sea, f (x) crece exponencialmente), entonces no
lo contiene y por tanto s existe F (k) de variable compleja, pero no existe F (k) de variable
real.
Supongamos ahora que + > . Entonces la funcion
Z 0
1
F (k) = f (x)eikx dx (9.29)
2
es analtica respecto a k compleja en la franja < Im k < + , que puede contener o no al eje
Re k (en dependencia de los signos de y de + ).
Entonces,
Z +i
1
f (x) = F (k)eikx dk (9.30)
2 +i
con < < + en la franja de analiticidad.
En el Captulo anterior vimos el ejemplo K(x) = ea|x| . A la luz de lo visto ahora, su transfor-
mada de Fourier
1 1
F (k) =
2 a + k 2
2
es analtica en la franja a < Im k < a (que contiene al eje real, pues K(x) es decreciente
exponencialmente, lo que implica que existe la transformada en el sentido antiguo).
9.3 Ecuaciones integrales en el semieje con nucleos de-

pendientes de la diferencia
Sea inicialmente la ecuacion homogenea
Z
(x) = K(x s)(s)ds (9.31)
0
Introduzcamos
(x) = (x), x < 0

(x) = 0, x > 0 (9.32)
+ (x) = 0, x < 0
(x) = (x), x > 0 (9.33)
por lo que (x) = (x) + + (x). La ecuacion queda:
Z
(x) = K(x s)+ (s)ds, x < 0 (9.34)
0
Z
+ (x) = K(x s)+ (s)ds, x > 0 (9.35)
0
que sumadas dan
Z
(x) + + (x) = K(x s)+ (s)ds, x (9.36)
0
O sea, + (x) es solucion de la ecuacion integral, y (x) se expresa a traves de ella. Supongamos
que
|K(x)| < M e x , x (9.37)
|K(x)| < M e+ x , x (9.38)
con < 0 y + > 0. Entonces,
Z
1
K(k) = K(x)eikx dx (9.39)
2
es analtica en la franja < Im k < + . Busquemos la solucion de la ecuacion homogenea

inicial que cumpla
|+ (x)| < M1 ex , x (9.40)
con < + .
Entonces tenemos:

Z Z

K(x s)+ (s)ds |K(x s)||+ (s)|ds = {y = x s} =
0 0
Z
|K(y)||+ (x y)|dy =
Z xx Z x
M M1 (+ )y x
= |K(y)||+ (x y)|dy < M M1 e x
e(+ )y dy = e | =
+
M M1 x + x x
= (+ > 0) = e e e (9.41)
+
As pues para el semieje negativo

| (x)| < M2 e+ x , x (9.42)
Aplicando la transformada de Fourier a + (x) y (x) tendremos
Z
1
+ (x) + (k) = + (x)eikx dx (9.43)
2 0
que es analtica para Im k > ,
Z 0
1
(x) (k) = (x)eikx dx (9.44)
2
que es analtica para Im k < + .
Como < + , entonces hay una franja ( < Im k < + ) donde + (k) y (k) son a la vez
analticas.
Apliquemos ahora a nuestra ecuacion (9.36) la transformada de Fourier:

+ (k) + (k) = 2K(k)+ (k) (9.45)
as,

[1 2]+ (k) + (k) = 0 (9.46)
Llegamos a una ecuacion algebraica con dos incognitas:
L(k)+ (k) + (k) = 0 (9.47)
Veamos en que consiste el Metodo de Wiener-Hopf. Supongamos que podemos hacer
L+ (k)
L(k) = (9.48)
L (k)
A esto se llama factorizar. Desarrollando:
L+ (k)+ (k) = L (k) (k) = Pn (k) (9.49)
donde L+ (k)+ (k) es analtica en el semiplano Im k > y L (k) (k) es analtica en el

semiplano Im k < + , por lo que existe una franja comun de analiticidad < Im k < + en la
que ambas funciones son iguales.
Por el teorema de unicidad de las funciones analticas, existe una sola funcion entera que coincide
con ellas en la franja y con cada una por separado en los semiplanos respectivos: Pn (k).
Esta funcion crece para k igual que lo hacen L+ (k)+ (k) y L (k) (k). Entonces,
Pn (k) Pn (k)
+ (k) = ; (k) = (9.50)
L+ (k) L (k)
Se halla la antitransformada, y el problema queda resuelto.
La solucion dependera de constantes arbitrarias que se pueden hallar a partir de las condiciones
del problema en cuestion.
Ejemplo
Sea la ecuacion
Z
(x) = e|xs| (s)ds (9.51)
0
El nucleo es e|x| . Ya sabemos que
1 2
K(k) = 2
(9.52)
2 k + 1
As,
1 2 2 k 2 2 + 1
L(k) = 1 2 = 1 = =
2 k 2 + 1 k2 + 1 k2 + 1
k2 2+1
k+i L+ (k)
= (9.53)
ki L (k)
O sea, factorizamos as:
k 2 (2 1)
L+ (k) = (9.54)
k+i
2
un cero en k = (2 1) y es analtica univaluada y diferente de cero para Im k >
tiene
Im 2 1.

Para 0 < < 21 esta region se define por la condicion Im k > 1 2 con 1 2 < 1.
Para > 12 L+ (k) es analtica y diferente de cero para Im k > 0. (Tiene un polo en k = i,
pero queda fuera del semiplano donde es univaluada).
L (k) = k i (9.55)
tiene un cero en k = i, por lo que es analtica univaluada y diferente de cero para Im k < 1 (o
sea, logramos determinar ese semiplano de analiticidad para ella).
La franja comun de analiticidad de L+ (k) y L (k), univaluadas y diferentes de cero, es <

Im k < 1 para 0 < < 21 .
1
En el caso en que > 2
el dominio comun de analiticidad de L+ (k) y L (k) es la franja
0 < Im k < 1.
As las cosas, hemos logrado la factorizacion necesitada de la funcion L(k) dada en la ecuacion
(9.53).
Tenemos ahora que
k 2 (2 1)
+ (k)L+ (k) = + (k) (9.56)
k+i
Igual,
(k)L (k) = (k)(k i) (9.57)
Como + (k) tiende a cero cuando k , en tanto L+ (k) dada por (9.54) tiende a como
k 1 cuando k , conclumos que la funcion entera que coincide con ambas en la franja en
este caso es un polinomio de grado cero (Pn (x) = C). Por tanto
+ (k)L+ (k) = C (9.58)
de donde
k+i
+ (k) = C (9.59)
k2 2 + 1
por lo que
Z +i
C k+i
+ (x) = eikx dk (9.60)
2 +i k2 (2 1)
para < < 1.
Aplicando residuos cerramos el contorno por debajo para que se cumplan los requisitos del
Lema de Jordan,
ya que x > 0 y obtenemos (los dos polos simples estan sobre el eje Re k y son
iguales a 2 1):

i
C k+i ikx
h
+ (x) = 2i Res 2 e , 2 1 + Res ..., 2 1 =
2 k (2 1)

2 1 + i ix21 2 1 + i ix21
= C 2i e + e =
2 2 1 2 2 1
" #
1 ix21 1 eix 21 1 ix21 1 eix 21
= iC 2 e + e + (9.61)
2 2i 2 1 2 2i 2 1

Finalmente, haciendo D = iC 2, obtenemos:

sin x 2 1
+ (x) = D cos x 2 1 + (9.62)
2 1
(x) se calcula a partir de + (x).
Observemos que para 0 < < 12 esta solucion crece exponencialmente con x y que para
1
2
< < es acotada en el infinito.
Conclusion:
La idea central del Metodo de Wiener-Hopf es representar la ecuacion algebraica
L(k)+ (k) + (k) = 0 (9.63)
con ayuda de la factorizacion en forma de la funcion entera
L+ (k)+ (k) = L (k) (k) (9.64)
9.4 Esquema general del Metodo de Wiener-Hopf
Supongamos que de alguna manera llegamos a la siguiente ecuacion mas general:
A(k)+ (k) + B(k) (k) + C(k) = 0 (9.65)
donde A(k), B(k) y C(k) son funciones conocidas de la variable compleja k en la franja <
Im k < + , y A y B son diferentes de cero en dicha franja.
Supongamos posible la factorizacion

A(k) L+ (k)
= (9.66)
B(k) L (k)
(llamada primera factorizacion), donde L+ (k) es analtica y diferente de cero en Im k > 0 y

L (k) es analtica y distinta de cero en Im k < +0 , de forma tal que las franjas < Im k < +
y 0 < Im k < +0 tengan una parte comun, es decir, una interseccion no nula.
Entonces la ecuacion general puede escribirse as:
C(k)
L+ (k)+ (k) + L (k) (k) + L (k) =0 (9.67)
B(k)
Supongamos que el ultimo sumando puede escribirse as:
C(k)
L (k) = D+ (k) + D (k) (9.68)
B(k)
(llamada segunda factorizacion), donde D+ (k) es analtica en Im k > 00 y D (k) es analtica

en Im k < +00 .
Si las tres franjas: < Im k < + , 0 < Im k < +0 y 00 < Im k < +00 tienen una parte comun
en la franja 0 < Im k < +0 , entonces en esta franja se puede escribir
L+ (k)+ (k) + D+ (k) = L (k) (k) D (k) = Pn (k) (9.69)
donde L+ (k)+ (k) + D+ (k) es analtica para Im k > 0 y L (k) (k) D (k) es analtica
para Im k < +0 .
Por tanto, existe una funcion unica entera Pn (k) que coincide con ellas en cada semiplano y
con las dos en la franja.
Entonces, despejando
Pn (k) D+ (k)
+ (k) = (9.70)
L+ (k)
Pn (k) D (k)
(k) = (9.71)
L (k)
Todo el metodo esta debidamente fundamentado con teoremas, que el lector interesado en
profundizar en este metodo puede encontrar en el libro de Teora de Funciones de Variable
Compleja de los autores Sveshnikov y Tijonov, publicado por la editorial Mir en ingles.
As las cosas, si queremos resolver la ecuacion

Z
(x) = K(x s)(s)ds + f (x) (9.72)
0
definimos:
+ (x) = 0, x < 0
+ (x) = (x), x > 0 (9.73)
(x) = (x), x < 0

(x) = 0, x > 0 (9.74)
f+ (x) = 0, x < 0
f+ (x) = f (x), x > 0 (9.75)
f (x) = f (x), x < 0

f (x) = 0, x > 0 (9.76)
Suponemos que K(x) y f (x) cumplen la condicion
|(x)| < M e x , x
|(x)| < M e+ x , x (9.77)
y buscamos la solucion que cumpla la condicion
|+ (x)| < M ex , x (9.78)
con < + .
Repitiendo los razonamientos, vamos a obtener en la franja < Im k < + la ecuacion

+ (k) + (k) = 2K(k)+ (k) + F+ (k) + F (k) (9.79)
o sea,
L(k)+ (k) + (k) F (k) = 0 (9.80)

donde L(k) = 1 2K(k). La primera factorizacion es:
L+ (k)
L(k) = (9.81)
L (k)
Entonces,
L+ (k)+ (k) + L (k) (k) L (k)F (k) L (k)F+ (k) = 0 (9.82)
y haciendo la segunda factorizacion,
L (k)F+ (k) = D+ (k) + D (k) (9.83)
tendremos
L+ (k)+ (k) D+ (k) = L (k) (k) + L (k)F (k) + D (k) = Pn (k) (9.84)
de donde
Pn (k) + D+ (k)
+ (k) =
L+ (k)
Pn (k) + L (k)F (k) + D (k)
(k) = (9.85)
L (k)
De aqu se hallan con la transformada inversa + (x) y (x).

Captulo 10
Respuestas a los ejercicios

1. n = n2 2 , n (x) = 2 sin nx, n = 1, 2, ...
2. Autovalores y autofunciones de la ecuacion homogenea:
1 1 1 1
1 = , 1 (x) = (sin x + cos x), 2 = , 2 (x) = (sin x cos x)
2 2
Solucion de la ecuacion no homogenea:
sin x + cos x
(x) =
1
q q
3. 1 = 2 = 2 , 1 (x) = 2 cos x, 2 (x) = 2 sin x
4. Autovalor y autofuncion de la ecuacion homogenea:

0 = 2, 0 = 3x
R1
Como (f, ) 0 (2x 1) 3xdx 6= 0, por la alternativa de Fredholm la ecuacion no
homogenea no tiene solucion.
5. Autovalores y autofunciones de la ecuacion homogenea:

r r
3 3 5 5 2
1 = , 1 (x) = x, 2 = , 2 (x) = x
2 2 2 2
Como coincide q el parametro de la ecuacion homogenea con el autovalor 2 y como
R1
(f, 2 ) 1 x 52 x2 dx = 0, por la alternativa de Fredholm la ecuacion no homogenea
tiene infinitas soluciones que son:
3
(x) = Kx2 x
2
donde K es una constante arbitraria.
181

r
2 2
0 = 2 , 0 (x) = ex
e 1 e2 1
Solucion de la ecuacion no homogenea: (x) = 2ex .

2
0 = 2, 0 =
x
Solucion de la ecuacion no homogenea:
x2 + 2
(x) =
x
r
3
0 = 1, 0 (x) = x
7
Solucion de la ecuacion no homogenea: (x) = x.
Bibliografa
Referencias
1. A Angot, Complementos de Matematica
2. G Bateman y A Erdelyi, Tablas de Transformadas Integrales
3. M Krasnov, A Kiseliov y G Makarenko, Ecuaciones Integrales
4. V.A. Marchenko, Teora Espectral de los Operadores de Sturm-Liouville
5. J Marn Antuna, Teora de Funciones de Variable Compleja
6. J Marn Antuna, Metodos Matematicos de la Fsica
7. S.G. Mijlin, Ecuaciones Integrales
8. I.G. Petrovsky, Lecciones sobre la Teora de Ecuaciones Integrales
9. V.I. Smirnov, Curso de Matematica Superior
10. A.G. Sveshnikov y A.N. Tijonov, Teora de Funciones de Variable Compleja
11. A.B. Vasilieva y N.A. Tijonov, Ecuaciones Integrales
12. V.S. Vladimirov, Ecuaciones de la Fsica Matematica
183

Ecuaciones Integrales - Texto Pa - Marin Antuna, Jose Miguel

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ecuaciones Integrales - Texto Pa - Marin Antuna, Jose Miguel

Transféré par

Droits d'auteur :

Formats disponibles

JOS MIGUEL MARN ANTUA

TEXTO PARA EL PLAN DE MAESTRA Y DOCTORADO EN

1 Clasificacion de las ecuaciones integrales 9

1.1 Ecuacion integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

1.2 Ecuacion integral de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.3 Problemas que conducen a ecuaciones integrales . . . . . . . . . . . . . . . . . . 11

2 Ecuacion integral de Fredholm homogenea de segundo tipo 15

2.2 Nucleos Iterados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

2.3 Metodo de aproximaciones sucesivas para la ecuacion integral de Fredholm ho-

2.3.1 Desigualdad de Cauchy-Buniakovsky . . . . . . . . . . . . . . . . . . . . 25

2.3.2 Teorema de existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

3 Calculo de todos los autovalores y las autofunciones de nucleos que cumplan

3.1 Ideas basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

3.2 Nucleos degenerados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

3.4 Nucleos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

3.5 Teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

3.6 Ecuacion integral de Fredholm no homogenea de segundo tipo . . . . . . . . . . 56

3.7 Solucion de la ecuacion integral de Fredholm no homogenea de segundo tipo por

3.8 Ejemplos de solucion de ecuaciones integrales de

3.9 Ecuaciones integrales de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . 71

3.10 Solucion de ecuaciones integrales de Volterra por transformadas integrales . . . . 74

3.11 Ejercicios del Captulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

4 Equivalencia entre los problemas de frontera de ecuaciones diferenciales y las

4.1 Funcion de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

4.2 Equivalencia entre un problema de

4.2.1 Teorema de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

4.2.2 Propiedades de los autovalores y de las autofunciones del problema de

4.3 Equivalencia entre el problema de Sturm-Liouville en varias dimensiones y una

5 Ecuacion Integral de Fredholm de Segundo Tipo. Teora General 99

5.1 Transformacion de la ecuacion en un sistema algebraico . . . . . . . . . . . . . . 99

5.2 Determinante de Fredholm. Menores de Fredholm . . . . . . . . . . . . . . . . . 105

5.2.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105

5.2.2 Convergencia de las series de Fredholm . . . . . . . . . . . . . . . . . . . 108

5.2.3 Relacion entre el determinante de Fredholm y los menores de Fredholm . 109

5.3 Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

5.3.1 Primer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 112

5.3.2 Segundo teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . 114

5.4 Ecuacion no homogenea de Fredholm para D() = 0. Tercer Teorema de Fredholm119

5.4.1 Nucleos iterados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

5.4.2 Tercer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 121

6 Aspectos Complementarios de la Teora de Ecuaciones con Nucleo Simetrico125

6.1 Desarrollo de un nucleo simetrico en serie bilineal . . . . . . . . . . . . . . . . . 125

6.1.1 Convergencia de la serie bilineal al nucleo de la ecuacion integral . . . . . 126

6.1.2 Series bilineales para nucleos iterados . . . . . . . . . . . . . . . . . . . . 127

6.1.3 Nucleos definidos positivos y definidos negativos . . . . . . . . . . . . . . 128

6.2 Resolvente del nucleo simetrico . . . . . . . . . . . . . . . . . . . . . . . . . . . 132

7 Ecuacion Integral de Fredholm de Primer Tipo 137

7.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

7.2 Familia regulada de soluciones aproximadas . . . . . . . . . . . . . . . . . . . . 138

7.2.1 Primer teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . . 139

7.2.2 Segundo teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . 142

7.2.3 Tercer teorema de Tjonov . . . . . . . . . . . . . . . . . . . . . . . . . . 145

8 Ecuaciones Integrales entre Lmites Infinitos con Nucleos que dependen de

8.2 Autofunciones de la ecuacion homogenea . . . . . . . . . . . . . . . . . . . . . . 151

8.3 Solucion de la ecuacion no homogenea . . . . . . . . . . . . . . . . . . . . . . . 152

9 El Metodo de Wiener-Hopf (Metodo de Factorizacion) 165

9.1 Conceptos iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

9.2 Propiedades analticas de la transformada de Fourier . . . . . . . . . . . . . . . 168

9.3 Ecuaciones integrales en el semieje con nucleos dependientes de la diferencia . . 171

9.4 Esquema general del Metodo de Wiener-Hopf . . . . . . . . . . . . . . . . . . . 176

10 Respuestas a los ejercicios 181

La teora de las ecuaciones integrales lineales es un tema de gran elegancia matematica y, a la