SpECTRE  v2024.06.05
Cce::KleinGordonSystem< EvolveCcm > Struct Template Reference

Performing Cauchy characteristic evolution and Cauchy characteristic matching for Einstein-Klein-Gordon system. More...

#include <KleinGordonSystem.hpp>

Public Types

using variables_tag = tmpl::list< ::Tags::Variables< tmpl::list< Tags::BondiJ, Tags::KleinGordonPsi > >, ::Tags::Variables< tmpl::conditional_t< EvolveCcm, tmpl::list< Cce::Tags::CauchyCartesianCoords, Cce::Tags::PartiallyFlatCartesianCoords, Cce::Tags::InertialRetardedTime >, tmpl::list< Cce::Tags::CauchyCartesianCoords, Cce::Tags::InertialRetardedTime > > > >
 

Static Public Attributes

static constexpr size_t volume_dim = 3
 
static constexpr bool has_primitive_and_conservative_vars = false
 

Detailed Description

template<bool EvolveCcm>
struct Cce::KleinGordonSystem< EvolveCcm >

Performing Cauchy characteristic evolution and Cauchy characteristic matching for Einstein-Klein-Gordon system.

Details

The code adopts the characteristic formulation to solve the field equations for scalar-tensor theory as considered in [126]. Working in the Einstein frame, a real-valued scalar field \(\psi\) is minimally coupled with the spacetime metric \(g_{\mu\nu}\). The corresponding action is expressed as follows:

\[ S = \int d^4x \sqrt{-g} \left(\frac{R}{16 \pi} - \frac{1}{2} \nabla_\mu \psi \nabla^\mu \psi\right). \]

The system consists of two sectors: scalar and tensor (metric). The scalar field follows the Klein-Gordon (KG) equation

\[ \Box \psi = 0. \]

Its characteristic expression is given in [12], yielding the hypersurface equation for \(\partial_u\psi=\Pi\), where \(\partial_u\) represents differentiation with respect to retarded time \(u\) at fixed numerical radius \(y\). The code first integrates the KG equation radially to determine \(\Pi\). Subsequently, the time integration is performed to evolve the scalar field \(\psi\) forward in time.

The tensor (metric) sector closely aligns with the current GR CCE system, incorporating additional source terms that depend only on the scalar field \(\psi\) and its spatial derivatives, rather than its time derivative \((\Pi)\). This feature preserves the hierarchical structure of the equations. As a result, the Einstein-Klein-Gordon system can be divided into three major sequential steps:

  • Integrate the metric hypersurface equations with the existing infrastructure
  • Integrate the KG equation for \(\Pi\)
  • Evolve two variables, \(\psi\) (scalar) and \(J\) (tensor) to the next time step

The documentation for this struct was generated from the following file: