All Questions
Tagged with ca.classical-analysis-and-odes harmonic-analysis
157 questions
6
votes
1
answer
365
views
Is the Besov space $B_{\infty,1}^0(\mathbb{R}^d)$ a multiplication algebra?
Let $s\in\mathbb{R}$ and $1\leq p,q\leq\infty$. Consider the Besov scale of spaces $B_{p,q}^s(\mathbb{R}^d)$ defined by the norm
$$\|f\|_{B_{p,q}^s} := (\sum_{j=0}^\infty \|P_{j} f\|_{L^p}^q)^{1/q},$$
...
- 873
2
votes
0
answers
320
views
About definition of NTA domain
I'm not an expert in analysis on very rough domains, such as NTA(Nontangentially Accessible Domain).
Here is my question. Usually, NTA domain $\Omega$ is a domain that has inner and outer corkscrew ...
- 323
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
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
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
2
votes
0
answers
169
views
Functions whose Fourier coefficients satisfy $ \sum_{k=1}^\infty |c_k| < 1 $?
Let $f:(0,1) \to \mathbb R$ be a function that can be written as $$f(x) = \sum_{k=1}^\infty c_k \phi_k(x),$$ where $\phi_k(x) = \cos(\pi k x)$. What is the minimal assumption required on $f$ to ...
- 839
7
votes
2
answers
340
views
Sum of $\sin$ when angles shrink by $1/n$
There are many identities known like
$$\sum_{k=0}^{n-1} \sin (k \cdot \theta + \varphi) = \frac{\sin\left(n \cdot \frac{\theta}{2}\right)}{\sin\left(\frac{\theta}{2}\right)} \cdot \sin \left(\frac{2 \...
- 749
5
votes
1
answer
314
views
A simple oscillatory integral with a non-smooth phase
Let $\phi\in C_c^\infty(\mathbb{R})$ be an even function such that $\chi_{(-1/2,1/2)}\le\phi\le \chi_{(-1,1)}$, where $\chi_{(a,b)}$ stands for the indicator function of the interval $(a,b)$. For $\...
- 421
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
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
7
votes
1
answer
355
views
Compactly supported probability measure in high dimensions with fast Fourier decay?
For any sufficiently large $d\in\mathbb{N}$, does there exist a probability measure $\Psi$ supported on the Euclidean ball in $\mathbb{R}^d$ for which $|\widehat{\Psi}[\omega]|\le C\cdot \exp(-\|\...
- 91
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
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 192
6
votes
1
answer
196
views
Circular sequences continuous?
I noticed something interesting when playing around with Mathematica.
Consider the sum
$$x(N)= \frac{1}{N^2} \sum_{i=1}^{N-1} \frac{1}{1-\cos(2\pi i/N)}$$
this sequence will converge to $1/6$ as $N$...
user121558
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
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
7
votes
2
answers
824
views
Fourier series of smooth functions in infinitely many variables
Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
- 401
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
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
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
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
1
vote
0
answers
176
views
Oscillatory integral estimates imply sublevel set estimates
I am looking for a particular source for the following type of theorem:
If
$$\Bigg{|}\int_{\mathbb{R^d}} e^{i\lambda \phi(x)} \psi(x) dx\Bigg{|} = O(\lambda^{-p}),$$
then, letting $E_\varepsilon = \{ ...
- 203
1
vote
1
answer
444
views
Upper bound of a ratio of integrals
I'm wondering how to upper bound the following ratio of integrals:
$$\frac{\int_{\Delta_a}(\prod_{i=1}^n\lambda_i)^{p-1}\prod_{i<j}|\lambda_i-\lambda_j|}{\int_{\Delta_b}(\prod_{i=1}^n\lambda_i)^{p-...
- 1,495
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
1
vote
1
answer
123
views
Interpolation of a trilinear functional
Let $f,g,h\in L^2([0,1]^2)$ and let $K:\mathbb{R}^3\to \mathbb{C}$ be some smooth kernel with support containing $[0,1]^3$. Denote by $\|f\|_2$ the $L^2([0,1]^2)$ norm of $f$, and same with $g,h.$ If ...
- 203
2
votes
0
answers
126
views
On the infimium of a functional
Let $(M^n,g)$ be a closed Riemannian manifold. Define
$$\lambda(g)=\inf\{\mathcal{F}(g,f),\;0<f\in C^{\infty}(M),\; \int_Mf^2\;d\nu=1\},$$
where $$\mathcal{F}(g,f)=\int_M\left(|\nabla f|^2+ af^2\...
- 169
9
votes
1
answer
410
views
The discrete Hardy-Littlewood-Sobolev inequality
Let $p>1$, $q>1$, $0<\lambda<1$ be such that
$\frac{1}{p}+\frac{1}{q}+\lambda=2$. Suppose that
$(a_{k})\in \ell^{p}(\mathbb{Z})$ and $(b_{k})\in \ell^{q}(\mathbb{Z})$.
It is known ([1,2,3]...
- 143
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
-2
votes
1
answer
165
views
Relationship between "Radial" Fourier transform and Fourier transform, especially at infinity
Let $\phi:\mathbb{R}^n \to \mathbb{R}$ be a $C^{\infty}$ function with compact support.
What is the relationship between
$$
\widehat{\phi}(k) = \int e^{-2\pi i x \cdot k} \phi(x) dx, \quad k \in \...
- 469
6
votes
1
answer
134
views
Multi-parameter stationary phase asymptotic expansion
I am looking for an asymptotic expansion of the oscillatory integral of the form
$$\int_{\mathbb{R}^n}f(x)\exp(i(\lambda_1\phi_1(x)+\dots+\lambda_k\phi_k(x))dx,$$
as $\lambda_i\to \infty$ ...
- 1,692
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
2
votes
0
answers
88
views
Solvability of Neumann boundary problems with singular boundary data $g \in (H^{1})^{*}$
I have a question on the solvability of Neumann boundary problems with singular data. To state my question, let $\Omega$ be a bounded Lipschitz domain (open and connected) in $\mathbb{R}^n$.
In the ...
- 323
2
votes
0
answers
101
views
A specific Schwartz function $f$ on $\mathbb C^2$
Choose a Schwartz function on $\mathbb C$ of the form $f(z)=f(r e^{i\theta})= f_0(r) e^{in\theta}$. Then $$(*) \quad f(e^{i\alpha} z)= e^{in\alpha} f(z), \quad \forall z\in \mathbb C.$$
Now, let $f$ ...
- 650
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
1
vote
0
answers
237
views
On the bound of the Stein-Wainger oscillatory integral
Let $\lambda\in \mathbb{R}$, $\phi\in C^\infty(\mathbb{R})$. We define the Stein-Wainger oscillatory integral by
$$I=p.v.\int_\mathbb{R} e^{i\lambda\phi(t)}\frac{dt}{t}.$$
Stein-Wainger [1] showed ...
- 11
2
votes
0
answers
70
views
Can the STFT decrease arbitrarily quickly near the origin?
For $f,g \in L^2(\mathbb{R}^d)$ we can define the Short Time Fourier Transform (STFT) $V_gf \in C_0(\mathbb{R}^{2d})$ as $$V_gf(x, \omega) = \int_{\mathbb{R}^d} f \overline{g(t - x)} e^{-2 \pi i t \...
- 1,010
7
votes
1
answer
2k
views
Regularity of Fourier transforms of $L^p$ functions for $2<p\le\infty$
I was recently reading about the Mikhlin and Hörmander Multiplier Theorems, which give conditions for a measurable function $m:\mathbb R^d\to\mathbb C$ to be an $L^p$ multiplier, i.e. for there to ...
- 1,247
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
1
vote
1
answer
540
views
Bound of an oscillatory integral from Stein's Harmonic Analysis book
On Stein's ``Harmonic Analysis Real-variable methods, orthogonality, and oscillatory integrals'' (5.13, page 363) there is the following statement. Let $\phi$ be a real homogeneous polynomial on $\...
- 3,625
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
5
votes
2
answers
476
views
Fourier support condition in the paper 'A study guide for the $l^2$ decoupling theorem'
I'm currently reading Bourgain and Demeter's study guide for the $l^2$ decoupling theorem (https://arxiv.org/pdf/1604.06032.pdf). I have some trouble with understanding the proof of Proposition 8.4.
...
- 61
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 329
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
1
vote
0
answers
68
views
When Schroedinger propagator commutes other operators?
Let $f\in \mathcal{S}(\mathbb R^d)$ (Schwartz Space).
We know that $\widehat{\nabla f}(\xi)= 2 \pi i \xi \hat{f} (\xi). $ We define $$\widehat{|\nabla| f^{s}} (\xi) = (2 \pi |\xi|)^s \hat{f} (\xi), ...
- 31
8
votes
0
answers
277
views
a question on the paper of Łaba and Wolff
I'm reading the paper A local smoothing estimate in higher dimensions by Izabella Łaba and Thomas Wolff. The paper can be found at J. Anal. Math. 88 (2002), 149–171, doi: 10.1007/BF02786576, arxiv: ...
- 463
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
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
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
5
votes
1
answer
227
views
Existence of $L^\infty$ function on $\mathbb{T}$ whose Fourier series is $\ell^2$ but no better?
I'm sure that this is classical--but can anyone provide a reasonable example of an $L^\infty(\mathbb{T})$ function whose Fourier series is $\ell^2$ but no better? Not even $L^2\log L$? Presumably one ...
- 193
2
votes
0
answers
186
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171