**1**

vote

**0**answers

79 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

63 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) ...

**7**

votes

**0**answers

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

**0**

votes

**0**answers

46 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

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

**0**

votes

**0**answers

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**2**answers

119 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

**0**answers

48 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$.
...

**3**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**1**answer

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

**5**

votes

**0**answers

83 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) ...

**1**

vote

**1**answer

239 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}$, ...

**0**

votes

**0**answers

87 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

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

**0**

votes

**1**answer

99 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, ...

**4**

votes

**2**answers

224 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) ...

**1**

vote

**0**answers

62 views

### Relating the R-transform in free probability to noncommutative group representations

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

**7**

votes

**2**answers

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

**1**

vote

**2**answers

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

**4**

votes

**1**answer

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

**2**

votes

**1**answer

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

**5**

votes

**0**answers

164 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

**0**answers

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

**3**

votes

**0**answers

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

**8**

votes

**2**answers

753 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?

**7**

votes

**1**answer

2k views

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

This problem seems like a nightmare to me. I tried to expand
$K_{\omega}^f(t)$, but I am clueless of getting some kind of a closed
form or some kernel like structure. If I try to take ...

**2**

votes

**1**answer

202 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**

vote

**0**answers

72 views

### Does the Total variation of the Fourier partial sum of a bv function with jumps converge to TV of the function as $N\to\infty$

Does the total variation of the Fourier partial sum of a piecewise continuous bv function converge to the total variation of the function as $N\to\infty$. To explain briefly,
Let $f$ be a periodic ...

**5**

votes

**1**answer

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

**2**

votes

**1**answer

161 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}
$$
...

**1**

vote

**0**answers

114 views

### Technical question about a Fourier transform

I would like to know if there is an explicit expression for the Fourier transform of the following function:
$$f(x)=\mathbb{1}_{(0,\infty)}e^{-x-ix^2},$$
or to know where I can find some techniques to ...

**0**

votes

**0**answers

114 views

### Poisson Kernel and Triangles

The Poisson Kernel is an approximation to the identity, meaning $P_r(\theta) \approx \delta(\theta)$; here is the formula on $\mathbb{D}$:
$$ P_r(\theta) = \sum_{n \in \mathbb{Z}} r^{|n|} ...

**0**

votes

**0**answers

47 views

### Non interacting complex unit

How to work with two non interacting complex units say i and j. These two imaginary complex unit represent different quantities. For example i is for periodicity in theta and j is for frequency or ...

**7**

votes

**1**answer

199 views

### Poincaré inequality for curl-integrable functions

Let $B=B(r)$ denote a ball of radius $r$ in $\Omega \subset \mathbb R^d$ and
$$
u_B := \frac1{|B|}\int_B u \, dx.
$$
The standard Sobolev-Poincaré inequality states that if $u \in W^{1,p}(\Omega)$, ...

**5**

votes

**1**answer

164 views

### application of factorization theorem

Young's inequlity tells us that $L^{1}(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R)$ with norm inequality
$$\|f\ast g\|_{L^{p}} \leq \|f\|_{L^1}\|g\|_{L^p};$$
and of course this ...

**1**

vote

**1**answer

56 views

### Limiting absorption principle

I would like to know if there is a book (or a paper) which can give me an introduction to LAP. I tried to read some papers by myself, but I don't feel comfortable. I think that I need the basic ideas ...

**7**

votes

**2**answers

301 views

### Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says
$\sum_{n\geqslant 0}z^{2^n}$
doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...

**0**

votes

**0**answers

35 views

### Is Wiener amalgam spaces $W^{2,1}(\mathbb R)\subset C_0(\mathbb R)$?

I have been learning Wiener amalgam spaces.
In Wiener amalgam spaces $W(X, L^2)$, I am taking $X=\mathcal{F}L^{1}=\{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}\},$ and $m(x)=1.$
Take $f(x)= ...

**0**

votes

**0**answers

110 views

### Mean value estimate $ \frac{1}{T} \int_0^T | \zeta( \tfrac{1}{2} + it)|^2 \, dt = \log \frac{T}{2\pi } + (2\gamma - 1) + O(T^{\delta})$

I was browsing through the recent paper of Bourgain and Watt on mean value estimates of the Riemann zeta function on the critical line.
$$ \frac{1}{T} \int_0^T | \zeta( \tfrac{1}{2} + it)|^2 \, dt = ...

**7**

votes

**3**answers

440 views

### Derivatives of radial functions can be bounded by derivatives in terms of radial distance?

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$,
and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$.
Prove or disprove the following.
Given any ...

**1**

vote

**0**answers

37 views

### Estimates for derivatives of a positive discrete harmonic function

There is the following estimation (Duffin, Discrete potential theory, Theorem 5):
Let $f$ be a discrete harmonic function in a sphere of radius $R$ with the center $p$, all in $\mathbb Z^3$. Then, if ...

**1**

vote

**0**answers

62 views

### Proof of the chain rule for fractional derivatives in F.M.Christ and M.I.Weinsten's paper

In the paper: Dispersion of small amplitude Solutions of the generalized Korteweg-de Vries equation, JOURNAL OF FUNCTIONAL ANALYSIS 100,87-109 (1991).
I find a mistake in the proof of proposition 3.1 ...

**1**

vote

**0**answers

55 views

### Stationary averages of harmonic measures

Let $A$ be a countable subset of the open unit disk $\mathbb D$ centered at 0. For a point $x\in\mathbb D$ denote by $\nu_x$ the associated harmonic measure on the boundary circle $\partial\mathbb D$.
...

**2**

votes

**2**answers

53 views

### extension of the projectivized gradient of a harmonic function

Let $(M,g)$ be a riemannian manifold, $\Delta$ the associated Laplacian, and $\{ f_i \}$ the real-valued eigenfunctions of $\Delta$. Then, $\nabla f_i \in \Gamma ^{\infty } (\mathrm{T} M) $ is defined ...

**0**

votes

**0**answers

88 views

### The Lebesgue measure of the low level sets of the two-dimmension Fourier transform of a compactly supported function

Let $f\in {{L}^{1}}\left( {{\mathbb{R}}^{2}} \right)$ be a density function with the support $\operatorname{supp}\left( f \right)\subset \left[ a,b \right]\times \left[ c,d \right]$. Denoted by ...

**5**

votes

**0**answers

133 views

### Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential
$$
I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.
$$
The classical Hardy-Littlewood-Sobolev ...

**4**

votes

**0**answers

300 views

### How is $ \sum_{x \in X(\mathbb{F}_q)} \dots $ a generalization of cardinality?

This quarter Maxim Kontsevich is offering a course on exponential integral. There is not much in the way of notes, but is one page with mysterious comments.
Let $X$ be an algebraic variety over ...