La transformada de Fourier de la forma de volumen de la (n-1)-esfera en $\mathbf R^n$ viene dada por la conocida fórmula $$ \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 $$ que se encuentra, por ejemplo, en [1, p. 198] o [2, p. 154].
¿Alguien conoce referencias anteriores, y quizás quién publicó por primera vez esta fórmula?
Según Watson [3, p. 9] el caso n=2, $$ \frac1{2\pi}\int_{S^1}e^{ia\cos\theta}d\theta=J_0(a) \tag2 $$ se remonta a Parseval [4], pero me interesa sobre todo el caso 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 $$
-
I. M. Gel'fand & G. E. Shilov, Funciones generalizadas, vol. 1 , Academic Press (1964).
-
E. M. Stein y G. Weiss, Introducción al análisis de Fourier en espacios euclidianos , Princeton UP (1971).
-
G. N. Watson, Tratado sobre la teoría de las funciones de Bessel , Cambridge UP (1922)
-
M. A. Parseval, Breve sobre la serie y la integración completa (etc.) (1805)
2 votos
En mi opinión, se trata de una pregunta mal definida: ¿quién evaluó por primera vez una integral elemental? Euler, que introdujo $\exp$ podría hacerlo, sin darle el nombre de "transformada de Fourier". Parseval [4] hizo una integral más complicada...
2 votos
@AlexandreEremenko Eso es exactamente lo que me gustaría saber: ¿Tenemos pruebas de que Euler pudo hacer (3)? (No es que elemental...) Entonces, de acuerdo, he sustituido "primer derivado" por "primer publicado". Tenga en cuenta que Watson o Encykl. Math. Wiss. atributo decenas de fórmulas pero no ésta, por lo que he podido encontrar.
11 votos
En realidad el $n=3$ caso es totalmente elemental, utilizando un teorema de Arquímedes: la proyección $(r \cos \theta, r\sin \theta, z) \mapsto (\cos \theta, \sin \theta, z)$ de $S^2$ al cilindro $\{x^2+y^2=1, \; |z|\leq 1\}$ zonas de conservación. Así, la integral es sólo $\frac12 \int_{-1}^1 e^{i\|a\|z} dz$ , que Euler ciertamente sabía que era ${\mathop {\rm sinc}}(\|a\|)$ .
0 votos
@NoamD.Elkies Estoy de acuerdo en que la fórmula es elemental modulo Arquímedes, sólo me sorprendería que Poisson lo afirmara (abajo, punto 2.) sin al menos una argumentación como la que has dado -- si esta fue la primera vez que apareció. En cambio, lo justifica diciendo que es una "fórmula conocida". Para mí esto sugiere que puede haber una ocurrencia anterior, y esta "primera" es lo que estoy buscando. Pero tal vez no exista.
0 votos
$S^n$ es la órbita coadjunta, por lo que se puede ver en el caso general la fórmula de carácter de Kirillov es.wikipedia.org/wiki/fórmula_de_carácter_de_Kirillov
0 votos
@HassanJolany Quieres decir $S^2$ .
0 votos
Sí, tienes razón, creo que puedes pensar en la transformación de Fourier en espacios simétricos y en la fórmula de la traza, porque, $S^n$ es un espacio simétrico
0 votos
Weyl lo hizo en 1919. Principalmente, el biespectro angular de una onda esférica de la que ésta es una variante.
0 votos
Esta derivación se atribuye a N.Sonin en G.Fichtenholz en vol. III de su libro de texto de 3 volúmenes, concretamente, en el párrafo 5.10, capítulo 18, donde (1) puede encontrarse (sin $i$ pero no importa). Así que esto es a finales del siglo XIX/principios del XX, antes de Weyl.
0 votos
@DimaPasechnik ¡Gracias! ¿Hay alguna referencia a algún escrito donde podamos comprobar que el propio Sonin efectivamente tenía (1) y no sólo (3)? (Weyl sólo tenía (3) y por eso es una distracción de todos modos, como yo comentó .)
0 votos
Véase mi respuesta más abajo.