2
votes
2answers
34 views

Which $f \in L^\infty$ are the Fourier transform of a bounded complex measure?

A measure on $\mathbb R$ is a set function $\mu,$ defined for all Borel sets of $\mathbb R,$ which is countably additive(that is, $\mu(E)=\sum \mu(E_{i})$ if $E$ is the union of the countable family ...
1
vote
1answer
21 views

How to choose, $\phi \in C^{\infty}_{c}(\mathbb R)$ such that its Fourier transform $\hat{\phi}$ is 1 in some neighbourhood of the given point?

Put $C_{c}^{\infty}(\mathbb R)=$ The space of $C^{\infty}$ functions on $\mathbb R$ whose support is compact. Fix $x_{0}\in \mathbb R.$ My Question is : Can we expect to choose, $\phi \in ...
5
votes
1answer
72 views

$\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$?

It is well-known that, for $f,g \in L^{1}(\mathbb R).$ Then, by Fubini's theorem, one can derive, $\widehat{f\ast g} = \hat{f} \cdot \hat{g},$ (that is, Fourier transform takes, convolution to point ...
0
votes
2answers
71 views

What is difference between Fourier Transform and Fast Fourier Transform?

If you think about Fourier Transform, in the classical cases, say on the real line, what it is? Just a waded sum. Right? You take a function $f$, and you take it's Fourier Transform at particular ...
2
votes
1answer
71 views

Noncommutative Fourier Transform

The theory of Fourier transform for Euclidean spaces has analogues for locally compact abelian groups. In the noncommutative setting, representations can be used to define analogous transforms. My ...
3
votes
0answers
49 views

Building up the Fourier inversion theorem on locally compact abelian groups

I'm reading through Folland's Abstract Harmonic Analysis and I've come to a bit of a road block with some machinery developed for the Fourier inversion theorem. We know that the Fourier transform of a ...
1
vote
1answer
30 views

When is a function a Fourier transform of an integrable function?

Specifically, in the case $f(\xi)=\frac{1}{(1+\xi ^2)^\epsilon}$ where $0<\epsilon<1$. I wish to prove this is a Fourier transform of a $L_1$ function. Any insight into the manner would be ...
0
votes
1answer
20 views

Fourier transform of function similar to a Riesz kernel

I am trying to prove that the Fourier transform of $$\frac{x_1 x_2} {|x|^4}$$ in $\mathcal{R}^2$ (in the sense of distributions) is a bounded multiplier given by $\frac{\xi_1 \xi_2}{|\xi|^2}$ but am ...
4
votes
1answer
48 views

Fourier transform of a potential

I need help computing the distributional inverse Fourier transform of the function $1/|x|^2$ in dimension two. The integral makes sense written as \begin{align} 1/2\pi \int_{\mathbb{R}^2} e^{ix\xi} ...
2
votes
1answer
42 views

If the Fourier transform of a probability measure goes to zero at infinity, can the measure have a point mass?

Let $\mu$ be a probability measure on $\mathbb{R}$. Is the following implication true? $$ \widehat{\mu}(y) \rightarrow 0 \text{ as } |y| \rightarrow \infty \quad \Rightarrow \quad \mu(\{x\})=0 \quad ...
2
votes
0answers
41 views

Can a continuous function on a compact group $G$ be interpreted as the sum in $C(G)$ of its Fourier series?

For a given function $f\in C(G)$ on a compact group $G$ its Fourier transform is defined as the family of operators $$ \widehat{f}_\sigma=\int_Gf(t)\cdot\sigma(t^{-1}) \ \text{d}\ t,\quad ...
0
votes
0answers
14 views

$ S_\lambda f = \sum_{j=1}^\infty \chi_{(-\infty,\lambda_j]}E_j f =(2\pi)^{-1}\int_{\mathbb{R}}\widehat{\chi}_{(-\infty,\lambda]} (t)e^{itP}f \,dt$

Let $P$ be a self-adjoint elliptic pseudo-differential operator on $M$ (compact manifold). I can not demonstrate that $$ S_\lambda f = \sum_{j=1}^\infty \chi_{(-\infty,\lambda_j]}E_j f ...
1
vote
1answer
32 views

pointwise limit of uniformly bounded sequence in $A(\mathbb T)$ is again in $A(\mathbb T)$?

Let $\mathbb T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$ Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...
1
vote
0answers
298 views

Fourier Transform on compact groups

I'm trying to get my head around the concept of Fourier Transform on a compact group. The standard definition is $$\widehat{f}(\pi)=\int_Gdg\,f(g)\pi(g)$$ where $\pi\in\widehat G$, the Pontryagin ...
1
vote
0answers
19 views

$f\mapsto \sum_{n\in \mathbb Z} |\widehat{F(f)}(n)|$ lower semi continuous?

Let $T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$ Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...
1
vote
0answers
76 views

What is the Fourier series of $e^{\mu\cos\theta}$?

Motivation: I want to solve this convolution problem on the circle: find $f$, given $g$ and $$ g(\theta) = \int_{S^1} e^{\mu\cos(\theta-\phi)}g(\phi)\ d\phi. $$ To do this, I want to find the Fourier ...
3
votes
1answer
31 views

Complex exponential is not Fourier multiplier on $L^p$

I am having difficulty to show that the function $m(\xi):= e^{i|\xi|^2}$ is not a Fourier multiplier on $L^p$ when $p\neq 2$. Note that $m:\mathbb{R}^n\to \mathbb{C}$ is called an $L^p$ Fourier ...
-1
votes
1answer
56 views

Is it true that the Fourier coefficient of convolution is the product of the coefficients?

what I mean by the title is the following: if we define the convolution between two $2\pi$-periodic, $C^1$ functions as $f*g(x) = (2\pi)^{-1}\int_{-\pi}^\pi f(x-y)g(y)dy$, is it true that the Fourier ...
0
votes
1answer
33 views

$f, \hat {f} \in L^{p} \cap L^{\infty} \implies f\in A(\mathbb R)$?

$1\leq p \leq \infty $. We put, $$X_{p}= \{f\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R) :\hat{f}\in L^{p}(\mathbb R)\cap L^{\infty}(\mathbb R)\};$$ and we consider the algebra of Fourier ...
1
vote
0answers
19 views

