LORENE
Lorene::Connection_flat Class Referenceabstract

Class Connection_flat. More...

#include <connection.h>

Inheritance diagram for Lorene::Connection_flat:
Lorene::Connection Lorene::Connection_fcart Lorene::Connection_fspher

Public Member Functions

 Connection_flat (const Connection_flat &)
 Copy constructor. More...
 
virtual ~Connection_flat ()
 destructor More...
 
void operator= (const Connection_flat &)
 Assignment to another Connection_flat. More...
 
virtual Tensorp_derive_cov (const Tensor &tens) const =0
 Computes the covariant derivative $\nabla T$ of a tensor $T$ (with respect to the current connection). More...
 
virtual Tensorp_divergence (const Tensor &tens) const =0
 Computes the divergence of a tensor $T$ (with respect to the current connection). More...
 
virtual const Tensorricci () const
 Computes (if not up to date) and returns the Ricci tensor associated with the current connection. More...
 
void update (const Tensor_sym &delta_i)
 Update the connection when it is defined ab initio. More...
 
void update (const Metric &met)
 Update the connection when it is associated with a metric. More...
 
const Mapget_mp () const
 Returns the mapping. More...
 
const Tensor_symget_delta () const
 Returns the tensor $\Delta^i_{\ jk}$ which defines the connection with respect to the flat one: $\Delta^i_{\ jk}$ is the difference between the connection coefficients $\Gamma^i_{\ jk}$ and the connection coefficients ${\bar \Gamma}^i_{\ jk}$ of the flat connection. More...
 

Protected Member Functions

 Connection_flat (const Map &, const Base_vect &)
 Contructor from a triad, has to be defined in the derived classes. More...
 
void del_deriv () const
 Deletes all the derived quantities. More...
 
void set_der_0x0 () const
 Sets to 0x0 all the pointers on derived quantities. More...
 

Protected Attributes

const Map *const mp
 Reference mapping. More...
 
const Base_vect *const triad
 Triad $(e_i)$ with respect to which the connection coefficients are defined. More...
 
Tensor_sym delta
 Tensor $\Delta^i_{\ jk}$ which defines the connection with respect to the flat one: $\Delta^i_{\ jk}$ is the difference between the connection coefficients $\Gamma^i_{\ jk}$ and the connection coefficients ${\bar \Gamma}^i_{\ jk}$ of the flat connection. More...
 
bool assoc_metric
 Indicates whether the connection is associated with a metric (in which case the Ricci tensor is symmetric, i.e. More...
 
Tensorp_ricci
 Pointer of the Ricci tensor associated with the connection. More...
 

Detailed Description

Class Connection_flat.

()

Abstract class for connections associated with a flat metric.

Definition at line 354 of file connection.h.

Constructor & Destructor Documentation

◆ Connection_flat() [1/2]

Lorene::Connection_flat::Connection_flat ( const Map mpi,
const Base_vect bi 
)
protected

Contructor from a triad, has to be defined in the derived classes.

Definition at line 80 of file connection_flat.C.

References Lorene::Connection::assoc_metric, Lorene::Connection::delta, and Lorene::Tensor::set_etat_zero().

◆ Connection_flat() [2/2]

Lorene::Connection_flat::Connection_flat ( const Connection_flat ci)

Copy constructor.

Definition at line 90 of file connection_flat.C.

◆ ~Connection_flat()

Lorene::Connection_flat::~Connection_flat ( )
virtual

destructor

Definition at line 100 of file connection_flat.C.

Member Function Documentation

◆ del_deriv()

void Lorene::Connection::del_deriv ( ) const
protectedinherited

Deletes all the derived quantities.

Definition at line 208 of file connection.C.

References Lorene::Connection::p_ricci, and Lorene::Connection::set_der_0x0().

◆ get_delta()

const Tensor_sym& Lorene::Connection::get_delta ( ) const
inlineinherited

Returns the tensor $\Delta^i_{\ jk}$ which defines the connection with respect to the flat one: $\Delta^i_{\ jk}$ is the difference between the connection coefficients $\Gamma^i_{\ jk}$ and the connection coefficients ${\bar \Gamma}^i_{\ jk}$ of the flat connection.

The connection coefficients with respect to the triad $(e_i)$ are defined according to the MTW convention:

\[ \Gamma^i_{\ jk} := \langle e^i, \nabla_{e_k} \, e_j \rangle \]

Note that $\Delta^i_{\ jk}$ is symmetric with respect to the indices j and k.

Returns
delta}(i,j,k) = $\Delta^i_{\ jk}$

Definition at line 271 of file connection.h.

References Lorene::Connection::delta.

◆ get_mp()

const Map& Lorene::Connection::get_mp ( ) const
inlineinherited

Returns the mapping.

Definition at line 253 of file connection.h.

References Lorene::Connection::mp.

◆ operator=()

void Lorene::Connection_flat::operator= ( const Connection_flat )

Assignment to another Connection_flat.

Definition at line 110 of file connection_flat.C.

◆ p_derive_cov()

virtual Tensor* Lorene::Connection_flat::p_derive_cov ( const Tensor tens) const
pure virtual

Computes the covariant derivative $\nabla T$ of a tensor $T$ (with respect to the current connection).

