NavierStokesProblem.C

Go to the documentation of this file.

//* This file is part of the MOOSE framework
//* https://mooseframework.inl.gov
//*
//* All rights reserved, see COPYRIGHT for full restrictions
//* https://github.com/idaholab/moose/blob/master/COPYRIGHT
//*
//* Licensed under LGPL 2.1, please see LICENSE for details
//* https://www.gnu.org/licenses/lgpl-2.1.html
 
#include "NavierStokesProblem.h"
#include "NonlinearSystemBase.h"
#include "FieldSplitPreconditioner.h"
#include "libmesh/petsc_matrix.h"
#include "libmesh/static_condensation.h"
 
using namespace libMesh;
 
registerMooseObject("NavierStokesApp", NavierStokesProblem);
 
InputParameters
NavierStokesProblem::validParams()
{
  InputParameters params = FEProblem::validParams();
  params.addClassDescription("A problem that handles Schur complement preconditioning of the "
                             "incompressible Navier-Stokes equations");
  params.addParam<TagName>(
      "mass_matrix", "", "The matrix tag name corresponding to the mass matrix.");
  params.addParam<TagName>(
      "L_matrix",
      "",
      "The matrix tag name corresponding to the diffusive part of the velocity equations.");
  params.addParam<std::vector<unsigned int>>(
      "schur_fs_index",
      {},
      "if not provided then the top field split is assumed to be the "
      "Schur split. This is a vector to allow recursive nesting");
  MooseEnum set_schur_pre("false mass a11_and_mass", "false");
  params.addParam<MooseEnum>(
      "set_schur_pre",
      set_schur_pre,
      "Whether and what to set as the user-provided Schur complement preconditioner");
  params.addParam<bool>(
      "commute_lsc",
      false,
      "Whether to use the commuted form of the LSC preconditioner, created by Olshanskii");
  return params;
}
 
NavierStokesProblem::NavierStokesProblem(const InputParameters & parameters) : FEProblem(parameters)
#if PETSC_RELEASE_LESS_THAN(3, 20, 0)
{
  mooseError("The preconditioning techniques made available through this class require a PETSc "
             "version of at least 3.20");
}
#else
    ,
    _commute_lsc(getParam<bool>("commute_lsc")),
    _mass_matrix(getParam<TagName>("mass_matrix")),
    _L_matrix(getParam<TagName>("L_matrix")),
    _have_mass_matrix(!_mass_matrix.empty()),
    _have_L_matrix(!_L_matrix.empty()),
    _set_schur_pre((getParam<MooseEnum>("set_schur_pre").getEnum<SetSchurPreType>())),
    _schur_fs_index(getParam<std::vector<unsigned int>>("schur_fs_index")),
    _index_sets(_schur_fs_index.size()),
    _field_split_post_setup_contexts(_schur_fs_index.size() + 1)
{
  for (const auto tree_position : index_range(_field_split_post_setup_contexts))
    _field_split_post_setup_contexts[tree_position] = {this, tree_position};
 
  if (_commute_lsc)
  {
    if (!_have_mass_matrix)
      paramError("mass_matrix",
                 "A pressure mass matrix must be provided if we are commuting the LSC commutator.");
    if (!_have_L_matrix)
      paramError("L_matrix",
                 "A matrix corresponding to the viscous component of the momentum equation must be "
                 "provided if we are commuting the LSC commutator.");
  }
  else if (_have_L_matrix)
    paramError("L_matrix",
               "If not commuting the LSC commutator, then the 'L_matrix' should not be provided "
               "because it will not be used. For Elman LSC preconditioning, L will be computed "
               "automatically using system matrix data (e.g. the off-diagonal blocks in the "
               "velocity-pressure system).");
 
  if ((_set_schur_pre != SetSchurPreType::FALSE) && !_have_mass_matrix)
    paramError(
        "mass_matrix",
        "If requesting to use the mass matrix as part of the Schur complement preconditioner via "
        "'set_schur_pre', then a pressure 'mass_matrix' must be provided");
}
 
NavierStokesProblem::~NavierStokesProblem()
{
  auto ierr = (PetscErrorCode)0;
  if (_Q_scale)
  {
    ierr = MatDestroy(&_Q_scale);
    CHKERRABORT(this->comm().get(), ierr);
  }
  if (_L)
  {
    ierr = MatDestroy(&_L);
    CHKERRABORT(this->comm().get(), ierr);
  }
}
 
void
NavierStokesProblem::initialSetup()
{
  FEProblem::initialSetup();
  for (const auto & solver_sys : _solver_systems)
    if (solver_sys->system().has_static_condensation())
    {
      if (_have_L_matrix)
        mooseError("Static condensation and LSC preconditioning not supported together");
      if (_have_mass_matrix)
        cast_ref<StaticCondensation &>(solver_sys->getMatrix(massMatrixTagID()))
            .uncondensed_dofs_only();
    }
}
PetscErrorCode
NavierStokesProblem::fieldSplitPostSetUpCallback(PC pc)
{
  PetscFunctionBegin;
 
  void * context;
  PetscCall(PCGetApplicationContext(pc, &context));
  const auto & post_setup_context = *static_cast<FieldSplitPostSetUpContext *>(context);
  post_setup_context.problem->fieldSplitPostSetUp(pc, post_setup_context.tree_position);
 
  PetscFunctionReturn(PETSC_SUCCESS);
}
 
void
NavierStokesProblem::setFieldSplitPostSetUp(PC pc, const std::size_t tree_position)
{
  LibmeshPetscCall(PCSetApplicationContext(pc, &_field_split_post_setup_contexts[tree_position]));
  LibmeshPetscCall(PCSetPostSetUp(pc, &NavierStokesProblem::fieldSplitPostSetUpCallback));
}
 
void
NavierStokesProblem::fieldSplitPostSetUp(PC pc, const std::size_t tree_position)
{
  PetscBool is_fs;
  LibmeshPetscCall(PetscObjectTypeCompare((PetscObject)pc, PCFIELDSPLIT, &is_fs));
  if (!is_fs)
    mooseError("Not a field split. Please check the 'schur_fs_index' parameter");
 
  if (tree_position == _schur_fs_index.size())
  {
    setupLSCMatrices(pc);
    return;
  }
 
  PetscInt num_splits;
  KSP * subksp;
  IS is;
  PC next_pc;
  const auto sub_ksp_index = _schur_fs_index[tree_position];
 
  // Get the linear solvers associated with each split
  LibmeshPetscCall(PCFieldSplitGetSubKSP(pc, &num_splits, &subksp));
  LibmeshPetscCall(KSPGetPC(subksp[sub_ksp_index], &next_pc));
 
  // Get the index set for the split at this level of the tree we are traversing to the Schur
  // complement preconditioner
  LibmeshPetscCall(PCFieldSplitGetISByIndex(pc, sub_ksp_index, &is));
 
  // Store this tree level's index set, which we will eventually use to get the sub-matrices
  // required for our preconditioning process from the system matrices
  _index_sets[tree_position] = is;
 
  // PETSc will set up the child while recursively setting up the field split blocks
  setFieldSplitPostSetUp(next_pc, tree_position + 1);
 
  // Free the array of sub linear solvers that got allocated in the PCFieldSplitGetSubKSP call
  LibmeshPetscCall(PetscFree(subksp));
}
 
