Showing 1–50 of 58 results for author: Holden, H

The Aubin-Lions-Dubinskii theorems on compactness in Bochner spaces

Authors: Harald Hanche-Olsen, Helge Holden

Abstract: A fundamental issue in the theory of time-dependent differential equations is to characterize precompact sets in Bochner spaces. We here survey the theory, starting with the classical Aubin-Lions inequality and its important extension by Dubinskii. In particular, we give a simple and self-contained proof of the compactness result due to Chen, Jungel, and Liu. A fundamental issue in the theory of time-dependent differential equations is to characterize precompact sets in Bochner spaces. We here survey the theory, starting with the classical Aubin-Lions inequality and its important extension by Dubinskii. In particular, we give a simple and self-contained proof of the compactness result due to Chen, Jungel, and Liu. △ Less

Submitted 17 November, 2024; v1 submitted 11 February, 2024; originally announced February 2024.

MSC Class: 46B50; 46E35; 46N20; 46E30

Journal ref: Published in Pure and Applied Functional Analysis, Volume 9, No 5, pp. 1133-1144 (2024)

Error Estimates for Systems of Nonlocal Balance Laws Modeling Dense Multilane Vehicular Traffic

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: We discuss a class of coupled systems of nonlocal nonlinear balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution are proven via doubling of the variables arguments and convergent finite volume approximations, respectively. The primary goal is to establish that the finite volume numerical appr… ▽ More We discuss a class of coupled systems of nonlocal nonlinear balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution are proven via doubling of the variables arguments and convergent finite volume approximations, respectively. The primary goal is to establish that the finite volume numerical approximations of the system converge to the unique entropy solution at a rate of $\sqrt{Δt}$, even when using relatively less regular one-sided kernels, compared to the globally smooth kernels analyzed in [Num. Math., 156(1):237-271, 2024] and [IMA J. Numer. Anal., 44(6):3354-3392, 2024].The applicability of the proven theory to a general class of systems of nonlocal balance laws coupled strongly through the convective part and weakly through the source part, is indicated. As the support of the kernel tends to zero, the convergence of the entropy solutions of the proposed model to its local counterparts [SIAM J. Math. Anal., 51: 3694-3713, 2019] is also discussed. Numerical simulations illustrating the behavior of the entropy solutions of the coupled nonlocal systems are also shown. △ Less

Submitted 10 May, 2025; v1 submitted 28 December, 2023; originally announced December 2023.

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

The continuum limit of non-local Follow-the-Leader models

Authors: Helge Holden, Nils Henrik Risebro

Abstract: We study a generalized Follow-the-Leader model where the driver considers the position of an arbitrary but finite number of vehicles ahead, as well as the position of the vehicle directly behind the driver. It is proved that this model converges to the classical Lighthill-Whitham-Richards model for traffic flow when traffic becomes dense. This also underscores the robustness of the Lighthill-Whith… ▽ More We study a generalized Follow-the-Leader model where the driver considers the position of an arbitrary but finite number of vehicles ahead, as well as the position of the vehicle directly behind the driver. It is proved that this model converges to the classical Lighthill-Whitham-Richards model for traffic flow when traffic becomes dense. This also underscores the robustness of the Lighthill-Whitham-Richards model. △ Less

Submitted 7 May, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: Changed to periodic boundary conditions

MSC Class: 35L02; 35Q35; 82B21

Well-posedness and error estimates for coupled systems of nonlocal conservation laws

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: This article deals with the error estimates for numerical approximations of the entropy solutions of coupled systems of nonlocal hyperbolic conservation laws. The systems can be strongly coupled through the nonlocal coefficient present in the convection term. A fairly general class of fluxes is being considered, where the local part of the flux can be discontinuous at infinitely many points, with… ▽ More This article deals with the error estimates for numerical approximations of the entropy solutions of coupled systems of nonlocal hyperbolic conservation laws. The systems can be strongly coupled through the nonlocal coefficient present in the convection term. A fairly general class of fluxes is being considered, where the local part of the flux can be discontinuous at infinitely many points, with possible accumulation points. The aims of the paper are threefold: 1. Establishing existence of entropy solutions with rough local flux for such systems, by deriving a uniform BV bound on the numerical approximations; 2. Deriving a general Kuznetsov-type lemma (and hence uniqueness) for such systems with both smooth and rough local fluxes; 3. Proving the convergence rate of the finite volume approximations to the entropy solutions of the system as $1/2$ and $1/3$, with homogeneous (in any dimension) and rough local parts (in one dimension), respectively. Numerical experiments are included to illustrate the convergence rates. △ Less

Submitted 2 August, 2023; originally announced August 2023.

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

On the accuracy of the finite volume approximations to nonlocal conservation laws

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: In this article, we discuss the error analysis for a certain class of monotone finite volume schemes approximating nonlocal scalar conservation laws, modeling traffic flow and crowd dynamics, without any additional assumptions on monotonicity or linearity of the kernel $μ$ or the flux $f$. We first prove a novel Kuznetsov-type lemma for this class of PDEs and thereby show that the finite volume ap… ▽ More In this article, we discuss the error analysis for a certain class of monotone finite volume schemes approximating nonlocal scalar conservation laws, modeling traffic flow and crowd dynamics, without any additional assumptions on monotonicity or linearity of the kernel $μ$ or the flux $f$. We first prove a novel Kuznetsov-type lemma for this class of PDEs and thereby show that the finite volume approximations converge to the entropy solution at the rate of $\sqrt{Δt}$ in $L^1(\mathbb{R})$. To the best of our knowledge, this is the first proof of any type of convergence rate for this class of conservation laws. We also present numerical experiments to illustrate this result. △ Less

Submitted 31 May, 2023; originally announced June 2023.

Comments: 27 pages, 5 figures, 2 tables

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

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

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 stopping 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

