A Modern Introduction to Classical

Electrodynamics 1st Edition Michele

Maggiore
Visit to download the full and correct content document:
https://ebookmass.com/product/a-modern-introduction-to-classical-electrodynamics-1
st-edition-michele-maggiore/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...

Introduction to Classical Chinese Vogelsang

https://ebookmass.com/product/introduction-to-classical-chinese-
vogelsang/

A Modern Introduction to Dynamical Systems Richard

Brown

https://ebookmass.com/product/a-modern-introduction-to-dynamical-
systems-richard-brown/

A Modern Introduction to Fuzzy Mathematics 1. Edition

Apostolos Syropoulos

https://ebookmass.com/product/a-modern-introduction-to-fuzzy-
mathematics-1-edition-apostolos-syropoulos/

Introduction to Modern Analysis, 2nd Edition

Kantorovitz

https://ebookmass.com/product/introduction-to-modern-
analysis-2nd-edition-kantorovitz/
(eBook PDF) Introduction to Philosophy: Classical and
Contemporary Readings 8th Edition

https://ebookmass.com/product/ebook-pdf-introduction-to-
philosophy-classical-and-contemporary-readings-8th-edition/

(eBook PDF) Introduction to Mythology: Contemporary

Approaches to Classical and World Myths 4th Edition

https://ebookmass.com/product/ebook-pdf-introduction-to-
mythology-contemporary-approaches-to-classical-and-world-
myths-4th-edition/

Introduction to AutoCAD® 2024: A Modern Perspective

Paul Richard

https://ebookmass.com/product/introduction-to-
autocad-2024-a-modern-perspective-paul-richard/

After Ancient Biography: Modern Types and Classical

Archetypes 1st ed. Edition Robert Fraser

https://ebookmass.com/product/after-ancient-biography-modern-
types-and-classical-archetypes-1st-ed-edition-robert-fraser/

A Gendered Lens for Genocide Prevention 1st Edition

Mary Michele Connellan

https://ebookmass.com/product/a-gendered-lens-for-genocide-
prevention-1st-edition-mary-michele-connellan/
A MODERN INTRODUCTION TO CLASSICAL ELECTRODYNAMICS
 OXFORD MASTER SERIES IN PHYSICS
The Oxford Master Series is designed for final year undergraduate and beginning graduate students in physics and related
disciplines. It has been driven by a perceived gap in the literature today. While basic undergraduate physics texts often show
little or no connection with the huge explosion of research over the last two decades, more advanced and specialized texts
tend to be rather daunting for students. In this series, all topics and their consequences are treated at a simple level, while
pointers to recent developments are provided at various stages. The emphasis is on clear physical principles like symmetry,
quantum mechanics, and electromagnetism which underlie the whole of physics. At the same time, the subjects are related
to real measurements and to the experimental techniques and devices currently used by physicists in academe and industry.
Books in this series are written as course books, and include ample tutorial material, examples, illustrations, revision points,
and problem sets. They can likewise be used as preparation for students starting a doctorate in physics and related fields,
or for recent graduates starting research in one of these fields in industry.

CONDENSED MATTER PHYSICS

1. M.T. Dove: Structure and dynamics: an atomic view of materials
2. J. Singleton: Band theory and electronic properties of solids
3. A.M. Fox: Optical properties of solids, second edition
4. S.J. Blundell: Magnetism in condensed matter
5. J.F. Annett: Superconductivity, superfluids, and condensates
6. R.A.L. Jones: Soft condensed matter
17. S. Tautz: Surfaces of condensed matter
18. H. Bruus: Theoretical microfluidics
19. C.L. Dennis, J.F. Gregg: The art of spintronics: an introduction
21. T.T. Heikkilä: The physics of nanoelectronics: transport and fluctuation phenomena at low temperatures
22. M. Geoghegan, G. Hadziioannou: Polymer electronics

ATOMIC, OPTICAL, AND LASER PHYSICS

7. C.J. Foot: Atomic physics
8. G.A. Brooker: Modern classical optics
9. S.M. Hooker, C.E. Webb: Laser physics
15. A.M. Fox: Quantum optics: an introduction
16. S.M. Barnett: Quantum information
23. P. Blood: Quantum confined laser devices

PARTICLE PHYSICS, ASTROPHYSICS, AND COSMOLOGY

10. D.H. Perkins: Particle astrophysics, second edition
11. Ta-Pei Cheng: Relativity, gravitation and cosmology, second edition
24. G. Barr, R. Devenish, R. Walczak, T. Weidberg: Particle physics in the LHC era
26. M. E. Peskin: Concepts of elementary particle physics

STATISTICAL, COMPUTATIONAL, AND THEORETICAL PHYSICS

12. M. Maggiore: A modern introduction to quantum field theory
13. W. Krauth: Statistical mechanics: algorithms and computations
14. J.P. Sethna: Statistical mechanics: entropy, order parameters, and complexity, second edition
20. S.N. Dorogovtsev: Lectures on complex networks
25. R. Soto: Kinetic theory and transport phenomena
27. M. Maggiore: A modern introduction to classical electrodynamics
A Modern Introduction to Classical Electrodynamics

Michele Maggiore
Département de Physique Théorique
Université de Genève
 Great Clarendon Street, Oxford, OX2 6DP,
United Kingdom
Oxford University Press is a department of the University of Oxford.
It furthers the University’s objective of excellence in research, scholarship,
and education by publishing worldwide. Oxford is a registered trade mark of
Oxford University Press in the UK and in certain other countries
© Michele Maggiore 2023
The moral rights of the author have been asserted
All rights reserved. No part of this publication may be reproduced, stored in
a retrieval system, or transmitted, in any form or by any means, without the
prior permission in writing of Oxford University Press, or as expressly permitted
by law, by licence or under terms agreed with the appropriate reprographics
rights organization. Enquiries concerning reproduction outside the scope of the
above should be sent to the Rights Department, Oxford University Press, at the
address above
You must not circulate this work in any other form
and you must impose this same condition on any acquirer
Published in the United States of America by Oxford University Press
198 Madison Avenue, New York, NY 10016, United States of America
British Library Cataloguing in Publication Data
Data available
Library of Congress Control Number: 2023935108
ISBN 9780192867421
ISBN 9780192867438 (pbk.)
DOI: 10.1093/oso/9780192867421.001.0001
Printed and bound by
CPI Group (UK) Ltd, Croydon, CR0 4YY
Links to third party websites are provided by Oxford in good faith and
for information only. Oxford disclaims any responsibility for the materials
contained in any third party website referenced in this work.
A Maura, Sara, Ilaria e Lorenzo
Preface

This book evolved from the notes of a course that I teach at the Uni-
versity of Geneva, for undergraduate physics students. For many gen-
erations of physicists, including mine, the classic references for classical
electrodynamics have been the textbook by Jackson and that by Lan-
dau and Lifschits.1 The former is still much used, although more modern 1
In the text we will refer to the latest
and excellent textbooks with a somewhat similar structure, such as Garg editions of these books, Jackson (1998)
and Landau and Lifschits (1975). How-
(2012) or Zangwill (2013), now exist, while the latter is by now rarely ever, these books went through many
used, even as an auxiliary reference text for a course. Because of my editions: the first edition of Jackson ap-
field-theoretical background, as my notes were growing I realized that peared in 1962, while that of Landau
they were naturally drifting toward what looked to me as a modern ver- and Lifschits even dates back to 1939.
sion of Landau and Lifschits, and this stimulated me to expand them
further into a book.
While this book is meant as a modern introduction to classical elec-
trodynamics, it is by no means intended as a first introduction to the
subject. The reader is assumed to have already had a first course on
electrodynamics, at a level covered for instance by Griffiths (2017). This
also implies a different structure of the presentation. In a first course
of electrodynamics, it is natural to take a ‘bottom-up’ approach, where
one starts from experimental observations in the simple settings of elec-
trostatics and magnetostatics, and then moves toward time-dependent
phenomena and electromagnetic induction, which eventually leads to
generalizing the equations governing electrostatics and magnetostatics
into the synthesis provided by the full Maxwell’s equation. This ap-
proach is the natural one for a first introduction because, first of all,
gives the correct historical perspective and shows how Maxwell’s equa-
tions emerged from the unification of a large body of observations; fur-
thermore, it also allows one to start with more elementary mathematical
tools, for the benefit of the student that meets some of them for the first
time, while at the same time discovering all these new and fundamental
physics concepts. The price that is paid is that the approach, following
the historical developments, is sometimes heuristic, and the logic of the
arguments and derivations is not always tight.
For this more advanced text, I have chosen instead a ‘top-down’ ap-
proach. Maxwell’s equations are introduced immediately (after an intro-
ductory chapter on mathematical tools) as the ‘definition’ of the theory,
and their consequences are then systematically developed. This has the
advantage of a better logical clarity. It will also allow us to always go
into the ‘real story’, rather than presenting at first a simpler version, to
be later improved.
viii Preface
2
This approach is different from, e.g.
that of Jackson, or Zangwill. It is
instead the same followed by Garg,
and especially by Landau and Lifs-
chits, that even separated the subjects
into two different books: “The Clas-
sical Theory of Fields”, Landau and
Lifschits (1975), for vacuum electrody-
namics, and “Electrodynamics of Con-
tinuous Media”, Landau and Lifschits
(1984) for electrodynamics in materials.
3
By comparison, Jackson introduces
the gauge potentials in full general-
ity for the first time only after about
220 pages and Zangwill after about 500
pages, and their introduction is in gen-
eral presented simply as a trick for sim-
plifying the equations. However, their
role is much more fundamental, since
they are the basic dynamical variables
in a field-theoretical treatment (which
also implies that they will become the
basic variables also when one moves to
a quantum treatment). As for Special
Relativity, Jackson introduces it only
after more than 500 pages, while Zang-
will relegates it to Chapter 22, after 820
pages, and Garg to Chapter 24.
An important aspect of our presentation is that we keep distinct the
discussion of electrodynamics ‘in vacuum’ (i.e., the computation of the
electromagnetic fields generated by localized sources, in the region out-
side the sources) from the study of Maxwell’s equations inside mate-
rials. The study of the equations ‘in vacuum’ reveals the underlying
fundamental structure of the theory, while classical electrodynamics in
material media is basically a phenomenological theory. Mixing the two
treatments, because of a formal similarity among the equations, can be
conceptually confusing. Until Chapter 12 we will focus uniquely on vac-
uum electrodynamics, while from Chapter 13 we study electrodynamics
in materials.2
Focusing first on vacuum electrodynamics allows us to bring out the
two most important structural aspects of the theory at its fundamental
level, namely gauge invariance and the fact that Special Relativity is
hidden in the Maxwell’s equations. We will introduce immediately and
in full generality the gauge potentials, and work out most of the equa-
tions and derivations of vacuum electrodynamics in terms of them. From
a modern field-theoretical perspective, we know that classical electrody-
namics is the prototype of a gauge theory, and the notion of gauge fields
and gauge invariance is central to all modern particle physics, as well as
to condensed matter theory. Similarly, after having duly derived from
Maxwell’s equations the most elementary results of electrostatics and
magnetostatics, as well as the notions of work and electromagnetic en-
ergy and the expansion in static multipoles, we move as fast as possible
to Special Relativity, introducing the covariant formalism and showing
how Maxwell’s equations can be reformulated in a covariant form.3 Hav-
ing in our hands the gauge potentials and the covariant formalism, most
of the subsequent derivations in Chapters 8–12 are performed in terms
of them, with a clear advantage in technical and conceptual clarity.
Even if this book was born from my notes for an undergraduate course,
and is meant to be used for such a course, it has obviously grown well
beyond the original scope, and some parts of it are quite advanced.
More technical sections, or whole chapters that are more specialized,
are clearly marked, so that the book can be used at different levels,
from the undergraduate student, to the researcher that needs to check a
textbook as a reference. Classical electrodynamics, for its richness and
importance, is a subject to which one returns over and over during a
scientist’s career.
Finally, an important point, when writing a textbook of electrodynam-
ics, is the choice of the system of units. In mechanics, the transforma-
tion between systems such as c.g.s. (centimeter-gram-second) and m.k.s.
(meter-kilogram-second) is trivial, and just amounts to multiplicative
factors. However, in electromagnetism there are further complications.
This has led to two main systems of units for classical electrodynamics:
the SI system, and the Gaussian system. As we will discuss in Chapter 2,
the essential difference is that, for electromagnetism, the SI system be-
side the units of length, mass and time, introduces a fourth independent
base unit of current, the ampere, while in the Gaussian system the unit
 ix

of charge, and therefore of current, is derived from the three basic units
of length, mass and time.
The SI system is the natural one for applications to the macroscopic
world: currents are measured in amperes, voltages in volts, and so on.
This makes the SI system the obvious choice for laboratory applications
and in electrical engineering, and SI units are by now the almost uni-
versal standard for electrodynamics courses at the undergraduate level. 4
Actually, its real virtues appear
The Gaussian system, on the other hand, has advantages in other con- when combining electromagnetism with
texts, and in particular leads to neater formulas when relativistic effects quantum mechanics. In this case, the
are important.4 reduction from four to three base units
This state of affairs has led to a rather peculiar situation. In general, obtained with the Gaussian system can
be pushed further, using a system of
undergraduate textbooks of classical electromagnetism always use SI units where one also sets ~ = c = 1,
units; in contrast, more advanced textbooks of classical electrodynamics with the result that one remains with a
are often split between SI and Gaussian units, and all textbooks on single base unit, typically taken to be
quantum electrodynamics and quantum field theory use Gaussian units. the mass unit. In quantum field the-
ory this system is so convenient that
The difficulty of the choice is exemplified by the Jackson’s textbook, units ~ = c = 1 are called natural units
that has been the ‘bible’ of classical electrodynamics for generations of (we will briefly mention them in Sec-
physicists. The second edition (1975), as the first, used Gaussian units tion 2.2). As a consequence, all general-
throughout. However, the third edition (1998) switched to SI units for izations from classical electrodynamics
to quantum electrodynamics (and its
the first 10 chapters, in recognition of the fact that almost all other extensions such as the Standard Model
undergraduate level textbooks used SI units; then, from Chapter 11 of electroweak and strong interactions)
(Special Theory of Relativity) on, it goes back to Gaussian units, in are nowadays uniquely discussed using
the Gaussian system (or, rather, a vari-
recognition of the fact that they are more appropriate than SI units
ant of it, Heaviside–Lorentz or rational-
for relativistic phenomena.5 Gaussian units are also the most common ized Gaussian units, differing just by
choice in quantum mechanics textbooks: when computing the energy the placing of some 4π factors, that we
level of the hydrogen atom, almost all textbooks use a Coulomb potential will also introduce in Chapter 2), sup-
plemented by units ~ = c = 1.
in Gaussian units, −e2 /r, rather than the SI expression −e2 /(4π0 r).6
5
In this book we will use SI units, since this is nowadays the almost Among the other ‘old-time’ classics,
universal standard for an undergraduate textbook on classical electrody- Landau and Lifschits (1975) used Gaus-
sian units, while the Feynman Lectures
namics. However, it is important to be familiar also with the Gaussian on Physics, Feynman et al. (1964), used
system, as a bridge toward graduate and more specialized courses. This SI. The first two editions of the clas-
is particularly important for the student that wishes to go into theo- sic textbook by Purcell used Gaussian
units, but switched to SI for the 3rd edi-
retical high-energy physics where, eventually, only the Gaussian system
tion, Purcell and Morin (2013). Among
will be used. We will then discuss in Section 2.2 how to quickly trans- more recent books, SI is used in Grif-
late from SI to Gaussian units, and, in Appendix A, we will provide an fiths (2017), Zangwill (2013) and Tong
explicit translation in Gaussian units of the most important results and (2015), while Gaussian units are used in
Garg (2012) (with frequent translations
formulas of the main text. to SI units).
6
The most notable exception is the
Finally, I wish to thank Enis Belgacem, Francesco Iacovelli and Michele quantum mechanics textbook Griffiths
Mancarella, who gave the exercise sessions of the course for various years, (2004), that uses SI units, consistently
and Stefano Foffa for useful discussions. I thank again Francesco Iacovelli with the classical electrodynamics book
by the same author.
for producing a very large number of figures of the book. I am grateful
to Stephen Blundell for extremely useful comments on the manuscript.
Last but not least, as with my previous books with OUP, I wish to thank
Sonke Adlung, for his friendly and always very useful advice, as well as
all the staff at OUP.

Geneva, January 2023

Contents

1 Mathematical tools 1
1.1 Vector algebra 1
1.2 Differential operators on scalar and vector fields 3
1.3 Integration of vector fields. Gauss’s and Stokes’s theorems 5
1.4 Dirac delta 7
1.5 Fourier transform 13
1.6 Tensors and rotations 16
1.7 Groups and representations 18
1.7.1 Reducible and irreducible representations 20
1.7.2 The rotation group and its irreducible tensor rep-
resentations 22

2 Systems of units 27
2.1 The SI system 27
2.2 Gaussian units 31
2.3 SI or Gaussian? 36

3 Maxwell’s equations 39
3.1 Maxwell’s equations in vector form 39
3.1.1 Local form of Maxwell’s equations 39
3.1.2 Integrated form of Maxwell’s equations 42
3.2 Conservation laws 43
3.2.1 Conservation of the electric charge 43
3.2.2 Energy, momentum, and angular momentum of
the electromagnetic field 45
3.3 Gauge potentials and gauge invariance 52
3.4 Symmetries of Maxwell’s equations 55

4 Elementary applications of Maxwell’s equations 57

4.1 Electrostatics 57
4.1.1 Coulomb’s law 58
4.1.2 Electric field from a generic static charge density 59
4.1.3 Scalar gauge potential and electrostatic potential 62
4.1.4 Instability of a system of static charges 63
4.1.5 Uniqueness of the solution of electrostatic problems 64
4.1.6 Electrostatics of conductors 66
4.1.7 Electrostatic forces from surface integrals 68
4.2 Magnetostatics 71
4.2.1 Magnetic field of an infinite straight wire 71
xii Contents

4.2.2 Magnetic field of a static current density 76

4.2.3 Force of a magnetic field on a wire and between
two parallel wires 79
4.2.4 Force between generic static current distributions 80
4.2.5 Magnetic forces from surface integrals 82
4.3 Electromagnetic induction 83
4.3.1 Time-varying magnetic field and Lenz’s law 83
4.3.2 Induction on moving loops 84
4.4 Solved problems 86

5 Electromagnetic energy 99
5.1 Work and energy in electrostatics 99
5.2 Energy stored in a static electric field 101
5.2.1 Continuous charge distribution 101
5.2.2 The point-like limit and particle self-energies 104
5.2.3 Energy of charges in an external electric field 107
5.2.4 Energy of a system of conductors 108
5.3 Work and energy in magnetostatics 109
5.4 Energy stored in a static magnetic field 111
5.5 Forces and mechanical potentials 114
5.5.1 Mechanical potentials for conductors 118
5.5.2 Mechanical potentials in magnetostatics 124
5.6 Solved problems 128

6 Multipole expansion for static fields 133

6.1 Electric multipoles 133
6.2 Magnetic multipoles 139
6.3 Point-like electric or magnetic dipoles 141
6.4 Multipole expansion of interaction potentials 144
6.4.1 Electric multipoles in external field 144
6.4.2 Interaction between the electric multipoles of two
charge distributions 147
6.4.3 Interactions of magnetic multipoles 150
6.5 Solved problems 152

7 Special Relativity 155

7.1 The postulates 155
7.2 Space and time in Special Relativity 159
7.2.1 Lorentz transformations 159
7.2.2 Causality and simultaneity 161
7.2.3 Proper time and time dilatation 163
7.2.4 Lorentz contraction 165
7.3 The mathematics of the Lorentz group 166
7.3.1 Four-vectors and Lorentz tensors 166
7.3.2 Contravariant and covariant quantities 168
7.3.3 Invariant tensors of the Lorentz group 170
7.3.4 Infinitesimal Lorentz transformations 172
7.3.5 Decomposition of a Lorentz tensor under rotations 172
 Contents xiii

7.3.6 Covariant transformations of fields 173

7.3.7 More general lessons 177
7.4 Relativistic particle kinematics 177
7.4.1 Covariant description of particle trajectories 177
7.4.2 Action of a free relativistic particle 179
7.4.3 Relativistic energy and momentum 180

8 Covariant formulation of electrodynamics 183

8.1 The four-vector current 183
8.2 The four-vector potential Aµ and the Fµν tensor 185
8.3 Covariant form of Maxwell’s equations 186
8.4 Energy-momentum tensor of the electromagnetic field 188
8.5 Lorentz transformations of electric and magnetic fields 190
8.6 Relativistic formulation of the particle-field interaction 192
8.6.1 Covariant form of the Lorentz force equation 192
8.6.2 The interaction action of a point particle 194
8.7 Field-theoretical approach to classical electrodynamics 197
8.7.1 Euler–Lagrange equations of relativistic fields 197
8.7.2 Lagrangian of the electromagnetic field 202
8.7.3 Noether’s theorem 205
8.8 Solved problems 211

9 Electromagnetic waves in vacuum 217

9.1 Wave equations 217
9.2 Electromagnetic waves in the Lorenz gauge 219
9.3 Electromagnetic waves in the Coulomb gauge 222
9.4 Solutions for E and B 224
9.5 Polarization of light 228
9.6 Doppler effect and light aberration 229

10 Electromagnetic field of moving charges 235

10.1 Advanced and retarded Green’s function 235
10.2 The Liénard–Wiechert potentials 242
10.3 Fields of charge in uniform motion 245
10.4 Radiation field from accelerated charges 249
10.5 Radiation from non-relativistic charges. Larmor formula 252
10.6 Power radiated by relativistic sources 256
10.6.1 Relativistic generalization of Larmor’s formula 256
10.6.2 Acceleration parallel to the velocity 260
10.6.3 Acceleration perpendicular to the velocity 262
10.7 Solved problems 264

11 Radiation from localized sources 269

11.1 Far zone fields for generic velocities 269
11.1.1 Computation in the Lorenz gauge 269
11.1.2 Computation in the Coulomb gauge 273
11.1.3 Radiated power and spectral distribution 275
11.2 Low-velocity limit and multipole expansion of the radia-
tion field 278
xiv Contents

11.2.1 Electric dipole radiation 284

11.2.2 Radiation from charge quadrupole and magnetic
dipole 285
11.3 Near zone, far zone and induction zone 290
11.4 Solved problems 292

12 Post-Newtonian expansion and radiation reaction 295

12.1 Expansion for small retardation 295
12.2 Dynamics to order (v/c)2 298
12.2.1 The gauge potentials to 1PN order 301
12.2.2 Effective dynamics of a system of point charges 303
12.2.3 Reduction of order of the equations of motion 310
12.3 Self-force and radiation reaction 312
12.3.1 Classical extended electron models vs. regulariza-
tion schemes 313
12.3.2 Self-energy and mass renormalization 317
12.3.3 Radiation reaction at 1.5PN order 323
12.3.4 The Abraham–Lorentz–Dirac equation 328
12.3.5 Covariant derivation of mass renormalization and
radiation reaction 334

13 Electromagnetic fields in material media 345

13.1 Maxwell’s equations for macroscopic fields 346
13.2 The macroscopic charge density: free and bound charges 348
13.3 The macroscopic current density 349
13.4 Maxwell’s equations in material media 351
13.5 Boundary conditions on E, B, D, H 353
13.6 Constitutive relations 356
13.6.1 Dielectrics 356
13.6.2 Metals 358
13.6.3 Diamagnetic and paramagnetic materials 359
13.7 Energy conservation 360
13.8 Solved problems 361

14 Frequency-dependent response of materials 365

14.1 General properties of σ(ω), (ω) 365
14.2 Causality constraints and Kramers–Kronig relations 367
14.3 The Drude–Lorentz model for (ω) 370
14.4 The Drude model of conductivity 374
14.5 The dielectric function of metals 377

15 Electromagnetic waves in material media 381

15.1 Electromagnetic waves in dielectrics 381
15.2 Phase velocity and group velocity 384
15.3 Electromagnetic waves in metals 386
15.3.1 Transverse EM waves 387
15.3.2 Longitudinal EM waves and plasma oscillations 391
15.4 Electromagnetic waves in waveguides 394
15.4.1 Maxwell’s equations in a waveguide 395
 Contents xv

15.4.2 Boundary conditions at the surface of conductors 396

15.4.3 TE, TM, and TEM modes 397

16 Scattering of electromagnetic radiation 401

16.1 Scattering cross-section 401
16.2 Scattering on a free electron 403
16.3 Scattering on a bound electron 406

A Electrodynamics in Gaussian units 411

References 431

Index 433
Mathematical tools
1
Classical electrodynamics requires a good familiarity with a set of math-
ematical tools, which will then find applications basically everywhere in 1.1 Vector algebra 1
physics. We find it convenient to begin by recalling some of these con- 1.2 Differential operators on
scalar and vector fields 3
cepts so that, later, the understanding of the physics will not be obscured
1.3 Integration of vector fields.
by the mathematical manipulations. We will focus here on tools that will Gauss’s and Stokes’s
be of more immediate use. Further mathematical tools will be discussed theorems 5
along the way, in the rest of the book, as they will be needed. 1.4 Dirac delta 7
1.5 Fourier transform 13
1.6 Tensors and rotations 16
1.1 Vector algebra
1.7 Groups and representations
18
A vector a has Cartesian components ai . We use the convention that
repeated indices are summed over, so,
X
a·b = ai bi ≡ ai bi , (1.1)
i

where the sum runs over i = 1, 2, 3 in three spatial dimensions, as we will

assume next, or, more generally, over i = 1, . . . , d in d spatial dimensions.
We can introduce the “Kronecker delta” δij , which is equal to 1 if i = j
and zero otherwise. Note that, with the convention of the sum over
repeated indices, we have the identity
ai = δij aj . (1.2)
Then, we can also rewrite
a·b = δij ai bj . (1.3)
From the definition it follows that, in three dimensions, δii = 3. Note
that δij are just the components of the 3×3 identity matrix I, δij = (I)ij
and δii is the trace of the 3 × 3 identity matrix (or, in d dimensions, δij
are the components of the d × d identity matrix, and δii = d).
When using the convention of summing over repeated indices, one
must be careful not to use the same dummy index for different summa-
tions. For example, writing the sums explicitly,
3
! 3 
X X
(a·b)(c·d) = ai bi  cj dj  . (1.4)
i=1 j=1

With the convention of the sum over repeated indices, the right-hand
side becomes ai bi cj dj . Notice that it was important here to use two
different letters, i, j, for the dummy indices involved.
2 Mathematical tools

The vector product is given by

(a × b)i = ijk aj bk , (1.5)

where ijk is the totally antisymmetric tensor (or the Levi–Civita ten-
sor), defined by 123 = +1, together with the condition that it is an-
tisymmetric under any exchange of indices. Therefore ijk = 0 if two
indices have the same value and, e.g., 213 = −123 = −1. This also
implies that the tensor is cyclic, ijk = −jik = jki , i.e., it is unchanged
under a cyclic permutation of the indices. Note that a × b = −b × a.
We will see in Section 1.6 that the tensors δij and ijk play a special role
in the theory of representations of the rotation group. Unit vectors are
denoted by a hat; for instance, x̂, ŷ, and ẑ are the unit vectors along
the x, y and z axes, respectively. Note that, e.g.,

x̂ × ŷ = ẑ . (1.6)

A very useful identity is

ijk ilm = δjl δkm − δjm δkl . (1.7)

(Prove it!) Note the structure of the indices: on the left, the index i is
summed over, so it does not appear on the right-hand side. It is a dummy
index, and we could have used a different name for it. For instance, the
left-hand side of eq. (1.7) could be written as pjk plm , with a different
letter p. In contrast, the indices j, k, l, m are free indices so, if they
appear on the left-hand side, they must also appear on the right-hand
side. Note also that, because of the cyclic property of the epsilon tensor,
the left-hand side of eq. (1.7) can also be written as jki ilm .

Exercise 1.1 Show that

a·(b × c) = ijk ai bj ck . (1.8)

Exercise 1.2 Using eq. (1.7), show that

a × (b × c) = (a·c)b − (a·b)c , (1.9)

(a × b) × c = (a·c)b − (b·c)a . (1.10)

Observe that the vector product is not associative: in general, a×(b×c)

is different from (a × b) × c.

Exercise 1.3 Using eq. (1.7), show that

ijk ijm = 2δkm . (1.11)

Double-check the result by directly identifying the combinations of in-

dices that give a non-zero contributions to the left-hand side of eq. (1.11).
 1.2 Differential operators on scalar and vector fields 3

1.2 Differential operators on scalar and

vector fields
We will use the notation ∂i = ∂/∂xi for the partial derivative with
respect to the Cartesian coordinates xi . Then, if f (x) is a function of the
spatial coordinates, its gradient ∇f is a vector field (i.e., a vector defined
at each point of space) whose components, in Cartesian coordinates, are
given by

(∇f )i = ∂i f (gradient of a scalar function) , (1.12)

or, in vector form,

∇f = (∂x f )x̂ + (∂y f )ŷ + (∂z f )ẑ . (1.13)

The expression in polar coordinates (r, θ, φ) can be obtained by perform-

ing explicitly the transformation between the derivatives ∂x , ∂y , ∂z and
the derivatives ∂r = ∂/∂r, ∂θ = ∂/∂θ , and ∂φ = ∂/∂φ, and expressing
x̂, ŷ, ẑ in terms of the unit vectors r̂, θ̂, φ̂ (and similarly in any other co-
ordinate system, such as cylindrical coordinates); we will give the results
in polar ad cylindric coordinates for different operators at the end of this
section. Given a vector field v(x), we can form two notable quantities
with the action of ∇: the divergence

∇·v = ∂i vi (divergence of a vector field) , (1.14)

which is a scalar field (i.e., a quantity invariant under rotations, defined

at each point of space), and the curl, ∇ × v, which is again a vector
field, with Cartesian components

(∇ × v)i = ijk ∂j vk (curl of a vector field) . (1.15)

