A dynamical billiard is a dynamical system in which a particle alternates between free motion (typically as a straight line) and specular reflections from a boundary. When the particle hits the boundary it reflects from it without loss of speed (i.e. elastic collisions). Billiards are Hamiltonian idealizations of the game of billiards, but where the region contained by the boundary can have shapes other than rectangular and even be multidimensional. Dynamical billiards may also be studied on non-Euclidean geometries; indeed, the first studies of billiards established their ergodic motion on surfaces of constant negative curvature. The study of billiards which are kept out of a region, rather than being kept in a region, is known as outer billiard theory.
The motion of the particle in the billiard is a straight line, with constant energy, between reflections with the boundary (a geodesic if the Riemannian metric of the billiard table is not flat). All reflections are specular: the angle of incidence just before the collision is equal to the angle of reflection just after the collision. The sequence of reflections is described by the billiard map that completely characterizes the motion of the particle.
Billiards capture all the complexity of Hamiltonian systems, from integrability to chaotic motion, without the difficulties of integrating the equations of motion to determine its Poincaré map. Birkhoff showed that a billiard system with an elliptic table is integrable.
The Hamiltonian for a particle of mass m moving freely without friction on a surface is:
where is a potential designed to be zero inside the region in which the particle can move, and infinity otherwise:
This form of the potential guarantees a specular reflection on the boundary. The kinetic term guarantees that the particle moves in a straight line, without any change in energy. If the particle is to move on a non-Euclidean manifold, then the Hamiltonian is replaced by:
where is the metric tensor at point . Because of the very simple structure of this Hamiltonian, the equations of motion for the particle, the Hamilton–Jacobi equations, are nothing other than the geodesic equations on the manifold: the particle moves along geodesics.
Hadamard's billiards concern the motion of a free point particle on a surface of constant negative curvature, in particular, the simplest compact Riemann surface with negative curvature, a surface of genus 2 (a two-holed donut). The model is exactly solvable, and is given by the geodesic flow on the surface. It is the earliest example of deterministic chaos ever studied, having been introduced by Jacques Hadamard in 1898.
Artin's billiard considers the free motion of a point particle on a surface of constant negative curvature, in particular, the simplest non-compact Riemann surface, a surface with one cusp. It is notable for being exactly solvable, and yet not only ergodic but also strongly mixing. It is an example of an Anosov system. This system was first studied by Emil Artin in 1924.
Let M be complete smooth Riemannian manifold without boundary, maximal sectional curvature of which is not greater than K and with the injectivity radius . Consider a collection of n geodesically convex subsets (walls) , , such that their boundaries are smooth submanifolds of codimension one. Let , where denotes the interior of the set . The set will be called the billiard table. Consider now a particle that moves inside the set B with unit speed along a geodesic until it reaches one of the sets Bi (such an event is called a collision) where it reflects according to the law “the angle of incidence is equal to the angle of reflection” (if it reaches one of the sets , , the trajectory is not defined after that moment). Such dynamical system is called semi-dispersing billiard. If the walls are strictly convex, then the billiard is called dispersing. The naming is motivated by observation that a locally parallel beam of trajectories disperse after a collision with strictly convex part of a wall, but remain locally parallel after a collision with a flat section of a wall.
Dispersing boundary plays the same role for billiards as negative curvature does for geodesic flows causing the exponential instability of the dynamics. It is precisely this dispersing mechanism that gives dispersing billiards their strongest chaotic properties, as it was established by Yakov G. Sinai. [1] Namely, the billiards are ergodic, mixing, Bernoulli, having a positive Kolmogorov-Sinai entropy and an exponential decay of correlations.
Chaotic properties of general semi-dispersing billiards are not understood that well, however, those of one important type of semi-dispersing billiards, hard ball gas were studied in some details since 1975 (see next section).
General results of Dmitri Burago and Serge Ferleger [2] on the uniform estimation on the number of collisions in non-degenerate semi-dispersing billiards allow to establish finiteness of its topological entropy and no more than exponential growth of periodic trajectories. [3] In contrast, degenerate semi-dispersing billiards may have infinite topological entropy. [4]
The table of the Lorentz gas (also known as Sinai billiard) is a square with a disk removed from its center; the table is flat, having no curvature. The billiard arises from studying the behavior of two interacting disks bouncing inside a square, reflecting off the boundaries of the square and off each other. By eliminating the center of mass as a configuration variable, the dynamics of two interacting disks reduces to the dynamics in the Sinai billiard.
The billiard was introduced by Yakov G. Sinai as an example of an interacting Hamiltonian system that displays physical thermodynamic properties: almost all (up to a measure zero) of its possible trajectories are ergodic and it has a positive Lyapunov exponent.
Sinai's great achievement with this model was to show that the classical Boltzmann–Gibbs ensemble for an ideal gas is essentially the maximally chaotic Hadamard billiards.
A particle is subject to a constant force (e.g. the gravity of the Earth) and scatters inelastically on a periodically corrugated vibrating floor. When the floor is made of arc or circles - in a ceratin intervall of frequencies - one can give a semi-analytic estimates to the rate of exponential separation of the trajectories. [5]
The table called the Bunimovich stadium is a rectangle capped by semicircles, a shape called a stadium. Until it was introduced by Leonid Bunimovich, billiards with positive Lyapunov exponents were thought to need convex scatters, such as the disk in the Sinai billiard, to produce the exponential divergence of orbits. Bunimovich showed that by considering the orbits beyond the focusing point of a concave region it was possible to obtain exponential divergence.
Magnetic billiards represent billiards where a charged particle is propagating under the presence of a perpendicular magnetic field. As a result, the particle trajectory changes from a straight line into an arc of a circle. The radius of this circle is inversely proportional to the magnetic field strength. Such billiards have been useful in real world applications of billiards, typically modelling nanodevices (see Applications).
Generalized billiards (GB) describe a motion of a mass point (a particle) inside a closed domain with the piece-wise smooth boundary . On the boundary the velocity of point is transformed as the particle underwent the action of generalized billiard law. GB were introduced by Lev D. Pustyl'nikov in the general case, [6] and, in the case when is a parallelepiped [7] in connection with the justification of the second law of thermodynamics. From the physical point of view, GB describe a gas consisting of finitely many particles moving in a vessel, while the walls of the vessel heat up or cool down. The essence of the generalization is the following. As the particle hits the boundary , its velocity transforms with the help of a given function , defined on the direct product (where is the real line, is a point of the boundary and is time), according to the following law. Suppose that the trajectory of the particle, which moves with the velocity , intersects at the point at time . Then at time the particle acquires the velocity , as if it underwent an elastic push from the infinitely-heavy plane , which is tangent to at the point , and at time moves along the normal to at with the velocity . We emphasize that the position of the boundary itself is fixed, while its action upon the particle is defined through the function .
We take the positive direction of motion of the plane to be towards the interior of . Thus if the derivative , then the particle accelerates after the impact.
If the velocity , acquired by the particle as the result of the above reflection law, is directed to the interior of the domain , then the particle will leave the boundary and continue moving in until the next collision with . If the velocity is directed towards the outside of , then the particle remains on at the point until at some time the interaction with the boundary will force the particle to leave it.
If the function does not depend on time ; i.e., , the generalized billiard coincides with the classical one.
This generalized reflection law is very natural. First, it reflects an obvious fact that the walls of the vessel with gas are motionless. Second the action of the wall on the particle is still the classical elastic push. In the essence, we consider infinitesimally moving boundaries with given velocities.
It is considered the reflection from the boundary both in the framework of classical mechanics (Newtonian case) and the theory of relativity (relativistic case).
Main results: in the Newtonian case the energy of particle is bounded, the Gibbs entropy is a constant, [7] [8] [9] (in Notes) and in relativistic case the energy of particle, the Gibbs entropy, the entropy with respect to the phase volume grow to infinity, [7] [9] (in Notes), references to generalized billiards.
The quantum version of the billiards is readily studied in several ways. The classical Hamiltonian for the billiards, given above, is replaced by the stationary-state Schrödinger equation or, more precisely,
where is the Laplacian. The potential that is infinite outside the region but zero inside it translates to the Dirichlet boundary conditions:
As usual, the wavefunctions are taken to be orthonormal:
Curiously, the free-field Schrödinger equation is the same as the Helmholtz equation,
with
This implies that two and three-dimensional quantum billiards can be modelled by the classical resonance modes of a radar cavity of a given shape, thus opening a door to experimental verification. (The study of radar cavity modes must be limited to the transverse magnetic (TM) modes, as these are the ones obeying the Dirichlet boundary conditions).
The semi-classical limit corresponds to which can be seen to be equivalent to , the mass increasing so that it behaves classically.
As a general statement, one may say that whenever the classical equations of motion are integrable (e.g. rectangular or circular billiard tables), then the quantum-mechanical version of the billiards is completely solvable. When the classical system is chaotic, then the quantum system is generally not exactly solvable, and presents numerous difficulties in its quantization and evaluation. The general study of chaotic quantum systems is known as quantum chaos.
A particularly striking example of scarring on an elliptical table is given by the observation of the so-called quantum mirage.
Billiards, both quantum and classical, have been applied in several areas of physics to model quite diverse real world systems. Examples include ray-optics, [10] lasers, [11] [12] acoustics, [13] optical fibers (e.g. double-clad fibers [14] [15] ), or quantum-classical correspondence. [16] One of their most frequent application is to model particles moving inside nanodevices, for example quantum dots, [17] [18] pn-junctions, [19] antidot superlattices, [20] [21] among others. The reason for this broadly spread effectiveness of billiards as physical models resides on the fact that in situations with small amount of disorder or noise, the movement of e.g. particles like electrons, or light rays, is very much similar to the movement of the point-particles in billiards. In addition, the energy conserving nature of the particle collisions is a direct reflection of the energy conservation of Hamiltonian mechanics.
Open source software to simulate billiards exist for various programming languages. From most recent to oldest, existing software are: DynamicalBilliards.jl (Julia), Bill2D (C++) and Billiard Simulator (Matlab). The animations present on this page were done with DynamicalBilliards.jl.
{{cite web}}
: CS1 maint: archived copy as title (link)In geometry, a geodesic is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line".
Loop quantum gravity (LQG) is a theory of quantum gravity that incorporates matter of the Standard Model into the framework established for the intrinsic quantum gravity case. It is an attempt to develop a quantum theory of gravity based directly on Albert Einstein's geometric formulation rather than the treatment of gravity as a mysterious mechanism (force). As a theory, LQG postulates that the structure of space and time is composed of finite loops woven into an extremely fine fabric or network. These networks of loops are called spin networks. The evolution of a spin network, or spin foam, has a scale on the order of a Planck length, approximately 10−35 meters, and smaller scales are meaningless. Consequently, not just matter, but space itself, prefers an atomic structure.
Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behavior of time averages of various functions along trajectories of dynamical systems. The notion of deterministic dynamical systems assumes that the equations determining the dynamics do not contain any random perturbations, noise, etc. Thus, the statistics with which we are concerned are properties of the dynamics.
In physics, Liouville's theorem, named after the French mathematician Joseph Liouville, is a key theorem in classical statistical and Hamiltonian mechanics. It asserts that the phase-space distribution function is constant along the trajectories of the system—that is that the density of system points in the vicinity of a given system point traveling through phase-space is constant with time. This time-independent density is in statistical mechanics known as the classical a priori probability.
In physics, specifically relativistic quantum mechanics (RQM) and its applications to particle physics, relativistic wave equations predict the behavior of particles at high energies and velocities comparable to the speed of light. In the context of quantum field theory (QFT), the equations determine the dynamics of quantum fields. The solutions to the equations, universally denoted as ψ or Ψ, are referred to as "wave functions" in the context of RQM, and "fields" in the context of QFT. The equations themselves are called "wave equations" or "field equations", because they have the mathematical form of a wave equation or are generated from a Lagrangian density and the field-theoretic Euler–Lagrange equations.
In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.
In statistical mechanics, the microcanonical ensemble is a statistical ensemble that represents the possible states of a mechanical system whose total energy is exactly specified. The system is assumed to be isolated in the sense that it cannot exchange energy or particles with its environment, so that the energy of the system does not change with time.
A Hamiltonian system is a dynamical system governed by Hamilton's equations. In physics, this dynamical system describes the evolution of a physical system such as a planetary system or an electron in an electromagnetic field. These systems can be studied in both Hamiltonian mechanics and dynamical systems theory.
Yakov Grigorevich Sinai is a Russian–American mathematician known for his work on dynamical systems. He contributed to the modern metric theory of dynamical systems and connected the world of deterministic (dynamical) systems with the world of probabilistic (stochastic) systems. He has also worked on mathematical physics and probability theory. His efforts have provided the groundwork for advances in the physical sciences.
In physics, canonical quantum gravity is an attempt to quantize the canonical formulation of general relativity. It is a Hamiltonian formulation of Einstein's general theory of relativity. The basic theory was outlined by Bryce DeWitt in a seminal 1967 paper, and based on earlier work by Peter G. Bergmann using the so-called canonical quantization techniques for constrained Hamiltonian systems invented by Paul Dirac. Dirac's approach allows the quantization of systems that include gauge symmetries using Hamiltonian techniques in a fixed gauge choice. Newer approaches based in part on the work of DeWitt and Dirac include the Hartle–Hawking state, Regge calculus, the Wheeler–DeWitt equation and loop quantum gravity.
In mathematics and physics, the Artin billiard is a type of a dynamical billiard first studied by Emil Artin in 1924. It describes the geodesic motion of a free particle on the non-compact Riemann surface where is the upper half-plane endowed with the Poincaré metric and is the modular group. It can be viewed as the motion on the fundamental domain of the modular group with the sides identified.
In physics and mathematics, the Hadamard dynamical system is a chaotic dynamical system, a type of dynamical billiards. Introduced by Jacques Hadamard in 1898, and studied by Martin Gutzwiller in the 1980s, it is the first dynamical system to be proven chaotic.
In mathematics, ergodicity expresses the idea that a point of a moving system, either a dynamical system or a stochastic process, will eventually visit all parts of the space that the system moves in, in a uniform and random sense. This implies that the average behavior of the system can be deduced from the trajectory of a "typical" point. Equivalently, a sufficiently large collection of random samples from a process can represent the average statistical properties of the entire process. Ergodicity is a property of the system; it is a statement that the system cannot be reduced or factored into smaller components. Ergodic theory is the study of systems possessing ergodicity.
The Fermi–Ulam model (FUM) is a dynamical system that was introduced by Polish mathematician Stanislaw Ulam in 1961.
In physics, relativistic quantum mechanics (RQM) is any Poincaré covariant formulation of quantum mechanics (QM). This theory is applicable to massive particles propagating at all velocities up to those comparable to the speed of light c, and can accommodate massless particles. The theory has application in high energy physics, particle physics and accelerator physics, as well as atomic physics, chemistry and condensed matter physics. Non-relativistic quantum mechanics refers to the mathematical formulation of quantum mechanics applied in the context of Galilean relativity, more specifically quantizing the equations of classical mechanics by replacing dynamical variables by operators. Relativistic quantum mechanics (RQM) is quantum mechanics applied with special relativity. Although the earlier formulations, like the Schrödinger picture and Heisenberg picture were originally formulated in a non-relativistic background, a few of them also work with special relativity.
In quantum field theory, and in the significant subfields of quantum electrodynamics (QED) and quantum chromodynamics (QCD), the two-body Dirac equations (TBDE) of constraint dynamics provide a three-dimensional yet manifestly covariant reformulation of the Bethe–Salpeter equation for two spin-1/2 particles. Such a reformulation is necessary since without it, as shown by Nakanishi, the Bethe–Salpeter equation possesses negative-norm solutions arising from the presence of an essentially relativistic degree of freedom, the relative time. These "ghost" states have spoiled the naive interpretation of the Bethe–Salpeter equation as a quantum mechanical wave equation. The two-body Dirac equations of constraint dynamics rectify this flaw. The forms of these equations can not only be derived from quantum field theory they can also be derived purely in the context of Dirac's constraint dynamics and relativistic mechanics and quantum mechanics. Their structures, unlike the more familiar two-body Dirac equation of Breit, which is a single equation, are that of two simultaneous quantum relativistic wave equations. A single two-body Dirac equation similar to the Breit equation can be derived from the TBDE. Unlike the Breit equation, it is manifestly covariant and free from the types of singularities that prevent a strictly nonperturbative treatment of the Breit equation. In applications of the TBDE to QED, the two particles interact by way of four-vector potentials derived from the field theoretic electromagnetic interactions between the two particles. In applications to QCD, the two particles interact by way of four-vector potentials and Lorentz invariant scalar interactions, derived in part from the field theoretic chromomagnetic interactions between the quarks and in part by phenomenological considerations. As with the Breit equation a sixteen-component spinor Ψ is used.
In lattice field theory, the Nielsen–Ninomiya theorem is a no-go theorem about placing chiral fermions on a lattice. In particular, under very general assumptions such as locality, hermiticity, and translational symmetry, any lattice formulation of chiral fermions necessarily leads to fermion doubling, where there are the same number of left-handed and right-handed fermions. It was first proved by Holger Bech Nielsen and Masao Ninomiya in 1981 using two methods, one that relied on homotopy theory and another that relied on differential topology. Another proof provided by Daniel Friedan uses differential geometry. The theorem was also generalized to any regularization scheme of chiral theories. One consequence of the theorem is that the Standard Model cannot be put on a lattice. Common methods for overcoming the fermion doubling problem is to use modified fermion formulations such as staggered fermions, Wilson fermions, or Ginsparg–Wilson fermions, among others.
In mathematics and physics, Lieb–Thirring inequalities provide an upper bound on the sums of powers of the negative eigenvalues of a Schrödinger operator in terms of integrals of the potential. They are named after E. H. Lieb and W. E. Thirring.
Maximal entropy random walk (MERW) is a popular type of biased random walk on a graph, in which transition probabilities are chosen accordingly to the principle of maximum entropy, which says that the probability distribution which best represents the current state of knowledge is the one with largest entropy. While standard random walk chooses for every vertex uniform probability distribution among its outgoing edges, locally maximizing entropy rate, MERW maximizes it globally by assuming uniform probability distribution among all paths in a given graph.
Supersymmetric theory of stochastic dynamics or stochastics (STS) is an exact theory of stochastic (partial) differential equations (SDEs), the class of mathematical models with the widest applicability covering, in particular, all continuous time dynamical systems, with and without noise. The main utility of the theory from the physical point of view is a rigorous theoretical explanation of the ubiquitous spontaneous long-range dynamical behavior that manifests itself across disciplines via such phenomena as 1/f, flicker, and crackling noises and the power-law statistics, or Zipf's law, of instantonic processes like earthquakes and neuroavalanches. From the mathematical point of view, STS is interesting because it bridges the two major parts of mathematical physics – the dynamical systems theory and topological field theories. Besides these and related disciplines such as algebraic topology and supersymmetric field theories, STS is also connected with the traditional theory of stochastic differential equations and the theory of pseudo-Hermitian operators.