arxiv: v1 [hep-th] 26 Nov 2007

Transcription

1 Exonentially localized solutions of the Klein-Gordon equation arxiv: v1 [he-th] 26 Nov 27 M. V. Perel and I. V. Fialkovsky Deartment of Theoretical Physics, State University of Saint-Petersburg, Russia Abstract. Exonentially localized solutions of the Klein-Gordon equation for two and three sace variables are resented. The solutions deend on four free arameters. For some relations between the arameters, the solutions describe wave ackets filled with oscillations whose amlitudes decrease in the Gaussian way with distance from a oint running with grou velocity along a straight line. The solutions are constructed using exact comlex solutions of the eikonal equation and may be regarded as ray solutions with amlitudes involving one term. It is also shown that the multidimensional nonlinear Klein-Gordon equation can be reduced to an ordinary differential equation with resect to the comlex eikonal. Translated from Zaiski Nauchnykh Seminarov POMI, Vol. 275, 21, Introduction. The construction of various highly localized solutions of the wave equation φ tt φ xx φ yy φ zz = (1) is a subject of several ublications (see [1-8]). In articular, in [1] a solution that is exonentially localized in the vicinity of a oint running with velocity of light is given. In this aer, we generalize the result of [6] by resenting a family of localized solutions that includes the one given in [6] as a secial case. Based on the results obtained for the wave equation, we construct a family of article-like solutions of the Klein-Gordon equation h 2 (u tt u xx u yy ) + u =, h = const. (2) These solutions have finite energy and describe wave ackets with central frequency ω and wave number k, where ω 2 = k 2 + 1/h 2. Their amlitudes decrease exonentially with distance from a oint running along a straight line with grou velocity v = dω/dk. By analogy with the solutions of the wave equation, we call them Gaussian wave ackets. All the solutions of the Klein-Gordon equation from this class can be reresented in the form u = Af(iS/h), where the function S satisfies the eikonal (or Hamilton-Jacobi) equation St 2 S2 x S2 y = 1, (3)

2 Exonentially localized solutions 2 the amlitude factor A does not deend on the coordinates, S and A are indeendent on h, and f is exressed in terms of the Hankel function. The comarison of our results with those available in the literature shows that one of the solutions that we found for the three-dimensional Klein-Gordon equation coincides with the solution given in [7]. We also consider in detail another solution from the constructed family, which deends only on one variable S that is one of the exact comlex solutions of the eikonal equation. It turned out that the search for a solution deendent only on S of the nonlinear Klein-Gordon equation is reduced to the solution of an ordinary differential equation. This is also true for nonlinear Klein-Gordon equations with arbitrary number of sace variables. In constructing article-like solutions of the wave equation, we followed the idea by Ziolkowski [3] and sought such solutions in the form of a suerosition of Gaussian beams, which are solutions localized near rays. The latter solutions were found for the first time in aers of Brittingham [1] and Kiselev [2] and belong to the class of relatively undistorted waves, in the terminology of Courant and Hilbert [1]. The construction of the solution of the Klein-Gordon equation emloys the simle observation that, taking the Fourier transform of a solution of wave equation (1), say with resect to z, u(x, y, t) = we obtain a solution of the Klein-Gordon equation (2). dzφ(x, y, z, t)e iz/h, (4) Generalized Gaussian ackets for the wave equation. We start from the solution of wave equation (1), described by the formula φ b (x, y, z, t, q) = (see [1, 2, 6]), where the notation ex {iqθ 1 } (β iε 1 ) 1/2 (β iε 2 ) 1/2 (5) Θ 1 = x t + y2 + z2, β = x + t, (6) β iε 1 β iε 2 is introduced. The function φ b satisfies (1) for any q, ε 1, and ε 2, and in the case of ε 1 >, ε 2 >, and q > it is a Gaussian beam, which means that it is localized in the Gaussian way in the vicinity of the x axis. We seek article-like solutions of Eq. (1) in the form of a suerosition of Gaussian beams: φ (ν) (x, y, z, t) = dqf (ν) (q)φ b (x, y, z, t, q), (7) (7) where F (ν) (q) is a articular function deending on the arameter ν. We ut F (ν) (q) aq ν 1 e ε(q+σ2 /q), (8) (8) where ν, σ, and ε are arbitrary constants, σ >, ε >, and a = (4εσ 2 ) ν /(2 π). It can easily be shown that (7) is reduced to an integral reresentation of the Hankel function H ν (1) of the first kind [12] and φ (ν) (x, y, z, t) = C s ν H ν (1) ( (s) (β iε1 )(β iε 2 ), s = 2iσε 1 iθ ) 1/2 1, (9) ε

