SearcharxivSearch

arXiv subjects

Fabio Ancona

Publications and source records attributed to Fabio Ancona.

At least 19 recordsLinked to original sources

Kolmogorov $\varepsilon$-entropy of numerical solutions for scalar conservation laws with convex flux

Building on the information-theoretic perspective of P.~D.~Lax [\textit{Proc.\ Sympos., Math.\ Res.\ Center, Univ.\ Wisconsin}, 1978], we establish a two-sided quantitative compactness estimate for numerical solutions of scalar conservation laws with a uniformly convex flux, expressed in terms of Kolmogorov $\varepsilon$-entropy. We prove that, under specific grid constraints, conservative, monotone finite-difference schemes satisfying a discrete one-sided Lipschitz condition (OSLC) preserve the $1/\varepsilon$ Kolmogorov entropy scaling of the corresponding exact entropy solution set, matching the bounds obtained by De~Lellis and Golse [\textit{Comm.\ Pure Appl.\ Math.}\ \textbf{58} (2005)] and by Ancona, Glass, and Nguyen [\textit{Comm.\ Pure Appl.\ Math.}\ \textbf{65} (2012)]. Specifically, the upper bound follows from the discrete OSLC, while the lower bound relies on a uniform approximation argument on a bounded-variation precursor class. Our results show that prototypical first-order methods are high-resolution in Lax's sense. Finally, we abstract the lower bound mechanism into a general transfer principle, discuss implications for information recovery via post-processing, and indicate directions for future work.

math.NA

On the structure of entropy dissipation and regularity for quasi-entropy solutions to 1d scalar conservation laws and to isentropic Euler system with $\gamma=3$

In this paper, we first investigate quasi-entropy solutions to scalar conservation laws in several space dimensions. In this setting, we introduce a suitable Lagrangian representation for such solutions. Next, we prove that, in one space dimension and for fluxes $f$ satisfying a general non-degeneracy condition, the entropy dissipation measures of quasi-entropy solutions are concentrated on a 1-rectifiable set. The same result is obtained for the isentropic Euler system with $\gamma = 3$, for which we also slightly improve the available fractional regularity by exploiting the sign of the kinetic measures.

math.AP

Exponential convergence of multiagent systems with lack of connection

Finding conditions ensuring consensus, i.e. convergence to a common value, for a networked system is of crucial interest, both for theoretical reasons and applications. This goal is harder to achieve when connections between agents are temporarily lost. Here, we prove that known conditions (introduced by Moreau) ensure an exponential convergence to consensus, with explicit rate of convergence. The key result is related to the length of the graph (i.e. the number of connections to reach a common agent): if this is large, then convergence is slow. This general result also provides conditions for convergence of second-order cooperative systems with lack of connections.

math.OC

On the structure of optimal solutions of conservation laws at a junction with one incoming and one outgoing arc

We consider a min-max problem for strictly concave conservation laws on a 1-1 network, with inflow controls acting at the junction. We investigate the minimization problem for a functional measuring the total variation of the flow of the solutions at the node, among those solutions that maximize the time integral of the flux. To formulate this problem we establish a regularity result showing that the total variation of the boundary-flux of the solution of an initial-boundary value problem is controlled by the total variation of the initial datum and of the flux of the boundary datum. In the case the initial datum is monotone, we show that the flux of the entropy weak solution at the node provides an optimal inflow control for this min-max problem. We also exhibit two prototype examples showing that, in the case where the initial datum is not monotone, the flux of the entropy weak solution is no more optimal.

math.OC

Liouville type theorem and kinetic formulation for 2x2 systems of conservation laws

We study $\mathbf L^\infty$ entropy solutions to $2\times 2$ systems of conservation laws. 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 all 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 \br J$ is of vanishing mean oscillation, where $\br J \subset \mathbb R^+\times \mathbb R$ is a set of Hausdorff dimension at most 1.

math.AP

SBV regularity of Entropy Solutions for Hyperbolic Systems of Balance Laws with General Flux function

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, classical localization arguments, and observations in real analysis.

math.AP

SBV-like regularity of Entropy Solutions for a Scalar Balance Law

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.

math.AP

Initial Data Identification for Conservation Laws with Spatially Discontinuous Flux

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~$\omega^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.

math.AP

Consensus and Flocking under Communication Failure

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.

math.OC

An informal account of recent results on initial-boundary value problems for systems of conservation laws

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.

math.AP

Intermediate Domains for Scalar Conservation Laws

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_\alpha$, $0<\alpha<1$, such that for $\overline u\in \mathcal P_\alpha$ a faster decay rate is achieved: $\mathrm{Tot.Var.}\bigl\{ u(t,\cdot)\bigr\}\sim t^{\alpha-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.

math.AP

Backward-forward characterization of attainable set for conservation laws with spatially discontinuous flux

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\v{\i}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.

math.AP

On the continuum limit of the Follow-the-Leader model and its stability

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.

math.CA

Consensus under Persistence Excitation

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.

math.OC

Existence of vanishing physical viscosity solutions of characteristic initial-boundary value problems for systems of conservation laws

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.

math.AP

Hard-congestion limit of the p-system in the BV setting

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.

math.AP

Exponential Stability of Large BV Solutions in a Model of Granular flow

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.

math.AP