arXiv subjects

Marco Inversi

Publications and source records attributed to Marco Inversi.

16 recordsLinked to original sources

arXiv2026

Dissipative structures in compressible inviscid fluids

This note aims at the following problem. In an ideal density dependent fluid system, is the total energy dissipated on shock type discontinuities? To this end, we study the local energy balance for weak solutions to the isentropic compressible Euler system and derive fine properties of the defect measure. This is done by a careful analysis of the small scale properties of the solutions at the shock discontinuity. By means of the same technique, we also consider the inhomogeneous incompressible case, and, comparing the result, we confirm the general principle that the accumulation of the total energy on codimension one singular structures is a feature that distinguishes compressible and incompressible models.

math.AP↗

arXiv2025

$\Gamma$-convergence for higher order nonlocal phase transitions

For every $0 < s <3/4$, we study the asymptotic behavior of the $\varepsilon$-rescaled sum of the $s$-fractional Allen-Cahn energy and the squared $L^2$-norm of its first variation. We prove that the contribution of the first variation vanishes as $\varepsilon \to 0$. This implies the Gamma-convergence of the initial sum to either the classical perimeter or to the $2s$-fractional perimeter, depending on whether $s \ge 1/2$ or not. This contradicts the expectation of finding curvature-dependent terms in the limit, as suggested by the regime $3/4 \le s < 1$, and as known to hold in low dimensions in the local case.

math.AP↗

arXiv2025

Fine dissipative properties of Euler solutions with measure first derivatives

We study fine properties of bounded weak solutions to the incompressible Euler equations whose first derivatives, or only some combinations of them, are Radon measures. As consequences we obtain elementary proofs of the local energy conservation for solutions in BV and BD, without relying on the freedom in choosing the convolution kernel appearing in the approximation of the dissipation. The argument heavily exploits the form of the Euler nonlinearity and it does not apply to the linear transport equations, where the renormalization property for BD vector fields is an open problem. The methods also yield nontrivial conclusions when only the vorticity is assumed to be a measure.

math.AP↗

arXiv2025

Intermittency and Dissipation Regularity in Turbulence

We lay down a geometric-analytic framework to capture properties of energy dissipation within weak solutions to the incompressible Euler equations. For solutions with spatial Besov regularity, it is proved that the Duchon-Robert distribution has optimal improved regularity in a negative Besov space and, in the case it is a Radon measure, it is absolutely continuous with respect to a suitable Hausdorff measure. This imposes quantitative constraints on the dimension of the, possibly fractal, dissipative set and the admissible structure functions exponents, relating to the phenomenon of ''intermittency'' in turbulence. As a by-product of the approach, we also recover many known ''Onsager singularity'' type results.

math.AP↗

arXiv2024

Inhomogeneous incompressible Euler with codimension $1$ singular structures

This paper is concerned with the inhomogeneous incompressible Euler system. We establish a Duchon--Robert type approximation theorem for the distribution describing the local energy flux of bounded solutions. The velocity field is assumed to have bounded variation or bounded deformation with respect to the spatial variable. The density satisfies no-vacuum condition and has $BV$ regularity in space, allowing for a system made by two immiscible fluids separated by a Lipschitz hypersurface. By means of a careful analysis of the traces along hypersufaces of bounded vector fields with measure divergence, we show that the dissipation does not give mass to hypersurfaces of codimension one, even if the velocity field, the density and the pressure have jumps. This feature is specific of incompressible models. As a consequence, we show that the dissipation measure vanishes if it is concentrated on a countably rectifiable set of space-time codimension one, even if this is dense. For instance, in the simplest case of a system made by two incompressible immiscible fluids with $BV$ velocity, the dissipation measure vanishes as soon as the interface between the two fluids has (space-time) finite perimeter.

math.AP↗

arXiv2024

Dissipation for codimension 1 singular structures in the incompressible Euler equations

We consider weak solutions to the incompressible Euler equations. It is shown that energy conservation holds in any Onsager critical class in which smooth functions are dense. The argument is independent of the specific critical regularity and the underlying PDE. This groups several energy conservation results and it suggests that critical spaces where smooth functions are dense are not at all different from subcritical ones, although possessing the "minimal" regularity index. Then, we study properties of the dissipation $D$ in the case of bounded solutions that are allowed to jump on $H^d$-rectifiable space-time sets $\Sigma$, which are the natural dissipative regions in the compressible setting. As soon as both the velocity and the pressure posses traces on $\Sigma$, it is shown that $\Sigma$ is $D$-negligible. The argument makes the role of the incompressibility very apparent, and it prevents dissipation on codimension 1 sets even if they happen to be densely distributed. As a corollary, we deduce energy conservation for bounded solutions of "special bounded deformation", providing the first energy conservation criterion in a critical class where only an assumption on the "longitudinal" increment is made, while the energy flux does not vanish for kinematic reasons.

