|
Carathéodory–Jacobi–Lie Theorem
The Carathéodory– Jacobi– Lie theorem is a theorem in symplectic geometry which generalizes Darboux's theorem. Statement Let ''M'' be a 2''n''-dimensional symplectic manifold with symplectic form ω. For ''p'' ∈ ''M'' and ''r'' ≤ ''n'', let ''f''1, ''f''2, ..., ''f''r be smooth functions defined on an open neighborhood ''V'' of ''p'' whose differentials are linearly independent at each point, or equivalently :df_1(p) \wedge \ldots \wedge df_r(p) \neq 0, where = 0. (In other words, they are pairwise in involution.) Here is the Poisson bracket. Then there are functions ''f''r+1, ..., ''f''n, ''g''1, ''g''2, ..., ''g''n defined on an open neighborhood ''U'' ⊂ ''V'' of ''p'' such that (fi, gi) is a symplectic chart of ''M'', i.e., ω is expressed on ''U'' as :\omega = \sum_^n df_i \wedge dg_i. Applications As a direct application we have the following. Given a Hamiltonian system A Hamiltonian system is a dynamical syste ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constantin Carathéodory
Constantin Carathéodory ( el, Κωνσταντίνος Καραθεοδωρή, Konstantinos Karatheodori; 13 September 1873 – 2 February 1950) was a Greek mathematician who spent most of his professional career in Germany. He made significant contributions to real and complex analysis, the calculus of variations, and measure theory. He also created an axiomatic formulation of thermodynamics. Carathéodory is considered one of the greatest mathematicians of his era and the most renowned Greek mathematician since antiquity. Origins Constantin Carathéodory was born in 1873 in Berlin to Greek parents and grew up in Brussels. His father Stephanos, a lawyer, served as the Ottoman ambassador to Belgium, St. Petersburg and Berlin. His mother, Despina, née Petrokokkinos, was from the island of Chios. The Carathéodory family, originally from Bosnochori or Vyssa, was well established and respected in Constantinople, and its members held many important governmental positions. Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Gustav Jakob Jacobi
Carl Gustav Jacob Jacobi (; ; 10 December 1804 – 18 February 1851) was a German mathematician who made fundamental contributions to elliptic functions, dynamics, differential equations, determinants, and number theory. His name is occasionally written as Carolus Gustavus Iacobus Iacobi in his Latin books, and his first name is sometimes given as Karl. Jacobi was the first Jewish mathematician to be appointed professor at a German university. Biography Jacobi was born of Ashkenazi Jewish parentage in Potsdam on 10 December 1804. He was the second of four children of banker Simon Jacobi. His elder brother Moritz von Jacobi would also become known later as an engineer and physicist. He was initially home schooled by his uncle Lehman, who instructed him in the classical languages and elements of mathematics. In 1816, the twelve-year-old Jacobi went to the Potsdam Gymnasium, where students were taught all the standard subjects: classical languages, history, philology, mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sophus Lie
Marius Sophus Lie ( ; ; 17 December 1842 – 18 February 1899) was a Norwegian mathematician. He largely created the theory of continuous symmetry and applied it to the study of geometry and differential equations. Life and career Marius Sophus Lie was born on 17 December 1842 in the small town of Nordfjordeid. He was the youngest of six children born to a Lutheran pastor named Johann Herman Lie, and his wife who came from a well-known Trondheim family. He had his primary education in the south-eastern coast of Moss, before attending high school at Oslo (known then as Christiania). After graduating from high school, his ambition towards a military career was dashed when the army rejected him due to his poor eyesight. It was then that he decided to enrol at the University of Christiania. Sophus Lie's first mathematical work, ''Repräsentation der Imaginären der Plangeometrie'', was published in 1869 by the Academy of Sciences in Christiania and also by ''Crelle's Journal''. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Geometry
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed differential form, closed, nondegenerate form, nondegenerate differential form, 2-form. Symplectic geometry has its origins in the Hamiltonian mechanics, Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold. The term "symplectic", introduced by Weyl, is a calque of "complex"; previously, the "symplectic group" had been called the "line complex group". "Complex" comes from the Latin ''com-plexus'', meaning "braided together" (co- + plexus), while symplectic comes from the corresponding Greek ''sym-plektikos'' (συμπλεκτικός); in both cases the stem comes from the Indo-European root wiktionary:Reconstruction:Proto-Indo-European/pleḱ-, *pleḱ- The name reflects the deep connections between complex and sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Darboux's Theorem
Darboux's theorem is a theorem in the mathematics, mathematical field of differential geometry and more specifically differential forms, partially generalizing the Frobenius integration theorem. It is a foundational result in several fields, the chief among them being symplectic geometry. The theorem is named after Jean Gaston Darboux who established it as the solution of the Johann Friedrich Pfaff, Pfaff problem. One of the many consequences of the theorem is that any two symplectic manifolds of the same dimension are locally symplectomorphism, symplectomorphic to one another. That is, every 2''n''-dimensional symplectic manifold can be made to look locally like the linear symplectic space C''n'' with its canonical symplectic form. There is also an analogous consequence of the theorem as applied to contact geometry. Statement and first consequences The precise statement is as follows. Suppose that \theta is a differential 1-form on an ''n'' dimensional manifold, such that \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equations, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Function
In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all Order of derivation, orders in its Domain of a function, domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or C^ function). Differentiability classes Differentiability class is a classification of functions according to the properties of their derivatives. It is a measure of the highest order of derivative that exists and is continuous for a function. Consider an open set U on the real line and a function f defined on U with real values. Let ''k'' be a non-negative integer. The function f is said to be of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open Neighborhood
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is also equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need be an open subset X, but when V is open in X then it is called an . Some authors have been known to require neighbourhoods to be open, so it is important to note conventions. A set that is a neighbourhood of each of its points is open since it can be expressed as the union of open sets ... [...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] |
Linearly Independent
In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts are central to the definition of dimension. A vector space can be of finite dimension or infinite dimension depending on the maximum number of linearly independent vectors. The definition of linear dependence and the ability to determine whether a subset of vectors in a vector space is linearly dependent are central to determining the dimension of a vector space. Definition A sequence of vectors \mathbf_1, \mathbf_2, \dots, \mathbf_k from a vector space is said to be ''linearly dependent'', if there exist scalars a_1, a_2, \dots, a_k, not all zero, such that :a_1\mathbf_1 + a_2\mathbf_2 + \cdots + a_k\mathbf_k = \mathbf, where \mathbf denotes the zero vector. This implies that at least one of the scalars is nonzero, say a_1\ne 0, and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poisson Bracket
In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called ''canonical transformations'', which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables (below symbolized by q_i and p_i, respectively) that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself H =H(q, p, t) as one of the new canonical momentum coordinates. In a more general sense, the Poisson bracket is used to define a Poisson algebra, of which the algebra of functions on a Poisson manifold is a special case. There are ot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symplectic Chart
{{disambiguation ...
The term "symplectic" is a calque of "complex" introduced by Hermann Weyl in 1939. In mathematics it may refer to: * Symplectic Clifford algebra, see Weyl algebra * Symplectic geometry * Symplectic group * Symplectic integrator * Symplectic manifold * Symplectic matrix * Symplectic representation * Symplectic vector space It can also refer to: * Symplectic bone, a bone found in fish skulls * Symplectite, in reference to a mineral intergrowth texture See also * Metaplectic group * Symplectomorphism In mathematics, a symplectomorphism or symplectic map is an isomorphism in the category of symplectic manifolds. In classical mechanics, a symplectomorphism represents a transformation of phase space that is volume-preserving and preserves the sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Smooth Function")
