**3**

votes

**2**answers

210 views

### Nice way to express $H^{-1}(\mathbb{S}^1)$

I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...

**0**

votes

**0**answers

57 views

### Functions $f \in S(\mathbb{R})$ with slow decay rate?

I came across this question by thinking about whether there are functions $f \in S(\mathbb{R})$ that satisfy for all(!) $a>0$ that $f e^{a|.|^a} \notin L^{\infty},$ as somebody on ...

**13**

votes

**2**answers

381 views

### Is there a $C_c^{\infty}( \mathbb{R}^d)$ function whose Fourier transform we can explicitly write down?

I noticed that although $C_c^{\infty}$-functions are dense in some quite large spaces and well understood (especially their Fourier transform) I have never encountered an explicit example of a ...

**2**

votes

**1**answer

198 views

### Does Fourier Algebra of locally compact group separate compact sets of the group?

Let $G$ be a locally compact group. Consider the left regular representation $\lambda$ over $L^2(G)$. Then according to Eymard, Fourier algebra of $G$, $A(G)$ is the set of all coefficients of ...

**2**

votes

**0**answers

38 views

### Can we say translation/dilation of the $L^p-$multiplier is again a $L^{p}-$multiplier?

Suppose that $m:\mathbb R \to \mathbb C$ such that
$\| (m \hat{f})^{\vee} \|_{L^{p}} \leq C \|f\|_{L^{p}}$ (where $C$ is some constant, $f\in L^{p}$). (That is, $m$ is an $L^{p}-$ multiplier) ...

**1**

vote

**0**answers

57 views

**3**

votes

**1**answer

114 views

### How to calculate the PSD of a stochastic process

This question was asked on math.stackexchange about 2 months ago, but it hasn't been very successful in attracting answers yet, so I'm posting it here.
Say we have a stochastic process described by a ...

**2**

votes

**1**answer

129 views

### Proof of Euler's reflection formula via rapidly decreasing Fourier series

Story
I want to prove Euler's reflection formula by showing that
\begin{equation*}
f(s) = \sin(\pi s) \Gamma(s) \Gamma(1 - s)
\end{equation*}
is constant, where $s = \sigma + it$. It's easy to see ...

**1**

vote

**1**answer

81 views

### Fourier transform of tanh [closed]

tanh is not absolutely integrable, so a direct fourier transform does not exist. But even for the signum function, which is not absolutely intrgrable, we can get the fourier transform by applying some ...

**5**

votes

**1**answer

603 views

### Is the following integral nonzero?

