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
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.
PRLOGO 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.
J.Daro Snchez H
1.
Dada una funcin continua a tramos y de orden exponencial 0 aBb, entonces podemos hablar de su transformada de Laplace la cual est dada por Pa0 b '! /=> 0 a>b .> J a=b
_
INTRODUCCIN Y PRELIMINARES.
Ahora bien, si conocemos la transformada de Laplace J a=b de una funcin y deseamos recuperar la funcin, la hallamos mediante la transformada inversa de Laplace, usando la frmula de inversin 0 aBb '<3 _ /=B J a=b .= .
<3 _
En el caso de transformada de Fourier para la funcin 0 aBb est dada por 0 aBb 0 aBb
_ " 3AaB@b _ .@.A #1 _ _ 0 a@b/
'
'
la cual puede escribirse en la forma
_ " 3AB .A #1 _ - aAb/
'
donde
llamada transformada inversa de Fourier de 0 aBb y nos brinda una 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 ?a< ) b '_ T< a> )b?a" >b .>
_
- aA b
_ " 3A@ .@. #1 _ 0 a@b/
'
donde T< a>b #" "#<"<><# 1 cos
J.Daro Snchez H
es una de las ecuaciones integrales ms conocidas. 1.1. Ecuaciones integrales de primera especie. Una ecuacin de la forma
'+, O aB >b9a>b .> 0 aBb
a"""b
es llamada Ecuacin integral lineal de primera especie . Las funciones O aB >b 0 aBb son conocidas, lo mismo que los lmites + y , son nmeros dados. El objeto del problema es la determinacin de la funcin desconocida 9a>b la cual debe tener por dominio al intervalo cerrado + ,. La funcin O aB >b es universalmente conocida como el ncleo de la ecuacin integral. Un caso especial se presenta cuando el lmite superior es la variable independiente B y el lmite inferior + es cero, en ese caso la integral
'!B O aB >b9a>b .> 0 aBb 0 a!b !
a""#b
es conocida como ecuacin integral de Volterra . En el caso de esta ecuacin de Volterra se obtienen hechos interesantes `O aB>b suponiendo que O aB >b `B 0 aBb y 0 w aBb , son funciones continuas en una regin H B > ! B + ! > B y derivando la ecuacin de Volterra con respecto a B, se obtiene O aB Bb9aBb '!
B `O aB>b
Ntese que cualquier solucin 9aBb de la ecuacin a""#b es solucin de su ecuacin derivada a""$b y tambin se tiene la validez de la recproca, esto es, cualquier solucin 9aBb continua en ! B + de la ecuacin a""$b satisface tambin a la ecuacin de Volterra a""#b. Esta nota nos brinda un mtodo para la determinacin de la solucin 9aBb de la ecuacin de Volterra a""#b, y a modo de ejemplo consideremos la ecuacin integral siguiente:
`B
9a>b .> 0 w aBb
a""$b
Las funciones 0 aBb sin B O aB >b /B> son continuas y derivables, tenindose las condiciones deseadas.
'!B /B> 9a>b .> sinB.
J.Daro Snchez H
Derivando ambos miembros con respecto a B, se obtiene

B /B> /BB 9aBb '! ` ` B 9a>b .> cos B
de donde
9aBb '! /B> 9a>b .> cos B

B
Aplicando la transformada de Laplace se tiene

B
Pa9aBbb Pa/B bPa9aBbb Pa9aBbb Pa9aBbb ="" ="

" =" Pa9 aBbb
Pa9aBbb P'! /B> 9a>b .> Pacos Bb

= "=#
= "=# =" =# "
9aBb P" ==" P" =#= P" =#" cos B sin B # " " " 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 B, luego alcance el eje 0 al cabo de un tiempo > 0" aBb, donde 0" aBb es una funcin dada. La velocidad del punto en movimiento est dada por @ #1aB (bsin"
= =# "
Pa9aBbb
donde " es el ngulo de inclinacin de la tangente respecto al eje 0.
J.Daro Snchez H
Entonces tenemos
.( .>
#1aB (bsin"
De aqu que .> . #1aB(bsin "

.(
Integrando desde ! hasta B y denotando con

" 9a(b sin "
Se obtiene la ecuacin de Abel

( '!B 9a(b .( B ( '!B 9a(b .( B
Designando con 0 aBb #1 0" aBb, se obtiene definitivamente 0 aBb
#1 0" aBb.
donde 9aBb es la funcin incgnita, y 0 aBb es una funcin dada. Hallando 9a(b se puede escribir la ecuacin de la curva deseada. En efecto,
" 9a(b sin " ( 9a" b
Ahora,
J.Daro Snchez H
Ecuaciones Integrales Lineales . 0 tan "

.( Fw a" b . " tan "
de donde
0'
Fw a" b . " tan "
F" a" b
y por consiguiente, la curva buscada se determina por la ecuacin paramtrica 0 F" a" b ( Fa" b
De este modo, el problema de Abel se reduce a la resolucin de una ecuacin integral del tipo 0 aBb '! O aB >b9a>b .>.
B
1.3. Ecuaciones integrales de segunda especie. La ecuacin integral 9aBb '+ O aB >b9a>b .> 0 aBb
,
donde 0 aBb y O aB >b son funciones dadas y 9aBb es la funcin que debemos encontrar, las variables B y > recorren aqu un intervalo prefijado + , ; es llamada ecuacin integral de segunda especie. La particularidad de la ecuacin 9aBb '+ O aB >b9a>b .> 0 aBb es linealidad, en el sentido de que la funcin incgnita 9aBb entra en ella modo lineal. Sin embargo, muchos problemas conducen a la necesidad considerar tambin ecuaciones integrales no lineales como es el caso la integral
,
la de de de
9aBb '+ O aB >b1a9a>b >b .>

,
conocida como ecuacin de Hammertein, donde como de costumbre O y 1 son funciones dadas. No obstante ello, nos limitaremos en lo sucesivo a las ecuaciones integrales lineales.
J.Daro Snchez H
Algunas ecuaciones integrales fueron estudiadas ya al principio del siglo XIX. Por ejemplo, Abel consider en 1823 la ecuacin que lleva ahora su nombre 0 aBb '! aB>b! .>
B 9a>b
a! ! " 0 a!b !b
donde 0 es una funcin dada y 9 es la funcin incgnita, la teora general 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 9aBb '+ O aB >b9a>b .> 0 aBb
,
es llamada Ecuacin de Fredholm de segunda especie, mientras que la ecuacin
'+, O aB >b9a>b .> 0 a>b !
(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 Ecuaciones de Volterra, ya mencionadas en ". La ecuacin de Volterra puede ser considerada como una ecuacin de Fredholm en la que la funcin O verifica la condicin "O aB >b ! para > 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
'+, O aB >b9a>b .> 0 aBb !
9aBb '+ O a= >b9a>b .> 0 aBb

,
'+B O aB >b9a>b .> 0 aBb
J.Daro Snchez H
la funcin 0 aBb es igual a cero, entonces estas ecuaciones se llaman homogneas. En el caso contrario la ecuacin se llama no homognea. 1.4. Problemas que llevan a ecuaciones integradas. A. Equilibrio de una cuerda cargada. Consideremos una cuerda, esto es un hilo material de longitud 6 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 B ! y B6.
Entonces en la posicin de equilibrio, la cuerda coincide con el segmento ! B 6 del eje B. Supongamos ahora, que en el punto B 0 se ha aplicado una fuerza vertical T T0 . Bajo el efecto de esta fuerza la cuerda 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 0 de su posicin de equilibrio bajo la accin de la fuerza T0 aplicada en este punto. Si la magnitud de la fuerza T0 es pequea en comparacin con la tensin X! de la cuerda sin carga, podemos aceptar que la tensin de la cuerda cargada sigue siendo X! . Entonces, de la condicin de equilibrio de la cuerda encontramos la igualdad siguiente:
$ X! $ X! 60 T0 0
de donde, $
T0 a60b0 X! 6
Sea ahora ?aBb la flecha de la cuerda en el punto B bajo la accin de la fuerza T0 . Tenemos ?aBb T0 KaB 0b donde Ba60b X! 6 KaB 0b a6Bb0 X! 6 estas para para !B0 0B6 se ve inmediatamente que
En particular, de KaB 0b Ka0 Bb.
frmulas
Supongamos ahora que sobre la cuerda acta una fuerza distribuida continuamente a lo largo de la cuerda con densidad T a0b. Si esta fuerza es pequea, la deformacin otra vez depender linealmente de la fuerza
J.Daro Snchez H
10
entre 0 y 0 ?0; es aproximadamente T a0b?0 y la forma de la cuerda cargada de este modo, por el principio de superposicin, ser descrita mediante la funcin ?aBb '! KaB 0bT a0b . 0
6
Luego, si est dada la carga que acta sobre la cuerda la frmula a"%"b 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 T bajo la cual la cuerda toma la forma prefijada ?aBb. Para encontrar la funcin T a partir de la funcin dada ?aBb obtenemos una ecuacin que coincide, salvo notaciones, con la ecuacin
a"%"b
'+, O aB >b9a>b .> 0 aBb !
es decir, una ecuacin de Fredholm de primera especie. B. Oscilaciones libres y forzadas de una cuerda. Supongamos ahora que la cuerda no se encuentra en reposo y realiza ciertas oscilaciones. Sea ?aB >b la posicin en el momento > de aquel punto de la cuerda cuya abscisa es B y sea 3 la densidad lineal de la cuerda. Entonces, sobre un elemento de la cuerda de longitud .B acta una fuerza de inercia igual a Tomando a"%"b y sustituyendo T a0b se recibe que ?aB >b '! KaB 0b3 `>#
6
` # ?aB>b `># 3 .B
, de donde T a0b
` # ?a0>b `># 3
` # ?a0>b
.0
a"%#b
Supongamos que la cuerda realiza oscilaciones armnicas de una frecuencia prefijada A y de una amplitud ?aBb que depende de B. En otras palabras, sea Introduciendo esta expresin en a"%#b y dividiendo ambos miembros de la igualdad por sin A>, obtenemos la siguente ecuacin integral para ?: ?aBb 3A# '! KaB 0b ?a0b . 0.
6
?aB >b ?aBb sin A>.
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
11
correspondente ecuacin de las oscilaciones armnicas de la cuerda es de la forma ?aBb 3A# '! KaB 0b ?a0b . 0 0 aBb
6
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 Cw 0 aB C b C aB b C
! !
por el mtodo de Piccard se reduce a la ecuacin integral no lineal siguiente C C! 'B! 0 a0 C b . 0.

B
Las ecuaciones de orden superior en principio, tambin pueden ser reducidas a una ecuacin integral. Consideremos, por ejemplo la ecuacin de segundo orden Cww 0 aBb C !. Tomando en particular 0 aBb 3# 5 aBb, donde 3 es constante, podemos transformarla en la forma Cww 3# C 5aBb C Cww 3# C 1aBb puede ser a"&"b
Como se sabe, la solucin de la ecuacin representada en la forma
Luego, la solucin de ecuacin a"&"b se reduce a la solucin de la ecuacin integral

" B CaBb 3 '+ 5 a0b sin 3aB 0b Ca0b . 0 cos 3aB +b.
" B CaBb cos 3aB +b 3 '+ sin 3aB 0b 1a0b . 0.
J.Daro Snchez H 1.6. EJERCICIOS.
12
Resolver las siguientes ecuaciones integrales de primera especie, reducindolas previamente a ecuaciones integrales de segunda especie: " # $ % &
'!B $B> 9a>b .> B
'!B +B> 9a>b .> 0 aBb
'!B a" B# ># b9a>b .>
0 a!b !
B# #
'!B a# B# ># b9a>b B#
' Demuestre que la solucin de la ecuacin Cww 3# C 5aBbC

" B CaBb 3 '! 5 a0b sin3aB 0b Ca0b . 0 cos3aB +b.
'!B sinaB >b9a>b .> /B## " .
es
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 9aBb -'+ O aB >b 9a>b .> 0 aBb
,
a#""b
viene dada por la frmula de inversin siguiente: a#"#b

,
9aBb 0 aBb -'+ V aB > -b0 a>b .>
donde la funcin V aB > -b es llamada resolvente de Fredholm de la ecuacin a##"b y viene dada por la igualdad
J.Daro Snchez H V aB > -b

HaB>-b Ha-b
13 a##$b
con la condicin de que Ha-b !. Aqu HaB > -b y Ha-b son series de potencias de -: HaB > -b O aB >b ! a"b F8 aB >b-8 8x
_
8
8"
a##%b a##&b
Ha-b " ! a"b G8 -8 8x

_
8
8"
cuyos coeficientes se determinan por las frmulas O aB >b '+, '+, O a>" >b F8 aB >b 8-@/-/= O a>8 >b
siendo F! aB >b O aB >b
O aB >" b O aB >8 b O a>" >" b O a>" >8 b .>" .>8 O a>8 >" b O a>8 >8 b
a##'b
La funcin HaB > -b se llama menor de Fredholm y Ha-b determinante de Fredholm. En el caso en que el ncleo O aB >b sea acotado o que la , , integral '+ '+ O # aB >b .B .> tenga un valor finito, las series a##%b y a##&b sern convergentes para todos los valores de - y, por lo tanto, sern funciones analticas enteras de - . La resolvente V aB > -b
HaB>-b Ha-b
O a >" > " b '+, '+, O a># >" b G8 O a >8 > " b
O a>" ># b O a>" >8 b O a># ># b O a># >8 b .>" .>8 O a>8 ># b O a>8 >8 b
a##(b
es una funcin analtica de -, a excepcin de los valores de -, que anulan la funcin Ha-b. Los ltimos son polos de la resolvente V aB > -b.
EJEMPLO.
Hallar, mediante los determinantes de Fredholm, la resolvente del ncleo O aB >b B/> + ! , ". Solucin: Tenemos F! aB >b B/> . A continuacin
J.Daro Snchez H
Ecuaciones Integrales Lineales F" aB >b '!

" "
14
> B/ F# aB >b '! '! >" /> ># />

"
B/> >" / >
B/>" .> ! >" / > " B/>" >" / > " ># / > "
B/># >" /># .>" .># ! ># / > #
puesto que los determinantes bajo el signo integral son iguales a cero. Es evidente que tambin todas las ulteriores F8 aB >b !. Hallamos los coeficientes G8 :
" " G" '! O a>" >" b .>" '! >" />" .>" "
G # '! ' !
" "
>" />" ># />"
>" / > # .> .> ! ># / > # " #
Es evidente tambin que todos los siguientes G8 !. Segn las frmulas a##%b y a##&b en nuestro caso tenemos HaB > -b O aB >b B/> V aB > -b
HaB>-b Ha-b
H a-b " - .
De este modo,
B/> "- .
Apliquemos el resultado obtenido a la solucin de la ecuacin integral 9aBb -'! B/> 9a>b .> 0 aBb
"
Segn la frmula a###b
a - "b .
En particular, para 0 aBb /B se obtiene

9aBb /B "- B
" B/> 9aBb 0 aBb -'! "- 0 a>b.>.
El clculo de los coeficientes F8 aB >b y G8 de las ecuaciones a##%b y a##&b por las frmulas a##'b y a##(b es prcticamente posible slo en casos muy raros, pero de estas frmulas se obtienen las siguientes relaciones de recurrencia
J.Daro Snchez H

,
15 a##)b
F8 aB >b G8 O aB >b 8'+ O aB =bF8" a= >b .= G8 '+ F8" a= =b .=

,
Sabiendo que los coeficientes G! " y F! aB >b O aB >b por las frmulas a##*b y a##)b se hallan sucesivamente G" F" aB >b G# F# aB >b G$ etc.
EJEMPLO.
a##*b
Solucin: Tenemos G! " F! aB >b B #>. Aplicando la frmula a##*b se halla G" '! a =b .= " . #
"
Hallar aplicando las frmulas a##)b y a##*b, la resolvente del ncleo O aB >b B #> donde ! B " ! > ".
Por la frmula a##)b se obtiene
" F" aB >b B#> '! aB #=ba= #>b .= B > #B> # . $ #
Ahora tenemos
G# '! #= #=# # .= $
" "
F# " aB #>b #'! aB #=b = > #=> # .= ! $ $ G$ G% ! Por consiguiente: Ha-b " ! a"b G8 -8 " G" - 8x
#
8
" $
F$ aB >b F% aB >b !
8"
G# # # -
" " " # - ' -#
HaB > -b O aB >b ! a"b F8 aB >b-8 aB #>b F" aB >b8x

"
8
B #> B > #B> # -. $ La resolvente del ncleo dado ser V aB > -b

HaB>-b Ha-b B#>B>#B> # $ " " - " -# # '
8"
J.Daro Snchez H
16
2.2. Ncleos iterados Sea dada la ecuacin integral de Fredholm 9aBb -'+ O aB >b 9a>b .> 0 aBb
,
a##"b
Como en el caso de las ecuaciones diferenciales ordinarias, la ecuacin integral a##"b puede resolverse por el mtodo de las aproximaciones sucesivas. Para esto, hagamos 9aBb 0 aBb ! <8 aBb-8
_ 8"
a###b
donde <8 aBb se determina mediante las frmulas <# aBb '+ O aB >b <" a>b .> '+ O# aB >b0 a>b .>
, ,
<" aBb '+ O aB >b0 a>b .>

,
<$ aBb '+ O aB >b <# a>b .> '+ O$ aB >b0 a>b .>
, ,
Aqu
O# aB >b '+ O aB D bO" aD >b .D

,
O$ aB >b '+ O aB D bO# aD >b .D

,
y en general
8 # $ siendo O" aB >b O aB >b. Las funciones O8 aB >b, que se determinan mediante las frmulas a##$b, se llaman nucleos iterados. Para stas, es vlida la frmula O8 aB >b '+ O7 aB =bO87 a= >b .=
,
O8 aB >b '+ O aB D bO8" aD >b .D

,
a##$b
a##%b
donde 7 es un nmero natural cualquiera, menor que 8.
J.Daro Snchez H
17
La resolvente de la ecuacin integral a##"b se determina a partir de los ncleos iterados por la frmula V aB > -b ! O8 aB >b-8"
_ 8"
a##&b
La serie del segundo miembro se llama Serie de Neumann del ncleo. Esta converge para l- l
" F
La solucin de la ecuacin de Fredholm de segunda especie a##"b se expresa por la frmula de inversin 9aBb 0 aBb -'+ V aB > -b0 a>b .>
,
donde F '+ '+ O # aB >b .B .> .

, ,
a##'b
La cota a##'b es esencial para la convergencia de la serie a##&b. Sin embargo, la solucin de la ecuacin a##"b puede tambin existir para " valores de - tales que l-l F . Veamos un ejemplo, consideremos 9aBb -'! 9a>b .> "
"
a##(b
Aqu O aB >b "
a##)b
De este modo, la condicin a##'b da que la serie a##&b converge para l-l ". Resolviendo la ecuacin a##)b como ecuacin con ncleo degenerado o separable (ver 3), se obtiene a" -bG " , donde " G '! 9a>b .>. Esta ecuacin no es soluble para - ", lo que significa que para - " la ecuacin integral a##)b no tiene solucin. De aqu se deduce que en un crculo de radio mayor que la unidad las aproximaciones sucesivas para la ecuacin a##)b no pueden converger. Sin embargo, para l-l ", la ecuacin a##)b es soluble. En efecto, si - ", la ecuacin " 9aBb "- es solucin de la ecuacin dada, lo cual es fcilmente comprobable por verificacin directa. Dados dos ncleos, O aB >b y PaB >b, diremos que ellos son ortogonales, si se cumplen las dos condiciones siguientes:
F # '! '! O # aB >b .B .> '! '! .B .> " .

" " " "
y, por lo tanto
'+, O aB D bPaD >b .D !
'+, PaB D bO aD >b .D !
a##*b
J.Daro Snchez H
18
para cualesquiera valores admisibles de B y de >.

EJEMPLO.
" ".
Los ncleos O aB >b B> y PaB >b B# ># ,
son ortogonales en
En efecto,
" " '" aBD baD # ># b.D B># '" D $ .D !
" " '" aB# D # baD>b .D B# >'" D $ .D !
Existen ncleos que son ortogonales a s mismos. Para tales ncleos O# aB >b !, donde O# aB >b 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 O aB >b.
EJEMPLO.
O aB >b sin aB #>b ! > #1 ! > #1.
Tenemos
'!#1 sin aB #D bsin aD #>b .D " '!#1 cos aB #> $D b cos aB #> D b .D #
" " sin aB #> $D b sin aB #> D b # $
D#1 D!
!.
De este modo, en este caso la resolvente del ncleo es igual al propio ncleo de manera que la serie de Neumann a##&b est formada por un solo trmino y evidentemente, converge para cualquier -. V aB > -b sin aB #>b,
Los ncleos iterados O8 aB >b pueden expresarse directamente del ncleo dado O aB >b por la frmula O8 aB >b '+ '+ '+ O aB =" bO a=" =# b O a=8" >b .=" .=# .=8" a##"!b
, , ,
J.Daro Snchez H
19
Todos los ncleos iterados O8 aB >b, a partir de O# aB >b sern funciones continuas en el cuadrado + B , , + > , , si el nmero inicial O aB >b es de cuadrado sumable en dicho cuadrado. Damos algunos ejemplos para la determinacin de ncleos iterados.
EJEMPLO
Solucin. Aplicando la frmula a###b se halla sucesivamente O" aB >b B >

"
1. Hallar los ncleos iterados para O aB >b B > si + ! , ".

" O# aB >b '! aB =ba= >b.= B> B> #
O$ aB >b '! aB =b => => " .= B> $ # "#

" O% aB >b '! aB =b => .= "# " " "# ! aB " "##
" $
O& aB >b O' aB >b
'
" "# O# aB >b
" B> "# #
" B> $
'!" aB =ba= >b .=
=b => => " .= $ #

O# aB>b "##
" "# O$ aB >b
B> "##
B> " "## #
" B> $
De aqu se deduce que los ncleos iterados tienen la forma a"b para 8 #5 " a#b para 8 #5 donde 5 " # $
EJEMPLO
O#5" aB >b "#5" aB >b O#5 "#5" B> B> " $ # O" aB >b y O# aB >b
a"b5"
a"b5
2. Hallar los ncleos iterados O aB >b
si + ! , "
B > si ! B > B > si > B "
Solucin. Tenemos que O" aB >b O aB >b

"
O# aB >b '! O aB =bO a= >b .=
donde
J.Daro Snchez H O aB =b
Ecuaciones Integrales Lineales B = ! B = B = = B " O a= >b = > ! = > = > > = " al hallar
20
Como el ncleo dado O aB >b no es simtrico, consideramos dos casos: a"b B > y a#b B >. a"b Sea B > . Entonces O# aB >b M" M# M$
O# aB >b
donde
M" '! aB =ba= >b .=

B >
M$ '> aB =ba= >b .=

"
M# 'B aB =ba= >b .=

>$ '
B$ '
B# > # &B$ '
&>$ '
B># #
$ B># $ B# > # #
B #
B>
> #
" $
Sumando estas integrales, se obtiene a#b Sea B > . Entonces
O# aB >b >$ # B$ B# > #B># B> $ O# aB>b M" M# M$
B> #
" $
aB >b
donde
M" '! aB =ba= >b .= $ B># #

>
M# '> aB =ba= >b .=

B "
&>$ '
M$ 'B aB =ba= >b .= & B$ $ B# > ' #
B$ '
>$ '
B# > #
B># # B> #
B>
" $
J.Daro Snchez H
21
Sumando estas integrales, obtenemos
O# aB >b # B$ >$ B# > #B># B> $
B> #
" $
aB >b.
De este modo, el segundo ncleo iterado tiene la forma O# aB >b Anlogamente a8 $ % b. se # B$ >$ B# > #B># B> $ # B$ >$ B# > #B># B> $ hallan los ncleos
B> # B> #
" ! B > $ " > B " $ restantes O8 aB >b
iterados
Citemos ahora un ejemplo de construccin de la resolvente de una ecuacin integral mediante los ncleos iterados. Consideramos la ecuacin integral a##""b 9aBb -'! B>9a>b .> 0 aBb
"
Aqu O aB >b B> + ! , " sucesivamente se halla: O$ aB >b " '! aBD baD>b .D $ O8 aB >b $B> 8"
"
O# aB >b '! aBD baD>b .D

"
O" aB >b B>
B> $ B> $#
Segn la frmula a##&b para la resultante se tiene V aB > -b ! O8 aB >b-8" B> ! - $

_ _ 8" 8" 8"
$B> $-
donde l-l $ .
En virtud de la frmula a##(b, la solucin de la ecuacin integral a##""b se escribe en la forma

" $B> 9aBb 0 aBb -'! $- .>
En particular, para 0 aBb B se obtiene 9aBb
$B $-
donde - $.
J.Daro Snchez H
22
Si Q aB >b y R aB >b son dos ncleos ortogonales, la resolvente V aB > -b, correspondiente al ncleo O aB >b Q aB >b R aB >b es igual a la suma de las resolventes V" aB > -b y V# aB > -b que corresponden a cada ncleo.
EJEMPLO.
Hallar la resolvente del ncleo O aB >b B> B# ># + " , ".
Solucin. Como ha sido demostrado anteriormente, los ncleos Q aB >b B> y R aB >b B# ># son ortogonales en " ". Por esto, la resolvente del ncleo O aB >b es igual a la suma de las resolventes de los ncleos Q aB >b y R aB >b. Aplicando resultados conocidos se halla
$B> &B# # VO aB > -b VQ aB > -b VR aB > -b $#- &#>-
donde l-l $ . #
La propiedad que acabamos de indicar se puede generalizar a cualquier nmero finito de ncleos.
Si los ncleos Q a"b aB >b Q a#b aB >b Q a8b aB >b son ortogonales dos a dos , la resolvente que corresponde a su suma O aB >b ! Q a7b aB >b
8 7"
a##"#b
es igual a la suma de las resolventes correspondientes a cada sumando. Llamaremos 8-sima traza del ncleo O aB >b a la magnitud E8 '+ O8 aB Bb .B
,
donde O8 aB >b es el 8-simo ncleo iterado para el ncleo O aB >b.

Hw a-b Ha-b
a8 " # b
a##"$b
Para el determinante Ha-b de Fredholm, tiene lugar la siguiente frmula: ! E8 -8"

_ 8"
a##"%b
J.Daro Snchez H
23
El radio de convergencia de la serie de potencias a##"%b es igual al menor mdulo de las races caractersticas ver $$ . 2.3. EJERCICIOS
En los siguientes ncleos aplicando los determinantes de Fredholm, halle las resolventes. ". # $ % O aB >b B# > B># O aB >b #B > ! B " ! B " !>" !>"
O aB >b sin B cos >
! B #1 ! > # 1 ! B #1 ! > # 1 .
Aplicando las frmulas a##)b y a##*b halle las resolventes de los siguientes ncleos: & ' ( ) * "! O aB >b B > " O aB >b " $B> O aB >b /B> O aB >b %B> B# O aB >b sin aB >b O aB >b B sinh > " B " " > " ! B " ! B " ! B " !>" !>" !>"
O aB >b sin B sin >
! B #1 ! > # 1 " B " " > ".
Aplicando la resolvente, resolver las siguientes ecuaciones integrales: "" "# "$ "% "& 9aBb -'! sinaB >b9a>b .> "
#1
9aBb -'! a#B >b9a>b .>

" #1
9aBb '! /B> 9a>b .> /B

" "
9aBb '! sin B cos > 9a>b .> cos #B 9aBb -'! a%B> B# b9a>b .> B.
B '
J.Daro Snchez H
24
Hallar los ncleos iterados de los ncleos indicados a continuacin para los valores de + y , dados: "' "( ") "* #! #" O aB >b B > + " ," ,
1 #
O aB >b sinaB >b + ! O aB >b B/>
O aB >b aB >b# + " + ! O aB >b B sin > + 1 + !
a8 # $b a8 # $b
," ," ,1 ,1
En los problemas siguientes, halle O# aB >b ## #$ O aB >b /lB>l + ! + " ," ," O aB >b /lBl> O aB >b /B> O aB >b B/>
O aB >b /B cos >
Usando ncleos iterados construir la resolvente de los siguientes ncleos: #% #& #' #( #) #* $! $" + ! ," ,
1 #
O aB >b sin B cos > + ! + " O aB >b a" Bba" >b O aB >b B# ># O aB >b B>
," ,!
+ " ," ,"
+ " + "
O aB >b sin B cos > cos #B sin #>; O aB >b " a#B "ba#> "b
+ ! + !
, #1 , ".
?f?
J.Daro Snchez H
25
3.
TEORA CUANTITATIVA. ECUACIONES INTEGRALES CON NCLEO DEGENERADO
El ncleo O aB >b de la ecuacin integral de Fredholm de segunda especie se llama degenerado o separable, si ste es la suma de un nmero finito de productos de una funcin slo de B por una funcin slo de >, es decir, si l tiene la forma O aB >b ! +5 aBb,5 a>b
8 5"
3.1. Ecuaciones de Fredholm.
a$""b
las funciones +5 aBb y ,5 a>b a5 " # 8b son funciones continuas del espacio P# a+ ,b y linealmente independientes. La ecuacin integral con ncleo degenerado a$""b 9aBb -'+ ! +5 aBb ,5 a>b9a>b .> 0 aBb
, 8 5" , 9aBb 0 aBb - ! +5 aBb'+ ,5 a>b9a>b .> 8 5"
a$"#b
se resuelve del siguiente modo: Escribamos a$"#b del siguiente modo
a$"$b
e introduzcamos las notaciones siguientes
Entonces a$"$b toman ahora la forma 9aBb 0 aBb - ! -5 +5 aBb

8 5"
'+, ,5 a>b 9a>b .> -5
a5 " # 8b
a$"%b
a$"&b
donde -5 son constantes desconocidas (puesto que la funcin 9aBb no es conocida). De este modo, la solucin de una ecuacin integral con ncleo degenerado se reduce a hallar las constantes -5 a5 " # 8b. Sustituyendo la expresin a$"&b en la ecuacin integral a$"#b, y despues de sencillas transformaciones, se obtiene
J.Daro Snchez H
8

8
26
7"
! -7 ' , ,7 a>b0 a>b - ! -5 +5 a>b .> +7 aBb !.

+ 5"
En virtud de la independencia lineal a7 " # 8b; de aqu se deduce que

8 5"
de
las
funciones
+7 aBb
, -7 '+ ,7 a>b0 a>b - ! -5 +5 a>b .> !
o bien
, , -7 - ! -5 '+ +5 a>b,7 a>b .> '+ ,7 a>b0 a>b .> 8 5"
a7 " # 8b.
Introduciendo, para simplificar la escritura, las notaciones +57 '+ +5 a>b,7 a>b .>
,
07 '+ ,7 a>b0 a>b .> ,

,
as se obtiene el siguiente sistema -7 - ! +57 -5 07

8 5"
a7 " # 8b
o, en forma desarrollada:
a" -+"" b-" -+"# -# -+"8 -8 0" -+#" -" a" -+## b-# -+#8 -8 0# -+8" -" -+8# -# a" -+88 b-8 08
a$"'b
Para hallar las incgnitas -5 tenemos un sistema lineal de 8 ecuaciones algebraicas con 8 incgnitas. El determinante de este sistema es igual a " -+"" -+#" ?a- b -+8" -+"# " -+## -+8# -+"8 -+#8 " -+88 a$"(b
Si ?a-b !, el sistema a$"'b tiene solucin nica -" -# -8 que se obtienen por las frmulas de Crammer.
J.Daro Snchez H
" -+ "" " -+#" ?a-b -+8"

-+"5" -+#5" -+85" 0" 0# 08 -+"5" -+#5" -+85" -+"8 -+#8 " -+88 a5"#8b
27 a$")b
-5
La solucin de la ecuacin integral a$"#b ser la funcin 9aBb determinada por la igualdad 9aBb 0 aBb - ! -5 +5 aBb
8 5"
El sistema a$"'b se puede obtener, si ambos miembros de la igualdad a$"&b se multiplican sucesivamente por +" aBb +# aBb +8 aBb y se integra desde + hasta ,, o bien, si se sustituye la expresin a$"&b para 9aBb es la igualdad a$"%b cambiando B por >.
OBSERVACIN. EJEMPLO.
donde los coeficientes -5 a5 " # 8b se determinan por las frmulas a$")b.
9aBb -'1 aBcos > ># sin B cos B sin >b9a>b .> B
1
Resolver la ecuacin integral
a$"*b
Solucin: Escribamos la ecuacin en la siguiente forma:

1 1
9aBb -B'1 cos > 9a>b .> -sin B'1 ># 9a>b .> -cos B'1 sin > 9a>b .> B
1
Introduzcamos las notaciones:

1
-" '1 9a>bcos > .> -# '1 ># 9a>b .>

1
-$ '1 9a>bsin > .>

1
a$""!b
donde -" -# -$ son constantes desconocidas por determinar. Entonces la ecuacin a$"*b toma la forma Sustituyendo la expresin a$"""b en las igualdades a$""!b, se obtiene -" '1 a-" -> -# -sin > -$ -cos > >bcos > .> -$ '1 a-" -> -# -sin > -$ -cos > >bsin > .>
1
9aBb -" -B -# -sin B -$ -cos B B
a$"""b
-# '1 a-" -> -# -sin > -$ -cos > >b># .>

1
o bien
J.Daro Snchez H
28
-" " -'1 >cos > .> -# -'1 sin > cos > .> -$ -'1 cos# > .> '1 >cos > .> -" -'1 >sin > .> -# -'1 sin# > .> -$ " -'1 cos > sin > .> '1 >sin > .>
1 1 1 1
-" -'1 >$ .> -# " -'1 ># sin . .> -$ -'1 ># cos > .> '1 >$ .>
1 1 1 1
Calculando las integrales que figuran en estas ecuaciones, se obtiene el sistema de ecuaciones algebraicas para hallar las incgnitas -" -# -$ -" -$ -1 ! - # - $ - %1 ! #1--" -# -1 -$ #1 El determinante del sistema es " ?a- b ! #1! " 1a$""#b
El sistema a$""#b tiene solucin nica; dada por

#-1 )-1 #1 -" "#-# 1# -# "#-# 1# -$ "#-# 1#
# #
1- %1- " a#1# -# %1# -# b " #1# -# ! "
sustituyendo los valores hallados -" -# y -$ solucin de la ecuacin integral dada:
en a$""b se obtiene la
# 9aBb "#-1 1# a-1B %-1sin B cos Bb B. -#
3.2. Ecuacin de Hammerstein Muchos problemas de la fsica se reducen a ecuaciones integrales no lineales de Hammerstein. La forma cannica de la ecuacin de Hammerstein (ver 1, 1.3) es: 9aBb '+ O aB >b0 a> 9a>bb .>
,
donde O aB >b 0 a> ?b son funciones dadas; 9aBb es la funcin incgnita. Tambin las ecuaciones de la forma
a$#"b
J.Daro Snchez H
Ecuaciones Integrales Lineales 9aBb '+ O aB >b0 a> 9a>bb .>+<aBb

,
29 a$#"w b
donde <aBb es una funcin conocida, pueden reducirse con facilidad a la ecuacin del tipo a$#"b de modo que la diferencia entre las ecuaciones homogneas y no homogneas (de importancia en el caso lineal) en el caso no lineal no tiene casi ningn valor. La funcin O aB >b la llamaremos como siempre ncleo de la ecuacin a$#"b. Sea O aB >b un ncleo degenerado, es decir O aB >b ! +3 aBb,3 a>b.
7 3"
a$##b
En este caso, la ecuacin a$#"b toma la forma

7 , 3"
9aBb ! +3 aBb'+ ,3 a>b0 a> 9a>bb .>
a$#$b
Hagamos
-3 '+ ,3 a>b0 a> 9a>bb .>

,
a3 " # 7b
a$#%b
donde -3 son constantes desconocidas por ahora. Entonces en virtud de a$#$b tendremos 9aBb ! -3 +3 aBb
7 3"
a$#&b
Sustituyendo en las ecuaciones a$#%b la expresin a$#&b para 9aBb, se obtienen 7 magnitudes desconocidas -" -# -7 : En el caso en que 0 a> ?b sea un polinomio con respecto a ?, es decir 0 a> ?b :! a>b :" a>b? :8 a>b?8 - 3 < 3 a- " - # - 7 b a3 " # 7b a$#'b
donde :! a>b :" a>b :8 a>b son, por ejemplo, funciones continuas de en el segmento + ,, el sistema a$#'b se transforma en un sistema de ecuaciones algebraicas con respecto a -" -# -7 . Si existe una solucin del sistema a$#'b, es decir, si existen nmeros
a$#(b
J.Daro Snchez H

! ! ! -" - # - 7 ,
30
tales que, al ser sustitudos en el sistema a$#'b, reducen sus ecuaciones a identidades, entonces existe una solucin de la ecuacin integral a$#$b, que se determina por la igualdad a$#&b:
! 9aBb ! -3 +3 aBb. 7 3"
Es evidente que el nmero de soluciones (en general, complejas) de la ecuacin integral a$#$b es igual al nmero de soluciones del sistema a$#'b.
EJEMPLO.
Resolver la ecuacin integral 9aBb -'! B>9# a>b .>

"
a- es un parmetrob
a$#)b a$#*b a$#"!b
Solucin: Hagamos
- '! >9# a>b .>

"
Entonces
Sustituyendo 9aBb por el segundo miembro de a$#*b, se tendr - '! >-# - # ># .>
"
9aBb - -B
a$#"!b en la relacin
de donde -
-# # % - .
La ecuacin a$#""b tiene dos soluciones: -" ! -#

% -# .
a$#""b
Por lo tanto, la ecuacin integral a$#)b tiene tambin dos soluciones para cualquier - ! 9" aBb !
% 9# aBb - B
J.Daro Snchez H
31
Existen ecuaciones soluciones reales.
integrales
no
lineales simples
que
no
tienen
Veamos por ejemplo, la ecuacin
" 9aBb " '! /aB>b# a" 9# a>bb.> # " > - " '! / # a" 9# a>bb.> #
a$#"#b a$#"$b a$#"%b
hagamos
Entonces
9aBb -/ # .
B
Para determinar la constante - se obtienen las ecuaciones

" - " '! /># a" - # /> b.> #
"
No es difcil comprobar que la ecuacin a$#"&b no tiene races reales y que, por lo tanto, la ecuacin integral a$#"#b no tiene soluciones reales. Por otro lado, consideremos la ecuacin
"
- $# "- # $- $/ # " !
a$#"&b
9aBb '! +aBb+a>b9a>bsin +a>b .>

9a>b
+a>b !
a$#"'b
para todo > ! " .
Para la determinacin de la constante - se obtiene la ecuacin Si '! +# a>b .> ", entonces la ecuacin a$#"(b y, por consiguiente, tambin la ecuacin integral inicial a$#"'b, tiene un nmero infinito de soluciones reales.
"
" '! +# a>b .> sin "
a$#"(b
?f?
J.Daro Snchez H
32
3.3. Races caractersticas y funciones propias. La ecuacin integral homognea de Fredholm de segunda especie 9aBb -'+ O aB >b9a>b .> !
,
tiene siempre la solucin trivial 9aBb !, que se llama solucin nula.
a$$"b
El nmero - ! no es raz caracterstica, puesto que para - ! en a$$"b se sigue que 9aBb !.
Los valores del parrametro -, para los cuales esta ecuacin tiene soluciones no nulas 9aBb !, se llaman races caractersticas de la ecuacin a$$"b, o del ncleo O aB >b , y cada solucin no nula de esta ecuacin se llama funcin propia, correspondiente a la raz caracterstica -.
Si el ncleo O aB >b es continuo en la regin H B >+ B > , o de cuadrado sumable en H, y adems los nmeros + y , son finitos, entonces a cada raz caracterstica - le corresponde un nmero finito de funciones propias linealmente independientes; el nmero de estas funciones se denomina rango de la raz caracterstica. Distintas races caractersticas pueden tener diferente rango. Para las ecuaciones con ncleos degenerado o separable 9aBb -'+ ! +5 aBb ,5 a>b9a>b .> !
, 8 5"
a$$#b
las races caractersticas son las races de la ecuacin algebraica " -+"" -+#" ?a- b -+8" -+"# " -+## -+8# -+"8 -+#8 ! " -+88 a$$$b
cuya potencia es : 8. Aqu ?a-b es el determinante del sistema lineal homogneo
J.Daro Snchez H
33 a$$%b
donde las magnitudes +75 y -7 a5 7 " # 8b tienen el mismo sentido que en el pargrafo precedente ver 3,3.1.
a" -+"" b-" -+"# -# -+"8 -8 ! -+#" -" a" -+## b-# -+#8 -8 ! -+8" -" -+8# -# a" -+88 b !
Si la ecuacin a$$$b tiene : races a" : 8b, la ecuacin integral a$$#b posee : races caractersticas; a cada raz caracterstica -7 a7 " # :b le corresponde una solucin no nula. -" - # - 8
a#b a#b a#b -" - # - 8 a"b a"b a"b
-"
del sistema a$$%b. Las soluciones no nulas de la ecuacin integral a$$#b correspondientes a estas soluciones, es decir, las funciones propias, tendran la forma 9" aBb ! -5 +5 aBb 9# aBb ! -5 +5 aBb 9: aBb ! -5 +5 aBb.
8 a"b 8 a#b 8 a: b 5" 5" 5"
-# a:b a:b a:b -" - # - 8 -:
La ecuacin integral con ncleo degenerado tiene a lo ms races 8 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 Ha-b, es decir, polos de la resolvente V aB > -b. De aqu se deduce, en particular que la ecuacin de Volterra 9aBb -'! O aB >b9a>b .> !
B
donde O aB >b P# aHb, no tiene races caractersticas B Ha-b /E" - , siendo E" '! O aB >b .> ).
OBSERVACIN.
(para esta
Las funciones propias se determinan salvo un factor constante es decir, si 9aBb es una funcin propia que corresponde a cierta raz caracterstica -, entonces - 9aBb, donde - es una constante arbitraria, ser tambin una funcin propia correspondiente a la misma raz caracterstica -.
J.Daro Snchez H
EJEMPLO.
34
Hallar las races caractersticas y las funciones propias de la ecuacin integral 9aBb -'! acos# Bcos #> cos$Bcos$ >b9a>b .> !
1
a$$&b
Solucin: Se tiene
9aBb -cos# B'! cos#> 9a>b .> -cos$B'! cos$ > 9a>b .>
1 1
Introduciendo las notaciones

1
-" '! 9a>bcos#> .>
-# '! 9a>bcos$ > .>

1
tenemos
Sustituyendo a$$'b en a$$&b se obtiene un sistema lineal de ecuaciones homogneas: -" " -'! cos# > cos#> .> -# -'! cos$> cos #> .> ! -" -'! cos& > .> -# " -'! cos$ > cos$> .> !
1 1 1 1
9aBb -" -cos# B -# -cos$B
a$$'b
a$$(b
Pero como
El sistema a$$( b toma la forma " "

-1 % -" -1 ) -#
'!1 cos# > cos#> .> 1 '!1 cos$> cos#> .> ! % '!1 cos& > .> ! '!1 cos$ > cos$> .> 1 )
a$$)b
! !
La ecuacin para hallar las races caractersticas ser " -1 % ! ! ! " -1 )

) 1
% Las races caractersticas son -" 1 , -#
J.Daro Snchez H
35
% Para -" 1 , el sistema a$$)b toma la forma
! -" ! " # -# ! de donde -# !, -" es constante arbitraria. La funcin propia ser 9" aBb -" -cos# B, o bien, haciendo -" - ", se obtiene 9" aBb cos# B.
) Para -# 1 , el sistema a$$ )b toma la forma
a "b - " ! ! -# !
de donde -" !, -# es arbitraria y, por consiguiente, la funcin propia ser 9# aBb --# cos $B, o bien haciendo -# - ", se obtiene 9# aBb cos$B. De este modo, las races caracterstericas son: las funciones propias correspondientes a estas son: 9" aBb cos# B 9# aBb cos$B.
% -" 1 ,
-#
) 1
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

"
9aBb -'! a$B #b >9a>b .> ! 9aBb -a$B #b'! >9a>b .>.
"
no tiene races caractersticas y funciones propias. En efecto, tenemos
Haciendo
- '! >9a>b .>

"
a$$*b
se obtiene
J.Daro Snchez H
Ecuaciones Integrales Lineales 9aBb - -a$B #b. " -'! a$># #>b .> - !
"
36 a$$"!b a$$""b -! y, por
Sustituyendo a$$"!b en a$$*b obtenemos Pero, como '! a$># #>b.> ! consiguiente 9aBb ! .
"
la
ecuacin
a$$""b da
De este modo, la ecuacin homognea dada tiene slo la solucin nula 9aBb ! para un - cualquiera; por lo tanto, sta no posee races caractersticas y funciones propias.
EJEMPLO.
caractersticas reales y funciones propias. -" '! >9a>b .>

"
la ecuacin 9aBb '! B> >B9a>b .> ! no tiene races

"
Tenemos que 9aBb -" -B -# -B donde
-# '! >9a>b .>.

"
Haciendo la sustitucin 9 en -" y -# se tiene -" '! >-" -> -# ->.>

"
-# '! >-" -> -# ->.>

"
de donde
-" -" -'! > # .> -# -'! ># .> -# -" -'! > .> -# -'! > # .>
"
$
"
"
"
obtenindose el sistema de ecuaciones algebraicas " # --" - -# ! & $ - -" " # --# !. # & a$$"#b
El determinante del sistema es ?a- b " #& #

$ # &-
"
-# " "&! .
J.Daro Snchez H
37
funciones propias.
Para - real, ste no se anula, por por lo tanto, para todas las solucin trivial: 9aBb !. De " 9aBb -'! B> >B9a>b .> !
lo que a$$"#b se obtiene -" ! y -# ! , reales, la ecuacin dada tiene slo la esta manera, la ecuacin dada no posee races caractersticas reales y
Si el 8-simo ncleo iterado O8 aB >b del ncleo O aB >b es simtrico, entonces se puede afirmar que O aB >b tiene por lo menos una raz caracterstica (real o compleja), y que las potencias 8-simas de todas las races caractersticas son nmeros reales. En particular, para un ncleo antisimtrico O aB >b O a> Bb, todas las races caractersticas son imaginarias puras: - " 3 , donde " d . El ncleo O aB >b de una ecuacin integral se llama simtrica, si se cumple la condicin O aB >b O a> Bb a+ B > , b. Para la ecuacin integral de Fredholm
,
con ncleo simtrico O aB >b tienen lugar los teoremas siguientes que son anlogos del anlisis espectral: 1. La ecuacin 9aBb -'+ O aB >b9a>b .> ! tiene por lo menos una raz caracterstica real.
TEOREMA
,
9aBb -'+ O aB >b9a>b .> !
a$$"$b
TEOREMA
de
linealmente independiente 9aBb -'+ O aB >b9a>b .> ! siendo

,
funciones
2. A cada raz caracterstica - le corresponde un nmero finito ;
de
la
ecuacin
sup ; -# F #
donde
F # '+ '+ O # aB >b .B .>

, ,
El nmero ; se llama rango o multiplicidad de la raz caracterstica.
J.Daro Snchez H
TEOREMA
38
3. Cada par de funciones propias 9" aBb, 9# aBb, que corresponde a races caractersticas diferentes -" -# son ortogonales, es decir,
'+, 9" aBb9# aBb .B !.

TEOREMA
4. En cada intervalo finito del eje - hay un nmero finito de races caractersticas. La cota superior para el nmero 7 de races caractersticas situadas en el intervalo 6 - 6 se determina por la
desigualdad
En el caso en donde el ncleo O aB >b de la ecuacin a$$"$b sea la funcin 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.
7 6# F # .
Hallar las races caractersticas y las funciones propias de la ecuacin homognea 9aBb -'! O aB >b 9a>b .> !
1
donde O aB >b cos B sin > cos > sin B !B> >B1 .
Solucin. Escribamos la ecuacin dada en la forma

B 1
9aBb -'! O aB >b 9a>b .> -'! O aB >b 9a>b .> a$$"%b
o bien
9aBb -sin B'! 9a>b cos > .> -cos B'B 9a>bsin > .B
B 1
con el fin de obtener el problema de Sturm-Liouville derivamos ambos miembros de a$$"%b, se halla 9w aBb -cos B'! 9a>bcos > .> -sin B cos B 9aBb -sin B'B 9a>b sin > .> -sin B cos B 9aBb
1 B
o sea
J.Daro Snchez H
B

1
39 a$$"&b
9w aBb -cos B'! 9a>bcos > .> -sin B'B 9a>bsin > .>. Derivando una vez ms, se obtiene
B
9ww aBb -sin B'! 9a>bcos> .> -cos# B 9aBb -cos B'B 9a>bsin> .> -sin# B9aBb -9aBb -sin B'! 9a>bcos> .> -cos B'B 9a>bsin > .>
B 1 1
La expresin entre corchetes es igual a 9aBb, de forma que 9ww aBb -9aBb 9aBb.
De este modo la ecuacin integral dada se reduce al siguiente problema de frontera: 9ww aBb a- "b9aBb ! 9 a1 b ! a"b 9w a!b ! a$$"'b a$$"(b
Aqu son posibles los tres casos siguientes: - " ! La ecuacin a$$"'b toma la forma 9ww aBb ! su solucin general ser 9aBb -" B -# . Usando las condiciones de frontera a$$"(b, para determinar las constantes -" y -# obtenemos el sistema
-" 1 - # ! -" !
, - ".
el cual tiene la nica solucin -" ! -# ! y por consiguiente la ecuacin integral tiene slo la solucin trivial 9aBb !. a#b La solucin general de la ecuacin a$$"'b tiene la forma 9aBb -" cosh- "B -# sinh- "B. - " !, , - ".
Para determinar los valores de -" y -# , las condiciones de frontera dan el sistema
J.Daro Snchez H
Ecuaciones Integrales Lineales -" cosh1- " -# sinh1- " ! - # !.
40
ste tiene la solucin nica -" ! -# !. La ecuacin integral tiene la solucin trivial 9aBb ! . De este modo, para - " la ecuacin integral no posee races caractersticas y, por lo tanto, tampoco tiene funciones propias.
a$b - " !, sea - ". La solucin general de la ecuacin a$$"'b ser 9aBb -" cos" - B -# sin" - B.
De aqu hallamos que
9w aBb " - -" sin" - B -# cos" - B. -" y -# , las condiciones de a$$")b
En este caso, para la determinacin de fronteras a$$"(b dan el sistema
-" cos 1" - -# sin 1" - ! " - -# ! cos 1" ! sin 1" " -
el determinante de este sistema es ?a- b
Igualando a cero, obtenemos la ecuacin para la determinacin de las races caractersticas cos 1" ! sin 1" ! " - a$$"*b
o sea " - cos 1" - !. Por hiptesis " - !, por lo tanto cos1" -. De aqu se halla que 1" - 1 18, donde 8 . Todas # las races de la ecuacin a$$"*b vienen dadas por la frmula Para valores de - -8 , el sistema a$$")b toma la forma
# -8 " 8 " . #
J.Daro Snchez H
Ecuaciones Integrales Lineales -" ! - # a "b 8 ! -# !
41
ste tiene un conjunto infinito de soluciones no nulas -" - -# !
donde - es una constante arbitraria. Esto significa que tambin la ecuacin integral original tiene un conjunto infinito de soluciones de la forma 9aBb - cos8 " B #
las cuales son funciones propias de dicha ecuacin. De este modo, las races caractersticas y las funciones propias de la ecuacin dada, sern
# -8 " 8 " , #
98 aBb cos8 " B #
donde 8 es un entero cualquiera.
3.4.
EJERCICIOS. 9aBb %'!

"
Resolver las siguientes ecuaciones integrales con ncleos degenerados: ". # $ % & '
1#
9aBb '" /arcsin B 9a>b .> tan B

1%
sin# B 9a>b .> #B 1
9aBb -'! cosa; ln >b 9a>b .> "

" "
9aBb -'1% tan > 9a>b .> cot B
9aBb -'! arccos > 9a>b .> " # "B 9aBb -'! ln " 9a>b .> " >
" :
a: " b
J.Daro Snchez H
42
Resolver las siguientes ecuaciones integrales: ( ). * "! "" 9aBb #'! B>9$ a>b .>
" "
9aBb '" aB> B# ># b9# a>b .> 9aBb '" B# ># 9$ a>b .>
"
9aBb '" "B># a>b .> 9

" "
" "# Demostrar que la ecuacin integral 9aBb " '! +aBb+a>ba" 9# a>bb.> # " +aBb ! para todo B ! " no tiene soluciones reales, si '! +# aBb .B ".
9aBb '! a" 9# a>bb.>
Hallar las races caractersticas y las funciones propias de las siguientes ecuaciones integrales homogneas con nucleo degenerado: "$ "% "& "' "( ") "* 9aBb -'!
1%
9aBb -'! sin B sin > 9a>b .> !

#1 1
9aBb -'! sin B cos > 9a>b .> !

#1
sin# B 9a>b .> !
9aBb -'! cosaB >b9a>b .> !

"
9aBb -'" a&B>$ %B# >b9a>b .> !

"
9aBb -'" a&B>$ %B# > $B>b9a>b .> ! 9aBb -'" aBcosh > > cosh Bb9a>b .> !
"
Hallar las races caractersticas y las funciones propias de las ecuaciones integrales homogneas, si sus ncleos tienen la forma #! O aB >b Ba> "b ! B > >aB "b > B "
J.Daro Snchez H O aB >b O aB >b O aB >b O aB >b
Ecuaciones Integrales Lineales aB "ba> #b a> "baB #b sin B cos > sin > cos B !B> >B"
43
#"
##
!B> >B1 1 B> >B1 !B> >B" .
#$
sin B sina> "b sin > sinaB "b /> sinh B /> sinh >
#%
#& Demostrar que, si O aB >b es ncleo simtrico, entonces el segundo ncleo iterado O# aB >b tiene slo races caractersticas positivas. 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 9aBb -'+ O aB >b 9a>b .> 0 aBb
,
donde 9aBb es la funcin incgnita; O aB >b y 0 aBb son funciones conocidas; B y > son variables reales, que varan en un intervalo + ,; - es un factor numrico.
a%""b
La funcin O aB >b se denomina ncleo de la ecuacin integral, se supone que est definida en la regin cuadrada en el plano aB >b, y es continua en H, o bien sus discontinuidades son , , tales que la integral doble '+ '+ lO aB >bl# .B .> tiene un valor finito. H aB >b + B , y, + B ,
Si 0 aBb ! , la ecuacin a%""b se llama no homognea; si en cambio ! la ecuacin a%""b toma la forma 0 a !b 9aBb -'+ O aB >b 9a>b .> !
,
a%"#b
y se denomina homognea.
J.Daro Snchez H
44
Los lmites de integracin + y , en las ecuaciones a%""b y a%"#b pueden ser finitos o infinitos.
Se llama solucin de las ecuaciones a%""b y a%"#b a cualquier funcin 9aBb que, al ser sustituida en dicha ecuacin, la reduce a identidades con respecto a B + ,, esto se pudo observar en la parte cuantitativa de los pargrafos # y $. 4.2. Operador integral de Fredholm. En este numeral estudiaremos las ecuaciones de Fredholm de segunda especie, esto es, las ecuaciones del tipo 9aBb '+ O aB >b 9a>b .> 0 aBb
,
a%#$b
Respecto a la funcin O , llamada como se ha dicho en muchsimas ocasiones ncleo de esta ecuacin, la supondremos que es medible y verifica la condicin
El trmino independiente 0 aBb de esta ecuacin es una funcin dada de P# a+ ,b y 9 es la funcin incgnita perteneciente tambin a P# a+ ,b. Pongamos en correspondencia a la ecuacin a%#$b con el operador E P# a+ ,b P# a+ ,b , definido del modo siguiente: E9 <
, donde aE9baBb '+ O aB >b 9a>b .> <aBb
'+, '+, lO # aB >bl .B .> _
a%#%b
El estudio de la ecuacin a%#$b se reduce, por supuesto, al estudio de las propiedades de este operador E llamado operador de Fredholm de ncleo O . Se sabe del anlisis funcional que un operador entre espacios de Hilbert es totalmente continuo si transforma conjuntos dbilmente 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.
a%#&b
J.Daro Snchez H
TEOREMA
45
O aB >b es una funcin de cuadrado integrable, es decir en el espacio P# a+ ,b un operador lineal totalmente continuo E, cuya norma satisface la
, 1. La igualdad <aBb '+ O aB >b 9a>b .>, donde
desigualdad
Demostracin: Observemos, ante todo, que la integral '+ lO # aB >bl .> existe, debido al teorema de Fubini y a la condicin a%#%b (vea el numeral 74 del fascculo de resultados de mi trabajo [6] sobre teora de Integracin en el ciberespacio) para casi todo B. En otras palabras O aB >b pertenece como funcin de > a P# a+ ,b para casi todo B. Como el producto de dos funciones de cuadrado sumable es sumable, la integral que figura en el miembro derecho de a%#&b existe para casi todo B, es decir la funcin < est definida en casi todos los puntos. Probemos que < P# a+ ,b, en virtud de la desigualdad de Cauchy tenemos para casi todo B
, , , , |<# aBbl '+ O aB >b9a>b .> '+ lO # aB >bl .> '+ l9# a>bl .> #
, , lEl '+ '+ lO # aB >bl .B .>
a%#'b
Integrando respecto a B y sustituyendo la integral iterada de lO # aB >bl por una integral doble obtenemos la desigualdad lE9l# '+ l<# aBbl .B l9l# '+ '+ lO # aB >bl .B .>
, , ,
l9l# '+ lO # aB >bl .>.

,
que adems de probar la integrabilidad de l<# aBbl se demuestra la estimativa a%#'b para la norma del operador E. Resta probar que el operador E es totalmenmte continuo. Sea <8 un sistema ortogonal completo de P# a+ ,b. Entonces todos los productos del tipo <7 aBb<8 a>b forman un sistema completo en el espacio P# a+ , + ,b y por consiguiente O aB >b !!+78 <7 aBb<8 a>b
7 8
Demostremos ahora OR aB >b ! ! +78 <7 aBb<8 a>b

R R 7" 8"
J.Daro Snchez H
46
y sea ER el operador correspondiente al ncleo OR . Este operador es totalmente continuo ya que transforma todo el espacio P# a+ ,b en un subespacio de dimensin finita (los operadores de este tipo han sido llamados degenerados o separables). En efecto, si 9 P# a+ ,b se tiene
R R , , ER 9 '+ OR aB >b9a>b .> ! ! +78 <7 aBb'+ 9a>b<8 a>b .>
donde
! <8 aBb ! +78 ,8

R 7" 8"
7" 8" R
es decir, todo elemento 9 P# a+ ,b es transformado por el operador ER en un elemento del subespacio de dimensin finita generado por los vectores <" <# <R . Ahora bien, como OR es la suma parcial de la serie de Fourier de la funcin O , tenemos
,8 '+ 9a>b<8 a>b .>

,
Aplicando la estimativa a%#'b al operador E ER encontramos de aqu lEER l ! para R _. 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 E. El teorema queda probado.
OBSERVACIONES.
'+, '+, aO aB >b OR aB >bb# .B .> !
para R _.
2) Sean E" y E# dos operadores del tipo a%#&b y sean O" y O# sus ncleos correspondientes. Si los operadores E" y E# son iguales, es decir E" 9 E9# para todo 9 P# a+ ,b, entonces O" aB >b O# aB >b casi en todos los puntos. Veamos esta afirmacin, si E" 9 E# 9 '+ aO" aB >b O# aB >bb 9a>b .> !
,
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 $." ).
J.Daro Snchez H
47
para todo 9 P# a+ ,b, entonces para casi todo B + , se tiene
'+, lO" aB >b O# aB >bl# .> !
es decir
'+, '+, lO" aB >b O# aB >bl# .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. 2. Sea E un operador de Fredholm con ncleo O aB >b. Entonces el operador conjugado E se define por el ncleo conjugado O aB >b.
TEOREMA
Demostracin. Empleando el teorema de Fubini, tenemos

, , , ,
aE0 1b '+ '+ O aB >b0 a>b .> 1aBb .B '+ '+ O aB >b0 a>b1aBb .> .B
, , , ,
'+ '+ O aB >b1aBb .B0 a>b .> '+ 0 a>b'+ O aB >b1aBb .B .> a0 E 1 b ,
de donde
E 1 '+ O aB >b 1aBb .B,

,
y de aqu se deduce la afirmacin del teorema.
En particular, un operador E de tipo <aBb '+ O aB >b9a>b .> es autoconjugado en P# a+ ,b, es decir, E E si y slo si O aB >b O a> Bb.
,
En el caso en que se considere el espacio de Hilbert real (y, por lo tanto, ncleos reales O ) la condicin de autoconjugacin est dada por la igualdad O aB >b O a> Bb.
J.Daro Snchez H
48
Hemos considerado operadores integrales que actan en el espacio P# a+ ,b. No obstante, todo lo expuesto se extiende sin modificaciones al caso en que se considere, en lugar del segmento + ,, un espacio cualquiera provisto de medida. 4.3. Ecuaciones de ncleo simtrico. Consideremos una ecuacin integral de Fredholm de segunda especie 9aBb '+ O aB >b 9a>b .> 0 aBb
,
OBSERVACIN.
a%$"b
cuyo ncleo verifica las condiciones

, , a3b '+ '+ lO # aB >bl .B .> _
a33b O aB >b O aB >b
Estas ecuaciones sern llamadas de ncleo simtrico. En virtud de los teoremas 1 y 2 del numeral %# anterior, el operador de Fredholm correspondiente E9 '+ O aB >b 9a>b .>
,
%$#
es totalmente continuo y autoconjugado. Luego es vlido para l, el teorema de Hilbert-Schmidt que dice: Para cualquier operador lineal E autoconjugado y totalmente continuo en un espacio de Hilbert L existe un sistema ortonormal 98 de vectores propios correspondientes a valores propios -8 tal que cada elemento 0 L se puede escribir de
manera nica en la forma

5
0 !-5 95 0w
donde
E0w !.
Aplicando este teorema a la solucin de la ecuacin a%$"b, como lo que importa no es la forma integral del operador a%$#b sino el hecho de que este operador es totalmente continuo y autoconjugado, es natural escribir la ecuacin a%$"b en la forma 9 E9 0 . a%$$b
De acuerdo con el teorema de Hilbert-Schmidt existe para el operador E un sistema ortogonal 98 de funciones propias correspondientes a los valores propios -8 para los cuales tenemos
J.Daro Snchez H
Ecuaciones Integrales Lineales 0 !,8 <8 0 w

8
49 a%$%b
aE0 w !b
y busquemos la solucin 9 de la ecuacin a%$$b en la forma 9 !;8 <8 9w

8
aE 9 w ! b
a%$&b
Introduciendo los desarrollos %$% y a%$&b en a%$$b, obtenemos !;8 <8 9w !;8 -8 <8 !,8 <8 0 w .
8 8 8
Esta igualdad se cumple si y slo si 0 w 9w , y, es decir, cuando
;8 a " - 8 b , 8
a8 " # b
0 w 9w
, ;8 "8 -8 " -8 para ,8 ! para -8 ".
La ltima igualdad es una condicin necesaria y suficiente para que la ecuacin a%$$b tenga solucin. Tenindose as el siguiente resultado:
Si " no es valor propio del operador E, la ecuacin 9 E9 0 tiene una solucin y slo una cualquiera que sea 0 ; en cambio, si " es valor propio del operador E, la ecuacin 9 E9 0 tiene solucin si y slo si, el trmino independiente 0 es ortogonal a todas las funciones propias del operador E correspondiente al valor propio "; si esta ltima condicin se cumple la ecuacin 9 E9 0 tiene un conjunto infinito de soluciones.
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 E M y significa que - " es, o bien un punto regular del operador E o bien un valor
J.Daro Snchez H
50
propio de multiplidad finita. Por supuesto todo lo que se afirma en estos teoremas sigue siendo vlido tambin para operadores E -M , donde - !. 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 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 nico punto del espectro, son llamados operadores de Volterra, u operadores abstractos. 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.
homognea de segunda especie

,
TEOREMA
1. (Altermativa de Fredholm) O bien la ecuacin integral no 9aBb -'+ O aB >b 9a>b .> 0 aBb
tiene una nica solucin para cualquier funcin 0 aBb, o la ecuacin homognea correspondiente
9aBb -'+ O aB >b 9a>b .> !
,
tiene por lo menos una solucin no trivial.

TEOREMA
,
primer caso de la alternativa, ste tiene lugar tambin para la ecuacin conjugada
<aBb -'+ O a> Bb<a>b .> 1aBb
,
2. Si para la ecuacin 9aBb -'+ O aB >b 9a>b .> 0 aBb tiene lugar el
La ecuacin integral homognea ecuacin conjugada

,
9aBb -'+ O aB >b 9a>b .> !

,
y su
<aBb -'+ O a> Bb <a>b .> !
tienen el mismo nmero finito de soluciones linealmente independientes.
J.Daro Snchez H
51
TEOREMA 3. La condicin necesaria y suficiente para la existencia de una solucin 9aBb de la ecuacin no homognea
9aBb -'+ O aB >b 9a>b .> 0 aBb

,
es que
donde D aBb es cualquier solucin de la ecuacin homognea

9aBb -'+ O aB >b 9a>b .> !.
,
'+, 0 aBbD aBb .B !
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
'+, '+, lO # aB >bl.B .> _
(lo cual garantiza la continuidad total del operador correspondiente) pero que no son simtricos, supongamos primero que se considera la ecuacin 9aBb '+ O aB >b 9a>b .> 0 aBb
,
a&#"b a&##b
cuyo ncleo es degenerado, es decir, de la forma O aB >b ! T3 aBbU3 a>b

8 3"
donde T3 U3 son funciones de P# a+ ,b. El operador con ncleo a&##b transforma toda funcin 9 P# a+ ,b en la suma
3"
! T3 aBb' , U3 a>b .>

8 +
es decir, es un elemento del subespacio de dimensin finita generado por las funciones T3 3 " # 8.
J.Daro Snchez H
52
Busquemos, pues, la solucin de la ecuacin a&#"b con ncleo degenerado a&##b en el que las funciones T" T# T8 son linealmente independientes. Tomando en la ecuacin a&#"b en lugar de O aB >b la suma correspondiente, obtenemos 9aBb ! T3 aBb'+ U3 a>b .> 0 aBb
8 , 3" ,
Notemos que en la expresin a&##b las funciones T" T# ,T8 pueden ser consideradas linealmente independientes. En efecto, si esto no fuese as podramos, expresar cada una de las funciones T3 como combinacin lineal de las funciones independientes y representar este mismo ncleo O aB >b como suma de un nmero menor de sumandos de tipo T4 aBb U4 > de manera que las funciones T4 sean linealmente independientes.
Denotando por ;3 '+ U3 a>b9a>b .>, podemos escribir 9aBb ! ;3 T3 aBb 0 aBb.
8 3"
a&#$b
Tomando en la ecuacin a&#"b esta expresin para 9, obtenemos ! ;3 T3 aBb 0 aBb ! T3 aBb' , U3 a>b
8 8 3" +
3"
4"
! ;4 T4 a>b 0 a>b .> 0 aBb .

8
Haciendo (ver 3 No.3.1)
'+, U3 a>bT4 a>b .> +34 ,
'+, U3 a>b0 a>b .> ,3
La igualdad anterior resulta ! ;3 T3 aBb ! T3 aBb ! +34 ;4 ,3 .

8 8 8 3" 4"
3"
Como las funciones T3 son, por hiptesis, linealmente independientes, esta igualdad implica la igualdad de los respectivos coeficientes de T3 aBb ;3 ! +34 ;4 ,3
8 4"
3 " # 8
a&#%b
J.Daro Snchez H
53
Hemos obtenido para los coeficientes ;3 un sistema de ecuaciones lineales. Resolvindolo, obtenemos la funcin deseada 9aBb ! ;3 T3 aBb 0 aBb
8 3"
solucin de una ecuacin integral de ncleo degenerado se reduce a la solucin del correspondiente sistema a&#%b de ecuaciones lineales algebraicas.
esta funcin satisface la ecuacin integral a&#"b ya que todos los razonamientos, mediante los cuales hemos pasado de la ecuacin a&#"b al sistema a&#%b, pueden ser reemplazados en orden contrario. Luego, la
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 X B C (X a+35 b B aB" B# B8 b C aC" C# C8 b) tiene solucin si y slo si el vector C es ortogonal a toda solucin del sistema homogneo conjugado X D ! aX a+34 bb.
MM. Si el determinante de una matriz X es diferente de cero, la ecuacin X B C tiene solucin nica para cualquier C. En cambio, si el determinante de la matriz X es igual a cero, la ecuacin X B ! tiene solucin no nula. MMM Como la matriz X y la matriz conjugada X son del mismo rango, los sistemas homogneos X B ! y X D ! tienen el mismo nmero de 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 "rango" y "determinante" de una matriz, los teoremas correspondientes deben ser enunciados de manera que en ellos no figuren estos conceptos.
J.Daro Snchez H
54
5.3. Teoremas de Fredholm para ecuaciones integrales de ncleo no degenerado. Volvamos a considerar la ecuacin
,
9aBb '+ O aB >b9a>b .> 0 aBb
a&$"b
suponiendo ahora que su ncleo verifica slo la condicin
'+, '+, lO # aB >bl .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 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 a&$"b y no su forma integral. Por lo tanto, realizaremos todas las consideraciones sucesivas, para la ecuacin con operadores 9 E9 0 a&$#b
donde E es un operador arbitrario totalmente continuo definido en un espacio de Hilbert L . Tomando X M E (donde M es el operador unidad), escribamos la ecuacin 9 E9 0 en la forma X 9 0 Adems de esta ecuacin, consideraremos la ecuacin homognea X 9! ! y las ecuaciones conjugadas X < 1 X <! ! a&$$b a&$%b a&$&b a&$'b
aX M E b. La relacin que existe entre las soluciones de estas cuatro ecuaciones viene expresada en los siguientes teoremas de Fredholm.
J.Daro Snchez H
55
slo para aquellas que son ortogonales a todas solucin de la ecuacin homognea conjugada X <! !.
MM (Alternativa de Fredholm). O bien la ecuacin X 9 0 tiene una solucin y slo una, cualquiera sea 0 L , o bien la ecuacin homognea X 9! ! tiene solucin no nula. MMM. Las ecuaciones homogneas de X 9 0 y X < 1 tienen el mismo 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 E y E coinciden en este caso, el Teorema MMM resulta trivial. Por otro lado, si E 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. Sea R aF b el conjunto de los ceros de un operador F L L lineal continuo (el ncleo de F ) , es decir, el conjunto de aquellos B L para los cuales FB !. Es conocido que R aF b es un subespacio lineal cerrado. Sea V aF b C FBB L el recorrido del operador F , V aF b como es sabido es un subespacio vectorial o variedad lineal pero en general no es cerrado. Sea E L L un operador lineal continuo, consideremos el operador X M E y sea V aX b su recorrido, en este caso se tiene que V aX b es cerrado, esto lo veremos en el siguiente Lema 1. 5.4 Demostracin de los Teoremas de Fredholm.
M . La ecuacin no homognea X 9 0 tiene solucin para aquellas 0 y
J.Daro Snchez H
56
La demostracin de los teoremas de Fredholm sigue los siguientes lemas:

LEMA
Demostracin. Sea C8 V aX b una sucesin tal que lim C8 C. hiptesis, existen vectores B8 L tales que C8 X B8 B8 EB8
8_
1. El subespacio V aX b es cerrado.
Por a&%"b
Podemos suponer sin perder generalidad que estos vectores son ortogonales al ncleo R aX b. Adems podemos aceptar que lB8 l es una sucesin acotada, pues de lo contrario tendramos quel B8 l _, y dividiendo por l B8 l deduciremos de a&%"b que
B8 lB8 l
E lB8 l ! B
8
converger, digamos a un vector D L . Es claro que lD l " y X aD b ! es decir D R aX b. Hemos supuesto sin embargo que los vectores B8 son orgogonales a R aX b; luego tambin D debe ser ortogonal a R aX b, esto es imposible puesto que si D R aX b y D R aX b entonces D D ! y lD l " una clara contradiccin.
8 8
Pero como el operador E es totalmente continuo podramos encontrar una subsucesin E lB8 l convergente. Por lo tanto, tambin lB8 l B B
Esta contradiccin nos permite suponer que l B8 l es una sucesin acotada. Al mismo tiempo la sucesin EB8 puede suponerse en este caso convergente, entonces como C8 X B8 B8 EB8 , se sigue que la sucesin C8 es tambin convergente. Si B es el lmite de esta sucesin, se desprende que C X B lim X B8 . El lema queda demostrado.
8_
2. El espacio L es la suma directa ortogonal de los subespacios cerrados R aX b y V aX b , es decir

LEMA
R aX b V aX b L R aX b V aX b L
a&%#b a&%$b
y por analgia
Demostracin. Sabemos que R aX b y V aX b son subespacios cerrados. Adems son ortogonales ya que, si 2 R aX b se tiene
J.Daro Snchez H
57
a2 X Bb aX 2 Bb !
para todo
BL .
Falta por demostrar que no existe ningn vector no nulo ortogonal simultneamente a V aX b y R aX b. Pero, si el vector D es ortogonal a V aX b entonces para cualquier B L tenemos aX D Bb aD X Bb ! es decir D R aX b. En esta forma el lema queda demostrado. Del Lema 2 se desprende inmediatamente el primer teorema de Fredholm. En efecto, 0 R aX b si y slo si 0 V aX b, es decir existe un 9 tal que X 9 0 .
Pongamos ahora L 5 V X 5 para cada 5 entero, de manera que en particular L " V aX b. Est claro que los subespacios forman una cadena de subespacios encajados. L L" L# a&%%b
y en virtud del Lema 1, todos estos subespacios son cerrados. Adems X L 5 L 5" .
LEMA
3. Existe un 4 tal que L 5" L 5 para todo 5 4.
Demostracin. Si no existiera tal 4, es evidente que todos los L 5 son distintos. En este caso podemos construir una sucesin ortogonal B5 tal que B5 L 5 y son ortogonales a L 5" . Sea 6 5, entonces y por lo tanto lEB6 EB5 l " ya que B6 X B5 X B6 L 5" . Luego, de la sucesin EB5 no se puede extraer ninguna subsucesin convergente, lo que contradice a la continuidad total del operador E. Con esto queda demostrado el lema.
LEMA
EB6 EB5 B5 aB6 X B5 X B6 b
Demostracin. Si R aX b !, entonces el operador X es uno a uno; de manera que suponiendo V aX b L , la cadena a&%%b no sera estacionaria (o sea constara de infinitud de subespacios) y esto contradice el lema 3. Luego V aX b L .
4. Si R aX b ! se tiene V aX b L .
J.Daro Snchez H
58
Anlogamente, V aX b L , si se tiene R aX b !.
LEMA
Demostracin. Como V aX b L , tenemos en virtud del Lema 2, R aX b !; pero entonces, en virtud del Lema 4, V aX b L y por consiguiente del lema 2 se sigue R aX 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. Supongamos que el subespacio R aX b es de dimensin infinita. Entonces, existe en este subespacio un sistema ortonormal infinito B5 . Adems EB5 B5 de manera que para 5 " tenemos lEB5 EB6 l # . Pero, esto significa que de la sucesin EB5 no se puede extraer ninguna subsucesin convergente, lo que contradice a la continuidad total del operador E. Sea . la dimensin de R aX b y sea / la dimensin de R aX b. Supongamos que . / . Sea 9" 9# 9. una base ortonormal en R aX b y sea <" <# </ una base ortonormal de R aX b. Tomemos WB X B ! aB 94 b<4 .
. 4"
5. Si V aX b L , se tiene R aX b !.
Demostremos finalmente, el tercer teorema de Fredholm.
Como el operador W se obtiene del operador X agregndole un operador degenerado, todos los resultados demostrados ms arriba para el operador X son vlidos tambin para el operador W . Probemos que la ecuacin WB ! tienen solamente solucin trivial. En efecto; supongamos que X B ! aB 94 b<4 !
. 4"
a&%&b
Como los vectores <4 son ortogonales en virtud del Lema 2, a todos los vectores del tipo X B, de a&% &b se deduce que X B ! y aB 94 b ! para " 4 ..
J.Daro Snchez H
59
Luego, el vector B debe ser, por un lado, una combinacin lineal de los vectores 94 y, por otro lado, debe ser ortogonal a ellos. Por consiguiente B !. De modo que la ecuacin WB ! tiene solamente la solucin trivial. Existe entonces, de acuerdo con el teorema MM , un vector C tal que X C ! aC 94 b<4 <." .
. 4"
Est claro que multiplicando esta igualdad escalarmente por <." , obtenemos ! en el lado izquierdo y " en el lado derecho. Esta contradiccin ha surgido por que hemos supuesto . / . Luego . / , por lo tanto . / . El Teorema MMM queda demostrado completamente. Hemos demostrado los teoremas de Fredholm para ecuaciones del tipo 9 E9 0 , donde E es un operador totalmente continuo en un espacio de Hilbert L . Estos teoremas pueden ser extendidos sin modificaciones sustanciales al caso de un espacio de Banach arbitrario . En este caso es claro que la ecuacin conjugada < E < 1 ser una ecuacin en el espacio , la condicin de ortogonalidad a0 <! b ! debe comprenderse en el sentido de que toda funcin del subespacio R de soluciones de la ecuacin E <! ! se anula en el elemento 0 , etc. 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 R C I C I O S 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 P# . 2. Sean -" y -# races caractersticas distintas constantes del ncleo O aB >b. Pruebe que las funciones propias de las ecuaciones 9aBb -" '+ O aB >b 9a>b .> ! <aBb -# '+ O aB >b<a>b .> !
, ,
OBSERVACIN.
J.Daro Snchez H
60
son acotadas y que a9 <b !. 3. Pruebe que el operador integral X 9 '+

, EaB>b9a>b .> lB>l llnlB=ll"!
donde lEaB >bl G -98=>+8, ! !, , + ", es completamente continuo. 4. Pruebe que un operador completamente continuo transforma cualquier conjunto acotado en un conjunto compacto.
5. Sea E un operador acotado y supongamos que la ecuacin E9 0 aBb es soluble. Pruebe que las ecuaciones E9 0 y E E9 E 0 son equivalentes. 6. Sea E un operador acotado cualquiera. Pruebe que los operadores EE y E E son simtricos. 7. Sea X un operador completamente continuo. Pruebe que las ecuaciones 9 -X X 9 y < -X X < tienen una y la misma raz caracteristica constante. ?f? BIBLIOGRAFIA [1] [2] [3] [4] V. Volterra, Theory of functionals and of integral and Integrodifferential equations. Dover Publications, INC. New York (1959). W.V.Lovitt, Linear Integral Equations. Dover Publications, INC. New York (1950). S.G.Mikhlin, Linear Integral Equations. Hindustan Publishong Corp. (India) Delhi (1960). S.G.Mikhlin, Integral Equations and their applications to Certain Problems in Mechanic, Mathematical Physics and Technology. The MacMillan Company, New York (1964). I.G.Petrovskii. Lectures on the Theory of Integral Equations. Graylock Press Rochester, New York (1957)
[5]
J.Daro Snchez H
61
[6] [7]
J.D.Snchez H, Teora de la Medida e Integracin. Curso para cibernautas 2004. J.D.Snchez H, Alternativa de Rouche-Frobenius. Aportes para cibernautas junio del 2006. ?f?
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

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ecuaciones Integrales Ineales

Cargado por

Copyright:

Formatos disponibles

ECUACIONES INTEGRALES LINEALES

Ecuaciones Integrales Lineales

Ecuaciones Integrales Lineales

la cual puede escribirse en la forma

_ " 3AB .A #1 _ - aAb/

_ " 3A@ .@. #1 _ 0 a@b/

donde T< a>b #" "#<"<><# 1 cos

Ecuaciones Integrales Lineales

'+, O aB >b9a>b .> 0 aBb

'!B O aB >b9a>b .> 0 aBb 0 a!b !

9a>b .> 0 w aBb

'!B /B> 9a>b .> sinB.

Ecuaciones Integrales Lineales

Derivando ambos miembros con respecto a B, se obtiene

9aBb '! /B> 9a>b .> cos B

Aplicando la transformada de Laplace se tiene

Pa9aBbb Pa/B bPa9aBbb Pa9aBbb Pa9aBbb ="" ="

Pa9aBbb P'! /B> 9a>b .> Pacos Bb

= "=# =" =# "

donde " es el ngulo de inclinacin de la tangente respecto al eje 0.

Ecuaciones Integrales Lineales

De aqu que .> . #1aB(bsin "

Integrando desde ! hasta B y denotando con

Se obtiene la ecuacin de Abel

Designando con 0 aBb #1 0" aBb, se obtiene definitivamente 0 aBb

Ecuaciones Integrales Lineales . 0 tan "

Fw a" b . " tan "

9aBb '+ O aB >b1a9a>b >b .>

Ecuaciones Integrales Lineales

es llamada Ecuacin de Fredholm de segunda especie, mientras que la ecuacin

'+, O aB >b9a>b .> 0 a>b !

'+, O aB >b9a>b .> 0 aBb !

9aBb '+ O a= >b9a>b .> 0 aBb

'+B O aB >b9a>b .> 0 aBb

Ecuaciones Integrales Lineales

En particular, de KaB 0b Ka0 Bb.

Ecuaciones Integrales Lineales

'+, O aB >b9a>b .> 0 aBb !

?aB >b ?aBb sin A>.

Ecuaciones Integrales Lineales

por el mtodo de Piccard se reduce a la ecuacin integral no lineal siguiente C C! 'B! 0 a0 C b . 0.

Como se sabe, la solucin de la ecuacin representada en la forma

Luego, la solucin de ecuacin a"&"b se reduce a la solucin de la ecuacin integral

" B CaBb cos 3aB +b 3 '+ sin 3aB 0b 1a0b . 0.

J.Daro Snchez H 1.6. EJERCICIOS.

Ecuaciones Integrales Lineales

'!B $B> 9a>b .> B

'!B +B> 9a>b .> 0 aBb

'!B a" B# ># b9a>b .>

'!B a# B# ># b9a>b B#

' Demuestre que la solucin de la ecuacin Cww 3# C 5aBbC

'!B sinaB >b9a>b .> /B## " .

viene dada por la frmula de inversin siguiente: a#"#b

9aBb 0 aBb -'+ V aB > -b0 a>b .>

J.Daro Snchez H V aB > -b

Ecuaciones Integrales Lineales

Ha-b " ! a"b G8 -8 8x

siendo F! aB >b O aB >b

Ecuaciones Integrales Lineales F" aB >b '!

> B/ F# aB >b '! '! >" /> ># />

B/> >" / >

B/># >" /># .>" .># ! ># / > #

>" />" ># />"