All Questions
Tagged with fa.functional-analysis harmonic-analysis
451 questions
2
votes
1
answer
352
views
Wendel Theorem for center of group algebra
Let $G$ be a locally compact SIN-group. Then $ZL^{1}(G)$ has a bounded approximate identity. I want to prove that the multiplier algebra of $ZL^{1}(G)$ is equal to $ZM(G)$ (center of measure algebra). ...
2
votes
2
answers
161
views
Non-global oscillation of banded Fourier transform
Can we say something like monotonicity, growth rate and oscillation of the Fourier transform of a banded function $f$ with support $[0, N]$
$$\mathcal{F}f(\xi) = \int_{0}^N f(x)e^{-ix\xi}dx.$$
Of ...
- 55
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 ...
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
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$ ...
- 5,405
2
votes
1
answer
128
views
Regarding basis of holomorphic Hardy space
Let $\Omega\subset\mathbb{C}^n$ be any $C^{\infty}$ bounded domain and let $H^2(\partial\Omega)$ denotes a holomorphic Hardy space which is a $L^2(\partial\Omega)$ closure of $A^{\infty}(\Omega)(=\...
- 63
2
votes
1
answer
181
views
On a paper by Adams and Frazier
I am reading a paper by Adams and Frazier (namely Adams, Frazier, Composition operators on potential spaces. Proc. Amer. Math. Soc. 114 (1992), no. 1, 155–165, available here), whose main purpose is ...
- 3,146
2
votes
1
answer
1k
views
Pointwise convergence implies uniform convergence?
Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like
$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$
Assume that $K\in C^{\text{bounded}...
- 329
2
votes
1
answer
285
views
Does Fourier Algebra of locally compact group separate compact sets of the group?
Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of $\...
- 185
2
votes
1
answer
313
views
Spherical decreasing rearrangement on the sphere
On $\mathbb{R}^n$, we have the concept of spherically decreasing rearragement of a function, which means, given a function $f$, one can design a radial and decreasing function $f^*$ such that $\Vert f^...
- 21
2
votes
1
answer
383
views
Hardy space, Lebesgue space for $p<1$,
We denote $\mathcal D'(\mathbb R^n)$ the space of distributions, and $\mathcal D(\mathbb R^n)$ the space of smooth, compactly supported functions.
Let $\rho\in \mathcal D'(\mathbb R^n)$ such that ...
- 630
2
votes
2
answers
210
views
The convolution between weighted $L^1$ space and normal $L^1$ space
Let $\omega\in L^1_{\text{loc}}(\mathbb R^N$) be given. We assume that $\omega\geq 1$, l.s.c, and satisfies, for a constant $C>0$,
$$
\frac{1}{|B(x,r)|}\int_{B(x,r)}\omega(y)dy\leq C\omega(x)
$$
...
- 679
2
votes
1
answer
396
views
$BMO$-property via a John-Nirenberg type estimate?
Let $\Omega \subset \mathbb R^d, d\ge 2$, be bounded and denote a ball in $\mathbb R^d$ by $B$. Denote also
$$
f_B:= \frac1{|B|}\int_B f \, dx.
$$
Suppose $f \in L_{\rm loc}^p(\Omega)$ for all $1<p&...
- 632
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 ...
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
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
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
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
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
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
2
votes
0
answers
99
views
Anisotropic Calderon-Zygmund decomposition
I am looking for the following version of Calderon-Zygmund decomposition, consider an function $f \in L^1(R^{d+1})$ and cylinders of the form $Q_{R,R^p}$ for some fixed $p \in (0,\infty)$, The ...
- 455
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
2
votes
0
answers
81
views
An square root of the multiplicative operator on $\ell^1(\mathbb{Z}_n)$
Let us consider the finite group algebra $\ell^1(\mathbb{Z}_n)$. Let $x=(x_0,\cdots,x_{n-1})$ in $\ell^1(\mathbb{Z}_n)$ and define
$$M_x: \ell^1(\mathbb{Z}_n)\to \ell^1(\mathbb{Z}_n) : M_x(a)=a*x$$
...
- 4,058
2
votes
0
answers
149
views
A closed ideal in $L^1(T)$
Let $\mathbb{T}$ be the unit circle and consider the convolution group algebra $L^1(\mathbb{T})$. Let $I_n$ be the closed ideal generated by the polynomial $p_n(z)=z^n-1$ in $L^1(\mathbb{T})$.
Let $I=...
- 4,058
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(\...
- 49
2
votes
0
answers
117
views
Is the cone of positive elements in $L^1(G)$ norm closed?
Let's consider $L^1(G)$, the Banach $*$- algebra of all Lebesgue integrable functions on the locally compact group $G$. Put $L^1(G)_+$ by the cone of positive elements given by $\{\sum_1^n f_i^**f_i: ...
- 4,058
2
votes
0
answers
190
views
Inequality on the dual space of $H^s$
Does there exist a theorem that allow us to say that, if we have an estimate on the Sobolev space $H^s\,,\, s\geq 0$ then we can deduce an estimate on the dual space $H^{-s}$ ?
For instance, assume ...
- 93
2
votes
0
answers
120
views
Does a holomorphic function with logarithmic growth at the boundary have $L^2$ boundary values?
Let $f(z)$ be a holomorphic function on the unit disc, with logarithmic growth at the boundary:
$$
|f(z)| = \mathcal O\bigg(\log\Big(\frac{1}{1-|z|}\Big)\bigg).
$$
Does it follow that the (...
- 43.2k
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
2
votes
0
answers
191
views
Convergence in $S'(\mathbb R^d)$ of the paraproduct $\dot{T}_uv$
Let $B = B(0,4/3)$, $C = \{x \in \mathbb R^d : 3/4 \leq \|x\|_2 \leq 8/3\}$ and $\tilde{C} = \{x \in \mathbb R^d : 1/12 \leq \|x\|_2 \leq 10/3\}$.
For a fixed Littlewood-Paley decomposition $\chi \in \...
- 233
2
votes
0
answers
169
views
Functions whose Fourier coefficients satisfy $ \sum_{k=1}^\infty |c_k| < 1 $?
Let $f:(0,1) \to \mathbb R$ be a function that can be written as $$f(x) = \sum_{k=1}^\infty c_k \phi_k(x),$$ where $\phi_k(x) = \cos(\pi k x)$. What is the minimal assumption required on $f$ to ...
- 839
2
votes
0
answers
349
views
What is the explicit version of the Peter Weyl Theorem?
While the name "Peter-Weyl" is reserved for the compact group case, I prefer to talk in greater generality. Let $G$ be a unimodular type I topological group with a fixed Haar measure. The ...
- 2,071
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
2
votes
0
answers
221
views
Besov or Triebel-Lizorkin spaces versus Lorentz spaces
I first asked this question on math.stackexchange here but it seems it is more a research level question ...
At the $0$ order of derivatives of Sobolev spaces and for a fixed integrability order $p$, ...
- 230
2
votes
0
answers
249
views
Links between differing notions of "pseudo-measure"'; or, why that name?
(A pet peeve of mine is Mathematicians from field X noticing that field Y uses terminology which is very close to that from field X, and assuming there are Mathematical links. This question might be ...
- 18.7k
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
2
votes
0
answers
214
views
Why is the study of homology important? [closed]
In some fields of studies, for example, Amenability of Banach algebras and $L^2$-Betti numbers, some chain complexes are studied, why is the study of these creatures important? When and why do these ...
- 2,118
2
votes
0
answers
126
views
On the infimium of a functional
Let $(M^n,g)$ be a closed Riemannian manifold. Define
$$\lambda(g)=\inf\{\mathcal{F}(g,f),\;0<f\in C^{\infty}(M),\; \int_Mf^2\;d\nu=1\},$$
where $$\mathcal{F}(g,f)=\int_M\left(|\nabla f|^2+ af^2\...
- 169
2
votes
0
answers
418
views
Hölder-Zygmund spaces of negative order
In the equation (1.1.17) in Proposition 1.1.6 (ii) in Alazard and Delort's Sobolev Estimates for Two Dimensional Water Waves, there appears a norm named $C^{-1}$, but in Chapter 6 (Appendix) of the ...
- 5,169
2
votes
0
answers
70
views
Can the STFT decrease arbitrarily quickly near the origin?
For $f,g \in L^2(\mathbb{R}^d)$ we can define the Short Time Fourier Transform (STFT) $V_gf \in C_0(\mathbb{R}^{2d})$ as $$V_gf(x, \omega) = \int_{\mathbb{R}^d} f \overline{g(t - x)} e^{-2 \pi i t \...
- 1,010
2
votes
0
answers
89
views
Link between subharmonic and subanalytic functions
Consider $\Omega$ an open set of $\mathbb{C}$ and $f : \Omega \to \mathbb{R}$ a $C_{\infty}$-function. The following two definitions are well-known (at least the first one) but I prefer to recall them ...
- 1,017
2
votes
0
answers
136
views
Equivalent statement of the Wiener-Tauberian theorem?
I would like to know why we have the equivalence between the following three statements of the Wiener-Tauberian theorem:
version 1: If $I$ is a closed ideal in $L^1(\mathbb R)$, such that the set $...
- 650
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 329
2
votes
0
answers
136
views
To find a positive function with compact spectrum
Let
$e_1=(0,1)^T$,
$$
S=\left\{x\in \mathbb{R}^2\Big| \frac{|\langle x, e_1\rangle|}{|x|}>\delta>0\right\},
$$
is a cone in $\mathbb{R}^2$.
I want to find a non-trivial smooth function ...
- 29
2
votes
0
answers
185
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171
2
votes
0
answers
125
views
Imbedding Theorems between Besov Spaces and space of continuos functions on the unit circle
I'll try to be brief.
Let us consider the Besov Space $B^{1/p}_{p, p}(\mathbb{T})$, where $1\leq p<\infty $ and $\mathbb{T}$ is the unit circle in the complex plane. I would like to know for which ...
- 141
2
votes
0
answers
183
views
Are there any improvements on the estimate of oscillatory integral with one-side folds?
Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the ...
- 171
2
votes
0
answers
85
views
There is an analogous to the inerpolation theorem of Aronszajn-Gagliardo for multilinear operators in Banach spaces?
The Aronszajn-Gagliardo theorem states that on the category $\mathcal B$ of Banach spaces, given $A$ an interpolation space with respect to the couple $\overline A$ there exists an exact interpolation ...
- 71