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,260
questions
0
votes
0
answers
41
views
Product of Heavisides: calculus vs Fourier transform vs wavefront set
I decided to ask this question here, since I did not get any answer from MSE and perhaps this topic is somewhat far from MSE's topics. I am following the paper here. I am trying to understand how to ...
- 101
0
votes
1
answer
45
views
Fourier transform of a Radon measure
Let $\mu$ be a Radon measure on $\mathbb R^d$
with finite total mass: I guess that it is a tempered distribution on $\mathbb R^d$ and thus one may consider its Fourier transform. Now I guess that its ...
- 13.2k
0
votes
0
answers
28
views
Alternative to the Sampling Theorem / Invertible transform with sampling criteria
I seek a transform $T$ that operates on real-valued $x(t)$, that
Is perfectly invertible
Has discrete counterpart with continuous reconstructor
Provides conditional reconstruction guarantees
...
1
vote
1
answer
90
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-...
3
votes
1
answer
160
views
Explanation of a step in a work by C. E. Kenig and A.D. Ionescu
I am studying the work
Ionescu, A. D.; Kenig, C. E., Local and global wellposedness of periodic KP-I equations, Bourgain, Jean (ed.) et al., Mathematical aspects of nonlinear dispersive equations. ...
- 223
1
vote
2
answers
136
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{...
- 2,463
0
votes
0
answers
32
views
When is the Fourier discrete matrix almost similar to some particular diagonal matrix?
Let $N$ be a natural number and put $z=e^{\frac{\pi i}{N}}$ and $w=z^2$. Let us consider the discrete Fourier matrix $F=(w^{kl})_{k,l=0,\cdots,N-1}$ and the diagonal matrix $D=\operatorname{diag}(1,...
- 3,343
3
votes
0
answers
68
views
Finding minimum of function using its Fourier transform
Say we have a function $f:\mathbb{R}^n \to \mathbb{R}$ such that
$$
f(x) = \int_{\mathbb{R}^n} \psi(k) e^{ik \cdot x} dk
$$
where $\psi$ is the Fourier dual of $f$. Say we further know that $\psi >...
- 457
1
vote
1
answer
265
views
A particular commutator of the discrete Fourier matrix
For $N$ be a fixed natural number, define $w=e^{\frac{2\pi i}{N}}$ and $z=e^{\frac{\pi i}{N}}$, so that $z^2=w$. Let $D$ be the diagonal matrix $D=\operatorname{diag}(1,z,z^2,\ldots,z^{N-1})$ and $F$ ...
- 3,343
7
votes
1
answer
516
views
A lecture by Rudin
Is it available a written version of this lecture by Rudin on the relation between Fourier analysis and the birth of set theory?
https://youtu.be/hBcWRZMP6xs
If not Rudin himself, maybe someone else ...
- 3,055
2
votes
0
answers
137
views
An oscillatory integral
Let $s>0, v\in \mathbb{R}^d, w\in \mathbb{R}, |w|\leq 1$. Pick a cut-off function $B(0,1)\prec \eta \prec B(0,2)$ and a large real number $N$. Do we have the following type of estimates?
\begin{...
- 141
2
votes
1
answer
130
views
Shift-invariant spaces
We can define a shift-invariant space as
$$V_{\varphi}(\mathbb{Z}):=\left\{\sum_{k\in\mathbb{Z}}c_k\varphi(\cdot-k):(c_k)\in \ell_2\right\},$$
where convergence of the series is taken to be in $L^2(\...
- 49
7
votes
0
answers
120
views
Inequality of product of discrete cosines
Let $k,a,b,c$ be odd positive integers. Consider the following inequality:
$$
\sum_{x,y \in [k]} \cos^a\bigg(\frac{2\pi}{k}\cdot x\bigg) \cdot \cos^b\bigg(\frac{2\pi}{k}\cdot y\bigg) \cdot \cos^c\bigg(...
- 71
4
votes
0
answers
69
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^{\...
- 359
3
votes
2
answers
185
views
A Sobolev embedding theorem for functions on spheres
$L^2(\mathbb{S}^{d-1})$ is embedded in $H^{-s}(\mathbb{R}^d)$ with $s>\frac{1}{2}$, which means for $f\in L^2(\mathbb{S}^{d-1})$, the following holds:
$$\DeclareMathOperator{\Dm}{\operatorname{d}\!}...
- 141
0
votes
1
answer
143
views
Fourier transform of the fractional Poisson kernel
Recall that the extension of function from $u:\mathbb{R}^n\to \mathbb{R}$ can be defined using the Poisson Kernel as follows:
$$u^{\mathrm{e}}(\mathbf{x}):=\gamma_{n} \int_{\mathbb{R}^{n}} \frac{x_{n+...
- 403
0
votes
0
answers
37
views
Description of Sobolev functions with rapidly decaying wavelet expansion
Consider the Sobolev space $W^{k,p}((0,\infty))$ and fix a wavelet basis $\{\phi_i\}_{i=0}^{\infty}$ of for it (where $1\leq p<\infty$ and $0<k<\infty$). Since $\{\phi_i\}_{i=0}^{\infty}$ is ...
- 55
1
vote
0
answers
52
views
Fourier transform of inverse of determinant of 1+ skew-symmetric matrix
I have asked the following question in math stackexchange(https://math.stackexchange.com/questions/4389626/fourier-transform-of-inverse-of-determinant-of-1-skew-symmetric-matrix), but did not receive ...
- 11
12
votes
0
answers
193
views
Pointwise convergence of trigonometric series
$f$ is said to have trigonometric expansion if some series $\sum_{n\in\mathbb{Z}}c_ne^{inx}$ converges pointwise to $f(x)$. On the second page of the article Trigonometric series and set theory, ...
- 121
5
votes
0
answers
184
views
Majorizing $|\{\alpha\}-1/2|$ by trigonometric polynomials
Let $f(\alpha) = |\{\alpha\}-1/2|$. What is the trigonometric polynomial $F_N$ of degree $N$ (i.e., a linear combination $\sum_{n=-N}^N a_n e(\alpha n)$, $a_n\in \mathbb{C}$, where $e(r)= e^{2\pi i r}$...
- 16.7k
3
votes
1
answer
550
views
Equivalent action of convolution of directional derivative
I have asked this question a while back on StackExchange but have not received any answer/comment. I received a suggestion to post the same question in here which is more research oriented.
Let $k*f(x)...
- 49
8
votes
1
answer
604
views
Who introduced the discrete Fourier transform?
I am trying to find the original reference which introduced the definition of discrete Fourier transform as used today. When did this modern formulation (which includes the indexing from n to N-1) of ...
- 677
1
vote
1
answer
154
views
Fast decaying Fourier coefficients for indicator function
Let $0 \leq a < b \leq 1$. I wanted to compute the Fourier series expansion of the indicator function $f = \chi_{[a, b]}$ of the interval $[a, b]$, as $f(x) = \sum_{k\geq 0}a_k e(kx)$. My ...
- 529
1
vote
0
answers
249
views
Stein's book on harmonic analysis
My background :
I am a Math PhD student. I will most probably work in harmonic analysis on Euclidean spaces. I am a fan of Folland's Real analysis and I have thoroughly studied first 8 chapters of ...
- 111
0
votes
0
answers
37
views
A weaker condition on Fourier coefficients for boundedness of the function
Let $f : \mathbb{S}_1 \rightarrow \mathbb{C}$ be a square-integrable fnction and let $(\widehat{f}_k)_{k \in \mathbb{Z}}$ be its Fourier-coefficients. It is very well known, that the condition $\sum\...
- 343
1
vote
0
answers
54
views
A problem arising from Wiener-Levy theorem on the real line
Theorem (Wiener-Levy). Let $A(\mathbb{T})$ be the Fourier-algebra on the unit circle $\mathbb{T}$. Let $f$ be in $A(\mathbb{T})$ and suppose that $F$ is an analytic function on the range of $f$. Then $...
- 3,343
0
votes
0
answers
56
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 3,343
3
votes
0
answers
91
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=\...
- 3,343
4
votes
0
answers
93
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(\...
- 665
0
votes
0
answers
47
views
How can C2 double-helices, produce C3 rotational symmetry?
I am trying to solve the structure of a helical protein complex using a software for maximum a posteriori refinement of (multiple) 3D reconstructions (Relion).
When searching for helical symmetry, the ...
- 1
1
vote
1
answer
70
views
Can we write $e^{-\alpha x}$ as $\sum_{n=0}^\infty c_n\left(\alpha\right)\gamma\left(x\right)^n$ such that $\lim_{x\to\infty}\gamma\left(x\right)=0$
Do there exist continuous functions $c_n\colon\mathbb R^+\to\mathbb R$ and $\gamma\colon\mathbb R^+\to\mathbb R$ such that $\lim_{x\to\infty}\gamma\left(x\right)=0$ and the following equation is true ...
- 420
5
votes
0
answers
164
views
Showing that Fourier pseudorandomness is insufficient for $k=4$ case (four arithmetic progressions)
I wish to show that the Fourier pseudorandomness is insufficient to count the number of 4-term arithmetic progression.
Let $A \subset \mathbb{Z}/N\mathbb{Z}$ be a subset of a cyclic group $\mathbb{Z}/...
8
votes
1
answer
345
views
Functional equation with Fourier transform and $\frac{1}{x} f(\frac{1}{x}) $
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$, they satisfy following functional equation:
$$\int_0^\infty f(t) e^{-itx} \, dt =\lambda \frac{1}{x} f\left(\frac{1}{x}\right)$$
$\...
- 1,031
4
votes
1
answer
195
views
Probability measure on the boolean cube with small support and small Fourier transform
[Edit: added details on the Reed-Muller codes]
Are there explicit (non random) constructions of probability measures on $D_N = \{0,1\}^N$ with support of size $O(N)$ and with all nontrivial Fourier ...
- 8,445
7
votes
0
answers
291
views
Multiple Fourier series
In the book by Elias M.Stein and Guido Weiss "Introduction to Fourier Analysis on Euclidean Spaces" one states in page 268 the following theorem:
Theorem 1: The trigonometric series
$$\...
3
votes
0
answers
107
views
Erdős–Turán inequality for complex numbers
Consider the following set of complex numbers in the upper half plane: $$\{ic_n \pm \gamma_n: 0 \leq n \leq N, \hspace{1 mm} c_0=\gamma_0=0, c_n,\hspace{1 mm} \gamma_n>0\}.$$
Assume that this set ...
- 459
3
votes
1
answer
128
views
Fourier multipliers and transference on cyclic groups
It seems to be a commonplace in harmonic analysis that if some operator (say, Fourier multiplier) is bounded on $L^p(\mathbb{R}^n)$ then by transference the similar operator is also bounded on $L^p(\...
2
votes
0
answers
97
views
Fourier type of asymptotic-$\ell_{2}$ Banach spaces
A Banach space $X$ is said to have Fourier type $p\in[1,2]$ if the Fourier transform $\hat{f}(s):=\int_{\mathbb{R}}e^{-ist}f(t)dt$ defines a bounded linear operator from $L_{p}(\mathbb{R},X)$ to $L_{p'...
- 171
4
votes
0
answers
152
views
Min max of a quadratic form of plus-minus ones
Does the following limit exist?
$$
\lim_{n \to \infty}\, n^{-3/2} \min_{a_{ij}=\pm 1}\max_{x_{j}=\pm 1}\left|\sum_{1\leq i <j \leq n} a_{ij}x_{i}x_{j} \right|
$$
There is no any significant ...
- 3,441
2
votes
0
answers
106
views
Is there a characterization of tempered functions whose Fourier transforms are also tempered functions?
A tempered function on $\mathbb{R}^n$ is a locally integrable function that is tempered as a distribution, i.e. $L^1_{loc}\cap\mathcal{S}'$ is the space of tempered functions.
This MSE question asked ...
- 213
4
votes
1
answer
266
views
The main topics (issues, problems) of the Fourier transform
To explain what we are looking for, let's have a quick review on some points in Fourier transform on periodic functions in both continuous and discrete cases. We emphasize that our attention is ...
- 3,343
2
votes
0
answers
116
views
Non-commutative harmonic analysis on the discrete Heisenberg group
Question: Is there a linear map $\mathcal F$ from the Hilbert space of $\ell^2$ functions on the discrete Heisenberg group to some Hilbert space of functions $ L^2(\bigcup \{\Omega_n\}) $, such that:...
- 7,992
1
vote
1
answer
79
views
Probability of two Boolean functions being equal expressed in terms of the maximum Fourier coefficient
This paper by Maslov et al. uses that the probability of two $n$-bit Boolean functions $l(x)$ and $g(x)$ being equal is bound in terms of $\hat{g}_\text{max}$, the largest Fourier coefficient of $g(x)$...
- 13
6
votes
0
answers
151
views
Regularity of $|u|^{\alpha}$ when $u$ is Schwartz
Let $0<\alpha<1$. Let $D_x^{\alpha}$ denote the Fourier multiplier given by $\xi\to |\xi|^{\alpha}$. Suppose $u:\mathbb{R}^d\to\mathbb{C}$ is Schwartz (or even just smooth with compact support). ...
1
vote
1
answer
75
views
Inversion of a Fourier-like transformation on $\partial B_1(0)$
I have a function $A(x) = \int_{\partial B_1(0)} e^{ikx} B(k) dk$ in $3D$ and I want to find $B(k)$ for a given $A(x)$. How can I do that?
In my use case it would be enough to invert $R_n^m(x) = \int_{...
- 11
0
votes
1
answer
136
views
Lower bound related to derivative of $j$-invariant
Recall the $j$-invariant function, namely,
$$
j(\tau)=\frac{1}{q}+\sum_{k\geq 0}c_kq^k,
$$
where $q=e^{2\pi i \tau}$ and the coefficients $(c_k)_k$ are in the OEIS sequence A000521.
By using some ...
- 355
1
vote
0
answers
47
views
A lower bound for a sum related to the $j$-invariant function
There are some days that I am thinking in the following problem.
For any positive integer $x$, let $t(x)$ be a real number which a priori is such that $t(x)>1$ and $t(x)$ tends to $1$ as $x\to \...
- 355
3
votes
3
answers
331
views
Growth of the coefficients of the inversion of the $j$-invariant function
We have the $j$-invariant defined as
I have that
$$
j(\tau)=\frac{1}{q}+\sum_{k\geq 0}c_kq^k,
$$
where $q=e^{-2\pi t}$ ($\tau=it$) and $c_k\sim e^{4\pi\sqrt{k}}/(k^{3/4}\sqrt{2})$.
The inversion ...
- 355
6
votes
1
answer
183
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|<\...
- 76.3k
5
votes
0
answers
93
views
Condition on the support of $f$ which ensure that $\widehat{f}$ has a zero-measure nodal region
Suppose that $f\in L^2(\mathbb{R})$ is non-zero and compactly supported. Then its Fourier transform $\widehat{f}\neq 0$ is analytic, and in particular the nodal set $\{\xi\in\mathbb{R}\,s.t.\,\widehat{...