3 Exonentially localized solutions 3 where C = i2 ν 1 π. It is worth noting that s satisfies the Hamilton-Jacobi equation s 2 t = s2 x + s2 y + s2 z for wave equation (1). We note that for ν = 1/2, formula (9) yields a solution of the wave equation resented earlier in [6]: { ex 2σε } 1 iθ 1 /ε φ ( 1/2) (x, y, z, t) =. (1) (β iε1 )(β iε 2 ) This solution deends on four free arameters ε, ε 1, ε 2, and σ. It is established in [6] that if all these arameters are ositive, it is localized in the Gaussian way near the oint x = y = and z = ct that runs with velocity of light c = 1 along the x axis. The asymtotics of the solutions of (1) of the form (9) with resect to the large argument have the same exonential factor as (1). Arguments similar to those adduced in [6] rove their localization. Therefore, (9) is a localized solution generalizing (1). Gaussian beams for the Klein-Gordon equation. Here we give a solution u b of the Klein-Gordon equation, which has a Gaussian localization near a ray, in order to use it in construction of article-like solutions of the Klein-Gordon equation. To find such a u b, we calculate the Fourier transform (4) with resect to z of exression (5): πe iπ/4 ε 2 /(4qh2) ex {iθq iβ/(4qh 2 )} u b (x, y, t; q) =, (11) q β iε1 where Θ = x t + y2 β iε 1. (12) This solution was found first in [8]. We call such solutions of the Klein-Gordon equation Gaussian beams, by analogy with solutions of wave equations. Gaussian ackets for the Klein-Gordon equation. Taking the Fourier transform (4) with resect to z of the both sides of Eq. (7), we obtain solutions of the Klein-Gordon equation in the form of an exansion in the beam solutions u b from (11): u (ν) (x, y, t) = dqf (ν) (q)u b (x, y, t; q). (13) Substituting u b of the form (11) and F (ν) (q) of the form (8) into (13), we arrive at with (x, y, t) = C S ν+1/2 H (1) ν+1/2 (S /h) 1 (14) (β iε 1 ) 1/2 (β 4iεσ 2 h 2 iε 2 ) ν+1/2 u (ν) S = i [ (Θ + iε)(β 4iεσ 2 h 2 iε 2 ) ] 1 /2. (15) The function S does not deend on ν. Formula (14) yields a family of exact solutions of the Klein-Gordon equation, which are all article-like as will be seen in what follows. This family deends on four free arameters ν, ε, ε 1, and σ. In what follows we use a different and simler arametrization of (14). The constant factor in (14) is equal to C 1 = π(8εσ 2 h 2 + 2ε 2 ) ν 1/2 h ν+3/2 e iππ(ν+1) / 2.

4 Exonentially localized solutions 4 The ray interretation of Gaussian beams and Gaussian ackets. The introduction of a new free arameter κ by the relation κ = qh enables us to rewrite (11) in the form of a ray series, which is reduced to only one term with u b = c b ex {is b /h} (β iε 1 ) 1/2, c b = const, (16) S b = κθ β 4κ. (17) Here, the comlex hase function S b is indeendent of h and satisfies eikonal equation (3). We also note that u b may be regarded as a reference solution for the asymtotic construction resented by Maslov in [11]. The solutions u (ν) can conveniently be written in terms of a new free arameter γ = 4εσ 2 h 2 + ε 2 instead of σ and ε 2 and µ = ν + 1/2 instead of ν. Now, S µ H µ (1) (S /h) = C 1 (β iε 1 ) 1/2 (β iγ) µ. (18) u (µ 1/2) The comlex hase function S = i [(Θ + iε)(β iγ)] 1/2 (19) is also indeendent of h and satisfies eikonal equation (3). In the case of a half-integer µ, the Hankel functions are reduced to elementary functions. For the values µ = 1/2 and µ = 1/2, we have and u () = C 2 ex {is /h} (β iε 1 ) 1/2 (β iγ) 1/2 u ( 1) ex {is /h} β iγ = C 3, (2) S β iε 1 resectively, where C 2 and C 3 are constants. These solutions, as well as (16), are ray solutions reduced to their zero-order term. Proerties of the solutions. First we show that the solution u b in (16) is localized near the x axis. Searating the real and imaginary arts in the comlex hase function S b from (17) and introducing the notation we obtain κ = ( κ 1 ), ω = κ 4κ 2 + 1, y = is b = i( κx ωt) y2 2 y + i y2 2 y 2 ε2 1 + β 2, (21) (21) ε 1 ( κ + ω) β ε 1. (22) For β ε 1, the solution u b describes a wave with frequency ω = ω/h and wave number k = κ/h, which roagates along the x axis and decays in the Gaussian way with distance from the axis. The degree of localization near the x axis is determined by

