Professional Documents
Culture Documents
Oscar Castillo-Felisola
I Classical Electrodynamics 11
1 Electrostatics 13
1.1 Problem. Pr. 1.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Problem. Pr. 1.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 Problem. Pr. 1.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Problem. Pr. 1.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5 Problem. Pr. 1.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 Problem. Pr. 1.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.7 Problem. Pr. 1.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8 Problem. Pr. 1.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.9 Problem. Pr. 1.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.10 Problem. Pr. 1.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.11 Problem. Pr. 1.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.12 Problem. Pr. 1.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.13 Problem. Pr. 1.13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.14 Problem. Pr. 1.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2 Electrostatic II 27
2.1 Problem Pr. 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Problem Pr. 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Problem Pr. 2.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 Problem Pr. 2.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5 Problem Pr. 2.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6 Problem Pr. 2.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.7 Problem Pr. 2.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.8 Problem Pr. 2.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.9 Additional Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3
3 Dielectrics 37
3.1 Problem Pr. 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 Problem Pr. 3.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Problem Pr. 3.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.4 Problem Pr. 3.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.5 Problem Pr. 3.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.6 Problem Pr. 3.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.7 Problem Pr. 3.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.8 Problem Pr. 3.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.9 Problem Pr. 3.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.10 Problem: Aharanov-Bohm vector potential. . . . . . . . . . . . . . . . . . . . . . 47
4 Electrodynamics I 49
4.1 Problem Pr. 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.2 Problem Pr. 4.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3 Problem Pr. 4.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.4 Problem Pr. 4.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.5 Problem Pr. 4.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.6 Problem Pr. 4.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.7 Problem Pr. 4.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.8 Problem Pr. 4.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.9 Problem Pr. 4.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
II Quantum Mechanics 61
5 One-dimensional Problems 63
5.1 Problem 1... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.2 Problem 2... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.3 Problem 3... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
8 Statistical Mechanics 77
8.1 Problem G.-C. 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
8.2 Problem G.-C. 2.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
8.3 Problem G.-C. 2.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
8.4 Problem G.-C. 2.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8.5 Problem G.-C. 2.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
8.6 Problem G.-C. 3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
8.7 Problem G.-C. 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8.8 Problem G.-C. 3.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8.9 Problem G.-C. 3.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
8.10 Problem G.-C. 3.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
8.11 Problem G.-C. 3.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
8.12 Problem G.-C. 4.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
8.13 Problem G.-C. 4.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
8.14 Problem G.-C. 4.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
8.15 Problem G.-C. 4.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
8.16 Problem G.-C. 5.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
8.17 Problem G.-C. 5.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
8.18 Problem G.-C. 5.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
8.19 Problem G.-C. 5.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
8.20 Problem G.-C. 5.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.21 Problem G.-C. 9.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
8.22 Problem G.-C. 9.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
8.23 Problem G.-C. 9.13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.24 Problem G.-C. 9.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.25 Problem H.6.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
8.26 Problem H.6.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.27 Problem H. 6.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
8.28 Problem H. 7.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.28.1 Canonical Ensamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.28.2 Grand Canonical Ensable . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.29 Problem H. 7.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.30 Problem H. 7.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.31 Problem H. 8.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
8.31.1 Ideal Fermi-Dirac Gas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
8.31.2 Ideal Bose-Einstein Gas . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8.32 Problem H. 8.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
8.33 Problem H. 8.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
9 Special Topics on Statistical Mechanics 107
9.1 Problem H. 3.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
9.2 Problem H. 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
9.3 Problem H. 3.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.4 Problem H. 4.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
9.5 Problem H. 4.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
9.6 Problem H. 4.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.7 Problem H. 4.7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
9.8 Problem H. 4.9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
9.9 Problem H. 5.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
9.10 Problem H. 5.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
9.11 Problem H. 9.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
9.12 Problem H. 9.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
9.13 Problem H. 9.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
9.14 Problem H. 11.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
9.15 Problem H. 11.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
9.16 Problem H. 12.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
9.17 Problem H. 14.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
9.18 Problem H. 14.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
9.19 Problem G.-C. 6.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
9.20 Problem G.-C. 6.5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
9.21 Problem G.-C. 6.16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
9.22 Problem G.-C. 6.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
9.23 Problem G.-C. 7.15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
9.24 Problem G.-C. 7.16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
9.25 Problem G.-C. 7.20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
9.26 Problem G.-C. 7.21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
9.27 Problem G.-C. 10.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
9.28 Problem G.-C. 10.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9.29 Problem G.-C. 10.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
9.30 Problem G.-C. 12.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
9.31 Problem G.-C. 12.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
9.32 Problem G.-C. 12.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
9.33 Problem G.-C. 15.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
9.34 Problem G.-C. 15.8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
IV Relativity 141
10 Relativity 143
10.1 Problem 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
10.2 Problem 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
10.3 Problem 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
10.4 Problem 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
10.5 Problem 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
10.6 Problem 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
10.7 Problem 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
10.8 Problem 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
10.9 Problem 9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
10.10Problem 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
10.11Problem 11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
10.12Problem 12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
10.13Problem 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
10.14Problem 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
10.15Problem 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
10.16Problem 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
10.17Problem 17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
10.18Problem 18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
10.19Problem 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
10.20Problem 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
10.21Problem 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
10.22Problem 22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
10.23Problem 6.10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
10.24Problem 6.11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
10.25Problem 6.14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
10.26Problem 6.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
10.27Problem 6.18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
10.28Problem 6.19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
10.29Problem 6.20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
10.30Problem 6.25 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
12 QFT I 7 171
12.1 Problem 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
12.2 Problem 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
12.3 Problem 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
12.4 Problem 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176
13 Miscellaneous 181
13.1 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
13.2 Gamma matrices in the chiral representation . . . . . . . . . . . . . . . . . . . . . 181
13.3 Scalars from Weyl spinors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
13.4 Determinant of a deformation of the identity . . . . . . . . . . . . . . . . . . . . . 183
13.5 Lorentz currents for a real scalar field . . . . . . . . . . . . . . . . . . . . . . . . 184
13.6 Conservation of the KG inner product . . . . . . . . . . . . . . . . . . . . . . . . 184
13.7 Nöther charge for translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
13.8 Spinorial Lagrangian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
16 QFT II 3 205
16.1 photon-photon Scattering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
16.2 Rutherford’s scattering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
16.3 Crossing symmetry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
17 QGT II 4 213
17.1 Relativistic form for the flux factor . . . . . . . . . . . . . . . . . . . . . . . . . . 213
17.2 Two bodies phase space in the lab frame . . . . . . . . . . . . . . . . . . . . . . . 213
17.3 Elastic electron-muon scattering . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
17.4 High energy elastic electron-electron scattering . . . . . . . . . . . . . . . . . . . 214
VI Appendixes 217
18 Geometry: Conics 219
18.1 Circumference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
18.2 Ellipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
18.3 Hyperbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
18.4 Parabola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
18.5 Conics in polar coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
19 Special Functions 221
19.1 Gamma Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
19.2 Beta Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221
19.3 Bessel Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
19.4 Associated Legendre Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . 222
19.5 Hermite Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
19.6 Laguerre polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
Bibliography 225
Classical Electrodynamics
11
Chapter 1
Electrostatics
Solution
Consider a circle centred at the origin of coordinates, the radius is r0 . For this set up,
Z Z
1 1
hΦir0 = r0 dθΦ(r0 , θ) = dθΦ(r0 , θ). (1.1)
2πr0 2π
Since hΦir0 does not depend on r0 , it follows that
d
hΦir0 = 0. (1.2)
dr
The last equation holds even for r0 → 0, then
~ − ~r,
If one considers a circle centred at R
Z Z
1 ~ 1 ~ θ).
hΦir0 = r0 dθΦ(R, θ) = dθΦ(R, (1.4)
2πr0 2π
Since hΦir0 does not depend on r0 , it follows that
d
hΦir0 = 0. (1.5)
dr
13
The last equation holds even for r0 → 0, then
~ − ~r).
hΦir0 = hΦir=0 = Φ(R (1.6)
Solution
It’s well known that
ρ ρ0
∇2 V = − = − x, (1.7)
0 0 s
then,
ρ0 3
V=− x + V10 x + V1 . (1.8)
60 s
Since the boundary conditions are V(x = 0) = 0 and V(x = s) = V0 , it follows that
ρ0 2
!
1
V1 = 0. V1 =
0
V0 + s . (1.9)
s 60
Finally,
ρ0 3 1 ρ0 2
!
V(x) = − x + V0 + s x. (1.10)
60 s s 60
In order to get the charge densities, one can use the result, derived from Gauß’ law,
∂V
σi = −0 . (1.11)
∂n xi
Therefore,
0 V0 ρ0
σ(x = 0) = − + s, (1.12)
s 6
and
ρ0 0 V0
σ(x = s) = s− . (1.13)
3 s
1.3 Problem. Pr. 1.3
The axial electric field Ez on the axis of an accelerated tube in a kind of ionic accelerator is given
by Ez = Ez0 + kz2 , where z is measured from the centre of the tube along the axis. The component
Eφ is zero. Show that Er = −kzr, assume that the charge density is zero.
Draw the force field.
Which is the maximun charge density that can be tolerated if the above radial field has an
accuracy of 5% at the tube extrama? L = 1 m, Ez0 = 7.5 ∗ 105 V/m and k = 106 V/m3 .
Solution
Since Ez = Ez0 + kz2 and Eφ = 0, by Gauß’ law, it follows that
~ · E~ = 0,
∇ (1.14)
~ · E~ = 1 ∂r (rEe ) + ∂φ Eφ + ∂z Ez
∇
r
1
= ∂r (rEr ) + ∂z Ez . (1.16)
r
It follows from (1.14) and (1.16) that
1
∂r (rEr ) + ∂z Ez = 0. (1.17)
r
Since
r∂z Ez = 2kzr, (1.18)
then
∂r (rEr ) = Er + r∂r Er = −2kzr. (1.19)
Equation (1.19) looks like a Euler differential equation, then one can make and ansatz Er = cr,
with c a constant. Substituting into (1.19), one gets
Finally,
Er = −kzr. (1.21)
In order to determine the induced chage density at the extrema, up to 5%, the radial electric
field, change to Er → Er0 = (1 + 1/20)Er . Therefore,
~ · E~ 0 = 1 ∂r (rEr0 ) + ∂z Ez = ∓ kz = ρin .
∇ (1.22)
r 10 0
At the extrema,
kL0
ρ(z = L/2) = ∓ , (1.23)
20
and
kL0
ρ(z = −L/2) = ± . (1.24)
20
One just should introduce the numerical values given in the problem,
C
ρ(z = L/2) = −4.425 ∗ 10−7 , (1.25)
m3
C
ρ(z = −L/2) = 4.425 ∗ 10−7 3 . (1.26)
m
Solution
By Gauß’ law, one know that
qin σ r1
E(r1 < r < r2 ) = = . (1.27)
2π0 rh 0 r
Since the cylinders are kept to a constant potential, V,it follows that,
σ r1 dr σr1
Z !
r1
V = −r1 =− ln , (1.28)
0 r2 r 0 r2
therefore,
σ
!
V r2
= ln . (1.29)
r1 0 r1
Next, consider a change on the inner radius, r1 → r1 + ∆r1 . Since V is still a constant, the
superficial charge density must change, σ → σ0 . Then
Solution
Gauß’ law states I
~ · E~ = qin .
dS (1.35)
S 0
In the inner space of a conductor, the electric field vanishes, so by (1.35), one gets
σA σ
E∗A= ⇒ E= . (1.36)
0 0
Nonetheless, if a small hole is made on the conductor, due to the linear property of the equa-
tions, the new set up can be realized like a conductor with charge density σ plus a disk with charge
density −σ. When the electric field E~ is measure at a distance d → 0 from the disk, it seems to be
an infinite plate therefore,
σA σ
E 0 ∗ 2A = − ⇒ E0 = − . (1.37)
0 20
Hence,
σ
Et = E + E 0 = . (1.38)
20
Solution
It’s well known that the dipolar momentum is given by
Z
~p = d3 x0 x~0 ρ(x0 ). (1.39)
V0
4
~p = πaσ0 k̂. (1.44)
3
1. When the plates are charged with a density σ and then isolated.
Solution
A pair of charged plane (and infinete) plates are considered. Assume the charge density is σ, and
their mass by unit area is m0 .
Hence, on a characteristic area element,
d F~ = dqE,
~ (1.45)
σ σ2 a2
d F~ = dq =− = m0 a2 ẍ. (1.46)
20 20
Now, by kinematics,
1
~x0 = − ät2 . (1.47)
2
Thus,
r
2x0
t = −
ẍ
2√
= x0 m0 0 . (1.48)
σ
On the other hand, if one id interested on a couple of plates kept at constant potential, on must
consider the change of the capacitance.
q 0 A
C= = , (1.49)
V d
i.e.,
q 0 V0
σ(x) = = . (1.50)
A x
By Gauß’ law,
σ V0
E~ = = . (1.51)
20 x
Hence,
a2 V02 0
d F~ = − 2
= m0 a2 ẍ, (1.52)
2x
then,
V02 0 ẋ
m0 ẍ ẋ = − , (1.53)
2 x2
thus,
V02 0
!
d 2
m0 ẋ − = 0. (1.54)
dt x
This yields, s
V02 0 1
!
dx
= +c . (1.55)
dt m0 x
Since ẋ(t = 0) = 0 at x(t = 0) = x0 ,
s s
2
V02 0 x0 − x
!
dx V 0 0 1 1
= + = , (1.56)
dt m0 x x0 m0 x0 x
Therefore,
√
s
0 V02 0
Z
dx x
√ √ = t. (1.57)
x0 x0 − x m0 x0
√ √
Changing x = − x0 sin θ,
Z 0 √ Z π/2 π
dx x
√ √ = 2x0 dθ sin2
θ = x0 + 1 , (1.58)
x0 x0 − x 0 2
Thus, π rm x
0 0
t = x0 +1 . (1.59)
2 0 V02
2π0 (L − x)
C(x) = . (1.62)
ln(b/a)
~
F~ = −∇U
q2
!
b x̂
= − ln . (1.63)
4π0 a (L − x)2
Solution
By the image method, the position of the image charge is (−a, 0, 0) and its charge is −q,because
Φ(0, y, z) = 0. Moreover,
q 1 1
Φ(x, y, z) = .
− p (1.64)
(x − a)2 + y2 + z2 (x + a)2 + y2 + z2
p
4π0
Solution
Since the set up has axial symmetry, the image charge must life on the axis that joins the center
of the sphere with the charge q. Consider the image charge,−q0 , placed at a distance d0 from the
center.
By definition of conductor, Φ|S = 0. The most straightforware of getting this condition on the
sphere is applying for the points colineals with the axis. Then,
q 1 q0 1
=
4π0 d − R 4π0 R − d0
q 1 q0 1
⇒ = , (1.69)
4π0 d 1 − R/d 4π0 R 1 − d0 /R
in order to hold the equality,
R
q0 = q (1.70)
d
R2
d0 = . (1.71)
d
1.11 Problem. Pr. 1.11
Consider a fluid conduct of rectangular form, delimited by the plane points, (0, 0), (a, 0), (0, b) and
(a, b). The edges of the rectangle are a constant temperature T 1 and T 2 and the front edges have
equal temperature. Find the temperature, T (x, y), for all point inside the conduct.
Solution
Consider the Laplacian equation in rectangular coordinates,
∇2 T = 0. (1.72)
One can consider homogeneous boundary conditions at x = 0 and x = a. After the separation
of variables,
Solution
Solution
One begins with the Laplacian equation
∇2 φ = 0. (1.84)
If one would like to change (x, y) to (u, v) coordinates with u = u(x, y) and v = v(x, y) given by the
real and imaginary part of an analytic function, i.e., each of them satisfy the Laplace equation on
the (x, y) coordinates.
By the chain rule, it follows that,
u x = vy , (1.88)
uy = −v x , (1.89)
∂2 ∂2
!
+ φ(u, v) = 0. (1.91)
∂u2 ∂v2
Solution
By definition, Z
pi = ri ρ(~r)d3 r, (1.92)
V
and Z
Qi j = d3 rρ(~r)(3xi x j − δi j~r2 ). (1.93)
V
Under r 7→ r0 = r + a,
Z Z
pi 7→ p0i = ri0 ρ(~r0 )d3 r0 = (ri + ai )ρ(~r0 )d3 r0
V V
= pi + ai qt , (1.94)
where Z Z
ri ρ(~r )d r = pi ,
0 3 0
(ri + ai )ρ(~r0 )d3 r0 = qt . (1.95)
V V
This happens because V is the volume where the charge density is placed.
Similarly,
Z
d3 r0 ρ(~r0 )(3xi0 x0j − δi j r~0 )
2
Qi j 7→ Qi j =
0
ZV
= d3 rρ(~r) 3(xi + ai )(x j + a j ) − δi j (~r + ~a)2
ZV
= d3 rρ ~r)(3(xi x j + xi a j + ai x j + ai a j ) − δi j (~r2 + 2~r · ~a + ~a2 )
V
= Qi j + 3(ai p j + a j pi ) + qt (3ai a j + ~a2 δi j ). (1.96)
Chapter 2
Electrostatic II
Solution
The electric field prodeced by a dipole is
~r + ~r0 + ~l
~ r) = q ~
r + ~
r 0
.
E(~ − (2.1)
|~r + ~r0 + ~l|3 |~r + ~r |
4π0 0 3
0 ~
~ −3 (~
r − ~
r ) · l
|~r + ~r + l| = |~r + ~r | 1 + 3 + . . . ,
0 0 −3
(2.2)
|~r + ~r0 |2
then,
(~r − ~r0 ) · ~p ~p
!
~ r) = 1
E(~ 3 (~r − ~r ) −
0
. (2.3)
4π0 |~r + ~r0 |5 |~r + ~r0 |3
Putting ~r0 = 0, ~r = −2rî and ~p = −p(cos θî + sin θ ĵ), the electric field due to the image dipole at the
position of the dipole is
p
E~ ext = (−2 cos θî + sin θ ĵ). (2.4)
32π0 r3
27
Since W = −~p · E~ ext and ~p = p(− cos θî + sin θ ĵ), it follows that
p2
W=− 3
(1 + cos2 θ). (2.5)
32π0 r
Since the net charge is zero, and the dipoles are punctuals, there isn’t net force.
F~ = 0. (2.6)
Solution
In order to show that the solution is unique, assume that there exist two different functions F1 and
F2 s.t. both satisfy the B.C. Fi |S = F s .
Since the Laplace equation is linear, the function F = F1 − F2 satisfies ∇2 F = 0 with homoge-
neous B.C.
The Green’s identity states that
Z Z
~ · d~
u∇v ~ · ∇v)dτ.
σ = (u∇2 v + ∇u ~ (2.7)
S V
~ = 0 and then, F1 = F2 + const. but the B.C. implies that const = 0, i.e.,
This implies that ∇F
F1 = F2 .
Moreover, since the solution of the Laplace equation with constant boundary conditions cannot
have maxima or minima inside the boundary,it follows that if F|S = 0, then
F|V = 0 .
2.3 Problem Pr. 2.3
A small hemispherical bump, of radius a, is raised on the inner surface of one plate of a parallel-
plate capacitor, separated by a distance d. Find the resulting potential between the plates.
Solution
In order to solve the problem, one sholud solve the Laplace equation inside the capacitor. Note that
the problem has azimutal symmetry, then
∞
X
Φ(r, θ) = A0 + Al rl + Bl r−(l+1) Pl (cos θ). (2.9)
l=1
the coefficient B0 = 0 because the innersolution is regular and the logarithmic part of the solution
is dropped.
The boundary conditions are
Φ(r = a) = Φ0 , (2.10)
Φ(θ = π/2) = Φ0 , (2.11)
Φ(r = d/ cos θ) = 0, (2.12)
σ
Φ(r >> a) = cos θ.. (2.13)
0
σ
Then, by finiteness, Al>1 = 0, also equation (2.13) the coefficients A1 = 0
and B1 are the only
ones allowed, ’ceuse P1 (cos θ) = cos θ. Then
σ B1
Φ(r, θ) = A0 + r cos θ + 2 cos θ. (2.14)
0 r
From (2.11),
σ B1
Φ(θ = π/2) = A0 = Φ0 , ⇒ Φ(r, θ) = Φ0 + r cos θ + 2 cos θ. (2.15)
0 r
From (2.10),
σa B1
!
Φ(a, θ) = Φ0 + + 2 cos θ = Φ0 , (2.16)
0 a
thus,
σa3 σ σa3
!
B1 = − ⇒ Φ(r, θ) = Φ0 + r− cos θ. (2.17)
0 0 0 r2
Finally, condition (2.12) yields
σ a3
!
Φ(r = d/ cos θ) = Φ0 + d − 2 cos θ = 0,
3
(2.18)
0 d
then, since a << d,
Φ0 0
σ=− . (2.19)
d
Therefore,
r 3 − a3
!
Φ(r, θ) = Φ0 1 + 2 cos θ . (2.20)
rd
Solution
The most useful coordinate system for solving the problem is cylindric coordinates. Then, the
potential due to a differential of volume is
ρ rdrdθdz
dΦ(h) = , (2.21)
4π0 r2 + (h − z)2
p
ρ
Z 2π Z a Z R
rdr
Φ(h) = dθ dz , (2.22)
r2 + (h − z)2
p
4π0 0 −a 0
with
z2
!
R =b 1− 2 .
2 2
(2.23)
a
Then, (2.22) yields,
ρ
Z a p
Φ(h) = dz R2 + (h − z)2 − h + z . (2.24)
20 −a
Call I and II the first and second integral of the RHS of (2.24),then,
Z a
II = (−h + z) = −2ah. (2.25)
−a
1
Z u+ √
I = q du u2 + J 2
b2 u−
1− a2
√ 2 u+
1 u u + J 2 J 2 √
= q + ln(u + u2 + J 2 ) . (2.28)
b2 2 2
1− a2
u−
h2 a2
" !
1
I = 2 2
h b − 3a − 2 (2.31)
a − b2
q
b2
1− a2
Solution
In order to find the potential, one must solve the Laplace equation with the given boundary condi-
tions,
Φ(z = 0) = 0, (2.33)
Φ(z = L) = Φ0 , (2.34)
Φ(r = a) = Φ1 . (2.35)
with
with m ∈ Z.
For having a well-possed problem, i.e., determine completely all the arbitrary constants, Φ1 =
0, then
λ(m)
n
Jm (ka) = 0, → k = , (2.40)
a
with n ∈ N and λ(m)
n is the n-th zero of the m-th Bessel function.
Moreover, due to the azimutal symmetry, m = 0, then
∞
λ(0) λ(0)
X ! !
n n
Φ(ρ, θ, z) = An sinh z Jm ρ . (2.41)
n=1
a a
it follows that
2 Φ0 cosech(λ(0) a
Z
n L/a)
An = 2 (0) n ρ/a).
dρρJ0 (λ(0) (2.44)
a 2
J1 (λn ) 0
Since,
Z
dρρn Jn−1 (ρ) = ρn Jn (ρ), (2.45)
2Φ0 cosech(λ(0)
n L/a)
An = . (2.46)
λ(0)
n J1 (λ(0)
n )
Finally,
∞
2Φ0 cosech(λ(0) L/a) λ(0) λ(0)
X ! !
n n n
Φ(ρ, θ, z) = sinh z Jm ρ . (2.47)
n=1 λ(0)
n
(0)
J1 (λn ) a a
Solution
Since the cylinder is infinite, the problem is nothing but 2-dimensional, so, the general solution is
X
Φ(r, θ) = A0 + B0 ln r + (An rn Bn r−n )(Cn sin(nθ) + Dn cos(nθ)). (2.48)
n
The B.C. are
~ → ∞) = E0 k̂,
E(r (2.49)
⇒ Φ(r → ∞) = −E0 r cos θ + const. (2.50)
Φ(r = R) = Φ0 . (2.51)
At r → ∞, the B.C.implies
B1
Φ(r, θ) = A0 + A1 r cos θ + cos θ = −E0 r cos θ + const., (2.52)
r
then
A1 = −E0 .
At r = R, the B.C. implies,
B1
Φ(R, θ) = A0 − E0 r cos θ + cos θ = Φ0 , (2.53)
r
then,
A0 = Φ0 B1 = E0 R2 .
Finally,
R
Φ(r, θ) = Φ0 − E0 R 1 − cos θ. (2.54)
r
a2
!
x = ξ 1+ 2 , (2.57)
ξ + η2
a2
!
y = η 1+ 2 . (2.58)
ξ + η2
The conformal map maps the B.C. at infinity to the same condition but in the z-plane, but the
circle is maped to a segment on the x axis. Thus, the velocity in the xy-plane is ~v = v x̂ or Φ = vx.
From (2.57), it follows that
a2
!
Φ = vξ 1 + 2 . (2.59)
ξ + η2
So that this is a conformal map, all the machinany of the complex variable applies, so, the Cauchy
conditions imply that
a2
!
Ψ = vy = vη 1 + 2 , (2.60)
ξ + η2
Solution
The outside solution of electric potentials with azimutal symmetry can be written as
∞
X Bl
Φ(r, θ) =
l=0
rl+1
1 Qt p cos θ
!
1
= + 2
+ 5 Qi j x i x j + . . . (2.61)
4π0 r r 2r
For a symmetric configuration the quadrupolar tensor is given by
Q 0 0
[Q] = 0 Q 0 , (2.62)
0 0 −2Q
thus,
Qi j xi x j = Qr2 (1 − 3 cos2 θ) = −2Qr2 P1 (cos θ). (2.63)
Therefore, by comparison,
Qt p Q
B0 = , B1 = , B2 = − . (2.64)
4π0 4π0 4π0
Chapter 3
Dielectrics
27 ~
E~ = E0 . (3.1)
34
Solution
The problem has azymutal symmetry, so, as there aren’t free charges, the potential solves the
Laplace eq. ∇2 φ = 0. Therefore, the solution can be expand in Legendre polynomials.
Call
φi (~r) If r < a
φm (~r) If a < r < 2a
φe (~r) If r > 2a. (3.2)
B.C. r = a
37
B.C. r = 2a
~ i = 27 E~0 .
E~ i = −∇φ (3.19)
34
Solution
Boit-Savart law states
I ~
~= I dl × ~r
B . (3.20)
4π0 c2 |~r|3
For a square loop, the total contribution in the center is four times the contributions of a single side,
so Z a
~ Ia dl
dB = 2
k̂ √ . (3.21)
4π0 c −a a2 + l23
By a trigonometric change, the integral can be solved then one multiply by 4, and the result is
√ Ia
~=
B 2 k̂. (3.22)
π0 c2
µ0 I
Bx = − θ (3.23)
4πa
µ0 I r2
Bx = ln (3.24)
4πa r1
in the first coordinate quarter. The conductor’s borders are placed at x = ±a, the current flows in
direction z. r1,2 are the distances between x = ±a and the point where the measure is made. The
angle θ is the one between r1 and r2 measure in the direction 1 → 2.
Compute B ~ at 26cm from the center of the conductor for an angle of 72o if the conductor band
has 10cm of width and carries a current of 5.76A.
Find B ~ at a distace D, from the origin, placed on the axis x and y. Compare both results for
D a.
Solution
Theough the problem the angles between r1 and r2 w.r.t. the x axis are called α and ϕ. Also, the
angle of an arbitrary point placed on the conductor is called ϑ, and the modulus (from there to the
measure point) is d.
Begin by consider the magnetic field produced by an infinitesimal wire composing the conduct-
ing band, so,
Similarly,
Bx = −B sin ϑ, (3.28)
By = B cos ϑ, (3.29)
by changing
r1 cos α − x
u= , (3.34)
r1 sin α
the integral is solved
Z a
dx 1
=− [arctan(u(a)) − arctan(u(−a))] , (3.35)
r1 sin α
−a r sin α + (r1 cos α − x)2
2 2
1
with
r1 cos α ∓ a
u(±a) = . (3.36)
r1 sin α
Thus
µ0 I
Bx = [arctan(u(a)) − arctan(u(−a))] . (3.37)
4πa
Since r1 sin α = r2 sin ϕ and ϕ + θ = α, it follows that
So,
µ0 I
∴ Bx = θ. (3.40)
4πa
The integral (3.32) is made through the change u = r12 sin2 α + (r1 cos α − x)2 , and using the
substitutions u(a) = r12 and u(−a) = r22 . So
µ0 I r 2
By = ln . (3.41)
4πa r1
For the given data, the corresponding radii and angles are
α= 86.05
r1 = 0.2517 m
ϕ= 64.96
r2 = 0.2771 m
θ = 21.09= 0.368 rad
Thus,
On the x axis,
Bx = 0, (3.42)
µ0 I
!
2a
By = ln 1 + . (3.43)
4πa D
On the y axis,
µ0 I a
Bx = − 2 arctan , (3.44)
4πa D
By = 0. (3.45)
By expanding to first order on a, i.e. D a,
ln(1 + x) = x + · · · (3.46)
arctan x = x + · · · , (3.47)
one obtains,
µ0 I
|Ba | = |Bb | = . (3.48)
πD
This is ’cause for D a, the band looks like a wike.
Solution
For a single loop,
~ = µ0 I
B(z)
R2
, (3.49)
2 R2 + z2 3/2
thus, on the Helmholtz coils,
~ = µ 0 I 1 1
B(z) 2
R + 2 3/2 .
(3.50)
2 R2 + z2 3/2
R2 + z − 2
d
~ d
∂B
!
= 0. (3.51)
∂z 2
It’s not a bad result, but still does not give a relation between the radii and separation of the coils.
By taking the second derivative one get
2
~ d d
∂2 B 2 4 2
! 6R 4
∝ − + + 2 7/2 ,
(3.52)
∂z2 2 2 7/2
R2 + d
2 5/2
2
R + 2
2 d
R + 2
2 d
R = d. (3.53)
3.5 Problem Pr. 3.6
Find B~ inside a long straight wire of radius a carrying a current density J.~ Assume the electron
density through the wire is N and their velocity is ~u, find the direction and magnitud of the force
acting on the movil charges. Is the assuption of a uniform charge density realistic?
Solution
Assuming that the current density is uniform, allows using the eq
I
B ~ = Ienc ,
~ · dl (3.54)
0 c2
so,
~ r) = Jr θ̂.
B(~ (3.55)
20 c2
The direction is of course is pointing outside the wire, this implies that after a little time the elec-
trons will flow not by the bulk of the wire but through the surface. That fact spoils the model under
consideration.
Solution
Assuming that the dielectric material is homogeneous and linear. Therefore,
~ = 0 χE~ = 0 (K − 1)E,
P ~ (3.58)
further,
~ · n̂| sup ,
σ pol = P (3.59)
and
~ · P.
ρ pol = −∇ ~ (3.60)
Hence, the problem reduce to finding the electric field.
Now, from the Lorentz force
F~
E~ = = ~v × B
~= ω ~
~ × ~r × B. (3.61)
q
In cylindrical coordinates
~ = ωẑ,
ω (3.62)
~r = rr̂, (3.63)
~ = B0 ẑ,
B (3.64)
then,
~
~ × ~r × B
ω = B0 ω~r. (3.65)
Morever, in cylindrical coordinates
~ · ~r = 2,
∇
then,
~ = 0 (K − 1)B0 ω~r.
P (3.66)
Thus,
ρ pol = −20 (K − 1)B0 ω, (3.67)
and
σ pol = 0 (K − 1)B0 ωa. (3.68)
NI
BT = . (3.70)
0 c2 l
Similarly, taking the same path, but around the straight wire, one gets
NI
Bw = , (3.71)
0 c2 l
∴ BT = Bw . (3.72)
~ = µ0 m .
B
2πR3
Solution
In order to simplify the computations, consider the magnetic dipole oriented in the axis z.
So that the magnetic field is
~ r) = ∇
B(~ ~ × A,
~ (3.73)
and Z I
~ × Ad
∇ ~ 3r = − ~ × d~a,
A (3.74)
V S
then
I
~
D E 1 ~ × d~a
B = − A(r)
V S
I Z ~ 0 3 0
µ0 J(r )d r
= − × d~a
~r − r~0
4πV S
µ0
Z I
~ )d r × d~a
= − J(r 0 3 0
. (3.75)
r − r~0
4πV S ~
Since,
π
sin θ cos θdθ
I Z
d~a 4π
= 2πR2 √ = zk̂, (3.76)
~r − r~
S 0 0 r2 + z02 − 2Rz0 cos θ 3
and the definition Z
~ 0 ) × r~0 = 2~
d2 r0 J(r m, (3.77)
Solution
By placing a charged wire in front of a dielectric wall, a polarization cherge is induced on the wall,
and since the width of the wal is infinite, the other charges won’t be consider as part of the set up.
Gauß’ law states that,
σ pol σ pol
( ) ( )
0 Ew + = Ew − , (3.79)
20 20
then
σ pol
!
K−1
= Ew
20 K+1
λ K−1
!
= . (3.80)
2π0 K + 1
Hence, on the RHS., the total electric field is
λ
!
K−1
ET = 1+ , (3.81)
2π0 r K+1
which can be interpretedas an image wire placed at the same distance but with charge density
!
K−1
λ = −λ
0
.
K+1
Therefore, the electric field of the image wire is
λ0
E~0 = , (3.82)
8π0 d
and finally
λ 2
!
K − 1
F~ = − . (3.83)
8π0 d K + 1
Solution
Consider the f.e.m., Z Z I
Φ= ~ · n̂ =
B ~ ×A
∇ ~ · n̂ = ~ · d~l.
A (3.84)
S S γ
B0 k̂ ; r < R
(
~
B= . (3.86)
0 ;r>R
thus,
~ = B0 r ϕ̂.
A (3.88)
2
For r > R, I
~ · d~l = A2πr = B0 πR2 ,
A (3.89)
γ
thus,
~ B0 R2
A= ϕ̂. (3.90)
2r
~ is continuous at r = R.
NOTE: A
Chapter 4
Electrodynamics I
1. For the electric field the boundary condition is that at the surface it must be just normal. What
is the analogous boundary condition for B? ~
2. A small loop with magnetic moment µ oriented with an angle θ respect to the normal, is
located in front of an infinite, superconductor wall. How can the magnetic field be found?
3. Find the torque on the magnetic dipole as a funtion of the angle. Deduce the equilibrium
points, stables or not.
49
Solution
~ ·B
At the boundary, there is not free charge, so, since ∇ ~ = 0, it follows that
~ ⊥ = 0 At the boundary.
B (4.1)
~ r) = µ0 3(~
B(~ m · r̂)r̂ − ~
m
, (4.4)
4πr3
~ i = m(sin θ, − cos θ, 0) and r̂ = (0, 1, 0), yields
since m
~ µ0 m
B(rŷ) =− (sin θ, 2 cos θ, 0). (4.5)
4πr3
Therefore, the torque is
µ0 m 2
~τ = − sin 2θk̂. (4.6)
64πd3
From here,
θ equilibrium
0 unstable
π/2 stable
π unstable
3π/2 stable
On the other hand, the force among this two point magnetic dipoles vanish,
F~ = 0. (4.7)
Solution
Obviously one solves the problem with the help of
~
~ × E~ = − ∂ B ,
∇ (4.8)
∂t
or what’s the same, I
dB
E~ · d~l = A . (4.9)
dt
The set up has a symmetry and the symmetry left a fixed point (in this case is not just a point
but a line... the axis of the cylinder), so one takes as path circumference centered at the origin, thus,
the enclosed area is
A(p1 ) = A(p3 ) = πa2 (4.10)
A(p2 ) = 0. (4.11)
Axial symmetry assures that E~ is constant along the chosen path, so
A dB
E= . (4.12)
2πr dt
Hence, E p2 = 0 and
πr2 dB r dB
E p1 ,p3 = = , (4.13)
2πr dt 2 dt
in the −θ̂ direction.
Thus,
er dB
~a = θ̂. (4.14)
2me dt
Now, since 100 Gaußare 10−2 T , me = 9.1 ∗ 10−31 Kg, e = 1.6 ∗ 10−19C, then
and
f req(V) = ω. (4.19)
ωBA0
I= sin(ωt). (4.20)
R
ωBA0
Amp(I)= ,
∴ R (4.21)
f req(I)= ω.
Other way of seeing the above result is that once one has cutted the loop there isn’t a close path,
so the definition of e.m.f. loose its sense.
1. A current I flows from a generator G throuth a rail, croos the wire and return through the
other rail. Find the velocity as a funtion of time. Assume the wire is at rest at t = 0.
2. Thegenerator is replaced by a battery with an e.m.f. ξ. The volocity of the wire now approx-
imates to a final value. What is the final speed? How does it approximate to its final value,
as a funtion of time?
3. What’s the current of the second part when the wire reach its final velocity?
Solution
In the first case,since the current is constant, one can write the Lorentz force as
F~ = m~a = l~I × B,
~ (4.24)
ε l2 B2
v(t) = 1 − e− mR t . (4.30)
lB
ε
The asymptotic limit of the velocity is v = , and again by Ohm’s law,
lB
I = 0. (4.31)
2. Express in similar terms the mutual inductance of a system formed by the solenoid and a
straight wire placed on the axis of symmetry of the solenoid.
3. Find the rate of the self- and mutual inductances.
Solution
Since , Z
1 1
W = LI 2 = B2 d3 r, (4.32)
2 2µ0
and for the torus magnetic field,
NI 1
Bx = . (4.33)
2π0 c2 b + x
In cylindric coordinates,
µ2 N 2 I 2 1
Z Z a+b Z 2π Z a
1 1
Bd r =
2 3
dr r dθ dz 0 2 2
2µ0 2µ0 b 0 0 4π r
2 2 Z a+b
N I a dr
= 2
4π0 c b r
2 2
N I a a
= ln 1 + . (4.34)
4π0 c2 b
Therefore,
N 2a a
L= ln 1 + . (4.35)
2π0 c2 b
Similarly,
Z
1 ~1 · B
~ 2 d3 r,
MI1 I2 = B (4.36)
µ0
µ0 NI1 µ0 I2
B1 = θ̂ and B2 = θ̂, (4.37)
2πr 2πr
then,
Na a
M= ln 1 + . (4.38)
2π0 c2 b
Finally,
L
= N. (4.39)
M
1. Find the mutual inductance. Assume that radii are much more smaller than the separation.
2. Using the expression for M, find the magnitud and direction of the force among the loops.
3. How would be the force if one reverse the current in one or both loops?
Solution
Themagnetic field of a magnetic dipole is
~ r) = µ0 3(~
B(~ ~ .
m · r̂)r̂ − m
(4.40)
4πr 3
If one choose the origin of coordinates at the place of the first dipole, s.t. the y axis coincide with
the jointing line of the dipoles, then
and
r̂ = (0, 1, 0). (4.42)
Therefore,
~ µ0 m
= α α .
B(R) 2 cos 1 ŷ − sin 1 ẑ (4.43)
4πR3
Additionally, the vector corresponding to the area of the second dipole is
~2 = A(0, cos α2 , sin α2 ),
A (4.44)
thus, the flux of the magnetic field generated by (1) through the surface of (2), is
µ0 I 2 A 2 h
F~ = −
i
3(2 cos α 1 cos α2 − sin α1 sin α2 )r̂ + (2 cos α1 sin α 2 + sin α2 cos α2 )θ̂ . (4.48)
4πR4
Obviously, if one reverse one (or both) current(s), is just like changing the corresponding angle
θi → θi + π in the equation (4.48).
∇ ~ = 1 ∂θ (r f (r)) = 0,
~ ·M (4.50)
r
~ ·M
~ = 1
∇ ∂θ (r f (r)) = 0. (4.51)
r
Equation (4.50) doesn’t make a constraint on f , but (4.51) impose that
1
f (r) = . (4.52)
r
Solution
The boundary conditions for the Magnetic field are (without free currents)
~ = µ0 I 1 θ̂ ⇒ B
B ~ m = µI 1 θ̂, (4.55)
2π r 2π r
then,
µIl c
µ0 Il c
Z
dr
Φm = = Km ln . (4.56)
2π b r 2π b
Also, since J~s = M
~ × n̂| s , gives the current density on the surface of the conductor. From(4.56)
it follows that,
M~ = I (Km − 1)θ̂, (4.57)
2πr
thus, on the inner surface,
I
J~ = (Km − 1)ẑ, (4.58)
2πb
and in the outer surface,
I
J~ = − (Km − 1)ẑ. (4.59)
2πc
The internal current is
J~ = ∇ ~ = 1 ∂r (rMθ ) = 0.
~ ×M (4.60)
r
Finally, since the currents at r = b and r = c are the same, the magnetic field outside the
cylinder is just the sameas without the cylinder,
~ > c) = µ0 I θ̂.
B(r (4.61)
2πr
Part II
Quantum Mechanics
61
Chapter 5
One-dimensional Problems
c. What’s the probability of finding such a particle in the right half of the well?
Solution
The Schrödinger equation for a particle in an 1-dimensional box is
63
with
n2 π2 ~2
ωa = nπ ⇒ En = with n ∈ N∗ . (5.5)
2ma2
Therefore, (5.2) is nothing but a lineal combination of the solutions with n = 1 and n = 2
r πx r 2 !
8 2πx
ψ(x, 0) = sin + sin . (5.6)
5a a 5a a
ı
Next, by applying the evolution operator, U(t) = e− ~ Ht , we obtain
r πx r 2 2ıπ2 ~ !
8 − ıπ2 ~2 t 2πx
ψ(x, t) = e 2ma sin + e− 2 t
ma sin . (5.7)
5a a 5a a
Then, the VEV of the energy is the expectation value of the Hamiltonian,
Z a
~2 2
!
hHit = dxψ (x, t) − ∂ x ψ(x, t)
∗
0 2m
2 πx
2 2 Z a 4π2 ~2 Z a !
4π ~ 2 2πx
= dx sin + dx sin
5ma3 0 a 5ma3 0 a
Z a πx 2πx
!
+∼ dx sin sin
0 a a
2 2
4π ~
= , (5.8)
5ma2
so that,
π
π
Z
dxsin2 nx = . (5.9)
0 2
Indeed, since (5.8) is time independent, it follows that
4π2 ~2
hEi0 = hEit = . (5.10)
5ma2
Finally,
P(x, t)dx = |ψ(x, t)|2 dx, (5.11)
then,
Z a
P(x ≥ a/2, t) = dxψ∗ (x, t)ψ(x, t)
a/2
2 πx
Z a 2 Z a !
8 2 2πx
= dx sin + dx sin
5a a/2 a 5a a/2 a
πx
Z a
3π2 ~2 t
! !
8 2πx
dx sin sin cos
5a a/2 a a 2ma2
3π2 ~2 t
!
1 16
= − cos , (5.12)
2 15π 2ma2
because
Z a nπx a
dx sin 2
= (5.13)
a/2 a 4
Z a πx 2πx
!
2a
dx sin sin = − . (5.14)
a/2 a a 3π
a. Find the transcendental equation for the eigenvalues of the energy (In terms of m, L and λ).
b. Find the pair of lowest energies levels and corresponding eigenstates for Lm/~ = 4 and λ/~ = 2.
Solution
Let’s define, like before,
2mE
ω2 = . (5.16)
~2
The solution to the homogeneous (i.e., without the Dirac’s delta distribution), is
We should consider different solutions in both regions, left- and right-side of the delta. So, by
imposing the boundary conditions,
ψ(0) = ψ(L) = 0, (5.18)
we get,
with r
2E
x=2 . (5.29)
m
The lowest eigenvalues for this equation are (x=0 is not allowed because of the uncertainty
relations) x = 2.6 and x = 5.3, or in term of energy, E0 .85m and E1 3.5m.
N
X N
X
H= E0 |n >< n| + W {|n >< n + 1| + |n + 1 >< n|} , (5.30)
n=1 n=1
where {|n >}n=1...N is an orthonormal basis and periodic conditions |N + j >= | j > are assumed. E0
and W are given parameters.
Calculate the eigenstates and eigenenergies.
Solution
Let’s assume there exist a set of eigenvectors |λi >= (i)
> s.t.
PN
n=1 cn |n
Then,
X X
H|λi > = cn(i) E0 |n > +W cn {|n − 1 > +|n + 1 >}
n n
Xn o
= n E 0 + Wcn−1 + Wcn+1 |n >
c(i) (i) (i)
n
X
= λi n |n >,
c(i) (5.32)
n
thus, from
< n|H|λi >= c(i)
n E 0 + Wcn−1 + Wcn+1 = λi cn ,
(i) (i) (i)
(5.33)
we get the recurrence relation,
n−1 + cn+1
c(i) (i)
λi = E0 + W . (5.34)
c(i)
n
Additionally, the coeffitients must satisfy
X
|c(i)
n |
2
= 1 (5.35)
n
X
c(i)
n cn
( j)
= 0. (5.36)
n
Part III
69
Chapter 6
Probability
71
3. !2 !4
6! 1 5
P= = 0.2 (6.4)
4!2! 6 6
Solution
Each digit, has 5 possible choices for been < 5 and 5 of been ≥ 5, then, p = q = 12 .
Thus,
!10
10! 1
P= = 0.246. (6.5)
5!5! 2
Solution
1. !N
N! 1
P(N/2) = N N . (6.6)
! ! 2
2 2
P(m = 0) = 0. (6.7)
Solution
1. !N
5
P= . (6.8)
6
2. !N−1
5 1
P= . (6.9)
6 6
3.
1
# pull = = 6. (6.10)
P shoot
6.6 Problem. Reif 1.6
Solution
It is known that ma = (2n − N)a , then
m = 2n − N (6.11)
m2 = 4n2 − 4Nn + N 2 (6.12)
m3 = 8n3 − 12Nn2 + 6N 2 n − N 3 (6.13)
m4 = 16n4 − 32Nn3 + 24N 2 n2 − 8N 3 n + N 4 . (6.14)
Next,
!a
∂
na = p (p + q)N , (6.15)
∂p
then1 ,
∂
!
p (p + q)N = N p(p + q)N−1 (6.16)
∂p
!2
∂ h i
p (p + q)N = N p (p + q)N−1 + (N − 1)p(p + q)N−2 (6.17)
∂p
!3
∂ h
p (p + q)N = N p (p + q)N−1 + 3(N − 1)p(p + q)N−2
∂p
i
+(N − 1)(N − 2)p2 (p + q)N−3 (6.18)
!4
∂ h
p (p + q)N = N p (p + q)N−1 + 7(N − 1)p(p + q)N−2
∂p
+6(N − 1)(N − 2)p2 (p + q)N−3
i
+(N − 1)(N − 2)(N − 3)p3 (p + q)N−4 (6.19)
m = 0 (6.20)
m2 = N (6.21)
m3 = 0 (6.22)
m4 = 2N 4 + 2N 3 − 3N 2 + 4N (6.23)
1
You must check it by yourself because it does not coinside neither with the Reif results nor the resultofa friend of
mine.
6.7 Problem. Reif 1.7
Solution
2
X 2
X
W (n) =
0
··· ωi 1 · · · ωi N
i1 =1 iN =1
2
X 2
X
= ωi 1 · · · ωi N
i1 =1 iN =1
= (ω1 + ω2 ) · · · (ω1 + ω2 )
= (ω1 + ω2 )N . (6.24)
From the binomial theorem, it follows that the restriction of ω1 to occurs n times is
N!
W(n) = ωn1 ω2N−n . (6.25)
n!(N − n)!
Chapter 7
Thermodynamics
75
it is possible to change V by T , therefore,
!5/2
P T
= , (7.7)
P0 T0
77
then,
f (Ω) = k ln Ω + Ω0 , (8.9)
with k a constant.
By the initial condition,
f (Ω1 ) + f (Ω2 ) = f (Ω),
if the integration constant Ω0 is not zero, it adds. So, the integration constant must be zero.
Solution
The available data is i = (n + 1)hν and ωi = n + 1. From the definition,
∞
X
Z2 = (n + 1)e−(n+1)hνβ
n=0
∞
∂ X −(n+1)hνβ
= − e
∂(hνβ) n=0
∂ e−hνβ
= −
∂(hνβ) 1 − e−hνβ
∂ 1
= −
∂(hνβ) e − 1
hνβ
ehνβ
= . (8.10)
(ehνβ − 1)2
Since the partition function for the one-dimensional harmonic oscillator is
1
e 2 hνβ
Z1 = hνβ , (8.11)
(e − 1)
one conclude that
Z2 = (Z1 )2 . (8.12)
∂U
!
Cv =
∂T v
∂ 1
= 3Nhν
∂T e kT − 1
− hν
hv
hν2 2
e kT
= 3N 2
kT e kThv − 1 2
!2 hv
hν e kT
= 3Nk 2 . (8.14)
kT
hv
e kT − 1
Finally,
!2 hv
hν e kT
Cv = 3Nk 2 (8.15)
kT
hv
e kT − 1
Solution
One have that
1/2
X
Z 12 = egµ0 Hmβ , (8.16)
m=−1/2
and
1/2 1/2
X ∂ X
hµz i = e gµ0 Hmβ
= ln egµ0 Hmβ . (8.17)
m=−1/2
∂Hβ m=−1/2
Now,
1/2
X gµ0 Hβ
egµ0 Hmβ = 2 cosh , (8.18)
m=−1/2
2
then,
∂ gµ Hβ 1
0
gµ Hβ
0
ln 2 cosh = gµ0 tanh , (8.19)
∂Hβ 2 2 2
thus,
1 gµ Hβ
0
hµz i = gµ0 tanh . (8.20)
2 2
η
" ! #
1 1 1
BJ (η) = (J + 1/2) coth J + η − coth . (8.22)
J 2 2 2
1 + tanh2 η/2 1 η
" #
B1/2 (η) = 2 − coth = tanh η/2, (8.25)
2 tanh η/2 2 2
and finally,
1 gµ Hβ
0
hµz i = gµ0 tanh . (8.26)
2 2
∂ h hν
i
S = −3Nk T ln 1 − e− kT . (8.27)
∂T
Discuss physically the limits of low and high frequencies. What rôle plays the zero point energy?
Solution
Since,
∞ 1
X e− 2 hνβ
Z0 = e−(n+1/2)hνβ
= , (8.28)
n=0
1 − e−hνβ
it follows that
3
F = −NkT ln Z0 = Nhν + 3NkT ln 1 − e−hνβ . (8.29)
2
Finally from the Maxwell relation,one get
∂F ∂ h
!
hν
i
S =− = −3Nk T ln 1 − e− kT . (8.30)
∂T V ∂T
Solution
Since
i e−i β
P∞
U = N Pi=0
∞ − j β
j=0 e
∞
N ∂ X −i β
= − P∞ − j β e
j=0 e ∂β i=0
∞
∂ X −i β
= −N ln e ,
∂β i=0
(8.31)
Now, by calling
∞
X
Z0 = e−i β , (8.32)
i=0
and since the chain rule gives
∂ ∂T ∂ ∂ ∂
= ⇒ = −kT 2 , (8.33)
∂β ∂β ∂T ∂β ∂T
finally one get,
∂
hEi = NkT 2 ln Z0 . (8.34)
∂T
8.7 Problem G.-C. 3.2
Obtain the eq. (3.8) of the text, from the definition of entropy.
Solution
By the definition of the entropy,
∂F
!
S =− . (8.35)
∂T V
Since !3/2
3 2πmk
F = −NkT + + ,
ln V ln T ln (8.36)
2 h2
then,
!3/2
3 2πmk 3
S = Nk + + + .
ln V ln T ln (8.37)
2 h 2
2
!3/2
s 3 3 2πmk
= ln V + ln T + + ln .
(8.38)
R 2 2 h2
Solution
Beginning from the corrected distribution
Y 1
Wn1 ,n2 = (1) (2)
, (8.39)
i, j ni !n j !
Calling
0
X Y 1
t(n(1) , n(2) ) = (1) (2)
, (8.44)
n(1) ,n(2) i, j ni !n j !
and using
X ∂t X ∂t
δt(n(1) , n(2) ) = δn(1)
i + δn(2)
j , (8.45)
i ∂ni (1)
j ∂n(2)
j
and additionally,
X
δn(1)
i = δN1 = 0, (8.46)
i
X
δn(2)
i = δN2 , (8.47)
i
X X
δn(1)
i i +
(1)
δn j j
(2) (2)
= δE = 0. (8.48)
i j
Thus,
X ∂t
δt(n(1) , n(2) ) = + α + β δn
(1)
(1)
1 1 i i
∂n
(1)
i i
X ∂t
+ (2) + α2 + β2 j δn(2)
(2)
j , (8.49)
j ∂n j
since,
∂
ln t(n(1) , n(2) ) = − ln n(α)
a − 1, (8.51)
∂n(α)
a
then, as each term of the sum on (8.49) must vanish independently, it follows that
α)
α)
a = α(α) + β(α) a
ln n(α) ⇒ na(α)∗ = eα(α) eβ(α) a . (8.52)
Finally, from the restrictions,
α)
X X
n(α)∗
a = eα(α) eβ(α) a = N(α) , (8.53)
a a
one gets
N(α)
eα(α) = P α)
, (8.54)
a eβ(α) a
by definition,
α)
X
Z(α) = eβ(α) a , (8.55)
a
thus,
N1 β1 (1)
n(1)∗
i = e i , (8.56)
Z1
and
N2 β2 (2)
n(2)∗
j = e j . (8.57)
Z2
Solution
S = k lnX
t(n(1) , n(2) )max X
= −k n(1)∗
i ln(n (1)∗
i ) + kN1 − k n(2)∗
j j ) + kN2
ln(n(2)∗
i j
X X
= −k n(1)∗
i i ) + kN1 − k
ln(n(1)∗ n(2)∗
j j ) + kN2
ln(n(2)∗
i j
= −kβE − kN1 (ln N1 − 1 − ln Z1 ) − kN2 (ln N2 − 1 − ln Z2 )
Z1N1 Z2N2 E
= k ln + k ln +− . (8.58)
N1 ! N2 ! T
Thus,
N 1 N2
Z Z
F = −kT ln 1 2 . (8.59)
N1 ! N 2 !
8.10 Problem G.-C. 3.5
The energy of the one-dimensional harmonic oscillator is
p2 1
(x, p) = + mω2 x2 . (8.60)
2m 2
Calculate the clasical partition function and the termal propertiesof a system of 3N lineal oscil-
lators. Compare these results with the one of the second chapter of the textbook.
Solution
Two different approaches for solving this problem will be given, the first is by using the definition
of the classical partition function and the second by the micro-canonical partition function.
since,
π
Z r
−ax2
dx e = , (8.62)
R a
it follows that (8.61) yields,
kT
Z= . (8.63)
~ω
Therefore,
kT
F = −kT ln Z = −kT ln , (8.64)
~ω
so, using Maxwell’srelations, one get
∂F
!
P = − = 0, (8.65)
∂V T
∂F
! " !#
kT
S = − = k 1 + ln , (8.66)
∂T V ~ω
U = F + T S = kT, (8.67)
thus,
E
S (E, V) = k 1 + ln . (8.68)
~ω
Repiting the above precess for 3N harmonic oscillators,
!N
kT
Z= , (8.69)
~ω
where the N! coming from the Gibbs factor is not consider. Hence,
!
kT
F = −3NkT ln , (8.70)
~ω
P = 0, (8.71)
" !#
kT
S = 3Nk 1 + ln , (8.72)
~ω
U = 3NkT, (8.73)
thus,
E
S (E, V, N) = 3Nk 1 + ln . (8.74)
3N~ω
h
( 1/2 )
2
2 1+ ~p
Z
V βmc2 −βmc
= 3e 3 mc
d pe
h
( 1/2 )
4πV βmc2 ∞ 2 1+ p 2
Z
−βmc ( )
= d pp2 e .
mc
e (8.76)
h3 0
p
In order to perform the integral one can substitute mc = sinh x, therefore,
Z ∞
4πV 3 βmc2 2
Z(T, V, 1) = 3 (mc) e dx cosh x sinh2 xe−βmc cosh x , (8.77)
h 0
calling u = βmc2 ,
Z ∞
4πV
Z(T, V, 1) = 3 (mc)3 eu dx cosh x sinh2 xe−u cosh x . (8.78)
h 0
∂F 2
" mc 3 #
βmc2 K2 (βmc )
µ= = −kT ln 4πV e − kT − mc2 , (8.86)
∂N h βmc2
8.12 Problem G.-C. 4.3
Solution
Consider the Maxwell-Boltzmann distribution,
m 3/2 m
e− 2kT ~v d3 v.
2
f (~v)d3 v = (8.87)
2πkT
Since,
∞
π
Z r
−ax2
e dx = , (8.88)
0 a
the total contribution to v x is the integral over y and z,
m 1/2 m
2
f (v x )dv = e− 2kT vx dv x . (8.89)
2πkT
Then, the probability of finding a particle with celerity on x between 0 and v x0 , is
m 1/2 Z vx0 m
2
Pr(0 ≤ v x ≤ v x0 ) = e− 2kT vx dv x , (8.90)
2πkT 0
q
by defining vm = 2kT
m
and x = vvmx , one get
n = NPr(0 ≤ v x ≤ v x0 )
m 1/2 Z vx0 m
2
= N e− 2kT vx dv x
2πkT 0
Z x0
1 2
= N√ dxe−x
π 0
N
= er f (x0 ). (8.91)
2
Thus,
N
n= er f (x0 ). (8.92)
2
Solution
Consider the Maxwell-Boltzmann distribution,
m 3/2 m
e− 2kT ~v d3 v.
2
f (~v)d3 v = (8.97)
2πkT
In terms of celerity,
m 3/2 m
2
f (v)dv = 4π e− 2kT v v2 dv. (8.98)
2πkT
By changing r
mv2 2 d
= , v= , vdv = , (8.99)
2 m m
then,
√
f ()d = 2πN(πkT )−3/2 e− kT d. (8.100)
8.15 Problem G.-C. 4.8
D E D E D E
For a gas in equilibrium, calculate ~v , v2x , v3x and (v x + bvy )2 , where b is a constant.
Solution
Since the set up is confined to a volume V, it’s invariant under parity symmetry, so the mean value
of the velocity vanish,
~v = 0.
(8.101)
On the other hand, the average energy by d.o.f. is 12 kT . Hence, E = 12 mv2 , it follows that,
D E N
v2x = kT. (8.102)
m
and
1 N
Zn = Z . (8.106)
N! 1
Since X
eβµ gi e−βi = N, (8.107)
i
then
N N
A= P −β
= , (8.108)
i gi e ZN
i
1
so, by taking logarithm and β = ,
kT
µ h2
N 3 !
= ln + ln . (8.109)
kT V 2 2πmkT
Solution
The degeneration parameter is
!3/2
V 2πmkT
ξ= , (8.110)
N h2
so for an isometric process,
V h2
T≤ . (8.111)
N 2πmk
Moreover, taking
V = 1cm3 (8.112)
N = 1mol (8.113)
k = 1.38 ∗ 10−16 erg.K −1 (8.114)
h = 6.626 ∗ 10−27 erg.s, (8.115)
one gets,
ξ = 32. (8.123)
Also,
∞ X
X
hNi = NP j (N)
N0 j
∞
1 X αN X −βE j
= Ne e
Ξ N=0 j
∂
= − ln Ξ, (8.133)
∂α
then
∂
hNi = − ln Ξ. (8.134)
∂α
Finally, one can use
T S = U + Nµ + PV, (8.135)
and
PV = kT ln Ξ = −E N j + µN − kT ln P j (N). (8.136)
Substituting both result above, yields
∞
X X
T S = (E N j − µN)P j (N) − E N j + µN − kT ln P j (N). (8.137)
N=0 j
After average the last expresion, and dividing by T ,
∞ X
X
S = −k P j (N) ln P j (N). (8.138)
N=0 j
it follows that
∂
!
S = k ln ΞkT ln Ξ . (8.141)
∂T V,µ
∂
hEi == − ln Ξ. (8.144)
∂β
S = k ln Γ(E) (8.148)
= k ln Σ(E) (8.149)
= k ln ω(E), (8.150)
Solution
One can start from the definition
Z
Σ(E) = d3N pd3N q, (8.154)
H≤E
1 E 3N/2
Σ(E) ∼ . (8.159)
23N 3N !
2
Now,
∂Σ 3N ∆
ω(E) = ∆∼ Σ(E), (8.160)
∂E 2 E
thus,
3N Delta
ln ω(E) ∼ ln Σ(E) + ln + ln , (8.161)
2 E
but
ln N δ ∆
lim =0 << E ⇒ ln = o(0), (8.162)
N→∞ N E E
so,
ln ω(E) ∼ ln Σ(E). (8.163)
Also, by (8.162) it follows that
Finally,
ln Γ(E) ∼ ln ω(E) ∼ ln Σ(E). (8.165)
Solution
After proving the equivalency of the three diferent definitions of the entropy, it follows that in fact
the “uniform" ensamble is equivalent to the micro-canonical ensamble. The reason underlying this
situation is that the rate at which the number of states grows with energy is so abrupt that the main
contribution is given by the “immediate neighborhood" of E, as was said before,
with large N, i.e., the neighborhood of E makes the overwhelminly dominant contribution to this
number.
Since one is finally concerned only in the logarithm of this number, even the “width" of the
neighborhood is inconsequential.
Solution
The correct expresion for theentropy is
( !)
Vi 3 5 2πmi kT
S i = Ni k ln + Ni k + ln , (8.167)
Ni 2 3 h2
So, ( !)
V 3 5 2πmkT
S t = Nk ln + Nk + ln , (8.168)
N 2 3 h2
where N = N1 + N2 , V = V1 + V2 and since they are composed of the same gas, m1 = m2 = m.
Thus,
∆S = S t − S 1 − S 2
V V1 V2
= Nk ln − N1 k ln − N2 k ln
N N1 N2
V1 + V2 V1 V2
= (N1 + N2 )k ln − N1 k ln − N2 k ln , (8.169)
N1 + N2 N1 N2
moreover, as the initial conditions are the same, the densities of the three systems are the same,
V1 + V2 V1 V2
= = , (8.170)
N1 + N2 N1 N2
so, finally,
∆S = 0. (8.171)
8.28 Problem H. 7.1
• Obtain the preasure of a classical ideal gas as a function of N, T and V, by calculating the
partituon function.
• Obtain the same by calculating the grand partition function.
Solution
8.28.1 Canonical Ensamble
Since
1 N
ZN (V, T ) = Z , (8.172)
N! 1
it follows that
Z
1 β P 2
ZN (V, T ) = 3N
dΓ e− 2m i pi
N!h
#N
Vn
" Z
β P 2
= 4π d p p e 2 − 2m i p
N!h3N
1 V N
= (2πmkT ) 3/2
. (8.173)
N! h3
Then,
2
!3/2
N h
F = NkT ln ,
− 1 (8.174)
V 2πmkT
thus,
!3/2
∂F 2
! N h
µ= = kT ln ,
(8.175)
∂N V 2πmkT
V,T
∂F
!
NkT
P=− = , (8.176)
∂V N,T V
!3/2
∂F
!
V 2πmkT 5
S =− = Nk ln +
(8.177)
∂T 2
N h 2
N,V
and
3
U = F + ST = NkT. (8.178)
2
8.28.2 Grand Canonical Ensable
For the grand canonical ensamble, the partition function is
X∞
Q(z, V, T ) = zN ZN (V, T ), (8.179)
N=0
NkT
P= . (8.184)
V
By using the equations
∂
U = − q, (8.185)
∂β
Q
F = −kT ln , (8.186)
zN
∂q
!
U−F
S = = kT − Nk ln z + kq, (8.187)
T ∂T z,V
and
!
V 2πmkT 3/2
5
S = Nk + ln .
(8.190)
2
2
N h
8.29 Problem H. 7.2
Solution
Solution
Since
~
Ne−β~µ·H
f (~µ) = R
d3 µe−β~µ·H~
Ne−βµH cos θ
= − µH , (8.191)
4π µH
kT
sinh kT
and so
Z
1
hµz i = f (~µ)µz d3 µ
N
θ cosh θ − sinh θ
= . (8.192)
µθ sinh θ
From it,
NkT
M = N hµz i = [θ coth θ − 1]
H" #
1
= Nµ coth θ , (8.193)
θ
so,
" #
1
M = Nµ coth θ . (8.194)
θ
1 µ µH µ2 1
χ −→ = , (8.198)
3 H kT 3k T
thus,
χ ∝ T −1 , (8.199)
µ2
with a porportional constant .
3k
Solution
Since
∞
X
Q(z, T, V) = zN ZN (V, T )
N=0
∞ X
X 0
p pnp
=
P
zN e−β
N=0 {n p }
∞ X
X 0 Y n p
= ze−β p
N=0 {n p } ~p
Y X n p
=
ze−β p . (8.200)
~p {n p }
In general, Y ∓1
Q= 1 ∓ ze−β p , (8.203)
~p
with the upper index rules BE. statistics and the lower index FD’s one.
The eqs. of state are
PV X
= ln Q = ∓ ln 1 ∓ ze−β p . (8.204)
kT ~p
Now,
∂ X ze−β p
N=z ln Q = , (8.205)
∂z ~p
1 ∓ ze −β p
also,
D E 1 ∂ ze−β p
np = − ln Q = . (8.206)
β ∂ p 1 ∓ ze−β p
If one quantize on a box and after that takes the limit of V → ∞, the corresponding sums
converts on integrals, via Z
X V
−→ 3 d3 p. (8.207)
~p
h
Remember that
1 N
= . (8.209)
v V
or in terms of v,
β 2
∞
ze− 2m p
Z
1 4π
= dp p 2
β
. (8.212)
v h3 0 1 + ze− 2m p
2
Solution
In quantum mechanics, its known that
T r(Oe−βH )
hOi = . (8.216)
T r(e−βH )
T r(He−βH )
hHi = , (8.217)
T r(e−βH )
which can be written as
∂
hHi = ln T r(e−βH ). (8.218)
∂β
By deriving (8.218), one gets
∂ D E
− hHi = H 2 − hHi2 . (8.220)
∂β
Solution
Since,
1 ∂
hnk i = − ln Q, (8.221)
β ∂k
Differentiating this with respect to k leads to
D E 1 ∂
n2k − hnk i2 = − hnk i , (8.222)
β ∂k
from which one can deduce D E
n2k − hnk i2 = hnk i ± hnk i2 , (8.223)
with the plus sign for Bose-Einstein statistics and the minus sign for Fermi-Dirac statistics. The
fluctuations are not necessarily small. Note, however, that (8.223) refers to the fluctuations of the
occupation of individual states, and not the cell occupations.
Note,
D E D E 1 ∂ D E
nk n p − hnk i n p = − n p . (p , k) (8.224)
β ∂k
The RHS. vanish ’cause it depends only on p . Thus one gets
D E D E
nk n p = hnk i n p . (p , k) (8.225)
In the infinite volume limit the spectrum of states becomes a continuum. The physically inter-
esting question concerns the fluctuations in the occupations of a group of states, or a cell.
Let X
n(i) = k ,
n(i) (8.226)
k
where nk(i) is the k-th state in the (i)-th cell. One is interested in
P D E
By using (8.225), it is easy shown that the RHS. is equal to k n2k − hnk i2 . Hence, using
(8.223) one obtains 2 D E2 D E X D E2
n(i) − n(i) = n(i) ± nk(i) . (8.228)
k
In the infinite volume limit, the k sum is replaced by an integral over a region in k space. No
matter how small this region is, the integral is proportional to the volume V of the system.
Thus ended the proof,
2 D E 2 D E2
n(i) − n(i) << n(i) . (8.229)
Chapter 9
Special Topics on Statistical Mechanics
~ N 1/3
√ 1. (9.2)
2mkT V
107
Figure 9.1: Classical Scattering
Then, the only real contribution comes from the electromagnetic interaction.
Fg Fem . (9.5)
∞;r < R
(
V(r) = . (9.11)
0 ;r > R
Thus,
Al (r)|r=R = 0 =⇒ jl (kR) cos δl = nl (kR) sin δl , (9.12)
or
jl (kR)
tan δl = . (9.13)
nl (kR)
Consider just l = 0, which represents an S -wave scattering, so
sin(kR)/kR
tan δ0 = = − tan kR, (9.14)
− cos(kR)/kR
or
δ0 = −kR. (9.15)
The radial wave function (with the eıδ omitted),
sin kr cos(kr) 1
Al=0 (r) ∝ cos δ0 + sin δ0 = sin(kr + δ0 ). (9.16)
kr kr kr
(kr)l
jl (kr) ' , (9.17)
(2l + 1)!!
(2l − 1)!!
nl (kr) ' − . (9.18)
(kr)l+1
Then,
(kR)2l+1
tan δl ' − , (9.19)
(2l + 1)[(2l − 1)!!]2
and finally,
dσ sin2 δ0
= 2
' R2 , (9.20)
dΩ k
and
σnr = 4πR2 . (9.21)
Ultra-relativistic limit
In this limit, lmax ' kR. Then,
l'kR
4π X
σur ' (2l + 1) sin2 δl , (9.22)
k2 l=0
but
tan2 δl j2l (kR) πl
!
in δl =
2
= 2 2
≈ sin kR − , (9.23)
1 + tan2 δl jl (kR) + n2l (kR) 2
because, !
1 lπ
jl (kR) ∼ in kR −
kR 2
and !
1 lπ
nl (kR) ∼ − cos kR − .
kR 2
Finally,
4π 1
σur = 2
(kR)2 = 2πR2 . (9.24)
k 2
Solution
A plausible experiment is the mean distribution of velocities of a gas expelled from a volume
through a small hole.
The number of atoms per unit volume moving in the normal direction to the wall is
or
An
R=hvi . (9.27)
4
This is highly dependent on f (v), so one can check the Maxwell-Boltzmann distribution.
Figure 9.2: Gas enclosed on a box is escaping very slowly, so the process is almost in equilibrium.
NOTE: This is indeed the way neutrons (or other neutral particles) are accelerated, because there
is not possibility of applying electric fields.
Solution
So, one can use the canonical ensemble, i.e.,
e−βr
Pr = P −βs . (9.28)
se
The energy involved is just the gravitational potential energy, mgh. In CGS units,k = 1.38 ∗
10−16 erg/K, the gravitational acceleration is g = 103 cm/s2 , so an estimation is
10−1 103 10−8
mgh − 8
Pr ≈ e− kT ∼ e 10−16 102 = e−10 . (9.29)
In this thick approximation, the exponent is so huge that changing the base from e to 10 is allowed,
thus
8
Pr ∼ 10−10 . (9.30)
This is barely non zero.
9.6 Problem H. 4.6
A room of volume 3 × 3 × 3 cubic meters is under standard conditions
1. Estimate the probability that at any instant of time a 1cc volume anywhere within this room
becomes totally devoid of air because of spontaneously statistical fluctuations.
2. Estimate the same for 1Ȧ3 volume.
Solution
Once more, one can use the canonical ensemble, but since p and T are given, one can use the ideal
gas equation of states and rewrite the probability in terms of V,
v
Pv ∼ e−N V . (9.31)
In the room the number of particles is of order N ' 1026 , the volumes are va = 1cm3 , vb =
1Ȧ3 = (10−8 cm)3 = 10−24 cm3 and V = 27 ∗ 106 cm3 , then
1026 20
Pa ∼ e− 106 = e−10 , (9.32)
whilst
1026 10−24 −8
Pb ∼ e− 106 = e−10 . (9.33)
From (9.32) one conclude that the probability is barely different than zero, but (9.33) is rela-
tively 1.
Solution
After the state in which a cubic centimeter has been devoid, the gas will suffer a free expansion and
the vacuum will be occupied.
Since the average time of collisions is of order ∆t ∼ 10−11 s, then the time in which the situation
will be repeated is given by
∆t 20 20
t= ∼ 10−11 s ∗ e10 ∼ 1010 s. (9.34)
Pa
NOTE: The larger estimated age of the universe is 20 billion year (tu ∼ 1020 s, but t tu . This
means that if the situation is reached, the probability of seeing it again could be considered zero.
Solution
In order to extremize the functional H constrained to (9.36), one can use Lagrange multipliers.
Then,
βmv2
Z " #
HT = d v f ln f + α f +
3
f + cont. , (9.37)
2
whose variation yields
βm 2 βmv2
(δ f ) ln f + f δ ln f + αδ f + δ(v ) f + δ f = 0. (9.38)
2 2
Since
∂f
δf = · δ~v, (9.39)
∂~v
then
∂f ∂f ∂f βmv2 ∂ f
" #
ln f + +α + βm~v f + · δ~v = 0. (9.40)
∂~v ∂~v ∂~v 2 ∂~v
But the variation of ~v is arbitrary, and the equation can be written like
βmv 2
!
~v f 1 + α +
∇ + ln f = −βm~v f. (9.41)
2
In principle the solution of this equation is known if the term inside the bracket is one. More-
over, the restriction of the bracket is also solution of the complete equation. Thus,
m~v2
f (~v, t) = e−α e−β 2 . (9.42)
Solution
The mean-free path is given by
π 1
r
1
λ= , (9.43)
4 2 nσ
and the collision time is
1 π 1
r
τ= . (9.44)
4 2 nσv̄
Then, the task is finding the values of σs, ns and v̄s.
In CGS units,
e2 1.5 ∗ 10−7
= cm, (9.45)
kT T
Then,
ra ∼ 10−8 cm,
rb ∼ 10−12 cm,
rc ∼ 10−14 cm,
rd ∼ 10−12 cm,
re ∼ 10−13 cm. (9.46)
σa ∼ 10−15 cm2 ,
σb ∼ 10−23 cm2 ,
σc ∼ 10−27 cm2 ,
σd ∼ 10−23 cm2 ,
σe ∼ 10−25 cm2 . (9.47)
r !1/2
2kT me
Since v̄ = = 4.19 ∗ 107 T 1/2 cm/s, it follows that,
m mi
Thus,
λa ∼ 10−16 cm,
λb ∼ 108 cm,
λc ∼ 1012 cm,
λd ∼ 1019 cm,
λe ∼ 10−18 cm, (9.49)
and
τa ∼ 10−23 s,
τb ∼ 100 s,
τc ∼ 103 s,
τd ∼ 1011 s,
τe ∼ 10−27 s, (9.50)
(a) Show that in a sound wave the density oscillates adiabatically if K c s λρCV , where
cs = velocity of sound
λ= wave length
ρ= mass density
CV = specific heat
K = Coefficient of thermal conductivity.
(b) Show by numerical examples, that the criterion stated in (a) is well satisfied in most practical
situations.
Figure 9.3: Propagation of a sound wave through a tube
Solution
Sound waves cover the following three characteristics
Consider a column of gas in a tube. Let p0 and ρ0 be the pressure and density of the gas in its
equilibrium. If the pressure varies the elemental volume, Adx, moves. It is displaced a distance ξ,
but due to the change of volume the new volume is A(dx + dξ).
Mass conservation requires that,
ρ0
ρA(dx + dξ) = ρ0 Adx or ρ= ∂ξ
. (9.51)
1+ ∂x
∂ξ 1
In general is small, so one can use the expansion of . Also, p = f (ρ), then up to first
∂x ∂ξ
1 + ∂x
order,
∂ξ
!
ρ − ρ0 = −ρ0 (9.52)
∂x
and
∂ξ
! ! !
dp dp
p = p0 + (ρ − ρ0 ) + · · · = p0 − ρ0 . (9.53)
dρ 0 ∂x dρ 0
∂2 ξ
Further, the equation of motion requires the acceleration ,so a little algebra yields
∂t2
∂2 ξ ∂2 ξ
!
dp
= , (9.54)
∂t 2 dρ 0 ∂x2
then !
dp
c2s = . (9.55)
dρ 0
Now, the coefficient of thermal conductivity is defined as the flux energy through unit area
divided by the gravient of temperature, so
1 dE dz 1 dE dz
K= = ' CV c s ρλ, (9.56)
A dt dT A dT dt
then for an adiabatic process, one must requires
K CV λρc s , (9.57)
pV γ = cte, (9.58)
γp 1
c2s = = , (9.60)
ρ κS
finally,
s
1
cs = . (9.61)
ρκS
Since CV ∼ 1.4, c s ∼ 3 ∗ 104 cm/s, λ ∈ [1.5, 1500] and ρ ≥ 1, then in all cases showed in the
table, K CV c s ρλ is satisfied.
Gas Temperature (oC)
-100 -50 0 20 100
Air (dry) 3.9 4.9 5.76 6.1 7.4
O2 3.9 4.9 5.8 6.2 7.6
He 24.6 29.6 34.3 36.1 40.8
H2 21.8 35.0 41.9 44.5 54.2
CO2 3.4
(b) Estimate, for each of the following ideal gases, the temperature below which quantum effects
would become important: H2 , He, N2 .
Solution
For the weak degenerated case, for a Bose gas µ(< 0) is noot near to zero and for the Fermi gas
µ < 0. One can calculate
∂ ln Ξ Y ∓1
pV = kT ln Ξ, N = kT = 1 ∓ eβ(µ−) .. (9.62)
∂µ i
Here on the upper sign is for Bose gas and the lower one is for Fermi gas.
By expanding in terms of eβ(µ−) :
∞
X X λn
ln 1 ∓ eβ(µ−) = kT
pV = ∓kT (±1)n−1 Cn , (9.63)
i n=1
n
∞
X
N= (±1)n−1 λnCn , (9.64)
n=1
with !3/2 Z
X 2m 1/2
∞
gV
Cn = e−nβi
= 2πgV 2 = 3 3/2 ,
d (9.65)
i
h 0 e nβ
λT n
√
where g is the weight for the internal degrees of freedom and λT = h/ 2πmkT . From (9.64) and
(9.65),one obtains
∞
gV X λn
N= 3 (±1)n−1 3/2 . (9.66)
λT n=1 n
Assuming the power series in x = Nλ3T /gV for λ = a1 x + a2 x2 + a3 x3 + · · · , one can determine
the coefficients successively from (9.66),
!3/2
1 1 1
a1 = 1, a2 = ∓ 3/2 , a3 = − , ··· (9.67)
2 4 3
Substituting this values of λ into (9.63), one get
! 3 !2
1 λ3T λT
!
pv 1 2
=1− √ + − √ − ··· . (9.68)
kT 4 2 v 8 9 3 v
Solution
Classically one has,
R
N(N − 1) d3N pd3 r3 · · · d3 rN e−βH(p,r)
D(~r1 ,~r2 ) = R . (9.69)
d3N pd3N re−βH(p,r)
In order to include the lowest quantum corrections, one can replace the free Hamiltonian by
X p2 X
H(p, r) = i
+ ṽi j . (9.70)
i
2m i< j
Assume that the density the gas is almost zero. The limit N → ∞, V → ∞ should be so taken
that N/V → 0. Then,
" #
N(N − 1) R
N(N − 1)V N−2 1 ± f12 2 ± d3 f 2 (r)
2V
D(~r1 ,~r2 ) =
N(N − 1) R 3 2
1± d f (r)
" 2V !#
1 2π 2
≈ 2 1 ± exp − 2 ~r1 − ~r2 . (9.71)
v λ
This result continues to hold for finite v with λ3 /v 1, although the derivation did not justify
such a conclusion.
9.13 Problem H. 9.5
Consider the grand partition function
(a) Write down the equation of state in the parametric for, eliminate z graphically, and show that
there is a first-order phase transition. Find the specific volumes of the two phases.
(b) Find the roots of Q(z, V) = 0 in the complex z plane, at fixed V. Show that as V → ∞the root
converge toward the real axis at z = 1.
(c) Find the equation of state in the “gas” phase. Show that a continuation of this equation beyond
the phase transition density fails to show any sign of the transition. This will demonstrate
that the order of the operations z ∂z∂ and V → ∞ can be interchanged only within a single
phase region.
Solution
The parametric equation of state are
p 1
= ln(1 + z) + ln(1 + zαV ), (9.73)
kT V
1 z zαV
= +α . (9.74)
v 1+z 1 + zαV
The roots of Q are z = −1 which does not belong to the physical system, and zαV = −1. This
last, so that z is unimodular, can be written as
or
π
ıθ = ± . (9.76)
αV
It is clear that in the limit V → ∞, in order to preserve the relation, θ → 0, thus
z → 1. (9.77)
9.14 Problem H. 11.1
Give the numerical estimates for the Fermi energy of
Solution
Since
!2/3
h2 3n
F = , (9.78)
2m 4π(2σ + 1)
then, for electrons in a metal, whose n = 5.86 ∗ 1028 elect/m3 , it follows that (σ = 1/2)
For a nucleon (with energyE = .5MeV) on a heavy nucleus, n ' 1030 nucleon/cm3 , mn ∼
10−30 g, then
Moreover,
!2
2 3 5π2 kT
F = Nµ − pV = Nµ − U = NF 1 − + · · · ,
(9.84)
3 5 12 F
thus,
!2
A 3 5π2 kT
= F 1 − + · · · .
(9.85)
N 5 12 F
Solution
See (9.68)
X N
X
Ei {si } = − si s j − H si . (9.87)
<i j> i=1
Show that in the absence of an external field (H = 0), the free energy at a given temperature is the
same for the ferromagnetic case ( > 0) and the anti-ferromagnetic case ( < 0).
Solution
Consider any lattice site designate it as a site of sub-lattice A. Designate it nearest neighbors as
sites belonging to sub-lattice B. The sub-lattices are completely defined by the rule that the nearest
neighbors of any site in sub-lattice B are sites of sub-lattice A, and vice versa. In a square lattice,
the nearest neighbors are situated on lattice spacing away, along mutually orthogonal directions.
Therefore both A and B are square lattices. Denote the spin variables in sub-lattice A by sAi ,
and those in sub-lattice B by sBi . Only spins in different sub-lattices interact. Thus, the partition
function can be written in form XX P
Q= e J <i j> sAi sB j , (9.88)
{sA } {sB }
where J = β. Since {sA } is being summed over, the above is invariant under sAi → −sAi . Therefore
it is invariant under → −.
(a) Let Q(N, β) denote the partition function for a 2-dimensional Ising model of N sites on a square
lattice at temperature kT = β1 with no external field. Show that in the limit N → ∞
ln Q(N, β) ln Q(N, β∗ )
= − sinh (2β∗ ) , (9.89)
N N
where β∗ = − 12 ln tanh β, or
sinh 2β sinh 2β∗ = 1. (9.90)
Note that β∗ is a decreasing function of β. Thus, the high temperature properties of the system
are explicitly related to its low temperature properties.
(b) One know through Peierls argument that the system exhibits spontaneous magnetization. As-
suming that the critical temperature T c is unique, one conclude βc = β∗c . Show
1 √
βc = ln 1 + 2 . (9.91)
2
This is how the transition temperature of the 2-dimensional Ising model was obtained before
Onsager’s explicit solution.
Solution
X
X
Q = exp J si s j
s <i j>
XY
= exp Jsi s j
s <i j>
XY
= cosh(J) + si s j sinh(J)
s <i j>
1
XYX k
= c k si s j (9.92)
s <i j> k=0
where ki j ≡ kb , with b referring to the link that joints < i j >. To derive this, consider <i j> (c0 +
Q
c1 si s j ), which is a product of F factors (F = number of links). Expand the product in to a sum of
terms, each made up of F factors, obtained by choosing either the c0 or c1 term.
0
Y Y Y Y
(si s j ) =
ki j (si ) i j =
k
(si )ni , (9.95)
<i j> i j i
P
ni ≡ b⊃i k0 , and the prime on the product on j means product over sites j that are nearest neighbors
P
of i. The sum b⊃i denotes a sum over all links b that meet at the site i. To derive the first equality,
note that both sides represent different ways of writing the same product.
XX Y ni
Q = ck1 ck2 ... (si )
{s} {k} i
X X
= ck1 ck2 ... [(s1 )n1 (s2 )n2 ...]
{k} {s}
X 1
Y X ni
= ck1 ck2 ... s
{k} i s=−1
X Y
= ck1 ck2 ... [1 + (−1)ni ] . (9.96)
{k} i
Note [1 + (−1)ni ] = 0 for ni odd, 2 for ni even. Since {ni } depends on {kb }, only that subset of {kb }
corresponding to all ni even will contribute:
0
X
Q=2 N
ck1 ck2 ... ,
(9.97)
{k}
where the prime on the sum denotes the constraint b⊃i kb = 0 (mod 2), for all i.
P
That is, associated with each link b and integer kb = 0, 1, such that k1 + ... + k4 = 0 (mod 2)
whenever the links 1, 2, 3, 4 all meet at one site.
One solve the constraint through a geometrical construction. Define the “dual lattice” as the
lattice whose sites are located at centers of each square of the original lattice. In the accompanying
sketch, the dual lattice sites are marked with an x, and the links of the dual lattice are shown dotted.
each original site i is contained in a square of the dual lattice, which is called a “plaquette”. Attach
to each site of the dual lattice a dual spin variable, σi , which can assume only the values ±1. If 1,
2, 3, 4 are dual sites at successive corners of a plaquette (say in clock-wise order), then
σ1 σ2 + σ2 σ3 + σ3 σ4 + σ4 σ1 = 0 (mod 4) (9.98)
to see this, note that the left side can be written in the form (σ1 + σ3 )(σ2 + σ4 ) = 0, ±4. Noe each
link b of the original lattice cuts a unique link b∗ of the dual lattice. The constraint is solved by
taking
1
kb = (1 − σ1 σ2 ) (9.99)
2
where 1, 2 mark the dual sites at the ends of b∗ . This is so because, first, kb = 0, 1 as required, and
second whenever 4 links meet at the same site, they cut the sides of the plaquette containing the
site. One know in passing that an equally acceptable definition of kb can be obtained by changing
the − → +. This shows that in this case the ferromagnetic model and the anti-ferromagnetic model
have the same free energy, in agreement with the general theorem stated in the last problem.
Since there is a one-to-one correspondence between links on the original and on the dual lattice,
ona can associated with a dual link b∗ the integer kb∗ ≡ kb . For large N, the number of dual sites is
also N. One can associate each dual site with 2 dual links (say, the once pointing north and east).
There are 2N integers kb∗ , of which N are independent (because they satisfy N constraints). Thus,
the partition function is obtained by replacing the constraint sum 0{k} by the un-constraint sum
P
1P
2 {σ} : X
Q = 2N−1 ck1 ck2 ...
(9.100)
{σ}
where J ∗ tanh J ∗ ≡ e−2J is defined, with a view to re expressing the above expression as an expo-
nential:
eJ
ck = ∗
(cosh J ∗ + σ1 σ2 sinh J ∗ )
2 cosh J
= [2 sinh(2J)]−1/2 exp (J ∗ σ1 σ2 ) . (9.102)
Thus, finally
1 X X
Q = (sinh 2J ∗ )−N exp J ∗ σi σ j . (9.103)
2 {σ} <i j>
Solution
Under parity transformation,
ex e−x e−x ex
7→ = = . (9.110)
(1 + e x )2 (1 + e−x )2 e−2x (e x + 1)2 (1 + e x )2
Then,
f (x) = f (−x). (9.111)
Now,
e±∞
(
0/1 ;x → −∞
f (±∞) = = e+∞ (9.112)
(1 + e±∞ )2 e2∞
→ 0;x → +∞
Therefore, this equation goes to zero as x → ±∞.
9.21 Problem G.-C. 6.16
The state density of electrons in some sample is given by
D = cte if > 0
(
f () =
0 if < 0
Calculate the Fermi potential F , the condition for strong degeneration and prove that in this case
CV ∝ T .
Solution
At 0K,the energy levels are occupied by electrons up to = µ0 . Hence one has Dµ0 = N, thus,
N
µ0 = . (9.113)
D
The condition that guarantees no degeneracy is e−βµ 1. When this is satisfied, one has
Z ∞
N e−βµ
= deβ(µ−) = , (9.115)
D 0 β
thus the condition of no-degeneracy becomes
N
1. (9.116)
DkT
This means that the total number of electrons is very small compared to the number of electrons
that can be accommodated in the energy range of width kT . DkT is the number of states in the
interval kT .
For βµ 1, one has
"Z µ Z µ ( ) Z ∞ #
1 d
N = D d − d 1 − β(−µ) +
0 0 e +1 µ e
β(−µ) + 1
" Z µ Z ∞ #
d d
= D µ− +
0 e
−β(−µ) +1 µ e
beta(−µ) +1
" Z ∞ Z ∞ #
dy dy
' D µ− +
0 e +1 0 e +1
βy βy
1 2 1 2
= Dµ + π D(kT )2 . (9.118)
2 6
The first term in (9.118) does not depend on the temperature as can be seen from (9.117). Hence
one gets, at low temperatures,
∂E 1 2 2
CV = = π Dk T. (9.119)
∂T 3
Solution
The distribution of velocities of a Fermi gas is given by
(2σ + 1)V 1
n(~v) = . (9.120)
eβ( 2 mv −F ) + 1
3 1 2
h
Then, in the limit kT F ,
(2σ + 1)V p2 d p
Z
N = 4π
eβ( 2 mv −F ) + 1
1
h3 2
√
(2σ + 1)V π
= 3
4πeF (2mkT )3/2 , (9.121)
h 4
or !3/2
βF h2 N
e = . (9.122)
2πmkT (2σ + 1)V
Therefore,
(2σ + 1)V βF −β mv22 3
n(v)d3 v ≈ e e d v
h3
N −β m2 v2 3
= e d v. (9.123)
(2πmkT )3/2
Equation (9.123) is the same as the Maxwell-Boltzmann distribution.
Solution
The Helmholtz free energy F(= Nµ − pV) of the photon gas is equal to −pV because µ = 0.
On the other hand, the grand partition function is
X
pV = kT ln Ξ = −kT ln 1 − e−βhνi . (9.124)
i
The energy spectrum of the photon gas is given by E(k) = hck, k is the modulo of the wave vector.
Then, the summation over i is to be interpreted as that over the wave vector ~k, and this can be
replaced by an integral. Taking into account the weight 2 which comes from the two different
polarizations of the photon, one obtains
Z ∞ 2 ∗ 4πV
pV = −kT ln 1 − e−β~cq 3
q2 dq
0 (2π)
(kT )4 V ∞
Z
= − 2 ln 1 − e −x 2
x dx
π (~c)3 0
Z ∞
(kT )4 V
= ln 1 − e−x x3 dx,
2 3
(9.125)
3π (~c) 0
after integration by parts.
The integral in (9.125) turns to have the value π4 /15.
Hence,one has, finally
Vπ2 (kT )4 4σV 4
pV = −F = = T , (9.126)
45(~c)3 3c
with σ the Stefan-Boltzmann constant. The entropy is given by
16σV 3
S = T , (9.127)
3c
then
4σV 4
U(= F + T S ) = T . (9.128)
c
Thus,
u
p= . (9.129)
3
9.24 Problem G.-C. 7.16
Suppose that sun emits electromagnetic waves from its surface (T ∼ 106 K) calculate the pressure
exerts by that radiation. How is it compared with the one of a mol of ideal gas enclose on a volume
of 1cm3 ?
Solution
In SI units, σ = 5.67 ∗ 10−8 Jm−2 K −4 s−1 , R = 8.315J/K ∗ mol and c = 3 ∗ 108 m/s.
From (9.129), it follows that
u 4σ 4
ps = = T = 2.52 ∗ 108 J/m3 . (9.130)
3 3c
Similarly, from the ideal gas equation of states, it follows that
8.315J/s ∗ 300K
p(i) = = 2.5 ∗ 109 J/m3 . (9.131)
10−6 M 3
Then,
p(i) ∼ 10p s . (9.132)
Solution
The energy levels of free particles in a 2-D region on L x × Ly are given by
~2 2
(k x , ky ) = (k + ky2 ), (9.133)
2m x
with ki = 2πn
Li
i
and ni ∈ Z.
One can use the formula which is established generally in the Bose-Einstein statistics, i.e.,
X 1
N= β( −µ)
, (9.134)
i
e i − 1
where N is the total number of particles, µ is the chemical potential and summation is over all pos-
sible energy levels. Assuming Li sufficiently large, one can replace this summations by integration
in the (k x , ky )-space,
Z ∞
m ∞
Z
L x Ly kdk d
N= 2
2π 2 2 = 2πL x Ly 2 β(−µ)
, (9.135)
(2π) 0
~ k h 0 e −1
β
−µ
2m
e −1
or ∞
2πmkT X 1 kTlµ
N = L x Ly e . (9.136)
h2 l=1
l
From (9.136), one knows that always is possible to get a value of µwhich is not of order 1/N.Hence
one can conclude that there are no levels which are occupied by a number of molecules of order N,
so that Bose-Einstein condensation does not occur.
Solution
Electromagnetic waves confined in a container can be regarded as superpositions of normal mode
of oscillations.
Let νi be the frequency of the i-th normal mode and ni be the quantum of that mode which can
be treated as a quantized harmonic oscillator. Then,
X
E(n0 , n1 , · · · ) = ni hνi , (9.137)
i
is the energy of the electromagnetic wave which is in the quantum state specified by (n0 , n1 , · · · ).
The zero point of energy is omitted by the adjustment of energy. By (9.137), one can consider
ni as the number of photons with energy hνi . Hence the canonical ensemble partition function for
this photon gas is given by
∞ X
X ∞ Y −1
Z(T, V) = · · · e−βE(n0 ,n1 ...) = 1 − e−βhνi , (9.138)
n0 =0 n1 =0 i
Nonetheless, one one can introduce a set of orthonormal basis vectors, a j , s.t. ξ j = j ηr are the
a(r)
P
r
principal vectors of the potential Φ, e.i., i Φi j a(r)
j = mωr δi j a j .
2 (r)
P
Then, (9.140) yields, X
a(r)
j mη̈r + mω 2
r η r =0 j ,
∀a(r) (9.141)
r
thus,
mη̈r = −mω2r ηr . (9.142)
becomes1 ,
X p2 m2 X X (r) (r0 )
i
= ai ai η̇r η̇r0
i
2m 2m i rr 0
1 X
= δrr0 mη̇r mη̇r0
2m rr0
1 X 2
= p, (9.144)
2m r r
and
1X 1 XX (r0 )
Φi j ξi ξ j = i a j ηr ηr
Φi j a(r) 0
2 ij 2 i j rr0
1 XX (r0 )
= i a j ηr ηr
mω2r δi j a(r) 0
2 i j rr0
1 XX (r0 )
= mω2r a(r)i ai ηr ηr
0
2 i rr0
1X
= mω2r η2r . (9.145)
2 r
1
Since pi = mξ̇i = m i η̇r .
a(r)
P
r
From (9.144) and (9.145) it follows that
X p2 1 !
H= r
+ mωr ηr .
2 2
(9.146)
r
2m 2
a.- The energy levels of a 3D isotropic harmonic oscillator are given by n = (n + 3/2)hν. Show
that the n-th level has degeneration 12 (n + 1)(n + 2).
b.- Calculate the partition function for N oscillators and relate the result with the Einstein model
of solids.
Solution
(M + N − 1)!
gM = . (9.147)
M!(N − 1)!
1
gn = (n + 1)(n + 2). (9.148)
2
The partition function is given by
1X
Z1 = (n + 1)(n + 2)e−β(n+3/2)hν
2 n
1 β 12 hν X
= e (n + 1)(n + 2)e−β(n+2)hν
2 n
∂
!X
1 β 12 hν
= e − (n + 1)e−β(n+2)hν
2 ∂(βhν) n
∂
!
1 β 12 hν X
= e − e−βhν (n + 1)e−β(n+1)hν
2 ∂(βhν) n
∂ ∂
! !X
1 β 12 hν
= e − e−βhν
− e−β(n+1)hν
2 ∂(βhν) ∂(βhν) n
∂ ∂
! !
1 β 12 hν 1
= e − e−βhν
−
2 ∂(βhν) ∂(βhν) e − 1
βhν
∂
!
1 β 12 hν 1
= e −
2 ∂(βhν) (e − 1)2
βhν
eβ 2 hν
3
= , (9.149)
(eβhν − 1)3
or
eβ 2 hν
3N
ZN = βhν . (9.150)
(e − 1)3N
+ O(x3 ) ;x = Tθ1
2
1 − 3x8 + 20
( x D
D(x) = π4 (9.151)
5x3
− 3e−x (1 + O(1/x)); x 1
x x
!2
x2 2 3 2 3
Z Z !
x x x x x x
+ + + ··· + + + + · · · + · · ·
2
dx ≈ dxx 1 −
0 1+x+ x2
2!
+ x3
3!
+ ··· 0 2 3! 4! 2 3! 4!
Z x Z x Z x
1 1
≈ dxx2 − x3 + dxx4 + · · ·
0 2 0 12 0
x3 x4 x5
= − + + ··· . (9.154)
3 8 60
Therefore,
3x x2
D(x) ≈ 1 − + , for x 1. (9.155)
8 20
Moreover,
U = U0(D) + 3NkT D(x), (9.158)
then, for x 1 yields,
3 θ 2 x2
!
D
CV = 3NkT − Nk + · · · = 3Nk 1 − + cdots . (9.159)
20 T 20
And for x 1,
!
12 4 T
θD
CV ≈ NkT π − 9Nke− T + · · · , (9.160)
5 θD
thus,
!" #
CV 12 1 15 3 −x
= π4 3 1 − 4x e + ··· . (9.161)
Nk 5 x 4π
Solution
Langevin’s function is definedby
3
+ 45 ; x<1
( x x
1
L(x) = coth x − = 3 (9.162)
x 1 ; x1
with x = µe E/kT .
In order to approximate Langevin’s function just like x/3, x 1.
In the given set up, the condition x = 1 requires
κ−1 µ2
=α+ e ,
4πn 3kT
if the first non-linear term of Langevin’s function is include? Under what conditions are usefull
this corrections?
Solution
Since
hµe i = µe L(x), (9.164)
then,
µ2e E x2
!
hµe i = 1+ . (9.165)
3kT 15
It follows that
n µ2e E x2
!
P= 1+ . (9.166)
3 kT 15
If one includes the polarization of the molecules, hence,
µ2e x2
" !#
χ=n α+ 1+ . (9.167)
3kT 15
This effect is not worthing unless one is interested in low temperatures and/or huge electric
fields (order of MV/m).
Solution
By definition of the Brillouin function,
" # !
BM 1 BM
Bσ (BM/T ) = (σ + 1/2) coth (σ + 1/2) − coth . (9.170)
T 2 T
Since,
∂ 1 − coth2 (1/t)
coth(1/T ) ∝ , (9.171)
∂T T2
when T → ∞, coth2 (1/t) → 1 exponentially, whilst the denominator explode potentially. Then,
CM → 0. (9.172)
as T → 0.
∆E − T ∆S I + p∆V − µ∆N
Ω = C exp − . (9.173)
kT
Solution
Using the thermodynamical relations for the total entropy S = S I + S II ,the fluctuation is given by
Solution
The fluctuation of the energy square is given by
∂u(ν, T )
D E !
E (ν, T ) = hT V0 dν
2
. (9.179)
∂T V0
8πν2 ∂u 8πν2
u(ν, T ) = kT, =⇒ = 3 k. (9.180)
c3 ∂T c
For Wien’s energy density,
∂u αβν4 −βν/T
u(ν, T ) = αν3 e−βν/T , =⇒ = 2 e . (9.181)
∂T T
Finally for Planck’s energy density
hν
8πν3 h 1 ∂u(ν, T ) 8πν4 h2 e kT
u(ν, T ) = , =⇒ = 3 2 hν . (9.182)
c3 e kThν −1 ∂T c kT (e kT − 1)2
c3
2
E
u (ν, T ) 8πν 2 V0 dν R.J.
βkνV0 u(ν, T )dν i
D
E (ν, T ) =
2
W. (9.184)
h
hνu(ν, T ) + c3 2 u2 (ν, T ) V0 dν
Planck
8πν
Part IV
Relativity
141
Chapter 10
Relativity
10.1 Problem 1
• A cylinder whose transverse section is a circle of radius a, using (phi, z) as the coordinates
for the cylinder. Is this cylinder plane or curved?
Answer
In order to find the line element for each case, we just substitute the differentials of the line element
in terms of the new coordinates.
Spherical coordinates
The change of basis is given by
x = a sin θ cos φ,
y = a sin θ sin φ,
z = a cos θ. (10.2)
143
then,
and
dx2 = a2 cos2 θ cos2 φdθ2 + sin2 θ sin2 φdφ2 − 2 sin θ cos θ cos φ sin φdθdφ
dy2 = a2 cos2 θ sin2 φdθ2 + sin2 θ cos2 φdφ2 + 2 sin θ cos θ cos φ sin φdθdφ
dz2 = a2 sin2 θdθ2 . (10.4)
Thus,
ds2 = a2 dθ2 + sin2 θdφ2 . (10.5)
Cylindric coordinates
For cylindric coordinates, the change of basis is given by
x = a cos φ,
y = a sin φ,
z = z. (10.6)
Then
dx = −a sin φdφ
dy = a cos φdφ
dz = dz, (10.7)
and
Thus
ds2 = a2 dφ + dz2 . (10.9)
10.2 Problem 2
Show that δµ ν has the expected tensorial character. Prove that δµ ν is a constant tensor which has the
same components in every coordinate frame. Evaluate δµ µ and δµ ν δν µ .
Answer
∂xµ
Let us consider the change of coordinates xµ 7→ yµ , therefore, the matrix transformation is ∂yα
for
∂yα
covariant indices, and ∂xµ
for contravariant ones.
Hence,
∂xµ ∂yβ ν
δµ ν 7→ δµ
∂yα ∂xν
∂xµ ∂yβ
=
∂yα ∂xµ
= δα β , (10.14)
i.e., it has the same componets in whatever frame we consider.
Furthermore, since δµ ν represent the unit matrix, then δµ µ = δµ ν δν µ = D, where D is the dimen-
sion of the spacetime, it’s due to the fact that δµ µ is nothing but the trace of the unit matrix.
10.3 Problem 3
Show that whatever covariant (or contravariant) tensor of second rank can be written the sum of a
symmetric and an antisymmetric tensor.
Answer
A symmetric tensor satisfy that T ab = T ba and an antisymmetric one satisfy T ab = −T ba .
For an arbitrary tensor, we can define its symmetrisation as
1
T (ab) = (T ab + T ba ), (10.15)
2
which satisfy the symmetric condition. Similarly, we can define its antisymmetric part of this tensor
as
1
T [ab] = (T ab − T ba ). (10.16)
2
Adding the last two equations, we get
1 1
T [ab] + T (ab) = (T ab − T ba ) + (T ab + T ba ) = T ab . (10.17)
2 2
i.e., every tensor of second rank can be written as a sum of a symmetric tensor and an antisymmetric
tensor.
10.4 Problem 4
Show that the Levì-Civita abcd is a tensor under Lorentz transformations and a tensorial density of
weight -1 under general coordinate transformations. Also show that its components are the same
for every reference frame.
Answer
Under a general transformation, the epsilon transforms by
abcd 7→ Λam Λbn Λcp Λdq mnpq . (10.18)
Now, we use the definition of the determinant of a matrix in term of the epsilon tensor, and the
symmetries of (10.18), so we write
Λam Λbn Λcp Λdq mnpq = det(Λ) abcd . (10.19)
If we consider just Lorentz transformation, then Λ ∈ S O(3, 1) and so det(Λ) = 1, thus
abcd 7→ abcd , (10.20)
i.e., epsilon is an invariant tensor under Lorentz transformations.
In case of general coordinates transformations, det(Λ) = |J|−1 , and so
this transformation law defines a density of weight -1. Then, we conclude that in fact epsilon is an
invariant tensor under Lorentz transformations but a density under general coordinates transforma-
tions.
10.5 Problem 5
Consider a plane parameterized with both, a cartesian coordinate frame (x, y) and a polar coordinate
frame (r, θ). Calculate:
• The matrices which define the transformation laws co- and contra-variant.
• The natural basis (e01 , e02 ) and its dual defined through the relation e0i · e0j = δij
Answer
We know the transformation
x = r cos θ (10.22)
y = r sin θ, (10.23)
cos θ −r sin θ
!
Λνµ0 = (10.24)
sin θ r cos θ
cos θ sin θ
!
Λµν
0
= . (10.25)
− sinr θ cosr θ
Finally,
∂x0i ∂x j
= , (10.30)
∂x j ∂x0i
is satisfied.
What does this imply?
Answer
Indeed, the relation (10.30) defines the group of orthogonal transformations.
In term of contra- and co-variant components it implies that they transform as inverse of the
other.
10.7 Problem 7
Show that any infinitesimal orthogonal transformation can be written in the form x0i = xi + ij x j
with i j = − ji .
Answer
Since orthogonal transformations form a Lie group, they can be written in the form
O = eıθ Ti .
i
Ot O = (1 + t )(1 + ) = 1, (10.31)
therefore,
t = −. (10.32)
10.8 Problem 8
IT WAS ALREADY SOLVE IN THE PREVIOUS HOMEWORK.
10.9 Problem 9
On a space, apparently 3-dimensional, the distance between two points is given by
1
ds2 = dx2 + dy2 + dz2 − (3dx + 4dy + 12dz)2 .
169
Show that this space is locally R2 . Find a couple of new coordinates s.t. the line element is
ds2 = dξ2 + dη2 .
Answer
In order to prove that this is in fact a 2-dimensional...
10.10 Problem 10
Consider the metric space (M, d), where M = {(n1 , n2 ) ∈ Z × Z} and d is the distance given by the
number of sides of the shortest path between a couple of points.
• Draw a circumference of radius 4.
Answer
From figure 10.1, we can see that the ‘perimeter’ of this circumference is 32. Since the value of π
is perimeter by diameter,
perimeter 32
π= = = 4. (10.33)
diameter 8
Thus the value of π in this geometry is not irrational but natural.
10.11 Problem 11
R2 in polar coordinates has as length ds2 = dr2 + r2 dθ2 . Compute in this coordinates the Christoffel
symbols.
Answer
Since ds2 = gab dxa ⊗ dxb , we have the metric tensor, and we can construct the Lagrangian,
10.12 Problem 12
How do the Christoffel’s symbols transform under a general change of coordinates?
Answer
Let’s remind that the coefficients of the connection are defined by
∇ea eb = Γcab ec , (10.39)
a
then, if we consider a different basis fm = yxm ea , where x’s denote the old coordinates and y’s the
new ones, the new connection coefficients are
∇ fm fn = Γmn
p
fp. (10.40)
Furthermore,
∂xb
!
∇ fm fn = ∇ fm eb
∂yn
∂2 x c ∂xa ∂xb
= ec + ∇e eb
∂ym ∂yn ∂ym ∂yn a
∂2 x c ∂xa ∂xb c
!
= + Γ ec . (10.41)
∂ym ∂yn ∂ym ∂yn ab
Finally,
∂xa ∂xb ∂y p c ∂2 xa ∂y p
Γmn
p
= Γ + . (10.42)
∂ym ∂yn ∂xc ab ∂ym ∂yn ∂xa
10.13 Problem 13
Compute the curvature as the change on a parallel transported vector through a parallelogram in a
manifold M.
Answer
Consider a parallelogram pqrs whose coordinates are xa , xa + a , xa + a and xa + δa , and let V a (p)
be a vector at the point p ∈ M.
If we start at p, the parallel transport vector at q is
Then,
10.14 Problem 14
1
Show that the covariant derivative Da ub transforms like a 1
tensor.
Answer
Under coordinate transformations,
Da ub 7→ Dα uβ = ∂α uβ + Γβαγ uγ
= Λaα ∂a (Λβb ub ) + Λaα Λβb Γbac uc + Λaα (∂a Λnγ )Λβn Λγc uc . (10.48)
Note that in the last line, the matrices coming from the γ index vanishes.
Now, from the identity
Λab Λbc = δac , (10.49)
it follows that
(∂d Λab )Λbc = −Λab (∂d Λbc ), (10.50)
then,
Dα uβ = Λaα ∂a (Λβb ub ) + Λaα Λβb Γbac uc + Λaα (∂a Λnγ )Λβn Λγc uc
= Λaα (∂a Λβb )ub + Λaα Λβb ∂a ub + Λaα Λβb Γbac uc
−Λaα (∂a Λβb )ub
= Λaα Λβb ∂a ub + Λaα Λβb Γbac uc
= Λaα Λβb (δbc ∂a + Γbac )uc
= Λaα Λβb Da ub . (10.51)
10.15 Problem 15
Show that the Torsion and the Riemann curvature transform like tensors under general changes of
coordinates.
Answer
Let’s start from the definitions of both, Torsion and Curvature,
T (X, Y) = ∇X Y − ∇Y X − [X, Y] (10.52)
R(X, Y)Z = ∇X ∇Y Z − ∇Y ∇X Z − ∇[X,Y] Z. (10.53)
Let’s change X → f X, Y → gY in (10.52), so
T ( f X, gY) = f ∇X (gY) − g∇Y ( f X) − [ f X, gY]
= f X[g]Y + f g∇X Y − gY[ f ]X − ( f X[g]Y + f gXY − gY[ f ]X − g f Y X
= f gT (X, Y), (10.54)
∂xa ∂xb
therefore, we can take X = ea , Y = eb and f = ∂ym
, g= ∂yn
, so
∂xa ∂xb
T ( fm , fn ) = T (ea , eb ). (10.55)
∂ym ∂yn
Similarly, for the curvature (10.53),
R( f X, gY)hZ = f ∇X (g∇Y (h))Z − g∇Y ( f ∇X (hZ)) − ∇[ f X,gY] hZ
= f X[g]∇Y (hZ) + f g∇X ∇Y (hZ) − gY[ f ]∇X (hZ)
− f g∇Y ∇X (hZ) − ∇[ f X,gY] (hZ). (10.56)
Since
∇[ f X,gY] (hZ) = ∇ f XgY (hZ) − ∇gY f X (hZ)
= f X[g]∇Y (hZ) − gY[ f ]∇X (hZ) + f g∇[X,Y] (hZ), (10.57)
then,
R( f X, gY)hZ = f X[g]∇Y (hZ) + f g∇X ∇Y (hZ) − gY[ f ]∇X (hZ)
− f g∇Y ∇X (hZ) − f X[g]∇Y (hZ)
+gY[ f ]∇X (hZ) − f g∇[X,Y] (hZ)
= f g∇X ∇Y (hZ) − f g∇Y ∇X (hZ) − f g∇[X,Y] (hZ)
= f gX[h]∇Y Z + f gY[h]∇X Z + f gXY[h]Z
+ f gh∇X ∇Y (Z) − f gY[h]∇X Z − f gX[h]∇Y Z
− f gXY[h]Z − f gh∇Y ∇X (Z) − f g[X, Y][h]Z
− f gh∇[X,Y] (Z)
= f gh∇X ∇Y (Z) − f gh∇Y ∇X (Z) − f gh∇[X,Y] (Z)
= f ghR(X, Y)Z. (10.58)
Thus,
∂xa ∂xb ∂xc
R( fm , fn ) f p = R(ea , eb )ec . (10.59)
∂ym ∂yn ∂y p
10.16 Problem 16
Prove the first and second Bianchi identities for a general connection. Reduce’em to the Leì-Civita
case.
Answer
I’M WORKING ON IT...
10.17 Problem 17
Show that the covariant divergence is
1 √
∇µ V µ = √ ∂µ ( gV µ ). (10.60)
g
Answer
By definition,
∇µ V µ = ∂µ V µ + Γµµλ V λ
1 √
= ∂µ V µ + √ ∂λ ( g)V λ
g
1 √
= √ ∂µ ( gV µ ). (10.61)
g
√ √
We’ve used the identity Γλλµ = ∂µ ln( g) = √1g ∂µ g. A rough way of showing this identity is
to give a diagonal metric. Then
1 µµ
Γλµλ = g gµµ,µ
2
1 gµµ,µ
=
2 gµµ
1
= ∂µ ln g
2 √
= ∂µ ln g. (10.62)
10.18 Problem 18
dx2 +dy2
Given the metric ds2 = y2
, Compute the connection coefficients and the timelike geodesic
curves.
Answer
With the given metric, we can construct a Lagrangian,
1
L = t−2 ( ẋ2 − t˙2 ), (10.63)
2
then, from the Euler-Lagrange equations, we get
d ∂L
!
d −2
= (t ẋ)
ds ∂ ẋ ds
= −2t−3 t˙ẋ + t−2 ẍ = 0. (10.64)
d ∂L ∂L
! !
d t˙
− = − + 2t−3 ( ẋ2 − t˙2 )
ds ∂t˙ ∂t ds t2
= −t−2 t¨ + t−3 ẋ2 = 0. (10.65)
Therefore,
ẍ − 2t−1 t˙ẋ = 0, (10.66)
and
t¨ − t−1 ( ẋ2 + t˙2 ) = 0. (10.67)
The last equations yield
1 1
Γ xxt = Γtxx = and Γttt = Γtxx = − . (10.68)
t t
In order to write down the geodesic equations, we should take in account the Lorentian signa-
ture of the metric, then, by recall ẋa = ua , so
ẋ2 − t˙2
gab ua ub = = κ, (10.69)
t2
with
−1 ; for timelike geodesics
κ=
0 ; for null geodesics (10.70)
1 ; for spacelike geodesics
A .
10.19 Problem 19
Consider the Poincarè metric
dx2 + dy2
ds2 = ,
y2
defined for y > 0.
Determine the geodesics. Compute the Ricci scalar and compare with a 2-sphere.
Answer
With the metric we can construct a Lagrangian,
ẋ2 + ẏ2
L= . (10.71)
2y2
From the Euler Lagrange equations, we have
d ∂L
!
∼ ẍ − 2y−1 ẋẏ = 0 (10.72)
ds ∂ ẋ
d ∂L ∂L
!
− ∼ ÿ + y−1 ( ẋ2 − ẏ2 ) = 0. (10.73)
ds ∂ẏ ∂y
Therefore,
1 1
Γ xxy = Γyx
x
=− , and − Γyyy = Γyxx = . (10.74)
y y
Thus,
∂y Γ xxy = ∂Γyx
x
= y−2 (10.75)
∂y Γyxx = −y−2 (10.76)
∂y Γyyy = y−2 . (10.77)
We must remind that in 1-dimension, the Riemann tensor has only one independent component,
the componentxyxy. Then,
R x yxy = ∂y Γ xxy −
∂ x
Γ
yy + Γ xy Γym − Γyy Γ xm
x m x m x
1
= 2. (10.78)
y
Now,
1
R xyxy = g xx Ryxy
x
= . (10.79)
y4
Since in 2-dimensions
R
Rabcd = (gac gbd − gad gbc ), (10.80)
2
it follows that for the Poincarè metric
R = 2, (10.81)
which is the same Ricci scalar than for a 2-sphere of radius one.
10.20 Problem 20
Prove that if a geodesic is time-like some of this points is so everywhere.
Answer
Note in equation (10.69) that the LHS in fact depend on the point, but in not the case for the RHD.
Thus if in a point the geodesic is time-like, it’ll be so in any other point. Same for light-like or
time-like.
10.21 Problem 21
A Killing vector satisfy ξa;b + ξb;a = 0. Show that is possible to construct conserved quantities by
considering objects ua ξa , with ua the 4-velocity of the particle.
Answer
A quantity is said to be conserved if its derivative vanish, so, we must expect that
∇b (ua ξa ) = 0. (10.82)
Then,
∇b (ua ξa ) = (∇b ua )ξa + ua (∇b ξa ). (10.83)
By the Killing vector equation, it follows that the bracket in the last term is antisymmetric under
change a ↔ b, so if we contract the whole expression with ub , we get
the latter term vanish because of the symmetries, and the former because of the geodesic equation
of the particle.
10.22 Problem 22
What is the Riemann for a 1-dimensional manifold? Express the Riemann and Ricci tensors in
term of the metric for the 2- and 3-dimensional case.
Answer
Because of the symmetries of the Riemann tensor, it’s identically zero for a 1-dimensional mani-
fold. In fact, any 1-dimensional manifold is diffeomorphic to R1 or S 1 depending if it’s compact or
not.
A PART IS STILL MISSING.
10.23 Problem 6.10
Show that ∇c ∇d Xba − ∇d ∇c Xba = Ra ecd Xbe + Re bcd Xea .
Answer
Let’s compute the first term.
[∇c , ∇d ]Xba = −T cd
m
(∂m Xba − Γnmb Xna + Γamn Xbn )
+Xbm (∂c Γadm − ∂d Γacm + Γacn Γndm − Γadn Γncm )
−Xma (∂c Γmdb − ∂d Γmcb + Γmcn Γndb − Γmdn Γncb )
= −T cd
m
∇m Xba + Ra mcd Xbm + Rm bcd Xma . (10.86)
Answer
Since R(X, Y, Z) = ∇X (∇Y Z) − ∇Y (∇X Z) − ∇[X,Y] Z is a tensor, it satisfy that
Moreover,
D E D E
dxd , R(ea , eb )ec = dxd , [∇ea , ∇eb ]ec
= ∂a Γdbc − ∂b Γdac + Γdam Γmbc − Γdbm Γmac
= Rdcab . (10.89)
Thus,
∇X (∇Y Z d ) − ∇Y (∇X Z d ) − ∇[X,Y] Z d = Rdcab Z c X a Y b . (10.90)
10.25 Problem 6.14
The line elements or R3 in cartesian, cylindrical and spherical coordinates are given respectively
by
• ds2(1) = dx2 + dy2 + dz2 .
Answer
Since ds2 = gab dxa dxb , it follows that,
1 0 0
g(1)ab = 0 1 0
(10.91)
0 0 1
1 0 0
g(2)ab = 0 r 0
2
(10.92)
0 0 1
1 0 0
g(3)ab = 0 r
2
0 (10.93)
0 0 r2 sin2 θ
1 0 0
(1) =
gab 0 1 0 (10.94)
0 0 1
1 0 0
(2) =
gab −2
0 r 0 (10.95)
0 0 1
1 0 0
(3) =
gab −2
0 r 0 (10.96)
0 0 r−2 sin−2 θ
g(1) = 1 (10.97)
g(2) = r2 (10.98)
g(3) = r4 sin2 θ. (10.99)
Answer
Since
ds2 = dx2 + dy2 − dz2 , (10.105)
we can write a Lagrangian for this line element,
1
L = ( ẋ2 + ẏ2 − ż2 ). (10.106)
2
Thus, the geodesic equations are,
ẍ = 0, ÿ = 0, z̈ = 0. (10.107)
Then, the solution of the geodesic equations are,
x = lu + l0 (10.108)
y = mu + m0 (10.109)
z = nu + n0 . (10.110)
Moreover, for null geodesics from (10.69), we know that,
gab ẋa ẋb = 0, (10.111)
so,
l2 + m2 − n2 = 0. (10.112)
10.28 Problem 6.19
Prove that ∇c gab = 0. Deduce that ∇b Xa = gac ∇b X c .
Answer
Since
1
Γabc = gam (gmc,b + gmb,c − gbc,m ), (10.113)
2
it follows that,
1 1
∇c gab = ∂c gab − (gcb,a + gab,c − gac,b ) − (gba,c + gca,b − gbc,a )
2 2
= 0. (10.114)
Answer
Since,
163
Chapter 11
QFT I 6
11.1 Problem 1
Consider the massless K.G. action,
Z
1
S = d4 xηµν ∂µ φ∂ν φ, (11.1)
2
and the dilatation transformation,
xµ → x0 µ = E α xµ , (11.2)
φ(x) → φ0 (x0 ) = e−dφ α φ(x). (11.3)
1. Show that this transformation is a global symmetry for an appropiate choice of the parametre
dφ . Find the conserved current associated to this symmery, and verify it’s conserved when φ
is a classical solution.
2. Show that if there is a mass term then dilatations are no mero a symmetry. Show also that in
contrast, a term V(φ) = λφ4 doesn’t spoil the symmetry. What should be the dimension of
the coupling constant λ?
Answer
Let us find the apropiate value of the constant dφ . In order for dilatations being a symmetry, s = s0 .
Then
Z
1
S →S = 0
d4 xe4α ηµν e(2−2dφ )α ∂µ φ∂ν φ
2Z
1
= d4 xηµν e(2−2dφ )α ∂µ φ∂ν φ
2
= S if dφ = 1. (11.4)
165
Thus,
φ(x) → φ0 (x0 ) = e−α φ(x). (11.5)
Now, if we restrict ourselves to infinitesimal transformations, we can find the Nöther conserved
current by using the formulae derived in class,
∂L ν
jµa = Aa ∂ν φi − Fi,a − Aaµ L
∂(∂µ φi )
∂L
= Aaν Θµν − Fi,a . (11.6)
∂(∂µ φi )
1
Θµν = ∂µ φ∂ν φ − ηµν ∂α φ∂α φ. (11.10)
2
=⇒ ∂µ Θµν = ∂ν φφ + ∂µ φ∂µ ∂ν φ − ηµν ∂µ ∂α φ∂α φ
= ∂ν φφ + ∂µ φ∂µ ∂ν φ − ∂ν ∂α φ∂α φ
= ∂ν φφ
= 0. (11.11)
Thus,
∂L
!
µ
∂µ j = Θµµ µν
+ Aν ∂µ Θ − ∂µ F
∂(∂µ φ)
= −∂µ φ∂µ φ + ∂µ (φ∂µ φ)
= φφ
= 0. (11.13)
.
We saw that the massless KG equation is indeed dilatation invariant. If we add a mass term or a
λφ potential, those do not affect the invariance of the kinetic term, so we can verify its invariance
4
Thus, the mass term spoils the dilatation symmetry whilst the quartic potential on phi doesn’t.
Additionally, the λ must be adimensional, so that the φ4 match the dimensions of the volume form.
11.2 Problem 2
Consider th elagrangian of QED, for massless fermions, and the dilatation transformation,
xµ → eα xµ (11.16)
Aµ → e−dA α Aµ (11.17)
ψ → e−dψ α ψ. (11.18)
2. Calculate the conserved current for this symmetry and express it in terms os the energy-
momentum tensor of the theory. Verify that that its conservation is a consecuence of the fact
that the energy-momentum is traceless in the massless theory.
3. Include the mass term for fermions in the lagrangian. Compute the new Nöther corrent and
verify it’s not conserved, relate its divergence with the trace of the energy-momentum tensor.
Answer
As we’ve discussed in the above problem, we can check the dilatation invariace term by term. Since
the lagrangian of QED is
1
∂ − m)ψ − F 2 − qψ̄γµ Aµ ψ,
LQED = ıψ̄(/ (11.19)
4
Then,
Θµν = ıψ̄∂µ γν ψ − F µλ ∂ν Aλ − ηµν LQED . (11.25)
And, for infinitesimal transformation, we have,
11.3 Problem 3
Consider the Dirac lagrangians
L = ψ̄(ı/
∂ − m)ψ (11.32)
and ı ←→
L 0 = ψ̄ γµ ∂ µ − m ψ. (11.33)
2
Verify that they are classically equivalents. Compute the energy-momentum tensor to show
they’re different, but their conserved charges are the same.
Answer
Consider the prime action,
Z ı ← →
S 0
= d4 xψ̄ γµ ∂ µ − m ψ
2
Z ı ı
= d4 x ψ̄γµ ∂µ ψ − ∂µ ψ̄γµ ψ − mψ̄ψ
2 2
ı
Z
µ µ
= d x ıψ̄γ ∂µ ψ − ∂µ (ψ̄γ ψ) − mψ̄ψ
4
Z 2
d4 x ıψ̄γµ ∂µ ψ − mψ̄ψ
=
= S. (11.34)
∂L ν
Θµν = ∂ φi − ηµν L , (11.35)
∂(∂µ φi )
then,
12.1 Problem 1
• Show that the conserved U(1)-charge in the quantum theory of a free complex scalar,
Z
←→
QU(1) = ı d3 x : φ† ∂ 0 φ :, (12.1)
is given by
dp †
Z
QU(1) = a p a p − b†
p b p . (12.2)
(2π)3
• Calculate the commutator [QU(1) , H], where H is the Hamiltonian of the theory.
Answer
We already know that the modes expansion of the complex scalar field is
d3 p 1 n −ıp·x
Z o
φ(x) = ape + b†p eıp·x (12.3)
(2π)3 2E p
p
p0 =E
p
and
Z 3 o
d p 1
b p e−ıp·x + a†p eıp·x
n
φ† (x) = . (12.4)
(2π)3 2E p
p
p0 =E p
Then, r
Z 3 E p n −ıp·x o
d p
∂0 φ(x) = −ı ape − b†p eıp·x , (12.5)
(2π)3 2
p0 =E p
171
and
r
d3 p
Z
E p n −ıp·x o
φ(x) = −ı bpe − a†p eıp·x . (12.6)
(2π)3 2
p0 =E
p
Thus
Z
QU(1) = ı d3 x : {φ† ∂0 φ − (∂0 φ† )φ} :
s
Z Z 3 3 Eq hn −ıp·x
d p d q 1 † ıp·x
on
† ıq·x
o
= : d3 x b p e + a p e aq e−ıq·x
− bq e
(2π)3 (2π)3 2 E p
− bq e−ıq·x − a†q eıq·x a p e−ıp·x + b†p eıp·x :
n on oi
d3 p d3 q 1
Z
= (2π)3 δ3 (p − q)
(2π)3 (2π)3 2
s
Eq n
eı(E p −Eq )t
o
: −b p b†q + a†p aq − bq b†p + a†q a p :
Ep
d3 p †
Z
= (a a p − b†p b p ). (12.7)
(2π)3 p
Let us now calculate the charge of the state a†p b†q |0i. Then,
d3 k †
Z
QU(1) a†p b†q |0i = (a ak − b†k bk )a†p b†q |0i
(2π)3 k
= a†p b†q |0i − a†p b†q |0i
= 0a†p b†q |0i , (12.8)
therefore, this state has no charge, as it was expected so that each creator operator contribute with
opposite charge.
On the other hand,
d 3 p d 3 p0
Z h i
[QU(1) , H] = E p 0 a a p − b b p , a 0 a p0 + b 0 b p0
†
p
†
p
†
p
†
p
(2π)3 2π)3
d 3 p d 3 p0
Z nh i h io
= E p 0 a †
a
p p , a†
p p
0 a 0 − b †
b
p p , b †
p p
0 b 0
(2π)3 2π)3
d 3 p d 3 p0
Z n h i h i
= E p 0 a†
p a p , a †
p 0 a p 0 + a †
p 0 a †
p , a p ap
0
(2π)3 2π)3
h i h i o
−b†p b p , b†p0 b p0 − b†p0 b†p , b p0 b p
= 0. (12.9)
12.2 Problem 2
In the quantum theory for a free Dirac field, consider the modes expansion
d3 p 1 X
Z
ψ(x) = a p,s u s (p)e−ıp·x + b†p,s v s (p)eıp·x . (12.10)
(2π)3 2E p s=1,2
p
p0 =E p
• Find the expression for the creation and annihilation operators in term of the field operators
ψ and ψ̄.
• Compute the whole set of anti-commutator of the creator and annihilator operators.
• How must the normalization constant of spinors be chosen in order to satisfy the relations
{a p,s , a†p0 ,s0 } = {b p,s , b†p0 ,s0 } = (2π)3 δ(3) (p − p0 )δ ss0 ? (12.12)
Answer
Hence,
d3 p 1 X
Z
ψ(x) = a p,s u s (p)e−ıp·x + b†p,s v s (p)eıp·x , (12.13)
(2π)3 2E p s=1,2
p
p0 =E p
it follows that
d3 p 1 X
Z
ψ̄(x) = 3
p b p,s v̄ s (p)e−ıp·x + a†p,s ū s (p)eıp·x . (12.14)
(2π) 2E p s=1,2
p0 =E p
12.3 Problem 3
Show that the quantity E p δ(3) (p−q) is Lorentz invariant, therefore the 1-particle states (2E p )1/2 a†p |0i
have an Lorentz invariant normalization.
Answer
First, we note that the rotacional part of the Lorentz group keeps the quantity, we are interested
on, invariant, so that the energy remains the same and the determinante of a rotation matrix (for a
proper rotation) is 1. Therefore, we can consentrate just on the boost transformation.
Actually, we know how a delta function transform
X 1
δ( f (x) − f (x0 )) = δ(x − xi ), (12.33)
i
| f 0 (xi )|
d p0
Eδ(3) (p − q) = Eδ(3) (p0 − q0 )
dp
!
dE
= Eδ (p − q )γ 1 + β
(3) 0 0
dp
γ
= Eδ(3) (p0 − q0 ) (E + βp)
E
E0
= Eδ(3) (p0 − q0 )
E
= E δ (p − q ).
0 (3) 0 0
(12.34)
12.4 Problem 4
For the electromagnetic field quantized in the radiation gauge, show that
•
d3 k ı~k·(~x−~y) i j ki k j
Z
[A (t, ~x), E (t, ~y)] = −ı
i j
e δ − .
(2π)3 |~k|2
•
d3 k X
Z
H= ωk a†k,λ ak,λ ,
(2π)3 λ=1,2
and
d3 k X ~ †
Z
~=
P ka ak,λ .
(2π)3 λ=1,2 k,λ
•
d3 k X h i
Z i †
S =ı
ij
(k) j∗
− i∗
(k)λ ak,λ ak,λ .
j
0
(2π)3 λ,λ0 λ λ λ
0 0
Answer
The modes expansion of the vector potential is
d3 k
Z
1 Xn i † ık·x
o
Ai (x) = √ (k)a e−ık·x
+ i∗
(k)a e . (12.36)
(2π)3 2ωk λ=1,2 λ λ
k,λ k,λ
k0 =ω k
Then,
ωk
Z 3
r
d k X
λi (k)ak,λ e−ık·x − λi∗ (k)a†k,λ eık·x
n o
E i (x) = ı . (12.37)
(2π)3 2 λ=1,2
k0 =ωk
From these equations, it follows that,
d 3 k d 3 q 1 ωq
Z r
[A (t, ~x), E (t, ~y)] = ı
i j
(2π)3 (2π)3 2 ωk
X ~
−λi (k)λj∗0 (q)[ak,λ , a†q,λ0 ]e−ı(ωk −ωq )t eı(k·~x−~q·~y)
λ,λ0
~
+λi∗ (k)λj0 (q)[a†k,λ , aq,λ0 ]eı(ωk −ωq )t e−ı(k·~x−~q·~y)
d3 k 1 X n i
Z o ~
ık·(~x−~y)
= −ı 3
λ (k)λ 0 (k) + λ (−k)λ0 (−k) e
j∗ i∗ j
(2π) 2 λ
d3 k ı~k·(~x−~y) i j ki k j
Z
= −ı e δ −
|~k|2
(2π)3
= −ıδitrj (~x − ~y) (12.38)
Now, we shall compute the quantum Hamiltonian of the system,
Z
1
H= d3 x : E 2 + B2 : . (12.39)
2
Since
ω Xn
r
d3 k
Z
~ =ı ~λ (k)ak,λ e−ık·x − ~λ∗ (k)a†k,λ eık·x ,
o
E(x) (12.40)
(2π)3 2 λ
and
d3 k 1 X n~
Z
~ ~k × ~λ∗ (k)a† eık·x ,
o
B(x) =ı √ k × ~
λ (k)a k,λ e−ık·x
− k,λ (12.41)
(2π)3 2ω λ
it follows that
d 3 k d 3 k0 √ 0 X n
Z
1 † ık·x
o
:E : = −:
2
ωω ~
λ (k)a k,λ e−ık·x
− ~
∗
λ (k)a k,λ e
2 (2π)3 (2π)3 λ,λ0
~λ0 (k0 )ak0 ,λ0 e−ık ·x − ~λ∗0 (k0 )a†k0 ,λ0 eık ·x :
0 0
n o
d 3 k d 3 k0 √ 0 X n
Z
1 0
= − 3 3
ωω ~λ (k) · ~λ0 (k0 )ak,λ ak0 ,λ0 e−ı(k+k )·x
2 (2π) (2π) λ,λ0
−~λ (k) · ~λ∗0 (k0 )a†k0 ,λ0 ak,λ e−ı(k−k )·x − ~λ∗ (k) · ~λ0 (k0 )a†k,λ ak0 ,λ0 eı(k−k )·x
0 0
−~λ (k) · ~λ∗0 (k)a†k,λ0 ak,λ − ~λ∗ (k) · ~λ0 (k)a†k,λ ak,λ0
o
+~λ∗ (k) · ~λ∗0 (−k)a†k,λ a†−k,λ0 e2ıωt . (12.43)
And
d3 k d3 k0 1 X n~
Z
1 ~k × ~λ∗ (k)a† eık·x
o
:B : = −
2
√ : k × ~
λ (k)a k,λ e −ık·x
− k,λ
2 (2π)3 (2π)3 ωω0 λ,λ0
k~0 × ~λ0 (k0 )ak0 ,λ0 e−ık ·x − k~0 × ~λ∗0 (k0 )a†k0 ,λ0 eık ·x :
0 0
n o
d 3 k d 3 k0 1 X n ~
Z
1
(k × ~λ (k)) · (k~0 × ~λ0 (k0 ))ak,λ ak0 ,λ0 e−ı(k+k )·x
0
= − √
2 (2π) (2π) ωω0 λ,λ0
3 3
−(~k × ~λ (k)) · (k~0 × ~λ∗0 (k0 ))a†k0 ,λ0 ak,λ e−ı(k−k )·x
0
−(~k × ~λ∗ (k)) · (k~0 × ~λ0 (k0 ))a†k,λ ak0 ,λ0 eı(k−k )·x
0
+(~k × ~λ∗ (k)) · (k~0 × ~λ∗0 (k0 ))a†k,λ a†k0 ,λ0 eı(k+k )·x ,
0
o
(12.44)
so that
d3 k 1 X n ~
Z Z
1 ~ × ~λ0 (−k))ak,λ a−k,λ0 e−2ıωt
d x:B : = −
3 2
(k × ~λ (k)) · (−k
2 (2π)3 |~k| λ,λ0
−(~k × ~λ (k)) · (~k × ~λ∗0 (k))a†k,λ0 ak,λ
−(~k × ~λ∗ (k)) · (~k × ~λ0 (k))a†k,λ ak,λ0
+(~k × ~λ∗ (k)) · (−k
~ × ~λ∗0 (−k))a† a† 0 e2ıωt .
o
k,λ −k,λ (12.45)
(~k × ~) · (~k × ~0 ) = |~k|2~ · ~0 − (~k · ~)(~k · ~0 ), (12.46)
~k · ~ = ~k · ~0 = 0, (12.47)
we get finally,
d3 k ~ X n
Z
1
H = − |k| ~λ (k) · ~λ0 (−k)ak,λ a−k,λ0 e−2ıωt
4 (2π)3 λ,λ0
−~λ (k) · ~λ∗0 (k)a†k,λ0 ak,λ − ~λ∗ (k) · ~λ0 (k)a†k,λ ak,λ0
o
+~λ∗ (k) · ~λ∗0 (−k)a†k,λ a†−k,λ0 e2ıωt
d3 k ~ X n
Z
1
− 3
|k| −~λ (k) · ~λ0 (−k)ak,λ a−k,λ0 e−2ıωt
4 (2π) λ,λ0
We have use
1
~λ (k) · ~λ∗0 (k) + ~λ∗0 (k) · ~λ (k) = δλ,λ0 .
(12.49)
2
Also, in the same way,
Z
~
P = d3 x : E~ × B ~:
d 3 k d 3 k0 1 1 X n
Z
† ık·x
o
= − d3 x √ ~λ (k)a k,λ e−ık·x
− ~
∗
λ (k)a k,λ e
(2π)3 (2π)3 2 EE 0 λλ0
× k~0 × ~λ0 (k0 )ak0 ,λ0 e−ık ·x − k~0 × ~λ∗0 (k0 )a†k0 ,λ0 eık ·x
0 0
n o
d 3 k d 3 k0 1 1 X n
Z
~λ (k) × k~0 × ~λ0 (k0 )ak,λ ak0 ,λ0 e−ı(k+k )·x
0
= − d3 x 3 3
√
(2π) (2π) 2 EE 0 λλ0
−~λ (k) × k~0 × ~λ∗0 (k0 )a†k0 ,λ0 ak,λ e−ı(k−k )·x − ~λ∗ (k) × k~0 × ~λ0 (k0 )a†k,λ ak0 ,λ0 eı(k−k )·x
0 0
+~λ∗ (k) × k~0 × ~λ∗0 (k0 )a†k,λ a†k0 ,λ0 eı(k+k )·x
0
o
d3 k X 1 n~
Z
= 3
k(~λ (k) · ~λ0 (−k))ak,λ a−k,λ0 e−2ıωt
(2π) λλ0 2
+~k(~λ (k) · ~λ∗0 (k))a†k,λ0 ak,λ + ~k(~λ∗ (k) · ~λ0 (k))a†k,λ ak,λ0
~k(~λ∗ (k) · ~λ∗0 (−k))a† 0 ak,λ e2ıωt
o
−k,λ
d3 k X ~ †
Z
= kak,λ ak,λ , (12.50)
(2π)3 λ
where we’ve used (12.49) and
~λ (k) · ~λ(∗)0 (−k) = 0. (12.51)
Finally, from (12.36) and (12.37), we get
ω0 X
r
d 3 k d 3 k0 1
Z
S ij
= − 3
d x
(2π)3 (2π)3 2 ω λλ0
0
n
λi (k)λj0 (k0 ) − λj (k)λi 0 (k0 ) ak,λ ak0 ,λ0 e−ı(k+k )·x
0
− λi (k)λ∗0j (k0 ) − λj (k)λ∗i0 (k0 ) a†k0 ,λ0 ak,λ e−ı(k−k )·x
+ λ∗i (k)λj0 (k0 ) − λ∗ j (k)λi 0 (k0 ) a†k,λ ak0 ,λ0 eı(k−k )·x
0
− λ∗i (k)λ∗0j (k0 ) − λ∗ j (k)λ∗i0 (k0 ) a†k,λ a†k0 ,λ0 eı(k+k )·x
0
o
d3 k 1 X n j
Z o †
= − 2 λ (k) ∗i
λ0 (k) − i
λ (k) ∗j
λ0 (k) ak,λ ak,λ0
(2π)3 2 λ,λ0
d3 k X n j
Z o †
= − (k) λ
∗i
(k) − i
λ (k) ∗j
(k) ak,λ ak,λ0 (12.52)
(2π)3 λ,λ0 λ λ
0 0
Chapter 13
Miscellaneous
13.1 Notation
Through this article we shall use the following notation.
• Minkowski metric: ηµν = diag(+1, −1, −1, −1).
• Pauli matrices:
!
0 1
σ 1
= (13.1)
1 0
!
0 −ı
σ 2
= (13.2)
ı 0
!
1 0
σ 3
= . (13.3)
0 −1
The Pauli matrices satisfy the Clifford algebra {σi , σ j } = 21δi j . Additionally, σµ = (1, σi ),
and σ̄µ = (1, −σi ).
0 σµ 0 σν σµ σ̄ν + σν σ̄µ
( ! !) !
0
, ν = . (13.5)
σ̄µ σ̄ 0 σ̄µ σν + σ̄ν σµ
Now, let’s consider the cases µ = ν = 0, µ = 0, ν = i and µ = i, ν = j.
181
1. If µ = ν = 0,
σ0 σ̄0 + σ0 σ̄0 = 21, (13.6)
and
σ̄0 σ0 + σ̄0 σ0 = 21. (13.7)
and
σ̄0 σi + σ̄i σ0 = σi − σi
= 0. (13.9)
3. If µ = i, ν = j,
σi σ̄ j + σ j σ̄i = −{σi , σ j }
= −21, (13.10)
and
σ̄i σ j + σ̄ j σi = −{σi , σ j }
= −21. (13.11)
and
{γµ , γν } = 2ηµν 1. (13.14)
Similarly,
Actually, we can do more than one trick for calculating this quantity.
First, we’ll use the formulae
from this equation we can see that the expansion of above is never infinite, and we obtain a sum of
“generalised" cofactors matrices. So,
Then
If µ = i, we have
ı
Z
P i
= − d3 x ∂0 φı∂i φ + ∂0 φı∂i φ
2Z
ı
= − d3 x ∂0 φı∂i φ − ∂0 φı∂i φ
2
D E
= φ|ı∂i |φ , (13.33)
in the intermiddle step, we’ve dropped the divergence, so that (as usual) we demand phi → 0, |x| →
∞.
For µ = 0,
Z !
1 0 2
P =
0
d x ∂ φ∂ φ − ((∂ φ) − (∂ φ) − m φ )
3 0 0 i 2 2 2
2
Z
1
= d3 x ∂0 φ)2 + φ(∂i ∂i + m2 )φ
2Z
ı
= d3 x φı∂0 ∂0 φ − ∂0 φı∂0 φ
2
D E
= φ|ı∂0 |φ . (13.34)
Thus,
Pµ = hφ|ı∂µ |φi . (13.35)
Therefore,
(cte)∗ = −(cte). (13.38)
Chapter 14
Does it need a name?
2. T {: φ4 (x) :: φ4 (y) :}
3. 0|T {ψ̄(x)ψ(x)ψ̄(y)ψ(y)}|0 .
Answer
a Wick’s theorem tells that one should consider all possible contractions of the fields, for this
case, there are three possibilities, all x and y contracted with themselves, or with each other and
finally a couple of crossed contractions and a pair of self-contractions.
D E
0|T {φ4 (x)φ4 (y)}|0 = 9(D(x − x))2 (D(y − y))2
+72(D(x − y))2 D(x − x)D(y − y)
+24(D(x − y))4 . (14.1)
• 6 different ways of contracting a pair of φ(x) or φ(y) among themselves, times 2 ways of
contract the remaining fields but crossed.
• 4! (no question)
187
b Since inside the time-ordering operator there are normal products, one must apply the non-
equal-time-contraction Wick’s theorem. So,
42 32 22
• 96 = 3!
.
• 4!.
c Finally
D E
0|T {ψ̄(x)ψ(x)ψ̄(y)ψ(y)}|0 = 0|T {ψ̄α (x)ψα (x)ψ̄β (y)ψβ (y)}|0
= S αα (x − x)S ββ (y − y)
−S βα (y − x)S αβ (x − y). (14.3)
Answer
Let φ be a real scalar field with lagrangian
1 m g
L = ∂µ φ∂µ φ − φ2 − φ3 , (14.4)
2 2 3!
then,
g
Hint = : φ3 : . (14.5)
3!
The Dyson expansion is
(−ı)2
Z Z
S = 1 + (−ı) d xHI (x) +
4
d x d4 yT {HI (x)HI (y)} + · · · . (14.6)
2!
g Z
~p1 ~p2 |S |k1~k2
(1) ~
d3 z1 d3 z2 d3 y1 d3 y2 eıp1 ·z1 eıp2 ·z2 e−ık1 ·y1 e−ık2 ·y2
D E
= (−ı) (ı) −ı2 2
3! Z
←→ ← → ← → ← → D E
∂ z01 ∂ z02 ∂ y01 ∂ y02 d4 x 0|φ(z1 )φ(z2 ) : φ3 (x) : φ(y1 )φ(y2 )|0
= 0, (14.9)
g 2
Z
~p1 ~p2 |S |k1~k2
(2) ~
d3 z1 d3 z2 d3 y1 d3 y2 eıp1 ·z1 eıp2 ·z2 e−ık1 ·y1 e−ık2 ·y2
D E
= (−ı) (ı) −ı2 2
3!
←→ ← → ← → ← →
∂ z01 ∂ z02 ∂ y01 ∂ y02
Z D E
d4 x1 d4 x2 0|φ(z1 )φ(z2 )T {: φ3 (x1 ) :: φ3 (x2 ) :}φ(y1 )φ(y2 )|0
g 2 Z
= (−ı) (ı) −ı
2 2
lim lim d3 z1 d3 z2 d3 y1 d3 y2
3! zi →+∞ y→−∞
←→ ← → ← → ← →
eıp1 ·z1 eıp2 ·z2 e−ık1 ·y1 e−ık2 ·y2 ∂ z01 ∂ z02 ∂ y01 ∂ y02
Z D E
d4 x1 d4 x2 0|T {φ(z1 )φ(z2 ) : φ3 (x1 ) :: φ3 (x2 ) : φ(y1 )φ(y2 )}|0
g 2 Z
= (−ı) (ı) −ı
2 2
lim lim d3 z1 d3 z2 d3 y1 d3 y2
3! i z →+∞ y→−∞
Z
ıp1 ·z1 ıp2 ·z2 −ık1 ·y1 −ık2 ·y2 ← → ← → ← → ← →
e e e e ∂ z01 ∂ z02 ∂ y01 ∂ y02 (3!) 2
d4 x1 d4 x2
{D(z1 − x1 )d(z2 − x1 )D(x1 − x2 )D(x2 − y1 )D(x2 − y2 )
D(z1 − x1 )D(z2 − x2 )D(x1 − x2 )D(x1 − y1 )D(x2 − y2 )
+D(z1 − x1 )D(z2 − x2 )D(x1 − x2 )D(x2 − y1 )D(x1 − y2 )} . (14.10)
Since
Z
←→
lim d3 zi eıpi ·zi ∂ z0i D(zi − x) = (−ı)eıpi ·x (14.11)
z0i →∞
Z
←→
lim d3 yi e−ıki ·yi ∂ y0i D(x − yi ) = (ı)e−ıki ·x , (14.12)
y0i →−∞
then,
eıq·(x1 −x2 )
ı
q2 − m2 + ı
ı
(
= −g δ (p1 + p2 − k1 − k2 )
2 (4)
(k1 + k2 )2 − m2 + ı
ı ı
)
+ + (14.13)
(k1 − p1 ) − m + ı (k1 − p2 ) − m2 + ı
2 2 2
Answer
Since
d3 q 1 n −ıq·x
Z
† ıq·x
o
φ(x) = aq e + a q e , (14.14)
(2π)3 2Eq
p
it follows that,
d3 q1 1 d3 q2 1 d3 q3 1 d3 q4 1
Z
: φ (x) : =
4
√ √ √ √
(2π)3 2E1 (2π)3 2E2 (2π)3 2E3 (2π)3 2E4
a1 a2 a3 a4 e−ı(q1 +q2 +q3 +q4 )·x + 4a†1 a2 a3 a4 e−ı(−q1 +q2 +q3 +q4 )·x
n
+6a†1 a†2 a3 a4 e−ı(−q1 −q2 +q3 +q4 )·x + 4a†1 a†2 a†3 a4 eı(q1 +q2 +q3 −q4 )·x
+a†1 a†2 a†3 a†4 eı(q1 +q2 +q3 +q4 )·x .
o
(14.15)
The only one term that contribute is the one with equal number of a’s and a† ’s, i.e., 6a†1 a†2 a3 a4 e−ı(−q1 −q2 +q3 +q4 )·x .
Therfore,
! 12
ıλ d3 q1 d3 q2 d3 q3 d3 q4 E p1 E p2 Ek1 Ek2
Z
~p1 ~p2 |S |k1~k2
(1) ~
D E
= − 4
d x
4! (2π)3 (2π)3 (2π)3 (2π)3 E1 E2 E3 E4
3!eı(q1 +q2 −q3 −q4 )·x 0|a p1 a p2 a†1 a†2 a3 a4 a†k1 a†k2 |0 .
D E
(14.16)
Now,
D E D E
0|a p1 a p2 a†1 a†2 a3 a4 a†k1 a†k2 |0 = 0|a p1 a p2 a†1 a†2 a3 (2π)3 δ(3) (q4 − k1 ) + a†k1 a4 a†k2 |0
D
= 0|a p1 a p2 a†1 a†2 a (2π)3 (2π)3 δ(3) (q4 − k1 )δ(3) (q3 − k2 )
E
+a†k2 a3 (2π)3 δ(3) (q4 − k1 ) + a3 a†k1 a†k2 a4 |0
D E
= 0|a p1 a p2 a†1 a†2 |0 (2π)3 (2π)3
n
δ(3) (q4 − k2 )δ(3) (q3 − k1 )
o
+δ(3) (q4 − k1 )δ(3) (q3 − k2 ) . (14.17)
Thus,
D E
0|a p1 a p2 a†1 a†2 a3 a4 a†k1 a†k2 |0 = (2π)3 (2π)3 (2π)3 (2π)3
n
δ(3) (p1 − q1 )δ(3) (p2 − q2 )δ(3) (q3 − k1 )δ(3) (q4 − k2 ) (14.18)
o
+δ(3) (p1 − q2 )δ(3) (p2 − q1 )δ(3) (q3 − k1 )δ(3) (q4 − k2 ) + k1 ↔ k2 .
And so,
! 12
ıλ 3 3 3 3
Z
4 d q1 d q2 d q3 d q4 E p1 E p2 E k1 E k2
~p1 ~p2 |S |k1~k2
(1) ~
D E
= − d x
4! (2π)3 (2π)3 (2π)3 (2π)3 E1 E2 E3 E4
4!eı(q1 +q2 −q3 −q4 )·x δ(3) (p1 − q1 )δ(3) (p2 − q2 )δ(3) (q3 − k1 )δ(3) (q4 − k2 )
Z
= −ıλ d4 xeı(p1 +p2 −k1 −k2 )·x
What normalisation should the spinors have? Show that these identities are consistent with the
equations which define the spinors u s (p) and v s (p). Are these identities invariant under a change
on the representation of the γ-matrices?
Answer
Remind that
√ χs
!
u s (p) = E + m σ~ ·~p (14.22)
E+m s
χ
√ ~ ·~p
σ
χ
!
v s (p) = E+m E+m s , (14.23)
χs
where ! !
1 0
χ1 = χ2 = . (14.24)
0 1
Since
~ · ~p
σ p x − ıpy
!
1 pz
= , (14.25)
E + m E + m p x + ıpy −pz
then,
1 0
√ 0 √ 1
u1 (p) = E + m pz , u2 (p) = E + m px −ıpy , (14.26)
E+m E+m
p x +ıpy pz
E+m
− E+m
and
√ p x +ıpy
ū1 (p) = E + m 1 0 − E+m
pz
− E+m , (14.27)
√ p x −ıpy
ū2 (p) = E + m 0 1 − E+m pz
E+m
, (14.28)
−p x + ıpy
E − m 0 −pz
X 0 E − m −p x − ıpy pz
v s (p)v̄ s (p) =
pz p x − ıpy −E − m 0
s
p x + ıpy
−pz 0 −E − m
= 6 p − m. (14.35)
for i = 1, 2.
Of course, properties (14.34) and (14.35) are consistent with the equation of motion for spinors
u s (p) and v s (p), so that,
X
(6 p − m) u s (p)ū s (p) = (6 p − m)(6 p + m)
s
= p2 − m2
X = 0 (14.37)
(6 p + m) v s (p)v̄ s (p) = (6 p + m)(6 p − m)
s
= p2 − m2
= 0, (14.38)
is given by
d3 p n 0
Z
ıp·(x−y)
o
S (x − y) = ϑ(x − y0
)(6 p + m)e−ıp·(x−y)
− ϑ(y0
− x 0
)(6 p − m)e . (14.42)
(2π)3 2E p
d4 p
Z
S (x − y) = 4
S̃ (p)e−ıp·(x−y) , (14.43)
(2π)
where
ı(6 p + m)
S̃ (p) = (14.44)
p2 − m2 + ı
is the propagator in the momentum space. Show that S (x − y) is a Green’s function of the free Dirac
operator, ı 6 ∂ x − m.
Answer
In class was shown eq. (14.42), so let us show the equivalence between (14.42) and (14.43).
d4 p ı(6 p + m)
Z
S (x − y) = e−ıp·(x−y) . (14.45)
(2π ) (p ) − E p + ı
4 0 2 2
Consider
+∞
d p0 ı(6 p + m)
Z
0 0 0
I = e−ıp ·(x −y )
−∞ 2π (p ) − E p + ı
0 2 2
+∞
d p0 ı(p0 γ0 − ~p · ~γ + m) −ıp0 ·(x0 −y0 )
Z
= e ,
−∞ 2π (p0 )2 − E 2p + ı
(14.46)
Then,
dz ı(zγ0 − ~p · ~γ + m) −ız(x0 −y0 )
I = ϑ(x − y )0 0
e
2π (z − z+ )(z − z− )
dz ı(zγ0 − ~p · ~γ + m) −ız(x0 −y0 )
+ϑ(y − x )
0 0
e
2π (z − z+ )(z − z− )
1 ı(z+ γ0 − ~p · ~γ + m) −ız+ (x0 −y0 )
= −ϑ(x0 − y0 )2πı e
2π (z+ − z+ )
1 ı(z− γ0 − ~p · ~γ + m) −ız− (x0 −y0 )
+ϑ(y0 − x0 )2πı e
2π (z− − z+ )
(E p − ı)γ0 − ~p · ~γ + m −ı(E p −ı)(x0 −y0 )
= ϑ(x0 − y0 ) e
2(E p − ı)
0 (−E p + ı)γ − ~ p · ~γ + m ı(E p −ı)(x0 −y0 )
0
+ϑ(y − x )
0
e
2(E p − ı)
6 p + m −ıp0 (x0 −y0 )
= ϑ(x0 − y0 ) e (14.49)
2E p
−E p γ0 − ~p · ~γ + m ıE p (x0 −y0 )
+ϑ(y0 − x0 ) e . (14.50)
2E p
Thus,
d3 p n 0
Z
ıp·(x−y)
o
S (x − y) = ϑ(x − y0
)(6 p + m)e−ıp·(x−y)
− ϑ(y0
− x 0
)(6 p − m)e , (14.51)
(2π)3 2E p
were in the second term the variable have been change ~p 7→ −~p.
Additionally,
d4 p 6 p − m)(6 p + m ıp·x
Z
(ı 6 ∂ x − m)S (x − y) = ı e
(2π)4 p2 − m2 + ı
d4 p p2 − m2 + ı ıp·x
Z
= ı e
(2π)4 p2 − m2 + ı
d4 p ı
Z
− ı 2 eıp·x
(2π) p − m2 + ı
4
= ıδ(4) (x − y) + (· · · )
= ıδ(4) (x − y). (14.52)
Chapter 15
... 2nd part
c. Obtain the condition that permit the decay of a particle of mass M decay into a triplet of
particles of masses m1 , m2 and m3 .
e. Apply the above result to enumerate all permit processes whose initial and final states include,
a pair of photons and a couple of electron and/or positron.
Answer
a.
• Consider a free electron, and choose the CM frame. The energy in this frame is just Ei = m,
but after the emission, E f = m + Ke + Eγ > Ei , i.e., this process doesn’t conserve energy and
so it’s not allowed.
• Once more choosing the CM. frame, Ei = m + Ke + Eγ > E f = m, therefore it’s not allowed.
197
• In the CM. frame, P f = Pe− + Pe+ = 0, but Pi , 0 because mγ = 0.
• This last process can (eventually) conserve both, energy and momentum, but doesn’t con-
serve helicity, so it’s neither allow.
b. As it was seen in the above examples, processes of three particles which involve at least a
massless one, are not kinematically allowed.
c. In order for a particle of mass M to decay into a triplet of particles with masses m1 , m2 and m3 ,
energy and momentum must be conserved. It can be seen from the CM frame as
m1 + T 1 + m2 + T 2 + m3 + T 3 = M, (15.1)
~p1 + ~p2 + ~p3 = 0, (15.2)
where ~pi are the momenta of the particles after the decay.
m1 + T + m2 + T 2 = m3 + T 3 + m4 + T 4 (15.3)
e.
15.2 Bhabha scattering
For the Bhabha scattering, e− + e+ → e− + e+ ,
a. Show that the lower order contribution to the S matrix corresponding to this process is
with
Z
S a = −e 2
d4 x1 d4 x2 : ψ̄− γµ ψ+ ψ̄+ γν ψ−
x1 x2 : Dµν (x1 − x2 ) (15.5)
Z
S b = −e2 d4 x1 d4 x2 : ψ̄− γµ ψ− ψ̄+ γν ψ+
x1 x2 : Dµν (x1 − x2 ). (15.6)
b. From (15.5) and (15.6) get the Feynman amplitude for the process
Answer
a. For QED, the interaction Hamiltonian is
HI = −e : ψ̄ 6 Aψ : . (15.8)
Then, the first non-trivial contribution to the S matrix is second order on e, p~1 p~2 S (2) k~1 k~2 ,
D E
with Z
S = −e
(2) 2
d4 x1 d4 x2 T : (ψ̄ 6 Aψ) x1 :: (ψ̄ 6 Aψ) x2 :
(15.10)
For the Bhabha scattering, no photons are involved at initial or final state, so the only possibility
is that they’d be contracted, i.e.,
Z
S = −e
(2) 2
d4 x1 d4 x2 : (ψ̄γµ ψ) x1 (ψ̄γν ψ) x2 : Dµν (x1 − x2 ), (15.11)
but
ψ̄ = ψ̄+ + ψ̄− and ψ = ψ+ + ψ− . (15.12)
Since, ψ+ annihilates an electron, ψ− creates a positron, ψ̄− annihilates an electron and ψ̄+
creates a positron, the set up should have all them once. It gives 4 different possibilities,
1. (ψ̄− γµ ψ− ) x1 (ψ̄+ γν ψ+ ) x2
2. (ψ̄− γµ ψ+ ) x1 (ψ̄+ γν ψ− ) x2
3. (ψ̄+ γµ ψ− ) x1 (ψ̄− γν ψ+ ) x2
4. (ψ̄+ γµ ψ+ ) x1 (ψ̄− γν ψ− ) x2 .
Obviously, 1 and 4 (2 and 3) are equals under interchange x1 ↔ x2 . This gives a factor of 2 that
cancels the 1/2 coming from the Dyson’s expansion.
Therefore, the two different contributions for Bhabha Scattering are,
p~1 p~2 |(S a + S b )| k~1 k~2 ,
D E
(15.13)
with
Z
S a = −e 2
d4 x1 d4 x2 : (ψ̄− γµ ψ− ) x1 (ψ̄+ γν ψ+ ) x2 : Dµν (x1 − x2 ) (15.14)
Z
S b = −e2 d4 x1 d4 x2 : (ψ̄− γµ ψ+ ) x1 (ψ̄+ γν ψ− ) x2 : Dµν (x1 − x2 ). (15.15)
b. By using the Feynman rules, the Feynman amplitude to the Bhabha scattering up to second
order is
ηµν
M (2) = −ı v̄ s1 (p1 )γµ u s2 (p2 )ū s02 (p02 )γν v s01 (p01 )
(p1 + p2 ) + ı
2
ηµν
−ı ū s02 (p02 )γµ u s2 (p2 )v̄ s1 (p1 )γν v s01 (p01 ) (15.16)
(p1 + p2 ) + ı
2
b. Show that to coupling this external potential gives rise to processes of scattering from a particle
with initial momentum k = (E, ~k) to final momentum p = (E 0 , ~p). Show that, the lower order
contribution to the S matrix for this transition is given by
2πδ(E − E 0 ) e
~p |S (1)| ~k = 2ıµ √ U(~p − ~k),
D E
√ (15.19)
2V E 2V E 0
where Z
e q) =
U(~ d3 xU(~x)e−ı~q·~x . (15.20)
Answer
In order to get the eqs. of motion, one apply the Euler-Lagrange eqs.,
∂L
!
∂µ = ∂µ ∂µ φ, (15.21)
∂(∂µ φ
and
∂L
= −µ2 φ + 2µU(~x)φ, (15.22)
∂φ
so,
( + µ2 )φ(x) = 2µU(~x)φ(x). (15.23)
Since LI is time-independent, then
HI (x) = −µU(~x) : φ2 (x) : . (15.24)
The initial and final states are obtained from the vacuum via
√
|~k > = 2Ea†k |0 > (15.25)
√
|~p > = 2E 0 a†p |0 > . (15.26)
Also, the Dyson expansion for the S matrix is,
(−ı)2
Z Z
S = 1 + (−ı) d xHI (x) +
4
d x d4 yT {HI (x)HI (y)} + · · · , (15.27)
2!
therefore, for (15.24) and ~p , ~k, one get,
√ √ Z
~
D E D E
~p |S (1)| k = ıµ 2E 2E 0 d4 xU(~x) 0 a p : φ2 (x) : a†k 0
Z
←→ ← →
d4 xd3 zd3 yeıp·z e−ık·y ∂ z0 ∂ y0 U(~x) 0 φ(z) : φ2 (x) : φ(y) 0
D E
= ıµ lim lim
z0 →∞ y0 →∞
Z
←→ ← →
= ıµ lim lim d4 xd3 zd3 yeıp·z e−ık·y ∂ z0 ∂ y0 U(~x)2D(z − x)D(x − y)
z0 →∞ y0 →∞
Z
= 2ıµ d4 xeıp·x e−ık·x U(~x)
Z Z
3 −ı(~p−~k)·~x
U(~x) dx0 eı(E−E )x
0 0
= 2ıµ d xe
e p − ~k).
= 2ıµ(2π)δ(E − E 0 )U(~ (15.28)
Note that if the particle state is defined by
|~p >= a†p |0 >, (15.29)
the result would be
~ (2π)δ(E − E 0 ) e
U(~p − ~k).
D E
~p |S (1)| k = 2ıµ √ √ (15.30)
2E 2E 0
15.4 Feynman rules for a pseudo-scalar mesons theory
Consider a theory for pseudo-scalar mesons, defined by the lagrangian
where
1 µ2
L0 = ∂µ φ∂µ φ − φ2 + ψ̄(ı 6 ∂ − m)ψ, (15.32)
2 2
and
Lint = −ıgψ̄γ5 ψφ. (15.33)
Use the similarity between this theory and QED for writing its Feynman rules.
Answer
Remind that in order to construct the Feynman diagram, one assign different lines to different sort
of particles, i.e., two kind of propagators in the described set up, say, straight lines for fermions
and dashed ones for scalar field. Also, the vertex is a convergent point of as many propagators as
the order of the interaction.
Next are listed the Feynman rules for the set up theory.
1. Draw all graphs with a given number of vertices, n. Remember, fermion lines are oriented
and are closed or infinite (it means begin and end at ±∞).
3. For each internal bosonic line, labelled by the momentum k, write a factor
i
D(k) = . (15.34)
k2 − µ2 + ı
4. For each internal fermion line, labelled by the momentum p, write a factor
6p+m
S (p) = ı . (15.35)
p2 − m2 + ı
6. The spinor factors for each fermion line are ordered so that, reading from right to left, they
occur in the same sequence as following the fermion line in the direction of its arrow.
7. For each fermion loop, take trace and multiply by a factor (−1).
8. For each momentum, q, which is not fixed by energy-momentum conservation, carry out the
integration Z
1
d4 q.
(2π)4
9. Multiply the expression by a phase factor δP which is equal to +1 or -1 if an ever or odd
number of interchanges of neighboring fermion operators is required to write the fermion
operators in the correct normal order.
The above rules give the Feynman amplitude, M (n) , of order n (number of vertices). From here,
the n-th order of the S matrix is given by
D E
f S (n) i = (2π)4 δ(4) (P f − Pi )M (n) . (15.36)
Chapter 16
QFT II 3
16.1 γ − γ Scattering
Unlike classical electrodynamics, QED predicts that a couple of light shafts that cross, suffer certain
scattering,
a. Identify and write down the lower order, in the Dyson expansion for the S -matrix, which
allows the process 2γ → 2γ. Write it as compact as possible, having special care with the
final coefficients.
b. Draw the Feynman diagrams -in the momentum space- associated to the above process, and by
using the Feynman rules write the expression of the Feynman amplitude.
Answer
Since, Z
HI = −e d3 x : ψ̄ A
6 ψ :, (16.1)
and we have four photons in both, initial and final states, in order to get a non-trivial contribution
we must consider the Dyson expansion to order fourth,
(ıe)4
Z
h f |S |ii = d4 x1 d4 x2 d4 x3 d4 x4
4!
f |T : (ψ̄ A6 ψ) x1 :: (ψ̄ A6 ψ) x2 :: (ψ̄ A 6 ψ) x3 :: (ψ̄ A6 ψ) x4 : |i
(ıe)4 1 1 1 1
= µ (p1 )ν (p2 )λ∗ (p3 )ρ∗ (p4 )
4! 2V E p1 2V E p2 2V E p3 2V E p4
Z
d4 x1 d4 x2 d4 x3 d4 x4 eıp1 ·x1 eıp2 ·x2 eıp3 ·x3 eıp4 ·x4
205
Now, we must contract all the fermionic fields by using the Wicks thm. Of course, since all
fermions are contracted, they’ll form a loop, so we get a minus sign. Furthermore, they must
not form disconnect groups, so that this will generate disconnected Feynman diagrams (it can
be shown that disconnected diagrams can be neglected, by the cluster decomposition principle1 ).
Additionally, the total number of permutations between the integration variables gives us a 4!.
Then,
1 1 1 1
h f |S |ii = −(ıe)4 µ (p1 )ν (p2 )λ∗ (p3 )ρ∗ (p4 )
2V E p1 2V E p2 2V E p3 2V E p4
(2π)4 δ(4) (pi − p f ) (16.3)
d4 q
(Z )
λ ρ µ ν
Tr S (q)γ S (q + p2 )γ S (q + p1 + p2 )γ S (q − p4 )γ .
(2π)4
1
See S. Weinberg, Quantum Theory of fields, Vol. I.
Clearly, from the diagram it follows that
Answer
Since
1
ψ+ (x)|e− (~p, s) >= |0 > u s (p)e−ıp·x , (16.5)
(2V E p )1/2
it follows that, at first order in perturbations,
* Z + * Z +
µ − µ +
p ıe d x : ψ̄γ ψ : Aµ p = p ıe d x : ψ̄ γ ψ : Aµ p
0 4 0 4
Z
1 1 0
= ıe p p ū s0 (p )γ uu s (p) d4 xe−ı(p−p )·x Aµ
0 m
2V E p 2V E p0
1 1
= ıe p p ū s0 (p0 )γm uu s (p)A
eµ (p − p0 ). (16.6)
2V E p 2V E p0
1 1 d3 p f
dσ = 3
|M (pi → p f )|2 (2π)δ(Ei − E f ), (16.8)
vi 2Ei (2π) 2E f
1 1 |p f |2 d|p f |dΩ
dσ = |M (pi → p f )|2 (2π)δ(Ei − E f ). (16.9)
vi 2Ei (2π)3 2E f
Since,
1
δ(F(x) − F(x0 )) = δ(x − x0 ), (16.10)
|F 0 (x0 )|
and
dE f pf
= , (16.11)
d|p f | E f
then, we can integrate over the modulus of the momentum,
|p f |2 d|p f |
Z
pi 1
3
2πδ(Ei − E f ) = . (16.12)
(2π) 2E f (2π)2 2
Thus,
1 pi 1
dσ = |M |2 dΩ, (16.13)
2(2π)2 vi 2Ei
next, we’ll use the equation
pi
Ei = , (16.14)
vi
we get,
1
dσ = |M |2 dΩ. (16.15)
(4π)2
Let’s now restrict ourselves to the Coulombian potential,
Ze 1
A0 = . (16.16)
4π r
Therefore,
dσ 1
= |M |2
dΩ (4π)2
!2
e2 1 1X
= Z2 |ūr (p0 )γ0 u s (p)|2
4π |~p − p~0 |4 2 r,s
1 (αZ) n 0 0 0 o
= tr (6 p γ 6 p γ ) + m 2
1
2 |~q|4
1 (αZ) n 0 µ 0 ν 0
o
= tr p µ p ν (γ γ γ γ ) + m 2
1
2 |~q|4
1 (αZ) n 0 µ0 ν0 µν
o
= 4p p
µ ν (2η η − η ) + 4m 2
2 |~q|4
(αZ)
= 2 4 m2 + E 2 + ~p · p~0 .
(16.17)
|~q|
and
we obtain,
dσ 1 (αZ)2 1
= . (16.23)
dΩ 4 E 2 v4 sin4 (θ/2)
a. Draw the Feynman diagrams, at tree level, in the momentum space for e+ (p2 ) + e− (p1 ) →
(k1 ) + γ(k2 ). Use the Feynman rules in order to write the Feynman amplitudes associated to
each diagram.
b. Draw the Feynman diagrams, at tree level, in the momentum space for e− + γ → e− + γ. Use
the Feynman rules in order to write the Feynman amplitudes associated to each diagram.
c. Show that the amplitudes of each one of the diagrams of the annihilation (a.) can be obtained
from the ones of the Compton effect (b.) through certain identification of the momentum
variables.
Ma1 = (ıe)2 v̄r (p2 )γµ S (p1 − k1 )γν u s (p1 )ε∗µ (k2 )ε∗ν (k1 ) (16.24)
Mb1 = (ıe)2 v̄r (p2 )γµ S (p1 − k2 )γν u s (p1 )ε∗µ (k1 )ε∗ν (k2 ) (16.25)
Ma2 = (ıe)2 ūr (p2 )γµ S (p1 + k1 )γν u s (p1 )ε∗µ (k2 )εν (k1 ) (16.26)
µ ν
Mb2 = (ıe) ūr (p2 )γ S (p1 − k2 )γ
2
u s (p1 )εµ (k1 )ε∗ν (k2 ). (16.27)
Let’s change p2 7→ −p2 and k1 7→ −k1 in the amplitudes M1 , then,
Ma1
0
= (ıe)2 v̄r (−p2 )γµ S (p1 + k1 )γν u s (p1 )ε∗µ (k2 )ε∗ν (−k1 ) (16.28)
Mb1
0
= (ıe)2 v̄r (−p2 )γµ S (p1 − k2 )γν u s (p1 )ε∗µ (−k1 )ε∗ν (k2 ). (16.29)
in the above equations, we can change u s (−p) by v s (p). Additionally, the polarization of a photon
is complex just if it’s elliptically polarised, therefore, under a change in the momentum k 7→ −k,
also the orientation of the polarization must change, i.e.,
Finally, we get
Ma1
0
= (ıe)2 ūr (p2 )γµ S (p1 + k1 )γν u s (p1 )ε∗µ (k2 )εν (k1 ) (16.33)
µ ν
Mb1
0
= (ıe) ūr (p2 )γ S (p1 − k2 )γ
2
u s (p1 )εµ (k1 )ε∗ν (k2 ), (16.34)
that are nothing but the Feynman amplitudes for the Compton scattering.
Let’s try now of explaining what this crossing symmetry is.
Both process, e+ + e− → 2γ and Compton scattering, (at tree level) are obtained from the
second order expansion of the S -matrix for QED. Nonetheless, for each process we decide to take
the positive or negative frecuency part of the fields, depending on the initial and final particles of
the process. Since the total numbers of photons and leptons are the same, the Feynman graph for a
process can be obtained from the topologically equivalents Feynman diagrams of the other, ’cause
it’s just a different choice of the positive and negative frecuency of the field. Furthermore, the
combinatoric ceofficients are equal for both processes.
In the crossing symmetry, just as we’ve seen, if we take a lepton from initial to final (or vicev-
ersa) we should change the particle by it’a anti-particle. Similarly, if we change a photon, we
should change it polarization.
Chapter 17
QGT II 4
From (17.1), I is a Lorents invariant, therefore (17.2) is so. Furthermore, the density transform
as a pzeroth component of a 4-vector, as the energy, thus, if (17.2) is a lorentz invariant, I 0 =
n1 n2 (~v1 − ~v2 )2 − (~v1 × ~v2 )2 is also a Lorentz invariant.
in the CM. frame, where p1 = (E, ~p) and p2 = (E 0 , −~p),
q
I = (EE 0 + |~p|2 )2 − ((E 2 − |~p|2 )(E 02 − |~p|2 ))
q
= E 2 E 02 + |~p|4 + 2|~p|2 EE 0 − E 2 E 02 − |~p|4 + |~p|2 (E 2 + E 02 )
√
= |~p| s. (17.3)
213
Answer
Since the velocity of the second particle in the initial frame is v2 , we should boost our set up by
1
gamma(v2 ) = q , (17.4)
1− v22
then,
v2 − v2
V2,lab = = 0. (17.5)
1 − v22
Also,
Elab = γ2 (E 0 + v2 p0x )
= γ2 (E 0 + v2 |p0 | cos(θ)). (17.6)
Thus,
dElab = γ2 v2 |p0 |d(cos(θ)). (17.7)
Moreover,
1 |~p0 |
(2)
dΦCM = √ dΩ
16π2 s
1 |~p0 |
= √ dφd(cos(θ)), (17.8)
16π2 s
Answer
e2
Ma = −ı ūr (p0 )γµ u s1 (p1 )ūr2 (p02 )γµ u s2 (p2 ) (17.11)
(p1 − p01 )2 1 1
e2
Mb = ı ūr (p0 )γµ u s1 (p1 )ūr1 (p01 )γµ u s2 (p2 ), (17.12)
(p1 − p02 )2 2 2
where the index 1 and 2 denote electrons and muons respectively, and also prime variables denote
final momentum. Bellow, we’ll drop all contribution coming from electron mass because E me .
Note that,
|Ma + Mb |2 = |Ma |2 + |Mb |2 + Ma∗ Mb + Ma Mb∗ , (17.13)
then,
1 e4 X
|Ma |2 = ūr (p0 )γµ u s1 (p1 )ū s1 (p1 )γν ur1 (p01 )
4 4[(p1 − p01 )2 ]2 s ,r 1 1
i i
ūr2 (p02 )γµ u s2 (p2 )ū s2 (p2 )γν ur2 (p02 ) (17.14)
e4 0 µ ν 0 µ ν
= 0 2 2 T r(6p1 γ 6p1 γ )T r(6p2 γ 6p2 γ ) (17.15)
4[(p1 − p1 ) ]
Part VI
Appendixes
217
Chapter 18
Geometry: Conics
This chapter gain importance when one is interested in Kepler’s problem, i.e., a particle in a poten-
tial U(~r) ∼ |~r|−1 . Here we give a brief review of conics, further treatment can be found in a book
on analytical geometry.
18.1 Circumference
A circumference is described by the equation1
x2 + y2 = R2 , (18.1)
where R is the radius.
18.2 Ellipse
219
18.3 Hyperbola
x2 y2
− = 1, (18.5)
a2 b2
where a is the distance from the origin to the vertice and b such that the hyperbola goes asymptot-
ically as
b
y = ± x. (18.6)
a
√
The foci are located at c = a2 + b2 , again the eccentricity is = ac but now since c > a ⇒ > 1.
In term of the focal radii,
r1 = a + x, r2 = a − x. (18.7)
18.4 Parabola
y2 = 2px, (18.8)
where focus is located at p/2 from the vertice. The focal radius is r = x + p/2 and eccentricity is
= 1.
All the conics named before can be written in polar coordinates by the equation
p
ρ= . (18.9)
1 − cos θ
Chapter 19
Special Functions
Special functions play an important rôle when one wants to solve the equation of motion for
certain systems, of course we don’t pretend nor try to cover the subject, but showing a punctual
useful formulae such as definitions, special values and so on.
Also,
! !
1 √ 1 √
Γ = π, Γ − = −2 π, Γ(n + 1) = nΓ(n). (19.5)
2 2
221
Beta function can be defined in integral form by
1
t x−1
Z
β(x) = dt (19.6)
1+t
Z0 ∞
e−xt
= dt . (19.7)
0 1 + e−t
d2 ν2
!
1 d
Zν (x) + Zν (x) + 1 − 2 Zν (x) = 0. (19.11)
dx2 x dx x
µ2
!
d µ d µ
(1 − x ) Pν (x) − 2x Pν (x) + ν(ν + 1) −
2
Pµ (x) = 0. (19.12)
dx dx 1 − x2 ν
Legendre polynomials are the particular case µ = 0, and they are defined by the relation
1 dν 2
Pν (x) = (x − 1)ν . (19.13)
2ν ν! dxν
Also,
dµ
Pµν (x) = (−1)µ(1 − x2 )µ/2 Pν (x). (19.14)
dxµ
19.5 Hermite Polynomials
d2 d
2
Hn (x) − 2x Hn (x) + 2nHn (x) = 0. (19.15)
dx dx
Their Rodrigues’ formula is
2 dn −x2
Hn (x) = (−1)n e x e , (19.16)
dxn
and they’re a basis for the L2 (x) satisfying
Z ∞ (
−x2 0; m,n
dxe Hn (x)Hm (x) = √ n (19.17)
−∞ π2 n!; m=n
d2 α d
x 2
Ln (x) + (α + 1 − x) Lnα (x) + nLnα (x) = 0. (19.18)
dx dx
Their Rodrigues’ formula is
1 x −α dn −x α
Lnα (x) = e x e x (19.19)
n! dxn
n
m n+α x
X ! m
= (−1) (19.20)
m=0
n − α m!
[1] Marcelo Alonso and Edward J. Finn. Física, volume Volumen II: Campos y Ondas. Fondo
Educativo Interamericano, 1976.
[2] Marcelo Alonso and Edward J. Finn. Física, volume Volumen I: Mecánica. Addison-Wesley
Iberoamericana, 1986.
[4] Herbert Goldstein, Charles Poole, and John Safko. Classical Mechanics. Addison-Wesley,
2000.
[6] Walter Greiner, Ludwig Neise, and Horst Stöcker. Thermodynamics and Statistical Mechan-
ics. Springer, 1997.
[12] Lim Yung-Kuo, editor. Problems and Solutions on Electromagnetism. World Scientific, 1993.
[13] Lim Yung-Kuo, editor. Problems and Solutions on Thermodynamics and Statistical Mechan-
ics. World Scientific, 1996.
225
List of Figures
2.1 It shows the Bessel functions J0 (in blue) and J1 (in red). . . . . . . . . . . . . . . 33
10.1 A drawn of a circle of radius 4 in a lattice. The black dot represent the centre and
the blue ones are the circumference. . . . . . . . . . . . . . . . . . . . . . . . . . 150
227
List of Tables
229