The Uncertainty Principle in Terms of Isoperimetric Inequalities

Show more

The most familiar formalization of the uncertainty principle of position and momentum is in terms of standard deviations [1] [2] [3]

${\sigma}_{p}{\sigma}_{x}\ge \hslash /2\mathrm{.}$ (1)

In the corresponding measurement process, the standard deviation of the po- sition ${\sigma}_{x}$ is measured for a sample of particles initially prepared in a state $\psi $ . Subsequently, the standard deviation of the momentum ${\sigma}_{p}$ is measured for another sample of particles, which is also prepared in the same state $\psi $ . Thus, the statistical errors are corresponding to ensembles of measurements of dif- ferent but identical prepared systems.

An alternative interpretation of the Heisenberg principle for simultaneous measurements has been given recently [4] . The corresponding measurement process is as follows: Whenever a particle is strictly localized in a finite interval of length $\Delta x\mathrm{>0}$ with probability 1, then the standard deviation of its mo- mentum satisfies the inequality

${\sigma}_{p}\Delta x\ge \pi \hslash \mathrm{.}$ (2)

Provided the wave function $\psi $ of the system is sufficiently regular at the boundary of $\Delta x$ , the standard deviation of the momentum will remain finite and (2) is proved by applying the Wirtinger inequality [5] [6] . At this point it should be mentioned that the straight-forward application of Popoviciu’s

inequality ${\sigma}_{x}\le \frac{\Delta x}{2}$ to estimate ${\sigma}_{x}$ in (1) leads to an inequality ${\sigma}_{p}\Delta x\ge \hslash $ ,

which is weaker than (2). This is because the equal sign of Popoviciu's inequality is achieved by a discrete random variable that takes on the values at the boundary of the interval $\Delta x$ with equal probability 1/2. However, in the quantum mecha- nical case under consideration the wave-function is zero at the boundary of the compact domain such that the equal sign of Popoviciu’s inequality can never be reached. It can be shown, that the inequality (2) cannot be further improved [4] [5] .

In mathematics, the Wirtinger inequality is closely connected to the fact that the circle is uniquely characterized by the property that among all simple closed plane curves of given length l, the circle of circumference L encloses maximum area [6] . This property is most succinctly expressed in the isoperimetric in- equality ${L}^{2}\ge 4\pi A$ where A is the area enclosed by a curve of length l, and where equality holds if and only if the curve is a circle.

There are also isoperimetric inequalities of mathematical physics. They are special cases of isoperimetric problems in which typically some physical quantity, usually represented by the eigenvalues of a differential equation, is shown to be extremal for a circular or spherical domain. Extensive discussions of such pro- blems can be found in the book of Pólya and Szegö [7] and the review article by Payne [8] .

The purpose of the present note is to establish the link between the mea- surement process of (2) and the corresponding analytic inequalities closely con- nected to the isoperimetric inequalities, such as Wirtinger’s or Poincaré’s in- equalities [7] - [13] .

More precisely, let us consider non-relativistic particles in $n\ge 2$ spatial di- mensions. In analogy to the 1-dimensional interval $\Delta x$ of (2), let $D\subset {\mathbb{R}}^{n}$ be a simply connected domain (the spatial uncertainty) with compact closure and (piecewise) smooth boundary $\partial D\ne \varnothing $ . Then, a Hilbert basis of ${L}^{2}\left(D\right)$ , the space of square-integrable functions on D, is defined by the Laplacian on D with Dirichlet boundary conditions:

$\Delta u+\lambda \text{\hspace{0.05em}}u=0\text{in}D,$ (3)

$u=0\text{on}\partial D.$ (4)

