https://mooseframework.inl.gov
Loading...
Searching...
No Matches
SymmetricRankFourTensor.h
Go to the documentation of this file.
1//* This file is part of the MOOSE framework
2//* https://mooseframework.inl.gov
3//*
4//* All rights reserved, see COPYRIGHT for full restrictions
5//* https://github.com/idaholab/moose/blob/master/COPYRIGHT
6//*
7//* Licensed under LGPL 2.1, please see LICENSE for details
8//* https://www.gnu.org/licenses/lgpl-2.1.html
9
10#pragma once
11
12#include "Moose.h"
17#include "MooseUtils.h"
18#include "MathUtils.h"
19
20#include "libmesh/libmesh.h"
21#include "libmesh/tuple_of.h"
22#include "libmesh/int_range.h"
23
24#include "metaphysicl/raw_type.h"
25
26#include <petscsys.h>
27
28// Eigen includes
29#include <Eigen/Core>
30#include <Eigen/Dense>
31
32#include <array>
33
35namespace libMesh
36{
37template <typename>
38class TensorValue;
39template <typename>
40class TypeTensor;
41template <typename>
42class VectorValue;
43}
44
45// Forward declarations
46class MooseEnum;
47
48namespace MathUtils
49{
54template <>
56template <>
58}
59
65template <typename T>
67{
68public:
70 static constexpr unsigned int Ndim = LIBMESH_DIM;
71 static constexpr unsigned int N = Ndim + Ndim * (Ndim - 1) / 2;
72 static constexpr unsigned int N2 = N * N;
74
75 // Full tensor indices in the Mandel/Voigt representation
76 static constexpr unsigned int full_index[6][6][4] = {
77 {{0, 0, 0, 0}, {0, 0, 1, 1}, {0, 0, 2, 2}, {0, 0, 1, 2}, {0, 0, 0, 2}, {0, 0, 0, 1}},
78 {{1, 1, 0, 0}, {1, 1, 1, 1}, {1, 1, 2, 2}, {1, 1, 1, 2}, {1, 1, 0, 2}, {1, 1, 0, 1}},
79 {{2, 2, 0, 0}, {2, 2, 1, 1}, {2, 2, 2, 2}, {2, 2, 1, 2}, {2, 2, 0, 2}, {2, 2, 0, 1}},
80 {{1, 2, 0, 0}, {1, 2, 1, 1}, {1, 2, 2, 2}, {1, 2, 1, 2}, {1, 2, 0, 2}, {1, 2, 0, 1}},
81 {{0, 2, 0, 0}, {0, 2, 1, 1}, {0, 2, 2, 2}, {0, 2, 1, 2}, {0, 2, 0, 2}, {0, 2, 0, 1}},
82 {{0, 1, 0, 0}, {0, 1, 1, 1}, {0, 1, 2, 2}, {0, 1, 1, 2}, {0, 1, 0, 2}, {0, 1, 0, 1}}};
83
85 static constexpr Real mandelFactor(unsigned int i, unsigned int j)
86 {
89 }
90
98
105 {
106 symmetric9, // fillSymmetric9FromInputVector
107 symmetric21, // fillSymmetric21FromInputVector
108 symmetric_isotropic, // fillSymmetricIsotropicFromInputVector
109 symmetric_isotropic_E_nu, // fillSymmetricIsotropicEandNu
110 axisymmetric_rz, // fillAxisymmetricRZFromInputVector
111 principal, // fillPrincipalFromInputVector
112 orthotropic // fillGeneralOrthotropicFromInputVector
113 };
114
115 template <template <typename> class Tensor, typename Scalar>
117 {
118 static const bool value = false;
119 };
120 template <typename Scalar>
125 template <typename Scalar>
126 struct TwoTensorMultTraits<TensorValue, Scalar>
127 {
129 };
130 template <typename Scalar>
131 struct TwoTensorMultTraits<TypeTensor, Scalar>
132 {
134 };
135
138
141
143 SymmetricRankFourTensorTempl(const std::vector<T> &, FillMethod);
144
147
151 template <typename T2>
153
156
158 explicit operator RankFourTensorTempl<T>();
159
160 // Named constructors
169
171 inline T & operator()(unsigned int i, unsigned int j) { return _vals[i * N + j]; }
172
177 inline const T & operator()(unsigned int i, unsigned int j) const { return _vals[i * N + j]; }
178
180 void zero();
181
183 void print(std::ostream & stm = Moose::out) const;
184
186 void printReal(std::ostream & stm = Moose::out) const;
187
188 friend std::ostream & operator<<(std::ostream & os, const SymmetricRankFourTensorTempl<T> & t)
189 {
190 t.print(os);
191 return os;
192 }
193
196
202 template <typename Scalar>
203 typename std::enable_if<libMesh::ScalarTraits<Scalar>::value,
205 operator=(const Scalar & libmesh_dbg_var(p))
206 {
207 libmesh_assert_equal_to(p, Scalar(0));
208 this->zero();
209 return *this;
210 }
211
213 template <typename T2>
214 auto operator*(const SymmetricRankTwoTensorTempl<T2> & b) const
215 -> SymmetricRankTwoTensorTempl<decltype(T() * T2())>;
216
218 template <typename T2>
219 auto operator*(const T2 & a) const ->
220 typename std::enable_if<libMesh::ScalarTraits<T2>::value,
221 SymmetricRankFourTensorTempl<decltype(T() * T2())>>::type;
222
225
227 template <typename T2>
228 auto operator/(const T2 & a) const ->
229 typename std::enable_if<libMesh::ScalarTraits<T2>::value,
230 SymmetricRankFourTensorTempl<decltype(T() / T2())>>::type;
231
234
237
239 template <typename T2>
240 auto operator+(const SymmetricRankFourTensorTempl<T2> & a) const
241 -> SymmetricRankFourTensorTempl<decltype(T() + T2())>;
242
245
247 template <typename T2>
248 auto operator-(const SymmetricRankFourTensorTempl<T2> & a) const
249 -> SymmetricRankFourTensorTempl<decltype(T() - T2())>;
250
253
255 template <typename T2>
256 auto operator*(const SymmetricRankFourTensorTempl<T2> & a) const
257 -> SymmetricRankFourTensorTempl<decltype(T() * T2())>;
258
260 T L2norm() const;
261
267
274 static SymmetricRankFourTensorTempl<T> rotationMatrix(const TypeTensor<T> & R);
275
280 void rotate(const TypeTensor<T> & R);
281
288
293
295 static MooseEnum fillMethodEnum();
296
303 void fillFromInputVector(const std::vector<T> & input, FillMethod fill_method);
304
306 void fillSymmetricIsotropic(const T & i0, const T & i1);
307 void fillSymmetricIsotropicEandNu(const T & E, const T & nu);
309
320 template <typename T2>
321 void fillSymmetric9FromInputVector(const T2 & input);
322
331 template <typename T2>
332 void fillSymmetric21FromInputVector(const T2 & input);
333
335 T sum3x3() const;
336
339
341 bool isSymmetric() const;
342
344 bool isIsotropic() const;
345
346protected:
348 std::array<T, N2> _vals;
349
357 void fillSymmetricIsotropicFromInputVector(const std::vector<T> & input);
358
368 void fillSymmetricIsotropicEandNuFromInputVector(const std::vector<T> & input);
369
377 void fillAxisymmetricRZFromInputVector(const std::vector<T> & input);
378
393 void fillPrincipalFromInputVector(const std::vector<T> & input);
394
401 void fillGeneralOrthotropicFromInputVector(const std::vector<T> & input);
402
403 template <class T2>
404 friend void dataStore(std::ostream &, SymmetricRankFourTensorTempl<T2> &, void *);
405
406 template <class T2>
407 friend void dataLoad(std::istream &, SymmetricRankFourTensorTempl<T2> &, void *);
408
409 template <typename T2>
411 template <typename T2>
413 template <typename T2>
415};
416
417namespace MetaPhysicL
418{
419template <typename T>
421{
423
425 {
426 value_type ret;
427 for (unsigned int i = 0; i < SymmetricRankFourTensorTempl<T>::N; ++i)
428 for (unsigned int j = 0; j < SymmetricRankFourTensorTempl<T>::N; ++j)
429 ret(i, j) = raw_value(in(i, j));
430
431 return ret;
432 }
433};
434}
435
436template <typename T1, typename T2>
437inline auto
439 typename std::enable_if<libMesh::ScalarTraits<T1>::value,
440 SymmetricRankFourTensorTempl<decltype(T1() * T2())>>::type
441{
442 return b * a;
443}
444
445template <typename T>
446template <typename T2>
449{
450 for (const auto i : make_range(N2))
451 _vals[i] = copy._vals[i];
452}
453
454template <typename T>
455template <typename T2>
456auto
458 typename std::enable_if<libMesh::ScalarTraits<T2>::value,
459 SymmetricRankFourTensorTempl<decltype(T() * T2())>>::type
460{
461 typedef decltype(T() * T2()) ValueType;
463
464 for (const auto i : make_range(N2))
465 result._vals[i] = _vals[i] * b;
466
467 return result;
468}
469
470template <typename T>
471template <typename T2>
472auto
474 -> SymmetricRankTwoTensorTempl<decltype(T() * T2())>
475{
476 typedef decltype(T() * T2()) ValueType;
478
479 std::size_t index = 0;
480 for (const auto i : make_range(N))
481 {
482 ValueType tmp = 0.0;
483 for (const auto j : make_range(N))
484 tmp += _vals[index++] * b._vals[j];
485 result._vals[i] = tmp;
486 }
487
488 return result;
489}
490
491template <typename T>
492template <typename T2>
493auto
495 typename std::enable_if<libMesh::ScalarTraits<T2>::value,
496 SymmetricRankFourTensorTempl<decltype(T() / T2())>>::type
497{
498 SymmetricRankFourTensorTempl<decltype(T() / T2())> result;
499 for (const auto i : make_range(N2))
500 result._vals[i] = _vals[i] / b;
501 return result;
502}
503
504template <typename T>
505template <typename T2>
506void
508{
509 mooseAssert(LIBMESH_DIM == 3, "This method assumes LIBMESH_DIM == 3");
510 mooseAssert(input.size() == 9,
511 "To use fillSymmetric9FromInputVector, your input must have size 9.");
512 zero();
513
514 _vals[0] = input[0]; // C1111
515 _vals[7] = input[3]; // C2222
516 _vals[14] = input[5]; // C3333
517
518 _vals[1] = _vals[6] = input[1]; // C1122
519 _vals[2] = _vals[12] = input[2]; // C1133
520 _vals[8] = _vals[13] = input[4]; // C2233
521
522 static constexpr std::size_t C2323 = 21;
523 static constexpr std::size_t C1313 = 28;
524 static constexpr std::size_t C1212 = 35;
525
526 _vals[C2323] = 2.0 * input[6];
527 _vals[C1313] = 2.0 * input[7];
528 _vals[C1212] = 2.0 * input[8];
529}
530
531template <typename T>
532template <typename T2>
533void
535{
536 // C1111 C1122 C1133 C1123 C1113 C1112
537 // C2222 C2233 C2223 C2213 C2212
538 // C3333 C3323 C3313 C3312
539 // C2323 C2313 C2312
540 // C1313 C1312
541 // C1212
542
543 mooseAssert(LIBMESH_DIM == 3, "This method assumes LIBMESH_DIM == 3");
544 mooseAssert(input.size() == 21,
545 "To use fillSymmetric21FromInputVector, your input must have size 21.");
546 std::size_t index = 0;
547 for (const auto i : make_range(N))
548 for (const auto j : make_range(i, N))
549 {
550 _vals[i + N * j] = mandelFactor(i, j) * input[index];
551 _vals[j + N * i] = mandelFactor(j, i) * input[index];
552 index++;
553 }
554}
555
556template <typename T>
559{
560 SymmetricRankFourTensorTempl<T> result(initNone);
561
562 if constexpr (SymmetricRankFourTensorTempl<T>::N2 * sizeof(T) > EIGEN_STACK_ALLOCATION_LIMIT)
563 {
564 Eigen::Matrix<T, Eigen::Dynamic, Eigen::Dynamic> mat(N, N);
565 for (const auto i : make_range(N))
566 for (const auto j : make_range(N))
567 mat(i, j) = (*this)(i, j);
568 mat = mat.inverse();
569 for (const auto i : make_range(N))
570 for (const auto j : make_range(N))
571 result(i, j) = mat(i, j);
572 }
573 else
574 {
575 const Eigen::Map<const Eigen::Matrix<T, N, N, Eigen::RowMajor>> mat(&_vals[0]);
576 Eigen::Map<Eigen::Matrix<T, N, N, Eigen::RowMajor>> res(&result._vals[0]);
577 res = mat.inverse();
578 }
579
580 return result;
581}
auto operator*(const T1 &a, const SymmetricRankFourTensorTempl< T2 > &b) -> typename std::enable_if< libMesh::ScalarTraits< T1 >::value, SymmetricRankFourTensorTempl< decltype(T1() *T2())> >::type
This is a "smart" enum class intended to replace many of the shortcomings in the C++ enum type It sho...
Definition MooseEnum.h:55
RankFourTensorTempl is designed to handle any N-dimensional fourth order tensor, C.
RankThreeTensor is designed to handle any N-dimensional third order tensor, r.
SymmetricRankFourTensorTempl is designed to handle an N-dimensional fourth order tensor with minor sy...
std::enable_if< libMesh::ScalarTraits< Scalar >::value, SymmetricRankFourTensorTempl & >::type operator=(const Scalar &libmesh_dbg_var(p))
Assignment-from-scalar operator.
void fillSymmetricIsotropicFromInputVector(const std::vector< T > &input)
fillSymmetricIsotropicFromInputVector takes 2 inputs to fill the the symmetric Rank-4 tensor with the...
static constexpr unsigned int N
void fillFromInputVector(const std::vector< T > &input, FillMethod fill_method)
fillFromInputVector takes some number of inputs to fill the Rank-4 tensor.
SymmetricRankFourTensorTempl< T > transposeMajor() const
Transpose the tensor by swapping the first pair with the second pair of indices This amounts to a reg...
T & operator()(unsigned int i, unsigned int j)
Gets the value for the indices specified. Takes indices ranging from 0-5 for i and j.
void fillSymmetricIsotropic(const T &i0, const T &i1)
Vector-less fill API functions. See docs of the corresponding ...FromInputVector methods.
void fillAxisymmetricRZFromInputVector(const std::vector< T > &input)
fillAxisymmetricRZFromInputVector takes 5 inputs to fill the axisymmetric Rank-4 tensor with the appr...
friend void dataLoad(std::istream &, SymmetricRankFourTensorTempl< T2 > &, void *)
SymmetricRankFourTensorTempl< T > operator-() const
-C_ijkl
void printReal(std::ostream &stm=Moose::out) const
Print the values of the rank four tensor.
static constexpr unsigned int full_index[6][6][4]
libMesh::VectorValue< T > sum3x1() const
Calculates the vector a[i] = sum over j Ciijj for i and j varying from 0 to 2.
void fillGeneralOrthotropicFromInputVector(const std::vector< T > &input)
fillGeneralOrhotropicFromInputVector takes 10 inputs to fill the Rank-4 tensor It defines a general o...
SymmetricRankFourTensorTempl< T > & operator+=(const SymmetricRankFourTensorTempl< T > &a)
C_ijkl += a_ijkl for all i, j, k, l.
static MooseEnum fillMethodEnum()
Static method for use in validParams for getting the "fill_method".
SymmetricRankFourTensorTempl< T > transposeIj() const
Transpose the tensor by swapping the first two indices - a no-op.
void fillSymmetric9FromInputVector(const T2 &input)
fillSymmetric9FromInputVector takes 9 inputs to fill in the Rank-4 tensor with the appropriate crysta...
auto operator+(const SymmetricRankFourTensorTempl< T2 > &a) const -> SymmetricRankFourTensorTempl< decltype(T()+T2())>
C_ijkl + a_ijkl.
bool isIsotropic() const
checks if the tensor is isotropic
auto operator*(const SymmetricRankTwoTensorTempl< T2 > &b) const -> SymmetricRankTwoTensorTempl< decltype(T() *T2())>
C_ijkl*a_kl.
void fillPrincipalFromInputVector(const std::vector< T > &input)
fillPrincipalFromInputVector takes 9 inputs to fill a Rank-4 tensor C1111 = input0 C1122 = input1 C11...
void fillSymmetricIsotropicEandNu(const T &E, const T &nu)
void print(std::ostream &stm=Moose::out) const
Print the rank four tensor.
friend void dataStore(std::ostream &, SymmetricRankFourTensorTempl< T2 > &, void *)
static SymmetricRankFourTensorTempl< T > rotationMatrix(const TypeTensor< T > &R)
Build a 6x6 rotation matrix MEHRABADI, MORTEZA M.; COWIN, STEPHEN C.
static SymmetricRankFourTensorTempl< T > identitySymmetricFour()
friend std::ostream & operator<<(std::ostream &os, const SymmetricRankFourTensorTempl< T > &t)
void rotate(const TypeTensor< T > &R)
Rotate the tensor using C_ijkl = R_im R_jn R_ko R_lp C_mnop.
SymmetricRankFourTensorTempl< T > & operator=(const SymmetricRankFourTensorTempl< T > &a)=default
copies values from a into this tensor
const T & operator()(unsigned int i, unsigned int j) const
Gets the value for the indices specified.
std::array< T, N2 > _vals
The values of the rank-four tensor.
static constexpr unsigned int Ndim
tensor dimension, Mandel matrix dimension, and Mandel matrix size
void fillSymmetric21FromInputVector(const T2 &input)
fillSymmetric21FromInputVector takes 21 inputs to fill in the Rank-4 tensor with the appropriate crys...
T sum3x3() const
Calculates the sum of Ciijj for i and j varying from 0 to 2.
bool isSymmetric() const
checks if the tensor is symmetric
SymmetricRankFourTensorTempl(const SymmetricRankFourTensorTempl< T > &a)=default
Copy assignment operator must be defined if used.
auto operator/(const T2 &a) const -> typename std::enable_if< libMesh::ScalarTraits< T2 >::value, SymmetricRankFourTensorTempl< decltype(T()/T2())> >::type
C_ijkl/a.
static constexpr Real mandelFactor(unsigned int i, unsigned int j)
returns the 1, sqrt(2), or 2 prefactor in the Mandel notation for the indices i,j ranging from 0-5.
SymmetricRankFourTensorTempl< T > & operator/=(const T &a)
C_ijkl /= a for all i, j, k, l.
static SymmetricRankFourTensorTempl< T > identity()
SymmetricRankFourTensorTempl< T > invSymm() const
This returns A_ijkl such that C_ijkl*A_klmn = 0.5*(de_im de_jn + de_in de_jm) This routine assumes th...
static constexpr unsigned int N2
FillMethod
To fill up the 36 entries in the 4th-order tensor, fillFromInputVector is called with one of the foll...
SymmetricRankFourTensorTempl< T > & operator*=(const T &a)
C_ijkl *= a.
void fillSymmetricIsotropicEandNuFromInputVector(const std::vector< T > &input)
fillSymmetricIsotropicEandNuFromInputVector is a variation of the fillSymmetricIsotropicFromInputVect...
SymmetricRankFourTensorTempl< T > & operator-=(const SymmetricRankFourTensorTempl< T > &a)
C_ijkl -= a_ijkl.
SymmetricRankTwoTensorTempl is designed to handle the Stress or Strain Tensor for an anisotropic mate...
static constexpr Real mandelFactor(unsigned int i)
returns the 1 or sqrt(2) prefactor in the Mandel notation for the index i ranging from 0-5.
void mooseSetToZero< ADSymmetricRankFourTensor >(ADSymmetricRankFourTensor &v)
void mooseSetToZero< SymmetricRankFourTensor >(SymmetricRankFourTensor &v)
Helper function template specialization to set an object to zero.
We need to instantiate the following CompareTypes to tell the compiler that ADReal is a subtype of Ch...
auto raw_value(const Eigen::Map< T > &in)
The following methods are specializations for using the libMesh::Parallel::packed_range_* routines fo...
typename tuple_n< Index, T >::template type<> tuple_of
static value_type value(const SymmetricRankFourTensorTempl< T > &in)
SymmetricRankFourTensorTempl< typename RawType< T >::value_type > value_type