Boletn de Matemticas

Nueva Serie Vol.I No.1 (1994) (17-33)

SUCESIONES MODERADAS

Yu

TAKEUCHI

lo Introduccin.
Si r

>

1 entonces la progresin geomtrica (r": n = 1,2,3, ... ) crece hacia

exponencialmente,
mente.

n = 1,2,3,)

y su inversa (l/rn;

+00

tiende a cero exponencial-

En el presente trabajo se van a estudiar sucesiones de trminos positivos

que no crecen hacia

exponencialmente,

+00

y/o no tienden a cero exponencial-

mente.

2. Sucesiones Moderadas.

(Xn) una sucesin de trminos positivos, decimos que (Xn) es moderada

hacia +00 si y slo si (Xn) est por debajo de cualquier progresin geomtrica de
Sea

razn mayor que 1, o sea:

Xn

= O(rn)

para cualquier r

>

(1)

Ejemplos lo
(i) Toda sucesin superiormente
(ii) La sucesin (na;

n = 1,2,3,)

acotada es moderada hacia

es moderada hacia

+00.

+00,

(evidente)

donde a es una

constante real (evidente) .

(iii) Sea (Xn) una sucesin de trminos positivos, no moderada hacia
Xn

Yn para todo n entonces (Yn) no es moderada hacia

+00

+00

i si

Typeset by .A..MS-1EX
17

YU TAKEUCHI

18

(iv) Sean (Xn)

, (Yn) sucesiones de trminos positivos, si (Xn) es moderada

hacia

+00

y lim(Yn/ Xn) too,

hacia

+00

En efecto, sea h
suficientemente
se tiene que Yn

entonces la sucesin (Yn) es moderada

= lim(Yn/ X

n)

entonces Yn/ Xn

grande. Como Xn =

O( rn)

O( rn)

< h + 1 para

todo n

para cualquier r > 1, entonces

para cualquier r > 1 .

La condicin (1) puede ser caracterizada

de varias maneras, como puede verse

en el siguiente lema 1.
Lema 1. Sea (Xn)
condiciones

una sucesin

de trminos

positivos,

entonces las siguientes

son equivalentes:

(i) (Xn) es moderada hacia

Xn = O(rn)

+00,

o sea:

,para

cualquier r con r

>1

(ii) X = o(rn): para calaquier r con r > 1 .

(iii) Xn . rn ---> O (n ---> 00) para cualquier r con 0< r < 1
n = 1,2,3,)

(iv) La sucesin (Xn . rn;

oc

c t .

(v) La serie
(vi) lim

es acotada, para cualquier r con

-::rx;:

L:::'=1 x; . rn

<1.

converge para Irl

S1.

(vii) Dado cualquier

> 1, el conjunto {n E NIXn >

rn}

es finito.

Demostracin:.
(i) ==> (ii). Dado r > 1, tenemos que Vr>
Xn / r

(Vr)n
--:;:-

x,
= (Vr)n

--->

1, luego:
r:

O ya que Xn/(yrt

r:
es acotada, y ,(yr/r)

<

(ii) ==> (i). Evidente.

(ii) {:::::}(iii).
r

"Xn = o(rn) para r > 1" quiere decir que "Xn/rn

> 1", esto es ,Xn (l/rt

--->

O para 0< (l/r)

O para

< 1.

(iii) ==> (iv) Evidente.

(iv) ==> (iii).

(Xn

(Vr)n; n

Dado O < r < 1 , como O < Vr

= 1,2,3,)

Xn . r"

< 1 entonces la sucesin

es acotada, por lo tanto se tiene que:

= Xn . (v'rt

. (v'rt

--->

cuando

---> 00

SUCESIONES

(iii)

Irl <

(V). Si

==::}

Comparando la serie

1 entonces

2::=1 Xn

la serie

2::=1 X

(v)

(iii). Evidente.

n .

==::}

.jR <

19

MODERADAS

1. de (iii) tenemos que Xn . (.jR)n

. rn con la serie geomtrica

Irl <

converge cuando

2::=1 (vIr)n

---+

se ve que

1.

(v) {::::::::}
(vi) La condicin (v) quiere decir que el radio de convergencia de la serie

2::=1 Xn . rn debe ser mayor o igual a 1, o sea que lim ffn

~ 1.
n
(ii) ==::} (vii). Si Xn = o(rn) para cualquier r> 1, entonces Xn ~ r para todo n
suficientemente grande, por lo tanto el conjunto {n E NIXn > rn} es finito.
(vii) ==::} (i). Si el conjunto {n E NIXn > rn} es finito, entonces Xn < rn para
de potencias