Real part of a holomorphic function is bounded by polynomial then the holomorphic function is a polynomial [duplicate]

Let $u$ be a harmonic function on $\mathbb{R}^2\cong \mathbb{C}$ such that $Ref= u$ where $f$ is an entire function. If $|u(z)|\leq |z|^n$ for any $z\in\mathbb{C}$, then $f$ is a polynomial of degree ...
2
votes
0answers
42 views

Density of a set of functions in Schwartz space

I have a difficulty doing the following problem: Let $S(\mathbb{R}^n)$ be the Schwartz space. I need to determine whether the following set of functions $A$: $$A= \{f\in S(\mathbb{R}^n): ...
0
votes
1answer
43 views

Characteristic Function as Fourier Multiplier

In lecture notes I have, it is mentioned that the characteristic function $\chi_I$ of an interval in $\mathbb{R}$ is an $L^p$ Fourier multiplier for $1 < p < \infty$. I thought this would be ...
0
votes
1answer
30 views

$f, \hat{f} \in L^{1}(\mathbb R) \implies \widehat {\text{Re}(f)}, \widehat{\text{Im}(f)} \in L^{1}(\mathbb R)$?

Let $f:\mathbb R \to \mathbb C$ such that $f(x)= (f_{1}(x), f_{2}(x))$; where $f_{1}(x)=\text{Re}(f(x))=\text{the real part of} \ f $ and $f_{2}(x)=\text{Im}(f(x))= \text{ the imaginary part of} \ ...
2
votes
1answer
17 views

how to prove translation identity: $(\mathcal{F}^{-1}m\mathcal{F}f)(x)= e^{ikx}[\mathcal{F}^{-1}m(\cdot+k)\mathcal{F}(e^{-iky}f(y))](x)$?

Let $m, f\in S(\mathbb R^{n})$=The Schwartz space. My question: How to prove: $$(\mathcal{F}^{-1}m\mathcal{F}f)(x)= e^{ikx}[\mathcal{F}^{-1}m(\cdot+k)\mathcal{F}(e^{-iky}f(y))](x);$$ where ...
2
votes
0answers
41 views

Essential hypothesis of Fourier Inversion formula

Let $f\in L^{1}(\mathbb R)$ and we define its Fourier transform as follows: $\hat{f}(\xi)=\int_{\mathbb R} f(x)e^{-2\pi i \xi\cdot x} dx, (\xi \in \mathbb R);$ and we define $f^{\vee}(x):=\hat{f}(-x)= ...
3
votes
1answer
44 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
1
vote
2answers
41 views

$f_{n}\to f$ in $L^{1}\implies \hat{f_{n}}\to \hat{f}$ in $L^{1}$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R .$ Suppose there exists $f_{n}, \in L^{1}(\mathbb R)$ such ...
3
votes
1answer
24 views

On convergence rate of kernel approximation

Let $\{K_\epsilon\}$ be a sequence of mollifiers, (or often take heat kernels). We have known from classical analysis that if $f$ is uniformly continuous then the error ...
2
votes
0answers
37 views

Invariant functions under integral transforms

We all know Fourier transform has invariants such as $e^{-x^2}$, and another MSE post has shown the non-existence of invariant function under Hilbert transform using Fourier transform. I am wondering ...
4
votes
1answer
79 views

Integrability of function and its Fourier transform implies differentiabilty

Is the the following true: "Assume $f\in L^1[0,1]$ and $\hat{f}\in L^1(\mathbb{R})$, then $f$ is differentiable a.e"
2
votes
1answer
31 views

A characterization of $L^1$ functions with $L^1$ Fourier transforms

If $f \in L^1$ then its Fourier transform is easy to define: $\widehat{f}(\xi) = \int f(x)e^{-2 \pi i \xi x}dx$. If $\widehat{f} \in L^1$ then we recover $f(x) = \int \widehat{f}(\xi)e^{2 \pi i \xi x} ...
2
votes
1answer
144 views

$g, f, \hat {f} \in L^{1}(\mathbb R)\cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R) \implies \widehat{(fg)}= \hat{f} \ast \hat{g} ? $

