Fourier analysis, also known as spectral analysis, encompasses all sorts of Fourier expansions, including Fourier series, Fourier transform and the discrete Fourier transform (and relatives). The non-commutative analog is (representation-theory).

learn more… | top users | synonyms

27
votes
0answers
857 views

Is this similarity to the Fourier transform of the von Mangoldt function real?

Mathematica knows that the logarithm of $n$ is: $$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)$$ The von Mangoldt function should then be: ...
7
votes
0answers
855 views

Is this Fourier like transform equal to the Riemann zeta function?

This question builds upon the answer to this question. This new question has only minor changes compared to the previous question, but the scale factor of the output from the Fourier like transform is ...
6
votes
0answers
64 views

Using Fourier Series to compute sums

I have just started learning the basics of Fourier series and have some doubts about it. I am aware that Fourier series can be used to compute infinite sums. For example, $\zeta(2)$ and $\eta(2)$ can ...
6
votes
0answers
65 views

Proving that two functions involving integrals with Legendre polynomials are equal

I have two functions that I expect to be equal (where $P_{2l}$ are the even Legendre Polynomials): $$F_{2l}(x)=x\, \tanh(\pi x/2)\left|\int_0^1 u^{i x-1}P_{2l}(u)\,du\right|^2$$ ...
5
votes
0answers
265 views

Creating intuition about Laplace & Fourier transforms

I've been reading up a bit on control systems theory, and needed to brush up a bit on my Laplace transforms. I know how to transform and invert the transform for pretty much every reasonable function, ...
5
votes
0answers
280 views

Prove the equation: $\frac{2}{\pi} \int_0^\infty \frac{\cos kr - ak \sin kr}{k^2a^2 +1} \ldots $

Prove the following equation: \begin{equation} \frac{2}{\pi} \int_0^\infty \frac{\cos kr - ak \sin kr}{k^2a^2 +1} \left (\int_0^\infty \cos kr' \left [u(r')-au'(r') \right] dr' \right ) dk =u(r) . ...
5
votes
0answers
102 views

Is this a spectral decomposition/embedding/isometry?

Given a symmetric p.s.d matrix G, we know that a gram matrix/inner-product representation, X exists where $G=X^TX$ and $X=U\lambda^{1/2}$ via the eigen decomposition of $G$. Now if I take the same ...
5
votes
0answers
284 views

How can I solve the Poisson PDE efficiently and fast in cylindrical coordinates?

I am trying to numerically solve the Possion PDE in cylindrical coordinate system. $$\Delta f = {1 \over \rho} {\partial \over \partial \rho} \left(\rho {\partial f \over \partial \rho} \right) + {1 ...
5
votes
0answers
298 views

Show that the function is constant

Let $S^n$ be an $n$-dimentional unit sphere. Consider $f: S^n \longrightarrow R_+$ even continuous function. Denote $$ ...
5
votes
0answers
237 views

Fourier dimension of sets of positive Lebesgue measure

Let $K$ be a compact set in $\mathbb{R}$ with positive Lebesgue measure. My question is whether there exists a probability measure $\mu$ supported on $K$ such that $\hat{\mu}(\xi)$, the ...
4
votes
0answers
37 views

Find a relationship between $\hat f$ and $\hat g$, given $g(x)=\int^{x+1}_x f(t)\,dt$, $f\in L^2(\mathbb R)$,

Given $f\in L^2(\mathbb R)$ and $g(x)=\int^{x+1}_x f(t)\,dt$ (a) Relate $\hat f$ and $\hat g$ (b) Prove $g\in H^1(\mathbb R)$ Part A: $$\hat g(k)= \int^{\infty}_{-\infty} \int^{x+1}_{x} ...
4
votes
0answers
38 views

Inverse Fourier transform using Residues for a ratio of hyperbolic functions.

I'm new and glad to be here. I have a problem relating to an inverse Fourier transform. I have $$g(w)= \frac{\sinh{w(a-b)}}{w \cosh{wa}}$$ and want to find $$G(t)$$. I cannot find this in tables so I ...
4
votes
0answers
50 views

Equality that should be a consequence of Plancherel formula

I am stuck with this line in my reading of a book: By the Plancherel formula we have: $$\int \frac{\lvert u(x+y)-u(x)\rvert^2}{\lvert y\rvert^{2s+d}}dx = \int \frac{\lvert e^{i(y\xi)} -1\rvert ...
4
votes
0answers
49 views

Is there a combinatoric identity for the multiplicities of the following set?

Are you ready for some psychedelic pictures? Define the multiset$$S_n=\left\{\sum_{j=1}^n(-1)^{\left\lfloor(k-1)/2^{j-1}\right\rfloor}u_n^j\mbox{ for }1\leq k\leq2^n\right\}$$ where ...
4
votes
0answers
98 views

Involutive fourier transform

The writer here states I am introducing a viewpoint (the involutive convention) which makes the Fourier transform its own inverse (i.e., the Fourier transform so defined is an involution). ...
4
votes
0answers
105 views

Meaning of fractional Fourier transform with imaginary iteration count?

As one may know, the Fourier Transform $$F[f](\nu) = \int_{-\infty}^{\infty} f(t) e^{-2\pi i \nu t} dt$$ can be iterated, and this iteration generalized to fractional iteration count via ...
4
votes
0answers
64 views

number of zeros of complex waves

Does anybody know about any type of methods how to calucalte/estimate the number of the zeros of complex waves (periodic functions as superposition of many harmonic waves) within a given period [0,x] ...
4
votes
0answers
119 views

Interpretation of the Laplace transform

Here's my intuitive understanding of the Fourier transform of $f:{\mathbb R}\rightarrow{\mathbb C}$, defined by $$\mathcal{F}(f)(\omega) = \int_{-\infty}^{\infty}e^{-2 \pi i \, \omega \,x}f(x)dx$$ I ...
4
votes
0answers
284 views

How to find the inverse Fourier Transform of the product of two bessel functions of the first kind and a complex exponential function?

I am attempting to find a closed form or symbolic expression of the inverse Fourier transform of the product of two Bessel functions of the first kind and a complex exponential, e.g. $P(t) = IFT_w \{ ...
4
votes
0answers
190 views

Uniqueness of Haar Measures

Haar measure on a LCA (locally compact abelian) group $G$ is said to be unique ... up to a scaling factor. This is not as elegant as it might be expected because this requires a choice of a unit ...
4
votes
0answers
73 views

multipliers on $H^{1}$

I'm begining to study the hardy space $H^{p}(\mathbb{R}^{n})$. First recall that a $L^{\infty}$ function is called a $H^{1}$ multiplier if the associated operator ...
4
votes
0answers
113 views

A bijective correspondence induced by Fourier transform

Let $G$ be discrete Abelian group and denote by $\widehat G$ the Pontryagin-Van Kampen dual of $G$. I was reading in a paper due to Justin Peters that Fourier Transform induces a bijection between the ...
4
votes
0answers
130 views

Set theoretic arguments to prove the existence of a certain null set

Let me recall the well-known Carleson's theorem. Theorem (Carleson). Let $f$ be any periodic $L^2[0, 2\pi]$ function. Let $\hat{f}(n)$ be its Fourier coefficients. Then we have $$\lim_{N \to ...
4
votes
0answers
361 views

Fourier matrix - multiplicity of eigenvalues?

This question is Miscellaneous Exercise M.10 in Chapter 8 (Bilinear Forms) of Artin's Algebra. (The sentences in italics are due to me.) The row and column indices in the $n \times n$ Fourier ...
4
votes
0answers
64 views

Why are linear functions the natural analogue of exponential functions in a tropical semiring?

I was reading a blog post on the Fourier transform and the Legendre transform as being the same thing over different semirings, in which the author says It's not obvious how to interpret the ...
3
votes
0answers
32 views

Can we expect, $h\ast \mu \in L^{2}(\mathbb R, (1+|x|^{2})^{s})$ for $h\in \mathcal{S}(\mathbb R), \mu\in M(\mathbb R)$ and $s>1/2$?

We put, $M(\mathbb R)=$ The space of complex bounded Borel measure on $\mathbb R$ [With each complex Borel measure $\mu$ on $\mathbb R$ there is associated a set function $|\mu|,$ the total variation ...
3
votes
0answers
50 views

$\|\phi_{\lambda}- \phi_{\lambda} \ast f \|_{L^{2}(\mathbb R)}\to 0$ as $\lambda \to \infty$? ($\phi_{\lambda}(x)=\lambda^{-1} \phi(x/\lambda).$)

For $f\in L^{1}(\mathbb R),$ we define its Fourier transform as follows: $\hat{f}(t)=\int_{\mathbb R} f(x) e^{-ix\cdot t} dx ,(t\in \mathbb R).$ Suppose that $f\in L^{1}(\mathbb R)$ with ...
3
votes
0answers
49 views

Building up the Fourier inversion theorem on locally compact abelian groups

I'm reading through Folland's Abstract Harmonic Analysis and I've come to a bit of a road block with some machinery developed for the Fourier inversion theorem. We know that the Fourier transform of a ...
3
votes
0answers
77 views

How to do this Sum? Poisson Resummation?

In the paper hep-th/0812.2909 page 34-35, there's a sum that I've been trying to do explicitly but I can't find a way. The sum is $$ \frac{2l}{\pi l! (l-1)!} \sum_{k\in\mathbb{Z}} \sum_{n=0}^{\infty} ...
3
votes
0answers
34 views

How do I tackle this integral: $\int_{-\infty}^\infty k\cdot |Ae^{-a|k-k_0|}|^2dk$? Is my solution correct?

I want to solve the following integral: $$\int_{-\infty}^\infty k\cdot |Ae^{-a|k-k_0|}|^2dk$$ I did the following: Substitute $\gamma(k) = k-k_0 \Leftrightarrow k = \gamma + k_0;~\gamma(\pm\infty) = ...
3
votes
0answers
29 views

Anyone help me with this PDE using Fourier Transform?

I have this: $$\frac{\partial c}{\partial t} + p\frac{\partial c}{\partial z}+\lambda p\frac{\partial^{2} c}{\partial z\partial t}-\frac{\partial^{2} c}{\partial z^2}=0\quad(1)$$ $$c(z,0)=\delta(z)$$ ...
3
votes
0answers
61 views

Prove the converse of convolution theorem

I am trying to prove the converse of convolution theorem: $$ \mathscr{F}[f(x)g(x)]=\frac{1}{\sqrt{2\pi}}\,\widetilde{f}(\omega)*\widetilde{g}(\omega)$$ I try to apply the definition of convolution ...
3
votes
0answers
71 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
3
votes
0answers
62 views

Solve ODE by Fourier transform, and versus by Laplace transform?

Regarding solving ODE by Fourier transform, I read a nice reply by O.L.. After applying Fourier transform to an ODE to obtain an algebraic equation, the reply showed that some terms involving the ...
3
votes
0answers
55 views

$f, f|f| \in L^{1} (\mathbb R) \cap C_{0} (\mathbb R) \implies |f| \in H_{1} (\mathbb R)$?

Suppose $f \ \text{and} \ f|f|\in L^{1}(\mathbb R).$ Then, clearly, $|f|\in L^{2}(\mathbb R)$ and therefore by Plancheral theorem, we get, $\widehat{|f|} \in L^{2}(\mathbb R).$ Also, assume, $f, ...
3
votes
0answers
24 views

Unique ergodicity a spectral invariant?

Suppose $f:X\to X$ and $g:Y\to Y$ are two automorphism of measure spaces. Suppose there is an unitary operator $V:L^2(X)\to L^2(Y)$ satisfying $VU_fV^*=U_g$, here $U_f$ and $U_g$ are the Koopman ...
3
votes
0answers
85 views

Artifacts and low frequencies FFT.

I am working on analyzing a time signal and want to preform a FFT. However I run in to some artifacts at low frequencies. I have managed to reproduce the behavior in a test signal. Given by $S(t) = ...
3
votes
0answers
49 views

Equivalent definitions of Fourier transform of a measure

For me the fourier transform of a measure $\mu\in\mathcal{S}'(\mathbb{R})$ is defined by $\hat{\mu}(\varphi)=\mu(\hat{\varphi})$ where $\varphi\in\mathcal{S}(\mathbb{R})$. My question is: if one has ...
3
votes
0answers
38 views

Period of a multivariable function

consider a function $$f(x_1, x_2, \ldots, x_n) $$ is it possible to compute the period of the function as a vector $$\langle l_1, l_2, \ldots, l_n\rangle$$ where each $l$ denotes the period of the ...
3
votes
0answers
69 views

Why is the transition band of a least-square linear-phase FIR filter seems always monotonic

Given desired magnitude response and linear-phase constraint in predefined pass band and stop band, we can get the desired frequency response in both bands. By sampling the frequency in both bands, we ...
3
votes
0answers
63 views

why is test function space $\mathcal{A}$ complete

I am trying to find out, why the space $$\mathcal{A}:=\left\{\phi\in C_0(\mathbb{R}^{2d})|\;\|\phi\|_\mathcal{A}:=\int_{\mathbb{R}^d}\sup_{x\in\mathbb{R}^d}|(\mathcal{F}_p\phi)(x,y)|\;\mathrm ...
3
votes
0answers
54 views

Inverse Fourier transform on infinite series

Let $f\in L^2(\mathbb{R})$ be such that $\hat{f}$ is supported on $[-\pi,\pi]$. I have derived that $$\hat{f}(y)=\sum_{n=-\infty}^\infty f(n)1_{[-\pi,\pi]}(y)e^{-iny}$$ in $L^2$ convergence. Let ...
3
votes
0answers
71 views

Is the range of the Fourier transform $L^1(\mathbb{R}) \to C_0(\mathbb{R})$ closed under “quasi-inversion”?

Definitions: A function $f \in C_0(\mathbb{R})$ is quasi-invertible if $1 \notin \operatorname{ran}(f)$. The quasi-inverse of such an $f$ is $\frac{f}{f-1}$. Some discussion: Let $C_1(\mathbb{R})$ ...
3
votes
0answers
56 views

Recovery of Bandlimited Signals

Let $\Omega > 0$ and denote by $\mathcal{B}_\Omega$ the subspace of $L^2(\Bbb R)$ consisting of signals that are bandlimited to $(-\Omega, \Omega)$. Denote $\mathcal{L}_{\Omega} : L^2(\Bbb R) ...
3
votes
0answers
144 views

Convergence in $L^1$ norm of Poisson kernel

Consider the Poisson kernel given by $$P_r(\theta)=\sum_{n=-\infty}^\infty r^{|n|}e^{in\theta}=\frac{1-r^2}{(1-r)^2+2r(1-\cos\theta)}$$ Let $f\in L^1(\mathbb{R}/2\pi\mathbb{Z})$, meaning that $f$ ...
3
votes
0answers
49 views

$L^1$ norms of Short Time Fourier Transforms

Fix $f \in L^2(\mathbb{R})$ s.t. $||f||_2=1.$ When will $$V_f f (x, \omega)=\int_{\mathbb{R}} f(t)\overline{f(t-x)}e^{-2 \pi i t\omega}dt$$ the STFT of $f$ with respect to the window $f$ be in ...
3
votes
0answers
77 views

An estimate For the Laplacian semi-group

Let $S(t)$ be the semi-group generated by the Dirichlet Laplacian in $L^2(0,1)$, which is given, for $y\in L^2(0,1)$, by $$S(t)y=\displaystyle\sum_{n=1}^\infty e^{-n^2\pi^2 t} \langle y,\sin(n\pi x) ...
3
votes
0answers
137 views

Fourier coefficient of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x})$ for $\nu \in (0,\frac{1}{2})$.

In Zygmund's Trigonometric Series, vol I, on page 19 section 2.22 they write that Riemann showed that the Fourier coeff of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x}))$ for $\nu \in (0,\frac{1}{2})$ ...
3
votes
0answers
54 views

Inverse Fourier transform of $f|X(f)|$

The inverse Fourier transform of $fX(f)$ is simply given by $$\frac{1}{j2\pi}\frac{dx(t)}{dt}$$. But what is the inverse Fourier transform of the following term? $$f|X(f)|$$ Does the inverse ...
3
votes
0answers
141 views

Causality in Dirac delta forced harmonic oscillator

If I take the simple forced harmonic oscillator equation, apply the Fourier transform to both sides, and assuming the forcing function is a Dirac delta function (at the origin) I get: $ F(s) = \frac ...