All Questions
Tagged with fa.functional-analysis harmonic-analysis
451 questions
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 ...
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 ...
- 31
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
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
3
votes
0
answers
77
views
Unitary with entries $(i,j)$ only on equidistant lattice points $\|i-j\|^2 = c^2 \in \mathbb{N}$
My research needs help in finding examples of unitary matrices $U$ which have entries
\begin{align}
U_{ij} = \begin{cases} \alpha_{ij}, \ \text{ if } \|i-j\|^2 = c^2 \\ 0 , \text{ otherwise} \end{...
- 41
3
votes
0
answers
217
views
Hardy Littlewood maximal function bounds
Let $u \in W^{1,p}(\mathbb{R}^n) \cap L^{\infty}(\mathbb{R}^n)$ be a given function for some $1<p< \infty$ and let $k \in \mathbb{R}$ be any number and consider the following maximal function
$$
...
- 455
3
votes
0
answers
342
views
A.C.M. van Rooij's *Non-archimedean functional analysis* (1978) is very out-of-print! Anyone know of any good alternatives?
(This is a literature/reference question.)
So... long story short:
(1) In my present research, I needed a theory of continuous functions from the $p$-adic integers to the $q$-adic integers. Unable ...
- 1,284
3
votes
0
answers
192
views
Space contained in the Interpolation of $L^\infty$ and the Wiener Algebra $\mathcal{F}(L^1)$
Let $\ell^p$ be the space of sequences with power $p$ summable to $\ell^\infty$, $L^p = L^p(\mathbb{R^d})$ be the Lebesgue spaces and $\mathcal{F}$ be the Fourier $d$-dimensional Fourier transform.
...
- 230
3
votes
0
answers
164
views
On Pitt's inequality (weighted Fourier inequality)
One of Pitt's Theorem (from "Theorems on Fourier Series" by H R Pitt, 1937) states that for an integrable periodic function $F$ over $[-\pi,\pi]$,
$$
\sum_{n=1}^{\infty} |a_n|^q n^{-q\lambda} \leq K(...
- 1,216
3
votes
0
answers
151
views
Completeness of discrete shifts in $\mathbb{R}^n$
Consider the space $L^2(\mathbb{R})$. Let $(x_n)_n \subset \mathbb{R}$ be a sequence and $f \in L^2(\mathbb{R})$ a functions. It is well understood under which assumptions the span of the set
$$
S = \{...
- 173
3
votes
0
answers
95
views
Sparse perturbation
Let $x, x_0\in\mathbb{R}^n$ be two vectors satisfying $$\frac{\|x\|_1}{\|x\|_2}\leq\frac{\|x_0\|_1}{\|x_0\|_2}.$$
$\| \cdot\|_1$ and $\| \cdot\|_2$ are the $\ell_1$ and $\ell_2$ norm in $\mathbb{R}^n$,...
- 31
3
votes
0
answers
180
views
When is a minimal immersion holomorphic?
Let $(X,g_X)$ be a Riemann surface and $(Y,g_Y)$ a Kahler manifold. Let:
$\phi\colon X\to Y$
be a minimal immersion, that is, a conformal harmonic smooth map with respect to $g_X$ and $g_Y$. If I am ...
- 2,816
3
votes
0
answers
168
views
Zak transform and VMO
The Zak transform of a function $f\in L^1(\mathbb R)\cap L^2(\mathbb R)$ is defined as follows:
$$
Zf(x,\omega) := \sum_{k\in\mathbb Z}f(x+k)e^{-2\pi i k\omega},\quad (x,\omega)\in Q_0 :=(0,1)^2.
$$
...
3
votes
0
answers
126
views
An identity of operator norms and de Leeuw's theorem
Let $$Hf(x_1,x_2)=p.v.\int_{-\infty}^\infty f(x_1-t,x_2-S(x_1,x_1-t))\frac{dt}{t},$$
$$T_\lambda f(x)=\lim_{\epsilon\to0}\int_{|x-y|\ge\epsilon}e^{i\lambda S(x,y)}(x-y)^{-1}f(y)dy, $$ where $S(x,y)$ ...
- 187
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
3
votes
0
answers
317
views
Best constant for maximal function for locally compact groups
Maximal functions for locally compact groups have been studied. In particular papers of K. Phillips and Phillips-Taibleson (here and here) contain nice results in this direction. It might be too much ...
- 1,583
3
votes
0
answers
262
views
Non-compact analogue of Peter-Weyl
I have the following situation: $G$ is a real unimodular locally compact semisimple Lie group. Then it is known that the regular representation $H:=L^2(G,\mu_H)$ decomposes as
\begin{equation}
\int^{\...
- 1,813
3
votes
0
answers
211
views
Arveson spectrum for a unitary representation of a group on a Hilbert space
Although this is not research, I think the question is a little bit too specific for math.stackexchange
Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a ...
- 189
3
votes
0
answers
140
views
convergence of $e^{it\Delta}f$
I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.
- 31
3
votes
0
answers
286
views
Tauberian theorem from generalized Gelfand transform
Wiener's theorem gives the necessary and sufficient conditions for the set of translates of a set of functions to be dense in $L^1(\mathbb{R}^n)$, which translates algebraically into a statement about ...
- 1,049
3
votes
1
answer
142
views
Matched pair of locally compact groups
In measure theoretic language there is a notion of matched pair of locally compact (l.c.) groups due to Baaj-Skandalis-Vaes. A pair $(G_{1}, G_{2})$ is called a matched pair of l.c. groups if there ...
- 33
3
votes
0
answers
301
views
What information about a locally compact group $G$ is encoded in $C_r^\ast(G)$ which is not in $L^1(G)$?
Let $G$ be a locally compact group and let $ C_r^\ast(G) $ denote its reduced group $C^\ast$-algebra. Many features of a $G$ can be realized from $L^1(G)$ or $C_r^\ast(G)$. For example, $G$ is ...
user23860
3
votes
0
answers
145
views
Growth of inner functions on the disk
Recall that an inner function on the disk $D$ is a bounded analytic function on $D$ having radial limits of modulus one almost everywhere.
There has been many works on the growth of the inner ...
- 769
2
votes
1
answer
3k
views
A simple question about the Hardy-Littlewood maximal function
Let $f\in L^1(\mathbb{R}^n)$. It is well known that the Hardy-Littlewood maximal function $Mf\notin L^1(\mathbb{R}^n)$ (if $f \ne 0$ a.e.), though there is a weak-type (1,1) bound for this maximal ...
- 171
2
votes
2
answers
741
views
Bochner's theorem for measures of positive type
Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying $\...
- 195
2
votes
2
answers
3k
views
Description of Bessel potential spaces
Hi, let $1 < p <\infty $, $ 0 < \alpha < 1$, and $ \mathscr{L}^p_\alpha(R^n) $ be the usual Bessel potential space defined by
$$
\mathscr{L}^p_\alpha = (1-\triangle)^{-\alpha/2}L^p(R^n).
$$...
- 425
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|...
- 840
2
votes
1
answer
223
views
Show that $V_G: L^2(G\times G, \mu \times \mu)\to L^2(G\times G, \mu \times \mu)$ defined by $V_G(f)(x,y) = f(xy,y)$ is well-defined
Let $G$ be a locally compact Hausdorff group and let $\mu$ be a right Haar measure on $G$. Then $\mu\times \mu$ (the Radon product of measures) is a right Haar measure on $G \times G$ and we can ...
- 175
2
votes
3
answers
302
views
Uniqueness of solution depending on constant?
I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...
2
votes
1
answer
172
views
Ideals of $L^1(G)$ and normal subgroups of $G$
Let $G$ be a locally compact group. Is there any correspondence between closed two-sided ideals of $L^1(G)$ and closed normal subgroups of $G$? (Especially, is there any correspondence between finite ...
- 565
2
votes
1
answer
816
views
Decoupling in mixed norm spaces
Bourgain and Demeter's proof of the $L^2$ decoupling conjecture decouples $\|f\|_{L^p}$ into an $L^2$ sum of $\|f_\theta\|_{L^p}$, where $\hat f$ is supported on a curved hypersurface $S$, where $\...
- 5,169
2
votes
1
answer
544
views
Characters separating points on Maximal Torus modulo Weyl group?
Let G be a compact Lie group, for example, SU(n). Let T be its maximal torus. Let W be its Weyl group.
Every finite-dimensional representation of G has a character, which is a function on G, T and T/...
- 585
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
2
votes
1
answer
178
views
References for Neumann eigenfunctions
I am looking for references on eigenfunctions with Neumann boundary condition.
In an article, the author wrote in introduction that when a domain is planar polygon, the second eigenfunctions on it ...
- 721
2
votes
1
answer
920
views
Fourier transform of the von Mangoldt function?
Wikipedia states under the entry for the von Mangoldt function:
The Fourier transform of the von Mangoldt function gives a spectrum with spikes at ordinates equal to imaginary part of the Riemann ...
- 10.5k
2
votes
2
answers
375
views
Ergodic theorem and products
If $f_n (\omega) = \sum_{i=1}^n f_1 (T^i \omega)$ and $T$ is an ergodic action with respect to the measure $\mu$ then it is know as Birkhoff's theorem that
$$ \lim_{n \rightarrow \infty} \frac{f_n}{...
user135480
2
votes
1
answer
244
views
Smoothness of distributions defined by oscillation integrals
In M.A. Shubin's book Pseudodifferential Operators and Spectral Theory, we have the following statement.
Let $X\subset\mathbb{R}^n$ be an open set, and fix a symbol $a\in S_{\varrho,\delta}^m(X\...
- 1,247
2
votes
1
answer
358
views
Existence of an integrable representation
An irreducible continuous unitary representation $\pi$ of $G$ is said to be integrable, if the map $\phi(x)=\langle\pi(x)\zeta,\zeta\rangle$ is integrable on $G$, where that $\zeta\in H(\pi)$.
...
- 399
2
votes
1
answer
382
views
Is the translation/dilation of an $L^p$-multiplier again an $L^{p}$-multiplier?
Suppose that $m:\mathbb R \to \mathbb C$ satisfies: there exists $C > 0$ such that
$$\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}.$$
That is, $m$ is an $L^{p}$-multiplier. Let $M(L^{p}...
- 1,051
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 ...
- 21
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
2
votes
1
answer
261
views
Qualitative difference between "continuous" and "discontinuous" states on $M(G)$
Let $G$ be a locally compact Abelian group (we can think that $G={\mathbb R}$). Let $C_0(G)$ be the space of continuous functions $u:G\to{\mathbb C}$ vanishing at infinity with the usual $\sup$-norm, ...
- 7,426
2
votes
2
answers
836
views
Laplace equation on the disk with Robin boundary condition
Consider the following two dimensional Laplace equation on the unit disk $D$ with homogeneous Robin boundary condition:
$$\Delta u = 0, ~~\frac{\partial u}{\partial n} = b(x) u(x)~~ \forall x \in \...
- 903
2
votes
1
answer
216
views
Continuity of convolution on $\mathcal{D}'_+$
Let $\mathcal{D}'_+:=\{T\in \mathcal{D}'(\mathbb{R}): \textrm{supp}(T)\subset [0,\infty)\}$. Here $\mathcal{D}'(\mathbb{R})$ is the usual space of distributions on $\mathbb{R}$, equipped with the weak$...
- 115
2
votes
1
answer
127
views
Are the Prolate Spheroidal Wave Functions absolutely integrable?
I would like to know if the Prolate Spheroidal Wavefunctions (PSWFs, defined below) are in $L^1(\mathbb{R})$. I know that they are square integrable, but cannot decide about absolute integrability.
...
- 93
2
votes
1
answer
311
views
Differentiation on $[0,1]$
EDIT:
Perhaps a more reasonable question after thinking about the answer I got would have been.
Is there a set $N$ of measure $1-\varepsilon$ and a disjoint partition of that set $N$ with finitely ...
- 536
2
votes
1
answer
351
views
Young’s complement of $ x \mapsto x \, {\log^{+}}(x) $, $ N $-functions and Orlicz spaces
The function $ \Phi: \mathbb{R} \to \mathbb{R} $ is an $ N $-function if and only if it is continuous, even and convex with:
$ \displaystyle \lim_{x \to 0} \frac{\Phi(x)}{x} = 0 $.
$ \displaystyle \...
- 259
2
votes
1
answer
183
views
is this weighted-maximal function unbounded?
The Hardy-Littlewood maximal operator
$$Mf(x)=\sup_{x\in B}\frac1{\vert B\vert}\int_B\vert f(y)\vert dy$$
where the supremum is taken over all balls $B\subset\mathbb{R}^n$ which contain $x$.
It is ...
- 43.2k
2
votes
1
answer
481
views
Ideals of $L^1(G)$
I want to study the closed ideal structure of $L^1(G)$. Is there a good paper or book which characterizes closed ideals and maximal ideals of $L^1(G)$?
- 565
2
votes
1
answer
333
views
Spherical harmonics and ellipticity of the Laplacian
Let us consider the sphere $S^n$ and the Laplacian $-\Delta$ on it. Let $L^2(S^n) = \bigoplus_k V_k$, where $V_k$ represents the eigenspace of the Laplacian with eigenvalue $k(k + n - 1)$. We know ...
- 1,407