CAPD DynSys Library  5.2.0
capd::dynsys::OdeTraits< MapT > Class Template Reference

Defines characteristic traits of ODE. More...

#include <capd/dynsys/OdeTraits.h>

Public Types

typedef MapT MapType
 
typedef MapType::VectorType VectorType
 
typedef MapType::MatrixType MatrixType
 
typedef MapType::ScalarType ScalarType
 
typedef capd::vectalg::Norm< VectorType, MatrixTypeNormType
 

Static Public Member Functions

static VectorType dynsysEnclosure (MapType &vectorField, const VectorType &x0, const ScalarType &timeStep)
 Computes enclosure of solution of ODE during one time step i.e $ \varphi([0,step],x) $. More...
 
static MatrixType jacobianEnclosure (MapType &vectorField, const ScalarType &timeStep, const VectorType &enclosure, const NormType &the_norm, ScalarType *logNormOfDerivative=0)
 Finds enclosure for Jacobian matrix (variational part) for whole time step. More...
 

Detailed Description

template<typename MapT>
class capd::dynsys::OdeTraits< MapT >

Defines characteristic traits of ODE.

This is default class, it should work for all ODE's. For given ODE sometimes it is better to re-implemented it.

Member Typedef Documentation

◆ MapType

template<typename MapT >
typedef MapT capd::dynsys::OdeTraits< MapT >::MapType

◆ MatrixType

template<typename MapT >
typedef MapType::MatrixType capd::dynsys::OdeTraits< MapT >::MatrixType

◆ NormType

template<typename MapT >
typedef capd::vectalg::Norm<VectorType,MatrixType> capd::dynsys::OdeTraits< MapT >::NormType

◆ ScalarType

template<typename MapT >
typedef MapType::ScalarType capd::dynsys::OdeTraits< MapT >::ScalarType

◆ VectorType

template<typename MapT >
typedef MapType::VectorType capd::dynsys::OdeTraits< MapT >::VectorType

Member Function Documentation

◆ dynsysEnclosure()

template<typename MapT >
static VectorType capd::dynsys::OdeTraits< MapT >::dynsysEnclosure ( MapType vectorField,
const VectorType x0,
const ScalarType timeStep 
)
inlinestatic

Computes enclosure of solution of ODE during one time step i.e $ \varphi([0,step],x) $.

Parameters
vectorFieldvector field
x0initial condition
timeStepfinal time
Returns
enclosure of solution of ODE

◆ jacobianEnclosure()

template<typename MapT >
static MatrixType capd::dynsys::OdeTraits< MapT >::jacobianEnclosure ( MapType vectorField,
const ScalarType timeStep,
const VectorType enclosure,
const NormType the_norm,
ScalarType logNormOfDerivative = 0 
)
inlinestatic

Finds enclosure for Jacobian matrix (variational part) for whole time step.

Parameters
vectorFieldvector field
timeSteptime step
enclosureenclosure of solution of ODE during whole time step
the_normlogarithmic norm used to bound solution
[out]logNormOfDerivativeif given on exit it contains logarythmic norm of derivative
Returns
matrix containing enclosure of Jacobian