Noise-driven bifurcations in a neural field system modelling networks of grid cells

Authors: Jose A. Carrillo, Helge Holden, Susanne Solem

Abstract: The activity generated by an ensemble of neurons is affected by various noise sources. It is a well-recognised challenge to understand the effects of noise on the stability of such networks. We demonstrate that the patterns of activity generated by networks of grid cells emerge from the instability of homogeneous activity for small levels of noise. This is carried out by analysing the robustness o… ▽ More The activity generated by an ensemble of neurons is affected by various noise sources. It is a well-recognised challenge to understand the effects of noise on the stability of such networks. We demonstrate that the patterns of activity generated by networks of grid cells emerge from the instability of homogeneous activity for small levels of noise. This is carried out by analysing the robustness of network activity patterns with respect to noise in an upscaled noisy grid cell model in the form of a system of partial differential equations. Inhomogeneous network patterns are numerically understood as branches bifurcating from unstable homogeneous states for small noise levels. We show that there is a phase transition occurring as the level of noise decreases. Our numerical study also indicates the presence of hysteresis phenomena close to the precise critical noise value. △ Less

Submitted 18 May, 2022; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: 24 pages, 7 figures

MSC Class: Primary: 92B20; Secondary: 92C20; 35Q92

Uniqueness of conservative solutions for the Hunter-Saxton equation

Authors: Katrin Grunert, Helge Holden

Abstract: We show that the Hunter-Saxton equation $u_t+uu_x=\frac14\big(\int_{-\infty}^x dμ(t,z)- \int^{\infty}_x dμ(t,z)\big)$ and $μ_t+(uμ)_x=0$ has a unique, global, weak, and conservative solution $(u,μ)$ of the Cauchy problem on the line. We show that the Hunter-Saxton equation $u_t+uu_x=\frac14\big(\int_{-\infty}^x dμ(t,z)- \int^{\infty}_x dμ(t,z)\big)$ and $μ_t+(uμ)_x=0$ has a unique, global, weak, and conservative solution $(u,μ)$ of the Cauchy problem on the line. △ Less

Submitted 25 March, 2022; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: 54 pages

MSC Class: 35A02; 35L45; 35B60

Journal ref: Res. Math. Sci. 9, 19 (2022)

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)

On angular measures in axiomatic Euclidean planar geometry

Authors: Martin Grötschel, Harald Hanche-Olsen, Helge Holden, Michael P. Krystek

