y=xsin⁡1xy = x\sin\dfrac{1}{x}

Gráfica de la función y=xsin⁡1xy = x\sin\dfrac{1}{x}

y=xsin⁡1xy = x\sin\dfrac{1}{x} multiplica sin⁡1x\sin\dfrac{1}{x} por xx. Ese factor amortigua la amplitud, así que la oscilación salvaje de cerca del origen queda aplastada hasta cero junto con su altura. Es el teorema del sándwich convertido en forma, y también el ejemplo habitual de que la continuidad no garantiza la derivabilidad.

Dominio y simetría

El dominio es x≠0x \neq 0. La función resulta ser par.

f(−x)=(−x)sin⁡(−1x)=xsin⁡1x=f(x)f(-x) = (-x)\sin\left(-\frac{1}{x}\right) = x\sin\frac{1}{x} = f(x)

La gráfica es, por tanto, simétrica respecto del eje yy, exactamente como predice la regla de que el producto de dos funciones impares es par.

La compresión

De ∣sin⁡1x∣≤1\left|\sin\dfrac{1}{x}\right| \leq 1 se sigue la acotación siguiente1.

−∣x∣≤xsin⁡1x≤∣x∣-|x| \leq x\sin\frac{1}{x} \leq |x|

La gráfica queda así confinada dentro de la cuña que forman las rectas y=xy = x e y=−xy = -x. Apretada hacia 00 por ambos lados, el límite cuando x→0x \to 0 es 00. La oscilación en sí no se detiene nunca y su frecuencia no baja; lo único que se desvanece es su amplitud. La curva toca los lados de la cuña en x=2(2n+1)πx = \dfrac{2}{(2n+1)\pi}, donde ∣sin⁡1x∣=1\left|\sin\dfrac{1}{x}\right| = 1.

Continua pero no derivable

Definir f(0)=0f(0) = 0 hace la función continua en el origen, ya que ese es el límite. No es derivable allí, sin embargo, porque el cociente incremental se comporta así.

f(h)−f(0)h=hsin⁡1hh=sin⁡1h\frac{f(h) - f(0)}{h} = \frac{h\sin\dfrac{1}{h}}{h} = \sin\frac{1}{h}

Esto no tiene límite cuando h→0h \to 0. Una línea de cálculo separa la continuidad de la derivabilidad.

FunciónContinuidad en el origenDerivabilidad en el origen
sin⁡1x\sin\dfrac{1}{x}no puede hacerse continuani planteársela
xsin⁡1xx\sin\dfrac{1}{x}continuano derivable
x2sin⁡1xx^2\sin\dfrac{1}{x}continuaderivable, con derivada discontinua

Subir la potencia del factor xx domestica el comportamiento en el origen un escalón cada vez.

Comportamiento a lo lejos

Poner u=1xu = \dfrac{1}{x} muestra que la función no es otra cosa que la función sinc compuesta con una recíproca.

xsin⁡1x=sin⁡uux\sin\frac{1}{x} = \frac{\sin u}{u}

Como x→±∞x \to \pm\infty corresponde a u→0u \to 0, resulta y→1y \to 1 y la recta y=1y = 1 es una asíntota horizontal. Todas las infinitas oscilaciones que la sinc reparte a lo largo de u>0u > 0 quedan comprimidas en el entorno inmediato del origen.

Rango y extremos

Para u≠0u \neq 0 siempre se tiene sin⁡uu<1\dfrac{\sin u}{u} < 1, y su primer mínimo ocurre en la solución de tan⁡u=u\tan u = u cercana a u≈4.4934u \approx 4.4934, donde el valor es de unos −0.2172-0.2172. Trasladándolo de vuelta, el mínimo de nuestra función vale unos −0.2172-0.2172, alcanzado en x=14.4934≈0.2225x = \dfrac{1}{4.4934} \approx 0.2225, y el rango es −0.2172≤y<1-0.2172 \leq y < 1. El valor 11 no se alcanza nunca, precisamente porque sin⁡uu<1\dfrac{\sin u}{u} < 1 se cumple siempre.

Ceros

Los ceros están en x=1nπx = \dfrac{1}{n\pi}, donde sin⁡1x=0\sin\dfrac{1}{x} = 0, exactamente los mismos que los de sin⁡1x\sin\dfrac{1}{x}. Multiplicar por xx no mueve ninguno, y siguen acumulándose en el origen.

Importancia

En un primer curso de análisis, esta función es la primera aplicación habitual del teorema del sándwich. Es al mismo tiempo una curva concreta que es continua en un punto y no tiene allí tangente, lo que hace visible que la derivabilidad es una condición más fuerte que la continuidad.

  1. Squeeze theorem, Wikipedia