imported>Stefanhuglfing K |
imported>H.Marxen K (→Geschichte: Satz verbessert) |
||
Zeile 1: | Zeile 1: | ||
Die '''Einstein-Cartan-Theorie''' (ECT) ist eine [[ | Die '''Einstein-Cartan-Theorie''' (ECT, auch '''Einstein-Cartan-Sciama-Kibble-Theorie''', ECSK-Theorie) ist eine Verallgemeinerung der [[Allgemeine Relativitätstheorie|Allgemeinen Relativitätstheorie]] auf die Riemann-Cartan-Geometrie. In der Cartan-Geometrie taucht die [[Torsionstensor|Torsion]] als zusätzlicher Freiheitsgrad auf, was in der ECT eine zusätzliche Feldgleichung ergibt. Diese zweite Feldgleichung koppelt die Torsion mit dem Spindichtetensor. | ||
Die ECT repliziert alle Ergebnisse der allgemeinen Relativitätstheorie, sagt jedoch zusätzliche Effekte im Falle sehr hoher Spindichten voraus. Die benötigten Spindichten sind allerdings so hoch, dass die Abweichungen nur bei der Betrachtung des [[Urknall]]s relevant sind. Dementsprechend sind die Abweichungen bisher noch nicht messbar. Die ECT ist jedoch auch aus theoretischer Sicht spannend, da sie eine [[Eichtheorie|eichtheoretische]] Formulierung der Gravitation darstellt. | |||
== Geschichte == | |||
[[Élie Cartan]] beschäftigte sich Anfang der 1920 mit den [[Riemannsche Mannigfaltigkeit|Riemannschen Mannigfaltigkeiten]]. Dabei erweiterte Cartan das Konzept des [[Zusammenhang (Differentialgeometrie)|Zusammenhangs]] um die sogenannte Torsion, welche dem Zusammenhang zusätzliche Freiheitsgrade gibt. Cartan versuchte daraufhin, die Allgemeine Relativitätstheorie auf diese Cartan-Geometrie zu verallgemeinern. Die zusätzlichen Freiheitsgrade koppelte er an den Spindichtetensor. Cartan gab diese Versuche allerdings bald wieder auf, da die Abweichungen zu gering waren und das Konzept des [[Spin]]s (im Sinne der [[Quantenfeldtheorie]]) noch nicht entwickelt war. Cartans Spindichtetensor war der von den Gebrüdern [[Francois Cosserat|Francois]] und [[Eugène Cosserat]] entwickelte Tensor aus der [[Elastizitätstensor|Elastizitätstheorie]].<ref name="Cartan 1">{{Literatur |Autor=Cartan, Élie |Titel=On a generalization of the notion of Riemann curvature and spaces with torsion |Sammelwerk=Comptes rendus de l'Académie des Sciences |Datum=1922 |Seiten=593-595 |Originaltitel=Sur une généralisation de la notion de courbure de Riemann et les espaces à torsion |Originalsprache=fr |Übersetzer=G. D. Kerlick (englisch)}}</ref><ref name="Cartan 2">{{Literatur |Autor=Cartan, Élie |Titel=Space with a Euclidian connection |Sammelwerk=Riemannian Geometry in an Orthogonal Frame |Datum= |Seiten=121-144}}</ref> | |||
Bei Überlegungen zur Vereinheitlichung von Gravitation und Elektromagnetismus versuchen [[Hermann Weyl]] und andere, das Konzept wieder aufzugreifen und die Torsion mit dem elektromagnetischen Potential zu assoziieren. Das scheiterte jedoch und Weyl entwickelte stattdessen das Konzept der Eichtheorie des Elektromagnetismus, welches später von Yang, Mills und Utiyama verallgemeinert wurde.<ref name="Weyl">{{Literatur |Autor=Hermann Weyl |Titel=Elektron und Gravitation |Sammelwerk=Zeitschrift für Physik |Band=56 |Datum=1929 |Seiten=330-352 |DOI=10.1007/BF01339504}}</ref> | |||
:< | In den folgenden Jahren, in denen sich das Konzept der Eichtheorien als erfolgreich erwies und die Quantenfeldtheorie immer mehr Erfolge verbuchen konnte, verlor die ECT an Beachtung. Das änderte sich Anfang der 1960er Jahre, als [[Dennis W. Sciama]] und [[Tom Kibble]] die Theorie wieder verwendeten, allerdings aus einer anderen Motivation heraus: In seinem Artikel zur [[Yang-Mills-Theorie]] hatte Utiyama die Gravitation als Eichtheorie der Lorentz-Gruppe behandelt.<ref name="Utiyama">{{Literatur |Autor=Ryoyu Utiyama |Titel=Invariant Theoretical Interpretation of Interaction |Sammelwerk=Physical Review |Band=101 |Datum=1955 |Seiten=1597-1607}}</ref> Dabei hatte Utiyama jedoch zwei Ad-Hoc-Annahmen machen müssen, indem er den Zusammenhang als symmetrisch postuliert hatte (bzw. gesagt hatte, die antisymmetrischen Anteile verschwänden) und die Tetraden ebenfalls als symmetrisch angenommen hatte. Sciama publizierte zuerst einen Zusammenhang zwischen Spin und Gravitation<ref name="Sciama">{{Literatur |Autor=D. W. Sciama |Titel=The Analogy between charge and spin in general relativity |Sammelwerk=Recent Developments in General Relativity, Feldschrift for Infeld |Verlag=Pergamon Press, Oxford |Datum=1962}}</ref>, Kibble entwickelte dann die Eichtheorie der [[Poincaré-Gruppe]] (bei Kibble vollständige Lorentz-Gruppe genannt).<ref name="Kibble">{{Literatur |Autor=T. W. B. Kibble |Titel=Lorentz Invariance and the Gravitational Field |Sammelwerk=Journal of Mathematical Physics |Band=2 |Datum=1961 |Seiten=212-221}}</ref> Diese Eichtheorie ist die bis heute größtenteils anerkannte Form der ECT. Dabei erzeugt der translative Anteil die Metrik (bzw. die Tetradenfelder) und der rotierende Anteil die Torsion. | ||
In den folgenden Jahren konnte die ECT an Beachtung gewinnen, da sie eine eichtheoretische Betrachtung der Gravitation ermöglicht. Ein Übersichtsartikel von Hehl, von der Heyde und Kerlick erschien 1976.<ref name="Hehl 1">{{Literatur |Autor=Friedrich W. Hehl, Paul van der Heyde, G. David Kerlick |Titel=General relativity with spin and torsion: Foundations and prospects |Sammelwerk=Review of Modern Physics |Band=48 |Datum=1976 |Seiten=393-416}}</ref> | |||
Ausgehend von der ECT sind auch weitere Eichtheorien in der Riemann-Cartan-Geometrie entstanden, welche noch andere Effekte vorhersagen, wie beispielsweise eine Eichtheorie mit quadratischer Lagrangedichte (gemeint ist der Ricci-Skalar).<ref name="Hehl 2">{{Literatur |Autor=Friedrich W. Hehl, Jürgen Nitsch, Paul von der Heyde |Titel=Gravitation and the Poincaré Gauge Field Theorie with Quadratic Lagrangian |Datum=1980}}</ref> | |||
== Torsion == | |||
:<math> | Torsion als Konzept kann ausgehend von zwei Standpunkten verstanden werden: Betrachtet man eine (Pseudo-)Riemannsche Mannigfaltigkeit mit Levi-Cevita-Zusammenhang (dargestellt als Christoffelsymbol <math>\{^{\lambda}_{\mu \nu}\}</math>), so kann man den Zusammenhang um einen antisymmetrischen Anteil erweitern <math>\Gamma^\lambda_{\mu \nu} = \{^\lambda_{\mu \nu}\}+S^\lambda_{\mu \nu}</math>, wobei <math>S^\lambda_{\mu \nu}</math> die Torsion ist. Dabei muss die Transformationsvorschrift für den Zusammenhang erhalten bleiben. Nun verlangt man, dass <math>\Gamma</math> immer noch die Metrizitätsbedingung erfüllt <math>\nabla_\lambda g_{\mu \nu} = \partial_\lambda g_{\mu \nu} - g_{\sigma \nu} \Gamma^\sigma_{\lambda \mu} - g_{\mu \sigma} \Gamma^\sigma_{\lambda \nu} = 0</math>. Das <math>\nabla</math> bezeichnet dabei die kovariante Ableitung. Die Torsion <math>S</math> ist nun stets ein Tensor und wird demzufolge auch als Torsionstensor bezeichnet. Alternativ kann man die genau umgekehrte Route gehen von einer metrisch-affinien Mannigfaltigkeit ausgehen, also einer Mannigfaltigkeit, auf der Metrik und Torsion definiert sind, aber unabhängig voneinander, und dann die Metrizitätsbedingung fordern. Die Differenz zwischen Zusammenhang und Christoffelsymbol ist dann die Torsion. | ||
Vorstellen kann man sich die Torsion als Schließfehler eines infinitesimalen Parallelogramms: Nimmt man zwei infinitesimale Vektoren <math>dx</math> und <math>dy</math> und verschiebt diese aneinander parallel, so ergibt sich nicht ganz der gleiche Punkt. Das kann dargestellt werden mit folgender Rechnung: Sei <math>A</math> ein Tensorskalar, so gilt <math>\nabla_\mu \nabla_\nu A - \nabla_\nu \nabla_\mu A = - 2 (\partial_\sigma A) S^\sigma_{\mu \nu}</math>. Dieser Schließfehler wird auch als Cartan-Versatz (engl. ''Cartan Displacement'') bezeichnet. | |||
== Feldgleichungen == | |||
Die Darstellung hier folgt Hehl, von der Heyde und Kerlick<ref name="Hehl 1" />. Sei <math>\mathfrak{L}_m = \sqrt{-g}L_m</math> die Lagrangedichte eines beliebigen Materiefeldes. Dann definieren wir mit der Kopplungskonstante <math>k</math> | |||
<math>\sqrt{-g}k\sigma_{\mu \nu} = \frac{\delta \mathfrak{L}_m}{\delta g^{\mu \nu}}</math> den symmetrischen Energie-Impuls-Tensor und | |||
<math>\sqrt{-g}k\mu_\lambda^{\mu \nu} = \frac{\delta \mathfrak{L}_m}{\delta S^\lambda_{\mu \nu}}</math> das Spin-Energie-Potential. | |||
Als Lagrangedichte des Gravitationsfeldes wählen wir <math>\mathfrak{L}_g = \sqrt{-g}R</math>. Das entspricht formal der Lagrangedichte der allgemeinen Relativitätstheorie, jedoch ist diese Lagrangedichte über den Ricci-Skalar der Riemann-Cartan-Mannigfaltigkeit definiert und enthält dementsprechend Anteil von der Torsion. Die Variation erfolgt wie im Fall der Allgemeinen Relativitätstheorie mithilfe der Palatiniidentität, welche im Fall eines Cartan-Zusammenhangs die Form <math>g^{\mu \nu} \delta R_{\mu \nu} = - 2 \overline{S}^{\mu \nu}_{\lambda} \delta \Gamma^\lambda_{\mu \nu}</math> annimmt. Dabei gilt <math>\overline{S}^{\mu \nu}_{\lambda} = S^{\mu \nu}_\lambda + g^{\lambda \mu} S^\sigma_{\nu \sigma} - g^{\lambda \nu} S^\sigma_{\mu \sigma}</math>. Als Ergebnis erhält man | |||
<math> k \sigma^{\mu \nu} = \frac{1}{\sqrt{-g}} \frac{\delta \mathfrak{L}_g}{\delta g_{\mu \nu}} = G^{\mu \nu} - {\overset{*}{\nabla}}_\lambda (\overline{S}^{\lambda \mu \nu} + \overline{S}^{\mu \nu \lambda} + \overline{S}^{\nu \mu \lambda})</math> | |||
Die | Dabei gilt <math>{\overset{*}{\nabla}}_\lambda = \nabla_\lambda - 2 S^\sigma_{\lambda \sigma}</math>. Die Feldgleichung für die Torsion ist gegeben durch | ||
<math> k \mu^{\lambda \mu \nu} = \frac{1}{\sqrt{-g}} \frac{\delta \mathfrak{L}_g}{\delta S_{\lambda \mu \nu}} = - 2 ( \overline{S}^{\nu \mu \lambda} + \overline{S}^{\mu \lambda \nu} + \overline{S}^{\lambda \mu \nu} ) </math> | |||
Diese Feldgleichungen werden normalerweise noch mittels des kanonischen Energie-Impuls-Tensors <math>T^{\mu \nu} = \sigma^{\mu \nu} - {\overset{*}{\nabla}}_\lambda \mu^{\mu \nu \lambda}</math> und des Spindichtetensors <math>\tau^{\lambda \mu \nu} = \frac{1}{4}(\mu^{\mu \nu \lambda} - \mu^{\nu \mu \lambda})</math> auf eine einfachere Form gebracht | |||
<math>k T^{\mu \nu} = G^{\mu \nu}</math> | |||
<math>k \tau^{\lambda \mu \nu} = \overline{S}^{\lambda \mu \nu}</math> | |||
== Weblinks == | == Weblinks == | ||
* Andrzej Trautman: [http://www.fuw.edu.pl/~amt/ect.pdf Einstein-Cartan-Theory.] In: Encyclopedia of Mathematical Physics, edited by J.-P. Fran ̧coise, G.L. Naber and Tsou S.T. Oxford: Elsevier, 2006, vol. 2, S. 189–195. (PDF-Datei; 156 kB) {{ | * Andrzej Trautman: [http://www.fuw.edu.pl/~amt/ect.pdf Einstein-Cartan-Theory.] In: Encyclopedia of Mathematical Physics, edited by J.-P. Fran ̧coise, G.L. Naber and Tsou S.T. Oxford: Elsevier, 2006, vol. 2, S. 189–195. (PDF-Datei; 156 kB) {{arXiv|gr-qc/0606062}} | ||
* Heinicke, Christian: [http://kups.ub.uni-koeln.de/volltexte/2005/1463/ Exact solutions in Einstein's theory and beyond.] Dissertation, Universität Köln, 2005. {{URN|nbn | * Heinicke, Christian: [http://kups.ub.uni-koeln.de/volltexte/2005/1463/ Exact solutions in Einstein's theory and beyond.] Dissertation, Universität Köln, 2005. {{URN|nbn:de:hbz:38-14637}} | ||
== Literatur == | |||
{{Literatur |Autor=Miletun Blagojević, Friedrich W. Hehl |Titel=Gauge Theories of Gravitation, A Reader with Commentaries |Verlag=Imperial College Press |Datum=2013}} | |||
== Einzelnachweise == | == Einzelnachweise == | ||
<references /> | <references /> | ||
{{SORTIERUNG:Einsteincartantheorie}} | |||
[[Kategorie:Allgemeine Relativitätstheorie]] | [[Kategorie:Allgemeine Relativitätstheorie]] | ||
[[Kategorie:Albert Einstein als Namensgeber]] |
Die Einstein-Cartan-Theorie (ECT, auch Einstein-Cartan-Sciama-Kibble-Theorie, ECSK-Theorie) ist eine Verallgemeinerung der Allgemeinen Relativitätstheorie auf die Riemann-Cartan-Geometrie. In der Cartan-Geometrie taucht die Torsion als zusätzlicher Freiheitsgrad auf, was in der ECT eine zusätzliche Feldgleichung ergibt. Diese zweite Feldgleichung koppelt die Torsion mit dem Spindichtetensor.
Die ECT repliziert alle Ergebnisse der allgemeinen Relativitätstheorie, sagt jedoch zusätzliche Effekte im Falle sehr hoher Spindichten voraus. Die benötigten Spindichten sind allerdings so hoch, dass die Abweichungen nur bei der Betrachtung des Urknalls relevant sind. Dementsprechend sind die Abweichungen bisher noch nicht messbar. Die ECT ist jedoch auch aus theoretischer Sicht spannend, da sie eine eichtheoretische Formulierung der Gravitation darstellt.
Élie Cartan beschäftigte sich Anfang der 1920 mit den Riemannschen Mannigfaltigkeiten. Dabei erweiterte Cartan das Konzept des Zusammenhangs um die sogenannte Torsion, welche dem Zusammenhang zusätzliche Freiheitsgrade gibt. Cartan versuchte daraufhin, die Allgemeine Relativitätstheorie auf diese Cartan-Geometrie zu verallgemeinern. Die zusätzlichen Freiheitsgrade koppelte er an den Spindichtetensor. Cartan gab diese Versuche allerdings bald wieder auf, da die Abweichungen zu gering waren und das Konzept des Spins (im Sinne der Quantenfeldtheorie) noch nicht entwickelt war. Cartans Spindichtetensor war der von den Gebrüdern Francois und Eugène Cosserat entwickelte Tensor aus der Elastizitätstheorie.[1][2]
Bei Überlegungen zur Vereinheitlichung von Gravitation und Elektromagnetismus versuchen Hermann Weyl und andere, das Konzept wieder aufzugreifen und die Torsion mit dem elektromagnetischen Potential zu assoziieren. Das scheiterte jedoch und Weyl entwickelte stattdessen das Konzept der Eichtheorie des Elektromagnetismus, welches später von Yang, Mills und Utiyama verallgemeinert wurde.[3]
In den folgenden Jahren, in denen sich das Konzept der Eichtheorien als erfolgreich erwies und die Quantenfeldtheorie immer mehr Erfolge verbuchen konnte, verlor die ECT an Beachtung. Das änderte sich Anfang der 1960er Jahre, als Dennis W. Sciama und Tom Kibble die Theorie wieder verwendeten, allerdings aus einer anderen Motivation heraus: In seinem Artikel zur Yang-Mills-Theorie hatte Utiyama die Gravitation als Eichtheorie der Lorentz-Gruppe behandelt.[4] Dabei hatte Utiyama jedoch zwei Ad-Hoc-Annahmen machen müssen, indem er den Zusammenhang als symmetrisch postuliert hatte (bzw. gesagt hatte, die antisymmetrischen Anteile verschwänden) und die Tetraden ebenfalls als symmetrisch angenommen hatte. Sciama publizierte zuerst einen Zusammenhang zwischen Spin und Gravitation[5], Kibble entwickelte dann die Eichtheorie der Poincaré-Gruppe (bei Kibble vollständige Lorentz-Gruppe genannt).[6] Diese Eichtheorie ist die bis heute größtenteils anerkannte Form der ECT. Dabei erzeugt der translative Anteil die Metrik (bzw. die Tetradenfelder) und der rotierende Anteil die Torsion.
In den folgenden Jahren konnte die ECT an Beachtung gewinnen, da sie eine eichtheoretische Betrachtung der Gravitation ermöglicht. Ein Übersichtsartikel von Hehl, von der Heyde und Kerlick erschien 1976.[7]
Ausgehend von der ECT sind auch weitere Eichtheorien in der Riemann-Cartan-Geometrie entstanden, welche noch andere Effekte vorhersagen, wie beispielsweise eine Eichtheorie mit quadratischer Lagrangedichte (gemeint ist der Ricci-Skalar).[8]
Torsion als Konzept kann ausgehend von zwei Standpunkten verstanden werden: Betrachtet man eine (Pseudo-)Riemannsche Mannigfaltigkeit mit Levi-Cevita-Zusammenhang (dargestellt als Christoffelsymbol $ \{_{\mu \nu }^{\lambda }\} $), so kann man den Zusammenhang um einen antisymmetrischen Anteil erweitern $ \Gamma _{\mu \nu }^{\lambda }=\{_{\mu \nu }^{\lambda }\}+S_{\mu \nu }^{\lambda } $, wobei $ S_{\mu \nu }^{\lambda } $ die Torsion ist. Dabei muss die Transformationsvorschrift für den Zusammenhang erhalten bleiben. Nun verlangt man, dass $ \Gamma $ immer noch die Metrizitätsbedingung erfüllt $ \nabla _{\lambda }g_{\mu \nu }=\partial _{\lambda }g_{\mu \nu }-g_{\sigma \nu }\Gamma _{\lambda \mu }^{\sigma }-g_{\mu \sigma }\Gamma _{\lambda \nu }^{\sigma }=0 $. Das $ \nabla $ bezeichnet dabei die kovariante Ableitung. Die Torsion $ S $ ist nun stets ein Tensor und wird demzufolge auch als Torsionstensor bezeichnet. Alternativ kann man die genau umgekehrte Route gehen von einer metrisch-affinien Mannigfaltigkeit ausgehen, also einer Mannigfaltigkeit, auf der Metrik und Torsion definiert sind, aber unabhängig voneinander, und dann die Metrizitätsbedingung fordern. Die Differenz zwischen Zusammenhang und Christoffelsymbol ist dann die Torsion.
Vorstellen kann man sich die Torsion als Schließfehler eines infinitesimalen Parallelogramms: Nimmt man zwei infinitesimale Vektoren $ dx $ und $ dy $ und verschiebt diese aneinander parallel, so ergibt sich nicht ganz der gleiche Punkt. Das kann dargestellt werden mit folgender Rechnung: Sei $ A $ ein Tensorskalar, so gilt $ \nabla _{\mu }\nabla _{\nu }A-\nabla _{\nu }\nabla _{\mu }A=-2(\partial _{\sigma }A)S_{\mu \nu }^{\sigma } $. Dieser Schließfehler wird auch als Cartan-Versatz (engl. Cartan Displacement) bezeichnet.
Die Darstellung hier folgt Hehl, von der Heyde und Kerlick[7]. Sei $ {\mathfrak {L}}_{m}={\sqrt {-g}}L_{m} $ die Lagrangedichte eines beliebigen Materiefeldes. Dann definieren wir mit der Kopplungskonstante $ k $
$ {\sqrt {-g}}k\sigma _{\mu \nu }={\frac {\delta {\mathfrak {L}}_{m}}{\delta g^{\mu \nu }}} $ den symmetrischen Energie-Impuls-Tensor und
$ {\sqrt {-g}}k\mu _{\lambda }^{\mu \nu }={\frac {\delta {\mathfrak {L}}_{m}}{\delta S_{\mu \nu }^{\lambda }}} $ das Spin-Energie-Potential.
Als Lagrangedichte des Gravitationsfeldes wählen wir $ {\mathfrak {L}}_{g}={\sqrt {-g}}R $. Das entspricht formal der Lagrangedichte der allgemeinen Relativitätstheorie, jedoch ist diese Lagrangedichte über den Ricci-Skalar der Riemann-Cartan-Mannigfaltigkeit definiert und enthält dementsprechend Anteil von der Torsion. Die Variation erfolgt wie im Fall der Allgemeinen Relativitätstheorie mithilfe der Palatiniidentität, welche im Fall eines Cartan-Zusammenhangs die Form $ g^{\mu \nu }\delta R_{\mu \nu }=-2{\overline {S}}_{\lambda }^{\mu \nu }\delta \Gamma _{\mu \nu }^{\lambda } $ annimmt. Dabei gilt $ {\overline {S}}_{\lambda }^{\mu \nu }=S_{\lambda }^{\mu \nu }+g^{\lambda \mu }S_{\nu \sigma }^{\sigma }-g^{\lambda \nu }S_{\mu \sigma }^{\sigma } $. Als Ergebnis erhält man
$ k\sigma ^{\mu \nu }={\frac {1}{\sqrt {-g}}}{\frac {\delta {\mathfrak {L}}_{g}}{\delta g_{\mu \nu }}}=G^{\mu \nu }-{\overset {*}{\nabla }}_{\lambda }({\overline {S}}^{\lambda \mu \nu }+{\overline {S}}^{\mu \nu \lambda }+{\overline {S}}^{\nu \mu \lambda }) $
Dabei gilt $ {\overset {*}{\nabla }}_{\lambda }=\nabla _{\lambda }-2S_{\lambda \sigma }^{\sigma } $. Die Feldgleichung für die Torsion ist gegeben durch
$ k\mu ^{\lambda \mu \nu }={\frac {1}{\sqrt {-g}}}{\frac {\delta {\mathfrak {L}}_{g}}{\delta S_{\lambda \mu \nu }}}=-2({\overline {S}}^{\nu \mu \lambda }+{\overline {S}}^{\mu \lambda \nu }+{\overline {S}}^{\lambda \mu \nu }) $
Diese Feldgleichungen werden normalerweise noch mittels des kanonischen Energie-Impuls-Tensors $ T^{\mu \nu }=\sigma ^{\mu \nu }-{\overset {*}{\nabla }}_{\lambda }\mu ^{\mu \nu \lambda } $ und des Spindichtetensors $ \tau ^{\lambda \mu \nu }={\frac {1}{4}}(\mu ^{\mu \nu \lambda }-\mu ^{\nu \mu \lambda }) $ auf eine einfachere Form gebracht
$ kT^{\mu \nu }=G^{\mu \nu } $
$ k\tau ^{\lambda \mu \nu }={\overline {S}}^{\lambda \mu \nu } $
Miletun Blagojević, Friedrich W. Hehl: Gauge Theories of Gravitation, A Reader with Commentaries. Imperial College Press, 2013.