Abstract: We address the issue of angular measure, which is a contested issue for the International System of Units (SI). We provide a mathematically rigorous and axiomatic presentation of angular measure that leads to the traditional way of measuring a plane angle subtended by a circular arc as the length of the arc divided by the radius of the arc, a scalar quantity. We distinguish between the \emph{angul… ▽ More We address the issue of angular measure, which is a contested issue for the International System of Units (SI). We provide a mathematically rigorous and axiomatic presentation of angular measure that leads to the traditional way of measuring a plane angle subtended by a circular arc as the length of the arc divided by the radius of the arc, a scalar quantity. We distinguish between the \emph{angular magnitude}, defined in terms of congruence classes of angles, and the (numerical) \emph{angular measure} that can be assigned to each congruence class in such a way that, e.g., the right angle has the numerical value $\frac\pi2$. We argue that angles are intrinsically different from lengths, as there are angles of special significance (such as the right angle, or the straight angle), while there is no distinguished length in Euclidean geometry. This is further underlined by the observation that, while units such as the metre and kilogram have been refined over time due to advances in metrology, no such refinement of the radian is conceivable. It is a mathematically defined unit, set in stone for eternity. We conclude that angular measures are numbers, and the current definition in SI should remain unaltered. △ Less

Submitted 15 November, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

Comments: The earlier version has been split into two companion parts. The other part is the more opinionated one, but short on technical detail. The present part covers the technical side of the issue

MSC Class: 51M04; 51A25; 01A20

Singular Diffusion with Neumann boundary conditions

Authors: Giuseppe Maria Coclite, Helge Holden, Nils Henrik Risebro

Abstract: In this paper we develop an existence theory for the nonlinear initial-boundary value problem with singular diffusion $\partial_t u = \text{div}(k(x)\nabla G(u))$, $u|_{t=0}=u_0$ with Neumann boundary conditions $k(x)\nabla G(u)\cdot ν= 0$. Here $x\in B\subset \mathbb{R}^d$, a bounded open set with locally Lipchitz boundary, and with $ν$ as the unit outer normal. The function $G$ is Lipschitz cont… ▽ More In this paper we develop an existence theory for the nonlinear initial-boundary value problem with singular diffusion $\partial_t u = \text{div}(k(x)\nabla G(u))$, $u|_{t=0}=u_0$ with Neumann boundary conditions $k(x)\nabla G(u)\cdot ν= 0$. Here $x\in B\subset \mathbb{R}^d$, a bounded open set with locally Lipchitz boundary, and with $ν$ as the unit outer normal. The function $G$ is Lipschitz continuous and nondecreasing, while $k(x)$ is diagonal matrix. We show that any two weak entropy solutions $u$ and $v$ satisfy $\Vert{u(t)-v(t)}\Vert_{L^1(B)}\le \Vert{u|_{t=0}-v|_{t=0}}\Vert_{L^1(B)}e^{Ct}$, for almost every $t\ge 0$, and a constant $C=C(k,G,B)$. If we restrict to the case when the entries $k_i$ of $k$ depend only on the corresponding component, $k_i=k_i(x_i)$, we show that there exists an entropy solution, thus establishing in this case that the problem is well-posed in the sense of Hadamard. △ Less

Submitted 26 April, 2020; originally announced April 2020.

Comments: 27 pages, 5 figures

MSC Class: 35K20; 35K65; 65N06

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

On The Microscopic Modeling of Vehicular Traffic on General Networks

Authors: Rinaldo M. Colombo, Helge Holden, Francesca Marcellini

Abstract: We introduce a formalism to deal with the microscopic modeling of vehicular traffic on a road network. Traffic on each road is uni-directional, and the dynamics of each vehicle is described by a Follow-the-Leader model. From a mathematical point of view, this amounts to define a system of ordinary differential equations on an arbitrary network. A general existence and uniqueness result is provided… ▽ More We introduce a formalism to deal with the microscopic modeling of vehicular traffic on a road network. Traffic on each road is uni-directional, and the dynamics of each vehicle is described by a Follow-the-Leader model. From a mathematical point of view, this amounts to define a system of ordinary differential equations on an arbitrary network. A general existence and uniqueness result is provided, while priorities at junctions are shown to hinder the stability of solutions. We investigate the occurrence of the Braess paradox in a time-dependent setting within this model. The emergence of Nash equilibria in a non-stationary situation results in the appearance of Braess type paradoxes, and this is supported by numerical simulations. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 15 pages

MSC Class: 90B20; 91B74; 91D10

A Lipschitz metric for the Camassa--Holm equation

Authors: J. A. Carrillo, K. Grunert, H. Holden

Abstract: We analyze stability of conservative solutions of the Cauchy problem on the line for the Camassa--Holm (CH) equation. Generically, the solutions of the CH equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the bre… ▽ More We analyze stability of conservative solutions of the Cauchy problem on the line for the Camassa--Holm (CH) equation. Generically, the solutions of the CH equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the breakdown of the solution is associated with a complicated interplay where the measure becomes singular. The main result in this paper is the construction of a Lipschitz metric that compares two solutions of the CH equation with the respective initial data. The Lipschitz metric is based on the use of the Wasserstein metric. △ Less

Submitted 4 April, 2019; originally announced April 2019.

Journal ref: Forum Math. Sigma 8, e27, 292 pages (2020)

Models for dense multilane vehicular traffic

Authors: Helge Holden, Nils Henrik Risebro

Abstract: We study vehicular traffic on a road with multiple lanes and dense, unidirectional traffic following the traditional Lighthill-Whitham-Richards model where the velocity in each lane depends only on the density in the same lane. The model assumes that the tendency of drivers to change to a neighboring lane is proportional to the difference in velocity between the lanes. The model allows for an arbi… ▽ More We study vehicular traffic on a road with multiple lanes and dense, unidirectional traffic following the traditional Lighthill-Whitham-Richards model where the velocity in each lane depends only on the density in the same lane. The model assumes that the tendency of drivers to change to a neighboring lane is proportional to the difference in velocity between the lanes. The model allows for an arbitrary number of lanes, each with its distinct velocity function. The resulting model is a well-posed weakly coupled system of hyperbolic conservation laws with a Lipschitz continuous source. We show several relevant bounds for solutions of this model that are not valid for general weakly coupled systems. Furthermore, by taking an appropriately scaled limit as the number of lanes increases, we derive a model describing a continuum of lanes, and show that the $N$-lane model converges to a weak solution of the continuum model. △ Less

Submitted 4 December, 2018; originally announced December 2018.

MSC Class: Primary: 35L60; Secondary: 35L65; 35L67; 82B21

The continuum limit of Follow-the-Leader models - a short proof

Authors: Helge Holden, Nils Henrik Risebro

Abstract: We offer a simple and self-contained proof that the Follow-the-Leader model converges to the Lighthill-Whitham-Richards model for traffic flow. We offer a simple and self-contained proof that the Follow-the-Leader model converges to the Lighthill-Whitham-Richards model for traffic flow. △ Less

Submitted 27 September, 2017; v1 submitted 22 September, 2017; originally announced September 2017.

MSC Class: 35L02

An improvement of the Kolmogorov-Riesz compactness theorem

Authors: Harald Hanche-Olsen, Helge Holden, Eugenia Malinnikova

Abstract: The purpose of this short note is to provide a new and very short proof of a result by Sudakov, offering an important improvement of the classical result by Kolmogorov-Riesz on compact subsets of Lebesgue spaces. The purpose of this short note is to provide a new and very short proof of a result by Sudakov, offering an important improvement of the classical result by Kolmogorov-Riesz on compact subsets of Lebesgue spaces. △ Less

Submitted 21 March, 2019; v1 submitted 3 May, 2017; originally announced May 2017.

MSC Class: 46E30; 46E35 (Primary); 46N20 (Secondary)

On the equivalence of Eulerian and Lagrangian variables for the two-component Camassa-Holm system

Authors: Markus Grasmair, Katrin Grunert, Helge Holden

Abstract: The Camassa-Holm equation and its two-component Camassa-Holm system generalization both experience wave breaking in finite time. To analyze this, and to obtain solutions past wave breaking, it is common to reformulate the original equation given in Eulerian coordinates, into a system of ordinary differential equations in Lagrangian coordinates. It is of considerable interest to study the stability… ▽ More The Camassa-Holm equation and its two-component Camassa-Holm system generalization both experience wave breaking in finite time. To analyze this, and to obtain solutions past wave breaking, it is common to reformulate the original equation given in Eulerian coordinates, into a system of ordinary differential equations in Lagrangian coordinates. It is of considerable interest to study the stability of solutions and how this is manifested in Eulerian and Lagrangian variables. We identify criteria of convergence, such that convergence in Eulerian coordinates is equivalent to convergence in Lagrangian coordinates. In addition, we show how one can approximate global conservative solutions of the scalar Camassa-Holm equation by smooth solutions of the two-component Camassa-Holm system that do not experience wave breaking. △ Less

Submitted 18 April, 2017; originally announced April 2017.

MSC Class: 35Q53; 35B35 (Primary); 35Q20 (Secondary)

On the Braess Paradox with Nonlinear Dynamics and Control Theory

Authors: Rinaldo M. Colombo, Helge Holden

Abstract: We show the existence of the Braess paradox for a traffic network with nonlinear dynamics described by the Lighthill-Whitham-Richards model for traffic flow. Furthermore, we show how one can employ control theory to avoid the paradox. The paper offers a general framework applicable to time-independent, uncongested flow on networks. These ideas are illustrated through examples. We show the existence of the Braess paradox for a traffic network with nonlinear dynamics described by the Lighthill-Whitham-Richards model for traffic flow. Furthermore, we show how one can employ control theory to avoid the paradox. The paper offers a general framework applicable to time-independent, uncongested flow on networks. These ideas are illustrated through examples. △ Less

Submitted 27 March, 2017; originally announced March 2017.

MSC Class: 35L65 (Primary); 90B20 (Secondary)

Journal ref: Published in J. Optim. Theory Appl. (2016) 168:216-230

Follow-the-Leader models can be viewed as a numerical approximation to the Lighthill-Whitham-Richards model for traffic flow

Authors: Helge Holden, Nils Henrik Risebro

Abstract: We show how to view the standard Follow-the-Leader (FtL) model as a numerical method to compute numerically the solution of the Lighthill--Whitham--Richards (LWR) model for traffic flow. As a result we offer a simple proof that FtL models converge to the LWR model for traffic flow when traffic becomes dense. The proof is based on techniques used in the analysis of numerical schemes for conservatio… ▽ More We show how to view the standard Follow-the-Leader (FtL) model as a numerical method to compute numerically the solution of the Lighthill--Whitham--Richards (LWR) model for traffic flow. As a result we offer a simple proof that FtL models converge to the LWR model for traffic flow when traffic becomes dense. The proof is based on techniques used in the analysis of numerical schemes for conservation laws, and the equivalence of weak entropy solutions of conservation laws in the Lagrangian and Eulerian formulation. △ Less

Submitted 21 September, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

MSC Class: 35L02; 35Q35; 82B21

A Lipschitz metric for the Hunter-Saxton equation

Authors: José Antonio Carrillo, Katrin Grunert, Helge Holden

Abstract: We analyze stability of conservative solutions of the Cauchy problem on the line for the (integrated) Hunter-Saxton (HS) equation. Generically, the solutions of the HS equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy… ▽ More We analyze stability of conservative solutions of the Cauchy problem on the line for the (integrated) Hunter-Saxton (HS) equation. Generically, the solutions of the HS equation develop singularities with steep gradients while preserving continuity of the solution itself. In order to obtain uniqueness, one is required to augment the equation itself by a measure that represents the associated energy, and the breakdown of the solution is associated with a complicated interplay where the measure becomes singular. The main result in this paper is the construction of a Lipschitz metric that compares two solutions of the HS equation with the respective initial data. The Lipschitz metric is based on the use of the Wasserstein metric. △ Less

Submitted 9 December, 2016; originally announced December 2016.

Comments: 22 pages, 8 figures

MSC Class: 35Q53; 35B35; 35B60

Journal ref: Comm. Partial Differential Equations 44, 309-334 (2019)

Dirichlet-to-Neumann Maps, Abstract Weyl-Titchmarsh $M$-Functions, and a Generalized Index of Unbounded Meromorphic Operator-Valued Functions

Authors: Jussi Behrndt, Fritz Gesztesy, Helge Holden, Roger Nichols

Abstract: We introduce a generalized index for certain meromorphic, unbounded, operator-valued functions. The class of functions is chosen such that energy parameter dependent Dirichlet-to-Neumann maps associated to uniformly elliptic partial differential operators, particularly, non-self-adjoint Schrödinger operators, on bounded Lipschitz domains, and abstract operator-valued Weyl-Titchmarsh $M$-functions… ▽ More We introduce a generalized index for certain meromorphic, unbounded, operator-valued functions. The class of functions is chosen such that energy parameter dependent Dirichlet-to-Neumann maps associated to uniformly elliptic partial differential operators, particularly, non-self-adjoint Schrödinger operators, on bounded Lipschitz domains, and abstract operator-valued Weyl-Titchmarsh $M$-functions and Donoghue-type $M$-functions corresponding to closed extensions of symmetric operators belong to it. The principal purpose of this paper is to prove index formulas that relate the difference of the algebraic multiplicities of the discrete eigenvalues of Robin realizations of non-self-adjoint Schrödinger operators, and more abstract pairs of closed operators in Hilbert spaces with the generalized index of the corresponding energy dependent Dirichlet-to-Neumann maps and abstract Weyl-Titchmarsh $M$-functions, respectively. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: A natural continuation of our arXiv:1512.06962 submission

MSC Class: Primary: 47A53; 47A56. Secondary: 47A10; 47B07

On the index of meromorphic operator-valued functions and some applications

Authors: Jussi Behrndt, Fritz Gesztesy, Helge Holden, Roger Nichols

Abstract: We revisit and connect several notions of algebraic multiplicities of zeros of analytic operator-valued functions and discuss the concept of the index of meromorphic operator-valued functions in complex, separable Hilbert spaces. Applications to abstract perturbation theory and associated Birman-Schwinger-type operators and to the operator-valued Weyl-Titchmarsh functions associated to closed exte… ▽ More We revisit and connect several notions of algebraic multiplicities of zeros of analytic operator-valued functions and discuss the concept of the index of meromorphic operator-valued functions in complex, separable Hilbert spaces. Applications to abstract perturbation theory and associated Birman-Schwinger-type operators and to the operator-valued Weyl-Titchmarsh functions associated to closed extensions of dual pairs of closed operators are provided. △ Less

Submitted 11 November, 2016; v1 submitted 22 December, 2015; originally announced December 2015.

Comments: 24 pages, some corrections and updates were made. This paper revisits and extends some parts of arXiv:1405.4910

MSC Class: Primary: 47A10; 47A53; 47A56; 47A75. Secondary: 47A55; 47B10

Real-valued algebro-geometric solutions of the two-component Camassa-Holm hierarchy

Authors: Jonathan Eckhardt, Fritz Gesztesy, Helge Holden, Aleksey Kostenko, Gerald Teschl

Abstract: We provide a construction of the two-component Camassa-Holm (CH-2) hierarchy employing a new zero-curvature formalism and identify and describe in detail the isospectral set associated to all real-valued, smooth, and bounded algebro-geometric solutions of the $n$th equation of the stationary CH-2 hierarchy as the real $n$-dimensional torus $\mathbb{T}^n$. We employ Dubrovin-type equations for auxi… ▽ More We provide a construction of the two-component Camassa-Holm (CH-2) hierarchy employing a new zero-curvature formalism and identify and describe in detail the isospectral set associated to all real-valued, smooth, and bounded algebro-geometric solutions of the $n$th equation of the stationary CH-2 hierarchy as the real $n$-dimensional torus $\mathbb{T}^n$. We employ Dubrovin-type equations for auxiliary divisors and certain aspects of direct and inverse spectral theory for self-adjoint singular Hamiltonian systems. In particular, we employ Weyl-Titchmarsh theory for singular (canonical) Hamiltonian systems. While we focus primarily on the case of stationary algebro-geometric CH-2 solutions, we note that the time-dependent case subordinates to the stationary one with respect to isospectral torus questions. △ Less

Submitted 12 December, 2015; originally announced December 2015.

Comments: 35 pages. arXiv admin note: substantial text overlap with arXiv:nlin/0208021

MSC Class: Primary 35Q51; 35Q53; 37K15; Secondary 37K10; 37K20

Journal ref: Ann. Inst. Fourier (Grenoble) 67 (2017), no. 3, 1185-1230

Isentropic Fluid Dynamics in a Curved Pipe

Authors: Rinaldo M. Colombo, Helge Holden

Abstract: In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The pro… ▽ More In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The proof relies on the front-tracking method and is based on [1]. △ Less

Submitted 4 November, 2015; originally announced November 2015.

MSC Class: 35L65

Addendum to "The Kolmogorov--Riesz compactness theorem" (Expo. Math. 28:385--394 (2010))

Authors: Harald Hanche-Olsen, Helge Holden

Abstract: We show how to improve on Theorem 10 in [arXiv:0906.4883], describing when subsets in $W^{1,p}(\mathbb{R}^n)$ are totally bounded subsets of $L^q(\mathbb{R}^n)$ for $p<n$ and $p\le q<p^*$. This improvement was first shown by Dosso, Fofana, and Sanogo (2013) in the context of Morrey--Sobolov spaces. We show how to improve on Theorem 10 in [arXiv:0906.4883], describing when subsets in $W^{1,p}(\mathbb{R}^n)$ are totally bounded subsets of $L^q(\mathbb{R}^n)$ for $p<n$ and $p\le q<p^*$. This improvement was first shown by Dosso, Fofana, and Sanogo (2013) in the context of Morrey--Sobolov spaces. △ Less

Submitted 7 October, 2015; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 2 pages. This is an addendum to our paper arXiv:0906.4883 . To appear in Expo. Math. Revision 2 fixes a minor mistake in the final estimate (pointed out by the referee)

MSC Class: 46E30; 46E35 (Primary); 46N20 (Secondary)

The general peakon-antipeakon solution for the Camassa-Holm equation

Authors: Katrin Grunert, Helge Holden

Abstract: We compute explicitly the peakon-antipeakon solution of the Camassa-Holm equation $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ in the non-symmetric and $α$-dissipative case. The solution experiences wave breaking in finite time, and the explicit solution illuminates the interplay between the various variables. We compute explicitly the peakon-antipeakon solution of the Camassa-Holm equation $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ in the non-symmetric and $α$-dissipative case. The solution experiences wave breaking in finite time, and the explicit solution illuminates the interplay between the various variables. △ Less

Submitted 26 February, 2015; originally announced February 2015.

Comments: 23 pages, 5 figures

MSC Class: 35Q53; 35B35; 35Q20

Journal ref: J. Hyper. Differential Equations 13, 353-380 (2016)

Convergence of finite difference schemes for the Benjamin-Ono equation

Authors: Rajib Dutta, Helge Holden, Ujjwal Koley, Nils Henrik Risebro

Abstract: In this paper, we analyze finite difference schemes for Benjamin-Ono equation, u_t = uu_x + Hu_{xx}, where H denotes the Hilbert transform. Both the decaying case on the full line and the periodic case are considered. If the initial data are sufficiently regular, fully discrete finite difference schemes shown to converge to a classical solution. Finally, the convergence is illustrated by several e… ▽ More In this paper, we analyze finite difference schemes for Benjamin-Ono equation, u_t = uu_x + Hu_{xx}, where H denotes the Hilbert transform. Both the decaying case on the full line and the periodic case are considered. If the initial data are sufficiently regular, fully discrete finite difference schemes shown to converge to a classical solution. Finally, the convergence is illustrated by several examples. △ Less

Submitted 26 April, 2016; v1 submitted 18 August, 2014; originally announced August 2014.

Comments: 22 pages, 2 figures

On Factorizations of Analytic Operator-Valued Functions and Eigenvalue Multiplicity Questions

Authors: Fritz Gesztesy, Helge Holden, Roger Nichols

Abstract: We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by employing a different technique based on factorizations of analytic operator-valued functions due to Howland. Factorizations of analytic operator-valued functions are… ▽ More We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by employing a different technique based on factorizations of analytic operator-valued functions due to Howland. Factorizations of analytic operator-valued functions are of particular interest in themselves and again we re-derive Howland's results and subsequently extend them. Considering algebraic multiplicities of finitely meromorphic operator-valued functions, we recall the notion of the index of a finitely meromorphic operator-valued function and use that to prove an analog of the well-known Weinstein-Aronszajn formula relating algebraic multiplicities of the underlying unperturbed and perturbed operators. Finally, we consider pairs of projections for which the difference belongs to the trace class and relate their Fredholm index to the index of the naturally underlying Birman-Schwinger operator. △ Less

Submitted 3 May, 2020; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 31 pages, corrected and extended the 1st paragraph in the proof of Theorem 4.5 and Theorem 5.5

MSC Class: 47A10; 47A75; 47A53 (Primary); 47B10; 47G10 (Secondary)

Journal ref: Integral Eq. Operator Theory 82, 61--94 (2015)

A continuous interpolation between conservative and dissipative solutions for the two-component Camassa-Holm system

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We introduce a novel solution concept, denoted $α$-dissipative solutions, that provides a continuous interpolation between conservative and dissipative solutions of the Cauchy problem for the two-component Camassa-Holm system on the line with vanishing asymptotics. All the $α$-dissipative solutions are global weak solutions of the same equation in Eulerian coordinates, yet they exhibit rather dist… ▽ More We introduce a novel solution concept, denoted $α$-dissipative solutions, that provides a continuous interpolation between conservative and dissipative solutions of the Cauchy problem for the two-component Camassa-Holm system on the line with vanishing asymptotics. All the $α$-dissipative solutions are global weak solutions of the same equation in Eulerian coordinates, yet they exhibit rather distinct behavior at wave breaking. The solutions are constructed after a transformation into Lagrangian variables, where the solution is carefully modified at wave breaking. △ Less

Submitted 5 February, 2014; originally announced February 2014.

Comments: 58 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1301.1445

MSC Class: 35Q53; 35B35; 35Q20

Journal ref: Forum Math. Sigma 3, e1, 73 pages (2015)

Operator splitting for the Benjamin-Ono equation

Authors: R. Dutta, H. Holden, U. Koley, N. H. Risebro

Abstract: In this paper we analyze operator splitting for the Benjamin-Ono equation, u_t = uu_x + Hu_xx, where H denotes the Hilbert transform. If the initial data are sufficiently regular, we show the convergence of both Godunov and Strang splitting. In this paper we analyze operator splitting for the Benjamin-Ono equation, u_t = uu_x + Hu_xx, where H denotes the Hilbert transform. If the initial data are sufficiently regular, we show the convergence of both Godunov and Strang splitting. △ Less

Submitted 26 April, 2016; v1 submitted 7 November, 2013; originally announced November 2013.

Comments: 18 Pages

On an inverse problem for scalar conservation laws

Authors: Helge Holden, Fabio Simone Priuli, Nils Henrik Risebro

Abstract: We study in what sense one can determine the function $k=k(x)$ in the scalar hyperbolic conservation law $u_t+(k(x)f(u))_x=0$ by observing the solution $u(t,\dott)$ of the Cauchy problem with initial data $u|_{t=0}=u_o$. We study in what sense one can determine the function $k=k(x)$ in the scalar hyperbolic conservation law $u_t+(k(x)f(u))_x=0$ by observing the solution $u(t,\dott)$ of the Cauchy problem with initial data $u|_{t=0}=u_o$. △ Less

Submitted 17 March, 2014; v1 submitted 26 September, 2013; originally announced September 2013.

Comments: 35 pages, 4 figures

MSC Class: 35L03; 35R30

Journal ref: Inverse Problems 30, no. 3, 035015, 1-35 (2014)

Periodic conservative solutions for the two-component Camassa-Holm system

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We construct a global continuous semigroup of weak periodic conservative solutions to the two-component Camassa-Holm system, $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}+ηρρ_x=0$ and $ρ_t+(uρ)_x=0$, for initial data $(u,ρ)|_{t=0}$ in $H^1_{\rm per}\times L^2_{\rm per}$. It is necessary to augment the system with an associated energy to identify the conservative solution. We study the stability of t… ▽ More We construct a global continuous semigroup of weak periodic conservative solutions to the two-component Camassa-Holm system, $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}+ηρρ_x=0$ and $ρ_t+(uρ)_x=0$, for initial data $(u,ρ)|_{t=0}$ in $H^1_{\rm per}\times L^2_{\rm per}$. It is necessary to augment the system with an associated energy to identify the conservative solution. We study the stability of these periodic solutions by constructing a Lipschitz metric. Moreover, it is proved that if the density $ρ$ is bounded away from zero, the solution is smooth. Furthermore, it is shown that given a sequence $ρ_0^n$ of initial values for the densities that tend to zero, then the associated solutions $u^n$ will approach the global conservative weak solution of the Camassa-Holm equation. Finally it is established how the characteristics govern the smoothness of the solution. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: To appear in Spectral Analysis, Differential Equations and Mathematical Physics, Proc. Symp. Pure Math., Amer. Math. Soc

