convectiondiffusionparameter.hh

// -*- tab-width: 4; indent-tabs-mode: nil -*-
#ifndef DUNE_PDELAB_LOCALOPERATOR_CONVECTIONDIFFUSIONPARAMETER_HH
#define DUNE_PDELAB_LOCALOPERATOR_CONVECTIONDIFFUSIONPARAMETER_HH
 
#include<vector>
#include<type_traits>
 
#include<dune/common/deprecated.hh>
#include<dune/common/exceptions.hh>
#include<dune/common/fvector.hh>
#include<dune/geometry/type.hh>
#include<dune/geometry/referenceelements.hh>
#include<dune/geometry/quadraturerules.hh>
#include<dune/pdelab/common/geometrywrapper.hh>
#include<dune/pdelab/common/function.hh>
#include<dune/pdelab/common/functionutilities.hh>
#include<dune/pdelab/constraints/common/constraintsparameters.hh>
 
namespace Dune {
  namespace PDELab {
 
  #ifndef DOXYGEN
 
    // helper construct for backwards-compatible addition of hasPermeabilityIsConstantPerCell()
 
    namespace Impl {
 
      template<typename T, typename = void>
      struct hasPermeabilityIsConstantPerCell
        : public std::false_type
      {};
 
      template<typename T>
      struct hasPermeabilityIsConstantPerCell<
        T,
        void_t<decltype(std::declval<T>().permeabilityIsConstantPerCell())>
        >
        : public std::true_type
      {};
 
      template<typename T>
      [[deprecated("Starting from PDELab 2.6, parameter classes must have a method `bool permeabilityIsConstantPerCell()`. For now, we assume a default value of true.")]]
      constexpr
      std::enable_if_t<
        not hasPermeabilityIsConstantPerCell<T>::value,
        bool
        >
      permeabilityIsConstantPerCell(const T& param)
      {
        return true;
      }
 
      template<typename T>
      constexpr
      std::enable_if_t<
        hasPermeabilityIsConstantPerCell<T>::value,
        bool
        >
      permeabilityIsConstantPerCell(const T& param)
      {
        return param.permeabilityIsConstantPerCell();
      }
 
    } // namespace Impl
 
  #endif // DOXYGEN
 
    template<typename GV, typename RF>
    struct ConvectionDiffusionParameterTraits
    {
      typedef GV GridViewType;
 
      enum {
        dimDomain = GV::dimension
      };
 
      typedef typename GV::Grid::ctype DomainFieldType;
 
      typedef Dune::FieldVector<DomainFieldType,dimDomain> DomainType;
 
      typedef Dune::FieldVector<DomainFieldType,dimDomain-1> IntersectionDomainType;
 
      typedef RF RangeFieldType;
 
      typedef Dune::FieldVector<RF,GV::dimensionworld> RangeType;
 
      typedef Dune::FieldMatrix<RangeFieldType,dimDomain,dimDomain> PermTensorType;
 
      typedef typename GV::Traits::template Codim<0>::Entity ElementType;
      typedef typename GV::Intersection IntersectionType;
    };
 
    struct ConvectionDiffusionBoundaryConditions
    {
      enum Type { Dirichlet=1, Neumann=-1, Outflow=-2, None=-3 }; // BC requiring constraints must be >0 if
      // constraints assembler coming with PDELab is used
    };
 
    template<typename GV, typename RF>
    class ConvectionDiffusionModelProblem
    {
      typedef ConvectionDiffusionBoundaryConditions::Type BCType;
 
    public:
      typedef ConvectionDiffusionParameterTraits<GV,RF> Traits;
 
      static constexpr bool permeabilityIsConstantPerCell()
      {
        return true;
      }
 
      typename Traits::PermTensorType
      A (const typename Traits::ElementType& e, const typename Traits::DomainType& x) const
      {
        typename Traits::PermTensorType I;
        for (std::size_t i=0; i<Traits::dimDomain; i++)
          for (std::size_t j=0; j<Traits::dimDomain; j++)
            I[i][j] = (i==j) ? 1 : 0;
        return I;
      }
 
      typename Traits::RangeType
      b (const typename Traits::ElementType& e, const typename Traits::DomainType& x) const
      {
        typename Traits::RangeType v(0.0);
        return v;
      }
 
      typename Traits::RangeFieldType
      c (const typename Traits::ElementType& e, const typename Traits::DomainType& x) const
      {
        return 0.0;
      }
 
      typename Traits::RangeFieldType
      f (const typename Traits::ElementType& e, const typename Traits::DomainType& x) const
      {
        return 0.0;
      }
 
      BCType
      bctype (const typename Traits::IntersectionType& is, const typename Traits::IntersectionDomainType& x) const
      {
        return ConvectionDiffusionBoundaryConditions::Dirichlet;
      }
 
      typename Traits::RangeFieldType
      g (const typename Traits::ElementType& e, const typename Traits::DomainType& x) const
      {
        typename Traits::DomainType xglobal = e.geometry().global(x);
        return xglobal.two_norm();
      }
 
      typename Traits::RangeFieldType
      j (const typename Traits::IntersectionType& is, const typename Traits::IntersectionDomainType& x) const
      {
        return 0.0;
      }
 
