Hamiltonian Fluid Dynamics & Irrotational Binary Inspiral - - PowerPoint PPT Presentation

hamiltonian fluid dynamics irrotational binary inspiral
SMART_READER_LITE
LIVE PREVIEW

Hamiltonian Fluid Dynamics & Irrotational Binary Inspiral - - PowerPoint PPT Presentation

Hamiltonian Fluid Dynamics & Irrotational Binary Inspiral Charalampos Markakis Mathematical Sciences, University of Southampton work in progress in collaboration with: John Friedman, Masaru Shibata, Niclas Moldenhauer, David Hilditch,


slide-1
SLIDE 1

Hamiltonian Fluid Dynamics & Irrotational Binary Inspiral

Charalampos Markakis

Mathematical Sciences, University of Southampton work in progress in collaboration with: John Friedman, Masaru Shibata, Niclas Moldenhauer, David Hilditch, Sebastiano Bernuzzi, Koutarou Kyutoku, Bernd Brüegmann

slide-2
SLIDE 2

Introduction

  • Gravitational waves from neutron-star and black-hole binaries

carry valuable information on their physical properties and probe physics inaccessible to the laboratory.

  • Although development of black-hole gravitational wave

templates in the past decade has been revolutionary, the corresponding work for double neutron-star systems has lagged.

  • Recent progress by groups in Kyoto (SACRA), Caltech-Cornell-

CITA-AEI (SpEC), Frankfurt (Whisky), Jena (BAM), Illinois, etc.

  • The Valencia scheme has been a workhorse for hydro in

numerical relativity… 1 ( ) ( ) 1 ( ) u g u g T gT T g

a a a a b b g b b a b a ab g

r r  = ¶

  • =

= ¶

  • G

=

slide-3
SLIDE 3

Introduction

  • Gravitational waves from neutron-star and black-hole binaries

carry valuable information on their physical properties and probe physics inaccessible to the laboratory.

  • Although development of black-hole gravitational wave

templates in the past decade has been revolutionary, the corresponding work for double neutron-star systems has lagged.

  • Recent progress by groups in Kyoto (SACRA), Caltech-Cornell-

CITA-AEI (SpEC), Frankfurt (Whisky), Jena (BAM), Illinois, etc.

  • The Valencia scheme has been a workhorse for hydro in

numerical relativity, but considering alternative hydrodynamic schemes can lead to further progress…

  • Hamiltonian methods have been used in all areas of physics but

have seen little use in hydrodynamics

slide-4
SLIDE 4

Introduction

  • Constructing a Hamiltonian requires a variational principle
  • Carter and Lichnerowicz have described barotropic fluid motion

via classical variational principles as conformally geodesic

1

b a

dx dx dp h g d h d d

a b r ab

d t t t r

  • =

= +

ò ò

slide-5
SLIDE 5

Introduction

  • Constructing a Hamiltonian requires a variational principle
  • Carter and Lichnerowicz have described barotropic fluid motion

via classical variational principles as conformally geodesic

  • Moreover, Kelvin’s circulation theorem

implies that initially irrotational flows remain irrotational.

1

b a

dx dx dp h g d h d d

a b r ab

d t t t r

  • =

= +

ò ò

c

d hu dx d

t

a a

t =

ò 

S

t

S

slide-6
SLIDE 6

Introduction

  • Constructing a Hamiltonian requires a variational principle
  • Carter and Lichnerowicz have described barotropic fluid motion

via classical variational principles as conformally geodesic

  • Moreover, Kelvin’s circulation theorem

implies that initially irrotational flows remain irrotational.

  • Applied to numerical relativity, these concepts lead to novel

Hamiltonian or Hamilton-Jacobi schemes for evolving relativistic fluid flows, applicable to binary neutron star inspiral.

1

b a

dx dx dp h g d h d d

a b r ab

d t t t r

  • =

= +

ò ò

c

d hu dx d

t

a a

t =

ò 

S

t

S

slide-7
SLIDE 7

Carter-Lichnerowicz variational principles for barotropic flows

  • Carter’s Lagrangian:
  • Canonical momentum:
  • Carter’s superHamiltonian:

(on shell 2 ) 2 h h h g u u

a b ab

= - =

; p hu u

a a a

¶ = = ¶  dx u d

a a

t = 1 2 2 h p u g p p h

a ab a a b

= = =

  • +

 

slide-8
SLIDE 8

