Questions tagged [fourier-analysis]
The representation of functions (or objects which are in some generalize the notion of function) as constant linear combinations of sines and cosines at integer multiples of a given frequency, as Fourier transforms or as Fourier integrals.
1,489
questions
-1
votes
0
answers
71
views
Harmonic Analysis Textbook Recommendation
I am looking for a textbook that covers much the same content as Stein's 'Singular Integrals' and 'Harmonic Analysis' textbooks and does so at similar pace and level, with similar organization of the ...
0
votes
1
answer
72
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 4,089
5
votes
2
answers
406
views
Real-world examples of unweighted directed graphs
Social Networks, Internet Traffic, Citation Networks, Transportation Networks, and Biological Networks exemplify real-world instances of unweighted directed graphs. Within these domains, the Graph ...
- 3,972
2
votes
0
answers
136
views
Finding specific coefficients of product of high-dimensional Fourier series faster than FFT
I need a fast algorithm to perform a specific Fourier-type computation in my physics research. Suppose I have the following two Fourier series in three dimensions
$$
a(t_1,t_2,t_3)=\sum_{j=-n}^{n}\...
- 600
0
votes
0
answers
42
views
Equating two Fourier Series with different periods
For some $\tau\in(0,1)$, let $f : (-\infty,0]\times [0,\tau] \rightarrow \mathbb{C}$ and $g:[0,\infty)\times[0,1]\rightarrow\mathbb{C}$ with $$f(0,t)=g(0,t)\text{ for }t\in [0,\tau]$$ be two smooth ...
- 149
0
votes
0
answers
61
views
Construct a continuous function $f(x)$ periodic with period $2\pi$ such that the Fourier series of $f(x)$ is divergent at $x = 0$
The following question was asked on Math Stack Exchange by me 15 days ago. I used a bounty, but still no response.So I am posting the question here
Here is the link of the question here
problem ...
- 109
1
vote
1
answer
83
views
Radial Fourier transform vs Hankel transform
I was wondering about the relationship between the Hankel transform and the Fourier transform for radial functions.
Let $f : \mathbb{R}^d \to \mathbb{R}$ be a (sufficiently regular) radial function. ...
- 222
-1
votes
0
answers
37
views
Relating a modified convolution to the standard convolution for specific functions
I'm working with a convolution operation of the form:
$$
(u f) * v = \int_{\mathbb{R}} u(y) f(y) v(x - y) \, dy
$$
where $u$, $v$, and $f$ are admissible functions under the following conditions:
$u \...
0
votes
0
answers
32
views
Reference request: injectivity of CWT, density of dilations and translations in $L^p$
Recently, I encountered the notion of Continuous Wavelet Transform (CWT), and I find it very intriguing (for a reference, see the wiki). I believe it offers a different and more general perspective on ...
- 583
0
votes
0
answers
60
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
- 583
0
votes
0
answers
39
views
A follow up on "A bilinear estimate with a simple one-dimensional oscillatory integral kernel"
I am investigating the validity of the estimate
$$\int_{\mathbb{R}}\int_{\mathbb{R}}
\,K(y,z)\,
\frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,dz\leq C\,\epsilon\, \|f\|...
- 744
1
vote
1
answer
100
views
A bilinear estimate with a simple one-dimensional oscillatory integral kernel
Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$.
I am trying to show that
$$\int_{\mathbb{R}}\int_{\mathbb{R}}
\,K(y,z)\,
\frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
- 744
7
votes
1
answer
270
views
High dimensional Lusin conjecture
Lusin, in 1913, while considering the properties of Hilbert's transform, conjectured that every function in $L^2[-\pi, \pi]$ has an a.e. convergent Fourier series. Kolmogorov, in 1923, gave an example ...
- 869
6
votes
0
answers
127
views
Estimating the Hausdorff dimension of the discontinuity set of a function
Suppose $\sum_{\xi \in \mathbb{Z}^d}{a_{\xi}}e^{i\langle x, \xi\rangle }$ converges spherically pointwise to $0$ for all $x \in \mathbb{T}^d$, i.e. $\lim_{R \to \infty} \sum_{|\xi| < R}{a_{\xi}}e^{...
- 161
10
votes
5
answers
822
views
Proving Poincaré's inequality for Boolean functions over the hypercube without Fourier analysis
$\DeclareMathOperator\Inf{Inf}\DeclareMathOperator\unif{unif}$I have been attempting to find a non-Fourier-analytic proof of Poincaré's inequality for Boolean functions over the hypercube. Let's call ...
- 261
3
votes
1
answer
140
views
When is a solution $P(f'(x)) = Q(f(x))$ periodic or double periodic?
$\newcommand{\cl}{\operatorname{cl}}\newcommand{\sl}{\operatorname{sl}}\newcommand{\cm}{\operatorname{cm}}\newcommand{\sm}{\operatorname{cm}}$Consider the differential equation
$$P(f '(x)) = Q(f(x))$$
...
- 733
0
votes
0
answers
115
views
Counterexamples in Laplace transforms
Of all the examples I know of (bilateral) Laplace transforms $F$ defined on their maximal vertical strips $V_{a,b}=\{ z \in \mathbf{C} : a < \operatorname{Re}(z) < b \}$ with $-\infty < a <...
- 115
0
votes
0
answers
64
views
Convolution of $\mathscr{F}\{ \log \}(x) * \mu$ with compactly supported measure $\mu$
As I read in this post the Fourier transform of $\psi(\lambda) = \log{|\lambda|}$ must be interpreted in distributional sense and it is given by:
$$\mathscr{F}\{\psi\}(x)=-2\pi \gamma \delta(x)-\pi \...
- 123
1
vote
0
answers
53
views
Density of zero modes
Let $(M,g)$ be a compact smooth Riemannian manifold with a smooth boundary. Let $\{(\lambda_k,\phi_k)\}_{k\in\mathbb N}$ be the spectral data on $(M,g)$, namely an orthonormal basis for $L^2(M)$ ...
- 4,089
0
votes
1
answer
86
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 744
2
votes
1
answer
136
views
Are the coefficients in the stationary phase approximation computed explicitly somewhere
In Stein's "Harmonic analysis" book, page 334, one can find
the asymptotic expansion
An instructive proof is given for the case $k=2$. It is clear enough to generalize to the cases $k\geq ...
- 744
2
votes
1
answer
290
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 \...
- 583
5
votes
1
answer
199
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}+...
- 744
2
votes
2
answers
171
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}$$
...
- 741
-2
votes
1
answer
228
views
Predicting the peak "amplitude" of a damped sine wave in the frequency spectrum with FFT
In one line: Given an exponentially decaying sine wave $x(t)$, how can we predict the amplitude of the resulting peak in frequency spectrum using discrete Fourier transform.
In nuclear magnetic ...
- 803
1
vote
0
answers
40
views
Looking at a frequency reassignment rule as a Möbius transform
Suppose we have some Schwartz function $h$. Denote its Fourier transform $\widehat{h}$. Let $\xi_0$, $a$, $\Delta$ be positive and fixed.
I have a function $\Omega: \mathbb{R}\times \mathbb{R}^+ \to \...
- 111
1
vote
1
answer
138
views
To find a $2\pi$-periodic function with a property
I recently came across the following question in my research, and I don't know how to proceed this problem.
Question: How to find a function $g(x)$ such that it satisfies
(1) $2\pi$ periodic
(2) odd
(...
- 335
3
votes
1
answer
137
views
Rescaling Fourier coefficients of a continuous function by a bounded sequence
This question stems out of: which sequences $(a_n)_{n\in\mathbb{Z}}$ of complex numbers have the property that if there exists a continuous function $f$ on the circle with Fourier coefficients $b_n$, ...
- 404
1
vote
0
answers
61
views
The Discrete Fourier Transform (DFT) decomposes any signal into four orthogonal signal components [closed]
Let $F=(w^{kl})_{k,l=0}^{n-1}$ be the discrete Fourier matrix of size $n$ where $w=\exp\left(-\frac{2\pi i}{n}\right)$.
It is a well-known that $F_n^4 = I_n$ where $I_n$ represents the identity ...
- 3,972
0
votes
0
answers
86
views
Fourier integral operators and parametrix
Consider the classical wave equation in a bounded domain in $\mathbb{R}^n$, assuming vanishing of the function and its normal derivative on the boundary.
Question: Is there an expression for the ...
- 493
1
vote
0
answers
48
views
Best approximation rates of various classes of functions by truncated Fourier series
Let $f\in C([-1,1]^d)$ have periodic boundary, $N$ be a positive integer, and let $S_N(f)$ be the best approximation of $f$ by its truncated Fourier expansion truncated approximation
$$
S_N(f):=\sum_{...
- 310
0
votes
0
answers
84
views
Why does $\omega$ belong to $D^{\varepsilon^3}\theta^\ast$ for $\lesssim \rho^{-n} D^{n-2 + n\varepsilon^3}$ different $\theta$?
In this paper, there is the following claim (Pg. 1850):
If $1 - \eta(w) \ne 0$, then $|\omega| \ge \rho$. In that case, $\omega$ belongs to $D^{\varepsilon^3}\theta^\ast$ for $\lesssim \rho^{-n} D^{n-...
- 165
2
votes
1
answer
115
views
Singular Integrals and $L^1$
Let us consider in one dimension the Fourier multiplier $\vert D\vert$ and the derivative $iD$. Both are well-defined on the Schwartz space $\mathscr S(\mathbb R)$ with the derivative sending $\...
- 15.2k
2
votes
0
answers
95
views
Fourier multiplier on $L^1$
On the Wikipedia page,
one can read that an iff condition for L1 boundedness of the Fourier multiplier m(D) is that
$$
\hat m\quad\text{ is a Borel measure with finite total mass. }
$$
There is no ...
- 15.2k
3
votes
0
answers
107
views
How are distributions and divergent series summations related?
When we do Fourier analysis, we don't always get convergent series. A classic example comes from considering the Sawtooth function. It has Fourier Coefficients
$$s(x) = \frac{1}{2} + \sum_{n \neq 0} \...
- 1,662
0
votes
0
answers
163
views
Relationship between Fourier inversion theorem and convergence of "nested" Fourier series representations of $f(x)$
$\DeclareMathOperator\erf{erf}\DeclareMathOperator\sech{sech}\DeclareMathOperator\sgn{sgn}\DeclareMathOperator\sinc{sinc}$This is a cross-post of a question I posted on MSE a couple of weeks ago which ...
- 1,061
4
votes
1
answer
347
views
Sufficient condition for a probability distribution on $\mathbb Z_p$ to admit a square-root w.r.t convolution
Let $p \ge 2$ be a positive integer, and let $Q \in \mathcal P(\mathbb Z_p)$ be a probability distribution on $\mathbb Z_p$.
Question. What are necessary and sufficient conditions on $Q$ to ensure ...
- 6,726
1
vote
0
answers
161
views
Fast algorithm for computing certain signal transformations
Let $f,g,h:\mathbb Z\to\mathbb C$ supported on $[-n,n]$. For $\tau\in \mathbb Z$, let $\operatorname{sh}_\tau f$ be the shift of $f$ by $\tau$ (i.e. $(\operatorname{sh}_\tau f)(t) = f(t-\tau)$). ...
- 2,581
3
votes
1
answer
164
views
Equivalent Littlewood-Paley-type decompositions
The theory of Besov and Triebel-Lizorkin spaces usually proceeds by taking a dyadic decomposition of unity, i.e. some non-negative functions $\psi_0,\psi \in C_c^\infty(\mathbb{R})$ such that
\begin{...
- 919
2
votes
1
answer
166
views
Sobolev regularity via Laplace spectrum
Fix a positive integer $n$ and let $\mu$ be the uniform measure on the sphere $\mathbb{S}^n$, with respect to its usual Riemannian metric $g$. Let $\nabla$ be the Laplacian on $(\mathbb{S}^n,g)$ and ...
- 4,969
3
votes
0
answers
46
views
microlocalisation of a Lagrangian state
Let
$f : \mathbb{R} \to \mathbb{R}$ a smooth function of exponential decay at infinity (I think of something like a Gaussian) ;
$g$ a polynomial of $\mathbb{R}$.
I would like to have a quantitative ...
- 131
0
votes
0
answers
32
views
On the I-method's energy increment calculation in a paper of Dodson
I am currently reading Dodson's Global Well-posedness for the Defocusing, Quintic Nonlinear Schrödinger Equation in One Dimension for Low Regularity Data article and I am trying to understand Theorem ...
- 753
9
votes
1
answer
605
views
Prove J.L. Lions’s Lemma without using Fourier transform
When I read the book Linear and Nonlinear Functional Analysis with Applications, I came across J.L. Lions's Lemma (the book doesn't give a proof), which states
Let $\Omega \subset \mathbb R^n$ be a ...
- 583
0
votes
0
answers
116
views
Why for $\psi$ square-integrable function the zero mean condition is equivalent to $\hat{\psi}(0) = 0$?
I am studying the classical book "Ten Lectures on Wavelets" written by Ingrid Daubechies and I do not understand a specific point. I would appreciate it if someone could help me with ...
0
votes
0
answers
84
views
The asymptotic behaviour of the Fourier transform of a certain class of radially symmetric functions
Fix $\theta\in (-\pi/2,\pi/2)$ and let $a>0$. Suppose that $f:\mathbb{C}\rightarrow \mathbb{C}$ is analytic in $S:=\{z\in \mathbb{C}: |\arg{z}|<\pi/2\}$ and
$$|f(z)|\sim |z|^{-a},\qquad |z|\to \...
- 744
1
vote
0
answers
117
views
Multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
How to rigorously demonstrate that multidimensional weighted Paley-Wiener spaces are Hilbert spaces?
I am utilizing the exponential type definition established by Elias Stein in the book 'Fourier ...
- 11
3
votes
0
answers
73
views
Monotone Characteristic Function
Let $X$ be a continuous, symmetric random variable such that its characteristic function $\phi_X$ is real, symmetric and with $\lim_{t\to\infty}\phi_X(t)=0$.
What other properties must $X$ have in ...
- 143
2
votes
2
answers
290
views
$L^1$ norm for a product of cosines
Let $k$ be an integer and consider the function
$$
f(t)=\prod_{i=1}^{k} \cos(3^{i-1}\pi t).
$$
I'm interested in finding bounds for $\int_{0}^{1}|f(t)|dt$ in terms of $k$. The first idea that comes to ...
- 167
2
votes
1
answer
191
views
Fourier coefficients of the logarithm of a given function
Let $f$ be a $1$-periodic real function that I know is bounded away from zero:
$$
f(x) = \sum_{n = -\infty}^\infty c_n e^{2\pi i n x}
$$
Let me also assume that $f$ is analytic with Fourier ...
- 1,253
5
votes
0
answers
235
views
Is there a way to solve this integral on the sphere explicitly?
Let $k_{j}\in {\mathbb{Z}}^{+}$ and $\,a_{j}\in \,]0,1[$, be such that
$k_{j}\,a_{j}<1$, $j=1,\cdots,n$. Let $f:\mathbb{R}^{n}\rightarrow [0,\infty[$ be defined by the integral
$$f(y):=\int_{\...
- 744