Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
-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
J.Daro Snchez H Ecuaciones Integrales Lineales 4
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.
J.Daro Snchez H Ecuaciones Integrales Lineales 5
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
J.Daro Snchez H Ecuaciones Integrales Lineales 6
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,
J.Daro Snchez H Ecuaciones Integrales Lineales 7
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.
J.Daro Snchez H Ecuaciones Integrales Lineales 8
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
J.Daro Snchez H Ecuaciones Integrales Lineales 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
J.Daro Snchez H Ecuaciones Integrales Lineales 10
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
J.Daro Snchez H Ecuaciones Integrales Lineales 11
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
J.Daro Snchez H Ecuaciones Integrales Lineales 12
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
J.Daro Snchez H Ecuaciones Integrales Lineales 13
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
J.Daro Snchez H Ecuaciones Integrales Lineales 14
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
J.Daro Snchez H Ecuaciones Integrales Lineales 15
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
J.Daro Snchez H Ecuaciones Integrales Lineales 16
2.2. Ncleos iterados
Sea dada la ecuacin integral de Fredholm
9 - 9 a b a b a b a b a b a 1 a. t t dt 1 a 2.2.1
'
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
:
: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
J.Daro Snchez H Ecuaciones Integrales Lineales 18
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
' ' '
J.Daro Snchez H Ecuaciones Integrales Lineales 19
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
J.Daro Snchez H Ecuaciones Integrales Lineales 20
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
J.Daro Snchez H Ecuaciones Integrales Lineales 21
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-
J.Daro Snchez H Ecuaciones Integrales Lineales 22
:
:1
-
J.Daro Snchez H Ecuaciones Integrales Lineales 23
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 .
J.Daro Snchez H Ecuaciones Integrales Lineales 24
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
? ? \
J.Daro Snchez H Ecuaciones Integrales Lineales 25
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
J.Daro Snchez H Ecuaciones Integrales Lineales 26
.
! !
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.
J.Daro Snchez H Ecuaciones Integrales Lineales 27
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
c c t c t c t t t dt
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
J.Daro Snchez H Ecuaciones Integrales Lineales 28
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
J.Daro Snchez H Ecuaciones Integrales Lineales 29
+ 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
J.Daro Snchez H Ecuaciones Integrales Lineales 30
, c . c . .. c
1 2
0 0 0
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.
-
J.Daro Snchez H Ecuaciones Integrales Lineales 31
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.
? ? \
J.Daro Snchez H Ecuaciones Integrales Lineales 32
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
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 . -
J.Daro Snchez H Ecuaciones Integrales Lineales 34
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
J.Daro Snchez H Ecuaciones Integrales Lineales 35
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 .
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
9 - 9 a b a b
a at ta t dt 0
'
0
1
no posee races caractersticas reales y
funciones propias.
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
J.Daro Snchez H Ecuaciones Integrales Lineales 41
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
J.Daro Snchez H Ecuaciones Integrales Lineales 42
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
J.Daro Snchez H Ecuaciones Integrales Lineales 43
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
9 - 9 a b a b a b a b a b a 1 a. t t dt 1 a 4.1.1
'
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 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
J.Daro Snchez H Ecuaciones Integrales Lineales 47
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
J.Daro Snchez H Ecuaciones Integrales Lineales 48
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 -
:
J.Daro Snchez H Ecuaciones Integrales Lineales 49
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
J.Daro Snchez H Ecuaciones Integrales Lineales 50
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.
J.Daro Snchez H Ecuaciones Integrales Lineales 51
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
J.Daro Snchez H Ecuaciones Integrales Lineales 52
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
J.Daro Snchez H Ecuaciones Integrales Lineales 53
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,
< 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.
J.Daro Snchez H Ecuaciones Integrales Lineales 55
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 <
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.
J.Daro Snchez H Ecuaciones Integrales Lineales 56
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
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
J.Daro Snchez H Ecuaciones Integrales Lineales 58
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
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
/
'
'
J.Daro Snchez H Ecuaciones Integrales Lineales 60
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.