All Questions
451 questions
4
votes
1
answer
214
views
Equivalent Littlewood-Paley-type decompositions
The theory of Besov and Triebel-Lizorkin spaces usually proceeds by taking a dyadic decomposition of unity, i.e. some non-negative functions $\psi_0,\psi \in C_c^\infty(\mathbb{R})$ such that
\begin{...
- 484
1
vote
0
answers
82
views
For any $\beta>0$, there is a constant $c>0$ such that $\left\|(1-\Delta)^{\frac{\beta}{2}} f\right\|_{\infty} \leq c\|f\|_{C_b^\beta}$
For any $n \in \mathbb{Z}^{+}$, let $C_b^n\left(\mathbb{R}^d\right)$ be the class of real functions $f$ on $\mathbb{R}^d$ with continuous derivatives $\left\{\nabla^i f\right\}_{0 \leq i \leq n}$ such ...
- 835
9
votes
1
answer
415
views
Relationship between Harish-Chandra Schwartz space and more generic Schwartz spaces
If $G$ is a connected semisimple Lie group with finite center, Harish-Chandra defined a Schwartz space of rapidly decreasing functions on $G$ as the space of $\mathrm{C}^\infty$ functions defined by ...
CommunityBot
- 1
2
votes
0
answers
139
views
Multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
How to rigorously demonstrate that multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
I am utilizing the exponential type definition established by Elias Stein in the book 'Fourier ...
- 21
1
vote
1
answer
138
views
Can functions with "big" discontinuities be in $H^1$?
How can I prove that the function:
$$u:\Omega\to\mathbb{R},\ u(x)=\begin{cases} 0, x\in\omega \\[3mm] v(x), x\in\Omega\setminus\omega\end{cases}$$ is not in $H^1(\Omega)$, knowing that $v\geq 1$ is ...
- 1,759
1
vote
0
answers
210
views
Is this a well known space? Perhaps homogeneous Sobolev-like space?
The homogeneous Sobolev space $\dot H^s(\mathbb{R}^n) $ is often defined as the closure of $\mathcal{S}(\mathbb{R}^n)$ under the norm
$$ || |\omega|^s \widehat{f} ||_{L^2(\mathbb{R}^d)} =\int_{\...
- 197
0
votes
1
answer
161
views
Does convolution with $(1+|x|)^{-n}$ define an operator $L^p(\mathbb R^n) \to L^p(\mathbb R^n)$
Suppose that $f : \mathbb R^n \to \mathbb R^n$ is a locally integrable function. I am interested in the integral
$$ x \to \int_{\mathbb R^n} ( 1 + |y| )^{-n} f(x-y) \;dy $$
If the decay of the ...
- 128k
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 ...
- 684
3
votes
0
answers
84
views
Convergence of the Gaussian integral on $\mathcal{E}'$ for a mapping supported on $L^2$
Let $F : L^2(S^1) \to L^2(S^1)$ be a (nonlinear) mapping such that
\begin{equation}
\lVert F(f) \rVert \leq \lVert f \rVert
\end{equation}
for all $f \in L^2(S^1)$. For the space of smooth periodic ...
- 3,477
5
votes
1
answer
566
views
Could we interpolate the compactness of compact operators?
Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operators, viz., the ...
- 1,446
11
votes
2
answers
720
views
Spherical harmonics – pointwise and L1 bounds
Let $\{ \phi _{d,m}\}_{m\geq 1}$ be multi-dimensional spherical harmonics, i.e., solutions of $\Delta \phi = E\phi$ on the sphere $S^d$ for $d>1$, arranged in an increasing order $E_1 \leq E_2 \leq ...
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 ...
- 6,215
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
1
vote
2
answers
181
views
Solution of $\Delta f -\frac{1}{2}hf = 0$ behaves asymptotically as $f(x) = 1 - C/|x|$
Let $f: \mathbb{R}^{3} \to \mathbb{R}$ be the solution of the following PDE:
$$\Delta f -\frac{1}{2}h f = 0$$
where $h \in C_{c}^{\infty}(\mathbb{R}^{3})$ (compactly supported an smooth) and $f$ ...
- 646
5
votes
1
answer
855
views
$L\log L$ and Hardy space on the upper half plane
Set $\mathbb{T}$ the unit circle, $dm$ the Lebesgue measure on $\mathbb{T}$ and $\mathbb{C}^+=\left\{z\in \mathbb{C},s.t.\,\Im(z)>0 \right\}$ the upper half plane.
It is well-known that the Cauchy ...
CommunityBot
- 1
8
votes
2
answers
644
views
Uniqueness of the uniform distribution on hypersphere
I'm looking for a uniqueness-type result for the following problem, which is related to the uniform distribution in the hypersphere $\mathbb{S}^{p-1}$. Suppose $f$ is a sufficiently smooth function on ...
- 1,190
2
votes
1
answer
145
views
Orthonormal bases in RKHSs via interpolating sequences
Definitions and setting
Let $\mathcal{H}$ be a separable, infinite-dimensional, reproducing kernel Hilbert space on a nonempty set $X$. As usual, denote the reproducing kernel on $\mathcal{H}$ by $K$ ...
1
vote
0
answers
120
views
Is a discrete harmonic function bounded below on a large portion of $\mathbb{Z}^2$ constant?
In the paper https://doi.org/10.1215/00127094-2021-0037, the main result is if we partition the plane $\mathbb{R}^2$ into unit squares (cells) so that the centers of squares have integer coordinates ...
- 63.9k
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
337
views
Is there an operation in topology analogous to the operation of averaging over a compact subgroup in harmonic analysis?
Let me start with the following
Illustration: Let $G$ be a compact group, and let $\pi:G\to H$ be its (surjective) continuous homomorphism onto a (compact) group $H$. So we can think that $H$ is the ...
- 7,426
9
votes
0
answers
240
views
What is known about when $vN(G)$ is a factor, for a locally compact group $G$?
When $G$ is a discrete group, it is an elementary result in the theory of von Neumann algebras that the group von Neumann algebra $vN(G)$ is a factor if and only if $G$ is an ICC group.
What is known ...
- 146
5
votes
1
answer
311
views
Maximal operator estimates for the Schrödinger equation
Let $a>0$ and consider the operator
$$Tf(t,x)= \int_{\mathbb{R}^{n}}e^{ i x\cdot \xi} e^{i t \lvert\xi\rvert^{a}} \widehat{f}(\xi) \, d\xi.$$
When $a=2$, the function $Tf$ solves the Cauchy problem ...
- 852
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}...
- 128k
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}\},$$ ...
- 11
1
vote
1
answer
113
views
The notion of "Admissible" and "Permitted" in the context of convolution with distributions and hypocontinuity
I am reading the paper "On Convolutions" (1958) and have encountered the notion of "Admissible" and "Permitted" spaces.
In p.17-18 of the above paper, it says that an ...
- 16.4k
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
4
votes
0
answers
495
views
Fixing the duality $L^\infty(X)= L^1(X)^*$ for Radon measure spaces
Consider the following fragment from Folland's book "A course in abstract harmonic analysis":
Let me denote the Borel subsets of $X$ by $\mathscr{B}(X)$. Folland claims that if $\mu$ is a ...
- 175
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 \|^...
6
votes
1
answer
134
views
Multi-parameter stationary phase asymptotic expansion
I am looking for an asymptotic expansion of the oscillatory integral of the form
$$\int_{\mathbb{R}^n}f(x)\exp(i(\lambda_1\phi_1(x)+\dots+\lambda_k\phi_k(x))dx,$$
as $\lambda_i\to \infty$ ...
- 188k
1
vote
1
answer
433
views
Why complex conjugate in definition of the Fourier transform?
Let $G$ be a locally compact abelian group and $f:G \to \mathbb{C}$ a function. Its Fourier transform (when it exists) is defined to be
$$\widehat{f}(\chi) = \int_G f(g) \bar{\chi}(g) \mathrm{d} g,$$
...
- 16.2k
2
votes
0
answers
206
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
6
votes
1
answer
290
views
Does the topological Varopoulos algebra consist of functions that are continuous and Varopoulos norm bounded?
Let $X_1,\dots,X_n$ be compact Hausdorff spaces. Let's define the Varopoulos algebra as the projective tensor product: $$V(X_1,\dots,X_n) := C(X_1) \hat{\otimes} \dots \hat{\otimes} C(X_n),$$ i.e. the ...
- 2,821
0
votes
1
answer
191
views
Littlewood-Paley characterisation of Hölder regularity
I am going through Terence Tao's "Nonlinear Dispersive Equations (Local & Global Analysis)" and trying to work through some of his exercises. However, I find myself being stumped by ...
- 39k
7
votes
3
answers
1k
views
Condensed Pontryagin duality
Has Pontryagin duality been extended to condensed abelian groups? The obvious approach being to define $\hat M$ as the internal hom to the circle group. Is it true that $\hat{\hat M}=M$ with this ...
- 356
27
votes
4
answers
8k
views
Proofs of Young's inequality for convolution
For $1\leq p,q \leq \infty$ such that $\frac1p +\frac1q\geq 1$, Young's inequality states $\|f\star g\|_r\leq \|f\|_p\|g\|_q$ (we work on $\mathbf{R}^d$ here), where $1+\frac1r = \frac1p+\frac1q$. ...
CommunityBot
- 1
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^...
- 128k
6
votes
0
answers
217
views
Detailed examples of induction on scale
I'm trying to understand the induction on scale argument in harmonic analysis. On this abstract it's mentioned that induction on scale can be used to prove Cauchy Schwartz inequality, Beckner's tight ...
- 6,367
1
vote
1
answer
86
views
Discrete uniqueness sets for the two-sided Laplace transform?
Let $f : \mathbb R_+ \to \mathbb C$ be a measurable and integrable function where $\mathbb R_+ = [0,\infty)$. The Laplace transform of $f$ is given by
$$
Lf(s) = \int_0^\infty f(x)e^{-sx} \, dx.
$$
A ...
- 91.8k
0
votes
1
answer
170
views
When some Fourier coefficients are fixed, can we control the extremals of the function?
Let $n$ be a odd number. Does there exist any $2\pi$-periodic continuous function $f
:\mathbb{R}\to \mathbb{R}$ such that the following points simultaneously hold?
1- $-n\lneqq f_{\min}$ (where $f_{\...
- 3,808
3
votes
0
answers
162
views
The essential norm where some Fourier coefficients are fixed
Let us denote $C_{2\pi}$ by the set of all $2\pi$-periodic continuous functions $f:\mathbb{R}\to \mathbb{R}$.
Q. Let $\phi\in C_{2\pi}$. Is the following statement valid?
$$\|\phi\|_2=\inf_{g\in C_{2\...
- 4,058
1
vote
0
answers
864
views
A guide to the work of Timothy Gowers on Banach Spaces [closed]
I'm undergraduate student and I'm thinking of doing my graduation thesis on some of Prof. Gowers work on Banach Spaces. It is not required to produce an original result in my thesis, I'm only asked to ...
- 4,713
4
votes
0
answers
189
views
About the structure of smooth automorphic forms
Recently I read Prof. Cogdell's notes: Lectures on L-functions, Converse Theorems, and Functoriality for $GL_n$. (Co)
In chap.2.3, the conception of smooth automorphic forms is introdued. Explicitly, ...
- 111
3
votes
1
answer
443
views
Endpoint Calderon-Zygmund inequality of nonlocal fractional laplacian
For $s\in(0,1],$ consider the following non-local fractional laplacian:
$$(-\Delta)^sv= f ~~\text{on } \mathbb{R}^n.$$
Then how to use "the standard elliptic estimate" to obtain:
for $p\in[...
- 791
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-...
- 1,713
4
votes
0
answers
60
views
Conditions ensuring that the paraproduct remainder is well-defined
In short, my question is: are there conditions that one can impose on two tempered distributions $u$ and $v$ that will guarantee that the paraproduct remainder $R(u,v)$ is well-defined and is "...
- 63.9k
7
votes
1
answer
290
views
Square-root lattices: where do they appear?
As an experimental physicist working on crystallography I'm often dealing with the reconstruction of an object from intensity data that emerge from an imaging device. In mathematics the problem is ...
CommunityBot
- 1
2
votes
0
answers
88
views
Explicit estimates on summability kernels
A "summability kernel" is a sequence of functions $k_n:[0,1)\to \mathbb C$ such that
$$ \int_0^1 k_n(t) \mathrm d t =1,$$
$$ \int_0^1 |k_n(t)| \mathrm d t =O(1),$$ with an implied constant ...
- 3,062
1
vote
0
answers
78
views
A statement on completeness of complex exponentials
I'm currently reading a paper by Olevskii on almost integer translates: https://www.sciencedirect.com/science/article/pii/S0764444297878731
In this paper the author considers for a given sequence $\{ \...
- 437
6
votes
1
answer
491
views
Harmonic analysis for a beginner
I am currently dealing with discrete Fourier transform and correlation technique to construct the spectrum of a broad band signal. It's already known that if I have enough observations of the signal, ...
- 188k