Next Article in Journal
Dynamic Behavior of Remolded Saline Soil Under Dual Symmetric Factors: Cyclic Loading and Freeze–Thaw Cycles
Previous Article in Journal
Research on Safety of Pipelines with Defects in Frozen Soil Regions Based on PDE
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Oscillator Algebra in Complex Position-Dependent Mass Systems

by
Mario Ivan Estrada-Delgado
*,† and
Zurika Iveth Blanco-Garcia
*,†
Tecnologico de Monterrey, School of Engineering and Science, Atizapan 52926, Mexico
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2025, 17(10), 1690; https://doi.org/10.3390/sym17101690
Submission received: 12 August 2025 / Revised: 3 September 2025 / Accepted: 19 September 2025 / Published: 9 October 2025

Abstract

This work introduces non-Hermitian position-dependent mass Hamiltonians characterized by complex ladder operators and real, equidistant spectra. By imposing the Heisenberg–Weyl algebraic structure as a constraint, we derive the corresponding potentials, ladder operators, and eigenfunctions. The method provides a systematic procedure for constructing exactly solvable models for arbitrary mass profiles. Specific cases are illustrated for quadratic, cosinusoidal, and exponential mass functions.

1. Introduction

The study of position-dependent mass (PDM) systems has been extensive since 1966, when BenDaniel–Duke (BDD), investigating charge carrier behavior in semiconductor heterostructures, proposed a Hermitian Hamiltonian that incorporates the spatial variation of the electron’s effective mass across material interfaces [1]. This variation is particularly relevant in systems such as the compositionally graded alloy Al x Ga 1 x As or in abrupt heterojunctions like InAs / GaSb [2,3,4]. These PDM models find applicability in the design of quantum dots, quantum wells, superlattices, and more general heterostructures [4,5,6,7,8,9]. In such systems, the effective mass profile m ( x ) often reflects the underlying material composition and can, in principle, be engineered through epitaxial growth techniques and related methods [10]. Interestingly, PDM systems also connect with the Liénard-II class of nonlinear equations, some of which admit isochronous oscillations and equidistant spectra [11], highlighting the possibility of engineering non-linear systems with predictable energy spacings. Achieving arbitrary spatial profiles remains experimentally challenging. This limitation motivates an alternative theoretical question: given a fixed mass profile, regardless of its intricacy, what forms of the potential V ( x ) allow the system to exhibit a desired energy spectrum? Addressing this inverse problem opens the door to spectral engineering within constrained material platforms. Traditional approaches fix the mass and potential profiles; for example, ref. [12] explores a particular exponential mass with three different potentials. Other works use supersymmetric quantum mechanics to factorize the Hamiltonian via intertwining operators and corresponding superpartners [13,14,15,16,17]. Alternative treatments rely on point canonical transformations that map the PDM to a position-independent mass (PIM) Schrödinger equation; once in the regime of PIM, standard exactly solvable techniques can be applied [18,19].
The determination of the spectral profile of PDM systems is a challenging problem in its own right. To date, non-Hermitian, position-dependent, and exactly solvable systems remain largely unexplored, with notable exceptions such as Mostafazadeh, who introduced η -pseudo-Hermiticity generators for such Hamiltonians [20,21,22].
While the present work focuses on constructing complex ladder operators compatible with such configurations, future extensions could incorporate tools such as supersymmetric quantum mechanics to systematically manipulate the spectrum.
This paper is organized as follows: Section 2 and Section 3 provide a brief review of PDM Hamiltonians and the Heisenberg–Weyl algebra, respectively. In Section 4, we construct a complex first-order ladder operator and the associated non-Hermitian Hamiltonian, present the factorization of H and H , describe their commutation relations, and analyze the biorthogonality of the systems. Section 5 presents illustrative applications involving three distinct mass profiles. In Section 6, we numerically evaluate the expectation values of x ^ ,   p ^ ,   and   T ^ for the ground and first excited states, as well as the probability current of the ground state. In Section 7, we contrast the PT-symmetric, pseudo-Hermitian, and anti-pseudo-Hermitian cases with our construction. Finally, Section 8 offers concluding remarks.

2. Position-Dependent Mass Systems

One of the most general and Hermitian approaches to quantum PDM systems is the one proposed by von Ross in 1983 [1]:
H V R = 1 4 m α p ^ m β p ^ m γ + m γ p ^ m β p ^ m α + V ,
where the mass, m ( x ) , varies with position. The parameters α , β , and γ are real constants that satisfy α + β + γ = 1 . Hermiticity is maintained as long as V ( x ) is real.

BenDaniel–Duke Hamiltonians

It is possible to manipulate the expression in Equation (1) so that an effective potential emerges. The resulting expression is as follows:
H V R = 2 2 m ( x ) d 2 d x 2 + 2 m ( x ) 2 m 2 ( x ) d d x + V eff ( x ) ,
where
V eff ( x ) = V ( x ) + 2 ( 1 + β ) m ( x ) 4 m 2 ( x ) [ m ( x ) ] 2 2 m 3 ( x ) ( α 2 + α β + α + β + 1 ) .
Notice that Equation (2) is the one proposed by BenDaniel–Duke in 1966 [1].
Given the equivalence between the von Ross Hamiltonian and the BDD Hamiltonian, from now on, this work will focus on the BDD Hamiltonian form, keeping in mind that the connection between the BDD and von Ross Hamiltonians, as well as any other Hamiltonian derived from it, is straightforward. Importantly, unlike other treatments that explicitly address the operator ordering ambiguity (see, e.g., [23]), this work avoids the issue altogether by employing an effective potential that already accounts for all ordering-related contributions. This allows us to proceed without fixing specific values of the ordering parameters, maintaining flexibility in the mass profile without complicating the formulation.

3. The Heisenberg–Weyl Algebra

The harmonic oscillator satisfies the well-known Heisenberg–Weyl algebra, where a Hamiltonian, H, and two ladder operators, a ± , satisfy the following algebraic relationships:
[ H , a ± ] = ± a ± , [ a + , a ] = 1 .
When working with the prototypical example of the harmonic oscillator, this algebraic relationship allows for the determination of the ground state, which is annihilated by a and satisfies
a | ψ = 0 .
Using the previously mentioned commutation relation, all excited states can be generated through the iterative operation of a + .

4. Complex First-Order Ladder Operators on the BDD Hamiltonian

The search for a general PDM system, specifically a BDD Hamiltonian possessing first-order ladder operators, was already initiated in [17]. However, that work was restricted to Hermitian Hamiltonians and real ladder operators. In this paper, we aim to generalize this study to include non-Hermitian Hamiltonians and complex ladder operators, satisfying a Heisenberg–Weyl algebra. To this end, we begin with the aforementioned Hamiltonian:
H = 2 2 m ( x ) d 2 d x 2 + 2 m ( x ) 2 m 2 ( x ) d d x + V ( x ) .
Here, V ( x ) is allowed to be a complex potential. We also need to construct a first-order differential operator,
A = 1 2 α ( x ) d d x + β R ( x ) + i β I ( x ) ,
following the same idea presented in [17], but allowing for a complex β ( x ) function such that β ( x ) = β R ( x ) + i β I ( x ) . This operator is meant to act as a complex ladder operator, specifically an annihilator operator A . For this to hold, a commutation relation, similar to the one presented in Equation (4), must be satisfied:
[ H , A ] = Δ E A , Δ E R .
After imposing this commutativity condition, the following equations arise:
α ( x ) + m ( x ) 2 m ( x ) α ( x ) = 0 ,
β R ( x ) = α ( x ) [ m ( x ) ] 2 m 2 ( x ) + m ( x ) α ( x ) α ( x ) m ( x ) 2 m ( x ) + Δ E m ( x ) α ( x ) 2 α ( x ) 2 ,
β I ( x ) = 0 ,
V ( x ) = 1 2 m 2 ( x ) α ( x ) 2 Δ E m 2 ( x ) β R ( x ) + i β I ( x ) + 2 m ( x ) β R ( x ) + i β I ( x ) + 2 m ( x ) β R ( x ) i β I ( x ) .
We can solve Equation (9) to find α ( x ) as a function of the mass as follows:
α ( x ) = a m ( x ) .
From (11), it is concluded that β I = λ , where λ is an integration constant. Subsequently, the substitution of α ( x ) as a function of m ( x ) leads to a general expression for β R ( x ) as a function of the mass.
β R ( x ) = a 2 [ m ( x ) ] 1 / 2 + a Δ E 2 F ( x ) , F ( x ) = m ( x ) d x .
The previous equation greatly resembles the β function presented in [17] when the ladder operator A was real.
Incorporating all of the above expressions, the potential is determined as
V ( x ) = V R ( x ) + i V I ( x ) ,
where the real and imaginary parts are given by
V R ( x ) = 1 2 Δ E 2 F 2 ( x ) 2 8 7 [ m ( x ) ] 2 4 m 3 ( x ) m ( x ) m 2 ( x ) ,
V I ( x ) = Δ E a λ F ( x ) .
It is worth noting that the presence of a complex component in the ladder operator, introduced through a constant λ , results in a nontrivial modification of the potential.
Looking for the ground state, at least a mathematical one, we should look for a function that is annihilated by A . Such an eigenfunction is given as follows:
ψ 0 = c 0 [ m ( x ) ] 1 / 4 exp Δ E 2 2 F 2 ( x ) cos ( λ F ( x ) ) i sin ( λ F ( x ) ) .
Let us remark that the current Hamiltonian H is not Hermitian; therefore, the operator ( A ) acts as a creation operator for H , but not, as desired, for H. Thus, we need to begin the search for the corresponding creation operator.
We propose the existence of a creation operator A + that is akin to the dagger of A but not exactly the same:
A + = 1 2 α ( x ) d d x α ( x ) + γ ( x ) ,
where γ ( x ) = γ R ( x ) + i γ I ( x ) . With this proposition of A + and after the imposition of the corresponding commutation relation [ H , A + ] = Δ E A + , we end up with the following creation operator:
A + = 1 2 α ( x ) d d x α ( x ) + β R ( x ) + i β I ( x ) .
It is worth noticing that the only difference with respect to the adjoint of A is a sign in the complex part.
Since the creation operator has been constructed, we are now prepared to build the possible excited states by repeatedly applying A + to the ground state; thus
ψ n = c n ( A + ) n ψ 0 .
The eigenvalues associated with these states, and possibly the physical energies once the boundary conditions are satisfied, are given as follows:
E n = n + 1 2 Δ E + 1 2 λ 2 2 , n = 0 , 1 , 2 ,
Finally, the commutator between the two ladder operators A + and A can be readily calculated as
A , A + = a 2 Δ E 2 .
This commutation relation corresponds to the zero-degree polynomial Heisenberg algebra, where the commutator reduces to a constant.

