BlatterTestXY.hh

Go to the documentation of this file.

/* Copyright (C) 2020, 2021, 2022 PISM Authors
 *
 * This file is part of PISM.
 *
 * PISM is free software; you can redistribute it and/or modify it under the
 * terms of the GNU General Public License as published by the Free Software
 * Foundation; either version 3 of the License, or (at your option) any later
 * version.
 *
 * PISM is distributed in the hope that it will be useful, but WITHOUT ANY
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License
 * along with PISM; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
*/
 
#ifndef BLATTERTESTXY_H
#define BLATTERTESTXY_H
 
#include "pism/stressbalance/blatter/Blatter.hh"
 
namespace pism {
namespace stressbalance {
 
/*!
 * Implements Dirichlet BC and the source term for a verification test using the following
 * exact solution:
 *
 * u = exp(x) * sin(2 * pi * y)
 * v = exp(x) * cos(2 * pi * y)
 *
 * Domain: [0, 1] * [0, 1] * [0, 1].
 *
 * Ice thickness is equal to 1 everywhere; bed elevation is 0 everywhere.
 *
 * Dirichlet BC are imposed at all the nodes along the lateral boundary.
 *
 * Natural boundary conditions are used on the top and bottom boundaries.
 *
 * Note: KSP iterations seem to stall when the default preconditioner is used. Use
 * "-pc_type gamg" instead.
 */
class BlatterTestXY : public Blatter {
public:
  BlatterTestXY(std::shared_ptr<const Grid> grid, int Mz, int coarsening_factor);
 
protected:
  bool marine_boundary(int face,
                       const int *node_type,
                       const double *ice_bottom,
                       const double *sea_level);
 
  bool dirichlet_node(const DMDALocalInfo &info, const fem::Element3::GlobalIndex& I);
 
  Vector2d u_bc(double x, double y, double z) const;
 
  void residual_source_term(const fem::Q1Element3 &element,
                            const double *surface,
                            const double *bed,
                            Vector2d *residual);
  //! constant ice hardness
  double m_B;
};
 
} // end of namespace stressbalance
} // end of namespace pism
 
#endif /* BLATTERTESTXY_H */