freeflow/navierstokes/momentum/cvfe/model.hh

Go to the documentation of this file.

// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
// vi: set et ts=4 sw=4 sts=4:
//
// SPDX-FileCopyrightText: Copyright © DuMux Project contributors, see AUTHORS.md in root folder
// SPDX-License-Identifier: GPL-3.0-or-later
//
 
#ifndef DUMUX_NAVIERSTOKES_MOMENTUM_CVFE_MODEL_HH
#define DUMUX_NAVIERSTOKES_MOMENTUM_CVFE_MODEL_HH
 
#include <dumux/common/properties.hh>
#include <dumux/freeflow/properties.hh>
#include <dumux/common/spatialparams.hh>
 
#include <dumux/material/fluidstates/immiscible.hh>
#include <dumux/discretization/method.hh>
#include <dumux/flux/fourierslaw.hh>
#include <dumux/flux/fluxvariablescaching.hh>
 
#include <dumux/freeflow/navierstokes/momentum/cvfe/localresidual.hh>
#include <dumux/freeflow/navierstokes/momentum/cvfe/felocalresidual.hh>
#include <dumux/freeflow/navierstokes/momentum/cvfe/volumevariables.hh>
#include <dumux/freeflow/navierstokes/momentum/cvfe/variables.hh>
#include <dumux/freeflow/navierstokes/momentum/cvfe/indices.hh>
 
namespace Dumux {

template<int dimension>
struct NavierStokesMomentumCVFEModelTraits
{
    static constexpr int dim() { return dimension; }

    static constexpr int numEq() { return dim(); }

    static constexpr int numFluidPhases() { return 1; }

    static constexpr int numFluidComponents() { return 1; }

    static constexpr bool enableAdvection() { return true; }

    static constexpr bool enableMolecularDiffusion() { return false; }

    static constexpr bool enableEnergyBalance() { return false; }

    using Indices = NavierStokesMomentumCVFEIndices<dim()>;
};

template<class PV, class FSY, class FST, class MT>
struct NavierStokesMomentumCVFEVolumeVariablesTraits
{
    using PrimaryVariables = PV;
    using FluidSystem = FSY;
    using FluidState = FST;
    using ModelTraits = MT;
};
 
} // end namespace Dumux
 
// \{
// properties for the single-phase Navier-Stokes model
namespace Dumux::Properties {

// Type tags
 
// Create new type tags
namespace TTag {
struct NavierStokesMomentumCVFEBase { using InheritsFrom = std::tuple<FreeFlow>; };
struct NavierStokesMomentumCVFE { using InheritsFrom = std::tuple<NavierStokesMomentumCVFEBase>; };
struct NavierStokesMomentumFE { using InheritsFrom = std::tuple<NavierStokesMomentumCVFEBase>; };
} // end namespace TTag

// default property values for the isothermal single phase model
template<class TypeTag>
struct ModelTraits<TypeTag, TTag::NavierStokesMomentumCVFEBase>
{
private:
    using GridView = typename GetPropType<TypeTag, Properties::GridGeometry>::GridView;
    static constexpr auto dim = GridView::dimension;
public:
    using type = NavierStokesMomentumCVFEModelTraits<dim>;
};

template<class TypeTag>
struct FluidState<TypeTag, TTag::NavierStokesMomentumCVFEBase>{
private:
    using Scalar = GetPropType<TypeTag, Properties::Scalar>;
    using FluidSystem = GetPropType<TypeTag, Properties::FluidSystem>;
public:
    using type = ImmiscibleFluidState<Scalar, FluidSystem>;
};

template<class TypeTag>
struct LocalResidual<TypeTag, TTag::NavierStokesMomentumCVFE>
{ using type = NavierStokesMomentumCVFELocalResidual<TypeTag>; };

template<class TypeTag>
struct LocalResidual<TypeTag, TTag::NavierStokesMomentumFE>
{ using type = NavierStokesMomentumFELocalResidual<TypeTag>; };
 
// Set the default spatial parameters for the fe scheme
template<class TypeTag>
struct SpatialParams<TypeTag, TTag::NavierStokesMomentumFE>
{
    template<class GG, class S>
    struct DefaultSpatialParams
    : public Dumux::Experimental::SpatialParams<GG, S, DefaultSpatialParams<GG, S>>
    {
    private:
        using ParentType = Dumux::Experimental::SpatialParams<GG, S, DefaultSpatialParams<GG, S>>;
    public:
        using ParentType::ParentType;
    };
 
    using GridGeometry = GetPropType<TypeTag, Properties::GridGeometry>;
    using Scalar = GetPropType<TypeTag, Properties::Scalar>;
    using type = Dumux::Experimental::SpatialParams<GridGeometry, Scalar, DefaultSpatialParams<GridGeometry, Scalar>>;
};

template<class TypeTag>
struct VolumeVariables<TypeTag, TTag::NavierStokesMomentumCVFEBase>
{
private:
    using PV = GetPropType<TypeTag, Properties::PrimaryVariables>;
    using FSY = GetPropType<TypeTag, Properties::FluidSystem>;
    using FST = GetPropType<TypeTag, Properties::FluidState>;
    using MT = GetPropType<TypeTag, Properties::ModelTraits>;
 
    static_assert(FSY::numPhases == MT::numFluidPhases(), "Number of phases mismatch between model and fluid system");
    static_assert(FST::numPhases == MT::numFluidPhases(), "Number of phases mismatch between model and fluid state");
    static_assert(!FSY::isMiscible(), "The Navier-Stokes model only works with immiscible fluid systems.");
 
    using Traits = NavierStokesMomentumCVFEVolumeVariablesTraits<PV, FSY, FST, MT>;
public:
    using type = NavierStokesMomentumCVFEVolumeVariables<Traits>;
};

template<class TypeTag>
struct Variables<TypeTag, TTag::NavierStokesMomentumCVFEBase>
{
private:
    using PV = GetPropType<TypeTag, Properties::PrimaryVariables>;
    using FSY = GetPropType<TypeTag, Properties::FluidSystem>;
    using FST = GetPropType<TypeTag, Properties::FluidState>;
    using MT = GetPropType<TypeTag, Properties::ModelTraits>;
    using Traits = NavierStokesMomentumCVFEVolumeVariablesTraits<PV, FSY, FST, MT>;
public:
    using type = NavierStokesMomentumCVFEVariables<Traits>;
};
 
// This is the default (model not coupled with a mass (pressure) discretization)
// i.e. the pressure is supplied via the problem as an analytical solution
// or from a separate computation
template<class TypeTag>
struct CouplingManager<TypeTag, TTag::NavierStokesMomentumCVFEBase>
{
    struct EmptyCouplingManager {};
    using type = EmptyCouplingManager;
};
 
} // end namespace Dumux::Properties
 
#endif