-
Convergence rates for the vanishing viscosity approximation of Hamilton-Jacobi equations: the convex case
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
We study the speed of convergence in $L^\infty$ norm of the vanishing viscosity process for Hamilton-Jacobi equations with uniformly or strictly convex Hamiltonian terms with superquadratic behavior. Our analysis boosts previous findings on the rate of convergence for this procedure in $L^p$ norms, showing rates in sup-norm of order $\mathcal{O}(ε^β)$, $β\in(1/2,1)$, or $\mathcal{O}(ε|\logε|)$ wit…
▽ More
We study the speed of convergence in $L^\infty$ norm of the vanishing viscosity process for Hamilton-Jacobi equations with uniformly or strictly convex Hamiltonian terms with superquadratic behavior. Our analysis boosts previous findings on the rate of convergence for this procedure in $L^p$ norms, showing rates in sup-norm of order $\mathcal{O}(ε^β)$, $β\in(1/2,1)$, or $\mathcal{O}(ε|\logε|)$ with respect to the vanishing viscosity parameter $ε$, depending on the regularity of the initial datum of the problem and convexity properties of the Hamiltonian. Our proofs are based on integral methods and avoid the use of techniques based on stochastic control or the maximum principle.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Remarks on the rate of convergence of the vanishing viscosity process of Hamilton-Jacobi equations
Authors:
Alessandro Goffi
Abstract:
We establish a linear $L^p$ rate of convergence, $1<p<\infty$, with respect to the viscosity $\varepsilon$ for the vanishing viscosity process of semiconcave solutions of Hamilton-Jacobi equations by regularizing the PDE with the half-Laplacian $-\varepsilon(-Δ)^{1/2}$. Our result reveals a nonlocal phenomenon, since it improves the known estimates obtained via the classical second order vanishing…
▽ More
We establish a linear $L^p$ rate of convergence, $1<p<\infty$, with respect to the viscosity $\varepsilon$ for the vanishing viscosity process of semiconcave solutions of Hamilton-Jacobi equations by regularizing the PDE with the half-Laplacian $-\varepsilon(-Δ)^{1/2}$. Our result reveals a nonlocal phenomenon, since it improves the known estimates obtained via the classical second order vanishing viscosity regularization $\varepsilonΔu$. It also highlights a faster rate of convergence than the available $\mathcal{O}(\varepsilon|\log\varepsilon|)$ rate in sup-norm obtained by the doubling of variable technique for this nonlocal approximation. The result is based on integral methods and does not use the maximum principle.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Building Damage Assessment in Conflict Zones: A Deep Learning Approach Using Geospatial Sub-Meter Resolution Data
Authors:
Matteo Risso,
Alessia Goffi,
Beatrice Alessandra Motetti,
Alessio Burrello,
Jean Baptiste Bove,
Enrico Macii,
Massimo Poncino,
Daniele Jahier Pagliari,
Giuseppe Maffeis
Abstract:
Very High Resolution (VHR) geospatial image analysis is crucial for humanitarian assistance in both natural and anthropogenic crises, as it allows to rapidly identify the most critical areas that need support. Nonetheless, manually inspecting large areas is time-consuming and requires domain expertise. Thanks to their accuracy, generalization capabilities, and highly parallelizable workload, Deep…
▽ More
Very High Resolution (VHR) geospatial image analysis is crucial for humanitarian assistance in both natural and anthropogenic crises, as it allows to rapidly identify the most critical areas that need support. Nonetheless, manually inspecting large areas is time-consuming and requires domain expertise. Thanks to their accuracy, generalization capabilities, and highly parallelizable workload, Deep Neural Networks (DNNs) provide an excellent way to automate this task. Nevertheless, there is a scarcity of VHR data pertaining to conflict situations, and consequently, of studies on the effectiveness of DNNs in those scenarios. Motivated by this, our work extensively studies the applicability of a collection of state-of-the-art Convolutional Neural Networks (CNNs) originally developed for natural disasters damage assessment in a war scenario. To this end, we build an annotated dataset with pre- and post-conflict images of the Ukrainian city of Mariupol. We then explore the transferability of the CNN models in both zero-shot and learning scenarios, demonstrating their potential and limitations. To the best of our knowledge, this is the first study to use sub-meter resolution imagery to assess building damage in combat zones.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
Global geometric estimates for the heat equation via duality methods
Authors:
Alessandro Goffi,
Giulio Tralli
Abstract:
We discuss first-order and second-order regularization effects for solutions to the classical heat equation. In particular we propose a global approach to study smoothing effects of Hamilton-Li-Yau type: such approach is nonlinear in spirit and it is based on the Bernstein method and duality techniques à la Evans. In a similar way, we also deal with the conservation of geometric properties for the…
▽ More
We discuss first-order and second-order regularization effects for solutions to the classical heat equation. In particular we propose a global approach to study smoothing effects of Hamilton-Li-Yau type: such approach is nonlinear in spirit and it is based on the Bernstein method and duality techniques à la Evans. In a similar way, we also deal with the conservation of geometric properties for the heat flow as initiated by Brascamp-Lieb. In contrast to maximum principle methods based on sup-norm procedures, the integral method we adopt relies on contractivity properties for advection-diffusion equations and it applies to problems with homogeneous Neumann conditions posed equally on bounded and unbounded convex domains under suitable assumptions on their geometry.
△ Less
Submitted 23 September, 2024;
originally announced September 2024.
-
The Impact of an XAI-Augmented Approach on Binary Classification with Scarce Data
Authors:
Ximing Wen,
Rosina O. Weber,
Anik Sen,
Darryl Hannan,
Steven C. Nesbit,
Vincent Chan,
Alberto Goffi,
Michael Morris,
John C. Hunninghake,
Nicholas E. Villalobos,
Edward Kim,
Christopher J. MacLellan
Abstract:
Point-of-Care Ultrasound (POCUS) is the practice of clinicians conducting and interpreting ultrasound scans right at the patient's bedside. However, the expertise needed to interpret these images is considerable and may not always be present in emergency situations. This reality makes algorithms such as machine learning classifiers extremely valuable to augment human decisions. POCUS devices are b…
▽ More
Point-of-Care Ultrasound (POCUS) is the practice of clinicians conducting and interpreting ultrasound scans right at the patient's bedside. However, the expertise needed to interpret these images is considerable and may not always be present in emergency situations. This reality makes algorithms such as machine learning classifiers extremely valuable to augment human decisions. POCUS devices are becoming available at a reasonable cost in the size of a mobile phone. The challenge of turning POCUS devices into life-saving tools is that interpretation of ultrasound images requires specialist training and experience. Unfortunately, the difficulty to obtain positive training images represents an important obstacle to building efficient and accurate classifiers. Hence, the problem we try to investigate is how to explore strategies to increase accuracy of classifiers trained with scarce data. We hypothesize that training with a few data instances may not suffice for classifiers to generalize causing them to overfit. Our approach uses an Explainable AI-Augmented approach to help the algorithm learn more from less and potentially help the classifier better generalize.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Interpolated time-Hölder regularity of solutions of fully nonlinear parabolic equations
Authors:
Alessandro Goffi
Abstract:
We show by the maximum principle parabolic interior Schauder estimates for a special class of fully nonlinear parabolic Isaacs equations, providing an Evans-Krylov result for the model equation $\min\{\inf_βL_βu,\sup_γL_γu\}-\partial_t u=0$, where $L_β,L_γ$ are linear operators with possibly variable Hölder coefficients. Along the way, we provide a short survey on the regularity theory for fully n…
▽ More
We show by the maximum principle parabolic interior Schauder estimates for a special class of fully nonlinear parabolic Isaacs equations, providing an Evans-Krylov result for the model equation $\min\{\inf_βL_βu,\sup_γL_γu\}-\partial_t u=0$, where $L_β,L_γ$ are linear operators with possibly variable Hölder coefficients. Along the way, we provide a short survey on the regularity theory for fully nonlinear parabolic equations of second order.
△ Less
Submitted 26 June, 2024; v1 submitted 18 June, 2024;
originally announced June 2024.
-
Interpretable Models for Detecting and Monitoring Elevated Intracranial Pressure
Authors:
Darryl Hannan,
Steven C. Nesbit,
Ximing Wen,
Glen Smith,
Qiao Zhang,
Alberto Goffi,
Vincent Chan,
Michael J. Morris,
John C. Hunninghake,
Nicholas E. Villalobos,
Edward Kim,
Rosina O. Weber,
Christopher J. MacLellan
Abstract:
Detecting elevated intracranial pressure (ICP) is crucial in diagnosing and managing various neurological conditions. These fluctuations in pressure are transmitted to the optic nerve sheath (ONS), resulting in changes to its diameter, which can then be detected using ultrasound imaging devices. However, interpreting sonographic images of the ONS can be challenging. In this work, we propose two sy…
▽ More
Detecting elevated intracranial pressure (ICP) is crucial in diagnosing and managing various neurological conditions. These fluctuations in pressure are transmitted to the optic nerve sheath (ONS), resulting in changes to its diameter, which can then be detected using ultrasound imaging devices. However, interpreting sonographic images of the ONS can be challenging. In this work, we propose two systems that actively monitor the ONS diameter throughout an ultrasound video and make a final prediction as to whether ICP is elevated. To construct our systems, we leverage subject matter expert (SME) guidance, structuring our processing pipeline according to their collection procedure, while also prioritizing interpretability and computational efficiency. We conduct a number of experiments, demonstrating that our proposed systems are able to outperform various baselines. One of our SMEs then manually validates our top system's performance, lending further credibility to our approach while demonstrating its potential utility in a clinical setting.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Interior Hölder and Calderón-Zygmund estimates for fully nonlinear equations with natural gradient growth
Authors:
Alessandro Goffi
Abstract:
We establish local Hölder estimates for viscosity solutions of fully nonlinear second order equations with quadratic growth in the gradient and unbounded right-hand side in $L^q$ spaces, for an integrability threshold $q$ guaranteeing the validity of the maximum principle. This is done through a nonlinear Harnack inequality for nonhomogeneous equations driven by a uniformly elliptic Isaacs operato…
▽ More
We establish local Hölder estimates for viscosity solutions of fully nonlinear second order equations with quadratic growth in the gradient and unbounded right-hand side in $L^q$ spaces, for an integrability threshold $q$ guaranteeing the validity of the maximum principle. This is done through a nonlinear Harnack inequality for nonhomogeneous equations driven by a uniformly elliptic Isaacs operator and perturbed by a Hamiltonian term with natural growth in the gradient. As a byproduct, we derive a new Liouville property for entire $L^p$ viscosity solutions of fully nonlinear equations as well as a nonlinear Calderón-Zygmund estimate for strong solutions of such equations.
△ Less
Submitted 14 October, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
On maximal regularity estimates for quasilinear evolution equations via the integral Bernstein method
Authors:
Alessandro Goffi,
Tommaso Leonori
Abstract:
This work addresses the problem of (global) maximal regularity for quasilinear evolution equations with sublinear gradient growth and right-hand side in Lebesgue spaces, complemented with Neumann boundary conditions. The proof relies on a suitable variation of the Bernstein technique and the Bochner identity, and provides new results even for the simpler parabolic $p$-Laplacian equation with unbou…
▽ More
This work addresses the problem of (global) maximal regularity for quasilinear evolution equations with sublinear gradient growth and right-hand side in Lebesgue spaces, complemented with Neumann boundary conditions. The proof relies on a suitable variation of the Bernstein technique and the Bochner identity, and provides new results even for the simpler parabolic $p$-Laplacian equation with unbounded source term. As a byproduct we also obtain a second-order estimate that can be of independent interest when the right-side of the equation belongs to $L^m$, $m\neq 2$. This approach leads to new results even for stationary problems.
△ Less
Submitted 8 April, 2024; v1 submitted 24 October, 2023;
originally announced October 2023.
-
Quantitative and qualitative properties for Hamilton-Jacobi PDEs via the nonlinear adjoint method
Authors:
Fabio Camilli,
Alessandro Goffi,
Cristian Mendico
Abstract:
We provide some new integral estimates for solutions to Hamilton-Jacobi equations and we discuss several consequences, ranging from $L^p$-rates of convergence for the vanishing viscosity approximation to regularizing effects for the Cauchy problem in the whole Euclidean space and Liouville-type theorems. Our approach is based on duality techniques à la Evans and a careful study of advection-diffus…
▽ More
We provide some new integral estimates for solutions to Hamilton-Jacobi equations and we discuss several consequences, ranging from $L^p$-rates of convergence for the vanishing viscosity approximation to regularizing effects for the Cauchy problem in the whole Euclidean space and Liouville-type theorems. Our approach is based on duality techniques à la Evans and a careful study of advection-diffusion equations. The optimality of the results is discussed by several examples.
△ Less
Submitted 28 November, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
On the strong maximum principle for fully nonlinear parabolic equations of second order
Authors:
Alessandro Goffi
Abstract:
We provide a proof of strong maximum and minimum principles for fully nonlinear uniformly parabolic equations of second order. The approach is of parabolic nature, slightly differs from the earlier one proposed by L. Nirenberg and does not exploit the parabolic Harnack inequality.
We provide a proof of strong maximum and minimum principles for fully nonlinear uniformly parabolic equations of second order. The approach is of parabolic nature, slightly differs from the earlier one proposed by L. Nirenberg and does not exploit the parabolic Harnack inequality.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Interior a priori estimates for supersolutions of fully nonlinear subelliptic equations under geometric conditions
Authors:
Alessandro Goffi
Abstract:
In this note, we prove interior a priori first- and second-order estimates for solutions of fully nonlinear degenerate elliptic inequalities structured over the vector fields of Carnot groups, under the main assumption that $u$ is semiconvex along the fields. These estimates for supersolutions are new even for linear subelliptic inequalities in nondivergence form, whereas in the nonlinear setting…
▽ More
In this note, we prove interior a priori first- and second-order estimates for solutions of fully nonlinear degenerate elliptic inequalities structured over the vector fields of Carnot groups, under the main assumption that $u$ is semiconvex along the fields. These estimates for supersolutions are new even for linear subelliptic inequalities in nondivergence form, whereas in the nonlinear setting they do not require neither convexity nor concavity on the second derivatives. We complement the analysis exhibiting an explicit example showing that horizontal $W^{2,q}$ regularity of Calderón-Zygmund type for fully nonlinear subelliptic equations posed on the Heisenberg group cannot be in general expected in the range $q<Q$, $Q$ being the homogeneous dimension of the group.
△ Less
Submitted 28 November, 2024; v1 submitted 26 May, 2023;
originally announced May 2023.
-
High-order estimates for fully nonlinear equations under weak concavity assumptions
Authors:
Alessandro Goffi
Abstract:
This paper studies a priori and regularity estimates of Evans-Krylov type in Hölder spaces for fully nonlinear uniformly elliptic and parabolic equations of second order when the operator fails to be concave or convex in the space of symmetric matrices. In particular, it is assumed that either the level sets are convex or the operator is concave, convex or close to a linear function near infinity.…
▽ More
This paper studies a priori and regularity estimates of Evans-Krylov type in Hölder spaces for fully nonlinear uniformly elliptic and parabolic equations of second order when the operator fails to be concave or convex in the space of symmetric matrices. In particular, it is assumed that either the level sets are convex or the operator is concave, convex or close to a linear function near infinity. As a byproduct, these results imply polynomial Liouville theorems for entire solutions of elliptic equations and for ancient solutions to parabolic problems.
△ Less
Submitted 15 September, 2023; v1 submitted 26 May, 2023;
originally announced May 2023.
-
MobilePTX: Sparse Coding for Pneumothorax Detection Given Limited Training Examples
Authors:
Darryl Hannan,
Steven C. Nesbit,
Ximing Wen,
Glen Smith,
Qiao Zhang,
Alberto Goffi,
Vincent Chan,
Michael J. Morris,
John C. Hunninghake,
Nicholas E. Villalobos,
Edward Kim,
Rosina O. Weber,
Christopher J. MacLellan
Abstract:
Point-of-Care Ultrasound (POCUS) refers to clinician-performed and interpreted ultrasonography at the patient's bedside. Interpreting these images requires a high level of expertise, which may not be available during emergencies. In this paper, we support POCUS by developing classifiers that can aid medical professionals by diagnosing whether or not a patient has pneumothorax. We decomposed the ta…
▽ More
Point-of-Care Ultrasound (POCUS) refers to clinician-performed and interpreted ultrasonography at the patient's bedside. Interpreting these images requires a high level of expertise, which may not be available during emergencies. In this paper, we support POCUS by developing classifiers that can aid medical professionals by diagnosing whether or not a patient has pneumothorax. We decomposed the task into multiple steps, using YOLOv4 to extract relevant regions of the video and a 3D sparse coding model to represent video features. Given the difficulty in acquiring positive training videos, we trained a small-data classifier with a maximum of 15 positive and 32 negative examples. To counteract this limitation, we leveraged subject matter expert (SME) knowledge to limit the hypothesis space, thus reducing the cost of data collection. We present results using two lung ultrasound datasets and demonstrate that our model is capable of achieving performance on par with SMEs in pneumothorax identification. We then developed an iOS application that runs our full system in less than 4 seconds on an iPad Pro, and less than 8 seconds on an iPhone 13 Pro, labeling key regions in the lung sonogram to provide interpretable diagnoses.
△ Less
Submitted 7 December, 2022; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Gradient estimates for quasilinear elliptic Neumann problems with unbounded first-order terms
Authors:
Marco Cirant,
Alessandro Goffi,
Tommaso Leonori
Abstract:
This paper studies global a priori gradient estimates for divergence-type equations patterned over the $p$-Laplacian with first-order terms having polynomial growth with respect to the gradient, under suitable integrability assumptions on the source term of the equation. The results apply to elliptic problems with unbounded data in Lebesgue spaces complemented with Neumann boundary conditions pose…
▽ More
This paper studies global a priori gradient estimates for divergence-type equations patterned over the $p$-Laplacian with first-order terms having polynomial growth with respect to the gradient, under suitable integrability assumptions on the source term of the equation. The results apply to elliptic problems with unbounded data in Lebesgue spaces complemented with Neumann boundary conditions posed on convex domains of the Euclidean space.
△ Less
Submitted 21 October, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
-
A priori Lipschitz estimates for nonlinear equations with mixed local and nonlocal diffusion via the adjoint-Bernstein method
Authors:
Alessandro Goffi
Abstract:
We establish a priori Lipschitz estimates for equations with mixed local and nonlocal diffusion, coercive gradient terms and unbounded right-hand side in Lebesgue spaces through an integral refinement of the Bernstein method. This relies on a nonlinear, nonlocal and variational version of the Bochner identity that involves the adjoint equation of the linearization of the initial problem.
We establish a priori Lipschitz estimates for equations with mixed local and nonlocal diffusion, coercive gradient terms and unbounded right-hand side in Lebesgue spaces through an integral refinement of the Bernstein method. This relies on a nonlinear, nonlocal and variational version of the Bochner identity that involves the adjoint equation of the linearization of the initial problem.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
Hölder regularity and Liouville properties for nonlinear elliptic inequalities with power-growth gradient terms
Authors:
Alessandro Goffi
Abstract:
This note studies local integral gradient bounds for distributional solutions of a large class of partial differential inequalities with diffusion in divergence form and power-like first-order terms. The applications of these estimates are two-fold. First, we show the (sharp) global Hölder regularity of distributional semi-solutions to this class of diffusive PDEs with first-order terms having sup…
▽ More
This note studies local integral gradient bounds for distributional solutions of a large class of partial differential inequalities with diffusion in divergence form and power-like first-order terms. The applications of these estimates are two-fold. First, we show the (sharp) global Hölder regularity of distributional semi-solutions to this class of diffusive PDEs with first-order terms having supernatural growth and right-hand side in a suitable Morrey class posed on a bounded and regular open set $Ω$. Second, we provide a new proof of entire Liouville properties for inequalities with superlinear first-order terms without assuming any one-side bound on the solution for the corresponding homogeneous partial differential inequalities. We also discuss some extensions of the previous properties to problems arising in sub-Riemannian geometry and also to partial differential inequalities posed on noncompact complete Riemannian manifolds under appropriate area-growth conditions of the geodesic spheres, providing new results in both these directions. The methods rely on integral arguments and do not exploit maximum and comparison principles.
△ Less
Submitted 24 March, 2022;
originally announced March 2022.
-
On the optimal $L^q$-regularity for viscous Hamilton-Jacobi equations with subquadratic growth in the gradient
Authors:
Alessandro Goffi
Abstract:
This paper studies a maximal $L^q$-regularity property for nonlinear elliptic equations of second order with a zero-th order term and gradient nonlinearities having superlinear and sub-quadratic growth, complemented with Dirichlet boundary conditions. The approach is based on the combination of linear elliptic regularity theory and interpolation inequalities, so that the analysis of the maximal re…
▽ More
This paper studies a maximal $L^q$-regularity property for nonlinear elliptic equations of second order with a zero-th order term and gradient nonlinearities having superlinear and sub-quadratic growth, complemented with Dirichlet boundary conditions. The approach is based on the combination of linear elliptic regularity theory and interpolation inequalities, so that the analysis of the maximal regularity estimates boils down to determine lower order integral bounds. The latter are achieved via a $L^p$ duality method, which exploits the regularity properties of solutions to stationary Fokker-Planck equations. For the latter problems, we discuss both global and local estimates. Our main novelties for the regularity properties of this class of nonlinear elliptic boundary-value problems are the treatment of equations with a zero-th order term together with the analysis of the end-point summability threshold $q=d(γ-1)/γ$, $d$ being the dimension of the ambient space and $γ>1$ the growth of the first-order term in the gradient variable.
△ Less
Submitted 28 November, 2024; v1 submitted 5 December, 2021;
originally announced December 2021.
-
Sobolev regularity for nonlinear Poisson equations with Neumann boundary conditions on Riemannian manifolds
Authors:
Alessandro Goffi,
Francesco Pediconi
Abstract:
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads t…
▽ More
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads to "semilinear Calderón-Zygmund" type results. Applications to the problem of smoothness of solutions to Mean Field Games systems with Neumann boundary conditions posed on convex domains of the Euclidean space will also be discussed.
△ Less
Submitted 15 April, 2022; v1 submitted 28 October, 2021;
originally announced October 2021.
-
Liouville results for fully nonlinear equations modeled on Hörmander vector fields: II. Carnot groups and Grushin geometries
Authors:
Martino Bardi,
Alessandro Goffi
Abstract:
The paper treats second order fully nonlinear degenerate elliptic equations having a family of subunit vector fields satisfying a full-rank bracket condition. It studies Liouville properties for viscosity sub- and supersolutions in the whole space, namely, that under a suitable bound at infinity from above and, respectively, from below, they must be constants. In a previous paper we proved an abst…
▽ More
The paper treats second order fully nonlinear degenerate elliptic equations having a family of subunit vector fields satisfying a full-rank bracket condition. It studies Liouville properties for viscosity sub- and supersolutions in the whole space, namely, that under a suitable bound at infinity from above and, respectively, from below, they must be constants. In a previous paper we proved an abstract result and discussed operators on the Heisenberg group. Here we consider various families of vector fields: the generators of a Carnot group, with more precise results for those of step 2, in particular H-type groups and free Carnot groups, the Grushin and the Heisenberg-Greiner vector fields. All these cases are relevant in sub-Riemannian geometry and have in common the existence of a homogeneous norm that we use for building Lyapunov-like functions for each operator. We give explicit sufficient conditions on the size and sign of the first and zero-th order terms in the equations and discuss their optimality. We also outline some applications of such results to the problem of ergodicity of multidimensional degenerate diffusion processes in the whole space.
△ Less
Submitted 14 July, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
On the Liouville property for fully nonlinear equations with superlinear first-order terms
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
We consider in this note one-side Liouville properties for viscosity solutions of various fully nonlinear uniformly elliptic inequalities, whose prototype is $F(x,D^2u)\geq H_i(x,u,Du)$ in $\mathbb{R}^N$, where $H_i$ has superlinear growth in the gradient variable. After a brief survey on the existing literature, we discuss the validity or the failure of the Liouville property in the model cases…
▽ More
We consider in this note one-side Liouville properties for viscosity solutions of various fully nonlinear uniformly elliptic inequalities, whose prototype is $F(x,D^2u)\geq H_i(x,u,Du)$ in $\mathbb{R}^N$, where $H_i$ has superlinear growth in the gradient variable. After a brief survey on the existing literature, we discuss the validity or the failure of the Liouville property in the model cases $H_1(u,Du)=u^q+|Du|^γ$, $H_2(u,Du)=u^q|Du|^γ$ and $H_3(x,u,Du)=\pm u^q|Du|^γ-b(x)\cdot Du$, where $q\geq0$, $γ>1$ and $b$ is a suitable velocity field. Several counterexamples and open problems are thoroughly discussed.
△ Less
Submitted 30 December, 2021; v1 submitted 28 July, 2021;
originally announced July 2021.
-
Transport equations with nonlocal diffusion and applications to Hamilton-Jacobi equations
Authors:
Alessandro Goffi
Abstract:
We investigate regularity and a priori estimates for Fokker-Planck and Hamilton-Jacobi equations with unbounded ingredients driven by the fractional Laplacian of order $s\in(1/2,1)$. As for Fokker-Planck equations, we establish integrability estimates under a fractional version of the Aronson-Serrin interpolated condition on the velocity field and Bessel regularity when the drift has low Lebesgue…
▽ More
We investigate regularity and a priori estimates for Fokker-Planck and Hamilton-Jacobi equations with unbounded ingredients driven by the fractional Laplacian of order $s\in(1/2,1)$. As for Fokker-Planck equations, we establish integrability estimates under a fractional version of the Aronson-Serrin interpolated condition on the velocity field and Bessel regularity when the drift has low Lebesgue integrability with respect to the solution itself. Using these estimates, through the Evans' nonlinear adjoint method we prove new integral, sup-norm and Hölder estimates for weak and strong solutions to fractional Hamilton-Jacobi equations with unbounded right-hand side and polynomial growth in the gradient. Finally, by means of these latter results, exploiting Calderón-Zygmund-type regularity for linear nonlocal PDEs and fractional Gagliardo-Nirenberg inequalities, we deduce optimal $L^q$-regularity for fractional Hamilton-Jacobi equations.
△ Less
Submitted 24 January, 2021; v1 submitted 3 January, 2021;
originally announced January 2021.
-
A note on the strong maximum principle for fully nonlinear equations on Riemannian manifolds
Authors:
Alessandro Goffi,
Francesco Pediconi
Abstract:
We investigate strong maximum (and minimum) principles for fully nonlinear second order equations on Riemannian manifolds that are non-totally degenerate and satisfy appropriate scaling conditions. Our results apply to a large class of nonlinear operators, among which Pucci's extremal operators, some singular operators like those modeled on the $p$- and $\infty$-Laplacian, and mean curvature type…
▽ More
We investigate strong maximum (and minimum) principles for fully nonlinear second order equations on Riemannian manifolds that are non-totally degenerate and satisfy appropriate scaling conditions. Our results apply to a large class of nonlinear operators, among which Pucci's extremal operators, some singular operators like those modeled on the $p$- and $\infty$-Laplacian, and mean curvature type problems. As a byproduct, we establish new strong comparison principles for some second order uniformly elliptic problems when the manifold has nonnegative sectional curvature.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Maximal $L^q$-regularity for parabolic Hamilton-Jacobi equations and applications to Mean Field Games
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
In this paper we investigate maximal $L^q$-regularity for time-dependent viscous Hamilton-Jacobi equations with unbounded right-hand side and superlinear growth in the gradient. Our approach is based on the interplay between new integral and Hölder estimates, interpolation inequalities, and parabolic regularity for linear equations. These estimates are obtained via a duality method à la Evans. Thi…
▽ More
In this paper we investigate maximal $L^q$-regularity for time-dependent viscous Hamilton-Jacobi equations with unbounded right-hand side and superlinear growth in the gradient. Our approach is based on the interplay between new integral and Hölder estimates, interpolation inequalities, and parabolic regularity for linear equations. These estimates are obtained via a duality method à la Evans. This sheds new light on a parabolic counterpart of a conjecture by P.-L. Lions on maximal regularity for Hamilton-Jacobi equations, recently addressed in the stationary framework by the authors. Finally, applications to the existence problem of classical solutions to Mean Field Games systems with unbounded local couplings are provided.
△ Less
Submitted 1 September, 2020; v1 submitted 29 July, 2020;
originally announced July 2020.
-
A policy iteration method for Mean Field Games
Authors:
Simone Cacace,
Fabio Camilli,
Alessandro Goffi
Abstract:
The policy iteration method is a classical algorithm for solving optimal control problems. In this paper, we introduce a policy iteration method for Mean Field Games systems, and we study the convergence of this procedure to a solution of the problem. We also introduce suitable discretizations to numerically solve both stationary and evolutive problems. We show the convergence of the policy iterat…
▽ More
The policy iteration method is a classical algorithm for solving optimal control problems. In this paper, we introduce a policy iteration method for Mean Field Games systems, and we study the convergence of this procedure to a solution of the problem. We also introduce suitable discretizations to numerically solve both stationary and evolutive problems. We show the convergence of the policy iteration method for the discrete problem and we study the performance of the proposed algorithm on some examples in dimension one and two.
△ Less
Submitted 9 July, 2021; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Liouville results for fully nonlinear equations modeled on Hörmander vector fields. I. The Heisenberg group
Authors:
Martino Bardi,
Alessandro Goffi
Abstract:
This paper studies Liouville properties for viscosity sub- and supersolutions of fully nonlinear degenerate elliptic PDEs, under the main assumption that the operator has a family of generalized subunit vector fields that satisfy the Hörmander condition. A general set of sufficient conditions is given such that all subsolutions bounded above are constant; it includes the existence of a supersoluti…
▽ More
This paper studies Liouville properties for viscosity sub- and supersolutions of fully nonlinear degenerate elliptic PDEs, under the main assumption that the operator has a family of generalized subunit vector fields that satisfy the Hörmander condition. A general set of sufficient conditions is given such that all subsolutions bounded above are constant; it includes the existence of a supersolution out of a big ball, that explodes at infinity. Therefore for a large class of operators the problem is reduced to finding such a Lyapunov-like function. This is done here for the vector fields that generate the Heisenberg group, giving explicit conditions on the sign and size of the first and zero-th order terms in the equation. The optimality of the conditions is shown via several examples. A sequel of this paper applies the methods to other Carnot groups and to Grushin geometries.
△ Less
Submitted 11 June, 2020;
originally announced June 2020.
-
Some new Liouville-type results for fully nonlinear PDEs on the Heisenberg group
Authors:
Alessandro Goffi
Abstract:
We prove new (sharp) Liouville-type properties via degenerate Hadamard three-sphere theorems for fully nonlinear equations structured over Heisenberg vector fields. As model examples, we cover the case of Pucci's extremal operators perturbed by suitable semilinear and gradient terms, extending to the Heisenberg setting known contributions valid in the Euclidean framework.
We prove new (sharp) Liouville-type properties via degenerate Hadamard three-sphere theorems for fully nonlinear equations structured over Heisenberg vector fields. As model examples, we cover the case of Pucci's extremal operators perturbed by suitable semilinear and gradient terms, extending to the Heisenberg setting known contributions valid in the Euclidean framework.
△ Less
Submitted 30 November, 2024; v1 submitted 15 February, 2020;
originally announced February 2020.
-
On the problem of maximal $L^q$-regularity for viscous Hamilton-Jacobi equations
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
For $q>2, γ> 1$, we prove that maximal regularity of $L^q$ type holds for periodic solutions to $-Δu + |Du|^γ= f$ in $\mathbb{R}^d$, under the (sharp) assumption $q > d \frac{γ-1}γ$.
For $q>2, γ> 1$, we prove that maximal regularity of $L^q$ type holds for periodic solutions to $-Δu + |Du|^γ= f$ in $\mathbb{R}^d$, under the (sharp) assumption $q > d \frac{γ-1}γ$.
△ Less
Submitted 16 May, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Existence and regularity results for viscous Hamilton-Jacobi equations with Caputo time-fractional derivative
Authors:
Fabio Camilli,
Alessandro Goffi
Abstract:
We study existence, uniqueness and regularity properties of classical solutions to viscous Hamilton-Jacobi equations with Caputo time-fractional derivative. Our study relies on a combination of a gradient bound for the time-fractional Hamilton-Jacobi equation obtained via nonlinear adjoint method and sharp estimates in Sobolev and Hölder spaces for the corresponding linear problem.
We study existence, uniqueness and regularity properties of classical solutions to viscous Hamilton-Jacobi equations with Caputo time-fractional derivative. Our study relies on a combination of a gradient bound for the time-fractional Hamilton-Jacobi equation obtained via nonlinear adjoint method and sharp estimates in Sobolev and Hölder spaces for the corresponding linear problem.
△ Less
Submitted 25 February, 2020; v1 submitted 4 June, 2019;
originally announced June 2019.
-
New strong maximum and comparison principles for fully nonlinear degenerate elliptic PDEs
Authors:
Martino Bardi,
Alessandro Goffi
Abstract:
We introduce a notion of subunit vector field for fully nonlinear degenerate elliptic equations. We prove that an interior maximum of a viscosity subsolution of such an equation propagates along the trajectories of subunit vector fields. This implies strong maximum and minimum principles when the operator has a family of subunit vector fields satisfying the Hörmander condition. In particular these…
▽ More
We introduce a notion of subunit vector field for fully nonlinear degenerate elliptic equations. We prove that an interior maximum of a viscosity subsolution of such an equation propagates along the trajectories of subunit vector fields. This implies strong maximum and minimum principles when the operator has a family of subunit vector fields satisfying the Hörmander condition. In particular these results hold for a large class of nonlinear subelliptic PDEs in Carnot groups. We prove also a strong comparison principle for degenerate elliptic equations that can be written in Hamilton-Jacobi-Bellman form, such as those involving the Pucci's extremal operators over Hörmander vector fields.
△ Less
Submitted 22 December, 2018;
originally announced December 2018.
-
Lipschitz regularity for viscous Hamilton-Jacobi equations with $L^p$ terms
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
We provide Lipschitz regularity for solutions to viscous time-dependent Hamilton-Jacobi equations with right-hand side belonging to Lebesgue spaces. Our approach is based on a duality method, and relies on the analysis of the regularity of the gradient of solutions to a dual (Fokker-Planck) equation. Here, the regularizing effect is due to the non-degenerate diffusion and coercivity of the Hamilto…
▽ More
We provide Lipschitz regularity for solutions to viscous time-dependent Hamilton-Jacobi equations with right-hand side belonging to Lebesgue spaces. Our approach is based on a duality method, and relies on the analysis of the regularity of the gradient of solutions to a dual (Fokker-Planck) equation. Here, the regularizing effect is due to the non-degenerate diffusion and coercivity of the Hamiltonian in the gradient variable.
△ Less
Submitted 27 January, 2020; v1 submitted 10 December, 2018;
originally announced December 2018.
-
On the existence and uniqueness of solutions to time-dependent fractional MFG
Authors:
Marco Cirant,
Alessandro Goffi
Abstract:
We establish existence and uniqueness of solutions to evolutive fractional Mean Field Game systems with regularizing coupling, for any order of the fractional Laplacian $s\in(0,1)$. The existence is addressed via the vanishing viscosity method. In particular, we prove that in the subcritical regime $s>1/2$ the solution of the system is classical, while if $s\leq 1/2$ we find a distributional energ…
▽ More
We establish existence and uniqueness of solutions to evolutive fractional Mean Field Game systems with regularizing coupling, for any order of the fractional Laplacian $s\in(0,1)$. The existence is addressed via the vanishing viscosity method. In particular, we prove that in the subcritical regime $s>1/2$ the solution of the system is classical, while if $s\leq 1/2$ we find a distributional energy solution. To this aim, we develop an appropriate functional setting based on parabolic Bessel potential spaces. We show uniqueness of solutions both under monotonicity conditions and for short time horizons.
△ Less
Submitted 8 January, 2019; v1 submitted 9 September, 2018;
originally announced September 2018.
