2017-01-28 18:34:16 8 Comments

I'm very confused about the definition of the inverse Fourier transform between time and frequency spaces. In many places, including Wikipedia, the Fourier transform pairs are defined by:

\begin{align} f(t)=&\int_{-\infty}^\infty\tilde{f}(\omega)e^{i\omega t}\frac{d\omega}{2\pi} \\ \tilde{f}(\omega)=&\int_{-\infty}^\infty f(t)e^{-i\omega t}dt \, . \end{align}

In other sources, such as "Many-body quantum theory in condensed matter physics" by Bruus and Flensberg, or these lecture notes, they are instead defined by:

\begin{align} f(t)=&\int_{-\infty}^{\infty}\tilde{f}(\omega)e^{-i\omega t}\frac{d\omega}{2\pi} \\ \tilde{f}(\omega)=&\int_{-\infty}^\infty f(t)e^{i\omega t}dt \, . \end{align}

Why are there these two different definitions? I thought maybe they mean the same thing, but this would only seem to be the case for $\tilde{f}(\omega)=\tilde{f}(-\omega)$ and I don't see why this should be true in general.

Indeed, I originally noticed this discrepancy when I tried to calculate the impedance of a capacitor using the second definition above, and obtained: $$Z=-\frac{1}{i\omega C} \, ,$$ and when I looked up the solution, found that it is generally accepted to be: $$Z=\frac{1}{i\omega C} \, ,$$ which is what I obtain using the second definition above. I don't understand how these two functions could have the same physical interpretation. That's why I asked here instead of the math stackexchange, because I'm sure they can be defined either way formally, but it seems like if we want to think physically about time and frequency, one must be correct.

Can anybody tell me which one is correct, or explain why they are equivalent?

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Fourier transform of Fermi function

**2020-04-14 17:43:37****user16625****45**View**0**Score**1**Answer- Tags: statistical-mechanics fourier-transform fermions quantum-statistics

#### 1 Answered Questions

### [SOLVED] Units of Fourier transform

**2019-10-30 12:02:47****Frederic****151**View**0**Score**1**Answer- Tags: waves fourier-transform units dimensional-analysis

#### 1 Answered Questions

### [SOLVED] Fourier transform in Hawking's paper

**2019-09-02 15:05:13****aitfel****268**View**3**Score**1**Answer- Tags: general-relativity waves fourier-transform qft-in-curved-spacetime

#### 2 Answered Questions

### [SOLVED] What is a "Fourier transform limited pulse"?

**2019-01-16 20:48:14****Landau****883**View**0**Score**2**Answer- Tags: electromagnetism optics fourier-transform signal-processing

#### 1 Answered Questions

### [SOLVED] What is the meaning of a Fourier Transform in an electric field $E(\omega,t)$?

**2018-08-15 15:55:41****Thiago Melo****197**View**2**Score**1**Answer- Tags: quantum-mechanics electromagnetism condensed-matter fourier-transform absorption

#### 1 Answered Questions

### [SOLVED] Electric field and Fourier transform

**2018-03-16 21:37:20****user1420303****1069**View**0**Score**1**Answer- Tags: electric-fields fourier-transform

#### 3 Answered Questions

### [SOLVED] Why is the Fourier transform more useful than the Hartley transform in physics?

**2016-01-09 09:46:03****asmaier****620**View**9**Score**3**Answer- Tags: symmetry fourier-transform complex-numbers

#### 2 Answered Questions

### [SOLVED] How to derive inverse Fourier transform for periodic functions (in crystal lattice)?

**2013-11-26 19:58:21****Ondřej Čertík****616**View**2**Score**2**Answer- Tags: homework-and-exercises fourier-transform crystals

## 2 comments

## @jgerber 2017-01-28 20:00:52

There are many possible choices regarding the overall scaling coefficients as well as the scaling coefficient converting time and frequency. It is possible to summarize these conventions succinctly using two numbers $a$ and $b$. I use the same notation as used in the Mathematica Fourier Transform function.

We define the Fourier Transform:

$$ \mathcal{FT}_{a,b}[f(t)](\omega) = \sqrt{\frac {|b|}{(2\pi)^{1-a}}}\int_{-\infty}^{+\infty} e^{+i b \omega t} f(t) dt $$

And the inverse Fourier Transform

$$ \mathcal{FT}_{a,b}^{-1}[\tilde{f}(\omega)](t) = \sqrt{\frac{|b|}{(2\pi)^{1+a}}}\int_{-\infty}^{+\infty} e^{-i b \omega t} \tilde{f}(\omega) d\omega $$

Let $$ \tilde{f}_{a,b}(\omega) = \mathcal{FT}_{a,b}[f(t)](\omega) $$ $$ \check{f}_{a,b}(t) = \mathcal{FT}_{a,b}^{-1}[\tilde{f}_{a,b}(\omega)](t) $$

It can be shown via the Fourier inversion theorem that for the classes of functions we care about in physics $\check{f}_{a,b}(t) = f(t)$ for any $a$ and $b$. That is, for these definitions of the Fourier Transform and Inverse Fourier transform the two operations are inverses of eachother.

It's turns out that in the engineering and scientific literature there are many conventions that people choose depending mostly on what they are used to.

The first convention in the OP is $(a,b) = (1,-1)$ which is commonly used in physics, about as commonly as $(a,b) = (1,+1)$ which is the second convention you have shown.

