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).
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.
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 2π, 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.
The equations for x and y can be combined to give
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.
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.
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.
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.
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.
Bipolar coordinates form the basis for several sets of three-dimensional orthogonal coordinates.
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.
The imaginary unit or unit imaginary number is a solution to the quadratic equation x2 + 1 = 0. Although there is no real number with this property, i can be used to extend the real numbers to what are called complex numbers, using addition and multiplication. A simple example of the use of i in a complex number is 2 + 3i.
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
The great-circle distance, orthodromic distance, or spherical distance is the distance between two points on a sphere, measured along the great-circle arc between them. This arc is the shortest path between the two points on the surface of the sphere.
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.
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 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.
In trigonometry, tangent half-angle formulas relate the tangent of half of an angle to trigonometric functions of the entire angle.
Mohr's circle is a two-dimensional graphical representation of the transformation law for the Cauchy stress tensor.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
The Rogers–Ramanujan continued fraction is a continued fraction discovered by Rogers (1894) and independently by Srinivasa Ramanujan, and closely related to the Rogers–Ramanujan identities. It can be evaluated explicitly for a broad class of values of its argument.