**4**

votes

**0**answers

263 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

291 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

87 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

251 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

93 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

133 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

116 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

251 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

68 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

362 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

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

**5**

votes

**1**answer

373 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

191 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

129 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

65 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

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

**4**

votes

**0**answers

3k 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

208 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

78 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

124 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

190 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

115 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

133 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

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

**6**

votes

**1**answer

302 views

### Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved).
Then the Fourier transform of this function is given by
...

**7**

votes

**1**answer

207 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

170 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

61 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

304 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

36 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

114 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

473 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

41 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

67 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

59 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

54 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

90 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

136 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

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

**9**

votes

**1**answer

219 views

### Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by
$$
I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}}
\, dy.$$
By the classical Hardy-Littlewood-Sobolev theorem ...

**0**

votes

**0**answers

37 views

### Gaussian gabor frame

It is widely known that $\phi(x)=e^{-\frac{x^2}{2}}$ does not define a Gabor frame if we consider translations by units of $1$ and multiplication by $e^{2 \pi inx}$for $n \in \mathbb{N}.$ A way to ...

**3**

votes

**0**answers

98 views

### Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël,
http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf.
The equations are
$$
i\partial_tu+\Delta u=-|u|^{p-1}u
$$
on ...

**5**

votes

**3**answers

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

**8**

votes

**1**answer

330 views

### For discrete groups, does the Haagerup property imply the AP of Haagerup-Kraus?

I don't expect to find an explicit counterexample to my question, because any example which was known to have the Haagerup property yet not have AP would have given an exact group without AP, and the ...

**2**

votes

**0**answers

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

**8**

votes

**1**answer

151 views

### Can the Cesaro limit of a positive definite function be negative?

Let $G$ be a countable amenable group and $\gamma:G\to\mathbb{C}$ a positive (semi)definite function (i.e. such that $\gamma(g^{-1})=\overline{\gamma(g)}$ and
$$\sum_{g,h\in ...

**9**

votes

**1**answer

142 views

### Nonconventional ergodic averages for commuting transformations

Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...

**2**

votes

**1**answer

108 views

### How to prove that the convolution operator associated to a discrete measure on a LCA group has natural spectrum?

Let $\mu$ be a Borel measure with finite variation on a locally compact abelian group $G$, let $\Gamma$ denote the dual group of $G$, and let $\hat \mu: \Gamma \to \mathbb{C}$ be the Fourier-Stieltjes ...

**5**

votes

**1**answer

120 views

### Existence of doubling non-Polish metric measure spaces

Let $(X,d,\mu)$ be a metric measure space (i.e. $(X,d)$ is a metric space and $\mu$ is a Borel measure on $X$). Let's say that $X$ is doubling if there exists a constant $C \geq 1$ such that $0 < ...