General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert Action

Total Page:16

File Type:pdf, Size:1020Kb

General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert Action General Relativity Fall 2018 Lecture 10: Integration, Einstein-Hilbert action Yacine Ali-Ha¨ımoud (Dated: October 3, 2018) σ σ HW comment: T µν antisym in µν does NOT imply that Tµν is antisym in µν. Volume element { Consider a LICS with primed coordinates. The 4-volume element is dV = d4x0 = 0 0 0 0 dx0 dx1 dx2 dx3 . If we change coordinates, we have 0 ! @xµ d4x0 = det d4x: (1) µ @x Now, the metric components change as 0 0 0 0 @xµ @xν @xµ @xν g = g 0 0 = η 0 0 ; (2) µν @xµ @xν µ ν @xµ @xν µ ν since the metric components are ηµ0ν0 in the LICS. Seing this as a matrix operation and taking the determinant, we find 0 !2 @xµ det(g ) = − det : (3) µν @xµ Hence, we find that the 4-volume element is q 4 p 4 p 4 dV = − det(gµν )d x ≡ −g d x ≡ jgj d x: (4) The integral of a scalar function f is well defined: given any coordinate system (even if only defined locally): Z Z f dV = f pjgj d4x: (5) We can only define the integral of a scalar function. The integral of a vector or tensor field is mean- ingless in curved spacetime. Think of the integral as a sum. To sum vectors, you need them to belong to the same vector space. There is no common vector space in curved spacetime. Only in flat spacetime can we define such integrals. First parallel-transport the vector field to a single point of spacetime (it doesn't matter which one). This operation is independent of the path in flat spacetime, hence well defined. Then sum these components to perform the integral. Covariant divergence{ The covariant divergence of a vector field is µ µ µ ν rµV = @µV + Γµν V : (6) The contracted Christoffel symbol is 1 1 1 Γµ = gµλ (@ g + @ g − @ g ) = gµλ@ g + gµλ@ g = gµλ@ g : (7) µν 2 ν µλ µ νλ λ µν 2 ν µλ [λ µ]ν 2 ν µλ Let us now recall that the determinant and inverse of a matrix (here, the metric gµν ) can be expressed in terms of the comatrix Cµν , which is the matrix made of the determinants of the (n − 1) × (n − 1) submatrices obtained by deleting row µ and column ν (and then multiplying by (−1)µ+ν)): X g ≡ det(gµν ) = gµν Cµν ; for any fixed ν (not summed over!); (8) µ 1 gµν = C ; (9) g µν 2 Therefore, we get p @ν jgj 1 1 @g 1 1 1 µλ µ p = @ν gµλ = Cµλ@ν gµλ = g @ν gµλ = Γµν : (10) jgj 2 g @gµλ 2 g 2 So, we find p µ µ @ν jgj ν 1 p µ rµV = @µV + V = @µ( jgjV ): (11) pjgj pjgj µ Stokes' theorem { First consider a 4-volume V covered by a single coordinate system. Since rµV is a scalar field, we may compute its integral over V: Z Z p µ Z µ @µ( jgjV ) p 4 p µ 4 rµV dV = p jgjd x = @µ( jgjV )d x: (12) V V jgj V This is just a normal integral in a volume of R4, for which we can use Stokes' theorem. We denote by @V the boundary of V. We denote by nµ the vector normal to the surface, with squared norm ±1, pointing outwards if it is spacelike, and inwards if it is timelike. You can check that this is is required to get back Stokes' theorem { to convince yourself, use coordinates in which the normal to the surface is a coordinate basis vector @(µ) and use the usual Stokes theorem. By definition, this vector is orthogonal to the vectors spanning the tangent space of @V, so the metric can be (3) (3) µ (3) rewritten as gµν = ±nµnν + gµν , where gµν n = 0: g is the induced metric on the 3-dimensional manifold @V. We (3) (3) then have det(gµν ) = ± det(gµν ), i.e. jgj = jg j. We then get Z Z Z q µ p µ 3 µ (3) 3 rµV dV = nµ jgjV d x = nµV jg jd x: (13) V @V @V We recognize the last two factors as the frame-invariant volume element on the boundary. This last integral is therefore all coordinate-independent, as it should. Now, if we need to use multiple charts to cover V, we can subdivide it into sub-volumes each with a single coordi- nate system, and apply Stoke's theorem there. The integrals on interior surfaces cancel out, and we are left with the boundary of the full volume. Action formulation of general relativity { The Einstein field equation Gµν = 8πTµν (from now we use geometric units where G = c = 1) can be derived from an action principle. We want to build an overall action of the form Z Z 4 p 4 p S = Sgravity + SM ≡ d x jgjLgravity + d x jgjLM ; (14) where SM is the matter action, and Sgravity only involves the metric tensor, and L are the corresponding frame- invariant Lagrangian densities. The most natural scalar function of curvature that comes to mind is the Ricci scalar, so we may anticipate that Lgravity / R. The idea then, is to recover the Eintein field equation by extremizing the action with respect to variations in the metric tensor and in the matter fields (whatever they are). To compute these variations, pick a coordinate system. We want to compute the variation of the action upon variation of the metric field by δgµν : p ! p p p p δ( jgj) p 1 µν δ( −gR) = Rδ( jgj) + jgj δR = jgj R + δR = jgj g δgµν + δR pjgj 2 1 = pjgj − Rg δgµν R + δR ; (15) 2 µν µν µν µν where we used δ(gµν g ) = 0 = gµν δg + g δgµν . Now we have µν µν µν R = g Rµν ) δR = Rµν δg + g δRµν : (16) This implies p p µν µν δ( −gR) = jgj (Gµν δg + g δRµν ) : (17) 3 Let us now compute the variation of the Riemann tensor under variation of the metric. To do so, recall that the Riemann tensor is defined in terms of the commutator of the metric-compatible covariant derivative, λ σ λ λ R σµν V ≡ rµrν V − rν rµV : (18) Let us denote by r~ the unique metric-compatible (and torsion-free) covariant derivative associated with gµν + δgµν , we then have λ σ ~ ~ λ λ δR σµν V = rµrν V − rµrν V − (µ $ ν): (19) ~λ ~ We denote by Γµν the associated Christoffel symbols, and δΓ = Γ − Γ the difference relative to those associated with gµν . We then have, for any vector, ~ λ λ λ σ rν V = rν V + δΓνσV ; (20) where the partial derivatives cancel out. Because the left-hand side is a tensor and so is V σ, we conclude that δΓ is a rank (1; 2) tensor (even if each coefficient individually is not!), symmetric in its lower two indices. Similarly, we have for any rank (1, 1) tensor, ~ λ λ λ σ σ λ rµX ν = rµX ν + δΓ µσX ν − δΓµν X σ (21) We then have λ σ ~ λ λ ~ λ σ δR σµν V = rµrν V − rµrν V + rµ(δΓνσV ) − (µ $ ν) λ σ σ λ λ σ 2 = δΓ µσrν V − δΓµν rσV + rµ(δΓνσV ) + O(δΓ ) − (µ $ ν) λ σ σ λ λ σ λ σ 2 = δΓ µσrν V − δΓµν rσV + rµ(δΓνσ)V + δΓνσrµV + O(δΓ ) − (µ $ ν) (22) The second term is symmetric in (µ, nu) so cancels upon antisymmetrization. The sum of the first and fourth terms is also symmetric in (µ, ν), and cancels. We are then left with λ λ λ δR σµν = rµ(δΓ νσ) − rν (δΓ µσ): (23) This implies that λ λ λ δRσν = δR σλν = rλ(δΓ νσ) − rν (δΓ λσ); (24) and so σν σν λ σν λ σν µ σµ λ g δRσν = rλ(g δΓ νσ) − rν (g δΓ λσ) = rµ g δΓ νσ − g δΓ λσ : (25) Hence, we find that, upon small variations of the metric, we have Z Z Z Z 4 p 4 p µν 4 p σν µ σµ λ 4 p µν δ d x jgjR = d x jgjGµν δg + d x jgjrµ g δΓ νσ − g δΓ λσ = d x jgjGµν δg ; (26) since the last term is a total divergence and hence integrgates to zero provided metric perturbations (and their partial derivatives) vanish \at infinity". The convention is to define the Einstein-Hilbert action with a prefactor of 1/(16π): 1 Z S = d4xpjgjR + S ; (27) 16π M and to define the stress-energy tensor of matter as 2 δSM Tµν = − (28) pjgj δgµν By varying the total action with respect to the metric tensor, we see that we recover the Einstein Field Equation Gµν = 8πTµν . See e.g. Carroll for a couple of worked out examples (scalar field, electromagnetic field)..
Recommended publications
  • Vector Calculus and Multiple Integrals Rob Fender, HT 2018
    Vector Calculus and Multiple Integrals Rob Fender, HT 2018 COURSE SYNOPSIS, RECOMMENDED BOOKS Course syllabus (on which exams are based): Double integrals and their evaluation by repeated integration in Cartesian, plane polar and other specified coordinate systems. Jacobians. Line, surface and volume integrals, evaluation by change of variables (Cartesian, plane polar, spherical polar coordinates and cylindrical coordinates only unless the transformation to be used is specified). Integrals around closed curves and exact differentials. Scalar and vector fields. The operations of grad, div and curl and understanding and use of identities involving these. The statements of the theorems of Gauss and Stokes with simple applications. Conservative fields. Recommended Books: Mathematical Methods for Physics and Engineering (Riley, Hobson and Bence) This book is lazily referred to as “Riley” throughout these notes (sorry, Drs H and B) You will all have this book, and it covers all of the maths of this course. However it is rather terse at times and you will benefit from looking at one or both of these: Introduction to Electrodynamics (Griffiths) You will buy this next year if you haven’t already, and the chapter on vector calculus is very clear Div grad curl and all that (Schey) A nice discussion of the subject, although topics are ordered differently to most courses NB: the latest version of this book uses the opposite convention to polar coordinates to this course (and indeed most of physics), but older versions can often be found in libraries 1 Week One A review of vectors, rotation of coordinate systems, vector vs scalar fields, integrals in more than one variable, first steps in vector differentiation, the Frenet-Serret coordinate system Lecture 1 Vectors A vector has direction and magnitude and is written in these notes in bold e.g.
    [Show full text]
  • Mathematical Theorems
    Appendix A Mathematical Theorems The mathematical theorems needed in order to derive the governing model equations are defined in this appendix. A.1 Transport Theorem for a Single Phase Region The transport theorem is employed deriving the conservation equations in continuum mechanics. The mathematical statement is sometimes attributed to, or named in honor of, the German Mathematician Gottfried Wilhelm Leibnitz (1646–1716) and the British fluid dynamics engineer Osborne Reynolds (1842–1912) due to their work and con- tributions related to the theorem. Hence it follows that the transport theorem, or alternate forms of the theorem, may be named the Leibnitz theorem in mathematics and Reynolds transport theorem in mechanics. In a customary interpretation the Reynolds transport theorem provides the link between the system and control volume representations, while the Leibnitz’s theorem is a three dimensional version of the integral rule for differentiation of an integral. There are several notations used for the transport theorem and there are numerous forms and corollaries. A.1.1 Leibnitz’s Rule The Leibnitz’s integral rule gives a formula for differentiation of an integral whose limits are functions of the differential variable [7, 8, 22, 23, 45, 55, 79, 94, 99]. The formula is also known as differentiation under the integral sign. H. A. Jakobsen, Chemical Reactor Modeling, DOI: 10.1007/978-3-319-05092-8, 1361 © Springer International Publishing Switzerland 2014 1362 Appendix A: Mathematical Theorems b(t) b(t) d ∂f (t, x) db da f (t, x) dx = dx + f (t, b) − f (t, a) (A.1) dt ∂t dt dt a(t) a(t) The first term on the RHS gives the change in the integral because the function itself is changing with time, the second term accounts for the gain in area as the upper limit is moved in the positive axis direction, and the third term accounts for the loss in area as the lower limit is moved.
    [Show full text]
  • Applications of the Hodge Decomposition to Biological Structure and Function Modeling
    Applications of the Hodge Decomposition to Biological Structure and Function Modeling Andrew Gillette joint work with Chandrajit Bajaj and John Luecke Department of Mathematics, Institute of Computational Engineering and Sciences University of Texas at Austin, Austin, Texas 78712, USA http://www.math.utexas.edu/users/agillette university-logo Computational Visualization Center , I C E S ( DepartmentThe University of Mathematics, of Texas atInstitute Austin of Computational EngineeringDec2008 and Sciences 1/32 University Introduction Molecular dynamics are governed by electrostatic forces of attraction and repulsion. These forces are described as the solutions of a PDE over the molecular surfaces. Molecular surfaces may have complicated topological features affecting the solution. The Hodge Decomposition relates topological properties of the surface to solution spaces of PDEs over the surface. ∼ (space of forms) = (solutions to ∆u = f 6≡ 0) ⊕ (non-trivial deRham classes)university-logo Computational Visualization Center , I C E S ( DepartmentThe University of Mathematics, of Texas atInstitute Austin of Computational EngineeringDec2008 and Sciences 2/32 University Outline 1 The Hodge Decomposition for smooth differential forms 2 The Hodge Decomposition for discrete differential forms 3 Applications of the Hodge Decomposition to biological modeling university-logo Computational Visualization Center , I C E S ( DepartmentThe University of Mathematics, of Texas atInstitute Austin of Computational EngineeringDec2008 and Sciences 3/32 University Outline 1 The Hodge Decomposition for smooth differential forms 2 The Hodge Decomposition for discrete differential forms 3 Applications of the Hodge Decomposition to biological modeling university-logo Computational Visualization Center , I C E S ( DepartmentThe University of Mathematics, of Texas atInstitute Austin of Computational EngineeringDec2008 and Sciences 4/32 University Differential Forms Let Ω denote a smooth n-manifold and Tx (Ω) the tangent space of Ω at x.
    [Show full text]
  • Vector Calculus Operators
    Vector Calculus Operators July 6, 2015 1 Div, Grad and Curl The divergence of a vector quantity in Cartesian coordinates is defined by: −! @ @ @ r · ≡ x + y + z (1) @x @y @z −! where = ( x; y; z). The divergence of a vector quantity is a scalar quantity. If the divergence is greater than zero, it implies a net flux out of a volume element. If the divergence is less than zero, it implies a net flux into a volume element. If the divergence is exactly equal to zero, then there is no net flux into or out of the volume element, i.e., any field lines that enter the volume element also exit the volume element. The divergence of the electric field and the divergence of the magnetic field are two of Maxwell's equations. The gradient of a scalar quantity in Cartesian coordinates is defined by: @ @ @ r (x; y; z) ≡ ^{ + |^ + k^ (2) @x @y @z where ^{ is the unit vector in the x-direction,| ^ is the unit vector in the y-direction, and k^ is the unit vector in the z-direction. Evaluating the gradient indicates the direction in which the function is changing the most rapidly (i.e., slope). If the gradient of a function is zero, the function is not changing. The curl of a vector function in Cartesian coordinates is given by: 1 −! @ @ @ @ @ @ r × ≡ ( z − y )^{ + ( x − z )^| + ( y − x )k^ (3) @y @z @z @x @x @y where the resulting function is another vector function that indicates the circulation of the original function, with unit vectors pointing orthogonal to the plane of the circulation components.
    [Show full text]
  • A New Definition of the Representative Volument Element in Numerical
    UNIVERSITE´ DE MONTREAL´ A NEW DEFINITION OF THE REPRESENTATIVE VOLUMENT ELEMENT IN NUMERICAL HOMOGENIZATION PROBLEMS AND ITS APPLICATION TO THE PERFORMANCE EVALUATION OF ANALYTICAL HOMOGENIZATION MODELS HADI MOUSSADDY DEPARTEMENT´ DE GENIE´ MECANIQUE´ ECOLE´ POLYTECHNIQUE DE MONTREAL´ THESE` PRESENT´ EE´ EN VUE DE L'OBTENTION DU DIPLOME^ DE PHILOSOPHIÆ DOCTOR (GENIE´ MECANIQUE)´ AVRIL 2013 © Hadi Moussaddy, 2013. UNIVERSITE´ DE MONTREAL´ ECOLE´ POLYTECHNIQUE DE MONTREAL´ Cette th`eseintitul´ee : A NEW DEFINITION OF THE REPRESENTATIVE VOLUMENT ELEMENT IN NUMERICAL HOMOGENIZATION PROBLEMS AND ITS APPLICATION TO THE PERFORMANCE EVALUATION OF ANALYTICAL HOMOGENIZATION MODELS pr´esent´ee par : MOUSSADDY Hadi en vue de l'obtention du dipl^ome de : Philosophiæ Doctor a ´et´ed^ument accept´eepar le jury d'examen constitu´ede : M. GOSSELIN Fr´ed´eric, Ph.D., pr´esident M. THERRIAULT Daniel, Ph.D., membre et directeur de recherche M. LE´VESQUE Martin, Ph.D., membre et codirecteur de recherche M. LESSARD Larry, Ph.D., membre M. BOHM¨ Helmut J., Techn. Doct., membre iii To my parents Safwan and Aisha To my wife Nour To my whole family... iv ACKNOWLEDGEMENTS I would like to thank Pr. Daniel Therriault and Pr. Martin L´evesque for their guidance throughout this project. Your insightful criticism guided me to complete a rigorous work, while gaining scientific maturity. Also, I want to thank Pr. B¨ohm, Pr. Lessard and Pr. Henry for being my committee members and Pr. Gosselin for being the Jury president. I owe special gratitude to the members of Laboratory for Multiscale Mechanics (LM2) research group. I would like to paricularly acknowledge the contributions of Maryam Pah- lavanPour by conducting parts of the analytical modeling included in this thesis, and for numerous fruitful dicussions all along this project.
    [Show full text]
  • Electric Flux Density, Gauss's Law, and Divergence
    www.getmyuni.com CHAPTER3 ELECTRIC FLUX DENSITY, GAUSS'S LAW, AND DIVERGENCE After drawinga few of the fields described in the previous chapter and becoming familiar with the concept of the streamlines which show the direction of the force on a test charge at every point, it is difficult to avoid giving these lines a physical significance and thinking of them as flux lines. No physical particle is projected radially outward from the point charge, and there are no steel tentacles reaching out to attract or repel an unwary test charge, but as soon as the streamlines are drawn on paper there seems to be a picture showing``something''is present. It is very helpful to invent an electric flux which streams away symmetri- cally from a point charge and is coincident with the streamlines and to visualize this flux wherever an electric field is present. This chapter introduces and uses the concept of electric flux and electric flux density to solve again several of the problems presented in the last chapter. The work here turns out to be much easier, and this is due to the extremely symmetrical problems which we are solving. www.getmyuni.com 3.1 ELECTRIC FLUX DENSITY About 1837 the Director of the Royal Society in London, Michael Faraday, became very interested in static electric fields and the effect of various insulating materials on these fields. This problem had been botheringhim duringthe past ten years when he was experimentingin his now famous work on induced elec- tromotive force, which we shall discuss in Chap. 10.
    [Show full text]
  • Volume of Hypersphere
    Volume of a Hypersphere⎯C.E. Mungan, Spring 2010 Problem: Find the volume Vn of an n-dimensional hypersphere of radius R. The three lowest values of n are well known. In one dimension, we have a line segment extending a distance R in each direction, so that its length is V1 = 2R . The case of n = 2 corresponds to a circle, whose 2 3 area is V2 = ! R . Finally, n = 3 corresponds to a sphere of volume V3 = 4! R / 3. Derive a compact formula for the general case. n Method #1: (Courtesy of Bob Sciamanda.) We can write the answer as Vn (R) = R !n , where !n " Vn (1) is the volume of a hypersphere of unit radius, since R is the only quantity in the problem with dimensions of length. The volume of any closed solid is z f V3 = ! A(z)dz (1) zi where A(z) is the cross-sectional area of a slab of thickness dz cut through the solid like a loaf of bread, and we integrate from zi to z f along any arbitrary axis z. It is convenient to choose z = Rcos! to be the polar axis, where we integrate upward from !i = " to ! f = 0 , and where the area of a slice through the sphere is V2 (r) with r = Rsin! . Making these substitutions in Eq. (1) gives " 3 3 V3(R) = R V2 (1)# sin ! d! . (2) 0 The reader is invited to perform this integral (by using the identity sin2 ! = 1" cos2 ! ) and check that it correctly gives 4/3, as implied in the problem statement above.
    [Show full text]
  • Sep 17: Volume Element, Differences Between Connection and Tensor, Parallel Transport
    Sep 17: Volume Element, Differences between Connection and Tensor, Parallel Transport September 21, 2018 1 1 Volume We can write: dnx ! dx0 ^ :: ^ dxn−1 (1) So that the volume element can be defined as: p dV = −gdnx = dV 0 = p−g0dnx0 (2) p Above, the −g takes the "role" of the ^'s in (1). We define the volume element as an n-form by 1 0 = dxµ1 ⊗ ::: ⊗ dxµn = ~ dxµ ^ ::: ^ dxµn (3) µ1...µn n! µ1...µn Where above the ⊗ means tensor product. We provide a proof of how the dV changes to dV', but it uses the fact that: µ µ µ @x µ0 µ0 dx 1 ^ ::: ^ dx n = dx 1 ^ :: ^ dx n (4) @xn0 and the fact that, p @xµ −g = p−g0 (5) @xn0 2 Curvature It is important to note that the Christoffel symbol Γ is NOT a tensor, for the simple reason that it does not transform like a tensor. Only special combinations of the Christoffel Symbols yield a tensor object. So we call the Christoffel symbols connections. ν ν ν σ Theorem if 9 Cµσ such that @µV + CµσV transforms as a tensor (i.e. ν ν rµV ) then Cµσ is a connection. To make this clear, a tensor transforms like: µ ν 0 µ σ 2 ν 0 ν0 @x @x ν @x @x @ x σ0 @ 0 V = @ V + V (6) µ @xµ0 @xν µ @xµ0 @xσ0 @xν @xσ but a connection transforms like this: ν 0 µ σ 2 ν 0 µ σ ν0 @x @x @x ν d x @x @x C 0 0 = C + (7) µ σ @xν @xµ0 @xσ0 µσ @xµ@xσ @xµ0 @xσ0 which shows these objects transform in different ways.
    [Show full text]
  • Oxford Physics Department Notes on General Relativity Steven Balbus
    Oxford Physics Department Notes on General Relativity Steven Balbus Version: October 28, 2016 1 These notes are designed for classroom use. There is little here that is original, but a few results are. If you would like to quote from these notes and are unable to find an original literature reference, please contact me by email first. Thank you in advance for your cooperation. Steven Balbus 2 Recommended Texts Hobson, M. P., Efstathiou, G., and Lasenby, A. N. 2006, General Relativity: An Introduction for Physicists, (Cambridge: Cambridge University Press) Referenced as HEL06. A very clear, very well-blended book, admirably covering the mathematics, physics, and astrophysics of GR. Excellent presentation of black holes and gravitational radiation. The explanation of the geodesic equation and the affine connection is very clear and enlightening. Not so much on cosmology, though a nice introduction to the physics of inflation. Overall, my favourite text on this topic. (The metric has a different sign convention in HEL06 compared with Weinberg 1972 & MTW [see below], as well as these notes. Be careful.) Weinberg, S. 1972, Gravitation and Cosmology. Principles and applications of the General Theory of Relativity, (New York: John Wiley) Referenced as W72. What is now the classic reference by the great man, but lacking any discussion whatsoever of black holes, and almost nothing on the geometrical interpretation of the equations. The author is explicit in his aversion to anything geometrical: gravity is a field theory with a mere geometrical \analogy" according to Weinberg. But there is no way to make sense of the equations, in any profound sense, without immersing onself in geometry.
    [Show full text]
  • PHY103A: Lecture # 3 (Text Book: Intro to Electrodynamics by Griffiths, 3Rd Ed.)
    Semester II, 2017-18 Department of Physics, IIT Kanpur PHY103A: Lecture # 3 (Text Book: Intro to Electrodynamics by Griffiths, 3rd Ed.) Anand Kumar Jha 08-Jan-2018 Notes • The first tutorial is tomorrow (Tuesday). • Updated lecture notes will be uploaded right after the class. • Office Hour – Friday 2:30-3:30 pm • Phone: 7014(Off); 962-142-3993(Mobile) [email protected]; [email protected] • Tutorial Sections have been finalized and put up on the webpage. • Course Webpage: http://home.iitk.ac.in/~akjha/PHY103.htm 2 3 Summary of Lecture # 2: 2 Gradient of a scalar 1 0 1 + + 2 ≡ � � � 3 3 2 1 0 1 2 3 Divergence of a vector 2 1 ⋅ = + + 0 ⋅ 1 Curl of a vector × 2 2 2 1 0 1 2 1 × = � � � 0 1 = + + 2 2 1 0 1 2 3 − � − � − � Integral Calculus: The ordinary integral that we know of is of the form: In vector calculus we encounter many other types of integrals. ∫ Line Integral: � ⋅ Vector field Infinitesimal Displacement vector Or Line element = + + If the path is a closed loop � then the� line �integral is written as • When do� we ⋅ need line integrals? Work done by a force along a given path involves line integral. 4 Example (G: Ex. 1.6) Q: = + ( + 1) ? What is the line integral from A to2 B along path (1) and (2)? � 2 � Along path (1) We have = + . (i) = ; =1; �= � = 1 (ii) = ; =2; = 4( 2 + 1) =10 � ∫ ⋅ ∫ 2 � ∫ ⋅ ∫1 Along path (2): = + ; = ; = = ( + 2 + ) =10 � � 2 2 2 ∫ ⋅ ∫1 2 =11-10=1 This means that if represented the force vector, ⋅ ∮ it would be a non-conservative force 5 Surface Integral: or � ⋅ � ⋅ Vector field Infinitesimal area vector Closed loop • For a closed surface, the area vector points outwards.
    [Show full text]
  • Berezin Integration Over Anticommuting Variables and Cyclic Cohomology
    Berezin integration over anticommuting variables and cyclic cohomology G. Grensing and M. Nitschmann Institut f˝ur Theoretische Physik und Astrophysik Universit˝at Kiel D-24118 Kiel, Germany January 2004 Abstract Berezin integration over fermionic degrees of freedom as a standard tool of quantum field theory is anal- ysed from the viewpoint of noncommutative geometry. It is shown that among the variety of contradictory integration prescriptions existing in the current literature, there is only one unique minimal set of consistent rules, which is compatible with Connes’ normalized cyclic cohomology of the Graßmann algebra. arXiv:hep-th/0401231v1 29 Jan 2004 Introduction That branch of mathematics in which a Z/2-grading plays dominant role is, somewhat emphatically, also called ‘supermathematics’. It is of fundamental importance in physics since it underlies the treatment of fermionic particles, and as such it is part of the standard repertoire in quantum field theory (see, e.g. [1, 2]). Of course, these tools get involved also in supersymmetric theories [3, 4], but for its justification there is no need to take recourse to supersymmetry since already for conventional theories containing fermions one must make use of what is known as the differential and integral calculus on a Graßmann algebra. After preparatory work of Schwinger [5, 6], Matthews & Salam [7] and others this calculus was created by the Russian mathematician Berezin [8] in the year 1966. Since then this theory has undergone revision, also by Berezin himself (see [9, 10]), and nowadays a variety of conflicting rules is given in the literature, e.g., some authors use anticommuting differentials for the Grassmann variables, whereas others use commuting ones, and the like.
    [Show full text]
  • 2 Basics of General Relativity 15
    2 BASICS OF GENERAL RELATIVITY 15 2 Basics of general relativity 2.1 Principles behind general relativity The theory of general relativity completed by Albert Einstein in 1915 (and nearly simultaneously by David Hilbert) is the current theory of gravity. General relativity replaced the previous theory of gravity, Newtonian gravity, which can be understood as a limit of general relativity in the case of isolated systems, slow motions and weak fields. General relativity has been extensively tested during the past century, and no deviations have been found, with the possible exception of the accelerated expansion of the universe, which is however usually explained by introducing new matter rather than changing the laws of gravity [1]. We will not go through the details of general relativity, but we try to give some rough idea of what the theory is like, and introduce a few concepts and definitions that we are going to need. The principle behind special relativity is that space and time together form four-dimensional spacetime. The essence of general relativity is that gravity is a manifestation of the curvature of spacetime. While in Newton's theory gravity acts directly as a force between two bodies1, in Einstein's theory the gravitational interac- tion is mediated by spacetime. In other words, gravity is an aspect of the geometry of spacetime. Matter curves spacetime, and this curvature affects the motion of other matter (as well as the motion of the matter generating the curvature). This can be summarised as the dictum \matter tells spacetime how to curve, spacetime tells matter how to move" [2].
    [Show full text]