4.1. Factorization

Since H H , the system is no longer Hermitian. This implies that orthogonality is no longer guaranteed.
Let us point out that the following commutation relation is satisfied:
[ H , A ± ] = ± Δ E A ± ,
after defining the adjoint ladder operators as
( A ± ) = B .
It follows straightforwardly that B ± is indeed the ladder operator of H :
H , A ± = ± Δ E ( A ± ) , H , B = Δ E B , H , B ± = ± Δ E B ± .
At this point, we have two Hamiltonians with their respective ladder operators, and, as is expected, both can be factorized in terms of their respective ladder operators as follows:
H = A + A + E 0 ,
H = B + B + E 0 .
The eigenstates of H are constructed analogously:
B ϕ 0 = 0 , ϕ n = c n ¯ ( B + ) n ϕ 0 n N ,
where ϕ n represents the eigenfunctions of H . After simplification, it is easy to verify that
ϕ n = ψ n * ,
and that both sets share the same real eigenvalues.

4.2. Biorthogonality

From the mathematical relations established above, it follows that
ϕ m | H ψ n = E n ϕ m | ψ n , H ϕ m | ψ n = E m ϕ m | ψ n , ( E n E m ) ϕ m | ψ n = 0 .
Hence, the inner product ϕ m | ψ n must vanish for all m n . Nevertheless, according to [24,25], the biorthogonal inner product—distinct from the conventional one—is defined as follows:
ϕ m | ψ n = Ω ϕ ( x ) ψ ( x ) d x ,
but, since we have already stated that ϕ n = ψ n * , we surprisingly recover a more familiar relation:
ϕ m | ψ n = Ω ψ m * ( x ) ψ n ( x ) d x = δ m n .
It is important to note that we are restricted to an arbitrary, but suitable, choice of a non-negative m ( x ) , with the requirement that this choice, together with appropriate boundary conditions, generates well-defined and normalizable eigenfunctions as described above.

5. Implementation

In this section, we illustrate the theoretical framework by applying it to specific mass profiles usually found in the literature [8,12,17], thus highlighting its practical implications. To this end, we present the following mass profiles:
m ( x ) = m 0 ( σ + δ x 2 ) ,
m ( x ) = m 0 + cos ( x ) ,
m ( x ) = m 0 ζ 1 e ζ e ζ x ,
where m 0 , σ , δ , and ζ are constants. The constants in each expression are chosen solely for illustrative purposes. Accordingly, natural units are employed in the examples, such that = Δ E = a = 1 .

5.1. Normalization Constants

All normalization constants in the examples were obtained by numerical integration of Equation (33). However, it is worth noting that, under certain conditions, they can be approximated by π 1 / 4 .
To this end, let us rewrite Equation (18):
ψ 0 ( x ) = c 0 m 1 / 4 ( x ) exp Δ E 2 2 F 2 ( x ) exp i λ F ( x ) .
With this expression in mind, we compute
ψ 0 * ψ 0 d x = | c 0 | 2 x 0 x 1 m 1 / 2 ( x ) exp Δ E 2 F 2 ( x ) d x .
Note that, as long as m ( x ) > 0 , F ( x ) is monotonally increasing, F 1 exists for all x:
F ( x ) = m ( x ) d x d F d x = m ( x ) .
Using this property, we apply the change in variable u = Δ E F ( x ) . It follows that
ψ 0 * ψ 0 d x = Δ E | c 0 | 2 u 0 u 1 e u 2 d u = Δ E | c 0 | 2 π 2 erf ( u 1 ) erf ( u 0 ) .
If u 1 1 and u 0 1 , then
ψ 0 * ψ 0 d x | c 0 | 2 Δ E π .
Therefore, the ground-state normalization constant could be approximated by
c 0 1 Δ E π 1 / 4 .
In the illustrative examples, we set = Δ E = 1 for visualization purposes, which leads to the numerical value 0.751126.

5.2. Quadratic Mass Profile

We consider a mass profile similar to that presented in [8]. In this example, we use m ( x ) = 1 + x 2 and λ = 1 5 . Given this mass profile, the following functions are calculated:
α ( x ) = 1 x 2 + 1 ,
β R ( x ) = 1 2 ( x 2 + 2 ) x 3 ( x 2 + 1 ) 3 / 2 + sinh 1 ( x ) ,
β I ( x ) = 1 5 ,
V ( x ) = 1 8 x 2 + 1 x + sinh 1 ( x ) 2 + 1 8 2 ( x 2 + 1 ) 2 7 x 2 ( x 2 + 1 ) 3 + 1 10 i x 2 + 1 x + sinh 1 ( x ) ,
ψ 0 ( x ) = 0.751126 e 1 8 x 2 + 1 x + sinh 1 ( x ) 2 ( x 2 + 1 ) 1 / 4 × cos 1 10 x 2 + 1 x + sinh 1 ( x ) i sin 1 10 x 2 + 1 x + sinh 1 ( x ) .
As mentioned previously, the corresponding excited states can be found by iteratively applying the creation operator. The mass profile, potential, ground, and first excited states are visualized in Figure 1.
Notice that the parameter λ controls the imaginary parts of the potential and, consequently, the eigenfunctions. The higher the λ parameter is, the higher the number of oscillations that we can encounter, even in the ground state. Next, the real and imaginary parts of ψ 0 ( x , λ ) are shown in Figure 2.

