2
votes
0answers
60 views

An entropy inequality

Let $f:[0,2\pi]\to \mathbb{R}$ be a smooth, positive function such that $f(0)=f(2\pi)$, and $\int_0^{2\pi}fd\theta=2\pi.$ Is it true that $$2\int_0^{2\pi}f\ln fd\theta- 2\int_0^{2\pi}\ln ...
4
votes
0answers
26 views

Differentiation in Besov-Zigmund spaces

This is my second question in a short time on Besov spaces. I apologize. I am having a rough time with them and I really need to understand this spaces quickly. The besov spaces ...
2
votes
2answers
58 views

Find the $L^2[-\pi,\pi]$ projection of $f(x)$

I need to find the $L^2[-\pi,\pi]$ projection of $f(x)=x^2$ onto the space $V_n\subset L^2[-\pi,\pi]$ spanned by ...
1
vote
1answer
43 views

proving Orthonormal basis

I have given a set of functions in $L^2\left(\left[-\frac{a}{2}, -\frac{a}{2} \right]\right)$ consisting of the following functions: $$u_{n}(x)=\sqrt{\frac{2}{a}}f_n(x),$$ where $f_n(x)= ...
1
vote
2answers
58 views

$2\pi$ in the Definition of Fourier Transform

Most textbooks I read define Fourier transform of a function $f \in L^2(\mathbb R)$ as $$ \hat f (\xi) := \int_\mathbb R f(x) e^{-2\pi i x \xi} dx. $$ However, in class my teacher defines it without ...
3
votes
1answer
72 views

Functions for which $\mathcal{F}g = f \ast f$

Suppose one is given $f \in L^{2}(\mathbb{R})$, my question is whether or not there exists a $g \in L^{1}(\mathbb{R})$ such that $f \ast f = \mathcal{F}g$ where $\mathcal{F}$ is the Fourier transform. ...
1
vote
0answers
30 views

Fourier series and Riemann integral

On the heuristic level, one often says that given a periodic function with period L, its Fourier series converges when $L \rightarrow \infty$ towards a Riemann integral. In other words, the ...
1
vote
1answer
35 views

Can we expect to find $r,$ large enough, so, $\sum_{n\in \mathbb Z} \frac{(1+n^{2})^{s}}{1+(n-y)^{r}}\leq C (1+y^{2})^{s} $ for all $y\in \mathbb R$?

Fix $y\in \mathbb R$ and $s>1.$ Consider the series: $$I(y)=\sum_{n\in \mathbb Z} \frac{(1+n^{2})^{s}}{1+(n-y)^{r}}.$$ My Question is: Can we expect to find $r$ large enough, so that ...
3
votes
0answers
33 views

Can we expect, $h\ast \mu \in L^{2}(\mathbb R, (1+|x|^{2})^{s})$ for $h\in \mathcal{S}(\mathbb R), \mu\in M(\mathbb R)$ and $s>1/2$?

We put, $M(\mathbb R)=$ The space of complex bounded Borel measure on $\mathbb R$ [With each complex Borel measure $\mu$ on $\mathbb R$ there is associated a set function $|\mu|,$ the total variation ...
4
votes
4answers
85 views

a question how to prove:$\sum_{n=1}^{\infty}{{(-1)}^{n-1}{\cos(nx)}\over {n}}=\ln(2\cos(x/2))$

I found a complicated question in my textbook, I can't solve it? How to prove $$\sum_{n=1}^{\infty}{{(-1)}^{n-1}{\cos nx}\over {n}}=\ln(2\cos(x/2))$$ where $x\in(-\pi,\pi)$. My tried method: I tried ...
1
vote
0answers
28 views

Is Sobolev space $H^{s}(\mathbb R),$ for $s>\frac{1}{2},$ closed under point wise multiplication? [duplicate]

We note that, $L^{2}(\mathbb R)$ is not closed under point wise multiplication. Let $s>\frac{1}{2};$ and we define Sobolev space, as follows: $H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb ...
1
vote
1answer
36 views

A problem concerning finite number of Fourier coefficients

Is there a smooth, non-zero $2\pi$-periodic function $f,$ with support of $f$ contained in an interval $[a,b]\subset[0,2\pi],$ such that $b-a<2\pi$ and only finitely many Fourier coefficients of ...
1
vote
1answer
31 views

Prove the uniform convergence of a Fourier series

Suppose that $f$ is a $2\pi$-periodic function that satisfies the estimate $$|f(x)-f(y)|\leq M|x-y|^\alpha$$ for an $0<\alpha<1,$ and let ...
2
votes
2answers
52 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
0answers
29 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
29 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
46 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 ...
1
vote
1answer
26 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
20 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
14 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
42 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
24 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
21 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
30 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
20 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
52 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
45 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
45 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
50 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
14 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
80 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
79 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
47 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
34 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
41 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 ...
1
vote
1answer
22 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
53 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
127 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
38 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
38 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
24 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
35 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
82 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
22 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
112 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
28 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
34 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 ...