Showing 1–49 of 49 results for author: Karlsen, K H

Convergence of stochastic integrals with applications to transport equations and conservation laws with noise

Authors: Kenneth H. Karlsen, Peter H. C. Pang

Abstract: Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ we… ▽ More Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ weakly in the temporal variable. We supply convergence results to handle stochastic integral limits when strong temporal convergence is lacking. A key tool is a uniform mean $L^1$ time translation estimate on $V_n$, an estimate that is easily verified in many SPDEs. However, this estimate alone does not guarantee strong compactness of $(ω,t)\mapsto V_n(ω,t)$. Our findings, especially pertinent to equations exhibiting singular behavior, are substantiated by establishing several stability results for stochastic transport equations and conservation laws. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 31 pages

MSC Class: Primary: 60H15; 60G46; Secondary: 60F25

On the well-posedness of the Cauchy problem for the two-component peakon system in $C^k\cap W^{k,1}$

Authors: Kenneth H. Karlsen, Yan Rybalko

Abstract: This study focuses on the Cauchy problem associated with the two-component peakon system featuring a cubic nonlinearity, constrained to the class $(m,n)\in C^{k}(\mathbb{R}) \cap W^{k,1}(\mathbb{R})$ with $k\in\mathbb{N}\cup\{0\}$.This system extends the celebrated Fokas-Olver-Rosenau-Qiao equation, and the following nonlocal (two-place) counterpart proposed by Lou and Qiao:… ▽ More This study focuses on the Cauchy problem associated with the two-component peakon system featuring a cubic nonlinearity, constrained to the class $(m,n)\in C^{k}(\mathbb{R}) \cap W^{k,1}(\mathbb{R})$ with $k\in\mathbb{N}\cup\{0\}$.This system extends the celebrated Fokas-Olver-Rosenau-Qiao equation, and the following nonlocal (two-place) counterpart proposed by Lou and Qiao: $$ \partial_t m(t,x)= \partial_x[m(t,x)(u(t,x)-\partial_xu(t,x)) (u(-t,-x)+\partial_x(u(-t,-x)))], $$ where $m(t,x)=\left(1-\partial_{x}^2\right)u(t,x)$. Employing an approach based on Lagrangian coordinates, we establish the local existence, uniqueness, and Lipschitz continuity of the data-to-solution map in the class $C^k\cap W^{k,1}$. Moreover, we derive criteria for blow-up of the local solution in this class. △ Less

Submitted 15 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift

Authors: Marko Erceg, Kenneth H. Karlsen, Darko Mitrović

Abstract: This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift… ▽ More This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift ${\mathfrak f}={\mathfrak f}(t,{\boldsymbol x},{\boldsymbol λ})$ that are more lenient than those stipulated in previous studies. The main outcome permits the inclusion of highly irregular drift vectors ${\mathfrak f} \in L^q$ that adhere to a general non-degeneracy condition. Moreover, the sequence $\{u_n\}$ is uniformly bounded in $L^p$ -- for an exponent $p$ allowed to be strictly smaller than $2$ -- under the requirement $\frac{1}{p} + \frac{1}{q} < 1$. Resolving the matter of strong compactness in velocity averages, considering these assumptions, has remained an open problem for a long time. The cornerstone of our work's progress lies in the strategic employment of the broader concept of $H$-distributions, moving beyond the traditional reliance on $H$-measures. Notably, our study represents one of the first significant uses of $H$-distributions in this context. △ Less

Submitted 2 November, 2023; originally announced November 2023.

MSC Class: 35B65; 35R60; 35Q83; 42B37

Stochastic electromechanical bidomain model

Authors: Mostafa Bendahmane, Kenneth H. Karlsen, Fatima Mroue

Abstract: We analyze a system of nonlinear stochastic partial differential equations (SPDEs) of mixed elliptic-parabolic type that models the propagation of electric signals and their effect on the deformation of cardiac tissue. The system governs the dynamics of ionic quantities, intra and extra-cellular potentials, and linearized elasticity equations. We introduce a framework called the active strain deco… ▽ More We analyze a system of nonlinear stochastic partial differential equations (SPDEs) of mixed elliptic-parabolic type that models the propagation of electric signals and their effect on the deformation of cardiac tissue. The system governs the dynamics of ionic quantities, intra and extra-cellular potentials, and linearized elasticity equations. We introduce a framework called the active strain decomposition, which factors the material gradient of deformation into an active (electrophysiology-dependent) part and an elastic (passive) part, to capture the coupling between muscle contraction, biochemical reactions, and electric activity. Under the assumption of linearized elastic behavior and a truncation of the nonlinear diffusivities, we propose a stochastic electromechanical bidomain model, and establish the existence of weak solutions for this model. To prove existence through the convergence of approximate solutions, we employ a stochastic compactness method in tandem with an auxiliary non-degenerate system and the Faedo--Galerkin method. We utilize a stochastic adaptation of de Rham's theorem to deduce the weak convergence of the pressure approximations. △ Less

Submitted 28 May, 2024; v1 submitted 23 September, 2023; originally announced September 2023.

MSC Class: 60H15; 35K57; 35M10; 92C30; 92C10

Convergent finite difference schemes for stochastic transport equations

Authors: Ulrik S. Fjordholm, Kenneth H. Karlsen, Peter H. C. Pang

Abstract: We present difference schemes for stochastic transport equations with low-regularity velocity fields. We establish $L^2$ stability and convergence of the difference approximations under conditions that are less strict than those required for deterministic transport equations. The $L^2$ estimate, crucial for the analysis, is obtained through a discrete duality argument and a comprehensive examinati… ▽ More We present difference schemes for stochastic transport equations with low-regularity velocity fields. We establish $L^2$ stability and convergence of the difference approximations under conditions that are less strict than those required for deterministic transport equations. The $L^2$ estimate, crucial for the analysis, is obtained through a discrete duality argument and a comprehensive examination of a class of backward parabolic difference schemes. △ Less

Submitted 3 July, 2024; v1 submitted 5 September, 2023; originally announced September 2023.

Comments: 42 pages; adjustments in Section 2.2, other typos amended

MSC Class: 60H15; 65M12; 60H50; 65M80

Compactness estimates for difference schemes for conservation laws with discontinuous flux

Authors: Kenneth H. Karlsen, John D. Towers