5.3. Cosinusoidal Mass Profile

Let us consider the cosinusoidal mass profile (35). After implementing it, we obtain the following functions:
α ( x ) = 1 cos ( x ) + 1.1 ,
β R ( x ) = 2.89828 E ( 0.5 x | 0.952381 ) + sin ( x ) 4 ( cos ( x ) + 1.1 ) 3 / 2 ,
β I ( x ) = 1 5 ,
V ( x ) = 1 8 cos ( x ) ( cos ( x ) + 1.1 ) 2 7 sin 2 ( x ) 4 ( cos ( x ) + 1.1 ) 3 + 4.2 E ( 0.5 x | 0.952381 ) 2 + ( 0.579655 i ) E ( 0.5 x | 0.952381 ) ,
ψ 0 ( x ) = 0.751126 ( cos ( x ) + 1.1 ) 1 / 4 e 4.2 E ( 0.5 x | 0.952381 ) 2 ( cos ( 0.579655 E ( 0.5 x | 0.952381 ) ) i sin ( 0.579655 E ( 0.5 x | 0.952381 ) ) ) .
Here, E ( ϕ | k ) denotes the elliptic integral of the second kind. We again obtain a complex potential and the corresponding eigenstates by applying the creation operator (See Figure 3).
In the cosinusoidal mass profile, the effect of the λ parameter is once again evident. As λ increases, the number of oscillations increases, even in the ground state. In Figure 4, the real and imaginary components of the ground state ψ 0 ( x , λ ) are displayed.

5.4. Exponential Mass Profile

The exponential mass profile (36) illustrated in Figure 5 was previously analyzed in [12]. Applying this profile in our framework yields a complex potential, as well as the ground state of the system. The corresponding functions obtained from this mass profile are presented below:
α ( x ) = 1 1 e e x ,
β R ( x ) = e x e x + e x + 1 8 e 4 e 1 e 1 x ,
β I ( x ) = 2 5 ,
V ( x ) = 3 32 1 1 e e x + 2 e 1 x e 1 4 i e 1 x 5 e 1 ,
ψ 0 ( x ) = 1.19134 e 2 e 1 x e 1 ( e x ) 1 / 4 cos 4 e 1 x 5 e 1 + i sin 4 e 1 x 5 e 1 .
The complex potential, as well as the ground and first excited states of the system, are shown in Figure 5.
Figure 6 illustrates the effect of the λ parameter on the ground state, modulating the imaginary part of the potential and its corresponding eigenfunction. As λ increases, the number of oscillations in the ground state also increases.

6. Physical Interpretation of λ

The first appearance of λ is as an unbounded, real integration constant, which arises when integrating Equation (11). This parameter modulates the complex part of the ladder operators as well as the complex contribution to the potential. Moreover, λ ultimately controls the phase and, consequently, the positions of the zeros of the real and imaginary parts of the eigenfunctions. Another notable effect is that the entire spectrum exhibits an upward shift proportional to λ 2 , while the spacing between adjacent levels remains unchanged.
The following discussion is based on numerical insights that give clues regarding the direct physical implications of λ . However, we were unable to derive exact formulas applicable to the entire spectrum; thus, we restricted our analysis to the ground and first excited states.

6.1. Expectation Values

We investigate the expectation values of x ^ , p ^ , and T ^ for the ground state, as well as the corresponding probability density. The expectation value of the position operator x ^ involves | ψ | 2 , so any phase contribution cancels out; hence, it is completely independent of λ .
The expectation value of the canonical momentum p ^ is a different story. Since the operator involves a derivative with respect to position, a linear dependence on λ naturally arises. One may ask whether an appropriate position-dependent mass, momentum, or pseudo-momentum operator could be defined. Some examples can be found in the literature [26,27]; however, these operators have been reported to be non-Hermitian or possess a predefined ordering. Additionally, they fail to reproduce the kinetic term of the BDD Hamiltonian, which is necessary for our analysis. Therefore, we restrict ourselves to a qualitative rather than quantitative analysis using the canonical momentum.

6.2. The Expectation Values of the Canonical Momentum p ^

The expectation value of the canonical momentum for the eigenstate ψ i is calculated as follows:
p ^ i = x i x f ψ i * ( x , λ ) p ^ ψ i ( x , λ ) d x = x i x f ψ i * ( x , λ ) i d d x ψ i ( x , λ ) d x .
If we focus on the derivative of the ground state, it is evident that the derivative brings down one λ ; hence, we expect p ^ 0 to follow a linear dependence on λ .
This integral was evaluated numerically for x ( , ) and λ [ 10 , 10 ] . The aforementioned linear dependence is observed, the higher the λ , the lower p ^ 0 (see Figure 7).
For the first excited state, the expectation value p ^ 1 exhibits a non-linear dependence. This arises because ψ 1 is obtained from ψ 0 via the operator A + , which introduces a factor of λ . Consequently, the overall contribution is of order λ 3 : two powers come from A + ψ 0 and its complex conjugate, and the third from the derivative (see Figure 8).

6.3. The Expectation Values of the Kinetic Energy T ^

The expectation value of the BDD kinetic operator is as follows:
T ^ i = x 0 x 1 ψ i * T ^ ψ i d x = x 0 x 1 ψ i * ( x ) 2 2 d d x 1 m ( x ) d d x ψ i ( x ) d x
Following the same reasoning as before, we expect T 0 to exhibit a quadratic dependence on λ , since the second derivative extracts two powers of λ from the phase.
Upon numerical integration over λ [ 10 , 10 ] , we find that T ^ 0 follows indeed a quadratic dependence on λ (see Figure 9).
Meanwhile, T ^ 1 exhibits a quartic dependence, ψ 1 and its complex conjugate contribute with one lambda each; then, the second derivative will bring down two more (see Figure 10).

6.4. The Probability Current

The probability current for the BDD Hamiltonian is well known and can be found in [28]. It can be derived from the time-dependent Schrödinger equation and its complex conjugate by multiplying the first by ψ * and the second by ψ , adding the two to eliminate the potential term, and grouping terms to identify ρ and j. The resulting expression is as follows:
J ( x ) = 2 i m ( x ) ψ * ( x ) d ψ ( x ) d x ψ ( x ) d ψ * ( x ) d x
By using this equation, the probability currents associated with the ground states of each of the three problems were calculated:
J ( x ) = λ e 1 4 x x 2 + 1 + sinh 1 ( x ) 2 π
J ( x ) = 0.817588 λ 0.47619 cos ( x ) + 0.52381 e 8.4 E ( 0.5 x | 0.952381 ) 2 cos ( x ) + 1.1
J ( x ) = λ e 4 e 1 x e 1 π
For the three examples discussed, the probability currents are non-zero for λ 0 . Since these currents correspond to the flow of charge carriers, they are directly related to the electrical current: larger values of λ lead to higher currents, and a positive λ produces a current in the negative direction (see Figure 11).

7. PT Symmetry, Pseudo-Hermiticity, and Related Properties

When dealing with non-Hermitian systems, one often encounters complex spectra or relies on PT symmetry or pseudo-Hermiticity to ensure real eigenvalues; see, for example, [29,30]. Interestingly, in our system, the spectrum remains entirely real despite the absence of an obvious PT-symmetric or pseudo-Hermitian structure.

7.1. PT Symmetry

PT symmetry is a property that requires a Hamiltonian H to be invariant under parity–time transformations:
[ H , PT ] = 0 .
This relation alone is not sufficient to guarantee the reality of the spectrum. The eigenfunctions of H must also be eigenfunctions of the PT operator; otherwise, the PT symmetry is said to be broken, and some eigenvalues may become complex [31,32,33].
The first step, therefore, is to check whether H is invariant under parity–time transformations, defined as P : ( x , p ) ( x , p ) and T : ( x , p , i ) ( x , p , i ) .
These definitions have some implications for the potential: the real part must be even, and the imaginary part odd. More importantly, when we examine the kinetic term of the BDD Hamiltonian, we find that PT symmetry requires m ( x ) = m ( x ) . This is not a restriction in our mathematical framework, and we can easily choose a mass profile that does not satisfy this condition; therefore, our systems are not necessarily PT-symmetric.

7.2. Pseudo-Hermiticity and Anti-Pseudo-Hermiticity

PT-symmetric systems belong to a broader class of Hamiltonians, known as Pseudo-Hermitian. Pseudo-Hermiticity ensures the reality of the spectrum by imposing the following intertwining relation [20,21,22,34]:
H η = η H ,
which is equivalent to
H = η H η 1 .
This definition of Pseudo-Hermiticity requires η to be linear.
Let us take a look to our H and H , both of which can be expressed as a kinetic plus a potential part:
H = K + V , H = T + V * .
The kinetic part is hermitian; meanwhile, the potential parts are related by the complex conjugation operation, which we denote K. This complex conjugation operation has the property K 2 ψ ( x ) = K ψ * ( x ) = ψ ( x ) , so that K 2 = 1 and K = K 1 .
Now, consider the following expression:
K T K 1 ψ ( x ) = K T ψ * ( x ) = K 2 2 m ( x ) d 2 ψ * ( x ) d x 2 + 2 m ( x ) 2 m 2 ( x ) d ψ * ( x ) d x ,
K T K 1 ψ ( x ) = 2 2 m ( x ) d 2 ψ ( x ) d x 2 + 2 m ( x ) 2 m 2 ( x ) d ψ ( x ) d x = T ψ ( x ) .
This shows that K T K 1 = K . Next, let us see what happens with V ( x ) :
K V ( x ) K 1 ψ ( x ) = K 1 V ( x ) ψ * ( x ) = V * ( x ) ψ ( x ) .
Hence, K V K 1 = V * .
Finally, we can identify that
K H K 1 = K ( T + V ) K 1 = K T K 1 + K V K 1 = T + V * = H ,
which is precisely Equation (66).
We also need to remember that the complex conjugate operator is not linear, but an antilinear operator:
K ( a ψ ( x ) + b ϕ ( x ) ) = a * K ψ + b * K ϕ
This allows us to conclude that our system belongs to the class of anti-pseudo-Hermitian operators [22].

8. Discussion