Let $f, g\in L^{1}(\mathbb R)$ and it Fourier transform of $f$, $\hat{f} (y) = \int _ {\mathbb R} f(x) e^{-2\pi i x \cdot y} dx, \ (y\in \mathbb R)$ and the convolution of $f $ and $g$; $f\ast g ...
1
vote
0answers
34 views

The property of positive fourier series. [duplicate]

This is the problem in the book 'Classical and multilinear harmonic analysis, volume 1' Let $f(x)=\sum_{n=0}^{N}[a_{n}\cos{2\pi nx}+b_{n}\sin{2\pi nx}]$ be a nonnegative function defiend on $[0,1]$. ...
2
votes
0answers
22 views

Can we expect, $\left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$ in the Banach algebra $A(\mathbb R)$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
0
votes
0answers
13 views

How to use $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in Banach sapace $C([0, T];M^{p,1})$?

(For details of this question you may see the paper,(proof of theorem 1, page.9), MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; Bull. Lond. Math. Soc. 41 ...
2
votes
0answers
21 views

Induced measure on dual group and kernel of fourier transform

Let $G$ be a locally compact Hausdorff abelian group (LCA). Then the Fourier transform gives a map from functions on G to functions on $\hat G$ $$f\mapsto \hat f(\xi) = \int_G f(x)\Psi(x,\xi) ...
3
votes
0answers
70 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
0
votes
1answer
164 views

How to use Parseval' identity( Plancherel)? [duplicate]

(May be this is very basic question for MO) Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put $$F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt \ (n=1,2,...)$$ Fix ...
0
votes
1answer
113 views

How to use Parseval' s( Plancherel' s) identity?

