We are going to look at a problem

V(x)={0axaV0otherwiseV(x) = \begin{cases} 0 & -a \leq x \leq a \\ V_0 & \text{otherwise} \end{cases}

Describe the J(x)J(x) of the particle in all states

Note that in this case, we look at the bound state. Scattering is not useful. Reflecting state assumes VLVRV_L\neq V_R which is not possible therefore it DNE.

The potential is even V(x)=V(x)V(-x)=V(x). A theorem says the bound eigenstates can be chosen such that ϕ(x)\phi(x) is either even or odd.

Bound State, Even Wave function Case

ϕ(x)={Aebxx<aBcos(kx)axaAebxx>a\phi(x) = \begin{cases} Ae^{bx} & x < -a \\ B\cos(kx) & -a \leq x \leq a \\ Ae^{-bx} & x > a \end{cases}

where

k=2mE2,b=2m(V0E)2k = \sqrt{\frac{2mE}{\hbar^2}}, \qquad b = \sqrt{\frac{2m(V_0 - E)}{\hbar^2}}

Matching x=ax=a

Aeba=Bcos(ka)(1)Ae^{-ba} = B\cos(ka) \tag{1} ddx(Aebx)a=bAeba\frac{d}{dx}\left(Ae^{-bx}\right)\Big|_{a} = -bAe^{-ba} ddx(Bcos(kx))a=kBsin(ka)\frac{d}{dx}\left(B\cos(kx)\right)\Big|_{a} = -kB\sin(ka) bAeba=kBsin(ka)(2)-bAe^{-ba} = -kB\sin(ka) \tag{2}

Div (2) by (1)

bAebaAeba=kBsin(ka)Bcos(ka)\frac{-bAe^{-ba}}{Ae^{-ba}} = \frac{-kB\sin(ka)}{B\cos(ka)} b=ktan(ka)-b = -k\tan(ka) b=ktan(ka)b = k\tan(ka)

This is transcendental -- you cannot isolate EE algebraically. You must numerically solve this.

Let

z=ka,z0=2mV02az = ka, \qquad z_0 = \sqrt{\frac{2mV_0}{\hbar^2}}\,a

where zz is dimensionless inside wavenumber.

(ba)2=2m(V0E)2a2=2mV02a2z022mE2a2z2=z02z2(ba)^2 = \frac{2m(V_0 - E)}{\hbar^2}\,a^2 = \underbrace{\frac{2mV_0}{\hbar^2}a^2}_{z_0^2} - \underbrace{\frac{2mE}{\hbar^2}a^2}_{z^2} = z_0^2 - z^2

so

ba=z02z2ba=\sqrt{z_0^2-z^2} k2+b2=2mV0/2k^2+b^2=2mV_0/\hbar^2

so its a circle radius z0z_0 inside (z,ba)(z,ba) plane i.e., baba is on vertical axis and zz is on horizontal axis

Bound State, Odd Wave function Case

ϕ(x)={Aebxx<aBsin(kx)axaAebxx>a\phi(x) = \begin{cases} -Ae^{bx} & x < -a \\ B\sin(kx) & -a \leq x \leq a \\ Ae^{-bx} & x > a \end{cases}

Odd parity

Aeba=Bsin(ka)(1)Ae^{-ba} = B\sin(ka) \tag{1} bAeba=kBcos(ka)(2)-bAe^{-ba} = kB\cos(ka) \tag{2}

Div (2) by (1)

b=kcot(ka)    b=kcot(ka)-b = k\cot(ka) \;\Rightarrow\; b = -k\cot(ka)

Conclusion

This is the result

(z0z)21={tanz(even ϕ)cotz(odd ϕ)\boxed{\sqrt{\left(\frac{z_0}{z}\right)^2 - 1} = \begin{cases} \tan z & \text{(even } \phi) \\ -\cot z & \text{(odd } \phi) \end{cases}}

Bound State Solutions

If

nπ2z0(n+1)π2\frac{n\pi}{2} \leq z_0 \leq \frac{(n+1)\pi}{2}

Then n+1n+1 bound states