y=x−⌊x⌋y = x - \lfloor x \rfloor

Gráfica de la parte fraccionaria y=x−⌊x⌋y = x - \lfloor x \rfloor (onda de diente de sierra)

y=x−⌊x⌋y = x - \lfloor x \rfloor extrae la parte fraccionaria de xx, y suele escribirse {x}\{x\}1. Restar la función suelo ⌊x⌋\lfloor x \rfloor, el mayor entero que no supera a xx, quita la parte entera y deja atrás la fracción.

xx⌊x⌋\lfloor x \rfloorx−⌊x⌋x - \lfloor x \rfloor
2.32.3220.30.3
555500
−1.2-1.2−2-20.80.8

Para un número negativo la función suelo devuelve el entero de abajo, así que el resultado no es nunca negativo. Que la parte fraccionaria de −1.2-1.2 sea 0.80.8 choca un poco con la intuición, de modo que conviene señalarlo.

Dominio y rango

El dominio es el conjunto de todos los números reales y el rango es 0≤y<10 \leq y < 1. El valor no llega nunca a 11.

Periodicidad y forma

La función tiene período 11, con {x+1}={x}\{x + 1\} = \{x\}. En cada intervalo entre enteros consecutivos es una recta de pendiente 11.

y=x−n(n≤x<n+1)y = x - n \quad (n \leq x < n+1)

Arranca en 00 cuando x=nx = n, sube en línea recta y se acerca a 11 justo antes del entero siguiente. Que esa forma se repita es la razón de que la gráfica se llame onda de diente de sierra.

Discontinuidades y saltos

La función es discontinua en todos los enteros. Al acercarse a un entero nn por la izquierda el valor tiende a 11, pero en x=nx = n se reinicia a 00. El salto es, por tanto, de −1-1: la curva cae de vuelta al suelo justo antes de tocar el techo. Cada peldaño incluye su extremo izquierdo, donde el valor es 00, y excluye el derecho.

Que la función suelo sea continua por la derecha se traslada directamente a esta.

Relación con otras funciones

  • La parte fraccionaria se construye con la función suelo y coincide con x mod 1x \bmod 1
  • El valor es 00 exactamente cuando xx es entero
  • Escribir ⌊x⌋=x−{x}\lfloor x \rfloor = x - \{x\} recupera la función suelo a partir de la parte fraccionaria

Serie de Fourier

En los puntos no enteros la función viene dada por la serie siguiente.

x−⌊x⌋=12−1π∑n=1∞sin⁡(2πnx)nx - \lfloor x \rfloor = \frac{1}{2} - \frac{1}{\pi}\sum_{n=1}^{\infty}\frac{\sin(2\pi n x)}{n}

El término constante 12\dfrac{1}{2} es la altura media a lo largo de un período. A diferencia de una onda cuadrada, esta contiene también armónicos pares, y los coeficientes decaen como 1n\dfrac{1}{n}. Como la forma de onda tiene saltos, la convergencia es lenta y las sumas parciales muestran el fenómeno de Gibbs.

Aplicaciones

  • La forma de onda del oscilador de un sintetizador
  • El acumulador de fase, que hace avanzar una fase repetidamente de 00 a 11
  • Los cálculos con restos en general

Contener todos los armónicos le da un timbre brillante, lo que la convierte en punto de partida predilecto de la síntesis sustractiva, en la que un filtro talla el sonido.

  1. Sawtooth wave, Wikipedia