      typename Traits::RangeFieldType
      o (const typename Traits::IntersectionType& is, const typename Traits::IntersectionDomainType& x) const
      {
        return 0.0;
      }
    };
 
 
    template<typename T>
    class ConvectionDiffusionBoundaryConditionAdapter
      :
      public Dune::PDELab::FluxConstraintsParameters,
      public Dune::PDELab::DirichletConstraintsParameters   /*@\label{bcp:base}@*/
    {
      const T& t;
 
    public:
 
      ConvectionDiffusionBoundaryConditionAdapter(const typename T::Traits::GridViewType& gv_,
                                                  const T& t_ )
        : t( t_ )
      {}
 
      ConvectionDiffusionBoundaryConditionAdapter(const T& t_ )
        : t( t_ )
      {}
 
      template<typename I>
      bool isDirichlet(const I & ig               /*@\label{bcp:name}@*/
                       , const Dune::FieldVector<typename I::ctype, I::mydimension> & coord
                       ) const
      {
        return( t.bctype( ig.intersection(), coord )
                == ConvectionDiffusionBoundaryConditions::Dirichlet );
      }
 
      template<typename I>
      bool isNeumann(const I & ig,   /*@\label{bcp:name}@*/
                     const Dune::FieldVector<typename I::ctype, I::mydimension> & coord
                     ) const
      {
        return !isDirichlet( ig, coord );
      }
 
    };
 
 
 
 
 
    template<typename T>
    class ConvectionDiffusionVelocityExtensionAdapter
      : public Dune::PDELab::AnalyticGridFunctionBase<Dune::PDELab::AnalyticGridFunctionTraits
                                                      <typename T::Traits::GridViewType,
                                                       typename T::Traits::RangeFieldType,
                                                       T::Traits::GridViewType::dimension>,
                                                      ConvectionDiffusionVelocityExtensionAdapter<T> >
    {
    public:
      typedef Dune::PDELab::AnalyticGridFunctionTraits<typename T::Traits::GridViewType,
                                                       typename T::Traits::RangeFieldType,
                                                       T::Traits::GridViewType::dimension> Traits;
      typedef Dune::PDELab::AnalyticGridFunctionBase<Traits,ConvectionDiffusionVelocityExtensionAdapter<T> > BaseT;
 
 
      ConvectionDiffusionVelocityExtensionAdapter (const typename Traits::GridViewType& gv_, T& t_)
        : BaseT(gv_), gv(gv_), t(t_)
      {}
 
      inline void evaluateGlobal (const typename Traits::DomainType& x,
                                  typename Traits::RangeType& y) const
      {
        y = t.b(x);
      }
 
      inline void evaluate (const typename Traits::ElementType& e,
                            const typename Traits::DomainType& x,
                            typename Traits::RangeType& y) const
      {
        y = t.b(e,x);
      }
 
      inline const typename Traits::GridViewType& getGridView () const
      {
        return gv;
      }
 
      inline void setTime(double time_)
      {
        t.setTime(time_);
      }
 
    private:
      const typename Traits::GridViewType gv;
      T& t;
    };
 
 
 
 
 
  template<typename T>
  class ConvectionDiffusionDirichletExtensionAdapter
    : public Dune::PDELab::GridFunctionBase<Dune::PDELab::GridFunctionTraits<typename T::Traits::GridViewType,
                                                                             typename T::Traits::RangeFieldType,
                                                                             1,Dune::FieldVector<typename T::Traits::RangeFieldType,1> >
                                            ,ConvectionDiffusionDirichletExtensionAdapter<T> >
  {
  public:
    typedef Dune::PDELab::GridFunctionTraits<typename T::Traits::GridViewType,
                                             typename T::Traits::RangeFieldType,
                                             1,Dune::FieldVector<typename T::Traits::RangeFieldType,1> > Traits;
 
    ConvectionDiffusionDirichletExtensionAdapter (const typename Traits::GridViewType& g_, T& t_)
    : g(g_), t(t_)
    {}
 
    inline void evaluate (const typename Traits::ElementType& e,
                          const typename Traits::DomainType& x,
                          typename Traits::RangeType& y) const
    {
      y = t.g(e,x);
    }
 
    inline const typename Traits::GridViewType& getGridView () const
    {
      return g;
    }
 
    inline void setTime(double time_)
    {
      t.setTime(time_);
    }
 
  private:
    const typename Traits::GridViewType g;
    T& t;
  };
 
 
template<typename T>
class ConvectionDiffusionExactGradientAdapter
  : public Dune::PDELab::GridFunctionBase<Dune::PDELab::GridFunctionTraits<typename T::Traits::GridViewType,
                                                                           typename T::Traits::RangeFieldType,
                                                                           T::Traits::GridViewType::dimension,Dune::FieldVector<typename T::Traits::RangeFieldType,T::Traits::GridViewType::dimension> >
                                          ,ConvectionDiffusionExactGradientAdapter<T> >
{
public:
  typedef Dune::PDELab::GridFunctionTraits<typename T::Traits::GridViewType,
                                           typename T::Traits::RangeFieldType,
                                           T::Traits::GridViewType::dimension,Dune::FieldVector<typename T::Traits::RangeFieldType,T::Traits::GridViewType::dimension> > Traits;
 
  ConvectionDiffusionExactGradientAdapter (const typename Traits::GridViewType& g_, const T& t_) : g(g_), t(t_) {}
 
  inline void evaluate (const typename Traits::ElementType& e,
                        const typename Traits::DomainType& x,
                        typename Traits::RangeType& y) const
  {
    y = t.gradient(e,x);
  }
 
  inline const typename Traits::GridViewType& getGridView () const
  {
    return g;
  }
 
private:
  const typename Traits::GridViewType g;
  const T& t;
};
  }
}
 
 
#endif // DUNE_PDELAB_LOCALOPERATOR_CONVECTIONDIFFUSIONPARAMETER_HH