An Introduction to Quantum Field Theory (Peskin and Schroeder) Solutions

Total Page:16

File Type:pdf, Size:1020Kb

An Introduction to Quantum Field Theory (Peskin and Schroeder) Solutions An Introduction to Quantum Field Theory (Peskin and Schroeder) Solutions Andrzej Pokraka December 12, 2017 Contents 1TheDiracEquation 1 1.1 Lorentz group ! ................................................... 1 1.2 Gordon Identity ! .................................................. 7 1.3 Spinor products ! .................................................. 7 1.4 Majorana fermions ! ................................................ 11 1.5 Supersymmetry .................................................... 21 1.6 Fierz transformations ! ............................................... 22 1.7 Discrete symmetries of the Dirac field ! ..................................... 27 1.8 Bound states ..................................................... 32 1TheDiracEquation 1.1 Lorentz group ! The Lorentz commutation relations are [J µν ,Jρσ ]=i (gνρJ µσ gµρJ νσ gνσJ µρ + gµσJ νρ) . − − (a) Define the generators of rotations and boots as 1 Li = ϵijkJ jk and Ki = J 0i, 2 where ijk is a permutation of (123).AninfinitesimalLorentztransformationcanthenbewritten Φ (1 iθ L iβ K)Φ. → − · − · Write the commutation relations of these vector operators explicitly. Show that the combinations 1 1 J+ = (L + iK) and J = (L iK) 2 − 2 − 1 commute with one another and separately satisfy the combination relation of angular momentum. Proof: The L operator commutation relations are Li,Lj = LiLj Lj Li − 1 ! " = ϵiklJ kl,ϵjmnJ mn 4 1 ! " = ϵiklϵjmn J kl,Jmn 4 i ! " = ϵiklϵjmn glmJ kn gkmJ ln glnJ km + gknJ lm 4 − − i ! " = ϵiklϵjmnglmJ kn ϵiklϵjmngkmJ ln ϵiklϵjmnglnJ km + ϵiklϵjmngknJ lm 4 − − for! the second and last term k l " i ↔ = ϵiklϵjmnglmJ kn ϵilkϵjmnglmJ kn ϵiklϵjmnglnJ km + ϵilkϵjmnglnJ km 4 − − i ! " = ϵiklϵjmnglmJ kn + ϵiklϵjmnglmJ kn ϵiklϵjmnglnJ km ϵiklϵjmnglnJ km 4 − − for! the third and last term m n " i ↔ = ϵiklϵjmnglmJ kn + ϵiklϵjmnglmJ kn ϵiklϵjnmglmJ kn ϵiklϵjnmglmJ kn 4 − − i ! " = ϵiklϵjmnglmJ kn + ϵiklϵjmnglmJ kn + ϵiklϵjmnglmJ kn + ϵiklϵjmnglmJ kn 4 = iϵikl! ϵjmnglmJ kn " = iϵiklϵjmn δlm J kn − = iϵiklϵjlnJ kn − # $ = iϵiklϵjnlJ kn = i δij δkn δinδkj J kn − = i δij J kk J ji # − $ ij = iJ# $ = iϵijkLk where J kk = i δk δk δkδk αβ α β − β α =0# $ and 1 ϵijkLk = ϵijkϵklmJ lm 2 1 = ϵkij ϵklmJ lm 2 1 = δilδjm δimδjl J lm 2 − 1 # $ = J ij J ji 2 − = J ij#. $ 2 The K commutation relations are Ki,Kj = KiKj Kj Ki − = J 0iJ 0j J 0j J 0i ! " − = i gi0J 0j g00J ij gij J 00 + g0j J i0 . − − This is simplified using properties of the metric gi0#=0, g00 = 1, gij = 1 and the$ generators J 00 =0 − − Ki,Kj = iJ ij − = iϵijkLk. ! " − Next, we need 1 Li,Kj = ϵikl J kl,J0j 2 ! " i ! " = ϵikl gljJ k0 + gkjJ l0 2 − i # $ = ϵikl δljJ k0 δkj J l0 2 − i # $ = ϵikj J k0 ϵijlJ l0 2 − i # $ = ϵijkJ 0k + ϵijkJ 0k 2 = iϵijl# Kl. $ Lastly we compute the angular momentum commutators 1 1 [J+, J ]= (L + iK) , (L iK) − 2 2 − % & 1 = [L, L] i [L, K]+i [K, L]+[K, K] 4 { − } i = [K, L] 2 i = Ki,Lj eˆ eˆ 2 i · j i ! " = Ki,Li 2 =0! " 1 1 J i ,Jj = Li iKi , Lj iKj ± ± 2 ± 2 ± % & ' ( 1 # $ # $ = Li,Lj i Li,Kj i Ki,Lj Ki,Kj 4 ± ± − 1 )! " ! " ! " ! "* = iϵijkLk i iϵijlKl i iϵjilKl + iϵijkLk 4 ± ∓ = i)ϵijkLk ϵijlK# l ϵijl$Kl +# iϵijkLk$ * ∓ ± 1 = ) iϵijkLk ϵijlKl * 2 ∓ i ) * = ϵijk Lk iKk 2 ± i ) * = ϵijkJ k 2 ± 3 (b) The finite-dimensional representations of the rotation group correspond precisely the to the allowed values for angular momentum: integers or half-integers. The result of part (a) implies that all finite-dimensional representations of the Lorentz group correspond to pairs of integers or half integers, (j+,j ),correspondingtopairsofrepresentationsofthe rotation group. Using the fact that J = σ/2 in the spin-1/2 representation− of angular momentum, write explicitly the 1 1 transformation laws of the 2-component objects transforming according to the 2 , 0 and 0, 2 representations of the Lorentz group. Show that these correspond precisely to the transformations of ψ and ψ giving in (3.37). L# $ R # $ Proof: The representations of the Lorentz group are denoted by (m, n) πm,n where m, n are either half-integers or integers. The irreducible representations are given by ≡ π Li = I J (n) + J (m) I m,n (2m+1) ⊗ i i ⊗ (2n+1) π #Ki$ = i I J (n) J (m) I . m,n (2m+1) ⊗ i − i ⊗ (2n+1) + , 1 # $ With J = σ/2 the 2 , 0 representation is found to be # $ σi σi σi σi π Li = I I + I = I + I = I = m,n 2 ⊗ 1 2 ⊗ 1 2 2 ⊗ 1 2 ⊗ 1 2 - . # $ σi σi σi σi π Ki = i I I I = i I I = i I = i . m,n 2 ⊗ 1 − 2 ⊗ 1 2 − 2 ⊗ 1 − 2 ⊗ 1 − 2 - . - . # $ Thus, with Li = σi/2 and Ki = iσi/2 the transformation law becomes − i µν (ωµν J ) Φ 1 e− 2 Φ 1 ( 2 ,0) → ( 2 ,0) i µν = 1 ωµν J Φ 1 − 2 ( 2 ,0) - . i 0ν i iν = 1 ω0ν J ωiν J Φ 1 − 2 − 2 ( 2 ,0) - . i 00 i 0i i i0 i ij = 1 ω00J ω0iJ ωi0J ωij J Φ 1 − 2 − 2 − 2 − 2 ( 2 ,0) - . i 0i i 0i i ij = 1 ω0iJ ω0iJ ωij J Φ 1 − 2 − 2 − 2 ( 2 ,0) - . i i ijk k = 1 iω0iK ωij ϵ L Φ 1 − − 2 ( 2 ,0) - . =(1iβ K iθ L) Φ 1 − · − · ( 2 ,0) 1 i = 1 β σ θ σ Φ 1 − 2 · − 2 · ( 2 ,0) - . where we have defined βi = ω = ω and θk = ω ϵijk. 0i − i0 ij 1 Now for the 0, 2 representation we have # $ σi σi σi π Li = I + I I = I + I = m,n 1 ⊗ 2 1 ⊗ 2 1 ⊗ 2 2 2 - . # $ σi σi σi π Ki = i I I I = i I I = i I . m,n 1 ⊗ 2 − 1 ⊗ 2 2 − 2 ⊗ 1 2 ⊗ 1 - . - . # $ 4 Thus, with Li = σi/2 and Ki = iσi/2 the transformation law becomes i µν (ωµν J ) Φ 1 e− 2 Φ 1 (0, 2 ) → (0, 2 ) =(1iβ K iθ L) Φ 1 − · − · (0, 2 ) 1 i = 1+ β σ θ σ Φ 1 . 2 · − 2 · (0, 2 ) - . Upon comparison with equation (3.37) we identify Φ 1 = ψL and Φ 1 = ψR. ( 2 ,0) (0, 2 ) Thus, the left- and right-handed spinor transform accordingtoseparaterepresentationsoftheLorentzgroup. " (c) The identity σT = σ2σσ2 allows us to rewrite the ψ transformation in the unitarily equivalent form − L ψ′ ψ′ (1 + iθ σ/2+β σ/2) , → · · T 2 1 1 where ψ′ = ψL σ .Usingthislaw,wecanrepresenttheobjectthattransformsas 2 , 2 as a 2 2 matrix that has the ψR transformation law on the left and simultaneously, the transposed ψ transforms on the right.× Parametrize this matrix as L # $ V 0 + V 3 V 1 iV 2 . V 1 + iV 2 V 0 − V 3 - − . Show that the object V µ transforms as a 4-vector. Proof: Left-handed spinors transform according to 1 i ψ 1 β σ θ σ ψ . L → − 2 · − 2 · L - . T 2 With ψ′ = ψL σ we verify the transformation law T 1 i 2 ψ′ 1 β σ θ σ ψ σ → − 2 · − 2 · L -- . 1 i T = ψT σ2σ2 1 β σ θ σ σ2 L − 2 · − 2 · - . 2 1 T i T 2 = ψ′σ 1 β σ θ σ σ − 2 · − 2 · - . 1 i = ψ′ 1+ β σ + θ σ . 2 · 2 · - . 1 1 1 1 Now we are interested in the transformation properties of a 2 , 2 object. We parameterize the 2 , 2 object as the matrix 0 3# $1 2 # $ V + V V iV µ Φ 1 1 = 1 2 0 − 3 = V σµ ( 2 , 2 ) V + iV V V - − . 5 µ where it will be shown that V is a 4-vector. Applying the transformation to Φ 1 1 we get ( 2 , 2 ) 1 i 1 i Φ 1 1 1+ β σ θ σ Φ 1 1 1+ β σ + θ σ ( 2 , 2 ) → 2 · − 2 · ( 2 , 2 ) 2 · 2 · - . - . 1 1 = 1+ (β iθ) σ V µσ 1+ (β σ + iθ) σ 2 − · µ 2 · · - . - . 1 1 = V µσ + (β iθ) σV µσ + V µσ (β + iθ) σ + θ2,β2 µ 2 − · µ 2 µ · O V µ V µ # $ = V µσ + β (σσ + σ σ) iθ (σσ σ σ) µ 2 · µ µ − 2 · µ − µ V µ V µ = V µσ + βi σ ,σ iθi [σ ,σ ] µ 2 ·{ i µ}− 2 · i µ V 0 V j V 0 V j = V µσ + βi σ ,σ + βi σ ,σ iθi [σ ,σ ] iθi [σ ,σ ] µ 2 ·{ i 0} 2 ·{ i j }− 2 · i 0 − 2 · i j V 0 V j V 0 V j = V µσ + βi σ , I + βi σ ,σ iθi [σ , I] iθi [σ ,σ ] µ 2 ·{ i } 2 { i j }− 2 i − 2 i j V 0 V j V j = V µσ + βi (2σ )+ βi (2δ ) iθi 2iϵ σk µ 2 i 2 ij − 2 ijk = V µσ + V 0βiσ V iβ + V j θiϵ σk # $ µ i − i ijk i k i j i where σi, I =2σ , [σi, I]=0, σi,σj =2δij , [σi, I]=2iϵijkσ .Alsonotethatβ V δij = β Vi because gij = δij . { } { } k − − Recall that we have defined the anti-symmetric tensor ω0i = βi and ωij = ϵijkθ .Insertingtheseexpressionsintothe above, we have µ 0 i i j i k µ 0 i i j k V σµ + V β σi V βi + V θ ϵijkσ = V σµ + V ω0iσ V ω0i + V ωjkσ − µ 0 i − i 0 i j = V σµ + V ω0iσ + V ωi0σ + ωij V σ µ ν µ = V σµ + ωµν σ V ν ν µ = δµ + ω µ Vν σ . We would like to show that this is identical to equation (3.19)inP&S.P&Sassertthata4-vector# $ V µ transforms as follows i V α δα ω ( µν )α V β → β − 2 µν J β - .
Recommended publications
  • Introductory Lectures on Quantum Field Theory
    Introductory Lectures on Quantum Field Theory a b L. Álvarez-Gaumé ∗ and M.A. Vázquez-Mozo † a CERN, Geneva, Switzerland b Universidad de Salamanca, Salamanca, Spain Abstract In these lectures we present a few topics in quantum field theory in detail. Some of them are conceptual and some more practical. They have been se- lected because they appear frequently in current applications to particle physics and string theory. 1 Introduction These notes are based on lectures delivered by L.A.-G. at the 3rd CERN–Latin-American School of High- Energy Physics, Malargüe, Argentina, 27 February–12 March 2005, at the 5th CERN–Latin-American School of High-Energy Physics, Medellín, Colombia, 15–28 March 2009, and at the 6th CERN–Latin- American School of High-Energy Physics, Natal, Brazil, 23 March–5 April 2011. The audience on all three occasions was composed to a large extent of students in experimental high-energy physics with an important minority of theorists. In nearly ten hours it is quite difficult to give a reasonable introduction to a subject as vast as quantum field theory. For this reason the lectures were intended to provide a review of those parts of the subject to be used later by other lecturers. Although a cursory acquaintance with the subject of quantum field theory is helpful, the only requirement to follow the lectures is a working knowledge of quantum mechanics and special relativity. The guiding principle in choosing the topics presented (apart from serving as introductions to later courses) was to present some basic aspects of the theory that present conceptual subtleties.
    [Show full text]
  • Multivector Differentiation and Linear Algebra 0.5Cm 17Th Santaló
    Multivector differentiation and Linear Algebra 17th Santalo´ Summer School 2016, Santander Joan Lasenby Signal Processing Group, Engineering Department, Cambridge, UK and Trinity College Cambridge [email protected], www-sigproc.eng.cam.ac.uk/ s jl 23 August 2016 1 / 78 Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. 2 / 78 Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. 3 / 78 Functional Differentiation: very briefly... Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. 4 / 78 Summary Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... 5 / 78 Overview The Multivector Derivative. Examples of differentiation wrt multivectors. Linear Algebra: matrices and tensors as linear functions mapping between elements of the algebra. Functional Differentiation: very briefly... Summary 6 / 78 We now want to generalise this idea to enable us to find the derivative of F(X), in the A ‘direction’ – where X is a general mixed grade multivector (so F(X) is a general multivector valued function of X). Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi. Then, provided A has same grades as X, it makes sense to define: F(X + tA) − F(X) A ∗ ¶XF(X) = lim t!0 t The Multivector Derivative Recall our definition of the directional derivative in the a direction F(x + ea) − F(x) a·r F(x) = lim e!0 e 7 / 78 Let us use ∗ to denote taking the scalar part, ie P ∗ Q ≡ hPQi.
    [Show full text]
  • Appendix a Spinors in Four Dimensions
    Appendix A Spinors in Four Dimensions In this appendix we collect the conventions used for spinors in both Minkowski and Euclidean spaces. In Minkowski space the flat metric has the 0 1 2 3 form ηµν = diag(−1, 1, 1, 1), and the coordinates are labelled (x ,x , x , x ). The analytic continuation into Euclidean space is madethrough the replace- ment x0 = ix4 (and in momentum space, p0 = −ip4) the coordinates in this case being labelled (x1,x2, x3, x4). The Lorentz group in four dimensions, SO(3, 1), is not simply connected and therefore, strictly speaking, has no spinorial representations. To deal with these types of representations one must consider its double covering, the spin group Spin(3, 1), which is isomorphic to SL(2, C). The group SL(2, C) pos- sesses a natural complex two-dimensional representation. Let us denote this representation by S andlet us consider an element ψ ∈ S with components ψα =(ψ1,ψ2) relative to some basis. The action of an element M ∈ SL(2, C) is β (Mψ)α = Mα ψβ. (A.1) This is not the only action of SL(2, C) which one could choose. Instead of M we could have used its complex conjugate M, its inverse transpose (M T)−1,or its inverse adjoint (M †)−1. All of them satisfy the same group multiplication law. These choices would correspond to the complex conjugate representation S, the dual representation S,and the dual complex conjugate representation S. We will use the following conventions for elements of these representations: α α˙ ψα ∈ S, ψα˙ ∈ S, ψ ∈ S, ψ ∈ S.
    [Show full text]
  • Handout 9 More Matrix Properties; the Transpose
    Handout 9 More matrix properties; the transpose Square matrix properties These properties only apply to a square matrix, i.e. n £ n. ² The leading diagonal is the diagonal line consisting of the entries a11, a22, a33, . ann. ² A diagonal matrix has zeros everywhere except the leading diagonal. ² The identity matrix I has zeros o® the leading diagonal, and 1 for each entry on the diagonal. It is a special case of a diagonal matrix, and A I = I A = A for any n £ n matrix A. ² An upper triangular matrix has all its non-zero entries on or above the leading diagonal. ² A lower triangular matrix has all its non-zero entries on or below the leading diagonal. ² A symmetric matrix has the same entries below and above the diagonal: aij = aji for any values of i and j between 1 and n. ² An antisymmetric or skew-symmetric matrix has the opposite entries below and above the diagonal: aij = ¡aji for any values of i and j between 1 and n. This automatically means the digaonal entries must all be zero. Transpose To transpose a matrix, we reect it across the line given by the leading diagonal a11, a22 etc. In general the result is a di®erent shape to the original matrix: a11 a21 a11 a12 a13 > > A = A = 0 a12 a22 1 [A ]ij = A : µ a21 a22 a23 ¶ ji a13 a23 @ A > ² If A is m £ n then A is n £ m. > ² The transpose of a symmetric matrix is itself: A = A (recalling that only square matrices can be symmetric).
    [Show full text]
  • Geometric-Algebra Adaptive Filters Wilder B
    1 Geometric-Algebra Adaptive Filters Wilder B. Lopes∗, Member, IEEE, Cassio G. Lopesy, Senior Member, IEEE Abstract—This paper presents a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). They are Faces generated by formulating the underlying minimization problem (a deterministic cost function) from the perspective of Geometric Algebra (GA), a comprehensive mathematical language well- Edges suited for the description of geometric transformations. Also, (directed lines) differently from standard adaptive-filtering theory, Geometric Calculus (the extension of GA to differential calculus) allows Fig. 1. A polyhedron (3-dimensional polytope) can be completely described for applying the same derivation techniques regardless of the by the geometric multiplication of its edges (oriented lines, vectors), which type (subalgebra) of the data, i.e., real, complex numbers, generate the faces and hypersurfaces (in the case of a general n-dimensional quaternions, etc. Relying on those characteristics (among others), polytope). a deterministic quadratic cost function is posed, from which the GAAFs are devised, providing a generalization of regular adaptive filters to subalgebras of GA. From the obtained update rule, it is shown how to recover the following least-mean squares perform calculus with hypercomplex quantities, i.e., elements (LMS) adaptive filter variants: real-entries LMS, complex LMS, that generalize complex numbers for higher dimensions [2]– and quaternions LMS. Mean-square analysis and simulations in [10]. a system identification scenario are provided, showing very good agreement for different levels of measurement noise. GA-based AFs were first introduced in [11], [12], where they were successfully employed to estimate the geometric Index Terms—Adaptive filtering, geometric algebra, quater- transformation (rotation and translation) that aligns a pair of nions.
    [Show full text]
  • Matrices and Tensors
    APPENDIX MATRICES AND TENSORS A.1. INTRODUCTION AND RATIONALE The purpose of this appendix is to present the notation and most of the mathematical tech- niques that are used in the body of the text. The audience is assumed to have been through sev- eral years of college-level mathematics, which included the differential and integral calculus, differential equations, functions of several variables, partial derivatives, and an introduction to linear algebra. Matrices are reviewed briefly, and determinants, vectors, and tensors of order two are described. The application of this linear algebra to material that appears in under- graduate engineering courses on mechanics is illustrated by discussions of concepts like the area and mass moments of inertia, Mohr’s circles, and the vector cross and triple scalar prod- ucts. The notation, as far as possible, will be a matrix notation that is easily entered into exist- ing symbolic computational programs like Maple, Mathematica, Matlab, and Mathcad. The desire to represent the components of three-dimensional fourth-order tensors that appear in anisotropic elasticity as the components of six-dimensional second-order tensors and thus rep- resent these components in matrices of tensor components in six dimensions leads to the non- traditional part of this appendix. This is also one of the nontraditional aspects in the text of the book, but a minor one. This is described in §A.11, along with the rationale for this approach. A.2. DEFINITION OF SQUARE, COLUMN, AND ROW MATRICES An r-by-c matrix, M, is a rectangular array of numbers consisting of r rows and c columns: ¯MM..
    [Show full text]
  • 5 the Dirac Equation and Spinors
    5 The Dirac Equation and Spinors In this section we develop the appropriate wavefunctions for fundamental fermions and bosons. 5.1 Notation Review The three dimension differential operator is : ∂ ∂ ∂ = , , (5.1) ∂x ∂y ∂z We can generalise this to four dimensions ∂µ: 1 ∂ ∂ ∂ ∂ ∂ = , , , (5.2) µ c ∂t ∂x ∂y ∂z 5.2 The Schr¨odinger Equation First consider a classical non-relativistic particle of mass m in a potential U. The energy-momentum relationship is: p2 E = + U (5.3) 2m we can substitute the differential operators: ∂ Eˆ i pˆ i (5.4) → ∂t →− to obtain the non-relativistic Schr¨odinger Equation (with = 1): ∂ψ 1 i = 2 + U ψ (5.5) ∂t −2m For U = 0, the free particle solutions are: iEt ψ(x, t) e− ψ(x) (5.6) ∝ and the probability density ρ and current j are given by: 2 i ρ = ψ(x) j = ψ∗ ψ ψ ψ∗ (5.7) | | −2m − with conservation of probability giving the continuity equation: ∂ρ + j =0, (5.8) ∂t · Or in Covariant notation: µ µ ∂µj = 0 with j =(ρ,j) (5.9) The Schr¨odinger equation is 1st order in ∂/∂t but second order in ∂/∂x. However, as we are going to be dealing with relativistic particles, space and time should be treated equally. 25 5.3 The Klein-Gordon Equation For a relativistic particle the energy-momentum relationship is: p p = p pµ = E2 p 2 = m2 (5.10) · µ − | | Substituting the equation (5.4), leads to the relativistic Klein-Gordon equation: ∂2 + 2 ψ = m2ψ (5.11) −∂t2 The free particle solutions are plane waves: ip x i(Et p x) ψ e− · = e− − · (5.12) ∝ The Klein-Gordon equation successfully describes spin 0 particles in relativistic quan- tum field theory.
    [Show full text]
  • WEYL SPINORS and DIRAC's ELECTRON EQUATION C William O
    WEYL SPINORS AND DIRAC’SELECTRON EQUATION c William O. Straub, PhD Pasadena, California March 17, 2005 I’ve been planning for some time now to provide a simplified write-up of Weyl’s seminal 1929 paper on gauge invariance. I’m still planning to do it, but since Weyl’s paper covers so much ground I thought I would first address a discovery that he made kind of in passing that (as far as I know) has nothing to do with gauge-invariant gravitation. It involves the mathematical objects known as spinors. Although Weyl did not invent spinors, I believe he was the first to explore them in the context of Dirac’srelativistic electron equation. However, without a doubt Weyl was the first person to investigate the consequences of zero mass in the Dirac equation and the implications this has on parity conservation. In doing so, Weyl unwittingly anticipated the existence of a particle that does not respect the preservation of parity, an unheard-of idea back in 1929 when parity conservation was a sacred cow. Following that, I will use this opportunity to derive the Dirac equation itself and talk a little about its role in particle spin. Those of you who have studied Dirac’s relativistic electron equation may know that the 4-component Dirac spinor is actually composed of two 2-component spinors that Weyl introduced to physics back in 1929. The Weyl spinors have unusual parity properties, and because of this Pauli was initially very critical of Weyl’sanalysis because it postulated massless fermions (neutrinos) that violated the then-cherished notion of parity conservation.
    [Show full text]
  • A Some Basic Rules of Tensor Calculus
    A Some Basic Rules of Tensor Calculus The tensor calculus is a powerful tool for the description of the fundamentals in con- tinuum mechanics and the derivation of the governing equations for applied prob- lems. In general, there are two possibilities for the representation of the tensors and the tensorial equations: – the direct (symbolic) notation and – the index (component) notation The direct notation operates with scalars, vectors and tensors as physical objects defined in the three dimensional space. A vector (first rank tensor) a is considered as a directed line segment rather than a triple of numbers (coordinates). A second rank tensor A is any finite sum of ordered vector pairs A = a b + ... +c d. The scalars, vectors and tensors are handled as invariant (independent⊗ from the choice⊗ of the coordinate system) objects. This is the reason for the use of the direct notation in the modern literature of mechanics and rheology, e.g. [29, 32, 49, 123, 131, 199, 246, 313, 334] among others. The index notation deals with components or coordinates of vectors and tensors. For a selected basis, e.g. gi, i = 1, 2, 3 one can write a = aig , A = aibj + ... + cidj g g i i ⊗ j Here the Einstein’s summation convention is used: in one expression the twice re- peated indices are summed up from 1 to 3, e.g. 3 3 k k ik ik a gk ∑ a gk, A bk ∑ A bk ≡ k=1 ≡ k=1 In the above examples k is a so-called dummy index. Within the index notation the basic operations with tensors are defined with respect to their coordinates, e.
    [Show full text]
  • On Wave Equations for the Majorana Particle in (3+1) and (1+1) Dimensions
    On wave equations for the Majorana particle in (3+1) and (1+1) dimensions Salvatore De Vincenzo1, ∗ 1Escuela de Física, Facultad de Ciencias, Universidad Central de Venezuela, A.P. 47145, Caracas 1041-A, Venezuela.y (Dated: January 19, 2021) In general, the relativistic wave equation considered to mathematically describe the so-called Majorana particle is the Dirac equation with a real Lorentz scalar potential plus the so-called Majorana condition. Certainly, depending on the representation that one uses, the resulting dierential equation changes. It could be a real or a complex system of coupled equations, or it could even be a single complex equation for a single component of the entire wave function. Any of these equations or sys- tems of equations could be referred to as a Majorana equation or Majorana system of equations because it can be used to describe the Majorana particle. For example, in the Weyl representation, in (3+1) dimensions, we can have two non-equivalent explicitly covariant complex rst-order equations; in contrast, in (1+1) dimensions, we have a complex system of coupled equations. In any case, whichever equation or system of equations is used, the wave function that describes the Majorana particle in (3+1) or (1+1) dimensions is determined by four or two real quantities. The aim of this paper is to study and discuss all these issues from an algebraic point of view, highlighting the similarities and dierences that arise between these equations in the cases of (3+1) and (1+1) dimensions in the Dirac, Weyl, and Majorana represen- tations.
    [Show full text]
  • Relativistic Quantum Mechanics 1
    Relativistic Quantum Mechanics 1 The aim of this chapter is to introduce a relativistic formalism which can be used to describe particles and their interactions. The emphasis 1.1 SpecialRelativity 1 is given to those elements of the formalism which can be carried on 1.2 One-particle states 7 to Relativistic Quantum Fields (RQF), which underpins the theoretical 1.3 The Klein–Gordon equation 9 framework of high energy particle physics. We begin with a brief summary of special relativity, concentrating on 1.4 The Diracequation 14 4-vectors and spinors. One-particle states and their Lorentz transforma- 1.5 Gaugesymmetry 30 tions follow, leading to the Klein–Gordon and the Dirac equations for Chaptersummary 36 probability amplitudes; i.e. Relativistic Quantum Mechanics (RQM). Readers who want to get to RQM quickly, without studying its foun- dation in special relativity can skip the first sections and start reading from the section 1.3. Intrinsic problems of RQM are discussed and a region of applicability of RQM is defined. Free particle wave functions are constructed and particle interactions are described using their probability currents. A gauge symmetry is introduced to derive a particle interaction with a classical gauge field. 1.1 Special Relativity Einstein’s special relativity is a necessary and fundamental part of any Albert Einstein 1879 - 1955 formalism of particle physics. We begin with its brief summary. For a full account, refer to specialized books, for example (1) or (2). The- ory oriented students with good mathematical background might want to consult books on groups and their representations, for example (3), followed by introductory books on RQM/RQF, for example (4).
    [Show full text]
  • Charge Conjugation Symmetry
    Charge Conjugation Symmetry In the previous set of notes we followed Dirac's original construction of positrons as holes in the electron's Dirac sea. But the modern point of view is rather different: The Dirac sea is experimentally undetectable | it's simply one of the aspects of the physical ? vacuum state | and the electrons and the positrons are simply two related particle species. Moreover, the electrons and the positrons have exactly the same mass but opposite electric charges. Many other particle species exist in similar particle-antiparticle pairs. The particle and the corresponding antiparticle have exactly the same mass but opposite electric charges, as well as other conserved charges such as the lepton number or the baryon number. Moreover, the strong and the electromagnetic interactions | but not the weak interactions | respect the change conjugation symmetry which turns particles into antiparticles and vice verse, C^ jparticle(p; s)i = jantiparticle(p; s)i ; C^ jantiparticle(p; s)i = jparticle(p; s)i ; (1) − + + − for example C^ e (p; s) = e (p; s) and C^ e (p; s) = e (p; s) . In light of this sym- metry, deciding which particle species is particle and which is antiparticle is a matter of convention. For example, we know that the charged pions π+ and π− are each other's an- tiparticles, but it's up to our choice whether we call the π+ mesons particles and the π− mesons antiparticles or the other way around. In the Hilbert space of the quantum field theory, the charge conjugation operator C^ is a unitary operator which squares to 1, thus C^ 2 = 1 =) C^ y = C^ −1 = C^:; (2) ? In condensed matter | say, in a piece of semiconductor | we may detect the filled electron states by making them interact with the outside world.
    [Show full text]