All Questions
Tagged with real-analysis harmonic-analysis
274 questions
3
votes
0
answers
90
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101
0
votes
0
answers
71
views
Fourier decay implies what kind of regularity
We consider a function $f:\mathbb R^2 \to \mathbb C$ that is compactly supported and bounded. In addition, we know that
$$\lim_{\vert x\vert \to \infty} \vert x \vert^2 \vert \hat{f}(x)\vert =0,$$
...
0
votes
1
answer
93
views
A question on finite Fourier series
Let $\mathcal F(N)$ denote the space of finite Fourier series up to frequency $N > 0$, i.e. $f\in \mathcal F(N)$ if and only if it can be written as
$$f(x) = \sum_{k=0}^N a_k\cos(kx+\theta_k)$$
for ...
- 71
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
0
votes
0
answers
68
views
Family of separable Hilbert spaces over locally compact form a continuous field of Hilbert space?
Let $\{H_{x}\}_{x\in G^{0}}$ be a family of separable Hilbert spaces and $G^{0}$ be a locally compact second countable topological space. Let $\mathbb{B}_{x}$ be the orthonormal basis of $H_{x}$.
If ...
4
votes
1
answer
204
views
Stationary phase formula for a complex valued phase
I'd be interested in computing an asymptotic expansion when $h \rightarrow 0$, of an integral of the form
$$
I_h = \int_{\mathbb{R}}{e^{\frac{i}{h}\varphi(x)}dx}
$$
where $\varphi : \mathbb{R} \...
- 2,696
0
votes
0
answers
73
views
An example of a groupoid that satisfy the following hypothesis
In the paper titled, 'Tannaka–Krein duality for compact groupoids I, Representation theory', the author proves the Peter Weyl theorem on compact groupoids. In the statement, he gives the hypothesis ...
0
votes
0
answers
84
views
Question on approximation of norms
Suppose that $E\in Int[L_{p},L_{q}]$ for some $1<p<q<\infty$ and $E$ is $w$-concave with $1<w<\infty$. It is well-known that for each $r\geq w$, we have $E=L_{r}\odot F_{r}$ for some ...
- 45
2
votes
0
answers
80
views
Prove uniqueness of Radon transform without using Fourier transform
The uniqueness of Radon transform can be expressed by the following claim (I assumed that the function has compact support for simplicity):
If a continuous function with compact support has zero ...
- 807
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
- 75
2
votes
1
answer
360
views
Asymptotics of an oscillatory integral
For $a > 0$ and $n \in \mathbb Z_+$, consider the oscillatory integral
$$\int_{0}^1 f(x) f(ax) \dots f(a^n x) \, dx,$$
where $f$ is an integrable function on $[0, 1]$, which we extend by ...
- 6,155
1
vote
1
answer
111
views
How to show such result for generalized $ O(|x|^{-1/2}) $ function?
Assuming that $ \chi\in C_c^{\infty}([-2,2]) $ is a cutoff function such that $\text{supp }\chi\subset[-2,2]$, $\chi\equiv 1 $ in $ [-1,1] $, and $ 0\leq\chi\leq 1 $, suppose that $ f\in C^{\infty}(\...
- 1,219
10
votes
1
answer
668
views
On Pareto functions
The Pareto principle says that the top 20% of wealthy people people hold over 80% of the wealth. Suppose we had a non-negative function on $\mathbb R^n$ that satisfied this principle on every open ...
- 6,155
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
1
vote
1
answer
127
views
approximating differentiable functions with double trigonometric polynomials
Let $Q = [0,1]^2$. For sake of notation, let
$$
f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi).
$$
Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if
$$
\|...
- 171
0
votes
0
answers
33
views
Reference request: injectivity of CWT, density of dilations and translations in $L^p$
Recently, I encountered the notion of Continuous Wavelet Transform (CWT), and I find it very intriguing (for a reference, see the wiki). I believe it offers a different and more general perspective on ...
- 807
0
votes
0
answers
70
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
- 807
2
votes
1
answer
112
views
On compactly supported functions with prescribed sparse coordinates
Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
- 4,135
1
vote
0
answers
43
views
If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?
Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be:
$m(x) \cdot \text{div} ( s(x) \nabla f(x))$.
What ...
- 93
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
- 807
1
vote
1
answer
133
views
A question about the maximal function
Let $n>4$, $f\in C^{\infty}(\mathbb{R}^{n})$ and 0 denote the origin of $\mathbb{R}^{n}$. We define a weighted maximal function by $$Mf(x)=\sup_{0<r<1}r^{4-n}\int_{B_{r}(x)}|f|$$ which is ...
- 155
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
0
votes
1
answer
139
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
3
votes
0
answers
90
views
Upcrossing lemma and subharmonic functions
I have been studying the upcrossing lemma for submartingales, which asserts that if $X_n$ is a non negative submartingale, and $
\lambda>0$ then if we denote by $U_n$ the number of $[0,\lambda]$-...
3
votes
0
answers
179
views
Maximum of an integral
Assume that $a>0$ and $r\in[0,1)$. How to prove that the function $$f(p)=\int_{-\pi}^\pi \left (1+r^2+2 r \cos x\right)^{a/2} |(2+a) \cos(x+p)-a r \cos(p)| \, dx$$ attains its maximum for $p=\pi/2$...
1
vote
1
answer
113
views
An integrable estimate of the Hölder constant of the map $x \mapsto \int_{\mathbb R^d} f(y) \partial_1 \partial_1 g_t (x-y) \, \mathrm d y$
Let $(g_t)_{t>0}$ be the Gaussian heat kernel on $\mathbb R^d$, i.e.,
$$
g_t (x) := (4\pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{4t}},
\quad t>0, x \in \mathbb R^d.
$$
Let $f : \mathbb R^d \to \...
- 835
0
votes
1
answer
506
views
Possible research directions in analysis? [closed]
I am an undergraduate student who loves basic mathematics in the analysis branch, but I have learned that some directions, for example, harmonic analysis, are already well developed and difficult to ...
- 101
1
vote
1
answer
139
views
Does there exist a continuous choice of maximizing balls for the Hardy Littlewood maximal function?
Note: Here $\overline B_r (x)$ denotes the closed ball of radius $r$ around $x$.
Let $f \in L^1 (\mathbb R^d)$. We define the averages $A(x, r)$ for $x \in \mathbb R^d$ and $r > 0$ by
$$A(x, r) := \...
- 6,155
1
vote
0
answers
98
views
Periodicity in one Fourier variable
Let $f:[0,1]\times [0,1] \to \mathbb C$ be a double periodic function (periodic in both variables) that depends real-analytically on its argument.
We can thus write $f$ as $$ f(x) = \sum_{n \in \...
2
votes
0
answers
41
views
Blow up for certain classes of distributions
Let $\mathbb D$ be the open unit disc centered at the origin and let $u \in H^{-N}(\mathbb D)$ be a distribution for some natural number $N>0$. Suppose that $$u|_{\mathbb D\setminus \{0\}} \in C^{\...
- 4,135
2
votes
2
answers
615
views
In what sense does the Hermite expansion of a bounded smooth function converge?
Let $f : \mathbb{R} \to \mathbb{C}$ be a smooth and bounded function.
If we denote by $\{ H_n(x) \}$ the sequence of normalized Hermite polynomials, then the Hermite expansion of $f$ is defined as
\...
- 3,477
2
votes
0
answers
70
views
A lemma in the application of Lions's concentration compactness pricnciple in Hardy-Littlewood-Sobolev inequality
I'm encountering some problems when reading Lions' paper "the concentration-compactness principle in the calculus of variations. The limit case, Part 2".
The Hardy-Littlewood-Sobolev (HLS) ...
- 121
5
votes
1
answer
272
views
Is the local maximal function bounded from $W^{1, 1}$ to $L^1$?
Let $f \in W^{1, 1} (\mathbb R^d)$. For every $\varepsilon > 0$, we consider the local maximal function $M_\varepsilon f: \mathbb R^d \to \mathbb R$, defined by
$$M f_{\varepsilon} (x) = \sup_{r \...
- 6,155
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
2
votes
1
answer
165
views
Continuity of an upper semi-continuous function over periodic points
Let $f: X \to \mathbb{R}$ be an upper semi-continuous function on $X$, which is a compact subspace of a vector space. Let sequence $x_n, n \in \mathbb{N}$, with positive elements - periodic: there ...
- 1,043
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
6
votes
1
answer
210
views
Is the Hardy Littlewood “minimal function” comparable to the original function in $L^1$ norm?
Given $f \in L^1 (\mathbb R^d)$, and $\varepsilon > 0$, define the minimal function $m_\varepsilon f$ by
$$m_\varepsilon f(x) := \inf_B \frac1{|B|} \int_B |f| ,$$
where the infimum is taken over ...
- 6,155
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
2
votes
1
answer
215
views
Asymptotics for oscillatory integral
Consider the following integral for $f \in C_c^{\infty}(\mathbb R^n)$, $x_0$ fixed (possibly zero), and $n \ge 3$
$$F(\lambda) = \int_{\mathbb R^n} e^{i\lambda \vert x-x_0 \vert^2} \frac{f(x)}{\vert x ...
1
vote
0
answers
67
views
Estimating commutator of Fourier integral
Let $f(x)= \log(\vert x\vert)$ on $\mathbb R^2$ and define $s_n:H^2 \to L^2$ where $H^2$ is the second Sobolev space by
$$ s_n(g)(x) = \frac{nf(x)}{4\pi i} \int_{\mathbb R^2} e^{\frac{in\vert x-y\...
0
votes
0
answers
93
views
Oscillation of a polynomial
Recently I came across a statement in a paper that I am unable to verify. Namely, it roughly says that the oscillation of a polynomial on a cube can be controlled by the oscillation of the polynomial ...
- 1,045
3
votes
1
answer
108
views
$L^\infty$ bound of $x^m \psi_n(x)$ where $\psi_n$ is a Hermite function and $m,n \in \mathbb{N}$ - extension from Cramer's inequality
For each $n \in \mathbb{N}$, the Hermite function $\psi_n : \mathbb{R} \to \mathbb{R}$ is a Schwartz function defined by
\begin{equation}
\psi_n(x):=(-1)^n(2^n n!\sqrt{\pi})^{-1/2} e^{x^2/2} \frac{d^n}...
- 3,477
4
votes
1
answer
287
views
A lower bound for the $L^1$ norm of real trigonometric polynomials
This question is somewhat similar to Minimizing the L1 norm of odd-term trigonometric polynomial. The context of the question is based on the paper Hardy's Inequality and the $L^1$ norm of Exponential ...
- 270
1
vote
0
answers
68
views
Hilbert like transform on the circle
Suppose that $u $ is a smooth function real valued function defined on an open neighborhood of the unit disc $ \mathbb{D} $, which satisfies a second order elliptic partial differential equation;
\...
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 501
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
2
votes
1
answer
309
views
Reverse estimate on the Riesz potential $I_\alpha : L^{n/\alpha}\to \mathrm{BMO}$
$\newcommand\BMO{\mathrm{BMO}}$Consider the Riesz potential on $\mathbb{R}^n$ given by
$$
I_\alpha f(x) = c_{n,\alpha} \int_{\mathbb{R}^n} \frac{f(y)}{\lvert x-y\rvert^{n-\alpha}} dy.
$$
It is known ...
- 363
5
votes
1
answer
340
views
How to give a counterexample of this estimate related to Paley-Littlewood theorem?
I am studying Paley-Littlewood theorem in Harmonic analysis, and I met an exercise. I would like to construct a function $f$ as a counterexample to show that the inequality
\begin{equation}
\| f \|^...
- 187
1
vote
0
answers
165
views
Question about stationary phase with Hessian close to $0$
Let $\phi$ be a smooth real function in one variable and say $w$ is a smooth function with compact support say $[- 1, 1]$. Let me define
$$
I_{\lambda} = \int_{\mathbb{R}} w(t) e^{i \lambda \phi(t)} ...
- 3,625