transport_operator_splitting.hh

Go to the documentation of this file.

/*!
 *
 * Copyright (C) 2015 Technical University of Liberec.  All rights reserved.
 * 
 * This program is free software; you can redistribute it and/or modify it under
 * the terms of the GNU General Public License version 3 as published by the
 * Free Software Foundation. (http://www.gnu.org/licenses/gpl-3.0.en.html)
 * 
 * This program 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.
 *
 * 
 * @file    transport_operator_splitting.hh
 * @brief   
 */
 
#ifndef TRANSPORT_OPERATOR_SPLITTING_HH_
#define TRANSPORT_OPERATOR_SPLITTING_HH_
 
 
#include <memory>                               // for shared_ptr
#include <vector>                               // for vector
#include "coupling/equation.hh"
#include "fields/field.hh"                      // for Field
#include "fields/field_values.hh"
#include "fields/field_set.hh"
#include "fields/field_fe.hh"
#include "fields/multi_field.hh"
#include "transport/advection_process_base.hh"
#include "input/accessors.hh"                   // for Record
#include "input/type_base.hh"                   // for Array
#include "input/type_generic.hh"                // for Instance
#include "petscvec.h"                           // for Vec
#include "tools/time_governor.hh"               // for TimeGovernor, TimeGov...
#include "tools/time_marks.hh"                  // for TimeMarks
#include "system/index_types.hh"
 
/// external types:
class Mesh;
class ReactionTerm;
class Balance;
class Distribution;
class OutputTime;
class SubstanceList;
namespace Input {
    namespace Type {
        class Abstract;
        class Record;
    }
}
 
 
 
 
 
 
/**
 * Abstract interface class for implementations of transport equation within TransportOperatorSplitting.
 */
class ConcentrationTransportBase : public EquationBase {
public:
 
    typedef std::vector<std::shared_ptr<FieldFE< 3, FieldValue<3>::Scalar>>> FieldFEScalarVec;
 
    /**
     * Constructor.
     */
    ConcentrationTransportBase(Mesh &init_mesh, const Input::Record in_rec)
    : EquationBase(init_mesh, in_rec) {};
 
 
    /// Common specification of the input record for secondary equations.
    static Input::Type::Abstract & get_input_type();
 
 
    /**
     * Set time interval which is considered as one time step by TransportOperatorSplitting.
     * In particular the velocity field dosn't change over this interval.
     *
     * Dependencies:
     *
     * velocity, porosity -> matrix, source_vector
     * matrix -> time_step
     *
     * data_read_times -> time_step (not necessary if we won't stick to jump times)
     * data -> source_vector
     * time_step -> scaling
     *
     *
     *
     */
    virtual void set_target_time(double target_time) = 0;
 
    /**
     * Use Balance object from upstream equation (e.g. in various couplings) instead of own instance.
     */
    virtual void set_balance_object(std::shared_ptr<Balance> balance) = 0;
    
    /// Computes a constraint for time step.
    virtual bool evaluate_time_constraint(double &time_constraint) = 0;
 
    /// Return substance indices used in balance.
    virtual const vector<unsigned int> &get_subst_idx() = 0;
 
    /// Compute P0 interpolation of the solution (used in reaction term).
    virtual void compute_p0_interpolation() = 0;
 
    /// Perform changes to transport solution after reaction step.
    virtual void update_after_reactions(bool solution_changed) = 0;
 
    /// Setter for output stream.
    virtual void set_output_stream(std::shared_ptr<OutputTime> stream) = 0;
 
    /// Getter for P0 interpolation by FieldFE.
    virtual FieldFEScalarVec& get_p0_interpolation() = 0;
 
    /// Return PETSc vector with solution for sbi-th substance.
    virtual Vec get_component_vec(unsigned int sbi) = 0;
 
    /// Returns number of trnasported substances.
    virtual unsigned int n_substances() = 0;
 
    /// Returns reference to the vector of substnace names.
    virtual SubstanceList &substances() = 0;
 
 
};
 
 
 
 
 
/**
 * Class with fields that are common to all transport models.
 */
class TransportEqFields : public FieldSet {
public:
 
    TransportEqFields();
    inline virtual ~TransportEqFields() {};
 
    /// Mobile porosity - usually saturated water content in the case of unsaturated flow model
    Field<3, FieldValue<3>::Scalar> porosity;
 
    /// Water content - result of unsaturated water flow model or porosity
    Field<3, FieldValue<3>::Scalar> water_content;
 
    /// Pointer to DarcyFlow field cross_section
    Field<3, FieldValue<3>::Scalar > cross_section;
 
    /// Flow flux, can be result of water flow model.
    Field<3, FieldValue<3>::VectorFixed > flow_flux;
 
    /// Concentration sources - density of substance source, only positive part is used.
    MultiField<3, FieldValue<3>::Scalar> sources_density;
    /// Concentration sources - Robin type, in_flux = sources_sigma * (sources_conc - mobile_conc)
    MultiField<3, FieldValue<3>::Scalar> sources_sigma;
    MultiField<3, FieldValue<3>::Scalar> sources_conc;
 
};
 
 
 
 
/**
 * @brief Empty transport class.
 */
class TransportNothing : public AdvectionProcessBase {
public:
    inline TransportNothing(Mesh &mesh_in)
    : AdvectionProcessBase(mesh_in, Input::Record() )
 
    {
        // make module solved for ever
        TimeGovernor::marks().new_mark_type();
        // auto eq_mark_type = TimeGovernor::marks().new_mark_type();
        time_= new TimeGovernor(TimeGovernor::inf_time, TimeGovernor::inf_time);
        time_->next_time();
    };
 
    inline virtual ~TransportNothing()
    {
        if(time_) delete time_;
    }
 
    inline virtual void output_data() override {};
 
 
};
 
 
 
/**
 * @brief Coupling of a transport model with a reaction model by operator splitting.
 *
 * Outline:
 * Transport model is any descendant of TransportBase (even TransportOperatorSplitting itself). This
 * should perform the transport possibly with diffusion and usually without coupling between substances and phases.
 *
 * Reaction is any descendant of the ReactionBase class. This represents reactions in general way of any coupling that
 * happens between substances and phases on one element or more generally on one DoF.
 */
 
class TransportOperatorSplitting : public AdvectionProcessBase {
public:
    typedef AdvectionProcessBase FactoryBaseType;
 
    /**
     * @brief Declare input record type for the equation TransportOperatorSplittiong.
     *
     * TODO: The question is if this should be a general coupling class
     * (e.g. allow coupling TranportDG with reactions even if it is not good idea for numerical reasons.)
     * To make this a coupling class we should modify all main input files for transport problems.
     */
    static const Input::Type::Record & get_input_type();
 
    /// Constructor.
    TransportOperatorSplitting(Mesh &init_mesh, const Input::Record in_rec);
    /// Destructor.
    virtual ~TransportOperatorSplitting();
 
    void initialize() override;
    void zero_time_step() override;
    void update_solution() override;
 
    void compute_until_save_time();
    void compute_internal_step();
    void output_data() override;
 
   
 
private:
    /// Registrar of class to factory
    static const int registrar;
 
    std::shared_ptr<ConcentrationTransportBase> convection;
    std::shared_ptr<ReactionTerm> reaction;
    
    double cfl_convection; ///< Time restriction due to transport
};
 
 
 
 
 
#endif // TRANSPORT_OPERATOR_SPLITTING_HH_