Skip to content
Snippets Groups Projects
one-body-sample.cc 17.2 KiB
Newer Older
#include <Python.h>

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

#ifndef HAVE_PYTHON
#error Python is required
#endif

#ifdef HAVE_IPOPT
#undef HAVE_IPOPT
#endif

#ifndef srcdir
#error srcdir unset
#endif

#ifndef DIM
#error DIM unset
#endif

#if !HAVE_ALUGRID
#error ALUGRID is required
#endif

#include <cmath>
#include <exception>
#include <fstream>
#include <iostream>

#include <boost/format.hpp>

#include <dune/common/bitsetvector.hh>
#include <dune/common/exceptions.hh>
#include <dune/common/fmatrix.hh>
#include <dune/common/function.hh>
#include <dune/common/fvector.hh>
#include <dune/common/parametertree.hh>
#include <dune/common/parametertreeparser.hh>

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wignored-qualifiers"
#include <dune/grid/alugrid.hh>
#pragma clang diagnostic pop

#include <dune/grid/common/mcmgmapper.hh>
#include <dune/grid/utility/structuredgridfactory.hh>
#include <dune/istl/bcrsmatrix.hh>
#include <dune/istl/bvector.hh>

#include <dune/fufem/boundarypatch.hh>
#include <dune/fufem/dunepython.hh>
#include <dune/fufem/functions/basisgridfunction.hh>
#include <dune/fufem/functionspacebases/p1nodalbasis.hh>
#include <dune/fufem/sharedpointermap.hh>
#include <dune/solvers/norms/energynorm.hh>
#include <dune/solvers/norms/sumnorm.hh>
#include <dune/solvers/solvers/loopsolver.hh>
#include <dune/solvers/solvers/solver.hh>
#include <dune/tnnmg/nonlinearities/zerononlinearity.hh>
#include <dune/tnnmg/problem-classes/blocknonlineartnnmgproblem.hh>
Elias Pipping's avatar
Elias Pipping committed
#include <dune/tnnmg/problem-classes/convexproblem.hh>

#include <dune/tectonic/myblockproblem.hh>
#include <dune/tectonic/globalnonlinearity.hh>

#include "assemblers.hh"
#include "enum_parser.cc"
#include "enum_scheme.cc"
Elias Pipping's avatar
Elias Pipping committed
#include "enum_state_model.cc"
#include "enum_verbosity.cc"
Elias Pipping's avatar
Elias Pipping committed
#include "enums.hh"
#include "friction_writer.hh"
#include "solverfactory.hh"
#include "state.hh"
#include "timestepping.hh"
Elias Pipping's avatar
Elias Pipping committed
#include "vtk.hh"
size_t const dims = DIM;
void initPython() {
  Python::start();

  Python::run("import sys");
  Python::run("sys.path.append('" srcdir "')");
}