Abstract: We establish quantitative compactness estimates for finite difference schemes used to solve nonlinear conservation laws. These equations involve a flux function $f(k(x,t),u)$, where the coefficient $k(x,t$ is $BV$-regular and may exhibit discontinuities along curves in the $(x,t)$ plane. Our approach, which is technically elementary, relies on a discrete interaction estimate and the existence of o… ▽ More We establish quantitative compactness estimates for finite difference schemes used to solve nonlinear conservation laws. These equations involve a flux function $f(k(x,t),u)$, where the coefficient $k(x,t$ is $BV$-regular and may exhibit discontinuities along curves in the $(x,t)$ plane. Our approach, which is technically elementary, relies on a discrete interaction estimate and the existence of one entropy function. While the details are specifically outlined for the Lax-Friedrichs scheme, the same framework can be applied to other difference schemes. Notably, our compactness estimates are new even in the homogeneous case ($k\equiv 1$). △ Less

Submitted 28 October, 2023; v1 submitted 30 May, 2023; originally announced May 2023.

MSC Class: 35L65; 65M12

A nonlocal Lagrangian traffic flow model and the zero-filter limit

Authors: Giuseppe M. Coclite, Kenneth H. Karlsen, Nils Henrik Risebro

Abstract: In this study, we start from a Follow-the-Leaders model for traffic flow that is based on a weighted harmonic mean (in Lagrangian coordinates) of the downstream car density. This results in a nonlocal Lagrangian partial differential equation (PDE) model for traffic flow. We demonstrate the well-posedness of the Lagrangian model in the $L^1$ sense. Additionally, we rigorously show that our model co… ▽ More In this study, we start from a Follow-the-Leaders model for traffic flow that is based on a weighted harmonic mean (in Lagrangian coordinates) of the downstream car density. This results in a nonlocal Lagrangian partial differential equation (PDE) model for traffic flow. We demonstrate the well-posedness of the Lagrangian model in the $L^1$ sense. Additionally, we rigorously show that our model coincides with the Lagrangian formulation of the local LWR model in the ``zero-filter'' (nonlocal-to-local) limit. We present numerical simulations of the new model. One significant advantage of the proposed model is that it allows for simple proofs of (i) estimates that do not depend on the ``filter size'' and (ii) the dissipation of an arbitrary convex entropy. △ Less

Submitted 8 January, 2024; v1 submitted 8 February, 2023; originally announced February 2023.

MSC Class: 35L65; 65M12; 90B20

Weak convergence of stochastic integrals

Authors: Kenneth H. Karlsen, Peter H. C. Pang

Abstract: The convergence of stochastic integrals driven by a sequence of Wiener processes $W_n\to W$ (with convergence in $C_t$) is crucial in the analysis of stochastic partial differential equations (SPDEs). The convergence we focus on in this paper is of the form $\int_0^T V_n\, {\rm d} W_n \to \int_0^T V\,{\rm d} W$, where $V_n$ takes values in $L^p([0,T];X)$ for some finite $p\ge 2$ and a Banach space… ▽ More The convergence of stochastic integrals driven by a sequence of Wiener processes $W_n\to W$ (with convergence in $C_t$) is crucial in the analysis of stochastic partial differential equations (SPDEs). The convergence we focus on in this paper is of the form $\int_0^T V_n\, {\rm d} W_n \to \int_0^T V\,{\rm d} W$, where $V_n$ takes values in $L^p([0,T];X)$ for some finite $p\ge 2$ and a Banach space $X$. Standard methods do not directly apply when $V_n$ only converges weakly in the temporal variable to $V$. We provide (weak) convergence results that address the need to take limits of stochastic integrals when only weak temporal convergence is available. This is particularly relevant for SPDEs with singular behaviour. △ Less

Submitted 23 August, 2023; v1 submitted 15 January, 2023; originally announced January 2023.

Comments: This paper was withdrawn due to an error in the proof of the main theorem

MSC Class: Primary: 60H15; 60G46; Secondary: 60F25

Quantitative compactness estimates for stochastic conservation laws

Authors: Kenneth H. Karlsen

Abstract: We present a quantitative compensated compactness estimate for stochastic conservation laws, which generalises a previous result of Golse & Perthame (2013) for deterministic equations. With a stochastic modification of Kruzkov's interpolation lemma, this estimate provides bounds on the rate at which a sequence of vanishing viscosity solutions becomes compact. This contribution is for the Proceedin… ▽ More We present a quantitative compensated compactness estimate for stochastic conservation laws, which generalises a previous result of Golse & Perthame (2013) for deterministic equations. With a stochastic modification of Kruzkov's interpolation lemma, this estimate provides bounds on the rate at which a sequence of vanishing viscosity solutions becomes compact. This contribution is for the Proceedings of HYP2022. △ Less

Submitted 9 January, 2023; originally announced January 2023.

MSC Class: 60H15; 35L60

Global existence of dissipative solutions to the Camassa--Holm equation with transport noise

Authors: Luca Galimberti, Helge Holden, Kenneth H. Karlsen, Peter H. C. Pang

Abstract: We consider a nonlinear stochastic partial differential equation (SPDE) that takes the form of the Camassa--Holm equation perturbed by a convective, position-dependent, noise term. We establish the first global-in-time existence result for dissipative weak martingale solutions to this SPDE, with general finite-energy initial data. The solution is obtained as the limit of classical solutions to par… ▽ More We consider a nonlinear stochastic partial differential equation (SPDE) that takes the form of the Camassa--Holm equation perturbed by a convective, position-dependent, noise term. We establish the first global-in-time existence result for dissipative weak martingale solutions to this SPDE, with general finite-energy initial data. The solution is obtained as the limit of classical solutions to parabolic SPDEs. The proof combines model-specific statistical estimates with stochastic propagation of compactness techniques, along with the systematic use of tightness and a.s. representations of random variables on specific quasi-Polish spaces. The spatial dependence of the noise function makes more difficult the analysis of a priori estimates and various renormalisations, giving rise to nonlinear terms induced by the martingale part of the equation and the second-order Stratonovich--Itô correction term. △ Less

Submitted 1 January, 2024; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 86 pages

MSC Class: Primary: 35R60; 35G25; Secondary: 35A01; 35D30

A dynamic capillarity equation with stochastic forcing on manifolds: a singular limit problem

Authors: Kenneth H. Karlsen, Michael Kunzinger, Darko Mitrovic

Abstract: We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P} d \left(u_{\varepsilon,δ}-δΔ u_{\varepsilon,δ}\right) +\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt =\varepsilon Δu_{\varepsilon,δ}\, dt Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector… ▽ More We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P} d \left(u_{\varepsilon,δ}-δΔ u_{\varepsilon,δ}\right) +\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt =\varepsilon Δu_{\varepsilon,δ}\, dt Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector fields converging in $L^p(M\times \Bbb{R})$ ($p>2$) as $\varepsilon\downarrow 0$ towards a vector field $f\in L^p(M;C^1(\Bbb{R}))$, and $W_t$ is a Wiener process defined on a filtered probability space. First, for fixed values of $\varepsilon$ and $δ$, we establish the existence and uniqueness of weak solutions to the Cauchy problem for (P). Assuming that $f$ is non-degenerate and that $\varepsilon$ and $δ$ tend to zero with $δ/\varepsilon^2$ bounded, we show that there exists a subsequence of solutions that strongly converges in $L^1_{ω,t,x}$ to a martingale solution of the following stochastic conservation law with discontinuous flux: $$ d u +\operatorname{div} f(x, u)\,dt=Φ(u)\, dW_t. $$ The proofs make use of Galerkin approximations, kinetic formulations as well as $H$-measures and new velocity averaging results for stochastic continuity equations. The analysis relies in an essential way on the use of a.s.~representations of random variables in some particular quasi-Polish spaces. The convergence framework developed here can be applied to other singular limit problems for stochastic conservation laws. △ Less

