Las funciones sen 1x , cos 1x

y otros ejemplos relacionados c

Juan Carlos Ponce Campuzano
j.ponce@uq.edu.au

UQ
13 de abril de 2015

Contenido
1. Introduccin

2. Anlisis

3. Ejemplos

11

3.1. Ejemplos generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Referencias

14
17

1.

Introduccin

Consideremos la funcin f : R \ {0} R definida por

1
f ( x ) = sen .
x

(1)

Algunas las propiedades de f son las siguientes:

1. f es una funcin impar.
2. f es acotada. De hecho, 1 f ( x ) 1 para todo x R \ {0}.
1
para k Z diferente de cero; mientras que, f ( x ) = 1
3. f ( x ) = 0 si y slo si x = k
si y slo si x = (4k+21) para k Z y f ( x ) = 1 si y slo si x = (4k21) para
k Z. La grfica de f se pueden observar en la Figura 1, en donde se puede
apreciar que oscila entre 1 y 1.

Figura 1: Grfica de f ( x ) = sen 1x

Adems, estas oscilaciones se incrementan mientras x se aproxima a 0, ya sea

por la derecha o por la izquierda.
4. f es una funcin continua en R \ {0}.
5. f es infinitamente diferenciable en R \ {0}. En particular, tenemos que f 0 : R \
{0} R est dada por
1
1
f 0 ( x ) = 2 cos .
x
x
Es claro que, para > 0, f 0 es no acotada en los intervalos (, 0) y (0, ).
5

Figura 2: Grfica de f 0 ( x ) = x12 cos 1x

6. Por ltimo tenemos que el lmite lmx0 f ( x ), no existe. Mientras que

lm f ( x ) = 0.

Consideremos ahora la funcin g : R \ {0} R definida por

1
g( x ) = cos .
x

Figura 3: Grfica de g( x ) = cos 1x

Algunas de las propiedades de esta funcin son las siguientes:

1. g es una funcin par.
6

(2)

2. g es acotada. De hecho, 1 f ( x ) 1 y 1 g( x ) 1 para todo x R \ {0}.

3. g( x ) = 0 si y slo si x = (2k+21) para k Z; mientras que, g( x ) = 1 si y slo si
1
x = 2k
para k Z diferente de cero y g( x ) = 1 si y slo si x = (2k+11) para
k Z.
La grfica de la funcin g se pueden observar en la Figura 3, en donde se puede
apreciar que oscila entre 1 y 1. Adems, estas oscilaciones incrementan mientras nos aproximamos 0 ya sea por la derecha o por la izquierda.
4. g es continua en R \ {0}.
5. g es infinitamente diferenciable en R \ {0}. En particular, tenemos que g0 : R \
{0} R estn dadas por
1
1
g0 ( x ) = 2 sen .
x
x
Es claro que, para > 0, g0 es no acotada en los intervalos (, 0) y (0, ).

Figura 4: Grfica de g0 ( x ) =

1
x2

sen 1x

6. Por ltimo tenemos que el lmite lmx0 g( x ) no existe. Mientras que

lm g( x ) = 1.

2.

Anlisis

En la seccin anterior mencionamos algunas propiedades de las funciones f ( x ) =

sen 1/x y g( x ) = cos 1/x, con x 6= 0. Con base en estas dos funciones, es posible
dar algunos ejemplos de funciones cuyas propiedades son de inters para el anlisis
7

matemtico. Antes de dar los ejemplos, a continuacin se establecen algunos hechos

relacionados con el Teorema Fundamental del Clculo (TFC).
Sea r0 R. Consideremos la funcin f 0 : R R definidas de la siguiente forma

f ( x ), si x 6= 0;
f0 (x) =
(3)
r0 , si x = 0
donde f ( x ) = sen 1/x. No es difcil demostrar que, para cada a, b R con a < b, la
funcin f 0 es Riemann integrable en [ a, b]. Esto implica que la funcin F0 : R R
dada por la expresin
F0 ( x ) =

Z
0

f 0 (t)dt

(4)

est bien definida. Cabe sealar que esta expresin depende del parmetro r0 .
Asimismo, observemos que las funciones f 0 y F0 estn relacionados por el TFC. Sea
c R. Por una parte tenemos que, si c 6= 0, f 0 es continua en c. Entonces la funcin
F0 es diferenciable en c y adems F 0 (c) = f 0 (c) = f (c), por la primera parte del TFC.
Por otra parte, si c = 0, aqu surge un problema debido a que no es claro cual es
el comportamiento de las funciones f 0 y F0 cerca del 0. El siguiente resultado nos
proporciona informacin al respecto:
Proposicin 2.1. Sean f 0 y F0 las funciones definidas en las expresiones (3) y (4). Entonces
se cumple lo siguiente:
1. f 0 no es continua en 0. De hecho, los lmites
lm f 0 ( x ) y

