1. Numerical simulations of general gravitational singularities

2. C. Uggla, H. Elst, J. Wainwright, G. Ellis, PRD 68, 103502 (2003) D. Garfinkle, PRL 93, 161101 (2004) D. Garfinkle and C. Gundlach, Class. Quant. Grav. 22, 2679 (2005) J. Curtis and D. Garfinkle, PRD 72, 064003 (2005) D. Garfinkle, Class. Quant. Grav. 24, S295 (2007)

3. Gravitational collapse Singularity theorems BKL conjecture General Relativity Gowdy spacetimes General spacetimes

4. Star in equilibrium between gravity and pressure. Gravity can win and the star can collapse

5. Singularity theorems Once a trapped surface forms (given energy and causality conditions) Some observer or light ray ends in a Finite amount of time Very general circumstances for Singularity formation Very little information about The nature of singularities

6. Approach to the singularity As the singularity is approached, some terms in the equations are blowing up Other terms might be negligible in comparison Therefore the approach to the singularity might be simple

7. BKL Conjecture As the singularity is approached time derivatives become more important than spatial derivatives. At each spatial point the dynamics approaches that of a homogeneous solution. Is the BKL conjecture correct? Perform numerical simulations and see

8. General Relativity metric g ab that allows one to calculate the proper time elapsed on the clock of any observer ds 2 = -d  2 = g ab dx a dx b Objects in free fall act so as to maximize the elapsed proper time.

9. Examples of metrics Flat ds 2 =-dt 2 +dx 2 +dy 2 +dz 2 Black Hole ds 2 =-Fdt 2 +F -1 dr 2 +r 2 (d  2 +sin 2  d  2 ) F=1-(2M/r)

10. Expanding universe ds 2 =-dt 2 +a(t) 2 (dx 2 +dy 2 +dz 2 ) Anisotropic universe ds 2 =-dt 2 +t 2p1 dx 2 +t 2p2 dy 2 +t 2p3 dz 2 vacuum if  p i =  p i 2 =1

11. How do we find the metric? Einstein’s field equation.

12. gravitational acceleration

13. Tidal acceleration

14. Einstein field equation Average tidal acceleration = energy density This becomes a set of nonlinear coupled partial differential equations for the components of the metric.

15. Gowdy spacetimes ds 2 = e ( +t)/2 (- e -2t dt 2 + dx 2 ) + e -t [e P (dy+Qdz) 2 +e -P dz 2 ] P, Q and depend only on t and x The singularity is approached as t goes to infinity x,y and z are periodic, space is a 3-torus

16. Einstein field equations P tt – e 2P Q t 2 – e -2t P xx + e 2(P-t) Q x 2 =0 Q tt + 2 P t Q t – e -2t (Q xx + 2 P x Q x ) = 0 (subscript means coordinate derivative) Note that spatial derivatives are multiplied by decaying exponentials

17. Numerical simulations Centered differences for spatial derivatives f x =(f i+1 -f i-1 )/(2dx) f xx =(f i+1 +f i-1 -2f i )/(dx 2 )

18. Evolution through ICN d t S=W is implemented as S n+1 =S n +(dt/2)(W(S n )+W(S n+1 ))

19. As t goes to infinity P = P 0 (x)+tv 0 (x) Q = Q 0 (x) But there are spikes

20. P

21. Q

22. General case Variables are scale invariant commutators of tetrad e 0 = N -1 d t e  = e  i d i [e 0,e  ]= u  e 0 – (H    +    ) e  [e ,e  ]=(2 a [    ]  +   n  ) e 

23. Scale invariant variables {d t, E  i d i } = {e 0,e  }/H {  ,A ,N  }={  ,a ,n  }/H

24. The vacuum Einstein equations become evolution equations and constraint equations for the scale invariant variables. Choose slicing to asymptotically approach the singularity, CMC or inverse mean curvature flow.

25. In CMC slicing H=(1/3)e -t C abcd C abcd =e -4t F[  ,N ,…]

26. Results of simulations Spatial derivatives become negligible At each spatial point the dynamics of the scale invariant variables becomes a sequence of “epochs” where the variables are constant, punctuated by short “bounces” where the variables change rapidly

27. 

28. N

29.   between bounces is characterized by a single number u. BKL conjecture that at a bounce u goes to u-1 if u>2 and to 1/(u-1) if u<2.

30. u

33. For stiff fluid the dynamics is similar, but there is a last bounce

34.  for stiff fluid

35. Conclusion BKL conjecture appears to be correct What remains to be done (1)Non-stiff Matter (2) Small scale structure (3) Asymptotically flat case