MSC Class: 35Q53; 35B35; 35B20

Global dissipative solutions of the two-component Camassa-Holm system for initial data with nonvanishing asymptotics

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We show existence of a global weak dissipative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line with nonvanishing and distinct spatial asymptotics. The influence from the second component in the 2CH system on the regularity of the solution, and, in particular, the consequences for wave breaking, is discussed. Furthermore, the interplay between dissipative… ▽ More We show existence of a global weak dissipative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line with nonvanishing and distinct spatial asymptotics. The influence from the second component in the 2CH system on the regularity of the solution, and, in particular, the consequences for wave breaking, is discussed. Furthermore, the interplay between dissipative and conservative solutions is treated. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: arXiv admin note: text overlap with arXiv:1111.3188

MSC Class: 35Q53; 35B35; 35Q20

Journal ref: Nonlinear Anal. Real World Appl. 17, 203-244 (2014)

Convergence of a fully discrete finite difference scheme for the Korteweg-de Vries equation

Authors: Helge Holden, Ujjwal Koley, Nils Henrik Risebro

Abstract: We prove convergence of a fully discrete finite difference scheme for the Korteweg--de Vries equation. Both the decaying case on the full line and the periodic case are considered. If the initial data $u|_{t=0}=u_0$ is of high regularity, $u_0\in H^3(\R)$, the scheme is shown to converge to a classical solution, and if the regularity of the initial data is smaller, $u_0\in L^2(\R)$, then the schem… ▽ More We prove convergence of a fully discrete finite difference scheme for the Korteweg--de Vries equation. Both the decaying case on the full line and the periodic case are considered. If the initial data $u|_{t=0}=u_0$ is of high regularity, $u_0\in H^3(\R)$, the scheme is shown to converge to a classical solution, and if the regularity of the initial data is smaller, $u_0\in L^2(\R)$, then the scheme converges strongly in $L^2(0,T;L^2_{\mathrm{loc}}(\R))$ to a weak solution. △ Less