math.AP↗

arXiv2024

The helicity distribution for the 3D incompressible Euler equations

This paper is concerned with the helicity associated to solutions of the 3D incompressible Euler equations. We show that under mild conditions on the regularity of the velocity field of an incompressible ideal fluid it is possible to define a defect distribution describing the local helicity balance. Under suitable regularity assumptions, we also provide the global helicity balance on bounded domains in terms of the boundary contributions of the vorticity, velocity and pressure.

math.AP↗

arXiv2024

$\Gamma$-Limsup estimate for a nonlocal approximation of the Willmore functional

We propose a possible nonlocal approximation of the Willmore functional, in the sense of Gamma-convergence, based on the first variation ot the fractional Allen-Cahn energies, and we prove the corresponding $\Gamma$-limsup estimate. Our analysis is based on the expansion of the fractional Laplacian in Fermi coordinates and fine estimates on the decay of higher order derivatives of the one-dimensional nonlocal optimal profile. This result is the nonlocal counterpart of that obtained by Bellettini and Paolini, where they proposed a phase-field approximation of the Willmore functional based on the first variation of the (local) Allen-Cahn energies.

math.AP↗

arXiv2024

Normal traces and applications to continuity equations on bounded domains

In this work, we study several properties of the normal Lebesgue trace of vector fields introduced by the second and third author in [22] in the context of the energy conservation for the Euler equations in Onsager-critical classes. Among other things, we prove that the normal Lebesgue trace satisfies the Gauss-Green identity and, by providing explicit counterexamples, that it is a notion sitting strictly between the distributional one for measure-divergence vector fields and the strong one for $BV$ functions. These results are then applied to the study of the uniqueness of weak solutions for continuity equations on bounded domains, allowing to remove the assumption in [19] of global $BV$ regularity up to the boundary, at least around the portion of the boundary where the characteristics exit the domain or are tangent. The proof relies on an explicit renormalization formula completely characterized by the boundary datum and the positive part of the normal Lebesgue trace. In the case when the characteristics enter the domain, a counterexample shows that achieving the normal trace in the Lebesgue sense is not enough to prevent non-uniqueness, and thus a $BV$ assumption seems to be necessary to get uniqueness.

math.AP↗

arXiv2023

Dissipation in Onsager's critical classes and energy conservation in $BV\cap L^\infty$ with and without boundary

This paper is concerned with the incompressible Euler equations. In Onsager's critical classes we provide explicit formulas for the Duchon-Robert measure in terms of the regularization kernel and a family of vector-valued measures $\{\mu_z\}_z$, having some H\"older regularity with respect to the direction $z\in B_1$. Then, we prove energy conservation for $L^\infty_{x,t}\cap L^1_t BV_x$ solutions, in both the absence or presence of a physical boundary. This result generalises the previously known case of Vortex Sheets, showing that energy conservation follows from the structure of $L^\infty\cap BV$ incompressible vector fields rather than the flow having "organized singularities". The interior energy conservation features the use of Ambrosio's anisotropic optimization of the convolution kernel and it differs from the usual energy conservation arguments by heavily relying on the incompressibility of the vector field. This is the first energy conservation proof, for a given class of solutions, which fails to simultaneously apply to both compressible and incompressible models, coherently with compressible shocks having non-trivial entropy production. To run the boundary analysis we introduce a notion of "normal Lebesgue trace" for general vector fields, very reminiscent of the one for $BV$ functions. We show that having such a null normal trace is basically equivalent to have vanishing boundary energy flux. This goes beyond the previous approaches, laying down a setup which applies to every Lipschitz bounded domain. Allowing any Lipschitz boundary introduces several technicalities to the proof, with a quite geometrical/measure-theoretical flavour.

math.AP↗

arXiv2023

Existence and stability of weak solutions of the Vlasov--Poisson system in localized Yudovich spaces