Non-Hermitian, position-dependent mass Hamiltonians with complex ladder operators and real, equidistant spectra have been presented. A first-order differential operator satisfying the Heisenberg–Weyl algebra was constructed based on the BenDaniel–Duke Hamiltonian. To illustrate the method, three distinct mass profiles were examined: quadratic, cosinusoidal, and exponential. It was found that the parameter λ , which introduces a displacement in the energy spectrum and governs the imaginary part of the Hamiltonians, significantly affects the behavior of the eigenfunctions. In particular, as λ increases, the number of oscillations rises, and the positions of the nodes shift, even in the ground state. Notably, the ground state may exhibit oscillatory behavior solely due to variations in the λ parameter.
To quantify the impact of λ , we numerically calculated expectation values of the momentum and kinetic energy operators, as well as the corresponding probability currents. For the ground state, the momentum expectation value p 0 and probability currents J ( x ) exhibit a linear dependence on λ , while the ground-state kinetic energy T 0 shows an approximately quadratic dependence. For the first-excited state, p 1 displays a cubic dependence on λ , and T 1 exhibits a quartic dependence, illustrating how higher-order contributions emerge in excited states. These results demonstrate that the parameter λ systematically controls not only the eigenfunctions but also the dynamical observables of the system.
Since the Hamiltonians are non-Hermitian, the eigenstates are not orthogonal in the conventional sense. However, we demonstrate that the eigenstates of H and H form a biorthogonal system and belong to the class of anti-pseudo-Hermitian systems. This structure preserves a generalized version of the superposition principle and supports a well-defined ladder operator formalism.
A natural extension of the present work could involve using supersymmetric quantum mechanics (SUSY QM) to generate new Hamiltonian systems that possess higher-order ladder operators. In this approach, an intertwining operator connects a known Hamiltonian to a new partner system through appropriate seed solutions, allowing for the construction of complex spectra with controlled features. Importantly, the parameter λ could continue to modulate both systems, while the resulting higher-order ladder operators may provide connections to analogs of nonlinear systems that naturally emerge within the SUSY formalism. This perspective opens a potential avenue for exploring richer non-Hermitian structures and spectral engineering possibilities.
Furthermore, complex potentials have optical analogs in photonic systems, where spatially varying complex refractive indices can simulate non-Hermitian Hamiltonians. As far as we know, direct analogs of position-dependent mass systems have not yet been explored, but it is conceivable that spatially varying effective masses could be implemented using engineered photonic lattices or waveguide arrays. Such optical realizations might provide a versatile platform for testing higher-order ladder operators and exploring spectral engineering possibilities that could emerge from SUSY-inspired constructions, representing an interesting avenue for future investigation.

Author Contributions

All authors contribute evenly in every section of this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Acknowledgments

Authors acknowledge the economic support to publish this article to the School of Engineering and Science from Tecnologico de Monterrey. We also sincerely thank the reviewers for providing valuable comments and suggestions that significantly improved the clarity and quality of this work.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
PDMPosition-dependent mass
PIMPosition-independent mass
BDDBenDaniel–Duke

