# Tagged Questions

The fourier-analysis tag has no wiki summary.

**0**

votes

**0**answers

11 views

### What is the AAN algorithm for computing the fast DCT, and does it work for arbitrary or even-sized input vectors?

I'm trying to implement a faster DCT algorithm for an image perceptual hashing library I maintain in Rust. I based my original implementation on listing2.c from ...

**0**

votes

**1**answer

78 views

### Uniform $L^p-L^{p'}$ bound of a Fourier multiplier

Let $(\tau,\xi)\in\mathbb{R}\times \mathbb{R}^n$, and consider the function
$$
m_{\epsilon}(\tau,\xi)=\frac{1}{\tau+|\xi|^4+\epsilon|\xi|^2+i}
$$
in $\mathbb{R}^{n+1}$. My first question is that does ...

**0**

votes

**0**answers

88 views

### How do I prove this statement about the operator norm? [on hold]

I stumbled across this equation in a paper, but I can't find the paper any more and I'm not sure if I remember it correctly.
By definition of an operator norm,
$$\left[(D^*D)^{-1} - ...

**-3**

votes

**0**answers

55 views

### Calculation of Fourier Transform [migrated]

I am trying to calculate the Fourier Transform (with respect to k) of the following function:
$\frac{1}{\sqrt{k^2 + 1} - C}$
where $C$ is some complex number.
Does anyone knows how to do that?
...

**1**

vote

**0**answers

159 views

+50

### Killing vector fields on sphere and nodal sets

Let $u$ be a smooth function on $S^2$ such that $\int_{S^2} ux_j =0$, for $j=1,2,3$. Does there exist a killing vector field $V$ on $S^2$ such that the nodal line of $\varphi=V(u)$ ($\{x\in S^2: ...

**0**

votes

**0**answers

280 views

### What is the Fourier transform of this function?

Consider the function
$$
f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du.
$$
It is known that $f(x_1,x_2)\in ...

**0**

votes

**0**answers

13 views

### separating two parameters in an oscillatory integral

Consider the following oscillatory integral with two parameters: $$I(a,b)=\int_{\mathbb{R}}e^{i(ax^2+bx)}\psi(x)\,dx$$ where $\psi$ is smooth and supported in $\{x:|x|\in[1/2,2]\}$.
Can we write ...

**3**

votes

**2**answers

253 views

### Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?

**5**

votes

**2**answers

251 views

### Conditions for positivity of Fourier transform

Assume you are given a non-negative, continuous, radial function $f\in L^q(\mathbb{R}^3)$ (for any $q\geq 1$).
Are there any conditions which would guarantee that the Fourier transform of $f$, that ...

**0**

votes

**0**answers

58 views

### variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...

**4**

votes

**1**answer

75 views

### Abstract stationary phase

I have been reading Semi-classical analysis by Guillemin and Sternberg. At the end of Chapter 8, they gave an abstract version of the stationary phase method. I have a hard time figuring out what ...

**8**

votes

**1**answer

385 views

### Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth.
Here is a ...

**1**

vote

**1**answer

169 views

### A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that
$$
\int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge ...

**6**

votes

**2**answers

239 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

**0**answers

48 views

### symbol $m\in L^{\infty}$ implies any boundedness of a bilinear operator?

For a linear multiplier operator $T(f)(x)=\int_{\mathbb{R}} m(\xi)\hat{f}(\xi)e^{2\pi ix\xi}d\xi$, we know that $\|m\|_{\infty}$ gives the operator norm of $T$ from $L^2$ to itself immediately. What ...

**1**

vote

**1**answer

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

**18**

votes

**2**answers

3k views

### Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...

**55**

votes

**4**answers

3k views

### How Does My Radio Work?

Bear with me for a moment while I invoke the real world; the main question at the end is purely mathematical.
I live in an area with $n$ AM radio stations and $m$ FM radio stations.
AM station ...

**0**

votes

**0**answers

110 views

### Fourier Analysis in Kahane and Żelazko's characterization of maximal ideals in commutative Banach algebra

I've been told that Kahane and Żelazko (in A characterization of maximal ideals in commutative Banach algebra's Studia Math 29 1968) use a "non-trivial result" from Fourier analysis in their proof of ...

**2**

votes

**1**answer

230 views

### Connection between the Fourier transform of f and |f|

If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and
$$
...

**1**

vote

**0**answers

88 views

### the (2,2,1) boundedness of a “product” operator

Let $\{E_j\}_{j\in\mathbb{Z}}$ and $\{F_k\}_{k\in\mathbb{Z}}$ be two collections of pairwise disjoint sets in $\mathbb{R}$. Let $C(j,k)$ be a bounded function (e.g. $|C(j,k)|<1$) defined on ...

**0**

votes

**0**answers

74 views

### The functional $L(\varphi)=\int_0^{2\pi}\frac{\sqrt{1-\varphi^2-(\varphi')^2}}{1-\varphi^2}d\theta$

Consider the $2\pi$-periodic inner product space $L^2[0,2\pi]$.
Let $F\triangleq\{f\in L^2[0,2\pi]|f(\theta)>0,(f(\theta),\cos\theta)=(f(\theta),\sin\theta)=0\}$.
Let $G\triangleq\{\varphi\in ...

**0**

votes

**0**answers

26 views

### Multidimensional Filters

Say you want to design a LP FIR filter with low pass cutoff $fc$, transition band $fc$ to $fs$ and ripple factor $dp$ at passband and $ds$ at stop band. If one divides the frequencies by $\pi$, then ...

**0**

votes

**1**answer

164 views

### How to solve this differential equation with an infinite sum?

I would like to find solutions of the following differential equation:
$ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$
For example in space of function from $\mathbb R^*$ to $\mathbb ...

**0**

votes

**1**answer

184 views

### Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$?
This is similar in the spirit ...

**2**

votes

**1**answer

185 views

### Fourier transform of $sin(\frac{1}{x})$ for $x > 0 (x > 1)$

Please, give me the cue: does exist analytical representation of Fourier Transform of $sin(\frac{1}{x})$ for$ x>0$ (or $x>1$). Maybe exist an approximation of $FT(sin(\frac{1}{x}))$ by Bessel ...

**0**

votes

**1**answer

124 views

### A kind of Discrete Fourier Transform

Given a $z\in \mathbb{C}^N$, the DFT of $z$ is given for every $k\in [0,N-1]_\mathbb{N}$ by
$$DFT_z(k)=\frac{1}{N} \sum_{j=0}^{N-1} z_j\, \omega^{-k j}$$ where I have denoted by $\omega$ the $N$-th ...

**3**

votes

**3**answers

203 views

### Is there a compactly supported function that its Fourier transfrom vanishes at given n real points?

My question is as follows: Given ${{\lambda }_{1}},\,{{\lambda }_{2}},...,{{\lambda }_{n}}\in \mathbb{R}$ where $\underset{1\le j\le n-1}{\mathop{\min }}\,\left| {{\lambda }_{j+1}}-{{\lambda }_{j}} ...

**2**

votes

**0**answers

76 views

### Do position and momentum measurements determine a wave function?

Suppose we have a function $f\in L^2(\mathbb R^n)$ and we know the functions $x\mapsto|f(x)|$ and $p\mapsto|\hat f(p)|$, where $\hat f$ is the Fourier transform of $f$.
Can we reconstruct the function ...

**30**

votes

**3**answers

3k views

### Is there an “elegant” non-recursive formula for these coefficients? Also, how can one get proofs of these patterns?

Not sure if this is a "good" question for this forum or if it'll get panned, but here goes anyway...
Consider this problem. I've been trying to find a formula to expand the "regular iteration" of ...

**1**

vote

**0**answers

44 views

### decomposition of tempered distributions by entire analytic functions

Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$
Let $j\in \mathbb N$ ...

**-3**

votes

**1**answer

420 views

### A question about pointwise convergence of Fourier transform in $N$-dimensions

I am retreating back on this statement, after some explorations and calculation
Bow to Willie and others who were skeptical on this. Main difficulty can be seen in this reference. But I must mention ...

**2**

votes

**0**answers

100 views

### What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi ...

**4**

votes

**1**answer

280 views

### Uniqueness theorems related to Hardy Uncertainty Principle

Uncertainty Principles state that a function and its Fourier transform cannot be simultaneously sharply localised. A well known result due to G.H.Hardy says that
if $f(x)=O(e^{-\alpha^2|x|^2})$, ...

**5**

votes

**1**answer

124 views

### Jackson's theorem for partial sum of Fourier series

There is a classical theorem of Jackson stating that the $N$-th partial sum $S_N f$ of the Fourier series of a Lipschitz continuous function $f$ (which is periodic with period 1) satisfies
$$
|f(x) - ...

**9**

votes

**0**answers

284 views

### Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...

**1**

vote

**0**answers

50 views

### request for any expository works in pointwise convergence of double Fourier series and especially a paper by Hardy

Quart. J. Math. Volume 37, Issue 1, Pages 53-79
On double Fourier series, and especially those which represent the double zeta-function with real and incommensurable parameters.
Hardy, G.H.
I am not ...

**0**

votes

**2**answers

167 views

### “Convolution” for Multiplying Random Variables

The following situation arises frequently in probability.
Suppose we have two independent continuous random variables $X$ and $Y$ and we consider their sum, $Z=X+Y$. Then the pdf of $Z$ is the ...

**5**

votes

**1**answer

153 views

### Largest area of a compactly supported positive definite function

Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest area" $\int f\,dx$ that can be achieved?
To be ...

**4**

votes

**0**answers

169 views

### Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...

**0**

votes

**1**answer

41 views

### Degree of polynomial approximating characeristic function of finte set

Given $C \geq 1$ and $\epsilon > 0$, is there a number $N = N(C,\, \epsilon)$ such that the following holds:
For every set $S \subseteq S^1$ of cardinality $C$, there is a function $f: S^1 \to ...

**7**

votes

**1**answer

572 views

### Questions about the Fourier expansion of $e^{iz\cot(x)}$

Referring to a question I posted on MS, I post it here, as I didn't get an answer:
By analogy with the Jacobi–Anger expansion, one expects that $e^{iz\cot(x)}$ has a Fourier expansion of the form :
...

**3**

votes

**0**answers

153 views

### An upper bound for a average of a function in $L_{p}([0,1))$

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j},~
1\leq j \leq 2^{n} \}
\right\} \right)_{n ...

**2**

votes

**0**answers

239 views

### Equation of motion of a charged string in a twisted torus.

The flat torus background:
Say we want to study the sigma model of strings (closed strings $S^1= \mathbb{R}/\mathbb{Z}$) on a flat torus (for example $T^3=\mathbb{R}^3/\mathbb{Z}^3$ with a flat ...

**4**

votes

**3**answers

402 views

### Textbook request for class field theory [duplicate]

I am studying class field theory. I need good reference books, notes, or other materials which explain the following topics: ideles and ideals, Haar measure and integration on local fields, Fourier ...

**0**

votes

**3**answers

88 views

### On the existence of compactly supported functions whose its Fourier transform satisfies a given condition

My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...

**5**

votes

**1**answer

444 views

### Is fourier analysis necessary to prove this?

I have a couple of inequalities that I want to prove. The proof is easy using fourier analysis but I am wondering whether there is a proof that does not use fourier analysis.
1) For any $c, s > ...

**0**

votes

**0**answers

154 views

### Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...

**5**

votes

**0**answers

207 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...

**4**

votes

**4**answers

930 views

### History of the Sampling Theorem

In January, 1949, Shannon publishes the paper Communication in the Presence of Noise, Proc. IRE, Vol. 37, no. 1, pp. 10-21, available here, which establishes the Information Theory. In this paper, the ...