Submitted 31 August, 2012; originally announced August 2012.

MSC Class: Primary: 65M12; 35Q20; Secondary: 65M06

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

Global solutions for the two-component Camassa-Holm system

Authors: K. Grunert, H. Holden, X. Raynaud

Abstract: We prove existence of a global conservative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line, allowing for nonvanishing and distinct asymptotics at plus and minus infinity. The solution is proven to be smooth as long as the density is bounded away from zero. Furthermore, we show that by taking the limit of vanishing density in the 2CH system, we obtain the… ▽ More We prove existence of a global conservative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line, allowing for nonvanishing and distinct asymptotics at plus and minus infinity. The solution is proven to be smooth as long as the density is bounded away from zero. Furthermore, we show that by taking the limit of vanishing density in the 2CH system, we obtain the global conservative solution of the (scalar) Camassa-Holm equation, which provides a novel way to define and obtain these solutions. Finally, it is shown that while solutions of the 2CH system have infinite speed of propagation, singularities travel with finite speed. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Comments: arXiv admin note: some text overlap with arXiv:1106.4125

MSC Class: 35Q53; 35B35; 35Q20

Journal ref: Comm. Partial Differential Equations 37, 2245-2271 (2012)

Global conservative solutions of the Camassa-Holm equation for initial data nonvanishing asymptotics

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We study global conservative solutions of the Cauchy problem for the Camassa-Holm equation $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with nonvanishing and distinct spatial asymptotics. We study global conservative solutions of the Cauchy problem for the Camassa-Holm equation $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with nonvanishing and distinct spatial asymptotics. △ Less

