The fourier-analysis tag has no usage guidance.

**3**

votes

**1**answer

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

**8**

votes

**2**answers

211 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

55 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

273 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

152 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

59 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

**1**answer

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

**4**

votes

**1**answer

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

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

**6**

votes

**2**answers

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

**1**

vote

**2**answers

278 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}$ ,
...

**1**

vote

**0**answers

45 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

61 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

44 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

86 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

153 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

27 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

333 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

85 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) = ...

**0**

votes

**0**answers

57 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...n$ (there are also amplitudes and phase shifts, but let's ignore those for now). I want to solve for $\vec ...

**4**

votes

**3**answers

631 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

69 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

614 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

146 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

213 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

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

**2**

votes

**2**answers

146 views

### Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...

**11**

votes

**1**answer

333 views

### What's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?

The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...

**0**

votes

**1**answer

116 views

### Simplifying an expression using tools from Fourier transform

Can anyone simplify the following expression? I guess something from Fourier transform can help:
$f(\omega) = \lim_\limits{R \to \infty} \frac{1}{R^2} \int_{r=0}^{R}{re^{ \omega r^{-\gamma}}} ...

**1**

vote

**1**answer

209 views

### The $L^2\times L^2\to L^2$ norm of the bilinear multiplier operator

Consider a general bilinear multiplier operator:
$$
T(f,g)(n)=\int_{\Pi}\int_{\Pi}\hat{f}(\xi)\hat{g}(\eta)e^{2\pi i(\xi+\eta)n}m(\xi,\eta)d\xi d\eta,
$$
where $\Pi$ is the torus, $n\in\mathbb{Z}$, ...

**7**

votes

**1**answer

1k views

### Eliminating Gibbs phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

Physical Motivation : Hear to these audio files S_f and P_f. S_f is Fourier partial
sum and P_f is the new reconstruction, both use spectrum only in the
region (0,4KHz) for reconstructing the ...

**1**

vote

**2**answers

205 views

### Example of a pair which is not weakly annihilating

Let $\mathcal F$ denotes the Fourier transform $\mathcal{F} :L^2(\mathbb R)\rightarrow L^2(\mathbb R)$ and $E, \Sigma$ be two measurable sets in $\mathbb R$.
The pair $(E,\Sigma)$ is called a weakly ...

**3**

votes

**1**answer

141 views

### Fourier Transform of Eisenstein Series - Sum of Divisors or Ramanujan Sums?

I am stuck on this computation of the Fourier coefficients of Eisenstein series. For $\Gamma = SL(2, \mathbb{Z})$ and $\Gamma_\infty = \left\{ \left( \begin{array}{cc} 1 & m \\ 0 & 1 ...

**1**

vote

**1**answer

64 views

### A bound on the $\mathrm{L}^p$ norm in terms of the $\mathrm{L}^2$ norm in periodic Sobolev spaces

(The question was originally posted on Math StackExchange.)
Preliminaries: Given ${s \geq 0}$, let ${\mathrm{H}_P^s}$ denote the ${\mathrm{L}^2}$-based fractional-order Sobolev space of ...

**7**

votes

**2**answers

708 views

### Are Fourier series of length 2 'asymmetric enough' to generate all crossing patterns? - A reformulation of the Fourier-(1,1,2) knot question

Given $N$ pairs of distinct real numbers $t_i, t'_i \in [0,1]$, $i = 1,\ldots,N$, we ask if there is a function $f(x) = \cos(2\pi mx+\alpha) + \gamma\cdot \cos(2\pi nx+\beta)$, with $m, n \in ...

**8**

votes

**2**answers

678 views

### Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}
$$
Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?

**4**

votes

**0**answers

377 views

### Best known bounds on certain exponential sums

What are the best bounds currently known for the following exponential sum:
$$\sum_{x < p \le 2x} e(\alpha p^k)$$
for values of $\alpha$ far from a rational with small denominator. ($p$ refers ...

**7**

votes

**2**answers

356 views

### Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...

**5**

votes

**3**answers

398 views

### Efficient computation of “discrete infimal convolution”

This question arises from an application to graphical models in probability theory, but I have abstracted that part out so only algebra remains. Let $\mathbb{R}$ denote standard field of real numbers ...

**2**

votes

**0**answers

57 views

### Is this similarity to the Fourier transform of the von Mangoldt function real? [duplicate]

This question proposed in SEM but no answer and it's interesting to know connection
between Fourier analysis and number theory .
Mathematica knows that the logarithm of $n$ is:
$$\log(n) = ...

**0**

votes

**1**answer

112 views

### Fourier series and transform related to Epicycles

Let $\gamma:\mathbb{R}\to\mathbb{C}$ be a continuous periodic curve having a bounded variation.
1) Is it true that one can find a sequence of numbers $(r_n)_{n\in\mathbb{N}}\subset (0,\infty)$ and ...

**3**

votes

**0**answers

57 views

### Fourier coefficients of positive polynomials

Let $p(x) \geq 0$ be a positive polynomial on the hypersphere ($x \in S^{n-1}$) satisfying $\int_{S^{n-1}} p(x) = 1$. Writing $p(x) = \sum_{j=0}^s p_j(x)$ where $p_j(x) = \sum_m p_{jm} s_{jm}(x)$ with ...

**10**

votes

**2**answers

910 views

### Analogues of the Riemann-Roch Theorem

In his thesis, Tate derives a Poisson formula on the adeles and a theorem which he calls the "Riemann-Roch Theorem". More specifically, given a continuous, $L^1$ function $f$ on the adeles such that ...

**7**

votes

**1**answer

1k views

### The large sieve for primes

Let $\Lambda(n)$ be the von Mangoldt function, i.e., $\Lambda(n) = \log p$ for $n$ a prime power $p^k$ and $\Lambda(n) = 0$ for all $n$ that not prime powers. Let
$$S(\alpha) = \sum_{n \leq N} ...