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

3
votes
0answers
49 views

Linear independence of primitive Dirichlet characters and convolution

This is not an exercise but merely a question I have. Fix $N \in \mathbb{N}$ and suppose there exist some values $a_k \in \mathbb{C}$, for $k \in \mathbb{Z}_N$, such that $$ \sum_{k \in \mathbb{Z}_N} ...
2
votes
1answer
38 views

How does this conjecture correspond to Carleson's theorem for the case of $d=1$?

From this source, on page 36 (bottom) there is a conjecture stated and it was said that the case of $d = 1$ corresponds to Carleson's theorem. A picture included here : But when I look at wiki ...
1
vote
1answer
41 views

Dirichlet energy and Fourier transform

Is there a direct relationship between the Dirichlet energy of a function: $$E(f)=\int_{\Omega}\lvert\nabla f(\mathbf{x})\rvert^2\mathrm{d}V$$ and its Fourier transform ...
1
vote
0answers
34 views

Is there a Fourier invariant basis?

There are some functions which are invariant under Fourier transformation up to scaling factors, eg. sech(pi*x), Gaussian function etc.. Is there a set of basis functions, which form an invariant ...
3
votes
0answers
92 views

Asymptotic form of an integral to an power law decaying function

$$ f(x)=\frac{1}{2}+\frac{1-x^2}{4x}\ln\left|\frac{1+x}{1-x}\right| $$ This function is not analytic at $x=1$. The plot is shown: The integral is: $$ I=\int_0^\infty g(x) \sin(2b rx) dx $$ where ...
5
votes
2answers
74 views

Fourier transforms of $f(t)=\frac{\sin{at}}{t}$

I want to derive the following pair of Fourier transforms: First: $$f(t)=\dfrac{\sin{at}}{t}$$ $$F(\lambda)= \begin{cases} \sqrt{\dfrac{\pi}{2}}, & \text{if } |\lambda|<a \\ 0, & ...
1
vote
2answers
42 views

An intuitive definition of the frequency spectrum of a function.

In a PDE book I'm reading, the author introduces the Fourier transform by first introducing the Fourier series, and then the Fourier integral representation of a function. The Fourier integral ...
1
vote
2answers
70 views

Do they have a mistake in this heat equation?

I need to know if there is a mistake in these notes: In the second page we have a representation of a function $f(x)$ as a $\sin$ series. Dont we need to have $f(0)=0=f'(l)$ for such a ...
2
votes
1answer
37 views

Changing integration limits in a Fourier transform

I've been reading these notes about the Fourier transform of Heaviside function, but I don't fully understand the derivation right after formula (5) - why does it hold only for $t>0$? The author ...
4
votes
2answers
89 views

Relation Fourier/Laplace Transform

I have a question about the relation between Fourier and Laplace transforms. I have seen in some places that the transfer functions in the Laplace space are represented as $G(s)$ where $s$ is the ...
1
vote
1answer
21 views

Discrete Fourier Transform - proof that columns of matrix are orthogonal

The DFT matrix of size $n$ has entries $M_{ij} = \omega^{ij}$ where $\omega$ is the $n$th root of 1. My textbook states that the columns of this matrix are orthogonal because their dot product is 0. ...
2
votes
2answers
86 views

What can be a Fourier transform's domain?

As I understand it, Fourier inversion theorem states that, for a Schwartz function $f: \mathbb{R} \to \mathbb{C}$, Fourier transform $$\mathcal{F}f(\omega) = \int_{\mathbb{R}} f(t) e^{i \omega t} dt ...
5
votes
2answers
143 views

Infinite sum of elements in a finite field

This is a bit of a curiosity that intrigues me. Let $p$ be a prime and consider the sum of reciprocals of squares divisible by $p$. This is just $$ \dfrac{1}{p^2}\sum_{n=1}^\infty \dfrac{1}{n^2} = ...
8
votes
0answers
89 views

Which Fourier series are “legal”?

Let's consider a continuous function $f(x)$ and real numbers $\lambda_n=(\alpha+\beta n)\pi$ where both $\alpha$ and $\beta$ are integers. In any interval $I$, is it true that $$ f(x)=\sum_{n\geq ...
1
vote
0answers
32 views

Fourier Transform of Positive and Negative Parts of Functions

Suppose I have a function of the form: $G(t,x) = \alpha\left(P(t,x) - \Theta(t,x) \right)^+ + \beta \left( P(t,x) - \Theta(t,x) \right)^-$. Here, $P(t,x)$ and $\Theta(t,x)$ have compact support and ...
0
votes
2answers
33 views

Confusion about a simple Fourier Transform

I was looking at a table of Fourier transform pairs, and one entry is really confusing me. There's one on the second page that states $$ \mathcal{F}(\cos(\omega_0t))(\omega) = \pi(\delta(\omega - ...
2
votes
0answers
60 views

How to use Fourier transform to solve Fisher-Kolmogorov?

How can I use Fourier Transform to solve Fisher-Kolmogorov Equation in 1D? \begin{equation} u_t(x,t) = u_{xx}(t) + u(1-u) \end{equation} \begin{equation} u(0,x) = \phi(x) \end{equation} with ...
2
votes
1answer
52 views

An identity involving Gauss sums and convolution

For a Dirichlet character $\chi$ modulo $N$, the Gauss sum attached to $\chi$ is given by $$G_\chi(m) = \sum_{k \in \mathbb{Z}_N} \chi(k) e^{2\pi i mk/N}.$$ Suppose one has an $N$-periodic function ...
4
votes
1answer
60 views

$\int x J_0(k x)e^{-x^2/2}dx$ Bessel function decomposition of a gaussian

$$\int ^\infty _0 x J_0(k x)e^{-x^2/2}dx$$ The integral above corresponds to fourier transform in radial coordinates. The fourier transform of a 2D gaussian is still a 2D gaussian. So the integral ...
0
votes
0answers
21 views

Possibly use a Fourier Transform to perform deconvolution

I need to determine the function g(B) in order to determine its prefactors $a_n$. Here's what I have: h(f,B) is a Gaussian function g(B) is the unknown function i(f) is an inhomogeneous function and a ...
2
votes
0answers
14 views

How to extract power of top two frequencies of a spectrum without using an FFT?

What I'm trying to do is see if a particular frequency component becomes dominant (and I don't really know what the dominant frequency is). Therefore, I figured that I can get the top two peaks of ...
4
votes
1answer
55 views

Discrete Fourier Transform of $\omega^{n(n-1)/2}$

For the sequence $x_0$, $x_1$, $\ldots$,$x_{N-1}$, let $\omega=e^{2\pi i/N}$ and define the discrete Fourier transform as $$X_k = \frac{1}{\sqrt{N}}\sum_{n=0}^{N-1}x_n\omega^{nk}\,.$$ I'm interested ...
3
votes
2answers
28 views

Operator $T$ commutes with all translations $\Leftrightarrow$ $T$ is multiplication operator

Let $T: L^2(\mathbb R) \to L^2(\mathbb R)$ be an operator that commutes with all translations $f(x) \mapsto f(x-y)$. Why does it follow that the Fourier transform of $Tf$ is then given by ...
0
votes
0answers
32 views

Mapping properties of a pseudo-differential operator of negative order

Let $H^s$ denote the Sobolev space on $\mathbb{R}^d$. Let $P$ be a pseudo-differential operator of negative order $-m$ where $m > 0$. Let $P^*$ denote its $H^0$-adjoint. Is $P^* P : H^s \to ...
2
votes
1answer
50 views

How to Prove Plancherel's Formula?

I have difficulty in proving Plancherel's formula in Fourier transform. Here is what I have thought: In this question, I denote complex conjugation by an overline and (inverse) Fourier transform is ...
0
votes
1answer
33 views

Fourier transform with initial limit starting from 0

For a function $f(p)$, the Fourier transform is $\hat{f}(p)=\int_{-\infty} ^{\infty}e^{-i xp}f(x)dx$. What are the conditions that i write it as; $\hat{f}(p)=2\int_{0} ^{\infty}e^{-ixp}f(x)dx$? I ...
1
vote
1answer
20 views

$\{f\in L^{1} : \hat{f} \in L^{p} \}$ closed under convolution?

Let $f, g\in L^{1}(\mathbb R),$ we may define the convolution of $f$ and $g$ as follows: $f\ast g(x)= \int_{\mathbb R} f(x-y)g(y) dy, (x\in \mathbb R).$ We note that $L^{1}(\mathbb R) \ast ...
5
votes
1answer
68 views

Fourier transform of the Heaviside function

As you can see from the title I want to calculate the Fourier transform of the Heaviside function $u(t)$. Proven the the Heaviside function is a tempered distribution I must evaluate: $$ \langle ...
1
vote
1answer
63 views

How does one define the Fourier transform of a probability distribution?

Say $p_X$ and $p_Y$ are two probability distributions on a $m$ element set. Then I see an equality written as, $$\sqrt{m} \vert \vert p_X - p_Y \vert \vert _2 = \sqrt{ \sum_{k=0}^{m-1} \vert ...
0
votes
1answer
31 views

Heat equation with fourier transformation

I want to understand a solution from an exercise where we should find a solution of the heat equation: $$\frac{\partial u(x,t)}{\partial t}=\sum_{j=1}^{n}\frac{\partial^2 u(x,t)}{\partial x_j^2} $$ ...
1
vote
1answer
53 views

Composition operators on fractional-order Sobolev spaces

Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication provided $s > 1/2$. This is proved for ...
0
votes
1answer
75 views

Is this operator a Fourier multiplier operator?

I want to study the Fourier transform of $$L_{\alpha}(t) = \frac{e^{i\alpha t}}{t^2} - i\frac{\alpha}{t}$$ Basically i am trying to get a grip on, given a $f$, what is $f(t)\ast L_{\alpha}(t)$ and am ...
1
vote
1answer
31 views

Question about the limits of definite integrals

Let me take an example that I've come across while studying Fourier series, We all know that $$\int_{-a}^{a} \sin \left( \frac{n\pi x}{a} \right) dx = 2 \int_{0}^{a} \sin \left(\frac{n \pi x}{a} ...
0
votes
0answers
33 views

Show there exists $n\in \Bbb{Z}$ such that $\lambda =({2\pi n\over T })^4$.

Let $f:\Bbb{R}\to \Bbb{C}$ be an infinitely differentiable function with period T. Also, $f^{(4)}=\lambda f$. Show there exists $n\in \Bbb{Z}$ such that $\lambda =({2\pi n\over T })$. Attempt: I did ...
2
votes
2answers
80 views

Role of i in Fourier transform

I've seen several derivations of the Fourier transform, but most don't cover the conversion to the form $$ S(f) = \int_{\infty}^{-\infty} s(t)e^{-i2\pi ft} \;\mathrm{d}t $$ What is the role of ...
2
votes
1answer
35 views

What can we say about the transform of a function on a truncated domain, with respect to the transform on the full domain?

Let $f$ be a function on R and $\hat f$ its Fourier transform. Consider a truncated version of $f$ called $\bar f$ whose value outside an interval is $0$. Formally, $\bar f(x) = f(x) * 1_{x \in I}$ ...
1
vote
1answer
40 views

Integration of a generic radial function in polar coordinates

I need to perform the following integral $\int{P(k) e^{i \vec{k}\cdot \vec{\Delta r}} \frac{d^2k}{(2 \pi) ^2}}$ using polar coordinates. I think the result should depend on some Bessel function, but ...
1
vote
2answers
73 views

Question about the Riemann-Lebesgue Lemma proof

Ok, so one of the formulations of the Riemann-Lebesgue Lemma says: $$ f\in L^1(\mathbb{R}) \implies \hat{f}(\omega)\to 0\;\mbox{ when } \;|\omega|\to\infty.$$ I get all the steps of the proof, except ...
0
votes
2answers
37 views

Confused by certain interpretation of expected value…

I read the following in Stein / Shakarchi's Fourier Analysis book, where they discussed the notion of expectation of a probility density. "Consider the simpler (idealized) situation where we are ...
0
votes
0answers
40 views

To fast invert a real symmetric positive definite matrix that is almost similar to Toeplitz [duplicate]

I have asked this question on mathoverflow also. (my question, I wasn't sure if its ok ask at another similar forum, on stack exchange, but I hope it would reach more people). It is well known how to ...
2
votes
2answers
36 views

Positiveness of partial sums of type $ \psi * D_N $

In his paper about Extremal Functions for the Fourier Transform (see, for example, here? https://projecteuclid.org/download/pdf_1/euclid.bams/1183552525), Jeffrey Vaaler, while trying to build ...
0
votes
0answers
25 views

About the causality of the signal whose frequency spectrum is not continuous as follows

Consider the signal in frequency domain: $$ \alpha(\omega) = \begin{cases} 1, & |\omega|<\omega_c \\ 0, & |\omega|\ge\omega_c \end{cases} $$ $$ =A(-j\omega)A(j\omega) $$ $$ =|A(j\omega)|^2 ...
2
votes
2answers
63 views

Show there exist a constant $c\in \Bbb{C}$ such that $\int_{0}^{1}|{f-c}|^2<{1\over 36}$

Let $f:\Bbb{R}\to \Bbb{C}$ be a $1$-periodic function, $f\in C^1$ and $\int_{0}^{1}|f'|^2\le 1$. a. Show $\sum_{k\ne 0}|{\hat{f}(n)}|^2\le {1\over 4\pi^2}$ (I did it already, and that question is ...
2
votes
0answers
35 views

The question about the support of Fourier transform of $|f|^p$

Suppose $f$ is a smooth function with $\mathbb{supp}{(\mathcal{F}{f})} \subset B(0,1)$. In addition, assume $f$ is non-negative. We can observe that the function $|f|^2$ has a nice property : ...
1
vote
2answers
53 views

Does the Fourier series converge at $x=0$?

Let $f(x)$, a $2\pi$ periodic funciton such that $f(0) = 1$ and for every $0\ne x\in[-\pi,\pi]$: $f(x) = 1 + \sin \frac{\pi^2}{x}$. Is the Fourier series of $f(x)$ converges at $x=0$? If so, what ...
0
votes
1answer
26 views

Euler equation formula

When I am using Euler equation for Fourier transform integrals of type $$\int_{-\infty}^{\infty} dx f(x) exp[ikx] $$ I am getting following integrals: $\int_{-\infty}^{\infty} dx f(x) cos(kx)$ ...
1
vote
0answers
60 views

Dirichlet characters with values in a finite field

Although the classical Dirichlet characters are complex valued, it seems to me rather useful that the characters attain values in a finite field; thus homomorphisms from $\mathbb{Z}_N^*$ to ...
1
vote
0answers
39 views

Why is $\sum_{n=0}^{N}{\cos nx}={1\over 2}+{1\over 2}\sum_{-N}^{N}e^{inx}$?

Why is $\sum_{n=0}^{N}{\cos nx}={1\over 2}+{1\over 2}\sum_{-N}^{N}e^{inx}$? I have gone through all the identities relating Fourier series and I can't seem to understand why. In this question, the ...
1
vote
0answers
19 views

Applying the inversion formula to Hardy's theorem

So, in the proof of Hardy's theorem, who says that $\zeta$ has infinite zeros on the critical line, we have eventually that ...
1
vote
3answers
60 views

Question about the Fourier Inversion Formula

We have $$\hat{f}(\xi)=\mathcal{F}f(\xi):= \int_{-\infty}^{\infty}f(x)e^{-2\pi i\xi x}dx,$$ with $f\in L^{1}$, and the Fourier inversion formula says that ...