Implicit area
An implicit surface in mathematics is a surface in Euclidean space that is represented by an equation of the form
is described. An implicit area consists of the totality of the zeros of a function of three variables. Implicit means that the equation of the area is not solved for x or y or z.
Function graphs are usually described by an equation and are therefore explicitly represented areas. The third important description of surfaces is the parameter representation: . The x, y and z coordinates of surface points are described by three functions that depend on two common parameters . The transition from one representation to another is usually only easy if there is an explicit representation : (implicit), (parameterized).
Examples of implicit surfaces:
- one level ,
- a ball ,
- a torus ,
- Area of gender 2: (see picture),
- Surface of rotation (see picture wine glass ).
While one can easily specify parametric representations for plane, sphere and torus, this is no longer easy for the fourth surface.
As with implicit curves , under certain conditions, the theorem on implicit functions can also be used to locally prove an explicit representation for implicit surfaces. In practice, such resolutions are only possible in simple cases (plane, sphere, ...). But the theoretical possibility of a resolution is the key to calculate tangent planes and curvatures in a surface point (see below).
- If there is a polynomial in x, y and z, the associated area is called algebraic .
- Example 5. is not algebraic.
Implicit areas have the disadvantage that they are difficult to visualize. However, they offer a wide range of theoretically interesting surfaces (e.g. Steiner surfaces ) and in the CAD area it is relatively easy to create surfaces with predictable shapes and properties (see below).
Formulas
For the following formulas, the implicit area is always described by an equation , whereby the function fulfills the necessary differentiability requirements. The partial derivatives of are denoted by etc.
Tangent plane and normal vector
A surface point is called regular, if
- is, otherwise the point is called singular .
The equation of the tangent plane in a regular surface point is
- , and
- is a normal vector .
Normal curvature
In order to keep the formula clear, the arguments have been left out:
- is the normal curvature of the surface at a regular point in the direction of the unit tangent vector .
is the Hessian matrix of (matrix of the second derivatives).
The proof of these formulas results, as in the case of the implicit curve, from the theorem about the resolution of implicit functions and the formula for the normal curvature of a parameterized surface.
Applications of implicit surfaces
Implicit surfaces, like implicit curves, can be generated relatively easily by algebraic operations (addition, multiplication) of simple implicit surfaces / functions.
Equipotential areas of point charges
The potential of a point charge in the point , measured in the point , can be passed through, except for constants
- describe.
The equipotential area to the potential is the implicit area . This is a centered sphere .
The potential of (e.g.) point charges can be passed through
- describe.
In the figure the four charges are equal to 1 and are located in the points . The area shown is the equipotential area (implicit area) .
Constant spacing product areas
Just as a Cassinian curve can be defined as the set of points for which the product of the distances to two given points is constant (in an ellipse the sums of the distances to two points are constant!), Areas can also be defined whose distance products allow given points are constant.
The surface shown in the picture Metamorphoses at the top left is created according to this principle: With
results in the area .
Metamorphoses of implicit surfaces
Another simple construction of new implicit surfaces is the metamorphosis of implicit surfaces. In doing so, one assumes two implicit surfaces (in the example: a distance product surface and a torus) and uses the array parameter to generate the array of surfaces
Areas for were shown in the picture.
Smooth approximations of several implicit surfaces
Analogously to the method of the smooth approximation of several implicit curves,
for suitable parameters, smooth approximations of three intersecting tori with the equations
- ,
- ,
- .
(The parameter of the face in the image are: )
Visualization of implicit areas
Implicit areas can only be visualized with considerable effort. There are essentially two ideas for representing an implicit surface. One method is based on the generation of polygons that cover the area to be displayed. These polygons can be used directly to visualize the area or the polygons and their representation can be further processed with a suitable program. Information on this can be found in Triangulation of an Area. Another method is based on ray tracing . Here, many individual lines of sight are examined for their intersection with the surface.
In the last two images, the triangulated surfaces were post-processed with the PovRay program . When comparing the images with the 3 Tori, note that the PovRay image is a central projection.
Web links
- Sultanov: Implicit areas
- Hartmann: Geometry and Algorithms for COMPUTER AIDED DESIGN
- GEOMVIEW
- K3Dsurf: 3d surface generator
- SURF: visualization of algebraic surfaces
literature
- John A. Thorpe: Elementary Topics in Differential Geometry. Springer-Verlag, New York 1979, ISBN 0-387-90357-7 .