Complex lamellar vector field

Last updated

In vector calculus, a complex lamellar vector field is a vector field which is orthogonal to a family of surfaces. In the broader context of differential geometry, complex lamellar vector fields are more often called hypersurface-orthogonal vector fields. They can be characterized in a number of different ways, many of which involve the curl. A lamellar vector field is a special case given by vector fields with zero curl.

Contents

The adjective "lamellar" derives from the noun "lamella", which means a thin layer. The lamellae to which "lamellar vector field" refers are the surfaces of constant potential, or in the complex case, the surfaces orthogonal to the vector field. [1]

Complex lamellar vector fields

In vector calculus, a complex lamellar vector field is a vector field in three dimensions which is orthogonal to its own curl. [2] That is,

The term lamellar vector field is sometimes used as a synonym for the special case of an irrotational vector field, meaning that [3]

Complex lamellar vector fields are precisely those that are normal to a family of surfaces. An irrotational vector field is locally the gradient of a function, and is therefore orthogonal to the family of level surfaces (the equipotential surfaces). [4] Any vector field can be decomposed as the sum of an irrotational vector field and a complex lamellar field. [5]

Hypersurface-orthogonal vector fields

In greater generality, a vector field F on a pseudo-Riemannian manifold is said to be hypersurface-orthogonal if through an arbitrary point there is a smoothly embedded hypersurface which, at all of its points, is orthogonal to the vector field. By the Frobenius theorem this is equivalent to requiring that the Lie bracket of any smooth vector fields orthogonal to F is still orthogonal to F. [6]

The condition of hypersurface-orthogonality can be rephrased in terms of the differential 1-form ω which is dual to F. The previously given Lie bracket condition can be reworked to require that the exterior derivative dω, when evaluated on any two tangent vectors which are orthogonal to F, is zero. [6] This may also be phrased as the requirement that there is a smooth 1-form whose wedge product with ω equals dω. [7]

Alternatively, this may be written as the condition that the differential 3-form ω ∧ dω is zero. This can also be phrased, in terms of the Levi-Civita connection defined by the metric, as requiring that the totally anti-symmetric part of the 3-tensor field ωi∇jωk is zero. [8] Using a different formulation of the Frobenius theorem, it is also equivalent to require that ω is locally expressible as λ du for some functions λ and u. [9]

In the special case of vector fields on three-dimensional Euclidean space, the hypersurface-orthogonal condition is equivalent to the complex lamellar condition, as seen by rewriting ω ∧ dω in terms of the Hodge star operator as ∗⟨ω, ∗dω⟩, with ∗dω being the 1-form dual to the curl vector field. [10]

Hypersurface-orthogonal vector fields are particularly important in general relativity, where (among other reasons) the existence of a Killing vector field which is hypersurface-orthogonal is one of the requirements of a static spacetime. [11] In this context, hypersurface-orthogonality is sometimes called irrotationality, although this is in conflict with the standard usage in three dimensions. [12] Another name is rotation-freeness. [13]

An even more general notion, in the language of Pfaffian systems, is that of a completely integrable 1-form ω, which amounts to the condition ω ∧ dω = 0 as given above. [14] In this context, there is no metric and so there is no notion of "orthogonality".

See also

Notes

  1. ↑ Panton 2013, p. 434.
  2. ↑ Aris 1962, p. 64; Panton 2013, Section 17.4.
  3. ↑ Aris 1962, p. 64.
  4. ↑ Aris 1962, p. 66.
  5. ↑ Aris 1962, p. 72; Panton 2013, Section 17.4.
  6. 1 2 O'Neill 1983, Proposition 12.30.
  7. ↑ Lee 2013, Lemma 19.6.
  8. ↑ Wald 1984, Appendix B.3.
  9. ↑ Flanders 1989, pp. 96–97; Stephani et al. 2003, p. 68.
  10. ↑ Choquet-Bruhat, DeWitt-Morette & Dillard-Bleick 1982, p. 247.
  11. ↑ O'Neill 1983, p. 360; Stephani et al. 2003; Wald 1984, Section 6.1.
  12. ↑ O'Neill 1983, p. 358.
  13. ↑ Misner, Thorne & Wheeler 1973, pp. 123–124.
  14. ↑ Choquet-Bruhat, DeWitt-Morette & Dillard-Bleick 1982, Section IV.C.6.

Related Research Articles

<span class="mw-page-title-main">Curl (mathematics)</span> Circulation density in a vector field

In vector calculus, the curl, also known as rotor, is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation. The curl of a field is formally defined as the circulation density at each point of the field.

