Texts on physics, maths and programming (562422), страница 11
Текст из файла (страница 11)
| (5.35) |
Proof
Note that Figs. (5.34) and (5.35) are very similar to Figs. (3.56) and (3.57). As in (3.60), define
| (5.36) |
From (5.33), we have
| (5.37) |
and
| (5.38) |
Therefore,
| (5.39) |
where
| (5.40) |
Furthermore,
| (5.41) |
where
| (5.42) |
analogous to Figs. (3.61), (3.62), (3.63) and (3.64).
According to (5.30), at W = 0
Qm+1(0)=Ql+1(0)=0 | (5.43) |
and according to (5.29), at W = Wmax
Qm+1(Wmax)=Ql+1(Wmax)=0. | (5.44) |
From (5.37), we see that the derivative is positive when
, zero at
, and negative when
. Likewise, from (5.38),
is positive when
, zero at
and negative when
. Their ratio determines
.
(i) If , from Lemma 1, we have
| (5.45) |
and therefore, on account of (5.42)
| (5.46) |
At W = 0,
| (5.47) |
As W increases, so does r (W). At , r (W) has a discontinuity, with
| (5.48) |
and
| (5.49) |
As W increases from , r (W) continues to increase, with
| (5.50) |
and
| (5.51) |
It is convenient to divide the range 0 < W < Wmax into three regions:
| (5.52) |
| (5.53) |
| (5.54) |
Assuming , we shall show separately
in these three regions.
In region B, Ql + 1 is decreasing, but Qm + 1 is increasing. Clearly,
| (5.55) |
In region A, , r (W) is positive according to Figs. (5.47) and (5.48) and
is always >0 from (5.46). Therefore from (5.41),
| (5.56) |
In region C, , but r (W) and
are both positive. Hence,
| (5.57) |
Within each region, η = Qm + 1 (W) and ξ = Ql + 1 (W) are both monotonic in W; therefore η is a single-valued function of ξ and we can apply Lemma 2 of Section 3.
In region A, at W = 0 both Qm + 1 (0) and Ql + 1 (0) are 0 according to (5.43), but their ratio is given by
| (5.58) |
Therefore
| (5.59) |
Furthermore, from (5.56), . It follows from Lemma 2 of Section 3, the ratio η/ξ is an increasing function of ξ. Since
| (5.60) |
we also have
| (5.61) |
In region C, at W = Wmax, both Qm + 1 (Wmax) and Ql + 1 (Wmax) are 0 according to (5.44). Their ratio is
| (5.62) |
which gives at W = Wmax
| (5.63) |
As W decreases from Wmax to in region C, since
, we have
| (5.64) |
Furthermore, from (5.57), in region C. It follows from Lemma 2 of Section 3, the ratio η/ξ is a decreasing function of ξ, which together with (5.64) lead to
| (5.65) |
Thus, we prove Case (i) of Lemma 3. Case (ii) of Lemma 3 follows from Case (i) by an exchange of the subscripts m and l. Lemma 3 is then proved.
So far, the above lk and lk are almost identical copies of lk and lk of Section 3, but now applicable to the N-dimensional problem. Difficulty arises when we try to generalize Lemma 4 of Section 3.
It is convenient to transform the Cartesian coordinates q1, q2, … , qN to a new set of orthogonal coordinates:
(q1,q2,…,qN)→(w(q),β1(q),…,βN-1(q)) | (5.66) |
with
| (5.67) |
and
| (5.68) |
where i or j = 1, 2, … , N − 1. Introducing
| (5.69) |
| (5.70) |
In terms of the new coordinates, the components of Dn are
| (5.71) |
Its divergence is
| (5.72) |
Combining (5.12) with (5.30), we have
| (5.73) |
therefore,
| (5.74) |
in which the integration is along the surface
w(q)=W. | (5.75) |
From Figs. (5.11) and (5.71), it follows that
| (5.76) |
In terms of curvilinear coordinates, (5.7) can be written as
| (5.77) |
Substituting (5.76) into (5.74), we find
| (5.78) |
Because , (5.78) can also be written as
| (5.79) |
Here comes the difficulty. While the above Lemma 3 transfers relations between to those between Qm + 1/Ql + 1, the latter is
| (5.80) |
which is quite different from . This particular generalization of the lemmas in higher dimensions fails to establish the Hierarchy Theorem.
For the one-dimensional case discussed in Section 3, we have w′ < 0 and x 0; consequently (5.80) is
. Therefore, Lemma 4 of Section 3 can also be established by using (5.80), and the proof of the Hierarchy Theorem can be completed.
References
[1] R. Friedberg, T.D. Lee and W.Q. Zhao, IL Nuovo Cimento A 112 (1999), p. 1195. Abstract-INSPEC | $Order Document
[2] R. Friedberg, T.D. Lee and W.Q. Zhao, Ann. Phys. 288 (2001), p. 52. Abstract | Abstract + References | PDF (214 K) | MathSciNet
[3] R. Friedberg, T.D. Lee, W.Q. Zhao and A. Cimenser, Ann. Phys. 294 (2001), p. 67. Abstract | Abstract + References | PDF (269 K)
[4] R. Friedberg and T.D. Lee, Ann. Phys. 308 (2003), p. 263. SummaryPlus | Full Text + Links | PDF (303 K)
[5] A.M. Polyakov, Nucl. Phys. B 121 (1977), p. 429. Abstract | Abstract + References | PDF (1166 K)
[6] G. ’t Hooft In: A. Zichichi, Editor, The Why’s of Subnuclear Physics, Plenum Press, New York (1977).
[7] E. Brezin, G. Parisi and J. Zinn-Justin, Phys. Rev. D 16 (1977), p. 408. Abstract-INSPEC | $Order Document | Full Text via CrossRef
[8] J. Zinn-Justin, J. Math. Phys. 22 (1981), p. 511. Abstract-INSPEC | $Order Document | MathSciNet | Full Text via CrossRef
[9] J. Zinn-Justin, Nucl. Phys. B 192 (1981), p. 125. Abstract | Abstract + References | PDF (547 K)
[10] J. Zinn-Justin, in: J.-D. Zuber, R. Stora (Eds.), Recent Advances in Field Theory and Statistical Mechanics, Les Houches, session XXXIX, 1982.
[11] J. Zinn-Justin, private communication.
[12] Sidney Coleman, Aspects of Symmetry, Press Syndicate of the University of Cambridge (1987).
[13] E. Shuryak, Nucl. Phys. B 302 (1988), p. 621. Abstract | Abstract + References | PDF (1028 K)
[14] S.V. Faleev and P.G. Silvestrov, Phys. Lett. A 197 (1995), p. 372. Abstract | Full Text + Links | PDF (588 K) | MathSciNet
Appendix A. A soluble example
In this appendix, we consider a soluble model in which the potential V (x) of (4.67) is
| (A.1) |
with W2 > μ2 and
γ=α+β. | (A.2) |
Following (4.68), we introduce two symmetric potentials:
| (A.3) |
with, for x 0,
| (A.4) |
and
| (A.5) |
so that (A.1) can also be written as
| (A.6) |
Let ψ (x), χa (x), and χb (x) be, respectively, the ground state wave functions of
(T+V(x))ψ(x)=Eψ(x), | (A.7) |
(T+Va(x))χa(x)=Eaχa(x) | (A.8) |
and
(T+Vb(x))χb(x)=Ebχb(x). | (A.9) |
For |x| > γ, since V (x) = ∞, we have
ψ(x)=χa(x)=χb(x)=0. |
For |x| < γ, these wave functions are of the form
| (A.10) |
| (A.11) |
and
| (A.12) |
By substituting these solutions to the Schroedinger equations Figs. (A.7), (A.8) and (A.9), we derive
| (A.13) |