x 0+

lm f 0 ( x )

x 0

no existen.
2. F0 es diferenciable en 0 y adems F00 (0) = 0, es decir
1
lm
x 0 x

Z
0

1
sen dt = 0.
t

Demostracin. Para demostrar el primer inciso, sean

xn =

1
n

yn =
8

2
(4n + 1)

para n N. Entonces ( xn ) y (yn ) son dos sucesiones de nmeros reales positivos

tales que xn 0 y yn 0. Pero f ( xn ) = 0 y f (yn ) = 1 para todo n N. As que
f ( xn ) 0 mientras que f (yn ) 1. De esta manera, se sigue que el lmite
lm f 0 ( x ),

no existe.

x 0+

Como f es una funcin impar, el lmite

lm f 0 ( x ),

no existe.

x 0

De esta manera, aunque f 0 ( x ) = r0 para x = 0, la funcin f 0 no es continua en 0, ya

que
lm f 0 ( x ), no existe.
x 0

Con esto queda demostrado el inciso 1.

Para demostrar el segundo inciso, sea x R tal que x > 0. Entonces
x

x
1
1
F0 ( x ) F (0) =
sen dt = lm
sen dt.
r 0+ r
t
t
0
Consideremos r R un nmero fijo, tal que 0 < r x.

Sea t = 1/u. Entonces, dado que dt = 1/u2 du, tenemos

x

1/x

1/r

1
du
u2
1/x
r
1/r
Rb
Ra
en donde hemos usado la propiedad de la integral: a f ( x )dx = b f ( x )dx.
Z

1
sen dt =
t

1
(sen u) 2 du =
u

(sen u)

Si integramos por partes obtenemos lo siguiente

Z

1/r
1/x

1
1
1
(sen u) 2 du = x2 cos r2 cos 2
u
x
r

1/r
1/x

cos u
du
u3

Por otra parte, no es difcil comprobar que

Z 1/r
Z 1/r 

1
1 2
 cos u 
( x r2 )
0
du
=
 3  du
3
u
2
1/x u
1/x
Ahora, usando la identidad (5), tenemos
Z x

Z x



Z 1/r




 2

1
1
1
cos
u
1

 lm 
 = lm  x cos r2 cos 2

sen
dt
sen
dt
du
 0





3
r 0+
r 0+
t
t
x
r
u
r
 

Z 1/r
 1/x



1 
1
cos u 
lm  x2 cos  + r2 cos  + 2 
du
r 0+
x
r
u3
1/x

Z 1/r 
 
 cos u 
2
2
lm x + r + 2
 3  du
r 0+
u
1/x
9

(5)

(6)

Considerando la expresin (6) resulta que

Z x



1

 lm ( x2 + r2 + x2 r2 ) = 2x2 .
sen
dt
 0
t  r 0+
De esta manera, se cumple que
 Z x

1

1

 2x
sen
dt
x 0
t 
para toda x (0, ). Por lo que
Z
F0 ( x ) F0 (0)
1 x
1
lm
= lm
sen dt = 0.
x 0+
x 0+ x 0
x0
t
Si remplazamos x por x, dado que la funcin seno es impar, obtenemos
Z
F0 ( x ) F0 (0)
1 x
1
lm
= lm
sen dt = 0.
x 0
x 0 x 0
x0
t
Esto ltimo demuestra que F0 es diferenciable en 0 y, adems, F00 (0) = 0.
Consideremos ahora la funcin g0 : R R definida como

g( x ), si x 6= 0;
g0 ( t ) =
r0 , si x = 0

(7)

donde f ( x ) = cos 1/x. No es difcil demostrar que, para cada a, b R con a < b,
la funcin g0 es Riemann integrable en [ a, b]. Lo cual implica que G0 : R R
establecida como
G0 ( x ) =

Z
0

g0 (t)dt

(8)

est bien definida. Asimismo, esta expresin no depende del parmetro r0 .

Podemos establecer resultados anlogos para las funciones g0 y G0 , como se hizo con
las funciones definidas en las expresiones (3) y (4). La demostracin se deja al lector.
Proposicin 2.2. Sean g0 y G0 las funciones definidas anteriormente.
1. g0 no es continua en 0. De hecho, los lmites
lm g0 ( x ) y

