Bipolar coordinates

Last updated
Bipolar coordinate system Iso1.svg
Bipolar coordinate system

Bipolar coordinates are a two-dimensional orthogonal coordinate system based on the Apollonian circles. [1] Confusingly, the same term is also sometimes used for two-center bipolar coordinates. There is also a third system, based on two poles (biangular coordinates).

Contents

The term "bipolar" is further used on occasion to describe other curves having two singular points (foci), such as ellipses, hyperbolas, and Cassini ovals. However, the term bipolar coordinates is reserved for the coordinates described here, and never used for systems associated with those other curves, such as elliptic coordinates.

Geometric interpretation of the bipolar coordinates. The angle s is formed by the two foci and the point P, whereas t is the logarithm of the ratio of distances to the foci. The corresponding circles of constant s and t are shown in red and blue, respectively, and meet at right angles (magenta box); they are orthogonal. Bipolar coordinates.svg
Geometric interpretation of the bipolar coordinates. The angle σ is formed by the two foci and the point P, whereas τ is the logarithm of the ratio of distances to the foci. The corresponding circles of constant σ and τ are shown in red and blue, respectively, and meet at right angles (magenta box); they are orthogonal.

Definition

The system is based on two foci F1 and F2. Referring to the figure at right, the σ-coordinate of a point P equals the angle F1 P F2, and the τ-coordinate equals the natural logarithm of the ratio of the distances d1 and d2:

If, in the Cartesian system, the foci are taken to lie at (−a, 0) and (a, 0), the coordinates of the point P are

The coordinate τ ranges from (for points close to F1) to (for points close to F2). The coordinate σ is only defined modulo , and is best taken to range from to π, by taking it as the negative of the acute angle F1 P F2 if P is in the lower half plane.

Proof that coordinate system is orthogonal

The equations for x and y can be combined to give

[2] [3]

or

This equation shows that σ and τ are the real and imaginary parts of an analytic function of x+iy (with logarithmic branch points at the foci), which in turn proves (by appeal to the general theory of conformal mapping) (the Cauchy-Riemann equations) that these particular curves of σ and τ intersect at right angles, i.e., it is an orthogonal coordinate system.

Curves of constant and

Bipolar sigma isosurfaces.png
Bipolar tau isosurfaces.png

The curves of constant σ correspond to non-concentric circles

 

 

 

 

(1)

that intersect at the two foci. The centers of the constant-σ circles lie on the y-axis at with radius . Circles of positive σ are centered above the x-axis, whereas those of negative σ lie below the axis. As the magnitude |σ|- π/2 decreases, the radius of the circles decreases and the center approaches the origin (0, 0), which is reached when |σ| = π/2. (From elementary geometry, all triangles on a circle with 2 vertices on opposite ends of a diameter are right triangles.)

The curves of constant are non-intersecting circles of different radii

 

 

 

 

(2)

that surround the foci but again are not concentric. The centers of the constant-τ circles lie on the x-axis at with radius . The circles of positive τ lie in the right-hand side of the plane (x > 0), whereas the circles of negative τ lie in the left-hand side of the plane (x < 0). The τ = 0 curve corresponds to the y-axis (x = 0). As the magnitude of τ increases, the radius of the circles decreases and their centers approach the foci.

Inverse relations

The passage from the Cartesian coordinates towards the bipolar coordinates can be done via the following formulas:

and

The coordinates also have the identities:

and

which can derived by solving Eq. (1) and (2) for and , respectively.

Scale factors

To obtain the scale factors for bipolar coordinates, we take the differential of the equation for , which gives

Multiplying this equation with its complex conjugate yields

Employing the trigonometric identities for products of sines and cosines, we obtain

from which it follows that

Hence the scale factors for σ and τ are equal, and given by

Many results now follow in quick succession from the general formulae for orthogonal coordinates. Thus, the infinitesimal area element equals

and the Laplacian is given by