Submitted 21 June, 2011; originally announced June 2011.

MSC Class: Primary: 35Q53; 35B35; Secondary: 35Q20

Journal ref: Discrete Contin. Dyn. Syst. 32, 4209-4227 (2012)

Operator splitting for partial differential equations with Burgers nonlinearity

Authors: Helge Holden, Christian Lubich, Nils Henrik Risebro

Abstract: We provide a new analytical approach to operator splitting for equations of the type $u_t=Au+u u_x$ where $A$ is a linear differential operator such that the equation is well-posed. Particular examples include the viscous Burgers' equation, the Korteweg-de Vries (KdV) equation, the Benney-Lin equation, and the Kawahara equation. We show that the Strang splitting method converges with the expected… ▽ More We provide a new analytical approach to operator splitting for equations of the type $u_t=Au+u u_x$ where $A$ is a linear differential operator such that the equation is well-posed. Particular examples include the viscous Burgers' equation, the Korteweg-de Vries (KdV) equation, the Benney-Lin equation, and the Kawahara equation. We show that the Strang splitting method converges with the expected rate if the initial data are sufficiently regular. In particular, for the KdV equation we obtain second-order convergence in $H^r$ for initial data in $H^{r+5}$ with arbitrary $r\ge 1$. △ Less

Submitted 21 February, 2011; originally announced February 2011.

