SearcharxivSearch

arXiv subjects

Gianluca Crippa

Publications and source records attributed to Gianluca Crippa.

At least 19 recordsLinked to original sources

Introduction to the theory of mixing for incompressible flows

In these lecture notes, we provide an introduction to the theory of mixing for incompressible flows from a PDE perspective. We discuss both the Lagrangian (ODE) and Eulerian (PDE, continuity equation) viewpoints, and introduce suitable notions of mixing scales that quantify the degree to which a scalar field transported by a velocity field becomes mixed. We then address the problem of establishing universal lower bounds on the time evolution of the mixing scale. This is first done in the smooth setting, using energy estimates and flow-based arguments, and later in the Sobolev setting, relying on quantitative estimates for regular Lagrangian flows. Finally, we present recent results concerning the sharpness of these lower bounds, their implications for the geometry and regularity of regular Lagrangian flows, and connections with more recent developments in the literature.

math.AP

Zero-noise selection and Large Deviations in $L^\infty_t L^p_x$ for the stochastic transport equation beyond DiPerna-Lions

We consider $L^\infty_t L^p_x$ solutions of the stochastic transport equation with drift in $L^\infty_t W^{1,q}_x$. We show strong existence and pathwise uniqueness of solutions in a regime of parameters $p,q$ for which non-unique weak solutions of the deterministic transport equation exist. When the intensity of the noise goes to zero, we prove that the solutions of the stochastic transport equation converge to the unique renormalized solution of the transport equation in the sense of DiPerna-Lions. Furthermore, we show that the convergence is governed by a Large Deviations Principle in the space $L^\infty_t L^p_x$. Since the space $L^\infty_t L^p_x$ is not separable, the weak convergence approach to Large Deviations by Budhiraja, Dupuis, and Maroulas is not directly applicable.

math.PR

A priori error estimates for the $\theta$-method for the flow of nonsmooth velocity fields

Velocity fields with low regularity (below the Lipschitz threshold) naturally arise in many models from mathematical physics, such as the inhomogeneous incompressible Navier-Stokes equations, and play a fundamental role in the analysis of nonlinear PDEs. The DiPerna-Lions theory ensures existence and uniqueness of the flow associated with a divergence-free velocity field with Sobolev regularity. In this paper, we establish a priori error estimates showing a logarithmic rate of convergence of numerical solutions, constructed via the $\theta$-method, towards the exact (analytic) flow for a velocity field with Sobolev regularity. In addition, we derive analogous a priori error estimates for Lagrangian solutions of the associated transport equation, exhibiting the same logarithmic rate of convergence. Our theoretical results are supported by numerical experiments, which confirm the predicted logarithmic behavior.

math.AP

On multidimensional nonlocal conservation laws with BV kernels

We establish local-in-time existence and uniqueness results for nonlocal conservation laws in several space dimensions under weak (that is, Sobolev or BV) differentiability assumptions on the convolution kernel. In contrast to the case of a smooth kernel, in general the solution experiences finite-time blow-up. We provide an explicit example showing that solutions corresponding to different smooth approximations of the convolution kernel in general converge to different measures after the blow-up time. This rules out a fairly natural strategy for extending the notion of solution of the nonlocal conservation law after the blow-up time.

math.AP

Convergence of the Euler-Voigt equations to the Euler equations in two dimensions

In this paper, we consider the two-dimensional torus and we study the convergence of solutions of the Euler-Voigt equations to solutions of the Euler equations, under several regularity settings. More precisely, we first prove that for weak solutions of the Euler equations with vorticity in $C([0,T];L^2(\mathbb{T}^2))$ the approximating velocity converges strongly in $C([0,T];H^1(\mathbb{T}^2))$. Moreover, for the unique Yudovich solution of the $2D$ Euler equations we provide a rate of convergence for the velocity in $C([0,T];L^2(\mathbb{T}^2))$. Finally, for classical solutions in higher-order Sobolev spaces we prove the convergence with explicit rates of both the approximating velocity and the approximating vorticity in $C([0,T];L^2(\mathbb{T}^2))$.

math.AP

A regularity result for the Fokker-Planck equation with non-smooth drift and diffusion

The goal of this paper is to study weak solutions of the Fokker-Planck equation. We first discuss existence and uniqueness of weak solutions in an irregular context, providing a unified treatment of the available literature along with some extensions. Then, we prove a regularity result for distributional solutions under suitable integrability assumptions, relying on a new, simple commutator estimate in the spirit of DiPerna-Lions' theory of renormalized solutions for the transport equation. Our result is somehow transverse to Theorem 4.3 of [15]: on the diffusion matrix we relax the assumption of Lipschitz regularity in time at the price of assuming Sobolev regularity in space, and we prove the regularity (and hence the uniqueness) of distributional solutions to the Fokker-Planck equation.

math.AP

Propagation of logarithmic regularity and inviscid limit for the 2D Euler equations

The aim of this note is to study the Cauchy problem for the 2D Euler equations under very low regularity assumptions on the initial datum. We prove propagation of regularity of logarithmic order in the class of weak solutions with $L^p$ initial vorticity, provided that $p\geq 4$. We also study the inviscid limit from the 2D Navier-Stokes equations for vorticity with logarithmic regularity in the Yudovich class, showing a rate of convergence of order $|\logν|^{-α/2}$ with $α>0$.

math.AP

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

An overview on the local limit of non-local conservation laws, and a new proof of a compactness estimate

Consider a non-local (i.e., involving a convolution term) conservation law: when the convolution term converges to a Dirac delta, in the limit we formally recover a classical (or "local") conservation law. In this note we overview recent progress on this so-called non-local to local limit and in particular we discuss the case of anistropic kernels, which is extremely relevant in view of applications to traffic models. We also provide a new proof of a related compactness estimate.

math.AP

Anomalous dissipation and lack of selection in the Obukhov-Corrsin theory of scalar turbulence

The Obukhov-Corrsin theory of scalar turbulence [Obu49, Cor51] advances quantitative predictions on passive-scalar advection in a turbulent regime and can be regarded as the analogue for passive scalars of Kolmogorov's K41 theory of fully developed turbulence [Kol41]. The scaling analysis of Obukhov and Corrsin from 1949-1951 identifies a critical regularity threshold for the advection-diffusion equation and predicts anomalous dissipation in the limit of vanishing diffusivity in the supercritical regime. In this paper we provide a fully rigorous mathematical validation of this prediction by constructing a velocity field and an initial datum such that the unique bounded solution of the advection-diffusion equation is bounded uniformly-in-diffusivity within any fixed supercritical Obukhov-Corrsin regularity regime while also exhibiting anomalous dissipation. Our approach relies on a fine quantitative analysis of the interaction between the spatial scale of the solution and the scale of the Brownian motion which represents diffusion in a stochastic Lagrangian setting. This provides a direct Lagrangian approach to anomalous dissipation which is fundamental in order to get detailed insight on the behavior of the solution. Exploiting further this approach, we also show that for a velocity field in $C^α$ of space and time (for an arbitrary $0 \leq α< 1$) neither vanishing diffusivity nor regularization by convolution provide a selection criterion for bounded solutions of the advection equation. This is motivated by the fundamental open problem of the selection of solutions of the Euler equations as vanishing-viscosity limit of solutions of the Navier-Stokes equations and provides a complete negative answer in the case of passive advection.

math.AP

Weak and parabolic solutions of advection-diffusion equations with rough velocity field

We study the Cauchy problem for the advection-diffusion equation $\partial_t u + \mathrm{div} (u b ) = Δu$ associated with a merely integrable divergence-free vector field $b$ defined on the torus. We discuss existence, regularity and uniqueness results for distributional and parabolic solutions, in different regimes of integrability both for the vector field and for the initial datum. We offer an up-to-date picture of the available results scattered in the literature, and we include some original proofs. We also propose some open problems, motivated by very recent results which show ill-posedness of the equation in certain regimes of integrability via convex integration schemes.

math.AP

Strong convergence of the vorticity and conservation of the energy for the $α$-Euler equations

