**9**

votes

**0**answers

51 views

### A kaleidoscopic coloring of the plane

Is there a partition $\mathbb R^2=A\sqcup B$ of the Euclidean plane into two Lebesgue measurable sets such that for any disk $D$ of the unit radius we get $\lambda(A\cap D)=\lambda(B\cap ...

**6**

votes

**1**answer

572 views

### Green's function of the Ornstein-Uhlenbeck operator

The Ornstein-Uhlenbeck operator $L$ is given by
$$
Lu = \Delta u- \frac{1}{2}x\cdot \nabla u.
$$
Is there a known closed form expression of the Green's function of $L$ on $\mathbb R^d$ (for $d\geq 2$ ...

**-3**

votes

**0**answers

65 views

### For what kind of function that $\liminf$ and $\limsup$ are well defined and equal? [on hold]

Well, it is not really $\liminf$ and $\limsup$, please see details below.
Let $f$: $\mathbb R\to \mathbb R^+$, locally integrable, and lower semicontinuous, aka l.s.c. Given any $x_0\in \mathbb R$ ...

**6**

votes

**1**answer

226 views

### Pontryagin dual of the surreal numbers?

Has any work been done on the Pontryagin dual of the surreal numbers (suitably topologized)? I have not been able to find anything and am not sure if this is still unknown.
Alternatively, has this ...

**6**

votes

**1**answer

261 views

### Can exponential sums be small on a whole interval?

This is almost certainly routine to an analyst, so forgive me in advance.
Let $\alpha_i\in \mathbb{R}$. Consider the functional $$\varphi: L^1[0.9A,A]\to \mathbb{C}$$ via $$f\mapsto \sum_i ...

**3**

votes

**2**answers

151 views

### Name for an orthogonal decomposition of $L^2 (\mathbb{R}^2; \mathbb{C})$

The space $L^2 (\mathbb{R}^2; \mathbb{C})$ can be decomposed as
$$
L^2 (\mathbb{R}^2; \mathbb{C}) = \bigoplus_{k \in \mathbb{Z}} L^2_k (\mathbb{R}^2; \mathbb{C}),
$$
where
$$
L^2_k (\mathbb{R}^2; ...

**18**

votes

**1**answer

272 views

### Bounding Schur symmetric polynomials on the unit circle

Recall the Schur polynomial in $n$ variables, indexed by the partition $\lambda$, with $\ell(\lambda) \leq n$, is given by
\begin{equation}
s_\lambda(x_1,\ldots, x_n) = a_{\lambda + \delta}(x_1, ...

**4**

votes

**1**answer

176 views

### Localization arguments in the paper 'the proof of $l^2$ decoupling conjecture'

I am currently reading Jean Bourgain and Ciprian Demeter's 2015 paper The proof of the $l^2$ decoupling conjecture and would appreciate some help in understanding localization argument used in that ...

**2**

votes

**3**answers

119 views

### Equivalence of Harmonic Maps and Conformal Maps on Genus-0 closed surfaces

By the uniformization theorem, for every genus-0 closed surface $\mathcal{M}\subset\mathbb{R}^3$, there is a conformal map $f:\mathcal{M}\rightarrow \mathbb{S}^2$. Furthermore consider the Dirichlet ...

**0**

votes

**1**answer

70 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 ...

**7**

votes

**0**answers

159 views

### Wavelet-like Schauder basis for standard spaces of test functions?

The Schwartz space of test functions $\mathcal{S}(\mathbb{R})$ is isomorphic to $\mathfrak{s}$ the space of sequences of real numbers with faster than power-like decay. Likewise, the space ...

**4**

votes

**3**answers

393 views

### Generalized Hardy-Littlewood-Sobolev Inequality

The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb ...

**1**

vote

**0**answers

44 views

### Looking for some “nontrivial” examples of pseudodifferential operators/symbols

I'm reading up on $\Psi DO$'s and trying to find some examples of symbols that are not quite so trivial.
Obviously, the first example of a symbol that most people talk about is just a polynomial in ...

**1**

vote

**1**answer

60 views

### Negativity of a quadratic form on $L^2(M)$

Let $M$ be a compact Riemannian manifold and $V=L^2(M)$. Let $\Delta$ be the negative-definite Laplacian. Let $f \in V$ and $x \in M$ be arbitrary, but fixed.
Is it true that ${\rm Re} \ (\Delta f) ...

**0**

votes

**0**answers

43 views

### Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane

We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$.
What is ...

**2**

votes

**1**answer

133 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 ...

**26**

votes

**6**answers

7k views

### Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...

**2**

votes

**1**answer

63 views

### Rajchman measures via strong mixing systems

A Rajchman measure on the unit circle $\mathbb{T}$ is a Borel probability measure $\mu$ with $\lim_{n\to\infty}\hat{\mu}(n)=0$. Where $\hat{\mu}(n)=\mu(z^n)$ for $n\in\mathbb{Z}$ are Fourier ...

**10**

votes

**1**answer

825 views

### Hardy spaces: analysis <---> martingales

Let $H^p$ be the Hardy space of analytic functions on the open unit disk $\mathbb{D}$: $f \in H^p$ if $f$ is analytic on $\mathbb{D}$ and $\sup_{r < 1} \int_0^{2\pi} |f(re^{i\theta})|^p d\theta ...

**2**

votes

**2**answers

112 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)
$$
...

**1**

vote

**1**answer

84 views

### One question about the tensor product of $L^1(G)$ and a Banach space $A$

We know that the tensor product of $L^1(G)$ and a Banach space $A$ is isometric to $L^1(G, A)$, the space of all Bochner-integrable $A$-valued functions on a locally compact group $G$. I am looking ...

**0**

votes

**0**answers

28 views

### The Best Korn's constant for bounded deformation

I am studying the following version of Korn's inequality. For $u\in BD(\Omega)$, $BD$ denotes the bounded deformation space, we have, there exists a $r(u)\in \operatorname{ker}\mathcal E$ such that
...

**3**

votes

**0**answers

178 views

### Non invertibility of certain integral arising from group action

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...

**3**

votes

**0**answers

78 views

### Why a cone/parabolic set for the nontangential maximal function?

Suppose $f\in L^p(\mathbb{R}^d)$. Then the Dirichlet BVP for the Laplace equation $\Delta u = 0$ in the upper-half plane $\mathbb{R}^d\times\mathbb{R}_{>0}$ with boundary value $f$ can be solved by ...

**1**

vote

**0**answers

47 views

### Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...

**11**

votes

**2**answers

614 views

### Motivation for BMO

At the moment, I don't have access to the early 1960's paper of John and Nirenberg that (from what I understand) introduced the space BMO (bounded mean oscillation). Why were John and Nirenberg ...

**5**

votes

**3**answers

146 views

### Reference request : Besov spaces on ubounded domains

As I am relatively new to these matters, I would like to know if you could provide me a reference for Besov spaces on unbounded domains, because when I checked the first tome of Triebel's Theory of ...

**4**

votes

**1**answer

212 views

### What is the importance of convergence of variation of Fourier reconstruction to that of variation of the function?

Let $f$ be a periodic function of bounded variation which jumps at a point $x_0\in\mathbb{R}$. Let $S_{N}[f]$ denote the partial Fourier sum of $f$ and let $C_{N}[f]$ denote the Cesaro partial sum. It ...

**11**

votes

**1**answer

333 views

### What's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?

The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...

**1**

vote

**1**answer

208 views

### The $L^2\times L^2\to L^2$ norm of the bilinear multiplier operator

Consider a general bilinear multiplier operator:
$$
T(f,g)(n)=\int_{\Pi}\int_{\Pi}\hat{f}(\xi)\hat{g}(\eta)e^{2\pi i(\xi+\eta)n}m(\xi,\eta)d\xi d\eta,
$$
where $\Pi$ is the torus, $n\in\mathbb{Z}$, ...

**7**

votes

**1**answer

1k views

### Eliminating Gibbs phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

Physical Motivation : Hear to these audio files S_f and P_f. S_f is Fourier partial
sum and P_f is the new reconstruction, both use spectrum only in the
region (0,4KHz) for reconstructing the ...

**5**

votes

**0**answers

64 views

### Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...

**8**

votes

**2**answers

677 views

### Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}
$$
Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?

**0**

votes

**0**answers

71 views

### What does the Plancherel theorem say about positive-definite distributions?

I'm trying to understand the answer to this MO question: Bochner's theorem for measures of positive type, which suggests a relationship between Bochner's theorem and the Plancherel theorem.
The ...

**2**

votes

**0**answers

68 views

### Generalization of Pitt's theorem

Pitt's theorem (Pitt 1937), states that the one-dimensional Fourier tranform is well defined and continuous between the weighted spaces $L^p(\mathbb{R},|x|^{bp}dx)$ and $L^q(\mathbb{R},|x|^{\beta ...

**4**

votes

**2**answers

188 views

### Equivalent Norms on Sobolev Spaces

When $k$ is a positive integer and $1<p<\infty$, we know that there is some
$C>0$ such that for all $u\in W^{k,p}\left(\mathbb{R}^{N}\right) :$
$$
\left\Vert \left( -I+\Delta\right) ...

**0**

votes

**1**answer

83 views

### Reproducing Kernel of a RKHS of continuous functions may not be continuous in two variables together

Let $\mathcal{K}$ be a Hilbert Space of continuous functions on some topological space, where point evaluations are continuous linear functional on $\mathcal{K}$.
That is $\mathcal{K}$ is RKHS, ...

**3**

votes

**2**answers

384 views

### Iwaniec's conjecture

Does anyone know whether there is any geometric applications of the Iwaniec's conjecture on $ l^p $ bound of Beurling Alfhors transform (or the complex Hilbert transform). One application could have ...

**1**

vote

**2**answers

122 views

### Are spherical harmonics uniformly bounded?

The spherical harmonics are given by
$$Y^m_l(\phi,\theta):=N^m_l e^{im\theta}P^m_l(\cos \phi) $$
where $P^m_l$ are the associated Legendre Polynomials and $N^m_l$ is the normalisation.
From ...

**7**

votes

**2**answers

356 views

### Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...

**3**

votes

**1**answer

338 views

### Monge–Ampère with drift

Let $I\subseteq \mathbb{R}$ be an interval.
Let smooth $M(x,y):I\times(0,\infty) \to \mathbb{R}$ satisfies PDE:
$$
M_{xx}M_{yy}-M_{xy}^{2}+\frac{M_{y}M_{yy}}{y}=0.
$$
My question is to ...

**1**

vote

**0**answers

51 views

### Relating the R-Transform in Free Probability to noncommutative group representations

In traditional (commutative) probability theory, sums of random variables correspond to convolution of distribution functions, which plays well with the Fourier Transform.
In free (noncommutative) ...

**2**

votes

**0**answers

119 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 ...

**5**

votes

**0**answers

158 views

### Does there exist a smooth version of Cohen's factorization theorem?

A famous factorization theorem of Cohen states that for any locally compact group $G$, $$L^1(G)=L^1(G)*L^1(G).$$
I want to know if analogous results exist for the class of smooth functions when $G$ is ...

**2**

votes

**1**answer

173 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 ...

**3**

votes

**0**answers

56 views

### Fourier coefficients of positive polynomials

Let $p(x) \geq 0$ be a positive polynomial on the hypersphere ($x \in S^{n-1}$) satisfying $\int_{S^{n-1}} p(x) = 1$. Writing $p(x) = \sum_{j=0}^s p_j(x)$ where $p_j(x) = \sum_m p_{jm} s_{jm}(x)$ with ...

**2**

votes

**1**answer

150 views

### an analogue of Littlewood-Paley-Rubio de Francia theory

For any function $f$ defined on the set of integer $\mathbb{Z}$, we define its Fourier transform as the following periodic function: $$
\mathbb{F}f(\xi)=\sum_{n\in\mathbb{Z}}f(n)e^{-2\pi i n\xi}
$$
...

**2**

votes

**1**answer

190 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 ...

**2**

votes

**0**answers

118 views

### the (2,2,1) boundedness of a “product” operator

Let $\{E_j\}_{j\in\mathbb{Z}}$ and $\{F_k\}_{k\in\mathbb{Z}}$ be two collections of pairwise disjoint sets in $\mathbb{R}$. Let $C(j,k)$ be a bounded function (e.g. $|C(j,k)|<1$) defined on ...

**5**

votes

**1**answer

112 views

### The (Hecke) double coset von Neumann algebra

It it well-known in the von Neumann algebra theory that for $\Gamma$ a non-trivial countable group, the von Neumann algebra $L(\Gamma)$ generating by $\Gamma$ acting by left multiplication on ...