arXiv Science⌕ Search

arXiv subjects

Marco Pozza

Publications and source records attributed to Marco Pozza.

12 recordsLinked to original sources
arXiv2026

Lax-Oleinik formula for nonautonomous Hamilton-Jacobi equations on networks

We provide a Lax-Oleinik-type representation formula for solutions to nonautonomous Hamilton-Jacobi equations posed on networks with a rather general geometry. The networks may possess countably many arcs and allow for the presence of loops. We consider Hamiltonians that are convex and superlinear in the momentum variable, and satisfy a Lipschitz-type condition in the time variable. The representation formula is constructed via an overall Lagrangian that accounts for both the arc-specific dynamics and vertex-based constraints, called flux limiters, which ensure the well-posedness of the problem. We prove that the corresponding action functional admits Lipschitz continuous minimizers without needing to rule out the Zeno phenomenon. Furthermore, we demonstrate that the formula yields the unique solution to the problem even when the flux limiters exceed standard upper bounds.

math.AP↗
arXiv2025

Stochastic Homogenization of the Hamilton-Jacobi Equation on Manifolds

This article establishes a stochastic homogenization result for the first order Hamilton-Jacobi equation on a Riemannian manifold $M$, in the context of a stationary ergodic random environment. The setting involves a finitely generated abelian group $ \mathtt{G}$ of rank $b$ acting on $M$ by isometries in a free, totally discontinuous, and co-compact manner, and a family of Hamiltonians $H: T^*M \times \Omega \to \mathbb{R}$, parametrized over a probability space $(\Omega, \mathbb{P})$, which are stationary with respect to a $\mathbb{P}$-ergodic action of $\mathtt{G}$ on $\Omega$. Under standard assumptions, including strict convexity and coercivity in the momentum variable, we prove that as the scaling parameter $\varepsilon$ goes to $0$, the viscosity solutions to the rescaled equation converge almost surely and locally uniformly to the solution to a deterministic homogenized Hamilton-Jacobi equation posed on $\mathbb{R}^b$, which corresponds to the asymptotic cone of $\mathtt{G}$. In particular, this approach sheds light on the relation between the limit problem, the limit space, and the complexity of the acting group. The classical periodic case corresponds to a randomness set $\Omega$ that reduces to a singleton; other interesting examples of this setting are also described. We remark that the effective Hamiltonian $\overline{H}$ is obtained as the convex conjugate of an effective Lagrangian $\overline{L}$, which generalizes Mather's $\beta$-function to the stochastic setting; this represents a first step towards the development of a stationary-ergodic version of Aubry-Mather theory. As a geometric application, we introduce a notion of stable-like norm for stationary ergodic families of Riemannian metrics on $M$, which generalizes the classical Federer-Gromov's stable norm for closed manifolds.

math.AP↗
arXiv2025

Numerical Approximation of the Critical Value of Eikonal Hamilton-Jacobi Equations on Networks

The critical value of an eikonal equation is the unique value of a parameter for which the equation admits solutions and is deeply related to the effective Hamiltonian of a corresponding homogenization problem. We study approximation strategies for the critical value of eikonal equations posed on networks. They are based on the large time behavior of corresponding time-dependent Hamilton-Jacobi equations. We provide error estimates and some numerical tests, showing the performance and the convergence properties of the proposed algorithms.

math.NA↗
arXiv2024

Aubry Set of Eikonal Hamilton-Jacobi Equations on Networks

We extend the study of eikonal Hamilton-Jacobi equations posed on networks performed by Siconolfi and Sorrentino (Anal. PDE, 2018) to a more general setting. Their approach essentially exploits that such equations correspond to discrete problems on an abstract underlying graph. However, a specific condition they assume can be rather restricting in some settings, which motivates the generalization we propose. We still get an Aubry set, which plays the role of a uniqueness set for our problem and appears in the representation of solutions. Exploiting it we establish a new comparison principle between super and subsolutions to the equation.

math.AP↗
arXiv2024

Homogenization of Hamilton-Jacobi equations on networks