Carter-Lichnerowicz variational principles for barotropic flows

  • Carter’s Lagrangian:
  • Canonical momentum:
  • Carter’s superHamiltonian:
  • Euler equation in Carter-Lichnerowicz form:

2 2 u h h h g ua

b ab

=

  • = -

 £ (Euler-Lagrange)

u

dp p d x

a a a a

t ¶

  • =

= ¶    ; p hu u

a a a

¶ = = ¶  dx u d

a a

t = ( ) (Hamilton) dp u p p d x

b a b a a b a a

t ¶ + = 

+  = ¶    1 2 2 h p u g p p h

a ab a a b

= = =

  • +

 

slide-9
SLIDE 9

Constrained Hamiltonian approach

1 2

1 ( ) fluid velocity measured by normal observers / fluid velocity measured in local coordinates canonic

  • 1

al m

b b a b ab a a a a a a a a a a a

dx dx h g dt h dt dt dt v v dx dt v L p h hu

a b ab

d d a g a b

  • =
  • n n

= n = + = n n ¶ = = = ¶

  • ò

ò

mentum of a fluid element

slide-10
SLIDE 10

Constrained Hamiltonian approach

1 2

1 ( ) fluid velocity measured by normal observers / fluid velocity measured in local coordinates canonic

  • 1

al m

b b a b ab a a a a a a a a a a a

dx dx h g dt h dt dt dt v v dx dt v L p h hu

a b ab

d d a g a b

  • =
  • n n

= n = + = n n ¶ = = = ¶

  • ò

ò

2

mentum of a fluid element Constrained Hamiltonian:

a ab a a a b t a

p p h p p h v L u H b a g =

  • +

= - = +

slide-11
SLIDE 11

Constrained Hamiltonian approach

1 2

1 ( ) fluid velocity measured by normal observers / fluid velocity measured in local coordinates canonic

  • 1

al m

b b a b ab a a a a a a a a a a a

dx dx h g dt h dt dt dt v v dx dt v L p h hu

a b ab

d d a g a b

  • =
  • n n

= n = + = n n ¶ = = = ¶

  • ò

ò

2

“ ” Dire Strai mentum of a fluid element Constrained Hamiltonian: t gh s

a ab a a a a b t

You've got the action, you've got the motio p p H v L h p hu n p b a g + + = -

  • =
  • = -
slide-12
SLIDE 12

Constrained Hamiltonian approach

1 2

1 ( ) fluid velocity measured by normal observers / fluid velocity measured in local coordinates canonic

  • 1

al m

b b a b ab a a a a a a a a a a a

dx dx h g dt h dt dt dt v v dx dt v L p h hu

a b ab

d d a g a b

  • =
  • n n

= n = + = n n ¶ = = = ¶

  • ò

ò

2

mentum of a fluid element Constrained Hamiltonian: Euler-Lagrange equation: Hamilton equation: = ( £ ) =

a a a t b a a a b a a a a b a t a a t

dp L p L dt x dp H p v dt x p p h p p h H v L u

u

b a g ¶

  • ¶ +

= ¶ ¶ + ¶ + + = - =

  • +

  • =

( ) (independent of gravity theory)

b a a b a

p p H 

+  =

slide-13
SLIDE 13

Conservation of circulation

( £ ) ( £ )

  • rticity 2-form:

Eul ( £ er-Lagrange equation: V Kelvin's theor ) em:

t t

t a a t ab ab b a a a b a b a ab t ab a b

p L p p d d p dx dx x dx x dt dt d d

u u u

w w w w ¶ + =   ¶ + = =   = 

  • =

 ¶ + =

ò ò ò 

 

  • The most interesting feature of Kelvin's theorem is that, since its derivation did not

depend on the metric, it is exact in time-dependent spacetimes, with gravitational waves carrying energy and angular momentum away from a

  • system. In particular, oscillating stars and radiating binaries, if modeled as

barotropic fluids with no viscosity or dissipation other than gravitational radiation exactly conserve circulation

  • Corollary: flows initially irrotational remain irrotational.

S

t

S

slide-14
SLIDE 14

Irrotational hydrodynamics

Irrotational flow: Hamilton equation: Hamilton-Jacobi equation: Example: In the dust limit on a Minkowsky background, on ( ) e obt

a a t a a t b b a b a a a b b

p p S p p H p S p H v +   ¶ +  ¶ 

=  = =

  • +

= 

2 2 2

ains a relativistic Burgers equation: Obtained noncovariantly by LeFloch, Makhlofand and ( / 1 ) ( 1 ) 1 ( Okutmustur, SINUM 50, 2136 (2012) by algebraic manipu )

t a a tS

S u u u ¶

  • + ¶

+ =  ¶ + +  = lation of the Euler equation in Minkowski and Schwarzschild charts. The fact that these are Hamilton equations and can be obtained covariantly for arbitrary spacetimes is unnoticed. Solutions to HJ equation are NOT unique. Nevertheless, 'viscosity' solutions to HJ equation are unique.

slide-15
SLIDE 15
slide-16
SLIDE 16

Irrotational hydrodynamics

2 2

Analytic 1+1 solution for homogeneously 1 ( ) t ranslating flow: 1 ) ( , ) ( ) Numerical soluti (

  • ,

1 n:

t x

S x S t x t x S t u u u u = =  = ¶

  • +

+ + 

slide-17
SLIDE 17

Irrotational hydrodynamics

2 2 2

Analytic 1+1 solution for homogeneously tra 1 ( ) nslating flow: 1 ) ( ( , 1 , ) ( ) Numerical 'viscosity' solution:

t x x x

S x S S S t t x t x u u u u e = =  =

  • +

¶ + + ¶ ¶

slide-18
SLIDE 18

Irrotational hydrodynamics

Irrotational flow: Hamilton equation: Hamilton-Jacobi equation: For barotropic fluids, the above equation is coupled to the c ( )

a a b a a t a a t a b b b a b

S p p p p p S H p H v +     ¶ +  ¶

  • =

 = + =

  • =

1,2

where : det( ) Characteristics :

  • ntinuity equation, resulting in a system

,

k k t k i i t t ij k

p H g u u r r u d r r a g r g g l æ ö æ ö ÷ ÷ ç ç ÷ ÷ ç ç ¶ + ¶ = ÷ ÷ ç ç ÷ ÷ ç ç ÷ ÷ ç ç è ø è ø =

  • =

= =

   2 2 1 2 2 1/2 2 2 2 2 1/2 3,4 s s s s s s

(1 ) { (1 ) (1 ) [(1 ) (1 )( ) Complete eigenbasis The system is strongly hyperbolic (for fini e } t ] )

k k kk k k

c c c c c c l a n n n n g n b

=

slide-19
SLIDE 19

Conclusions

Notable features:

  • Unlike Valencia, recovery of primitives from conservatives requires no atmosphere: ui is

recovered via dividing pi=hui by specific enthalpy h which is 1 at the surface (no division by zero)

  • Like Valencia, strong hyperbolicity is lost when cs = 0: eigenbasis not complete, system

becomes weakly hyperbolic  instability on surface

  • Instead of artificial atmosphere, can use crust EOS with small but nonzero cs near

surface: sound speed in a realistic NS crust (outer 1 km) cs ~ 0.05

k k t k i i

p H r r u d æ ö æ ö ÷ ÷ ç ç ÷ ÷ ç ç ¶ + ¶ = ÷ ÷ ç ç ÷ ÷ ç ç ÷ ÷ ç ç è ø è ø

 

slide-20
SLIDE 20

Sound speed profile of a TOV star

2 4 6 8 10 12 0.0 0.1 0.2 0.3 0.4 0.5

2 S

c

(km) R

S ~ 0.05

c

Credit: Christian Krüger

slide-21
SLIDE 21

Conclusions

Notable features:

  • Unlike Valencia, recovery of primitives from conservatives does requires no atmosphere:

ui is recovered via dividing pi=hui by specific enthalpy h which is 1 at the surface (no division by zero)

  • Like Valencia, strong hyperbolicity is lost when cs = 0: eigenbasis not complete, system

becomes weakly hyperbolic  instability on surface

  • Instead of artificial atmosphere, can use crust EOS with small but nonzero cs near

surface: sound speed in a realistic NS crust (outer 1 km) cs ~ 0.05. Then, extrapolating the EOS to the exterior (h<1) allows one to evolve smooth fields and obtain pointwise convergence on the surface, which is unattainable with an artificial atmosphere.

  • Scheme may be combined with symplectic integration or constraint damping methods

that preserve symplecic structure and circulation

  • SPH schemes based on the Lagrangian or Hamiltonian formulation possible
  • Extension beyond irrotational flows also possible

Reference

  • C. Markakis, arXiv:1410.7777

k k t k i i

p H r r u d æ ö æ ö ÷ ÷ ç ç ÷ ÷ ç ç ¶ + ¶ = ÷ ÷ ç ç ÷ ÷ ç ç ÷ ÷ ç ç è ø è ø

 