Intereting Posts

Does $\lim_{h\rightarrow 0}\ =0$ imply that $f$ is continuous?
Limit of $a_n = \sum\limits_{k=1}^{n} \left(\sqrt{1+\frac{k}{n^2}}-1\right)$
Nonlinear 1st order ODE involving a rational function
An identity involving the Möbius function
How to find an end point of an arc given another end point, radius, and arc direction?
What is the exact and precise definition of an ANGLE?
Connection between Fourier transform and Taylor series
Integral of Hermite polynomial multiplied by $\exp(-x^2/2)$
Showing a recursion sequence isn't bounded $a_{n+1}=a_n+\frac 1 {a_n}$
rank of the free group: $\mathrm{rank} F_X=|X|$
What is the standardized way to represent $\pi$ in binary notation?
How to prove that $\lim \frac{1}{n} \sqrt{(n+1)(n+2)… 2n} = \frac{4}{e}$
In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
Why can a Nim sum be written as powers of 2?
a property of the radical closure of a field

I was trying to take the FT of

$$f(x) = \exp(-\pi ax^{2} + 2\pi ibx)$$

This is just the shifting rule applied to the FT of

- Intuition behind the convolution of two functions
- Definition of Sobolev Space
- Pointwise but not uniform convergence of a Fourier series
- Showing that complex exponentials of the Fourier Series are an orthonormal basis
- Derivatives distribution
- Singular asymptotics of Gaussian integrals with periodic perturbations

$$g(x) = \exp(-\pi ax^{2})$$

which is given by

$$\hat g(k) = \frac{1}{\sqrt{2\pi a}} \exp \bigg(\frac{-k^{2}}{4\pi a} \bigg)$$

Hence, we should get

$$\hat f(k) = \frac{1}{\sqrt{2\pi a}} \exp \bigg(\frac{- (k – 2\pi b)^{2}}{4\pi a} \bigg)$$

However, when trying to derive this result I got stuck and if someone could help me I would really appreciate it.

We have that

$$\hat f(k) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) \exp(-ikx) dx$$

Differentiating wrt to $k$ and integrating by parts, we find

$$\begin{align}

\hat f'(k) &= \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) (-ix) \exp(-ikx) dx \\

&= \frac{i}{\sqrt{2\pi}} \int_{-\infty}^{\infty} -x \exp(-\pi ax^{2}) \exp(i(2 \pi b – k)x) dx \\

\end{align}$$

with

$$\begin{align}

u &= \exp(i(2 \pi b – k)x) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ v = \frac{\exp(-\pi ax^{2})}{2\pi a} \\

u’ &= i(2 \pi b – k)\exp(i(2 \pi b – k)x) \ \ \ \ \ v’ = -x \exp(-\pi ax^{2})

\end{align}$$

Hence we get

$$\begin{align}

\hat f'(k) = \frac{i}{\sqrt{2\pi}} \bigg[\frac{\exp(-\pi ax^{2}) \exp(i(2 \pi b – k)x)}{2\pi a}\Biggr \rvert_{-\infty}^{\infty} \\

– \bigg(\frac{i(2 \pi b – k)}{2\pi a} \bigg) \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) \exp(-ikx) dx \bigg] \\

\end{align}$$

noting that the evaluated expression equals $0$. Therefore

$$\begin{align}

\hat f'(k) &= \frac{i}{\sqrt{2\pi}} \bigg[- \bigg(\frac{i(2 \pi b – k)}{2\pi a} \bigg) \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) \exp(-ikx) dx \bigg] \\

&= \frac{2\pi b – k}{2\pi a} \bigg[\frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) \exp(-ikx) dx \bigg] \\

&= \frac{2\pi b – k}{2\pi a} \hat f(k)

\end{align} $$

Solving, we find

$$\begin{align}

\hat f(k) &= \hat f(0) \exp \bigg(\frac{4\pi bk – k^{2}}{4\pi a} \bigg) \\

&= \hat f(0) \exp \bigg(\frac{- (k – 2\pi b)^{2} + 4\pi^{2}b^{2}}{4\pi a} \bigg)

\end{align}$$

The only way I can see to get the correct result is if

$$\begin{align}

\hat f(0) &= \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} \exp(-\pi ax^{2} + 2\pi ibx) dx \\

&= \frac{1}{\sqrt{2\pi a}} \exp \bigg(\frac{-4\pi^{2}b^{2}}{4\pi a} \bigg)

\end{align}$$

and the only way I thought I may be able to solve the integral for $\hat f(0)$ is to change to polar coordinates.

So, does anyone have suggestions on how to solve the $\hat f(0)$ integral?

Thanks for your help.

- When is it that $\int f d(g+h) \neq \int f dg + \int f dh$?
- Is the integral of a measurable function measurable?
- Computing the integral of $\log(\sin x)$
- $f$ uniformly continuous and $\int_a^\infty f(x)\,dx$ converges imply $\lim_{x \to \infty} f(x) = 0$
- Evaluation of the integral $\int_0^1 \log{\Gamma(x+1)}\mathrm dx$
- How to calculate the PSD of a stochastic process
- Calculate volume of intersection of 2 spheres
- Computing $\sum_{n=1}^{\infty} \frac{\psi\left(\frac{n+1}{2}\right)}{ \binom{2n}{n}}$
- Improper integrals and right-hand Riemann sums
- Trig integral $\int{ \cos{x} + \sin{x}\cos{x} dx }$

Hint to solve the integral:

$$ \exp \left(ax^2 +bx\right) = \exp \left(\left(\sqrt{a}x+\frac{b}{2\sqrt{a}}\right)^2 -\frac{b^2}{4a} \right),$$ for given constants $a$ and $b$.

If your goal to find the Fourier transform of the function $f(x) = e^{-\pi ax^{2} + 2\pi ibx} $ then here is an easier approach

$$ F(k) = \int_{-\infty}^{\infty} e^{-\pi ax^{2} + 2\pi ibx}e^{-ikx}dx = \int_{-\infty}^{\infty} e^{-\pi ax^{2} + (2\pi b-k)ix}dx. $$

To evaluate the last integral complete the square and then use Gaussian integrals.

- Proving $\sum\limits_{i=0}^n i 2^{i-1} = (n+1) 2^n – 1$ by induction
- How to find area of remaining square with shapes inside
- Help with an elementary proof regarding cardinalities of finite sets.
- How do you prove that proof by induction is a proof?
- Index of a sublattice in a lattice and a homomorphism between them
- A request for a suggestion for a mathematics talk aimed at first year and second year undergraduate students in science
- Joint probability generating functions, help please!
- Prove that $2^{2^{\sqrt3}}>10$
- Conjecture about linear diophantine equations
- Equation of Cone vs Elliptic Paraboloid
- Proving a metric on X.
- How to geometrically show that there are $3$ $D_4$ subgroups in $S_4$?
- How prove this $S_{\Delta ABC}\ge\frac{3\sqrt{3}}{4\pi}$
- Given a width, height and angle of a rectangle, and an allowed final size, determine how large or small it must be to fit into the area
- $ \cos {A} \cos {B} \cos {C} \leq \frac{1}{8} $