Introduction
In the study of geometry and potential theory, homoeoids and focaloids occupy a special niche. Both refer to shells—bounded regions—defined by pairs of ellipses or ellipsoids that share a particular relationship. Though the concepts may appear abstract, they provide elegant examples of how symmetry and shape influence physical fields such as gravity and electrostatics. This article offers an in‑depth exploration of homoeoids and focaloids, tracing their definitions, geometric construction, historical origins, mathematical significance, and illustrative examples.
1. What Is a Homoeoid?
1.1 Formal definition
A homoeoid (also spelled homeoid) is a shell bounded by two concentric, similar ellipses in two dimensions, or by two concentric, similar ellipsoids in three dimensions. “Concentric” means that the two shapes share the same centre, while “similar” indicates that one shape can be obtained from the other by a uniform scaling (i.e., all linear dimensions are multiplied by the same factor).
When the thickness of this shell becomes negligible—so that the inner and outer surfaces are infinitesimally close—the object is called a thin homoeoid.
1.2 Visualising a homoeoid
- 2‑D example: Imagine two circles sharing the same centre, one with radius r and the other with radius R > r. The annular region between them is a homoeoid because circles are special cases of ellipses, and they are both concentric and similar (the larger circle is a scaled version of the smaller).
- 3‑D example: Take two concentric spheres of radii a and b (with b > a). The spherical shell that lies between them is a homoeoid, as spheres are special ellipsoids.
- General ellipsoidal case: Consider an ellipsoid defined by the equation
\[ \frac{x^{2}}{A^{2}}+\frac{y^{2}}{B^{2}}+\frac{z^{2}}{C^{2}} = 1, \]
and a second ellipsoid with the same centre and the same axis ratios, but scaled by a factor k > 1:
\[ \frac{x^{2}}{(kA)^{2}}+\frac{y^{2}}{(kB)^{2}}+\frac{z^{2}}{(kC)^{2}} = 1. \]
The region sandwiched between these two surfaces is a homoeoid.
1.3 Thin homoeoid
When the scaling factor k approaches 1, the distance between the two bounding surfaces shrinks. In the limit k → 1, the shell becomes a thin homoeoid, mathematically represented as a surface of infinitesimal thickness. Thin homoeoids are particularly useful in analytical calculations because they simplify integrals while preserving the essential geometric character of the shell.
2. What Is a Focaloid?
2.1 Formal definition
A focaloid is a shell bounded by two concentric, confocal ellipses (in 2‑D) or ellipsoids (in 3‑D). “Confocal” means that the two shapes share the same foci, the distinguished points that define an ellipse or ellipsoid. In three dimensions, the foci of an ellipsoid form a line segment called the focal axis; a pair of confocal ellipsoids have identical focal axes.
Thus, a focaloid differs from a homoeoid in that the inner and outer surfaces are not merely scaled copies of each other; instead, they are linked by a common set of focal points.
2.2 Visualising a focaloid
- 2‑D confocal ellipses: Take the standard ellipse
\[ \frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}} = 1, \]
with foci at \((\pm c,0)\) where \(c^{2}=a^{2}-b^{2}\). A second ellipse sharing the same foci but with a larger semi‑major axis a′ > a (and consequently larger b′) yields a region between them that is a focaloid.
- 3‑D confocal ellipsoids: An ellipsoid
\[ \frac{x^{2}}{A^{2}}+\frac{y^{2}}{B^{2}}+\frac{z^{2}}{C^{2}} = 1 \]
has focal distances determined by the semi‑axes. A second ellipsoid with the same focal distances but larger semi‑axes encloses the first, forming a focaloid.
3. Historical Context
The term homoeoid was coined by two eminent 19th‑century physicists: Lord Kelvin (William Thomson) and Peter Tait. Their work on the mathematics of electricity, magnetism, and fluid dynamics frequently required idealised geometric constructs, and the homoeoid emerged as a useful abstraction for studying the potential of layered bodies.
Although the source does not provide a specific date, the collaboration between Kelvin and Tait on the Treatise on Natural Philosophy (first published in 1867) is historically associated with the introduction of the homoeoid concept. Their naming reflects the Greek root “homo‑” (same) and “‑oid” (form), emphasizing the similarity of the bounding surfaces.
The notion of a focaloid evolved later as mathematicians recognised the special role of confocal families of ellipses and ellipsoids in potential theory. By retaining common foci, a focaloid preserves a deeper symmetry that simplifies certain integral expressions, especially those arising in gravitation and electrostatics.
4. Geometric Foundations
4.1 Ellipses and ellipsoids
An ellipse is the set of points in a plane for which the sum of distances to two fixed points (the foci) is constant. Its canonical equation
\[ \frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}} = 1 \]
features semi‑major axis a and semi‑minor axis b (\(a\ge b\)).
An ellipsoid generalises this concept to three dimensions:
\[ \frac{x^{2}}{A^{2}}+\frac{y^{2}}{B^{2}}+\frac{z^{2}}{C^{2}} = 1, \]
with three principal semi‑axes A, B, and C.
Both shapes possess a centre (the origin in the canonical forms) and a set of foci that determine their geometry.
4.2 Similarity and scaling
Two ellipses (or ellipsoids) are similar if one can be obtained from the other by multiplying every coordinate by the same factor k > 0. In analytic terms, if
\[ \frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}} = 1 \]
describes the inner ellipse, the outer, similar ellipse is
\[ \frac{x^{2}}{(ka)^{2}}+\frac{y^{2}}{(kb)^{2}} = 1. \]
The ratio of the corresponding semi‑axes is constant, preserving the shape while changing size.
4.3 Concentricity
Concentric objects share a common centre. For ellipses and ellipsoids, this means the coordinate origin of the inner shape coincides with that of the outer shape. Concentricity guarantees that any radial line from the centre intersects both surfaces, which is essential for defining a shell.
4.4 Confocality
Two ellipses (or ellipsoids) are confocal when they have identical foci. In the canonical form, this condition translates to the relationship
\[ c^{2}=a^{2}-b^{2}=a'^{2}-b'^{2}, \]
where \((\pm c,0)\) are the shared foci. In three dimensions, confocal ellipsoids share the same focal axes, a property that can be expressed through the equality of certain quadratic forms.
5. Mathematical Significance
5.1 Potential theory
In classical potential theory, the gravitational or electrostatic potential generated by a homogeneous mass or charge distribution often depends only on the geometry of the source. A homoeoid possesses a remarkable property: the potential inside a thin homoeoid is constant throughout the interior region. This result follows from the symmetry of the concentric, similar bounding surfaces and is a direct analogue of the well‑known fact that the field inside a spherical shell is zero.
A focaloid, by virtue of its confocal construction, also yields a simple interior potential. The shared foci enable the use of ellipsoidal coordinates, where the Laplace equation separates, leading to analytic expressions for the field.
These properties make homoeoids and focaloids valuable test cases for verifying numerical solvers, for constructing layered Earth models in geophysics, and for approximating the fields of more complex bodies.
5.2 Integral representations
When evaluating the potential of a solid ellipsoid, one often decomposes the volume into a series of nested thin shells. Each shell can be treated as a thin homoeoid, allowing the total potential to be expressed as an integral over the scaling factor k. Similarly, a series of concentric confocal shells (focaloids) can be employed when the problem is naturally expressed in ellipsoidal coordinates.
These techniques reduce a three‑dimensional volume integral to a one‑dimensional integral over a single geometric parameter, dramatically simplifying calculations.
5.3 Applications in physics and engineering
- Geophysics: Earth’s mantle and core are sometimes modelled as concentric ellipsoidal layers. Homoeoidal approximations help in interpreting gravity anomalies and seismic data.
- Aerospace engineering: The mass distribution of rotating bodies (e.g., planets, satellites) is often approximated by ellipsoidal shells to compute moments of inertia.
- Electrostatics: Conducting shells shaped as homoeoids or focaloids serve as idealised capacitors, where the constant interior potential simplifies the analysis of charge distribution.
While these applications extend beyond the pure geometric definition, they rely on the fundamental properties that arise from the homoeoid or focaloid construction.
6. Examples and Illustrations
6.1 Concentric circular homoeoid (2‑D)
Inner radius: \(r = 2\) m Outer radius: \(R = 3\) m
The annulus between the two circles is a homoeoid. If the annulus is made of a uniform material, the potential at any point inside the inner circle is the same as at the centre.
6.2 Concentric elliptical homoeoid (2‑D)
Inner ellipse: semi‑axes \(a = 4\) m, \(b = 2\) m Outer ellipse: semi‑axes \(A = 6\) m, \(B = 3\) m (scale factor \(k = 1.5\))
Both ellipses share the centre (0, 0) and have the same axis ratio \(a:b = A:B = 2:1\). The region between them is a homoeoid.
6.3 Concentric confocal elliptical focaloid (2‑D)
Inner ellipse: \(a = 3\) m, \(b = \sqrt{a^{2} - c^{2}}\) with \(c = 2\) m → \(b = \sqrt{9-4}= \sqrt{5}\) m Outer ellipse: \(a' = 5\) m, same focal distance \(c = 2\) m → \(b' = \sqrt{a'^{2} - c^{2}} = \sqrt{25-4}= \sqrt{21}\) m
Both ellipses have foci at \((\pm 2,0)\). The shell between them is a focaloid.
6.4 Concentric spherical homoeoid (3‑D)
Inner radius: \(a = 1\) km Outer radius: \(b = 2\) km
This spherical shell is the simplest three‑dimensional homoeoid.
6.5 Concentric confocal ellipsoidal focaloid (3‑D)
Inner ellipsoid: semi‑axes \((A,B,C) = (3,2,1)\) km Outer ellipsoid: semi‑axes \((A',B',C') = (5, \sqrt{5^{2}-3^{2}+2^{2}}, \sqrt{5^{2}-3^{2}+1^{2}})\) km, chosen so that the focal distances along each principal axis remain unchanged.
The region between these ellipsoids constitutes a focaloid.
These concrete examples illustrate how the abstract definitions translate into tangible geometric objects.
7. Computational Considerations
7.1 Parameterisation
A homoeoid can be parameterised by a single scaling factor k (for thin shells) or by two independent radii/axes (for thick shells).