5 Exonentially localized solutions 5 the arameter h y. The solution shows the Gaussian localization near the x axis for any finite values of β, and the degree of localization decreases as β grows. Now we describe the asymtotic behavior of u (µ 1/2). As has already been mentioned, all the functions S are indeendent of µ. The asymtotic exressions of the Hankel function for large values of S /h differ only in the hase factor, and all solutions of our family behave as u (µ 1/2) S µ 1/2 ex {is /h} (x, y, t) C 3 (23) (β iε 1 ) 1/2 (β iγ) µ with C 3 = C 1 2/π e iπµ/2 iπ/4. Now we investigate the deendence of S on the sace variables and time. Searating the real and imaginary arts in the subradical exression from (19), we obtain [ ( is = γε + x 2 t 2 + y 2β2 + γε 1 + 2i γε( ωt κx) + y 2 β(ε )] 1/2 1 γ), (24) β 2 + ε 2 1 β 2 + ε 2 1 where κ and ω are defined by (21) with κ = γ/4ε. We now rove a rough estimate valid for any value of t, which imlies that any solution from the family described by (14) has finite energy. First we note the simle fact that for real a 1 and a 2, Re ( a 1 + ia 2 = (a 1 + 1/2, a a2)/2) 2 whence Re a 1 + ia 2 a 1 for a 1 and thus [ ] 1/2 Re(iS ) γε + x 2 t 2 + y 2β2 + γε 1. (25) β 2 + ε 2 1 Estimate (25) shows that for a fixed time and sufficiently large values of the sace coordinates, the asymtotic exression for the Hankel functions is alicable and the behavior of solution (18) is described by formula (23). Therefore, the absolute value of any solution u (µ 1/2) decreases exonentially with a rise in the coordinates, and therefore all these solutions have finite energy. This estimate is valid for all values of the sace coordinates in case of t γε. Now we rove that, under certain restrictions on x, y, and t and some conditions on their arameters, the solutions u (µ 1/2) describe wave ackets localized in the Gaussian way. We exand is in a series, assuming that all subradical terms deendent on x, y, and t are small in comarison with εγ. Keeing only the terms linear and quadratic in x, y, and t, we find is i( κx ωt) γε (x vt)2 2 x y2, (26) 2 y where v stands for the grou velocity v = d ω/d κ = κ/ ω and 2κε x = ω, ε1 y = κ. (27)

6 Exonentially localized solutions 6 Re(u ) Re(u ) x y x 5 y 5 Figure 1. Real art of u () in conventional units: t = (left), t = 1 (right). We recall that κ = γ/4ε. Under the condition γε = 2κε h, the asymtotic form of the Hankel function can be used in (18) for all values of x, y, and t. Formula (26) can be alied for not-toolarge x, y, and t. However, for some values of the arameters κ, ε, and ε 1, the domain of its alicability can be larger that the widths h x and h y of the acket. In this domain, all the solutions from the family u (µ 1/2) demonstrate Gaussian localization near a oint running along the x axis with grou velocity v. Such a behavior may occur for a certain relation between all the arameters, which we write below in an interesting secial case. On the Fig. 1. the real art of u () given by (2) is resented in conventional units: t = (left), t = 1 (right); in both cases, h =.3, ε = 1, and κ = 1. A simle examle of a Gaussian acket. An interesting solution of the Klein- Gordon equation (2) is obtained from (1) by setting ε 1 = γ 4κ 2 ε. The solution u ( 1) deends only on one variable S, and, u to a constant factor, we have u ( 1) In this case, the hase S is given by = C e is/h S. (28) S = i b 2 + x 2 + y 2 t 2 + 2ib( ωt κx) = i (x ib κ) 2 + y 2 (t ib ω) 2 (29) with b = γε 2κε. Here, κ can be exressed in terms of κ, see (21). However, it is more convenient to regard κ and b as indeendent arameters. Then, ω = κ The exansion of S takes the form (26) with x = b/ ω and y = 2b. We describe the conditions for its validity. The exansion of (29) is justified for x b, y b, t b, t b/ ω, and x b/ κ. Since ω 1, the conditions t b/ ω and x min(b, b/ κ) are more restrictive. It can be seen from (29) that the solution is localized in the Gaussian way near a oint running with grou velocity if the transverse and longitudinal widths h x and h y, as well as the time width h x /v, are all far less that the domain where the root in (29) can be exanded, namely, for

7 Exonentially localized solutions 7 hb ω min(b, b/ κ), 2hb b, and hb/ κ b/ ω. Here, the most restrictive condition is h b κ2 ω 2. (3) The case of three sace variables. All of the above considerations can be generalized to three or more sace variables. Here we resent the results for the three-dimensional case and comare them with the results found in [7]. We turn to the equation h 2 (u tt u xx u yy u zz ) + u =, h = const. (31) The construction of its localized solutions is based on the exressions for localized solutions of the four dimensional wave equation φ tt φ xx φ yy φ zz φ z1 z 1 =. (32) Axially symmetric Gaussian beams for this equation are described by the exression In contrast to (6), here φ b (x, y, z, z 1, t, q) = Θ 1 = x t + ex {iqθ 1 } (β iε 1 )(β iε 2 ) 1/2. (33) y2 + z2 + z2 1, β = x + t. (34) β iε 1 β iε 1 β iε 2 We construct generalized Gaussian ackets for Eq. (32) by a formula similar to (7), starting from the Gaussian beams and using weight function (8) in the same way as we did this reviously. Then we take the Fourier transform u(x, y, z, t) = dz 1 φ(x, y, z, z 1, t)e iz 1/h of the both sides of a formula analogous to (7). In doing so, we find solutions of the Klein-Gordon equation (31) describing the Gaussian articles u (µ 1/2) (35) S µ H µ (1) (S /h) = C 4 (β iε 1 )(β iγ) µ, (36) where C 4 = const and S is defined by (19) in which Θ = x t + y2 + z2. (37) β iε 1 β iε 1 The Gaussian articles u (µ 1/2) in the 3D case differ from the corresonding solutions in the 2D case (18) by a ower of β iε 1 in the denominator and by the additional term involving the variable z in hase (37). The solution u ( 1) = C 5 (β iγ) 1/2 (β iε 1 )S ex {is /h} = C 5 ex {is /h} (β iε 1 )(Θ + iε) 1/2 (38) with C 5 = const was found earlier in [7]. This is a Gaussian article from (36) for µ = 1/2. In the three-dimensional case, as well as in the two-dimensional case, a

8 Exonentially localized solutions 8 solution deendent only on the variables S exists. This is u ( 3/2), where we must set ε 1 = γ: H (1) 1 (is /h) = C 6, (39) S u ( 3/2) where C 6 = const. On nonlinear Klein-Gordon equations. The above construction can be used in solving nonlinear Klein- Gordon equations h 2 (u tt u xx u yy ) + φ(u) = (4) in the two-dimensional case and h 2 (u tt u xx u yy u zz ) + φ(u) = (41) in the three-dimensional case. Seeking solutions in the form u = F(s), where s = S /h, we arrive at nonlinear differential equations and F ss + 2 s F s + φ(f) = (42) F ss + 3 s F s + φ(f) = (43) in the case of (4) and (41), resectively. Acknowledgments. We are indebted to Professor A. P. Kiselev for his interest in this research and his stimulating discussion. The aer was suorted by the Russian Foundation for Basic Research under grant No Translated by A. P. Kiselev. References [1] J. N. Brittingham, Focus wave modes in honogeneouns Maxwell equations: transverse electric mode, J. Al. Phys., 54, No. 3, (1983). [2] A. P. Kiselev, Modulated Gaussian beams, Radiohys. Quant. Electron., 26, No. 8, (1983). [3] R. W. Ziolkowski, Localised transmission of electromagnetic enegry, Phys. Rev. A, 39, (1989). [4] P. L. Overfelt, Bessel-Gauss ulses, Phys. Rev. A, 44, (1991). [5] H. E. Moses and R. T. Prosser, Acoustic and eletromagnetic bullets: derivation of new exact solutions of the acoustic and Maxwells equations, SIAM J. Math. Phys., 5, No. 5, (199). [6] A. P. Kiselev and M. V. Perel, Highly localized solutions of the wave equation, J. Math. Phys., 41 (4), (2). [7] I. M. Besieres, A. M. Shaarawi, and L. P. Ligthart, A note on dimension reduction and finite energy localized wave solutions to the Klein-Gordon and scalar wave equations. Part I: FMWtye, J. Electromagn. Waves Al., 14(5), (2). [8] R. W. Ziolkowski, Exact solutions of the wave equation with comlex source location, J. Al. Phys., 26, (1985).

9 Exonentially localized solutions 9 [9] A. M. Shaarawi, I. M. Besieres, and R. W. Ziolkowski, A novel aroach to synthesis of nondisersive wave acket solutions to the Klein-Gordon and Dirak equations, J. Al. Phys., 31, (199). [1] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. 2, Interscience, New York (1962). [11] V. P. Maslov, The Comlex WKB Method in Nonlinear Equations [in Russian], Nauka, Moscow (1977). [12] A. F. Nikiforov and V. B. Uvarov, Secial Functions of Mathematical Physics [in Russian], Nauka, Moscow (1982). 4