x 0+

lm g0 ( x )

x 0

no existen.
2. G0 es diferenciable en 0 y adems G00 (0) = 0, es decir
Z
1 x
1
lm
cos dt = 0.
x 0 x 0
t
10

3.

Ejemplos

Ejemplo 3.1. Sea f 1 : R R definida por


x sen 1x , si x 6= 0;
f 1 (t) =
0,
si x = 0.
Algunas propiedades de esta funcin son las siguientes:
1. f 1 que es una funcin par y acotada. De hecho, 1 < f 1 ( x ) < 1 para todo x R.
Para ver esto notemos que f 1 ( x ) = sen(1/x )/(1/x ) si x 6= 0 y y < sen y < y
para todo y R diferente de cero. Como lmh0 senh h = 1, se sigue que f 1 ( x )
tiende a 1 cuando x tiende a infinito o a menos infinito (ver Figura 5).

Figura 5: Grfica de f 1 ( x ) = x sen 1x

2. Las oscilaciones de la funcin f 1 , heredadas de la funcin f definida anteriormente en la ecuacin (1), se acumulan cerca del 0 debido a que | f 1 ( x )| | x |
para todo x R. En la Figura 6 se puede observar la grfica de f 1 .

Figura 6: Acercamiento de la grfica de f 1 ( x ) = x sen 1x cerca del punto (0, 0)

11

3. Notemos que f 1 es un producto de dos funciones continuas en R \ {0} y ms

an f 1 es una funcin continua en 0 porque si ( xn ) es cualquier sucesin tal que
xn 0 entonces tenemos que | f ( xn )| | xn | y por tanto f ( xn ) 0. De esta
manera, podemos afirmar que la funcin f 1 es continua en R.
4. f 1 es infinitamente diferenciable para todo x R que sea diferente de cero. En
particular, tenemos
1
1
1
1 1
cos
y f 100 ( x ) = 3 sen , para x R \ {0} .
x x
x
x
x
Es claro que, para > 0, f 10 y f 100 son funciones no acotadas en el (0, ), as como
en (, 0).
f 10 ( x ) = sen

5. f 1 no es diferenciable en 0. Esto es debido a que las derivadas por la derecha y

la izquierda de f 1 en 0 no existen, es decir
lm

x 0+

f 1 ( x ) f 1 (0)
1
= lm sen
y
x 0+
x0
x

lm

x 0

f 1 ( x ) f 1 (0)
1
= lm sen .
x 0
x0
x

no existen, como se vio en el inciso 1 de la Proposicin (2.1).

Ejemplo 3.2. Sea f 2 : R R definida por

 2
x sen 1x , si x 6= 0;
f 2 (t) =
0,
si x = 0.
Algunas propiedades de esta funcin son las siguientes:
1. f 2 es una funcin impar.
2. Para cada a R, f 2 es una funcin no acotada en el intervalo ( a, ). Esto se
sigue del hecho que
sen

1/x
1
1/x

cuando

x ,

as que
1/x
cuando x .
1/x
Adems, como f 2 es una funcin impar, tenemos que tampoco es acotada en el
intervalo (, b) para cada b R.
f 2 ( x ) = x sen

3. Las oscilaciones de la funcin f 2 ver Figura 7), heredadas de la funcin f definida anteriormente en la
(1), se acumulan de manera doble cerca del 0
 ecuacin

2
debido a que | f 2 ( x )|  x  para todo x R.
12

Figura 7: Comportamiento de la grfica de f 2 ( x ) = x2 sen 1x cerca del origen

4. f 2 es una funcin continua en R ya que f 2 ( x ) = x f 1 ( x ) para todo x R y la

funcin f 1 es continua en R.
5. f 2 es infinitamente diferenciable para todo x R que sea diferente de cero. En
particular, tenemos
1
1
1
1 2
1
1
cos
y f 200 ( x ) = 2 sen cos 2 sen ,
x
x
x x
x x
x
para x R \ {0}. Es claro que, f 20 es acotada en R \ {0} pero f 200 no es acotada
en el intervalo (0, ), as como en (, 0), para cada > 0.
f 20 ( x ) = 2x sen

6. f 2 es diferenciable en 0. De hecho,
1
f 2 ( x ) f 2 (0)
= lm x sen = 0.
x 0
x 0
x0
x
Pero f 20 no es continua en 0 porque no existe el lmite
f 20 (0) = lm

lm f 20 ( x ).
x 0

