arXiv subjects
Publications and source records attributed to Kenneth H. Karlsen.
We establish the global existence of $L^\infty$ solutions for a model of polytropic gas flow with diffusive entropy. The result is obtained by showing the convergence of a class of finite difference schemes, which includes the Lax-Friedrichs and Godunov schemes. Such convergence is achieved by proving the estimates required for the application of the compensated compactness theory.
This paper is concerned with a strongly degenerate convection-diffusion equation in one space dimension whose convective flux involves a non-linear function of the total mass to one side of the given position. This equation can be understood as a model of aggregation of the individuals of a population with the solution representing their local density. The aggregation mechanism is balanced by a degenerate diffusion term accounting for dispersal. In the strongly degenerate case, solutions of the non-local problem are usually discontinuous and need to be defined as weak solutions satisfying an entropy condition. A finite difference scheme for the non-local problem is formulated and its convergence to the unique entropy solution is proved. The scheme emerges from taking divided differences of a monotone scheme for the local PDE for the primitive. Numerical examples illustrate the behaviour of entropy solutions of the non-local problem, in particular the aggregation phenomenon.
We propose, analyze, and demonstrate a discontinuous Galerkin method for fractal conservation laws. Various stability estimates are established along with error estimates for regular solutions of linear equations. Moreover, in the nonlinear case and whenever piecewise constant elements are utilized, we prove a rate of convergence toward the unique entropy solution. We present numerical results for different types of solutions of linear and nonlinear fractal conservation laws.
We propose a general framework for the study of $L^1$ contractive semigroups of solutions to conservation laws with discontinuous flux. Developing the ideas of a number of preceding works we claim that the whole admissibility issue is reduced to the selection of a family of "elementary solutions", which are certain piecewise constant stationary weak solutions. We refer to such a family as a "germ". It is well known that (CL) admits many different $L^1$ contractive semigroups, some of which reflects different physical applications. We revisit a number of the existing admissibility (or entropy) conditions and identify the germs that underly these conditions. We devote specific attention to the anishing viscosity" germ, which is a way to express the "$Γ$-condition" of Diehl. For any given germ, we formulate "germ-based" admissibility conditions in the form of a trace condition on the flux discontinuity line $x=0$ (in the spirit of Vol'pert) and in the form of a family of global entropy inequalities (following Kruzhkov and Carrillo). We characterize those germs that lead to the $L^1$-contraction property for the associated admissible solutions. Our approach offers a streamlined and unifying perspective on many of the known entropy conditions, making it possible to recover earlier uniqueness results under weaker conditions than before, and to provide new results for other less studied problems. Several strategies for proving the existence of admissible solutions are discussed, and existence results are given for fluxes satisfying some additional conditions. These are based on convergence results either for the vanishing viscosity method (with standard viscosity or with specific viscosities "adapted" to the choice of a germ), or for specific germ-adapted finite volume schemes.
We provide a new analytical approach to operator splitting for equations of the type $u_t=Au+B(u)$ where $A$ is a linear operator and $B$ is quadratic. A particular example is the Korteweg-de Vries (KdV) equation $u_t-u u_x+u_{xxx}=0$. We show that the Godunov and Strang splitting methods converge with the expected rates if the initial data are sufficiently regular.
We propose a nonconforming finite element method for isentropic viscous gas flow in situations where convective effects may be neglected. We approximate the continuity equation by a piecewise constant discontinuous Galerkin method. The velocity (momentum) equation is approximated by a finite element method on div-curl form using the nonconforming Crouzeix-Raviart space. Our main result is that the finite element method converges to a weak solution. The main challenge is to demonstrate the strong convergence of the density approximations, which is mandatory in view of the nonlinear pressure function. The analysis makes use of a higher integrability estimate on the density approximations, an equation for the "effective viscous flux", and renormalized versions of the discontinuous Galerkin method.
We propose and analyze a finite element method for a semi-stationary Stokes system modeling compressible fluid flow subject to a Navier-slip boundary condition. The velocity (momentum) equation is approximated by a mixed finite element method using the lowest order Nedelec spaces of the first kind. The continuity equation is approximated by a standard piecewise constant upwind discontinuous Galerkin scheme. Our main result states that the numerical method converges to a weak solution. The convergence proof consists of two main steps: (i) To establish strong spatial compactness of the velocity field, which is intricate since the element spaces are only div or curl conforming. (ii) To prove that the discontinuous Galerkin approximations converge strongly, which is required in view of the nonlinear pressure function. Tools involved in the analysis include a higher integrability estimate for the discontinuous Galerkin approximations, a discrete equation for the effective viscous flux, and various renormalized formulations of the discontinuous Galerkin scheme.
We analyze entropy solutions for a class of Levy mixed hyperbolicparabolic equations containing a non-local (or fractional) diffusion operator originating from a pure jump Levy process. For these solutions we establish uniqueness (L1 contraction property) and continuous dependence results.
We consider a class of doubly nonlinear degenerate hyperbolic-parabolic equations with homogeneous Dirichlet boundary conditions, for which we first establish the existence and uniqueness of entropy solutions. We then turn to the construction and analysis of discrete duality finite volume schemes (in the spirit of Domelevo and Omnès \cite{DomOmnes}) for these problems in two and three spatial dimensions. We derive a series of discrete duality formulas and entropy dissipation inequalities for the schemes. We establish the existence of solutions to the discrete problems, and prove that sequences of approximate solutions generated by the discrete duality finite volume schemes converge strongly to the entropy solution of the continuous problem. The proof revolves around some basic a priori estimates, the discrete duality features, Minty-Browder type arguments, and "hyperbolic" $L^\infty$ weak-$\star$ compactness arguments (i.e., propagation of compactness along the lines of Tartar, DiPerna, ...). Our results cover the case of non-Lipschitz nonlinearities.
We propose finite element methods for compressible barotropic Stokes systems. We state convergence results for these methods and outline their proofs. The principal tools of the proofs are higher integrability estimates for the discrete density, equations for the discrete effective viscous flux, and renormalized formulations of the numerical method for the density equation.
We put forward and analyze an explicit finite difference scheme for the Camassa-Holm shallow water equation that can handle general $H^1$ initial data and thus peakon-antipeakon interactions. Assuming a specified condition restricting the time step in terms of the spatial discretization parameter, we prove that the difference scheme converges strongly in $H^1$ towards a dissipative weak solution of Camassa-Holm equation.
We prove the existence of a weak solution to a two-dimensional resonant 3x3 system of conservation laws with BV initial data. Due to possible resonance (coinciding eigenvalues), spatial BV estimates are in general not available. Instead, we use an entropy dissipation bound combined with the time translation invariance property of the system to prove existence based on a two-dimensional compensated compactness argument adapted from the paper of Tadmor, Rascle and Bagnerini, "Compensated compactness for 2D conservation laws", [JHDEs 2(3):697--712, 2005]. Existence is proved under the assumption that the flux functions in the two directions are linearly independent.
Relying on recent advances in the theory of entropy solutions for nonlinear (strongly) degenerate parabolic equations, we present a direct proof of an L^1 error estimate for viscous approximate solutions of the initial value problem for \partial_t w+\mathrm{div} \bigl(V(x)f(w)\bigr)= ΔA(w) where V=V(x) is a vector field, f=f(u) is a scalar function, and A'(.) \geq 0. The viscous approximate solutions are weak solutions of the initial value problem for the uniformly parabolic equation \partial_t w^ε+\mathrm{div} \bigl(V(x) f(w^ε)\bigr) Δ\bigl(A(w^ε)+εw^ε\bigr), ε>0. The error estimate is of order \sqrtε.