Expressions for , , and can be expressed obtained by substituting the scale factors into the general formulae found in orthogonal coordinates.

Applications

The classic applications of bipolar coordinates are in solving partial differential equations, e.g., Laplace's equation or the Helmholtz equation, for which bipolar coordinates allow a separation of variables. An example is the electric field surrounding two parallel cylindrical conductors with unequal diameters.

Extension to 3-dimensions

Bipolar coordinates form the basis for several sets of three-dimensional orthogonal coordinates.

See also

Related Research Articles

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

<span class="mw-page-title-main">Pauli matrices</span> Matrices important in quantum mechanics and the study of spin

In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

<span class="mw-page-title-main">Gudermannian function</span> Mathematical function relating circular and hyperbolic functions

In mathematics, the Gudermannian function relates a hyperbolic angle measure to a circular angle measure called the gudermannian of and denoted . The Gudermannian function reveals a close relationship between the circular functions and hyperbolic functions. It was introduced in the 1760s by Johann Heinrich Lambert, and later named for Christoph Gudermann who also described the relationship between circular and hyperbolic functions in 1830. The gudermannian is sometimes called the hyperbolic amplitude as a limiting case of the Jacobi elliptic amplitude when parameter

<span class="mw-page-title-main">Parabolic coordinates</span>

Parabolic coordinates are a two-dimensional orthogonal coordinate system in which the coordinate lines are confocal parabolas. A three-dimensional version of parabolic coordinates is obtained by rotating the two-dimensional system about the symmetry axis of the parabolas.

<span class="mw-page-title-main">Theta function</span> Special functions of several complex variables

In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. As Grassmann algebras, they appear in quantum field theory.

In mathematics, the Jacobi elliptic functions are a set of basic elliptic functions. They are found in the description of the motion of a pendulum, as well as in the design of electronic elliptic filters. While trigonometric functions are defined with reference to a circle, the Jacobi elliptic functions are a generalization which refer to other conic sections, the ellipse in particular. The relation to trigonometric functions is contained in the notation, for example, by the matching notation for . The Jacobi elliptic functions are used more often in practical problems than the Weierstrass elliptic functions as they do not require notions of complex analysis to be defined and/or understood. They were introduced by Carl Gustav Jakob Jacobi (1829). Carl Friedrich Gauss had already studied special Jacobi elliptic functions in 1797, the lemniscate elliptic functions in particular, but his work was published much later.

<span class="mw-page-title-main">Hamilton–Jacobi equation</span> A reformulation of Newtons laws of motion using the calculus of variations

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

<span class="mw-page-title-main">Tangent half-angle formula</span> Relates the tangent of half of an angle to trigonometric functions of the entire angle

In trigonometry, tangent half-angle formulas relate the tangent of half of an angle to trigonometric functions of the entire angle. The tangent of half an angle is the stereographic projection of the circle onto a line. Among these formulas are the following:

<span class="mw-page-title-main">Mohr's circle</span> Geometric civil engineering calculation technique

Mohr's circle is a two-dimensional graphical representation of the transformation law for the Cauchy stress tensor.

<span class="mw-page-title-main">Lemniscate elliptic functions</span> Mathematical functions

In mathematics, the lemniscate elliptic functions are elliptic functions related to the arc length of the lemniscate of Bernoulli. They were first studied by Giulio Fagnano in 1718 and later by Leonhard Euler and Carl Friedrich Gauss, among others.

<span class="mw-page-title-main">Elliptic coordinate system</span> 2D coordinate system whose coordinate lines are confocal ellipses and hyperbolae

In geometry, the elliptic coordinate system is a two-dimensional orthogonal coordinate system in which the coordinate lines are confocal ellipses and hyperbolae. The two foci and are generally taken to be fixed at and , respectively, on the -axis of the Cartesian coordinate system.

<span class="mw-page-title-main">Toroidal coordinates</span>

Toroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional bipolar coordinate system about the axis that separates its two foci. Thus, the two foci and in bipolar coordinates become a ring of radius in the plane of the toroidal coordinate system; the -axis is the axis of rotation. The focal ring is also known as the reference circle.

<span class="mw-page-title-main">Bispherical coordinates</span>

Bispherical coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional bipolar coordinate system about the axis that connects the two foci. Thus, the two foci and in bipolar coordinates remain points in the bispherical coordinate system.

<span class="mw-page-title-main">Bipolar cylindrical coordinates</span>

Bipolar cylindrical coordinates are a three-dimensional orthogonal coordinate system that results from projecting the two-dimensional bipolar coordinate system in the perpendicular -direction. The two lines of foci and of the projected Apollonian circles are generally taken to be defined by and , respectively, in the Cartesian coordinate system.

<span class="mw-page-title-main">Elliptic cylindrical coordinates</span>

Elliptic cylindrical coordinates are a three-dimensional orthogonal coordinate system that results from projecting the two-dimensional elliptic coordinate system in the perpendicular -direction. Hence, the coordinate surfaces are prisms of confocal ellipses and hyperbolae. The two foci and are generally taken to be fixed at and , respectively, on the -axis of the Cartesian coordinate system.

<span class="mw-page-title-main">Parabolic cylindrical coordinates</span>

In mathematics, parabolic cylindrical coordinates are a three-dimensional orthogonal coordinate system that results from projecting the two-dimensional parabolic coordinate system in the perpendicular -direction. Hence, the coordinate surfaces are confocal parabolic cylinders. Parabolic cylindrical coordinates have found many applications, e.g., the potential theory of edges.

<span class="mw-page-title-main">Prolate spheroidal coordinates</span>

Prolate spheroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional elliptic coordinate system about the focal axis of the ellipse, i.e., the symmetry axis on which the foci are located. Rotation about the other axis produces oblate spheroidal coordinates. Prolate spheroidal coordinates can also be considered as a limiting case of ellipsoidal coordinates in which the two smallest principal axes are equal in length.

<span class="mw-page-title-main">Oblate spheroidal coordinates</span> Three-dimensional orthogonal coordinate system

Oblate spheroidal coordinates are a three-dimensional orthogonal coordinate system that results from rotating the two-dimensional elliptic coordinate system about the non-focal axis of the ellipse, i.e., the symmetry axis that separates the foci. Thus, the two foci are transformed into a ring of radius in the x-y plane. Oblate spheroidal coordinates can also be considered as a limiting case of ellipsoidal coordinates in which the two largest semi-axes are equal in length.

<span class="mw-page-title-main">Plane stress</span> When the stress vector within a material is zero across a particular plane

In continuum mechanics, a material is said to be under plane stress if the stress vector is zero across a particular plane. When that situation occurs over an entire element of a structure, as is often the case for thin plates, the stress analysis is considerably simplified, as the stress state can be represented by a tensor of dimension 2. A related notion, plane strain, is often applicable to very thick members.

In perturbation theory, the Poincaré–Lindstedt method or Lindstedt–Poincaré method is a technique for uniformly approximating periodic solutions to ordinary differential equations, when regular perturbation approaches fail. The method removes secular terms—terms growing without bound—arising in the straightforward application of perturbation theory to weakly nonlinear problems with finite oscillatory solutions.

References

  1. Eric W. Weisstein, Concise Encyclopedia of Mathematics CD-ROM, Bipolar Coordinates, CD-ROM edition 1.0, May 20, 1999 "Bipolar Coordinates". Archived from the original on December 12, 2007. Retrieved December 9, 2006.
  2. Polyanin, Andrei Dmitrievich (2002). Handbook of linear partial differential equations for engineers and scientists. CRC Press. p. 476. ISBN   1-58488-299-9.
  3. Happel, John; Brenner, Howard (1983). Low Reynolds number hydrodynamics: with special applications to particulate media. Mechanics of fluids and transport processes. Vol. 1. Springer. p. 497. ISBN   978-90-247-2877-0.