todo n suficientemente grande, o sea Xn

Nota.

= O(rn).

Si en el lema 1 negamos la propiedad

sucesin (Xn)

O
ser moderada, tenemos que una
hacia +00 si y slo si :

(de trminos positivos) no es moderada

lim

vX:" > 1

(la negacin de (vi,

lo cual es equivalente a la negacin de (iv) :

"existen, r con O < r

< 1, Y una subsucesin (Xn(j); j

(cuando

Sea (Xn)

= 1,2,3,

---+

... ) tales que

00)."

una sucesin de trminos positivos; decimos que (Xn)

es moderada

hacia cero si su inversa (1/ Xn) es moderada hacia +00. Por ejemplo las sucesiones
(1/ log( n-j-I , (l/n),

(1/n2) son moderadas hacia cero. (Xn) no es moderada hacia

< 1, lo cual es equivalente a: "existen un real r > 1, Y

cero si y slo si lim ~

una subsucesin (Xn(j); j = 1,2,3, .. ) tales que Xn(j)rn(j)

Definicin.
moderada

Sea (Xn)

---+

O (j

---+

+00)."

una sucesin de trminos positivos, decimos que (Xn)

es

si sta es moderada hacia +00 y es moderada hacia cero.

Esta propiedad es caracterizada

de varias formas, como puede verse en el si-

guiente lema 2 .
Lema

2. Sea (XnJ una sucesin

piedades son equivalentes:

(i) (XnJ es moderada.

de trminos

positivos,

las siguientes

cinco pro-

20

YU TAKEUCHI

(ii) Xnrn

---+

Xnrn
(iii) las series
(iv) lim., ...oo

(v) lim.,...oo
Demostracin:

para cualquier r con 0< r < 1, Y

para cualquier r con r > l.
Xnrn ,E:'=l(l/Xn)rn
convergen para

---+ +00

E:'=l

yrx;; = 1 .
~

Irl < l.

-Iog X; = O .

(i) {:::::}(ii) Por la definicin y la condicin (iii) del lema l.

(i) {:::::}(iii) Por lema 1, condicin (v).
que (Xn)

(i) {:::::}(iv): Supongamos

es moderada;

tenemos:

lim

por el lema 1, codicin (iv),

yrx;; s 1.

Pero como:

-l'
1m ( 1)
~

1
---==

-lim~

entonces:

por lo tanto:
lim

n ...oo

vtx: = 1.

El recproco es inmediato.
(iv) {:::::}(v): Evidente.

Ejemplos 2.
(i) Una sucesin constante

de valor positivo es moderada.

(ii) Una sucesin de trminos positivos, acotada superiormente

y separada

de

cero, es moderada.
(iii) La sucesin (na; n

1,2,3,"')

es moderada,

do de a es una constante

real (positiva o negativa).

(iv) La sucesin (log(n + 1); n = 1,2,3,)
es moderada.
(v) La sucesin (2Vn; n = 1,2,3,"')
es moderada.
(vi) Sean (An),
An ~

(Bn)

x, ~ s;

(vii) Sean (Xn)

sucesiones moderadas

con An

< B para todo n. Si

para todo n, entonces la sucesin (Xn) es moderada.

una sucesin moderada

tisface:
lim

hacia

vAJ < 1,

00,

y (An) una sucesin que sa-

SUCESIONES MODERADAS

entonces la serie

E:'=l An

21

. Xn converge absolutamente.

En efecto:

Las siguientes propiedades acerca de las sucesiones moderadas son, fciles de

demostrar.

(MI) Supongamos que la sucesin de trminos positivos (Xn) satisface:

Xn+1
lun
-X
=r,

n~oo

(2)

entoces (Xn) es moderada si y slo sir = 1.

En efecto, (2) implica que

Jim ~=r,

n-oo

por lo tanto, del lema 2, (iv) se obtiene el resultado deseado.

(M2) Si (Xn), (Yn) son moderadas, tambin lo son (Xn)(C,,) (con (en) acotada),
(~),

(Xn

+ Yn),

, (mnimo(X

(mximo (Xn, Yn

(Xn

Yn),

lim

.!. -Iog Xn (C,,) =

En efecto,

n-oo n

n,

lim en . log Xn

n-oo

Yn

= 0,

por lo tanto la sucesin (Xn Ca) es moderada si (en) es acotada. Como un caso
particular (en = -1 para todo n), la sucesin (l/Xn)
Tambin:
lim

n-oc

\lxn

por lo tanto la sucesin (Xn

Yn

lim

n-CM;)

vX:".

es moderada.

lim..;x;:

n_OO

1,

Yn) es moderada.

Por otra parte, tenemos:

si Irl < 1
si r > 1,

YU TAKEUCHI

22

por lo tanto la sucesin (Xn

Como (Xn Yn)/(Xn+Yn)
(mximo.X,

, Yn)), (mnimo(Xn,

Si se define el producto

entonces el conjunto

(M3) Sea (Xn)

tenemos

de valor 1, (1,1,1,)

una sucesin

de trminos

I:~=1 Xn

Ntese que la la serie

s; = E~=1 X"

Demostracin:.

de todas las sucesiones moderadas

si y slo si la serie

parciales:

todo n, entonces las sucesiones

Yn)) son moderadas

de dos sucesiones en la forma acostumbrada:

donde la sucesin constante

+00

+ Yn) es moderada.
x, y Yn ~ Xn+Yn para

E:=o

es un grupo multiplicativo,

es la unidad

del grupo.

(Xn) es moderada

positivos;

hacia

es moderada.

(Sn; n = 1,2,3,)

Xn es la sucesin

de sumas

Supongamos

que (Sn) es moderada,

para O

entonces

< r < 1

que

por lo tanto la sucesin (Xn) es moderada

Recprocamente,

supongamos

que (Xn)

hacia

+00.

es moderada

hacia

+00.

Si r

>

1,

entonces

Si O

<r <

1 entonces

..r < 1, luego (..r)n < (..r)"

para todo k

< n,

lema 1, (v):
rn .

s; = (.rt . LX" . (.rt

n

"=1

LX" . (.r)"

L X". (.r)"
n

< (Jr)n .

"=1

00

< (..;rt .

"=1

por lo tanto la sucesin Sn es moderada

O
O

(cuando

n -

00)

y usando el

SUCESIONES

MODERADAS

23

Ntese que si (Xn) es moderada, entonces tambin lo es la sucesin

(1.. . E;=1

= 1,2,3, .. .

Xk),n

(M4) Sea 2:::1 Xn una serie convergente de trminos positivos; si (Xn) es

le = 1,2,3,'"

moderada hacia cero, entonces la sucesin (E~=n+1 Xl),

es mo-

derada.
En efecto, para r > 1 tenemos:
00

rn.

L:

Xl >

. Xn+1

Luego la sucesin (L~=n+1 Xk),

=
le

dentemente sta es moderada hacia

rn+l . Xn+1

---+

= 1,2,3,

(n

---+

(0),

es moderada hacia cero. Evi-

+00

Ntese que la sucesin (-};; . L~n+l

+00

Xl),

le = 1,2,3,'"

es moderada.

El recproco de M4 no es cierto. Por ejemplo, si

1
1
a2n = n(n -1)'
a2n-l = 2n
entonces

an . (v'2)n

no tiende a

+00,

o sea que la sucesin an no es moderada hacia

cero, pero la sucesin (L~=n+l al) s es moderada hacia cero, ya que

00
1
1 n
00
1
1 n
~ al=
~
l=2n

-+(-)
n-l
2

---+

l=2n+l

al

= ;; + (2) .

< Un para todo n. Supongamos que Un

(M5) Sea (Un) tal que -1

(cuando n

(0), entonces el producto

infinito

n:=1 (1 + Un)

---+

es moderado si y

slo si L = O.

Ntese que el producto infinito

parciales Pn =

n;=l (1 + Us)

n:=1 (I+Un)

es la sucesin (Pn) de los productos

En efecto, como
Pn+l
P

= (1 + Un+1) ---+ 1 + L

(cuando n

---+

(0)

entonces por la propiedad MI se obtiene que (Pn) es moderada si y slo si L = O.

YU TAKEUCHI

24

Ejemplo

3. Si (Xn) es moderada, entonces tambin lo son las siguientes suce-

siones:

En efecto, la primera es moderada por M2

(n)=(1, 2, 3,)

M3 , puesto que la sucesin

es moderada.

La sucesin Xn)2; n = 1,2,3,)

JE;_~Xk)'

es moderada por M2 y la sucesin

es moderada por M2 y M3.

Adems
1(1/n) -Iog

\.Ixl

1
< - . (llogXtI
-n

. X2 Xnl = (1/n) (1/n) 1(logXl

+ l(logX2)/21 + ... + 1(logXn)/nl)

puesto que (1/n) lIogXnl--

O (n --

--

+ logX2 + ... + 10gXn)1

O (cuando n --

00)

00).

Ntese que si una sucesin (an) tiene limite L, entonces la sucesin de las medias
arimticas al

+ a2 + ... + an)/n)

tambin tiende aL.

Ejemplo 4. Sea (Xn) dada por la frmula lineal de recurrencia de primer grado:
Xn+1 = a~ Xn
donde an --

+ b~,

> o.b > O) n = 1,2,3,

(an

1 Y (bn) es moderada hacia +00. Si Xl

2::

O, entonces la sucesin

(Xn) es moderada.

En efecto, sabemos que

Como an -(bk/(a1a2ak),
sene

1, entonces (a1a2
k

1,2,3,

d=

an),

n = 1,2,3,

es moderada, luego

es moderada hacia +00; en consecuencia la

k

k=1 a1a2 ak

n = 1,2,3,

es moderada. Por lo tanto, la sucesin (Xn) es moderada.

SUCESIONES MODERADAS

Observaci6n.

25

Si una sucesin de trminos positivos (Xn) satisface la

condicin:

= O(na)

Xn

para algn

a> 0,

podemos considerar que la sucesin (Xn) es lentamente

creciente

(concepto

usado en teora de distribuciones): la condicin anterior es equivalente a :

(logXn)
logn

es superiormente acotada.

(3)

De la misma manera , si

Xn

= O(n6)

para algn

entonces la sucesin (Xn) es lentamente

a:

(logXn)
logn

0,

decreciente

hacia O; sta es equivalente

es inferiormente acotada.

Si la sucesin (Xn) es lentamente

creciente

(4)

lentamente

decreciente

en-

tonces se tiene que

(logXn)
logn

es acotada.

(5)

Evidentemente la codicin (5) implica que la sucesin (Xn) es moderada; en efecto:

.!. .10gX

= 10gXn logn __ O (n __ (0).

logn

El recproco no es cierto; por ejemplo, sea

entonces:

- logXn = _ .
y

..n log2

log Xn
---=
logn

t=
yn

log2 --

0,

..n . log 2 --+00.

log n

De lo anterior, entre las tres condiciones:

(1) lim

n-..oo

VXn

=1

(H) lim Xn+1

n-oo

Xn

=1

(111)log Xn
logn

d
es acota a,

precisamente la primera es la ms dbil; por esta razn la hemos utilizado para

introducir el concepto de sucesin moderada.

YU TAKEUCHI

26

de n . a.

3. Parte fraccionaria

Dado a E ~,se denota por n. a)) la parte fraccionaria

estudiaremos

de n a; a continuacin

en qu casos la sucesin (n . a)); n = 1,2,3,')

es moderada.

Lema 3.
Dada E:=l
conjunto

Al:

< +00 una serie convergente de trminos positivos, existe

un

A(~ ~) no contable y de medida nula tal que

(i) Si a
n . a))

ft

A entonces

:? An

,y,

1 - n a))

(ii) Si a E A entonces:

Si (a -

para dodo n suficientemente

dada cualquier m E N, existe n

n . a)) < An
Demostracin:.

:? An

,,

tal que

n . a)) < An.

1-

a) E Z (o sea, a == a mod

n . a)) = n . a))