In addition you will also see conventions where $(a,b) = (0,\pm1)$ where the factor of $2\pi$ is split evenly between the transform and inverse transform showing up with a square root.

Furthermore, usually in math or signal processing you will come across the $(a,b) = (0,\pm 2\pi)$ convention in which there is NO prefactor of $2\pi$ on either the transform or the inverse transform but now instead of angular frequency $\omega$ represents a cyclic frequency and a $2\pi$ appears in all of the exponentials.

All of these different conventions have advantages and disadvantages which may make one choice of convention more attractive than another depending on the application. The main point is that in any problem, whichever convention is chosen should be kept the same throughout the whole problem.

To get back to the OP's main question now. In the language set up in this answer the OP is basically asking if it matters whether $b=+1$ or $b=-1$. The short answer is that it does not matter. Either way works and converts the original signal as a function of time into a function of frequency. The difference has to do with how we interpret positive and negative frequencies. Consider $$ f^1(t) = e^{+i\omega_0 t} $$ $$ f^2(t) = e^{-i \omega_0 t} $$

The phasor for the first function rotates counterclockwise in phase space whereas the second rotates clockwise in phasespace.

If we choose the $b=-1$ convention then $\tilde{f}^1_{1,-1}(\omega)$ will have a nonzero contribution at $+\omega_0$ whereas $\tilde{f}^2_{1,-1}(\omega)$ will have a nonzero contribution at $-\omega_0$. We might say $f^1$ is a positive frequency signal while $f^2$ is negative.

However, if we choose $b=+1$ then everything reverses. $\tilde{f}^1_{1,+1}(\omega)$ will have a nonzero contribution at $-\omega_0$ while $\tilde{f}^2_{1,+1}(\omega)$ will have a contribution at $+\omega_0$. now $f^1$ is negative frequency and $f^2$ is positive frequency!

Thuse we see that both $b=+1$ and $b=-1$ give answer that we can interpret as frequencies with the only difference between the two being what we call positive and negative frequencies. As a note I personally prefer $(a,b)=(1,+1)$ because it makes the formula for the Fourier transform (which I use more often than the inverse transform) as simple as possible. No prefactor and no minus sign in the exponent.

edit: As you have pointed out sometimes these signs can have a substantial effect on some physical quantity such as reversing the sign (inverting the phase) of the complex impedance of a capacitor. Unfortunately this is something we just have to deal with and try to be consistent with our own conventions and those used by the references we consult. Of course you will find both conventions give the same answer for a real measurable quantity such as $V(t)$ across the resistor.

## @ubuntu_noob 2017-01-28 20:04:18

I really think that this is a very good question. Both, conventions are correct and here I attempt to explain why. So, the Fourier transform is derived from the basic Fourier series. For aperiodic signals we can not define a legitimate real value of periodicity and go for the transform by allowing the period to extend to infinity.

The Fourier series is defined as $$f(x)=\sum_{0}^{+\infty}\left\{A_k\cos{\frac{2\pi kx}{x_0}}+B_k\sin{\frac{2\pi kx}{x_0}}\right\}\\ A_0=\frac{1}{x_0}\int_{x_0}f(\tau)\mathrm{d}\tau, \quad A_k=\frac{2}{x_0}\int_{x_0}f(\tau)\cos{\frac{2\pi k\tau}{x_0}}\mathrm{d}\tau, \quad B_k=\frac{2}{x_0}\int_{x_0}f(\tau)\sin{\frac{2\pi k\tau}{x_0}}\mathrm{d}\tau$$ Converting sine and cosine of the first equation into exponential forms, we get $$f(x)=\sum_{k=0}^{\infty}\left\{\left(\frac{A_k-iB_k}{2}e^{i2\pi kx/x_0}\right)+\left(\frac{A_k+iB_k}{2}e^{-i2\pi kx/x_0}\right)\right\}=\sum_{k=0}^{\infty}\left\{\left(C_k e^{i2\pi kx/x_0}\right)+\left(D_k e^{-i2\pi kx/x_0}\right)\right\}$$

Now, it is understandable that $C_{-k}=D_k$ So, I can write $$f(x)=\sum_{k=-\infty}^{+\infty}C_k e^{i2\pi kx/x_0}=\sum_{k=-\infty}^{+\infty}D_k e^{-i2\pi kx/x_0}$$ So, in my opinion that is where the road divergence starts from. When I started to derive it from the first ($C_k$) convention, I ended up with $$F(\omega)=\int_{-\infty}^{+\infty}f(x)e^{-i\omega x}\mathrm{d}x$$ And when I used the second convention($D_k$), I ended up deriving $$F(\omega)=\int_{-\infty}^{+\infty}f(x)e^{i\omega x}\mathrm{d}x$$

## @alephzero 2017-01-29 03:42:53

Your definition of the Fourier Series seems to assume that $f(x)$ is a real valued function. Often it is not, and defining $f(x) = \sum C_k e^{2 \pi i k x / x_0}$ where $C_k$ is complex is more natural. If you then write $C_k = P_k + i Q_k$ where $P_k$ and $Q_k$ are real, you have another source of different sign conventions.

## @ubuntu_noob 2017-01-29 10:40:38

yes, but you can also use the $D_k$ convention and write $D_k = P_k + iQ_k$