incompressibletransportmodel.hh

#ifndef __DUNE_ACFEM_MODELS_MODULES_INCOMPRESSIBLETRANSPORTMODEL_HH__
#define __DUNE_ACFEM_MODELS_MODULES_INCOMPRESSIBLETRANSPORTMODEL_HH__
 
#include "../operatorparts/modeladapter.hh"
 
namespace Dune {
 
  namespace ACFem {
 
    template<class FunctionSpace, class Velocity>
    class IncompressibleTransportOperatorParts
      : public OperatorPartsExpression<IncompressibleTransportOperatorParts<FunctionSpace, Velocity> >
    {
      typedef IncompressibleTransportOperatorParts           ThisType;
      typedef DefaultOperatorParts<ThisType>   BaseType;
      typedef OperatorPartsInterface<ThisType> InterfaceType;
      typedef OperatorPartsTraits<ThisType>    TraitsType;
      typedef typename Velocity::LocalFunctionType LocalVelocityType;
     public:
      typedef Velocity VelocityType;
      typedef FunctionSpace FunctionSpaceType;
 
      typedef typename FunctionSpaceType::DomainType DomainType;
      typedef typename FunctionSpaceType::RangeType RangeType;
      typedef typename FunctionSpaceType::JacobianRangeType JacobianRangeType;
      typedef typename FunctionSpaceType::HessianRangeType HessianRangeType;
 
      enum {
        dimDomain = FunctionSpaceType::dimDomain,
        dimRange = FunctionSpaceType::dimRange,
        dimWorld = dimDomain,
      };
 
      static_assert((int)VelocityType::FunctionSpaceType::dimRange == (int)dimWorld && dimDomain == dimWorld,
                    "This is meant for dimensionworld vector-fields, "
                    "like fluids, deformations etc.");
 
      typedef typename FunctionSpaceType::DomainFieldType DomainFieldType;
      typedef typename FunctionSpaceType::RangeFieldType RangeFieldType;
 
      // Interface methods that need to be reimplemented
 
      IncompressibleTransportOperatorParts(const Fem::Function<typename VelocityType::FunctionSpaceType,
                                   VelocityType>& velocity,
                                   const std::string& name = "")
        : velocity_(velocity),
          localVelocity_(velocity_()),
          name_(name == "" ? "(-U_iU_jD_iPhi_j+Bndry)" : name)
      {}
 
      std::string name() const
      {
        return name_;
      }
 
      template<class Entity>
      void setEntity(const Entity& entity) const
      {
        localVelocity_.init(entity);
      }
 
      template<class Entity, class Point>
      void linearizedSource(const RangeType& uBar,
                            const JacobianRangeType& DuBar,
                            const Entity& entity,
                            const Point &x,
                            const RangeType& value,
                            const JacobianRangeType& jacobian,
                            RangeType& result) const
      {
        typename VelocityType::RangeType velocity;
        localVelocity_.evaluate(x, velocity);
 
        jacobian.mv(velocity, result);
      }
 
     protected:
      ExpressionStorage<VelocityType> velocity_;
      mutable LocalVelocityType localVelocity_;
      const std::string name_;
    };
 
    template<class FunctionSpace, class Velocity>
    struct OperatorPartsTraits<IncompressibleTransportOperatorParts<FunctionSpace, Velocity> >
      : public DefaultOperatorPartsTraits<FunctionSpace>
    {
      enum StructureFlags
      {
        isLinear = true,
        isSymmetric = false,
        isSemiDefinite = false // mmm.
      };
 
      enum ConstituentFlags {
        hasFlux = false,
        hasSources = true,
        hasRobinFlux = false,
      };
    };
 
 
    template<class Object, class Velocity>
    static inline
    IncompressibleTransportOperatorParts<typename Object::FunctionSpaceType, Velocity>
    incompressibleTransportOperatorParts(const Object& object,
                                         const Fem::Function<typename Velocity::FunctionSpaceType, Velocity>& velocity,
                                         const std::string& name = "")
    {
      return IncompressibleTransportOperatorParts<typename Object::FunctionSpaceType, Velocity>(velocity, name);
    }
 
    template<class Object, class Velocity>
    static inline
    OperatorPartsAdapterModel<IncompressibleTransportOperatorParts<typename Object::FunctionSpaceType, Velocity>,
                              typename Object::GridPartType>
    incompressibleTransportModel(const Object& object,
                                 const Fem::Function<typename Velocity::FunctionSpaceType, Velocity>& velocity,
                                 const std::string& name = "")
    {
      typedef IncompressibleTransportOperatorParts<typename Object::FunctionSpaceType, Velocity> OperatorPartsType;
      typedef typename Object::GridPartType GridPartType;
      return OperatorPartsAdapterModel<OperatorPartsType, GridPartType>(OperatorPartsType(velocity, name));
    }
 
 
 
 
  } // namespace ACFem
 
}  //Namespace Dune
 
 
#endif // __DUNE_ACFEM_MODELS_MODULES_INCOMPRESSIBLETRANSPORTMODEL_HH__