:? m

grande.

Z) entonces:

para todo n E N.

Por esta razn podemos suponer sin prdida de generalidad, que a E [O,1) o sea
que basta encontrar un conjunto A que sea subconjunto

de [0,1). Sean:

rr
00

A =

Am) n[O, 1),

m=l

entonces A:J Q donde Q es el conjunto de todos los nmeros racionales en [0,1),

ya que Am :J Q pata todo m. Adems A no es contable ya que A es la interseccin contable de los conjuntos abiertos Am, m = 1,2,3,'"

Si J.l es la medida

de Lebesgue, tenemos que

2 A

L n ~
00

J.l(A) ~ J.l(Am) ~

L An -00

= 2

n=m

O (m --

n=m

luego: J.l(A) = O.

(i) Supongamos que a

a

ft

Am =

ft

A; entonces:

An k

An

U U(-n - -,n -n + -)n

00

n=ml:=O

para algun m,

00),

SUCESIONES

MODERADAS

27

luego o bien

An

~- n
Ia- -1
n

(para todo k

= 0,1,2,'"

,n y para todo n ~ m),

In. a -

kl ~

An

(para todo k

= 0,1,2,'"

,n

y para todo

n ~ m)

Esto es:

n . a))

~ An

n . a)) ~ An

1-

,y,

m).

(para todo n ~

(ii) Ahora, supongamos que a E A; entonces:

a E Am

x,

x,

= U U(-n - -,n -n + -n )
n

00

para todo

m,

n=mA:=O

o sea que dado cualquier m, existe un n ~ m tal que

k
a E(-n

x, k An)
-,-+n n
n

para algn k ~ n

Por lo tanto:

n . a)) < An

1 - n . a))

,,

< An O

1.

Teorema

Existe un conjunto

(i) Si a
(1 -

f/. Ao

Ao(

e R) no contable y de medida nula tal que

entonces las sucesiones

n . a)); n = 1,2,3,)

(ii) Si a E Ao, entonces

(1-

n . a)); n

Evidentemente,
Demostracin.

(n a)); n = 1,2,3,")

son ambas moderadas.

o bien (n . a)); n

= 1,2,3,"

= 1,2,3,)

no es moderada,

.) no es moderada.

el conjunto Ao es nico.

(i) En el lema 3, tomando

contable y de medida nula tal que:

si a f/. Al entonces 1/(n2) ~ na))
por lo tanto las sucesiones (n

a)); n

son ambas moderadas.

(ii) En el lema 3, tomando Ak
medida nula tal que

AA:

= 1/(k

~ 1-(1/n2)

= 1,2,3,)