<span class="mw-page-title-main">Maxwell's equations</span> Equations describing classical electromagnetism

Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, electric and magnetic circuits. The equations provide a mathematical model for electric, optical, and radio technologies, such as power generation, electric motors, wireless communication, lenses, radar, etc. They describe how electric and magnetic fields are generated by charges, currents, and changes of the fields. The equations are named after the physicist and mathematician James Clerk Maxwell, who, in 1861 and 1862, published an early form of the equations that included the Lorentz force law. Maxwell first used the equations to propose that light is an electromagnetic phenomenon. The modern form of the equations in their most common formulation is credited to Oliver Heaviside.

In vector calculus and differential geometry the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. In particular, the fundamental theorem of calculus is the special case where the manifold is a line segment, Green’s theorem and Stokes' theorem are the cases of a surface in or and the divergence theorem is the case of a volume in Hence, the theorem is sometimes referred to as the Fundamental Theorem of Multivariate Calculus.

<span class="mw-page-title-main">Orthogonal group</span> Type of group in mathematics

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n × n orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

In mathematics, especially vector calculus and differential topology, a closed form is a differential form α whose exterior derivative is zero, and an exact form is a differential form, α, that is the exterior derivative of another differential form β. Thus, an exact form is in the image of d, and a closed form is in the kernel of d.

In vector calculus, a vector potential is a vector field whose curl is a given vector field. This is analogous to a scalar potential, which is a scalar field whose gradient is a given vector field.

In vector calculus, a conservative vector field is a vector field that is the gradient of some function. A conservative vector field has the property that its line integral is path independent; the choice of path between two points does not change the value of the line integral. Path independence of the line integral is equivalent to the vector field under the line integral being conservative. A conservative vector field is also irrotational; in three dimensions, this means that it has vanishing curl. An irrotational vector field is necessarily conservative provided that the domain is simply connected.

<span class="mw-page-title-main">Scalar potential</span> When potential energy difference depends only on displacement

In mathematical physics, scalar potential, simply stated, describes the situation where the difference in the potential energies of an object in two different positions depends only on the positions, not upon the path taken by the object in traveling from one position to the other. It is a scalar field in three-space: a directionless value (scalar) that depends only on its location. A familiar example is potential energy due to gravity.

In the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection.

In fluid mechanics, the Taylor–Proudman theorem states that when a solid body is moved slowly within a fluid that is steadily rotated with a high angular velocity , the fluid velocity will be uniform along any line parallel to the axis of rotation. must be large compared to the movement of the solid body in order to make the Coriolis force large compared to the acceleration terms.

In algebraic geometry and the theory of complex manifolds, a logarithmic differential form is a differential form with poles of a certain kind. The concept was introduced by Pierre Deligne. In short, logarithmic differentials have the mildest possible singularities needed in order to give information about an open submanifold.

In mathematics, a (real) Monge–Ampère equation is a nonlinear second-order partial differential equation of special kind. A second-order equation for the unknown function u of two variables x,y is of Monge–Ampère type if it is linear in the determinant of the Hessian matrix of u and in the second-order partial derivatives of u. The independent variables (x,y) vary over a given domain D of R2. The term also applies to analogous equations with n independent variables. The most complete results so far have been obtained when the equation is elliptic.

In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.

In continuum mechanics the flow velocity in fluid dynamics, also macroscopic velocity in statistical mechanics, or drift velocity in electromagnetism, is a vector field used to mathematically describe the motion of a continuum. The length of the flow velocity vector is scalar, the flow speed. It is also called velocity field; when evaluated along a line, it is called a velocity profile.

In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

In fluid dynamics, The projection method is an effective means of numerically solving time-dependent incompressible fluid-flow problems. It was originally introduced by Alexandre Chorin in 1967 as an efficient means of solving the incompressible Navier-Stokes equations. The key advantage of the projection method is that the computations of the velocity and the pressure fields are decoupled.

<span class="mw-page-title-main">Yvonne Choquet-Bruhat</span> French mathematician and physicist (born 1923)

Yvonne Choquet-Bruhat is a French mathematician and physicist. She has made seminal contributions to the study of Einstein's general theory of relativity, by showing that the Einstein equations can be put into the form of an initial value problem which is well-posed. In 2015, her breakthrough paper was listed by the journal Classical and Quantum Gravity as one of thirteen 'milestone' results in the study of general relativity, across the hundred years in which it had been studied.

In vector calculus, a Beltrami vector field, named after Eugenio Beltrami, is a vector field in three dimensions that is parallel to its own curl. That is, F is a Beltrami vector field provided that

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

In fluid dynamics, Lamb surfaces are smooth, connected orientable two-dimensional surfaces, which are simultaneously stream-surfaces and vortex surfaces, named after the physicist Horace Lamb. Lamb surfaces are orthogonal to the Lamb vector everywhere, where and are the vorticity and velocity field, respectively. The necessary and sufficient condition are

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.