Phương Pháp Tensor Trong Thuyết Tương Đối

Lời Mở Đầu

Tài liệu này nhằm mục đích cung cấp một cái nhìn tổng quan về phương pháp tensor trong thuyết tương đối, đặc biệt là thuyết tương đối tổng quát (General Relativity - GR). Thuyết tương đối tổng quát mô tả lực hấp dẫn không chỉ là một lực đơn thuần mà là kết quả của sự cong của không-thời gian. Việc sử dụng tensor là một công cụ toán học thiết yếu để diễn đạt các phương trình vật lý trong không-thời gian cong một cách nhất quán và độc lập với hệ tọa độ.

1. Tensor là gì?

1.1 Định nghĩa

Tensor là một đối tượng toán học tổng quát hóa các khái niệm như vô hướng (scalar), vectơ (vector) và ma trận. Một tensor có thể được biểu diễn bằng một mảng đa chiều các số, và số chiều của mảng này được gọi là hạng (rank) của tensor.

• Tensor hạng 0: Vô hướng (Scalar) - chỉ là một con số.
• Tensor hạng 1: Vectơ (Vector) - một dãy các con số, ví dụ (x, y, z) trong không gian 3 chiều.
• Tensor hạng 2: Ma trận (Matrix) - một bảng các con số.
• Tensor hạng cao hơn: Tổng quát hóa của ma trận trong nhiều chiều.

1.2 Chỉ số (Indices)

Để biểu diễn một tensor, chúng ta sử dụng các chỉ số. Ví dụ, một tensor hạng 2 $T$ có thể được viết là $T^{\mu\nu}$, trong đó $\mu$ và $\nu$ là các chỉ số.

• Chỉ số trên (superscript): Chỉ số trên thường được sử dụng để biểu diễn các thành phần của vectơ đối (contravariant vector).
• Chỉ số dưới (subscript): Chỉ số dưới thường được sử dụng để biểu diễn các thành phần của vectơ hiệp biến (covariant vector).

1.3 Quy tắc Einstein về tổng (Einstein summation convention)

Quy tắc Einstein về tổng nói rằng nếu một chỉ số xuất hiện cả ở trên và dưới trong một biểu thức, thì ta phải ngầm hiểu là ta đang thực hiện phép tổng theo chỉ số đó. Ví dụ:

$A^{\mu}B_{\mu} = \sum_{\mu} A^{\mu}B_{\mu}$

Nếu $\mu$ chạy từ 0 đến 3, thì phép tổng sẽ là:

$A^0B_0 + A^1B_1 + A^2B_2 + A^3B_3$

2. Các loại Tensor

2.1 Vectơ đối (Contravariant vector)

Một vectơ đối, thường ký hiệu là $V^{\mu}$, biến đổi "ngược" với sự thay đổi của hệ tọa độ. Nếu chúng ta chuyển từ hệ tọa độ $x^{\mu}$ sang hệ tọa độ $x'^{\mu}$, thì các thành phần của vectơ đối sẽ biến đổi như sau:

$V'^{\mu} = \frac{\partial x'^{\mu}}{\partial x^{\nu}} V^{\nu}$

2.2 Vectơ hiệp biến (Covariant vector)

Một vectơ hiệp biến, thường ký hiệu là $V_{\mu}$, biến đổi "cùng" với sự thay đổi của hệ tọa độ. Các thành phần của vectơ hiệp biến sẽ biến đổi như sau:

$V'_{\mu} = \frac{\partial x^{\nu}}{\partial x'^{\mu}} V_{\nu}$

2.3 Tensor hỗn hợp (Mixed tensor)

Một tensor có cả chỉ số trên và chỉ số dưới được gọi là tensor hỗn hợp. Ví dụ, $T^{\mu}_{\nu}$ là một tensor hỗn hợp hạng (1,1) (một chỉ số trên và một chỉ số dưới).

3. Các phép toán trên Tensor

3.1 Phép cộng và phép trừ

Chúng ta có thể cộng hoặc trừ hai tensor cùng loại (cùng hạng và cùng kiểu chỉ số) bằng cách cộng hoặc trừ các thành phần tương ứng của chúng. Ví dụ:

$C^{\mu\nu} = A^{\mu\nu} + B^{\mu\nu}$

3.2 Phép nhân tensor (Tensor product)

Phép nhân tensor của hai tensor tạo ra một tensor mới có hạng bằng tổng hạng của hai tensor ban đầu. Ví dụ:

$C^{\mu\nu\rho\sigma} = A^{\mu\nu} B^{\rho\sigma}$

3.3 Phép co (Contraction)

Phép co là phép lấy tổng theo một cặp chỉ số (một trên và một dưới) trong một tensor. Phép co làm giảm hạng của tensor đi 2. Ví dụ:

$C^{\mu} = A^{\mu\nu}_{\nu}$

4. Tensor Metric

4.1 Định nghĩa

Tensor metric, ký hiệu là $g_{\mu\nu}$, là một tensor hạng 2 đối xứng (symmetric tensor) dùng để đo khoảng cách và góc trong không-thời gian. Trong không gian phẳng Minkowski, tensor metric có dạng:

$\eta_{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}$

Trong không-thời gian cong, tensor metric có thể có dạng phức tạp hơn và phụ thuộc vào tọa độ.

4.2 Nâng và hạ chỉ số (Raising and lowering indices)

Tensor metric có thể được sử dụng để "nâng" và "hạ" chỉ số của một tensor. Điều này có nghĩa là chúng ta có thể chuyển đổi giữa vectơ đối và vectơ hiệp biến.

• Hạ chỉ số: $V_{\mu} = g_{\mu\nu}V^{\nu}$
• Nâng chỉ số: $V^{\mu} = g^{\mu\nu}V_{\nu}$

Trong đó $g^{\mu\nu}$ là tensor metric nghịch đảo, được định nghĩa bởi:

$g^{\mu\nu}g_{\nu\rho} = \delta^{\mu}_{\rho}$

Với $\delta^{\mu}_{\rho}$ là delta Kronecker, bằng 1 nếu $\mu = \rho$ và bằng 0 nếu $\mu \ne \rho$.

5. Christoffel Symbols

5.1 Định nghĩa

Christoffel symbols, ký hiệu là $\Gamma^{\mu}_{\nu\rho}$, mô tả cách các vectơ thay đổi khi chúng được vận chuyển song song (parallel transported) trong không-thời gian cong. Chúng không phải là tensor, nhưng là các đại lượng quan trọng trong việc tính đạo hàm hiệp biến (covariant derivative).

Công thức tính Christoffel symbols:

$\Gamma^{\mu}_{\nu\rho} = \frac{1}{2}g^{\mu\sigma}\left(\frac{\partial g_{\sigma\nu}}{\partial x^{\rho}} + \frac{\partial g_{\sigma\rho}}{\partial x^{\nu}} - \frac{\partial g_{\nu\rho}}{\partial x^{\sigma}}\right)$

5.2 Tính chất đối xứng

Christoffel symbols đối xứng theo hai chỉ số dưới:

$\Gamma^{\mu}_{\nu\rho} = \Gamma^{\mu}_{\rho\nu}$

6. Đạo hàm hiệp biến (Covariant Derivative)

6.1 Định nghĩa

Đạo hàm hiệp biến là một tổng quát hóa của đạo hàm thông thường, được sử dụng để tính đạo hàm của các tensor trong không-thời gian cong. Nó đảm bảo rằng kết quả là một tensor, điều mà đạo hàm thông thường không đảm bảo.

6.2 Đạo hàm hiệp biến của vectơ đối

$\nabla_{\mu}V^{\nu} = \partial_{\mu}V^{\nu} + \Gamma^{\nu}_{\mu\lambda}V^{\lambda}$

6.3 Đạo hàm hiệp biến của vectơ hiệp biến

$\nabla_{\mu}V_{\nu} = \partial_{\mu}V_{\nu} - \Gamma^{\lambda}_{\mu\nu}V_{\lambda}$

6.4 Đạo hàm hiệp biến của tensor hạng (1,1)

$\nabla_{\rho}T^{\mu}_{\nu} = \partial_{\rho}T^{\mu}_{\nu} + \Gamma^{\mu}_{\rho\lambda}T^{\lambda}_{\nu} - \Gamma^{\lambda}_{\rho\nu}T^{\mu}_{\lambda}$

