This article is translated from a Chinese article on my Zhihu account. The original article was posted at 2021-01-13 15:33 +0800.
We try solving the even function solutions to the time-independent Schrödinger equation for the potential
V = − α ∑ j = − n n δ ( x − j a ) V=-\alpha\sum_{j=-n}^n\delta\!\left(x-ja\right) V = − α j = − n ∑ n δ ( x − ja )
such that E < 0 E<0 E < 0 (bound states).
Obviously, the solutions have the form
ψ = { A ⌊ ∣ x ∣ a ⌋ e κ ∣ x ∣ + B ⌊ ∣ x ∣ a ⌋ e − κ ∣ x ∣ , ∣ x ∣ < n a , A n e κ ∣ x ∣ + B n e − κ ∣ x ∣ , ∣ x ∣ > n a , \psi=
\begin{cases}
A_{\left\lfloor\frac{\left|x\right|}{a}\right\rfloor}\mathrm e^{\kappa\left|x\right|}
+B_{\left\lfloor\frac{\left|x\right|}{a}\right\rfloor}\mathrm e^{-\kappa\left|x\right|},
&\left|x\right|<na,\\
A_n\mathrm e^{\kappa\left|x\right|}+B_n\mathrm e^{-\kappa\left|x\right|},
&\left|x\right|>na,
\end{cases} ψ = { A ⌊ a ∣ x ∣ ⌋ e κ ∣ x ∣ + B ⌊ a ∣ x ∣ ⌋ e − κ ∣ x ∣ , A n e κ ∣ x ∣ + B n e − κ ∣ x ∣ , ∣ x ∣ < na , ∣ x ∣ > na ,
where A j , B j A_j,B_j A j , B j (j = 0 , 1 , … , n j=0,1,\ldots,n j = 0 , 1 , … , n ) are constants of integration, and κ ≔ − 2 m E ℏ \kappa\coloneqq\frac{\sqrt{-2mE}}{\hbar} κ : = ℏ − 2 m E .
Noting that we are finding bound states, we should have lim x → ∞ ψ = 0 \lim_{x\to\infty}\psi=0 lim x → ∞ ψ = 0 . Therefore,
A n = 0. A_n=0. A n = 0.
( 1 ) (1) ( 1 )
Function ψ \psi ψ is naturally continuous at x = 0 x=0 x = 0 . Considering the continuity of ψ \psi ψ at ∣ x ∣ = j a \left|x\right|=ja ∣ x ∣ = ja (j = 1 , 2 , … , n j=1,2,\ldots,n j = 1 , 2 , … , n ), we have
A j − 1 e κ j a + B j − 1 e − κ j a = A j e κ j a + B j e − κ j a . A_{j-1}\mathrm e^{\kappa ja}+B_{j-1}\mathrm e^{-\kappa ja}=A_j\mathrm e^{\kappa ja}+B_j\mathrm e^{-\kappa ja}. A j − 1 e κja + B j − 1 e − κja = A j e κja + B j e − κja .
( 2 ) (2) ( 2 )
For j = − n , … , n j=-n,\ldots,n j = − n , … , n , integrate both sides of the time-independent Schrödinger equation over interval [ j a − ε , j a + ε ] \left[ja-\varepsilon,ja+\varepsilon\right] [ ja − ε , ja + ε ] and let ε → 0 \varepsilon\to0 ε → 0 , and we have
d ψ d x ∣ j a − j a + = − β ψ ∣ j a , \left.\frac{\mathrm d\psi}{\mathrm dx}\right|_{ja^-}^{ja^+}=-\beta\left.\psi\right|_{ja}, d x d ψ j a − j a + = − β ψ ∣ ja ,
where β ≔ 2 m α ℏ 2 \beta\coloneqq\frac{2m\alpha}{\hbar^2} β : = ℏ 2 2 m α .
For j = 0 j=0 j = 0 , the formula above gives
( A 0 κ − B 0 κ ) − ( − A 0 κ + B 0 κ ) = − β ( A 0 + B 0 ) . \left(A_0\kappa-B_0\kappa\right)-\left(-A_0\kappa+B_0\kappa\right)=-\beta\left(A_0+B_0\right). ( A 0 κ − B 0 κ ) − ( − A 0 κ + B 0 κ ) = − β ( A 0 + B 0 ) .
( 3 ) (3) ( 3 )
For j = 1 , 2 , … , n j=1,2,\ldots,n j = 1 , 2 , … , n , on the other hand,
( A j κ e κ j a − B j κ e − κ j a ) − ( A j − 1 κ e κ j a − B j − 1 κ e − κ j a ) = − β ( A j e κ j a + B j e − κ j a ) . \left(A_j\kappa\mathrm e^{\kappa ja}-B_j\kappa\mathrm e^{-\kappa ja}\right)
-\left(A_{j-1}\kappa\mathrm e^{\kappa ja}-B_{j-1}\kappa\mathrm e^{-\kappa ja}\right)
=-\beta\left(A_j\mathrm e^{\kappa ja}+B_j\mathrm e^{-\kappa ja}\right). ( A j κ e κja − B j κ e − κja ) − ( A j − 1 κ e κja − B j − 1 κ e − κja ) = − β ( A j e κja + B j e − κja ) .
( 4 ) (4) ( 4 )
Equations 1 , 2 , 3 , and 4 together form a homogeneous linear equation w.r.t. A j , B j A_j,B_j A j , B j (j = 0 , 1 , … , n j=0,1,\ldots,n j = 0 , 1 , … , n ). To require that the equation has non-zero solutions, the determinant of the coefficient matrix should be zero, and we can find κ \kappa κ by this property. However, the equation is transcendental for n > 0 n>0 n > 0 .
If we found the value of κ \kappa κ , the solution space for the homogeneous linear equation should be one-dimensional, and then we can determine all the constants by normalizing ψ \psi ψ .