Mean curvature

Last updated

In mathematics, the mean curvature of a surface is an extrinsic measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space.

Contents

The concept was used by Sophie Germain in her work on elasticity theory. [1] [2] Jean Baptiste Marie Meusnier used it in 1776, in his studies of minimal surfaces. It is important in the analysis of minimal surfaces, which have mean curvature zero, and in the analysis of physical interfaces between fluids (such as soap films) which, for example, have constant mean curvature in static flows, by the Young–Laplace equation.

Definition

Let be a point on the surface inside the three dimensional Euclidean space R3. Each plane through containing the normal line to cuts in a (plane) curve. Fixing a choice of unit normal gives a signed curvature to that curve. As the plane is rotated by an angle (always containing the normal line) that curvature can vary. The maximal curvature and minimal curvature are known as the principal curvatures of .

The mean curvature at is then the average of the signed curvature over all angles :

.

By applying Euler's theorem, this is equal to the average of the principal curvatures ( Spivak 1999 , Volume 3, Chapter 2):

More generally ( Spivak 1999 , Volume 4, Chapter 7), for a hypersurface the mean curvature is given as

More abstractly, the mean curvature is the trace of the second fundamental form divided by n (or equivalently, the shape operator).

Additionally, the mean curvature may be written in terms of the covariant derivative as

using the Gauss-Weingarten relations, where is a smoothly embedded hypersurface, a unit normal vector, and the metric tensor.

A surface is a minimal surface if and only if the mean curvature is zero. Furthermore, a surface which evolves under the mean curvature of the surface , is said to obey a heat-type equation called the mean curvature flow equation.

The sphere is the only embedded surface of constant positive mean curvature without boundary or singularities. However, the result is not true when the condition "embedded surface" is weakened to "immersed surface". [3]

Surfaces in 3D space

For a surface defined in 3D space, the mean curvature is related to a unit normal of the surface:

where the normal chosen affects the sign of the curvature. The sign of the curvature depends on the choice of normal: the curvature is positive if the surface curves "towards" the normal. The formula above holds for surfaces in 3D space defined in any manner, as long as the divergence of the unit normal may be calculated. Mean Curvature may also be calculated

where I and II denote first and second quadratic form matrices, respectively.

If is a parametrization of the surface and are two linearly independent vectors in parameter space then the mean curvature can be written in terms of the first and second fundamental forms as where , , , , , . [4]

For the special case of a surface defined as a function of two coordinates, e.g. , and using the upward pointing normal the (doubled) mean curvature expression is

In particular at a point where , the mean curvature is half the trace of the Hessian matrix of .

If the surface is additionally known to be axisymmetric with ,

where comes from the derivative of .

Implicit form of mean curvature

The mean curvature of a surface specified by an equation can be calculated by using the gradient and the Hessian matrix

The mean curvature is given by: [5] [6]

Another form is as the divergence of the unit normal. A unit normal is given by and the mean curvature is

In fluid mechanics

An alternate definition is occasionally used in fluid mechanics to avoid factors of two:

.

This results in the pressure according to the Young–Laplace equation inside an equilibrium spherical droplet being surface tension times ; the two curvatures are equal to the reciprocal of the droplet's radius

.

Minimal surfaces

A rendering of Costa's minimal surface. Costa minimal surface.jpg
A rendering of Costa's minimal surface.

A minimal surface is a surface which has zero mean curvature at all points. Classic examples include the catenoid, helicoid and Enneper surface. Recent discoveries include Costa's minimal surface and the Gyroid.

CMC surfaces

An extension of the idea of a minimal surface are surfaces of constant mean curvature. The surfaces of unit constant mean curvature in hyperbolic space are called Bryant surfaces. [7]

See also

Notes

  1. Marie-Louise Dubreil-Jacotin on Sophie Germain Archived 2008-02-23 at the Wayback Machine
  2. Lodder, J. (2003). "Curvature in the Calculus Curriculum". The American Mathematical Monthly. 110 (7): 593–605. doi:10.2307/3647744. JSTOR   3647744.
  3. Wente, Henry C. (1986). "Counterexample to a conjecture of H. Hopf". Pacific Journal of Mathematics . 121 (1): 193–243. doi: 10.2140/pjm.1986.121.193 . MR   0815044. Zbl   0586.53003.
  4. Do Carmo, Manfredo (2016). Differential Geometry of Curves and Surfaces (Second ed.). Dover. p. 158. ISBN   978-0-486-80699-0.
  5. Goldman, R. (2005). "Curvature formulas for implicit curves and surfaces". Computer Aided Geometric Design. 22 (7): 632–658. doi:10.1016/j.cagd.2005.06.005.
  6. Spivak, M (1975). A Comprehensive Introduction to Differential Geometry. Vol. 3. Publish or Perish, Boston.
  7. Rosenberg, Harold (2002), "Bryant surfaces", The global theory of minimal surfaces in flat spaces (Martina Franca, 1999), Lecture Notes in Math., vol. 1775, Berlin: Springer, pp.  67–111, doi:10.1007/978-3-540-45609-4_3, ISBN   978-3-540-43120-6, MR   1901614 .

Related Research Articles

<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">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

In vector calculus, the divergence theorem, also known as Gauss's theorem or Ostrogradsky's theorem, is a theorem relating the flux of a vector field through a closed surface to the divergence of the field in the volume enclosed.

<span class="mw-page-title-main">Normal (geometry)</span> Line or vector perpendicular to a curve or a surface

