Abstract

In the framework of the generalized uncertainty principle, the position and momentum operators obey the modified commutation relation , where is the deformation parameter. Since the validity of the uncertainty relation for the Shannon entropies proposed by Beckner, Bialynicki-Birula, and Mycielski (BBM) depends on both the algebra and the used representation, we show that using the formally self-adjoint representation, that is, and , where , the BBM inequality is still valid in the form as well as in ordinary quantum mechanics. We explicitly indicate this result for the harmonic oscillator in the presence of the minimal length.

1. Introduction

The existence of a minimal observable length proportional to the Planck length m is motivated by various proposals of quantum gravity such as string theory, loop quantum gravity, noncommutative geometry, and black-hole [13]. Indeed, several schemes have been established to investigate the effects of the minimal length range from astronomical observations [4, 5] to table-top experiments [6]. In particular, a measurement method is proposed recently to detect this fundamental length scale which is based on the possible deviations from ordinary quantum commutation relation at the Planck scale within the current technology [6].

Deformed commutation relations have attracted much attention in recent years and several problems range from classical to quantum mechanical systems have been studied exactly or approximately in the context of the generalized (gravitational) uncertainty principle (GUP). Among these investigations in quantum domain, we can mention the harmonic oscillator [79], Coulomb potential [1012], singular inverse square potential [13], coherent states [14], Dirac oscillator [15], Lamb’s shift, Landau levels, tunneling current in scanning tunneling microscope [16], ultracold neutrons in gravitational field [17, 18], Casimir effect [19], relativistic quantum mechanics [2022], and cosmological problems [2326]. On the other hand, in the classical domain, deformed classical systems in phase space [27, 28], Keplerian orbits [29], composite systems [30], and the thermostatistics [31, 32] have been investigated in the presence of the minimal length.

In the last decade, many applications of information theoretic measures such as entropic uncertainty relations, as alternatives to Heisenberg uncertainty relation, appeared in various quantum mechanical systems [3348]. The concept of statistical complexity was introduced by Shannon in 1948 [49], where the term uncertainty can be considered as a measure of the missing information. In particular, it is shown that the information entropies such as Shannon entropy may be used to replace the well-known quantum mechanical uncertainty relation. The first entropic uncertainty relation for position and momentum observables was proposed by Hirschmann [50] and is later improved by Beckner, Bialynicki-Birula, and Mycielski (BBM) [5154].

In the context of the generalized uncertainty principle, there exists two questions. (i) Are the wave functions in position space and momentum space related by the Fourier transform in arbitrary GUP algebra in the form ? (ii) If in a particular algebra these wave functions are not related by the Fourier transform, is the BBM inequality still valid? Note that the validity of the BBM entropic uncertainty relation depends on both the algebra and the used representation. For instance, consider the modified commutation relation in the form which implies a minimal length and a minimal momentum proportional to and , respectively. This form of GUP has no formally self-adjoint representation in the form and . So the momentum space and coordinate space wave functions are not related by the Fourier transform in any representation and the BBM uncertainty relation does not hold in this framework.

The well-known Robertson uncertainty principle for two noncommuting observables is given bywhere denotes the commutator of and and and are their dispersions. However, this uncertainty relation suffers from two serious shortcomings [55, 56]. (i) For two noncommuting observables of a finite -dimensional Hilbert space, since the right-hand side of (1) depends on the wave function , it is not a fixed lower bound. Indeed, if is the eigenstate of the observable or , the right-hand side of (1) vanishes and there is no restriction on or by this uncertainty relation. (ii) The dispersions cannot be considered as suitable measures for the uncertainty of two complementary observables with continuous probability densities. This problem is more notable when their corresponding probability densities contain several sharp peaks. Among various proposals for the uncertainty relations that are not suffered from these shortcomings, we can mention the information-theoretical entropy instead of the dispersions which is a proper measure of the uncertainty.

In this paper, we study the effects of the minimal length on the entropic uncertainty relation. In this scenario, the position and momentum operators obey the modified commutation relation , where is the deformation parameter. Using formally self-adjoint representation of the algebra, we show that the coordinate space and momentum space wave functions are related by the Fourier transform and consequently the BBM inequality is preserved. However, as we will show, in the quasiposition representation the momentum space and quasiposition space wave functions are not related by the Fourier transformation and the BBM inequality does not hold. As an application, we obtain the generalized Schrödinger equation for the harmonic oscillator and exactly solve the corresponding differential equation in momentum space. Then, we find information entropies for the two lowest energy eigenstates and explicitly show the validity of the BMM inequality in the presence of the minimal length.

2. The Generalized Uncertainty Principle

In one-dimension, the deformed commutation relation reads [7]which results in (generalized uncertainty principle) and for the well-known commutation relation in ordinary quantum mechanics is recovered. Notice that, cannot take arbitrarily small values and the absolutely smallest uncertainty in position is given by .

Now, consider the formally self-adjoint representation [9]where , , and it exactly satisfies (2). In this representation, the ordinary nature of the position operator is preserved and the inner product of states takes the following form:

Note that although the position operator obeys in momentum space, we have . So is merely symmetric and it is not a true self-adjoint operator. However, based on the von Neumann’s theorem, for the momentum operator we obtain and [9]. Thus, is indeed a self-adjoint operator. Moreover, the scalar product and the completeness relation read

