-
Intermittency and Dissipation Regularity in Turbulence
Authors:
Luigi De Rosa,
Theodore D. Drivas,
Marco Inversi,
Philip Isett
Abstract:
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 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 mea…
▽ More
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 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.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Dissipation for codimension 1 singular structures to incompressible Euler
Authors:
Luigi De Rosa,
Marco Inversi,
Matteo Nesi
Abstract:
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 underling PDE. This groups several energy conservation results and it suggests that critical spaces where smooth functions are dense are not at all diff…
▽ More
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 underling 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 $\mathcal{H}^d$-rectifiable space-time sets $Σ$, which are the natural dissipative regions in the compressible setting. As soon as both the velocity and the pressure posses traces on $Σ$, it is shown that $Σ$ 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.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Normal traces and applications to continuity equations on bounded domains
Authors:
Gianluca Crippa,
Luigi De Rosa,
Marco Inversi,
Matteo Nesi
Abstract:
In this work, we study several properties of the normal Lebesgue trace of vector fields introduced by the second and third author in [18] in the context of the energy conservation for the Euler equations in Onsager-critical classes. Among several properties, we prove that the normal Lebesgue trace satisfies the Gauss-Green identity and, by providing explicit counterexamples, that it is a notion si…
▽ More
In this work, we study several properties of the normal Lebesgue trace of vector fields introduced by the second and third author in [18] in the context of the energy conservation for the Euler equations in Onsager-critical classes. Among several properties, 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 [15] 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 for the uniqueness of weak solutions.
△ Less
Submitted 17 June, 2024; v1 submitted 19 May, 2024;
originally announced May 2024.
-
No anomalous dissipation in two-dimensional incompressible fluids
Authors:
Luigi De Rosa,
Jaemin Park
Abstract:
We prove that any sequence of vanishing viscosity Leray-Hopf solutions to the periodic two-dimensional incompressible Navier-Stokes equations does not display anomalous dissipation if the initial vorticity is a measure with positive singular part. A key step in the proof is the use of the Delort-Majda concentration-compactness argument to exclude formation of atoms in the vorticity measure, which…
▽ More
We prove that any sequence of vanishing viscosity Leray-Hopf solutions to the periodic two-dimensional incompressible Navier-Stokes equations does not display anomalous dissipation if the initial vorticity is a measure with positive singular part. A key step in the proof is the use of the Delort-Majda concentration-compactness argument to exclude formation of atoms in the vorticity measure, which in particular implies that the limiting velocity is an admissible weak solution to Euler. This is the first result proving absence of dissipation in a class of solutions in which the velocity fails to be strongly compact in $L^2$, putting two-dimensional turbulence in sharp contrast with respect to that in three dimensions. Moreover, our proof reveals that the amount of energy dissipation can be bounded by the vorticity measure of a disk of size $\sqrt ν$, matching the two-dimensional Kolmogorov dissipative length scale which is expected to be sharp.
△ Less
Submitted 21 May, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Dissipation in Onsager's critical classes and energy conservation in $BV\cap L^\infty$ with and without boundary
Authors:
Luigi De Rosa,
Marco Inversi
Abstract:
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 $\{μ_z\}_z$, having some Hölder 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…
▽ More
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 $\{μ_z\}_z$, having some Hölder 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.
△ Less
Submitted 6 January, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
On the Support of Anomalous Dissipation Measures
Authors:
Luigi De Rosa,
Theodore D. Drivas,
Marco Inversi
Abstract:
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 inte…
▽ More
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.
△ Less
Submitted 26 July, 2024; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Full double Hölder regularity of the pressure in bounded domains
Authors:
Luigi De Rosa,
Mickaël Latocca,
Giorgio Stefani
Abstract:
We consider Hölder continuous weak solutions $u\in C^γ(Ω)$, $u\cdot n|_{\partial Ω}=0$, of the incompressible Euler equations on a bounded and simply connected domain $Ω\subset\mathbb{R}^d$. If $Ω$ is of class $C^{2,1}$ then the corresponding pressure satisfies $p\in C^{2γ}_*(Ω)$ in the case $γ\in (0,\frac{1}{2}]$, where $C^{2γ}_*$ is the Hölder-Zygmund space, which coincides with the usual Hölder…
▽ More
We consider Hölder continuous weak solutions $u\in C^γ(Ω)$, $u\cdot n|_{\partial Ω}=0$, of the incompressible Euler equations on a bounded and simply connected domain $Ω\subset\mathbb{R}^d$. If $Ω$ is of class $C^{2,1}$ then the corresponding pressure satisfies $p\in C^{2γ}_*(Ω)$ in the case $γ\in (0,\frac{1}{2}]$, where $C^{2γ}_*$ is the Hölder-Zygmund space, which coincides with the usual Hölder space for $γ<\frac12$. This result, together with our previous one in [11] covering the case $γ\in(\frac12,1)$, yields the full double regularity of the pressure on bounded and sufficiently regular domains. The interior regularity comes from the corresponding $C^{2γ}_*$ estimate for the pressure on the whole space $\mathbb{R}^d$, which in particular extends and improves the known double regularity results (in the absence of a boundary) in the borderline case $γ=\frac{1}{2}$. The boundary regularity features the use of local normal geodesic coordinates, pseudodifferential calculus and a fine Littlewood-Paley analysis of the modified equation in the new coordinate system. We also discuss the relation between different notions of weak solutions, a step which plays a major role in our approach.
△ Less
Submitted 11 August, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
An incomplete real tree with complete segments
Authors:
Raphael Appenzeller,
Luca De Rosa,
Xenia Flamm,
Victor Jaeck
Abstract:
Let $\mathbb{F}$ be the field of real Puiseux series and $\mathcal{T}_\mathbb{F}$ the $\mathbb{Q}$-tree defined by Brumfiel. We show that completing all the segments of $\mathcal{T}_\mathbb{F}$ does not result in a complete metric space.
Let $\mathbb{F}$ be the field of real Puiseux series and $\mathcal{T}_\mathbb{F}$ the $\mathbb{Q}$-tree defined by Brumfiel. We show that completing all the segments of $\mathcal{T}_\mathbb{F}$ does not result in a complete metric space.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Fine properties of symmetric and positive matrix fields with bounded divergence
Authors:
Luigi De Rosa,
Riccardo Tione
Abstract:
This paper is concerned with various fine properties of the functional \[ \mathbb{D}(A) = \int_{\mathbb{T}^n}{\text{det}}^\frac{1}{n-1}(A(x))\,dx \] introduced in [33]. This functional is defined on $X_p$, which is the cone of matrix fields $A \in L^p(\mathbb{T}^n;\text{Sym}^+(n))$ with $\text{div }(A)$ a bounded measure. We start by correcting a mistake we noted in our [13, Corollary 7], which co…
▽ More
This paper is concerned with various fine properties of the functional \[ \mathbb{D}(A) = \int_{\mathbb{T}^n}{\text{det}}^\frac{1}{n-1}(A(x))\,dx \] introduced in [33]. This functional is defined on $X_p$, which is the cone of matrix fields $A \in L^p(\mathbb{T}^n;\text{Sym}^+(n))$ with $\text{div }(A)$ a bounded measure. We start by correcting a mistake we noted in our [13, Corollary 7], which concerns the upper semicontinuity of $\mathbb{D}(A)$ in $X_p$. We give a proof of a refined correct statement, and we will use it to study the behaviour of $\mathbb{D}(A)$ when $A \in X_\frac{n}{n-1}$, which is the critical integrability for $\mathbb{D}(A)$. One of our main results gives an explicit bound of the measure generated by $\mathbb{D}(A_k)$ for a sequence of such matrix fields $\{A_k\}_k$. In particular it allows us to characterize the upper semicontinuity of $\mathbb{D}(A)$ in the case $A \in X_\frac{n}{n - 1}$ in terms of the measure generated by the variation of $\{\text{div } A_k\}_k$. We show by explicit example that this characterization fails in $X_p$ if $p<\frac{n}{n-1}$. As a by-product of our characterization we also recover and generalize a result of P.-L. Lions [25,26] on the lack of compactness in the study of Sobolev embeddings. Furthermore, in analogy with Monge-Ampère theory, we give sufficient conditions under which $\text{det}^\frac{1}{n-1}(A)$ is Hardy when $A \in X_\frac{n}{n - 1}$, generalising the celebrated result of S. Müller [29] when $A=\text{cof } D^2\varphi$, for a convex function $\varphi$.
△ Less
Submitted 19 May, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Intermittency and lower dimensional dissipation in incompressible fluids
Authors:
Luigi De Rosa,
Philip Isett
Abstract:
In the context of incompressible fluids, the observation that turbulent singular structures fail to be space filling is known as ``intermittency'' and it has strong experimental foundations. Consequently, as first pointed out by Landau, real turbulent flows do not satisfy the central assumptions of homogeneity and self-similarity in the K41 theory, and the K41 prediction of structure function expo…
▽ More
In the context of incompressible fluids, the observation that turbulent singular structures fail to be space filling is known as ``intermittency'' and it has strong experimental foundations. Consequently, as first pointed out by Landau, real turbulent flows do not satisfy the central assumptions of homogeneity and self-similarity in the K41 theory, and the K41 prediction of structure function exponents $ζ_p=\frac{p}{3}$ might be inaccurate. In this work we prove that, in the inviscid case, energy dissipation that is lower-dimensional in an appropriate sense implies deviations from the K41 prediction in every $p-$th order structure function for $p>3$. By exploiting a Lagrangian-type Minkowski dimension that is very reminiscent of the Taylor's frozen turbulence hypothesis, our strongest upper bound on $ζ_p$ coincides with the $β-$model proposed by Frisch, Sulem and Nelkin in the late 70s, adding some rigorous analytical foundations to the model. More generally we explore the relationship between dimensionality assumptions on the dissipation support and restrictions on the $p-$th order absolute structure functions. This approach differs from the current mathematical works on intermittency by its focus on geometrical rather than purely analytical assumptions. The proof is based on a new local variant of the celebrated Constantin-E-Titi argument that features the use of a third order commutator estimate, the special double regularity of the pressure, and mollification along the flow of a vector field.
△ Less
Submitted 17 December, 2023; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Dual spaces of geodesic currents
Authors:
Luca De Rosa,
Dídac Martínez-Granado
Abstract:
Every geodesic current on a hyperbolic surface has an associated dual space. If the current is a lamination, this dual embeds isometrically into a real tree. We show that, in general, the dual space is a Gromov hyperbolic metric tree-graded space, and express its Gromov hyperbolicity constant in terms of the geodesic current. In the case of geodesic currents with no atoms and full support, such as…
▽ More
Every geodesic current on a hyperbolic surface has an associated dual space. If the current is a lamination, this dual embeds isometrically into a real tree. We show that, in general, the dual space is a Gromov hyperbolic metric tree-graded space, and express its Gromov hyperbolicity constant in terms of the geodesic current. In the case of geodesic currents with no atoms and full support, such as those coming from certain higher rank representations, we show the duals are homeomorphic to the surface. We also analyze the completeness of the dual and the properties of the action of the fundamental group of the surface on the dual. Furthermore, we compare two natural topologies in the space of duals.
△ Less
Submitted 31 October, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
On Double Hölder Regularity of the Hydrodynamic Pressure in Bounded Domains
Authors:
Luigi De Rosa,
Mickaël Latocca,
Giorgio Stefani
Abstract:
We prove that the hydrodynamic pressure $p$ associated to the velocity $u\in C^θ(Ω)$, $θ\in(0,1)$, of an inviscid incompressible fluid in a bounded and simply connected domain $Ω\subset \mathbb R^d$ with $C^{2+}$ boundary satisfies $p\in C^θ(Ω)$ for $θ\leq \frac12$ and $p\in C^{1,2θ-1}(Ω)$ for $θ>\frac12$. Moreover, when $\partial Ω\in C^{3+}$, we prove that an almost double Hölder regularity…
▽ More
We prove that the hydrodynamic pressure $p$ associated to the velocity $u\in C^θ(Ω)$, $θ\in(0,1)$, of an inviscid incompressible fluid in a bounded and simply connected domain $Ω\subset \mathbb R^d$ with $C^{2+}$ boundary satisfies $p\in C^θ(Ω)$ for $θ\leq \frac12$ and $p\in C^{1,2θ-1}(Ω)$ for $θ>\frac12$. Moreover, when $\partial Ω\in C^{3+}$, we prove that an almost double Hölder regularity $p\in C^{2θ-}(Ω)$ holds even for $θ<\frac12$. This extends and improves the recent result of Bardos and Titi obtained in the planar case to every dimension $d\ge2$ and it also doubles the pressure regularity. Differently from Bardos and Titi, we do not introduce a new boundary condition for the pressure, but instead work with the natural one. In the boundary-free case of the $d$-dimensional torus, we show that the double regularity of the pressure can be actually achieved under the weaker assumption that the divergence of the velocity is sufficiently regular, thus not necessarily zero.
△ Less
Submitted 8 January, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Weak-strong uniqueness and vanishing viscosity for incompressible Euler equations in exponential spaces
Authors:
Luigi De Rosa,
Marco Inversi,
Giorgio Stefani
Abstract:
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 solu…
▽ More
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.
△ Less
Submitted 19 May, 2023; v1 submitted 27 April, 2022;
originally announced April 2022.
-
A fractal version of the Onsager's conjecture: the $β-$model
Authors:
Luigi De Rosa,
Silja Haffter
Abstract:
Intermittency phenomena are known to be among the main reasons why Kolmogorov's theory of fully developed Turbulence is not in accordance with several experimental results. This is why some \emph{fractal} statistical models have been proposed in order to realign the theoretical physical predictions with the empirical experiments. They indicate that energy dissipation, and thus singularities, are n…
▽ More
Intermittency phenomena are known to be among the main reasons why Kolmogorov's theory of fully developed Turbulence is not in accordance with several experimental results. This is why some \emph{fractal} statistical models have been proposed in order to realign the theoretical physical predictions with the empirical experiments. They indicate that energy dissipation, and thus singularities, are not space filling for high Reynolds numbers. This note aims to give a precise mathematical statement on the energy conservation of such fractal models of Turbulence. We prove that for $θ-$Hölder continuous weak solutions of the incompressible Euler equations energy conservation holds if the upper Minkowski dimension of the spatial singular set $S \subseteq \T^3$ (possibly also time-dependent) is small, or more precisely if $\overline{\dim}_{\mathcal{M}}(S)<2+3θ\,.$ In particular, the spatial singularities of \emph{non-conservative} $θ-$Hölder continuous weak solutions of Euler are concentrated on a set with dimension lower bound $2+3θ$. This result can be viewed as the fractal counterpart of the celebrated Onsager conjecture and it matches both with the prediction given by the $β-$model introduced by Frisch, Sulem and Nelkin in \cite{FSN78} and with other mathematical results in the endpoint cases.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Dimension of the singular set of wild Hölder solutions of the incompressible Euler equations
Authors:
Luigi De Rosa,
Silja Haffter
Abstract:
For $β<\frac13$, we consider $C^β(\mathbb{T}^3\times [0,T])$ weak solutions of the incompressible Euler equations that do not conserve the kinetic energy. We prove that for such solutions the closed and non-empty set of singular times $\mathcal{B}$ satisfies $\dim_{\mathcal{H}}(\mathcal{B})\geq \frac{2β}{1-β}$. This lower bound on the Hausdorff dimension of the singular set in time is intrinsicall…
▽ More
For $β<\frac13$, we consider $C^β(\mathbb{T}^3\times [0,T])$ weak solutions of the incompressible Euler equations that do not conserve the kinetic energy. We prove that for such solutions the closed and non-empty set of singular times $\mathcal{B}$ satisfies $\dim_{\mathcal{H}}(\mathcal{B})\geq \frac{2β}{1-β}$. This lower bound on the Hausdorff dimension of the singular set in time is intrinsically linked to the Hölder regularity of the kinetic energy and we conjecture it to be sharp. As a first step in this direction, for every $β<β'<\frac{1}{3}$ we are able to construct, via a convex integration scheme, non-conservative $C^β(\mathbb{T}^3\times [0,T])$ weak solutions of the incompressible Euler system such that $\dim_{\mathcal{H}}(\mathcal{B})\leq \frac{1}{2}+\frac{1}{2}\frac{2β'}{1-β'}$. The structure of the wild solutions that we build allows moreover to deduce non-uniqueness of $C^β(\mathbb{T}^3\times [0,T])$ weak solutions of the Cauchy problem for Euler from every smooth initial datum.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Typicality results for weak solutions of the incompressible Navier--Stokes equations
Authors:
Maria Colombo,
Luigi De Rosa,
Massimo Sorella
Abstract:
In this work we show that, in the class of $L^\infty((0,T);L^2(\mathbb{T}^3))$ distributional solutions of the incompressible Navier-Stokes system, the ones which are smooth in some open interval of times are meagre in the sense of Baire category, and the Leray ones are a nowhere dense set.
In this work we show that, in the class of $L^\infty((0,T);L^2(\mathbb{T}^3))$ distributional solutions of the incompressible Navier-Stokes system, the ones which are smooth in some open interval of times are meagre in the sense of Baire category, and the Leray ones are a nowhere dense set.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Regularity results for rough solutions of the incompressible Euler equations via interpolation methods
Authors:
Maria Colombo,
Luigi De Rosa,
Luigi Forcella
Abstract:
Given any solution $u$ of the Euler equations which is assumed to have some regularity in space - in terms of Besov norms, natural in this context - we show by interpolation methods that it enjoys a corresponding regularity in time and that the associated pressure $p$ is twice as regular as $u$. This generalizes a recent result by Isett [16] (see also Colombo and De Rosa [8]), which covers the cas…
▽ More
Given any solution $u$ of the Euler equations which is assumed to have some regularity in space - in terms of Besov norms, natural in this context - we show by interpolation methods that it enjoys a corresponding regularity in time and that the associated pressure $p$ is twice as regular as $u$. This generalizes a recent result by Isett [16] (see also Colombo and De Rosa [8]), which covers the case of Hölder spaces.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
Sharp energy regularity and typicality results for Hölder solutions of incompressible Euler equations
Authors:
Luigi De Rosa,
Riccardo Tione
Abstract:
This paper is devoted to show a couple of typicality results for weak solutions $v\in C^θ$ of the Euler equations, in the case $θ<1/3$. It is known that convex integration schemes produce wild weak solutions that exhibit anomalous dissipation of the kinetic energy $e_v$. We show that those solutions are typical in the Baire category sense. From [8], it is know that the kinetic energy $e_v$ of $θ$-…
▽ More
This paper is devoted to show a couple of typicality results for weak solutions $v\in C^θ$ of the Euler equations, in the case $θ<1/3$. It is known that convex integration schemes produce wild weak solutions that exhibit anomalous dissipation of the kinetic energy $e_v$. We show that those solutions are typical in the Baire category sense. From [8], it is know that the kinetic energy $e_v$ of $θ$-Hölder continuous weak solution $v$ of the Euler equations satisfy $ e_v\in C^{\frac{2θ}{1-θ}}$. As a first result we prove that solutions with that behavior are a residual set in suitable complete metric space $X_θ$, that is contained in the space of all $C^θ$ weak solutions, whose choice is discussed at the end of the paper. More precisely we show that the set of solutions $v\in X_θ$ with $e_v \in C^{\frac{2θ}{1-θ}}$ but not to $\bigcup_{p\ge 1,\varepsilon>0}W^{\frac{2θ}{1-θ} + \varepsilon,p}(I)$ for any open $I \subset [0,T]$, are a residual set in $X_θ$. This, in particular, partially solves [9, Conjecture 1]. We also show that smooth solutions form a nowhere dense set in the space of all the $C^θ$ weak solutions. The technique is the same and what really distinguishes the two cases is that in the latter there is no need to introduce a different complete metric space with respect to the natural one.
△ Less
Submitted 10 February, 2025; v1 submitted 8 August, 2019;
originally announced August 2019.
-
On the upper semicontinuity of a quasiconcave functional
Authors:
Luigi De Rosa,
Denis Serre,
Riccardo Tione
Abstract:
In the recent paper \cite{SER}, the second author proved a divergence-quasiconcavity inequality for the following functional $ \mathbb{D}(A)=\int_{\mathbb{T}^n} det(A(x))^{\frac{1}{n-1}}\,dx$ defined on the space of $p$-summable positive definite matrices with zero divergence. We prove that this implies the weak upper semicontinuity of the functional $\mathbb{D}(\cdot)$ if and only if…
▽ More
In the recent paper \cite{SER}, the second author proved a divergence-quasiconcavity inequality for the following functional $ \mathbb{D}(A)=\int_{\mathbb{T}^n} det(A(x))^{\frac{1}{n-1}}\,dx$ defined on the space of $p$-summable positive definite matrices with zero divergence. We prove that this implies the weak upper semicontinuity of the functional $\mathbb{D}(\cdot)$ if and only if $p>\frac{n}{n-1}$.
△ Less
Submitted 15 June, 2019;
originally announced June 2019.
-
On a question of D. Serre
Authors:
Luigi De Rosa,
Riccardo Tione
Abstract:
In this paper we give a negative answer to the question posed in [15, Open Question 2.1] about possible gains of integrability of determinants of divergence-free, non-negative definite matrix-fields. We also analyze the case in which the matrix-field is given by the Hessian of a convex function.
In this paper we give a negative answer to the question posed in [15, Open Question 2.1] about possible gains of integrability of determinants of divergence-free, non-negative definite matrix-fields. We also analyze the case in which the matrix-field is given by the Hessian of a convex function.
△ Less
Submitted 23 August, 2022; v1 submitted 15 March, 2019;
originally announced March 2019.
-
On the Helicity conservation for the incompressible Euler equations
Authors:
Luigi De Rosa
Abstract:
In this work we investigate the helicity regularity for weak solutions of the incompressible Euler equations. To prove regularity and conservation of the helicity we will threat the velocity $u$ and its $curl\, u$ as two independent functions and we mainly show that the helicity is a constant of motion assuming $u \in L^{2r}_t(C^θ_x)$ and $curl \,u \in L^κ_t(W^{α,1}_x)$ where $r,κ$ are conjugate H…
▽ More
In this work we investigate the helicity regularity for weak solutions of the incompressible Euler equations. To prove regularity and conservation of the helicity we will threat the velocity $u$ and its $curl\, u$ as two independent functions and we mainly show that the helicity is a constant of motion assuming $u \in L^{2r}_t(C^θ_x)$ and $curl \,u \in L^κ_t(W^{α,1}_x)$ where $r,κ$ are conjugate Hölder exponents and $2θ+α\geq 1$. Using the same techniques we also show that the helicity has a suitable Hölder regularity even in the range where it is not necessarily constant.
△ Less
Submitted 10 March, 2019; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Regularity in time of Hölder solutions of Euler and hypodissipative Navier-Stokes equations
Authors:
Maria Colombo,
Luigi De Rosa
Abstract:
In this work we investigate some regularization properties of the incompressible Euler equations and of the fractional Navier-Stokes equations where the dissipative term is given by $(-Δ)^α$, for a suitable power $α\in (0,\frac{1}{2})$ (the only meaningful range for this result). Assuming that the solution $u \in L^\infty _t(C^θ_x)$ for some $θ\in (0,1)$ we prove that $u \in C^θ_{t,x}$, the pressu…
▽ More
In this work we investigate some regularization properties of the incompressible Euler equations and of the fractional Navier-Stokes equations where the dissipative term is given by $(-Δ)^α$, for a suitable power $α\in (0,\frac{1}{2})$ (the only meaningful range for this result). Assuming that the solution $u \in L^\infty _t(C^θ_x)$ for some $θ\in (0,1)$ we prove that $u \in C^θ_{t,x}$, the pressure $p\in C^{2θ-}_{t,x}$ and the kinetic energy $e \in C^{\frac{2θ}{1-θ}}_t$. This result was obtained for the Euler equations in [Is13] with completely different arguments and we believe that our proof, based on a regularization and a commutator estimate, gives a simpler insight on the result.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
Infinitely many Leray-Hopf solutions for the fractional Navier-Stokes equations
Authors:
Luigi De Rosa
Abstract:
We prove the ill-posedness for the Leray-Hopf weak solutions of the incompressible and ipodissipative Navier-Stokes equations, when the power of the diffusive term $(-Δ)^γ$ is $γ< \frac{1}{3}$. We construct infinitely many solutions, starting from the same initial datum, which belong to $C_{x,t}^{\frac{1}{3}-}$ and strictly dissipate their energy in small time intervals. The proof exploits the "co…
▽ More
We prove the ill-posedness for the Leray-Hopf weak solutions of the incompressible and ipodissipative Navier-Stokes equations, when the power of the diffusive term $(-Δ)^γ$ is $γ< \frac{1}{3}$. We construct infinitely many solutions, starting from the same initial datum, which belong to $C_{x,t}^{\frac{1}{3}-}$ and strictly dissipate their energy in small time intervals. The proof exploits the "convex integration scheme" introduced by C. De Lellis and L. Székelyhidi for the incompressible Euler equations, joining these ideas with new stability estimates for a class of non-local advection-diffusion equations and a local (in time) well-posedness result for the fractional Navier-Stokes system. Moreover we show the existence of dissipative Hölder continuous solutions of Euler equations that can be obtained as a vanishing viscosity limit of Leray-Hopf weak solutions of a suitable fractional Navier-Stokes equations.
△ Less
Submitted 20 November, 2020; v1 submitted 16 January, 2018;
originally announced January 2018.
-
Ill-posedness of Leray solutions for the ipodissipative Navier-Stokes equations
Authors:
Maria Colombo,
Camillo De Lellis,
Luigi De Rosa
Abstract:
We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-Δ)^α$ with exponent $α< \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and László Székelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusi…
▽ More
We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-Δ)^α$ with exponent $α< \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and László Székelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusions even for exponents in the range $[\frac{1}{5}, \frac{1}{2}[$.
△ Less
Submitted 17 August, 2017;
originally announced August 2017.