MSC Class: 35Q53; 65M12; 65M15

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

Abstract Wave Equations and Associated Dirac-Type Operators

Authors: Fritz Gesztesy, Jerome A. Goldstein, Helge Holden, Gerald Teschl

Abstract: We discuss the unitary equivalence of generators $G_{A,R}$ associated with abstract damped wave equations of the type $\ddot{u} + R \dot{u} + A^*A u = 0$ in some Hilbert space $\mathcal{H}_1$ and certain non-self-adjoint Dirac-type operators $Q_{A,R}$ (away from the nullspace of the latter) in $\mathcal{H}_1 \oplus \mathcal{H}_2$. The operator $Q_{A,R}$ represents a non-self-adjoint perturbation o… ▽ More We discuss the unitary equivalence of generators $G_{A,R}$ associated with abstract damped wave equations of the type $\ddot{u} + R \dot{u} + A^*A u = 0$ in some Hilbert space $\mathcal{H}_1$ and certain non-self-adjoint Dirac-type operators $Q_{A,R}$ (away from the nullspace of the latter) in $\mathcal{H}_1 \oplus \mathcal{H}_2$. The operator $Q_{A,R}$ represents a non-self-adjoint perturbation of a supersymmetric self-adjoint Dirac-type operator. Special emphasis is devoted to the case where 0 belongs to the continuous spectrum of $A^*A$. In addition to the unitary equivalence results concerning $G_{A,R}$ and $Q_{A,R}$, we provide a detailed study of the domain of the generator $G_{A,R}$, consider spectral properties of the underlying quadratic operator pencil $M(z) = |A|^2 - iz R - z^2 I_{\mathcal{H}_1}$, $z\in\mathbb{C}$, derive a family of conserved quantities for abstract wave equations in the absence of damping, and prove equipartition of energy for supersymmetric self-adjoint Dirac-type operators. The special example where $R$ represents an appropriate function of $|A|$ is treated in depth and the semigroup growth bound for this example is explicitly computed and shown to coincide with the corresponding spectral bound for the underlying generator and also with that of the corresponding Dirac-type operator. The cases of undamped (R=0) and damped ($R \neq 0$) abstract wave equations as well as the cases $A^* A \geq εI_{\mathcal{H}_1}$ for some $ε> 0$ and $0 \in σ(A^* A)$ (but 0 not an eigenvalue of $A^*A$) are separately studied in detail. △ Less

