Ecuaciones Integrales PDF

ECUACIONES INTEGRALES
JOS MIGUEL MARN ANTUA
TEXTO DE LAS CARRERAS LICENCIATURA E

INGENIERA FSICA
ECUACIONES INTEGRALES
TEXTO DE LAS CARRERAS: LICENCIATURA E INGENIERA
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 versin electrnica 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
Introducci
on
1 Clasificaci
on de las ecuaciones integrales
1.1
Ecuacion integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Ecuacion integral de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3
Problemas que conducen a ecuaciones integrales . . . . . . . . . . . . . . . . . . 11
2 Ecuaci
on integral de Fredholm homog
enea de segundo tipo
15
2.1
Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2
N
ucleos Iterados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3
Metodo de aproximaciones sucesivas para la ecuacion integral de Fredholm homogenea de segundo tipo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.1
Desigualdad de Cauchy-Buniakovsky . . . . . . . . . . . . . . . . . . . . 25
2.3.2
Teorema de existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 C
alculo de todos los autovalores y las autofunciones de n
ucleos que cumplan
la propiedad A. N
ucleos degenerados. Autovalores y autofunciones
35
3.1
Ideas basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2
N
ucleos degenerados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3
Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4
N
ucleos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.5
Teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3
INDICE
4
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 n
ucleo sim
etrico
77
4.1
Funcion de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
4.2
Equivalencia entre un problema de

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

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

ecuacion integral multidimensional . . . . . . . . . . . . . . . . . . . . . . . . . 95
5 Ecuaci
on 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.3
5.4
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
Alternativa de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

5.3.1
Primer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.3.2
Segundo teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . 114
Ecuacion no homogenea de Fredholm para D() = 0. Tercer Teorema de Fredholm119
INDICE
5
5.4.1
N
ucleos iterados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.4.2
Tercer teorema de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . 121
6 Aspectos Complementarios de la Teora de Ecuaciones con N

ucleo Sim
etrico125
6.1
6.2
Desarrollo de un n
ucleo simetrico en serie bilineal . . . . . . . . . . . . . . . . . 125
6.1.1
Convergencia de la serie bilineal al n

ucleo de la ecuacion integral . . . . . 126
6.1.2
Series bilineales para n

ucleos iterados . . . . . . . . . . . . . . . . . . . . 127
6.1.3
N
ucleos definidos positivos y definidos negativos . . . . . . . . . . . . . . 128
Resolvente del n
ucleo simetrico . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
7 Ecuaci
on 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 N

ucleos que dependen de
la Diferencia de Variables
149
8.1
Propiedades del operador integral entre lmites infinitos con n

ucleo 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 M
etodo de Wiener-Hopf (M
etodo de Factorizaci
on)
165
9.1
Conceptos iniciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
9.2
Propiedades analticas de la transformada de Fourier . . . . . . . . . . . . . . . 168
9.3
Ecuaciones integrales en el semieje con n

ucleos dependientes de la diferencia . . 171
9.4
Esquema general del Metodo de Wiener-Hopf . . . . . . . . . . . . . . . . . . . 176
INDICE
10 Respuestas a los ejercicios
181
Bibliografa
183
Introducci
on
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 m
ultiples 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 a
nos.
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 n
ucleo 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, a
un mas, la teora de ecuaciones integrales, estudiando la teora general de
Fredholm para ecuaciones con n
ucleo arbitrario.
La teora general de las ecuaciones integrales de Fredholm de primer tipo y el metodo regularizador 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 n
ucleo que depende de la diferencia
de las variables.
Por u
ltimo, 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, ).
Introduccion
Captulo 1
Clasificaci
on 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 linealmente, 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
Ecuaci
on 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 ecuaci
on integral de Fredholm de primer tipo a la ecuacion que tiene
la forma que aparece a continuacion:
Z
K(x, s)(s)ds = f (x)
(1.1)
y se llama ecuaci
on integral de Fredholm de segundo tipo a la ecuacion que tiene la
forma
Z
(x) =
K(x, s)(s)ds + f (x)
(1.2)
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 n
ucleo de la ecuaci
on integral; es cierto parametro.
9
10
Jose Marn Antu

na
En la definicion dada arriba no se hace ning

un tipo de especificacion sobre las caractersticas
del n
ucleo 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, especficamente, por aquellos n
ucleos 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 n
ucleo 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 n
ucleo de cierta ecuacion
integral cumple la propiedad A, estaremos suponiendo que satisface las cuatro condiciones
arriba expresadas.
1.2
Ecuaci
on 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
(1.3)
se llama ecuaci
on integral de Volterra de primer tipo y la ecuacion,
Z
(x) =
(1.4)
se llama ecuaci
on 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 n
ucleo 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
n
ucleo 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)
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
u|S = 0
(1.6)
Del cursolibro de Metodos Matematicos de la Fsica del autor sabemos que la funcion de
Green para la ecuacion de Poisson es
1
+v
4rM P
G(M, P ) =
(1.7)
donde la funcion v es armonica en el dominio donde se busca la solucion del problema:

2 u = f (M ), M V
u|S = 0
(1.8)
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)
Por consiguiente, la solucion del problema (1.6) puede expresarse como,

Z Z Z
u(M ) =
G(M, P )u(P )dP

V
que es una ecuacion integral de Fredholm de segundo tipo homogenea con n

ucleo
K(M, P ) G(M, P )
simetrico.
(1.10)
12
Jose Marn Antu

na
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
u|C = f (M )
(1.11)
poda ser buscada como un potencial de doble capa,

Z
u(M ) =
C
cos (M, P )
(P )dlP
rM P
(1.12)
y para la funcion de densidad dipolar (M ) obtuvimos la ecuacion,

1
(x) +
K(x, s)(s)ds =
0
1
f (x)
(1.13)
donde
cos (x, s)
r(x, s)
K(x, s) =
(1.14)
es el n
ucleo 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:
(n) +
n1
X
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:
1
(x) =
(n 1)!
y(s)(x s)n1 ds
(1.16)
donde y(x) es una nueva funcion incognita. De (1.16) tenemos:

1
(x) =
(n 1 k)!
(k)
y(s)(x s)n1k ds
(1.17)
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
y(x) +
K(x, s)y(s)ds = f (x)
(1.19)
con
K(x, s) =
n1
X
ak (x)(x s)n1k
k=0
(n 1 k)!
La ecuacion (1.19) es una ecuacion integral de Volterra de segundo tipo.
(1.20)
14
Jose Marn Antu

na
Captulo 2
Ecuaci
on integral de Fredholm
homog
Comenzaremos, ahora, el estudio detallado de la ecuacion de Fredholm homogenea de segundo
tipo. Esta es:
b
Z
(x) =
K(x, s)(s)ds
(2.1)
En todo nuestro desarrollo supondremos siempre que el n

ucleo de (2.1) cumple la propiedad A.
Introduzcamos la siguiente notacion operacional. Llamemos A al operador lineal definido por,
Z
Au =
K(x, s)u(s)ds
(2.2)
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
(u, v) (v, u) =
u(x)v(x)dx
(2.4)
Para los n
ucleos que cumplan la propiedad A se verifica que
(u, Av) = (v, Au)

15
(2.5)
16
Jose Marn Antu

na
Efectivamente, tenemos que:
Z
(u, Av) =
v(s)
a
Z
v(s)
K(x, s)v(s)dsdx =
a
Z b
Z
Z
u(x)
K(x, s)u(x)dxds =
a
K(s, x)u(x)dxds = (v, Au)

a
LQQD.
Aqu, hemos tenido en cuenta que el n
ucleo 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.
Definici
on:
Aquellos valores de para los cuales la ecuacion (2.1) tiene solucion no trivial se llaman autovalores 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 n
ucleo K(x, s),
muchas veces se dice que son los autovalores y las autofunciones del n
ucleo 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 ortogonales en el segmento [a, b].
Demostraci
on:
Sea 1 (x) la autofuncion correspondiente al autovalor 1 y 2 (x) la autofuncion correspondiente al autovalor 2 y que 1 6= 2 . Entonces, podemos escribir:
1
1 (x)
1
1
2 (x)
2
K(x, s)1 (s)ds
(2.6)
K(x, s)2 (s)ds
(2.7)
a
b
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)
1
(2.8)
1
2 (x)1 (x) 1 (x)A2 (s)
2
(2.9)
Restemos (2.8) y (2.9) e integremos. Nos queda:

1
1
1 2

(1 (x), 2 (x)) = (2 (x), A1 (s)) (1 (x), A2 (s)) 0
(2.10)
La igualdad a cero es en virtud de (2.5), ya que el n

ucleo es simetrico. Como por hipotesis
1 6= 2 , finalmente queda:
b
Z
(1 (x), 2 (x))
1 (x)2 (x)dx 0
(2.11)
Demostrada la propiedad.
Debemos se
nalar que, si a un mismo autovalor k le corresponden varias autofunciones linealmente independientes, es decir, si el autovalor es degenerado, siempre podemos
lograr que dichas autofunciones sean ortogonales entre s, aplicando el metodo de ortogonalizacion 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,
2
kk
2 (x)dx = 1
(2.12)
En tal caso diremos que el sistema de autofunciones es ortonormado (es decir, ortogonal 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.
Demostraci
on:
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)
A A
(2.14)
y, efectuando la conjugacion compleja:
18
Jose Marn Antu

na
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
|(x)|2 dx = 0
(x) (x)dx
a
(2.15)
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 n
umero finito
de autofunciones linealmente independientes.
Demostraci
on:
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:

1
k (x)
0
K(x, s)k (s)ds
(2.17)
para todo k = 1, 2, ..., n. Las expresiones (2.17) son los coeficientes de Fourier del n
ucleo
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:
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
2
k f k = (f, f )
f 2 (x)dx
(2.20)
es el cuadrado de la norma de la funcion f (x). La desigualdad (2.19) se cumplira, con

mayor razon a
un, si la suma es finita. Por consiguiente, los coeficientes (2.17) satisfacen
la desigualdad de Bessel:
Z b
n
X
1 2
(x)
K 2 (x, s)ds
2 k
a
k=1 0
(2.21)
19
Integrando (2.21) respecto a x en [a, b], obtenemos:

Z bZ b
Z b
n
X
1
2
K 2 (x, s)dsdx
k (x)dx
2
a
a
k=1 0 a
(2.22)
Es decir:
n Z
X
k=1
2k (x)dx
20
Z bZ
K 2 (x, s)dsdx
(2.23)
Llamando M = max |K(x, s)|, pues el n

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

umero n es acotado y, por consiguiente, al autovalor
0 le corresponde, solamente, un n
umero finito de autofunciones.
En el caso en que n > 1 se dice que el autovalor 0 es degenerado y al n
umero n se le
llama multiplicidad o rango de degeneraci
on del autovalor.
4. En un segmento acotado [l, l] del eje solo puede haber un n
umero finito de autovalores
de la ecuacion (2.1).
Demostraci
on:
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 n
umero N. Tenemos las identidades:
1
k (x)
k
K(x, s)k (s)ds
(2.25)
para todo k = 1, 2, ..., N . Estos son los coeficientes de Fourier del n

ucleo K(x, s) en la
base de las autofunciones consideradas. Por consiguiente, se cumple la desigualdad de
Bessel:
N
X
2 (x)
k
k=1
2k
K 2 (x, s)ds
(2.26)
Integrando (2.26) respecto a x entre a y b y teniendo en cuenta la ortonormalidad de las

autofunciones, obtenemos:
Z bZ b
N
X
1
K 2 (x, s)dsdx
2
a
a
k=1 k
(2.27)
20
Jose Marn Antu

na
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
l2
(2.28)
N l2 M 2 (b a)2
(2.29)
Es decir:
umero acotado.
La expresion (2.29) significa que N es un n
Esta cuarta propiedad tiene dos evidentes corolarios:
Corolario 1
Los autovalores de la ecuacion (2.1) con n
ucleo 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)
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
N
ucleos Iterados.
Supongamos dada cierta funcion integrable en [a, b] 0 (x), y consideremos el n

ucleo K(x, s) de
la ecuacion integral (2.1). Construyamos la siguiente sucesion de funciones:
Z
1 (x) =
K(x, s)0 (s)ds
(2.32)
K(x, s)1 (s)ds
(2.33)
Z
2 (x) =
a
21
......
b
K(x, s)n1 (s)ds
n (x) =
(2.34)
.......
Expresemos las funciones (2.32),..., (2.34),... a traves de 0 (x). Tenemos:

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

Z
Z
(2.35)
donde hemos llamado

b
Z
K2 (x, s)
K(x, t)K(t, s)dt
(2.36)
De manera completamente analoga:
Z
n (x) =
Z
K(x, t)

Kn1 (t, s)0 (s)ds dt
Z b
Kn (x, s)0 (s)ds
(2.37)
donde
Z
Kn (x, s) =
K(x, t)Kn1 (t, s)dt
(2.38)
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 n
uleos iterados de orden n.
Evidentemente, pueden ser escritos de la siguiente forma:
Z
Kn (x, s) =
Z
...
K(x, t1 )K(t1 , t2 )....K(tn1 , s)dt1 ...dtn1

a
(2.39)
22
Jose Marn Antu

na
donde se integra n 1 veces.

Utilizando la notacion operacional, tendremos que lo anterior puede ser escrito en forma compacta:
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,

b
Kp (x, t)Kq (t, s)dt
Kn (x, s) =
(2.43)
As, en forma operacional, el operador Aq debe interpretase como:
A=
Kq (x, s)(s)ds
(2.44)
donde Kq (x, s) es el n
ucleo iterado de orden q. Tiene lugar el siguiente teorema.
Teorema
Si el n
uleo K(x, s) de la ecuacion (2.1) cumple la propiedad A, entonces, todos sus n
ucleos
iterados cumplen, tambien, la propiedad A.
Demostraci
on:
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 n
ucleo 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
Z
K(x, t)K(t, s)dt
K2 (x, s) =
a
K(s, t)K(t, x)dt K2 (s, x)

a
Suponiendo, ahora, que se cumple que Kn1 (x, s) = Kn1 (s, x), hallamos que
(2.45)
Z
K(x, t)Kn1 (t, s)dt
Kn (x, s) =
23
K(t, x)Kn1 (s, t)dt Kn (s, x)
(2.46)
por lo que, por induccion completa, queda demostrada la simetra de todos los n
ucleos iterados.
Comprobemos, ahora, que los n
ucleos iterados no son identicamente nulos. Supongamos lo
contrario, es decir, que hay n
ucleos iterados identicamente iguales a cero y sea Km (x, s) el
n
ucleo 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
Kp (x, t)Kp (t, s)dt 0
K2p (x, s) =
(2.49)
En virtud de la simetra de los n

ucleos iterados, (2.49) significa que
Z
Z
Kp (x, t)Kp (t, x)dt
K2p (x, x) =
Kp2 (x, t)dt 0
(2.50)
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 n
ucleos iterados identicamente nulos con m par.
2. que m sea impar: m = 2p + 1. Entonces, por (2.43) de nuevo, tendremos:
Z
Km+1 (x, s) K2p+2 (x, s) =
Kp+1 (x, t)Kp+1 (t, s)dt 0
(2.51)
en virtud de (2.48). Pero, entonces, en virtud de la simetra de los n

ucleos iterados:
Z
Km+1 (x, x) =
[Kp+1 (x, t)]2 dt 0
(2.52)
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 ning
un n
ucleo iterado es identicamente nulo.
Por tanto, los n
ucleos iterados cumplen la propiedad A.
24
Jose Marn Antu

na
Demostrado el teorema.
Tiene lugar otro importante teorema.
Teorema
Si la funcion (x) es autofuncion del n
ucleo K(x, s) con autovalor 0 , entonces, es autofuncion
del n
ucleo iterado Kn (x, s) con autovalor n0 .
Demostraci
on:
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,
n0
Kn (x, s)(s)ds
(2.55)
Los n
ucleos 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 dedicaremos en el proximo epgrafe.
2.3
M
etodo de aproximaciones sucesivas para la ecuaci
on integral de Fredholm homog
enea de segundo
tipo.
Nos dedicaremos a buscar una autofuncion y su autovalor para la ecuacion

Z
K(x, s)(s)ds
(x) =
(2.56)
donde el n
ucleo K(x, s) cumple la propiedad A. Recordemos, previamente, una relacion u
til.
2.3.1
25
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
1/2
Z b

2
2

f (x)g(x)dx
f (x)dx
g (x)dx

a
(2.57)
O, de forma compacta:
|(f, g)|
p
p
(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
[f (x) + g(x)]2 dx 0
(2.59)
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 n
ucleo que cumpla la propiedad A, tiene, al menos, un autovalor
y una autofuncion.
Demostraci
on
Dividiremos la demostracion en cuatro partes.
1. Construcci
on de las aproximaciones sucesivas.
26
Jose Marn Antu

na
Como el n
ucleo 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
K(x, s)0 (s)ds A0
1 (x) =
(2.63)
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
Z
K(x0 , s)K(s, x0 )ds =
1 (x0 ) =
K 2 (x0 , s)ds 6= 0
(2.66)
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
Nn k n k
n2 (x)dx
(2.67)
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)
Ahora bien, de acuerdo con (2.58), tenemos que:
|Nn | |(p , q )|
q
p
(p , p )(q , q ) Np Nq
(2.69)
27
y, en particular:
|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):
|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) =
Nn
(2.72)
Las funciones (2.72) tienen, evidentemente, norma unitaria. Como, de acuerdo con (2.65)
b
Z
n (x) =
K(x, s)n1 (s)ds
(2.73)
tendremos, para las funciones n (x), de (2.73):

Z
n (x) = n
K(x, s)n1 (s)ds
(2.74)
donde,
r
n =
Nn1
Nn
(2.75)
De esta forma quedan construdas las aproximaciones sucesivas. Nuestro objetivo sera demostrar 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 sucesi
on num
erica {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 Antu

na
Nn1 Nn
=
N n Nn
s
Nn1 Nn
Nn1 Nn
Nn
=
=
n+1
Nn
Nn+1
Nn1 Nn+1
n =
Nn1
Nn
(2.76)
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

|n (x)|
K(x,
s)
(s)ds
n1

a
Z b
Z b
2n
K 2 (x, s)ds
2 (s)ds
2
2n
(2.77)
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:
|n (x)|
2n
K 2 (x, s)ds
(2.78)
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
C =
a
K 2 (x, s)dxds
(2.80)
Por lo tanto:
2n
1
C2
(2.81)
Es decir, tomando solo la raz positiva, pues de (2.75) se ve que n son n

umeros positivos:
1
C
(2.82)
29
donde, de acuerdo con (2.80), 0 < C < , ya que el n

ucleo 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:
lim n = 0
1
C
(2.83)
Pasemos, ahora, a una tercera fase de la demostracion del teorema de existencia.

3. Determinaci
on del autovalor y de la autofunci
on de la ecuaci
on (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):
b
Z
2m (x) = 2m
K(x, s)2m1 (s)ds
(2.86)
Z
2m+1 (x) = 2m+1
K(x, s)2m (s)ds
(2.87)
Por consiguiente, haciendo n , obtenemos, teniendo en cuenta (2.86) y (2.87):

Z
(x)
= 0
K(x, s)(s)ds
(2.88)
K(x, s)(s)ds
(2.89)
(x)
= 0
Evidentemente, las funciones (x)
y (x)
son normadas y no identicamente nulas. Analicemos
las funciones:
(x)
= (x)
(x)
(2.90)
30
Jose Marn Antu

na
(x)
= (x)
+ (x)
(2.91)
Sumando (2.90) y (2.91), obtenemos:
(x)
0
K(x, s)(s)ds
(2.92)
Restando (2.90) y (2.91), obtenemos:

Z
(x)
K(x, s)(s)ds
(2.93)
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 a
un que las convergencias
uniformes (2.84) y (2.85) tienen lugar. Eso lo abordaremos en la cuarta parte de esta larga
demostracion.
4. Demostraci
on de la convergencia uniforme de {n (x)} para ndices pares e impares.
En virtud de que las funciones n (x) son normalizadas, llamando M = max|K(x, s)| y utilizando la desigualdad de Cauchy-Buniakovsky, tendremos, por (2.74):

Z b
Z b
1/2
Z b

2
2

K(x, s)n1 (s)ds n
K (x, s)ds
n1 (s)ds
|n (x)| = n
a
(2.94)
31
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 funcional {n (x)} es uniformemente acotada. Por otra parte, como el n
ucleo 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)| <
1 M0 (b a)
(2.96)
Por consiguiente:
00
|K(x0 , s) K(x00 , s)||n1 (s)|ds

|n (x ) n (x )| n
a
Z b
(b a)
1 M 0
|K(x0 , s) K(x00 , s)|ds < 1 M0
1 M0 (b a)
a
(2.97)
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
Imp ,np
|mp (x) np (x)|2 dx < , mp , np > N ()
(2.98)
Demostremos que la subsucesion que podemos elegir es la de subndices de igual paridad. Sean
m y n n
umeros de igual paridad y analicemos la siguiente expresion, donde tenemos en cuenta
que las funciones son normalizadas:
2m (x)dx
2n (x)dx
[m (x) n (x)] dx
+
2
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)
Nm Nn a
a
Im,n =
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 Antu

na
donde p + q = 2k. Por consiguiente, si hacemos m + n = 2k, tendremos k = (m + n)/2 que es

un n
umero entero, pues m y n son de la misma paridad. Por lo tanto, tendremos que:
Z
N m+n =
m+n (x)dx =
m (x)n (x)dx
(2.101)
Colocando (2.101) en (2.99), tendremos:

N m+n
Im,n = 2 2 2
Nm N n
Como Nk > 0 y, ademas, N m+n <
2
(2.102)
Nm Nn , por lo tanto, siempre se cumplira que:

0 < Im,n < 2
(2.103)
Analicemos, ahora, la siguiente expresion:
2N m+n Nm2 Nn
2 Im,n
=
= 2
2 Im2,n
Nm Nn 2N m+n2
2
2N m+n
N n+m
N
N
2
2
m2 m1 = m m1
=
n+m
2N m+n 1
N
N
N
m m1
1
2
2
(2.104)
donde hemos tenido en cuenta la definicion (2.75). De acuerdo con esa misma definicion, (2.104)
nos da:
2 Im,n
1
1
= m m1 2
2 Im2,n
m+n
(2.105)
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:
2m+n +1
2 Im,n
2
=
1
2 Im,n+2
n+1 n+2
(2.106)
De (2.105) y (2.106) concluimos que:

Im,n Im2,n , Im,n Im,n+2
(2.107)
33
Es decir, que, en general:

Im,n Im0 ,n0 , m0 m n n0
(2.108)
donde m, m0 , n y n0 son todos n

umeros 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 rigurosamente 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 se
nalar que este teorema no es valido para la ecuacion de
Volterra y puede no ser cierto para las ecuaciones de Fredholm con n
ucleos no simetricos,
es decir, n
ucleos 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 Antu

na
Captulo 3
C
alculo de todos los autovalores y las
autofunciones de n
ucleos que cumplan
la propiedad A. N
ucleos degenerados.
Autovalores y autofunciones
3.1
Ideas b
asicas
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 n
ucleo que cumpla la
propiedad A.
Desarrollaremos, ahora, un procedimiento para hallar todos los autovalores y todas las autofunciones de una ecuacion integral de Fredholm de segundo tipo con n
ucleo 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 n
ucleo que satisfaga la propiedad A y sea 1 el autovalor correspondiente a la
autofuncion 1 (x) de este n
ucleo, hallados -digamos- por el metodo de aproximaciones sucesivas.
Veamos el siguiente n
ucleo auxiliar:
H2 (x, s) = K(x, s)
1 (x)1 (s)
1
(3.1)
Este n
ucleo 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 Antu

na
Teorema.
Cualquier autofuncion del n
ucleo (3.1), 2 (x), correspondiente al autovalor 2 , es, tambien,
autofuncion del n
ucleo K(x, s) y es ortogonal a 1 (x).
Demostraci
on:
Sea 2 (x) una autofuncion de H2 (x, s) correspondiente al autovalor 2 . Esto significa que se
cumple la identidad
2 (x) 2
H2 (x, s)2 (s)ds

Z b
Z
1 (x) b
2
K(x, s)2 (s)ds 2
1 (s)2 (s)ds
1
a
a
a
(3.2)
Calculemos el producto interno de las funciones 1 (x) y 2 (x), teniendo en cuenta (3.2). Tenemos:
Z

(1 , 2 ) =
1 (x)2 (x)dx = 2
1 (x)
H2 (x, s)2 (s)ds dx =
a
a
a

Z b
Z b

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

Z b
Z b
Z
Z b
2 b
K(x, s)1 (x)dx ds
= 2
2 (s)
1 (s)2 (s)ds
21 (x)dx
1 a
a
a
a
Z
(3.3)
Pero, como 1 (x) es autofuncion del n

ucleo K(x, s) con autovalor 1 y es, ademas, normalizada,
se cumple que
Z
K(x, s)1 (x)dx

a
1
1 (s)
1
(3.4)
y
Z
21 (x)dx = 1
(3.5)
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 u
ltima integral a la derecha es cero, nos
queda que
Z
2 (x) 2
K(x, s)2 (s)ds

a
(3.6)
Calculo de todos los autovalores y las autofunciones
37
lo que significa que 2 (x) es, tambien, autofuncion del n

ucleo K(x, s) con autovalor 2 .
Teorema.
Si 2 (x) es autofuncion del n
ucleo K(x, s) correspondiente al autovalor 2 y es ortogonal a
la autofuncion 1 (x) del mismo n
ucleo correspondiente al autovalor 1 , entonces, 2 (x) es,
tambien, autofuncion del n
ucleo H2 (x, s).
Demostraci
on:
Por hipotesis, 2 (x) es autofuncion del n
ucleo 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
1
(3.7)
obtenemos:
Z b
2
1 (s)2 (s)ds =
2 (x) 2
K(x, s)2 (s)ds 1 (x)
1
a
a

Z b
Z b
1 (x)1 (s)
= 2
K(x, s)
2 (s)ds = 2
H2 (x, s)2 (s)ds
1
a
a
Z
(3.8)
lo que significa que, efectivamente, 2 (x) es autofuncion del n

ucleo H2 (x, s).
Los dos teoremas anteriores sirven de base para hallar todas las autofunciones de un n
ucleo
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 n
ucleo auxiliar (3.1). Pueden darse dos posibilidades:
(a) H2 (x, s) 0.
nica autoEn este caso el n
ucleo K(x, s) no tiene mas autofunciones, pues la u
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 Antu

na
3. Construimos el n
ucleo auxiliar:
2
X
2 (x)2 (s)
k (x)k (s)
H3 (x, s) = H2 (x, s)
K(x, s)
2
k
k=1
(3.9)
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 n
ucleo K(x, s).
Continuando este proceso, en general, llegamos a construir el n
ucleo auxiliar:
Hn (x, s) = K(x, s)
n1
X
k (x)k (s)
k=1
(3.10)
con n entero.
En general, tienen lugar dos casos posibles:
(a) Que ninguno de los n
ucleos 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 n

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

umero finito de autofunciones y de autovalores:
1 (x), 2 (x), ...., n (x)
(3.14)
1 , 2 , ...., n
(3.15)
Ademas, como seg

un (3.13)
Hn+1 (x, s) = K(x, s)
n
X
k (x)k (s)
k=1
(3.16)
39
concluimos que el n
ucleo K(x, s) se expresa en terminos de sus autofunciones en la
forma
K(x, s) =
n
X
k (x)k (s)
k=1
3.2
(3.17)
N
ucleos degenerados
Surge un importante concepto.

Definici
on:
El n
ucleo K(x, s) se llama degenerado si puede ser escrito en la forma
K(x, s) =
n
X
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 n
ucleo.
El procedimiento de b
usqueda de todos los autovalores y las autofunciones del n
ucleo K(x, s)
desarrollado arriba nos permite enunciar el siguiente teorema.
Teorema
Si el n
ucleo K(x, s) cumple la propiedad A y tiene un n
umero finito de autovalores y de
autofunciones, entonces, es degenerado.
Demostraci
on:
La demostracion de este teorema viene dada por el propio procedimiento arriba indicado. Si
Hn+1 (x, s) 0, entonces, el n
umero de autovalores y de autofunciones del n
ucleo 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 n
ucleo K(x, s) es degenerado, entonces, tiene un n
umero finito de autovalores no mayor
que el orden de degeneracion n.
Demostraci
on:
40
Jose Marn Antu

na
Por hipotesis, el n
ucleo 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 n
ucleo sera:
Z
(x) =
K(x, s)(s)ds =
Z bX
n
uk (x)vk (s)(s)ds =
a k=1
n
X
uk (x)
vk (s)(s)ds
(3.19)
k=1
Por lo tanto
(x) =
n
X
k uk (x)
(3.20)
vk (s)(s)ds
(3.21)
k=1
donde
Z
k =
a
son ciertos n
umeros. Colocando (3.20) en la ecuacion (3.19), obtenemos:
n
X
n
X
k=1
n
X
k=1 m=1
k uk (x) =
Z bX
n
uk (x)vk (s)
a k=1
m uk (x)
vk (s)um (s)ds =
a
n
X
m um (s)ds
m=1
n X
n
X
m uk (x)ckm
(3.22)
k=1 m=1
donde
Z
vk (s)um (s)ds
ckm =
(3.23)
son ciertos coeficientes. De (3.22) obtenemos, por lo tanto:
k =
n
X
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 :
41
(c11 1)1 + c12 2 + .... + c1n n = 0

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

(c11 1)
c12

c
(c
21
22 1)

...
...

cn1
cn2
...
c1n
...
c2n
...
...
... (cnn 1)

=0

(3.26)
(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 n
ucleo K(x, s) que cumpla la propiedad A tenga un n
umero 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
cos(x s)(s)ds
(x) =
(3.27)
Tenemos que el n
ucleo 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 Antu

na
0 (x) = cos x
(3.29)
Construimos las aproximaciones sucesivas:
cos(x s) cos sds =
1 (x) =
0
cos x
2
(3.30)
2
cos(x s) cos sds =

cos x
2 (x) =
2
2
0
.........................................................................
n (x) =
n
2
cos x
(3.31)
(3.32)
Calculamos el cuadrado de la norma:

2
Nn k n k =
2n
2
cos2 xdx =
2n+1
2
(3.33)
Por consiguiente, las aproximaciones normalizadas son:

n (x)
=
n (x) =
Nn
2
cos x
(3.34)
Evidentemente
r
lim n (x) =
2
cos x 1 (x)
(3.35)
Por lo tanto, (3.35) sera la autofuncion de (3.27) buscada por el metodo de aproximaciones
sucesivas. Ademas, tenemos que:
r
n =
2
Nn1
=
Nn
(3.36)
Por lo tanto, el autovalor correspondiente a la autofuncion (3.35) sera:

1 = lim n =
n
(3.37)
Hallemos, ahora, las demas soluciones. Para ello, construimos el n

ucleo 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)
43
Como las autofunciones de H2 (x, s) son autofunciones tambien de K(x, s), hallemos por
aproximaciones sucesivas una autofuncion del n
ucleo 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 =

0
2 (x) =
0
sin x
2
(3.40)
2
sin x sin s sin sds =

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

n (x)
n (x) =
=
Nn
2
sin x
(3.44)
ucleo auxiliar H2 (x, s), que sera otra autofuncion

Su lmite nos dara la autofuncion del n
del n
ucleo K(x, s):
r
2 (x) = lim n (x) =
n
2
sin x
(3.45)
El autovalor correspondiente sera:

2 = lim n =
n
(3.46)
Notese que el autovalor 1 coincide con el autovalor 2 .

Continuando el proceso, creamos el n
ucleo auxiliar
q
H3 (x, s) = cos(x s)
cos x
cos s
sin x
sin s
=
= cos x cos s + sin x sin s cos x cos s sin x sin s 0
(3.47)
44
Jose Marn Antu

na
Como H3 (x, s) 0, podemos afirmar que no existen mas autovalores, ni autofunciones y
que el n
ucleo K(x, s) es degenerado de orden dos y que puede escribirse como:
K(x, s) =
2
X
k (x)k (s)
k=1
= cos x cos s + sin x sin s
(3.48)
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
1 (x) =
2
cos x, 2 (x) =
2
sin x
(3.50)
Ambas autofunciones corresponden al mismo autovalor:

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 n
ucleo auxiliar.
Sin embargo, es necesario destacar que el pen
ultimo 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 n
ucleo degenerado, ya sea este simetrico o
no simetrico.
Efectivamente, si el n
ucleo 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 algebraica para hallar las n , autovalores de la ecuacion.
Los coeficientes k de (3.20) se proponen de manera que las autofunciones sean ortonormadas.
Ilustremos este metodo con los siguientes ejemplos.
2. Resolver por el metodo anteriormente descrito la ecuacion integral (3.27) del primer ejemplo.
Tenemos que el n
ucleo es degenerado de orden dos:
K(x, s) = cos(x s) = cos x cos s + sin x sin s
Por lo tanto, de acuerdo con la formula (3.20), proponemos la solucion como:
(3.52)
(x) =
2
X
45
k uk (x) = 1 cos x + 2 sin x 1 (x) + 2 (x)
(3.53)
k=1
Calculamos por (3.23) los coeficientes ckm :
cos sds = , c12 =

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

=0

1
0
2

0
2 1
(3.56)
2
de donde 2 1 = 0, es decir, = 2/, que es el u
nico autovalor del n
ucleo.
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 n
ucleo seran
r
1 (x) =
2
cos x,
r
2 (x) =
2
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)
Aqu el n
ucleo
K(x, s) = x cos s
(3.59)
aunque no es simetrico, es degenerado de orden uno. De acuerdo con el teorema mencionado, existira un solo autovalor y una sola autofuncion. Esta u
ltima tendra la forma,
de acuerdo con (3.20):
(x) = x
(3.60)
Colocando (3.60) en (3.58), obtenemos:

Z
x =
s cos sds xc
x cos ssds = x
(3.61)
donde el coeficiente c -
unico en este caso- de acuerdo con (3.23) es, integrando por partes:
46
Jose Marn Antu

na
s cos sds = 2
c=
(3.62)
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
2
De la condicion k k = 1 hallamos que el coeficiente =

sera:
r
(x) =
3
x
3
(3.63)
q
3
,
3
por lo que la autofuncion
(3.64)
y queda resuelto el problema. De acuerdo con la teora desarrollada, esta solucion es

u
nica. Observese que, aunque el n
ucleo (3.59) en este caso no es simetrico, sin embargo
la aplicacion de los resultados del teorema mencionado es valida.
3.4
N
ucleos cerrados
Daremos el siguiente concepto.

Definici
on:
La funcion f (x), integrable en el segmento [a, b], se llama ortogonal en ese segmento al
n
ucleo K(x, s) si,
Z
Af
K(x, s)f (s)ds = 0
(3.65)
Tiene lugar un importante teorema.

Teorema.
Para que la funcion f (x), integrable en [a, b], sea ortogonal al n
ucleo K(x, s) que cumpla la
propiedad A es necesario y suficiente que sea ortogonal a todas las autofunciones de dicho
n
ucleo.
Demostraci
on:
1. Necesidad.
Por hipotesis, se cumple (3.65). Entonces, si k (x) son las autofunciones del n
ucleo K(x, s),
tendremos que
k k Ak , k = 1, 2, ...
47
(3.66)
Multiplicando (3.66) por f (x) e integrando entre a y b, obtenemos:

Z
f (x)k (x)dx = (f, k ) (f, k Ak ) k (f, Ak ) k (k , Af ) 0
(3.67)
donde hemos tenido en cuenta la propiedad (2.5) del captulo 2 para los n
ucleos 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 aproximaciones 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 n
ucleos iterados, tendremos:
(n , k ) = (An f, k ) (f, An k ) =

1
k
=
f, n n (f, k ) 0
k
k
Introduciendo las aproximaciones ya normalizadas,
(3.72)
48
Jose Marn Antu

na
n
n =
Nn
(3.73)
(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 autofunciones k (x). Pero esto es absurdo, ya que, por el metodo de aproximaciones sucesivas,
las autofunciones del n
ucleo 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 n
ucleo K(x, s). Las expresiones (3.77) y (3.78)
significan que, efectivamente, (x) y (x) son linealmente dependientes con esas autofunciones. Ello implica que seran linealmente dependientes con todas las autofunciones del n
ucleo
K(x, s), pues un teorema del Algebra Lineal establece que si, entre un conjunto de vectores,
49
existe un subconjunto de ellos linealmente dependientes, entonces, todo el conjunto es linealmente 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.
Definici
on:
El n
ucleo K(x, s) se llama cerrado si no existe ninguna funcion f (x) 6= 0 ortogonal a dicho
n
ucleo.
Con la definicion anterior podemos enunciar los siguientes corolarios del teorema anterior:
Corolario 1.
Para que un n
ucleo que cumpla la propiedad A sea cerrado es necesario y suficiente que el
conjunto de sus autofunciones sea cerrado.
Demostraci
on:
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:
c2n =k f k2
(3.80)
n=0
donde
cn =
1
(n , f )
k n k2
(3.81)
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 n
umero infinito de
funciones.
50
Jose Marn Antu

na
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 n
ucleo es ortogonal a sus autofunciones y viceversa.
Si K(x, s) es cerrado, entonces, no existira ninguna funcion f (x) 6= 0 ortogonal a dicho n
ucleo
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 n
ucleo cerrado no es degenerado.
Demostraci
on:
Efectivamente, pues, si el n
ucleo es cerrado, por el corolario anterior el conjunto de sus autofunciones 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 n
umero infinito de
elementos, lo que significa que el n
ucleo 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 teorema.

Supongamos dado un n
ucleo K(x, s) que cumpla la propiedad A y sean {k (x)} sus autofunciones, 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:
f (x)
fk k (x)
(3.82)
k=1
donde los coeficientes del desarrollo son
Z
fk = (f, k )
f (x)k (x)dx
a
(3.83)
51

Definici
on.
La funcion f (x) se llama emanante del n
ucleo K(x, s) si puede ser expresada en la forma
Z
K(x, s)h(s)ds Ah
f (x) =
(3.84)
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 n
ucleo K(x, s) que cumpla la propiedad A puede ser desarrollada en una serie de autofunciones de dicho n
ucleo convergente absoluta y uniformemente
en [a, b].
Demostraci
on:
La demostracion la dividiremos en dos partes:
1. Demostraci
on 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:

fk (f, k ) = (Ah, k ) = (h, Ak ) =
k
h,
k

=
hk
1
(h, k ) =
k
k
(3.85)
donde hk = (h, k ). Colocando (3.85) en (3.82), obtenemos:
f (x)
fk k (x)
k=1
hk
k=1
k (x)
k
(3.86)
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

(x)

k
h

<
k

k
(3.87)
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 Antu

na

(
)1/2
N
N
N
X

X
X

ak b k
a2k
b2k

k=1
k=1
(3.88)
k=1
Basados en (3.88), podemos establecer que, para cualesquiera n y m, se cumple que,

m
( m
2 )1/2
m
X (x)
X X
(x)

k
k
hk
h2k

k
k
k=n
k=n
(3.89)
k=n
Valoremos cada suma dentro del radical en la expresion (3.89). Tenemos que:
b
k (x)
=
k
K(x, s)k (s)ds Ak
(3.90)
no son otra cosa que los coeficientes de Fourier del desarrollo del n
ucleo en serie de sus autofunciones. Por consiguiente, tiene lugar la desigualdad de Bessel:
2

X
k (x)
k
k=1
K 2 (x, s)ds
(3.91)
Pero, como K(x, s) cumple la propiedad A, llamando M = max |K(x, s)|, tendremos:
2
m
X
k (x)
k=n
2

X
k (x)
k
k=1
K 2 (x, s)ds (b a)M 2 M1
(3.92)
Por otro lado, tenemos que

b
Z
hk =
h(x)k (x)dx = (h, k )
(3.93)
no son mas que los coeficientes de Fourier del desarrollo de la funcion h(x) en serie de autofunciones del n
ucleo K(x, s). Por lo tanto, para ellos tiene lugar, tambien, la desigualdad de
Bessel:
X
k=1
h2k
h2 (x)dx m2 (b a) M2
(3.94)
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,
53
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
h2k <
k=n
2
M1
(3.95)
Colocando (3.92) y (3.95) en (3.89), obtenemos que

m

X (x)

k
hk

<

k
(3.96)
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
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
fk2 k f k2
(3.98)
k=1
que es lo u
nico 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
h(x)
hk k (x)
k=1
y nos hemos valido de la desigualdad de Bessel (3.91), que siempre tiene lugar.
(3.99)
54
Jose Marn Antu

na
La desigualdad de Bessel siempre se cumple, pues ella se deduce de una relacion casi evidente,
que es:
0 k
hk k (x) h(x) k2 =k h k2
k=1
h2k
(3.100)
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:
0 k
hk k (x) h(x) k2 =
k=1
hk k h,
k=1
X
k=1 i=1
!
hk k h
k=1
hk hi (k , i ) 2
hk (h, k ) + (h, h) =
k=1
h2k
k=1
h2k +
k h k =k h k
h2k
(3.101)
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. Demostraci
on de la convergencia de la serie a f(x).
Analicemos la siguiente funcion:
(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:
(, m ) = (f, m )
fk (k , m ) = (f, m )
k=1
fk km = fm fm 0
(3.103)
k=1
Es decir, que (x) y k (x) son ortogonales.

Por consiguiente, (x) y el n
ucleo K(x, s) son, tambien, ortogonales, de acuerdo con el teorema
demostrado en el epgrafe anterior. Es decir:
55
K(x, s)(s)ds A = 0
(3.104)
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 n
ucleo K(x, s) cumple la propiedad A. Tenemos:
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,
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 n
ucleos iterados,
Z
Kn (x, s) =
K(x, t)Kn1 (t, s)dt
(3.107)
que las autofunciones k (x) del n

ucleo K(x,s), correspondientes a los autovalores k eran,
tambien, autofunciones del n
ucleo iterado (3.107) con autovalores nk . La expresion (3.107) nos
dice que el n
ucleo iterado es una funcion emanante del n
ucleo K(x, s). Por consiguiente, por
el teorema de Hilbert-Schmidt, tendra lugar el desarrollo
Kn (x, s) =
Knk (s)k (x)
(3.108)
k=1
Calculemos los coeficientes de este desarrollo. Tenemos:
Knk (s) = (Kn (x, s), k (x))

Por lo tanto, el desarrollo es:
k (s)
nk
(3.109)
56
Jose Marn Antu

na
Kn (x, s) =
X
k (x)k (s)
k=1
nk
(3.110)
Por u
ltimo, digamos, sin efectuar ninguna demostracion por ahora, que es posible afirmar que
si el n
ucleo K(x, s) no es degenerado y si la serie bilineal
X
k (x)k (s)
k=1
(3.111)
converge uniformemente en [a, b], lo hace al n

ucleo K(x, s).
Sin embargo, la afirmacion recproca, es decir, que el n
ucleo no degenerado K(x, s) puede ser
desarrollado en la serie bilineal (3.111) a
un no ha sido demostrada.
3.6
Ecuaci
on integral de Fredholm no homog
Pasaremos, ahora, al estudio de la solucion de la ecuacion

b
Z
(x) =
(3.112)
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
(x) =
K(x, s)(s)ds
(3.113)
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
K(x, s)[f (s) + g(s)]ds + f (x)
f (x) + g(x) =
a
(3.115)
57
o, llamando h(s) = [f (s) + g(s)], de (3.115) obtenemos:

Z
g(x) =
K(x, s)h(s)ds
(3.116)
La expresion (3.116) significa que la funcion g(x) es emanante del n

ucleo K(x, s). Por consiguiente, de acuerdo con el teorema de Hilbert-Schmidt, ella admite un desarrollo en serie de
autofunciones de dicho n
ucleo convergente absoluta y uniformemente en [a, b]:
g(x) =
gk k (x)
(3.117)
k=1
Supongamos, ademas, que f (x) puede ser desarrollada, tambien, en serie de las autofunciones
del n
ucleo K(x, s):
f (x) =
fk k (x)
(3.118)
k=1
donde los coeficientes

Z
f (x)k (x)dx
fk = (f, k ) =
(3.119)
son conocidos. Entonces, colocando (3.117) y (3.118) en (3.116), obtenemos:
gk k (x) =
K(x, s)
a
k=1
X
k=1
K(x, s)
a
k=1
Z
gk
K(x, s)k (s)ds +

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

a
X
X
gk
fk
=
k (x) +
k (x)
k
k
k=1
k=1
(3.120)
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 n
ucleo K(x, s):
Z
K(x, s)k (s)ds =

a
k (x)
k
(3.121)
58
Jose Marn Antu

na
Por consiguiente, de (3.120) obtenemos:
gk =
gk fk
+
, k = 1, 2, 3, ...
k
k
(3.122)
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:
gk =
fk
k
(3.124)
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)
k
k=1
(3.125)
que recibe el nombre de f

ormula de Schmidt. En ella, f (x) y son conocidas, k y
k (x) son los autovalores y las autofunciones del n
ucleo 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 |
2
(3.126)
En virtud de ello, tendremos:

|k | |k | || > |k |
Por lo tanto:
|k |
|k |
=
2
2
(3.127)
59
1
2
|k |
|k |
(3.128)
Valoremos la siguiente suma, teniendo en cuenta (3.128):

m
m
m

X
X
X

fk k (x)
fk
fk

2||

k (x)
k (x) ||

k
k

k
k=n
k=n
(3.129)
k=n
Pero, para > 0, existira un N () > 0 tal que, para n, m > N , se cumplira que

m
X

fk
k (x) <
2||
k
k=n
(3.130)
ya que esto fue demostrado en la primera parte de la demostracion del teorema de HilbertSchmidt. Colocando (3.130) en (3.129), obtenemos:

m
X

fk

k (x) <

k
(3.131)
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 u
nica.
2. Que = k0 . Es decir, que el parametro en la ecuacion (3.112) coincide con uno de los
autovalores del n
ucleo.
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 n
umero infinito de soluciones
que vienen dadas por la expresion:
(x) = f (x) +
X
k=1,(k6=k0 )
fk
k (x) + Ck0 (x)
k
(3.133)
60
Jose Marn Antu

na
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:
(x) = f (x) +
X
k=1,(k6=k0 )
X
fk
Cs ks (x)
k (x) +
k
s=0
(3.136)
donde Cs son constantes arbitrarias (de nuevo, el n

umero de soluciones es infinito).
Como consecuencia del desarrollo del presente epgrafe, tiene lugar el siguiente teorema, conocido 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 u
nica y, si la ecuacion homogenea tiene solucion no trivial, entonces, la ecuacion no homogenea, o bien no tiene solucion,
o bien tiene infinitas soluciones.
Demostraci
on:
Efectivamente, si en la ecuacion (3.112) el parametro no coincide con ning
un autovalor del
n
ucleo, entonces, la ecuacion homogenea correspondiente tendra solo solucion trivial y (3.112)
tendra solucion u
nica, dada por la formula de Schmidt (3.125).
Sin embargo, si el parametro en la ecuacion (3.112) es igual a un autovalor del n
ucleo, la
ecuacion homogenea correspondiente tendra por solucion no trivial la autofuncion asociada a
dicho autovalor y, por lo tanto, la ecuacion (3.112) -seg
un 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 n
ucleos simetricos; sin embargo, es posible demostrar
que ella es valida, tambien, para las ecuaciones con n
ucleos no simetricos.
3.7
61
Soluci
on de la ecuaci
on integral de Fredholm no homog
enea de segundo tipo por el m
etodo de aproximaciones 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 n
ucleo K(x, s) arbitrario.
Veamos la ecuacion,
Z
(x) =
(3.137)
donde el n
ucleo 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
K(x, s)0 (s)ds
(3.139)
K(x, s)1 (s)ds
(3.140)
K(x, s)n1 (s)ds
(3.141)
1 (x) = f (x) +
a
Z
2 (x) = f (x) +
........................................................................
Z
n (x) = f (x) +
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
|| < 0 =
1
M (b a)
(3.142)
62
Jose Marn Antu

na
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 u
nica.
Demostraci
on:
Analicemos la siguiente serie:
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)
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
O sea, introduciendo la notacion:
(3.147)
63
q = ||M (b a)
(3.148)
|n (x) n1 (x)| mq n
(3.149)
de (3.147) obtenemos:
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 uniformemente 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 u
nica. 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
(x) =
K(x, s)(s)ds
(3.151)
Elevando al cuadrado (3.151) y aplicando la desigualdad de Cauchy-Buniakovsky, tendremos:

Z b
2
Z b
Z b
2
2
(x) =
K(x, s)(s)ds
K (x, s)ds
2 (s)ds
2
(3.152)
Considerando la posibilidad de expresiones complejas, (3.152) debe escribirse en la forma:
|(x)| ||
|K(x, s)| ds
a
|(s)|2 ds
(3.153)
Integrando (3.153) entre a y b, obtenemos:
b
2
|(x)| dx ||
a
Z bZ
b
2
|(s)|2 ds
Z b
2
2
2
|(x)|2 dx
|| M (b a)
|K(x, s)| dsdx
(3.154)
64
Jose Marn Antu