In geometry, a normal is an object that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the line perpendicular to the tangent line to the curve at the point.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

<span class="mw-page-title-main">Gaussian curvature</span> Product of the principal curvatures of a surface

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point: For example, a sphere of radius r has Gaussian curvature 1/r2 everywhere, and a flat plane and a cylinder have Gaussian curvature zero everywhere. The Gaussian curvature can also be negative, as in the case of a hyperboloid or the inside of a torus.

In differential geometry, the second fundamental form is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by . Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold.

<span class="mw-page-title-main">Frenet–Serret formulas</span> Formulas in differential geometry

In differential geometry, the Frenet–Serret formulas describe the kinematic properties of a particle moving along a differentiable curve in three-dimensional Euclidean space , or the geometric properties of the curve itself irrespective of any motion. More specifically, the formulas describe the derivatives of the so-called tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after the two French mathematicians who independently discovered them: Jean Frédéric Frenet, in his thesis of 1847, and Joseph Alfred Serret, in 1851. Vector notation and linear algebra currently used to write these formulas were not yet available at the time of their discovery.

In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

von Mises distribution Probability distribution on the circle

In probability theory and directional statistics, the von Mises distribution is a continuous probability distribution on the circle. It is a close approximation to the wrapped normal distribution, which is the circular analogue of the normal distribution. A freely diffusing angle on a circle is a wrapped normally distributed random variable with an unwrapped variance that grows linearly in time. On the other hand, the von Mises distribution is the stationary distribution of a drift and diffusion process on the circle in a harmonic potential, i.e. with a preferred orientation. The von Mises distribution is the maximum entropy distribution for circular data when the real and imaginary parts of the first circular moment are specified. The von Mises distribution is a special case of the von Mises–Fisher distribution on the N-dimensional sphere.

A parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.

In mathematics – specifically, in stochastic analysis – an Itô diffusion is a solution to a specific type of stochastic differential equation. That equation is similar to the Langevin equation used in physics to describe the Brownian motion of a particle subjected to a potential in a viscous fluid. Itô diffusions are named after the Japanese mathematician Kiyosi Itô.

<span class="mw-page-title-main">Timoshenko–Ehrenfest beam theory</span> Model of shear deformation and bending effects

The Timoshenko–Ehrenfest beam theory was developed by Stephen Timoshenko and Paul Ehrenfest early in the 20th century. The model takes into account shear deformation and rotational bending effects, making it suitable for describing the behaviour of thick beams, sandwich composite beams, or beams subject to high-frequency excitation when the wavelength approaches the thickness of the beam. The resulting equation is of 4th order but, unlike Euler–Bernoulli beam theory, there is also a second-order partial derivative present. Physically, taking into account the added mechanisms of deformation effectively lowers the stiffness of the beam, while the result is a larger deflection under a static load and lower predicted eigenfrequencies for a given set of boundary conditions. The latter effect is more noticeable for higher frequencies as the wavelength becomes shorter, and thus the distance between opposing shear forces decreases.

In fluid mechanics and mathematics, a capillary surface is a surface that represents the interface between two different fluids. As a consequence of being a surface, a capillary surface has no thickness in slight contrast with most real fluid interfaces.

<span class="mw-page-title-main">Gravitational lensing formalism</span>

In general relativity, a point mass deflects a light ray with impact parameter by an angle approximately equal to

<span class="mw-page-title-main">Mild-slope equation</span> Physics phenomenon and formula

In fluid dynamics, the mild-slope equation describes the combined effects of diffraction and refraction for water waves propagating over bathymetry and due to lateral boundaries—like breakwaters and coastlines. It is an approximate model, deriving its name from being originally developed for wave propagation over mild slopes of the sea floor. The mild-slope equation is often used in coastal engineering to compute the wave-field changes near harbours and coasts.

Miniaturizing components has always been a primary goal in the semiconductor industry because it cuts production cost and lets companies build smaller computers and other devices. Miniaturization, however, has increased dissipated power per unit area and made it a key limiting factor in integrated circuit performance. Temperature increase becomes relevant for relatively small-cross-sections wires, where it may affect normal semiconductor behavior. Besides, since the generation of heat is proportional to the frequency of operation for switching circuits, fast computers have larger heat generation than slow ones, an undesired effect for chips manufacturers. This article summaries physical concepts that describe the generation and conduction of heat in an integrated circuit, and presents numerical methods that model heat transfer from a macroscopic point of view.

<span class="mw-page-title-main">Stokes' theorem</span> Theorem in vector calculus

Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the surface integral of its curl over the enclosed surface. It is illustrated in the figure, where the direction of positive circulation of the bounding contour ∂Σ, and the direction n of positive flux through the surface Σ, are related by a right-hand-rule. For the right hand the fingers circulate along ∂Σ and the thumb is directed along n.

Heat transfer physics describes the kinetics of energy storage, transport, and energy transformation by principal energy carriers: phonons, electrons, fluid particles, and photons. Heat is thermal energy stored in temperature-dependent motion of particles including electrons, atomic nuclei, individual atoms, and molecules. Heat is transferred to and from matter by the principal energy carriers. The state of energy stored within matter, or transported by the carriers, is described by a combination of classical and quantum statistical mechanics. The energy is different made (converted) among various carriers. The heat transfer processes are governed by the rates at which various related physical phenomena occur, such as the rate of particle collisions in classical mechanics. These various states and kinetics determine the heat transfer, i.e., the net rate of energy storage or transport. Governing these process from the atomic level to macroscale are the laws of thermodynamics, including conservation of energy.

References