All Questions
92 questions
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
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
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
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
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
1
vote
0
answers
50
views
Comparison of (square) of a function and its Fourier transform in an integral
I am completely stuck on a comparison between $f(t)^2$ and $\hat{f}(t)^2$ in an integral.
Considering $f(t)$ of rapid decrease at infinity such that near zero: $f(t) \sim_0 t^{-\frac{1}{2}- \alpha}+o(...
- 1,199
-2
votes
1
answer
99
views
A question on the zeros involving the equation containing exponential factor [closed]
I recently encounter a puzzle that: how to show that for any constant $c_1,c_2,c_3,c_4 \in \mathbb{R}$ the equation
$$c_1 e^t+c_2e^{-t}+c_3 e^{\alpha t}+c_4 e^{-\alpha t}=0$$
has at most only one ...
- 353
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
1
vote
1
answer
334
views
Orthonormal basis and decay
Edit: I added smoothness, hoping to simplify the problem with this additional assumption.
Let me motivate this question first: In signal analysis it is often of interest to understand when a certain ...
- 501
1
vote
0
answers
124
views
Inequality about the Fourier transform: $\Vert u \Vert_{L^k} \le \Vert \mathcal{F}(u) \Vert_{L^m}$ (where $1 \le m \le 2$ and $m,k$ Holder conjugates)
How can I prove the following inequality about the Fourier transform?
$$\Vert u \Vert_{L^k(\mathbb{R}^N)} \le \Vert \mathcal{F}(u) \Vert_{L^m(\mathbb{R}^N)}$$ for $1 \le m \le 2$ and $m,k$ Holder ...
user89890
2
votes
0
answers
136
views
To find a positive function with compact spectrum
Let
$e_1=(0,1)^T$,
$$
S=\left\{x\in \mathbb{R}^2\Big| \frac{|\langle x, e_1\rangle|}{|x|}>\delta>0\right\},
$$
is a cone in $\mathbb{R}^2$.
I want to find a non-trivial smooth function ...
- 29
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
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
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
1
vote
1
answer
124
views
On a weaker condition of summability for Fourier series
The Wiener algebra $W:=W(\mathbb{T}^n)$ on the torus is defined as the algebra of all continuous fonctions $f$ on $\mathbb{T}^n$ such that $(\widehat f(k))_{k\in \mathbb{Z}^n} \in \ell^1(\mathbb{Z}^n)$...
- 1,035
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
1
vote
1
answer
460
views
Fourier transform either changes sign infinitely often far out or is continuous at $x=0$
I am reading a book "Fourier Series and Integrals" by Dym & McKean.
There is an exercise (Page 106):
Exercise: Check that if $f$ is a real, even, summable function and
if $f(0+)$ and $f(0-)$...
- 371
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
1
vote
0
answers
194
views
Cotlar-Stein's Lemma and the Dirichlet kernel
It is well-known that Cotlar-Stein's Lemma can be used to prove the $L^2$ boundedness of the Hilbert transform. See e.g. $L^2$ boundedness of the Hilbert transform via Cotlar-Stein Lemma. Then using ...
- 171
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
2
votes
0
answers
183
views
Fourier series and regular distribution
Assume you have a distribution $K$ on $\mathbb{T}$, the torus, such that $\sum_{n=-\infty}^{\infty} |K(e_n)|^2$ is finite, where $e_n := e^{in\cdot}$ are the Fourier basis. Does this imply that the ...
- 95
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
0
votes
1
answer
629
views
Fourier Transform of sub-Gaussian distributions
The high level question is: Just as the Fourier transform of a Gaussian is a Gaussian, is the Fourier Transform of a sub-Gaussian also a sub-Gaussian?
Let $x \in \mathbf{R}^n$ denote some sub-...
- 445
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
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
1
vote
0
answers
92
views
Perturbation in Besov space
$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
- 515
1
vote
2
answers
270
views
Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]
In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...
- 19
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
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
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?
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
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
0
votes
0
answers
182
views
Establishing an upper bound for a dyadic 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} \stackrel{\text{df}}{=} \left[ \frac{j}{2^{...
- 1
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
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
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
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
1
vote
1
answer
3k
views
In Fourier Transforms: Positive Definite Functions, Bochner's Theorem, and Derivatives
I've been reading about Bochner's Theorem lately, but when I apply it to the derivative of a function, I seem to get a contradiction with the theorem.
"Bochner's theorem states that a
positive ...
- 11
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
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
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, ...
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