San José State University |
---|
applet-magic.com Thayer Watkins Silicon Valley & Tornado Alley U.S.A. |
---|
The Nature and Proof of the Generalized Uncertainty Principle |
---|
The original Uncertainty Principle as formulated by Werner Heisenberg in 1926 was for a particle with a trajectory. According to that principle the uncertainties of the particle's location and momentum could not be established to arbitrary precision. Specifically it said the product of the uncertainties of location and momentum had to be greater than or equal to Planck's constant divided by 4π. The uncertainties are measured by the standard deviations of the probability distributions of position x and momentum p. These are denoted as σ_{x} and σ_{p}, respectively. Thus
There is a closely related concept called the Observer Effect which says that the properties of a physical system cannot be measured without perturbing the properties of that system. The following does not pertain to the Observer Effect; instead it deals with the probability distributions of undisturbed systems.
Consider a system involving a set of variables {q_{1}, q_{2}, … q_{n}} and their associated momenta {p_{1}, p_{2}, … p_{n}}. Let H be the Hamiltonian function for the system.
Before proceeding further it is necessary to create the mathematical setting for the analysis. Let W be the space of the system. This generally would be the real space R^{2n}. Let U be the set of complex-valued functions on W. The set U included the set of wave functions Ψ. A wave function ψ is such that it squared value is a probability density function and a probability density function is a nonnegative real-valued function such that its integral over W is equal to unity.
Furthermore there is a complex-valued binary function defined over U, called the inner product; i.e.,
where C denotes the set of complex numbers.
The inner-product function is linear in its arguments; i.e.,
Let an underscore of a variable denote its complex conjugate. The inner-product function must be such that for all x and y in U an interchange of the argument produces the complex conjugate
This implies that for all x in U, (x, x) is real. It is required that (x, x) be nonnegative and that if (x, x) is equal to zero then x must be the zero vector. It can then be shown that (ax, y) is equal to a·(x, y) and that (x, by) is equal to b·(x, y).
An operator is merely a function from U to U. The adjoint of an operator S is the operator S* such that
There are special operators such that S=S*. These are called self-adjoint or Hermitian. For two self-adjoint operators A and B
In the following use is made of statistical notation because physics notation places too much of a burden on brackets of various sorts. The statistical notation includes:
The expected value of x could be represented in terms of the inner product as (x, P(x)).
In physics the probability density function is usually represented by a wave function ψ such that
Thus the expected value of a variable x can be represented as
For two operators A and B, BA is not necessarily the same as AB. A binary function [·, ·] is defined for operators such that
For a state variable q the associated operator is just multiplication by q. For a momentum variable p associated with q the operator is
−;hi(∂/∂q), where h is Planck's constant divided by 2π and i is the square root of −1.
Generally physical properties of a system are associated with self-adjoint (Hermitian) operators.
For two self-adjoint operators A and B and any wave function ψ
Proof:
Let the wave functions for the deviations from the means of A and B, be denoted as
The standard deviations of A and B can then be represented as the magnitudes of ψ_{A} and ψ_{B}, respectively. By Schwarz's Inequality
Let
Since (c + id)^{½} ≥ |d|
Now consider d, the imaginary component of (ψ_{A}, ψ_{B}).
But
But ψ_{A} is equal to ΔA·ψ and likewise for ψ_{B}. Thus the above formula for d can be expressed as
Since this form of the inner product is equivalent to the expected value of [A, B]
It was establish initially in the proof that
For a physical system
Therefore
If j≠k then q_{j} and p_{k} can be measured simultaneously to any degree of accuracy.
HOME PAGE OF applet-magic |
---|