7. Tensor Riemann và Tensor Ricci

7.1 Tensor Riemann

Tensor Riemann, ký hiệu là $R^{\mu}_{\nu\rho\sigma}$, là một tensor hạng 4 mô tả độ cong của không-thời gian. Nó được định nghĩa như sau:

$R^{\mu}_{\nu\rho\sigma} = \partial_{\rho}\Gamma^{\mu}_{\nu\sigma} - \partial_{\sigma}\Gamma^{\mu}_{\nu\rho} + \Gamma^{\mu}_{\rho\lambda}\Gamma^{\lambda}_{\nu\sigma} - \Gamma^{\mu}_{\sigma\lambda}\Gamma^{\lambda}_{\nu\rho}$

7.2 Tính chất đối xứng của Tensor Riemann

• $R_{\mu\nu\rho\sigma} = -R_{\nu\mu\rho\sigma}$
• $R_{\mu\nu\rho\sigma} = -R_{\mu\nu\sigma\rho}$
• $R_{\mu\nu\rho\sigma} = R_{\rho\sigma\mu\nu}$
• $R_{\mu[\nu\rho\sigma]} = R_{\mu\nu\rho\sigma} + R_{\mu\rho\sigma\nu} + R_{\mu\sigma\nu\rho} = 0$ (Identity Bianchi thứ nhất)

7.3 Tensor Ricci

Tensor Ricci, ký hiệu là $R_{\mu\nu}$, là phép co của Tensor Riemann:

$R_{\mu\nu} = R^{\lambda}_{\mu\lambda\nu}$

Tensor Ricci là một tensor hạng 2 đối xứng.

7.4 Vô hướng độ cong Ricci (Ricci scalar)

Vô hướng độ cong Ricci, ký hiệu là $R$, là phép co của Tensor Ricci:

$R = g^{\mu\nu}R_{\mu\nu}$

8. Tensor Einstein

8.1 Định nghĩa

Tensor Einstein, ký hiệu là $G_{\mu\nu}$, là một tensor hạng 2 đối xứng được định nghĩa như sau:

$G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R$

8.2 Tính chất

Tensor Einstein là bảo toàn (divergence-free), tức là:

$\nabla_{\mu}G^{\mu\nu} = 0$

9. Phương trình trường Einstein (Einstein Field Equations)

Phương trình trường Einstein là trung tâm của thuyết tương đối tổng quát, mô tả mối quan hệ giữa độ cong của không-thời gian và sự phân bố của vật chất và năng lượng.

$G_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}$

Trong đó:

• $G_{\mu\nu}$ là Tensor Einstein.
• $G$ là hằng số hấp dẫn Newton.
• $c$ là tốc độ ánh sáng trong chân không.
• $T_{\mu\nu}$ là Tensor ứng suất-năng lượng (stress-energy tensor), mô tả sự phân bố của vật chất và năng lượng.

10. Ứng dụng của Tensor trong Thuyết Tương Đối

Tensor là công cụ thiết yếu để mô tả các hiện tượng trong thuyết tương đối, bao gồm:

• Lỗ đen: Tensor được sử dụng để mô tả hình học không-thời gian xung quanh lỗ đen và các tính chất của chân trời sự kiện.
• Sóng hấp dẫn: Tensor được sử dụng để mô tả sự lan truyền của sóng hấp dẫn, những gợn sóng trong không-thời gian.
• Vũ trụ học: Tensor được sử dụng để xây dựng các mô hình vũ trụ, mô tả sự tiến hóa của vũ trụ.

Kết luận

Phương pháp tensor là một công cụ toán học mạnh mẽ và cần thiết để hiểu sâu sắc về thuyết tương đối, đặc biệt là thuyết tương đối tổng quát. Việc nắm vững các khái niệm cơ bản về tensor, các phép toán trên tensor và các tensor quan trọng như tensor metric, tensor Riemann và tensor Einstein là rất quan trọng để nghiên cứu và ứng dụng thuyết tương đối trong các lĩnh vực khác nhau của vật lý và vũ trụ học. Tài liệu này cung cấp một nền tảng cơ bản để bắt đầu hành trình khám phá thế giới hấp dẫn của thuyết tương đối thông qua lăng kính của tensor.