-
Rigorous derivation of an effective model for coupled Stokes advection, reaction and diffusion with freely evolving microstructure
Authors:
Markus Gahn,
Malte A. Peter,
Iuliu Sorin Pop,
David Wiedemann
Abstract:
We consider the homogenisation of a coupled Stokes flow and advection-reaction-diffusion problem in a perforated domain with an evolving microstructure of size $\varepsilon$. Reactions at the boundaries of the microscopic interfaces lead to the formation of a solid layer having a variable, a priori unknown thickness. This results in a growth or shrinkage of the solid phase and, thus, the domain ev…
▽ More
We consider the homogenisation of a coupled Stokes flow and advection-reaction-diffusion problem in a perforated domain with an evolving microstructure of size $\varepsilon$. Reactions at the boundaries of the microscopic interfaces lead to the formation of a solid layer having a variable, a priori unknown thickness. This results in a growth or shrinkage of the solid phase and, thus, the domain evolution is not known a priori but induced by the advection-reaction-diffusion process. The achievements of this work are the existence and uniqueness of a weak microscopic solution and the rigorous derivation of an effective model for $\varepsilon \to 0$, based on $\varepsilon$-uniform a priori estimates. As a result of the limit passage, the processes on the macroscale are described by an advection-reaction-diffusion problem coupled to Darcy's equation with effective coefficients (porosity, diffusivity and permeability) depending on local cell problems. These local problems are formulated on cells, which depend on the macroscopic position and evolve in time. In particular, the evolution of these cells depends on the macroscopic concentration. Thus, the cell problems (respectively the effective coefficients) are coupled to the macroscopic unknowns and vice versa, leading to a strongly coupled micro-macro model. For pure reactive-diffusive transport coupled with microscopic domain evolution but without advective transport, homogenisation results have recently been presented. We extend these models by advective transport which is driven by the Stokes equation in the a priori unknown evolving pore domain.
△ Less
Submitted 3 April, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Robust time-discretisation and linearisation schemes for singular and degenerate evolution systems modelling biofilm growth
Authors:
R. K. H. Smeets,
K. Mitra,
I. S. Pop,
S. Sonner
Abstract:
We propose and analyse numerical schemes for a system of quasilinear, degenerate evolution equations modelling biofilm growth as well as other processes such as flow through porous media and the spreading of wildfires. The first equation in the system is parabolic and exhibits degenerate and singular diffusion, while the second is either uniformly parabolic or an ordinary differential equation. Fi…
▽ More
We propose and analyse numerical schemes for a system of quasilinear, degenerate evolution equations modelling biofilm growth as well as other processes such as flow through porous media and the spreading of wildfires. The first equation in the system is parabolic and exhibits degenerate and singular diffusion, while the second is either uniformly parabolic or an ordinary differential equation. First, we introduce a semi-implicit time discretisation that has the benefit of decoupling the equations. We prove the positivity, boundedness, and convergence of the time-discrete solutions to the time-continuous solution. Then, we introduce an iterative linearisation scheme to solve the resulting nonlinear time-discrete problems. Under weak assumptions on the time-step size, we prove that the scheme converges irrespective of the space discretisation and mesh. Moreover, if the problem is non-degenerate, the convergence becomes faster as the time-step size decreases. Finally, employing the finite element method for the spatial discretisation, we study the behaviour of the scheme, and compare its performance to other commonly used schemes. These tests confirm that the proposed scheme is robust and fast.
△ Less
Submitted 4 April, 2024; v1 submitted 30 March, 2024;
originally announced April 2024.
-
Shape dimension of maps
Authors:
Pavel S. Gevorgyan,
I. Pop
Abstract:
In this paper we define a numerical shape invariant of a continuous map called shape dimension of a map, which generalizes the shape dimension of a topological space. Some basic properties and applications of this invariant are given. The question of raising the shape dimension by shape finite-dimensional maps is solved. An example of a shape finite-dimensional surjective map between shape infinit…
▽ More
In this paper we define a numerical shape invariant of a continuous map called shape dimension of a map, which generalizes the shape dimension of a topological space. Some basic properties and applications of this invariant are given. The question of raising the shape dimension by shape finite-dimensional maps is solved. An example of a shape finite-dimensional surjective map between shape infinite-dimensional spaces is given.
△ Less
Submitted 26 August, 2023;
originally announced August 2023.
-
Uniformly Movable Categories And Uniform Movability Of Topological Spaces
Authors:
Pavel S. Gevorgyan,
I. Pop
Abstract:
A categorical generalization of the notion of movability from the inverse systems and shape theory was given by the first author who defined the notion of movable category and interpreted by this the movability of topological spaces. In this paper the authors define the notion of uniformly movable category and prove that a topological space is uniformly movable in the sense of the shape theory if…
▽ More
A categorical generalization of the notion of movability from the inverse systems and shape theory was given by the first author who defined the notion of movable category and interpreted by this the movability of topological spaces. In this paper the authors define the notion of uniformly movable category and prove that a topological space is uniformly movable in the sense of the shape theory if and only if its comma category in the homotopy category HTop over the subcategory HPol of polyhedra is a uniformly movable category. This is a weakened version of the categorical notion of uniform movability introduced by the second author.
△ Less
Submitted 8 August, 2023;
originally announced August 2023.
-
Homogenization of a mineral dissolution and precipitation model involving free boundaries at the micro scale
Authors:
Markus Gahn,
Iuliu Sorin Pop
Abstract:
In this work we present the homogenization of a reaction-diffusion model that includes an evolving microstructure. Such type of problems model, for example, mineral dissolution and precipitation in a porous medium. Hence, we are dealing with a multi-scale problem with free boundaries on the pore scale. In the initial state the microscopic geometry is given by a periodically perforated domain, incl…
▽ More
In this work we present the homogenization of a reaction-diffusion model that includes an evolving microstructure. Such type of problems model, for example, mineral dissolution and precipitation in a porous medium. Hence, we are dealing with a multi-scale problem with free boundaries on the pore scale. In the initial state the microscopic geometry is given by a periodically perforated domain, including spherical solid grains. The radius of each grain is of order $ε$ and depends on the unknown (the solute concentration) at its surface. Therefore the radii of the grains change in time, leading to a nonlinear, free boundary problem. In a first step, we transform the evolving micro domain to a fixed, periodically domain. Using the Rothe-method we prove the existence of a weak solution and obtain a priori estimates that are uniform with respect to $ε$. Finally, letting $ε\to 0$, we derive a macroscopic model, the solution of which approximates the micro-scale solution. For this, we use the method of two-scale convergence, and obtain strong compactness results enabling to pass to the limit in the nonlinear terms.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Space-time upscaling of reactive transport in porous media
Authors:
Nicolae Suciu,
Florin A. Radu,
Iuliu S. Pop
Abstract:
Reactive transport in saturated/unsaturated porous media is numerically upscaled to the space-time scale of a hypothetical measurement through coarse-grained space-time (CGST) averages. The reactive transport is modeled at the fine-grained Darcy scale by the actual number of molecules involved in reactions which undergo advective and diffusive movements described by global random walk (GRW) simula…
▽ More
Reactive transport in saturated/unsaturated porous media is numerically upscaled to the space-time scale of a hypothetical measurement through coarse-grained space-time (CGST) averages. The reactive transport is modeled at the fine-grained Darcy scale by the actual number of molecules involved in reactions which undergo advective and diffusive movements described by global random walk (GRW) simulations. The CGST averages verify identities similar to a local balance equation which allow us to derive expressions for the flow velocity and the intrinsic diffusion coefficient in terms of averaged microscopic quantities. The latter are further used to verify the CGST-GRW numerical approach. The upscaling approach is applied to biodegradation processes in saturated aquifers and variably saturated soils and the CGST averages are compared to classical volume averages. One finds that if the process is characterized by slow variations in time, as in homogeneous reaction systems, the differences between the two averages are negligible. Instead, the differences are significant and can be extremely large in simulations of time-dependent biodegradation processes in both soils and saturated aquifers.
△ Less
Submitted 28 March, 2023; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Upscaling of a Cahn-Hilliard Navier-Stokes Model with Precipitation and Dissolution in a Thin Strip
Authors:
Lars von Wolff,
Iuliu Sorin Pop
Abstract:
We consider a phase-field model for the incompressible flow of two immiscible fluids. This model extends widespread models for two fluid phases by including a third, solid phase, which can evolve due to e.g. precipitation and dissolution. We consider a simple, two-dimensional geometry of a thin strip, which can still be seen as the representation of a single pore throat in a porous medium. Under m…
▽ More
We consider a phase-field model for the incompressible flow of two immiscible fluids. This model extends widespread models for two fluid phases by including a third, solid phase, which can evolve due to e.g. precipitation and dissolution. We consider a simple, two-dimensional geometry of a thin strip, which can still be seen as the representation of a single pore throat in a porous medium. Under moderate assumptions on the Peclet number and the capillary number, we investigate the limit case when the ratio between the width and the length of the strip is going to zero. In this way and employing transversal averaging, we derive an upscaled model. The result is a multi-scale model consisting of the upscaled equations for the total flux and the ion transport, while the phase-field equation has to be solved in cell-problems at the pore scale to determine the position of interfaces. We also investigate the sharp-interface limit of the multi-scale model, in which the phase-field parameter approaches 0. The resulting sharp-interface model consists only of Darcy-scale equations, as the cell-problems can be solved explicitly. Notably we find asymptotic consistency, that is the upscaling process and the sharp-interface limit commute. We use numerical results to investigate the validity of the upscaling when discontinuities are formed in the upscaled model.
△ Less
Submitted 29 June, 2021; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Efficient Solvers for Nonstandard Models for Flow and Transport in Unsaturated Porous Media
Authors:
Davide Illiano,
Jakub Wiktor Both,
Iuliu Sorin Pop,
Florin Adrian Radu
Abstract:
We study several iterative methods for fully coupled flow and reactive transport in porous media. The resulting mathematical model is a coupled, nonlinear evolution system. The flow model component builds on the Richards equation, modified to incorporate nonstandard effects like dynamic capillarity and hysteresis, and a reactive transport equation for the solute. The two model components are stron…
▽ More
We study several iterative methods for fully coupled flow and reactive transport in porous media. The resulting mathematical model is a coupled, nonlinear evolution system. The flow model component builds on the Richards equation, modified to incorporate nonstandard effects like dynamic capillarity and hysteresis, and a reactive transport equation for the solute. The two model components are strongly coupled. On one hand, the flow affects the concentration of the solute; on the other hand, the surface tension is a function of the solute, which impacts the capillary pressure and, consequently, the flow. After applying an Euler implicit scheme, we consider a set of iterative linearization schemes to solve the resulting nonlinear equations, including both monolithic and two splitting strategies. The latter include a canonical nonlinear splitting and an alternate linearized splitting, which appears to be overall faster in terms of numbers of iterations, based on our numerical studies. The (time discrete) system being nonlinear, we investigate different linearization methods. We consider the linearly convergent L-scheme, which converges unconditionally, and the Newton method, converging quadratically but subject to restrictions on the initial guess. Whenever hysteresis effects are included, the Newton method fails to converge. The L-scheme converges; nevertheless, it may require many iterations. This aspect is improved by using the Anderson acceleration. A thorough comparison of the different solving strategies is presented in five numerical examples, implemented in MRST, a toolbox based on MATLAB.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Homogenization of a reaction-diffusion-advection problem in an evolving micro-domain and including nonlinear boundary conditions
Authors:
Markus Gahn,
Maria Neuss-Radu,
Iulio Sorin Pop
Abstract:
We consider a reaction-diffusion-advection problem in a perforated medium, with nonlinear reactions in the bulk and at the microscopic boundary, and low diffusion scaling. The microstructure changes in time; the microstructural evolution is known a priori. The aim of the paper is the rigorous derivation of a homogenized model. We use appropriately scaled function spaces, which allow us to show com…
▽ More
We consider a reaction-diffusion-advection problem in a perforated medium, with nonlinear reactions in the bulk and at the microscopic boundary, and low diffusion scaling. The microstructure changes in time; the microstructural evolution is known a priori. The aim of the paper is the rigorous derivation of a homogenized model. We use appropriately scaled function spaces, which allow us to show compactness results, especially regarding the time-derivative and we prove strong two-scale compactness results of Kolmogorov-Simon-type, which allow to pass to the limit in the nonlinear terms. The derived macroscopic model depends on the micro- and the macro-variable, and the evolution of the underlying microstructure is approximated by time- and space-dependent reference elements.
△ Less
Submitted 1 December, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
An adaptive multi-scale iterative scheme for a phase-field model for precipitation and dissolution in porous media
Authors:
Manuela Bastidas,
Carina Bringedal,
Iuliu Sorin Pop
Abstract:
Mineral precipitation and dissolution processes in a porous medium can alter the structure of the medium at the scale of pores. Such changes make numerical simulations a challenging task as the geometry of the pores changes in time in an apriori unknown manner. To deal with such aspects, we here adopt a two-scale phase-field model, and propose a robust scheme for the numerical approximation of the…
▽ More
Mineral precipitation and dissolution processes in a porous medium can alter the structure of the medium at the scale of pores. Such changes make numerical simulations a challenging task as the geometry of the pores changes in time in an apriori unknown manner. To deal with such aspects, we here adopt a two-scale phase-field model, and propose a robust scheme for the numerical approximation of the solution. The scheme takes into account both the scale separation in the model, as well as the non-linear character of the model. After proving the convergence of the scheme, an adaptive two-scale strategy is incorporated, which improves the efficiency of the simulations. Numerical tests are presented, showing the efficiency and accuracy of the scheme in the presence of anisotropies and heterogeneities.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
Dynamic and weighted stabilizations of the $L$-scheme applied to a phase-field model for fracture propagation
Authors:
Christian Engwer,
Iuliu Sorin Pop,
Thomas Wick
Abstract:
We consider a phase-field fracture propagation model, which consists of two (nonlinear) coupled partial differential equations. The first equation describes the displacement evolution, and the second is a smoothed indicator variable, describing the crack position. We propose an iterative scheme, the so-called $L$-scheme, with a dynamic update of the stabilization parameters during the iterations.…
▽ More
We consider a phase-field fracture propagation model, which consists of two (nonlinear) coupled partial differential equations. The first equation describes the displacement evolution, and the second is a smoothed indicator variable, describing the crack position. We propose an iterative scheme, the so-called $L$-scheme, with a dynamic update of the stabilization parameters during the iterations. Our algorithmic improvements are substantiated with two numerical tests. The dynamic adjustments of the stabilization parameters lead to a significant reduction of iteration numbers in comparison to constant stabilization values.
△ Less
Submitted 15 December, 2019;
originally announced December 2019.
-
An efficient numerical scheme for fully coupled flow and reactive transport in variably saturated porous media including dynamic capillary effects
Authors:
Davide Illiano,
Iuliu Sorin Pop,
Florin Adrian Radu
Abstract:
In this paper, we study a model for the transport of an external component, e.g., a surfactant, in variably saturated porous media. We discretize the model in time and space by combining a backward Euler method with the linear Galerkin finite elements. The Newton method and the L-Scheme are employed for the linearization and the performance of these schemes is studied numerically. A special focus…
▽ More
In this paper, we study a model for the transport of an external component, e.g., a surfactant, in variably saturated porous media. We discretize the model in time and space by combining a backward Euler method with the linear Galerkin finite elements. The Newton method and the L-Scheme are employed for the linearization and the performance of these schemes is studied numerically. A special focus is set on the effects of dynamic capillarity on the transport equation.
△ Less
Submitted 22 December, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Global existence of a weak solution to unsaturated poroelasticity
Authors:
Jakub Wiktor Both,
Iuliu Sorin Pop,
Ivan Yotov
Abstract:
In this paper, we consider unsaturated poroelasticity, i.e., coupled hydro-mechanical processes in unsaturated porous media, modeled by a non-linear extension of Biot's quasi-static consolidation model. The coupled, elliptic-parabolic system of partial differential equations is a simplified version of the general model for multi-phase flow in deformable porous media obtained under similar assumpti…
▽ More
In this paper, we consider unsaturated poroelasticity, i.e., coupled hydro-mechanical processes in unsaturated porous media, modeled by a non-linear extension of Biot's quasi-static consolidation model. The coupled, elliptic-parabolic system of partial differential equations is a simplified version of the general model for multi-phase flow in deformable porous media obtained under similar assumptions as usually considered for Richards' equation. In this work, the existence of a weak solution is established using regularization techniques, the Galerkin method, and compactness arguments. The final result holds under non-degeneracy conditions and natural continuity properties for the non-linearities. The assumptions are demonstrated to be reasonable in view of geotechnical applications.
△ Less
Submitted 14 September, 2019;
originally announced September 2019.
-
Fronts in two-phase porous flow problems: effects of hysteresis and dynamic capillarity
Authors:
Koondanibha Mitra,
Tobias Köppl,
Cornelis Johannes van Duijn,
Iuliu Sorin Pop,
Rainer Helmig
Abstract:
In this work, we study the behaviour of saturation fronts for two phase flow through a long homogeneous porous column. In particular, the model includes hysteresis and dynamic effects in the capillary pressure and hysteresis in the permeabilities. The analysis uses travelling wave approximation. Entropy solutions are derived for Riemann problems that are arising in this context. These solutions be…
▽ More
In this work, we study the behaviour of saturation fronts for two phase flow through a long homogeneous porous column. In particular, the model includes hysteresis and dynamic effects in the capillary pressure and hysteresis in the permeabilities. The analysis uses travelling wave approximation. Entropy solutions are derived for Riemann problems that are arising in this context. These solutions belong to a much broader class compared to the standard Oleinik solutions, where hysteresis and dynamic effects are neglected. The relevant cases are examined and the corresponding solutions are categorized. They include non-monotone profiles, multiple shocks and self-developing stable saturation plateaus. Numerical results are presented that illustrate the mathematical analysis. Finally, we compare experimental results with our theoretical findings.
△ Less
Submitted 20 June, 2019; v1 submitted 16 June, 2019;
originally announced June 2019.
-
Iterative schemes for surfactant transport in porous media
Authors:
Davide Illiano,
Iuliu Sorin Pop,
Florin Adrian Radu
Abstract:
In this work we consider the transport of a surfactant in a variably saturated porous media. The water flow is modelled by the Richards equations and it is fully coupled with the transport equation for the surfactant. Three linearization techniques are discussed: the Newton method, the modified Picard and the L-scheme. Based on these, monolithic and splitting schemes are proposed and their converg…
▽ More
In this work we consider the transport of a surfactant in a variably saturated porous media. The water flow is modelled by the Richards equations and it is fully coupled with the transport equation for the surfactant. Three linearization techniques are discussed: the Newton method, the modified Picard and the L-scheme. Based on these, monolithic and splitting schemes are proposed and their convergence is analyzed. The performance of these schemes is illustrated on four numerical examples. For these examples, the number of iterations and the condition numbers of the linear systems emerging in each iteration are presented.
△ Less
Submitted 22 December, 2020; v1 submitted 1 June, 2019;
originally announced June 2019.
-
Upscaling of unsaturated flow in fractured porous media
Authors:
Florian List,
Kundan Kumar,
Iuliu Sorin Pop,
Florin A. Radu
Abstract:
In this work, we consider a mathematical model for flow in a unsaturated porous medium containing a fracture. In all subdomains (the fracture and the adjacent matrix blocks) the flow is governed by Richards' equation. The submodels are coupled by physical transmission conditions expressing the continuity of the normal fluxes and of the pressures. We start by analyzing the case of a fracture having…
▽ More
In this work, we consider a mathematical model for flow in a unsaturated porous medium containing a fracture. In all subdomains (the fracture and the adjacent matrix blocks) the flow is governed by Richards' equation. The submodels are coupled by physical transmission conditions expressing the continuity of the normal fluxes and of the pressures. We start by analyzing the case of a fracture having a fixed width-length ratio, called $\varepsilon > 0$. Then we take the limit $\varepsilon \to 0$ and give a rigorous proof for the convergence towards effective models. This is done in different regimes, depending on how the ratio of porosities and permeabilities in the fracture, respectively matrix scale with respect to $\varepsilon$, and leads to a variety of effective models. Numerical simulations confirm the theoretical upscaling results.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Linear iterative schemes for doubly degenerate parabolic equations
Authors:
Jakub W. Both,
Kundan Kumar,
Jan M. Nordbotten,
Iuliu Sorin Pop,
Florin A. Radu
Abstract:
Mathematical models for flow and reactive transport in porous media often involve non-linear, degenerate parabolic equations. Their solutions have low regularity, and therefore lower order schemes are used for the numerical approximation. Here the backward Euler method is combined with a mixed finite element method scheme, which results in a stable and locally mass-conservative scheme. At the same…
▽ More
Mathematical models for flow and reactive transport in porous media often involve non-linear, degenerate parabolic equations. Their solutions have low regularity, and therefore lower order schemes are used for the numerical approximation. Here the backward Euler method is combined with a mixed finite element method scheme, which results in a stable and locally mass-conservative scheme. At the same time, at each time step one has to solve a non-linear algebraic system, for which linear iterations are needed. Finding robust and convergent ones is particularly challenging here, since both slow and fast diffusion cases are allowed.
Commonly used schemes, like Newton and Picard iterations, are defined either for non-degenerate problems, or after regularising the problem in the case of degenerate ones. Convergence is guaranteed only if the initial guess is sufficiently close to the solution, which translates into severe restrictions on the time step. Here we discuss a linear iterative scheme which builds on the $L$-scheme, and does not employ any regularisation. We prove its rigourous convergence, which is obtained for mild restrictions on the time step. Finally, we give numerical results confirming the theoretical ones, and compare the behaviour of the scheme with other schemes.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
A linear domain decomposition method for partially saturated flow in porous media
Authors:
David Seus,
Koondanibha Mitra,
Iuliu Sorin Pop,
Florin Adrian Radu,
Christian Rohde
Abstract:
The Richards equation is a nonlinear parabolic equation that is commonly used for modelling saturated/unsaturated flow in porous media. We assume that the medium occupies a bounded Lipschitz domain partitioned into two disjoint subdomains separated by a fixed interface $Γ$. This leads to two problems defined on the subdomains which are coupled through conditions expressing flux and pressure contin…
▽ More
The Richards equation is a nonlinear parabolic equation that is commonly used for modelling saturated/unsaturated flow in porous media. We assume that the medium occupies a bounded Lipschitz domain partitioned into two disjoint subdomains separated by a fixed interface $Γ$. This leads to two problems defined on the subdomains which are coupled through conditions expressing flux and pressure continuity at $Γ$. After an Euler implicit discretisation of the resulting nonlinear subproblems a linear iterative ($L$-type) domain decomposition scheme is proposed. The convergence of the scheme is proved rigorously. In the last part we present numerical results that are in line with the theoretical finding, in particular the unconditional convergence of the scheme. We further compare the scheme to other approaches not making use of a domain decomposition. Namely, we compare to a Newton and a Picard scheme. We show that the proposed scheme is more stable than the Newton scheme while remaining comparable in computational time, even if no parallelisation is being adopted. Finally we present a parametric study that can be used to optimize the proposed scheme.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Transition from local to global of dFHE and dWCHP
Authors:
Ioan Pop
Abstract:
In a previous paper [22] the author studied the directed weak covering homotopy property (dWCHP)and directed weak fibrations in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. This type of maps extend to the category dTop the well known Dold's (or weak)fibrations [6]. In this paper the transition from local to global of the dFHE (directed fiber homotopy equivalenc…
▽ More
In a previous paper [22] the author studied the directed weak covering homotopy property (dWCHP)and directed weak fibrations in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. This type of maps extend to the category dTop the well known Dold's (or weak)fibrations [6]. In this paper the transition from local to global of the dFHE (directed fiber homotopy equivalence) and the dWCHP are studied by proving two Dold type theorems and respectively a tom Dieck-Kamps-Puppe type theorem [3]. Some new notions of directed topology are defined: d-halo, d-SEP, d-numerable covering, d-shrinkable. Some examples and counterexamples are given.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
-
Movability and co-movability of shape morphisms
Authors:
P. S. Gevorgyan,
I. Pop
Abstract:
The purpose of this paper is to define some notions of movability for morphisms of inverse systems which extend the movability properties of inverse systems and which are compatible with the equivalence relations which define pro-morphisms and shape morphisms. Some properties, examples and applications are given.
The purpose of this paper is to define some notions of movability for morphisms of inverse systems which extend the movability properties of inverse systems and which are compatible with the equivalence relations which define pro-morphisms and shape morphisms. Some properties, examples and applications are given.
△ Less
Submitted 8 June, 2016; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Directed weak fibrations
Authors:
Ioan Pop
Abstract:
In a previous paper [21] the author studied the homotopy lifting property in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. The present paper, which is a continuation of aforementioned article, introduces and studies the directed weak homotopy property (dWCHP) and directed weak fibrations, extending to the category dTop the well known Dold's (or weak) - fibration…
▽ More
In a previous paper [21] the author studied the homotopy lifting property in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. The present paper, which is a continuation of aforementioned article, introduces and studies the directed weak homotopy property (dWCHP) and directed weak fibrations, extending to the category dTop the well known Dold's (or weak) - fibrations [6]. The dWCHP is characterized in several ways. Then the notion of a directed fibre homotopy equivalence (dFHE) between directed weak fibrations is studied. Some examples and counterexamples are given.
△ Less
Submitted 13 December, 2016; v1 submitted 23 February, 2016;
originally announced February 2016.
-
A convergent mass conservative numerical scheme based on mixed finite elements for two-phase flow in porous media
Authors:
Florin Adrian Radu,
Kundan Kumar,
Jan Martin Nordbotten,
Iuliu Sorin Pop
Abstract:
In this work we present a mass conservative numerical scheme for two-phase flow in porous media. The model for flow consists on two fully coupled, non-linear equations: a degenerate parabolic equation and an elliptic equation. The proposed numerical scheme is based on backward Euler for the temporal discretization and mixed finite element method (MFEM) for the discretization in space. Continuous,…
▽ More
In this work we present a mass conservative numerical scheme for two-phase flow in porous media. The model for flow consists on two fully coupled, non-linear equations: a degenerate parabolic equation and an elliptic equation. The proposed numerical scheme is based on backward Euler for the temporal discretization and mixed finite element method (MFEM) for the discretization in space. Continuous, semi-discrete (continuous in space) and fully discrete variational formulations are set up and the existence and uniqueness of solutions is discussed. Error estimates are presented to prove the convergence of the scheme. The non-linear systems within each time step are solved by a robust linearization method. This iterative method does not involve any regularization step. The convergence of the linearization scheme is rigorously proved under the assumption of a Lipschitz continuous saturation. The case of a Hölder continuous saturation is also discussed, a rigorous convergence proof being given for Richards' equation. Numerical results are presented to sustain the theoretical findings.
△ Less
Submitted 30 April, 2017; v1 submitted 28 December, 2015;
originally announced December 2015.
-
Quantum groups: from Kulish-Reshetikhin discovery to classification
Authors:
Boris Kadets,
Eugene Karolinsky,
Iulia Pop,
Alexander Stolin
Abstract:
The aim of this paper is to provide an overview of the results about classification of quantum groups that were obtained in arXiv:1303.4046 [math.QA] and arXiv:1502.00403 [math.QA].
The aim of this paper is to provide an overview of the results about classification of quantum groups that were obtained in arXiv:1303.4046 [math.QA] and arXiv:1502.00403 [math.QA].
△ Less
Submitted 17 February, 2015;
originally announced February 2015.
-
Classification of quantum groups and Belavin--Drinfeld cohomologies for orthogonal and symplectic Lie algebras
Authors:
Boris Kadets,
Eugene Karolinsky,
Iulia Pop,
Alexander Stolin
Abstract:
In this paper we continue to study Belavin-Drinfeld cohomology introduced in arXiv:1303.4046 [math.QA] and related to the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra. Here we compute Belavin-Drinfeld cohomology for all non-skewsymmetric $r$-matrices from the Belavin-Drinfeld list for simple Lie algebras of type $B$, $C$, and $D$.
In this paper we continue to study Belavin-Drinfeld cohomology introduced in arXiv:1303.4046 [math.QA] and related to the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra. Here we compute Belavin-Drinfeld cohomology for all non-skewsymmetric $r$-matrices from the Belavin-Drinfeld list for simple Lie algebras of type $B$, $C$, and $D$.
△ Less
Submitted 20 July, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Classification of quantum groups and Lie bialgebra structures on $sl(n,\mathbb{F})$. Relations with Brauer group
Authors:
Alexander Stolin,
Iulia Pop
Abstract:
Given an arbitrary field $\mathbb{F}$ of characteristic 0, we study Lie bialgebra structures on $sl(n,\mathbb{F})$, based on the description of the corresponding classical double. For any Lie bialgebra structure $δ$, the classical double $D(sl(n,\mathbb{F}),δ)$ is isomorphic to $sl(n,\mathbb{F})\otimes_{\mathbb{F}} A$, where $A$ is either $\mathbb{F}[\varepsilon]$, with $\varepsilon^{2}=0$, or…
▽ More
Given an arbitrary field $\mathbb{F}$ of characteristic 0, we study Lie bialgebra structures on $sl(n,\mathbb{F})$, based on the description of the corresponding classical double. For any Lie bialgebra structure $δ$, the classical double $D(sl(n,\mathbb{F}),δ)$ is isomorphic to $sl(n,\mathbb{F})\otimes_{\mathbb{F}} A$, where $A$ is either $\mathbb{F}[\varepsilon]$, with $\varepsilon^{2}=0$, or $\mathbb{F}\oplus \mathbb{F}$ or a quadratic field extension of $\mathbb{F}$. In the first case, the classification leads to quasi-Frobenius Lie subalgebras of $sl(n,\mathbb{F})$. In the second and third cases, a Belavin--Drinfeld cohomology can be introduced which enables one to classify Lie bialgebras on $sl(n,\mathbb{F})$, up to gauge equivalence. The Belavin--Drinfeld untwisted and twisted cohomology sets associated to an $r$-matrix are computed. For the Cremmer--Gervais $r$-matrix in $sl(3)$, we also construct a natural map of sets between the total Belavin--Drinfeld twisted cohomology set and the Brauer group of the field $\mathbb{F}$.
△ Less
Submitted 13 February, 2014;
originally announced February 2014.
-
Homogenization of a pore scale model for precipitation and dissolution in porous media
Authors:
Kundan Kumar,
Maria Neuss-Radu,
Iuliu Sorin Pop
Abstract:
In this paper we employ homogenization techniques to provide a rigorous derivation of the Darcy scale model for precipitation and dissolution in porous media proposed in [19]. The starting point is the pore scale model in [12], which is a coupled system of evolution equations, involving a parabolic equation and an ordinary differential equation. The former models ion transport and is defined in a…
▽ More
In this paper we employ homogenization techniques to provide a rigorous derivation of the Darcy scale model for precipitation and dissolution in porous media proposed in [19]. The starting point is the pore scale model in [12], which is a coupled system of evolution equations, involving a parabolic equation and an ordinary differential equation. The former models ion transport and is defined in a periodically perforated medium. It is further coupled through the boundary conditions to the latter, defined on the boundaries of the perforations and modelling the dissolution and precipitation of the precipitate.
The main challenge is in dealing with the dissolution and precipitation rates, which involve a monotone but multi-valued mapping. Due to this, the micro-scale solution lacks regularity. With $\ep$ being the scale parameter (the ratio between the micro scale and the macro scale length), we adopt the 2-scale framework to achieve the convergence of the homogenization procedure as $\ep$ approaches zero.
△ Less
Submitted 27 January, 2014;
originally announced January 2014.
-
On classification of quantum groups and Belavin-Drinfeld twisted cohomologies
Authors:
Alexander Stolin,
Iulia Pop
Abstract:
The present article is a continuation of QA/1303.4046, where we discussed the classification of quantum groups with quasi-classical limit $\mathfrak{g}$ and introduced a theory of Belavin-Drinfeld cohomology associated to any non-skewsymmetric $r$-matrix. Depending on the form of the corresponding double, there exists a one-to-one correspondence between gauge equivalence classes of Lie bialgebra s…
▽ More
The present article is a continuation of QA/1303.4046, where we discussed the classification of quantum groups with quasi-classical limit $\mathfrak{g}$ and introduced a theory of Belavin-Drinfeld cohomology associated to any non-skewsymmetric $r$-matrix. Depending on the form of the corresponding double, there exists a one-to-one correspondence between gauge equivalence classes of Lie bialgebra structures on $\mathfrak{g}\otimes_{\mathbb{C}}\mathbb{K}$, where $\mathbb{K}=\mathbb{C}((\hbar))$, and untwisted or twisted cohomology classes. In the present paper we investigate twisted cohomologies for $sl(n)$ associated to generalized Cremmer-Gervais $r$-matrices, and twisted cohomologies for $o(n)$.
△ Less
Submitted 4 February, 2015; v1 submitted 27 September, 2013;
originally announced September 2013.
-
Classification of quantum groups and Belavin-Drinfeld cohomologies
Authors:
Boris Kadets,
Eugene Karolinsky,
Alexander Stolin,
Iulia Pop
Abstract:
In the present article we discuss the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra $\mathfrak{g}$. This problem reduces to the classification of all Lie bialgebra structures on $\mathfrak{g}(\mathbb{K})$, where $\mathbb{K}=\mathbb{C}((\hbar))$. The associated classical double is of the form $\mathfrak{g}(\mathbb{K})\otimes_{\mathbb{K}} A$, wher…
▽ More
In the present article we discuss the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra $\mathfrak{g}$. This problem reduces to the classification of all Lie bialgebra structures on $\mathfrak{g}(\mathbb{K})$, where $\mathbb{K}=\mathbb{C}((\hbar))$. The associated classical double is of the form $\mathfrak{g}(\mathbb{K})\otimes_{\mathbb{K}} A$, where $A$ is one of the following: $\mathbb{K}[ε]$, where $ε^{2}=0$, $\mathbb{K}\oplus \mathbb{K}$ or $\mathbb{K}[j]$ where $j^{2}=\hbar$. The first case relates to quasi-Frobenius Lie algebras. In the second and third cases we introduce a theory of Belavin-Drinfeld cohomology associated to any non-skewsymmetric $r$-matrix from the Belavin-Drinfeld list. We prove a one-to-one correspondence between gauge equivalence classes of Lie bialgebra structures on $\mathfrak{g}(\mathbb{K})$ and cohomology classes (in case II) and twisted cohomology classes (in case III) associated to any non-skewsymmetric $r$-matrix.
△ Less
Submitted 28 October, 2014; v1 submitted 17 March, 2013;
originally announced March 2013.
-
On the General Classification of Lie Bialgebra Structures over Polynomials
Authors:
Iulia Pop,
Julia Yermolova-Magnusson
Abstract:
The present paper is a continuation of [5], where Lie bialgebra structures on g[u] were studied. These structures fall into different classes labelled by the vertices of the extended Dynkin diagram of g. In [5] the Lie bialgebras corresponding to the maximal root were classified. In the present article, we investigate the Lie bialgebras corresponding to an arbitrary simple root.
The present paper is a continuation of [5], where Lie bialgebra structures on g[u] were studied. These structures fall into different classes labelled by the vertices of the extended Dynkin diagram of g. In [5] the Lie bialgebras corresponding to the maximal root were classified. In the present article, we investigate the Lie bialgebras corresponding to an arbitrary simple root.
△ Less
Submitted 9 April, 2010;
originally announced April 2010.
-
New $r$-Matrices for Lie Bialgebra Structures over Polynomials
Authors:
Iulia Pop,
Julia Yermolova-Magnusson
Abstract:
For a finite dimensional simple complex Lie algebra $\mathfrak{g}$, Lie bialgebra structures on $\mathfrak{g}[[u]]$ and $\mathfrak{g}[u]$ were classified by Montaner, Stolin and Zelmanov. In our paper, we provide an explicit algorithm to produce $r$-matrices which correspond to Lie bialgebra structures over polynomials.
For a finite dimensional simple complex Lie algebra $\mathfrak{g}$, Lie bialgebra structures on $\mathfrak{g}[[u]]$ and $\mathfrak{g}[u]$ were classified by Montaner, Stolin and Zelmanov. In our paper, we provide an explicit algorithm to produce $r$-matrices which correspond to Lie bialgebra structures over polynomials.
△ Less
Submitted 26 October, 2009; v1 submitted 22 October, 2009;
originally announced October 2009.
-
Classification of quasi-trigonometric solutions of the classical Yang-Baxter equation
Authors:
Iulia Pop,
Alexander Stolin
Abstract:
It was proved by Montaner and Zelmanov that up to classical twisting Lie bialgebra structures on $\mathfrak{g}[u]$ fall into four classes. Here $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. It turns out that classical twists within one of these four classes are in a one-to-one correspondence with the so-called quasi-trigonometric solutions of the classical Yang-Baxter equati…
▽ More
It was proved by Montaner and Zelmanov that up to classical twisting Lie bialgebra structures on $\mathfrak{g}[u]$ fall into four classes. Here $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. It turns out that classical twists within one of these four classes are in a one-to-one correspondence with the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. In this paper we give a complete list of the quasi-trigonometric solutions in terms of sub-diagrams of the certain Dynkin diagrams related to $\mathfrak{g}$. We also explain how to quantize the corresponding Lie bialgebra structures.
△ Less
Submitted 12 June, 2008;
originally announced June 2008.
-
On Some Lie Bialgebra Structures on Polynomial Algebras and their Quantization
Authors:
S. M. Khoroshkin,
I. I. Pop,
M. E. Samsonov,
A. A. Stolin,
V. N. Tolstoy
Abstract:
We study classical twists of Lie bialgebra structures on the polynomial current algebra $\mathfrak{g}[u]$, where $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. We focus on the structures induced by the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. It turns out that quasi-trigonometric $r$-matrices fall into classes labelled by the vertices of…
▽ More
We study classical twists of Lie bialgebra structures on the polynomial current algebra $\mathfrak{g}[u]$, where $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. We focus on the structures induced by the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. It turns out that quasi-trigonometric $r$-matrices fall into classes labelled by the vertices of the extended Dynkin diagram of $\mathfrak{g}$. We give complete classification of quasi-trigonometric $r$-matrices belonging to multiplicity free simple roots (which have coefficient 1 in the decomposition of the maximal root). We quantize solutions corresponding to the first root of $\mathfrak{sl}(n)$.
△ Less
Submitted 12 June, 2007;
originally announced June 2007.