= (~)k,

2),

existe un conjunto Al no

paran suficientemente grande,

y (1-

n a)); n

= 1,2,3,")

existe un conjunto A2 no contable y de

YU TAKEUCHI

28

a)) < (~)n,

Si a E A2 entonces el conjunto {n E NIn

,[1- n . a)]

a)); n = 1,2,3,),

es infinito. Por lo tanto una de las sucesiones (n

< (~)n}
,

(1 - n . a)); n = 1,2,3, ) no es moderada.

(iii) Sea Ao = {a E ~In

a))n, ,(1 - n. a)))n

no es moderada} entonces:

por lo tanto se tiene que el conjunto Ao no es contable

Cololario..

Existe

rt e entonces
(J E e entonces

(i) Si (J

(ii) Si

e no

un conjunto

n (J == n.

es de medida nula

la sucesin (Isen n . (JI; n = 1,2,3,

) es moderada.

la sucesin .Osen n . (Jln = 1,2,3,

) no es moderada.

a)) . 11"

(moda)

! tenemos:

O ~ n . a)) . 11" <

11"

Por lo tanto se tiene que

IsennOI = senn
Sea:

eo =

a))

11".

11"

= sen {1- n. a))}

Ao = {01(0/1I")

11".

Ao}

donde Ao eS"elconjunto dado en el teorema anterior.

(i) Usando la desigualdad conocida:
senx>

-11"

2
-.

se obtiene:
-si n . a1I" ~ ~ entonces IsennOI ? 2n.

a)),

