-
Liouville type theorem and kinetic formulation for 2x2 systems of conservation laws
Authors:
Fabio Ancona,
Elio Marconi,
Luca Talamini
Abstract:
We first study $\mathbf L^\infty$ vanishing viscosity solutions to $2\times 2$ systems of conservation laws obtained with the compensated compactness method. We show that, if a uniformly convex entropy exists, these solutions satisfy a pair of kinetic equations (nonlocal in velocity), which are then shown to characterize solutions with finite entropy production.
Next, we prove a Liouville-type t…
▽ More
We first study $\mathbf L^\infty$ vanishing viscosity solutions to $2\times 2$ systems of conservation laws obtained with the compensated compactness method. We show that, if a uniformly convex entropy exists, these solutions satisfy a pair of kinetic equations (nonlocal in velocity), which are then shown to characterize solutions with finite entropy production.
Next, we prove a Liouville-type theorem for genuinely nonlinear systems, which is the main result of the paper. This implies in particular that for every finite entropy solution, every point $(t,x) \in \mathbb R^+\times \mathbb R\setminus J$ is of vanishing mean oscillation, where $J \subset \mathbb R^+\times \mathbb R$ is a set of Hausdorff dimension at most 1.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
SBV-like regularity of Entropy Solutions for a Scalar Balance Law
Authors:
Fabio Ancona,
Laura Caravenna,
Andrea Marson
Abstract:
In this note we discuss the SBV-regularity for a scalar balance law in one space dimension as a case study in order to explain the strategy that we apply in a separate paper to general hyperbolic systems of balance laws in one space dimension. While for a single balance law the more general work by Robyr is already available, the case of 1d-systems presents new behaviors that require a different s…
▽ More
In this note we discuss the SBV-regularity for a scalar balance law in one space dimension as a case study in order to explain the strategy that we apply in a separate paper to general hyperbolic systems of balance laws in one space dimension. While for a single balance law the more general work by Robyr is already available, the case of 1d-systems presents new behaviors that require a different strategy. This is why in this note we make the effort to introduce the notation and tools that are required for the case of more equations. When the flux presents linear degeneracies, it is know that entropy solutions can present nasty fractal Cantor-like behaviors, although f'(u) is still SBV: we thus discuss SBV-like regularity generalizing the work by Bianchini-Yu as SBV-regularity fails.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
SBV regularity of Entropy Solutions for Hyperbolic Systems of Balance Laws with General Flux function
Authors:
Fabio Ancona,
Laura Caravenna,
Andrea Marson
Abstract:
We prove that vanishing viscosity solutions to smooth non-degenerate systems of balance laws having small bounded variation, in one space dimension, must be functions of special bounded variation. For more than one equation, this is new also in the case of systems of conservation laws out of the context of genuine nonlinearity. For general smooth strictly hyperbolic systems of balance laws, this r…
▽ More
We prove that vanishing viscosity solutions to smooth non-degenerate systems of balance laws having small bounded variation, in one space dimension, must be functions of special bounded variation. For more than one equation, this is new also in the case of systems of conservation laws out of the context of genuine nonlinearity. For general smooth strictly hyperbolic systems of balance laws, this regularity fails, as known for systems of balance laws: we generalize the SBV-like regularity of the eigenvalue functions of the Jacobian matrix of flux from conservation to balance laws. Proofs are based on extending Oleinink-type balance estimates, with the introduction of new source measures, localization arguments, and observations in real analysis.
△ Less
Submitted 12 April, 2025; v1 submitted 9 September, 2024;
originally announced September 2024.
-
Initial Data Identification for Conservation Laws with Spatially Discontinuous Flux
Authors:
Fabio Ancona,
Luca Talamini
Abstract:
We consider a scalar conservation law with a spatially discontinuous flux at a single point $x=0$, and we study the initial data identification problem for $AB$-entropy solutions associated to an interface connection $(A,B)$. This problem consists in identifying the set of initial data driven by the corresponding $AB$-entropy solution to a given target profile~$ω^T$, at a time horizon $T>0$. We pr…
▽ More
We consider a scalar conservation law with a spatially discontinuous flux at a single point $x=0$, and we study the initial data identification problem for $AB$-entropy solutions associated to an interface connection $(A,B)$. This problem consists in identifying the set of initial data driven by the corresponding $AB$-entropy solution to a given target profile~$ω^T$, at a time horizon $T>0$. We provide a full characterization of such a set in terms of suitable integral inequalities, and we establish structural and geometrical properties of this set. A distinctive feature of the initial set is that it is in general not convex, differently from the case of conservation laws with convex flux independent on the space variable. The results rely on the properties of the $AB$-backward-forward evolution operator introduced in~\cite{talamini_ancona_attset}, and on a proper concept of $AB$-genuine/interface characteristic for $AB$-entropy solutions provided in this paper.
△ Less
Submitted 18 August, 2024; v1 submitted 1 August, 2024;
originally announced August 2024.
-
Consensus and Flocking under Communication Failure
Authors:
Fabio Ancona,
Mohamed Bentaibi,
Francesco Rossi
Abstract:
For networked systems, Persistent Excitation and Integral Scrambling Condition are conditions ensuring that communication failures between agents can occur, but a minimal level of service is ensured. We consider cooperative multi-agent systems satisfying either of such conditions. For first-order systems, we prove that consensus is attained. For second-order systems, flocking is attained under a s…
▽ More
For networked systems, Persistent Excitation and Integral Scrambling Condition are conditions ensuring that communication failures between agents can occur, but a minimal level of service is ensured. We consider cooperative multi-agent systems satisfying either of such conditions. For first-order systems, we prove that consensus is attained. For second-order systems, flocking is attained under a standard condition of nonintegrability of the interaction function. In both cases and under both conditions, the original goal is reached under no additional hypotheses on the system with respect to the case of no communication failures.
△ Less
Submitted 14 July, 2024;
originally announced July 2024.
-
An informal account of recent results on initial-boundary value problems for systems of conservation laws
Authors:
Laura V. Spinolo,
Fabio Ancona,
Andrea Marson
Abstract:
This note aims at providing a rather informal and hopefully accessible overview of the fairly long and technical work [4]. In that paper, the authors established new global-in-time existence results for admissible solutions of nonlinear systems of conservation laws defined in domains with boundaries. The main novelty in [4] is that the solution is constructed by taking into account the underlying…
▽ More
This note aims at providing a rather informal and hopefully accessible overview of the fairly long and technical work [4]. In that paper, the authors established new global-in-time existence results for admissible solutions of nonlinear systems of conservation laws defined in domains with boundaries. The main novelty in [4] is that the solution is constructed by taking into account the underlying viscous mechanism, which is relevant because, in the case of initial-boundary value problems, different viscous approximations yield in general different limits. This note will frame the analysis of [4] in the relevant context, compare the main result with the previous existing literature, and touch upon the most innnovative technical points of the proof.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Intermediate Domains for Scalar Conservation Laws
Authors:
Fabio Ancona,
Alberto Bressan,
Elio Marconi,
Luca Talamini
Abstract:
For a scalar conservation law with strictly convex flux, by Oleinik's estimates the total variation of a solution with initial data $\overline{u}\in \bf{L}^\infty(\mathbb R)$ decays like $t^{-1}$. This paper introduces a class of intermediate domains $\mathcal P_α$, $0<α<1$, such that for $\overline u\in \mathcal P_α$ a faster decay rate is achieved:…
▽ More
For a scalar conservation law with strictly convex flux, by Oleinik's estimates the total variation of a solution with initial data $\overline{u}\in \bf{L}^\infty(\mathbb R)$ decays like $t^{-1}$. This paper introduces a class of intermediate domains $\mathcal P_α$, $0<α<1$, such that for $\overline u\in \mathcal P_α$ a faster decay rate is achieved: $\mathrm{Tot.Var.}\bigl\{ u(t,\cdot)\bigr\}\sim t^{α-1}$. A key ingredient of the analysis is a ``Fourier-type" decomposition of $\overline u$ into components which oscillate more and more rapidly. The results aim at extending the theory of fractional domains for analytic semigroups to an entirely nonlinear setting.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Backward-forward characterization of attainable set for conservation laws with spatially discontinuous flux
Authors:
Fabio Ancona,
Luca Talamini
Abstract:
Consider a scalar conservation law with a spatially discontinuous flux at a single point x=0, and assume that the flux is uniformly convex when x\neq 0. Given an interface connection (A,B), we define a backward solution operator consistent with the concept of AB-entropy solution [4,13,16]. We then analyze the family A^{[AB]}(T) of profiles that can be attained at time T>0 by AB-entropy solutions w…
▽ More
Consider a scalar conservation law with a spatially discontinuous flux at a single point x=0, and assume that the flux is uniformly convex when x\neq 0. Given an interface connection (A,B), we define a backward solution operator consistent with the concept of AB-entropy solution [4,13,16]. We then analyze the family A^{[AB]}(T) of profiles that can be attained at time T>0 by AB-entropy solutions with L^\infty-initial data. We provide a characterization of A^{[AB]}(T) as fixed points of the backward-forward solution operator. As an intermediate step we establish a full characterization of A^{[AB]}(T) in terms of unilateral constraints and Oleǐnik-type estimates, valid for all connections. Building on such a characterization we derive uniform BV bounds on the flux of AB-entropy solutions, which in turn yield the L^1_{loc}-Lipschitz continuity in time of these solutions.
△ Less
Submitted 12 December, 2024; v1 submitted 29 March, 2024;
originally announced April 2024.
-
On the continuum limit of the Follow-the-Leader model and its stability
Authors:
Fabio Ancona,
Mohamed Bentaibi,
Francesco Rossi
Abstract:
We consider the Follow-the-Leader (FtL) model and study which properties of the initial positioning of the vehicles ensure its convergence to the classical Lighthill-Whitham-Richards (LWR) model for traffic flow. Robustness properties of both FtL and LWR models with respect to the initial discretization schemes are investigated. Some numerical simulations are also discussed.
We consider the Follow-the-Leader (FtL) model and study which properties of the initial positioning of the vehicles ensure its convergence to the classical Lighthill-Whitham-Richards (LWR) model for traffic flow. Robustness properties of both FtL and LWR models with respect to the initial discretization schemes are investigated. Some numerical simulations are also discussed.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Consensus under Persistence Excitation
Authors:
Fabio Ancona,
Mohamed Bentaibi,
Francesco Rossi
Abstract:
We prove that a first-order cooperative system of interacting agents converges to consensus if the so-called Persistence Excitation condition holds. This condition requires that the interaction function between any pair of agents satisfies an integral lower bound. The interpretation is that the interaction needs to ensure a minimal amount of service.
We prove that a first-order cooperative system of interacting agents converges to consensus if the so-called Persistence Excitation condition holds. This condition requires that the interaction function between any pair of agents satisfies an integral lower bound. The interpretation is that the interaction needs to ensure a minimal amount of service.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Existence of vanishing physical viscosity solutions of characteristic initial-boundary value problems for systems of conservation laws
Authors:
Fabio Ancona,
Andrea Marson,
Laura V. Spinolo
Abstract:
We consider initial boundary-value problems for nonlinear systems of conservation laws in one space variable. It is known that in general different viscous mechanisms yield different solutions in the zero-viscosity limit. Here we focus on the most technically demanding case, known as boundary characteristic case, which occurs when one of the characteristic velocities of the system vanishes. We wor…
▽ More
We consider initial boundary-value problems for nonlinear systems of conservation laws in one space variable. It is known that in general different viscous mechanisms yield different solutions in the zero-viscosity limit. Here we focus on the most technically demanding case, known as boundary characteristic case, which occurs when one of the characteristic velocities of the system vanishes. We work in small total variation regimes and assume that every characteristic field is either genuinely nonlinear or linearly degenerate. We establish existence of admissible solutions satisfying a boundary condition consistent with the vanishing viscosity approximation given by a large class of physical (that is, mixed hyperbolic-parabolic) systems. In particular, our results apply to the zero-viscosity limit of the Navier-Stokes and viscous MHD equations, written in both Eulerian and Lagrangian coordinates. Our analysis relies on a fine boundary layers analysis and is based on the introduction of a new wave front-tracking algorithm. From the technical viewpoint, the most innovative elements are i) a new class of interaction estimates for boundary layers and boundary characteristic wave fronts hitting the boundary, which yields the introduction of a new Glimm-type functional; ii) a detailed analysis of the behavior of the wave front-tracking algorithm close to the boundary, which in turn yields relevant information on the limit.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Hard-congestion limit of the p-system in the BV setting
Authors:
Fabio Ancona,
Roberta Bianchini,
Charlotte Perrin
Abstract:
This note is concerned with the rigorous justification of the so-called hard congestion limit from a compressible system with singular pressure towards a mixed compressible-incompressible system modeling partially congested dynamics, for small data in the framework of BV solutions. We present a first convergence result for perturbations of a reference state represented by a single propagating larg…
▽ More
This note is concerned with the rigorous justification of the so-called hard congestion limit from a compressible system with singular pressure towards a mixed compressible-incompressible system modeling partially congested dynamics, for small data in the framework of BV solutions. We present a first convergence result for perturbations of a reference state represented by a single propagating large interface front, while the study of a more general framework where the reference state is constituted by multiple interface fronts is announced in the conclusion and will be the subject of a forthcoming paper. A key element of the proof is the use of a suitably weighted Glimm functional that allows to obtain precise estimates on the BV norm of the front-tracking approximation.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Exponential Stability of Large BV Solutions in a Model of Granular flow
Authors:
Fabio Ancona,
Laura Caravenna,
Cleopatra Christoforou
Abstract:
We consider a $2\times 2$ system of hyperbolic balance laws, in one-space dimension, that describes the evolution of a granular material with slow erosion and deposition. The dynamics is expressed in terms of the thickness of a moving layer on top and of a standing layer at the bottom. The system is linearly degenerate along two straight lines in the phase plane and genuinely nonlinear in the subd…
▽ More
We consider a $2\times 2$ system of hyperbolic balance laws, in one-space dimension, that describes the evolution of a granular material with slow erosion and deposition. The dynamics is expressed in terms of the thickness of a moving layer on top and of a standing layer at the bottom. The system is linearly degenerate along two straight lines in the phase plane and genuinely nonlinear in the subdomains confined by such lines. In particular, the characteristic speed of the first characteristic family is strictly increasing in the region above the line of linear degeneracy and strictly decreasing in the region below such a line. The non dissipative source term is the product of two quantities that are transported with the two different characteristic speeds.
The global existence of entropy weak solutions of the Cauchy problem for such a system was established by Amadori and Shen for initial data with bounded but possibly large total variation, under the assumption that the initial height of the moving layer be sufficiently small.
In this paper we establish the Lipschitz ${\bf L^1}$-continuous dependence of the solutions on the initial data with a Lipschitz constant that grows exponentially in time. The proof of the ${\bf L^1}$-stability of solutions is based on the construction of a Lyapunov like functional equivalent to the ${\bf L^1}$-distance, in the same spirit of the functional introduced by Liu and Yang and then developed by Bressan, Liu, Yang for systems of conservation laws with genuinely nonlinear or linearly degenerate characteristic fields.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
On the global controllability of scalar conservation laws with boundary and source controls
Authors:
Fabio Ancona,
Khai T. Nguyen
Abstract:
We provide global and semi-global controllability results for hyperbolic conservation laws on a bounded domain, with a general (not necessarily convex)flux and a time-dependent source term acting as a control. The results are achieved for, possibly critical, both continuously differentiable states and BV states. The proofs are based on a combination of the return method and on the analysis of the…
▽ More
We provide global and semi-global controllability results for hyperbolic conservation laws on a bounded domain, with a general (not necessarily convex)flux and a time-dependent source term acting as a control. The results are achieved for, possibly critical, both continuously differentiable states and BV states. The proofs are based on a combination of the return method and on the analysis of the Riccati equaiton for the space derivative of the solution.
△ Less
Submitted 18 September, 2020; v1 submitted 17 September, 2020;
originally announced September 2020.
-
Attainable profiles for conservation laws with flux function spatially discontinuous at a single point
Authors:
Fabio Ancona,
Maria Teresa Chiri
Abstract:
Consider a scalar conservation law with discontinuous flux \begin{equation*}\tag{1} \quad u_{t}+f(x,u)_{x}=0, \qquad f(x,u)= \begin{cases} f_l(u)\ &\text{if}\ x<0,\\ f_r(u)\ & \text{if} \ x>0, \end{cases} \end{equation*} where $u=u(x,t)$ is the state variable and $f_{l}$, $f_{r}$ are strictly convex maps. We study the Cauchy problem for (1) from the point of view of control theory regarding the in…
▽ More
Consider a scalar conservation law with discontinuous flux \begin{equation*}\tag{1} \quad u_{t}+f(x,u)_{x}=0, \qquad f(x,u)= \begin{cases} f_l(u)\ &\text{if}\ x<0,\\ f_r(u)\ & \text{if} \ x>0, \end{cases} \end{equation*} where $u=u(x,t)$ is the state variable and $f_{l}$, $f_{r}$ are strictly convex maps. We study the Cauchy problem for (1) from the point of view of control theory regarding the initial datum as a control. Letting $u(x,t)\doteq \mathcal{S}_t^{AB} \overline u(x)$ denote the solution of the Cauchy problem for (1), with initial datum $u(\cdot,0)=\overline u$, that satisfy at $x=0$ the interface entropy condition associated to a connection $(A,B)$ (see~\cite{MR2195983}), we analyze the family of profiles that can be attained by (1) at a given time $T>0$: \begin{equation*} \mathcal{A}^{AB}(T)=\left\{\mathcal{S}_T^{AB} \,\overline u : \ \overline u\in{\bf L}^\infty(\mathbb{R})\right\}. \end{equation*} We provide a full characterization of $\mathcal{A}^{AB}(T)$ as a class of functions in $BV_{loc}(\mathbb{R}\setminus\{0\})$ that satisfy suitable Oleǐnik-type inequalities, and that admit one-sided limits at $x=0$ which satisfy specific conditions related to the interface entropy criterium. Relying on this characterisation, we establish the ${\bf L^1}_{loc}$-compactness of the set of attainable profiles when the initial data $\overline u$ vary in a given class of uniformly bounded functions, taking values in closed convex sets. We also discuss some applications of these results to optimization problems arising in porous media flow models for oil recovery and in traffic flow.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Soil searching by an artificial root
Authors:
Fabio Ancona,
Alberto Bressan,
Maria Teresa Chiri
Abstract:
We model an artificial root which grows in the soil for underground prospecting. Its evolution is described by a controlled system of two integro-partial differential equations: one for the growth of the body and the other for the elongation of the tip. At any given time, the angular velocity of the root is obtained by solving a minimization problem with state constraints. We prove the existence o…
▽ More
We model an artificial root which grows in the soil for underground prospecting. Its evolution is described by a controlled system of two integro-partial differential equations: one for the growth of the body and the other for the elongation of the tip. At any given time, the angular velocity of the root is obtained by solving a minimization problem with state constraints. We prove the existence of solutions to the evolution problem, up to the first time where a "breakdown configuration" is reached. Some numerical simulations are performed, to test the effectiveness of our feedback control algorithm.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
On Kolmogorov entropy compactness estimates for scalar conservation laws without uniform convexity
Authors:
Fabio Ancona,
Olivier Glass,
Khai T. Nguyen
Abstract:
In the case of scalar conservation laws $$ u_{t} + f(u)_{x}~=~0,\qquad t\geq 0, x\in\mathbb{R}, $$ with uniformly strictly convex flux $f$, quantitative compactness estimates - in terms of Kolmogorov entropy in ${\bf L}^{1}_{loc}$ - were established in~\cite{DLG,AON1} for sets of entropy weak solutions evaluated at a fixed time $t>0$, whose initial data have a uniformly bounded support and vary in…
▽ More
In the case of scalar conservation laws $$ u_{t} + f(u)_{x}~=~0,\qquad t\geq 0, x\in\mathbb{R}, $$ with uniformly strictly convex flux $f$, quantitative compactness estimates - in terms of Kolmogorov entropy in ${\bf L}^{1}_{loc}$ - were established in~\cite{DLG,AON1} for sets of entropy weak solutions evaluated at a fixed time $t>0$, whose initial data have a uniformly bounded support and vary in a bounded subset of ${\bf L}^\infty$. These estimates reflect the irreversibility features of entropy weak discontinuous solutions of these nonlinear equations. We provide here an extension of such estimates to the case of scalar conservation laws with a smooth flux function $f$ that either is strictly (but not necessarily uniformly) convex or has a single inflection point with a polynomial degeneracy.
△ Less
Submitted 20 June, 2018;
originally announced June 2018.
-
On the optimization of conservation law models at a junction with inflow and flow distribution controls
Authors:
Fabio Ancona,
Annalisa Cesaroni,
Giuseppe Maria Coclite,
Mauro Garavello
Abstract:
The paper proposes a general framework to analyze control problems for conservation law models on a network. Namely we consider a general class of junction distribution controls and inflow controls and we establish the compactness in $L^1$ of a class of flux-traces of solutions. We then derive the existence of solutions for two optimization problems: (I) the maximization of an integral functional…
▽ More
The paper proposes a general framework to analyze control problems for conservation law models on a network. Namely we consider a general class of junction distribution controls and inflow controls and we establish the compactness in $L^1$ of a class of flux-traces of solutions. We then derive the existence of solutions for two optimization problems: (I) the maximization of an integral functional depending on the flux-traces of solutions evaluated at points of the incoming and outgoing edges; (II) the minimization of the total variation of the optimal solutions of problem (I). Finally we provide an equivalent variational formulation of the min-max problem (II) and we discuss some numerical simulations for a junction with two incoming and two outgoing edges.
△ Less
Submitted 21 July, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
On the structure of solutions for general hyperbolic systems of balance laws
Authors:
Fabio Ancona,
Laura Caravenna,
Andrea Marson
Abstract:
The paper describes the qualitative structure of BV entropy solutions of a strictly hyperbolic system of balance laws with characteristic fields either piecewise genuinely nonlinear or linearly degenerate. In particular, we provide an accurate description of the local and global wave-front structure of a BV solution generated by a fractional step scheme combined with a wave-front tracking algorith…
▽ More
The paper describes the qualitative structure of BV entropy solutions of a strictly hyperbolic system of balance laws with characteristic fields either piecewise genuinely nonlinear or linearly degenerate. In particular, we provide an accurate description of the local and global wave-front structure of a BV solution generated by a fractional step scheme combined with a wave-front tracking algorithm. This extends the corresponding results by Binahcini and Yu for strictly hyperbolic systems of conservation laws.
△ Less
Submitted 5 March, 2018;
originally announced March 2018.
-
Compactness estimates for Hamilton-Jacobi equations depending on space
Authors:
Fabio Ancona,
Piermarco Cannarsa,
Khai T. Nguyen
Abstract:
We study quantitative estimates of compactness in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in \mathrm{Lip}(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$ u_t+H\big(x, \nabla_{\!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N, $$ with a convex and coercive Hamiltonian $H=H(x,p)$. We provide upper a…
▽ More
We study quantitative estimates of compactness in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in \mathrm{Lip}(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$ u_t+H\big(x, \nabla_{\!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N, $$ with a convex and coercive Hamiltonian $H=H(x,p)$. We provide upper and lower bounds of order $1/\varepsilon^N$ on the the Kolmogorov $\varepsilon$-entropy in $\mathbf{W}^{1,1}$ of the image through the map $S_t$ of sets of bounded, compactly supported initial data. Quantitative estimates of compactness, as suggested by P.D. Lax, could provide a measure of the order of "resolution" and of "complexity" of a numerical method implemented for this equation. We establish these estimates deriving accurate a-priori bounds on the Lipschitz, semiconcavity and semiconvexity constant of a viscosity solution when the initial data is semiconvex. The derivation of a small time controllability result is also fundamental to establish the lower bounds on the $\varepsilon$-entropy.
△ Less
Submitted 13 April, 2015;
originally announced April 2015.
-
On compactness estimates for hyperbolic systems of conservation laws
Authors:
Fabio Ancona,
Olivier Glass,
Khai T. Nguyen
Abstract:
We study the compactness in $L^{1}_{loc}$ of the semigroup mapping $(S_t)_{t > 0}$ defining entropy weak solutions of general hyperbolic systems of conservation laws in one space dimension. We establish a lower estimate for the Kolmogorov $\varepsilon$-entropy of the image through the mapping $S_t$ of bounded sets in $L^{1}\cap L^\infty$, which is of the same order $1/\varepsilon$ as the ones esta…
▽ More
We study the compactness in $L^{1}_{loc}$ of the semigroup mapping $(S_t)_{t > 0}$ defining entropy weak solutions of general hyperbolic systems of conservation laws in one space dimension. We establish a lower estimate for the Kolmogorov $\varepsilon$-entropy of the image through the mapping $S_t$ of bounded sets in $L^{1}\cap L^\infty$, which is of the same order $1/\varepsilon$ as the ones established by the authors for scalar conservation laws. We also provide an upper estimate of order $1/\varepsilon$ for the Kolmogorov $\varepsilon$-entropy of such sets in the case of Temple systems with genuinely nonlinear characteristic families, that extends the same type of estimate derived by De Lellis and Golse for scalar conservation laws with convex flux. As suggested by Lax, these quantitative compactness estimates could provide a measure of the order of "resolution" of the numerical methods implemented for these equations.
△ Less
Submitted 20 March, 2014;
originally announced March 2014.
-
Quantitative compactness estimates for Hamilton-Jacobi equations
Authors:
Fabio Ancona,
Piermarco Cannarsa,
Khai T. Nguyen
Abstract:
We study quantitative compactness estimates in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in Lip(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$ u_t+H\big(\nabla_{/!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N, $$ with a uniformly convex Hamiltonian $H=H(p)$. We provide upper and lower estimates o…
▽ More
We study quantitative compactness estimates in $\mathbf{W}^{1,1}_{loc}$ for the map $S_t$, $t>0$ that associates to every given initial data $u_0\in Lip(\mathbb{R}^N)$ the corresponding solution $S_t u_0$ of a Hamilton-Jacobi equation $$ u_t+H\big(\nabla_{/!x} u\big)=0\,, \qquad t\geq 0,\quad x\in \mathbb{R}^N, $$ with a uniformly convex Hamiltonian $H=H(p)$. We provide upper and lower estimates of order $1/\varepsilon^N$ on the the Kolmogorov $\varepsilon$-entropy in $\mathbf{W}^{1,1}$ of the image through the map $S_t$ of sets of bounded, compactly supported initial data. Estimates of this type are inspired by a question posed by P.D. Lax within the context of conservation laws, andcould provide a measure of the order of "resolution" of a numerical method implemented for this equation.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
A locally quadratic Glimm functional and sharp convergence rate of the Glimm scheme for nonlinear hyperbolic systems
Authors:
F. Ancona,
A. Marson
Abstract:
Consider the Cauchy problem for a strictly hyperbolic, $N\times N$ quasilinear system in one space dimension $$ u_t+A(u) u_x=0,\qquad u(0,x)=\bar u(x), \eqno (1) $$ where $u \mapsto A(u)$ is a smooth matrix-valued map, and the initial data $\overline u$ is assumed to have small total variation. We investigate the rate of convergence of approximate solutions of (1) constructed by the Glimm scheme…
▽ More
Consider the Cauchy problem for a strictly hyperbolic, $N\times N$ quasilinear system in one space dimension $$ u_t+A(u) u_x=0,\qquad u(0,x)=\bar u(x), \eqno (1) $$ where $u \mapsto A(u)$ is a smooth matrix-valued map, and the initial data $\overline u$ is assumed to have small total variation. We investigate the rate of convergence of approximate solutions of (1) constructed by the Glimm scheme, under the assumption that, letting $λ_k(u)$, $r_k(u)$ denote the $k$-th eigenvalue and a corresponding eigenvector of $A(u)$, respectively, for each $k$-th characteristic family the linearly degenerate manifold $$
\mathcal{M}_k \doteq \big\{u\inΩ: \nablaλ_k(u)\cdot r_k(u)=0\big\} $$ is either the whole space, or it is empty, or it consists of a finite number of smooth, $N-1$-dimensional, connected, manifolds that are transversal to the characteristic vector field $r_k$. We introduce a Glimm type functional which is the sum of the cubic interaction potential defined in \cite{sie}, and of a quadratic term that takes into account interactions of waves of the same family with strength smaller than some fixed threshold parameter. Relying on an adapted wave tracing method, and on the decrease amount of such a functional, we obtain the same type of error estimates valid for Glimm approximate solutions of hyperbolic systems satisfying the classical Lax assumptions of genuine nonlinearity or linear degeneracy of the characteristic families.
△ Less
Submitted 19 April, 2009;
originally announced April 2009.
-
Nearly Time Optimal Stabilizing Patchy Feedbacks
Authors:
Fabio Ancona,
Alberto Bressan
Abstract:
We consider the time optimal stabilization problem for a nonlinear control system $\dot x=f(x,u)$. Let $τ(y)$ be the minimum time needed to steer the system from the state $y\in\R^n$ to the origin, and call $\A(T)$ the set of initial states that can be steered to the origin in time $τ(y)\leq T$. Given any $\ve>0$, in this paper we construct a patchy feedback $u=U(x)$ such that every solution of…
▽ More
We consider the time optimal stabilization problem for a nonlinear control system $\dot x=f(x,u)$. Let $τ(y)$ be the minimum time needed to steer the system from the state $y\in\R^n$ to the origin, and call $\A(T)$ the set of initial states that can be steered to the origin in time $τ(y)\leq T$. Given any $\ve>0$, in this paper we construct a patchy feedback $u=U(x)$ such that every solution of $\dot x=f(x, U(x))$, $x(0)=y\in \A(T)$ reaches an $\ve$-neighborhood of the origin within time $τ(y)+\ve$.
△ Less
Submitted 22 December, 2005;
originally announced December 2005.
-
Some Results on the Boundary Control of Systems of Conservation Laws
Authors:
F. Ancona,
A. Bressan,
G. M. Coclite
Abstract:
This note is concerned with the study of the initial boundary value problem for systems of conservation laws from the point of view of control theory, where the initial data is fixed and the boundary data are regarded as control functions. We first consider the problem of controllability at a fixed time for genuinely nonlinear Temple class systems, and present a description of the set of attaina…
▽ More
This note is concerned with the study of the initial boundary value problem for systems of conservation laws from the point of view of control theory, where the initial data is fixed and the boundary data are regarded as control functions. We first consider the problem of controllability at a fixed time for genuinely nonlinear Temple class systems, and present a description of the set of attainable configurations of the corresponding solutions in terms of suitable Oleinik-type estimates. We next present a result concerning the asymptotic stabilization near a constant state for general $n\times n$ systems. Finally we show with an example that in general one cannot achieve exact controllability to a constant state in finite time.
△ Less
Submitted 23 May, 2002;
originally announced May 2002.
-
On the Attainable set for Temple Class Systems with Boundary Controls
Authors:
Fabio Ancona,
Giuseppe Maria Coclite
Abstract:
Consider the initial-boundary value problem for a strictly hyperbolic, genuinely nonlinear, Temple class system of conservation laws % $$ u_t+f(u)_x=0, \qquad u(0,x)=\ov u(x), \qquad {{array}{ll} &u(t,a)=\widetilde u_a(t), \noalign{\smallskip} &u(t,b)=\widetilde u_b(t), {array}. \eqno(1) $$ on the domain $Ω=\{(t,x)\in\R^2 : t\geq 0, a \le x\leq b\}.$ We study the mixed problem (1) from the point…
▽ More
Consider the initial-boundary value problem for a strictly hyperbolic, genuinely nonlinear, Temple class system of conservation laws % $$ u_t+f(u)_x=0, \qquad u(0,x)=\ov u(x), \qquad {{array}{ll} &u(t,a)=\widetilde u_a(t), \noalign{\smallskip} &u(t,b)=\widetilde u_b(t), {array}. \eqno(1) $$ on the domain $Ω=\{(t,x)\in\R^2 : t\geq 0, a \le x\leq b\}.$ We study the mixed problem (1) from the point of view of control theory, taking the initial data $\bar u$ fixed, and regarding the boundary data $\widetilde u_a, \widetilde u_b$ as control functions that vary in prescribed sets $\U_a, \U_b$, of $\li$ boundary controls. In particular, we consider the family of configurations $$ \A(T) \doteq \big\{u(T,\cdot); ~ u {\rm is a sol. to} (1), \quad \widetilde u_a\in \U_a, \widetilde u_b \in \U_b \big\} $$ that can be attained by the system at a given time $T>0$, and we give a description of the attainable set $\A(T)$ in terms of suitable Oleinik-type conditions. We also establish closure and compactness of the set $\A(T)$ in the $lu$ topology.
△ Less
Submitted 15 May, 2002;
originally announced May 2002.
-
Stability Rates for Patchy Vector Fields
Authors:
Fabio Ancona,
Alberto Bressan
Abstract:
The paper is concerned with the stability of the set of trajectories of a vector field, in the presence of impulsive perturbations. Patchy vector fields are discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. For patchy vector fields in the plane, with polygonal patches in generic position, we show that the distance between a perturb…
▽ More
The paper is concerned with the stability of the set of trajectories of a vector field, in the presence of impulsive perturbations. Patchy vector fields are discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. For patchy vector fields in the plane, with polygonal patches in generic position, we show that the distance between a perturbed trajectory and an unperturbed one is of the same order of magnitude as the impulsive forcing term.
△ Less
Submitted 9 November, 2001;
originally announced November 2001.
-
Flow Stability of Patchy Vector Fields and Robust Feedback Stabilization
Authors:
Fabio Ancona,
Alberto Bressan
Abstract:
The paper is concerned with patchy vector fields, a class of discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. We prove the stability of the corresponding solution set w.r.t. a wide class of impulsive perturbations. These results yield the robusteness of patchy feedback controls in the presence of measurement errors and external di…
▽ More
The paper is concerned with patchy vector fields, a class of discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. We prove the stability of the corresponding solution set w.r.t. a wide class of impulsive perturbations. These results yield the robusteness of patchy feedback controls in the presence of measurement errors and external disturbances.
△ Less
Submitted 9 November, 2001;
originally announced November 2001.
