SearcharxivSearch

arXiv subjects

Nicolò Forcillo

Publications and source records attributed to Nicolò Forcillo.

10 recordsLinked to original sources

Free boundary regularity for the inhomogeneous one-phase Stefan problem

In this paper, we prove that flat free boundaries of solutions to inhomogeneous one-phase Stefan problem are $C^{1,α}$. The method consists of employing a hodograph transform and deriving the regularity via a linearization technique, following the approach introduced by De Silva, Forcillo, and Savin in \cite{DFS23}.

math.AP

Hamilton-Jacobi-Bellman equations on graphs

Here, we study Hamilton-Jacobi-Bellman equations on graphs. These are meant to be the analog of any of the following types of equations in the continuum setting of partial differential and nonlocal integro-differential equations: Hamilton-Jacobi (typically first order and local), Hamilton-Jacobi-Bellmann-Isaacs (first, second, or fractional order), and elliptic integro-differential equations (nonlocal equations). We give conditions for the existence and uniqueness of solutions of these equations, and work through a long list of examples in which these assumptions are satisfied. This work is meant to accomplish three goals: complement and unite earlier assumptions and arguments focused more on the Hamilton-Jacobi type structure; import ideas from nonlocal elliptic integro-differential equations; and argue that nearly all of the operators in this family enjoy a common structure of being a monotone function of the differences of the unknown, plus ``lower order'' terms. This last goal is tied to the fact that most of the examples in this family can be proven to have a Bellman-Isaacs representation as a min-max of linear operators with a graph Laplacian structure.

math.AP

Long-time contractivity estimates for kinetic Kolmogorov-Fokker-Planck equations

We prove long-time contractivity estimates and exponential rates of convergence to equilibrium for solutions of hypoelliptic diffusion equations, which include the well-known Kolmogorov equation and similar kinetic Fokker-Planck equations in $\R^d$. Compared to the existing literature, our proof exploits a different approach, elementary and self-contained, based on oscillation estimates for the adjoint problem. We first prove contractivity in Wasserstein distances through doubling variables (coupling) methods. Next, we upgrade the estimate to weighted $L^1$-(or total variation) norms, thanks to short-time hypocoercivity gradient estimates.

math.AP

A sub-Riemannian maximum modulus theorem

In this note we prove a sub-Riemannian maximum modulus theorem in a Carnot group. Using a nontrivial counterexample, we also show that such result is best possible, in the sense that in its statement one cannot replace the right-invariant horizontal gradient with the left-invariant one.

math.AP

A new glance to the Alt-Caffarelli-Friedman monotonicity formula

In this paper we revisit the proof of the Alt-Caffarelli-Friedman monotonicity formula. Then, in the framework of the Heisenberg group, we discuss the existence of an analogous monotonicity formula introducing a necessary condition for its existence, recently proved in \cite{FeFo}.

math.AP

Enhanced boundary regularity of planar nonlocal minimal graphs, and a butterfly effect

In this note, we showcase some recent results concerning the stickiness properties of nonlocal minimal graphs in the plane. To start with, the nonlocal minimal graphs in the plane enjoy an enhanced boundary regularity, since boundary continuity with respect to the external datum is sufficient to ensure differentiability across the boundary of the domain. As a matter of fact, the Hölder exponent of the derivative is in this situation sufficiently high to provide the validity of the Euler-Lagrange equation at boundary points as well. From this, using a sliding method, one also deduces that the stickiness phenomenon is generic for nonlocal minimal graphs in the plane, since an arbitrarily small perturbation of continuous nonlocal minimal graphs can produce boundary discontinuities (making the continuous case somehow "exceptional" in this framework).

math.AP