The fourier-analysis tag has no usage guidance.

**1**

vote

**0**answers

59 views

### Ideal structure of group $C^*$-agebras [on hold]

What is the ideal structure of group $C^*$-algebras? Do there exist any books or articles in the field ?
If G to be the group of integers $Z$ , then $C^*$($Z$)= C($T$) so because ideal structure of $ ...

**2**

votes

**1**answer

85 views

### The inverse of Laplacian operator for different orders

I post this question in MSE couple of days before and get no response. So I repost it here for better luck. Thank you!
Let $u,v\in C_c^\infty(\Omega)$ and $\Omega\subset \mathbb R^N$ is open ...

**2**

votes

**0**answers

63 views

### Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$,
$\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$
where the scalar complex function ...

**2**

votes

**1**answer

197 views

### Decoupling in mixed norm spaces

Bourgain and Demeter's proof of the $L^2$ decoupling conjecture decouples $\|f\|_{L^p}$ into an $L^2$ sum of $\|f_\theta\|_{L^p}$, where $\hat f$ is supported on a curved hypersurface $S$, where ...

**0**

votes

**0**answers

33 views

### Necessary condition for decouplings for surfaces in $\mathbb{R}^4$

I'm currently studying the paper Decouplings for surfaces in $\mathbb{R}^4$ written by Bourgain and Demeter. This paper is available in here.
As an example of nondegenerate $2$-dimensional surfaces ...

**0**

votes

**0**answers

32 views

### Kernel for projection operators onto the spaces of piecewise linear loops

For every $m\in\mathbb{N}_+$, $k=0,\dots,m-1$, denote $I_{m,k}:=(\frac{k}{m},\frac{k+1}{m})$.
Denote $W = H^1(S^1,\mathbb R^{2n})$ = The Hilbert space of $C^1$ maps maps $v(t)$ from the circle to ...

**0**

votes

**0**answers

56 views

### What's the relationship between the roots of a function and that of a filtered Fourier series representation?

Suppose $M$ is a piecewise constant function on an interval $T$ taking values $+1$ and $-1$, and that $M$ exhibits all the properties sufficient to ensure the existence of some converging Fourier ...

**0**

votes

**0**answers

70 views

### Resolvent of the operator

Consider the Laplace operator defined on the biggest possible subset of$L^{2}(R^{2})$:
$T= - \partial^{2}_{x} -\partial^{2}_{y}+x^{2}+y^{2}+ 2.i(x \frac{\partial}{\partial ...

**0**

votes

**0**answers

72 views

### The growth rate of almost periods for almost periodic function

A subset $A \subset \mathbb{R}^2$ is relative dense if there exists $L>0$ such that for every $p\in \mathbb{R}^2$ there exists $p' \in A$ such that $|p-p'|<L.$
A continuous function $f : ...

**8**

votes

**2**answers

281 views

### Is the Fourier transform of $e^{-|x|^n}$ positive?

Let
$$\Phi(x) = \int_{\mathbf{R}^n} e^{-|y|^n +i (x,y)} dy.$$
Is $\Phi$ positive everywhere in $\mathbf{R}^n$?
Could someone helps me answer this question or gives a reference for it? Thanks.

**2**

votes

**1**answer

111 views

### Solving a simple Schrödinger equation with Fast Fourier Transforms

While trying to solve a stochastic Gross-Pitaevskii equation I have found a problem that can be tracked down to something buggy occurring in the simplest Schrodinger equation possible:
$$\partial_t ...

**8**

votes

**2**answers

448 views

### Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n ...

**0**

votes

**0**answers

43 views

### Matrix representation of linearized PDE

My motivation for this question is to investigate the linear stability of steady solutions of a nonlinear PDE by computing eigenvalues of the linearized equations. Specifically, I have a function ...

**1**

vote

**1**answer

57 views

### harmonic balance method for a 2-mass 3-spring system

I am trying to solve a nonlinear 3spring-2mass system under harmonic loading by using Fourier series expansion of states of the differential equation. The system is just basically two masses, two ...

**1**

vote

**1**answer

48 views

### Seeking a specific proof of endpoint boundedness of Riesz potential

The Riesz potential is defined by
$$I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}}
\, dy.$$
Once $f\in L^{d/\alpha}(\mathbb{R}^n)$, then $I_\alpha f(x)\in BMO$. ...

**2**

votes

**0**answers

85 views

### system of complex number equations

Let $a_1,a_2,a_3,a_4\in \mathbb{C}$ be distinct such that
$$a_1^3+a_2^3+a_3^3+a_4^3=0$$
$$(1+|a_1|^2)a_1^2+(1+|a_2|^2)a_2^2+(1+|a_3|^2)a_3^2+(1+|a_4|^2)a_4^2=0$$
...

**0**

votes

**0**answers

33 views

### Supremum distribution of band-limited functions with random spectrum

Consider the properties of band-limited functions $f_N:[-\pi,\pi]\to\mathbb{R}$ defined through their Fourier series $f_N(x)=\sum_{n=-N}^N c_n e^{inx}$ where $c_n=a_n+i b_n$ and both ...

**5**

votes

**0**answers

105 views

### Nonclassical polynomials, circles, and groups

Tao and Ziegler have introduced a generalization of polynomials over a prime field called nonclassical polynomials, useful for studying the Gowers norm.
A nonclassical polynomial of degree $d$ is a ...

**8**

votes

**0**answers

174 views

### Precise relationship between “finite” Fourier analysis and Galois theory in solving the cubic?

Suppose we want to solve$$x^3 - ax^2 + bx - c = 0.$$We know a priori that this can be factored as $(x - r_0)(x - r_1)(x - r_2)$; by Vieta's formulas, we know$$a = r_0 + r_1 + r_2,\quad b = r_0r_1 + ...

**8**

votes

**2**answers

436 views

### Fourier transform of the critical line of zeta?

This was asked on MSE and got a lot of upvotes but no answers, so I'm posting it here.
Is there a known expression for the (distributional) Fourier transform of the Riemann zeta function, taken along ...

**-1**

votes

**1**answer

134 views

### separable BV space for PDE's, Whats stopping us? [closed]

Consider the metric space BV(0,1) with the following metric
$$ d(u,v) = \|u-v\|_{L^1} + |TV(u)-TV(v)| $$. It is separable, compact, uniformly bounded and complete. So What is the really obvious thing ...

**1**

vote

**2**answers

232 views

### Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]

In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...

**0**

votes

**0**answers

66 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

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

**9**

votes

**2**answers

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

**1**

vote

**1**answer

106 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

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

**2**

votes

**1**answer

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

**2**

votes

**0**answers

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

**7**

votes

**1**answer

264 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

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

**10**

votes

**2**answers

255 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

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

**8**

votes

**2**answers

501 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

163 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

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

**1**

vote

**0**answers

79 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

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

**2**

votes

**1**answer

56 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

114 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

34 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

90 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

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

**7**

votes

**1**answer

363 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

77 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

240 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

117 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}}} ...

**4**

votes

**0**answers

233 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

237 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

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