We consider the Vlasov--Poisson system both in the repulsive (electrostatic potential) and in the attractive (gravitational potential) cases. In our first main theorem, we prove the uniqueness and the quantitative stability of Lagrangian solutions $f=f(t,x,v)$ whose associated spatial density $\rho_f=\rho_f(t,x)$ is potentially unbounded but belongs to suitable uniformly-localized Yudovich spaces. This requirement imposes a condition of slow growth on the function $p \mapsto \|\rho_f(t,\cdot)\|_{L^p}$ uniformly in time. Previous works by Loeper, Miot and Holding--Miot have addressed the cases of bounded spatial density, i.e., $\|\rho_f(t,\cdot)\|_{L^p} \lesssim 1$, and spatial density such that $\|\rho_f(t,\cdot)\|_{L^p} \sim p^{1/\alpha}$ for $\alpha\in[1,+\infty)$. Our approach is Lagrangian and relies on an explicit estimate of the modulus of continuity of the electric field and on a second-order Osgood lemma. It also allows for iterated-logarithmic perturbations of the linear growth condition. In our second main theorem, we complement the aforementioned result by constructing solutions whose spatial density sharply satisfies such iterated-logarithmic growth. Our approach relies on real-variable techniques and extends the strategy developed for the Euler equations by the first and fourth-named authors. It also allows for the treatment of more general equations that share the same structure as the Vlasov--Poisson system. Notably, the uniqueness result and the stability estimates hold for both the classical and the relativistic Vlasov--Poisson systems.

math.AP↗

arXiv2023

Lagrangian Flow Networks for Conservation Laws

We introduce Lagrangian Flow Networks (LFlows) for modeling fluid densities and velocities continuously in space and time. By construction, the proposed LFlows satisfy the continuity equation, a PDE describing mass conservation in its differentiable form. Our model is based on the insight that solutions to the continuity equation can be expressed as time-dependent density transformations via differentiable and invertible maps. This follows from classical theory of the existence and uniqueness of Lagrangian flows for smooth vector fields. Hence, we model fluid densities by transforming a base density with parameterized diffeomorphisms conditioned on time. The key benefit compared to methods relying on numerical ODE solvers or PINNs is that the analytic expression of the velocity is always consistent with changes in density. Furthermore, we require neither expensive numerical solvers, nor additional penalties to enforce the PDE. LFlows show higher predictive accuracy in density modeling tasks compared to competing models in 2D and 3D, while being computationally efficient. As a real-world application, we model bird migration based on sparse weather radar measurements.

cs.LG↗

arXiv2023

Lagrangian solutions to the transport--Stokes system

In this paper we consider the transport--Stokes system, which describes the sedimentation of particles in a viscous fluid in inertialess regime. We show existence of Lagrangian solutions to the Cauchy problem with $L^1$ initial data. We prove uniqueness of solutions as a corollary of a stability estimate with respect to the 1-Wasserstein distance for solutions with initial data in a Yudovich-type refinement of $L^3$, with finite first moment. Moreover, we describe the evolution starting from axisymmetric initial data. Our approach is purely Lagrangian.

math.AP↗

arXiv2023

Lagrangian stability for a system of non-local continuity equations under Osgood condition

We extend known existence and uniqueness results of weak measure solutions for systems of non-local continuity equations beyond the usual Lipschitz regularity. Existence of weak measure solutions holds for uniformly continuous vector fields and convolution kernels, while uniqueness follows from a Lagrangian stability estimate under an additional Osgood condition.

math.AP↗

arXiv2023

On the Support of Anomalous Dissipation Measures

By means of a unifying measure-theoretic approach, we establish lower bounds on the Hausdorff dimension of the space-time set which can support anomalous dissipation for weak solutions of fluid equations, both in the presence or absence of a physical boundary. Boundary dissipation, which can occur at both the time and the spatial boundary, is analyzed by suitably modifying the Duchon & Robert interior distributional approach. One implication of our results is that any bounded Euler solution (compressible or incompressible) arising as a zero viscosity limit of Navier-Stokes solutions cannot have anomalous dissipation supported on a set of dimension smaller than that of the space. This result is sharp, as demonstrated by entropy-producing shock solutions of compressible Euler and by recent constructions of dissipative incompressible Euler solutions, as well as passive scalars. For $L^q_tL^r_x$ suitable Leray-Hopf solutions of the $d-$dimensional Navier-Stokes equation we prove a bound of the dissipation in terms of the Parabolic Hausdorff measure soon as the solution lies in the Prodi-Serrin class. In the three-dimensional case, this matches with the Caffarelli-Kohn-Nirenberg partial regularity.

math.AP↗

arXiv2022

Weak-strong uniqueness and vanishing viscosity for incompressible Euler equations in exponential spaces

In the class of admissible weak solutions, we prove a weak-strong uniqueness result for the incompressible Euler equations assuming that the symmetric part of the gradient belongs to $L^1_{\rm loc}([0,+\infty);L^{\rm exp}(\mathbb{R}^d;\mathbb{R}^{d\times d}))$, where $L^{\rm exp}$ denotes the Orlicz space of exponentially integrable functions. Moreover, under the same assumptions on the limit solution to the Euler system, we obtain the convergence of vanishing-viscosity Leray--Hopf weak solutions of the Navier--Stokes equations.

math.AP↗