± n
É Ò Ås ð ' [ Ò ÷ »4 õ u § Ó Þ X ¢ ° Ç{ ¿ ? ¹ Å4
T
A I4 w H ∗
Ø
æ· ¡ ¤ @ / < Æ § Ó ü t o < Æõ , ' õ AÅ Ò 361-763
T
ç ¡ 4 w H
[
j" î ¦1 p x < Æ §, ] j ; 390-230 (2009¸ 5 Z 4 6{ 9 ~ Ã Î6 £ §)
Ï ã
L # Q r / B N ç ß \ " f " é ¶ p ì r í ß [ þ t _ \ P Ù þ (heat kernel) > h\ ¦ ½ ¨ % i . s \ ¦ 0 A # ] X 7 ' (tangent vector) ý a³ ð> \ ¦ 6 x ¦ Æ Ò Ð t 2 £ §U ´(geodesic)` ¦ " f © [ þ t` ¦ ¨ î ' s 1 l x H ~ ½ Ó Z O
` ¦ 6 x % i . Õ ª õ í ß [ þ t s / B N $ í ` ¦ s 6 x l / 'î r g 1 J Ð ³ ð & ³| ¨ c à º e % 3 . ¢ ¸ô Ç 4> í
ß ü < ° ú É r ¦> í ß _ â Ä º\ ¸ & h 6 x 0 p x ô Ç \ P Ù þ > h ~ ½ ÓZ O ` ¦ ] jr % i ¦ # l \ 0 A_ ý a³ ð>
\
¦ 6 x # > í ß ` ¦ é ß í H o % i . s ~ ½ ÓZ O _ 6 £ x6 x Ü ¼ Ð { 9 ì ø Í& h " é ¶ \ " f { 9 ì ø Í& h 2> ¢ ¸ H 4 > í
ß _ \ P Ù þ > h_ % 6 £ § ¿ º ½ Ó` ¦ > í ß % i .
PACS numbers: 03.70.+k, 04.62.+v, 11.10.+z Keywords: \ P Ù þ , " é ¶ í ß , ] X 7 '
I. " e  ] Ø
ª © : r \ " f Õ ª| ½ Ót î ß _ î r1 l x ½ Ó(kinetic term)\ " f
^
¦ Ã º e H p ì r í ß H # Q ¸ Ð × æ כ ¹ô Ç _ p \ ¦
. 1 Õ ª í ß _ % i í ß H Ð ª © _
(propagator) ) a . ¢ ¸ô Ç ª © : r \ " f 1 [ O 1 l x : r
\
K { © H ô Ç ¦o (one-loop) ´ òõ 6 x | ¾ Ó É r Õ ª p ì r í
ß _ \ P Ù þ (heat kernel)Ü ¼ Ð ³ ð & ³| ¨ c à º e . 2 ´ òõ 6 x
|
¾ Ó_ ü @µ 1 Ïí ß ½ Ó[ þ t É r \ P Ù þ _ > h ½ Ó[ þ t` ¦ ½ ¨ < ÊÜ ¼ Ð
&
ñ ½ + É Ã º e . ¢ ¸ô Ç s ½ Ó[ þ t É r # Qt © s : r \ " f s
© ½ Ó(anomaly)[ þ t s à º < Æ\ " f H p ì r í ß _ t ³ ðs
: r(index theorem) õ ' aº s e H כ s · ú 94 R e .
s
> h ½ Ó[ þ t` ¦ > í ß H ¼ # o ô Ç ~ ½ ÓZ O É r DeWitt _ ~ ½ Ó Z O
` ¦ 6 x H כ s [1]. > h ½ Ó[ þ t \ @ /ô Ç DeWitt _
[ O (ansatz)` ¦ 6 x ¦ # l \ î r1 l x ~ ½ Ó& ñ d \ " f % 3 # Q t
H > h ½ Ó[ þ t ç ß _ ' a > d ` ¦ 6 x # s ½ Ó[ þ t` ¦ > í ß
½
+ É Ã º e H כ s . Õ ª Q s ~ ½ ÓZ O É r 2 > " é ¶ p ì r í ß
_ â Ä º\ ë ß 6 x ½ + É Ã º e . # Q © s : r \ 1 p x © H 4 > s © _ ¦> í ß _ â Ä º\ ¸ & h 6 x ½ + É Ã º e ¸2 ¤
∗
E-mail: [email protected]
1
# l " f H p ì r í ß [ þ t s ü @Â Ò_ C â © ` ¦ í < Ê ¦ e H â Ä º ¸
¦ 9ô Ç .
2
ô Ç ¦o ´ òõ 6 x | ¾ Ó` ¦ \ P Ù þ Ü ¼ Ð ³ ð & ³ H כ É r Õ ª í ß " é ¶
&
h (elliptic){ 9 0 p x . " f ` Ø Ôp : r © _ â Ä º\ H í
ß H 1 > í ß Ð " é ¶& h s m . s â Ä º\ H s í ß \ ¦ Y L
# 2> í ß \ ¦ ë ß × ¼ H ~ ½ ÓZ O ` ¦ 6 x ô Ç .
{ 9
ì ø Í o÷ &# Q ½ + É כ s . ¦> í ß 2> í ß _ Y L Ü
¼ Ð æ ¼# t H â Ä º # 3 < ÊÃ º' § > =d _ Y L! l r $ í | 9 ` ¦ 6 x
# > h ½ Ó[ þ t` ¦ ½ ¨ H ~ ½ ÓZ O s 6 x ÷ &l ¸ % i [2].
Õ
ª Q s Qô Ç ~ ½ ÓZ O Ü ¼ Ð H & h ì r Ê ê\ \ O # Qt H ½ Ó[ þ t É r
½
¨½ + É Ã º \ O > ) a .
: r 7 Hë H _ $ × æ _ ô Ç " î É r \ { 9 ì ø Í& h ¦> í
ß \ ¸ & h 6 x ½ + É Ã º e H \ P Ù þ > h ~ ½ ÓZ O ` ¦ ] jr % i % 3
¦ s \ ¦ 6 x # 4 " é ¶ \ " f { 9 ì ø Í& h 4> í ß _ % 6
£
§ ¿ º> h_ > h ½ Ó[ þ t` ¦ ¢ - a y > í ß ô Ç e [3]. # l
" f 6 x ) a ] X 7 ' ý a³ ð> H \ P Ù þ > h ü @_ É r 6 x
¸ Ð ¸ 6 x ½ + É Ã º e H Ä »6 x ô Ç ý a³ ð> Ð" f : r ½ ¨\ " f
H _ ½ ¨ü < H É r ~ ½ ÓZ O Ü ¼ Ð ] X 7 ' ý a³ ð> \ ¦ ¸ { 9
¦ s \ % 3 # Q õ \ ¦ { 9 ì ø Í& h " é ¶ n Ü ¼ Ð S X
© # ] jr ¦ ô Ç .
é
ß t ] X 7 ' ý a³ ðë ß ` ¦ 6 x H כ s m t 2 £ § U
´(geodesic)` ¦ © [ þ t` ¦ ¨ î ' s 1 l x H כ ` ¦ # î '
H X < s õ p ì r í ß [ þ t É r / B N & h : £ ¤$ í ` ¦ r / B N ç
ß ý a³ ð x_ < Êà ºü < ] X 7 ' [ þ t ¢ ¸ H ] X 7 ' \ @ /ô Ç p
ì r í ß [ þ t _ é ß ½ Ód ` ¦ Y L ô Ç + þ AI _ ½ Ó[ þ t _ ½ + ËÜ ¼ Ð ³ ð
&
³ ) a . s ] j í ß [ þ t É r ] X 7 ' ý a³ ð\ @ /ô Ç p ì r í
ß Ð ^ ¦ Ã º e ¦ x H Ã º\ ¦ ° ú H / B N & h < ÊÃ º[ þ t É r
© à ºü < ° ú s 2 [/ å L ) a . í ß \ ¦ s X O > ³ ð & ³ \ P Ù þ
> h ½ Ó` ¦ ½ ¨ H X < / B N $ í s ½ Ó © Ä »t ÷ & ¦ > í ß s é ß í
H # t > ) a .
-654-
II. ò i @# aà Ã Å « m; c" e8 ý ° Ç{ ¿ ?
$ ç ß é ß y \ P Ù þ (heat kernel)\ @ /K 4 ¤_ þ v` ¦ # Ð l
Ð . / B N p ì r í ß (covariant derivative) ∇ µ ü <
C
â © (background field) [ þ t Ð ³ ð & ³ ) a " é ¶ p ì r í ß
\
¦ M s ¦ . # l " f H r / B N ç ß ` ¦ n " é ¶` ¦ ° ú H o ë
ß ª ^ ¦ ¦ (+, · · · , +)_ Â Ò ñ\ ¦ ° ú H B jà Ôa Ë : J $
" f g µν (x)\ ¦ 6 x ô Ç . / B N p ì r í ß ∇ µ É r ∇ µ =
∂ ν − iA µ + Γ µ õ ° ú s j þ t à º e . # l " f A µ ≡ A a µ T a H Yang-Mills © ` ¦ Ø Ôv ¦ Γ µ H r / B N ç ß J $ " f Û ¼x -
\
6 x H o ë ß s 6 £ §(connection) s . \ V\ ¦ [ þ t # Q 2> ü
< 4> _ " é ¶ í ß H { 9 ì ø Í& h Ü ¼ Ð 6 £ § õ ° ú s æ ¼# | 9 Ã
º e .
−∇ 2 − B µ ∇ µ − C, (1) (∇ 2 ) 2 + B µνλ ∇ µ ∇ ν ∇ λ + C µν ∇ µ ∇ ν + D µ ∇ µ . (2)
#
l " f B µ , B µνλ , C µν , D µ , Õ ªo ¦ E H e _ _ J $ " f ¢ ¸
H Û ¼º ú © s .
Å
Ò# Q " é ¶ í ß M\ @ /K \ P Ù þ É r 6 £ § _ d Ü ¼ Ð
&
ñ _ ) a .
hx 0 τ |xi ≡ hx 0 | e −τ M |xi (3) d
(1)õ ° ú É r 2 > í ß \ @ /K " f H DeWitt [1] \ _
6 £ § õ ° ú É r > h 0 p x .
hx 0 τ |xi = 1
τ n/2 e −
σ(x0 ,x)2τ(4)
× a 0 (x 0 , x) + a 1 (x 0 , x)τ + a 2 (x 0 , x)τ 2 + · · · ,
#
l " f σ(x 0 , x) H s Û ¼º ú (biscalar) Ð x\ " f x 0 t _
þ jé ß o (geodesic distance) ] jY L _ ì ø Ís ¦, a 0 , a 1 1 p x
É r x 0 ü < x_ < ÊÃ º Ð x 0 = x \ " f ½ ©g Ë :& h (regular)s . s
>
à º[ þ t É r × æ§ 4 J $ " f g µν , > s t © A µ Õ ªo ¦ Õ ª ü @_
É
r C â © [ þ t Ð ³ ð & ³÷ &# Q .
d
(2)ü < ° ú É r ¦> í ß _ â Ä º\ H 0 Aü < ° ú É r > h
Ô ¦ 0 p x . @ / \ x 0 = x â Ä º\ H q 5 p w ô Ç > h
0 p x [3].
hxτ |xi = 1 τ n/d
a 0 (x) + a 1 (x)τ 2/d + a 2 (x)τ 4/d + · · · , (5)
#
l " f d H í ß M_ Ã º(order)\ ¦ ? / H X < ª _
à º° ú כ` ¦ .
0
A\ Ð hx 0 | e −τ M |xi ü < ° ú É r ³ ð & ³s e H X < Ï ã L # Q /
B
N ç ß \ " f_ s _ & ñ _ # Qb G> ÷ & H t · ú Ð . ¿ º 1
l
x < ÊÃ º Ψü < Φ ç ß _ ? /& h É r 6 £ § õ ° ú s & ñ _ ) a .
(Ψ, Φ) ≡ hΨ|Φi =
Z d n x
pg(x) Ψ † (x)Φ(x), (6)
#
l " f g(x) = det g µν (x) s . 3 0 Au ¦Ä » 7 ' |xi H A
ü < ° ú s ½ © o÷ &# Q e .
hx 0 |xi = δ(x 0 − x) p
g(x), (7) x ü @\ ? /Â Ò Ä » ¸\ @ /ô Ç oÛ ¼ a ¸ " î r ô Ç
hx 0 a 0 |xai = δ(x 0 − x)δ a,a
0p g(x) (8) s
. # l " f H D ¥1 l x ÷ & H â Ä º\ ¦ ] jü @ ¦ H s ³ ðl \ ¦ Ò q
t| Ä Ìô Ç . ¢ ¸ô Ç d (6)\ " f 6 £ § _ ' a > d ` ¦ Ð{ 9 Ã º e
.
Φ(x) = hx|Φi (9)
¢
¸ô Ç |xi ¢ - a > \ ¦ s ê r H z ´\ " f 1 =
Z d n x
pg(x) |xi hx| (10) e
` ¦ Ð{ 9 Ã º e . ¢ ¸ô Ç p ì r í ß ∂ µ \ @ /K " f H hx 0 | ∂ µ |xi = ∂ µ 0 hx 0 |xi (11)
$ í w n ô Ç .
s
] j D h Ðî r ý a³ ð> ˜ x\ ¦ 6 x ô Ç # Qb G> ÷ & H t
¶ ú
( R Ð . s M :_ B jà Ôa Ë :J $ " f ˜g µν (˜ x) H ˜ g µν (˜ x)d˜ x µ d˜ x ν = g µν (˜ x)dx µ dx ν \ _ K & ñ ÷ & ¦
d n x
pg(x) = d n x ˜
p˜g(˜ x) (12)
) a . D h Ðî r ý a³ ð> \ " f 1 l x < ÊÃ º ˜ Ψ(˜ x) H " é ¶ A _ 1
l
x < ÊÃ º Ψ(x)ü < 6 £ § _ ' a > d ` ¦ ë ß 7 á ¤ ô Ç .
Ψ a (x) = ˜ Ψ a (˜ x) (13)
III. ç g Ë{ ET Ò Þù p § ¤ m X ¢ ± n É Ò Ås ð ' [ Ò ÷ »4
s
] j ] X ý a³ ð> \ @ /K ¦ 9K Ðl Ð .
$
r / B N ç ß _ l ï r& h x\ ¦ × þ ô Ç . r / B N ç ß _ É r & h x 0 H & h x\ " f_ ] X 7 ' X µ \ " f Ò' & ñ | ¨ c à º e
`
¦ כ s . 7 £ ¤ & h x \ " f ] X 7 ' X µ ~ ½ Ó ¾ ÓÜ ¼ Ð U ´ s
pX µ X ν g µν (x) t 2 £ §U ´` ¦ Õ ªo ì ø Í@ /¼ # = å Q& h s
x 0 ÷ &> H כ s . s Qô Ç ý a³ ð> \ ¦ ³ ðï r o
³
ð(normal coordinate system) ¦ ¸ Â Ò É r . x 0 õ X µ ü <
3
# l " f Ψ 1 p x s r / B N ç ß J $ " f â Ä º\ H ¿ º J $ " f ç ß \ B jà Ôa Ë : J $ " f
\
¦ Y L K s ? /& h ` ¦ & ñ _ ô Ç . Õ ª Q s â Ä º\ ¸ n-bein e
mµ` ¦ 6
x # r / B N ç ß oÛ ¼ µ 1 p x` ¦ Lorentz oÛ ¼ m 1 p x Ü ¼ Ð 7 u d
(6)_ & ñ _ ë ß t ¦ ¸ Ø æì r .
_
' a > H / B I & ñ _ ½ + É s Û ¼º ú σ(x 0 , x) Ð ¸ ú è qà º e
. s Û ¼º ú σ(x 0 , x) H Ð x\ " f x 0 t _ þ jé ß
o (geodesic distance) _ ] jY L _ ì ø ÍÜ ¼ Ð & ñ _ ÷ & ¦ x 0 õ X µ ü <_ ' a > H 6 £ § d Ü ¼ Ð Å Ò# Q .
X µ = −∇ µ σ(x 0 , x) = − ∂
∂x µ σ(x 0 , x). (14) σ(x 0 , x) H Hamilton-Jacobi ~ ½ Ó& ñ d
X µ X µ = 2σ (15)
\
¦ ë ß 7 á ¤ r . ¢ ¸ô Ç lim x
0→x ∇ µ ∇ ν σ(x 0 , x) = g µν (x) s
.
] X
7 ' ý a³ ð> \ " f H { 9 ì ø Í& h & h x 0 @ / \ X µ \ ¦
6 x ô Ç . p ì r í ß M ¸ X\ ¦ 6 x # r æ ¼# 4
R ô Ç . s \ $ l ï r& h x\ " f & h x 0 t _ t 2 £ § U
´` ¦ " f ¨ î ' s 1 l x(parallel transportation)` ¦ # Ð
. s M :_ ¨ î ' s 1 l x ' § > =(matrix) I(x 0 , x) H 6 £ § _ d
`
¦ ë ß 7 á ¤ ô Ç .
X µ 0 ∇ 0µ I(x 0 , x) = 0 = X µ I(x 0 , x) ← −
∇ µ
I(x, x) = 1, I(x 00 , x 0 )I(x 0 , x) = I(x 00 , x). (16)
#
l " f X µ 0 =∇ 0 µ σ(x 0 , x) = ∂x ∂
0µσ(x 0 , x) s ¦ I(x 0 , x) ← −
∇ µ =
∂
∂x
µI(x 0 , x) − I(x 0 , x)(−iA µ + Γ µ )\ ¦ _ p ô Ç . ¢ ¸ô Ç 0 A\
"
f [ j & h x, x 0 Õ ªo ¦ x 00 H ° ú É r t 2 £ §U ´ © \ e # Q ô Ç
.
p
ì r í ß M É r / B N p ì r í ß ∇ µ ü < C â © (background field) φ Ð ³ ð & ³÷ &# Q M(∇ 0 , φ(x 0 )) ü < ° ú s
è q à º e . s ] j ¨ î ' s 1 l x ' § > =` ¦ 6 x # D h Ðî r í
ß M\ ¦ 6 £ § õ ° ú s & ñ _ .
M ≡ I(x, x 0 )M (∇ 0 , φ 0 )I(x 0 , x) = M (∇, φ). (17)
#
l " f ∇=I(x, x 0 ) ∇ 0 I(x 0 , x) s ¦ φ=I(x, x 0 ) φ 0 I(x 0 , x) s
. 7 á § 8 ½ ¨^ & h ³ ð & ³ É r / B I Ð# × ¦ כ s . s \ ¦ 0 A K
" f H A _ d ` ¦ ë ß 7 á ¤ H É r s J $ " f(bi-tensor) g µν (x 0 , x)\ ¦ ¸{ 9 # ô Ç .
X µ 0 ∇ 0µ g αβ (x 0 , x) = 0 = X µ ∇ µ g αβ (x 0 , x), g µν (x, x) = g µν (x), g µν (x 0 , x) = g νµ (x, x 0 ) g µν (x 00 , x 0 )g ν λ (x 0 , x) = g µλ (x 00 , x). (18)
#
l " f ¸ [ j & h x, x 0 Õ ªo ¦ x 00 H ° ú É r t 2 £ §U ´ © \ e # Q
ô Ç . g µν (x 0 , x) \ " f ' Í P : oÛ ¼ µ H ' Í P : ý a³ ð x 0 \ 5 Å q ¦ ¿ º P : oÛ ¼ ν H ¿ º P : ý a³ ð x\ 5 Å q ô Ç .
" f / B N p ì r` ¦ ½ + É M :\ H o ë ß s 6 £ § É r K { © ÷ & H
oÛ ¼\ ë ß 6 x ô Ç . ª A á ¤ = å Q& h \ " f B jà Ôa Ë : J $ " f\ ¦ Y L
#
oÛ ¼\ ¦ ` ¦ o ¦ ? /w n = Ã º e . \ V\ ¦ [ þ t g µ ν (x 0 , x) = g µλ (x 0 )g λν (x 0 , x) s .
M _ ³ ð & ³` ¦ % 3 H X < g µν (x 0 , x)\ ¦ 6 x ô Ç . \ V\ ¦ [ þ t # Q d
(1)_ ô Ç ½ Ó B µ 0 ∇ 0µ \ @ /K Ò q ty # Ð .
I(x, x 0 ) B µ 0 ∇ 0µ I(x 0 , x)
= I(x, x 0 )B µ 0 I(x 0 , x)I(x, x 0 )∇ 0µ I(x 0 , x)
= g µ ν (x, x 0 )I(x, x 0 )B ν 0 I(x 0 , x) g µ λ (x, x 0 )I(x, x 0 )∇ 0λ I(x 0 , x)
= B µ ∇ µ . (19)
#
l " f ∇ µ = g µ λ (x, x 0 )I(x, x 0 )(∇ 0λ )I(x 0 , x) s ¦ B µ = g µ ν (x, x 0 )I(x, x 0 )B 0 ν (x 0 )I(x 0 , x) s .
s
] j ý a³ ð x 0 @ / \ ] X 7 ' X\ ¦ 6 x # í ß
C â © [ þ t` ¦ ¸¿ º xü < X Ð ³ ð & ³ô Ç . $ ∇ µ H 6 £ § õ
° ú s j þ t à º e .
∇ µ = g µν (x, x 0 )
I(x, x 0 )(∇ 0 ν I(x 0 , x))−∇ α ∇ 0 ν σ(x 0 , x) ∂
∂X α
(20) C
â © φ_ â Ä º H 0 A_ \ V\ " f s p ¶ ú ( R : r ü < ° ú .
C
â © φ J $ " f y J $ " f oÛ ¼\ @ /K g µν (x, x 0 )\ ¦ Y
L K ô Ç . \ V\ ¦ [ þ t
φ µ = g µ ν (x, x 0 )I(x, x 0 )φ ν (x 0 )I(x 0 , x). (21)
· ú
¡Ü ¼ Ð H ] X 7 ' X Ð ³ ð & ³ ) a í ß M` ¦ M x Ð
? /l Ð . M x _ & ñ _ ÐÂ Ò' Ä ºo H M x & h x\
@
/K / B N & h e ` ¦ ~ 1 > · ú Ã º e . ¢ ¸ô Ç M x H x \ @ /K
"
f H ² D G è(local) < ÊÃ º Ð" f x\ @ /ô Ç p ì r í ß \ ¦ í < Ê
t · ú § H .
" f M x \ ¦ X µ ü < ∂X ∂
µ Ð > h\ ¦ 6 £ § õ j þ t à º e
` ¦ כ s .
M x = Σ a α···βµ···ν (x)X α···β ∂
∂X µ
· · · ∂
∂X ν
, (22)
#
l " f X α···β ≡ X α · · · X β s ¦ a α···βµ···ν (x) H / B N & h
x_ J $ " f ' § > = < ÊÃ ºs . í ß _ Ã º(order) ds
X\ @ /ô Ç p ì r í ß _ Ã º ¸ d\ ¦ Å t · ú §` ¦ כ s
. Ä ºo H / B I 0 Aü < ° ú É r > h\ ¦ > í ß H ~ ½ ÓZ O ` ¦ è
>
h½ + É כ s . 0 A_ y ½ Ó\ " f / B N < ÊÃ º a α···βµ···ν _ | 9 | ¾ Ó
" é ¶` ¦ Dim(a) Ð ? / ¦, X\ @ /ô Ç Ã º\ ¦ #(X) Ð
∂
∂X
µ\ @ /ô Ç Ã º\ ¦ #(∂) Ð · p d = Dim(a) −
#(X)+#(∂) ) a . ¢ ¸ô Ç s p / å L ô Ç @ / Ð #(∂) ≤ ds
.
d
(22)ü < ° ú É r > h\ ¦ l 0 AK 6 £ § õ ° ú É r í ß
\
¦ & ñ _ # Ð .
D ≡ X µ
∂
∂X µ
x
= X µ
∂x 0ν
∂X µ
∂
∂x 0ν
x
= X 0µ
∂
∂x 0ν
x
= ∇ 0µ σ(x 0 , x)
∂
∂x 0ν
x
. (23)
#
l " f t } × ¦ _ d [ þ t É r X µ 0 X 0µ = 2σ(x 0 , x) _ ª
`
¦ x ν Ð p ì r ¦ ' a > d ∂X
µ
∂x
0νx
= − ∂X
0 ν∂x
µx
0`
¦ 6 x
# 7 £ x" î ½ + É Ã º e . X Ð > h ¦ z · É r < ÊÃ º e ` ¦ M
: # l \ D\ ¦ 6 x r . X_ k ½ Ód \ 6 x r v
¦Ä »u k : r . \ V\ ¦ [ þ t X_ 1 ½ Ód ` ¦
è 9 D − 1` ¦ 6 x ¦ 1-2 ½ Ód ` ¦ è
9 (D − 1)(D − 2)\ ¦ 6 x r . s Qô Ç ~ ½ ÓZ O ` ¦ 6 x
# d (20) î ß _ ½ Ó[ þ t` ¦ X Ð > hô Ç .
ô
Ç \ V Ð g µν (x, x 0 )I(x, x 0 )∇ 0 ν I(x 0 , x)\ ¦ X Ð > h½ + É M : 1 ½ Ó` ¦ ½ ¨ l 0 AK D\ ¦ 6 x r & Ð .
D g µν (x, x 0 )I(x, x 0 )∇ 0 ν I(x 0 , x)
= ∇ 0α σ(x 0 , x) g µν (x, x 0 )I(x, x 0 )∇ 0 α ∇ 0 ν I(x 0 , x)
= ∇ 0α σ(x 0 , x) g µν (x, x 0 )I(x, x 0 )R 0 αν I(x 0 , x)
−∇ 0 ν ∇ 0α σ(x 0 , x) g µν (x, x 0 )I(x, x 0 )∇ 0 α I(x 0 , x)
= 1
2 X α R αν (x) + O(X 2 ) (24)
#
l " f d (16,18)\ ¦ 6 x % i ¦ R αβ ≡ [∇ α , ∇ β ] H /
B
GÒ ¦J $ " f í ß Ð + '\ ¦ Ø Ô H J $ " f\ 6 x ô Ç . ¢ ¸ô Ç
∇ 0 ν ∇ 0α σ(x 0 , x) = g µν + O(X 2 ) $ í | 9 s Å Ò 6 x ) a
. s Qô Ç ~ ½ ÓZ O ` ¦ ÷ &Û ¦ s # & h 6 x # ∇ µ ü < C â © φ µ \ ¦ X µ Ð > h½ + É Ã º e . s õ & ñ \ " f x 0 = x{ 9 M :
∇ µ · · · ∇ ν ∇ 0 α · · · ∇ 0 β σ(x 0 , x) ü < ° ú É r ª [ þ t` ¦ Å Ò > í ß
>
÷ & H X < s \ @ /ô Ç [ jô Ç õ & ñ É r Ò q t| Ä Ìô Ç [1]. X\
@
/ô Ç 4 ½ Ó t _ õ \ ¦ & h # Q Ð 6 £ § õ ° ú .
∇ µ = ∂
∂X µ
+ 1
2 X ν R νµ − 1
6 X νλ R δλµν
∂
∂X δ
+ 1
3 X νδ ∇ δ R νµ − 1
12 X νλβ ∇ β R δλµν
∂
∂X δ
+X νλβ 1
8 ∇ λ ∇ β R νµ + 1
24 R γ νλµ R βγ
− 1
40 X νλβξ ∇ ξ ∇ β R µλδν
∂
∂X δ
+ 7
360 X νλβξ R µλν R ξδβ ∂
∂X δ
+O(X 5 ). (25)
φ µ = φ µ + X ν ∇ ν φ µ + 1
2 X νλ ∇ λ ∇ ν φ µ + 1
6 X νλδ ∇ δ ∇ λ ∇ ν φ µ + 1
24 X νλδξ ∇ ξ ∇ δ ∇ λ ∇ ν φ µ + O(X 5 ). (26)
#
l " f R αβγδ H o ë ß / B GÒ ¦J $ " fs . s õ \ ¦ í ß M \ & h 6 x M x \ ¦ d (22)\ Å Ò# Q + þ AI Ð è q à º e
. # l " f 6 £ §` ¦ 0 AK Y > t & ñ _ \ ¦ # é H . Ricci J $
" f H R αβ = R µ αβµ s ¦ Û ¼º ú / B GÒ ¦ É r R = R µ µ s .
IV. ° Ç{ ¿ ? ¹ Å4
s
] j \ P Ù þ > h\ ¦ 0 Aü < ° ú É r ³ ð & ³` ¦ 6 x # # Qb G>
% 3
` ¦ Ã º e H t ç ß é ß > è> hô Ç . \ P Ù þ ` ¦ 7 ý a³ ð>
\
" f ³ ð & ³ ) a M x \ ¦ 6 x # ? / 6 £ § õ ° ú ` ¦ כ s
. M = I(x 0 , x) M I(x, x 0 ) s Ù ¼ Ð
hx 0 | e −τ M |x 00 i = I(x 0 , x) hx 0 | e −τ M |x 00 i I(x, x 00 )
= I(x 0 , x) hX| e −τ M
x|X 00 i I(x, x 00 ) (27) s
. # l " f x, x 0 Õ ªo ¦ x 00 H ° ú É r t 2 £ §U ´ © \ e ` ¦
9
כ ¹ \ O . ¢ ¸ô Ç X µ 00 = −∇ µ σ(x 00 , x) s . x 00 l ï r& h x ü < ° ú 6 £ § õ ° ú s j þ t à º e ..
hx 0 | e −τ M |xi = I(x 0 , x) hX| e −τ M
x|0i (28)
¢
¸ô Ç # l \ x 0 ¸ xü < ° ú 8¹ ¡ ¤ ç ß é ß > j þ t à º e .
hx| e −τ M |xi = h0| e −τ M
x|0i . (29) r
/ B N ç ß s Ï ã L # Q4 R e t · ú § ¦ ¢ ¸ô Ç C â © s \ O í
ß M x H
M x0 =
−g µν (x) ∂
∂X µ
∂
∂X ν
d/2
. (30)
| ¨ c כ s . z ´ M x \ ¦ d (22)õ ° ú s > h½ + É M : / B N
< ÊÃ º a α···βµ···ν _ | 9 | ¾ Ó " é ¶ Dim(a) s 0 ½ Ós Ð M x0 s .
M x0 _ \ P Ù þ É r ~ 1 > > í ß ½ + É Ã º e .
hX| e −τ M
x|0i = τ −
ndΦ( X 2
2τ
2d), (31)
#
l " f Φ(z) H z = 0 H % \ " f K $ 3 & h < ÊÃ ºs . s \
@
/ô Ç ½ ¨^ & h ³ ð & ³ É r / B I Å Ò# Q| 9 כ s .
s
] j M x _ \ P Ù þ > h\ ¦ > í ß H X < 6 £ § _ ' a > d ` ¦
6 x ô Ç .
hX| e −τ M
x|0i = e −τ M
xe +τ M
x0hX| e −τ M
x0|0i
= τ −
nde −τ m
xΦ( X 2
2τ
2d), (32)
#
l " f í ß m x H e −τ m
x≡ e −τ M
xe +τ M
x0\ " f
&
ñ ) a . m x H Campbell-Hausdorf / B Nd ` ¦ 6 x # > í
ß ½ + É Ã º e H X < s H M x0 ü < M x ç ß _ [ þ v ÷ & H § ¨ 8
(commutator)[ þ t _ ½ + ËÜ ¼ Ð ? /# Q . x 0 = x{ 9 M : _
\ P Ù þ > h H
h0| e −τ M
x|0i = lim
X→0 e −τ m
xΦ X 2 2τ
2d. (33)
\
¦ 6 x # > í ß ½ + É Ã º e .
d
(4)ü < ° ú É r > h H d = 2{ 9 M :ë ß 0 p x H כ ` ¦
Ð{ 9 Ã º e . Õ ª Q x 0 = x â Ä º_ \ P Ù þ > h d (5) H e
_ _ d\ " f @ /K " f ½ Ó © 0 p x . s \ 7 £ x" î É r Ò q t| Ä Ì ô
Ç . @ / \ d (1-2)\ Å Ò# Q í ß [ þ t \ @ /ô Ç a 1 (x) ü <
a 2 (x) _ > í ß õ \ ¦ ] jr ¦ ô Ç .
í ß m x ¸ d (22)õ ° ú É r g 1 J Ð ³ ð & ³ ) a . d (33)` ¦
>
í ß ½ + É M : Å Ò A ü < ° ú É r ³ ð & ³` ¦ ë ß > ) a .
lim
X→0
∂
∂X µ · · · ∂
∂X ν Φ X 2 2
. (34) 0
A\ " f ç ß é ß ô Ç ³ ð & ³` ¦ 0 AK τ =1 Ð % i . < ÊÃ º Φ( X 2
2) H
Φ X 2 2
=
Z d n p
(2π) n e ip
µX
µ−(p
2)
d/2. (35)
Ð Å Ò# Qt H X < s \ ¦ 6 x # lim
X→0
∂
∂X µ
1· · · ∂
∂X µ
2jΦ X 2 2
= 1 C j
(−1) j Γ( n+2j d )
(4π)
n2d 2 Γ( n 2 ) g µ
1···µ
2j, (36) e
` ¦ Ð{ 9 Ã º e . 0 A\ " f C j = 2 j Q j
i=1 ( n 2 + i − 1) s
¦ g µ
1···µ
2j H A ü < ° ú É r F ) & h ' a > d Ü ¼ Ð & ñ _ ÷ &
H J $ " fs .
g µ
1···µ
k=
k
X
j=2
g µ
1µ
jg µ
2···µ
j−1µ
j+1···µ
k. (37)
s
] j \ P Ù þ > h\ ¦ > í ß l 0 Aô Ç ¸ H ï r q ÷ &% 3
. $ K ½ + É { 9 É r Å Ò# Q M \ @ /K M x \ ¦ ½ ¨ H
כ
s . \ V\ ¦ [ þ t # Q Ms d (1)\ Å Ò# Q í ß ü < ° ú
M x = −∇ µ ∇ µ − B µ ∇ µ − C ü < ° ú . # l " f ∇ µ , B µ Õ ªo ¦ C H d (25-26)\ " f & ñ _ ÷ &% 3 . 6 £ § \ H M x \ ¦ d (22)õ ° ú É r ³ ðï r+ þ AÜ ¼ Ð · p . y ½ Ó\ " f a α···βµ···ν (x) _ | 9 | ¾ Ó " é ¶ Dim(a) s ± ú É r í H Ü ¼ Ð & ñ o
¼ # o . ¢ ¸ô Ç a n t _ > h < ÊÃ º\ ¦ > í ß ¦ z ·
Dim(a) ≤ 2n ½ Ó[ þ t ë ß ¦ 9 ) a . 6 £ § \ H Campbell-Hausdorf / B Nd ` ¦ 6 x # m x \ ¦ ½ ¨ ¦ s \ ¦
d
(33)\ V , H . > í ß × æ \ H ½ Ó © Dim > 2n ½ Ó[ þ t É r Á
ºr ô Ç . t À Òô Ç p ì r > í ß s 9 כ ¹ # z ´] j_ > í ß \
"
f H Mathematica \ ¦ 6 x % i .
d
(1) Ð Å Ò# Qt H 2 > í ß _ â Ä º_ õ H 6 £ § õ
° ú .
a 0 (x) = 1 (4π)
n2a 1 (x) = 1
(4π)
n2× [C + 1 6 R − 1
2 ∇ µ B µ − 1 4 B µ B µ ] a 2 (x) = 1
(4π)
n2(h 0 + h 1 ) h 0 = − 1
180 R αδ R αδ + 1
180 R αµγδ R αµγδ + 1 72 R 2 + 1
12 Ω αδ Ω αδ + 1
6 CR + 1
6 ∇ µ ∇ µ C + 1
2 C 2 + 1
30 ∇ 2 R (38) d
(2) Ð Å Ò# Qt H 4 > í ß _ â Ä º\ H õ \ ¦ 6
£
§ õ ° ú s כ ¹ ½ + É Ã º e .
a 0 (x) = Γ( n 4 ) 2(4π)
n2Γ( n 2 ) a 1 (x) = −Γ( n+2 4 )
2(4π)
n2Γ( n 2 )
×[ 1 3 R + 1
n C − 1
2n g µγδα ∇ µ B γδα
− 1
8n(n + 4) g µγδασ B µγδ B ασ ] a 2 (x) = Γ( n 4 )
2(4π)
n2Γ( n 2 ) (h 0 + h 1 ) h 0 = − n − 2
180 R αδ R αδ + n − 2
180 R αµγδ R αµγδ + n − 2 72 R 2 + n − 2
12 Ω αδ Ω αδ − 1
6 C αδ R αδ + 1 12 CR + 1
4(n + 2) C αδ C αδ + n + 4 12(n + 2) ∇ 2 C + 1
8(n + 2) C 2 − E + n − 2 30 ∇ 2 R
− n + 1
3(n + 2) ∇ α ∇ δ C αδ + 1
2 ∇ α D α . (39) d
(39)\ " f C≡C µ µ s . ¢ ¸ô Ç 0 A ¿ º õ d \ " f h 1 É r B µ
¢
¸ H B µνλ \ ¦ í < Ê H ½ Ó[ þ t Ð B Ä º 4 ¤ ¸ ú ¦ U ´# Q" f # l
" f H Ò q t| Ä Ìô Ç . 2> í ß _ â Ä º\ H a 1 õ a 2
^
& h © Ã º\ ¦ ] jü @ ¦ H r / B N ç ß " é ¶ n õ H Á º ' a .
V. + s Ç Â ] Ø
Ï ã
L # Q r / B N ç ß \ " f & ñ _ ) a { 9 ì ø Í& h / B N p ì r í ß
\
¦ ] X 7 ' ý a³ ð> ` ¦ 6 x # ³ ð & ³ ÷ & ¨ î ' s 1 l x` ¦ # î '
H ~ ½ ÓZ O ` ¦ ] jr % i . Õ ª õ / B N p ì r í ß ü <
l
J $ " fC â © [ þ t` ¦ í < Ê H " é ¶ p ì r í ß H / B N
$ í
s ì r" î ô Ç + þ AI Ð r ³ ð & ³÷ &# Q H כ ` ¦ Ð% i .
\ P
Ù þ > h\ ¦ > í ß H X < s ~ ½ ÓZ O ` ¦ 6 x ½ + É Ã º e H X < / B N
$ í É r > í ß ` ¦ B Ä º ç ß é ß > ë ß H . 4> s © _ ¦>
í ß _ \ P Ù þ > h H l > r _ DeWitt_ ~ ½ ÓZ O Ü ¼ Ð H % 3
`
¦ Ã º \ O . " f ] X ý a³ ð> \ ¦ 6 x H כ õ Z > ¸ Ð s
â Ä º\ ¸ & h 6 x ½ + É Ã º e H D h Ðî r ~ ½ ÓZ O ` ¦ ¦î ß % i .
s
ü < ° ú É r ~ ½ ÓZ O [ þ t` ¦ 6 x # { 9 ì ø Í& h " é ¶ n \ " f & ñ _
) a © { 9 ì ø Í& h 2> ü < 4> " é ¶ p ì r í ß _ \ P Ù þ
> h_ % 6 £ § ¿ º ½ Ó` ¦ > í ß # õ \ ¦ ] jr % i .
P
c p 8 ý ò k >
s
7 Hë H É r 2007 < Ƹ ¸ Ø æ· ¡ ¤ @ / < Æ § < ÆÕ ü t ½ ¨t " é ¶ \ O _
½ ¨q t " é ¶ \ _ # ½ ¨÷ &% 3 _ þ v m .
Y
c p w à U Ø ô
[1] B. S. DeWitt, Dynamical Theory of Groups and Fields (Gordan and Breach, New York, 1965); Phys.
Rep. 19C, 295 (1975).
[2] A. O. Barvinsky and G. A. Vilkovisky, Phys. Rep.
119, 1 (1985); and references therein.
[3] Haewon Lee, Pong Youl Park and Hyun Kuk Shin, Phys. Rev. D 35, 2440 (1987).
Heat Kernel Expansions Using Tangent Vector Coordinate Systems
Haewon Lee
Department of Physics, Chungbuk National University, Cheongju 361-763 Sang Won Lee ∗
Semyung High School, Jechun 390-230 (Received 6 May 2009)
The heat kernel expansion of the general elliptic differential operators defined in a curved space- time is investigated. For this, we introduce a method using the tangent vector coordinate system with parallel transport along geodesics. As a result, the new differential operators have better covariance properties. We also propose a method of expanding the heat kernels, the method can be used in higher-order operators like fourth-order operators. As an application of this formalism, we calculate the first few terms of the heat kernel expansion of general second-order operators and general fourth-order operators in a general space-time dimension.
PACS numbers: 03.70.+k, 04.62.+v, 11.10.+z
Keywords: Heat kernel, Elliptic operator, Tangent vector
∗