Conservation law
In physics, a conservation law states that a particular measurable property of an isolated physical system does not change as the system evolves over time. Exact conservation laws include conservation of mass-energy, conservation of linear momentum, conservation of angular momentum, and conservation of electric charge. There are also many approximate conservation laws, which apply to such quantities as mass, parity, lepton number, baryon number, strangeness, hypercharge, etc. These quantities are conserved in certain classes of physics processes, but not in all.
A local conservation law is usually expressed mathematically as a continuity equation, a partial differential equation which gives a relation between the amount of the quantity and the "transport" of that quantity. It states that the amount of the conserved quantity at a point or within a volume can only change by the amount of the quantity which flows in or out of the volume.
From Noether's theorem, every differentiable symmetry leads to a local conservation law. Other conserved quantities can exist as well.
Conservation laws as fundamental laws of nature
Conservation laws are fundamental to our understanding of the physical world, in that they describe which processes can or cannot occur in nature. For example, the conservation law of energy states that the total quantity of energy in an isolated system does not change, though it may change form. In general, the total quantity of the property governed by that law remains unchanged during physical processes. With respect to classical physics, conservation laws include conservation of energy, mass, linear momentum, angular momentum, and electric charge. With respect to particle physics, particles cannot be created or destroyed except in pairs, where one is ordinary and the other is an antiparticle. With respect to symmetries and invariance principles, three special conservation laws have been described, associated with inversion or reversal of space, time, and charge.Conservation laws are considered to be fundamental laws of nature, with broad application in physics, as well as in other fields such as chemistry, biology, geology, and engineering.
Most conservation laws are exact, or absolute, in the sense that they apply to all possible processes. Some conservation laws are partial, in that they hold for some processes but not for others.
One particularly important result concerning local conservation laws is Noether's theorem, which states that there is a one-to-one correspondence between each one of them and a differentiable symmetry of the Universe. For example, the local conservation of energy follows from the uniformity of time and the local conservation of angular momentum arises from the isotropy of space, i.e. because there is no preferred direction of space. Notably, there is no conservation law associated with time-reversal, although more complex conservation laws combining time-reversal with other symmetries are known.
Exact laws
A partial listing of physical conservation equations due to symmetry that are said to be exact laws, or more precisely have never been proven to be violated:Another exact symmetry is CPT symmetry, the simultaneous inversion of space and time coordinates, together with swapping all particles with their antiparticles; however being a discrete symmetry Noether's theorem does not apply to it. Accordingly, the conserved quantity, CPT parity, can usually not be meaningfully calculated or determined.
Approximate laws
There are also approximate conservation laws. These are approximately true in particular situations, such as low speeds, short time scales, or certain interactions.- Conservation of mechanical energy
- Conservation of mass
- Conservation of baryon number
- Conservation of lepton number
- Conservation of flavor
- Conservation of strangeness
- Conservation of space-parity
- Conservation of charge-parity
- Conservation of time-parity
- Conservation of CP parity
- Conservation of CPT symmetry.
Global and local conservation laws
A stronger form of conservation law requires that, for the amount of a conserved quantity at a point to change, there must be a flow, or flux of the quantity into or out of the point. For example, the amount of electric charge at a point is never found to change without an electric current into or out of the point that carries the difference in charge. Since it only involves continuous local changes, this stronger type of conservation law is Lorentz invariant; a quantity conserved in one reference frame is conserved in all moving reference frames. This is called a local conservation law. Local conservation also implies global conservation; that the total amount of the conserved quantity in the Universe remains constant. All of the conservation laws listed above are local conservation laws. A local conservation law is expressed mathematically by a continuity equation, which states that the change in the quantity in a volume is equal to the total net "flux" of the quantity through the surface of the volume. The following sections discuss continuity equations in general.
Differential forms
In continuum mechanics, the most general form of an exact conservation law is given by a continuity equation. For example, conservation of electric charge iswhere is the divergence operator, is the density of , is the flux of , and is time.
If we assume that the motion u of the charge is a continuous function of position and time, then
In one space dimension this can be put into the form of a homogeneous first-order quasilinear hyperbolic equation:
where the dependent variable is called the density of a conserved quantity, and is called the current Jacobian, and the subscript notation for partial derivatives has been employed. The more general inhomogeneous case:
is not a conservation equation but the general kind of balance equation describing a dissipative system. The dependent variable is called a nonconserved quantity, and the inhomogeneous term is the-source, or dissipation. For example, balance equations of this kind are the momentum and energy Navier-Stokes equations, or the entropy balance for a general isolated system.
In the one-dimensional space a conservation equation is a first-order quasilinear hyperbolic equation that can be put into the advection form:
where the dependent variable is called the density of the conserved quantity, and is called the current coefficient, usually corresponding to the partial derivative in the conserved quantity of a current density of the conserved quantity :
In this case since the chain rule applies:
the conservation equation can be put into the current density form:
In a space with more than one dimension the former definition can be extended to an equation that can be put into the form:
where the conserved quantity is, denotes the scalar product, is the nabla operator, here indicating a gradient, and is a vector of current coefficients, analogously corresponding to the divergence of a vector current density associated to the conserved quantity :
This is the case for the continuity equation:
Here the conserved quantity is the mass, with density and current density, identical to the momentum density, while is the flow velocity.
In the general case a conservation equation can be also a system of this kind of equations in the form:
where is called the conserved quantity, is its gradient, is the zero vector, and is called the Jacobian of the current density. In fact as in the former scalar case, also in the vector case A usually corresponding to the Jacobian of a current density matrix :
and the conservation equation can be put into the form:
For example, this the case for Euler equations. In the simple incompressible case they are:
where:
- is the flow velocity vector, with components in a N-dimensional space,
- is the specific pressure giving the source term,
where denotes the outer product.
Integral and weak forms
Conservation equations can usually also be expressed in integral form: the advantage of the latter is substantially that it requires less smoothness of the solution, which paves the way to weak form, extending the class of admissible solutions to include discontinuous solutions. By integrating in any space-time domain the current density form in 1-D space:and by using Green's theorem, the integral form is:
In a similar fashion, for the scalar multidimensional space, the integral form is:
where the line integration is performed along the boundary of the domain, in an anticlockwise manner.
Moreover, by defining a test function φ continuously differentiable both in time and space with compact support, the weak form can be obtained pivoting on the initial condition. In 1-D space it is:
In the weak form all the partial derivatives of the density and current density have been passed on to the test function, which with the former hypothesis is sufficiently smooth to admit these derivatives.