4
$\begingroup$

And how to express $\{ x \} = x - \lfloor x \rfloor$ as function of $sin(x)$ and $sign(x)$?

  • 2
    The infinitely many jump discontinuities in the floor function preclude the possibility of a Taylor series for it.2010-12-20
  • 2
    As for the second one: $\frac12-\frac1{\pi}\arctan(\cot(\pi x))$2010-12-20
  • 1
    [This](http://mathworld.wolfram.com/FourierSeriesSawtoothWave.html) might also interest you.2010-12-20

1 Answers 1

13

To express ⌊x⌋ in terms of the Fourier series for $x \in \mathbb{R}/\mathbb{Z}$ let f(x) := x - ⌊x⌋, which is easier to compute the Fourier series for. Hence, start by showing that f(x) is periodic. Given any integer $n \in \mathbb{Z}$.

$$\begin{align}f(x) &= x - ⌊x⌋ \\&= x + n - n - ⌊x⌋\\ &= x + n - ⌊x + n⌋ \\&= f(x+1\times n)\end{align}$$

That is, periodic with fundamental period $T_0 = 1$, and $\omega_0 = \frac{2\pi}{T_0} = 2\pi$. In particular, $f(x)=x$ at $0 \leq x < 1$.

A plot of f(x)

The periodic function $f(x)$ can be expressed by the Trigonometric Fourier series,

$$\begin{align}f(x) &= a_0 + \sum_{m=1}^{\infty} (a_{m}\cos(m\omega_0 x) + b_{m}\sin(m\omega_0 x))\\ &= a_0 + \sum_{m=1}^{\infty} (a_{m}\cos(2\pi mx) + b_{m}\sin(2\pi m x))\end{align}$$

where the coefficients are calculated as follows

$$\begin{align}a_0 &= \frac{1}{T_0}\int_{}f(x)dx = \int_{0}^{1}x dx = \frac{1}{2} \\a_m &= \frac{2}{T_0}\int_{}f(x)\cos(m 2\pi x)dx = 0 \\b_m &= \frac{2}{T_0}\int_{}f(x)\sin(m 2\pi x)dx = -\frac{1}{\pi m}\end{align}$$

Hint. Use integration by parts...

Plot of $f(x) = a_0 + \sum_{m=1}^{10} b_m\sin(2\pi m x)$, (summation from m=1 to 10).

alt text

Now that we obtained the Fourier series representation of f(x) = x - ⌊x⌋

Then ⌊x⌋ $ = x - f(x) = x - 0.5 + \frac{1}{\pi}\sum_{m=1}^{\infty} \frac{\sin(2\pi m x)}{m}$.

A plot of ⌊x⌋ (using finite number of terms as above)

alt text

Notice also, it is valid only for $x \in \mathbb{R}/\mathbb{Z}$. Because although ⌊x⌋ is continuous on $\mathbb{R}/\mathbb{Z}$. It has a jump of one unit at each integer.

⌊x⌋ can also be represented as a summation of shifted unit step functions u(x) = Sign(x)/2 + 0.5, in particular

$$⌊x⌋ = \sum_{m=1}^{\infty}(u(x-m)-u(-x-m+1))$$

  • 1
    @Yonatan N: Thank you :)2010-12-20
  • 0
    @Weann: You should use `\sin` and `\cos` (instead of just `sin` and `cos`) inside math formulas so that they are typeset correctly.2010-12-20
  • 0
    @Arturo Magidin: Fixed. Thank you.2010-12-20