We prove a homogenization result for a family of time-dependent Hamilton-Jacobi equations, rescaled by a parameter $\varepsilon$ tending to zero, posed on a periodic network, with a suitable notion of periodicity that will be defined. As $\varepsilon$ becomes infinitesimal, we derive a limiting Hamilton-Jacobi equation in a Euclidean space, whose dimension is determined by the topological complexity of the network and is independent of the ambient space in which the network is embedded. Among the key contributions of our analysis, we extend to the setting of networks and graphs Mather's result on the asymptotic behavior of the average minimal action functional, as time tends to infinity. Additionally, we establish the well-posedness of the approximating problems, representing a nontrivial generalization of existing results for finite networks to a non-compact setting.

math.AP↗
arXiv2024

Error Estimate for a Semi-Lagrangian Scheme for Hamilton-Jacobi Equations on Networks

We examine the numerical approximation of time-dependent Hamilton-Jacobi equations on networks, providing a convergence error estimate for the semi-Lagrangian scheme introduced in (Carlini and Siconolfi, 2023), where convergence was proven without an error estimate. We derive a convergence error estimate of order one-half. This is achieved showing the equivalence between two definitions of solutions to this problem proposed in (Imbert and Monneau, 2017) and (Siconolfi, 2022), a result of independent interest, and applying a general convergence result from (Carlini, Festa and Forcadel, 2020).

math.NA↗
arXiv2023

Large Time Behavior of Solutions to Hamilton-Jacobi Equations on Networks

Starting from Namah and Roquejoffre (Commun. Partial Differ. Equations, 1999) and Fathi (C. R. Acad. Sci., Paris, S\'er. I, Math., 1998), the large time asymptotic behavior of solutions to Hamilton-Jacobi equations has been extensively investigated by many authors, mostly on smooth compact manifolds and the flat torus. They all prove that such solutions converge to solutions to a corresponding static problem. We extend this study to the case where the ambient space is a network. The presence of a "flux limiter", that is the choice of appropriate constants on each vertex of the network necessary for the well-posedness of time-dependent problems on networks, enables a richer statement for the convergence compared to the classical setting. We indeed observe that solutions converge to subsolutions to a corresponding static problem depending on the value of the flux limiter. A finite time convergence is also established.

math.AP↗
arXiv2021

Lax--Oleinik formula on networks

We provide a Lax-Oleinik-type representation formula for solutions of time-dependent Hamilton-Jacobi equations, posed on a network with a rather general geometry, under standard assumptions on the Hamiltonians. It depends on a given initial datum at $t=0$ and a flux limiter at the vertices, which both have to be assigned in order the problem to be uniquely solved. Previous results in the same direction are solely in the frame of junction, namely network with a single vertex. An important step to get the result is to define a suitable action functional and prove existence as well as Lipschitz-continuity of minimizers between two fixed points of the network in a given time, despite the fact that the integrand lacks convexity at the vertices.

math.AP↗
arXiv2021

Representation Formula for Viscosity Solutions to a class of Nonlinear Parabolic PDEs

We provide a representation formula for viscosity solutions to a class of nonlinear second order parabolic PDEs given as a sup--envelope function. This is done through a dynamic programming principle derived from Denis, Hu, Peng (2010). The formula can be seen as a nonlinear extension of the Feynman--Kac formula and is based on the backward stochastic differential equations theory.

math.AP↗
arXiv2019

Representation Formula for Viscosity Solutions to Parabolic PDEs with Sublinear Operators

We provide a representation formula for viscosity solutions to a class of nonlinear second order parabolic PDE problem involving sublinear operators. This is done through a dynamic programming principle derived from [8]. The formula can be seen as a nonlinear extension of the Feynman--Kac formula and is based on the backward stochastic differential equations theory.

math.AP↗
arXiv2018

Discounted Hamilton-Jacobi Equations on Networks and Asymptotic Analysis

We study discounted Hamilton Jacobi equations on networks, without putting any restriction on their geometry. Assuming the Hamiltonians continuous and coercive, we establish a comparison principle and provide representation formulae for solutions. We follow the approach introduced in 11, namely we associate to the differential problem on the network, a discrete functional equation on an abstract underlying graph. We perform some qualitative analysis and single out a distinguished subset of vertices, called lambda Aubry set, which shares some properties of the Aubry set for Eikonal equations on compact manifolds. We finally study the asymptotic behavior of solutions and lambda Aubry sets as the discount factor lambda becomes infinitesimal.

math.AP↗