 Finite-well confinement in a semiconductor heterostructure

Consider an original one-dimensional effective mass model with $V(x)=0$ for $|x|<a$ and $V(x)=V_0>0$ outside. Take the same positive effective mass $m^{\ast }$ everywhere, an abrupt interface, and no interactions. The wavefunction represents a transverse envelope; free motion parallel to the layer is outside this calculation. A double heterostructure laser need not be thin enough for this quantization to dominate its operation.

Set $s=x/a$, $ϵ={\hslash }^2/(2m^{\ast }{a}^2)$, $z_0^2=V_0/ϵ$, $z^2=E/ϵ$ and $w=\sqrt{z_0^2-z^2}$. The time-independent Schrödinger equation becomesHere $u(s)$ denotes the dimensionless potential; a bound state has $0<z<z_0$. Matching the wavefunction and its derivative at $s=1$ givesFor the even bound state, the interior solution is $A\cos (zs)$ and the exterior solution is $A\cos z{e}^{-w(|s|-1)}$. For the odd bound state, replace $\cos (zs)$ by $\sin (zs)$ and $\cos z$ by $\mathrm{sgn}(s)\sin z$. The physical wavefunction is $\psi (x)=\varphi (x/a)/\sqrt{a}$.

Wavefunction normalization includes both exterior tails, not just the active layer. Direct integration givesThe first two terms are the interior integral; the last is the total exterior integral. Thus the interior probability is $P_{\mathrm{in}}=A^2[1\pm \sin (2z)/(2z)]$, with the upper sign for even parity.

Choose $z_0=2$. There is one even root in $(0,\pi /2)$ and one odd root in $(\pi /2,2)$; higher branches start beyond $z_0$. Each left-hand side increases on its stated interval while $\sqrt{4-z^2}$ decreases, proving uniqueness there. Numerically,These are calculated values of the chosen finite square well. The excited bound state lies closer to the barrier and has a longer exterior tail: being bound does not mean having unit probability inside the well.

This model demonstrates electronic confinement, not optical refractive index confinement or a complete laser. Unequal effective masses, band bending, interface disorder and interactions require a more detailed model. In particular, continuity of the ordinary derivative above uses the chosen constant effective mass assumption.