All Questions
Tagged with ca.classical-analysis-and-odes harmonic-analysis
157 questions
4
votes
1
answer
894
views
Hardy-Littlewood maximal function
We know that Hardy-Littlewood maximal function is $(p,p)$ for any $p>1$. But one proves first that it is weak type $(1,1)$ and then use interpolation. I am just curious to know: is there a way of ...
- 415
4
votes
1
answer
168
views
Uniform decay of $J'_{\nu}(x)$ for $x\gg1$
I need a uniform decay estimate for the derivative $J'_{\nu}(x)$
of the Bessel functions.
By `uniform' I mean an estimate independent of $\nu$, at least for a range of orders like $\nu\ge0$.
For $J_{\...
- 9,007
4
votes
2
answers
549
views
A proof of Bernstein's inequality
I'm studying the Meyer's book, "Wavelets and operators", and I'm confused about a proof of Bernstein's inequality at page 47, which is stated below:
"The function $\frac{\xi^\beta}{|\xi|...
- 71
4
votes
1
answer
287
views
A lower bound for the $L^1$ norm of real trigonometric polynomials
This question is somewhat similar to Minimizing the L1 norm of odd-term trigonometric polynomial. The context of the question is based on the paper Hardy's Inequality and the $L^1$ norm of Exponential ...
- 270
4
votes
1
answer
1k
views
Harmonic analysis on constant curvature hyperbolic spaces of arbitrary dimension
I am currently looking for a formulation of a Fourier transform on manifolds of constant negative curvature. Specifically, I am looking for generalizations of the two dimensional results on the ...
- 143
4
votes
1
answer
222
views
estimate a singular integral using a dyadic decomposition
Let $0<\alpha_{j}<1$, $j=1,\dots,d+1$. I am trying to estimate the following singular integral:
$$I(y_{1},\dots,y_{d},z):=\int_{\substack{ x\in[0,1]^{d}\\
1/2<|x|<1}}
\frac{d x_{1} \dots d ...
- 852
4
votes
1
answer
162
views
Uniqueness of critical points for Lipschitz perturbations of uniformly convex Hamiltonians
Consider a macroscopic free energy functional of the form
$$\mathcal{F}_\beta(\mu):= \frac{1}{\beta}\int_{\mathbb{R}^d}\log(\mu)\mu dx + \int_{\mathbb{R}^d}V(x)\mu(x)dx + \iint_{(\mathbb{R}^d)^2}g(x-y)...
- 873
4
votes
1
answer
285
views
Idea behind Carleson's theorem modern proof "intitial reductions"
I'm having troubles to understand the philosophy behind the modern proof of Carleson's theorem. For convenience, let me state precisely what I am asking for.
For any $f \in L^2(\mathbb{R})$, let $\...
- 489
4
votes
1
answer
148
views
Is the distribution $f\mapsto \int_{S} \frac{\partial^i }{\partial \nu^i}f\,\mathrm{dvol}$ in a Bessel potential space?
In order to finish a paper on 'metric space magnitude' I need to prove that a certain distribution on $\mathbb{R}^{2p+1}$ is in Mark Meckes' weighting space (see
Magnitude, Diversity, Capacities, and ...
- 1,271
4
votes
2
answers
928
views
Rate of convergence of mollifiers // Sobolev norms
Following up to the question raised here, I am searching for a reference (or a simple argument) to establish (in the whole space) the following (suggested) equivalence :
Given $N_1$ and $N_2$ two (...
- 3,425
4
votes
0
answers
296
views
The convention of Fourier transform on symmetric spaces
When trying to understand the Plancherel formula of reductive symmetric space of Harish-Chandra class, I get confused on the convention of Fourier and related transforms.
$\newcommand{\H}{\mathcal{H}}
...
- 144
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
4
votes
0
answers
242
views
Fefferman's article: Pointwise convergence of Fourier series, II
I have some problems reading Pointwise convergence of Fourier series by Fefferman https://www.jstor.org/stable/1970917
I got stuck in Chapter 6, Lemma 5. In the proof he split the $\mathcal P'$ into ...
- 751
4
votes
0
answers
820
views
Calderón's complex interpolation: what is the corresponding classical theorem?
This question is closely related to my answer to Dan's question, which contains the definitions of some terms I use here. In addition, the notion of exact interpolation functor of exponent $\theta$ is ...
- 1,202
3
votes
6
answers
1k
views
Reference for complex analysis jargon
I am not a (complex) analyst but it seems that some of the questions I am working on are related to the following concepts:
logarithmic capacity
transfinite diameter
Green's function of a compact ...
- 741
3
votes
1
answer
480
views
Is there a uniform upper bound for this oscillatory integral?
I am wondering whether the following uniform upper bound holds:
$|\int_a^{2a}\frac1t\sin(N b^2t)\exp(iNbt^2)dt|\le Cab^2,$
where $0<a<b<1$, $N>N_0(a,b)\gg1$, and $C$ is a constant ...
- 187
3
votes
1
answer
569
views
Functions belong to $L^{\frac{2n}{n+1}}$ whose Fourier transforms are infinite on $S^{n-1}$
I'm looking for functions $f\in L^{\frac{2n}{n+1}}$ such that $\hat{f}=\infty$ on $S^{n-1}$. Is there any explicit expression of such kind of examples?
This seems to be a well-known result, but I can ...
- 879
3
votes
1
answer
227
views
Question on the definition of almost periodic function
According to Bohr, the definition of the almost periodic function is:
A function $f:\mathbb{R}\rightarrow \mathbb{C}$ is called almost periodic if it is continuous and if for every positive $\epsilon$,...
- 33
3
votes
1
answer
150
views
A question on a simple integral with a singular kernel?
I asked this question on math.stackexchange:
Does this integral converge when $\frac{1}{p}+\frac{1}{q}\ge1$?
No answers or very useful comments there.
May be it is more appropraite for mathoverflow.
...
- 852
3
votes
1
answer
168
views
Uniform bound for an oscillatory sum
I am wondering if there is a uniform bound $C$ (independent of $\lambda>10$):
$$\sum_{k=-\infty}^{-1}\Big|\int_{2^k}^{2^{1+k}}\frac{\sin(\lambda t^3)}{t}dt\Big|\le C.$$
Remark: (1) An easy upper ...
- 187
3
votes
1
answer
682
views
Is there any result about the uniform convergence rate of multi-dimensional Fourier series
For example in the 1-dimensional case, it is known that if f satisfies the α-Hölder condition, then
$|f(x)-(S_Nf)(x)|\le K \frac{\ln N}{N^\alpha}$
where $S_N f$ is the n-term partial sum of the ...
- 31
3
votes
1
answer
2k
views
fourier transform of radon measure
hi,
assume that I have a function $q$ which is a Fourier Multiplier of order zero, i.e.
$$
\left|\left( \frac{d}{dx}\right)^nq(x)\right|\lesssim \left(\frac{1}{1+|x|}\right)^n\quad \mbox{for all ...
- 979
3
votes
2
answers
226
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; \...
- 2,834
3
votes
1
answer
256
views
A sharp estimate for an oscillatory integral with a simple phase
Let $\alpha>1$ not necessarily an integer, and let $\psi:\mathbb{R}\rightarrow \mathbb{R}$ be a smooth function with compact support. Consider the oscillatory integral $$I(\lambda):=\int_{0}^{\...
- 852
3
votes
1
answer
264
views
Convolution of ball measures
It is well known that convolution of two ball measures (i.e. a uniform measure over a ball) in $\mathbb{R}^{n}$ is absolutely continuous with respect to the Lebesgue measure.
My question is - how to ...
- 39
3
votes
1
answer
246
views
$f \in L^p(\mathbb{R}^2)$ for all $p \geq 1$, and $f$ has zero integral. What can we say about this function's fourier Transform?
Let $\psi$ be an smooth admissible Shearlet with compact support, cand let $\mathcal{M}$ be a bounded region in $\mathbb{R}^2$ and let $m= \chi_{\mathcal{M}}$ be the characteristic function of $\...
- 237
3
votes
1
answer
203
views
Using Fourier series to prove $-\int_0^1 u_{xxx}u_x \eta = \int_0^1 (u_{xx})^2\eta - \int_0^1 \frac{1}{2} (u_x)^2 \eta_{xx}$
Let $u, \eta$ be smooth functions and $\eta$ compactly supported in $(0,1)$. Integrating by parts, we can easily prove $$-\int_0^1 u_{xxx}u_x \eta = \int_0^1 (u_{xx})^2\eta - \int_0^1 \frac{1}{2} (u_x)...
user139844
3
votes
1
answer
171
views
Discrete singular integrals
Let $\{\phi(n)\}_{n\in\mathbb Z}$ be a sequence of complex numbers with the following properties:
$\phi(0)=0$ and $|\phi(n)|\leq \frac{C_1}{|n|}$ for all $n\neq 0$ and $C_1>0$ is independent of $n....
- 1,879
3
votes
1
answer
465
views
An inequality from Bessel potential space to Besov space
I'm not sure this question is suitable for MathOverflow. Currently, I'm reading a paper "Inhomogeneous Dirichlet Problem in Lipschitz domain" by Jerison and Kenig.
I have a question on some ...
- 323
3
votes
2
answers
140
views
Sequence of subharmonic functions on shrinking domains
Set $G_\eta:=\{(x,y)\in \mathbb{R}^2|-\eta<x<\eta, 0<y<1\}$. If $u_\eta\geq 0$ is a sequence of subharmonic functions defined on $G_\eta$ such that
$$
\int_{G_\eta}|u_\eta|^2dx\wedge dy\...
- 527
3
votes
0
answers
216
views
The Fourier transform of a compactly supported smooth function on Lie groups over $\mathbb{Q}_S$, where $S$ contains finitely many primes and $\infty$
Let $G$ be a semisimple Lie group defined over global Field $\mathbb{Q}$. Let $S$ be a set of finitely many non-Archimedean places including Archimedean places. Let $P_{0}=M_{0}A_{0}N_{0}$ be the ...
- 31
3
votes
0
answers
110
views
Pushforward of measures with Fourier decay
Suppose $\gamma: [0,1]^d \to \mathbf{R}^{d+1}$ is a smooth map with nonvanishing Gaussian curvature, and $\mu$ is a probability measure compactly supported on $(0,1)^d$ such that $|\widehat{\mu}(\xi)| ...
- 455
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
240
views
About optimizing decay rate of Fourier transforms?
Suppose we have a density function $f(t)$ of a random variable and $f \in C^1(R)$. If characteristic function of $f$ is $\phi_f(x) \asymp O(x^{-\beta})$ and $f$ satisfies some restrictive conditions ...
- 31
3
votes
0
answers
651
views
Decay of the Fourier transform of a surface area measure
Let $\mu$ be a surface area measure of a manifold $M\hookrightarrow\mathbb{R}^{n+1}$. If $M$ is the unit sphere $S^n$, it's known that surprisingly the Fourier transform of $\mu$ decays: $$|\hat\mu(\...
- 43
3
votes
0
answers
209
views
Optimal Kakeya maximal bound for bushes
Let $\{T_{\alpha}\}$ be a collection of $1\times\cdots\times 1\times N$ tubes, where $N\gg 1$, with maximal $1/N$-separated directions, which all are centered at the origin (i.e. they form a bush). In ...
- 873
3
votes
0
answers
478
views
Harmonic analysis on the Heisenberg group
It is well known that:
Theorem 1. For $f\in L^{2}(\mathbb H_{n}=\text{The Heisenberg group of dimesion } 2n+1)$ we have the expansion
$$f(z, s)= (2\pi)^{-n} \sum_{k=0}^{\infty} \int_{0}^{\infty} f \...
- 1,051
3
votes
0
answers
135
views
Asymptotic rearrangement
I had some trouble coming up with a good title for this question. Here is the setup. Suppose you have two infinite sets of (positive real, say) numbers $\{a_k\}$ and $\{b_k\}$ such that the ...
- 96.4k
2
votes
1
answer
739
views
Use of Stein's maximal principle in Bourgain's paper on Besicovitch sets
I'm trying to understand Bourgain's paper "Besicovitch type maximal operators and applications to Fourier analysis". Let $\xi\in S^2\subset\mathbb{R}^3$ be a unit vector and $\delta>0$, ...
- 265
2
votes
2
answers
399
views
Asymptotic decay rate of an oscillatory integral
Consider the following oscillatory integral
$$
I(n):=\int_{-\pi}^\pi\int_{-\pi}^\pi e^{i n(x+y)}\frac
{(1 - \cos(2x)) (1 - \cos(2y))}
{2k - (\cos x + \cos y)}\ \mathrm{d}x\,\mathrm{d}y.
$$
where $...
- 2,712
2
votes
2
answers
620
views
Examples of polar sets
I would like to know some examples of the following polar sets (if they exist):
a non trivial uncountable polar set in $\mathbb{R}^{2}$;
a polar set in $\mathbb{R}^{2}$ contained in $\mathbb{R}$ with ...
- 71
2
votes
1
answer
215
views
Asymptotics for oscillatory integral
Consider the following integral for $f \in C_c^{\infty}(\mathbb R^n)$, $x_0$ fixed (possibly zero), and $n \ge 3$
$$F(\lambda) = \int_{\mathbb R^n} e^{i\lambda \vert x-x_0 \vert^2} \frac{f(x)}{\vert x ...
2
votes
1
answer
675
views
Moment generating function of random unit vector
Let $X$ be uniformly distributed on the unit sphere $S^{n-1}$. Is there any result concerning the calculation or bound (particularly lower bound) of
$$\mathbb{E}[\exp(X^Tv)]$$
for any $v$?
- 1,495
2
votes
1
answer
227
views
Interpolating delta like functions by trigonometric polynomials of bounded modulus and fast decay
Consider a grid of points $T=\{t_0,t_1,\ldots,t_m\}$ with $0\le t_i\le 1$. I would like to find a function $f(t):[0,1]\rightarrow \mathbb{C}$ of the form
\begin{equation*}
f(t)=\sum_{k=-n}^n c_k e^{2\...
- 859
2
votes
1
answer
816
views
A counterexample in Littlewood-Paley theory.
Are there any (at least mildly) explicit counterexamples to the statement
$$
\sum_{m \in \mathbb{Z}} \|P_m f\|_p \lesssim \|f\|_p?
$$
(Or some good reason to expect this to be false?).
Here $P_m$ is ...
- 217
2
votes
1
answer
115
views
Reverse Loomis-Whitney Inequality for functions
I was wondering if the reverse Loomis-Whitney inequality holds for general functions:
Let $n\geq 2$. Let $(X_i,\mu_i)$, $1\leq i\leq n$ be measure spaces. Write $x=(x_1,\dots,x_n)$ and for each $1\...
- 751
2
votes
1
answer
433
views
bounding the absolute value of a trigonometric polynomial
Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
\...
- 859
2
votes
0
answers
206
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
2
votes
0
answers
216
views
Fourier transform of Dirac delta distribution
Let $f,g$ be Schwartz functions on $\mathbb R^4$, we denote them as $\mathcal S(\mathbb R^4)$, one can then define the transform $V$ mapping $f,g$ to a Schwartz function $\mathcal S(\mathbb R^8)$
$$ V(...
- 73
2
votes
0
answers
85
views
Multipole expansion
In Simon's book Harmonic Analysis, example 3.5.12 shows:
Fix $x \in \mathbb{R}^{\nu}$ (with $\left.\nu \geq 3\right), x \neq 0$ and define $f$ on $\{y:| y|<| x |\}$ by
$$
f(y)=|x-y|^{-(\nu-2)}.
$$
...
- 21