In momentum space, the eigenfunctions of the position operator are given by the solutions of the eigenvalue equationHere, which can be expressed asNow, using (6) and (8), coordinate space wave function can be written asMoreover, is given by the inverse Fourier transform of the coordinate space wave function; namely,To this end, by taking for we can formally extend the domain of the momentum integral (9) to without changing the coordinate space wave function . Therefore, is the Fourier transform of . Now, using the Babenko-Beckner inequality [51, 52] and following Bialynicki-Birula and Mycielski [53] we obtain (see [54] for details)wheresubject to for . Note that, in this representation, the expression for the entropic uncertainty relation is similar to the ordinary quantum mechanics. However, as we will see in the next section, the presence of the minimal length modifies the Hamiltonian, its solutions, and the values of and . But since and are still related by the Fourier transform, the lower bound for the entropic uncertainty relation will not be modified.

3. Quasiposition Representation

Another possible representation that exactly satisfies (2) is [7]The corresponding scalar product and completeness relations readNow, since the measure in the integral (15) is not flat, the momentum space entropyhas no proper form of the continuous Shannon entropy relation in this representation.

The quasiposition wave function is defined as [7]wheredenotes the maximal localization states. These states satisfy and and are not mutually orthogonal; that is, . In this representation, the relation between the momentum space wave functions and quasiposition wave functions is given byThus, the quasiposition wave functions are not Fourier transform of the momentum space wave functions and the quasiposition entropydoes not represent the continuous Shannon entropy and contains plenty of overcounting (because of the nonorthogonality of ) that should be avoided. These results show that the information entropies (16) and (20) are not proper measures of uncertainty. However, the information entropies (12) based on formally self-adjoint representation do not suffer from these shortcomings and they can be considered as proper measures of uncertainty in the presence of the minimal length.

4. Quantum Oscillator

The Hamiltonian of the harmonic oscillator is given by . So the generalized Schrödinger equation in momentum space using the representation (3) readsUsing the new variable , the above equation can be written aswhere and . Now, takingresults inwhere andIt is known that the solutions of the above equation for are given by the Gegenbauer polynomials . Therefore, the exact solutions readwhere , is the normalization coefficient, and the Gegenbauer polynomials are defined as [57]Note that for we obtain the ordinary energy spectrum of the harmonic oscillator; that is, . The Gegenbauer polynomials also satisfy the following useful formula [57]:Since and is given by the normalization condition , we findThe solutions can be also written in terms of relativistic Hermite polynomials using the relation [58]where denotes relativistic Hermite polynomials. Thus, we obtain which results inFor the small values of the deformation parameter we have ()where denotes Hermite polynomials. So in this limit the solutions readwhich are normalized eigenstates of the ordinary harmonic oscillator as we have expected.

5. Information Entropy

The information entropies for the position and momentum spaces can be now calculated for the harmonic oscillator in the GUP framework using (12). In ordinary quantum mechanics and in the position space, the information entropy can be obtained analytically for some quantum mechanical systems. However, since the momentum wave functions are derived from the Fourier transform, the corresponding momentum information entropies are rather difficult to obtain. For our case, as we will show, we find analytically for the two lowest energy states and obtain numerically. Thus, because of the difficulty in calculating and , we only consider the two lowest energy eigenstates.

First consider the Fourier transform of the momentum space ground state (26) which gives the following state in the position space ():Also, for the first excited state () we haveFigure 1 shows the resulting ground state and first excited state in position space for . Notice that, for , the solutions tend to the simple harmonic oscillator wave functions; that is, .

For the ground state, the analytical expression for readswhere denotes the harmonic number . It is easy to check that, for the small values of , the momentum information entropy tends to the ordinary harmonic oscillator information entropy; namely,For the first excited state, is given byand for it readswhere is the Euler constant.

The information entropy densities are defined as and . The behavior of and is illustrated in Figures 2 and 3 for and several values of the deformation parameter. Now, using the numerical values for , we obtain the left-hand side of (11). In Table 1, we have reported the position and momentum space information entropies for and showed that they obey the BBM inequality. These results indicate that the position space information entropy increases with the GUP parameter and vice versa for the momentum space information entropy but their sum stays above the value .

6. Conclusions

In this paper, we studied the Shannon entropic uncertainty relation in the presence of a minimal measurable length proportional to the Planck length. We showed that using the formally self-adjoint representation, since the coordinate space and momentum space wave functions are related by the Fourier transformation, the measure in the information entropic integral is flat and the lower bound that is predicted by the BBM inequality is guaranteed in the GUP framework. It is worth mentioning that the BBM inequality does not hold for all wave functions. In fact, its validity depends on both the deformed algebra and its representation. As we have indicated, this inequality does not hold in quasiposition representation of our algebra . As another example, we mentioned the algebra that implies both a minimal length and a minimal momentum. Since this algebra has no formally self-adjoint representation in the form and , the momentum space and coordinate space wave functions are not related by the Fourier transform and the BBM uncertainty relation is not valid for this form of GUP. For the case of the harmonic oscillator, we exactly solved the generalized Schrödinger equation in momentum space and found the solutions in terms of the Gegenbauer polynomials. Also, for the two lowest energy eigenstates, we obtained the solutions in position space in terms of the hypergeometric functions. Then, the analytical expressions for the information entropies are found in the momentum space with proper limiting values for . Using the numerical values for the position information entropy, we explicitly showed that the BBM inequality holds for various values of the deformation parameter. To check the validity of the BBM inequality for other potentials, we need to solve the generalized Schrödinger equation which contains higher order differential terms. However, for the small anharmonic potential terms, the perturbation theory can be used to find the approximate solutions. Also, For other types of GUPs, if a formally self-adjoint representation is viable, the BBM inequality is still valid.

Competing Interests

The author declares that he has no competing interests.