Abstract
We study a popular kinetic model introduced by Saintillan and Shelley for the dynamics of suspensions of active elongated particles where the particles are described by a distribution in space and orientation. The uniform distribution of particles is the stationary state of incoherence which is known to exhibit a phase transition. We perform an extensive study of the linearised evolution around the incoherent state. We show (i) in the non-diffusive regime corresponding to spectral (neutral) stability that the suspensions experience a mixing phenomenon similar to Landau damping and we provide optimal pointwise in time decay rates in weak topology. Further, we show (ii) in the case of small rotational diffusion \(\nu \) that the mixing estimates persist up to time scale \(\nu ^{-1/2}\) until the exponential decay at enhanced dissipation rate \(\nu ^{1/2}\) takes over. The interesting feature is that the usual velocity variable of kinetic models is replaced by an orientation variable on the sphere. The associated orientation mixing leads to limited algebraic decay for macroscopic quantities. For the proof, we start with a general pointwise decay result for Volterra equations that may be of independent interest. While, in the non-diffusive case, explicit formulas on the sphere allow to conclude the desired decay, much more work is required in the diffusive case: here we prove mixing estimates for the advection-diffusion equation on the sphere by combining an optimized hypocoercive approach with the vector field method. One main point in this context is to identify good commuting vector fields for the advection-diffusion operator on the sphere. Our results in this direction may be useful to other models in collective dynamics, where an orientation variable is involved.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Active Suspensions
Over the last decade, a significant mathematical effort has been put into the understanding of mixing mechanisms in kinetic equations. The easiest example is free transport
The explicit representation \(f(t,x,v) = f^{in}(x-vt,v)\) shows a filamentation of the support of the solution through time, leading to convergence of the solution as time goes to infinity, in weak topology, despite the absence of diffusive mechanisms. The rate of convergence depends on the regularity of the data, from exponential convergence for analytic data, to polynomial convergence for Sobolev data. When diffusion is added, leading to
the small scales created by the filamentation allow for an acceleration of the diffusive process; this leads to an enhanced dissipation on time scales \(\nu ^{-1/3}\) shorter than the usual \(\nu ^{-1}\).
Identifying these phenomena in more complex kinetic equations, either of transport or weakly dissipative type, linearly and nonlinearly, has attracted a lot of attention. A main example is the analysis of Landau damping in the Vlasov-Poisson equation of plasma physics, with pioneering works [26, 30]. More recent works were dedicated to weakly dissipative cases, trying to exhibit both Landau damping and enhanced diffusion at the same time [2, 5].
Another field where similar mixing phenomena are identified is the one of collective dynamics. A famous example in this direction is the Kuramoto model, a system of ODEs describing the dynamics of coupled oscillators, known to exhibit phase transition, from incoherence to synchronization. At the mathematical level, the mean-field limit of this system of ODEs leads to a kinetic equation, with unknown \(f(t,\theta ,\omega )\) describing the fraction of oscillators with phase \(\theta \in {\mathbb T}\) and natural frequency \(\omega \in {\mathbb R}\). Depending on a bifurcation parameter quantifying the intensity of the coupling, solutions converge weakly either to the uniform distribution (incoherence), or to the so-called partially locked states modeling synchronization (and containing Dirac masses in \(\theta \)). It turns out that this convergence is again due to a mixing process, as noticed for the first time in [37]. Such phenomenon is now fully confirmed mathematically, both linearly and nonlinearly [4, 7, 15,16,17, 20].
In this paper, we will study mixing properties of a popular model describing a dilute suspension of elongated active particles in a Stokes flow.
1.1 The Model
In [36], see also [35] for a review, D. Saintillan and M. Shelley have introduced a system of PDEs to describe the dynamics of a dilute suspension of elongated active particles in a viscous Stokes flow. The word “active” refers to the fact that they convert chemical energy into mechanical work. A typical example are bacteria, which are able to swim and create stress through the use of their flagellas. To write down the model, the first step is to consider a collection of N elongated particles (ellipsoids) immersed in a Stokes flow. They are described by the position of their center of mass \(x_i \in {\mathbb T}_L^3 = ({\mathbb R}/(L \mathbb {Z}))^3\) and their director \(p_i \in \mathbb {S}^2\), \(1 \le i \le N\). The choice of a torus of size L for the spacial domain instead of a real container is for mathematical convenience: it introduces a typical length scale L without problems related to the boundary of the domain. Neglecting interaction between the particles, one can use the work of Jeffery about a single passive ellipsoidal particle in a Stokes flow, see [24, 38]. If the typical size of the particle is very small compared to L, the torque experienced by the particle i is approximated by \(\mathbb {P}_{p_i^\perp } \left( \gamma E(u) + W(u) \right) \vert _{x_i} p_i\), where \(\mathbb {P}_{p_i^\perp } = \textrm{I} - p_i \otimes p_i\) is the projection orthogonal to \(p_i\), while E(u) and W(u) are the symmetric and skew-symmetric parts of \(\nabla u\). The parameter \(\gamma \) is related to the aspect ratio of the ellipsoid, with \(\gamma = 1\) in the limit case of a rod. Note that in the work of Jeffery, u refers to the unperturbed velocity field, that is the one forgetting the particles. It is thus defined everywhere on \({\mathbb T}_L^3\), especially in \(x_i\). The dynamics is then given by
The first equation describes the velocity of the particles as a sum of two contributions: the first one corresponds to advection by the velocity field u of the flow. The second one corresponds to swimming along the director \(p_i\), at constant speed \(U_0 > 0\). The second equation describes the rotation of the particle, which is known in the absence of noise to experience periodic trajectories (Jeffery’s orbits). As far as we understand, these orbits are not really observed in experiments, and it is more accurate to perturb them by adding additional rotational Brownian motion, of small amplitude \(\nu \ll 1\). On the other hand, we neglect Brownian motion in x, that is translational diffusion. As pointed out in [36, page 7], it is not expected to play a big role in the linear stability properties of the model. We stress though that it could be included in the analysis below, and all the results would then hold independently of the strength of this diffusion.
Besides the swimming velocity \(U_0 p_i\), another feature of active suspensions that needs to be retained is the stress that they create on the fluid. Saintillan and Shelley depart here from the work of Jeffery by including this effect at the level of the Stokes equation on u. The extra stress due to particle i can be thought as a dipole: the sum of two opposite and close point forces, along the direction of \(p_i\): typically, for bacteria, one point force is centered at the body of the particles, while the other is centered at the flagella, see Fig. 1 distinguishing between two kinds of bacteria: pushers and pullers. One ends up with
where this appearance of the divergence operator in front of a Dirac mass is typical of a dipole. Depending on the orientation of the dipole, the sign of \(\alpha _N\) can be positive (pullers) or negative (pushers). We refer to [6] for a more rigorous derivation.
Eventually, with the right scaling of \(\alpha _N\), and performing a (formal) mean-field limit, one obtains the Saintillan-Shelley model, with two unknowns:
-
\(\Psi = \Psi (t,x,p)\), the distribution of particles in space and orientation,
-
\(u = u(t,x)\), the velocity field of the fluid.
It reads
where we remind that
The first equation on \(\Psi \) reflects transport along the stream lines associated to
inspired by the dynamics of the particles mentioned above. It also contains some diffusion term \(\nu \Delta _p \Psi \) (\(\nu \ll 1\)), where \(\Delta _p\) refers to the Laplace-Beltrami operator associated to possible Brownian rotational noise. The other equations describe the Stokes flow, which is forced by the extra stress \({\text {div}} \sigma \), with \(\sigma \) given by the marginal in p of \(\alpha \Psi p \otimes p\).
Let us notice that this model is very close to the Doi model [18] which describes passive suspensions of rodlike polymers. In this setting, \(U_0 = 0\) (passive particles), and \(\alpha > 0\) is proportional to the Boltzmann constant and the temperature: the tensor \(\sigma \) models viscoelastic stress. While local existence and uniqueness of smooth solutions of both the Doi and the Saintillan-Shelley models can be obtained by standard methods, the question of global in time well-posedness is harder. In the case of the Doi model, global well-posedness was proved in [32] for \(\nu > 0\), and in [9] for \(\nu \ge 0\). Actually a look at the proof of [9] shows that it is still valid for \(\alpha \) of any sign. However, for non-zero \(U_0\), as far as we know, global well-posedness is unknown (except for the addition of diffusion in x, see [6]). It seems to be an interesting open problem, especially when \(\nu = 0\): indeed, one can check that the force field in the equation for \(\mathbb {P}_{p^\perp } \left[ (\gamma E(u) + W(u))p\right] \) has the same regularity in x as \(\sigma \). This is to be compared with Vlasov-Poisson equation, where the force field has one degree of regularity more than the density \(\rho \). In the present paper, we will not contribute to this well-posedness theory, but will rather investigate qualitative properties at the linear level.
1.2 Asymptotic Stability of Incoherence: Main Results
A class of equilibria of interest is given by
of which the isotropic suspension \(\Psi ^{iso}=1/4\pi \) is a particular case. By analogy with the Kuramoto model, we will call \(\Psi ^{iso}\) the incoherent state, as it reflects zero alignment between the orientation of the particles. The linearized system around \((\Psi ^{iso}, u^S = 0)\) reads
Since E(u) is symmetric, W(u) is skew-symmetric and u is divergence-free, we have
Hence the equations become
A partial analysis of system (1.9) is performed in [23, 36]
-
in the case \(\nu = 0\), looking for unstable eigenmodes, the authors manage to calculate an explicit dispersion relation. They show that in the case of suspensions of pullers (\(\alpha > 0\)), no unstable eigenvalue exists. As pointed out by the authors, this is consistent with the fact that for the full nonlinear system (1.9), for any \(\alpha > 0\), \(\nu \ge 0\), the relative entropy of any solution \(\psi \) with respect to \(\psi ^{iso}\) decays. However, the situation changes completely for pushers (\(\alpha < 0\)). In this case, unstable eigenvalues exist at low enough x frequencies. In other words, the length L of the torus is a bifurcation parameter: there is a critical value \(L_c\), computed numerically in [36], such that for \(L < L_c\), there exists no unstable eigenvalue, while for \(L > L_c\), there exists at least one. Above this threshold, the incoherent state loses its stability, some partial alignment of the ellipsoidal particles is observed numerically, while the corresponding velocity field develops patterns that are favourable to mixing of passive scalars advected by the flow. See the nice recent work [31] for more on the nature of the bifurcation process.
-
in the case of small \(\nu >0\), no explicit dispersion relation is available. But numerical computations in [36], confirm the picture given at \(\nu = 0\), with some threshold close to \(L_c\). This numerical observation will be confirmed rigorously here.
Our focus in the present paper is on what we call the incoherent regime, that is \(L < L_c\), both in the case \(\nu =0\) and \(\nu > 0\). Again, some theoretical observations are already contained in [36], see also [23]. For \(\nu =0\), the absence of unstable eigenvalue for the linearized operator in (1.9) does not imply automatically linear stability, due to the possible unstable continuous spectrum. Numerical simulations in [23] show high frequency oscillations but no instability. Moreover, some decay at rate \((kt)^{-2}\), where k is the x-frequency of the perturbation, is seen for some moment of the solution \(\psi \) with respect to p. Stability of the incoherent state is conjectured on the basis of these simulations. Regarding \(\nu > 0\), stability is confirmed by simulations, but no clear rate of convergence with respect to \(\nu \) is given.
Our aim is to clarify most of these aspects, through a detailed mathematical study of the linearized equation (1.9). Since \(x \in {\mathbb T}^3_L\), we take the Fourier transform of \(\psi \)
and similarly for \(u_k\), the Fourier transform of u. The Fourier transform of the equation is then
Note that for \(k=0\), the equation reduces to the simple heat equation
so that we restrict to \(k \ne 0\). Moreover, through the change of variables
the system becomes
where
In this rescaled setting, our main results are the following:
Theorem 1
(Inviscid case, pointwise decay through mixing)
Let \(\nu = 0\), \(\psi _k^{in} = \psi _k^{in}(p) \in H^{3+\delta }(\mathbb {S}^2)\) for some \(\delta > 0\), \(k \in \mathbb {S}^2\), \(\varepsilon =\pm 1\) and \(\Gamma \in {\mathbb R}_+\). Let \(\psi _k = \psi _k(t,p)\) be the solution of (1.13) such that \(\psi _k\vert _{t=0} = \psi _k^{in}\). There is an absolute constant \(\Gamma _c \in (0,+\infty ]\), with \(\Gamma _c = +\infty \) for \(\varepsilon = 1\), and \(C = C\big (\delta ,\Gamma \big )\), such that if \(\Gamma < \Gamma _c\), then for all \(t \ge 0\)
Theorem 2
(Diffusive case, mixing persists for small \(\nu \) up to time \(\nu ^{-1/2}\))
Let \(\nu \in (0,1)\), \(\psi _k^{in} = \psi _k^{in}(p) \in H^{2+\delta }(\mathbb {S}^2)\) for some \(\delta > 0\), \(k \in \mathbb {S}^2\), \(\varepsilon =\pm 1\) and \(\Gamma \in [0, \Gamma _c)\), with \(\Gamma _c\) as in Theorem 1. Let \(\psi _k = \psi _k(t,p)\) be the solution of (1.13) such that \(\psi _k\vert _{t=0} = \psi _k^{in}\). There exist \(\nu _0 = \nu _0(\Gamma ) > 0\), \(C = C(\delta , \Gamma ) > 0\), such that for \(0< \nu < \nu _{0}\) and \(t \in [0,\nu ^{-1/2}]\) it holds that
After the time \(\nu ^{-1/2}\), we have the mixing estimates with an additional log factor until the enhanced dissipation takes over.
Theorem 3
(Diffusive case, enhanced dissipation at timescale \(\nu ^{-1/2}\))) Under the assumptions of Theorem 2, there exist \(M, \eta , \nu _0 > 0\) depending on \(\Gamma \), and \(C = C(\delta ,\Gamma )\) such that for \(0< \nu < \nu _0\) and \(t \ge \nu ^{-1/2}\) it holds that
A few remarks are in order.
Remark 1.1
On the torus the largest length scale is \(L\), so that in the unscaled equation the original wavenumber |k| is at least \(2\pi /L\). This leads to the upper bound
Hence the stability condition on \(\Gamma \) can be translated into a maximal size of the torus.
Remark 1.2
Theorem 1 is the expression of an inviscid damping: it leads to a \(O(t^{-2})\) decay for the velocity field \(u_k\). Notice that \(u_k\) involves \(\psi _k\) through an average in p: this average allows to take advantage of the mixing phenomenon. As a byproduct, one has a \(O(t^{-1})\) decay of \(\psi _k\) itself in weak topology (negative Sobolev space). The difference in the rate of decay is very much related to the special structure of \(u_k\) in terms of \(\psi _k\). We stress that these polynomial rates cannot be improved, even taking analytic initial data. This is a major difference with Landau damping, and is related to the fact that the orientation variable \(p \in \mathbb {S}^2\) replaces the velocity variable \(v \in {\mathbb R}^3\).
Remark 1.3
In our proof of Theorem 1, the stability constant \(\Gamma _c\) that we exhibit when \(\varepsilon = -1\) is sharp: it means that for \(\Gamma > \Gamma _c\) there exist eigenmodes with \(u_k\) growing. Concretely, condition \(\Gamma < \Gamma _c\) is equivalent to the fact that some dispersion relation has no root in the unstable half-plane:
Our rigorous analysis of this dispersion relation, including the identification of \(\Gamma _c\), is inspired by the work of Penrose [33] on the stability of plasmas. It substitutes for the numerical analysis carried in [36].
Remark 1.4
Theorem 2, dealing with the weakly diffusive setting, shows that for \(\nu > 0\) small enough, the mixing phenomenon persists up to time \(\nu ^{-1/2}\), more generally up to time \(C \nu ^{-1/2}\) for arbitrary \(C > 0\). The fact that \(\nu ^{-1/2}\) is a natural time threshold for our problem is confirmed by Theorem 3: solutions of the equation experience an exponential decay after this typical threshold. This exponential decay before the natural diffusive timescale \(\nu ^{-1}\) reflects the well-known phenomenon of enhanced dissipation [3, 10, 12, 13], evoked in the introduction, although one can notice again a strong qualitative difference between variable \(p \in \mathbb {S}^2\) and variable \(v \in {\mathbb R}^3\). In the latter case, the enhanced dissipation would hold with typical time scale \(\nu ^{-1/3}\). Here, the typical time scale is much longer, which creates strong mathematical difficulties in showing mixing up to this time scale, and enhanced diffusion afterwards.
For the transition time until the enhanced dissipation takes over, we show the persistence of the mixing estimates with additional log factors. In advection-diffusion problems, a diffusion-limited mixing behavior is often observed [29]. That is, inviscid mixing does not persist as \(t\rightarrow \infty \), rather the ratio of the \(\dot{H}^{-1}\) to the \(L^2\) norm converges to a positive constant. This corresponds to the existence of a characteristic filamentation length scale, often referred to as the Batchelor scale in the physics literature.
Remark 1.5
While completing our manuscript, we noticed the release of the interesting preprint [1], about the same Saintillan-Shelley model (except for the introduction of an additional diffusion in variable x). Although paper [1] and ours share a few common features, we believe that they are different enough to provide distinct and valuable insights into the stability of active suspensions.
Regarding mixing, which is the focus of the present paper, [1] only contains a weaker version of our Theorem 1, showing that under condition (1.22), a \(L^2\) in time stability estimate
holds. Our extensive discussion of (1.22), see Remark 1.3, as well as our optimal pointwise in time decay estimates are not covered. We stress that these pointwise estimates are based on the general Theorem 5 on Volterra equations, which is of independent interest.
More importantly, [1] does not contain any analogue of our Theorem 2, which is the heart of our paper, and requires completely different arguments from the inviscid case.
On the other hand, [1] contains the derivation of Taylor dispersion estimates when \(x\in {\mathbb R}^d\), and two nonlinear stability results (diffusion in x is crucial there). First, in the case of pullers (\(\varepsilon = 1\)), using an approach à la Guo [22], the authors prove nonlinear stability of the incoherent state \(\Psi ^{iso}\), both for \(x \in {\mathbb T}^d\) and \(x \in {\mathbb R}^d\) (but without enhanced dissipation). Second, in the case of pushers, they prove nonlinear stability of the incoherent state with enhanced diffusion, under the stringent assumption \(\Gamma = o(\nu ^{1/2})\), which allows to treat the model as a perturbation of the advection-diffusion equation. With regards to these last two results, and although we restrict here to a linear analysis, our Theorem 3 is a significant progress.
1.3 Key Ideas
The evolution (1.13) can be split as
where
is the advection-diffusion operator, and \(u_k\) is the low-dimensional linear map from the kinetic distribution to the macroscopic velocity field given by
Finally, \({\bar{L}}_{2,k}\) is the vector field independent of time defined by
Here, we have used that \(u_k\) satisfies \(k \cdot u = 0\) so that
By Duhamel’s formula
Applying the linear map \(u_k\) then yields the Volterra equation
with the source
and the matrix kernel \(K_k\) defined by
In the proof of Theorems 1, 2 and 3 the key point is to work on the Volterra equation (1.28) and to show that \(u_k\) decays like \(t^{-2}\) at infinity. Once this is obtained, to go back to the evolution of \(\psi _k\) and estimate its decay in negative Sobolev norms is direct. Regarding the decay of \(u_k\), there are two main steps:
-
i)
To show that the source term \(U_k\) and the kernel \(K_k\) decay like in the corresponding theorem.
-
ii)
To show that under appropriate conditions on \(\Gamma \), this decay passes to the solution \(u_k\) of the Volterra equation.
Let us stress that the mathematical questions raised by the second step are not specific to our model, and can be asked for any Volterra equation. They will be examined in Section 2. Obviously, before relating the decay rate of the solution to the decay rates of the source and the kernel, a prerequisite is the stability of the solution. Using the classical theory of Volterra equation, one knows that it is equivalent to the spectral condition
where \(\mathcal {L}\) is the Laplace transform. Under this condition, we achieve Step ii) by proving Theorem 5 in Section 2. We provide a short proof, that uses the notion of Volterra kernel of type \(L^\infty \) and the underlying structure of Banach algebra of this class of kernels
As regards Step i), there is a main difference between \(\nu =0\) and \(\nu > 0\). In the inviscid case \(\nu =0\), considered in Section 3, the evolution \({\textrm{e}}^{tL_{1,k}}\) can be solved explicitly: the kernel and sources are given by Fourier transforms on the sphere, whose decay properties are well-known, and analyzed through stationary phase arguments. This implies that \(U_k\) and \(K_k\) are \(O(t^{-2})\). Moreover, the spectral stability condition can be fully understood through an analysis à la Penrose, see Section 3, completing the proof of Theorem 1.
For the diffusive case \(\nu >0\), we cannot solve the evolution \({\textrm{e}}^{tL_{1,k}}\) explicitly and the main effort in proving Theorem 2 and 3 is to obtain optimal mixing estimates on the advection-diffusion equation. This is performed in Section 4. In terms of the advection-diffusion evolution \({\textrm{e}}^{tL_1}\), the first result is an enhanced dissipation result, which can be proved by adapting hypocoercive methods:
Proposition 1.6
There exist constants \(C_0,\varepsilon _0,\nu _0>0\) with the following property: for every \(\nu _0>\nu >0\) and \(\psi ^{in}\) the advection-diffusion evolution is bounded for all \(t \ge 0\) as
The main novelty is that the inviscid mixing estimates persists until the enhanced dissipation takes over:
Proposition 1.7
There exist \(\nu _0 > 0\) and \(M\ge 2\) such that for \(c,\delta > 0\) there exists a constant \(C\) with the following bounds: For any \(\nu \le \nu _0\), any scalar function F and \(t \le \nu ^{-1/2}\) it holds that
and
Further, for \(t \in [\nu ^{-1/2},c\nu ^{-1/2}|\ln \nu |]\) it holds that
and
The key idea is the use of the vector field method. This method, introduced for the analysis of decay properties of wave equations [25], was used recently in the context of Vlasov type equations on \({\mathbb R}^d\) [5]. It allowed to exhibit mixing when \(0 < \nu \ll 1\), despite the loss of explicit representation formula. Let us just mention at this stage that the key point is to construct good vector fields, meaning that they commute to the advection-diffusion operator \(i k \cdot p - \nu \Delta _p\). In the Euclidean setting (1.1), the natural choice \(J = \nabla _v + i t k\) works well over the time scale \(\nu ^{-1/3}\), after which enhanced dissipation dominates. On the sphere this has no good analogue as the obvious generalization \(J = \nabla _p + i \nabla (p\cdot k) t\), when applied to a solution \(\psi \) of the advection-diffusion equation, creates commutators of the form \(\nu t \nabla \psi \), with a time integral that can not be controlled over the large time scale \(\nu ^{-1/2}\). We overcome this difficulty by combining two ideas. We first introduce a better vector field,
Roughly, it allows to replace the bad commutator by one that behaves like \(\nu t (1-k \cdot p)\nabla \psi \), hence vanishing near \(\pm k\). Then, we adapt Villani’s hypocoercivity method [39], using additional weights in time. The key point of this adaptation is that, besides proving enhanced diffusion at time scale \(\nu ^{-1/2}\), see Remark 1.4, it provides extra decay information for some quantities vanishing near the poles \(\pm k\) of the sphere. This allows to control the commutator and apply the vector field method. All details will be found in Section 4.
Using the decay estimate, the proof of Theorem 2 is achieved in Section 5.1. Regarding the enhanced dissipation estimates of Theorem 3, a key point is to understand the behaviour of the diffusive Volterra kernel past time \(\nu ^{-1/2}\), and notably to check the spectral condition (1.31) for small \(\nu \). In the Euclidean case, see for instance [5], this can be proved perturbatively from the inviscid case, using the decay of the diffusive kernel uniformly in \(\nu \). In our spherical setting, this is where we need the second part of Proposition 1.7. This analysis and the proof of Theorem 3 are performed in Section 5.2.
2 Volterra Equations
In this section we study a general Volterra equation:
with unknown \(u : {\mathbb R}_+ \rightarrow \mathbb {C}^n\), and data \(K : {\mathbb R}_+ \rightarrow M_n(\mathbb {C})\) (the kernel), \(v : {\mathbb R}_+ \rightarrow \mathbb {C}^n\) (the source). The convolution is here on \({\mathbb R}_+\), defined by \(F \star g(t) = \int _0^t F(s)\, g(t-s)\, {\textrm{d}}s\). We are interested in the global in time solvability of this equation, and in accurate polynomial decay estimates for solution u under assumptions of polynomial decay on K and v. The classical path to study this equation, detailed in [21], is to construct the so-called resolvent of the equation, that is a matrix-valued \(R : {\mathbb R}_+ \rightarrow M_n(\mathbb {C})\) satisfying
Note that the convolution product does not commute when \(n > 1\), so that in this case, the resolvent satisfies two distinct equations. It is then straightforward to check that if K and v are integrable, and if there exists an integrable solution R of (2.2), then an integrable solution u of (2.1) is given by \(u = v - R \,\star \,v\) and is unique.
For the construction of the resolvent, a vague idea of proof is the following. Assuming there is a solution R to (2.2), and extending both R and K by zero on \({\mathbb R}_-\), the relation (2.2) holds now for all t on \({\mathbb R}\), replacing the convolution on \({\mathbb R}_+\) by the usual convolution on \({\mathbb R}\). Taking the Fourier transform yields in particular
This suggests to impose the condition
and to define
This is however too quick. We remind that, in order to obtain (2.3), we have extended our hypothetical solution R by zero on \({\mathbb R}_-\). Hence, we must not only verify that the formula (2.5) makes sense, but also that it gives a function that vanishes on \({\mathbb R}_{-}\). Condition (2.3) is not sufficient for that. Still, under the stronger condition
where \({{\mathcal {L}}}K(z) = \int _0^{+\infty } {\textrm{e}}^{- zt} K(t)\, {\textrm{d}}t\) is the Laplace transform of the kernel, everything goes nicely. This is the content of following theorem.
Theorem 4
[ [21, Chapter 2]] Assume that \(K \in L^1({\mathbb R}_+, M_n(\mathbb {C}))\), and that the spectral condition (2.6) is satisfied. Then, there exists a unique solution \(R \in L^1({\mathbb R}_+, M_n(\mathbb {C}))\) of (2.2). As a consequence, for any \(v \in L^1({\mathbb R}_+, \mathbb {C}^n)\), (2.1) has a unique solution \(u \in L^1({\mathbb R}_+, \mathbb {C}^n)\).
Once global existence of an \(L^1\) solution has been obtained, a natural question is its decay, depending on the decay of the kernel and data. While many works, for instance on Landau damping, treat this kind of question, most results fall into one of the following two types. Either they use weighted spaces and use the stronger assumption \(\int _0^\infty |K(t)|\, (1+t)^\alpha \, {\textrm{d}}t\) to conclude from \(v\) in \(O((1+t)^{-\alpha })\) that \(u\) is \(O((1+t)^{-\alpha })\), e.g. [15, 20]. Or they establish \(L^p\) in time estimates without loss for \(p=1,2\). Indeed, while weighted \(L^1\) estimates behave well with respect to convolution formulas such as (2.2), \(L^2\) estimates may be established using (2.3) and Plancherel formula, see [1].
Note that this is a significant loss of information, and a look at (2.1) shows that we may expect much more: if \(K,v\) are \(O((1+t)^{-\alpha })\) for \(\alpha >1\), one may hope that u is \(O((1+t)^{-\alpha })\) as well because this property is stable by convolution. Our main result exactly shows this:
Theorem 5
Assume that (2.6) holds. Let \(\alpha > 1\), and assume that K satisfies
for \(\alpha >1\) and a constant \(C_K\). Then, for any v, the solution u of (2.1) satisfies
Remark 2.1
Faou, Horsin and Rousset [19, Corollary 3.3] have a related result for specific weights. Our proof is different and easily applies for general weights, notably weight \(\ln (2+t) (1+t)^{-\alpha }\), that will be used later.
Our proof relies on the analysis of Volterra equations of non-convolution type carried in [21, Chapter 9]. These equations take the form
where J is a subinterval of \({\mathbb R}_+\). An important notion developed there is the one of Volterra kernel of type \(L^p\), that we introduce here only for \(p=\infty \).
Definition 2.2
A Volterra kernel on J is a measurable mapping \(k : J \times J \rightarrow M_n(\mathbb {C})\), such that \(k(t,s) = 0\) for all \(s,t \in J\) with \(s > t\).
Definition 2.3
A Volterra kernel is said to be of type \(L^\infty \) on J if it satisfies
On \(J\) we can define a generalized convolution product
and one can directly verify that the set of Volterra kernels of type \(L^\infty \) on J, equipped with \((+,\star )\), is a Banach algebra for the norm \({\left| \hspace{-1.0625pt}\left| \hspace{-1.0625pt}\left| \cdot \right| \hspace{-1.0625pt}\right| \hspace{-1.0625pt}\right| }_{\infty ,J}\). Moreover, one can show that the space \(L^\infty (J, \mathbb {C}^n)\) is a left Banach module over it, through \((k v)(t) = \int _{J} k(t,u)\, v(u)\, {\textrm{d}}u\).
As for classical Volterra equations, one has a notion of resolvent:
Definition 2.4
Given a Volterra kernel k on J, a resolvent of k on J is another Volterra kernel satisfying
As in the convolution case, the resolvent determines the solution.
Lemma 2.5
[[21, Chapter 9, Lemma 3.4]]
If k is a Volterra kernel of type \(L^\infty \) on J, which has a resolvent r of type \(L^\infty \) on J, then, for any \(\tilde{v} \in L^\infty (J, \mathbb {C}^n)\), equation (2.8) has a unique solution \(\tilde{u} \in L^\infty (J, \mathbb {C}^n)\), given by
In particular, \(\Vert \tilde{u}\Vert _{L^\infty (J)} \lesssim \Vert \tilde{v}\Vert _{L^\infty (J)}\).
Using the standard von Neumann series for perturbations of the resolvent map in the Banach algebra, we can control the resolvent around a known resolvent.
Proposition 2.6
([21, Chapter 9, Theorem 3.9])
If \(k = k_1 + k_2\) is the sum of two Volterra kernels of type \(L^\infty \) on J, if \(k_1\) has a resolvent \(r_1\) of type \(L^\infty \) on J, and if
then k has a resolvent of type \(L^\infty \) on J.
Proof of Theorem 5
For \(\epsilon > 0\) (to be chosen later sufficiently small), we consider
By (2.1), they satisfy
with the Volterra kernel
By Lemma 2.5 it suffices to show that \(k\) is of type \(L^\infty \) on \({\mathbb R}_+\) and has a resolvent of type \(L^\infty \) on \({\mathbb R}_+\). We decompose k as
Clearly, \({\left| \hspace{-1.0625pt}\left| \hspace{-1.0625pt}\left| k_1 \right| \hspace{-1.0625pt}\right| \hspace{-1.0625pt}\right| }_{\infty ,{\mathbb R}_+} \le \Vert K\Vert _{L^1}\) so that \(k_1\) is of type \(L^\infty \). By Theorem 4, under (2.6), the convolution Volterra kernel \(K\) has a resolvent \(R\), solution of (2.2). Setting
yields the resolvent \(r_1\) of \(k_1\) on \({\mathbb R}_+\). Moreover, \({\left| \hspace{-1.0625pt}\left| \hspace{-1.0625pt}\left| r_1 \right| \hspace{-1.0625pt}\right| \hspace{-1.0625pt}\right| }_{\infty ,{\mathbb R}_+} \le \Vert R\Vert _{L^1}\) so that \(r_1\) is of type \(L^\infty \). By Proposition 2.6, it then suffices to show that we can make \({\left| \hspace{-1.0625pt}\left| \hspace{-1.0625pt}\left| k_2 \right| \hspace{-1.0625pt}\right| \hspace{-1.0625pt}\right| }_{\infty ,{\mathbb R}_+} \) arbitrarily small by choosing \(\epsilon \) small enough. For this last claim, first consider \(t \le \lambda /\epsilon \) for a parameter \(\lambda > 0\). Then
which can be made arbitrary small by choosing \(\lambda \) small enough. This \(\lambda \) being fixed, we consider now \(t > \lambda /\epsilon \) and split the integral at \(\delta t\) for \(0<\delta <1\). First,
which can be made arbitrary small by choosing some \(\delta <1\) close to \(1\). Then, for fixed \(\lambda ,\delta \) we find
which again can be made arbitrary small by choosing \(\epsilon \) sufficiently small. \(\square \)
3 Isotropic Suspensions in the Inviscid Case
As the incoherent state is rotational invariant, we can always choose a coordinate system so that \(k \in \mathbb {S}^2\) equals the coordinate vector \(e := (0,0,1)^t\). More precisely, if \(\psi _k[\psi ^{in}]\) is the solution of (1.13) with initial data \(\psi ^{in}\), one has for any rotation matrix R:
so that it is enough to assume \(k = e\) to prove Theorem 1 or Theorem 2. For easier readability we then also drop the explicit dependence in the index \(k\). The system (1.13) reduces to
where \(L_1 := L_{1,e}\), \(u[\psi ] = u_e[\psi ]\), \({\bar{L}}_2 = {\bar{L}}_{2,e}\), see definitions (1.24)–(1.25)–(1.26). By standard methods, for any \(\psi ^{in} \in H^s(\mathbb {S}^2)\), \(s \ge 0\), there exists a unique solution \(\psi \in C({\mathbb R}_+, H^s(\mathbb {S}^2)) \cap C^1({\mathbb R}_+, H^{s-1}(\mathbb {S}^2))\) if \(\nu = 0\), resp. \(\psi \in C({\mathbb R}_+, H^s(\mathbb {S}^2)) \cap L^2_{loc}({\mathbb R}_+, H^{s+1}(\mathbb {S}^2))\) if \(\nu > 0\), of (3.1). The point is to obtain the decay estimates, first for u, then for \(\psi \) itself. We consider in this section the case \(\nu = 0\).
3.1 Volterra Equation on u
As indicated in Section 1.3, we can rewrite the evolution for u as a Volterra equation
with
As \(\nu =0\), by the definition of \(u[\cdot ]\), we find explicitly for a test function \(\phi \) that
We recognize a Fourier transform over the sphere, with well-known decay properties, quantified in
Lemma 3.1
Let \(M \in \mathbb {N}\), \(\delta > 0\) and \(F\in H^{2M+1+\delta }(\mathbb {S}^2)\) be a function over \(\mathbb {S}^2\). For a unit vector \(e \in \mathbb {S}^2\) define the integral
Then there exist complex numbers \(c_{m,\pm }\), \(1 \le m \le M\), and \(I_M= I_M(t)\) such that
and
For completeness, we shall provide the proof of this lemma, directly inspired from the lecture notes [8], at the end of this subsection. In the special case of our source U and kernel K, the integrand F of the lemma contains the projection \(\mathbb {P}_{k^\perp }\), that is vanishing at \(p = \pm k\) so that Lemma 3.1 with \(M=1\) implies the bounds
Hence we find by Theorem 5 that under the spectral condition
the first bound (1.15) on the decay of \(u\) holds. To complete the proof of Theorem 1, it remains to check when assumption (3.7) is satisfied, and finally to analyse the decay of \(\psi \) itself. This will be done in the following Subsections 3.2 and 3.3.
Proof of Lemma 3.1
We introduce a smooth partition of unity \(\chi _0\), \(\chi _\pm \), with \(\chi _0 + \chi _+ + \chi _- = 1\) over \(\mathbb {S}^2\), where \(\chi _0\) is supported away from \(p = \pm e\) and \(\chi _\pm \) is supported in a neighborhood of \(\pm e\). We decompose
By the rotational symmetry, one can introduce coordinates such that \(e\) is along the \(z\)-axis. Then any point \(p \in \mathbb {S}^2\) can be parametrized as
for \(z \in [-1,1]\) and \(\gamma \in [0,2\pi )\). The surface measure on the sphere is \({\textrm{d}}\sigma = {\textrm{d}}\gamma \, {\textrm{d}}z\) so that
The key point is that \(F_0\) is compactly supported in \((-1,1)\) so that its extension by zero to \({\mathbb R}\), still denoted \(F_0\), is in \(H^{2M+2}_c({\mathbb R})\). We find in particular that
It remains to treat \(I_+\) (\(I_-\) can be handled in the same way). Let
We find
where j is the Jacobian from the change of variable.
The key point is that the phase \(\sqrt{1-|x|^2}\) has a non-degenerate critical point at \(x = 0\), with Hessian matrix at zero being \(-2 I\). By Morse lemma, there exists a smooth diffeomorphism \(\psi \) from a neighborhood U of 0 in \({\mathbb R}^2\) to \(B(0,\eta )\), for \(\eta \) small enough, so that \(\sqrt{1-|\psi (y)|^2} = 1-|y|^2\). By taking the support of \(\chi _+\) sufficiently small, we can perform another change of variables and arrive at
where \(F_+\) is the product of \(F_0 \circ \varphi \circ \psi \) with a smooth function, compactly supported in U coming from the Jacobian. Extending \(F_+\) by zero outside U, we end up with
with the Fourier transform \(\hat{F}_+\) of \(F_+\) and where the last line comes from Plancherel identity.
We can then perform a Taylor expansion
Setting
we obtain that
One can then notice that
The result of the lemma follows directly. \(\square \)
3.2 Stability Condition
We now study the stability condition (3.7). This condition was already studied through explicit numerical computations in [36], but here we provide another angle through the argument principle which allows a complete solution.
We first compute the determinant.
Lemma 3.2
For \(\lambda \in \mathbb {C}\) with \({\text {Re}}\lambda \ge 0\) we have
Proof
We remind that
We again take the parametrization (3.8). We then deduce from (3.2) and (3.3) for \({\text {Re}}\lambda > 0\) that
This directly yields the expression for \({\text {Re}}\lambda > 0\). For \({\text {Re}}\lambda =0\) the result follows from continuity and Plemelj formula. \(\square \)
Remark 3.3
The principal value can be computed explicitly: for all \(b \in (-1,1)\),
This is an odd function, that vanishes at 0 and at \(\pm b_c\) where \(b_c > 0\) can be evaluated numerically to
Moreover, the function is negative on \((0,b_c)\), positive on \((b_c,1)\).
Proposition 3.4
For the inviscid system, one has depending on \(\varepsilon \)
-
(1)
If \(\varepsilon = 1\), then the spectral condition (3.7) is satisfied for all \(\Gamma \in {\mathbb R}_+\).
-
(2)
If \(\varepsilon = -1\), the spectral condition is satisfied if and only if \(\Gamma < \Gamma _c\), where
$$\begin{aligned} \frac{1}{\Gamma _c} = \frac{3\pi }{4} b_c^2(1-b_c^2). \end{aligned}$$
Proof
For \({\text {Re}}\lambda \ge 0\) define the analytic function \(F(\lambda )\) by
By Lemma 3.2, there exists then an eigenmode if and only if \(F\) attains in the right half plane the value \(\varepsilon /\Gamma \).
By the explicit expression, we also see that \(F(\lambda ) \rightarrow 0\) as \(|\lambda | \rightarrow \infty \). Hence by the argument principle the attained values are exactly those values encircled by the curve \(b \mapsto F(ib)\). This curve is plotted in Fig. 2 but can also be understood analytically.
For \(|b| \ge 1\), the expression directly shows that \(F(b)\) is purely imaginary, while for \(|b| \le 1\) we find that \({\text {Re}}F \le 0\). Hence it cannot encircle positive real numbers, which proves the first statement of the proposition.
In \( \{|b| < 1\}\) the curve crosses the real axis at \(b=0\) and \(b=\pm b_c\). By the expression of \(F\), we see that it indeed crosses the real axis at \(-3\pi b_c^2(1-b_c^2)/4\). Hence we then have an eigenmode if and only if
which shows the claimed stability. \(\square \)
3.3 Control on \(\psi \)
With the control of \(u\) we go back to prove (1.16). Again, it is enough to treat the case \(k = e\). Let \(\varphi \in H^{1+\delta }(\mathbb {S}^2)\). From (1.27), we deduce
We apply Lemma 3.1 with \(M=0\), to obtain
as \(H^{1+\delta }(\mathbb {S}^2)\) is an algebra. As regards \(I_2\), we write
We bound the parenthesis in the first term using again Lemma 3.1 with \(M=0\): it follows
where we have used (1.15) for the second inequality. Eventually, we use again (1.15) to get
where we applied the Sobolev imbedding \(H^{1+\delta }(\mathbb {S}^2) \hookrightarrow L^\infty (\mathbb {S}^2)\). This concludes the proof of (1.16) and of Theorem 1.
4 Decay Estimates for Advection-Diffusion on the Sphere
In this central section of our paper we prepare for the results under small angular diffusion \(\nu \) by proving Proposition 1.6 and Proposition 1.7.
Here we study mixing estimates for the semigroup \({\textrm{e}}^{tL_{1,k}}\) where \(L_{1,k} = - i k \cdot p + \nu \Delta \), \(k \in \mathbb {S}^2\). As explained at the beginning of Section 3, there is no loss of generality in assuming \(k = e = (0,0,1)\). We shall later use spherical coordinates \((\theta ,\varphi )\), with colatitude \(\theta \in (0, \pi )\) and longitude \(\varphi \in (0,2\pi )\), so that \(p = \sin \theta \cos \varphi \, e_x + \sin \theta \sin \varphi \, e_y + \cos \theta \, e\).
Setting \(\psi (t) = {\textrm{e}}^{t L_{1,k}} \psi ^{in}\), we thus study decay estimates for solutions to
where, from now on, we suppress the subscript on all differential operators, as it is understood that they are all with respect to the variable p on the sphere \(\mathbb {S}^2\).
A first feature of (4.1) is that the interaction of transport and diffusion leads to an enhanced diffusion time scale \(O(1/\sqrt{\nu })\) that is much shorter than the heat equation one \(O(1/\nu )\). This phenomenon is analysed in details in Section 4.1. Furthermore, we exhibit an auxiliary time \(\nu ^{-1/3}\) for the decay of \(\Vert \nabla (p \cdot e) \psi \Vert _{L^2}\), a quantity that vanishes near the pole. This additional time scale is coherent with classical results for enhanced dissipation in the Euclidean setting, where the absence of critical points also leads to typical time \(\nu ^{-1/3}\).
In the following Section 4.2, we build a vector field \(J_\nu \) under the form
such that, roughly:
-
(i)
\(\alpha _\nu \sim 1\), \(\beta _\nu \sim t\) over times \(\nu ^{-1/2}\);
-
(ii)
\(J_\nu \psi \) is well-controlled over times \(\nu ^{-1/2}\).
In the usual Euclidean setting, where \(e \cdot p\) is replaced by \(e \cdot v\), \(v \in {\mathbb R}^3\), the vector field \(J = \nabla _v + i t e\) is an easy and convenient choice: it commutes with the advection-diffusion operator, so that \(J \psi \) can be controlled easily for all times. In the case of the sphere, we do not know how to construct such a commuting vector field. Designing a \(J_\nu \) for which we can show properties (i) and (ii) is difficult, and relies on the refined estimates of Section 4.1.
By these vector fields we can obtain the first part of the mixing estimates of Proposition 1.7 up to time \(\nu ^{-1/2}\) in Section 4.3. For the estimates on the longer time scale, we adapt the estimates in Section 4.4 which then concludes the proof of Proposition 1.7.
4.1 Hypocoercive Estimate for Advection-Diffusion
In this subsection we will introduce the hypocoercive estimates which will yield the enhanced dissipation of Proposition 1.6.
Using the covariant derivatives \(\nabla \) as discussed in Appendix A, we find in our case of \(\mathbb {S}^2\) that
where the Laplacian \(\Delta = {{\,\textrm{tr}\,}}(\nabla ^2)\) is the connection Laplacian (the correction comes from the Ricci curvature tensor which equals the metric on the sphere). Taking the covariant derivative of (4.1), we therefore get
We explicitly compute \(\Delta (\nabla (p\cdot e) \psi )\) in Lemma A.1 and this concrete expression yields
We further note that \(|p\cdot e| \le 1\) and \(|\nabla (p\cdot e)| \le 1\). In spherical coordinates, we find explicitly that \(|\nabla (p\cdot e)| = \sin \theta \) which is uniformly lower-bounded away from the poles where it vanishes linearly.
We now derive several energy identities for the solution to (4.1). In all what follows, \(\langle \cdot ,\cdot \rangle \) and \(\Vert \cdot \Vert \) stand for the complex scalar product (with the conjugate on the second variable) and norm on \(L^2(\mathbb {S}^2)\) respectively. For simplicity, we will use the same notations for the scalar product and norm of \(L^2\) vector fields, or more generally for \(L^2\) sections of any tensor bundle over \(\mathbb {S}^2\). A direct computation using the antisymmetry of the operator \( ip \cdot e\) allows us to derive the \(L^2\) balance
By testing (4.2) with \(\nabla \psi \), we obtain the \(H^1\) balance
Next we find
From (4.3) we find
For positive constants a, b, c to be chosen later independently of \(\nu \), define the energy functional
Such a form of time-dependent functional takes inspiration from [14, 28, 40]. Assuming that \(2b^2 \le ac\), the mixed term can be controlled by the squares so that
Moreover, from (4.4)–(4.7), we deduce that \(E[\psi ]\) satisfies the identity
It follows that
We will choose the constants according to the following lemma, which is crucial for the subsequent analysis and holds for the longer time-scale \(\nu ^{-1}\).
Lemma 4.1
For any \(\delta > 0\), there exists \(b_0\) such that for the constants \(a=b^{2/3}\), \(0<b<b_0\) and \(c= 32b^2/a\) and for all times \(t \le \delta \nu ^{-1}\) it holds for \(0<\nu \le 1\) that
Proof
By the choices \(a=b^{2/3}\), \(c=32b^2/a\) and the constraint \(t \le \delta \nu ^{-1/2}\) the result follows from (4.11) as soon as
Hence we find the result for a small enough \(b_0\). \(\square \)
To conclude the enhanced dissipation from the previous lemma, we need to control \(\Vert \psi \Vert \).
This is achieved by an interpolation in equality involving \(\Vert \nabla (p\cdot e) \psi \Vert \), which gives a good control apart from the poles \(\pm e\), and \(\Vert \nabla \psi \Vert \), see also [1, Lemma 4.3].
Lemma 4.2
For all \(\sigma \in (0,1]\), all vectors \(e \in \mathbb {S}^2\) and all complex-valued \(g\in H^1(\mathbb {S}^2)\), the following inequality holds
Proof
Introducing the spherical coordinates \((\theta , \varphi )\), with latitude \(\theta \in (0, \pi )\) and longitude \(\varphi \in (0,2\pi )\), the inequality (4.12) becomes
Now, for \(\sigma \le 1\), we have
Moreover, an integration by parts entails
implying
Combining the above estimate with (4.14), we obtain the desired estimate (4.13). \(\square \)
We can now conclude the enhanced dissipation.
Proof of Proposition 1.6
Fix the constants \(a,b,c\) according to Lemma 4.1. Let \(\lambda > 0\) to be fixed later independently of \(\nu \). Let \(\nu _0\) such that \(\frac{4 a \nu _0}{c \lambda ^2} \le 1\). From the definition of \(E[\psi ]\), we have, for all \(\nu \le \nu _0\), at time \(t = \lambda \nu ^{-1/2}\)
where the last line comes from Lemma 4.2, with \(\sigma := \frac{4 a \nu }{c \lambda ^2} \le 1\). By the evolution estimate of Lemma 4.1 we also find (as \(\Vert \psi \Vert \) is non-increasing), that at time \(t = \lambda \nu ^{-1/2}\),
Hence we find that at time \(t = \lambda \nu ^{-1/2}\),
Taking \(\lambda \) small enough (depending on a, b, c but independently of \(\nu \)), the factor at the right-hand side is less than \(1\), which implies exponential decay with a rate proportional to \(\nu ^{1/2}\). \(\square \)
4.2 Hypocoercive Estimate for Vector Fields
In this subsection we introduce the vector fields to show the mixing estimate Proposition 1.7 for \(\nu >0\) when the semigroup \({\textrm{e}}^{t L_1}\) cannot solved explicitly. This has already been used in a few instances for mixing estimates [5, 11]. In terms of \(L_1\), the evolution of \(\psi \) of (4.1) can be written as
and the idea is to find a vector field \(J\) for which we control \(J\psi \). A natural candidate for a vector field is \(J = \nabla + i t \nabla (p\cdot e)\), which commutes with the inviscid part of the equation. However, it does not commute well with the diffusion operator. Namely, we find that
By Duhamel’s formula,
If we were to rely only on the straightforward (yet optimal on time scales O(1)) bounds
we would get
The second term behaves like \(C \nu t^3\), and therefore diverges for \(t \gg \nu ^{-1/3}\), which is a faster time scale than the enhanced dissipation one for this problem.
To overcome this issue, we introduce the viscosity-adapted vector field \(J_\nu \) of the form
for scalar functions \(\alpha = \alpha _\nu \), \(\beta = \beta _\nu \). For the evolution, we then find
In order to control the commutator error terms, we set
and thus take
For the time frame \(t \le \nu ^{-1/2}\) we see that \(\alpha \sim 1\) and \(\beta \sim t\). By this choice, we find that now \(X = J_\nu \psi \) solves
or
The gain from the adapted vector field \(J_\nu \) is that the right-hand side now vanishes at the north pole \(p = e\). As the enhanced dissipation estimate from Section 4.1 provides better decay properties for quantities that vanish at the poles \(\pm e\), this will provide a better control of the source term, and in turn a better control of X. Obviously, the right-hand side still does not vanish at the south pole \(p = -e\), so that we need to localize the estimates away from this pole. Symmetrically, one could construct another vector field \(\tilde{X}\) for which the roles of the north and south poles would be reversed.
To obtain good control of X (away from the south pole), our starting point is Lemma 4.1 with \(\delta =1\). After integration in time, using that \(\Vert \psi (t)\Vert \le \Vert \psi ^{in}\Vert \) for all t, we get for all \(t_* \le \nu ^{-1}\) that
From there, as a preliminary step, we deduce a few easy bounds on X and R:
Lemma 4.3
There exists \(\nu _0 > 0\), such that for all \(0 < \nu \le \nu _0\) and all \(t_* \le \nu ^{-1}\) it holds that
Furthermore, for
and any cutoff \(\chi \) excluding the south pole \(-e\) we have
In particular,
Proof
The bounds relative to X follow from the definition \(X = \alpha \nabla \psi + i \beta \nabla (p\cdot e) \psi \) and from the hypocoercive estimate (4.19). For the control of \(R\), we decompose
and the estimate also follows from (4.19). \(\square \)
We now state the key estimates of this paragraph, where we first focus on times up to \(\nu ^{-1/2}\). In the first iteration, we use the nested cutoffs \(\chi \) and \(\chi '\) excluding the south pole \(-e\).
Lemma 4.4
There exists \(\nu _0 > 0\), such that for all \(0 < \nu \le \nu _0\) and cutoffs all \(\chi , \chi ':\mathbb {S}^2 \rightarrow [0,1]\) such that \(\chi ' = 1\) on the support of \(\chi \) and such that \(-e\) does not belong to the support of \(\chi '\), one has for some \(C > 0\) the estimate
Before the proof, we show that iterating this estimates shows the estimate with the sharp rates.
Corollary 4.5
There exists \(\nu _0 > 0\), such that for all \(0 < \nu \le \nu _0\) and cutoff \(\chi : \mathbb {S}^2 \rightarrow [0,1]\) such that \(-e\) does not belong to the support of \(\chi \), one has for some \(C > 0\) the estimate
Proof
Consider nested cutoffs \(\chi , \chi ', \chi '' : \mathbb {S}^2 \rightarrow [0,1]\) such that \(\chi '=1\) on \({{\,\textrm{supp}\,}}\chi \) and \(\chi ''=1\) on \({{\,\textrm{supp}\,}}\chi '\) and \(\chi ''\) excludes \(-e\).
In a first step, applying Lemma 4.4 with \(\chi '\) and \(\chi ''\) yields in particular with the factor \(\nu ^{1/2}\) the bound
where the last inequality comes from Lemma 4.3. Hence we gain the control
so that the corollary now follows by another application of Lemma 4.4. \(\square \)
We now come to the proof of Lemma 4.4.
Proof of Lemma 4.4
The basic idea is to reproduce the hypocoercive estimates of Section 4.1, where we have additional contributions from the cut-off \(\chi \) and the remainder R. We rewrite (4.17) as
We find
For the last term, we use the explicit expression (4.20) of R and integrate by parts to find
It follows from Young’s inequality that
where, for some absolute constant C,
For the gradient, we find, using the commutation \(\nabla \Delta X = \Delta \nabla X + O(|\nabla X|)\), see Appendix A:
Hence, by Young’s inequality,
where, for some absolute constant C,
For the mixed term we find
It follows by Young’s inequality that
where
Finally, we find using the explicit calculation of Lemma A.1 that
For the contribution of \(R\), use the explicit expression of \(R\) and the definition of \(X\) to find that
so that
Hence we find
where
From here, we can proceed exactly as in the proof of Lemma 4.1: for suitable positive constants \(a,b,c,\nu _0\), for all \(\nu \le \nu _0\), an energy of the form
is both coercive
and satisfies for times \(t\le \nu ^{-1}\) the inequality
Thanks to (4.19) and Lemma 4.3, we have for all \(t_* \le \nu ^{-1}\) that
In particular,
Regarding \(E_3\), we have by Young’s inequality that for all \(\kappa > 0\):
where still using Lemma 4.3, we have for all \(t_* \le \nu ^{-1}\),
In particular,
Regarding \(E_4\), we estimate for all \(t \le \nu ^{-1}\)
where, for all \(t_* \le \nu ^{-1}\)
Here we used in the last step (4.19) and Lemma 4.3. In particular, this shows
For \(\kappa \) small enough independently of \(\nu \), and for all \(t \le \nu ^{-1}\), we get
The desired inequality follows by time integration from 0 to \(\nu ^{-1/2}\), using the bounds on \(E_1, E_2, \tilde{E}_3, \tilde{E}_4\). \(\square \)
To obtain a good decay rate for the velocity field of our linearized model, we will need to control also the \(L^\infty \) norm of \(\psi \) near the pole. This is the purpose of the next lemma.
Lemma 4.6
There exist absolute constants \(C > 0\) and \(\nu _0 > 0\) such that for all \(\nu \le \nu _0\) and \(t \le \nu ^{-1/2}\) it holds that
Proof
Using the Leibniz rule for the covariant derivative, we have
where \(\Delta X\) still refers to the connection Laplacian of the vector field X and where \(|X| = \sqrt{g(X,X)}\) is the usual norm induced by the metric on tensors. Back to (4.18), it follows that
so that
where the latter inequality holds for all \(t \le \nu ^{-1/2}\). It is then easy to find absolute constants \(c_0 > 0\), \(\nu _0 > 0\), \(a_0, a_1, a_2, a_3 > 0\), such that for all \(\nu \le \nu _0\), the function
satisfies
The lemma then follows from the maximum principle for the scalar heat flow on the sphere. \(\square \)
The estimates on \(X=J_\nu \psi \) can roughly yield a decay like \(t^{-1}\). For the sharp decay of \(t^{-2}\) for the velocity field, we need to iterate and thus also need a control of \(J_\nu X = \alpha \nabla X + i \beta \nabla (p \cdot e) \otimes X\). From (4.17), we get
where we recall \(R=2i\beta \nu \nabla ([p\cdot e-1] \psi )\). By Ricci’s formula, see Appendix A, one has \([\Delta , \nabla ] X = \mathcal {R} \nabla X\) for some tensor \(\mathcal {R}\) so that
and eventually
Using the previous estimates, we shall prove:
Lemma 4.7
There exists \(\nu _0 > 0\), such that for all \(0 < \nu \le \nu _0\) and cutoffs \(\chi : \mathbb {S}^2 \rightarrow [0,1]\) such that \(-e\) does not belong to the support of \(\chi \), one can find \(C > 0\) independent of \(\nu \) satisfying for all \(t \le \nu ^{-1/2}\)
Proof
Let \(\chi , \chi '\) such that \(\chi ' = 1\) on the support of \(\chi \) and such that \(-e\) does not belong to the support of \(\chi '\). Performing an \(L^2\) estimate on (4.33), we find after standard integrations by parts that
It follows that
We first notice that
For the last term, we use that
For the first part, we find by integration by parts that
This right-hand side was already encountered above and we bound it as
For the other component, we further compute that
One has
so that one ends up with
Eventually, we notice that
resulting after integrations by part in
Hence, collecting all these bounds, we find for all \(t \le \nu ^{-1}\) that
where
For \(t \le \nu ^{-1/2}\),
and thanks to Lemma 4.4, one has \(\int _0^{\nu ^{-1/2}} E(t){\textrm{d}}t \le C\), independent of \(\nu \). This yields the claimed estimate for \(J_\nu X\). \(\square \)
4.3 Mixing Estimates
We now show how the obtained estimates can be used to obtain the mixing estimates up to time \(\nu ^{-1/2}\) of Proposition 1.7.
Proof of Proposition 1.7 for times up to \(\nu ^{-1/2}\)
We start with the proof of the first inequality. We split the integrand
where \(\chi \) is a smooth function which is 1 near e and 0 near \(-e\). By symmetry consideration, it is enough to show the decay for \(\int _{\mathbb {S}^2} \psi (t) F \chi \). We introduce a cutoff \(\chi _{\epsilon }\) which is 1 in a ball of radius \(\epsilon \) around the pole \(p=e\), zero outside a ball of radius \(2\varepsilon \), and satisfies \(|\nabla \chi _\epsilon | \lesssim \epsilon ^{-1}\). We write
As \(\Vert \psi \Vert _{L^\infty } \le \Vert \psi ^{in}\Vert _{L^\infty }\), we get
As regards \(I_2\), we write
We introduce again spherical coordinates \((\theta ,\varphi )\), with colatitude \(\theta \in (0, \pi )\) and longitude \(\varphi \in (0,2\pi )\), so that \(p = \sin \theta \cos \varphi \, e_x + \sin \theta \sin \varphi \, e_y + \cos \theta \, e\), and \(\nabla (p \cdot e) = - \sin \theta e_\theta \), while the surface measure on the sphere is \({\textrm{d}}s = \sin \theta {\textrm{d}}\theta {\textrm{d}}\varphi \). For the first term, we find that
In particular with Corollary 4.5 this shows for times \(t \le \nu ^{-1/2}\) that
For the second term, we get
In particular for times \(t \le \nu ^{-1/2}\) it shows that
Taking \(\epsilon = \frac{1}{\sqrt{t}}\) yields the first inequality.
As regards the second inequality, we write
Applying the first inequality to the integral in \(J_2\), we find for times \(t \le \nu ^{-1/2}\) that
The term \(J_1\) is similar, except that \(\psi \) is replaced by X, on which we have a weaker control. Using the same strategy as in the proof of the first inequality, we can write
We treat \(K_1\) as \(I_1\), except that we use Lemma 4.6 as a substitute to the \(L^\infty \) bound on \(\psi \). We get
We then treat \(K_2\) as \(I_2\), resulting in
As before we find
which yields in particular for \(t \le \nu ^{-1/2}\) that
For \(K_{2,2}\), we further decompose it as
For \(H_1\) we obtain the bound
and in particular for times \(t \le \nu ^{-1/2}\) we get by Lemma 4.6 that
For \(H_2\), we compute
In particular for \(t \le \nu ^{-1/2}\) it shows by Lemma 4.7 that
Finally,
In particular, for \(t \le \nu ^{-1/2}\) we use Lemma 4.6 to find
Taking \(\epsilon = \frac{1}{\sqrt{t}}\) yields the second inequality. \(\square \)
4.4 Mixing estimates after time \(\nu ^{-1/2}\)
In this subsection, we prove the remaining estimates in Proposition 1.7, i.e. for times \(t \in [\nu ^{-1/2},c\nu ^{-1/2}|\ln \nu |]\). The general idea is the same and it has already been anticipated in the previous subsections. The main difference is to notice that we cannot approximate anymore \(\alpha \) by 1 and \(\beta \) by t but that \(\alpha \) and \(\beta \) are exponentially growing in this time scale.
Proof of Proposition 1.7 for times after \(\nu ^{-1/2}\).
Performing the proof of Lemma 4.4, we do not substitute \(\alpha \) and \(\beta \) in the last step but rather take out a supremum. As an analogue of Corollary 4.5 this yields for all \(t_* \le \nu ^{-1}\) the bound
Using this inequality in (4.35)-(4.36), we find as an analogue of Lemma 4.7 that for all \(t_* \le \nu ^{-1}\) the bound
Regarding the \(L^\infty \) bound on X near the poles, we restart from (4.32) to deduce
where we used that \(|\beta |^2/(|\alpha |^2 t^2) \lesssim 1\) for the second inequality. Mimicking the end of the proof of Lemma 4.6, we find that for all \(t_* \le c \nu ^{-1/2} |\ln \nu |\),
Taking into account that
and using (4.39)–(4.40)–(4.41), we can adapt the proof of Section 4.3 to obtain the second part of Proposition 1.7. \(\square \)
5 Proof of Mixing and Enhanced Diffusion for the Diffusive Saintillan-Shelley Model
The good decay estimates for the semigroup \({\textrm{e}}^{tL_1}\) of the previous subsection now allow us to conclude the results by studying the Volterra equation (1.28).
5.1 Proof of Theorem 2
We first prove Theorem 2. Coming back to the Volterra equation (1.28), we drop the subscript k and restore the superscript \(\nu \) so that it now reads
with
We remind that
and
we find that
Then, Proposition 1.7 shows that there exists a constant C independent of \(\nu \) such that
Introduce \({\tilde{U}}^\nu := U^\nu {1\!\!1}_{t \le \nu ^{-1/2}}\) and \({\tilde{K}}^\nu := K^\nu {1\!\!1}_{t \le \nu ^{-1/2}}\) that satisfy
and consider the corresponding modified Volterra equation
Let \(K^{inv}\) be the inviscid kernel considered in Section 3, that is the kernel for \(\nu =0\). We have seen that \(K^{inv}\) decays like \(t^{-2}\). We now claim that
Indeed, let \(\kappa > 0\) be arbitrarily small. We fix some large \(T > 0\) independent of \(\nu \), so that
Note that the second condition can be achieved because the constant C in (5.3) is independent of \(\nu \). Now, for all \(\nu \) such that \(\nu ^{-1/2} > T\), we write
Eventually, it is standard to show that, given any initial data in \(L^2(\mathbb {S}^2)\), and any finite time interval (0, T), the solution \(\psi ^\nu \) of the advection-diffusion equation
converges in \(L^\infty (0,T, L^2(\mathbb {S}^2))\) to the solution \(\psi ^{inv}\) of \(\partial _t \psi ^{inv} + i (p \cdot k) \psi ^{inv} = 0\) (with the same initial data). With the choice of initial data \(\psi _{in} ={\bar{L}}_2 \cdot v\), it follows that \(\lim _{\nu \rightarrow 0}\Vert K^\nu - K^{inv}\Vert _{L^1(0,T)} = 0\), and the claim (5.5) follows.
From there, we can conclude by the stability of solutions of Volterra equations for \(\nu \) small enough equation (5.4) has a solution, that decays like \(O(\ln (2+t)/t^2)\). More precisely, one can construct perturbatively the resolvent \({\tilde{R}}^\nu \), satisfying
see Proposition 2.6, which even applies to non-convolution kernels. In particular, the stability condition \(\det (I + {{\mathcal {L}}}{\tilde{K}}^\nu (z)) \ne 0\) in \(\{{\text {Re}}z \ge 0\}\) is satisfied, and \(\Vert {\tilde{R}}^\nu \Vert _{L^1} \le C\). Using the estimates in (5.3) and Theorem 5 (see also Remark 2.1), we deduce that
But, as \({\tilde{K}}^\nu = K^\nu \) on \([0, \nu ^{-1/2})\), by uniqueness of the solutions of the Volterra equation on a finite time interval, one has \({\tilde{u}}^\nu = u^\nu \) on \([0, \nu ^{-1/2})\), and the first inequality in Theorem 2 follows. From there, the second one can be obtained exactly as in Section 3.3, by relating \(\psi \) to u through Duhamel’s formula. This concludes the proof of the theorem.
5.2 Proof of Theorem 3
Here we use the additional decay estimates from the enhanced dissipation of Proposition 1.6 and the extended time-frame of Proposition 1.7. Using the second inequality in Proposition 1.7, we have
Moreover, by Proposition 1.6, we also have for \(\nu \) small enough
We first prove that \(\Vert K^\nu - K\Vert _{L^1({\mathbb R}_+)} \rightarrow 0\) as \(\nu \rightarrow 0\). We fix c such that \(c \varepsilon _0 > \frac{1}{2}\). We decompose
The first three terms can be treated as in Section 5.1: for any \(\kappa > 0\) there exists T large enough and \(\nu \) small enough so that
For the fourth term, we use (5.6), that yields
for \(\nu \) small enough. Finally,
for \(\nu \) small enough. Hence, \(\Vert K^\nu - K\Vert _{L^1({\mathbb R}_+)} \rightarrow 0\) as \(\nu \rightarrow 0\). Arguing as in Section 5.1, we deduce that the spectral condition \(\det (I + {{\mathcal {L}}}K^\nu (z)) \ne 0\) in \(\{{\text {Re}}z \ge 0\}\) is satisfied, and that the resolvent \(R^\nu \) associated to \(K^\nu \) satisfies \(\Vert R^\nu \Vert _{L^1} \le C\).
We now would like to establish the bound
We come back to the proof of Theorem 5, replacing the weight \((1+\varepsilon t)^\alpha \) by \({\textrm{e}}^{-\eta _0 \nu ^{1/2}t}\). The non-convolution kernel \(k(t,s) = \frac{(1+\varepsilon t^\alpha )}{(1+\varepsilon s^\alpha )} K(t-s) 1_{t-s > 0}\) is now replaced by
It is easily seen that \(k^\nu \) is a Volterra kernel of type \(L^\infty \). Moreover, by the previous considerations, for \(\nu \) small enough, \(k_1^\nu \) has the resolvent \(r_1(t,s) := R^\nu (t-s) 1_{t-s > 0}\), which satisfies \(\Vert r^\nu _1\Vert _{\infty ,{\mathbb R}_+} \le \Vert R^\nu \Vert _{L^1({\mathbb R}_+)} \le C\) for a constant C independent of \(\nu \). By using Proposition 2.6, it is enough to show that \(\Vert k_2^\nu \Vert _{\infty ,{\mathbb R}_+}\) can be made arbitrarily small for \(\nu \) small enough. We fix \(c= \frac{4}{3\varepsilon _0} = \frac{1}{3\eta _0}\), and decompose for some \(\delta > 0\) to be fixed
Let \(\kappa > 0\). Using the uniform bound \(K^\nu = O(\ln (2+t) t^{-2})\) on \([0,\nu ^{-1/2}]\), we find
This \(\delta \) being fixed, using the bound \(|K^\nu | \lesssim \nu |\ln \nu |^M\) on \([\delta \nu ^{-1/2}, c \nu ^{-1/2} |\ln \nu | ]\), which follows from (5.2) and (5.6), we find
for \(\nu \) small enough. Eventually, using (5.7), we get
for \(\nu \) small enough. Hence, for \(\nu \) small enough, \(k^\nu \) has a resolvent \(r^\nu \) that satisfies \(\Vert r^\nu \Vert _{\infty ,{\mathbb R}_+} \le C\). Also, by the bound (5.7), we know that \({\tilde{U}}^\nu = {\textrm{e}}^{\eta _0 \nu ^{1/2}t} U^\nu \) is bounded by \(C \Vert \psi ^{in}\Vert _{H^{2+\delta }}\), and finally
is bounded as well, which yields that \(u^\nu = {\textrm{e}}^{-\eta _0 \nu ^{1/2}t} {\tilde{u}}^\nu \) satisfies (5.8).
For the intermediate time regime, we fix c such that \(\eta _0 c = 2\). Combining (5.2) and (5.6), we find that
Arguing exactly as in Section 5.1, we deduce:
which in particular gives for small enough \(\nu \):
Moreover, with our choice of c, for \(\nu \) small enough and \(t \ge c \nu ^{-1/2} |\ln \nu |\),
so that (5.8) and (5.9) imply the first inequality in Theorem 3 (replacing M by \(M+2\)).
To obtain the control of \(\psi = \psi ^\nu \), we use the expression
By Proposition 1.6 and (5.8), we get
which implies the last bound in Theorem 3.
Remark 5.1
(Stability of pullers) The spectral stability condition
was shown above to be satisfied for small \(\nu \), through perturbation of the inviscid condition. Actually, in the case of pullers, there is a more straightforward way, valid for all \(\nu \) and directly for the original kernel \(K^\nu \). Indeed, one can simply notice that
where \(\phi = (p\cdot k) \mathbb {P}_{k^\perp } p \cdot v\). In terms of \(F = (z-L_1)^{-1} \phi \) we thus find
This implies in particular that \(\det (I + {{\mathcal {L}}}K^\nu )\) cannot vanish in the unstable half plane.
References
Albritton, D., Ohm, L.: On the stabilizing effect of swimming in an active suspension. arXiv e-prints, May (2022)
Bedrossian, J.: Suppression of plasma echoes and Landau damping in Sobolev spaces by weak collisions in a Vlasov-Fokker-Planck equation. Ann. PDE, 3(2):Paper No. 19, 66, (2017)
Bedrossian, J., Coti Zelati, M.: Enhanced dissipation, hypoellipticity, and anomalous small noise inviscid limits in shear flows. Arch. Ration. Mech. Anal., 224(3):1161–1204, (2017)
Benedetto, D., Caglioti, E., Montemagno, U.: Exponential dephasing of oscillators in the kinetic Kuramoto model. J. Stat. Phys. 162(4), 813–823 (2016)
Chaturvedi, S., Luk, J., Nguyen, T. T.: The Vlasov–Poisson–Landau system in the weakly collisional regime. arXiv e-prints, Apr. (2021)
Chen, X., Liu, J.-G.: Global weak entropy solution to Doi-Saintillan-Shelley model for active and passive rod-like and ellipsoidal particle suspensions. J. Differential Equations 254(7), 2764–2802 (2013)
Chiba, H.: A proof of the Kuramoto conjecture for a bifurcation structure of the infinite-dimensional Kuramoto model. Ergodic Theory Dynam. Systems 35(3), 762–834 (2015)
Choi, J.: The method of stationary phase. Available at http://www.math.uchicago.edu/~may/VIGRE/VIGREREU2011.html, (2011)
Constantin, P.: Nonlinear Fokker-Planck Navier-Stokes systems. Commun. Math. Sci. 3(4), 531–544 (2005)
Constantin, P., Kiselev, A., Ryzhik, L., Zlatoš, A.: Diffusion and mixing in fluid flow. Ann. of Math. (2), 168(2):643–674, (2008)
Coti Zelati, M.: Stable mixing estimates in the infinite Péclet number limit. J. Funct. Anal., 279(4):108562, 25, (2020)
Coti Zelati, M., Delgadino, M. G., Elgindi, T. M.: On the relation between enhanced dissipation timescales and mixing rates. Comm. Pure Appl. Math., 73(6):1205–1244, (2020)
Coti Zelati, M., Gallay, T.: Enhanced dissipation and Taylor dispersion in higher-dimensional parallel shear flows. arXiv e-prints, Aug. (2021)
Del Zotto, A.: Enhanced Dissipation and Transition Threshold for the Poiseuille Flow in a Periodic Strip. arXiv e-prints, Aug. (2021)
Dietert, H.: Stability and bifurcation for the Kuramoto model. J. Math. Pures Appl. (9), 105(4):451–489, (2016)
Dietert, H., Fernandez, B.: The mathematics of asymptotic stability in the Kuramoto model. Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci., 474(2220):20, 2018. Id/No 20180467
Dietert, H., Fernandez, B., Gérard-Varet, D.: Landau damping to partially locked states in the Kuramoto model. Commun. Pure Appl. Math. 71(5), 953–993 (2018)
Doi, M., Edwards, S.: The Theory of Polymer Dynamics, volume 73 of International series of monographs on physics, Oxford science publications. Clarendon Press, (1988)
Faou, E., Horsin, R., Rousset, F.: On linear damping around inhomogeneous stationary states of the Vlasov-HMF model. J. Dyn. Differ. Equations 33(3), 1531–1577 (2021)
Fernandez, B., Gérard-Varet, D., Giacomin, G.: Landau damping in the Kuramoto model. Ann. Henri Poincaré 17(7), 1793–1823 (2016)
Gripenberg,G., Londen, S.-O., Staffans, O.: Volterra integral and functional equations, volume 34 of Encycl. Math. Appl. Cambridge etc.: Cambridge University Press, (1990)
Guo, Y.: The Landau equation in a periodic box. Commun. Math. Phys. 231(3), 391–434 (2002)
Hohenegger, C., Shelley, M. J.: Stability of active suspensions. Phys. Rev. E (3), 81(4):046311, 10, (2010)
Jeffery, G. B.: The motion of ellipsoidal particles immersed in a viscous fluid. Proc. R. Soc. Lond., Ser. A, 102:161–179, (1922)
Klainerman, S.: Uniform decay estimates and the Lorentz invariance of the classical wave equation. Comm. Pure Appl. Math. 38(3), 321–332 (1985)
Landau, L.: On the vibrations of the electronic plasma. Acad. Sci. USSR, J. Phys., 10:25–34, (1946)
Lee, J. M.: Introduction to Riemannian manifolds, volume 176 of Graduate Texts in Mathematics. Springer, Cham, (2018). Second edition of [MR1468735]
Li, H., Zhao, W.: Metastability for the dissipative quasi-geostrophic equation and the non-local enhancement. Comm. Math. Phys. 401(2), 1383–1415 (2023)
Miles, C.J., Doering, C.R.: Diffusion-limited mixing by incompressible flows. Nonlinearity 31(5), 2346–2350 (2018)
Mouhot, C., Villani, C.: On Landau damping. Acta Math. 207(1), 29–201 (2011)
Ohm, L., Shelley, M. J.: Weakly nonlinear analysis of pattern formation in active suspensions. J. Fluid Mech., 942:Paper No. A53, 41, (2022)
Otto, F., Tzavaras, A.E.: Continuity of velocity gradients in suspensions of rod-like molecules. Comm. Math. Phys. 277(3), 729–758 (2008)
Penrose, O.: Electrostatic instabilities of a uniform non-Maxwellian plasma. Phys. Fluids 3, 258–265 (1960)
Petersen, P.: Riemannian geometry, volume 171 of Graduate Texts in Mathematics. Springer, Cham, third edition, (2016)
Saintillan, D.: Rheology of active fluids. In Annual review of fluid mechanics. Vol. 50, pages 563–592. Palo Alto, CA: Annual Reviews, (2018)
Saintillan, D., Shelley, M. J.: Instabilities, pattern formation, and mixing in active suspensions. Phys. Fluids, 20(12):16, (2008). Id/No 123304
Strogatz, S.H., Mirollo, R.E., Matthews, P.C.: Coupled nonlinear oscillators below the synchronization threshold: Relaxation by generalized Landau damping. Phys. Rev. Lett. 68(18), 2730–2733 (1992)
Taylor, G. I.: The motion of ellipsoidal particles in a viscous fluid. Proc. R. Soc. Lond., Ser. A, 103:58–61, (1923)
Villani, C.: Hypocoercivity, volume 950 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), (2009)
Wei, D., Zhang, Z.: Enhanced dissipation for the Kolmogorov flow via the hypocoercivity method. Sci. China Math. 62(6), 1219–1232 (2019)
Acknowledgements
The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programmes Mathematical aspects of turbulence and Frontiers in kinetic theory where part of the work on this paper was undertaken. DGV is also grateful to the Mathematics Department of Imperial College for its hospitality and its support through an ICL-CNRS fellowship, which made possible the collaboration. This work was supported by EPSRC grant no EP/R014604/1 and a grant from the Simons Foundations. MCZ acknowledges funding from the Royal Society through a University Research Fellowship (URF\R1\191492). HD and DGV acknowledge the grant ANR-18- CE40-0027 of the French National Research Agency (ANR).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Reminders on covariant derivatives
Appendix A. Reminders on covariant derivatives
For the computations on the sphere, it is natural to rely on covariant derivatives from Riemannian geometry. Classical references are [27, 34], we just provide here a quick reminder. We start by introducing the natural metric \(g\) on the sphere induced by the Euclidean scalar product on \({\mathbb R}^3\). In spherical coordinates \((\theta ,\varphi )\) it is explicitly given by
Given this metric and the associated Levi-Civita connection, we introduce the covariant derivative of a tensor, denoted by \(\nabla \). We remind that the covariant derivative of a vector X, resp. of a covector \(\omega \), is the (1, 1)-tensor, resp. the (0, 2) tensor, defined in a coordinate basis by
resp.
containing the Christoffel symbols \(\Gamma \) defined as
For general tensors, the covariant derivative is defined recursively through the formula
The basic properties of the covariant derivatives are that they commute with the metric g and that they satisfy the Leibniz rule.
Thanks to this covariant derivative, we then define the connection Laplacian of a tensor as
Higher-order derivatives do not commute due to the curvature. The Ricci identity captures the defect by the Riemann curvature tensor \(R\). In a coordinate basis, it takes for a covector \(\omega \) the form
By the definition of the connection Laplacian, we thus find for a scalar function \(f\) that
where \({{\,\textrm{Ric}\,}}\) denotes the Ricci curvature, obtained by contracting the first and third argument in the Riemann curvature tensor. On a unit-sphere the Ricci curvature just equals the metric and thus we find
which yields a good sign for our estimates in Section 4. The good sign simplifies the algebra even though the estimates would equally work for a bounded curvature.
Acting on a general tensor \(X\), we find a similar expression with a successive application of the Riemann curvature tensor. As the Riemann curvature tensor is bounded on a sphere, we just note that
for a bounded tensor \(\mathcal {R}\).
In the enhanced dissipation estimates, we use the commutator between the Laplacian and the tensor \((p \cdot e) X\), for a fixed vector \(e\). It is provided by
Lemma A.1
Let \(X\) be a \((0,N)\)-tensor. Then it holds that
Proof
We compute the expression in the spherical coordinates \((\theta ,\varphi )\) where we take \(e\) to be the north pole. Using the Leibniz rule, we find that
We can explicitly compute that
For the mixed term, we find
In the spherical coordinates, the only non-zero Christoffel symbols are
This then yields that
Hence we have arrived at the claimed expression. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Coti Zelati, M., Dietert, H. & Gérard-Varet, D. Orientation Mixing in Active Suspensions. Ann. PDE 9, 20 (2023). https://doi.org/10.1007/s40818-023-00163-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-023-00163-8