na
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:
[1 || M (b a) ]
|(x)|2 dx 0
(3.155)
Es decir:
|(x)|2 dx 0
(1 q )
(3.156)
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
|(x)|2 dx 0
(3.157)
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
(x) =
K(x, s)(s)ds
(3.158)
no puede tener autovalores menores en modulo que 0 dado por (3.142). Es decir, que, obligatoriamente, los autovalores k de la ecuacion (3.158) cumplen que
k 0 =
1
M (b a)
(3.159)
Demostraci
on:
El teorema que acabamos de demostrar establece que, para cualquier que cumpla con (3.142),
la ecuacion no homogenea (3.137) tiene solucion u
nica. 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.
65
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 n
ucleo simetrico.
Como dijimos arriba, el metodo de aproximaciones sucesivas para encontrar la solucion dentro
del intervalo (0 < < 0 ) es valido para ecuaciones con n
ucleo arbitrario.
Por u
ltimo, es conveniente destacar que el proceso estudiado en este epgrafe es una particularizacion del visto en el captulo Elementos de Espacios Funcionales y Operadores del
libro de M
etodos Matem
aticos 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 soluci
on de ecuaciones integrales de
Fredholm de segundo tipo
1.
cos(x + s)(s)ds + 1
(x) =
(3.160)
Hagamos un analisis detallado. Tenemos que M = max | cos(x + s)| = 1, b a = . Por

lo tanto
1
0.31
M (b a)
=1>
(3.161)
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
0
con n
ucleo
(3.162)
66
Jose Marn Antu

na
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:
[cos x cos s sin x sin s][C1 cos s + C2 sin s]ds =

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 =
C1 cos x + C2 sin x =
= C1 cos x C2 sin x
2
2
(3.165)
ya que cos s y sin s son ortogonales en [0, ]. De (3.165) concluimos que los autovalores y
las autofunciones son:
, 1 (x) = C1 cos x
2
2 = , 2 (x) = C2 sin x
2
1 =
(3.166)
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 n
ucleo degenerado de orden dos, existen no mas de dos autovalores y
dos autofunciones del n
ucleo. Los coeficientes C1 y C2 los hallamos de la condicion de
normalizacion:
2
k 1 k =
C12
cos xdx = 1, k 2 k =
C22
sin2 xdx = 1
(3.167)
de donde
r
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)
67
Vemos que = 1 en la ecuacion (3.160) no coincide con ning

un autovalor del n
ucleo. Por
lo tanto, la ecuacion homogenea
Z
(x) =
cos(x + s)(s)ds
(3.170)
solo tiene solucion trivial y, por la alternativa de Fredholm, la ecuacion (3.160) tiene
solucion u
nica, dada por la formula de Schmidt (3.125).
En ella, f (x) = 1, = 1.
Tendremos, por tanto:
f1 1 (x) f2 2 (x)
+
1 1
2 1
(x) = 1 +
(3.171)
Calculemos los coeficientes:

r Z
r
2
2
f1 = (1, 1 ) =
1 cos xdx =
sin x|0 = 0
0
(3.172)
r
r
r Z
2
2
2
0
1 sin xdx =
cos x| = 2
f2 = (1, 2 ) =
0
(3.173)
Por lo tanto:
2 2 sin x
2 sin x
=1
2
1 + 2
1
(x) = 1 +
2.
Z
(3.174)
xs(s)ds + 3x 2
(x) = 3
(3.175)
ucleo
En este ejercicio el n
K(x, s) = xs
(3.176)
es degenerado. Por consiguiente, como M = max |xs| = 4 y b a = 2, tendremos que

=3>
1
1
=
M (b a)
8
(3.177)
As pues, buscamos la solucion de la ecuacion homogenea

Z
(x) =
xs(s)ds
0
en la forma (x) = Cx. Colocando en (3.178), obtenemos:
(3.178)
68
Jose Marn Antu

na
Z
Cx =
s2 ds = Cx
xsCsds = Cx
0
s3 2 8
| = Cx
3 0 3
(3.179)
As pues, obtenemos el u
nico autovalor (ya que el n
ucleo es degenerado de orden uno):
3
= 8.
Exigiendo que la autofuncion sea normalizada:
2
kk =C
x2 dx = 1
(3.180)
obtenemos la solucion de la ecuacion homogenea (3.178):

r
(x) =
3
3
x, =
8
8
(3.181)
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 u
nica y vendra
dada por la formula de Schmidt.
Tenemos que, en este caso, el u
nico coeficiente fk , correspondiente a la u
nica autofuncion
es:
r
(3x 2)
fk =
0
3
xdx =
8
r Z 2
r
3
3
2
(3x 2x) = 4
8 0
8
(3.182)
Por lo tanto:
(x) = 3x 2 +
3.
Z
q q
3 4 38 38 x
3
8
9x
2
7
xs(s)ds + 3x 2
(x) = 3
(3.183)
(3.184)
Este es un ejercicio muy parecido al anterior, solo que el intervalo de integracion es

diferente. Resolveremos la ecuacion homogenea
Z
xs(s)ds
(x) =
(3.185)
Como el n
ucleo es degenerado, proponemos la solucion como (x) = Cx. Colocando en
(3.185):
Z
Cx =
xsCsds = Cx
0
s3 1
|0 = C x
3
3
Por lo tanto, el autovalor y la autofuncion ya normada seran:
(3.186)
= 3, (x) =
69
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
(f, ) =
Z 1 2
(3x 2x)dx = 3(x2 x2 )|10 = 0

(3x 2) 3xdx = 3
(3.188)
Es decir, la inhomogeneidad es ortogonal a la autofuncion, por lo que existiran infinitas

soluciones de nuestra ecuacion (3.184).
Como el n
ucleo es simetrico, aplicando (3.133), obtenemos, como hay una sola autofuncion, 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
(x) =
(x + s)(s)ds + 18x2 9x 4
(3.191)
Resolvemos la correspondiente ecuacion homogenea

1
Z
(x) =
(x + s)(s)ds
(3.192)
Como el n
ucleo, 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 :

(1 )
3
2

(1 2 )

2

2
= 1
+
=0

2
3
o sea:
2 + 12 12 = 0
(3.194)
70
Jose Marn Antu

na
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:
1x 3
1+x 3
1 (x) = p
, 2 (x) = p
2+ 3
2 3
(3.196)
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
=
M (b a)
2
0 =
(3.197)
la solucion u
nica de la ecuacion (3.191) vendra dada por la formula de Schmidt (3.125)
que aqu toma la forma:
2
(x) = 18x 9x 4 + 1
2
X
fk k (x)
k=1
(3.198)
Calculando los coeficientes:
5+ 3
f1 = (f, 1 ) = p
2 2+ 3
5 3
f2 = (f, 2 ) = p
2 2 3
(3.199)
(3.200)
y, efectuando los calculos algebraicos, se obtiene, finalmente, la solucion como:

(x) = 18x2 + 12x + 9
5.
Z
x(s)ds + 2x 1
(x) = 2
(3.201)
(3.202)
Resolvemos la ecuacion homogenea correspondiente:

Z
(x) =
x(s)ds
(3.203)
cuyo n
ucleo, 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)
71
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 autofuncion, para determinar si existe la solucion. Tenemos:
Z
(f, ) =
Z 1 2
(2x x)dx = 3
(2x 1) 3xdx = 3
0
2 1
3 2

6= 0
(3.205)
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) =
(3.206)
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
1 (x) = f (x) +
K(x, s)0 (s)ds
(3.208)
K(x, s)1 (s)ds
(3.209)
K(x, s)n1 (s)ds
(3.210)
Z
2 (x) = f (x) +
.............................................................
Z
n (x) = f (x) +
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 Antu

na
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 u
nica.
Demostraci
on:
Analicemos la serie
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)
donde M = max|K(x, s)| y m = min|f (x)| en virtud de la continuidad de ambas funciones.

De manera analoga, obtenemos:
|n (x) n1 (x)| m||n M n
(x a)n
n!
(3.214)
(b a)n
n!
(3.215)
y, como b x, podemos, en definitiva, escribir que:
|n (x) n1 (x)| m||n M 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 converge uniformemente en [a, b] para cualquier a la solucion (x) de la ecuacion (3.206).
73
Demostremos, ahora, la unicidad de la solucion.

existen dos soluciones de (3.206), 1 (x) y 2 (x),
Para ello, supondremos que, para cierta
diferentes entre s. Entonces, la funcion:
(x) = 1 (x) 2 (x)
(3.216)
la ecuacion homogenea:
satisface, para = ,
(x) =
K(x, s)(s)ds
(3.217)
Suponiendo (x) no identicamente igual a cero, veamos la siguiente ecuacion no homogenea:
(x) =
K(x, s)(s)ds + (x)
(3.218)
Construyendo el sistema de aproximaciones sucesivas para (3.218), tendremos lo siguiente:
0 (x) = (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 inhomogeneidad 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 u
nica y que la ecuacion homogenea solo tiene solucion
trivial.
74
Jose Marn Antu

na
3.10
Soluci
on de ecuaciones integrales de Volterra por
transformadas integrales
En ocasiones, es posible utilizar la tecnica de las transformadas integrales para resolver determinadas ecuaciones integrales.
En un captulo posterior veremos la aplicacion de la transformada de Fourier a la solucion
de ecuaciones integrales con n
ucleo dependiente de la diferencia de las variables entre lmites
infinitos.
Aqu veremos la aplicacion de la transformada de Laplace a ecuaciones de Volterra con n
ucleos
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
sin(t )( )d
(t) = at +
(3.220)
Denotando por (p) a la transformada de Laplace de (t) y teniendo presente que:

t:
sin t :
1
p2
p2
1
+1
y que, de acuerdo con el teorema de la convolucion,

Z
sin(t )( )d :
0
p2
1
(p)
+1
de (3.220), aplicando la transformada de Laplace, obtenemos la ecuacion operacional:

(p) =
a
1
+ 2
(p)
2
p
p +1
(3.221)
de donde, para la transformada de la funcion incognita (p), se obtiene:

a(p2 + 1)
(3.222)
p4
Por consiguiente, aplicando la formula de Mellin para el calculo del original a partir de
la transformada, tendremos que (a > 0):
(p) =
1
(t) =
2i
s+i
si
75

a(p2 + 1) pt
a d3
t3
2
pt
e dp =
[(p + 1)e ]p=0 = a t +
p4
6 dp3
6
(3.223)
que es la solucion buscada de la ecuacion (3.220).

2. Resolvamos, de forma similar, la ecuacion:
t2
(t) = +
2
et ( )d
(3.224)
Como:
t2 :
2
p3
1
p1
et :
aplicando la transformada de Laplace a (3.224) y teniendo en cuenta el teorema de la

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

1 d2 (p 1)ept
(p 1)ept
t4
t 1 1
|p=2 = + e2t
(t) =
+
2
3
2 dp
p2
p
4
4 8 8
p=0
(3.227)
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 Antu

na
3.11
Ejercicios del Captulo
1.
Z
(x) =
K(x, s)(s)ds
(3.228)
donde
K(x, s) = x(1 s), x s
K(x, s) = s(1 x), x s
2.
Z
=
sin(x + s)(s)ds + sin x + cos x
(3.229)
3.
cos(x s)(s)ds
(3.230)
x(s)ds + 2x 1
(3.231)
(xs + x2 s2 )(s)ds + x
(3.232)
(x) =
0
4.
Z
(x) = 2
0
5.
5
(x) =
2
6.
1
(x) = 2
e 1
ex+s (s)ds + ex
(3.233)
7.
Z
(x) =
1
8.
Z
(x) = 2
1
(s)
ds + x
xs
(3.234)
x
(s)ds + x
s
(3.235)
Captulo 4
Equivalencia entre los problemas de
frontera de ecuaciones diferenciales y
las ecuaciones integrales con n
ucleo
sim
etrico
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
Funci
on de Green
En el presente epgrafe estudiaremos el operador diferencial

d
dy
k(x)
q(x)y
L[y] =
dx
dx
(4.1)
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 M
etodos Matem
aticos de la
Fsica, cuando estudiamos las funciones especiales de la Fsica Matematica.
77
78
Jose Marn Antu

na
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
L[y] =
3 X
3
X
i=1 k=1
aik
X y
2y
+
+ cy
bk
xi xk k=1 xk
(4.2)
estos seran autoconjugados, si pueden ser escritos en la forma:
L[y] =
3
3
X
X
y
+ cy
aik
x
x
i
k
i=1
k=1
(4.3)
En el caso unidimensional, (4.3) nos da (4.1). Es posible verificar que si el operador L es

autoconjugado, se cumple que:
y2 L[y1 ] y1 L[y2 ] =
d
h(x)
dx
(4.4)
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
y(b) = 0
(4.5)
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
y(b) = 0
(4.6)
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 M
etodos Matem
aticos de la Fsica.
Equivalencia entre problemas de frontera y ecuaciones integrales
79
Estudiemos el siguiente concepto.

Definici
on:
Llamaremos funci
on 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.
3. G(x, s) tiene en el intervalo abierto (a, b) derivadas
y cumple la ecuacion
G
x
2G
x2
continuas para todo x 6= s
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 M
etodo de la
Funci
on de Green del libro de M
etodos Matem
aticos 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
x
1. La derivada
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).
Demostraci
on:
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+
Es decir:

Z s+
Z s+
d
G
k(x)
dx
q(x)G(x, s)dx =
(x s)dx
dx
x
s
s
(4.8)
80
Jose Marn Antu

na
G s+
k(x)
|
x s
s+
q(x)G(x, s)dx = 1
(4.9)
La expresion (4.9) significa:

G
G
k(s + )
(s + , s) k(s )
(s , s)
x
x
s+
q(x)G(x, s)dx = 1
(4.10)
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
(s + 0, s)
(s 0, s) = 1
k(s)
x
x
(4.11)
G
1
G
(s + 0, s)
(s 0, s) =
x
x
k(s)
(4.12)
Es decir:
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 +
x0 +
Lx [G]dx =
x0
f (x, s)dx
(4.14)
x0
De aqu:
k(x0 + )
G(x0 + , s)
G(x0 , s)
k(x0 )
Z x
Z x
x0 +
x0 +
q(x)G(x, s)dx =
x0
Sea x0 6= s. Entonces,
G(x, s) son continuas.
G
x
f (x, s)dx
(4.15)
x0
es continua (pues solo es discontinua en x = s) y k(x), q(x) y
Por lo tanto, en este caso para 0 queda
81
x0 +0
f (x, s)dx, x0 6= s
0=
(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 u

nica 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.
Demostraci
on:
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] u
nica en [a, b] y simetrica con respecto
a sus variables.
2. El problema no homogeneo (4.5) siempre tiene solucion u
nica, que se expresa por la
formula
Z
y(x) =
G(x, s)f (s)ds
(4.19)
Demostraci
on:
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 Antu

na
es una ecuacion diferencial ordinaria de segundo orden; por lo tanto tiene dos soluciones linealmente 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)
Lx [G] = c(s)y1 (s)Lx [y2 (x)] 0
(4.26)
y, para a s x b:
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, seg
un vimos, es equivalente a la
propiedad (4.12) demostrada arriba.
83
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) =
x
x
k(s)
(4.27)
c(s)y1 (s)y20 (s) c(s)y10 (s)y2 (s) c(s)W (s)
(4.28)
Pero
donde

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

6= 0

(4.29)
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
c(s) =
1
k(s)W (s)
(4.30)
de manera que, de (4.23), la funcion de Green queda construida en la forma:
y1 (x)y2 (s)
, a x s b
k(s)W (s)
y1 (s)y2 (x)
, a s x b
G(x, s) =
k(s)W (s)
G(x, s) =
(4.31)
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 Antu

na
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:
c(s) =
1
c
k(s)W (s)
(4.33)
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 u
nica. 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.
85
Una vez demostrado que la funcion de Green (4.31) del operador L[y] es u
nica, queda demostrado automaticamente que, si la formula (4.19) es solucion del problema (4.5), esta sera
u
nica, 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
Z
Lx [G(x, s)]f (s)ds
L[y] =
a
(x s)f (s)ds f (x)
(4.37)
donde hemos tenido en cuenta la ecuacion (4.7) para la funcion de Green.

Ademas:
Z
y(a) =
G(a, s)f (s)ds = 0
(4.38)
G(b, s)f (s)ds = 0
(4.39)
Z
y(b) =
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 u
nica del problema (4.5).
Veamos un ejemplo ilustrativo de construccion de la funcion de Green. Supongamos que queremos resolver el siguiente problema de frontera:
y 00 + y = cos x, 0 < x <

y(0) = 0
y(/2) = 0
2
(4.40)
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 <
y(0) = 0
y(/2) = 0
2
(4.41)
86
Jose Marn Antu

na
solo tiene solucion trivial. Por consiguiente, tiene validez el teorema demostrado; es decir, existe
la funcion de Green u
nica del operador y la solucion u
nica 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
W (s) =
cos s

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

2
G(x, s) = sin x cos s, 0 x s
(4.44)
La solucion u
nica del problema (4.40) sera, por lo tanto, de acuerdo con (4.19):
/2
/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
2
4
0
x
(4.45)
Es facilmente comprobable que la ecuacion (4.45) hallada cumple, efectivamente, la ecuacion y

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

Sturm-Liouville y una ecuaci
on integral con n
ucleo
sim
etrico. Propiedades de los autovalores y las autofunciones del problema de Sturm-Liouville
Teorema de equivalencia
Pasaremos, ahora, al estudio de uno de los problemas de mayor relevancia en la teora de las
ecuaciones integrales con n
ucleo 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
y(b) = 0
(4.46)
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 M
etodos Matem
aticos de la Fsica.
A diferentes casos particulares de esta u
ltima 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 Antu

na
L[y] = 0, a < x < b

y(a) = 0
y(b) = 0
(4.47)
solo tiene solucion trivial.

Simultaneamente con el problema (4.46), analizaremos la siguiente ecuacion integral:
Z
y(x) =
G(x, s)p(s)y(s)ds
(4.48)
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.
Demostraci
on:
El problema (4.46) puede ser escrito en la forma:
L[y] = p(x)y, a < x < b

y(a) = 0
y(b) = 0
(4.49)
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 u
nica de (4.46) sera (4.48).
Llamemos
(x) = y(x)
y multipliquemos (4.48) por
p(x). Obtenemos:
p(x)
(4.50)
Z b
p
p
p
y(x) p(x) =
G(x, s) p(x)p(s)y(s) p(s)ds
89
(4.51)
Si llamamos
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:
b
Z
(x) =
K(x, s)(s)ds
(4.53)
cuyo n
ucleo (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 homogenea de segundo tipo equivalente (4.53), cuyo n
ucleo cumple la propiedad A.
Enunciemos y demostremos un importante teorema.
Teorema.
El n
ucleo K(x, s) de la ecuacion (4.53), dado por la expresion (4.52), es cerrado.
Demostraci
on:
Por definicion, un n
ucleo 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
b
K(x, s)f (s)ds = 0
(4.54)
implica que f (x) 0.

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

a
(4.55)
90
Jose Marn Antu

na
Z
y(x) =
G(x, s)
p(s)f (s)ds = 0
(4.56)
La expresion (4.56) es la solucion (nula) del problema
p
L[y] = p(x)f (x), a < x < b
y(a) = 0
y(b) = 0
(4.57)
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 n
ucleo K(x, s)
es cerrado, por lo tanto no es degenerado y ello significa que tiene un n
umero infinito de
autovalores y de autofunciones.
4.2.2
Propiedades de los autovalores y de las autofunciones del problema 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 M
etodos Matem
aticos 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
91
El problema (4.46) tiene un conjunto infinito de autovalores {n }, que pueden ser ordenados
en forma creciente:
1 < 2 < ..... < n < ....
(4.59)
lim n =
(4.60)
y que cumplen que
A cada autovalor n le corresponde una autofuncion yn (x) y el sistema de las autofunciones

{yn (x)} es cerrado.
Demostraci
on:
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 n
ucleo
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 n
umero 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 n
ucleo es cerrado, el sistema de las autofunciones es tambien cerrado.
Propiedad 2
Todos los autovalores n del problema (4.46) cumplen que

q(x)
, a < x < b
n > min
p(x)

(4.61)
Demostraci
on:
Supongamos que las autofunciones son normalizadas; es decir, que
k n k
a
Analicemos la siguiente expresion:
2n (x)dx
yn2 (x)p(x)dx = 1
(4.62)
92
Jose Marn Antu

na
Z
a

d
dyn
yn (x){L[yn ] + n p(x)yn (x)}dx
yn (x)
k(x)
dx
dx
dx
a
Z b
Z b
2
q(x)yn (x)dx + n
yn2 (x)p(x)dx 0
(4.63)
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:

d
dyn
n =
yn (x)
k(x)
dx =
dx
dx
a
a
Z b
Z b
2
0
b
q(x)yn (x)dx yn (x)k(x)yn (x)|a +
=
k(x)[yn0 (x)]2 dx
Z
q(x)yn2 (x)dx
(4.64)
En (4.64) el segundo sumando es cero en virtud de las condiciones de frontera del problema
(4.46) y la u
ltima integral a la derecha es definida positiva, pues k(x) > 0.
Por consiguiente, tenemos que:
Z
n >
a
b
q(x) 2
yn (x)p(x)dx =
a p(x)
Z
q(x )
q(x ) b 2
y
(x)p(x)dx
=
=
p(x ) a n
p(x )
q(x)yn2 (x)dx
(4.65)
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
p(x )
p(x)
(4.66)
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:
93
yn (x)ym (x)p(x)dx =k yn k2 nm
(4.67)
donde nm es la delta de Kroneker.

Demostraci
on:
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
n (x)m (x)dx =k n k2 nm
(4.68)
Sustituyendo en (4.68) las autofunciones n (x) y m (x) por su expresion (4.50), queda demostrada la propiedad.
Propiedad 4: Teorema del desarrollo
Cualquier funcion f (x) continua y dos veces diferenciable en (a, b) y que cumpla las condiciones de frontera del problema (4.46), puede ser desarrollada en una serie de autofunciones
convergente absoluta y uniformemente en (a, b):
f (x) =
fn yn (x)
(4.69)
n=1
donde los coeficientes del desarrollo vienen dados por:

Z
fn =
f (x)yn (x)p(x)dx
(4.70)
Demostraci
on:
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:
L[f ] =
d
[k(x)f 0 ] q(x)f (x) k(x)f 00 + k 0 (x)f 0 q(x)f (x) h(x)
dx
(4.71)
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 Antu

na
L[f ] = h(x), a < x < b

f (a) = 0
f (b) = 0
(4.72)
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:
b
Z
f (x) =
G(x, s)h(s)ds
(4.73)
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)
G(x, s) p(x) p(s) p
f (x) p(x) =
ds
p(s)
a
(4.74)
Es decir:
Z
K(x, s)H(s)ds
F (x) =
(4.75)
donde hemos introducido las notaciones:
F (x) = f (x)
p(x)
h(s)
H(s) = p
p(s)
y el n
ucleo K(x, s) = G(x, s)
(4.76)
(4.77)
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 n

ucleo 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 n
ucleo K(x, s):
F (x) =
X
n=1
Fn n (x)
(4.78)
95
donde
F (x)n (x)dx
Fn =
a
Z bp
a
p
p(x)f (x)yn (x) p(x)dx
Z b
f (x)yn (x)p(x)dx fn
(4.79)
Sustituyendo (4.50) y (4.76) en (4.78), obtenemos:
p(x)f (x) =
fn yn (x)
p
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 ecuaci
on integral multidimensional
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, seg
un vimos en el libro de M
etodos
Matem
aticos 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 Antu

na
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)
1
+u
4rM P
(4.84)
donde
G(M, 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)
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 n
ucleo 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 ecuaciones 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 n
ucleo de la ecuacion (4.85) es real, simetrico y no trivial,
ya que esas propiedades son cumplidas por la funcion de Green.
Lo u
nico de la propiedad A que este n
ucleo no cumple es la continuidad, ya que, para M = P ,
tiene una singularidad.
97
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)
son convergentes, en virtud de que
K(M, P )
rM
P
(4.87)
con = 1 < 3, lo que garantiza dicha convergencia, de acuerdo con la teora desarrollada en el
libro de M
etodos Matem
aticos de la Fsica.
Por consiguiente, la ecuacion integral (4.85) tiene solucion y es valida toda la teora expuesta
en los captulos anteriores.
Por u
ltimo, podemos se
nalar que, ademas de simetrico, el n
ucleo 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, efectivamente
Z Z Z
K(M, P )f (P )dP = 0
(4.89)
solo para f (P ) 0, lo que, por tanto, significa que el n

ucleo 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
obtenemos la ecuacion integral equivalente
(4.90)
98
Jose Marn Antu

na
Z Z
v(M ) =
K(M, P )v(P )dS
(4.91)
donde el n
ucleo
K(M, P ) = G(M, P ) =
1
1
ln
+u
2 rM P
(4.92)
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 n
ucleo (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
Ecuaci
on Integral de Fredholm de
Segundo Tipo. Teora General
En el presente captulo estudiaremos la teora general de Fredholm para ecuaciones integrales
con n
ucleos arbitrarios. De esta manera complementamos lo estudiado sobre ecuaciones integrales y brindamos algunos elementos teoricos y practicos de utilidad para las aplicaciones.
5.1
Transformaci
on de la ecuaci
on en un sistema algebr
aico
Estudiaremos la ecuacion de Fredholm de segundo tipo

Z
(x) =
(5.1)
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
Z
K(x, s)(s)ds +
(x) =
a
K(x, s)f (s)ds
(5.3)
donde la inhomogeneidad que aparece a la derecha en (5.3) esta expresada como emanante del
n
ucleo K(x, s).
99
100
Jose Marn Antu

na
Hagamos una particion del segmento [a, b] en n partes:
xi = a + ih, sj = a + jh, h =
ba
, i, j = 1, 2, ..., n
n
(5.4)
y sustituyamos la integral por la suma integral. Obtenemos:
(xi ) =
n
X
K(xi , sj )(sj )h +
j=1
n
X
K(xi , sj )f (sj )h
(5.5)
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:
i h
n
X
Kij j = h
j=1
n
X
Kij fj , i = 1, 2, ..., n
(5.7)
j=1
El determinante de la parte izquierda del sistema (5.7) se expresa de la siguiente forma:

1 hK11

hK21
() =
...

hKn1
hK12
1 hK22
...
hKn2
hK1n
hK2n
...
... 1 hKnn
...
...
(5.8)
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:

1 hK11

hK21

...

...
i =
hK

n1

donde hemos llamado:
P
... h nj=1 K1j fj
P
... h nj=1 K2j fj
...
...
n
X
... h
Knj fj
j=1
{z
}
columna i
...
...
...
...
hK1n
hK2n
...
...
... 1 hKnn

n
X

h
ij fj

j=1

(5.9)
Ecuacion Integral de Fredholm de Segundo Tipo. Teora General

1 hK11

hK21

...
ij =
hKn1

...
...
...
...
K1j
K2j
Knj
|{z}
columna i
...
hK1n
...
hK2n
...
...
... 1 hKnn
101
(5.10)
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
X
i
1
i =
=
h
ij fj , i = 1, 2, ..., n
()
()
j=1
(5.11)
y, por consiguiente, de acuerdo con (5.2):

n
X
1
i = fi +
h
ij fj , i = 1, 2, ..., n
()
j=1
(5.12)
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
t=
1
h
(5.13)
podemos escribir:

K11 + t
K12
...
K1n

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

Kn1
Kn2
... Knn + t

tn (t)

(5.14)
Como se sabe del Algebra Matricial, si tenemos una matriz cuyos elementos son funciones de
la variable t:

A(t) =

entonces, su derivada se expresa por
a11
a21
...
an1
a12
a22
...
an2
...
...
...
a1n
a2n
...
ann
(5.15)
102
Jose Marn Antu

na

0
A (t) =

... +

a011
a021
...
a0n1
a12
a22
...
an2
...
...
a11
a21
...
an1
a12
a22
...
an2
...
...

+

a01n
a02n
...
a0nn
a1n
a2n
...
... ann
...
a11
a21
...
an1
a012
a022
...
a0n2
...
...
...
a1n
a2n
...
ann

+ ...

(5.16)
por lo tanto, para la matriz (t), definida en (5.14), tendremos:

0
(t) =

... +

1
K12
...
K1n
0 K22 + t ...
K2n
...
...
...
0
Kn2
... Knn + t
K11 + t
K12
... 0
K21
K22 + t ... 0
...
...
...
Kn1
Kn2
... 1

K11 + t 0 ...

K21
1 ...
+

...
...

Kn1
0 ...

1 + 2 + ... + n

K1n
K2n
...
Knn + t

+ ...

(5.17)
Es decir, dada la estructura del determinante (t), su derivada se expresa como
0 (t) =
n
X
(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:
00
(t) =
n
X
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:
(m) (t) =
X
1 ,2 ,...,m =1;6 =2 6=...6=m
1 2 ...m (t) m!
1n
X
1 <2 <...<m
1 2 ...m (t)
(5.20)
103
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)
(0)tm + ... + tn
m!
(t) = (0) + 0 (0)t + ... +
(5.22)
Llamemos l = n m e introduzcamos la representacion:

K 1 1

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

K 1

1

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

(5.23)
Entonces, de acuerdo con (5.20), podemos escribir:
1 (m)
(0) =
m!
1n
X
1
1
1 <2 <...<l
... l
... l

n
X
1
1
K
1
l! , ,..., =1
1
...
...
l
l

(5.24)
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:
() = t
n1
X
1
t
(n m)!
m=0
n
X
=1+
1
1

1 ,...,nm =1
n
X
(h)l
l=1
l!
n
X
1 ,...,nm =1
...
...
1
1
l
l
...
...

=
l
l

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

K
1
1
...
...
l , i
l , j

(5.26)
104
Jose Marn Antu

na
donde

K

K 1 1
K
... s
= 2 1
... s
...
K s 1
1
1
K 1 2
K 2 2
...
K s 2
... K1 s
... K2 s
...
... Ks s
(5.27)
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 +
l!
l=1
dl
(5.28)
donde
Z bZ
dl =
...
a
t1
t1
K
a
... tl
... tl

dt1 ...dtl
(5.29)
y

K
t1
t1
... tl
... tl
es el determinante cuyos elementos son el n

ucleo evaluado en las variables t1 , t2 , ..., tl , respectivamente.
De manera similar, a (5.26) pongamos en correspondencia la expresion:
D(xi , sj , ) = K(xi , sj ) +
Z Z
X
()l b
l=1
l!
Z
...

K
t1
t1
...
...
tl
tl
xi
sj

dt1 ...dtl
(5.30)
y a la solucion (5.12) pongamos en correspondencia la expresion:

b
Z
(xi ) = f (xi ) +
a
D(xi , s, )f (s)ds
D()
(5.31)
De esta manera es logico esperar que la solucion de la ecuacion integral de Fredholm de segundo
tipo tenga la forma:
Z
(x) = f (x) +
R(x, s, )f (s)ds
a
(5.32)
105
donde la resolvente de la ecuacion es
R(x, s, ) =
D(x, s, )
D()
(5.33)
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
5.2.1
Determinante de Fredholm. Menores de Fredholm

Introducci
on
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.
Demostraci
on:
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
F (a11 , ...., ann ) = A +
n
X
i=1
n
X
!
a2ij 1
(5.35)
j=1
Derivando e igualando a cero, obtenemos:

F
= Aij + 2i aij = 0, i, j = 1, 2, ..., n
aij
(5.36)
donde Aij es el complemento algebraico del determinante A para el elemento aij . Multipliquemos (5.36) por aij y sumemos respecto a j; obtenemos:
106
Jose Marn Antu

na
n
X
Aij aij + 2i
j=1
n
X
a2ij = 0, i = 1, 2, ..., n
(5.37)
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
2
(5.39)
Colocando (5.39) en (5.36), obtenemos, para los elementos aij la expresion:
aij =
Aij
a1
ji , i, j = 1, 2, ..., n
A
(5.40)
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:
A=
1
A
(5.41)
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
i=1
j=1
Demostraci
on:
Analicemos el determinante A, cuyos elementos aij vienen dados por:
(5.42)
bij
aij =
si
107
(5.43)
donde
si =
n
X
b2ij
(5.44)
j=1
Dada su construccion, el determinante A satisface las condiciones del lema anterior. Por consiguiente, |A| 1 y, como
B=A
n
Y
si
(5.45)
i=1
obtenemos que
v
n

u n
n
Y Y
uY

|B| = |A|
si
si t si

i=1
i=1
(5.46)
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)
Demostraci
on:
Para las sumas (5.44) tenemos, evidentemente, que:
si =
n
X
b2ij M 2 n
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.48)
108
5.2.2
Jose Marn Antu

na
Convergencia de las series de Fredholm
De acuerdo con lo desarrollado en el primer epgrafe, escribamos el determinante de Fredholm

de la siguiente manera:
D() =
X
(1)n n
n=0
n!
dn
(5.49)
donde
Z
...
dn =

K
t1
t1
...
...
tn
tn

