In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction. The reference point (analogous to the origin of a Cartesian coordinate system) is called the pole, and the ray from the pole in the reference direction is the polar axis. The distance from the pole is called the radial coordinate, radial distance or simply radius, and the angle is called the angular coordinate, polar angle, or azimuth . [1] Angles in polar notation are generally expressed in either degrees or radians (π rad being equal to 180° and 2π rad being equal to 360°).
Grégoire de Saint-Vincent and Bonaventura Cavalieri independently introduced the concepts in the mid-17th century, though the actual term "polar coordinates" has been attributed to Gregorio Fontana in the 18th century. The initial motivation for the introduction of the polar system was the study of circular and orbital motion.
Polar coordinates are most appropriate in any context where the phenomenon being considered is inherently tied to direction and length from a center point in a plane, such as spirals. Planar physical systems with bodies moving around a central point, or phenomena originating from a central point, are often simpler and more intuitive to model using polar coordinates.
The polar coordinate system is extended to three dimensions in two ways: the cylindrical and spherical coordinate systems.
The concepts of angle and radius were already used by ancient peoples of the first millennium BC. The Greek astronomer and astrologer Hipparchus (190–120 BC) created a table of chord functions giving the length of the chord for each angle, and there are references to his using polar coordinates in establishing stellar positions. [2] In On Spirals , Archimedes describes the Archimedean spiral, a function whose radius depends on the angle. The Greek work, however, did not extend to a full coordinate system.
From the 8th century AD onward, astronomers developed methods for approximating and calculating the direction to Mecca (qibla)—and its distance—from any location on the Earth. [3] From the 9th century onward they were using spherical trigonometry and map projection methods to determine these quantities accurately. The calculation is essentially the conversion of the equatorial polar coordinates of Mecca (i.e. its longitude and latitude) to its polar coordinates (i.e. its qibla and distance) relative to a system whose reference meridian is the great circle through the given location and the Earth's poles and whose polar axis is the line through the location and its antipodal point. [4]
There are various accounts of the introduction of polar coordinates as part of a formal coordinate system. The full history of the subject is described in Harvard professor Julian Lowell Coolidge's Origin of Polar Coordinates. [5] Grégoire de Saint-Vincent and Bonaventura Cavalieri independently introduced the concepts in the mid-seventeenth century. Saint-Vincent wrote about them privately in 1625 and published his work in 1647, while Cavalieri published his in 1635 with a corrected version appearing in 1653. Cavalieri first used polar coordinates to solve a problem relating to the area within an Archimedean spiral. Blaise Pascal subsequently used polar coordinates to calculate the length of parabolic arcs.
In Method of Fluxions (written 1671, published 1736), Sir Isaac Newton examined the transformations between polar coordinates, which he referred to as the "Seventh Manner; For Spirals", and nine other coordinate systems. [6] In the journal Acta Eruditorum (1691), Jacob Bernoulli used a system with a point on a line, called the pole and polar axis respectively. Coordinates were specified by the distance from the pole and the angle from the polar axis. Bernoulli's work extended to finding the radius of curvature of curves expressed in these coordinates.
The actual term polar coordinates has been attributed to Gregorio Fontana and was used by 18th-century Italian writers. The term appeared in English in George Peacock's 1816 translation of Lacroix's Differential and Integral Calculus. [7] [8] Alexis Clairaut was the first to think of polar coordinates in three dimensions, and Leonhard Euler was the first to actually develop them. [5]
The radial coordinate is often denoted by r or ρ, and the angular coordinate by φ, θ, or t. The angular coordinate is specified as φ by ISO standard 31-11. However, in mathematical literature the angle is often denoted by θ instead.
Angles in polar notation are generally expressed in either degrees or radians (2π rad being equal to 360°). Degrees are traditionally used in navigation, surveying, and many applied disciplines, while radians are more common in mathematics and mathematical physics. [9]
The angle φ is defined to start at 0° from a reference direction, and to increase for rotations in either clockwise (cw) or counterclockwise (ccw) orientation. For example, in mathematics, the reference direction is usually drawn as a ray from the pole horizontally to the right, and the polar angle increases to positive angles for ccw rotations, whereas in navigation (bearing, heading) the 0°-heading is drawn vertically upwards and the angle increases for cw rotations. The polar angles decrease towards negative values for rotations in the respectively opposite orientations.
Adding any number of full turns (360°) to the angular coordinate does not change the corresponding direction. Similarly, any polar coordinate is identical to the coordinate with the negative radial component and the opposite direction (adding 180° to the polar angle). Therefore, the same point (r, φ) can be expressed with an infinite number of different polar coordinates (r, φ + n × 360°) and (−r, φ + 180° + n × 360°) = (−r, φ + (2n + 1) × 180°), where n is an arbitrary integer. [10] Moreover, the pole itself can be expressed as (0, φ) for any angle φ. [11]
Where a unique representation is needed for any point besides the pole, it is usual to limit r to positive numbers (r > 0) and φ to either the interval [0, 360°) or the interval (−180°, 180°], which in radians are [0, 2π) or (−π, π]. [12] Another convention, in reference to the usual codomain of the arctan function, is to allow for arbitrary nonzero real values of the radial component and restrict the polar angle to (−90°, 90°]. In all cases a unique azimuth for the pole (r = 0) must be chosen, e.g., φ = 0.
The polar coordinates r and φ can be converted to the Cartesian coordinates x and y by using the trigonometric functions sine and cosine:
The Cartesian coordinates x and y can be converted to polar coordinates r and φ with r ≥ 0 and φ in the interval (−π, π] by: [13] where hypot is the Pythagorean sum and atan2 is a common variation on the arctangent function defined as
If r is calculated first as above, then this formula for φ may be stated more simply using the arccosine function:
Every complex number can be represented as a point in the complex plane, and can therefore be expressed by specifying either the point's Cartesian coordinates (called rectangular or Cartesian form) or the point's polar coordinates (called polar form).
In polar form, the distance and angle coordinates are often referred to as the number's magnitude and argument respectively. Two complex numbers can be multiplied by adding their arguments and multiplying their magnitudes.
The complex number z can be represented in rectangular form as where i is the imaginary unit, or can alternatively be written in polar form as and from there, by Euler's formula, [14] as where e is Euler's number, and φ, expressed in radians, is the principal value of the complex number function arg applied to x + iy. To convert between the rectangular and polar forms of a complex number, the conversion formulae given above can be used. Equivalent are the cis and angle notations:
For the operations of multiplication, division, exponentiation, and root extraction of complex numbers, it is generally much simpler to work with complex numbers expressed in polar form rather than rectangular form. From the laws of exponentiation:
The equation defining a plane curve expressed in polar coordinates is known as a polar equation. In many cases, such an equation can simply be specified by defining r as a function of φ. The resulting curve then consists of points of the form (r(φ), φ) and can be regarded as the graph of the polar function r. Note that, in contrast to Cartesian coordinates, the independent variable φ is the second entry in the ordered pair.
Different forms of symmetry can be deduced from the equation of a polar function r:
Because of the circular nature of the polar coordinate system, many curves can be described by a rather simple polar equation, whereas their Cartesian form is much more intricate. Among the best known of these curves are the polar rose, Archimedean spiral, lemniscate, limaçon, and cardioid.
For the circle, line, and polar rose below, it is understood that there are no restrictions on the domain and range of the curve.
The general equation for a circle with a center at and radius a is
This can be simplified in various ways, to conform to more specific cases, such as the equation for a circle with a center at the pole and radius a. [15]
When r0 = a or the origin lies on the circle, the equation becomes
In the general case, the equation can be solved for r, giving The solution with a minus sign in front of the square root gives the same curve.
Radial lines (those running through the pole) are represented by the equation where is the angle of elevation of the line; that is, , where is the slope of the line in the Cartesian coordinate system. The non-radial line that crosses the radial line perpendicularly at the point has the equation
Otherwise stated is the point in which the tangent intersects the imaginary circle of radius
A polar rose is a mathematical curve that looks like a petaled flower, and that can be expressed as a simple polar equation,
for any constant γ0 (including 0). If k is an integer, these equations will produce a k-petaled rose if k is odd, or a 2k-petaled rose if k is even. If k is rational, but not an integer, a rose-like shape may form but with overlapping petals. Note that these equations never define a rose with 2, 6, 10, 14, etc. petals. The variable a directly represents the length or amplitude of the petals of the rose, while k relates to their spatial frequency. The constant γ0 can be regarded as a phase angle.
The Archimedean spiral is a spiral discovered by Archimedes which can also be expressed as a simple polar equation. It is represented by the equation Changing the parameter a will turn the spiral, while b controls the distance between the arms, which for a given spiral is always constant. The Archimedean spiral has two arms, one for φ > 0 and one for φ < 0. The two arms are smoothly connected at the pole. If a = 0, taking the mirror image of one arm across the 90°/270° line will yield the other arm. This curve is notable as one of the first curves, after the conic sections, to be described in a mathematical treatise, and as a prime example of a curve best defined by a polar equation.
A conic section with one focus on the pole and the other somewhere on the 0° ray (so that the conic's major axis lies along the polar axis) is given by: where e is the eccentricity and is the semi-latus rectum (the perpendicular distance at a focus from the major axis to the curve). If e > 1, this equation defines a hyperbola; if e = 1, it defines a parabola; and if e < 1, it defines an ellipse. The special case e = 0 of the latter results in a circle of the radius .
A quadratrix in the first quadrant (x, y) is a curve with y = ρ sin θ equal to the fraction of the quarter circle with radius r determined by the radius through the curve point. Since this fraction is , the curve is given by . [16]
The graphs of two polar functions and have possible intersections of three types:
Calculus can be applied to equations expressed in polar coordinates. [17] [18]
The angular coordinate φ is expressed in radians throughout this section, which is the conventional choice when doing calculus.
Using x = r cos φ and y = r sin φ, one can derive a relationship between derivatives in Cartesian and polar coordinates. For a given function, u(x,y), it follows that (by computing its total derivatives) or
Hence, we have the following formula:
Using the inverse coordinates transformation, an analogous reciprocal relationship can be derived between the derivatives. Given a function u(r,φ), it follows that or
Hence, we have the following formulae:
To find the Cartesian slope of the tangent line to a polar curve r(φ) at any given point, the curve is first expressed as a system of parametric equations.
Differentiating both equations with respect to φ yields
Dividing the second equation by the first yields the Cartesian slope of the tangent line to the curve at the point (r(φ), φ):
For other useful formulas including divergence, gradient, and Laplacian in polar coordinates, see curvilinear coordinates.
The arc length (length of a line segment) defined by a polar function is found by the integration over the curve r(φ). Let L denote this length along the curve starting from points A through to point B, where these points correspond to φ = a and φ = b such that 0 < b − a < 2π. The length of L is given by the following integral
Let R denote the region enclosed by a curve r(φ) and the rays φ = a and φ = b, where 0 < b − a ≤ 2π. Then, the area of R is
This result can be found as follows. First, the interval [a, b] is divided into n subintervals, where n is some positive integer. Thus Δφ, the angle measure of each subinterval, is equal to b − a (the total angle measure of the interval), divided by n, the number of subintervals. For each subinterval i = 1, 2, ..., n, let φi be the midpoint of the subinterval, and construct a sector with the center at the pole, radius r(φi), central angle Δφ and arc length r(φi)Δφ. The area of each constructed sector is therefore equal to Hence, the total area of all of the sectors is
As the number of subintervals n is increased, the approximation of the area improves. Taking n → ∞, the sum becomes the Riemann sum for the above integral.
A mechanical device that computes area integrals is the planimeter, which measures the area of plane figures by tracing them out: this replicates integration in polar coordinates by adding a joint so that the 2-element linkage effects Green's theorem, converting the quadratic polar integral to a linear integral.
Using Cartesian coordinates, an infinitesimal area element can be calculated as dA = dxdy. The substitution rule for multiple integrals states that, when using other coordinates, the Jacobian determinant of the coordinate conversion formula has to be considered:
Hence, an area element in polar coordinates can be written as
Now, a function, that is given in polar coordinates, can be integrated as follows:
Here, R is the same region as above, namely, the region enclosed by a curve r(φ) and the rays φ = a and φ = b. The formula for the area of R is retrieved by taking f identically equal to 1.
A more surprising application of this result yields the Gaussian integral:
Vector calculus can also be applied to polar coordinates. For a planar motion, let be the position vector (r cos(φ), r sin(φ)), with r and φ depending on time t.
We define an orthonormal basis with three unit vectors: radial, transverse, and normal directions. The radial direction is defined by normalizing : Radial and velocity directions span the plane of the motion, whose normal direction is denoted : The transverse direction is perpendicular to both radial and normal directions:
Then
This equation can be obtain by taking derivative of the function and derivatives of the unit basis vectors.
For a curve in 2D where the parameter is the previous equations simplify to:
The term is sometimes referred to as the centripetal acceleration, and the term as the Coriolis acceleration. For example, see Shankar. [19]
Note: these terms, that appear when acceleration is expressed in polar coordinates, are a mathematical consequence of differentiation; they appear whenever polar coordinates are used. In planar particle dynamics these accelerations appear when setting up Newton's second law of motion in a rotating frame of reference. Here these extra terms are often called fictitious forces; fictitious because they are simply a result of a change in coordinate frame. That does not mean they do not exist, rather they exist only in the rotating frame.
For a particle in planar motion, one approach to attaching physical significance to these terms is based on the concept of an instantaneous co-rotating frame of reference. [20] To define a co-rotating frame, first an origin is selected from which the distance r(t) to the particle is defined. An axis of rotation is set up that is perpendicular to the plane of motion of the particle, and passing through this origin. Then, at the selected moment t, the rate of rotation of the co-rotating frame Ω is made to match the rate of rotation of the particle about this axis, dφ/dt. Next, the terms in the acceleration in the inertial frame are related to those in the co-rotating frame. Let the location of the particle in the inertial frame be (r(t), φ(t)), and in the co-rotating frame be (r′(t), φ′(t)). Because the co-rotating frame rotates at the same rate as the particle, dφ′/dt = 0. The fictitious centrifugal force in the co-rotating frame is mrΩ2, radially outward. The velocity of the particle in the co-rotating frame also is radially outward, because dφ′/dt = 0. The fictitious Coriolis force therefore has a value −2m(dr/dt)Ω, pointed in the direction of increasing φ only. Thus, using these forces in Newton's second law we find: where over dots represent derivatives with respect to time, and F is the net real force (as opposed to the fictitious forces). In terms of components, this vector equation becomes: which can be compared to the equations for the inertial frame:
This comparison, plus the recognition that by the definition of the co-rotating frame at time t it has a rate of rotation Ω = dφ/dt, shows that we can interpret the terms in the acceleration (multiplied by the mass of the particle) as found in the inertial frame as the negative of the centrifugal and Coriolis forces that would be seen in the instantaneous, non-inertial co-rotating frame.
For general motion of a particle (as opposed to simple circular motion), the centrifugal and Coriolis forces in a particle's frame of reference commonly are referred to the instantaneous osculating circle of its motion, not to a fixed center of polar coordinates. For more detail, see centripetal force.
In the modern terminology of differential geometry, polar coordinates provide coordinate charts for the differentiable manifold R2 \ {(0,0)}, the plane minus the origin. In these coordinates, the Euclidean metric tensor is given byThis can be seen via the change of variables formula for the metric tensor, or by computing the differential forms dx, dy via the exterior derivative of the 0-forms x = r cos(θ), y = r sin(θ) and substituting them in the Euclidean metric tensor ds2 = dx2 + dy2.
An elementary proof of the formula |
---|
Let , and be two points in the plane given by their cartesian and polar coordinates. Then Since , and , we get that Now we use the trigonometric identity to proceed: If the radial and angular quantities are near to each other, and therefore near to a common quantity and , we have that . Moreover, the cosine of can be approximated with the Taylor series of the cosine up to linear terms: so that , and . Therefore, around an infinitesimally small domain of any point, as stated. |
An orthonormal frame with respect to this metric is given bywith dual coframe The connection form relative to this frame and the Levi-Civita connection is given by the skew-symmetric matrix of 1-formsand hence the curvature form Ω = dω + ω∧ω vanishes. Therefore, as expected, the punctured plane is a flat manifold.
The polar coordinate system is extended into three dimensions with two different coordinate systems, the cylindrical and spherical coordinate system.
Polar coordinates are two-dimensional and thus they can be used only where point positions lie on a single two-dimensional plane. They are most appropriate in any context where the phenomenon being considered is inherently tied to direction and length from a center point. For instance, the examples above show how elementary polar equations suffice to define curves—such as the Archimedean spiral—whose equation in the Cartesian coordinate system would be much more intricate. Moreover, many physical systems—such as those concerned with bodies moving around a central point or with phenomena originating from a central point—are simpler and more intuitive to model using polar coordinates. The initial motivation for the introduction of the polar system was the study of circular and orbital motion.
Polar coordinates are used often in navigation as the destination or direction of travel can be given as an angle and distance from the object being considered. For instance, aircraft use a slightly modified version of the polar coordinates for navigation. In this system, the one generally used for any sort of navigation, the 0° ray is generally called heading 360, and the angles continue in a clockwise direction, rather than counterclockwise, as in the mathematical system. Heading 360 corresponds to magnetic north, while headings 90, 180, and 270 correspond to magnetic east, south, and west, respectively. [21] Thus, an aircraft traveling 5 nautical miles due east will be traveling 5 units at heading 90 (read zero-niner-zero by air traffic control). [22]
Systems displaying radial symmetry provide natural settings for the polar coordinate system, with the central point acting as the pole. A prime example of this usage is the groundwater flow equation when applied to radially symmetric wells. Systems with a radial force are also good candidates for the use of the polar coordinate system. These systems include gravitational fields, which obey the inverse-square law, as well as systems with point sources, such as radio antennas.
Radially asymmetric systems may also be modeled with polar coordinates. For example, a microphone's pickup pattern illustrates its proportional response to an incoming sound from a given direction, and these patterns can be represented as polar curves. The curve for a standard cardioid microphone, the most common unidirectional microphone, can be represented as r = 0.5 + 0.5sin(ϕ) at its target design frequency. [23] The pattern shifts toward omnidirectionality at lower frequencies.
In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a given point in space is specified by three real numbers: the radial distancer along the radial line connecting the point to the fixed point of origin; the polar angleθ between the radial line and a given polar axis; and the azimuthal angleφ as the angle of rotation of the radial line around the polar axis. (See graphic regarding the "physics convention".) Once the radius is fixed, the three coordinates (r, θ, φ), known as a 3-tuple, provide a coordinate system on a sphere, typically called the spherical polar coordinates. The plane passing through the origin and perpendicular to the polar axis (where the polar angle is a right angle) is called the reference plane (sometimes fundamental plane).
In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as or where is the Laplace operator, is the divergence operator, is the gradient operator, and is a twice-differentiable real-valued function. The Laplace operator therefore maps a scalar function to another scalar function.
In mathematics, an n-sphere or hypersphere is an -dimensional generalization of the -dimensional circle and -dimensional sphere to any non-negative integer . The circle is considered 1-dimensional, and the sphere 2-dimensional, because the surfaces themselves are 1- and 2-dimensional respectively, not because they exist as shapes in 1- and 2-dimensional space. As such, the -sphere is the setting for -dimensional spherical geometry.
The Navier–Stokes equations are partial differential equations which describe the motion of viscous fluid substances. They were named after French engineer and physicist Claude-Louis Navier and the Irish physicist and mathematician George Gabriel Stokes. They were developed over several decades of progressively building the theories, from 1822 (Navier) to 1842–1850 (Stokes).
In fluid dynamics, potential flow or irrotational flow refers to a description of a fluid flow with no vorticity in it. Such a description typically arises in the limit of vanishing viscosity, i.e., for an inviscid fluid and with no vorticity present in the flow.
An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
In mathematics, a unit vector in a normed vector space is a vector of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in .
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δf (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p).
In vector calculus, the Jacobian matrix of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as input as the number of vector components of its output, its determinant is referred to as the Jacobian determinant. Both the matrix and the determinant are often referred to simply as the Jacobian in literature. They are named after Carl Gustav Jacob Jacobi.
In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.
In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. The table of spherical harmonics contains a list of common spherical harmonics.
In analytical mechanics, generalized coordinates are a set of parameters used to represent the state of a system in a configuration space. These parameters must uniquely define the configuration of the system relative to a reference state. The generalized velocities are the time derivatives of the generalized coordinates of the system. The adjective "generalized" distinguishes these parameters from the traditional use of the term "coordinate" to refer to Cartesian coordinates.
In geometry, a cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion. A cardioid can also be defined as the set of points of reflections of a fixed point on a circle through all tangents to the circle.
This is a list of some vector calculus formulae for working with common curvilinear coordinate systems.
In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.
In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.
In mathematics (specifically multivariable calculus), a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z).
In mathematics, vector spherical harmonics (VSH) are an extension of the scalar spherical harmonics for use with vector fields. The components of the VSH are complex-valued functions expressed in the spherical coordinate basis vectors.
In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.