Well-posedness of the Baumgarte-Shapiro-Shibata-Nakamura formulation of Einstein's field equations

Physical Review D - Particles, Fields, Gravitation and Cosmology

Volumn 70, Issue 10, 2004, Pages

  Beyer, Horst ^a,b   Sarbach, Olivier ^a  

^a LOUISIANA STATE UNIVERSITY   (United States)

^b ALBERT EINSTEIN INSTITUT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTICLE; CALCULATION; MATHEMATICAL PARAMETERS; MATHEMATICS;

EID: 42749104755     PISSN: 05562821     EISSN: None     Source Type: Journal    
DOI: 10.1103/PhysRevD.70.104004     Document Type: Article

References (59)

1. M. Berger and J. Oliger, J. Comput. Phys. 53, 484 (1984).
2. B. Engquist and A. Majda, Math. Comp. 31, 629 (1977).
3. For a review see J. Winicour, Living Rev. Relativity 4, 3 (2001).
4. L. Rezzolla et al., Phys. Rev. D 59, 064001 (1999); M. E. Rupright et al., Phys. Rev. D 58, 044005 (1998); A. Abrahams et al., Phys. Rev. Lett 80, 1812 (1998).
5. L. Rezzolla et al., Phys. Rev. D 59, 064001 (1999); M. E. Rupright et al., Phys. Rev. D 58, 044005 (1998); A. Abrahams et al., Phys. Rev. Lett 80, 1812 (1998).
6. L. Rezzolla et al., Phys. Rev. D 59, 064001 (1999); M. E. Rupright et al., Phys. Rev. D 58, 044005 (1998); A. Abrahams et al., Phys. Rev. Lett 80, 1812 (1998).
7. H. Friedrich, Proc. R. Soc. London A 375, 169 (1981).
8. J. Frauendiener, Phys. Rev. D 58, 064003 (1998).
9. M. Shibata and T. Nakamura, Phys. Rev. D 52, 5428 (1995).
10. T. W. Baumgarte and S. L. Shapiro, Phys. Rev. D 59, 024007 (1998).
11. T. W. Baumgarte and S. L. Shapiro, Phys. Rept. 376, 41 (2003).
12. B. Gustafsson, H. Kreiss, and J. Oliger, Time Dependent Methods and Difference Methods (John Wiley & Sons, New York 1995).
13. G. Calabrese, J. Pullin, O. Sarbach, and M. Tiglio, Phys. Rev. D 66, 041501 (2002).
14. T. Kato, Arch. Ration. Mech. Anal. 58, 181-205 (1975).
15. P. D. Lax and R. S. Phillips, Commun. Pure Appl. Math. 13, 427 (1960); P. Secchi, Diff. Int. Eq. 9, 671 (1996); Arch. Ration. Mech. Anal. 134, 595 (1996); J. Rauch, Trans. Am. Math. Soc. 291, 167 (1985).
16. P. D. Lax and R. S. Phillips, Commun. Pure Appl. Math. 13, 427 (1960); P. Secchi, Diff. Int. Eq. 9, 671 (1996); Arch. Ration. Mech. Anal. 134, 595 (1996); J. Rauch, Trans. Am. Math. Soc. 291, 167 (1985).
17. P. D. Lax and R. S. Phillips, Commun. Pure Appl. Math. 13, 427 (1960); P. Secchi, Diff. Int. Eq. 9, 671 (1996); Arch. Ration. Mech. Anal. 134, 595 (1996); J. Rauch, Trans. Am. Math. Soc. 291, 167 (1985).
18. P. D. Lax and R. S. Phillips, Commun. Pure Appl. Math. 13, 427 (1960); P. Secchi, Diff. Int. Eq. 9, 671 (1996); Arch. Ration. Mech. Anal. 134, 595 (1996); J. Rauch, Trans. Am. Math. Soc. 291, 167 (1985).
19. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
20. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
21. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
22. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
23. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
24. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
25. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
26. H. Friedrich and G. Nagy, Commun. Math. Phys. 201, 619 (1999); J. M. Stewart, Class. Quantum Grav. 15, 2865 (1998); G. Calabrese, L. Lehner, and M. Tiglio, Phys. Rev. D 65, 104031 (2002); B. Szilagyi, B. Schmidt, and J. Winicour, Phys. Rev. D 65, 064015 (2002); B. Szilagyi and J. Winicour, Phys. Rev. D 68, 041501 (2003); S. Frittelli and R. Gomez, Classical Quantum Gravity 20, 2379 (2003); Phys. Rev. D 68, 044014 (2003); 69, 124020 (2004); gr-qc/0404070.
27. G. Calabrese, J. Pullin, O. Sarbach, M. Tiglio, and O. Reula, Commun. Math. Phys. 240, 377 (2003).
28. G. Calabrese and O. Sarbach, J. Math. Phys. (N.Y.) 44, 3888 (2003).
29. C. Gundlach and J. M. Martin-García, Phys. Rev. D 70, 044032 (2004).
30. O. Sarbach, G. Calabrese, J. Pullin, and M. Tiglio, Phys. Rev. D 66, 064002 (2002).
31. G. Nagy, O. E. Ortiz, and O. A. Reula, Phys. Rev. D 70, 044012 (2004).
32. C. Gundlach and J. M. Martín-García, Phys. Rev. D 70, 044031 (2004).
33. M. Alcubierre, B. Bruegmann, P. Diener, M. Koppitz, D. Pollney, E. Seidel, and R. Takahashi, Phys. Rev. D 67, 084023(2003).
34. H. O. Kreiss and O. E. Ortiz, Lect. Notes Phys. 604, 359 (2002).
35. M. Alcubierre et al., Phys. Rev. D 62, 124011 (2000).
36. O. Sarbach and M. Tiglio, Phys. Rev. D 66, 064023 (2002).
37. C. Bona et al., Phys. Rev. Lett. 75, 600 (1995); Phys. Rev. D 56, 3405 (1997).
38. C. Bona et al., Phys. Rev. Lett. 75, 600 (1995); Phys. Rev. D 56, 3405 (1997).
39. M. Alcubierre, A. Corichi, J. A. Gonzalez, D. Nunez, and M. Salgado, Phys. Rev. D 67, 104021 (2003).
40. M. Alcubierre, A. Corichi, J. A. Gonzalez, D. Nunez, and M. Salgado, Classical Quantum Gravity 20, 3951 (2003).
41. In [17] it is shown that the system is still symmetric hyperbolic according to their definition if one extends the parameter space to 4m = 6σ + 1 with σ ≥ 1/2.
42. U. Sperhake, K. L. Smith, B. Kelly, P. Laguna, and D. Shoemaker, Phys. Rev. D 69, 024012 (2004); Classical Quantum Gravity 19, 3679 (2002).
43. U. Sperhake, K. L. Smith, B. Kelly, P. Laguna, and D. Shoemaker, Phys. Rev. D 69, 024012 (2004); Classical Quantum Gravity 19, 3679 (2002).
44. L. Lindblom and M. A. Scheel, Phys. Rev. D 67, 124005 (2003).
45. i is symmetrizable.
46. Note that this terminology has its origin in semigroup theory. Maximality-refers to the fact that generators of semigroups do not have proper extensions to operators that generate semigroups. Dissipativity of the operator implies that the spectrum of the generator is contained in the closed left half-plane. Using analogy from quantum theory, dissipativity is the condition that all "expectation values" of the symmetric part of the operator are negative (≤ 0). In special applications those expectation values are called "energies" although in most cases, in particular, in General Relativity, they are not energies in a physical sense, since they are coordinate, i.e., gauge dependent. Therefore, calling boundary conditions maximally dissipative has nothing to do with the boundary conditions dissipating as much energy to the outside of the.computational domain as possible or the like. Even boundary conditions conserving energies are maximally dissipative, but, of course, lead to the worst reflections at the boundaries. The quality of the boundary condition concerning reflections at the boundary has to be decided by different means, for instance reflection coefficients for modes incident at the boundary. Often instead of saying that an operator is dissipative its negative is referred to as being "accretive."
47. H. O. Kreiss, and J. Lorenz, Initial-Boundary Value Problems and the Navier-Stokes Equations (Academic, New York, 1989).
48. C. Bona and C. Palenzuela, Phys. Rev. D 69, 104003 (2004).
49. M. E. Taylor, Progress in Mathematics (Birkhäuser, Boston-Basel-Berlin, 1991), Vol. 100.
50. P. Olsson, Mathematics of Computation 64, 1035 (1995); 64, S23 (1995); 64, 1473 (1995).
51. P. Olsson, Mathematics of Computation 64, 1035 (1995); 64, S23 (1995); 64, 1473 (1995).
52. P. Olsson, Mathematics of Computation 64, 1035 (1995); 64, S23 (1995); 64, 1473 (1995).
53. H. O. Kreiss and G. Scherer, SIAM J. Numer. Anal. 29, 640 (1992); H. O. Kreiss and L. Wu, Applied Numerical Mathematics 12, 213 (1993); D. Levy and E. Tadmor, SIAM Rev. 40, 40 (1998); E. Tadmor, in Proceedings in Applied Mathematics 109, edited by D. Estep and S. Tavener [SIAM, No. 25-49 (2002)].
54. H. O. Kreiss and G. Scherer, SIAM J. Numer. Anal. 29, 640 (1992); H. O. Kreiss and L. Wu, Applied Numerical Mathematics 12, 213 (1993); D. Levy and E. Tadmor, SIAM Rev. 40, 40 (1998); E. Tadmor, in Proceedings in Applied Mathematics 109, edited by D. Estep and S. Tavener [SIAM, No. 25-49 (2002)].
55. H. O. Kreiss and G. Scherer, SIAM J. Numer. Anal. 29, 640 (1992); H. O. Kreiss and L. Wu, Applied Numerical Mathematics 12, 213 (1993); D. Levy and E. Tadmor, SIAM Rev. 40, 40 (1998); E. Tadmor, in Proceedings in Applied Mathematics 109, edited by D. Estep and S. Tavener [SIAM, No. 25-49 (2002)].
56. H. O. Kreiss and G. Scherer, SIAM J. Numer. Anal. 29, 640 (1992); H. O. Kreiss and L. Wu, Applied Numerical Mathematics 12, 213 (1993); D. Levy and E. Tadmor, SIAM Rev. 40, 40 (1998); E. Tadmor, in Proceedings in Applied Mathematics 109, edited by D. Estep and S. Tavener [SIAM, No. 25-49 (2002)].
57. G. Calabrese, L. Lehner, D. Neilsen, J. Pullin, O. Reula, O. Sarbach, and M. Tiglio, Classical Quantum Gravity 20, L245 (2003); G. Calabrese, L. Lehner, O. Reula, O. Sarbach, and M. Tiglio, gr-qc/0308007.
58. Notice that setting to zero the incoming characteristic fields for systems that are strongly but not symmetric hyperbolic does not always lead to a well posed problem, see [16] for a counterexample.
59. H. Beyer and M. Chirvasa, "Outgoing Boundary Conditions for Evolution Systems" (unpublished).