1
vote
0answers
25 views

can we expect a bounded approximate identity in $L^{1}(\mathbb R)$, whose Fourier transform at particular point is zero?

Let $\phi:\mathbb R \to \mathbb C$ be a function; and define $$\phi_{t}(x):=\frac{1}{t}\phi (x/t), (t>0).$$ We let, $\phi\in L^{1}(\mathbb R),$ then $\phi_{t}\in L^{1}(\mathbb R);$ in fact, we ...
0
votes
1answer
20 views

Show that Fourier series arising in solution of differential eqn. converges uniformly

Let $f \in L_2(0,\pi)$ have the Fourier expansion $f(x) = \sum_{n=2}^{\infty} f_n\sin(nx)$. Compute (formally) the boundardy value problem $$ u''(x) + u(x) = f(x) \qquad \mbox{ for } 0 < x < ...
0
votes
0answers
31 views

How to interchange sum and integral?

We fix the point $\xi_{0}\in \mathbb R.$ Choose sequence $\{f_{n}\}_{n\in \mathbb N}\subset L^{1}(\mathbb R)$ with the following property : (1) $\|f_{n}\|_{L^{1}(\mathbb R)} \leq 1, $ for $n\in ...
0
votes
0answers
29 views

Can we expect to choose $ f\in L^{1}(\mathbb R)$ such that $\|f\|_{L^{1}(\mathbb R)}\leq 1,$ and $\hat{f}(x_{0})=0$? [on hold]

Fix $x_{0}\in \mathbb R.$ Let $f\in L^{1}(\mathbb R)$ ; we define its Fourier transform at $x_{0}$ as follows: $\hat{f}(x_{0}) = \int_{\mathbb R} f(x) e^{-2\pi i x\cdot x_{0}} dx.$ My Question is: ...
1
vote
1answer
24 views

$|\int_{\mathbb R} e^{-t^{2}} e^{-(t/\lambda -x)^{2}} e^{-2\pi i w\cdot t}| dt \leq G(x,w), G\in L^{1} ? $

Put $\lambda >0,$ and we define, $$F_{\lambda}(x, w)= \int_{\mathbb R} e^{-t^{2}} e^{-(t/\lambda -x)^{2}} e^{-2\pi i w\cdot t} dt;(x,w) \in \mathbb R^{2}$$ we note that, $F_{\lambda} \in ...
1
vote
0answers
18 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f_{r}(t-y)- f_{r}(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $ r\to \infty $?

Let $f\in \mathcal{S}(\mathbb R)$ with $\hat{f}$ has a compact support. For $r>0,$ put $f_{r}(x)= r^{-1}f(x/r), (x\in \mathbb R).$ We note that, $\int_{\mathbb R} |f_{r}(x)| dx = r^{-1} ...
1
vote
0answers
13 views

Can we identify Fourier transform of continuous compacltly supported functions with finte complex Borel measure?

It is well-known that, $L^{1}(\mathbb R)$ can be embed into $M(\mathbb R)$ (= The space of complex Borel measure on $\mathbb R$); by identifying $f\in L^{1}(\mathbb R)$ with the measure $d\mu= f dm.$ ...
2
votes
1answer
26 views

convolution of compactly supported continuous function with schwartz class function is again a Schwartz class function?

Suppose $f$ is continuous function on $\mathbb R$ with compact support; and $g\in \mathcal{S}(\mathbb R),$ (Schwartz space) My Question is: Can we expect $f\ast g \in \mathcal{S(\mathbb R)}$ ? ...
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 ...
0
votes
1answer
17 views

$f\in L^{p}(\mathbb R)\cap C_{0}(\mathbb R); (1<p<\infty), g\in C^{\infty}_{c}(\mathbb R) \implies f\ast g \in C^{k}(\mathbb R)$?

We put, $C_{0}(\mathbb R)=$ The space of continuous functions on $\mathbb R$ vanishing at $\infty$; $C^{k}(\mathbb R)=$ The space of all functions $\mathbb R$ whose derivative of order $\leq k$ exist ...
1
vote
1answer
26 views

Equivalence of Localized Fourier Restriction Estimates

I'm reading Tao's Park City notes on the restriction conjecture http://arxiv.org/abs/math/0311181. He says at some point that the estimate: there is a constant $C > 0$ such that, for any $R \ge ...
1
vote
1answer
17 views

can we approximate $f,$ in $L^{p}$-norm, by a function $f+h$ which is constant in a some neighbourhood of the point?

Suppose $f\in L^{p}(\mathbb R), (1<p <\infty), \epsilon > 0, \gamma_{0}\in \mathbb R.$ Then My Question is: Can we expect to find, $h\in L^{p}(\mathbb R)$ such that ...
3
votes
0answers
50 views

$\|\phi_{\lambda}- \phi_{\lambda} \ast f \|_{L^{2}(\mathbb R)}\to 0$ as $\lambda \to \infty$? ($\phi_{\lambda}(x)=\lambda^{-1} \phi(x/\lambda).$)

For $f\in L^{1}(\mathbb R),$ we define its Fourier transform as follows: $\hat{f}(t)=\int_{\mathbb R} f(x) e^{-ix\cdot t} dx ,(t\in \mathbb R).$ Suppose that $f\in L^{1}(\mathbb R)$ with ...
0
votes
0answers
40 views

A continuous function which does not converge to its Fourier series. [duplicate]

Where can I find an example (or the theorem) for a continuous function which does not converge pointwise to its Fourier series, as well as its explanation? I would prefer a web page or a free site or ...
1
vote
3answers
41 views

Characterization of $\mathscr{S}(\mathbb R^n)$?

Consider the vector space $$\displaystyle\mathscr{S}(\mathbb R^n)=\{f\in C^\infty(\mathbb R^n): \lim_{|x|\to \infty} |x^\alpha \partial^\beta \phi(x)|=0, \forall \alpha, \beta\in\mathbb N_0^n\}.$$ ...
4
votes
2answers
44 views

Can we expect, $S(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R), (1<p<\infty) $?

It is well-known that $L^{1}(\mathbb R)$ is a closed with respect to convolution(product), that is, $L^{1}(\mathbb R)\ast L^{1}(\mathbb R)\subset L^{1}(\mathbb R),$ more specifically, if $f, g\in ...
0
votes
0answers
12 views

Estimate of Projection Operator on two-torus

Let $\Lambda$ be a lattice, $\mathbb{T}=\mathbb{R}^2/\Lambda$ be a flat torus and $\Delta$ be the Laplace-Beltrami operator. There is any reference where the norm of the projection operator ...
5
votes
1answer
71 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
0answers
76 views

Is Fourier transform density preserving?

I know my question is not well-defined since Fourier domain and codomain are not the same, but one knows that they are actually homomorphic. Now what I mean by density preserving is as follows: ...
3
votes
1answer
45 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f(t-y)- f(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $y\to 0$?

Fact: It is well-known that translation is continuous in the $L^{1}$ norm, that is, if $f\in L^{1}(\mathbb R)$ then $\lim_{y\to 0} \|f_{y}-f\|_{L^{1}(\mathbb R)}=0;$ (where, $f_{y}(x)= f(x-y)$, ...
2
votes
1answer
29 views

Does there exists $f\in \mathcal{S} (\mathbb R)$ so $\hat{f}=1$ on a comapct set $C$ and $\hat{f}=0$ outside $C\subset W$ (open set)?

Let $C$ is a compact subset of $\mathbb R,$ $V\subset \mathbb R,$ and $0<m(V)<\infty,$ where $m$ is a Lebsgue measure on $\mathbb R.$ My Question is: Can we expect to find $k\in ...
1
vote
0answers
36 views

Explicit solution of the nonlinear Schrödinger equation

Consider the linear Schrödinger equation, $$ (LS) \begin{cases} \partial_{t}u= i\Delta u, t\in \mathbb R,\\ u(x,0)=u_{0}(x), \end{cases} $$ $x\in \mathbb R^{n}.$ Taking the Fourier transform with ...
0
votes
1answer
19 views

Pseudodifferential operators and amplitudes

I am studying psudodifferential operators on $\mathbb{R}^n$. Let $U\subset \mathbb{R}^n$ an open subset. A function is $b\in C^\infty(U\times U\times U \times \mathbb{R}^n)$ is an amplitude of order ...
2
votes
1answer
62 views

the series $\sum_{k=1}^\infty a_k$ converges implies the series $\sum_{k=1}^\infty a_k\sin (k\pi x)$ converges for $x$ irrational

Let $\sum_{k=1}^\infty a_k$ be a convergent series. Then can we obtain $\sum_{k=1}^\infty a_k\sin (k\pi x)$ converges for $x$ irrational? If $\sum_{k=1}^\infty a_k$ converges absolutely, then I can ...
2
votes
1answer
43 views

Sobolev spaces and Holder continuity (or, fractional derivatives and singularities)

I have two specific questions. The first is the result I actually need, and the second would let me prove it. EDIT: The second statement was wrong. I am keeping it for posterity. I am adding a third ...
6
votes
3answers
112 views

Eigenfunctions of the Laplace-Beltrami operator of a torus

The eigenfunctions of the Laplace-Beltrami operator of the flat torus $\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2$ and their multiplicity are well-known. What happens if we change the sides of the torus ...
0
votes
1answer
19 views

Fourier transforms similar $\Rightarrow$ functions similar?

I am wondering if there is a theorem that states something like the following? If $$\big|\;\tilde f(\omega)-\tilde g(\omega)\,\big| < \varepsilon\qquad \forall\omega$$ then there exists a ...
2
votes
0answers
36 views

an “alternate derivation” of Poisson summation formula and discrete Fourier transformation

Inspired by this post, I am trying to do a derivation of a Poisson summation formula. My starting point is this: $$ \frac{1}{2\pi} \int^{\infty}_{-\infty} e^{i k x} dx=\delta(k) $$ I simply wish ...
1
vote
1answer
35 views

A naive example of discrete Fourier transformation

We know a discrete Fourier transformation with discrete $n$ and continuous $x_1,x_2$: $$ \sum_{n\in\mathbb{Z}} e^{-in(x_1-x_2)\frac{2\pi}{L}}=L\delta(x_1-x_2) $$ with Dirac delta function $\delta$. ...
2
votes
1answer
23 views

Mean fourier coefficients of a $2\pi$-periodic function are just the usual Fourier coefficients.

Let $f$ be a continuous $2\pi$-periodic function on $\mathbb{R}$. I'm trying to show that \begin{align}\tag{1} \lim_{T \rightarrow \infty} \frac{1}{2T}\int_{-T}^{T} f(x)e^{-ix\xi}dx = ...
2
votes
0answers
34 views

Finding the sum of a trigonometric series, fourier series

I need to compute that for $x \in [0, 2\pi]$ $$\sum_{n=1}^\infty\frac{\sin(nx)}{n^3} = \frac{1}{12}x(x-\pi)(x-2\pi)$$ by using the uniform convergence $$\sum_{n=1}^\infty\frac{\sin(nx)}{n} = ...
1
vote
1answer
77 views

a generalization of normal distribution to the complex case: complex integral over the real line

How to prove $\int_{\mathbb{R}} e^{-\frac{(x+it)^2}{2}}dx=\sqrt{2\pi}$ for any $t\in \mathbb{R}$? I only obtained the case that $t=0$, $\int_{\mathbb{R}} e^{-\frac{x^2}{2}}dx=\sqrt{2\pi}$. Thanks.
0
votes
0answers
21 views

compute the derivative of a function defined by an integration over the whole real line

Let $h(t)=\int _{\mathbb{R}}e^{-\frac{(x+it)^2}{2}}d\lambda(x)$, where $\lambda$ is the Lebesgue measure. I want to prove that $h$ is differentiable and compute the derivative of $h$: ...
2
votes
1answer
99 views

$\sum_{n=1}^\infty \frac{1}{n^4}=\frac{\pi^4}{90}$ [duplicate]

How we can do this sum? $$ \sum_{n=1}^\infty \frac{1}{n^4}=\frac{\pi^4}{90} $$ I know that we could possibly use a Fourier series decomposition however I don't know what function to start with. I ...
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 ...
0
votes
0answers
25 views

Heisenberg uncertainty principle in D-dimensional

For Heisenberg uncertainty principle in D-dimensional there is $d^2$ in the formula.where does this additional term comes compared with the case of one dimensional?
2
votes
0answers
30 views

Good family of kernels in $\mathbb{R}^n$

I'm trying to prove that, given the heat equation $u_t = \Delta u$ with boundary values $u(x,0) = f(x)$, the solution given by $$u(x,t) = f \star H_t^{(d)}(x)$$ is continuous up to the boundary ...
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
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 ...
3
votes
1answer
209 views

Integrate $\int_{-\infty}^{\infty}\exp\left(-\frac{\pi^2t(2x+1)^2}{2c^2}\right)\cos\left(\frac{(2x+1)\pi y}{c}\right)\exp(-2\pi i kx)dx$

By the poisson summation formula we have: $$\frac{1}{c}\sum\limits_{k=-\infty}^{\infty} \exp\left(-\frac{\pi^2t(2k+1)^2}{2c^2}\right)\cos\left(\frac{(2k+1)\pi ...
0
votes
1answer
38 views

How to interchange sum and integral when measure is in terms of Dirac measure?

Let $\{c_{k}\}_{k\in \mathbb Z} \subset \mathbb C$ such that, $\sum_{k\in \mathbb Z} |c_{k}| < \infty.$ Let $\delta_{k}$ is the unit Dirac mass at $k $, we note that $\mu = \sum_{k\in \mathbb Z} ...
0
votes
0answers
38 views

about lp estimate of Schwartz function

A homework question that I really couldn't find how to start. Prove that for any $f$ in Schwartz class $ \lVert f \rVert_{q} \leq C_{p,q} \lVert \nabla f \rVert_{2}^{a} \lVert f \rVert_{2}^{1-a} $, ...
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
41 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
0answers
21 views

conflictions of analytic functions to the boundary and Schwarz reflection principle

Let $\Omega$ be an open subset of $\mathbb{C}$ and $f:\Omega\longrightarrow \mathbb{C}$ be a holomorphic function. Then for any $z\in \Omega$ and any $r>0$ such that $D(z,r)\subseteq \Omega$, $f$ ...
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} \ ...
0
votes
1answer
37 views

Integral-Fourier sum

I am trying to prove the following relation in (3) where $\alpha,\beta,\gamma,\delta,\omega \in \mathbb{R}$. Given the integral $$ I=\frac{1}{2}\int_0^\alpha dx \left( \beta ...
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 ...
0
votes
0answers
23 views

properties of frequency- decomostion operator $\square_{k}^{\sigma}=\sum_{|\ell|_{\infty}\leq 1}\square_{k}^{\sigma}\square_{k+\ell}^{\phi}$?

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...