2
votes
0answers
16 views

Calderón reproducing formula : $\int_{0}^{\infty}\int_{R^d}|\phi_{t}(x-y)||(\phi_t*f)(y)|\frac{dt}{t}dy<\infty$

Suppose that $\int f=0$, $f \in L^2$ and $f$ has a compact support. Let $\phi$ be radial, and such that $\mathrm{supp}(\phi) \in B(0,1)$. Plus, assume that $\int_{R^+} ...
1
vote
0answers
28 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
33 views

Is the action on $L^2$ arising from a measure preserving action continuous?

Let $G$ be a locally compact topological group, $X, \mu$ a probability space, and $G\times X \rightarrow X$ a measurable group action which preserves $\mu$ (i.e. $\mu (gA)=\mu(A)$) . Does it follow ...
0
votes
0answers
11 views

The variation of Calderon reproducing formula

I'm reading the book 'Classical and multilinear harmonic analysis, Muscalu'. I fail to understand the page 261. Actually, I doubt that the proof is right. Let $f \in BMO(\mathbb{R^d}$) have compact ...
2
votes
2answers
46 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 ...
8
votes
0answers
274 views

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
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 ...
1
vote
1answer
39 views

If A has positive Haar measure then $AA^{-1}$ is a neighborhood of $e$

I read the following exercise: Prove that if $G$ is a locally compact topological group with Haar measure $\mu$ and $A \subset G, \mu (A) >0$, then $AA^{-1}$ contains an open neighborhood of the ...
5
votes
1answer
76 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 ...
5
votes
0answers
135 views

Why is the derivative of the translates of a measure measurable?

Let G be a topological group and X a measure space. Let $G \times X \rightarrow X$ be a measurable group action, $\mu$ a $\sigma$-finite measure on $X$, and $g\mu$ (for any $g \in G$) the measure ...
3
votes
1answer
50 views

About p-adic numbers

I'm studying the dual group of the diadic rationals, $\widehat{\mathbb{Z}[1/2]}$, where the dual is the dual of Pontryagin of $\mathbb{Z}[1/2]$. In some papers says that $\widehat{\mathbb{Z}[1/2]}$, ...
0
votes
1answer
14 views

Fourier coefficients of a measure and absolute continuity

A relative of a theorem of Peyriere (found in a 1997 paper of Klemes and Reinhold, "Rank One Transformations with Singular Spectral Type") says that if $\mu$ is a Borel probability measure on $S^1$ ...
4
votes
1answer
29 views

restriction of unitary operator is unitary?

Let $\mathcal{U}: \mathcal{H} \rightarrow \mathcal{H}$ be a unitary operator on a Hilbert space $\mathcal{H}$. If $\mathcal{K}\subset \mathcal{H}$ is a closed subspace such that ...
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
1answer
33 views

Mean Value Property and Harmonic functions: a simple exercise

Let $f:[a,b]\to\mathbb{R}$ such that for every $h>0$ such that $$(x-h,x+h)\subset[a,b]$$ we have $$f(x)=\frac{1}{2}(f(x-h)+f(x+h)).$$ How can I conclude that $f$ is harmonic in $[a,b]$? My idea ...
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
20 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
1answer
79 views

Show that $\log(x)$ is a Bounded Mean Oscillation (BMO)

As an extension of our class notes, we were asked to show that the function $w =\log(x)$ is a Bounded Mean Oscillation (BMO). First off, I believe our professor made a mistake, and really wanted us ...
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
31 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)= ...
1
vote
1answer
30 views

Estimative with kernels of the Riesz transform

Let $x=(x_1,x_2)$ and $k(x)=\frac{x_1}{|x|^3}$, $|x|>0$. Condider $x,y\in\mathbb{R^2},\xi=|x-y|, \tilde{x}=\frac{x+y}{2}$ then $|k(x-t)-k(y-t)|\leqslant C\frac{|x-y|}{|\tilde{x}-t|^3}$ when ...
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
14 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 ...
1
vote
1answer
64 views

Uniqueness for second order PDE $-\Delta u = c(u)$

I'm trying to solve the following problem: Let $\Omega$ be an open set in $\mathbb R^n$ and consider the equation \begin{cases} -\Delta u = c(u) & \text{ on } \Omega \\ u = 0 & \text{ on } ...
3
votes
0answers
71 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
115 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 ...
5
votes
4answers
809 views

Proof of Riemann-Lebesgue lemma

I read a book, and this mention to the following lemma of Rieman-Lebesgue type. Lemma. Let $-\infty<a<b<\infty$ and $f(x,y):[a,b]^2\to\mathbb R$ be an integrable and nonnegative function. ...
6
votes
1answer
56 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$ ...
0
votes
1answer
54 views