Submitted 1 December, 2012; v1 submitted 22 December, 2010; originally announced December 2010.

Comments: 44 pages

MSC Class: Primary 35J25; 35L05; 35L15; Secondary 35J40; 35P05; 47A05; 47A10; 47F05

Journal ref: Ann. Mat. Pura Appl. 191, 631-676 (2012)

Lipschitz metric for the Camassa-Holm equation on the line

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We study stability of solutions of the Cauchy problem on the line for the Camassa-Holm equation $u_t-u_{xxt}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and the usual norms in… ▽ More We study stability of solutions of the Cauchy problem on the line for the Camassa-Holm equation $u_t-u_{xxt}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and the usual norms in $H^1$ and $L^\infty$ is clarified. The method extends to the generalized hyperelastic-rod equation $u_t-u_{xxt}+f(u)_x-f(u)_{xxx}+(g(u)+\frac12 f"(u)(u_x)^2)_x=0$ (for $f$ without inflection points). △ Less

Submitted 4 October, 2010; originally announced October 2010.

Journal ref: Discrete Contin. Dyn. Syst. 33, 2809-2827 (2013)

The Damped String Problem Revisited

Authors: Fritz Gesztesy, Helge Holden

Abstract: We revisit the damped string equation on a compact interval with a variety of boundary conditions and derive an infinite sequence of trace formulas associated with it, employing methods familiar from supersymmetric quantum mechanics. We also derive completeness and Riesz basis results (with parentheses) for the associated root functions under less smoothness assumptions on the coefficients than us… ▽ More We revisit the damped string equation on a compact interval with a variety of boundary conditions and derive an infinite sequence of trace formulas associated with it, employing methods familiar from supersymmetric quantum mechanics. We also derive completeness and Riesz basis results (with parentheses) for the associated root functions under less smoothness assumptions on the coefficients than usual, using operator theoretic methods (rather than detailed eigenvalue and root function asymptotics) only. △ Less

Submitted 9 September, 2010; originally announced September 2010.

Comments: 39 pages

MSC Class: Primary 35J25; 35J40; 47A05; Secondary 47A10; 47F05

$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.

Lipschitz metric for the periodic Camassa-Holm equation

Authors: Katrin Grunert, Helge Holden, Xavier Raynaud

Abstract: We study stability of conservative solutions of the Cauchy problem for the periodic Camassa-Holm equation $u_t-u_{xxt}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and usual… ▽ More We study stability of conservative solutions of the Cauchy problem for the periodic Camassa-Holm equation $u_t-u_{xxt}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and usual norms in $H^1_{\rm per}$ and $L^\infty_{\rm per}$ is clarified. △ Less

Submitted 19 May, 2010; originally announced May 2010.

MSC Class: 35Q53 (Primary); 35B35; 35B20 (Secondary)

Journal ref: J. Differential Equations 250, 1460-1492 (2011)

Global semigroup of conservative solutions of the nonlinear variational wave equation

Authors: Helge Holden, Xavier Raynaud

Abstract: We prove the existence of a global semigroup for conservative solutions of the nonlinear variational wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$. We allow for initial data $u|_{t=0}$ and $u_t|_{t=0}$ that contain measures. We assume that $0<κ^{-1}\le c(u) \le κ$. Solutions of this equation may experience concentration of the energy density $(u_t^2+c(u)^2u_x^2)dx$ into sets of measure zero. The solu… ▽ More We prove the existence of a global semigroup for conservative solutions of the nonlinear variational wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$. We allow for initial data $u|_{t=0}$ and $u_t|_{t=0}$ that contain measures. We assume that $0<κ^{-1}\le c(u) \le κ$. Solutions of this equation may experience concentration of the energy density $(u_t^2+c(u)^2u_x^2)dx$ into sets of measure zero. The solution is constructed by introducing new variables related to the characteristics, whereby singularities in the energy density become manageable. Furthermore, we prove that the energy may only focus on a set of times of zero measure or at points where $c'(u)$ vanishes. A new numerical method to construct conservative solutions is provided and illustrated on examples. △ Less

Submitted 28 October, 2009; originally announced October 2009.

MSC Class: 35L70; 49K20

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

The Kolmogorov-Riesz compactness theorem

Authors: Harald Hanche-Olsen, Helge Holden

Abstract: We show that the Arzela-Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly's theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem. We show that the Arzela-Ascoli theorem and Kolmogorov compactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly's theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem. △ Less

Submitted 4 January, 2010; v1 submitted 26 June, 2009; originally announced June 2009.

Comments: This version is lightly revised in response to referee comments. The paper will appear in Expositiones Mathematicae

MSC Class: 46E30; 46E35; 46N20

Journal ref: Expositiones Mathematicae 28 (2010) 385-394

Lipschitz metric for the Hunter-Saxton equation

Authors: Alberto Bressan, Helge Holden, Xavier Raynaud

Abstract: We study stability of solutions of the Cauchy problem for the Hunter-Saxton equation $u_t+uu_x=\frac14(\int_{-\infty}^xu_x^2 dx-\int_{x}^\infty u_x^2 dx)$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. We study stability of solutions of the Cauchy problem for the Hunter-Saxton equation $u_t+uu_x=\frac14(\int_{-\infty}^xu_x^2 dx-\int_{x}^\infty u_x^2 dx)$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. △ Less

Submitted 23 April, 2009; originally announced April 2009.

MSC Class: 35Q53; 35B35; 35Q20