|
Integrability Conditions For Differential Systems
In mathematics, certain systems of partial differential equations are usefully formulated, from the point of view of their underlying geometric and algebraic structure, in terms of a system of differential forms. The idea is to take advantage of the way a differential form ''restricts'' to a submanifold, and the fact that this restriction is compatible with the exterior derivative. This is one possible approach to certain over-determined systems, for example, including Lax pairs of integrable systems. A Pfaffian system is specified by 1-forms alone, but the theory includes other types of example of differential system. To elaborate, a Pfaffian system is a set of 1-forms on a smooth manifold (which one sets equal to 0 to find ''solutions'' to the system). Given a collection of differential 1-forms \textstyle\alpha_i, i=1,2,\dots, k on an \textstyle n-dimensional manifold , an integral manifold is an immersed (not necessarily embedded) submanifold whose tangent space at every poi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coframe
In mathematics, a coframe or coframe field on a smooth manifold M is a system of one-forms or covectors which form a basis of the cotangent bundle at every point. In the exterior algebra of M, one has a natural map from v_k:\bigoplus^kT^*M\to\bigwedge^kT^*M, given by v_k:(\rho_1,\ldots,\rho_k)\mapsto \rho_1\wedge\ldots\wedge\rho_k. If M is n dimensional, a coframe is given by a section \sigma of \bigoplus^nT^*M such that v_n\circ\sigma\neq 0. The inverse image under v_n of the complement of the zero section of \bigwedge^nT^*M forms a GL(n) principal bundle over M, which is called the coframe bundle. References * See also * Frame fields in general relativity * Moving frame In mathematics, a moving frame is a flexible generalization of the notion of a coordinate frame (an ordered basis of a vector space, in conjunction with an origin) often used to study the extrinsic differential geometry of smooth manifolds em ... Differential geometry {{differential-geome ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partial Differential Equations
In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to how is thought of as an unknown number solving, e.g., an algebraic equation like . However, it is usually impossible to write down explicit formulae for solutions of partial differential equations. There is correspondingly a vast amount of modern mathematical and scientific research on methods to numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of pure mathematical research, in which the usual questions are, broadly speaking, on the identification of general qualitative features of solutions of various partial differential equations, such as existence, uniqueness, regularity and stability. Among the many open questions are the existence an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Complex Manifold
In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not complex manifolds. Almost complex structures have important applications in symplectic geometry. The concept is due to Charles Ehresmann and Heinz Hopf in the 1940s. Formal definition Let ''M'' be a smooth manifold. An almost complex structure ''J'' on ''M'' is a linear complex structure (that is, a linear map which squares to −1) on each tangent space of the manifold, which varies smoothly on the manifold. In other words, we have a smooth tensor field ''J'' of degree such that J^2=-1 when regarded as a vector bundle isomorphism J\colon TM\to TM on the tangent bundle. A manifold equipped with an almost complex structure is called an almost complex manifold. If ''M'' admits an almost complex structure, it must be even-dimensional. This ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan–Kuranishi Prolongation Theorem
Given an exterior differential system defined on a manifold ''M'', the Cartan–Kuranishi prolongation theorem says that after a finite number of ''prolongations'' the system is either ''in involution'' (admits at least one 'large' integral manifold), or is impossible. History The theorem is named after Élie Cartan and Masatake Kuranishi. Cartan made several attempts in 1946 to prove the result, but it was in 1957 that Kuranishi provided a proof of Cartan's conjecture. Applications This theorem is used in infinite-dimensional Lie theory In mathematics, the mathematician Sophus Lie ( ) initiated lines of study involving integration of differential equations, transformation groups, and contact (mathematics), contact of spheres that have come to be called Lie theory. For instance, .... See also * Cartan-Kähler theorem References * M. Kuranishi, ''On É. Cartan's prolongation theorem of exterior differential systems'', Amer. J. Math., vol. 79, 1957, p. 1–47 * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability. Real analysis is distinguished from complex analysis, which deals with the study of complex numbers and their functions. Scope Construction of the real numbers The theorems of real analysis rely on the properties of the (established) real number system. The real number system consists of an uncountable set (\mathbb), together with two binary operations denoted and \cdot, and a total order denoted . The operations make the real numbers a field, and, along with the order, an ordered field. The real number system is the unique '' complete ordered field'', in the sense that any other complete ordered field is isomorphic to it. Intuitively, completenes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan–Kähler Theorem
In mathematics, the Cartan–Kähler theorem is a major result on the integrability conditions for differential systems, in the case of analytic functions, for differential ideals I. It is named for Élie Cartan and Erich Kähler. Meaning It is not true that merely having dI contained in I is sufficient for integrability. There is a problem caused by singular solutions. The theorem computes certain constants that must satisfy an inequality in order that there be a solution. Statement Let (M,I) be a real analytic EDS. Assume that P \subseteq M is a connected, ''k''-dimensional, real analytic, regular integral manifold of ''I'' with r(P) \geq 0 (i.e., the tangent spaces T_p P are "extendable" to higher dimensional integral elements). Moreover, assume there is a real analytic submanifold R \subseteq M of codimension r(P) containing P and such that T_pR \cap H(T_pP) has dimension k+1 for all p \in P. Then there exists a (locally) unique connected, (k+1)-dimensional, real analyt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curvature
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. For curves, the canonical example is that of a circle, which has a curvature equal to the reciprocal of its radius. Smaller circles bend more sharply, and hence have higher curvature. The curvature ''at a point'' of a differentiable curve is the curvature of its osculating circle — that is, the circle that best approximates the curve near this point. The curvature of a straight line is zero. In contrast to the tangent, which is a vector quantity, the curvature at a point is typically a scalar q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, 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 orthogonal matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maurer–Cartan Form
In mathematics, the Maurer–Cartan form for a Lie group is a distinguished differential one-form on that carries the basic infinitesimal information about the structure of . It was much used by Élie Cartan as a basic ingredient of his method of moving frames, and bears his name together with that of Ludwig Maurer. As a one-form, the Maurer–Cartan form is peculiar in that it takes its values in the Lie algebra associated to the Lie group . The Lie algebra is identified with the tangent space of at the identity, denoted . The Maurer–Cartan form is thus a one-form defined globally on , that is, a linear mapping of the tangent space at each into . It is given as the pushforward of a vector in along the left-translation in the group: :\omega(v) = (L_)_* v,\quad v\in T_gG. Motivation and interpretation A Lie group acts on itself by multiplication under the mapping :G\times G \ni (g,h) \mapsto gh \in G. A question of importance to Cartan and his contemporar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frame Bundle
In mathematics, a frame bundle is a principal fiber bundle F(E) associated with any vector bundle ''E''. The fiber of F(E) over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E_x''. The general linear group acts naturally on F(E) via a change of basis, giving the frame bundle the structure of a principal ''\mathrm(k,\mathbb)''-bundle (where ''k'' is the rank of ''E''). The frame bundle of a smooth manifold is the one associated with its tangent bundle. For this reason it is sometimes called the tangent frame bundle. Definition and construction Let ''E \to X'' be a real vector bundle of rank ''k'' over a topological space ''X''. A frame at a point ''x \in X'' is an ordered basis for the vector space ''E_x''. Equivalently, a frame can be viewed as a linear isomorphism :p : \mathbf^k \to E_x. The set of all frames at ''x'', denoted ''F_x'', has a natural right action by the general linear group ''\mathrm(k,\mathbb)'' of invertible ''k \times k'' matrices: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Lemma
In mathematics, the Poincaré lemma gives a sufficient condition for a closed differential form to be exact (while an exact form is necessarily closed). Precisely, it states that every closed ''p''-form on an open ball in R''n'' is exact for ''p'' with . The lemma was introduced by Henri Poincaré in 1886. Informal Discussion Especially in calculus, the Poincaré lemma also says that every closed 1-form on a simply connected open subset in \mathbb^n is exact. In simpler terms, it means that if a differential form is closed in a region that can be shrunk to a point, then it can be written as the derivative of another form; i.e. if dα = 0 on a simplely connected region, we can always find α = dβ; therefore we have d(dβ) = 0, expressed simply as d2 = 0. This concept is used in mathematical physics, particularly in the context of electromagnetism and differential geometry, where it relates to the fact that the boundary of a boundary is always empty, i.e. if you have a surface (a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
