l.

PETROVSKI

-
r LECCIONES
DE
TEORIA
DE
LAS
ECUACIONES
~
INTEGRALES

EDITORIAL MIR - MOSCU

 M. r. nE'I'POBCIU-tA

JlEKUVfVI
no TEOPMJif
11HTErPAJlhHblX YPABHBHI1Vf

113,llATF.JJhCTBO HAYKA
MOCKBA
l. G. PETROVSKI

LECCIONES
DE TEO.RIA
DE LAS ECUACIONES
INTEGRALES

EDlTORTAL MIR MOSCU

1971
CDU S17.94(07S.8)=60

Trnducido de In 30 ed. rusa

por J UAN JOSI! 'TOLOSA

Traduccin rcvisitda por

f'.Mll..IANO APARICIO llEJtNARDO,
candidato a Doctor en Ciencias flsico-malemticas,
Catedrtico de Matemticas Superiores

1"rad11cfdo rn la URSS
/Jerechos reservados
 PROWGO DEL REDACTOR
DE LA TRADUCCION

Eslc libro es la traduccin al castellano de la 311 edicin

rusa. La segunda edicin del mismo est. traducida al alemn
e ingls. Vase T. G. Petrovski, "Vorlesungcn uber die Thco-
rie der Intcgralgleichungen" (Physica-Verlag, Wrzburg,
1953; trad. alemana de la 2 ed . rusa, 1951) y " Lcctu rcs on
thc theory of integral eq uations" (Graylock Press, Roches-
tcr, 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, as comn
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,
Reclor de la Universidad de Mosc desde el ao 1951.

E. Aparicio
 Dedico esfc libro
a Ja memura prcclura de
mi pudre
GL>ORGUI l\IANOVIC H
PETROVSKI
 CAPlTULO 1

l NTRODUCClON .
TEOREMAS DE FREDHOLM

1. Defi11icio1ws. Gjempfo~

Se acostumbra llamar ecuaciones integrales a aqullas

que contienen Ja funci n incgnita bajo el signo integral.
En particular, la siguiente ecuacin, respecto a la funcin
1p(~), es una integral:
(

J
a(x)q{x) +f(x } = K(x, ~q{~) d~, ( 1, 1)
o

donde a(x.), f(x), 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 estud iaremos ecuaciones en las
que 1a funcin incgnita figura en forma lineal, es decir,
solamente ecuaciones del tipo (J , l). Dichas ecuaciones se
llaman ecuaciones integrales lineales. Si a(x) no se anula.
divjdiendo ambas partes de la ecuacin (1, 1) entre a(x),
obtenemos una ecuacin del tipo
f

J
'P(x) = K(x, ~)rp(~) d~ +f(x). (2, 1)
"
10 Tntroducc/11. T<i'Ol'emas de Fredholm

Estas ecuaciones se llaman ecuaciones integrales lineales

de segunda esplcie, o de Fredholm, en honor al matemtico
que las estudi por primera vt>z. Sif(-~) a O, la ecuacin {2,1)
se llama homognea.
Si fuese a(x) =O, enlonces la ecuacin (1, l) se reducira a
b

JK(x, ~}p(~) ~ = f(x),

11

la cual se llama ecuacin integral lineal de primera especie.

La funcin K(x, ~) se llama ncleo de Ja 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, Ja ecuacin

i{x, y)= JK(x, y ; ~. r)cp(~, r) d~ dr +f(x, y)

a
respecto a la funcin incgnita <p(~. r), donde la integracin
se efecta sobre cierta regin G del plano (~, r). El punto
(x, y) tambin pertenece a esta regin. Esta ecuacin puede
escribirse en la forma

1p(P) = J
G
K(P, Q)p(Q) dQ +f(P),

donde PEG y QEG *>.

) La notacin A E M significa. que el punto A pertenece al con-

junto M .
Problemas tlpicos que se red. a ecuac. i11teg. 11

Tambin pueden examinarse sistemas de ecuaciones intew

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 to<la esta
regin, a excepcin, posiblemente, de un nmero fin ito de
puntos, de curvas y de superficies suficientemente regulares,
hasta de dimensin (d-1) inclusive. En estos puntos, curvas
y superficies singulares, Js fu nci"ries pueden no estar de-
finidas. La frontera de la regin G se considerar compuc.c;ta
por un nmero finito d;~ superficies regulares de dmensin
(d-1), o de un nmero finito de arcos regulares, si d = 2.
En Jo sucesivo, excepto en el 20, Ja integracin se
entender en el sentido ordinario, si Jas 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
fun ciones estudiadas son absolutamente integrables.

2. Problemas tpicos que se reducen

a ecuaciones integrales

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 LJ/ se necesita aplicar una fuerza e LJI, donde e
es una constante (ley de Hooke). Supongamos que los extre-
mos de este hilo estfo 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 e) origen
del eje. BI eje x lo consideraremos horizontal. Cuando el
hilo est en reposo, slo bajo la accin de la fuerza hori-
12 lntroduccl11, Teoremas de Fredholm

zon(al de tensin T0 , muy grande. en comparacin con las

otras fuerzas consideradas, Ja posicin del hilo :;er 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, el hilo Loma Ja forma de una linea quebrada ACB
o
(fig. 1). Supongamos que CC0 = es muy pequeo, en com-

y
Fig. 1

paraci p Jl con A C0 y C0 8 (el resultado de que P sea pequeo

respcct"O a Tc1). Despreciando el cuadrado de la magnitud h
con respecto a /, se puede considerar que tambi~n, bajo la
accin de la fuerza .P, la tensin del hilo se conserva igual
a Tu. Proyectando sobre la vertical las fuerzas de tensin
del hilo en el punto e y la fuerza p y despreciando neva-
mcnte los miembros que contenen ~, obtenemos:
.,. t5 p
T.O"f +-'o_ ~ = '
de donde
~ = P(/-f~
u Tol .

Designando por y(x) Ja flexin del hilo en el p unto de ab

cisa x, de lo anterior obtenemos
y(x) =P. G(x, ;),
Problema.~ tlpi~s que se rctf. n ccunc. /me.g. 1J

donde
G(x, ~) = x(~~l~) para el intervalo AC(O;:; x -,:~,}
(1,2)
G(x, e) =(!;;~ para el intervalo CBg~x~I).

Aplicando estas frmulas, puede comprobarse fcilmente

que
G(x, E) = G(~. x).
Supongamos que sobre el hilo actlia una fuerza distri-
buida en forma conlinua con densidad lineal p(~) tal, que
en el intervalo de ste, entre los puntos ; y ~+LI ;, acta
una fuerza, aproximndnmenle igual a p(~) t lt Ya que los
desplazamientos causados por las fuerzas elementales p(;) LI~
se suman ("pr.incipio de superposicin"), el hilo, bajo la
accin de esta fuerza, toma la forma

y(x) JG(x, ~)p(E) dt

o
Consideremos los problemas siguientes.
1. Buscaremos la densidad de distribucin de 1a fuerzn
p(~), bajo cuya accin el hilo toma una forma dada y = y(x).
Entonces llegamos a lu ecuacin integral de primera especie

y(x) = J
11
G(x, E)p(e) d~ (2,2)

respecto a la funci n incgnita p(~).

2. Supongamos que sobre el hilo acta una fuerza que
vara con e1 tiempo t, coi~ una densidad en el punto ~ igual a
p(~) sen wt (w >O).
14 ltt1md11cciti11 . Teoremas de Frcdholm

Bajo su accin, el hilo se pone en movimiento. Supondre--

mos, adems, que durante su movimiento, la abscisa de cada
punto del mismo no vara, y que el hilo efecta oscilaciones
peridicas, descritas por la ecuacin
y= y(x) sen wt.
Denotando por em
la densidad lineal de la masa del
hilo en el punto ~. obtenemos que, en el momento t, en el
segmento del hilo, entre Jos puntos ~ y ; + L1E, adems de
la fuer1..a p(~) sen wt L1~ acta tambin la fuerz.a de inercia
rfly
- g(~) L1~ dt 2 = e(E)y{~)ro sen wt LI~.
2

Por esto, la igualdad (2,2) toma la siguiente forma:

y(x) sen <JJt ==

o
J'G(x, ~)[pm sen wt + ro2 e{~)y(~) sen o>t] d~.

Simplficando por sen wt y haciendo

1

JG(x, E)p(~) d~ =/(x), G(x. E)em"" K(x, E), w 2 = J.,

u
obtenemos:

y(x)= l. K(x, ~)y(~) de+f(x). (3,2)

Suponiendo dada la funcin p(~) y, por lo tanto, f(x), llega~

mos de esta manera a una ecuacin integra) de Frcdholm
para la determinacin de la funcin y(x). Obsrvese que,
en virtud de la definicin de la funcin f(x), se tiene que
ftO)= f(I)= O.
Prnblcmas tlpicos que u . red. a acuac. lntag. IS

S la densidad e(~) es constante y f(x) es una funcin

con segunda derivada continua, no es dificil resolver esta
ecuacin integral. En efecto, poniendo en K(x, ~) en lugar
de G(x, ;) su expresin dada por ( 1,2), resulta
X l

y(x) =w2e J --;;f- y(~) d; + w e J' x(l-~

(l- x)~ 2
--::-y(~) d~ + f(x )
o ')(
o sea
X 1

y(x)= w
1
1
J
- c (1 - x) ;y(~) d~ +-
wcx
1- (/-~y(~) d~ +f(x),
J
o ')(
donde
e=!}..
Derivando dos veces respecto a x ambas partes de esta
ecuacin, obtenemos
y''(x) = - w2cy(x) +f " (x) . (4,2)
P or otra parte, se puede demostrar que cualquier solucin
de la ecuacin diferencial (4,2), que se anula para x= O y
x = l, es ta mbin solucin de la ecuacin integral (3,2). Para
ello basta multiplicar ambas partes de la igualdad y"(~)=
= -w 2cy(~) +f"(~) por -T0G(x, ~) e integrar respecto a ~
desde O hasta l. Entonces se obtiene la igualdad (3 ,2), ya
que, integrando por partes, se muestra fftcilmente que

J.r
o
0G(x, ;)qi"(~) d~= -rp(x).

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

continua, igual a cero para x=O y x=I.
16 l ntmd11cci11. Teorcmn.r de T'red}l()/m

Como es sabido por el curso de ecuaciones diferenciales

ordinarias, Ja solucin general do la ecuacin (4,2) tiene la
forma
X

y= C1 sen 1.x + C2 cos f

~tx +~ f"(~) sen 1.(x- .:) dt
o

en donde t = w1/C y C1 y C2 son constantes arbitrarias. De

las igualdades ( 1,2) y (3,2) se deduce que y(O) =y(/)= O.
Determinando de estas condiciones C 1 y C2 , obtenemos que,
si sen /~O,
1

y(x) = -fi 5;~ ~~ Jf"(~) sen(/ - ;) d~ +

(J
X

f
+ ~ r<~) sen (x - ~) dt
il
(5,2)

En este caso, la ecuacin integral (3,2) posee una solucin

nica para cualquier funcin f(x), siempre que ftx.) tenga
segunda derivada continua y f(O) = f(I) = 0,
Se puede demostrar, que para Ja existencia de solucin
de Ja ecuacin integral (3,2) es suficiente, si sen 1d ~O, que
la funcin f (x) sea continua; la condicin de existencia y,
con ms razn, de continuidad de Ja segunda derivada, es
superlun. En cambio, la condici6n sen t/F O es completa
mente imprescindible para que esta ecuacin integral tenga
solucin para cunlquier funcin continua, e incluso, para
toda fu ncin f(x) derivable cualquier nmero de veces.
Si sen ttl = O, entonces
kn
= y ' (6,2)
Problemas tlpico!I que se red. a ecuac. integ. 17

kn
a>=- (7,2)
/fc,
(8,2)

en donde k es un nmero entero cualquiera: positivo, nega-

tivo o cero. Los valores de A, dados por la frmula (8,2)
para k= I, 2, 3, .. , se llaman valores propt'os (autovalores)
del parmetro ?. de la ecuacin integral (3,2), y los corres-
pondientes valores de ro, 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 l = 0 y la funcin f(x) tenga segunda derivada
continua, puede tener solucin solamen le si

ff"(~) sen i(l-~) d~ = 0, (9,2)

ll

Integrando por partes y utilizando el hecho de que

sen t(l- ~) = O y f(~) =O para ~ = O y ~ = !, esta condicin
puede llevarse a Ja forma
1

J!<~) sen i~ d~ - o. (10,2)

o
Recfprocamente, es fcil comprobar q ue la condicin
(I0,2) es tambin snftciente pura la existencia de una solu-
cin de la ecuacin (3,2) para un l' dado, para el cual
sen ti = 0.
En particular, la condicin (10,2) se satisface si
f(x)=O.
18 Introduccin. Teoremas de Fredholm

Entonces, Ja ecuacin integral (J,2) y la ecuacin diferencial

(4,2) se hacen homogneas. Todas las soluciones de Ja ecua-
cin diferencial homognea (4,2), se igualan a cero para
x =O y x = l y, por lo tanto, todas las soluciones de la ecua-
cin integral (3,2) vienen dadas por la frmula
y(x) =e sen /.tkx, ( ll ,2)
donde C es una constante arbitraria y ,,
es igual a uno
de los nmeros (6,2). La frmula (11 ,2) nos da las ampli-
tudes en el punto x de las oscilaciones propias de Ja cuerda:
Y= C sen /kkX Sen W1rt,
que tienen Jugar sin Ja accin de fuerzas exteriores. Como
se ve de lo antedicho, estas oscilaciones pueden tener Jugar
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 y{x) de las oscilaciones peridicas
de la cuerda en el punto x aumenta indefinidamente, Cliando
w (frecuencia de Jas oscilaciones de la fuerza exterior) se
aproxima a una de las frecuencias propias de las oscilaciones
de la cuerda. En el limite, al coincidir estas frecuencias, co-
mienza la resonancia. Entonces, en general, para ampli-
tudes arbitrarias de Ja fuerza exterior, no eidsten osclacio
nes peridicas de la cuerda. En correspondenci a con esto,
en general, no existe solucin de la ecuacin integral no
homognea {3,2), cuando A es igual a uno de Jos valores
propios de esta ecuacin.
A11a!oga entre las ecuac. integ. lin. y algeb. l11. 19

3. Analoga entre la.5 ecuaciones integrales

/11eales y las ecuaciones algebraicas lineales.
Emmciado de los teoremas de Frcdholm
Consideraremos la ecuacin integral lineal de segunda
especie
b

y(x)= JK(x, ~)y(~) Je +f(x),

,,
(1,3)

donde K(x, ~) y f(x) son funciones conocidas para. a ~x~b,

as;~ sb. Dividamos el intervalo (a, b) en n intervalos iguales,
cuyas longitudes sern
h-a - 11 ~Lit:"''
n - ... X
Pongamos
K(a +p Llx, a +q Ll~) =Krq (p, q= l, 2, .. ., n),
y(a+pLlx) =Jlp (p =1, 2,. .., n),
.f(a + p Ax) =fp (p =1,2, . . .,n).
b

Sustituyamos Ja integral JK(x, ;)y(~) d; para x =a+ p Llx

por la suma "

n
ZK{lqYqt.l~, p = l,2. .. ,11.
l)=I

Entonces, en lugar de Ja ecuacin integral (1,3) obtenemos

un sistema de ecuaciones algebraicas lineales
n
J'p= ZKpqyqtJ~+fp, p= J, 2, . . ., n. (2,3)
q=l

2
20 Ttltroduccin. Teoremas <fe Fredho/m

Aqu supondremos que KP4, fp, L1; 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 211 especie. En
tos enunciados habtuales 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 ele este sistema desempea un
papel fundamental:
1 -K11 Lt.; - Kt 2 Lt.; ... -K111 L1~1
- K.u Ll~ 1- Ki>2L1~ . - K211 t;
(3,3)
.
- Km 11; - K112 LI~ 1 - Knn 11~
Como es sabido, si este determinante es diferente de O,
el sistema (2,3) tiene solucin nica, para va.lores Ji ,/2 ,
. . .,fn cualesquiera. En este caso, el sistema transpuesto,
o sea, el sistema
n
zp= :ZKqpzqL.l~ +fp*, p= 1, 2, .. ., n.
q=I

tiene tambin solucin nica para ,r arbitrarios.

Si, en cambio, el determinante es igual a O, el sistema
(2,3), para/" arbitrarios, en general, no tiene solucin. Pero,
enfonces, el sistema homogneo correspondiente, es decir.
el sistema que se obtiene de {2,3), igualando todas las fp
A11alogfa e/lfre las ecuac. illteg. fin. y algcb. li11. 21

a O, siempre tendr una solucin no trivial, o sea, una s0Ju-

cin no formada por ceros solamente.
De este modo, tiene lugar Ja siguiente ley alternativa:
o el sistema no homogneo de ecuaciones algebraicas lineales
dado (2,3) tiene una solucin nica para valores arbitrarios
/ 1, ,fn, de los segundos miembros, o el sistema homogneo
correspondiente tiene, al menos, una solucin no trivial. Si
para el sistema dado tiene Jugar el primer caso de e;ta altu-
nativa, entonces ste tambin tiene lugar para el sisfrma trans-
puesto.
En el Sl!gundo caso, el sistema homogneo dado
n
Yp- .,4KpqYqL1~ = 0, p = 1, ... , n, (4,3)
qml

tiene el mismo nmero de soluciones linealme11/e indepe11-

die11tes que su sistema transpuesto
n
z11 - ,Z KqpZq LIE =O, p = l, .. ., n. (5,3)
q;l

Este nmero es igual a n - r, e/onde r es el rango de la matriz

del determinante (3,3) *>.
Hallemos las condiciones necesarias y suficientes para
que en el segundo caso de la alternativa et sistema no homo-
gneo (2,3) tenga solucin. Anle todo, es fcil encontrar
Jas coudiciones necesarias. Sea

) Obsrvese, que Ja afirmacin de la eKistencia do exactamente

(11-r) soluciones lincalmonto independientes de los sistemas homog-
neos (4,3) y (5,3) es vlida tambin en el primer caso de Ja alternativa,
cuando /1 =r. La expresin "cero solucjones Jncalmente independien-
tes" sgoica que se tiene solmcato la. solucin formada por ceros.
22 lntrorfr1ccl1t. Teoremas de Fredlwlm

alguna solucin del sistema (5,3). Multiplicando la p-sima

ecuacin de (2.3) por zp y sumando todas las ecuaciones
miembro a miembro, obtenemos que
z1,,zp- ZKqYqZ L1; ... Z fZp
p ~ p
Pero el primer miembro de esta igualdad puede escribirse
tambin as:
z KqpYpZq Ll~ = zp :Yp(Zp- zq KqpZq LI;).
p }'pZ p - p,q
En virtud de las C{;uaciontS (5,3), csla expresin es igual
a O. Por lo tanto, tiene que ser

(6,3)

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 demostrnr nuestra afirmacin,
recordemos del curso de lgebra superior, que la condicin
suficiente para ta existencia de Ja solucin del sistema (2,3),
en el caso en que su determinante sea igual a cero, es la
siguienle: el rango de la matriz
1-KuLT; -KrnL1~ ... - K111 LJ~j~
-K21.L1; l -K22!.1~. - K.2 '1. LJ; ;_ (7,3)

1 -K,it LI; - Kn~LI; 1- Kllfl L1;Jn 1

debe coincidir con el rango de la matriz (3, 3).
Analoga entre las ecuac. inleg. fin. y ulgeb. /i11. 23

Para esto es suficienlc 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 jguales a cero. Desarrollando dicho determi-
nante D,+1 por Jos elementos/k, obtenemos de la condicin
(6,3) que, en efecto, ste es igual a cero, ya que el sistema
(5,3) se satisface por Ja sucesin de nmeros
z1 , z2 , , Zn

formados de la siguiente manera: si i es tal que f; figura

en el determinante D,+1" entonces, z1 es igual al comple
mento algebraico de Ji en este determinante; en caso con-
trario, z1 =0 *>.
De este modo, en el segundo caso de la uflernatiltu, la
solucin del sistema no homogneo existe si, y slv si, wrll
cualquier solucin (z 1, , z11) del sistema homogneo trans
puesto se cumple la condicin (6,3).
Obsrvese que, si en el segundo caso de Ja alternativa
el sistema (2,3) tiene solucin, enlonces esta solucn 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 pued\ demostrarse del siguiente

modo. Sustituyamos los nmeros z 1 , z 2 , , z11 en la j sma ecuacin
del sistema (5,3). Si j es tal, que en el determinante Dr+i figuran ele-
mentos <le la j-sima columna <le la malriz (7,3), entonces el rcsuJuu.lo
de dicha sustitucin ser O, ya que ste ser igual a un determinante,
en el que coinciden dos de sus columnas. Si j e~ tal, que los elementos
ele la j-sima columna no figuran en el determinante Dr+i entonces
el resultado de esta sustitucin ser tambin cero, puesto que ser
igual a un determim\llte de orden (r+ 1), formado por elementos de
una matriz de ra ngo r.
24 /lltrud11cci11. Teurc11ws de Fretllrvl111

Cuando Lf~ tiende a O, es natural esperar que Z K11qY<i LI~

b q

lienda a JK(x, ~)y(~) d~, y la solucin del sistema de ccuaM

a
cioncs (2,3) pase a la solucin de la ecuacin integral {l,3).
Esto, en efecto, tiene lugar bajocicrtas condiciones respecto
al ncleo K(x, ~). Pero la demostracin de esto es compliM
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 Jos siguientes teoremas:
Teorema 1. ( Al1emativa). O la cc1wcic11 integral lineal no
!tomognea de 2"' especie dada tie1te una solucin nica para
cualquier fi111ci11 f (x) (ele una clase sujicientenwn/e amplia),
o la ecuacin ltomognea correspondiente tle11e, pur lo menos,
una solucin 110 trivial, o sea, 110 idnticamente nula.
Teorema 2. Si para la ecuacin dada (1,3) lielle lugar el
primer mso <le: la alternativa, entonces licne lugar el primer
caso lambi11 para la ecuacin transp1wstc1
(1

z(x) = JK(~, x)z(~) d1; 1-f*(x).

o

la ecuacin integral homognea dada y su transpuesta tienen

un mismo nmero finito de soluciones lincahrwntc irnlepell-
dientes.

) Vase L. V. K.antorovich y V. I. Krylov, Mtodos Aprollimados

del Analisis Superior, S od., Fizmatgui1., cap. IJ, 1, 1962.
A11ulogiu e11trc las ecuat~. f11teg. /in. y a/geb. Ji11.

Es evidente que, si las funciones y 1(x ), y 2(x), ... , Yn(x)

satisfacen a la ecuacin homognea (1,3), entonces cualquier
combinacin lineal de ellas CJYt(x) +C:iJ!ix) + .. . + C11Y11(x)
con coeficientes constantes C1 tambin satisface a esta ecua-
cin.
Teorema. 3. En el S(!gundo caso de la altemativa, fo co11-
dici6n necesaria y suficiente para la existencia de solucin
de la l'cuaciti n" homognea (1,3) es la siguiente:
b

ff(x)z(x) dx= O,
11

clondt.! z(x) es culllquier solucin ele la ecuaciu homognea

t!fl
transpuesta a (l ,3).
Si se cumple esta con<licin, la ecuacin ( 1,3) posee un
conjunto infinito de soluciones, ya que, como es fcil com-
probar, esta ecuacin SCl' satisfecha tambin por cualquier
funcin del tipo
y(x)+q;(x).
en donde y(x) es alguna solucin de la ecuacin (1,3), y
q.(x) es cualqu ier solucin de la ecuacin homognea co-
rrespondiente. Por otra parle, es evidente que, si las fun
ciones y 1(x) y y:(x) satisfacen a la ecuacin (1,3), su diferen-
cia satisface a Ja ecuacin homognea correspondiente.
Los teoremas 1, 2 y 3 que se acaban de enunciar, se
llaman teoremas de Fredho/m, quien los demostr por pri-
mera vez para la ecuacin (1,3) bajo condiciones bastante
amplias respecto a K(x, ~)y af(x). Los pargrafos prximos
estn dedicados a la demostracin de estos teoremas para
ciertas clases de ecuaciones. El nmero de variables inde-
pendientes aqu no es esencial. Por eso, todas las demostra-
ciones se harn para cualquier nmero de variables inde-
26 /11troducci<i11. Tl!<Jremas de Fredh'1lm

pendientes; escribiremos P en lugar de x, y Q en Jugar de

~. as{ como se lzo al final del l. 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
(J ,3) tiene solucin, es ms cmodo, frecuentemente, de-
mostrar, que la ecuacin homognea correspondiente o su
lranspuesta tiene solamente solucione:; triviales. Y, <le aqu,
por el primer teorema de Fredholm, se deducir que la
ecuacin dada (1,3), en efecto, tiene solucin.

4. Ec11ucio11es integrales cou 11cleos degenerados

Existe una clase de ecuaciones integrales que se reducen

fftci lrnente a ecuaciones algebraicas lineales. Los teoremas
<le Fredholm para estas ecuaciones se obtienen inmediata-
m~nle de los teoremas enunciados en el pargrafo anlcrior
pura las ecuaciones algebraicas lineales. Tales son las ecua-
ciones integrales con ncleos degenerados (o de variables
separadas o disociadas):
Ahora demostraremos los teoremas de Frcdholm para
las ecuaciones integrales con ncleos degenerados, y, en lo
sucesivo, utilizaremos este caso particular para la demostra-
cin de los teor~mas de Fredholm para las ecuaciones inte-
grales con n cleos continuos cualesquiera.
Un ncleo se llama degenerado (o disociado), si tiene
la forma
171
K(P, Q)= Za;(P)b(Q). (1,4)
1 1
Ecuac, integ. CQ/l ncleos degenerados 27

Supondremos que a1(P), b,(Q), y(P) y/(/') 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 C1 , ., Cm , que
C1a 1(P) + . .. + C111am(P) =0,
y, por lo menos, u110 de los nmeros CJ, .. ., C111 es dilC-
rente de O. Sea C,,1 ~O. Entonces esta igualdad puede ser
resuelta respecto a am(P). Obtenemos que:
am(P) = Cta1( P) + .. . + c:,_1 a111 _ 1( P).
Sustituyendo esta expresin en el segundo miembro de (1,4),
obtenemos:
111-1 m -1
K(P, Q) = Z a,( P)b,{Q) + Z Cfa,(P)bm(Q)s
1 ~1 1=1

m-.t m-1
=Z a,(P)[b,(Q) + Cl'bm(Q)] =Z a,(P)bt(Q).
,,. 1.. 1

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 Q. Si las funciones a;(P) o bf(Q), i == I, . ..
. . ., 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 Frcdholm
se demuestran sin dificultad. En efecto, supongamos que
la ecuacin integral
28 !11trouccl11. Teoremus de Fredhulm

y( P) = JK(P , Q)y(Q)dQ +f(P), (2,4)

en donde K(P, Q) est dado por la frmu la (1,4), tiene solu-

cin. Entonces, debe ser

y(P)= ria,(P)b;(Q)y(Q) dQ t/(P)

lml
o sea,

l= l
J
y(P ) = Za;(P) b(Q)y(Q) dQ +f(P). (3,4)

Aqu, como tambin en lo sucesivo, omitimos la letra

G bajo el signo de la integral. El s mbolo f siempre indi-
ca r la integral tomada sobre la regin G.
Hagamos
Jbi(Q)y(Q) dQ ~C,. (4,4)

Entonces, de la ecuacin (3,4) se obtiene que

111
y( P) = _ C,-a,{ P) +f( I' ). (5,4)
/e l

Para determinar las constantes C 1, sustituyamos el valor de

y, dado por esta frmula, en la ecuacin (4,4). Obtendre-
mos:

Poniendo

Jb,(Q)a1(Q) dQ = K ;, f b(Q'Jf(Q) dQ =J,, (6,4)

Ecuac. imec. con mclcns dege11erndos 29
de la ltima ecuacin hallamos:
rn
C;=ZK11C1 1f, ;.,,1,2, . . .,m. (7.4)
J= l
As pues, a cada solucin de la ecuacin integral (2,4) le
corresponde una solucin (C1 , .., 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 JineaJes tiene al-
guna solucin (C1 , ., C,J, entonces, sustituyndola en el
segundo miembro de (5,4), se obtendr una solucin de Ja
ecuacin integral dada (2,4), puesto que cada operacin
efectuada para llevar (2,4) a (7,4) es reversible. Po r lo tanto,
el problema se ha reducido al estudio del sistema (7,4).
De la misma ma nera, la ecuacin integral

z( P ) = f K(Q, P)z(Q) dQ +f*(P ), (8,4)

transpuesta respecto a la ecuacin (2,4), se reduce al sistema

m
Ct == :K11C/' +/*, i =J, 2, ... , m, (9,4)
)"' l

transpuesto con respecto al sisLema (7,4).

Como se ha supuesto que las funciones a;(P) y h,{Q)
son linealmente independientes, a cada p soluciones lineal-
mente independientes del sistema homogneo (7,4) o (9,4)
le corresponden p soluciones linealmente independientes de
la ecuacin homognea (2,4), o de la ecuacin (8,4), res-
pectivamente, y viceversa. (lPor qu?) De este modo, se
establece una correspondencia biunvoca entre las solucio-
nes de las ecuaciones integrales (2,4) y (8,4), p or un lado,
y las soluciones de las ecuaciones algebraicas lineales (7,4)
30 b11rod11cc11. Tl'oremM de FredJl()/m

y (9,4), por el otro. A las soluciones de las ecuaciones (2,4)

y (8.4), transpuestas una respecto a Ja 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 Frcdholm para la ecuacin integral (2,4), ya que
stos son vlidos para el sistema de ecuaciones algebraicas
lineales (7,4). (iVcrifquese!).
Para demostrar el t~rcer 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
,ZJ;Cf- = 0,
l=l
en donde (Cf, .... e:,) es una solucin cualquiera del sis-
tema homogneo transpuesto. Utilizando las igualdades de
(6,4), esta condicin puede escribirse asi:

ZCt
111

1=1
sf(Q)h;(Q)dQ=O ,
o as:

Jf(Q) (. Cfb(Q)) dQ = O. (10,4)

Si (Ct,, ... , C!) es unn solucin del sistema homogneo

(9,4), entonces 2 Cfb1(Q) es una solucin de Ja ecuacin
homognea (8,4), transpuesta a la (2,4). Por eso, ta con-
dicin (10,4) es equivalente a la condicin

J!(Q)z(Q) dQ =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).
Ecunc. intcg. con ncleos degenerados 31

Observaciones. l. Ocurre, frecuentemente, que el ncleo

K(P, Q) y f(P ) son funciones cocnpJejas 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
q.{ P) =rp1(P) + icpi(P),
en donde <p1 (P ) y rp.,l P) son funciones reales del punlo ren l
P, entonces, por definicin,

f<p(P)dP= f rp,.(P) dP+i Jrpz(P)dP.

2. A menudo ocurre tambin, que a(P) y h;(Q) son fun-
ciones de cierto parmetro complejo .A. Los razonamientos
del presente pargrafo muestran, que para la ecuacin (2,4)
tiene lugar el primero o el segundo caso de la alternativa
de Fredho lm , dependiendo de que sea igual o diferente de
O el determinante formado por los coeficientes del sistema
(7,4), e.e; decir, el determinante

1- K.11. -K12 ... - K1111

D(i.) ""
- K21. 1 -K'J.'.! . .. -K2m
(11,4)

-Km l - Km'!. 1- Kmm

en <londc
K11 = J
h(Q, /,)aj(Q, l.) dQ.

Sean aj(Q, ).) y b;(Q, ).) para cada Q de G, funciones

holomorfas de J. en cierta regin finita A del plano com-
plejo. Se supondr que a1(Q, J.) y h1(Q, A.) son func iones
32 lntroduccfln. Teoremas de Frcdhnlm

uniformemente continuas respecto al conjunto (Q, ). En-

tonces K11 y el determinante (11,4) tambin son funciones
holomorfas de J.>. Por eso, aquellos valores de l., para los
cuales el determinante (ll,4) es igual a O, 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 (1 1,4) sea diferente de O, por
Jo menos, para un .AEA.
3. Sean K11 y, funciones holomorfas de .A E A. As ser,
en particular, si a(Q, ) y b1(Q, l.) poseen las propiedades
sealadas en Ja observacin 2, y /(Q) es una funcin uni-
formemente continua de Q, lo cua l supondremos para mayor
sencillez.
Seg(in las conocidas reglas de la teora de determinan-
tes, los coeficientes C1 se obtienen de las ecuaciones (7,4)
en forma de quebrados, cuyo denominador para todo i es
el mismo determinante (11 ,4), y en el numerador est el
determinante D;, que se obtiene del determinante (11,4),
sustituyendo su i-sma ~olu mna por Ja columna (f1, /2 ,
, /111). Desarrollando D; por Jos elementos de esta ltima
columna, obtenemos:
!,MofJ
C= JD(.l) ,

en donde M, 1 son polinom ios en Kc . Sllstituyend o estos

) Esto no c.~ dificil de demostrar, representando la integral en

forma de limite de una suma integral y utili:r.a.1\do el conocido teorema
de Weierstra.~" que afirma que, si una suce~in de funciones holomorfa-;
converge uniformemente en cierta regin, entonces, Ja funcin limite
e~ tambin holomorfa en la misma regin. (f. J. Privalov, Introduccin
a la Teorla de Funciones de Variable Compleja, J()<l ed., Fizmatguiz,
1960, cap. 5, 1).
Ecuac. i11tcg. con ncleos degenerados 33

valores de C, hallados en el segundo miembro de (5,4) y

aplie<rndo las frmulas de (6,4) para /, o btenemos:
r
L; M;bj..Q, i.)a,{P, .)f(Q) dQ
y(P)="-.!L...- ..... D(),,) ~...... ---- +f( P). (12,4)
El numerador (para cada .P fijad o) y el denominador del
quebrado del segundo miembro de la lt ima igualdad son
funcio nes holomorfas de A. en la regin A.
Frecuentemente, es til escribir la igualdad (1 2,4) en la
siguiente forma:
y( P)= JrcP, Q,.:l)f(Q) dQ +f( P). (13,4)
en donde
"2,Mbf.Q, A)a1(J>, A)
, - i}
1 (P, Q, A.)- D(A) (14,4)
La funcin r ( P, Q, .il) no depende de/(P) y, como muestra
la frmula (14,4), se expresa en forma d e cociente de dos
funciones holomorfas de ). en toda la regin A. I'(P, Q, A.)
puede no ser una funcin h olomorfa de A. slo para aquellos
valores de). donde D0.) =0, es decir, p ara ]os cuales tiene
lugar el segundo caso de la alternativa de Fredholm para
la ecuacin integral (2,4). En el apartado an terior se de-
mostr, que tales valores de ). no tienen puntos de acu-
mulacin en el interio r de A, siempre q ue D().) no sea idn-
ticamente nulo, lo cual supondremos. Se puede demostrar
fci lmente, que cada valor /. = A.0 , donde .D(A.0 ) =0 es, en
efecto, singular para I'(P, Q, A.) en el sentido siguiente:
I'( /', Q, A.) no es una funci n uniformemente continua de
( P, Q, ), cuando J. se encuentrn en un entorno <irbitraria-
mente pequeo del punto A0 , y P y Q varan en G.
En realidad, supongamos lo contrario. Sea la runcitSn
y( J>, A.), definida por la frmula (13,4), uniformemente con-
34 lmrod11cci11. Teol'emas de Fredholm

