Proof of/Reason for SVT Decomposition

  • Context: Graduate 
  • Thread starter Thread starter AuraCrystal
  • Start date Start date
  • Tags Tags
    Decomposition Proof
Click For Summary
SUMMARY

The discussion centers on the decomposition of vector and tensor fields in the context of a flat Friedmann-Robertson-Walker (FRW) perturbed universe. The metric is expressed as ds^2=a^2(τ)[(1+2A)dt^2-B_idtdx^i-(δ_{ij}+h_{ij})dx^idx^j]. The vector B_i is decomposed into two components: B_i^{\perp} and B_i^{\parallel}, satisfying the conditions ∇·B^{\perp}=0 and ∇×B^{\parallel}=0. This decomposition is further explored in Baumann's TASI lectures on inflation, specifically in Appendix A, section A.2, which provides a clearer justification for the tensor hij decomposition.

PREREQUISITES
  • Understanding of flat Friedmann-Robertson-Walker (FRW) cosmology
  • Familiarity with metric tensor notation and general relativity
  • Knowledge of vector calculus, particularly in Fourier space
  • Basic concepts of inflationary cosmology as discussed in Baumann's lectures
NEXT STEPS
  • Study the decomposition of vector fields in cosmological contexts using "Fourier analysis in cosmology"
  • Review Baumann's TASI lectures on inflation, focusing on Appendix A, section A.2
  • Explore the implications of curl-less vectors and their representation as gradients of scalars
  • Investigate the mathematical foundations of perturbation theory in cosmology
USEFUL FOR

Cosmologists, theoretical physicists, and graduate students studying inflationary models and perturbation theory in cosmology.

AuraCrystal
Messages
67
Reaction score
0
Using the conventions of http://www.damtp.cam.ac.uk/user/db275/Cosmology/Chapter4.pdf (not mine).

For a flat FRW perturbed universe, the metric is can be written in general as:
ds^2=a^2(\tau)[(1+2A)dt^2-B_idtdx^i-(\delta_{ij}+h_{ij})dx^idx^j]
I understand intuitively that we can decompose Bi into two parts:
B_i=B_i^{\perp}+B_i^{\parallel}
with
\nabla \cdot B^{\perp}=\nabla \times B^{\parallel}=0
In Fourier space, this means that we decompose the vector into two parts: one parallel to the wavevector k, and one perpendicular.

(And of course, we can write a curl-less vector as a gradient of a scalar.)

He then writes down a similar decomposition for the tensor hij (eq. 4.2.35-4.2.37). What's the reason/justification for the form of that?
 
Space news on Phys.org

Similar threads

  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 1 ·
Replies
1
Views
979
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
30K
  • · Replies 44 ·
2
Replies
44
Views
9K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K