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

2
votes
0answers
22 views

$h_k(x):=\sum_{n \in \mathbb{Z}} F(f_k)(n)e^{-inx} \rightarrow h(x):=\sum_{n \in \mathbb{Z}} F(f)(n)e^{-inx} $?

Let $f_n \rightarrow f$ be a sequence of functions in the $L^1$ sense. Then the Fourier transform implies $||F(f_n) -F(f)|| \rightarrow 0 $ uniformly. Now, I was wondering. Does this imply that the ...
0
votes
1answer
54 views

Phase difference of two signal of different frequency

Currently, I have two signals, the main components of both signals are 60Hz, but both also have weaker response at 180Hz + small amount of noise. As shown in the photo below, I want to find the phase ...
1
vote
1answer
51 views

Show equality of a given function with a series in $ℝ$

Show that: $$2x\cos x-\sin x=4\sum_{n=2}^\infty \frac{(-1)^n}{n^2-1}\sin(nx)$$ Supposedly, this can be proved by using Fourier series, by choosing the right function but I have been thus far unable ...
1
vote
1answer
44 views

An⇀̸A in L1[−π;π] ( An is partial fourier sum )

Let \begin{equation*} (A_n x)(t) = \frac{a_0}{2} + \sum\limits_{k=1}^n a_k \cos(kt) + b_k \sin(kt), \\ a_k = \frac{1}{\pi} \int_{-\pi}^{\pi} x(t) \cos(kt) dt, \\ b_k = \frac{1}{\pi} \int_{-\pi}^{\pi} ...
2
votes
1answer
33 views

Is the step function periodic?

Consider Example 3.5 in the following lecture notes on Fourier Analysis, on page 10 at the bottom. http://www.math.ku.dk/~schlicht/DL/2013/fourier-summary.pdf I cannot understand why it says that a ...
3
votes
2answers
43 views

About convergence in norm of the Fourier Transform

Duoandikoetxea's Fourier Analysis, on page 59 (Corollary 3.7) says that: \begin{equation} \lim_{R \rightarrow \infty}\big\|S_{R}\,f - f\big\|_{p} = 0 \end{equation} for $1<p<\infty$, where ...
1
vote
1answer
26 views

Is the Fourier transform a conformal map on $L^{2}$?

I read that a conformal map is one that preserves the angles. I know nothing more about conformal maps. I don't know where to find a generalized definition of a conformal map, but I guess that if ...
2
votes
2answers
80 views

What is the 3D fourier transform of a spherical shell?

I am trying to build up intuition about what the fourier transform of a spherical shell will look like but I can't say I'm making much progress. I've also tried to dumb down the problem in 2D and ...
1
vote
0answers
21 views

What is the range on a fourier transform?

In particular, I want to know the range of the coefficients on the type-IV discrete cosine transform. Assuming no normalization factor or window is applied, what interval can I expect the coefficients ...
1
vote
1answer
28 views

Convergence of a subsequence in $(C(\mathbb{T}), \|\cdot\|_2)$