References

  1. BenDaniel, D.J.; Duke, C.B. Space-charge effects on electron tunneling. Phys. Rev. 1966, 152, 683–692. [Google Scholar] [CrossRef]
  2. von Roos, O. Position-dependent effective masses in semiconductor theory. Phys. Rev. B 1983, 27, 7547–7552. [Google Scholar] [CrossRef]
  3. Geller, M.R.; Kohn, W. Quantum mechanics of electrons in crystals with graded composition. Phys. Rev. Lett. 1993, 70, 3103–3106. [Google Scholar] [CrossRef] [PubMed]
  4. Bastard, G. Superlattice band structure in the envelope-function approximation. Phys. Rev. B 1981, 24, 5693–5697. [Google Scholar] [CrossRef]
  5. Bayrak, K.; Kaya, D.; Gök, G.B.; Bayrak, O. The effect of a new position-dependent effective mass on the optical properties of a hydrogenic donor in a spherical quantum dot. Ann. Phys. 2025, 479, 170074. [Google Scholar] [CrossRef]
  6. Panahi, H.; Golshahi, S.; Doostdar, M. Influence of position dependent effective mass on donor binding energy in square and V-shaped quantum wells in the presence of a magnetic field. Phys. B Condens. Matter 2013, 418, 47–51. [Google Scholar]
  7. El-Nabulsi, R.A. A generalized self-consistent approach to study position-dependent mass in semiconductors, organic heterostructures and crystalline impure materials. Physica E 2020, 124, 114295. [Google Scholar]
  8. Koç, R.; Koca, M.; Şahinoğlu, G. Scattering in abrupt heterostructures using a position dependent mass Hamiltonian. Eur. Phys. J. B 2005, 48, 583–586. [Google Scholar] [CrossRef]
  9. Najafi Chaleshtari, Z.; Haghighatzadeh, A.; Attarzadeh, A. Investigating the effect of position-dependent effective mass on the valence-band electronic states of GaAs/GaAsSb/GaAs parabolic quantum wells modulated by intense laser fields. Solid State Commun. 2022, 353, 114870. [Google Scholar]
  10. Deimert, C.; Wasilewski, Z.R. MBE growth of continuously-graded parabolic quantum well arrays in AlGaAs. J. Cryst. Growth 2019, 514, 103–108. [Google Scholar] [CrossRef]
  11. Ghosh, A.; Mandal, B.P.; Bagchi, B. Isochronous oscillator with a singular position-dependent mass and its quantization. J. Math. Phys. 2025, 66, 082101. [Google Scholar] [CrossRef]
  12. Dong, S.H.; Huang, W.H.; Sedaghatnia, P.; Hassanabadi, H. Exact solutions of an exponential type position dependent mass problem. Results Phys. 2022, 34, 105294. [Google Scholar] [CrossRef]
  13. Medjenah, S.; Benamira, F. Exact solution of time-independent one-dimensional Dirac equation with position-dependent mass and vector potential of hyperbolic type by generalized SUSY QM approach. Indian J. Phys. 2023, 97, 141–146. [Google Scholar] [CrossRef]
  14. Bagchi, B.; Banerjee, A.; Quesne, C.; Tkachuk, V.M. Deformed shape invariance and exactly solvable Hamiltonians with position-dependent effective mass. J. Phys. A Math. Gen. 2005, 38, 2929–2945. [Google Scholar] [CrossRef]
  15. Cruz y Cruz, S.; Rosas-Ortiz, O. Position-dependent mass oscillators and coherent states. J. Phys. A Math. Theor. 2009, 42, 185205. [Google Scholar] [CrossRef]
  16. Plastino, A.R.; Rigo, A.; Casas, M.; Garcias, F.; Plastino, A. Supersymmetric approach to quantum systems with position-dependent effective mass. Phys. Rev. A 1999, 60, 4318–4325. [Google Scholar] [CrossRef]
  17. Estrada-Delgado, M.I.; Fernandez, D.J. Ladder operators for the BenDaniel-Duke Hamiltonians and their SUSY partners. Eur. Phys. J. Plus 2019, 134, 341. [Google Scholar] [CrossRef]
  18. Jiang, L.; Yi, L.Z.; Jia, C.S. Exact solutions of the Schrödinger equation with position-dependent mass for some Hermitian and non-Hermitian potentials. Phys. Lett. A 2005, 345, 279–286. [Google Scholar] [CrossRef]
  19. dos Santos, R.T.G.; González-Borrero, P.P. Classical and quantum systems with position-dependent mass: An application to a Mathews-Lakshmanan-type oscillator. Rev. Bras. Ensino Fís. 2023, 45, e20230172. [Google Scholar] [CrossRef]
  20. Mostafazadeh, A. Pseudo-Hermiticity versus PT symmetry: The necessary condition for the reality of the spectrum of a non-Hermitian Hamiltonian. J. Math. Phys. 2002, 43, 205–214. [Google Scholar] [CrossRef]
  21. Mostafazadeh, A. Pseudo-Hermiticity versus PT-symmetry. II: A complete characterization of non-Hermitian Hamiltonians with a real spectrum. J. Math. Phys. 2002, 43, 2814–2816. [Google Scholar] [CrossRef]
  22. Mostafazadeh, A. Pseudo-Hermiticity versus PT-symmetry III: Equivalence of pseudo-Hermiticity and the presence of antilinear symmetries. J. Math. Phys. 2002, 43, 3944–3951. [Google Scholar] [CrossRef]
  23. de Souza Dutra, A.; Almeida, C.A.S. Exact solvability of potentials with spatially dependent effective masses. Phys. Lett. A 2000, 275, 25–30. [Google Scholar] [CrossRef]
  24. Curtright, T.; Mezincescu, L. Biorthogonal quantum systems. J. Math. Phys. 2007, 48, 092106. [Google Scholar] [CrossRef]
  25. Moiseyev, N. Non-Hermitian Quantum Mechanics; Cambridge University Press: Cambridge, UK, 2011. [Google Scholar]
  26. Mustafa, O.; Algadhi, Z. Position-dependent mass momentum operator and minimal coupling: Point canonical transformation and isospectrality. Eur. Phys. J. Plus 2019, 134, 228. [Google Scholar] [CrossRef]
  27. Cariñena, J.F.; Rañada, M.F.; Santander, M. Quantization of Hamiltonian systems with a position dependent mass: Killing vector fields and Noether momenta approach. J. Phys. A Math. Theor. 2017, 50, 465202. [Google Scholar] [CrossRef]
  28. Schnittler, C.; Kirilov, M. Hamiltonian and Boundary Conditions for Electrons in Semiconductor Heterostructures. Phys. Stat. Sol. B 1993, 176, 143–155. [Google Scholar] [CrossRef]
  29. Mustafa, O.; Mazharimousavi, S.H. Complexified von Roos Hamiltonian’s η-weak-pseudo-Hermiticity, isospectrality and exact solvability. J. Phys. A Math. Theor. 2008, 41, 244020. [Google Scholar] [CrossRef]
  30. Jia, C.S.; de Souza Dutra, A. Extension of PT-symmetric quantum mechanics to the Dirac theory with position-dependent mass. Ann. Phys. 2008, 323, 566–579. [Google Scholar] [CrossRef]
  31. Bender, C.M.; Boettcher, S.; Meisinger, P.N. PT-symmetric quantum mechanics. J. Math. Phys. 1999, 40, 2201–2229. [Google Scholar] [CrossRef]
  32. Jaimes-Nájera, A.; Rosas-Ortiz, O. Interlace properties for the real and imaginary parts of the wave functions of complex-valued potentials with real spectrum. Ann. Phys. 2017, 376, 126–144. [Google Scholar] [CrossRef]
  33. Bender, C.M.; Mannheim, P.D. PT symmetry and necessary and sufficient conditions for the reality of energy eigenvalues. Phys. Lett. A 2010, 374, 1616–1620. [Google Scholar] [CrossRef]
  34. Mustafa, O.; Mazharimousavi, S.H. Non-Hermitian d-dimensional Hamiltonians with position-dependent mass and their η-pseudo-Hermiticity generators. Czechoslovak J. Phys. 2006, 56, 967–975. [Google Scholar] [CrossRef]
