Ecuaciones Integrales Ineales

ECUACIONES INTEGRALES LINEALES
Jos Daro Snchez Hernndez

Bogot -Colombia. Abril- 2008
danojuanos@hotmail.com
danojuanos@tutopia.com
danojuanos@yahoo.com
Una vez ms pongo en el ciberespacio, para compartir con mis
amigos cibernautas mis notas de clase, con las cuales creo
firmemente que cumplo con mi propsito de llevarles asignaturas
que contribuyan en la formacin del matemtico virtual y con el
contenido estoy siendo fiel a mi propsito inicial, de un
aprendizaje por medios virtuales.
CONTENIDO
PROLOGO
1. INTRODUCCIN Y PRELIMINARES
1.1. Ecuaciones integrales de primera especie.
1.2. Ecuacin de Abel.
1.3. Ecuacin integral de segunda especie.
1.4. Problema que lleva a ecuaciones integrales.
1.5. Reduccin de ecuaciones diferenciales a ecuaciones integrales.
1.6. Ejercicios.
2. TEORIA CUALITATIVA PARA LAS ECUACIONES INTEGRALES.
2.1. Mtodo de los determinantes de Fredholm.
2.2. Ncleos iterados.
2.3. Ejercicios.
3. TEORIA CUANTITATIVA.
ECUACIONES INTEGRALES CON NCLEO DEGENERADO.
3.1. Ecuaciones de Fredholm.
3.2. Ecuaciones de Hammerstein.
3.3. Races caractersticas y funciones propias.
3.4. Ejercicios.
4. TEORIA CUALITATIVA PARA LAS FUNCIONES INTEGRALES.
4.1. Conceptos Fundamentales.
4.2. Operadores integrales de Fredholm.
4.3. Ecuaciones de ncleo simtrico.

.5. ALTERNATIVA DE FREDHOLM
J.Daro Snchez H Ecuaciones Integrales Lineales 2
5.1. Caso de las ecuaciones integrales.
5.2. Teoremas de Fredholm. Caso de los ncleos degenerados.
5.3. Teoremas de Fredholm para ecuaciones de ncleo no
degenerado.
5.4. Demostracin de los Teoremas de Fredholm.
5.5. Ejercicios.

BIBLIOGRAFIA.
P R L O G O
Al igual que el estudio de la geometra, en nuestro pas el estudio de las
ecuaciones integrales presenta un gran desinters dentro de nuestro
medio matemtico, no obstante su notable aplicacin especialmente en el
estudio de las ecuaciones diferenciales parciales.
Alguna vez el Dr. Yu Takeuchi me invit a estudiar algunos
planteamientos sobre el problema de Dirichlet; entonces sent una
sensacin que me llevaba a una ampliacin sobre la teora de integracin
y en especial sobre las ecuaciones integrales y me dije; en los distintos
coloquios en los cuales he participado nunca mencionan esta gigantesca
rama del anlisis funcional, sta es la razn que me lleva a presentar en
un coloquio estas notas de clase, con el nimo de extender lo que ya
haba hecho en otros coloquios, relativa a las ecuaciones diferenciales y
en la misma direccin divulgativa.
Quiero enfocar estas notas como una herramienta para trabajar en
direccin a los operadores de Fredholm y en particular mostrar la famosa
Alternativa de Fredholm, tpico del cual tengo algunos resultados
generalizados hacia operadores montonos y de los cuales ya he hecho
algunas notas divulgativas en el Boletn de Matemticas del ao 1987.
Estas notas constan de 5 pargrafos; el primero est dedicado a la
presentacin de la teora, con su motivacin historica; los dos pargrafos
siguientes los dedico al estudio cuantitativo de las ecuaciones integrales
lineales y los dos ltimos a la parte cualitativa de la teora, finalizando
con un breve estudio de los operadores integrales, punto de contacto con
el anlisis espectral.
Para el lenguaje he usado la palabra degenerado en lugar de separable y
no degenerado en lugar de inseparable, pues histricamente Fredholm
usaba este lenguaje.
1. INTRODUCCIN Y PRELIMINARES.
Dada una funcin continua a tramos y de orden exponencial , 1 a a b
entonces podemos hablar de su transformada de Laplace la cual est
dada por
1 1 c 1 t dt 1 - a b a b a b
'
0
-t
Ahora bien, si conocemos la transformada de Laplace de una funcin 1 - a b
y deseamos recuperar la funcin, la hallamos mediante la transformada
inversa de Laplace, usando la frmula de inversin
. 1 a c 1 - d- a b a b
'
vi
vi
-a
En el caso de transformada de Fourier para la funcin est dada por 1 a a b
1 a a b

1
2
1
' '
in a
1 c d dn a b
a b
la cual puede escribirse en la forma
1 a c n c dn a b a b
1
2

ina
1
'
donde
. c n 1 c d a b a b
1
2

in
1
'
llamada transformada inversa de Fourier de y nos brinda una 1 a a b
manera de recuperar a la funcin dada.
Estas frmulas de inversin son exactamente ecuaciones integrales, y
como en el lgebra, la resolucin de una ecuacin es un proceso de
inversin. Por otra parte la frmula integral de Poisson, muy conocida al
estudiar el potencial, dada por
n v. 1 t n 1. t dt a b a b a b ) )
'
v
donde
1 t
v
a b
1 1v
2 12v tv 1 cos
2
es una de las ecuaciones integrales ms conocidas.
1.1. Ecuaciones integrales de primera especie.
Una ecuacin de la forma

