All Questions
98 questions
3
votes
0
answers
91
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
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 ...
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
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
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
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,143
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
140
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 ...
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
507
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
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
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
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
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^{...
- 521
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
7
votes
1
answer
370
views
Duality of $H^1$ and BMO
While proving that the dual of $H^1$ is $BMO$ in Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, page 143, Stein says that we have $\left\Vert g \right\Vert_{H^1} \...
- 71
2
votes
1
answer
60
views
Specific estimation of the norm for a linearly transformed function in $\mathcal{S}_0^{\beta}(\mathbb{R}^n)$
According to the standard definition, $\mathcal{S}_0^{\beta}(\mathbb{R})$ is a subspace of smooth functions on $\mathbb{R}$ with the property that
\begin{equation}
\lvert x^k f^{(q)}(x) \rvert \leq CA^...
- 3,477
7
votes
2
answers
508
views
Why is $\frac{1}{|x|^{n-2}}u(\frac{x}{|x|^2})$ harmonic if $u$ is harmonic?
I found myself trying to prove the following, but I had to compute everything explicitly.
It is well known that if $u:\mathbb{R}^n\to\mathbb{R}$ is an harmonic function on $\mathbb{R}^n$, then the so-...
- 213
4
votes
0
answers
68
views
Maximal function estimate for differential quotient of function satisfying $\nabla f \in BMO$
For a function $f \in W^{1,p}(\mathbb R^N)$, it is well-known that there exists a constant $C_N$ (dependent on $N$) such that
$$
|f(x)-f(y)| \le C_N|x-y|(\mathcal M|\nabla f|(x) + \mathcal M|\nabla f|(...
- 61
4
votes
1
answer
355
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 854
2
votes
0
answers
216
views
Fourier transform of Dirac delta distribution
Let $f,g$ be Schwartz functions on $\mathbb R^4$, we denote them as $\mathcal S(\mathbb R^4)$, one can then define the transform $V$ mapping $f,g$ to a Schwartz function $\mathcal S(\mathbb R^8)$
$$ V(...
- 73
9
votes
2
answers
1k
views
Density of restrictions of harmonic functions inside a ball
Let $B$ be the closed unit ball in $\mathbb R^3$ centered at the origin and let $U= \{x\in \mathbb R^3\,:\, \frac{1}{2}\leq |x| \leq 1\}.$ Let
$$ S_U= \{u \in C^{\infty}(U)\,:\, \Delta u =0 \quad\text{...
- 4,143
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 4,058
0
votes
1
answer
88
views
An equation in the convolution measure algebra on reals
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals.
Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
- 4,058
0
votes
0
answers
84
views
Determining the tails of a convolution from its behavior on a compact set
Let $p$ be a smooth (say, $C^\infty$, but this is not crucial) density on the interval $I=[0,1]$ and $g_\sigma$ be the density of $N(0,\sigma^2)$. Define $f=p\ast g_\sigma$. To what extent does the ...
- 19
1
vote
1
answer
518
views
On level sets of smooth functions in a bounded domain
Let $\Omega$ be a bounded domain in $\mathbb R^n$, $n\geq 2$, with a smooth boundary and let $f$ be a smooth function on $\bar\Omega$. Is there a natural condition that one can impose on $f$ ( say in ...
- 11
2
votes
0
answers
164
views
(Generalized) Uncentered Maximal Function $\tilde Mf$ in Stein's Harmonic Analysis
It is well known that on $\Bbb R^n$, equipped with the usual Lebesgue measure, the standard Hardy-Littlewood maximal function $Mf(x)$ (with respect to averaging on cubes or balls centered at $x$) is ...
- 1,245
23
votes
9
answers
2k
views
Nonseparable counterexamples in analysis
When asking for uncountable counterexamples in algebra I noted that in functional analysis there are many examples of things that “go wrong” in the nonseparable setting. But most of the examples I'm ...
3
votes
1
answer
191
views
A convolution type singular integral operator with log
Define a convolution type operator $T_m$ by
$$T_m(f) = p.v.\int_\mathbb{R}f(x-y)\frac{\log^m|y|}{y}dy.$$ Here $m\ge0$ is an integer.
Consider $f \in H^s (s > 0)$ which is the usual Sobolev space. ...
- 903
3
votes
2
answers
203
views
What is the distribution of the following limit?
Assume $x \in \mathbb{R}$. We already know that
$$\lim_{\epsilon \to 0+} \frac{1}{x-i\epsilon} - \frac{1}{x+i\epsilon} = 2\pi i \delta_x.$$
Here $\delta_x$ denotes the Dirac distribution. If we ...
- 903
3
votes
1
answer
203
views
Using Fourier series to prove $-\int_0^1 u_{xxx}u_x \eta = \int_0^1 (u_{xx})^2\eta - \int_0^1 \frac{1}{2} (u_x)^2 \eta_{xx}$
Let $u, \eta$ be smooth functions and $\eta$ compactly supported in $(0,1)$. Integrating by parts, we can easily prove $$-\int_0^1 u_{xxx}u_x \eta = \int_0^1 (u_{xx})^2\eta - \int_0^1 \frac{1}{2} (u_x)...
user139844
1
vote
1
answer
135
views
Integrability of $\exp\left(p\int_0^t |w(s,x(s,y))| \mathrm{d}s\right)$ for $w\in L^\infty(0,T;BMO(\mathbb{T}^d))$
Let $w\colon [0,T]\times\mathbb{T}^d \to \mathbb{R}^n$ be such that
$$ \|w\|_{L^\infty(BMO)} := \sup_{t\in[0,T]}\|w(t,\cdot)\|_{BMO} \leq C $$
and $\int_{\mathbb{T}^d} w(t,x)\mathrm{d}x = 0 $ for all $...
- 123
0
votes
0
answers
152
views
Predual of $BMO(\mathbb{T}^d) $
In 1971, Fefferman characterized the predual of $BMO(\mathbb{R}^d)$ as the Hardy space $H^1(\mathbb{R}^d)$.
Is there a characterization of the predual of $BMO(\mathbb{T}^d$)?
- 11
4
votes
0
answers
205
views
Harmonic functions in upper half plane
Let $\mathbb H^+$ denote the upper half plane in $\mathbb R^2$. Consider the following equation
\begin{equation}\label{pf0}
\begin{aligned}
\begin{cases}
\Delta u=0\,\quad &\text{on $\mathbb H^+$},...
- 4,143
4
votes
1
answer
221
views
Is a specific product function orthogonal to all harmonic functions
Suppose $\Omega=[-1,1]^3$. Let $f:[-1,1]\to \mathbb R$ and $g:[-1,1]^2\to \mathbb R$ be smooth functions and suppose that given any harmonic function on $\Omega$ (i.e. $\Delta u =0$ on $\Omega$), with ...
- 4,143
2
votes
0
answers
120
views
Hilbert transform on a Besov space
Consider the usual Hilbert transform of periodic functions
$$H(f) = \frac{1}{2\pi}P.V.\int_{-\pi}^{\pi}\cot(\frac{x-y}{2})f(y)dy.$$
We know $H$ does not map $L^\infty$ continuously to $L^\infty$. Now ...
- 903
2
votes
0
answers
158
views
Estimate involving Besov norm
When reading some old notes of my advisor on interpolation spaces, I bumped into a problem I can't quite wrap my head around. Here are the details.
For $p\in(0,\infty)$ a $p$-variation semi-norm of a ...
- 421
3
votes
1
answer
404
views
The sign of the tail of Fourier transform of a positive function/ characteristic function
I am interested in a specific density (positive function) and would like to prove that the tail of its characteristic function (Fourier transform) is positive ($>0$). Here is the density $f(x)=c_\...
- 178
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 192
13
votes
0
answers
395
views
Converse to Riesz-Thorin Theorem
Let $T$ be an operator on simple functions on (say) $\mathbb{R}$.
The Riesz-Thorin interpolation theorem, in one form, says that the Riesz type diagram of $T$ is a convex subset of $[0,1]\times[0,1]$....
- 854
2
votes
0
answers
171
views
How to use Stein-Tomas theorem to check to following inequality?
Recently, I am reading Rodnianski & Schlag
Time decay for solutions of Schrödinger equations with rough and time-dependent potentials. In lemma 3.2, R&S said that by using Stein-Tomas theorem ...
- 429