Está en la página 1de 166

I.

PETROVSKI
LECCIONES
DE
TEORIA
DE
LAS
ECUACIONES
INTEGRALES
EDITORIAL MIR - MOSCU
www.FreeLibros.com
www.FreeLibros.com
EDITORIAL
M I R
www.FreeLibros.com
H. r. nETPOBCKM
JTEKIJHW
no TEOPMW
MHTErPAJlbHblX yPABHEHMf
H3flATEJlhCTBO HAYKA
MOCKBA
www.FreeLibros.com
I. G. PETROVSKI
LECCIONES
DE TEORIA
DE LAS ECUACIONES
INTEGRALES
EDITORIAL MIR MOSCU
1971
www.FreeLibros.com
CDU 517 94(07,8)=*60
Traducido de la 3o ed. rusa
por J U A N JOSE T O L O S A
Traduccin revisada pnr
E M I L I A N O A P A R I C I O U l- K N A R D O ,
candidato a Doctor en Ciencias fsico-matemticas,
Catedrtico de Matemticas Superiores
:... . / ttss
t../ ....
www.FreeLibros.com
PROLOGO DEL REDACTOR
DE LA TRADUCCION
Este libro es la traduccin al castellano de la 3" edicin
rusa. La segunda edicin del mismo est, traducida al alemn
e ingls. Vase I. G. Petrovski, Vorlesungcn uber die Thco-
rie der Incgralgleichungen (Physica-Verlag, Wrzburg,
1953; trad. alemana de la 2a ed. rusa, 1951) y Leolurcs on
the theory of integral equations (Graylock Press, Roches-
ter, 1957, trad. inglesa de la misma edicin rusa).
A pesar de que la primera edicin rusa de este libro
sali en el ao 1948, creemos que el tema tratado, asi como
su exposicin, siguen siendo actuales. Esperamos que la
traduccin castellana ser bien acogida por los matemticos
de habla castellana, no slo por la importancia del material
expuesto, sino tambin por la misma personalidad del autor,
Rector de la Universidad de Mosc desde el ao 1951.
E. Aparicio
www.FreeLibros.com
www.FreeLibros.com
t.. //
/ -.- ,./ ..
- ,..
GLORGUI IVANOV1CH
PKTROVSKI
www.FreeLibros.com
www.FreeLibros.com
CAPITULO 1
INTRODUCCION.
TEOREMAS DE FREDHOLM
1. Definiciones. Ejemplos
Se acostumbra llamar ecuaciones integrales a aqullas
que contienen la funcin incgnita bajo el signo integral.
En particular, la siguiente ecuacin, respecto a la funcin
</.(), es una integral:
t>
a(x)('(x) +f(x) = [ K(x, >/<) l$, (!, I)
O
donde <?(.*), /(*), K(x, ) son funciones dadas, y </>(!) es
una funcin incgnita; las variables x y toman todos los
valores del intervalo (a, b).
En este libro solamente estudiaremos ecuaciones en las
que la funcin incgnita figura en forma lineal, es decir,
solamente ecuaciones del tipo (1,1). Dichas ecuaciones se
llaman ecuaciones integrales lineales. Si a(x) no se anula,
dividiendo ambas partes de la ecuacin ( 1, 1) entre a(.v),
obtenemos una ecuacin del tipo
b
9(x)=\k(x, Z)',m </$+/{*) ( 2 , 1 )
<1
www.FreeLibros.com
10 t.. :..- .. t..//-
Estas ecuaciones se llaman ecuaciones integrales lineales
de segunda especie, o de Fredholm, en honor al matemtico
que las estudi por primera voz. Si f(x)s0, la ecuacin (2,1)
se lUima homognea.
Si fuese j(a-) = 0, entonces la ecuacin (1,1) se reducira a
b
\K(xJ)md=f(x),
ti
la cual se llama ecuacin integral lineal de primera especie.
La funcin K(x, ) se llama ncleo de la ecuacin inte
gral.
En lo sucesivo nos ocuparemos principalmente de las
ecuaciones integrales lineales de segunda especie.
Pueden considerarse ecuaciones integrales, en las que
las funciones incgnitas dependan no de una variable, sino
de varias. De este tipo es, por ejemplo, la ecuacin
</'(*>y) - f K(x, y> > *?) +/(*= y)
G
respecto a la funcin incgnita </>(, ij), donde la integracin
se efecta sobre cierta regin G del plano (|, r). El punto
(x, 7) tambin pertenece a esta regin. Esta ecuacin puede
escribirse en la forma
<p(=K(P,Q)q>{Q)dQ+J { n
a
donde P$G y QtG *\
*) La notacin A M significa que el punto A pertenece al con
junto M.
www.FreeLibros.com
t//.- ,. .. . .. .. ., 11
Tambin pueden examinarse sistemas de ecuaciones inte
grales con varias funciones incgnitas.
Observacin. En lo sucesivo, excepto en el 20, sin in
dicarlo expresamente, supondremos que las funciones con
sideradas de los puntos P o Q estn definidas en una regin
finita G de dimensin d, que son continuas en toda esta
regin, a excepcin, posiblemente, de un nmero finito de
puntos, de curvas y de superficies suficientemente regulares,
hasta de dimensin (d- 1) inclusive. En estos puntos, curvas
y superficies singulares, las funciones pueden no estar de
finidas. La frontera de la regin G se considerar compuesta
por un nmero finito d-; superficies regulares de dimensin
o de un nmero finito de arcos regulares, si d= 2.
En Jo sucesivo, excepto en el 20, la integracin se
entender en el sentido ordinario, si las funciones son con
tinuas en G; si dichas funciones tienen discontinuidades en
ciertos puntos, curvas o superficies, entonces las integrales
se considerarn como impropias; se supondr que todas las
funciones estudiadas son absolutamente integrables.
, : t//.- , .. . ....
... .,/.
Consideremos un hilo flexible de longitud /, el que fcil
mente (en el lmite, como supondremos, sin ninguna re
sistencia) puede cambiar su forma, pero, para aumentar su
longitud en Al se necesita aplicar una fuerza c Al, donde c.
es una constante (ley de Hooke). Supongamos que los extre
mos de este hilo estn fijos a dos puntos inmviles A y B,
que se encuentran en la parte no negativa del eje x. Supon
gamos, adems, que el punto A se encuentra en el origen
del eje. El eje x lo consideraremos horizontal. Cuando el
hilo est en reposo, slo bajo la accin de la fuerza hori-
www.FreeLibros.com
12 t.. :..- .. t..//-
zonal de tensin T(i, muy grande en comparacin con las
otras fuerzas consideradas, la posicin del hilo ser hori
zontal, o sea, coincidir con el eje Ox.
Supongamos que en el punto C, para el cual x, hay
aplicada al hilo una fuerza vertical P. Bajo la accin de
sta, ci hilo toma la forma de una linea quebrada ACO
(fig. 1). Supongamos que CC0= 6 es muy pequeo, en com-
paracip con AC(t y C0B (el resultado de que P sea pequeo
respecto a J 1,,). Despreciando el cuadrado de la magnitud b
con respecto a /, se puede considerar que tambin, bajo la
accin de la fuerza P, la tensin del hilo se conserva igual
a T0. Proyectando sobre la vertical las fuerzas de tensin
del hilo en el punto C y la fuerza P y despreciando nueva
mente los miembros que contienen h~, obtenemos:
de donde
Designando por y(x) la flexin del hilo en el punto de ab-
cisa .v, de lo anterior obtenemos
Fig. 1
y(x)-P-G(x, I),
www.FreeLibros.com
t//.- , .. . .. ... /
13
donde
G(x, t)=X%rP para el intervalo AC(0=sx=s),
a-& 2)
G(x, |) = Tj s para el intervalo CB(^x ^1).
Aplicando estas frmulas, puede comprobarse fcilmente
que
G(x, l) = 0(|, x).
Supongamos que sobre el hilo acta una fuerza distri
buida en forma continua con densidad lineal />() tal, que
en el intervalo de ste, entre los puntos y +/!, acta
una fuerza, aproximadamente igual a p($)l. Ya que los
desplazamientos causados por las fuerzas elementales />() /(
se suman (principio de superposicin), el hilo, bajo la
accin de esta fuerza, toma la forma

o
Consideremos los problemas siguientes.
1. Buscaremos la densidad de distribucin de la fuerza
p(;), bajo cuya accin el hilo toma una forma dada
Entonces llegamos a la ecuacin integral de primera especie
i
x*)= (2,2)
n
respecto a la funcin incgnita />(!).
2. Supongamos que sobre el hilo acta una fuerza que
vara con el tiempo t, con una densidad en el punto igual a
/>() sen al (i> > 0).
www.FreeLibros.com
14 t.. :..- .. t..//-
Bajo su accin, e hilo se pone en movimiento. Supondr-
mos, adems, que durante su movimiento, la abscisa de cada
punto del mismo no vara, y que el hilo efecta oscilaciones
peridicas, descritas por ia ecuacin
y =y{x) sen coi.
Denotando por p() la densidad lineal de la masa del
hilo en el punto obtenemos que, en el momento f, en el
segmento del hilo, entre los puntos y I + /1I, adems de
ia fuerza />() sen ca A acta tambin la fuerza de inercia
- o() = p()X!)ro2 sen / zt|.
Por esto, la igualdad (2,2) toma la siguiente forma:

y{x) sen oot = j G(x, !)[/>() sen a>t +)2g()j(D sen o>] dt,.

Simplificando por sen cot y haciendo


i
j G(x, IMS) & =/(*), G(x, S)e(|) K(x, ), ca* =
0
obtenemos:
/
y(x) = XJ K(x, &**) +/(*) (3,2)
o
Suponiendo dada la funcin /?() y, por lo tanto,/(x), llega
mos de esta manera a una ecuacin integral de Fredholm
para la determinacin de la funcin y(x). Obsrvese que,
en virtud de la definicin de la funcin f(x), se tiene que
/(0)=/(0 = -
www.FreeLibros.com
t//.- , .. . .. ,., IS
Si la densidad (?(!) es constante y f(x) es una Puncin
con segunda derivada continua, no es difcil resolver esta
ecuacin integral. En efecto, poniendo en #(*> ) en lugar
de G(x, |) su expresin dada por (1,2), resulta
X /
X*) f XS) ci$ + *e di +f(x)
U X
o sea
x i
x) = ^ ( / - *> J m) d s + ^ J V - q k ) di +/(x),
o *
donde
Derivando dos veces respecto a x ambas partes de esta
ecuacin, obtenemos
y"(x) = - co2cy(x) +f '(x). (4,2)
Por otra parte, se puede demostrar que cualquier solucin
de la ecuacin diferencial (4,2), que se anula para * = 0 y
x = /, es tambin solucin de la ecuacin integral (3,2). Para
ello basta multiplicar ambas partes de la igualdad /'() =
= -co2cy(l)+/"(i) por - T0G(x, |) e integrar respecto a i
desde 0 hasta /. Entonces se obtiene la igualdad (3,2), ya
que, integrando por partes, se muestra fcilmente que
l
J T nG ( x , ) < ? "( ) d = - i p ( x ) ,

donde rp(x) es una funcin cualquiera con segunda derivada


continua, igual a cero para x=0 y x~.
www.FreeLibros.com
16 t.. :..- .. t../-
Como es sabido por el curso de ecuaciones diferenciales
ordinarias, la solucin general de la ecuacin (4,2) tiene la
forma
y = C, sen /ix + C, eos fix+- |/"(I) sen i(x - ) <!L
fl J
0
en donde / = &)]/<? y C, y C2 son constantes arbitrarias. De
las igualdades (1,2) y (3,2) se deduce que >(0)=XO=0-
Determinando de estas condiciones C, y C, obtenemos que,
si sen fil s0,
i
fj
X
+ j r ( ) s e n M*-). (5,2)
o
En este caso, la ecuacin integral (3,2) posee una sohicin
nica para cualquier funcin f(x), siempre que f[x) tenga
segunda derivada continua y /(O) =/(/) = 0,
Se puede demostrar, que para la existencia de solucin
de la ecuacin integral (3,2) es suficiente, si sen 0, que
la funcin f(x) sea continua; la condicin de existencia y,
con ms razn, de continuidad de la segunda derivada, es
superfina. En cambio, la condicin sen /il&O es completa
mente imprescindible para que esta ecuacin integral tenga
solucin para cualquier funcin continua, e incluso, para
toda funcin f(x) derivable cualquier nmero de veces.
Si sen ti, entonces
kn