Esto es porque no existe el lmite

1
lm cos .
x 0
x
Cabe resaltar que podemos encontrar resultados anlogos para las funciones
g1 , g2 : R R definidas por

 2
x cos 1x , si x 6= 0;
x cos 1x , si x 6= 0;
g1 ( x ) =
y g2 ( x ) =
0,
si x = 0.
0,
si x = 0.
las cuales tienen propiedades similares a las funciones f 1 y f 2 , respectivamente.
13

3.1.

Ejemplos generales

En general tenemos que, para n N, si f n : R R se define por

 n
x sen 1x , si x 6= 0;
f n (x) =
0,
si x = 0.
Entonces se cumple lo siguiente:
(k)

i) Si n es par y k = n2 , entonces f n existe en R, pero no es continua en 0.

ii) Si n es impar y k =
no existe en 0.

n 1
2 ,

(k)

( k +1)

entonces f n (0) existe y es continua en R, pero f n

Por otra parte, sean a, b Z con b > 0 y R, > 0. Consideremos las funciones
Fa,b : R R y Ga,b : R R definidas por las frmulas
 a
 a
x sen x1b , si x 6= 0;
x cos x1b , si x 6= 0;
Fa,b ( x ) =
Ga,b ( x ) =
0,
si x = 0.
0,
si x = 0.
Entonces:
1. Fa,b y Ga,b son funciones acotadas en [, ] si y slo si a 0.
2. Fa,b y Ga,b son funciones continuas en 0 si y slo si a 1.
3. Por una parte tenemos que, si a 2, Fa,b y Ga,b son funciones derivables para
0
0
todo x R. En este caso, Fa,b
: R R y Ga,b
: R R estn dadas por
 a 1
ax sen x1b bx ab1 cos x1b , si x 6= 0;
0
Fa,b
(x) =
0,
si x = 0.
 a 1
ax cos x1b + bx ab1 sen x1b , si x 6= 0;
0
Ga,b ( x ) =
0,
si x = 0.
0
0
i. Fa,b
y Ga,b
son acotadas en [, ] si y slo si a 1 + b.
0
0
ii. Por ltimo, Fa,b
y Ga,b
son continuas en 0 si y slo si a 2 + b.

Los incisos i. y ii. se pueden comprobar fcilmente si observamos el comportamiento

de las funciones
1
1
bx ab1 cos b
y
bx ab1 sen b .
x
x
14

Por otra parte, si a 1, entonces Fa,b y Ga,b son funciones derivables para todo x R,
excepto el cero. Es decir, Fa,b y Ga,b no son derivables en 0.
Por ltimo veamos un par ejemplos particulares al respecto de este tipo de funciones.
Ejemplo 3.3. Sean a = 2 y b = 2. Entonces tenemos las funciones
F2,2 : R R

G2,2 : R R

definidas como

F2,2 ( x ) =

x2 sen x12 , si x 6= 0;
0,
si x = 0.


G2,2 ( x ) =

x2 cos x12 , si x 6= 0;
0,
si x = 0.

El comportamiento cerca del origen de ambas funciones se pueden apreciar en las

Figuras 8 y 9.

Figura 8: Grfica de F2,2 ( x ) = x2 sen x12

Figura 9: Grfica de G2,2 ( x ) = x2 cos x12

No es difcil demostrar que F2,2 y G2,2 son funciones derivables para todo x R.
De hecho
0
F2,2
(x) =
0
G2,2
(x) =

2x sen x12 2x cos x12 , si x 6= 0;

0,
si x = 0.

2x cos x12 + 2x sen x12 , si x 6= 0;

0,
si x = 0.

15

Las Figuras 10 y 11 muestran el comportamiento de ambas funciones cerca del cero.

0 (x)
Figura 11: Grfica de G2,2

0 (x)
Figura 10: Grfica de F2,2

0
0
Aunque las derivadas F2,2
y G2,2
existen, resulta que no son continuas en 0.
0
0
Por ltimo, sea > 0. Notemos que F2,2
G2,2
no son acotadas en [, ]. Esto es
debido al comportamiento de las funciones

2
1
cos 2
x
x

2
1
sen 2
x
x
3

las cuales no son acotadas en [, ].

16

Referencias
[1] Bartle, R. G. & Ionescu Tulcea, C. (1968). Calculus. USA: Scott, Foresman and
Company.
[2] Ghorpade, S. R. & Limaye, B. V. (2006). A Course in Calculus and Real Analysis.
Springer Science+Business Media. New York.

17