Submitted 23 September, 2023; v1 submitted 30 October, 2022; originally announced October 2022.

MSC Class: 60H15 (primary); 35L02 (primary); 35K70 (secondary); 42B37 (secondary)

Global well-posedness of the viscous Camassa--Holm equation with gradient noise

Authors: Helge Holden, Kenneth H. Karlsen, Peter H. C. Pang

Abstract: We analyse a nonlinear stochastic partial differential equation that corresponds to a viscous shallow water equation (of the Camassa--Holm type) perturbed by a convective, position-dependent noise term. We establish the existence of weak solutions in $H^m$ ($m\in\mathbb{N}$) using Galerkin approximations and the stochastic compactness method. We derive a series of a priori estimates that combine a… ▽ More We analyse a nonlinear stochastic partial differential equation that corresponds to a viscous shallow water equation (of the Camassa--Holm type) perturbed by a convective, position-dependent noise term. We establish the existence of weak solutions in $H^m$ ($m\in\mathbb{N}$) using Galerkin approximations and the stochastic compactness method. We derive a series of a priori estimates that combine a model-specific energy law with non-standard regularity estimates. We make systematic use of a stochastic Gronwall inequality and also stop** time techniques. The proof of convergence to a solution argues via tightness of the laws of the Galerkin solutions, and Skorokhod--Jakubowski a.s. representations of random variables in quasi-Polish spaces. The spatially dependent noise function constitutes a complication throughout the analysis, repeatedly giving rise to nonlinear terms that "balance" the martingale part of the equation against the second-order Stratonovich-to-Itô correction term. Finally, via pathwise uniqueness, we conclude that the constructed solutions are probabilistically strong. The uniqueness proof is based on a finite-dimensional Itô formula and a DiPerna--Lions type regularisation procedure, where the regularisation errors are controlled by first and second order commutators. △ Less

Submitted 17 October, 2022; v1 submitted 1 September, 2022; originally announced September 2022.

Comments: 49 pages; typos and references amended, one subsection streamlined

MSC Class: Primary: 35R60; 35G25; 60H15; Secondary: 35A01; 35A02

Strong solutions of a stochastic differential equation with irregular random drift

Authors: Helge Holden, Kenneth H. Karlsen, Peter H. C. Pang

Abstract: We present a well-posedness result for strong solutions of one-dimensional stochastic differential equations (SDEs) of the form $$\mathrm{d} X= u(ω,t,X)\, \mathrm{d} t + \frac12 σ(ω,t,X)σ'(ω,t,X)\,\mathrm{d} t + σ(ω,t,X) \, \mathrm{d}W(t), $$ where the drift coefficient $u$ is random and irregular. The random and regular noise coefficient $σ$ may vanish. The main contribution is a pathwise uniquen… ▽ More We present a well-posedness result for strong solutions of one-dimensional stochastic differential equations (SDEs) of the form $$\mathrm{d} X= u(ω,t,X)\, \mathrm{d} t + \frac12 σ(ω,t,X)σ'(ω,t,X)\,\mathrm{d} t + σ(ω,t,X) \, \mathrm{d}W(t), $$ where the drift coefficient $u$ is random and irregular. The random and regular noise coefficient $σ$ may vanish. The main contribution is a pathwise uniqueness result under the assumptions that $u$ belongs to $L^p(Ω; L^\infty([0,T];\dot{H}^1(\mathbb{R})))$ for any finite $p\ge 1$, $\mathbb{E}\left|u(t)-u(0)\right|_{\dot{H}^1(\mathbb{R})}^2 \to 0$ as $t\downarrow 0$, and $u$ satisfies the one-sided gradient bound $\partial_x u(ω,t,x) \le K(ω, t)$, where the process $K(ω,t )>0$ exhibits an exponential moment bound of the form $\mathbb{E} \exp\Big(p\int_t^T K(s)\,\mathrm{d} s\Big) \lesssim {t^{-2p}}$ for small times $t$, for some $p\ge1$. This study is motivated by ongoing work on the well-posedness of the stochastic Hunter--Saxton equation, a stochastic perturbation of a nonlinear transport equation that arises in the modelling of the director field of a nematic liquid crystal. In this context, the one-sided bound acts as a selection principle for dissipative weak solutions of the stochastic partial differential equation (SPDE). △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: 20 pages

MSC Class: 60H10 (Primary); 34F05 (Secondary)

Well-posedness of stochastic continuity equations on Riemannian manifolds

Authors: Luca Galimberti, Kenneth H. Karlsen

Abstract: We analyze continuity equations with Stratonovich stochasticity, $\partial ρ+ div_h \left[ ρ\circ\left(u(t,x)+\sum_{i=1}^N a_i(x) \dot W_i(t) \right) \right]=0$, defined on a smooth closed Riemannian manifold $M$ with metric $h$. The velocity field $u$ is perturbed by Gaussian noise terms $\dot W_1(t),\ldots,\dot W_N(t)$ driven by smooth spatially dependent vector fields $a_1(x),\ldots,a_N(x)$ on… ▽ More We analyze continuity equations with Stratonovich stochasticity, $\partial ρ+ div_h \left[ ρ\circ\left(u(t,x)+\sum_{i=1}^N a_i(x) \dot W_i(t) \right) \right]=0$, defined on a smooth closed Riemannian manifold $M$ with metric $h$. The velocity field $u$ is perturbed by Gaussian noise terms $\dot W_1(t),\ldots,\dot W_N(t)$ driven by smooth spatially dependent vector fields $a_1(x),\ldots,a_N(x)$ on $M$. The velocity $u$ belongs to $L^1_t W^{1,2}_x$ with $div_h u$ bounded in $L^p_{t,x}$ for $p>d+2$, where $d$ is the dimension of $M$ (we do not assume $div_h u \in L^\infty_{t,x}$). We show that by carefully choosing the noise vector fields $a_i$ (and the number $N$ of them), the initial-value problem is well-posed in the class of weak $L^2$ solutions, although the problem can be ill-posed in the deterministic case because of concentration effects. The proof of this "regularization by noise" result reveals a link between the nonlinear structure of the underlying domain $M$ and the noise, a link that is somewhat hidden in the Euclidian case ($a_i$ constant) \cite{Beck:2019,Flandoli-Gubinelli-Priola,Neves:2015aa}. The proof is based on an a priori estimate in $L^2$, which is obtained by a duality method, and a weak compactness argument. △ Less

Submitted 17 January, 2024; v1 submitted 18 January, 2021; originally announced January 2021.

Homogenization of Stochastic Conservation Laws with Multiplicative Noise

Authors: Hermano Frid, Kenneth H. Karlsen, Daniel Marroquin

Abstract: We consider the generalized almost periodic homogenization problem for two different types of stochastic conservation laws with oscillatory coefficients and multiplicative noise. In both cases the stochastic perturbations are such that the equation admits special stochastic solutions which play the role of the steady-state solutions in the deterministic case. Specially in the second type, these st… ▽ More We consider the generalized almost periodic homogenization problem for two different types of stochastic conservation laws with oscillatory coefficients and multiplicative noise. In both cases the stochastic perturbations are such that the equation admits special stochastic solutions which play the role of the steady-state solutions in the deterministic case. Specially in the second type, these stochastic solutions are crucial elements in the homogenization analysis. Our homogenization method is based on the notion of stochastic two-scale Young measure, whose existence is established here. △ Less

Submitted 7 July, 2022; v1 submitted 3 June, 2020; originally announced June 2020.

MSC Class: 35L65; 35B27; 60H15

The Hunter-Saxton equation with noise

Authors: Helge Holden, Kenneth H. Karlsen, Peter H. C. Pang

Abstract: In this paper we develop an existence theory for the Cauchy problem to the stochastic Hunter-Saxton equatio, and prove several properties of the blow-up of its solutions. An important part of the paper is the continuation of solutions to the stochastic equations beyond blow-up (wave-breaking). In the linear noise case, using the method of (stochastic) characteristics, we also study random wave-bre… ▽ More In this paper we develop an existence theory for the Cauchy problem to the stochastic Hunter-Saxton equatio, and prove several properties of the blow-up of its solutions. An important part of the paper is the continuation of solutions to the stochastic equations beyond blow-up (wave-breaking). In the linear noise case, using the method of (stochastic) characteristics, we also study random wave-breaking and stochastic effects unobserved in the deterministic problem. Notably, we derive an explicit law for the random wave-breaking time. △ Less

Submitted 31 March, 2020; originally announced March 2020.

MSC Class: 35A01; 35L60; 35R60; 60H15

Renormalization of stochastic continuity equations on Riemannian manifolds

Authors: Luca Galimberti, Kenneth H. Karlsen

Abstract: We consider the initial-value problem for stochastic continuity equations of the form $$ \partial_t ρ+ \text{div}_h \left[ρ\left(u(t,x) + \sum_{i=1}^N a_i(x)\circ \frac{dW^i}{dt}\right)\right] = 0, $$ defined on a smooth closed Riemanian manifold $M$ with metric $h$, where the Sobolev regular velocity field $u$ is perturbed by Gaussian noise terms $\dot{W}_i(t)$ driven by smooth spatially dependen… ▽ More We consider the initial-value problem for stochastic continuity equations of the form $$ \partial_t ρ+ \text{div}_h \left[ρ\left(u(t,x) + \sum_{i=1}^N a_i(x)\circ \frac{dW^i}{dt}\right)\right] = 0, $$ defined on a smooth closed Riemanian manifold $M$ with metric $h$, where the Sobolev regular velocity field $u$ is perturbed by Gaussian noise terms $\dot{W}_i(t)$ driven by smooth spatially dependent vector fields $a_i(x)$ on $M$. Our main result is that weak ($L^2$) solutions are renormalized solutions, that is, if $ρ$ is a weak solution, then the nonlinear composition $S(ρ)$ is a weak solution as well, for any "reasonable" function $S:\mathbb{R}\to\mathbb{R}$. The proof consists of a systematic procedure for regularizing tensor fields on a manifold, a convenient choice of atlas to simplify technical computations linked to the Christoffel symbols, and several DiPerna-Lions type commutators $\mathcal{C}_\varepsilon (ρ,D)$ between (first/second order) geometric differential operators $D$ and the regularization device ($\varepsilon$ is the scaling parameter). This work, which is related to the "Euclidean" result in Punshon-Smith (2017), reveals some structural effects that noise and nonlinear domains have on the dynamics of weak solutions. △ Less

Submitted 24 August, 2021; v1 submitted 23 December, 2019; originally announced December 2019.

Well-posedness theory for stochastically forced conservation laws on Riemannian manifolds

Authors: Luca Galimberti, Kenneth H. Karlsen

Abstract: We investigate a class of scalar conservation laws on manifolds driven by multiplicative Gaussian (Ito) noise. The Cauchy problem defined on a Riemannian manifold is shown to be well-posed. We prove existence of generalized kinetic solutions using the vanishing viscosity method. A rigidity result is derived, which implies that generalized solutions are kinetic solutions and that kinetic solutions… ▽ More We investigate a class of scalar conservation laws on manifolds driven by multiplicative Gaussian (Ito) noise. The Cauchy problem defined on a Riemannian manifold is shown to be well-posed. We prove existence of generalized kinetic solutions using the vanishing viscosity method. A rigidity result is derived, which implies that generalized solutions are kinetic solutions and that kinetic solutions are uniquely determined by their initial data ($L^1$ contraction principle). Deprived of noise, the equations we consider coincide with those analyzed by Ben-Artzi and LeFloch (2007), who worked with Kruzkov-DiPerna solutions. In the Euclidian case, the stochastic equations agree with those examined by Debussche and Vovelle (2010). △ Less

Submitted 27 June, 2019; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: Submitted for publication on 23.09.18

The cardiac bidomain model and homogenization

Authors: Erik Grandelius, Kenneth H. Karlsen

Abstract: We provide a rather simple proof of a homogenization result for the bidomain model of cardiac electrophysiology. Departing from a microscopic cellular model, we apply the theory of two-scale convergence to derive the bidomain model. To allow for some relevant nonlinear membrane models, we make essential use of the boundary unfolding operator. There are several complications preventing the applicat… ▽ More We provide a rather simple proof of a homogenization result for the bidomain model of cardiac electrophysiology. Departing from a microscopic cellular model, we apply the theory of two-scale convergence to derive the bidomain model. To allow for some relevant nonlinear membrane models, we make essential use of the boundary unfolding operator. There are several complications preventing the application of standard homogenization results, including the degenerate temporal structure of the bidomain equations and a nonlinear dynamic boundary condition on an oscillating surface. △ Less

Submitted 19 November, 2018; originally announced November 2018.

Comments: To appear in Networks and Heterogeneous Media, Special Issue on Mathematical Methods for Systems Biology

Stochastically forced cardiac bidomain model

Authors: Mostafa Bendahmane, Kenneth H. Karlsen

Abstract: The bidomain system of degenerate reaction-diffusion equations is a well-established spatial model of electrical activity in cardiac tissue, with "reaction" linked to the cellular action potential and "diffusion" representing current flow between cells. The purpose of this paper is to introduce a "stochastically forced" version of the bidomain model that accounts for various random effects. We est… ▽ More The bidomain system of degenerate reaction-diffusion equations is a well-established spatial model of electrical activity in cardiac tissue, with "reaction" linked to the cellular action potential and "diffusion" representing current flow between cells. The purpose of this paper is to introduce a "stochastically forced" version of the bidomain model that accounts for various random effects. We establish the existence of martingale (probabilistic weak) solutions to the stochastic bidomain model. The result is proved by means of an auxiliary nondegenerate system and the Faedo-Galerkin method. To prove convergence of the approximate solutions, we use the stochastic compactness method and Skorokhod-Jakubowski a.s.~representations. Finally, via a pathwise uniqueness result, we conclude that the martingale solutions are pathwise (i.e., probabilistic strong) solutions. △ Less

Submitted 22 March, 2018; originally announced March 2018.

Numerical methods for conservation laws with rough flux

Authors: Håkon Hoel, Kenneth Hvistendahl Karlsen, Nils Henrik Risebro, Erlend Briseid Storrøsten

Abstract: Finite volume methods are proposed for computing approximate pathwise entropy/kinetic solutions to conservation laws with a rough path dependent flux function. For a convex flux, it is demonstrated that rough path oscillations may lead to "cancellations" in the solution. Making use of this property, we show that for $α$-H{ö}lder continuous rough paths the convergence rate of the numerical methods… ▽ More Finite volume methods are proposed for computing approximate pathwise entropy/kinetic solutions to conservation laws with a rough path dependent flux function. For a convex flux, it is demonstrated that rough path oscillations may lead to "cancellations" in the solution. Making use of this property, we show that for $α$-H{ö}lder continuous rough paths the convergence rate of the numerical methods can improve from $\mathcal{O}(\text{COST}^{-γ})$, for some $γ\in \left[α/(12-8α), α/(10-6α)\right]$, with $α\in (0, 1)$, to $\mathcal{O}(\text{COST}^{-\min(1/4,α/2)})$. Numerical examples support the theoretical results. △ Less

Submitted 2 February, 2018; originally announced February 2018.

Comments: 58 pages, 12 figures

MSC Class: 35L65; 65M06 (Primary); 60H15; 65C30 (Secondary)

Path-dependent convex conservation laws

Authors: Håkon Hoel, Kenneth Hvistendahl Karlsen, Nils Henrik Risebro, Erlend Briseid Storrøsten

Abstract: For scalar conservation laws driven by a rough path $z(t)$, in the sense of Lions, Perthame and Souganidis in arXiv:1309.1931, we show that it is possible to replace $z(t)$ by a piecewise linear path, and still obtain the same solution at a given time, under the assumption of a convex flux function in one spatial dimension. This result is connected to the spatial regularity of solutions. We show t… ▽ More For scalar conservation laws driven by a rough path $z(t)$, in the sense of Lions, Perthame and Souganidis in arXiv:1309.1931, we show that it is possible to replace $z(t)$ by a piecewise linear path, and still obtain the same solution at a given time, under the assumption of a convex flux function in one spatial dimension. This result is connected to the spatial regularity of solutions. We show that solutions are spatially Lipschitz continuous for a given set of times, depending on the path and the initial data. Fine properties of the map $z \mapsto u(τ)$, for a fixed time $τ$, are studied. We provide a detailed description of the properties of the rough path $z(t)$ that influences the solution. This description is extracted by a "factorization" of the solution operator (at time $τ$). In a companion paper, we make use of the observations herein to construct computationally efficient numerical methods. △ Less

Submitted 6 November, 2017; originally announced November 2017.

MSC Class: 35L65 (Primary); 60H15 (Secondary)

Analysis of a splitting method for stochastic balance laws

Authors: Erlend B. Storrøsten, Kenneth H. Karlsen

Abstract: We analyze a semi-discrete splitting method for conservation laws driven by a semilinear noise term. Making use of fractional $BV$ estimates, we show that the splitting method produces a compact sequence of approximate solutions converging to the exact solution, as the time step $Δt \rightarrow 0$. Under the assumption of a homogenous noise function, and thus the availability of $BV$ estimates, we… ▽ More We analyze a semi-discrete splitting method for conservation laws driven by a semilinear noise term. Making use of fractional $BV$ estimates, we show that the splitting method produces a compact sequence of approximate solutions converging to the exact solution, as the time step $Δt \rightarrow 0$. Under the assumption of a homogenous noise function, and thus the availability of $BV$ estimates, we provide an $L^1$ error estimate. Bringing into play a generalization of Kruzkov's entropy condition, permitting the "Kruzkov constants" to be Malliavin differentiable random variables, we establish an $L^1$ convergence rate of order $\frac13$ in $Δt$. △ Less

Submitted 22 August, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

MSC Class: 35R60 (Primary); 35L65; 65M15; 65M15 (Secondary) ACM Class: G.1.8; G.3

