All Questions
389 questions
2
votes
1
answer
265
views
Radon transform range theorem and radial functions
(UPDATED for rapid decay considerations + new question)
In dimension 2, the Radon transform range theorem states that a rapidly decaying (Schwartz) function $g(t,\theta)$ can be represented as a ...
- 123
3
votes
0
answers
192
views
Space contained in the Interpolation of $L^\infty$ and the Wiener Algebra $\mathcal{F}(L^1)$
Let $\ell^p$ be the space of sequences with power $p$ summable to $\ell^\infty$, $L^p = L^p(\mathbb{R^d})$ be the Lebesgue spaces and $\mathcal{F}$ be the Fourier $d$-dimensional Fourier transform.
...
- 230
7
votes
0
answers
420
views
What is the relationship between Hecke algebras and the enveloping algebra of Lie groups?
Here is the story as I see it.
Let $G$ be an abelian locally compact group. Then the (spherical) Hecke algebra for $K=1$ is by definition the endomorphism algebra of $l^2(G)$ as a $G$-module, where ...
- 557
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
3
votes
0
answers
164
views
On Pitt's inequality (weighted Fourier inequality)
One of Pitt's Theorem (from "Theorems on Fourier Series" by H R Pitt, 1937) states that for an integrable periodic function $F$ over $[-\pi,\pi]$,
$$
\sum_{n=1}^{\infty} |a_n|^q n^{-q\lambda} \leq K(...
- 1,216
1
vote
0
answers
40
views
Example of periodic semidifferentiable function without absolutely convergent Fourier series
Is there an example of a periodic continuous function that is semidifferentiable (i.e the left derivative and the right derivative exist at each point), but
with a non-absolutely convergent Fourier ...
- 1,035
2
votes
0
answers
189
views
Point wise convergence of Laplace transform and convergence of functions
Assume that functions $f_n(t), f(t)\in C_b(R_+)$. For every $\lambda >0$, we have
$$
\bigg|\int_0^\infty e^{-\lambda t}f_n(t)d t-\int_0^\infty e^{-\lambda t}f(t)d t\bigg|\leq C_\lambda n^{-1},
$$
...
- 411
4
votes
0
answers
207
views
Simultaneous Hahn-Banach theorem
Let $C(\mathbb{T})$ be the Banach algebra of continuous functions on the unit circle. Let $n \in \mathbb{N}$ and let $P_n(\mathbb{T})$ be the subspace of trigonometric polynomials of degree at most $n$...
- 1,769
9
votes
1
answer
916
views
Inverse Fourier transform of an $L^2$ function as limit on balls
$B_m :=\{x \in \Bbb R^n : ||x|| \le m\}$ and $\mathscr{F}f$
denotes the $L^2$ fourier transform of an $f \in L^2(\Bbb R^n)$.
I am trying to show that
If $f \in L^2(\Bbb R^n)$ then $f(y)=\lim\limits_{...
- 201
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
1
vote
0
answers
126
views
Almost every where divergent Fourier series
Does there exist any continuous function $f:[\pi,\pi]\to \mathbb{C}$ whose Fourier series $\sum \hat{f}(n)e^{int}$ is almost every where divergent?
- 4,058
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
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
-1
votes
1
answer
70
views
Is this kind of interpolation correct?
Let $f=\sum f_j$ be a finite sum. Assume that
$$ \|f\|_2\le(\sum\|f_j\|_2^2)^\frac12$$
$$\|f\|_\infty\le C\max_j\|f_j\|_\infty$$
Then can we conclude that for $2<p<\infty$
$$\|f\|_p\le C^{1-\...
- 1
3
votes
1
answer
423
views
Is there (fast) fourier transform for vector convolution?
Given a list of variables $u_1,\dots,u_m\in\mathbb R$ and $v_1,\dots,v_n\in\mathbb R$ the standard convolution is defined
$$U*V(t)={\sum_{i}} u_iv_{t-i}.$$
Given a list of vectors $u_1,\dots,u_m\in\...
- 13.9k
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
4
votes
0
answers
965
views
Norms of the Dirichlet kernel
I guess that the following estimates are classical. Let $D_N$ be the $1D$ Dirichlet kernel,
$$
D_N(t)=\frac{\sin((N+\frac12)t)}{\sin (t/2)}.
$$
We have for $1<p<\infty$,
\begin{align}
\Vert D_N\...
- 16.2k
0
votes
0
answers
74
views
Parseval type lower bound on sum of squares of function projections
This is a followup to this earlier question
Let $f:\mathbb{Z}\rightarrow \{\pm 1\}.$ Assume that the support of $f$ is finite, say it is contained in $[1,N],$ it can even be taken to be $[1,N]$ if it ...
- 10.4k
3
votes
1
answer
296
views
Uniform convergence of generalised Fourier series
Suppose $u_n$ is an orthonormal basis of smooth functions on $S^1$.
Does there exist a smooth function $u$ such that the generalised Fourier series
$$u=\sum_{n\in\mathbb{N}} \langle u,u_n\rangle u_n ...
- 155
6
votes
1
answer
243
views
How to choose phase to give a desired Fourier transform
Cross posted from MSE.
I have a mathematical problem arising from a physics application, which I feel must have been solved before, but I don't know the terminology associated with it. I am looking ...
- 956
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 ...
- 7,817
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
63
votes
5
answers
10k
views
Jean Bourgain's relatively lesser known significant contributions
Jean Bourgain passed away on December 22, 2018.
A great mathematician is no longer with us.
Terry Tao has blogged about Bourgain's death and mentioned some of his more recent significant contributions,...
0
votes
1
answer
226
views
Transformation of Fourier Transform
Suppose that $f$ is a function with a Fourier transform, and that $g:\mathbb{R}\rightarrow \mathbb{R}$ is a smooth function such that $g\circ f$ has a Fourier transform also.
Is there an expression ...
- 5,405
3
votes
1
answer
336
views
What are the almost periodic functions on the complex plane?
The almost periodic functions on the real line can be characterized as uniform limits of trigonometric functions. I was wondering whether a similar definition exists on the complex plane (a locally ...
- 173
8
votes
0
answers
167
views
A basis of the Banach space $L^p(\mathbb T^\omega)$ consisting of characters
Problem: For $1<p<\infty$, $p\ne 2$, has the complex Banach space $L^p(\mathbb T^\omega)$ got a Schauder basis consisting of characters of the compact topological group $\mathbb T^\omega$?
(...
- 4,535
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
1
vote
1
answer
137
views
Uniqueness of solution to system of integral equations
Given the following system of integral equations for an integrable function $f(x)$:
For all integers $k \ge 1$ holds
$\int_{0}^{2\pi} [f(x)]^k e^{(ikx)} dx = 0$.
If $f(x)$ is real-valued and non-...
- 33
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
7
votes
2
answers
219
views
Characterizing pseudo-differential operators as a subalgebra of continuous endomorphisms of tempered distributions
I'm aware that the following question is at best a refined version of at least 2 questions which are already on this site. I think it is justified however in that it is more precise and has some new ...
- 7,789
1
vote
0
answers
324
views
Conditions for Poisson summation (for discontinuous functions)
Let $G$ be an locally compact abelian group with $\Gamma$ a discrete cocompact subgroup. I'm looking for precise conditions by which Poisson summation formula holds. That is, for some function $f$ on $...
- 3,799
2
votes
0
answers
148
views
Theory of distributions on various domains
The prototypical example of a distribution is the Dirac delta function, defined as a linear functional taking a well behaved test function $\phi:\mathbb{R} \to \mathbb{R}$ and returning its value at ...
- 29
2
votes
1
answer
127
views
Are the Prolate Spheroidal Wave Functions absolutely integrable?
I would like to know if the Prolate Spheroidal Wavefunctions (PSWFs, defined below) are in $L^1(\mathbb{R})$. I know that they are square integrable, but cannot decide about absolute integrability.
...
- 93
2
votes
0
answers
293
views
Average of irrational flow on the torus
Let $$F(x,y) = \frac{1}{\sqrt{2-\sin(2\pi x) - \sin(2\pi y)}}$$
defined on $\mathbb{T}^2$. Here $\mathbb{T}^2 = \mathbb{R}^2/ \mathbb{Z}^2$ is the 2-torus. How can I show that
$$ \lim_{T\...
- 375
1
vote
0
answers
122
views
Discrete Wavelet Transform and Gaussian decay
I have a question regarding the possibility of constructing a Discrete Wavelet Transform based on a scaling function having Gaussian decay (and no more decay than that). More specifically, I am ...
- 11
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
146
views
Functional equation with Fourier transform
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$:
$$f(x) - \frac{C}{x} \hat{f}(\frac{1}{x}) =x^{\alpha}$$
Where $\hat{f}$ is the Fourier transform of $f(|x|)$ and $C$ a constant....
- 1,199
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
4
votes
0
answers
116
views
Is there a categorical foundation for manifolds of bounded geometry and bandlimited functions?
As an outsider to both, manifolds of bounded geometry and bandlimited functions appear rather connected: for example, bounded geometry is defined in terms of bounds on curvature and its derivatives, ...
- 3,612
11
votes
1
answer
691
views
Reference request: Fourier transform on the multiplicative group of real numbers
Let us consider the three groups $(\mathbb{R},+)$, $(\mathbb{Z}/2\mathbb{Z},+)$ and $(\mathbb{R}^\times,\cdot)$ (where $\mathbb{R}^\times := \mathbb{R} \setminus \{0\}$). We endow $\mathbb{R}$ with ...
- 12.6k
2
votes
1
answer
336
views
Regarding characterisation of outer functions in a Hardy space
Please see the definition of Hardy spaces on the unit disc here. This is regarding outer functions on a Hardy space. I know that outer functions can have no zeroes in the open unit disc since it is ...
- 111
3
votes
2
answers
340
views
How far can the domain of definition of multiplier operators be extended?
Given any $g \in L^\infty(\mathbb{R})$, we define the associated multiplier operator $T_g \colon L^2(\mathbb{R}) \to L^2(\mathbb{R})$ by
$$ \mathcal{F}(T_g f) \ = \ g.\mathcal{F}f $$
where $\mathcal{F}...
- 708
1
vote
0
answers
141
views
Characterisation of functions for which the Fourier transform commutes with a particular operator
Defining the operator $\phi$ by: $\phi(f(x))=\frac{1}{|x|} f(\frac{1}{x})$, and noting $\mathcal{F}$ the Fourier transform on the real line, can we characterize all the functions (with real variable ...
- 1,199
2
votes
1
answer
298
views
Regarding outer functions again
Consider the Hardy space $H^p, 0<p\leq\infty$ (defined here).
It is said that given any two outer functions $x_1$ and $x_2$ in $H^p$, there exists $a_1$ and $a_2$ in $H^\infty$ such that $a_1x_1=...
- 111
2
votes
1
answer
168
views
Regarding representation of an outer function
Theorem 2.1 in the book ‘Theory of Hp spaces by Peter. L Duren states that : Any function $f$ analytic on the unit disc belongs to the Nevanlinna class iff it is of the form $\frac{g}{h}$ where $g$ ...
- 111
4
votes
1
answer
253
views
Regarding outer functions
Please see the definition of Hardy spaces on the unit disc here. Let $0<p\leq\infty$. Let $f\in H^p$ with $\|f-1_e\|_p<1$ (Where $1_e$ Is the constant function one). Then is $f$ an outer ...
- 111
5
votes
1
answer
320
views
Is $\mathscr{S}_h'$ a complementary subspace for $\mathscr{S}'/\mathscr{P}$, the space of tempered distributions modulo polynomials?
Recall that in many Fourier Analysis texts, given a function $\Psi$ such that $\hat{\Psi}\in\mathcal{D}(\mathbb R^d)$, $\hat\Psi\ge0$ is supported in an annulus, and $\sum_{j\in\mathbb Z}\hat\Psi(2^j\...
- 1,247