Given a function f , after forming the vector field ∇f , we can obtain

again a scalar by taking the divergence of ∇f . This defines the Laplacian
∇2 , ∇2 f = ∇·(∇f ), or

∇2 f = ∂i ∂i f = (∂x2 + ∂y2 + ∂z2 )f , (1.16)

where ∂x = ∂/∂x, etc. Similarly, we can differentiate further the diver-

gence or the curl of a vector field. For instance, ∇(∇·v) is a vector field
with components
[∇(∇·v)]i = ∂i ∂j vj , (1.17)
while ∇·(∇ × v) is a scalar field, since it is the divergence of a vector
field. However, from the explicit computation in components,

∇·(∇ × v) = ∂i (ijk ∂j vk )
= ijk ∂i ∂j vk
= 0. (1.18)
4 Mathematical tools

The last equality follows because ∂i ∂j is an operator symmetric in the

(i, j) indices (we always assume that the derivatives act on functions,
or on vector fields, that are continuous and infinitely differentiable ev-
erywhere, so the derivatives commute, ∂i ∂j = ∂j ∂i ), and therefore it
gives zero when contracted with the antisymmetric tensor ijk . Thus,
the gradient of a curl vanishes. Similarly, the curl of a gradient vanishes:
(∇ × ∇f )i = ijk ∂j ∂k f = 0 , (1.19)
again because ∂j ∂k is symmetric in (j, k). The Laplacian of a vector
field is defined, using Cartesian coordinates, as
(∇2 v)i ≡ ∂j ∂j vi = (∂x2 + ∂y2 + ∂z2 )vi . (1.20)
Exercise 1.4 Using eq. (1.7), show that
∇ × (∇ × v) = ∇(∇·v) − ∇2 v . (1.21)

For future reference, we give the expression of the gradient and Lapla-
cian of a scalar field, and of the divergence and curl of a vector field,
in Cartesian coordinates (x, y, x), in polar coordinates (r, θ, φ), and in
1
Our convention on the polar angles is cylindrical coordinates (ρ, ϕ, z).1,2 Denoting by {x̂, ŷ, ẑ}, {r̂, θ̂, φ̂}, and
such that spherical coordinates are re- {ρ̂, ϕ̂, ẑ}, respectively, the unit vectors in the corresponding directions,
lated to Cartesian coordinates by x =
r sin θ cos φ, y = r sin θ sin φ, z =
we have
r cos θ, with θ ∈ [0, π] and φ ∈ [0, 2π]. ∇f = (∂x f )x̂ + (∂y f )ŷ + (∂z f )ẑ (1.22)
Cylindrical coordinates are related to
Cartesian coordinates by x = ρ cos ϕ, 1 1
= (∂r f )r̂ + (∂θ f )θ̂ + (∂φ f )φ̂ (1.23)
y = ρ sin ϕ (with ϕ ∈ [0, 2π]) and z = z. r r sin θ
Then, as ϕ increases, we rotate coun- 1
terclockwise with respect to the z axis. = (∂ρ f )ρ̂ + (∂ϕ f )ϕ̂ + (∂z f )ẑ , (1.24)
This means that ρ̂×ϕ̂ = +ẑ.
ρ
2
The Laplacian of a vector field has ∇2 f = ∂x2 f + ∂y2 f + ∂z2 f (1.25)
been defined from eq. (1.20) in terms of
the Cartesian coordinates and, in this 1 1 1
case, on each component of the vec-
= 2
∂r (r2 ∂r f ) + 2 ∂θ (sin θ∂θ f ) + 2 2 ∂φ2 f (1.26)
r r sin θ r sin θ
tor field, it has the same form as the 1 1 2 2
Laplacian acting on a scalar. This is no = ∂ρ (ρ∂ρ f ) + 2 ∂ϕ f + ∂z f , (1.27)
longer true in polar of cylindrical coor- ρ ρ
dinates. In that case, ∇2 v can be more
easily obtained from eq. (1.21), using ∇·v = ∂x vx + ∂y vy + ∂z vz (1.28)
the corresponding expressions of ∇·v
1 1 1
and ∇ × v. = 2
∂r (r2 vr ) + ∂θ (vθ sin θ) + ∂ φ vφ (1.29)
r r sin θ r sin θ
1 1
= ∂ρ (ρvρ ) + ∂ϕ vϕ + ∂z vz , (1.30)
ρ ρ

∇×v = x̂(∂y vz − ∂z vy ) + ŷ(∂z vx − ∂x vz ) + ẑ(∂x vy − ∂y vx ) (1.31)

 
1 1 1
= r̂ [∂θ (vφ sin θ) − ∂φ vθ ] + θ̂ ∂φ vr − ∂r (rvφ )
r sin θ r sin θ r
1
+φ̂ [∂r (rvθ ) − ∂θ vr ] (1.32)
r 
1 1
= ρ̂ ∂ϕ vz − ∂z vϕ + ϕ̂ (∂z vρ − ∂ρ vz ) + ẑ [∂ρ (ρvϕ ) − ∂ϕ vρ ] .
ρ ρ
(1.33)
 1.3 Integration of vector fields. Gauss’s and Stokes’s theorems 5

1.3 Integration of vector fields. Gauss’s

and Stokes’s theorems
Given a vector field v(x) and a curve C, one can define the line integral
Z
d` · v , (1.34)
C

by breaking the curve over infinitesimal segments, and introducing, in

each segment, a vector d` of length d`, tangent to the curve. Notice that
the line integral defined in this way is a scalar quantity. If the curve C
is closed, the line integral (1.34) is known as the circulation of v around
H
the curve. For a closed curve, we will denote the line integral by d`.
The integral over a two-dimensional surface S can be defined similarly.
We split the surface in infinitesimal surface elements of area ds,3 and 3
When we want to stress that this is
we define ds as the vector of modulus ds, pointing in the direction per- a two-dimensional surface element, we
will write it as d2 s. Otherwise, to sim-
pendicular to the surface element (for a closed surface, the convention plify the notation, we write simply ds.
is to choose the outward normal, otherwise a choice of orientation must
be made). Writing the unit vector normal to the surface as n̂, we have
ds = n̂ ds. The surface integral of a vector field v(x) is then given by
Z Z
ds · v = ds (v·n̂) . (1.35)
S S

For a closed surface, this defines the flux of v through S.

H In the case of
a closed surface, we will denote the surface integral by ds.
The fundamental theorem of calculus states that, for a function of a
single variable x,
Z x2
df
dx = f (x2 ) − f (x1 ) . (1.36)
x1 dx
This can be generalized to the line integral of a function of the three-
dimensional variable x: from the definition of the line integral (1.34)
one can show (do it!) that, for a function f (x) integrated over a curve
C with endpoints x1 and x2 ,
Z
d` ·∇f = f (x2 ) − f (x1 ) . (1.37)
C

Note in particular that, if C is closed, the line integral of a gradient

vanishes. Stokes’s theorem and Gauss’s theorem are generalizations of
eq. (1.37) to surfaces and to volumes, respectively. In particular, let C
be a closed curve and let S be any surface that has C as its boundary
(i.e., ∂S = C, where the notation ∂S stands for the boundary of S).
Then, Stokes’s theorem asserts that, for a vector field v(x) (with our
usual assumptions of differentiability, that we will not repeat further),
Z I
ds · (∇ × v) = d` · v (Stokes’s theorem) . (1.38)
S C
6 Mathematical tools

The orientation convention is that, if we go around the loop C in the

direction of the line integral, the normal to S is obtained with the right-
hand rule.
Another useful identity is obtained by setting, in Stokes’s theorem,
v(x) = ψ(x)w, where w is a constant vector. Then, (∇ × v)i =
ijk (∂j ψ)wk and eq. (1.38) becomes
Z I
wk dsi ijk ∂j ψ = wk d`k ψ . (1.39)
S C

Since this is valid for generic w, we get

Z I
dsi ijk ∂j ψ = d`k ψ , (1.40)
S C

or, in vector notation,

Z I
ds ×∇ψ = d` ψ . (1.41)
S C

Yet another useful identity following from Stokes’s theorem is obtained

by setting v(x) = u(x)×w, where, again, w is a constant vector. Then,
(∇×v)i = ijk ∂j (klm ul wm )
= ijk klm (∂j ul )wm
= (∂j ui )wj − (∂j uj )wi , (1.42)
where, in the last line, we used eq. (1.7). Then eq. (1.38) gives
I Z
wk ijk d`i uj = dsi [(∂j ui )wj − (∂j uj )wi ]
C S Z 
Z
= wk dsi ∂k ui − dsk ∂i ui , (1.43)
S S

and therefore
I Z Z
ijk d`i uj = dsi ∂k ui − dsk ∂i ui . (1.44)
C S S

A useful application of this formula is obtained choosing ui (x) = xi .

Then ∂k ui = δik and ∂i ui = 3, so eq. (1.44) gives
I Z
ijk d`i xj = −2 dsk . (1.45)
C S

However, for a planar surface

Z
dsk ≡ An̂k , (1.46)
S