dt1 ...dtn
(5.50)
y donde hemos utilizado la notacion:

K
1
1
...
...
m
m

K 1 1

= ...
K m 1
...
...
K1 m
...
K m m
(5.51)
Llamemosle menor de Fredholm de orden p a la serie:
Dp (x1 , ..., xp , s1 , ..., sp ) =
X
(1)n n
n!
n=0
dn (x1 , ..., xp , s1 , ..., sp )
(5.52)
donde
Z
dn (x1 , ..., xp , s1 , ..., sp ) =
Z
...

K
t1
t1
...
...
tn
tn
x1
s1
...
...
xp
sp

dt1 ...dtn
(5.53)
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 n
ucleo 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)
109
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

d
(x
,
...,
x
,
s
,
...,
s
)
cn
n
1
p
1
p
n!

n!
(5.56)
Como es evidente que
m(n + p + 1)(n+p+1)/2
cn+1
= ||(b a)
=
cn
(n + p)(n+p)/2

(n+p)/2
n+p+1
1
1+
0 < 1, n
= ||(b a)m
n+1
n+p
(5.57)
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, automaticamente, 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
Relaci
on entre el determinante de Fredholm y los menores de
Fredholm
Analicemos la expresion:
b
Z
...
Dp (1 , ..., p , 1 , ..., p , )d1 ...dp
(5.58)
donde el menor Dp (1 , ..., p , 1 , ..., p , ) viene dado por (5.52). No es difcil ver que, de acuerdo
con (5.53):
Z
...
Z
...
=
a
Z
d1 ...dp
Z
...

K
t1
t1
...
...
tn
tn
dp (1 , ..., p , 1 , ..., p )d1 ...dp =

1 ... p
dt1 ...dtn dn+p
1 ... p
(5.59)
Por consiguiente, para (5.58) obtenemos, haciendo el cambio de ndice de sumatoria m = n+p:
110
Jose Marn Antu

na
Z
...
Dp (1 , ..., p , 1 , ..., p , )d1 ...dp =
X
(1)n n
n=0
n!
dn+p =
X
(1)m mp
dp D()
= (1)
dm (1)p
(m p)!
dp
m=p
p
(5.60)
As pues, obtenemos la Primera Relaci

on entre el determinante de Fredholm y los menores
de Fredholm:
Z
Z
...
Dp (1 , ..., p , 1 , ..., p , )d1 ...dp = (1)p
dp D()
dp
(5.61)
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 ecuaciones:
Dp (x1 , ..., xp , s1 , ..., sp , ) =

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

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

K
t1
t1
... tn
... tn

... xp

... sp

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

...
K(tn , t1 ) ... K(tn tn ) K(tn , s1 ) ... K(tn , 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 )
(5.64)
Desarrollemos el determinante (5.64) en complementos algebraicos para la fila ; obtenemos:

K
n
X
t1
t1
... tn
... tn
x1
s1
... xp
... sp

=

t1 ... tn x1 .. . xp
=
(1)
K(x , tm )K
+
t1 ..m . tn s1 ... sp
m=1

p
X
t1 ... tn x1 .. . xp
n++m+
+
(1)
K(x , s )K
t1 ... tn s1 .. . sp
n++m
(5.65)
=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:

K
+
t1
t1
p
X
...
...
tn
tn
x1
s1
...
...
(1)+ K(x , s )K
xp
sp

=1
t1
t1
n
X
t1
=
K(x , tm )K
t1
m=1

... tn x1 .. . xp
... tn s1 .. . sp
..m . tn
..m . tn
x1
s1
..tm ..
...
xp
sp
(5.66)
dn (x1 , ..., xp , s1 , ..., sp ) =
p
X
(1)+ K(x , s )dn (x1 , .. ., xp , s1 , .. ., sp )
=1
n
X
m=1
K(x , tm )dn1 (x1 , ..tm .., xp , s1 , ..., sp )dtm
a
p
X
(1)+ K(x , s )dn (x1 , .. ., xp , s1 , .. ., sp )
=1
Z
n
a
K(x , t)dn1 (x1 , ..t .., xp , s1 , ..., sp )dt
(5.67)
112
Jose Marn Antu

na
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
D(x, s, ) = K(x, s)D() +
K(x, t)D(t, s, )dt
(5.68)
D(x, t, )K(t, s)dt
(5.69)
Z
D(x, s, ) = K(x, s)D() +
Si llamamos
R(x, s, ) =
D(x, s, )
D()
(5.70)
entonces, de (5.68) y (5.69), obtenemos:

Z
R(x, s, ) = K(x, s) +
K(x, t)R(t, s, )dt
(5.71)
R(x, t, )K(t, s)dt
(5.72)
Z
R(x, s, ) = K(x, s) +
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 Fredholm.
5.3
Alternativa de Fredholm
5.3.1
Primer teorema de Fredholm
Se enuncia en los siguientes terminos:

Teorema
113
Si no es raz de la funcion D(), entonces, para dicho valor de , la ecuacion integral de

Fredholm de segundo tipo
Z
(x) =
(5.73)
tiene solucion continua y u

nica, que se determina por la formula
Z
(x) = f (x) +
R(x, s, )f (s)ds
(5.74)
D(x, s, )
D()
(5.75)
donde
R(x, s, ) =
es la resolvente de la ecuacion.
Demostraci
on:
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
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
0
= f (x) +
K(x, s)f (s)ds +
K(x, s)R(s, s , )ds f (s0 )ds0

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)
Z
(5.76)
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).
114
Jose Marn Antu

na
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
a
b
0
R(x, s, )(s)ds =
R(x, s, ) f (s) +
K(s, s )(s )ds ds =
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
a
(5.77)
De (5.77) concluimos que:

b
Z
R(x, s, )(s)ds =
K(x, s)(s)ds
(5.78)
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
D(0 ) = 0,
dm D(0
dp D(0 )
=
0,
m
=
1,
2,
...,
p
1,
6= 0
dm
dp
Entonces, de la primera relacion de Fredholm (5.61) tenemos que
(5.79)
...
a
Dp (x1 , ..., xp , x1 , ..., xp , 0 )dx1 ...dxp = (1)p
115
dp D(0 )
6= 0
dp
(5.80)
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.
Definici
on:
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
(x) = 0
K(x, s)(s)ds
(5.82)
tiene, solamente, r soluciones linealmente independientes.

Demostraci
on:
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
Analicemos el siguiente sistema de funciones:
(5.83)
116
Jose Marn Antu

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

, = 1, ..., r
Dr (x01 , ..., x0r , s01 , ..., s0r , 0 )
(5.84)
Para la funcion (5.84) as definida, evidentemente, se cumple que (x0 ) = 1 y, ademas, que
(x0 ) = 0, ya que, en este u
ltimo 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
+0
K(x , t)Dr (x1 , ..., t , ..., xr , s1 , ...sr , 0 )dt
(5.86)
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
0
K(x , t)Dr (x1 , ..., t , ..., xr , s1 , ...sr , 0 )dt
(5.88)
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:
117
K(x, t) (t)dt
(x) = 0
(5.89)
lo que significa que, efectivamente, el sistema de funciones (5.84) es solucion de la ecuacion

(5.82).
Demostremos, por u
ltimo, 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:
H(x, s, 0 ) =
Dr+1 (x01 , ..., x0r , x, s01 , ..., s0r , s, 0 )

Dr (x01 , ..., x0r , s01 , ..., s0r , 0 )
(5.90)
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:
H(x, s, 0 ) =
r
X
Dr (x01 , .... ..., x0r , sr1 , ...s0r , 0 )

+
Dr (x01 , ..., x0r , sr1 , ...s0r , 0 )
Z b
+K(x, s) 1 + 0
H(x, t, 0 )K(t, s)dt
(1)+r+1 K(x0 , s)
=1
(5.91)
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
(1)+r+1 K(x0 , s)
=1
Dr (x01 , .... ..., x0r , sr1 , ...s0r , 0 )

=
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
H(x, t, 0 )K(t, s)dt
H(x, s, 0 ) = K(x, s) + 0
a
r
X
=1
K(x0 , s) (x)
(5.93)
118
Jose Marn Antu

na
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:
b
Z
(x) 0
K(x, s)(s)ds
(5.94)
Multipliquemos por H(x, s, 0 ) la identidad (5.94) e integremos. Obtenemos:

Z
H(x, s, 0 )(s)ds 0
a
Z
H(x, s, 0 )
K(s, s )(s )ds

ds 0
(5.95)
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:
(x) 0
K(x, s)(s)ds
H(x, s, 0 )(s)ds +
a

Z b
Z b
0
0
0
K(s, s )(s )ds ds =
+0
H(x, s, 0 )
a
= 0
Z bX
r
K(x0 , s) (x)(s)ds
= 0
a =1
r
X
Z
(x)
=1
K(x0 , s)(s)ds
(5.96)
Llamemos:
Z
A = 0
K(x0 , s)(s)ds
(5.97)
que son ciertos coeficientes dependientes de . Entonces, de (5.96) obtenemos:

(x)
r
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:
119
Teorema.
Si la ecuacion integral de Fredholm de segundo tipo homogenea solo tiene solucion trivial,
entonces, la ecuacion no homogenea tiene solucion u
nica.
Si la ecuacion homogenea tiene solucion no trivial, entonces, la ecuacion no homogenea, o bien
no tiene solucion, o bien tiene un n
umero infinito de soluciones.
Demostraci
on:
El primer teorema de Fredholm garantiza que, efectivamente, si D() 6= 0, entonces, la ecuacion
no homogenea tiene solucion u
nica 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
Ecuaci
on no homog
enea 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
N
ucleos iterados
Estableceremos, a continuacion, el siguiente concepto.

Definiciones
1. Llamaremos n
ucleo conjugado del n
ucleo K(x, s) a la expresion
K(x,
s) = K (s, x)
(5.99)
120
Jose Marn Antu

na
2. El menor de Fredholm de orden p para el n

ucleo conjugado K(x,
s) es:
p (x1 , ..., xp , s1 , ..., sp , ) = D (s1 , ..., sp , x1 , ..., xp , )
D
p
(5.100)
3. Los autovalores del n

ucleo conjugado se definen como aquellos valores de para los cuales
D()
=0
(5.101)
D ( ) = 0
(5.102)
Es decir:
El asterisco que indica la conjugacion de D en (5.102) realidad no juega ning

un papel, ya
que igualar a cero un n
umero 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 n
ucleo conjugado se definen por la expresion:
(x) =
r (x0 , ..., x , ..., x0 , s0 , ..., s0 , 0 )

D
1
r 1
r
r (x01 , ..., x0 , s01 , ..., s0 , 0 )

D
r
r
0
0
0
Dr (s1 , ..., sr , x1 , ..., x , ..., x0r , 0 )

Dr (s01 , ..., s0r , x01 , ..., x0r , 0 )
(5.103)
Por u
ltimo, para la conjugada de la resolvente generalizada, tendremos la relacion:
H(x,
s, 0 ) = K(x,
s) + 0
s)dt
H(x,
t, 0 )K(t,
r
X
0 , s) (x)
K(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, cambiamos x por s, obtenemos:
Z
K(x, t)H(t, s, 0 )dt
H(x, s, 0 ) = K(x, s) + 0
a
r
X
=1
K(x, x0 ) (s)
(5.106)
5.4.2
121
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
(x) = 0
(5.107)
tenga solucion es necesario y suficiente que la funcion f (x) sea ortogonal a la autofuncion del
n
ucleo conjugado correspondiente al autovalor 0 = 0 .
Demostraci
on:
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
(x)
K (X, s) (s)ds + f (x)
(5.108)
Multipliquemos (5.108) por la autofuncion (x) del n

ucleo conjugado correspondiente al autovalor 0 e integremos entre a y b.
Como resultado obtenemos, teniendo cuenta la definicion (5.99):
Z
a
Z bZ
f (x)(x)dx
(x)(x)dx 0
K (x, s) (s)(x)dxds =
a
a

a Z b
Z b
Z b
K(s, x)(x)dx ds =
(s) 0
(x)(x)dx
=
a
a
a
Z b
Z b
(s)(s)ds 0
(x)(x)dx
=
a
(5.109)
lo que demuestra la ortogonalidad.

En el pen
ultimo paso hemos tenido en cuenta el hecho de que (x) es la autofuncion del n
ucleo
conjugado correspondiente al autovalor 0 es decir, que
122
Jose Marn Antu

na
x)(x)dx
K(s,
(s) 0
(5.110)
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
b
Z
(x) = f (x) + 0
H(x, s, 0 )f (s)ds
(5.111)
Coloquemos (5.111) en la parte derecha de la ecuacion (5.107). Obtenemos:

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
2
= f (x) + 0
K(x, s)f (s)ds + 0
K(x, s)H(s, s0 , 0 )f (s0 )ds0 ds
Z
(5.112)
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
+20
K(x, t)H(t, s, 0 )f (s)dsdt =

a
H(x, s, 0 )f (s)ds
= f (x) + 0
+0
=1
K(x, x0 )
Z
a
(s)f (s)ds
20
Z bZ
20
K(x, t)H(t, s, o )f (s)dsdt +
a
r
X
=1
b
Z bZ
Z bZ
a
b
K(x, t)H(t, s, 0 )f (s)dsdt (x) (5.113)

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.
123
Con los teoremas de Fredholm demostrados queda concluida la teora general de las ecuaciones
integrales de Fredholm de segundo tipo con n
ucleo arbitrario.
Dada la importancia que revisten los n
ucleos simetricos para la Fsica estudiaremos en el
proximo captulo algunos aspectos complementarios de la teora para las ecuaciones con n
ucleo
simetrico.
124
Jose Marn Antu

na
Captulo 6
Aspectos Complementarios de la Teora
de Ecuaciones con N
ucleo Sim
etrico
En el presente captulo analizaremos las ecuaciones integrales de Fredholm de segundo tipo con
n
ucleo simetrico.
6.1
Desarrollo de un n
ucleo sim
etrico en serie bilineal
Analizaremos en este epgrafe la ecuacion integral de Fredholm de segundo tipo homogenea
K(x, s)(s)ds
(x) =
(6.1)
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 n
ucleo, 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 n
ucleo de la ecuacion (6.1) es simetrico. Ello significa que se cumple la
igualdad:
x)
K(x, s) = K(s,
(6.2)
Dado el sistema de autovalores y autofunciones del n

ucleo simetrico K(x, s), pongamos en
correspondencia a dicho n
ucleo la serie bilineal:
125
126
Jose Marn Antu

na
X
k (x)k (s)
K(x, s)
k=1
6.1.1
(6.3)
Convergencia de la serie bilineal al n

ucleo de la ecuaci
on integral

Teorema.
Si la serie bilineal (6.3) converge uniformemente para a x b, a s b, lo hace al n
ucleo
K(x, s).
Demostraci
on:
Analicemos el n
ucleo
H(x, s) = K(x, s)
X
k (x)k (s)
k=1
(6.4)
de la ecuacion
Z
(x) =
H(x, s)(s)ds
(6.5)
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 n
ucleo K(x, s).
Tenemos que, para cualquier m:
Z b (Z b "
0 (x)m (x)dx
a
K(x, s)0 (s)

a
Z b (Z
0
a
X
k (x)k (s)
k=1
k
Z b
0 (s) ds m (x)dx
)
k (s)
K(x, s)m (x)dx
k (x)m (x)dx 0 (s)ds =
k
a
k=1

Z b
m (s) m (s)
0 (s)ds 0 (6.6)
= 0
m
m
a
Aspectos Complementarios de la Teora de Ecuaciones con N

ucleo 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 n
ucleo K(x, s) correspondientes a m
y que, por lo tanto, son ortogonales, es decir:
b
k (x)m (x)dx = km
(6.7)
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 n
ucleo K(x, s).
Demostremos, ahora, que 0 (x) es, tambien, autofuncion del n
ucleo 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
k
a
a
k=1
Z
Z b
X
k (x) b
k (s)0 (s)ds 0
K(x, s)0 (s)ds
0
k
a
a
k=1
(6.8)
Como conclusion llegaramos al absurdo de que, al ser 0 (x) ortogonal a todas las autofunciones
del n
ucleo K(x, s) y ser, a su vez, autofuncion de dicho n
ucleo, debera ser ortogonal a s misma.
Por consiguiente, tiene que ser H(x, s) 0, es decir
K(x, s)
X
k (x)k (s)
k=1
(6.9)
O sea, efectivamente, la serie converge al n

ucleo K(x, s).
6.1.2
Series bilineales para n

ucleos iterados
Como sabemos, los n

ucleos iterados se definen mediante la expresion:
Z
Kn (x, s) =
K(x, s)Kn1 (t, s)dt, n = 1, 2, ...
(6.10)
Seg
un vimos en el Captulo 2, las autofunciones k (x) del n
ucleo K(x, s), correspondientes a
los autovalores k , son tambien autofunciones del n
ucleo iterado (6.10) con autovalores nk .
128
Jose Marn Antu

na
Pongamos en correspondencia al n
ucleo iterado (6.10) la siguiente serie bilineal:
Kn (x, s)
X
k (x)k (s)
k=1
(6.11)
nk
Se cumple la siguiente afirmacion:

Teorema.
Para el n
ucleo iterado (6.10) la serie bilineal (6.11) converge absoluta y uniformemente a el.
Demostraci
on:
De acuerdo con (6.10), el n
ucleo iterado es emanante del n
ucleo K(x, s). Por lo tanto, por
el teorema de Hilbert-Schmidt, admite un desarrollo en serie de autofunciones convergente
absoluta y uniformemente:
Kn (x, s) =
Knk (s)k (x)
(6.12)
k=1
donde
Z
Kn (x, s)k (x)dx
Knk (s) =
a
k (s)
nk
(6.13)
ya que las funciones k (x) son autofunciones del n

ucleo iterado con autovalores nk . Por consiguiente:
Kn (x, s) =
X
k (x)k (s)
k=1
nk
(6.14)
6.1.3
ucleos definidos positivos y definidos negativos

N

Definici
on.
El n
ucleo 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:

ucleo Simetrico
Z bZ
Z
K(x, s)f (x)f (s)dxds =
I=
a
Z
f (x)
=
a
129

K(x, s)f (s)ds dx =
X
X
X
fk
fk b
fk2
f (x)
k (x)dx =
f (x)k (x)dx
k
k a
k
k=1
k=1
k=1
(6.15)
En este resultado hemos tenido en consideracion el hecho de que la integral encerrada entre
llaves es la expresion de una funcion emanante del n
ucleo, por lo que, de acuerdo con el teorema
de Hilbert-Schmidt, admite el desarrollo en serie de autofunciones escrito.
Teorema.
Para que el n
ucleo K(x, s) sea definido positivo es necesario y suficiente que la integral (6.15)
cumpla que I 0.
Demostraci
on:
Necesidad.
Sea I 0. Entonces, de acuerdo con (6.15)
X
f2
k
k=1
(6.16)
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
I=
X
f2
k
k=1
Ya en el Captulo 2 habamos hablado que si la serie bilineal converge uniformemente, lo hace
al n
ucleo simetrico K(x, s). El teorema del punto 1 de este epgrafe logro establecer con rigor
este hecho.
Sin embargo, en ning
un momento se ha hablado de un recproco para esta afirmacion. Para los
n
ucleos definidos positivos y definidos negativos tiene lugar el siguiente teorema de Mercer.
Teorema.
130
Jose Marn Antu

na
Si el n
ucleo K(x, s) es definido positivo o definido negativo, entonces, la serie bilineal converge
absoluta y uniformemente a dicho n
ucleo.
Demostraci
on:
Haremos la demostracion para los n
ucleos definidos positivos.
Sea K(x, s) un n
ucleo definido positivo; es decir, sus autovalores k > 0. Analicemos la siguiente
funcion:
Hm (x, s) = K(x, s)
m
X
k (x)k (s)
k=1
(6.17)
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
Hm (x, x) = K(x, x)
m
X
2 (x)
k
k=1
(6.18)
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, seg
un vimos, tambien es definido positivo. Por consiguiente, de
(6.18), obtenemos que
m
X
2 (x)
k
k=1
K(x, x)
Es decir, la suma parcial de la serie
X
2 (x)
k
k=1
(6.20)

ucleo Simetrico
131
es acotada por encima y, por lo tanto, converge. Por lo tanto:

m
X
2
k (x)

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

)1/2
m
m
m
(

X
2
2
X
X
(x)
(x)
x)
(s)

k
k
k
k
< , n, m > N

k
k
k
k=n
k=n
(6.22)
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 n
ucleo K(x, s). Efectivamente, tenemos que:
Z b"
K(x, s)
m
X
k (x)k (s)
#2
ds =
k=1
"
#2
Z b
m
m
X
X
k (x)k (s)
k (x)k (s)
K 2 (x, s) 2K(x, s)
+
ds =
k
k
a
k=1
= K2 (x, x) 2
m
X
k=1
k=1
m
X
m
X
2k (x)
2k (x)
2k (x)
+
K
(x,
x)
2
2k
2k
2k
k=1
k=1
(6.23)
Para obtener (6.23), hemos tenido en consideracion que:
K(x, s)K(x, s)ds K2 (x, x)
K (x, s)ds =
(6.24)
pues el n
ucleo K(x, s) es simetrico;
Z
m
X
k (x)
k=1
y que:
K(x, s)ds 2
m
X
k (x) k (x)
k=1
m
X
2 (x)
k
k=1
2k
(6.25)
132
Jose Marn Antu

na
#2
Z b "X
m
m Z b 2
X
k (x)k (s)
k (x)2k (s)
+
ds =
k
2k
a
k=1
k=1 a
Z
m
m X
m
X
X
2k (x)
k (x)l (x) b
(s)
(s)ds
=
+
k
l
2k
2k
a
k=1
k=1 l=1
(6.26)
(k6=l)
pues
b
k (s)l (s)ds = kl
(6.27)
Por lo tanto, de (6.23), tenemos:

Z b"
K(x, s)
a
m
X
k (x)k (s)
k=1
#2

m

2
X
(x)

k
ds = K2 (x, x)
<

2k
(6.28)
k=1
para m > N , ya que, por el teorema anterior, la serie del n

ucleo iterado K2 (x, s) converge
uniformemente.
Por consiguiente, queda demostrada la convergencia en media de nuestra serie bilineal al n
ucleo
K(x, s).
Por u
ltimo, 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 n
ucleo K(x, s).
Para los n
ucleos definidos negativos la demostracion es identica.
6.2
Resolvente del n
ucleo sim
etrico
Para cualquier n
ucleo, es posible demostrar que la resolvente se expresa en terminos de la
siguiente serie:
R(x, s, ) =
X
n=1
para valores de tales que
n1 Kn (x, s)
(6.29)

ucleo Simetrico
|| <
M 2 (b
133
(6.30)
a)
Esto es evidente, si tenemos en cuenta que en el epigrafe Complementos de la teora espectral de operadores, del Captulo Elementos de Espacios Funcionales y Operadores
del libro de M
etodos Matem
aticos de la Fsica, obtuvimos la convergencia de la serie de
Neumann
(A)n I + R()
(6.31)
n=0
para valores de tales que
|| <
1
kAk
(6.32)
Despejando R() de (6.31), obtenemos, efectivamente:
R(x, s, ) =
n1 An
(6.33)
n=1
que es equivalente a (6.29).

Si el n
ucleo K(x, s) es simetrico, entonces, el n
ucleo iterado Kn (x, s) que aparece en (6.29) se
expresa a traves de su serie bilineal. Por lo tanto, tendremos:
R(x, s, ) = K(x, s) +
n1
n=2
1
K(x, s) +
= K(x, s) +
X
k (x)k (s)
nk
k=1
k (x)k (s)
X
n
n=2
k=1
k (x)k (s)
k=1
nk
=
=
k (k )
(6.34)
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 n
ucleos en general, tenamos que:
R(x, s, ) =
D(x, s, )
D()
(6.35)
134
Jose Marn Antu

na
y que la primera relacion fundamental de los menores de Fredholm, para p = 1, era:

b
D(x, x, )dx = D0 ()
(6.36)
Por lo tanto, de (6.35) y (6.36), obtenemos:

b
Z
a
D0 ()
R(x, x, )dx =
D()
(6.37)
Por consiguiente, de acuerdo con (6.34), para los n

ucleos simetricos, obtenemos:
Z
R(x, x, )dx =
K(x, x)dx +
X
k=1
k (k )
(6.38)
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
D()

(6.39)
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 n
ucleo es simetrico, tendremos que
K(x, s) =
X
k (x)k (s)
k=1
(6.40)
R(x, s, ) =
X
k (x)k (s)
k=1
(6.41)
Como la expresion general de la solucion de la ecuacion integral es

Z
(x) = f (x) +
R(x, s, )f (s)ds
a
obtenemos para la solucion de la ecuacion con n

ucleo simetrico:
(6.42)

ucleo Simetrico
Z
X
X
k (x) b
fk k (x)
(x) = f (x) +
k (s)f (s)ds f (x) +
k a
k
k=1
k=1
Es decir, la conocida formula de Schmidt.
135
(6.43)
136
Jose Marn Antu

na
Captulo 7
Ecuaci
on 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
Introducci
on
La ecuacion integral de Fredholm de primer tipo tiene la forma:

Z
K(x, s)(s)ds
(x) =
(7.1)
Si tenemos una clase de funciones emanantes del n

ucleo, como se ve de (7.1), la solucion existira.
Si el n
ucleo es cerrado; es decir, si
Z
K(x, s)F (s)ds = 0
(7.2)
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
138
Jose Marn Antu

na
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.
Demostraci
on:
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 A
x = 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 n
ucleo 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
2
K(x, s)(s)ds f (x)
Q=
c
dx
(7.4)
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
{p(s)[0 (s)]2 + q(s)2 (s)}ds
R=
(7.5)
donde p y q pertenecen a C(a, b) y veamos, ademas, el siguiente funcional:
L [, f ] = Q + R
(7.6)
Si es peque
na, 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 u
nica
(x) que realiza el mnimo del funcional (7.6).
Demostraci
on:
La demostracion la dividiremos en varias partes:
1) Condici
on 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
Calculemos (7.9). Tenemos que, integrando por partes:
(7.9)
140
Jose Marn Antu

