libMesh

This class provides a specific system class. More...
#include <fem_physics.h>
Public Member Functions  
FEMPhysics ()  
Constructor. More...  
virtual  ~FEMPhysics () 
Destructor. More...  
virtual bool  eulerian_residual (bool request_jacobian, DiffContext &context) override 
Adds a pseudoconvection contribution on elem to elem_residual, if the nodes of elem are being translated by a moving mesh. More...  
virtual bool  mass_residual (bool request_jacobian, DiffContext &) override 
Subtracts a mass vector contribution on elem from elem_residual. More...  
virtual std::unique_ptr< DifferentiablePhysics >  clone_physics ()=0 
Copy of this object. More...  
virtual void  clear_physics () 
Clear any data structures associated with the physics. More...  
virtual void  init_physics (const System &sys) 
Initialize any data structures associated with the physics. More...  
virtual bool  element_time_derivative (bool request_jacobian, DiffContext &) 
Adds the time derivative contribution on elem to elem_residual. More...  
virtual bool  element_constraint (bool request_jacobian, DiffContext &) 
Adds the constraint contribution on elem to elem_residual. More...  
virtual bool  side_time_derivative (bool request_jacobian, DiffContext &) 
Adds the time derivative contribution on side of elem to elem_residual. More...  
virtual bool  side_constraint (bool request_jacobian, DiffContext &) 
Adds the constraint contribution on side of elem to elem_residual. More...  
virtual bool  nonlocal_time_derivative (bool request_jacobian, DiffContext &) 
Adds any nonlocal time derivative contributions (e.g. More...  
virtual bool  nonlocal_constraint (bool request_jacobian, DiffContext &) 
Adds any nonlocal constraint contributions (e.g. More...  
virtual void  time_evolving (unsigned int var) 
Tells the DiffSystem that variable var is evolving with respect to time. More...  
virtual void  time_evolving (unsigned int var, unsigned int order) 
Tells the DiffSystem that variable var is evolving with respect to time. More...  
bool  is_time_evolving (unsigned int var) const 
virtual bool  side_mass_residual (bool request_jacobian, DiffContext &) 
Subtracts a mass vector contribution on side of elem from elem_residual. More...  
virtual bool  nonlocal_mass_residual (bool request_jacobian, DiffContext &c) 
Subtracts any nonlocal mass vector contributions (e.g. More...  
virtual bool  damping_residual (bool request_jacobian, DiffContext &) 
Subtracts a damping vector contribution on elem from elem_residual. More...  
virtual bool  side_damping_residual (bool request_jacobian, DiffContext &) 
Subtracts a damping vector contribution on side of elem from elem_residual. More...  
virtual bool  nonlocal_damping_residual (bool request_jacobian, DiffContext &) 
Subtracts any nonlocal damping vector contributions (e.g. More...  
virtual void  init_context (DiffContext &) 
virtual void  set_mesh_system (System *sys) 
Tells the DifferentiablePhysics that system sys contains the isoparametric Lagrangian variables which correspond to the coordinates of mesh nodes, in problems where the mesh itself is expected to move in time. More...  
const System *  get_mesh_system () const 
System *  get_mesh_system () 
virtual void  set_mesh_x_var (unsigned int var) 
Tells the DifferentiablePhysics that variable var from the mesh system should be used to update the x coordinate of mesh nodes, in problems where the mesh itself is expected to move in time. More...  
unsigned int  get_mesh_x_var () const 
virtual void  set_mesh_y_var (unsigned int var) 
Tells the DifferentiablePhysics that variable var from the mesh system should be used to update the y coordinate of mesh nodes. More...  
unsigned int  get_mesh_y_var () const 
virtual void  set_mesh_z_var (unsigned int var) 
Tells the DifferentiablePhysics that variable var from the mesh system should be used to update the z coordinate of mesh nodes. More...  
unsigned int  get_mesh_z_var () const 
bool  _eulerian_time_deriv (bool request_jacobian, DiffContext &) 
This method simply combines element_time_derivative() and eulerian_residual(), which makes its address useful as a pointertomemberfunction when refactoring. More...  
bool  have_first_order_vars () const 
const std::set< unsigned int > &  get_first_order_vars () const 
bool  is_first_order_var (unsigned int var) const 
bool  have_second_order_vars () const 
const std::set< unsigned int > &  get_second_order_vars () const 
bool  is_second_order_var (unsigned int var) const 
Public Attributes  
bool  compute_internal_sides 
compute_internal_sides is false by default, indicating that side_* computations will only be done on boundary sides. More...  
Protected Attributes  
System *  _mesh_sys 
System from which to acquire moving mesh information. More...  
unsigned int  _mesh_x_var 
Variables from which to acquire moving mesh information. More...  
unsigned int  _mesh_y_var 
unsigned int  _mesh_z_var 
std::vector< unsigned int >  _time_evolving 
Stores unsigned int to tell us which variables are evolving as first order in time (1), second order in time (2), or are not time evolving (0). More...  
std::set< unsigned int >  _first_order_vars 
Variable indices for those variables that are first order in time. More...  
std::set< unsigned int >  _second_order_vars 
Variable indices for those variables that are second order in time. More...  
std::map< unsigned int, unsigned int >  _second_order_dot_vars 
If the user adds any second order variables, then we need to also cache the map to their corresponding dot variable that will be added by this TimeSolver class. More...  
This class provides a specific system class.
It aims to generalize any system, linear or nonlinear, which provides both a residual and a Jacobian.
This class is part of the new DifferentiableSystem framework, which is still experimental. Users of this framework should beware of bugs and future API changes.
Definition at line 44 of file fem_physics.h.
libMesh::FEMPhysics::FEMPhysics  (  ) 
Constructor.
Definition at line 51 of file fem_physics.h.

virtual 

inherited 
This method simply combines element_time_derivative() and eulerian_residual(), which makes its address useful as a pointertomemberfunction when refactoring.

virtualinherited 
Clear any data structures associated with the physics.

pure virtualinherited 
Copy of this object.
User should override to copy any needed state.
Implemented in libMesh::DifferentiableSystem.
Referenced by libMesh::DifferentiableSystem::attach_physics().

virtualinherited 
Subtracts a damping vector contribution on elem
from elem_residual.
This method is not used in firstorderintime problems. For secondorderintime problems, this is the term. This method is only called for UnsteadySolverbased TimeSolvers.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
If the problem has no damping, the default "donothing" is correct. Otherwise, this must be reimplemented.
Reimplemented in SecondOrderScalarSystemFirstOrderTimeSolverBase, and SecondOrderScalarSystemSecondOrderTimeSolverBase.
Definition at line 374 of file diff_physics.h.

virtualinherited 
Adds the constraint contribution on elem
to elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
Users may need to reimplement this for their particular PDE.
To implement the constraint 0 = G(u), the user should examine u = elem_solution and add (G(u), phi_i) to elem_residual in elem_constraint().
Reimplemented in CoupledSystem, and NavierSystem.
Definition at line 142 of file diff_physics.h.

virtualinherited 
Adds the time derivative contribution on elem
to elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
Users need to reimplement this for their particular PDE.
To implement the physics model du/dt = F(u), the user should examine u = elem_solution and add (F(u), phi_i) to elem_residual in elem_time_derivative().
Reimplemented in SecondOrderScalarSystemFirstOrderTimeSolverBase, FirstOrderScalarSystemBase, HeatSystem, CoupledSystem, L2System, ElasticitySystem, LaplaceSystem, CurlCurlSystem, LaplaceSystem, PoissonSystem, LaplaceSystem, LaplaceSystem, CurlCurlSystem, SolidSystem, NavierSystem, and HeatSystem.
Definition at line 124 of file diff_physics.h.

overridevirtual 
Adds a pseudoconvection contribution on elem
to elem_residual, if the nodes of elem
are being translated by a moving mesh.
This function assumes that the user's time derivative equations (except for any equations involving unknown mesh xyz coordinates themselves) are expressed in an Eulerian frame of reference, and that the user is satisfied with an unstabilized convection term. Lagrangian equations will probably require overriding eulerian_residual() with a blank function; ALE or stabilized formulations will require reimplementing eulerian_residual() entirely.
Reimplemented from libMesh::DifferentiablePhysics.
Reimplemented in SolidSystem.

inherited 
Definition at line 517 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_first_order_vars.

inherited 
Definition at line 624 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_sys.

inherited 
Definition at line 630 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_sys.

inherited 
Definition at line 636 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_x_var.

inherited 
Definition at line 642 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_y_var.

inherited 
Definition at line 648 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_z_var.

inherited 
Definition at line 530 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_second_order_vars.

inherited 
Definition at line 511 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_first_order_vars.

inherited 
Definition at line 524 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_second_order_vars.

virtualinherited 
Reimplemented in libMesh::FEMSystem, HeatSystem, CoupledSystem, L2System, ElasticitySystem, LaplaceSystem, CurlCurlSystem, LaplaceSystem, PoissonSystem, LaplaceSystem, LaplaceSystem, CurlCurlSystem, SolidSystem, NavierSystem, and HeatSystem.
Definition at line 417 of file diff_physics.h.

virtualinherited 
Initialize any data structures associated with the physics.
Referenced by libMesh::DifferentiableSystem::attach_physics().

inherited 
Definition at line 520 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_first_order_vars.

inherited 
Definition at line 533 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_second_order_vars.

inherited 
true
iff variable var
is evolving with respect to time. In general, the user's init() function should have set time_evolving() for any variables which behave like du/dt = F(u), and should not call time_evolving() for any variables which behave like 0 = G(u). Definition at line 277 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_time_evolving.

overridevirtual 
Subtracts a mass vector contribution on elem
from elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
Many problems can use the reimplementation in FEMPhysics::mass_residual which subtracts (du/dt,v) for each transient variable u; users with more complicated transient problems will need to reimplement this themselves.
Reimplemented from libMesh::DifferentiablePhysics.
Reimplemented in SecondOrderScalarSystemFirstOrderTimeSolverBase, SecondOrderScalarSystemSecondOrderTimeSolverBase, FirstOrderScalarSystemBase, ElasticitySystem, and NavierSystem.

virtualinherited 
Adds any nonlocal constraint contributions (e.g.
some components of constraints in scalar variable equations) to elem_residual
If this method receives request_jacobian = true, then it should also modify elem_jacobian and return true if possible. If the Jacobian changes have not been computed then the method should return false.
Users may need to reimplement this for PDEs on systems to which SCALAR variables with nontransient equations have been added.
Definition at line 227 of file diff_physics.h.

virtualinherited 
Subtracts any nonlocal damping vector contributions (e.g.
any first time derivative coefficients in scalar variable equations) from elem_residual
If this method receives request_jacobian = true, then it should also modify elem_jacobian and return true if possible. If the Jacobian changes have not been computed then the method should return false.
Definition at line 406 of file diff_physics.h.

virtualinherited 
Subtracts any nonlocal mass vector contributions (e.g.
any time derivative coefficients in scalar variable equations) from elem_residual
If this method receives request_jacobian = true, then it should also modify elem_jacobian and return true if possible. If the Jacobian changes have not been computed then the method should return false.
Many problems can use the reimplementation in FEMPhysics::mass_residual which subtracts (du/dt,v) for each transient scalar variable u; users with more complicated transient scalar variable equations will need to reimplement this themselves.

virtualinherited 
Adds any nonlocal time derivative contributions (e.g.
some components of time derivatives in scalar variable equations) to elem_residual
If this method receives request_jacobian = true, then it should also modify elem_jacobian and return true if possible. If the Jacobian changes have not been computed then the method should return false.
Users may need to reimplement this for PDEs on systems to which SCALAR variables have been added.
Definition at line 209 of file diff_physics.h.

virtualinherited 
Tells the DifferentiablePhysics that system sys
contains the isoparametric Lagrangian variables which correspond to the coordinates of mesh nodes, in problems where the mesh itself is expected to move in time.
The system with mesh coordinate data (which may be this
system itself, for fully coupled moving mesh problems) is currently assumed to have new (end of time step) mesh coordinates stored in solution, old (beginning of time step) mesh coordinates stored in _old_nonlinear_solution, and constant velocity motion during each time step.
Activating this function ensures that local (but not neighbor!) element geometry is correctly repositioned when evaluating element residuals.
Currently sys
must be *this
for a tightly coupled moving mesh problem or nullptr to stop mesh movement; loosely coupled moving mesh problems are not implemented.
This code is experimental. "Trust but verify, and not in that order"
Definition at line 580 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_sys.

virtualinherited 
Tells the DifferentiablePhysics that variable var
from the mesh system should be used to update the x coordinate of mesh nodes, in problems where the mesh itself is expected to move in time.
The system with mesh coordinate data (which may be this system itself, for fully coupled moving mesh problems) is currently assumed to have new (end of time step) mesh coordinates stored in solution, old (beginning of time step) mesh coordinates stored in _old_nonlinear_solution, and constant velocity motion during each time step.
Activating this function ensures that local (but not neighbor!) element geometry is correctly repositioned when evaluating element residuals.
Definition at line 600 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_x_var.

virtualinherited 
Tells the DifferentiablePhysics that variable var
from the mesh system should be used to update the y coordinate of mesh nodes.
Definition at line 608 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_y_var.

virtualinherited 
Tells the DifferentiablePhysics that variable var
from the mesh system should be used to update the z coordinate of mesh nodes.
Definition at line 616 of file diff_physics.h.
References libMesh::DifferentiablePhysics::_mesh_z_var.

virtualinherited 
Adds the constraint contribution on side
of elem
to elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
Users may need to reimplement this for their particular PDE depending on the boundary conditions.
To implement a weak form of the constraint 0 = G(u), the user should examine u = elem_solution and add (G(u), phi_i) boundary integral contributions to elem_residual in side_constraint().
Reimplemented in LaplaceSystem, LaplaceSystem, LaplaceSystem, and NavierSystem.
Definition at line 191 of file diff_physics.h.

virtualinherited 
Subtracts a damping vector contribution on side
of elem
from elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
For most problems, the default implementation of "do nothing" is correct; users with boundary conditions including first time derivatives may need to reimplement this themselves.
Definition at line 391 of file diff_physics.h.

virtualinherited 
Subtracts a mass vector contribution on side
of elem
from elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
For most problems, the default implementation of "do nothing" is correct; users with boundary conditions including time derivatives may need to reimplement this themselves.
Definition at line 335 of file diff_physics.h.

virtualinherited 
Adds the time derivative contribution on side
of elem
to elem_residual.
If this method receives request_jacobian = true, then it should compute elem_jacobian and return true if possible. If elem_jacobian has not been computed then the method should return false.
Users may need to reimplement this for their particular PDE depending on the boundary conditions.
To implement a weak form of the source term du/dt = F(u) on sides, such as might arise in a flux boundary condition, the user should examine u = elem_solution and add (F(u), phi_i) boundary integral contributions to elem_residual in side_constraint().
Reimplemented in ElasticitySystem, CurlCurlSystem, CurlCurlSystem, and SolidSystem.
Definition at line 171 of file diff_physics.h.

virtualinherited 
Tells the DiffSystem that variable var is evolving with respect to time.
In general, the user's init() function should call time_evolving() for any variables which behave like du/dt = F(u), and should not call time_evolving() for any variables which behave like 0 = G(u).
Most derived systems will not have to reimplement this function; however any system which reimplements mass_residual() may have to reimplement time_evolving() to prepare data structures.
Definition at line 249 of file diff_physics.h.

virtualinherited 
Tells the DiffSystem that variable var is evolving with respect to time.
In general, the user's init() function should call time_evolving() with order 1 for any variables which behave like du/dt = F(u), with order 2 for any variables that behave like d^2u/dt^2 = F(u), and should not call time_evolving() for any variables which behave like 0 = G(u).
Most derived systems will not have to reimplement this function; however any system which reimplements mass_residual() may have to reimplement time_evolving() to prepare data structures.

protectedinherited 
Variable indices for those variables that are first order in time.
Definition at line 559 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_first_order_vars(), libMesh::DifferentiablePhysics::have_first_order_vars(), and libMesh::DifferentiablePhysics::is_first_order_var().

protectedinherited 
System from which to acquire moving mesh information.
Definition at line 542 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_mesh_system(), and libMesh::DifferentiablePhysics::set_mesh_system().

protectedinherited 
Variables from which to acquire moving mesh information.
Definition at line 547 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_mesh_x_var(), and libMesh::DifferentiablePhysics::set_mesh_x_var().

protectedinherited 
Definition at line 547 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_mesh_y_var(), and libMesh::DifferentiablePhysics::set_mesh_y_var().

protectedinherited 
Definition at line 547 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_mesh_z_var(), and libMesh::DifferentiablePhysics::set_mesh_z_var().

protectedinherited 
If the user adds any second order variables, then we need to also cache the map to their corresponding dot variable that will be added by this TimeSolver class.
Definition at line 571 of file diff_physics.h.

protectedinherited 
Variable indices for those variables that are second order in time.
Definition at line 564 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::get_second_order_vars(), libMesh::DifferentiablePhysics::have_second_order_vars(), and libMesh::DifferentiablePhysics::is_second_order_var().

protectedinherited 
Stores unsigned int to tell us which variables are evolving as first order in time (1), second order in time (2), or are not time evolving (0).
Definition at line 554 of file diff_physics.h.
Referenced by libMesh::DifferentiablePhysics::is_time_evolving().

inherited 
compute_internal_sides
is false by default, indicating that side_* computations will only be done on boundary sides.
If compute_internal_sides is true, computations will be done on sides between elements as well.
Definition at line 153 of file diff_physics.h.