Documentos de Académico
Documentos de Profesional
Documentos de Cultura
—0)
(fig. 56), por Jo cual,
Aa| tomy f SOS ag
7
‘Bae (3
{ e@—ecal
»
slur § we-ecz
—2) G80)
¥-9,
p
++ cosee (00—~0) \ 2
e
G0) | ty = type.§ 3. INTEGRAL DE CAUCILY. FORMULAS bE Y. SOJOTSKI 267
Si v os un nimero positive arbitrario, se puede supuner que p es tan pequefio
que ig resulte monor que $i fijomos este valor de p. Obsérvese ahora que la
distancia $5 desde el punto fj hasta el arco y — op es positiva; por Jo tanta,
[e-—ble>o>0 sb ey— be y 8-21 >8 — lb —2|. Por osta
razén, si [z — t |< —*, = tiene:
et fie @—ocole.
4
de donde, para todos los puntos = sufieientemente préximos a ty resulta;
e
h<
. Asi, pues 4 80 (4.4412)
(Aqui se ha formilado la negacién de la convergencia uniforme de
la serie (4.1:1) en el conjunto /).
De Ja sucesién de puntos {z,} se puede extracr otra sucesién
parcial eontenida en la misma {2,-}, que converge hacia cierlo punto
ty € F (F es un conjunto cerrado). Como 2, es un punto del recinlo G.
segin ka hipétesis, para éste existe un entorno U perteneciente a G
en cl cual la serie es uniformemente convergente. Por consiguiente,
en todos los puntos de U tcne que verificarse la desigualdad
{f@—S@| Ny (e),
me
[She |<
n+l
para todos los puntos de este circulo. Tomando las integrales
\ fu (2) de a lo largo del segmento cectilineo que une a y 2,
4
tendremos:
nes enw
|S Jnw@as|=|§ 3 fue) a]
welt eeeee278 GAP. TH ENTEGRALES ¥ SERIWS DE POTENCIAS
Por consiguiente, para n> N (e)= max [M;(e), Nee], en cual=
quier punto del circulo [z—~z;| ’ f, (2) es uniformemente convergente en el interior del mismo.
T
Teorema de Weierstrass sobre las series
uniformemente convergentes de funcio-
nes analiticas. Si los términos de una serie
folQ+ hit... +fa(+..., (4.4:1)
uniformemente convergente en el interior del recinto G, son junciones
analitieas en este recinto, entonces la suma. de la serie f (2) también
es analitica en el recinto G.
Ademds, las series
WOM D+ +I Oto (4.4218)
que se oblienen de la serie (4.1:1) derivando ésta término a lérmino k
veces, también convergen uniformemente en cl interior de G y representan
en el recinte G las derivadas de k-ésimo arden de la. suma de la serie { (2).
Sea zo un punto arbitrario del recinto G y sea y una circunferen-
ela de radio con el centro en el punto zp, perteneciente a G junto
bn su interior. Evidentemente, es suliciente demostrar todas
las proposiciones del teorema para los puntos del entorno U:
|2—~29|<-$ del punto zp. Supongamos que § designa ua punto
arbitrario siluado en y y que zes un punto arbitrario de U. Hagaimos
en (44:1) 2 = € y multipliquemos todos los términos de la serie
por (k= 0,41, 2, ...). Obtenemos:
AL 7) = yf ho (4.044)
0
Bal Gay Bat ay§ 4. SERIES DE FUNCIONES Y PRODUCTOS INFINITOS 279
Como la serie (4.4:1) converge uniformemente en y y por las
hipétesis del teorema
i
5 NRE
p yeti
aa(
7)
ta serie (4.1:14) también converge uniformemente en y; por esta
razon se la puede integrar términe a término. Resulta:
kl Od st il Fn (0) ab “45
ar eae Dar | ett)
7 5
Re 1
Ont (Zaye
Como las funciones f, (z) son analiticas en el recinto G, Jas inte-
at J JG) ay
weales p57 | eee exprecan las derivadas 9 (@) (véase (3.2:7)).
rs
»
2
Para & = 0 la igualdad (4.1:15) toma la forma
ty | ws. =3h =f),
ts
>
de donde se deduce que f(z) representa en U una integral de tipo
Cauchy y, por consiguiente, es una funcién analitiea en U
Para &>>0, de la igualdad (4.1:15}, obtenemos:
a &
J 7 ai 3 ia (@.
Pero la expresién del primer miembro de esta igualdad representa
la derivada de orden & de Ia integral de tipo Cauchy p4 | 1#8
1%
y. por consigniente, es igual af" (2). Asi, pues, en el entorno U/
del punto zy se ticne:
5 St te ‘
Ma) = Zi" (o.
No queda mas que demostrar la convergencia uniforme de esta
serie 0, lo que es lo mismo, de la serie (4.1:15) en este mismo entorno
Pero si en py se cumple Ja desigualdad
[F()—Sa(Q| f (e)
y tv! >> B (e) se cumple la desigualdad
| Fe (— Fe @) | nGirq (3— 29)" (E— By” dO ==
a)
n ta 7
-_ Db) tiem | 2)" Gay" db = 3} an|%02.
k,ym=0 1
(Todas las integrales, correspondientes a k>£m, son nulas)
En resumen,
2
n n
ax | | Bene—a9"f a0= Sy fan tp
0 o
Suponiendo aqui p< R, pasemos a limites para n—>co. Como
la sucesion
121 Gm (z—20)"|
oMa304 GAP, I INTEGRALES Y SERIES DE POTENCIAS
esta formada por funciones continuas y es uniformemente convergen-
te on la circunferencia |z —2)|=, la sucesién de funciones
a
continuas {| Dla, (¢—z)™|} seré uniformemente convergente
7
en la misma circunferencia (véase la observacién al final del ap. 4.2).
Por consiguiente, es posible el paso al Iimite bajo el signo integral
(correspondiente en el caso de las series a la integracién término
a término), obteniendo:
ax
ae | |F Got pet) |* a0 =
uv
anon
lin ft J | > an (e— aay a8 = Kim py | Gm Pp".
Ne+00
2
De aqui se deduce, en primor lugar, que la serie >} |a,, [29
T
23 convergente y, en segundo lugar, que su suma es igual a la
x
intogral A J jf (a) Pao:
. on 1 Qa
Diempor— se | 1/ Go pe!) |? ao. (5.334)
0 oO
Esta relacién es andloga a la igualdad do Parseval en Ja woria
de las series de Fourier. De la relacién (5.3:4) se deduce que la inte-
gral
on
Be Sif Got pe) (720,
a
quo representa el valor medio del cuadrado del médulo de la fun-
cién analitica f(z) en la circunferencia |z—zo|/=p, es una fun-
cién no decrecionte de p. Por consiguionte, siempre existe el limito
(finite o infinite) on
al
jim =— + pe®®) |? dO.
dim gx {17 pe) |
Transformemos la expresién (5.3:2) de los cocficientes de Ja serie de
potencias. Con este fin, hagamos £— z= pe‘*, entonees tendremos:
on
On = sai | f (Gp et? ad. (5.3:5)45. SERIES DE POTENCIAS, RELACION CON LAS SERIES DE FOURIER 305
Por otra parte, segin el teorema integral de Cauchy:
an
J #@G—ay™de—=0 (m1),
o bien, "
20
J ft (0) p™tet dm—1) Spiel do = 0,
3
y, finalmente,
of
o=543 | f(t da (> 1), (5.3:6)
a
Sumando y restando (5,3:5) y (5.3:6), obtenemos:
2a
J /@)sonmOd0 (m4). (5.3:7)
a
ox
On = j f (2) cos mo do= —
3
Sea
tins = On + iB ¥ f= H(p. 8) +H (P.O);
enlonces de las f6rmulas (5.3:7) hallamos:
ox tn
Pm =— | wip, 8) cosmo =. [ »(p, 6) sen m0 dd,
“4 "3 (n> 4) ei
5 eS (5.338)
P"Bn => |v (p.0) cosmo ga = — +. ‘ u (p, 0) son nid dO,
b 0
Ademas, la S6rmula (5.3:5) para m=0 daz
1 an 1 2m
oy =e | 1(0, 848, Bo= ge | v(p, 0) a8.
a 0
De aqui se deduec que los ntmeros 2, ("chy ¥ — PB (m= 1, 2, .-.)
son los coeficientes do Fourier de la funcién u (p, 0)= Re f (2+ pet?)
y Jos mimeros Bo, p™ Bm ¥ p™c&m, Los coeficientes de Fourier de la
funcién v(p, 8) =Im f (zg + pet).
En otras palabras, las funciones u(p,9) y v(p, 8) poseen de-
sarrollos dé Fourier coujugados:
oo
up, 0) ~ a+ 3) p™ (a, cos mb— Bp: sen mB),
1
.
© (p. 8) ~ Bot > Pp" Gn Gos MA) + cm Sen mA).
20-1199306 GAP. IIL INTEGRALES Y SERIES DE POTENCIAS
Separando las partes real e imaginaria on Ja serio de potencias
J o-+ pe!®) =u (p, 8) + tv (p, 0) =
= Di am (2 — 20)” = >) (Gm + ifn) p™ (CoS mO + é sen m0)
0 «
resullan estas mismas series:
16 (p, 8) = a + SY (cep €03 128 — Pp son m0),
é (5.3:9)
v(p, 0) — Bot a (Bmp cos m0 -+ ap" son mA).
Wn resumen, das partes real e imaginaria de wea serie de poten-
clus son lus series de Fourier para las partes real e imaginarla
de su suma. Estas series son cunjugadas entre si.
Demostremos también cémo se puede obtener de la tguabdad
igualdad de Parseval para las funciones u(p,0) y 2 (p, 0).
rvando que
Lf (Za pet?) |? = Ju, OPE fe (gr, OL
representemos (5.3:4) en la forma
on tn °°
xs le (p, Ont a+ a | Te (p, 8)|? dO = >} | am [2o#”™. (5-3:10)
i i 7
Por otra parte, ficilmente se puede obtener mia relacion que exprese
2x 2a
la diferencia de las integrales = | (ue (p, 8240 xs [v(o, OF 20,
a u
si reeordamos que ka media aritmética de Jos valores que toma
Ia Tuneién analitica [f (2.4 pet®)|* en da circunferencia |z—29|=p,
tiene que coincidir con sit valor en el centro de la circunferencia
(ap. 4.2):
ss
ie J 1 0-4 pe!) ad = LF (zo), (5.3:11)
i
Observando que
Lf Go = pel) P = [u(, OP — Tv (o. 0) 4? 4 2ite (p, 8) v (p, 8),
If (20) I# == ay = ce — Bi 2éctafhos
y separando las partes reales en la igualdad (5.3:14), oblenemos
an 2a
= i le (p, ee da— st j [v (eo. Pd =ak—PR. (5.3:12)
a§5. DESARROLLO DY UNA FUNCION ANALITICA EN SHRIE DE POTENCIAS 307
Sumando y reslando término a término (5.3:10) y (5.3:42),
hallamos:
ax
a 3
Ef (p, OF do =o — B+ SY | ame Pot = 2ee8 + DY oo + FR) pM,
an ey an
+f ie, 91240 = p32 +S an [P02 ~ BED) Gh +h) 9?
u 0 1
Evidentemente, las reJaciones obtenidas representan las igual-
dades de Parseval para las funciones u(p, 0) y v(p, 0).
5.4, En el ap. 5.2 se obtuvo la expresién de los coeficientes
de una serie de potencias mediante las derivadas de su suma en el
centro dol cireulo de convergencia K:
(o=U, 1.2, 0.2).
an
nt
Pero en el ap. 3.2 se vio que para cualquier p,0
La serie que figura en el segundo miembro puede obtenerse integrando
°
término a término Ia serie Smog
a
Sat AV Boyie
zag la cual cor
verge uniforniemente en la circunferencia y: | & — 35 | = p, si 2 es
un punto fijo situado en of interior de y. En efceto, para el médulo310 CAP. 11] INTEGRALPS Y¥ SERIES DE POTENCIAS
del término general de la serie se tiene la cola:
Lay (z—29)" 1 Mie) zy | \n
at 1 ESayert [ 1, se dice que es multiple. En virtnd
do la definicién, el A-punto simple se earacteriza por las relacio—
pes:
L@)=A yf (2) #0; j
y el A-punio maJtiple de orden #, por las relaciones:
Fo) =A, f' (oq)=- 0, .. 2 JPY (zQ) = 0, 1) (ay) HO.
De la igualdad (6.4:2) se deduce también que siz es un A-pun=
to de orden fA. la fimcién g (2) = ie "7 es analitica én un entorno-
zo§ 6. PRINCLPIO DEL MODULO MAXIMO. ato
del punto 2p: :
$049 (39), EPL (aq)
@()— Sp + ap oo) +e
y su valor en el punto zp es diferente de coro:
ts
(a) =O 0,
si se sabo que para cierto natural & la fon~
Reeiprocamente:
A es
adlitien en un entorno del punto zp. y su
valor en el punto 29 (definido como lim sel ex diferente de
cero, entonces 2) es un A-punto de /(z) de orden &.
fEn efecto, de la relacién
=P (2) Hay § On (E— 44... (x == @ (20) 0).
86 deduce que
JL (2) = At ay (2 —2p)" + yyy (2— 29)" 4-
en un cntorno del punto zy y, por consiguicnte,
I
4=fed, m= O26
ys ademas, (para de> 1):
f(a) = 02. =f (%) = 0.
Sea de nuevo F un conjunto cerrado arbitrario de puntos del ri
lo G; calenlemos la cantidad de A-puntos de la funeidn {/@sA,
pertenecientes a #, contando cada uno de ellos tanlas veces cuanto
indique su orden de wultiplicidad. Como en¥ hay un namero finite
de A-puntos y cl orden de multiplicidad de cada uno de ellos
también es finito, el resultado del cdleulo seri un nimero finite.
Todo le dicho respeclo de los A-punlos eg aplicable, indudable-
mente, al caso particular importantisime on que 4 = 0.
Los 0-puntos de la funcién analitica / (2) se Haman, abreviada-
mente, ceroas dela misma, El lector comprobaré Meilmente que
Jas definiciones de ordenes de multiplicidad de los ceros de un poli-
nomio o, en general, de una luncién racional arbitraria, admitidas.
en el algebra y utilizadas aqui ene! ap. 4.1 del segundo capitulo,
concierdan con las definiciones generales dadas anteriorm
Obsérvese que, para todo A 34 00, los A-puntos de la fincis
f (z) son ceros de la funcién f {z) — A. Por esta razon, cualquier ley
general establecida para los ceros de las funciones analitica ibsiste
también para los A-puntos de las hunciones analiticas, donde A es
un mimero complejo arbitrario.B20 CAP. IIL INTEGRALES Y SERIES DE POTENCIAS ©
Demostremos que si ef conjunte de todos los ceros (respectivamente,
los A-puntos) de una funcién uniforme analitica arbitraria no es jinito
en un recinto dade G, entonces éste es un conjunto numerable. Iin otras
palabras, todos Jos ceros de una funcién uniforme y analitica en
un recinto dado pueden numerarse y colocarse en forma de una suce-
sidn:
Bia Bay eee ay
Como se sefialé anteriormente, osta sucesién no tienc puntos de acu-
mulacién en el recinto G y, por consiguiente, todos sus puntos de
acumulacién son puntos frontera para G.
Para demostrar que el conjunto de los ceros de una {uncién anal
tiea es numerable (si este conjunto es infinilo), cxaminemos primoro
el caso en que G sea todo el plano finito. Entonces en el efreulo | 2 |<
<1, y también en los anillos:
fc [el<2, 2c |z[/<3,...,mc[zj > p. En efecto, suponiendo que en cierto
punto z,, exterior al conjunto £p, se verifica la igualdad | P (2) |=
= p (la desigualdad | P (a) | p.
La frontera del conjunto Ep, es decir, el conjunto de todos les
puntos del plano que satisfacen a la condicién
\P(@)|=p,
se llama Lomniseata. Designando los ceros del polinomio
P (z) mediante 2, 23, . - +) 2, (los ceros multiples se escriben aqui
tantas veces como sean sus 6rdenes de multiplicidad), se puede escri-
bir P (z) en la forma
P (2) = an (2— 4%) 06. (2— Bn)
por consiguiente, la condicién que define Ja lemniscata toma la
forma siguiente:
Pp n
Tent
Asi, pues, la lemniscata puede definirse como el lugar geométrico
de puntos del plano para los cuales el producto de las distancias
hasta n puntos del plano 4, . . ., 2, (algunos de estos puntos pueden
coincidir entre si) es una cantidad constante.
Los puntos z,, ..., Z, que figuran en esta definicién (los ceros
del polinomio P (z)), se Jaman focos de la lemniseata,
yolnimeror, radio de la lemniseata;lacurva misma
sc lama lemniscata con x focos de radio r.
Cuando rn = 1, resulta el caso particutar mds sencillo:
afar
[z—%|---
L—3_ |=
evidentemente, ésta es una circunferencia de radio r con el centro
en el tmico foco 4.
Si zn=2 y 2,54 %, resulta una lemniscata con dos focos:
Jz—2,||z—z,Jor°.328 CAP. II INTEGRALES Y SERIES DE POTENCIAS
La forma de ésta deponde de la razén del radio ra la distancia
| 21 — 2 | entre los focos. iin la fig. 58 esté representada una lem-
niscata con dos foces para los siguientes valores de esta razon:
r 4 Po. 4 r Ve
Viqeal Se Yaaro a: Vae p. En este caso, la
summa de la serie (6.3:2) representa una funcién analitica en el cireulo
\s—2z) |< A que, por consiguiente, es analitica en cierto entorno
de cada punto de la circunferencia y y que coincide con f {z) en el
interior de y. De aqui se deduce que cada punto de la circunferencia
yes regular para f (2). De la contradiccién obtenida se deduce que la
afirmacién es justa.
Como ejemplo, veamos la serie geométrica
Apzt+atp.. taht.€ 6. PUNTOS SINGULARES DEL ELEMENTO DE UNa FUNGION ANALITICA 337
Su radio de convergencia es igual la unidad y su suma os igual
Como ya se vio, en la frontora del efreulo de convergencia
1 verdadcrameute existe un punto singular que es, ademas,
Se pueden sefalar sin dificultad ojemplos de series de potencias
Para las cuales cada punto de la frontera del circulo de convergencia
es singular. Ho aquf uno de los ejemplos mas sencillus de este género.
Examinemns la serie:
f(2)—Ap22- ct... pet.
Evidenlemente, su radio de conyergencia es igual a la unidad.
Demostremos que para 3 > 1 (por el interior del cireulo unidad, a lo
largo dol radio, es decir, a lo largo del eje real), f (2) tiende a oo
Kn efecto, para cralquicr natural x, la suma parcial de la serie
d+ar+...+ 2 para c— ft tionde an + 1 y, por consiguiente,
satisface a la desigualdad
£ tat pos. spat" pn para 1—~e<6(),
es decir, para 2>1—6(n).
Pero, para estos mismos valores de z, se tiene:
f= at Fatt on,
v
de donde se deduce que
lim f (2) = co.
Basandose cn este resultado nos convencemos facilmente, igual
que en el caso anterior de Ja progresion geométrica, que el punto 1 es
singular para f (2).
Obsérvese ahora la idontidad:
f(g) 8 pete oy PEG L(Y Ld
Como Ia serie entre corchetes sc diferencia de la inicial solamente
en quo aqui z se ha sustituido por 22", sacamos la conclusién de que
F@)=spatt ... 22" + 7F (22)
para cualquier natural x.
Consideremos todas las raices de [a unidad de orden 2": “7.
Estas representan puntos situados en la cireunferencia unidad en los
vértices de un potigono regular de 2" lados. Si € es uno de éstos y el
punto z del cireulo unidad esta situado en el radio OF, entonces 22”,
22-1199338, CAM. 10. INTEGRALES Y SERIES 118 POTENCIAS
evidentemente, es un niimero positivo y para z— £, se tione que
2" -» 4. De aqui que lim f (22") = oo y, por consiguiente.
eat
Him F(a). Sim fx8-p2t.. oe?" sf (z2")p — 00.
2h zp
208 205
Asi, pues, cada una de las raices 1 también es un punto singu-
Jar de f (z) (para enalquier » = 41, 2, 3, .. .). Vemos que el conjunto
de puntos singulaces del elemento f (z) es donso en Loda La cireunferon-
cia unidad {es decir, esta situado do tal modo que cualquier arco de
Ja circunferencia, arbitrariamente pequeno, contiene puntos de este
conjunte).
Povo de aqui se deduce que todos los puntos do la circunferencia
unidad sin excepeién son puntos singulares de f (z), puesto que para
un punto regniar, si bal hubiese en la circunferencia nnidad, existt
también un arco entero cuyos puntos todos tendrian que sec tambi
regulares, lo cual en el easo dado es imposible.
Indiquemos un método general que permite averiguar, para cual-
quier punto © situado en la frontera I del efreulo de eonvergencia
de la serie de potencias (6.3:1), si éste es un puato regular o singular
para ln suma @ (z) de la serie. Sea 2, un punto del radio 296, distinto
de 29 ¥ & Desarrollemos la suma @ (2) de la serie en serie de potencias
de z — zy. Oblendcemos:
(2) — byt yy (3 Hy) He dn Em ay Fee
donde
In ~ ay Anes Bi —
at
pe te eB Angy By — Bh ee (2-0, 1,2...-).
Segdn el teovema de Cauchy, la serie do potencias obtenida es con-
vergente en cl eireulo | z — 2 |< A. dodo A es la distancia desde
a hasta Ty es decir, A = J2 — | a — z |. Por lo tanto, la serie
(6.3:3) es convergente en el interior de una ciceunferencia y_con el
centro en el punto 2, que es tangeate a la cireunferencia Ten el
punto & Caleulomus cl radio de convergencia de la serie (6.2 3).
Segiin la férmula de Cauchy-Hadamard, se tiene:
Ps
Tim
8
Sir coincide con A, en la circunfereneia y: | 2 — 20 | = A
que haber al menos un punto singular de Ja suma de la serie (6.3:3).4 6. PUNTOS SINGULARES DEL ELEMENTO DP UNA PUNCION ANALITICA 339
Pero ningtin punto ¢ € y, situado en el interior de XK, puede ser
singular para esta serie, puesto que en un enlorno del punto ©,
perteneciente por completo a K, g (z) es una funcidn analitica que
en el interior de y coincide con la suma de la serie (6,3:3). Por consi-
guicnte, el punto € es singular, Evidentemente, éste tiene que ser
también singular para @ (z), que es la suma de Ja serie (6.3:1). Supo-
niendo lo contrario tendriamios una funcién rp (z), analitiea en cierto
FIG, 62
entorno U, del punto § 1a eual coincidiria con ¢ (2) en los puntos del
eutoruo Uy siluados en el interior de K. Pero entonces esta mis-
ma funcién coincidirta con la suma de Ja serie (6.3:3) en los puntos del
entorno U, situados en el interior de p, es decir, § no seria un punto
singular para la serie (6.3:3).
Asi, pues, si
1
Tha 3”
el punto © es singular para @ (2). Demostremos que si Ar, es
decir, si A 0 es la distancia desde F hasta la cir-
ennferencia unidad, enlonces para cualqnier punto 2€#, so
ne: |z|