Tái chuẩn hóa và phép toán r trong điện động lực học lượng tử

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - Phạm Tiến Dự TÁI CHUẨN HÓA VÀ PHÉP TOÁN R TRONG ĐIỆN ĐỘNG LỰC HỌC LƢỢNG TỬ LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội – Năm 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - Phạm Tiến Dự TÁI CHUẨN HĨA VÀ PHÉP TỐN R TRONG ĐIỆN ĐỘNG LỰC HỌC LƢỢNG TỬ Chuyên ngành: Vật lý lý thuyết vật lý toán Mã số: 60440103 LUẬN VĂN THẠC SĨ KHOA HỌC NGƢỜI HƢỚNG DẪN KHOA HỌC: GS.TSKH Nguyễn Xuân Hãn Hà Nội – Năm 2015 LỜI CẢM ƠN Đầu tiên, xin gửi lời cảm ơn chân thành sâu sắc tới thầy giáo, GS.TSKH.Nguyễn Xuân Hãn, ngƣời trực tiếp hƣớng dẫn bảo tận tình cho tơi để tơi hồn thành luận văn này, nhƣ giúp đỡ suốt thời gian học tập trƣờng Tôi xin gửi lời cảm ơn chân thành tới thầy giáo, cô giáo tồn thể cán bộ mơn Vật lý Lý thuyết nói riêng nhƣ khoa Vật lý nói chung, ngƣời ln tận tình dạy bảo, giúp đỡ động viên cho Tôi xin gửi lời cảm ơn tới bạn môn đóng góp, thảo luận trao đổi ý kiến khoa học q báu để tơi hồn thành luận văn Do thời gian kiến thức nhiều hạn chế nên khơng thể tránh khỏi thiếu sót, mong nhận đƣợc bảo, góp ý quý thầy cô bạn Một lần nữa, xin chân thành cảm ơn ! Hà Nội, ngày … tháng … năm 2015 Học viên Phạm Tiến Dự MỤC LỤC MỞ ĐẦU…………………………………………………………… Chƣơng – ĐẠI CƢƠNG VỀ TÁI CHUẨN HÓA……………………… 1.1 S- ma trận……………………………………………………… 1.1.1 Các điều kiện cho S- ma trận……………………………… 1.1.2 Xác định S- ma trận……………………………………… 12 1.2 Quy tắc Feynman giản đồ phân kỳ bậc thấp QED 18 1.2.1 Khai triển S- ma trận dạng N- tích…………………… 18 1.2.2 Quy tác Feynman QED…………………………… 22 1.2.3 Bậc hội tụ giản đồ Feynman………………………24 Chƣơng – TÁCH PHÂN KỲ TRONG GIẢN ĐỒ MỘT VÒNG……… 31 2.1 Giản đồ lƣợng riêng electron  ……………………….31 2.2 Giản đồ phân cực photon……………………………………… 37 2.3 Giản đồ vòng bậc ba……………………………………… 44 2.4 So sánh bốn phƣơng pháp khử phân kỳ…………………………51 Chƣơng – TÁI CHUẨN HÓA VÀ PHÉP TỐN R…………………… 54 3.1 Tái chuẩn hóa……………………………………………………54 3.2 Phép toán R để khử phân kỳ…………………………………….64 KẾT LUẬN…………………………………………………………72 TÀI LIỆU THAM KHẢO………………………………………… 74 PHỤ LỤC………………………………………………………… 76 DANH MỤC BẢNG BIỂU  Bảng 1: Qui tắc Feynman QED………………………………….22  Bảng 2: Các giản đồ phân kỳ bậc thấp QED……………….29  Bảng 3: So sánh phần phân kỳ thu đƣợc phƣơng pháp khử phân kỳ QED…………………………………………………… … 51  Bảng Quy tắc Feynman cho lý thuyết QED tái chuẩn hóa………… 58 DANH MỤC HÌNH VẼ  Hình 1.1 Miền nhân quả………………………………………………………….8  Hình 1.2 : Giản đồ Feynman bậc hai………………………………………….20  Hình 1.3 : Giản đồ Feynman bậc ba………………………………………… 21  Hình 1.4 : Giản đồ vịng photon…………………………………… 21  Hình 1.5 Giản đồ lượng riêng electron………………………… 27  Hình 1.6 Giản đồ lượng riêng photon……………………………27  Hình 1.7 Giản đồ đỉnh bậc 3………………………………………………… 27  Hình 1.8 Quá trình tán xạ ánh sáng – ánh sáng…………………… 27  Hình 2.1: Giản đồ lượng riêng electron………………………… 31  Hình 2.2: Giản đồ phân cực photon……………………………………………38  Hình 2.3: Giản đồ vịng bậc ba……………………………………………44  Hình 3.1: Hàm truyền tồn phần electron.………………………………59  Hình 3.2: Bổ bậc thấp 1PI cho electron…………… 61  Hình 3.3: Bổ bậc thấp cho 1PI photon…………………… 63  Hình 3.4: Bổ bậc thấp cho phần đỉnh…………………… 63  Hình 3.5: Nút suy rộng …………………………………………………………65 Luận văn thạc sĩ Phạm Tiến Dự MỞ ĐẦU Những thành tựu điện động lực học lƣợng tử (Quantum Electrodynamics- QED) dựa sở lý thuyết nhiễu loạn hiệp biến với phƣơng pháp tái chuẩn hóa khối lƣợng điện tích cho phép tính tốn q trình vật lý phù hợp tốt với số liệu thu đƣợc từ thực nghiệm, với độ xác đến bậc theo số tƣơng tác theo lý thuyết nhiễu loạn   e2  4 137 [10] Trong lý thuyết trƣờng tƣơng tác QED lý thuyết đƣợc xây dựng hồn chỉnh Mơ phƣơng pháp tính tốn q trình vật lý QED ngƣời ta xây dựng cơng cụ tính tốn cho Sắc động học lƣợng tử (Quantum Chromodynamics- QCD) – lý thuyết tƣơng tác hạt quarkgluon, tƣơng tác yếu hay lý thuyết thống dạng tƣơng tác – nhƣ lý thuyết điện yếu tƣơng tác mạnh - đƣợc gọi mơ hình chuẩn Việc tính trình vật lý theo lý thuyết nhiễu loạn bậc thấp lý thuyết nhiễu loạn hiệp biến (các giản đồ Feynman, khơng chứa vịng kín ) ta khơng gặp tích phân phân kỳ, nhƣng tính bổ lƣợng tử bậc cao cho kết thu đƣợc, ta gặp phải tích phân phân kỳ vùng xung lƣợng lớn hạt ảo, tƣơng ứng với giản đồ Feynman có vịng kín hạt ảo Các giản đồ diễn tả tương tác hạt với chân không vật lý trƣờng tham gia tƣơng tác quan niệm hạt điểm kích thước khơng tích Việc tách phần hữu hạn phần phân kỳ tích phân phân kỳ phải tiến hành theo cách tính toán nhƣ nào? Phần phân kỳ phần hữu hạn đƣợc Luận văn thạc sĩ Phạm Tiến Dự giải thích vật lý sao? Bỏ phần phân kỳ vào đâu để có kết thu đƣợc cho trình vật lý hữu hạn Lƣu ý, việc loại bỏ phân kỳ lý thuyết trƣờng nhiệm vụ trọng yếu vật lý lý thuyết kể từ đời đến nay, ta cần phải nghiên cứu , tìm hiểu giải Ý tƣởng tái chuẩn hóa – gộp phần phân kỳ vào điện tích hay khối lƣợng electron đƣợc Kraumer – Bethe, sau đƣợc tác giả Schwinger Feynman Tomonaga thực hóa QED Cách xây dựng chung S-ma trận phân loại phân kỳ thuộc Dyson Cách chứng minh tổng quát triệt tiêu phân kỳ số hạng đƣợc tái chuẩn hóa chuỗi lý thuyết nhiễu loạn Bogoliubov – Parasyk tiến hành Trong QED sử dụng việc tái chuẩn hóa điện tích khối lƣợng electron, giúp ta giải hợp lý phần phân kỳ tính tốn, kết ta thu đƣợc hữu hạn cho biểu thức đặc trƣng cho tƣơng tác ( bao gồm tiết diện tán xạ, tốc độ phân rã thời gian sống hạt) Khi so sánh với thực nghiệm kết thu đƣợc, phù hợp với số liệu thực nghiệm Lý thuyết trƣờng lƣợng tử sau tái chuẩn hoá cho kết hữu hạn đặc trƣng trình vật lý, đƣợc gọi lý thuyết tái chuẩn hoá Các phƣơng pháp khử phân kỳ thông dụng lý thuyết trƣờng bao gồm: phƣơng pháp cắt xung lƣợng lớn, phƣơng pháp Pauli –Villars, phƣơng pháp chỉnh thứ nguyên, phƣơng pháp R- toán tử N.N Bogoliubov khởi xƣớng Tiếp nối khóa luận tốt nghiệp đại học: “ Lý thuyết nhiễu loạn hiệp biến phƣơng pháp khử phân kỳ mơ hình 3 ”, ta tiếp tục nghiên cứu cho điện động lực học lƣợng tử Trong khóa luận tốt nghiệp, xem xét đến ba phƣơng pháp khử phân kỳ xem xét đến phƣơng pháp khử phân kỳ cuối sử dụng phép làm Boguliubov toán tử R Luận văn thạc sĩ Phạm Tiến Dự Mục đích luận văn ý nghĩa việc tái chuẩn hóa, sử dụng phép làm Bogoliubov để tách giản đồ phân kỳ thành hai phần hữu hạn phân kỳ Cuối tái chuẩn hóa gần vịng sử dụng phép tốn R để khử phân kỳ cho trƣờng hợp tổng quát Luận văn bao gồm phần mở đầu, ba chƣơng, phần kết luận, tài liệu tham khảo số phụ lục Chƣơng Giới thiệu chung lý thuyết nhiễu loạn hiệp biến Trong mục 1.1 giới thiệu S-ma trận điều kiện nó, từ kỳ dị lý thuyết trƣờng xuất bất định T – tích thời gian chập Mục 1.2 trình bầy vắn tắt việc xây dựng giản đồ Feynman tổng kết quy tắc Feynman cho QED Tiếp theo xem xét bậc hội tụ giản đồ Feynman, từ ba giản đồ phân kỳ QED Chƣơng Xem xét chi tiết ba giản đồ phân kỳ đƣa chƣơng 1, từ tách tích phân tƣơng ứng thành hai phần: phần hữu hạn phần phân kỳ, phƣơng pháp làm Bogoliubov Chi tiết đƣợc trình bầy mục: 2.1 giản đồ lƣợng riêng electron, 2.2 giản đồ phân cực chân không photon 2.3 giản đồ đỉnh bậc ba Cuối mục 2.4 so sánh bốn phƣơng pháp khử phân kỳ : Cắt xung lƣợng lớn; PauliVillars; Điều chỉnh thứ nguyên phƣơng pháp làm Bogoluibov Chƣơng Từ kết chƣơng 2, ta xây dựng lý thuyết tái chuẩn hóa cho QED Mục 3.1 dành cho việc tái chuẩn hóa điện tích khối lƣợng QED cho gần vòng; Mục 3.2 đƣa phép toán R để khử phân kỳ dựa kết chƣơng bất định T - tích Luận văn thạc sĩ Phạm Tiến Dự Phần kết luận liệt kê kết thu đƣợc Bản khóa luận thảo luận khả vận dụng hình thức luận tính tốn cho lý thuyết trƣờng tƣơng tự Trong luận văn này, sử dụng hệ đơn vị nguyên tử  c 1 metric giả Euclide (metric Feynman-hay metric Bogoliubov) tất bốn thành phần véctơ 4-chiều ta chọn thực A   A0 , A gồm thành phần thời gian thành phần không gian, số    0,1, 2,3 , theo quy ƣớc ta gọi thành phần phản biến véctơ 4-chiều ký hiệu thành phần với số    A  A0 , A  A0 , A1 , A2 , A3  def  A (0.1) Các véctơ phản biến tọa độ: x    x0  t , x1  x, x  y, x3  z   t , x  , (0.2) véctơ tọa độ hiệp biến: x  g x   x0  t , x1   x, x2   y, x3   z   t ,  x  , (0.3) véctơ xung lƣợng: p    E , px , p y , pz    E , p  (0.4) Tích vơ hƣớng hai véctơ đƣợc xác định: AB  g  A B  A B   A0 B0  AB Tensor metric có dạng: (0.5) Luận văn thạc sĩ Phạm Tiến Dự PHỤ LỤC PHỤ LỤC A: Metric giả Euclide Thông thƣờng ngƣời ta sử dụng hai loại metric: metric Euclide (metric Pauli) với thành phần thứ tƣ ảo- không phân biệt số dƣới Ba thành véctơ 4-chiều- thành phần không gian véctơ 4-chiều, ta chọn thực, thành phần thứ tƣ ảo A  A   A1  Ax , A2  Ay , A3  Az , A4  iA0  , số   1, 2,3,  ; Ngƣợc lại, trƣờng hợp metric giả Euclide (metric Feynman- hay Bogoliubov) tất bốn thành phần véctơ 4-chiều ta chọn thực A   A0 , A gồm thành phần thời gian thành phần không gian, số    0,1, 2,3 ,và theo quy ƣớc ta gọi thành phần phản biến véctơ 4- chiều ký hiệu thành phần với số    A  A0 , A  A0 , A1 , A2 , A3  def  A (A.1) Các véctơ phản biến tọa độ x    x0  t , x1  x, x  y, x3  z   t , x  , (A.2) véctơ tọa độ hiệp biến x  g x   x0  t , x1   x, x2   y, x3   z   t ,  x  , (A.3) véctơ xung lƣợng p    E , px , p y , pz    E , p  (A.4) 76 Luận văn thạc sĩ Phạm Tiến Dự Tích vơ hƣớng hai véc tơ đƣợc xác định AB  g  A B  A B   A0 B0  AB (A.5) Tensor metric có dạng g   g  1 0    1 0    0 1     0 1 (A.6) Chú ý, tensor metric tensor đối xứng g  g g  g  Thành phần véc tơ hiệp biến đƣợc xác định cách sau A  g  A , Đạo hàm hiệp biến    đạo hàm phản biến    A0  A0 , Ak   Ak (A.7)           ,  ,    , ,  ,  x  t   x y z   A     ,    div bố chiều   A    A x  t t  Sự liên hệ hàm truyền hai loại metric khác D (k )   S P ( p)    2    i  2  k P () D  k   g  i  2  kF2 pˆ F  m 1 ipˆ P  m i i  () S F  p    4 2 2 pˆ P  im  2  pP  m  2  pˆ F  m  2  pF  m (A.8) Lƣu ý k P -xung lƣợng với số P ký hiệu metric Pauli, k F - với số F kí hiệu metríc Feynman 77 Luận văn thạc sĩ Phạm Tiến Dự Matrận Dirac có liên hệ với Metric Pauli     ,   , Metric Feynman-Bogoliubov I 0     ,   , 4       I  0   0    i                   2     1 2 3  I 0 0   ,  I    ,  matrận Pauli 0           2g             ,   4!  I I   0   i 0 1 2  i           4! 0 I     I 0      ,  j   j ,  5        ,  j   j ,  5   ,  5   5  Sp   0, Sp       g  , Sp   0, Sp      4  , Sp               g  g  g  g  Sp  0,   4 g Sp        Sp  5     ,   g   g  g  g  g  Sp  0, Sp  5      , Sp  5          4  Sp  5           4  Lấy tổng lấy trung bình theo phân cực Lấy tổng lấy trung bình theo hạt phân cực hạt 78 Luận văn thạc sĩ Phạm Tiến Dự u r  p  Qu r  p    r , r  u r   p  Qu r  p    r , r Sp Q  pˆ  im  Q  pˆ   im   Sp Q  pˆ  m  Q  pˆ   m  Q   4Q  Q   0Q   Chuẩn hóa spinor tốn tử chiếu u r  p  u r  p   u r   p  u r   p    u ( p)u r r r Chuẩn hóa tốn tử chiếu u r  p  u r  p   2m r r p0 r  u  p  ur  p    r  r m u r   p  u r   p   2m r r p0 r u  p  ur  p    r  r m  u ( p)u r r ( p)   F  p    pˆ  m  r  pˆ  im  ( p)    p      2im   u ( p)u r r ( p)   F   p      pˆ  m  r  u ( p)u r r r Thay đổi cách chuẩn hóa spinor ta có   pˆ  im  ( p)     p      2im  thể biểu diễn tốn tử chiếu có dạng 2   p      p  ,   p      p   tƣơng tự  pˆ  m  F  p   ,  2m    pˆ  m  F  p     2m    p   p    p   p   u ( p)u r r ( p)  2m F  p  r  u ( p)u r r Lagrangian tƣơng tác Lint ( x)  eJ  A , J   e   e 79 r ( p)  2m F   p  Luận văn thạc sĩ Phạm Tiến Dự PHỤ LỤC B: Cơng thức tích phân không gian xung lƣợng Biểu diễn  :  i  p  m2 i   i e d 0 m2  p  i (B.1) Và dạng tổng quát là:   D  i  k  ik i  D i  k 1 e   d ,  k  k 0 (B.2) Các tích phân họ Gauss:    e x dx   (B.3) Tích phân họ Gauss khơng gian bốn chiều ( a  b véc tơ bốn chiều) iak  dke  2 (B.4) ia i ( ak  dke  bk ) i ( ak  dke  2bk )    b2    b2  b    dk exp ia  k    exp  i   exp  i   I  a, b  a      a  ia  a  b   k       I  a, b   a i ( ak  dke  2bk ) i ( ak  dke  2bk )  2b b  iag  k k       2a    I  a, b    b  2a   k    I  a, b    a  80 Luận văn thạc sĩ  dke Phạm Tiến Dự i ( ak  2bk )  b  b2  3ia    k k      I  a, b  a   (B.5) Cơ lập tích phân vơ hạn:     0 0 n 1  d1  d  d n   dxn  a da Với : (B.6) a        n ; xi  i / a , dxn  dx1dx2 dxn 1  x1  x2   xn  Tích phân điển hình a:  1 da eia Ai    i0 A  i  da ia Ai  e   ln  A  i  i 0 a  da iaA iaB  a B  i e  e  e  ln   i0 a A  i (B.7) Tham số hóa Feynman: 1 1  k !  dx k 1  dx1 dxk   x1   xk  xk 1  1 k 1 A1 Ak Ak 1  x1 A1   xk Ak  xk 1 Ak 1  0 (B.8) Tích phân Feynman: FL  D, k   i dp    p  D  i  L    1  L  3! ,  L2  D  i   L  1! L 1 Điều chỉnh thứ nguyên: 81 L3 (B.9) Luận văn thạc sĩ Phạm Tiến Dự n 2  dp   d p   d p     n   d  p n 1dp , n   2 (B.10) Tích phân Gauss điều chỉnh:  d n ke  ia    b2    exp  i   I  a, b     ia  a i ( ak  2bk ) n i ( ak  d ke  2bk )  2b b  iag  k k        I  a, b  2a   (B.11) Tích phân Feynman điều chỉnh: FL  D, k   i    p   pk  D  i  p d n p i i  1  n /2 L dn p L    p  pk  D  i  L      L k  D  k FL  D, k  L  n /2 n   L   2  (B.12) Cắt xung lƣợng lớn:  dp  i   d p   i E     d  p 3dp  reg   dp (B.13) Kết quả: reg  reg  reg  i 2 i 2 i 2    dp 2 2    D  k ln   k2  D p  p.k  D p p dp  p.k  D  p dp  p.k  D  k2  D  ln 1 2  k2  D   k  ln   2 2  82 (B.14) Luận văn thạc sĩ Phạm Tiến Dự Một số tích phân đơn giản sử dụng chƣơng 2:   dx.x(1  x)  dx ln x  1 1  dx.x ln( x)    M2 0 dx.(1  x) ln m ;  M2  M2   dx ln (  x )  ln 1 0  m2  m2   ;  M2  M2    ln  dx x ln (  x ) 0  m2   m ;  dx.(1  x) ln(1  x)   1 1  M2 x   ln   m (B.15) Phụ lục C: Kết mơ hình L int  g3 Trong tất mơ hình tƣơng tác hạt bản, xét mặt toán học dẫn đến hai mơ hình tƣơng tác bản: mơ hình tự tƣơng tác hạt vơ hƣớng thực L int  g3 Mơ hình tƣơng tác đơn giản, cho phép ta thực tính tốn cụ thể, chi tiết Qua ví dụ L int  g3 ta minh họa rõ ràng phƣơng pháp khử phân kỳ, đƣợc sử dụng lý thuyết trƣờng lƣợng tử Trong lý thuyết L int  g3 tồn hai giản đồ gần vòng: giản đồ tƣơng ứng với phần lƣợng riêng hạt vơ hƣớng (Hình C.1 ) và giản đồ khác ứng với giản đồ đỉnh ba (Hình vẽ ) Hình C.1: Giản đồ lƣợng riêng 83 Luận văn thạc sĩ Phạm Tiến Dự Hình C.2: Giản đồ ba đỉnh Theo qui tắc Feynman, giản đồ Hình vẽ X tƣơng ứng với tích phân đơn giản: I (k ) ~ i   (m dp ,  p  i )[m2  ( p  k )2  i ] (C.1) tƣơng ứng với giản đồ Feynman loop với hai đƣờng vô hƣớng Biểu thức (C.1) giản đồ lƣơng riêng hạt vơ hƣớng Tích phân (C.1) ảnh Fourier tích hai hàm truyền với biến số chập nhau: I (k ) ~ 16 2i  eikx [ Dc ( x)]2dx (C.2) Các tích phân (C.2) chứa hàm kỳ dị suy rộng dạng  , 1 (trong   x ) Vì vậy, cơng thức (C.2) khơng phải đại lƣợng xác định Xét mặt toán học, phải tiến hành định nghĩa lại đại lƣợng (C.2) Ở có hai cách gải vấn đề: Bản chất phƣơng pháp Pauli-Villars việc thay hàm Green kỳ dị trƣờng vô hƣớng tự với khối lƣợng m tổ hợp tuyến tính sau:  c ( x )  reg M  c (m)   c (m)   c i  c (M i ) , (C.3) i kí hiệu  c (m) hàm Green trƣờng vô hƣớng với khối lƣợng m.Tuy nhiên chuyên đề hiểu hàm Green nhân quả, phƣơng 84 Luận văn thạc sĩ Phạm Tiến Dự pháp Pauli-Villars kí hiệu thống cho hàm Green  c ký hiệu thống cho hàm Green  c , nhƣ hàm Green  ret ,  adv ,  ,  ký hiệu khác nhau) Trong vế phải (C.3), hàm (M i ) hàm Green bổ trợ với khối lƣợng Mi, ci hệ số không đổi thỏa mãn điều kiện đặc biệt Những điều kiện lựa chọn cho hàm đƣợc điều chỉnh reg(x, m) biểu diễn tọa độ hàm số đủ điều chỉnh lân cận hình nón ánh sáng, cho biểu diễn xung lƣợng (p, m) giảm đủ nhanh vùng xung lƣợng lớn | p | Đối với trƣờng có spin nguyên, kỳ dị cao hình nón ánh sáng  , 1 có mặt hàm Green trễ D(x; m) với hệ số không phụ thuộc vào khối lƣợng m Chính thế, giả sử đặt điều kiện cho ci là:   ci  (C.4) i Để cho hàm Green đƣợc điều chỉnh reg(x, m) Chúng ta nhận đƣợc biểu thức mà khơng chứa kỳ dị dạng  , 1 Ảnh Fourier hàm Green đƣợc điều chỉnh reg(p, m) vùng xung lƣợng lớn | p | giảm nhanh nhƣ | p | 2 Nhƣ điều kiện : m   c i M i2  (C.5) i đảm bảo cho hàm Green đƣợc điều chinh khơng có kỳ dị dạng  ( ),ln  đƣa đến điều kiện hàm Green reg(p, m) giảm nhanh | p | 6 vùng tử ngoại Thực phép lấy giới hạn M i   , thu đƣợc kết nhƣ mong muốn 85 Luận văn thạc sĩ Phạm Tiến Dự Áp dụng phƣơng pháp Pauli – Villars cho trƣờng hợp giản đồ đơn giản hình C.1 Chúng ta cần đại lƣợng khối lƣợng bổ trợ M với hệ số c  1 thỏa mãn điều kiện (C.4) Trong biểu diễn xung lƣợng có D c ( p)  1  reg M D c (p)   2 m p m p M  p2 (C.2.6) Sử dụng phép (C.6) biểu thức dƣới dấu tích phân vế phải (C.1) nhận đƣợc : I(k )  reg M I(k )     i 1 dp    2  2  2   M  p   m  (p  k ) M  (p  k )  m  p (C.7) Vế phải phƣơng trình (C.7) biểu thức hữu hạn :    i 1 1 dp       2 2 2 2  0    m  p  i M  p  i   m  (p  k )  i M  (p  k )  i  reg M I(k )  lim (C.8) Theo phƣơng pháp tham số hóa tích phân Feynman:   i dte iHt H 0 (C.9) Thì biểu thức (C.8) viết lại nhƣ sau (để đơn giản ta ngầm hiểu   ):        2 2 i3 reg M I(k )   dd dpe  (  ) e ik e im  e iM e im  e iM exp  i (  )p  2pk  Áp dụng cơng thức tích phân Gauss:  dke i ( ak  bk)    b  2  b2  b    dk exp  ia  k    exp  i   exp  i  , (C.10) a    a  ia  a    Chúng ta có :  reg M I (k )  i d d   2    (   )  i k   i m2  i M    i  m2 i M  e e e  e e  e exp  ik  0    2        86 Luận văn thạc sĩ Phạm Tiến Dự  2 2    e (   ) ei m  ei M  ei m  ei M  exp  ik              i2  d d  (C.11) Tiếp tục đƣa vào phép biến đổi:   ax;   a (1  x )  ,   a , thay vào biểu thức a, x  (C.11):  reg M I(k )  i  dx  da 0  0    dx  da   2 e  a ik 2ax (1 x ) iaxm2 e e  e iaxM e ia (1 x ) m  e ia (1 x ) M a        e a exp  ia x (1  x )k  m  exp  ia x (1  x )k  xm  (1  x )M a        exp  ia x (1  x )k  M  exp  ia x (1  x )k  xM  (1  x )m Sử dụng cơng thức tích phân:     da a iaA  B  i  e e  e iaB  ln   a  A  i    (C.12) Chúng ta thu đƣợc :   m  x (1  x )k  i M  x (1  x )k  i reg M I(k )   dx ln    2 2 2  xM  (1  x )m  x (1  x )k  i xm  (1  x )M  x (1  x )k  i  Xét biểu thức :   m  x (1  x )k  i M  x (1  x )k  i ln    2 2 2  xM  (1  x )m  x (1  x )k  i xm  (1  x )M  x (1  x )k  i  m  x (1  x )k  i  ln 2 ,   2 M  x (1  x )k  i  ln    2 2 2  xM  (1  x )m  x (1  x )k  i xm  (1  x )M  x (1  x )k  i  Sau lấy giới hạn M   , nhận đƣợc : reg M I(k )   ln  m  x (1  x )k  i    M2  dx ln    0   0 2   M   tham số dƣơng tùy ý 87 (C.13) Luận văn thạc sĩ Phạm Tiến Dự Nhƣ vậy, từ I(k) tách đƣợc phần phân kì hồng ngoại biểu diễn (C.13) đƣợc dƣới dạng : reg M I(k )   ln Trong :  M2  I definite k ,  2  (C.14)  m  x (1  x )k  i  I definite k ,    dx ln   biểu thức hữu hạn      So sánh kết thu từ ba phương pháp khử phân kì khác trên, thấy phần phân kì tách thành phần kì dị phần hữu hạn: I(k)  I anomalous  I definite Phần kì dị phƣơng pháp Pauli – Villars ln chỉnh thứ nguyên Các phƣơng pháp 2 , phƣơng pháp M2 2 m2 , phƣơng pháp cắt xung lƣợng lớn  ln  ln  m  Pauli – Villars Chỉnh thứ nguyên Cắt xung lƣợng lớn Phân kỳ ln 2 M2   ln 2 m2 Phụ lục D Đồng thức Ward –Takahashi Đồng thức Ward – Takahshi có nghĩa    p, p      p, p   1  G  p  p    p p (D.1) (D.2) Muốn chứng minh đồng thức ta sử dụng: 1 1 1 = + b + b b + a+b a a a a a a 88 (D.3) Luận văn thạc sĩ Phạm Tiến Dự Ta chứng minh:  1  1  1   lim      p   p pˆ  m p  pˆ  pˆ   m pˆ  m  pˆ  m pˆ  m (D.4) Điều đƣợc hiểu nhƣ sau: việc lấy đạo hàm hàm truyền electron tự tƣơng đƣơng với hàm đỉnh mà có photon với xung lƣợng - chiều k  Sự giải thích xuất phát từ dạng dòng j      mà có mặt dịng bảo toàn Chứng minh giản đồ đƣợc minh họa Hình D.1  [ p  ] = ( p)    p  p      Hình D.1 Chứng minh giản đồ đồng thức Ward Dấu chéo ký hiệu việc thay đƣờng photon với xung lƣợng không vào đƣờng electron Đồng thức Ward - Takahashi tổng quát dạng tƣơng đƣơng:  p2  p1   p2  p1  1     p2 , p1   G  p2   G  p1      p2 , p1     p2     p1  1 (D.5) Từ công thức: G  p  Z2    p, p   c  p, p  Z1  pˆ  m   c  p  89 (D.6) Luận văn thạc sĩ Phạm Tiến Dự Ta có: 1    ,    p, p   G  p    p Z2 Z1 (D.7) Sử dụng đồng thức Ward ta có: Z1  Z (D.8) Kết quan trọng để chứng minh tái chuẩn hóa đỉnh lý thuyết nhiễu loạn hiệp biến Nhƣ vậy, tiếp nối Khóa luận tốt nghiệp trƣớc đây, nghiên cứu phƣơng pháp khử phân kỳ cho mơ hình  , luận văn tiếp tục nghiên cứu lý thuyết tái chuẩn hóa cho mơ hình QED Chúng ta đƣa sở lý thuyết trƣờng lƣợng tử, từ việc định nghĩa, xây dựng S- ma trận, đến việc nghiên cứu giản đồ Feynman Chúng ta lần lƣợt xem xét đến bốn phƣơng pháp để khử phân kỳ đƣợc biết đến nay, bao gồm phƣơng pháp: Cắt xung lƣợng lớn; Pauli- Villars; Điều chỉnh thứ ngun R- tốn tử Bên cạnh đó, mục lục, thích lý thuyết đƣợc đƣa Đó sở lý thuyết tốt cho nghiên cứu sau 90 ...ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - Phạm Tiến Dự TÁI CHUẨN HÓA VÀ PHÉP TOÁN R TRONG ĐIỆN ĐỘNG LỰC HỌC LƢỢNG TỬ Chuyên ngành: Vật lý lý thuyết vật lý toán Mã... Những thành tựu điện động lực học lƣợng tử (Quantum Electrodynamics- QED) dựa sở lý thuyết nhiễu loạn hiệp biến với phƣơng pháp tái chuẩn hóa khối lƣợng điện tích cho phép tính tốn q trình vật lý... minh tổng quát triệt tiêu phân kỳ số hạng đƣợc tái chuẩn hóa chuỗi lý thuyết nhiễu loạn Bogoliubov – Parasyk tiến hành Trong QED sử dụng việc tái chuẩn hóa điện tích khối lƣợng electron, giúp ta