Let $\left\{{\lambda}_{i}\right\}$ be the set of eigenvalues and $\left\{{u}_{i}\right\}$ the orthonormal basis of eigen- functions, $i=1,2,\cdots $ . It is well known that there are infinite many eigenvalues with no accumulation point: $0<{\lambda}_{1}\le {\lambda}_{2}\le \cdots $ and ${\lambda}_{i}\to \infty $ as $i\to \infty $ . The scalar product in ${L}^{2}\left(D\right)$ will be denoted by angular brackets, that is to write $\langle \varphi |\psi \rangle $ for two state vectors $\varphi \mathrm{,}\psi \in {L}^{2}\left(D\right)$ . Accordingly, the norm of $\psi $ is given by $\Vert \psi \Vert \equiv \sqrt{\langle \psi |\psi \rangle}$ .

Now, we consider the standard deviation ${\sigma}_{p}$ of the momentum in the do- main D. For every wave function $\psi \in {L}^{2}\left(D\right)$ , the eigenvalue problem (3) is the same for its real part and its imaginary part. Both are collinear and thus we only have to consider the real valued problem. In this case, it is easy to show by partial integrations that the mean value of the momentum operator $\stackrel{^}{p}=-i\hslash \nabla $ is equal to zero and the standard deviation of the momentum is given by

${\sigma}_{p}^{2}={\hslash}^{2}{\Vert \nabla \psi \Vert}^{2}.$ (5)

A sharp lower bound of ${\sigma}_{p}$ is now obtained by the associated variational characterization

$\underset{\psi \in {L}^{2}\left(D\right)\backslash \left\{0\right\}}{{\displaystyle \mathrm{inf}}}\frac{{\Vert \nabla \psi \Vert}^{2}}{{\Vert \psi \Vert}^{2}}={\lambda}_{1}\left(D\right),$ (6)

while the quotient on the left-hand side is the well known Rayleigh quotient [6] [9] . The right hand side is the first eigenvalue ${\lambda}_{1}$ of the Dirichlet Laplacian which is in general dependent on the shape of the domain [6] . After substitution of (6) into (5), we obtain the corresponding inequality

${\sigma}_{p}\ge {\lambda}_{1}^{\frac{1}{2}}\hslash \text{\hspace{0.05em}}.$ (7)

That is, whenever there is a particle in a given domain D with probability 1, then the standard deviation of the momentum is bounded by (7).

For an illustration, let us consider the case $n=2$ . Then, the eigenvalue ${\lambda}_{1}$ is proportional to the square of the eigenfrequencies of an elastic, homogeneous, vibrating membrane with fixed boundary. The Rayleigh-Faber-Krahn inequality for the membrane (i.e. $n=2$ ) states that

${\lambda}_{1}\ge \frac{\pi {j}_{0,1}^{2}}{A},$ (8)

where ${j}_{\mathrm{0,1}}$ is the first zero of the Bessel function of order zero, and A is the area of the membrane. Equality is attained in (8) only if the membrane is circular [9] [10] [11] .

More general, the corresponding isoperimetric inequality in dimension n,

${\lambda}_{1}\left(D\right)\ge {\left(\frac{{C}_{n}}{\left|D\right|}\right)}^{\mathrm{2/}n}{j}_{n\mathrm{/2}-\mathrm{1,1}}^{2}\mathrm{,}$ (9)

was proven by Krahn [13] . The expression ${j}_{m\mathrm{,1}}$ is the first positive zero of the Bessel function ${J}_{m}$ , $\left|D\right|$ is the volume of the domain and ${C}_{n}={\pi}^{n/2}/\Gamma \left(n/2+1\right)$ is the volume of the n-dimensional unit ball. Equality is attained in (9) if and only if D is a ball. Let d be the diameter of the n-dimensional ball, then we obtain the general inequality

${\sigma}_{p}\text{\hspace{0.05em}}d\ge 2{j}_{n/2-1,1}\hslash .$ (10)

Due to the fact that ${j}_{n\mathrm{/2}-\mathrm{1,1}}$ behaves like $n/2$ for $n\to \infty $ , the asymptotic behavior of the right-hand side in (10) is of the same order as for the n- dimensional version of (1), which is expected to scale like $\sim n$ .

Proposition. For dimension $n=1,2,3$ , we get the following uncertainty relations:

${\sigma}_{p}\text{\hspace{0.05em}}d\ge \pi \hslash $ (11)