int main(int argc, char *argv[]) {
  try {
    Dune::ParameterTree parset;
    Dune::ParameterTreeParser::readINITree(srcdir "/one-body-sample.parset",
                                           parset);
    Dune::ParameterTreeParser::readOptions(argc, argv, parset);

    using LocalMatrix = Dune::FieldMatrix<double, dims, dims>;
    using LocalScalarMatrix = Dune::FieldMatrix<double, 1, 1>;
Elias Pipping's avatar
Elias Pipping committed
    using LocalVector = Dune::FieldVector<double, dims>;
    using Matrix = Dune::BCRSMatrix<LocalMatrix>;
    using ScalarMatrix = Dune::BCRSMatrix<LocalScalarMatrix>;
    using ScalarVector = Dune::BlockVector<Dune::FieldVector<double, 1>>;
Elias Pipping's avatar
Elias Pipping committed
    using Vector = Dune::BlockVector<LocalVector>;
    auto const youngModulus = parset.get<double>("body.youngModulus");
    auto const poissonRatio = parset.get<double>("body.poissonRatio");
    auto const shearViscosity = parset.get<double>("body.shearViscosity");
    auto const bulkViscosity = parset.get<double>("body.bulkViscosity");
    auto const density = parset.get<double>("body.density");
    double const gravity = 9.81;

    // {{{ Set up grid
    using Grid = Dune::ALUGrid<dims, dims, Dune::simplex, Dune::nonconforming>;
    Dune::FieldVector<size_t, dims> lowerLeft(0);
    Dune::FieldVector<size_t, dims> upperRight(1);
    upperRight[0] = 5;
    upperRight[1] = 1;
    std::shared_ptr<Grid> grid;
    {
      Dune::array<unsigned int, dims> elements;
      for (size_t i = 0; i < dims; ++i)
        elements[i] = upperRight[i]; // 1x1 elements
      grid = Dune::StructuredGridFactory<Grid>::createSimplexGrid(
          lowerLeft, upperRight, elements);
    }
    LocalVector zenith(0);

    auto const refinements = parset.get<size_t>("grid.refinements");
    grid->globalRefine(refinements);
    size_t const fineVertexCount = grid->size(grid->maxLevel(), dims);
    using GridView = Grid::LeafGridView;
    GridView const leafView = grid->leafView();
    // }}}

    // Set up faces
    BoundaryPatch<GridView> lowerFace(leafView);
    BoundaryPatch<GridView> upperFace(leafView);
    {
      auto const isClose = [](double a,
                              double b) { return std::abs(a - b) < 1e-14; };
      lowerFace.insertFacesByProperty([&](
          typename GridView::Intersection const &in) {
        return isClose(lowerLeft[1], in.geometry().center()[1]);
      });

      upperFace.insertFacesByProperty([&](
          typename GridView::Intersection const &in) {
        return isClose(upperRight[1], in.geometry().center()[1]);
      });
    }
Elias Pipping's avatar
Elias Pipping committed

    // Neumann boundary
    BoundaryPatch<GridView> const neumannBoundary(leafView);

    // Frictional Boundary
    BoundaryPatch<GridView> const &frictionalBoundary = lowerFace;
    Dune::BitSetVector<1> frictionalNodes(fineVertexCount);
    frictionalBoundary.getVertices(frictionalNodes);

    // Dirichlet Boundary
    Dune::BitSetVector<dims> noNodes(fineVertexCount);
    Dune::BitSetVector<dims> dirichletNodes(fineVertexCount);
    for (size_t i = 0; i < fineVertexCount; ++i) {
      if (lowerFace.containsVertex(i))
        dirichletNodes[i][1] = true;

      if (upperFace.containsVertex(i))
        dirichletNodes[i] = true;
    }

    // Set up functions for time-dependent boundary conditions
    using Function = Dune::VirtualFunction<double, double>;
    using FunctionMap = SharedPointerMap<std::string, Function>;
    FunctionMap functions;
    {
      initPython();
      Python::import("one-body-sample")
          .get("Functions")
          .toC<typename FunctionMap::Base>(functions);
    }
    auto const &velocityDirichletFunction =
                   functions.get("velocityDirichletCondition"),
               &neumannFunction = functions.get("neumannCondition");

    // Set up normal stress, mass matrix, and gravity functional
    double normalStress;
    {
      double volume = 1.0;
      for (size_t i = 0; i < dims; ++i)
        volume *= (upperRight[i] - lowerLeft[i]);

      double area = 1.0;
      for (size_t i = 0; i < dims; ++i)
        if (i != 1)
          area *= (upperRight[i] - lowerLeft[i]);

      // volume * gravity * density / area    = normal stress
      // V      * g       * rho     / A       = sigma_n
      // m^d    * N/kg    * kg/m^d  / m^(d-1) = N/m^(d-1)
      normalStress = -volume * gravity * density / area;
Elias Pipping's avatar
Elias Pipping committed
    FrictionData const frictionData(parset.sub("boundary.friction"),
                                    normalStress);
    using MyAssembler = MyAssembler<GridView, dims>;
    MyAssembler myAssembler(leafView);

    Matrix A, C, M;
    myAssembler.assembleElasticity(youngModulus, poissonRatio, A);
    myAssembler.assembleViscosity(shearViscosity, bulkViscosity, C);
    myAssembler.assembleMass(density, M);
    EnergyNorm<Matrix, Vector> const ANorm(A), MNorm(M);
Elias Pipping's avatar
Elias Pipping committed
    // Q: Does it make sense to weigh them in this manner?
    SumNorm<Vector> const AMNorm(1.0, ANorm, 1.0, MNorm);
    ScalarMatrix frictionalBoundaryMass;
    myAssembler.assembleFrictionalBoundaryMass(frictionalBoundary,
                                               frictionalBoundaryMass);
    EnergyNorm<ScalarMatrix, ScalarVector> const stateEnergyNorm(
        frictionalBoundaryMass);

    // Assemble forces
    Vector gravityFunctional;
    myAssembler.assembleBodyForce(gravity, density, zenith, gravityFunctional);

    // Problem formulation: right-hand side
    auto const computeExternalForces = [&](double _relativeTime, Vector &_ell) {
      myAssembler.assembleNeumann(neumannBoundary, _ell, neumannFunction,
                                  _relativeTime);
      _ell += gravityFunctional;
    };
    Vector ell(fineVertexCount);
    computeExternalForces(0.0, ell);

    // {{{ Initial conditions
    ScalarVector alpha_initial(fineVertexCount);
Elias Pipping's avatar
Elias Pipping committed
        std::log(parset.get<double>("boundary.friction.initialState"));
    auto myGlobalNonlinearity = myAssembler.assembleFrictionNonlinearity(
        frictionalBoundary, frictionData);
    myGlobalNonlinearity->updateLogState(alpha_initial);
    using LinearFactory = SolverFactory<
        dims, BlockNonlinearTNNMGProblem<ConvexProblem<
                  ZeroNonlinearity<LocalVector, LocalMatrix>, Matrix>>,
    ZeroNonlinearity<LocalVector, LocalMatrix> zeroNonlinearity;
    // TODO: clean up once generic lambdas arrive
    auto const solveLinearProblem = [&](
        Dune::BitSetVector<dims> const &_dirichletNodes, Matrix const &_matrix,
        Vector const &_rhs, Vector &_x, EnergyNorm<Matrix, Vector> _norm,
        Dune::ParameterTree const &_localParset) {
      LinearFactory factory(parset.sub("solver.tnnmg"), // FIXME
                            refinements, *grid, _dirichletNodes);
      typename LinearFactory::ConvexProblem convexProblem(
          1.0, _matrix, zeroNonlinearity, _rhs, _x);
      typename LinearFactory::BlockProblem problem(parset, convexProblem);

      auto multigridStep = factory.getSolver();
      multigridStep->setProblem(_x, problem);
      LoopSolver<Vector> solver(
          multigridStep, _localParset.get<size_t>("maximumIterations"),
          _localParset.get<double>("tolerance"), &_norm,
          _localParset.get<Solver::VerbosityMode>("verbosity"),
          false); // absolute error
      solver.preprocess();
      solver.solve();
    };

    // Solve the stationary problem
    Vector u_initial(fineVertexCount);
    u_initial = 0.0;
    solveLinearProblem(dirichletNodes, A, ell, u_initial, ANorm,
                       parset.sub("u0.solver"));
    Vector v_initial(fineVertexCount);
Elias Pipping's avatar
Elias Pipping committed
    v_initial = 0.0;
    {
      // Prescribe a homogeneous velocity field in the x-direction
      // This way, the initial condition for v and the Dirichlet
      // condition match up at t=0
      double v_initial_const;
      velocityDirichletFunction.evaluate(0.0, v_initial_const);
Elias Pipping's avatar
Elias Pipping committed
      for (auto &x : v_initial)
        x[0] = v_initial_const;
    Vector a_initial(fineVertexCount);
Elias Pipping's avatar
Elias Pipping committed
    a_initial = 0.0;
Elias Pipping's avatar
Elias Pipping committed
      // We solve Ma = ell - [Au + Cv + Psi(v)]
      Vector accelerationRHS(fineVertexCount);
        accelerationRHS = 0.0;
        Arithmetic::addProduct(accelerationRHS, A, u_initial);
        Arithmetic::addProduct(accelerationRHS, C, v_initial);
        // NOTE: We assume differentiability of Psi at v0 here!
        myGlobalNonlinearity->addGradient(v_initial, accelerationRHS);
        accelerationRHS *= -1.0;
Elias Pipping's avatar
Elias Pipping committed
        accelerationRHS += ell;
      solveLinearProblem(noNodes, M, accelerationRHS, a_initial, MNorm,
                         parset.sub("a0.solver"));
    FrictionWriter<Dune::BitSetVector<1>> writer(frictionData, frictionalNodes);
    writer.writeInfo(alpha_initial, u_initial, v_initial);
    MyVTKWriter<typename MyAssembler::VertexBasis,
                typename MyAssembler::CellBasis>
    vtkWriter(myAssembler.cellBasis, myAssembler.vertexBasis, "obs");

    // Set up TNNMG solver
    using NonlinearFactory =
        SolverFactory<dims, MyBlockProblem<ConvexProblem<
                                GlobalNonlinearity<Matrix, Vector>, Matrix>>,
                      Grid>;
    NonlinearFactory factory(parset.sub("solver.tnnmg"), refinements, *grid,
                             dirichletNodes);
    auto multigridStep = factory.getSolver();
      Vector vertexCoordinates(fineVertexCount);
      {
        Dune::MultipleCodimMultipleGeomTypeMapper<
            GridView, Dune::MCMGVertexLayout> const vertexMapper(leafView);
        for (auto it = leafView.begin<dims>(); it != leafView.end<dims>();
             ++it) {
          auto const geometry = it->geometry();
          assert(geometry.corners() == 1);
          vertexCoordinates[vertexMapper.map(*it)] = geometry.corner(0);
        }
      }
      std::fstream vertexCoordinateWriter("coordinates", std::fstream::out);
      for (size_t i = 0; i < fineVertexCount; ++i)
        if (frictionalNodes[i][0])
          vertexCoordinateWriter << vertexCoordinates[i] << std::endl;
      vertexCoordinateWriter.close();
    std::fstream iterationWriter("iterations", std::fstream::out),
        relaxationWriter("relaxation", std::fstream::out);
    auto timeSteppingScheme =
        initTimeStepper(parset.get<Config::scheme>("timeSteps.scheme"),
                        velocityDirichletFunction, dirichletNodes, M, A, C,
                        u_initial, v_initial, a_initial);
    auto stateUpdater = initStateUpdater<ScalarVector, Vector>(
Elias Pipping's avatar
Elias Pipping committed
        parset.get<Config::stateModel>("boundary.friction.stateModel"),
Elias Pipping's avatar
Elias Pipping committed
        alpha_initial, frictionalNodes, frictionData);
    Vector v = v_initial;
    ScalarVector alpha(fineVertexCount);

    auto const timesteps = parset.get<size_t>("timeSteps.number"),
               maximumStateFPI = parset.get<size_t>("v.fpi.maximumIterations"),
               maximumIterations =
                   parset.get<size_t>("v.solver.maximumIterations");
    auto const tau = parset.get<double>("problem.finalTime") / timesteps,
               tolerance = parset.get<double>("v.solver.tolerance"),
               fixedPointTolerance = parset.get<double>("v.fpi.tolerance"),
               relaxation = parset.get<double>("v.fpi.relaxation"),
               requiredReduction =
                   parset.get<double>("v.fpi.requiredReduction");
    auto const printProgress = parset.get<bool>("io.printProgress");
    auto const verbosity =
        parset.get<Solver::VerbosityMode>("v.solver.verbosity");
    for (size_t run = 1; run <= timesteps; ++run) {
      if (printProgress)
Elias Pipping's avatar
Elias Pipping committed
        std::cout << boost::format("%7d ") % run << " " << std::flush;
      stateUpdater->nextTimeStep();
      timeSteppingScheme->nextTimeStep();

      auto const relativeTime = double(run) / double(timesteps);
      computeExternalForces(relativeTime, ell);
      Matrix velocityMatrix;
      Vector velocityRHS(fineVertexCount);
      Vector velocityIterate(fineVertexCount);

      stateUpdater->setup(tau);
      timeSteppingScheme->setup(ell, tau, relativeTime, velocityRHS,
                                velocityIterate, velocityMatrix);
      LoopSolver<Vector> velocityProblemSolver(multigridStep, maximumIterations,
                                               tolerance, &AMNorm, verbosity,
                                               false); // absolute error
Elias Pipping's avatar
Elias Pipping committed
      size_t iterationCounter;
      auto solveVelocityProblem = [&](Vector &_velocityIterate,
                                      ScalarVector const &_alpha) {
        myGlobalNonlinearity->updateLogState(_alpha);
        // NIT: Do we really need to pass u here?
        typename NonlinearFactory::ConvexProblem const convexProblem(
            1.0, velocityMatrix, *myGlobalNonlinearity, velocityRHS,
            _velocityIterate);
        typename NonlinearFactory::BlockProblem velocityProblem(parset,
                                                                convexProblem);
        multigridStep->setProblem(_velocityIterate, velocityProblem);
Elias Pipping's avatar
Elias Pipping committed
        velocityProblemSolver.preprocess();
        velocityProblemSolver.solve();
        iterationCounter = velocityProblemSolver.getResult().iterations;
      };

      // Since the velocity explodes in the quasistatic case, use the
      // displacement as a convergence criterion
Elias Pipping's avatar
Elias Pipping committed
      // Q: is this reasonable?
      Vector u;
      Vector u_saved;
      ScalarVector alpha_saved;
      double lastStateCorrection;
      for (size_t stateFPI = 1; stateFPI <= maximumStateFPI; ++stateFPI) {
Elias Pipping's avatar
Elias Pipping committed
        stateUpdater->solve(v);
        stateUpdater->extractLogState(alpha);
        if (stateFPI == 1)
          relaxationWriter << "N ";
        else {
          double const stateCorrection =
              stateEnergyNorm.diff(alpha, alpha_saved);
          if (stateFPI <= 2 // lastStateCorrection is only set for stateFPI > 2
              or stateCorrection < requiredReduction * lastStateCorrection)
            relaxationWriter << "N ";
          else {
            alpha *= (1.0 - relaxation);
            Arithmetic::addProduct(alpha, relaxation, alpha_saved);
            relaxationWriter << "Y ";
          lastStateCorrection = stateCorrection;
Elias Pipping's avatar
Elias Pipping committed
        }
        solveVelocityProblem(velocityIterate, alpha);
        timeSteppingScheme->postProcess(velocityIterate);
        timeSteppingScheme->extractDisplacement(u);
Elias Pipping's avatar
Elias Pipping committed
        timeSteppingScheme->extractVelocity(v);
        iterationWriter << iterationCounter << " ";
Elias Pipping's avatar
Elias Pipping committed
        if (printProgress)
Elias Pipping's avatar
Elias Pipping committed
          std::cout << '.' << std::flush;
Elias Pipping's avatar
Elias Pipping committed

        if (stateFPI > 1) {
          double const velocityCorrection = AMNorm.diff(u_saved, u);
          if (velocityCorrection < fixedPointTolerance)
Elias Pipping's avatar
Elias Pipping committed
            break;
        }
        if (stateFPI == maximumStateFPI)
          DUNE_THROW(Dune::Exception, "FPI failed to converge");
Elias Pipping's avatar
Elias Pipping committed

        alpha_saved = alpha;
Elias Pipping's avatar
Elias Pipping committed
        u_saved = u;
      if (printProgress)
        std::cout << std::endl;
      writer.writeInfo(alpha, u, v);
      iterationWriter << std::endl;
      relaxationWriter << std::endl;
      if (parset.get<bool>("io.writeVTK")) {
        ScalarVector stress;
        myAssembler.assembleVonMisesStress(youngModulus, poissonRatio, u,
                                           stress);
        vtkWriter.write(u, v, alpha, stress);
Elias Pipping's avatar
Elias Pipping committed
      }
    iterationWriter.close();
    relaxationWriter.close();

    Python::stop();
  }
  catch (Dune::Exception &e) {
    Dune::derr << "Dune reported error: " << e << std::endl;
  }
  catch (std::exception &e) {
    std::cerr << "Standard exception: " << e.what() << std::endl;
  }
}