arxiv: v1 [math-ph] 15 May 2012

Transcription

1 E.M. Ovsiyuk 1 SPIN 1 FIELD IN THE LOBACHEVSKY SPACE H 3 : HOROSPHERICAL COORDINATES, EXACT SOLUTIONS arxiv: v1 [math-ph] 15 May 01 Mozyr State Pedagogical University named after I.P. Shamyakin, Belarus Abstract A complete system of solutions for a field with spin 1 in the space of constant negative curvature, Lobachevsky space H 3, has been constructed. The treatment is based on 10-dimensional Duffin Kemmer formalism extended to curved model according to tetrad method by Tetrode Weyl Fock Ivanenko, and specified in horospherical coordinates. The solving procedure substantially uses a generalized helicity operator. The Lobachevsky geometry acts along z axis as a medium with simple reflecting properties. Restriction to massless case is performed as well. The main task of the article is to construct a complete system of solutions for a field with spin 1 (massive and massless cases) in the space of constant negative curvature Lobachevsky space H 3 ; treatment is based on 10-dimensional Duffin Kemmer formalism extended to curved model according to tetrad method by Tetrode Weyl Fock Ivanenko (see in [1]). The main equation is [ {β c i h ( e β (c) β + 1 Jab γ abc ) e ] c A c } mc Ψ = 0. (1) We will use horospherical coordinates and corresponding diagonal tetrad x a = (t,r,φ,z), ds = dt e z (dr +r dφ ) dz, e β (a) = 0 e z e 0 0 z r 0, e (a)β = 0 e z re z 0. (a) For Christoffel symbols we have Γ 0 βσ = 0, Γi 00 = 0, Γi 0j = 0, and x i = (r,φ,z), Γ i jk = gil Γ l,jk = 1 gil ( l g jk + j g lk + k g lj ), 1 e.ovsiyuk@mail.ru 1

2 Γ r jk = r Γ z jk = 1, Γφ jk = 0 r 0 1 r e z r e z Let us calculate covariant derivative for tetrad 4-vectors: A β;α = A β x α Γσ αβ A σ =, (b) = e z e (0)β;α = e (0)β x α Γσ αβ e (0)σ = e (0)β x α Γ0 αβ e (0)0 = 0, e (1)β;α = e (1)β x α Γr αβ e (1)r = e (1)β x α +Γr αβ e z = e z 0 0 re z 0 = 0 e z 0 0 e ()β;α = e ()β x α Γφ αβ e ()φ = e ()β x α +Γφ αβ re z = = 0 e z 0 re z e z 0 0 e z 0 re z = 0 0 re z 0 e (3)β;α = e (3)β x α Γz αβ e (3)z = 0+Γ z αβ = e (3)β;α = 0 0 re z 0 0 e z e z re z 0 0 e z r e z 0 Now we are ready to find Ricci rotation coefficients γ abc = e β (a) e (b)β;α e α (c), so we get,,. Thus we obtain γ ab0 = e β (a) e (b)β;t e t (0) = 0, γ ab = e β (a) e (b)β;φ e φ (), γ ab1 = e a (a) e (b)a;r e r (1), γ ab3 = e β (a) e (b)β;z e z (3). γ 011 = γ 01 = γ 031 = 0, γ 01 = γ 0 = γ 03 = 0, γ 013 = γ 03 = γ 033 = 0,

