Spherical polar coordinates: Difference between revisions
imported>Paul Wormer No edit summary |
mNo edit summary |
||
(50 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | |||
In [[mathematics]] and [[physics]], '''spherical polar coordinates''' form a coordinate system for the three-dimensional real space <math>\scriptstyle \mathbb{R}^3</math>. Three numbers, two angles and a length specify any point in <math>\scriptstyle \mathbb{R}^3</math>. | {{Image|Spherical polar.png|right|250px|Spherical polar coordinates}} | ||
In [[mathematics]] and [[physics]], '''spherical polar coordinates''' (also known as '''spherical coordinates''') form a coordinate system for the three-dimensional real space <math>\scriptstyle \mathbb{R}^3</math>. Three numbers, two angles and a length specify any point in <math>\scriptstyle \mathbb{R}^3</math>. The two angles specify the position on the surface of a sphere and the length gives the radius of the sphere. | |||
Spherical polar coordinates are useful in cases where there is (approximate) spherical symmetry, in interactions or in boundary conditions (or in both). In such cases spherical polar coordinates often allow the [[separation of variables]] simplifying the solution of [[partial differential equation|partial differential equations]] and the evaluation of three-dimensional [[integral|integrals]]. | |||
The practice of specifying locations on earth using [[latitude]], [[longitude]] and [[altitude]] is a version of spherical polar coordinates. | |||
==Definition== | ==Definition== | ||
Let ''x'', ''y'', ''z'' be Cartesian coordinates of a vector <math>\scriptstyle \vec\mathbf{r}</math> in <math>\scriptstyle \mathbb{R}^3</math>, that is, | Let ''x'', ''y'', ''z'' be [[Cartesian coordinates]] of a vector <math>\scriptstyle \vec\mathbf{r}</math> in <math>\scriptstyle \mathbb{R}^3</math>, that is, | ||
:<math> | :<math> | ||
\vec\mathbf{r} = (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | \vec\mathbf{r} = (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | ||
Line 11: | Line 16: | ||
x\,\vec\mathbf{e}_x + y\,\vec\mathbf{e}_y + z\, \vec\mathbf{e}_z, | x\,\vec\mathbf{e}_x + y\,\vec\mathbf{e}_y + z\, \vec\mathbf{e}_z, | ||
</math> | </math> | ||
where <math>\scriptstyle \vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z </math> are unit vectors along the ''x'', ''y'', and ''z'' axis, respectively. | where <math>\scriptstyle \vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z </math> are unit vectors along the ''x'', ''y'', and ''z'' axis, respectively. The ''x'', ''y'', and ''z'' axes are orthogonal and so are the unit vectors along them. | ||
The length ''r'' of the vector <math>\scriptstyle \vec\mathbf{r}</math> is one of the three numbers necessary to give the position of the vector in three-dimensional space. By applying the theorem of [[Pythagoras]] | The length ''r'' of the vector <math>\scriptstyle \vec\mathbf{r}</math> is one of the three numbers necessary to give the position of the vector in three-dimensional space. By applying twice the theorem of [[Pythagoras]] we find that ''r''<sup>2</sup> = ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup>. | ||
Let θ be the ''colatitude angle'' (see the figure) of the vector <math>\scriptstyle \vec\mathbf{r}</math>. In the usual | Let θ be the ''colatitude angle'' (see the figure) of the vector <math>\scriptstyle \vec\mathbf{r}</math>. In the usual system to describe a position on Earth, ''latitude'' has its zero at the equator, while the colatitude angle, introduced here, has its zero at the "North Pole". That is, the angle θ is zero when <math>\scriptstyle \vec\mathbf{r}</math> is along the positive ''z''-axis. The sum of latitude and colatitude of a point is 90<sup>0</sup>; these angles being complementary explains the name of the latter. The colatitude angle is also called ''polar'' or ''zenith'' angle in the literature. | ||
The angle φ gives the angle with the ''x''-axis of the projection <math>\scriptstyle \vec\mathbf{r}'</math> of <math>\scriptstyle \vec\mathbf{r}</math> on the ''x-y'' plane. | The angle φ gives the angle with the ''x''-axis of the projection <math>\scriptstyle \vec\mathbf{r}'</math> of <math>\scriptstyle \vec\mathbf{r}</math> on the ''x-y'' plane. | ||
The angle φ is the ''longitude angle'' (also known as the '' | The angle φ is the ''longitude angle'' (also known as the ''azimuth angle''). | ||
Note that the projection <math>\scriptstyle \vec\mathbf{r}'</math> has length ''r''sinθ. The length of the projection of | Note that the projection <math>\scriptstyle \vec\mathbf{r}'</math> has length ''r'' sinθ. The length of the projection of <math>\scriptstyle \vec\mathbf{r}'</math> on the ''x'' and ''y'' axis is therefore ''r'' sinθcosφ and ''r'' sinθsinφ, respectively. In summary, the spherical polar coordinates ''r'', θ, and φ of <math>\scriptstyle \vec\mathbf{r}</math> are related to its Cartesian coordinates by | ||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
Line 31: | Line 36: | ||
are readily obtained by application of these defining equations. | are readily obtained by application of these defining equations. | ||
The | The figure makes clear that 0<sup>0</sup> ≤ φ ≤ 360<sup>0</sup>, 0<sup>0</sup> ≤ θ ≤ 180<sup>0</sup>, and ''r'' > 0. The coordinate surfaces are: | ||
# ''r'' constant, all θ and φ: surface of sphere. | |||
# θ constant, all ''r'' and φ: surface of a cone. | |||
# φ constant, all ''r'' and θ: plane. | |||
Two other points of indeterminacy are the "North" and the "South Pole", θ = 0<sup>0</sup> and θ = 180<sup>0</sup>, respectively (while ''r'' ≠ 0). On both poles the longitudinal angle φ is undetermined. | The computation of spherical polar coordinates from Cartesian coordinates is somewhat more difficult than the converse, due to the fact that the spherical polar coordinate system has singularities, also known as points of indeterminacy. The first such point is immediately clear: if ''r'' = 0, we have a zero vector (a point in the origin). Then θ and φ are undetermined, that is to say, any values for these two parameters will give the correct result ''x'' = ''y'' = ''z'' = 0. Compare this to the case that one of the Cartesian coordinates is zero, say ''x'' = 0, then the other two coordinates are still determined (they fix a point in the ''yz''-plane). Two other points of indeterminacy are the "North" and the "South Pole", θ = 0<sup>0</sup> and θ = 180<sup>0</sup>, respectively (while ''r'' ≠ 0). On both poles the longitudinal angle φ is undetermined. | ||
So, when going from Cartesian coordinates to spherical polar coordinates, one has to watch for the singularities, especially when the transformation is performed by a computer program. | So, when going from Cartesian coordinates to spherical polar coordinates, one has to watch for the singularities, especially when the transformation is performed by a computer program. | ||
Given ''x'', ''y'' and ''z'', the consecutive steps are | |||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
r &= \sqrt{x^2+y^2+z^2} \\ | r &= \sqrt{x^2+y^2+z^2} \\ | ||
\theta &= \arccos(z/r) \quad r \ne 0 \\ | \theta &= \arccos(z/r), \quad r \ne 0 \\ | ||
r' & = r \sin\theta \\ | r' & = r \sin\theta = \sqrt{x^2+y^2} \\ | ||
\phi & = \begin{cases} | \phi & = \begin{cases} | ||
\arccos(x/r')&\quad \hbox{if}\quad y \ge 0\quad r' \ne 0 \\ | \arccos(x/r')&\quad \hbox{if}\quad y \ge 0,\quad r' \ne 0 \\ | ||
\arccos(x/r') | 360^0 - \arccos(x/r')&\quad \hbox{if}\quad y < 0,\quad r'\ne 0 \\ | ||
\end{cases} | |||
\end{align} | |||
</math> | |||
===Latitude, longitude, and altitude=== | |||
Locations on earth are often specified using [[latitude]], [[longitude]] and [[altitude]]. These values correspond to the spherical polar coordinates introduced in this article, with some differences, however. | |||
Latitude λ is conventionally measured as angles north and south of the [[equator]], with latitudes north of the equator taken as positive, and south taken as negative. Values of latitude are always within the range −90° to +90°. This corresponds to the polar angle measured from the ''z''-axis, except that latitude is measured from the equator (the ''x-y''-plane). The angles θ and λ are complementary, i.e., their sum is 90°. | |||
The geographical coordinate longitude φ<sub>g</sub> (the suffix g is added to distinguish it from the polar coordinate φ) is measured as angles east and west of the [[prime meridian]], an arbitrary great circle passing through the ''z''-axis. Longitude is measured as the angular distance in the closest direction from the prime meridian, or, alternatively, as a positive angle to the east (counterclockwise when looking from the North Pole towards the center of the earth) and negative to the west. Longitude is always within the range −180° to +180°. | |||
Altitude is measured from the surface— called ''mean sea level''—of a hypothetical spheroid, or other [[datum]], and corresponds to the polar coordinate ''r'', with the radius of the earth subtracted. Since the earth is not a perfect sphere, neither its center nor its radius are defined in a unique manner, but for the sake of argument we ignore this and introduce ''r''<sub>earth</sub> as the fictive radius of the earth. | |||
Conversion from latitude λ, longitude φ<sub>g</sub>, and altitude ''h'' to spherical polar coordinates is as follows: | |||
:<math> | |||
\begin{align} | |||
r &= h + r_\mathrm{earth} \mbox{ (approximate)}\\ | |||
\theta &= 90^\circ - \lambda \\ | |||
\phi &= | |||
\begin{cases} | |||
\phi_\mathrm{g} & \mbox{if }\phi_\textrm{g} \mbox{ is positive (east)} \\ | |||
\phi_\mathrm{g} +360^\circ & \mbox{if }\phi_\textrm{g} \mbox{ is negative (west)}. | |||
\end{cases} | \end{cases} | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
[[ | ====Examples==== | ||
[[ | *[[New York, New York|New York City]] is at 40° 42' N, 74°1' W, this means | ||
[[Category: | ::<math> | ||
\lambda = 40.7^\circ \quad \hbox{and}\quad \phi_\mathrm{g} = -74.017^\circ | |||
</math> | |||
:so that the polar coordinates of New York city are | |||
::<math> | |||
\theta = 49.3^\circ \quad \hbox{and}\quad \phi = 285.983^\circ | |||
</math> | |||
*[[Melbourne]] is at 37° 49' S, 144° 58' E, this means | |||
::<math> | |||
\lambda = -37.817^\circ \quad \hbox{and}\quad \phi_\mathrm{g} = 144.967^\circ | |||
</math> | |||
:so that the polar coordinates of Melbourne are | |||
::<math> | |||
\theta = 127.817^\circ \quad \hbox{and}\quad \phi = 144.967^\circ | |||
</math> | |||
==Other convention== | |||
The notational convention introduced above (θ for the colatitude angle, φ for the azimuth angle) is used universally in physics. It is in accordance with advice of the International Standards Organization (ISO 31-11, which, however, advises the use of ρ instead of ''r'' ). In mathematics—especially in the older and the European literature—the convention is very widespread, too. To quote a few prestiguous mathematical books that apply it: Abramowitz and Stegun<ref>M. Abramowitz and I. A. Stegun, ''Handbook of Mathematical Functions'', Dover, New York (1965)</ref> (p. 332), Whittaker and Watson<ref>E. T. Whittaker and G. N. Watson, ''A Course of Modern Analysis'', Cambridge UP, Cambridge UK (1965).</ref> (p. 391), Courant and Hilbert<ref>R. Courant and D. Hilbert, ''Methoden der mathematischen Physik I'', Springer Verlag, Berlin (1968).</ref> (p.195), and Kline<ref>M. Kline, ''Mathematical Thought from Ancient to Modern Times'', Oxford UP, New York (1972)</ref> (p. 527). Until the 1960s this convention was used universally, also in mathematical textbooks, see e.g. the 1959 edition of Spiegel<ref>M. R. Spiegel, ''Vector Analysis'', Schaum Publishing Company, New York (1959).</ref> (p. 138). | |||
Somewhere in the 1960s it became custom in American mathematical textbooks to use a notation in which φ and θ are interchanged, see e.g. Kay<ref>D. C. Kay, ''Tensor Calculus'', Schaum's outline series, McGraw-Hill, New York (1988)</ref> (p. 24) and Apostol<ref>T. M. Apostol, ''Mathematical Analysis'', Addison-Wesley, Reading Mass. (1974)</ref> (p. 419). This was done in order to not confuse students by changing the meaning of the Greek letter θ in the transition from 2D to 3D polar coordinates, as can be gathered from the following quotation of [http://mathworld.wolfram.com/SphericalCoordinates.html Eric Weisstein]: | |||
<blockquote> | |||
''In this work, following the mathematics convention, the symbols for the radial, azimuth, and zenith coordinates are taken as ''r'', θ, and φ, respectively. Note that this definition provides a logical extension of the usual polar coordinates notation, with θ remaining the angle in the xy-plane and φ becoming the angle out of that plane. The sole exception to this convention in this work is in [[spherical harmonic]]s, where the convention used in the physics literature is retained (resulting, it is hoped, in a bit less confusion than a foolish rigorous consistency might engender).'' | |||
</blockquote> | |||
In more advanced treatises—also American—on [[spherical harmonics|spherical functions]] the old convention remains in use, see e.g. Miller<ref>W. Miller, Jr., ''Symmetry and Separation of Variables'', Addison-Wesley, Reading Mass. (1977)</ref> (p. 164). The swapping of θ and φ can only be called unfortunate, because it meant a break with the huge existing mathematics and physics literature covering more than a century, and since there exists an obvious pedagogical alternative, namely, calling the angle, which appears in the 2D [[polar coordinate]]s, φ instead of θ. | |||
The notation, in which the angle between the vector '''r''' and the ''z''-axis is φ, is followed by the [[Maple (software)|Maple]] algebraic program package and also by the numerical package [[Matlab]]. (Matlab also redefines the zero of φ to be on the equator, which makes φ a latitude angle). The [[Mathematica]] package follows the convention that has θ as the angle between the vector and the ''z''-axis. | |||
==Unit vectors== | |||
{{Image|Spherical unit vectors.png|right|250px|Unit vectors. <math>\scriptstyle \vec{\mathbf{e}}_r </math> is perpendicular to the surface of the sphere, while <math>\scriptstyle \vec{\mathbf{e}}_\theta </math> and <math>\scriptstyle \vec{\mathbf{e}}_\phi </math> are tangent to the surface.}} | |||
We will define algebraically the orthogonal set (a ''coordinate frame'') of spherical polar unit vectors depicted in the figure on the right. In doing this, we first wish to point out that the spherical polar angles can be seen as two of the three [[Euler angles]] that describe any [[rotation]] of <math>\scriptstyle \mathbb{R}^3</math>. | |||
Indeed, start with a vector along the ''z''-axis, rotate it around the ''z''-axis over an angle φ. Perform the same rotation on the ''x'', ''y'', ''z'' coordinate frame. This rotates the ''x''- and ''y''-axis over a positive angle φ. The ''y''-axis goes to the <i>y</i>'-axis. Rotate then the vector and the new frame over an angle θ around the <i>y</i>'-axis. The vector that was initially on the ''z''-axis is now a vector with spherical polar angles θ and φ with respect to the original (unrotated) frame. Expressed in equation form this reads, | |||
:<math> | |||
\begin{align} | |||
\vec\mathbf{r} &= (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\begin{pmatrix} | |||
r\cos\phi\sin\theta \\ | |||
r\sin\phi\sin\theta \\ | |||
r\cos\theta \\ | |||
\end{pmatrix} \\ | |||
&= | |||
(\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) \mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
0 \\ | |||
0 \\ | |||
r \\ | |||
\end{pmatrix}, | |||
\end{align} | |||
</math> | |||
where the two rotation matrices are defined by | |||
:<math> | |||
\mathbb{R}_z(\phi) \equiv | |||
\begin{pmatrix} | |||
\cos\phi & - \sin\phi & 0 \\ | |||
\sin\phi & \cos\phi & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix}, \qquad | |||
\mathbb{R}_y(\theta) \equiv | |||
\begin{pmatrix} | |||
\cos\theta & 0 & \sin\theta \\ | |||
0 & 1 & 0 \\ | |||
-\sin\theta & 0 & \cos\theta \\ | |||
\end{pmatrix}. | |||
</math> | |||
By direct matrix multiplication the matrix expression for the spherical polar coordinates of <math>\scriptstyle \vec{\mathbf{r}}</math> is easily verified—it could have been postulated without reference to Euler rotations and proved by verification. | |||
We now introduce the coordinate frame depicted in the figure on the right: | |||
:<math> | |||
\begin{align} | |||
\vec\mathbf{r} | |||
&= | |||
(\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
0 \\ | |||
0 \\ | |||
r \\ | |||
\end{pmatrix} | |||
\equiv | |||
(\vec\mathbf{e}_\theta, \, \vec\mathbf{e}_\phi, \, \vec\mathbf{e}_r) | |||
\begin{pmatrix} | |||
0 \\ | |||
0 \\ | |||
r \\ | |||
\end{pmatrix}. | |||
\end{align} | |||
</math> | |||
That is, the new frame, depicted in the figure, is related to the old frame along the ''x''-, ''y''-, and ''z''-axes by rotation, | |||
:<math> | |||
(\vec\mathbf{e}_\theta, \, \vec\mathbf{e}_\phi, \, \vec\mathbf{e}_r) | |||
\equiv (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\mathbb{R}_z(\phi) \mathbb{R}_y(\theta). | |||
</math> | |||
Written out: | |||
:<math> | |||
\begin{align} | |||
\vec\mathbf{e}_\theta &= \vec\mathbf{e}_x \cos\phi\cos\theta + \vec\mathbf{e}_y\sin\phi\cos\theta - \sin\theta \vec\mathbf{e}_z \\ | |||
\vec\mathbf{e}_\phi &= -\vec\mathbf{e}_x \sin\phi + \vec\mathbf{e}_y\cos\phi \\ | |||
\vec\mathbf{e}_r &= \vec\mathbf{e}_x \cos\phi\sin\theta + \vec\mathbf{e}_y\sin\phi\sin\theta + \cos\theta \vec\mathbf{e}_z . \\ | |||
\end{align} | |||
</math> | |||
Inverting this set of equations is very easy, since rotation matrices are orthogonal, that is, their inverse is equal to their transpose. | |||
Apparently <math>\scriptstyle \vec{\mathbf{r}}</math> is along <math>\scriptstyle \vec{\mathbf{e}}_r</math>. Since the two rotation matrices are orthogonal (have orthonormal rows and columns), the new frame is orthogonal. Since the two rotation matrices have unit determinant (are proper rotations), the new frame is right-handed. | |||
Recall, parenthetically, that free parallel vectors of equal length have the same coordinate triplet with respect to a given coordinate frame. Or, equivalently, coordinate frames may be freely translated in a parallel manner. That is, the frame in the figure could have been drawn equally well with its origin in the crossing of the ''x''-, ''y''-, and ''z''-axes, which, however, would have obscured the fact that | |||
<math>\scriptstyle \vec{\mathbf{e}}_\phi</math> and <math>\scriptstyle \vec{\mathbf{e}}_\theta</math> are tangent to the surface of the sphere. | |||
==Metric tensor== | |||
In [[curvilinear coordinate]]s ''q''<sup> ''i''</sup> the [[metric tensor]] (with elements ''g''<sub> ''ij'' </sub>) defines the square of an infinitesimal distance, | |||
:<math> | |||
ds^2 \equiv \sum_{i=1}^3 g_{ij} dq^i dq^j. | |||
</math> | |||
The Cartesian metric tensor is the [[identity matrix]] and hence in Cartesian coordinates, | |||
:<math> | |||
ds^2 = dx^2 + dy^2 + dz^2 = (dx\, dy\, dz) \begin{pmatrix} dx\\ dy \\ dz\end{pmatrix}. | |||
</math> | |||
Consider the following expressions between differentials, obtained by application of the [[chain rule]], | |||
:<math> | |||
\begin{align} | |||
dx =& \frac{\partial x}{\partial \theta} d\theta + \frac{\partial x}{\partial \phi}d\phi+ \frac{\partial x}{\partial r} dr \\ | |||
dy =& \frac{\partial y}{\partial \theta} d\theta + \frac{\partial y}{\partial \phi}d\phi+ \frac{\partial y}{\partial r} dr \\ | |||
dz =& \frac{\partial z}{\partial \theta} d\theta + \frac{\partial z}{\partial \phi} d\phi +\frac{\partial z}{\partial r} dr . \\ | |||
\end{align} | |||
</math> | |||
In matrix form, | |||
:<math> | |||
\begin{pmatrix} | |||
dx \\ | |||
dy \\ | |||
dz \\ | |||
\end{pmatrix} | |||
= \mathbb{J} | |||
\begin{pmatrix} | |||
d\theta \\ | |||
d\phi \\ | |||
dr \\ | |||
\end{pmatrix}, \qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad (1) | |||
</math> | |||
with the [[Jacobi matrix]] having the following form, | |||
:<math> | |||
\mathbb{J} \equiv | |||
\begin{pmatrix} | |||
\frac{\partial x}{\partial \theta} & \frac{\partial x}{\partial \phi}& \frac{\partial x}{\partial r} \\ | |||
\frac{\partial y}{\partial \theta} & \frac{\partial y}{\partial \phi}& \frac{\partial y}{\partial r} \\ | |||
\frac{\partial z}{\partial \theta} & \frac{\partial z}{\partial \phi} &\frac{\partial z}{\partial r} \\ | |||
\end{pmatrix} | |||
= | |||
\begin{pmatrix} | |||
r\cos\phi\cos\theta & - r\sin\phi\sin\theta & \cos\phi\sin\theta \\ | |||
r\sin\phi\cos\theta & r\cos\phi\sin\theta & \sin\phi\sin\theta \\ | |||
-r\sin\theta & 0 & \cos\theta \\ | |||
\end{pmatrix}, | |||
</math> | |||
where the matrix on the right-hand side is obtained by performing the partial derivations. By inspection it follows that | |||
:<math> | |||
\mathbb{J} = \mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
r & 0 & 0 \\ | |||
0 & r\sin\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix}. \qquad \qquad\qquad\qquad\qquad\qquad\qquad\qquad (2) | |||
</math> | |||
The columns of <math>\scriptstyle\mathbb{R}_z(\phi) \mathbb{R}_y(\theta) </math> are orthogonal vectors that are normalized to unity. Hence the columns of the Jacobi matrix, which are proportional to the columns of <math>\scriptstyle\mathbb{R}_z(\phi) \mathbb{R}_y(\theta) </math>, are orthogonal, but not normalized. The inverses of the normalization factors are on the diagonal of the matrix on the right of the expression. These inverse normalization factors are known as [[scale factor]]s or [[Lamé factor]]s. Usually they are denoted by ''h''. Hence the spherical polar scale factors are | |||
:<math> | |||
h_\theta = r, \qquad h_\phi = r\sin\theta, \qquad h_r = 1. | |||
</math> | |||
The infinitesimal distance squared can be written as follows | |||
:<math> | |||
ds^2 = (dx\, dy\, dz) \begin{pmatrix} dx\\ dy \\ dz\end{pmatrix} | |||
= (d\theta\, d\phi\, dr) \begin{pmatrix} | |||
r^2 & 0 & 0 \\ | |||
0 & r^2\sin^2\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix}\begin{pmatrix} d\theta \\ d\phi \\ dr \end{pmatrix} | |||
</math> | |||
where we used that the rotation matrices are [[orthogonal matrix|orthogonal]] (matrix times its transpose gives the [[identity matrix]]), so that | |||
:<math> | |||
\mathbb{J}^T\mathbb{J} = | |||
\left[ \mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
r & 0 & 0 \\ | |||
0 & r\sin\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix} \right]^T \mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
r & 0 & 0 \\ | |||
0 & r\sin\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix} = \begin{pmatrix} | |||
r^2 & 0 & 0 \\ | |||
0 & r^2\sin^2\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix}. | |||
</math> | |||
The rightmost matrix being the metric tensor associated with spherical polar coordinates, we find | |||
:<math> | |||
ds^2 = r^2 d\theta^2 + r^2\sin^2\theta d\phi^2 + dr^2 \,. | |||
</math> | |||
The fact that the metric tensor is diagonal is expressed by stating that the spherical polar coordinate system is ''orthogonal''. We see that the metric tensor has the squares of the respective scale factors on the diagonal. | |||
==Infinitesimal surface and volume element== | |||
An infinitesimal surface element spanned by two coordinates is equal to the square root of the corresponding 2 × 2 [[minor]] (subdeterminant) of the metric tensor times the infinitesimal coordinates, | |||
:<math> | |||
dA^{(ik)} = \sqrt{g_{ii}g_{kk} - g_{ik}^2} \, dq^{i} dq^{k}. | |||
</math> | |||
For spherical polar coordinates it follows that | |||
:<math> | |||
\begin{align} | |||
dA^{(\theta \phi)} &= r^2 \sin\theta\, d\theta d\phi \\ | |||
dA^{(r \theta)} &= r\, dr d\theta \\ | |||
dA^{(\phi r)} &= r \sin\theta d\phi dr \\ | |||
\end{align} | |||
</math> | |||
As an example we compute the area of the surface of a sphere with radius ''r'', | |||
:<math> | |||
A= \int_{0}^\pi \int_{0} ^{2\pi} r^2\sin\theta\, d\theta d\phi = 4\pi r^2. | |||
</math> | |||
The weight appearing in the infinitesimal volume element d''V'' is the [[Jacobian]] (the determinant of the Jacobi matrix, which is the square root of the determinant of the metric tensor), | |||
:<math> | |||
\det\big[\mathbb{J}\big] = \det\big[\mathbb{R}_z(\phi)\big]\,\det\big[\mathbb{R}_y(\theta)\big] \, | |||
r^2\sin\theta = r^2\sin\theta, | |||
</math> | |||
where we used that the determinant of a [[diagonal matrix]] is the product of its diagonal elements and the fact that the determinants of proper rotation matrices are unity. Because ''h''<sub>''r''</sub> = 1, it so happens that the weight of the volume element is equal to the weight of the surface element perpendicular to '''r'''. | |||
As an example of the use of d''V'', the volume ''V'' of a sphere with radius ''R'' is, | |||
:<math> | |||
V= \int_{0}^R \int_{0}^\pi \int_{0} ^{2\pi} r^2\sin\theta\, dr d\theta d\phi =\frac{4}{3}\pi R^3. | |||
</math> | |||
==Velocity== | |||
We will express the velocity of a particle in spherical polar coordinates. In Cartesian coordinates velocity is the vector | |||
:<math> | |||
\vec{\mathbf{v}} = (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\begin{pmatrix} | |||
\dot{x} \\ \dot{y} \\ \dot{z} \\ | |||
\end{pmatrix}\qquad\hbox{with}\qquad \dot{x} \equiv \frac{dx}{dt}, | |||
</math> | |||
and similarly the time derivatives of ''y'', ''z'' , θ, φ, and ''r'' are given in [[Newton]]'s fluxion (dot) notation. | |||
The following two equations follow from Eqs. (1) and (2), respectively, | |||
:<math> | |||
\begin{align} | |||
\vec{\mathbf{v}} | |||
= (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\mathbb{J} | |||
\begin{pmatrix} | |||
\dot{\theta} \\ | |||
\dot{\phi} \\ | |||
\dot{r} \\ | |||
\end{pmatrix} | |||
= (\vec\mathbf{e}_x, \, \vec\mathbf{e}_y, \, \vec\mathbf{e}_z) | |||
\mathbb{R}_z(\phi) \mathbb{R}_y(\theta) | |||
\begin{pmatrix} | |||
r & 0 & 0 \\ | |||
0 & r\sin\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix} | |||
\begin{pmatrix} | |||
\dot{\theta} \\ | |||
\dot{\phi} \\ | |||
\dot{r} \\ | |||
\end{pmatrix}. | |||
\end{align} | |||
</math> | |||
Recalling that the unit spherical polar vectors are obtained by this rotation, we find | |||
:<math> | |||
\vec{\mathbf{v}} = (\vec\mathbf{e}_\theta, \, \vec\mathbf{e}_\phi, \, \vec\mathbf{e}_r) | |||
\begin{pmatrix} | |||
r & 0 & 0 \\ | |||
0 & r\sin\theta & 0 \\ | |||
0 & 0 & 1 \\ | |||
\end{pmatrix} | |||
\begin{pmatrix} | |||
\dot{\theta} \\ | |||
\dot{\phi} \\ | |||
\dot{r} \\ | |||
\end{pmatrix} | |||
</math>, | |||
so that the velocity expressed in spherical polar coordinates becomes | |||
:<math> | |||
\vec{\mathbf{v}} = | |||
\vec\mathbf{e}_\theta\, r\dot{\theta} + \vec\mathbf{e}_\phi\, r\sin\theta\dot{\phi} | |||
+\vec\mathbf{e}_r\, \dot{r}. | |||
</math> | |||
Note parenthetically that | |||
:<math> | |||
\vec{\mathbf{v}}\cdot\vec{\mathbf{v}} = \Big(\frac{ds}{dt}\Big)^2 = | |||
r^2\dot{\theta}^2 + r^2\sin^2\theta\dot{\phi}^2 | |||
+ \dot{r}^2. | |||
</math> | |||
which becomes upon multiplication by d''t''<sup>2</sup> the expression for d''s''<sup>2</sup> given above. | |||
==Differential operators== | |||
In [[vector analysis]] a number of differential operators expressed in [[curvilinear coordinates]] play an important role. They are the [[gradient]], the [[divergence]], the [[curl]], and the [[Laplacian|Laplace operator]]. It is possible to derive general expressions for these operators that are valid in any coordinate system and are based on the metric tensor associated with the coordinate system. In the case of orthogonal systems (diagonal metric tensors) only the square roots of the diagonal elements (the scale factors) appear in the expressions. | |||
Since these general relations exist, we will not give derivations for the special case of spherical polar coordinates, but depart from the general expressions. | |||
Above we derived the following scale factors for the spherical polar coordinates, | |||
:<math> | |||
h_r = 1, \qquad h_\theta = r, \qquad h_\phi = r\sin\theta | |||
</math> | |||
and we showed that the unit vectors <math>\scriptstyle \vec\mathbf{e}_\theta, \, \vec\mathbf{e}_\phi, \, \vec\mathbf{e}_r</math> are obtained by two rotations of a Cartesian system. | |||
The gradient of a scalar function Φ is, | |||
:<math> | |||
\nabla \Phi = \frac{\partial \Phi}{\partial r}\vec\mathbf{e}_r | |||
+\frac{1}{r} \frac{\partial \Phi}{\partial \theta}\vec\mathbf{e}_\theta | |||
+\frac{1}{r\sin\theta} \frac{\partial \Phi}{\partial \phi}\vec\mathbf{e}_\phi. | |||
</math> | |||
If the vector function '''A''' is, | |||
:<math> | |||
\mathbf{A} = A_r \vec\mathbf{e}_r + A_\theta\vec\mathbf{e}_\theta +A_\phi\vec\mathbf{e}_\phi. | |||
</math> | |||
then its divergence is, | |||
:<math> | |||
\begin{align} | |||
\nabla \cdot \mathbf{A} &= | |||
\frac{1}{r^2\sin\theta}\left[ | |||
\frac{\partial r^2\sin\theta A_r}{\partial r} | |||
+\frac{\partial r\sin\theta A_\theta }{\partial \theta} | |||
+ \frac{\partial r A_\phi}{\partial \phi}\right] \\ | |||
& = \frac{2}{r} A_r + \frac{\partial A_r}{\partial r} + \frac{\cos\theta}{r\sin\theta} A_\theta | |||
+ \frac{1}{r}\frac{A_\theta }{\partial \theta}+ \frac{1}{r\sin\theta}\frac{\partial A_\phi}{\partial \phi}, | |||
\end{align} | |||
</math> | |||
and its curl is given by | |||
:<math> | |||
\begin{align} | |||
\nabla \times \mathbf{A} &= \frac{1}{r^2\sin\theta} \left( \frac{\partial}{\partial \theta} (r\sin\theta A_\phi) - \frac{\partial}{\partial \phi} (r A_\theta) \right) \vec\mathbf{e}_r \\ | |||
&\quad + \frac{1}{r\sin\theta} \left( \frac{\partial}{\partial \phi} A_r - \frac{\partial}{\partial r} (r\sin\theta A_\phi) \right) \vec\mathbf{e}_\theta \\ | |||
&\quad + \frac{1}{r} \left( \frac{\partial}{\partial r} (r A_\theta) - \frac{\partial}{\partial \theta} A_r \right) \vec\mathbf{e}_\phi. | |||
\end{align} | |||
</math> | |||
This is often written as | |||
:<math> | |||
\nabla \times \mathbf{A} = \frac{1}{r^2\sin\theta} | |||
\begin{vmatrix} | |||
\vec\mathbf{e}_r & r\vec\mathbf{e}_\theta & r\sin\theta\vec\mathbf{e}_\phi \\ | |||
\frac{\partial}{\partial r} & \frac{\partial}{\partial \theta} & \frac{\partial}{\partial \phi} \\ | |||
A_r & r A_\theta & r\sin\theta A_\phi \\ | |||
\end{vmatrix}, | |||
</math> | |||
where it is understood that the determinant is computed by developing along the first row and then along the second row. | |||
The Laplace operator of the scalar function Φ is, | |||
:<math> | |||
\nabla^2 \Phi = | |||
\frac{1}{r^2}\left[\frac{\partial }{\partial r} r^2 \frac{\partial \Phi}{\partial r} + | |||
\frac{1}{\sin\theta} \frac{\partial}{\partial\theta} \sin\theta \frac{\partial \Phi}{\partial \theta} + \frac{1}{\sin^2\theta} \frac{\partial^2 \Phi}{\partial\phi^2} \right]. | |||
</math> | |||
Note that | |||
:<math> | |||
\frac{1}{r^2}\frac{\partial }{\partial r} r^2 \frac{\partial \Phi}{\partial r} | |||
= \frac{1}{r} \frac{\partial^2 r \Phi}{\partial r^2}. | |||
</math> | |||
==References== | |||
<references /> | |||
==External link== | |||
[http://mathworld.wolfram.com/SphericalCoordinates.html Weisstein, Eric W. "Spherical Coordinates." From MathWorld--A Wolfram Web Resource.][[Category:Suggestion Bot Tag]] |
Latest revision as of 06:00, 21 October 2024
In mathematics and physics, spherical polar coordinates (also known as spherical coordinates) form a coordinate system for the three-dimensional real space . Three numbers, two angles and a length specify any point in . The two angles specify the position on the surface of a sphere and the length gives the radius of the sphere.
Spherical polar coordinates are useful in cases where there is (approximate) spherical symmetry, in interactions or in boundary conditions (or in both). In such cases spherical polar coordinates often allow the separation of variables simplifying the solution of partial differential equations and the evaluation of three-dimensional integrals.
The practice of specifying locations on earth using latitude, longitude and altitude is a version of spherical polar coordinates.
Definition
Let x, y, z be Cartesian coordinates of a vector in , that is,
where are unit vectors along the x, y, and z axis, respectively. The x, y, and z axes are orthogonal and so are the unit vectors along them.
The length r of the vector is one of the three numbers necessary to give the position of the vector in three-dimensional space. By applying twice the theorem of Pythagoras we find that r2 = x2 + y2 + z2.
Let θ be the colatitude angle (see the figure) of the vector . In the usual system to describe a position on Earth, latitude has its zero at the equator, while the colatitude angle, introduced here, has its zero at the "North Pole". That is, the angle θ is zero when is along the positive z-axis. The sum of latitude and colatitude of a point is 900; these angles being complementary explains the name of the latter. The colatitude angle is also called polar or zenith angle in the literature.
The angle φ gives the angle with the x-axis of the projection of on the x-y plane. The angle φ is the longitude angle (also known as the azimuth angle).
Note that the projection has length r sinθ. The length of the projection of on the x and y axis is therefore r sinθcosφ and r sinθsinφ, respectively. In summary, the spherical polar coordinates r, θ, and φ of are related to its Cartesian coordinates by
Given a spherical polar triplet (r, θ, φ) the corresponding Cartesian coordinates are readily obtained by application of these defining equations.
The figure makes clear that 00 ≤ φ ≤ 3600, 00 ≤ θ ≤ 1800, and r > 0. The coordinate surfaces are:
- r constant, all θ and φ: surface of sphere.
- θ constant, all r and φ: surface of a cone.
- φ constant, all r and θ: plane.
The computation of spherical polar coordinates from Cartesian coordinates is somewhat more difficult than the converse, due to the fact that the spherical polar coordinate system has singularities, also known as points of indeterminacy. The first such point is immediately clear: if r = 0, we have a zero vector (a point in the origin). Then θ and φ are undetermined, that is to say, any values for these two parameters will give the correct result x = y = z = 0. Compare this to the case that one of the Cartesian coordinates is zero, say x = 0, then the other two coordinates are still determined (they fix a point in the yz-plane). Two other points of indeterminacy are the "North" and the "South Pole", θ = 00 and θ = 1800, respectively (while r ≠ 0). On both poles the longitudinal angle φ is undetermined.
So, when going from Cartesian coordinates to spherical polar coordinates, one has to watch for the singularities, especially when the transformation is performed by a computer program. Given x, y and z, the consecutive steps are
Latitude, longitude, and altitude
Locations on earth are often specified using latitude, longitude and altitude. These values correspond to the spherical polar coordinates introduced in this article, with some differences, however.
Latitude λ is conventionally measured as angles north and south of the equator, with latitudes north of the equator taken as positive, and south taken as negative. Values of latitude are always within the range −90° to +90°. This corresponds to the polar angle measured from the z-axis, except that latitude is measured from the equator (the x-y-plane). The angles θ and λ are complementary, i.e., their sum is 90°.
The geographical coordinate longitude φg (the suffix g is added to distinguish it from the polar coordinate φ) is measured as angles east and west of the prime meridian, an arbitrary great circle passing through the z-axis. Longitude is measured as the angular distance in the closest direction from the prime meridian, or, alternatively, as a positive angle to the east (counterclockwise when looking from the North Pole towards the center of the earth) and negative to the west. Longitude is always within the range −180° to +180°.
Altitude is measured from the surface— called mean sea level—of a hypothetical spheroid, or other datum, and corresponds to the polar coordinate r, with the radius of the earth subtracted. Since the earth is not a perfect sphere, neither its center nor its radius are defined in a unique manner, but for the sake of argument we ignore this and introduce rearth as the fictive radius of the earth.
Conversion from latitude λ, longitude φg, and altitude h to spherical polar coordinates is as follows:
Examples
- New York City is at 40° 42' N, 74°1' W, this means
- so that the polar coordinates of New York city are
- Melbourne is at 37° 49' S, 144° 58' E, this means
- so that the polar coordinates of Melbourne are
Other convention
The notational convention introduced above (θ for the colatitude angle, φ for the azimuth angle) is used universally in physics. It is in accordance with advice of the International Standards Organization (ISO 31-11, which, however, advises the use of ρ instead of r ). In mathematics—especially in the older and the European literature—the convention is very widespread, too. To quote a few prestiguous mathematical books that apply it: Abramowitz and Stegun[1] (p. 332), Whittaker and Watson[2] (p. 391), Courant and Hilbert[3] (p.195), and Kline[4] (p. 527). Until the 1960s this convention was used universally, also in mathematical textbooks, see e.g. the 1959 edition of Spiegel[5] (p. 138).
Somewhere in the 1960s it became custom in American mathematical textbooks to use a notation in which φ and θ are interchanged, see e.g. Kay[6] (p. 24) and Apostol[7] (p. 419). This was done in order to not confuse students by changing the meaning of the Greek letter θ in the transition from 2D to 3D polar coordinates, as can be gathered from the following quotation of Eric Weisstein:
In this work, following the mathematics convention, the symbols for the radial, azimuth, and zenith coordinates are taken as r, θ, and φ, respectively. Note that this definition provides a logical extension of the usual polar coordinates notation, with θ remaining the angle in the xy-plane and φ becoming the angle out of that plane. The sole exception to this convention in this work is in spherical harmonics, where the convention used in the physics literature is retained (resulting, it is hoped, in a bit less confusion than a foolish rigorous consistency might engender).
In more advanced treatises—also American—on spherical functions the old convention remains in use, see e.g. Miller[8] (p. 164). The swapping of θ and φ can only be called unfortunate, because it meant a break with the huge existing mathematics and physics literature covering more than a century, and since there exists an obvious pedagogical alternative, namely, calling the angle, which appears in the 2D polar coordinates, φ instead of θ.
The notation, in which the angle between the vector r and the z-axis is φ, is followed by the Maple algebraic program package and also by the numerical package Matlab. (Matlab also redefines the zero of φ to be on the equator, which makes φ a latitude angle). The Mathematica package follows the convention that has θ as the angle between the vector and the z-axis.
Unit vectors
We will define algebraically the orthogonal set (a coordinate frame) of spherical polar unit vectors depicted in the figure on the right. In doing this, we first wish to point out that the spherical polar angles can be seen as two of the three Euler angles that describe any rotation of .
Indeed, start with a vector along the z-axis, rotate it around the z-axis over an angle φ. Perform the same rotation on the x, y, z coordinate frame. This rotates the x- and y-axis over a positive angle φ. The y-axis goes to the y'-axis. Rotate then the vector and the new frame over an angle θ around the y'-axis. The vector that was initially on the z-axis is now a vector with spherical polar angles θ and φ with respect to the original (unrotated) frame. Expressed in equation form this reads,
where the two rotation matrices are defined by
By direct matrix multiplication the matrix expression for the spherical polar coordinates of is easily verified—it could have been postulated without reference to Euler rotations and proved by verification.
We now introduce the coordinate frame depicted in the figure on the right:
That is, the new frame, depicted in the figure, is related to the old frame along the x-, y-, and z-axes by rotation,
Written out:
Inverting this set of equations is very easy, since rotation matrices are orthogonal, that is, their inverse is equal to their transpose.
Apparently is along . Since the two rotation matrices are orthogonal (have orthonormal rows and columns), the new frame is orthogonal. Since the two rotation matrices have unit determinant (are proper rotations), the new frame is right-handed.
Recall, parenthetically, that free parallel vectors of equal length have the same coordinate triplet with respect to a given coordinate frame. Or, equivalently, coordinate frames may be freely translated in a parallel manner. That is, the frame in the figure could have been drawn equally well with its origin in the crossing of the x-, y-, and z-axes, which, however, would have obscured the fact that and are tangent to the surface of the sphere.
Metric tensor
In curvilinear coordinates q i the metric tensor (with elements g ij ) defines the square of an infinitesimal distance,
The Cartesian metric tensor is the identity matrix and hence in Cartesian coordinates,
Consider the following expressions between differentials, obtained by application of the chain rule,
In matrix form,
with the Jacobi matrix having the following form,
where the matrix on the right-hand side is obtained by performing the partial derivations. By inspection it follows that
The columns of are orthogonal vectors that are normalized to unity. Hence the columns of the Jacobi matrix, which are proportional to the columns of , are orthogonal, but not normalized. The inverses of the normalization factors are on the diagonal of the matrix on the right of the expression. These inverse normalization factors are known as scale factors or Lamé factors. Usually they are denoted by h. Hence the spherical polar scale factors are
The infinitesimal distance squared can be written as follows
where we used that the rotation matrices are orthogonal (matrix times its transpose gives the identity matrix), so that
The rightmost matrix being the metric tensor associated with spherical polar coordinates, we find
The fact that the metric tensor is diagonal is expressed by stating that the spherical polar coordinate system is orthogonal. We see that the metric tensor has the squares of the respective scale factors on the diagonal.
Infinitesimal surface and volume element
An infinitesimal surface element spanned by two coordinates is equal to the square root of the corresponding 2 × 2 minor (subdeterminant) of the metric tensor times the infinitesimal coordinates,
For spherical polar coordinates it follows that
As an example we compute the area of the surface of a sphere with radius r,
The weight appearing in the infinitesimal volume element dV is the Jacobian (the determinant of the Jacobi matrix, which is the square root of the determinant of the metric tensor),
where we used that the determinant of a diagonal matrix is the product of its diagonal elements and the fact that the determinants of proper rotation matrices are unity. Because hr = 1, it so happens that the weight of the volume element is equal to the weight of the surface element perpendicular to r.
As an example of the use of dV, the volume V of a sphere with radius R is,
Velocity
We will express the velocity of a particle in spherical polar coordinates. In Cartesian coordinates velocity is the vector
and similarly the time derivatives of y, z , θ, φ, and r are given in Newton's fluxion (dot) notation. The following two equations follow from Eqs. (1) and (2), respectively,
Recalling that the unit spherical polar vectors are obtained by this rotation, we find
- ,
so that the velocity expressed in spherical polar coordinates becomes
Note parenthetically that
which becomes upon multiplication by dt2 the expression for ds2 given above.
Differential operators
In vector analysis a number of differential operators expressed in curvilinear coordinates play an important role. They are the gradient, the divergence, the curl, and the Laplace operator. It is possible to derive general expressions for these operators that are valid in any coordinate system and are based on the metric tensor associated with the coordinate system. In the case of orthogonal systems (diagonal metric tensors) only the square roots of the diagonal elements (the scale factors) appear in the expressions. Since these general relations exist, we will not give derivations for the special case of spherical polar coordinates, but depart from the general expressions.
Above we derived the following scale factors for the spherical polar coordinates,
and we showed that the unit vectors are obtained by two rotations of a Cartesian system.
The gradient of a scalar function Φ is,
If the vector function A is,
then its divergence is,
and its curl is given by
This is often written as
where it is understood that the determinant is computed by developing along the first row and then along the second row.
The Laplace operator of the scalar function Φ is,
Note that
References
- ↑ M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Dover, New York (1965)
- ↑ E. T. Whittaker and G. N. Watson, A Course of Modern Analysis, Cambridge UP, Cambridge UK (1965).
- ↑ R. Courant and D. Hilbert, Methoden der mathematischen Physik I, Springer Verlag, Berlin (1968).
- ↑ M. Kline, Mathematical Thought from Ancient to Modern Times, Oxford UP, New York (1972)
- ↑ M. R. Spiegel, Vector Analysis, Schaum Publishing Company, New York (1959).
- ↑ D. C. Kay, Tensor Calculus, Schaum's outline series, McGraw-Hill, New York (1988)
- ↑ T. M. Apostol, Mathematical Analysis, Addison-Wesley, Reading Mass. (1974)
- ↑ W. Miller, Jr., Symmetry and Separation of Variables, Addison-Wesley, Reading Mass. (1977)
External link
Weisstein, Eric W. "Spherical Coordinates." From MathWorld--A Wolfram Web Resource.