On stochastic conservation laws and Malliavin calculus

Authors: Kenneth Hvistendahl Karlsen, Erlend Briseid Storrøsten

Abstract: For stochastic conservation laws driven by a semilinear noise term, we propose a generalization of the Kružkov entropy condition by allowing the Kružkov constants to be Malliavin differentiable random variables. Existence and uniqueness results are provided. Our approach sheds some new light on the stochastic entropy conditions put forth by Feng and Nualart [J. Funct. Anal., 2008] and Bauzet, Vall… ▽ More For stochastic conservation laws driven by a semilinear noise term, we propose a generalization of the Kružkov entropy condition by allowing the Kružkov constants to be Malliavin differentiable random variables. Existence and uniqueness results are provided. Our approach sheds some new light on the stochastic entropy conditions put forth by Feng and Nualart [J. Funct. Anal., 2008] and Bauzet, Vallet, and Wittbold [J. Hyperbolic Differ. Equ., 2012]. △ Less

Submitted 22 August, 2016; v1 submitted 20 July, 2015; originally announced July 2015.

MSC Class: 35L65; 60H15 (Primary); 35A05; 60H07 (Secondary)

On the convergence rate of finite difference methods for degenerate convection-diffusion equations in several space dimensions

Authors: Kenneth Hvistendahl Karlsen, Nils Henrik Risebro, Erlend Briseid Storrøsten

Abstract: We analyze upwind difference methods for strongly degenerate convection-diffusion equations in several spatial dimensions. We prove that the local $L^1$-error between the exact and numerical solutions is $\mathcal{O}(Δx^{2/(19+d)})$, where $d$ is the spatial dimension and $Δx$ is the grid size. The error estimate is robust with respect to vanishing diffusion effects. The proof makes effective use… ▽ More We analyze upwind difference methods for strongly degenerate convection-diffusion equations in several spatial dimensions. We prove that the local $L^1$-error between the exact and numerical solutions is $\mathcal{O}(Δx^{2/(19+d)})$, where $d$ is the spatial dimension and $Δx$ is the grid size. The error estimate is robust with respect to vanishing diffusion effects. The proof makes effective use of specific kinetic formulations of the difference method and the convection-diffusion equation. △ Less

Submitted 4 September, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

MSC Class: 35L70; 65M06; 65M12

Conservation laws driven by Lévy white noise

Authors: Imran H. Biswas, Kenneth H. Karlsen, Ananta K. Majee

Abstract: We consider multidimensional conservation laws perturbed by multiplicative Lévy noise. We establish existence and uniqueness results for entropy solutions. The entropy inequalities are formally obtained by the Itô-Lévy chain rule. The multidimensionality requires a generalized interpretation of the entropy inequalities to accommodate Young measure-valued solutions. We first establish the existence… ▽ More We consider multidimensional conservation laws perturbed by multiplicative Lévy noise. We establish existence and uniqueness results for entropy solutions. The entropy inequalities are formally obtained by the Itô-Lévy chain rule. The multidimensionality requires a generalized interpretation of the entropy inequalities to accommodate Young measure-valued solutions. We first establish the existence of entropy solutions in the generalized sense via the vanishing viscosity method, and then establish the $L^1$-contraction principle. Finally, the $L^1$ contraction principle is used to argue that the generalized entropy solution is indeed the classical entropy solution. △ Less

Submitted 7 June, 2014; originally announced June 2014.

Comments: 46 pages

MSC Class: 45K05; 46S50; 49L20; 49L25; 91A23; 93E20

L1 Error Estimates for Difference Approximations Of Degenerate Convection-Diffusion Equations

Authors: Kenneth H. Karlsen, Nils Henrik Risebro, Erlend B. Storrøsten

Abstract: We analyze monotone difference schemes for strongly degenerate convection-diffusion equations in one spatial dimension. These nonlinear equations are well-posed within a class of (discontinuous) entropy solutions. We prove that the L1 difference between the approximate solutions and the unique entropy solution is bounded above by a constant times the cube root of the spatial discretization paramet… ▽ More We analyze monotone difference schemes for strongly degenerate convection-diffusion equations in one spatial dimension. These nonlinear equations are well-posed within a class of (discontinuous) entropy solutions. We prove that the L1 difference between the approximate solutions and the unique entropy solution is bounded above by a constant times the cube root of the spatial discretization parameter. △ Less

Submitted 15 April, 2013; v1 submitted 4 May, 2012; originally announced May 2012.

MSC Class: 65M06; 65M15 (Primary) 35K65; 35L65 (Secondary)

Operator splitting for well-posed active scalar equations

Authors: Helge Holden, Kenneth H. Karlsen, Trygve K. Karper

Abstract: We analyze operator splitting methods applied to scalar equations with a nonlinear advection operator, and a linear (local or nonlocal) diffusion operator or a linear dispersion operator. The advection velocity is determined from the scalar unknown itself and hence the equations are so-called active scalar equations. Examples are provided by the surface quasi-geostrophic and aggregation equations.… ▽ More We analyze operator splitting methods applied to scalar equations with a nonlinear advection operator, and a linear (local or nonlocal) diffusion operator or a linear dispersion operator. The advection velocity is determined from the scalar unknown itself and hence the equations are so-called active scalar equations. Examples are provided by the surface quasi-geostrophic and aggregation equations. In addition, Burgers-type equations with fractional diffusion as well as the KdV and Kawahara equations are covered. Our main result is that the Godunov and Strang splitting methods converge with the expected rates provided the initial data is sufficiently regular. △ Less

Submitted 31 January, 2012; v1 submitted 30 January, 2012; originally announced January 2012.

Comments: 26 pages

MSC Class: 35Q35; 65M12

On Nonlinear Stochastic Balance Laws

Authors: Gui-Qiang G. Chen, Qian Ding, Kenneth H. Karlsen

Abstract: We are concerned with multidimensional stochastic balance laws. We identify a class of nonlinear balance laws for which uniform spatial $BV$ bounds for vanishing viscosity approximations can be achieved. Moreover, we establish temporal equicontinuity in $L^1$ of the approximations, uniformly in the viscosity coefficient. Using these estimates, we supply a multidimensional existence theory of stoch… ▽ More We are concerned with multidimensional stochastic balance laws. We identify a class of nonlinear balance laws for which uniform spatial $BV$ bounds for vanishing viscosity approximations can be achieved. Moreover, we establish temporal equicontinuity in $L^1$ of the approximations, uniformly in the viscosity coefficient. Using these estimates, we supply a multidimensional existence theory of stochastic entropy solutions. In addition, we establish an error estimate for the stochastic viscosity method, as well as an explicit estimate for the continuous dependence of stochastic entropy solutions on the flux and random source functions. Various further generalizations of the results are discussed. △ Less

