The fourier-analysis tag has no usage guidance.

**1**

vote

**2**answers

126 views

### Fourier transform localisation

I was just reading through these notes here on p. 19 and in the last paragraph the authors claim something (by saying "standard Fourier theory shows...") that sounds to me like:
If you have $f \in ...

**-2**

votes

**1**answer

23 views

### Systems with zero output for periodic inputs [on hold]

I need help with the following question:
Suppose you have an LTI system which produces the 0 output in response to any periodic input with period T. Show that the impulse response h(t) of the system ...

**6**

votes

**2**answers

241 views

### Completeness of nonharmonic Fourier Series

I have the following question:
The Exponential System $(\exp(2\pi i n \cdot ))_{n\in \mathbb{Z}}$ constitutes an orthonormal basis of $L^2([-1/2,1/2])$.
Thus, certainly the oversampled system ...

**2**

votes

**0**answers

322 views

### A problem about Joint sine and cosine fourier transform

There is a problem on Page 60 of Book of B.M.Budak, A. A. Samarskii and A. N. Tikhonov, whose title is A Collection of Problems in Mathematical Physics (New York, Dover, 1964). The problem (the ...

**30**

votes

**4**answers

3k views

### What are fixed points of the Fourier Transform

The obvious ones are 0 and $e^{-x^2}$ (with annoying factors), and someone I know suggested hyperbolic secant. What other fixed points (or even eigenfunctions) of the Fourier transform are there?

**0**

votes

**0**answers

57 views

### Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function

Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: ...

**2**

votes

**1**answer

28 views

### What are the known conditions for the log of the Fourier transform of a 2D real discrete signal to have no branch cuts?

Suppose we sample a real 2D signal, f(x,y), at N by N evenly spaced points in x and y. Then we compute the Fourier transform of the sampled signal, F(u,v), and then take the log of F. There will be a ...

**1**

vote

**1**answer

100 views

### A metric on the set of BV functions, is it mentioned/studied in literature?

I'd like to propose the following metric which operates on the set $M$ of all square integrable functions that are also of bounded variation, of the form $f : (0,1) \to \mathbb{R}$.
Given any $x,y \in ...

**3**

votes

**0**answers

124 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 ...

**4**

votes

**1**answer

205 views

### Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved).
Then the Fourier transform of this function is given by
...

**2**

votes

**1**answer

73 views

### Lower bounds from Fourier dimension?

According to Mattila, Geometry of sets and measures in Euclidean spaces, p. 168, the Fourier dimension $\text{dim}_F(A)$ of $A\subseteq \mathbb R^n$ is the unique number in $[0,n]$ such that for any ...

**7**

votes

**2**answers

460 views

### Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order

My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...

**3**

votes

**2**answers

296 views

### Bandwidth approximation for a nonlinear problem

Can anyone please help me with this problem.
I must let you know from the beginning that it's not an easy one.
"Two functions are given: $u, y \in L^{2}(-\infty,\infty), y(t)=\frac{u(t)}{u(t)+b}$ ,
...

**0**

votes

**0**answers

176 views

### Express measurable entropy in terms of Fourier coefficients of the measure

Let $S^1$ be the unit circle and $T:S^1\to S^1$ be a continuous map. Suppose $\mu$ is a $T$-invariant Borel probability measure on $S^1$, that is, $\mu(T^{-1}A)=\mu(A)$ for every Borel subset $A$ of ...

**2**

votes

**1**answer

848 views

### Is the integral always nonzero?

Let
$$I_{n,p,a}:=\int_0^{\infty-} \frac{g_{n,a}(t)}{t^{p+1}} \, dt,$$
where
$$(*)\qquad\qquad\qquad n\in\mathbb N,\quad -\infty<a<\infty,\quad p_{n,a} < p < ...

**2**

votes

**0**answers

62 views

### Combining oscillatory integrals of the first and second kind

Consider an oscillatory integral of the first kind
$$
I_\lambda(x)=\intop_{\mathbb{R}^{n}}e^{i\lambda\Phi(x,y)}a(x,y)\,d y,\quad \lambda\geq 0,\; a\in C_c^\infty(\mathbb{R}^{k+n}),\; \Phi\in ...

**9**

votes

**3**answers

2k views

### English translation of Riemann's Habilitation Thesis

Does anyone know where to find an English translation of Riemann's Habilitation Thesis concerning trigonometric series? The German title of the work is "Über die Darstellbarkeit einer Function durch ...

**6**

votes

**1**answer

215 views

### Maximal $L_1$ norm of Fourier Transform of a Subset

Let $A_n$ be the following $n\times n$ matrix: $(A_n)_{i,j}= \frac{1}{\sqrt{n}}\omega_n^{i\cdot j}$ for all $0 \le i,j <n$, where $\omega_n=e^{\frac{2\pi i}{n}}$.
I want to understand how $A_n$ ...

**2**

votes

**0**answers

82 views

### Error term for a Fourier integral

There is a well-known theorem that states that for $f$ continuous and $f,\hat f$ integrable,
$$f(0)=\frac{1}{\pi}\lim_{T\to\infty}\int_{-\infty}^\infty f(x)\frac{\sin(Tx)}{x}dx.$$
So it should be that
...

**4**

votes

**0**answers

105 views

### Symmetry of Sundry Planar Convex Sets of Constant Width & Minimal Area

In a much broader paper in “Optimization Methods & Software 27,6 (2012) pp1073-1099” Bayen & Henrion consider planar compact, convex sets with support functions which are finite Fourier ...

**2**

votes

**0**answers

87 views

### Does the following inequality hold under Zygmund condition?

Let $f:R\rightarrow R$ be a continuous function which satisfies the Zygmund condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const} \frac{|\delta|}{(\log\frac{1}{|\delta|})^{\alpha}}, \,\, ...