Let $f\in L^{2} (\mathbb R)$ with $\lim_{t\to \pm \infty} f(t)=0.$ Put, $F_{n} (x)= \frac{1}{2\pi} \int_{-n}^{n}e^{itx} f(t) dt, \ (n=1,2,...).$ Fix $\alpha \in (0, \infty)$ and we define $H_{n}(x)$ ...
1
vote
0answers
38 views

How to choose $\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha)$; so $\lambda ^{-1}\in L^{1}(\mathbb R)$?

We define, $$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$ where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...
2
votes
1answer
50 views

How to apply the method of stationary phase here?

Consider the following oscillating integral $$ I(\xi;t) = \int\limits_{\mathbb R}\int\limits_{\mathbb R^n} e^{it(\xi y - \theta f(y))}a(y) \, dy \, d\theta, \quad \xi \in \mathbb R^n \setminus 0, ...
6
votes
1answer
54 views

How to determine measure from the integral equation?

Let $\{c_{n}\}_{n\in \mathbb Z}\subset \mathbb C$ and $\sum_{n\in \mathbb Z} |c_{n}| < \infty$ (that is, the series $\sum c_{n}$ is absolutely converges); we define $F:\mathbb R \to \mathbb C$ ...
1
vote
0answers
37 views

When it is possible to integrate an oscillatory integral?

Let $\phi(x,t;\theta) = \theta f(x,t)$, $\theta \in \mathbb R$, $x \in \Omega \subset \mathbb R^k$ ($\Omega$ is a domain), $t \in (0,+\infty)$, be a phase function and define an oscillatory integral ...
2
votes
0answers
54 views

How to prove $\widehat{(fg)}(n) = \hat{f} (n) \ast \hat{g} (n); (n \in \mathbb Z)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
1
vote
0answers
43 views

How to interpret Fourier-Stieltjes transform on $\mathbb T$ (one dimesional torus)?

Let $\mu$ be a regular Borel measure on $\mathbb Z$ and we put, $$\|\mu\|:= |\mu| (\mathbb Z)= \text {total variation of} \ \mu . $$ and define $$M(\mathbb Z):= \{\mu: P(\mathbb Z)\to \mathbb C : ...
1
vote
1answer
33 views

Does there exists $f\in A(\mathbb T)$ such that $||f||=r$ and $||\mathrm{e}^{if}||= \mathrm{e}^{r}$?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t)\, \mathrm{e}^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb ...
0
votes
1answer
31 views

How to inter change of norm and limit in the Banach algebra?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space, $$A(\mathbb T):= \{f\in ...
1
vote
0answers
65 views

construction of a special series of functions

Here is the problem: Let $A$ be the set of positive integers greater than 1. For each $L\in A$, we want to construct a smooth function $f_L$ with compact support such that ...
1
vote
0answers
34 views

Why the space of Fourier-Stieltjes transforms on a compact groups is same as the space of FT on compact groups?

Let $G$ be a locally compact group and we put $L^{1}(G)= \ \text {The space of all complex functions which are integrable with respect to the Haar measure of } \ G.$ Let $\Gamma$ is the dual group ...
0
votes
0answers
20 views

Does there exists $f\in L^{1}(\mathbb R)\cap FL^{1}(\mathbb R)$(=Fourier algebra) but $|f|\not \in A(\mathbb R)$?

For $f\in L^{1}(\mathbb R)$; We define the Fourier transform of $f$ as follows: $$\hat{f}(\xi)= \int_{\mathbb R}f(x) e^{-2\pi i \xi x}dx; \ \text {for} \ \xi \in \mathbb R.$$ Consider a Fourier ...