-si n . a))1I"? ~ entonces IsennOI ? 2 {1 - n . a))},

Por lo tanto, si

contable y de medida nula tal que

En el teorema anterior, tomando a =

Demostracin:.

rt e

o la sucesin (Isenn

01; n = 1,2,3,)

(ii) Tenemos:
IsennOI = senn

. a . 11" ~ n . a . 11",

es moderada.

SUCESIONES MODERADAS

IsennOI = sen {1- n . a)}

eo

Por lo tanto, si () E
moderada.

29

$ {1- n . a)} . 11".

.11"

entonces la sucesin Osen n . 01; n = 1,2,3,)

no es

Segn el teorema de aproximacin de Dirichlet, dado a E R existen

n(j) E N,

(j = 1,2,3,)

k(j) E Z

tales que

n(j) . a - k(j)

--+

(j

--+

00).

(6)

Sea:
= n(j) . a

E(j)

entonces E(j)

--->

(j

se observa que

= { n(j) . a
si E(j) ~ O,
n(j) . a - 1 si E(j) < O.

E(j)

Podemos expresar (6)

00),

--->

(7)

- k(j)

(7) como sigue:

==

n(j) . a

E(j)

-+

O (modZ)

Sea Ao el conjunto dado en el teorema 1 ; si a rt Ao entonces las sucesiones

(((n a; n

= 1,2,3,)

cualquier

> 1 tenemos :

y (1- n a); n

n . a . r

= 1,2,3,)

son moderadas, luego, para

,{1 - n. a)} . rn

--+ 00

-+

+00.

Por lo tanto se debe tener la siguiente condicon :

IE(j)I

rn(j) -+

+00

(j

--+

00)

para cualquier

Recprocamente, si a E Ao entoces existen r

naturales (n(j) : j = 1,2,3,)
n(j) . a

r>

1.

(8)

> 1 Y una sucesin de nmeros

tales que

==

E(j)

IE(j)1 . r"U)

-+

--+

O (mod

O cuando

Z),

-+

00

(9)

YU TAKEUCHI

30

Estructura

de los conjuntos

Ao Y~ - Ao.

el) a E Ao si y slo si -a E Ao.