na
Z
Z

K(x, s)(s)ds dx +
K(x, s) (s)ds f (x)

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
l (0) = 2
(7.10)
Analicemos el primer sumando en (7.10). Tenemos, despues de varias operaciones simples:
2
= 2
Z
Z

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
K(x, s ) (s )ds
K(x, s)(s)ds dx
c
a
a
Z b

Z d
2
f (x)
K(x, s)(s)ds dx =
c
a

Z b Z b Z d
0
K(x, s)K(x, s )dx (s0 ) (s)ds0 ds
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
Z
(7.11)
donde hemos introducido la notacion:

Z
H(s, s ) =
K(x, s)K(x, s )dx, F (s) =

c
K(x, s)f (x)dx
(7.12)
l0 (0)
=
2
Z b Z
a

H(s, s ) (s )ds F (s) (p(s) (s)) q(s)(s) (s)ds +
0
+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]. Entonces, 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:
141
H(s, s0 ) (s0 )ds0 F (s) [(p(s)0 (s))0 q(s)(s)] = 0
(7.14)
2) Unicidad del problema de la ecuaci

on (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 soluci
on.
Con ayuda de la funcion de Green invirtamos en (7.14) el operador diferencial. Se obtiene la
ecuacion:
1
(s) =
D(s, s0 )(s0 )ds0 + d(s)
(7.16)
donde
D(s, s ) =
a
1
G(s, t)H(s, s )dt, d(s) =
G(s, t)F (t)dt
(7.17)
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 u
nica.
4) Existencia de la funci
on 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 ]
lo que significa que, efectivamente, realiza el extremo de L .
Demostrado el primer teorema de Tjonov.
(7.19)
142
Jose Marn Antu

na
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 u
nica
solucion de (7.14) y, por u
ltimo, 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
2
K(x, s)(s)ds f0 (x)
L [, f ] =
c
Z
dx +
{p(s)[0 (s)]2 + q(s)2 (s)}ds
(7.21)
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).
Demostraci
on:
Por hipotesis, la funcion 0 (s, ) realiza el extremo del funcional (7.21). Por lo tanto
Z
L [0 (s, ), f0 ] L [0 (s), f0 ] =
{p(s)[00 (s)]2 + q(s)20 (s)}ds C0
(7.22)
La primera integral del funcional se anula, ya que 0 (s) es solucion de la ecuacion (7.1); C0
es cierto n
umero. Veamos en el espacio de funciones con primera derivada continua C 0 (a, b) la
clase de funciones que satisfacen la condicion
Z
{p[0 ]2 + q2 }ds C0
(7.23)
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
143
acotada y equicontinua; entonces, por el teorema de Artzela, sera compacta. Tenemos que, en
particular, se cumple de (7.23) que:
Z
p[0 ]2 ds C0
(7.24)
Es decir:
b
[0 (s)]2 ds C1
C0
min p(s)
(7.25)
C0
min q(s)
(7.26)
Analogamente, se cumple que

b
2 (s)ds C2
Demostremos la equicontinuidad. Tenemos que

Z

s2
s1

(s)ds = |(s2 ) (s1 )|
0
(7.27)
y, por la desigualdad de Cauchy-Buniakovsky:

Z
1/2
Z
p

0
2
2
s2 [ (s)] ds s2 1 ds
C1 |s2 s1 |

s1
(7.28)
s1
De (7.28), tomando |s2 s1 | < , donde =
2
,
C1
obtenemos que
Z
Z s2
1/2
s2

[0 (s)]2 ds
12 ds

<

s1
s1
(7.29)
|(s2 ) (s1 )| <
(7.30)
y, con mayor razon a

un:
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
|(s0 )|
C2
ba
(7.31)
144
Jose Marn Antu

na
y como
|(s) (s0 )|
C1 (b a)
(7.32)
concluimos que
r
|(s)|
p
C2
+ C1 (b a)
ba
(7.33)
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
f0 (x, ) =
K(x, s)0 (s, )ds
(7.34)
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)
k 0 (x, ) 0 (x) k<
(7.38)
y, por consiguiente
Demostrado el segundo teorema de Tjonov.

Como consecuencia daremos la siguiente definicion.
Definici
on.
145
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
b
(7.39)
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)
k 1 (s, x) 0 (x) k<
(7.41)
donde 0 < < 0 , se cumple que
para todo
1 <
Demostraci
on:
2
< 2
146
Jose Marn Antu

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

Z b
2
[f0 (x) f1 (x)] dx +
{p(s)[00 (s)]2 + q(s)20 (s)}ds
2 + C0 (2 + C0 )
(7.42)
Veamos la clase M de funciones que satisface la condicion

Z
{p[0 ]2 + q2 }ds 2 + C0
(7.43)
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)
k k<
(7.45)
se cumple que
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 )
1
(7.46)
donde hemos supuesto
0 (, 2 , 1 , f0 ) =
Por consiguiente,
0 (, 2 , f0 )
q
0
1 + 2 +C
1
(7.47)
147
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 peque

no 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 peque
no (converge el segundo
y diverge el primero), sino que hay que elegirlo dentro del diapason dado por la relacion
1 <
2
< 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).
148
Jose Marn Antu

na
Captulo 8
Ecuaciones Integrales entre Lmites
Infinitos con N
ucleos 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 n
ucleos 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 infinitos con n

ucleo dependiente de la diferencia de
variables
La ecuacion integral a cuyo estudio nos dedicaremos ahora tiene la forma:

Z
K(x s)(s)ds + f (x)
(x) =
(8.1)
donde suponemos que el n

ucleo 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
150
Jose Marn Antu

na
2
D() = 1
K(t1 , t1 )dt1 +
2

K(t1 , t1 ) K(t1 , t2 )

K(t2 , t1 ) K(t2 , t2 )

dt1 dt2 + ...

(8.3)
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 completamente 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 n
ucleos iterados es facil comprobar el mismo hecho. Tenemos:
Z
K(x t)K(t s)dt
K2 (x, s) =
K(x s )K( )d K2 (x s)
(8.6)
Por consiguiente, de acuerdo con (8.2):

Z

|K2 (t)| =
Z

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

Z Z

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 n

ucleo iterado de orden n que:
k A k
|Kn (t)|dt M n , |Kn (x, s)| nM n1
(8.9)
Ecuaciones Integrales entre Lmites Infinitos
151
Es decir, los n
ucleos iterados y la norma del operador iterado son, tambien, acotados. De esta
forma, podemos garantizar la existencia de la resolvente
R(t, ) =
n1 Kn (t)
(8.10)
n=1
dentro del crculo de convergencia.
8.2
Autofunciones de la ecuaci
on homog
enea
Busquemos la solucion de la ecuacion integral

Z
K(x s)(s)ds
(x) =
(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):
ix
K(t)ei(xt) dt = eix K()
(8.13)
donde
Z
K() =
K(t)eit dt
(8.14)
es la transformada de Fourier del n

ucleo 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
K()
(8.15)
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).
152
Jose Marn Antu

na
Es logico preguntarse si existen, acaso, otros puntos del espectro del operador. La respuesta es
negativa y lo veremos mas adelante.
8.3
Soluci
on de la ecuaci
on no homog
enea
Para hallar la solucion de la ecuacion integral no homogenea

Z
K(x s)(s)ds + f (x)
(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:
u(x)eix dx
u() =
(8.18)
I() es la transformada de Fourier de la integral:

Z
ix
Z
K(x s)(s)ds dx K()()
I() =

(8.19)
por el teorema de la convolucion de la transformada de Fourier.

Por consiguiente, de (8.17) y (8.19), obtenemos:
() =
f ()
1 K()
(8.20)
As pues, la solucion de la ecuacion (8.16) viene expresada por la formula:

1
(x) =
2
eix
f ()d
1 K()
(8.21)
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.
153
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
2 1 K()
(8.22)
En la integral entre llaves a la derecha de (8.22) hagamos t = x s. Entonces:

Z
is
ix
eit K(t)dt eix K()
K(x s)ds = e
(8.23)
Sustituyendo (8.23) en (8.22), obtenemos, finalmente:

Z
R(x s, )f (s)ds
(x) = f (x) +
(8.24)
donde
1
R(t, ) =
2
eit
d
()
(8.25)
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 n
ucleo de la ecuacion (8.16) tiene la
forma:
K(t) = e|a|t
(8.26)
Es facil calcular que
K() =
y, por consiguiente
a2
2a
+ 2
(8.27)
154
Jose Marn Antu

na
() =
1
a2 + 2
=
K()
2a
(8.28)
Por lo tanto, la ecuacion = () tiene por races:
2a a2
(8.29)
Figura 8.1: Plano con corte a partir del punto
a
2
De aqu que el conjunto espectral existe para a/2. La resolvente sera, de (8.25):
1
R(t, ) =
2
eit
a
d =
()
eit d
a2 + 2 2a
(8.30)
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 =
155
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:
a
it

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

R(t, ) =
2a a2
(8.33)
156
Jose Marn Antu

na
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 u
nica, 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
d
K ()
(8.36)
157
Figura 8.3: Graficos de K() y ()

Por consiguiente:
0 (0 ) =
K 2 (0 )
K 0 (0 )
(8.37)
Colocando esta expresion (8.37) en (8.35), nos queda:
() = (0 )
K 2 (0 )
K 0 (0 )
(8.38)
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
158
Jose Marn Antu

na
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 seg
un 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
() = 0 +
K 2 (0 )
i
|K 0 (0 )|
(8.40)
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.
159
Para este desplazamiento, logrado con la prolongacion analtica descrita, la solucion de la

ecuacion integral vendra dada por la transformada inversa de Fourier:
1
(x, ) =
2
eix (, )d
(8.41)
Esta solucion corresponde a = 0 + i, ( > 0).

Veamos a donde tiende esta integral, para 0. Para ello, analicemos la integral siguiente:
1
+ (x, 0 ) =
2
eix (, 0 )d
(8.42)
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
160
Jose Marn Antu

na
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
1
(x, 0 ) =
2
eix (, 0 )d
(8.43)
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
161
+ (x, 0 ) + (x, 0 )
1
0 (x, 0 ) =
=
2
2
eix (, 0 )d
(8.44)
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 m
ultiples, 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:
1
R(x, ) =
2
eix R(, 0 )d
(8.45)
1
K()
()
K()
(8.46)
donde
R(, ) =
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 n
ucleo es el analizado en el ejemplo anterior; ademas, la inhomogeneidad
tiene esa misma forma. Por lo tanto:
K() = f () =
2a
a2 + 2
(8.48)
Los graficos de K() y () se muestran en la figura 8.7 (a) (b). Aqu tendremos:
(, ) =
f ()
2a
= 2
1 K()
(2a a2 )
(8.49)
R(, ) =
K()
2a
= 2
1 K()
(2a a2 )
(8.50)
162
Jose Marn Antu

na
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:
1
+ (x, ) = R+ (x, ) =
2
Z
C+
2aeix
d
2 (2a a2 )
Calculando los residuos, seg

un los casos x > 0 y x < 0, obtenemos:
(8.52)
163
2aei()x
, x > 0
2()
2aei()x
+ (x, ) = i
, x < 0
2()
+ (x, ) = i
(8.53)
Es decir, finalmente:
ei
+ (x, ) = ia
2aa2 |x|
2a a2
(8.54)
De forma totalmente analoga se obtiene:
ei| 2aa ||x|

(x, ) = ia
| 2a a2 |
(8.55)
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|]
| 2a a2 |
(8.56)
que sera la solucion particular de la ecuacion homogenea.

Ademas, para la solucion general de la ecuacion homogenea, tendremos:
ia
+
=
cos[| 2a a2 ||x|]
2
| 2a a2 |
(8.57)
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 especializada sobre el mismo.
164
Jose Marn Antu

na
Captulo 9
El M
etodo de Wiener-Hopf (M
etodo
de Factorizaci
on)
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 a
no 1931 relacionado con la solucion de ecuaciones integrales con n
ucleo dependiente de
la diferencia de sus argumentos en el semieje (0, ), es decir, del tipo
Z
K(x s)(s)ds + f (x)
(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
K(x s)(s)ds + f (x)
(x) =
165
(9.1)
166
Jose Marn Antu

na
Para valores reales de y las condiciones

tiene solucion u
nica.
|f (x)|2 dx < A,
|K(x)|2 dx < 1, esta ecuacion
Definamos la transformada de Fourier as:

1
U (k) =
2
u(x)e
ikx
1
dx u(x) =
2
U (k)eikx dx
(9.2)
Esta definicion tambien es valida, pues en definitiva la transformada de Fourier sale de la

integral de Fourier
Z Z
1
u(s)eik(sx) dsdk =
u(x) =
2

Z
Z
Z
1
1
1
iks
ikx
=
u(s)e ds e
dk
U (k)eikx dk
2
2
2
(9.3)
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
(k) =
2
ikx
K(x s)(s)dsdx + F (k)
(9.4)
Calculemos:

Z
Z
Z
Z
iks
ikx
K(x s)e dx ds =
e
K(x s)(s)dsdx =
(s)
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)

De aqu,
(k) =
F (k)
1 2K(k)
(9.6)
El Metodo de Wiener-Hopf (Metodo de Factorizacion)
167
por tanto,
1
(x) =
2
ikx
(k)e
1
dk =
2
F (k)eikx
dk
1 2K(k)
(9.7)
Notese que es lo mismo que en el Captulo anterior, con ligeras variaciones.

Escribamos (9.6) as:
(k) F (k) = 2
F (k)K(k)
= 2R(k)F (k)
1 2K(k)
(9.8)
donde
R(k) =
K(k)
1 2K(k)
(9.9)
y por tanto,
Z
(x) = f (x) +
R(x s)f (s)ds
(9.10)
R(k)eikx dk
(9.11)
donde
1
R(x) =
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
K(x s)(s)ds + f (x)
(x) =
(9.12)
con K(x) = ea|x| , se obtiene la misma expresion de la solucion

a
(x) = f (x) +
a2 2a
con < a/2.
e|xs|
a2 2a
f (s)ds
(9.13)
168
Jose Marn Antu

na
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
K(x s)(s)ds + f (x)
(x) =
(9.14)
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

1
F (k) =
2
f (x)eikx dx
(9.15)
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,
1
F (k) =
2
1
F+ (k) =
2
f (x)e
1
dx +
2
ikx
f+ (x)eikx dx = F (k) + F+ (k)
(9.18)
f+ (x)eikx dx
(9.19)
Veamos
169
Sea
|f+ (x)| < M e x
(9.20)
para x . Entonces, si representamos k = k1 + ik2 , tenemos:
ikx
f+ (x)e
Z

dx
ik1 xk2 x
|f+ (x)||e
e(k2 )x dx =
|dx < M
M
M
e(k2 )x |0 =
<
k2
k2
(9.21)
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
px
F (p) =
f (x)e
0
1
dx; f (x) =
2i
a+i
F (p)epx dp
(9.22)
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+ (x)eikx dx F+ (k)
F (ik) =
(9.23)
y, por tanto,
1
f+ (x) =
2i
+ia
ikx
F (ik)e
+ia
1
(idk)
2
+ia
F+ (k)eikx dk
(9.24)
+ia
Por consiguiente, como F+ (k) es analtica para Im k > , para hallar la antitransformada integramos por cualquier recta paralela al eje real contenida en el semiplano superior de analiticidad.
En vez de
As pues,
1
2
pondremos
1 ,
2
ya que en la transformada directa utilizamos
1 .
2
170
Jose Marn Antu

na
1
f+ (x) =
2
+ia
F+ (k)eikx dk
(9.25)
+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
1
F (k) =
2
f (x)eikx dx
(9.27)
F (k)eikx dk
(9.28)
es analtica para Im k < + y

1
f (x) =
2
+i
+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
1
F (k) =
2
f (x)eikx dx
(9.29)
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 + ).
171
Entonces,
1
f (x) =
2
+i
F (k)eikx dk
(9.30)
+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 transformada de Fourier
1
1
F (k) =
2
2 a + k 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 n

ucleos dependientes de la diferencia
Sea inicialmente la ecuacion homogenea

Z
K(x s)(s)ds
(x) =
(9.31)
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
K(x s)+ (s)ds, x < 0
(x) =
0
(9.34)
172
Jose Marn Antu

na
K(x s)+ (s)ds, x > 0
+ (x) =
(9.35)
que sumadas dan
K(x s)+ (s)ds, x
(x) + + (x) =
(9.36)
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,

1
K(k) =
2
K(x)eikx dx
(9.39)
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 xx
Z

K(x s)+ (s)ds
|K(x s)||+ (s)|ds = {y = x s} =
|K(y)||+ (x y)|dy =
x
|K(y)||+ (x y)|dy < M M1 e
M M1 x + x x
= (+ > 0) =
e e e
+
As pues para el semieje negativo
e(+ )y dy =
M M1 (+ )y x
e
| =
+
(9.41)
173
| (x)| < M2 e+ x , x
(9.42)
Aplicando la transformada de Fourier a + (x) y (x) tendremos

1
+ (x) + (k) =
2
+ (x)eikx dx
(9.43)
(x)eikx dx
(9.44)
que es analtica para Im k > ,

1
(x) (k) =
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)
[1 2]+ (k) + (k) = 0
(9.46)
as,
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)
L (k)
(9.48)
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 com
un de analiticidad < Im k < + en la
que ambas funciones son iguales.
174
Jose Marn Antu

na
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,
+ (k) =
Pn (k)
Pn (k)
; (k) =
L+ (k)
L (k)
(9.50)
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)
El n
ucleo es e|x| . Ya sabemos que
2
1
K(k) =
2
2 k + 1
(9.52)
As,
1
2
2
k 2 2 + 1
L(k) = 1 2
=
1
=
=
k2 + 1
k2 + 1
2 k 2 + 1
=
k2 2+1
k+i
ki
L+ (k)
L (k)
(9.53)
O sea, factorizamos as:
L+ (k) =
k 2 (2 1)
k+i
(9.54)
2
tiene
un cero en k = (2 1) y es analtica univaluada y diferente de cero para Im k >
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).
175
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 com
un de analiticidad de L+ (k) y L (k), univaluadas y diferentes de cero, es <
Im k < 1 para 0 < < 21 .
En el caso en que >
0 < Im k < 1.
1
2
el dominio com
un de analiticidad de L+ (k) y L (k) es la franja
As las cosas, hemos logrado la factorizacion necesitada de la funcion L(k) dada en la ecuacion
(9.53).
Tenemos ahora que
+ (k)L+ (k) = + (k)
k 2 (2 1)
k+i
(9.56)
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) = C
k2
k+i
2 + 1
(9.59)
por lo que
C
+ (x) =
2
+i
+i
k2
k+i
eikx dk
(2 1)
(9.60)
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):
176
Jose Marn Antu

na

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

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 +
2 1
(9.62)
(x) se calcula a partir de + (x).

Observemos que para 0 < < 12 esta solucion crece exponencialmente con x y que para
1
< < es acotada en el infinito.
2
Conclusi
on:
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.4
(9.64)
Esquema general del M

etodo 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
177
A(k)
L+ (k)
=
B(k)
L (k)
(9.66)
(llamada primera factorizaci

on), 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 com
un, es decir, una interseccion no nula.
Entonces la ecuacion general puede escribirse as:
L+ (k)+ (k) + L (k) (k) + L (k)
C(k)
=0
B(k)
(9.67)
Supongamos que el u
ltimo sumando puede escribirse as:
L (k)
C(k)
= D+ (k) + D (k)
B(k)
(9.68)
(llamada segunda factorizaci

on), 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 com
un
0
0
en la franja < Im k < + , 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 u
nica entera Pn (k) que coincide con ellas en cada semiplano y
con las dos en la franja.
Entonces, despejando
Pn (k) D+ (k)
L+ (k)
(9.70)
Pn (k) D (k)
L (k)
(9.71)
+ (k) =
(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
178
Jose Marn Antu

na
K(x s)(s)ds + f (x)
(x) =
(9.72)
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) =
o sea,
2K(k)+ (k) + F+ (k) + F (k)
(9.79)
L(k)+ (k) + (k) F (k) = 0

donde L(k) = 1
179
(9.80)
2K(k). La primera factorizacion es:
L(k) =
L+ (k)
L (k)
(9.81)
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)
L+ (k)
Pn (k) + L (k)F (k) + D (k)
(k) =
L (k)
+ (k) =
De aqu se hallan con la transformada inversa + (x) y (x).
(9.85)
180
Jose Marn Antu

na
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
1
q
q
3. 1 = 2 = 2 , 1 (x) = 2 cos x, 2 (x) = 2 sin x
(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:
3
1 = , 1 (x) =
2
3
5
x, 2 = , 2 (x) =
2
2
5 2
x
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
182
Jose Marn Antu

na

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

0 = 2, 0 =
2
x
Solucion de la ecuacion no homogenea:

(x) =
x2 + 2
x

r
0 = 1, 0 (x) =
Solucion de la ecuacion no homogenea: (x) = x.
3
x
7
Bibliografa
Referencias
1. A Angot, Complementos de Matem
atica
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 Antu
na, Teora de Funciones de Variable Compleja
6. J Marn Antu
na, Metodos Matem
aticos 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 Matem
atica 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 Matem
atica
183

Ecuaciones Integrales PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Ecuaciones Integrales PDF

Hochgeladen von

Copyright:

Verfügbare Formate

ECUACIONES INTEGRALES

JOS MIGUEL MARN ANTUA

TEXTO DE LAS CARRERAS LICENCIATURA E

Ecuacion integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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

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

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

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

Ejemplos de solucion de ecuaciones integrales de

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

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

Equivalencia entre un problema de

Propiedades de los autovalores y de las autofunciones del problema de

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

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

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

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

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

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

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

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

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

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

6 Aspectos Complementarios de la Teora de Ecuaciones con N

Convergencia de la serie bilineal al n

Series bilineales para n

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

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

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

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

8 Ecuaciones Integrales entre Lmites Infinitos con N

Propiedades del operador integral entre lmites infinitos con n

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

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

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

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

Ecuaciones integrales en el semieje con n

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

10 Respuestas a los ejercicios

K(x, s)(s)ds = f (x)

K(x, s)(s)ds + f (x)

En ambas ecuaciones definidas as, la funcion f (x) recibe el nombre de inhomogeneidad de la

Jose Marn Antu

En la definicion dada arriba no se hace ning

K(x, s)(s)ds = f (x)

K(x, s)(s)ds + f (x)

Clasificacion de las ecuaciones integrales

K(M, P )(P )dP + f (M )

donde M = (x, y, z), P = (, , ) y V es un dominio en el espacio tridimensional.

Problemas que conducen a ecuaciones integrales

donde la funcion v es armonica en el dominio donde se busca la solucion del problema:

Por consiguiente, la solucion del problema (1.6) puede expresarse como,

G(M, P )u(P )dP

que es una ecuacion integral de Fredholm de segundo tipo homogenea con n

Jose Marn Antu

poda ser buscada como un potencial de doble capa,

y para la funcion de densidad dipolar (M ) obtuvimos la ecuacion,

ak (x)(k) (x) = f (x)

(a) = 0, (a) = 0, ..., (n1) (a) = 0

donde y(x) es una nueva funcion incognita. De (1.16) tenemos:

Clasificacion de las ecuaciones integrales

Colocando (1.17) y (1.18) en la ecuacion del problema (1.5), se obtiene:

K(x, s)y(s)ds = f (x)