Intereting Posts

Is a finitely generated torsion free module over a UFD necessarily free?
Proving if $a$ is not a multiple of prime $p$, then an integer $b$ exists such that $p^b – 1$ is a multiple of $a$
Euler's Totient function $\forall n\ge3$, if $(\frac{\varphi(n)}{2}+1)\ \mid\ n\ $ then $\frac{\varphi(n)}{2}+1$ is prime
Is such a map always null-homotopic?
Does the square of uniform distribution have density function?
$A^2X = X$ show that $AX = X$, if $A_{ij} > 0$ and $x_{i} > 0$
Units and Nilpotents
How did we find the solution?
Prove by induction that $n^5-5n^3+4n$ is divisible by 120 for all n starting from 3
Limit of a sequence that tends to $1/e$
How can I explain $0.999\ldots=1$?
Find $\lim_{n\to\infty} \sqrt{n}$
Is $L_1$ context free language?
Help with commutative property of matrices problem
Floor function inequality of multiplication

I need to prove this:

$$ \mathcal F(f(x)g(x))=(\frac{1}{2\pi})F(s)*G(s)$$

So far, I believe I have to use the Fourier transform standard equation

$$ \mathcal F(f(x))=\frac{1}{2\pi}\int_{-\infty}^\infty f(x)e^{-isx}\,dx $$

- Young's inequality for discrete convolution
- Integrating $\int_{0}^{\infty} \frac{p^6 dp }{1 + a p^4 + b p^6 } \int_{0}^{\pi}\frac{\sin^5 \theta \,d\theta}{1 + a |p-k|^4 + b |p-k|^6 }$
- Number Theoretic Transform (NTT) example not working out
- Show that for any $f\in L^1$ and $g \in L^p(\mathbb R)$, $\lVert f ∗ g\rVert_p \leqslant \lVert f\rVert_1\lVert g\rVert_p$.
- How to prove that operator is not compact in $L_2 (\mathbb{R})$
- Approximation in Sobolev Spaces

- Convolution of a function with itself
- Do asymptotically equivalent coefficients survive convolution at least in Θ?
- Is the convolution operation some kind of group operation?
- Decay of a Convolution
- Find the solution of the Dirichlet problem in the half-plane y>0.
- Unilateral Laplace Transform vs Bilateral Fourier Transform
- The error term in Taylor series and convolution.
- Number Theoretic Transform (NTT) to speed up multiplications
- Fourier Cosine Transform (Parseval Identity) for definite integral
- Fourier Transform - Laplace Equation on infinite strip - weird solution involving series

You can use the inverse Fourier transform $\mathcal F^{-1}$ to simplify the problem first

$$f(x)g(x)=\frac{1}{2\pi}\mathcal F^{-1}\left(F(s)*G(s)\right)$$ where

$$f(x)=\mathcal F^{-1}(F(s))=\int_{-\infty}^{\infty}ds F(s)e^{isx}$$

now, using the definition of convolution

$$F(s)*G(s)=\int_{-\infty}^{\infty} ds’F(s’)G(s-s’)$$

Applying the inverse Fourier transform

$$\mathcal F^{-1}(F(s)*G(s))=\int_{-\infty}^{\infty}ds\int_{-\infty}^{\infty} ds’F(s’)G(s-s’)e^{isx}$$

multiplying and dividing with $e^{is’x}$

$$\int_{-\infty}^{\infty}ds\int_{-\infty}^{\infty} ds’F(s’)G(s-s’)e^{i(s-s’)x}e^{isx}=f(x)g(x)$$

Which is what you wanted to demonstrate, up to the $\frac{1}{2\pi}$ prefactor in your question.

- How to reparametrize curves in terms of arc length when arc-length evaluation cannot be computed analytically
- Does $\log p$ make sense in a finite extension of $\mathbb{Q}_q$?
- How to solve this integral using Gamma Functions
- Finding Smith normal form of matrix over $ \mathbb{R} $
- Are these exactly the abelian groups?
- Orthogonal in inner product space
- Where does the premise of this idea come from?
- Determinant of a generalized Pascal matrix
- upper bound on rank of elliptic curve $y^{2} =x^{3} + Ax^{2} +Bx$
- Prove that $512^3 + 675^3 + 720^3$ is a composite number
- Simple AM-GM inequality
- Irreducible in $\mathbb{Z}$
- A niggling problem about frontier in topology
- Counting monic irreducible polynomials of a particular degree without use of finite fields?
- Permutation with constrained repetition: Distribution of random variable “number of pairs of identical elements”