(6,2)
www.FreeLibros.com
t//.- , .. . .. .. ., 17
(7,2)
he
(8,2)
en donde k es un nmero entero cualquiera: positivo, nega
tivo o cero. Los valores de dados por la frmula (8,2)
para 1, 2, 3 , . . se llaman valores propios (autovalores)
del parmetro A de la ecuacin integral (3,2), y los corres
pondientes valores de co, frecuencias propias de las oscila
ciones de la cuerda. De la deduccin de la frmula (5,2)
se desprende que la ecuacin integral (3,2), en el caso en
que sen il~ 0 y la funcin f(x) tenga segunda derivada
continua, puede tener solucin solamente si
Integrando por partes y utilizando el hecho de que
sen/t(/-|) = 0 y /() = 0 para 5 = 0 y = /, esta condicin
puede llevarse a la forma
Recprocamente, es fcil comprobar que la condicin
(10,2) es tambin suficiente para la existencia de una solu
cin de la ecuacin (3,2) para un i dado, para el cual
sen fil = 0,
En particular, la condicin (10,2) se satisface si
( 10,2)
o
/(-Y) = 0.
www.FreeLibros.com
18
t.. :..- ./. t..//-
Entonces, la ecuacin integral (3,2) y la ecuacin diferencial
(4,2) se hacen homogneas. Todas las soluciones de la ecua
cin diferencial homognea (4,2), se igualan a cero para
x = 0 y x = l y, por lo tanto, todas las soluciones de la ecua
cin integral (3,2) vienen dadas por la frmula
>(x) = C sen (ikx, (11,2)
donde C es una constante arbitraria y j,Ices igual a uno
de los nmeros (6,2). La frmula (i 1,2) nos da las ampli
tudes en el punto x de las oscilaciones propias de la cuerda:
y = C sen ikx sen oikt,
que tienen lugar sin la accin de fuerzas exteriores. Como
se ve de lo antedicho, estas oscilaciones pueden tener lugar
no con cualquier frecuencia, sino solamente con una de las
frecuencias dadas por la frmula (7,2) para k = 1 , 2 , . . .
Como muestra la frmula (5,2), si la condicin (9,2) no
se cumple, la amplitud >'(*) de las oscilaciones peridicas
de la cuerda en el punto x aumenta indefinidamente, cuando
oj (frecuencia de las oscilaciones de la fuerza exterior) se
aproxima a una de las frecuencias propias de las oscilaciones
de la cuerda. En el lmite, al coincidir estas frecuencias, co
mienza la resonancia. Entonces, en general, para ampli
tudes arbitrarias de la fuerza exterior, no existen oscilacio
nes peridicas de la cuerda. En correspondencia con esto,
en general, no existe solucin de la ecuacin integral no
homognea (3,2), cuando A es igual a uno de los valores
propios de esta ecuacin.
www.FreeLibros.com
+/, .. / .. ., t , /,./ t
19
, : +/, .. / ... .,/.
/./. , / ... /,./ /./.
t.. .. / ..- .. t..//-
Consideraremos la ecuacin integral lineal de segunda
especie
b
y(x)=\K{x,m)dUf{x), (1,3)
ti
donde K(x, 0 y f(x) son funciones conocidas para a--u's /i ,
Dividamos el intervalo (a, b) en n intervalos iguales,
cuyas longitudes sern
=/lx=Al

Pongamos
K(a+pAx, a +qzl|) = Kpi (p,q = 1 , 2 ,. .. , ti),
y(a+pAx) =yp (p = 1, 2,...,/?),
f(a+pAx) =fp (p = 1 , 2 , . . . , ri).
b
Sustituyamos la integral j K{x, )X) para x^a+pAx
por la suma n
Z Ki><yq P = h 2,.
<?=>
Entonces, en lugar de la ecuacin integral (1,3) obtenemos
un sistema de ecuaciones algebraicas lineales
>p= 2 Kpq)q t+fp, P = 1, 2 , . . n. (2,3)
9=i
2*
www.FreeLibros.com
20 t.. :..- .. t..//-
Aqu supondremos que Kp<l, f p, Ai son magnitudes conoci
das, y que yp son incgnitas.
La finalidad de los prximos pargrafos es extender los
conocidos teoremas de las ecuaciones algebraicas lineales
a las ecuaciones integrales de Fredholm de 2n especie. En
los enunciados habituales de los teoremas de las ecuaciones
lineales algebraicas intervienen determinantes, los cuales,
si bien pueden ser ligados con las ecuaciones integrales, ello
resulta muy laborioso. Por eso enunciaremos estos teoremas
sin utilizar los determinantes. Estos enunciados estn im
presos en cursiva.
En la resolucin del sistema (2,3), el determinante for
mado por los coeficientes de este sistema desempea un
papel fundamental:
\-Kn Ak -KVAS...
-K2lA 1~Kn A i. , .
-Kw Al
-K,n Ai
KrnA - Kn, Al 1- Knn Ai
(3,3)
Como es sabido, si este determinante es diferente de 0,
et sistema (2,3) tiene solucin nica, para valores /, ,f , . . .
cualesquiera. En este caso, el sistema transpuesto,
o sea, el sistema
zp & + / ? > ] - 1. 2 , . .
tiene tambin solucin nica para / * arbitrarios.
Si, en cambio, el determinante es igual a 0, el sistema
(2,3), para f p arbitrarios, en general, no tiene solucin. Pero,
entonces, el sistema homogneo correspondiente, es decir,
el sistema que se obtiene de (2,3), igualando todas las f p
www.FreeLibros.com
+/, .. / ... ., t , ./,./ t 21
a O, siempre tendr una solucin no trivial, o sea, una solu
cin no formada por ceros solamente.
De este modo, tiene lugar la siguiente ley alternativa:
o el sistema no homogneo de ecuaciones algebraicas lineales
Jado (2,3) tiene una solucin nica para valores arbitrarios
. .,fn, de los segundos miembros, o el sistema homogneo
correspondiente tiene, al menos, una solucin no trivial. Si
para el sistema dado tiene lugar el primer caso de esta alter
nativa, entonces ste tambin tiene lugar para el sistema trans
puesto.
En el segundo caso, el sistema homogneo dado
yp - Kpqy< 1S o, p=\,...,n, (4,3)
qt=>1
tiene el mismo nmero de soluciones linealmente indepen
dientes que su sistema transpuesto
n
zr>~ Z Kqpzq At p = u . . . , n . (5,3)
<r=l
Este nmero es igual a n-r, donde r es el rango de tu matriz
del determinante (3,3) *\
Hallemos las condiciones necesarias y suficientes para
que en el segundo caso de la alternativa el sistema no homo
gneo (2,3) tenga solucin. Ante todo, es fcil encontrar
las condiciones necesarias. Sea
zl> z > >zn
*) Obsrvese, que la afirmacin de la existencia do exactamente
Of-r) soluciones lincalmonto independientes de los sistemas homog
neos (4,3) y (5,3) es vlida tambin en el primer caso de la alternativa,
cuando n-r. La expresin cero soluciones linealmcntc independien
tes significa que se tiene solamente la solucin formada por ceros,
www.FreeLibros.com
22 t.. :..- .. t..//-
alguna solucin del sistema (5,3)- Multiplicando la p-csiina
ecuacin de (2,3) por zp y sumando todas las ecuaciones
miembro a miembro, obtenemos que
2 y>zP - 2Kpqyqzp 11 - 2 pzp
P M I'
lcro el primer miembro de esta igualdad puede escribirse
tambin as:
: y p Z p ~ K q p y ^ Z q Ai; y ) { Z p - : K q p Z q Z l| ).
p p>q p <i
En virtud de las ecuaciones (5,3), esta expresin es igual
a 0. Por lo tanto, tiene que ser
2fpZp=0. (6,3)
p-i
Demostremos que esta igualdad es tambin condicin
suficiente para la existencia de solucin del sistema (2,3),
si sta se cumple para todas las soluciones del sistema (5,3).
Es evidente, que esta condicin se observa, si se cumple
para cualesquiera (n-r) soluciones linealmente independien
tes del sistema (5,3). Para demostrar nuestra afirmacin,
recordemos del curso de lgebra superior, que la condicin
suficiente para la existencia de la solucin del sistema (2,3),
en el caso en que su determinante sea igual a cero, es la
siguiente: el rango de la matriz
1-tcn&
-Kln
-K,n
A*f,
, -Kni#
1Knf
&fn
debe coincidir con el rango de la matriz (3,3).
www.FreeLibros.com
+/, .. / .. ., t , /,./ t 23
Para esto es suficiente que todos los determinantes de
orden (r+1), formados por elementos de la matriz (7,3),
y que contienen elementos de la ltima columna de esta
matriz, sean iguales a cero. Desarrollando dicho determi
nante >,+, por los elementos f{, obtenemos de la condicin
(6.3) que, en efecto, ste es igual a cero, ya que el sistema
(5.3) se satisface por la sucesin de nmeros
z, z.,.. zn
formados de la siguiente manera; si i es tal que figura
en el determinante Dr+l, entonces, z, es igual al comple
mento algebraico de j\en este determinante; en caso con
trario, z-O*5.
De este modo, en el segundo caso de la alternativa, la
solucin del sistema no homogneo existe si, y slo si, para
cualquier solucin (zL, . . zn) del sistema homogneo trans
puesto se cumple la condicin (6,3).
Obsrvese que, si en el segundo caso de la alternativa
el sistema (2,3) tiene solucin, entonces esta solucin no
es nica. En efecto, sumando a esta solucin cualquier so
lucin del sistema homogneo correspondiente, obtenemos
nuevamente una solucin del sistema (2,3).
*) La justeza de esta afirmacin puedv demostrarse del siguiente
modo. Sustituyamos los nmeros z,, r t . . z en la ./-sima ecuacin
del sistema (5,3). Si j es tal, que en el determinante V + i figuran ele
mentos de la /-caima columna de la matriz (7,3), entonces el resultado
de dicha sustitucin ser 0, ya que ste ser igual a un determinante,
en e! que coinciden dos de sus columnas. Si j es tal, que los elementos
de la /'-sima columna no figuran en e determinante t,, entonces
el resultado de esta sustitucin ser tambin cero, puesto que ser
igual a uu determinante de orden (r+1), formado por elementos de
una matriz de rango r.
www.FreeLibros.com
24 t.. :..-. .. t..//-
tienda a j K(x, )j>() c/<?, y ia solucin del sistema de ccua-
a
ciones (2,3) pase a la solucin de ia ecuacin integral (1,3).
Esto, en efecto, tiene lugar bajo ciertas condiciones respecto
al ncleo K(x, ). Pero la demostracin de esto es compli
cada, por lo que no la daremos, aunque para la resolucin
aproximada de la ecuacin integral (1,3), se sustituya a veces
por el sistema (2,3) *\Demostraremos solamente, que los
teoremas enunciados anteriormente para el sistema (2,3) se
convierten en los siguientes teoremas:
Teorema 1. (Alternativa). 0 la ecuacin integral lineal no
homognea de 2l especie dada tiene una solucin nica para
cualquier funcin f(x) (de una clase suficientemente amplia),
o la ecuacin homognea correspondiente tiene, por lo menos,
una solucin no trivial, o sea, no idnticamente nula.
Teorema 2. Si para la ecuacin dada (1,3) tiene lugar el
primer caso de la alternativa, entonces tiene lugar el primer
caso tambin para la ecuacin transpuesta
ft
z(x) = [ K(, x)z(|) $ i
a
La ecuacin integral homognea dada y su transpuesta tienen
un mismo nmero finito de soluciones linealmente indepen
dientes.
*) Vase L. V. Kantorovich y V. I. Krylov, Mtodos Aproximados
del Anlisis Superior, 5 od., Fizmatguiz, cap. II, 1, 1962.
www.FreeLibros.com
+/, .. / ... ., t , /,./ t 25
Es evidente que, si las funciones >>)(*), J'a*). >ViC*)
satisfacen a la ecuacin homognea (1,3), entonces cualquier
combinacin lineal de ellas C^^x) + C.y.{x) + . . . 4 Cnyn{x)
con c'
cin.
Teorema 3. En el segundo caso de la alternativa, la con
dicin necesaria y suficiente para la existencia de solucin
de a ecuacin no homognea (1,3) es la siguiente:
b
j / ( * ) z ( * ) ^ = 0 ,
a
en donde z(x) es cutdquier solucin de la ecuacin homognea
transpuesta a (1,3).
S se cumple esta condicin, la ecuacin (1,3) posee un
conjunto infinito de soluciones, ya que, como es fcil com
probar, esta ecuacin ser satisfecha tambin por cualquier
funcin del tipo
X*)+y(.v),
en donde y(x) es alguna solucin de la ecuacin (1,3), y
q>(x) es cualquier solucin de la ecuacin homognea co
rrespondiente. Por otra parte, es evidente que, si las fun
ciones ^(jc) y y>,(x) satisfacen a la ecuacin (i,3), su diferen
cia satisface a la ecuacin homognea correspondiente.
Los teoremas 1, 2 y 3 que se acaban de enunciar, se
llaman teoremas de Fredholm, quien los demostr por pri
mera vez para la ecuacin (1,3) bajo condiciones bastante
amplias respecto a K(x, ) y a f(x). Los pargrafos prximos
estn dedicados a la demostracin de estos teoremas para
ciertas clases de ecuaciones. &1 nmero de variables inde
pendientes aqu no es esencial. Por eso, todas las demostra
ciones se harn para cualquier nmero de variables inde-
www.FreeLibros.com
26 t.. :..- .. t..//-
pendientes; escribiremos P en lugar de x, y Q en lugar de
as como se hizo al final del 1. Estas demostraciones,
como, en general, la mayora de las demostraciones de exis
tencia de soluciones de ecuaciones, dan tambin mtodos
para la resolucin aproximada de las ecuaciones integrales
(1.3).
En las aplicaciones desempea un papel particularmente
importante el primer teorema de Fredholm sobre la alter
nativa. En lugar de demostrar que la ecuacin integral dada
(1.3) tiene solucin, es ms cmodo, frecuentemente, de
mostrar, que la ecuacin homognea correspondiente o su
transpuesta tiene solamente soluciones triviales. Y, de aqu,
por el primer teorema de Fredholm, se deducir que la
ecuacin dada (1,3), en efecto, tiene solucin.
, t.. .,/. ./. ..,...
Existe una clase de ecuaciones integrales que se reducen
fcilmente a ecuaciones algebraicas lineales. Los teoremas
tic Fredholm para estas ecuaciones se obtienen inmediata
mente de los teoremas enunciados en el pargrafo anterior
para las ecuaciones algebraicas lineales. Tales son las ecua
ciones integrales con ncleos degenerados (o de variables
separadas o disociadas):
Ahora demostraremos los teoremas de Fredholm para
las ecuaciones integrales con ncleos degenerados, y, en lo
sucesivo, utilizaremos este caso particular para la demostra
cin de los teoremas de Fredholm para las ecuaciones inte
grales con ncleos continuos cualesquiera.
Un ncleo se llama degenerado (o disociado), si tiene
la forma
m Q) = b (PMQ). (M)
l l
www.FreeLibros.com
t //., ./. ..,... ::
Supondremos que a,(P), b,(Q), y(P) y f(P) son funciones
uniformemente continuas en cierta regin finita G, y que
todas las a,(P) y todas las b,(Q) son linealmente indepen
dientes entre s.
Demostremos que con esta ltima suposicin no se res
tringe la generalidad. Para esto, supongamos que existen
tales constantes Cl 5. . Cm> que
Cyam +. . . + Cnta,n{P)=0,
y, por lo menos, uno do los nmeros C,. . C, es dife
rente de 0. Sea C,^ 0. Entonces esta igualdad puede ser
resuelta respecto a am{P). Obtenemos que:
am(P) - C$aP) + ...+ C*_1,_1(/).
Sustituyendo esta expresin en el segundo miembro de (1,4),
obtenemos:
w1 m1
K{P, Q)^ 2 2 Cfa,{P)b,n{Q) =
i 1 / =1
mi
- 2 <n\.m)+c?b,m - 2 i m m
/=1 /=.i
De este modo, resulta que el ncleo K(P, Q) puede ser
representado como una suma de un nmero menor que m
de productos de funciones que dependen de P por funciones
dependientes de O. Si las funciones a(P) o bf{Q), i~ 1,.. .
. . m- 1 fuesen de nuevo linealmente dependientes, este
nmero se podra disminuir otra vez y asi sucesivamente.
Como ya se ha sealado, las ecuaciones integrales con
ncleos degenerados se reducen fcilmente a ecuaciones
algebraicas lineales, y, para ellas, los teoremas de Fredholm
se demuestran sin dificultad. En efecto, supongamos que
la ecuacin integral
www.FreeLibros.com
y(P) = j K(P, Q)y(Q) dQ +/(?), (2,4)
en donde (/>, 0 est dado por la frmula (1,4), tiene solu
cin. Entonces, debe ser

m
ZaiP)m)y{Q) dQ \-f(P)
28 t.. :..- .. t../o/-
i
o sea.
x/*) - / o WfiMfi) rffi + A n (3,4)
= 1 J
Aqu, como tambin en lo sucesivo, omitimos la letra
G bajo el signo de la integral. El smbolo | siempre indi
car la integral tomada sobre la regin G.
Hagamos
b,(Q)y(Q)c/Q-C. (4,4)
Entonces, de la ecuacin (3,4) se obtiene que
m
yP)=2Cta,{P)+f(P). (5,4)
("1
Para determinar las constantes C,, sustituyamos el valor de
y, dado por esta frmula, en la ecuacin (4,4). Obtendre
mos:
\m) ZCjam-yAQ)
<IQ = C,.
Pouendo
J b,{Q)aj(Q) dQ = Kp j b,{Q)f(Q) dQ =/ (6,4)
www.FreeLibros.com
t. ., -.. ..,...
29
de la ltima ecuacin hallamos:
m
C -ZK .fji-f,, 1 , 2 , . . . , i. (7,4)
/= i
As pues, a cada solucin de la ecuacin integral (2,4) le
corresponde una solucin (Cl5. . ., Cm) del sistema (7,4)
y, debido a que las funciones a(P) son linealmente inde
pendientes, la solucin es solamente una. Recprocamente,
si este sistema de ecuaciones algebraicas lineales tiene al
guna solucin (C5, . . Cm\entonces, sustituyndola en el
segundo miembro de (5,4), se obtendr una solucin de la
ecuacin integral dada (2,4), puesto que cada operacin
efectuada para llevar (2,4) a (7,4) es reversible. Por lo tanto,
el problema se ha reducido al estudio del sistema (7,4).
De la misma manera, la ecuacin integral
z(P) = f K(Q, P)z(Q) Q +f*(P), (8,4)
transpuesta respecto a la ecuacin (2,4), se reduce al sistema
Cf - 2K},Cf +/*, i 1, 2....... ... (9,4)
transpuesto con respecto al sistema (7,4).
Como se ha supuesto que las funciones o,(P) y b,{Q)
son linealmente independientes, a cada p soluciones tineal-
mente independientes del sistema homogneo (7,4) o (9,4)
le corresponden p soluciones Hnealmente independientes de
la ecuacin homognea (2,4), o de la ecuacin (8,4), res
pectivamente, y viceversa. (Por qu?) De este modo, se
establece una correspondencia biunvoca entre las solucio
nes de las ecuaciones integrales (2,4) y (8,4), por un lado,
y las soluciones de las ecuaciones algebraicas lineales (7,4)
www.FreeLibros.com
30
.. :..- .. t.../-
y (9,4), por el otro. A las soluciones de las ecuaciones (2,4)
y (8,4), transpuestas una respecto a la otra, les correspon
den las soluciones de las ecuaciones transpuestas (7,4) y (9,4).
De esto se deducen directamente los dos primeros teo
remas de Fredholm para la ecuacin integral (2,4), ya que
stos son vlidos para el sistema de ecuaciones algebraicas
lineales (7,4). (iVerifiqese!).
Para demostrar el tercer teorema, obsrvese lo siguiente.
Si tiene lugar el segundo caso de la alternativa para el
sistema (7,4), entonces, la condicin necesaria y suficiente
para la existencia de una solucin del sistema (7,4) es
m
2 fiC f= o,
=i
en donde ( Cf , . . C*) es una solucin cualquiera del sis
tema homogneo transpuesto. Utilizando las igualdades de
(6.4), esta condicin puede escribirse asi:
m p
ZC?\QMQ)<Q=o,
o as:
W 0 ) r f = 0. (10,4)
Si ( C f , . . . , C*) es una solucin del sistema homogneo
(9.4), entonces ZCfhiiQ) es una solucin de la ecuacin
homognea (8,4), transpuesta a la (2,4). Por eso, la con
dicin (10,4) es equivalente a la condicin
\ m m '/e=o
para cualquier solucin z(Q) de la ecuacin homognea (8,4).
De esto se deduce directamente el tercer teorema de Fre
dholm para la ecuacin (2,4).
www.FreeLibros.com
t. , ./. ..,... 31
Observaciones. 1. Ocurre, frecuentemente, que el ncleo
K(P, Q) y f ( P) son funciones complejas de los puntos reales
P y Q. Entonces, las soluciones y( P) de la ecuacin integral
(2.4) sern tambin, en general, funciones complejas del
punto real P. En este caso se conservan todos los teoremas
demostrados en este pargrafo. Recordemos que, si
( f { P) ~q> ( P) \ i f P) ,
en donde ^ ( P ) y f->(P) son funciones reales del punto real
P, entonces, por definicin,
J </>(/>) dP = J rp,(P) dP + i J fP ) dP.
2. A menudo ocurre tambin, que a(P) y b(Q) son fun
ciones de cierto parmetro complejo X. Los razonamientos
del presente pargrafo muestran, que para la ecuacin (2,4)
tiene lugar el primero o el segundo caso de la alternativa
de Fredholm, dependiendo de que sea igual o diferente de
0 el determinante formado por los coeficientes del sistema
(7.4), es decir, el determinante
- K a . . . - K m
D { X ) =
_ ^ 2 1
I - ^ k s ... ~ K m
~ K m l

en donde
Sean ctfiQ,)) y b(Q, X) para cada Q de G, funciones
liolomorfas de X en cierta regin finita A del plano com
plejo. Se supondr que o;(Q, A) y /j,(Q} X) son funciones
www.FreeLibros.com
32 t.. :..- .. t..//-
uniformemente continuas respecto al conjunto (Q, k). En
tonces Kj y el determinante (11,4) tambin son funciones
holomorfas de X *>. Por eso, aquellos valores de 1, para los
cuales el determinante (11,4) es igual a 0, y por esto tiene
lugar el segundo caso de la alternativa para (2,4), no pueden
tener puntos de acumulacin finitos en el interior de A,
siempre que el determinante (11,4) sea diferente de 0, por
lo menos, para un
3. Sean K,j y f, funciones holomorfas de A. As ser,
en particular, si aj{Q, /) y h^Q,).) poseen las propiedades
sealadas en la observacin 2, y f(Q) es una funcin uni
formemente continua de Q, lo cual supondremos para mayor
sencillez.
Segn las conocidas reglas de la teora de determinan
tes, los coeficientes C se obtienen de las ecuaciones (7,4)
en forma de quebrados, cuyo denominador para todo i es
el mismo determinante (11,4), y en e] numerador est el
determinante D,, que se obtiene del determinante (11,4),
sustituyendo su t'-sima columna por la columna
-,/w)- Desarrollando D, por los elementos de esta ltima
columna, obtenemos:
2A fiifi
C~-L___ -
D(t)
en donde M,j son polinomios en K. Sustituyendo estos
*) Esto no es difcil de demostrar, representando la integral en
forma de lmite de una suma integral y utilizando el conocido teorema
de Weiersirass que afirma que, si una sucesin de funciones holomorfas
converge uniformemente en cierta regin, entonces, la funcin limite
es tambin holomorfa en la misma regin. (I. I, Privalov, Introduccin
a la Teora de Funciones de Variable Compleja, 10a ed., Fizmatguiz,
1960, cap, 5, 1).
www.FreeLibros.com
t. ., ./. ..,...
33
valores de C hallados en el segundo miembro de (5,4) y
aplicando las frmulas de (6,4) para f , obtenemos:
\'ZMilbj(Q,MP>)f(.Q)dQ
p )=-----......... ...w r .......... - f f(P). (12,4)
El numerador (para cada P fijado) y el denominador del
quebrado del segundo miembro de la ltima igualdad son
funciones holomorfas de A en la regin A.
Frecuentemente, es til escribir la igualdad (12,4) en la
siguiente forma:
y(P) = J P(P, Q, X)f(Q) dQ +/(/>), (13,4)
en donde
Z.M//bj(Q, X)at(P, X)
P(P, Q A) = ---------------------m -. (14,4)
La funcin P(P, Q, A) no depende de f(P) y, como muestra
la frmula (14,4), se expresa en forma de cociente de dos
funciones holomorfas de A en toda la regin A. P(P, Q> A)
puede no ser una funcin holomorfa de A slo para aquellos
valores de A donde Z)(A) = 0, es decir, para los cuales tiene
lugar el segundo caso de la alternativa de Fredholm para
la ecuacin integral (2,4). En el apartado anterior se de
mostr, que tales valores de A no tienen puntos de acu
mulacin en el interior de A, siempre que D(X) no sea idn
ticamente nulo, lo cual supondremos. Se puede demostrar
fcilmente, que cada valor A = A. donde D(X0) = 0 es, en
efecto, singular para P(P, Q, A) en el sentido siguiente:
P(P,Q,X) lio es una funcin uniformemente continua de
( P, Q, A), cuando A se encuentra en un entorno arbitraria
mente pequeo del punto A0, y P y Q varan en G.
En realidad, supongamos lo contrario. Sea la funcin
y(P, A), definida por ia frmula (13,4), uniformemente con
www.FreeLibros.com
34 t.. :..- .. t..//-
tinua, si PtG y A vara en cierto entorno del punto V
Sustituyamos entonces el segundo miembro de (13,4) o, lo
que es lo mismo, de (12,4), en ambas partes de la ecuacin
(2,4). Los resultados de las sustituciones, para cualquier
funcin uniformemente continua f{Q), sern funciones uni
formemente continuas en la misma regin de variacin de
P y /. Sabemos que estos resultados coinciden, cuando
y cs suficientemente pequeo, ya que enton
ces >(A)?O. Por lo tanto, por continuidad, estos resultados
coinciden tambin para A = / 0. Por consiguiente, para cual
quier funcin f(P) de la clase considerada, ia ecuacin in
tegral (2,4) tiene solucin para 2 = V' esta viene dada por
la frmula (13,4) para X= , donde P(P, Q, ?) est definida
para A = por continuidad. Pero, entonces, para este valor
de 7. para la ecuacin (2,4) tiene lugar el primer caso de
la alternativa de Fredholm, y no el segundo, por lo que
DQJ* 0 *>.
Ejemplo.
i
y{x) - - %J ( j > ( ) d$ +/(*),
ii
de donde
r i
>(*)= -A x |}<) <11i x j
/(.v).
*) Los razonamientos anteriores se extienden fcilmente al caso
en que a,(Qt A), b,(Q, A) y /((?) tienen discontinuidades con respecto
a Q on algunos puntos, y en curvas y superficies suficientemente regu
lares de dimensin hasta d- 1, inclusive, independientes de A, si al
acercarse el punto a los lugares de discontinuidad |, A)|, | A) 1
y |/(Q)I no crecen con mucha rapidez. Las soluciones estarn in
determinadas en aquellos puntos P, en los que a,{P, A) y f(P ) no estn
definidas.
www.FreeLibros.com
Haciendo
i i
IijiQ d 6 C2 y J M ^ d g - C . , (15,4)
0 0
obtenemos que
jK*) =/(*) - CLXx - C2?.x*. ( 16,4)
Sustituyendo esta expresin de y en las igualdades (15,4),
obtenemos
i
J[/(5)-C,AS-C2AaVS = C2,
o
1
J>[
o
o sea,
, - _ Q A =C2> (17.4)
en donde
i x
/ ^ j V ( l ) y />2=J>/(S)r.
o o
Escribamos las ecuaciones (17,4) en la siguiente forma:
t ., ./. ..,... 35
5-+C2
+ c 2^ f t 2.
(18,4)
El determinante de este sistema es igual a
. l A2
www.FreeLibros.com
t.. :..- .. t..//-
Este tiene slo dos races
= 60 16/15.
Para estos dos valores de X solamente tiene lugar el
segundo caso de la alternativa de Fredholm. En estos casos,
todas las soluciones de la ecuacin integral homognea
en donde C es una constante arbitraria. Para otros valores
de X nuestra ecuacin integral tiene una solucin nica,
dada por la frmula (16,4), donde C1y C2 se determinan
unvocamente del sistema (18,4). Esta solucin puede ex
presarse en la forma (13,4), donde
K!
| **-& |
, + t )
l + w i
A X
i
Ejercicios. Hallar h(x) de las ecuaciones
m
1. i (.y ) = e * + X j" xt u (/) dt.
i
estn dadas por las frmulas
n
o
www.FreeLibros.com
t. .,. -/. .. -. ./ ,. 37
3. u(x) = A J eos x u(t) dt.
o
i
4. u(x) x + ?>j" (x - t)u (t) dt.
o
*n
5. u(x) = A J sen x sen tu(i) dt +/(x).
o
5. Ecuaciones integrales con ncleos
continuos de mdulo suficientemente pequefio
Para estas ecuaciones siempre tiene lugar el primer caso
de la alternativa, es decir, estas ecuaciones siempre tienen
solucin nica, Esto se demuestra por el mtodo de apro
ximaciones sucesivas, como en la teora de ecuaciones dife
renciales ordinarias se demuestran la existencia y unicidad
de la solucin de una ecuacin integral, que es equivalente
a la ecuacin diferencial dada con sus condiciones iniciales.
En esencia, esto es una aplicacin del principio de Caccio-
poli-Banach, expuesto, por ejemplo, en mi libro sobre la
teora de ecuaciones diferenciales ordinarias. Yo podra
comprobar aqu solamente la posibilidad de aplicar este
principio general, pero prefiero hacer la deinostracin para
este caso concreto dado, puesto que con ello obtendremos
algunas frmulas tiles en lo sucesivo.
Introduzcamos notaciones simblicas que sern utiliza
das a vcccs en lo sucesivo. Sean K{(P, Q) y K.JP, Q) fun
ciones uniformemente continuas de P y Q, cuando PG
y QZ.G. Hagamos
KioKi=\KPt S)KSt dS. (1,5)
www.FreeLibros.com
Llamaremos al ncleo K(P,Q) = K2oKl producto sim
blico del ncleo K.Z{P,Q) por /,(/*, Q) *\
Es fcil demostrar que K.o Kl es una funcin unifor
memente continua de P y Q. En efecto,
J S)KS, dS - J' K2( P , S)K\(S, QJ dS
- ]J Kl\, S)[K1(S1, Qt) - K(S, Q.J] dS
+1J-W &)[**( p ,, S) - p., s)] . (2,5)
Supongamos que la cota superior de los valores absolutos
de K\(P, Q) y KZ(P,Q), cuando PeC y QtG no supera a
M, y que D es el volumen de la regin G. Debido a la con
tinuidad uniforme de K}{P, Q) y de KP, Q) para todo e ^ 0,
existe un ->7 >0 tal, que
1 / ^ , 5 ) - ^ , SOI-M
y
|*,(S, & ) - * , ( &)1- 5 .
38 t.. :..- .. t..//-
*) El producto simblico de ncleos, introducido de esta manera,
es anlogo al producto de matrices.
Supongamos que la funcin <Pi(P) se transforma por medio del nc
leo K(P, Q) en la funcin >pJLp) - J K^P, Q)<p{Q)dQ, y la funcin ^ ( f ) ,
por medio del ncleo K{P, Q) en la funcin /o/*)" j K^P, Q) yAQ) dQ-
Entonis ei ncleo o da la transformacin de la funcin <p,(P)
en <p3(P), o sea, <ps** j (f2o K^yp^Q) dQ. De la misma manera, la apli
cacin sucesiva en un espacio de dimensin n de dos transformaciones
lineales nos da una transformacin lineal con una matriz igual al pro-
dudo de las matrices de estas transformaciones-
www.FreeLibros.com
Ecitac. integ. can ncleos cant. de md. xuf. peq.
si la distancia entre los puntos Pl y P, y entre los puntos
Qi >' Q-i. es menor que r. Fcilmente se observa que bajo
esta condicin, el primer miembro de la desigualdad (2,5)
es menor que f, que es lo que se quera demostrar. Obsr
vese que, en general, K^oK^ KtoK.. Si K^{P, Q) es una
funcin uniformemente continua en P y Q, es fcil com
probar que
o (K2 K j = (Kl K.) K3.
Pasemos ahora a demostrar, que las ecuaciones integra
les con ncleos continuos de mdulo suficientemente pe
queo siempre tienen una solucin nica. Esto ser utili
zado en lo sucesivo para la demostracin de los teoremas
de Fredholm en el caso de una ecuacin integral con un
ncleo continuo cualquiera.
Sea dada la ecuacin integral
>(/>) = A$K{P,Q)y(Q) c/Q i-/(/'), (3,5)
y sean K(P, Q) y f(P) ciertas funciones uniformemente con
tinuas, cuando PcG y QG, en donde G es una regin
finita Aqu /. es cierto parmetro. Generalmente, este
*) En lugar de subrayar cada vez la continuidad uniforme ce las
funciones consideradas en la regin abierta <7, estas funciones se podran
considerar en la regin cerrada finita G (es decir, en )a unin de G
y su frontera), y exigir slo su continuidad. Entonces, de aqu se de
ducira directamente la continuidad uniforme de estas funciones. Si
est dada alguna funcin rp uniformemente continua en la regin abierta
G, esta puede ser prolongada por continuidad a la frontera de G. En
tonces se obtiene una funcin uniformemente continua en la regin
cerrada G. Para las regiones sencillas que consiueraremos aqu (com
prese con la observacin ai 1), el volumen de la dimensin d de
la frontera es igual a 0. Entonces, la integral de la funcin rp sobre
ia regin G coincide con la integral de su prolongacin sobre G.
www.FreeLibros.com
40 t.. :..- ./. t..//-
figura en la ecuacin precisamente de la forma indicada
en (3,5).
Todos los razonamientos ulteriores de este pargrafo
son igualmente aplicables, tanto al caso en que las funciones
consideradas lomen valores complejos, como al caso en
que las mismas tomen slo valores reales. El parmetro X
tambin puede tomar valores complejos. Pero es fundamen
tal que los puntos P y Q sean reales, es decir, que todas
las coordenadas de estos puntos sean reates; de otro modo
surgira la necesidad de definir qu es una integral de varias
variables complejas.
Siguiendo exactamente la definicin de ncleo dada an
teriormente, ahora deberamos llamar ncleo a XK(P, Q).
Pero, utilizando la terminologa comn, llamaremos tam
bin a la funcin K(P,Q) ncleo de la ecuacin integral
(3,5). Al hablar en el ttulo del presente pargrafo de la
pequeez del ncleo, nos referamos a la pequenez de
m p , Q).
Buscaremos la solucin de la ecuacin integral (3,5) en
forma de una serie de potencias en X
><n=>*<( n +W ) +*y p )+ . . . (4,5)
Sustituyendo formalmente esta serie en (3,5), obtenemos que
y P ) + W ) + P y n + i W ) + - =
= / J K(P, Q)[y0(Q) + Xyx(Q) + ...)dQ -./(/>). (5,5)
De aqu y comparando los coeficientes de iguales potencias
de X, obtenemos
y ,{P )= m ,
y U P ) - K(P, QMQ) dQ, k=0 , 1 , 2 , . . . (6,5)
www.FreeLibros.com
o sea
)\ in=Kn
*(/>) fW WPx)<IPi,
yP)=J j *(/>, PiWv> PJf(P <JPx<ip,
h veces
yk{P)~ J...J/r(/\
W , - , , (7,5)
L ltima igualdad puede ser escrita de la siguiente forma:
yP)- j K("\P, Q)f{Q) dQ, * -1,2 ,3*. .. (8,5)
en donde
(/!1) VCCC5
K<,\p, Q)=\...\k(P,
^.K{Pk_Q )d P ,...d P ^[,
para lc = 2,3,..., (9,5)
K'(P, Q)=K(P, Q).
Utilizando nuestras notaciones simblicas, el ncleo
K(k\P, Q) puede ser representado en la forma
K(-"\P,Q) = KoKoKo. . .oK. (10,5)
**** *y*
k veces
Por lo demostrado al comienzo de este pargrafo, todos
los ncleos K(k\P, Q) son uniformemente'continuos. La
t. ., ./. .. -. ./ ,. 41
www.FreeLibros.com
42 t.. :..- .. t.//
funcin K^h\P, Q) se llama reiteracin k-sima o iteraccin
k-sima del ncleo K{P, Q). Como puede verse fcilmente,
todas las funciones yh{P) son tambin uniformemente con
tinuas.
Acotemos ios ncleos K^%P, Q). En virtud de la con
tinuidad uniforme, el ncleo K(P, Q) es acotado. Sea
\K(P,Q)\^M. (11,5)
Sustituyendo esta acotacin en el segundo miembro de (9,5),
obtenemos que
I KW(P,Q)\~Mk-Dk-1, (12,5)
en donde D es el volumen de la regin G. Utilizando la fr
mula (8,5), de lo anterior obtenemos que
\yh(P)\~MD>%
en donde F es el extremo superior de |/(/J)|. Por eso, si
W - H B - < l 3 ' 5 >
la serie (4,5) converge absoluta y uniformemente respecto
a P en la regin G.
La suma de esta serie es una funcin continua de P, ya que
cada sumando es continuo. Como la serie (4,5) es uniforme
mente convergente, Ja integracin en la igualdad formal (5,5)
escrita anteriormente, puede ser efectuada miembro a miem
bro. Por eso, debido a la definicin de yk(P), segn las fr
mulas (6,5), la igualdad (5,5) tiene lugar realmente, es decir,
la funcin y(P) definida por la serie (4,5) es solucin de
la ecuacin integral (3,5).
Demostremos que esta solucin es nica en la clase de
funciones acotadas, si se cumple la condicin (13,5). En
efecto, supongamos que existen dos soluciones de la ecua
www.FreeLibros.com
cin (3,5) y^P) y y>{P)- Sustituyndolas en la ecuacin (3,5)
y restando miembro a miembro las identidades obtenidas,
hallamos:
yP)-yP)~*jK{P,Q)[yQ)-ylm <*Q- (i*.s)
Denotemos por Y el extremo superior de |^ a(/>) - J 7(/,) l ;
entonces, de (14,5), utilizando la desigualdad (11,5), obtene
mos que
Y*\X\ MDY.
De esto, y debido a (13,5), obtenemos
Y^cY, en donde c < l .
Esto es posible slo si 7=0, que es lo que queramos de
mostrar.
Frecuentemente conviene representar la solucin de la
ecuacin integral (3,5) en la forma siguiente
AP) = A jl\P, Q> m Q ) dQ +/(P), (15,5)
en donde
l '( P, Q, ?) - l* - 1K*\Pt Q). ( 16,5)
A= J
De las acotaciones (12,5) se desprende que la serie (16,5)
converge uniformemente respecto a (P, Q, A), si PG, QG
y |-<-^ -, donde e>0. De esto se deduce que la fun
cin l\P, Q, A) es uniformemente continua respecto al con
junto (P, Q) para una A fija, y es una funcin holomorfa
de A en el crculo (13,5), si PG y Q$G. Por eso, la inte
gral (15,5) existe. El hecho de que sta d, en efecto, la
solucin de la ecuacin integral (13,5), expresada por la
serie (4,5), se ve fcilmente, si se sustituye la serie (16,5)
t , ./. .. . ./ ,. 43
www.FreeLibros.com
en lugar de f{P,Q, A) en el segundo miembro de (15,5),
y se integra respecto a Q trmino a trmino.
La funcin l\P>Q, A) se llama resolvente de la ecuacin
integral (3,5) Como se ve de lo anterior, sta se define
por el ncleo de la ecuacin integral y no depende de /(/*).
Como la funcin y(P), dada por ia frmula (15,5), repre-
44 t.. :..- .. t..//-
Comparemos (15,5) y (13,4). Mostremos que para las ecuaciones
integrales (3,5) con ncleos degenerados, para las cuales a,(P) y b,(P)
son funciones uniformemente continuas y de mdulo suficientemente
pequeo; es decir, para aquellas ecuaciones integrales que pertenecen
a la vez a los tipos estudiados en los 4 y 5, ser
p,QA)=mp, q,
Como aqu tiene lugar el primer caso de la alternativa, se tiene que
D(A)* 0.
Supongamos que en cierto punto (P0,
^ (Po Qo o ) 54 A j (Po, G i j > ^ a ) > A j ) 0 .
Ya que para las ecuaciones con los ncleos considerados r(Pv, Q,
y l (P, Q, /.) son continuas respecto a Q, siempre se puede hallar un
entorno 7 de! punto Qn, en el cual
Re {I\P0, Q, ;)} * Re {V V. Q, 4)}
o
lm {l\F0f Q, l0)}* lu Q, /,j}.
Por otra parle, en virtud de la unicidad de la solucin de las ecuaciones
integrales del tipo considerado, pava cualquier funcin/(Z3) uniforme
mente continua tiene que verificarse la siguiente igualdad:
( fXPo, Q> W(G) dQ = K j J (n. ft W 0 dQ.
En particular, esta igualdad debe cumplirse para la funcin f(Q), que
es igual a cero en el exterior de un entorno G0 del punto Qn, y positiva
en e! interior de este entorno, lo cual es imposible. (Por qu?)
www.FreeLibros.com
t. , ./. .. . ./ ,
45
senta la nica solucin de la ecuacin (3,5), de aqu se sigue
que las ecuaciones (3,5) y (15,5) son equivalentes. Por eso,
si en la ecuacin (15,5) consideramos y(P) como funcin
conocida y f(P) como funcin incgnita, entonces la nica
solucin f(P) de esta ecuacin viene dada por la frmula
(3,5). La funcin K(P, Q) en esta frmula juega el papel
de resolvente para la ecuacin (15,5) con ncleo i{P, Q, A).
Aplicando a la ecuacin
z{P) = A j K{Q, P)z{Q) dQ +/(/>), (17,5)
transpuesta a la ecuacin (3,5), y los mismos razonamientos
que acabamos de hacer para la ecuacin (3,5), hallaremos
que en el crculo (13,5) sta tiene una solucin nica en
la clase de funciones acotadas, la cual viene dada por la
serie
z( P) =z0(P) +Ar,(P) + A2r2( P) + A23( P) + . ..
Aqu
zn(P)=f(P),
zP )= \ m ,n z,u Q )< iQ
o, designando por K*(P, Q) el ncleo K(Q, P), obtenemos:
z,{P)=K\P,Pl)f(Pl)dPl>
k VGtL'S
z(P)= . . J K*(P, />,)**(/>,, P. ) . . . K*(Pk_ ,, Pj.)x
Xf(Pk)dP1.. .d P h
www.FreeLibros.com
o bien,
zt(P)~ j K*'\P, 0 / ( 0 dQ, = 1 , 2 , . .
en donde
1 vetes
K*W(P, 0 = j . . . \K*(P, K*(Pt-u Q) dPy. . . rfP,(^ .
Escribiendo las integrales respectivas es fcil ver que
K*V%P, Q)=K^\Q, P). De esto se desprende que la solu
cin de la ecuacin (17,5) puede ser representada en la
forma
z(.P) = A J j *(P, <2, A)AQ)dQ+m, (18,5)
en donde
r* (p , a ^ m p , / ) .
De este modo, mn<w (toe <? el crculo (13,5), para cual
quier funcin uniformemente continua f(P) y bajo las condi
ciones impuestas al ncleo, tanto la ecuacin (3,5), como su
transpuesta (17,5), tienen solucin nica, es decir, hemos de
mostrado que aqu siempre tiene lugar el primer caso de
la alternativa de Fredholm.
Sealemos las dos frmulas siguientes:
r(P,Q, A) = K{P, 0 + A j K(P, PJiXP), Q, A) clP,, (19,5)
l\p, Q, A)= K(P-, 0 + AjiYP, Px, ;.)tf(P 0 / P j . (20,5)
Para comprobarlas, basta sustituir en lugar de P la serie
(16,5), y luego comparar los coeficientes de iguales poten
cias de A, utilizando la frmula (10,5).
46 t.. :..- .. t..//-
www.FreeLibros.com
t. ., ./. , , ..,.
47
Ef mtodo de las aproximaciones sucesivas puede utili
zarse para la resolucin aproximada de ecuaciones integra
les para |A| suficientemente pequeo *\
6- Ecuaciones integrales con ncleos prximos a los degenerados
Sea dada la ecuacin integral
y(P) = A J*(P, Q)y{Q) cIQ+f(P), (1,6)
en donde f ( P ) es una funcin uniformemente continua, y
K(P> e ) = i ) ^ i ( , Q)-J{P, Q)+K1(P, Q)
Aqu a(P), b,(Q), K^P, Q) son funciones uniformemente
continuas y, por lo tanto, acotadas, ya que sus dominios
de definicin son finitos. Nuevamente, nos es indiferente si
estas funciones toman valores complejos o slo reales.
Para que los clculos ulteriores, que por cierto, son bas
tante complicados, no oculten la esencia de la cuestin, nos
ser ms cmodo escribir las ecuaciones integrales en forma
simblica.
La igualdad
V(/>)= j>(/\ Q)M)dQ (2,6)
convendremos escribirla simblicamente en la forma
ip=Xy.
*> Comparar con L. V. Kantorovich y V. I. Krylov, Mtodos Apro
ximados dei Anlisis Superior, 5a ed, Fizjnalgui?- )96Z <'ao. II, 2
www.FreeLibros.com
48 t.. :..- .. t..//-
De este modo, designaremos por K el operador que
transforma la funcin X-P) en \'Afuncin ip(P) = J K{P,Q)-
y(Q) dQ. Este operador se determina por el ncleo K{P, Q).
Designaremos por K* el operador que se determina por el
ncleo transpuesto K*(P, Q)-K(Q, P). El smbolo E desig
nar el operador que transfrmala funcin y(P) en s misma,
o sea, Ey=y para cualquier funcin y(P). El operador KxK.
se define por la igualdad
{KxK>y=KyyKy
para cualquier funcin y{P). El operador KXK, lo definimos
mediante la siguiente igualdad:
KiKjy-KJfo)0
para cualquier funcin y(P).
Fcilmente se ve que, si y K2son operadores del tipo
(2,6) con ncleos K^P, Q) y k2(P, Q), entonces el operador
K}K2se determina por el ncleo KX(P, Q)K*(P, Q), y el
operador KrK2, por el ncleo KyoK^.
De esta manera, la ecnacin (1,6) puede escribirse en
la forma
(-XK)y~f.
Antes de pasar a la demostracin de los teoremas de Fred
holm para la ecuacin (1,6), enunciaremos los siguientes
lemas:
Lenta 1. Si A(P,Q) es un ncleo degenerado y K(P, Q)
es un ncleo continuo cualquiera, enlonces A o K y KoA son
tambin ncleos degenerados.
Lema 2. El ncleo transpuesto a o K., es igual a K$ K*.
La validez de estas afirmaciones es fcil comprobarla,
considerando las integrales respectivas.
www.FreeLibros.com
Demostremos ahora, que para Ja ecuacin (1,6), si
en donde cs extremo superior de [os
valores de JKy(P, Q)|, y D es el volumen de la regin G, tienen
lugar los tres teoremas de Fredholm.
1. Primer teorema de Fredholm. Demostremos que, si la
ecuacin homognea (1,6) tiene slo solucin trivial, enton
ces la ecuacin no homognea (1,6) tiene solucin para
cualquier funcin f(P).
Sustituyendo A" por A +KX, escribimos la ecuacin (1,6)
en la forma
{E-U-lKfo-f,
en donde A y Kxson los operadores correspondientes a los
ncleos A(P, Q) y KP, Q). Entonces
(E-XKy)y=XAy+f. (3,6)
Hagamos
(E-XKJy-rj.
Como de la frmula (15,5), demostrada en el
pargrafo anterior, se deduce que
y-r + /,rr-(E vjT)v, (5,6)
en donde r es el operador correspondiente a la resolvente
r(P, Q, A) del ncleo KX(P, Q). Sustituyendo esta expresin
de y(P) en la ecuacin (3,6), obtenemos:
r = 2.A(E+ \r)r\\-f
o bien,
[E-lA{E vW)\ n = f (6,6)
Del lema 1 se deduce que el ncleo A(P, Q) + A o XF de
esta ecuacin integral es degenerado. De esta manera hemos
demostrado, que a cada solucin y(P) de la ecuacin (1,6)
t. /., -/ , ..,. 49
www.FreeLibros.com
50 t.. :..- .. t..//-
le corresponde, segn la frmula (4,6), una solucin ?j(P)
de la ecuacin (6,6) con ncleo degenerado.
Recprocamente, es fcil comprobar que a cada solucin
P) de la ecuacin (6,6) 1c corresponde una solucin y(P)
de la ecuacin (1,6), determinada por la frmula (5,6). Luego,
si la ecuacin homognea (6,6) tiene solucin no trivial, la
ecuacin homognea (1,6) tambin poseer solucin no tri
vial, la cual se determina por la frmula (5,6).
Puesto que, por la hiptesis, la ecuacin homognea (1,6)
slo tiene solucin trivial, entonces, por consiguiente, la
ecuacin homognea (6,6) tambin tendr solamente solu
cin trivial.
En el 4 se demostr el primer teorema de Fredholm
para la ecuacin (6,6) con ncleo degenerado. Por eso, la
ecuacin no homognea (6,6) tiene solucin r(P) para cual
quier funcin / ( P). Por la frmula (5,6) obtenemos la solu
cin y(P) de la ecuacin (1,6) para cualquier funcin/(P).
Es evidente, que esta solucin es nica.
Con esto el primer teorema de Fredholm queda demos
trado, puesto que, si la ecuacin homognea tiene solucin
no trivial, la ecuacin no homognea, o bien no tiene solu
cin, o bien esta solucin no es nica.
2. Segundo teorema de fredholm. Demostremos que, si
l<i ecuacin (E-lA-AKy = 0 y su trans
puesta
(7,6)
tienen un mismo nmero de soluciones linealmente inde
pendientes.
Obsrvese que las ecuaciones homogneas (1,6) y (6,6)
tienen un mismo nmero de soluciones linealmente inde
pendientes, puesto que a cada p soluciones linealmente in
www.FreeLibros.com
t. ., ./. , / ..,. 51
dependientes de una ecuacin le corresponden, segn la fr
mula (4,6) o (5,6), p soluciones lineafmente independientes
de la otra ecuacin.
En virtud del lema 2, la ecuacin homognea transpuesta
a (6,6) tiene la forma
[-A(+AT*M*K=0- (8,6)
Como la ecuacin (6,6) tiene ncleo degenerado, entonces,
por el segundo teorema de Fredholm, demostrado en el 4
para las ecuaciones con ncleos degenerados, las ecuaciones
homogneas (6,6) y (8,6) tienen un mismo nmero de solu
ciones lnealmente independientes. Demostremos ahora que
las ecuaciones (8,6) y (7,6) son equivalentes. Supongamos
que cierta funcin t(P) es solucin de la ecuacin (8,6).
Demostremos que sta satisface tambin a la ecuacin (7,6).
Aplicando a ambos miembros de la igualdad (8,6) el opera
dor E~XKf, obtenemos:
(E-XKf)[E-HE+?T*)A*)Z=
= [E-}.K* - )(E-\K}){E+ = 0. (9,6)
Ya que de las frmulas (17,5) y (18,5) se desprende que
(E-XK*XE+/.r*)r-cP
para cualquier funcin entonces, de la igualdad (9,6)
obtenemos:
{E-\K*-U*X=0,
que es lo que se quera demostrar.
Anlogamente, aplicando el operador E + )T* a ambos
miembros de la igualdad (7,6) y utilizando la igualdad
(+ Xr*){E-/.K*)-E obtenemos que cualquier solucin de
la ecuacin (7,6) satisface a la ecuacin (8,6). De este modo,
hemos demostrada que las ecuaciones homogneas (1,6),
www.FreeLibros.com
52 t.. :..- .. t..//-
(6.6), (8,6) y (7,6) tienen un mismo nmero de soluciones
linealmente independientes. Con esto queda demostrado el
segundo teorema de Fredholm.
Aquellos valores de A, para los cuales se cumple el se
gundo caso de la alternativa de Fredholm, en la ecuacin
(1.6), se llaman valores propios de la ecuacin (1,6) (auto-
valores) (o del ncleo K{P, Q); comprese con el 2), y las
soluciones no triviales correspondientes de la ecuacin ho
mognea, funciones propias (o autofunciones) correspondien
tes a dicho valor propio.
Como en el crculo |?.|= >r{Q, P, A) es una fun
cin holomorfa de A, el determinante (11,4), correspondiente
a la ecuacin degenerada (6,6), tambin es una funcin holo
morfa de A en este crculo. Para A = 0 este determinante es
igual a I. Por consiguiente, no es idnticamente nulo. Por
eso sus races no pueden tener puntos de acumulacin en
este crculo. Por lo tanto, los valores propios A de la ecuacin
(1.6) no pueden tener puntos de acumulacin en el crculo
Al -< _ ,
^ ' MXD
3. Tercer teorema de Fredholm. Demostremos que la so
lucin de la ecuacin (1,6) existe si, y slo si,
f(P)z(P)dP=0
en donde z(P) es una solucin cualquiera de la ecuacin
homognea (7,6) transpuesta a (1,6).
En la demostracin del primer teorema de Fredholm
para la ecuacin (1,6) se estableci, que la ecuacin (1,6)
tiene solucin si, y slo si, existe solucin de la ecuacin
(6.6) con ncleo degenerado. En el 4 se demostr que la
www.FreeLibros.com
t ., -.. ./- . 53
ecuacin (6,6) con ncleo degenerado tiene solucin si, y
slo si,
A P t i n dP=o,
en donde C(P) es una solucin cualquiera de la ecuacin
(8,6). Pero, de acuerdo con lo que acabamos de demostrar,
el conjunto de estas soluciones (/>) coincide con el con
junto de las soluciones z(P) de la ecuacin (7,6). Con esto
queda demostrado el teorema.
7. Ecuaciones integrales con ncleos
uniformemente continuot
Cualquier ncleo uniformemente continuo K(P, Q) puede
ser aproximado uniformemente, con una exactitud arbitra
ria cualquiera por ncleos degenerados. En efecto, sea
K(P,Q) una funcin uniformemente continua respecto a
(P, Q), definida en una regin finita G. Por el teorema de
Weierstrass, demostrado en el curso de anlisis *\para
cualquier e>0 existe un polinomio tal K0(P, Q), de grado
suficientemente grande respecto a las coordenadas de los
puntos P y Q, que en toda la regin G
I K(P,Q)-K0(P,Q)\*e.
Es evidente que cada trmino del polinomio K{)(P,0) puede
ser representado como un producto de dos factores, uno de
los cuales depende slo de las coordenadas del punto P, y
Vase, por ejemplo, R. Courant y D. Hilbert, Mtodos de la
Fsica Matemtica, t. I, cap. II, 4; S. L. Sobolev, Ecuaciones de la
Fisica Matemtica, Ia ed., M, - L., 1947, pg. 229.
www.FreeLibros.com
54 t.. :..- .. t..//-
el otro, slo de las coordenadas del punto Q. Por eso, po
demos escribir
k{p,Q)-2 < p M Q ) ^ U P , 0 ,
/=i
siendo, adems
\KP, Q)\-f.
De aqu, y aplicando el teorema demostrado en el par
grafo anterior, obtenemos que en el crculo
en donde D es el volumen de la regin <7, sean vlidos todos
los teoremas de Fredholm, y que en este crculo no existan
puntos de acumulacin de los valores propios de X. Como
e puede tomarse tan pequeo como se quiera, de esto se
deduce la validez de estos teoremas en circuios arbitraria
mente grandes con centro en el punto = Q; es decir, su
validez en todo el plano
Repasemos los razonamientos que nos llevaron a la de
mostracin de los teoremas de Fredholm para las ecuaciones
con ncleos uniformemente continuos. Primeramente, ( 4),
hemos demostrado estos teoremas para ecuaciones integra
les con ncleos degenerados. En el 6 estos teoremas fueron
demostrados para ecuaciones con ncleos prximos a los
degenerados. Y en el presente pargrafo se demostr que
cualquier ncleo uniformemente continuo puede ser apro
ximado uniformemente con una precisin arbitraria por un
ncleo degenerado. Con esto obtuvimos la demostracin de
los teoremas de Fredholm para las ecuaciones integrales
con ncleos uniformemente continuos cualesquiera.
El mtodo con el que hemos demostrado aqu los teo
remas de Fredholm pertenece a E. Schmidt. En mi exposi
www.FreeLibros.com
t.. . ./. /./ , rt t*
53
cin he utilizado los apuntos de las clases de S. L. Sobolev.
Obsrvese, que se pueden resolver, aproximadamente, ecua
ciones integrales con ncleos continuos, sustituyendo estos
ncleos por ncleos degenerados, prximos a ellos *)-
, s t.. .,/. ./.
rt
/. ,
t*
1. Aqu P y Q pertenecen a una regin finita cerrada
G (vase la observacin en la pg, 39), y K(P,Q) es una
funcin continua respecto a los puntos P,) (o sea, del
conjunto de puntos P y Q); PQ es la distancia entre los pun
tos P y Q. La finalidad del apartado I del presente par
grafo es demostrar que, para las ecuaciones integrales con
ncleos de este tipo, siendo <x^d, en donde d es la dimensin
de la regin G, en todo el plano X se cumplen los tres teore
mas de Fredholm, y que, entonces, los valores propios ). no
pueden tener puntos de acumulacin finitos.
Demostremos previamente ei siguiente lema para los
ncleos Ky{P, Q) y K./P, Q) continuos respecto a (/*, 0 , si
P*Q, PdG y Q(G.
Si
\KP, Q)\~ ~ , 0ocj </ (1,8)
I K.(P, Q)| , 0 (2,8)
*> Comparar con L. V. Kantorovich y V. L Krylov, Mtodos Apro
ximados del Anlisis Superior, 5a ed, 1962, cap. IF, 4.
www.FreeLibros.com
entonces existe la integral
K.P, 0) = f *,(/, Pt)Kl\, Q) dPt
y esta es continua respecto a (l\ Q), si P es diferente de Q ;
adems
I W 0 1 (3.8)
y
\KP,Q)\*A3\\nPQ\+Av siaL+ y.. = d, (4,8)
en donde A3 y A, son unas constantes. Si, en cambio, aA+ <x,^d,
entonces esta integral existe y es una funcin uniformemente
continua respecto a ( P,Q) *K
Demostracin. Sea P^Q. Entonces
I K\ Q)I - J I Ki(P, /,)!. 01 <//>,*
d
= [ . . . J - - /)1/i2rf4, ) . . . r f 4 1)- - _ = / (5}g)
Aqu xit / = ! , . . d, son las coordenadas de los
puntos P, Pt Q, respectivamente; D es el dimetro de la
regin G, o sea, el extremo superior de las distancias entre
dos de sus puntos;
50 t.. :..- .. t..//-
*) Comparar con S. L. Sobolev, Ecuaciones de la Fsica Matem
tica, lt edicin, M. - L., 1947, pg. 233.
www.FreeLibros.com
t. ., ./. ../ , rt t 57
Para simplificar los clculos sin restringir la generalidad,
hagamos
x, = . . .^Xj-0; >'j = g, j y -=.. .= j v = 0,
en donde o~PQ. Pongamos luego
Entonces la integral / que figura en el segundo miembro
de (5,8) puede escribirse as:
<t
AtAso^(ISy-,. t/d
' - i - i - * , =
J / ? ] 2 t
Obsrvese que, si k * a=2, entonces

l f-
(6,8)
En efecto, de la fig. 2 se vo que PM + OP^OM. Pero 0 f = I .
0(0,0r..,0) P(l,0,...,U)
Por consiguiente, PM z=OM - l ~j(OM + (OM -2)). Pero,
por hiptesis, OM^2. Por eso, P M ^ ^ - .
www.FreeLibros.com
5X t.. :..- .. t.//
Descompongamos la integral / en dos partes y utilice
mos la acotacin (6,8). Entonces se obtiene:
rtl +!
M - J
dsd
zn~* [ J?]:2[,-
. A 4 l_ r r
t1* j j
D*
2*?|
7 = 1 J
La integral en el primer sumando es convergente y da cierta
constante Cl que no depende de q. Para el clculo de la
segunda integral, pasemos a coordenadas polares. Se ob
tiene: o
e
/=* C,i/-*'-** + -* rJ- (h, (7,8)
en donde C. es una constante positiva.
Si aj entonces de la ltima frmula se deduce que
+ C . J dx = c3,<i-,-5, j
es decir, se obtiene la acotacin (3,8).
Si Ai
t
/ Cx + C2 ln 2o ,
es decir, la acotacin (4,8) para K(P, Q) *\
*) En las consideraciones subsiguientes, el caso a,+ .s=d siempre
pued? ser excluido, aumentando un poco ccj o a.
www.FreeLibros.com
t. ., ./. . , t 59
Si, en cambio, <x}+k.^(, entonces es evidente que
K^P,Q) existe tambin para P = Q. Luego, de la acotacin
(7,8) se sigue que *
+5 ^ 2 [ ( | p - - 2 ' - - . ] - C J, <8,8)
en donde Ca es una constante.
Demostremos ahora que KZ(P, 0 es siempre continua
y depende de (P, Q), si P no coincide con Q. Para esto
observemos que
W , Q)-KP*, Q*)\*
*K3(P, Q) - K,(P, Q*)\+ IKP, Q*)-KP*, Q*) =
* J|K,(P, P,)\. |*,(/> Q)-KPi , Q*)\dPy+
+ J l W , Q*)\ IU P , P)-Kl(P\P1)\dPv (9,8)
Hemos supuesto que las funciones KY{P,Q) y K2(P, Q)
estn dadadas para todos los puntos P y Q (si P Q) per
tenecientes a G, y que KL{P, O) y K{P,Q) son continuas
siempre que P^Q. Por eso, en cualquier conjunto cerrado
de puntos (P, Q), que no contenga puntos para los cuales
P = Q, las funciones K^P, Q) y fC^P, Q) son uniformemente
continuas respecto a ( P, Q). Por consiguiente, cada una de
(as diferencias que figuran bajo el signo integral es uniforme
mente pequea con respecto a P,, siempre que los puntos
Q y <2*, P y P* estn suficientemente prximos entre s en
toda Ja regin*(7 de puntos Py, a excepcin de ciertos en
tornos Gy, Gz> G3 y Gt de los puntos Py = Q, P^-Q*, P\= P
y PrP*. En los entornos Gly G., Ga y Gi incluimos Jos
puntos de G, que distan respectivamente de Q, Q*, P, P*
www.FreeLibros.com
60 t.. :..- .. t..//-
no ms de un cierto r fijo, pequeo, que no vara al apro
ximarse P a P* y <2 u Q*. Por eso, en virtud de las con
diciones de (1,8) y (2,8), las integrales que figuran en (9,8)
y son tomadas sobre las regiones G - (GL+ G.) y G-(Gx-i-G*)
se hacen arbitrariamente pequeas, cuando los puntos (P, Q)
y (P*,Q*) estn suficientemente prximos. Las partes de
las integrales (9,8), tomadas sobre los entornos Gx, G2, G;l
y C4, como consecuencia de las condiciones ( 1,8) y (2,8),
tambin son arbitrariamente pequeas, cuando /--O, si
P*Q.
Si, en cambio, ax+a2<=ti, entonces, cuando los puntos
(P, Q) u (P*, Q*) estn suficientemente prximos, las inte
grales (9,8) son arbitrariamente pequeas, incluso si los
puntos P y Q (o P* y Q*) coinciden, ya que en este caso las
partes de estas integrales tomadas sobre los entornos C, G,,
G- y Gi tienden uniformemente a 0 respecto a (P, Q), cuando
r->0.
En efecto, la primera de las integrales (9,8), tomada sobre
estos entornos, no es superior a la suma
JViOP, dPx+J \Kl(P, P\\KPu Q*)\PX.
Cada una de estas integrales se acota utilizando la desigual
dad (8,8). Anlogamente se acota la segunda integral de
(9,8), tomada sobre G,, G2, G3 y Gi .
De esto se deduce la continuidad de la funcin K.{P, Q)
en toda ia regin cerrada en que est definida y, por lo
tanto, su continuidad uniforme.
Dediqumonos ahora al estudio de las ecuaciones inte
grales
y{P) = >.\K(P, Q)y(Q) c/O+AP), (10,8)
www.FreeLibros.com
c.. , ./. ../ , rt, t 61
en donde K(P,Q) tiene la forma indicada en el ttulo del
presente pargrafo, para La funcin f{P) la conside
raremos continua en la regin cerrada, y por lo tanto, aco
tada; consideraremos tambin slo las soluciones continuas
de esta ecuacin. Obsrvese que, de manera completamente
anloga a lo hecho en el prrafo anterior, es fcil demostrar
que con las suposiciones hechas sobre K(P, Q), cualquier
solucin acotada de a ecuacin (10,8) es continua, si f(P)
es continua.
Demostremos, ante todo, que para JA) suficientemente
pequeo, esta ecuacin, al igual que su transpuesta, tiene
solucin nica en la clase de funciones acotadas. Como para
la ecuacin transpuesta todas (as demostraciones son iguales
a las de la ecuacin dada (10,8), nos limitaremos a consi
derar slo la ecuacin (10,8). La demostracin de la existen
cia y de la unicidad de la solucin de la ecuacin (10,8)
se lleva a cabo de igual forma a como se hizo en el 5.
Buscaremos la solucin en forma de serie:
p )= y0(P)+W ) +I W ) + . . . (i i ,8)
Como en el 5, obtenemos que
yP) =f{P), W * ) = J K(P, Q)y>Q) <iQ,
k = 0, 1, 2, . . .
Aplicando el lema recientemente demostrado, de aquf ob
tenemos que todas las }'i,(P) son funciones continuas de P.
Acotemos sus mdulos. Supongamos que
1 / ( ^ 1
en donde N es una constante. Sea M el extremo superior
de los valores de Ja integral
www.FreeLibros.com
62 t.. :..- .. t..//-
J j K(P,Q)\dQ
(Ai, evidentemente, existe). Entonces es fcil ver que
\yk(P)\*NM".
l)c aqti que, para
la serie ( 11,8) converge uniformemente respecto a A y da
una funcin holomorfa respecto a A y uniformemente con
tinua respecto al conjunto (P, A). Completamente igual que
en el 5, se demuestra que esta serie d la solucin de la
ecuacin integral (10,8), y que no existe otra solucin de
esta ecuacin en la clase de funciones acotadas.
Del mismo modo que en el 5, hallamos que esta solu
cin y(P) puede representarse en la forma
}iP )= )]i{p,Q A m )<iQ + A n
en donde
f\P, Q, A) = K{P, Q) + XK\P, Q)+VK< 'KP> Q) +. . . (12,8)
El primer trmino de esta serie es igual a
K(P, = % , (13,8)
en donde K{P<Q) es una funcin uniformemente continua
respecto a (P. Q). Como G es una regin acotada, de aqu
se deduce que la funcin K(P, Q) es tambin acotada, y por
el lema demostrado al principio de este pargrafo,
\K^(P, 0 | \
www.FreeLibros.com
en general
\mKP,Q)\~rQm^ m-TT*
si mv.-{m-1) d>0. Aqu A y A, son unas constantes.
Como a.^d, entonces para m suficientemente grande ten
dremos que
-.- 1) /-= 0.
Entonces, en virtud del lema demostrado, K^^P, Q) es una
funcin uniformemente continua respecto a (J*t Q). Todas
las iteraciones siguientes K<p\P, Q) sern tambin unifor
memente continuas. Adems, para pmn tenemos que
|*</*(/>, Q)\|_C K(P, PjK^HPi, Q) dPt
*Af J | K(P, P()\d P ^ M pM,
en donde Mp es el extremo superior del mdulo tle K^(P, Q)
De aqu se obtiene la demostracin de la convergencia uni
forme de la serie ( 12,8) respecto a P, Q y ?(para .
igual a como fue demostrado para la serie (16,5). Razona
mientos anlogos se pueden hacer para la ecuacin trans
puesta.
Todas las frmulas obtenidas en el 5 siguen siendo
vlidas.
Despus de esto, iodos los razonamientos del 6 son
aplicables a las ecuaciones integrales con ncleos del tipo
m
K{P, Q ) - 2 c t{P)lh(Q) + Ki(P, Q),
ls* [
t , ./. ./ t, rt t 63
*> Vase la nota en la pg 58
www.FreeLibros.com
64
t.. :..- .. t..//-
en donde a,{P) y b{Q) son continuas en G y K^P, O) tiene
la forma (13,8). De este modo, se obtiene la demostracin
de los teoremas de Fredholm en el crculo
W *
en donde Mxes el mximo de los extremos superiores de
las integrales:
\\Kl{P,Q)\<!Q, \\KP,Q)\ dP.
Adems de esto, resulta que en este crculo no puede
haber puntos de acumulacin de los valores propios de X.
Pasemos ahora a la demostracin de los teoremas de
Fredholm para las ecuaciones integrales con ncleo del tipo
indicado en el ttulo del presente pargrafo. Hagamos
fe(x) ~ x, s x sC,
<Pc(x) = C, si x^~C.
Entonces la funcin
Kc{P,Q)=-K{P,Q)vc(~]
ser uniformemente continua respecto a (P, Q) para todo C.
Para un valor C suficientemente grande, las integrales
J I K(P, Q)-KC(P, 0| dQ, j |K(P, Q) - KC(P, Q)\dP
sern uniformemente pequeas respecto a P y Q, respectiva
mente. Como se dijo en el 6, una funcin uniformemente
continua Kc{P, Q) puede ser aproximada uniformemente en
la regin G con una precisin arbitraria por sumas del tipo
m
/*= 1
www.FreeLibros.com
t. ., ./. ../ , rt tt c
Entonces, tenemos que
K(P,Q) = Sm(P,Q)+K(P,Q),
y, adems, el extremo superior de los valores de
j\K(P,Q)\dQ, j\K(P,Q)\dP
puede hacerse menor que cualquier e>0. De aqu se ob
tiene la demostracin de los tres teoremas de Fredholm en
todo el plano A para las ecuaciones integrales con ncleos
del tipo (13,8). Adems, se obtiene la demostracin de que
110 existen puntos de acumulacin finitos de los valores pro
pios.
La demostracin que acabamos de hacer, de los tres
teoremas de Fredholm para ncleos del tipo (13,8), en lo
fundamental repite la demostracin de estos teoremas para
ncleos acotados uniformemente continuos. En esencia, la
demostracin de estos ltimos teoremas se basaba slo en
el hecho de que ciertas integrales eran pequeas; la exigen
cia de que los integrandos fuesen pequeos era superflua
para ello. Esto, precisamente, se tuvo en cuenta en el pre
sente pargrafo.
Observacin. Supongamos que el ncleo K(P, Q) es una
funcin continua de P y Q, cuando ?G, QeG y P#Q,
y satisface a la condicin |K(P. Q)\ , 0==a
' Sea e**0 y a - i E n t o n c e s
RTP m K( ^ Q ) P Q ^ C K(P,Q)
p q * + k >
en donde K(P, Q) es una funcin continua de P y Q. De
este modo, para los ncleos del tipo indicado tambin son
vlidos todos los teoremas de Fredholm.
2. Muchos problemas de la fsica matemtica llevan al
estudio de ecuaciones integrales, en las cuales la integracin
www.FreeLibros.com
66 t.. :..- .. /..//-
se efecta no sobre una regin del espacio eucldeo /-dimen
sional, sino sobre una curva, superficie o variedad *) de
mayor dimensin, simada en un espacio eucldeo de dimen
sin suficientemente grande.
Para las ecuaciones integrales de este tipo tambin son
vlidos los teoremas de Fredholm. Ms adelante demostra
remos cmo se pueden demostrar los teoremas de Fred
holm, utilizando los razonamientos del apartado 1, en el
caso en que la regin de integracin sea una superficie ce
rrada regular en el espacio tridimensional, Para otras varie
dades las demostraciones son anlogas.
As pues, sea dada la ecuacin
y{P)~ 1J K(P, Q)y(Q) dSQ+f(P), (14,8)
s
en donde S es una superficie cerrada regular en el espacio
tridimensional (suponemos que en cierto entorno suficiente
mente pequeo de cualquier punto AzS, una cualquiera de
las coordenadas de los puntos de S es funcin con derivadas
continuas de las otras dos coordenadas); cJSq es el elemento
del rea de la superficie S\PeS, QeS y f(P) es una funcin
JC(P Q)
continua dada en S. Sea, adems, K{P, Q)=p-Qa -> donde
K(P,Q) es una funcin continua cuando PtS y Oe.S; 0=s
=sa*;2 y PQ es la distancia entre los puntos P y Q en el
espacio tridimensional. Para demostrar mediante los razo-
*> Por variedad -dimensional diferenciable continua M, en el
espado eucldeo -dimensional En d< n) se entiende un conjunto
A/ acotado, conexo y cerrado de puntos, perteneciente a F n , y tal,
que en gierto entorno de cualquier punto A 6 M, algunas (ti-d) coor
denadas de los puntos de M son funciones con derivadas continuas
de las restantes d coordenadas.
www.FreeLibros.com
t.. ./ . ../ , r;t t 67
namientos del apartado I lodos los teoremas de FredhoJm
para la ecuacin (14,8) considerada, es suficiente demostrar
que signe siendo vlido el lema del apartado I y que lodo
ncleo continuo Kt(P, Q), dado en S, puede ser uniforme
mente aproximado por un ncleo degenerado con cualquier
grado de exactitud. Los razonamientos restantes de los ' 4,
5, 6, 7 y 8 se extienden automticamente a las ecuaciones
del tipo considerado.
El ncleo continuo Ky(P, Q) puede considerarse como
una funcin continua, definida en cierto conjunto cerrado
S2 en el espacio de 6 dimensiones (xp> yp, zp, x q , Z q ) .
Este conjunto se obtiene cuando ios puntos P(xp, yp, zp) y
Q(xq, yQ, Zq) recorren el conjunto S, independientemente
uno del otro. Denotemos por R el cubo, en el espacio
(xp, yP, Zp, xQ, yQ, zq), que contiene a todos los puntos del
conjunto S2. Una funcin continua, dada en el conjunto
cerrado S'2-, puede prolongarse hasta que resulte una fun
cin continua, dada en R *K Del teorema de Weierstrass se
tiene, que una funcin continua, dada en R, puede aproxi
marse uniformemente por un polinomio con una precisin
arbitraria. Si consideramos ahora este polinomio slo en S2,
entonces, ste ser, precisamente, un ncleo degenerado que
aproxima al ncleo K^P, Q) con cualquier precisin.
Verifiquemos ahora el lema del apartado 1, 8. Para
demostrar que KA(P,Q) es continua para P^Q, en forma
anloga a la demostracin dada en el p. 1 , es suficiente
verificar, que para r suficientemente pequeo, la integral
del tipo
*) P. S. Alcxandrov, Introduccin a la Teora de Conjuntos y
Funciones, Gostejizdat, 1948, cap. 6, 13, pg, 284,
S ( Q , 0
j'
www.FreeLibros.com
t.. :..- .. t../-
tomada sobre la parte de la superficie S, ubicada en la esfera
de radio r, con centro en el punto Q, cambiar gradual
mente respecto a Q, en un pequeo entorno de cierto punto
Supongamos que en un entorno del punto Q0 la super
ficie S est dada por la funcin con derivadas continuas z =
=,f(x, y) y Q' y P{ son las proyecciones de los puntos Q
y sobre el plano z = 0. Como dS-^Cdxdy, en donde
C es una constante, y, adems, Q'P'x^QPy, se tiene:
Esta ltima integral puede hacerse arbitrariamente pequea,
si r es suficientemente pequeo.
Para demostrar la continuidad de K3(P,Q) para P-Q
y oy + o^^d, basta acotar, de la^ misma manera, la integral
del tipo
cuando P y Q varan en un entorno pequeo del punto
P*=Q* y r tiende a cero, utilizando ta desigualdad (8,8).
Para demostrar la validez de las desigualdades (3,8) y
(4,8), demostremos que las funciones
s<qv)
s.')+syv)
KP,Q)PQ3+a'-d, si a j +a2w/,
y
para PeS, QzS y P^Q, estn acotadas.
www.FreeLibros.com
Para ello, suponifA'ftis., uwsici'u nvmv?r,. Yi\j "c*
cierta. Entonces existen dos sucesiones de puntos P15,
P. S ,...,Q ,zS, QS,..., donde P,*Qn que
\K.lP,,Q\PtQ7+,'~a cuando (15,8)
Podemos suponer, adems, que las sucesiones P, y Q, son
convergentes, es decir, que
P, Q-*Qi\S.
De la continuidad de la funcin KJP, Q) para P*Q, de
mostrada anteriormente, se deduce que P0 = Qn. Suponga
mos, para fijar ideas, que en cierto entorno U suficiente
mente pequeo del punto P0, la coordenada z de os puntos
de S es una funcin de x e y con derivadas continuas, y que
en este entorno se verifica la desigualdad dS^Cdxdy (C
es una constante). Entonces, para todas las i suficientemente
grandes, se tiene que
t. ., ./. ../ , r;t t/ 69
u s~u
*A,A2C f , + ~F~~ f (Sr,,
2 J PiPi 'PiQt ' 1 V e s - u PPi'PiQV J
donde los trazos indican las proyecciones sobre el plano
i=0. Puesto que el ltimo de ios sumandos obtenidos esta
acotado, de (15,8) se deduce que
PiQT"-* cuand0 168>
J r ir | -r 3//
www.FreeLibros.com
Sin embargo, para todos los / suficientemente grandes,
se tiene que P'Q'* , en donde Ct>0 (por qu?).
Por eso, de ( 16,8) obtenemos:
v
Pero los puntos P y Q estn situados ya en la regin
U' del plano. Por esto, en virtud dei lema demostrado en
el apartado l, tenemos que, para todas las suficientemente
grandes,
70 t.. :..- .. t..//-
dx dy A i - dx dy
JrWZF
w
(A es una constante). Esta relacin contradice a la anterior.
r t :
De forma anloga se demuestra que la funcin ]~n pq| + 1
es acotada.
9. Ejemplos de ecuaciones integrales singulares
Llamamos singulares a aquellas ecuaciones integrales para
las cuales no son vlidos los teoremas de Fredholm, o bien
los valores propios tienen puntos de acumulacin finitos.
Las ecuaciones integrales singulares citadas en este par
grafo tienen un intervalo de integracin infinito. Pero, ha
ciendo, por ejemplo,
-tg r, x tg y,
estas ecuaciones integrales pueden ser reducidas a ecuaciones
cuyo intervalo de integracin es finito.
www.FreeLibros.com
t.-,/ .. .. ., ,./. 71
Ejemplo 1. La ecuacin integral
<f(x) = A |sen -v<p() </|

(enc para A = j/-^ - un conjunto infinito de soluciones lineal-


mente independientes, ya que para tales las siguientes
funciones satisfacen a esta ecuacin
**>- ' - " 3 j r
para cualquier <7^ 0.
Ejemplo 2. La ecuacin
-f
</ (.y ) = ). j d$
I a2
tiene la solucin eax para / = =. De este modo, cada
i
A*=2 real es un valor propio. Aqu consideramos slo valo
res reales de a, ya que, en el caso contrario, elxx no sera
acotada en el intervalo infinito -
Existen ejemplos de ecuaciones integrales, para las que
no tienen lugar los dems teoremas de Fredholm.
En la teora de las ecuaciones diferencales con derivadas
parciales y en la fsica matemtica, desempean un papel
muy importante las llamadas ecuaciones integrales singulares.
Estas ecuaciones tienen la forma (10,8), pero sus ncleos
tienen una singularidad fuerte (u. = d) y no son integrables
en el sentido comn; la integral correspondiente se entiende
www.FreeLibros.com
72 t.. :..- .. t..//-
en el sentido de valor principal, segn Cauchy. Ha sido
construida la teora completa de las ecuaciones singulares.
Esta teora se diferencia sustancialmeiue de la teora de las
ecuaciones integrales de Fredholm. Una amplia bibliografa
ha sido dedicada a las ecuaciones integrales singulares.
Vase, por ejemplo, N. . Musjclishvili, Ecuaciones Integrales
Singulares, Fizmatguiz, 1962; N. 1. Muskhelishvili, Singular
integral cquations. Boundary problems of function theory
and their appiication to matheinatical physics. (Dcp. of
Supply and Dcvelopment, Aer. Res. Lab., Melbouruc,
Australia, 1949; Noordhoft', Groningen, 1953, traducido del
ruso). S. G. Mijlin, Integrales Singulares Multidimensionales
y Ecuaciones Integrales, Fizmatguiz, 1962.
www.FreeLibros.com
CAPITULO 2
ECUACIONES DE VOLT ERRA
10. Ecuaciones de Volterra
As se llaman las ecuaciones integrales
y{P) = *jK(P, Q)y(Q) dQ +f(P),
que satisfacen a las siguientes condiciones:
a) cada coordenada de los puntos P y Q toma valores
desde 0 hasta cierto a>-0;
b) Q) =0, si por lo menos una de Jas coordenadas
del punto Q es mayor que la correspondiente (es decir, la
que tiene el mismo ndice) del punto P.
Estudiaremos slo el caso unidimensional. Entonces la
ecuacin de Volterra tiene la forma
y(x) = ?.\K(x, mt)&+A.X). (1,10)
o
Demostremos que para esta ecuacin tiene lugar el primer
caso de la alternativa de Fredholm para cualquier A, donde
se supone que K(x, ) es una funcin continua para O^x^a,
0 = =.*, y f(x) es continua para O^x^a.
En otras palabras, demostraremos que la ecuacin de
Volterra no tiene valores propios.
www.FreeLibros.com
74 t.. .. .
Demostracin. La ecuacin (1,10) pertenece a la clase
de ecuaciones integrales, para la que hejnos demostrado Jus
teoremas de Fredholm. Efr efecto,
i/i.. t\ ^ 1*^ *" ^1e n .. i
K\X> ) ~ --l^y j g )6 > O^ CI.
La funcin K(x, ), definida por las igualdades
K(x, $) = K(x, ) | . \ : - | 5 para 0 s s , v
K{x, I) = 0 para a x,
es uniformemente continua en el cuadrado
Oa.tsfl, O ^ ^ a .
Por eso, para la ecuacin integral (1,10), de acuerdo con
c! 8, son vlidos los tres teoremas de Fredholm. Esto
significa que, para demostrar que para esta ecuacin tiene
lugar el primer caso de la alternativa de Fredholm para
cualquier A, es suficiente demostrar que la ecuacin homo
gnea correspondiente
X
X x ) - z f K ( x , M . g ) d E ( 2, 10)
o
puede tener para cualquier X slo la solucin trivial en la
clase de funciones continuas de x para O^x^a. Demostre
mos esto ltimo: denotemos por B el valor mximo de
|X*)I para Q^x^a, y por M el valor mximo de |J5r(*, f)|
para 0=.v*: y 0 Entonces, de Ja ecuacin (2,10),
obtenemos que
[><x)| *\)\MBx.
www.FreeLibros.com
Sustituyendo de nuevo esta acotacin de j ( a') en el segundo
miembro de (2,10), obtenemos
\y(x)\ * |A|2/V/Z~ .
Continuando este proceso, resulta:
!X*)1 s k\---* --- jr,---. = 1 , 2 ---
Esta ltima expresin tiende a 0 cuando le- Por lo tanto,
;.<aO = 0 en cf intervalo (0, a), que es lo que se quera de
mostrar.
La solucin de la ecuacin (1,10) puede buscarse en
forma de serie
X*) =7o(A) + 4>i(-v) + 2>(a-) + . . . (3,10)
De acuerdo con el 8, tiene que ser
X
Jo(-v) =/(*), >/<+i(*) = J K(x, )>&() <!L k = 0, 1, 2, . . .
o
Sea N el mximo valor de |f(x)j en el intervalo (0, a).
Entonces se tiene que
, , ., mWn WMJV
I >/<(*) = i
De aqu se ve que la serie (3,10) converge uniformemente
respecto a A y x, cuando A est situado en un crculo ar
bitrariamente grande y O s s .
Para tener una idea clara del por qu la ecuacin de
Volterra no tiene valores propios, consideremos (de manera
similar a como se hizo en el 3) el siguiente sistema de
t.. .. / . 75
www.FreeLibros.com
ecuaciones algebraicas lineales, correspondiente a la ecua
cin de Voltcrra en el intervalo Os .x s ;
76 t.. .. .
/,=>, AS,
ft ~ XK,,,y \k +y2 ~ lK2,,y2l,
f\~ ~XK^yA^ XK.yy, /J + y$ XK^y^ Ai,
(4,10)
Aqu hemos conservado Jas notaciones admitidas en el 3.
La ecuacin (4,10), para cualquier ). fijo, puede resolverse
sucesivamente, siempre que |zl|| sea suficientemente pe
queo, lo que supondremos. En efecto, de la primera ecua
cin se puede hallar yx, ya que para |Zl| suficientemente
pequeo, el coeficiente de yxes diferente de cero. Sustituya
mos el valor de yYen todas las ecuaciones subsiguientes.
Entonces, de la segunda ecuacin se puede obtener y2.
Sustituyamos su valor en todas las ecuaciones subsiguientes.
Entonces, de la tercera ecuacin se puede despejar v3, etc.
Fcilmente se puede demostrar, que cuando Ax0, la so
lucin del sistema (4,10), efectivamente, se aproxima a la
solucin de fa ecuacin integral (1, 10).
El deternnrante del sistema (4,10) es igual a
n - o - aoo -xk. 2 m . . . (i -xKm i$),
en donde A\-Ai = ^. De aqu se ve que
U
72 * ( 1 - / : ( 5 , 1 0 )
El segundo miembro de esta desigualdad, para cualquier AS,
suficientemente pequeo, es diferente de cero. Al disminuir
Ai, dicho miembro crece. Por ejemplo, cuando Zl| dismi
nuye dos veces, entonces (I -|| M/)) en (5,10) se susti
www.FreeLibros.com
t.. .. /.
77
tuye por la expresin
Cuando 0, el segundo miembro de (5,10) tiende a
La cansa algebraica de la ausencia de valores propios
de la ecuacin de Volterra estriba, precisamente, en el hecho
de que el determinante de! sistema (4,10) es siempre diferente
de 0 y no tiende a 0 cuando 0.
Observacin 1. Con razonamientos completamente an
logos a Jos que utilizarnos para demostrar la ausencia de
valores propios de la ecuacin de Volterra, con ncleos
uniformemente continuos, se puede demostrar (o mismo para
las ecuaciones de Volterra con ncleos del tipo
* ( * > * ) o i ,
en donde K(x, |) es una funcin uniformemente continua,
Observacin 2. Consideremos la siguiente ecuacin inte
gral de Volterra de Ia especie, respecto a la funcin incgnita
X*):
X
J a^ v, a K D -/i*),
u
yio)=o. (6,10)
Supongamos que K(x, ), K'(x, I); f(x) y /' (* ) son funcio
nes continuas cuando O^x^a y O s s . Entonces, cual
quier solucin continua j>(x) de la ecuacin (6, 10) para Os
www.FreeLibros.com
78 /. .. t.
s s d satisface a la ecuacin integral
X
K{x, x)y(x) + J K'Jx, (f) dS =/'(*). (7-10)
o
la cual se obtiene de (6, 10), derivando miembro a miembro
respecto a x. Reciprocamente, fcilmente se ve que cual
quier solucin continua de la ecuacin (7,10) para 0-zx^a
satisface tambin a la ecuacin (6,10). Si el mdulo de
K(x, x) es mayor que cierta constante positiva, entonces la
ecuacin (7,10) se reduce a una ecuacin integral de Volterra
de 2a especie, estudiada en el presente pargrafo. Si K(x, ,t) =
= 0, a veces es til derivar nuevamente miembro a miem
bro la ecuacin (7,10) respecto a x, etc.
www.FreeLibros.com
C A P I T U L O 3
ECUACIONES INTEGRALES
CON NUCLEOS
SIMETRICOS REALES
11. Anlogos geomtricos de ciertos relaciones
entre funciones (espacio de funciones)
Una nocin sobre una funcin f(P), uniformemente con
tinua en una regin finita G dada, por ejemplo, en un inter
valo finito (a, b), nos da los valores de esta funcin en un
conjunto de puntos P^,P2, . . . , P n suficientemente denso.
En el caso unidimensional se pueden tomar (os siguientes
puntos:
x =a + Ax, a + 2Ax, . . . a (ti - 1) Ax, a + n Ax,
en donde ix = ~^-, para n suficientemente grande. Denota
remos los valores de / en estos puntos por
fW } y(2); _ _ j~(n)
respectivamente. Consideraremos estos ltimos como com
ponentes de un vector en el espacio eucl-
deo de dimensin cuyo origen est situado en el origen
de coordenadas. De este modo, a la funcin/ le corresponde
un vector La longitud o norma de este
vector es igual a
1 f ^ ) 2
www.FreeLibros.com
80 t. ., ./. -. /i
Pasando al lmite, cuando es natural llamar Jongi-
tud o norma de la funcin f(P) al nmero
En la tabla siguiente estn enumeradas, por un lado, las
principales magnitudes y relaciones, ligadas con vectores
en el espacio eucldeo -dimensional y, por otro lado, las
correspondientes magnitudes y relaciones para las funciones
(en el espacio de funciones). En este pargrafo todas las
Junciones consideradas se suponen reales, definidas en una
regin finita G y de cuadrado integrable (vase la observa
cin al 1). El smbolo J f(P) dP designar siempre la
integracin sobre la regin G.
I. El vector (/<'),/(2>( . . , 1. La funcin f ( P ).
2. Norma de la funcin
3. Distancia entre los 3. Norma de la diferen
cia de dos funciones puntos (fp\ . . .,/,<">)
y (f1], Jn))
] /2 ifp - m * .
Y ]lUP)-fP)\*dP
www.FreeLibros.com
+/, ,.-. /. . ./ .. /..
31
La norma de la diferencia f(P) f^P) que acabamos de
definir caracteriza la distancia cuadrtica media de fP) res
pecto a fi(P). La diferencia entre las funciones/^ ) y f t(P)
se puede caracterizar de varias maneras diferentes, y no slo
mediante la norma de la diferencia f>(P)-f{{P). Esta distin
cin se puede caracterizar, por ejemplo, a travs del nmero
B, igual al del extremo superior de la expresin
Si B es pequeo, esto significa que la diferencia /.(jP) /*i(
es uniformemente pequea en toda la regin G considerada.
Como la regin G es finita, de la pequeez de B se deduce
la pequeez de la norma de la diferencia/^ /*) -/,(/^ definida
ms arriba. La afirmacin inversa no es cierta.
Si tenemos una sucesin infinita de funciones
fi(P)>M n . . ; A(P), . . ,
y una funcin f(P)ypara las cuales
sup \f(P)~MP)\~Q. para
o
entonces, como es sabido, se dice que la sucesin de fun
ciones fk(P) converge uniformemente hacia f(P).
Si, en cambio,
J !./'(P) f ) f dP - 0, para * - - .
entonces se dice que la sucesin de funciones /( /O converge
en media (o en media cuadrtica) hacia f(P). De la conver
gencia uniforme en una regin finita se deduce la conver
gencia en meda. La inversa no es cierta, como lo muestra
el siguiente ejemplo.
www.FreeLibros.com
82 t. ., -.. -. ./.
La sucesin de funciones
AW=r,(*
en el intervalo abierto [0, 1] converge en media hacia la
funcin fx\= 0 etianr1 n> 'x TVfm -<*s p.vrtit'rln- -me fin
www.FreeLibros.com
+/, ,.-. .. . ./ .. /... 83
4. El producto escalar de
dos vectores
y f*\. . fn))
viene dado por la frmula
2 fP-
/<=i
Denotaremos este pro
ducto escalar por el smbolo
(A./o).
5. Desigualdad triangular
(la suma de dos lados de un
tringulo no es menor que
el tercero):
4. Sellamaproducto esca
lar de dos funciones /i(P),
A(P) a
J / L ( p w p ) d p .
Denotaremos este producto
por el smbolo La
existencia de esta integral en
nuestras suposiciones es con
secuencia de que
\b\
lar:
5. Desigualdad triangu-
f lfP)-MP)]*dP+
+}f j[UP)-MP)]*dP*
J P) -UPWdP.
Ambas desigualdades se demuestran idnticamente. Por
eso demostraremos slo la primera. Es fcil ver que, sin
restringir la generalidad, se puede considerar que todas las
h, son iguales a 0. Elevando al cuadrado ambos miembros
de esta desigualdad, y reduciendo trminos semejantes, ve
mos que sta es equivalente a la desigualdad
- 2 Vt*V2a?2cf,
www.FreeLibros.com
puesto que todas las races cuadradas las consideramos no
negativas. La ltima desigualdad se deduce directamente de
la siguiente:
( Mi )
la cual se llama desigualdad de Cauchy. Para su demostra
cin, obsrvese que para cualesquiera nmeros reales ,
y '
2W+)2* o.
Por eso, la ecuacin cuadrtica de A
; 2 ^ + 2A2 Vi-i-Z<f=o
no tiene races reales diferentes. Pero esto es posible slo
cuando se cumple la desigualdad (1 , 11).
De la misma manera se demuestra la desigualdad
[ J / ( P M P ) d p f - ] > ( / > ) dP. J yXP) dP. ( 2, 11)
Esta se llama desigualdad de Bunyakovski
84 t. ., ./. -. ./.
*> La desigualdad (1,11) se encuentra por primera vez en el curso
de Anlisis de Cauchy (J821): Oeuvres, l l s, t. I1T (1897), 373. El propio
Cauchy la dedujo de li. identidad
n n / n V-! 1n n
2 * 2 b] - 2 abi\ = - 2 2 (Oibj-ajb.f,
(~t /sal \,=l / = l y=l
despreciando su segundo miembro no negativo. La desigualdad (2,11)
la demostr por primera vez y la utiliz Bunyakovski (Sur queiques
ingalits conccrnant Ies intgrales ordinaires. . . Memoires de lAcad.
de St. Petersbourg (Vil) I (1859), N 9). Pero en la literatura especiali
zada esta desigualdad frecuentemente se llama desigualdad de Schwarz,
a pesar de que en sus obras sta aparece por primera vez slo en 1885
(Wcrkc, [ (1890), 2S1).
www.FreeLibros.com
+/, ,.. .. ../ .. /.. 85
6. El coseno del ngulo
entre los vectores
(fv\2\
(JV\JT\ . ; A ')
es igual a
____ /_-i____________
f i y w - } zwi}\2
De acuerdo con (1,IJ), el
mdulo de esta expresin no
supera a 1 .
Llamaremos vector uni
dad (o vector unitario), a
aquel cuya longitud es igual
a I.
El coseno del ngulo en
tre dos vectores unidad f$L\
y
. . es igual a
fP fP -
7. Condicin de ortogo-
nalidad de dos vectores
(A, y
7 M > , o.
/=i
6. Llamaremos coseno
del ngulo entre dos funcio
nes /,(/>) y f./P) a
I '/n-Mi>)d/>
]/ j f\{p)dp] \f\(P) di>
De acuerdo con (2,11), el
mdulo de esta expresin no
supera a 1.
Se dice que la funcin
f(P) est normalizada, si su
norma es igual a 1.
El coseno del ngulo
entre dos funciones normali
zadas /(/O y f {P) es igual a
J / t {P)fP)dP.
7. Condicin de ortogo-
nalidad de dos funciones
u n y / n
u n u n dp^o.
www.FreeLibros.com
86 t. . ./. -. ./.
8. La condicin de depen
dencia lineal (coplanaridad)
de los vectores f k = {ffl, .. .
. . .J fr ) k= 1 , 2
consiste en que existen unas
constantes C,C, . . Cni,
no todas iguales a 0 tales,
que
(H
ZCJV=o,
i- 1, 2, . . . , n.
9. Sean dados m vecto
res unitarios, ortogonales
cutre s:
k~ 1, 2, . . . , m.
Sea <pk(J) la proyeccin del
vector (J'^\ . .., f M) sobre
la direccin del vector
rp[l\. . 9^ n>,. . . Entonces
<p,Xf)=ZfW-
I
8. La condicin de de
pendencia lineal de las fun
ciones /,(/>),..., f m(P) con
siste en la existencia de unas
constantes C, , . . Cm, no
todas iguales a 0 tales, que
m
2 c , M n =o
/. = !
para todos los puntos P.
9. Sean dadas m funcio
nes normalizadas, ortogona
les entre s:
(Frn(.P)-
Se llama coeficiente de Fou-
rier de la funcin f(P) res
pecto a la funcin f,,( P) a
f=\f{P)n{P)dP.
Teorema. Sea dada una funcin f{P), integrable junto con
su cuadrado. Buscaremos as constantes Cr> C2, . . . , Cm para
que la distancia cuadrtica media entre la combinacin
lineal Cl<pl(P) + . .. + Cm<pm(P) y la funcin f{P) sea mnima.
www.FreeLibros.com
Se afirma que los valores buscados son iguales a los coeficien
tes de Fourier f , *\
En efecto,
/ , = J [RP) - Cm(P) - . . . - c infm( p ) r dp=
= \P(P) dP - 2ZCkf(J>)n (P) dP i
+i c cj$<[>p)<pj(p)dr=
m m
= [ f\P ) dP - 2% Cft+ CI=
J *e=l Al
J. W
/-(/>) d p v y (h - c k? - z r t .
itTi i
De aqu se ve que m alcanza su mnimo
:::
\.1\P)dP-ZJl S! ft = Ck, fe = 1,2....... /;/.
J A= 1
10. Para cualquier vector 10. Para cualquier fun-
f (>), . . .,f(n) se verifica Ja cin f(P) se cumple la des-
desigualdad igualdad
2 Wf)f - 1 [/(A)]2- 1 / 1 2) - !>>(/>) dP.
*ml *J /,= ! J
En el caso de igualdad, es la (Desigualdad de Bessel).
relacin corresponde al teo
rema de Pitgoras.
+/, ,.-. .. . ./ .. /... 87
*) Interprtese este teorema geomtricamente.
www.FreeLibros.com
Demostracin de la desigualdad de Bessel. Es evidente
que /,() para cualesquiera C,. Si Ct =j) para i= 1, 2, . . .
. .., m, entonces !m ^ / 2(/>) dP - fk> o sea fHP) dP*
m j /.=i J
2=27*\ que es lo que queramos demostrar.
l-=* i
La sucesin de funciones normalizadas, ortogonales dos
a dos, (brevemente, sistema ortonormal)
(3,11)
se llama completa, si para cualquier funcin continua (y,
por lo tanto, acotada)/(P), definida en una regin cerrada,
se verifica la siguiente igualdad (igualdad de Parseval):
\P{P)dp~ift.
I k= 1
Nota. De la afirmacin demostrada en el apartado 9 se
deduce la posibilidad de sustituir la definicin dada de un
sistema de funciones completo por la siguiente, equivalente
a ella: el sistema ortonormal de funciones (3,11) se llama
completo, si para cualquier funcin continua, en una regin
cerrada f(P), existe una combinacin lineal de estas funciones
m
Z Q n C P).
/.=i
tal, que el error cuadrtica medio cometido al sustituir f(P)
por esta combinacin, es decir,
88 t. ., ./. -. ./.
$[f(n~ZCnn(P)]z dP,
www.FreeLibros.com
+/, ,.-. .. . / .. /.. 89
es arbitrariamente pequeo. De aqu que, si Mamsemos sis
tema completo a un sistema ortogonal, para el cual se cum
pla la igualdad de Parseval para cualquier funcin de cua
drado integrable /(/')> continua en toda la regin, a excep
cin, posiblemente, de un nmero finito de puntos, curvas
y superficies regulares, de dimensin hasta (d- I), entonces
esta definicin sera tambin equivalente a la anterior (aqu
d es la dimensin de la regin G, en donde estn definidas
las funciones consideradas). Esto sucede debido a que cual
quier funcin f(P) de esta clase puede aproximarse por una
funcin f*(P) continua en G tal, que la norma de la diferen
cia f(P) -J'*(P) sea arbitrariamente pequea. La demostra
cin de esta afirmacin mediante la desigualdad triangular
(vase el apartado 5) la dejamos a cuenta del lector.
El sistema ortonormal (3,11) se llama ceudo*'*, si no
existe ninguna funcin de la clase considerada **\ cuya inte
gral de su cuadrado exista, sea positiva y ortogonal a todas
las funciones de (3,11).
Teorema. Todo sistema completo es cerrado.
Demostracin. Supongamos que el sistema (3,11) es com
pleto, pero no cerrado, es decir, que existe una funcin
f(P) para la cual la integral de su cuadrado existe, es posi
tiva y ortogonal a todas las funciones de (3,11). Los coefi-
*) Muchos autores emplean lina terminologa diametralmentc
opuesta. A los sistemas que el autor del hbro llama completos, tales
autores los llaman cerrados (o densos), y a los sistemas que el autor
llama cerrados, tales autores los llaman completos.
En el espacio L- estos conceptos son idnticos, debido ai teorema
de Ricsz-Fischer, que afirma que todo sistema completo es cerrado
y viceversa. Vase J. Rey Pastor, Pi Calleja, C. A. Trejo, Anlisis Mate
mtico, Vol. Ilt, Ed. Kapelusz, 1961, Cap. XXV, o tambin S. Kacz-
marz, H. Steinhaus, Theorie der Orthogonalreihen. Warszawa- Lww,
1935, Cap-II (Nota del Redactor de la traduccin).
**> Ver la observacin al 1.
www.FreeLibros.com
90 t. ., ./. /-. ./.
cientcs de Fourier de tal funcin, respecto a las funciones
(3,11), son iguales a 0. Por consiguiente, para fa funcin
f(P) no se cumple la igualdad de Parseval.
La afirmacin inversa no es cierta en la clase de funcio
nes considerada, que tienen discontinuidades slo en un
nmero finito de puntos, curvas, . . superficies (d- 1) di
mensionales. Esta es cierta en la clase de funciones de cua
drado integrable en el sentido de Lebesgue (vase 20,
ap. 1).
11. La ecuacin normal
de un plano en el espacio de
n dimensiones (<7/, 1p{8), . . .
. . </j(n)) es
Z (V = a
=1
en donde
12. La ecuacin de una
superficie de 2 orden con
centro en el origen de coor
denadas es
i % ' V ^ 1 (4,11)
/,/=1
en donde
11. Su anlogo en el espa
cio de funciones es
, \a{P)f {P)dP=p,
en donde
\U'{P)dP = .
12. Su anlogo en el espa
cio de funciones es
$K(P,Q)<p(.P)<p(Q)cfPdQ= I,
(5,11)
en donde
K(P,Q)=K(Q, P)
PG, Q 6 G.
www.FreeLibros.com
13. La proposicin fun
damental en la teora de las
formas cuadrticas
i
t,J=i
K,j = Kj, (6, 11)
consiste en la posibilidad de
reducir una forma de stas
mediante una transforma
cin lineal no singular
,/,(0 = 2 ' r /V0), (7,11)
/=>
i = 1 , 2, . . n
a su forma cannica
Tf
donde
nizan. (8, II)
En lo sucesivo nos interesa
rn slo formas cuadrticas
con coeficientes K reales;
en este caso, todas las
pueden ser escogidas tam
bin reales. Entonces tam
bin sern reales todas las
+/, ,.-. .. . .
13. Bajo amplias supo
siciones respecto al ncleo
real simtrico K(P,Q), no
idnticamente nulo, es decir,
para el cual K(P, Q) =
=K(Q, P), demostraremos
que la forma integral
J K(P,QMPyKQ)d/>dQ
( 10, 11)
puede ser expresada como
una suma finita o infinita
del tipo
i, 1
en donde
7* J 'fi^ypiip) dP,
y las funciones <p(P), i-
= 1, 2, . . . , forman un con
junto no vaco, finito o nu
merable, de funciones nor
malizadas y ortogonales en
tre s, es decir,
v t(P)n(r)dp~ tl.
.. /.. 91
*) No escribimos el lmite superior de los valores de i, el cual
puede ser finito o infinito.
www.FreeLibros.com
.:
t. ., ./. -. ./.
?.. Existen muchas transfor
maciones lineales (7,11) con
coeficientes reales que redu
cen la forma cuadrtica (6, 1 1 )
a su forma cannica (8, 11).
Entre stas desempean un
papel especial las transfor
maciones ortogonales, es de
cir, las transformaciones
(7,11), para las cuales
en donde ,, = 0, para i = k
y 5II{= l para i = k. En el
curso de Algebra se de
muestra que los coeficientes
de dicha transformacin sa
tisfacen a las ecuaciones
qP-X'ZKk/lP* (9J1)
i = 1, 2........m (vase el
19*)).
Geomtricamente, a la
transformacin de la forma
Estas funciones <p(P) co
rresponden a los vectores
unitarios, dirigidos por los
ejes principales finitos de la
superficie (5,11). Cada fun
cin <7),(P) satisface a la
ecuacin integral homognea
iriP)^\K{P,Q)^{Q)dQ.
( 11,11)
en donde todos los valores
A, son reales. De este modo,
las ecuaciones integrales con
ncleo simtrico, de un tipo
bastante general, siempre po
seen valores propios (en
contraposicin con las ecua
ciones de Volterra) que son,
adems, reales.
*) El 19 est destinado al lector que desee repasar la teora de
las ecuaciones cuadrticas. Esta teora est expuesta all en una forma
cmoda para nuestras aplicaciones ulteriores. Recomendamos leer
este pargrafo ahora.
www.FreeLibros.com
+/, ,.-. .. ./ ./ . ..
93
cuadrtica (6,1 i) a la forma
cannica (8,11), mediante la
transformacin ortogonal
(7.11), le corresponde el paso
a un sistema de coordenadas
tal, que los ejes de coorde
nadas coinciden con los ejes
principales de la superficie
(4.11). Los vectores (<pp\
<t\ . {pfn), / 1, m,
son unitarios y van dirigidos
por los semiejes principales
finitos de la superficie (4,11).
Si m =w, entonces, la super
ficie (4,11) degenera en una
superficie cilindrica. En este
caso, adems de los m ejes
finitos, la superficie tendr
ejes infinitos. Aquellos
semiejes, a los cuales Ies
corresponden valores A po
sitivos, se llaman reales, y
aquellos, a los cuales les
corresponden valores ). ne
gativos, se llaman imagina
rios.
El problema de hallar el
vector unidad ((f\L\ . ..
> que lleva la di
reccin de un semieje prin
cipal de ta superficie (4,11),
correspondiente a ?.t (supo
nemos que es el menor eu
La idea fundamental de
la demostracin de la exis
tencia de, por lo menos, un
valor propio de la ecuacin
integral (1 1 ,11), consiste en
lo siguiente (comprese con
el 12). Demostraremos la
www.FreeLibros.com
94 t. ., ./. t-. ./.
valor absoluto de todos los
valores ,), es equivalente
al sigyiea1tc^ 5ftoeri?j'\,rasfc
el 19).
Hallar el mximo, si ?.,>(),
o el mnimo, s de la
forma ^ Xy<p<V ;> con 'a
condicin de que
M s= i .
=i
El problema de hallar el
vector unidad dirigido segn
el semieje correspondiente a
A2 de la superficie (4,11), o,
lo que es lo mismo, el pro
blema de hallar la solucin
del sistema
/='
1= 1, 2, . . . , n,
ortogonal a la solucin
. . ., fcilmente se
reduce al problema de ha
llar el mximo o el mnimo
de la forma
existencia en la clase de fun
ciones para las cuales
J > ( P ) P = I , ( 1 2 , 1 1 )
es una funcin que da un
mximo o un mnimo
diferente de 0, de la forma
integral (10,11). Esta fun
cin (piiP) satisface a la
ecuacin integral ( 1 1 ,1 1 ), pa
ra /- 1. El problema de ha
llar la funcin normalizada,
correspondiente a P.2> diri
gida por el semieje principal
de la superficie (5,11), y el
de hallar la funcin propia
respectiva de la ecuacin
integral (1 1 ,11), fcilmente
se reduce al problema de
hallar el mximo o el mni
mo de la forma integral
x r t m m j r j Q
en la clase de funciones nor
malizadas por la condicin
(12,11). En forma anloga
se hallan las funciones nor
malizadas, dirigidas segn
los dems semiejes princi
pales de. la superficie (5,11)
www.FreeLibros.com
+/, ,.-. .. . ./ .. /..
95
en la clase de vectores uni
tarios (ip(1>, . . . , De
manera anloga se hallan
los vectores unidad, dirigi
dos por los dems semiejes
(vase el 19).
14. Sustituyendo en la
identidad
i K ' j t f
/, j i 1= 1 l
en lugar de su expre
sin mediante (pV\dada por
la frmula (7,11), obtenemos
W V 0S
V
I.J
= 2 Z
/ = l s,t
Comparando los coeficien
tes de iguales productos en
los miembros extremos de
esta cadena de identidades,
obtenemos que
'i
o, lo que es lo mismo, las
dems soluciones normali
zadas de la ecuacin inte
gral ( 1 1 , 11), ortogonales a
las soluciones anteriores (va
se el apartado 4 del 13).
14. Bajo ciertas condi
ciones impuestas a K ( P , Q )
ser demostrado ( 15) que
K(P,Q)=2
v, pypQ)
h
=i
www.FreeLibros.com
9f>
t ., ./. -. ./.
15. La condicin nece
saria y suficiente para que
se pueda desarrollar un vec
tor dado ( / <l*, .. .,/<">), se
gn las direcciones de los
semiejes principales finitos
de la superficie (4,11), es
que el vector ( / (1>, . . ,,/M)
sea ortogonal a todos los
semiejes infinitos de la su
perficie (4,11). Pero de la
igualdad (9,11), como es f
cil de ver, se deduce que las
componentes (xl\. . . , y}n))
de los vectores dirigidos se
gn los semiejes infinitos de
la superficie (4,11) deben
satisfacer a las ecuaciones
* 1/XO> = 0, i =\f . . . , n .
(13,11)
La condicin para que el
vector ( / W, . . sea or
togonal a todos los y}1*,. . .
.. ., que satisfacen a
las ecuaciones (13,11), es
que el sistema de ecuaciones
/i
respecto a las incgnitas
o lo que es
15. En el 14 se de
mostrar, que toda funcin
f(P) intrnsecamente repre
sentaba por medio del n
cleo K{P, Q) y de una fun
cin h(Q) con cuadrado inte
grable, es decir, toda fun
cin representable en la for
ma
f(P)~K(P, O)h(Q) dQ,
puede ser desarrollada en
una serie absoluta y unifor
memente convergente, segn
las funciones propias (f(P)
del ncleo K(P, Q) (teorema
de Hilbert-Schmidt).
www.FreeLibros.com
t.- .. / .. .. /.. ,, 97
lo mismo, debido a la con
dicin Kj = Kj, que el sis
tema
/r,
/=i
tenga solucin (vase el 3).
En los 12 -18 supondremos que todas las funciones
consideradas pertenecen a la clase de funciones descritas en
la observacin al I, y adems, que todas ellas son reales
y de cuadrado integrable en toda la regin finita de su defi
nicin.
12. Demostracin de la existencia de funciones
proplus de las ecuaciones integrales
con mdeos simtricos
1. Observaciones preliminares. Si existen las integrales
de los cuadrados de las funciones (p(P), f(P) y K{P, Q) en
sus dominios de definicin, que es lo que se ha postulado,
entonces la integral
( J K(P> Q)f(PMQ) dP dQ
tambin existe. En erecto,
\K{P> Q)r(pMQ)\ ^ W . 0 1 r i n r H Q ) .
Por eso
\K(P,Q)VPMQ)\dPdQ^
A i K2(P 6 ) dP dQ +~H<p\P) dP J>(G)tffi.
www.FreeLibros.com
En lo sucesivo, el smbolo [ [ indicar la integracin sobre
todo el dominio de definicin de K(P, 0 , es decir, sobre
toda la regin donde PzG y Qf.G (vase el 4, donde de
manera semejante se define el smbolo J j.
En los 12-18 estudiaremos los ncleos K(P, Q), con
siderados en el ap. 2 del presente pargrafo. Para tales
K(P, Q), todas las integrales dobles, o sea, las integrales
respecto del conjunto ( P, Q), del tipo
JK(P, Q)<r<P)y<Q)dPdQ
pueden considerarse como integrales reiteradas, tomadas
primeramente respecto u Q, y luego respecto a P **.
Hagamos
B<f(P) = j K(P, Q)f(Q) dQ + C',>(P)
y
(7., v0= J yinr(P ) <P-
La funcin Bfp(P) es de cuadrado integrable en G, ya que
por la desigualdad de Bunyakovski
( j Q)f(Q) <IQ) - j m P, Q)]* ilQ. J <Q) dQ
y por eso
J' (J K(P, QMQ) <0)\lP [K(P, 0 ] a dP dQ. J <f(Q) dQ.
98 /-. ,, ./. -. ./.
*) G. M. Fijtengolts, Curso de Clculo Diferencial e Integral, M.,
1960, t. IIT, cap. XVI, 5, pgs. 214-273.
www.FreeLibros.com
Generalizacin de la desigualdad de Bunyakovski. Supon
gamos que la suma de las integrales
f / K(P, Q)<r(.Pyp(Q) dPdQ + c jv 2(P) dPa (Brh (p), ( 1,12)
en donde c es una constante, es definida no negativa. Esto
significa que para cualquier funcin real <f(P), esta suma no
es negativa. A partir de este momento, supondremos que
Entonces, para funciones 7(P) y f(P)
cualesquiera,
(%, v)2 =* (Bf, cp) (By>, y>). (2,12)
Demostracin de la desigualdad (2,12). Como por hip
tesis la suma ( 1,12) es definida no negativa, para cualquier
i real, tenemos que
J jK{P, Q)[<p(P) + fiip(P)][<p{Q) +nV(Q)J dP dO +
+c\['}>(P) + w(P))*dP*0.
Abriendo parntesis, obtenemos:
j $K(P,QMPMQ)dPdQ +
+ n j j K( P, Qt o ( P) V<Q)dPdQ +
+ n\\K(P,Q)<p{Q)H{P)(iPdQ +
+f J JK(P, QMP)f(O) dP dQ +
+c J<p2(P) (fP+2,ue |rp( P)if(P) dP +tyt4 JyP(P) tiP^ 0.
t.- .. / .. .. /.. ,, 99
www.FreeLibros.com
La segunda y tercera integrales son iguales, en virtud de
la simetra de K(P, Q); entonces,, sta desigualdad puede
escribirse as:
(B(p, 7;) + 2 1/1) 4- i>) =0.
Esta ltima desigualdad puede verificarse para cualquier fi
real slo en el caso en que
(Rp, ip)2=z(B<r, tp). (Bip, 1/.),
que es lo que queramos demostrar.
Si K{P,Q) = 0, y c= I, la desigualdad (2,12) se trans
forma en la desigualdad de Bunyakovski
( \<f(P)dP- J i p\P)dP.
2. En lo sucesivo, hasta el 18 inclusive, consideraremos
ecuaciones integrales con ncleo simtrico real del tipo
^ ( P , 0 = ^ f } , (3,12)
en donde K(P, Q) es una funcin uniformemente continua
respecto a ( P,Q), cuando PeG y Q<iG. Supondremos que
la regin G es finita. Por eso, la funcin K(P, Q) serA aco
tada.
Teorema. Sea dada la familia de funciones h{P), para las
cuales
\h\P)dP^M\ (4,12)
en donde M es una constante, igual para todas las funciones
h{P). Entonces, a familia de funciones \p(P), definidas por
la igualdad
y{P) = j K(P, Q)h(Q) dQ,
es uniformemente acotada y equicontinua en G.
100 t. , ./. -/ ./.
www.FreeLibros.com
t.-.. / .. .. /.. ,, 101
La equicontinmdad de una familia significa que para
dos puntos PYy P2 cualesquiera, pertenecientes a G, \f(P~j -
ip(Px)| se hace menor que cualquier nmero e^ -0, si la
distancia PXP.Les menor que un que depende slo
de f., pero no depende ni de la funcin '/(/*) de la familia
considerada, ni de la posicin de los puntos Pt y P, en la
regin G.
Demostracin.
\P(P2) - V(P* = I f K(P2, Q) - K( P t , Q)]KQ) dQ IV.
\J I
- J [K(P.,, O) - K(P,, Q)f dQ -J h\Q) dQ =
[(P.,, Q) K(Pi , Q)f dQ. (5,12)
Al hacer el penltimo paso, hemos utilizado la desigualdad
de Bunyakovski y, al hacer el ltimo, la desigualdad (4,12).
Acotemos la integral que figura en el ltimo miembro de
!a desigualdad (5,12). Para ello, dividamos la regin G en
dos partes, GLy G.. Consideraremos que a G, pertenecen
todos los puntos de G, que distan de uno de los puntos
P, o P no ms que q. En virtud de la igualdad (3,12) y
debido a que K(P,Q) es acotada, tenemos que
\[K{P2,Q)~K(P1,Q)YdQ
G,
ser menor que cualquier e positivo, si Qes menor que cierto
nmero e(f), que depende slo de e y tiende a 0, cuando
e-0. Este nmero g(') no depende de los puntos Pxy P.
Por otra parte, debido a la continuidad uniforme de K(P, Q)
www.FreeLibros.com
102 t ., ./. -. ./.
en la regin G para un q fijo, la integral
[K(P2,Q)-K(Pi ,Q)]*dQ (6, 12)
puede hacerse arbitrariamente pequea, siempre que los
puntos P{y estn suficientemente prximos uno del otro.
La pequeez de la integra! (6,12) depende slo de la distan
cia entre los puntos P] y P, y no de su posicin.
La acotacin uniforme de la familia de funciones ip(P)
se obtiene fcilmente utilizando la desigualdad de Bunya-
kovski. En efecto,
La primera integral del segundo miembro de esta desigual*
dad es acotada, segn (3,12). La segunda es menor que M,
debido a la condicin (4,12).
3. Teorema. La ecuacin integral
posee, aI menos, un valor propio finito, si el ncleo satis
face a las propiedades descritas al principio deI apartado
anterior, y no es idnticamente nulo. En io sucesivo slo
consideraremos ncleos, ya descritos al principio del apar
tado anterior, sin indicarlo expresamente.
La idea de la demostracin de este teorema, dada a con
tinuacin, est expuesta en la columna derecha del ap. 13
del 11. Por primera vez, casi al mismo tiempo, indepen
dientemente ano del otro, demostraron este teorema, por
este mtodo, Hilbert y Holmgren. La mayor dificultad que
se encuentra aqu consiste en la demostracin de la existen-
J K(P, Q)h(Q) dQ K(P Qf dQ 1/ I h-(O) dO.
fi
<{P) = x\k(P, Q)'iiQ) dQ (7,12)
www.FreeLibros.com
t.- .. / .. .. :.. ,,
103
da en la clase considerada de funciones qi(P), que cumplen
la condicin ( 12, 1 1 ), de una funcin taJ, que d el mximo
o el mnimo de la forma integral (10,11) *\ La demostra
cin expuesta aqu de la existencia de tal funcin pertenece
a I, M. Guelfand.
Demostracin. Consideremos el conjunto 5 de funciones
q.'(f), pal a las cuales
J > ( / V P - I . (8, 12)
Sea
/(?*) j K( P, Q) v(PyP(Q)dPdQ.
Los valores de l{<p) en el conjunto S son acotados, En efecto,
por la desigualdad de Bunyakovski
|/(<;')!2 ** { j K\P, Q) dP dO -J j| > ( W ( Q ) dP dQ =
= f j W , Q) dPdQ. \<HP)dP. j v'-Q) dQ.
La primera do las ltimas tres integrales es finita, segn la
condicin (3,12), y Jas dos ltimas son iguales a 1, de acuerdo
con (8, 12),
Sea fim, respectivamente /<A, la cofa inferior, respectiva
mente superior, de los valores de J(<p) en la familia S. Supo
niendo que K(P, Q) no es idnticamente nulo, demostremos
La validez de la afirmacin anloga de Ja existencia de un m
nimo o de un mximo de la forma cuadrtica (6,11) en el conjunto
do vectores unitarios (<cO), y(0 , . . , , qj('0), es consecuencia directa del
toorema de Weierstrass sobre la existencia del mximo o mnimo de
cualquier funcin continua en cualquier conjunto acotado, cerrado,
de puntos, en particular, de la funcin (6,11) en la esfera 1/
www.FreeLibros.com
104 tz.. ., ./. ./.
que por lo menos uno (Je los nmeros /iM o (J, es diferente
de cero. En efecto, en caso contrario, la. integral 7(<p) seria
igual a 0 para todas las funciones <p(P) de la familia S. En
particular, esto sucedera para cualquier funcin <frXp ),
igual a 0 en toda la regin, excepto un entorno arbitraria
mente pequeo de algn punto P^, en donde <p/>,(P) =-0.
Pero, por otra parte, como K(P, Q) no es idnticamente
nulo, indefectiblemente existir un punto (Pv, )0), en donde
Qi})*Q- Podemos suponer, que no coincide con
P, ya que, s K(P, Q) fuera igual aO para todos los puntos
( P, Q), en donde P es distinto de Q, entonces sera idntica
mente nulo, debido a la supuesta continuidad uniforme
de la funcin K(P, Q) respecto a ( P, Q), escrita en la rela
cin (3,12). Pero
* <IQ.) - Kf v . )+ %Q) + J J K(P, 2 k ( P W 0 dP do +
I J' \k(P, QWrXQWvXP ) dP dQ .
L;is dos ltimas integrales escritas aqu se toman sobre
pequeos entornos de los puntos {P, Q()) y ((?, /*); en
virtud de la simetra supuesta de K(P, Q), las integrales
sobre estos dos entornos coinciden, y debido a que
K(P0, Q0)^Q y que en cierto entorno del punto (P0, Q0)
conserva su signo, stas son diferentes de 0. En cambio,
suponamos que las integrales J(<p0 y /(f/.'y,) eran iguales
a 0. Por eso,
/('/*>,+70,) ^ 0,
lo cual es imposible. De este modo, bajo nuestras suposi
ciones, //, y fM no pueden ser ambas guales a 0. Supon
gamos, por ejemplo, que
www.FreeLibros.com
Consideremos una sucesin infinita de funciones norma
lizadas
<Fi{P)> <P)> n ( p)> -
para tas cuales
Fcilmcnlc se comprueba que la diferencia
- % ) + fmJ V c w />
es definida no negativa en el sentido descrito en el apartado
I del presente pargrafo. Por eso, en la desigualdad (2>(2)
se puede considerar
B<p(P) = J ( - K{P, Q'MQ) <Q + W p ( n
Hagamos en esta desigualdad
!p(P) = <l'h(P),
f(P) = Bn (P).
Obtenemos que
(Btp/i, Bflc)'z s , (pk) (BB'Pk , ( 10,12)
Cn virtud de (9,12)
i&ltoVk) i~>- 0. ( M, I 2)
Por otra parte,
De acuerdo con (3,12), Ja primera de estas integrales es
acotada, y la segunda, por la condicin de (8, 12), es igual
a I. Por eso
I ^ O I - a +ImaiH w Cp M,
t.-./ :. .. . :.. ,, 105
www.FreeLibros.com
donde M es una constante que no depende de q>k. De ma
nera anloga se puede obtener una acotacin similar para
BBcpiAplicando la desigualdad de Bunyakovski se puede
demostrar fcilmente que la expresin {BB<pk, Byk) es tam
bin acotada. Por eso, de las relaciones (10.12) y (11,12)
se deduce que
(%/.-> Brfk) v 0. (12,12)
De acuerdo con el apartado 2, la familia de funciones
K^(P)=\k(P, Q)(ph(Q) dQ
es equicontinua y uniformemente acotada. Por eso, segn
el teorema de Arzel (vase, por ej., mis Lecciones de
Ecuaciones Diferenciales Ordinarias, 11), de la sucesin
de funciones K(pk{P) puede extraerse una subsucesin uni
formemente convergente. Supongamos que sta sea
K f d P ) , K<%(n >K < r ,j.n . . .
Sea
KvxP) ^ > -
Se afirma entonces, que la funcin <['*(P) es solucin de la
ecuacin integral (7,12) para A= . En efecto,
! BKVP)\- |- KKfP) + f<MKn (P)\ =
= | K [ - Kcph(P) + pMU n ] I = ! K&fP)\ =
106 t. ., ./. -. ./.
\k(P,Q) BtpiXQ) dQ
www.FreeLibros.com
t. .. / .. .. /.. ,, 107
Por eso, utilizando (12,12), se obtiene que
BKP^P) 0.
De aqu que, en virtud de la convergencia uniforme de
Kn(P)
Bf *(P) = 0,
que es lo que se quera demostrar. La funcin q>*(P) no es
idnticamente nula, ya que en caso contrario, debido a la
relacin (J2,I2), la sucesin fiwf*m(P) Para tambin
tendera en media hacia 0, lo cual es imposible, ya que
/ Ii'mT/JP)]2 dP=,ul, -0.
Observaciones. J. El caso /i,n 0 se reduce al caso estu
diado uM* 0, cambiando de signo a K(P,Q).
2. Hemos demostrado que el extremo inferior, respectiva
mente superior, de los valores de la integral /(7O en el con
junto de las funciones normalizadas <p(P) es igual a la mag
nitud inversa de cierto valor propio A de la ecuacin inte
gral (7,12), siempre que este extremo no sea igual a 0. Por
otra parte, la magnitud inversa de cada valor propio de
la ecuacin (7,12) es uno de los valores de la integral /(</)
para cierta funcin de la clase (8,12). En efecto, e! valor
de la integral %.') para (p(P) = (p,(P), en donde f(P) es una
funcin propia normalizada correspondiente al valor propio
es igual a
J W ) dp\K(P, QMQ) dQ=jV?(P)
Se puede decir tambin, que el extremo superior, respectiva
mente inferior, de los valores de la integral en el con
junto de funciones <p(P), que satisfacen a la condicin
tp\P)<lP*[, (13,12)
www.FreeLibros.com
108
t. ., ./. . ./.
es igual a la magnitud inversa del menor valor propio posi
tivo, respectivamente del mayor negativo, de la ecuacin
(7,12), siempre que este extremo sea diferente de 0. De esto
se desprende, que para todas las funciones q(P) que cum
plen la condicin (13,12), los valores de la integral en
valor absoluto no superan a la magnitud inversa del menor
valor propio A en valor absoluto de la ecuacin (7,12). Ade
ms, de los razonamientos anteriores se ve, que el extremo
superior, respectivamente inferior, de /(</>) en (13,12) se al
canza para <jo, igual a cualquier funcin propia normalizada,
correspondiente al menor valor propio ?. positivo, respecti
vamente, al mayor negativo, en valor absoluto, si este ex
tremo es distinto de 0.
Ejercicio. Demostrar que el conjunto de los valores de
{(p) en (8, 12) puede ser cualquier punto, o un segmento
cerrado, o un segmento semicerrado, al cual no pertenece
el punto / = 0, que es uno de los extremos de este segmento.
El conjunto de los valores de J(f) en (13,12) siempre con
tiene el valor / = 0, y representa un punto o un segmento.
Qu casos son posibles si el ncleo es degenerado?
13. Alunitas propiedades de lax fundones propias y de los
valores propios de as ecuaciones
integrales con iniceos simtricos
1. Teorema. Las funciones propias de a ecuacin (7,12),
correspondientes a diferentes valores propios de A son orto
gonales entre s.
Delimitacin. Sean
<Tl(P) = j K( P, Q)f (Q) dQ, (1,13)
n(P) = h\K\P,Q)f ,(Q)dQ (2,13)
www.FreeLibros.com
en donde Multipliquemos (1,13) por A2(p2(P) y (2,13)
por /,</>,(P). Restando miembro a miembro las igualdades
obtenidas, a integrando la diferencia respecto a P, obtene
mos:
- J *(/\ QYPPWm dQ d P -
- ?.,Aa j j K{P, Q)y.{ P yj-SQ) dQ dP. (3,13)
Cambiando las notaciones de las variables de integracin
en el segundo trmino del segundo miembro, obtenemos:
j j ' W Q)TP)<I\(Q) dP dQ = J j K{Qs P)<p(Q)(pi(P) dQ dP.
Como K(P, Q)~ K(Q, P)> de esto se deduce que el segunda
miembro de (3,13) es igual a 0. Y ya que, por hiptesis,
2^ 2,, resulta
j '<PP)TP)dP=V,
que es lo que queramos demostrar.
2. Teorema. Todos los valares propios de las ecuaciones
integrales con ncleos simtricos son reales.
Demostremos primeramente el siguiente lema. Todas las
funciones propios de las ecuaciones del tipo considerado son
continuas.
En efecto, de acuerdo con lo dicho al final del II,
consideramos que tales funciones son de cuadrado integra
ble. Nuestro lema se deduce inmediatamente del apartado
2 del 1 2.
+ ,,.... .. / /.. ,, 109
www.FreeLibros.com
110 t. , ./. -. ./.
Demostracin del teorema. Supongamos que la ecuacin
integra] (7,12) tiene un valor propio complejo X = a-\-bi, en
donde h*0. Sea y(P) la funcin propia correspondiente.
Entonces
'r<P) = {a + bi)X(P'Qyr.(Q)dQ. (4,13)
Denotando por <jr-(F) la funcin compleja conjugada res
pecto a rp(P), de la identidad (4,13) obtenemos
W ) = (-k')\K(P, QimxlQ-
Segn el teorema 1, debe ser:
|({P)f(Fj(lP = 0.
De esto y del lema que acabamos de demostrar, se deduce
que
T(P)S 0,
por lo cual, para 0, (a + bi) no puede ser valor propio
Observacin. Del teorema demostrado se deduce, que
tanto la parte real como la imaginaria de una funcin pro
pia compleja son tambin fundones propias, que corres
ponden al mismo valor propio.
3. Ortogonalizacin de las funciones propias. Del mismo
modo que las superficies de segundo orden pueden tener
varios semiejes principales de igual longitud, exactamente
igual, a un mismo valor propio A de una ecuacin integral
con ncleo simtrico le pueden corresponder varias funcio
nes propias linealmente independientes. Por el segundo teo
rema de Fredholm, el conjunto de funciones propias lineal-
mente independientes, que corresponden a un mismo valor
www.FreeLibros.com
+/,. ,,.... .. / /.. ,,
111
propio, es siempre finito. Supongamos que dichas funciones
son
PP),<PP),^-><Pm(.n (5,13)
Del hecho de que el valor propio /., correspondiente a estas
funciones es real, es fcil deducir que todas estas funciones
pueden escogerse reales. Segn el teorema I, todas estas
funciones son ortogonales a las funciones propias de la misma
ecuacin integral, pero correspondientes a otros valores 2.
Cualquier combinacin lineal con coeficientes constantes de
las funciones (5,13) es tambin una funcin propia de la
ecuacin (7,12). Demostremos que, formando tales combi
naciones lineales con coeficientes reales de las funciones
(5,13), 3e pueden obtener m funciones propias normaliza-
das y ortogonales entre si, que, por lo tanto, sern funcio
nes propias lineal mente independientes
VtiP).Vn
de la ecuacin (7,12). Hagamos
Elijamos la constante de modo que
jV*(/>)</?= I.
Hagamos
%(./) = %*(/>) + &!/>.(?)}.
en donde b^O y b son ciertas constantes. Elijamos la cons
tante de modo que sea
j VW dP ~b[ f W\T- dP+ | v-'i dp\ = 0.
www.FreeLibros.com
Como |vf dP = 1, entonces, esta desigualdad determina a
unvocamente. Elijamos la constante h de modo que la
norma de ?/>2 sea igual a I. Esto se puede hacer, puesto
que, en virtud de la supuesta independencia lineal de las
funciones (5,13), <>2{P) ft1y1( / >)'no es idnticamente nula.
Y, debido a que todas fas funciones propias dla ecuacin
(7,12) son continuas, la integral del cuadrado de + b^p
no puede ser igual a 0.
Hagamos luego
y>P) = p) + c 2 / ' a ( P) + c i T i (P ) ] c * 0 -
Elijamos la constante c{ de tal manera, que
J V'tVz dP = c j W/f dp + c-\ Wl>\ dP -I <?, J V?<1p\ - 0.
Ya que
j /),?/oclP = 0 y j !/)j r/P = 1,
esta condicin define unvocamente a c,:
<-. = - J W i
De la misma manera se pueden elegir las constantes c2 y
0, de tal forma que
112 t. ,., ./. /- ./.
JW4 dP 0 y j i$dP =
Continuando este proceso, obtenemos yu(P) , . . . , y>m(P)-
Por lo tanto, podemos limitarnos a considerar solamente
aquellas funciones propias lnealmente independientes de la
ecuacin integral considerada que forman un sistema orto-
www.FreeLibros.com
+/,. ,,.... .. / /.. ,, 113
normal. Tomemos un sistema ortonormal de funciones pro
pias de esta ecuacin, maximal en el sentido de que cual
quier funcin propia de esta ecuacin integral se expresa
linealmente medrante las funciones de este sistema. En lo
sucesivo nos ser cmodo numerarlas, de forma que sus
ndices crezcan a medida que crecen los valores absolutos
de los correspondientes valores propios A (el conjunto de
los cuales, segn el 8, no tiene puntos de acumulacin
finitos). Si a un mismo A le corresponden varias funciones
propias linealmene independientes, todas estas funciones
las pondremos juntas. De este modo* obtenemos las suce
siones
Aqu, debajo de cada funcin propia est escrito su valor
propio A correspondiente. Las sucesiones (6,13) y (7,13)
pueden ser tanto finitas como infinitas. En la sucesin (7,13)
algunos A, situados consecutivamente pueden ser iguales.
Esto suceder cuando el valor correspondiente A, de la ecua
cin (7,12) tenga varias funciones propias UneatmetUe inde
pendientes. Pero, por el segundo teorema de Fredholm, para
cada A,-existe solamente un nmero finito de funciones pro
pias ortogonales entre s y, por consiguiente, lincalmentc
independientes. De este mismo teorema se deduce que, si
las sucesiones (6,13) y (7,13) son infinitas, entonces
El sistema (6,3) ser maximal en el sentido indicado ms
arriba, si en la sucesin (7,13) figuran todos los valores
propios de la ecuacin integral considerada, y si a cada
valor propio de stos en la sucesin (6,13) le corresponde
(6.13)
(7.13)
www.FreeLibros.com
un nmero maximal de funciones propias linealmente inde
pendientes, correspondientes a dicho valor propio.
4. Teorema. Sea (px{P) una funcin propia de la ecuacin
integral ( 7 , 1 2 ) , correspondiente al valor propio Entonces,
para el ncleo
KP, Q) = K(P,
'l
las sucesiones de funciones propias y valores propios, anlogas
a la (6,13) y (7,13) para K(P, Q), pueden ser obtenidas de las
sucesiones (6,13) y (7,13), correspondientes al ncleo K(P, Q),
eliminando q>}(P) y A,.
Demostracin. Verifiquemos, primeramente, que cual
quier funcin propia f(P) del ncleo Kt(P, O), correspon
diente a un valor propio es una funcin propia del ncleo
K(P, Q), correspondiente al mismo valor propio. En efecto, sea
({P^xjU P , Q)(f(Q) dQ. (8,13)
Entonces
j V ( / > M ( P ) / > = 0 , ( 9 , 1 3 )
puesto que
< i < p ) < r p ) d p = x j J k p , Q ) < i Q M P ) < i P < i Q =
= A J J | K ( p , Q ) - y i ( f y 0 ] < r , ( P ) f ( Q ) <i p < 1 Q =
=;.[ K(p,QyP](P)<r(Q)dPdQ-
J 91, C G G ) ' I Q \ ? m m <IQ=0-
114 t. ., ./. -. ./.
www.FreeLibros.com
En virtud de la relacin (9,13), la igualdad (8,13) puede
escribirse en la forma siguiente:
H P) = / { [ K(P, Q) - <r(Q) dQ =
=aJ ' K(p,QyriQ)<iQ,
De esta manera, hemos demostrado que <p(P) es una fun
cin propia de la ecuacin integral (7,12), correspondiente
al mismo A.
Demostremos ahora lo recproco, que cada funcin pro
pia <p(P) de la sucesin (6,13), correspondiente a un valor
propio de la sucesin (7,13), para / > ! , es una funcin
propia, correspondiente al mismo valor propio para el
ncleo K}(P, Q). En efecto, sea
<Pi(P) = K f QMQ) - l 00,13)
Entonces
<pi(P)tpl(P)dP^0.
Por eso, de la igualdad (10,13) se sigue que
H kp, q ) + ] <Pi(Q) dQ =
-}iKP,QyrAQ)dQ.
La misma funcin <p(Q) no es funcin propia de la ecuacin
(8,13), puesto que, en caso contrario, de la condicin (9,13)
.
se tendriu que j cp\(P)dP = 0, lo cual es imposible.
+/,. ,,.... .. / /.. ,, 115
www.FreeLibros.com
116
Eciuiq. ., -.. -. ./.
De las proposiciones demostradas, fcilmente se deduce
nuestro teorema.
5. Aplicando sucesivamente el teorema 4 a los ncleos
KP,Q)-Kli P . Q ) - ^ S L , . . . ,
obtendremos que todas las funciones propias <p,(P) de la
sucesin (6,13), correspondientes a los valores propios
de la sucesin (7,13), para el ncleo K(P, Q), son funciones
propias correspondientes a los mismos valores propios para
el ncleo
K JA Q) = K(P, 0 - 1 ?Ap)p ,
si i >m. Estas funciones propias <p(P), i^m, forman un
sistema maximal de funciones propias para la ecuacin
integral con ncleo Km{P, Q), en el sentido de que cualquier
otra funcin propia de este ncleo se expresa linealmente
por medio de stas.
De este modo, fas sucesiones (6,13) y (7,13) para el n
cleo simtrico K(P, Q) pueden ser obtenidas aplicando su
cesivamente el mtodo variacional a ios ncleos K( l\Q),
KtA Q)> KP, Q ),...
6. Supongamos que el ncleo K(P, Q) tiene slo un n
mero finito de funciones propias linealmente independientes
(esto ocurre con cualquier ncleo degenerado). Entonces,
para un m suficientemente grande, el ncleo Km(P, Q) no
tendr ningn valor propio. Por otra parte, puesto que las
funciones <pu(P) son continuas, de acuerdo al lema del apar
tado 2, el ncleo Km(P,Q), al igual que K(P, Q), tendr
que satisfacer a todas las propiedades descritas en el apar-
www.FreeLibros.com
+/,. ,,.... .. /. /.. ,,
LL7
lado 2 del 12. Por esto, de acuerdo con c) apartado 3
del 12, tiene que ser Km(P, Q) s 0, es decir, debe ser
K ( P ,Q ) ^ Z n " (HI3)
-i **
De esta frmula se deduce, que cualquier ncleo de} tipo
considerado con un nmero finito de valores propios (o, lo
que es lo mismo, con un nmero finito de funciones propias
lincaImeiUe independientes), es degenerado.
Observacin. Sea K(P, Q) -= , en donde Osac/,
Q) es un funcin uniformemente continua en P y Q,
y K{P,Q)=K(Q,P). Fcilmente se observa, que para las
funciones propias continuas de una ecuacin integral con
ncleo K(P,Q) del tipo sealado, son vlidos ios teoremas
1 y 2 del presente pargrafo. Utilizando esto, demostrare
mos que la ecuacin integral con ncleo dei tipo indicado
tiene, al menos, un valor propio.
Del lema del se deduce que existe un ni la), que el
ncleo K^m\P, Q) * Ko Ko. , ,oK es continuo. Como
'---- y----
ni veccs
Q) es un ncleo continuo simtrico, segn lo de
mostrado en el 12, existe un nmero fi, y una funcin
V'i(P) continua tales, que
<Fi = I h K ^ n
denota el operador correspondiente al ncleo K<m)(P, Q)
vase la pg. 35). Supongamos que m es impar y hagamos
,, = /lj', en donde A, es un nmero real. Sea e una raz pri
mitiva de la unidad de orden m. En este caso, se verifica
la igualdad
(E- ^KXE- V K ) ( - X^K) . . . (E-X^-'K) =
=(-yX<1)).
www.FreeLibros.com
118 .. ., ./. -. ./.
La jlisteza de esta igualdad se deduce de la identidad alge
braica
(am_ fy>i) = u _ cb)(a - e2b) . . . (a - <.>m~J)).
Por lo tanto,
(E-X'l'K^m'>)if>l = (E~lK)(E-?LleK) .. . (E-
Hagamos
( - a^ K J E - ?.Le-K) . . . ( - v,.
Enionoes
(E - K) !/>, = 0 y /', ^ 0,
es decir, y, es una funcin propia de la ecuacin integral
con ncleo K(P, Q). En efecto, como m es impar, los nme
ros A,eP, para i ^p^m~ 1, son complejos. Luego,{E-X\CpK)x.
para cualquier funcin </?(/>) zO y 1 ^p^m- I, puesto
que, segn el teorema 2 del presente pargrafo, una ecuacin
con ncleo simtrico no tiene valores propios complejos.
Por eso, yit&O, ya que, en caso contrario, obtendramos que,
para cierto l^ p ^ m - l y una funcin </;(/), no idntica
mente nula, (E - XyePKyp = 0.
Con esto queda demostrada nuestra afirmacin.
Ejercicio 1. Demostrar que para el ncleo simtrico
Q) estudiado en el apartado 2 del 12, se puede hallar
la segunda funcin propia de la sucesin (6,13), aplicando
el mtodo variacional descrito en el apartado 3 del 12,
con la nica diferencia de que ahora las funciones conside
radas no slo satisfacen a la condicin (8,12), sino tambin
a la condicin (9,13). Aplicar este mtodo para hallar las
dems funciones propias.
Ejercicio 2. Supongamos que K(P, Q) - -K(P, Q) y que
K{P,Q) satisface a la condicin (3,12). Demostrar que, en-
www.FreeLibros.com
:..- .. u//./s/. i 19
lonces, todos los valores propios son imaginarios, puros,
y las funciones propias no pueden ser reales. Cualquier fun
cin propia es ortogonal a si misma y a todas las dems,
con la posible excepcin de aquellas que correspondan a un
valor propio imaginario conjugado.
, : :..- .. ////.s/-.
Toda funcin /( P), intrnsecamente representable >ur me
dio de a funcin de cuadrado integrable h(P)> o sea., toda
funcin del tipo
/(/>)= J''(/>, QMQ) dQ,
puede ser desarrollada en serie por las funciones propias de
(6,13) del ncleo simtrico K(P, Q), a cual converge absoluta
y uniformemente.
Observacin. Naluralmente, tiene sentido hablar de la
convergencia de esta serie slo en ei caso en que la ecuacin
integral (7,12) tenga un conjunto infinito de funciones pro
pias lincalmente independientes. En caso contraro, esta
serie se reduce a una suma finita. Para no complicar la es
critura, aqu, as como en otros casos anlogos, escribire
mos siempre series (infinitas), recordando que, en el caso
de un nmero finito de funciones propias, estas series se
transforman en sumas finitas, cuya convergencia no hay
necesidad de demostrar.
La demostracin del teorema la haremos construyendo
primeramente una serie por las funciones propias de (6,13),
y demostraremos que dicha serie converge uniformemente;
despus demostraremos que esta serie converge precisa
mente hacia la funcin /(P).
www.FreeLibros.com
120 t. ., c -.. // ./.
Supongamos que la funcin f(P) es desarrollable en
serie por las funciones propias de (6,13), las cuales con
sideraremos ortonormales. Supongamos que
2 C m{P)=AP\ (1,14)
y que la serie que figura en el primer miembro es uniforme
mente convergente. Para determinar el coeficiente Cm, multi
pliquemos ambos miembros de la igualdad (1,14) por cp,(P)
e integremos miembro a miembro sobre toda la regin G
de definicin de las funciones f(P) y f/P). Obtenemos:
cm - J7/>>/,(/>) dP= j' { K(P, Q)h{Q)<Un dP dQ -
\h{Q) f { K(Q, P)'Pm(P) <p) JQ =
_ f rPm(.Q)h{Q) Q _ hm ^2 14)
: + -
donde hacemos
/<,= \myp,Q)dQ.
Demoslremos ahora, que la serie
2 - ^ r 1 (3,14)
l A>
converge absoluta y uniformemente. Para esto, apliquemos
el criterio de Cauchy. Formemos el segmento de la serie
www.FreeLibros.com
Teorema tic ffitburt-SchmUft
121
Aplicando la desigualdad de C-auchy, obtenemos
i+/>
2 IM
<rm
h
m-\-p
2
izzin /orffl
vfT)
*t
(4,14)
Los coeficientes h son los coeficientes de Fourier de la fun
cin h(P) con respecto alus funciones (p,(P)- Por eso, apli
cando la desigualdad de Bessel, hallamos que la serie nu
mrica
2 Q
i-=i
es convergente. Por lo tanto, segn el criterio de Caucliy,
la magnitud
m + p
2 hf
i**tn
ser menor que cualquier t, positiva, s m es suficientemente
grande.
Por otra parte, las magnitudes pueden consde-
*
rarse corno coeficientes de Fourier del desarrollo del ncleo
K{P, Q), considerado como funcin slo de Q, en serie,
segn las funciones Aplicando nuevamente a estos
coeficientes Ja desigualdad de Bessel, hallamos:
Esta ltima integral existe en virtud de la condicin (3,12)
y est acotada por una constante que no depende de P.
Por eso, pt::a cualesquiera m y p, la suma
2
es acotada.
m+p
:
/=*/7
<Pi(
4
www.FreeLibros.com
122 t ., ./. -. ./.
De este modo, de la desigualdad (4,14) hallamos que
para cualquier constante existe un /// tal, que depende
slo de f, que para cualesquiera m--m0 y p^O, se tiene:
De aqu y por el criterio de Cauehy se deduce que la serie
(3,14) es absoluta y uniformemente convergente.
Pasemos ahora a la demostracin de que ]a serie (3,14)
converge precisamente hacia la funcin f(P).
Anotemos, primeramente, que del teorema demostrado
en el apartado 2 del 12, se deduce que la funcin f(P)
y todas las funciones propias %{P) son uniformemente con
tinuas. Adems, acabamos de demostrar que la serie (3,14)
es uniformemente convergente. Por eso, para demostrar
que dicha serie converge hacia f(P), es suficiente demostrar
que esta serie converge en media hacia/(P), es decir, que
Para demostrar esta ltima afirmacin observemos que
de donde, haciendo, para abreviar, la escritura
www.FreeLibros.com
obtenernos:
f\/(p ) - j j | 7,{P)}dP= J J[*(/\ Q) -
- 1 h(Q)\f(n - 2 J >\(P)\dP dQ=
/ = l Ai -I 1 / n i J
= i / J'k,(P, QMQ) f gm(Q)WtP) +g,n(P)] dP dQ -
J f K,(P, Q)KQ)h(P) dP dQ -
~ 5 J J K' P' Q)8m(Q)Km(P) dP dQ. (6,14)
Aqu hemos utilizado el hecho de que, debido a la simetra
del ncleo K(P, Q),
J [ KJP. Q)h(P)gjQ) dPdQ =
= J \K,n(P, Q)KQ)g,ri( P) dP dQ.
Como J J
ifaP)dP= \p(P) dP-gJfy)* j f (P)dP,
existe un nmero M independiente de mf que para todo in
j sl(P) dP-zM, J h\P) dP~M, J [h(P) +gJP)}' dP~M.
Segn la nota 2 al apartado 3 del 12, y al apartado 5 del
13, tenemos que
:..- .. u//.s/-. ] 23
\\Km(P, QMP)v>(Q) dp dQ
J wVy) dP s. M.
M
'\Km+i I
www.FreeLibros.com
124
t. ., ./. -. ./.
EsLo significa que las tres integrales def segundo miembro
de (6,14) tienden a 0 cuando m y por eso la relacin
(5,14) es vlida.
Corolario. Frmula de Schmidt para la resolucin de
ecuaciones integrales con ncleo simtrico.
Consideremos la ecuacin integral
V(P)~XK(P, QMQ) dQ f / ( n (7,14)
en donde K(P, Q) es un ncleo simtrico del tipo descrito
al principio del apartado 2 del 12; f(P) es una funcin
conocida uniformemente continua; f(P) es la funcin in
cgnita y A es un parmetro. Por el primer teorema de
Fredholm ( 8), si A no es un valor propio, la ecuacin inte
gral (7,14) tiene una solucin </(/*) uniformemente continua.
Entonces, por el teorema de Hilbert- Schmidt, la funcin
<f'(P)-J(P) se puede desarrollar en serie por las funciones
propias del ncleo K(P, Q), la cual es absoluta y uniforme
mente convergente. Sea
< n - / ( p ) = c m(P),
i-i
de donde
<!n- ZC,<ri(P)+AP). (8,14)
<=i
Poniendo en la ecuacin (7,14) el segundo miembro de la
igualdad (8,14), en lugar de <p(P), obtenemos que
o* l r*
2 CHP) i f(P) = A 2 J K(P, QMQ) dQ I
i <= 1 / = L J
+ Aj' k(P, Q)M)dQ+f{P) =
- + f{P). (9,14)
iI "i ll 'V
www.FreeLibros.com
Aplicando nuevamente el teorema de HiJbert-Schmidt, he
mos sustituido aqu la integral
:..- .. u//s/-. 125
J V . , Q)(Q) JQ
por la serie absoluta y uniformemente convergente
, donde f * j/ lP M P ) dP.
Es fcil ver tambin, que la primera de las series que figu
ran en el segundo miembro de (9,14) es uniformemente
convergente. Comparando los coeficientes de iguales fun
ciones 9ij(P) en ambos miembros de la igualdad (9,14), ob
tenemos:
De aqu que
y, por lo tanto,
T.P)='-2/i ^ ~ T ^ m , (io,i4)
en donde la serie en el segundo miembro es absoluta y uni
formemente convergente. Esta es la llamada frmula de
E. Scbmidt.
Cuando /. coincide con uno de los valores propios A,
la solucin de (a ecuacin (7,14) se puede obtener de una
manera anloga. En este caso, por el tercer teorema de
Fredholm, y -O para todos los i, a los que corresponden
valores propios, iguales a A. La solucin <f(P) se representa
}f.
en forma de la serie (8,14), en la cual C,= si ).*/.
y C,=a, en donde a, es una constante arbitraria, si l i
www.FreeLibros.com
126 t. ., ./. -. ../.
Ejercicio. Demostrar directamente el teorema de Hil-
bert-Schmidt para ncleos degenerados, utilizando a fr
mula (11,13).
i 15 Teorema del desarrollo de los mdeos
Teorema. El ncleo K( P, Q) del tipo considerado en este
captulo es desarrollabe en la serie
51 I
(1,15)
la cual converge en media hacia K(P, Q) respecto a P, es
decir, para cualquier Q fijo se tiene
J [ K { P , Q ) - 2 d P > 0 . ( 2 , 1 5 )
Demostracin. Consideremos la funcin
K,(P,Q) = \K{P, S)K(S, Q)dS
como funcin solamente de P, considerando a Q fijo. En
tonces, esta funcin, por el teorema de Hilbert - Schmidt,
puede desarrollarse en serie por las funciones propias de
<pi(P), la cual es uniforme y absolutamente convergente res
pecto a P. Sea
w Q)=Zw<(.n
De acuerdo con la frmula (2,14)
rtt.t ,+
c k " Al
www.FreeLibros.com
Por lo tanto,
(3,15)
Segn el teorema de Hilbert-Schmidt, esta serie es abso
luta y uniformemente convergente respecto a P para todo
Q fijo. Por consideraciones de simetra, de esto se deduce
tambin la convergencia absoluta y uniforme de esta serie
respecto a Q para todo P fijo. Pero esto no da ningn fun
damento para deducirla convergencia uniforme de esta serie
respecto al conjunto P y Q. Tal convergencia ser demos
trada en el 17.
De (3,15) se deduce que
^ e ) = l T4 r - (4,15)
/=i /-,
adems, esta ltima serie es convergente, pero no podemos
an afirmar que es uniformemente convergente respecto a Q.
Por otra parte,
= J K(0, P)K{P, Q) dP - 2 j r E p J K(Q, P)f( P) dP +
+ 1 = U Q , Q) - 2 + 1 ^ - =
1-/ / (aa ] f = J A(
= ^ m - J f- (5,i5)
/=! A
De acuerdo con (4,15), esta ltima diferencia tiende a 0,
cuando w ->>. De esto se deduce (2,15), que es lo que se
quera demostrar.
:..- ../ ..// .. / ./. 127
www.FreeLibros.com
16. Clasificacin de los ncleos
Consideremos la forma integral
, r ; t ;t . .t. (1,16)
en donde y( P) es una funcin de cuadrado integrable. Apli
cando la desigualdad de Bunyakovski es fcil demostrar que
la integral (1,16) existe, puesto que existe la integral del
cuadrado de rt (vase (3,12)). Segn el teorema de
Hilbert-Schmidt, la funcin de t
{ rt /
puede desarrollarse en serie por las funciones propias ,;t
del ncleo rt la cual converge uniformemente respecto
<n t Aplicando la frmula (2,14), obtenemos de este modo:
jK{r, Q)yXQ) t!Q= " f 7</J), (2,16)
en donde
: J :t t
Multiplicando ambos miembros de (2,16) por , t e inte
grando respecto a t obtenemos:
j K { P , Q)yXP)/{Q) ( P d Q - j k | . (3,16)
La forma integral y el ncleo K{P, Q) se llaman defutidas
no negativos, respectivamente no positivos, si part cualquier
funcin %{P) de cuadrado integrable, la forma integral (1,16)
es no negativo, respectivamente no positiva (vase el apartado
1 del 12).
128 t. /., ./. -. ...
www.FreeLibros.com
:..- .. t , . ,/. 129
De la frmula (3,16) se ve, que la condicin necesaria
y suficiente pata que la forma (1,16) sea definida no negativa,
respectivamente no positiva, consiste en que todos los sean
positivos, respectivamente negativos.
Llamaremos a la forma (1,16) y al ncleo X(P, Q) cuasi-
definidos no negativos, respectiva mente no positivos, si todos
los correspondientes, a excepcin, posiblemente, de un
nmero finito de ellos, que son positivos, respectivamente
negativos.
17 Teorema de Dini y sus aplicaciones
Teorema de Di/t. Si una sucesin montona de funciones
continuas
converge en lodo el conjunto acotado y cenado F hacia una
funcin continua f{P\ entonces esta sucesin converge uni
formemente.
Demostracin. Sin restringir la generalidad, podemos
considerar q u e / ( f ) s O ; el caso general se reduce a este,
restando f(P] de cada funcin f,P}- Luego podemos con
siderar, que la sucesin (5,17) es montona decreciente en
cada punto P puesto que el caso opuesto se reduce a ste,
cambiando el signo a todas las f/,(P).
De este modo, supongamos que se tiene una sucesin
montona de funciones continuas f k(P), decrecienio en cada
punto, y convergente hacia 0 en cada punto de! conjunto
acotado y cerrado F. Demostremos que esta convergencia
Q sovi
AW* A+.W, 1,2,3,

www.FreeLibros.com
130
t. ., -.. -. ..
es uniforme. Para esto, observemos lo siguiente. Para cada
=-0 y cada punto P del conjunto F existe un m tal, que
0 */(/)-CF.
Por la continuidad de la misma desigualdad tendr
lugar tambin en cierto entorno Op del punto P. Como la
sucesin considerada de funciones es montona decreciente
en el entorno Op, se tiene que
0 ==.//-(Z3> ^ para todo k &m. (2,17)
De este modo, para un e elegido para cada punto P del
conjunto F existe un entorno Op tal de l que, a partir
de cierto k, en dicho entorno es vlida la desigualdad (2,17).
Segn el lema de Heme - Borel, de todo el conjunto de en
tornos Op se puede extraer un subconjunto finito que cubra
a todo el conjunto F. Sea M el mximo de todos los n
meros m, correspondientes a estos entornos. Entonces, evi
dentemente, para todo k^M, en todo el conjunto F. ten
dremos
'{P)~e,
que es lo que se quera demostrar.
Aplicaciones del teorema de Dini.
I. En el 15 hemos demostrado que
K Q , Q ) = 1 ^ - - ( 4 , 1 5 )
<= i i
Sin embargo, todava no sabemos si la serie que figura en
el segundo miembro es uniformemente convergente respecto
n Q o no. Ahora, despus de haber demostrado el teorema
de Dini, podemos resolver fcilmente este problema, En
efecto, segn el lema demostrado en el 8, la funcin
Kj.(Q> Q) es uniformemente continua respecto a Q. Por con
www.FreeLibros.com
siguiente, podemos considerara continua en G (vase la
observacin en la pg. 39). Por lo tanto, la sucesin
yri(Ql

es una sucesin montona de funciones continuas en cada


punto <2 , que converge y tiende a una funcin tambin con
tinua cuando m~ . Por lo tanto, segn el teorema de Dini,
esta convergencia es uniforme en G.
2. De la convergencia uniforme respecto a 0 de la serie
que figura en el segundo miembro de (4. 5) se deduce, que
la sucesin (2,15) tiende a 0 uniformemente respecto u O
(vase (5,15)). Por eso,
J J [ K( P, Q) - $*@ 1^ dP<lQ v 0.
3. De la convergencia uniforme de la serie (4,15) res-
pecio a Q se deduce la convergencia uniforme respecto a
(/', 0 y 1(7convergencia absoluta (le la serie (3,15), puesto
que
:..- . o , . ,/. 131
4. Integrando ambos miembros de (4,15) respecto a O.
hallamos que
\UQ,Q)dQ =
i >=*i *-i
debido a que las funciones <r,( estn normalizadas, fisto
significa que la serie formula por los cuadrados de las magni
tudes inversas a />, es convergente.
5. Teorema de Mereer, Si el ncleo K(P, Q) es cuaside-
finido y uniformemente continuo respecto a {P, Q), (a serie
www.FreeLibros.com
1?2 / ., -.. ,,- ./.
(1,15) converge hacia l no slo en media, sino tambin ab
soluta y uniformemente respecto a ( P, O).
Demostracin. Supongamos, por ejemplo, que el ncleo
K(P, Q) es cuasidefinido no negativo.
Obsrvese que, si el ncleo Km(P, Q) es definido, no
negativo y continuo, entonces siempre ser Km(P,P)^0.
En efecto, si en cierto punto Pn fuese Km(P{), P0)^0, en
tonces, debido a la continuidad, ste sera negativo tambin
en cierto entorno del punto (P0, P0) en el espacio (P/Q).
Construyamos una funcin continua (pi\(P), que sea igual
a 0 en toda la regin G, excepto en un entorno pequeo
C0 del punto P{), en donde esta funcin ser positiva. En
tonces, si la regin es suficientemente pequea, tendre
mos que
K m(P) Q)fpXP)<rp.(Q)dPdQ^ o,
lo que contradice a la suposicin de que el ncleo Km{P, Q)
es definido no negativo.
Como el ncleo K(P,Q) es cuasidefinido no negativo,
para tn suficientemente grande, el ncleo
Km(P, Q) = K(P, Q) -
es definido no negativo (ver el 16). Por eso, segn la pro
posicin recientemente demostrada sobre los ncleos con
tinuos definidos no negativos, para todo m suficientemente
grande, se deber tener
n p . p ) - 2 ^ .
'i
Por lo tanto, la serie
<3 17)
, = 1 +
www.FreeLibros.com
es convergente para todo P. Por eso, la sene
2 r- (4,17)
f = .I *1
tambin es convergente para lodo Q. Como K(F, I) es aco
lado, Lodas las sumas parciales de las serios (3,17) y (4,17)
para iodo P y Q estn acotadas en valor absoluto por cierta
constante
Aplicando la desigualdad de Cauchy y suponiendo que
m es tan grande que para =-m todas las ?.,-*0, obtenemos
t e . - f d , (5>17)
l /et/n I jj /carfj // 2
Aplicando el criterio de convergencia de Cauchy a la serie
(4,17), obtenemos que para cada constante, para cual
quier <2 fijo, existe un (al, suficientemente grande, que
depende slo de e y de Q, que
. 2 Lrjfr - 2 Z-f- ~2M~> Sl m ' 6 )-
/e?//} I wJ /=*W ^<K/o
Por eso, de (a desigualdad (5,17) obtenemos que, para cual
quier p>0 y para m =m^e, Q), tendremos
:..- .. t , . ,/. J33
>-w>
<r,{n<rAQ)
-e.
De aqu, y aplicando el criterio de convergencia de Cauchy,
obtenemos que la serie (1,15) converja absoluta y uniforme
mente respecto a P para cualquier Q fijo.
Debido a la relacin (2,15), demostrada ms arriba, ob-
www.FreeLibros.com
134 t. ./ ./. -. ./.
tenernos de esto que la serie (i, 15) converja precisamente
hacia K(P, Q). En particular,
K{P, P)= . (6,17)
I Al
Como K(P, P) es, por hiptesis, continua en la regin ce
rrada G, y como todas las funciones <,(P) tambin son con
tinuas en esta misma regin (vase el lema del apartado 2
12) y todas las a partir de una dada, son positivas,
por el teorema de Dini la serie del segundo ^ miembro de
(6,17) es uniformemente convergente respecto a P. Por eso,
para cualquier ^ 0 constante existe un tal, que slo
depende de e, que para cualquier 0 ser
"'v / s
i = m *1
De la desigualdad (5,17) se deduce que paca cualesquiera
P y Q, p~0, y las mismas m y f, tendremos que
"!+ niniQ)
Z X,
im 1
por lo que la serie (1,15) es absoluta y uniformemente con
vergente respecto a (P, Q), que es lo que se quera demostrar.
l. Ejemplo
Consideremos la ecuacin integral
/
p(,v) = A J <j (,v, !)</<(!) /, 0 * aW , (1,18)
o
en donde G(x, I) es la funcin de Green, construida en el
2. Como fue indicado all, esta juncin es simtrica res
www.FreeLibros.com
:..- .. t , . ,/.
135
pecto a sus argumentos. Por esto, a la ecuacin integral
(1,18) se le puede aplicar la teora desarrollada en el pre-
sen te captulo. Como se vio en el 2, esta ecuacin posee
un conjunto infinito de funciones y valores propios, que
fueron hallados en el 2. Normalizado las funciones pro
pias y escribiendo bajo las mismas los valores propios A
correspondientes obtenemos las sucesiones
j/| sen x, j/^ sen 2x, . . |/| sen kx,, , .
(2,18)
I, 4 k*
Para simplificar la escritura, pongamos en las ecuaciones
(1,2) l-7t y c = ~ *= I. Aqu, a cada vaior propio X le co-
rresponde slo una funcin propia. Fcilmente se com
prueba que las funciones propias, correspondientes a dife
rentes valores propios, son ortogonales entre s, lo cual
correspondo a la teora general (vase el apartado l del
13).
Aplicando ol teorema de Hilbert-Schmidt, obtenemos
que cualquier funcin J'(x) del tipo
*
f(x) = J G(x, di. I, (3,18)
0
en donde /;() es una funcin de cuadrado integrable y de-
sarrollable en serie por las funciones propias (2,18) del n
cleo G(x\). Supondremos, como hasta ahora lo hemos he
cho (vase la observacin al l), que la funcin h(i) tiene
slo un nmero finito de puntos de discontinuidad. Derive
mos dos veces respecto a x ambos miembros de la igualdad
(3,18), as como lo hicimos en el 2, utilizando para esto
www.FreeLibros.com
t. ., -.. .. ..
Iis frmulas (1,2). Obtenemos que, con la posible excepcin
de un nmero finito de puntos,
/(*>
Mi
Recprocamente, utilizando las frmulas ( 1,2), fcilmente
se comprueba que cualquier funcin f(x), que es continua
junto con su derivada primera en el intervalo cerrado [0, 7t],
que es igual a 0 en los extremos de este intervalo, y que,
en todos los puntos, a excepcin de un nmero finito de ellos,
posee derivada segunda, continua, de cuadrado integrable,
es representable en la forma (3,18), en donde h(x) es tam
bin una funcin de cuadrado integrable; por h(x) se debe
tomar, precisamente, ~- Por lo tanto, segn el teorema
t /v
de Hilbert-Schmidt, resulta que cualquier funcion/fr) con
tinua, que posea derivada primera, continua, en el intervalo
cerrado [0, jt], que tenga en todos los puntos derivada se
gunda, continua, a excepcin de un nmero finito de puntos
de cuadrado integrable, y que satisfaga a /(O) =f{n) = 0,
puede desarrollarse en una serie absoluta y uniformemente
convergente de sen kx. Por la teora de las series trigonom
tricas es conocida la posibilidad de tal desarrollo, bajo su
posiciones ms dbiles respecto a f(x). Para esto es suficiente,
por ejemplo, que f(x) sea continua junto con su derivada
primera en el intervalo cerrado [0, n] y que satisfaga a /(O) =
=/(jr) = 0 *>. En esta ltima clase defunciones es fcil ele
gir una funcin que no satisfaga a las condiciones del teo
rema de Hilbert - Schmidt; por ejemplo, es suficiente tomar
una funcin sin derivada segunda en ningn punto. Esto
*) G. M. Fijengoits, Curso de Clculo Diferencial e Integral, t. III
M.-L., 1960, cap. XIX, 2, pg, 435.
www.FreeLibros.com
:..- .. t. , . ,/.
137
demuestra que, en general, las condiciones del teorema de
Hilbert-Schmidt no son necesarias para la posibilidad del
desarrollo de f(x) en una serie absoluta y uniformemente
convergente por las funciones propias.
Demostremos que el sistema (2,18) es completo, es decir,
que para cualquier funcin /(x), que sea continua en el
intervalo cerrado existe tal combinacin lineal de
sen kx, que el error cuadrtico medio cometido al sustituir
f(x) por esta combinacin lineal es arbitrariamente pequeo.
Obsrvese para esto, que para cualquier funcin f(x) con
tinua, en el intervalo cerrado [0, ti], se puede hallar en dicho
intervalo una funcin f y(x) tal, que sea continua junto con
sus dos primeras derivadas y que se hace 0 en los extremos
de este intervalo, que la norma de la diferencia /(*)-/,(x)
es arbitrariamente pequea. Como acabamos de ver, la fun
cin f^x) puede, a su vez, desarrollarse en una serie uni
formemente convergente de sen kx. Por eso, la funcin /,(x)
puede aproximarse por tal combinacin lineal de sen kx
(por las sumas parciales de la serie de sen kx, las cuales
convergen uniformemente hacia esta funcin), que su error
cuadrtico medio sea arbitrariamente pequeo. De aqu,
y aplicando la desigualdad triangular (vase el ap. 5 11).
es fcil verificar que el sistema (2,18) es completo.
De aqu que, segn lo demostrado en el apartado 10 del
1 1 , el sistema (2,18) es cerrado.
Todos los valores propios del ncleo G(x, ) son posi
tivos. Por eso, a ste se le puede aplicar el teorema de Mercer.
Resulta:
sen x sen >sen 2x sen 2
1 + 4 .....'
en donde la serie en el segundo miembro es absoluta y uni
formemente convergente respecto a (x, ).
www.FreeLibros.com
COMPLEMENTO
19. Reduccin de una forma cuadrtica
a tu forma cannica por medio
de una transformacin ortogonal
Expondremos aqu la demostracin de la posibilidad de
tal reduccin, correspondiente a hi teora de las formas in
tegrales l(f) desarrollada en los 12 y 13.
1. Sealemos, primeramente, algunas propiedades de los
vectores unitarios ortogonales entre s. Sean
./ = ( < / / z;........ t /
n vectores unitarios ortogonales entre s, es decir,
n
2 'l'kW = hp\ k,p n,
lu 1
en donde 6,(/, = 0, si kp y PP=J.
a) D=* |yjP| = 1. En efecto, calculando D por las
reglas conocidas, como el producto de dos determinantes
iguales, obtenemos un determinante, en el cual la diagonal
principal est formada por unidades y los restantes elemen
tos son iguales a 0.
b) Denotemos por el complemento algebraico del
elemento <[l> del determinante D. Entonces
(1,19)
www.FreeLibros.com
t... .. . /- .. / /- 139
En efecto, para cualquier / se verifican las siguientes igual
dades:
2 (tf# 1 - ,) = 0,
Considerndolas como n ecuacioncs lineales, homogneas,
con coeficientes f (p, obtenemos las relaciones (1,19), ya
que Dr0.
c) Z l W f i - b y (2,19)
i . = i
Esto se puede comprobar multiplicando la igualdad (1,19)
por t/^ y sumando respecto a /
2. Consideremos los valores de la forma cuadrtica
Z K,j = Kji, (3,19)
en donde todas las K,j y las son reales, en la esfera
V r>]-=1. (4,19)
( os I
Por el teorema de Wcicrstrass, en el conjunto cerrado,
acolado, de puntos de la esfera (4,19) existe por lo menos
un punto, en donde la funcin continua (3,19) alcanza su
valor mximo. Supongamos que dicho valor mximo es
igual a , y que ste se alcanza en el punto \. ..
*) Vase la nota 2 ai apartado 3 del J2, en. donde se demostr
fa existencia dt una funcin q\P) en la "esfera"
J rp\P) .t I,
que da el mximo valor de la forma integral
r;t/t,/;.t.
siempre que este valor sea difcrente de 0.
www.FreeLibros.com
140 c-,/.-.
Consideremos los valores de la forma (3,19) en los pun
ios de interseccin de la esfera (4,19) con el hiper-
plano perpendicular al vector . . . , y que pasa
por el centro de la esfera. Por el mismo teorema de Weiers-
trass, entre los puntos del conjunto Sn~2 existe por lo me
nos uno, en donde la forma (3,19) alcanza su valor mximo
respecto a los dems puntos de Supongamos que este
valor mximo es igual a x. y que se alcanza en el punto
r e
consideremos luego los valores de la forma (3,19) en
los punios del conjunto Sn_a, que es la interseccin de
con el hiperplano que pasa por el origen de coordenadas,
perpendicular al vector qty). Sea /<3 el extremo
superior de los valores de la forma (3,19) en Sn^2; por el
teorema de Weierstrass, ste se alcanza por lo menos en un
punto de S,-3; supongamos que tal punto es . . .
Siguiendo estos razonamientos, hallamos n vectores uni
tarios, perpendiculares entre s, <p,. = (yj^ , >f^)> k=*l,. . .
. . n. Tommoslos como direcciones de los nuevos ejes
coordenados Or/>,,. . Of. Entonces
k) = k=\,. . .,n.
1=1
Cada conjunto S~i, es la interseccin del plano de dimen
sin (n-k ! 1)
iji ) - j =, . . =0
con la esfera
= l . (5,19)
(=1
El hecho de que la esfera (4,19) se transforma en la (5,19),
www.FreeLibros.com
t... .. , /- . / /- 141
y por lo tanto, para todos Jos puntos del conjunto Sn-cse
cumple la desigualdad (5,19), se deduce de que
I y * ) ] * - ! 2 'r W W i ^ -
i = y /,-1 ,y=
= 2
y segn (2,19),
'fWP^btj-
;.=*i
Se afirma que en las nuevas coordenadas /'(,) la forma
(3,19) toma la forma
Fs 2 2 (6,19)
r.y=i (.y-i i=i
El hecho de que
*,? = /<y,
se deduce de que nuestra forma toma el valor //., en el punto
A, cuyas coordenadas y> son todas iguales a 0, excepto
r'K la cual es igual a 1. La igualdad Kf = = 0, para
j=-1, puede demostrarse de la manera siguiente.
Supongamos que para ciertoj- I se tiene fCt/* 0. Haga
mos todas las excepto y 1f-i\iguales a 0. Enton-
CCS
F- l hh>0)] 2+ 2K*)yMhp<J) + Hjlyt]2.
Sea |/</>| muy pequea en comparacin con |y(1)|, y
Entonces, despreciando las magnitudes de orden [i/>(^ ]2, ob
tenemos:
FMfr + ZKUtfn. (7,19)
www.FreeLibros.com
142
c-,/.-.
El signo de y>Wlo escogemos de tal modo que 2K$tpV) -0.
Entonces, de la relacin (.7,19) se desprende que en la esfera
(5,19), o, lo que es lo mismo, en la esfera (4,19), existen
puntos donde F>-,ul5 lo cual contradice a la definicin de
fij. Con esto se termina la demostracin de que todos los
= 0 para j =>1. De la misma manera se demuestra que
todos los dems K* son iguales a 0, si i ^ j.
De nuestra propia construccin se tiene que
Algunos de tos nmeros //, pueden ser iguales a 0, y otros,
negativos. Numeremos los fi y los y> respectivos de tal
forma que
( i.* . . . = /i, =... a fim\fim+j = f^ n = 0 (/, * 0 para i = m).
Hagamos
Si A,, . . son positivos, y Ap+i, . . Xm negativos, en
tonces ]/7j,. . //>.,. se llaman semiejes reales de la super
ficie
Fcilmente se observa que esta superficie intercepta segmen
tos yp.f en tosejes para i~ l, 2, . . v; /A, es ei
menor de los semiejes reales. Las magnitudes f ~).v+i, . . .
) . , = ! , . . . , m .
/'i
Entonces la igualdad (6,19) toma la forma
(8,19)
www.FreeLibros.com
...,]/ - se llaman semiejes imaginarios de la superficie
(8,19). Esta superficie no se corta con los ejes reales 0//F+1>,...
. . . ,
Si m~=n, en el espacio (<p(1\. . .,<7>(,j)) y en el
. . .,i///')) (a ecuacin (8,19) representa una superficie cilin
drica, cuyas generatrices son paralelas al plano
ysO) =. , . = Q.
u
En este caso, es natural decir que los semiejes correspon
dientes a los ejes . . . , Qyn) son infinitos.
En los apartados siguientes volveremos a la anterior nu
meracin de los ejes.
3. Demostremos que
t... .. / /- . / /- 141
n
En efecto, en virtud de nuestra construccin, para todas
las <p(>) reales tiene que ser
r*M>(<i(1)r - K i T u ' ^ o .
i-. ,j='
Si para todo /, entonces F= 0, es decir, se
alcanza el valor mnimo. Por eso las derivadas parciales
respecto a todas las variables, tomadas para estos valores
de r<, son iguales a cero, lo que nos da las igualdades
(9,19).
4. Al hallar el eje Oi>(2\en lugar de considerar el valor
de la forma (3,19) en el conjunto Sn_2, que es la interseccin
de la esfera (4,19) con el hiperplano 0, si t2 0, se
pueden considerar los valores de la forma
K r / |i ? M J> (10,19)
www.FreeLibros.com
144 c-,/.-.
cu toda Ja esfera (4,19). Es fcil demostrar, que la forma
( 10, i9) alcanza su valor mximo fi* en cierto punto
.. perteneciente a Sn-. y = efecto,
2 {K - =
/,/=! 1 = 2
Por eso, para que la forma (10,19) tome sil valor mximo
en el punto A* de la esfera (4,19) o, lo que es lo mismo,
de la esfera (5,19), es necesario, si /t2^ 0, que para este punto
todas las />,sean iguales a 0, excepto aquellas a tas que
les corresponden valores u, iguales a j., a su vez, la suma
de los cuadrados de estas ltimas debeser igual a l. Aqu
conservamos la numeracin inicial de segn la cual
Por lo tanto, /i* debe ser igual a /3; el punto A* est en
S,2 y ste puede tomarse por A2. Este mtodo de hallar
el segundo semieje no sera aplicable si /2=s0, ya que en
tonces la forma (11,19) alcanzara su valor mximo 0, por
ejemplo, para
Vi e l , >Aa,/3 = -. .=i/V,-0.
De la misma manera, si i3>0, la bsqueda del eje Oi/>a
se puede reducir a hallar el mximo de la forma
i [K1 ~ m W S - M&WrUV J) (12, 19)
en la esfera (4,19), etc.
Aplicando a Ja forma (10,19) los mismos razonamientos
que en el apartado 3, se puede demostrar, si que
www.FreeLibros.com
u.. .. / /- . / /-
145
/ip, i= 1, 2, . . n, deben satisfacer a las ecuaciones
Utilizando la forma (12,19) y otras formas construidas
anlogamente, se puede demostrar que <$\ . . co
rrespondientes a tambin satisfacen a las
ecuaciones del tipo (9,19).
Si, en cambio, (<>= 0, esto significa que la forma cua
drtica
para cualesquiera /= 1, 2 , . . y es igual a cero, si
<7,0) = (j4') para todo /. igualando a cero las derivadas par
ciales de esta forma, respecto a todas las variables, tomadas
para los valores < / > < ' ) = obtenemos que </ip satisfagan
a un sistema de ecuaciones del tipo (9,19). Estos mismos
razonamientos son aplicables a los otros vectores que
corresponden a tu~ 0.
Si i<>0, entonces los nmeros /<3, fi?>, . . / < , que son,
en este caso, todos negativos, y sus correspondientes vecto
res <fli\ . . ., 1$>), i= 1 , 2 , . . . , n, pueden hallarse con
siderando el mnimo de la forma (11,19) (en lugar de su
mximo). En este caso, los nmeros /i,,, /i;j, . .., fin y sus
vectores correspondientes se obtienen en orden inverso. An
0
puesto que
/'M = 2 KjP, ' = U - (13,19)
J= <
2 J) J)= 0-
2 \k<j - / v / i ' W W 0 r (i) - o,
10
www.FreeLibros.com
146
c-,/.-.
logamente se puede proceder si fi3-<0, etc. En todos estos
casos se conserva la ecuacin (13,19) y las ecuaciones an
logas a ella para los dems vectores (<jn^ , <pjp, . .
Ejercicio. Basndose en las ecuaciones (9,19), (13,19), . .
elaborar un mtodo no variacional de reduccin de las for
mas cuadrticas a la forma cannica, utilizando (a solucin
de la ecuacin caracterstica
Wj-nW-O.
s : :. . / ... .,/.
./. -. . / /. .. /..
.. ... .,//. .,. t./.,..
La teora de las ecuaciones integrales con ncleo sim
trico, construida anteriormente, se generaliza fcilmente a
ecuaciones integrales con ncleos simtricos e integrables,
segn Lebesgue, junto con sus cuadrados, lo que le da ms
armona.
La construccin de esta nueva teora tiene mucho de
parecido con las construcciones de los 11 - 16 y se lleva
a cabo exactamente por el mismo plan. Por eso nos limi
taremos slo a exponer aquellos lugares de esta teora que
se diferencian esencialmente de los correspondientes a la
teora desarrollada anteriormente.
I. Supondremos conocida la teora de la integral de
Lebesgue *>. Sealemos solamente algunas propiedades de
las funciones integrables segn Lebesgue (sumables).
a) Teorema de Fubim. Supongamos que la funcin f(P, Q)
es integrable sobre el producto topolgico de los conjuntos
*) Vase, por ejemplo, I. P. Natanson, Teora de Funciones de
Variable Real, : ed., Fizmatguiz, M 1957, Vase tambin G. E. Shilov,
Anlisis Matemtico (curso especial), : ed., Fizmatguiz, 1961.
www.FreeLibros.com
medibles Gt y G2, donde PGi y 0G2. Escribamos esta
integral en la forma
/ = J J/(P, Q)<1PJQ.
Gi rj,
Entonces, para casi todos Jos puntos Q, pertenecientes a G<>,
existe Ja integral
/ ( 0 = JAP,Q)dP;
n,
la funcin I{Q) es sumable y
( , 20)
o,
Recprocamente, si para casi todos los puntos QG>,
existe Ja integra!
r*(Q)=f\AP,Q)\<tP,
o,
en donde la funcin f *(Q) es sumable sobre G2 y si f(P, Q)
es medible en GXG, entonces existe tambin la integral / y
es vlida la igualdad (1 ,20).
Recordemos que se llama producto topofgico GG2 de
los conjuntos Gt y G%al conjunto de "puntos (P, Q) tales,
que /*(?! y QxG2. Se supone que los conjuntos C,, G. y
G]G< estn respectivamente en los espacios eucldeos (jcj, . . .
xdi), .,yj,) y xd)(y}, . . ydt). Si los
puntos P y Q se determinaban, respectivamente, por las
coordenadas (x,, . . xd) e (yl t . . ydj), entonces, el punto
(P, Q) se determina por las coordenadas (xl f . . xdt> y, ,. . .
. . . , y dt). Las medidas de los conjuntos Gx, G2 y G^ G se
c../. .. / . .. , .. ., 147
10
www.FreeLibros.com
148 c-,/.-.
definen como las medidas de Lebesgue en los espacios eucli-
dcos de dimensiones dx, d, y dr + d2, respectivamente.
b) Supongamos que la funcin f(S) est definida en la
regin (/-dimensional G, y que la integral de/(S) sobre cual
quier cubo /-dimensional, situado dentro de G, con los
aristas paralelas a los ejes coordenados, es igual a 0. En
tonces f(S) = 0 en casi todo G.
c) Teorema de Fisher - Riesz. Sea dada una sucesin in
finita de funciones de cuadrado sumable en cierto conjumo
medible G':
A ( p ) , u n . . u n . -
Supongamos que para cada .=-0 existe un nmero N tal,
que
Jefn-nWP**, (2.20)
<7
si n>-N y Entonces, en la regin G existe una fun
cin f(P) de cuadrado sumable tal, que
J (fn / ) 2 dP 0. (3,20)
r,
La afirmacin recproca, que de (3,20) se deduce (2,20),
es evidente.
En lo sucesivo la convergencia de una sucesin de fun
ciones se entiende slo en media. El teorema de Fisher-
Fiesz es el anlogo de la bien conocida condicin necesaria
y suficiente (criterio) de convergencia de Gauchy. El espacio
de funciones, en el cual el criterio de Cauchy asegura la
convergencia de una sucesin de funciones, se llama com
pleto. Esto significa, que el espacio de funciones de cuadrado
sumable, en donde la convergencia se entiende en media, es
completo.
www.FreeLibros.com
c../. / . .. / .. t.,
149
(j) En la clase de funciones de cuadrado sumable se pue
den realizar todas las construcciones y demostrar todas las
proposiciones hechas en los apartados 1 - 10 del II, para
funciones que tienen discontinuidades slo en un nmero
finito de puntos, de lneas o de superficies -dimensionales
(k =*2, 3,. . d- I), cuando la integracin se entenda segn
Cauchy. Adems, se puede demostrar, que en esta clase los
conceptos de sistema completo y cerrado de funciones orto
gonales normalizadas coinciden totalmente. La demostra
cin dada en el apartado 10 del I I , de que un sistema
completo es cerrado se extiende completamente a la clase
considerada de funciones de cuadrado sumable. La afirma
cin de que en esta clase un sistema de funciones ortogonales
normalizadas que es cerrado es tambin completo, se de
muestra de Ja manera siguiente.
Supongamos que un sistema de funciones ortogonales
normalizadas
<pn <rP), , <r,P), - (4,20)
no es completo. Entonces existir una funcin f(P) de cua
drado sumable tal, que
\f\P)dP- J V ' 2 - 0 , (5,20)
en donde
f(P)?*(P) dP.
Consideremos la sucesin de sumas parciales de la serie
Z a)fP* (.P)- (6,20)
Esta satisface al criterio de convergencia de Cauchy, puesto
que
r r "H-rt il! m-t-n
I a m{ P) \ dP= Z
www.FreeLibros.com
150
c-,/.-.
y la serie numrica infinita es convergente, por lo cual
para esta ltima se cumple el criterio de Cauchy. Por esto,
segn el teorema de Fisher- Riesz, existe una funcin y(P)
de cuadrado integrable, hacia la cual la serie (6,20) con
verge en media. Entonces, la funcin
f ( P) - V( P)
ser ortogonal a todas las funciones <p(P), y la integral de
su cuadrado, que es igual al primer miembro de (5,20), ser
positiva. Por lo tanto, el sistema (4,20) no es cerrado.
e) Sealemos una propiedad importante ms de las fun
ciones de cuadrado sumable, que utilizaremos en lo suce
sivo.
Para cualquier funcin F(P) de cuadrado sumable en un
conjunto medible G, y para cualquier f--0 existe una fun
cin continua f(P) tal, que
J ir(P)
2. Al integrar una funcin segn Lebesgue, los valores
del subntegrando en un conjunto de medida 0 no influyen
en el valor de esta integral. Puede considerarse inclusive
que esta funcin no est definida en un conjunto de medida
0. Por eso, a todas las funciones que coinciden en un con
junto de medida completa, es decir, que difieren slo en un
conjunto de medida 0, en donde algunas de estas funciones
pueden incluso no estar definidas, es natural considerarlas
equivalentes y no diferenciarlas una de otra. Por eso, llama
*) V. I. Smirnov, Curso tic Matemticas Superiores, t. V., Fizmru-
guiz, M., 1959, cap. II, 3, p. 60; I. P. Natanson. Teora ce Funciones
e Variable Real, 2a cd., Fizmatguiz, M., 1957, cap. VH y XL1.
www.FreeLibros.com
c../. .. / . .. , .. . 151
remos solucin de Ja ecuacin integral
r ( P ) = X K ( P , Q ) v { Q ) d Q ( 7 , 2 0 )
a
a cualquier funcin de cuadrado sumable que satisfaga
a esta ecuacin para casi todos los P.
La demostracin de que para cierto A real, en la clase
de las funciones de cuadrado sumable, existe una solucin
no trivial de la ecuacin integral (7,20) con ncleo real si
mtrico, se lleva a cabo por el mismo plan que fue admitido
en el 12. Por esto expondremos slo aquellas partes de la
demostracin que se diferencien esencialmente de los co
rrespondientes lugares del 12. Supondremos que existe la
integral
K%P,Q)c!PcJQ (8,20)
extendida sobre el producto topolgico de dos conjuntos
inedibles, iguales, G, a los cuales pertenecen los puntos P
y Q. Por eJ teorema de Fubini, de esto se deduce que para
casi todos los P existe la integral
Q)dQ
y, por lo tanto, para casi todo P existe la integral
J K(P, Q)t(Q) dQ
para cualquier funcin <p(Q) de cuadrado sumable, ya que
I *( P, QM Q) I ^ '/}
Aqu, como en lo sucesivo, el smbolo J J denota la
integracin sobre el producto topolgico de dos conjuntos
www.FreeLibros.com
152 c-,/.-.
medibles, iguales, G, a los cuales pertenecen los puntos P
y Q; el smbolo | denota la integracin sobre el conjunto G.
Para cualquier funcin (f(P) de cuadrado sumable existe
la integral
J J>(/\ QyP(PyiQ) dP dQ
puesto que
IK(P. QMPMQ)\ Q)+'iW<ism >
J J < PyfiQ) dP dQ = j <P2(P) dP. j cpHO) dQ.
En lo sucesivo consideraremos slo ncleos K(P, Q) si
mtricos, para los que existe la integral (8,20). En general,
en todo lo que sigue se considerarn slo funciones de cua
drado integrable, segn Lebesgue, en todo el conjunto G en
que estn definidas. No volveremos a repetir esto cada vez.
3. El apartado I del 12 se repite totalmente.
En lugar del teorema demostrado en el apartado 2 del
12 demostraremos el siguiente:
Sea dada una familia 11 de funciones li(P), para cada una
de las cuales
j h\P) dP M"1, (9,20)
M 0,
en donde M es una constante, la misma para todas las fun
ciones h( P). Entonces, la familia 2! de las funciones y(P),
definidas por la igualdad
>P(P)= K(P,Q)h(Q)dQ,
www.FreeLibros.com
c../. .. / . .. / .. ., 153
es compacta. Esta significa que de cada conjunta infinito de
tales funciones se puede extraer una sucesin convergente en
media.
Demostracin. Si K{P, Q) es una funcin uniformemente
continua cuando P$.G y QG, entonces, por el teorema de-
mostrado en el apartado 2 del 12, la familia de funciones
W(P) es equiconiinua y uniformemente acotada.
Segn el teorema de Arzel, la familia de funciones i>(P)
es compacta, o sea, de cualquier sucesin infinita de fun
ciones ip(P) puede extraerse una sucesin parcial uniforme
mente convergente y, por lo tanto, convergente en media.
Empleando esta proposicin, demostraremos la compacidad
de la familia para un ncleo arbitrario K(P, Q) de cua
drado smatele.
De acuerdo con la nota c) del apartado I del presente
pargrafo, podemos construir una sucesin de funciones
continuas
K,(P, Q), KP, Q), . . ... KJP,
tal que
J j' K( P, Q) - K( P, Q)f dP dQ - (10,20)
- 1 , 2 , . . .
Sea dada ahora una sucesin infinita de funciones
nP)>V-Ji P), ' . , VP), < 11,20)
de Ja familia 2> obtenida por medio de Ja sucesin de fun
ciones
>,i(P), hP),. .., h, P ) , . . . (12,20)
de la familia H, de tal modo que i>( = Kh (ver (2,6)).
www.FreeLibros.com
Como K{(P< Q) es lina funcin conlinua, de la suecsin
(12,20) se puede extraer una subsuccsin infinita
h[K n WKn >w x n . . . (13,20)
tal, que la sucesin de funciones
K^\KJp........ Krfp, . . . (14,20)
converge uniformemente y, por lo tanto, converge en media.
Luego, de la sucesin (13,20) nuevamente extraemos una
subsucesjn infinita
!>Hn> h(P), . .. (15,20)
tal, que la sucesin
\KJtf\ , . ..
converge en media, etc.
Es fcil ver que la sucesin
h[l\P\ itfXP) , . . . , /!<">(P) (1(5,20)
es tal, que para cualquier Km{P,Q), la sucesin
Kft\ Kmh%\. . KJi<X\ . . . (17,20)
converge en media.
Demostremos ahora que la sucesin de funciones y(P)
de la familia ]?
Ktfp, Ktp,. . . , Ktg\ . .
t
que es una subsucesin de ( 11,20)., tambin converge en
media.
En efecto, por la desigualdad triangular (vase la pg. 83)
11 Kh\p - Ktp\ M I Kh^ ~ KPW\ I +
+11KJ& - Kph^ H + ll - Kfff II- d 3,20)
154 c-,/.-.
www.FreeLibros.com
c../. . / . .. / .. ,., 155
De la condicin (10,20) se deduce cine p puede elegirse tan
grande que \\Kh- KJt\\sea menor que cualquier e =*0 para
todas las funciones de la familia H. Es fcil convencerse de
esto aplicando la desigualdad de Bunyakovski, ya que
( J [K( P, Q) - Kp(P, Q)\h(Q) clQ)~ *
- J [K(P, Q) ~ KP{P, Q)Y dQh\Q) dQ
y
\\Kh-Ki\\*
i
= M[ J J (K(P, Q) - Kp(P, Q)fdP dQ]2 - M .
Tomando p de este modo, podemos indicar un nmero N
tal que, si h y m son mayores que N, se tiene
\\KphW-KW\\
puesto que la sucesin (17,20) converge en media. En este
caso, el primer miembro de la desigualdad (18,20) es menor
que 3e. De este modo queda demostrado que fa familia
es compacta.
4. La demostracin de la existencia de valores propios
finitos para las ecuaciones integrales con ncleo simtrico
K(P, Q) de cuadrado sumable respecto al conjunto ( P, Q\
si G es acotado, se realiza de la misma manera que en el
apartado 3 del 12. La diferencia consiste slo en lo si
guiente.
a) La funcin rprjiP) se debe definir de tal forma que
sea igual a 0 en todos los puntos, a excepcin de la inter
seccin del conjunto G con cierto cubo cuyo centro
est situado en el punto P0 y los lados son paralelos a los
www.FreeLibros.com
156 c-,/.-.
ejes coordenados. En esta interseccin, la funcin q'i\(P)
debe ser igual a l. Entonces, la hiptesis de que /% = ,, = 0,
nos lleva a la conclusin de que la integral
Q) dPdQ,
tomada sobre la interseccin de G-G con cualquier cubo
2/-dimensional en el espacio (P, Q), debe ser igual a 0, si
las aristas de este cubo son paralelas a los ejes coordenados.
Utilizando el apartado 1 b) del presente pargrafo, es fcil
obtener de esto que K(P,Q) = 0 en casi todo el producto
lopolgieo del conjunto G por s mismo (incluso si G no
es una regin).
b) La convergencia debe entenderse en todas partes como
convergencia en media y, en correspondencia con esto, en
lugar del teorema demostrado en el apartado 2 del 12,
debe aplicarse el teorema demostrado en el punto anterior
del presente pargrafo.
c) Para cada valor propio existe slo un nmero finito
de funciones propias linealmente independientes, y los valo
res propios no pueden tener puntos de acu mu (acin finitos.
Esto puede demostrarse de la manera siguiente. Construya
mos para el ncleo dado K(P, Q) las sucesiones (6,13) y (7,13)
de la misma manera que se hizo en el 13. A priori, no ex
cluiremos la posibilidad de que todos los miembros de la
sucesin (7,13), a partir de uno de ellos, coincidan. Enton
ces, para cualquier m,
Jj [k(P, Q) - J --^ (~]'dP dO -
www.FreeLibros.com
c../. .. / . . / . ., J57
De esto se deduce que la serie
es convergente, por lo cual /, 0 para /-*.
Observacin. De este modo, una ecuacin integral con
ncleo de cuadrado integrable posee no ms de un con
junto numerable*) de valores propios y de funciones pro
pias lincalmenle independientes. Este hecho es un caso parti
cular de que cualquier sistema orlonormal de funciones S,
definidas en una regin finita, tiene potencia numerable o
finita. En electo, del teorema de Weierstrass se deduce fcil
mente, que para cualquier funcin f t S existe un polinomio
</y en las coordenadas con coeficientes racionales tal, que
la norma de la diferencia f~<P/ es menor que cualquier e ^ 0
1/2
previamente asignado y, en particular, es menor que ~ .
Pero el conjunto de tales polinomios es numerable y, si S
no fuese numerable, entonces existiran f ' & f (ales, que
= De esto, por la desigualdad triangular (vase el
apartado 5 del 11), la norma de.,la diferencia f -J'" ser
menor que ]/2. Pero esto es imposible, ya que, como
fcilmente se verifica, la norma de la diferencia entre
dos funciones normalizadas ortogonales cualesquiera es
igual a / 2.
5. Los razonamientos de los 13-16 conservan total
mente su valor, si el conjunto G es acotado. Es necesario
solamente considerar en todas partes la convergencia media
en lugar de la convergencia uniforme. Por ejemplo, el teo~
*> Esto significa que este conjunto es finito o numerable (N. del
R. de la tracl.).
www.FreeLibros.com
158
c-,/.-.
rema de Hilbert - Sehmidt afirma ahora la convergencia en
meda de la serie (3,14) hacia ia funcin f(P) intrnsecamente
representable.
6. Es fcil demostrar todos los teoremas de Fredholm
para fas ecuaciones integrales (7,14) con ncleos simtricos
K(P,Q) del tipo considerado, si el conjunto G, por el cual
se toma la integra!, es acotado.
Para cualquier funcin f{P) de cuadrado sumable del
segundo miembro de Ja ecuacin (7,t4), se pueden formar
los coeficientes de Fourier, utilizando el sistema de funcio
nes propias ortonormales (6,13) del ncleo K(P,Q). En
virtud de la desigualdad de Bessel, la suma de los cuadra
dos de estos coeficientes es convergente. Aplicando el teo
rema de Fisher-Riesz, es fcil comprobar que, si ?no es
igual a algn valor propio la serie del segundo miembro
de (10,14), para cualquier funcin f(P) de cuadrado suma-
ble, converge en media hacia cierta funcin f 0(P), tambin
de cuadrado sumable. Entonces esta funcin <p0(P) satisface
a la ecuacin (7,14) enxjHsi todos los puntos. Para verificar
esto, obsrvese, ante todo, que, si los resultados de sustituir
<I\)(P) en ambos miembros de la ecuacin (7,14) (FX(P) y
F(P), respectivamente) no coincidiesen en casi todos los
puntos, entonces la integral del cuadrado de su diferencia
no sera igual a 0. Demostremos que esto no puede ser.
Para esto, en ambos miembros de la ecuacin (7,14) susti
tuyamos <i(P) por
/ l + A
Supongamos que los resultados de esta sustitucin sean las
funciones F[n\P) y F[n\P). Es evidente, que para n sufi
cientemente grande, las normas (distancias cuadrticas me
www.FreeLibros.com
das) de las diferencias F\- F{n^ y /'2 - que denotare
mos por
II _ Ftn) II y II ^2 ~ II > respectivamente,
sern arbitrariamente pequeas. Aplicando la desigualdad
triangular, de aqu obtenemos que no puede tener lugar la
relacin
ii w - w w ^ o,
si
IUW all*0.
Pero, por otra parte,
F%\P) =
= A2 f K(P, Q) t 2# c!Q + \k(P, Q)f(Q) dQ \f(P).
: e l : + :
Aplicando el teorema de Hilberl-Schmidt en su nuevo
enunciado, y tambin el hecho de que <p son funciones pro
pias del ncleo K(P, Q), obtenemos de esto que, en casi
todos tos puntos,
11?\P) = Z t 7 + =
i=i Ai
f -f^AP)\ z j M . n
, = 1 /' - / i = n+l A
Por lo tanto, en casi todos^ los puntos
fiH n
c../. .. / . . / .. . 159
F^\P)-t\n\P) = X Z U [
l^n+1 A<
www.FreeLibros.com
160 c-,/.-.
por lo cual,
W o i h *2 ! -o.
/ J. /./
De este modo, la hiptesis de que r)\,(P) no satisface en casi
todos los puntos a la ecuaci (7,14) nos ha llevado a lina
contradiccin.
Por lo tanto, si A no es igual a ninguno de los valores
propios de la ecuacin (7,14), entonces esta ecuacin tiene
solucin para cualquier funcin f(P). F.sta solucin es nica.
Bn efecto, si <p(P) y <f:2(P) fueran soluciones de la ecuacin
(7,14), entonces < / ; , ( / * ) seria solucin de la ecuacin
homognea correspondiente y, contra lo supuesto, A sera
un valor propio. De este modo, el primor teorema de Fred
holm queda demostrado.
Por la simetra del ncleo K(P, Q), el segundo teorema
de Fredholm es una consecuencia evidente de la nota c)
del apartado 4.
Cuando A coincide con uno de los valores A,, para ia
existencia de una solucin de la ecuacin (7,14), es nece
sario que/(/O sea ortogonal a todas las funciones propias
<I^\P),.. <ln(P\ correspondientes a este A,, ya que en
tonces se debe tener que:
\<f{P)\P)<lP =
= A, J JaT(P, QMQ)i$(P)c(PdQ+ AP)<\P) dP =
- J <r(Q)<(Q) dQ+jf(P)q>KP) dP,
k = 1, 2 , . . / .
www.FreeLibros.com
c../. .. / . .. / . ., 161
Verifiquemos que esta condicin es suficiente. Para esto,
formemos la serie (10,14), haciendo que en tos trminos en
/t
que ?. = ). (y por eso f~0) la relacin ~-r- sea igual a
cualquier nmero fijo ocy. Entonces, anlogamente a lo an
terior se verifica que la serie obtenida converge en media,
y que su suma satisface a la ecuacin (7,14) en casi todos
los puntos. Al variar a, tendremos todas las soluciones de
la ecuacin (7,14) (que se obtienen de una solucin cual
quiera, agregando todas las soluciones de la ecuacin homo
gnea correspondiente). Con esto, queda demostrado el ter
cer teorema de Fredholm.
n
www.FreeLibros.com
]. Definiciones. Ejemplos .............................................
2. Problemas tpicos que se reducen a ecuaciones
integrales lineales ......................................................
3. Analoga entre las ecuaciones integrales lineales
y las ecuaciones algebraicas lineales. Enunciado de
los teoremas de Fredholm ......................................
4. Ecuaciones integrales con ncleos degenerados . . .
S 5, Ecuaciones integrales con ncleos continuos de
mdulo suficientemente pequeo ............................
6. Ecuaciones integrales con ncleos cercanos a los
degenerados............. .................................................
7. Ecuaciones integrales con ncleos uniformemente
continuos ....................................................................
8, Ecuaciones integrales con ncleos del tipo K(P, Ql'PQ'1
8 9. Ejemplos de ecuaciones integrales singulares . . . . . .
C a p t u l o 2. Ecuaciones de Volterra ......................................
$ 10. Ecuaciones de Voitcrra.............................................
C a p t u l o 3. Ecuaciones integrales con ncleos simtricos reales
11. Anlogos geomtricos de ciertas relaciones entre
funciones (espacio de funciones) ...........................
12, [Demostracin de la existencia de funciones propias
de las ecuaciones integrales con ncleos simtricos
C a p i t u l o I, Introduccin. Teoremas de Fredholm..................
9
9
11
19
26
37
47
53
55
70
73
73
79
79
97
www.FreeLibros.com
t.. 163
13. Algunas propiedades de Jas funciones propias y de
los valores propios de as ecuaciones integrales con
ncleos simtricos...................................................... 108
14. Teorema de Hilbcrt-Schmidt ........................... 1(9
15. Teorema del desarrollo de los ncleos .................... 126
fi 16. Clasificacin de los ncleos...................................... 128
8 17. Teorema de Dini y sus aplicaciones ..................... 129
18. Ejemplo .. ...................i .................................. ....... 134
Complemento.................................................................................... 138
19. Reduccin de una forma cuadrtica a la forma can
nica por medio de una transformacin ortogonal 138
20. Tepja de las ecuaciones integrales con ncleos sim-
trios en la clase de ecuaciones de cuadrado integrable
segn Lebesgue....................................... ........... ........ 146
U*
www.FreeLibros.com
www.FreeLibros.com