All Questions
Tagged with fourier-transform real-analysis
66 questions
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
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
3
votes
1
answer
157
views
How can discrete Fourier transform approximation prove the completeness of complex exponentials in $L^2(T)$?
I have a question about the completeness of complex exponentials in function spaces.
For the discrete set $ S = \{1, 2, \ldots, n\} $, it is clear and intuitive that $ e^{2\pi ikx/n} $ for $ k = 0, 1, ...
- 651
2
votes
0
answers
80
views
Prove uniqueness of Radon transform without using Fourier transform
The uniqueness of Radon transform can be expressed by the following claim (I assumed that the function has compact support for simplicity):
If a continuous function with compact support has zero ...
- 807
0
votes
0
answers
64
views
Calculating hyperbolic Fourier series
Question:
is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines
$f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$
or even ...
- 13.2k
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
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\...
- 201
1
vote
1
answer
116
views
Examining the Hilbert transform of functions over the positive real line
$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
2
votes
2
answers
365
views
Is there a compactly supported differentiable function whose Fourier transform is not in L1?
In my MSE answer here, I discussed the example of compactly supported continuous function
$$g(x)=
\begin{cases}
\dfrac{\frac12 -x}{\log(x)},&0<x\leq1/2\\
0,&\text{otherwise}
\end{cases}$$
...
- 24.2k
0
votes
1
answer
139
views
A probability distribution, with Fourier transform smaller than $C \exp(-ct^2)$
Is there a probability distribution $\mu$ (with reasonably nice density $f$ on $\mathbb{R}$) such that the Fourier transform (aka. characteristic function) $\psi_\mu(t) = \int_{\mathbb{R}} e^{itx} \, ...
- 128k
4
votes
1
answer
398
views
Inequality for Fourier transform of a power exponential function
Let
$$
f_{\alpha}(x)=\phi_1(\alpha) \mathrm{e}^{-\frac{|x|^\alpha}{\phi_2(\alpha) }},
x \in \mathbb{R}, 0<\alpha<2,
$$
where
$\phi_1(\alpha)=\frac{\alpha}{2}
\left\{{\{\Gamma(3/\alpha)\}^{1/...
CommunityBot
- 1
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
6
votes
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 24.2k
-1
votes
1
answer
213
views
Building a smooth function from a rapidly decreasing sequence
Is it possible to build a 1-priodic smooth function from a rapidly decreasing sequence such that the sequence be the Fourier coefficients of the function?
More precisely:
Let $\lbrace c_k\rbrace _{k \...
- 779
4
votes
1
answer
661
views
The decay of Fourier coefficients and the continuity of functions
Let $ f $ be a function on $ \mathbb{T}=[0,1] $ ($ 1 $-periodic) with bounded variation. Prove that if $ \widehat{f}(k)=\int_0^1f(x)e^{-2\pi ikx}dx=o(1/|k|) $, then $ f\in C(\mathbb{T}) $. I do not ...
- 24.2k
2
votes
1
answer
141
views
The inequality $\int^\infty_0 \frac{\sin(rt)}{rt}\frac{r^4}{\sinh^2(r)} e^{-ar\coth(r)}dr\leq c \big(e^{-At}\big)$
Let $a>0$. How to prove the following inequality $$\exists c>0,\exists A>0,\forall t>0:\quad\int^\infty_0 \frac{\sin(rt)}{rt}\frac{r^4}{\sinh^2(r)} e^{-ar\coth(r)}dr\leq c \big(e^{-At}\big)...
- 128k
2
votes
2
answers
272
views
The inequality $\int^\infty_0 (\sin(rt)r^3/\sinh^2(r)) dr\leq cte^{-At}$
How to prove the following inequality $$\forall t>0,\quad\int^\infty_0 \sin(rt)\frac{r^3}{\sinh^2(r)} dr\leq c \big(te^{-At}\big)$$
for some constants $A>0,c>0$
- 128k
4
votes
1
answer
245
views
How to unperiodise a function
We know that given a sufficiently regular function $f: \mathbb{R} \to \mathbb{R}$, then its periodisation (say to period $1$) is given by
$$
\begin{align}
F(x) := \sum_{n\in\mathbb{Z}} f(x + n).\tag{$...
- 595
0
votes
0
answers
115
views
Parseval identity extension?
I have stumbled upon the following three-dimensional series:
$$\Lambda_p = \sum_{\underline{n}} \left(\frac{\left|n_1\right|}{\left|\left|\underline{n}\right|\right|_2}\right)^p \left|\hat{f}(\...
- 21
2
votes
1
answer
260
views
Non-Fourier complete orthogonal basis?
The Fourier Transform (FT)
Is orthogonal: inner product of one basis, $e^{j\omega_0}$, with any other basis, $e^{j\omega_1}$, is zero
Is invertible: info-preserving, has inverse function
Is energy-...
- 23k
1
vote
2
answers
152
views
Is $\int_{\mathbb{R}} \int_{\mathbb{R}^n} \alpha w(t) e(\alpha (a_1t_1 + \dotsb + a_n t_n)) dt\,d \alpha = 0$?
Let $a_i$ be a nonzero real number for each $1 \leq i \leq n$. $w$ a smooth nonnegative with compact support. I would like to understand the following integral.
$$
I = \int_{\mathbb{R}} \int_{\mathbb{...
- 188k
2
votes
1
answer
334
views
Fourier transform of the indicator function of the semi-ball
I wonder if it is possible to derive an analytical form for the Fourier transform of the indicator function of a semi-ball:
$$g_1(\underline{\xi}) = \int_{\mathcal{B}_+(R)} e^{i \underline{\xi} \cdot \...
- 12.9k
3
votes
0
answers
204
views
The inversion formula for the square root of a positive function
Let $f\in L^1(\mathbb{R})$. Suppose that $\hat{f}$, the Fourier transform of $f$, is a positive function in $C_0(\mathbb{R})$. Does there exists any function $g\in L^1(\mathbb{R})$ with $|\hat{g}|^2=\...
- 63.9k
4
votes
0
answers
188
views
Branch cuts, inverse Fourier transform and large time asymptotics
Let the Fourier transform of $f(t)$ be defined as $F(\omega) = \int_{-\infty}^\infty dt f(t) e^{i\omega t}$ for values of $\omega$ where the integral exists. What are the precise conditions on $F(\...
- 1,150
8
votes
1
answer
640
views
Rate of decrease of the Fourier transform of standard mollifiers
What is the the rate of decrease of $|\widehat{f_p}(t)|$ (as $t\to\infty$), where $p\in(0,\infty)$,
$$\widehat{f_p}(t):=\int_{\mathbb R} e^{itx}f_p(x)\,dx,$$
and
$$f_p(x):=e^{-1/(1-x^2/p)^p}1(|x|<\...
- 6,476
0
votes
1
answer
227
views
Laplace transform injectivity for different values of $p$
Let $y\in L^{2}(0,1)$ and let $\widetilde{y}$ be its extension on $(0,\infty
).$ Assume that there exist $p_{0},p_{1}\in
%TCIMACRO{\U{2102} }%
%BeginExpansion
\mathbb{C}
%EndExpansion
,$ $p_{0}\neq ...
- 617
1
vote
0
answers
38
views
Solving an equation containing Laplace transform
Consider the equation
\begin{equation}
\frac{f(p)}{f(s_{1})}\mathcal{L}(y)(s_{1})+\frac{g(p)}{g(s_{2})}\mathcal{L}%
(y)(s_{2})=\mathcal{L(}y)\mathbf{(}p),
\end{equation}
where $\mathcal{L}$ is the ...
- 47
4
votes
1
answer
325
views
Fourier-positivity of a certain function
I am wondering how to prove the below Fourier transform is non-negative? I did much simulation and it seems to be non-negative.
$$\int_0^\inf (be^{-at^p}-ae^{-bt^p})\cos(tx)dt, 0<a<b, \frac{1}{2}...
- 128k
1
vote
0
answers
213
views
How to prove the Fourier transform of $e^{-x^p}$ is positive [duplicate]
I wonder how to prove that
$$\int_0^\infty\exp(-x^p)\cos(tx)\,dt\geq 0, \quad \frac{1}{2}<p<1.$$
This conclusion is used in the answer to another question here
Looking for sufficient conditions ...
6
votes
1
answer
397
views
Absolute values of two functions and absolute values of their Fourier transform coincides
Let $f, g \in L^2(\mathbb{R})$.
Is it true that if both $|f|=|g|$ and $|\hat f|=|\hat g|$ hold, then there exists $\theta \in \mathbb{R}$ such that $f=ge^{i\theta}$?
I am not able to prove it or ...
- 13k
12
votes
3
answers
2k
views
Looking for sufficient conditions for positive Fourier transforms
I am looking for some sufficient conditions for an even, continuous, nonnegative, non-increasing, non-convex function to be non-negative definite. In other words
$$
\int_0^\infty f(x)\cos(x\omega) \, ...
- 178
3
votes
2
answers
287
views
An inequality for an integral transform of a function
Let
$$J_{f;y}(u):=3 u^3 \int_u^1\frac{dt}{t^4} \,e^{-i y t}f(t)- e^{-i u y}f(u),$$
where $y\in(0,\infty)$, $u\in(0,1)$, and
$$f(t):=t+\pi (1-t) t \cot (\pi t).$$
Here are the graphs of $f$ (black), ...
- 6,367
5
votes
3
answers
2k
views
Fourier transform of periodic distributions
Following M. Ruzhansky and V. Turunen's book Pseudo-Differential Operators and Symmetries, in Chapter 3, Definition 3.1.25 (page 304), the space of periodic distributions is defined as follows (...
- 23k
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
4
votes
1
answer
285
views
Vanishing of the product of a function and its own Fourier transform
I have found the following question to be surprisingly hard:
Is there a non-zero $f\in L^1(\mathbb R)$ or $f\in L^2(\mathbb R)$ such that
$$
f\cdot\hat f=0 \qquad \text{Lebesgue-almost everywhere},
$$
...
- 3,403
2
votes
1
answer
667
views
Does Bochner's Theorem apply to Fourier coefficients?
Let $f $ be a periodic function and denote by $c_n$, for $n \in \mathbb{N}$, its Fourier coefficients, i.e.
$$
c_n := \frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)e^{inx}\ dx.
$$
It is well known that Bochner's ...
- 595
1
vote
1
answer
389
views
When are Fourier cosine coefficients convex?
In the question When are Fourier coefficients monotonic it was determined that, if a function $f$ is (the restriction to $[0,2\pi]$) of a completely monotone function, then its Fourier coefficients, ...
- 71
22
votes
2
answers
2k
views
When are Fourier coefficients monotonic?
Given some sufficiently smooth function $f$ what conditions would be sufficient for its Fourier coefficients, as defined by
$$
\hat{f}(n) := \int_{0}^{2\pi}\cos(nx)f(x)\ dx, \quad \text{for } n = 1,2,\...
- 6,035
1
vote
0
answers
151
views
Fourier transforms exhibiting symmetries about their critical points
Upon looking at the graphs of various Fourier sine and cosine transforms (ones without Dirac deltas in their domain) I've noticed a pattern that is probably already known, but that I thought would be ...
- 113
2
votes
2
answers
331
views
Estimate for a simple oscillatory integral
If $\varphi$ is a smooth function on $\mathbb{R}$, then integration by parts implies that there exists a constant $C>0$ such that
$$
\Big|\int_0^1 \varphi(x)\, e^{i \lambda x}\, dx\Big|<\frac{C}\...
- 860
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 3,065
1
vote
0
answers
42
views
Extension problem of fractional laplacian and Fourier transform of $L^1_\text{loc}$ function?
I have understand the proof oh the lemma 4.1.9 "SOME NONLOCAL OPERATORS AND EFFECTS DUE TO NONLOCALITY" by C.Bocur, there is a link. In this paper, we define, for $u\in L^1_\text{loc}(\...
- 339
0
votes
0
answers
82
views
A question about Fourier transform of a function defined by an integral
I have the function:
$$ G_k(x)_=\frac{1}{(4\pi)^{k/2}\Gamma(k/2)}\int_0^\infty e^{-\pi|x|^2/\delta}e^{-\delta/4\pi}\delta^{-(n-k)/2}\,\frac{d\delta}{\delta}, $$
for all $x\in\mathbb{R}^n$ and $k>0$....
- 105k
3
votes
1
answer
404
views
The sign of the tail of Fourier transform of a positive function/ characteristic function
I am interested in a specific density (positive function) and would like to prove that the tail of its characteristic function (Fourier transform) is positive ($>0$). Here is the density $f(x)=c_\...
- 17.2k
1
vote
0
answers
353
views
Eigenvalues of convolution matrices
Let $h: \mathbb{R}\to \mathbb{R}$ be a smooth function. Fix $0\leq s_1\leq \cdots \leq s_m\leq 1$ and $0\leq t_1\leq \cdots \leq t_n\leq 1$. Construct $A\in \mathbb{R}^{m\times n}$ by letting $A_{i,j}:...
- 315
1
vote
0
answers
107
views
Comparison of two Fourier transforms
I am looking for $\delta>0$, such that
$$
\delta \int_{-\infty}^{\infty} \exp(its)
{ \Gamma\{2(it+1)/3\}\over \Gamma\{(it+1)/2\} }dt \le \\
\int_{-\infty}^{\infty} \exp(its)
{ \Gamma (it+1)\over \...
- 93
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-)$...
- 91.8k
2
votes
0
answers
162
views
Conditions for absolute continuity in the Bochner-Schwartz theorem
Suppose that $f$ is a positive-definite Schwartz distribution, that is,
$$\langle\phi,f*\phi\rangle\geq0\qquad\text{for every }\phi\in C_0^\infty(\mathbb R^n).$$
By the Bochner-Schwartz theorem, there ...
- 891
4
votes
0
answers
140
views
Given $\theta$, find $f$ such that $\int_{\mathbb{T}} \text{e}^{i\theta} \cos(h \cdot f) = 0,$ for all $h \in \mathbb{N}$
Let $\theta$ be a $C^{\infty}$ (resp. analytic) real-valued function on $\mathbb{T}=[0,2\pi]/\{0,2\pi\}$.
When can one find $f \neq 0$, $C^{\infty}$ (resp. analytic) real-valued function on $\...
- 405