Dune Core Modules (2.9.0)

hierarchicalsimplexp2localbasis.hh
Go to the documentation of this file.
1 // -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
2 // vi: set et ts=4 sw=2 sts=2:
3 // SPDX-FileCopyrightInfo: Copyright (C) DUNE Project contributors, see file LICENSE.md in module root
4 // SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
5 #ifndef DUNE_HIERARCHICAL_SIMPLEX_P2_LOCALBASIS_HH
6 #define DUNE_HIERARCHICAL_SIMPLEX_P2_LOCALBASIS_HH
7 
12 #include <numeric>
13 
14 #include <dune/common/fvector.hh>
15 #include <dune/common/fmatrix.hh>
16 
17 #include <dune/localfunctions/common/localbasis.hh>
18 
19 namespace Dune
20 {
21  template<class D, class R, int dim>
22  class HierarchicalSimplexP2LocalBasis
23  {
24  public:
25  HierarchicalSimplexP2LocalBasis()
26  {
27  DUNE_THROW(Dune::NotImplemented,"HierarchicalSimplexP2LocalBasis not implemented for dim > 3.");
28  }
29  };
30 
45  template<class D, class R>
46  class HierarchicalSimplexP2LocalBasis<D,R,1>
47  {
48  public:
52 
54  unsigned int size () const
55  {
56  return 3;
57  }
58 
60  inline void evaluateFunction (const typename Traits::DomainType& in,
61  std::vector<typename Traits::RangeType>& out) const
62  {
63  out.resize(3);
64 
65  out[0] = 1-in[0];
66  out[1] = 1-4*(in[0]-0.5)*(in[0]-0.5);
67  out[2] = in[0];
68  }
69 
71  inline void
72  evaluateJacobian (const typename Traits::DomainType& in, // position
73  std::vector<typename Traits::JacobianType>& out) const // return value
74  {
75  out.resize(3);
76 
77  out[0][0][0] = -1;
78  out[1][0][0] = 4-8*in[0];
79  out[2][0][0] = 1;
80  }
81 
83  void partial (const std::array<unsigned int, 1>& order,
84  const typename Traits::DomainType& in, // position
85  std::vector<typename Traits::RangeType>& out) const // return value
86  {
87  auto totalOrder = order[0];
88  if (totalOrder == 0) {
89  evaluateFunction(in, out);
90  } else if (totalOrder == 1) {
91  out.resize(size());
92  out[0] = -1;
93  out[1] = 4-8*in[0];
94  out[2] = 1;
95  } else if (totalOrder == 2) {
96  out.resize(size());
97  out[0] = 0;
98  out[1] = -8;
99  out[2] = 0;
100  } else {
101  out.resize(size());
102  out[0] = out[1] = out[2] = 0;
103  }
104  }
105 
108  unsigned int order () const
109  {
110  return 2;
111  }
112 
113  };
114 
134  template<class D, class R>
135  class HierarchicalSimplexP2LocalBasis<D,R,2>
136  {
137  public:
141 
143  unsigned int size () const
144  {
145  return 6;
146  }
147 
149  inline void evaluateFunction (const typename Traits::DomainType& in,
150  std::vector<typename Traits::RangeType>& out) const
151  {
152  out.resize(6);
153 
154  out[0] = 1 - in[0] - in[1];
155  out[1] = 4*in[0]*(1-in[0]-in[1]);
156  out[2] = in[0];
157  out[3] = 4*in[1]*(1-in[0]-in[1]);
158  out[4] = 4*in[0]*in[1];
159  out[5] = in[1];
160 
161  }
162 
164  inline void
165  evaluateJacobian (const typename Traits::DomainType& in, // position
166  std::vector<typename Traits::JacobianType>& out) const // return value
167  {
168  out.resize(6);
169 
170  out[0][0][0] = -1; out[0][0][1] = -1;
171  out[1][0][0] = 4-8*in[0]-4*in[1]; out[1][0][1] = -4*in[0];
172  out[2][0][0] = 1; out[2][0][1] = 0;
173  out[3][0][0] = -4*in[1]; out[3][0][1] = 4-4*in[0]-8*in[1];
174  out[4][0][0] = 4*in[1]; out[4][0][1] = 4*in[0];
175  out[5][0][0] = 0; out[5][0][1] = 1;
176  }
177 
179  void partial (const std::array<unsigned int, 2>& order,
180  const typename Traits::DomainType& in, // position
181  std::vector<typename Traits::RangeType>& out) const // return value
182  {
183  auto totalOrder = std::accumulate(order.begin(), order.end(), 0);
184  if (totalOrder == 0) {
185  evaluateFunction(in, out);
186  } else if (totalOrder == 1) {
187  out.resize(size());
188  auto const direction = std::distance(order.begin(), std::find(order.begin(), order.end(), 1));
189 
190  switch (direction) {
191  case 0:
192  out[0] = -1;
193  out[1] = 4-8*in[0]-4*in[1];
194  out[2] = 1;
195  out[3] = -4*in[1];
196  out[4] = 4*in[1];
197  out[5] = 0;
198  break;
199  case 1:
200  out[0] = -1;
201  out[1] = -4*in[0];
202  out[2] = 0;
203  out[3] = 4-4*in[0]-8*in[1];
204  out[4] = 4*in[0];
205  out[5] = 1;
206  break;
207  default:
208  DUNE_THROW(RangeError, "Component out of range.");
209  }
210  } else {
211  DUNE_THROW(NotImplemented, "Desired derivative order is not implemented");
212  }
213  }
214 
217  unsigned int order () const
218  {
219  return 2;
220  }
221 
222  };
223 
247  template<class D, class R>
248  class HierarchicalSimplexP2LocalBasis<D,R,3>
249  {
250  public:
254 
256  unsigned int size () const
257  {
258  return 10;
259  }
260 
262  void evaluateFunction (const typename Traits::DomainType& in,
263  std::vector<typename Traits::RangeType>& out) const
264  {
265  out.resize(10);
266 
267  out[0] = 1 - in[0] - in[1] - in[2];
268  out[1] = 4 * in[0] * (1 - in[0] - in[1] - in[2]);
269  out[2] = in[0];
270  out[3] = 4 * in[1] * (1 - in[0] - in[1] - in[2]);
271  out[4] = 4 * in[0] * in[1];
272  out[5] = in[1];
273  out[6] = 4 * in[2] * (1 - in[0] - in[1] - in[2]);
274  out[7] = 4 * in[0] * in[2];
275  out[8] = 4 * in[1] * in[2];
276  out[9] = in[2];
277  }
278 
280  void evaluateJacobian (const typename Traits::DomainType& in, // position
281  std::vector<typename Traits::JacobianType>& out) const // return value
282  {
283  out.resize(10);
284 
285  out[0][0][0] = -1; out[0][0][1] = -1; out[0][0][2] = -1;
286  out[1][0][0] = 4-8*in[0]-4*in[1]-4*in[2]; out[1][0][1] = -4*in[0]; out[1][0][2] = -4*in[0];
287  out[2][0][0] = 1; out[2][0][1] = 0; out[2][0][2] = 0;
288  out[3][0][0] = -4*in[1]; out[3][0][1] = 4-4*in[0]-8*in[1]-4*in[2]; out[3][0][2] = -4*in[1];
289  out[4][0][0] = 4*in[1]; out[4][0][1] = 4*in[0]; out[4][0][2] = 0;
290  out[5][0][0] = 0; out[5][0][1] = 1; out[5][0][2] = 0;
291  out[6][0][0] = -4*in[2]; out[6][0][1] = -4*in[2]; out[6][0][2] = 4-4*in[0]-4*in[1]-8*in[2];
292  out[7][0][0] = 4*in[2]; out[7][0][1] = 0; out[7][0][2] = 4*in[0];
293  out[8][0][0] = 0; out[8][0][1] = 4*in[2]; out[8][0][2] = 4*in[1];
294  out[9][0][0] = 0; out[9][0][1] = 0; out[9][0][2] = 1;
295  }
296 
298  void partial (const std::array<unsigned int, 3>& order,
299  const typename Traits::DomainType& in, // position
300  std::vector<typename Traits::RangeType>& out) const // return value
301  {
302  auto totalOrder = std::accumulate(order.begin(), order.end(), 0);
303  if (totalOrder == 0) {
304  evaluateFunction(in, out);
305  } else if (totalOrder == 1) {
306  out.resize(size());
307  auto const direction = std::distance(order.begin(), std::find(order.begin(), order.end(), 1));
308 
309  switch (direction) {
310  case 0:
311  out[0] = -1;
312  out[1] = 4-8*in[0]-4*in[1]-4*in[2];
313  out[2] = 1;
314  out[3] = -4*in[1];
315  out[4] = 4*in[1];
316  out[5] = 0;
317  out[6] = -4*in[2];
318  out[7] = 4*in[2];
319  out[8] = 0;
320  out[9] = 0;
321  break;
322  case 1:
323  out[0] = -1;
324  out[1] = -4*in[0];
325  out[2] = 0;
326  out[3] = 4-4*in[0]-8*in[1]-4*in[2];
327  out[4] = 4*in[0];
328  out[5] = 1;
329  out[6] = -4*in[2];
330  out[7] = 0;
331  out[8] = 4*in[2];
332  out[9] = 0;
333  break;
334  case 2:
335  out[0] = -1;
336  out[1] = -4*in[0];
337  out[2] = 0;
338  out[3] = -4*in[1];
339  out[4] = 0;
340  out[5] = 0;
341  out[6] = 4-4*in[0]-4*in[1]-8*in[2];
342  out[7] = 4*in[0];
343  out[8] = 4*in[1];
344  out[9] = 1;
345  break;
346  default:
347  DUNE_THROW(RangeError, "Component out of range.");
348  }
349  } else {
350  DUNE_THROW(NotImplemented, "Desired derivative order is not implemented");
351  }
352  }
353 
356  unsigned int order () const
357  {
358  return 2;
359  }
360 
361  };
362 }
363 #endif
A dense n x m matrix.
Definition: fmatrix.hh:117
vector space out of a tensor product of fields.
Definition: fvector.hh:95
unsigned int order() const
Polynomial order of the shape functions (2, in this case)
Definition: hierarchicalsimplexp2localbasis.hh:108
LocalBasisTraits< D, 1, Dune::FieldVector< D, 1 >, R, 1, Dune::FieldVector< R, 1 >, Dune::FieldMatrix< R, 1, 1 > > Traits
export type traits for function signature
Definition: hierarchicalsimplexp2localbasis.hh:51
void partial(const std::array< unsigned int, 1 > &order, const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate partial derivatives of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:83
unsigned int size() const
number of shape functions
Definition: hierarchicalsimplexp2localbasis.hh:54
void evaluateJacobian(const typename Traits::DomainType &in, std::vector< typename Traits::JacobianType > &out) const
Evaluate Jacobian of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:72
void evaluateFunction(const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:60
LocalBasisTraits< D, 2, Dune::FieldVector< D, 2 >, R, 1, Dune::FieldVector< R, 1 >, Dune::FieldMatrix< R, 1, 2 > > Traits
export type traits for function signature
Definition: hierarchicalsimplexp2localbasis.hh:140
void partial(const std::array< unsigned int, 2 > &order, const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate partial derivatives of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:179
unsigned int size() const
number of shape functions
Definition: hierarchicalsimplexp2localbasis.hh:143
unsigned int order() const
Polynomial order of the shape functions (2 in this case)
Definition: hierarchicalsimplexp2localbasis.hh:217
void evaluateJacobian(const typename Traits::DomainType &in, std::vector< typename Traits::JacobianType > &out) const
Evaluate Jacobian of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:165
void evaluateFunction(const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:149
LocalBasisTraits< D, 3, Dune::FieldVector< D, 3 >, R, 1, Dune::FieldVector< R, 1 >, Dune::FieldMatrix< R, 1, 3 > > Traits
export type traits for function signature
Definition: hierarchicalsimplexp2localbasis.hh:253
void evaluateFunction(const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:262
void evaluateJacobian(const typename Traits::DomainType &in, std::vector< typename Traits::JacobianType > &out) const
Evaluate Jacobian of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:280
unsigned int size() const
number of shape functions
Definition: hierarchicalsimplexp2localbasis.hh:256
void partial(const std::array< unsigned int, 3 > &order, const typename Traits::DomainType &in, std::vector< typename Traits::RangeType > &out) const
Evaluate partial derivatives of all shape functions.
Definition: hierarchicalsimplexp2localbasis.hh:298
unsigned int order() const
Polynomial order of the shape functions (2 in this case)
Definition: hierarchicalsimplexp2localbasis.hh:356
Default exception for dummy implementations.
Definition: exceptions.hh:263
Default exception class for range errors.
Definition: exceptions.hh:254
Implements a matrix constructed from a given type representing a field and compile-time given number ...
Implements a vector constructed from a given type representing a field and a compile-time given size.
#define DUNE_THROW(E, m)
Definition: exceptions.hh:218
constexpr T accumulate(Range &&range, T value, F &&f)
Accumulate values.
Definition: hybridutilities.hh:291
Dune namespace.
Definition: alignedallocator.hh:13
Type traits for LocalBasisVirtualInterface.
Definition: localbasis.hh:34
D DomainType
domain type
Definition: localbasis.hh:42
Creative Commons License   |  Legal Statements / Impressum  |  Hosted by TU Dresden  |  generated with Hugo v0.80.0 (Apr 29, 22:29, 2024)