The fourier-analysis tag has no usage guidance.

**1**

vote

**1**answer

39 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

66 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' = ...

**0**

votes

**0**answers

24 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}= ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

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

**8**

votes

**1**answer

325 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

**1**answer

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

**1**

vote

**2**answers

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

**0**

votes

**1**answer

115 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

137 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

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

**2**

votes

**2**answers

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

**3**

votes

**1**answer

133 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

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

**1**

vote

**1**answer

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

**6**

votes

**2**answers

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

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

**3**

votes

**0**answers

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

**0**

votes

**1**answer

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

**8**

votes

**2**answers

649 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

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

**0**

votes

**0**answers

65 views

### Fourier transform of the realization of a stationary process in the space of tempered distributions?

A path of a stationary sequence of random variables $y_t$ does not have a discrete-time Fourier transform in the classical sense because it is not summable. This leads to considering the spectral ...

**6**

votes

**1**answer

252 views

### Fourier expansion of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions.
Further reading I found ...

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

**0**

votes

**0**answers

95 views

### Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$

Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...

**1**

vote

**0**answers

64 views

### Does the Total variation of the Fourier partial sum of a bv function with jumps converge to TV of the function as $N\to\infty$

Does the total variation of the Fourier partial sum of a piecewise continuous bv function converge to the total variation of the function as $N\to\infty$. To explain briefly,
Let $f$ be a periodic ...

**2**

votes

**1**answer

143 views

### an analogue of Littlewood-Paley-Rubio de Francia theory

For any function $f$ defined on the set of integer $\mathbb{Z}$, we define its Fourier transform as the following periodic function: $$
\mathbb{F}f(\xi)=\sum_{n\in\mathbb{Z}}f(n)e^{-2\pi i n\xi}
$$
...

**1**

vote

**1**answer

121 views

### Ask the validity of Tauberian lemma in Sogge's book

In C.D.Sogge's Fourier Integrals in Classical Analysis pp.128-129, he proved Lemma4.2.3(Tauberian Lemma):
Lemma. Let$g(\lambda)$ be a piece-wise continuous tempered function of $\mathbb{R}$. Assume ...

**0**

votes

**0**answers

44 views

### Non interacting complex unit

How to work with two non interacting complex units say i and j. These two imaginary complex unit represent different quantities. For example i is for periodicity in theta and j is for frequency or ...

**9**

votes

**1**answer

294 views

### $L^1$ norm of exponential sum of $n^2 x$

What is the asymptotic order of
$$
\int_0^1 \left| \sum_{n=1}^N e^{2 \pi i n^2 x} \right| ~dx
$$
as $N \to \infty$. This should be known, but I cannot find it in the literature.

**4**

votes

**1**answer

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

**3**

votes

**0**answers

209 views

### The ring of modular forms for $\Gamma_0(11)$

Let $\mathcal M(11) = \oplus \mathcal M_k(11)$ be a graded algebra of modular forms for congruence group $\Gamma_0(11)$. I want to find generators and relations between them. I proved that $\dim ...

**4**

votes

**0**answers

48 views

### Value of prolate speroidal wave function at 0

I have a very basic question about prolate speroidal wave functions that can be defined as eigenfunctions to the following integral equation:
$$
\lambda\cdot \psi(x) = \int_{-1}^{1}\frac{\sin ...

**0**

votes

**0**answers

119 views

### Problem with operator and Fourier transform

I am currently dealing with a problem in functional analysis where I want to show the following.
Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$
if ...

**7**

votes

**2**answers

288 views

### Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says
$\sum_{n\geqslant 0}z^{2^n}$
doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...

**0**

votes

**0**answers

34 views

### Is Wiener amalgam spaces $W^{2,1}(\mathbb R)\subset C_0(\mathbb R)$?

I have been learning Wiener amalgam spaces.
In Wiener amalgam spaces $W(X, L^2)$, I am taking $X=\mathcal{F}L^{1}=\{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}\},$ and $m(x)=1.$
Take $f(x)= ...

**1**

vote

**1**answer

166 views

### Finite trigonometric polynomial

I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that
$T(x):= \sum_{n \in \mathbb{Z}} ...

**0**

votes

**0**answers

47 views

### $A_n \not \rightharpoonup A$ in $L_1[-\pi; \pi] $ ( $A_n$ is partial fourier sum )

Let
\begin{equation*}
(A_n x)(t) = \frac{a_0}{2} + \sum\limits_{k=1}^n a_k cos(kt) + b_k sin(kt), \\
a_k = \frac{1}{\sqrt{\pi}} \int_{-\pi}^{\pi} x(t) cos(kt) dt, \\
b_k = \frac{1}{\sqrt{\pi}} ...

**2**

votes

**2**answers

141 views

### Are there examples of functions in $L_1$ and $L_\infty$ whose Fourier series divergent (“weakly”)?

It is wellknown that there is a convergence in norm for Fourier series in $L_p$, if $1<p<\infty$, but are there some examples for pointwise divergence if $p=1,\infty$ in books, or somewhere? I ...

**2**

votes

**0**answers

97 views

### Transformation of kernel

I have the following problem at hand.
Define the kernel
$$K(x_1,x_2) = \int_{-1}^1\int_{-1}^1 \exp(-2\pi\jmath x_1 y_1)R(y_1,y_2)\exp(2\pi\jmath x_2 y_2)\mathrm{d}y_1\mathrm{d_2}.$$
Now, if ...

**3**

votes

**1**answer

201 views

### Variations on the Mellin and Dirichlet transforms

There are a number of variations on the Laplace transform that turn up all over math. Some examples:
$\int_{-\infty}^{\infty} f(t)e^{-st} dt$ - The Laplace transform
$\sum_{-\infty}^{\infty} ...

**0**

votes

**0**answers

65 views

### prove that a function is approximatively three 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 ...

**2**

votes

**0**answers

140 views

### Largest Fourier coefficient of sparse boolean function

Consider a Boolean function $f: GF(2)^n \rightarrow \{0, 1 \}$. I would like to show that if $f$ is sparse, i.e. $\sum f(i) \leq t$, then $f$ must have a large Fourier coefficient. (A Fourier ...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

33 views

### Gaussian gabor frame

It is widely known that $\phi(x)=e^{-\frac{x^2}{2}}$ does not define a Gabor frame if we consider translations by units of $1$ and multiplication by $e^{2 \pi inx}$for $n \in \mathbb{N}.$ A way to ...

**2**

votes

**0**answers

89 views

### Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël,
http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf.
The equations are
$$
i\partial_tu+\Delta u=-|u|^{p-1}u
$$
on ...

**3**

votes

**1**answer

123 views

### Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that
$$
\mathcal W\subset ...

**1**

vote

**0**answers

82 views

### Is my particular finite dimension Toeplitz matrix always strictly positive?

Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$.
Define a sequence of banded ...

**1**

vote

**1**answer

166 views

### Fourier coefficients of real analytic functions on an n-dimension torus

Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of ...

**5**

votes

**3**answers

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