3 and γ 31 = e φ () e (3)φ;r e r (1) = 0, γ 311 = e z (3) e (1)z;r e r (1) = 1, γ 11 = e r (1) e ()r;r e r (1) = 0, γ 3 = e φ () e (3)φ;φ e φ () = 1, γ 31 = e z (3) e (1)z;φ e φ () = 0, γ 1 = e r (1) e ()r;φ e φ () = ez r, γ 33 = e φ () e (3)φ;z e z (3) = 0, γ 313 = e z (3) e (1)z;z e z (3) = 0, γ 13 = e r (1) e ()r;z e z (3) = 0. (3) Taking into account the above tetrad and Ricci coefficients we find an explicit representation for Duffin Kemmer equation (1) ] [iβ 0 t +e z [iβ 1 r + iβ r ( φ +J 1 )]+iβ 3 z +iβ 1 J 13 +iβ J 3 M Ψ = 0. (4) To separate the variable we use the following substitution Φ 0 (r,z) Ψ = e iǫt e imφ Φ(r, z) ; (5) E(r, z) H(r, z) then consider eq. (4) in a block form ǫ 0 0 i 0 0 i 0 0 +i e z ez r 0 0 e τ e τ 0 0 (m S 3 )+i 0 0 e τ 1 e τ r 0 0 e τ 3 e τ z + 3

4 +i 0 0 e τ 3 0 +τ M Φ 0 Φ E H = 0, or ie z e 1 r E e z r e (m S 3 ) E +i( z )e 3 E = M Φ0, iǫ E +ie z τ 1 r H e z τ r ( m S 3 ) H +i( z 1)τ 3 H = M Φ, iǫ Φ ie z e + 1 rφ 0 +e z m r e+ Φ 0 i e + 3 zφ 0 = M E, (6a) ie z τ 1 rφ+e z (m S 3) τ Φ i( z i)τ 3Φ = M H. r Performing calculation needed we get the system of 10 equations (6b) γe z ( E 1 r E 3 r ) ez γ r [(m 1)E 1 +(m+1)e 3 ] ( z )E = M Φ 0, (7a) +iǫ E 1 +iγe z H r +iez γ m r H +i( z 1)H 1 = M Φ 1, +iǫ E +iγe z ( H 1 r + H 3 r ) ez iγ r [(m 1)H 1 (m+1)h 3 ] = M Φ, +iǫ E 3 +iγe z H r iez γ m r H i( z 1)H 3 = M Φ 3 iǫ Φ 1 +γe z Φ 0 dr +ez γ m r Φ 0 = M E 1, iǫφ Φ 0 z = ME, iǫ Φ 3 γe z Φ 0 r +ez γ m r Φ 0 = M E 3, iγe z Φ r iez γ m r Φ i( z 1)Φ 1 = M H 1, iγe z ( Φ 1 r + Φ 3 r )+ iez γ r [(m 1)Φ 1 (m+1)φ 3 ] = M H, iγe z Φ r +iez γ m r Φ +i( z 1)Φ 3 = M H 3. 4 (7b) (7c) (7d)

5 With the use of notation γ ( r + m 1 r γ ( r +m 1 r they are written shorter ) = a, γ ( r + m+1 ) = a +, γ ( r r + m r ) = a, ) = b, γ ( r +m+1 ) = b +, γ ( r r +m r ) = b, (8) e z b E 1 e z a + E 3 ( z )E = M Φ 0, (9a) ie z a H +iǫe 1 +i( z 1)H 1 = M Φ 1, ie z b H 1 +ie z a + H 3 +iǫ E = M Φ, ie z b H +iǫ E 3 i( z 1)H 3 = M Φ 3, (9b) e z a Φ 0 iǫ Φ 1 = M E 1, iǫφ z Φ 0 = M E, e z b Φ 0 iǫ Φ 3 = M E 3, (9c) ie z a Φ i ( z 1)Φ 1 = M H 1, ie z b Φ 1 ie z a + Φ 3 = M H, ie z b Φ +i ( z 1)Φ 3 = M H 3. (9d) To solve the problem let us consider an additional operator, extended helicity operator in the Lobachevsky space (in [, 3, 4] see more on the use of such operators in the space H 3 ) ΣΨ = σψ, Ψ = e iǫt e imφ ( ) [e z S 1 r +is m S 3 +( r z 1) S 3 ] Φ 0 (r,z) Φ(r, z) E(r, z) H(r, z) Φ 0 Φ E H, = σ Φ 0 Φ E H. (10) 5

6 From (10) it follows a system of 10 equations (γ = 1/ ): 0 = σ Φ 0, (11a) γe z r Φ +γe z m r Φ +( z 1)Φ 1 = σφ 1, γe z ( r Φ 1 + r Φ 3) e z γ r [(m 1)Φ 1 (m+1)φ 3 ] = σφ, γe z r Φ γe z m r Φ ( z 1)Φ 3 = σ Φ 3, (11b) γe z r E +γe z m r E +( z 1)E 1 = σe 1, γe z ( r E 1 + r E 3) e z γ r [(m 1)E 1 (m+1)e 3 ] = σe, γe z r E γe z m r E ( z 1)E 3 = σ E 3, (11c) γe z r H +γe z m r H +( z 1)H 1 = σh 1, γe z ( r H 1 + r H 3) e z γ r [(m 1)H 1 (m+1)h 3 ] = σh, γe z r H γe z m r H ( z 1)H 3 = σ H 3. (11d) It can be presented shorter 0 = σ Φ 0, (1a) ( z 1)Φ 1 = σφ 1 ae z Φ, e z b Φ 1 + e z a + Φ 3 = σ Φ, ( z 1)Φ 3 = σ Φ 3 +b e z Φ, (1b) ( z 1)E 1 = σ E 1 ae z E, e z b E 1 + e z a + E 3 = σ E, ( z 1)E 3 = σ E 3 +b e z E, (1c) ( z 1)H 1 = σh 1 a e z H, 6

7 e z b H 1 + e z a + H 3 = σ H, ( z 1)H 3 = σ H 3 +b e z H. (1d) Substituting(1) into(9), we arrive at much more simple equations (note that (13b) and (13d) provide us with linear restrictions) e z b E 1 e z a + E 3 ( z )E = M Φ 0, (13a) iǫ E 1 +iσh 1 = M Φ 1, iǫ E +iσ H = M Φ, iǫ E 3 +iσ H 3 = M Φ 3, e z a Φ 0 iǫ Φ 1 = M E 1, (13b) iǫφ z Φ 0 = M E, e z b Φ 0 iǫ Φ 3 = M E 3, σφ 1 = M H 1, iσ Φ = M H, iσ Φ 3 = M H 3. (13c) (13d) In the system (1), one can note three groups of similar equations (in essence, they are much the same). Let us detail eqs. (1a) for Φ j (z,r) By substitutions ( z 1)Φ 1 = σφ 1 ae z Φ, e z b Φ 1 + e z a + Φ 3 = σ Φ, ( z 1)Φ 3 = σ Φ 3 +b e z Φ. (14a) Φ 1 = e z ϕ 1 (r,z), Φ = e z ϕ (r,z), Φ 3 = e z ϕ 3 (r,z) (14b) the system (14a) is simplified to a ϕ = e z (+σ z ) ϕ 1, b ϕ 1 +a + ϕ 3 = σ ϕ, 7

8 b ϕ = e z ( σ z ) ϕ 3. (14c) With the use of differential operators b and a + (see (8)), let us introduce new variables b ϕ 1 = ϕ 1, a + ϕ 3 = ϕ 3 ; (15a) then from (14c) it follows b a ϕ = e z (+σ z ) ϕ 1, ϕ 3 ϕ 1 = σ ϕ, a + b ϕ = e z ( σ z ) ϕ 3. (15b) Note that the first and the third equations involve one the same operator b a = a + b = 1 ( r 1 ) r r + m r =. (15c) First, let us assume σ 0. From the first ant the third equations in (15b) it follows σ( ϕ 1 + ϕ 3 ) = z ( ϕ 3 ϕ 1 ) = σ z ϕ. (16a) Thus, we derive two simple relations ϕ 3 + ϕ 1 = z ϕ, ϕ 3 ϕ 1 = σ ϕ ; which provide us with expressions for ϕ 1 and ϕ 3 through ϕ ϕ 3 = 1 (+σ z )ϕ, ϕ 1 = 1 ( σ z )ϕ. (16b) In turn, substitution them into the first and the third equations in (15b) we get one the same equation for ϕ b a ϕ = e z (σ z )1 ( σ z )ϕ, a + b ϕ = e z ( σ z ) 1 (+σ z )ϕ. (17a) In eq. (17a), one can separate variables ϕ (r,z) = ϕ (r) ϕ (z), 8

9 1 h (r) ( ) h (r) = 1 h (z) e z ( d dz σ )ϕ (z) = Λ ; who we get two differential equations, in r and z variables respectively: ϕ (r) = Λ ϕ (r), (17b) ( d dz σ )ϕ (z) = Λe +z ϕ (z). (17c) By ϕ (r,z) = ϕ (r)ϕ (z) one can calculate two remaining components ϕ 1 = 1 ( σ z )ϕ, ϕ 3 = 1 (+σ z )ϕ. (17d) Similar analysis gives e (r) = Λ e (r), ( d dz σ )e (z) = Λe +z e (z), ē 1 = 1 ( σ z )e, ē 3 = 1 (+σ z )e ; (18a) h (r) = Λ h (r), ( d dz σ )h (z) = Λe +z h (z), h 1 = 1 ( σ z )h, h3 = 1 (+σ z )h. (18b) In explicit form eq. (17b) is [ d dr + 1 r ] d dr m r +Λ ϕ = 0 in the new variable y = Λ r it is the Bessel equation ( d dy + 1 ) d m +1 y dy y ϕ = 0 with solutions ϕ (x) = AJ m (y)+by m (y). (19a) 9

10 In turn, eq. (17c) in the variable x = i Λe +z is the Bessel equation as well ( d dx + 1 ) d σ +1 x dx x ϕ = 0, with solutions ϕ = CJ σ (x)+dy σ (x). Now let us turn to the system (15b) for the case σ = 0: ϕ 3 = ϕ 1 = ϕ, ϕ = e z z ϕ, (19b) ϕ = e z z ϕ. (0) Similar equations take place for E j, H j. Now the system (13) becomes simpler or in other variables e z b E 1 e z a + E 3 ( z )E = M Φ 0, Let us exclude the variables ē,e : iǫ E j = M Φ j, e z a Φ 0 iǫ Φ 1 = M E 1, iǫφ z Φ 0 = M E, e z b Φ 0 iǫ Φ 3 = M E 3, H j = 0, ē z e = M e z Φ 0, iǫ ē = M ϕ, iǫ e = M ϕ, iǫe z ϕ z Φ 0 = M e z e, Φ 0 iǫ ϕ = M ē, H j = 0. (1) H j = 0, ē = M iǫ ϕ, e = M iǫ ϕ, 10

11 M iǫ ϕ M z iǫ ϕ = M e z Φ 0, iǫe z ϕ z Φ 0 = M e zm iǫ ϕ, Φ 0 iǫ ϕ = M M iǫ ϕ, or ϕ z ϕ = iǫe z Φ 0, ϕ = ϕ = iǫ (ǫ M ) e z z Φ 0, iǫ (M ǫ ) Φ 0. () From (), allowing for the second and the third equations, from the first we derive iǫ (M ǫ ) Φ 0 iǫ z (ǫ M ) e z z Φ 0 = iǫe z Φ 0, that is [ z e z z (ǫ M )e z ] Φ 0 = 0. (3a) Let it be Φ 0 (r,z) = Φ 0 (r)φ 0 (z), then the variables are separated 1 Φ 0 (r) Φ 0(r) = 1 ( ) Φ 0 (r) z e z z +(ǫ M )e z Φ 0 (z) = Λ, (3b) and further we get 1 Φ 0 (r) Φ 0(r) = Λ, ( 1 Φ 0 (r) z e z z +(ǫ M )e z Explicitly they read ( d ( d dr + 1 r ) Φ 0 (z) = Λ. ) d dr m r +Λ Φ 0 (r) = 0, dz d dz +(ǫ M ) Λe +z ) Φ 0 (z) = 0. (3c) (3d) 11

12 With substitution Φ 0 (z) = e z φ 0 (z) we get from the second equation ( ) d dz +(ǫ M ) 1 Λe +z φ 0 (r) = 0 ; in variable x = i Λe z it reduce to the Bessel form ( d dx + 1 d x dx +1 1 ǫ +M ) x φ 0 = 0 with solutions φ 0 = C 1 J 1 ǫ M (x)+c Y 1 ǫ M (x). (4a) (4b) (4c) Concluding, let us specify the massless case. Instead of (13) now we have e z b E 1 e z a + E 3 ( z )E = 0, iǫ E 1 +iσh 1 = 0, iσ H +iǫ E = 0, iǫ E 3 +iσ H 3 = 0, e z a Φ 0 iǫ Φ 1 = E 1, iǫφ z Φ 0 = E, e z b Φ 0 iǫ Φ 3 = E 3, σφ 1 = H 1, iσ Φ = H, iσ Φ 3 = H 3. (5) The most interesting is the case of σ = 0, the system (5) gives E j = 0, H j = 0, a Φ 0 iǫ ϕ 1 = 0, iǫφ z Φ 0 = 0, from whence it follows b Φ 0 iǫ ϕ 3 = 0, (6) E j = 0, H j = 0, (7a) ϕ = 1 iǫ Φ 0, ϕ = 1 iǫ e z z Φ 0 = 0, (7b) where Φ 0 is an arbitrary function. This class describes solutions of gradient type with vanishing electromagnetic tensor. Author is grateful to V.M. Red kov for encouragement and advices. 1

13 References [1] V.M. Red kov. The fields of the particles in a Riemannian space and the Lorentz group. Minsk, 009. [] V.M. Red kov, E.M. Ovsiyuk, V.V. Kisel. Spin 1 particle on 4- dimensional sphere: extended helicity operator, separation of the variables, and exact solutions. arxiv: v1 [math-ph]. [3] E.M. Ovsiyuk, K.V. Kazmerchuk. Quasi-plane waves for spin 1 field in Lobachevsky space and a generalized helicity operator. arxiv: v1 [math-ph]. [4] E.M. Ovsiyuk, K.V. Kazmerchuk. Nonrelativistic approximation for quasi-plane waves of a spin 1 particle in Lobachevsky space. arxiv:105.14v1 [math-ph]. 13