Recently I met an integral as follow:
$$\int_0^{2\pi}\cdots\int_0^{2\pi}\left(\prod\limits_{1\leq ...

**1**

vote

**1**answer

82 views

### Estimate a Fourier Transform [closed]

I'm reading an article which claims the following result (p.9): if $f : \mathbb{R}^{2} \to \mathbb{R}$ is of the form $f(x_1,x_2) = \sin (N x_{1}) h (g^{-1}(x))$, where $g$ is a diffeomorphism and $h$ ...

**7**

votes

**1**answer

89 views

### Fast Fourier Transforms for non-trigonometric bases

The fast Fourier transform allows decomposition into a sin/cos basis in $N \log(N)$ complexity. Can one generalize the algorithm (or the ideas used) to other bases, e.g. orthogonal polynomial bases ...

**48**

votes

**1**answer

2k views

### Square root of dirac delta function

Is there a measurable function $ f:\mathbb{R}\to \mathbb{R}^+ $ so that $ f*f(x)=1 $ for all $ x\in \mathbb{R} $, i.e $$\int\limits_{-\infty}^{\infty} f(t)f(x-t) dt=1 $$ for all $ x\in \mathbb{R} $.

**4**

votes

**0**answers

88 views

### Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$

Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...

**1**

vote

**0**answers

254 views

### Controlling residue class sizes

$\forall k>10^2$ is there $m_k$ such that at infinite primes $q>m_k$ $\exists$ pairwise coprime $a,b,c$ such that
$$(1)\quad q^{\frac14+\frac1k}<a,b,|a-b|<q^{\frac14+\frac2k} < ...

**2**

votes

**1**answer

49 views

### How to relate this summation to standard discrete cosine transformation?

The standard type III discrete cosine transformation (DCT) is defined as follows:
$${X_k} = \frac{1}{2}{x_0} + \sum\limits_{n = 1}^{N - 1} {{x_n}} \cos \left[ {\frac{\pi }{N}n\left( {k + \frac{1}{2}} ...

**9**

votes

**1**answer

233 views

### Is the regularization of a Fourier transform unique?

The Fourier transform of the Coulomb potential $1/\vert \mathbf r \vert$ of an electric charge doesn't converge because one obtains
$$F(k)=\frac {4\pi}{k} \int_0^\infty \sin(kr) dr.$$
The standard ...

**-1**

votes

**0**answers

25 views

### Convexity of two variables function depending in a parameter

Let $~f_V : \Omega \subset R^2 \to R$ be a function that associates to $(x\in R^2$ the value $~f_V(x)$ (which is non linear and there is no explicit formula for $f_V(x)$).
$V \in R^M$ is a parameter ...

**0**

votes

**0**answers

79 views

### Why is this theorem equivalent to the informal explanation given by Tao? [migrated]

I will copy-paste the statement and the theorem from this paper by Tao about an uncertainty principle for groups of prime order.
http://arxiv.org/pdf/math/0308286.pdf
Theorem 1.1: Let $p$ be a prime ...

**4**

votes

**1**answer

199 views

### Application of Factorization Theory to Oscillatory Integral Estimates

In the article "Some New Estimates on Oscillatory Integrals" by Bourgain in the book Essays in Honor of Elias M. Stein, Bourgain considers operators of the form
...

**8**

votes

**1**answer

246 views

### Have the explicit Poisson-type formulas of Guinand and Meyer been observed before?

In a recent paper of Meyer Measures with locally finite support and spectrum PNAS vol. 113 no. 12:3152–3158 (behind a paywall, but see also these seminar notes) some new explicit Poisson-type formulas ...

**6**

votes

**1**answer

123 views

### Positivity of power of positive PSD matrices

Background: Let $M$ be an $n\times n$ matrix with nonnegative entries. It is immediate that for any integer $k$, $M^k$ has nonnegative entries.
Suppose now that, on top of having nonnegative ...

**0**

votes

**0**answers

89 views

### How to estimate the Fourier transform in high dimension?

Let $\epsilon>0$. Can we compute explicitly or estimate the following Fourier transform in $n$ dimension?
$I_\epsilon(x)=\int_{\mathbb{R}^n} e^{i<x,y>}\frac1{1+i\epsilon-|y|^2}dy.$
Here ...

**3**

votes

**1**answer

92 views

### Restrictions on spectral measure

Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$
Here ...

**1**

vote

**1**answer

46 views

### extremal kernels for functions on the torus

Let $\delta, \epsilon>0$ and $f: \mathbb{T} \rightarrow \mathbb{C}$ such that (i) $f(0)=1$ and (ii) $|f(x)| \le \epsilon$ for all $|x| > \delta$. What is the smallest $L = L(\delta, \epsilon)$ ...

**1**

vote

**0**answers

60 views

### Differentiability criterion in the Zygmund class

Let $ f: \mathbf{R}^{m} \rightarrow \mathbf{R} $ be a continuous
function, $ \omega $ be a modulus of continuity and assume
$$ | f(x+h) +f(x-h) -2f(x) | \leq \omega(|h|)|h| $$
whenever $ x,h \in ...

**1**

vote

**1**answer

106 views

### What are the spaces for which the Fourier transform is an automorphism? [closed]

this is well-known that the Fourier transform is an automorphism of $L^2(\mathbb R)$ and also of $\mathcal S(\mathbb R)$ (Schwartz space). Is there any other spaces of functions of one real variable ...

**2**

votes

**0**answers

68 views

### Bilinear Approach to Bochner-Riesz Conjecture in Two Dimensions

In some old lecture notes on the Restriction and Kakeya conjectures (Notes 5, specifically), Terence Tao gives a proof of the restriction conjecture (for the sphere) in two dimensions via a bilinear ...

**7**

votes

**1**answer

293 views

### The Fourier transform of a function supported on $B_1$ is essentially constant on $B_1$?

I'm going through the last steps of Bourgain and Demeter's proof of the $l^2$ decoupling conjecture, but I'm unable to see how the first inequality in (43) goes through. I'll water down the question a ...

**1**

vote

**0**answers

56 views

### Perturbation in Besov space

$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$.
Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...

**2**

votes

**2**answers

280 views

### Why decompose a function with eigenvectors of Laplace operator? [closed]

On periodic domain, people always use Fourier basis, which eigenvectors of Laplace operator. On sphere, people use spherical harmonics, which also are eigenvectors of Laplace operator. In applied ...

**3**

votes

**2**answers

374 views

### A problem on real valued functions in $\mathbb{R}^2$ with least variation

Let $\alpha(s) = (x(s),y(s))$ be the arc length parametrization of a plane, smooth, closed, convex curve, of length $L$. Let $J:(0,L)\to\mathbb{R}$ be a smooth and Bounded variation (BV introduced ...

**1**

vote

**0**answers

101 views

### If $\mathcal{F}$ is the Fourier transform, what can be said about $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$?

The Fourier transform gives a map of the Schwartz space to itself which turns out to be a linear homeomorphism of period 4.
However, when the domain is extended to $L^1(\mathbb{R})$, the situation is ...

**8**

votes

**1**answer

160 views

### Real rank zero of group $C^*$-algebras

The concept of real rank zero of a $C^*$-algebra is introduced as non-commutative analogue of dimension ( topological dimension ). For example, it shown (by Brown-Pedersen) such that, if $X$ is a ...

**1**

vote

**0**answers

94 views

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

Let $G$ be a locally compact groups and $C_r^*(G)$ be a reduce group $C^*$-algebra.
$\ Question:$What is the ideal structure of reduce group $C_r^*(G)$?

**2**

votes

**1**answer

112 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

74 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

271 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

66 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

39 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

**1**answer

203 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

76 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

76 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

297 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

202 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

513 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

46 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

105 views

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

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

57 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

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