void
NavierStokesProblem::setupLSCMatrices(PC schur_pc)
{
  KSP * subksp; // This will be length two, with the former being the A KSP and the latter being the
                // Schur complement KSP
  KSP schur_complement_ksp;
  PC lsc_pc;
  PetscInt num_splits;
  Mat lsc_pc_pmat;
  IS velocity_is, pressure_is;
  PetscInt rstart, rend;
  PetscBool is_lsc;
  std::vector<Mat> intermediate_Qs;
  std::vector<Mat> intermediate_Ls;
 
  // The mass matrix. This will correspond to velocity degrees of freedom for Elman LSC and pressure
  // degrees of freedom for Olshanskii LSC or when directly using the mass matrix as a
  // preconditioner for the Schur complement
  Mat global_Q = nullptr;
  if (_have_mass_matrix)
  {
    auto & sparse_mass_mat = _current_nl_sys->getMatrix(massMatrixTagID());
    if (_current_nl_sys->system().has_static_condensation())
      global_Q = cast_ref<const PetscMatrixBase<Number> &>(
                     cast_ref<StaticCondensation &>(sparse_mass_mat).get_condensed_mat())
                     .mat();
    else
      global_Q = cast_ref<PetscMatrixBase<Number> &>(sparse_mass_mat).mat();
  }
 
  // The Poisson operator matrix corresponding to the velocity degrees of freedom. This is only used
  // and is required for Olshanskii LSC preconditioning
  Mat global_L = nullptr;
  if (_have_L_matrix)
    global_L =
        cast_ref<PetscMatrixBase<Number> &>(_current_nl_sys->getMatrix(LMatrixTagID())).mat();
 
  //
  // Process down from our system matrices to the sub-matrix containing the velocity-pressure dofs
  // for which we are going to be doing the Schur complement preconditioning
  //
 
  auto process_intermediate_mats = [this](auto & intermediate_mats, auto parent_mat)
  {
    mooseAssert(parent_mat, "This should be non-null");
    intermediate_mats.resize(_index_sets.size());
    for (const auto i : index_range(_index_sets))
    {
      auto intermediate_is = _index_sets[i];
      Mat intermediate_mat;
      LibmeshPetscCall(MatCreateSubMatrix(i == 0 ? parent_mat : intermediate_mats[i - 1],
                                          intermediate_is,
                                          intermediate_is,
                                          MAT_INITIAL_MATRIX,
                                          &intermediate_mat));
      intermediate_mats[i] = intermediate_mat;
    }
    return _index_sets.empty() ? parent_mat : intermediate_mats.back();
  };
 
  Mat our_parent_Q = nullptr;
  if (_have_mass_matrix)
    our_parent_Q = process_intermediate_mats(intermediate_Qs, global_Q);
  Mat our_parent_L = nullptr;
  if (_have_L_matrix)
    our_parent_L = process_intermediate_mats(intermediate_Ls, global_L);
 
  // There are always two splits in a Schur complement split. The zeroth split is the split with the
  // on-diagonals, e.g. the velocity dofs. Here we retrive the velocity dofs/index set
  LibmeshPetscCall(PCFieldSplitGetISByIndex(schur_pc, 0, &velocity_is));
 
  // Get the rows of the parent velocity-pressure matrix that our process owns
  LibmeshPetscCall(MatGetOwnershipRange(our_parent_Q, &rstart, &rend));
 
  if (_commute_lsc)
  {
    // If we're commuting LSC, e.g. doing Olshanskii, the user must have provided a Poisson operator
    // matrix
    mooseAssert(our_parent_L, "This should be non-null");
 
    if (!_L)
      // If this is our first time in this routine, then we create the matrix
      LibmeshPetscCall(
          MatCreateSubMatrix(our_parent_L, velocity_is, velocity_is, MAT_INITIAL_MATRIX, &_L));
    else
      // Else we reuse the matrix
      LibmeshPetscCall(
          MatCreateSubMatrix(our_parent_L, velocity_is, velocity_is, MAT_REUSE_MATRIX, &_L));
  }
 
  // Get the local index set complement corresponding to the pressure dofs from the velocity dofs
  LibmeshPetscCall(ISComplement(velocity_is, rstart, rend, &pressure_is));
 
  auto create_q_scale_submat =
      [our_parent_Q, this, velocity_is, pressure_is](const auto & mat_initialization)
  {
    if (_commute_lsc || (_set_schur_pre != SetSchurPreType::FALSE))
    {
      // If we are doing Olshanskii or we are using the pressure matrix directly as the
      // preconditioner (no LSC), then we must have access to a pressure mass matrix
      mooseAssert(our_parent_Q, "This should be non-null");
      // Create a sub-matrix corresponding to the pressure index set
      LibmeshPetscCall(MatCreateSubMatrix(
          our_parent_Q, pressure_is, pressure_is, mat_initialization, &_Q_scale));
    }
    else if (_have_mass_matrix) // If we don't have a mass matrix and the user has requested scaling
                                // then the diagonal of A will be used
    {
      // The user passed us a mass matrix tag; we better have been able to obtain a parent Q in that
      // case
      mooseAssert(our_parent_Q, "This should be non-null");
      // We are not commuting LSC, so we are doing Elman, and the user has passed us a mass matrix
      // tag. In this case we are creating a velocity mass matrix, so we use the velocity index set
      LibmeshPetscCall(MatCreateSubMatrix(
          our_parent_Q, velocity_is, velocity_is, mat_initialization, &_Q_scale));
    }
  };
 
  if (!_Q_scale)
    // We haven't allocated the scaling matrix yet
    create_q_scale_submat(MAT_INITIAL_MATRIX);
  else
  {
    if (_set_schur_pre == SetSchurPreType::A11_AND_MASS)
    {
      // A11 has mucked with the nonzero pattern
      LibmeshPetscCall(MatDestroy(&_Q_scale));
      create_q_scale_submat(MAT_INITIAL_MATRIX);
    }
    else
      // We have allocated the scaling matrix, so we can reuse
      create_q_scale_submat(MAT_REUSE_MATRIX);
  }
 
  // We don't need the pressure index set anymore
  LibmeshPetscCall(ISDestroy(&pressure_is));
 
  // Nor the intermediate matrices
  for (auto & mat : intermediate_Qs)
    LibmeshPetscCall(MatDestroy(&mat));
  for (auto & mat : intermediate_Ls)
    LibmeshPetscCall(MatDestroy(&mat));
 
  // Get the sub KSP for the Schur split that corresponds to the linear solver for the Schur
  // complement (e.g. rank equivalent to the pressure rank)
  LibmeshPetscCall(PCFieldSplitGetSubKSP(schur_pc, &num_splits, &subksp));
  if (num_splits != 2)
    mooseError("The number of splits should be two");
  // The Schur complement linear solver is always at the first index (for the pressure dofs;
  // velocity dof KSP is at index 0)
  schur_complement_ksp = subksp[1];
 
  if (_set_schur_pre != SetSchurPreType::FALSE)
  {
    mooseAssert(_Q_scale, "This should be non-null");
    Mat S, A11;
 
    // Get the Schur complement operator S, which in generic KSP speak is used for the operator A
    LibmeshPetscCall(KSPGetOperators(schur_complement_ksp, &S, nullptr));
    if (_set_schur_pre == SetSchurPreType::A11_AND_MASS)
    {
      LibmeshPetscCall(
          MatSchurComplementGetSubMatrices(S, nullptr, nullptr, nullptr, nullptr, &A11));
      LibmeshPetscCall(MatAXPY(_Q_scale, 1, A11, DIFFERENT_NONZERO_PATTERN));
    }
    // Set the Schur complement preconditioner to be the pressure mass matrix
    LibmeshPetscCall(PCFieldSplitSetSchurPre(schur_pc, PC_FIELDSPLIT_SCHUR_PRE_USER, _Q_scale));
    // Set, in generic KSP speak, the operators A and P respectively. So our pressure mass matrix is
    // P
    LibmeshPetscCall(KSPSetOperators(schur_complement_ksp, S, _Q_scale));
  }
  else // We are doing LSC preconditioning
  {
    // Get the least squares commutator preconditioner for the Schur complement
    LibmeshPetscCall(KSPGetPC(schur_complement_ksp, &lsc_pc));
    // Verify that it's indeed an LSC preconditioner
    LibmeshPetscCall(PetscObjectTypeCompare(PetscObject(lsc_pc), PCLSC, &is_lsc));
    if (!is_lsc)
      mooseError("Not an LSC PC. Please check the 'schur_fs_index' parameter");
 
    // Get the LSC preconditioner
    LibmeshPetscCall(PCGetOperators(lsc_pc, nullptr, &lsc_pc_pmat));
 
    if (_commute_lsc)
    {
      // We're doing Olshanskii. We must have a user-provided Poisson operator
      mooseAssert(_L, "This should be non-null");
      // Attach our L matrix to the PETSc object. PETSc will use this during the preconditioner
      // application
      LibmeshPetscCall(PetscObjectCompose((PetscObject)lsc_pc_pmat, "LSC_L", (PetscObject)_L));
      // Olshanskii preconditioning requires a pressure mass matrix
      mooseAssert(_have_mass_matrix, "This is to verify we will enter the next conditional");
    }
    if (_have_mass_matrix)
    {
      mooseAssert(_Q_scale, "This should be non-null");
      // Attach our scaling/mass matrix to the PETSc object. PETSc will use this during the
      // preconditioner application
      LibmeshPetscCall(
          PetscObjectCompose((PetscObject)lsc_pc_pmat, "LSC_Qscale", (PetscObject)_Q_scale));
    }
  }
 
  // Free the sub-KSP array that was allocated during PCFieldSplitGetSubKSP
  LibmeshPetscCall(PetscFree(subksp));
}
 
void
NavierStokesProblem::initPetscOutputAndSomeSolverSettings()
{
  FEProblem::initPetscOutputAndSomeSolverSettings();
 
  if (!_have_mass_matrix)
  {
    mooseAssert(
        !_have_L_matrix,
        "If we don't have a mass matrix, which is only supported for traditional LSC "
        "preconditioning (e.g. Elman, not Olshanskii), then we also shouldn't have an L matrix "
        "because we automatically form the L matrix when doing traditional LSC preconditioning");
    return;
  }
 
  // Each field split callback will install the callback on the next nested split until PETSc sets
  // up the target Schur complement split
  auto ksp = currentNonlinearSystem().getFieldSplitPreconditioner().getKSP();
  PC pc;
  LibmeshPetscCall(KSPGetPC(ksp, &pc));
  setFieldSplitPostSetUp(pc, 0);
}
 
#endif