All Questions
Tagged with ca.classical-analysis-and-odes harmonic-analysis
157 questions
2
votes
0
answers
183
views
Are there any improvements on the estimate of oscillatory integral with one-side folds?
Suppose $X$ and $Z$ are open sets in $\mathbb{R}^d$ and $\mathbb{R}^{d+1}$, respectively. Define $T_\lambda f:L^2(Z)\to L^2(X)$ by $$T_\lambda f(x)=\int e^{i\lambda\Phi(x,z)}a(x,z)f(z)dz,$$where the ...
- 171
14
votes
1
answer
1k
views
Uncertainty principle
A version of the uncertainty principle says that a function and its Fourier transform cannot be both with compact support: it is not difficult to prove since a compactly supported distribution has an ...
- 16.2k
5
votes
1
answer
156
views
Extremal functions for the 'packing density in dimension one'
The $n = 1$ case of Theorem 3.1 of Cohn and Elkies's paper New upper bounds on sphere packings I amounts to the inequality $f(0) \geq 1$ for all ('admissible') functions $f$ on $\mathbb{R}$ satisfying
...
- 13.8k
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
0
votes
1
answer
294
views
Question on Littlewood-Paley trichotomy
In proving the product estimate, we need the Littlewood-Paley trichotomy. See http://www.math.ucla.edu/~tao/254a.1.01w/notes3.ps.
In the decomposition
$$P_k (fg)=\sum_{k',k''\in Z} P_k (P_{k'} f P_{k'...
- 429
6
votes
1
answer
741
views
Is the following integral nonzero?
Recently I met an integral as follow:
$$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq i<j\leq9}\sin\frac{\theta_i-\theta_j}{2}\right)\left(\prod\limits_{i=1}^9(1+\cos(\theta_i-\theta_{i+...
- 1,997
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
14
votes
2
answers
996
views
Does there exist some $C$ independent of $n$ and $f$ such that $ \|f''\|_p \geq Cn^2 \| f \|_p$, where $1 \leq p\leq \infty$?
Let $f$ be a trigonometric polynomial on the circle $\mathbb{T}$ with $\hat{f}(j) = 0$ for all $j \in \mathbb{Z}$ with $\lvert j \rvert < n$. Does there exist some $C$ independent of $n$ and $f$ ...
- 141
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
7
votes
1
answer
665
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
$...
- 81
7
votes
2
answers
437
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 ...
- 171
9
votes
1
answer
210
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 ...
- 1,769
1
vote
0
answers
133
views
Condition for boundedness in stationary phase theorem
I am trying to understand theorem 7.7.1 in Hormander's Analysis of linear partial differential operators, vol.1.
Let $K \subset \mathbb{R}^n$ be a compact set, $X$ an open neighborhood of $K$ and $j, ...
- 93
1
vote
0
answers
154
views
variation norm of a Fourier transform
Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in (...
- 331
6
votes
2
answers
929
views
Regularity of random Fourier series
The following two statements appear to be true (but do correct me if I am wrong):
The coefficients of a $C^k$ function on the torus $T^n$ decay at least as fast as $x^{-k}$ (where $x$ is some norm on ...
- 96.4k
1
vote
1
answer
480
views
Is there an asymptotic bound for this oscillatory integral?
I have an oscillatory integral:
$$ \int u(x,y) e^{i\lambda f(x,y)} dx $$
with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying:
$$ \text{Im} f \geq ...
- 93
6
votes
1
answer
212
views
Oscillatory integrals of algebraic functions
Consider an algebraic function $\phi$ on $R^{d}$.
By this I mean that there exists a polynomial $P$
with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!)
such that $P(\phi) = 0$
Let $...
- 547
1
vote
1
answer
448
views
Absolute convergence of multi-dimensional Fourier series
For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true
that the multi-dimensional Fourier series converges absolutely?
In other words, $\sum_{k\in \mathbb{Z}^d}|\hat{f}(k)|<...
- 401
0
votes
0
answers
85
views
Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?
Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put,
$\ell^{1}(\mathbb Z)= \{g:\...
- 1,051
1
vote
1
answer
289
views
Compactly supported smooth function with Laplace transform bounded on a cone
My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...
- 11
8
votes
2
answers
3k
views
$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$
It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
- 176
7
votes
1
answer
941
views
Kakeya and Nikodym maximal functions
I've been working through part of Terry Tao's 1999 article "The Bochner-Riesz Conjecture Implies the Restriction Conjecture." (It appeared in the Duke Mathematical Journal.) A little more specifically,...
- 213
2
votes
0
answers
219
views
A microlocal representation for quantum operator dynamics
In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
- 21
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
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
0
votes
1
answer
377
views
Can any compactly supported continuous function be written as a linear combination of functions with small support
Does anyone have a reference for the following result? I am pretty sure that it is true, and should not be hard to prove, but i would surprise me if it is not already proven in many places:
Let $G$ ...
- 2,071
1
vote
1
answer
247
views
Convergence of a sum to the integral
Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be a 1-periodic function. I am looking about the conditions on $(a,b)\in\mathbb{R}^2$ such that we have the property :
$$\frac{1}{n}\sum_{\ell=0}^{n-1}f(a+b\...
- 65
0
votes
1
answer
489
views
Littlewood-Paley theory and norm estimation
In the paper "A Convolution Inequality Concerning Cantor-Lebesgue Measures", the Littlewood-Paley theory is used to estimate the norm of multiplier operator in Lemma 1.
It is claimed that Lemma 2 is ...
- 153
5
votes
1
answer
566
views
Could we interpolate the compactness of compact operators?
Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operators, viz., the ...
- 1,202
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user14166
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
6
votes
1
answer
591
views
For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
user14166
10
votes
5
answers
2k
views
Background for Hejhal's "The Selberg Trace Formula for $PSL(2, \mathbb{R})$
Reposted from math.stackexchange where my question received only five views and no answers...
I'm trying to learn the Selberg trace formula, but have very little background in harmonic analysis. I ...
- 7,062
0
votes
1
answer
181
views
What is the limit of the derivative of the harmonic extension/Dirichlet solution in $C^{1,\alpha}$ cases?
Let $f:\mathbb{S}^1 \to \mathbb{S}^1$ be an orientation-preserving homeomorphism. Denote by $H(f)$ the complex harmonic extension/solution in $\mathbb{D}$ to the Dirichlet problem with boundary data $...
- 1,471
8
votes
2
answers
1k
views
What is the simplest oscillatory integral for which sharp bounds are unknown?
I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...
- 2,243
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
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
6
votes
4
answers
8k
views
Characterization of the non-negative definite functions $f(x,y)$
The common definition of the non-negative definite functions is as follows:
Definition 1: A continuous complex-valued function $f(x)$ is called non-negative definite, if for any real numbers $x_1,\...
- 1,649
0
votes
0
answers
298
views
High dimensional beta integral (question following the previous post)
Hello,
This post is a question following the previous post. In one dimensional case, we have
$$
\int_0^x |y|^{1-\alpha} |x-y|^{1-\beta} d y = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} |...
- 1,649
1
vote
2
answers
687
views
High dimensional beta integral (a typo in Stein's book "singular integrals")
Hello,
When I read Stein's book of Singular Integrals, at p. 118, there is an obvious mistake:
$$
\int_{R^n} |x-y|^{-n+\alpha} |y|^{-n+\beta}=\frac{\gamma(\alpha)\gamma(\beta)}{\gamma(\alpha+\beta)},...
- 1,649
2
votes
0
answers
164
views
Regularity properties of the derivatives of a particular function on $D \times D\to \bar{D} $ ?
This question might sound a little less rigorously formulated, but I hope the question still makes sense.
Let $h: S^1 \to S^1$ be an oriention-preserving homeomorphism and let $p(z,t) = \frac{1}{2\...
- 1,471
1
vote
1
answer
204
views
Local nonarchimedean Sobolev inequality
Let $B$ be the unit ball in $\mathbb{R}^n$. A local version of the Sobolev inequality on $\mathbb{R}^n$ says that for any $p\in[1,\infty]$ there exist constants $C >0$ and $k \in \mathbb{N}$ such ...
9
votes
1
answer
1k
views
Endpoint Strichartz Estimates for the Schrödinger Equation
The non-endpoint Strichartz estimates for the (linear) Schrödinger equation:
$$
\|e^{i t \Delta/2} u_0 \|_{L^q_t L^r_x(\mathbb{R}\times \mathbb{R}^d)} \lesssim \|u_0\|_{L^2_x(\mathbb{R}^d)}
$$
$$
2 \...
- 217
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
59
votes
7
answers
29k
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
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
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
9
votes
1
answer
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 2,243
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