Abstract
We consider the (in)stability problem of the inviscid 2D Boussinesq equations near a combination of a shear flow \(v=(y,0)\) and a stratified temperature \(\theta =\alpha y\) with \(\alpha >\frac{1}{4}\). We show that for any \(\epsilon >0\) there exist non-trivial explicit solutions, which are initially perturbations of size \(\epsilon \), and grow to size 1 on a time scale \(\epsilon ^{-2}\). Moreover, the (simplified) linearized problem around these non-trivial states exhibits improved upper bounds on the possible size of norm inflation for frequencies larger and smaller than \(\epsilon ^{-4}\).
Similar content being viewed by others
1 Introduction and Main Results
In this article we consider the stability of the incompressible, inviscid Boussinesq equations in a two-dimensional periodic channel
near the stationary solution
where \(\alpha > \frac{1}{4}\) is a constant.
The Boussinesq equations are a common model of the evolution of a heat conducting fluid in terms of its velocity v and temperature \(\theta \) and may additionally incorporate viscosity or thermal dissipation. In particular, questions of well-posedness and asymptotic behavior in regimes with partial dissipation (Tao et al. , 2020; Masmoudi et al. , 2022; Deng et al. , 2021; Jiahong et al. , 2019; Doering et al. , 2018; Li and Titi , 2016; Cao and Jiahong , 2013) or the inviscid problem (Elgindi and Widmayer , 2015; Widmayer , 2018) have been an area with strong research activity in recent years.
The term
models buoyancy and causes hotter fluid to rise above colder fluid, where \(-e_2\) is the direction of gravity. It is well known that, in the case without shear (\(v=0\)), this buoyancy might lead to the so-called Rayleigh-Bénard instability, if hotter fluid is below colder fluid, \(\alpha <0\).
In contrast, if \(\alpha >0\) is sufficiently large then the Miles–Howard criterion (Howard , 1961) rules out spectral instability, which is the setting considered in this article. As we state in Lemma 1.2 and recall in Sect. 2 the linearized equations around the stationary solution (2) are stable in arbitrary Sobolev regularity globally in time. However, for the nonlinear equations we construct explicit solutions growing as \(\epsilon (1+t^2)^{1/4}\) as t increases, which hence are only small on a time scale \(t<\epsilon ^{-2}\). Moreover, even when restricting to this time scale, higher, Gevrey regularity is required in order to establish stability (Bedrossian et al. , 2021; Tao and Jiahong , 2019). In the corresponding viscous problem instead Sobolev regularity is required, however with a smallness condition depending on the size of the viscosity (Zhai and Zhao , 2023).
The aims of the present article are twofold:
-
For related equations such as the Euler equations (Deng and Masmoudi , 2018; Deng and Zillinger , 2021), Vlasov–Poisson equations (Mouhot and Villani , 2011; Bedrossian , 2020) or partially viscous Boussinesq equations (Zillinger , 2021) it is known that the norm inflation of the nonlinear dynamics is tied to the interaction of non-trivial low frequency solutions, which we call traveling waves, and their interaction with high frequency perturbations. We thus construct these traveling waves for the present problem and discuss for which choices of perturbations and parameters one might expect the largest possible norm inflation.
-
For these linearized equations we identify multiple frequency regimes depending on the initial size \(\epsilon >0\) of the waves and the time interval under consideration. For frequencies \(|\xi | < \epsilon ^{-4}\) we establish an upper bound for perturbations concentrated at frequency \(\xi \) by \(\exp ((\epsilon \xi )^{2/3})\). In particular, if \(|\xi |\le \epsilon ^{-\alpha }\) with \(1<\alpha \le 4\) this factor is bounded by \(\exp (\xi ^{2/3(1-1/\alpha )})\). This bound hence matches the control by \(\exp (\sqrt{\xi })\), that is Gevrey 2 regularity, as in the nonlinear problem (Bedrossian et al. , 2021) for \(\xi = \epsilon ^{-4}\), but exhibits improved bounds if \(\xi \) is smaller. As a complementary result, if \(\xi > C \epsilon ^{-4}\) with a sufficiently large r constant \(C>1\), we instead obtain an upper bound which is uniform in \(\xi \) and \(\epsilon \) on the time scale under consideration.
We remark that for technical reasons we consider a simplified model, which fixes the underlying shear flow. As we discuss in Sect. 4 this simplification can be removed in time intervals where the main norm inflation takes place and for large times. For small times we provide a rough bound for the non-simplified model, but expect that it can be improved to a uniform bound with substantial additional technical effort.
Before stating our main results, we recall that the linearized problem around the stationary solution (2) is stable, when working in coordinates moving with the shear and choosing suitable unknowns. The following lemma is adapted from Bedrossian et al. (2021); Tao et al. (2020).
Lemma 1.1
Let \(\alpha >\frac{1}{4}\). Then the linearized Boussinesq equations around the stationary solution (2) are stable in the sense that for any initial data \(\omega , \theta \) with \(\int \omega dx = \int \theta dx=0\) the energy
is bounded above and below for all times, uniformly in terms of its initial value, with a constant depending only on \(\alpha \).
As we discuss in Sect. 2.1 the choice of unknowns moving with the underlying shear flow
is natural. These unknowns have previously been used in Bedrossian et al. (2021) and we use the same notation. We remark that in the (partially) viscous setting other choices of unknowns are natural (Adhikari et al. , 2022; Adhikari et al. , 2010; Lai et al. , 2021; Tao et al. , 2020; Tao and Jiahong , 2019; Doering et al. , 2018; Cao and Jiahong , 2013; Zhai and Zhao , 2023).
We further observe that the linearized problem around the stationary solution (2) in terms of (Z, Q) reads
Since the operator on the right-hand side is a (time-dependent) constant coefficient Fourier multiplier the evolution of (Z, Q) decouples in Fourier space with respect to both x and y. Therefore all stability estimates hold frequency-wise and hence extend to arbitrary Sobolev, Besov or Gevrey spaces. However, this stability can be understood as an artifact of the fact that the stationary solution (2) is independent of x and that perturbations therefore decouple in frequency and cannot propagate along chains of resonances. For this reason, in order to capture instabilities of the nonlinear problem, instead of a stationary solution we consider nearby x-dependent explicit solutions.
Lemma 1.2
(compare Proposition 2.1 in Zillinger (2021) and Bedrossian et al. (2021)) Let \(\alpha \ge 0\) be given, then there exist non-trivial functions f(t) and g(t) such that
are a solution of the nonlinear inviscid Boussinesq equations for all times. We call these solutions traveling waves. Moreover, if \(\alpha >\frac{1}{4}\) it holds that
satisfies
for some constants \(0<c<C<\infty \) depending on \(\alpha \).
We remark that in terms of the unknowns (3) these traveling waves read
They are global in time, low-frequency solutions and remain uniformly bounded in any suitable Sobolev or Gevrey space for all times.
The functions f(t) and g(t) can be computed explicitly in terms of hypergeometric functions and the above results can hence be obtained by explicit computation (as was done in Zillinger (2021)). Furthermore, as shown in Lemma 1.1 the stability can also be obtained as a special case of an energy estimate similar to the one of Bedrossian et al. (2021).
In the following we will consider a simplified version of the linearization of the Boussinesq equations in terms of (Z, Q) around these traveling waves and establish upper bounds on the possible norm inflation. The reduction of the non-simplified linearized Boussinesq equations is discussed in Sect. 4.
We note that for the traveling waves of Lemma 1.2 for large times the vorticity grows as
Therefore if the traveling wave is initially of size \(\epsilon >0\) it will remain a small perturbation of the stationary state (2) only on time scales
where \(0<\delta <0.1\) is a constant. Hence, similarly as in Bedrossian et al. (2021) we restrict to studying stability and norm inflation on that time interval.
Theorem 1.3
(Stability and upper bounds on norm inflation) Let \(0<\delta <0.1\) and \(0<\epsilon < 0.1\) be given and consider the simplified linearized Boussinesq equations around the traveling waves
with \(f(0)=g(0)=\epsilon \). That is, consider the linear problem
Then there exists \(C>0\) and \(|\gamma |<\delta \) such that for any initial data \((Z_0,Q_0)\) whose Fourier transform satisfies
the corresponding solution remains regular up to a loss in the constant C. That is, for all times \(t>0\) it holds that
Here \(k \in \mathbb {Z}\) denotes the frequency with respect to x and \(\xi \in \mathbb {R}\) denotes the frequency with respect to y.
Moreover, there exists a constant \(c=c(\alpha )\) such that if the Fourier transform of the initial data is supported in the region \(|\xi |\ge c \epsilon ^{-4}\) then the stability estimate improves to a uniform estimate
Let us comment on these results:
-
Since the traveling waves are independent of y, these equations decouple with respect to the Fourier frequency \(\xi \in \mathbb {R}\) corresponding to y. We may hence interpret (5) as an upper bound on the possible norm inflation factor for frequency-localized initial data by
$$\begin{aligned} \exp \left( C \min ((\epsilon |\xi |^{1+\gamma })^{2/3-2\gamma }), \epsilon ^{-2}\right) (1+\frac{\epsilon ^{-2}}{|\xi |}). \end{aligned}$$In particular, we emphasize that this multiplier strongly differs from the Euler case. As we discuss in Sect. 3.1 we expect that this bound is optimal in the sense that this norm inflation is attained (possibly with slightly smaller constant C) for all frequencies \(\epsilon ^{-1}\le |\xi |\le \epsilon ^{-4}\). However, since estimates in certain time regimes are technically very involved (in particular for the non-simplified problem) in this article we only establish upper bounds.
-
A corresponding nonlinear result has been established in Bedrossian et al. (2021) using different methods with an upper bound on the norm inflation by \(\exp (C \xi ^{\sigma })\) with \(\sigma >\frac{1}{2}\). The present result recovers this bound with \(\sigma =\frac{1}{2}\) for \(\xi =\epsilon ^{-4}\) in the linearized problem around traveling waves. As major novelties, in this article we prove that for the present model:
-
The upper bound on the norm inflation factor is different and, in particular, much smaller when \(|\xi |\) is much smaller than \( \epsilon ^{-4}\).
-
For large frequencies \(|\xi |\ge c \epsilon ^{-4}\) the norm inflation is bounded by a constant factor instead (see Proposition 3.7 for a more detailed statement).
Compared to the estimates of Bedrossian et al. (2021) we further exploit that the underlying traveling wave is much smaller for small times and that the time cut-off imposes an upper bound on the frequencies of resonances.
-
-
In our simplified equations we omit the term
$$\begin{aligned} \frac{1}{1+t^2} \begin{pmatrix} f(t)\Delta _t^{-1/4}(\cos (x)\partial _y \Delta _t^{1/4}Z)\\ f(t)\Delta _t^{1/4}(\cos (x)\partial _y \Delta _t^{-1/4}Q) \end{pmatrix} \end{aligned}$$from the linearized Boussinesq equations. As we discuss in Sect. 4 in the main time regime \(t>\xi ^{2/3}\epsilon ^{-1/3}\), where the resonance mechanism takes place, this simplification can be removed. For the regime of small times, for the non-simplified problem we instead obtain a rough growth bound by \(\exp (c\sqrt{\xi })\). However, we expect that this bound can be improved to a uniform bound (as for the simplified model) with more technical effort.
The remainder of the article is structured as follows:
-
In Sect. 2 we discuss the linearized problem around a ground state (2) as formulated in Lemma 1.1. In particular, we introduce the unknowns and system formulation used throughout the article.
-
In Sect. 3.1 we discuss the underlying resonance mechanism for a toy model. In particular, this allows us to clearly present the norm inflation mechanism and compare it with the Euler equations or the partially viscous problem.
-
Based on the insights derived from this model we show in Sects. 3.2.1 and 3.2.2 that norm inflation cannot happen outside a specific time interval depending on the size of \(\xi \) and \(\epsilon \).
-
The main result of the paper is established in Sect. 3.2.3, where we establish bounds on the norm inflation achieved.
-
Finally, in Sect. 4 we show that the previously derived norm inflation estimates also extend to the non-simplified model. In particular, the omitted terms are only non-negligible perturbations for small times, where they can be absorbed by a loss of Gevrey regularity. As we discuss, we do not expect this loss to be attained. However, since the main focus of this article lies in the resonance mechanism for large times, we do not pursue this further.
1.1 Notation
In this section we collect some notation used throughout the article for easier reference.
Our main object of interest are the (simplified) linearized Boussinesq equations around the traveling waves of Lemma 1.2 which we write in the form
where
are the coefficients of the traveling waves of Lemma 1.2. These equations decouple after a Fourier transform in y. Hence we view these equations as equations for \(({\mathcal {F}}_yZ)(t,x,\xi ), ({\mathcal {F}}_{y}Q)(t,x,\xi )\) for any fixed frequency \(\xi \in \mathbb {R}\) and with slight abuse of notation write Z(t, x), Q(t, x) again.
These equations may equivalently be expressed as coupled system for Fourier modes \(Z_{k}, Q_k\) as stated in Definition 3.3:
with the coefficient functions stated in (12) (for \(k\pm 1\ne 0\)):
Here \(c_{k}^{\pm }\) is used as shorthand notation for \(c_{k}^{+}\) or \(c_{k}^{-}\). Similarly, we use \(c_{k\pm 1}^{\mp }\) to refer to \(c_{k+1}^{-}\) and \(c_{k-1}^{+}\).
As noted after Lemma 1.1 for simplicity of notation the estimates of this article are stated for \(L^2(dx dy)\) or \(\ell ^2(\mathbb {Z})\) (with respect to k). However, since the above system includes only nearest neighbor interaction all estimates extend to the case of weighted \(\ell ^2\) spaces, provided the weight \(\lambda (k)\) is such that \(|\lambda (k)/\lambda (k\pm 1)-1|\) is small enough. In particular, this allows for \(\lambda (k)= 1+ c|k|^N\) for any \(N \in \mathbb {N}\) and \(\lambda (k)=\exp (c|k|^{s})\) for any \(0<s<1\) and hence to establish stability in Sobolev or Gevrey spaces.
Throughout this article in several estimates it suffices to control quantities only in terms of upper and lower bounds within a constant factor. Hence, in order to simplify notation, we sometimes approximate values. For instance, we write
to denote that for any \(k \in \mathbb {N}, k \ne 0\) the last two terms are comparable within a factor at most 10.
2 The Homogeneous Problem, Waves and Good Unknowns
As remarked following Lemma 1.1 the explicit solutions of the Boussinesq equations of the form
may be found by inserting this ansatz into the Boussinesq equations, which reduce to an ODE for the coefficient functions f, g.
In the following we provide a different perspective on these solutions as low frequency waves. Thus consider the perturbations
in coordinates moving with the affine flow. Then the full nonlinear Boussinesq equations are given by
where we used the cancellation of \(\nabla ^\perp \cdot \nabla \). In particular, the left-hand side has a very similar structure as the Boussinesq equations in vorticity formulation except that the equation satisfied by the stream function perturbation \(\Phi \) now is time-dependent. With respect to these unknowns the traveling waves of Lemma 1.2 take the form
They are explicit non-trivial solutions of the nonlinear problem, which are smooth, low frequency and initially are small perturbations of (0, 0).
In the following subsection we discuss the linearized equation around (0, 0) and introduce the associated (frequency-localized) solution operators. In particular, we show that the linearized problem around (0, 0) (which we call the homogeneous problem) is stable in arbitrary regularity. In contrast, as we sketch in Sect. 3.1 for a toy model the norm inflation of the corresponding non-linear problem is closely linked to the interaction of high and low frequencies by means of the nonlinearity
In particular, this mechanism is not present in the linearized problem around (0, 0) but is present in the linearized problem around traveling waves. The main aim of the remainder of this article is to show that this linearized problem around such waves indeed captures this norm inflation mechanism and to identify the sharp regularity classes corresponding to this norm inflation.
2.1 Stability of the Homogeneous Problem
A natural first step towards understanding the nonlinear behavior of initially small solutions of (7) is to study the linearized problem
Given this form, we symmetrize the problem by introducing the good unknowns (3) (as in Bedrossian et al. (2021)):
We remark that the problem decouples after a Fourier transform in x and hence in our definition of Z, Q we may choose any power of \(\partial _x\) instead of \(|\partial _x|^{1/2}\). This particular choice is made to simplify calculations for \(\partial _x^{-2}\Delta \) and to exploit slightly improved cancellation properties in Proposition 4.4. For the x-average we omit the \(|\partial _x|^{1/2}\) and define
The following proposition states the stability result of Lemma 1.1 in terms of these unknowns. We again emphasize that this linear stability result is known in the literature (Bedrossian et al. , 2021; Zillinger , 2021; Doering et al. , 2018; Tao et al. , 2020; Bianchini et al. , 2022). In the interest of a self-contained presentation and in order to highlight the effects of (missing) traveling waves, we include a statement in our notation and a full proof.
Proposition 2.1
(see (Bianchini et al. , 2022)) Let \(\alpha >\frac{1}{4}\) and consider the linear system
Then the energy
is approximately constant in the sense that there exist constants \(0<c<C<\infty \), depending only on \(\alpha \), such that
We remark that all operators involved are constant coefficient Fourier multipliers. The problem hence decouples in frequency and we may therefore replace the \(L^2\) space in the definition of E(t) by any Fourier-based Hilbert space such Sobolev spaces \(H^s\), Besov spaces or Gevrey spaces and obtain the same result. We further remark that, as a decoupled ODE system in Fourier space, the solution operator could be computed explicitly. However, in view to later perturbed estimates, where upper bounds are sufficient, we instead employ an energy estimate approach as for instance used in Bedrossian et al. (2021).
Proof of Proposition 2.1
We observe that the operator on the right-hand side of the equation
has anti-symmetric off-diagonal entries. It thus follows that
Since \(L_t\) is a bounded operator one may already obtain a rough upper bound by employing Gronwall’s lemma (we remark that at this point we do not yet require \(\alpha >\frac{1}{4}\)). In order to improve this estimate we further use that also the diagonal entries are symmetric. Therefore we may compute that
Here the first two terms exactly cancel with the ones above and thus
Similarly as in Bedrossian et al. (2021); Zillinger (2021); Doering et al. (2018) we observe that the operator norm of
is strictly smaller than 2 if (and only if) \(\alpha >\frac{1}{4}\). Therefore, in that case E(t) is a positive definite bilinear form in (Z, Q) and it follows that
The result hence follows by Gronwall’s lemma and noting that the problem decouples in frequency. More precisely, instead of controlling the time integral of the operator norm of \(\partial _t( \frac{1}{2}L_t (\partial _x \Delta ^{-1/2})^{-1})\), it suffices to control the time integral of the Fourier symbol for each fixed frequency:
which is uniformly bounded. \(\square \)
Having established stability of the linearized problem around \((Z,Q)=(0,0)\) in the following we study the linearization around traveling waves.
3 Echo Chains and Gevrey Regularity
While the results of Sect. 2.1 establish linear stability of \((Z,Q)=(0,0)\), nonlinear stability (see (Bedrossian et al. , 2021)) and asymptotic behavior for large times are very challenging problems. As a first step towards understanding the (optimal) long time behavior of the nonlinear Boussinesq equation (7) near a shear and hydrostatic balance, in the following we consider a toy model highlighting the role of the nonlinearity and of traveling waves.
3.1 A Toy Model and Optimal Gevrey Classes
Resonance chains in phase-mixing problems often manifest as a low frequency part of the solution interacting with the high frequency part by means of the nonlinearity (see for instance (Deng and Masmoudi , 2018; Bedrossian et al. , 2016; Deng and Zillinger , 2021; Zillinger , 2021)). Based on this heuristic in this section we introduce a toy model capturing this mechanism, which allows us to identify an expected optimal regularity class. The main aim of the remainder of the paper then is to show that the linearized equations around a traveling wave indeed exhibit this growth.
We recall that the nonlinear Boussinesq equations near a traveling wave read
Here we consider Z and Q to be at high frequency and thus the right-hand side can be seen as paraproduct decomposition into low-high, high-low and high-high frequency products.
In order to derive our toy model in a first step we ignore all terms except the low-high term, which drives the resonance mechanism and arrive at
We observe that in this model the evolution for Z decouples and, since the coefficient functions do not depend on y the equations further decouples after a Fourier transform in y (which is also true for the linearized problem around a wave, but not for the nonlinear problem). Let thus \(\xi > 1000\) be a given frequency in y and suppose that Z is localized at frequency k in x and \(\xi \) in y. Then the multiplier
is small unless \(t \approx \frac{\xi }{k}\). As in Bedrossian et al. (2021) for the toy model we thus consider a two-dimensional system, which is supposed to approximate the evolution of \({\mathcal {F}}(Z) (k, \xi )\) and \({\mathcal {F}}(Z)(k-1,\xi )\) on a time interval, where \(t \approx \frac{\xi }{k}\). More precisely, we replace powers of \(\Delta _t\) by its Fourier symbol and for simplicity of the model approximate \(t-\frac{\xi }{k+1} \approx \frac{\xi }{k}-\frac{\xi }{k+1}\approx \frac{\xi }{k^2}\) and \(\frac{k}{k+1}\approx 1\). Then the toy model reads:
In Bedrossian et al. (2021) the authors construct a toy model in the same way, but further estimate \(f(t) \le 1\) from above. Recalling from Lemma 1.2 that
uniformly in time, this upper bound is achieved for t being comparable to \(\epsilon ^{-2}\). However, for smaller times this upper bound is a (potentially large) overestimate, leading to a larger growth bound on the chain of resonances.
More precisely, we observe that by our choice of time interval \(t\approx \frac{\xi }{k}\). This toy model thus suggests a growth by
which is potentially much smaller:
Lemma 3.1
Let \(\xi \ge 100\) and \(k \in \mathbb {N}\) be given and define
Then on the time interval \(I_k=(t_k, t_{k-1})\) we consider the simplified toy model
Then if \(Z_{NR}(t_{k})=0\) there exists a constant \(1<C<10\) such that
where we use \(\approx \) to denote upper and lower bounds within a factor 10.
-
We remark that here we neglected the evolution of \(Z_{R}\), which in turn effects the evolution of \(Z_{NR}\). As we discuss in Sect. 3.2.3 taking this coupling into account results in a slightly modified growth bound by
$$\begin{aligned} C \epsilon \sqrt{\frac{\xi }{k}} \left( \frac{\xi }{k^2} \right) ^{\gamma } \end{aligned}$$with \(|\gamma -\frac{1}{2}|<\delta \) instead.
-
By the restriction on the time scale it holds that \(\epsilon \sqrt{\frac{\xi }{k}}\approx \epsilon \sqrt{t}\le 1\). Thus the amount of growth may be estimated from above by \(\sqrt{\frac{\xi }{k^2}}\), uniformly in \(\xi \). However, this is an over estimate for most values of k and \(\xi \).
-
As we discuss following the proof of this lemma, the dependence on \(\epsilon \) and k here strongly differs from the one of the Euler equations.
Proof of Lemma 3.1
The integral formula is immediate. We further observe that
and that
The result hence follows by observing that if \(\frac{\xi }{k^2}\) is sufficiently large the integral over \(I_k\) is comparable to the integral over all of \(\mathbb {R}\). \(\square \)
Iterating this heuristic growth bound we may conjecture a total growth of
by choosing \(k_0\approx (\epsilon \xi )^{2/3}\) and using Stirling’s approximation. Thus at first sight this toy model suggests stability for Gevrey 3/2 regular initial data, uniformly in \(0<\epsilon <1\) and for all times. However, since our evolution is restricted to the time interval
this is an overestimate for large values of \(\xi \). Indeed, for a resonance to happen the time \(t \approx \frac{\xi }{k}\) needs to have passed. Thus if \(\xi \) is very large then in the above product we may only consider those k for which
while by the above consideration our cascade should start at \(k_0\) to maximize the product and we thus arrive at an estimate of the possible norm inflation by
Lemma 3.2
For \(0<\epsilon <0.1\) and \(0<\xi < \epsilon ^{-4}\) consider the function
Then it holds that
Moreover, this bound is attained in the sense that for any \(1< \sigma < 4\) we may consider \(\xi =\epsilon ^{-\sigma }\) and there exists \(\epsilon _{\sigma }>0\) such that for \(0<\epsilon < \epsilon _{\sigma }\)
We note that
and that the product is empty if \(\xi \) is larger than this. In particular, for \(\xi \ge \epsilon ^{-4}\) we may expect to obtain a uniform bound instead of norm inflation (this is shown in Proposition 3.6).
Proof of Lemma 3.2
For simplicity of notation let \(k_0=\lfloor (\epsilon \xi )^{2/3} \rfloor \). Then for the upper bound we may replace the starting point of the product by 1 to obtain
For \(k_0\le 100\) we may control this quantity by a constant uniformly in \(\epsilon \) and \(\xi \), since \((\epsilon \xi )^{2/3}\le k_0 +1\). It hence suffices to discuss the case when \(k_0\) is large, where by Stirling’s approximation formula it holds that
We may therefore further estimate
which yields the desired upper bound by noting that the last factor is controlled by \(((k_0+1)/k_0)^{k_0}\) and hence uniformly bounded.
For the lower bound we argue similarly, but now have to take into account that the product starts at \(k_1:=\lfloor \epsilon ^2 \xi \rfloor \) and hence
We thus need to show that the second factor is not too small and hence cannot cancel the growth. Here we again may restrict to the case when \(k_1\) is large and use Stirling’s approximation to compute
It thus suffices to estimate
Here we observe that for \(\xi = \epsilon ^{-\sigma }\) it holds that
Since \(\sigma >1\) the power of \(\epsilon \) in the formula for \(k_1\) is negative and for \(\sigma <4\) it holds that
Hence for \(0<\epsilon <\epsilon _{\sigma }\) sufficiently small \(3/2 k_0\) dominates. \(\square \)
Thus on this time interval the total growth is limited in terms of \(\epsilon \) (by a frequency cut-off) and letting \(\epsilon \) tend to zero the optimal Gevrey regularity class is expected to be given by 2.
Conjucture
Let \(0< \epsilon \le 0.1\) and consider the nonlinear Boussinesq equations perturbed around traveling waves of size \(\epsilon \). Then on the time interval \((0, \epsilon ^{-2})\) the optimal space for stability is given by the Fourier weight
We remark that stability in Gevrey 2, that is a bound by \(\exp (C \sqrt{\xi })\), has been established in Bedrossian et al. (2021), which coincides with the above weight for \(\xi =\epsilon ^{-4}\). The conjecture suggests an improvement to these estimates when \(\xi \) is much smaller or much larger than \(\epsilon ^{-4}\) and that for \(\xi < \epsilon ^{-4}\) the exponent of growth
is attained. As first step towards proving this conjecture in this article we show that this statement is true for the (simplified) linearized Boussinesq equations around traveling waves. We remark that the above heuristic also suggests growth bounds for \(t>\epsilon ^{-2}\) for data in higher regularity classes (e.g. global in time for Gevrey \(\frac{3}{2}\)). However, at that point the toy model simplification
ceases to be justified and the toy model has to be replaced. The question of stability on larger time scales than \((0, \epsilon ^{-2})\) for more regular data thus remains an interesting problem for future research.
For comparison we also note that for the Euler equations and a wave initially of size \(\epsilon \) the growth of the vorticity \(\omega \) (instead of Z) is bounded by
and thus stability in Gevrey 2 regularity holds when considering arbitrarily large times (Deng and Masmoudi , 2018; Deng and Zillinger , 2021; Bedrossian and Masmoudi , 2015). When also restricting to the time interval \(t<\epsilon ^{-2}\) we require that \(\xi \) is such that
and thus
From this heuristic model we can thus already see that the hydrostatic balance for \(\alpha >\frac{1}{4}\) yields a strong change of the stability and norm inflation behavior of the Boussinesq equations compared to the Euler equations: The growth of the underlying traveling wave results in larger norm inflation.
3.2 The Inhomogeneous Problem and Upper Bounds
Building on the heuristic of the previous model in the following we consider the simplified linearized Boussinesq equations around a traveling wave
where we omitted the low frequency velocity contribution
As we discuss in Sect. 4 this term does not qualitatively change the dynamics at large times, but is technically challenging to control for small times.
As suggested by the notation we consider this problem as a (possibly large) perturbation of the inhomogeneous problem of Sect. 2. In particular, if we denote by
the solution operator of the homogeneous problem, then we may equivalently express the above differential equation as the integral equation
We next recall that the solution operator \(S(\cdot ,\cdot )\) is given by a Fourier multiplier and decouples in frequency. Hence, taking a Fourier transform in both x and y we arrive at a system with nearest neighbor interaction.
Definition 3.3
(Inhomogeneous system) The simplified linearized Boussinesq equations around a traveling waves for a perturbation frequency localized at \(\xi \in \mathbb {R}\) read
where we introduced the coefficient functions
and denote by \(Z_{k}, Q_k\) the Fourier modes at frequency \(k \in \mathbb {Z}\) in x and frequency \(\xi \in \mathbb {R}\) in y. As the system decouples in \(\xi \) we treat it as a fixed parameter and suppress it in our notation.
The toy model of Sect. 3.1 here omitted all terms except the main resonance mechanism due to \(c_{k-1}^{+}\). Our main aim in the following is to show that this model indeed provides an accurate heuristic and that all other contributions can be controlled.
-
The main time regime of interest is given by time intervals \(I_k\), where \(t\approx \frac{\xi }{k}\), for which \(c_{k-1}^{+}\) is comparatively large. This regime is studied in Sect. 3.2.3. Here the coupling of modes leads to a modified growth behavior as compared to the toy model of Sect. 3.1.
-
In Sects. 3.2.1 and 3.2.2 we show that in the remaining time intervals resonances are too small to have a large effect on the dynamics and the evolution is at most algebraically unstable.
3.2.1 The Long Time Regime
In this section we consider the regime of “large” times, where
As suggested by the heuristic model of Sect. 3.1 for such large times there are no resonances and hence the evolution is at most algebraically unstable.
Proposition 3.4
let \(0< \xi < 2 \delta \epsilon ^{-2}\) be given and consider the time interval
Then on I the solution to the system (11) grows at most algebraically in any Sobolev or suitable Gevrey space in the sense that the Fourier projections away from and onto the modes \(k=-1,1\) satisfy
for any \(t \in I\) and any \(1/2<\gamma <1\).
This proposition implies a bound on the norm inflation on this time interval by \(t^{3/2}\le \epsilon ^{-3}\), which is much smaller than the exponential growth bound expected on earlier time intervals. We further remark that this time interval is empty if \(\xi > \epsilon ^{-2}\) and that this proposition is hence only concerned with “small” frequencies.
Proof
We recall from Proposition 2.1 of Sect. 2.1 that the solution operators
are bounded by a constant \(C_{\alpha }\) uniformly in k.
It thus suffices to control the corrections of (11)
in a suitable way to invoke Gronwall’s lemma, where we will distinguish between the case where \(|k|\ge 2\) and the cases \(k=-1,0,1\).
For simplicity of presentation in the following we establish estimates in the unweighted space \(\ell ^2\). The case of weighted spaces with a weight \(\lambda _k\) can be reduced to this case by considering modified coefficient functions of the form \(\frac{\lambda _{k\pm 1}}{\lambda _k} c_{k}^{\pm }\). More precisely, for instance for Sobolev spaces we may choose \(\lambda _k= 1+ c|k|^s\), where c is a small constant and hence deduce that \(\frac{\lambda _{k\pm 1}}{\lambda _k}\) is bounded above and below by constants close to 1. Hence all estimates below extend to this case with possibly a small loss of constants.
In the following we estimate the coefficient functions. We observe that for \(t>2\xi \) all frequencies \(k\ne 0\) are non-resonant in the sense that
In particular, recalling the definition of the coefficient functions (12) as long as none of \(k, k-1, k+1\) are zero, we may bound
for some universal constant C, where we with slight abuse of notation estimated \(g(t)\le f(t)/t\). We further recall that by our choice of time interval
is small and note that
Hence, for these coefficient functions we obtain uniform \(L^1\) estimate in time (more precisely, the supremum in k is still in \(L^1\)).
It hence only remains to discuss the cases \(k\in \{-1,0,1\}\).
Here we observe that while
is uniformly integrable,
is not.
Therefore, we cannot hope for better growth estimates than for the simple ODE system
for \(t > \xi \). Note that after rescaling we may without loss of generality set \(\xi =1\). We may then introduce \(1/2<\gamma <1\) and consider
We observe that the anti-diagonal entries are integrable in time by our choice of \(\gamma \), while the bottom right-entry is negative. Hence, by Gronwall’s lemma
remains uniformly bounded, which implies that |a| remains bounded while |b| might grow algebraically.
The claimed estimate then follows with \(b= |(Z_1, Z_{-1})|\) and \(a=\Vert (Z_k)_{k \not \in \{-1,1\}}\Vert \). \(\square \)
3.2.2 The Small Time or High Frequency Regime
By the results of the preceding Sect. 3.2.1 any possible norm inflation has to happen for times
Thus similarly to the setting of the Euler or Vlasov–Poisson equations we partition this time interval into regions in which t is comparable to \(\frac{\xi }{k}\) for some \(k \in \mathbb {N}\).
Definition 3.5
Let \(\xi >0\) be given. Then for any \(k \in \mathbb {N}\) we define
and the associated time intervals
We further define
We recall from the toy model of Sect. 3.1 and from the structure of the coefficient functions \(c_{k}^{\pm },d_k^{\pm }\) stated in (12) that on a given time interval \(I_k\) the main resonance mechanism is expected to be determined by
In particular, this value is bigger than 1 for \(k\le k_0\) and smaller than 1 if \(k\ge k_0+1\). We further remark that, if \(\xi \) is much bigger than \(\epsilon ^{-4}\) or if t is small, then we expect resonances to only result in small perturbation of the dynamics, as we prove in the following propositions. The main resonance mechanism in the remaining time interval is then studied in Sect. 3.2.3. As a first result we note that if \(\xi >\epsilon ^{-4}\) is very large all permissible choices of k (that is, with \(t_k<\epsilon ^{-2}\)) are non-resonant and stability estimates can be obtained by a simple ode-type estimate.
Proposition 3.6
(High frequency I) Let \(\xi >\epsilon ^{-4}\), then there exists as constant C depending only on \(\alpha \) such that for any choice of initial data it holds that
Proof
(Proof of Proposition 3.6) We recall that by Definition 3.3 we may equivalently consider a system of integral equations
In particular, using the bounds on \(S_{k}\) of Sect. 2.1 it follows that the solution satisfies the integral inequality
where C is a constant which may depend on \(\alpha \). The claimed bound hence follows by an application of Gronwall’s inequality provided
Indeed, we observe that for \(t \in I_k\) it holds that
Here we estimated
for \(l\ne k\) and observed that since \(\xi \ge \epsilon ^{-4}> 2 \epsilon ^{-2}\) for \(k \in \{-1,0,1\}\) we estimate \(|\xi -kt|\ge \frac{1}{2}\xi \). It thus only remains to observe that
is uniformly bounded by assumption on \(\xi \) and that \(f(t)< 1\) by our choice of time interval. The estimates on \(d_{l}^{\pm }\) follow analogously by noting that \(g(t)\sqrt{1+t}\) is uniformly bounded by our choice of time interval. Thus the estimate (13) holds, which concludes the proof. \(\square \)
We remark that this bound is very rough and not expected to be sharp for most choices of \(\xi \). Indeed as suggested by the model of Sect. 3.1 if \(\xi \) is much larger than \(\epsilon ^{-4}\) we obtain no norm inflation at all.
Proposition 3.7
Let \(C_{\alpha }\) denote the operator norm of semi-group of the homogeneous problem, that is
Then for all \(\xi > 2C_{\alpha }\epsilon ^{-4}\) and all \(t \in (0,\epsilon ^{-2})\) it holds that
The evolution is uniformly bounded.
Proof of Proposition 3.7
We claim that for this choice of \(\xi \) it holds that
Recalling the integral equation
we thus deduce that
In particular, we may consider the supremum in \(t\le \tau \) on both sides and consider (suitably weighted) \(\ell ^2\) norms to obtain that
satisfies
Since the factor \(\frac{1}{2}\) on the right-hand side is smaller than 1 we may subtract it from both sides and obtain that
Finally we observe that
and that for a time independent function (such as (Z, Q)(0)) equality holds.
It thus only remains to establish the estimates (14). Indeed we observe that if \(I_{l\pm 1} \subset (0,\delta \epsilon ^{-2})\) then
On the remaining interval and for all other l we may estimate \(f(t)\le \delta \) and observe that
and that for \(l\ne 0\)
The case \(l=0\) is estimated analogously. \(\square \)
The same method of proof can also be applied for general \(\xi \) when restricting to suitably small times.
Proposition 3.8
(The small time regime) Let \(\xi <\epsilon ^{-4}\) and define \(T< \epsilon ^{-2}\) such that
Further suppose that \(\delta < \frac{1}{C_{\alpha }}\) with \(C_{\alpha }\) as in Proposition 3.7.
Then for all \(0\le t \le \min (T,\delta \epsilon ^{-2})\) it holds that
Proof of Proposition 3.8
We claim that for this choice of T it holds that
The result then follows by the same argument as in the proof of Proposition 3.7.
Indeed, we observe that for k such that \(t_{k}\le T\) (that is for all k larger than \(k_1\) with \(t_{k_1}\approx T\)) it holds that
If instead k is such that \(t_{k} < T\) (or if we integrate over \((0,T)\setminus I_{l\pm 1}\)) then integral is not (yet) resonant and hence
\(\square \)
For times larger than T resonances are possibly very large and thus the preceding argument does not work anymore, since estimates of the form
do not control the norm. In the following Sect. 3.2.3 we thus instead establish growth bounds on each interval \(I_k\) which mimic the growth of the toy model of Sect. 3.1 with slight changes to the exponent.
3.2.3 Main Echo Chains
In this section we consider the main norm inflation mechanism of the (simplified) linearized Boussinesq equations as compared to the toy model of Sect. 3.1. Here, similarly to the Euler setting (Deng and Zillinger , 2021), it turns out for large frequencies the back-coupling between resonant and non-resonant modes results in correction of the growth bounds, which has to be taken into account. As we discuss in Sect. 4 the following results remain valid for the non-simplified linearized Boussinesq equations as well.
As a preliminary step we consider a more accurate toy model and establish more accurate bounds. Similar bounds have previously been established in (Bedrossian et al. 2021, Proposition 4.1). We additionally highlight the time-dependence of f(t).
Lemma 3.9
Let \(\frac{\xi }{k^2} \ge 100\) be given, let \(0 \le f(t)< \delta \) and consider the differential inequalities
on the interval \((-\frac{\xi }{k^2}, \frac{\xi }{k^2})\). Then there exists a constant \(0< \gamma < 2\delta \) such that
That is, we obtain an upper bound on the norm inflation by \(\Vert f\Vert _{L^\infty } (\frac{\xi }{k^2})^{1/2+\gamma }\).
We remark that if f(t) is replaced by a constant and if we consider a differential equation instead of an inequality, then the ODE system
can be solved explicitly by noting that u solves
This is the defining equation of Legendre functions and the above estimates hence follow from the known asymptotics of these functions.
The main aim of this lemma is thus to provide a more robust energy-based proof, which also extends to differential inequalities with time-dependent coefficients.
Proof of Lemma 3.9
We consider the following energy:
We note that \({\mathcal {E}}(t)\) is continuous and that both \((1+t^2)^{1/2}\) and \((1+t^2)^{-1/2}\) are decreasing on the respective time intervals. Hence by direct computation
Integrating this inequality on \((-\frac{\xi }{k^2}, \frac{\xi }{k^2})\) we obtain that
for all \(T\in [-\frac{\xi }{k^2}, \frac{\xi }{k^2}]\). In particular, it holds that
and by construction
We have thus established upper bounds for general initial data.
We next consider the differences compared to the initial data. By the fundamental theorem of calculus for any \(-\frac{\xi }{k^2}\le \tau \le \frac{\xi }{k^2}\) it holds that
This is almost the desired bound except that we are still missing one factor of \(\Vert f\Vert _{L^\infty }\). It is however already sufficient to estimate \(Z_R\) as
Finally we may return to the bound for \(Z_{NR}\) and split
and insert the just derived bound. \(\square \)
Having established this improved model we next show that also the (simplified) linearized Boussinesq equations exhibit this modified growth (as compared to the toy model of Sect. 3.1; the non-simplified equations are studied in Proposition 4.2). Here in addition to the above growth bounds we have to take into account the evolution by the homogeneous semigroup (see Sect. 2.1). We further recall that for the linearized Boussinesq system
Proposition 3.10
Let \(0< \xi < \epsilon ^{-4}\), \(\alpha >\frac{1}{4}\) and \(0<\epsilon <\delta \) and consider the linearized Boussinesq equations (11) on the time interval
with \(1\le k \le k_0\) and \(t_{k}, t_{k-1}\) as in Definition 3.5. Then there exists \(C=C(\alpha )\) and \(0<\gamma <\delta \) such that for all choices of data at time \(t_{k}\) and all \(t\in \overline{I_k}\) it holds that
Corollary 3.11
Under the same assumptions as in Proposition 3.10 for any \(l \le k_0\) it holds that
Thus the total possible norm inflation on \((t_{k_0}, \delta \epsilon ^{-2})\) is bounded by the exponential factor stated in Theorem 1.3.
Proof of Corollary 3.11
The result follows by repeated application of the estimate of Proposition 3.10. In particular, choosing \(t_{l}\) maximal we obtain the products discussed in Sect. 3.1 with an additional correction in the exponent. \(\square \)
Proof of Proposition 3.10
Based on the structure of the homogeneous problem as studied in Sect. 2.1 we consider
Then by the estimates of Proposition 2.1 it holds that
In order to remove the first term we introduce
and observe that
Recalling that
we are thus in the framework of Lemma 3.9. More precisely, we may define
Then by the above estimates these functions satisfy the assumptions of Lemma 3.9 with
In particular, it follows that
grows at most by a factor
Since we are in the regime where the latter factor is bounded below, we may omit the 1 at the cost of a constant factor, which proves the result. \(\square \)
4 On the Model Reduction
In this section we discuss the non-simplified linearized Boussinesq equations
which we may also express in an integral system as in Definition (11) by introducing the coefficients
We observe that by our choice of time interval
is small and integrable and that
is a transport operator which corresponds to a change of variables
which is an analytic change of variables and a small perturbation of the identity (for \(\epsilon \) small).
In view of this smallness and in order to simplify the analysis of the model and the presentation of the resonance mechanism, throughout this article we have considered the simplified linearized Boussinesq equations which omitted these terms.
In the following we show that this simplification indeed does not change the results of the long-time regime of Sect. 3.2.1 and the echo chains of Sect. 3.2.3. For the small time regime of Sect. 3.2.2 we obtain (much) rougher bounds for the full model. We expect that with (considerable) technical effort it should be possible to improve these bounds after incorporating an additional change of variables (see the discussion following Proposition 4.2).
We begin by discussing the “large time” regime of Sect. 3.2.1:
Proposition 4.1
Let \(\epsilon , \delta , f(t), \gamma (t)\) be as in Proposition 3.4. Then the solution of the linearized Boussinesq equations (15) exhibits at most algebraic growth on the time interval \((2\xi , \delta \epsilon ^{-2})\). More precisely, for all \(t \in (2\xi , \delta \epsilon ^{-2})\) the projections onto and away from the Fourier modes \(k=-1,1\) satisfy:
where \(1/2< \gamma < 1\) is a constant.
Proof of Proposition 4.1
We observe that for all \(k \not \in {-1,0,1}\) for \(t>2\xi \) the fractions
are uniformly bounded. Hence, for these values of k we may bound
We further observe that
is integrable. The result hence follows by the same proof as for Proposition 3.4 by noting that in the remaining cases
\(\square \)
We next turn to the resonant regime of Sect. 3.2.3 which consists of the time intervals \(I_k=(t_{k}, t_{k-1})\) for which
is large.
Proposition 4.2
(Bound on norm inflation) Under the assumptions of Proposition 3.10 also for the linearized Boussinesq equations the possible norm inflation is controlled in the sense that for all \(t\in \overline{I_k}\) it holds that
where \(C=C(\alpha )\) and \(0<\gamma <\delta \) are constants
Proof of Proposition 4.2
We consider the same energies and unknowns as in the proof of Proposition 3.10, where in the computation of \(\partial _t{\tilde{E}}_l\) we obtain additional terms controlled by
We now observe that for \(l \not \in \{k-1,k, k+1\}\) it holds that
and for \(t \in I_k\) we may further bound
For \(l \in \{k-1,k,k+1\}\) we argue similarly and control
Thus for all l we may control
in the same way as a non-resonant contribution \(c_{l}^\pm \ne c_{k\pm 1}^{\mp }\). The result hence follows by the same argument as in Proposition 3.10. \(\square \)
It hence only remains to discuss the “small time” regime of Sect. 3.2.2. Here we observe that
in general is not small enough to employ the contraction argument of Proposition 3.8 unless \(\xi \) is smaller than \(\epsilon ^{-1}\). Indeed also for the change of variables (17) we cannot expect good bounds in high Sobolev or Gevrey norms for frequencies larger than \(\epsilon ^{-1}\). In order to obtain better bounds we thus have to take these changes into account.
One option here is to consider the unknowns (Z, Q) in the coordinates (17). However, here \(F(t)\sin (x)\) introduces further nearest neighbor coupling in x, which makes terms such as \(\Delta _t^{-1/4}\) very technically challenging to study. A second option, which sidesteps this issue, is to restrict to studying stability estimates in \(\ell ^2(\mathbb {Z})\) (that is, with respect to Fourier modes in x for a fixed frequency in y), following the argument of Bedrossian et al. (2021). Since \(f(t)/(1+t^2)\cos (x)\partial _y\) is an anti-symmetric operator in \(L^2\), this space allows us to exploit cancellation and hence to estimate
instead.
As a first preliminary result we consider an adaptation of the “intermediate time” estimate of (Bedrossian et al. 2021, Section 6.3.2), which allows for loss of regularity in Gevrey \(\sigma \) with \(\sigma <2\) in the time interval where \(t>\sqrt{\xi }\).
Lemma 4.3
Let \(\xi \) and T be as in Proposition 3.8 and suppose that \(\sqrt{\xi }< T\). Then on the time interval \((\sqrt{\xi },T)\) the maximal possible norm inflation is bounded by
for any \(\sigma > \frac{1}{2}\).
Proof
Arguing similarly as in the proof of Proposition 3.8 we consider the energy
with \(\lambda (t)\) decreasing in time and bounded below, still to be determined. Computing the time derivative it then suffices to show that \(\lambda (t)\) can be chosen such that
Indeed, we claim that
and observe that since \(t<T\) and \(t>\sqrt{\xi }\) it holds that
The result then follows by noting that \(t^{-1+2(\sigma -1/2)}\) is integrable and hence
yields the desired result.
It remains to prove the claim. For this purpose we observe that away from resonant frequencies, that is for \(l\not \in \{k-1,k,k+1\}\) it holds that
is bounded and hence
where we used \(t>\sqrt{\xi }\) in the last step.
For the resonant frequency we estimate
Then since \(t>\sqrt{\xi }\) it holds that.
This concludes the proof of the claim. \(\square \)
We next need to consider the “small time regime” where \(t<\min (\sqrt{\xi },T)\), where we adapt the argument of Section 6.3.1 in Bedrossian et al. (2021) ( in their notation we estimate a term similar to \({\mathcal {T}}_{N}^{p,1}\)). On that time interval the bound by \(\sqrt{\xi }/t\) is not sufficient. We thus need to exploit the \(L^2\) cancellation, which involves
Lemma 4.4
Let \(\xi \), T and \(\sigma >\frac{1}{2}\) be as in Proposition 3.8. Then for all \(0< t< \min (\sqrt{\xi }, T)\) it holds that
is bounded by
We remark that for this estimate we only establish stability in the unweighted \(\ell ^2\) space, since the proof exploit that the shear \(f(t)\cos (x)\partial _y\) is anti-symmetric on \(L^2\).
Proof
We observe that for \(t\rightarrow \infty \) or \(l \rightarrow \infty \)
We may hence exploit the fact that the operator \(f(t)\cos (x)\partial _y \) is anti-symmetric and thus have to estimate
We claim that this term can be estimated from above:
This is sufficient to conclude since \(f(t)\le \delta \) by assumption and for \(1+t\le \sqrt{\xi }\) we may insert a factor
and \((1+t)^{-2\sigma }\) is integrable since \(\sigma >1/2\).
It thus remains to prove the claim (18). We may rewrite the last factor in the term to be estimated as
We first discuss the case when l and \(l \pm 1\) do not equal k. In this case by the intermediate value theorem there exists
such that
Since both l and \(l\pm 1\) are non-resonant it follows that \(|\eta -t|\ge \frac{\xi }{l(l\pm 1)}\) and \(|\frac{\xi }{l}-t| \ge \frac{\xi }{l(l\pm 1)}\). Summarizing for this case we obtain that
and thus obtain a bound by \(f(t)/(1+t^2)\le f(t)\).
For the remaining resonant cases the potentially largest one is given by \(l=k\). In that case we may estimate
We thus obtain a bound of the total contribution by
which concludes the proof. \(\square \)
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Adhikari, D., Ben, S., Oussama, P., Uddhaba, R., Wu, J.: Stability and large-time behavior for the 2D Boussineq system with horizontal dissipation and vertical thermal diffusion. Nonlinear Differ. Equ. Appl. NoDEA 29(4), 1–43 (2022)
Adhikari, D., Cao, C., Jiahong, W.: The 2D Boussinesq equations with vertical viscosity and vertical diffusivity. J. Differ. Equ. 249(5), 1078–1088 (2010)
Bedrossian, J., Bianchini, R., Coti, Z., Michele, D.M.: Nonlinear inviscid damping and shear-buoyancy instability in the two-dimensional Boussinesq equations. arXiv preprintarXiv:2103.13713 (2021)
Bedrossian, J.: Nonlinear echoes and Landau damping with insufficient regularity. Tunisian J. Math. 3, 121–205 (2020)
Bedrossian, J., Masmoudi, N.: Inviscid damping and the asymptotic stability of planar shear flows in the 2D Euler equations. Publications mathématiques de l’IHÉS 122(1), 195–300 (2015)
Bedrossian, J., Masmoudi, N., Mouhot, C.: Landau damping: paraproducts and Gevrey regularity. Ann. PDE 2(1), 4 (2016)
Bianchini, R., Zelati, M.C., Dolce, M.: Linear inviscid damping for shear flows near Couette in the 2D stably stratified regime. Indiana Univ. Math. J. 71(4), 1467–1504 (2022)
Cao, C., Jiahong, W.: Global regularity for the two-dimensional anisotropic Boussinesq equations with vertical dissipation. Arch. Ration. Mech. Anal. 208(3), 985–1004 (2013)
Deng, Y., Masmoudi, N.: Long time instability of the Couette flow in low Gevrey spaces. arXiv preprint arXiv:1803.01246 (2018)
Deng, W., Jiahong, W., Zhang, P.: Stability of Couette flow for 2D Boussinesq system with vertical dissipation. J. Funct. Anal. 281(12), 109255 (2021)
Doering, C.R., Wu, J., Zhao, K., Zheng, X.: Long time behavior of the two-dimensional Boussinesq equations without buoyancy diffusion. Physica D 376, 144–159 (2018)
Deng, Yu., Zillinger, C.: Echo chains as a linear mechanism: norm inflation, modified exponents and asymptotics. Arch. Ration. Mech. Anal. 242(1), 643–700 (2021)
Elgindi, T.M., Widmayer, K.: Sharp decay estimates for an anisotropic linear semigroup and applications to the surface quasi-geostrophic and inviscid Boussinesq systems. SIAM J. Math. Anal. 47(6), 4672–4684 (2015)
Howard, L.N.: Note on a paper of John W. Miles. J. Fluid Mech. 10(4), 509–512 (1961)
Li, J., Titi, E.S.: Global well-posedness of the 2D Boussinesq equations with vertical dissipation. Arch. Ration. Mech. Anal. 220(3), 983–1001 (2016)
Lai, S., Jiahong, W., Xiaojing, X., Zhang, J., Zhong, Y.: Optimal decay estimates for 2D Boussinesq equations with partial dissipation. J. Nonlinear Sci. 31(1), 1–33 (2021)
Masmoudi, N., Said-Houari, B., Zhao, W.: Stability of Couette flow for 2D Boussinesq system without thermal diffusivity. Arch. Ration. Mech. Anal. 245(2), 645–752 (2022)
Mouhot, C., Villani, C.: On Landau damping. Acta Mathematica 207(1), 29–201 (2011)
Tao, L., Jiahong, W.: The 2D Boussinesq equations with vertical dissipation and linear stability of shear flows. J. Differ. Equ. 267(3), 1731–1747 (2019)
Tao, L., Jiahong, W., Zhao, K., Zheng, X.: Stability near hydrostatic equilibrium to the 2D Boussinesq equations without thermal diffusion. Arch. Ration. Mech. Anal. 237(2), 585–630 (2020)
Widmayer, K.: Convergence to stratified flow for an inviscid 3D Boussinesq system. Commun. Math. Sci. 16(6), 1713–1728 (2018)
Jiahong, W., Xiaojing, X., Zhu, N.: Stability and decay rates for a variant of the 2D Boussinesq-Bénard system. Commun. Math. Sci. 17(8), 2325–2352 (2019)
Zillinger, C.: On echo chains in Landau damping: Traveling wave-like solutions and Gevrey 3 as a linear stability threshold. Annals of PDE 7(1), 1–29 (2021)
Zillinger, C.: On echo chains in the linearized Boussinesq equations around traveling waves. arXiv preprintarXiv:2103.15441, (2021)
Zillinger, C.: On the Boussinesq equations with non-monotone temperature profiles. J. Nonlinear Sci. 31(4), 64 (2021)
Zhai, C., Zhao, W.: Stability threshold of the Couette flow for Navier-Stokes Boussinesq system with large Richardson number. SIAM J. Math. Anal. 55(2), 1284–1318 (2023)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
This article was written by a single author.
Corresponding author
Ethics declarations
conflict of interest
Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - Project-ID 258734477 - SFB 1173. The author declares that he has no conflict of interest.
Additional information
Communicated by Paul Newton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zillinger, C. On Stability Estimates for the Inviscid Boussinesq Equations. J Nonlinear Sci 33, 106 (2023). https://doi.org/10.1007/s00332-023-09958-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-023-09958-2