**0**

votes

**0**answers

83 views

### Proof sought that a certain function is approximatively 3-dimensional

Let $D_n(x)$ be a diagonal matrix of size $N\times N$ where the $k$th element is $\exp(2\pi\jmath x(n+(k-1)/N)$.
Let $P_n$ be a random diagonal $N\times N$ matrix where each diagonal element is a ...

**0**

votes

**0**answers

70 views

### Is there a space in which the $\vec a$ in $\sin(a_1\cdot x)+\sin(a_2\cdot x)$ is linear?

Suppose one has equations of the form $\sin(a_1\cdot x_i)+\sin(a_2\cdot x_i)=y_i$ for $i = 1, \dots, n$ (there are also amplitudes and phase shifts, but let's ignore these for now). I want to solve ...

**10**

votes

**2**answers

235 views

### Bounding exponential sum with square roots

It is well known that for each $m\in\mathbb{N}$
$$\lim_{N\to\infty}\frac1N\sum_{n=1}^Ne^{2\pi i\sqrt{nm}}=0$$
My question is whether there is some uniformity in the variable $m$.
More precisely, is it ...

**2**

votes

**1**answer

76 views

### Fractional Sobolev spaces on the circle with a Littlewood-Paley characterisation

Fractional Sobolev space $H^s_p(\mathbb R), s>0, 1<p<\infty$ is a space of tempered distributions $f$ that satisfy $F^{-1}((1+|\xi|^2)^{s/2} F(f)) \in L_p(\mathbb R)$.
Here, $F$ denotes the ...

**4**

votes

**0**answers

2k views

### Fourier transforms via Kurzweil-Henstock integral on locally compact commutative groups

Is it possible to define Fourier transforms on locally compact commutative groups using the Kurzweil-Henstock integral instead of the Lebesgue integral?

**6**

votes

**1**answer

359 views

### Can exponential sums be small on a whole interval?

This is almost certainly routine to an analyst, so forgive me in advance.
Let $\alpha_i\in \mathbb{R}$. Consider the functional $$\varphi: L^1[0.9A,A]\to \mathbb{C}$$ via $$f\mapsto \sum_i ...

**3**

votes

**2**answers

162 views

### Name for an orthogonal decomposition of $L^2 (\mathbb{R}^2; \mathbb{C})$

The space $L^2 (\mathbb{R}^2; \mathbb{C})$ can be decomposed as
$$
L^2 (\mathbb{R}^2; \mathbb{C}) = \bigoplus_{k \in \mathbb{Z}} L^2_k (\mathbb{R}^2; \mathbb{C}),
$$
where
$$
L^2_k (\mathbb{R}^2; ...

**3**

votes

**1**answer

61 views

### Spaces $C^\infty(\mathbb T^n\times \mathbb R^n)$, $C^\infty_0(\mathbb T^n\times \mathbb R^n)$ and $\mathscr{S}(\mathbb T^n\times \mathbb R^n)$? [closed]

Is there any characterization of the space $C^\infty(\mathbb T^n\times \mathbb R^n)$ that I can take as a definition of it?
I assume it would be something like this:
$$C^\infty(\mathbb T^n\times ...

**30**

votes

**1**answer

2k views

### Fourier transform on the discrete cube

Notation: identify an element of $\{-1,1\}^n$ with the set $S \subseteq \{1, \ldots, n\}$ on which it takes the value $-1$.
The following is an asymptotic question. "Close to one" means "more than ...

**4**

votes

**0**answers

201 views

### Localization arguments in the paper 'the proof of $l^2$ decoupling conjecture'

I am currently reading Jean Bourgain and Ciprian Demeter's 2015 paper The proof of the $l^2$ decoupling conjecture and would appreciate some help in understanding localization argument used in that ...

**29**

votes

**6**answers

5k views

### What does Mellin inversion “really mean”?

Given a function $f: \mathbb{R}^+ \rightarrow \mathbb{C}$ satisfying suitable conditions (exponential decay at infinity, continuous, and bounded variation) is good enough, its Mellin transform is ...

**1**

vote

**0**answers

54 views

### Looking for some “nontrivial” examples of pseudodifferential operators/symbols

I'm reading up on $\Psi DO$'s and trying to find some examples of symbols that are not quite so trivial.
Obviously, the first example of a symbol that most people talk about is just a polynomial in ...

**0**

votes

**1**answer

65 views

### Help with notations from 2D to 3D FFT representations as 1D FFT

I have this question on mathematics forum too, Notations, I thought of posting here, which ever place I get an answer, I will try to close it in the other.
I need some help and clarifications for my ...

**26**

votes

**6**answers

7k views

### Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...

**2**

votes

**1**answer

47 views

### Locality of homogeneous pseudo-differential operator

Let $P$ be a polynomial in several variables, and let $P(D)$ be the corresponding differential operator. Obviously, $P(D)$ is a local operator, in the sense that I need only to know the function $u$ ...

**0**

votes

**0**answers

102 views

### Uniqueness of the “Gubinelli” Derivative in the Theory of Paracontrolled Distributions

From the theory of Rough Paths it is well known that if we have a truly rough path $X$ and two controlled rough paths $(Y,Y'),(Y,\tilde{Y}')\in\mathcal{D}_X^{2\alpha}$, then we have already $Y' = ...

**7**

votes

**1**answer

155 views

### riemann mapping theorem for skew-fields of quaternions and beyond

Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it?
In a less focused way, how far does the main ...

**24**

votes

**6**answers

4k views

### Explicit formula for Riemann zeros counting function

I've often seen it stated (in vague terms) that there's a Fourier duality between the set of prime numbers and the set of nontrivial Riemann zeta zeros.
Because there are various explicit formulae ...

**0**

votes

**0**answers

33 views

### Wiener amalgam space $W(\mathcal{F}L^{2}, L^{1}) \subset L^{1}$?

(I have asked this question on SE but could not get any answer and hope this is o.k for MO)
Let $X=\mathcal{F}L^{p}=\{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{p}(\mathbb R)\},$ and $\|f\|_{X}= ...

**8**

votes

**1**answer

347 views

### Proof of a Fourier pair with Bessel functions?

How can we prove that the Fourier transform of the function
$$
f(x)
=
\begin{cases}
(a^2-x^2)^{c/2} BesselJ[c,b\sqrt{a^2-x^2}] & \text{for }x^2 < a^2\\
0 & \text{otherwise}
\end{cases}
$$
...

**2**

votes

**0**answers

89 views

### Swapping sums and integration for a kernel in Fourier space (the non absolutely convergent case)

Under what conditions on $c_{r}^{m}$
does
$$\int_0^{2\pi} k(p,q)\exp(-inq)dq=\sum_{r=0}^{\infty}c_{r}^{m}\exp\left(-imp\right) \text{ in } L^2_{per}$$
hold for
...

**27**

votes

**6**answers

4k views

### Do convolution and multiplication satisfy any nontrivial algebraic identities?

For (suitable) real- or complex-valued functions f and g on a (suitable) abelian group G, we have two bilinear operations: multiplication -
(f.g)(x) = f(x)g(x),
and convolution -
(f*g)(x) = ...

**4**

votes

**3**answers

637 views

### Can Stein's maximal principle be strengthened?

Let $T$ be an operator on $S(G)$ where $G$ is the line $R$ or the circle $T$, and $S(G)$ denotes the Schwartz space of functions on $G$.
We can ask if the operator T is bounded (as an operator from ...

**26**

votes

**2**answers

2k views

### Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?

Mathematica knows that:
$$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$
The von Mangoldt function should then be:
...

**2**

votes

**1**answer

72 views

### Elaboration of a certain section of a paper by Thanigasalam

In section 11 of this paper by Thanigasalam, it says "... we get $G(10)\le 105$, and this implies that $H(10) \le 107$". However, it is very unclear how this follows. Why is it the case that $G(10)\le ...

**11**

votes

**2**answers

617 views

### Motivation for BMO

At the moment, I don't have access to the early 1960's paper of John and Nirenberg that (from what I understand) introduced the space BMO (bounded mean oscillation). Why were John and Nirenberg ...

**5**

votes

**3**answers

151 views

### Reference request : Besov spaces on ubounded domains

As I am relatively new to these matters, I would like to know if you could provide me a reference for Besov spaces on unbounded domains, because when I checked the first tome of Triebel's Theory of ...

**4**

votes

**1**answer

224 views

### What is the importance of convergence of variation of Fourier reconstruction to that of variation of the function?

Let $f$ be a periodic function of bounded variation which jumps at a point $x_0\in\mathbb{R}$. Let $S_{N}[f]$ denote the partial Fourier sum of $f$ and let $C_{N}[f]$ denote the Cesaro partial sum. It ...

**1**

vote

**2**answers

216 views

### Derivative of Band-limited functions [closed]

I'm trying to answer this problem: Consider a real function f, bandlimited by frequency $\omega$, which satisfy
$$\int_{-\infty}^\infty f(x)^2dx=c.$$
(For pure mathematicians: "bandlimited" means ...