Submitted 22 November, 2011; originally announced November 2011.

Operator splitting for two-dimensional incompressible fluid equations

Authors: Helge Holden, Kenneth H. Karlsen, Trygve K. Karper

Abstract: We analyze splitting algorithms for a class of two-dimensional fluid equations, which includes the incompressible Navier-Stokes equations and the surface quasi-geostrophic equation. Our main result is that the Godunov and Strang splitting methods converge with the expected rates provided the initial data are sufficiently regular. We analyze splitting algorithms for a class of two-dimensional fluid equations, which includes the incompressible Navier-Stokes equations and the surface quasi-geostrophic equation. Our main result is that the Godunov and Strang splitting methods converge with the expected rates provided the initial data are sufficiently regular. △ Less

Submitted 5 February, 2011; originally announced February 2011.

Comments: 27 pages, 2 figure, submitted for publication

MSC Class: Primary: 76U05; Secondary: 65M12

An error estimate for the finite difference approximation to degenerate convection -diffusion equations

Authors: K. H. Karlsen, U. Koley, N. H. Risebro

Abstract: We consider semi-discrete first-order finite difference schemes for a nonlinear degenerate convection-diffusion equations in one space dimension, and prove an L1 error estimate. Precisely, we show that the L1 loc difference between the approximate solution and the unique entropy solution converges at a rate O(\Deltax 1/11), where \Deltax is the spatial mesh size. If the diffusion is linear, we get… ▽ More We consider semi-discrete first-order finite difference schemes for a nonlinear degenerate convection-diffusion equations in one space dimension, and prove an L1 error estimate. Precisely, we show that the L1 loc difference between the approximate solution and the unique entropy solution converges at a rate O(\Deltax 1/11), where \Deltax is the spatial mesh size. If the diffusion is linear, we get the convergence rate O(\Deltax 1/2), the point being that the O is independent of the size of the diffusion △ Less

Submitted 18 September, 2012; v1 submitted 2 February, 2011; originally announced February 2011.

Comments: 22 pages

Convergence of discrete duality finite volume schemes for the cardiac bidomain model

Authors: Boris Andreianov, Mostafa Bendahmane, Kenneth H. Karlsen, Charles Pierre

Abstract: We prove convergence of discrete duality finite volume (DDFV) schemes on distorted meshes for a class of simplified macroscopic bidomain models of the electrical activity in the heart. Both time-implicit and linearised time-implicit schemes are treated. A short description is given of the 3D DDFV meshes and of some of the associated discrete calculus tools. Several numerical tests are presented. We prove convergence of discrete duality finite volume (DDFV) schemes on distorted meshes for a class of simplified macroscopic bidomain models of the electrical activity in the heart. Both time-implicit and linearised time-implicit schemes are treated. A short description is given of the 3D DDFV meshes and of some of the associated discrete calculus tools. Several numerical tests are presented. △ Less

Submitted 13 October, 2010; originally announced October 2010.

$L^\infty$ solutions for a model of polytropic gas flow with diffusive entropy

Authors: Hermano Frid, Helge Holden, Kenneth H. Karlsen

Abstract: 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. 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. △ Less

Submitted 8 September, 2010; originally announced September 2010.

A strongly degenerate parabolic aggregation equation

Authors: Fernando Betancourt, Raimund Bürger, Kenneth H. Karlsen

Abstract: 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 de… ▽ More 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. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Comments: 30 pages, 8 figures

The discontinuous Galerkin method for fractional degenerate convection-diffusion equations

Authors: Simone Cifani, Espen R. Jakobsen, Kenneth H. Karlsen

Abstract: We propose and study discontinuous Galerkin methods for strongly degenerate convection-diffusion equations perturbed by a fractional diffusion (Lévy) operator. We prove various stability estimates along with convergence results toward properly defined (entropy) solutions of linear and nonlinear equations. Finally, the qualitative behavior of solutions of such equations are illustrated through nume… ▽ More We propose and study discontinuous Galerkin methods for strongly degenerate convection-diffusion equations perturbed by a fractional diffusion (Lévy) operator. We prove various stability estimates along with convergence results toward properly defined (entropy) solutions of linear and nonlinear equations. Finally, the qualitative behavior of solutions of such equations are illustrated through numerical experiments. △ Less

Submitted 21 January, 2011; v1 submitted 10 May, 2010; originally announced May 2010.

Journal ref: BIT Numer. Math. 51 (2011) 809-844

A theory of $L^1$-dissipative solvers for scalar conservation laws with discontinuous flux

Authors: Boris Andreianov, Kenneth H. Karlsen, Nils Henrik Risebro

Abstract: We propose a general framework for the study of $L^1$ contractive semigroups of solutions to conservation laws with discontinuous flux. Develo** 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"… ▽ More We propose a general framework for the study of $L^1$ contractive semigroups of solutions to conservation laws with discontinuous flux. Develo** 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. △ Less

Submitted 23 April, 2010; originally announced April 2010.

Operator splitting for the KdV equation

Authors: Helge Holden, Kenneth H. Karlsen, Nils Henrik Risebro, Terence Tao

Abstract: 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 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. △ Less

Submitted 26 June, 2009; originally announced June 2009.

MSC Class: 35Q53; 65M12; 65M15

A convergent nonconforming finite element method for compressible Stokes flow

Authors: Kenneth H. Karlsen, Trygve K. Karper

Abstract: 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 t… ▽ More 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. △ Less

Submitted 25 June, 2009; originally announced June 2009.

Comments: 23 pages

MSC Class: 35Q30; 74S05; 65M12

Difference-quadrature schemes for nonlinear degenerate parabolic integro-PDE

Authors: I. H. Biswas, E. R. Jakobsen, K. H. Karlsen

Abstract: We derive and analyze monotone difference-quadrature schemes for Bellman equations of controlled Levy (jump-diffusion) processes. These equations are fully non-linear, degenerate parabolic integro-PDEs interpreted in the sense of viscosity solutions. We propose new ``direct'' discretizations of the non-local part of the equation that give rise to monotone schemes capable of handling singular Lev… ▽ More We derive and analyze monotone difference-quadrature schemes for Bellman equations of controlled Levy (jump-diffusion) processes. These equations are fully non-linear, degenerate parabolic integro-PDEs interpreted in the sense of viscosity solutions. We propose new ``direct'' discretizations of the non-local part of the equation that give rise to monotone schemes capable of handling singular Levy measures. Furthermore, we develop a new general theory for deriving error estimates for approximate solutions of integro-PDEs, which thereafter is applied to the proposed difference-quadrature schemes. △ Less

