Ecuaciones Integrales Lineales

Antonio Hernndez Cabrera

Departamento de Fsica Bsica
Universidad de La Laguna
Tenerife. Islas Canarias
ajhernan@ull.es
6 de febrero de 2008
2
ndice general
1. Ecuaciones integrales lineales 7
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Deniciones simblicas . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1. 1. Fredholm 1
a
clase . . . . . . . . . . . . . . . . . . . 7
1.2.2. 2. Fredholm 2
a
clase . . . . . . . . . . . . . . . . . . . 8
1.2.3. 3. Volterra 1
a
clase . . . . . . . . . . . . . . . . . . . . 8
1.2.4. 4. Voterra 2
a
clase . . . . . . . . . . . . . . . . . . . . 8
1.2.5. Ejemplo: Teora del transporte de neutrones. Ecuacin
de Boltzmann. . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.6. Ejemplo: Representacin momento en mecnica cuntica. 11
1.2.7. Ejemplo. Ecuacin diferencial. . . . . . . . . . . . . . . 13
1.3. Transformadas integrales . . . . . . . . . . . . . . . . . . . . . 16
1.3.1. Fredholm de 1
o
clase . . . . . . . . . . . . . . . . . . . 16
1.3.2. Fedholm 2
a
clase. . . . . . . . . . . . . . . . . . . . . . 17
1.3.3. Volterra 1
a
clase. . . . . . . . . . . . . . . . . . . . . . 17
1.3.4. Volterra 2
a
clase. . . . . . . . . . . . . . . . . . . . . . 17
1.3.5. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4. Ncleo como funcin generatriz. . . . . . . . . . . . . . . . . . 18
1.5. Teoremas de Fredholm . . . . . . . . . . . . . . . . . . . . . . 20
1.5.1. Teorema I: . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5.2. Teorema II:
23
1.5.3. Teorema III: . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6. Ecuaciones integrales con ncleos separables o degenerados. . . 23
1.7. Series de Neumann. Ncleos pequeos . . . . . . . . . . . . . . 27
1.7.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.8. Mtodo de la resolvente de Fredholm . . . . . . . . . . . . . . 30
3
4 NDICE GENERAL
1.8.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.9. Mtodo de Hilbert-Schmidt. Ncleos simtricos . . . . . . . . 34
1.9.1. Norma de una funcin . . . . . . . . . . . . . . . . . . 35
1.9.2. Convergencia de funciones . . . . . . . . . . . . . . . . 35
1.9.3. Producto escalar de dos funciones . . . . . . . . . . . . 35
1.9.4. Conjunto de funciones ortonormales . . . . . . . . . . . 36
1.9.5. Coecientes de Fourier de ,(r) . . . . . . . . . . . . . 36
1.9.6. Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.9.7. Teorema: . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.9.8. Aplicacin a las ecuaciones integrales . . . . . . . . . . 38
1.9.9. Teorema de Hilbert-Schmidt . . . . . . . . . . . . . . . 40
1.9.10. Teorema del desarrollo del ncleo . . . . . . . . . . . . 40
1.9.11. Mtodo de Hilbert-Schmidt: Ec. inhomogneas . . . . . 41
1.10. Ecuaciones de Volterra . . . . . . . . . . . . . . . . . . . . . . 47
NDICE GENERAL 5
PREMBULO
Cuando estudiaba fsicas, hace ya unas cuantas dcadas, las ecuaciones
integrales llamaron mi atencin por su potencial aplicabilidad. Sin embargo,
hasta mucho tiempo despus, trabajando con problemas de fotoexcitacin,
no tuve que utilizarlas. Mi experiencia en resolver problemas basados en la
ecuacin matricial de Liouville ha hecho que encuentre un sinfn de posibili-
dades para aplicar la teora de las ecuaciones integrales. Sin embargo, estos
son unos simples apuntes, restringidos a las ecuaciones lineales. Escribir un li-
bro de ecuaciones integrales es un trabajo mucho ms complejo y que requiere
aos de dedicacin. Aqu me centrar en unir generalidad con simplicidad da-
do que tan solo tenemos poco ms de quince das de curso acadmico para
desarrollar el temario.
Estos apuntes estn dedicados a todos los profesores que son vctimas de
la extorsin intelectual de esa nueva modalidad de charlatn de feria llamada
pedagogo.
6 NDICE GENERAL
Captulo 1
Ecuaciones integrales lineales
1.1. Introduccin
Las ecuaciones integrales lineales son aquellas que contienen a la funcin
incgnita bajo el signo integral. Es decir, la incgnita forma tambin parte
del integrando. Se suelen clasicar de dos formas: por el tipo de lmites de
integracin y por la ocurrencia de la funcin incgnita. El primer tipo de
clasicacin sera:
1. Ecuaciones de Fredholm, cuando los lmites de integracin son
denidos.
2. Ecuaciones de Volterra, si alguno de los lmites es variable.
Atenindonos a la funcin incgnita, la clasicacin ser:
1. Primera clase, cuando la funcin incgnita slo aparece en el inte-
grando.
2. Segunda clase, si la funcin incgnita aparece dentro y fuera de la
integral.
1.2. Deniciones simblicas
1.2.1. 1. Fredholm 1
a
clase
,(r) =
_
b
a
1(r. t)(t)dt. (1.1)
7
8 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.2.2. 2. Fredholm 2
a
clase
(r) = ,(r) + `
_
b
a
1(r. t)(t)dt. (1.2)
1.2.3. 3. Volterra 1
a
clase
,(r) =
_
x
a
1(r. t)(t)d. (1.3)
1.2.4. 4. Voterra 2
a
clase
(r) = ,(r) + `
_
b
a
/(r. t)(t)dt. (1.4)
Caso de que ,(r) = 0 estaramos en el caso de las ecuaciones homogneas. Si
,(r) ,= 0, tendramos las inhomogneas. El todos los casos la nica funcin
desconocida es (r). La funcin de dos variable 1(r. t) recibe el nombre de
N

