MathSciDoc: An Archive for Mathematician ∫

Wormhole propagation, arising in petroleum engineering, is used to describe the distribution of acid and the increase of porosity in carbonate reservoir under dissolution of injected acid. The important physical features of porosity and acid concentration include their boundedness between $0$ and $1$, as well as the monotone increasing for porosity. How to keep these properties in the simulation is crucial to the robustness of the numerical algorithm. In this paper, we propose high-order bound-preserving discontinuous Galerkin methods to keep these important physical properties. The main technique is to introduce a new variable $r$ to replace the original acid concentration and use a consistent flux pair to deduce a ghost equation such that the positive-preserving technique can be applied on both original and deduced equations. A high-order slope limiter is used to keep a polynomial upper bound which changes over time for $r$. Moreover, the high-order accuracy is attained by the flux limiter. Numerical examples are given to demonstrate the high-order accuracy and bound-preserving property of the numerical technique.

In this paper, we develop bound-preserving discontinuous Galerkin (DG) methods for the coupled system of compressible miscible displacement problems. We consider the problem with two components and the (volumetric) concentration of the $i$th component of the fluid mixture, $c_i$, should be between $0$ and $1$. However, $c_i$ does not satisfy the maximum principle. Therefore, the numerical techniques introduced in (X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), 3091-3120) cannot be applied directly. The main idea is to apply the positivity-preserving techniques to both $c_1$ and $c_2$, respectively and enforce $c_1+c_2=1$ simultaneously to obtain physically relevant approximations. By doing so, we have to treat the time derivative of the pressure $dp/dt$ as a source in the concentration equation. Moreover, $c_i's$ are not the conservative variables, as a result, the classical bound-preserving limiter in (X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), 3091-3120) cannot be applied. Therefore, another limiter will be introduced. Numerical experiments will be given to demonstrate the accuracy in $L^\infty$-norm and good performance of the numerical technique.

In this paper, we apply local discontinuous Galerkin methods to the compressible wormhole propagation. Optimal error estimates for the pressure, velocity, porosity and concentration in different norms are established on non-uniform grids. Numerical experiments are presented to verify the theoretical analysis and show the good performance of the LDG scheme for compressible wormhole propagation.

In [H. Guo, Q. Zhang, J. Wang, Applied Mathematics and Computation, 259 (2015), 88-105], a nonconservative local discontinuous Galerkin (LDG) method for both flow and transport equations was introduced for the one-dimensional coupled system of compressible miscible displacement problem. In this paper, we will continue our effort and develop a conservative LDG method for the problem in two space dimensions. Optimal error estimates in $L^{\infty}(0, T; L^{2})$ norm for not only the solution itself but also the auxiliary variables will be derived. The main difficulty is how to treat the inter-element discontinuities of two independent solution variables (one from the flow equation and the other from the transport equation) at cell interfaces. Numerical experiments will be given to confirm the accuracy and efficiency of the scheme.

In this paper, we apply the local discontinuous Galerkin (LDG) method to solve the classical Keller-Segel (KS) chemotaxis model. The exact solution of the KS chemotaxis model may exhibit blow-up patterns with certain initial conditions, and is not easy to approximate numerically. Moreover, it has been proved that there exists a definition of free energy of the KS system which dissipates with respect to time. We will construct a consistent numerical energy and prove the energy dissipation with the LDG discretization. Several numerical experiments in one and two space dimensions will be given. Especially, for solutions with blow-up (converge to Dirac delta functions), the densities of KS model are computed to be strictly positive in the numerical experiments and the energies are also numerically observed to be strictly positive and decreasing as are seen in the figures. Therefore, the scheme is stable for the KS model with blow-up solutions.

Let $\Omega\subset\mathbb R^d$, $1\leq d\leq 3$, be a bounded $d$-polytope. Consider the parabolic equation on $\Omega$ with the Dirac delta function on the right hand side. We study the well-posedness, regularity, and the interior error estimate of semidiscrete finite element approximations of the equation. In particular, we derive that the interior error is bounded by the best local approximation error, the negative norms of the error, and the negative norms of the time derivative of the error. This result implies different convergence rates for the numerical solution in different interior regions, especially when the region is close to the singular point. Numerical test results are reported to support the theoretical prediction.

In this paper, we consider the discontinuous Galerkin (DG) methods to solve linear hyperbolic equations with singular initial data. With the help of weight functions, the superconvergence properties outside the pollution region will be investigated. We show that, by using piecewise polynomials of degree $k$ and suitable initial discretizations, the DG solution is $(2k+1)$-th order accurate at the downwind points and $(k+2)$-th order accurate at all the other downwind-biased Radau points. Moreover, the derivative of error between the DG and exact solutions converges at a rate of $k+1$ at all the interior upwind-biased Radau points. Besides the above, the DG solution is also $(k+2)$-th order accurate towards a particular projection of the exact solution and the numerical cell averages are $(2k+1)$-th order accurate. Numerical experiments are presented to confirm the theoretical results.

In this paper, we develop local discontinuous Galerkin method for the two-dimensional coupled system of incompressible miscible displacement problem. Optimal error estimates in $L^{\infty}(0, T; L^{2})$ for concentration $c$, $L^{2}(0, T; L^{2})$ for $\nabla c$ and $L^{\infty}(0, T; L^{2})$ for velocity ${\bf u}$ are derived. The main techniques in the analysis include the treatment of the inter-element jump terms which arise from the discontinuous nature of the numerical method, the nonlinearity, and the coupling of the models. The main difficulty is how to treat the inter-element discontinuities of two independent solution variables (one from the flow equation and the other from the transport equation) at cell interfaces. Numerical experiments are shown to demonstrate the theoretical results.

Local discontinuous Galerkin (LDG) methods are popular for convection-diffusion equations. In LDG methods, we introduce an auxiliary variable $p$ to represent the derivative of the primary variable $u$, and solve them on the same mesh. In this paper, we will introduce a new LDG method, and solve $u$ and $p$ on different meshes. The stability and error estimates will be investigated. The new algorithm is more flexible and flux-free for pure diffusion equations without introducing additional computational cost compared with the original LDG methods, since it is not necessary to solve each equation twice. Moreover, it is possible to construct third-order maximum-principle-preserving schemes based on the new algorithm. However, one cannot anticipate optimal accuracy in some special cases. In this paper, we will find out the reason for accuracy degeneration which further leads to several alternatives to obtain optimal convergence rates. Finally, several numerical experiments will be given to demonstrate the stability and optimal accuracy of the new algorithm.

The discrete fracture model (DFM) has been widely used in the simulation of fluid flow in fractured porous media. Traditional DFM uses the so-called hybrid-dimensional approach to treat fractures explicitly as low-dimensional entries (e.g. line entries in 2D media and face entries in 3D media) on the interfaces of matrix cells and then couple the matrix and fracture flow systems together based on the principle of superposition with the fracture thickness used as the dimensional homogeneity factor. Because of this methodology, DFM is considered to be limited on conforming meshes and thus may raise difficulties in generating high quality unstructured meshes due to the complexity of fracture's geometrical morphology. In this paper, we clarify that the DFM actually can be extended to non-conforming meshes without any essential changes. To show it clearly, we provide another perspective for DFM based on hybrid-dimensional representation of permeability tensor to describe fractures as one-dimensional line Dirac delta functions contained in permeability tensor. A finite element DFM scheme for single-phase flow on non-conforming meshes is then derived by applying Galerkin finite element method to it. Analytical analysis and numerical experiments show that our DFM automatically degenerates to the classical finite element DFM when the mesh is conforming with fractures. Moreover, the accuracy and efficiency of the model on non-conforming meshes are demonstrated by testing several benchmark problems. This model is also applicable to curved fracture with variable thickness.