Local regularity and finite-time singularity for a class of generalized SQG patches on the half-plane

Abstract

In this paper, we investigate a class of inviscid generalized surface quasi-geostrophic (SQG) equations on the half-plane with a rigid boundary. Compared to the Biot-Savart law in the vorticity form of the 2D Euler equation, the velocity formula here includes an additional Fourier multiplier operator $m(Λ)$. When $m(Λ) = Λ^α$, where $Λ= (-Δ)^{1/2}$ and $α\in (0,2)$, the equation reduces to the well-known $α$-SQG equation. Finite-time singularity formation for patch solutions to the $α$-SQG equation was famously discovered by Kiselev, Ryzhik, Yao, and Zlatoš [Ann. Math., 184 (2016), pp. 909-948]. We establish finite-time singularity formation for patch solutions to the generalized SQG equations under the Osgood condition \[\int_2^\infty \frac{1}{r (\log r) m(r)} dr < \infty\] along with some additional mild conditions. Notably, our result fills the gap between the globally well-posed 2D Euler equation ($α= 0$) and the $α$-SQG equation ($α> 0$). Furthermore, in line with Elgindi's global regularity results for 2D Loglog-Euler type equations [Arch. Rat. Mech. Anal., 211 (2014), pp. 965-990], our findings suggest that the Osgood condition serves as a sharp threshold that distinguishes global regularity and finite-time singularity in these models. In addition, we generalize the local regularity and finite-time singularity results for patch solutions to the $α$-SQG equation, as established by Gancedo and Patel [Ann. PDE, 7 (2021), no. 1, Art. no. 4], extending them to cases where $m(r)$ behaves like $r^α$ near infinity but does not have an explicit formulation.

Figures (4)

• Figure 1: The domains $\Omega_1$, $\Omega_2$, $\Omega_0$ and $\mathbb{K}(0)$.
• Figure 2: A demonstration of the domains $\mathbb{A}_1 = \mathbb{A}_{11}\cup \mathbb{A}_{12}\cup \mathbb{A}_{13}$ and $\mathbb{A}_2$. The gray region represents $\mathbb{A}(x)$.
• Figure 3: A demonstration of the domains $\mathbb{B}_{1}$ and $\mathbb{B}_2$. The gray region represents $\mathbb{A}(x)$.
• Figure 4: The segments $\mathcal{I}_{1}$, $\mathcal{I}_2$ and the sets $\Omega_3$, $\mathbb{K}(t_0)$.

Theorems & Definitions (36)

• Theorem 1
• Remark 1: Criticality of the Osgood condition
• Theorem 2
• Remark 2
• Lemma 1
• Remark 3
• proof : Proof of Lemma \ref{['lem:int-exp']}
• Lemma 2
• Remark 4
• proof : Proof of Lemma \ref{['lem:mD-cond']}