ANÁLISIS MATEMÁTICO II

Ximena Barajas 2150372

Octubre 16, 2018

¿La composición de dos funciones de variación acotada es de variación acotada? Si la respuesta es no, encuentre una
condición que garantice que si f y g son funciones de variación acotada, entonces f ◦ g también lo es.

Solución

Rta: falso.

Contraejemplo:

f, g:[0, 1] → R
√
f (x) = (2 x,
x2 sen2 ( x1 ), si x 6= 0,
g(x) =
0, si x = 0.
• f es de variación acotada ya que es creciente en [0, 1].
• Para g:

|g 0 (x)| = 2xsen2 ( x1 ) + x2 2sen( x1 )cos( x1 )(− x12 ) 



 
= 2xsen2 ( x1 ) − 2sen( x1 )cos( x1 )

≤ 2 + 2 = 4.

Por tanto, como g tiene derivada acotada en [0, 1], g también es de variación acotada.
  
x sen( x1 ) , x 6= 0,
• (f ◦ g)(x) =
0, x = 0.
no es de variación acotada.
 
Sea h(x) = x sen( x1 ) , y

1 1
(xn ), x2n = nπ , x2n−1 = (2n+1) π , entonces se tiene:
2


 0, n, par
sen( x1n ) = 1, n = 2k − 1, k − par , y
−1, n = 2k − 1, k − impar



0, n − par
h(xn ) =
xn , n − impar

Pm
• n=1 |h(xn ) − h(xn−1 )| = x1 + x1 + x3 + x3 + ... + xm−1 + |sen(1) − xm−1 |

1
 = 2x1 + 2x3 + ... + xm−1 + |sen(1) − xm−1 |

P m−2 1
=2 2
i=1 (2i+1) π + xm−1 + |sen(1) − xm−1 |
2

P m−2 1
≥ 2
i=1 (2i+1) π → ∞, m → ∞, con m par.
2

Pm
• n=1 |h(xn ) − h(xn−1 )| = x1 + x1 + x3 + x3 + ... + xm−2 + xm−2 + sen(1)

= 2x1 + 2x3 + ... + 2xm−2 + sen(1)

P m−1 1
=2 2
i=1 (2i+1) π + sen(1)
2

P m−1 1
≥ 2
i=1 (2i+1) π → ∞, m → ∞, con m impar.
2

Pm
Con lo anterior, n=1 |∆hn | no está acotada para todo m y por tanto h no es de variación acotada.

Condición: Si f : [a, b] → R es de Lipschitz y g : [c, d] → R con g([c, d]) ⊆ [a, b] es de variación acotada, entonces
(f ◦ g) : [c, d] → R es de variación acotada.

Demostración : Pongamos que f tenga constante de Lipschitz L, y sea P = {c = x0 , x1 , ..., xn = d } una partición del
intervalo [c, d], entonces:
Pn Pn
k=1 |∆(f ◦ g)k | = k=1 |(f ◦ g)(xk ) − (f ◦ g)(xk−1 )|

= |f (g(x1 )) − f (g(x0 ))| + ... + |f (g(xn )) − f (g(xn−1 ))|

≤ L |g(x1 ) − g(x0 )| + ... + L |g(xn ) − g(xn−1 )|, esto por f tener constante L

≤ L(|g(x1 ) − g(x0 )| + ... + |g(xn ) − g(xn−1 )|)

Pn
≤L k=1 |∆gk | ≤ LC (para algún C > 0), esto por ser g de variación acotada.

De lo anterior, f ◦ g es de variación acotada.