3
$\begingroup$

General: If $f \in C^1$ is a periodic function defined over some multi-dimensional space, then it should be possible to express $f$ as a FINITE fourier series.

  1. is this true of any periodic basis?
  2. is there a way to determine the number of terms in this finite series?

Specific: I have a function that is smooth and continuous and is defined on the unit hypersphere. I want to know:

  1. is it possible to represent this function as a FINITE series in the hyperspherical harmonic basis?
  2. how many terms will it take?
  • 1
    @okj : When your function itself is a sinusoid or a linear combination of sinusoids of harmonically related frequencies, then the Fourier series has only finite non zero terms. In other words take any Fourier series and make all coefficients except some finite number of them to zero, then the resulting function is what you want.2012-01-04

1 Answers 1

2

If $f$ is a $C^1$ function, $2\pi$-periodic, defined on the real line, then $\widehat{f'}(n)=\frac 1{2\pi}\int_0^{2\pi}f'(x)e^{-2i nx}dx=-\frac 1{2\pi}\int_0^{2\pi}f(x)e^{-2inx}(-2in)dx=\frac{in}{\pi}\widehat f(n),$ so $\{n\widehat{f}(n)\}\in\ell^2(\mathbb Z)\}$. But it doesn't imply that only finitely many terms are nonzero. For example, let $\{\alpha_n\}_{n=-\infty}^{+\infty}$ a bounded sequence and $f(x)=\sum_{n=-\infty}^{+\infty}\alpha_n e^{-|n|}e^{inx}$. $f$ is $C^1$ and all the terms are not $0$, so there are a lot of function, which are $C^1$ (an in fact $C^{\infty}$ as the example shows), but all the Fourier coefficients are different from $0$.