Local solver diffusion equation on hypergraph. More...

#include <diffusion_ldgh.hxx>

Classes
struct	data_type
	Define type of (hyperedge related) data that is stored in HyDataContainer. More...

struct	error_def
	Define how errors are evaluated. More...

struct	node_element
	Define type of node elements, especially with respect to nodal shape functions. More...

Public Types
typedef lSol_float_t	constructor_value_type
	Class is constructed using a single double indicating the penalty parameter. More...

Public Member Functions
	Diffusion (const constructor_value_type &tau=1.)
	Constructor for local solver. More...

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >
SmallMatOutT &	trace_to_flux (const SmallMatInT &lambda_values_in, SmallMatOutT &lambda_values_out, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate local contribution to matrix–vector multiplication. More...

template<typename hyEdgeT >
std::array< unsigned int, 2 *hyEdge_dimT >	node_types (hyEdgeT &hyper_edge) const
	Fill an array with 1 if the node is Dirichlet and 0 otherwise. More...

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >
SmallMatOutT &	residual_flux (const SmallMatInT &lambda_values_in, SmallMatOutT &lambda_values_out, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate local contribution to residual \( A x - b \). More...

template<typename hyEdgeT , typename SmallMatT >
SmallMatT &	make_initial (SmallMatT &lambda_values, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate L2 projected lambda values at initial state. More...

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >
SmallMatOutT &	trace_to_mass_flux (const SmallMatInT &lambda_values_in, SmallMatOutT &lambda_values_out, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate local contribution to mass matrix–vector multiplication. More...

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >
SmallMatOutT &	total_numerical_flux_mass (const SmallMatInT &lambda_values_in, SmallMatOutT &lambda_values_out, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate local contribution to mass matrix–vector residual. More...

template<typename hyEdgeT , typename SmallMatT >
std::array< lSol_float_t, 1U >	errors (const SmallMatT &lambda_values, hyEdgeT &hy_edge, const lSol_float_t time=0.) const
	Calculate squared local contribution of L2 error. More...

template<typename hyEdgeT , typename SmallMatT >
lSol_float_t	errors_temp (const SmallMatT &lambda_values_new, const SmallMatT &lambda_values_old, hyEdgeT &hy_edge, const lSol_float_t delta_t, const lSol_float_t time) const
	Parabolic approximation version of local squared L2 error. More...

template<typename abscissa_float_t , std::size_t abscissas_sizeT, class input_array_t , class hyEdgeT >
std::array< std::array< lSol_float_t, Hypercube< hyEdge_dimT >::pow(abscissas_sizeT)>, system_dim >	bulk_values (const std::array< abscissa_float_t, abscissas_sizeT > &abscissas, const input_array_t &lambda_values, hyEdgeT &hyper_edge, const lSol_float_t time=0.) const
	Evaluate local reconstruction at tensorial products of abscissas. More...

Static Public Member Functions
static constexpr unsigned int	hyEdge_dim ()
	Dimension of hyper edge type that this object solves on. More...

static constexpr unsigned int	n_glob_dofs_per_node ()
	Evaluate amount of global degrees of freedom per hypernode. More...

static constexpr unsigned int	system_dimension ()
	Dimension of of the solution evaluated with respect to a hyperedge. More...

static constexpr unsigned int	node_system_dimension ()
	Dimension of of the solution evaluated with respect to a hypernode. More...

Private Types
typedef TPP::Quadrature::Tensorial< TPP::Quadrature::GaussLegendre< quad_deg >, TPP::ShapeFunction< TPP::ShapeType::Tensorial< TPP::ShapeType::Legendre< poly_deg >, hyEdge_dimT > >, lSol_float_t >	integrator
	An integrator helps to easily evaluate integrals (e.g. via quadrature). More...

Private Member Functions
template<typename hyEdgeT >
SmallSquareMat< n_loc_dofs_, lSol_float_t >	assemble_loc_matrix (const lSol_float_t tau, hyEdgeT &hyper_edge, const lSol_float_t time) const
	Assemble local matrix for the local solver. More...

template<typename hyEdgeT , typename SmallMatT >
SmallVec< n_loc_dofs_, lSol_float_t >	assemble_rhs_from_lambda (const SmallMatT &lambda_values, hyEdgeT &hyper_edge) const
	Assemble local right-hand for the local solver (from skeletal). More...

template<typename hyEdgeT >
SmallVec< n_loc_dofs_, lSol_float_t >	assemble_rhs_from_global_rhs (hyEdgeT &hyper_edge, const lSol_float_t time) const
	Assemble local right-hand for the local solver (from global right-hand side). More...

template<typename hyEdgeT , typename SmallVecT >
SmallVec< n_loc_dofs_, lSol_float_t >	assemble_rhs_from_coeffs (const SmallVecT &coeffs, hyEdgeT &hyper_edge) const
	Assemble local right-hand for the local solver (from volume function coefficients). More...

template<typename hyEdgeT , typename SmallMatT >
SmallVec< n_loc_dofs_, lSol_float_t >	solve_local_problem (const SmallMatT &lambda_values, const unsigned int solution_type, hyEdgeT &hyper_edge, const lSol_float_t time) const
	Solve local problem (with right-hand side from skeletal). More...

template<typename hyEdgeT , typename SmallMatT >
SmallVec< n_loc_dofs_, lSol_float_t >	solve_mass_problem (const SmallMatT &lambda_values, hyEdgeT &hyper_edge, const lSol_float_t time) const
	Solve local problem for mass matrix approximation. More...

template<typename hyEdgeT , typename SmallMatT , typename SmallVecT >
SmallVec< n_loc_dofs_, lSol_float_t >	solve_loc_prob_cor (const SmallMatT &lambda_values, const SmallVecT &coeffs, hyEdgeT &hyper_edge, const lSol_float_t UNUSED(delta_time), const lSol_float_t time) const
	Solve local problem for parabolic approximations. More...

template<typename hyEdgeT >
SmallMat< 2 *hyEdge_dimT, n_shape_bdr_, lSol_float_t >	primal_at_boundary (const SmallVec< n_loc_dofs_, lSol_float_t > &coeffs, hyEdgeT &hyper_edge) const
	Evaluate primal variable at boundary. More...

template<typename hyEdgeT >
SmallMat< 2 *hyEdge_dimT, n_shape_bdr_, lSol_float_t >	dual_at_boundary (const SmallVec< n_loc_dofs_, lSol_float_t > &coeffs, hyEdgeT &hyper_edge) const
	Evaluate dual variable at boundary. More...

Static Private Member Functions
template<typename parameters >
static constexpr bool	is_dirichlet (const unsigned int node_type)
	Find out whether a node is of Dirichlet type. More...

Private Attributes
const lSol_float_t	tau_
	(Globally constant) penalty parameter for HDG scheme. More...

Static Private Attributes
static constexpr unsigned int	n_shape_fct_ = n_glob_dofs_per_node() * (poly_deg + 1)
	Number of local shape functions (with respect to all spatial dimensions). More...

static constexpr unsigned int	n_shape_bdr_ = n_glob_dofs_per_node()
	Number oflocal shape functions (with respect to a face / hypernode). More...

static constexpr unsigned int	n_loc_dofs_ = (hyEdge_dimT + 1) * n_shape_fct_
	Number of (local) degrees of freedom per hyperedge. More...

static constexpr unsigned int	system_dim = system_dimension()
	Dimension of of the solution evaluated with respect to a hypernode. More...

static constexpr unsigned int	node_system_dim = node_system_dimension()
	Dimension of of the solution evaluated with respect to a hypernode. More...

Detailed Description

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>
class LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >

Local solver diffusion equation on hypergraph.

This class contains the local solver for an isotropic diffusion equation, i.e.,

\[ - \nabla \cdot ( d \nabla u ) = f \quad \text{ in } \Omega, \qquad u = u_\text D \quad \text{ on } \partial \Omega_\text D, \qquad - d \nabla u \cdot \nu = g_\text N \quad \text{ on } \partial \Omega_\text N \]

in a spatial domain \(\Omega \subset \mathbb R^d\). Here, \(d\) is the spatial dimension space_dim, \(\Omega\) is a regular graph (hyEdge_dimT = 1) or hypergraph whose hyperedges are surfaces (hyEdge_dimT = 2) or volumes (hyEdge_dimT = 3) or hypervolumes (in case of hyEdge_dimT > 3). \(f\) and \(d\) are scalars defined in the whole domain, the Dirichlet and Neumann boundary data needs to be defined on their respective hypernodes.

Moreover, this class provides the functions that approximate the condensed mass matrix. By this, it is possible to approximate parabolic problems (in a very bad way) and to find good starting values for the nonlinear eigenvalue problem.

Template Parameters

hyEdge_dimT	Dimension of a hyperedge, i.e., 1 is for PDEs defined on graphs, 2 is for PDEs defined on surfaces, and 3 is for PDEs defined on volumes.
poly_deg	The polynomial degree of test and trial functions.
quad_deg	The order of the quadrature rule.
parametersT	Struct depending on templates `space_dimTP` and `lSol_float_TP` that contains static parameter functions. Defaults to above functions included in `DiffusionParametersDefault`.
lSol_float_t	The floating point type calculations are executed in. Defaults to double.

Authors: Guido Kanschat, Heidelberg University, 2019–2020.; Andreas Rupp, Heidelberg University, 2019–2020.

Member Typedef Documentation

◆ constructor_value_type

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

typedef lSol_float_t LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::constructor_value_type

Class is constructed using a single double indicating the penalty parameter.

◆ integrator

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

typedef TPP::Quadrature::Tensorial< TPP::Quadrature::GaussLegendre<quad_deg>, TPP::ShapeFunction<TPP::ShapeType::Tensorial<TPP::ShapeType::Legendre<poly_deg>, hyEdge_dimT> >, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::integrator

private

An integrator helps to easily evaluate integrals (e.g. via quadrature).

Constructor & Destructor Documentation

◆ Diffusion()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::Diffusion ( const constructor_value_type & tau = 1. )

inline

Constructor for local solver.

Parameters

tau	Penalty parameter of HDG scheme.

Member Function Documentation

◆ assemble_loc_matrix()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT >

SmallSquareMat<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::assemble_loc_matrix	(	const lSol_float_t	tau,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time
	)		const

inlineprivate

Assemble local matrix for the local solver.

Template Parameters

hyEdgeT The geometry type / typename of the considered hyEdge's geometry.

Parameters

tau	Penalty parameter.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Time, when the local matrix is evaluated.

Return values

loc_mat Matrix of the local solver.

◆ assemble_rhs_from_coeffs()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallVecT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::assemble_rhs_from_coeffs	(	const SmallVecT &	coeffs,
		hyEdgeT &	hyper_edge
	)		const

inlineprivate

Assemble local right-hand for the local solver (from volume function coefficients).

Note that we basically follow the lines of

B. Cockburn, J. Gopalakrishnan, and R. Lazarov. Unified hybridization of discontinuous Galerkin, mixed, and continuous Galerkin methods for second order elliptic problems. SIAM Journal on Numerical Analysis, 47(2):1319–1365, 2009

and discriminate between local solvers with respect to the skeletal variable and with respect to the global right-hand side. This assembles the local right-hand side with respect to the global right-hand side. This function implicitly uses the parameters.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallVecT	The data type of the coefficients.

Parameters

coeffs	Local coefficients of bulk variable u.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).

Return values

loc_rhs Local right hand side of the locasl solver.

◆ assemble_rhs_from_global_rhs()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::assemble_rhs_from_global_rhs	(	hyEdgeT &	hyper_edge,
		const lSol_float_t	time
	)		const

inlineprivate

Assemble local right-hand for the local solver (from global right-hand side).

Note that we basically follow the lines of

B. Cockburn, J. Gopalakrishnan, and R. Lazarov. Unified hybridization of discontinuous Galerkin, mixed, and continuous Galerkin methods for second order elliptic problems. SIAM Journal on Numerical Analysis, 47(2):1319–1365, 2009

and discriminate between local solvers with respect to the skeletal variable and with respect to the global right-hand side. This assembles the local right-hand side with respect to the global right-hand side. This function implicitly uses the parameters.

Template Parameters

hyEdgeT The geometry type / typename of the considered hyEdge's geometry.

Parameters

hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Point of time, rhs is evaluated at

Return values

loc_rhs Local right hand side of the locasl solver.

◆ assemble_rhs_from_lambda()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::assemble_rhs_from_lambda	(	const SmallMatT &	lambda_values,
		hyEdgeT &	hyper_edge
	)		const

inlineprivate

Assemble local right-hand for the local solver (from skeletal).

The right hand side needs the values of the global degrees of freedom. Note that we basically follow the lines of

B. Cockburn, J. Gopalakrishnan, and R. Lazarov. Unified hybridization of discontinuous Galerkin, mixed, and continuous Galerkin methods for second order elliptic problems. SIAM Journal on Numerical Analysis, 47(2):1319–1365, 2009

and discriminate between local solvers with respect to the skeletal variable and with respect to the global right-hand side. This assembles the local right-hand side with respect to the skeletal variable.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	The data type of the `lambda` values.

Parameters

lambda_values	Global degrees of freedom associated to the hyperedge.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).

Return values

loc_rhs Local right hand side of the locasl solver.

◆ bulk_values()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename abscissa_float_t , std::size_t abscissas_sizeT, class input_array_t , class hyEdgeT >

std::array<std::array<lSol_float_t, Hypercube<hyEdge_dimT>::pow(abscissas_sizeT)>, system_dim> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::bulk_values	(	const std::array< abscissa_float_t, abscissas_sizeT > &	abscissas,
		const input_array_t &	lambda_values,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

Evaluate local reconstruction at tensorial products of abscissas.

Template Parameters

absc_float_t	Floating type for the abscissa values.
abscissas_sizeT	Size of the array of array of abscissas.
input_array_t	Type of input array.
hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.

Parameters

abscissas	Abscissas of the supporting points.
lambda_values	The values of the skeletal variable's coefficients.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Time at which analytic functions are evaluated.

Return values

function_values Function values at quadrature points.

◆ dual_at_boundary()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT >

SmallMat<2 * hyEdge_dimT, n_shape_bdr_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::dual_at_boundary	(	const SmallVec< n_loc_dofs_, lSol_float_t > &	coeffs,
		hyEdgeT &	hyper_edge
	)		const

inlineprivate

Evaluate dual variable at boundary.

Function to evaluate dual variable of the solution. This function is needed to calculate the local numerical fluxes.

Template Parameters

hyEdgeT The geometry type / typename of the considered hyEdge's geometry.

Parameters

coeffs	Coefficients of the local solution.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).

Return values

bdr_coeffs Coefficients of respective (dim-1) dimensional function at boundaries.

◆ errors()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

std::array<lSol_float_t, 1U> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::errors	(	const SmallMatT &	lambda_values,
		hyEdgeT &	hy_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Calculate squared local contribution of L2 error.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	Data type of `lambda_values`.

Parameters

lambda_values	The values of the skeletal variable's coefficients.
hy_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Time at which anaytic functions are evaluated.

Return values

vec_b Local part of vector b.

Here is the call graph for this function:

◆ errors_temp()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

lSol_float_t LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::errors_temp	(	const SmallMatT &	lambda_values_new,
		const SmallMatT &	lambda_values_old,
		hyEdgeT &	hy_edge,
		const lSol_float_t	delta_t,
		const lSol_float_t	time
	)		const

inline

Parabolic approximation version of local squared L2 error.

Note: This function is not used for elliptic problems.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	Data type of `lambda_values`.

Parameters

lambda_values_new	Abscissas of the supporting points.
lambda_values_old	The values of the skeletal variable's coefficients.
hy_edge	The geometry of the considered hyperedge (of typename GeomT).
delta_t	Time step size.
time	Time.

Return values

vec_b Local part of vector b.

Here is the call graph for this function:

◆ hyEdge_dim()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

static constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::hyEdge_dim ( )

inlinestaticconstexpr

Dimension of hyper edge type that this object solves on.

◆ is_dirichlet()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename parameters >

static constexpr bool LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::is_dirichlet ( const unsigned int node_type )

inlinestaticconstexprprivate

Find out whether a node is of Dirichlet type.

◆ make_initial()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

SmallMatT& LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::make_initial	(	SmallMatT &	lambda_values,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Evaluate L2 projected lambda values at initial state.

Note: This function is not used for elliptic problems.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	Data type of `lambda_values`.

Parameters

lambda_values	Local part of vector x.
hyper_edge	The geometry of the considered hyperedge (of typename hyEdgeT).
time	Initial time.

Return values

lambda_vakues L2 projected lambda ar initial state.

Here is the call graph for this function:

◆ n_glob_dofs_per_node()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

static constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::n_glob_dofs_per_node ( )

inlinestaticconstexpr

Evaluate amount of global degrees of freedom per hypernode.

This number must be equal to HyperNodeFactory::n_dofs_per_node() of the HyperNodeFactory cooperating with this object.

Return values

n_dofs Number of global degrees of freedom per hypernode.

Here is the call graph for this function:

◆ node_system_dimension()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

static constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::node_system_dimension ( )

inlinestaticconstexpr

Dimension of of the solution evaluated with respect to a hypernode.

◆ node_types()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT >

std::array<unsigned int, 2 * hyEdge_dimT> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::node_types ( hyEdgeT & hyper_edge ) const

inline

Fill an array with 1 if the node is Dirichlet and 0 otherwise.

◆ primal_at_boundary()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT >

SmallMat<2 * hyEdge_dimT, n_shape_bdr_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::primal_at_boundary	(	const SmallVec< n_loc_dofs_, lSol_float_t > &	coeffs,
		hyEdgeT &	hyper_edge
	)		const

inlineprivate

Evaluate primal variable at boundary.

Function to evaluate primal variable of the solution. This function is needed to calculate the local numerical fluxes.

Template Parameters

hyEdgeT The geometry type / typename of the considered hyEdge's geometry.

Parameters

coeffs	Coefficients of the local solution.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).

Return values

bdr_coeffs Coefficients of respective (dim-1) dimensional function at boundaries.

◆ residual_flux()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >

SmallMatOutT& LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::residual_flux	(	const SmallMatInT &	lambda_values_in,
		SmallMatOutT &	lambda_values_out,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Evaluate local contribution to residual \( A x - b \).

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatInT	Data type of `lambda_values_in`.
SmallMatOutT	Data type of `lambda_values_out`.

Parameters

lambda_values_in	Local part of vector x.
lambda_values_out	Local part that will be added to A * x.
hyper_edge	The geometry of the considered hyperedge (of typename hyEdgeT).
time	Time at which analytic functions are evaluated.

Return values

vecAx Local part of vector A * x - b.

Here is the call graph for this function:

◆ solve_loc_prob_cor()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT , typename SmallVecT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::solve_loc_prob_cor	(	const SmallMatT &	lambda_values,
		const SmallVecT &	coeffs,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	UNUSEDdelta_time,
		const lSol_float_t	time
	)		const

inlineprivate

Solve local problem for parabolic approximations.

Note: This function is not use for elliptic problems.

Here is the call graph for this function:

◆ solve_local_problem()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::solve_local_problem	(	const SmallMatT &	lambda_values,
		const unsigned int	solution_type,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time
	)		const

inlineprivate

Solve local problem (with right-hand side from skeletal).

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	The data type of `lambda_values`.

Parameters

lambda_values	Global degrees of freedom associated to the hyperedge.
solution_type	Type of local problem that is to be solved.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Point of time the problem is solved.

Return values

loc_sol Solution of the local problem.

Here is the call graph for this function:

◆ solve_mass_problem()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatT >

SmallVec<n_loc_dofs_, lSol_float_t> LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::solve_mass_problem	(	const SmallMatT &	lambda_values,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time
	)		const

inlineprivate

Solve local problem for mass matrix approximation.

Note: This function is not use for elliptic problems.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatT	The data type for the lambda_values.

Parameters

lambda_values	Global degrees of freedom associated to the hyperedge.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Point of time the local problem is solved at.

Return values

loc_sol Solution of the local problem.

Here is the call graph for this function:

◆ system_dimension()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

static constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::system_dimension ( )

inlinestaticconstexpr

Dimension of of the solution evaluated with respect to a hyperedge.

◆ total_numerical_flux_mass()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >

SmallMatOutT& LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::total_numerical_flux_mass	(	const SmallMatInT &	lambda_values_in,
		SmallMatOutT &	lambda_values_out,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Evaluate local contribution to mass matrix–vector residual.

Note: This function is not used for elliptic problems.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatInT	Data type of `lambda_values_in`.
SmallMatOutT	Data type of \¢ lambda_values_out

Parameters

lambda_values_in	Local part of vector x.
lambda_values_out	Local part that will be added to A * x.
hyper_edge	The geometry of the considered hyperedge (of typename hyEdgeT).
time	Time.

Return values

vecAx Local part of mass matrix residual.

Here is the call graph for this function:

◆ trace_to_flux()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >

SmallMatOutT& LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::trace_to_flux	(	const SmallMatInT &	lambda_values_in,
		SmallMatOutT &	lambda_values_out,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Evaluate local contribution to matrix–vector multiplication.

Execute matrix–vector multiplication y = A * x, where x represents the vector containing the skeletal variable (adjacent to one hyperedge), and A is the condensed matrix arising from the HDG discretization. This function does this multiplication (locally) for one hyperedge. The hyperedge is no parameter, since all hyperedges are assumed to have the same properties.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatInT	Data type of `lambda_values_in`.
SmallMatOutT	Data type of `lambda_values_out`.

Parameters

lambda_values_in	Local part of vector x.
lambda_values_out	Local part that will be added to A * x.
hyper_edge	The geometry of the considered hyperedge (of typename GeomT).
time	Time.

Return values

vecAx Local part of vector A * x.

Here is the call graph for this function:

◆ trace_to_mass_flux()

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

template<typename hyEdgeT , typename SmallMatInT , typename SmallMatOutT >

SmallMatOutT& LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::trace_to_mass_flux	(	const SmallMatInT &	lambda_values_in,
		SmallMatOutT &	lambda_values_out,
		hyEdgeT &	hyper_edge,
		const lSol_float_t	time = `0.`
	)		const

inline

Evaluate local contribution to mass matrix–vector multiplication.

Note: This function is not used for elliptic problems.

Template Parameters

hyEdgeT	The geometry type / typename of the considered hyEdge's geometry.
SmallMatInT	Data type of `lambda_values_in`.
SmallMatOutT	Data type of `lambda_values_out`.

Parameters

lambda_values_in	Local part of vector x.
lambda_values_out	Local part that will be added to A * x-
hyper_edge	The geometry of the considered hyperedge (of typename hyEdgeT).
time	Time at which analytic functions are evaluated.

Return values

vecAx Local part of vector A * x.

Here is the call graph for this function:

Member Data Documentation

◆ n_loc_dofs_

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::n_loc_dofs_ = (hyEdge_dimT + 1) * n_shape_fct_

staticconstexprprivate

Number of (local) degrees of freedom per hyperedge.

◆ n_shape_bdr_

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::n_shape_bdr_ = n_glob_dofs_per_node()

staticconstexprprivate

Number oflocal shape functions (with respect to a face / hypernode).

◆ n_shape_fct_

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::n_shape_fct_ = n_glob_dofs_per_node() * (poly_deg + 1)

staticconstexprprivate

Number of local shape functions (with respect to all spatial dimensions).

◆ node_system_dim

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::node_system_dim = node_system_dimension()

staticconstexprprivate

Dimension of of the solution evaluated with respect to a hypernode.

This allows to the use of this quantity as template parameter in member functions.

◆ system_dim

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

constexpr unsigned int LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::system_dim = system_dimension()

staticconstexprprivate

Dimension of of the solution evaluated with respect to a hypernode.

This allows to the use of this quantity as template parameter in member functions.

◆ tau_

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>

const lSol_float_t LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >::tau_

private

(Globally constant) penalty parameter for HDG scheme.

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

/home/runner/work/HyperHDG/HyperHDG/include/HyperHDG/local_solver/diffusion_ldgh.hxx

Classes

Public Types

Public Member Functions

Static Public Member Functions

Private Types

Private Member Functions

Static Private Member Functions

Private Attributes

Static Private Attributes

Detailed Description

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double> class LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >

Member Typedef Documentation

◆ constructor_value_type

◆ integrator

Constructor & Destructor Documentation

◆ Diffusion()

Member Function Documentation

◆ assemble_loc_matrix()

◆ assemble_rhs_from_coeffs()

◆ assemble_rhs_from_global_rhs()

◆ assemble_rhs_from_lambda()

◆ bulk_values()

◆ dual_at_boundary()

◆ errors()

◆ errors_temp()

◆ hyEdge_dim()

◆ is_dirichlet()

◆ make_initial()

◆ n_glob_dofs_per_node()

◆ node_system_dimension()

◆ node_types()

◆ primal_at_boundary()

◆ residual_flux()

◆ solve_loc_prob_cor()

◆ solve_local_problem()

◆ solve_mass_problem()

◆ system_dimension()

◆ total_numerical_flux_mass()

◆ trace_to_flux()

◆ trace_to_mass_flux()

Member Data Documentation

◆ n_loc_dofs_

◆ n_shape_bdr_

◆ n_shape_fct_

◆ node_system_dim

◆ system_dim

◆ tau_

template<unsigned int hyEdge_dimT, unsigned int poly_deg, unsigned int quad_deg, template< unsigned int, typename > typename parametersT = DiffusionParametersDefault, typename lSol_float_t = double>
class LocalSolver::Diffusion< hyEdge_dimT, poly_deg, quad_deg, parametersT, lSol_float_t >