All Questions
389 questions
2
votes
1
answer
253
views
A question about equivalence of weighted Sobolev space norm in S. Benzoni-Gavage and D. Serre's book
This question may not be at the research level, but it has really bothered me for a long time. The following space is used for handling initial boundary value problem for first order hyperbolic ...
- 52.3k
3
votes
2
answers
651
views
Express Dirichlet energy $E_\mu(f) := \int \|\nabla f(x)\|^2 d\mu(x)$ in terms of Fourier information alone
Let $\mathbb R^d$ and let $\mu = p(dx)$ be a probability distribution thereupon, with density $p$ (which maybe assumed bounded, etc.). For a continuously differentiable function $f:\mathbb R^d \to \...
CommunityBot
- 1
0
votes
0
answers
145
views
Why is this function in $L^1$?
I had a question about a claim made in the paper "Group Invariant Scattering" and why it is true. Consider the function $h_j(x) = 2^{nj}\psi(2^jx)$, where $\psi$ is a function such that $\...
- 101
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
3
votes
1
answer
182
views
How to choose some $h$ so its Fourier transform supported in some set?
Suppose that $K=[-N, N]$ is some compact subset of $\mathbb R$, for some $N>2.$
Can we expect to choose $h$ such that $h=1$ on $K$ and the support of the Fourier transform of $\widehat{h}$ ...
- 79.9k
5
votes
0
answers
194
views
When does the Fourier transform of a measure decay?
Let $\mu$ be a Borel measure on $\Bbb R^d$.
It is well known that $\mu= |f|dx$ with $f\in L^1(\Bbb R^d)$ then its Fourier transform satisfies
$$\widehat{\mu}(\xi)\to0,\qquad \xi\to\infty.$$
However if ...
- 1,101
0
votes
1
answer
246
views
Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e
The Riemann-Liouville integral is defined by
$$
I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t
$$
where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
- 141
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$ ...
- 188k
1
vote
1
answer
433
views
Why complex conjugate in definition of the Fourier transform?
Let $G$ be a locally compact abelian group and $f:G \to \mathbb{C}$ a function. Its Fourier transform (when it exists) is defined to be
$$\widehat{f}(\chi) = \int_G f(g) \bar{\chi}(g) \mathrm{d} g,$$
...
- 16.2k
2
votes
1
answer
68
views
$\Lambda f\ge 0\iff f\ge 0$ if $\Lambda$ is a Gaussian convolution kernel?
Consider $\Lambda f(x)=\int_{\mathbb R} f(x-y) e^{-y^2} dy$. Suppose that for a bounded function $f$, $\Lambda f(x)\ge 0$ for all $x\in\mathbb R$. Does it imply that $f\ge 0$ almost surely?
- 39k
0
votes
1
answer
191
views
Littlewood-Paley characterisation of Hölder regularity
I am going through Terence Tao's "Nonlinear Dispersive Equations (Local & Global Analysis)" and trying to work through some of his exercises. However, I find myself being stumped by ...
- 39k
1
vote
0
answers
106
views
Question on the existence of a certain decomposition method for real square matrices
I was working around with the decomposition of the multidimensional linear canonical transform (which is not even continuous w.r.t. the parameters) into a few fractional Fourier transforms (and other ...
- 286
8
votes
2
answers
613
views
Pairs of elementary Fourier transforms in $L^2$
It is customary to teach Fourier transform on the real line by starting with functions from $L^1$, $L^2$ or the Schwartz space. It is not so easy to illustrate the theory by computing explicit pairs ...
- 18.7k
6
votes
0
answers
217
views
Detailed examples of induction on scale
I'm trying to understand the induction on scale argument in harmonic analysis. On this abstract it's mentioned that induction on scale can be used to prove Cauchy Schwartz inequality, Beckner's tight ...
- 6,367
1
vote
0
answers
116
views
A convergence problem in the space of tempered distributions
Let $K(x):=|x|^{-\alpha}$ be a function on $\mathbb{R}^{n}\setminus\{0\}$ with $0<\alpha<n$. Suppose $\phi$ is a $C^{\infty}_{c}(\mathbb{R}^n)$ function such that
$$\text{(i)}\quad \text{supp}\...
- 852
0
votes
1
answer
170
views
When some Fourier coefficients are fixed, can we control the extremals of the function?
Let $n$ be a odd number. Does there exist any $2\pi$-periodic continuous function $f
:\mathbb{R}\to \mathbb{R}$ such that the following points simultaneously hold?
1- $-n\lneqq f_{\min}$ (where $f_{\...
- 3,808
3
votes
0
answers
162
views
The essential norm where some Fourier coefficients are fixed
Let us denote $C_{2\pi}$ by the set of all $2\pi$-periodic continuous functions $f:\mathbb{R}\to \mathbb{R}$.
Q. Let $\phi\in C_{2\pi}$. Is the following statement valid?
$$\|\phi\|_2=\inf_{g\in C_{2\...
- 4,058
2
votes
1
answer
272
views
Proof of covariant convolution for a kernel function that is rotation symmetric in Fourier space
Problem Statement
Let $g:\mathbb R^{d}\to \mathbb R,d\in\{2,3\}$ be an integrable function (assumption I1). Suppose $\mathcal T$ is a rotation, and $f:\mathbb R^d\to\mathbb C$ (assumption C) is an ...
- 53
5
votes
4
answers
6k
views
General procedure for inverse of an integral transform
Is there a general inversion formula or procedure for an integral of the form (where f is the function being transformed and g depends on the type of transform) $\int^{a}_{b} f(x) g(x,\xi) dx $ ?
...
- 4,713
4
votes
0
answers
140
views
Given $a>0$, find $b>0$ for which $\|\langle x\rangle^{-b}|\partial_x|^{1/2}f\|_{L^2}\lesssim\|\partial_x f\|_{L^2}+\|\langle x\rangle^{-a}f\|_{L^2}$
I have asked the same question on MathSE. I was thinking about the following problem.
Problem. Given $\alpha>0$, find all values of $\beta\geq 0$ such that the following estimate is true for all $\...
- 1,075
4
votes
0
answers
310
views
Fourier characterization of weighted Sobolev space $W^{1,2}(\mathbb R^n, \gamma_n)$
For integers $n \ge 1$ and $m \ge 0$, the Sobolev space $W^{m,2}(\mathbb R^n)$ is characterized by
$$
f \in W^{m,2}(\mathbb R^n) \text{ iff } \tilde f_m \in L^2(\mathbb R^n),
\label{1}\tag{1}
$$
where ...
- 6,853
2
votes
1
answer
190
views
Approximating a function by a convolution of given function?
Let $g:\mathbb{R}\to \mathbb{R}$ be a given differentiable function of exponential decay on both sides. Now let us be given a function $f:\mathbb{R}\to \mathbb{R}$, also of exponential decay, if you ...
- 91.8k
8
votes
1
answer
722
views
Bounding the discrete $l^p$ norm by the continuous $L^p$ norm for trigonometric polynomials
Let $ X_N = \text{span} \{\cos(2\pi lx): l=0, \cdots, N-1 \} $ with $ x \in [0, 1] $ and $ Y_N = \{v =(v_0, \cdots, v_{N-1}): v_j \in \mathbb{C}\} = \mathbb{C}^N $. Then $ X_N $ is the space of ...
- 114k
19
votes
1
answer
5k
views
A Fourier-analytic inequality used by Jean Bourgain
I am currently reading Jean Bourgain's 1986 paper A Szemerédi type theorem for sets of positive density in $R^k$ and would appreciate some help in understanding a Fourier-analytic estimate used in ...
- 4,713
4
votes
1
answer
255
views
Proof that elements of Beppo-Levi-like spaces are functions (and not just distributions)?
Context. I am trying to undestand the theory underlying "Beppo-Levi"-like spaces defined as
$$
H = \left\{f\in {\cal S}'(\mathbb{R}^d) \;\left| \; t\times\widetilde{f} \in {\cal L}^2(\mathbb{...
CommunityBot
- 1
2
votes
0
answers
88
views
Explicit estimates on summability kernels
A "summability kernel" is a sequence of functions $k_n:[0,1)\to \mathbb C$ such that
$$ \int_0^1 k_n(t) \mathrm d t =1,$$
$$ \int_0^1 |k_n(t)| \mathrm d t =O(1),$$ with an implied constant ...
- 3,062
6
votes
1
answer
491
views
Harmonic analysis for a beginner
I am currently dealing with discrete Fourier transform and correlation technique to construct the spectrum of a broad band signal. It's already known that if I have enough observations of the signal, ...
- 188k
1
vote
1
answer
230
views
Why we have $f=0$
Define the Fourier transform for a suitable function $f\in L^1(\Bbb R)$ by $\widehat{f}(\xi)=\int_{\Bbb R}f(x)e^{-ix\xi} dx$.
Assume the condition $$\int_{\Bbb R}\int_{\Bbb R}|\widehat{f}(\xi)f(x)|^...
- 91.8k
1
vote
0
answers
169
views
Almost everywhere convergent Fourier series
Apparently there is a deep theorem stating:
Let $f:\mathbb{R}\to \mathbb{C}$ be a function satisfying $f(x)=f(x+2\pi)$ and $\int_0^{2\pi}|f(x)|^2dx<\infty$. Then the Fourier series of $f$ converges ...
- 63.9k
2
votes
0
answers
57
views
Does the snowflake $X^\alpha$ allows isometric embeddings into $L_1$ if $X$ does?
Question: Suppose that finite metric space $X$ allows isometric embedding to $L_1$. Does it mean that a snowflake space $X^\alpha$ allows isometric embedding to $L_1$ for every $0 < \alpha < 1$?
...
- 1,048
0
votes
0
answers
75
views
$|\partial $ as Fourier multiplier
I have the following nonlinear dispersive PDEs
$$i \partial_t u- \partial_x^2 u =|\partial_x| |u|^2$$
where $f$ is some nice complex-valued function.
I am trying to use the ansatz $u(t,x) = e^{i \...
- 159
2
votes
0
answers
172
views
Fourier transform harmonic oscillator eigenstates
The normalized eigenfunctions of the quantum harmonic oscillator are
$$\psi_{n}(x)= \frac{1}{\sqrt{2^n n!}} e^{-x^2/2}H_n(x),$$
where $n \in \mathbb N_0$ and $H_n$ is the $n$-th Hermite polynomial, ...
- 1,422
2
votes
2
answers
1k
views
Decoupling lemma for the Lambda(p) problem
I'm attempting to work through Bourgain's paper "Bounded orthogonal systems and the $\Lambda(p)$-set problem". There is a step in the proof of the decoupling lemma that I am stuck on, and thought ...
- 103
1
vote
0
answers
180
views
A potential wrong proof of a Lemma
Consider the following lemma: Let $g \in H^s_{x,y}(S)$ where $S = \mathbb{R}^2$ or $S = \mathbb{T}^2$, and $\eta \in C^\infty(\mathbb{R})$, $\operatorname{Supp}(\eta) \subset [-2,2]$, and $\eta \equiv ...
- 159
2
votes
0
answers
66
views
Fourier transform of the hyperboloid
Equip $\mathbb{R}^{d+1}$ with the Lorentzian form $\langle x, y\rangle=-x^0y^0+{\bf x}\cdot{\bf y}$ where $x=(x^0,{\bf x})$ and $\cdot$ is the usual Euclidean dot product. We define the hyperboloid $\...
- 439
0
votes
0
answers
72
views
Fourier coefficient of close functions
Let $p$ be some prime. Let $\mathbb{Z}_p$ be the cyclic group of order $p$. Let $f, g \colon \mathbb{Z}_p \to \{\pm 1\}$ be two functions. Recall that the Fourier transform is defined as
$$ f(x) = \...
- 63.9k
1
vote
0
answers
149
views
BMO estimates of singular integral operators on torus
I have the following elliptic problem:
$$ \Delta u = \operatorname{div}\operatorname{div}S, $$
where $S=(S_{i,j})\colon \mathbb{T}^n\to \mathbb{R}^{n\times n} $ is bounded and $\mathbb{T}^n$ is the $n$...
- 63.9k
0
votes
1
answer
130
views
Riesz transform after linear transformation
I am encountering the term $\partial_x \mathcal{R}_x(f(x,y))$. I needed to do the following linear transformation
$$x' = a x+ by,\,\,\,\,\, y'=ax-by,\,\,\, and \,\,f(x,y)=g(x',y') $$
I ended up with ...
- 188k
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
0
votes
0
answers
79
views
Reverse Hölder for possibly singular matrix weights
I'm working on some nonlinear partial differential equations and I have been led to the following puzzle. Let $W(x)$ be a symmetric positive semidefinite-valued function of $x \in \mathbb{R}^d$ (a &...
- 981
2
votes
0
answers
206
views
Fourier transform of unbounded linear operator
I am trying to construct Fourier transform of a family of unbounded linear operators.
Here is the construction.
Fix $H$ a Hilbert space. Let $D\subset H$ be a fixed dense subset.
Denote by $L(H)$ some ...
- 523
1
vote
0
answers
85
views
Interpolation between projective and injective spaces
Suppose $(\Omega,\mu)$ be a $\sigma$-finite measure space. Suppose $X$ is a Banach space and $L_p(\Omega;X)$ be the corresponding Bochner space for $0<p\leq\infty.$ Is it true that the complex ...
- 39k
2
votes
0
answers
173
views
Product of Heavisides: calculus vs Fourier transform vs wavefront set
I decided to ask this question here, since I did not get any answer from MSE and perhaps this topic is somewhat far from MSE's topics. I am following the paper here. I am trying to understand how to ...
1
vote
1
answer
203
views
Explanation of a step in a work by C. E. Kenig and A.D. Ionescu
I am studying the work
Ionescu, A. D.; Kenig, C. E., Local and global wellposedness of periodic KP-I equations, Bourgain, Jean (ed.) et al., Mathematical aspects of nonlinear dispersive equations. ...
- 4,729
1
vote
1
answer
322
views
A particular commutator of the discrete Fourier matrix
For $N$ be a fixed natural number, define $w=e^{\frac{2\pi i}{N}}$ and $z=e^{\frac{\pi i}{N}}$, so that $z^2=w$. Let $D$ be the diagonal matrix $D=\operatorname{diag}(1,z,z^2,\ldots,z^{N-1})$ and $F$ ...
- 52.3k
4
votes
0
answers
81
views
Does this sequence of functions converge in a distributional sense?
Let $f\in W^{1,12/5}(\mathbb{R}^3)$ (time-independent), let $K^{\epsilon}$ be a uniformly in $\epsilon$ bounded sequence in $L^{1}\cap L^{7/5}(\mathbb{R}^3)$ and let
$$\tilde{K}^{\epsilon} := K^{\...
- 469
3
votes
1
answer
667
views
Equivalent action of convolution of directional derivative
I have asked this question a while back on StackExchange but have not received any answer/comment. I received a suggestion to post the same question in here which is more research oriented.
Let $k*f(x)...
- 350
5
votes
2
answers
242
views
Extension of Valdivia-Vogt isomorphism from $\mathscr{D}(K)$ to $\mathscr{E}'(K)$
Let $M$ be a $d$-dimensional (say, Hausdorff, paracompact, connected and oriented) smooth manifold, and $K\subset M$ compact with $\mathring{K}\neq\varnothing$. M. Valdivia has shown (based on ...
- 799
1
vote
0
answers
79
views
A problem arising from Wiener-Levy theorem on the real line
Theorem (Wiener-Levy). Let $A(\mathbb{T})$ be the Fourier-algebra on the unit circle $\mathbb{T}$. Let $f$ be in $A(\mathbb{T})$ and suppose that $F$ is an analytic function on the range of $f$. Then $...
- 4,058
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 1,848