brezzidouglasmarinibasis.hh

Go to the documentation of this file.

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
 
// SPDX-FileCopyrightText: Copyright © DUNE Project contributors, see file AUTHORS.md
// SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception OR LGPL-3.0-or-later
 
#ifndef DUNE_FUNCTIONS_FUNCTIONSPACEBASES_BREZZIDOUGLASMARINIBASIS_HH
#define DUNE_FUNCTIONS_FUNCTIONSPACEBASES_BREZZIDOUGLASMARINIBASIS_HH
 
#include <array>
#include <dune/common/exceptions.hh>
#include <dune/geometry/referenceelements.hh>
 
#include <dune/localfunctions/common/virtualinterface.hh>
#include <dune/localfunctions/common/virtualwrappers.hh>
 
#include <dune/localfunctions/brezzidouglasmarini/brezzidouglasmarini1cube2d.hh>
#include <dune/localfunctions/brezzidouglasmarini/brezzidouglasmarini1cube3d.hh>
#include <dune/localfunctions/brezzidouglasmarini/brezzidouglasmarini1simplex2d.hh>
#include <dune/localfunctions/brezzidouglasmarini/brezzidouglasmarini2cube2d.hh>
#include <dune/localfunctions/brezzidouglasmarini/brezzidouglasmarini2simplex2d.hh>
 
#include <dune/functions/functionspacebases/globalvaluedlocalfiniteelement.hh>
#include <dune/functions/functionspacebases/nodes.hh>
#include <dune/functions/functionspacebases/defaultglobalbasis.hh>
#include <dune/functions/functionspacebases/leafprebasismappermixin.hh>
 
namespace Dune {
namespace Functions {
 
namespace Impl {
 
  template<int dim, typename D, typename R, std::size_t k>
  struct BDMSimplexLocalInfo
  {
    static_assert((AlwaysFalse<D>::value),"The requested type of BDM element is not implemented, sorry!");
  };
 
  template<typename D, typename R>
  struct BDMSimplexLocalInfo<2,D,R,1>
  {
    using FiniteElement = BDM1Simplex2DLocalFiniteElement<D,R>;
    static const std::size_t Variants = 8;
  };
 
  template<typename D, typename R>
  struct BDMSimplexLocalInfo<2,D,R,2>
  {
    using FiniteElement = BDM2Simplex2DLocalFiniteElement<D,R>;
    static const std::size_t Variants = 8;
  };
 
  template<int dim, typename D, typename R, std::size_t k>
  struct BDMCubeLocalInfo
  {
    static_assert((AlwaysFalse<D>::value),"The requested type of BDM element is not implemented, sorry!");
  };
 
  template<typename D, typename R>
  struct BDMCubeLocalInfo<2,D,R,1>
  {
    using FiniteElement = BDM1Cube2DLocalFiniteElement<D,R>;
    static const std::size_t Variants = 16;
  };
 
  template<typename D, typename R>
  struct BDMCubeLocalInfo<2,D,R,2>
  {
    using FiniteElement = BDM2Cube2DLocalFiniteElement<D,R>;
    static const std::size_t Variants = 16;
  };
 
  template<typename D, typename R>
  struct BDMCubeLocalInfo<3,D,R,1>
  {
    using FiniteElement = BDM1Cube3DLocalFiniteElement<D,R>;
    static const std::size_t Variants = 64;
  };
 
  template<typename GV, typename R, std::size_t k>
  class BDMLocalFiniteElementMap
  {
    using D = typename GV::ctype;
    constexpr static auto dim = GV::dimension;
    using CubeFiniteElement    = typename BDMCubeLocalInfo<dim, D, R, k>::FiniteElement;
    using SimplexFiniteElement = typename BDMSimplexLocalInfo<dim, D, R, k>::FiniteElement;
 
  public:
 
    using T = LocalBasisTraits<D, dim, FieldVector<D,dim>, R, dim, FieldVector<R,dim>, FieldMatrix<D,dim,dim> >;
    using FiniteElement = LocalFiniteElementVirtualInterface<T>;
 
    BDMLocalFiniteElementMap(const GV& gv)
      : is_(&(gv.indexSet())), orient_(gv.size(0))
    {
      update(gv);
    }
 
    void update(const GV& gv)
    {
      is_ = &(gv.indexSet());
      orient_.resize(gv.size(0));
 
      cubeVariant_.resize(BDMCubeLocalInfo<dim, D, R, k>::Variants);
      simplexVariant_.resize(BDMSimplexLocalInfo<dim, D, R, k>::Variants);
 
      // create all variants
      for (size_t i = 0; i < cubeVariant_.size(); i++)
        cubeVariant_[i] = std::make_shared<LocalFiniteElementVirtualImp<CubeFiniteElement> >(CubeFiniteElement(i));
 
      for (size_t i = 0; i < simplexVariant_.size(); i++)
        simplexVariant_[i] = std::make_shared<LocalFiniteElementVirtualImp<SimplexFiniteElement> >(SimplexFiniteElement(i));
 
      // compute orientation for all elements
      // loop once over the grid
      for(const auto& cell : elements(gv))
      {
        unsigned int myId = is_->index(cell);
        orient_[myId] = 0;
 
        for (const auto& intersection : intersections(gv,cell))
        {
          if (intersection.neighbor() && (is_->index(intersection.outside()) > myId))
            orient_[myId] |= (1 << intersection.indexInInside());
        }
      }
    }

    template<class EntityType>
    const FiniteElement& find(const EntityType& e) const
    {
      if (e.type().isCube())
        return *cubeVariant_[orient_[is_->index(e)]];
      else
        return *simplexVariant_[orient_[is_->index(e)]];
    }
 
    private:
      std::vector<std::shared_ptr<LocalFiniteElementVirtualImp<CubeFiniteElement> > > cubeVariant_;
      std::vector<std::shared_ptr<LocalFiniteElementVirtualImp<SimplexFiniteElement> > > simplexVariant_;
      const typename GV::IndexSet* is_;
      std::vector<unsigned char> orient_;
  };
 
 
} // namespace Impl
 
 
// *****************************************************************************
// This is the reusable part of the basis. It contains
//
//   BrezziDouglasMariniPreBasis
//   BrezziDouglasMariniNode
//
// The pre-basis allows to create the others and is the owner of possible shared
// state. These components do _not_ depend on the global basis and local view
// and can be used without a global basis.
// *****************************************************************************
 
template<typename GV, int k>
class BrezziDouglasMariniNode;
 
template<typename GV, int k>
class BrezziDouglasMariniPreBasis :
  public LeafPreBasisMapperMixin<GV>
{
  using Base = LeafPreBasisMapperMixin<GV>;
  static const int dim = GV::dimension;
 
  // Degrees of freedom per subentity
  static MCMGLayout dofLayout()
  {
    return [](GeometryType gt, size_t gridDim) -> size_t {
      if (gt.dim() == gridDim)
        return dim*(k-1)*3;
      if (gt.dim() == gridDim-1)
        return dim+(k-1);
      return 0;
    };
  }
 
  using FiniteElementMap = typename Impl::BDMLocalFiniteElementMap<GV, double, k>;
 
public:

  using GridView = GV;
  using size_type = std::size_t;
 
  using Node = BrezziDouglasMariniNode<GV, k>;

  BrezziDouglasMariniPreBasis(const GridView& gv) :
    Base(gv, dofLayout()),
    finiteElementMap_(gv)
  {
    // There is no inherent reason why the basis shouldn't work for grids with more than one
    // element types.  Somebody simply has to sit down and implement the missing bits.
    if (gv.indexSet().types(0).size() > 1)
      DUNE_THROW(Dune::NotImplemented, "Brezzi-Douglas-Marini basis is only implemented for grids with a single element type");
  }
 
  /* \brief Update the stored grid view, to be called if the grid has changed */
  void update (const GridView& gv)
  {
    Base::update(gv);
    finiteElementMap_.update(gv);
  }

  Node makeNode() const
  {
    return Node{&finiteElementMap_};
  }
 
protected:
  FiniteElementMap finiteElementMap_;
};
 
 
 
template<typename GV, int k>
class BrezziDouglasMariniNode :
  public LeafBasisNode
{
public:
 
  using size_type = std::size_t;
  using Element = typename GV::template Codim<0>::Entity;
  using FiniteElementMap = typename Impl::BDMLocalFiniteElementMap<GV, double, k>;
  using FiniteElement = Impl::GlobalValuedLocalFiniteElement<Impl::ContravariantPiolaTransformator,
                                                             typename FiniteElementMap::FiniteElement,
                                                             Element>;
 
  BrezziDouglasMariniNode(const FiniteElementMap* finiteElementMap) :
    element_(nullptr),
    finiteElementMap_(finiteElementMap)
  {}

  const Element& element() const
  {
    return *element_;
  }

  const FiniteElement& finiteElement() const
  {
    return finiteElement_;
  }

  void bind(const Element& e)
  {
    element_ = &e;
    finiteElement_.bind((finiteElementMap_->find(*element_)), e);
    this->setSize(finiteElement_.size());
  }
 
protected:
 
  FiniteElement finiteElement_;
  const Element* element_;
  const FiniteElementMap* finiteElementMap_;
};
 
 
 
namespace BasisFactory {

template<std::size_t k>
auto brezziDouglasMarini()
{
  return [](const auto& gridView) {
    return BrezziDouglasMariniPreBasis<std::decay_t<decltype(gridView)>, k>(gridView);
  };
}
 
} // end namespace BasisFactory
 
 
 
// *****************************************************************************
// This is the actual global basis implementation based on the reusable parts.
// *****************************************************************************

template<typename GV, int k>
using BrezziDouglasMariniBasis = DefaultGlobalBasis<BrezziDouglasMariniPreBasis<GV, k> >;
 
} // end namespace Functions
} // end namespace Dune
 
 
#endif // DUNE_FUNCTIONS_FUNCTIONSPACEBASES_BREZZIDOUGLASMARINIBASIS_HH