Submitted 8 June, 2009; originally announced June 2009.

MSC Class: 45K05; 65M12; 49L25; 65L70

The discontinuous Galerkin method for fractal conservation laws

Authors: Simone Cifani, Espen R. Jakobsen, Kenneth H. Karlsen

Abstract: 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… ▽ More 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. △ Less

Submitted 15 June, 2010; v1 submitted 5 June, 2009; originally announced June 2009.

Comments: The first version of the paper had some mathematical errors. They are corrected in this version, and the paper has appeared online in IMA J. Numer. Anal

Journal ref: IMA J. Numer. Anal. 2010

Convergence of a mixed method for a semi-stationary compressible Stokes system

Authors: Kenneth H. Karlsen, Trygve K. Karper

Abstract: 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 Gale… ▽ More 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. △ Less

Submitted 4 April, 2009; originally announced April 2009.

MSC Class: 35Q30; 74S05; 65M12

Stability of Entropy Solutions for Levy Mixed Hyperbolic-Parabolic Equations

Authors: Kenneth H. Karlsen, Suleyman Ulusoy

Abstract: 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 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. △ Less

Submitted 3 February, 2009; originally announced February 2009.

Comments: 20 pages, no figures. Manuscript submitted to Elseiver

MSC Class: 45K05; 35K65; 35L65 (Primary) 35Bxx (Secondary)

Discrete duality finite volume schemes for doubly nonlinear degenerate hyperbolic-parabolic equations

Authors: Boris Andreianov, Mostafa Bendahmane, Kenneth H. Karlsen

Abstract: 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 di… ▽ More 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. △ Less

Submitted 7 January, 2009; originally announced January 2009.

Convergent finite element methods for compressible barotropic Stokes systems

Authors: Kenneth H. Karlsen, Trygve K. Karper

Abstract: 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 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. △ Less

Submitted 19 December, 2008; originally announced December 2008.

Comments: Submitted Proc. HYP2008

MSC Class: 35M10; 74S05

Initial-boundary value problems for conservation laws with source terms and the Degasperis-Procesi equation

Authors: G. C. Coclite, K. H. Karlsen, Y. -S. Kwon

Abstract: We consider conservation laws with source terms in a bounded domain with Dirichlet boundary conditions. We first prove the existence of a strong trace at the boundary in order to provide a simple formulation of the entropy boundary condition. Equipped with this formulation, we go on to establish the well-posedness of entropy solutions to the initial-boundary value problem. The proof utilizes the… ▽ More We consider conservation laws with source terms in a bounded domain with Dirichlet boundary conditions. We first prove the existence of a strong trace at the boundary in order to provide a simple formulation of the entropy boundary condition. Equipped with this formulation, we go on to establish the well-posedness of entropy solutions to the initial-boundary value problem. The proof utilizes the kinetic formulation and the compensated compactness method. Finally, we make use of these results to demonstrate the well-posedness in a class of discontinuous solutions to the initial-boundary value problem for the Degasperis-Procesi shallow water equation, which is a third order nonlinear dispersive equation that can be rewritten in the form of a nonlinear conservation law with a nonlocal source term. △ Less

Submitted 4 November, 2008; originally announced November 2008.

Comments: 24 pages

MSC Class: 35L65; 35G25

An explicit finite difference scheme for the Camassa-Holm equation

Authors: Giuseppe Maria Coclite, Kenneth H. Karlsen, Nils Henrik Risebro

Abstract: 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… ▽ More 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. △ Less

Submitted 21 February, 2008; originally announced February 2008.

Comments: 45 pages, 6 figures

MSC Class: 35G25; 35L05; 65M06; 65M12

A convergent finite difference method for a nonlinear variational wave equation

Authors: H. Holden, K. H. Karlsen, N. H. Risebro

Abstract: We establish rigorously convergence of a semi-discrete upwind scheme for the nonlinear variational wave equation $u_{tt} - c(u)(c(u) u_x)_x = 0$ with $u|_{t=0}=u_0$ and $u_t|_{t=0}=v_0$. Introducing Riemann invariants $R=u_t+c u_x$ and $S=u_t-c u_x$, the variational wave equation is equivalent to $R_t-c R_x=\tilde c (R^2-S^2)$ and $S_t+c S_x=-\tilde c (R^2-S^2)$ with $\tilde c=c'/(4c)$. An upwin… ▽ More We establish rigorously convergence of a semi-discrete upwind scheme for the nonlinear variational wave equation $u_{tt} - c(u)(c(u) u_x)_x = 0$ with $u|_{t=0}=u_0$ and $u_t|_{t=0}=v_0$. Introducing Riemann invariants $R=u_t+c u_x$ and $S=u_t-c u_x$, the variational wave equation is equivalent to $R_t-c R_x=\tilde c (R^2-S^2)$ and $S_t+c S_x=-\tilde c (R^2-S^2)$ with $\tilde c=c'/(4c)$. An upwind scheme is defined for this system. We assume that the the speed $c$ is positive, increasing and both $c$ and its derivative are bounded away from zero and that $R|_{t=0}, S|_{t=0}\in L^1\cap L^3$ are nonpositive. The numerical scheme is illustrated on several examples. △ Less

Submitted 28 August, 2007; originally announced August 2007.

Comments: 29 pages, 4 figures

MSC Class: 35D05; 65M12

On the existence and compactness of a two-dimensional resonant system of conservation laws

Authors: Kenneth H. Karlsen, Michel Rascle, Eitan Tadmor

Abstract: 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 compensat… ▽ More 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. △ Less

Submitted 5 February, 2007; v1 submitted 2 October, 2006; originally announced October 2006.

MSC Class: Primary 35L65; 76P05; Secondary 65M12; 65M60

An error estimate for viscous approximate solutions of degenerate parabolic equations

Authors: Steinar Evje, Kenneth H. Karlsen

Abstract: 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 solu… ▽ More 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ε. △ Less

Submitted 4 February, 2003; originally announced February 2003.

Comments: arxiv version is already official

Journal ref: J. Nonlinear Math. Phys., volume 9, no. 3 (2002) 262-281