${\sigma}_{p}\text{\hspace{0.05em}}d\ge 4.8\hslash $ (12)

${\sigma}_{p}\text{\hspace{0.05em}}d\ge 2\pi \hslash \mathrm{.}$ (13)

Proof. By applying (10) for $n=1,2,3$ . For the Bessel-zero with $n\mathrm{=1}$ we have ${j}_{-1/2,1}=\pi /2$ , for $n=2$ we have ${j}_{0,1}=2.40482555769\cdots $ and for $n=3$ we get ${j}_{1/2,1}=\pi $ .

The first of these inequalities is equivalent to (2) for $\Delta x=d$ , as it should be expected in one dimension. For the second inequality, we have applied the numerical approximation ${j}_{0,1}\approx 2.40$ .

Actually, the derivation of (11)-(13) is based on the assumption that the Hilbert space is considered with respect to the ordinary Euclidean position space. For a formal extension to general (curved) position spaces the Laplacian of the variational problem (6) might be replaced by the corresponding Laplace- Beltrami operator of a Riemannian manifold. This procedure then leads to in- equalities whose lower bound (in addition) depends on the Ricci curvature of the manifold. However, first of all it seems to be appropriate to ensure that the quantum mechanical measurement process corresponding to the generalized momentum operator is well defined. Otherwise, there is no way for experimental verification at all.

References

[1] Heisenberg, W. (1927) über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Zeitschrift für Physik, 43, 172-198.

https://doi.org/10.1007/BF01397280

[2] Heisenberg, W. (1930) The Physical Principles of the Quantum Theory. University of Chicago Press, Chicago. [Reprinted by Dover, New York (1949, 1967)].

[3] Kennard, E.H. (1927) Zur Quantenmechanik einfacher Bewegungstypen. Zeitschrift für Physik, 44, 326-352.

https://doi.org/10.1007/BF01391200

[4] Schürmann, T. and Hoffmann, I. (2009) A Closer Look at the Uncertainty Relation of Position and Momentum. Foundations of Physics, 39, 958-963.

https://doi.org/10.1007/s10701-009-9310-0

[5] This Inequality States That for Any Bounded Interval Q=[a,b] and Any Continuously Differentiable f(x)∈C^{1}(Q) with f(a)=f(b)=0. It Follows That ∫_{Q}∣f∣^{2} dx≤[(b-a)^{2}/π^{2}] ∫_{Q} ∣f∣^{2} dx. The Constant (b-a)^{2}/π^{2} Cannot Be Further Improved [6].

[6] Osserman, R. (1978) The Isoperimetric Inequality. Bulletin of the American Mathematical Society, 84, 1182-1238.

https://doi.org/10.1090/S0002-9904-1978-14553-4

[7] Pólya, G. and Szego, G. (1951) Isoperimetric Inequalities in Mathematical Physics. Annals of Mathematics Studies, 27, Princeton University Press.

[8] Payne, L.E. (1967) Isoperimetric Inequalities and Their Applications. SIAM Review, 9, 453-488.

https://doi.org/10.1137/1009070

[9] Rayleigh, J.W.W. (1894/1896) The Theory of Sound. 2nd Edition, London, 339-340.

[10] Faber, G. (1923) Bayer. Akad. Wiss. München, Math.-Phys., 169.

[11] Krahn, E. (1927) über eine von Rayleigh formulierte Minimaleigenschaft des Kreises. Mathematische Annalen, 94, 97.

https://doi.org/10.1007/BF01208645

[12] Kuttler, J.R. and Sigillito, V.G. (1984) Eigenvalues of the Laplacian in Two Dimensions. SIAM Review, 26, 163-193.

https://doi.org/10.1137/1026033

[13] Krahn, E. (1926) über Minimaleigenschaften der Kugel in drei und mehr Dimensionen. Acta Comm. Univ. Tartu (Dorpat), A9, 1. [English Translation: Lumiste, ü. and Peetre, J., Eds., Edgar Krahn, 1894-1961, A Centenary Volume, IOS Press, Amsterdam, 1994, Chapter 6.]