UCLEO (Kernel).
Las ecuaciones integrales suelen aparecer en determinados problemas fsi-
cos, como veremos. Conviene analizar sus mtodos de resolucin por dos
razones fundamentales:
1. Para resolver ecuaciones diferenciales con determinadas condiciones
particulares de contorno. Recordemos que, en las ecuaciones de Bessel, la
condicin : = 0 determinaba si exista o no la funcin de Neumann `
n
(:)
como solucin. En la ecuaciones de Bessel modicadas, la condicin :
determinaba la existencia de la solucin 1
n
(:). Las ecuaciones integrales
relacionan a la funcin incgnita no slo con sus valores en la frontera a
travs de las derivadas, sino tambin en toda una regin que incluye dicha
frontera. Los lmites de integracin determinan ya de por s una regin con
unas condiciones previas, sin tener que aadir al nal condiciones adicionales.
2. La forma de los ncleos depende de los valores de contorno. Por lo
tanto, las ecuaciones integrales son compactas (autoconsistentes) y pueden
ser una forma ms poderosa o conveniente para resolver problemas que las
ecuaciones diferenciales. Adems, existen problemas como los fenmenos de
transporte o difusin que no admiten una forma explcita como ecuacin
diferencial.
1.2. DEFINICIONES SIMBLICAS 9
1.2.5. Ejemplo: Teora del transporte de neutrones. Ecuacin
de Boltzmann.
La ecuacin fundamental del transporte de neutrones se obtiene a travs
de la ecuacin de la continuidad de neutrones. Es decir,
Produccin=Prdidas+Fugas.
En la parte de produccin de neutrones tendremos esencialmente las fuentes:
o(.

: )dd

. (1.5)
que representa a o neutrones generados por cm
3
y segundo, con velocidades
comprendidas entre y +d, movindose en la direccin

, comprendida
dentro de un ngulo slido

d. Otra fuente adicional de neutrones es la
proporcionada por las colisiones que dispersan a aquellos neutrones que, en
principio, se movan dentro de otros mrgenes pero pasan a estar dentro de
los parmetros .

: adecuados despus de la dispersin. Es decir, que iban

descarriados pero que, despus de colisionar con la fe verdadera, se agrupan
en el redil pertinente.
La proporcin debida al scattering (dispersin) viene dada por

s
(.
t
.

t
),(
t
.

t
.

: ). (1.6)
donde

s
es la probabilidad (macroscpica) de que un neutrn con velocidad

t
y direccin

t
se disperse pasando a tener velocidad

y direccin

. La
cantidad ,(
t
.

t
.

: ) representa al ujo total de neutrones (neutrones que

atraviesan determinada rea en cierto tiempo).
El ujo vectorial lo podemos poner como

, =

,, con la direccin de la
velocidad neutrnica y magnitud igual al nmero de neutrones con velocidad
que atraviesan, por segundo, una unidad de rea situada a la posicin

: ,
y en una direccin

.Integrando sobre todas las velocidades iniciales (
t
)
y sobre todas las direcciones
_

t
_
, obtenemos el trmino de produccin de
neutrones debido a los procesos dispersivos
_ _

s
(.
t
.

t
),(
t
.

t
.

: )d
t
d

t
. (1.7)
10 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
Las prdidas se pueden producir por fugas, en cuyo caso vienen descritas por
el teorema de Gauss,

,(.

: ) (1.8)
que es la cantidad de neutrones que escapan por unidad de supercie con
direccin

. Tambin existen prdidas por absorcin de algn medio material

absorbente (grato, agua pesada,...), y por dispersin de los buenos neutrones
iniciales hacia el ateismo (dispersin con las sagradas escrituras y el sentido
comn) con velocidades ms bajas, fuera del rango en estudio. Estas prdidas
vendra descritas por

a
() +

s
()

,(.

: ). (1.9)
donde

a
() representa la probabilidad de que un neutrn sea absorbido y

s
() de que se disperse.
Evidentemente, si el medio no es homogneo ni istropo, las

deberan
1.2. DEFINICIONES SIMBLICAS 11
incluir la dependencia con la posicin y direccin, adems de la dependencia
con la velocidad.
La ecuacin de continuidad queda entonces como
_ _

s
(.
t
.

t
),(
t
.

t
.

: )d
t
d

t
+ o(.

: ) = (1.10)

,(.

: ) +

a
() +

s
()

,(.

: ).
con

, =

,. Esta es la ecuacin de Boltzmann para el estado estacionario,
donde se equilibran la produccin y prdidas de neutrones. Como vemos, es
una ecuacin integral. En la anterior forma la ecuacin es casi imposible de
tratar. El personal utiliza aproximaciones que lleguen a soluciones de com-
promiso entre la exactitud fsica y la posibilidad matemticas de resolverlas.
Las integrales anteriores se extienden a todo el volumen del reactor nu-
clear correspondiente. La ecuacin es una de Fredholm de 2
a
clase.
1.2.6. Ejemplo: Representacin momento en mecnica
cuntica.
La ecuacin de Schrdinger, en la representacin en el espacio ordinario,
es

~
2
2:
\
2
(

: ) + \ (

: )(

: ) = 1(

: ). (1.11)
o, de forma ms simplicada,
(\
2
+ c
2
)(

: ) = (

: )(

: ). (1.12)
siendo c
2
=
2m
~
2
1 y (

: ) =
2m
~
2
\ (

: ). La anterior ecuacin puede gener-

alizarse como
(\
2
+ c
2
)(

: ) =
_
(

: .

:
t
)(

:
t
)d
3

:
t
. (1.13)
siempre que el potencial sea puntual, es decir, (

: .

:
t
) = (

: )o
_

:
t
_
.
Es decir, cuando trabajamos con una interaccin de tipo local. Transforman-
12 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
do por Fourier,
c
_

/
_
=
1
(2:)
3=2
_
(

: ) c
i

r
d
3
: .
(

: ) =
1
(2:)
3=2
_
c
_

/
_
c
i

r
d
3

/ . (1.14)
Recordemos que

/ =

p
~
= 2: n
o
de onda. Transformando la ecuacin inte-
gral,
_
(\
2
+ c
2
)(

: )c
i

r
d
3
: =
_ _
(

: .

:
t
)(

:
t
)c
i

r
d
3
: d
3

:
t
.
(1.15)
donde \
2
slo acta sobre (

:
t
). Integrando por partes el miembro de la
izquierda,
_
(/
2
+ c
2
)(

: )c
i

r
d
3
: = (2:)
3=2
_
/
2
+ c
2
_
c(

/ ). (1.16)
Sustituyendo (

: ) por su transformada
(2:)
3=2
_
/
2
+ c
2
_
c(

/ ) =
1
(2:)
3=2
_ _ _
(

: .

:
t
)c(

/
t
)c
i

k
0

r
0

d
3
: d
3

:
t
d
3

/
t
. (1.17)
Si llamamos
,(

/ .

/
t
) =
1
(2:)
3
_ _ _
(

: .

:
t
)c
i

k
0

r
0

d
3
: d
3

:
t
(1.18)
llegamos a que
_
/
2
+ c
2
_
c(

/ ) =
_
,(

/ .

/
t
)c(

/
t
)d
3

/
t
. (1.19)
que es una ecuacin homognea de Fredholm de 2
a
clase, en la cual c
2
corre-
sponde al autovalor.
En el caso de interacciones locales, ,(

/ .

/
t
) = ,(

/
t
), lo cual facili-
tar la resolucin del problema. Para hacer el anterior planteamiento hemos
supuesto que la funcin y el potencial admite transformada de Fourier (TF).
Para el potencial de un oscilador lineal, \ (

: ) = :
2
, no existen las integrales
necesarias, ya que las TF conducen a oscilaciones divergentes.
1.2. DEFINICIONES SIMBLICAS 13
1.2.7. Ejemplo. Ecuacin diferencial.
Existen casos donde ha de decidirse si es ms conveniente resolver una
ecuacin integral (EI) que una diferencial (ED). Ambas son autotransformables
entre s. Supongamos que tenemos una ED genrica de 2
o
grado

tt
(r) + (r)
t
(r) + 1(r)(r) = q(r). (1.20)
con las condiciones de contorno (c) =
0
,
t
(c) =
t
0
. Integrando obtenemos

t
=
_
x
a

t
dr
_
x
a
1dr +
_
x
a
qdr +
t
0
. (1.21)
Integrando por partes la primera integral de la derecha,

t
=
_
x
a
(1
t
)dr +
_
x
a
qdr + (c)
0
+
t
0
. (1.22)
domde hemos ido absorbiendo las condiciones de contorno. Integrando nue-
vamente,

t
=
_
x
a
dr
_
x
a
_
x
a
[1(t)
t
(t)] (t)ddr +
_
x
a
_
x
a
q(t)dtdr + [(c)
0
+
t
0
] (r c) +
0
. (1.23)
Conviene reescribir la ecuacin integral de forma ms clara. Para ello apro-
vechamos la relacin
_
x
a
_
x
a
,(t)dtdr =
_
x
a
(r t),(t)dt (1.24)
igualdad que puede comprobarse diferenciando ambos miembros. La nica
diferencia est en una constante que desaparece si r c. Por lo tanto,
(r) =
_
b
a
(t) + (r t) [1(t)
t
(t)] (t)dt +
_
x
a
(r t)q(t) + [(c)
0
+
t
0
] (r c) +
0
. (1.25)
Introduciremos la siguiente abreviacin:
1(r. t) = (r t) [1(t)
t
(t)] (t).
,(r) =
_
x
a
(r t)q(t) + [(c)
0
+
t
0
] (r c) +
0
. (1.26)
14 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
con lo que
(r) = ,(r) +
_
x
a
1(r. t)(t)dt. (1.27)
que es una ecuacin de Volterra de 2
a
clase.
Un ejemplo clsico de lo arriba expuesto es el oscilador armnico:

tt
+ .
2
= 0. con
_
(0) = 0

t
(0) = 1.
(1.28)
En este caso, (r) = 0, 1(r) = .
2
, q(r) = 0, con lo que 1(r. t) = (t r).
2
y ,(r) =
_
x
0
(rt) 0 dt +r = 0 y la ecuacin integral correspondiente sera
(r) = r + .
2
_
x
0
(t r)(t)dt. (1.29)
Volterra de 2
a
clase. Parece fcil ver que satisface (r) =
sin !x
!
. Si se dieran
dos condiciones de contorno
(c) = 0
(/) = 0
(1.30)
tendramos que modicar el procedimiento ya que desconocemos
t
(0). La
primera integral conduce a

t
= .
2
_
x
0
dr +
0
. (1.31)
Volviendo a integrar,
= .
2
_
x
0
(r t)(t)dt +
t
(0)r. (1.32)
Si imponemos que (/) = 0 ==
.
2
_
b
0
(/ t)(t)dt = /
t
(0) =

t
(0) =
.
2
/
_
b
0
(/ t)(t)dt
=
t
= .
2
_
b
0
(r t)(t)dt +
.
2
/
_
b
0
(/ t)(t)dt. (1.33)
1.2. DEFINICIONES SIMBLICAS 15
Figura 1.1: Ncleo para el oscilador armnico.
o bien,
(r) = .
2
_
b
0
t
/
(/ r)(t)dt + .
2
_
b
0
r
/
(/ t)(t)dt. (1.34)
Si denimos un ncleo tal que
1(r. t) =
_
t,/(/ r) para t < r
r,/(/ t) para r < t
=
1(r. t) =
t
/
(/ r)o(r t) +
r
/
(/ t)o(t r), (1.35)
donde o(r) es la funcin de escaln de Heaviside.Sustituyendo llegamos a que
(r) = .
2
_
b
0
1(r. t)(t)dt (1.36)
que es una ecuacin de Fredholm de 2
a
clase, homognea.
16 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.3. Transformadas integrales
Toda ecuacin que su ncleo tenga la forma 1(r. t) = 1(r t) es abor-
dable mediante transformadas integrales, siempre y cuando tanto ,(r) como
/(r. t) admitan transformada. Si los lmites son entre e , lo apropiado
es recurrir a Fourier. Si no, a Laplace.
1.3.1. Fredholm de 1
o
clase
,(r) =
_
o
o
1(r t),(t)dt. (1.37)
donde ,(r) es la incgnita. Empezamos aplicando el teorema de convolucin:
,(r) =
_
o
o
i(t)(t)c
ixt
dt. (1.38)
donde i(t) y (t) son las transformadas de Fourier de 1(r) y ,(t). Desha-
ciendo la transformacin,
i(t)(t) =
1
_
2:
_
o
o
,(r)c
ixt
dr = 1(t). (1.39)
donde hemos usado
i(t) =
1
_
2:
_
o
o
1(r)c
ixt
dr.
(t) =
1
_
2:
_
o
o
,(r)c
ixt
dr. (1.40)
junto al teorema de convolucin. As,
(t) =
1(t)
i(t)
(1.41)
y
,(r) =
1
_
2:
_
o
o
1(t)
i(t)
c
ixt
dt. (1.42)
salvo constante.
1.3. TRANSFORMADAS INTEGRALES 17
1.3.2. Fedholm 2
a
clase.
,(r) = ,(r) + `
_
o
o
1(r t),(t)dt. (1.43)
Siguiendo el mismo procedimiento llegamos a que
,(r) =
1
_
2:
_
o
o
1(t)
1
_
2:i(t)
c
ixt
dt. (1.44)
1.3.3. Volterra 1
a
clase.
Cuando alguno de los lmites es indenido, tenemos una ecuacin de
Volterra. En dicho caso es aconsejable recurrir a las transformadas de Laplace.
Partimos de
,(r) =
_
x
0
,(t)1(r t)dt. (1.45)
Aplicamos la transformada de Laplace a la ecuacin y el teorema de convolu-
cin:
/[,(r)] = /
__
x
0
,(t)1(r t)dt
_
= /[,(r)] /[1(r)] . (1.46)
por lo que
1(r) = (:)i(:) == (:) =
1(:)
i(:)
. (1.47)
Deshaciendo la transformada,
,(r) = /
1
_
1(:)
i(:)
_
=
1
2:i
_
"+io
"io
c
xs
1(:)
i(:)
d:. (1.48)
1.3.4. Volterra 2
a
clase.
,(r) = ,(r) + `
_
x
0
1(r. t),(t)dt. (1.49)
Slo hay que repetir el proceso anterior:
/[,(r)] = (:) = /[,(r)] + `/
__
x
0
,(t)1(r t)dt
_
=
1(:) + `(:)i(:). (1.50)
18 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
debido al teorema de convolucin.
(:) [1 `i(:)] = 1(:) ==
(:) =
1(:)
1 `i(:)
. (1.51)
Deshaciendo la transformada,
,(r) = /
1
[(r)] =
1
2:i
_
"+io
"io
c
sx
1(:)
1 `i(:)
d:. (1.52)
1.3.5. Ejemplo
Vamos a resolver la ecuacin
,(r) = r `
_
x
0
(t r),(t)dt. (1.53)
donde ,(r) = r == 1(:) = /[,(r)] =
_
o
0
c
sx
,(r)dr =
1
s
2
; 1(r) = r ==
i(:) =
1
s
2
, ` = 1. Por lo tanto,
(:) =
1,:
2
1 1,:
2
=
1
2
_
1
: 1

