Intereting Posts

Does the sum $\sum _{n=1}^{\infty }\left(\frac{\sin\left(n\right)}{n}\sum _{k=1}^n\left(\frac{1}{k}\right)\:\right)$ absolutely converge?
Vanishing of the first Chern class of a complex vector bundle
Partial fractions and trig functions
A continuous mapping is determined by its values on a dense set
Convexity and equality in Jensen inequality
Cohomology of a tensor product of sheaves
Volumes of cones, spheres, and cylinders
Find a continuous function $f:[1,\infty)\to\Bbb R $ such that $f(x) >0 $, $\int_1^\infty f(x)\,dx $ converges and $\int_1^\infty f(x)^2\,dx$ diverges
Every radical ideal in a Noetherian ring is a finite intersection of primes
Area of intersection between two circles
Does weak convergence in $W^{1,p}$ imply strong convergence in $L^q$?
Rewriting the time-independent Schrödinger equation for a simple harmonic oscillating potential in terms of new variables
Is there a domain in $\mathbb{R}^3$ with finite non-trivial $\pi_1$ but $H_1=0$?
Finite index subgroups of a virtually abelian group
Midpoint-Convex and Continuous Implies Convex

Let $f\in L^1_\mathbb C(\mathbb R^n)$. I once read, in one of my old exam, that if $\hat{f}(\mathbb R^n)\subset\mathbb R_+$, then $\hat{f}\in L^1(\mathbb R^n)$. As far as I remember, the professor gave an identity using mollifiers but I’m not 100% sure. Any hints on how to prove that ?

Thanks!

- Multiple self-convolution of rectangular function - integral evaluation
- Sobolev spaces and integrability of Fourier transforms
- Tensor products of functions generate dense subspace?
- Connection between Fourier transform and Taylor series
- Fourier Transform of Schwartz Space
- Continuity of the Characteristic Function of a RV

- Does the power spectral density vanish when the frequency is zero for a zero-mean process?
- Delta function integrated from zero
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Fourier Transform on Infinite Strip Poisson Equation
- DTFT of a triangle function in closed form
- Fourier Transform on the circle
- Compute $\int_0^{\infty}\frac{\cos(\pi t/2)}{1-t^2}dt$
- Computing the Gaussian integral with Fourier methods?
- Prove that the function $\xi\in R \mapsto {e^{i\cdot \xi\cdot λ}-1\over i\cdot \xi}-λ$ is $C^{\infty}$
- Cesaro summable implies that $c_{n}/n$ goes to $0$

If $f(x)$ is continuous at $x = 0$ it is true: Let $\phi(x)$ be a Schwartz function with positive Fourier transform, such as a Gaussian, and define $\phi_{\epsilon}(x) = {1 \over \epsilon^n} \phi({x \over \epsilon})$. Then $f \ast \phi_{\epsilon}(x)$ converges to $f(x)$ for almost all $x$ (this is a property of approximations to the identity), while ${\scr{F}}(f \ast \phi_{\epsilon}) = \hat{f}(\xi)\hat{\phi}(\epsilon x)$.

Notice that $\hat{f}(\xi)\hat{\phi}(\epsilon \xi)$ is in $L^1$ since $\hat{f}$ is bounded and $\hat{\phi}(x)$ is a Schwartz function. So the Fourier inversion formula applies to $\hat{f}(\xi)\hat{\phi}(\epsilon \xi)$ and you have that

$${\scr F}^{-1}(\hat{f}(\xi)\hat{\phi}(\epsilon \xi)) = f \ast \phi_{\epsilon}(x)$$

This holds at *all* $x$ since both sides are continuous functions.

Plugging in $x = 0$ gives

$$\int_{{\mathbb R}^n} \hat{f}(\xi)\hat{\phi}(\epsilon \xi)\,d\xi = (2\pi)^{n \over 2}f \ast \phi_{\epsilon}(0)$$

Now let $\epsilon$ go to zero and you get

$$\int_{{\mathbb R}^n} \hat{f}(\xi)\,d\xi = (2\pi)^{n \over 2}f (0)$$

I don’t believe it’s true necessarily if $f(x)$ is not continuous at $x = 0$… you can take a function $g(x)$ with $g(x) = c|x|^{-\epsilon}$ near the origin and then let $f(x) = g(x) \ast \bar{g}(-x)$; its Fourier transform will be $|\hat{g}(\xi)^2|$ which will be nonnegative.

Correct me if I’m wrong, but I don’t think the identity you’re seeking is true in the first place:

$\hat{f}\in L^1(\mathbb R^n) \implies {\int_S |\hat{f}|\;\mathrm{d}\mu} <\infty$

${\int_S |\hat{f}|\;\mathrm{d}\mu} = {\int_S \hat{f}\;\mathrm{d}\mu}$, since $\hat{f}(\mathbb R^n)\subset\mathbb R_+$

When we consider that:

${\int_S \hat{f}\;\mathrm{d}\mu} = f(0)$

None of the properties given above stop $f$ from being equal to the Dirac delta function and when this is the case $\hat{f} \notin L^1(\mathbb R^n)$.

- Is there any example of space not having the homotopy type of a CW-complex?
- Distance between a point and a m-dimensional space in n-dimensional space ($m<n$)
- Finite Summation of Fractional Factorial Series
- Does Seperable + First Countable + Sigma-Locally Finite Basis Imply Second Countable?
- Understanding the subdifferential sum rule
- Is the intersection of two countably generated $\sigma$-algebras countably generated?
- P(A) given that P(A|B) and P(B) are known
- Reciprocity Law of the Gaussian (or $q$-Binomial) Coefficient
- Countable Chain Condition for separable spaces?
- Showing that a ring is a field as well for one of the provided choices.
- Examples about that $\exp(X+Y)=\exp(X) \exp(Y)$ does not imply $=0$ where $X,Y$ are $n \times n $ matrix
- Defining additions in the ring of integers
- Plane intersecting line segment
- Proving Distributivity of Matrix Multiplication
- Proof of uniform convergence and continuity