All Questions
451 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
1
vote
0
answers
85
views
Density of a subset of Schwartz space in the fractional Sobolev space
It is known that the Schwartz space $\mathcal{S}(\mathbb{R}^N)$ is dense in the fractional Sobolev space $H^s(\mathbb{R}^N)$, (where $0<s<1$), as $C_{c}^{\infty}(\mathbb{R}^N) \subset \mathcal{S}...
0
votes
1
answer
119
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 860
3
votes
1
answer
307
views
Approximate square root of Dirac delta function on $\mathrm{SL}_2(\mathbb{R})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\AdS{AdS}$I hope to find a sequence of complex-valued functions $\{f_i(g)\}$ on the group element $g$ of a locally compact group $\SL(2,\mathbb{R})$ so ...
- 9,486
2
votes
1
answer
2k
views
Monge–Ampère operator
I'm studying the article of Bedford–Taylor "Fine topology, Šilov boundary…" but I don't
understand the proof of the following proposition.
Let $u$, $v$ be plurisubharmonic functions defined ...
CommunityBot
- 1
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 ...
2
votes
1
answer
547
views
Shift-invariant spaces
We can define a shift-invariant space as
$$V_{\varphi}(\mathbb{Z}):=\left\{\sum_{k\in\mathbb{Z}}c_k\varphi({\cdot}-k):(c_k)\in \ell_2\right\},$$
where convergence of the series is taken to be in $L^2(\...
CommunityBot
- 1
1
vote
0
answers
98
views
Equivalence of Sobolev norms for smooth functions with compact support
Let $f\in C^\infty_c([0,1]^n)$, then we can extend it to a $1$-periodic smooth function $\tilde f$. We define the fourier transform (series) of $f$ ($\tilde f$):$$
\hat f(\xi):=\int e^{2\pi i x\cdot \...
- 435
5
votes
0
answers
160
views
Hartman uniform distribution of means
Background: for a discrete abelian group $G$, a character of $G$ is a homomorphism $\chi:G\to \mathbf S^1$, $\mathbf S^1$ being the circle group $\{z\in \mathbb C:|z|=1\}$ with ordinary multiplication....
1
vote
0
answers
174
views
Interpolation of Sobolev spaces with constraints
Let us consider a real interval $[0, L]$, with $a\in (0, L)$, and let $I_1=(0, a)$ and $I_2=(a, L)$. We denote by $H^k(I_1)$ and $H^k(I_2)$ the usual Sobolev spaces, defined for $k\in \mathbb{N}$. Now,...
- 81
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
$$
\|...
CommunityBot
- 1
7
votes
2
answers
824
views
Fourier series of smooth functions in infinitely many variables
Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
CommunityBot
- 1
2
votes
1
answer
121
views
Constructing a function $u$ such that $\int_{\mathbb{R}^2}|\eta-\xi||\hat{u}(\eta)|^2|\hat{u}(\xi)|^2\,d\xi\,d\eta<\infty$, but $u\notin H^{1/2}$
For $u\in \mathcal{S}'(\mathbb{R})$, define, if finite,
$$\Lambda(u)^4=\int_{\mathbb{R}^2}|\eta-\xi||\hat{u}(\eta)|^2|\hat{u}(\xi)|^2\,d\xi\,d\eta.$$
Using the triangle inequality $|\eta-\xi|\le |\eta|...
- 6,476
6
votes
1
answer
285
views
Distinguishing the Besov and Triebel-Lizorkin spaces
Theorem 2.3.9. in Triebel's Theory of Function Spaces states that the Besov space $B^{s_1, p_1}_{q_1} (\mathbb R^d)$ coincides with the Triebel-Lizorkin space $F^{s_2, p_2}_{q_2} (\mathbb R^d)$ if and ...
- 301
23
votes
0
answers
1k
views
Laplace Transform in the context of Gelfand/Pontryagin
Questions:
Is there a class of objects (presumably related to locally compact abelian groups) for which the quasi-characters canonically generalize the Laplace transform?
If not, is there a ...
- 1,124
0
votes
0
answers
34
views
Locally compact groupoid with range map restricted to isotropy groupoid is open
Suppose the action groupoid 𝐺=𝐻⋉𝑋, where 𝐻 is a locally compact group and 𝑋
a locally compact space is such that isotropy subgroups of H are isomorphic to each other.
Can this be an example of a ...
2
votes
1
answer
127
views
Strong Ditkin sets in the Fourier algebra
What is the definition of a Ditkin set (resp. a strong Ditkin set) for the Fourier algebra $A(G)$ of a locally compact (not necessarily abelian) group $G$?
More specifically, let $E$
be a closed ...
- 25.8k
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
3
votes
0
answers
53
views
Bounds on Besov norms for mollification of a bounded Lipschitz function
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
- 63.9k
5
votes
2
answers
258
views
Boundary value of Sobolev space
Let $D$ be a regular domain in $\mathbb R^2$. Suppose that $u \in H_0^1(D) \cap C(D)$. Does this imply $u \in C(\overline D)$ and $u|_{\partial D} = 0$?
- 3,584
1
vote
0
answers
51
views
Compact embeddings RKHSs into Sobolev Spaces
Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
2
votes
0
answers
86
views
Besov spaces containing piecewise linear functions
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
- 63.9k
1
vote
1
answer
151
views
Some operators on spheres
Let $S_2$ be the unit sphere in $\mathbb R^3$ equipped with normalized Haar measure. For a continuous function f and $\delta\in (-1,1)$ define $T_\delta f(x):=\int_{\{y:<x,y>=\delta\}}f(y)d_\...
- 6,035
0
votes
1
answer
123
views
Proving a Fourier transform inequality for functions with mixed variable bounded support
I'm working on a problem involving the Fourier transform and have encountered an inequality that I am unsure how to prove. I would greatly appreciate any help or guidance you can provide.
Let $\gamma\...
- 131
2
votes
1
answer
98
views
Locally compact groupoid with a Haar system such that the range map restricted to isotropy groupoid is open
Can somebody provide an example of a locally compact groupoid $G$ with a Haar system such that the range map restricted to isotropy groupoid of $G$ is open?
I could not find any specific example for ...
4
votes
0
answers
820
views
Calderón's complex interpolation: what is the corresponding classical theorem?
This question is closely related to my answer to Dan's question, which contains the definitions of some terms I use here. In addition, the notion of exact interpolation functor of exponent $\theta$ is ...
- 63.9k
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 148k
5
votes
1
answer
267
views
Example of an $H^1$ function on the bidisk that is not a product of two $H^2$ functions
Fix $n \in \mathbb{N}$ and consider the Hardy space $H^1 := H^1(\mathbb{D}^n)$, consisting of holomorphic functions $f$ on the unit polydisk $\mathbb{D}^n=\mathbb{D}\times\dots\times\mathbb{D}$ such ...
1
vote
0
answers
105
views
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$. Schwartz space is dense in $A$ wrt $\|f\|:= \|\hat{f}\|_1+\|\hat{f'}\|_1$?
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$, where $\hat{f}$ is the Fourier transform of $f$. Then is it true that Schwartz space $\mathcal{S}(\mathbb{R})$ is dense in $A$ ...
- 12.9k
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 188k
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}(\...
- 24.2k
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
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
1
answer
126
views
Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections
I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
- 7,817
3
votes
1
answer
191
views
Complex sum of squares of vector fields (hypoelliptic operators)
Consider a compact $M$ of dimension $n$. Consider real smooth vector fields $X_0, X_1, X_2,..., X_n$ on $M$ and consider the differential operator $\mathcal{L}_1 = \sum_{i = 1}^n X_i^2 + X_0.$
Now, by ...
CommunityBot
- 1
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} \...
- 183
2
votes
0
answers
30
views
Dual of homogeneous Triebel-Lizorkin
Let $ p, q \in (1,\infty)$ and consider the homogeneous Triebel- Lizorkin space $\dot{F}^{s}_{p,q}$ to be the space of all tempered distributions (modulo polynomials) with
$$
[f]^{p}_{\dot{F}^{s}_{p,q}...
- 31
1
vote
0
answers
53
views
Reference for Density question
Let $ B $ be a reflexive, separable Banach space and $ p \in (1,\infty)$. Then denote by $L^{p}(B)$ the space of all functions $$ f : \mathbb{R}^{n} \to B $$ with
$$
\int_{\mathbb{R}^{n}} \vert f \...
- 31
3
votes
0
answers
206
views
Explicit basis of symmetric harmonic polynomials
An orthonormal basis for the space of harmonic polynomials in $n$ variables is provided by the spherical harmonics on the $n-1$ sphere, see e.g. wiki.
From there, constructing an orthonormal basis for ...
- 9,007
-1
votes
1
answer
286
views
Check an equation on the Heisenberg group $H_1$
The Heisenberg group $H_1$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right); \quad \forall z,w \in \mathbb C\,...
- 650
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. ...
- 24.2k
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 \...
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 ...
- 28k
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 ...
- 24.2k
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 ...
- 128k
6
votes
4
answers
8k
views
Characterization of the non-negative definite functions $f(x,y)$
The common definition of the non-negative definite functions is as follows:
Definition 1: A continuous complex-valued function $f(x)$ is called non-negative definite, if for any real numbers $x_1,\...
- 4,713
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 \...
- 6,035
0
votes
0
answers
94
views
The asymptotic behaviour of the Fourier transform of a certain class of radially symmetric functions
Fix $\theta\in (-\pi/2,\pi/2)$ and let $a>0$. Suppose that $f:\mathbb{C}\rightarrow \mathbb{C}$ is analytic in $S:=\{z\in \mathbb{C}: |\arg{z}|<\pi/2\}$ and
$$|f(z)|\sim |z|^{-a},\qquad |z|\to \...
- 63.9k