The extra index (with respect to the indices of $T$) of $\nabla T$ is chosen to be the last one. This convention agrees with that of MTW (see Eq. (10.17) of MTW). For instance, if $T$ is a 1-form, whose components w.r.t. the triad $e^i$ are $T_i$: $T=T_i \; e^i$, then the covariant derivative of $T$ is the bilinear form $\nabla T$ whose components $\nabla_j T_i$ are such that

\[ \nabla T = \nabla_j T_i \; e^i \otimes e^j \]

Parameters
tenstensor $T$
Returns
pointer on the covariant derivative $\nabla T$ ; this pointer is polymorphe, i.e. it is a pointer on a Vector if the argument is a Scalar , and on a Tensor otherwise. NB: The corresponding memory is allocated by the method p_derive_cov() and must be deallocated by the user afterwards.

Reimplemented from Lorene::Connection.

Implemented in Lorene::Connection_fcart, and Lorene::Connection_fspher.

◆ p_divergence()

virtual Tensor* Lorene::Connection_flat::p_divergence ( const Tensor tens) const
pure virtual

Computes the divergence of a tensor $T$ (with respect to the current connection).

The divergence is taken with respect of the last index of $T$ which thus must be contravariant. For instance if $T$ is a twice contravariant tensor, whose components w.r.t. the triad $e_i$ are $T^{ij}$: $T = T^{ij} \; e_i \otimes e_j$, the divergence of $T$ is the vector

\[ {\rm div} T = \nabla_k T^{ik} \; e_i \]

where $\nabla$ denotes the current connection.

Parameters
tenstensor $T$
Returns
pointer on the divergence of $T$ ; this pointer is polymorphe, i.e. its is a pointer on a Scalar if $T$ is a Vector , on a Vector if $T$ is a tensor of valence 2, and on a Tensor otherwise. NB: The corresponding memory is allocated by the method p_divergence() and must be deallocated by the user afterwards.

Reimplemented from Lorene::Connection.

Implemented in Lorene::Connection_fcart, and Lorene::Connection_fspher.

◆ ricci()

const Tensor & Lorene::Connection_flat::ricci ( ) const
virtual

Computes (if not up to date) and returns the Ricci tensor associated with the current connection.

Reimplemented from Lorene::Connection.

Definition at line 124 of file connection_flat.C.

References Lorene::Connection::mp, Lorene::Connection::p_ricci, Lorene::Tensor::set_etat_zero(), and Lorene::Connection::triad.

◆ set_der_0x0()

void Lorene::Connection::set_der_0x0 ( ) const
protectedinherited

Sets to 0x0 all the pointers on derived quantities.

Definition at line 216 of file connection.C.

References Lorene::Connection::p_ricci.

◆ update() [1/2]

void Lorene::Connection::update ( const Tensor_sym delta_i)
inherited

Update the connection when it is defined ab initio.

Parameters
delta_itensor $\Delta^i_{\ jk}$ which defines the connection with respect to the flat one: $\Delta^i_{\ jk}$ is the difference between the connection coefficients $\Gamma^i_{\ jk}$ and the connection coefficients ${\bar \Gamma}^i_{\ jk}$ of the flat connection. $\Delta^i_{\ jk}$ must be symmetric with respect to the indices j and k.

Definition at line 238 of file connection.C.

References Lorene::Connection::assoc_metric, Lorene::Connection::del_deriv(), Lorene::Connection::delta, Lorene::Connection::flat_met, Lorene::Tensor::get_index_type(), Lorene::Tensor::get_valence(), Lorene::Tensor_sym::sym_index1(), and Lorene::Tensor_sym::sym_index2().

◆ update() [2/2]

void Lorene::Connection::update ( const Metric met)
inherited

Update the connection when it is associated with a metric.

Parameters
metMetric to which the connection is associated

Definition at line 258 of file connection.C.

References Lorene::Connection::assoc_metric, Lorene::Connection::del_deriv(), Lorene::Connection::fait_delta(), and Lorene::Connection::flat_met.

Member Data Documentation

◆ assoc_metric

bool Lorene::Connection::assoc_metric
protectedinherited

Indicates whether the connection is associated with a metric (in which case the Ricci tensor is symmetric, i.e.

the actual type of p_ricci is a Sym_tensor )

Definition at line 147 of file connection.h.

◆ delta

Tensor_sym Lorene::Connection::delta
protectedinherited

Tensor $\Delta^i_{\ jk}$ which defines the connection with respect to the flat one: $\Delta^i_{\ jk}$ is the difference between the connection coefficients $\Gamma^i_{\ jk}$ and the connection coefficients ${\bar \Gamma}^i_{\ jk}$ of the flat connection.

The connection coefficients with respect to the triad $(e_i)$ are defined according to the MTW convention:

\[ \Gamma^i_{\ jk} := \langle e^i, \nabla_{e_k} \, e_j \rangle \]

Note that $\Delta^i_{\ jk}$ is symmetric with respect to the indices j and k.

Definition at line 141 of file connection.h.

◆ mp

const Map* const Lorene::Connection::mp
protectedinherited

Reference mapping.

Definition at line 119 of file connection.h.

◆ p_ricci

Tensor* Lorene::Connection::p_ricci
mutableprotectedinherited

Pointer of the Ricci tensor associated with the connection.

Definition at line 164 of file connection.h.

◆ triad

const Base_vect* const Lorene::Connection::triad
protectedinherited

Triad $(e_i)$ with respect to which the connection coefficients are defined.

Definition at line 124 of file connection.h.


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