All Questions
Tagged with fa.functional-analysis harmonic-analysis
451 questions
0
votes
1
answer
177
views
Irreducible sub-modules of $\ell^2(\mathbb{Z})$
It is known that $\ell^2(\mathbb{Z})$ is $\ell^1(\mathbb{Z})$-module (the module operation is the convolution).
What about the irreducible submodules? Can we characterize them?
- 4,058
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
1
vote
0
answers
62
views
Properties of the Fourier Transform of Countably Supported Functions on $[0,1)$
Identifying $\mathbb{R}/\mathbb{Z}$ with the interval $\left[0,1\right)$, let $C_{\textrm{coun}}\left(\mathbb{R}/\mathbb{Z}\right)$ denote the set of all functions $f:\mathbb{R}/\mathbb{Z}\rightarrow\...
- 1,284
4
votes
0
answers
204
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,135
4
votes
1
answer
361
views
Approximating compactly supported $L^2$ functions with Schwartz functions "from within"?
It is well known that the class of Schwartz functions $\mathcal{S}$ in dense in all $L^p$ spaces therefore for each $f \in L^2$ there exists a sequence of Schwartz functions $(f_k)$ such that $\lVert ...
1
vote
0
answers
74
views
Dimension dependence: boundedness result of the fractional Riesz integral
I am looking for the best known constant in the boundedness result of the fractional Riesz integral. In particular, I am interested in the dependence on the dimension $d$ and on the parameter $\alpha&...
- 778
1
vote
1
answer
228
views
Discrete harmonic analysis with infinite/unbounded number of variables
Is there any study of harmonic analysis for Boolean functions of the form $f:\{0,1\}^*\to \{0,1\}$, or $f:\{0,1\}^\omega\to \{0,1\}$?
That is, similar notions to standard harmonic analysis of $\{0,1\}^...
- 203
11
votes
2
answers
718
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 ...
- 3,574
1
vote
1
answer
503
views
A harmonic function $\varphi$ with $D\varphi \in L^q(\mathbb R^n)$ is constant
Let $\varphi$ be an harmonic function such that $D\varphi \in L^q(\mathbb R^n)$ for $q \in (1, +\infty)$. I read in Partial Differential Equations of Quin Han and Fanghua Lin that for $q = 2$, $\...
- 452
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
- 5,405
1
vote
0
answers
122
views
Metric transforms that preserve $\ell^1$ embeddability
Consider a function $f$ from reals to reals such that $f$, when applied to pairwise Manhattan distances between $n$ points, always results in a set of Manhattan distances.
Work by Schoenberg and ...
- 93
4
votes
0
answers
146
views
Poisson summation formula for infinite dimensional spaces
Let $M$ be an orientable, compact smooth manifold with a metric $g$ and $H^{-1}(M)$ be the dual space of $$H^{1}(M)=\{f:\int |f|^2+(\nabla f)^2 d\mu<\infty\}$$
I know it is well known that (see ...
- 6,249
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
1
vote
0
answers
67
views
Approximate identities on the unit disk and going beyond a power series' radius of convergence
Let $\left\{ a_{n}\right\} _{n\geq0}$ be a bounded sequence of complex numbers, so that the power series $f\left(z\right)=\sum_{n=0}^{\infty}a_{n}z^{n}$ has a radius of convergence $\geq1$. ...
- 1,284
4
votes
1
answer
219
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,135
7
votes
0
answers
3k
views
Definition of homogeneous Sobolev spaces
As we know the inhomogeneous Sobolev space (we only consider $s>0$)
$${H}^{s}\left(\mathbb{R}^{n}\right)=\left\{f \in L^2(\mathbb{R}^n):\int_{\mathbb{R}^{n}}|\xi|^{2 s}|\hat{f}(\xi)|^{2} \mathrm{d} ...
- 633
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
7
votes
1
answer
1k
views
Where does the Laplace transform come from?
The Gelfand transform on the commutative Banach *-algebra $L^1(\mathbb{R})$ is just the Fourier transform.
Q. What can we say concerning the Laplace transform?
- 4,058
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
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
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
5
votes
1
answer
228
views
Why do people study Weyl asymptotics and partial-spectral-projections?
The major focus of the research that my advisor has me doing centers around the idea of asymptotic behavior of partial-spectral-projections on compact manifolds. In a few sentences, here is the ...
- 377
3
votes
1
answer
408
views
Riesz transform of fractional operators
I am interested in Riesz transforms linked to the fractional Laplacian and other fractional operators. I have been hunting down in the literature to find related results but I have not been able to ...
- 778
1
vote
0
answers
109
views
Is this a positive definite kernel?
Under which conditions on the function :
\begin{array}{l|rcl}
K : & \mathbb R^+ & \longrightarrow & (0, 1)\\
&t & \longmapsto & K(t) \end{array}
is the symmetric ...
4
votes
2
answers
182
views
Measure algebra on the Bohr compactification vs the bidual algebras
The following question probably reduces to some standard abstract harmonic analysis Twister play, but I'd still welcome some comments on it.
Let $G$ be a locally compact Abelian group and let $bG$ ...
- 11.3k
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
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
- 557
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
0
votes
2
answers
776
views
A question about homogeneous distribution
A distribution in $\mathscr{S}^{\prime}\left(\mathbb{R}^{n}\right)$ is called homogeneous of degree $\gamma \in \mathbb{C}$ if for all $\lambda>0$ and for all $\varphi \in \mathscr{S}\left(\mathbb{...
- 11
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
4
votes
0
answers
217
views
Discrete superharmonicity
The value at $(n,m)$ of the “Discrete Laplace operator” (see wikipedia) of a function $f$ in $\Bbb Z\times \Bbb Z$ is $\Delta f(n,m)= \frac{1}{4}( f(n+1,m)+f(n,m+1)+f(n-1,m)+f(n,m-1))-f(n,m)$:
the ...
- 441
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
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
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
8
votes
2
answers
330
views
Completeness of exponentials $\mathcal{E} = \{ e^{ist} : s \in \mathbb{R} \}$ in $L^p(\mu)$
In the paper A problem on completeness of exponentials (Annals of Mathematics 178 (2013), 983-1016), the author A. Poltoratski studies the following problem:
Let $\mu$ be a finite positive measure on ...
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
1
vote
0
answers
53
views
A different kind of weighted Hardy space
Let $\mathbb{D}$ denote the open unit disk in $\mathbb{C}$, let $\mathcal{A}\left(\mathbb{D}\right)$ denote the vector space of all complex-valued functions which are holomorphic on $\mathbb{D}$, and ...
- 1,284
4
votes
0
answers
170
views
Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$
Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user39481
3
votes
1
answer
210
views
Relaxed/Truncated Version of Wiener's Tauberian Theorem
Background
Let $(U_t)_{t \in \mathbb{R}}$ be the (translation) $C_0$-group on $L^1(\mathbb{R})$ defined by
$$
U_t(f)(x) = f(x-t) \quad \text{for almost every } x \in \mathbb{R}
$$
(for $t \in \...
- 5,405
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 ...
- 401
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
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
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
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
0
votes
1
answer
204
views
A certain class of representations
Let $g$ be a non-identity element in a torsion-free amenable group, does there exist a finite-dimensional unitary representation $\pi$ with $\pi(g)\neq 1$?
(The word "finite-dimensional" was ...
- 2,118
4
votes
1
answer
394
views
First and second cohomology groups of Banach algebras
Johnson in the introduction section (page 1) in "Cohomology in Banach algebras" ZBL0256.18014, wrote that Guichardet in [14,15] obtained for a Banach algebra $A$,
one has $H^1(A,X)=H^2(A,X)=0$, ...
- 565
4
votes
1
answer
2k
views
Norm of convolution operator
By Young's inequality for any $f\in L^p(\mathbf{R})$ the map $T_f:g\mapsto f\star g$ is a continuous operator from $L^q(\mathbf{R})$ to $L^r(\mathbf{R})$ where $1\leq p,q,r\leq \infty$ satisfy $1+\...
- 3,425
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$. ...
- 3,425