Attention:The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Thursday, August 13 until 12:00 AM ET on Friday, August 14 due to maintenance. We apologize for the inconvenience.


Title: Well-Posedness for Ohkitani Model and Long-Time Existence for Surface Quasi-geostrophic Equations
Abstract We consider the Cauchy problem for the logarithmically singular surface quasi-geostrophic (SQG) equation, introduced by Ohkitani,$$\begin{aligned} \begin{aligned} \partial _t \theta - \nabla ^\perp \log (10+(-\Delta )^{\frac{1}{2}})\theta \cdot \nabla \theta = 0, \end{aligned} \end{aligned}$$ t θ - log ( 10 + ( - Δ ) 1 2 ) θ · θ = 0 , and establish local existence and uniqueness of smooth solutions in the scale of Sobolev spaces with exponent decreasing with time. Such a decrease of the Sobolev exponent is necessary, as we have shown in the companion paper (Chae et al. in Illposedness via degenerate dispersion for generalized surface quasi-geostrophic equations with singular velocities,arXiv:2308.02120) that the problem is strongly ill-posed in any fixed Sobolev spaces. The time dependence of the Sobolev exponent can be removed when there is a dissipation term strictly stronger than log. These results improve wellposedness statements by Chae et al. (Comm Pure Appl Math 65(8):1037–1066, 2012). This well-posedness result can be applied to describe the long-time dynamics of the$$\delta $$ δ -SQG equations, defined by$$\begin{aligned} \begin{aligned} \partial _t \theta + \nabla ^\perp (10+(-\Delta )^{\frac{1}{2}})^{-\delta }\theta \cdot \nabla \theta = 0, \end{aligned} \end{aligned}$$ t θ + ( 10 + ( - Δ ) 1 2 ) - δ θ · θ = 0 , for all sufficiently small$$\delta >0$$ δ > 0 depending on the size of the initial data. For the same range of$$\delta $$ δ , we establish global well-posedness of smooth solutions to the dissipative SQG equations.  more » « less
Award ID(s):
1945615
PAR ID:
10586487
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
Springer
Date Published:
Journal Name:
Communications in Mathematical Physics
Volume:
406
Issue:
4
ISSN:
0010-3616
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract For the partition functionp(n), Ramanujan proved the striking identities$$\begin{aligned} \begin{aligned} \mathcal {P}_5(q):=\sum _{n\ge 0} p(5n+4)q^n&=5\prod _{n\ge 1} \frac{\left( q^5;q^5\right) _{\infty }^5}{(q;q)_{\infty }^6},\\ \mathcal {P}_{7}(q):=\sum _{n\ge 0} p(7n+5)q^n&=7\prod _{n\ge 1}\frac{\left( q^7;q^7\right) _{\infty }^3}{(q;q)_{\infty }^4}+49q \prod _{n\ge 1}\frac{\left( q^7;q^7\right) _{\infty }^7}{(q;q)_{\infty }^8}, \end{aligned} \end{aligned}$$ P 5 ( q ) : = n 0 p ( 5 n + 4 ) q n = 5 n 1 q 5 ; q 5 5 ( q ; q ) 6 , P 7 ( q ) : = n 0 p ( 7 n + 5 ) q n = 7 n 1 q 7 ; q 7 3 ( q ; q ) 4 + 49 q n 1 q 7 ; q 7 7 ( q ; q ) 8 , where$$(q;q)_{\infty }:=\prod _{n\ge 1}(1-q^n).$$ ( q ; q ) : = n 1 ( 1 - q n ) . As these identities imply his celebrated congruences modulo 5 and 7, it is natural to seek, for primes$$\ell \ge 5,$$ 5 , closed form expressions of the power series$$ \mathcal {P}_{\ell }(q):=\sum _{n\ge 0} p(\ell n-\delta _{\ell })q^n\pmod {\ell }, $$ P ( q ) : = n 0 p ( n - δ ) q n ( mod ) , where$$\delta _{\ell }:=\frac{\ell ^2-1}{24}.$$ δ : = 2 - 1 24 . In this paper, we prove that$$ \mathcal {P}_{\ell }(q)\equiv c_{\ell } \dfrac{\mathcal {T}_{\ell }(q)}{\left( q^\ell ; q^\ell \right) _\infty } \pmod {\ell }, $$ P ( q ) c T ( q ) q ; q ( mod ) , where$$c_{\ell }\in \mathbb Z$$ c Z is explicit and$${\mathcal {T}}_{\ell }(q)$$ T ( q ) is the generating function for the Hecke traces of$$\ell $$ -ramified values of special Dirichlet series for weight$$\ell -1$$ - 1 cusp forms on$$\textrm{SL}_2(\mathbb Z)$$ SL 2 ( Z ) . This is a new proof of Ramanujan’s congruences modulo 5, 7, and 11, as there are no nontrivial cusp forms of weight 4, 6, and 10. 
    more » « less
  2. Abstract We consider the following stochastic heat equation$$\begin{aligned} \partial _t u(t,x) = \tfrac{1}{2} \partial ^2_x u(t,x) + b(u(t,x)) + \sigma (u(t,x)) {\dot{W}}(t,x), \end{aligned}$$ t u ( t , x ) = 1 2 x 2 u ( t , x ) + b ( u ( t , x ) ) + σ ( u ( t , x ) ) W ˙ ( t , x ) , defined for$$(t,x)\in (0,\infty )\times {\mathbb {R}}$$ ( t , x ) ( 0 , ) × R , where$${\dot{W}}$$ W ˙ denotes space-time white noise. The function$$\sigma $$ σ is assumed to be positive, bounded, globally Lipschitz, and bounded uniformly away from the origin, and the functionbis assumed to be positive, locally Lipschitz and nondecreasing. We prove that the Osgood condition$$\begin{aligned} \int _1^\infty \frac{\textrm{d}y}{b(y)}<\infty \end{aligned}$$ 1 d y b ( y ) < implies that the solution almost surely blows up everywhere and instantaneously, In other words, the Osgood condition ensures that$$\textrm{P}\{ u(t,x)=\infty \quad \hbox { for all } t>0 \hbox { and } x\in {\mathbb {R}}\}=1.$$ P { u ( t , x ) = for all t > 0 and x R } = 1 . The main ingredients of the proof involve a hitting-time bound for a class of differential inequalities (Remark 3.3), and the study of the spatial growth of stochastic convolutions using techniques from the Malliavin calculus and the Poincaré inequalities that were developed in Chen et al. (Electron J Probab 26:1–37, 2021, J Funct Anal 282(2):109290, 2022). 
    more » « less
  3. Abstract This article revisits the problem of global well-posedness for the generalized parabolic Anderson model on$$\mathbb {R}^+\times \mathbb {T}^2$$ R + × T 2 within the framework of paracontrolled calculus (Gubinelli et al. in Forum Math, 2015). The model is given by the equation:$$\begin{aligned} (\partial _t-\Delta ) u=F(u)\eta \end{aligned}$$ ( t - Δ ) u = F ( u ) η where$$\eta \in C^{-1-\kappa }$$ η C - 1 - κ with$$1/6>\kappa >0$$ 1 / 6 > κ > 0 , and$$F\in C_b^2(\mathbb {R})$$ F C b 2 ( R ) . Assume that$$\eta \in C^{-1-\kappa }$$ η C - 1 - κ and can be lifted to enhanced noise, we derive new a priori bounds. The key idea follows from the recent work by Chandra et al. (A priori bounds for 2-d generalised Parabolic Anderson Model,,2024), to represent the leading error term as a transport type term, and our techniques encompass the paracontrolled calculus, the maximum principle, and the localization approach (i.e. high-low frequency argument). 
    more » « less
  4. Abstract We prove that if a closed Riemannian manifold$$(M^n,g)$$ ( M n , g ) has finite fundamental group and satisfies the curvature condition$$\begin{aligned} R_{1313} +R_{1414} +R_{2323} + R_{2424} > \tfrac{1}{2}\left( R_{1212} + R_{3434}\right) \end{aligned}$$ R 1313 + R 1414 + R 2323 + R 2424 > 1 2 R 1212 + R 3434 for all orthonormal four-frame$$\{e_1, e_2, e_3, e_4\} \subset T_pM$$ { e 1 , e 2 , e 3 , e 4 } T p M , then the universal cover ofMis homeomorphic to then-sphere. This generalizes the famous sphere theorem under the stronger condition of$$\frac{1}{4}$$ 1 4 -pinched sectional curvature. As an application, we provide a partial answer to a pinching problem proposed by Yau in 1990. 
    more » « less
  5. A<sc>bstract</sc> Using data samples of 983.0 fb−1and 427.9 fb−1accumulated with the Belle and Belle II detectors operating at the KEKB and SuperKEKB asymmetric-energye+ecolliders, singly Cabibbo-suppressed decays$$ {\Xi}_c^{+}\to p{K}_S^0 $$ Ξ c + p K S 0 ,$$ {\Xi}_c^{+}\to \Lambda {\pi}^{+} $$ Ξ c + Λ π + , and$$ {\Xi}_c^{+}\to {\Sigma}^0{\pi}^{+} $$ Ξ c + Σ 0 π + are observed for the first time. The ratios of branching fractions of$$ {\Xi}_c^{+}\to p{K}_S^0 $$ Ξ c + p K S 0 ,$$ {\Xi}_c^{+}\to \Lambda {\pi}^{+} $$ Ξ c + Λ π + , and$$ {\Xi}_c^{+}\to {\Sigma}^0{\pi}^{+} $$ Ξ c + Σ 0 π + relative to that of$$ {\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+} $$ Ξ c + Ξ π + π + are measured to be$$ {\displaystyle \begin{array}{c}\frac{\mathcal{B}\left({\Xi}_c^{+}\to p{K}_S^0\right)}{\mathcal{B}\left({\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+}\right)}=\left(2.47\pm 0.16\pm 0.07\right)\%,\\ {}\frac{\mathcal{B}\left({\Xi}_c^{+}\to \Lambda {\pi}^{+}\right)}{\mathcal{B}\left({\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+}\right)}=\left(1.56\pm 0.14\pm 0.09\right)\%,\\ {}\frac{\mathcal{B}\left({\Xi}_c^{+}\to {\Sigma}^0{\pi}^{+}\right)}{\mathcal{B}\left({\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+}\right)}=\left(4.13\pm 0.26\pm 0.22\right)\%.\end{array}} $$ B Ξ c + p K S 0 B Ξ c + Ξ π + π + = 2.47 ± 0.16 ± 0.07 % , B Ξ c + Λ π + B Ξ c + Ξ π + π + = 1.56 ± 0.14 ± 0.09 % , B Ξ c + Σ 0 π + B Ξ c + Ξ π + π + = 4.13 ± 0.26 ± 0.22 % . Multiplying these values by the branching fraction of the normalization channel,$$ \mathcal{B}\left({\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+}\right)=\left(2.9\pm 1.3\right)\% $$ B Ξ c + Ξ π + π + = 2.9 ± 1.3 % , the absolute branching fractions are determined to be$$ {\displaystyle \begin{array}{c}\mathcal{B}\left({\Xi}_c^{+}\to p{K}_S^0\right)=\left(7.16\pm 0.46\pm 0.20\pm 3.21\right)\times {10}^{-4},\\ {}\mathcal{B}\left({\Xi}_c^{+}\to \Lambda {\pi}^{+}\right)=\left(4.52\pm 0.41\pm 0.26\pm 2.03\right)\times {10}^{-4},\\ {}\mathcal{B}\left({\Xi}_c^{+}\to {\Sigma}^0{\pi}^{+}\right)=\left(1.20\pm 0.08\pm 0.07\pm 0.54\right)\times {10}^{-3}.\end{array}} $$ B Ξ c + p K S 0 = 7.16 ± 0.46 ± 0.20 ± 3.21 × 10 4 , B Ξ c + Λ π + = 4.52 ± 0.41 ± 0.26 ± 2.03 × 10 4 , B Ξ c + Σ 0 π + = 1.20 ± 0.08 ± 0.07 ± 0.54 × 10 3 . The first and second uncertainties above are statistical and systematic, respectively, while the third ones arise from the uncertainty in$$ \mathcal{B}\left({\Xi}_c^{+}\to {\Xi}^{-}{\pi}^{+}{\pi}^{+}\right) $$ B Ξ c + Ξ π + π +
    more » « less