Heisenberg Uncertainty Principle: Difference between revisions
No edit summary |
No edit summary |
||
Line 35: | Line 35: | ||
For any observable <math>A</math>, we have | For any observable <math>A</math>, we have | ||
:<math>(\Delta A)^2 = \langle( | :<math>(\Delta A)^2 = \langle(A-\langle A\rangle)\Psi|(A-\langle A\rangle)\Psi\rangle = \langle f|f\rangle </math> | ||
where <math> f \equiv ( | where <math> f \equiv (A-\langle A\rangle)\Psi </math>. Likewise, for any other observable <math>B</math>, | ||
:<math>(\Delta B)^2 = \langle g|g\rangle </math> where <math> g \equiv ( | :<math>(\Delta B)^2 = \langle g|g\rangle </math> where <math> g \equiv (B-\langle B\rangle)\Psi </math>. | ||
Now we invoke the [[Linear Vector Space and Operators#Schwartz Inequality|Schwartz inequality]]<nowiki />. Recall that this is just | Now we invoke the [[Linear Vector Space and Operators#Schwartz Inequality|Schwartz inequality]]<nowiki />. Recall that this is just | ||
Line 53: | Line 53: | ||
But | But | ||
:<math> \langle f|g\rangle = \langle( | :<math> \langle f|g\rangle = \langle(A-\langle A\rangle)\Psi|(B-\langle B\rangle)\Psi\rangle = \langle\Psi|(A-\langle A\rangle)(B-\langle B\rangle)\Psi\rangle </math> | ||
:<math> = \langle\Psi| | :<math> = \langle\Psi| AB - A\langle B\rangle - B\langle A\rangle + \langle A\rangle\langle B\rangle)\Psi\rangle </math> | ||
:<math> = \langle\Psi| | :<math> = \langle\Psi| AB\Psi\rangle - \langle B\rangle\langle\Psi|A\Psi\rangle - \langle A\rangle\langle\Psi|B\Psi\rangle + \langle A\rangle\langle B\rangle\langle\Psi|\Psi\rangle </math> | ||
:<math> \langle | :<math> \langle AB\rangle - \langle B\rangle\langle A\rangle - \langle A\rangle\langle B\rangle + \langle A\rangle\langle B\rangle = \langle AB\rangle - \langle A\rangle\langle B\rangle </math>. | ||
Similarly, | Similarly, | ||
:<math> \langle g|f\rangle = \langle | :<math> \langle g|f\rangle = \langle BA\rangle - \langle B\rangle\langle A\rangle </math> | ||
so | so | ||
:<math> \langle f|g\rangle - \langle g|f\rangle = \langle | :<math> \langle f|g\rangle - \langle g|f\rangle = \langle AB\rangle - \langle BA\rangle = \langle[A,B]\rangle </math> | ||
where | where | ||
:<math> [ | :<math> [A,B] \equiv AB - BA </math> | ||
is the commutator of the two operators. | is the commutator of the two operators. | ||
''Conclusion:'' | ''Conclusion:'' | ||
:<math>(\Delta A)^2(\Delta B)^2 \geq \left (\frac{1}{2i}\langle[ | :<math>(\Delta A)^2(\Delta B)^2 \geq \left (\frac{1}{2i}\langle[A,B]\rangle\right )^2</math>. | ||
This is the generalized uncertainty principle. | This is the generalized uncertainty principle. | ||
Line 100: | Line 100: | ||
[[Ehrenfest's Theorem#Generalized Heisenberg uncertainty relation|Generalized Heisenberg Uncertainty Relation]] | [[Ehrenfest's Theorem#Generalized Heisenberg uncertainty relation|Generalized Heisenberg Uncertainty Relation]] | ||
As a trivial example, suppose the first observable is position <math> | As a trivial example, suppose the first observable is position, <math> A=x</math>, and the second is momentum, <math>B=p=\frac{\hbar}{i}\frac{d}{dx}</math>. | ||
The commutation relation between these two observables is just | The commutation relation between these two observables is just |
Revision as of 16:15, 12 March 2013
Consider a long string which contains a wave that moves with a fairly well-defined wavelength across the whole length of the string. The question, "where is the wave" does not seem to make much sense, since it is spread throughout the length of string. A quick snap of the wrist and the string produces a small bump-like wave which has a well defined position. Now the question, "what is the wavelength" does not make sense, since there is no well defined period. This example illisturates the limitation on measuring the wavelength and the position simultaneously. Relating the wavelength to momentum yields the de Broglie equation, which is applicable to any wave phenomenon, including the wave equation:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p=\frac{h}{\lambda}=\frac{2\pi \hbar}{\lambda}}
Now that there is a relation between momentum and position, the uncertainty of the measurement of either momentum or position takes mathematical form in the Heisenberg Uncertainty relation:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta x\,\Delta p \geq \frac{\hbar}{2}}
where the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta A } of each operator represents the positive square root of the variance, given generally by:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2=\langle(A-\langle A\rangle)^2\rangle=\langle A^2\rangle-\langle A\rangle^2.}
Although both momentum and position are measurable quantities that will yield precise values when measured, the uncertainty principle states that the deviation in one quantity is directly related to the other quantity. This deviation in the uncertainty principle is the result of identically prepared systems not yielding identical results.
A generalized expression for the uncertainty of any two operators A and B is:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta A\,\Delta B=\frac{1}{2i}\langle [A,B]\rangle.}
And thus, there exists an uncertainty relation between any two observables which do not commute.
More generally the uncertainty principle states that two canonically conjugated variables cannot be determined simultaneously with a precision exceeding the relation:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta A\,\Delta B = \hbar }
Canonically conjugated variables are those which are related by the Fourier Transform. More specifically, they are variables that when you take the Fourier Transform of a function that is dependent on one, you get a function that depends on the other. For example, position and momentum are canonically conjugated variables:
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Phi(p,t) = \frac{1}{2\pi\hbar}\int^{+\infty}_{-\infty}e^{\frac{-ipx}{\hbar}}\Psi(x,t)dx} ; Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Psi(x,t) = \frac{1}{2\pi\hbar}\int^{+\infty}_{-\infty}e^{\frac{ipx}{\hbar}}\Phi(p,t)dp} .
Another example of canonically conjugated variables are energy and time. It is precisely this relationship that leads to the uncertainty principle. The reader has probably noticed that the relation above – i.e. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta A\,\Delta B = \hbar } – is not the familiar uncertainty principle we all know, the one where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hbar } is divided by two. It turns out that the above relation is more general; we only get the more familiar version when the wave-packet is Gaussian.
A generalized proof of the Uncertainty Principle is as follows.
For any observable Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , we have
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2 = \langle(A-\langle A\rangle)\Psi|(A-\langle A\rangle)\Psi\rangle = \langle f|f\rangle }
where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f \equiv (A-\langle A\rangle)\Psi } . Likewise, for any other observable Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} ,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta B)^2 = \langle g|g\rangle } where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle g \equiv (B-\langle B\rangle)\Psi } .
Now we invoke the Schwartz inequality. Recall that this is just
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left |\int_a^b [f(x)]^{*} g(x) dx\right | \leq \sqrt{\int_a^b |f(x)|^2\,dx \int_a^b |g(x)|^2\,dx} }
Invoking this expression,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2(\Delta B)^2 = \langle f|f\rangle\langle g|g\rangle \geq |\langle f|g\rangle|^2 } .
Now, for any complex number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z} ,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |z|^2 = [\text{Re}(z)]^2 + [\text{Im}(z)]^2 \geq [\text{Im}(z)]^2 = \left (\frac{z-z^*}{2i}\right )^2 } .
Letting Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle z = \langle f|g\rangle } ,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2(\Delta B)^2 \geq \left (\frac{\langle f|g\rangle-\langle g|f\rangle}{2i}\right )^2 } .
But
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle f|g\rangle = \langle(A-\langle A\rangle)\Psi|(B-\langle B\rangle)\Psi\rangle = \langle\Psi|(A-\langle A\rangle)(B-\langle B\rangle)\Psi\rangle }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle = \langle\Psi| AB - A\langle B\rangle - B\langle A\rangle + \langle A\rangle\langle B\rangle)\Psi\rangle }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle = \langle\Psi| AB\Psi\rangle - \langle B\rangle\langle\Psi|A\Psi\rangle - \langle A\rangle\langle\Psi|B\Psi\rangle + \langle A\rangle\langle B\rangle\langle\Psi|\Psi\rangle }
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle AB\rangle - \langle B\rangle\langle A\rangle - \langle A\rangle\langle B\rangle + \langle A\rangle\langle B\rangle = \langle AB\rangle - \langle A\rangle\langle B\rangle } .
Similarly,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle g|f\rangle = \langle BA\rangle - \langle B\rangle\langle A\rangle }
so
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle f|g\rangle - \langle g|f\rangle = \langle AB\rangle - \langle BA\rangle = \langle[A,B]\rangle }
where
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [A,B] \equiv AB - BA }
is the commutator of the two operators.
Conclusion:
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta A)^2(\Delta B)^2 \geq \left (\frac{1}{2i}\langle[A,B]\rangle\right )^2} .
This is the generalized uncertainty principle.
So, here is a true physical constraint on a wave packet. If we compress it in one variable, it expands in the other! If it is compressed in position (i.e., localized) then it must must be spread out in wavelength. If it is compressed in momentum, it is spread out in space.
So now let's see what is the physical meaning of Heisenberg’s inequalities?
1. Suppose we prepare N systems in the same state. For half of them, we measure their positions x; for the other half, we measure their momenta Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p_{x}} . Whatever way we prepare the state of these systems, the dispersions obey these inequalities.
2. These are intrinsic properties of the quantum description of the state of a particle.
3. Heisenberg uncertainty relations have nothing to do with the accuracy of measurements. Each measurement is done with as great an accuracy as one wishes. They have nothing to do with the perturbation that a measurement causes to a system, inasmuch as each particle is measured only once.
4. In other words, the position and momentum of a particle are defined numerically only within limits that obey these inequalities. There exists some “fuzziness” in the numerical definition of these two physical quantities. If we prepare particles all at the same point, they will have very different velocities. If we prepare particles with a well-defined velocity, then they will be spread out in a large region of space.
5. Newton’s starting point must be abandoned. One cannot speak simultaneously of x and p. The starting point of classical mechanics is destroyed. Some comments are in order.
A plane wave corresponds to the limit Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta p\rightarrow 0} . Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta x} is infinite. In an interference experiment, the beam, which is well defined in momentum, is spread out in position. The atoms pass through both slits at the same time.We cannot “aim” at one of the slits and observe interferences.
The classical limit (i.e. how does this relate to classical physics) can be seen in a variety of ways that are more or less equivalent. One possibility is that the orders of magnitude of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} are so large that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\hbar}{2}} is not a realistic constraint. This is the case for macroscopic systems. Another possibility is that the accuracy of the measuring devices is such that one cannot detect the quantum dispersions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta x} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Delta p} .
See also Generalized Heisenberg Uncertainty Relation
As a trivial example, suppose the first observable is position, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A=x} , and the second is momentum, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B=p=\frac{\hbar}{i}\frac{d}{dx}} .
The commutation relation between these two observables is just
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\hat{x},\hat{p}]=i\hbar } .
So,
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\Delta x)^2 (\Delta p)^2 \geq \left (\frac{1}{2i}\cdot i\hbar\right )^2 = \left (\frac{\hbar}{2}\right )^2 } .
A worked problem showing the uncertainty in the position of different objects over the lifetime of the universe: Problem 1
A problem about how to find kinetic energy of a particle, a nucleon specifically, using the uncertanity principle : Problem 2
Another problem verifying Uncertainty relation: Problem 3