-
A quantitative DiPerna-Lions theory and exponential mixing rate for passive scalar transport
Authors:
Lucas Huysmans,
Ayman Rimah Said
Abstract:
We consider the transport of a passive scalar $f\in\mathbb{R}$ along a divergence-free velocity vector field $u\in\mathbb{R}^d$ on the infinite space $\mathbb{R}^d$. We give a quantitative version of the DiPerna-Lions well-posedness theory for Sobolev vector fields $u \in L_t^1W_x^{1,p}$ when $1<p<\infty$ by giving a uniform decay rate of the DiPerna-Lions commutator. We recover a slightly more ge…
▽ More
We consider the transport of a passive scalar $f\in\mathbb{R}$ along a divergence-free velocity vector field $u\in\mathbb{R}^d$ on the infinite space $\mathbb{R}^d$. We give a quantitative version of the DiPerna-Lions well-posedness theory for Sobolev vector fields $u \in L_t^1W_x^{1,p}$ when $1<p<\infty$ by giving a uniform decay rate of the DiPerna-Lions commutator. We recover a slightly more general form of the known exponential bound on the mixing rate by a Sobolev vector field $u \in L_t^1W_x^{1,p}$ when $1<p<\infty$.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Small scale creation of the Lagrangian flow in 2d perfect fluids
Authors:
Ayman Rimah Said
Abstract:
In this paper we prove that for all solutions of the 2d Euler equations with initial vorticity with finite Sobolev smoothness then an initial data dependent norm of the associated Lagrangian flow blows up in infinite time at least like $t^{\frac{1}{3}}$. This initial data dependent norm quantifies the exact $L^2$ decay of the Fourier transform of the solution. This adapted norm turns out to be the…
▽ More
In this paper we prove that for all solutions of the 2d Euler equations with initial vorticity with finite Sobolev smoothness then an initial data dependent norm of the associated Lagrangian flow blows up in infinite time at least like $t^{\frac{1}{3}}$. This initial data dependent norm quantifies the exact $L^2$ decay of the Fourier transform of the solution. This adapted norm turns out to be the exact quantity that controls a low to high frequency cascade which we then show to be the quantitative phenomenon behind the Lyapunov construction by Shnirelman.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Wellposedness and singularity formation beyond the Yudovich class
Authors:
Tarek M. Elgindi,
Ryan W. Murray,
Ayman R. Said
Abstract:
We introduce a local-in-time existence and uniqueness class for solutions to the 2d Euler equation with unbounded vorticity. Furthermore, we show that solutions belonging to this class can develop stronger singularities in finite time, meaning that they experience finite time blow up and exit the wellposedness class. Such solutions may be continued as weak solutions (potentially non-uniquely) afte…
▽ More
We introduce a local-in-time existence and uniqueness class for solutions to the 2d Euler equation with unbounded vorticity. Furthermore, we show that solutions belonging to this class can develop stronger singularities in finite time, meaning that they experience finite time blow up and exit the wellposedness class. Such solutions may be continued as weak solutions (potentially non-uniquely) after the singularity. While the general dynamics of 2d Euler solutions beyond the Yudovich class will certainly not be so tame, studying such solutions gives a way to study singular phenomena in a more controlled setting.
△ Less
Submitted 29 December, 2023;
originally announced December 2023.
-
Logarithmic spirals in 2d perfect fluids
Authors:
In-Jee Jeong,
Ayman R. Said
Abstract:
We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on $\mathbb{S}$. We show that this system is locally well-posed in $L^p, p\geq 1$ as well as for atomic measures, that is logarithmic spiral vortex sheets. In particular, we realize the dynamics of logarithmic vortex sheets as the well-defined limit of logarithmic solutions wh…
▽ More
We study logarithmic spiraling solutions to the 2d incompressible Euler equations which solve a nonlinear transport system on $\mathbb{S}$. We show that this system is locally well-posed in $L^p, p\geq 1$ as well as for atomic measures, that is logarithmic spiral vortex sheets. In particular, we realize the dynamics of logarithmic vortex sheets as the well-defined limit of logarithmic solutions which could be smooth in the angle. Furthermore, our formulation not only allows for a simple proof of existence and bifurcation for non-symmetric multi branched logarithmic spiral vortex sheets but also provides a framework for studying asymptotic stability of self-similar dynamics.
We give a complete characterization of the long time behavior of logarithmic spirals. We prove global well-posedness for bounded logarithmic spirals as well as data that admit at most logarithmic singularities. This is due to the observation that the local circulation of the vorticity around the origin is a strictly monotone quantity of time. We are then able to show a dichotomy in the long time behavior, solutions either blow up (either in finite or infinite time) or completely homogenize. In particular, bounded logarithmic spirals should converge to constant steady states. For logarithmic spiral sheets, the dichotomy is shown to be even more drastic where only finite time blow up or complete homogenization of the fluid can and does occur.
△ Less
Submitted 30 May, 2024; v1 submitted 18 February, 2023;
originally announced February 2023.
-
On the long-time behavior of scale-invariant solutions to the 2d Euler equation and applications
Authors:
Tarek. M. Elgindi,
Ryan. W. Murray,
Ayman. R. Said
Abstract:
We study the long-time behavior of scale-invariant solutions of the 2d Euler equation satisfying a discrete symmetry. We show that all scale-invariant solutions with bounded variation on $\mathbb{S}^1$ relax to states that are piece-wise constant with finitely many jumps.
All continuous scale-invariant solutions become singular and homogenize in infinite time. On $\mathbb{R}^2$, this corresponds…
▽ More
We study the long-time behavior of scale-invariant solutions of the 2d Euler equation satisfying a discrete symmetry. We show that all scale-invariant solutions with bounded variation on $\mathbb{S}^1$ relax to states that are piece-wise constant with finitely many jumps.
All continuous scale-invariant solutions become singular and homogenize in infinite time. On $\mathbb{R}^2$, this corresponds to generic infinite-time spiral and cusp formation. The main tool in our analysis is the discovery of a monotone quantity that measures the number of particles that are moving away from the origin.
This monotonicity also applies locally to solutions of the 2d Euler equation that are $m$-fold symmetric ($m\geq 4$) and have radial limits at the point of symmetry.
Our results are also applicable to the Euler equation on a large class of surfaces of revolution (like $\mathbb{S}^2$ and $\mathbb{T}^2$). Our analysis then gives generic spiraling of trajectories and infinite-time loss of regularity for globally smooth solutions on any such smooth surface, under a discrete symmetry.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
On the Cauchy problem of dispersive Burgers type equations
Authors:
Ayman Rimah Said
Abstract:
We study the paralinearised weakly dispersive Burgers type equation: $$\partial_t u+T_u \partial_xu+\partial_x |D|^{α-1}u=0,\ α\in ]1,2[,$$ which contains the main non linear "worst interaction" terms, that is low-high interaction terms, of the usual weakly dispersive Burgers type equation: \[ \partial_t u+u\partial_x u+\partial_x |D|^{α-1}u=0,\ α\in ]1,2[, \] with $u_0 \in H^s({\mathbb D})$, wher…
▽ More
We study the paralinearised weakly dispersive Burgers type equation: $$\partial_t u+T_u \partial_xu+\partial_x |D|^{α-1}u=0,\ α\in ]1,2[,$$ which contains the main non linear "worst interaction" terms, that is low-high interaction terms, of the usual weakly dispersive Burgers type equation: \[ \partial_t u+u\partial_x u+\partial_x |D|^{α-1}u=0,\ α\in ]1,2[, \] with $u_0 \in H^s({\mathbb D})$, where ${\mathbb D}={\mathbb T} \text{ or } {\mathbb R}$. Through a paradifferential complex Cole-Hopf type gauge transform we introduced in [42], we prove a new a priori estimate in $H^s({\mathbb D})$ under the control of $\left\Vert D^{2-α}\left(u^2\right)\right\Vert_{L^1_tL^{\infty}_x}$, improving upon the usual hyperbolic control $\left\Vert \partial_x u\right\Vert_{L^1_tL^\infty_x}$. Thus we eliminate the "standard" wave breaking scenario in case of blow up as conjectured in [31]. For $α\in ]2,3[$ we show that we can completely conjugate the paralinearised dispersive Burgers equation to a semi-linear equation of the form: $$\partial_t \left[T_{e^{iT_{p(u)}}}u\right]+ \partial_x |D|^{α-1}\left[T_{e^{iT_{p(u)}}}u\right]=T_{R(u)}u,\ α\in ]2,3[,$$ where $T_{p(u)}$ and $T_{R(u)}$ are paradifferential operators of order $0$ defined for $u\in L^\infty_t C^{(2-α)^+}_*$.
△ Less
Submitted 28 December, 2022; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Regularity results on the flow maps of periodic dispersive Burgers type equations and the Gravity-Capillary equations
Authors:
Ayman Rimah Said
Abstract:
In the first part of this paper we prove that the flow associated to a dispersive Burgers equation with a non local term
of the form $|D|^{α-1} \partial_x u$, $α\in [1,+\infty[$ is Lipschitz from bounded sets of $H^s_0(\mathbb{T};\mathbb{R})$ to $C^0([0,T],H^{s-(2-α)^+}_0(\mathbb{T};\mathbb{R}))$ for $T>0$ and $s>\lceil \fracα{α-1}\rceil-\frac{1}{2}$, where $H^s_0$ are the Sobolev spaces of func…
▽ More
In the first part of this paper we prove that the flow associated to a dispersive Burgers equation with a non local term
of the form $|D|^{α-1} \partial_x u$, $α\in [1,+\infty[$ is Lipschitz from bounded sets of $H^s_0(\mathbb{T};\mathbb{R})$ to $C^0([0,T],H^{s-(2-α)^+}_0(\mathbb{T};\mathbb{R}))$ for $T>0$ and $s>\lceil \fracα{α-1}\rceil-\frac{1}{2}$, where $H^s_0$ are the Sobolev spaces of functions with $0$ mean value, proving that the result obtained in [37] is optimal on the torus. The proof relies on a paradifferential generalization of a complex Cole-Hopf gauge transformation introduced by T.Tao in [43] for the Benjamin-Ono equation.
For this we prove a generalization of the Baker-Campbell-Hausdorff formula for flows of hyperbolic paradifferential equations and prove the stability of the class of paradifferential operators modulo more regular remainders, under conjugation by such flows. For this we prove a new characterization of paradifferential operators in the spirit of Beals [9].
In the second part of this paper we use a paradifferential version of the previous method to prove that a re-normalization of the flow of the one dimensional periodic gravity capillary equation is Lipschitz from bounded sets of $H^s$ to $C^0([0,T],H^{s-\frac{1}{2}})$ for $T>0$ and $s>3+\frac{1}{2}$. This proves that the result obtained in [37] is optimal for the water waves system.
△ Less
Submitted 1 January, 2023; v1 submitted 5 March, 2021;
originally announced March 2021.
-
On paracomposition and change of variables in Paradifferential operators
Authors:
Ayman Rimah Said
Abstract:
In this paper we revisit the hypothesis needed to define the "paracomposition" operator, an analogue to the classic pull-back operation in the low regularity setting, first introduced by S. Alinhac in [3]. More precisely we do so in two directions. First we drop the diffeomorphism hypothesis. Secondly we give estimates in global Sobolev and Zygmund spaces. Thus we fully generalize Bony's classic p…
▽ More
In this paper we revisit the hypothesis needed to define the "paracomposition" operator, an analogue to the classic pull-back operation in the low regularity setting, first introduced by S. Alinhac in [3]. More precisely we do so in two directions. First we drop the diffeomorphism hypothesis. Secondly we give estimates in global Sobolev and Zygmund spaces. Thus we fully generalize Bony's classic paralinearasition theorem giving sharp estimates for composition in Sobolev and Zygmund spaces. In order to prove that the new class of operations benefits of symbolic calculus properties when composed by a paradifferential operator, we discuss the pull-back of pseudodifferential and paradifferential operators which then become Fourier Integral Operators. In this discussion we show that those Fourier Integral Operators obtained by pull-back are pseudodifferential or paradifferential operators if and only if they are pulled-back by a diffeomorphism that is a change of variable. We give a proof of the change of variables in paradifferential operators.
Finally we study the cutoff defining paradifferential operators and it's stability by successive composition. It is known that the cutoff becomes worse after each composition, we give a slightly refined version of the cutoffs proposed by Hörmander in [14] for which give an optimal estimate on the support of the cutoff after composition.
△ Less
Submitted 1 January, 2023; v1 submitted 7 February, 2020;
originally announced February 2020.
-
A geometric proof of the Quasi-linearity of the water-waves system
Authors:
Ayman Rimah Said
Abstract:
In the first part of this paper we prove that the flow associated to the Burgers equation with a non local term of the form $\partial_x |D|^{α-1} u$ fails to be uniformly continuous from bounded sets of $H^s({\mathbb D})$ to $C^0([0,T],H^s({\mathbb D}))$ for $T>0$, $s>\frac{1}{2}+2$, $0\leq α<2$, ${\mathbb D}={\mathbb R} \ \text{or} \ {\mathbb T} $. Furthermore we show that the flow cannot be…
▽ More
In the first part of this paper we prove that the flow associated to the Burgers equation with a non local term of the form $\partial_x |D|^{α-1} u$ fails to be uniformly continuous from bounded sets of $H^s({\mathbb D})$ to $C^0([0,T],H^s({\mathbb D}))$ for $T>0$, $s>\frac{1}{2}+2$, $0\leq α<2$, ${\mathbb D}={\mathbb R} \ \text{or} \ {\mathbb T} $. Furthermore we show that the flow cannot be $C^1$ from bounded sets of $H^s({\mathbb D})$ to $C^0([0,T],H^{s-1+(α-1)^+ +ε}({\mathbb D}))$ for $ε>0$. We generalize this result to a large class of nonlinear transport-dispersive equations in any dimension, that in particular contains the Whitham equation and the paralinearization of the water waves system with and without surface tension. The current result is optimal in the sense that for $α=2$ and ${\mathbb D}={\mathbb T}$ the flow associated to the Benjamin-Ono equation is Lipschitz on function with $0$ mean value $H^s_0$.
In the second part of this paper we apply this method to deduce the quasi-linearity of the water waves system, which is the main result of this paper.
△ Less
Submitted 28 December, 2022; v1 submitted 7 February, 2020;
originally announced February 2020.