Abstract
The Thermal Quasi-Geostrophic (TQG) equation is a coupled system of equations that governs the evolution of the buoyancy and the potential vorticity of a fluid. It has a local in time solution as proved in Crisan et al. (Theoretical and computational analysis of the thermal quasi-geostrophic model. Preprint arXiv:2106.14850, 2021). In this paper, we give a criterion for the blow-up of solutions to the Thermal Quasi-Geostrophic equation, in the spirit of the classical Beale–Kato–Majda blow-up criterion (cf. Beale et al., Comm. Math. Phys. 94(1), 61–66, 1984) for the solution of the Euler equation.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
The Thermal Quasi-Geostrophic (TQG) equation is a coupled system of equations governed by the evolution of the buoyancy \(b:(t,\mathbf {x})\in [0,T] \times \mathbb {R}^2 \mapsto b(t,\mathbf {x})\in \mathbb {R}\) and the potential vorticity \(q:(t,\mathbf {x})\in [0,T] \times \mathbb {R}^2 \mapsto q(t,\mathbf {x})\in \mathbb {R}\) in the following way:
where
Here, \(\psi :(t,\mathbf {x})\in [0,T] \times \mathbb {R}^2 \mapsto \psi (t,\mathbf {x})\in \mathbb {R}\) is the streamfunction, \(h:\mathbf {x}\in \mathbb {R}^2 \mapsto h(\mathbf {x})\in \mathbb {R}\) is the spatial variation around a constant bathymetry profile and \(f:\mathbf {x}\in \mathbb {R}^2 \mapsto f(\mathbf {x})\in \mathbb {R}\) is the Coriolis parameter. Since we are working on the whole space, we can supplement our system with the far-field condition
Our given set of data is (u h, f, b 0, q 0) with regularity class:
The TQG equation models the dynamics of a submesoscale geophysical fluid in thermal geostrophic balance, for which the Rossby number, the Froude number and the stratification parameter are all of the same asymptotic order. For a historical overview, modelling and other issues pertaining to the TQG equation, we refer the reader to [4].
In the following, we are interested in strong solutions of the system (1)–(4) which can naturally be defined in terms of just b and q although the unknowns in the evolutionary Eqs. (1)–(2) are b, q and u. This is because for a given f, one can recover the velocity u from the vorticity q by solving the equation
derived from (4). Also note that a consequence of the equation u = ∇⊥ ψ in (4) is that divu = 0. This means that the fluid is incompressible. With these information in hand, we now make precise, the notion of a strong solution.
Definition 1 (Local Strong Solution)
Let (u h, f, b 0, q 0) be of regularity class (5). For some T > 0, we call the triple (b, q, T) a strong solution to the system (1)–(4) if the following holds:
-
The buoyancy b satisfies \(b \in C([0,T]; W^{3,2}(\mathbb {R}^2))\) and the equation
$$\displaystyle \begin{aligned} b(t) &= b_0 - \int_0^{t} \mathrm{div} (b\mathbf{u})\,\,\mathrm{d} \tau, \end{aligned} $$holds for all t ∈ [0, T];
-
the potential vorticity q satisfies \( q \in C([0,T]; W^{2,2}(\mathbb {R}^2))\) and the equation
$$\displaystyle \begin{aligned} q (t) &= q_0 - \int_0^t \Big[ \mathrm{div} (( q-b)\mathbf{u} ) + \mathrm{div} (b{\mathbf{u}}_h ) \Big] \,\,\mathrm{d} \tau \end{aligned} $$holds for all t ∈ [0, T].
Such local strong solutions exist on a maximal time interval. We define this as follows.
Definition 2 (Maximal Solution)
Let (u h, f, b 0, q 0) be of regularity class (5). For some T > 0, we call \((b, q, T_{\max }) \) a maximal solution to the system (1)–(4) if:
-
there exists an increasing sequence of time steps \((T_n)_{n\in \mathbb {N}}\) whose limit is \(T_{\max }\in (0,\infty ]\);
-
for each \(n\in \mathbb {N}\), the triple (b, q, T n) is a local strong solution to the system (1)–(4) with initial condition (b 0, q 0);
-
if \(T_{\max }<\infty \), then
$$\displaystyle \begin{aligned} \limsup_{T_n\rightarrow T_{\max}} \Vert b(T_n) \Vert_{W^{3,2}(\mathbb{R}^2)}^2+\Vert q(T_n) \Vert_{W^{2,2}(\mathbb{R}^2)}^2 =\infty. \end{aligned} $$(6)
We shall call \(T_{\max }>0\) the maximal time.
The existence of a unique local strong solution of (1)–(4) has recently been shown in [4, Theorem 2.10] on the torus. A unique maximal solutions also exist [4, Theorem 2.14] and the result also applies to the whole space [4, Remark 2.1]. We state the result here for completeness.
Theorem 1
For (u h, f, b 0, q 0) of regularity class (5), there exist a unique maximal solution (b, q, T) of the system (1)–(4).
Before we state our main result, let us first present some notations used throughout this work.
1.1 Notations
In the following, we write \(F \lesssim G\) if there exists a generic constant c > 0 (that may vary from line to line) such that F ≤ c G. Functions mapping into \(\mathbb {R}^2\) are boldfaced (for example the velocity u) while those mapping into \(\mathbb {R}\) are not (for example the buoyancy b and vorticity q). For \(k\in \mathbb {N}\cup \{0\}\) and p ∈ [1, ∞], \(W^{k,p}(\mathbb {R}^2)\) is the usual Sobolev space of functions mapping into \(\mathbb {R}\) with a natural modification for functions mapping into \(\mathbb {R}^2\). For p = 2, \(W^{k,2}(\mathbb {R}^2)\) is a Hilbert space with inner product \( \langle u,v \rangle _{W^{k,2}(\mathbb {R}^2)} =\sum _{\vert \beta \vert \leq k} \langle \partial ^\beta u\,,\, \partial ^\beta v \rangle , \) where 〈⋅ , 〉 denotes the standard L 2-inner product. For general \(s\in \mathbb {R}\), we use the norm
defined in frequency space. Here, \(\widehat {v}(\xi )\) denotes the Fourier coefficients of v. For simplicity, we write ∥⋅∥s,2 for \(\Vert \cdot \Vert _{W^{s,2}(\mathbb {R}^2)}\). When k = s = 0, we get the usual \(L^2(\mathbb {R}^2)\) space whose norm we will simply denote by ∥⋅∥2. A similar notation will be used for norms ∥⋅∥p of general \(L^p(\mathbb {R}^2)\) spaces for any p ∈ [1, ∞] as well as for the inner product \(\langle \cdot ,\cdot \rangle _{k,2}:=\langle \cdot ,\cdot \rangle _{W^{k,2}(\mathbb {R}^2)}\) when \(k\in \mathbb {N}\). Additionally, \(W^{k,p}_{\mathrm {div}}(\mathbb {R}^2)\) represents the space of divergence-free vector-valued functions in \(W^{k,p}(\mathbb {R}^2)\).
With respect to differential operators, we let \(\nabla _0 :=(\partial _{x_1},\partial _{x_2}, 0)^T\) and \(\nabla _0^\perp :=(-\partial _{x_2},\partial _{x_1}, 0)\) be the three-dimensional extensions of the two-dimensional differential operators \(\nabla =(\partial _{x_1},\partial _{x_2})^T\) and \(\nabla ^\perp :=(-\partial _{x_2},\partial _{x_1})\) by zero respectively. The Laplacian \(\varDelta =\mathrm {div}\nabla = \partial _{x_1x_1}+\partial _{x_2x_2}\) remains two-dimensional.
1.2 Main Result
Our main result is to give a blow-up criterion, of Beale–Kato–Majda-type [2], for a strong solution (b, q, T) of (1)–(4). In particular, we show the following result.
Theorem 2
Suppose that (b, q, T) is a local strong solution of (1)–(4). If
then there exists a solution (b′, q′, T′) with T′ > T, such that (b′, q′) = (b, q) on [0, T]. Moreover, for all t ∈ [0, T],
An immediate consequence of the above theorem is the following:
Corollary 1
Assume that (b, q, T) is a maximal solution. If T < ∞, then
and in particular,
2 Blow-Up
We devote the entirety of this section to the proof of Theorem 2. In order to achieve our goal, we first derive a suitable exact solution for what is referred to as the modified Helmholtz equation. Some authors also call it the Screened Poisson equation [3] while others rather mistakenly call it the Helmholtz equation. Refer to [1] for the difference between the Helmholtz equation and modified Helmholtz equation.
2.1 Estimate for the 2D Modified Helmholtz Equation or the Screened Poisson Equation
In the following, we want to find an exact solution \(\psi : \mathbb {R}^2\rightarrow \mathbb {R}\) of
for a given function \(w \in W^{2,2}( \mathbb {R}^2)\) . The corresponding two-dimensional free space Green’s function G free(x) for (9) must therefore solve
in the sense of distributions. Indeed, one can verify that the Green’s function is given by
see [1, Table 9.5], where
is the modified Bessel function of the second kind, see equation (8.432-9), page 917 of [5] with ν = 0 and x = 1. However, since the integral above is an even function, it follows that
which is the zeroth-order Hankel function of the first kind, see equation (11.117) in [1] and equation (8.421-9) of [5] on page 915. Therefore,
where we have used the identity \(\sqrt {\vert \mathbf {x}- \mathbf {y}\vert ^2 +r^2}= \vert (\mathbf {x},0)-(\mathbf {y},r)\vert = \vert (\mathbf {x}-\mathbf {y},-r) \vert \). We can therefore view the argument of the streamfunction ψ as a 3D-vector with zero vertical component.
2.2 Log-Sobolev Estimate for Velocity Gradient
Our goal now is to find a suitable estimate for the Lipschitz norm of u that solves
where \(w\in W^{2,2}(\mathbb {R}^2)\) is given. In particular, inspired by Beale et al. [2], we aim to show Proposition 1 below. This log-estimate is the crucial ingredient that allow us to obtain our blow-up criterion in terms of just the buoyancy gradient and the vorticity although preliminary estimate may have suggested estimating the velocity gradient as well.
Proposition 1
For a given \(w\in W^{2,2}(\mathbb {R}^2)\) , any u solving (15) satisfies
where \(\ln ^+ a = \ln \, a\) if a ≥ 1 and \(\ln ^+a=0\) otherwise.
Proof
To show (16), we fix L ∈ (0, 1] and for \( \mathbf {z}\in \mathbb {R}^3 \), we let ζ L(z) be a smooth cut-off function satisfying
and \( \vert \partial \zeta _L(\mathbf {z}) \vert \lesssim L^{-1}\) where \(\partial :=\nabla ^\perp _0\) or ∇0 as well as \( \vert \nabla _0 \nabla ^\perp _0 \zeta _L(\mathbf {z}) \vert \lesssim L^{-2}\). This latter requirement ensures that the point of inflection of the graph of the cut-off, the portion that is constant, concave upwards and concave downwards are all captured. We now define the following
so that by adding and subtracting ζ L, we obtain
where
For L ∈ (0, 1], we have that
Now note that
Clearly, |x −y|2 ≤|x −y|2 + r 2 = |(x −y, −r)|2 and for any L ∈ (0, 1], the inequalities
holds independent of L. Therefore, for L ∈ (0, 1], it follows that
Again, we can use |x −y|2 ≤|x −y|2 + r 2 and the fact that the inequalities
holds independent of any L ∈ (0, 1] to obtain
Finally, for \(\mathbb {K}_2\) and \(\mathbb {K}_4\), we also obtain
We have shown that
for L ∈ (0, 1]. Also, the quantity (1∕L 2)[e −L(L + 1) − e −2L(2L + 1)] is uniformly bounded for any L ∈ (0, 1] and as such,
Next, we note that the estimate for \( \nabla _0 {\mathbf {u}}_2^3\) and \(\nabla _0 {\mathbf {u}}_2^4\) will be the same where in particular,
Since |x −y|≤ 1 holds on B 2, it follows from the condition \( \vert \nabla _0^\perp \zeta _L(\mathbf {z}) \vert \lesssim L^{-1}\) that
since (1∕L)[e −L − e −2L] is uniformly bounded in L. Similarly, we can use the fact that \(\vert \mathbf {x}-\mathbf {y}\vert \leq \sqrt {\vert \mathbf {x}- \mathbf {y}\vert ^2 +r^2 }\) to obtain
We can therefore conclude that,
Similar to the estimate for \(\nabla {\mathbf {u}}_2^1\), we have that
It follows by summing up the various estimates above that
It remains to show that the estimate (21) also holds for u. For this, we first recall that
We now use the inequalities
and
to obtain
Therefore, it follows from (21) and (24) that
If ∥w∥2,2 ≤ 1, we choose L = 1 and if ∥w∥2,2 > 1, we take \(L=\Vert w \Vert _{2,2}^{-2}\) so that (16) holds. This finishes the proof.
Before we end the subsection, we also note that a direct computation using the definition of Sobolev norms in frequency space (7) immediately yield
for any \(k\in \mathbb {N}\cup \{0\}\) where \(w\in W^{k,2}(\mathbb {R}^2)\) is a given function in (15).
2.3 A Priori Estimate
In order to prove Theorem 2, we first need some preliminary estimates for (b, q). In the following, we define
Lemma 1
A strong solution of (1)–(4) satisfies the bound
Proof
Since the space of smooth functions is dense in the space \(W^{3,2}(\mathbb {R}^2)\times W^{2,2}(\mathbb {R}^2)\) of existence, in the following, we work with a smooth solution pair (b, q). To achieve our desired estimate, we apply ∂ β to (1) for |β|≤ 3 to obtain
where
Now since divu = 0, if we multiply (28) by ∂ β b and integrate over space, the second term on the left-hand side of (28) vanishes after integration by parts. On the other hand, we can use the commutator estimate (see for instant [4, Sect. 2.2]) to estimate the residual term R 1. Consequently, by multiplying (28) by ∂ β b, integrating over space, and summing over the multiindices β so that |β|≤ 3, we obtain
where we have used (26) for w = q − f and k = 2.
Next, we find a bound for \(\Vert q \Vert ^2_{2,2}\). For this, we apply ∂ β to (2) for |β|≤ 2 and we obtain
where
Now notice that for \(\mathbb {U}:=\nabla \mathbf {u} \), it follows from interpolation that
and so,
Similarly
Therefore,
By using this estimate, we deduce from (26) and commutator estimates that
The commutators R 3 and R 4 are easy to estimate and are given by
respectively, for a given \({\mathbf {u}}_h \in W^{3,2}(\mathbb {R}^2;\mathbb {R}^2)\). Next, by using divu = 0, we obtain
Additionally, the following estimates holds true
since \({\mathbf {u}}_h \in W^{3,2}(\mathbb {R}^2;\mathbb {R}^2)\). If we now collect the estimates above (keeping in mind that \(f\in W^{2,2}(\mathbb {R}^2)\) and \({\mathbf {u}}_h \in W^{3,2}(\mathbb {R}^2;\mathbb {R}^2)\)), we obtain by multiplying (2) by ∂ β q and then summing over |β|≤ 2, the following
Summing up (29) and (37) yields the desired result.
We now have all in hand to prove our main theorem, Theorem 2.
Proof of Theorem 2
In the following, we define the time-dependent function g as
Next, without loss of generality, we assume that f = 0 so that from Proposition 1, we obtain
for t ∈ [0, T]. Using the monotonic properties of logarithms, it follows from the above that
Furthermore, since \(1\leq \ln (\mathrm {e}+|x|)\) for any \(x\in \mathbb {R}\), we can deduce from the inequality above that
On the other hand, it follows from Lemma 1 that
for any t ∈ [0, T]. Combining (41) and (42) yields
We can now take logarithm of both sides and apply Grönwall’s lemma to the resulting inequality to obtain
At this, point, we can now utilize (8), take exponentials in (44) and obtain
for any t ∈ [0, T]. Since the right-hand side is finite, it follows that the solution (b, q) can be continued on some interval [0, T′) for some T′ > T . This finishes the proof.
References
Arfken, G.B., Weber, H.J.: Mathematical methods for physicists, sixth edn. Elsevier/Academic Press (2005)
Beale, J.T., Kato, T., Majda, A.: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Comm. Math. Phys. 94(1), 61–66 (1984)
Bhat, P., Curless, B., Cohen, M. and Zitnick, C.L.: Fourier analysis of the 2D screened Poisson equation for gradient domain problems. In European Conference on Computer Vision (pp. 114–128). Springer, Berlin, Heidelberg (2008)
Crisan, D., Holm, D.D., Luesink, E., Mensah, P.R. and Pan, W.: Theoretical and computational analysis of the thermal quasi-geostrophic model. arXiv preprint arXiv:2106.14850. (2021)
Gradshteyn, I.S., Ryzhik, I.M.: Table of integrals, series, and products, seventh edn. Elsevier/Academic Press, Amsterdam (2007). Translated from the Russian, Translation edited and with a preface by Alan Jeffrey and Daniel Zwillinger, With one CD-ROM (Windows, Macintosh and UNIX)
Acknowledgements
This work has been supported by the European Research Council (ERC) Synergy grant STUOD-DLV-856408.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license 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.
Copyright information
© 2023 The Author(s)
About this paper
Cite this paper
Crisan, D., Mensah, P.R. (2023). Blow-Up of Strong Solutions of the Thermal Quasi-Geostrophic Equation. In: Chapron, B., Crisan, D., Holm, D., Mémin, E., Radomska, A. (eds) Stochastic Transport in Upper Ocean Dynamics. STUOD 2021. Mathematics of Planet Earth, vol 10. Springer, Cham. https://doi.org/10.1007/978-3-031-18988-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-18988-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-18987-6
Online ISBN: 978-3-031-18988-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)