Spherinder

Last updated
The spherinder can be seen as the volume between two parallel and equal solid 2-spheres (3-balls) in 4-dimensional space, here stereographically projected into 3D. Couronne solide.svg
The spherinder can be seen as the volume between two parallel and equal solid 2-spheres (3-balls) in 4-dimensional space, here stereographically projected into 3D.

In four-dimensional geometry, the spherinder, or spherical cylinder or spherical prism, is a geometric object, defined as the Cartesian product of a 3-ball (or solid 2-sphere) of radius r1 and a line segment of length 2r2:

Contents

Like the duocylinder, it is also analogous to a cylinder in 3-space, which is the Cartesian product of a disk with a line segment.

It can be seen in 3-dimensional space by stereographic projection as two concentric spheres, in a similar way that a tesseract (cubic prism) can be projected as two concentric cubes, and how a circular cylinder can be projected into 2-dimensional space as two concentric circles.

Relation to other shapes

In 3-space, a cylinder can be considered intermediate between a cube and a sphere. In 4-space there are three intermediate forms between the tesseract and the hypersphere. Altogether, they are the:

These constructions correspond to the five partitions of 4, the number of dimensions.

If the two ends of a spherinder are connected together, or equivalently if a sphere is dragged around a circle perpendicular to its 3-space, it traces out a spheritorus. If the two ends of an uncapped spherinder are rolled inward, the resulting shape is a torisphere.

Spherindrical coordinate system

One can define a "spherindrical" coordinate system (r, θ, φ, w), consisting of spherical coordinates with an extra coordinate w. This is analogous to how cylindrical coordinates are defined: r and φ being polar coordinates with an elevation coordinate z. Spherindrical coordinates can be converted to Cartesian coordinates using the formulas

where r is the radius, θ is the zenith angle, φ is the azimuthal angle, and w is the height. Cartesian coordinates can be converted to spherindrical coordinates using the formulas

The hypervolume element for spherindrical coordinates is which can be derived by computing the Jacobian.

Measurements

Hypervolume

Given a spherinder with a spherical base of radius r and a height h, the hypervolume of the spherinder is given by

Surface volume

The surface volume of a spherinder, like the surface area of a cylinder, is made up of three parts:


Therefore, the total surface volume is

Proof

The above formulas for hypervolume and surface volume can be proven using integration. The hypervolume of an arbitrary 4D region is given by the quadruple integral

The hypervolume of the spherinder can be integrated over spherindrical coordinates.

The related truncated icosidodecahedral prism is constructed from two truncated icosidodecahedra connected by prisms, shown here in stereographic projection with some prisms hidden. Truncated icosidodecahedral prism.png
The related truncated icosidodecahedral prism is constructed from two truncated icosidodecahedra connected by prisms, shown here in stereographic projection with some prisms hidden.

The spherinder is related to the uniform prismatic polychora, which are cartesian product of a regular or semiregular polyhedron and a line segment. There are eighteen convex uniform prisms based on the Platonic and Archimedean solids (tetrahedral prism, truncated tetrahedral prism, cubic prism, cuboctahedral prism, octahedral prism, rhombicuboctahedral prism, truncated cubic prism, truncated octahedral prism, truncated cuboctahedral prism, snub cubic prism, dodecahedral prism, icosidodecahedral prism, icosahedral prism, truncated dodecahedral prism, rhombicosidodecahedral prism, truncated icosahedral prism, truncated icosidodecahedral prism, snub dodecahedral prism), plus an infinite family based on antiprisms, and another infinite family of uniform duoprisms, which are products of two regular polygons.

See also

Related Research Articles

In physics, the cross section is a measure of the probability that a specific process will take place when some kind of radiant excitation intersects a localized phenomenon. For example, the Rutherford cross-section is a measure of probability that an alpha particle will be deflected by a given angle during an interaction with an atomic nucleus. Cross section is typically denoted σ (sigma) and is expressed in units of area, more specifically in barns. In a way, it can be thought of as the size of the object that the excitation must hit in order for the process to occur, but more exactly, it is a parameter of a stochastic process.

