25
$\begingroup$

The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula $$ \int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu + 1}\|\mathbf a\|^{-\nu}J_\nu(\|\mathbf a\|), \qquad\nu=\frac n2 -1, \tag1 $$ found e.g. in [1, p. 198] or [2, p. 154].

Does anyone here know earlier references, and perhaps who first published this formula?

According to Watson [3, p. 9] the case n=2, $$ \frac1{2\pi}\int_{S^1}e^{ia\cos\theta}d\theta=J_0(a) \tag2 $$ goes back to Parseval [4], but I am mainly curious about the case n=3, $$ \frac1{4\pi}\int_{S^2}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u)=\frac{\sin\|\mathbf a\|}{\|\mathbf a\|}. \tag3 $$

  1. I. M. Gel'fand & G. E. Shilov, Generalized functions, vol. 1, Academic Press (1964).

  2. E. M. Stein & G. Weiss, Introduction to Fourier analysis on Euclidean spaces, Princeton UP (1971).

  3. G. N. Watson, A treatise on the theory of Bessel functions, Cambridge UP (1922)

  4. M. A. Parseval, Mémoire sur les séries et sur l'intégration complète (etc.) (1805)

Improve this question
$\endgroup$
11
  • 2
    $\begingroup$ On my opinion, this is an ill-defined question: who evaluated an elementary integral for the first time. Euler, who introduced $\exp$ could do this, without giving it the name "Fourier transform". Parseval [4] did a more complicated integral... $\endgroup$
    – Alexandre Eremenko
    Commented Nov 23, 2013 at 14:05
  • 2
    $\begingroup$ @AlexandreEremenko That's exactly what I'd like to know: Do we have evidence that Euler could do (3)? (It's not that elementary...) Then OK, I replaced "first derived" by "first published". Note that Watson or Encykl. Math. Wiss. attribute scores of formulas -- but not this one, as far as I could find. $\endgroup$
    – Francois Ziegler
    Commented Nov 23, 2013 at 15:32
  • 11
    $\begingroup$ Actually the $n=3$ case is entirely elementary, using a theorem of Archimedes: the projection $(r \cos \theta, r\sin \theta, z) \mapsto (\cos \theta, \sin \theta, z)$ from $S^2$ to the cylinder $\{x^2+y^2=1, \; |z|\leq 1\}$ preserves areas. Thus the integral is just $\frac12 \int_{-1}^1 e^{i\|a\|z} dz$, which Euler certainly knew was ${\mathop {\rm sinc}}(\|a\|)$. $\endgroup$
    – Noam D. Elkies
    Commented Nov 30, 2013 at 17:09
  • $\begingroup$ @NoamD.Elkies I agree that the formula is elementary modulo Archimedes, I'd just be surprised to see Poisson state it (below, item 2.) without at least as much of an argument as you have given -- if this was the first time it appeared. Instead, he justifies it by calling it a "known formula". To me this suggests there may be an earlier occurrence, and this "first" is what I'm looking for. But maybe it doesn't exist. $\endgroup$
    – Francois Ziegler
    Commented Dec 1, 2013 at 2:11
  • $\begingroup$ $S^n$ is coadjoint orbit, so you can see in general case Kirillov's character formula en.wikipedia.org/wiki/Kirillov_character_formula $\endgroup$
    – user21574
    Commented May 5, 2014 at 7:02

3 Answers 3

Reset to default
18
$\begingroup$

At the risk of answering my own question, here is what I have since found:

  1. For general $n$, formula (1) seems to occur first on p. 177 of S. Bochner, Summation of multiple Fourier series by spherical means, Trans. AMS 40 (1936) 175-207. Bochner exposes it again on pp. 73-74 of Fourier Transforms (Princeton UP 1949).

  2. For $n=3$, Burkhardt (Trigonometrische Reihen und Integrale bis etwa 1850, Encykl. Math. Wiss. II A 12 (1916) 819-1354, page 1258) claims to find formula (3) in Poisson's Mémoire sur l'intégration de quelques équations linéaires aux différences partielles, et particulièrement de l'équation générale du mouvement des fluides élastiques, Mém. Acad. Roy. Sci. Inst. France 3 (1820) 121-176, page 134, in the form $$ \mathfrak{Sin}\,pt= \frac{pt}{2\pi}\int_0^{2\pi}\int_0^\pi\exp\{t(g\cos u+h\sin u\sin v+k\sin u\cos v)\}\sin u\,du\,dv $$ where $p=\sqrt{\smash[b]{g^2+h^2+k^2}}$, $\mathfrak{Sin}$ is a hyperbolic function, and Burkhardt is missing a factor of 2. However... I'm not able to find it on that page of Poisson. On the other hand Poisson states it as "known" in a later memoir (1831, page 558). Perhaps someone will have better luck locating the original (3) -- in Poisson or elsewhere?

Edit: Aha, the problem was simply a typo in Burkhardt. Formula (3) indeed appears in Poisson's above-cited Mémoire, but on page 174 instead of 134, in the form $$ \int\int e^{at(g\cos u+h\sin u\sin v+k\sin u\cos v)}\sin u\,du\,dv = 2\pi\frac{e^{atp}-e^{-atp}}{atp}. $$

Improve this answer
$\endgroup$
1
  • $\begingroup$ I think this question is related to the question of a Fourier invariant (up to scaling) representation of spherical harmonics on the surface of the unit sphere. Something like the Fourier invariant (up to scaling) Hermite polynomials for the surface of the unit sphere. I am not as mathematically sophisticated, but I think the answer is Laguerre polynomials expanded in the usual legendre polynomials? $\endgroup$
    – v217
    Commented Oct 14, 2016 at 9:11
2
$\begingroup$

Sonin computed (according to Fichtenholz, but no reference given) $$\int\limits_{\sum_{k=1}^n x_k^2\leq 1}\exp(\langle a,x\rangle) dx_1...dx_n.$$ Fichtenholz did research in multivariate integration, so he knew all these things from folklore, I guess. enter image description here

Improve this answer
$\endgroup$
6
  • $\begingroup$ What year is this? $\endgroup$
    – Vincent
    Commented Mar 23, 2021 at 16:36
  • $\begingroup$ O wait, I see you said something about that in the comment to the other answer: at least before 1915 $\endgroup$
    – Vincent
    Commented Mar 23, 2021 at 16:36
  • $\begingroup$ Sonin's last listed publication appeared in 1903, so probably even earlier: zbmath.org/?q=au%3A+sonine $\endgroup$
    – Dima Pasechnik
    Commented Mar 23, 2021 at 16:55
  • $\begingroup$ Thanks! This is not quite (1) but indeed, strongly suggests that Sonine may have had (1) in whatever source Fichtenholz is drawing from. Too bad he doesn’t seem to say! (What’s “[395, 14)]”?) $\endgroup$
    – Francois Ziegler
    Commented Mar 23, 2021 at 19:55
  • $\begingroup$ [395,14)] is a local reference, to vol II, where $J_v$ (Bessel function/бесселева функция) is defined. $\endgroup$
    – Dima Pasechnik
    Commented Mar 23, 2021 at 20:06
1
$\begingroup$

The answer is:

Weyl, H. 1919, Annalen der Physik, 365, 481

doi: 10.1002/andp.19193652104

Though it's difficult to find in there if you don't understand German

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thank you. But, unless I missed it, Weyl’s paper only considers the cases n = 2, 3 done before by Parseval and Poisson, no? $\endgroup$
    – Francois Ziegler
    Commented Apr 3, 2020 at 21:46
  • $\begingroup$ See my comment to the question - it's earlier than that, due to N.Sonin, by at least 4 years (N.Sonin died in 1915). $\endgroup$
    – Dima Pasechnik
    Commented Mar 23, 2021 at 11:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .