1#ifndef DUNE_FEM_SCHEMES_GALERKIN_HH
2#define DUNE_FEM_SCHEMES_GALERKIN_HH
13#include <dune/common/hybridutilities.hh>
16#include <dune/grid/common/rangegenerators.hh>
18#include <dune/fem/function/localfunction/temporary.hh>
19#include <dune/fem/io/parameter/reader.hh>
20#include <dune/fem/operator/common/automaticdifferenceoperator.hh>
21#include <dune/fem/operator/common/differentiableoperator.hh>
22#include <dune/fem/operator/common/operator.hh>
23#include <dune/fem/operator/common/stencil.hh>
24#include <dune/fem/operator/common/temporarylocalmatrix.hh>
25#include <dune/fem/quadrature/cachingquadrature.hh>
26#include <dune/fem/quadrature/intersectionquadrature.hh>
27#include <dune/fem/common/bindguard.hh>
29#include <dune/fem/misc/threads/threaditerator.hh>
30#include <dune/fem/misc/threads/threadsafevalue.hh>
31#include <dune/fem/misc/hasboundaryintersection.hh>
33#include <dune/fem/operator/common/localmatrixcolumn.hh>
34#include <dune/fem/operator/common/localcontribution.hh>
35#include <dune/fem/operator/1order/localmassmatrix.hh>
36#include <dune/fem/schemes/integrands.hh>
37#include <dune/fem/schemes/dirichletwrapper.hh>
38#include <dune/fem/schemes/femscheme.hh>
40#include <dune/fem/space/common/capabilities.hh>
43#include <dune/fempy/quadrature/fempyquadratures.hh>
58 static int callOrder(
const F& f,
char)
61 std::cerr <<
"WARNING: no order method available on " <<
typeid(F).name() <<
", defaulting to 1!" << std::endl;
67 static auto callOrder(
const F& f,
int) ->
decltype( f.order() )
74 static int order (
const F& f ) {
return callOrder(f, 0); }
80 template <
class Space>
81 struct DefaultGalerkinOperatorQuadratureSelector
83 typedef typename Space :: GridPartType GridPartType;
84 typedef CachingQuadrature< GridPartType, 0, Capabilities::DefaultQuadrature< Space > :: template DefaultQuadratureTraits > InteriorQuadratureType;
85 typedef CachingQuadrature< GridPartType, 1, Capabilities::DefaultQuadrature< Space > :: template DefaultQuadratureTraits > SurfaceQuadratureType;
93 template<
class Integrands,
template <
class>
class QuadSelector = DefaultGalerkinOperatorQuadratureSelector >
94 struct LocalGalerkinOperator
96 typedef LocalGalerkinOperator<Integrands> ThisType;
97 typedef std::conditional_t< Fem::IntegrandsTraits< Integrands >::isFull, Integrands, FullIntegrands< Integrands > > IntegrandsType;
99 typedef typename IntegrandsType::GridPartType GridPartType;
101 typedef typename GridPartType::ctype ctype;
102 typedef typename GridPartType::template Codim< 0 >::EntityType EntityType;
105 template <
class Space>
106 using QuadratureSelector = QuadSelector< Space >;
109 template<
class... Args >
110 explicit LocalGalerkinOperator (
const GridPartType &gridPart, Args &&... args )
111 : gridPart_( gridPart ),
112 integrands_(
std::forward< Args >( args )... ),
113 defaultInteriorOrder_( [] (const int order) {
return 2 * order; } ),
114 defaultSurfaceOrder_ ( [] (
const int order) {
return 2 * order + 1; } ),
115 interiorQuadOrder_(0), surfaceQuadOrder_(0)
120 typedef typename IntegrandsType::DomainValueType DomainValueType;
121 typedef typename IntegrandsType::RangeValueType RangeValueType;
122 typedef std::make_index_sequence< std::tuple_size< DomainValueType >::value > DomainValueIndices;
123 typedef std::make_index_sequence< std::tuple_size< RangeValueType >::value > RangeValueIndices;
126 template< std::size_t... i >
127 static auto makeDomainValueVector ( std::size_t maxNumLocalDofs, std::index_sequence< i... > )
129 return std::make_tuple( std::vector< std::tuple_element_t< i, DomainValueType > >( maxNumLocalDofs )... );
132 static auto makeDomainValueVector ( std::size_t maxNumLocalDofs )
134 return makeDomainValueVector( maxNumLocalDofs, DomainValueIndices() );
137 template< std::size_t... i >
138 static auto makeRangeValueVector ( std::size_t maxNumLocalDofs, std::index_sequence< i... > )
140 return std::make_tuple( std::vector< std::tuple_element_t< i, RangeValueType > >( maxNumLocalDofs )... );
143 static auto makeRangeValueVector ( std::size_t maxNumLocalDofs )
145 return makeRangeValueVector( maxNumLocalDofs, RangeValueIndices() );
148 typedef decltype( makeDomainValueVector( 0u ) ) DomainValueVectorType;
149 typedef decltype( makeRangeValueVector( 0u ) ) RangeValueVectorType;
151 static void resizeDomainValueVector ( DomainValueVectorType& vec,
const std::size_t
size )
154 std::get< i >( vec ).resize(
size );
158 static void resizeRangeValueVector ( RangeValueVectorType& vec,
const std::size_t
size )
161 std::get< i >( vec ).resize(
size );
166 void prepare(
const std::size_t
size )
const
168 resizeDomainValueVector( phiIn_,
size );
169 resizeDomainValueVector( phiOut_,
size );
170 resizeDomainValueVector( basisValues_,
size );
171 resizeDomainValueVector( domainValues_,
size );
174 template<
class LocalFunction,
class Quadrature >
175 static void evaluateQuadrature (
const LocalFunction &u,
const Quadrature &quad, std::vector< typename LocalFunction::RangeType > &phi )
177 u.evaluateQuadrature( quad, phi );
180 template<
class LocalFunction,
class Quadrature>
181 static void evaluateQuadrature (
const LocalFunction &u,
const Quadrature &quad, std::vector< typename LocalFunction::JacobianRangeType > &phi )
183 u.jacobianQuadrature( quad, phi );
186 template<
class LocalFunction,
class Quadrature >
187 static void evaluateQuadrature (
const LocalFunction &u,
const Quadrature &quad, std::vector< typename LocalFunction::HessianRangeType > &phi )
189 u.hessianQuadrature( quad, phi );
193 template<
class LocalFunction,
class Po
int >
196 u.evaluate( x, phi );
199 template<
class LocalFunction,
class Po
int >
202 u.jacobian( x, phi );
205 template<
class LocalFunction,
class Po
int >
211 template<
class LocalFunction,
class Point,
class... T >
212 static void value (
const LocalFunction &u,
const Point &x, std::tuple< T... > &phi )
214 Hybrid::forEach( std::index_sequence_for< T... >(), [ &u, &x, &phi ] (
auto i ) { LocalGalerkinOperator::value( u, x, std::get< i >( phi ) ); } );
217 template<
class Basis,
class Po
int >
218 static void values (
const Basis &basis,
const Point &x, std::vector< typename Basis::RangeType > &phi )
220 basis.evaluateAll( x, phi );
223 template<
class Basis,
class Po
int >
224 static void values (
const Basis &basis,
const Point &x, std::vector< typename Basis::JacobianRangeType > &phi )
226 basis.jacobianAll( x, phi );
229 template<
class Basis,
class Po
int >
230 static void values (
const Basis &basis,
const Point &x, std::vector< typename Basis::HessianRangeType > &phi )
232 basis.hessianAll( x, phi );
235 template<
class Basis,
class Point,
class... T >
236 static void values (
const Basis &basis,
const Point &x, std::tuple< std::vector< T >... > &phi )
238 Hybrid::forEach( std::index_sequence_for< T... >(), [ &basis, &x, &phi ] (
auto i ) { LocalGalerkinOperator::values( basis, x, std::get< i >( phi ) ); } );
241 template<
class LocalFunction,
class Po
int >
242 static DomainValueType domainValue (
const LocalFunction &u,
const Point &x )
249 static DomainValueType domainValue (
const unsigned int qpIdx, DomainValueVectorType& vec)
252 Hybrid::forEach( DomainValueIndices(), [ &qpIdx, &vec, &phi ] (
auto i ) {
253 std::get< i > ( phi ) = std::get< i >( vec )[ qpIdx ];
258 template<
class LocalFunction,
class Quadrature >
259 static void domainValue (
const LocalFunction &u,
const Quadrature& quadrature, DomainValueVectorType &result )
261 Hybrid::forEach( DomainValueIndices(), [ &u, &quadrature, &result ] (
auto i ) {
262 auto& vec = std::get< i >( result );
263 vec.resize( quadrature.nop() );
264 ThisType::evaluateQuadrature( u, quadrature, vec );
268 template<
class Phi, std::size_t... i >
269 static auto value (
const Phi &phi, std::size_t col, std::index_sequence< i... > )
271 return std::make_tuple( std::get< i >( phi )[ col ]... );
274 template<
class... T >
275 static auto value (
const std::tuple< std::vector< T >... > &phi, std::size_t col )
277 return value( phi, col, std::index_sequence_for< T... >() );
280 static void assignRange( RangeValueVectorType& ranges,
const std::size_t idx,
const RangeValueType&
range )
283 std::get< i >( ranges )[ idx ] = std::get< i >(
range );
287 static void assignRange( RangeValueVectorType& ranges,
const std::size_t idx,
const RangeValueType&
range,
const W &weight )
290 std::get< i >( ranges )[ idx ] = std::get< i >(
range );
291 std::get< i >( ranges )[ idx ] *= weight;
295 static void assignDomain( DomainValueVectorType& domains,
const std::size_t idx,
const DomainValueType& domain )
297 Hybrid::forEach( DomainValueIndices(), [ &domains, &idx, &domain ] (
auto i ) {
298 std::get< i >( domains )[ idx ] = std::get< i >( domain );
302 template <
class W,
class Quadrature>
303 static void axpyQuadrature( W& w,
const Quadrature& quadrature, RangeValueVectorType& ranges )
305 Hybrid::forEach( RangeValueIndices(), [ &w, &quadrature, &ranges ] (
auto i ) {
306 w.axpyQuadrature( quadrature, std::get< i >( ranges ) );
313 template<
class U,
class W >
314 void addInteriorIntegral (
const U &u, W &w )
const
316 if( !integrands().init( u.entity() ) )
319 const auto& geometry = u.geometry();
321 typedef typename QuadratureSelector< typename W::DiscreteFunctionSpaceType > :: InteriorQuadratureType InteriorQuadratureType;
322 const InteriorQuadratureType quadrature( u.entity(), interiorQuadratureOrder(maxOrder(u, w)) );
325 DomainValueVectorType& domains = domainValues_;
326 domainValue( u, quadrature, domains );
328 auto& ranges = values_;
329 resizeRangeValueVector( ranges, quadrature.nop() );
332 for(
const auto qp : quadrature )
334 const ctype weight = qp.weight() * geometry.integrationElement( qp.position() );
335 assignRange( ranges, qp.index(), integrands().
interior( qp, domainValue( qp.index(), domains ) ), weight );
339 axpyQuadrature( w, quadrature, ranges );
340 integrands().unbind();
343 template<
class U,
class J >
344 void addLinearizedInteriorIntegral (
const U &u, J &j )
const
346 if( !integrands().init( u.entity() ) )
349 const auto &geometry = u.geometry();
350 const auto &domainBasis = j.domainBasisFunctionSet();
351 const auto &rangeBasis = j.rangeBasisFunctionSet();
353 typedef typename QuadratureSelector< typename J::RangeSpaceType > :: InteriorQuadratureType InteriorQuadratureType;
354 const InteriorQuadratureType quadrature( u.entity(), interiorQuadratureOrder( maxOrder( u, domainBasis, rangeBasis )) );
355 const size_t domainSize = domainBasis.size();
356 const size_t quadNop = quadrature.nop();
358 auto& basisValues = basisValues_;
359 resizeDomainValueVector( basisValues, domainSize );
362 auto& rangeValues = rangeValues_;
363 DomainValueVectorType& domains = domainValues_;
364 domainValue( u, quadrature, domains );
366 rangeValues.resize( domainSize );
367 for( std::size_t col = 0; col < domainSize; ++col )
369 resizeRangeValueVector( rangeValues[ col ], quadNop );
373 for(
const auto qp : quadrature )
375 values( domainBasis, qp, basisValues );
376 const auto weight = qp.weight() * geometry.integrationElement( qp.position() );
377 auto integrand = integrands().linearizedInterior( qp, domainValue( qp.index(), domains ) );
378 for( std::size_t col = 0; col < domainSize; ++col )
380 assignRange( rangeValues[ col ], qp.index(), integrand( value( basisValues, col ) ), weight );
385 for( std::size_t col = 0; col < domainSize; ++col )
387 LocalMatrixColumn< J > jCol( j, col );
388 axpyQuadrature( jCol, quadrature, rangeValues[ col ] );
390 integrands().unbind();
395 template<
class Intersection,
class U,
class W >
396 void addBoundaryIntegral (
const Intersection &intersection,
const U &u, W &w )
const
398 if( !integrands().init( intersection ) )
401 const auto geometry = intersection.geometry();
402 typedef typename QuadratureSelector< typename W::DiscreteFunctionSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
403 const SurfaceQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(maxOrder( u, w )), SurfaceQuadratureType::INSIDE );
404 for(
const auto qp : quadrature )
406 const ctype weight = qp.weight() * geometry.integrationElement( qp.localPosition() );
408 RangeValueType integrand = integrands().boundary( qp, domainValue( u, qp ) );
410 Hybrid::forEach( RangeValueIndices(), [ &qp, &w, &integrand, weight ] (
auto i ) {
411 std::get< i >( integrand ) *= weight;
412 w.axpy( qp, std::get< i >( integrand ) );
415 integrands().unbind();
418 template<
class Intersection,
class U,
class J >
419 void addLinearizedBoundaryIntegral (
const Intersection &intersection,
const U &u, J &j )
const
421 if( !integrands().init( intersection ) )
424 DomainValueVectorType &phi = phiIn_;
426 const auto geometry = intersection.geometry();
427 const auto &domainBasis = j.domainBasisFunctionSet();
428 const auto &rangeBasis = j.rangeBasisFunctionSet();
430 typedef typename QuadratureSelector< typename J::RangeSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
431 const SurfaceQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(maxOrder(u, domainBasis, rangeBasis )), SurfaceQuadratureType::INSIDE );
432 for(
const auto qp : quadrature )
434 const ctype weight = qp.weight() * geometry.integrationElement( qp.localPosition() );
436 values( domainBasis, qp, phi );
437 auto integrand = integrands().linearizedBoundary( qp, domainValue( u, qp ) );
439 for( std::size_t col = 0, cols = domainBasis.size(); col < cols; ++col )
441 LocalMatrixColumn< J > jCol( j, col );
442 RangeValueType intPhi = integrand( value( phi, col ) );
444 Hybrid::forEach( RangeValueIndices(), [ &qp, &jCol, &intPhi, weight ] (
auto i ) {
445 std::get< i >( intPhi ) *= weight;
446 jCol.axpy( qp, std::get< i >( intPhi ) );
450 integrands().unbind();
456 template<
bool conforming,
class Intersection,
class U,
class W >
457 void addSkeletonIntegral (
const Intersection &intersection,
const U &uIn,
const U &uOut, W &wIn )
const
459 const auto geometry = intersection.geometry();
461 typedef typename QuadratureSelector< typename W::DiscreteFunctionSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
462 typedef IntersectionQuadrature< SurfaceQuadratureType, conforming > IntersectionQuadratureType;
463 const IntersectionQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(maxOrder( uIn, uOut, wIn)),
false );
464 for( std::size_t qp = 0, nop = quadrature.nop(); qp != nop; ++qp )
466 const ctype weight = quadrature.weight( qp ) * geometry.integrationElement( quadrature.localPoint( qp ) );
468 const auto qpIn = quadrature.inside()[ qp ];
469 const auto qpOut = quadrature.outside()[ qp ];
470 std::pair< RangeValueType, RangeValueType > integrand = integrands().skeleton( qpIn, domainValue( uIn, qpIn ), qpOut, domainValue( uOut, qpOut ) );
472 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &wIn, &integrand, weight ] (
auto i ) {
473 std::get< i >( integrand.first ) *= weight;
474 wIn.axpy( qpIn, std::get< i >( integrand.first ) );
479 template<
bool conforming,
class Intersection,
class U,
class W >
480 void addSkeletonIntegral (
const Intersection &intersection,
const U &uIn,
const U &uOut, W &wIn, W &wOut )
const
482 const auto geometry = intersection.geometry();
483 typedef typename QuadratureSelector< typename W::DiscreteFunctionSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
484 typedef IntersectionQuadrature< SurfaceQuadratureType, conforming > IntersectionQuadratureType;
485 const IntersectionQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(maxOrder( uIn, uOut, wIn, wOut)),
false );
486 for( std::size_t qp = 0, nop = quadrature.nop(); qp != nop; ++qp )
488 const ctype weight = quadrature.weight( qp ) * geometry.integrationElement( quadrature.localPoint( qp ) );
490 const auto qpIn = quadrature.inside()[ qp ];
491 const auto qpOut = quadrature.outside()[ qp ];
492 std::pair< RangeValueType, RangeValueType > integrand = integrands().skeleton( qpIn, domainValue( uIn, qpIn ), qpOut, domainValue( uOut, qpOut ) );
494 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &wIn, &qpOut, &wOut, &integrand, weight ] (
auto i ) {
495 std::get< i >( integrand.first ) *= weight;
496 wIn.axpy( qpIn, std::get< i >( integrand.first ) );
498 std::get< i >( integrand.second ) *= weight;
499 wOut.axpy( qpOut, std::get< i >( integrand.second ) );
504 template<
bool conforming,
class Intersection,
class U,
class J >
505 void addLinearizedSkeletonIntegral (
const Intersection &intersection,
506 const U &uIn,
const U &uOut, J &jInIn, J &jOutIn )
const
508 DomainValueVectorType &phiIn = phiIn_;
509 DomainValueVectorType &phiOut = phiOut_;
511 const auto &domainBasisIn = jInIn.domainBasisFunctionSet();
512 const auto &domainBasisOut = jOutIn.domainBasisFunctionSet();
514 const auto &rangeBasisIn = jInIn.rangeBasisFunctionSet();
516 const int order = std::max( maxOrder(uIn, uOut), maxOrder( domainBasisIn, domainBasisOut, rangeBasisIn ));
518 const auto geometry = intersection.geometry();
519 typedef typename QuadratureSelector< typename J::RangeSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
520 typedef IntersectionQuadrature< SurfaceQuadratureType, conforming > IntersectionQuadratureType;
521 const IntersectionQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(order),
false );
522 for( std::size_t qp = 0, nop = quadrature.nop(); qp != nop; ++qp )
524 const ctype weight = quadrature.weight( qp ) * geometry.integrationElement( quadrature.localPoint( qp ) );
526 const auto qpIn = quadrature.inside()[ qp ];
527 const auto qpOut = quadrature.outside()[ qp ];
529 values( domainBasisIn, qpIn, phiIn );
530 values( domainBasisOut, qpOut, phiOut );
532 auto integrand = integrands().linearizedSkeleton( qpIn, domainValue( uIn, qpIn ), qpOut, domainValue( uOut, qpOut ) );
533 for( std::size_t col = 0, cols = domainBasisIn.size(); col < cols; ++col )
535 LocalMatrixColumn< J > jInInCol( jInIn, col );
536 std::pair< RangeValueType, RangeValueType > intPhi = integrand.first( value( phiIn, col ) );
538 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &jInInCol, &intPhi, weight ] (
auto i ) {
539 std::get< i >( intPhi.first ) *= weight;
540 jInInCol.axpy( qpIn, std::get< i >( intPhi.first ) );
543 for( std::size_t col = 0, cols = domainBasisOut.size(); col < cols; ++col )
545 LocalMatrixColumn< J > jOutInCol( jOutIn, col );
546 std::pair< RangeValueType, RangeValueType > intPhi = integrand.second( value( phiOut, col ) );
548 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &jOutInCol, &intPhi, weight ] (
auto i ) {
549 std::get< i >( intPhi.first ) *= weight;
550 jOutInCol.axpy( qpIn, std::get< i >( intPhi.first ) );
556 template<
bool conforming,
class Intersection,
class U,
class J >
557 void addLinearizedSkeletonIntegral (
const Intersection &intersection,
const U &uIn,
const U &uOut,
558 J &jInIn, J &jOutIn, J &jInOut, J &jOutOut )
const
560 DomainValueVectorType &phiIn = phiIn_;
561 DomainValueVectorType &phiOut = phiOut_;
563 const auto &domainBasisIn = jInIn.domainBasisFunctionSet();
564 const auto &domainBasisOut = jOutIn.domainBasisFunctionSet();
566 const auto &rangeBasisIn = jInIn.rangeBasisFunctionSet();
567 const auto &rangeBasisOut = jInOut.rangeBasisFunctionSet();
569 const int order = std::max( maxOrder(uIn, uOut), maxOrder( domainBasisIn, domainBasisOut, rangeBasisIn, rangeBasisOut ));
571 const auto geometry = intersection.geometry();
572 typedef typename QuadratureSelector< typename J::RangeSpaceType > :: SurfaceQuadratureType SurfaceQuadratureType;
573 typedef IntersectionQuadrature< SurfaceQuadratureType, conforming > IntersectionQuadratureType;
574 const IntersectionQuadratureType quadrature( gridPart(), intersection, surfaceQuadratureOrder(order),
false );
575 for( std::size_t qp = 0, nop = quadrature.nop(); qp != nop; ++qp )
577 const ctype weight = quadrature.weight( qp ) * geometry.integrationElement( quadrature.localPoint( qp ) );
579 const auto qpIn = quadrature.inside()[ qp ];
580 const auto qpOut = quadrature.outside()[ qp ];
582 values( domainBasisIn, qpIn, phiIn );
583 values( domainBasisOut, qpOut, phiOut );
585 auto integrand = integrands().linearizedSkeleton( qpIn, domainValue( uIn, qpIn ), qpOut, domainValue( uOut, qpOut ) );
586 for( std::size_t col = 0, cols = domainBasisIn.size(); col < cols; ++col )
588 LocalMatrixColumn< J > jInInCol( jInIn, col );
589 LocalMatrixColumn< J > jInOutCol( jInOut, col );
590 std::pair< RangeValueType, RangeValueType > intPhi = integrand.first( value( phiIn, col ) );
592 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &jInInCol, &qpOut, &jInOutCol, &intPhi, weight ] (
auto i ) {
593 std::get< i >( intPhi.first ) *= weight;
594 jInInCol.axpy( qpIn, std::get< i >( intPhi.first ) );
596 std::get< i >( intPhi.second ) *= weight;
597 jInOutCol.axpy( qpOut, std::get< i >( intPhi.second ) );
600 for( std::size_t col = 0, cols = domainBasisOut.size(); col < cols; ++col )
602 LocalMatrixColumn< J > jOutInCol( jOutIn, col );
603 LocalMatrixColumn< J > jOutOutCol( jOutOut, col );
604 std::pair< RangeValueType, RangeValueType > intPhi = integrand.second( value( phiOut, col ) );
606 Hybrid::forEach( RangeValueIndices(), [ &qpIn, &jOutInCol, &qpOut, &jOutOutCol, &intPhi, weight ] (
auto i ) {
607 std::get< i >( intPhi.first ) *= weight;
608 jOutInCol.axpy( qpIn, std::get< i >( intPhi.first ) );
610 std::get< i >( intPhi.second ) *= weight;
611 jOutOutCol.axpy( qpOut, std::get< i >( intPhi.second ) );
618 template<
class Intersection,
class U,
class... W >
619 void addSkeletonIntegral (
const Intersection &intersection,
const U &uIn,
const U &uOut, W &... w )
const
621 if( !integrands().init( intersection ) )
624 if( intersection.conforming() )
625 addSkeletonIntegral< true >( intersection, uIn, uOut, w... );
627 addSkeletonIntegral< false >( intersection, uIn, uOut, w... );
628 integrands().unbind();
631 template<
class Intersection,
class U,
class... J >
632 void addLinearizedSkeletonIntegral (
const Intersection &intersection,
const U &uIn,
const U &uOut, J &... j )
const
634 if( !integrands().init( intersection ) )
637 if( intersection.conforming() )
638 addLinearizedSkeletonIntegral< true >( intersection, uIn, uOut, j... );
640 addLinearizedSkeletonIntegral< false >( intersection, uIn, uOut, j... );
641 integrands().unbind();
644 void setQuadratureOrders(
unsigned int interior,
unsigned int surface)
647 surfaceQuadOrder_ = surface;
650 void setQuadratureOrderFunctions( std::function<
int(
const int)> interiorOrder,
651 std::function<
int(
const int)> surfaceOrder )
653 defaultInteriorOrder_ = interiorOrder;
654 defaultSurfaceOrder_ = surfaceOrder;
657 IntegrandsType& model()
const
661 bool nonlinear()
const {
return model().nonlinear(); }
662 bool hasInterior()
const {
return model().hasInterior(); }
663 bool hasSkeleton()
const {
return model().hasSkeleton(); }
664 bool hasBoundary()
const {
return model().hasBoundary(); }
667 IntegrandsType& integrands()
const
674 const GridPartType &gridPart ()
const {
return gridPart_; }
676 unsigned int interiorQuadratureOrder(
unsigned int order)
const {
return interiorQuadOrder_ == 0 ? defaultInteriorOrder_(order) : interiorQuadOrder_; }
677 unsigned int surfaceQuadratureOrder(
unsigned int order)
const {
return surfaceQuadOrder_ == 0 ? defaultSurfaceOrder_ (order) : surfaceQuadOrder_; }
681 int maxOrder(
const U& u )
const
683 return CallOrder< U > :: order( u );
686 template<
class U,
class W >
687 int maxOrder(
const U& u,
const W& w )
const
689 return std::max( maxOrder( u ), maxOrder( w ) );
692 template<
class U,
class V,
class W >
693 int maxOrder(
const U& u,
const V& v,
const W& w )
const
695 return std::max( maxOrder( u, v ), maxOrder( w ) );
698 template<
class U,
class V,
class W,
class X >
699 int maxOrder(
const U& u,
const V& v,
const W& w,
const X& x )
const
701 return std::max( maxOrder( u, v ), maxOrder( w, x) );
705 const GridPartType &gridPart_;
707 mutable IntegrandsType integrands_;
709 mutable std::function<int(
const int)> defaultInteriorOrder_;
710 mutable std::function<int(
const int)> defaultSurfaceOrder_;
712 unsigned int interiorQuadOrder_;
713 unsigned int surfaceQuadOrder_;
715 mutable std::vector< RangeValueVectorType > rangeValues_;
716 mutable RangeValueVectorType values_;
717 mutable DomainValueVectorType phiIn_;
718 mutable DomainValueVectorType phiOut_;
719 mutable DomainValueVectorType basisValues_;
720 mutable DomainValueVectorType domainValues_;
728 template<
class Gr
idPart >
730 struct GalerkinOperator
732 typedef GridPart GridPartType;
733 typedef GalerkinOperator< GridPartType > ThisType;
735 typedef typename GridPartType::ctype ctype;
736 typedef typename GridPartType::template Codim< 0 >::EntityType EntityType;
739 explicit GalerkinOperator (
const GridPartType &gridPart )
740 : gridPart_( gridPart ),
741 gridSizeInterior_( 0 )
746 template <
class IntegrandsTuple>
747 bool hasBoundary(
const IntegrandsTuple& integrandsTuple )
const
749 typedef std::make_index_sequence< std::tuple_size< IntegrandsTuple >::value > Indices;
750 bool hasBoundary = false ;
751 Hybrid::forEach( Indices(), [&integrandsTuple, &hasBoundary](
auto i ) {
752 if( std::get< i > (integrandsTuple).hasBoundary() )
761 template<
class Gr
idFunction,
class DiscreteFunction,
class Iterators,
class IntegrandsTuple,
class Functor,
bool hasSkeleton >
762 void evaluateImpl (
const GridFunction &u, DiscreteFunction &w,
const Iterators& iterators,
763 const IntegrandsTuple& integrandsTuple, Functor& addLocalDofs, std::integral_constant<bool, hasSkeleton> )
const
765 Dune::Fem::ConstLocalFunction< GridFunction > uInside( u );
766 Dune::Fem::ConstLocalFunction< GridFunction > uOutside( u );
768 typedef typename DiscreteFunction::DiscreteFunctionSpaceType DiscreteFunctionSpaceType;
772 gridSizeInterior_ = 0;
774 typedef std::make_index_sequence< std::tuple_size< IntegrandsTuple >::value > Indices;
777 const bool hasBnd = hasBoundary( integrandsTuple );
779 const auto &indexSet = gridPart().indexSet();
780 const auto end = iterators.end();
781 for(
auto it = iterators.begin(); it != end; ++it )
784 const EntityType inside = *it ;
789 auto uGuard = bindGuard( uInside, inside );
790 auto wGuard = bindGuard( wInside, inside );
793 auto addInteriorIntegral = [&integrandsTuple, &uInside, &wInside](
auto i )
795 const auto& integrands = std::get< i >( integrandsTuple );
796 if( integrands.hasInterior() )
797 integrands.addInteriorIntegral( uInside, wInside );
802 if( hasSkeleton || (hasBnd && HasBoundaryIntersection<GridPartType>::apply(inside) ) )
804 for(
const auto &intersection : intersections( gridPart(), inside ) )
806 bool neighbor =
false;
807 if constexpr ( hasSkeleton )
811 if( intersection.neighbor() )
814 const EntityType outside = intersection.outside();
818 auto uOutGuard = bindGuard( uOutside, outside );
820 auto addSkeletonIntegral = [&integrandsTuple, &intersection, &uInside, &uOutside, &wInside] (
auto i )
822 const auto& integrands = std::get< i >( integrandsTuple );
823 if( integrands.hasSkeleton() )
824 integrands.addSkeletonIntegral( intersection, uInside, uOutside, wInside );
829 else if( indexSet.index( inside ) < indexSet.index( outside ) )
831 auto uOutGuard = bindGuard( uOutside, outside );
832 auto wOutGuard = bindGuard( wOutside, outside );
835 auto addSkeletonIntegral = [&integrandsTuple, &intersection, &uInside, &uOutside, &wInside, &wOutside] (
auto i )
837 const auto& integrands = std::get< i >( integrandsTuple );
838 if( integrands.hasSkeleton() )
839 integrands.addSkeletonIntegral( intersection, uInside, uOutside, wInside, wOutside );
846 addLocalDofs( outside, wOutside );
851 if( ! neighbor && intersection.boundary() )
853 auto addBoundaryIntegral = [&integrandsTuple, &intersection, &uInside, &wInside](
auto i )
855 const auto& integrands = std::get< i >( integrandsTuple );
856 if( integrands.hasBoundary() )
857 integrands.addBoundaryIntegral( intersection, uInside, wInside );
865 addLocalDofs( inside, wInside );
869 template <
class Space>
872 typedef typename Space::EntityType EntityType;
873 template <
class Iterators>
874 InsideEntity(
const Space &space,
const Iterators& iterators)
875 : space_(space), dofThread_(space.
size(),-1)
876 , thread_( iterators.thread() )
878 const auto& mapper = space_.blockMapper();
879 for (
const auto &entity : space_)
881 int t=iterators.threadParallel(entity);
882 mapper.mapEach(entity, [
this, t ] (
int local,
auto global )
883 { dofThread_[global] = (dofThread_[global]==t || dofThread_[global]==-1)?
887 bool operator()(
const EntityType &entity)
const
889 bool needsLocking =
false;
890 space_.blockMapper().mapEach(entity,
891 [
this, &needsLocking ] (
int local,
auto global )
892 { needsLocking = (needsLocking || dofThread_[global]!=thread_); });
893 return !needsLocking;
896 std::vector<int> dofThread_;
900 template <
class DiscreteFunction>
901 struct AddLocalEvaluate
903 AddLocalEvaluate(DiscreteFunction &w)
905 template <
class LocalDofs>
906 void operator () (
const EntityType& entity,
const LocalDofs& wLocal )
const
908 w_.addLocalDofs( entity, wLocal.localDofVector() );
910 DiscreteFunction &w_;
913 template <
class DiscreteFunction>
914 struct AddLocalEvaluateLocked :
public AddLocalEvaluate<DiscreteFunction>
916 typedef AddLocalEvaluate<DiscreteFunction> BaseType;
918 std::shared_mutex& mutex_;
919 InsideEntity<typename DiscreteFunction::DiscreteFunctionSpaceType> inside_;
921 template <
class Iterators>
922 AddLocalEvaluateLocked(DiscreteFunction &w, std::shared_mutex& mtx,
const Iterators &iterators)
923 : BaseType(w), mutex_(mtx), inside_(w.space(),iterators) {}
925 template <
class LocalDofs>
926 void operator () (
const EntityType& entity,
const LocalDofs& wLocal )
const
931 std::shared_lock<std::shared_mutex> guard ( mutex_ );
932 BaseType::operator()( entity, wLocal );
937 std::lock_guard<std::shared_mutex> guard ( mutex_ );
938 BaseType::operator()( entity, wLocal );
943 template<
class Gr
idFunction,
class DiscreteFunction,
class Iterators,
class IntegrandsTuple,
class Functor >
944 void evaluate (
const GridFunction &u, DiscreteFunction &w,
const Iterators& iterators,
945 const IntegrandsTuple& integrandsTuple, Functor& addLocalDofs )
const
947 static_assert( std::is_same< typename GridFunction::GridPartType, GridPartType >::value,
"Argument 'u' and Integrands must be defined on the same grid part." );
948 static_assert( std::is_same< typename DiscreteFunction::GridPartType, GridPartType >::value,
"Argument 'w' and Integrands must be defined on the same grid part." );
950 if( hasSkeleton( integrandsTuple ) )
951 evaluateImpl( u, w, iterators, integrandsTuple, addLocalDofs, std::true_type() );
953 evaluateImpl( u, w, iterators, integrandsTuple, addLocalDofs, std::false_type() );
957 template <
class IntegrandsTuple>
958 bool hasSkeleton(
const IntegrandsTuple& integrandsTuple )
const
960 typedef std::make_index_sequence< std::tuple_size< IntegrandsTuple >::value > Indices;
961 bool hasSkeleton = false ;
962 Hybrid::forEach( Indices(), [&integrandsTuple, &hasSkeleton] (
auto i ) {
963 if( std::get< i >( integrandsTuple ).hasSkeleton() )
972 template<
class Gr
idFunction,
class DiscreteFunction,
class Iterators,
class IntegrandsTuple >
973 void evaluate (
const GridFunction &u, DiscreteFunction &w,
const Iterators& iterators,
974 const IntegrandsTuple& integrandsTuple, std::shared_mutex& mtx )
const
976 AddLocalEvaluateLocked<DiscreteFunction> addLocalEvaluate(w,mtx,iterators);
977 evaluate( u, w, iterators, integrandsTuple, addLocalEvaluate );
980 template<
class Gr
idFunction,
class DiscreteFunction,
class Iterators,
class IntegrandsTuple >
981 void evaluate (
const GridFunction &u, DiscreteFunction &w,
const Iterators& iterators,
const IntegrandsTuple& integrandsTuple )
const
983 AddLocalEvaluate<DiscreteFunction> addLocalEvaluate(w);
984 evaluate( u, w, iterators, integrandsTuple, addLocalEvaluate );
988 template<
class T,
int length>
993 FiniteStack () : _f(0) {}
996 bool empty ()
const {
return _f <= 0; }
999 bool full ()
const {
return (_f >= length); }
1002 void clear() { _f = 0; }
1005 void push (
const T& t)
1007 assert ( _f < length );
1024 int size ()
const {
return _f; }
1032 template <
class JacobianOperator>
1033 struct AddLocalAssemble
1035 typedef typename JacobianOperator::DomainSpaceType DomainSpaceType;
1036 typedef typename JacobianOperator::RangeSpaceType RangeSpaceType;
1037 typedef TemporaryLocalMatrix< DomainSpaceType, RangeSpaceType > TemporaryLocalMatrixType;
1038 JacobianOperator &jOp_;
1039 std::vector< TemporaryLocalMatrixType > jOpLocal_;
1041 FiniteStack< TemporaryLocalMatrixType*, 12 > jOpLocalFinalized_;
1042 FiniteStack< TemporaryLocalMatrixType*, 12 > jOpLocalFree_;
1044 std::size_t locked, notLocked, timesLocked;
1045 AddLocalAssemble(JacobianOperator& jOp)
1047 , jOpLocal_(12, TemporaryLocalMatrixType(jOp_.domainSpace(), jOp_.rangeSpace()))
1048 , jOpLocalFinalized_()
1050 , locked(0), notLocked(0), timesLocked(0)
1052 for(
auto& jOpLocal : jOpLocal_ )
1053 jOpLocalFree_.push( &jOpLocal );
1056 TemporaryLocalMatrixType& bind(
const EntityType& dE,
const EntityType& rE)
1058 assert( ! jOpLocalFree_.empty() );
1059 TemporaryLocalMatrixType& lop = *(jOpLocalFree_.pop());
1065 void unbind(TemporaryLocalMatrixType &lop)
1068 jOp_.addLocalMatrix( lop.domainEntity(), lop.rangeEntity(), lop );
1070 jOpLocalFree_.push( &lop );
1075 locked += jOpLocalFinalized_.size();
1076 while ( ! jOpLocalFinalized_.empty() )
1078 TemporaryLocalMatrixType &lop = *(jOpLocalFinalized_.pop());
1079 jOp_.addLocalMatrix( lop.domainEntity(), lop.rangeEntity(), lop );
1081 jOpLocalFree_.push( &lop );
1086 template <
class JacobianOperator>
1087 struct AddLocalAssembleLocked :
public AddLocalAssemble<JacobianOperator>
1089 typedef AddLocalAssemble<JacobianOperator> BaseType;
1090 typedef typename BaseType::TemporaryLocalMatrixType TemporaryLocalMatrixType;
1091 using BaseType::jOpLocalFinalized_;
1092 using BaseType::jOpLocalFree_;
1094 std::shared_mutex& mutex_;
1095 InsideEntity<typename JacobianOperator::DomainSpaceType> insideDomain_;
1096 InsideEntity<typename JacobianOperator::RangeSpaceType> insideRange_;
1098 template <
class Iterators>
1099 AddLocalAssembleLocked(JacobianOperator &jOp, std::shared_mutex &mtx,
const Iterators &iterators)
1102 , insideDomain_(jOp.domainSpace(),iterators)
1103 , insideRange_(jOp.rangeSpace(),iterators)
1109 ++BaseType::timesLocked;
1110 std::lock_guard<std::shared_mutex> guard ( mutex_ );
1111 BaseType::finalize();
1114 TemporaryLocalMatrixType& bind(
const EntityType& dE,
const EntityType& rE)
1116 if ( jOpLocalFree_.empty() )
1120 return BaseType::bind(dE,rE);
1123 void unbind(TemporaryLocalMatrixType &lop)
1132 if ( insideDomain_(lop.domainEntity()) &&
1133 insideRange_(lop.rangeEntity()) )
1135 std::shared_lock<std::shared_mutex> guard ( mutex_ );
1136 BaseType::unbind(lop);
1140 jOpLocalFinalized_.push( &lop );
1145 template<
class Gr
idFunction,
class JacobianOperator,
class Iterators,
class IntegrandsTuple,
class Functor,
bool hasSkeleton >
1146 void assembleImpl (
const GridFunction &u, JacobianOperator &jOp,
const Iterators& iterators,
const IntegrandsTuple& integrandsTuple,
1147 Functor& addLocalMatrix, std::integral_constant<bool, hasSkeleton> )
const
1149 typedef typename JacobianOperator::DomainSpaceType DomainSpaceType;
1150 typedef typename JacobianOperator::RangeSpaceType RangeSpaceType;
1152 typedef TemporaryLocalMatrix< DomainSpaceType, RangeSpaceType > TemporaryLocalMatrixType;
1154 Dune::Fem::ConstLocalFunction< GridFunction > uIn( u );
1155 Dune::Fem::ConstLocalFunction< GridFunction > uOut( u );
1157 typedef std::make_index_sequence< std::tuple_size< IntegrandsTuple >::value > Indices;
1158 const std::size_t maxNumLocalDofs = jOp.domainSpace().blockMapper().maxNumDofs() * jOp.domainSpace().localBlockSize;
1161 Hybrid::forEach( Indices(), [&integrandsTuple, &maxNumLocalDofs] (
auto i ) {
1162 const auto& integrands = std::get< i >( integrandsTuple );
1163 integrands.prepare( maxNumLocalDofs );
1167 gridSizeInterior_ = 0;
1170 const bool hasBnd = hasBoundary( integrandsTuple );
1172 const auto &indexSet = gridPart().indexSet();
1174 const auto end = iterators.end();
1175 for(
auto it = iterators.begin(); it != end; ++it )
1178 ++gridSizeInterior_;
1180 const EntityType inside = *it;
1182 auto uiGuard = bindGuard( uIn, inside );
1184 TemporaryLocalMatrixType& jOpInIn = addLocalMatrix.bind( inside, inside );
1185 auto addLinearizedInteriorIntegral = [&integrandsTuple, &uIn, &jOpInIn](
auto i )
1187 const auto& integrands = std::get< i >( integrandsTuple );
1188 if( integrands.hasInterior() )
1189 integrands.addLinearizedInteriorIntegral( uIn, jOpInIn );
1194 if( hasSkeleton || (hasBnd && HasBoundaryIntersection<GridPartType>::apply(inside) ) )
1196 for(
const auto &intersection : intersections( gridPart(), inside ) )
1198 bool neighbor = false ;
1201 if constexpr ( hasSkeleton )
1203 if( intersection.neighbor() )
1206 const EntityType &outside = intersection.outside();
1208 TemporaryLocalMatrixType &jOpOutIn = addLocalMatrix.bind( outside, inside );
1210 auto uoGuard = bindGuard( uOut, outside );
1214 auto addLinearizedSkeletonIntegral = [&integrandsTuple, &intersection, &uIn, &uOut, &jOpInIn, &jOpOutIn](
auto i )
1216 const auto& integrands = std::get< i >( integrandsTuple );
1217 if( integrands.hasSkeleton() )
1218 integrands.addLinearizedSkeletonIntegral( intersection, uIn, uOut, jOpInIn, jOpOutIn );
1223 else if( indexSet.index( inside ) < indexSet.index( outside ) )
1225 TemporaryLocalMatrixType &jOpInOut = addLocalMatrix.bind( inside, outside );
1226 TemporaryLocalMatrixType &jOpOutOut = addLocalMatrix.bind( outside, outside );
1228 auto addLinearizedSkeletonIntegral = [&integrandsTuple, &intersection, &uIn, &uOut, &jOpInIn, &jOpOutIn, &jOpInOut, &jOpOutOut](
auto i )
1230 const auto& integrands = std::get< i >( integrandsTuple );
1231 if( integrands.hasSkeleton() )
1232 integrands.addLinearizedSkeletonIntegral( intersection, uIn, uOut, jOpInIn, jOpOutIn, jOpInOut, jOpOutOut );
1237 addLocalMatrix.unbind(jOpInOut);
1238 addLocalMatrix.unbind(jOpOutOut);
1241 addLocalMatrix.unbind(jOpOutIn);
1245 if( !neighbor && intersection.boundary() )
1247 auto addLinearizedBoundaryIntegral = [&integrandsTuple, &intersection, &uIn, &jOpInIn](
auto i )
1249 const auto& integrands = std::get< i >( integrandsTuple );
1250 if( integrands.hasBoundary() )
1251 integrands.addLinearizedBoundaryIntegral( intersection, uIn, jOpInIn );
1259 addLocalMatrix.unbind(jOpInIn);
1263 addLocalMatrix.finalize();
1267 template<
class Gr
idFunction,
class JacobianOperator,
class Iterators,
class IntegrandsTuple,
class Functor >
1268 void assemble (
const GridFunction &u, JacobianOperator &jOp,
const Iterators& iterators,
1269 const IntegrandsTuple& integrandsTuple, Functor& addLocalMatrix,
int )
const
1271 static_assert( std::is_same< typename GridFunction::GridPartType, GridPartType >::value,
"Argument 'u' and Integrands must be defined on the same grid part." );
1272 static_assert( std::is_same< typename JacobianOperator::DomainSpaceType::GridPartType, GridPartType >::value,
"Argument 'jOp' and Integrands must be defined on the same grid part." );
1273 static_assert( std::is_same< typename JacobianOperator::RangeSpaceType::GridPartType, GridPartType >::value,
"Argument 'jOp' and Integrands must be defined on the same grid part." );
1275 if( hasSkeleton( integrandsTuple ) )
1276 assembleImpl( u, jOp, iterators, integrandsTuple ,addLocalMatrix, std::true_type() );
1278 assembleImpl( u, jOp, iterators, integrandsTuple, addLocalMatrix, std::false_type() );
1282 template<
class Gr
idFunction,
class JacobianOperator,
class Iterators,
class IntegrandsTuple>
1283 void assemble (
const GridFunction &u, JacobianOperator &jOp,
const Iterators& iterators,
1284 const IntegrandsTuple& integrandsTuple, std::shared_mutex& mtx)
const
1286 AddLocalAssembleLocked<JacobianOperator> addLocalAssemble( jOp, mtx, iterators);
1287 assemble( u, jOp, iterators, integrandsTuple, addLocalAssemble, 10 );
1289 std::lock_guard guard ( mtx );
1290 std::cout << MPIManager::thread() <<
" : "
1291 << addLocalAssemble.locked <<
" " << addLocalAssemble.notLocked <<
" "
1292 << addLocalAssemble.timesLocked << std::endl;
1296 template<
class Gr
idFunction,
class JacobianOperator,
class Iterators,
class IntegrandsTuple>
1297 void assemble (
const GridFunction &u, JacobianOperator &jOp,
const Iterators& iterators,
const IntegrandsTuple& integrandsTuple )
const
1299 AddLocalAssemble<JacobianOperator> addLocalAssemble(jOp);
1300 assemble( u, jOp, iterators, integrandsTuple, addLocalAssemble, 10 );
1304 const GridPartType &gridPart ()
const {
return gridPart_; }
1306 std::size_t gridSizeInterior ()
const {
return gridSizeInterior_; }
1309 const GridPartType &gridPart_;
1310 mutable std::size_t gridSizeInterior_;
1314 template <
class GalerkinOperator >
1315 static std::size_t accumulateGridSize(
const ThreadSafeValue< GalerkinOperator >& ops )
1317 std::size_t s = ops.size();
1318 std::size_t sum = 0;
1319 for( std::size_t i=0; i<s; ++i )
1320 sum += ops[ i ].gridSizeInterior();
1333 template<
class Integrands,
class DomainFunction,
class RangeFunction = DomainFunction >
1334 struct GalerkinOperator
1335 :
public virtual Operator< DomainFunction, RangeFunction >
1337 typedef DomainFunction DomainFunctionType;
1338 typedef RangeFunction RangeFunctionType;
1340 typedef typename RangeFunctionType::GridPartType GridPartType;
1342 typedef Impl::LocalGalerkinOperator< Integrands > LocalGalerkinOperatorImplType;
1343 typedef Impl::GalerkinOperator< GridPartType > GalerkinOperatorImplType;
1345 static_assert( std::is_same< typename DomainFunctionType::GridPartType, typename RangeFunctionType::GridPartType >::value,
"DomainFunction and RangeFunction must be defined on the same grid part." );
1349 template<
class... Args >
1350 explicit GalerkinOperator (
const GridPartType &gridPart, Args &&... args )
1351 : iterators_( gridPart ),
1352 opImpl_( gridPart ),
1353 localOp_( gridPart,
std::forward< Args >( args )... ),
1354 gridSizeInterior_( 0 ),
1355 communicate_( true )
1359 void setCommunicate(
const bool communicate )
1361 communicate_ = communicate;
1364 std::cout <<
"GalerkinOperator::setCommunicate: communicate was disabled!" << std::endl;
1368 void setQuadratureOrders(
unsigned int interior,
unsigned int surface)
1370 size_t size = localOp_.size();
1371 for(
size_t i=0; i<
size; ++i )
1372 localOp_[ i ].setQuadratureOrders(interior,surface);
1375 virtual bool nonlinear() const final
override
1377 return localOperator().nonlinear();
1380 virtual void operator() (
const DomainFunctionType &u, RangeFunctionType &w )
const final override
1385 template<
class Gr
idFunction >
1386 void operator() (
const GridFunction &u, RangeFunctionType &w )
const
1391 const GridPartType &gridPart ()
const {
return op().gridPart(); }
1393 typedef Integrands ModelType;
1394 typedef Integrands DirichletModelType;
1395 ModelType &model()
const {
return localOperator().model(); }
1397 [[deprecated(
"Use localOperator instead!")]]
1398 const LocalGalerkinOperatorImplType& impl()
const {
return localOperator(); }
1401 const LocalGalerkinOperatorImplType& localOperator()
const {
return *localOp_; }
1403 std::size_t gridSizeInterior ()
const {
return gridSizeInterior_; }
1407 const GalerkinOperatorImplType& op()
const {
return *opImpl_; }
1409 template <
class Gr
idFunction >
1410 void evaluate(
const GridFunction &u, RangeFunctionType &w )
const
1412 iterators_.update();
1415 std::shared_mutex mutex;
1417 auto doEval = [
this, &u, &w, &mutex] ()
1420 std::tuple< const LocalGalerkinOperatorImplType& > integrands( localOperator() );
1421 this->op().evaluate( u, w, this->iterators_, integrands, mutex );
1426 MPIManager :: run ( doEval );
1429 gridSizeInterior_ = Impl::accumulateGridSize( opImpl_ );
1431 catch (
const SingleThreadModeError& e )
1436 std::tuple< const LocalGalerkinOperatorImplType& > integrands( localOperator() );
1437 op().evaluate( u, w, iterators_, integrands );
1440 gridSizeInterior_ = op().gridSizeInterior();
1448 mutable ThreadIteratorType iterators_;
1452 mutable std::size_t gridSizeInterior_;
1461 template<
class Integrands,
class JacobianOperator >
1462 class DifferentiableGalerkinOperator
1463 :
public GalerkinOperator< Integrands, typename JacobianOperator::DomainFunctionType, typename JacobianOperator::RangeFunctionType >,
1464 public DifferentiableOperator< JacobianOperator >
1466 typedef GalerkinOperator< Integrands, typename JacobianOperator::DomainFunctionType, typename JacobianOperator::RangeFunctionType > BaseType;
1468 typedef typename BaseType :: LocalGalerkinOperatorImplType LocalGalerkinOperatorImplType;
1470 typedef JacobianOperator JacobianOperatorType;
1472 typedef typename BaseType::DomainFunctionType DomainFunctionType;
1473 typedef typename BaseType::RangeFunctionType RangeFunctionType;
1474 typedef typename DomainFunctionType::DiscreteFunctionSpaceType DomainDiscreteFunctionSpaceType;
1475 typedef typename RangeFunctionType::DiscreteFunctionSpaceType RangeDiscreteFunctionSpaceType;
1477 typedef DiagonalAndNeighborStencil< DomainDiscreteFunctionSpaceType, RangeDiscreteFunctionSpaceType > DiagonalAndNeighborStencilType;
1478 typedef DiagonalStencil< DomainDiscreteFunctionSpaceType, RangeDiscreteFunctionSpaceType > DiagonalStencilType;
1480 typedef typename BaseType::GridPartType GridPartType;
1482 template<
class... Args >
1483 explicit DifferentiableGalerkinOperator (
const DomainDiscreteFunctionSpaceType &dSpace,
1484 const RangeDiscreteFunctionSpaceType &rSpace,
1486 : BaseType( rSpace.gridPart(),
std::forward< Args >( args )... ),
1487 dSpace_(dSpace), rSpace_(rSpace),
1488 domainSpaceSequence_(dSpace.sequence()),
1489 rangeSpaceSequence_(rSpace.sequence()),
1490 stencilDAN_(), stencilD_()
1493 stencilDAN_.reset(
new DiagonalAndNeighborStencilType( dSpace_, rSpace_ ) );
1495 stencilD_.reset(
new DiagonalStencilType( dSpace_, rSpace_ ) );
1498 virtual void jacobian (
const DomainFunctionType &u, JacobianOperatorType &jOp )
const final override
1503 template<
class Gr
idFunction >
1504 void jacobian (
const GridFunction &u, JacobianOperatorType &jOp )
const
1509 const DomainDiscreteFunctionSpaceType& domainSpace()
const
1513 const RangeDiscreteFunctionSpaceType& rangeSpace()
const
1518 using BaseType::localOperator;
1519 using BaseType::nonlinear;
1524 bool hasSkeleton()
const
1526 std::tuple< const LocalGalerkinOperatorImplType& > integrands( localOperator() );
1527 return op().hasSkeleton( integrands );
1530 void prepare( JacobianOperatorType& jOp )
const
1532 if ( domainSpaceSequence_ != domainSpace().sequence()
1533 || rangeSpaceSequence_ != rangeSpace().sequence() )
1535 domainSpaceSequence_ = domainSpace().sequence();
1536 rangeSpaceSequence_ = rangeSpace().sequence();
1539 assert( stencilDAN_ );
1540 stencilDAN_->update();
1544 assert( stencilD_ );
1545 stencilD_->update();
1549 jOp.reserve( *stencilDAN_ );
1551 jOp.reserve( *stencilD_ );
1556 template <
class Gr
idFunction >
1557 void assemble(
const GridFunction &u, JacobianOperatorType &jOp )
const
1562 iterators_.update();
1565 std::shared_mutex mutex;
1567 auto doAssemble = [
this, &u, &jOp, &mutex] ()
1569 std::tuple< const LocalGalerkinOperatorImplType& > integrands( localOperator() );
1570 this->op().assemble( u, jOp, this->iterators_, integrands, mutex );
1575 MPIManager :: run ( doAssemble );
1578 gridSizeInterior_ = Impl::accumulateGridSize( this->opImpl_ );
1580 catch (
const SingleThreadModeError& e )
1584 std::tuple< const LocalGalerkinOperatorImplType& > integrands( localOperator() );
1585 op().assemble( u, jOp, iterators_, integrands );
1587 gridSizeInterior_ = op().gridSizeInterior();
1592 jOp.flushAssembly();
1595 using BaseType::iterators_;
1596 using BaseType::gridSizeInterior_;
1598 const DomainDiscreteFunctionSpaceType &dSpace_;
1599 const RangeDiscreteFunctionSpaceType &rSpace_;
1601 mutable int domainSpaceSequence_, rangeSpaceSequence_;
1603 mutable std::unique_ptr< DiagonalAndNeighborStencilType > stencilDAN_;
1604 mutable std::unique_ptr< DiagonalStencilType > stencilD_;
1612 template<
class Integrands,
class DomainFunction,
class RangeFunction >
1613 class AutomaticDifferenceGalerkinOperator
1614 :
public GalerkinOperator< Integrands, DomainFunction, RangeFunction >,
1615 public AutomaticDifferenceOperator< DomainFunction, RangeFunction >
1617 typedef GalerkinOperator< Integrands, DomainFunction, RangeFunction > BaseType;
1621 typedef typename BaseType::GridPartType GridPartType;
1623 template<
class... Args >
1624 explicit AutomaticDifferenceGalerkinOperator (
const GridPartType &gridPart, Args &&... args )
1625 : BaseType( gridPart,
std::forward< Args >( args )... ), AutomaticDifferenceOperatorType()
1634 template <
class LinearOperator,
class ModelIntegrands >
1635 struct ModelDifferentiableGalerkinOperator
1636 :
public DifferentiableGalerkinOperator< ModelIntegrands, LinearOperator >
1638 typedef DifferentiableGalerkinOperator< ModelIntegrands, LinearOperator > BaseType;
1640 typedef typename ModelIntegrands::ModelType ModelType;
1643 typedef typename LinearOperator::RangeSpaceType DiscreteFunctionSpaceType;
1645 ModelDifferentiableGalerkinOperator ( ModelType &model,
const DiscreteFunctionSpaceType &dfSpace )
1646 : BaseType( dfSpace.gridPart(), model )
1649 template<
class Gr
idFunction >
1650 void apply (
const GridFunction &u, RangeFunctionType &w )
const
1655 template<
class Gr
idFunction >
1656 void apply (
const GridFunction &u, LinearOperator &jOp )
const
1658 (*this).jacobian( u, jOp );
1667 template<
class Integrands,
class LinearOperator,
bool addDirichletBC,
1668 template <
class,
class>
class DifferentiableGalerkinOperatorImpl >
1669 struct GalerkinSchemeTraits
1671 template <
class O,
bool addDBC>
1672 struct DirichletBlockSelector {
using type = void; };
1674 struct DirichletBlockSelector<O,true> {
using type =
typename O::DirichletBlockVector; };
1676 using DifferentiableOperatorType = std::conditional_t< addDirichletBC,
1677 DirichletWrapperOperator< DifferentiableGalerkinOperatorImpl< Integrands, LinearOperator >>,
1678 DifferentiableGalerkinOperatorImpl< Integrands, LinearOperator > >;
1679 using DirichletBlockVector =
typename DirichletBlockSelector<
1680 DirichletWrapperOperator<
1681 DifferentiableGalerkinOperatorImpl< Integrands, LinearOperator >>,
1682 addDirichletBC>::type;
1684 typedef DifferentiableOperatorType type;
1687 template<
class Integrands,
class LinearOperator,
class LinearInverseOperator,
bool addDirichletBC,
1688 template <
class,
class>
class DifferentiableGalerkinOperatorImpl = DifferentiableGalerkinOperator >
1689 struct GalerkinSchemeImpl :
public FemScheme< typename
1690 GalerkinSchemeTraits< Integrands, LinearOperator,
1691 addDirichletBC, DifferentiableGalerkinOperatorImpl>::type,
1692 LinearInverseOperator >
1694 typedef FemScheme<
typename GalerkinSchemeTraits< Integrands, LinearOperator,
1695 addDirichletBC, DifferentiableGalerkinOperatorImpl>::type,
1696 LinearInverseOperator >
1699 typedef typename BaseType :: DiscreteFunctionSpaceType DiscreteFunctionSpaceType;
1701 GalerkinSchemeImpl (
const DiscreteFunctionSpaceType &dfSpace,
1702 const Integrands &integrands,
1703 const ParameterReader& parameter = Parameter::container() )
1706 std::move(integrands))
1715 template<
class Integrands,
class LinearOperator,
class InverseOperator,
bool addDirichletBC >
1716 using GalerkinScheme = Impl::GalerkinSchemeImpl< Integrands, LinearOperator, InverseOperator, addDirichletBC,
1717 DifferentiableGalerkinOperator >;
FunctionSpaceType::RangeType RangeType
type of range vectors, i.e., type of function values
Definition: localfunction.hh:110
FunctionSpaceType::HessianRangeType HessianRangeType
type of the Hessian
Definition: localfunction.hh:114
FunctionSpaceType::JacobianRangeType JacobianRangeType
type of the Jacobian, i.e., type of evaluated Jacobian matrix
Definition: localfunction.hh:112
static bool verbose()
obtain the cached value for fem.verbose with default verbosity level 2
Definition: parameter.hh:466
actual interface class for quadratures
constexpr void forEach(Range &&range, F &&f)
Range based for loop.
Definition: hybridutilities.hh:257
static constexpr IntegralRange< std::decay_t< T > > range(T &&from, U &&to) noexcept
free standing function for setting up a range based for loop over an integer range for (auto i: range...
Definition: rangeutilities.hh:288
constexpr Interior interior
PartitionSet for the interior partition.
Definition: partitionset.hh:271
Dune namespace.
Definition: alignedallocator.hh:13
constexpr std::integral_constant< std::size_t, sizeof...(II)> size(std::integer_sequence< T, II... >)
Return the size of the sequence.
Definition: integersequence.hh:75
constexpr std::bool_constant<(sizeof...(II)==0)> empty(std::integer_sequence< T, II... >)
Checks whether the sequence is empty.
Definition: integersequence.hh:80
DomainFunction DomainFunctionType
type of discrete function in the operator's domain
Definition: operator.hh:36