Problem: Define, $ \mathbb{T} := \mathbb{R}/{2\pi\mathbb{Z}} $. Consider a sequence of functions $(g_n)_{n\in \mathbb{N}} \in C^4(\mathbb{T})$ such that, $ \sup_{n \in \mathbb{N}}(\| g_n \|_2 + \| ...
0
votes
1answer
15 views

Discrete time Fourier transform on decimated signals

If I have a signal $x[n]$ and its decimated version, $y[n]=x[2n]$, is there a known expression for the DTFT of $y[n]$, $Y(\theta)$, as a function of $X(\theta)$? Thanks,
0
votes
0answers
17 views

Principal value methods for fourier laplace etc.

I recently saw this here: $$\int_{-\infty}^{\infty} \frac{1}{\omega^2} e^{j\omega t} d\omega$$ and I was unable to understand how such an integral could be computed. I want to learn about this ...
5
votes
2answers
261 views

Fourier Transform: Understanding change of basis property with ideas from linear algebra

The notion of Fourier transform was always a little bit mysterious to me and recently I was introduced to functional analysis. I am a beginner in this field but still I am almost seeing that the ...
7
votes
0answers
101 views

Difficult Fourier transform exercise

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
3
votes
2answers
38 views

Fourier transform of $L^1$ function square summable?

It is known that for a $L^1$ function $f: \mathbb{R} \rightarrow \mathbb{C}$ the Fourier transform vanishes at infinity and is continuous. Does this even mean that $(\hat{f}(n))_{n \in \mathbb{Z}}$ is ...
0
votes
0answers
13 views

Fourier Transform of $x^p \cdot {{df^q} \over {dx^q}}$

What is the Fourier Transform of $x^p \cdot {{df^q} \over {dx^q}}$? This seems like an elementary question, but my CRC book of standard formulae doesn't have it. My attempt is rather trivial, but for ...
2
votes
2answers
37 views

Fourier transform of this?

I need to prove: $$\frac 1 {\Delta x} \int_0^\infty dk \, e^{-ik(\Delta t-i\epsilon)} \sin k\,\Delta x=\frac 1 {\left(\Delta t-i\epsilon\right)^2 -\Delta x^2} $$ A possible hint could be: ...
0
votes
0answers
11 views

Proving Inverse DFT

I have trouble understanding the proof I was provided of the IDFT, here is what I have: $$ \nu_n = \frac{n}{\Delta N} \\ x(t) = \int_{-\infty}^{\infty}X(\nu)e^{i2\pi\nu_n t}d\nu \\ $$ the next step I ...
3
votes
1answer
67 views

Proving that a trigonometric sum is in $L^2$

How can I use Parseval's identity to prove that $$f(x)=\sum_{k=1}^\infty \frac{\sin(kx)}{1+k}$$ is in $L^2(0,\pi)$? Thank you!
1
vote
1answer
40 views

If $f \in L^2 \cap C_c$ then $\sum_{n \in \mathbb{Z}}|\hat{f}(\xi+2\pi n)|^2 = a_0+…a_n \cos(2 \pi n \xi)$

Let $f \in L^2 \cap C_c$ , then I want to show that $$g(\xi):=\sum_{n \in \mathbb{Z}}|\hat{f}(\xi+2\pi n)|^2 = a_0 + 2 \sum_{n=1}^{N}c_n \cos(2\pi n \xi) $$ for some $N \in \mathbb{N}.$ Does ...
2
votes
0answers
71 views

An exercise regarding fourier inversion formula

I have to solve an exercise which looks like a more general form of Fourier inversion formula. But, I'm having hard time attacking it... A given function f is integrable on the real line and ...
5
votes
1answer
96 views

$f, \hat{f} \in L^{p}(\mathbb R) \cap C(\mathbb R) \implies |f(x)| \to 0$ as $|x| \to \infty$?

Suppose $f, \hat{f} \in L^{p}(\mathbb R) \cap C(\mathbb R)\cap L^{\infty}(\mathbb R), (1<p<\infty).$ My Question: Can we expect $\lim_{|x|\to \infty} |f(x)|=0$ ? (In other words, If $f$ and its ...
1
vote
1answer
29 views

Fourier Analysis Help - $\mathcal L^2$

Let $\{e_k | e_k(x)= e^{ikx}/\sqrt{2\pi\,}\}$ be the orthonormal basis in $\mathcal L^2$ per. I first have to use this basis define two infinite dimensional orthogonal subspaces of $\mathcal L^2$ per. ...
3
votes
2answers
122 views

What do $a_0$ ,$a_m$ and $b_m$ terms mean in the Fourier series formula?

We know that a Fourier series for signal $x(t)$ is given as $$\frac {a_0} 2 + \sum \limits _{m=1} ^\infty (a_m \cos \frac {2 \pi m t} T + b_m \sin \frac {2 \pi m t} T)$$ So my question is what ...
1
vote
1answer
28 views

About Fourier transform and complex conjugate

why this passage is correct ? \begin{equation*} \mathscr{F}[h(-\tau)] = H^*(f), \end{equation*} when $h(\tau)$ is a real function of real variable $\tau$, and $H^*(f)$ is the complex conjugate of ...
1
vote
0answers
22 views

Is there any mistake? Proof related to the Poisson summation formula.

I need to prove the following statement: Let $\varphi \in C(\Bbb R)$ with compact support. Then, $$ \Big \Vert \sum_{k\in \Bbb Z} \varphi(k) e^{ikx} \Big \Vert_{L_1(0,2\pi)} \leq C \Vert ...
0
votes
1answer
22 views

Calculating inverse Fourier Transform without outright integrating

This was one of the later questions in my tutorial which I didnt reach in time. Answers for tutorials aren't posted online however so I tried working through this alone but quickly got stuck ...
3
votes
1answer
67 views

Example of function not Fourier Invertible in $L^1$

It is well known that, if $1 < p \le 2$, then, for every $f \in L^p$, $$ \int_{[-R,R]^n} e^{-2\pi i x \cdot y} \hat{f}(y) dy \rightarrow f(x) $$ As $R \rightarrow \infty$, in the $L^p$ sense. ...
2
votes
0answers
114 views

Behavior of a Solution to Heat equation Compactly Supported in Time

We say that a function $g\in C^{\infty}(\mathbb{R}^{n})$ is of Gevrey class $G^{\sigma}(\mathbb{R}^{n})$ if for each compact $K\subset\mathbb{R}^{n}$, there exist $C,R>0$ such that $$\sup_{x\in ...
1
vote
1answer
52 views

What will happen if we try to reconstruct signal using phase only or magnitude only?

I am studying Fourier Transform and it's inverse. We get phase and magnitude from Fourier transform and reconstruct it back from both together My question is that What will happen if we try ...
3
votes
1answer
45 views

$|\sum_{k=1}^n \frac{\sin(kx)}{k}| \leq \frac{\pi}{2}+1$

I want to prove that $$\left|\sum_{k=1}^n \frac{\sin(kx)}{k}\right| \leq \frac{\pi}{2}+1.$$ for each $n\in\mathbb N$ and $x\in (0,2\pi)$. I know that the sum is inside is the partial sum of the ...
2
votes
1answer
42 views

On a property of Fourier coefficients

I need to prove the following: If $(\Phi_n)_{n\ge0}$ is an orthonormal system of integrable functions defined on some interval $[a,b]$, and $(c_n)_n$ is a sequence of reals such that $\sum c_n ...
0
votes
2answers
36 views

The Fourier transform of functions with compact support is differentiable.

1) How can I prove that if $f(x)$ is a continous function with compact support (let's say $f(x)=0$ $\forall x\in B(0,R)^c$), then its Fourier transform $\hat{f}(\xi)$ is differentiable? 2) Is there ...
5
votes
1answer
79 views

If $\gamma$ is irrational, then $\frac{1}{n}\sum_{k=1}^nf(2\pi k \gamma)\to \int_T f(t)\,dt$

I need to show that $$ \lim_{n\to+\infty}\frac{1}{n}\sum_{k=1}^nf(2\pi k \gamma)=\int_T f(t)\,dt. $$ Here $\gamma$ is any irrational number on the real line and $f(t)$ is any continuous periodic ...
0
votes
1answer
39 views

Absolute value Sinus Cardinalis integral

The existence of the Fourier Transform integral is conditioned for some functions. An important example is the sinc (sinus cardinalis) function, which although does not satisfy certain conditions, it ...
0
votes
1answer
26 views

Approximate identity for periodic integrable functions

I'm studying Fourier analysis now and learned the concept of approximate identity. $$h_n\ge 0,\quad \int_{\mathbb{T}}h_n=1,\quad \lim_{n\to\infty}\int_{\mathbb{T}\setminus[-\delta,\delta]}h_n=0\quad ...
1
vote
0answers
30 views

How to prove that $L_2[0,\infty)$ space is linearly isomorphic to $\mathcal{H}_2$ the space of analytic in $Re(s)>0$ functions?

I want to know how to prove that $L_2[0,\infty)$ space is linearly isomorphic to $\mathcal{H}_2$ the space of analytic in $Re(s)>0$ functions. Please help me. Thanks very much.
1
vote
1answer
47 views

Judging whether a function is not in the range of Fourier transformation

(1) First, I have to show that if f is an odd function that is integrable on the rea line, then there exists a positive number M such that for any a,A (where A is bigger) the following holds. (2) ...
0
votes
2answers
48 views

Is the Fourier transform of a continuous and compactly supported function summable?

Let $\varphi$ defined on the real line be continuous and with compact support. What can we say about the summability of $\hat{\varphi}$? I've gone through some theorems such as Parseval's without ...
2
votes
1answer
50 views

How to prove for a system with rational stable transfer function, the output is square integrable?

I want to know for a system with rational stable transfer function, i.e. H(jw)=1/[(a1+jw)(a2+jw)...(an+jw)] (a1,a2,..,an>0), why a square integrable (L2 integrable) input must generate a square ...
2
votes
1answer
31 views

Existence of Certain Locally Integrable Function Defining a Tempered Distribution

We say that a distribution $T$ is tempered if for every sequence $\left\{\phi_{n}\right\}$ in $C_{c}^{\infty}(\mathbb{R}^{n})$ tending to $0$ in the topology of the Schwartz space ...
2
votes
0answers
46 views

Is the following property of a Fourier Transform valid?

We know that $$\mathscr{F}\left\{f*g\right\}=\mathscr{F}\left\{f\right\}\mathscr{F}\{g\}$$ so I was wondering whether the inverse is true: ...
0
votes
2answers
21 views

Show that lamda is greater than or equal to zero for a sturm liouville problem

To show that this problem can be put into S-L form for an eigenvalue problem, Observe that The S-L form is of $$\text{p'(x)}\phi _x\text{+p(x)}\phi _{\text{xx}}\text{+q(x)$\phi $+$\lambda \phi ...
5
votes
2answers
2k views

Why fourier transformation use complex number?

I know that the Fourier transform is as follows:$$\hat{f}(\xi)= \int_{-\infty}^{\infty}\exp(-\mathrm ix\xi)f(x)\mathrm{d}x$$ but I couldent understand why should use complex number $i$ in the ...
2
votes
0answers
27 views

Fourier transform of exponential of a function

I am wondering what $\mathcal{F}[\exp(f)]$ is in terms of $\mathcal{F}[f]$. The farthest I have got is using the series expansion of $\exp$, such that I end up with $\mathcal{F}[\exp(f))] = ...
2
votes
2answers
112 views

Fourier Decompositon problem

have a look at this video of Fourier Decomposition of an image (otherwise you can also refer the image, which shows few plots of different extracted waves from an image). We also know that a Fourier ...
0
votes
1answer
37 views

How to solve a particular PDE (which reminds of heat equation)

I suddenly ran into this equation: Let $u:[a,b]\times \mathbb{R} \rightarrow \mathbb{R}$ be a function satisfying: $$\partial_t u = -u' + \frac{1}{2}u''$$ with bountary conditions $u(0,x)=g(x)$ where ...
1
vote
1answer
104 views

Littlewood Paley characterization of BMO spaces

I know that there is a Littlewood-Paley characterization of Hardy spaces (for instance, this is found in Grafakos, Modern Fourier Analysis, section 6.4.6). I'd like to know if a similar ...
3
votes
1answer
59 views

$L^{p}$ Boundedness of Fourier Multiplier without Littlewood-Paley

Suppose $\zeta\in\mathcal{S}(\mathbb{R}^{n})$ is a Schwartz function such that $\widehat{\zeta}$ is compactly supported away from the origin (say in the annulus ...
4
votes
1answer
87 views

Differentiation in Besov–Zygmund spaces

This is my second question in a short time on Besov spaces. I apologize. I am having a rough time with them and I really need to understand this spaces quickly. The Besov spaces ...