Integrable
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first integrals, such that its behaviour has far fewer degrees of freedom than the dimensionality of its phase space; that is, its evolution is restricted to a submanifold within its phase space. Three features are often referred to as characterizing integrable systems: * the existence of a ''maximal'' set of conserved quantities (the usual defining property of complete integrability) * the existence of algebraic invariants, having a basis in algebraic geometry (a property known sometimes as algebraic integrability) * the explicit determination of solutions in an explicit functional form (not an intrinsic property, but something often referred to as solvability) Integrable systems may be seen as very different in qualitative character from more ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Frobenius Theorem (differential Topology)
In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern differential geometry, geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the Picard–Lindelöf theorem, existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of ''r'' vector fields mesh into coordinate grids on ''r''-dimensional integral manifolds. The theorem is foundational in differential topology and Differentiable manifold, calculus on manifolds. Introduction In its most elementar ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nonlinear Schrödinger Equation
In theoretical physics, the (one-dimensional) nonlinear Schrödinger equation (NLSE) is a nonlinear variation of the Schrödinger equation. It is a classical field equation whose principal applications are to the propagation of light in nonlinear optical fibers and planar waveguides and to Bose–Einstein condensates confined to highly anisotropic cigar-shaped traps, in the mean-field regime. Additionally, the equation appears in the studies of small-amplitude gravity waves on the surface of deep inviscid (zero-viscosity) water; the Langmuir waves in hot plasmas; the propagation of plane-diffracted wave beams in the focusing regions of the ionosphere; the propagation of Davydov's alpha-helix solitons, which are responsible for energy transport along molecular chains; and many others. More generally, the NLSE appears as one of universal equations that describe the evolution of slowly varying packets of quasi-monochromatic waves in weakly nonlinear media that have dispersion. U ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Toda Lattice
The Toda lattice, introduced by , is a simple model for a one-dimensional crystal in solid state physics Solid-state physics is the study of rigid matter, or solids, through methods such as quantum mechanics, crystallography, electromagnetism, and metallurgy. It is the largest branch of condensed matter physics. Solid-state physics studies how the l .... It is famous because it is one of the earliest examples of a non-linear completely integrable system. It is given by a chain of particles with nearest neighbor interaction, described by the Hamiltonian :\begin H(p,q) &= \sum_ \left(\frac +V(q(n+1,t)-q(n,t))\right) \end and the equations of motion :\begin \frac p(n,t) &= -\frac = e^ - e^, \\ \frac q(n,t) &= \frac = p(n,t), \end where q(n,t) is the displacement of the n-th particle from its equilibrium position, and p(n,t) is its momentum (mass m=1), and the Toda potential V(r)=e^+r-1. Soliton solutions Soliton solutions are solitary waves spreading in time with no change ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
First Integral
In mechanics, a constant of motion is a quantity that is conserved throughout the motion, imposing in effect a constraint on the motion. However, it is a ''mathematical'' constraint, the natural consequence of the equations of motion, rather than a ''physical'' constraint (which would require extra constraint forces). Common examples include energy, linear momentum, angular momentum and the Laplace–Runge–Lenz vector (for inverse-square force laws). Applications Constants of motion are useful because they allow properties of the motion to be derived without solving the equations of motion. In fortunate cases, even the trajectory of the motion can be derived as the intersection of isosurfaces corresponding to the constants of motion. For example, Poinsot's construction shows that the torque-free rotation of a rigid body is the intersection of a sphere (conservation of total angular momentum) and an ellipsoid (conservation of energy), a trajectory that might be otherwise ha ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Euler Top
In classical mechanics, the precession of a rigid body such as a spinning top under the influence of gravity is not, in general, an integrable problem. There are however three (or four) famous cases that are integrable, the Euler, the Lagrange, and the Kovalevskaya top.. In addition to the energy, each of these tops involves three additional constants of motion that give rise to the integrability. The Euler top describes a free top without any particular symmetry, moving in the absence of any external torque in which the fixed point is the center of gravity. The Lagrange top is a symmetric top, in which two moments of inertia are the same and the center of gravity lies on the symmetry axis. The Kovalevskaya topPerelemov, A. M. (2002). ''Teoret. Mat. Fiz.'', Volume 131, Number 2, pp. 197–205. is a special symmetric top with a unique ratio of the moments of inertia which satisfy the relation : I_1=I_2= 2 I_3, That is, two moments of inertia are equal, the third is half as la ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lagrange Top
In classical mechanics, the precession of a rigid body such as a spinning top under the influence of gravity is not, in general, an integrable problem. There are however three (or four) famous cases that are integrable, the Euler, the Lagrange, and the Kovalevskaya top.. In addition to the energy, each of these tops involves three additional constants of motion that give rise to the integrability. The Euler top describes a free top without any particular symmetry, moving in the absence of any external torque in which the fixed point is the center of gravity. The Lagrange top is a symmetric top, in which two moments of inertia are the same and the center of gravity lies on the symmetry axis. The Kovalevskaya topPerelemov, A. M. (2002). ''Teoret. Mat. Fiz.'', Volume 131, Number 2, pp. 197–205. is a special symmetric top with a unique ratio of the moments of inertia which satisfy the relation : I_1=I_2= 2 I_3, That is, two moments of inertia are equal, the third is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Inverse Scattering Transform
In mathematics, the inverse scattering transform is a method for solving some non-linear partial differential equations. The method is a non-linear analogue, and in some sense generalization, of the Fourier transform, which itself is applied to solve many linear partial differential equations. The name "inverse scattering method" comes from the key idea of recovering the time evolution of a potential from the time evolution of its scattering data: inverse scattering refers to the problem of recovering a potential from its scattering matrix, as opposed to the direct scattering problem of finding the scattering matrix from the potential. The inverse scattering transform may be applied to many of the so-called exactly solvable models, that is to say completely integrable infinite dimensional systems. Overview The inverse scattering transform was first introduced by for the Korteweg–de Vries equation, and soon extended to the nonlinear Schrödinger equation, the Sine-Gordon equ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hamiltonian Mechanics
Hamiltonian mechanics emerged in 1833 as a reformulation of Lagrangian mechanics. Introduced by Sir William Rowan Hamilton, Hamiltonian mechanics replaces (generalized) velocities \dot q^i used in Lagrangian mechanics with (generalized) ''momenta''. Both theories provide interpretations of classical mechanics and describe the same physical phenomena. Hamiltonian mechanics has a close relationship with geometry (notably, symplectic geometry and Poisson structures) and serves as a link between classical and quantum mechanics. Overview Phase space coordinates (p,q) and Hamiltonian H Let (M, \mathcal L) be a mechanical system with the configuration space M and the smooth Lagrangian \mathcal L. Select a standard coordinate system (\boldsymbol,\boldsymbol) on M. The quantities \textstyle p_i(\boldsymbol,\boldsymbol,t) ~\stackrel~ / are called ''momenta''. (Also ''generalized momenta'', ''conjugate momenta'', and ''canonical momenta''). For a time instant t, the Legendre transfor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Action-angle Variables
In classical mechanics, action-angle coordinates are a set of canonical coordinates useful in solving many integrable systems. The method of action-angles is useful for obtaining the frequencies of oscillatory or rotational motion without solving the equations of motion. Action-angle coordinates are chiefly used when the Hamilton–Jacobi equations are completely separable. (Hence, the Hamiltonian does not depend explicitly on time, i.e., the energy is conserved.) Action-angle variables define an invariant torus, so called because holding the action constant defines the surface of a torus, while the angle variables parameterize the coordinates on the torus. The Bohr–Sommerfeld quantization conditions, used to develop quantum mechanics before the advent of wave mechanics, state that the action must be an integral multiple of Planck's constant; similarly, Einstein's insight into EBK quantization and the difficulty of quantizing non-integrable systems was expressed in terms ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Foliation
In mathematics ( differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedded subspace R''p''. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable (of class ''Cr''), or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class ''Cr'' it is usually understood that ''r'' ≥ 1 (otherwise, ''C''0 is a topological foliation). The number ''p'' (the dimension of the leaves) is called the dimension of the foliation and is called its codimension. In some papers on general relativity by mathematical physic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Martin Kruskal
Martin David Kruskal (; September 28, 1925 – December 26, 2006) was an American mathematician and physicist. He made fundamental contributions in many areas of mathematics and science, ranging from plasma physics to general relativity and from nonlinear analysis to asymptotic analysis. His most celebrated contribution was in the theory of solitons. He was a student at the University of Chicago and at New York University, where he completed his Ph.D. under Richard Courant in 1952. He spent much of his career at Princeton University, as a research scientist at the Plasma Physics Laboratory starting in 1951, and then as a professor of astronomy (1961), founder and chair of the Program in Applied and Computational Mathematics (1968), and professor of mathematics (1979). He retired from Princeton University in 1989 and joined the mathematics department of Rutgers University, holding the David Hilbert Chair of Mathematics. Apart from serious mathematical work, Kruskal was kno ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Liouville
Joseph Liouville (; ; 24 March 1809 – 8 September 1882) was a French mathematician and engineer. Life and work He was born in Saint-Omer in France on 24 March 1809. His parents were Claude-Joseph Liouville (an army officer) and Thérèse Liouville (née Balland). Liouville gained admission into the École Polytechnique in 1825 and graduated in 1827. Just like Augustin-Louis Cauchy before him, Liouville studied engineering at École des Ponts et Chaussées after graduating from the Polytechnique, but opted instead for a career in mathematics. After some years as an assistant at various institutions including the École Centrale Paris, he was appointed as professor at the École Polytechnique in 1838. He obtained a chair in mathematics at the Collège de France in 1850 and a chair in mechanics at the Faculté des Sciences in 1857. Besides his academic achievements, he was very talented in organisational matters. Liouville founded the '' Journal de Mathématiques Pures ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |