Exact matching for the radial square well in the zeroth partial wave

By [F1], the regular interior mode has form $A\sin (\kappa r)$; the exterior mode stated in the Example is the free regular incident mode plus the outgoing $\mathrm{\ell }=0$ mode by [F2]. At $r=R$, continuity of value gives $B{e}^{ikR}=A\sin (\kappa R)-\sin (kR)\mathrm{/}k$.

For numerical comparison only, suppose additionally that $k,R,V_0$ are supplied by terminating dyadic enclosure interfaces whose widths on request $q$ are at most $2^{-q}$. Their exact values retain the unrestricted real domain in the Example. To supply either composed argument on a width request $2^{-n}$, scan $q=n,n+1,\dots$, request all three parameter boxes at $q$, and skip until they have positive lower endpoints. Denote them by $K_q,{\mathcal{R}}_q,{\mathcal{V}}_q$ and form the positive dyadic radicand box $[L_q,U_q]=K_q^2+{\mathcal{V}}_q$. Choose an integer $N_q\ge 1$ with $N_q^2\ge U_q$, by scanning positive integers. For each endpoint $x\in \{L_q,U_q\}$, start with $[0,N_q]$ and perform $q$ bisections: a dyadic midpoint $m$ replaces the lower endpoint if $m^2\le x$, and otherwise replaces the upper endpoint. The bracket always contains $\sqrt{x}$ and its width is $N_q{2}^{-q}$. Use the lower endpoint of the $L_q$ bracket and upper endpoint of the $U_q$ bracket to form $S_q\supset \sqrt{[L_q,U_q]}$. Form $Z_q=K_q{\mathcal{R}}_q$ and ${\tilde{Z}}_q=S_q{\mathcal{R}}_q$, and return the requested one when its lower endpoint is positive and its width is at most $2^{-n}$; otherwise continue the scan. Every operation before a scan increment is finite. The parameter boxes are eventually bounded and bounded away from zero, so $N_q$ is eventually bounded. Also $\sqrt{U_q}-\sqrt{L_q}=(U_q-L_q)\mathrm{/}(\sqrt{U_q}+\sqrt{L_q})\to 0$, and $\mathrm{width}(S_q)\le \sqrt{U_q}-\sqrt{L_q}+2N_q{2}^{-q}\to 0$. Interval product widths tend to zero by boundedness and the product-width inequality. Thus both returned intervals eventually have positive lower endpoints and the required width; every requested scan terminates. They contain exactly $kR$ and $\kappa R$, which need not be dyadic.

Continuity of derivative gives $A\kappa \cos (\kappa R)=\cos (kR)+ikB{e}^{ikR}$. Substitute step 1.1 and rearrange to obtain $A(\kappa \cos (\kappa R)-ik\sin (\kappa R))=\cos (kR)-i\sin (kR)=e^{-ikR}$.

The denominator has squared modulus ${\kappa }^2{\cos }^2(\kappa R)+k^2{\sin }^2(\kappa R)>0$, because $k,\kappa >0$ and sine and cosine cannot both vanish. Hence $A=\frac{e^{-ikR}}{\kappa \cos (\kappa R)-ik\sin (\kappa R)}$ and $B=e^{-ikR}(A\sin (\kappa R)-\frac{\sin (kR)}{k})$. If $V_0=0$, then $\kappa =k$, these formulas reduce to $A=1\mathrm{/}k$ and $B=0$, the unscattered solution.

For $z>0$, the degree-zero definitions and their first derivatives give $\sin z=z{j}_0(z)$, $\cos z=j_0(z)+z{j}_0^{\mathrm{\prime }}(z)$ and $e^{iz}=iz{h}_0^{(1)}(z)$. At stage $j\ge 1$, use step 1.2 to enclose the arguments and parameters with widths at most $2^{-j}$; invoke [F3] at the two represented arguments with absolute tolerance $2^{-j}$, setting all four evaluator caps successively to $t=1,2,\dots$ until each call succeeds. For this fixed $j$ the sufficient-cap assertion in [F3] proves that each search terminates. Reconstruct these elementary values by exact interval operations, enclose $\kappa$ by dividing the $\kappa R$ enclosure by the positive $R$ enclosure, and use complex conjugation for $e^{-ikR}$. The exact denominator $D=\kappa \cos (\kappa R)-ik\sin (\kappa R)$ satisfies $\mathrm{\mid }D{\mathrm{\mid }}^2\ge k^2>0$, since $\kappa \ge k$ and ${\cos }^2+{\sin }^2=1$. The shrinking enclosures therefore eventually exclude zero for $D$ and $k$. Enclose $1\mathrm{/}D$ as $\bar{D}\mathrm{/}((\mathrm{Re}D{)}^2+(\mathrm{Im}D{)}^2)$ only when its real denominator interval has positive lower endpoint; the same shrinking-width argument eventually certifies this condition. Then the formulas in step 3.1 give containing rectangles for $A,B$ with widths tending to zero, because sums and products of bounded shrinking intervals shrink and these divisions have denominators bounded away from zero. Round the final coefficient endpoints outward to the dyadic grid $2^{-j}\mathbb{Z}$, which adds at most $2^{1-j}$ to each component width and preserves containment. Consequently scanning $j$ until any specified positive rational absolute-radius tests pass terminates, although a prescribed finite cap can instead return inconclusive. This procedure proves a certified numerical comparison for represented parameters without altering the exact matching formulas for arbitrary positive real parameters. No relative accuracy for $B$ is asserted when $B=0$, including the unscattered case.