Frmignacco: /* Link between odd/even and real/imaginary */

2021-11-09T13:42:00Z

Link between odd/even and real/imaginary

← Older revision		Revision as of 15:42, 9 November 2021
Line 102:		Line 102:
	* if <math>g\in \mathbb{R} </math> is an odd function, then <math> \hat g\in i\mathbb{R} </math> is also an odd function;		* if <math>g\in \mathbb{R} </math> is an odd function, then <math> \hat g\in i\mathbb{R} </math> is also an odd function;
	* if <math> g\in i\mathbb{R}</math> is an odd function, then <math>\hat g\in \mathbb{R}</math> is also an odd function;		* if <math> g\in i\mathbb{R}</math> is an odd function, then <math>\hat g\in \mathbb{R}</math> is also an odd function;
	* if <math> g\in \mathbb{R} </math> is an even function, then <math> \hat g\in i\mathbb{R} </math> is also an even function;		* if <math> g\in \mathbb{R} </math> is an even function, then <math> \hat g\in \mathbb{R} </math> is also an even function;
	* if <math>g\in i\mathbb{R} </math> is an even function, then <math> \hat g\in \mathbb{R} </math> is also an even function.		* if <math>g\in i\mathbb{R} </math> is an even function, then <math> \hat g\in i\mathbb{R} </math> is also an even function.

	'''Q8:''' Conclude that, if <math>g</math> is real, its Fourier transform is written as <math>\hat g=\hat g ' +i\hat g ''</math>, with <math>\hat g '</math> ~~odd~~, and <math>\hat g '' </math> ~~even~~.		'''Q8:''' Conclude that, if <math>g</math> is real, its Fourier transform is written as <math>\hat g=\hat g ' +i\hat g ''</math>, with <math>\hat g '</math> even, and <math>\hat g '' </math> odd.

	'''Q9:''' Derive the same properties for the case of the oscillator.		'''Q9:''' Derive the same properties for the case of the oscillator.

Frmignacco: /* Holomorphism of the response and consequences */

2021-11-09T13:40:54Z

Holomorphism of the response and consequences

← Older revision		Revision as of 15:40, 9 November 2021
Line 70:		Line 70:

	=== Holomorphism of the response and consequences ===		=== Holomorphism of the response and consequences ===
	'''Q4:''' Show that <math>g(t)</math> is the response of the system to an impulsive perturbation <math>f(t)=\delta(t)</math>.		'''Q4:''' Show that <math>g(t)</math> is the response of the system to an impulsive perturbation <math>f(t)=\sqrt{2\pi}\delta(t)</math>.
	What is the effect of a perturbation applied at time <math>s</math> on the solution at time <math>t>s</math>?		What is the effect of a perturbation applied at time <math>s</math> on the solution at time <math>t<s</math>?

	'''Q5:''' We have defined <math>\hat g (\omega)</math> for <math>\omega\in\mathbb{R}</math>, i.e. on the real axis. Show that its extension to the complex plane is holomorphic everywhere (except at the poles). Using the explicit expression for <math>\widehat g (\omega)</math> derived above, compute explicitly <math>g(t)</math>. You will have to treat separately the case of positive time and the case of negative time. Use the residue theorem.		'''Q5:''' We have defined <math>\hat g (\omega)</math> for <math>\omega\in\mathbb{R}</math>, i.e. on the real axis. Show that its extension to the complex plane is holomorphic everywhere (except at the poles). Using the explicit expression for <math>\widehat g (\omega)</math> derived above, compute explicitly <math>g(t)</math>. You will have to treat separately the case of positive time and the case of negative time. Use the residue theorem.

Frmignacco: Created page with " =Linear response theory and Kramers-Kronig relations= The goal of this homework is to introduce the theory of linear response and, among the related properties, such as caus..."

2021-11-09T13:39:34Z

Created page with " =Linear response theory and Kramers-Kronig relations= The goal of this homework is to introduce the theory of linear response and, among the related properties, such as caus..."

New page

=Linear response theory and Kramers-Kronig relations=

The goal of this homework is to introduce the theory of linear response and, among the related properties, such as causality, the so-called Kramers-Kronig relations. We will consider the damped harmonic oscillator as a prototypical example to discuss this topic.

== Reminder on the Fourier transform ==

Throughout this assignment, we will use the symmetric convention of Fourier transform. The Fourier transform of a function <math>f(t)\in L^1(\mathbb{R})</math> is defined as:
<center><math>
\widehat f(\omega):=\frac{1}{\sqrt{2\pi}}\int d t \,f(t)\,e^{i\omega t}.
</math></center>
With this convention, the Fourier transform of a product results in a convolution, with the following pre-factor: <math>
\sqrt{2\pi}\,\widehat{(f\, g)}=\widehat f \ast \widehat g .</math>

The repeated application of the transform gives <math>
\widehat{\widehat f}(t)=f(-t).</math>

The conjugate of a Fourier transform is equal to the transform of the conjugate, with a change of sign in the argument: <math>
\overline{\widehat f}(\omega)=\widehat{\overline{f}}(-\omega).</math>

Furthermore, we can exchange the Fourier transform under the integral sign: <math>
\int _\mathbb{R}dt \, \hat f(t)\, g(t)=\int _\mathbb{R}dt \, f(t)\,\hat g(t) .
</math>

The last property implies the result <math>
\int _\mathbb{R}d\omega \, \overline{\hat f}(\omega)\,\hat g(\omega)=\int _\mathbb{R}dt \, \overline{f(t)}\,\hat g(t) ,
</math>
which gives directly the Plancherel theorem (see lecture notes, page 45).

== Example: damped harmonic oscillator in one dimension ==
We consider a damped harmonic oscillator <math>x(t)</math>, which is described by the following equation of motion:
<center><math>
\ddot x + 2 \gamma \,\dot x + \omega _0^2\,x=f(t).
</math></center>
First, we will compute its response to an harmonic perturbation, and then its response to a generic perturbation by introducing its Green function.

=== Response to an harmonic perturbation ===

We assume that the oscillator is excited by an harmonic perturbation of the form:
<math>
f(t)=F_\omega\,e^{-i\omega t}.
</math>
We look for a solution of the form:
<math>
x(t)=X_\omega\,e^{-i\omega t}.
</math>

'''Q1:''' Show that
<center><math>
X_\omega=\hat g(\omega)\, F_\omega,
</math></center>
where
<center><math>
\hat g(\omega)=-\frac{1}{(\omega-\omega_1)(\omega-\omega_2)}.
</math></center>

Write the explicit form of the poles that we have indicated as <math>\omega_1</math> and <math>\omega_2</math>.

=== Response to a generic perturbation ===

We consider a generic perturbation represented by <math>f(t)</math>, whose Fourier transform is given by <math>\hat f (\omega)</math>.

'''Q2:''' Write <math>x(t)</math> as a function of <math>\hat g(\omega)</math> and <math>\hat f(\omega)</math>.