In this paper, we study the convergence of solutions of the $α$-Euler equations to solutions of the Euler equations on the $2$-dimensional torus. In particular, given an initial vorticity $ω_0$ in $L^p_x$ for $p \in (1,\infty)$, we prove strong convergence in $L^\infty_tL^p_x$ of the vorticities $q^α$, solutions of the $α$-Euler equations, towards a Lagrangian and energy-conserving solution of the Euler equations. Furthermore, if we consider solutions with bounded initial vorticity, we prove a quantitative rate of convergence of $q^α$ to $ω$ in $L^p$, for $p \in (1, \infty)$.

math.AP

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 $ρ_f=ρ_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 \|ρ_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., $\|ρ_f(t,\cdot)\|_{L^p} \lesssim 1$, and spatial density such that $\|ρ_f(t,\cdot)\|_{L^p} \sim p^{1/α}$ for $α\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

An elementary proof of existence and uniqueness for the Euler flow in localized Yudovich spaces

We revisit Yudovich's well-posedness result for the $2$-dimensional Euler equations for an inviscid incompressible fluid on either a sufficiently regular (not necessarily bounded) open set $Ω\subset\mathbb{R}^2$ or on the torus $Ω=\mathbb{T}^2$. We construct global-in-time weak solutions with vorticity in $L^1\cap L^p_{\mathrm{ul}}$ and in $L^1\cap Y^Θ_{\mathrm{ul}}$, where $L^p_{\mathrm{ul}}$ and $Y^Θ_{\mathrm{ul}}$ are suitable uniformly-localized versions of the Lebesgue space $L^p$ and of the Yudovich space $Y^Θ$ respectively, with no condition at infinity for the growth function $Θ$. We also provide an explicit modulus of continuity for the velocity depending on the growth function $Θ$. We prove uniqueness of weak solutions in $L^1\cap Y^Θ_{\mathrm{ul}}$ under the assumption that $Θ$ grows moderately at infinity. In contrast to Yudovich's energy method, we employ a Lagrangian strategy to show uniqueness. Our entire argument relies on elementary real-variable techniques, with no use of either Sobolev spaces, Calderón-Zygmund theory or Littlewood-Paley decomposition, and actually applies not only to the Biot-Savart law, but also to more general operators whose kernels obey some natural structural assumptions.

math.AP

Ole\uınik-type estimates for nonlocal conservation laws and applications to the nonlocal-to-local limit

We consider a class of nonlocal conservation laws with exponential kernel and prove that quantities involving the nonlocal term $W:=\mathbb{1}_{(-\infty,0]}(\cdot)\exp(\cdot) \ast ρ$ satisfy an Ole\uınik-type entropy condition. More precisely, under different sets of assumptions on the velocity function $V$, we prove that $W$ satisfies a one-sided Lipschitz condition and that $V'(W) W \partial_x W$ satisfies a one-sided bound, respectively. As a byproduct, we deduce that, as the exponential kernel is rescaled to converge to a Dirac delta distribution, the weak solution of the nonlocal problem converges to the unique entropy-admissible solution of the corresponding local conservation law, under the only assumption that the initial datum is essentially bounded and not necessarily of bounded variation.

math.AP

Onsager critical solutions of the forced Navier-Stokes equations

We answer positively to [BDL22, Question 2.4] by building new examples of solutions to the forced 3d-Navier-Stokes equations with vanishing viscosity, which exhibit anomalous dissipation and which enjoy uniform bounds in the space $L_t^3 C_x^{1/3 - \varepsilon}$, for any fixed $\varepsilon >0$. Our construction combines ideas of [BDL22] and [CCS22].

math.AP

On the advection-diffusion equation with rough coefficients: weak solutions and vanishing viscosity

We deal with the vanishing viscosity scheme for the transport/continuity equation $\partial_t u + \text{div }(u\boldsymbol{b} ) = 0$ drifted by a divergence-free vector field $\boldsymbol{b}$. Under general Sobolev assumptions on $\boldsymbol{b}$, we show the convergence of such scheme to the unique Lagrangian solution of the transport equation. Our proof is based on the use of stochastic flows and yields quantitative rates of convergence. This offers a completely general selection criterion for the transport equation (even beyond the distributional regime) which compensates the wild non-uniqueness phenomenon for solutions with low integrability arising from convex integration constructions, as shown in recent works [8, 28, 29, 30], and rules out the possibility of anomalous dissipation.

math.AP