In integral calculus, an elliptic integral is one of a number of related functions defined as the value of certain integrals, which were first studied by Giulio Fagnano and Leonhard Euler. Their name originates from their originally arising in connection with the problem of finding the arc length of an ellipse.

<span class="mw-page-title-main">Polar coordinate system</span> Coordinates determined by distance and angle

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 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. Angles in polar notation are generally expressed in either degrees or radians.

<span class="mw-page-title-main">Spherical coordinate system</span> 3-dimensional coordinate system

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 numbers, : the radial distance of the radial liner connecting the point to the fixed point of origin ; the polar angle θ of the radial line r; and the azimuthal angle φ of the radial line r.

<span class="mw-page-title-main">Laplace's equation</span> Second-order partial differential equation

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

<i>n</i>-sphere Generalized sphere of dimension n (mathematics)

In mathematics, an n-sphere or hypersphere is an n-dimensional generalization of the 1-dimensional circle and 2-dimensional sphere to any non-negative integer n. The n-sphere is the setting for n-dimensional spherical geometry.

<span class="mw-page-title-main">Navier–Stokes equations</span> Equations describing the motion of viscous fluid substances

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).

<span class="mw-page-title-main">Ellipsoid</span> Quadric surface that looks like a deformed sphere

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.

<span class="mw-page-title-main">Unit vector</span> Vector of length one

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 .

<span class="mw-page-title-main">Cylindrical coordinate system</span> 3-dimensional coordinate system

A cylindrical coordinate system is a three-dimensional coordinate system that specifies point positions by the distance from a chosen reference axis (axis L in the image opposite), the direction from the axis relative to a chosen reference direction (axis A), and the distance from a chosen reference plane perpendicular to the axis (plane containing the purple section). The latter distance is given as a positive or negative number depending on which side of the reference plane faces the point.

<span class="mw-page-title-main">Spherical harmonics</span> Special mathematical functions defined on the surface of a sphere

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. A list of the spherical harmonics is available in Table of spherical harmonics.

In probability theory, the Borel–Kolmogorov paradox is a paradox relating to conditional probability with respect to an event of probability zero. It is named after Émile Borel and Andrey Kolmogorov.

<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.

<span class="mw-page-title-main">Viviani's curve</span> Figure-eight shaped curve on a sphere

In mathematics, Viviani's curve, also known as Viviani's window, is a figure eight shaped space curve named after the Italian mathematician Vincenzo Viviani. It is the intersection of a sphere with a cylinder that is tangent to the sphere and passes through two poles of the sphere. Before Viviani this curve was studied by Simon de La Loubère and Gilles de Roberval.

<span class="mw-page-title-main">Multiple integral</span> Generalization of definite integrals to functions of multiple variables

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). Physical (natural philosophy) interpretation: S any surface, V any volume, etc.. Incl. variable to time, position, etc.

There are several equivalent ways for defining trigonometric functions, and the proofs of the trigonometric identities between them depend on the chosen definition. The oldest and most elementary definitions are based on the geometry of right triangles. The proofs given in this article use these definitions, and thus apply to non-negative angles not greater than a right angle. For greater and negative angles, see Trigonometric functions.

<span class="mw-page-title-main">Hypercone</span> 4-dimensional figure

In geometry, a hypercone is the figure in the 4-dimensional Euclidean space represented by the equation

In physics and mathematics, the solid harmonics are solutions of the Laplace equation in spherical polar coordinates, assumed to be (smooth) functions . There are two kinds: the regular solid harmonics, which are well-defined at the origin and the irregular solid harmonics, which are singular at the origin. Both sets of functions play an important role in potential theory, and are obtained by rescaling spherical harmonics appropriately:

<span class="mw-page-title-main">Bending of plates</span>

Bending of plates, or plate bending, refers to the deflection of a plate perpendicular to the plane of the plate under the action of external forces and moments. The amount of deflection can be determined by solving the differential equations of an appropriate plate theory. The stresses in the plate can be calculated from these deflections. Once the stresses are known, failure theories can be used to determine whether a plate will fail under a given load.

References