Poisson Integral of a Lipschitz continuous function

I am reading a paper that makes reference to the following fact: Suppose $f:\mathbb{R}\rightarrow\mathbb{R}$ is Lipschitz continuous of some positive order $\alpha$. Let $H(x,y)$ be the extension of ...
0
votes
0answers
60 views

about the classical Hardy Littlewood Sobolev inequality

The Hardy - Littlewood - Sobolev inequality says : Let $0< \alpha < N$ , $1 \leq p,q < \infty$ with $\frac{1}{q} = \frac{1}{p} - \frac{\alpha}{N}$, Consider $I_{\alpha} f (x) = c_{\alpha , ...
1
vote
1answer
44 views

Interesting equation in L^1

Consider $L^{1}(T) = \{ f : R \rightarrow C \text{ with period 1 and } \int_{0}^{1} |f (x)| \ dx < \infty\}$. For $f,g \in L^{1}(T)$ the convolution is given by $(f * g)(x)= ...
1
vote
1answer
34 views

Doubt in the definition of the Fourier transform in $L^{2}(\mathbb R^n)$

I am trying to understand the definition of the Fourier transform in $L^{2}(\mathbb R^n)$ . I am understand of this manner : Let $f \in L^{2}(\mathbb R^n)$ and $n$ a natural number. Define $f_n = f ...
4
votes
1answer
76 views

Taylor expansions of harmonic functions.

Let $D \subset \mathbb{R}^2$ be the unit open disc. Note that any harmonic function on $D$ is real analytic. How can one prove that there exits a constant $C>0$ such that the Taylor expansion of ...
2
votes
1answer
59 views

A question on Harmonic functions.

$f$ and $g$ are two given continuous functions on $\overline {D(0,1)}$) and both $f$, $g:\overline {D(0,1)}\to\Bbb R$ are harmonic on unit disc $D(0,1)$. Now, If $f\equiv g$ on some $C=\{e^{i\theta} ...
0
votes
0answers
42 views

If a normal subgroup, N, contains a lattice why does G/N have finite measure?

Suppose $G$ is a locally compact Hausdorff topological group and suppose $H \leq N \leq G$ are closed subgroups with $N$ normal. Now suppose $G/H$ has a finite $G$-invariant Boreal measure (in the ...
1
vote
2answers
115 views

(Obvious?) Half-Space Poisson Kernel Estimate

In Stein's Singular Integrals and Differentiability Properties of Functions, Theorem 1 (a) of Chapter 8 (pg. 197) he makes the claim without proof that the Poisson Kernel for the half-space ...
1
vote
1answer
57 views

definition of weak*-weak* continuous

I'm reading a paper and I have couple of terms which I can't seem to find the definition for, the first one 1) what do we mean by weak*-weak* continuous map. 2) what is the definition of a left ...
4
votes
2answers
139 views

Problem of Harmonic function.

If H is a harmonic function on an unit disk; And $H=0$ on $R_1\cup R_2$, here $R_1, R_2$ are radius of $D(0,1)$. The angle between $R_1$ and $ R_2$ is $r\pi$; here $r\in (0,1]$. If $r$ is an ...
5
votes
2answers
174 views

equation involving the integral of the modular function of a topological group

Let $G$ be a locally compact topological group and $H$ a closed subgroup. Choose a left Haar measure $d\zeta$ for $H$, and let $d\mu$ be any measure for $G$. Also let $f$ and $g$ be continuous ...
3
votes
2answers
162 views

Why isn't the parallel between the Fourier transform and the Laplace transform complete?

I mean the question in the following sense. For Fourier, we can do it on compact intervals and then we get a sequence of coefficients. We can do it continuum-style, and then we get a superposition ...
2
votes
0answers
56 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
2
votes
0answers
95 views

A problem concerning measures on locally compact spaces

I am stuck on a question for quite sometime now, although in the text (http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Jewett.pdf , Pg. 10, 2.3E ) it is said ...
1
vote
0answers
41 views

The Fourier Stieltjes transform is uniformly continuous

Let $G$ be a locally compact Abelian group and $\hat{G}$ be its dual group, that is the group of all complex functions $\gamma:G\to\mathbb C$ such that ...
4
votes
1answer
53 views

schwarz class and $L^2(\mathbb{R})$

Schwarz and $L^2$ both have the property that the Fourier transform is defined and bijective as a self-map of these spaces. Are they related in anyway or is this coincidence? (i.e. dual in some ...