3
$\begingroup$

Fourier expansion can be used to represent any periodic function in one variable.

Closed surfaces in 3D can be built out of spherical harmonics.

Is there a similar expansion to represent a curve of any shape, like the following one?

enter image description here

  • 1
    Are you thinking of the curve as a function y(x) ? If so, then it's not a single valued function of x, so the normal elementary Fourier transform cannot be applied. If, however, you were thinking of functions ON the curve, then they'd be periodic by construction so you could Fourier transform them.2011-11-18
  • 2
    I think this may be a good candidate for migration to [math.SE]... thoughts?2011-11-18
  • 1
    A classic example to this is "epicyles" used to calculate planets trajetories in prekeplerian times. AFAIK this method is still used in in practical astronomy (directing telescopes, space flight) because it is much easier to program.2011-11-18
  • 2
    @Revo, your curve is a function of $(x(t), y(t))$, just do two Fourier expansions for those two functions2011-11-18
  • 0
    @DavidZaslavsky Why it should be moved to mathematics? Some shape in space can be built out of spherical harmonics which has so many applications, similarly the concepts of multipole moments and expansion which all have physics applications. If we can expand closed surface, why cannot we expand a closed line?2011-11-18
  • 0
    @twistor59 I never said the closed curve can be represented by a single valued function, but anyway can a double valued function be expanded in terms of some set of "orthogonal double valued functions"?2011-11-18
  • 0
    @Revo, sure, which are better known as **just do two Fourier expansions for those two functions**2011-11-18
  • 0
    You could think of the path of the curve as being in the complex plane. Then you can do the Fourier transform of that complex function.2011-11-18
  • 0
    @Revo (4 comments up): having physics applications is not a sufficient condition to be on topic on Physics.SE. I'm going ahead and migrating this.2011-11-18
  • 1
    demonstration: http://www.youtube.com/watch?v=QVuU2YCwHjw2011-11-18
  • 0
    Since Georg brought up epicycles: have a look at [this](http://www.jstor.org/pss/2691465).2011-11-19

1 Answers 1

4

As lurscher suggests in a comment, in the case of a closed curve, one could consider a periodic parametrization of the curve

$${\bf f}(\theta)~=~{\bf f}(\theta+2\pi)~\in~\mathbb{R}^2, \qquad {\bf f}(\theta)~=~(x(\theta),y(\theta)). $$

Then define Fourier coefficients in the standard way

$$ {\bf c}_n({\bf f})~:=~ \int_0^{2\pi} \frac{{\rm d}\theta}{2\pi} e^{-in\theta}~{\bf f}(\theta). $$

(The Fourier coefficients ${\bf c}_n({\bf f})$ are well-defined if the coordinate functions $x,y$ are Lebesgue integrable $x,y\in{\cal L}^1(\mathbb{R}/2\pi\mathbb{Z}).$) The Fourier series for ${\bf f}$ is vector-valued

$$\sum_{n\in\mathbb{Z}}{\bf c}_n(f) ~e^{in\theta}.$$

A similar approached works also for a closed curve in higher dimensions. In the 2 dimensional case, one may identify the plane $\mathbb{R}^2\cong \mathbb{C}$ with the complex plane, as Greg P, Mark Eichenlaub, and J.M. point out.

  • 0
    We can also think of it as just a usual complex-valued Fourier transform, since complex numbers can represent two dimensions. (I now see that Greg P pointed this out in the comments to the main question.)2011-11-18
  • 0
    One can also take $\mathbf f(\theta)=x(\theta)+i\,y(\theta)$; i.e., consider a complex-valued function instead of a vector-valued function.2011-11-19