1
: + 1
_
. (1.54)
Buscamos la antitransformada en unas buenas tablas, si no se nos apetece
integrar, y
,(r) =
1
2
_
c
x
c
x
_
= sinh(r). (1.55)
1.4. Ncleo como funcin generatriz.
En algunas ocasiones el ncleo de las ecuaciones integrales es funcin gen-
eratriz de alguna funcin especial conocida. Estos casos son para espabilados
e individuos con memoria bien desarrollada. Estas ecuaciones son muy pecu-
liares y nunca se puede generalizar el mtodo. Supongamos que una ecuacin
integral nos aparece con el siguiente aspecto:
,(r) =
_
1
1
,(t)
_
1 2rt + r
2
dt, con 1 _ r _ 1. (1.56)
1.4. NCLEO COMO FUNCIN GENERATRIZ. 19
Esta es una ecuacin inhomognea de Fredholm de 1
a
clase. Lo normal es no
localizar qu es lo que genera al ncleo, por lo que el procedimiento no es
nada prctico. Afortunadamente, nuestro ejemplo es fcil (lo hemos escogido
as) y
1
_
1 2rt + r
2
=
o

l=0
1
l
(t)r
l
. (1.57)
combinacin de polinomios de Legendre. Automticamente a uno se le ocurre
desarrollar todo en serie de dichos polinomios, en particular
,(r) =
o

n=0
c
n
1
n
(r). (1.58)
As,
,(r) =
_
1
1
dt
o

l=0
1
l
(t)r
l
o

n=0
c
n
1
n
(t). (1.59)
Usando la relacin de ortogonalidad de las funciones de Legendre,
,(r) =
o

n=0
r
n
c
n
2
2: + 1
. (1.60)
Derivando obtenemos que
,
t
(r) =
o

n=0
:r
n1
c
n
2
2: + 1
== ,
t
(r = 0) =
o

n=0
:c
n
2
2: + 1
. (1.61)
que no depende de r. Derivando : veces y tomando el punto r = 0, vemos
que
,
(n)
(r) =
o

n=0
:!
2c
n
2: + 1
= ,
(n)
(0) == c
n
=
2: + 1
2:!
,
(0)
(0). (1.62)
con lo que ,(0) =
a
0
2
y el trmino general sera
c
n
=
2: + 1
2:!
,
(n)
(0) (1.63)
y la solucin puede escribirse como
,(t) =
o

n=0
2: + 1
2
,
(n)
(0)
:!
1
n
(t). (1.64)
20 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.5. Teoremas de Fredholm
Son aplicables a las ecuaciones integrales de Fredholm inhomogneas.
Tomemos
(r) = ,(r) +
_
b
a
1(r. t)(t)dt (1.65)
con ` = 1. Introducimos el intervalo r = t =
ba
n
. Si c = / = , no
habra forma de aplicar el procedimiento que vamos a contar. Slo es posible
para intervalos nitos.
Llamemos 1
pq
= 1(c+jr. c+t), donde j. = 1. . :. La integral
anterior puede expresarse como
n

q=1
1
pq

q
t. (1.66)
ya que, a un j jo determinado, t depender de . En la expresin anterior

p
debe ser tal que
(r) =
n

p=1

p
. (1.67)
Lo mismo podemos hacer con la inhomogeneidad, descomponindola en in-
tervalos innitesimales.
,(r) =
n

p=1
,
p
. (1.68)
As, la ecuacin puede reescribirse como

1
= ,
1
+
n

q=1
1
1q

q
t. para j = 1.

2
= ,
2
+
n

q=1
1
2q

q
t. para j = 2.
.
.
.

n
= ,
n
+
n

q=1
1
nq

n
t. para j = :. (1.69)
1.5. TEOREMAS DE FREDHOLM 21
o bien

q=1
1
1q

q
t = ,
1
. j = 1
.
.
.
.
.
.

q=1
1
1q

q
t = ,
n
. j = :
(1.70)
es decir, hemos generado un sistema de : ecuaciones con : incgnitas, cuyo
descriminante es
1
n
=

1 1
11
t 1
12
t 1
1n
t
1
21
t 1 1
22
t 1
2n
t
.
.
.
.
.
.
.
.
.
.
.
.
1
n1
t 1
n2
t 1 1
nn
t

. (1.71)
Este sistema tendr solucin para cualquier valor de las ,
p
siempre y cuando
haya alguna de ellas no nula. Es decir, slo habr solucin para la ecuacin
inhomognea, donde 1
n
,= 0. En este caso podemos denir el sistema adjunto
como
.
p
= ,
+
p
+
n

q=1
1
qp
.
q
t. (1.72)
que se diferencia del original por la trasposicin de la matriz 1
n
. Este sistema
tambin tendr solucin, de forma que
1.- Si 1
n
,= 0 la solucin es nica para
n
y para el traspuesto .
n
.
2.- Si 1
n
= 0, el sistema es homogneo y tratable por otro mtodo, o
inhomogneo y difcil de tratar. Vayamos al homogneo

q=1
1
pq

q
t = 0. (1.73)
En este caso puede haber solucin del sistema traspuesto tambin. Ahora
bien, el nmero de soluciones linealmente independientes, para el sistema
homogneo, es : :, siendo : el rango de la matriz 1
n
. Es decir, tiene una
base de autoestados de dimensin : :. Puede que existan soluciones del
inhomogneo con 1
n
= 0, pero slo para ciertas inhomogeneidades ,(r) muy
determinadas. Vemos cuales.
La ecuacin adjunta de la homognea la habamos denido como
.
p

q=1
1
qp
.
q
t = 0. (1.74)
22 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
con una familia de soluciones o espectro

.
p
. Multiplicando por (4.9) y
sumando todas las posibles soluciones,

p
.
p

q
1
pq
.
p

q
t = 0. (1.75)
puesto que

p
.
p

p
.
p

q
1
pq

q
t

q
1
qp
.
q
t +

p
_

q
1
pq

q
t
__

q
1
qp
.
q
t
_
= 0. (1.76)
Como quiera que

q
1
qp
.
q
t = .
p
y

q
1
pq

q
t =
q
, sustituyendo lleg-
amos a la igualdad (4.11).
Por otro lado, la inhomognea es

p
=
n

q=1
1
pq

q
t + ,
p
. (1.77)
a la que multiplicaremos por .
q
y sumaremos a todos los j:
n

p=1
(
p

q=1
1
pq

q
t).
p
=
n

p=1
,
p
.
p
. (1.78)
Para que el sistema homogneo e inhomogneo sean compatibles,

q=1
1
pq

q
t = 0 ==
n

p=1
,
p
.
p
= 0. (1.79)
Es decir, las inhomogeneidades ,
p
han de ser ortogonales a las soluciones de
la adjunta de la homognea, siempre que 1
n
= 0, para poder tener solucin
de la inhomognea. As, podemos ya enunciar los tres teoremas de Fredholm:
1.5.1. Teorema I:
O la ecuacin integral lineal de 2
a
especie, no homognea, (r) = ,(r) +
_
b
a
1(r. t)(t)dt tiene solucin nica (1
n
,= 0), para una amplia clase de
funciones ,(r), la ecuacin integral homognea tiene, al menos, una solucin
no trivial.
1.6. ECUACIONES INTEGRALES CONNCLEOS SEPARABLES ODEGENERADOS.23
1.5.2. Teorema II:
Si para la ecuacin integral dada ocurre la primera alternativa, entonces
tambin se produce para la traspuesta .(r) = q(r) +
_
b
a
1(t. r).(t)dt.
1.5.3. Teorema III:
En el caso de que se produzca la segunda alternativa, la condicin nece-
saria y suciente para que exista solucin de la inhomognea es que
_
b
a
.
h
(r),(r)dr =
0, es decir, la inhomogeneidad ha de ser ortogonal a la traspuesta de la ho-
mognea. En este caso no existe solucin nica, pues (r)+c/(r) es tambin
solucin siempre que (r) lo sea de la inhomognea y /(r) de la homognea.
1.6. Ecuaciones integrales con ncleos sepa-
rables o degenerados.
Cuando el ncleo puede escribirse como 1(r. t) =
n

j=1
`
j
(r)`
j
(t), la inte-
gral puede reemplazarse por un sistema de ecuaciones algebraicas. Para ello
: ha de ser nito. Partamos de una ecuacin integral genrica
(r) = ,(r) + `
_
b
a
1(r. t)(t)dt. (1.80)
cuyo ncleo es separable en polinomios o ecuaciones trascendentales, tal co-
mo pueda ser sin(r t) = sin r cos t cos r sin t. Siempre existen mtodos
aproximados para reducir cualquier funcin a una de variables separadas. En
el caso general,
(r) = ,(r) + `
n

j=1
`
j
(r)`
j
(t)(t)dt
= ,(r) + `
n

