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 x 1 + x +... + x n = R (1) where x 1, x,..., x n are Cartesian coordinates. The n-dimesnsional sphere is often called n-hypersphere. For n = 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 derivation of the transformation from the Cartesian coordinates x 1, x,..., x n to the n-dimensional spherical coordinates r, θ, φ 1,... φ n has been presented in [1]. For example the transformation for five dimensions is given by equations (19) and for n dimensions is 1 : x 1 = r cos φ 1 : x = r sin φ 1 cos φ 3 : x 3 = r sin φ 1 sin φ cos φ 3... i :... n : n 1 : n : x i = r sin φ 1 sin φ... sin φ i 1 cos φ i x n = r sin φ 1 sin φ... sin φ n 3 cos φ n x n 1 = r sin φ 1 sin φ... sin φ n cos θ x n = r sin φ 1 sin φ... sin φ n sin θ () where 0 φ i π, i = 1,..., n and 0 θ π. 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, î r, î θ, î φi for i = 1,,..., n 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 coordinates the volume element is simply dv (x 1,x,...,x n) = dx 1 dx 1... dx n (3) and the change from the Cartesian to the spherical coordinates involves the Jacobian J(r, θ, φ 1, φ,..., φ n ) of the transformation, so we must write the formula for the volume element in the n-dimensional spherical coordinates as dv (r,θ,φ 1,φ,...,φ n ) = J(r, θ, φ 1, φ,..., φ n )drdθdφ 1 dφ... dφ n (4) The Jacobian is a determinant of the n by n matrix of partial derivatives x 1 x 1 x 1 x r θ φ 1 1 φ n x x x x r θ φ 1 φ n...... (5). x n x n x n x r θ φ 1 n φ n For how Jacobian determinant emerges in the transformation of variables we will point the reader to []. We will analyze the Jacobians of transformations from the Cartesian to the spherical coordinates for dimensions n = 1,, 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 >. 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 dα = dl α r We may express the value of the volume element dv (r,θ,φ 1,φ,...,φ n ) as dv (r,θ,φ 1,φ,...,φ n ) = drdl θ dl φ1 dl φ... dl φn (7) (6)
by virtue of orthogonality of the versors î r, î θ, î φi for i = 1,,..., n along the radius r and tangent to the coordinate lines θ, φ i for i = 1,,..., n, respectively at the point (r, θ, φ 1,..., φ n ). The versors for threedimesional spherical coordinates which are denoted in this article by î r, î θ, î φ1 are illustrated in [3]. θ is azimuthal angle coordinate, and φ i is called i-th polar angle coordinate. For n = 1 1 : x 1 = r (8) we just make a variable substitution and dv (r) = J(r)dr = dr (9) what gives J 1 = J(r) = 1. For n = we add azimuthal angle θ as the second coordinate 1 : x 1 = r cos θ : x = r sin θ (10) and we have for θ : dθ = dl θ /r (11) The volume element for n = is dv (r,θ) = J(r, θ)drdθ = drdl θ = rdrdθ (1) and J = J(r, θ) = r. For n = 3 we need to add to the coordinates the polar angle φ 1 1 : x 1 = r cos φ 1 : x = r sin φ 1 cos θ 3 : x 3 = r sin φ 1 sin θ (13) and we have for φ 1 : dφ 1 = dl φ1 /r θ : dθ = dl θ /(r sin φ 1 ) (14) 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 dv (r,θ,φ 1) = J(r, θ, φ 1 )drdθdφ 1 = drdl θ dl φ1 = r sin φ 1 drdθdφ 1 (15) and the Jacobian J 3 = J(r, θ, φ 1 ) = r sin φ 1. For n = 4 we add to the coordinates the polar angle φ and it gives for 1 : x 1 = r cos φ 1 : x = r sin φ 1 cos φ 3 : x 3 = r sin φ 1 sin φ cos θ 4 : x 4 = r sin φ 1 sin φ sin θ φ 1 : dφ 1 = dl φ1 /r φ : dφ = dl φ /(r sin φ 1 ) θ : dθ = dl θ /(r sin φ 1 sin φ ) (16) (17) 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φ subtends the arc of length dl φ of the radius r sin φ 1, which is the new radius as given in (16) in the formula for x, and that the angle dθ subtends the arc of length dl θ of the radius r sin φ 1 sin φ 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 dv (r,θ,φ 1,φ ) = J(r, θ, φ 1, φ )drdθdφ 1 dφ = drdl θ dl φ1 dl φ (18) = r 3 sin φ 1 sin φ drdθdφ 1 dφ and the Jacobian J 4 = J(r, θ, φ 1, φ ) = r 3 sin φ 1 sin φ. For n = 5 we have 1 : x 1 = r cos φ 1 : x = r sin φ 1 cos φ 3 : x 3 = r sin φ 1 sin φ cos φ 3 4 : x 4 = r sin φ 1 sin φ sin φ 3 cos θ 5 : x 5 = r sin φ 1 sin φ sin φ 3 sin θ (19) 4
and for φ 1 : dφ 1 = dl φ1 /r φ : dφ = dl φ /(r sin φ 1 ) φ 3 : dφ 3 = dl φ3 /(r sin φ 1 sin φ ) θ : dθ = dl θ /(r sin φ 1 sin φ sin φ 3 ) This gives the volume element for 5 dimensions (0) dv (r,θ,φ 1,φ,φ 3 ) = J(r, θ, φ 1, φ, φ 3 )drdθdφ 1 dφ dφ 3 = drdl θ dl φ1 dl φ dl φ3 (1) = r 4 sin 3 φ 1 sin φ sin φ 3 drdθdφ 1 dφ dφ 3 and the Jacobian J 5 = J(r, θ, φ 1, φ, φ 3 ) = r 4 sin 3 φ 1 sin φ sin φ 3. We notice that our Jacobian for 5 dimensions is just the product of the denominators from the equations (0). The pattern for the Jacobian of the transformation from n Cartesian coordinate system to the system of n-dimensional spherical coordinates clearly reveals itself. For n > n J n = J(r, θ, φ 1, φ,..., φ n ) = r n 1 sin n 1 k φ k () The Jacobian we derived may be used in computing the volume V n (c) or the surface S n (r) of a n-dimensional sphere of radius c or r, respectively. V n (c) = c r=0 S n (r) = π π θ=0 = π π θ=0 φ 1 =0 c φ 1 =0 r=0 π φ =0 r n 1 dr π k=1 φ n =0 π n π θ=0 dθ J n drdθdφ 1 dφ... dφ n (3) k=1 φ k =0 sin n 1 k φ k dφ k π π J n dθdφ 1 dφ... dφ n (4) φ =0 φ n =0 π n π = r n 1 dθ sin n 1 k φ k dφ k θ=0 k=1 φ k =0 The further computation is an exercise in applying the formula for the integral of the type π/ 0 ( ) sin n x cos m dx = 1 B 1 (n + 1), 1 (m + 1) 5 (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 B(x, y) = Γ(x)Γ(y) Γ(x + y) (6) Properties of Euler Gamma function used in this article are presented also in [8]. For natural values of x the Euler Gamma function has the property Γ(x) = (x 1)! (7) If we substitute x + 1 for x in the above equation, then we obtain Γ(x + 1) = x! = x(x 1)! = xγ(x) (8) The relation Γ(x + 1) = xγ(x) (9) is valid also for real values of x. Also ( 1 Γ = ) π (30) Then we have S n (r) = r n 1 π Γn ( 1) Γ( 1n) = π 1 n r n 1 Γ( 1n) (31) V n (R) = R r=0 S n (r) dr = π 1 n R n nγ( 1 n) (3) In particular for n = 3, i.e. for three dimensions we can obtain the formulas for the surface area and for the volume of a sphere. For the sphere surface area from equation (31) we have S 3 (r) = π 3 r Γ( 3) = ( π) 3 r Γ( 3) (33) From equations (9) and (30) we can compute the value of Γ ( ) 3 ( 3 ( 1 ) Γ = Γ ) + 1 = 1 ( 1 ) Γ = 1 π (34) 6
and substitute it into equation (33) S 3 (r) = ( π) 3 r (35) π obtaining the well known formula for the surface area S 3 (r) of a threedimensional sphere of radius r 1 S 3 (r) = 4πr (36) For the sphere volume V 3 (R) of a three-dimensional sphere from equation (3) we obtain and we receive V 3 (R) = ( π) 3 R 3 3Γ( 3 ) = ( π) 3 R 3 (37) π 3 V 3 (R) = 4 3 πr3 (38) what is also a familiar formula for the volume of a sphere of radius R. References [1] K.S. Miller, Multidimensional Gaussian Distributions, John Wiley & Sons, Inc., New York, London, Sydney, 1964. [] R.A. Hunt, Calculus, nd ed., HarperCollins College Publishers, 1994. [3] http://mathworld.wolfram.com/sphericalcoordinates.html [4] N.N. Lebedev, Special Functions and Their Applications, Translation by R.A. Silverman, Dover Publications, Inc., New York, 197. [5] http://mathworld.wolfram.com/betafunction.html [6] Emil Artin, The Gamma Function, Translation by Michael Butler, Dover Publications, Inc., Mineola, New York, 015. [7] http://mathworld.wolfram.com/gammafunction.html [8] Donald A. McQuarrie, Mathematical Methods for Scientists and Engineers, University Science Books, Sausalito, California 003. 7
Pawel Jan Piskorz (paweljs@gmail.com) 46 Tynan Ct Erie, CO 80516-708 USA 8