Exterior Differential System
In the theory of differential forms, a differential ideal ''I'' is an ''algebraic ideal'' in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is further closed under exterior differentiation ''d'', meaning that for any form α in ''I'', the exterior derivative ''d''α is also in ''I''. In the theory of differential algebra, a differential ideal ''I'' in a differential ring ''R'' is an ideal which is mapped to itself by each differential operator. Exterior differential systems and partial differential equations An exterior differential system consists of a smooth manifold M and a differential ideal : I\subset \Omega^*(M) . An integral manifold of an exterior differential system (M,I) consists of a submanifold N\subset M having the property that the pullback to N of all differential forms contained in I vanishes identically. One can express any partial differential equation system as an exterior differ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Differential Form
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, ... [...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 analytic i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Differential Forms
In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics. For instance, the expression is an example of a -form, and can be integrated over an interval contained in the domain of : :\int_a^b f(x)\,dx. Similarly, the expression is a -form that can be integrated over a surface : :\int_S (f(x,y,z)\,dx\wedge dy + g(x,y,z)\,dz\wedge dx + h(x,y,z)\,dy\wedge dz). The symbol denotes the exterior product, sometimes called the ''wedge product'', of two differential forms. Likewise, a -form represents a volume element that can be integrated over a region of space. In general, a -form is an object that may be integrated over a -dimensional manifold, and is homogeneous of degree in the coordinate differentials dx, dy, \ldots. On an -dimensional manifold, t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Robert Brown Gardner
Robert Brown (Robby) Gardner (February 27, 1939 – May 5, 1998) was an American mathematician who worked on differential geometry, a field in which he obtained several novel results. He was the author and co-author of three influential books, produced more than fifty papers, eighteen masters students and thirteen Ph.D students. His 1991 book, ''Exterior Differential Systems'', coauthored with R. Bryant, S. S. Chern, H. Goldschmidt, and P. Griffiths, is the standard reference for the subject. Robert Bryant, Duke University's Professor of Mathematics and the president of the American Mathematical Society (2015-2017) was a student of his. He is better known in the United States for his improvements and popularization of the methods of Élie Cartan (most notably, Cartan's equivalence method, an algorithmic procedure for determining if two geometric shapes are different). The works of Cartan were hard to grasp for most students, and Gardner worked to explain them in more access ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Shiing-Shen Chern
Shiing-Shen Chern (; , ; October 28, 1911 – December 3, 2004) was a Chinese-American mathematician and poet. He made fundamental contributions to differential geometry and topology. He has been called the "father of modern differential geometry" and is widely regarded as a leader in geometry and one of the greatest mathematicians of the twentieth century, winning numerous awards and recognition including the Wolf Prize and the inaugural Shaw Prize. In memory of Shiing-Shen Chern, the International Mathematical Union established the Chern Medal in 2010 to recognize "an individual whose accomplishments warrant the highest level of recognition for outstanding achievements in the field of mathematics". Chern worked at the Institute for Advanced Study (1943–45), spent about a decade at the University of Chicago (1949-1960), and then moved to University of California, Berkeley, where he co-founded the Mathematical Sciences Research Institute in 1982 and was the institute's found ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Phillip Griffiths
Phillip Augustus Griffiths IV (born October 18, 1938) is an American mathematician, known for his work in the field of geometry, and in particular for the complex manifold approach to algebraic geometry. He was a major developer in particular of the theory of variation of Hodge structure in Hodge theory and moduli theory. He also worked on partial differential equations, coauthored with Shiing-Shen Chern, Robert Bryant and Robert Gardner on Exterior Differential Systems. Professional career He received his BS from Wake Forest College in 1959 and his PhD from Princeton University in 1962 after completing a doctoral dissertation, titled "On certain homogeneous complex manifolds", under the supervision of Donald Spencer. Afterwards, he held positions at University of California, Berkeley (1962–1967) and Princeton University (1967–1972). Griffiths was a professor of mathematics at Harvard University from 1972 to 1983. He was then a Provost and James B. Duke Professor o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Robert Bryant (mathematician)
Robert Leamon Bryant (born August 30, 1953, Kipling) is an American mathematician. He works at Duke University and specializes in differential geometry. Education and career Bryant grew up in a farming family in Harnett County and was a first-generation college student. He obtained a bachelor's degree at North Caroline State University at Raleigh in 1974 and a PhD at University of North Carolina at Chapel Hill in 1979. His thesis was entitled "''Some Aspects of the Local and Global Theory of Pfaffian Systems''" and was written under the supervision of Robert Gardner. He worked at Rice University for seven years, as assistant professor (1979–1981), associate professor (1981–1982) and full professor (1982–1986). He then moved to Duke University, where he worked for twenty years as J. M. Kreps Professor. Between 2007 and 2013 he worked as full professor at University of California, Berkeley, where he served as the director of the Mathematical Sciences Research Institute ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cartan's Equivalence Method
In mathematics, Cartan's equivalence method is a technique in differential geometry for determining whether two geometrical structures are the same up to a diffeomorphism. For example, if ''M'' and ''N'' are two Riemannian manifolds with metrics ''g'' and ''h'', respectively, when is there a diffeomorphism :\phi:M\rightarrow N such that :\phi^*h=g? Although the answer to this particular question was known in dimension 2 to Gauss and in higher dimensions to Christoffel and perhaps Riemann as well, Élie Cartan and his intellectual heirs developed a technique for answering similar questions for radically different geometric structures. (For example see the Cartan–Karlhede algorithm.) Cartan successfully applied his equivalence method to many such structures, including projective structures, CR structures, and complex structures, as well as ostensibly non-geometrical structures such as the equivalence of Lagrangians and ordinary differential equations. (His techniques were l ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jet Bundle
In differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions. Historically, jet bundles are attributed to Charles Ehresmann, and were an advance on the method (prolongation) of Élie Cartan, of dealing ''geometrically'' with higher derivatives, by imposing differential form conditions on newly introduced formal variables. Jet bundles are sometimes called sprays, although sprays usually refer more specifically to the associated vector field induced on the corresponding bundle (e.g., the geodesic spray on Finsler manifolds.) Since the early 1980s, jet bundles have appeared as a concise way to describe phenomena associated with the derivatives of maps, particularly those associated with the calculus of variations. Consequen ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jet (mathematics)
In mathematics, the jet is an operation that takes a differentiable function ''f'' and produces a polynomial, the truncated Taylor polynomial of ''f'', at each point of its domain. Although this is the definition of a jet, the theory of jets regards these polynomials as being abstract polynomials rather than polynomial functions. This article first explores the notion of a jet of a real valued function in one real variable, followed by a discussion of generalizations to several real variables. It then gives a rigorous construction of jets and jet spaces between Euclidean spaces. It concludes with a description of jets between manifolds, and how these jets can be constructed intrinsically. In this more general context, it summarizes some of the applications of jets to differential geometry and the theory of differential equations. Jets of functions between Euclidean spaces Before giving a rigorous definition of a jet, it is useful to examine some special cases. One-dimensional cas ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Partial Differential Equation
In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a Multivariable calculus, multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to how is thought of as an unknown number to be solved for in an algebraic equation like . However, it is usually impossible to write down explicit formulas for solutions of partial differential equations. There is, correspondingly, a vast amount of modern mathematical and scientific research on methods to Numerical methods for partial differential equations, numerically approximate solutions of certain partial differential equations using computers. Partial differential equations also occupy a large sector of pure mathematics, 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 a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |