arxiv:hep-th/ v2 12 Dec 2003

Transcription

1 1 On the energy-momentum tensor for a scalar feld on manfolds wth boundares arxv:hep-th/ v 1 Dec 003 Aram A. Saharan Department of Physcs, Yerevan State Unversty, 1 Alex anoogan Str., Yerevan, Armena, and the Abdus Salam Internatonal Centre for Theoretcal Physcs, Treste, Italy February 1, 008 Abstract We argue that already at classcal level the energy-momentum tensor for a scalar feld on manfolds wth boundares n addton to the bulk part contans a contrbuton located on the boundary. Usng the standard varatonal procedure for the acton wth the boundary term, the expresson for the surface energy-momentum tensor s derved for arbtrary bulk and boundary geometres. Integral conservaton laws are nvestgated. The correspondng conserved charges are constructed and ther relaton to the proper denstes s dscussed. Further we study the vacuum expectaton value of the energy-momentum tensor n the correspondng quantum feld theory. It s shown that the surface term n the energy-momentum tensor s essental to obtan the equalty between the vacuum energy, evaluated as the sum of the zero-pont energes for each normal mode of frequency, and the energy derved by the ntegraton of the correspondng vacuum energy densty. As an applcaton, by usng the zeta functon technque, we evaluate the surface energy for a quantum scalar feld confned nsde a sphercal shell. PACS numbers: Kk, k, v, j 1 Introducton In many problems we need to consder the physcal model on background of manfolds wth boundares on whch the dynamcal varables satsfy some prescrbed boundary condtons. In presence of boundares new degrees of freedom appear, whch can essentally nfluence the dynamcs of the model. The ncomplete lst of branches where the boundary effects play an mportant role ncludes: surface and fnte-sze effects n condensed matter theory and statstcal physcs, theory of phase transtons and crtcal phenomena [1,, canoncal formulaton of general relatvty (see [3), the defnton of the gravtatonal acton, Hamltonan and energymomentum [4 [16, path-ntegral approach to quantum gravty and the problem of boundary condtons for the quantum state of the unverse (see, for nstance, [17 and references theren), bag models of hadrons n QCD, strng and -theores, varous braneworld models, manfolds wth horzons and the thermodynamcs of black holes, AdS/CFT correspondence [18, holographc prncple [19, 0. In recent years, the study of the boundary effects n quantum theory Emal: saharyan@server.physdep.r.am

2 has produced several mportant results. For example, an nterestng dea s to consder the black hole event horzon as a physcal boundary [1. Ths nduce an extra term n the acton, havng as consequence the exstence of a central charge n the algebra of generators of gauge transformatons. Usng ths central charge t s possble to determne the asymptotc behavor of the denstes of states and n ths way to get the entropy for a black hole [. In the context of strng theory, the D-branes are natural boundares for the open strngs, havng very nterestng effects n the theory. In quantum feld theory the nfluence of boundares on the vacuum state of a quantzed feld leads to nterestng physcal consequences. The mposton of boundary condtons leads to the modfcaton of the zero pont fluctuatons spectrum and results n the shfts n the vacuum expectaton values of physcal quanttes, such as the energy densty and vacuum stresses. In partcular, vacuum forces arse actng on constranng boundares. Ths s the famlar Casmr effect. The partcular features of the resultng vacuum forces depend on the nature of the quantum feld, the type of spacetme manfold and ts dmensonalty, on the boundary geometres and the specfc boundary condtons mposed on the feld. Snce the orgnal work by Casmr n 1948 [3 many theoretcal and expermental works have been done on ths problem, ncludng varous types of bulk and boundary geometres (see, e.g., [4 [31 and references theren). The Casmr force has recently been measured wth a largely mproved precson [3 (for a revew see [8, 33) whch allows for an accurate comparson between the expermental results and theoretcal predctons. An essental pont n the nvestgatons of the Casmr effect s the relaton between the mode sum energy, evaluated as the sum of the zero-pont energes for each normal mode of frequency, and the volume ntegral of the renormalzed energy densty. For scalar felds wth general curvature couplng n Ref. [34 t has been shown that n the dscusson of ths queston for the Robn parallel plates geometry t s necessary to nclude n the energy a surface term concentrated on the boundary (see Refs. [35, 36 for smlar ssues n sphercal and cylndrcal boundary geometres and the dscusson n Ref. [37). However, n Refs. [34, 35, 36 the surface energy densty s consdered only for the case of the nkowsk bulk wth statc boundares. In the present paper, by usng the standard varatonal procedure, we derve an expresson of the surface energy-momentum tensor for a scalar feld wth general curvature couplng parameter n the general case of bulk and boundary geometres. It s well-known that the mposton of boundary condtons leads to a vacuum expectaton value of the energy-momentum tensor wth non-ntegrable dvergences as the boundary s approached [38, 39, 40. The role of surface acton to cancel these dvergences s emphaszed n Ref. [40, where t has been shown that the fnteness of the total energy of a quantzed feld n a bounded regon s a drect consequence of renormalzaton of bare surface actons. How boundary correctons are mplemented by surface nteracton and the structure of the correspondng counterterms n the renormalzaton procedure are dscussed n Ref. [41 wthn the Schrödnger representaton of quantum feld theory. By sutably modfyng the classcal acton wth boundary correctons, n Ref. [4 t has been shown that for scalar felds confned n a cavty famlar functonal methods can be appled and the functonal measure s constructed by treatng the boundary condtons as feld equatons comng from a varatonal procedure. Surface terms play an mportant role n the recently proposed procedure [11 (see also [1 [15 and references theren) to regularze the dvergences of the gravtatonal acton on noncompact space. By addng sutable boundary counterterms to the gravtatonal acton, one can obtan a well-defned boundary energy-momentum tensor and a fnte Eucldean acton for the black hole spacetmes. Ths paper s organzed as follows. In Sec. the notatons are ntroduced for the geometrcal quanttes descrbng the manfold and the structure of the acton s dscussed. In Sec. 3 the varatons of the bulk and surface actons are consdered wth respect to varatons of the metrc tensor and the expressons for the bulk and surface energy-momentum tensors are derved. The ntegral conservaton laws descrbed by these tensors are studed n Sec. 4. The expressons

3 3 for the correspondng energy-momenta are derved and relatons to the proper denstes are dscussed. The vacuum expectaton values of the energy-momentum tensor for a scalar feld on a statc manfold wth boundary are consdered n Sec. 5. It s argued that the surface part of the energy densty s essental to obtan the equalty between the vacuum energy, evaluated as the sum of the zero-pont energes for each normal mode, and the energy obtaned by the ntegraton of the correspondng vacuum energy densty. As an applcaton of general foemula, n Sec. 6 we consder the surface energy for a quantum scalar feld confned nsde a sphercal shell. Secton 7 concludes the man results of the paper. An ntegral representaton of the partal zeta functon needed for the calculaton of the surface energy on a sphercal shell s derved n Appendx A. Notatons and the acton Consder a D dmensonal spacetme regon wth metrc g and boundary. We assume that the spacetme s folated nto a famly of spacele hypersurfaces defned by t = const. The boundary of conssts of the ntal and fnal spacele hypersurfaces 1 and, as well as a tmele smooth boundary s and, hence, = 1 s. The boundary of each we wll denote : = s. The correspondng spacetme regon s depcted n Fg. 1 for a three dmensonal. The nward pontng unt normal vector feld on s denoted n. Ths vector s normalzed n accordance wth n n = ǫ, where ǫ = 1 and 1 for spacele and tmele boundary elements, respectvely. We defne u as the future pontng unt normal vector to the spacele hypersurfaces. On the hypersurfaces 1 and ths vector s connected to the vector n by relatons: u = n on 1 and u = n on. In the consderaton below we wll not assume that the tmele boundary s s orthogonal to the folaton of the spacetme. We defne ũ as the forward pontng tmele unt normal vector feld to the surfaces n the hypersurface s. By constructon one has ũ n = 0. We further defne ñ as the vector feld defned on s such that ñ s the unt normal vector to n hypersurface and, hence, by constructon u ñ = 0. It can be seen that the followng relatons take place between the ntroduced vectors (see, for nstance, [8, 10, 16) ñ = λ ( n ηu ), ũ = λ ( u + ηn ), (.1) where n s understood as the normal to s, the varable η = u n measures the nonorthogonalty and λ = 1/ 1 + η. For η = 0 the folaton surfaces are orthogonal to the boundary s. Note that the quantty λ s connected to the proper radal velocty v by the relaton [16 λ = 1 v. In the present paper we deal wth a real scalar feld ϕ(x) propagatng on the manfold. The acton descrbng the dynamcs of the feld we wll take n the form S = S b + S s, (.) where the frst term on the rght, S b = 1 d D+1 x g ( ϕ ϕ m ϕ ζrϕ ), (.3) s the standard bulk acton for the scalar feld wth curvature couplng parameter ζ, R s the Rcc scalar for the manfold, s the covarant dervatve operator assocated wth the bulk metrc g (we adopt the conventons of Ref. [43 for the metrc sgnature and the curvature tensor). The second term on the rght of Eq. (.), S s = ǫ d D x h ( ζϕ K + m s ϕ ), (.4)

4 4 Fgure 1: anfold wth boundary = 1 s folated by spacele hypersurfaces wth boundares. n and u are unt normal vector felds to the hypersurfaces s and respectvely. ñ s the unt normal vector to the (D 1)-surface n the hypersurface, and ũ s the unt normal vector to n the hypersurface s. s the surface acton wth a parameter m s. In Eq. (.4), h s the determnant of the nduced metrc h for the boundary, h = g ǫn n k, (.5) whch acts as a projecton tensor onto, K s the trace of the extrnsc curvature tensor K of the boundary : K = g K = h K, K = h l hm k ln m, h l = glk h. (.6) For the most mportant specal cases of mnmally and conformally coupled scalars n Eq. (.3) we have ζ = 0,(D 1)/4D, respectvely. Note that n Eq. (.4) the term wth the extrnsc curvature scalar corresponds to the Gbbons-Hawkng surface term n general relatvty, ǫ dd x h K. Ths term s requred so that the acton yelds the correct equatons of moton subject only to the condton that the nduced metrc on the boundary s held fxed. Note that for non-smooth boundary hypersurfaces t s necessary to add to acton (.) the corner terms (for these terms n the gravtatonal acton of general relatvty see [7, 9, 10, 16) wth ntegratons over (D 1)-hypersurfaces at whch the unt normal n changes drecton dscontnously. As we have assumed a smooth boundary s, n our case these hypersurfaces are presented by the (D 1)-surfaces 1 = 1 s and = s and the correspondng corner term n the acton has the form S c = ζ 1 d D 1 x σ ϕ arcsnh(η), (.7) where 1 = 1 and σ s the determnant of the metrc tensor σ = g + n n k ũ ũ k = g + ñ ñ k u u k (.8) nduced on. In ths paper we are nterested n the varaton of the acton wth respect to the varatons for whch the metrc and feld are held fxed on the ntal and fnal spacele hypersurfaces 1 and, and consequently on 1 and. In ths case the corner terms wll not contrbute to the varatons under consderaton and we wll omt them n the followng

5 5 consderaton (see, however, the dscusson after formula (3.7) n Sec. 3 for the total dvergence term n the varaton of the acton, located on the boundary). Note that the contrbuton of the corner terms wll be mportant n the case of a non-smooth boundary s havng wedge-shaped parts. 3 Varaton of the acton and the energy-momentum tensor 3.1 Varaton of the bulk acton and the volume energy-momentum tensor In ths subsecton we consder the varaton of the bulk acton (.3) nduced by an nfntesmal varaton δg n the metrc tensor. As the careful analyss of the surface terms s crucal for our dscusson we wll present the calculatons n detal (for the correspondng calculatons n general relatvty see, for nstance, [16). To fnd the expresson for the energy-momentum tensor of the scalar feld wth acton (.), we need the varaton of ths acton nduced by an nfntesmal varaton δg n the metrc tensor. Frst of all we consder the varaton of the term nvolvng the Rcc scalar: δ g d D+1 x g ϕ R = d D+1 x g ϕ ( δg G + g δr ), (3.1) where R and G = R g R/ are Rcc and Ensten tensors, respectvely. To evaluate the second term n the braces on the rght we note that the contracted varaton g δr s a pure spacetme dvergence, g δr = l W l, W l = g δγ l gl δγ k, (3.) wth Γ l beng the Chrstoffel symbol. In order to fnd the varatons of the Chrstoffel symbol n ths formula, note that from the dentty δ( g kl ) = 0 t follows Combnng ths wth the relatons one fnds g δγ l = gl δγ k + glk g p p δg. (3.3) δγ k = (δ ln g ) = 1 g lm (δg lm ), g lk g p p δg = m (δg lm ), (3.4) W l = g l g km (δg km ) m (δg lm ). (3.5) By takng nto account formula (3.) and usng the Stoke s theorem d D+1 x g V = ǫ d D x h n V, (3.6) for the term wth the varaton of the Rcc tensor one has d D+1 x g ϕ g δr = d D+1 x g W l l ϕ + ǫ d D x h ϕ n l W l. (3.7) For the frst term on the rght, usng formula (3.5), we fnd d D+1 x g W l l ϕ = d D+1 x ( g δg k ϕ g lm g l m ϕ ) +ǫ d D x ( h δg n k ϕ g n l m ϕ ). (3.8)

6 6 Substtutng ths nto formula (3.7) and takng nto account formula (3.5), for the term contanng the varaton of the Rcc scalar, Eq. (3.1), we obtan the formula δ g d D+1 x g ϕ R = d D+1 x ( g δg ϕ G g g lm l m ϕ + k ϕ ) +ǫ d D x { ( h δg n k ϕ g n l l ϕ ) (3.9) [ } + ϕ g km n (δg km ) n l m (δg lm ). Ths leads to the followng varaton of the bulk acton δ g S b = 1 d D+1 x g δg T (vol) + ǫ + ζg n l l ϕ ) + ζϕ [ n l m (δg lm ) g km n (δg km ) d D x { h δg ( ζn k ϕ }, (3.10) where T (vol) s the standard metrc energy-momentum tensor for a scalar feld wth a curvature couplng parameter ζ (see, for nstance, [43): T (vol) = ϕ k ϕ 1 g g lm l ϕ m ϕ+ m ϕ g ζϕ G +ζg g lm l m ϕ ζ k ϕ. (3.11) Note that ths expresson can be also wrtten n the form T (vol) = T (1) + 1 ( ) ϕg g lm l m ϕ + ζrϕ + m ϕ, (3.1) where [( T (1) = ϕ k ϕ + ζ 1 )g g lm l m ζr ζ k ϕ. (3.13) 4 Ths tensor does not explctly depend on the correspondng mass. For the covarant dvergences of tensors (3.11) and (3.13) t can be seen that ( ) T (vol) k = g lm l m ϕ + ζrϕ + m ϕ k ϕ, (3.14) [ T (1) k = ϕ 1 ( k g lm l m ϕ + ζrϕ + m ϕ). (3.15) ϕ From formula (3.10) t follows that the surface term n the varaton of the bulk acton contans the dervatves of the varaton for the metrc. In next subsecton we wll see that these terms are cancelled by the terms comng from the varaton of surface acton (.4). 3. Varaton of the surface acton and the surface energy-momentum tensor Now we turn to the evaluaton of the varaton for surface acton (.4) nduced by the varaton of the metrc tensor. Ths varaton can be wrtten n the form δ g S s = ǫ d D x [ h ζϕ δ g K + 1 ( h δg ζϕ K + m s ϕ ). (3.16) Frst of all we note that for the varaton of the extrnsc curvature tensor trace one has δ g K = δ g (g n k ) = δg n k + g δn k n l g δγ l. (3.17)

7 7 By makng use formulae δn = 1 ǫn n k n l δg kl, n k = K + ǫn n l l n k, (3.18) and formula (3.3) for the contracted varaton of the Chrstoffel symbol, t can be seen that δ g K = K δg + ǫ Kn n k δg + n h kl ( 1 δg kl k δg l ). (3.19) Substtutng ths relaton nto formula (3.16), for the varaton of the surface acton one fnds δ g S s = ǫζ d D x [ ( h ϕ δg K + 1 Kh + ǫ Kn n k + m ) s ζ h ( ) 1 +n h kl δg kl k δg l. (3.0) By takng nto account that n Eq. (3.10) we can replace n l m (δg lm ) g km n (δg km ) = g km n l [ l (δg km ) m (δg lk ), (3.1) and usng formulae (3.10) and (3.0), for the varaton of the total acton one fnds δ g S = 1 d D+1 x g δg T (vol) + ǫ d D x { h δg [ ζn k ϕ + h m s ϕ } + ζg n l l ϕ ζϕ (K Kh ǫn n k K) + ζϕ n h lm l (δg m ). (3.) Let us consder the last term n the fgure braces on the rght whch s the only term contanng the dervatves of the metrc tensor varaton on the boundary. To transform ths term, we wrte t n the form n h lm l (δg m ) = l (n h lm δg m ) δg m l (n h lm ). (3.3) To proceed further we note that for an arbtrary vector feld V l one has l V l = D l V l + ǫn n l V l = D l V l + ǫn (n l V l ) ǫn V l n l, (3.4) wth D l beng the covarant dervatve projected onto. Ths allows us to wrte the frst term on the rght of Eq. (3.3) n the form l (n h lm δg m ) = D l (n h lm δg m ) ǫn n k h lm δg km n l, (3.5) where we have taken nto account that n l h lm = 0. Now usng the second formula n Eq. (3.18), one fnds ) n h lm l (δg m ) = D l (n h lm δg m ) δg (K ǫn n k K. (3.6) Substtutng ths nto formula (3.), we receve to the fnal expresson for the varaton of the total acton δ g S = 1 d D+1 x g δg T (vol) + ǫ d D x { h δg [ h m s ϕ } + ζh n l l ϕ ζϕ (K Kh ) + ζd l (ϕ n h lm δg m ). (3.7) An mportant feature of ths form s that the dervatves of the metrc tensor varaton are contaned n the form of a total dvergence on the boundary (the last total dvergence term n the fgure braces). To see the relaton between ths total dvergence term and the varaton of

8 8 the corner term (.7) n the acton, note that usng formula (3.18) for the varaton δn, t can be seen that h lm n δg m = h l k δnk. Wth ths replacement, decomposng the ntegral wth the total dvergence term nto ntegrals over s, 1, and usng the Stoke s theorem, we can see that ǫ d D x h D l (ϕ n h lm δg m ) = 1 d D 1 x σ ϕ (ũ k δn k + ñ k δu k ) 1 = 1 d D 1 x σ ϕ δ arcsnh(η). (3.8) In obtanng the second equalty we have used relatons (.1) (for smlar calculatons n general relatvty see, for nstance, [16). Now we see that the total dvergence term s cancelled by the correspondng term comng from the varaton of the corner part of the acton, Eq. (.7). Now we return to the varaton gven by Eq. (3.7). Usng the Stoke s theorem, we can transform the ntegral wth the total dvergence term nto the ntegrals over (D 1)-surfaces 1 and. We consder varatons for whch the metrc s held fxed on the ntal and fnal spacele hypersurfaces 1 and and, hence, on 1 and. Consequently, for the class of metrc varatons δg wth δg j = 0, j = 1,, the varaton of the acton takes the form δ g S = 1 where we have ntroduced a notaton d D+1 x g δg T (vol) + 1 s d D x h δg τ, (3.9) τ = ζϕ K h (ζϕ K + ζn l l ϕ + m s ϕ ), (3.30) and have taken nto account that ǫ = 1 for the tmele hypersurface s. Usng the defnton of the metrc energy-momentum tensor as the functonal dervatve of the acton wth respect to the metrc, one fnds T = δs (vol) = T g δg + T (surf). (3.31) Here the part of the energy-momentum tensor located on the surface s defned by relaton T (surf) = δ(x; s )τ, (3.3) and the one-sded δ-functon δ(x; s ) s defned as d D+1 x g δ(x; s ) = d D x h. (3.33) s An mportant property of the surface energy-momentum tensor s that t s orthogonal to the normal vector feld n : n T (surf) = 0, (3.34) whch drectly follows from the expresson for the tensor τ. Another mportant pont s that, the surface energy-momentum tensor does not depend on the folaton of spacetme nto spacele hypersurfaces. Usng expressons (3.11) and (3.3) for the volume and surface energy-momentum tensors and the Gauss-Codacc equaton the followng relaton can be derved ( ) D k τm k n kh m T (vol)k = h m h l k lτ k n k T (vol)k = h m h l m l K = h mh kl l K + h mn k R, (3.35) ( ) ζϕk + m s ϕ + n l l ϕ ϕ (3.36)

9 9 on the boundary s. Note that n all relatons obtaned so far we have not used the feld equaton for ϕ(x). Now we turn to ths equaton and correspondng boundary condton for the feld followng from the extremalty of the acton wth respect to varatons n the scalar feld. The varaton of acton (.) nduced by an nfntesmal varaton δϕ n the feld has the form δ ϕ S = ǫ d D+1 x [ g δϕ g lm l m ϕ + m ϕ + ζrϕ d D x ( ) h δϕ ζϕk + n l l ϕ + m s ϕ. (3.37) For the varatons wth δϕ = 0 on the ntal and fnal hypersurfaces 1 and, ths leads to the followng feld equaton on the bulk and to the boundary condton of Robn type, g lm l m ϕ + m ϕ + ζrϕ = 0, (3.38) (ζk + m s )ϕ + n l l ϕ = 0, (3.39) on the hypersurface s. Note that the Drchlet boundary condton s obtaned from here n the lmt m s. From relaton (3.1) for the tensors T (vol) and T (1) we see that on the class of solutons to feld equaton (3.38) these tensors concde: T (vol) = T (1) (1). An advantage of the form T n calculatons of the vacuum expectaton values of the energy densty n the correspondng quantum theory s that t s suffcent to evaluate only two quanttes, 0 ϕ (x) 0 and 0 ( 0 ϕ) 0. In the case of T (vol), due to the second term on the rght of Eq. (3.11), we need the vacuum expectaton values for all dervatves 0 l ϕ m ϕ 0. In fact, ths s the reason for our choce of the form T (1) n nvestgatons of the Casmr denstes for varous types of geometres. Note that, usng boundary condton (3.39), the surface energy-momentum tensor can be also wrtten n the form [ ( T (surf) = δ(x; s ) ζϕ K ζ 1 ) h ϕn l l ϕ. (3.40) The surface energy-momentum tensor n ths form does not explctly depend on the parameter m s. From relatons (3.14) and (3.36), by makng use feld equaton (3.38) and boundary condton (3.39), we see that on the solutons of the feld equaton the volume energy-momentum tensor covarantly conserves, T (vol) k = 0, (3.41) and for the surface energy-momentum tensor one has D τ k = n lh k T (vol)l. (3.4) The last equaton expresses the local conservaton of the boundary energy-momentum tensor up to the flow of the energy-momentum across the boundary nto. Integral consequences from formulae (3.41) and (3.4) we wll consder n Sec. 4. The traces for the volume and surface energy-momentum tensors are easly obtaned from (3.13) and (3.40): T (vol) = D(ζ ζ c )g lm l m ϕ + m ϕ, (3.43) [ T (surf) = δ(x; s ) D(ζ ζ c )n l l ϕ + m s ϕ, (3.44)

10 10 where ζ c = (D 1)/4D s the curvature couplng parameter for a conformally coupled scalar feld. Hence, for a conformally coupled massless scalar wth m s = 0 both these traces vansh. The latter property also drectly follows from the conformal propertes of the acton (.). Indeed, t can be seen that under conformal transformatons of the metrc ḡ = Ω (x)g and the correspondng transformaton of the feld ϕ = Ω (1 D)/ ϕ, acton (.) wth m = m s = 0, transforms as S[ḡ, ϕ = S[g,ϕ + D(ζ ζ c ) d D+1 x [ g ϕ ϕ ln Ω D 1 ϕ ln Ω ln Ω (3.45) and, hence, s conformally nvarant n the case ζ = ζ c. In order to obtan (3.45) we have used the standard transformaton formula for the Rcc scalar and the correspondng formula for the extrnsc curvature tensor: K = ΩK + h n l l Ω. (3.46) From the conformal nvarance of the acton t follows that boundary condton (3.39) s also conformally nvarant when m s = 0 and ζ = ζ c. In ths case t concdes wth the conformally nvarant Hawkng boundary condton [40. Ths s also drectly seen from the relaton ζ K ϕ + n l l ϕ = Ω D+1 [ ζkϕ + n l l ϕ + D(ζ ζ c )ϕn l l ln Ω,, (3.47) where n l = Ω 1 n l. Note that for general m s, under the conformal transformatons the surface energy-momentum tensor transforms as T (surf)k [ ϕ(x) = δ(x; s ) τ k [ ϕ(x) { = Ω D 1 T (surf)k [ϕ(x) D(ζ ζ c )δ(x; s )h k ϕ n l l ln Ω }, (3.48) where δ(x; s ) = Ω 1 δ(x; s ). For ζ = ζ c ths transformaton formula s the same as for the volume part of a conformally coupled massless scalar feld. As an example let us consder the specal case of a statc manfold wth statc boundary s. In an approprately chosen coordnate frame one has g 0β = 0 and the components g 00, g βρ, β,ρ = 1,,...,D, do not depend on the tme coordnate. Takng nto account that n statc coordnates n 0 = 0, for the 00-component of the extrnsc curvature tensor we fnd K 00 = 1 nβ β g 00. Substtutng ths nto Eq. (3.40), for the surface energy densty we obtan the expresson [ T (surf)0 0 = δ(x; s ) ( ζ 1 ) ϕn β β ϕ ζϕ n β β (ln g 00 ) [ = ζϕ δ(x; s ) 4ζn β β (ln g 00 ) + (4ζ 1)(K β β + m s/ζ), (3.49) where n the second lne we have used boundary condton (3.39). In the partcular case g 00 = 1 the frst expresson concdes wth the formula of the surface energy densty used n Ref. [40 to cancel the dvergence n the vacuum expectaton value of the local energy densty for a quantzed scalar feld and n Refs. [34, 35, 36 to evaluate the vacuum expectaton values for flat, sphercal and cylndrcal statc boundares on the nkowsk background. Note that n ths case the surface energy vanshes for Drchlet and Neumann boundary condtons. A smple example when the term wth g 00 n Eq. (3.49) gves contrbuton and the formula used n the papers cted above s not applcable, corresponds to an nfnte plane boundary movng wth unform proper acceleraton a 1 n the nkowsk spacetme. Assumng that the boundary s stuated n the rght Rndler wedge, n the accelerated frame t s convenent to ntroduce Rndler coordnates (τ,ξ,x) related to the nkowsk ones (t,x 1,x) by transformatons t = ξ snhτ, x 1 = ξ cosh τ, (3.50)

11 11 and x = (x,...,x D ) denotes the set of coordnates parallel to the boundary. In these coordnates the metrc s statc, admttng the Kllng vector feld / τ and has the form g = dag(ξ, 1,..., 1). (3.51) The boundary s s defned by ξ = a. For the boundary normal and nonzero components of the extrnsc curvature tensor one has n = δ 1, K 00 = ξ, K = 1/ξ. (3.5) Now for the components of the tensor τ k n expresson (3.3) for the surface energy-momentum tensor we fnd τ k = ζ [ a ϕ δ 0 δ0 k + (4ζ 1) (1 + m s a/ζ)δ k,,k = 0,...,D, (3.53) and τ1 1 = 0. As we see from here, now for non-mnmal couplng the surface energy densty does not vansh for Neumann boundary condton (realzed for m s = ζ/a). An applcaton of formula (3.53) wll be gven n Sec Integral conservaton laws Integral conservaton laws are assocated wth the symmetres of the background manfold. These symmetres are descrbed by the Kllng vector η satsfyng the equaton η k + k η = 0. (4.1) By vrtue of the symmetry of the tensor T (vol), from equaton (3.41) one can obtan 1 g ( g T (vol) η k ) = 0. (4.) Integratng ths equaton over the spacetme regon and usng the Stoke s theorem one obtans the relaton P (vol) P (vol) 1 = d D x h n η k T (vol), (4.3) s where P (vol) = d D x γ u η k T (vol) (4.4) s the volume part of the energy-momentum, and u s the future pontng normal vector to the spatal hypersurface. In Eq. (4.4), γ s the determnant for the metrc γ nduced on the surfaces by the spacetme metrc: γ = g u u k. As we see from (4.3), the volume energy-momentum, n general, s not conserved separately. Projectng the Kllng vector onto the boundary we fnd the correspondng vector for the boundary geometry. We wll denote ths vector by the ndex b: η (b) = h k η k. (4.5) The equaton satsfed by ths vector feld s obtaned as the projecton of Eq. (4.1): D η (b) k + D k η (b) = 0. (4.6) In order to construct global quanttes let us wrte equaton (3.4) n the form D k τ = h k n lt (vol)kl. (4.7)

12 1 ultplyng ths equaton by η (b), usng the symmetry propertes of the surface energy-momentum tensor and Eq. (4.6), and notng that from the orthogonalty relaton n τ = 0 one has η (b) τ = η τ, we fnd ( k h η τ ) = h h k η(b) n l T (vol)kl. (4.8) We ntegrate ths relaton over the hypersurface s. After usng the Stoke s theorem for the term on the left and notng that h k η(b) = η (b) k, one receves P (surf) 1 = P (surf) s d D x h n η (b) k T (vol). (4.9) Here we have ntroduced the surface energy-momentum P (surf) = d D 1 x σ η k ũ τ, (4.10) where ũ s the forward pontng unt normal to the boundary n the hypersurface s and has been ntroduced n Sec. 3, σ s the determnant of the metrc (.8) nduced on. Now summng the relatons (4.3) and (4.9), we arrve at the formula P P 1 = d D x h n n k n l η l T (vol). (4.11) s Here P s the total energy-momentum on a hypersurface beng the sum of volume and surface parts: P = P (vol) + P (surf). (4.1) As t follows from (4.11), for any Kllng vector tangent to the hypersurface s, n l η l = 0, the total energy-momentum P s a conserved quantty. The subntegrand on the rght of formula (4.11) can be nterpreted n terms of the normal force actng on the boundary. Ths force s determned by the volume part of the energy-momentum tensor. The total energy-momentum can be also obtaned from the total energy-momentum tensor (3.31) by ntegratng over the hypersurface : P = d D x γ u η k T. (4.13) To see ths, frst note that usng the relatons (see, for nstance, [8) g = N γ, γ = Nλ σ wth the lapse functon N and takng nfntesmaly close 1 and, from Eq. (3.33) we obtan d D x γ δ(x; s ) = d D 1 x σ λ. (4.14) From the orthogonalty relaton n τ = 0 and the second formula n (.1) we have λu τ = ũ τ. (4.15) Hence, by takng nto account (3.3) and (4.15), the ntegral wth the surface energy-momentum tensor gves d D x γ u η k T (surf) = d D 1 x σ λu η k τ = P (surf), (4.16) wth P (surf) defned as n Eq. (4.10). To see how the quanttes P (vol) and P (surf) are related to the correspondng proper denstes (for a smlar dscusson n general relatvty see [6), let us defne the proper energy volume densty ε (vol), proper momentum volume densty p (vol), and spatal stress ρ (vol) on the hypersurface as ε (vol) = u k u l T (vol)kl, p (vol) = γk u lt (vol)kl, ρ (vol) = γl γk m T (vol)lm. (4.17)

13 13 The followng relaton can be easly checked: u l T (vol)l = ε (vol) u + p (vol), (4.18) and, hence, expresson (4.4) for the volume energy-momentum can be wrtten n terms of proper quanttes as P (vol) = d D x γ η k (ε (vol) u k + p (vol)k). (4.19) Smlarly, we can defne the proper energy surface densty ε (surf), proper momentum surface densty p (surf), and spatal stress ρ (surf) on the surface : wth the relaton ε (surf) = ũ k ũ l τ kl, p (surf) = σ kũlτ kl, ρ (surf) = σ l σk mτ lm, (4.0) ũ l τ l = ε (surf) ũ + p (surf). (4.1) The latter allows us to wrte expresson (4.10) for the surface energy-momentum n the form P (surf) = d D 1 x σ η k (ε (surf) ũ k + p (surf)k). (4.) If a Kllng vector feld η = η (0) exsts whch s tmele and has unt length, η (0) η (0) = 1, we can take a folaton wth u = η (0). In ths case η (0) k p(vol)k = 0, and from (4.19) one fnds E (vol) = d D x γ ε (vol), (4.3) whch s the total proper energy on the hypersurface. Smlarly, notng that u k σ k l = 0 and, hence, u k p (surf)k = 0, from (4.) we receve E (surf) = ε (surf) d D 1 x σ, (4.4) 1 v where we have ntroduced the proper radal velocty v by usng the relaton 1 + η = 1/ 1 v (see Sec. ). For a statc boundary one has n l η (0) l = 0 and η = v = 0 and, as t follows from (4.11), the total energy does not depend on the hypersurface and s a conserved quantty. Note that, n general, ths s not the case for volume and surface parts separately. 5 Vacuum expectaton values for the energy-momentum tensor on manfolds wth boundares and the vacuum energy In ths secton we wll consder a quantum scalar feld ϕ(x) on a statc manfold wth boundary s. In a statc coordnate frame, g 0β = 0 and the components g 00, g βρ, β,ρ = 1,...,D, do not depend on the tme coordnate and n 0 = 0 on the boundary s. The quantzaton procedure more or less parallels that n nkowsk spacetme. Let {ϕ α (x),ϕ α(x)} be a complete set of postve and negatve frequency solutons to the feld equaton, obeyng the boundary condton (3.39) on the boundary s. Here α corresponds to a set of quantum numbers, specfyng the egenfunctons. These egenfunctons are orthonormalzed n accordance wth [43 (ϕ α,ϕ α ) = d D x γ u k [ϕ α(x) k ϕ α (x) ϕ α (x) k ϕ α(x) = δ αα, (5.1)

14 14 where the ntegraton goes over a spatal hypersurface of the manfold wth the future pontng normal u k. It can be seen that scalar product (5.1) does not depend on the choce of the hypersurface. Indeed, for the correspondng dfference for two hypersurfaces 1 and, from the feld equaton, by usng the Stoke s theorem, one fnds (ϕ α,ϕ α ) 1 (ϕ α,ϕ α ) = d D x h n k [ϕ α(x) k ϕ α (x) ϕ α (x) k ϕ α(x). (5.) s akng use boundary condton (3.39) for the functons ϕ α (x), we conclude that the ntegral on the rght vanshes. Due to the statcty of the problem the tme dependence of the egenfunctons can be taken n the form e ωαt, wth ω α beng the correspondng egenfrequences. By expandng the feld operator over the egenfunctons ϕ α (x), usng the standard commutaton rules and the defnton of the vacuum state, for the vacuum expectaton values of the energy-momentum tensor one obtans 0 T µν (x) 0 = T µν {ϕ α (x),ϕ α(x)}, (5.3) α where 0 s the ampltude for the correspondng vacuum state, and the blnear form T µν {ϕ,ψ} on the rght s determned by the classcal energy-momentum tensor. The mode-sum on the rght of formula (5.3) s dvergent. Varous regularzaton procedures can be used to make t fnte (cutoff functon, zeta functon regularzaton, dmensonal regularzaton, pont-splttng technque). In the formulae below, t s mplctly assumed that some regularzaton procedure s used and the correspondng relatons take place for regularzed quanttes. To fnd the total vacuum energy on, we need the vacuum expectaton values of the energy densty 0 T For the ponts x / s the latter can be evaluated by the formula 0 T (vol)0 0 0 = α In the statc case we have [ω α + (ζ 1/4)g 00 g lm l m + ζγ β 00 β ζr 00 ϕ α (x)ϕ α(x). (5.4) Γ β 00 = 1 γβρ σ g 00, R 00 = 1 g00 β β g 00, β,ρ = 1,...,D, (5.5) where β s the covarant dervatve operator assocated wth the D-dmensonal spatal metrc γ βρ = g βρ. For the nonzero components of the tmele Kllng vector η (0) and the normal vector u one has η (0)0 = 1, u 0 = 1/ g 00. Substtutng these nto formula (4.4) and by takng nto account relatons (5.5), for the total volume energy one fnds E (vol) = d D x g 0 T (vol)0 0 0 = { ωα + d D 1 x g n β [(ζ 1/4) β ζ( β ln } g 00 ) ϕ α (x)ϕ α(x), (5.6) α where s the boundary of. As we see, the total volume energy, n general, does not concde wth the vacuum energy evaluated as the sum of zero-pont energes for each elementary oscllator. The total surface energy can be found ntegratng the correspondng energy densty from Eq. (3.49): E (surf) = d D x g 0 T (surf)0 0 0 = d D 1 x g n β [(ζ 1/4) β ζ( β ln g 00 ) ϕ α (x)ϕ α (x). (5.7) α

15 15 For the total vacuum energy one obtans E = E (vol) + E (surf) = 1 ω α. (5.8) As we have seen, the surface energy contrbuton s crucal to obtan the equalty between the vacuum energy evaluated as the sum of zero-pont energes of each elementary oscllator, and energy obtaned by the ntegraton of the correspondng energy densty. As an example let us consder vacuum expectaton value of the surface energy-momentum tensor for a massless scalar feld nduced by an nfnte plane boundary movng wth unform proper acceleraton a 1 through the Fullng-Rndler vacuum. The vacuum expectaton value of the volume part of the energy-momentum tensor for ths problem s nvestgated n Refs. [44, 45 (see Ref. [46 for the case of two parallel plates geometry). The correspondng total Casmr energes for a sngle and two plates cases are recently evaluated n Ref. [47 by usng the zeta functon technque. In the consderaton below we wll assume that the plate s stuated n the rght Rndler wedge and wll consder the regon on the rght from the plate (RR regon n termnology of Ref. [45) correspondng to ξ a n the Rndler coordnates (see Sec. 3). The boundary condton (3.39) now takes the form ( A + a ) ϕ = 0, A (ζ + m s a), ξ = a. (5.9) ξ For the regon ξ a a complete set of solutons to the feld equaton that are of postve frequency wth respect to / τ and bounded as ξ s α ϕ α (x) = CK ω (kξ)e x ωτ, α = (ω,k), (5.10) where k = k and K ω (x) s the acdonald functon wth the magnary order. From boundary condton (5.9) we fnd that the possble values for ω have to be roots to the equaton AK ω (ka) + kak ω(ka) = 0, (5.11) where the prme denotes the dfferentaton wth respect to the argument. Ths equaton has nfnte number of real zeros. We wll denote them by ω = ω n = ω n (k), n = 1,,... The coeffcent C n Eq. (5.10) s determned by the normalzaton condton and s equal to C = 1 (π) D 1 Ī ωn (ka) K, (5.1) ω ω (ka) ω=ωn where I ω (x) s the Bessel modfed functon and for a gven functon f(z) we use the notaton f(z) Af(z) + zf (z) (5.13) (not to be confused wth the bared notatons n the conformally transformed frame n Sec. 3). Substtutng the egenfunctons (5.10) nto the mode-sum formula (5.3) wth the surface energy-momentum tensor and ntegratng over the angular part of k, for the correspondng vacuum expectaton value one fnds 0 τl k 0 = ζa D (4π) D 1 Γ ( ) D 1 0 [ δl 0 δk 0 + (4ζ 1) (1 + m s a/ζ)δl k dxx D Ī ωn (x)kω n (x) K, l,k = 0,,...,D, (5.14) ω ω (x) ω=ωn n=1

16 16 wth Γ(x) beng the gamma functon and 0 τ1 1 0 = 0. Expresson (5.14) s dvergent and needs some regularzaton wth the subsequent renormalzaton. One can ntroduce a cutoff functon and then can apply to the sum over n the summaton formula derved n Ref. [45 from the generalzed Abel-Plana formula. An alternatve approach s to nsert n Eq. (5.14) a factor ωn s, to evaluate the resultng expresson n the doman of the complex s plane where t s convergent, and then the result s analytcally contnued to the value s = 0. Ths approach corresponds to the zeta functon regularzaton procedure (see, for nstance, [48, 49 and references theren). The analytc contnuaton over s can be done by the method used n Ref. [47 for the evaluaton of total Casmr energy. The correspondng results wll be reported elsewhere. Note that on the plate ξ = a, energy-momentum tensor (5.14) s of perfect flud type wth the equaton of state ε (surf) = [ 1 + ζ (4ζ 1)(ζ + m s a) P (surf), (5.15) and effectve pressure defned by 0 τ k l 0 = δk l P(surf), l,k =,...,D. For a mnmally coupled scalar feld ths corresponds to a cosmologcal constant nduced on the plate. 6 Surface energy on a sphercal shell As an applcaton of the general prescrpton descrbed n prevous secton, let us consder a sphercal surface wth radus a as the boundary and the nteror regon as the manfold n the case D = 3. As the vacuum expectaton values for the volume part of the energy-momentum tensor and the total Casmr energy n ths problem are well-nvestgated n lterature (see, for nstance, Refs. [8, 50, 51, 35), here we wll concentarte on the surface energy. Now n boundary condton (3.39) one has K = /a, n l = δ1 l and, hence, ( A s + a ) ϕ = 0, A s = 4ζ m s a, r = a. (6.1) r Insde the sphere the complete set of solutons to the feld equaton, regular at the orgn, has the form ϕ α (x) = β α r J ν (λr)y ln (θ,φ)e ωt, l n l, l = 0,1,,..., ν = l + 1, (6.) where λ = ω m, J ν (z) s the Bessel functon, and Y lj (θ,φ) are the sphercal harmoncs. The coeffcent β α can be found from the normalzaton condton and s equal to βα = λt ν(λa), T ν (z) = ωa z (z ν )J ν (z) + z J ν (z). (6.3) From boundary condton (6.1) for egenfunctons (6.) one can see that the possble values for λ have to be solutons to the followng equaton AJ ν (z) + zj ν(z) = 0, z = λa, A = A s 1. (6.4) For real ν > 1 all roots of ths equaton are smple and real, except the case A < ν when there are two purely magnary zeros. In the followng consderaton we wll assume that A 1/ wth all zeros beng real. Let us denote by λ ν,k, k = 1,,..., the zeros of the functon AJ ν (z) + zj ν(z) n the rght half plane, arranged n ascendng order. The correspondng egenfrequences are defned by the relaton ω ν,k = λ ν,k /a + m. Note that for the massless case the exstence

17 17 of purely magnary zeros for Eq. (6.4) would mean that the correspondng quantum state s unstable. Substtutng Eq. (6.) nto Eq. (5.7) and usng the addton formula for the sphercal harmoncs, for the surface energy one obtans E (surf) n = 1 4ζ a λ ν,k A s ν, µ = ma. (6.5) (λ ν,k + A ν ) λ ν,k + µ l=0 k=1 As t stands, the rght hand sde of ths equaton clearly dverges and needs some regularzaton. We regularze t by defnng the functon Z n (s) = νζ (n)ν (s), (6.6) l=0 where the related partal zeta functon s ntroduced: ζ (n)ν (s) = k=1 λ ν,k (λ ν,k + µ ) s λ ν,k + A ν. (6.7) (Here and below we use the subscrpts n and ex to dstngush the quanttes n the nteror and exteror regons.) In accordance wth the zeta functon regularzaton procedure, the surface energy s obtaned by the analytc contnuaton of Z n (s) to the value s = 1/: E (surf) n = 1 4ζ A s Z n (s) a s=1/. (6.8) The startng pont of our consderaton s the representaton of the partal zeta functon (6.7) n an ntegral form. Ths s done n Appendx A by makng use the generalzed Abel-Plana formula (for applcatons of the generalzed Abel-Plana formula see also Refs. [34, 35, 36, 45, 46). The correspondng ntegral representaton for a general case of a massve scalar feld s gven by formula (A.6). Below we wll concentrate on the massless case for whch from (A.6) one has ζ (n)ν (s) = sn πs π 0 dxx 1 si ν(x) Ī ν (x). (6.9) Ths ntegral representaton s vald for 1/ < Re s < 1. For the analytc contnuaton of the ntegral on the rght to s = 1/ we employ the unform asymptotc expansons of the modfed Bessel functons for large values of the order (see, for nstance, Ref. [53). From these expansons one has I ν (νx) Ī ν (νx) t ν k=0 w k (t) ν k, t = x, (6.10) where the coeffcents w k (t) are combnatons of the correspondng coeffcents n the expansons for I ν (νx) and I ν(νx). In our consderaton the frst three coeffcents wll be suffcent: ( ) 1 w 0 (t) = 1, w 1 (t) = A t 1 t3, ( ) ( 3 w (t) = 8 A + A t + A 5 ) t t6. (6.11) Note that the functons w k (t) have the structure w k (t) = k w kj t j+k, (6.1) j=0

18 18 where the coeffcents w kj depend only on A. Followng the usual procedure appled n the analogous calculatons for the total Casmr energy (see, for nstance, Refs. [50, 5, 8), we subtract and add to the ntegrand n Eq. (6.9) N leadng terms of the correspondng asymptotc expanson and exactly ntegrate the asymptotc part. By ths way Eq. (6.9) may be splt nto the followng peces ζ (n)ν (s) = ζ (as) (n)ν(s) + ζ(1) (n)ν(s), (6.13) where ζ (as) (s) = ν(1 s)snπs (n)ν π ζ (1) (n)ν(s) = ν(1 s)snπs π l=0 0 0 dxx 1 s N k=0 dxx 1 s [ I ν (νx) Ī ν (νx) N tw k (t), (6.14) νk+1 k=0 tw k (t) ν k+1. (6.15) The number of terms N n these formulae s determned by the condton of convergence for the expresson l=0 νζ(1) (n)ν(s) at s = 1/. It can be seen that t s suffcent to take N. For larger N the convergence s stronger. Now by takng nto account Eq. (6.1) and the expresson for t, the ntegral n Eq. (6.14) s easly evaluated n terms of gamma functon. For the correspondng sum over l ths gves: Z (as) n (s) = νζ (as) (n)ν (s) = 1 N ( ζ H s + k, 1 ) k Γ ( j + k 1 + s ) w kj Γ(s) Γ ( j + k+1 ), (6.16) j=0 k=0 where we have ntroduced Hurwtz zeta functon ζ H (s,a). In the followng calculatons we wll take the mnmal value N =. The expresson on the rght of Eq. (6.16) has a smple pole at s = 1/ comng from the poles of Hurwtz and gamma functons. Laurent-expandng near ths pole one receves where Z (as) n Z (as) 1 = 1 π Z (as) 0 = 1 π Z(as) 1 (s) = s 1/ + Z(as) 0 + O(s 1/), (6.17) = 1 π ( A 1 3 A ) [ A (γ + 3ln ) + A 3 1 3ln + γ 8 ζ R ( 1) + 10 (1 γ 3ln ) (6.18) ( A +.657A ), (6.19) wth the Euler s constant gamma and Remann zeta functon ζ R (s). As regards to Eq. (6.15), for N t s fnte at s = 1/ (the seres over l converges as 1/l ) and we can drectly put ths value and evaluate the ntegral and sum numercally. Now the expresson for the surface energy contans pole and fnte parts: E (surf) n where for the separate contrbutons one has E (surf) (n)p = 1 4ζ A s Z (as) 1 a s 1/, E(surf) (n)f = E (surf) (n)p + E(surf) (n)f, (6.0) [ = 1 4ζ A s Z (as) 0 + a l=0 νζ (1) (n)ν (1/). (6.1)

19 19 It s well-known that the total vacuum energy nsde a sphercal shell also contans pole and fnte contrbutons [8, 50, 51. In partcular, the asymptotc part of the total Casmr energy nsde a sphercal shell has a structure smlar to Eq. (6.16) and the correspondng pole part comes agan from the poles of Hurwtz and gamma functons. Note that takng nteror and exteror space together, n odd spatal dmensons the pole parts cancel and a fnte result emerges. Now let us see that the smlar stuaton takes place for the surface energy. Consder the scalar vacuum outsde a sphercal shell on whch the feld satsfes boundary condton (6.1). To deal wth dscrete spectrum, we can ntroduce a larger sphere wth radus R, enclosng one of radus a, on whose surface we mpose boundary condtons as well. After the constructon of the correspondng partal zeta functon we take the lmt R (for detals of ths procedure see Ref. [50 n the case of the exteror Casmr energy and Ref. [35 for the correspondng vacuum denstes). As a result for the surface energy n the exteror regon one obtans wth Z ex (s) = E (surf) ex νζ (ex)ν (s), l=0 = 1 4ζ A s Z ex (s) a s=1/, (6.) ζ (ex)ν (s) = sn πs π 0 dxx 1 sk ν(x) K ν (x). (6.3) In dervng Eq. (6.3) we have assumed the condton A < 1/ under whch the subntegrand has no poles on the postve real axs. The correspondng expresson dffers from the nteror one by the replacement I ν K ν. Ths relaton between the nteror and exteror quanttes s well-known for the total Casmr energy and vacuum denstes. Now the analytcal contnuaton needed can be done by the way descrbed above for the nteror case usng the unform asymptotc expansons for the functon K ν (x). The correspondng formulae wll dffer from Eqs. (6.14) (6.16) by replacements I ν K ν and w k (t) ( 1) k+1 w k (t). Now we see that n the sum Z (as) (s) = Z (as) n (s) + Z(as) ex (s), (6.4) the summands wth even k and, hence, the poles terms cancel (recall that the pole terms n the separate nteror and exteror surface energes are contaned n k = 0 and k = terms). oreover, for s = 1/ the term wth k = 1 n the expresson for Z (as) (s) vanshes as well due to ζ H (0,1/) = 0. In partcular, the asymptotc part of the total surface energy vanshes for N =. Takng ths value N and usng the expresson of the functon w 1 (t), for the total surface energy one obtans E (surf) = E (surf) n = 1 4ζ πa A s + E ex (surf) ν l=0 0 dx [ Iν (x) Ī ν (x) + K ( ν(x) K ν (x) 1 x ) x + ν x + ν A, (6.5) where we have changed the ntegraton varable νx x. In Fg. we have plotted the quantty ae (surf) /(1 4ζ) as a functon on the Robn coeffcent A s. Ths functon vanshes at A s 0.37, has a maxmum at A s 0.07 and a local mnmum at A s Concluson On background of manfolds wth boundares the physcal quanttes, n general, wll receve both volume and surface contrbutons and the surface terms play an mportant role n varous branches of physcs. In partcular, surface counterterms ntroduced to renormalze the dvergences n the quaslocal defntons of the energy for the gravtatonal feld and n quantum feld theory wth boundares are of partcular nterest. In the present paper, contnung the

20 Fgure : The total surface energy for a sphercal shell, ae (surf) /(1 4ζ), as a functon on the coeffcent A s n boundary condton (6.1). nvestgatons started n Refs. [34, 35, 36, we argued that already at classcal level there s a contrbuton to the energy-momentum tensor of a scalar feld, located on the boundary. We have consdered general bulk and boundary geometres and an arbtrary value of the curvature couplng parameter for the scalar feld. Our startng pont s the acton (.) wth bulk and surface contrbutons (.3) and (.4) (see also (.7) for the corner term). The surface acton contans the generalzaton of the standard Gbbons-Hawkng surface term for the problem under consderaton, and an addtonal quadratc term. We evaluate the energy-momentum tensor n accordance wth the standard procedure, as the functonal dervatve of the acton wth respect to the metrc. In the varatonal procedure we held fxed the metrc on ntal and fnal spacele hypersurfaces 1 and (see Fg. 1) and allowed varatons on the tmele boundary s. The surface energy-momentum tensor s obtaned as the functonal dervatve wth respect to the varatons of the metrc tensor on s. As the varous surface terms arsng n the varaton procedure are essental for our consderaton, the correspondng calculatons are presented n detal for the bulk and boundary parts of the acton n Sec. 3. The bulk part of the energymomentum tensor has the well-known form (3.11) and the surface energy-momentum tensor s gven by expresson (3.3) wth τ from Eq. (3.30), and the delta functon locates ths part on the boundary s. The surface part of the energy-momentum tensor satsfes orthogonalty relaton (3.34) and does not depend on the folaton of spacetme nto spacele hypersurfaces. Smlar to the metrc varaton, takng the varaton of the acton nduced by an nfntesmal varaton n the feld, we have fxed the feld on the ntal and fnal spacele hypersurfaces 1 and and allowed varatons on the hypersurface s. From the extremalty condton for the acton under the varatons of the feld on s we have receved the boundary condton on s, gven by Eq. (3.39). On the class of solutons to the feld equaton, the volume part of the energymomentum tensor satsfes the standard covarant conservaton equaton (3.41), and for the surface part we have obtaned equaton (3.4) whch descrbes the covarant conservaton of the surface energy-momentum tensor up to the flow of the energy-momentum across the boundary nto the bulk. For a conformally coupled massless scalar feld both volume and surface energymomentum tensors are traceless and the boundary condton for the feld on s concdes wth the conformally nvarant Hawkng boundary condton. Further we have consdered the surface energy densty for a statc manfold wth statc boundary and have shown that the expresson for ths quantty, prevously used n Refs. [40, 34, 35, 36, s obtaned as a specal

21 case wth g 00 = 1. As an example of geometry when the formula used n the papers cted above needs a generalzaton, we consdered a plate movng wth unform proper acceleraton n the nkowsk bulk. In Sec. 4 the ntegral conservaton laws are nvestgated whch follow from the covarant dfferental conservaton equatons (3.41) and (3.4). Under the presence of Kllng vectors the correspondng volume and surface conserved charges are constructed by formulae (4.4) and (4.10). The total energy momentum s obtaned as a sum of these parts. The dfference of the total energy-momentum for two spacele hypersurfaces 1 and s related to the projected onto normal n part of the volume energy-momentum tensor by Eq. (4.11). The subntegrand on the rght of ths formula can be nterpreted n terms of the normal force actng on the constranng boundary. Ths force s determned by the volume part of the energymomentum tensor only. Further, we have shown that the total energy-momentum can be also obtaned by ntegratng the total energy-momentum tensor over a spacele hypersurface. We have expressed the volume and surface energy-momenta n terms of the proper energy volume and surface denstes and proper momentum volume and surface denstes, formulae (4.19) and (4.). A specal case s consdered when a tmele Kllng vector exsts for the bulk metrc. By choosng an approprate folaton we have seen that n ths case the correspondng volume energy-momentum concdes wth the ntegrated volume proper energy. For the general case of the non-orthogonal folaton the ntegrated surface energy s gven by formula (4.4). In the case of an orthogonal folaton, whch corresponds to a statc boundary, the total energy s a conserved quantty. We have emphaszed that, n general, ths s not the case for separate volume and surface parts. In Sec. 5 we have consdered a massve quantum scalar feld on a statc manfold wth statc boundary. By ntegratng the vacuum expectaton values of the energy denstes we have found the volume and surface parts of the vacuum energy. We have shown that () the ntegrated volume energy, n general, dffers from the vacuum energy evaluated as the sum of zero-pont energes for each normal mode and () ths dfference s due to the addtonal contrbuton comng from the surface part of the vacuum energy. These results for the specal cases of flat, sphercal and cylndrcal Robn boundares on the nkowsk bulk have been dscussed prevously n Refs. [34, 35, 36. As an applcaton of general formulae we have derved a formal expresson for the surface energy-momentum tensor nduced on an nfnte plane boundary movng wth unform proper acceleraton through the Fullng-Rndler vacuum. Ths tensor s of barotropc perfect flud type wth the equaton of state (5.15) and n the case of a mnmally coupled scalar corresponds to a cosmologcal constant on the plate. As an applcaton of a general formula for the surface energy-momentum tensor, n Sec. 6 we have evaluated the vacuum expectaton value of the surface energy for a quantum scalar feld for nteror and exteror regons of a sphercal shell. As a regularzaton procedure we have used the zeta functon technque. An ntegral representaton for the related partal zeta functon well suted for the analytc contnuaton s constructed n Appendx A, by usng the generalzed Abel-Plana summaton formula over zeros of a combnaton of the Bessel functon wth dervatves. Subtractng and addng to the ntegrands the leadng terms of the correspondng unform asymptotc expansons, we present the nteror and exteror surface energes as sums of two parts. The frst ones are fnte at s = 1/ and can be easly evaluated numercally. In the second, asymptotc, parts the pole contrbutons are gven explctely n terms Hurwtz and gamma functons. The remaned pole terms are characterstc feature of the zeta functon regularzaton method and have been found for many cases of boundary geometres. For an nfntely thn shell takng nteror and exteror regons together, the pole parts cancel and the total surface energy s fnte and can be drectly evaluated by makng use formula (6.5). The cancellaton of the pole terms comng from oppostely orented faces of nfntely thn smooth boundares takes place n very many stuatons encountered n the lterature. It s a smple consequence of the fact that the second fundamental forms are equal and opposte on the two faces of each boundary and, 1