En efecto, tenemos:
na::::((n.a

(mod

Z)

luego:

= -(na)::::

n(-a)

1- ((n a

(mod

Z)

Por lo tanto tenemos:

a = 1- ((n. a.

((-n

Por la definicin del conjunto Ao se obtiene el enunciado.

e2) Sea m E Zj si a E Ao, entonces ma E Ao. Si a ~ Ao entonces m . a ~ Ao.

: Por (el), basta suponer que m E N.

Demostracin.

(i) Supongamos

que a ~ Ao, entonces las sucesiones (((n . a; n = 1,2,3, ... ) y

(1 - ((n . aj n = 1,2,3,'
(((nma,

= 1,2,3,"')

.. ) son moderadas,
y

(l-nmaj

luego las subsucesiones

= 1,2,3,.)

son tambin modera-

das.
Por lo tanto se tiene que m . a ~ Ao.
(ii) Supongamos
n(j) . a ::::E(j)

--+

que a E Ao
O

existen r

> 1 Y n(j) E N (j = 1,2,3,"')

con

(mod Z) tales que

IE(j)I'

rn(j)

--+

O cuando

--+ 00,

Tenemos:
n(j)(ma)=m.n(j)a::::m.E(j)

(mod

Z),

y
1m

E(j)1 . rn(j)

por lo tanto se tiene que m . a E Ao

--+

O cuando

--+ 00,

e3) Sea q E Qj si a E Ao, entonces q' a E Ao ; si a ~ Ao entonces q . a ~ Ao.

Demostracin:.

Supongamos que q

= ~' con m, m' EN.

SUCESIONES MODERADAS

31

Si a E Ao entoces ~. a E Ao, puesto que ~ .a rt Ao implicarla

(por C2.

Nuevamente

m . ~'. a

= a rt Ao

Por (C2) se tiene que:

m'
1
_. a = m' -a E Ao.
m

De la misma manera

que si a rt Ao entonces

se demuestra

~' . a rt Ao

C4) Sea q E Q; si a E Ao entonces a + q E Ao ; si a rt Ao entonces

Sea q =

Demostracin:.

que a

Supongamos

r;::

+q

+ m' ==

a + q rt Ao.

con m, m' EN.

=a

+ r;::

m . (a
Pero como m a

O.

+ q)

E Ao, entonces

= m .a

+ m'

m . a (mod Z), entonces

por (C2) tenemos

E

que

Ao.

m . a E Ao, por lo tanto se tiene

que a E Ao.
De la misma manera se demuestra
Ejemplo

5 .. Un nmero irracional

Sea (Ni, N2, N3,'"

,N",)

frmula de recurrencia

que si a

+q

que pertenece

la sucesin

rt Ao entonces a rt Ao

O.

a Ao.

de nmeros

naturales

dada

por la

Nk+i=2N

Ni=l,

(k=1,2,3,.),

por ejemplo:

Ni = 1,

N2

= 2,

N3 = 4,

N4 = 16,

N5 = 65536,

etc.

Sea

entonces

Si r

= ..j2, como ..j2 > 1, entonces:

2
1 Nj+l
2)

N
j.

+ ...

-)21

Nj+l

+ ... ) . (r)

;; N '+1+2/'1'

I: (v2)

J _

por lo tanto, se tiene que a E Ao. Evidentemente,

2Nj

O (j -

+00)

a es un nmero irracional

32

YU TAKEUCHI

Una aplicacin.

L::=1 sen nO, L::=1 cosnO son divergentes,

Sabemos que las series

pero sus

sumas parciales son acotadas para O :f:. O:

1

1'"
L...J

sen n . 01

n=1

s Isen -

. Ol'

(10)

I Leos

n . 01

n=1

s Isen 2
1

01

Se puede generalizar esta propiedad para otras funciones, como sigue:

sea I(:c) una funcin

211"

peridica;

desarrollndola

00

00

I(:c) = Lbk

(,

. senk:c

I(:c) = Lak

k=1

lim

rt.

. cosk:c),

(11)

k=O

Supongamos adicionalmente

si O

en serie de Fourier:

que

tfibJ

< 1 (,

< 1)

lim ~

(12)

90 (90 es el conjunto del corolario del teorema 1 ), entonces las sumas

parciales de la serie

L::=1 I(n

. O) son acotadas, esto es: existe una constante

M (O) tal que

N

I L I(n

. 0)1

n=1

s M(O)

para todo

N EN.

(13)

En efecto, de (10) y (11) tenemos:

N

IL

I( n 0)1 = I L

n=1
00

sL

k=1

Si O

rt.

90,

moderada

entonces

k=1
N

Ihl

~. O

rt.

90,

bk . L sen nk . 01
n=1

:5 2: Ibkl
00

L sennkOI
n=1

k=1

1
[sen

(14)

k-/I

TI

luego la sucesin (Isenk;/I;k

= 1,2,3,)

, asi :
lim

k-oo

Como lim

00

\.t"ibJ

kO
Isen -2-1

= 1.

< 1, entonces la ltima serie de (14) converge; tomando

1

2: Ib llsen T I
00

M(O) =

k=1

Id

es

SUCESIONES

se obtiene la desigualdad

MODERADAS

33

(13).

Como un caso particular,

sea u(r, O) una funcin armnica en el crculo unitario,

donde (r, O) son las coordenadas polares. Si sta es contnua sobre la circunferencia
unitaria (r = 1) entonces sabemos que la funcin u(r, O) satisface la codicin (12)
en el interior del circulo (r

< 1). Por lo tanto, para r < 1, O r/. eo las sumas

parciales de la serie

E u(r,nO)
00

n=l

son acotadas.
REFERENCIAS
1. Takeuchi Y., Estwdi .,temtico
de alguna. ,uce.ione"
Matemtica,
enseanza universiteria, No.20 (1981), pgs 3-74.
2. Takehuchi Y., Movimiento
de la poblacin con jluctuantu
p.eudoaleatorio',
Integracin
(UIS) vol 6 No.2 (1988), pgs 41-80.
3. Takeuchi Y., Tema. de 6Ucuione. JI, Notas del seminario, 1992 ..