'''Q3:''' Show that it follows that
<center><math>
x(t)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{+\infty}d t' \, g(t-t')f(t'),
</math></center>
where <math>g(t)</math> is the function having <math>\hat g(\omega)</math> as Fourier transform. The above equation is nothing but the convolution of <math>f</math> with <math>g</math>: <math>\sqrt{2\pi}x(t)=(f\ast g)(t)</math>.

=== Holomorphism of the response and consequences ===
'''Q4:''' Show that <math>g(t)</math> is the response of the system to an impulsive perturbation <math>f(t)=\delta(t)</math>.
What is the effect of a perturbation applied at time <math>s</math> on the solution at time <math>t>s</math>?

'''Q5:''' We have defined <math>\hat g (\omega)</math> for <math>\omega\in\mathbb{R}</math>, i.e. on the real axis. Show that its extension to the complex plane is holomorphic everywhere (except at the poles). Using the explicit expression for <math>\widehat g (\omega)</math> derived above, compute explicitly <math>g(t)</math>. You will have to treat separately the case of positive time and the case of negative time. Use the residue theorem.

'''Q6:''' Deduce the expression of the response:
<center><math>
x(t)=\int_{-\infty}^t dt' \, e^{-\gamma (t-t')}\,\frac{\sin\left[(\omega_0^2-\gamma^2)^{1/2} (t-t')\right]}{(\omega_0^2-\gamma^2)^{1/2}}f(t').
</math></center>
The above expression indicates the Green function of the system. Notice that the response of the system is causal.

It is worth highlighting the importance of the holomorphism in this proof. Indeed, we have seen that we had to apply Jordan's lemma. Therefore, we need a relatively fast decay of the response function at infinity, i.e. a system that does not diverge.

We also point out that, if <math>\gamma</math> was negative, we would have lost causality: we can guess a relation between causality and the dissipation of energy in a passive system.

== General properties of linear response ==
We look for a generalization of the properties that we have seen in the previous example. We discuss an equation of motion (or possibly another physical equation)
<center><math>
\mathcal{L}x(t)=f(t),
</math></center>
with a linear operator <math>\mathcal{L}</math> (of differentiation, multiplication, integration, etc.), and with an inhomogeneity <math>f(t)</math> (external stimulation, perturbation, etc.). The generic solution is unknown since the explicit form of the operator is not specified. However, we know that this solution must have some physical properties:
* Linearity: <math>x</math> is a function or a linear functional of <math>f</math>, which reads <math>
x(t)=\int _\mathbb{R}ds \, g(t-s)f(s). </math>
* Causality: in the sense that the effect cannot precede the cause: <math>
g(t)=0</math> for <math> t<0</math>.
* The total response to a finite perturbation must be finite.
* The response to a real perturbation, <math>f(t)\in \mathbb{R}</math>, must be real as well, <math>x(t)\in\mathbb{R}</math> (at least in the case we are not considering quantum mechanics effects).

=== Link between odd/even and real/imaginary ===
'''Q7:''' Show the following properties of the Fourier transform:
* if <math>g\in \mathbb{R} </math> is an odd function, then <math> \hat g\in i\mathbb{R} </math> is also an odd function;
* if <math> g\in i\mathbb{R}</math> is an odd function, then <math>\hat g\in \mathbb{R}</math> is also an odd function;
* if <math> g\in \mathbb{R} </math> is an even function, then <math> \hat g\in i\mathbb{R} </math> is also an even function;
* if <math>g\in i\mathbb{R} </math> is an even function, then <math> \hat g\in \mathbb{R} </math> is also an even function.

'''Q8:''' Conclude that, if <math>g</math> is real, its Fourier transform is written as <math>\hat g=\hat g ' +i\hat g ''</math>, with <math>\hat g '</math> odd, and <math>\hat g '' </math> even.

'''Q9:''' Derive the same properties for the case of the oscillator.

=== Preliminaries ===
We define the sign function as
<center><math>
S(t)=\begin{cases}
-1 & t<0\\
+1 &t\geq 0
\end{cases},
</math></center>
and we want to show that its Fourier transform is
<center><math>
\hat S(\omega)=\sqrt{\frac{2}{\pi}}\frac{i}{\omega}.
</math></center>
Since <math>S</math> is not summable, we have to use an auxiliary function <math>S_\epsilon (t):=e^{-\epsilon |t|}S(t)</math>.

'''Q10:''' Show that <math>\lim_{\varepsilon\rightarrow 0}\hat S_\epsilon (\omega)=\sqrt{\frac{2}{\pi}}\frac{i}{\omega}</math>.

'''Q11:''' Discuss the possibility of using <math>\hat S</math> instead of <math>\hat S_\epsilon</math> in a computation (e.g., in the example below).

=== Causality and Kramers-Kronig relations ===
'''Q12:''' Using the expression of the Fourier transform of a convolution and the sign function defined above, show the following property of Fourier transform:
<center> If <math>g(t)=0</math> <math>\forall t<0</math>, then <math>\quad\hat g(\omega)=\frac{1}{i\pi}\,{\rm PV} \int_\mathbb{R}d\xi \,\frac{\operatorname{Im} \hat g(\xi)}{\xi -\omega}</math>.
</center>
By separating the real and imaginary part of this equation, we obtain Kramers-Kronig relations:
<center><math>
\operatorname{Re}\hat g(\omega)=\frac{1}{\pi}\, {\rm PV}\int_\mathbb{R}d\xi \,\frac{\operatorname{Im}\hat g(\omega)}{\xi-\omega},
</math></center>
<center><math>
\operatorname{Im} \hat g(\omega)=-\frac{1}{\pi} \,{\rm PV}\int_\mathbb{R}d\xi \,\frac{\operatorname{Re}\hat g(\omega)}{\xi-\omega}.
</math></center>

'''Q13:''' Show that Kramers-Kronig relations express the fact that the extension <math>\hat g (\omega + i \nu)</math> to <math>\hat g (\omega)</math> on the complex upper-half plane <math>(\nu>0)</math> is holomorphic, without any poles, and that it decreases sufficiently fast as <math>|\omega +i\nu|\rightarrow \infty</math>.

We will start from a weaker result:

Show that the Kramers-Kronig relation is valid for all functions <math>\hat g (\omega +i\nu)</math> with the aforementioned properties. Apply the residue theorem integrating along the path <math>\gamma</math> displayed in the figure below, that can be reproduced via the following code:

<pre>
gamma = ParametricPlot[{{R Cos[t], R Sin[t]}, {-R*(1 - t/Pi) + (x - r)*t/Pi, 0}, {r Cos[t + Pi] + x, r Sin[t + Pi]}, {(x + r)*(1 - t/Pi) + R*t/Pi, 0}} /. {R -> 2, r -> 0.5, x -> 1}, {t, 0, Pi}, Ticks -> {{{-R, "-R"}, {x - r, "x-r"}, {x, "x"}, {x + r, "x+r"}, {R, "R"}} /. {R -> 2, r -> 0.5, x -> 1}, None}, TicksStyle -> Directive[Red, 20], AxesLabel -> {None}] /. Line[u_] :> Sequence[Arrowheads[Table[.05, {1}]], Arrow@Line[u]]
</pre>
[[File:Gamma_contour.png|400px|thumb|center|Sketch of the integration path <math>\gamma</math>.]]

Integrate the function <math>\hat g (z)/(z-\omega)</math> along this path. Compute the contribution of the small half-circle <math>C_r</math> in the limit <math>r\rightarrow 0</math> using its Taylor expansion in the vicinity of <math>\omega</math> and performing the change of variable <math>z'=\omega + r\,e^{i\theta}</math>.

The last result suggests the existence of a relation with the causality at <math>g(t)=0</math> <math>\forall t<0</math> and the fact that <math>g</math> is holomorphic without poles in the upper-half plane. This was detailed in the Titchmarsch theorem.

T-I-2draft - Revision history

Frmignacco: /* Link between odd/even and real/imaginary */

Frmignacco: /* Holomorphism of the response and consequences */

Frmignacco: Created page with " =Linear response theory and Kramers-Kronig relations= The goal of this homework is to introduce the theory of linear response and, among the related properties, such as caus..."