All Questions
92 questions
44
votes
10
answers
47k
views
Is square of Delta function defined somewhere?
I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere.
In the beginning, this question might look strange. But by restricting the space of the test functions, ...
33
votes
1
answer
2k
views
For which maps $S^1\to S^1$ is the winding number defined?
There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to S^...
- 43.2k
25
votes
1
answer
8k
views
Convergence of Fourier Series of $L^1$ Functions
I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, Wikipedia informs me ...
- 871
15
votes
2
answers
681
views
Are Fourier transforms of L^p stable under diffeomorphisms?
Let $\xi$ be a compactly supported distribution on $\mathbb R^n$ and assume that its Fourier transform is in $L^p$. Let $\phi:\mathbb R^n\to\mathbb R^n$ be a diffeomorphism. Does the Fourier ...
- 2,649
12
votes
2
answers
1k
views
Low-degree polynomial approximation of the piecewise-linear function $x \mapsto \max(x, 0)$ on an interval $x \in [-R,R]$
For $R > 0$, consider the piecewise-linear function $\sigma_R: [-R,R] \rightarrow \mathbb R^+$, defined by $\sigma_R(x) := \max(x,0)$.
Question
Given $\epsilon> 0$, find a "low-degree" ...
- 6,853
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 1,199
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$" by Colliander, Keel, Staffilani, Takaoka and Tao it is argued in the beginning ...
user127411
9
votes
2
answers
758
views
Number of critical points of smooth functions on $S^1$
Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
8
votes
1
answer
496
views
A fractional weighted Poincaré inequality
Does there exists a constant $C>0$ such that
$$ \int_{-1}^1 \lvert x\rvert\lvert\partial_x u\rvert^2 \,dx \geq C\, \lVert u\rVert^2_{H^{1/2}((-1,1))},$$
for all $u\in C^{\infty}_0((-1,1))$?
- 4,143
7
votes
1
answer
1k
views
Fourier transform surjective on $L^p(\mathbb{R}^n)$ for $p \in (1,2)$?
I know that $F_2:L^2 \rightarrow L^2$ is of course unitary, whereas $F_1:L^1 \rightarrow C_0$ is injective but not surjective. This can be seen by looking at the dual map.
Riesz-Thorin gives us that ...
- 85
6
votes
1
answer
128
views
Equivalence of antiderivative in L1 sense and in the usual sense
We say that$\ f$ is differentiable w.r.t to $L_1$ if there exists a$\ g$ such that:
$$
\lim_{h\to 0}\left\Vert\frac{f(x+h)-f(x)}{h} - g(x)\right\Vert_1 = 0
$$
where $\Vert \cdot \Vert_1$ is the $L_1$ ...
- 165
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
5
votes
2
answers
359
views
Proof without distributions
I was wondering whether there is a way to show this identity
$$\pi \int_{\mathbb{R}^3} \frac{f(x)}{|x|} dx = \int_{\mathbb{R}^3} \frac{\widehat{f(x)}}{|x|^2} dx $$ without using distributions for $f ...
- 111
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 852
5
votes
1
answer
249
views
If $\mathcal R_j f\in L^1$ then $\widehat{\mathcal R_j f}=-i\frac{\xi_j}{|\xi|}\widehat{f}(\xi)$
For any $f\in L^1(\mathbb{R}^n)$ and $1\le j\le n$, recall that the Riesz transform $\mathcal{R}_jf\in L^{1,\infty}(\mathbb{R}^n)$ is given by
$$ \mathcal{R}_jf:=c_n\lim_{\epsilon\to 0}\left(\frac{x_j}...
- 3,146
5
votes
0
answers
262
views
Weighted reverse Poincare inequality over a function class of neural networks
We consider a probability measure supported on the whole space $\mathbb{R}^n$, whose density is $p(x)$. We also consider a (one-layer) neural network function class $\mathcal{C}$, whose elements have ...
- 325
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
4
votes
1
answer
277
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 1,649
4
votes
0
answers
158
views
Measurability of $L^{p}(L^{q})$ integrable functions
Let $ F: \mathbb{R}^n \times (0,\infty) \to \mathbb{R}$ be a function with the property that
$
\int_{\mathbb{R}^n} \big[ \int_0^\infty |F(x,r) |^q \, dr \big]^{p/q} \, dx < \infty
$
In addition we ...
- 41
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
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
4
votes
0
answers
205
views
Harmonic functions in upper half plane
Let $\mathbb H^+$ denote the upper half plane in $\mathbb R^2$. Consider the following equation
\begin{equation}\label{pf0}
\begin{aligned}
\begin{cases}
\Delta u=0\,\quad &\text{on $\mathbb H^+$},...
- 4,143
3
votes
1
answer
195
views
Boundedness of different Fourier transforms
Let $f: \mathbb{R}^n \rightarrow \mathbb{C}$ be in $L^2\cap L^1,$ then the Fourier transform is in $L^2 \cap L^\infty.$
Does this imply that we can take common norms in the sense that we can estimate ...
- 33
3
votes
2
answers
477
views
Vanishing convolution between density and compactly supported function
Find a pair of functions $f,g:\mathbb{R}\to\mathbb{R}$ such that:
$f$ is smooth and compactly supported (say, on $[0,1]$ but this isn't crucial),
$g(x)>0$ for all $x\in\mathbb{R}$, $\int g(x)\,dx=...
- 75
3
votes
2
answers
203
views
What is the distribution of the following limit?
Assume $x \in \mathbb{R}$. We already know that
$$\lim_{\epsilon \to 0+} \frac{1}{x-i\epsilon} - \frac{1}{x+i\epsilon} = 2\pi i \delta_x.$$
Here $\delta_x$ denotes the Dirac distribution. If we ...
- 903
3
votes
2
answers
217
views
Analogue of decay of Fourier coefficients of a smooth function on $\mathbb{S}^1$
Let $\nu$ be the uniform measure on the unit circle $\mathbb{S}^1 \subset \mathbb{R}^2$, normalised so that $\nu(\mathbb{S}^1) = 1$. Suppose $\mu$ is a Borel probability measure on $\mathbb{S}^1$ ...
- 399
3
votes
1
answer
84
views
Point-wisely dense orthonormal basis
Let us denote $T$ by the unit circle. Let $\{e_n\}$ be an orthonormal basis for $L^2(T)$, with respect to Lebesgue measure.
We say $\{e_n\}$ is smooth if it satisfies the following property:
$$f(t)...
- 4,058
3
votes
1
answer
1k
views
A calculus question related to the nonnegative definite functions
I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that
$$
\int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge 0$...
- 1,649
3
votes
1
answer
191
views
A convolution type singular integral operator with log
Define a convolution type operator $T_m$ by
$$T_m(f) = p.v.\int_\mathbb{R}f(x-y)\frac{\log^m|y|}{y}dy.$$ Here $m\ge0$ is an integer.
Consider $f \in H^s (s > 0)$ which is the usual Sobolev space. ...
- 903
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
133
views
Restrictions on spectral measure
Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$
Here $\...
- 587
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
3
votes
0
answers
187
views
An upper bound for a average of a function in $L_{p}([0,1))$
Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j},~
1\leq j \leq 2^{n} \}
\right\} \right)_{n ...
- 103
3
votes
0
answers
409
views
Continuous function sort
If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
- 529
2
votes
2
answers
1k
views
Decay estimate of Fourier transform of a compactly supported function
Assume $f(x), x \in \mathbb{R}$ is a function with a compact support such that its Fourier transform $\hat{f}(\xi)$ has a decay rate
$$\hat{f}(\xi) \lesssim \frac{1}{|\xi|^\gamma + 1}$$
for some $\...
- 903
2
votes
2
answers
2k
views
Does the Fourier series of an $L^1$ function converge to the function *weakly* in $L^1$?
Let $f$ be a periodic $L^1$ function, and $S_n[f]$ the $n$-th partial sum of its Fourier series. I am aware that $S_n[f]$ might not converge toward $f$ in $L^1$ (i.e., in norm). However, does it at ...
- 32.5k
2
votes
1
answer
336
views
Separability of $L^1$ in $L^2$ topology
In the space $L^1(0,1)$ take the topology generated by the $L^2$-balls
$$B^2_r(f)=\{g\in L^1(0,1):\; \|f-g\|_2<r\}.$$
Is $L^1(0,1)$ separable in this topology?
- 23
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
- 807
2
votes
1
answer
258
views
$L^2$ bound and Sobolev spaces
Let $f \in L^2(\mathbb R)$ be a function such that
$$\vert f \vert_{\alpha}:=\sup_{h>0}h^{-\alpha}\Vert f(\bullet+h)-f \Vert_{L^2}< \infty$$
for some $\alpha \in (0,1).$
I would like to know ...
user69109
2
votes
1
answer
250
views
Density in the Space of absolutely convergent Fourier series
It is possible to approximate a function $f$ on $[0,2\pi]$ by a continuous function whose derivative is zero almost everywhere (as can be seen here : https://math.stackexchange.com/questions/67334/...
- 125
2
votes
1
answer
460
views
Finite trigonometric polynomial
I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that
$T(x):= \sum_{n \in \mathbb{Z}} |\...
- 231
2
votes
0
answers
79
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
2
votes
0
answers
194
views
Functions such that the *integral* of the Fourier transform is non-negative?
Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that
$$\int_{-\infty}^x \widehat{f}(t) dt \...
- 20.2k
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
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, ...
- 124
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
298
views
A question on convergence rates of Fourier series and strict convergence
Consider BV functions on a torus. The Fourier partial sum using the first $n$ coefficients will converge to the function at every point of continuity, as $n\to\infty$. The convergence rate is $O(1/n)$....
- 698
2
votes
0
answers
164
views
(Generalized) Uncentered Maximal Function $\tilde Mf$ in Stein's Harmonic Analysis
It is well known that on $\Bbb R^n$, equipped with the usual Lebesgue measure, the standard Hardy-Littlewood maximal function $Mf(x)$ (with respect to averaging on cubes or balls centered at $x$) is ...
- 1,245
2
votes
0
answers
163
views
Hilbert transform on weighted Sobolev spaces
Let $\mathscr H\,f$ denote the Hilbert transform of a function $f \in L^2(\mathbb R)$. We know that $\mathscr H$ is an isometry on $L^2(\mathbb R)$, but I want to know to what is the mapping ...
- 4,143