where A is the area of the surface and n̂ is the unit vector normal to
it. We therefore obtain an elegant formula for the area A of a planar
surface S, bounded by a curve C,
I
1
An̂ = x×d` . (1.47)
2 C
 1.4 Dirac delta 7

Gauss’s theorem extends Stokes’s theorem further, to integration over

volumes: let V be a finite volume bounded by the surface S, i.e., ∂V = S.
Then,
Z Z
d3 x ∇·v = ds · v (Gauss’s theorem) . (1.48)
V S

We will make use very often of both Gauss’s and Stokes’s theorems.4 4
Proceeding as for Stokes’s theorem, if
A vector field such that ∇ × v = 0 everywhere is called irrotational, we set v(x) = ψ(x)w, with w constant,
we also get the useful identity
or curl-free. We have seen in eq. (1.19) that, if v is the gradient of a Z Z
function, v = ∇f , then it is irrotational. A sort of converse of this d3 x ∇ψ = ds ψ , (1.49)
V S
statement holds:
while, setting v(x) = u(x)×w, we get
Z Z
Theorem for curl-free fields. Let v be a vector field such that d3 x ∇×u = ds ×u . (1.50)
∇ × v = 0 everywhere in a region V simply connected (i.e., such that V S

every loop in V can be continuously shrunk to a point). Then, there

exists a function f such that v = ∇f .
A vector field v such that ∇·v = 0 is called solenoidal, or divergence-
free. Similarly, there is a sort of inverse to eq. (1.18):

Theorem for divergence-free fields. Let v be a vector field such

that ∇·v = 0 everywhere in a volume V such that every surface in V
can be continuously shrunk to a point. Then, there exists a vector field
w such that v = ∇ × w.

1.4 Dirac delta

The Dirac delta is an especially useful mathematical object, that appears
everywhere in physics. Physically, it can be seen as the modelization of
a point-like object. The Dirac delta δ(x) is not a function in the proper
sense. Rather, in one dimension, it is defined from the conditions that

δ(x − x0 ) = 0 if x 6= x0 , (1.51)

and that, for any function f (x) regular in an integration region I that
includes x0 , Z
dx δ(x − x0 )f (x) = f (x0 ) . (1.52)
I

Note that the integral on the left-hand side vanishes if I does not include
x0 because of eq. (1.51) [and of the assumed regularity of f (x)]. On the
other hand, again because of eq. (1.51), the integral in the left-hand side
of eq. (1.52) is independent of I, as long as x0 ∈ I. In the following we
will set for definiteness I = (−∞, +∞), so eq. (1.52) reads
Z +∞
dx δ(x − x0 )f (x) = f (x0 ) . (1.53)
−∞
8 Mathematical tools

Observe that, applying this definition to the case of the function f (x) =
1, we get the normalization condition
Z +∞
dx δ(x) = 1 . (1.54)
−∞

Since the Dirac delta vanishes at all points x 6= x0 , but still the integral
in the left-hand side of eq. (1.53) is non-zero, it must be singular in x0 .
Actually, the Dirac delta is not a proper function, but can be defined
by considering a sequence of functions δn (x, x0 ) such that, as n → ∞,
δn (x, x0 ) → 0 for x 6= x0 , and δn (x, x0 ) → +∞ for x = x0 , while
maintaining the normalization condition (1.54). As an example, one can
take a sequence of gaussians centered on x0 , with smaller and smaller
width,
1 2 2
δn (x − x0 ) = √ e−(x−x0 ) /(2σn ) , (1.55)
2π σn
with σn = 1/n. Another option could be to use

n for |x − x0 | < 1/(2n)
δn (x − x0 ) = (1.56)
0 for |x − x0 | > 1/(2n) .
These two sequences of functions are shown in Fig. 1.1. In both cases,
δn (x)
the limit of δn (x − x0 ) for n → ∞ does not exists, since it diverges when
x = x0 , and therefore does not define a proper function δ(x). However,
n → ∞ =⇒ σn → 0

one can generalize the notion of functions to the notion of distributions

(or “improper functions”), which are defined from their action inside
an integral, when convolved with “test” functions f (x) (with suitably
defined properties of regularity and, possibly, behavior at infinity). In
the case of the Dirac delta, the definition in the sense of distributions is
given by eq. (1.53). Using the explicit expression of the functions δn (x)
x given in eq. (1.56), for a function f (x) regular near x0 , we get
δn (x)

Z +∞ Z x0 + 2n1

lim dx δn (x − x0 )f (x) = lim n dx f (x)

n→∞ −∞ n→∞ 1
x0 − 2n
n→∞

   
1 1
= lim n x0 + − x0 − f (x0 )
n→∞ 2n 2n
= f (x0 ) . (1.57)

x Therefore, in the sense of distributions, i.e., after multiplying by a

smooth function f (x) and integrating, we have
Fig. 1.1 A sequence of approxima-
δ(x − x0 ) = lim δn (x − x0 ) . (1.58)
tions to the Dirac δ function, us- n→∞
ing the gaussians (1.55) (top panel)
From the definition, we see that the Dirac delta only makes sense when
or the “rectangles” (1.56) (lower
panel).
it appears inside an integral. In physics, however, with an abuse of nota-
tion, the universal use is to treat it as if it were a normal function (and
it is even called the Dirac delta “function”!), with the understanding
that the relations in which it enters must be understood in the sense of
distributions, i.e., multiplied by a test function and integrated.
 1.4 Dirac delta 9

From the definitions (1.55) or (1.56), setting x0 = 0, we see that

the Dirac delta function is even in x, δ(x) = δ(−x). Two more useful
properties are left as an exercise to the reader:

Exercise 1.5 Using the definition (1.53) show that, if a is a non-zero

real number,
1
δ(ax) = δ(x) . (1.59)
|a|
Exercise 1.6 Using again eq. (1.53) show that, if g(x) is a function
which has only one simple zero in x = x0 , then
1
δ (g(x)) = δ(x − x0 ) , (1.60)
|g 0 (x0 )|
where g 0 (x) = dg/dx. Show that, if g(x) has several simple zeros at the
points x = xi (i = 1, . . . , n), this generalizes to
n
X 1
δ (g(x)) = δ(x − xi ) . (1.61)
i=1
|g 0 (xi )|

Exercise 1.7 Show that, in the sense of distributions,

xδ(x) = 0 . (1.62)

Another useful notion is the derivative of the Dirac delta, δ 0 (x), which,
in the sense of distributions, is defined from
Z +∞ Z +∞
dx δ 0 (x − x0 )f (x) ≡ − dx δ(x − x0 )f 0 (x)
−∞ −∞
= −f 0 (x0 ) . (1.63)

This definition is clearly motivated by the analogy with the integration

by parts of a normal function. Taking δ(x) as the limit for n → ∞ (in the
sense of distributions) of a series δn (x) of continuous and differentiable
functions, such as the gaussians (1.55), one can see that δ 0 (x) is obtained,
again in the sense of distributions, from the limit n → ∞ of δn0 (x).
Indeed, for δn (x) differentiable (and vanishing at x = ±∞), the standard
integration by parts goes through,5 and 5
We also assume that the test functions
Z +∞ Z +∞ f (x) go to zero at ±∞. In fact, here
0 it is sufficient that they do not grow
lim dx δn (x − x0 )f (x) = − lim dx δn (x − x0 )f 0 (x) so fast to compensate the exponential
n→∞ −∞ n→∞ −∞ decay of the gaussian δn (x), so that, in
= −f 0 (x0 ) , (1.64) the integration by parts, we can discard
the boundary terms at infinity.
where the last equality follows from eq. (1.58). Therefore, in the same
sense as eq. (1.58),

δ 0 (x − x0 ) = lim δn0 (x − x0 ) . (1.65)

n→∞

Notice that δ 0 (x) is an odd function of x, δ 0 (−x) = −δ 0 (x), as it is

clear from its representation in terms of δn0 (x), with δn (x) given by the
10 Mathematical tools

sequence of gaussians. Higher-order derivatives of the Dirac delta are

defined similarly,
Z +∞  n  Z +∞
d n dn f (x)
dx n
δ(x − x 0 ) f (x) ≡ (−1) dx δ(x − x0 )
−∞ dx −∞ dxn
n
d f (x)
= (−1)n |x=x0 . (1.66)
dxn
There is an interesting relation between the Dirac delta and the Heav-
iside theta function (also called simply the “theta function”), defined
by 
1 for x > 0
θ(x) = (1.67)
0 for x < 0 .
Observe that, from the definition of the Dirac delta,
6
Note that we have proved eq. (1.68)
Z x
for x > 0 and for x < 0. Whether it also dx0 δ(x0 ) = θ(x) . (1.68)
holds for x = 0 depends on the series −∞
δn (x) that we use for approximating
δ(x), and on how we define θ(x = 0).
Indeed, if x < 0, the integration region does not include the point x0 = 0
If we use functions δn (x) that are sym- where δ(x0 ) is singular, so the integral vanishes. For x > 0, instead,
metric around x = 0, as in eqs. (1.55) we can extend the integral in eq. (1.68) up to x0 = ∞, since anyhow
or (1.56), the equality holds if we define δ(x0 ) = 0 for x0 > 0, and we can then use eq. (1.54) to show that the
θ(0) = 1/2. However, one could use dif-
ferent, non-symmetric series δn (x), and integral is equal to one. Conversely, for a differentiable function f (x)
one should then assign a different value that vanishes at infinity, treating θ0 (x) as a distribution and defining its
to θ(0) for the equality to hold. In fact, derivative as we have done for the Dirac delta,
the whole issue is irrelevant since the Z +∞ Z +∞
relation (1.70) holds only in the sense
of distributions, i.e., after integrating, dx θ0 (x)f (x) ≡ − dx θ(x)f 0 (x)
−∞
and the fact that it holds in a single Z−∞∞
point or not does not affect any inte- df
grated relation. = − dx
0 dx
7
For instance, by completing the square = −[f (∞) − f (0)]
in the exponent one gets
Z +∞ = f (0) . (1.69)
1 2 2
dx e− 2 n x −ikx
−∞ This shows that, in the sense of distributions,
2 Z +∞ 2
− k − n (x+ ik2 )2
= e 2n2 dx e 2 n
θ0 (x) = δ(x) , (1.70)
−∞
2 Z+∞ 2
− k2 − n2 0 2
which could also have been formally derived by taking the derivative
=e 2n dx0 e (x )

2
−∞
√ of eq. (1.68).6 This result could have also been proved using a sequence
− k2 2π δn (x) of approximations to the Dirac delta, and showing that, plugging it
=e 2n , (1.72)
n
on the left hand side of eq. (1.68), we get a continuous and differentiable
where we introduced x0 = x + ik/n2 . approximation to the theta function.
More precisely, we have actually con-
sidered a closed contour in the complex The Dirac delta has an extremely useful integral representation. A
plane z = x + iy, composed by the x simple way to obtain it is to use the sequence of gaussians (1.55). Then,
axis y = 0, and by the parallel line Z +∞ Z +∞
y = ik/n2 , and closed the contour join- n 1 2 2

ing these two lines at infinity. Since the dx δn (x)e−ikx = √ dx e− 2 n x −ikx

−∞ 2π −∞
integrand has no singularity inside this 2
/(2n2 )
contour, by the Cauchy theorem the in- = e−k , (1.71)
tegral over the x axis is the same as the
integral over the line y = ik/n2 , i.e., as can be proven by carrying out the integral on the right-hand side of
over the variable z = x + ik/n2 .
the first line.7 Similarly,
 1.4 Dirac delta 11

Z +∞
dk − k22 +ikx n 1 2 2
e 2n = √ e− 2 n x
−∞ 2π 2π
= δn (x) . (1.73)

Taking the limit n → ∞ of these relations we therefore get

Z +∞
dx δ(x)e−ikx = 1 , (1.74)
−∞

and its inverse relation

Z +∞
dk ikx
e = δ(x) . (1.75)
−∞ 2π
Equation (1.74) could have been derived more simply from the defining
property of the Dirac delta, eq. (1.53), observing that, in x = 0, e−ikx =
1. Equation (1.75) was less evident, and provides a very useful integral
representation of the Dirac delta.8 In Section 1.5, we will use it to give 8
Note that, renaming the integration
a simple derivation of the inversion formula of the Fourier transform. variable k → −k, we can also write
eq. (1.75) as
The generalization to more than one dimension is straightforward. In Z +∞
particular, in three spatial dimensions, we define the three-dimensional dk −ikx
e = δ(x) . (1.76)
Dirac delta as −∞ 2π

δ (3) (x) = δ(x)δ(y)δ(z) , (1.77)

and this is a distribution to be multiplied by test functions f (x) and
integrated over d3 x. Then, eq. (1.53) becomes
Z
d3 x δ (3) (x − x0 )f (x) = f (x0 ) , (1.78)

while the integral representation (1.75) becomes

Z
d3 k ik·x
e = δ (3) (x) . (1.79)
(2π)3

Example 1.1 Divergence of r̂/r2 . As a particularly important appli-

cation of the concepts developed in Sections 1.2, 1.3, and in the present
section, we perform the computation of the divergence of the vector field
x
v(x) =
r3
r̂
= , (1.80)
r2
where r = |x| and r̂ is the unit vector in the radial direction. In polar
coordinates, vr = 1/r2 , vθ = vφ = 0. If we use eq. (1.29), we apparently
get
 
1 2 1
∇·v = ∂r r × 2 (r 6= 0)
r2 r
= 0. (1.81)
12 Mathematical tools

However, we have stressed that this only holds for r 6= 0, since these
manipulations become undefined at r = 0. To understand the behavior
of ∇·v in r = 0, we use Gauss’s theorem (1.48) in a volume V given by
a spherical ball of radius R. Its boundary is the sphere S 2 , and on the
boundary v = r̂/R2 , while ds = R2 dΩ r̂, where dΩ is the infinitesimal
9
Recall that the infinitesimal solid an- solid angle.9 Then,
gle dΩ is defined from the transforma- Z Z
tion from Cartesian to spherical coor-
dinates. In two dimensions, from x = d3 x ∇·v = ds · v
V 2
r cos θ and y = r sin θ, it follows that ZS
dxdy = rdrdθ. Similarly, in three di- r̂
= R2 dΩ r̂ · 2
mensions, the relation between Carte- 2 R
sian and spherical coordinates (as we ZS
already mentioned in Note 1 on page 4) = dΩ
is x = r sin θ cos φ, y = r sin θ sin φ, z = S2
r cos θ, with θ ∈ [0, π] and φ ∈ [0, 2π]. = 4π . (1.86)
Computing the Jacobian of the trans-
formation,
This shows that ∇·v cannot be zero everywhere. Rather, since ∇·v = 0
dxdydz = r2 sin θdrdθdφ for r 6= 0, but still its integral in d3 x over any volume V is equal to 4π,
= r2 drdΩ , (1.82) we must have
where  
r̂
dΩ = sin θdθdφ . (1.83) ∇· = 4π δ (3) (x) . (1.87)
r2
Then, the total integral over the solid
angle is
Z Z π Z 2π From this, we can obtain another very useful result. Using the expression
dΩ = dθ sin θ dφ (1.23) of the gradient in polar coordinates, we get
0 0
= 4π , (1.84)  
1 r̂
so the total solid angle in three dimen-
∇ =− 2. (1.88)
r r
sions is 4π. Observe that we can also
write dΩ = d cos θ dφ, reabsorbing the Writing
minus sign from d cos θ = − sin θdθ into
a change of the integration limits, so    
1 1
that ∇2 = ∇· ∇
Z 1 Z 2π r r
 
Z
dΩ = d cos θ dφ . (1.85) r̂
−1 0 = −∇· , (1.89)
r2

we see that eq. (1.87) implies that

1
∇2 = −4πδ (3) (x) . (1.90)
r
Replacing x by x − x0 , for x0 generic, we then also have

1
∇2 = −4πδ (3) (x − x0 ) . (1.91)
|x − x0 |

We will use this result in Section 4.1.2, when we will introduce the notion
of Green’s function of the Laplacian.
 1.5 Fourier transform 13

1.5 Fourier transform

We next recall the definition and some basic properties of the Fourier
transform. For a function of one spatial variable f (x), we define the 10
More precisely, one must restrict to a
Fourier transform f˜(k) as10 space of functions such that the manip-
ulations below are well defined. This
Z +∞ can be obtained for instance consider-
f˜(k) = dx f (x)e−ikx . (1.92) ing f ∈ L1 (R), the space of functions
−∞ whose absolute value is integrable over
R.
Observe that, if f (x) is real, f˜∗ (k) = f˜(−k). The simplest way to invert
this relation between f (x) and f˜(k) is to use the integral representation 11
This was not the historical path. The
of the Dirac delta, eq. (1.75).11 Multiplying eq. (1.92) by eikx , integrating theory of distributions, which puts the
over dk/(2π), and changing the name of the integration variable to x0 in notion of Dirac delta on a sound math-
the right-hand side of eq. (1.92), we get ematical basis, was only developed in
the first half of the 20th century, while
Z +∞ Z +∞ Z
dk ˜ dk ikx +∞ 0 0 the original work of Fourier dates back
f (k)e ikx
= e dx f (x0 )e−ikx to 1822.
−∞ 2π −∞ 2π −∞
Z +∞ Z +∞ 12
There are different conventions for
dk ik(x−x0 )
= dx0 f (x0 ) e the factors 2π in the definition of the
−∞ −∞ 2π Fourier transform. The one that we
Z +∞ have used is, nowadays, the most com-
= dx0 f (x0 )δ(x − x0 ) mon in physics. Another common
−∞ choice is to define
= f (x) . (1.93) 1
Z +∞
f˜(k) = √ dx f (x)e−ikx ,
2π −∞
Therefore, the inversion of eq. (1.92) is12 (1.94)
Z +∞ in which case eq. (1.96) becomes
dk ˜ Z +∞
f (x) = f (k)eikx . (1.96) f (x) = √
1
dk f˜(k)eikx .
−∞ 2π 2π −∞
(1.95)
Another useful relation is obtained considering the convolution of two
functions f (x) and g(x), defined by 13
The explicit computation goes as fol-
Z +∞ lows:
dx0 f (x0 )g(x − x0 ) .
Z +∞
F (x) = (1.97) F̃ (k) = dx F (x)e−ikx
−∞ −∞
Z +∞ Z +∞
13
Taking the Fourier transform we get = dx dx0 f (x0 )
−∞ −∞
0
)+x0 ]
F̃ (k) = f˜(k)g̃(k) . (1.98) ×g(x − x0 )e−ik[(x−x
Z +∞ 0
= dx0 f (x0 )e−ikx
Therefore, the Fourier transform of a convolution is equal to the product −∞
of the Fourier transforms. This is known as the convolution theorem. +∞
Z
0
× dx g(x − x0 )e−ik(x−x ) .
Equations (1.92), (1.96), and (1.98) are easily generalized to any num- −∞
ber of spatial dimensions. In particular, in three spatial dimensions, the Introducing y = x − x0 , the last integral
Fourier transform is defined as over dx at fixed x0 is the same as an
Z integral over dy, so
˜
f (k) = d3 x f (x)e−ik·x , (1.99) Z +∞
0
F̃ (k) = dx0 f (x0 )e−ikx
−∞
Z +∞
and its inversion gives × dy g(y)e−iky
Z −∞
d3 k ˜ f˜(k)g̃(k) .
f (x) = f (k)eik·x . (1.100) =
(2π)3
14 Mathematical tools

If f (x) is real, f˜∗ (k) = f˜(−k). The convolution theorem now tells us
that, if Z
F (x) = d3 x0 f (x0 )g(x − x0 ) , (1.101)

then
F̃ (k) = f˜(k)g̃(k) . (1.102)
For a function of time f (t) we will denote the integration variable that
enters in the Fourier transform by ω, and we will also use a different
sign convention, defining the Fourier transform f˜(ω) as
Z
˜
f (ω) = dt f (t)eiωt , (1.103)

so that Z
dω ˜
f (t) = f (ω)e−iωt . (1.104)
2π
In the context of Special Relativity, the advantage of using a different
sign convention between the spatial and temporal Fourier transforms is
that the Fourier transform of a function f (t, x), with respect to both t
and x, can be written as
Z
dωd3 k ˜
f (t, x) = f (ω, k)e−i(ωt−k·x) , (1.105)
(2π)4
i.e., Z
f˜(ω, k) = dtd3 x f (t, x)ei(ωt−k·x) , (1.106)

and, as we will see, the combination (ωt − k·x) is more natural from the
point of view of Special Relativity and Lorentz invariance.
Example 1.2 In this example, we compute the three-dimensional Fourier
transform of the function
1
f (r) = , (1.107)
r
that appears in the Coulomb potential. A direct computation leads to
14
Indeed, this function does not belong a problem of convergence.14 Indeed, from eqs. (1.99), (1.82), and (1.85),
to L1 (R3 ), compare with Note 10 on Z
page 13. 1
f˜(k) = d3 x e−ik·x
r
Z ∞ Z 2π Z 1
1
= dr r2 dφ d cos θ e−ikr cos θ , (1.108)
0 0 −1 r
where, to perform the integral, we have written d3 x in polar coordinates
with k as polar axis, so θ is the angle between k and x. The integral over
dφ just gives a 2π factor, and the integral over cos θ is also elementary,
Z 1
2
dα e−ikrα = sin(kr) , (1.109)
−1 kr
so we get Z ∞
4π
f˜(k) = 2 du sin u , (1.110)
k 0
 1.5 Fourier transform 15

where k = |k| and u = kr. The integral over du, however, does not
converge at u = ∞, and is not well defined without a prescription. We
then start by computing first the Fourier transform of the function
e−µr
V (r) = , (1.111)
r
where µ > 0, and has the dimensions of the inverse of a length. This
function, which corresponds to an interaction potential known as the
Yukawa potential, reduces to the Coulomb potential as µ → 0+ . Per-
forming the same passages as before gives
Z
4π ∞
Ṽ (k) = 2 du sin u e−u , (1.112)
k 0
where  = µ/k. For non-zero , i.e., non-zero µ, the factor e−u ensures 15
A note for the advanced reader. In
the convergence of the integral. Writing sin u = (eiu − e−iu )/(2i), the quantum field theory, the Coulomb
integral is elementary, potential is understood as the in-
teraction between two static charges
 ∞ mediated by the exchange of a massless
4π 1 1 (i−)u 1 −(i+)u
Ṽ (k) = e + e particle, the photon. The exchange of
k 2 2i i −  i+ 0 a massive particle produces instead a
4π 1 Yukawa potential, with the constant
= µ related to the mass m of the ex-
k 2 1 + 2 changed particle by µ = mc/~, see
4π e.g., Section 6.6 of Maggiore (2005).
= . (1.113)
k + µ2
2 This way of regularizing the integral
therefore corresponds, physically, to
Therefore, assigning a small mass mγ to the
e−µr 4π photon and then taking the limit
V (x) = ⇐⇒ Ṽ (k) = . (1.114) mγ → 0. Indeed, one way to put limits
r k 2 + µ2
on the photon mass is to assume that
Since the limit µ → 0+ of these expressions is well defined, we can now the Coulomb interaction is replaced
define the Fourier transform of the Coulomb potential as the limit for by a Yukawa potential, and obtain
limits on mγ . Currently, the strongest
µ → 0+ of the Fourier transform of the Yukawa potential,15 so limit on the photon mass coming
from a direct test of the Coulomb law
1 4π gives mγ c2 < 1 × 10−14 eV. Writing
f (x) = ⇐⇒ f˜(k) = 2 . (1.115)
r k µ = 1/r0 , so that r0 = ~/(mγ c), this
translate into a limit r0 > 2 × 107 m,
i.e., there is no sign of an exponential
The correctness of this limiting procedure can be checked observing that, decay corresponding to a Yukawa po-
if we rather start from f˜(k) = 4π/k 2 and compute the inverse Fourier tential up to such scales. Other limits
transform, we get 1/r without the need of regulating any divergence. on the mass of the photon, not based on
a direct measurement of the Coulomb
Indeed, in this case we get
law, are even stronger, with the most
Z stringent being mγ c2 < 1 × 10−18 eV,
d3 k 4π ik·x
f (r) = e corresponding to r0 > 2 × 1011 m, see
(2π)3 k 2 https://pdg.lbl.gov/2021/listings/
Z ∞ Z 1 contents_listings.html. Another
4π 2 1
= 2π k dk d cos θ 2 eikr cos θ way to search for deviations from
8π 3 −1 k Coulomb’s law is to look for a force
Z ∞0 proportional to 1/r2+ , and set limits
1 2 sin u
= du on . This is a purely phenomenolog-
r π 0 u ical parametrization and, contrary to
1 the case of the Yukawa potential (and
= , (1.116) to statements in some textbook), it
r
R∞ has no field-theoretical interpretation
since 0 du (sin u)/u converges, and has the value π/2. in terms of a photon mass.
16 Mathematical tools
16
Here, we are keeping the axes of the
reference frame fixed, and rotate the
vector by an angle θ. Then vx0 and vy0 in
eqs. (1.117) and (1.118) are the compo-
nents of the rotated vector with respect
to these fixed axes. This is called the
“active” point of view. Equivalently, we
can keep the vector fixed and rotate the
axes by an angle −θ. Then, vx0 and vy0
in eqs. (1.117) and (1.118) are the com-
ponents of the vector v with respect to
the new system of axes. This is called
the “passive” point of view.
17
In elementary physics, we are usu-
ally interested only in rotations in two
or in three spatial dimensions. The
generalization to arbitrary dimensions,
however, is already a useful preparation
for the extension to more complicated
transformations, such as Lorentz trans-
formations.
1.6 Tensors and rotations
The elementary definition of a vector is based on the notion of an arrow,
i.e., an object with a length and a direction. It is very useful to under-
stand vectors in a more elaborate language, that of representations of
the rotation group. This will allow us to better understand the meaning
of other objects, such as tensors, and will be a useful preparation for
understanding the formalism of Special Relativity, where the fundamen-
tal quantities will be given by representations of a broader group, the
Lorentz group, that we will introduce later. In this section, we will give
a first, simpler treatment, while in Section 1.7 we will provide a more
formal group-theoretical description (that will not be necessary for the
rest of the book but gives a deeper understanding).
Consider a vector v in two dimensions, defined as an arrow; with
respect to a given system of Cartesian axes, it will have components
(vx , vy ). Consider now a counterclockwise rotation of the vector by an
angle θ in the plane. After the rotation, the new components are given
by16
vx0 = vx cos θ − vy sin θ , (1.117)
vy0 = vx sin θ + vy cos θ . (1.118)
Therefore, under a rotation by an angle θ, the transformation of v is
given by
   0    
vx vx cos θ − sin θ vx
→ = . (1.119)
vy vy0 sin θ cos θ vy
Using our notation with a sum over repeated indices, we can rewrite this
as
vi → vi0 = Rij vj , (1.120)
where the indices i, j take the two values {x, y} (or, equivalently, {1, 2})
and Rij = Rij (θ) are the matrix elements of the 2 × 2 matrix that
appears in eq. (1.119).
We can now promote eq. (1.119) to the basic relation that defines
a vector, stating that a vector in two spatial dimensions is defined as
a set of two numbers (its components) with a well-defined transforma-
tion property under rotations, expressed by eq. (1.119). This definition
totally abstracts from the original notion of an arrow, and has the ad-
vantage that it can be generalized both to objects with different trans-
formation properties and to arbitrary dimensions.
Consider first the generalization to arbitrary dimensions.17 We begin
by observing that the rotation (1.119) preserves the length of the vec-
tor, so the squared norm of the vector v (that, with our convention of
summation of repeating indices, can be written as vi vi ) is equal to the
norm of the vector v 0 obtained applying a rotation to v,
vi0 vi0 = vi vi . (1.121)
 1.6 Tensors and rotations 17

We now use this relation to define rotations and vectors, in any dimen-
sions, as follows. We consider a set of d objects vi , i = 1, . . . , d, and
a linear transformation of the form (1.120), where now Rij is a d × d
matrix. We define rotations in d dimensions as the transformations Rij 18
We will qualify this more precisely
that preserve the norm of v,18 so that eq. (1.121) (with i = 1, . . . , d) at the end of this section and in
holds. The set of objects vi that transforms as in eq. (1.120) when Rij Section 1.7, where we will see that
is a rotation matrix are then called “vectors under rotations” or, more “proper” rotations are obtained factor-
simply, vectors. ing out some discrete parity symmetry.
This definition allows us to characterize rotations as follows. Plugging
eq. (1.120) into eq. (1.121) we get

vi vi = Rij vj Rik vk . (1.122)

Using eq. (1.3) and renaming the dummy indices on the right-hand side
as i → k, j → i, k → j, this can be rewritten in the form

δij vi vj = Rij Rik vj vk

= Rki Rkj vi vj . (1.123)

Since this must hold for any vector vi , it follows that

Rki Rkj = δij . (1.124)

Recall that, if Rij are the matrix elements of the matrix R, the transpose
matrix RT has matrix elements (RT )ij = Rji . Then eq. (1.129) reads
T
Rik Rkj = δij or, in matrix form

RT R = I , (1.125)

where I is the identity matrix. Therefore RT is the left inverse of R,

and then it also holds19 19
This follows from the fact that, for
RRT = I . (1.126) a square matrix, the left and right in-
verse are the same. Indeed, let A be
In components, this reads a matrix, and suppose that its left in-
verse, L, exists, so that LA = I. Then,
multiplying by L from the right, we get
Rik Rjk = δij . (1.127) LAL = L. Multiplying further by L−1
from the left, we get AL = I. Then, L
Therefore, rotation matrices satisfy is also the right inverse.

RRT = RT R = I , (1.128)

or, in components,
Rki Rkj = Rik Rjk = δij . (1.129)
Equation (1.128) is just the definition of orthogonal matrices. We have
then found that rotations in d dimensions are given by d × d orthogonal
matrices, and vectors are defined by the transformation property (1.120)
under rotations.
The transformation property of vectors can be generalized to objects
with different transformation properties. In particular, in any dimension
18 Mathematical tools
This section is more formal and can
(actually, should!) be omitted at first
reading.
d we can define a tensor Tij with two indices as an object that, under
rotations, transforms as
Tij → Tij0 = Rik Rjl Tkl , (1.130)
(with the indices running over two values {x, y} in two dimensions, over
{x, y, z} in three dimensions, and more generally over d values 1, . . . , d
in d dimensions), with the same matrix Rij that appears in the transfor-
mation of vectors. Similarly, a tensor Tijk with three indices is defined
as an object that, under rotations, transforms as
0
Tijk = Rii0 Rjj 0 Rkk0 Ti0 j 0 k0 , (1.131)
and so on. Note that, for tensors, the connection with the notion of arrow
is completely lost, and a tensor is only defined by its transformation
property (1.130).
Consider now a tensor Tij that, in a given reference frame, has compo-
nents δij . Normally, the numerical values of the components of a tensor
change if we perform a rotation, according to eq. (1.130). In this case,
however, in the new frame
Tij0 = Rik Rjl Tkl
= Rik Rjl δkl
= Rik Rjk
= δij , (1.132)
where in the last equality we have used eq. (1.129). Thus, δij is a very
special tensor, whose components have the same numerical values in
all frames. It is then called an invariant tensor. In three dimensions,
the only other invariant tensor of the rotation group is ijk , since it
transforms as
ijk → Rii0 Rjj 0 Rkk0 i0 j 0 k0 . (1.133)
However, from the definition of the determinant of a 3 × 3 matrix, we
can check that the right-hand side of eq. (1.133) is equal to (det R)ijk .
Equation (1.128), together with the fact that, for two matrices A and
B, det(AB) = det(A) det(B), and det(RT ) = det(R), implies that
(det R)2 = 1, so det R = ±1. “Proper” rotations are defined as the trans-
formations with det R = +1 (while transformations with det R = −1
correspond to parity transformations, that change the orientation of one
axis, or of all three axes, possibly combined with proper rotations), so
ijk is indeed invariant under (proper) rotations.
1.7 Groups and representations
Vectors and tensors are usually the first examples that one encounters of
a much more general concept, that of representations of groups, which is
ubiquitous in modern theoretical physics. Even if this will not be strictly
necessary for the rest of the book, it can be interesting to expand on
 1.7 Groups and representations 19

the previous discussion, taking a more abstract and mathematical point

of view. The underlying mathematics here is that of group theory and
group representations. Group theory is a fundamental element of the
mathematical arsenal of modern theoretical physics. While, especially
with hindsight, it was already implicitly present in the classical physics
of the 19th century, it acquired a central role first of all because of
Special Relativity and its connection with electromagnetism (in relation,
in particular, to the work of Lorentz and Poincaré), that we will explore
in the following chapters. The role of group theory in physics then
became even more central with the advent of quantum mechanics where,
for instance, concepts such as the spin of the electron cannot be really
understood without it. Modern particle physics, such as the Standard
Model that unifies weak and electromagnetic interactions, as well as all
attempts at going beyond it, are also formulated in the language of group
theory.20 20
For an introduction to group theory
A group G is a set of objects g1 , g2 , . . . (discrete or continuous) among in physics, see e.g., Zee (2016).
which is defined a composition operation g1 ◦ g2 , such that
• if g1 ∈ G and g2 ∈ G, then also g1 ◦ g2 ∈ G.
• The composition is associative, g1 ◦ (g2 ◦ g3 ) = (g1 ◦ g2 ) ◦ g3 .
• In G there is the identity element e, defined by the fact that, for
each g ∈ G, g ◦ e = e ◦ g = g.21 21
The identity element is unique: in
fact, assume that e1 and e2 are two
• For each g ∈ G there is an inverse element, that we denote g −1 , identity elements. Then, using the fact
such that g ◦ g −1 = g −1 ◦ g = e. that e2 is an identity element, we have
e1 ◦ e2 = e1 . However, using the fact
Note that the composition operation is not necessarily commutative. that e1 is an identity element, we also
If it is, the group is called commutative (or abelian), otherwise is called have e1 ◦ e2 = e2 . Therefore e1 = e2 .
non-commutative (or non-abelian). Rotations form a group (in any di-
mensions), since they satisfy the previous axioms.
Exercise 1.8 Show that rotations in two dimensions form a commu-
tative group, while in three dimensions they form a non-commutative
group.
[Hint: take an object such as a book, lie it on a table, denote by x and
y the axes on the plane of the table so that the lower edge of the book
is along the x axis, and the rib of the book is along the y axis. Perform
first a rotation of the book by 90◦ around the x axis and then a rotation
of the resulting configuration by 90◦ around the y axis. Compare this
with what happens if you first perform the rotation by 90◦ around the
y axis and then by 90◦ around the x axis.]

A (linear) representation R of a group is an operation that assigns to a

generic, abstract element g of a group a linear operator DR (g) defined
on a (real or complex) vector space,

g 7→ DR (g) , (1.134)

with the property that, for all g1 , g2 ∈ G

DR (g1 )DR (g2 ) = DR (g1 ◦ g2 ) . (1.135)

20 Mathematical tools
22
Apart from matrix representations,
the other typical situation encoun-
tered in physics is when a group el-
ement is represented by a differential
operator acting on a space of func-
tions. Since the space of function
is infinite-dimensional, this representa-
tion is infinite-dimensional.
This condition means that the mapping preserves the group structure,
i.e., that it is the same to compose the elements at the group level (with
the ◦ operation) and then represent the resulting element g1 ◦ g2 , or
first represent g1 and g2 in terms of linear operators and then com-
pose the resulting linear operators. Note that the composition oper-
ation in DR (g1 )DR (g2 ) is the one between linear operators (such as
the matrix product when the linear operators are matrices, see next),
while the composition operation in g1 ◦ g2 is the one at the abstract
group level. Setting g1 = g, g2 = e in eq. (1.135), we find that, for all
g ∈ G, DR (g)DR (e) = DR (g); similarly, setting g1 = e, g2 = g, we get
DR (e)DR (g) = DR (g). This implies that the identity element of the
group e must be mapped to the identity operator I, i.e., DR (e) = I.
Similarly, we can show that DR (g −1 ) = [DR (g)]−1 .
The vector space on which the operators DR act is called the basis,
or the base space, for the representation R and, as we have mentioned,
it can be a real vector space or a complex vector space. We will be
particularly interested in matrix representations. In this case, the base
space is a vector space of finite (real or complex) dimension n, and an
abstract group element g is represented by a n × n matrix [DR (g)]ij ,
with i, j = 1, . . . , n. The dimension of the representation is defined as
the dimension n of the base space.
Writing a generic element of the base space as a vector v with com-
ponents (v1 , . . . , vn ), a group element g can be associated with a linear
operator [DR (g)]ij acting on the base space, and therefore to a linear
transformation of the base space
vi → [DR (g)]ij vj , (1.136)
with our usual summation convention on repeated indices. The impor-
tant point is that eq. (1.136) allows us to attach a physical meaning
to a group element: before introducing the concept of representation,
a group element g is just an abstract mathematical object defined by
its composition rules with the other group members. Choosing a spe-
cific representation, instead, allows us to interpret g as a transformation
acting on a vector space.22
1.7.1 Reducible and irreducible representations
The different representations of a group describe all possible ways in
which objects can transform under the action of the group, for instance
under rotations. However, not all possible representations describe gen-
uinely different possibilities. Given a representation R of a group G,
whose basis is a space X, and another representation R0 of G, whose
basis is a space X 0 , R and R0 are called equivalent if there is an isomor-
phism S : X → X 0 such that, for all g ∈ G,
DR (g) = S −1 DR0 (g)S . (1.137)
Comparing with eq. (1.136), we see that, in the case of representations
of finite dimension, equivalent representations correspond to a change
 1.7 Groups and representations 21

of basis in the vector space spanned by the v i , obtained acting on the

basis vector with a matrix S, so we do not consider them as genuinely
different representations.
Furthermore, some representations can be obtained trivially, just by
stacking together representations of lower dimensions, and do not really
describe novel ways of transforming under the action of the group. As a
simple example, consider two vectors v and w, in two dimensions. Under
a rotation in the plane by an angle θ, v transforms as in eq. (1.119), and
similarly

      
wx wx0 cos θ − sin θ wx
→ = , (1.138)
wy wy0 sin θ cos θ wy

which expresses the fact that, in two dimensions, vectors are represen-
tations of dimension two of the rotation group. Naively, we might think
that we can find a new type of representation of dimension four, by
putting together the components of v and w into a single object with
components (vx , vy , wx , wy ). Under rotations,

   0    
vx vx cos θ − sin θ 0 0 vx
 vy   vy0   sin θ cos θ 0 0   vy 
   =  .
 wx  →  wx0   0 0 cos θ − sin θ   wx 
wy wy0 0 0 sin θ cos θ wy
(1.139)
However, here we have not discovered a genuinely new type of repre-
sentation of dimension four; we have simply stack together two vectors.
Mathematically, the fact that this is not a genuinely new representation
is revealed by the fact that the matrix in eq. (1.139) is block diagonal
(for all rotations, so in this case for all values of θ), so that there is no
rotation that mixes the components of v with that of w.
This example motivates the definition of reducible and irreducible rep-
resentations. A representation R is called reducible if it has an invariant
subspace, i.e., if the action of any DR (g) on the vectors in the subspace
gives another vector of the subspace. This corresponds to the fact that
[possibly after a suitable change of basis of the form (1.137)] there is
a subset of components of the basis vector that never mixes with the
others, for all transformations DR (g). A representation R is called com-
pletely reducible if, for all elements g, the matrices DR (g) have a block
diagonal form, or can be put in a block diagonal form with a change
of basis corresponding to the equivalence relation (1.137). Conversely,
a representation with no invariant subspace is called irreducible. Ir-
reducible representations describe the genuinely different way in which
physical quantities can transform under the group of transformations in
questions.
To put some flesh into these rather abstract notions, we now look at
the simplest irreducible representations of the rotation group.
22 Mathematical tools

1.7.2 The rotation group and its irreducible tensor

representations
The group of rotations in d spatial dimensions can be defined as the
group of linear transformations of a d-dimensional space with coordinate
(x1 , . . . xd ), of the form
xi → x0i = Rij xj , (1.140)
which leaves invariant the quadratic form
|x|2 = x21 + . . . + x2d . (1.141)
As we already found in eq. (1.128), the corresponding condition on the
matrix Rij is that it must be an orthogonal matrix, RRT = RT R = I.
The group of d×d orthogonal matrices is denoted by O(d). As we already
found below eq. (1.133), from RT R = I it follows that (det R)2 = 1, so
det R = ±1. The transformations with determinant +1 form a sub-
group, since the product of two matrices with determinant plus +1 is
still a matrix with determinant +1 (which is not the case for those with
determinant −1, given that the product of two matrices with determi-
nant −1 is a matrix with determinant +1). The subgroup of O(d) with
determinant equal to +1 is denoted by SO(d) and is identified with
the proper rotation group in d dimension. As already mentioned be-
low eq. (1.133), transformations with det R = −1 rather correspond to
discrete parity transformations, such as (x → −x, y → y, z → z) or
(x → −x, y → −y, z → −z) or, more generally, to parity transforma-
tions combined with proper rotations. By “rotations” we will always
mean the proper rotations. In particular, the rotation group in three
dimensions is SO(3).
The simplest irreducible representation of the rotation group, as of
any other group, is the so-called trivial representation, that assign to
each group element the 1 × 1 identity matrix, i.e., DR (g) = 1 for each g.
In this case, the basic properties (1.135) of a representation are obviously
satisfied (note, however, that if we assign DR (g) = I with I the n × n
identity matrix with dimension n > 1, we do not get an irreducible
representation, since the identity matrix is block diagonal). Despite
being trivial from the mathematical point of view, this representation is
very significant physically. According to eq. (1.136), the basis for this
representation is an object of dimension 1, i.e., a single quantity φ, that,
under any rotation, remains invariant, φ → φ. Such quantities are called
scalars under rotation.
The next simplest representation of SO(3) is the vector representa-
tion vi . Indeed, the very definition that we have given of the group
SO(3), based on eq. (1.140) and the condition that it leaves invariant
the quadratic form (1.141), already introduces a transformation prop-
erty under rotation, in this case for the coordinates. More generally,
vectors are then defined as objects that transform as in eq. (1.120), and
the coordinates of three-dimensional space provide the simplest exam-
ple of a vector, x = (x1 , x2 , x3 ) [or x = (x, y, z); we will use the two
 1.7 Groups and representations 23

notations interchangeably]. Other obvious examples of vectors from el-

ementary mechanics are the momentum p, or the angular momentum
L.
The vector representation can be taken to be real, since the rota-
tion matrix Rij has only real elements, and therefore transform real
vectors into real vectors. The real vector representation of SO(3) is ir-
reducible, since we cannot find a subset of the coordinates (x1 , x2 , x3 )
that, whichever rotation we perform, never mix with the others. For
instance, a rotation around the third axis mixes x1 with x2 , a rotation
around the x1 axis mixes x2 with x3 , and one around the x2 axis mixes
x1 with x3 . Since the vector representation enters in the very defini-
tion of the group SO(3), it is also called the defining, or fundamental
representation of SO(3).23 23
Observe that we are considering here
Consider next the tensor representation (1.130). In three dimensions real representations, i.e., representa-
tions where the basis vectors are real.
a tensor Tij has nine components, and eq. (1.130) states that these nine One can sometimes assemble real rep-
components transform linearly among them, and therefore form a basis resentations of SO(d) into complex
for a representation of the rotation group of dimension nine. We could for representations of lower (complex) di-
instance express the corresponding representation of rotations as 9 × 9 mension. For instance, for SO(2),
eq. (1.119) defines an irreducible real
matrices, using as a basis (T11 , T12 , . . . , T33 ). We want to understand representation of (real) dimension two,
whether this representation is reducible, i.e., if (possibly after a suitable since the real quantities vx and vy mix
change of basis) there are subsets of elements of the basis that never among them. However, if we form the
mix with the other elements. The best way to address the problem is to complex combinations v± = vx ± ivy ,
we see that v+ → eiθ v+ and v− →
observe that, given a generic tensor Tij , we can always separate it into e−iθ v− so, over complex numbers, we
its symmetric and antisymmetric parts have two irreducible representations of
complex dimension one. Indeed, a the-
Tij + Tji Tij − Tji orem states that all irreducible complex
Tij = + representations of abelian groups, such
2 2
≡ Sij + Aij . (1.142) as SO(2), are one-dimensional.
For other groups, such as the groups
U (N ) of N × N unitary matrices, or
Using eq. (1.130), we can show that, under any rotation, a symmetric SU (N ) if we require the determinant
tensor remains symmetric: to be +1, the matrix elements are com-
plex, so, in general, one must consider
0 complex representations.
Sij = Rik Rjl Skl
= Rik Rjl Slk
= Rjk Ril Skl
0
= Sji , (1.143)

where, to get the second equality, we used the symmetry of Skl and, in
the third, we renamed the dummy indices k → l and l → k. Similarly, an
antisymmetric tensor remains antisymmetric. Therefore, Sij and Aij do
not mix under rotations. Consider now the trace of the symmetric part,
S = δij S ij . Using eq. (1.130) and the property (1.129) of orthogonal
matrices, we see that it is invariant under spatial rotations. It is then
convenient to separate Sij as
 
1 1
Sij = Sij − δij S + δij S
3 3
T 1
≡ Sij + δij S . (1.144)
3
24 Mathematical tools
24
We are working for simplicity in three
dimensions. In d dimensions, the trace-
less combination is Sij − (1/d)δij S.
T
The term Sij is traceless (as can be shown contracting it with δij and
using δij δij = δii = 3).24 Since the trace is invariant, under rotations
it remains traceless, and therefore it does not mix with the term δij S.
We have therefore separated the nine components of a generic tensor
T
Tij into its symmetric traceless part Sij (which has five components,
corresponding to the six independent components of a symmetric 3 × 3
matrix, minus the condition of zero trace), its trace S (one component),
and an antisymmetric tensor Aij which, in three dimensions, has three
independent components,
T 1
Tij = Sij + δij S + Aij . (1.145)
3
The trace S = δ ij Tij , being invariant under rotations, corresponds to the
scalar representation that we already encountered. The antisymmetric
tensor might look like a new representation of the rotation group, but
in fact, introducing
1
Ai = ijk Ajk , (1.146)
2
one sees that Ai is just a spatial vector. We have inserted a factor of
1/2 for convenience since, for instance, in this way A1 = (1/2)1jk Ajk =
(1/2)(123 A23 + 132 A32 ) = A23 [using the antisymmetry of ijk and
of Ajk with respect to (j, k)]. So, A23 = A1 , and similarly one finds
A12 = A3 , A31 = A2 , so the inversion of eq. (1.146) can be written
compactly as
Aij = ijk Ak . (1.147)
Therefore, the three independent components of an antisymmetric tensor
can be rearranged into the three independent components of a vector.
This means that these two representations are equivalent, in the sense
of eq. (1.137), and we have not discovered a genuinely new irreducible
representation of rotations.
In contrast, the traceless symmetric tensor is irreducible (since there
is no further symmetry that forbids its components to mix among them,
T
and then we can always find rotations that mix a given components of Sij
with any other component). We have therefore found a new irreducible
representation of the rotation group, of dimension five, the traceless
symmetric tensors, and eq. (1.145) can be rewritten as
T 1
Tij = Sij + δij S + ijk Ak , (1.148)
3
in terms of the invariant tensors δij and ijk , and of the irreducible
representations provided by the scalar S, the vector Ai , and the traceless
T
symmetric tensor Sij . Note how the nine independent components of
Tij have been shared between a scalar (one component), a vector (three
components), and a traceless symmetric tensor (five components). One
can work out similarly the decomposition into irreducible representations
of tensors with more indices, such as Tijk .
Observe that the dimension of the scalar, vector, and traceless sym-
metric tensor representations can all be written as 2s + 1 for s = 0
 1.7 Groups and representations 25

(scalar), s = 1 (vector) and s = 2 (traceless symmetric tensor). Higher-

order tensorial irreducible representations, obtained from tensors with
more indices, give representations of dimension 2s + 1 for all other in-
teger values of s. The representations of the rotation group play an
important role also in quantum mechanics, where the (tensorial) repre-
sentations that we have found turn out to correspond to massive particles
with integer spin s (in units of ~).
Finally, it is instructive to consider infinitesimal rotations, and see
how they can be parametrized. A rotation matrix that differs from the
identity transformation by an infinitesimal quantity can be written as

Rij = δij + ωij + O(ω 2 ) , (1.149)

with ωij infinitesimal parameters, which describe the deviation from the
identity transformation. Requiring that this satisfies eq. (1.129), to first
order in ω we get
  
δij = δik + ωik + O(ω 2 ) δjk + ωjk + O(ω 2 )
= δij + ωij + ωji + O(ω 2 ) , (1.150)

and therefore, requiring that the linear order cancels, we get25 25

Requiring the cancelation also to
quadratic and higher order does not
ωij = −ωij , (1.151) give any further constraint. This is a
general property of Lie groups, (i.e.,
group parametrized in a continuous and
i.e., ωij is an antisymmetric tensor. An antisymmetric tensor ωij can differentiable manner by a set of param-
be written in terms of a vector θi as in eq. (1.147), i.e., we can write eters), see e.g., Section 2.1 of Maggiore
ωij = −ijk δθk (where the minus sign is a convention, chosen so that δθi (2005).
corresponds to counterclockwise rotations, and the use of the notation
δθk stresses that this is an infinitesimal angle), so

Rij = δij − ijk δθk . (1.152)

Then, the infinitesimal form of eq. (1.140) is

xi → xi + ω ij xj
= xi − ijk xj δθk . (1.153)

As a check, we can consider a rotation around the z axis, so that δθ1 =

δθ2 = 0 and δθ3 = δθ. Then, eq. (1.153) gives x → x − (δθ)y, y →
y + (δθ)x, z → z, which is the infinitesimal form of the counterclockwise
rotation around the z axis, x → x cos θ − y sin θ, y → x sin θ + y cos θ.
Systems of units
2
As discussed in the Preface, there are two common systems of units, SI
and Gaussian, each one with its own advantages. We begin by defining 2.1 The SI system 27
them and discussing their relation, which involves some subtleties. The 2.2 Gaussian units 31
SI system is the most widely used in most contexts but an acquaintance 2.3 SI or Gaussian? 36
with the Gaussian system can also be very useful, in particular to prepare
the transition from classical electrodynamics to quantum field theory,
where (for reasons that we will explain) nowadays only Gaussian units
are used. Therefore, while we will use SI units in this book, we will
explain how to quickly translate the results into Gaussian units and, in
App. A, we will collect some of the most important formulas, written in
Gaussian units.

2.1 The SI system

Since its establishment in 1960, the International System of Units, or
SI (from the French Système International ), has imposed itself as the
international standard. The SI is based on seven basic units from which
all other units can be derived. For our course, we will really only need
four of them: the meter (the unit of length, m), the kilogram (the unit 1
Two more basic units are the kelvin
of mass, kg), the second (the unit of time, s), that together form the (unit of temperature, K) and the
m.k.s. system used in classical mechanics, and the ampere (the unit of mole (amount of substance, mol).
electric current, A).1,2 The SI includes a seventh base unit,
Over the years, the general trend in defining the basic SI units has the candela (cd), related to lumi-
nous intensity as perceived by the
been to get rid of definitions involving any man-made standard, or prop- human eye, mostly of interest for
erties of macroscopic materials, or descriptions of measurements, and biology and physiology. See https:
rather define them using fundamental constants of Nature, or quantum //www.bipm.org/utils/common/pdf/
si-brochure/SI-Brochure-9-EN.pdf
properties of matter at the atomic level. For instance, the meter was
for a detailed description.
originally defined in 1793 as one ten-millionth of the distance from the 2
equator to the North Pole along a great circle and, after other redefi- Note that, while the correct spelling of
the last name of André-Marie Ampère
nitions, was eventually redefined in 1899 as the distance between two (1775–1836) involves an accent, in En-
lines marked on a prototype meter bar made of an alloy of platinum glish the unit of measure “ampere” is
and iridium and conserved in the International Bureau of Weights and written without the accent. So, we
will refer to Ampère’s law, but the cur-
Measures in Sèvres, France. Such a definition had obvious intrinsic prob-
rent unit is the ampere. Note also
lems of reproducibility (national meter prototype had to be fabricated that units derived from names of per-
and distributed), stability with time, and made reference to specific ex- sons are written with lower cases, as
perimental conditions (e.g., the distance between the lines had to be in ampere, coulomb, or kelvin (except
when grammatical rules require an up-
measured at the melting point of ice). Similarly, the ancient definition per case letter), while their symbols are
of the second was based on the Earth’s rotation period, so that 1 day = written in upper case, A for ampere, C
24 hr = 24 × 3600 s. The modern definitions of the units of time and of for coulomb, K for kelvin.
28 Systems of units
3
The exact definition is that the un-
perturbed ground state hyperfine tran-
sition frequency of an atom of Cs 133 is
∆ν = 9 192 631 770 Hz, where 1 Hz =
1 s−1 .
4
Similarly, the kelvin (K) and the mole
(mol), are defined by fixing, respec-
tively, the Boltzmann constant
kB ≡ 1.380 649 × 10−23 J K−1 , (2.2)
and the Avogadro number
NA ≡ 6.022 140 76 × 1023 mol−1 .
(2.3)
length are different. The second is defined in terms of the frequency of a
specific atomic transition.3 Given this definition of a second, the meter
is now defined in term of the speed of light c, stating that, by definition,
c = 299 792 458 m/s . (2.1)
This definition is consistent with the previous definition of the meter
based on a reference bar within the experimental error, but get rids of
any reference to specific macroscopic objects or detailed measurement
processes. In the same spirit, the kilogram is now no longer defined
in terms of a reference object, but rather from the Planck constant h,
stating that, by definition, h = 6.626 070 15 × 10−34 J s, where the unit
of energy, the Joule, is related to the basic units by J = kg m2 s−2 . Note
that, in this way, h and c are used to define the units and therefore their
values are fixed by definition, and have no experimental error associated
with them.4
For electromagnetic phenomena, the SI system proceeds by defining a
base unit for electric current, the ampere (A). Since a current is a charge
flowing per unit time, this induces the definition of a derived SI unit of
charge, the coulomb (C), from 1 A = 1 C/s. In 2019, the SI definition
of the ampere (that, as we discuss in more detail next, was previously
based on the force between two parallel wires carrying a current) has
been changed, in order to relate it to fundamental constants rather than
to experimental settings: now the ampere is defined from 1 A = 1 C/s,
and the coulomb is defined in terms of the electron charge −e, stating
that, by definition,
e ≡ 1.602 176 634 × 10−19 C . (2.4)
To understand the reason underlying this definition and the relation
with the earlier definition, let us look at the force exerted between static
charges, and at the force between parallel wires carrying currents. It is
an experimental fact that two static charges, at a distance r, attract or
repel each other with a force inversely proportional to the square of the
distance. Even before having defined the units of electric charge, we also
know that the force is proportional to the charge q1 of the first body
and to the charge q2 of the second body, as could be shown comparing
systems with a different number of individual electron charges. This
gives Coulomb’s law,
q1 q2
F = k 2 r̂ . (2.5)
r
The value of the proportionality constant k depends, of course, on the
units chosen for the electric charge or, vice versa, could be used to define
the unit of electric charge. In the SI system, the constant k is denoted
as 1/(4π0 ), so
1 q1 q2
F= r̂ . (2.6)
4π0 r2
The constant 0 is called the vacuum electric permittivity, or just the
vacuum permittivity.
Another random document with
no related content on Scribd:
that American professor that you were just speaking of has done, he
might have been able to give us some really valuable information.
“Do I believe that animals talk? I don’t simply believe it, I know it.
When I was a young man I had a good deal to do with animals, and I
learned to understand the cat language just as well as I understood
English. It’s an easy language when once you get the hang of it, and
from what I hear of German the two are considerably alike. You look
as if you didn’t altogether believe me, though why you should doubt
that a man can learn cat language when the world is full of men that
pretend to have learned German, and nobody calls their word in
question, I don’t precisely see.
“Of course, I don’t pretend to understand all the cat dialects. For
example, I don’t know a word of the Angora dialect and can only
understand a sentence here and there of the tortoise-shell dialect;
but so far as good, pure standard cat language goes, it’s as plain as
print to me to-day, though I haven’t paid any attention to it for forty
years. I don’t want you to understand that I ever spoke it. I always
spoke English when I was talking with cats. They all understand
English as well as you do. They pick it up just as a child picks up a
language from hearing it spoken.
“Forty years ago I was a young man, and, like most young men, I
fancied that I was in love with a young woman of our town. There
isn’t the least doubt in my mind that I should have married her if I
had not known the cat language. She afterward married a man
whom she took away to Africa with her as a missionary. I knew him
well, and he didn’t want to go to Africa. Said he had no call to be a
missionary, and that all he wanted was to live in a Christian country
where he could go and talk with the boys in the bar-room evenings.
But his wife carried him off, and it’s my belief that if I had married her
she would have made me turn missionary, or pirate, or anything else
that she thought best. I shall never cease to be grateful to Thomas
Aquinas for saving me from that woman.
 “I HAD AN OLD NEGRO HOUSEKEEPER AND TWO CATS.”

“This was the way of it. I was living in a little cottage that belonged
to my uncle, and that he let me have rent free on condition that I
should take care of it and keep the grounds in an attractive state until
he could sell it. I had an old negro housekeeper and two cats. One of
them, Martha Washington by name, was young and handsome, and
about as bright a cat as I ever knew. She had a strong sense of
humor, too, which is unusual with cats, and when something amused
her she would throw back her head and open her mouth wide, and
laugh a silent laugh that was as hearty and rollicking as a Methodist
parson’s laugh when he hears a gray-haired joke at a negro minstrel
show. Martha was perhaps the most popular cat in the town, and
there was scarcely a minute in the day when there wasn’t some one
of her admirers in the back yard. As for serenades, she had three or
four every night that it didn’t rain. There was a quartette club formed
by four first-class feline voices, and the club used to give Martha and
me two or three hours of music three times a week. I used
sometimes to find as many as six or seven old boots in the back yard
of a morning that had been contributed by enthusiastic neighbors. As
for society, Martha Washington was at the top of the heap. There
wasn’t a more fashionable cat in the whole State of Ohio—I was
living in Ohio at the time—and in spite of it all she was as simple and
unaffected in her ways as if she had been born and bred in a Quaker
meeting-house.
“One afternoon Martha was giving a four-o’clock milk on the
veranda next to my room. I always gave her permission to give that
sort of entertainment whenever she wanted to, for the gossip of her
friends used to be very amusing to me. Among the guests that
afternoon was Susan’s Maltese cat. Susan was the young lady I
wanted to marry. Now, this cat had always pretended to be very fond
of me, and Susan often said that her cat never made a mistake in
reading character, and that the cat’s approval of me was equivalent
to a first-class Sunday-school certificate of moral character. I didn’t
care anything about the cat myself, for somehow I didn’t place any
confidence in her professions. There was an expression about her
tail which, to my mind, meant that she was insincere and
treacherous. The Maltese cat had finished her milk, when the
conversation drifted around to the various mistresses of the cats,
and presently some one spoke of Susan. Then the Maltese began to
say things about Susan that made my blood boil. It was not only
what she said, but what she insinuated, and according to her Susan
was one of the meanest and most contemptible women in the whole
United States. I stood it as long as I could, and then I got up and said
to Martha Washington, ‘I think your Maltese friend is needed at her
home, and the sooner she goes the better if she doesn’t want to be
helped home with a club.’ That was enough. The Maltese, who was
doing up her back fur when I spoke, stopped, looked at me as if she
could tear me into pieces, and then flounced out of the house without
saying a word. I understood that there was an end to her pretence of
friendship for me, and that henceforth I should have an enemy in
Susan’s house who might, perhaps, be able to do me a good deal of
harm.
 “POOR PUSSY’S NERVES ARE THOROUGHLY UPSET.”

“The next time I called to see Susan the Maltese was in the room,
and she instantly put up her back and tail and swore at me as if I
was a Chinaman on the lookout for material for a stolen dinner.
‘What can be the matter with poor pussy?’ said Susan. ‘She seems
to be so terribly afraid of you all of a sudden. I hope it doesn’t mean
that you have been doing something that she doesn’t approve of.’ I
didn’t make any reply to this insinuation, except to say that the cat
might perhaps be going mad, but this didn’t help me any with Susan,
who was really angry at the idea that her cat could be capable of
going mad.
“The same sort of thing happened every time I went to the house.
The cat was always in the room, and always expressed, in the
plainest way, the opinion that I was a thief and a murderer and an
enemy of the temperance society. When I asked her what she meant
to do, she would give me no reply except a fresh oath or other bad
language. Threats had no effect on her, for she knew that I could not
touch her in Susan’s house, and she didn’t intend that I should catch
her outside of the house. Nothing was clearer than that the Maltese
was bound to make a quarrel between me and Susan, in revenge for
what I had said at Martha’s four-o’clock milk.
“Meanwhile Susan began to take the thing very seriously, and
hinted that the cat’s opposition to me might be a providential warning
against me. ‘I never knew her to take such a prejudice against any
one before,’ she said, ‘except against that converted Jew who
afterward turned out to be a burglar, and nearly murdered poor dear
Mr. Higby, the Baptist preacher, the night he broke into Mr. Higby’s
house and stole all his hams.’ Once when I did manage to give the
Maltese a surreptitious kick, and she yelled as if she was half-killed,
Susan said, ‘I am really afraid I shall have to ask you to leave us
now. Poor pussy’s nerves are so thoroughly upset that I must devote
all my energies to soothing her. I do hope she is mistaken in her
estimate of you.’ This was not very encouraging, and I saw clearly
that if the Maltese kept up her opposition the chances that Susan
would marry me were not worth a rush.
“Did I tell you that I had a large gray cat by the name of Thomas
Aquinas? He was in some respects the most remarkable cat I ever
met. Most people considered him rather a dull person, but among
cats he was conceded to have a colossal mind. Cats would come
from miles away to ask his advice about things. I don’t mean such
trifling matters as his views on mice-catching—which, by the way, is
a thing that has very little interest for most cats—or his opinion of the
best way in which to get a canary bird through the bars of a cage.
They used to consult him on matters of the highest importance, and
the opinions that he used to give would have laid over those of
Benjamin Franklin himself. Why, Martha Washington told me that
Thomas Aquinas knew more about bringing up kittens than the
oldest and most experienced feline matron that she had ever known.
As for common sense, Thomas Aquinas was just a solid chunk of it,
as you might say, and I get into the habit of consulting him whenever
I wanted a good, safe, cautious opinion. He would see at a glance
where the trouble was, and would give me advice that no lawyer
could have beaten, no matter how big a fee he might have charged.
“Well, I went home from Susan’s house, and I said to Thomas
Aquinas, ‘Thomas’—for he was one of those cats that you would no
more have called ‘Tom’ than you would call Mr. Gladstone
‘Bill’—‘Thomas,’ I said, ‘I want you to come with me to Miss Susan’s
and tell that Maltese beast that if she doesn’t quit her practice of
swearing at me whenever I come into the room it will be the worse
for her.’
“‘That’s easy enough,’ said Thomas. ‘I know one or two little things
about that cat that would not do to be told, and she knows that I
know them. Never you fear but that I can shut her up in a moment. I
heard that she was going about bragging that she would get square
with you for something you said to her one day, but I didn’t feel
called upon to interfere without your express approval.’”
“The next day Thomas and I strolled over to Susan’s, and, as luck
would have it, we were shown into her reception-room before she
came downstairs. The Maltese cat was in the room, and began her
usual game of being filled with horror at the sight of such a hardened
wretch as myself. Of course, Thomas Aquinas took it up at once, and
the two had a pretty hot argument. Now Thomas, in spite of his
colossal mind, was a quick-tempered cat, and he was remarkably
free-spoken when he was roused. One word led to another, and
presently the Maltese flew at Thomas, and for about two minutes
that room was so thick with fur that you could hardly see the fight. Of
course, there could have been only one end to the affair. My cat
weighed twice what the Maltese weighed, and after a few rounds he
had her by the neck, and never let go until he had killed her. I was
just saying ‘Hooray! Thomas!’ when Susan came into the room.
“I pass over what she said. Its general sense was that a man who
encouraged dumb animals to fight, and who brought a great savage
brute into her house to kill her sweet little pussy in her own parlor,
wasn’t fit to live. She would listen to no explanations, and when I
said that Thomas had called at my request to reason with the
Maltese about her unkind conduct toward me, Susan said that my
attempt to turn an infamous outrage into a stupid joke made the
matter all the worse, and that she must insist that I and my prize-
fighting beast should leave her house at once and never enter it
again.
“So you see that if it had not been that I understood what the
Maltese cat said at Martha Washington’s milk party, I should
probably never have quarrelled with either Susan or her cat, and
should now have been a missionary in Central Africa, if I hadn’t
blown my brains out or taken to drink. I have often thought that the
man Susan did marry might have been saved if he had known the
cat language in time and had made the acquaintance of the
Maltese.”
The Colonel paused, and presently I asked him if he really
expected us to believe his story.
“Why not?” he replied. “It isn’t any stiffer than Darwin’s yarn about
our being descended from monkeys. You believe that on the word of
a man you never saw, and I expect you to believe my story that I
understand the cat language on my unsupported word. Perhaps the
story is a little tough, but if you are going in for science you shouldn’t
let your credulity be backed down by any story.”
 SILVER-PLATED.
The Etruria was nearing New York, and the prospect of the
inevitable interview with the custom-house officers had already cast
a gloom over the passengers. For the most part they were silent, and
their faces wore an anxious and solemn expression. The Rev. Mr.
Waterman, of the Eighth Day Baptist Church, who had bought largely
of ready-made clothing in London, even suggested that it might be
well to hold a prayer-meeting in the saloon.
A group of half a dozen men were sitting in the lee of one of the
deck-houses, smoking silently, when one of the number, a young
and sanguine person, suddenly exclaimed:
“I don’t believe any honest man ever has any trouble with the
custom-house. It’s the fellows who want to defraud the Government
who make all the complaints.”
“What you say may be patriotism and it may be ignorance——”
“What’s the difference?” murmured a cynical interrupter.
“But,” continued the speaker, “it isn’t true. I never tried to defraud
the Government, but for all that I’ve had more trouble with the
custom-house than if I’d been an honest collector of the port trying
not to mix up politics with the business of the office.”
“America expects every man to pay his duty, Colonel,” replied the
sanguine young man, with a vague reminiscence of Nelson. “Tell us
about your trouble, and I rather think you’ll have to admit that it was
because you didn’t want to pay duty on something.”
 The Colonel was generally understood by the rest of the
passengers to be a sort of theatrical manager, a position which in the
United States entitles a man to the relative rank of colonel in the
militia and commodore in the canal-boat service. He had on several
occasions shown a knowledge of music and of professional
musicians which had won for him some respect among those of his
fellow-passengers who did not know the difference between a hurdy-
gurdy and a hautboy, and were therefore fond of posing as musical
critics. He was a shrewd, good-tempered colonel, and the barkeeper
said that he was the most elegant, high-toned gentleman he had
ever crossed with.
“Electricity, gentlemen,” resumed the Colonel, “is the biggest thing
of the century, but it has its drawbacks. Did any of you ever happen
to ride on that electric railroad in Berlin? Well, I have, and ’most
anybody who goes to Berlin is liable to ride on it. It taught me,
however, that a man ought to be pretty careful when he trusts
himself in an electric car.
“It happened in this way. I was an agent in the general show
business, and was collecting an opera company for a friend of mine
who was going to open in Chicago. I had come across a first-class
tenor—found him in a country church choir in Germany—and was
bringing him home with me under a contract, when he and I took that
ride on that Berlin electric road. He was a careless sort of chap, and
he sat down in a corner of the car where the electricity had been
leaking and the seat was pretty wet.”
“I never knew before,” remarked the young man, “that electricity
could make a seat wet.”
“Probably not,” retorted the Colonel. “I should judge that there
might be a right smart lot of things that you mightn’t know. Most of
these gentlemen here, however, have probably heard that nowadays
electricity is put up for use in bottles and metallic cans. It stands to
reason that anything capable of being put into a bottle is capable of
leaking, and wetting whatever it leaks on. If there is anybody here
who knows more about bottles than I do, I’m ready to let him tell this
story.
 “As I was saying, my man sat down in a sort of pool of electric
fluid, and sat there for about half an hour. He was wearing in the fob-
pocket of his trousers a cheap silver watch. I had given it to him so
that he might get some exercise and prevent himself from getting too
fat. He never suspected my motive, but he tired himself all out
winding it up for two hours every night. Now you may not believe it,
but I give you my word that the electricity completely dissolved that
watch-case and deposited the silver around the man’s waist. He
didn’t find it out till night, and you never saw a man so scared as
when he found that there was a band about four inches wide silver-
plated all round his waist. The doctor told him that the only possible
way of getting it off would be to dissolve it with acid, but that the acid
would eat clean through to his spine and injure his voice. So my
tenor had to let bad enough alone, and be satisfied with another ten-
and-sixpenny gymnasium that I gave him to mollify his feelings.
“We came over on the Arizona, and it got around during the
passage that my man was silver-plated. There was a custom-house
spy on board, and it happened that after the tenor had sworn that he
had nothing dutiable with him, the inspector ordered him to strip and
be personally examined. Of course when this was done it was
discovered that he was silver-plated, and he was held for duty under
the general heading in the tariff of ‘all other articles, silver-plated, or
in whole, and not elsewhere enumerated,’ and taxed fifty per cent ad
valorem and fined two hundred and fifty dollars for failing to declare
that he was plated. He couldn’t pay and I wouldn’t pay, and so he
was locked up in a bonded warehouse, and I went to consult my
lawyer.
“I laid all the facts before him, and told him I would pay him
handsomely if he could get my man out of the custom-house without
paying either duty or fine. Now, the lawyer knew the tariff from
beginning to end, and if any man could help me I knew he could. He
didn’t promise anything at first, but he discussed the question by and
large and in all its bearings.
“‘I’m afraid,’ said he, ‘that there is no hope of getting your friend
out without paying duty, but we may succeed in having him classified
so as to make the duty very low. For instance, you say the man is a
professional singer. Now, we might have him classed as a musical
instrument and taxed forty-five per cent ad valorem. By the bye, what
did you agree to pay him?’
“‘I agreed to pay him,’ says I, ‘a hundred dollars per week.’
“‘That’s bad,’ says the lawyer. ‘A hundred dollars a week is fifty-
two hundred per year, which is about the interest at six per cent on
eighty-seven thousand dollars. You wouldn’t like to pay forty-three or
four thousand dollars duty on him.’
“‘I’d see him sent to Congress first!’ says I.
“‘Very well,’ says the lawyer. ‘Then perhaps we could classify him
as machinery or parts thereof. But you wouldn’t save much in that
way. You’d have to pay forty per cent ad valorem, and very likely the
appraisers would say that you had undervalued the man, and would
value him at double what your contract seems to say he is worth.
They’re bound to protect American machinery against the pauper
labor of Europe every time.’
“‘How would it do to classify him as old family plate?’ said I.
“‘Worse and worse,’ said the lawyer. ‘He’d have to pay sixty per
cent, and you’d have a good deal of difficulty in proving that he is old
family plate. Of course it could be done, but it would probably cost
you more than the whole amount of the duty. They’re a perfectly
honest set of men, the appraisers, and they naturally come high.’
“‘What will I do, then?’ said I; ‘let him die in the custom-house and
then sue for damages?’
“‘There might be something worth while done in that way,’ says the
lawyer, ‘but it would be middling hard on the man. But I’ll tell you
what we can do. Didn’t you say that the man was singing in a church
choir when you hired him?’
“‘I did so,’ says I.
“‘All right,’ says the lawyer. ‘We’ll classify him as an “article used in
the service of religion,” and get him in free of any duty whatever. You
go and get him an engagement in a church without an hour’s delay,
and then come to me. We’ll beat the custom-house this time, sure
enough.’
“I got the man an engagement to sing for a week in a Methodist
meeting-house, and before the week was out he was decided to be
an article used in the service of religion, and was returned to me free
of duty, and cursing the head off of every officer in the revenue
service. The end of it was that my tenor claimed that I had broken
my contract by setting him to sing in a church, and he sued me for
damages, and got them too. So you see, my young friend, that a
man may have trouble with the custom-house who does not want to
defraud the Government out of anything, not even the duty on that
sealskin sack that I hear you have taken apart and packed in a spare
pair of boots.”

THE END.
*** END OF THE PROJECT GUTENBERG EBOOK TOLD BY THE
COLONEL ***

Updated editions will replace the previous one—the old editions

will be renamed.

Creating the works from print editions not protected by U.S.

copyright law means that no one owns a United States copyright
in these works, so the Foundation (and you!) can copy and
distribute it in the United States without permission and without
paying copyright royalties. Special rules, set forth in the General
Terms of Use part of this license, apply to copying and
distributing Project Gutenberg™ electronic works to protect the
PROJECT GUTENBERG™ concept and trademark. Project
Gutenberg is a registered trademark, and may not be used if
you charge for an eBook, except by following the terms of the
trademark license, including paying royalties for use of the
Project Gutenberg trademark. If you do not charge anything for
copies of this eBook, complying with the trademark license is
very easy. You may use this eBook for nearly any purpose such
as creation of derivative works, reports, performances and
research. Project Gutenberg eBooks may be modified and
printed and given away—you may do practically ANYTHING in
the United States with eBooks not protected by U.S. copyright
law. Redistribution is subject to the trademark license, especially
commercial redistribution.

START: FULL LICENSE

THE FULL PROJECT GUTENBERG LICENSE
 PLEASE READ THIS BEFORE YOU DISTRIBUTE OR USE THIS WORK

To protect the Project Gutenberg™ mission of promoting the

free distribution of electronic works, by using or distributing this
work (or any other work associated in any way with the phrase
“Project Gutenberg”), you agree to comply with all the terms of
the Full Project Gutenberg™ License available with this file or
online at www.gutenberg.org/license.

Section 1. General Terms of Use and

Redistributing Project Gutenberg™
electronic works
1.A. By reading or using any part of this Project Gutenberg™
electronic work, you indicate that you have read, understand,
agree to and accept all the terms of this license and intellectual
property (trademark/copyright) agreement. If you do not agree to
abide by all the terms of this agreement, you must cease using
and return or destroy all copies of Project Gutenberg™
electronic works in your possession. If you paid a fee for
obtaining a copy of or access to a Project Gutenberg™
electronic work and you do not agree to be bound by the terms
of this agreement, you may obtain a refund from the person or
entity to whom you paid the fee as set forth in paragraph 1.E.8.

1.B. “Project Gutenberg” is a registered trademark. It may only

be used on or associated in any way with an electronic work by
people who agree to be bound by the terms of this agreement.
There are a few things that you can do with most Project
Gutenberg™ electronic works even without complying with the
full terms of this agreement. See paragraph 1.C below. There
are a lot of things you can do with Project Gutenberg™
electronic works if you follow the terms of this agreement and
help preserve free future access to Project Gutenberg™
electronic works. See paragraph 1.E below.
1.C. The Project Gutenberg Literary Archive Foundation (“the
Foundation” or PGLAF), owns a compilation copyright in the
collection of Project Gutenberg™ electronic works. Nearly all the
individual works in the collection are in the public domain in the
United States. If an individual work is unprotected by copyright
law in the United States and you are located in the United
States, we do not claim a right to prevent you from copying,
distributing, performing, displaying or creating derivative works
based on the work as long as all references to Project
Gutenberg are removed. Of course, we hope that you will
support the Project Gutenberg™ mission of promoting free
access to electronic works by freely sharing Project
Gutenberg™ works in compliance with the terms of this
agreement for keeping the Project Gutenberg™ name
associated with the work. You can easily comply with the terms
of this agreement by keeping this work in the same format with
its attached full Project Gutenberg™ License when you share it
without charge with others.

1.D. The copyright laws of the place where you are located also
govern what you can do with this work. Copyright laws in most
countries are in a constant state of change. If you are outside
the United States, check the laws of your country in addition to
the terms of this agreement before downloading, copying,
displaying, performing, distributing or creating derivative works
based on this work or any other Project Gutenberg™ work. The
Foundation makes no representations concerning the copyright
status of any work in any country other than the United States.

1.E. Unless you have removed all references to Project

Gutenberg:

1.E.1. The following sentence, with active links to, or other

immediate access to, the full Project Gutenberg™ License must
appear prominently whenever any copy of a Project
Gutenberg™ work (any work on which the phrase “Project
Gutenberg” appears, or with which the phrase “Project
Gutenberg” is associated) is accessed, displayed, performed,
viewed, copied or distributed:

This eBook is for the use of anyone anywhere in the United

States and most other parts of the world at no cost and with
almost no restrictions whatsoever. You may copy it, give it
away or re-use it under the terms of the Project Gutenberg
License included with this eBook or online at
www.gutenberg.org. If you are not located in the United
States, you will have to check the laws of the country where
you are located before using this eBook.

1.E.2. If an individual Project Gutenberg™ electronic work is

derived from texts not protected by U.S. copyright law (does not
contain a notice indicating that it is posted with permission of the
copyright holder), the work can be copied and distributed to
anyone in the United States without paying any fees or charges.
If you are redistributing or providing access to a work with the
phrase “Project Gutenberg” associated with or appearing on the
work, you must comply either with the requirements of
paragraphs 1.E.1 through 1.E.7 or obtain permission for the use
of the work and the Project Gutenberg™ trademark as set forth
in paragraphs 1.E.8 or 1.E.9.

1.E.3. If an individual Project Gutenberg™ electronic work is

posted with the permission of the copyright holder, your use and
distribution must comply with both paragraphs 1.E.1 through
1.E.7 and any additional terms imposed by the copyright holder.
Additional terms will be linked to the Project Gutenberg™
License for all works posted with the permission of the copyright
holder found at the beginning of this work.

1.E.4. Do not unlink or detach or remove the full Project

Gutenberg™ License terms from this work, or any files
containing a part of this work or any other work associated with
Project Gutenberg™.
 1.E.5. Do not copy, display, perform, distribute or redistribute
this electronic work, or any part of this electronic work, without
prominently displaying the sentence set forth in paragraph 1.E.1
with active links or immediate access to the full terms of the
Project Gutenberg™ License.

1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form,
including any word processing or hypertext form. However, if
you provide access to or distribute copies of a Project
Gutenberg™ work in a format other than “Plain Vanilla ASCII” or
other format used in the official version posted on the official
Project Gutenberg™ website (www.gutenberg.org), you must, at
no additional cost, fee or expense to the user, provide a copy, a
means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original “Plain Vanilla ASCII” or other
form. Any alternate format must include the full Project
Gutenberg™ License as specified in paragraph 1.E.1.

1.E.7. Do not charge a fee for access to, viewing, displaying,

performing, copying or distributing any Project Gutenberg™
works unless you comply with paragraph 1.E.8 or 1.E.9.

1.E.8. You may charge a reasonable fee for copies of or

providing access to or distributing Project Gutenberg™
electronic works provided that:

• You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg™ works calculated using the
method you already use to calculate your applicable taxes. The
fee is owed to the owner of the Project Gutenberg™ trademark,
but he has agreed to donate royalties under this paragraph to
the Project Gutenberg Literary Archive Foundation. Royalty
payments must be paid within 60 days following each date on
which you prepare (or are legally required to prepare) your
periodic tax returns. Royalty payments should be clearly marked
as such and sent to the Project Gutenberg Literary Archive
Foundation at the address specified in Section 4, “Information
 about donations to the Project Gutenberg Literary Archive
Foundation.”

• You provide a full refund of any money paid by a user who

notifies you in writing (or by e-mail) within 30 days of receipt that
s/he does not agree to the terms of the full Project Gutenberg™
License. You must require such a user to return or destroy all
copies of the works possessed in a physical medium and
discontinue all use of and all access to other copies of Project
Gutenberg™ works.

• You provide, in accordance with paragraph 1.F.3, a full refund of

any money paid for a work or a replacement copy, if a defect in
the electronic work is discovered and reported to you within 90
days of receipt of the work.

• You comply with all other terms of this agreement for free
distribution of Project Gutenberg™ works.

1.E.9. If you wish to charge a fee or distribute a Project

Gutenberg™ electronic work or group of works on different
terms than are set forth in this agreement, you must obtain
permission in writing from the Project Gutenberg Literary
Archive Foundation, the manager of the Project Gutenberg™
trademark. Contact the Foundation as set forth in Section 3
below.

1.F.

1.F.1. Project Gutenberg volunteers and employees expend

considerable effort to identify, do copyright research on,
transcribe and proofread works not protected by U.S. copyright
law in creating the Project Gutenberg™ collection. Despite
these efforts, Project Gutenberg™ electronic works, and the
medium on which they may be stored, may contain “Defects,”
such as, but not limited to, incomplete, inaccurate or corrupt
data, transcription errors, a copyright or other intellectual
property infringement, a defective or damaged disk or other