'
a
/
1 a. t t dt 1 a 1.1.1 a b a b a b a b 9
es llamada . Las funciones Ecuacin integral lineal de primera especie
1 a. t . 1 a a / a b a b son conocidas, lo mismo que los lmites y son nmeros
dados. El objeto del problema es la determinacin de la funcin
desconocida la cual debe tener por dominio al intervalo cerrado . 9a b t [a. /[
La funcin es universalmente conocida como el de la 1 a. t a b ncleo
ecuacin integral.
Un caso especial se presenta cuando el lmite superior es la variable
independiente y el lmite inferior es cero, en ese caso la integral a a

'
0
a
1 a. t t dt 1 a . 1 0 0 1.1.2 a b a b a b a b a b 9
es conocida como ecuacin . integral de Volterra
En el caso de esta ecuacin de Volterra se obtienen hechos interesantes
suponiendo que y , son funciones continuas en 1 a. t . . 1 a 1 a a b a b a b
01 a.t
0a
a b
/
una regin y derivando la ecuacin de H (a. t) 0 a a. 0 t a
Volterra con respecto a , se obtiene a
1 a. a a t dt 1 a 1.1.8 a b a b a b a b a b 9 9
'
0
a
/
01 a.t
0a
a b
Ntese que cualquier solucin de la ecuacin es solucin de 9a b a b a 1.1.2
su ecuacin derivada y tambin se tiene la validez de la recproca, a b 1.1.8
esto es, cualquier solucin continua en de la ecuacin 9a b a 0 a a
a b a b 1.1.8 1.1.2 satisface tambin a la ecuacin de Volterra .
Esta nota nos brinda un mtodo para la determinacin de la solucin 9a b a
de la ecuacin de Volterra , y a modo de ejemplo consideremos la a b 1.1.2
ecuacin integral siguiente:
.
'
0
a
at
c t dt a 9a b sin
Las funciones son continuas y derivables, 1 a a. 1 a. t c a b a b sin
at
tenindose las condiciones deseadas.
Derivando ambos miembros con respecto a , se obtiene a
c a
aa
9a b
'
0
a
0 c
0 a
at
9a b t dt a cos
de donde
9 9 a b a b a c t dt a
'
0
a
at
cos
Aplicando la transformada de Laplace se tiene
1 a 1 a b a b 9
'
0
a
at
c t dt 1 a 9a b a b cos
1 a 1 c 1 a a b a b a b a b a b 9 9
a -
1-
2
1 a 1 a a b a b a b a b 9 9
1 -
-1 1-
2
1 a = 1 a a b a b a b a b

9 9
-11 - -1
-1 - 1 - 1
2 2
9a b

a 1 1 1 a a
1 1 1 -1 - 1
- 1 - 1 - 1
2 2 2
cos sin
1.2. Ecuacin de Abel.
Presentamos el planteamiento histrico de esta ecuacin. Una partcula
puntual se mueve bajo la accin de la fuerza de la gravedad y describe
una curva suave en un plano vertical. Se pide determinar esta curva de
modo que la partcula puntual que comienza su movimiento sin velocidad
inicial en un punto de la curva cuya ordenada es , luego alcance el eje a 0
al cabo de un tiempo , donde es una funcin dada. t 1 a 1 a
1 1
a b a b

La velocidad del punto en movimiento est dada por
2o a
a b ( " sin
donde es el ngulo de inclinacin de la tangente respecto al eje . " 0

Entonces tenemos

d
dt
(
2o a
a b ( " sin
De aqu que
. dt
d
2o a
(
( "
a bsin
Integrando desde hasta y denotando con 0 a
9 ( a b
1
sin "
Se obtiene la ecuacin de Abel

.
'
0
a
1
9 ( (
(
a b
d
a
2o 1 a
a b
Designando con , se obtiene definitivamente 1 a 2o 1 a
a b a b
1

'
0
a
9 ( (
(
a b
d
a
1 a a b
donde es la funcin incgnita, y es una funcin dada. Hallando 9a b a b a 1 a
9 ( a b se puede escribir la ecuacin de la curva deseada.
En efecto,
9 ( ( 9 " a b a b =
1
sin "
Ahora,
d 0
d d (
" "
F " "
tan tan
/
a b
de donde
0 F "
'
F " "
"
/
a b d
tan
1
a b
y por consiguiente, la curva buscada se determina por la ecuacin
paramtrica

a b
a b
0 F "
( F "
1
De este modo, el problema de Abel se reduce a la resolucin de una
ecuacin integral del tipo
. 1 a 1 a. t t dt a b a b a b
'
0
a
9
1.3. Ecuaciones integrales de segunda especie.
La ecuacin integral
9 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
donde y son funciones dadas y es la funcin que 1 a 1 a. t a a b a b a b 9
debemos encontrar, las variables y recorren aqu un intervalo prefijado a t
[a. /[ ; es llamada . ecuacin integral de segunda especie
La particularidad de la ecuacin es la 9 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
linealidad, en el sentido de que la funcin incgnita entra en ella de 9a b a
modo lineal. Sin embargo, muchos problemas conducen a la necesidad de
considerar tambin ecuaciones integrales no lineales como es el caso de
la integral
9 9 a b a b a b a b a 1 a. t o t . t dt
'
a
/
conocida como ecuacin de Hammertein, donde como de costumbre y 1
o son funciones dadas. No obstante ello, nos limitaremos en lo sucesivo
a las ecuaciones integrales lineales.
Algunas ecuaciones integrales fueron estudiadas ya al principio del siglo
XIX. Por ejemplo, Abel consider en 1823 la ecuacin que lleva ahora su
nombre
1 a dt 0 < < 1. 1 0 0 a b a b a b
'
0
a
9a b
a b
t
at
! !
donde es una funcin dada y es la funcin incgnita, la teora general 1 9
de ecuaciones integrales lineales fue elaborada slo en el lmite de los
siglos XIX y XX en las obras fundamentales de Volterra, de Fredholm y
de Hilbert.
Justamente la ecuacin
9 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
es llamada de segunda especie, mientras que la Ecuacin de Fredholm
ecuacin

'
a
/
1 a. t t dt 1 t 0 a b a b a b 9
(donde la funcin incgnita figura solo bajo el signo integral) se llama
ecuacin de Fredholm de primera especie.
La ecuacin de Abel mencionada anteriormente pertence a las as
llamadas , ya mencionadas en . La ecuacin de Ecuaciones de Volterra 1
Volterra puede ser considerada como una ecuacin de Fredholm en la que
la funcin verifica la condicin 1
" para " 1 a. t 0 t a a b
Sin embargo, conviene destacar las ecuaciones de tipo Volterra como una
clase especial ya que ellas poseen una serie de propiedades que no tienen
lugar para ecuaciones arbitrarias de Fredholm. Si en las ecuaciones
9 9 a b a b a b a b a 1 -. t t dt 1 a
'
a
/

'
a
/
1 a. t t dt 1 a 0 a b a b a b 9

'
a
a
1 a. t t dt 1 a a b a b a b 9
la funcin es igual a cero, entonces estas ecuaciones se llaman 1 a a b
homogneas no homognea . En el caso contrario la ecuacin se llama .
1.4. Problemas que llevan a ecuaciones integradas.
A. . Consideremos una cuerda, esto es Equilibrio de una cuerda cargada
un hilo material de longitud que flexiona libremente, pero ofrece una |.
resistencia a la dilatacin, proporcional a la magnitud de sta.
Manteniendo fijos los extremos de la cuerda en los puntos y a 0
a | .

Entonces en la posicin de equilibrio, la cuerda coincide con el segmento
0 < a < | a a del eje . Supongamos ahora, que en el punto se ha 0
aplicado una fuerza vertical . Bajo el efecto de esta fuerza la cuerda 1 1
0
tomara evidentemente la forma quebrada indicada en la figura.
Busquemos la magnitud de la flecha de la cuerda (mxima elongacin $
de resistencia de la cuerda) en el punto de su posicin de equilibrio 0
bajo la accin de la fuerza aplicada en este punto. Si la magnitud de la 1
0
fuerza es pequea en comparacin con la tensin de la cuerda sin 1 T
0 0
carga, podemos aceptar que la tensin de la cuerda cargada sigue siendo
T
0
. Entonces, de la condicin de equilibrio de la cuerda encontramos la
igualdad siguiente:
de donde, . T T 1
0 0
$ $
0 0
0 0
| T |
1 |
0
$
0
a b
0
Sea ahora la flecha de la cuerda en el punto bajo la accin de la n a a a b
fuerza . Tenemos donde 1 n a 1 G a.
0 0
a b a b 0

para
para
G a.
0 a
a |
a b

0
0
0
a |
T |
|a
T |
a b
a b
0
0
0
0
En particular, de estas frmulas se ve inmediatamente que
G a. G . a a b a b 0 0 .
Supongamos ahora que sobre la cuerda acta una fuerza distribuida
continuamente a lo largo de la cuerda con densidad . Si esta fuerza 1a b 0
es pequea, la deformacin otra vez depender linealmente de la fuerza
entre y ; es aproximadamente y la forma de la cuerda 0 0 ?0 0 ? 0 1 ( ) a b
cargada de este modo, por el principio de superposicin, ser descrita
mediante la funcin
n a G a. 1 d 1.4.1 a b a b a b a b
'
0
|
0 0 0
Luego, si est dada la carga que acta sobre la cuerda la frmula a b 1.4.1
permite encontrar la forma que toma la cuerda bajo la accin de la carga.
Consideremos ahora el problema recproco. Hallar la distribucin de la
carga bajo la cual la cuerda toma la forma prefijada . Para 1 n a a b
encontrar la funcin a partir de la funcin dada obtenemos una 1 n a a b
ecuacin que coincide, salvo notaciones, con la ecuacin

'
a
/
1 a. t t dt 1 a 0 a b a b a b 9
es decir, una ecuacin de Fredholm de primera especie.
B. . Supongamos ahora que Oscilaciones libres y forzadas de una cuerda
la cuerda no se encuentra en reposo y realiza ciertas oscilaciones. Sea
n a. t t a b la posicin en el momento de aquel punto de la cuerda cuya
abscisa es y sea la densidad lineal de la cuerda. Entonces, sobre un a 3
elemento de la cuerda de longitud acta una fuerza de inercia igual a da
da 1
0 n a.t 0 n .t
0t 0t
2 2
2 2
a b a b
3 0 3 , de donde . a b
0
Tomando y sustituyendo se recibe que a b a b 1.4.1 1 0
n a. t G a. d 1.4.2 a b a b a b
'
0
|
0 3 0
0 n .t
0t
2
2
a b 0
Supongamos que la cuerda realiza oscilaciones armnicas de una
frecuencia prefijada y de una amplitud que depende de . En otras n n a a a b
palabras, sea
. n a. t n a nt a b a b sin
Introduciendo esta expresin en y dividiendo ambos miembros de a b 1.4.2
la igualdad por , obtenemos la siguente ecuacin integral para : sin nt n
. n a n G a. n d a b a b a b 3 0 0 0
2
0
|
'
Si la cuerda no oscila libremente sino bajo la accin de la fuerza exterior,
se realizan oscilaciones forzadas, es fcil comprobar que la
correspondente ecuacin de las oscilaciones armnicas de la cuerda es de
la forma
n a n G a. n d 1 a a b a b a b a b 3 0 0 0
2
0
|
'
es decir, se representa una ecuacin no homognea de Fredholm de
segunda especie.
1.5. Reduccin de ecuaciones diferenciales a
ecuaciones integrales.
La solucin de una u otra ecuacin diferencial conviene reducirla en
varios casos, a la solucin de una ecuacin integral. Por ejemplo la
demostracin de la existencia y unicidad de la solucin del problema de
Cauchy

a b
a b
n 1 a. n
n a n
/
0 0
por el mtodo de Piccard se reduce a la ecuacin integral no lineal
siguiente
. n n 1 . n d
0
a
a
'
0
a b 0 0
Las ecuaciones de orden superior en principio, tambin pueden ser
reducidas a una ecuacin integral. Consideremos, por ejemplo la
ecuacin de segundo orden . Tomando en particular n 1 a n 0
//
a b
1 a a a b a b 3 5 3
2
, donde es constante, podemos transformarla en la
forma
n n a n 1..1
// 2
3 5a b a b
Como se sabe, la solucin de la ecuacin puede ser n n o a
// 2
3 a b
representada en la forma
. n a a a a o d a b a b a b a b cos sin 3 3 0 0 0
1
a
a
3
'
Luego, la solucin de ecuacin se reduce a la solucin de la a b 1..1
ecuacin integral
. n a a n d a a a b a b a b a b a b
1
a
a
3
'
5 0 3 0 0 0 3 sin cos
1.6. EJERCICIOS.
Resolver las siguientes ecuaciones integrales de primera especie,
reducindolas previamente a ecuaciones integrales de segunda especie:
1. 8 t dt a
'
0
a
at
9a b
2. a t dt 1 a . 1 0 0
'
0
a
at
9a b a b a b
8. 1 a t t dt
'
0
a
2 2 a
2
a b a b 9
2
4. 2 a t t a
'
0
a
2 2 2
a b a b 9
. a t t dt c 1 .
'
0
a
a 2
sina b a b 9
2
6. n n a n Demuestre que la solucin de la ecuacin es
// 2
3 5a b
. n a a n d a a a b a b a b a b a b
1
0
a
3
'
5 0 3 0 0 0 3 sin cos
2. TEORIA CUANTITATIVA PARA LAS ECUACIONES INTEGRALES.
Dedicamos este pargrafo a indicar metodologias conducentes a la
determinacin de la solucin de ecuaciones integrales segn la forma
que tenga su ncleo y esto lo iniciamos considerando tcnicas dadas por
Fredholm, las cuales consisten en transformar las ecuaciones integrales a
ecuaciones del algebra lineal.
2.1. Mtodo de los determinantes de Fredholm.
La solucin de la ecuacin de Fredholm de segunda especie
9 - 9 a b a b a b a b a b a 1 a. t t dt 1 a 2.1.1
'
a
/
viene dada por la frmula de inversin siguiente:
9 - - a b a b a b a b a 1 a 1 a. t: 1 t dt
'
a
/
a b 2.1.2
donde la funcin es llamada de la 1 a. t: a b - resolvente de Fredholm
ecuacin y viene dada por la igualdad a b 2.2.1
1 a. t: 2.2.8 a b a b -
1 a.t:
1
a b
a b
-
-

con la condicin de que . Aqu y son series de 1 = 0 1 a. t: 1 a b a b a b - - -
potencias de : -
1 a. t: 1 a. t 1 a. t 2.2.4 a b a b a b a b
!
- -
:1
1
:!
:
:
a b
:
1 1 C 2.2. a b a b
!
- -
:1
1
:!
:
:
a b
:
cuyos coeficientes se determinan por las frmulas

-
1 a. t dt dt 2.
: ccc-
1 a. t 1 a. t 1 a. t
1 t . t 1 t . t 1 t . t
` ` ` `
1 t . t 1 t . t 1 t . t
: 1 :
a a
/ /
1 :
1 1 1 1 :
: : 1 : :
a b a b

a b a b a b
a b a b a b
a b a b a b
' '
2.6
siendo 1 a. t 1 a. t
0
a b a b
C dt dt 2.2.7
1 t . t 1 t . t 1 t . t
1 t . t 1 t . t 1 t . t
` ` ` `
1 t . t 1 t . t 1 t . t
: 1 :
a a
/ /
1 1 1 2 1 :
2 1 2 2 2 :
: 1 : 2 : :
' '

a b a b a b
a b a b a b
a b a b a b
a b
La funcin se llama y 1 a. t: 1 a b a b - - menor de Fredholm determinante
de Fredholm. En el caso en que el ncleo sea acotado o que la 1 a. t a b
integral tenga un valor finito, las series y
' '
a b a b a b
a a
/ /
2
1 a. t dadt 2.2.4 2.2.
sern convergentes para todos los valores de y, por lo tanto, sern -
funciones analticas enteras de . La resolvente -
1 a. t: a b -
1 a.t:
1
a b
a b
-
-
es una funcin analtica de , a excepcin de los valores de , que - -
anulan la funcin . Los ltimos son polos de la resolvente . 1 1 a. t: a b a b - -
EJEMPLO. Hallar, mediante los determinantes de Fredholm, la resolvente
del ncleo . 1 a. t ac : a 0. / 1 a b
t
Solucin: Tenemos . A continuacin 1 a. t ac
0
t
a b
1 a. t dt 0
ac ac
t c t c
1
0
1
t t
1 1
t t
a b

'
1
1
1 a. t dt dt 0
ac ac ac
t c t c t c
t c t c t c
2 1 2
0 0
1 1
t t t
1 1 1
t t t
2 t 2 2
t t
a b

' '
1 2
1 2
1 2
puesto que los determinantes bajo el signo integral son iguales a cero. Es
evidente que tambin todas las ulteriores . Hallamos los 1 a. t 0
:
a b
coeficientes : C
:
C 1 t . t dt t c dt 1
1 1 1 1 1 1
0 0
1 1
t
' '
a b
1
C dt dt 0
t c t c
t c t c
2 1 2
0 0
1 1
1 1
t t
2 2
t t
' '

1 2
1 2

Es evidente tambin que todos los siguientes . Segn las frmulas C 0
:
a b a b 2.2.4 2.2. y en nuestro caso tenemos
. 1 a. t: 1 a. t ac : 1 1 a b a b a b - - -
t
De este modo,
. 1 a. t: a b -
1 a.t:
1 1
ac
a b
a b
-
- -
t
Apliquemos el resultado obtenido a la solucin de la ecuacin integral
. 9 - 9 - a b a b a b a b a ac t dt 1 a = 1
'
0
1
t
Segn la frmula a b 2.2.2
. 9 - a b a b a b a 1 a 1 t dt
'
0
1
ac
1
t
-
En particular, para se obtiene 1 a c a b
a

9a b a c a
a
-
- 1
El clculo de los coeficientes y de las ecuaciones y 1 a. t C 2.2.4 2.2.
: :
a b a b a b
por las frmulas y es prcticamente posible slo en casos a b a b 2.2.6 2.2.7
muy raros, pero de estas frmulas se obtienen las siguientes relaciones
de recurrencia
1 a. t C 1 a. t : 1 a. - 1 -. t d- 2.2.8
: : :1
a
/
a b a b a b a b a b
'
C 1 -. - d- 2.2.9
: :1
a
/
'
a b a b
Sabiendo que los coeficientes y por las frmulas C 1 1 a. t 1 a. t
0 0
a b a b
a b a b a b a b 2.2.9 2.2.8 C . 1 a. t . C . 1 a. t . C . y se hallan sucesivamente etc.
1 1 2 2 8
EJEMPLO. Hallar aplicando las frmulas y , la resolvente del a b a b 2.2.8 2.2.9
ncleo donde . 1 a. t a 2t 0 a 1. 0 t 1 a b
Solucin: Tenemos . Aplicando la frmula se C 1. 1 a. t a 2t 2.2.9
0 0
a b a b
halla
. C - d-
1
0
1
1
2
'
a b
Por la frmula se obtiene a b 2.2.8
. 1 a. t a 2- - 2t d- a t 2at
1
0
1
2
8
a b a ba b
a2t
2
'
Ahora tenemos
C 2- 2- d-
2
0
1
2 2 1
8 8
'
1 a 2t 2 a 2- - t 2-t d- 0
2
1 2
8 8 0
1
a b a b
'
C C 0. 1 a. t 1 a. t 0
8 4 8 4
a b a b
Por consiguiente:
1 1 C 1 C 1 a b
!
- - - - - -
:1
2
1
:! 2 2 6
: 1
: 2 2 C 1 1
a b
:
2
1 a. t: 1 a. t 1 a. t a 2t 1 a. t a b a b a b a b a b
!
- - -
:1
1
1
:!
: 1
:
a b
:
. a 2t a t 2at

2
8
-
La resolvente del ncleo dado ser
1 a. t: a b -
1 a.t:
1
a2t at2at
1
a b
a b

-
-
-
- -
2
8
1 1
2 6
2
2.2. Ncleos iterados
Sea dada la ecuacin integral de Fredholm
'
a
/
Como en el caso de las ecuaciones diferenciales ordinarias, la ecuacin
integral puede resolverse por el mtodo de las aproximaciones a b 2.2.1
sucesivas. Para esto, hagamos
9 < - a b a b a b a b
!
a 1 a a 2.2.2
:1
:
:
donde se determina mediante las frmulas <
:
a b a
<
1
a
/
a b a b a b a 1 a. t 1 t dt
'
< <
2 1 2
a a
/ /
a b a b a b a b a b a 1 a. t t dt 1 a. t 1 t dt
' '
< <
8 2 8
a a
/ /
a b a b a b a b a b a 1 a. t t dt 1 a. t 1 t dt
' '

Aqu
1 a. t 1 a. . 1 .. t d.
2 1
a
/
a b a b a b
'
1 a. t 1 a. . 1 .. t d.
8 2
a
/
a b a b a b
'
y en general
1 a. t 1 a. . 1 .. t d. 2.2.8
: :1
a
/
a b a b a b a b
'
: 2. 8. . 1 a. t 1 a. t 1 a. t
siendo . Las funciones , que se

1 :
a b a b a b
determinan mediante las frmulas , se llaman . a b 2.2.8 nucleos iterados
Para stas, es vlida la frmula
1 a. t 1 a. - 1 -. t d- 2.2.4
: :
a
/
a b a b a b a b
'
donde es un nmero natural cualquiera, menor que . :
La resolvente de la ecuacin integral se determina a partir de los a b 2.2.1
ncleos iterados por la frmula
1 a. t: 1 a. t 2.2. a b a b a b
!
- -
:1
:
:1
La serie del segundo miembro se llama . Serie de Neumann del ncleo
Esta converge para
donde . [ [ < 1 1 a. t dadt 2.2.6 -
1
1 a a
/ /
2
a b a b
' '
La solucin de la ecuacin de Fredholm de segunda especie se a b 2.2.1
expresa por la frmula de inversin
9 - - a b a b a b a b a b a 1 a 1 a. t: 1 t dt 2.2.7
'
a
/
La cota es esencial para la convergencia de la serie . Sin a b a b 2.2.6 2.2.
embargo, la solucin de la ecuacin puede tambin existir para a b 2.2.1
valores de tales que . Veamos un ejemplo, consideremos - - [ [
1
1
9 - 9 a b a b a b a t dt 1 2.2.8
'
0
1
Aqu y, por lo tanto 1 a. t 1
a b
. 1 1 a. t dadt dadt 1
2 2
0 0 0 0
1 1 1 1
' ' ' '
a b
De este modo, la condicin da que la serie converge para a b a b 2.2.6 2.2.
[ [ < 1 2.2.8 - . Resolviendo la ecuacin como ecuacin con ncleo a b
degenerado o separable (ver 3), se obtiene , donde a b 1 C 1 -
C t dt 1
'
0
1
9 - a b . Esta ecuacin no es soluble para , lo que significa que
para la ecuacin integral no tiene solucin. De aqu se deduce - 1 2.2.8 a b
que en un crculo de radio mayor que la unidad las aproximaciones
sucesivas para la ecuacin no pueden converger. Sin embargo, a b 2.2.8
para , la ecuacin es soluble. En efecto, si , la ecuacin [ [ 1 2.2.8 = 1 - - a b
9a b a
1
1-
es solucin de la ecuacin dada, lo cual es fcilmente
comprobable por verificacin directa.
Dados dos ncleos, y , diremos que ellos son , 1 a. t 1 a. t a b a b ortogonales
si se cumplen las dos condiciones siguientes:

' '
a a
/ /
1 a. . 1 .. t d. 0. 1 a. . 1 .. t d. 0 2.2.9 a b a b a b a b a b
para cualesquiera valores admisibles de y de . a t
EJEMPLO. Los ncleos y , son ortogonales en 1 a. t at 1 a. t a t a b a b
2 2
[ 1. 1[.
En efecto,

' '
1 1
1 1
2 2 2 8
a ba b a. . t d. at . d. 0

' '
1 1
1 1
2 2 2 8
a ba b a . .t d. a t . d. 0
Existen ncleos que son ortogonales a s mismos. Para tales ncleos
1 a. t 0 1 a. t
2 2
a b a b , donde es el segundo ncleo iterado. En este caso
evidentemente, todos los ncleos iterados subsiguientes son tambin
iguales a cero, y la resolvente coincide con el ncleo . 1 a. t a b
EJEMPLO. . 1 a. t a 2t : 0 t 2 . 0 t 2 a b a b sin 1 1
Tenemos

' '
0 0
2 2
1
2
1 1
sin sin cos cos a b a b a b a b a 2. . 2t d. [ a 2t 8. a 2t . [ d.
. a 2t 8. a 2t . 0
1 1
2 8
.2
.0

a b a b sin sin
1
De este modo, en este caso la resolvente del ncleo es igual al propio
ncleo
, 1 a. t: a 2t
a b a b - sin
de manera que la serie de Neumann est formada por un solo a b 2.2.
trmino y evidentemente, converge para cualquier . -
Los ncleos iterados pueden expresarse directamente del ncleo 1 a. t
:
a b
dado por la frmula 1 a. t a b
1 a. t 1 a. - 1 - . - .1 - . t d- d- .d- 2.2.10
: 1 1 2 :1 1 2 :1
a a a
/ / /
a b a b a b a b a b
' ' '
Todos los ncleos iterados , a partir de sern funciones 1 a. t 1 a. t
: 2
a b a b
continuas en el cuadrado , , si el nmero inicial a a / a t / 1 a. t a b
es de cuadrado sumable en dicho cuadrado.
Damos algunos ejemplos para la determinacin de ncleos iterados.
EJEMPLO 1. Hallar los ncleos iterados para si . 1 a. t a t a 0. / 1 a b
Solucin. Aplicando la frmula se halla sucesivamente a b 2.2.2
1 a. t a t. 1 a. t a - - t d- at
1 2
0
1
1
8
a b a b a ba b
'
at
2
1 a. t a - -t d-
8
0
1
1
8
a b a b
'
-t at
2 12
1 a. t a - d- 1 a. t at
4 2
0
1
1 1 1
12 12 8
a b a b a b
'
-t at
12 2
1 a. t a - -t d- 1 a. t
8
1 1 1
12 8 12 0
1
a b a b a b
'
-t at
2 12
2
1 a. t a - - t d- at
6
1 1 1
12 12 8 0
1
a b a ba b
2 2
'
1 a.t
12 2
at 2
2
a b
De aqu se deduce que los ncleos iterados tienen la forma
a b a b a b 1 : 2/ 1 1 a. t a t para
2/1
a b 1
12
/
/1
a b 2 : 2/ 1 at para
2/
1
8
a b 1
12
at
2
/1
/1
donde / 1. 2. 8. .
EJEMPLO 2. Hallar los ncleos iterados y si 1 a. t 1 a. t a 0. / 1
1 2
a b a b
y

si
si
1 a. t
a t. 0 a < t
a t. t < a 1
a b

Solucin. Tenemos que 1 a. t 1 a. t
1
a b a b
1 a. t 1 a. - 1 -. t d-
2
0
1
a b a b a b
'
donde

1 a. - 1 -. t
a -. 0 a < - - t. 0 - < t
a - . - < a 1 - t. t < - 1
a b a b

Como el ncleo dado no es simtrico, al hallar 1 a. t 1 a. t a b a b
2
consideramos dos casos: y . a b a b 1 a < t 2 a t
a b 1 a < t Sea . Entonces
1 a. t 1 1 1
2 1 2 8
a b

donde

1 a - - t d-
1
0
a
a a t
6 2
'
a ba b
8 2

1 a - - t d- at a t
2
a
t
t a 8 8
6 6 2 2
2 2
'
a ba b
8 8
1 a - - t d- at
8
t
1
t at a t 1
6 2 2 2 8
'
a ba b
8 2
Sumando estas integrales, se obtiene
1 a. t t a a t 2at at a < t
2
8 8 2 2 2 at 1
8 2 8
a b a b
a b 2 a t Sea . Entonces
1 a.t 1 1 1
2 1 2 8
a b

donde

1 a - - t d- at
1
0
t
8 t
2 6
2
'
a ba b
8

1 a - - t d-
2
t
a
a t a t at
6 6 2 2
'
a ba b
8 8 2 2
. 1 a - - t d- a a t at
8
a
1
8 at 1
6 2 2 8
8 2
'
a ba b
Sumando estas integrales, obtenemos
. 1 a. t a t a t 2at at . a t
2
2 at 1
8 2 8
8 8 2 2
a b a b
De este modo, el segundo ncleo iterado tiene la forma
1 a. t
a t a t 2at at . 0 < a < t
a t a t 2at at . t < a 1
2
2 at 1
8 2 8
8 8 2 2
2 at 1
8 2 8
8 8 2 2
a b

Anlogamente se hallan los ncleos iterados restantes 1 a. t
:
a b
a b : 8. 4. . .
Citemos ahora un ejemplo de construccin de la resolvente de una
ecuacin integral mediante los ncleos iterados. Consideramos la
ecuacin integral
9 - 9 a b a b a b a at t dt 1 a
'
0
1
a b 2.2.11
Aqu sucesivamente se halla: 1 a. t at: a 0. / 1 a b

1 a. t at
1 a. t a. .t d.
1 a. t a. .t d.
1 a. t
1
2
0
1
at
8
8
1 at
8 8 0
1
:
at
8
a b
a b a ba b
a b a ba b
a b
'
'
2
:1
Segn la frmula para la resultante se tiene a b 2.2.
1 a. t: 1 a. t at a b a b
! !
- -
:1 :1

:
:1
8
:1
- 8at
8-
donde . [ [ < 8 -
En virtud de la frmula , la solucin de la ecuacin integral a b a b 2.2.7 2.2.11
se escribe en la forma
9 - a b a b a 1 a dt
'
0
1
8at
8-
En particular, para se obtiene donde . 1 a a a = 8 a b a b 9 -
8a
8-
Si y son dos ncleos ortogonales, la resolvente , ` a. t a. t 1 a. t: a b a b a b -

correspondiente al ncleo es igual a la suma de 1 a. t ` a. t a. t a b a b a b
las resolventes y que corresponden a cada ncleo. 1 a. t: 1 a. t:
1 2
a b a b - -
EJEMPLO. Hallar la resolvente del ncleo
. 1 a. t at a t . a 1. / 1 a b
2 2
Solucin. Como ha sido demostrado anteriormente, los ncleos
` a. t at a. t a t [ 1. 1[ a b a b y son ortogonales en . Por esto, la
2 2
resolvente del ncleo es igual a la suma de las resolventes de los 1 a. t a b
ncleos y . Aplicando resultados conocidos se halla ` a. t a. t a b a b
1 a. t: 1 a. t: 1 a. t:
1 `
a b a b a b - - -
8at a t
82 2 - -
2 2
donde . [ [ < -
8
2
La propiedad que acabamos de indicar se puede generalizar a cualquier

nmero finito de ncleos.
Si los ncleos son ortogonales dos a dos , ` a. t . ` a. t . .. ` a. t
a b a b a b 1 2 :
a b a b a b
la resolvente que corresponde a su suma
1 a. t ` a. t 2.2.12 a b a b a b
!
1
:
a b
es igual a la suma de las resolventes correspondientes a cada sumando.
Llamaremos -sima del ncleo a la magnitud : 1 a. t traza a b
1 a. a da : 1. 2. . 2.2.18
: :
a
/
'
a b a b a b
donde es el -simo ncleo iterado para el ncleo . 1 a. t : 1 a. t
:
a b a b
Para el determinante de Fredholm, tiene lugar la siguiente frmula: 1a b -

1
1
/
a b
a b
-
-
2.2.14
!
a b
:1
:
:1
-

El radio de convergencia de la serie de potencias es igual al menor a b 2.2.14
mdulo de las races caractersticas ver . ( 8.8)
2.3. EJERCICIOS
En los siguientes ncleos aplicando los determinantes de Fredholm, halle
las resolventes.
1 1 a. t 2a t: 0 a 1. 0 t 1 . a b
2. 1 a. t a t at : 0 a 1. 0 t 1 a b
2 2
8. 1 a. t a t. 0 a 2 . 0 t 2 a b sin cos 1 1
4. 1 a. t a t: 0 a 2 . 0 t 2 . a b sin sin 1 1
Aplicando las frmulas y halle las resolventes de los a b a b 2.2.8 2.2.9
siguientes ncleos:
. 1 a. t a t 1: 1 a 1. 1 t 1 a b
6. 1 a. t 1 8at: 0 a 1. 0 t 1 a b
7. 1 a. t 4at a : 0 a 1. 0 t 1 a b
2
8. 1 a. t c : 0 a 1. 0 t 1 a b
at
9. 1 a. t a t : 0 a 2 . 0 t 2 a b a b sin 1 1
10. 1 a. t a t: 1 a 1. 1 t 1 . a b sinh
Aplicando la resolvente, resolver las siguientes ecuaciones integrales:
11. a a t t dt 1 9 - 9 a b a b a b
'
0
21
sin

12. a 9 - a b
'
0
1
a
6
a b a b 2a t t dt 9

18. a 9a b
'
0
21
sin cos cos a t t dt 2a 9a b
14. a 9a b
'
0
1
at a
c t dt c 9a b
1. a 9 - a b
'
0
1
2
a b a b 4at a t dt a 9 .
Hallar los ncleos iterados de los ncleos indicados a continuacin para
los valores de y dados: a /
16. 1 a. t a t: a 1. / 1 a b
17. 1 a. t a t : a 0. / : 2. 8 a b a b a b sin
1
2
18. 1 a. t a t : a 1. / 1 : 2. 8 a b a b a b
2
19. 1 a. t ac : a 0. / 1 a b
t
20. 1 a. t a t: a . / a b sin 1 1
21. 1 a. t c t: a 0. / a b
a
cos 1
En los problemas siguientes, halle 1 a. t
2
a b
22. 1 a. t c : a 0. / 1 a b
[at[
28. 1 a. t c : a 1. / 1 a b
[a[t
Usando ncleos iterados construir la resolvente de los siguientes ncleos:
24. 1 a. t c : a 0. / 1 a b
at
2. 1 a. t a t: a 0. / a b sin cos
1
2
26. 1 a. t ac : a 1. / 1 a b
t
27. 1 a. t 1 a 1 t : a 1. / 0 a b a ba b
28. 1 a. t a t : a 1. / 1 a b
2 2
29. 1 a. t at: a 1. / 1 a b
80. 1 a. t a t 2a 2t a 0. / 2 ; a b sin cos cos sin 1
81. 1 a. t 1 2a 1 2t 1 : a 0. / 1 . a b a ba b
? ? \
3. TEORA CUANTITATIVA.
ECUACIONES INTEGRALES CON NCLEO DEGENERADO
3.1. Ecuaciones de Fredholm.
El ncleo de la ecuacin integral de Fredholm de segunda especie 1 a. t a b
se llama , si ste es la suma de un nmero finito degenerado o separable
de productos de una funcin slode por una funcin slo de , es a t
decir, si l tiene la forma
1 a. t a a / t 8.1.1 a b a b a b a b
!
/1
:
/ /
las funciones y son funciones continuas del a a / t / 1. 2. .. :
/ /
a b a b a b
espacio y linealmente independientes. La ecuacin integral con 1 [a. /[
2
a b
ncleo degenerado a b 8.1.1
9 - 9 a b a b a b a b a b a b
!
a a a / t t dt 1 a 8.1.2
'
a
/

/1
:
/ /
se resuelve del siguiente modo: Escribamos del siguiente modo a b 8.1.2
9 - 9 a b a b a b a b a b a b
!
a 1 a a a / t t dt 8.1.8
/1
:
/ /
a
/
'
e introduzcamos las notaciones siguientes

'
a
/
/ /
/ t t dt c / 1. 2. .. : 8.1.4 a b a b a b a b 9
Entonces toman ahora la forma a b 8.1.8
9 - a b a b a b a b
!
a 1 a c a a 8.1.
/1
:
/ /
donde son constantes desconocidas (puesto que la funcin no es c a
/
9a b
conocida).
De este modo, la solucin de una ecuacin integral con ncleo
degenerado se reduce a hallar las constantes . c / 1. 2. .. :
/
a b
Sustituyendo la expresin en la ecuacin integral , y despues a b a b 8.1. 8.1.2
de sencillas transformaciones, se obtiene
.
! !

a b a b a b a b

1
: :
/ /
a
/
/1
c / t 1 t c a t dt a a 0
'
-
En virtud de la independencia lineal de las funciones a a
a b
a b 1. 2. .. : ; de aqu se deduce que
c / t 1 t c a t dt 0
/ /
a
/
/1
:
'
a b a b a b

!
-
o bien
. c c a t / t dt / t 1 t dt 1. 2. .. :
/ /
/1
:
a a
/ /
-
!
a b a b a b a b a b
' '
Introduciendo, para simplificar la escritura, las notaciones
, a a t / t dt. 1 / t 1 t dt
/ /
a a
/ /
' '
a b a b a b a b
as se obtiene el siguiente sistema
c a c 1 1. 2. .. :
/ /
/1
:
-
!
a b
o, en forma desarrollada:

a b
a b
a b
a b
1 a c a c a c 1
a c 1 a c a c 1
a c a c 1 a c 1
8.1.6
- - -
- - -
- - -
11 1 12 2 1: : 1
21 1 22 2 2: : 2
:1 1 :2 2 :: : :

Para hallar las incgnitas tenemos un sistema lineal de ecuaciones c :
/
algebraicas con incgnitas. El determinante de este sistema es igual a :
? -
- - -
- - -
- - -
a b a b

8.1.7
1 a a a
a 1 a a
` ` ` `
a a 1 a
11 12 1:
21 22 2:
:1 :2 ::
Si , el sistema tiene solucin nica que se ? - a b a b = 0 8.1.6 c . c . .. c
1 2 :
obtienen por las frmulas de Crammer.
c
/
1
? - a b

1 a a 1 a a
a a 1 a a
` ` ` ` ` ` `
a a 1 a 1 a
- - - -
- - - -
- - - -
11 1/1 1 1/1 1:
21 2/1 2 2/1 2:
:1 :/1 : :/1 ::
a b /1.2...:
a b 8.1.8
La solucin de la ecuacin integral ser la funcin determinada a b a b 8.1.2 a 9
por la igualdad
9 - a b a b a b
!
a 1 a c a a
/1
:
/ /
donde los coeficientes se determinan por las frmulas c / 1. 2. .. :
/
a b
a b 8.1.8 .
OBSERVACIN. El sistema se puede obtener, si ambos miembros de a b 8.1.6
la igualdad se multiplican sucesivamente por y a b a b a b a b 8.1. a a . a a . .. a a
1 2 :
se integra desde hasta , o bien, si se sustituye la expresin para a / 8.1. a b
9a b a b a 8.1.4 a t es la igualdad cambiando por .
EJEMPLO. Resolver la ecuacin integral
9 - 9 a b a b a b a b a a t t a a t t dt a 8.1.9
'
2
1
1
cos sin cos sin
Solucin: Escribamos la ecuacin en la siguiente forma:
9 - 9 - 9 - 9 a b a b a b a b a a t t dt a t t dt a t t dt a
' ' '

2
1 1 1
1 1 1
cos sin cos sin
Introduzcamos las notaciones:
c t t dt: c t t dt: c t t dt 8.1.10
1 2 8

2
' ' '
1 1 1
1 1 1
9 9 9 a b a b a b a b cos sin
donde son constantes desconocidas por determinar. Entonces la c . c . c
1 2 8
ecuacin toma la forma a b 8.1.9
9 - - - a b a b a c a c a c a a 8.1.11
1 2 8
sin cos
Sustituyendo la expresin en las igualdades , se obtiene a b a b 8.1.11 8.1.10

c c t c t c t t t dt
1 1 2 8
2 1 2 8
2
8 1 2 8
'
'
'
1
1
1
1
1
1
a b
a b
a b
- - -
- - -
- - -
sin cos cos
sin cos
sin cos sin
o bien

c 1 t t dt c t t dt c t dt t t dt
c t dt c 1 t d dt c t t dt t dt
c
1 2 8

2
1 2 8

8 2 2 8
1

- - -
- - -
-
' ' ' '
' ' ' '
'
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
1
1
cos sin cos cos cos
sin cos
t t dt c t dt c 1 t t dt t t dt sin sin cos sin sin
2 8

2
- -
' ' '
1 1 1
1 1 1

Calculando las integrales que figuran en estas ecuaciones, se obtiene el
sistema de ecuaciones algebraicas para hallar las incgnitas c . c . c
1 2 8

c c 0
c c 4 0
2 c c c 2
8.1.12
1 8
2 8
1 2 8
-1
- 1
1- -1 1
a b
El determinante del sistema es

? - 1 - 1 - 1 -
1-
1-
1- 1-
a b a b

1 2 4 1 2 = 0
1 0
0 1 4
2 1
2 2 2 2 2 2
El sistema tiene solucin nica; dada por a b 8.1.12
c : c : c
1 2 8
2 8 2
12 12 12
-1 -1 1
- 1 - 1 - 1
2 2
2 2 2 2 2 2
sustituyendo los valores hallados y en se obtiene la c . c c 8.1.1
1 2 8
a b
solucin de la ecuacin integral dada:
. 9 -1 -1 a b a b a a 4 a a a
2
12
-1
- 1
2 2
sin cos
3.2. Ecuacin de Hammerstein
Muchos problemas de la fsica se reducen a ecuaciones integrales no
lineales de Hammerstein.
La forma cannica de la (ver 1, 1.3) es: ecuacin de Hammerstein
9 9 a b a b a b a b a b a 1 a. t 1 t. t dt 8.2.1
'
a
/
donde son funciones dadas; es la funcin incgnita. 1 a. t . 1 t. n a a b a b a b 9
Tambin las ecuaciones de la forma
+ 9 9 < a b a b a b a b a b a b a 1 a. t 1 t. t dt a 8.2.1
'
a
/
/
donde es una funcin conocida, pueden reducirse con facilidad a la <a b a
ecuacin del tipo de modo que la diferencia entre las ecuaciones a b 8.2.1
homogneas y no homogneas (de importancia en el caso lineal) en el
caso no lineal no tiene casi ningn valor. La funcin la llamaremos 1 a. t a b
como siempre . ncleo de la ecuacin a b 8.2.1
Sea un ncleo degenerado, es decir 1 a. t a b
. 1 a. t a a / t 8.2.2 a b a b a b a b
!
i1
i i
En este caso, la ecuacin toma la forma a b 8.2.1
9 9 a b a b a b a b a b
!
a b a a a / t 1 t. t dt 8.2.8
i1
i i
a
/
'
Hagamos
c / t 1 t. t dt i 1. 2. .. 8.2.4
i i
a
/
'
a b a b a b a b a b 9
donde son constantes desconocidas por ahora. Entonces en virtud de c
i
a b 8.2.8 tendremos
9a b a b a b
!
a c a a 8.2.
i1
i i
Sustituyendo en las ecuaciones la expresin para , se a b a b a b 8.2.4 8.2. a 9
obtienen magnitudes desconocidas : c . c . .. c
1 2
c c . c . .. c i 1. 2. .. 8.2.6
i i 1 2
< a b a b a b
En el caso en que sea un polinomio con respecto a , es decir 1 t. n n a b
1 t. n t t n t n 8.2.7 a b a b a b a b a b
0 1 :
:
donde son, por ejemplo, funciones continuas de en el t . t . .. t
0 1 :
a b a b a b
segmento , el sistema se transforma en un sistema de [a. /[ 8.2.6 a b
ecuaciones algebraicas con respecto a . Si existe una solucin c . c . .. c
1 2
del sistema , es decir, si existen nmeros a b 8.2.6
, c . c . .. c
1 2
0 0 0
tales que, al ser sustitudos en el sistema , reducen sus ecuaciones a b 8.2.6

a identidades, entonces existe una solucin de la ecuacin integral , a b 8.2.8
que se determina por la igualdad : a b 8.2.
. 9a b a b
!
a c a a
i1
i
0
i
Es evidente que el nmero de soluciones (en general, complejas) de la
ecuacin integral es igual al nmero de soluciones del sistema a b 8.2.8
a b 8.2.6 .
EJEMPLO. Resolver la ecuacin integral
es un parmetro 9 - 9 - a b a b a b a b a at t dt 8.2.8
'
0
1
2
Solucin: Hagamos
c t t dt 8.2.9
'
0
1
2
9 a b a b
Entonces
9 - a b a b a c a 8.2.10
Sustituyendo por el segundo miembro de en la relacin 9a b a b a 8.2.10
a b 8.2.9 , se tendr
c t c t dt
'
0
1
2 2 2
-
de donde
. c c 8.2.11
-
2
4
2
a b
La ecuacin tiene dos soluciones: a b 8.2.11
. c 0. c
1 2
4
-
2
Por lo tanto, la ecuacin integral tiene tambin dos soluciones para a b 8.2.8
cualquier - = 0
9 9
1 2
4
a b a b a 0. a a.
-

Existen ecuaciones integrales no lineales simples que no tienen
soluciones reales.
Veamos por ejemplo, la ecuacin
9 9 a b a b a b a b a c 1 t dt 8.2.12
1
2 0
1
at 2 2
'
a b
hagamos
c c 1 t dt 8.2.18
1
2 0
1
2
'
t
2
a b a b a b 9
Entonces
. 9a b a b a cc 8.2.14
a
2
Para determinar la constante se obtienen las ecuaciones c

c c 1 c c dt
c 1 c 8c 8 c 1 0
8.2.1
1
2 0
1
t2 2 t
82 2
'
a b

a b
1
2
No es difcil comprobar que la ecuacin no tiene races reales y a b 8.2.1
que, por lo tanto, la ecuacin integral no tiene soluciones reales. a b 8.2.12
Por otro lado, consideremos la ecuacin
9 9 a b a b a b a b a b a a a a t t dt 8.2.16
'
0
1
sin
9a b
a b
t
a t
para todo . (a t 0 t [0. 1[) a b
Para la determinacin de la constante se obtiene la ecuacin c
1 a t dt c 8.2.17
'
0
1
2
a b a b sin
Si , entonces la ecuacin y, por consiguiente,
'
0
1
2
a t dt 1 8.2.17 a b a b
tambin la ecuacin integral inicial , tiene un nmero infinito de a b 8.2.16
soluciones reales.
? ? \
3.3. Races caractersticas y funciones propias.
La ecuacin integral homognea de Fredholm de segunda especie
9 - 9 a b a b a b a b a 1 a. t t dt 0 8.8.1
'
a
/
tiene siempre la solucin trivial , que se llama solucin . 9a b a 0
nula
Los valores del parrametro , para los cuales esta ecuacin tiene -
soluciones no nulas , se llaman de la 9a b a 0
races caractersticas
ecuacin , o del ncleo , y cada solucin no nula de esta a b a b 8.8.1 1 a. t
ecuacin se llama , correspondiente a la raz funcin propia
caracterstica . -
El nmero no es raz caracterstica, puesto que para en - - 0 0 8.8.1 a b
se sigue que . 9a b a 0
Si el ncleo es continuo en la regin o de 1 a. t (a. t)a a. t / a b H

cuadrado sumable en , y adems los nmeros y son finitos, entonces H a /
a cada raz caracterstica le corresponde un nmero finito de funciones -
propias linealmente independientes; el nmero de estas funciones se
denomina de la raz caracterstica. Distintas races caractersticas rango
pueden tener diferente rango.
Para las ecuaciones con o ncleos degenerado separable
9 - 9 a b a b a b a b a b

!
a a a / t t dt 0 8.8.2
'
a
/
/1
:
/ /
las races caractersticas son las races de la ecuacin algebraica
? -
- - -
- - -
- - -
a b a b

0 8.8.8
1 a a a
a 1 a a
` ` ` `
a a 1 a
11 12 1:
21 22 2:
:1 :2 ::
cuya potencia es . Aqu es el determinante del sistema lineal : ? - a b
homogneo

a b
a b
a b
a b
1 a c a c a c 0
a c 1 a c a c 0
a c a c 1 a 0
8.8.4
- - -
- - -
- - -
11 1 12 2 1: :
21 1 22 2 2: :
:1 1 :2 2 ::
donde las magnitudes y tienen el mismo sentido a c /. 1. 2. .. :
/
a b
que en el pargrafo precedente ver 3,3.1 . ( )
Si la ecuacin tiene races , la ecuacin integral a b a b a b 8.8.8 1 : 8.8.2
posee races caractersticas; a caracterstica 1. 2. .. cada raz -
a b
le corresponde una solucin no nula.

c . c . .. c
c . c . .. c
c . c . .. c
1 2
1 1 1
: 1
1 2
2 2 2
: 2
1 2

:
a b a b a b
a b a b a b
a b a b a b
-
-
-
del sistema . Las soluciones no nulas de la ecuacin integral a b a b 8.8.4 8.8.2
correspondientes a estas soluciones, es decir, las funciones propias,
tendran la forma
. 9 9 9
1 / 2 / /
/1 /1 /1
: : :
/ / /
1 2
a b a b a b a b a b a b
! ! !
a c a a . a c a a . .. a c a a
a b a b a b
La ecuacin integral con ncleo degenerado tiene a lo ms races :
caractersticas y funciones propias correspondientes a estas.
En el caso de un ncleo arbitrario (no degenerado o inseparable), las
races caractersticas son ceros del determinante de Fredholm , es 1a b -
decir, polos de la resolvente . De aqu se deduce, en particular 1 a. t: a b -
que la ecuacin de Volterra
9 - 9 a b a b a b a 1 a. t t dt 0
'
0
a
donde , no tiene races caractersticas (para esta 1 a. t 1 a b a b
2
H
1 c 1 a. t dt a b a b -

1
0
a
1
-
, siendo ).
'
OBSERVACIN. Las funciones propias se determinan salvo un factor
constante es decir, si es una funcin propia que corresponde a cierta 9a b a
raz caracterstica , entonces , donde es una constante arbitraria, - 9 c a c a b
ser tambin una funcin propia correspondiente a la misma raz
caracterstica . -
EJEMPLO. Hallar las races caractersticas y las funciones propias de la
ecuacin integral
9 - 9 a b a b a b a b a a 2t 8a t t dt 0 8.8.
'
0
2 8
1
cos cos cos cos
Solucin: Se tiene
9 - 9 - 9 a b a b a b a a 2t t dt 8a t t dt cos cos cos cos
2 8
0 0
' '
1 1
Introduciendo las notaciones
c t 2t dt. c t t dt
1 2
0 0
8
' '
1 1
9 9 a b a b cos cos
tenemos
9 - - a b a b a c a c 8a 8.8.6
1 2
2
cos cos
Sustituyendo en se obtiene un sistema lineal de ecuaciones a b a b 8.8.6 8.8.
homogneas:

c 1 t 2t dt c 8t 2t dt 0
c t dt c 1 t 8t dt 0
8.8.7
1 2
0 0
2
1 2
0 0
8

a b
- -
- -
' '
' '
1 1
1 1
cos cos cos cos
cos cos cos

Pero como

' '
' '
0 0
2
4
0 0
8
8
1 1
1
1 1
1
cos cos cos cos
cos cos cos
t 2t dt . 8t 2t dt 0
t dt 0. t 8t dt
El sistema toma la forma a b 8.8.7

a b
1 c 0
1 c 0
8.8.8
-1
-1
4
1
8
2
La ecuacin para hallar las races caractersticas ser

1 0
0 1
0
-1
-1
4
8
Las races caractersticas son , . - -
1 2
4 8

1 1
Para , el sistema toma la forma -
1
4
8.8.8
1
a b

0 c 0
c 0
1
1
2
2
de donde , es constante arbitraria. La funcin propia ser c 0 c
2 1
9 - - 9
1 1 1 1
2 2
a b a b a c a c 1 a a cos cos , o bien, haciendo , se obtiene .
Para , el sistema toma la forma -
2
8
8.8. 8
1
a b

a b 1 c 0
0 c 0
1
2
de donde , es arbitraria y, por consiguiente, la funcin propia ser c 0 c
1 2
9 - - 9
2 2 2 2
a b a b a c 8a c 1 a 8a cos cos , o bien haciendo , se obtiene .
De este modo, las races caracterstericas son:
, - -
1 2
4 8

1 1
las funciones propias correspondientes a estas son: 9
1
2
a b a a. cos
9
2
a b a 8a cos .
Una ecuacin integral homognea de Fredholm puede no tener races

caractersticas y funciones propias, o bien no tener races caractersticas
reales y funciones propias.
EJEMPLO. La ecuacin integral homognea
9 - 9 a b a b a b a 8a 2 t t dt 0
'
0
1
no tiene races caractersticas y funciones propias. En efecto, tenemos
. 9 - 9 a b a b a b a 8a 2 t t dt
'
0
1
Haciendo
c t t dt 8.8.9
'
0
1
9a b a b
se obtiene
. 9 - a b a b a b a c 8a 2 8.8.10
Sustituyendo en obtenemos a b a b 8.8.10 8.8.9
a b a b 1 8t 2t dt c 0 8.8.11 -
'
0
1
2
Pero, como la ecuacin da y, por
'
0
1
2
a b a b 8t 2t dt 0 8.8.11 c 0
consiguiente . 9a b a 0
De este modo, la ecuacin homognea dada tiene slo la solucin nula
9 - a b a 0 para un cualquiera; por lo tanto, sta no posee races
caractersticas y funciones propias.
EJEMPLO. la ecuacin no tiene races 9 9 a b a b

a at ta t dt 0
'
0
1
caractersticas reales y funciones propias.
Tenemos que donde 9 - - a b

a c a c a
1 2
. c t t dt. c t t dt
1 2
0 0
1 1
' '
9 9 a b a b
Haciendo la sustitucin en y se tiene 9 c c

1 2
c t c t c t dt. c t c t c t dt
1 1 2 2 1 2
0 0
1 1
' '

- - - -
de donde
c c t dt c t dt. c c t dt c t dt
1 1 2 2 1 2
0 0 0 0
1 1 1 1
2
- - - -
' ' ' '
8 8
2 2

obtenindose el sistema de ecuaciones algebraicas

.

a b
1 c c 0
c 1 c 0
8.8.12
2
8
1 2
2
1 2
2
-
-
-
-
El determinante del sistema es
. ? -
-
-
a b

1
1
1
2
8
2
2
-
-
-
2
10
Para real, ste no se anula, por lo que se obtiene y , - a b 8.8.12 c 0 c 0
1 2
por lo tanto, para todas las reales, la ecuacin dada tiene slo la -
solucin trivial: . De esta manera, la ecuacin dada 9a b a 0
9 - 9 a b a b

a at ta t dt 0
'
0
1
no posee races caractersticas reales y
funciones propias.
Si el -simo ncleo iterado del ncleo es simtrico, : 1 a. t 1 a. t

:
a b a b
entonces se puede afirmar que tiene por lo menos una raz 1 a. t a b
caracterstica (real o compleja), y que las potencias -simas de todas las :
races caractersticas son nmeros reales. En particular, para un ncleo
antisimtrico , todas las races caractersticas son 1 a. t 1 t. a a b a b
imaginarias puras: , donde . - " " i +
El ncleo de una ecuacin integral se llama , si se cumple 1 a. t a b simtrica
la condicin . 1 a. t 1 t. a a a. t / a b a b a b
Para la ecuacin integral de Fredholm
9 - 9 a b a b a b a b a 1 a. t t dt 0 8.8.18
'
a
/
con ncleo simtrico tienen lugar los teoremas siguientes que son 1 a. t a b
anlogos del anlisis espectral:
TEOREMA 1. La ecuacin tiene por lo menos una 9 - a b a
'
a
/
1 a. t t dt 0 a b a b 9
raz caracterstica real.
TEOREMA 2. A cada raz caracterstica le corresponde un nmero finito - c
de funciones linealmente independiente de la ecuacin
9 - a b a
'
a
/
1 a. t t dt 0 a b a b 9 siendo
sup c 1 -
2 2
donde
1 1 a. t dadt
2 2
a a
/ /
' '
a b
El nmero se llama o multiplicidad de la raz caracterstica. c rango
TEOREMA 3. , , Cada par de funciones propias que corresponde a 9
1
a b a 9
2
a b a
races caractersticas diferentes son ortogonales es decir - -
1 2
= , ,
'
a
/
1 2
9 9 a b a b a a da 0.
TEOREMA 4. En cada intervalo finito del eje hay un nmero finito de -
races caractersticas. La cota superior para el nmero de races
caractersticas situadas en el intervalo se determina por la | < < | -
desigualdad
. < | 1
2 2
En el caso en donde el ncleo de la ecuacin sea la funcin 1 a. t 8.8.18 a b a b
de Green de cierto problema homogneo de Sturm-Lioville, la
determinacin de las races caractersticas y las funciones propias se
reducen a la solucin de dicho problema.
EJEMPLO. Hallar las races caractersticas y las funciones propias de la
ecuacin homognea
9 - 9 a b a b a b a 1 a. t t dt 0
'
0
1
donde
. 1 a. t
a t. 0 a t
t a. t a
a b

cos sin
cos sin 1
Solucin. Escribamos la ecuacin dada en la forma
9 - 9 - 9 a b a b a b a b a b a 1 a. t t dt 1 a. t t dt
' '
0 0
a 1
o bien
9 - 9 - 9 a b a b a b a b a a t t dt a t t da 8.8.14 sin cos cos sin
' '
0 a
a 1
con el fin de obtener el problema de Sturm-Liouville derivamos ambos
miembros de , se halla a b 8.8.14
,
9 - 9 - 9
- 9 - 9
/
0
a
a
a b a b a b
a b a b
a a t t dt a a a
a t t dt a a a
cos cos sin cos
sin sin sin cos
'
'
1
o sea
. 9 - 9 - 9
/
0 a
a
a b a b a b a b a a t t dt a t t dt 8.8.1 cos cos sin sin
' '
1
Derivando una vez ms, se obtiene
9 - 9 - 9 - 9 - 9
-9 - 9 - 9
// 2 2
0 a
a
0 a
a
a b a b a b a b a b
a b a b a b
a a t t dt a a a t t dt a a
a a t t dt a t t dt .
sin cos cos cos sin sin
sin cos cos sin
' '
' '
1
1
La expresin entre corchetes es igual a , de forma que 9a b a
. 9 -9 9
//
a b a b a b a a a
De este modo la ecuacin integral dada se reduce al siguiente problema
de frontera:
9 - 9
//
a b a b a b a b a 1 a 0 8.8.16
9 1 9 a b a b a b 0 0 0 8.8.17
/
Aqu son posibles los tres casos siguientes:
a b " , . - - 1 0. 1
La ecuacin toma la forma su solucin general ser a b a b 8.8.16 a 0 9
//
9a b a b a c a c 8.8.17
1 2
. Usando las condiciones de frontera , para
determinar las constantes y obtenemos el sistema c c
1 2

c c 0
c 0
1 2
1
1

el cual tiene la nica solucin y por consiguiente la ecuacin c 0. c 0
1 2
integral tiene slo la solucin trivial . 9a b a 0
a b # , , . - - 1 0 1
La solucin general de la ecuacin tiene la forma a b 8.8.16
. 9 - - a b

a c 1a c 1a
1 2
cosh sinh
Para determinar los valores de y , las condiciones de frontera dan el c c
1 2
sistema

.
c 1 c 1 0
c 0
1 2
2
cosh sinh 1 - 1 -

ste tiene la solucin nica . La ecuacin integral tiene la c 0. c 0
1 2
solucin trivial . De este modo, para la ecuacin integral 9 - a b a 0 _ 1
no posee races caractersticas y, por lo tanto, tampoco tiene funciones

propias.
a b $ , sea . La solucin general de la ecuacin - - 1 < 0 < 1 8.8.16 a b
ser
. 9 - - a b

a c 1 a c 1 a
1 2
cos sin
De aqu hallamos que
. 9 - - -
/
1 2
a b

a 1 c 1 a c 1 a sin cos
En este caso, para la determinacin de y , las condiciones de c c
1 2
fronteras dan el sistema a b 8.8.17

c 1 c 1 0
1 c 0
8.8.18
1 2
2
cos sin 1 - 1 -
-

a b
el determinante de este sistema es
? -
1 - 1 -
-
a b

1 1
0 1
cos sin
Igualando a cero, obtenemos la ecuacin para la determinacin de las
races caractersticas

a b
cos sin 1 - 1 -
-
1 1
0 1
0 8.8.19
o sea . Por hiptesis , por lo tanto

1 1 0 1 = 0 - 1 - - cos
cos1 - 1 - 1

1 1 : : . De aqu se halla que , donde . Todas
1
2
las races de la ecuacin vienen dadas por la frmula a b 8.8.19
. -
:
1
2
2
1 :

Para valores de , el sistema toma la forma - - 8.8.18
:
a b

c 0 c 1 0
c 0
1 2
:
2
a b
ste tiene un conjunto infinito de soluciones no nulas
c c. c 0
1 2
donde es una constante arbitraria. Esto significa que tambin la c
ecuacin integral original tiene un conjunto infinito de soluciones de la
forma
9a b

a c : a cos
1
2
las cuales son funciones propias de dicha ecuacin.
De este modo, las races caractersticas y las funciones propias de la
ecuacin dada, sern
, - 9
: :
1 1
2 2
2
1 : a : a

a b cos
donde es un entero cualquiera. :
3.4. EJERCICIOS.
Resolver las siguientes ecuaciones integrales con ncleos degenerados:
1 a 4 a t dt 2a . 9 9 1 a b a b
'
0
2
2
1
sin
2. a 9a b
'
1
1
a
c t dt a
arcsin
9a b tan
8. a 9 - a b
'
4
4
1
1
tan cot t t dt a 9a b
4. a 9 - a b
'
0
1
cos ln a b a b c t t dt 1 9
. a 9 - a b
'
0
1
arccos t t dt 9a b
1
1a
2
6. a 9 - a b
'
0
1
1
t

a b a b ln 9 t dt 1 1
Resolver las siguientes ecuaciones integrales:
7. a 2 at t dt 9 9 a b a b
'
0
1
8
8 a at a t t dt . 9 9 a b a b a b
'
1
1
2 2 2
9. a a t t dt 9 9 a b a b
'
1
1
2 2 8
10. a dt 9a b
'
1
1
at
1 t 9
2
a b
11. a 1 t dt. 9 9 a b a b a b
'
0
1
2

12. a a a a t 1 t dt Demostrar que la ecuacin integral 9 9 a b a b a ba b a b
1
2 0
1
2
'
(a a 0 a [0. 1[) a a da 1 a b a b para todo no tiene soluciones reales, si .
'
0
1
2
Hallar las races caractersticas y las funciones propias de las siguientes
ecuaciones integrales homogneas con nucleo degenerado:
18. a a t dt 0 9 - 9 a b a b
'
0
4
2
1
sin
14. a a t t dt 0 9 - 9 a b a b
'
0
21
sin cos
1. a a t t dt 0 9 - 9 a b a b
'
0
21
sin sin
16. a a t t dt 0 9 - 9 a b a b a b
'
0
1
cos
17. a at 4a t t dt 0 9 - 9 a b a b a b
'
1
1
8 2
18. a at 4a t 8at t dt 0 9 - 9 a b a b a b
'
1
1
8 2
19. a a t t a t dt 0 9 - 9 a b a b a b
'
1
1
cosh cosh
Hallar las races caractersticas y las funciones propias de las ecuaciones
integrales homogneas, si sus ncleos tienen la forma
20. 1 a. t
a t 1 . 0 a t
t a 1 . t a 1
a b

a b
a b
21. 1 a. t
a 1 t 2 . 0 a t
t 1 a 2 . t a 1
a b

a ba b
a ba b
22. 1 a. t
a t. 0 a t
t a. t a
a b

sin cos
sin cos 1
28. 1 a. t
a t 1 . a t
t a 1 . t a
a b

a b
a b
sin sin
sin sin
1
1
24. 1 a. t
c a. 0 a t
c t. t a 1
. a b

t
t
sinh
sinh
2. 1 a. t Demostrar que, si es ncleo simtrico, entonces el segundo a b
ncleo iterado tiene slo races caractersticas positivas. 1 a. t
2
a b
4. TEORA CUALITATIVA PARA LAS ECUACIONES INTEGRALES
4.1. Conceptos Fundamentales
Se llama ecuacin integral lineal de Fredholm de segunda especie a una
ecuacin del tipo
'
a
/
donde es la funcin incgnita; y son funciones 9a b a b a b a 1 a. t 1 a
conocidas; y son variables reales, que varan en un intervalo ; es a t [a. /[ -
un factor numrico.
La funcin se denomina , se supone 1 a. t a b ncleo de la ecuacin integral
que est definida en la regin cuadrada
y, H a. t a a /. a a / a b
en el plano , y es continua en , o bien sus discontinuidades son a b a. t H
tales que la integral doble tiene un valor finito.
' '
a b
a a
/ /
2
[1 a. t [ dadt
Si , la ecuacin se llama no homognea; si en cambio 1 a 0 4.1.1
a b a b
1 0 0 4.1.1
a b a b la ecuacin toma la forma

9 - 9 a b a b a b a b a 1 a. t t dt 0 4.1.2
'
a
/
y se denomina homognea.
Los lmites de integracin y en las ecuaciones y pueden a / 4.1.1 4.1.2 a b a b
ser finitos o infinitos.
Se llama de las ecuaciones y a cualquier funcin solucin a b a b 4.1.1 4.1.2
9a b a que, al ser sustituida en dicha ecuacin, la reduce a identidades con
respecto a , esto se pudo observar en la parte cuantitativa de los a (a. /)
pargrafos y . 2 8
4.2. Operador integral de Fredholm.
En este numeral estudiaremos las ecuaciones de Fredholm de segunda
especie, esto es, las ecuaciones del tipo
9 9 a b a b a b a b a b a 1 a. t t dt 1 a 4.2.8
'
a
/
Respecto a la funcin , llamada como se ha dicho en muchsimas 1
ocasiones de esta ecuacin, la supondremos que es medible y ncleo
verifica la condicin

' '
a a
/ /
2
[1 a. t [ dadt < 4.2.4 a b a b
El trmino independiente de esta ecuacin es una funcin dada de 1 a a b
1 [a. /[ 1 [a. /[
2 2
a b a b y es la funcin incgnita perteneciente tambin a . 9
Pongamos en correspondencia a la ecuacin con el operador a b 4.2.8
: 1 [a. /[ 1 [a. /[
2 2
a b a b , definido del modo siguiente:
donde a 1 a. t t dt a 4.2. 9 < 9 9 < a ba b a b a b a b a b
'
a
/
El estudio de la ecuacin se reduce, por supuesto, al estudio de las a b 4.2.8
propiedades de este operador llamado operador de Fredholm de
ncleo . Se sabe del anlisis funcional que un operador entre espacios 1
de Hilbert es si transforma conjuntos dbilmente totalmente continuo
compactos en conjuntos relativamente compactos segn la topologa
fuerte, pero esto es completamente equivalente a demostrar que el
operador transforma toda sucesin dbilmente convergente en una
sucesin fuertemente convergente (entendiendo fuertemente como la
topologa definida por la norma del espacio). Tenemos a continuacin el
siguiente resultado fundamental en la teora cualitativa de las ecuaciones
integrales.
TEOREMA 1. La igualdad , donde es una <a b a b a 1 a. t
'
a
/
1 a. t t dt a b a b 9
funcin de cuadrado integrable, es decir en el espacio un 1 [a. /[
2
a b
operador lineal totalmente continuo , cuya norma satisface la
desigualdad
l l a b a b
< [1 a. t [ dadt 4.2.6

' '
a a
/ /
2
Demostracin: Observemos, ante todo, que la integral
'
a
/
2
[1 a. t [ dt a b
existe, debido al teorema de Fubini y a la condicin (vea el a b 4.2.4
numeral 74 del fascculo de resultados de mi trabajo [6] sobre teora de
Integracin en el ciberespacio) para casi todo . En otras palabras a 1 a. t a b
pertenece como funcin de a para casi todo . Como el t 1 [a. /[ a
2
a b
producto de dos funciones de cuadrado sumable es sumable, la integral
que figura en el miembro derecho de existe para casi todo , es a b 4.2. a
decir la funcin est definida en casi todos los puntos. Probemos que <
< 1 [a. /[
2
a b, en virtud de la desigualdad de Cauchy tenemos para casi
todo a

|
.
< 9 9
9
2 2 2
a a a
/ / /
2
2
a
/
2
a b a b a b a b a b
l l a b
a [ 1 a. t t dt [1 a. t [ dt [ t [ dt
[1 a. t [ dt
' ' '
'
Integrando respecto a y sustituyendo la integral iterada de por a [1 a. t [
2
a b
una integral doble obtenemos la desigualdad
l l a b l l a b [ a [ da [1 a. t [ dadt 9 < 9
2 2
a a a
/ / /
2 2
' ' '
que adems de probar la integrabilidad de se demuestra la [ a [ <
2
a b
estimativa para la norma del operador . Resta probar que el a b 4.2.6
operador es totalmenmte continuo. Sea un sistema ortogonal <
:
completo de . Entonces todos los productos del tipo 1 [a. /[ a t
2 :
a b a b a b < <
forman un sistema completo en el espacio y por 1 [a. /[ [a. /[
2
a b
consiguiente
1 a. t a a t a b a b a b
!!
:
: :
< <
Demostremos ahora
1 a. t a a t
: :
1 :1

a b a b a b
! !
< <
y sea el operador correspondiente al ncleo . Este operador es 1

totalmente continuo ya que transforma todo el espacio en un 1 [a. /[
2
a b
subespacio de dimensin finita (los operadores de este tipo han sido
llamados degenerados o separables). En efecto, si se tiene 9 1 [a. /[
2
a b

1 a. t t dt a a t t dt
a a /
: :
a a
/ /
1 :1
1 :1

: : :
9 9 < 9 <
<
' '
a b a b a b a b a b
! !
! !
a b
donde
/ t t dt
: :
a
/
'
9 < a b a b
es decir, todo elemento es transformado por el operador 9 1 [a. /[
2
a b
en un elemento del subespacio de dimensin finita generado por los
vectores . < < <
1 2
. . ..
Ahora bien, como es la suma parcial de la serie de Fourier de la 1
funcin , tenemos 1
para .
' '
a a
/ /
2
a b a b a b 1 a. t 1 a. t dadt 0
Aplicando la estimativa al operador encontramos de aqu a b 4.2.6
l l 0
para .
Empleando ahora un teorema que afirma que el lmite de una sucesin
convergente de operadores totalmente continuos es un operador
totalmente continuo, obtenemos la continuidad total del operador . El
teorema queda probado.
OBSERVACIONES.
1) Al demostrar el teorema 1 hemos probado que todo operador de
Fredholm puede ser representado como lmite (en el sentido de la
convergencia segn la norma) de una sucesin de operadores integrales
degenerados (ver No . ). 8 8 1
2) Sean y dos operadores del tipo y sean y sus ncleos 4.2. 1 1
1 2 1 2
a b
correspondientes. Si los operadores y son iguales, es decir
1 2
1 [a. /[ 1 a. t 1 a. t
1 2 2 1 2
9 9 9 para todo , entonces casi en todos a b a b a b
los puntos. Veamos esta afirmacin, si
1 a. t 1 a. t t dt 0
1 2 1 2
a
/
9 9 9
'
a b a b a b a b
para todo , entonces para casi todo se tiene 9 1 [a. /[ a [a. /[
2
a b

'
a
/
1 2
2
[1 a. t 1 a. t [ dt 0 a b a b
es decir

' '
a a
/ /
1 2
2
[1 a. t 1 a. t [ dadt 0 a b a b
de donde se desprende nuestra afirmacin. Luego podemos decir que la
correspondencia entre los operadores integrales y los ncleos es
biunvoca.
En la teora cualitativa de las ecuaciones integrales, una vez establecido el
operador asociado, inmediatamente se establecen los operadores
conjugados los cuales permiten la solucin de ecuaciones mediante
procedimientos de inversin.
TEOREMA 2. Sea un operador de Fredholm con ncleo . Entonces 1 a. t a b
el operador conjugado se define por el ncleo
conjugado . 1 a. t a b
Demostracin. Empleando el teorema de Fubini, tenemos

,
a b a b a b a b a b a b a b
a b a b a b a b a b a b
a b
1. o 1 a. t 1 t dt o a da 1 a. t 1 t o a dt da
1 a. t o a da 1 t dt 1 t 1 a. t o a da dt
1. o
' ' ' '
' ' ' '
a a a a
/ / / /
a a a a
/ / / /
de donde
, o 1 a. t o a da
a
/
'
a b a b
y de aqu se deduce la afirmacin del teorema.
Enparticular, unoperador de tipo es a 1 a. t t dt < 9 a b a b a b
'
a
/
autoconjugado en , es decir, si y slo si . 1 [a. /[ 1 a. t 1 t. a
2

a b a b a b
En el caso en que se considere el espacio de Hilbert real (y, por lo tanto,
ncleos reales ) la condicin de autoconjugacin est dada por la 1
igualdad
. 1 a. t 1 t. a a b a b
OBSERVACIN. Hemos considerado operadores integrales que actan en el
espacio . No obstante, todo lo expuesto se extiende sin 1 [a. /[
2
a b
modificaciones al caso en que se considere, en lugar del segmento , [a. /[
un espacio cualquiera provisto de medida.
4.3. Ecuaciones de ncleo simtrico.
Consideremos una ecuacin integral de Fredholm de segunda especie
9 9 a b a b a b a b a b a 1 a. t t dt 1 a 4.8.1
'
a
/
cuyo ncleo verifica las condiciones

a b a b
a b a b a b
i [1 a. t [ dadt <
ii 1 a. t 1 a. t
' '
a a
/ /
2
Estas ecuaciones sern llamadas de ncleo . En virtud de los simtrico
teoremas 1 y 2 del numeral anterior, el operador de Fredholm 4.2
correspondiente

1 a. t t dt (4.8.2) 9 9
'
a
/
a b a b
es totalmente continuo y autoconjugado. Luego es vlido para l, el
teorema de Hilbert-Schmidt que dice: Para cualquier operador lineal
autoconjugado y totalmente continuo en un espacio de Hilbert existe H.
un sistema ortonormal de vectores propios correspondientes a 9
:
valores propios tal que cada elemento se puede escribir de H - 0
:
manera nica en la forma
donde . 0 9 0 0 c 0
!
/
/ /
/ /
Aplicando este teorema a la solucin de la ecuacin , como lo que a b 4.8.1
importa no es la forma integral del operador sino el hecho de que a b 4.8.2
este operador es totalmente continuo y autoconjugado, es natural escribir
la ecuacin en la forma a b 4.8.1
. 9 9 1 4.8.8 a b
De acuerdo con el teorema de Hilbert-Schmidt existe para el operador
un sistema ortogonal de funciones propias correspondientes a los 9
:
valores propios para los cuales tenemos -
:
1 / 1 1 0 4.8.4
!
a b a b
:
: :
/ /
<
y busquemos la solucin de la ecuacin en la forma 9 a b 4.8.8
9 ; < 9 9 0 4.8.
!
a b a b
:
: :
/ /
Introduciendo los desarrollos y en , obtenemos (4.8.4) 4.8. 4.8.8 a b a b
.
! ! !
: : :
: : : : : : :
/ /
; < 9 ; - < < / 1
Esta igualdad se cumple si y slo si
, y, 1 1 / : 1. 2. .
/ /
: : :
9 ; - a b a b
es decir, cuando
para
para .
1
= 1
/ 0 1
/ /
: :
: :
9
; -
-
/
1
:
:
-
La ltima igualdad es una condicin necesaria y suficiente para que la
ecuacin tenga solucin. a b 4.8.8
Tenindose as el siguiente resultado:
Si no es valor propio del operador , la ecuacin tiene una " 9 9 1
solucin y slo una cualquiera que sea ; en cambio, si es valor propio 1 "
del operador , la ecuacin tiene solucin si y slo si, el 1 9 9
trmino independiente es ortogonal a todas las funciones propias del 1
operador correspondiente al valor propio si esta ltima condicin se ";
cumple la ecuacin tiene un conjunto infinito de soluciones. 9 9 1
5. ALTERNATIVA DE FREDHOLM.
5.1. Caso de las ecuaciones integrales.
De la ltima afirmacin del 4 se sigue: los teoremas de Fredholm tratan,
de hecho, sobre la posibilidad de invertir el operador y significa 1
que es, o bien un punto regular del operador o bien un valor - 1
propio de multiplidad finita. Por supuesto todo lo que se afirma en estos
teoremas sigue siendo vlido tambin para operadores , donde 1 -
- = 0 0 . Luego todo punto distinto de del espectro de un operador
totalmente continuo es un valor propio suyo de multiplicidad finita.
Adems como se sabe el conjunto de estos valores propios es a lo sumo
numerable. Recordemos de paso, que el punto siempre pertenece al 0
espectro de un operador totalmente continuo en un espacio de dimensin
infinita; pero en general, no es necesariamente un valor propio. Los
operadores totalmente continuos para los cuales es el punto del 0 nico
espectro, son llamados , u operadores abstractos. operadores de Volterra
Los teoremas de Fredholm fueron originalmente presentados para
ecuaciones integrales y bajo este aspecto los presentamos a
continuacin; sus demostraciones no las damos, pues, las daremos
despus cuando presentemos estos mismos teoremas para operadores
totalmente continuos.
TEOREMA 1. ( ) Altermativa de Fredholm O bien la ecuacin integral no
homognea de segunda especie
9 - 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
tiene una nica solucin para cualquier funcin o la ecuacin , 1 a a b
homognea correspondiente
9 - 9 a b a b a b a 1 a. t t dt 0
'
a
/
tiene por lo menos una solucin no trivial.
TEOREMA 2. Si para la ecuacin tiene lugar el 9 - 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
primer caso de la alternativa, ste tiene lugar tambin para la ecuacin
conjugada
< - < a b a b a b a b a 1 t. a t dt o a
'
a
/
La ecuacin integral homognea y su 9 - a b a
'
a
/
1 a. t t dt 0 a b a b 9
ecuacin conjugada
< - < a b a b a b a 1 t. a t dt 0
'
a
/
tienen el mismo nmero finito de soluciones linealmente independientes.
TEOREMA 3. La condicin necesaria y suficiente para la existencia de una
solucin de la ecuacin no homognea 9a b a
9 - 9 a b a b a b a b a 1 a. t t dt 1 a
'
a
/
es que

'
a
/
1 a . a da 0 a b a b
donde es cualquier solucin de la ecuacin homognea . a a b
. 9 - 9 a b a b a b a 1 a. t t dt 0
'
a
/
Es justamente el Teorema 3 el que nos permite calcular soluciones de las
ecuaciones integrales mediante las funciones propias en el 3.
5.2. Teoremas de Fredholm.
. Caso de los ncleos degenerados
Pasamos ahora a estudiar las ecuaciones de Fredholm de segunda especie
con ncleos que verifican la condicin

' '
a a
/ /
2
[1 a. t [dadt < a b
(lo cual garantiza la continuidad total del operador correspondiente) pero
que no son simtricos, supongamos primero que se considera la ecuacin
9 9 a b a b a b a b a b a 1 a. t t dt 1 a .2.1
'
a
/
cuyo ncleo es degenerado, es decir, de la forma
1 a. t 1 a Q t .2.2 a b a b a b a b
!
i1
:
i i
donde son funciones de . El operador con ncleo 1 . Q 1 [a. /[ .2.2
i i 2
a b a b
transforma toda funcin en la suma 9 1 [a. /[
2
a b

!
a b a b
i1
:
i i
a
/
1 a Q t dt
'
es decir, es un elemento del subespacio de dimensin finita generado por
las funciones . 1 . i 1. 2. .. :
i
Notemos que en la expresin las funciones , pueden ser a b .2.2 1 . 1 . . 1
1 2 :
consideradas linealmente independientes. En efecto, si esto no fuese as
podramos, expresar cada una de las funciones como combinacin 1
i
lineal de las funciones independientes y representar este mismo ncleo
1 a. t 1 a Q (t)
~
~
a b a b como suma de un nmero menor de sumandos de tipo
; ;
de manera que las funciones sean linealmente independientes. 1
~
;
Busquemos, pues, la solucin de la ecuacin con ncleo a b .2.1
degenerado en el que las funciones son linealmente a b .2.2 1 . 1 . .. 1
1 2 :
independientes. Tomando en la ecuacin en lugar de la a b a b .2.1 1 a. t
suma correspondiente, obtenemos
9a b a b a b a b a b
!
a 1 a Q t dt 1 a .2.8
i1
:
i i
a
/
'
Denotando por , podemos escribir c Q t t dt
i i
a
/
'
a b a b 9
. 9a b a b a b
!
a c 1 a 1 a
i1
:
i i
Tomando en la ecuacin esta expresin para , obtenemos a b .2.1 9
.
! ! !
a b a b a b a b a b a b a b

i1 i1 ;1
: : :
i i i i ; ;
a
/
c 1 a 1 a 1 a Q t c 1 t 1 t dt 1 a
'
Haciendo (ver 3 No.3.1)
,
' '
a a
/ /
i ; i; i i
Q t 1 t dt a Q t 1 t dt / a b a b a b a b
La igualdad anterior resulta
.
! ! !
a b a b

i1 i1 ;1
: : :
i i i i; ; i
c 1 a 1 a a c /
Como las funciones son, por hiptesis, linealmente independientes, 1
i
esta igualdad implica la igualdad de los respectivos coeficientes de 1 a
i
a b
c a c / i 1. 2. .. : .2.4
i i; ; i
;1
:
!
a b
Hemos obtenido para los coeficientes un sistema de ecuaciones c
i
lineales. Resolvindolo, obtenemos la funcin deseada
9a b a b a b
!
a c 1 a 1 a
i1
:
i i
esta funcin satisface la ecuacin integral ya que todos los a b .2.1
razonamientos, mediante los cuales hemos pasado de la ecuacin a b .2.1
al sistema , pueden ser reemplazados en orden contrario. Luego, a b .2.4 la
solucin de una ecuacin integral de ncleo degenerado se reduce a la
solucin del correspondiente sistema de ecuaciones lineales a b .2.4
algebraicas.
Para sistemas de ecuaciones lineales son conocidas las condiciones de
existencia y de unicidad de la solucin, los teoremas de Fredholm se
enunciarn as:
M. Un sistema de ecuaciones lineales algebraicas ( Ta n T a . a b
i/
a a . a . .. a . n n . n . .. n n a b a b
1 2 : 1 2 :
) tiene solucin si y slo si el vector
es ortogonal a toda solucin del sistema homogneo conjugado
. T . 0 T a

i;
a b a b
MM. Si el determinante de una matriz es diferente de cero, la ecuacin T
Ta n n tiene solucin nica para cualquier . En cambio, si el
determinante de la matriz es igual a cero, la ecuacin tiene T Ta 0
solucin no nula.
MMM. T T Como la matriz y la matriz conjugada son del mismo rango,
los sistemas homogneos y tienen el mismo nmero de Ta 0 T . 0
soluciones linealmente independientes.

Debido a la relacin que, como hemos visto, existe entre ecuaciones
integrales de ncleo degenerado y sistemas de ecuaciones algebraicas
lineales, estas proposiciones pueden ser consideradas como teoremas
referentes a las soluciones y, de hecho, estos mismos teoremas tienen
lugar tambin para ecuaciones de ncleo arbitrario (no degenerados). Sin
embargo, puesto que para operadores integrales con ncleos no
degenerados no tienen sentido conceptos como " " y " " rango determinante
de una matriz, los teoremas correspondientes deben ser enunciados de
manera que en ellos no figuren estos conceptos.
5.3. Teoremas de Fredholm para ecuaciones integrales
de ncleo no degenerado.
Volvamos a considerar la ecuacin
9 9 a b a b a b a b a b a 1 a. t t dt 1 a .8.1
'
a
/
suponiendo ahora que su ncleo verifica slo la condicin
,
' '
a a
/ /
2
[1 a. t [ dadt < a b
(esta desigualdad garantiza la continuidad total del operador
correspondiente) , es decir, no suponemos ahora el ncleo ni degenerado
ni simtrico. Nos interesan las condiciones en las que la ecuacin a b .8.1
tiene solucin y las propiedades de sus soluciones. Adems, para
nosotros ser esencial slo la propiedad de continuidad total del
operador correspondiente a la ecuacin y no su forma integral. Por a b .8.1
lo tanto, realizaremos todas las consideraciones sucesivas, para la
ecuacin con operadores
9 9 1 .8.2 a b
donde es un operador arbitrario totalmente continuo definido en un
espacio de Hilbert . H
Tomando (donde es el operador unidad), escribamos la T 1 1
ecuacin enla forma 9 9 1
T 1. .8.8 9 a b
Adems de esta ecuacin, consideraremos la ecuacin homognea
T 0 .8.4 9
0
a b
y las ecuaciones conjugadas
T o .8.
< a b
T 0 .8.6
0
< a b
a b T 1

. La relacin que existe entre las soluciones de estas cuatro
ecuaciones viene expresada en los siguientes teoremas de Fredholm.
M. La ecuacin no homognea tiene solucin para aquellas y T 1 1 9
slo para aquellas que son ortogonales a todas solucin de la ecuacin
homognea conjugada T 0
0
< .
MM. ( ). Alternativa de Fredholm O bien la ecuacin tiene una T 1 9
solucin y slo una, cualquiera sea , o bien la ecuacin homognea 1 H
T 0 9
0
tiene solucin no nula.
MMM. Las ecuaciones homogneas de y tienen el mismo T 1 T o 9 <
nmero, adems finito, de soluciones linealmente independientes.

Antes de pasar a demostrar estos teoremas, observemos que son vlidos
(en virtud de lo dicho en el 4. No.3) para ecuaciones con ncleo
simtrico. Adems como y coinciden en este caso, el Teorema 111
resulta trivial.
Por otro lado, si es un operador integral degenerado, las ecuaciones
correspondientes se reducen, como hemos visto a sistemas de
ecuaciones lineales algebraicas; los teoremas de Fredholm se convierten,
evidentemente, en este caso a los teoremas sobre sistemas lineales que
hemos enunciado en el punto anterior y que hemos estudiado en la
alternativa de Roche-Frobenius (ver [7]).
Aprovechando que todo operador integral es lmite de una sucesin
convergente de operadores degenerados, podramos demostrar los
teoremas de Fredholm mediante el correspondiente paso al lmite (de
ncleos degenerados a ncleos no degenerados). Sin embargo,
escogemos otro camino y daremos una demostracin de estos teoremas
que no est relacionada con la consideracin de ecuaciones con ncleo
degenerado.
5.4 Demostracin de los Teoremas de Fredholm.
Sea el conjunto de los ceros de un operador lineal 1 1 : H H a b
continuo (el ncleo de ) , es decir, el conjunto de aquellos para 1 a H
los cuales . Es conocido que es un subespacio lineal cerrado. 1a 0 1 a b
Sea el recorrido del operador , como es 1 1 n 1aa H 1 1 1 a b a b
sabido es un subespacio vectorial o variedad lineal pero en general no es
cerrado.
Sea un operador lineal continuo, consideremos el operador : H H
T 1 1 T 1 T y sea su recorrido, en este caso se tiene que es a b a b
cerrado, esto lo veremos en el siguiente Lema 1.
La demostracin de los teoremas de Fredholm sigue los siguientes lemas:
LEMA 1. . El subespacio es cerrado 1 T a b
Demostracin. Sea una sucesin tal que . Por n 1 T n n
: :
:
a b lim
hiptesis, existen vectores tales que a H
:
n Ta a a .4.1
: : : :
a b
Podemos suponer sin perder generalidad que estos vectores son
ortogonales al ncleo . Adems podemos aceptar que es una T a a b l l
:
sucesin acotada, pues de lo contrario tendramos que , y l l a
:

dividiendo por deduciremos de que l l a b a .4.1
:

a a
a a
: :
: :
l l l l
0
Pero como el operador es totalmente continuo podramos encontrar
una subsucesin convergente. Por lo tanto, tambin
a a
a a
: :
: :
l l l l
converger, digamos a un vector . Es claro que y es . H . 1 T . 0 l l a b
decir . Hemos supuesto sin embargo que los vectores son . T a a b
:
orgogonales a ; luego tambin debe ser ortogonal a , esto es T . T a b a b
imposible puesto que si y entonces y . l T . T .. .) 0 . 1 a b a b l l
una clara contradiccin.
Esta contradiccin nos permite suponer que es una sucesin l l a
:
acotada. Al mismo tiempo la sucesin puede suponerse en este a
:
caso convergente, entonces como , se sigue que la n Ta a a
: : : :
sucesin es tambin convergente. Si es el lmite de esta sucesin, n a
:
se desprende que . El lema queda demostrado. n Ta Ta lim
:
:
LEMA 2. El espacio es la suma directa ortogonal de los subespacios H
cerrados y , es decir T 1 T a b a b
T 1 T H .4.2 a b a b a b
y por analgia
T 1 T H .4.8 a b a b a b
Demostracin. Sabemos que y son subespacios cerrados. T 1 T a b a b
Adems son ortogonales ya que, si se tiene / T a b

para todo . a b a b /. T a T/. a 0 a H
Falta por demostrar que no existe ningn vector no nulo ortogonal

simultneamente a y . Pero, si el vector es ortogonal a 1 T T . a b a b
1 T a H T.. a .. T a 0 a b a b a b

entonces para cualquier tenemos es
decir . En esta forma el lema queda demostrado. . T a b
Del Lema 2 se desprende inmediatamente el primer teorema de
Fredholm. En efecto, si y slo si , es decir existe un 1 l T 1 1 T a b a b
9
tal que . T 1 9
Pongamos ahora para cada entero, de manera que en H 1 T /
/ /

particular . Est claro que los subespacios forman una cadena H 1 T
1
a b
de subespacios encajados.
H _ H _ H _ .4.4
1 2
a b
y en virtud del Lema 1, todos estos subespacios son cerrados. Adems
T H H

/ /1
.
LEMA 3. . Existe un tal que para todo ; H H
/1 /
/ _ ;
Demostracin. Si no existiera tal , es evidente que todos los son ; H
/
distintos. En este caso podemos construir una sucesin ortogonal tal a
/
que y son ortogonales a . Sea , entonces a H H | /
/
/ /1

a a a a Ta Ta
| / / | / |
a b
y por lo tanto ya que . l l a a _ 1 a Ta Ta H
| / | / |
/1
Luego, de la sucesin no se puede extraer ninguna subsucesin a [
/
convergente, lo que contradice a la continuidad total del operador .
Con esto queda demostrado el lema.
LEMA 4. . Si se tiene T 0 1 T H a b a b
Demostracin. Si , entonces el operador es uno a uno; de T 0 T a b
manera que suponiendo , la cadena no sera estacionaria 1 T = H .4.4 a b a b
(o sea constara de infinitud de subespacios) y esto contradice el lema 3.
Luego . 1 T H a b
Anlogamente, , si se tiene . 1 T H T 0 a b a b

LEMA 5. . Si , se tiene 1 T H a b T 0 a b
Demostracin. Como , tenemos en virtud del Lema 2, 1 T H a b
T 0 1 T H a b a b

; pero entonces, en virtud del Lema 4, y por
consiguiente del lema 2 se sigue . T 0 a b
Los lemas 4 y 5 constituyen en conjunto el contenido del segundo
teorema (la alternativa) de Fredholm. Con esto queda demostrado el
Teorema II.
Demostremos finalmente, el tercer teorema de Fredholm.
Supongamos que el subespacio es de dimensin infinita. Entonces, T a b
existe en este subespacio un sistema ortonormal infinito . Adems a
/
a a / = 1 a a 2
/ / / |
de manera que para tenemos . Pero, esto l l

significa que de la sucesin no se puede extraer ninguna a
/
subsucesin convergente, lo que contradice a la continuidad total del
operador .
Sea la dimensin de y sea la dimensin de . Supongamos . / T T a b a b
que . Sea una base ortonormal en y sea . / 9 9 9 < . . .. T

1 2 .
a b
< < <
1 2

. . .. T
/
una base ortonormal de . Tomemos a b
. oa Ta a.
!
a b
;1
; ;
.
9 <
Como el operador se obtiene del operador agregndole un operador o T
degenerado, todos los resultados demostrados ms arriba para el
operador son vlidos tambin para el operador . T o
Probemos que la ecuacin tienen solamente solucin trivial. En oa 0
efecto; supongamos que
Ta a. 0 .4.
!
a b a b
;1
; ;
.
9 <
Como los vectores son ortogonales en virtud del Lema 2, a todos los <
;
vectores del tipo , de se deduce que y para Ta .4. Ta 0 a. 0 a b a b 9
;
1 ; ..
Luego, el vector debe ser, por un lado, una combinacin lineal de los a
vectores y, por otro lado, debe ser ortogonal a ellos. Por consiguiente 9
;
a 0 oa 0 . De modo que la ecuacin tiene solamente la solucin trivial.
Existe entonces, de acuerdo con el teorema , un vector tal que 11 n
. Tn n.
!
a b
;1
; ; 1
.
.
9 < <
Est claro que multiplicando esta igualdad escalarmente por , <
.1
obtenemos en el lado izquierdo y en el lado derecho. Esta 0 1
contradiccin ha surgido por que hemos supuesto . Luego , . / . / < _
por lo tanto . El Teorema queda demostrado completamente. . / 111
OBSERVACIN. Hemos demostrado los teoremas de Fredholm para
ecuaciones del tipo , donde es un operador totalmente 9 9 1
continuo en un espacio de Hilbert . Estos teoremas pueden ser H
extendidos sin modificaciones sustanciales al caso de un espacio de
Banach arbitrario . En este caso es claro que la ecuacin conjugada
< < o

ser una ecuacin en el espacio , la condicin de
ortogonalidad debe comprenderse en el sentido de que toda a b 1. 0 <
0
funcin del subespacio de soluciones de la ecuacin se 0

0
<
anula en el elemento , etc. 1
Una exposicin de los teoremas de Fredholm para el caso de ecuaciones
en espacios de Banach se puede ver en artculos como los de L. A.
Lusternik y otros, y en las notas de clase de Luis Ortega sobre elementos
de Anlisis Funcional.
5. 5. E J E RCI CI OS
1. Consideremos en un segmento ( o un intervalo ) una ecuacin integral
de Fredholm de segunda especie con ncleo continuo. Demuestre para
esta ecuacin los teoremas de Fredholm en el espacio de funciones
continuas. Este es el caso, el papel de "ecuaciones conjugadas" lo
desempea la ecuacin integral de ncleo transpuesto y la ortogonalidad
se comprende en el sentido de . 1
2
2. Sean y races caractersticas distintas constantes del ncleo - -
1 2
1 a. t a b. Pruebe que las funciones propias de las ecuaciones

9 - 9
< - <
a b a b a b
a b a b a b
a 1 a. t t dt 0
a 1 a. t t dt 0
1
a
/
2
a
/
'
'
son acotadas y que . a b 9 < . 0
3. Pruebe que el operador integral
T 9
'
a
/
a.t t dt
[at[ [ [a-[[
a b a b 9
ln
1!
donde , , , es completamente continuo. [ a. t [ C co:-ta: 0 / a < 1 a b !
4. Pruebe que un operador completamente continuo transforma cualquier
conjunto acotado en un conjunto compacto.
5. Sea un operador acotado y supongamos que la ecuacin 1 a 9 a b
es soluble. Pruebe que las ecuaciones y son 1 1 9 9

equivalentes.
6. Sea un operador acotado cualquiera. Pruebe que los operadores
y son simtricos.
7. Sea un operador completamente continuo. Pruebe que las T

ecuaciones y tienen una y la misma raz 9 - 9 < - < T T TT

caracteristica constante.
? ? \
BIBLIOGRAFIA
[1] V. Volterra, Theory of functionals and of integral and Integro-
differential equations. Dover Publications, INC. New York (1959).
[2] W.V.Lovitt, . Dover Publications, INC. New Linear Integral Equations
York (1950).
[3] S.G.Mikhlin, . Hindustan Publishong Corp. Linear Integral Equations
(India) Delhi (1960).
[4] S.G.Mikhlin, Integral Equations and their applications to Certain
Problems in Mechanic Mathematical Physics and Technology , . The
MacMillan Company, New York (1964).
[5] I.G.Petrovskii. . Lectures on the Theory of Integral Equations
Graylock Press Rochester, New York (1957)
[6] J.D.Snchez H, . Curso para Teora de la Medida e Integracin
cibernautas 2004.
[7] J.D.Snchez H, . Aportes para Alternativa de Rouche-Frobenius
cibernautas junio del 2006.
? ? \
Espero que el lector haya obtenido algn provecho de este trabajo en el aprendizaje de las
Ecuaciones Integrales
Quiero agradecer a mi hijo Juan Armando quien ha sido un animador
permanente de este proyecto de aprendizaje en matemtica y que sin l
habra sido imposible realizarlo. Tambin a mi esposa Nohora y a
Esperanza, quienes leyeron los originales y cuidaron del buen manejo del
lenguaje espaol.
Exitos y bienvenidos a la investigacin por internet. Cualquier comentario
favor hacerlo llegar a:

danojuanos@hotmail.com,
danojuanos@tutopia.com
danojuanos@yahoo.com
Copyright Daro Snchez Hernndez

Ecuaciones Integrales Ineales

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Ecuaciones Integrales Ineales

Загружено:

Авторское право:

Доступные форматы

ECUACIONES INTEGRALES LINEALES

Jos Daro Snchez Hernndez

siendo . Las funciones , que se

Si y son dos ncleos ortogonales, la resolvente , ` a. t a. t 1 a. t: a b a b a b -

La propiedad que acabamos de indicar se puede generalizar a cualquier

tales que, al ser sustitudos en el sistema , reducen sus ecuaciones a b 8.2.6

Si el ncleo es continuo en la regin o de 1 a. t (a. t)a a. t / a b H

Una ecuacin integral homognea de Fredholm puede no tener races

Haciendo la sustitucin en y se tiene 9 c c

Si el -simo ncleo iterado del ncleo es simtrico, : 1 a. t 1 a. t

no posee races caractersticas y, por lo tanto, tampoco tiene funciones

a b a b la ecuacin toma la forma

< [1 a. t [ dadt 4.2.6

los sistemas homogneos y tienen el mismo nmero de Ta 0 T . 0

soluciones linealmente independientes.

nmero, adems finito, de soluciones linealmente independientes.

Demostracin. Sabemos que y son subespacios cerrados. T 1 T a b a b

Adems son ortogonales ya que, si se tiene / T a b

Falta por demostrar que no existe ningn vector no nulo ortogonal

que . Sea una base ortonormal en y sea . / 9 9 9 < . . .. T

7. Sea un operador completamente continuo. Pruebe que las T

Вам также может понравиться