DOCSLIB.ORG

Jacobian for N-Dimensional Spherical Coordinates in This Article We Will

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Jacobian for N-Dimensional Spherical Coordinates in This Article We Will Jacobian for n-Dimensional Spherical Coordinates In this article we will derive the general formula for the Jacobian of the transformation from the Cartesian coordinates to the spherical coordinates in n dimensions without the use of determinants. In general, the equation for the sphere of radius R in integer n dimensions is 2 2 2 2 x1 + x2 + ::: + xn = R (1) where x1; x2; : : : ; xn are Cartesian coordinates. The n-dimesnsional sphere is often called n-hypersphere. For n = 2 we have just the equation of a circle, and for n = 3 the equation of a three-dimensional sphere. To compute the area of a circle or the volume of a three-dimensional sphere it is convenient to carry out the appropriate integrations in azimuthal and spherical coordinates, respectively. The computation of the volume of the n-dimensional sphere would require integration in n-dimensional spherical coordinates. The deriva- tion of the transformation from the Cartesian coordinates x1; x2; : : : ; xn to the n-dimensional spherical coordinates r; θ; φ1; : : : φn−2 has been presented in [1]. For example the transformation for five dimensions is given by equa- tions (19) and for n dimensions is 1 : x1 = r cos φ1 2 : x2 = r sin φ1 cos φ2 3 : x3 = r sin φ1 sin φ2 cos φ3 ::: i : xi = r sin φ1 sin φ2 ::: sin φi−1 cos φi (2) ::: n − 2 : xn−2 = r sin φ1 sin φ2 ::: sin φn−3 cos φn−2 n − 1 : xn−1 = r sin φ1 sin φ2 ::: sin φn−2 cos θ n : xn = r sin φ1 sin φ2 ::: sin φn−2 sin θ where 0 ≤ φi ≤ π; i = 1; : : : ; n − 2 and 0 ≤ θ ≤ 2π. The n-dimensional spherical coordinates are created in such way that they are orthogonal what means that the scalar product of their any two basis vectors, which are ^ ^ ^ sometimes called versors, ir; iθ; iφi for i = 1; 2; : : : ; n − 2 is equal zero. The n-dimensional Cartesian coordinates are also orthogonal. 1 The transformation from one set of coordinates to another one involves the change of the infinitesimally small volume element. In Cartesian coordi- nates the volume element is simply (x1;x2;:::;xn) dV = dx1dx1 : : : dxn (3) and the change from the Cartesian to the spherical coordinates involves the Jacobian J(r; θ; φ1; φ2; : : : ; φn−2) of the transformation, so we must write the formula for the volume element in the n-dimensional spherical coordinates as (r,θ,φ1,φ2,...,φn−2) dV = J(r; θ; φ1; φ2; : : : ; φn−2)drdθdφ1dφ2 : : : dφn−2 (4) The Jacobian is a determinant of the n by n matrix of partial derivatives 0 @x1 @x1 @x1 ··· @x1 1 @r @θ @φ1 @φn−2 B @x2 @x2 @x2 ··· @x2 C B @r @θ @φ1 @φn−2 C B . C (5) B . .. C @ . A @xn @xn @xn ··· @xn @r @θ @φ1 @φn−2 For how Jacobian determinant emerges in the transformation of variables we will point the reader to [2]. We will analyze the Jacobians of transformations from the Cartesian to the spherical coordinates for dimensions n = 1; 2; 3; 4; 5 without actually computing any determinants, and we will develop the general formula for the Jacobian of the transformation of coordinates for any dimension n > 2. Computing the Jacobian determinants even for a three-dimensional spherical coordinates transformation is cumbersome. We will employ another method which is based on the definition of the angle measure in radians and on the orthogonality of the spherical coordinates. The radian measure dα of a central angle of a circle is defined as the ratio of the length dlα of the arc the angle subtends divided by the radius r of the circle dl dα = α (6) r We may express the value of the volume element dV (r;θ,φ1,φ2,...,φn−2) as (r,θ,φ1,φ2,...,φn−2) dV = drdlθdlφ1 dlφ2 : : : dlφn−2 (7) 2 ^ ^ ^ by virtue of orthogonality of the versors ir; iθ; iφi for i = 1; 2; : : : ; n − 2 along the radius r and tangent to the coordinate lines θ; φi for i = 1; 2; : : : ; n − 2, respectively at the point (r; θ; φ1; : : : ; φn−2). The versors for threedimesional ^ ^ ^ spherical coordinates which are denoted in this article by ir; iθ; iφ1 are illus- trated in [3]. θ is azimuthal angle coordinate, and φi is called i-th polar angle coordinate. For n = 1 1 : x1 = r (8) we just make a variable substitution and dV (r) = J(r)dr = dr (9) what gives J1 = J(r) = 1. For n = 2 we add azimuthal angle θ as the second coordinate 1 : x = r cos θ 1 (10) 2 : x2 = r sin θ and we have for θ : dθ = dlθ=r (11) The volume element for n = 2 is (r,θ) dV = J(r; θ)drdθ = drdlθ = rdrdθ (12) and J2 = J(r; θ) = r. For n = 3 we need to add to the coordinates the polar angle φ1 1 : x1 = r cos φ1 2 : x2 = r sin φ1 cos θ (13) 3 : x3 = r sin φ1 sin θ and we have for φ : dφ = dl =r 1 1 φ1 (14) θ : dθ = dlθ=(r sin φ1) 3 We come to the above formulas just by taking into account that the angle dφ1 subtends the arc of length dlφ1 of the radius r, and that the angle dθ subtends the arc of length dlθ of the radius r sin φ1. The volume element in 3 dimensions is (r,θ,φ1) 2 dV = J(r; θ; φ1)drdθdφ1 = drdlθdlφ1 = r sin φ1drdθdφ1 (15) 2 and the Jacobian J3 = J(r; θ; φ1) = r sin φ1. For n = 4 we add to the coordinates the polar angle φ2 1 : x1 = r cos φ1 2 : x = r sin φ cos φ 2 1 2 (16) 3 : x3 = r sin φ1 sin φ2 cos θ 4 : x4 = r sin φ1 sin φ2 sin θ and it gives for φ1 : dφ1 = dlφ1 =r φ2 : dφ2 = dlφ2 =(r sin φ1) (17) θ : dθ = dlθ=(r sin φ1 sin φ2) Now the situation is that the angle dφ1 subtends the arc of length dlφ1 of the radius r as before, the angle dφ2 subtends the arc of length dlφ2 of the radius r sin φ1, which is the new radius as given in (16) in the formula for x2, and that the angle dθ subtends the arc of length dlθ of the radius r sin φ1 sin φ2 also by analogy to the situation for 3 dimensions. In other words we develop the above relations as a consequence of the definition of the spherical coordinates in 3 dimensions in equations (13) and by following the relations in (14). The volume element in 4 dimensions is (r,θ,φ1,φ2) dV = J(r; θ; φ1; φ2)drdθdφ1dφ2 = drdlθdlφ1 dlφ2 (18) 3 2 = r sin φ1 sin φ2drdθdφ1dφ2 3 2 and the Jacobian J4 = J(r; θ; φ1; φ2) = r sin φ1 sin φ2. For n = 5 we have 1 : x1 = r cos φ1 2 : x2 = r sin φ1 cos φ2 3 : x3 = r sin φ1 sin φ2 cos φ3 (19) 4 : x4 = r sin φ1 sin φ2 sin φ3 cos θ 5 : x5 = r sin φ1 sin φ2 sin φ3 sin θ 4 and for φ1 : dφ1 = dlφ1 =r φ : dφ = dl =(r sin φ ) 2 2 φ2 1 (20) φ3 : dφ3 = dlφ3 =(r sin φ1 sin φ2) θ : dθ = dlθ=(r sin φ1 sin φ2 sin φ3) This gives the volume element for 5 dimensions (r,θ,φ1,φ2,φ3) dV = J(r; θ; φ1; φ2; φ3)drdθdφ1dφ2dφ3 = drdlθdlφ1 dlφ2 dlφ3 (21) 4 3 2 = r sin φ1 sin φ2 sin φ3drdθdφ1dφ2dφ3 4 3 2 and the Jacobian J5 = J(r; θ; φ1; φ2; φ3) = r sin φ1 sin φ2 sin φ3. We notice that our Jacobian for 5 dimensions is just the product of the denominators from the equations (20). The pattern for the Jacobian of the transformation from n Cartesian co- ordinate system to the system of n-dimensional spherical coordinates clearly reveals itself. For n > 2 n−2 n−1 Y n−1−k Jn = J(r; θ; φ1; φ2; : : : ; φn−2) = r sin φk (22) k=1 The Jacobian we derived may be used in computing the volume Vn(c) or the surface Sn(r) of a n-dimensional sphere of radius c or r, respectively. Z c Z 2π Z π Z π Z π Vn(c) = ··· Jn drdθdφ1dφ2 : : : dφn−2 (23) r=0 θ=0 φ1=0 φ2=0 φn−2=0 Z c Z 2π n−2 Z π n−1 Y n−1−k = r dr dθ sin φk dφk r=0 θ=0 k=1 φk=0 Z 2π Z π Z π Z π Sn(r) = ··· Jn dθdφ1dφ2 : : : dφn−2 (24) θ=0 φ1=0 φ2=0 φn−2=0 Z 2π n−2 Z π n−1 Y n−1−k = r dθ sin φk dφk θ=0 k=1 φk=0 The further computation is an exercise in applying the formula for the inte- gral of the type ! Z π=2 1 1 1 sinn x cosm dx = B (n + 1); (m + 1) (25) 0 2 2 2 5 where B is the Beta function, which is defined in [4] and [5] to compute the integral of powers of sine, and then the application of the Euler gamma function Γ which is described in [4], [6] and [7] and which is related to the function Beta Γ(x)Γ(y) B(x; y) = (26) Γ(x + y) Properties of Euler Gamma function used in this article are presented also in [8].
Load more

Recommended publications
  • 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).
    [Show full text]
  • 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]