tinua, si P EG y . varia en cierto entorno del punto 1.0

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 suslitucioncs, 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 Ar!
:>6 0 y p.-i.11 1 es suficientemente pequeo, ya que enton-
ces D(il) r O. .Por lo tanto, por continuidad, estos resultados
coinciden tambin para ~. =1. 0 Por consiguiente, para cual-
quier funcin /(P) de la clase considerada, la ecuacin in-
tegral (2,4) tiene solucin para l.= lo: sta viene dada por
la frmula (13,4) para/.=)-<> donde I'(P, Q, /.)est definida
para A=~ por continuidad. Pero, entonces, para este valor
de /. para Ja ecuacin (2,4) tiene lugar el primer caso de
la alternativa de Fredholm, y no el segu ndo, por lo que
D(/.0) ~o>.
.Ejemplo.

Y(x} = - J
}. (xi~ i x~2}}{~) d$ .1-f(x),
11

<le donde

y(x) ~ - ). [x' j!y(0) d< 1 x J

l'y(!) di I /(x).

) Los ra1..onamienos anteriores se extienden fcilmente al casCI

en que a;(Q, l ), b,{Q, ).) y f(Q) tienen discontinuidades con respt'cto
a Q <>n algunos puntos, y en curvas y superficies sulicientemenle regu-
ft\rcs de dimensin hasta d - 1, inclusive, independientes de l, si al
:Leercarso el punto Q a l(.ls lugares de discontinuidad la(Q, 7.}J , 1b(Q, J.)\
y 1f (Q) 1 no crecen con muchn rapide1.. l.as soluciones estarn in-
<lctormin:idas en aquellos puntos P, en los cuo a( P, .:!) y f (P) no estn
lleJinidM,
Ecuac. integ, cxm ncleos degencra<l<>s 35

Haciendo
1 l

J~y(~) ,,e= c.!

o
Y J
o
~ 2y(E) d~ = C 1, ( 15,4)

obtenemos que
( 16,4)
Sustituyendo esta expresin de y en las igualdades (15,4),
obtenemos
l

J;[f(~) -c, :i.;-C2A~ ] de =C2,

(1
2

.f ~lf(e) - C1A~ - C2l~2J d~ = cj

o
o sea,
(17,4)

1 1

bj = Je1<~) d; Y h2 = f ~2.f(E) d~.

o o
Escribamos Jns ecuaciones (17,4) en Ja siguiente form a:

e, i+c2(1 +i}="J} (18,4)

C1 ( 1 ti) + C2 ~=h2
El determioante de este sistema es igual a
~ ..t'
1 +2-240.
36 Tntr()(fucci11. Teoremas de Fredholm

Este tiene s lo dos races

A= 60 16VT5.
Para estos <los valores de /. solamente tiene lugar el
segundo caso de la alternativa de Fredholrn . En estos casos,
todas las soluciones de la ecuacin integral homognea
l

y(x) + J
}. (x2; + .~2)y(~) d; =O
11

estn dndas por las frmulas

y(x)= c(x+V:Sx 2
) '

en donde C es una constante arbitraria. Para otros valores

de ), nuestra ecuacin integral tiene una solucin nica,
d ada p or la frmula (16,4), donde C 1 y C2 se determinan
unlvocamente del sistema (18,4). Esta solucin puede ex-
presarse en la formi\ ( 13,4), do.nde

S J.- ( L+") e1x-'~ (.I+A) +~ x:

.;x 2

3
,
I'(x, t .A.)=/, l ;.,2-~--
1+- - -240
2
Ejc:rcidos. Hallar u(x) de las ecuaciones
.tn

J
l. 11(x) =ex + l. x tu(t) dt.
11

J
2. u(x)= !. sen xi1(t) dt.
o
Ecuac. i11teg. con ncleos cont. de mod, suf peq. 37
...
J
3. u(x) =A. cos x u(t) dt.
o
.l

J
4. u(x)=x+ ), (x-t)u(t) dt.
u

f
5. u(x) =A sen x sen tu(t) dt +.f(x}.
()

5. Ecuacicmes integrales con 11clws

continuos de mdulo suficie11tcmcntc peque1o
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 podria
comprobar aqu solamente Ja posibilidad de aplicar este
principio general, pero prefiero hacer la demostracin para
cslc caso concreto dado, puesto que con ello obtendremos
a lgunas frmulas tiles en lo sucesivo.
Introduzcamos notaciones simblicas que sern uti liza-
das a veces en lo sucesivo . Sean K 1(P, Q) y Kz(P, Q) fun-
ciones uniformemente continuas de P y Q, cuando PE G
y QEG. Hagamos
f
K2 o K1 = K'J.( P, S)K1 (S~ Q) dS. ( 1,5)
38 /11tr()J(lt;c:lcl1r. Tcure111a.v de Fretlfwlm

Llamaremos al ncleo K( P, Q) = K 2 o K1 producto sim

blico del ncleo K2(P, Q) por K 1(1', Q) >.
Es fcil demostrar que K 2 o !(_1 es una funcin unifor-
memente continua de P y Q. En efecto,

J J
1 K.(l'v S)K1(S, QJ dS- K2(Pi. S)Ki(S, Q.;J ds .,;

.:i: JJ KiP" S)[K (S1 1, Q,)-K1(S, QJ] ds] +

1J
+ K,(S, Q2)[Kz(P1, S) - K'l.(Pi . S)] Jsl . (2,5)
Supongamos que la cota superior de los valores absolulos
de K 1(P, Q) y K.,JP, Q), cuando PEO y QEG no supera a
M, y que Des el volumen de la regin G. Debido a lu con-
tinuidad u11iforme de K 1(P, Q) y de K2(P, Q) para todo i:: >O,
existe un r >O tal, que
IK2(P1, S)-K.iJP2 , .S~I < 2~:M
y

) El producto simblico de ncleo~. introducido de esta manera,

es anlogo al producto de matrices.
Supongamos que la funcin <p1(P) se transforma por medio del nlli;-
J
leo K1(P, Q) en la funcin 'Pz(P) = K1(P, Q)ip1(Q)dQ, y Ja funci6n ir.i(P),

por medio tlel ncleo K2(P,Q) en lafunci6n3(P) 0 rK2(P, Q)qi~(Q) ,/Q.

Enlonc~s el ncleo K2 oK1 da Ja lransformacin Je la funcin <p.(/')
en rp3(/'), o sea, qi3 J
(K2 o K1)<p 1(Q) dQ. De la misma manera, la apli
cacin sucesiva en un espacio de dimensin n de dos transformacionc.~
lineales nos da una transformacin lineal con una matriz igual al pr
dueto de las matrices de estas transfonnacioru-"'S.
Ec11ac. integ. co11 ncleos cont. d~ md. suf. peq.

si Ja distancia entre Jos puntos P 1 y P2 y entre los puntos

QL y Q2 es menor que 'Y/ Fcilme nte se observa que bajo
esta condicin, el primer miembro de la desigualdad (2,5)
es menor que '" que es lo que se quera demostrar. Obsr-
vese que, en general , K2 oK1 ~K.ioK2 . Si KJP,Q) es una
funcin uniformemente continua en P y Q, es fcil com-
probar que
K 1 o(K2 oK.J= (K K 2 )o K3
Pasemos ahora a demostrar, que fas ecuaciones integra-
les con ncleos cont inuos de mdulo suficientemente pe-
queo siempre tienen una solucin nica. Esto ser util i-
zado en lo sucesivo para la demostracin de los teorem~\S
de Fredholm en el caso de una ecuacin in tegral con un
ncleo continuo cualquiern.
Sea dada la ecuacin integral

f
y(P)==.A K(P,Q)y(Q.) dQ +J(P), (3,5)
y scnn K (P, Q) y f (P ) ciertas funciones uniformemente co11-
tinuas, cuando PE G y QEG, en donde G es una regil'in
fin ita*>. Aqu /. es cierto parmclro. Generalmente, ste

*) En lugar de subrayar cadL vez la conli nui.dad uniform1; de In:>

funciones consideradas en la regin abierta G, estas funciones se podrfon
considerar en la regin cerrada finita G {es decir, en la unin de G
y su frontera), y exigir slo su continuid ad. Entonces, de aqu se d e-
ducira directamente la continuidad uniforme de estas funciones. Si
est dada alguna funcin rp uniformemente continua en la regin abcrta
G, 6.sta 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 consi<leraremos aqu {co!ll-
prese con la observacin al 1), el volumen de la dimensin d de
la frontera es igual a O. Entonces, la integral de la funcin p sobre
la regin G coincide con la integral de su prolongacin sobre G.
40 J11tr(}l/11cci11. Teoremas de Fredholm

figura en In ecuacin precisfmcnte de la forma indicada

en (3,S).
Todos Jos razonamientos ulteriores de este paritgrafo
son gualmcntc aplicables. tanto al caso en que las funciones
considerndas lomen valores complejos, como al caso en
4uc las mismas tomen slo valores reales. El parmctrn A.
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 reales; de olro modo
surgiria la necesidad de definir qu es una integral <le varias
variables complejas.
Siguiendo exactamente Ja definicin de ncleo dada an-
teriormente, ahora deberamos llamar ncleo a A.K(P, Q).
Pero, utilizando Ja terminologa comn, llamaremos tam-
bin a la funcin K(P, Q) ncleo de Ja ecuacin integral
(3,5). AJ hablar en el ttulo del presente pargrafo de Ja
pequeez del ncleo, nos referamos a la pequeez de
J.K(P, Q).
Buscaremos Ja solucin de la ecuacin integral (3,5) en
forma de una serie de potencias en J.
y(P)=y0(P)+Ay 1(P)+JLi12(P)+... (4,5)
Suslituycn<lo formalmente esta serie en (3,5), obtenemos que
Yo(P)+ ).y1( P) I ).2y 2( P ) + l.h(P) +... =

f
= K(P, Q)[y0(Q) + ).yJ(Q) + .. .] dQ +f(P). (5,5)
De aqu y comparnndo los coeficientes de iguales polcnciai-;
<le A., obtenemos
y0( P) =f( P),

Y1< 1 1(P ) = JK( P, Q)y1Q) dQ, k =O, 1, 2, . . . (6,5)

Ecuac. integ. con ncleos cont. de md. suj. peq 41

o sea
J'oCI') =f(P ),

Yi.( P) = j'K(P, P1)f(P1) dP1 ,

ylP) = JJK(P,P )K(P 1 1, P2)f( P2) JP1 dP,

h veces
.----..
y1,(P)s:: J... J K(P, P1)K(Pi., P.) .
. . . K( P1i-L P,,)f(P1J dP1 dP1,. (7,5)
L ltima igualdad puede ser escrita de la siguiente forma:

J
y1c(P) = KOr>(P, Q)f(Q) dQ, k = 1, 2, 3, . . . (8,5)
en donde
(T.~5

K<11>(P, Q)= f... JK(P, P 1)

. . . K(P1r_ 1 , Q) dP1 dP11-1,

para le = 2, 3, .. ., (9,5)
K 1(P, Q)=K(P, Q).
Utilizando nuestras notaciones simblicas, el ncleo
K<1'>(P, Q) puede ser representado en la forma

----.,.--
K O'>( P, Q)=KoKoK o ... oK.
/;Veces
(10,5)

Por lo demostrado al comienzo de este pargrafo, todos

Jos ncleos K(k)(P, Q) son uniformement<continuos. La
42 /111rod1u:c:i111 . Teoremas de Fr!tl/w/111

funcin x< 11
>(P, Q) se llama reiteracin k-sima o iter.accin
k-sima del ncleo K(P, Q). Como puede verse fcilmente,
todas las funciones y1,(P) son tambin uniformemente con-
tinuas.
Acotemos los ncleos K<k>(.P, Q). En virtud de Ja con-
tinuidad uniforme, el ncleo K(P, Q) es acotado. Sea
IK(P, Q)l<M. (l l,5)
Sustituyendo esta acotacin en el segundo miembro de (9,5),
obtenemos que
( 12,5)
en donde Des el volumen de la regin G. Utilizando la fr-
mula (8,5), de lo anterior obtenemos que
IYk(P)I sM~[)lrF,
en donde Fes el <ixtrcmo superior de lf(l')I . Por eso, si

IX!< ~D ' ( 13,5)

Ja serie (4,5) converge absoluta y uniformemente respecto

a P e n la regin G.
l a 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 m iem-
bro. Por eso, debido a la definicin de y 1lP), segn las fr-
mulas (6,5), la igualdad (5,5) tiene lugar realmente, es decir,
la fu ncin y(P) definida por la serie (4,5) es solucin <le
la ecuacin integral (3,5).
Demostremos que esta solucin es nica en la clase de
funciones acotadas, si. se cumple la condicin (l3,S). En
efecto, supongamos que existen dos soluciones de \a ecua-
Ec11uc. /11tc11. con ucleos cont. de md. su[. pcq. 43

cin (3,5) y 1(P) '} y.{P ). Sustituyndolas en la ecuacin (3,5)

y restando miembro a miembro las identidades obtenidas,
hallamos:
y.{P ) - y 1(P) == AJ K(P, Q)[y2(Q)-y1(Q)] dQ. (14,5)

Denotemos por Y el extremo superior de IY2( P)-y1(P ) J;

entonces, de (14,5), utilizando la desigua ldad (11,5), oblenc-
mos que
Y .s: i). l /vfDY.
De es Lo, y debido a ( 13,5), obtenemos
Y,,.; cY, en donde e< l.
Esto es posible slo si Y == O, que es lo que q ucriamos de-
mostrar.
Frecuentemente conviene represen tar la solucin de la
ecuacin integral (3,5) en Ja forma siguiente

f
y( P )=A T(P, Q , A)f(Q) dQ +f( P) , (1 5,5)
en donde
..
F( P, Q, J.)= ;i).'<- JK<1'>( P, Q). ( 16,5)
k ~J

De las acotaciones ( 12,5) se desprende q ue la serie ( 16,5)

converge uniformemente respecto a (P, Q, A), si P EG, Q EG
l
y p, < MD -e, donde e > O. De esto se deduce que la fun-
cin t'(P, Q, }.) es uniformemente continua respecto a l con-
junto (.P, Q) para una A fija, y es una funcin holomorfa
de A. en el crculo (13, 5), si PE G y QE G. Por eso, la inte-
gral (15,5) existe. El hecho de que sta d, en efecto. la
solucin de Ja ecuaci n integral (13,5), expresada por la
serie (4,5), se ve fcilmente, si se sustituye la serie ( l6,5)
44 lntroducci6fl Teoremas de Fredholm

en lugar de T(P, Q, .A) en el segundo miembro de (15,5),

y se integra rcspcclo a Q trmino a trmino.
La fu ncin /"(P, Q, /.) se llama resolvente de la ecuacin
integral (3,5) 11<)_ Como se ve d e lo anterior, sta se defi ne
por ~J ncleo de la ecuacin integral y no depende de f(P ) .
Como la funcin y(P ), dada por la frmula (1 5,5), rcprc-

) Comparemos (15.5) y (1 3,4). Mostremos que para la.s ecuaciones

integrales (3,5) con n cleos degenerados, para las cuales a(P) y b(J>)
son funciones uniformemente continuas y de mdulo su.ficientemcntc
pequeo; es decir, para aquellas ecuaciones integrales que pertenecen
a la vez a los tipos estudiados en los 4 y 5, ser
f(P, Q, l) ... .l'(P, Q, J.).
Como lqu 1icne lugar el primer caso de la alternativa, se tiene que
D(..l) ;0 O.
Supongamos que en cierto punto (P0 , Qu , ?.<f)

f'(Po, Qo, At)) ~l.u l'(Po, Gu , },u), D011),. 0.

Ya que para las ecuaciones con los ncleos considerados T(P0 , Q, Av)
y l'(P0 , Q, . 0) son continuas respecto a Q, siempre se puede hallar un
entorno G0 del punto Q0 , en el cual

Re { l-;( P0 , Q, }.,,)} ;o< Re {At>/ '(P0 Q, l.uH

o

Por otra parte, en virt ud de la unicidad de la solucin de las ecuaciones

integrales del tipo considerado, para cualquier funcin f (P) uniforme-
me1>te continua tiene que verificarse Ja siguiente igualdad:

Jl'U'a, Q, ).,i)f(Q) dQ.,, A

0 Jr (P11 , Q, -\i)/(Q) dQ,

En particular, esta igualdad debe cumplirse para la funcin /(Q), que

es igual a cero en el exterior de un entorno G0 del punto Q 0 , y positiva
en el interior de este entorno, lo cual es imposible. (Por q u?)
Ecuac. lnleg. con 11cleos co111. de md. su/. pt'q. 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 funcn
conocida y f(P) como funcin incgnita, entonces la nica
solucin f(P) de esta ecuacin viene dada por la frmula
(3,5). l..a funcin K(P, Q) en esta frmula juega el papel
de resolvente para Ja ecuacin (J 5,5) con ncleo F( P, Q, Je).
Aplicando a la ecuacin

J
z(P) = K(Q, P)z(Q) dQ +f(P), (17,5)

transpuesta a la ecuacin (3,5), y los mismos razonamientos

que acabamos de hacer para la ecuacin (3,5), ha\laremos
que en el circulo (l3,5) sta tiene una solucin nica en
la clase de funciones acotadas, la cual viene dada por la
serie

A qui
z0( P) =f(P),

f
z1,.( P) = K(Q, P)z1,_1(Q) dQ

o, designando por K '~(P, Q) el ncleo K(Q , P), obtenemos:

Z(P)= JK*(P, P1).f(PJ.) dP1 ,

k veces

Zc(P) = J.. ..f.K"'(P, P )K*(P ,P.) . . K*(P1-, P1r)X

1 1

xf(P,j dP1 <IPk

46 /tltroduccMa. Teorcmns de Frcdlio/m

o bien,

J
z1.( P) = K*<11>( P, Q)JtQ) dQ, k e:: 1, 2. ... ,
en donde
/:- 1 v eccs

K*(1'>(P, Q)= J... JK *(P, P 1) K*(.P1c- t. Q) dP.1 .. . dP,, _., .

Escribiendo las integrales respectivas es fcil ver que

K'*<11>(P, Q) =K<11>(Q, 1'). De esto se desprende que la sol u
cin de In ecuacin ( 17,5) puede ser representada en la
forma

J
z(.P)= 2 J'*(P, Q, )f(Q) dQ +f(.P), ( 18,S)
en donde
f'*(P, Q, l.)=T(Q, P, ).
De este modo, vemos que en el clrculo (13,5), para cual
quier funcin uniformemente continua f(P) y bajo las co11di-
cio11es impuestas al ncleo, tanto la ecuacin (3,5), como ,\'U
trarrspuesta (17,5), tienen solucin llica., es decir, hemos de-
mostrado que aqu siempre tiene lugar e\ primer caso de
la alternativa de Fredholm.
Sealemos las dos frmulas siguientes:

.f'(P, J
Q, ).)=K(P, Q)+.A K(P,P 1)T(PJ, Q, 1.) dPP (19,5)

l'(P, Q, J.) = K(P, Q)+). Jl'(P, P 1, J.)K(P 1 , Q) dP1 (20,5)

Para comprobarl as, basta sustituir en lugar de T' la serie

( 16,5), y luego comparar los coeficientes de iguales poten
cias de 1, utilizando la frmula (10,5).
&uac. i11reg. "'n 11cleas prx. a /ns degcn. 47

El mtodo de las aproximacones sucesivas puede ulili-

1.arse para Ja resolucin aproximada de ecuaciones integra-
les para p,J suficientemente pequeo >.

6. Ecuaciones integrales co1t mc/eos prximos a Jos degenerados

Sea dada Ja ecuacin integral

J
y(P) =l. K(.P, Q)y(Q) dQ +J(P), ( 1,6)

en donde f(P) es una funcin uniformemente continua, y

m
K (P, Q) =_ a{P)b(Q) + K 1( P, Q) = A(P, Q) + K 1(P, Q).
1-1

Aqu a1(P), b;(Q), K 1(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 has
tatlte complicados, no oculten la esencia de la cuestin, nos
ser ms cmodo escribir las ecuaciones inlegrales en form:i
simhlica.
La. igualdad
"P( P) = fK(P, Q)y(Q) t!Q (2,6)

convendremos escribirla simblicamente en In forma

1p=Ky.

--~-
) Compa.rar con L. V. Kuntorovich y V. I. Krylov, Mtodos Apro
ximndos clel Anlisis Superior, 511 ecl, Fiunatg!,U?~ 1962. c.ao. II, 2
48 T111rot1uccici11. TeoremCL~ ele Frcdlwlm

De este modo, designaremos po r K el operado r que

transforma la fun cin y(P) en la funcin 1p(P)= JK(P,Q)
y(Q) dQ. Este operador se determina por el ncleo K(P, Q).
Designaremos por K* eJ operador que se determina por el
ncleo transpuesto K*(P, Q) = K(Q , P). El simbolo E desig-
nar el operador que transforma la fu ncin y(P) en s misma,
o sea, Ey ==y para cualquier funcin y(P). El operador K1 K2
se define por la igualdad
(K1 K.)y =.K1yK'JY
para cualquier funcin y(P). El operador Kt Kz. lo definimos
mediante la siguiente igualda d :
Kif(,y= Kt(KIJY)
para cualquier funcin y(P).
Fcilmente ;e ve que, si K 1 y K 2 son operadores del tipo
(2,6) con ncleos K 1(P, Q) y K 2(P, Q), entonces eJ operador
K1.K2 se determina por el ncleo K 1(P, Q)K2{P, Q). y el
operador K1K2 , por el ncleo K1 o TGJ..
De esta manera, la ecuaci n (l ,6) puede escribirse en
In forma
(E-1.K)y=f
Antes de pasar a la demostracin de los teoremas de Fred
holm para Ln ecuacin (1 ,6), enunciaremos 1~ s iguientes
lemas:
.Lema 1. Si A ( P, Q) es un ncleo degenerado y K( P, Q)
t'S un mcl<!o continuo cualquiera, en/onces A o K y K o A son
tambin nlclcos degenera dos.
Lema 2. El ncleo transpuesto a K1 o K2 es igual a Kt o Kt.
La validez de estas a firmaciones es fcil comprobarla,
considerando las fotegrales rcspcctivas.
Ec11ac. integ. con mcfcos pr<ix. a los clege11. 49

D emostremos a hora, que para Ja ecuac1on (1 ,6), si

1 M: 0.
A. j < en donde MJ. es el extremo su perior de los
va lores de IKJ.(P, Q)I, y Des el volumen de la regin G, tienen
lugar los tres teoremas de Fredhohn.
1. Primer teorema .de Fredholm. Demostremos que, si la
ecuacin homognea (l ,6) tiene slo solucin trivial, enton ~
ces la ecuacin no homognea (1,6) tiene solucin pnra
cualquier funcin f(P).
Sustituyendo K por A + K 1 , escribimos la ecuaci n ( 1,6)
en Ja forma
(E - AA - A.KJ.)Y =f,
en donde A y KL son los operadores correspondienlcs a los
ncleos A(.P, Q) y K(P, Q). Entonces
(E - /..K1)y=A.Ay+f. (3,6)
Hagamos

l
Como 1J. j < MiD , de la frmula ( 15,5), demostmda en el
pargrafo anterior, se deduce que
y=11+ i.P.r=(E+ ;l.I')17, (S,6)
en donde r es el operador correspondiente a la resolvente
I'(P, Q, A.) del ncleo KJ(P, Q). Sustituyendo esta expresin
de y(P) en la ecuacin (3,6), obtenemos:
17 = ).A(E + J.I')'r +/
o bien,
[E-AA(E+).I')] r=f. (6,6)
Del lema 1 se deduce que el ncleo A ( P, Q) + A :> f.I' de
esla ecuacin integral es degenerado. De esta manera hemos
demostrado, que a ~ida solucin y(P) J e la ecuacin ( 1,6)

4
50 In1rotl11cci11. Te<>l'tma!t de Fredho/111

le corresponde, segn la frmula (4,6), una solucin 1(.P)

de la ecuacin (6,6) con ncleo degenerado.
Recprocamente, es fcil comprobar que a cada soluci n
?'J( P) de la ecuacin (6,6) le corresponde una solucin y(P)
de la ecuac.in ( 1,6), determi nada p or la frmula (5,6). Luego,
si la ecuacin homognea (6,6) tiene solucin no trivial, Ja
ecuacin ho mognea ( 1,6) tambin poseer. solucin n o Lri-
val, la cual se determina por la f rmula (5,6).
Puesto que, por la hiptesis, Ja ecuacin ho m ognea ( 1,6)
slo tiene solucin trivial, entonces, p or consiguiente, In
ecuacin homognea (6,6) tambin tendr solamente solu-
ci11 trivial.
En el 4 se demostr el primer teorema de Fredho lm
parn la ecuaci n (6,6) con ncleo degenerado. Po r eso, la
ecuacin no homogneq (6,6) tiene solucin r( P) para cual-
q uier funcin JU'). Por la f rmula (5,6) obtenemos la solu-
cin y( P) de la ecuacin (1,6) pura cualquier funci n f( P ).
Es cviduntc, que esla solucin es nica.
Con esto el primer teorema de Fredholm qucd~~ demos-
trado, puesto que, si In ecuacin homognea tiene soluci n
no trivial, la ecuacin no homognea, o bien no tiene solu-
cin, o bien esta solucin no es nica.
2. Segundo teorema de Fred/wlm. D emostremos que, si
;i.< M:.o, In ecuacin ( E-).A -.AKJy=O y su trnns-
puesta
(E-l.A*-1.Kt)z =O (7,6)

tienen un mismo nl.'.11nero de soluciones linea)mentc indc

p end ientes.
Obsrvese que las ecuaciones h o mogneas (1,6) y (6,6)
tiunen un mismo nmero de soluci ones linealmente indc-
pendientes, puesto que a cada p soluciones linealmente in
Ecuac. i11teg. cnn ncle<IS prx. a los dcgen. 51

dependientes de una ecuacin le corresponden, segn la fr-

mula (4,6) o (5,6), p soluciones linealmente independientes
de la otra ecuacin.
En virtud del lema 2, la ecuacin homognea transpuesrn
a ( 6,6) lienc Ja forma
[E - .l.(E + A.I'*)A*]C = O. (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 nlimero de solu-
ciones linealmente independientes. Demostremos ahora que
las ecuaciones (8,6) y (7,6) son equivalentes. Supongamos
que cierta funcin C(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 <.)pera-
dor E-J.Kf, obtenemos:
(8 - A.Kt)[E ~ IL(E+ IJ'*)A*)':=
= [E-i.Kt - i.(E -J..Kf)(E + l.I'*)A'~]~ =O. (9,6)
Ya que de las frmulas (17,5) y (18,5) se dcspre11de que
(E - ).Kf)(E + i.I'*)rp - <p
para cualquier funcin 1p(P), entonces, de la igualdad (9,6)
obtenemos:
(E-A.K"[-1.A.*)C=O,
que es lo que se quera demostrar.
Anlogamente, aplcando el operador E + J.I'* a ambos
miembros de la igualdad (7,6) y utilizando la jgualdad
(E+ ).I'*)(E - .Kt) = E obtenemos que cualquier solucin de
In ecuacin (7,6) sati!>face a Ja ecuacin (8,6). De este modo,
~hemos demostradb que las ecuaciones homogneas (J ,6),
52 b1troducci<fl. Teoremas de Fredlrolm

(6,6), (8,6) y (7,6) tienen u~ mismo nmero de soluciones

linealmente independientes. Con esto queda demostrado el
segundo teorema de FredhoJm.
Aq uellos valores de A., para los cuales se cumple el se-
gundo caso de 1a alternativa de Fredholm, en la ecuaci<.Sn
(l,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 Ja ecuaci n ho-
mognea, funciones propias (o autofunciones) correspondien
tes a dicho valor propio.
Como en eI circulo 1i. I < ;,,D , I'(Q, P, J,) es una fun-
cin holomorfa de A., el determinante (11,4), correspondiente
a la ecuaci n degenerada (6,6), tambin es una funcin holo-
morfa de ). en este circulo. Para A.= O este determinante es
igual a I. Por consiguiente, no es idnticamente nulo. Por
eso sus raices no pueden tener puntos de acumulacin en
este crculo. Por lo tanto, los l'alores propios A. tle la ecuacin
( 1,6) no pueden te11er puntos de acumulacin en el crculo
IA.l<M:D .
3. Tercer teorema de Fredholm. Demostremos que la so-
lucin de la ecuacin (1,6) existe si, y slo si,

ff(P)z(P) dP=O
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 (J ,6)
tiene solucin si, y slo si, exste solucin de Ja ecuacin
(6,6) con ncleo degenerado. En el 4 se demostr que la
Ecuac. integ. co11 ncleos umform. commuo.t 53

ecuacin (6,6) con ncleo degenerado tiene solucin si, y

slo si,
_ff{P)C(J>) clP=O,

en donde C(P) es una solucin cualquiera de Ja ecuacin

(8,6). Pero, de acuerdo con lo que acabamos de demostrar,
el conjunto de estas soluciones C(P) coincide con el con-
junto de las soluciones z(P) de la ecuacin (7,6). Con esto
queda demostrado el teorema.

7. Ec11aco11es integrales con mcleos

u11iformeme11te comimco.v

Cualquier ncleo uniformemente contjnuo 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 s >O 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
IK(P, Q)-K0(P, Q) I <e.
Es evidente que cada trmino del polinomio K0( P, Q) puede
ser representado como un produclo de dos factores, uno de
los cuales depende slo de las coordenadas del punto P, y

) Vase, por ejemplo, R. Courant y D. Hilbert, M6todos de la

F~ica Matemtica, t. I, cap. ll, 4; S. L. SoboJcv, Ecuaciones de la
Fsica Matemtica, 1 ed., M. - i...., 1947, pg. 229.
54 /11troducc611. Teoremas de Frcclh<>lm

el otro, slo de las coordenadas del punto Q. Por eso, po-

demos escribir
""
K(P, Q) ""2,'a(.P)b(Q) + K,(P, Q),
1 .. t

siendo, adems
IK(P, Q)I <F.
De a.qui, y aplicando el teorema demostrado en el par-
grafo anterior, obtenemos que en el crculo
l
p,.c:eD'
en donde D es el volumen. de la regin G, sean vlidos todos
los teoremas de Fredholm, y que en este crculo no existan
puntos de acumulacin de los valores propios de .A. Como
e puede tomarse tan pequeo como se quiera, de esto se
deduce la validez; de estos teoremas en circulos arbitraria-
mente grandes con centro en el punto = O; es decir, su
validez en todo el plano )..
Repasemos los razonamientos que nos Llevaron a la de-
mostracin de Jos 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 prccisfn arbitraria por un
ncleo degenerado. Con esto obtuvimo:> 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-
r~mf! S c.I~ fr~dholm pcrten~~c ; E. ~~hmi9t, ~n 111i exposi
Ecuac. i11teg. c.on micle<Js tlel tipo K(P, Q)/PQ 1 55

ci n he utilizado los apunLos de las clases de S. L. So bolev.

Obsrvese, que se pueden resolver, aproximadamente, ec ua-
ciones integrales con ncleos continuqs, sustituycnd o estos
ncleos por ncleos degenerados, prximos a ellos>.

8. Ecuaciones i11tegrales co11 ncleos

. K(P. Q)
dd llPO - - -
.PQ:i.

1. Aqu P y Q pertenecen a una regi n finit a cerrada

G (vase Ja observacin on la pg. 39), y K(P, Q> es una
funcin continua respecto a los puntos ( P, Q) (o sea, del
conjunto de puntos P y Q); PQ es In distancia entre los pun-
tos P y Q. La finalidad del apartado 1 del presente par-
grafo es demostrar que, par(I las ecuaciones integrales con
ncleos de este tipo, siendo oc< d, en donde d es la dimensin
de fa regin O, en todo el plano i, se cumplen los trl:.'s teore-
mas de Fredholm , y que, e11t<J11ces, los valores propios ). 110
pueden tener punttJS de acumulaci<Jn finitos.
Dernostremos previamente el siguic nlc lema para los
ncleos K,(P, Q) y K~(J', Q) continuos respecto a ( P, Q ), si
P ~Q. P EG y QEG.
Si
( 1, ~)
y
(2,8)

>Comparar con L. V. Kantorovich y V. I. Krylov, Mtollos A pro

.'(ilm1Jos del Anlisis Superior, 5 ed, 1962, cap. U, 4.
S6 /111rod11cciJn. Teoremas <le Frcdf1olm

cnto11ces cx;ste la i11tegml

)' sta c's cv11timw rcspecto a (/', Q), si P es 1//fere11tc de Q ;

adems
1K 3(P, Q)I < PQ>:.: .-::;si rx1 +a-> ti,
0 (3,8)
)l

en dvnd<' A 3 y A,1 son tlllCJ.Y constantes. Si, en cambio, ct1 + IX:< d,

entonces esta ;ntegral existe y es una funcin uniformemente
continua respecto a ( P, Q) *>.
Demos/racin. Sea P ~Q. Entonces

,..._....__,
d

== J... J A 1A2 dxl') ... dx~ >

1
~ =l. (5,8)
r "" /) [
'
11
_ (x, - x,'( ))2 ] -::;- [ le/ (x,1( ) - ]--
Y1)=
l= l /al

Aqu X, xP>, y,-, i = l, ... , d, son las coordenadas de los

puntos P, P1 , Q, respectivamente; D es el dimetro de la
regin G, o sea, et extremo superior de las distancias entre
dos de sus puntos;

) Comparar con S. L. Sobolev, ecuaciones de la Fisica Matem-

tica, ci edicin, M. - L., 1947, pg. 233.
Ecuac. integ. con mcleus del tipo K(P, Q)/PQ> 51

Para simplillcar los clc ulos sin restringir la generalidad,

hagamos
x 1 = .. . =-XJ=O; y 1 = (!, Y.,= . =y,= 0,
en donde 11 =PQ. Pongamos 1ucgo
xP> = ~,.
En tonces la i ntcgral l que figura en el segundo micm brn
de (5,8) puede escribirse as:

Obsrvese que, si 1( Z~~;;.:: 2, entonces

t 1-J.
(6,8)

En efecto, de la fig. 2 se vo que PM + OP~ OM. Pero OP= 1.

Por consiguiente, PM<::OM-1 =~ (OM + (OM-2)). Pero,

por hiptesis, OM ~2. Por eso, PM';:. :1.

5X l11troci11ccin. Teoremas de Frctflwlm

Descompongamos la integral I en dos partes y utilice-

mos la acotacin (6,8). Entonces se obtiene:
[,,;;: A 1A~
()11., + tt, -ll
f... f '-
d~ ... d~d
ll<o
+
~ d J -

Z~i""I [ .~~~12 [<~1-02+ .~]i

.1=1 t=~

~ ~4~~=-cl f... J ~.!'J!.'...:.~; ::~ .

2

.1~ ;r,=:~ [ ~7 ]-
,f =l .
2
-

La ntegra! en el primer sumando es convergente y da cierta

constante C1 que no depende de e. Para el clculo de Ja
segunda integral, pasemos a coordenadas polares. Se ob
tiene: D
(!

l,.; Cit.!<1-12,-a, + C.!J/-<t, - r.c1-1-,,,-4 dr., J (7,8)

en donde C2 es una constante posiLiva.

Si tx.1 +o: 2 .,,.cf, entonces de la ltima frmula se deduce que

es decir, se obtiene la acotacin (3,8).

Si oc.1 + a 2 = d, entonces de Ja frmula (7,8) se desprende que
D
l ~ C1 + C2 in 2!.l ,
es decir, la acotacin (4,8) para K(P, Q) *>.
*) Bn las consideraciones subsiguientes, el caso cc1+ ocz = d siempre
pu~d~ ~cr 1;xcluido1 aumentando un poco 0:1 o rx 2
Ecuac. brteg. rQ11 ncleos del tipo K(P, Q)/PQ"' S9

Si, en cambio, cx1 + rJ. 2 <d, entonces es evidente que

.K3(P, Q) existe tambin para .P= Q. Luego, de la acotacin
(7,8) se sigue que ..

f ~ C ,,11-"-" + Ct<,tl-"'-t [ ( D)d-r:i,-" - 2:1-.,,-.,,] s C (8 8)

l. d- IX - t . ~ :1 '

en d onde C,1 es una constante.

Demostremos ahora que K 3(P, Q) es s iempre continua
y depende de ( P, Q), si P no coincide con Q. Para esto
observemos que
Ka(.P, Q)- Ka(.P* , Q*)I ~
-:s: IK3(P, Q)- Ki P, Q*)I + IK3(P, Q*) -K:(P*, Q*)I s

: :; f IK,(P, P,)I 1 K2(P., Q) - K1:(Pp Q*)I dP .. ...

+ JIK2(P1 , Q*)I IK1(P, I')- K1(P'4l, P1)I dP1. (9,8)

Hemos supuesto que las funciones K 1(P, Q) y K2( P, Q)

csltn dadadas para lodos los puntos P y Q (si P ;11! Q) per-
tenecientes a G, y que K 1{ P, Q) y K.i.( P, Q) son continuas
siempre que P ~ Q. P o r eso, en cualquier conjunto cerrado
de puntos (P, Q), que no contenga puntos para los cuales
P = Q, las funciones K 1(P, Q) y Kf..P, Q) son uniformemente
continuas respecto a ( P, Q). Por consiguiente, cada una de
las diferencias que figu ran bajo el signo integral es uniforme-
mente pequea con respecto a P 1 , siempr'e que los puntos
Q y Q*, P y P* estn suficientemente prximos entre s en
toda Ja reginG de puntos P 1 , a excepcin de ciertos en-
tornos G1 , G 2 , G3 y G~ de los puntos .Pi = Q, P 1 =Q*, P1 = P
y Pl.= P*. En los entornos G1 , G2 , 0 3 y G4 incluimos Jos
punto~ d.e G, que gistan respcctivament<; de Q, (J*, P, (' *
60 l11trnd1cci11. Teoremt1S de Fredholm

no ms de un cierto r fijo, pequeo, que no vara al apro

ximarse P a P* y Q a Q*. Por eso, en virLud de las con
diciones ele (1,8) y (2,8), las integrales que figuran en (9,8)
y son tomadas sobre las regiones G- (G1 + G2 ) y G- (G:1 + G~)
se hacen arbitrariamente pequeas, cuando Jos puntos (P, Q)
y (P*, Q*) estn suficientemente prximos. Las partes de
las integrales (9,8), tomadas sobre los entornos G1 , G2 , G:\
y G4 , como consecuencia de las condiciones ( 1,8) y (2,8),
tambin son arbitrariamente pequeas, cuando r -0, si
PytQ.
Si, en cambio, cx1 + a.2 <d, entonces, cuando los punlos
(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 G.u G2 ,
G3 y G4 ticn<lcn uniformemente a Orespecto a (P, Q), cuando
r~o.
En efecto, la primera de las integrnlcs (9,8), lomada sobre
estos entornos, no es superior a la suma

Cada una de estas integrales se acota utilizando la desigual

liad (8,8). Anlogamente se acota la segunda integral de
(9,8), tomada sobre G1,, G2 , G3 y G4 .
De esto se deduce la continuidad de la funcin K.J(P, Q)
en toda la regin cerrada en que est definida y, por lo
tanto, su continuidad uniforme.
.Dediqumonos ahora al estudio de las ecuaciones inte-
grales
f
y(P)=). K(P, Q)y(Q)dQ +f(P), (10,8)
Ccuuc lf/lcg. con 11claos del tipo K(P, Q)/PQ.. 61

en donde K(P, Q) tiene la forma indicada en el ttulo del

presente pargrafo, para rx<d. La funcin f(P) la conside-
raremos continua en Ja regi n cerrada, y por lo tanto, aco-
tada; consideraremos tambin slo las soluciones contin uas
de esta ecuacin. Obsrvese que, de manera completamente
anloga a lo hecho en el prrafo anterior, es fcil demostrar
que con las s uposiciones hechas sobre K(P, Q), cualquier
solucin acotada de la ecuacin ( 10,8) es continua, si/( P)
es continua.
Demostremos, ante todo, que para IJ.I suficientemente
pequeo, esta ecuacin , al igual que su transpuesta, tiene
solucin nica en la clase de funciones acotadas. Como para
la ecuacin transpuesta todas las demostraciones son iguales
a las de la ecuacin dada (l0,8), nos limitaremos a consi-
d erar slo la ecuacin (10,8). La demostracin de Ja existen-
cia y de la unicidad de Ja solucin d e la ecuacin (10,8)
se lleva a cabo de igual forma a como se hizo en el 5.
Buscaremos Ja solucin en forma de serie:
y( P) = y 0 ( P) + J.yi( P) + A.2y 2(P) + ... (11,8)
Como en el 5, obtenemos que

y,~P) =f(P), Yk+ 1(P )= f K(P,Q)y,,(Q)dQ,

k = O, 1, 2, . ..
Aplicando el lema recientemente demostrado, de aqul oh
tenemos que todas las y 1,(P) son funciones con tinuas de P.
Acotemos sus mdulos . Supongamos que
lf(P)I <N,
en do nde N es una constante. Sea M el extremo superior
de Jos valores de la integral
62 l11troducci<11. Teoremas de Fredltolm

JIK{P, Q)l dQ
(M, c.vidcntemcntc, existe). Entonces es fcil ver que
IYk(P)I :;;.NM''.
De aqu que, para
1
J. <M-i:.(e >O),

la serie (l 1,8) converge uniformemente respecto a ), y da

una. funcin holomorfa respecto a J. y uniformemente con-
tinua respecto al 9onjunto (P, l.). Completamente igual que
en el 5, se demuestra que esta serie d Ja 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

y(P)=}. .fJ'(P, Q, ),)f(Q) dQ+f(P),

en donde
F(P, Q, /,)=K( P, Q) +J.K<2>(P, Q) +J.2K<>(P, Q) + ... (12,8)
El primer trmino de esta serie es igual a

K(P, Q)=K(:Q?), <1.<d, (13,8)

en donde K(P, Q) es una funcin uniformemente continua

respecto a (P, Q). Como Ges una regi6n acotada, de aqu
se deduce que la funci n K(P, Q) es tambin acotada, y por
el lema dellloslrado al principio de este pargrafo,
2
I K< >(P' Q)I <-~-
PQto.-d ,
Ec11ac. lnteg. con ncleos del tipo K(P, Q )/ PQ 63

en ge neral
IK (m)(PQ)l
>
-c p(lrn11-(m
Am
- 1)d
*)
'

si m~-(m-l)d > O. Aqu A y A 111 son unas const.inlcs.

Como a..<d, entonces para m sulkientemente grande ten-
dremos que
mr:1. -(m - 1) d <O.

Entonces, en virtud del lema demostrudo, K<"'>(P, Q) es una

'funcin uniformemente cont inua respecto a (J>, Q) . Todas
las i teraciones siguientes K<P>(P, Q) sern tambin un ifor-
memente continuas. Adems, para p:::..111 tenemos que

IK (p+ l)( P, Q)l ... jJK(P, Pl)K<P>( P,, Q) dP,,,,.

-:;;; M pf 1K(P, P 1)1 tlP
1 r;. M 1,M,

en donde M~ es el ex.tremo superior del mdulo deK<P>(P, Q)

De nqu'I se obtiene la de mostracin de In convergencia uni-
forme de la serie (t2,8) respecto a P, Q y). (para A<~- 1').
igual a como fue demostrado para Ja serie ( 16,5). Razona-
mientos anlogos se pueden hacer para. la ecuacin trans-
puesta.
Todas ll S frm ulas obtenidas en el 5 siguen siendo
vlidas.
Despus de esto, todos los razonamientos del 6 son
apl i~1blcs a las ecuacio nes integrales con ncleos del tip<)
111
K(P, Q) .. Z a,{ P )b,{Q) + K 1(P, Q),
,_,
} Vase la nota en la p g. 58.
64 ln,troduccir1r. Teoremas de Frcdho/m

en d onde ai{P) y bi{Q) son continuas en G y K1(P, Q) tiene

la forma {J 3,8). De este modo, se obtiene Ja demostracin
de los teoremas de Fred holm en el crculo
1
p. <M1'
en donde M 1 es el mximo de los extremos superiores de
las integrales:

JIK1{P, Q)j '' f IK1(P, Q)I dP.

Adems de esto, resulta que en este crculo no puede
haber puntos de acumulacin de los valores propios de /..
Pasemos ahora a Ja demostracin de los teoremas <le
Fredholm para Jas ecuaciones integrales con ncleo del tipo
indicado en el ttulo del presente pargrafo. Hagamos
</ic(.t) "" X, S X '!S C,
rrc(x)= C. si x>C.
Entonces la funcin
Kc( P, Q) =K(P, Q)<pc (p~,.)
ser uniformemente continua respecto a (P, Q) para todo C.
Parn un valor C suficientemente grande, las integrales
f IK( I', Q)-Kc(P, Q)I dQ, JIK(P, Q)-Kc(P, Q) I dP
sern uniformemente pequeas respecto a P y Q, respectiva-
mente. Como se dijo en el 6, una funcin uoiformen:iente
continua Kc(P, Q) puede ser aproximada uniformemente en
la regin G con una precisin a rbitraria por sumas del tipo
m
Sm(P, Q) =
1~1
a(P)b;(Q).
 Ec11nc. integ. COJl nc/eo3 del tipo K(P. Q) PQ o. 65

Ento nces, tenemos que

K(P, Q) == Sm(P, Q) +K(P, Q),
y, adems, el extremo superior de los valores de

f IK(P, Q) I dQ, f IK(P, Q) I dP

puede hacerse menor. que cualquier 6> 0. De aqu se ob
tiene la demostracin de los t res teoremas de Fredholm en
todo el plano A. para las ecuaciones integra les con ncleos
del tipo ( 13,8). Adems, se obtiene la demostracin de que
no existen puntos de icumul.icin fl nitos de 1os valores p ro
pi os.
La demostracin que acabamos de hacer, de los tres
teoremas de F redholm para ncleos del tipo (13,8), en lo
fud amental repite Ja 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 integra.ndos fuesen pequeilos era superflua
para ello. Esto, precisamente, se tuvo en cuenta en eJ pre-
sente pargrafo.
Observacin. Supongamos que e1 ncleo K(P, Q) es una
funcin continua de .P y Q, cuando PEG, Q EG y l' ~Q.
. y sa tisface a la condicin 1 K(P, Q) j < ~.. , O..-rx.< d.
' Sea e ,,.o y r,,,. +F.< d. Entonces
K(P Q) = K(P,Q)PQo.+t = K(P, Q>
' PQo.+a PQ+' '
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 lodos Jos teoremas de Fredhohn .
2. Muchos problemas de la fisica matemtica llevan al
.estudio de ecuaciones integrales, en las cuales la integracin
66 lntroduccM11. Teorcunos do Frcdholm

se efecta no sobre una regin del espacio eucldeo d-dimen

sional, sino sobre una curva, superficie o variedad*> de
mayor dimensin, sil.linda en un espacio eucldeo de dimen
sin suficientemente grande.
Para las ecuaciones integrales de este tipo tambin son
vlidos los teoremas de Frcdholm . Ms adelante demostra-
remos cmo se pueden demostrar Jos 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.
Asi pues, sea dada la ecuacin

J
y(P) =J. K(P, Q)y(Q) dSQ +f ( P), (1 4,8)
s
en donde Ses una superficie cerrada regular en et espacio
tridimensional (suponemos que en cierto entorno suficiente
mente pequeo de cualquier punto A ES, un a cualquiera de
las coordenadas de fos puntos de S es funcin con derivadas
continuas de las otras d os coordenadas) ; dSq es eJ elemento
del rea de la superficie S ; PES, QES y f(P) es una funcin
continua dada en S. Sea, adems, K(P, Q) x,~a.Q), donde
K(P, Q) es una funcin continua cuando P ES y Q ES; Os
:oa: ix. < 2 y PQ es la d istancia entre los puntos P y Q en el
espacio tridimensional. Para demostrar mediante los ra7.o

) Por variedad d-dimensional diferencia.ble continua M, en el

espacio eucldeo n-dimensional E11 (O<d< 11) se entiende un conjunto
M ncotado, conexo y cerrado de puntos, perteneciente a Fn , y tal,
que en cierto entorno ele cualquier. punlo A E M, algunas (n - d) coor
den:uJus de los puntos de M son funciones con derivndas continuas
do las restantes d coordenadas.
F.ct1<1('. i11teg. r.on 111trle11.1 del tipq K( l', Q)/l'Qo' 67

namientos del apartado 1 todos los teoremas de FredhoJm

para la ecuacin (14,8) considerada, es suficiente demostrar
que sigue siendo vlido el lema del apartado 1 y que todo
ncleo continuo K 1(P, Q), dado en S, puede ser uniforme-
mente aproximado por u n ncleo degenerado con cualquier
grado de exactitud. Los razonamient os restantes de los 4,
.5, 6, 7 y 8 se extienden automlicamente a las ecuaciones
del tipo considerado.
El ncleo continuo K 1(P, Q) puede considerarse co mo
una funcin continua, definida en cierto conjunto cerrado
S 2 en e( espacio de 6 dimensiones (Xp,yp,Zp,Xq , yQ,ZQ)
Este conjunto se obtiene cuando Jos puntos P(xp, Yp zp) y
Q(xq , YQ, zq) recorren el conjunto S, independientemente
uno del otro. Denotemos por R el cubo, en e! espacio
(xp , Yp . z,, , xq , YQ ZQ), que contiene a todos los puntos del
conjunto S 2 Una funcin continua, dada en el conj unto
cerrado S'l., puede p ro! ongarse hasta que resulte u na fun -
cin continua, dada en R *>. Del teorema de Weierstrass se
tiene, que una funcin continua, dada en R, puede aproxi-
marse uniformemente por un polinomio con una precisin
arbitrarja. Si consideramos ahora este polinomio slo en S 2,
entonces, ste ser, precisamente, un ncleo degenerado que
aproxima al ncleo K,l(P, Q) con cualquier precisin.
Verifiquemos ahora el lema del apartado 1, 8. .Para
demostrar que K 3(P, Q) es continua para P -FQ, en forma
anloga a Ja demostracin dada en el p. 1, es suficiente
verificar, que para r suftcientemente pequeo, la integral
del tipo

f
dSp,
QP:'
S(Q,r)
0..:"<2,

> P. S. Alcxan~rov, Introduccin a. la Tcorla de Conjuntos y

Punciones, Gostejizdat, 1948, cap. 6, 13, pg. 284.
(il! lmr t>d11r.ci11. Teoremas de Fredho!m

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 Ja 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 P 1 sobre el plano z =O. Como dS < C dx dy, en donde
C es una constante, y, adems, Q'P~ =-QP1 , se tiene :

dSt < J Cdxdy

J QP:
S(Q, ') S(Q', t )
Q'P{a

Esta ltima integral puede hacerse arbitraramcnte pequea,

si r es suficientemente pequefio.
Para demostrar la continuidad de K3(P, Q) para P = Q
y o:_L+ <M,<d, basta acotar, de la..misma manera, Ja integral
del tipo

f
.S(Q, t )+S(I', r)
PP~_'QP~'

cuando P y Q varan en un entorno pequeo del punto

P * = Q* y r tiende a cero, utilizando la desigualdad (8,8).
Para demostrar Ja validez de Jas desigualdades (3,8) y
(4,8), demostremos que lns funciones
K3 (P, Q)PQ~ +a,-d, si a 1 + i>:2 >d,
y
K 3(P, Q)
si
lln PQI+ l '

para PES, Q ES y P 96 Q, estn acotadas.

Ecuac. integ. con ncleos del tipo K(P, Q),'P Q 69

Para ello, supongamos que nucstru afirmacin no es

cierta. Entonces existen dos sucesiones de puntos Pi. ES,
P'J. ES, . . . , Q 1 ES, Q:? ES, .. . , donde P1 ;dQ" que

1Ka(P,,Q,)IPQ7'+a,-d ..... 00 , cuando i--. (15,8)

Podemos suponer, adems, que las sucesiones P, y Q, Sllll

convergentes, es dcr, que
P1 -P0 ES, Q; - Q0 ES.

De Ja continuidad de Ja funcin Ka(P, Q) para Pi>6Q, de-

mostrada anteriormente, se deduce que P 0 = Q 0 Suponga-
mos, para fijar ideas, q ue en cierto entorno U sufioientc-
ment.c pequeo del punto P 0 , la coordenada z de los puntos
de Ses una funcin de x e y con derivadas continuas, y que
en este entorno se ''eriflca la desigualdad tlS :s C dx dy (C
es una constante). Entonces, para todas las l suficientemente
grandes, se tiene que

donde los trazos indican las proyecciones sobre el plano

z::i O. Puesto que el ltimo de Jos s umandos obtenidos est
acotado, de (15,8) se deduce que

(16,8)
70 lntroduccin Teoremas de Fredlzolm

Sin embargo, para todos los i suficientemente grandes,

se tiene que P;Q;,,;CLP1Q, eil donde CL > O ( por qu ?).
Por eso, de (16,8) obtenemos:

P'Q'o:,+0:1-11
1 1

r- tlx dy
p'J>'"'p'Q''"
I 1 l 1
... oo
'
cuando i - -.
U'

Pero los puntos .P y Q estn silllados ya en la regin

U' del plano. Por esto, en virtud del lema demostrado en
el apartado 1, tenemos que, para todas las i suficientemen te
grandes,
. dxtly A
Jr'r'"p'Q~'
U'
f 1 1 r < P'Q'"+"'-"
t 1

( es una constante), Esta relacin contrad ice a Ja anterior.

De forma anloga se demuestra que Ja funcin I~3~ fl_ 1
es acotada.

9. Ejemplos de ecuacionl!S 11tegrales si11g1t!arej'

Llamamos singulares a aquellas ecuaciones integrales para

las cuales no son vlidos los teoremas de Fredholm, o bien
los valores propios Llenen puntos de acumulacin finitos.
Las ecuaciones integrales singulares citadas en este par-
grafo lienco un intervalo de integracin inllnito. Pero, ha-
ciundo, por ejemplo,
' =tg 1], X= tg y,

estas ecuaciones integrales pueden ser reducidas a ecuaciones

cuyo intervalo de integracin es fi nito.
Ejemplos de ecuac. integ. slngu/arcs 71

Ejemplo l. La cc-uac11 integral

<t(x) =AJ sen X~'P(~) d~

o
tiene para A= 1/ i un conjunto infrni{o Je soluciones lmcal-
Yn
1ncnte independientes, ya que para tales /., las siguientes
funciones satisfacen a esta ecuacin
-- e-''---
n X
c-{ x)=
V 2 a2 + x2
para cualquier a:> O.
Ejemplo 2. La ecuacin
+-
q.{ x) = ). Je- l x-!lq1(~) d;
~ -1+ -0:
2

tiene Ja so 1uc1on
. ' e'""'
. para ':;:: D e est e mo d o, cuc1a
2
""4 real es un valor propio. Aqu consideramos slo valo-
res reales de o:, ya que, en el caso contrario, e1r1.x no seria
acotada en el inte1valo infinito - ..., < x < + -.
Existen ejemplos de ecuaciones integrales, para las que
no tienen lugar los dems teoremas de Fredholm.
En la teoria de las ecuaciones diferenciales con derivadas
parciales y en la fsica matemtica, desempean un papel
muy importante las lla madas ecuaciones integrales singulares.
Estas ecuaciones tienen la forma (10,8), pero sus ncleos
tienen una si ngularidad fuerte (rt. = d) y no son integrables
en el sentido comn ; la integral correspondiente se entiende
72 Jntroucctn. Teoremas de Fre<fl10/m

en el sentido de valor principl, segn Caucby. Ha sido

construida la teora com pleta de las ecuaciones si ngul are~.
Esta teora se diferencia sustancialmente de la teora de las
ecuaciones inlegrales de Fredholrn. Una amplia bibliografa
ha sido dedicada a las ecuaciones integrales singulares.
Vase, p<>r ejemplo, N. f. Musjclishv.ili, Ecuaciones lntegrales
Singulares, Fizmatguiz, 1962; N. 1. Muskhelislwili, Singular
integral equations. Boundary problems of fu nction theory
and lheir applicaton .to mathematical physics. (Dep. of
Supply and Dcvelopment, Aer. Res. Lab., Melbournc,
Australia, 1949; Noordhoff, Groningcn, 1953, traducido del
ruso). S. G. Mijlin, I ntegrales Singulares Multidimensionales
y Ecuaciones Integrales, Fizrnatguiz., J962.
 CAPITULO 2

BCUAClONES 013 VOLTERRA

JO. EcuaciC1nes de Vulwrra

Asi se llaman las ecuaciones i11legralcs

f
~

y( P) = li K(P, Q)y(Q) dQ + ftP ),

que satisfacen a las siguientes condiciones:

a) cada coordenada de los puntos P y Q toma valores
desde O hasta cierto a > O;
b) K(P, Q) :::i O, si por lo menos una de las coordenadas
del punto Q es mayor que fa 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
X

y(x) =J. Jx(x, ~)y(~) de+/(."). (J , 10)

o
Demostremos que p a ra esta ecuacin tiene lugar el primer
caso de la a lternativa de Fredholm para c ualquier A., donde
se supone que K(x, ~)es una funcin continua para O.,,;;.x --a,
O:s: ~-== x, y f(x) es continua para O.: x,,,. a.
En otras palabras, demostraremos que fa ecuacin. de
Volterra no tiene valores p ropios.
74 Ecuaciones de Vo/terra

Demostracin. La ecuacin (1 ,10) pertenece a la clasc

de ecuaciones integrales, pura Ja que hemos cmostrado Jos
teoremas de Frcdholrn. En cfcclo,

K(x,,l:)=K(x.~)lx-el'
lx-~I' 0 <l:'< 1.

Ln funcin K(x, E), definida por las igualdades

K(x, ;) = K(x, ~)jx-;j para O:s~ sx1 ,
K(x, ~) =0 para ~ ;::x,

es uniformemente continua en el cuadrudo

O..:xsa, o,,..;~a.

Por eso, para la ecuacin integral ( 1, lO), de acuerdo con

el 8, son vlidos los tres teoremas de Fredholm. Esto
significa que, para demostrar que para esta ecuacin tiene
lugar el primer caso de la alternati va de Fredholm para
cualquier A., es suficiente demostrar que la ecuacin homo-
gnea correspondiente

f
J{x) ==.A K(x, ~)y(~) dE (2,10)
o
puede tener para cualquier A. s lo la solucin trivial en Ja
cl~se de funciones continuas de X para o~x:sa. Demostre-
mos esto ltimo: denotemos por B el valor mximo de
ly(x)I para Os:x~a. yporMelvalormximo de IK(x,E)I
para O :s,-;-::;;;a y O .s; ,,.x. Entonces, de Ja ecuacin (2,10),
obtenemos que
Ec11acfones de Volterra 75

Sustituyendo de nuevo esta acotacin de y(x) en el segundo

miembro de (2,10), obtenemos
/Jx~
ly(x)l ,,.- l.l.l2 M 2 2 .
Continuando este proceso, rcsulla:
lll"Mkx1'il l1W'M 1'a1'.iJ
Jy(x)j "" k! :s:: k! , k=l,2, . ..

Esta ltima expresin tiende a O cuando /e - .... Por lo tanto,

y(.x) s O ep cf intervalo (O, a), que es fo que se quera de-
mostrar.
La solucin <lu la ecuacin (l ,IO) pue<lt,; buscarse en
forma de serie
y(x) = y0 (x) + .y1(x) + i.2y2(x) + ... (3, 10)

De acuerdo con el 8, tiene que ser

X

YiJ(x) = f(x), Y1<+1(x) = f K(x, ~)Yh(~) ,g, k =O, 1, 2, ...

(l

Sea N el mximo valor de l/(x)j en el intervalo (O, a).

EnLonccs se tiene que
M lc>f'N MICafcN
ly,,(x)I s k! ..::: k! .

De aqu se ve que Ja serie (3, 1.0) converge uniformemente

respecto a ). y x, cuando A. est situado en un circulo ar-
bitrariamente grande y x.,.a. o...
Para tener una idea clara del por qu la ecuacin de
Volterra no tiene valores propios, consideremos (de manera
simlar a como se hizo en ' el 3) el siguiente sistema de
76 Ecuaciones de Vo/terra

Aqu hemos conservado las notaciones admitidas en el 3.

La ecuacin (4,10), para cualquier). fijo, puede resolverse
sucesivamente, siempre que jl~ I sea suficientemente pe-
queo, lo que Sttpondremos. En ~fecto, de la primera ecua-
cin se puede hallar y 1 , ya que para ILlEl suficientemente
pequeo, el coeficiente de y 1 es diferente de cero. Sustituya-
mos el valor <.le y 1 en todas las ecuaciones subsiguientes.
Entonces, de Ja segunda ecuacin se puede obtener y 2
Sustil uyarnos su valor en todas las ecuaciones subsiguientes.
Entonces, de la tercera ecuacin se puede despejar y 3 , etc.
Fcilmente se puede demostrar, que cmtndo .dx-0, la so-
lucin del sistema (4,10), efectivamente, se aproxima a la
soluci n de la ecuacin integral (l,10).
El determinante del sistema (4,10) es igual a
1.1 =(1 - .A.K11 LI~) ( 1 - /..K22 LI~) . .. ( 1 - J..K,,,1 LI~),
en donde 1.lx = LI~ = ~n . De aqu se ve que
u
11 -= (l - 1).1M LI~)~ . (5,10)
El segundo miembro de esta desigualdad, para cualquier L!.;
suficientemente pequeo, es diferente de cero. Al disminuir
J.;, dicho miembro crece. por ejemplo, cuando LI~ dismi-
nuye dos veces, entonces (1 - 1.icl M .ti.;) en (5,LO) se s usti-
Ecuncinne.r de Volurra 77

tuye por la expresin

,,M)2 . ~~M2(Ll~)
(I - p. M T ca 1 - J 1.I M 11; t - --
4
Cuando Ll~ -0, el segundo miembro de (5, 10) tiende a
e-1J.a~1

La causa algebraica de la ausencia de valores propios

de la ecuacin de Volterra estriba, precisumcnte, en el hecho
de que el determinante del sistema (4,10) es siempre diferente
de O y no tiende a O cuando .d~ -0.
Observacin 1. Con razonamientos completamente an-
logos a Jos que utilizamos para demosLrar la ausencia de
valores propios de la ecuacin de Volterra, con ncleos
uniformemente conti11uos, se puede demostrar lo mismo para
las ecuaciones de Vo lterra con ncleos deJ tipo

K(x /;) = K(x, e) O==~< 1,

' lx-e1 11
'

en donde K(x, ') es una funcin uniformemente continua.

Observacin .2. Consideremos la siguiente ecuacin inte-
gral de Volterra de 1 especie, respecto a Ta funcin incgnita
y(x):
X

JK(x, ~)y(~) d~ =f(x),

u
j{O)=O. (6,10)

Supongamos que K(x, ~), K;(x, E); f(x) y f'(x) son funcio
nes continuas cuando O:r.::x ==a y O ~~ :i;;x. Entonces, cual~
quier solucin continua y(x) de la ecuacin (6, 1O) para O.s:
78 Ec11acio11es de floltcrra

~x ""'a satisface a la ecuacin integral

K (x, x)y(x) + JK~(x, ~)y(E) d =.f'(x), (7.10)

o
la cual se obtiene de (6, 10), derivando miembro a miembro
respecto a x. Recprocamente, fcilmente se ve que cual-
quier solucin continua de la ecuacin (7, 10) para o~x""'a
satisface tambin a la ecuaci n (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 2 especie, estudiada en el presente pargrafo. Si K(x, x) =
=0, a veces es til derivar nuevamente miembro a miem~
bro Ja ecuacin (7,10) respecto a x , etc.
 CAPITULO 3

ECUACIONES INTEGRALES
CON NUCLEOS
S1METRICOS REALES

I l. A11/ogos geomtricos de cierras relaciones

e11rre flmcmes (espacio de flmcia11es)
Una nocin sobre unafuncinflP), uniformemente con-
tinua en una regin fin ita G dada, por ejemplo, en un inter-
valo finito (a, b), nos da los valores de esta funcin en un
conjunto de puntos P1 , P2 , , Pn suficientemente denso.
En el caso unidimensional se pueden tomar los sigu ientes
puntos:
x =-a+ L1x, a+ 2.1.fx, ... , a + (n - 1) Llx, a + n L1x,

en donde Ll~=~. paran suficientemente grande. Denota-

n
remos los valores de f en estos puntos por
/(l), <2>, ..., <n>
respectivamente. Consideraremos estos ltimos como com-
ponentes de un vect.or (f(l>,<2>, .. .,J<n>), en el espacio eucl-
deo de dimensin n. c uyo origen est sit uado en el origen
de coordenadas. De este modo, a la funci n/ le corresponde
un vector (f<t>,<2), ... ,/<11>). La longitud o n<Jrma de este
vector es igual a
80 Ecuac. foteg. cn11 mclcM simt!tr. r<"nlcs

Pasando al lmite, cuando n - ... , es natural llamar " longi-

tud" o norma tle la funcin f(P) al nmero

VJrcP)dP.
En la tabla siguiente estn enumeradas, por un lado, las
principales m agnit udes y relaciones, ligadas con vectores
en el espacio eucldeo n-dimensional y, p or otro lado, las
correspondientes magnitudes y relaciones para las funciones
(en el " espacio de funciones"). En este pargrafo toda.v las
funci0tws ronsideradas se suponen reales, definidas cn una
regin finita G y de cuadrado integrable (vase la observa-
cin a l 1). El smbolo Jf(P) dP d esignar siempre la
integracin sobre la regin G.

l. El vector (f<t>,<2>, ... L La funcin f(P) .

. . .,<n>).
2. Longitud del vector 2. Norma de la funcin
<JWJ<2), ...,JM) f(P) :

11111= VJ1 (P)dP.

2

3. Distancia entre los 3. Norma de la diferen-

puntos (ff1>, .. ..f~11 >) cia de dos funciones
.f(l) .f(n)) .
y ( J~ J 'l .h.(P) -ftCP)
Andlogos gc1>mtr. cfo ciert. relac. cmre f1mcio11eJ 81

La norma de Ja diferencia f.:.(.P)-/1(P) que acabamos de

definir carncteri:a la distanc;a cuadrtica media de fi.(P) res-
pecto a /L(.P). La diferencia entre las funciones J;( P) y / 1( P)
se puede caracterizar de varfas maneras diferentes, y no slo
mediante In norma de la ifercncia f 2(P) -11( P). Esta distin-
ci61) se puede caraderi'ZAr, por ejemplo, a travs del nmero
8 , igual al del extremo superior de la expre~n

Si B es pequeflo, esto sigttifica que la diferencia f 2(P)-J(.P)

es uniformemente pequefia en toda la regin G considera.da.
Como la: regin G es finita, de la pequeez de .B se deduce
Ja pequeez de la norma de Ja diferenciaJ;(P) - /,(P)defirtida
ms arriba. l~ afirmacin inversa no es cierta.
Si tenemos una sucesin infinita de funciones
f.(P),h(P). . .,.fi,(P), .. ,
y una funcin f( P), para lai; cuales
sup l/(P) -.h(P)l -0. para k- ""
o
entonces, como es sabido, se dice que la sucesin de fon -
ciones fk(P) converge uniformemente hacia /( P}.
Si, en cambio,

J I.f(P) - };1(P)]:?dP -01 para k: .-. ..,,

entonces se dice que la sucesin de funciones .f,,(P) cun\>ergc

en media (o en. med1a cuadrtica) hncia JtP). De la cotwer-
gencia uniforme. en una regin finita se deduce la conver-
gencia en meda. La inversa no es cierta, como lo rnucstm
el siguiente ejemplo.
82 Ecuac. integ. con 111cfcos simtr. rf!a/es

La sucesin de funciones
J,,.(x) = e-lrx

en el intervalo abierto [O, I] converge en media hacia la

funcin f(x) =O cuando k- " Pero es evidente que esta
convergencia no es uniforme.
Daremos un ejemplo ms de una sucesin que converge
en media, pero que no converge en ninguna parte en el
senlido habitual. Tal es la sucesin de funciones fi(x), i =
""" 1, 2, 3, .. ., definidas en el segmento cerrado [O, I] de la
siguiente manera:
para

j~ .1.,. (x)=O para X<~k y para

k=O, 1, 2, .. . ;
p=O, 1, .. ., 211 - 1.
Para i = 2" + p - " esta sucesin converge en media hacia O.
Pero en ningn punto del segmento [O, 1) converge sta en
ti sentido habiLUal, ya que para cada valor de x de este
segmento se pueden indicar valores arbitrariamente grandes
ele i, para los cuales jj(x) = 1, y otros i arbitrariamente gran-
des, pura los cuale~ /~x)= O.
Ejercicio. Demostrar que, escogiendo adecuadamente los
nuneros a1r y b1; . las funciones
1
jsen (x-b1,) I "~,

cuando k- -, convergen en media hacia O en el segmento

[O, 11 y no convergen en ningn punto.
Anlogns geom/r. d8 ciert. rclac, ellfrf'. fs111cfom:s 83

4. BI producto escalar de 4. Sellamaproducto esca-

dos vectores lar de dos funciones f 1(P).
f.;(P) a
f p>, .rP>, . ., fln>,
y
{JiI>, /J2), ... , Jn>) ffL(P)h(P)dP.

viene dado por la frmula Denotaremos este prod ucto

Denotaremos este pro-
ducto esca lar por el smbolo
if1.fJ.
5. Desigualdad triangular
(la suma de dos lados de un
tringulo no es menor q ue
el tercero):
V (a-b;) +VZ(b,-c,)
2
por el smbolo (/1, f .;J. La
existencia de esta integral en
nuestras suposiciones es con-
secuencia de que
1abl ::s:-i<a2 + IJ2).
5. Desigualdad triangu-
lar:
VJ{ft.(P) -.h(.P)}2 di' +

~ Y2,'(a1 - c1) 2
2 2=
+V fu;.~ P )-f.-( P)J2 di; '2:

:z:V f ff.(P)-/ (P)J2 11.P.

1

Ambas desigualdades se demuest ran idnticamente. Por

eso demostraremos slo la primera. Es fcil ver que, sin
restringir la generalidad, se puede considerar que todas las
b; son iguales a O. Elevando al cuadrad o ambos miembros
de esta desigualdad, y reduciendo trminos semejantes, ve-
mos que sta es equivalente a Ja desigualdad

-Za1c,~Y2,'al_c;,
6'
84 EC'.i1aC'. intf!g. C'Ofl nc/C'OS simtr. ! reales

puesto que todas las races cuadradas Jas consideramos no

negativas. La ltima desigualdad se deduce directamente de
In siguiente:
(1, 11)
la cual se llama desigualdad de Cauchy. Para su demostra-
ci~n .obsrvese que para cualesquiera nmeros reales o1, c1
y /.

Por eso. la ecuacin cuadrtica de .A

J. 2a;+21a,-c;+ Zcr =O
no tiene races reales diferentes. Pero esto e..~ posible slo
cuando se cumple la desigualdad ( 1, 11 ).
De la misma manera se demuestra la desigualdad

[Jf(.P)q{ P) dPr..: fP(P) dP f q: (.P) dP. 2

(2, 11)

Esta se llama desigualdad de Bunyakovski ).

>La. desigualdad ( 1, 11) se encuentra poi primera vez en el curso

de Anlisis de Cauchy (J821): Oeuvres, W , t. llT (1897), 373. P-1 propio
Cauchy la dedujo de h. Jdentidad

despreciando su segundo miembro no negativo. La desigualdad (2,1 1)

la demostr por primera vez y la utiliz Bunyakovski (Sur quelques
ingalits conccrnanc les intgrales ordinaircs . .. Memoires de l'Acad.
de St. Petersbourg (VI 1) 1 ( 1859), N 9). Pero en la literatura e speciali
zada esta desigualdad frecuememente se llamil desigualdad de S<.:hwarz,
a pesar de que en sus obras stn aparece por primera vez slo en 1885
(Wcrke, r (1890), 251) .
All/ogos eometr. de clert. relac. entre funciones 85
6. El coseno del ngulo 6. Lfumnrcmos coseno
Ctltrc los vectores del :ngulo e ntre dos funcio-
(ff, Ji2>. .. .. .11 11
> nes f 1(P) y fiP) a
y
(j:!(l) ' 1(2)
2 ' . ~
111>
., . 2 .f!i(l')J;(l') di'
es igua l u
n
~.t1'>j~1)
VJ!i(P) i/P. Vft;(P) ti;~.
l 1
De acuerdo con (2, 1 l), el
1 u~ 1>J2 --v-i~1p~:
V /01

De acuerdo con (1, 1J), el

t.z:.1
mdulo de esta expresin no
supera a 1.
Se dice que Ja funcin
mdulo de esta expresin no f(P) est normalizada, si su
supera a J. norma es igual a 1.
Llamaremos vector uni- El coseno del tngulo
dad (o vector unitario) , a entre dos funciones normali-
aquel cuya longitud es igual zadas j~(P) y J;.(P) es igual a
a l.
El coseno del ngulo en- Jfl(P)fz(P) dP.
tre dos vectores un idad p>,
p>, .. .,Jln> y /~l), ~?.), .
.. ., /J11 > es igual a
fl

i~p>~o.

7. Condicin de ortogo- 7. Condicin de "orlvgu-

nalidad de dos vectores na/;dad" de dos funciones
uy>, .. , ll">) Y U'l>, . .,lit Jj_(P) Y /2(/>)

z ff>
fl

/ ml
f~i) =-.
ff (P)fiP)
1 tfp _,, o,
86 E<:uac. i111eg. cm1 ndeos simtr. reales

8. La condicin de depen- 8. La condicin de de-

dencia. lineal (coplanaridad) pendencia lineal de las fun-
de los vectores ,, = (J't;1>, ... ciones .ft(P), ... , fm(P) con-
. .. .fin>) k-=- i , 2, ... , m siste en la existencia de 1Jnas
consiste en que existen unas constantes C1 , , Cm , no
constantes C 1C2 , , Cm, todas iguales a O tales, que
no todas iguales a O tales,
que
"' C ,f,i(P) =0
,Z 1
1.- 1

i= 1. 2, ... , rz. para todos Jos puntos P.

9. Sean dados m vecto- 9. Sean dadas m funcio-

res unitarios, ortogona les nes normal izadas, ortogona-
entre s: les entre s:
<f'r1 = (<p~1>. , (,,-~:>),
q>i{P), . . ., <Pm(P).
k=l,2, ... ,m.
Sea 'fl1<(f} Ja proyeccin del Se llama coeficiente ele Fou-
vector ucl), ... , <.ti>) sobre rier de la funcin /(P) res-
la direccin del vector pecto a la funcin qi1,( P) a
rpp>, .. , <p~11>, .. . Entonces
rp,;(f) = Z" J(l>,p~).
1-1
f
[i, = JtP)<p,,.(P) dP.

Teorema. Sea dada una funcin f(P), integrable junto con

su cuadrado. Buscaremos las constantes C1 , C2 , ., Cm para
que la clistancia cuadrtica media I.n entre la combinacin
li11e(Jf C 1it\(P) + . .. + C111<p111 (P) y la funcin f(P) sea mnima.
Amlogt>s geomtr. de ciert. rclac. entre /uncmes 87

Se afirma que los valores buscados son iguales a los coeficil'n

tes de Fm1rier ,, *>.
E.n efecto,

/ 111 = J[f(P)- C1'1'i(l')- . . . - C111rpm(P)F dP=

= ff 2
1
m
f
(P) dP - 2 ~Ck f(P)<rlP )dP I
m
f
+ ,L;' C1C; <p~P)rp(P) dP =
' ,... ]
' 111 ,.,,

= j f2(P) dP - 2,ZCicfr, +
A'= l
.2C:=
,,.,..,

m m
"" f.r-U') cll' -~ !'5'(/ii
j
- C1r)2 - Zll
to ,I

De aqu se vt: que Im alcanza su mnimo

m
jj'l(P)dP - 2,...ff. /(co l
si /k=C1, , k=l,2, . . . ,111.

JO. 1>ara cualquier vcclor JO. Para cualquier fun-

f(J) , .. .,<n> se verifica Ja cin f(P ) so cumple la des-
desigualdad igualdad

, J. ;112> s f< >(P ) dP.

2

En el caso de ig ualdad, csh~ ( .Deslgualducl de Bessel) .

relacin corresponde al teo-
rema de Pitgoras.
-..- - . - -
) Iulcrpr!csc: esto lcotcma ;~omtricnmcoic.
88 l..i:11ac. i11tt'lf. c<111 mcleos simtr. reales

Demostracia de la c/(sigtwldml de IJ<ssel. Es evidente

que f 111 :z..O parn cualesquiera. C;. Si C, =J; para i= 1, 2, ...
tll
, 111, entonces !111 = IP(J') di' Zfk2, o scaj /'1-(P) dP ~
111 1:~1

~ Zff, que es lo que queramos demostrar.

I= 1
La sucesin de funciones normalizadas, orlogonalcs <los
a dos, {brevemente, sistema ortonormal)

cpi(P ), c;.;.(P), . ., cp,P), ... (3, I 1)

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):

JPU') dP=,.~J;.
Nota. Oc la afirmacin demostrada en el apartado 9 se
deduce la posiblidad de susti tuir la definicin dada de un
sis(ema de funciones completo por Ja siguiente, equivalente
a. ella: el sistema ortonormal el( fi,mciones (3, l L) se llama
wmpleto, si para cualquier jimcin continua, en una regin
cerrada f(P ), existe una combinacin lineal de estas funciones
m
ZC1c<rilP),
1;~1

tal, que el error cuadrtico medio cunu!(ido al sustituir f(P )

por esta co111bi11acin, es decir,
Aniifugos geomtr. de cicrt. rclac. entre funcione.r 89

es arbiJrariamente wquei'<J. De aqu que. si flam~isenios s is-

tema com plelo <1 un sistema ortogonal, para el cual se cum-
pla la igualdad de Parscval para c ualquie r funcin de cua-
drado integrable JU'). continua en toda la regin, a excep-
cin, posiblemente, de un nmero finito de puntos, curvas
y superficies regulares, de dimensin has ta (d- 1) , 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 /(.P) -/*(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 cerrado*>, s no
existe ninguna funcin de Ia clase considerada **), cuya inte-
gral de su cuadrado exista, sea positiva y o rtogonal 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 exis te una funcin
f(P) para la cual la integral de su cuadrado existe, es p osi-
tiva y ortogonal a todas las funciones de (3, 1f). Los coel-

) Muchos autores empican una terminologa diametralmente

opuesta. A los sistemas que el autor del libro llama completos, tales
autores los llaman cerrados (o densos), y a los sistemas que el autor
llama cerrados, tales autores 1os llaman completos.
En el espacio U estos conceptos son idnticos, debido al teorema
tlc Riesz- Fiscber, que afirma que todo sistema completo es cerrado
y viceversa. Vase J . Rey Pa~tor, Pi Calleja, C. A . Trejo, Anlisis Mate-
mtico, Vol. lll, Ed. Kapelusz, 1961, Cap. XXV, o tambin S. .K.acz
mar.z, H. Steinhaus, Theorie der OrthogonaJreihen. Warszawa- Lww,
1935, Cap-ll (Nota del Redactor. de Ja traduccin).
0 >Ver la observacl6n al l.
90 Ecuac. i11teg. con ncleos ~im~tr. reales

cicnlcs de Fouricr de tal funcin , respecto a las funciones

(3,11), son iguales a O. Por consiguen~e, para la 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 funcione s do cua-
drado integrable en el sentido de Lebesgue (vase 20,
ap. 1).

11. La ecuacin normal 1 f. Su anlogo en el espa-

de un plano en el espacio de cio de funciones es
n dimensiones (q/1), <p<"t.>,
. ., cp<"~ es
11
_ aCl>q;<O = p,
/al " f a(P)<p(P) dP=p,
en onde en donde

f a (P) dP c l.
n
.Z [a<i)J2 = 1. 2
1 ~L

12. la ecuacin <le una 12. Su anlogo en el espa-

superficie de 2 orden con cio de fun9iones es
centro en el origen de coor-
denadas es
IfK( P, Q)rp(P)cp(Q) d P dQ = J,
(5, 11)
en donde
en donde K(P, Q) = K(Q , P )
P EG, QE G.
A11dlocos geomlr. de ciert. relac. entre /Uflciones 91

13. La proposicin fun - 13. Bajo a mplias supo-

damental e n la teora de las
fornias cuadrticas
K,1 = K 1, (6, 11)
consiste en la posibilidad de
reducir una forma do stas
media nte una transforma -
cin li neal no sing ular
n una su ma finita o i nfinita
.,,,ci> = ct'F>,p<1>, (7, 11 )
j;I
sicio nes respecto al ncleo
real simtrico K (P, Q) , no
idnticamente nulo, es decir,
para e] cual K(P, Q) e
~ K(Q , P), demostraremos
que la forma inlcgral
f JK(P, Q)q{ P)rp(Q) d P dQ
( 10, 11 )
puede ser expresa da como
del lipo

i= L 2, . . . , n
a su forma cannica
en donde
z-
A,. .
111 (1p(/)p
;~1
f
1~ 0 = cf( P )cf{ P) dP,
donde
m :<M n. (8, ll ) y las func iones <p;(P), i =
= 1, 2, ... , fo rman un con-
En lo sucesivo nos interesa- junlo no vacio, finito o nu-
rn slo formas cuadr ticas merable, de funcio nes nor-
con coeficientes K i reales; malizadas y ortogonales en-
en este caso, todas las ip~i> tre si, es decir,
pueden ser escogidas tam-
bin reales. E ntonces tam-
bin sern reales todas las

) No oscribmos ol lmite superior do los valores de i, cJ cual

puedo ser fiuito o infinito.
92 Ecuac. lntt!g. con ncleos simt r. rales

).. Existen muchas transfor- Estas fu nciones <p1( P) co-

maciones lineales (7,11 ) con
coeficientes reales que redu-
cen la forma cuadrtica (6, l J)
a su forma cannica (8, 11).
Ent.re stas desempean un
papel especial las transfor-
maciones ortogonales, es de-
cir, las transformaciones
(7,1 1), para las cuales
n (1 1, 11)
Z rll>11V> = b;,,,
J-
en donde 0;1,. =0, para i=k
y ()11<= l para i=k. En el
curso de Algebra se de-
muestra que los coeficientes
de dicha t ransformacin sa-
tisfacen a las ecuaciones
ti
1r~1r.) = i. ,Z K1,<p~l),
/= l
i = 1, 2, .. . , m (vase el
19 *>).
Geomtricamente, a la
transformacin de la forma
rresponden a los vectores
unitarios, dirigidos por los
ejes principales llnilos de la
superficie (5, 11 ). Cada fun-
cin <p( P ) satisface a h1
ecuacin integral homognea
J
IJ>(P) = K(P, Q) q>i(Q) dQ .
en donde todos los valores
A1 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.
(9, 11)

) 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 ulteriore~. Recomendamos leer
este pargrafo ahora.
Anl<lgos genmtr. de ciert. relat:. (l/llrc fu11cio11cs 93

cuadrtica (6, 11) a la forma

cannica (8,1 1), media nte la
transformacin ortogonal
(7, 11), le corresponde el paso
a un sistema de coordenadas
tal, que los ejes de coorde-
JJadas coinciden con los ejes
principales de la superficie
(4,11). Los vectores (rf>,
()')(2) 1p{n} , - 1 ni
1 I ' ' 1 ..._ ' ~ ' "
son unitarios y van dirigidos
por los semiejes principales
finitos de la superficie (4, 11 ).
Si m < 11, entonces, Ja super-
ficie (4.1 1) degenera en una
superficie cilndrica. En este
caso, adems de los m ejes
finit os, la s uperfi~ie tendr
n - m ejes infinitos. Aquellos
semiejes, a los cuales les
corresponden valores l.; po-
sitivos, se llaman reales, y
aquellos, a los cuales les
corresponden valores ).1 ne-
gativos, se llaman imagina-
rios.
El problema de hallar el La idea fundamental de
r
vector un1'd ad ..1(1) , cp1(2) , . la demostracin de Ja exis-
. . ., ri~>), que lleva Ja di- tencia de, por lo menos, ~n
reccin de un semieje prin- valor propio de la ecuacin
cipal de la superficie (4,11), integral (1 1,11 ), consiste en
correspondiente a ).1 (supo- lo siguiente (comprese con
nem os .que 2 1 es el menor en el 12). Demostraremos la
94
valor absoluto de todos Jos
valores ), es equivalente
al siguiente problema (vase
el 19).
Hallar el mximo, si /. 1>0,
o el mnimo, si ).1 <O, de la
forma Z K11<p<i)<p(J) con la
condicin de que
n cin q;1( P) satisface a la
,'{qi<l)p = 1.
/ =l
Gl problema de hallar el
vector unidad dirigido segn
el semieje correspondiente a
A. 2 de la superficie (4, 11), o,
lo que es lo mismo, el pro-
blema de hallar la solucin
del sistema
i=l,2, .. ., n,
ortogonal a la solucin
'l, (1) , ..., 'h.(n)'), 1ac1
"' 1mente se
1educe al prohlcma de ha-
llar et mximo o el minimo
de la forma
Ecuac. integ. con ncleos slmtr. reales
existencia en la clase de fun
ciones q;(P), para las cuales
5r: (P)dP= l,
2
(12,11)
es una funcin que da un
mximo o un minmo ).1 ,
diferente de O, de la forma
integral ('10,11). Esta fun-
ecuacin integral ( 11,11 ), pa-
ra i = 1. El problema de ha-
llar la fun cin normalizada,
correspondiente a ?.2 , diri-
gida por el semieje principal
de la superficc (5,11), y el
de hal\ar la funcin propia
respectiva de la ecuacin
integral (11, 11 ), fcilmente
se reduce al problema de
hallar el mximo o el rnini-
mo de la forma integral
J.f [ K( P, Q) 'P1(P~~ 1 <Q)] X
xrp(P)<p(Q) dP dQ
' 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 d~. Ja superficie (5,11)
A11logo.r geomeftr. de cierJ. relac. enJre funciones 95

en Ja clase de vect.ores uni- o, fo que es lo mismo, las

tarios (cp(.1>, , rp<n>). De dems soluciones normali-
manera anloga se hallan zadas de la. ecuacin inte-
los vectores unjdad, dirigi- gral ( 11, 1t ), ortogonales a
dos por los dems semiejes las soluciones anteriores( v~a
(vase el 19). se el apartado 4 del 13).
t 4. Sustituyendo en la 14. Bajo ciertas condi-
identidad ciones impuestas a K(P, Q)
i
t,jrsl
K;-rrf.i>q.,<1>
J
=.y CVJC'>J:
t;\ l.
ser demostrado ( 15) que
K(P, Q) = f qi,{ P~;(Q) .
en Jugar de 1/'(i) su ex pre-
sin mediante f(J), dada por
la frmula (7, 11), obtenemos
n
K rt g;(s>1p(t) a
s,t

;;: :;t
y( z; ~~-)
J.,
~s) ~/) .
,,,<s> r<t> . 1

Com parando los coeficien-
les de iguales prod uctos en
los miembros extremos de
esta cadena de identidades,
obtenemos que
, m 9'~s)'P~t)
A,, =Z
l =l
-;,i - .
96 E.c.uac. i11teg. con mdeos siml:/r. reL1/e.~

15. La condi~in nece- 15. En el 14 se de-

sa rin y suficiente para que mostrar, que toda funcin
se pueda desarrollar un vec- f( P) intrnsemmenl<! repre-
tor dado (f ), . . ., JM), se- sentable por medio del 11(1-
gn las direcciones de los cleo K(P, Q) y de una fun-
semiejes principales finit os cin h(Q) con cuadrado inte-
de la superficie (4, 11 ), es gra ble, es decir, toda fun-
que el vector (J<i>, .. .J<n>) cin representa ble en la fol'-
sea ortogonal a todos los ma
semiejes infinitos ele la su-
perficie (4, 11 ). Pero de la f(P)"" JK( P, Q)/J( Q) dQ.
igualdad (9, 11). como es fft-
cil de ver, se deduce que las puede ser desarrollada en
componentes <x< 1) , , x<11>) una serie absoluta y unifor-
de los vectores dirigidos se- memente convergente, segn
gn los semiejes infinitos de las funciones propias <;;( P)
la superficie (4,ll) deben del ncleo K(P, Q) (teorema
satisfacer a las ecuaciones de Hilbcrt - Schmidt).
n
4 K 1x<J> =0,
/al
1 i= 1, ... , n.
(13, 11)
La condicin para que el
vector (JCt>, ... ,[<"')) sea or-
togonal a todos Jos 1,<0, . ..
.. x<n.>, que satisfacen a
las ecuaciones ( 13, 11), es
que el sistema de ecuaciones
n
~
4J K ji I1<1> = Jrft)
1 = 1) ... , 11,
! t
respecto a las incgnitas
J<O, . ., 1z<11>, o Jo que es
Damostr. de Ja existencia de f u11cio11es propias 97

lo mismo, debido a fa con-

dicin K;j = KJI, que el sis-
tema
n
K;h(f) = f(t), j = 1, .. . , 11,
/ l
tenga solucin (vase el 3).
En los 12 - 18 suprmdremos que t odas las funciones
crmsider0<las pertenecen a In clase de .fu11clones descri/a.v en
la ohsermclu al 1, y aclenu,<:, que tod<tS ella.<; .vo11 reahs
y dl' cuadrado l11tegmbll' e11 toda la regin finita de .w <lefi-
11i61j11.

/2. Dcmoslraci<J11 de la e:>dstei1c(tt de fu11cio11es

prop/ur de las ecuacio11c,r if/tet:rnlr.s
c<m mcleos simtricos
1. Ohservadones preliminares. Si existen las integrales
de tos cuadrados de las funciones cp(P), 1'(.P) y K(P, Q) en
sus dominios de definici n, que es lo que se ha postulado,
entonces la integral

.r JK(P, Q)<i(P)ii(Q) d P dQ
tambin existe. En efecto,
IK(P, Q)rr(P)1(Q)I ,,;;~ K 2 (1', Q) +~ip:?(P)1;2(Q).
Por eso

J J1K( P, Q)tp( P)1{Q) 1 dP dQ ~

~tf JK'l(P, Q) dPdQ+~J (f12(P )dP. f112(Q)dQ.
7
98 Enuac. i11fcg. can 111rfons simrtr. rrafcs

En lo sucesivo, el smbolo JJ
indicar Ja integracin sobre
todo el do minio de definicin de K(P, Q), es decir, sohre
toda t.i regin donde PE G y Q EG (vase el 4, donde de
manera semejante se define el smbqlo 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

J K(P, Q)q{P)i{Q) dP dQ

pueden considerarse como integrales reiteradas, tomndns

primeramente respecto a Q, y luego respecto a P "'>.
H~igamos

B<p( P) = JK(P, Q)q.{Q) dQ + crp( P)

y
(r.v) = Jx(f>)v (P)dP.
1

.La funcin Bq{P) es de cuad rado integrnblc en G, ya que

por la desigualdad de Bunyakovski

(JK( /', Q)<p(Q) dQr J[K(.P, Q)]2 dQ. J<p

:s 2
(Q) c/Q
y p or eso

Ju r
K(P, Q)!f(Q) dQ dP s f J[K( P, Q)]ll dP dQ . Jcp2(Q) dQ.
) G. M. Fijtengolls, C urso de Clculo Diferencial e lnlcgrnl, M.,
1% 0, t. IU, cap. XVI, 5, pgs. 214-273.
ne11w.~1r. de la e.xWcll('ia de f1111rinnc.r propias 99
Generalizacin de la desigualdad de Bunyakovski. Supon-
gamos que la suma de las integrales

Jf K(P, Q)<p(P)cp(Q) dP dQ +ef rp2(P ) dP ra (Brp, <p), (1, 12)

en donde e es una constante, es dejin;da no negativa. Esto

significa que para cualquier funcin real <p(.P), esta suma no
es negativa. A partir de este momento, supondremos que
K(P,Q)=K(Q , P). Entonces, para funciones r{ P) y vf.P)
cualesquiera,
(2, 12)
.DemosJrt1cM11 de la desigualdad (2, 12). Como por hip-
tesis Ja suma (l ,12) es defi nida no negativa, p<trn cualquier
1~ real, tenemos que

JfK( P, Q)[<p( P) + ;op(P)](1'(Q) + t1i(Q)] d P dQ +

J
+e [tp{ P) + vt(P)J2 dP :.: O.
Abriendo parntesis, obtenemos:

f JK(P, Q)r:{,P)rp(Q) dP dQ +
JJK( P, Q)<r{ P)1r(Q) d!' dQ +
-i "'

+ .i f f K(P, Q)<p(Q)y(P) di' dQ +

+ t' Jf K( P, Q)y{ />)~p(Q) dP dQ +

2

+e J<p (/>) <IP +2,uc J<p(P)1'(P)dP+<'2J1i2(P) ,~p~o.

2

1
l()f) Ecunc. intcg. con 111clC'o.~ sflmltr. rC'ales

La segunda y tercera integrales son iguales, en virtud de

la simetra de K(P, Q); entonces,, sta desigualdad puede
cscri bi rse as:
(Brp, cp) + 21i(Brp, 1p) + ,u,2(B1p. 11) :::O.
Esta ltima desigualdad puede verificarse para cualquier t
real slo en el caso en que
(Bri, 1p)2..: (Brp, rp) (B1p, 111),
que es lo que queramos demostrar.
Si K(P, Q)=O, y e= 1, la desigualdad (2, 12) se trans
forma en la desigualdad de Bunyakovski
(.f <p( P)v'(P)dPr ~ J<p (.P)dP f1r ( P) dP.
2 2

2. En lo sucesivo, hasta el 18 inclusive, consideraremos

ecu"ciones integrales con ncleo simtrico real del tipn
K(P, Q)=K.~QaQ), 0..:11.<~ , (3, 12)

en donde K(P, Q) es una funcin uniformemente continua

respecto a (P, Q), cuando PEG y Q EG. Sup011dremos que
lll regin G es .finita. Por eso, la funcin K( P, Q) serf1 aco-
tada.
Teorema. Sea dada la famWa de fimcinncs h(P}, para las
cu((fes
J h2(P) di'~ M 2 , ( 4, 12)
en tlmule 111 es una constante, igual para todas /ns fimcio11es
h(P) . .Entonces, la familia de funciones 1i(P), d<!jini</as por
la igualdad
11{P) = f K(P, Q)h(Q) dQ,
C!S uniformemente acotada y equicontinua en G.
Demostr, de la existencia de funciones propios 101

La cquico ntinuidad de una familia sig1ufica que pura

dos puntos P 1 y P2 cualesquiera, pertenecientes a G, jtp(PJ -
- 1p(P.i)I se hace menor que cualquier nmero s> O, si la
distancia P 1 P2 es menor que un 1 :>O, que depende slo
de F. , pero no depende ni de la fun cin tp(P) de Ja fam ilia
consdera<l~ ni de la posicin de Jos puntos P1 y P. en la
regin G.
Denwstradn.

l1f.{P2) - 1p(P1 )/~ = !f (K(P2 , Q)-K(P 1 , Q)]h(Q) dQ r""'

s; J [K(P:? , Q) - K( P " Q)]:tdQ f h'l(Q)dQs
,,d1J [K(P:l' Q)-K(P, Q)J2 dQ. (5,12)

Al hacer el pcn(11limo 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
la desigua ldad (5, 12). Para ello, dividamos la regin G en
dos partes, G1 y G2 Consideraremos que a G 1 pertenecen
todos los puntos de G, que distan de uno de los puntos
P1 o P'.! no ms que (!. En virtud de la igualdad (3, 12) y
de bido a que K(P, Q) es acotada, te11emos que

f [K(P 2, Q) -K(P1 , Q)]2 dQ

o,
a
ser menor que cualquier e positivo, si es menor que cierto
nmero a(e), que depende slo de f.: y tiende a O, cuando
e-0. Este nmero e(t:) no de,pende de los puntos P 1 y P2
Por otra parte, debido a la continuidad uniforme de K(P, Q)
102 Ec11ac. lllleg. con mlcleos simtEtr. reules

en la regin G para un e fijo, la integral

J[K(P 2, Q) -K(P 1 , Q)]ll dQ (6,12)

puede hacerse arbitrariamente pequea, siempre que los
puntos PJ y P 2. estn suficientemente prximos uno del otro.
La pequeez de la integral (6, 12) depende slo de la distan-
cia entre los puntos P 1 y P2 , y no de su posicin.
La acotacin uniforme de la famlia de funciones 1p(P)
se obtiene fcilmente utilizando la desigualdad de Bunya-
kovski. En efecto,

J
1 K(P, Q)h(Q) dQ 1 ~ lfJK(P,.Q)2 dQ VJh2(Q) dQ.
La primera integral del segundo miembro de esta desigual-
dad es acotada, segn (3,12). Ln segunda es menor que M,
debido a la condicin (4, 12).
3. Tl'Orema. La <!cuacin integral

f
(p( P) =i. K(P, Q)<r(Q) dQ (7, l 2)

posee, al me11os, un valor propio finito, si el ncleo satis-

face a las propiedades descritas al principio del apartado
anlerior, y no es idnticamente nulo. En lo 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 . Po r primera vez, casi al msmo tiempo, indepen-
dientemente uno del otro, demoslraron este teorema, por
esle mtodo, Hilbert y Holmgren. La mayor dificultad que
se encuentra aqu co nsiste en la demostracin de la existen-
Demostr. de la exi:itcm:iu tle Ju11ciot1cJ propla.1 1()3

cia en la clase considerada de funciones qi(P), que cumpl~n

fa condicin (12, I), de una funcin taJ, que d el mx.imo
o el mnimo de Ja forma integral (10,11) *>.La demostra
cin expuesta aqu de la existencia de tal funcin pertenece
a L M. Guelfand.
Demostracin. Consideremos el conjunto S de funciones
q1( P), para las clla\es

(&, l2)
Sea
l(<t) :::1 JJK(P, Q)r:p(P)<p(Q) dP dQ.
Los vaiote5 de l(r.p) en el conjunto S son acotados. En efecto,
por la desigualdad de Bunyak.ovski

ll(<p)l 2 ~ J JK (P, Q) clP dQ f j1.2( P)g>2(Q) dP dQ =

2

= JJK"!(P, Q)clPdQ. J t!(.P)dJ>. J r (Q) dQ .

La primera de las ltimas tres integrates es finita, segn la

condicin (3, J 2), y Jas dos ltimas son iguales a l, de acuerdo
con (8, 12}.
Sea ,t>111 , respectivamenle i.M, la cota inferior, respeciiva-
mcntc superior, de Jos valores de J(qi) en la familia S. Supo-
niendo que K(P, Q) no es jdnticamente nulo, demosLremos

) La validez de la afirmacin anloga de la cxislencia de un m

1\imo o de un mximo de la form\l. cuadrtica (6, t 1) en el conjunto
do vectores unitarios (q;<1>.tp(), . ., rpCn)), es consecuencia directa del
teorema de Weicrstrass sobre la existencia del mximo o mnimo de
c\la\quie.r f\lnci6n contim1a en cualquier conjunto acotado, cerrado,
de puntos, en particular, d~ la funcin (6,11) en l esfera :{q;(1 > p~ L
104 Ecuuc:. imeg. ccm 111cle1Js simtr. reales

que po r lo menos uno de los nmeros l"M o .111 es diferente

de cero. En efecto, en caso contrario, la integral l(<p) sera
igual a O para todas las funcones q:i(P) de la familia S. En
particular, esto succder[a para cualquier funcin <fP,,( P),
igual a O en toda Ja regin, except un entorno arbitra ria-
mente 'Pequeo de a lgn punto P", en donde <rr.(P) > O.
Pero, por olra pa1te, como K ( P, Q) no es idnticamente
nulo, indefectiblemente existir un punto (P0 , Q 0) , en <lontlc
K(P0 , Q 0);<!0. Podemos suponer, que Q0 no coincide con
P1,, ya que, s K(P, Q) fuera igual a O para todos los puntos
(P, Q), en <lo11dc Pes distinto de Q, entonces sera idntica-
mente nul o, debido a la supuesta continuidad uniforme
de Ja funcin K(P, Q) respecto a (P, Q), escrita en la rela-
cin (3, 12). Pero

!(11'11, Hpq.) = l(ct1,.) + I(<pq,) + .f f K(P, Q)cp,,,,(P )cfJQ.(Q) dP dQ +

I J.f K(P, Q)</'1'.(Q)tf'q.( f') di? dQ.
Las dos ltim as integrales cscril.as uqut se toman sobre
pequeos c nl.ornos de los puntos ( 1'0 , Q<>) y (Q0 , .J>1,) ~ e n
virtud de la si metra supuesta de K(P, Q), las integrales
sobre estos dos entornos coinciden, y debido a que
K(P0 , Q0)~0 y que en cierto entorno del punto (P0 , Q0)
conserva su signo, stas son diferentes de O. En cambio,
suponamos que las integrales J(<p".) y l(<pQJ eran iguales
a O. Por eso,
I (cr,,.+ g-q.) ~o,
lo cual es imposible. De este modo, bajo nuestras suposi-
ciones, 1.111 y l'M no pueden ser ambas iguales a O. Supon-
gamos, por ejemplo, que .tM -;i O.
De11wstr. de 1" e.xiste11ct1 Je f1111cio1tcs propias 105

Consideremos una sucesin infinita de funciones norn1a

!izadas
<71.1( P), 1plP), ..., cp,,(P ), .. .
para tas cuales
/(<fk) 1:- ..>- /tM. (9, 12)
Fcilmente se comprueba que llt diferencia

J
-/(1p) + l,M <p2(P) dP
es definida 1)0 negativa en el sentido descrito en el apartado
l del presente pargrafo. Por eso, en la desigmllc.lad (2,!2)
se puede considerar

Bq>(P) = J(-K(P, Q))<p(Q) dQ + l'M'P(P ).

Hagamos co esta desigualdad
cp(P) =1p1,( P),
111(P) = Bcr,lP).
Obl~ncmos que
(B<p1,. , 81p1c)'!.-r;;(Bcp0 q11<)(BB<pk, JJrp,,). (JO, 12)
En virtud de (9, l 2)
( 11,12)
Por otra parte,

J 5
IBqi{P)\ ~~ K:!(P, Q) dQ + ~ 9;(Q) dQ + l.u-MI \?'1,(f')\ .

De acuerdo con (3, l 2), Ja primera de estas in tegrales es

acotada, y la segunda, por la condicin de (8, 12), es igual
a l. Por eso
106 liri1ac. i11tc;. e<m 111cl<!os simtr. t'e(lfes

donde M es una constante que no depende de 'Pk. De ma-

nera anloga se puede obtener una acotacin similar para
BB<p1, . Aplicando la desigualdad de .Bunyakovski se puede
demostrar fcilmente que Ja expresin (BB<pk., B<pk) es tam-
bin acotada . Por eso, de las relaciones ( 10, 12) y ( 1J , 12)
se deduce que
(12, 12)
De acuerdo con el apartado 2, la familia de funciones

K<rr.(P) = JK(P, Q)cpiQ) dQ

es equicontinua y u niformemente acotada. Por eso, segn
el teorema de Arzel (vase, por ej., mis " Lecciones de
Ecuaciones Diferenciales Ordinarias", 11), de la sucesin
de funci ones Kri1<(P ) puede extraerse una subsucesin uni-
formemente convergente. Supongamos que sta sea
Kcp~,( P), K1pk,(P ), .. ., K1p1,,..(P), ...
Sea
Kq111,,.(P) m:::;lo-- q~(P).

Se afirma entonces, que la funcin <p*(P) es solucin de la

ecuacin integral (7, 12) para ). =-1- . En efecto,
M
IBK1p1,( P)I= l- KKrp11(P)+ f''MK(r1,(P) I =
== 1K[ -Kqi,,(P) + ~1,1,.1Cf1<(.I')] 1=1 KB<f"(P)I =

J
= 1 K(P, Q) Bg:iJQ) dQ 115:
1 J

f. J[K{P, Q)p JQ} { .f [B<;,,(Q)p dQ}

2 2
s
Demostr. ele la existencia de fi111cio11e.r propias 107

Por eso, utilizando ( 12, 12), se obtieue que

BK<r>1;,.
1 ,.
(P) ----r
1n-oo
O.
De aqui que, en virtud de Ja convergencia uniforme do
Kcp1:,,.(P)
.B<p*( P) =0,
que es lo que se quera demostrar. La funcin <p*( !') no es
idnticamente nula, ya que en caso contrario, debido a la
relacin (J2,l2), la sucesin /t,v/>1;,,.(P) para m- ~ tambin
tenderla en media hacia O, lo cual es imposible, ya que

J[tM</'k,,.(P)]2 dP = ,ti~ "" 0.

Observacionc!S. J. El caso /tm ~ O se reduce al caso estu-
diado f'M~ o, cambiando de signo a K( P , Q).
2. Hemos demostrado que el extremo inferior, rcspectjva-
ment superior, de los valores de la integral /(qi) 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 110 sea igual a O. Por
otra parte, la magnitud inversa de cada valor propio A. de
la ecuacin (7, 12) es uno de los valores de la integral /(cr)
para cierta funcin de la clase (8, 12). En efecto, el valor
de la integral l(q1) para <p(P) = <p(P), en donde rr1( P) es una
funcin propia normalizada correspondiente al valor propio
i.;, es igual a
J
Jp,(P) dP K(P, Q)g;,(Q)dQ =*J<rr(P)dP=*.
Se puede decir tambin, que el extremo superior, respectiva-
mente inferior, de los valores de la integral /(rp), en el con-
junto de funciones <p(.P), que satisfacen a la condicin
.f1p2(P)dP s I, (l3 , 12)
108 Ecua<:. i11teg. c<>11 mcfeos simetr. reales

es igual a Ja magnitud inversa del menor valor propio posi-

tivo, respectivamente del mayor negativo, de la ecuacin
(7, 12), siempre que este extremo sea diferente de O. De cslo
se desprende, que para todas las funciones q;(P) que cum-
plen la condicin (13,12), los valores de la integral /{q') en
valor absoluto no superan a la magnitud inversa del menor
valor propio en valor absoluto de la ecuacin (7,12). Ade-
ms, de los razonamicnlos anteriores se ve, que el extremo
superior, respectivamente inferior, de l(cp) en ( 13, 12) se al-
ccmza para <p, igual a cualquier funcin propia normaliza<la,
correspondiente al menor valor propio }. positivo, rcspcct-
vamente, al mayor negativo, en valor absoluto, si este ex-
tremo es distinto de O.
E}erl'ido. Demostrar que el conjunto de los valores de
J(cp) en (8,12) puede ser cualquier punto, o un segmento
cerrado, o un segmento semicerrado, al cual no pertenece
el punto l =0, que es uno de Jos extremos de este segmento.
El conjunto de los valores de J(<p) en ( 13, 12) siempre con-
tiene el valor / -0, y representa un punto o un segmento.
,Qu cnrsos son posibles si el ncleo es degenerado '!

.i$ 13. Alg 1111cL~ pmpiedtules dr: /u.~ f i11wio11c;s pruJict.~ y ele /us
valores pmpios tle las ccuacicmcs
11tegrales 1:011 ntclcos simtricos
l. Teorema. Las funciones propias de la ecuacin (7,12),
correspondienles a difaenles valores propios de A so11 orlo
gonales entre s.
Demostracin. Sean
J
cr 1( P) =i..1 K(P, Q)<\ (Q) dQ, (l , 13)

'1'2( P) = ).2 f K(P, Q)cp.(Q) dQ (2, 13)

Algunas propied<Td<M de las flmcirmes pl'O>in.f 109

en donde 1.1 F i.2 Multipliquemos ( 1, 13) por A2<p2(P) y (2, 13)

por A1<pt(P). Restando miembro a miembro las igualdades
obtenidas, e integrando la diferencia respecto a J>, obtene~
rnos:
(.A'l- J. 1) J1p (P)'J'/P) dP =
1

~ ). 1 .A~ JJK(P, Q)rp1( P)qJQ) dQ d/>-

- 7. 1A:J JK(.P, Q)ry;~( P)1,1

(Q) dQ dP. (3,13)

Co.mbia.ndo lns t1ota.cioncs de las variables de integraci l\

en el segundo trmino del segundo micmh10 , obtenemos:

.f JK(P, Q)rpi P)1\(Q) dP dQ,.. JJ K(Q, P)rpz(Q)<f! (P) clQ d.I'.

1

Como K(P, Q) ~ K(Q, P), de esto se deduce que el segundo

miembro de (3, T3) es igual a O. Y ya que, por hiptesis,
A2 ~ A1 , resulta

que es lo que querinmos demostrar.

2. Teorema. Todos los valores prnpios ele las <'('11ador1es
i111egl'(l/es con ncleos simtricos son rea/e,r.
.Demostremos primeramente el siguiente lema. Todas las
funciones pmpias de las ecuaciones fiel tipo co11siderado S<'ll
coniinuas.
En efecto, de acuerdo con lo dicho al final del 1r,
considerarnos que talesfunciones son de cuad rad o integra-
ble. Nuestro lema se deduce iomediatamentc q~I apar,tado
2 del 12.
110 F.r11ar. imeg. co11 nrleM simtr. rrtilrs

Demostracin del teorema. Supongamos que la ecuacin

integral (7,12) tiene un valor propio complejo ).=a+bi> en
donde b ;t:O. Sea rp(P) la funcin propia correspondiente.
Entonces
<p(P) =(a+ bi) j.K( P, Q)q;(Q) dQ. (4, 13)

Denotando por q;( P) la funcin compleja conjugada res-

pecto a <p( P). de la identidad (4.13) obtenemos

r (P)=(a- bi) f K(P, Q)rp(Q)dQ.

Segn el teorema 1, debe ser:

J1:(P)1p(P) dP = O.

De esto y del lema que acabamos de demostrar, se deduce

que
rp(P) sO,
por lo cual, para h ~O, (a + bi) no puede ser valor propio A.
Observacin. Del teorema demostrado se dcdce, que
tanto la parte real como la imaginaria de una funcin pro-
pia compleja son tambin funciones propias, que corres-
ponden al mismo valor propio.
3. Ortogonalfzacin de las funciones propias. Del mismo
modo que las superficies de segundo orden pueden tener
varios semejes principales de igual longitud, exactamente
igual, a un mismo valor propio ), 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
Al:1111as p1opie.tladcs dr. las J1111rimte.v propias 111

propio, es siempre finito. Supongamo!; que dichas fondones

son
<p 1( P), q>,_( P), . ., <rmU>). -(5,13)
Del hecho de que el valor propio i., correspondiente a estns
funciones es rea}, es fcil deducir que todas estas funciones
pueden escogerse reales. Segn el teorema l, todas estas
funciones son ortogonales a las funciones propias de la misma
ecuacin integral, peto correspondientes a otros va1ores ?..
Cualquier combinacin f1eal con coecieotes constantes de
las funciones (S, 13) es tambin una funcin propia de hl
ecuacin (7, 12). Demostremos que, formando tales combi-
naciones lineales con coeficientes reales d e las ftlnconcs
(5,13), se pueden obtener m funciones propias normaliza~
das y ortogona>es crHre si, que, por lo lllnto, sern funcio-
nes pmpias linealmente inde.pendicntes
v11(P), t1/,. /' )) . ., '1.j!m(P)
de la ecuacin (7, 12). Hagamos
11,( P) ""'atp 1( P).

Elijamos In constante a;-60, de modo que

Hagamos
TJ'lP)-= 1>[9"2(P) + bi1f1( P)),
en donde b ;do y b1 son cierras constantes. Elijamos la cons.
tante b1 de modo que sea

J~\'P-l dP =h [ f 1> 1'l'i'c!P + b 1 fri~ di'J"" O.

 112 Ecuac. imeg. co11 111k/eos :.imtr. reales

J
Como VJi dP = 1, entonces, esta desigualdad determina a b 1
unvocamente. Elijamos la constante h de modo que la
norma de 112 sea igual a l. Esto se puede hacer, puesto
que, en virtud de la supuesta independencia lineal de las
funciones (5, 13), <p2(P) + h 1'1.J)1 (P) no es idnticamente nula.
Y, debido a que todas las funciones propias de la ecuacin
, (7, 12) son continuas, la integral del cuadrado de <p2 + b111
no puede ser igual a O.
Hagamos luego
1p3( l') = c[<>3 ( P) + c21p:i( P) + c 11r_i(P)], e~ O.

Elijamos lu constante c 1 de tal mnnern, que

J1/W':i dP = e[J<f.1:11f'i dP + c J"1p21p1dP + c J1iidP]= 0.

2 1

Yu que

esta condicin define univocamente a c 1 :

<:1.= - J<Jl:i'l/-'t dP.

De la misma manera se pueden elegir las constantes c2 y
e~ O,de tal forma que

J-1i~ dP= 1.
Continuando este proceso, obtenemos 1piP), ... , 1pm(P).
:Por lo tanto, podemos limitarnos a considerar solamente
aquellas funciones propias linealmente independientes de la
ecuacin integral con siderada que forma n un sistema orto-
Algu11as propiedades da las f1111dones propas t13

normal. Tomemos un sistema ortonormal de funciones pro-

pias de esta ecuacin, maximal en el sentido de que cual-
quier funcin propia de esta ecuacn in tegral se expresa.
linealmente mediante las funciones de este sistema. En lo
sucesjvo n os ser cmodo n umerarJas, de forma que sus
\ndices crezcan a medida que crecen los valores absolutos
de los correspondientes valores -propios ). (el conjunto de
Jos cuales, segn el 8, no tiene puntos de acumulacin
finitos). Si a un mismp ). le corresponden varias funciones
ropi~s linealmente inoependintes, todas estas fonciones
Jus pondrcrnos juntas. De este modo, obtenemos la~ suce-
siones
'f' 1( P), 1p2( P), . . ., q,( P), ... (6, 13)
(7,13)
Aqu\, debajo de cada funcin propia es1. escrito su valor
propio J. correspoJldiente. t as sucesiones (6, t3) y (7,t3)
pueden ser tanto finitas como infi nitas. Bn la succsn (7,13)
algunos A.1 situados consecutivamente pueden ser iguales.
Esto suceder cuando el va\()r couespondiemc >., de la ecua-
cin (7,12) Cenga varias funciones p ropias linealmente inde-
rendientes. Pero, por el segundo teorema. de Frcdholm, para
cada A; existe solamente un nmero finito de funciones pro-
pias ortogonales entre s y, por consiguiente, linealmente
independientes. De este mismo leorema se deduce (\\IC, si
las sucesiones (6, 13) y (7, 13) son inflnitas, e ntonces
Pil - .., para .... oo.
El sistema (6,l 3) ser 111aximal en el sentido indicac.Jo ms
at'riba, st e1\ la sucesin (7. \3) gurao. lodos !os va\ ores
propios de la ecuacin integral considerada, y si a. cad<i
valor propio de stos en la sucesi n (6, 13) le co rresponde
114 Ecuac. integ. can ncleos simtr. reales

un nmero maximal de funciones propias linealmente inde-

pendientes, correspondientes a dicho valor propio.
4. Teo rema. Sea <p1(P) una funcin propia de la ecuacin
integral (1, 12), correspondiente al valor propio A1 Entonces,
para el ncleo
K,(P, Q ) =K(P, Q)- ip,(P):!p.!.(9.>.
. '1
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
sucesnnes (6, 13) y (7, 13), correspondientes al ncleo K(P, Q),
eliminando 'P.i(P) y A. 1
Demostraci6n. Verifiquemos, primeramente, que cual-
quier funcin propia cp(P) del n(1cleo K1(.P, Q), correspon~
diente a un valor propio J., es una funcin propia del ncleo
K(P, Q), correspondiente al msmo valor propio. Bn efecto, sea

J
<{'( P) =Ji. Ki(P, Q)q;(Q) dQ. (8, 13)
Entonces
(9, 13)
puesto que

j'q{l')<p 1(/') dP=A f f K (P, Q){'(Q)rp (P)dPdQ =

1 1

., .), JJ[K(/', Q) - 'Pi(Pt(Q)]<r ( P)ip(Q) dP dQ =

1

= ). JJK( /', Q)1p( P)<[{Q) dP dQ -

- 1.~ _f<t1(Q)<[{Q) dQ J'ti{P) dP=

=}: J<p (Q)g;(Q) dQ - ;~ J<p (Q)r:(Q) dQ = O.
1 1
Algunas propiedade.~ de> las Ji111oio11e.v propias 11 5

En virtud de la relacin (9,IJ), la igualdad (8, 13) puede

escribirse en la forma sguente:

qi( P) = l. frK(P, Q)- 'Pi(P~~i(Q)] 1;(Q) dQ =
=AJ K(P, Q)<{Q) dQ.
De esta manera, hemos demostrado que <f'(P) es un a fun-
cn propia de la ecuacin integral (7, 12), correspondien te
a l mismo ..
Demostremos ahora Jo recproco, que cada funcin pro-
pia cp,.(P) de la sucesin (6,13), correspondiente a un valor
propio A de la sucesin (7, 13), para i> 1, es una funcin
propia. correspond ien te a l mismo valor propio .A.1 paru el
nclc<> K 1( P, Q). En efecto , sea

J
cpi(P) -= J.1 K(P, Q)tr;(Q) dQ, i > 1. (10. JJ)
Eneo nces

Por eso, de In igualdad ( 1O,13) se sigue q uc

<f';(P) = l. f [Ki(P, Q) +'l'1(P~:1(Q) 1<p(Q) dQ =

= ?., J.K P, Q)<f,{Q) dQ.
1(

Ln misma funcin q1{Q) no es funcin propia de Ja ecuacin

(8, 13), puest o que, en caso COJ1trario, de la cood ici n (9, 13)
se tendra que Jr;j(P) dP =O, lo cual es imposi ble.
116 Ec11ac;. i11teg. con ncleos simtr. reales

De las proposcones demostradas, fcilmente se deduce

nuestro teorema.
5. Aplicando sucesivamente el teorema 4 a los n1cleos
K,(P, Q)=K(P, Q)- T,(P)~,(<J~.,

K.i P, Q) = .K1( P, Q) - 'f2 (P~::(Q) , ...,

o btend remos que todas las funciones propias epi( 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 co rrespondientes a Jos mismos valores propos para
el ncleo
K (P Q) = K(P Q) -
!11 . '
Z
Ir= 1
l('1l1-:)rfk(Q)
A/, '

s1 '> m. Estas funciones propias <f( P), i => nz, forman un

sistema maximal de funciones propias para la ecuacin
integral con ncleo Km(P, Q), en el sentdo de que cualquier
otra funcin propia de este ncleo se expreso linealmente
por medio de stas.
De este modo, las sucesiones (6, 13) y (7,13) para el ni-
deo simtrico K(P, Q) pueden ser obtenidas aplicando su-
cesivamente el mtodo variacional a /ns ncleos .K( I', Q),
K 1(1', Q), Ki.(P, 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 su()cicntemcnte grande, el ncleo Krn(P, Q) no
tendr ning n valor propio. Por otra parte, puesto que las
funciones 1p,,(P) son continuas, de acuerdo al lema del apar-
tado 2, el ncleo Km(P, Q), a l igual que K(P, Q), tendr
que satisfacer a todas las propiedades descritas en el apar-
.4/gtmus propiedades de lus fu11ci<J11cs proplas l l7

lado 2 d el 12. Po r esto, de ucuerdo con el apartado 3

del 12, tiene que ser Km(P, Q) a O, es d ecir, debe ser
K(P, Q)~ Z tp~(P'Jqii!-Q).
1.~1 ilr,
(l l, 13)

De cs\a frmula se dedu~. que cualquier ncleo del tipo

cons idei-~do con un nmero finito de valores propios (o, lo
que e:; lo mismo, con un nmero finito de funciones propias
linealmente i11dependentes), es degenerado.
- Observacin. Sea K(.P,Q)=K.~Qo.Q), en donde Or;;;~<d,
K ( I', Q) es \.ma funcin uniformemente con\inua. en P y Q,
y K(P~ Q) = K(Q,P). Fcilmente se observa, que pura las
fum.:.io11es propias continuas de una ecuacin integral con
ncleo K( P, Q) del tipo sealado, son vlidos los teoremas
l y 2 del presente pargrafo. lJtiliwndo esto, demostrar(,...
mos que ht ecu<\.Cin lcgral con ncleo del tipo indicado
tc11~.
al -menos, un valor prpo.
Del loma del 8 se deduce q ue existo un m tal, que el
ncleo K <m>(P, Q) .... K o Ko ... o K es continuo. Como
~
m veu:s
K<111l( P, Q) es un ncleo continuo simtrico, segn lo de-
mostrado en el 12, existe un nmero t'i y una funcin
' 1(P) continua tales, que
<fJ1 ~ J.K(m>rp.1
(K<111>denota el operador correspondiente ul ttcleo ,K<m>( P, Q)
vase Ja p{ig. 35). Supongamos que m es npar y hagamo~
~' 1 =.Ar, en donde .1. 1 es un m'1mcro real. Sea e una rul. pri-
mitiva de 1n unidad de orden m. En este caso, se verifica
la igualdad
(E- ?. 1K )(E- J...leK)(E. - ?../1.K) ... (E- ~. 1 cm- 1 K) =-
=(E - ."K<ml).
118 Ecuac. i11teg, con nicleos simetr. reales

La justeza de esta igualdad se deduce de la identidad alge

braica
(d '1 - b"' ) =:(a - b)(a- eb)(a - e2b) ... (a- l.'111- 1b).
Por lo tanlo,
(E-'J1K< 111))</-'I = (E-i.1 K)(E - 'J..1eK ) .. . (E - ). 1em- 1K)rp1
Hagamos
( E- i. 1eK )(E -). 1e2K ) . . . (E-/. 1e 11- 1K )r: = ~'i
Entonces

es decir, 71 1 es una fi.mci n propia de la ecuacin integral

1

con ncleo K( P, Q). En efecto, como m es impar, los nme-

ros 'J..1eP, para J spsm-1, son complejos. Luego,(E- ).1eflK)x
Xrp;;sO, para cualquier funci n ip(P) :O y 1 s p s m -1, p llesto
que, segn el teorema 2 del presente pargrafo, una ecuacin
con ncleo simtrico no tiene valores propiot> complejos.
Por eso, 1p1 oi!O, ya que, en caso contrario, o btcrn,idam t)8 que,
para cierto 1-:::.p~m -1 y una funcin 1p(P) , no idntica-
mente nula, (E -A.1ePK)rp =O.
Con esto queda demostrada nuestra afirmacin.
Ejercicio l. Demostrar que para el ncleo simtrico
K(P, Q) estudiado en el apartado 2 del 12, se puede hallar
la segunda funci n propia de Ja sucesin (6, 13), aplicando
el mtodo variad onal descrito en el apartado 3 del 12,
con la nica diferencia de que ahorn las funciones conside-
radas no slo satisfacen a la condicin (8,12), sino tambin
a la condicin (9, 13). Aplicar este mtodo para hallar 1as
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-
Tc:<m :mu ele tiilbert-Schmit 119

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 n lodas las dems,
con la posible excepcin de aquellas que correspondan a un
valor propio imaginario conj ugado.

14. 1i!oremu de. NilbtrJ - Sc!tmit

Tocia funcin /{ P), intrnsecamente reprcscmtable pur me

dio de la .fimci11 de cuadrado integrable li(P), o sea, tuda
funcn tld 1;po

JU =JK(P, Q)ll(Q) dQ,

puede ser desarrol/acla en serie por las .fimdones propias de
(6, 13) del ncleo simt.rlco K( P. Q), la cual converge absoluta
y uniformemente.
Observadn. Naturalmente, tiene senl d l> hablur de la
convergencia de esta serie slo en el caso en que hi ecuacin
integral (7 , 12) tenga un conjunto infinito de funciones pro-
pias linealmente fodependientes. En caso contrario, esta
serie se reduce a una suma finita. Para no complicar la es-
critura, aqu, asi como en otros casos anlogos, escribirc~
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 1a funcin f(P).
120 Ecuuc.. i111cg. Col! 11iicleos .limtl'. rea/e.~

Supongamos que la funcin /(P) es desarrollable en

serie por las funcion~ propias de (6, 13), las cuales con-
sideraremos ortonormales. Supongamos que

(1,14)

y qt1c la serie que figura en el primer miembro es uniforme-

mente convergente. Para determinar el coeficiente Cm, multi-
pliquemos ambos miembros de In igualdad (1,14) por cp11,(P)
e integremos miembro a miembro sobre toda la regin G
de dclinicin de las funconcsj{P) y 'P;(P). Obtenemos:

Cm ~ J.!U')rp111( P) dP = JJK( P, Q)h(Q)rr (P) dP ,/Q,,.

111

"'J h(Q) (f K(Q,P )rpm(P) di') <Q =

(2,14)

donde hacemos

Dcmoslremos ahora, que la serie

z~1'1'1{P) (3, 14)
l=l ;.,

converge absoluta y uniformemente. Para esto, apliquemos

el criterio de Cauchy. Formemos el segmento de Ja serie
mi! hcp,{P)
l=at J.,
Tcor,11w de Hifbert-Sc11111fclt f2f

Aplicando la desigua lda d de Cauchy, obtenemos

[izJh/1l <l~P) 112:.:"z "~ nz ltp,{P) 12

/ .., 111 . 1
f { rz l/I (mtlt .il
(4, 14)

Los coeficientes /J son los coeficientes de F o urier de la fun-

cin h(P) con respecto a las funcio nes cp,( P). Por eso, a pli-
cando Ja desigualdad de 'Bcssel, hallamos que la serie nu-
mrica

es Cl)llVCl'genlc. eor lo tnnto, segn el criterio de Cauchy,

la magnitud
m+p
Z h'f
/c:::l(J

ser menor que cualquier 1. positiva , s m es sufrcicnteinentc

grande.
l)or otra parte, las magn itudes 'P1~) pueden considc-
'
rarse corno coeficient es de Fourier d el d esarrollo <lel ncleo
K( P, Q), considerado como funcin slo de Q, eJl serie,
segn l as fund ones cp,{Q). Aplicando nuevamente a cslos
coefi cientes Ja desigualdad d e Ocsscl, halla mos:

(~'i~)r:: f K 2(1>, Q) dQ .
Esta (dtima integral existe en virtud de la condcin (J , 12)
y est acotada por una constan te que no depende de P.
Por eso, p ::: .:a cualesquiera m y p, la suma
m+P 1~( P) 12
;?,,, ~ A
es acotada.
122 Ec11ac. illteg. i:v11 mfrlcws simittr. n-u/11.I'

De este modo, de la desigualdad (4,14) hallamos ql1C

para cualquier e > 0 constante existe un 1110 tal, que depende
slo de 1::, que para cualesquiera m ;;.m0 y p >O, se tiene:

.Z l l~ <p(P) 1<f.
111+1
'""111 "'
De aqu y por d criterio de Cauchy se ded uce que la serie
(3, 14) es absoluta y unifo rmemente convergente.
Pasemos ahora a la demostracin de que Ja serie (3, 14)
converge precisamente hacia Ia funcin f( P).
Anotemos, primeramente, q uc del teorema dcmoslradn
en el apnrtado 2 del 12, se deduce que la funci n .f(J>)
y todas las funcion es propias <p(P ) son unifo rmemente con
lnuas. Adems, acabamos de demosLrar que la serie (3,14)
es uniformemente convergente. Por eso, para demostrar
que dicha serie converge haciaf(P ), es suficiente demostrar
que esta serie converge en media hacia ft P), es decir, que

f[J{I') - Z~1p;(P).l
1-1 I
2

dl'->O.
m- ..
(5, 14)

Paru demostrar csla ltima afirmacin observemos qu ~

f(P)-
t=l A,
f
Z~'f';(.P) = [K(P, Q) - Z <p;(P)~(Q) ] h(Q) dQ,
1-1 A1

de do nde, haciendo, para abreviar, la escritura

m /
Km(P)= f(P)- Z f.1>;(1'),
i=l
Teorema de Hilbert-Sdrmdt 123

ob tcncmo~:

.f [JtP)-;~ ~q:,{.P)rdP= f .f [K(P, Q)-

-zr;CP~tp(Q)]
i=l A
h(Q) [te P )- i
1.. 1 ).,
~ 111/P)] dP dQ =

=~ f JK, 11 ( P, Q)[h(Q) 1- g,,(Q)J[h(P) +g,,i(P)] dP dQ -

-~ Jf Km(P, Q)h(Q)h(P) dP dQ-

-~ .f f K (P, Q)g (Q)g (P) dP dQ. (6,14)

111 111 111

Aqui hemos utilizado el hecho de que, debido a la simetra

del ncleo K(P, Q),

f f K ( P, Q)h(P)g i(Q) d P dQ =
111 11

= f f K ,1( P, Q)/J(Q)g (P) dP dQ.

1 111
Como

Ji;,,(P)dP= J~(l') dP -tie~r ff2(1')dl', a

existe un nmero M independiente de m, que para lodo 111

f g;i( P) dP < M, Jh' (P) dP<M,

1
f [h(P) +gm(P)p dP < M.
Segn la nota 2 al aparLado 3 del 12, y al apartado 5 del
13, tenemos que

1fKm(P, Q)!p(P)1p(Q) dP dQ! ~ (J.,:11 ,

si
J1t'
1( f) c!P,,,. M.
124 Ec1mc. 1111cg. con micll!o.v .tmhr, Y<'(l/c.~

Eslo significa que las Lrcs integrales del segundo miembro

de (6,14) tienden a O ~uando m-oa, y por eso la relacin
(5, l 4) es vlida.
Corolario. Frmula de Schmidt para la resolucin de
ecuaciones integrales con ncleo simtrico.
Consideremos la ecuacin integrai
<p(P) :=). JK(P, Q)<p(Q) dQ +/(.P), (7,14)
en donde K(P, Q) es un ncleo simtrco del tipo descrilt>
al principio del aparlado 2 del 12; /(P ) es una funci n
conocida uniformemente continua; <f'(J>) es la funcin in-
cgnita y es un parmetro. Por el primer rcorcmu de
Frcdholm ( 8), si J. no es un valor propio, la ecuacin inte-
gral (7, 14) tiene una solucin q{P) uniformemente continua.
Bntonces, por el teorema de Hilbcrt - Schmidt, la funcin
1p( P)-j(P) se puede desarrollar en serie por las funcione!>
propias del ncleo K(P. Q), la cual es absolula y uniforme-
mente convergcnlc. Sea
rp(P) - /(P) = ZC1i',(P),
1-1
de do11de
111
<p(P) ..,. ZC;<p(P) +f(P ). (8,14)
l=l

Poniendo 1;n Ja ecuacin (7, 14) el segundo miembro de la

igualdad (8, L4), en lugar de q{ P), obtenemos que

Z C 1ti{P) 1JtP) =l. ZC; f K(P, Q)<ri(Q} dQ +

1-J
1
ll

+AJ K( P, Q)f(Q) dQ +f(P) =

""'). t ~t'P1{P) + ).z
,. 1 A r-1
frPlP)
J..,
+/(P). (9,14)
Teorema de !f//bert-Schmidt 125

Aplicando nuevamente el teorema de Hilbert -Schmidt, ~e

mos sustituido ~qu la integral

f K( P, Q)f(Q) clQ
por la serie absoluta y uniformemente convergente

i_ /'p;(P)
1- 1 l '
donde ;-= ffi.
. P)cp;(.P) dP.
Es fcil ver tambin, que la primera de las series que figu-
ran en e1 segundo miembro de (9, 14) es uniformemente
convergente. Comparando Jos coeicien!es de iguales fun-
ciones <J';(P) en amhos miembros de la igualdad (9, 14), ob-
tenemos:
., l.C; lf;
( - ; ~-;- +-J. . .
"t .,
De aqu que
C; = J,:~,l.
y, por lo tanto,
~ f ip(P) rrp)
'f (p)

= l. f<=l
""' ),-).
--:-+ \ ' (10, 14)

en donde la s.eric en el segundo miem bro es absolut a y uni-

formemente convergente. Esta es !a llamada frmula de
E. Schmidt'.
Cuando J. coincide con uno ele los valmcs propios .:\1 ,
Ja soluci n de la ecuacin (7,14) se pLICde ohtener de u1u1
manera anloga. En este caso, por el tercer teorema de
Predholm, /= O para todos los i, a los que corresponden
valores propios, iguales a A. la solucin <f(P) se representa
en forma de. Ja serie (8,14), e11 Ja cual C1 =;..:!._i1 , si ).,~ /.
y C='X, en donde oc; es una constante arbitraria, si i.=J..
126 Ecuac. integ. eo11 ttc/t!OS simtr. reu/es

Ejercicio. Demostrar directamente el teorema de Hil

bert- Schmidt para ncleos degenerados, utilizando la fr-
mul a ( l l, 13).

J5. Te<uema del de.,arroll<' de /<l.V nlcfeo.1

Teorema. El ncleo K( P, Q) del ripo cnnsiderado en este
captulo es desarrollable en la :,erie

(1, 15)

la cual con11erge en media hada K(P, Q) respecto a P, C'S

decir, para cualquier Q ftjo se tiene

J[ K( P, Q) - tg q>(P~~,{Q)r dP 111..... 'l>- 0. (2, 15)

Demos/racin. Consideremos la funcin

K2( P, Q) = JK( 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 desarrollar.se en serie por las funciones propias de
'/'i( P ), la cual es u ni forme y absolutamente convergente res-
pecto n P. Sea
-
Ki P, Q) = c,r:,{P ).
C2]

De acuerdo con In fr mula (2, 14)

C = J K(P, ~)IJ'1~ dP = <r,{~)

). Al
.
Teorema del desarrollo de los ncleos 127

Por Jo tanto,
(3, 15)

Segn el teorema d e Hilbert -Schmidt, csla 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 fon-
damento para deducir Ja 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

K2(Q, Q) ;= Z 'P'~~ ,
1~ 1 1. ,
(4, 15)

adems, esta ltima serie es convergente, pero no podemos

an afirmar que es uniformemente convergente respect o a Q.
Por otra parte,

f[K(P, Q) - 1:-1~
.
rr,{P)<p,(Q )]'J dP=
J.,

= f K(Q, P)k(.P, Q)dP-2 ;~ 'f.i~~)J K(Q,.PyrlP)dP+

111 2(Q) m '(Q' m 2(Q)
+ ''2-::,--=K-iQ, Q) - 2_lf' -2l.+ ~=
1.. t /. 1-1 l. 1- 1 ~,

= K(Q Q) _ ~ rri<Q) (5,15)

'1.. ' ' ,.G
.. , "' i
/.

De acuerdo con (4, 15), esta ltima diferencia tiende a O,

cuando m- oo. De esto se deduce (2 ,15), que es lo que se
quera demostrar.
128 E<"uac. 11tcg. con mcleM simtr. reales

16. C/asi/icaci611 de los mclens

C(msiderem()s la forma integral

Jf K(P, Q)x(P)r.(Q) dPdQ, (1 , 16)

en donde r.,( P) es una funcin de cuadrado integrable. Apli-

cando la desigualdad de Bunyakovski es fcil demostrar que
la integral ( 1, 16) exisre, puesto que existe la j1,tegral del
cuadrado de K( P, Q) (vase (3, 12) ). Segn el teore ma de
Hilbert-Schmidt, la funcin de P

f K(P, Q)x(Q)dQ
puede desarrollarse en serie por Jas funciones propias <p1{ P)
del ncleo K(P, Q), la cual converge uniformemente respecto
l P. Aplicando la frmula (2,14), obtenemos de este modo:

.K(P, Q)x(Q) dQ = 11 q'(P),

J l .I
z 1
(2, 16)
en donde

/.1 r:: Jr.(P)q>( P) df.

Multiplicando ambos miembros de (2, 16} por 1..(.P) e inte-
grando respecto a .P, obtenemos:

JJK( P, Q)r.( /')1.(Q) dP dQ ... ;ti~} . (3, 16)

La forma integral y el ncleo K(P. Q) se llama11 definidos

nn negativos. respectivamente no positivos. si para c11alquier
.funci11 r.,(P) de cuadrado integrable, la forma integral (1 , 16)
l'.V no 11egatfra, respec1ivame11t<! 110 positiva (vase el apartado
1 del 12).
Tcor:ma de Di11i y ,flt,r aplicaciones

De hl frJU ula (J, 16) se ve, que la tondicin necesariu

y s11ficie.nte para que la forma (t,16) sea definida no negativa,
n spectivamente 110 positiva, consiste en tue todos los A .r;ea11
posiffros, respectivamente negativos.
Llam<1remos a la forma (l ,16) y a} ncleo X(.P, Q) cuasi
definidos nf> negath'os, respectivaincnle 110 positiYos, si todos
los ~ correspondientes, a excepcin, posiblemente, de u11
nmero finito de ello~, que son positivo!\, respectivamente
negativos.

f 17. 1c(IN'111a de l>i11i J' s11.f fl(llirarif111cs

Teorema de l)i11. Si una sucesin monlom1 de funcione.\'

<''1111 imws
J;(P).h(P), .. ,.fj,{/'), ... ( 1,17}

converge en todo el conj11Mo acoi<ldo y cenado F llacia wut

f1111cin co11ti11Ufl /( />), c111011ces eS/(I .v11ccs11 comerge tllli
forme mente.
Demostracit11. Sin restringir la generalidad, podemos
considerar que f(.P) ;=O; el cuso general se reduce a ste,
restando .f(P) de cada funcin ./k.( P). Luego podemos con-
siderar, que In !\ucesin (l,17) es montona decrecient~ en
c.1dn punto P *), pues(i_i que el cuso opuesto ~e reduce ~l stc,
c1unbiando el signo a todtis las f,1(P).
De este mod(.), supongamos que se tiene una succi.in
mont:ona de funciones continuas fti(P), decreciente en Cilda
punto, y convergente hacia O en cada plinto de! conjun10
acotado y cernido F. Demostremos cuc estn convergencia
130 Ecrwt. 11feg. co11 mclens simtr. reales

es uniforme. Para esto, observemos lo siguiente. Para cada

f. =- O y cada punto P del <..:onjunto F existe un m taJ, que

O-s-f m(P) < f.

Por la cominudad de f,, 1( P), la misma desgualdad tendr

lugar tambin en cierto entorno Ofl del punto P. Como la
sucesin considerada de funciones es montona decreciente
en el entorno O P se tiene que
Q-:;.j ;,.(P)--=1> para todo k;;:m. (2, 17)
De este modo, para un 1: elegido pum cada punto P del
conjunto F existe un entorno Op tal de l que, a partir
ele cierto k, en dicho entorno es v lida. la desigualdad (:2, 17).
Segn el lema de Hcine - 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 lodos los n-
rneros m, correspondientes a estos entornos. Entonces, evi-
dentemente, para todo k;..: M, en todo el conjunto f '.. ten-
dremos
.filP) <e,
que es Jo que se quera demostrar.
Aplicacirmes delteorcnw dl' Di11i.
l. En el 15 hemos demostrado qL1c

K-iQ, Q) = _i,T~<~~. (4, 15)

.. .11
Sin embargo, todava no sabemos s la serie que figura en
el segundo miembro es uniformemente convergente respecto
a Q o no. Ahora, despus de haber demostrado el teorema
de Dini, podemos resolver fcilmente este problema. En
efecto, segn el lema. demoslrndo en el 8, Ja funcin
KlQ, Q) es u11il'ormemcntc continua respecto a. Q. Por con-
 1:11

siguiente, podemos considerarla continua en G (vase la

observuci<Sn en la pg. 39). P<lr lo tanto, I~\ sucesin
11!-,q;~(Q)
L, ----
''"'' -i;
es una sucesin monlona de funciones co ntinuas en cado
pun\o Q, que converge y tiende a uoa. fundn tambin c0n-
li1rna cuando m- ""' Por lo tanto, segn el teorema de Dini,
esta convergencia es uniforme en G-.
2. De la convergenca uniforme respecto n Q de la sede
que figura en el segundo miembro de (4.15) se deduce, que
la sucesin (2, 15) (endc a O uniformemente respecto a Q
(vase (5,15)). Por e.,o,

I f [K(P Q)- '.!!. f:i{P)tr,{J)

2
] dP dQ -:.... O.
' . I~ /. 111 - ..

3. De la convergencia uniforme de la serie (4, 15) res

pecto a Q se deduce In. convergencia 1m(fnrme nspecto a
(P, Q) y la crmverge11<'ia ahsoluta de la serle (3, 15), puesto
que

4. Tntcgrando .ninbos miembros de (4,15) respecto a Q.

hall"mos que
. 1 ~

J K-:,(Q, Q) dQ"" ;..41 -:-i/.

debido a. que las funciones qi(Q) estn normalizadas. Est o

significa que la ,wrie f<>rmodo por los crmdrndos d<! las 111C1gui-
1ude.~ inversas <1 .A1 <?S c:onvagente.
5. Teorema de Mcrcer. Si el ncleo K(P, Q) ts c11t1sid,-
finfd1> y 1mijormcml.!ntC! co111inuo respecto a (P, Q), la scrk
132 Etuar.. i fll<'g. con mdeos ~mtr. re(l/t!,\'

(1, 15) con verge hacia l no slo en media, s;no tambin ab-
soluta y unifvrmeme11te respecto a ( P, Q).
Demostracin. Supongamos, por ejemplo, que el ncJeo
K(P, Q) es cuasidelinido no negativo.
Obsrvese que, si el ncleo Krn(P, Q) es definido, no
negativo y continuo, entonces siempre ser Km(P, P) ~o.
En efecto, si en cierlo punto P 0 fuese Km(P0 , P 0) < O, en-
tonces, debido a la continuidad, ste seria negativo tambin
en cierto entorno del punto (P0 , P 0) en el espacio ( P,"Q).
Comaruyamos una funcin continua gi,,.( P), que sea igual
a O en toda la regin G, excepto en un entorno pequeo
G0 del punto P 1 en donde esta funcin ser positiva. En
lonccs, si la regin G0 es suficientemente pequea, tendre-
mos que
Jf Km( P, Q)q'J>.( P)cpp (Q) dP dQ < O,
0

fo 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 m suficientemente grande, el n(1cleo
K 111( P, Q) = K(P, Q) - _i'r:l!')i'{Q)
/ "Rf 1 l

es definido no negativo (ver el J6). Por eso, segn la pro~

posicin recientemente dcmostrnda sobre los ncleos con-
tinuos denid os no negativos, para todo m suficientemente
grande, se deber tGner
K(P, P) ~ Zrp~P) .
.,, 1 l.
Por lo tanto, b scrc
- rpf(P)
~-A- (3,17)
.~1 '
Teorema de D/11/ y sus apllcaclrmes J33

es oonvergcn(c pam iodo P. Por eso, la serie

zm_
, ..1
i 'Q)
..l
(4,l7)

tambin es Ciwerg,cntc 1"\ra lodo Q. Como K( JI, 11 ) c-s aco

tado, Lodas las sumus parciales de las series (3, l 7) y (4, 17)
para todo P y Q cst:n acotadas en Vllor absoluto por cierta
constante

Aplicando la dcsigmildad de C<luchy y suponiendo que

m es tan. grande que pura i =-- m todas las /.1 > 0, oblenemos

[ z --.
tp(P)r't(Q) !]~ mt> <rJ(I') nt._..f ifr(Q)
111+1'

./ m
- "" J:;'111
A
>. - A 2S ~. 2 lm )
(5,17)

Aplicando el criterio de convergencia de Cuuchy u la serie

(4, 17), obtenemos que para cada e.> O constante, para cual
qujcr Q fijo, existe un m(l tal, suficientemente grande, que
depende slo de e y ele Q, que
lf
1
r-7(Q) "",,~ rpic.Q)
..,,,, 17.tl ;:m
< ~
2M0 '
SI

Por eso, de la desigualdad (5,t7) oble1,emos que, paru cual~

quier p > O y para m ,,_ m,/e, Q), tendremos

!l)ylq,(Y~tp,{Q) l """f.'.
;:=;, 1'

De aqui, y aplicando el criterio de convergencia de; Cauchy,

obtenemos que la serie (J, 15) converja absolu1a y uniforme
mente respecto a P para cualquier Q fijo.
Debido a \a relacin (2, 15), ucmostrado. ms arriba, oh.
134 Ecuac i11teg. con ncleos simctr rea/e.~

tenemos de esto que la serie (1 , 15) converja precisamente

hacia K(I', Q). En particular,

(G, 17)

C\>mo K( P, P) es, por hiptesis, continua en la regin ce-

rrada G~ y como todas las fondones <t;(P) tambin son con-
1i11uas en esta misma regin (vase el lema del apartado 2
*por
12) y todas las .,, a partir de u na dada, son positivas.
el teorema de Di ni la serie Jel segundo ..miembro de
(6,17) es uniformemente convergente respecto a P. .Por eso,
para cualquier E""'
constante existe un 1110 tal, que slo
depende de e, que para cualquier p > O ser
rnt;> <p~(P)
L, - 1 -- < t. , si m > m0 (i:).
=m 11 1

De la desigualdad (5, 17) se deduce q ue pat<I cualesquiera

/> y Q, p >O, y las mismas m y F, tendrcmo5 que

z
m+ P 1 'f'(P)'p(Q) 1
i= m
,1.
I
-< E,

por lo que la serie ( 1, 15) es absoluta y uniformemente con-

vc1gcntc rcsp ~cto a ( P, Q), que es lo que se quera demos trar.

UJ. Ejemplo

Co nsideremos la ecuacin integral

J
'f'(X) = A G(x , ~)q{;) d$, o~x s l, (1, 18)
o
en donde G(x, ~) es la fun cin de Green, constrnida en el
2. Como fue indicado all, esta funcin es simt rica res-
7eorcma de: Dlni y m!i aplicac:i1mcs 135

pecto a 5liS argumentos. Por esto, il ll\ ecu:tdu integral

(J , 18) se le puede aplicar Ja teora desarrollada en el pre
sente captulo. Como !">e vio en el 2, esta ecuacin posee
un conjunto infinito de funciones y valores propios, que
fueron haltados en el 2. Normalizado las funciones pro
pias y escribiendo bnjo las mismas los valores propios A
correspondientes, obtenemos Jas sucesiones

l, sen x, 1/~ sen 2x, .... \/~ .sen/.:.,-.:, , J

~n 1 1f 7t (2, \ 8)
1, 4 ' ... , k 2 )

rarn :>impliticar la escritura, pongamos cll las cclmciol\ei;

(1,2) l =n y e,..~ "" l. Aqu, a. .C<ida valor propio J. le OO
rrc$ponde slo una funcn propia. Fclmentc se com-
prueba qt1c las funciones propias, correspondientes a J ifc-
rcoles valores propioo1 son ortogonales entre s, lo Cll\l
corresponde a ll teora general (vase el apurlado l cl1;l
13).
Aplicanuo el 1corc111a de Hlbcrt - Schmidt:, obtcnemo~
que cualquier funcin j(x) del tipo

f(i) = JG(:.;, t)h(~) dt 0 <s: X ~ 1, (3, f 8)

l)

en donde h(~) es una funcin de cuadrado integrable y dc-

sarrollublc en serie por las funciones propias (2~ 18) del n\I~
cJeo G(x, ~). Supondremos, como hasta ahora lo hemos he~
cho (vase la. observacin al t), que la funcin h(e) tiene
slo u.o J1mcro finito de puntos de discontinuidad. Derive-
mos dos veces respecto a x ambos micmbcos de la igualdad
(3, 18), a~ como lo hicimos en el 2, utilizando parn esto
136 Ecuac. illteg. CUll mcl<:o.~ m11tr. reales

Ja:; frmulas ( 1,2). Obtenemos que, con la posible excepcin

<le un nmero finito de puntos,
f " (x) = - h(x)
To

Recprocamente, utilizando las frmulas (1,2), fcilmente

se comprueba que cualquier funcin f(x) , que es conlinua
junto con su derivada primera en el intervalo cerrado [O, n].
que es igual a O en los extremos de este intervalo, y que,
en tocios los puntos, a excepcin de un nmero finilo 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 dche
tomar, precisamente, - 1;.,(x) . Por lo tanto, segn el teorema
de Hilbert- Schmidt, resulta que cua~quier funcin/(x) con
tinua, que posea derivada primera, continua, en el intervalo
cerrado {O, n], 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) =O,
puede desarrollarse en una serie absoluta y uniformemente
t;()l\Vcrgcntc de sen kx. Por la teora de 1as series trigonom-
tricas es conocida Ja posibilidad de tal desarrollo, bajo su-
posiciones ms dbiles re.c;pecto a/(x). Para esto es suficienlc,
por ejemplo, que f(x) sea continua junto con su derivada
primera en el intervalo cerrado [O, n) y que satisfaga af(O)=
"" f(n) = O*>. En esta ltima clase de funciones es fcil ele-
gir una funcin que no satisfaga a las condiciones del teo-
rema de Hilbert - Schmidt; por ejemplo, es suficiente tomar
una llncin sin derivada segunda en nngn punto. Esto

) G. M. Fijtengolts, Curso de Clculo Diferencial e Integral, t. 111

M. - L., 1960, cap. XIX, 2, p<ig. 435.
Te{lrema tle Di11i y sus opllc11cio11es 137

demuestra que, en general, las condiciones del teorema de

Hilbert-Schmidt no son necesarias para Ja posibilidad del
desarrollo de f(x) en una serie absoluta y uniformemente
convergente por las fu nciones propias.
Demostremos que el sistema (2, 18) es completo, es decir,
que para cualquier funcin f(x), que sea continua en el
intervalo cerrado [O, n), existe tal combinacin lineal de
sen kx, que el error cuadrtico medio cometido a l sustituir
f(x) por esla combinacin lineal es arl;>itrariamente pequefio .
Obsrvese para esto, que para cualquier funcin f(x) con-
tinua, en e1 intervalo cerrado [O, nJ, se puede hallar en dicho
int:ervalo una funcin fi(x) tal , que sea conti nua junto con
sus d os primeras deri vadas y que se hace O en los extremos
de este intervalo, q ue fa nonna de la diferencia /(x)- f.(.t;}
es arbitrariamente pequea. Como acabamos de ver, la fun-
cin f 1(x) puede, a su vez, desarrollarse en una serie uni-
formemente convergente de sen k x. Por eso, la funcin.ft (x)
puede aproximarse pol" tal combinacin lineal de sen kx
(por las su mas parciales de Ja serie de sen kx, las cuales
convergen uniformemente hacia esta funcin), que su error
cuadrtico medio sea arbitrariamente pequeo. De aqu,
y aplicando la desigua ldad 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
11, el sistema (2, '18) es cerrado.
Todos los val ores propios del ncleo G(x, e) son p osi
ti vos. Por eso, a ste se le puede aplicar el teorema <le Merccr.
Resulta:
."r. G(
2 x, " =
1:) sen X sc.-n
1
e+sen 2x sen u
- - 4--- + . .. ,

c11 donde la serie en el segtrndo miembro es absoluta y uni-

formemente convergente respecto a (x, ~) .
 COMPLEMENTO

19. Retf11r.ci11 de una fdrma ctiadrtica

a la ,forma cmtnica por medio
de 1111a tramformucill nrtogonal
Expondremos aqu la demostracin de la posibilidad de
tal reduccin, correspondiente a fll teora de las formas in-
tegrales /('!') desarrollada en Jos 12 Y 13.
1. Scialemos, primeramente, algunas propiedades de los
vcctorc~ unitarios ortogonales entre s. Sean

<p,, _- (r;(l) (2}

't'k ' <f k '
Jn))
. , 'h ' k = 1, .. ., n,
11 vectores unitarios ortogonales entre s,, es decir,
,,
Z 'fY''f~f> ==- c5,,,.;
1-1
k, p = l, . . ., n,

en donde 11p=O, si kr!Jp y ~pp=J.

a) D =- lrp~>i = 1. En efecto, calculando D~ por la~
reglas conocidas, como el producto de dos delerminantes
iguales, obtenemos un determinante, en el cual la diagonal
principal est formada p0r unidades y los restantes elemen-
tos son iguales a O.
b) Denotemos por <P~'> el complemento algebraico del
elemento <(~> del determinante .D. Entonces
(1 , 19)
ReduccM11 de la forma c1.1adr. " la forma ca1111rca 139

En efecto, para cualquier k se verifican las siguic11lcs igual-

dades: 11

2,' (<P~O - Dq~><f~f') = O, p = 1, ..., n.

;~1

Considerndolas como /1 ecuaciones lineales, homogneas,

con cocfkienlcs <f'~>, obtenemos las relaciones (1, 19), ya
que D~O.
c) "
qi~Jq>~) =bu. (2,19)
1. - 1 .
Esto se puede comprobar multiplicando la igualdad (f,19)
por t/1/> y sumando respecto a k.
2. Consideremos los valores de la forma cuadrtica
n
Z K 11c1f.nq-f.i>, K,1 = KJI , (3,19)
i,j,.J.
en donde todas las K I} y las cN son reales, en la esfCra
n
.,.'[q1<i)J2 = l.
,... , (4.19)
Por el teorema de Wcic1strass, e n el conjunto cerrado,
acotad o, de pu nlos de la esfera (4, 19) cx islc por lo menos
un punto, en donde la funcin continua (3, 19) alcan za su
valo r mx imo. Supongamos que dicho valor mximo es
igual a .ll~ y que ste se alcanza en el punto A 1(cr<i>. . . .
. . ., rp'f>) * .

> Vase la nula 2 al aparrnJo 3 del J2, en. donde se demostr

la i:xistencia de una funcin r.(P) en la "csfl'Ta"
J rp2 (P) dP= 1,
qu" da c:l mximo valor de la forma integral
fJ K(P, Q)cp(P)r(Q) clP dQ,
sicmpl'e que este valor sea diforentclde O.
140 Complemento

Consideremos los valores de Ja forma (3, 19) e n los pun-

los de intersecci n Sn - i de Ja esfera (4, 19) con el hipcr-
pluno perpendicular al vecto r (1p~1 >, . .. , <p~n>) y que pasa
po r el centro de la esfera. Por el m ism o teorema de Wecl's-
l'rnss, entre los p untos d el conjunto Sn -'2 existe por Jo me-
nos u no, en donde la forma (3,19) alcanza su valor mx imo
respecto a Jos dems puntos de S,,_'l.. Supongamos que ci>le
valor m1ximo es igual a "' y que se a lcanza cu el p unto
,.," 2( q,(1)
:! , . ., .fo)J' .
f:i
Consid eremos Juego 1os valores d e la fo rma (3, 19) e n
Jos p unt os del conj unto Sn-:i que es la intersecci n de Sn- 'J.
con el hiperplano q ue pasa po r el origen de co ordenadas,
perpendicular al vector (q;~1>, . . , q;~n>). Sea 113 el extremo
:mpcrior de los valo res de la fo rma (3, 19) en Sn_ 3 ; por el
teorema de Wcierslrass, ste se a lcanza por Jo menos en un
punto de S11 _ 3 ; supongamos q ue tal punto es A ..(g;~1>, ...
.. , <fa(n)) . ' "

Siguiendo estos razonamientos, hallamos n veclo res u ni-

ta rios, perpendiculares entre s, <r1: = (rV>, ... , qJ~~>J, k = 1, ...
. . .. n. T.ommoslos como d recciones de los nuevos ejes
coo rdenados O q.1 , , Orp, 1 Entonces
,,
=Z rp~>r:.(i), k = f , . . ., n.
tp(I)
,... ,
Cada co njunto S 11 ._ ,, es la intersecci n del plano <le dimen"
si n (n - lc I 1)

con la esfera
(5, 19)

El hecho do que la esfera (4,! 9) se transforma en la (5, 19),

Rcducc/tl11 de la fornu1 cumlr. " fa fnrmfl rmu11irn 141

y por lo tanto, para lodos Jos pun tos del conjunto Sn-lt se
curnple la desigualdad (5,19), se deduce de que

y scgin (2, 19),

Se urma que en lns nuevas coordenadns 1r<1 > la forma

(3, 19) toma la forma

F:: z Kie1tl)q,rn z K1f'Pw1Po> =

n

l,/= 1
s
o

1,/- 1
n
1i;['trnr~. (6, 19)
i .I

El hecho de q ue
x,r = /l ,
se deduce de que nuestra forma toma el vaJor t1 en el p unto
A1 , cuyas coordenadas 1p son todas iguales a O, except o
vP>. la cual es igua l a l. .La igualdad K1j=KJi=0, para
.1>1, puede demostrarse de la manera siguiente.
Su po ngamos que para cierto j ,,. 1 se tie ne K 11 ;it!: 0. Hag<1-
mos todas hts 1p<ll , excepto vN y 1/i>, iguales a O. Enton-
ces
F = t1[ 1pO>J2 + 2K~1p< 01p<J> + l-'J1i'''>J2.
Sea l1r<J> 1 muy pequea. en comparacin con l1p<1>l. y
evtnr + rvi<nJ2 = 1
Entonces, despreciando las magnitudes de orden [1rU>p, ob~
tenemos:
(7,19)
142 C<>mplem<!Jl/1>

El signo de vi<J> lo escogemos ge tal modo que 2Kf'1p<J>> O.

Entonces, de la relacin (7, 19) se desprende que en la esfera
(5, 19), o. lo que es lo mismo, en la esfera (4,1 9), existen
puntos donde F> 1 , lo cual contradice a la definicin de
/ L1 Con esto se termina la demostracin de que todos los
Kt" =O para j"'" l. De la misma manera se demuestra que
todos los dems .K;j son iguales a O. si i ~j .
De nuestra propia construccin se tiene que

Algunos de los nmeros 1.1 pueden ser iguales a O, y otros,

negativos. Numeremos los / t y los 1p, respectivo s de tal
forma que
11 1 . ~ ... ;;i:t -;: .. . :;:.t 111 ~ f'm+ 1= ... =fln=0 (t;O para i~m) .
Hagamos
1
),; = - i = f, ... , m.
/1i
Entonces la igualdad (6, 19) toma la forma

z n
1 , ~1
K <p(l)p(J) = Z-x-
;~1
m fi(i)p
1
.
Si .A.1 , ) . ,. son positivos, y Av+1 , . , Am negativo s, en-
LOnces Vi, .... V4 se llaman semiejes realts de In super-
ficie
ti . .. [111{1)]2
/11
Z
l,/=1
K,/ ..<'>rp<J> s Z - ... = 1.
/ c: l l.,
(8, 19)

F<cilmcntc se obs~rva que esta superficie intercepta segmen-

tos YJ. en los ejes 01rW para i = 1, 2, .. ., v; V~ es el
menor de los semiejes reales. Las magnitudes ).v+1, Y-
RcduccM11 de la forma c11Culr. a la forma ca1111ica 14.3

.... lr..:.;:; &e llaman semiejes imaginarios de Ja superticie

(&, 19). Esta superficie no secort-a con los ejes reales 0 1l.r+ 1>, ...
. ., 01p(m) .
Si m....:::.n, en el espacio (q(l>, ... , IP<n>) 'f en ei (y><n, ..
. , 11l11>), la ecuacin (8, 19) representa una ~uperlcie ciln-
drica, cuyas generatrices son paralelas al plano
ip< '} ~. . ~1/}(m} =O.
En este caso, es natural decir que los semiejes correspon-
dientes a los ejes 0 1(m+ 1>, ... , Oip(n) son infinitos.
En los apartados siguients volveremos a. la anterior nu-
meracin de los ejes ..
3. Demost.rem<ls que

(9, 19)

En efecto, en virtud de nuestra construccin, para todas

las cpU' reales tiene que ser
"
F:a J.,4[q;U>Jg
, .,. l.
- z"
l, ' "" 1
K11cr<l)q.,(J) ~ o.

Si q>=1p~1> para todo i, entonces F=O, es decir, se

nlcnnza el valor mnimo. Por eso las derivadas parciales
respecto ~\ todas las variable:, tomadas para estos valores
de <r<'', son g1.1ales a cero, 1() que no~ da las igualdndcs
(9, 19).
4. A! hallar el eje 01,<2), en lugar de considerar el valor
de la fo rma (3, 19) en el conjunto Sn-i) que es la interseccin
de la esfera (4. 19) con el hiper.plano 1pPJ :::o O, si ti 2 > O, se
pueden considerar los valores de la forma

(10, 19)
144 Cmnplcmem n

e n loda la esfera (4, 19). Es fcil demostrar, q u~ la forma

( 10, 19) alcanza su valor mximo p * en cierto punto A*(ipO>*,
. . , q<11>*), perteneciente a Sn_2 y .i* = /t2 En efeclo,

= z Kl)rp(i}q.,(J) -
11

l,J~ I
/L 1[ 1/l( 1
n
>]2 .= L:[1.i<Op. ( 11 , 19)
1-2

Por eso, para que In forma (10, 19) lome su valor mximo
en d punto A* de la esfera (4, 19) o, lo que es lo mfamo,
ele In esfera (5, 19), es necesario, si t2 > O, que para este punto
loc.l:is las 1p sean iguales a O, exceplo a quellas a lus que
les correspo nden valores ; iguales a Ji.2 ; a su vez, la suma
de los c uadrados de estas ltimas debe ser igual a l. Aqu
vonservamos la numeracin inicial de 11 , segt'm la c ual

Po r lo tanto, t* debe ser igual a 12 ; el punto A* esh~ en

S,1-'l. y ste puede tomarse po r A 2 Este mtodo de hallar
el segundo semieje no seria aplicable si i2 sO, ya que en-
tonces la formn (11 , 19) alca n7..ara su va lor mximo O, por
ejemplo, para
=... =
1J'1 ; 1, l/l'.! ;;; '1':1 1/'11 l;:f o.
De la rnismn manera, si t3 >O, la bsqueda del eje 01/':i
se puede reducir a hall<1 r el m{lximo ele la forma

(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 /t2 ,,,.. O, que
RcduccMn d,~ la forma c11adr. a la forma cm1l11icn 145

<fzfJ, i = l, 2, .. ., n, deben satisfacer a las ecuaciones

" [K
~
l'lf2.<1> = .,,:;., 11 - .U11P1U>'fr
W1J'P2<J>
J=I
o
(13.19)
puesto que
n

<rV)i;~J) = O.
J-1
Utilizando Ja forma ( 12,19) y otras formas construidas
anlogamente, se puede demostrar que rp,~I). <p~), .. ., co-
rrespondientes a l''J >O, 1 ~ >O, . . ., tambin satisfacen a las
ecuaciones del tipo (9, 19).
Si , en cambio, r1 2 =0, eslo signifi ca que la formCI cua-
drtica

para cualc$quiera q;<", ; = r, 2, .. ., n, y es igual a cero, si

cP> =c1~> para todo i. Igualando a cero las derivadas Pttr-
ciales de esta forma, respecto a todas las variables, tomadas
pa~a Jos va lores <p<O =rf.~P. obtenemos que 1pV> satisfagan
a un sistema de ecuaciones del tipo (9, 19). Estos mismos
razonamientos son aplicables a los otros vectores 1p~1 >, que
corresponden a 1, = O.
Si 11~<0 , entonces los nmeros 1''2 l'a .. ., /'n' que son,
en este caso, todos negativos, y sus correspondientes vecto-
res (<:.\'>, r~), .. ., <rfr'>), i= l , 2, ... , n, pueden hallarse con-
siderando el mnimo <!e la forma (11,19) (en Jugar de su
mximo). En este caso, los nmeros I'"! /t;, . , /Ln y sus
vectores correspondientes se obtienen en orden inver~o. An
10
146 Complemento

logamente se puede proceder si 3 <0, etc. En todos estos

casos se conserva Ja ecuacin (13,19) y las ecuaciones an-
logas a ella para los dems vectores (<p~>, <p~>, .. ., <p~1>).
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 la solucin
de la ecuacin caracterstica
IK;- Cl, I =0.

20. Teora de las ecuaciones ilrlegrales

co1i 11cl co.v simtricos en la d(l.)c de fu11cio11es
de cuadrado integrable segn Labescue
La teora de las ecuaciones integrales con ncleo sim-
trico, construida anteriormente, se generaliza fcilmente a
ecuaciones integrales con ncleos simtricos e integrab1es,
segn Lebesgue, junto con sus cuadrados, lo que Je da ms
armona.
La construccin de esta nueva teora tiene mucho de
parecido con las construcciones de los l l -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 Ja
teoria desarrollada anteriormente .
l. Supondremos conocida la teora de Ja integral de
Lebesgue *>. Sealemos solamente algunas propiedades de
Jas funci ones integrables segn Lebesgue (sumables).
a) Teorema de Fubini. Supongamos que Ja funcin/(P, Q)
es integrable sobre el producto topolgico de los conjuntos

) Vase, por ejemplo, l . P. Natanson, Teorla de Funciones de

za
Variable Real, ed., Fizmatguiz, M., .1957, Vase tambin G. E . Shilov,
Anlisis Matemlico (curso especial), 2 ed., Fizmatguiz, 1961.
Ge.nerallzac/n de la teorfa de Ja ecuac. i111cc. 147

medibles G1 y G 2 , donde PEG.1 y Q EG 2 Escribamos esta

integral en la forma

I J
= J!(J', Q) dP dQ.

Entonces, para casi todos Jos puntos Q, pertenecientes a 0 2 ,
existe Ja integral
/(Q) = fflP,Q) dP;
n,
In funcin l(Q) es sumablc y

f
I = l(Q)dQ. (1 ,20)

Recprocamente, si para casi todos los puntos QEG2
existe Ja integral
l*(Q) = f IJtP, Q) j dP,
o,
en donde la funcin l "'(Q) es sumable sobre G2 , y si f(P, Q)
es medible en G1 G2 , entonces existe tambin Ja integral I y
es vlida la igualdad (1 ,20).
Recordemos que se llama producto topolgico G_1G2 de
los conjuntos Gt y G2 al conjunto de "puntos" (P, Q) tales,
que P EG1 y Q EG2 . se supone que los conjuntos 0 1 , G2 y
G 1G2 estn respectivamente en los espacios eucldeos (x.i, ...
. ., xdJ, (y1 , . ., Yc1,) Y (X1, . . ., Xd,)(y1, . .., Yd,). Si los
puntos P y Q se determinaban, respectivamente, por las
coordenadas (x1 , , xd.) e (y1 , , Yd,), entonces, el punto
(P, Q) se determina por las coordenadas (x1 , . , xd,, y 1 ,
., yc1
1
Las medidas de los conjuntos G1 , G2 y G1 G2 se
).
148 Complemento

definen como las medidas de Lebesgue en los espacios eucl-

deos de dimensiones d 1" d2 y d1. + d2 , respectivamente.
b) Supongamos que la func in f(S) est definida en Ja
regin d-d imensional G, y que la integral de/(S) sobre cual-
quier cubo d-dimensional, situado dentro de G, con los
aristas paralelas a los ejes coordenados, es igual a O. En-
tonces /(S) = O en casi todo G.
e) Teorem<1 de .Fisher - Riesz. Sea dada una sucesin in-
finita de funciones de cuadrado sumable en cierto conjunto
medible G':
.fi(P),f.l I'), .. -..fn (P), . ..
Supongamos que para cada 1-: >O existe un nmero N tal,
que
f (fri -f111) dP <f:,
()
2 (2.20)

si /1 N y m =N. Entonces, en la regin C existe una fun-

cin Jt P) de c uadrado su ma ble tal, que

(3,20)

la afirmacin reciproca, que de (3,20) se deduce (2,20).

es evidente.
En lo sucesivo la convergencia de llna 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 (cri lerio) de convergencia de Gauchy. El espacio
de funciones, en el cnal el criterio de Cauchy asegura Ja
convergencia de una sucesin de funciones, se llama com-
pleto. Esto significa, que el espacio de jimciones de cuadrado
sunwble, en donde la convergenct se e11tll!11dt en media, es
completo.
G c11cl'ullztu:i11 cll! In. lc1>ra da la ccuac. im cg. 149

d) En la clase de funci ones de c uadra<lo s umable se pue-

den realizar todas las construcciones y demostrar todas las
proposicines hechas en los apartados l - 1O del 1 1, pnra
funciones que tienen disconlinudades slo en un nmero
finito de puntos, de lneas o de superficies k -dimensional es
(k =- 2, 3, .. ., d- 1), c ua ndo la integraci n se cntendia segn
Cauchy. Adems, se puede demostrar, que en esta clase los
conceptos de sistema completo y cerrad o de funciones orto-
gonales normalizadas coinciden totalmente. La demostra-
ci n dada en el apartado 10 del 1 l , de que un s iste ma
completo es cerrado se extiende completamente a la clase
cons iderada de fun c.ioncs de cuadrado s umable. La alirma-
cin de que en esta clase 1111 sistema de funciones orlogo11ales
11ormalizadas que es cerrado es lambicm complete>, se de-
muestra de Ja manera s iguiente.
Supongamos que un sistema de funcio nes ortogonales
normalizadas
<p1 (P), q.i(P),
.. ., <r1r(P), ... (4,20)
no es completo. Ento nces existi r una funcin .f(P) de cua-
drado sumablc tal, que

(5,20)
en donde
ah"'~ ff(P)<p,,(P) dP.
Cons ideremos la sucesin de sumas parciales de la serie
,Za<Pf:(P). (6,20)
"
Esta satisface al criterio de convergencia de Cauchy , puesto
que
150 Co111plemc111n

y la serie numrica infinita za~ es convergente, por lo cual

para esta ltima se cumple el cri terio de Cauchy. 'Por esto,
segn el teorema de Fisher - Riesz, existe una funcin rp(P )
de cuadrado integrable, hacia la cual la serie (6,20) con-
verge en med ia. Entonces, la funcin
f(P) - rp(P)
ser ortogonal a todas las funciones <p(P), y la integrnl 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 sumnble, que utili7..arcmos en lo suce-
sivo.
Para cualquier funcin F(P) de cuadrado sumable en un
conjunto medible G, y para cualquier k' > O existe una fu n-
cin continua /(P) tal, que

J[F(P) - f(P)]2tfJ><1- *>.

2. Al integrar una funci n segn Lchcsguc. los valores
del subintegrand o en un conjunto de medida O no infl uyen
en el va lor de esta integral. Ppede considerarse inclusive
que esto runcin no est definida en un conju nto de medida
O. 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 O, en donde algu nas de estas funciones
pueden incJuso no estar definida~, es natural considerarlas
equivalentes y no diferenciarlas una de otra . Por eso, llama-

) V. r. Smirnov, Curso ele Matemticas Superiores, t. V., Fizmnt

guz, M., 1959, cap. lf, 3, p. 60; l. P. Natanson. Teora oe Funciones
de Variable Real, 211 cd., Fizmatgui1., M., 1957, cap. VII y XU.
Ge11ern/iUJdlJn de Ja teorfa de la rcuac . illfe: IS\

remos sol ucin de la ecuacin integral

J
<p( P) =- ). K( P, Q)r;(Q) dQ (7,20)
n
a cualquier funcin de cuadrado sumable que sat isfaga
a esta. ccuadn 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. P.or esto expondremos slo aquellas partes de hi
demostracin que se diferencien esencialmente de los co-
rrespondientes lugMcs del 12. Supondremos que existe la
integral
JJK (P,
2
Q) dP dQ (8,20)
extendida sobre el producto topolgico de dos conjuntos
medhles, iguales, G, a los cuales pertenecen los puntog P
y Q. Por el teorema de Fubini, de esto se deduce que para
casi todos los P existe la integral

f K (P, Q)dQ
2

y, por lo tanto, para casi todo P existe Ja integral

JK( P, Q)rr(Q) dQ
para cualquier funcin 1p(Q) de cuad rado sumable, ya que
Q)r;( Q) l ,,.;~- (P, q~+f'(Q}.
2
1 K(P,

Aqu, como en lo sucesivo, el smholo denota la JJ

integracin sobre el producto topolgico de dos conjuntos
152 eomp/emell/o
medibles, iguales, G, a los cuales pertenecen los puntos P
y Q; el simboJo J denota'la integracin sobre el conj unto G.
Para c ualquier funcin rp(P) de cuadrado sumable existe
la integral
JJK(P, Q)rp(P).rp(Q) dPdQ
puesto que
IK (P, Q)<r(P)<p(Q)l ,s;~ [K~( P, Q) + rr2(P )i,!!(Q)],

JJri2( P)rp~'(Q) dP dQ = _rf!2( P ) dP f cp' ( Q) dQ.

1

En lo su1.:csivo consideraremos slo nucleos K ( P, Q) si-

mtricos. parn Jos que ex iste la integral (8,20). En general,
en todo lo que sigue se considerarn s'fo .fundones de cua-
drado i'nlegrable, segn Lebesgue, en todo el conjunto G en
que estc'Jn ele.fin/das. No volveremos a repetir esto cada vez.
3. El apartado 1 d el 12 se repite totalmente.
En lugar del teorema demostrado en el apartado 2 del
12 demostrare mos el siguiente:
Sea dada una familia N de funciones h(P), para cada una
de las cuales

Jh (.P) dP:.: M
2 2, (9,20)
M>-0,
en donrla M <'S una consta111e, la misma para todas las fun-
ciones h( P). En1011ces, la familia .Z ele las f1111cio11es 1/i(P),
deflnklas por la igualdad

1p(P)= JK(P, Q)h(Q) dQ,

Generaliracin de /el teora tic la ecuac inler l.S)

es co1111acfa. Est(I significa que de cada C(lf~iu11to i11.flllito de

ttiles funciones si! puede extraer una sucesin convergente e11
media.
Dr:mvsttacin. Si K(P, Q) es una funcin unifol'me111entc
continua cuando PEG y Q G, entonces, por e l teorema de
mostrado en el apartado 2 del 12, la fam la de funcione:;
't'( P) es equicontinua y uniformemente acotada.
Segn el teorema de Arzel, ta familia de funciones 1p(I')
es compnch\, o sea, de cm\lqllier s\1cesin infinita de fun-
ciones 1p(.P) puede extraerse una sucesin parcial uuiformc-
mcnte convergente y, por lo tanto, convergente en mediu.
!~mpleando esl proposicin, demostraremos la compacidad
de la familia Z para un ncleo arbitrario .K(P, Q) de cua-
drado sumable.
.De acuerdo con la no la e) del apartttdo 1 del presente
pargrafo, podemos construir una sucesin de funciones
continuas

tal que

.f f [K( P, Q) -K 11 ( P, Q)J'.! .P dQ < ffei (10.20)

n e 1, 2 . '.
Sea duda ahora tina Sl\cesi11 infinila de fun.ciones
"lj} 1(P), 'i'::(P), ... , ip,i(P), ... (ll,20)

de Ja familia L;, obtenida por medio de la sucesin de fun-

ciones
(12,20)

de la fami lia H, de ial modo que 't'i=K//1 (ver (2,6)) .

154 Complemento

Como K 1(P, Q) es una funcin continua, de La sucesin

(12,,20) se puede extraer una subsuccsin infinita
h\l)(.P), '1~1)(.P), .. ., W)( P), . . . (l 3,20)
tal, que la sucesin de funciones
"'1 11 ) Kl <n
'" J<J) 1'.! ' , K l hO>
" ' . ( 14,20)
converge uniformemente y, por lo tanto, converge en media.
Luego, de la sucesin ( 13,20) nuevamente extraemos una
subsuccsin infinita
1i1z>(P), /1~2>(P), ... , ,~?.>( P), . .. (15,20)
ta l, que la sucesin
K 2h\2' . K2h~2>, K.J1&2>, . ., K-i1~2>, .
converge en media, etc.
Es f:cil ver que la sucesin
!z~l)( P), !t~2>( P), ... , h~n)( P) (l6,20)
es llll, que para c ualquier Km( P, Q), la sucesin
K,11h~1 >, Kmh~2>, ., K111 h~n>, ... ( 17,20)
converge en media.
Demostremos ahora que la sucesin de funciones 1p(P)
de la familia Z
Kh\1), Kh~2>, .. ., Kh~n>, ... ,
que es una subsuccsn de (1 1,20), tambin converge en
media.
En efecto, por la desigualdad triangular (vase la pg. 83)
11 Kh~j,1> - Kh~n)l J .z: 11Kh<,:> - K/z~"l)l l +
+ 11K/i~;:1 > - Kph~n) 11 + 11 K1,11~n> - Kh~n> 11. ( l 8,20)
Gtmcralizuci{m de fer tc11ria ele la ccuuc. imcg. 155

De Ja condicin (10,20) se deduce que p puede elegirse tan

grande que l IKh-K,ohl 1 sea menor que cualquier e =>O para
LOdas 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) dQ r :s:

,.:; f (K( P, Q) - Kp( P, J

Q)]2 dQ ft'!(Q) dQ
y

l IKh - K.Jil ! :o:

1

~M[J J(K(P,Q)-Kp(P,Q)) 2
dPdQr ~M;p.

Tomando p de este modo, podemos indicar un nmero N

tal que, s '1 y m son mayores que N, se tiene
ll K,,'1~> -.Kph~n) 11 <e,
puesto que fa sucesin ( 17,20) converge en media. En este
caso, el pri raer miembro de la desigualdad ( 18,20) es menor
que 3f . De este m odo queda demostrado que la Familia Z
es compacta.
4. .la demostracin de la existencia de valores propios
finitos para Jas ecuaciones integrales con n1.'icleo 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 J2. La diferencia consiste slo en lo si-
uuente.
~ a) La funcin rp1,.(P) se debe definir de tal forma que
sea igual a O en todos Jos puntos, a excepcin de la inter-
seccin del conjunto G con cierto cubo K,,., cuyo C(}ntro
est situado en el punlo P 0 y los lados son paralelo:; a los
156 C(lmplemc1110

ejes coordenados. En esta interseccin, la funcil1n q,,.(P)

debe ser igual a l. Entonces, la hiptesis de q uc t1111 "",um = O,
nos lleva a la conclusin de que la integral

f f K(P, Q) dPc/Q,
tomada sobre la interseccin de G G con cua lquier cubo
211-dimensional en el espacio ( P, Q), debe ser igual a O, si
las aristas de este cubo son p<tralclas a Jos ejes coordenados.
Utiliwndo el aparf<ldo 1 b) del presente pargrnfo, es tcil
obtener de esto que K( P, Q) =0 en casi todo el producto
topolgico del conjunto G por s mism<) (incluso si G no
es unn regin).
b) La convergencia debe entenderse en todas partes como
convergencia en media y, en correspondencia con esto, en
lugar del teorema dcinostrado en el apartado 2 del 12,
debe aplicarse el teorema demostrado en el punto nnterior
del presente pargrafo.
e) Para cada valor propio existe slo un nmero finito
de funciones propias linealmente independ ientes. y los valo-
res propios no pueden tener puntos de acumulacin finitos.
Esto puede demostrarse de lrt manera siguiente. Construya
mos parael ncleo dado K(P, Q) las sucesiones (6,13) y (7,13)
de la misma manera que se hizo e n el 13. A priori, no ex-
cluiremos la posibilidad de que todos los miembros de la
sucesin (7,J 3), a partir de uno de ellos, coincidan. Enton-
ces, para cualquier m,

J.J. [K(P, Q)- _z ir;(l')tp,{Q)

/ ca 1 J..
]<tdP dQ -=

= f fK (P, Q) dP dQ - Z{ a:: O.
2
1=111
Ge11erollzaci1z de la teora dr. la cc11ac. iflteg 157

De esto se deduce que la serie

es convergente, por lo cual i.1 -O para / - -.

Obsenacin. De este modo, una ecuacin integral co n
ncleo <le cuadrndo integrable posee n ms de un con-
junto numerable$) de valores propios y de funciones prQ-
pias lincalmenlc independie ntes. Este hecho es un caso parti-
culnr <lc. que cualquier sis tema orlo no rmnl de funciones S,
definidas en una regin finita. tiene po tencia numerable o
linita. En electo, del teorema <le Weierstrass se deduce fcil
mente, que para ctralquier funcin/ES existe un polino111io
<r en las coordcnad~s con coeficien tes racionales laf, que
la norma de la diferencia f - <p es menor que cualquier e,.. O
. . do y, en parucu
asigna . 1ar, es menor que 112
previamente
2 .
Pero el conjunto de tales polinomios es numerable y, si S
no fu ese numerable, entonces existiran f' r>f '' lates, que
'I'!' = q1r
. De esto, por la desigualdad triangular (vase el
apartado 5 del 11), la norma d~Ja. diferencia f' - /'' ser
menor que y'2. Pero esto es imposible, ya que, como
fcilmente se verifica, Ja norma de la diferencia entre
dos funciones normalizadas ortogonales cualesquiera es
igual a 12.
5. Los razonamientos de Jos 13 - 16 conservan lotaf.
mente s u valor, si el conjunto G es acolado. Es necesario
sJa mente considerar en todas parles la convergencia media
en lugar de Ja convergencia uniforme. P or ejemplo, el teo-

} Esto significa que este coojunto es finito o numerable (N. del

R. de la trad.).
l.Sll Cc>mplemento

rema de HifberJ - Sc/11nidt afirma ahora Ja convergencia en

meda de la serie (3 , 14) hacia la funcin/(P) intrnsecamente
representable.
6. Es fcil demostrar todos los teoremas de Fredholm
para las ecuaciones integrales (7, 14) co n ncleos simtricos
K(P, Q) del tipo considerado, si el conjunto G, por el cual
se toma la integral, es acotado.
Para cualquier funcin f(P ) de cuadrado sumable del
segundo miembro de Ja ecuacin (7,14), 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 1a desigualdad de .Bessel, la s uma d e 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), p ara cualquier funcin /(.P) de cuadrado suma-
ble, converge en media hacia cierta funci n <fo(P), tambin
de cuadrado s umable. Entonces esta funcin <fJo(P) satisface
a la ecuacin (7, 14) en ~qsi todos los pun tos. Para verificar
esto, obsrvese, ante todo, que, si los resultados de s ustituir
rpo( P) en ambos miembros de 1a ecuacin (7,14) ( F1(.P) y
F.1,(P), respectivamente ) no coincidiesen en casi todos los
puntos, entonces la integral del cuadrado de su diferencia
no sera igua l a. O. Demostremos que esto no puede ser.
Para esto, en ambos miembros de la ecuacin ( 7, 14) su s~i
tuyamos r:(P) por

11' J)A-r (':J_

1... 1 t.
1 f ( P ).

Supongamos que los resultados de est'a s ustitucin sean las

funciones Fy1>( P) y F~rt)( P). Es evidente, que para 1z sufi-
cientemente grande, las no rmas (distancias cuadrticas me-
Gc11cralizudn ele lu teoda dr! la ccuac. i11teg. 159

dias) de las diferencias F1 - '1") y 1'2- F~>, que dcnotar~

mos por
11 Fi - f1 > 11
11
Y 11 F2 - F&11> 11 , respectivamente.
ser n a rbitraria mente pequeas. Aplicando la desigualdad
triangular, de aqu obtenemos que n puede tener lugar la
relacin

si

Pero, por otra parto,

f<{>(P)=

=A2 f K(P, Q) i 1.., 1

!'':~)
1
l. r.
dQ+tf K(P, Q)f(Q)dQ +fl.P).

Aplicando el leorema de Hilbcrl - Schmidt en su nuevo

enunciado, y tambin el hecho de que <p1 son funciones pro-
pias del ncleo K(P, Q), obtenemos de esto que, en casi
todos los puntos,

tt'>(P) = Z~ frp{.P) + Z.?:- f;<>;(P) +f(P) =

llJ\ ).-). loll.t

~ f<p(P) rp) ~ A f, (P)

= ).,-""'
.. 1
--:-:::-:- + \ +i;;;trt+
~, 1
~ "f ,<p
l l

Por lo tanto, en casi todos~ l os puntos

'
160 C,ompleme/lto

por lo cual,
- .:
ll 11 11 >(P)- p~n)(P)l I = 2 _.Z .~ ~ O.
h n+ l J.

De este modo, la hip tesis de que rp0 ( P) no satisface en casi

todos los punlos a la ecu:.tcin (7, 14) nos ha llevado a una
contrad iccin.
P.or lo ta nlo, si ). no es igual a ninguno de los valores
propios de la ecuacin (7, 14), ento nces esta ecuacin tiene
solucin para cualquier funcin/(P). Esta solucin es nica.
En efecto, si rp1 (.P) y <;'.!( P) fuera n soluciones de la ecuacin
(7, 14), entonces c;(P) - i;!( P) sera solucin de ltl ecuacin
homognea correspondiente y, contra lo supuesto, ). sera
un valor propio. De este modo, el p rimer teorema de Fred-
holm queda demostrado.
Por la simetra del ncleo K( P, Q). el segundo teorema
de F redh olm es u na consecuenci a evidente de la nota e)
del ~partado 4.
Cuando ). coincide con uno de los valores .A,, para la
existencia de una solucin de la ecuacin (7,14). es nece-
sario que f(P) sea orrogonal a todas las funciones propias
q:~1>(P), ... , <r~~)(P), correspondientes a este i.;, ya que en-
tonces se debe tener que:

if( P)q~>( I' ) dP=

= ).tJ' JK( P, Q)q:(Q) rp~l)(P) dP dQ + ffi P)r1(P) dP =

= f q;(Q)q~')(Q) dQ + ff(.P)<p~)(P) dP,
k = l,2, .. . ,m.
Gc11cralizaci611 de Ja teorfa de la cc11nc. meg. Hl

Verifiquemos que esta condicin es suficic11lc. Para esto,

formemos la serie (10,14), haciendo que en los trminos en
que ). = i.1 (y por eso [; =0) Ja relacin J.~?., sea igual a
cualquier nmero fijo oc;. Entonces, anloga ment e 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 oc; tendremos todas las soluciones de
la ecuacin (7, 14) (que se obtienen de una solucin c ual-
quiera, agregando todas las soluciones de la ecuacin homo-
gnea correspondiente). Con esto, queda demostrado el ter-
cer teorema de Fredholm.

11
C it p i 1u 1o l. I11troducci6n. Teoremas de li'rcdholm . . . . . . . . . . 9
J. Definiciones. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . 9
2. Problemas tpicos que !e reducen a ecuaciones
integrales lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3. Analoga entre las ecuaciones integrales lineales
y las ecuaciones algebraicas lineales. Enuncii1do de
Jos teoremas de Predholm . . . . . . . . . . . . . . . 19
4. Ecuaciones integrales con ncleos degenerados . . . 26
5. Ecuaciones integrales con ncleos continuos de
mdulo suficientemente pequeo . . . . . . . . . . . . . . . . 37
6. Ecuaciones integrales con ncleos cercanos a los
degenerados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7. Ecuaciones integrales con ncleos uniformemente
continuos . . . .. .. .... . . .... .. .... . . . ... .. .... . , 53
8. Ecuaciones integmles con ncleos del tipo K (P, Q)/PQ" 55
~ 9. l;iemplos de ecuaciones integrales singul ar~ . . . . . . 70

Ca p l 1 u 1o 2. Ecuacio nc~ de Volterra .... , . .. , . . . . . . . . . . . . 73

10. Ecuaciones de Vol!crra . . . . . . . . . . . . . . . . . . . . . . . . . 7l

Ca p 1 u 1 o 3. Ecuaciones integrales con ncleos simtricos rcnlcs 79

11. Anlogos geomtricos de ciertas relaciones entre
fu nciones (espacio de fUnciones) . . . . . . . . . . . . . . . 79
12. Demostracin de la existencia de funciones propias
de las ecuaciones integrales con ncleos sim tricos 97
Indice 163

13. Algunas propietlades de las funciones propias y de

los valores. propios de las ecuaciones integrales con
ncleos simtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
14. Teorema de Hilbcrt-Schmidt . . . . . . . . . . . . . . . . . . 119
15. Teorema del desarrollo de los ncleos ..... . .... 126
16. Clasificacin de los ncleos . . . . . . . . . . . . . . . . . . . . 128
17. Teorema de Dini y sus aplicaciones . . . . . . . . . . . 129
18. ejemplo .. . .. .. . ... ... ' .......... . .. ..... . . ... 134

Complemento .... ..... . .... ....... .. ..... .... ....... . . 138

19. Reduccin de una forma cuadrtica a Ja forma can-
nica por medio de una lransformacin ortogonal 138
20, Tef,,-a de las ecunciones integrales con ncleos sim
tri~os en la clase de ecuaciones de cundrado i111egrablc
segn Lebesgue ........... ..... .... , . ... ... ... 146

11