KADATH
Kadath::Metric_ADS Class Reference

Class to manage anti de Sitter metrics. More...

#include <metric_AADS.hpp>

Inheritance diagram for Kadath::Metric_ADS:
Kadath::Metric

Public Member Functions

 Metric_ADS (const Space &space)
 Standard constructor. More...
 
 Metric_ADS (const Metric_ADS &so)
 Copy constructor. More...
 
virtual void manipulate_ind (Term_eq &so, int ind) const
 Uses the Metric to manipulate one of the index of a Term_eq (i.e. More...
 
virtual Term_eq derive (int type_der, char ind_der, const Term_eq &) const
 Computes the covariant derivative of a Term_eq (assumes Cartesian basis of decomposition). More...
 
virtual void set_system (System_of_eqs &syst, const char *name)
 Associate the metric to a given system of equations. More...
 
virtual Term_eq derive_partial (int typeder, char nameder, const Term_eq &so) const
 Computes the partial derivative of a Term_eq (assumes Cartesian basis of decomposition). More...
 
virtual Term_eq derive_flat (int typeder, char nameder, const Term_eq &so) const
 Computes the covariant flat derivative of a Term_eq. More...
 
virtual const Metricget_background () const
 Returns a pointer on the background metric, if it exists. More...
 
virtual int give_type (int) const
 Returns the type of tensorial basis of the covariant representation, in a given Domain. More...
 
const Term_eqgive_term (int typemet, int dd) const
 Gives one representation of the metric, in a Domain. More...
 
const Term_eqgive_christo (int dd) const
 Gives the Christoffel symbols, in a Domain. More...
 
const Term_eqgive_riemann (int dd) const
 Gives the Riemann tensor, in a Domain. More...
 
const Term_eqgive_ricci_tensor (int dd) const
 Gives the Ricci tensor, in a Domain. More...
 
const Term_eqgive_ricci_scalar (int dd) const
 Gives the Ricci scalar, in a Domain. More...
 
const Term_eqgive_dirac (int dd) const
 Gives the potential of the Dirac gauge, in a Domain. More...
 
const Term_eqgive_det_cov (int dd) const
 Gives the determinant of the covariant metric, in a Domain. More...
 

Protected Member Functions

virtual void compute_cov (int d) const
 Computes the covariant representation, in a given Domain. More...
 
virtual void compute_con (int d) const
 Computes the contravariant representation, in a given Domain. More...
 
virtual void compute_christo (int d) const
 Computes the Christoffel symbols, in a given Domain. More...
 
virtual void compute_riemann (int d) const
 Computes the Riemann tensor, in a given Domain. More...
 
virtual void compute_ricci_tensor (int d) const
 Computes the Ricci tensor, in a given Domain. More...
 
virtual void compute_ricci_scalar (int d) const
 Computes the Ricci scalar, in a given Domain. More...
 
virtual void update (int d)
 Updates the derived quantities (Christoffels etc..) in a given Domain This is done only for the ones that are needed, i.e. More...
 
virtual void update ()
 Updates the derived quantities (Christoffels etc..) This is done only for the ones that are needed, i.e. More...
 
void init_system (System_of_eqs &syst, const char *name_back_cov, const char *name_back_con, const char *name_back_ricci)
 Put the covariant and contravariant metric, dans the Ricci background into the System_of_eqs, as constants. More...
 
void init_system (System_of_eqs &syst, const char *name_back_cov, const char *name_back_con, const char *name_back_gam, const char *name_back_ricci)
 Put the covariant and contravariant metric, dans the Ricci background into the System_of_eqs, as constants. More...
 
virtual void compute_dirac (int) const
 Computes the Dirac gauge term, in a given Domain. More...
 
virtual void compute_det_cov (int) const
 Computes the determinant of the covariant representation, in a given Domain. More...
 

Protected Attributes

int m_nd
 number of physical domains (usually the last compaxtified domain is discarded). More...
 
double m_L
 AdS length. More...
 
Scalar m_rho2
 Scalar containing $ \frac{r^2}{L^2} $ More...
 
Scalar m_eps
 Scalar containing the conformal factor $\epsilon = (1 - \frac{r^2}{L^2})/(1 + \frac{r^2}{L^2})$. More...
 
Base_tensorp_basis
 Pointer on the tensorial basis (Cartesian basis only). More...
 
const Spaceespace
 The associated Space. More...
 
const System_of_eqssyst
 Pointer of the system of equations where the metric is used (only one for now). More...
 
MMPtr_array< Term_eqp_met_cov
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_met_con
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_christo
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_riemann
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_ricci_tensor
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_ricci_scalar
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_dirac
 Array of pointers on various Term_eq. More...
 
MMPtr_array< Term_eqp_det_cov
 Array of pointers on various Term_eq. More...
 
int type_tensor
 States if one works in the CON or COV representation. More...
 

Private Member Functions

Term_eq derive_simple (const Term_eq &so) const
 Computes the covariant derivative. More...
 
Term_eq div_eps (Term_eq &so, int n) const
 Division by the conformal factor $\epsilon^n$. More...
 
Term_eq mul_eps (Term_eq &so, int n) const
 Multiplication by the conformal factor $\epsilon^n$. More...
 

Friends

class Metric_AADS
 

Detailed Description

Class to manage anti de Sitter metrics.

Definition at line 44 of file metric_AADS.hpp.

Constructor & Destructor Documentation

◆ Metric_ADS() [1/2]

◆ Metric_ADS() [2/2]

Kadath::Metric_ADS::Metric_ADS ( const Metric_ADS so)

Copy constructor.

Definition at line 35 of file metric_ADS.cpp.

References p_basis.

Member Function Documentation

◆ compute_christo()

void Kadath::Metric_ADS::compute_christo ( int  dd) const
protectedvirtual

Computes the Christoffel symbols, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 168 of file metric_ADS.cpp.

References Kadath::Domain::get_cart(), Kadath::Val_domain::get_domain(), Kadath::Tensor::set(), Kadath::Array< T >::set(), and Kadath::Scalar::set_domain().

◆ compute_con()

void Kadath::Metric_ADS::compute_con ( int  ) const
protectedvirtual

Computes the contravariant representation, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 81 of file metric_ADS.cpp.

References Kadath::Tensor::set(), and Kadath::Scalar::set_domain().

◆ compute_cov()

void Kadath::Metric_ADS::compute_cov ( int  ) const
protectedvirtual

Computes the covariant representation, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 61 of file metric_ADS.cpp.

References Kadath::Metric::espace, Kadath::Space::get_ndim(), m_rho2, p_basis, Kadath::Metric::p_met_cov, Kadath::Tensor::set(), and Kadath::Scalar::set_domain().

◆ compute_det_cov()

void Kadath::Metric::compute_det_cov ( int  ) const
protectedvirtualinherited

Computes the determinant of the covariant representation, in a given Domain.

Reimplemented in Kadath::Metric_harmonic.

Definition at line 750 of file metric.cpp.

◆ compute_dirac()

void Kadath::Metric::compute_dirac ( int  ) const
protectedvirtualinherited

Computes the Dirac gauge term, in a given Domain.

Reimplemented in Kadath::Metric_conf, and Kadath::Metric_general.

Definition at line 745 of file metric.cpp.

◆ compute_ricci_scalar()

void Kadath::Metric_ADS::compute_ricci_scalar ( int  dd) const
protectedvirtual

Computes the Ricci scalar, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 346 of file metric_ADS.cpp.

References Kadath::Metric::espace, m_L, and Kadath::Metric::p_ricci_scalar.

◆ compute_ricci_tensor()

void Kadath::Metric_ADS::compute_ricci_tensor ( int  dd) const
protectedvirtual

Computes the Ricci tensor, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 336 of file metric_ADS.cpp.

◆ compute_riemann()

void Kadath::Metric_ADS::compute_riemann ( int  dd) const
protectedvirtual

Computes the Riemann tensor, in a given Domain.

Reimplemented from Kadath::Metric.

Definition at line 314 of file metric_ADS.cpp.

References Kadath::Index::inc(), Kadath::Tensor::set(), Kadath::Array< T >::set(), and Kadath::Scalar::set_domain().

◆ derive()

Term_eq Kadath::Metric_ADS::derive ( int  typeder,
char  nameder,
const Term_eq so 
) const
virtual

Computes the covariant derivative of a Term_eq (assumes Cartesian basis of decomposition).

The index corresponding to the derivation is given a name. If need be inner summation is performed.

Parameters
typeder: the result is either $D_i$ or $D^i$
nameder: the name given as the derivation index.
so: the Term_eq to be derived.
Returns
: the covariant derivative.

Reimplemented from Kadath::Metric.

Definition at line 268 of file metric_ADS.cpp.

References Kadath::Term_eq::der_t, Kadath::Tensor::do_summation_one_dom(), Kadath::Tensor::set_name_affected(), Kadath::Tensor::set_name_ind(), and Kadath::Term_eq::val_t.

◆ derive_flat()

Term_eq Kadath::Metric::derive_flat ( int  typeder,
char  nameder,
const Term_eq so 
) const
virtualinherited

Computes the covariant flat derivative of a Term_eq.

The index corresponding to the derivation is given a name. If need be inner summation is performed.

Parameters
typeder: the result is either $\bar{D}_i$ or $\bar{D}^i$
nameder: the name given as the derivation index.
so: the Term_eq to be derived.
Returns
: the covariant flat derivative.

Reimplemented in Kadath::Metric_nophi_AADS, Kadath::Metric_nophi, Kadath::Metric_cfc, Kadath::Metric_conf_factor, Kadath::Metric_conf, and Kadath::Metric_general.

Definition at line 402 of file metric.cpp.

◆ derive_partial()

Term_eq Kadath::Metric::derive_partial ( int  typeder,
char  nameder,
const Term_eq so 
) const
virtualinherited

◆ derive_simple()

Term_eq Kadath::Metric_ADS::derive_simple ( const Term_eq so) const
private

Computes the covariant derivative.

The name of the index is not defined (hence no inner summation is performed).

Parameters
so: the Term_eq to be derived.
Returns
: the covariant derivative.

Definition at line 210 of file metric_ADS.cpp.

References Kadath::Term_eq::der_t, Kadath::Tensor::get_index_type(), Kadath::Tensor::get_valence(), Kadath::Index::inc(), Kadath::Tensor::set(), Kadath::Index::set(), Kadath::Term_eq::set_der_zero(), Kadath::Scalar::set_domain(), Kadath::Index::set_start(), and Kadath::Term_eq::val_t.

◆ div_eps()

Term_eq Kadath::Metric_ADS::div_eps ( Term_eq so,
int  n 
) const
private

Division by the conformal factor $\epsilon^n$.

In the Domain containing the ADS boundary, the computation is performed in the coefficient space.

Parameters
so: the input Term_eq.
n: power of the division.
Returns
the result.

Definition at line 456 of file metric_ADS.cpp.

References Kadath::Term_eq::der_t, Kadath::Domain::div_1mrsL(), Kadath::Metric::espace, Kadath::Term_eq::get_dom(), Kadath::Space::get_domain(), Kadath::Domain::get_radius(), Kadath::Index::inc(), m_L, m_nd, m_rho2, and Kadath::Term_eq::val_t.

◆ get_background()

const Metric * Kadath::Metric::get_background ( ) const
virtualinherited

Returns a pointer on the background metric, if it exists.

Reimplemented in Kadath::Metric_AADS.

Definition at line 167 of file metric.cpp.

◆ give_christo()

const Term_eq * Kadath::Metric::give_christo ( int  dd) const
inherited

Gives the Christoffel symbols, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 124 of file metric.cpp.

References Kadath::Metric::compute_christo(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_christo.

◆ give_det_cov()

const Term_eq * Kadath::Metric::give_det_cov ( int  dd) const
inherited

Gives the determinant of the covariant metric, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 159 of file metric.cpp.

References Kadath::Metric::compute_det_cov(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_det_cov.

◆ give_dirac()

const Term_eq * Kadath::Metric::give_dirac ( int  dd) const
inherited

Gives the potential of the Dirac gauge, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 152 of file metric.cpp.

References Kadath::Metric::compute_dirac(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_dirac.

◆ give_ricci_scalar()

const Term_eq * Kadath::Metric::give_ricci_scalar ( int  dd) const
inherited

Gives the Ricci scalar, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 145 of file metric.cpp.

References Kadath::Metric::compute_ricci_scalar(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_ricci_scalar.

◆ give_ricci_tensor()

const Term_eq * Kadath::Metric::give_ricci_tensor ( int  dd) const
inherited

Gives the Ricci tensor, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 138 of file metric.cpp.

References Kadath::Metric::compute_ricci_tensor(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_ricci_tensor.

◆ give_riemann()

const Term_eq * Kadath::Metric::give_riemann ( int  dd) const
inherited

Gives the Riemann tensor, in a Domain.

This is the Term_eq version.

Parameters
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 131 of file metric.cpp.

References Kadath::Metric::compute_riemann(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), and Kadath::Metric::p_riemann.

◆ give_term()

const Term_eq * Kadath::Metric::give_term ( int  typemet,
int  dd 
) const
inherited

Gives one representation of the metric, in a Domain.

This is the Term_eq version.

Parameters
typemet: CON or COV.
dd: in which Domain.
Returns
: pointer on the result (being a Term_eq).

Definition at line 103 of file metric.cpp.

References Kadath::Metric::compute_con(), Kadath::Metric::compute_cov(), Kadath::Metric::espace, Kadath::Space::get_nbr_domains(), Kadath::Metric::p_met_con, and Kadath::Metric::p_met_cov.

◆ give_type()

int Kadath::Metric::give_type ( int  dd) const
virtualinherited

Returns the type of tensorial basis of the covariant representation, in a given Domain.

Reimplemented in Kadath::Metric_nophi_AADS, Kadath::Metric_nophi, Kadath::Metric_flat_nophi, Kadath::Metric_cfc, Kadath::Metric_conf_factor, Kadath::Metric_conf, Kadath::Metric_general, and Kadath::Metric_flat.

Definition at line 118 of file metric.cpp.

References Kadath::Metric::compute_cov(), and Kadath::Metric::p_met_cov.

◆ init_system() [1/2]

void Kadath::Metric_ADS::init_system ( System_of_eqs syst,
const char *  name_back_cov,
const char *  name_back_con,
const char *  name_back_gam,
const char *  name_back_ricci 
)
protected

Put the covariant and contravariant metric, dans the Ricci background into the System_of_eqs, as constants.

Parameters
syst: the System_of_eqs.
name_back_cov: name of the background convariant metric
name_back_con: name of the background contravariant metric
name_back_gam: name of the background Christoffels
name_back_ricci: name of the background Ricci tensor.

Definition at line 409 of file metric_ADS.cpp.

References Kadath::System_of_eqs::add_cst(), compute_christo(), compute_con(), compute_cov(), compute_ricci_tensor(), Kadath::System_of_eqs::dom_max, Kadath::System_of_eqs::dom_min, Kadath::Metric::espace, Kadath::Space::get_ndim(), p_basis, Kadath::Metric::p_christo, Kadath::Metric::p_met_con, Kadath::Metric::p_met_cov, Kadath::Metric::p_ricci_tensor, Kadath::Tensor::set(), Kadath::Array< T >::set(), Kadath::Scalar::set_domain(), and Kadath::Metric::syst.

◆ init_system() [2/2]

void Kadath::Metric_ADS::init_system ( System_of_eqs syst,
const char *  name_back_cov,
const char *  name_back_con,
const char *  name_back_ricci 
)
protected

Put the covariant and contravariant metric, dans the Ricci background into the System_of_eqs, as constants.

Parameters
syst: the System_of_eqs.
name_back_cov: name of the background convariant metric
name_back_con: name of the background contravariant metric
name_back_ricci: name of the background Ricci tensor.

Definition at line 370 of file metric_ADS.cpp.

References Kadath::System_of_eqs::add_cst(), compute_con(), compute_cov(), compute_ricci_tensor(), Kadath::System_of_eqs::dom_max, Kadath::System_of_eqs::dom_min, Kadath::Metric::espace, Kadath::Space::get_ndim(), p_basis, Kadath::Metric::p_met_con, Kadath::Metric::p_met_cov, Kadath::Metric::p_ricci_tensor, Kadath::Tensor::set(), Kadath::Scalar::set_domain(), and Kadath::Metric::syst.

◆ manipulate_ind()

void Kadath::Metric_ADS::manipulate_ind ( Term_eq so,
int  ind 
) const
virtual

Uses the Metric to manipulate one of the index of a Term_eq (i.e.

moves the index up or down)

Parameters
so: the Term_eq to be manipulated.
ind: index number.

Reimplemented from Kadath::Metric.

Definition at line 101 of file metric_ADS.cpp.

References Kadath::Index::inc(), Kadath::Tensor::set(), Kadath::Array< T >::set(), Kadath::Index::set(), Kadath::Scalar::set_domain(), Kadath::Tensor::set_name_affected(), and Kadath::Tensor::set_name_ind().

◆ mul_eps()

Term_eq Kadath::Metric_ADS::mul_eps ( Term_eq so,
int  n 
) const
private

Multiplication by the conformal factor $\epsilon^n$.

Parameters
so: the input Term_eq.
n: power of the multiplication.
Returns
the result.

Definition at line 488 of file metric_ADS.cpp.

References Kadath::Term_eq::der_t, Kadath::Term_eq::get_dom(), Kadath::Index::inc(), m_rho2, and Kadath::Term_eq::val_t.

◆ set_system()

void Kadath::Metric_ADS::set_system ( System_of_eqs syst,
const char *  name 
)
virtual

Associate the metric to a given system of equations.

Parameters
syst: the System_of_eqs.
name: name by which the metric will be known in the system (like "g", "f"...)

Definition at line 357 of file metric_ADS.cpp.

References Kadath::System_of_eqs::met, Kadath::System_of_eqs::name_met, and Kadath::Metric::syst.

◆ update() [1/2]

void Kadath::Metric_ADS::update ( )
protectedvirtual

Updates the derived quantities (Christoffels etc..) This is done only for the ones that are needed, i.e.

for the ones that have already been computed.

Reimplemented from Kadath::Metric.

Definition at line 56 of file metric_ADS.cpp.

References m_nd.

◆ update() [2/2]

void Kadath::Metric_ADS::update ( int  dd)
protectedvirtual

Updates the derived quantities (Christoffels etc..) in a given Domain This is done only for the ones that are needed, i.e.

for the ones that have already been computed.

Parameters
dd: the index of the Domain.

Reimplemented from Kadath::Metric.

Definition at line 45 of file metric_ADS.cpp.

References compute_christo(), compute_con(), compute_cov(), compute_ricci_scalar(), compute_ricci_tensor(), compute_riemann(), Kadath::Metric::p_christo, Kadath::Metric::p_met_con, Kadath::Metric::p_met_cov, Kadath::Metric::p_ricci_scalar, Kadath::Metric::p_ricci_tensor, Kadath::Metric::p_riemann, and Kadath::Metric::type_tensor.

Member Data Documentation

◆ espace

const Space& Kadath::Metric::espace
protectedinherited

The associated Space.

Definition at line 42 of file metric.hpp.

◆ m_eps

Scalar Kadath::Metric_ADS::m_eps
protected

Scalar containing the conformal factor $\epsilon = (1 - \frac{r^2}{L^2})/(1 + \frac{r^2}{L^2})$.

Definition at line 50 of file metric_AADS.hpp.

◆ m_L

double Kadath::Metric_ADS::m_L
protected

AdS length.

Definition at line 48 of file metric_AADS.hpp.

◆ m_nd

int Kadath::Metric_ADS::m_nd
protected

number of physical domains (usually the last compaxtified domain is discarded).

Definition at line 47 of file metric_AADS.hpp.

◆ m_rho2

Scalar Kadath::Metric_ADS::m_rho2
protected

Scalar containing $ \frac{r^2}{L^2} $

Definition at line 49 of file metric_AADS.hpp.

◆ p_basis

Base_tensor* Kadath::Metric_ADS::p_basis
protected

Pointer on the tensorial basis (Cartesian basis only).

Definition at line 51 of file metric_AADS.hpp.

◆ p_christo

MMPtr_array<Term_eq> Kadath::Metric::p_christo
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto one component of the Christoffel symbols, in a given Domain.

Definition at line 60 of file metric.hpp.

◆ p_det_cov

MMPtr_array<Term_eq> Kadath::Metric::p_det_cov
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto determinant of the covariant representation, in a given Domain.

Definition at line 85 of file metric.hpp.

◆ p_dirac

MMPtr_array<Term_eq> Kadath::Metric::p_dirac
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto the potential of the Dirac gauge, in a given Domain.

Definition at line 80 of file metric.hpp.

◆ p_met_con

MMPtr_array<Term_eq> Kadath::Metric::p_met_con
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto one component of the contravariant representation of the Metric, in a given Domain.

Definition at line 55 of file metric.hpp.

◆ p_met_cov

MMPtr_array<Term_eq> Kadath::Metric::p_met_cov
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto one component of the covariant representation of the Metric, in a given Domain.

Definition at line 50 of file metric.hpp.

◆ p_ricci_scalar

MMPtr_array<Term_eq> Kadath::Metric::p_ricci_scalar
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto the Ricci scalar, in a given Domain.

Definition at line 75 of file metric.hpp.

◆ p_ricci_tensor

MMPtr_array<Term_eq> Kadath::Metric::p_ricci_tensor
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto one component of the Ricci tensor, in a given Domain.

Definition at line 70 of file metric.hpp.

◆ p_riemann

MMPtr_array<Term_eq> Kadath::Metric::p_riemann
mutableprotectedinherited

Array of pointers on various Term_eq.

Each one points onto one component of the Riemann tensor, in a given Domain.

Definition at line 65 of file metric.hpp.

◆ syst

const System_of_eqs* Kadath::Metric::syst
protectedinherited

Pointer of the system of equations where the metric is used (only one for now).

Definition at line 44 of file metric.hpp.

◆ type_tensor

int Kadath::Metric::type_tensor
protectedinherited

States if one works in the CON or COV representation.

Definition at line 86 of file metric.hpp.


The documentation for this class was generated from the following files: