Nakaoka and Palu introduced the notion of extriangulated categories by extracting the similarities between exact categories and triangulated categories. In this paper, we study cotorsion pairs in a Frobenius extriangulated category $\C$. Especially, for a $2$-Calabi-Yau extriangulated category $\C$ with a cluster structure, we describe the cluster substructure in the cotorsion pairs. For rooted cluster algebras arising from $\C$ with cluster tilting objects, we give a one-to-one correspondence between cotorsion pairs in $\C$ and certain pairs of their rooted cluster subalgebras which we call complete pairs. Finally, we explain this correspondence by an example relating to a Grassmannian cluster algebra.

No abstract uploaded!

Let $X$ be a smooth connected algebraic curve over an algebraically closed field, let $S$ be a finite closed subset in $X$, and let $\mathcal F_0$ be a lisse $\ell$-torsion sheaf on $X-S$. We study the deformation of $\mathcal F_0$. The universal deformation space is a formal scheme. Its generic fiber has a rigid analytic space structure. By studying this rigid analytic space, we prove a conjecture of Katz which says that if a lisse $\overline{\mathbb Q}_\ell$-sheaf $\mathcal F$ is irreducible and physically rigid, then it is cohomologically rigid, under the extra condition that $\mathcal F\mod \ell$ is absolutely irreducible or that $\mathcal F$ has finite monodromy.

In earlier work, Maire developed a class of cell-centered Lagrangian schemes for solving Euler equations of compressible gas dynamics in cylindrical coordinates. These schemes use a node-based discretization of the numerical fluxes. The control volume version has several distinguished properties, including the conservation of mass, momentum and total energy and compatibility with the geometric conservation law (GCL). However it also has a limitation in that it cannot preserve spherical symmetry for one-dimensional spherical flow. An alternative is also given to use the first order area-weighted approach which can ensure spherical symmetry, at the price of sacrificing conservation of momentum. In this paper, we apply the methodology proposed in our recent work to the first order control volume scheme of Maire to obtain the spherical symmetry property. The modified scheme can preserve one-dimensional spherical symmetry in a two-dimensional cylindrical geometry when computed on an equal-angle-zoned initial grid, and meanwhile it maintains its original good properties such as conservation and GCL. Several two-dimensional numerical examples in cylindrical coordinates are presented to demonstrate the good performance of the scheme in terms of symmetry, non-oscillation and robustness properties.

In earlier work, two of the authors constructed uniformly high order accurate finite volume and discontinuous Galerkin (DG) schemes satisfying a strict maximum principle for scalar conservation laws on rectangular meshes. The technique is generalized to positivity preserving (of density and pressure) high order DG or finite volume schemes for compressible Euler equations. The extension of these schemes to triangular meshes is conceptually plausible but highly nontrivial. In this paper, we first introduce a special quadrature rule which is exact for two-variable polynomials over a triangle of a given degree and satisfy a few other conditions, by which we can construct high order maximum principle satisfying finite volume schemes (e.g. essentially non-oscillatory (ENO) or weighted ENO (WENO) schemes) or DG method solving two dimensional scalar conservation laws on triangular meshes. The same method can preserve the maximum principle for DG or finite volume schemes solving two-dimensional incompressible Euler equations in the vorticity stream-function formulation, or any passive convection equation with an incompressible velocity field. We also obtain positivity preserving (for density and pressure) high order DG or finite volume schemes solving compressible Euler equations on triangular meshes. Numerical tests for the third order Runge-Kutta DG (RKDG) method on unstructured meshes are reported.

A new high order finite-difference method utilizing the idea of Harten ENO subcell resolution method is proposed for chemical reactive flows and combustion. In reaction problems, when the reaction time scale is very small, e.g., orders of magnitude smaller than the fluid dynamics time scales, the governing equations will become very stiff. Wrong propagation speed of discontinuity may occur due to the underresolved numerical solution in both space and time. The present proposed method is a modified fractional step method which solves the convection step and reaction step separately. In the convection step, any high order shock-capturing method can be used. In the reaction step, an ODE solver is applied but with the computed flow variables in the shock region modified by the Harten subcell resolution idea. For numerical experiments, a fifth-order finite-difference WENO scheme and its anti-diffusion WENO variant are considered. A wide range of 1D and 2D scalar and Euler system test cases are investigated. Studies indicate that for the considered test cases, the new method maintains high order accuracy in space for smooth flows, and for stiff source terms with discontinuities, it can capture the correct propagation speed of discontinuities in very coarse meshes with reasonable CFL numbers.

In this paper, we investigate the superconvergence property of the local discontinuous Galerkin (LDG) methods for solving one-dimensional linear time dependent fourth order problems. We prove that the error between the LDG solution and a particular projection of the exact solution, $\bar{e}_u$, achieves $(k+\frac32)$-th order superconvergence when polynomials of degree $k$ ($k\ge 1$) are used. Numerical experiments of $P^k$ polynomials, with $1\le k \le3$, are displayed to demonstrate the theoretical results, which show that the error $\bar{e}_u$ actually achieves $(k+2)$-th order superconvergence, indicating that the error bound for $\bar{e}_u$ obtained in this paper is sub-optimal. Initial-boundary value problems, nonlinear equations and solutions having singularities are numerically investigated to verify that the conclusions hold true for very general cases.

One of the main challenges in computational simulations of gas detonation propagation is that negative density or negative pressure may emerge during the time evolution, which will cause blow-ups. Therefore, schemes with provable positivity-preserving of density and pressure are desired. First order and second order positivity-preserving schemes were well studied. For high order discontinuous Galerkin (DG) method, even though the characteristicwise TVB limiter can kill oscillations, it is not sufficient to maintain the positivity. A simple solution for arbitrarily high order positivity-preserving schemes solving Euler equations was proposed recently. In this paper, we first discuss an extension of the technique to design arbitrarily high order positivity-preserving DG schemes for reactive Euler equations. We then present a simpler and more robust implementation of the positivity-preserving limiter than the one before. Numerical tests, including very demanding examples in gaseous detonations, indicate that the third order DG scheme with the new positivity-preserving limiter produces satisfying results even without the TVB limiter.

In this paper, we introduce a general approach for proving optimal $L^2$ error estimates for the semi-discrete local discontinuous Galerkin (LDG) methods solving linear high order wave equations. The optimal order of error estimates hold not only for the solution itself but also for the auxiliary variables in the LDG method approximating the various order derivatives of the solution. Several examples including the one-dimensional third order wave equation, one-dimensional fifth order wave equation, and multi-dimensional Schr\"{o}dinger equation are explored to demonstrate this approach. The main idea is to derive energy stability for the various auxiliary variables in the LDG discretization, via using the scheme and its time derivatives with different test functions. Special projections are utilized to eliminate the jump terms at the cell boundaries in the error estimate in order to achieve the optimal order of accuracy.

The entropy solutions of the compressible Euler equations satisfy a minimum principle for the specific entropy. First order schemes such as Godunov-type and Lax-Friedrichs schemes and the second order kinetic schemes also satisfy a discrete minimum entropy principle. In this paper, we show an extension of the positivity-preserving high order schemes for the compressible Euler equations, to enforce the minimum entropy principle for high order finite volume and discontinuous Galerkin (DG) schemes.