j=1
`
j
(r)
_
b
a
`
j
(t)(t)dt
= ,(r) + `
n

j=1
`
j
(r)
j
. (1.81)
24 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
puesto que
j
=
_
b
a
`
j
(t)(t)dt es una constante. Premultiplicamos por `
i
(r)
e integramos entre c y /:
_
b
a
`
i
(r)(r)dr =
i
=
_
b
a
`
i
(r),(r)dr + `
n

j=1
_
b
a
`
i
(r)`
j
(r)
j
dr.
(1.82)
que podemos escribir en forma vectorial como

i
= ,
i
+ `
n

j=1

j
c
ij
==

= (J `/)
1

, . (1.83)
siendo J la matriz identidad : :, y la matriz / es conocida.
Evidentemente, la condicin necesaria y suciente para que el sistema
tenga solucin (no trivial) y que sta sea nica es que
det(J `/) ,= 0. (1.84)
Esta condicin se cumple siempre para las ecuaciones de Fredholm, siempre
y cuando la ` no coincida con ningn autovalor de la ecuacin homognea.
En el caso en que det(J `/) = 0, la ecuacin homognea (J `/)

= 0
tiene solucin, aunque no la tenga la completa.
Consideremos una ecuacin homognea y su traspuesta:
(r) = `
_
b
a
1(r. t)(t)dt. con 1(r. t) =
n

j=1
`
j
(r)`
j
(t).
.(r) = `
_
b
a
1(t. r).(t)dt. con 1(t. r) =
n

j=1
`
j
(t)`
j
(r). (1.85)
donde slo hemos traspuesto el ncleo. Para .(r) la matriz / quedara
traspuesta. Es decir,
_
J `
h
/
T
_
= (J `
h
/)
T
y det (J `
h
/)
T
si det (J `
h
/) =
0, por lo que esta ecuacin homogenea traspuesta tendr, al menos, una solu-
cin. Creamos el vector
.
i
=
_
b
a
.(t)`
i
(t)dt.
Si el determinante det (J `
h
/) es nulo pueden existir ciertas funciones ,(r)
determinadas de forma que tambin tenga solucin la ecuacin inhomognea,
1.6. ECUACIONES INTEGRALES CONNCLEOS SEPARABLES ODEGENERADOS.25
por aplicacin inmediata del 2
o
teorema de Fredholm. La condicin para ello
es que
n

i=1
.
i
,
i
= 0. Con esto
0 =
n

i=1
_
b
a
`
i
(t).(t)dt
_
b
a
`
i
(r),(r)dr =
=
n

i=1
_
b
a
,(r)
__
b
a
`
i
(t).(t)`
i
(r)dt
_
dr
=
n

i=1
_
b
a
,(r)
__
b
a
1(r. t).(t)dt
_
dr
=
1
`
_
b
a
,(r).(r)dr
==
_
b
a
,(r).(r)dr = 0. (1.86)
condicin para que la inhomognea tenga solucin, Es decir,

, ha de ser
ortogonal a

. .
Ejemplo:
Tengamos la ecuacin homognea de Fredholm
(r) = `
_
+1
1
(r + t) (t)dt. (1.87)
con
`
1
(r) = r. `
2
(r) = 1.
`
1
(t) = 1. `
2
(t) = t.
(1.88)
La matriz / tendr por elementos a
c
11
=
_
+1
1
`
1
(r)`
1
(r)dr =
_
+1
1
rdr = 0.
c
12
=
_
+1
1
`
1
(r)`
2
(r)dr =
_
+1
1
dr = 2.
c
21
=
_
+1
1
`
2
(r)`
1
(r)dr =
_
+1
1
r
2
dr = 2,3.
c
22
=
_
+1
1
`
2
(r)`
2
(r)dr =
_
+1
1
rdr = 0. (1.89)
26 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
y, por tanto,
(J `
h
/) =
_
1 2`
h

2
3
`
h
1
_
. (1.90)
cuyo determinante es det (J `
h
/) = 1
4
3
`
2
h
. Para la ecuacin homognea
que tenemos, det (J `
h
/) = 0 nos determina sus autovalores. As, 1
4
3
`
2
h
= 0 == `
h
=
_
3
2
. Con los autovalores en la mano determinamos los
autovectores de la homognea que, para `
h1
=
_
3
2
, sera
_
1
_
3

_
3
3
1
_ _

1

1
_
=
_
0
0
_
. (1.91)
que nos conduce a que
1
=
_
3
2
==
2
= C
1
.
1
=
_
3C
1
. El autovector
sera

1h
(r) =

i
`
i
(r) = C
1
(
_
3r + 1) (1.92)
Repitiendo el proceso para el otro autovalor `
h2
=
_
3
2
, obtenemos el otro
autovalor

2h
(r) = C
2
(
_
3r + 1). (1.93)
En general, y para problemas de fsica, resulta conveniente normalizar estos
autovalores, determinando las constantes C
i
. Cualquier combinacin (r) =
c
1h
(r) + ,
2h
(r) es solucin del problema.
Vamos a completar el problema resolviendo una inhomognea cuya parte
homognea sea la anterior:
(r) = ,(r) +
_
3
2
_
+1
1
(r + t) (t)dt. (1.94)
En principio dejamos libre la inhomogeneidad, pero hemos de tener presente
que la constante ` coincide con uno de los autovalores de la homognea. Esta
circunstancia nos va a condicionar ,(r). Para que la inhomognea tenga
solucin
_
b
a
,(r).
i
(r)dr = 0. correspondiendo la .
i
(r) a la autofuncin cuyo
autovalor es el problemtico. Vamos a calcular las autofunciones para la
matriz /
T
. En nuestro caso
/
T
= c
ji
=
_
0
2
3
2 0
_
==
_
J `
h
/
T
_
=
_
1
2
3
`
2`1
_
== 1
4
3
`
2
= 0 ==
_
.
+
=
1
= 1 +
_
3r
.

=
2
= 1
_
3r
. (1.95)
1.7. SERIES DE NEUMANN. NCLEOS PEQUEOS 27
Este resultado era previsible dada la simetra del ncleo. Si se cumple que
_
1
1
,(r)
_
1 +
_
3r
_
dr = 0.
el problema inhomogneo tiene solucin. Las inhomogeneidades ms sencillas
sern del tipo ,(r) = cr
2
+/, con c = 3/. Un caso podra ser ,(r) = 3r
2
1.
Esta funcin es ortonormal a las soluciones de la traspuesta de la homognea.
Resolvamos
(r) = 3r
2
1 +
_
3
2
_
+1
1
(r + t) (t)dt. (1.96)
Recordemos que, para `
h
=
_
3
2
,
h
(r) = C
1
(1 +
_
3r), y que
(r) = ,(r) + `
2

j=1
`
j
(r)
j
.
Habra que calcular el valor de las
j
a travs de la ecuacin matricial de la
inhomognea

= (J `/)
1

, .
Es decir,
_

1

2
_
=
_
1
_
3

_
3
2
1
_
1
_
,
1
,
2
_
.
donde ,
i
=
_
+1
1
,(r)`
i
(r)dr. En nuestro caso ,
1
=
_
+1
1
(3r
2
1) dr =
r
3
r[
1
1
= 0 y ,
2
=
_
+1
1
(3r
2
1) rdr =
3
4
r
4

1
2
r
2

1
1
= 0. Es decir,
i
quedaran como dos constantes indeterminadas que llamaremos c y / =
_
3c.
Por lo tanto,
(r) =
_
3r
2
1
_
+
_
3
2
_
cr +
_
3c
_
=
_
3r
2
1
_
+
_
3
2
c(r +
_
3).
1.7. Series de Neumann. Ncleos pequeos
El mtodo de Neumann es un procedimiento iterativo que slo es vlido
para ncleos pequeos. Partimos de una ecuacin inhomognea de Fredholm
de 2
a
clase
(r) = ,(r) + `
_
b
a
1(r. t)(t)dt.
28 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
y el primer paso consiste en reemplazar la incgnita del integrando por la
inhomogeneidad,
0
(r) = ,(r) ==

1
(r) = ,(r) + `
_
b
a
1(r. t),(t)dt. (1.97)
Volvemos a repetir el proceso,

2
(r) = ,(r) + `
_
b
a
1(r. t) [1(t)] dt
= ,(r) + `
_
b
a
1(r. t)
_
,(t) + `
_
b
a
1(t. t
1
),(t
1
)dt
1
_
dt
= ,(r) + `
_
b
a
1(r. t),(t)dt + `
2
_
b
a
dt
1
_
b
a
dt
2
1(r. t
1
)1(t
1
. t
2
),(t
2
)
= n
0
(r) + n
1
(r) + n
2
(r).(1.98)
con lo que

0
(r) = n
0
(r) = ,(r).

1
(r) = n
0
(r) + `
_
b
a
1(r. t),(t)dt = n
0
(r) + n
1
(r).

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

n
(r) = n
0
(r) + + n
n
(r) =
o

n=1
n
n
(r).
Caso de que exista solucin, y esta sea nica, hay que demostrar que lm
no

n
(r) =
(r), donde (r) es la solucin de la ecuacin integral. Es decir, (r) =
o

n=1
n
n
(r). Si no de hubieran includo las `s en los desarrollos podramos
haber escrito que (r) = `
n
o

n=1
n
n
(r). Aplicando el teorema de convergencia
de Cauchy,
[`
n
n
n
(r)[ = [`[
n
[`[
n
[/ c[
n
. (1.99)
siendo ` el mximo valor que alcanza 1(r. t) en el recinto acotado [c. /].
Es decir, [1(r. t[ < `. Podemos hacer lo mismo para el trmino de orden
: + 1. Dividindolo por el de orden :,
[`[ [`[ [/ c[ < 1. (1.100)
1.7. SERIES DE NEUMANN. NCLEOS PEQUEOS 29
que es la condicin suciente para que converja la serie. La condicin nece-
saria puede resumirse en que, si utilizamos la ecuacin homognea asociada,
[`[ < [`
e
[ . siendo `
e
el menor de los autovalores de la homognea.
1.7.1. Ejemplo
(r) = r +
1
2
_
1
1
(t r)(t)dt.
Tomamos

0
(r) = r.

1
(r) = r +
1
2
_
1
1
(t r)tdt = r +
1
3
.

2
(r) = r +
1
3
+
1
4
_
1
1
dt
1
_
1
1
dt
2
(t
1
r)(t
1
t
2
)t
2
= (1.101)
r +
1
3

1
3
r.

3
(r) = r +
1
3

1
3
r
1
9
. (1.102)
y as sucesivamente. Por recurrencia se puede observar (por un muy buen
observador, por lo menos de Naciones Unidas) cmo va a ser el trmino
general de la serie:
(r) = r +
n

j=1
(1)
j1
1
3
j
r
n

j=1
(1)
j1
1
3,
. (1.103)
que son dos progresiones geomtricas. Nuestra solucin sera
(r) = lm
no

n
(r) = r +
1,3
4,3
r
1,3
4,3
=
3
4
r +
1
4
. (1.104)
En este caso la solucin es exacta, puesto que hemos sido tan listos que hemos
localizado una serie buena y se cumple que max [1(r. t)[ = 2, / c = 2,
` = 1,2 con lo que [`[ [`[ [/ c[ = 2 que es mayor que 1, no cumplindose
la condicion suciente. Pero existe solucin ya que los autovalores de la
homognea son `
h
= i
_
3
2
. Como
1
2
<
_
3
2
, se cumple la condicin necesaria
y, evidentemente, hay solucin.
30 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.8. Mtodo de la resolvente de Fredholm
Toda ecuacin integral de Fredholm
(r) = ,(r) + `
_
b
a
/(r. t)(t)dt (1.105)
puede reescribirse como
(r) = ,(r) + `
_
b
a
o

n=0
1
n+1
(r. t)`
n
,(t)dt. (1.106)
siendo
1
1
(r. t) = /(r. t).
1
2
(r. t) =
_
b
a
/(r. t)/(t
1
. t)dt
1
.
.
.
.
1
n
(r. t) =
_
b
a
/(r. t)/(t
1
. t) /(t
n
. t)dt
1
dt
n
. (1.107)
que es el mismo desarrollo que se ha hecho ya para las series de Neumann, y
con las mismas condiciones. Tambin existe la posibilidad de escribir
(r) = ,(r) + `
_
b
a
1(r. t. `),(t)dt. (1.108)
donde 1(r. t) recibe el nombre de resolvente, siendo
1(r. t. `) =
o

n=0
1
n+1
(r. t)`
n
. (1.109)
y el mtodo de Neuman no sera ms que la aplicacin paso a paso de este
mtodo. Resumiendo, se descompone la integral en una serie de sumandos,
siendo el nmero de stos innito. Posteriormente se calcula el lmite de la
suma.
Despus de la aplicacin del mtodo de Fredholm se llega a expresiones
tales como
1(r. t. `) =
1(r. t. `)
1(`)
. (1.110)
1.8. MTODO DE LA RESOLVENTE DE FREDHOLM 31
Calculando los ceros de 1(`) conoceremos las singularidades de 1(r. t. `).
Este mtodo es ms poderoso que el de Neumann, pues sirve para todo el
espacio excepto las singularidades. Tiene el inconveniente de ser enormemente
pesado y tedioso. Vemoslo:
1(r. t. `) = /(r. t) `
_
b
a
d.

/(r. t) /(r. .)
/(.. t) /(.. .)

+
+
`
2
2!
_
b
a
_
b
a
d.d.
t

/(r. t) /(r. .) /(r. .

t
)
/(.. t) /(.. .) /(.. .
t
)
/(.
t
. t) /(.
t
. .) /(.
t
. .
t
)

.
1(`) = 1 `
_
b
a
/(.. .)d. +
+
`
2
2!
_
b
a
_
b
a

/(.. .) /(.. .
t
)
/(.. .
t
) /(.
t
. .
t
)

d.d.
t
=
1 `.
Como vemos, se gana un orden de potencia respecto al mtodo de Neumann,
y tiene la ventaja de que puede verse su estructura analtica, as como la
solucin, sin tener que calcularla previamente ni totalmente.
1.8.1. Ejemplo
(r) = r + `
_
1
0
t(r + t)(t)dt. (1.111)
Hacemos el desarrollo de Fredholm hasta orden 3 (hasta `
3
). En este caso da
la casualidad de que el resultado es exacto para ese orden.
(r) = ,(r) + `
_
b
a
1(r. t. `),(t)dt. con /(r. t) = t(r + t). (1.112)
La resolvente sera 1(r. t. `) =
D(x;t;)
D()
, donde
1(r. t. `) = /(r. t)`
_
1
0

_ _
_ _

d.+
`
2
2!
_
1
0
_
1
0

_ _ _
_ _ _
_ _ _

d.d.
t
+ .
(1.113)
32 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
de donde

/(r. t) /(r. .)
/(.. t) /(.. .)

t(r + t) .(r + .)
t(. + t) .(. + .)

=
= .
3
t + .
2
t(r + t) .t
2
r ==(1.114)
_
1
0
_
.
3
t + .
2
t(r + t) .t
2
r

d. =
1
4
t +
1
3
t(r + t)
1
2
t
2
r.

/(r. t) /(r. .) /(r. .

t
)
/(.. t) /(.. .) /(.. .
t
)
/(.
t
. t) /(.
t
. .) /(.
t
. .
t
)

t(r + t) .(r + .) .
t
(r + .
t
)
t(. + t) .(. + .) .(. + .
t
)
t(.
t
+ t) .(. + .
t
) .
t
(.
t
+ .
t
)

=
= 0
== 1(r. t. `) = t(r + t) + `
_
t
2
r
2

t(r + t)
3
+
t
4
_
+ 0. (1.115)
Por otra parte, 1(`), que ha de coincidir con el discriminante del sistema, es
1(`) = 1 `
_
1
0
2.
2
d. +
`
2
2!
_
1
0
_
1
0
_
4.
2
.
t2
.
t2
(. + .
t
)

d.d.
t
=
= 1
2
3
`
1
72
`
2
+ 0(1.116)
Por tanto, la resolvente ser
1(r. t. `) =
1(r. t. `)
1(`)
=
t(r + t) + `
_
t
2
x
2

t(x+t)
3
+
t
4
_
1
2
3
`
1
72
`
2
(1.117)
Con ella encontramos que
1
1(`)
_
1
0
,(t)1(r. t. `)dt = (1.118)
1
1(`)
_
1
0
_
t
2
(r + t) + `
_
t
3
r
2

t
2
(r + t)
3
+
t
2
4
__
dt
== (1.119)
(r) = r +
`
1(`)
_
1
3
+
`
72
_
r +
`
41(`)
. (1.120)
donde ya hemos sustituido la integral. Esta es la solucin hasta orden `
2
.
1.8. MTODO DE LA RESOLVENTE DE FREDHOLM 33
Utilizando el mtodo de las series de Neumann el resultado sera:
(r) = r
_
1 +
`
3
+
17`
2
72
_
+
`
4
+
`
2
16
+ (1.121)
Dado que la ecuacin es de ncleos separables, podemos resolverla exacta-
mente a modo de comparacin. As,
`
1
(r) = r `
1
(t) = t
`
2
(r) = 1 `
2
(t) = t
2
_
== =
_
1
3
1
2
1
4
1
3
_
. (1.122)
Por tanto, podemos calcular el discriminante y comprobar si se satisfacen
los teoremas de Fredholm:
1(`) = [1 `[ =

1 `,3 `,2
`,4 1 `,3

= 1
2
3
`
1
72
`
2
. (1.123)
Las soluciones estarn ligadas con los valores de ` que se obtengan de anular
1(`). Es decir, `

= 18
_
224. Para calcular la solucin exacta completa,
dado que ,(r) = r, obtenemos
,
1
=
_
1
0
,(r)`
1
(r)dr =
_
1
0
r
2
dr =
1
3
.
,
2
=
_
1
0
,(r)`
2
(r)dr =
_
1
0
r
3
dr =
1
4
. (1.124)
As,
(1 `)
1
=
1
1(`)
_
1 `,3 `,2
`,4 1 `,3
_
. (1.125)
de donde

= (1 `)
1

, =
1
1(`)
_
1 `,3 `,2
`,4 1 `,3
_ _
1,3
1,4
_
=
1
1(`)
_
1
3

1
9
` +
1
8
`
1
12
` +
1
4

1
12
`
_
==
_

1
=
1
D()
_
1
3


72
_

2
=
1=4
D()
_
==
(r) = r +
`
1(`)
__
1
3
+
`
72
_
r +
1
4
_
. (1.126)
Agrupando trminos, podemos escribir
(r) = r
_
1 +
`
1(`)
_
1
3
+
`
72
__
+
`
41(`)
. (1.127)
34 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
resultado idntico al obtenido por le mtodo de la resolvente de Fredholm. Es
decir, en este caso el mtodo de Fredholm tiene la mxima potencia siendo
exacto. El anterior resultado puede reescribirse en serie de potencias de `. de
modo que
(r) = r +
`
1
2
3


2
72
_
r
3
+
1
4
_
+

2
72
r
1
2
3


2
72
=
= r + `
_
1 +
2
3
`
__
r
3
+
1
4
_
+
`
2
72
r + (1.128)
donde hemos eliminado potencias superiores a `
2
en los desarrollos en serie
de los denominadores. Agrupando,
(r) = r
_
1 +
`
3
+
17`
2
72
_
+
`
2
2
+ . (1.129)
cuyo principio se aproxima bastante al resultado de las series de Neumann.
1.9. Mtodo de Hilbert-Schmidt. Ncleos simtri-
cos
Este mtodo es particularmente til cuando los ncleos son simtricos,
es decir, /(r. t) = /(t. r) casi-simtricos, como es /(r. t) = o(r. t)j(t),
donde o(r. t) es simtrico. En Mecnica Cuntica, por ser los operadores
autoadjuntos, este mtodo es general, ya que la extensin al campo complejo
implica que los ncleos han de ser autoadjuntos en lugar de simtricos.
Los ncleos casi simtricos pueden simetrizarse. Sea la ecuacin integral
,(r) = ,(r) + `
_
b
a
:(r. t)j(t),(t)dt. (1.130)
Creamos una funcin (r) =
_
j(r),(r) == ,(r) =
(x)
_
(x)
, con lo que
(r) =
_
j(r),(r) + `
_
j(r)
_
b
a
:(r. t)j(t)
(r. t)
_
j(t)
dt
=
_
j(r),(r) + `
_
b
a
:(r. t)
_
j(r)
_
j(t)(r. t)dt. (1.131)
que ya es simtrica, con la nueva inhomogenidad q(r) =
_
j(r),(r) y el
nuevo ncleo simtrico G(r. t) = :(r. t)
_
j(r)
_
j(t)
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 35
1.9.1. Norma de una funcin
La calcularemos de la forma habitual en un intervalo nito y cerrado, con
el ncleo contnuo y acotado. En realidad se puede generalizar a intervalos
innitos, y a cualquier nmero de variables. Partimos de ,(r) denida en
el intervalo (c. /) .
|,(r)| =
_
_
b
a
(,(r))
2
dr (1.132)
Una vez denida la norma, pasamos a denir la distancia entre dos funciones
como
d (,
1
. ,
2
) =
_
_
b
a
(,
2
(r) ,
1
(r))
2
dr (1.133)
Su cuadrado es la distancia cuadrtica media, aunque algunos textos la
denen como 1 = sup
(a;b)
[,
1
(r) ,
2
(r)[ .
1.9.2. Convergencia de funciones
La serie o conjunto de funciones ,
n
(r) converge a ,(r) si el lm
no
d [,(r). ,
n
(r)] =
0. Por ejemplo, en el intervalo (0. 1), la funcin c
kx
0. Pero hete aqu que
_
1
0
c
kx
dr =
e
kx
k

1
0
=
e
k
k
+
1
k
y lm
ko
1e
kx
k
= 0. Hasta ahora bien. Pero
segn algunos textos (Petrovski), para r muy pequeos, si / es muy grande
pueden ocurrir graves accidentes como
1e
1000=1000
1000
=
11=e
1000
,= 0 (dnde est
el problema?). No logro entender la argumentacin matemtica pues, por
muy pequeo que sea r y muy grande que sea /, el resultado va a tender
a cero siempre. Dicen que, por esta razn, no vale la ltima denicin de
distancia arriba dada. Juzguen ustedes mismos.
1.9.3. Producto escalar de dos funciones
Se dene como
(,
1
. ,
2
) = ,
1
[,
2
=
_
b
a
,
1
(r),
2
(r)dr. (1.134)
36 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
, para el caso de complejos,
,
1
[,
2
=
_
b
a
,
+
1
(r),
2
(r)dr. (1.135)
A travs de esta denicin puede comprobarse la desigualdad triangular
d (,
1
. ,
2
) + d (,
2
. ,
3
) > d (,
1
. ,
3
) . (1.136)
y la desigualdad de Bunyakovsky
(, ,) 6 |,|
2
|,|
2
. (1.137)
El coseno entre dos funciones se dene por
cos (,
1
. ,
2
) =
(,
1
. ,
2
)
|,
1
| |,
2
|
(1.138)
1.9.4. Conjunto de funciones ortonormales
,
n
es un conjunto de funciones ortonormales si
_
,
i
,
j
_
= o
ij
, \,
i

,
n
.
1.9.5. Coecientes de Fourier de ,(r)
Son los reales tales que
,
k
=
_
b
a
,(r),
k
(r)dr = (,(r),
k
(r)) = ,(r)[,
k
(r) (1.139)
1.9.6. Teorema
Si ,(r) es una funcin normada y c
1
. c
2
. . c
m
son los coecientes que
minimizan a d
2
[c
1
,
1
+ + c
m
,
m
. ,(r)], con ,
m
(r) conjunto de fun-
ciones ortonormales, las c
i
son necesariamente los coecientes de Fourier de
,(r). Vemoslo:
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 37
Partimos de que la distancia entre funciones se dena como
d
2
[c
1
,
1
+ + c
m
,
m
. ,(r)] =
_
b
a
_

k=1
c
k
,
k
(r) ,(r)
_
2
dr =
_
b
a
,
2
(r)dr 2

k=1
c
k
_
b
a
,(r),
k
(r)dr +
+
m

k
0
=1
m

k=1
c
k
c
k
0
_
b
a
,
k
(r),
k
0 (r)dr =
_
b
a
,
2
(r)dr +
m

k=1
c
2
k
2
m

k=1
c
k
,
k
=
_
b
a
,
2
(r)dr +
+
m

k=1
(c
k
,
k
)
2

k=1
,
2
k
0. (1.140)
ya que la distancia siempre es positiva. Dado que existen tanto
_
b
a
,
2
(r)dr
como

m
k=1
,
2
k
y son valores calculables, para que la distancia sea mnima,
obligatoriamente
c
k
= ,
k
. (1.141)
De esta relacin puede deducirse la desigualdad de Bessel d
2
> 0. El valor
mnimo de la distancia ser, por tanto,
_
b
a
,
2
(r)dr
m

k=1
,
2
k
. (1.142)
con lo que la desigualdad de Bessel puede reescribirse como
_
b
a
,
2
(r)dr >

m
k=1
,
2
k
. Caso de producirse la igualdad, esta es conocida como igualdad
de Parceval.
Una sucesin se dice que es cerrada si se verica la igualdad de Parceval.
Un sistema se llama completo cuando no existe una funcin ortonormal a
todas las dems, simultneamente, de la serie:
\,
k
(r) ,
m
(r) , con / = 1. . : == @, , (,. ,
k
(r)) = 0 (1.143)
38 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.9.7. Teorema:
Todo sistema cerrado es completo.
Si suponemos un sistema cerrado pero no completo, existir una tal
que (,
k
) = 0. Esto indica que todos los coecientes de Fourier de son
nulos, ya que la igualdad es para todo /. Es decir,

m
k=1
,
2
k
= 0, ya que lo
son todos los ,
k
. Usando la igualdad de Parceval,
_
b
a
,
2
(r)dr =
m

k=1
,
2
k
= 0 = || . (1.144)
lo cual es imposible, ya que si tiene norma nula contradecimos el enunciado
de partida. La argumentacin inversa slo es demostrable y cierta en sistemas
acotados.
1.9.8. Aplicacin a las ecuaciones integrales
Ecuaciones homogneas
Sea /(r. t) un ncleo funcin de dos variables, con un nmero nito de
discontinuidades o totalmente contnuo para ambas variables, en un sistema
cerrado. Si `
_
b
a
/(r. t),(t)dt = ,(r), entonces, ,(t) es autofuncin de la
ecuacin y ` es un autovalor.
Para ncleos simtricos y contnuos necesariamente han de existir, al
menos, un autovalor ` y una autofuncin ,(r) distintos de los triviales. Es
decir, las ecuaciones de Fredholm tienen siempre, como mnimo, un autovalor.
Teorema
Si existiesen dos autovalores distintos de una ecuacin integral, sus auto-
funciones asociadas son ortogonales.
Sean ,
i
(r) = `
i
_
b
a
/(r. t),
i
(t)dt y ,
j
(r) = `
j
_
b
a
/(r. t),
j
(t)dt dos auto-
funciones de la misma ecuacin. Multiplicamos la primera por `
j
,
j
(r) y la
segunda por `
i
,
i
(r) e integramos al intervalo de denicin:
`
j
_
b
a
,
j
(r),
i
(r)dr = `
j
`
i
_
b
a
_
b
a
/(r. t),
j
(r),
i
(t)drdt.
`
i
_
b
a
,
i
(r),
j
(r)dr = `
j
`
i
_
b
a
_
b
a
/(r. t),
i
(r),
j
(t)drdt. (1.145)
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 39
En el segundo caso, dado que el ncleo es simtrico, podemos intercambiar
las variables r t sin alterar el resultado. Restando ambas igualdades,
(`
j
`
i
)
_
b
a
,
j
(r),
i
(r)dr = `
i
`
j
_
b
a
_
b
a
/(r. t)
_
,
j
(r),
i
(t) ,
i
(t),
j
(r)

drdt = 0.
(1.146)
Dado que `
i
,= `
j
, evidentemente ,
j
(r) es ortogonal a ,
i
(r).
Todos los autovalores son reales.
Pueden haber autovalores correspondientes a varias autofunciones lineal-
mente independientes. Es decir, a un slo autovalor ligamos varias autofun-
ciones. Este es el caso de degeneracin. Estas funciones pueden que no
sean ortogonales, pero se les puede ortogonalizar. Para ello suele utilizarse el
mtodo de Schmidt.
Mtodo de ortogonalizacin de Schmidt
Tengamos una serie n
0
(r) . n
1
(r) . . n
m
(r) de autofunciones corre-
spondientes al mismo autovalor `. Llamamos
0
(r) = n
0
(r) y normal-
izamos como ,
0
(r) =

0
(x)
|
0
(x)|
. A continuacin generamos a
1
(r) = n
1
(r) +
c
10
,
0
(r). Como
0
(r) ha de ser ortogonal a
1
(r) == (
1
(r) . ,
0
(r)) =
0 == (n
1
(r) , ,
0
(r)) +c
10
(,
0
(r) . ,
0
(r)) = 0 y, por tanto,
c
10
=
(n
1
. ,
0
)
(,
0
. ,
0
)
= (n
1
. ,
0
) =
_
b
a
n
1
(r),
0
(r)dr. (1.147)
Creamos ,
1
(r) =

1
(x)
|
1
(x)|
, continuando con el proceso. En general,

i
(r) = n
i
(r) +
i1

j=0
c
ij
,
j
(r). (1.148)
donde
,
i
(r) =

i
(r)
|
i
(r)|
.
c
ij
=
_
b
a
n
i
(r),
j
(r)dr. (1.149)
40 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
1.9.9. Teorema de Hilbert-Schmidt
Toda funcin ,(r) que sea intrnsecamente representable por una funcin
contnua normada (de cuadrado integrable) en el intervalo (c. /), es decir,
,(r) =
_
b
a
/(r. t),(t)dt.
siendo ,(t) arbitraria pero contnua, y siendo nito el conjunto de estas
funciones ,(r), todas ellas son desarrollables en serie por el conjunto de
funciones propias ,
n
(r) = `
n
_
b
a
/(r. t),
n
(t)dt.
Adems, las serie converge uniformemente. Es decir, ,(r) =
o

n=1
/
n
,
n
(r) y
/(r. t) =
o

n=1
c
n
,
n
(t) con c
n
= c
n
(r). El teorema puede enunciarse de forma
alternativa como: Si ,(r) puede escribirse en la forma ,(r) =
_
/(r. t),(t)dt,
entonces ,(r) puede tambin representarse por su serie de Fourier respecto
al sistema ,
n
(r) de autofunciones de /(r. t), ,(r) =
o

n=1
/
n
,
n
(r), con /
n
=
_
,(r),
n
(r)dr.
1.9.10. Teorema del desarrollo del ncleo
Todo ncleo simtrico puede desarrollarse como
/(r. t) =
o

i=1
,
i
(r),
i
(t)
`
i
(1.150)
siempre que este ncleo sea contnuo en el intervalo (c. /) . Si el desarrollo
es nito, los ncleos son separables. El anterior desarrollo no es necesari-
amente uniformemente convergente (s su media), pero su integral s con-
verge a cero
_
/(r. t)dt = 0. En el caso de que el ncleo sea separable,
/(r. t) = /
1
(r)/
2
(t), el teorema es rigurosamente cierto (extrao teorema
que no es rigurosamente cierto para un nmero innito de casos), y /
1
(r) es
autovalor del sistema.
Dado que /(r. t) es desarrollable por
/(r. t) =
o

n=1
c
n
,
n
(t). (1.151)
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 41
con c
n
= c
n
(r), podemos sustituir en la ecuacin integral homognea original:
,(r) = `
_
b
a
o

n=1
c
n
(r),
n
(t),(t)dt = `
o

n=1
c
n
(r)
_
b
a
,
n
(t),(t)dt. (1.152)
Utilizando la ortogonalidad de las funciones ,
n
(t), y particularizando a una
cualquiera de ellas
,
i
(r) = `
i
o

n=1
c
n
(r)
_
b
a
,
n
(t),
i
(t)dt = `
i
c
i
(r)
== c
i
(r) =
,
i
(r)
`
i
. (1.153)
Por tanto, podemos reescribir el ncleo como
/(r. t) =
o

i=1
,
i
(r)
,
i
(t)
`
i
. (1.154)
donde el cero no puede ser autovalor.
Es posible que no exista el desarrollo /(r. t) =
o

i=1
c
n
(r),
n
(t). Por ejem-
plo, en el caso patolgico ,(r) = `
_
o
0
c
xt
,(t)dt.
1.9.11. Mtodo de Hilbert-Schmidt: Ec. inhomogneas
Partimos de que ya sabemos resolver la homognea con alguno de los
mtodos analizados. La inhomognea ser
,(r) = ,(r) + `
_
b
a
/(r. t),(t)dt (1.155)
Tomando como base las soluciones (autofunciones) ,
n
(r) de la homognea,
desarrollamos en serie inhomogeneidad y funcin incgnita:
,(r) =
o

n=1
c
n
,
n
(r).
,(r) =
o

n=1
/
n
,
n
(r). (1.156)
42 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
y sustituimos en la ecuacin integral inhomognea completa, usando el teo-
rema del desarrollo del ncleo:
o

n=1
c
n
,
n
(r) =
o

n=1
/
n
,
n
(r) + `
_
b
a
/(r. t)
o

n=1
c
n
,
n
(t)dt
=
o

n=1
/
n
,
n
(r) + `
o

n=1
c
n
,
n
(r)
`
n
. (1.157)
ya que la homognea es, para un autovalor `
n
,
,
n
(r) = `
n
_
b
a
/(r. t),
n
(t)dt. (1.158)
Si premultiplicamos por una ,
i
(r) e integramos,
_
b
a
,
i
(r)
o

n=1
c
n
,
n
(r)dr =
_
b
a
,
i
(r)
o

n=1
/
n
,
n
(r)dr + `
_
b
a
,
i
(r)
o

n=1
c
n
,
n
(r)
`
n
dr
== c
i
= /
i
+ `
c
i
`
i
== c
i
=
/
i
1

i
=
`
i
/
i
`
i
`
= /
i
_
1
`
` `
i
_
. (1.159)
Es decir, si conocemos las /
i
y las `
i
podemos calcular los coecientes c
i
.
Dado que ,(r) =

o
n=1
c
n
,
n
(r),
,(r) =
o

n=1
c
n
,
n
(r) =
o

n=1
`
n
/
n
`
n
`
,
n
(r)
=
o

n=1
/
n
,
n
(r)
o

n=1
`/
n
` `
n
,
n
(r) ==
,(r) = ,(r) + `
o

n=1
_
b
a
,(r),
n
(r)dt
`
n
`
. (1.160)
ya que, si ,(r) =
o

n=1
/
n
,
n
(r) ==
_
b
a
,(r),
i
(r)dt =
o

n=1
/
n
_
b
a
,
i
(r),
n
(r)dt =
/
i
.
Si el ncleo fuera innito tendramos una suma innita. En dicho caso,
o sabemos sumar la serie, o tenemos que utilizar aproximaciones. Si fuera
nito, como adems es simtrico, tendramos ncleos separables.
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 43
Siempre que la ` genrica del problema sea distinta de las `
n
de la ho-
mognea, la ecuacin integral tiene solucin y esta es nica.
Si ` = `
p
(es decir, a alguna de las `
n
), slo hay solucin para algunos
tipos de especiales de inhomogeneidades ,(r), que son las que satisfacen
_
b
a
,(r),
p
(r)dr = 0. (1.161)
Es decir, ,(r) ha de ser ortogonal a la autofuncin correspondiente al autoval-
or `
p
. En general las ,
p
(r) pueden ser varias, que es el caso de degeneracin,
y las ,(r) han de ser ortogonales a todas ellas.
A su vez, si ,(r) = 0, caso homogneo, slo habr solucin cuando ` = `
p
,
cosa que no se entiende pues, en las ecuaciones homogneas ` slo es un
factor de proporcionalidad. Esto es una verdad de perogrullo. Si ,(r) ha de
ser ortogonal a la autofuncin ,
p
(r), correspondiente al autovalor `
p
, esto
ocurre siempre ya que ,(r) = 0 ==
_
b
a
,(r),
p
(r)dr = 0. en el caso de ncleos
separables exigamos la ortogonalidad a todas las autofunciones. Ahora no es
preciso pues hemos exigido a priori la simetra del ncleo.
Dado que, para ` = `
p
,
o

n=1
c
n
,
n
(r) =
o

n=1
/
n
,
n
(r) + `
o

n=1
c
n
,
n
(r)
`
n
==

n,=p
c
n
,
n
(r) + c
p
,
p
(r) =
=

n,=p
/
n
,
n
(r) + /
p
,
p
(r) +

n,=p
`
`
n
c
n
,
n
(r) +
`
`
p
c
p
,
p
(r). (1.162)
Como exigimos que, para ` = `
p
,
_
b
a
,(r),
p
(r)dr = 0,

n,=p
c
n
,
n
(r) =

n,=p
/
n
,
n
(r) +

n,=p
`
`
n
c
n
,
n
(r) (1.163)
para cualquier i ,= j. De aqu que c
i
= /
i
+`
p
a
i

i
para cualquier i, con lo que
c
p
queda indeterminada, no sirviendo /
p
para su clculo. Por tanto,
,(r) = ,(r) + c
p
,
p
(r) + `
p
o

i,=p
_
b
a
,(r),
i
(r)dt
`
i
`
,
i
(r). (1.164)
quedando c
p
como constante de integracin.
44 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
Ejemplo
Sea la ecuacin
,(r) = ,(r) + `
_
1
1
(r + t),(t)dt. (1.165)
La solucin de la homognea ya la calculamos en otro ejemplo por ser de
ncleos separables. Recordemos que
,
n
(r) = `
n
_
1
1
(r+t),(t)dt ==
_
`
1
=
_
3
2
== ,
1
(r) =
1
_
3x
2
`
2
=
_
3
2
== ,
2
(r) =
1+
_
3x
2
. (1.166)
Cuando ` ,= `
1
. `
2
la inhomognea tendr solucin y esta ser nica. Tomem-
os ` = 1 con ,(r) = r
2
. En este caso
/
1
=
_
1
1
r
2
,
1
(r)dr =
1
3
.
/
2
=
_
1
1
r
2
,
2
(r)dr =
1
3
==
,(r) = r
2
+
1,3

_
3
2
1
_
1
_
3r
2
_
+
1,3
_
3
2
1
_
1 +
_
3r
2
_
= ,(r) +
2

i=1
/
i
`
i
`
,
i
(r) = r
2
2r
4
3
. (1.167)
Si por un casual ` = `
2
=
_
3
2
, entonces empiezan a surgir los problemas y
,(r) = r
2
+ c
p
_
1 +
_
3
2
_
+
_
3
2
_
1
1
r
2
_
1
_
3x
2
_
dr

_
3
2

_
3
2
_
1
_
3r
2
_
= r
2
+ r
_
_
3 6
_
3
2
_
+
6c
p
1
12
= r
2

5
_
3
2
r +
p
. (1.168)
Habr solucin con
p
indeterminada cuando
_
1
1
r
2
,
2
(r)dr = 0, cosa que
hemos visto que no es cierta. En este caso no tenemos solucin.
1.9. MTODO DE HILBERT-SCHMIDT. NCLEOS SIMTRICOS 45
Ejemplo
Sea
,(r) = cos(r) + 2
_

sin(r + t),(t)dt. (1.169)

Comenzamos por resolver la homognea ,(r) = 2
_

sin(r + t),(t)dt. Su
ncleo es separable: /(r. t) = sin(r + t) = sin r cos t + cos r sin t ==
`
1
(r) = sin r `
1
(t) = cos t
`
2
(r) = cos r `
2
(t) = sin t.
(1.170)
con lo que
c
11
=
_

sin t cos tdt = 0 c

12
=
_

cos
2
tdt = :
c
21
=
_

sin
2
tdt = : c
22
=
_

cos t sin tdt = 0.

(1.171)
Por tanto, para todo `,
I ` =
_
1 0 2:
0 2: 1
_
(1.172)
Si nos jamos, estas `
i
no coinciden con la ` genrica del problema. Las `
i
sern los autovalores de la E. integral homognea que se obtienen de resolver
det (I `) = 1 :
2
`
2
== `

=
1
:
. (1.173)
La solucin de la homognea se obtendr de
_
1 `:
`: 1
_ _

1

2
_
=
_
0
0
_
. (1.174)
Para `
1
=
1

. ==
1

2
= 0 ==
1
=
2
= C
1
, degenerado. Entonces,
,
1
(r) =
2

i=1

i
(r)`
i
(r) = C
1
(sin r + cos r) . (1.175)
Es fcil ver que
,
2
(r) =
2

i=1

i
(r)`
i
(r) = C
2
(sin r cos r) . (1.176)
46 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
Una vez obtenidas las autofunciones correspondientes a cada autovalor, se
normalizan para barrer un espacio completo de funciones normadas:
_

,
2
1
(r)dr = C
2
1
_

_
sin
2
r + cos
2
r + 2 sin r cos r
_
dr = 1
= C
2
1
(2:) == C
1
=
1
_
2:
. (1.177)
Lo mismo ocurre para ,
2
(r), con lo que
,
1
(r) =
1
_
2:
(sin r + cos r) .
,
2
(r) =
1
_
2:
(sin r cos r) . (1.178)
La ` = 2 slo contribuye aqu como un factor de proporcionalidad.
La inhomognea se puede resolver por varios mtodos. Sigamos con el
de ncleos separables calculando
(I `)
1
=
_
1 2:
2: 1
_
1
=
1
1 4:
2
_
1 2:
2: 1
_
. (1.179)
donde ` va a jugar ahora un papel crucial. Evidentemente, ste an sera
mayor si ` = `
i
, cosa que no ocurre en este caso.
Dado que
,
i
=
_

,(r)`
i
(r)dr ==
_
,
1
=
_

cos
2
rdr = :
,
2
=
_

sin r cos rdr = 0

. (1.180)
por lo que

=

`

, =
_
1
14
2
2
14
2
2
14
2
1
14
2
_ _
:
0
_
=
_

14
2
2
2
14
2
_
(1.181)
Finalmente,
,(r) = ,(r) + `

i
`
i
(r) = cos r +
2:
1 4:
2
sin r +
2:
2
1 4:
2
cos r
=
2:
2
1 4:
2
[cos r + 2: sin r] .(1.182)
1.10. ECUACIONES DE VOLTERRA 47
En este problema es claro que la inhomogeneidad slo afecta a las constantes
de integracin.
Para resolver el problema por el mtodo de Hilbert-Schmidt partimos
de las autofunciones de la homognea normalizadas. Aplicando directamente
la frmula de Schmidt,
,(r) = ,(r) + `

n
_
b
a
,(r),
n
(r)dr
`
n
`
,
n
(r)
= cos r + 2
_
_
_
R

1
p
2
(sin x+cos x) cos xdx
1

2
1
_
2
(sin r + cos r)
+
R

1
p
2
(sin xcos x) cos xdx

2
1
_
2
(sin r cos r)
_
_
_
= cos r + 2
_
:,
_
2:
_
2:
12

(sin r + cos r) +
:,
_
2:
_
2:
12

(sin r cos r)
_
=
1
1 4:
2
[cos r + 2: sin r] .(1.183)
Si, por lazos del demonio, ` = `
1
=
1

, las cosas se complican un poco.

El problema no tiene solucin en este caso. Si lo tendra para otras ,(r)
ortogonales a ,
1
(r). Tomemos ,(r) = c + /r, por ejemplo. Ahora
1
_
2:
_

(c + /r) (sin r + cos r) dr

=
1
_
2:
_
c
_

sin rdr + c
_

cos rdr + /
_

r sin rdr + /
_

r cos rdr
_
=
1
_
2:
[2:/] = 0 == / = 0. (1.184)
con c cualquiera. Tomando c = 1, por sencillez,
,(r) = ,(r) + c
p
,
p
(r) = 1 +c
p
(sin r + cos r)
1
_
2:
= 1 + C (sin r + cos r) . (1.185)
1.10. Ecuaciones de Volterra
(r) = ,(r) + `
_
x
0
/(r. t)(t)dt. (1.186)
48 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
Estas ecuaciones son menos frecuentes que las de Fredholm, y de escaso in-
ters es Fsica. Para resolverlas se considera acotado el recinto de integracin.
con 0 _ r _ c. Tambin se supone que el ncleo es contnuo y acotado.
Teorema:
Las ecuaciones de Volterra no tienen valores propios. Es decir, (r) =
`
_
x
0
/(r. t)(t)dt (homognea) no tiene solucin salvo la trivial (r) = 0.
Dado que r est acotada, 0 _ r _ c, entonces podemos generar 1 =
max [(r)[ y ` = max [/(r. t)[. Sustituyendo en la ecuacin integral ho-
mognea, acotamos la incgnita (r):
(r) _ `
_
x
0
`1dt == [(r)[ _ [`[ `1
_
x
0
dt = [`[ `1r. (1.187)
Sustituimos (r) en la ecuacin integral, cambiando la variable r pot t:
(r) _ `
_
x
0
`[`[ `1tdt == [(r)[ _ [`[
2
`
2
1
r
2
2
. (1.188)
Repitiendo el proceso : veces,
[(r)[ _ [`[
n
`
n
1
r
n
:!
_ [`[
n
`
n
1
c
n
:!
. (1.189)
En el lmite : .
[(r)[ _ lm
no
_
[`[
n
`
n
1
c
n
:!
_
= lm
no
[``c[
n
:!
= 0. (1.190)
que no es ms que la solucin trivial. Debido a sto, la ecuacin de Volterra
inhomognea tiene solucin para cualquier ,(r) y para cualquier ncleo.
Las ecuaciones integrales de Volterra se resuelven por el mtodo de
Neumann:
(r) =
0
(r) = ,(r).

1
(r) =
_
x
0
/(r. t),(t)dt.
.
.
. (1.191)

n+1
(r) =
_
x
0
/(r. t)
n
(t)dt.
1.10. ECUACIONES DE VOLTERRA 49
y, nalmente,
(r) =
0
(r) + `
1
(r) + + `
n+1

n+1
(r). (1.192)
Calculamos
lm
no
`
n+1

n+1
(r)
`
n

n
(r)
= ` lm
no
`c
:!
(: + 1)!
= ` lm
no
`c
: + 1
= 0. (1.193)
Es decir, la serie va a ser acotada. Llamemos ` = max [,(r)[ ==
[
0
(r)[ _ `.
[
1
(r)[ _ ``r.
.
.
. (1.194)
[
n
(r)[ _ `
n
`
r
n
:!
_ `
n
`
c
n
:!
.
Es decir, todos lo trminos de la serie estn acotados siempre que lo est el
recinto de denicin, razn por la que el mtodo de Neumann es aplicable,
conduciendo a una serie convergente.
50 CAPTULO 1. ECUACIONES INTEGRALES LINEALES
Bibliografa
[1] I. Petrovski, Lecciones de teora de las ecuaciones integrales, Ed. Mir
(Mosc, 1976).
[2] H. T. Davis, Introduction to nonlinear dierential and integral equations,
Dover Pub. (Nueva York, 1962).
[3] F. G. Tricomi, Integral equations, Dover Pub. (Nueva York, 1985).
51