2
$\begingroup$

Hello!

It may be a stupid question, i'm trying to find a closed form for an integral similar to a Fourier transform on $S^{n}$ but i'm stuck... Let $\alpha>0$, the integral i can't solve is

$$I(p,\alpha)=\int_{S^{n}}e^{i\alpha\left<p,q\right>}d\mu_{S^{n}}(q)$$

where $p,q\in S^{n}$, $\left< \cdot,\cdot \right>$ is the euclidean scalar product on $\mathbb{R}^{n+1}$ and $d\mu_{S^{n}}$ is the measure induced by euclidean measure on $\mathbb{R}^{n+1}$. so the question is: is there a closed form for $I(p,\alpha)$ only in terms of $p$ and $\alpha$?

Thank you in advance!

$\endgroup$

1 Answer 1

3
$\begingroup$

The integral obviously doesn't depend on $p$, since it must be rotationally invariant, and, using polar coordinates centered on $p$, one obtains $$ I(p,\alpha) = \mathrm{vol}(S^{n-1})\int_{-1}^1 e^{i\alpha t}(1{-}t^2)^{(n-2)/2}dt =\frac{2\ \pi^{n/2}}{\Gamma(n/2)}\int_{-1}^1 \cos(\alpha t)(1{-}t^2)^{(n-2)/2}dt. $$ This latter integral can be evaluated by standard techniques. For odd values of $n$, it is expressed in Bessel functions, while, for even values of $n$ it is expressed in terms of elementary functions. Thus, for $n=2$, one has $$ \int_{-1}^1 \cos(\alpha t)(1{-}t^2)^{(2-2)/2}dt = \frac{2\sin\alpha}{\alpha}, $$ while, for $n=3$, one has $$ \int_{-1}^1 \cos(\alpha t)(1{-}t^2)^{(3-2)/2}dt = \frac{\pi\ J_1(\alpha)}{\alpha}, $$ where $J_1$ denotes the Bessel function of the first kind, and so on.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.