Figure 1. The figure shows the quadratic mass profile m 0 ( σ + δ x 2 ) (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = δ = σ = 1 .
Figure 1. The figure shows the quadratic mass profile m 0 ( σ + δ x 2 ) (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = δ = σ = 1 .
Symmetry 17 01690 g001
Figure 2. The figure shows the real (left) and imaginary (right) parts of the ground state for the quadratic mass profile as the parameter λ increases.
Figure 2. The figure shows the real (left) and imaginary (right) parts of the ground state for the quadratic mass profile as the parameter λ increases.
Symmetry 17 01690 g002
Figure 3. This figure shows the cosinusoidal mass profile m 0 + cos ( x ) (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = 1.1 .
Figure 3. This figure shows the cosinusoidal mass profile m 0 + cos ( x ) (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = 1.1 .
Symmetry 17 01690 g003
Figure 4. This figure shows the real (left) and imaginary (right) parts of the ground state for the cosinusoidal mass profile as the parameter λ increases.
Figure 4. This figure shows the real (left) and imaginary (right) parts of the ground state for the cosinusoidal mass profile as the parameter λ increases.
Symmetry 17 01690 g004
Figure 5. This figure shows the exponential mass profile (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = η = 1 .
Figure 5. This figure shows the exponential mass profile (yellow), the real and imaginary parts of the potential (solid and dashed black lines, respectively), and the first eigenfunctions, with their real and imaginary parts shown in blue and red, respectively. Here, m 0 = η = 1 .
Symmetry 17 01690 g005
Figure 6. This figure shows the real (left) and imaginary (right) parts of the ground state for the exponential mass profile as the parameter λ increases.
Figure 6. This figure shows the real (left) and imaginary (right) parts of the ground state for the exponential mass profile as the parameter λ increases.
Symmetry 17 01690 g006
Figure 7. Ground-state momentum expectation values for the three mass profiles, illustrating their approximately linear dependence on λ .
Figure 7. Ground-state momentum expectation values for the three mass profiles, illustrating their approximately linear dependence on λ .
Symmetry 17 01690 g007
Figure 8. First-excited-state momentum expectation values for the three mass profiles, illustrating their approximately cubic dependence on λ .
Figure 8. First-excited-state momentum expectation values for the three mass profiles, illustrating their approximately cubic dependence on λ .
Symmetry 17 01690 g008
Figure 9. Ground-state average kinetic energy T 0 for the first two mass profiles, showing an approximately quadratic dependence on λ . The third profile could not be calculated due to the rapid decay of the mass, which prevented numerical convergence.
Figure 9. Ground-state average kinetic energy T 0 for the first two mass profiles, showing an approximately quadratic dependence on λ . The third profile could not be calculated due to the rapid decay of the mass, which prevented numerical convergence.
Symmetry 17 01690 g009
Figure 10. First-excited-state average kinetic energy T 1 for the first two mass profiles, showing an approximately quartic dependence on λ . The third profile could not be calculated due to the rapid decay of the mass, which prevented numerical convergence.
Figure 10. First-excited-state average kinetic energy T 1 for the first two mass profiles, showing an approximately quartic dependence on λ . The third profile could not be calculated due to the rapid decay of the mass, which prevented numerical convergence.
Symmetry 17 01690 g010
Figure 11. Ground-state probability currents J ( x ) corresponding to the three position-dependent mass profiles. Each current depends linearly on λ , with the spatial profile determined by the respective mass function.
Figure 11. Ground-state probability currents J ( x ) corresponding to the three position-dependent mass profiles. Each current depends linearly on λ , with the spatial profile determined by the respective mass function.
Symmetry 17 01690 g011
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Estrada-Delgado, M.I.; Blanco-Garcia, Z.I. Oscillator Algebra in Complex Position-Dependent Mass Systems. Symmetry 2025, 17, 1690. https://doi.org/10.3390/sym17101690

AMA Style

Estrada-Delgado MI, Blanco-Garcia ZI. Oscillator Algebra in Complex Position-Dependent Mass Systems. Symmetry. 2025; 17(10):1690. https://doi.org/10.3390/sym17101690

Chicago/Turabian Style

Estrada-Delgado, Mario Ivan, and Zurika Iveth Blanco-Garcia. 2025. "Oscillator Algebra in Complex Position-Dependent Mass Systems" Symmetry 17, no. 10: 1690. https://doi.org/10.3390/sym17101690

APA Style

Estrada-Delgado, M. I., & Blanco-Garcia, Z. I. (2025). Oscillator Algebra in Complex Position-Dependent Mass Systems. Symmetry, 17(10), 1690. https://doi.org/10.3390/sym17101690

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop