Searcharxiv⌕ Search

arXiv subjects

Qianyun Miao

Publications and source records attributed to Qianyun Miao.

14 recordsLinked to original sources

The $L^p$ Neumann problem for the Stokes system in nonsmooth domains

We study the $L^p$ Neumann problem for the Stokes system on bounded Lipschitz domains in $\mathbb R^n$ with $n\ge 2$. Our main contribution is to introduce a nonlinear gradient quantity -- namely, the linear gradient weighted by a suitable power of the pair $(\nabla u,ϕ)$ -- in place of the standard linear gradient used in previous work by Geng and Shen (2025). This new approach allows us to establish a global second-order estimate, which in turn yields an improved reverse Hölder inequality and extends the known range of solvability for convex domains, particularly improving the upper bound for $n\ge 3$. Beyond the convex setting, our method also applies to semi-convex domains. Moreover, for more general Lipschitz domains, we prove solvability under a smallness condition on the second fundamental form of the boundary, assuming the boundary has second-order derivatives in the weak-type Lorentz spaces $W^2L^{n-1,\infty}$ for $n\ge 3$, or $W^2L^{1,\infty}\log L$ for $n=2$. In particular, our results cover all $W^{2,q}$ domains with $q>n-1$.

math.AP↗

Global regularity of temperature patches for the 3D non-diffusive Boussinesq system with large Prandtl number

So far the global well-posedness of strong solutions for the 3D non-diffusive Boussinesq system with large initial data remains a remarkable open problem. In this paper, we solve this problem in the regime of large Prandtl number. More precisely, we prove the global existence and uniqueness of strong solution for this 3D Boussinesq system associated with initial data $(u_0,θ_0)\in H^{\frac{1}{2}}(\mathbb{R}^3) \times (L^1\cap L^s(\mathbb{R}^3))$ with $s>3$, provided that the Prandtl number is sufficiently large (the threshold depends only on a scale-invariant norm of $(u_0,θ_0)$); moreover, for the non-constant temperature patch initial data, we establish the global persistence of $C^{1,γ}$, $W^{2,\infty}$, and $C^{2,γ}$ ($0<γ<1$) boundary regularity of the evolved temperature patch, with corresponding estimates uniform in the large Prandtl number regime. Furthermore, we rigorously justify the limit as the Prandtl number tends to infinity and show that the patch solution of the 3D Boussinesq system converges to the unique patch solution of the 3D Stokes-transport system, and that the patch boundary regularity in $C^{1,γ}$, $W^{2,\infty}$, and $C^{2,γ}$ is preserved globally in time. In particular, our result for the 3D Stokes-transport system can be viewed as the 3D analogue of the main result in Grayer II [ARMA 2023] concerning 2D Stokes-transport system.

math.AP↗

A nonlinear Calderón-Zygmund $ L^2$-theory for the Dirichlet problem involving $ -|Du|^γΔ^N_p u=f$

We establish a nonlinear Calderón-Zygmund $L^2$-theory to the Dirichlet problem $$-|Du|^γΔ^N_p u=f\in L^2(Ω)\quad {\rm in}\quad Ω; \quad u=0 \ \mbox{on $\partialΩ$} $$ for $n\ge2$, $ p>1$ and a large range of $γ>-1$, in particular, for all $p>1$ and all $ γ>-1$ when $n=2$. Here $Ω\subset \mathbb{R}^n$ is a bounded convex domain, or a bounded Lipschitz domain whose boundary has small weak second fundamental form in the sense of Cianchi-Maz'ya (2018). The proof relies on an extension of an Miranda-Talenti \& Cianchi-Maz'ya type inequality, that is, for any $v\in C^\infty_0(Ω)$ in any bounded smooth domain $Ω$, $\|D[(|Dv|^2+ε)^{\fracγ2}Dv]\|_{L^2(Ω)}$ is bounded via $\|(|Dv|^2+ε)^{\fracγ2} Δ^N_{p,ε}v \|_{L^2(Ω)}$, where $Δ^N_{p,ε}v$ is the $ε$-regularization of normalized $p$-Laplacian. Our results extend the well-known Calderón-Zygmund $L^2$-estimate for the Poisson equation, a nonlinear global second order Sobolev estimate for inhomogeneous $p$-Laplace equation by Cianchi-Maz'ya (2018), and a local $W^{2,2}$-estimate for inhomogeneous normalized $p$-Laplace equation by Attouchi-Ruosteenoja (2018).

math.AP↗

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

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.

math.AP↗

Global well-posedness and refined regularity criterion for the uni-directional Euler-alignment system

We investigate global solutions to the Euler-alignment system in $d$ dimensions with unidirectional flows and strongly singular communication protocols $ϕ(x) = |x|^{-(d+α)}$ for $α\in (0,2)$. Our paper establishes global regularity results in both the subcritical regime $1<α<2$ and the critical regime $α=1$. Notably, when $α=1$, the system exhibits a critical scaling similar to the critical quasi-geostrophic equation. To achieve global well-posedness, we employ a novel method based on propagating the modulus of continuity. Our approach introduces the concept of simultaneously propagating multiple moduli of continuity, which allows us to effectively handle the system of two equations with critical scaling. Additionally, we improve the regularity criteria for solutions to this system in the supercritical regime $0<α<1$.

math.AP↗

A global second order Sobolev regularity for $p$-Laplacian type equations with variable coefficients in bounded domains

Let $Ω\subset R^n$ be a bounded convex domain with $n\ge2$. Suppose that $A$ is uniformly elliptic and belongs to $W^{1,n}$ when $n\ge 3$ or $W^{1,q}$ for some $q>2$ when $n=2$. For $1<p<\infty$, we build up a global second order regularity estimate $$\|D[|Du|^{p-2} Du]\|_{L^2(Ω)}+\|D[ |\sqrt{A}Du|^{p-2} A Du]\|_{L^2(Ω)} \le C \|f\|_{L^2(Ω)} $$ for inhomogeneous $p$-Laplace type equation \begin{equation} -\mathrm{div}\big(\langle A Du,Du\rangle ^{\frac{p-2}2} A Du\big)=f \quad\rm{in }\ Ω\mbox{ with Dirichlet/Neumann $0$-boundary.} \end{equation} Similar result was also built up for certain bounded Lipschitz domain whose boundary is weakly second order differentiable and satisfies some smallness assumptions.

math.AP↗

Global well-posedness and asymptotic behavior in critical spaces for the compressible Euler system with velocity alignment

In this paper, we study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We prove the existence and uniqueness of global solutions in critical Besov spaces to the considered system with small initial data. The local-in-time solvability is also addressed. Moreover, we show the large-time asymptotic behavior and optimal decay estimates of the solutions as $t\to \infty$.

math.AP↗

Global well-posedness for 2D fractional inhomogeneous Navier-Stokes equations with rough density

The paper concerns with the global well-posedness issue of the 2D incompressible inhomogeneous Navier-Stokes (INS) equations with fractional dissipation and rough density. We first establish the $L^q_t(L^p)$-maximal regularity estimate for the generalized Stokes system with fractional dissipation, and then we employ it to obtain the global existence of solution for the 2D fractional INS equations with large velocity field, provided that the $L^2\cap L^\infty$-norm of density minus constant 1 is small enough. Moreover, by additionally assuming that the density minus 1 is sufficiently small in the norm of some multiplier spaces, we prove the uniqueness of the constructed solution by using the Lagrangian coordinates approach. We also consider the density patch problem for the 2D fractional INS equations, and show the global persistence of $C^{1,γ}$-regularity of the density patch boundary when the piecewise jump of density is small enough.

math.AP↗

Global regularity of non-diffusive temperature fronts for the 2D viscous Boussinesq system

In this paper we address the temperature patch problem of the 2D viscous Boussinesq system without heat diffusion term. The temperature satisfies the transport equation and the initial data of temperature is given in the form of non-constant patch, usually called the temperature front initial data. Introducing a good unknown and applying the method of striated estimates, we prove that our partially viscous Boussinesq system admits a unique global regular solution and the initial $C^{k,γ}$ and $W^{2,\infty}$ regularity of the temperature front boundary with $k\in \mathbb{Z}^+ = \{1,2,\cdots\}$ and $γ\in (0,1)$ will be preserved for all the time. In particular, this naturally extends the previous work by Danchin $\&$ Zhang (2017) and Gancedo $\&$ García-Juárez (2017). In the proof of the persistence result of higher boundary regularity, we introduce the striated type Besov space $\mathcal{B}^{s,\ell}_{p,r,W}(\mathbb{R}^d)$ and establish a series of refined striated estimates in such a function space, which may have its own interest.

math.AP↗

Global regularity for a 1D Euler-alignment system with misalignment

We study one-dimensional Eulerian dynamics with nonlocal alignment interactions, featuring strong short-range alignment, and long-range misalignment. Compared with the well-studied Euler-alignment system, the presence of the misalignment brings different behaviors of the solutions, including the possible creation of vacuum at infinite time, which destabilizes the solutions. We show that with a strongly singular short-range alignment interaction, the solution is globally regular, despite the effect of misalignment.

math.AP↗

The Defocusing Energy-critical Klein-Gordon-Hartree Equation

In this paper, we study the scattering theory for the defocusing energy-critical Klein-Gordon equation with a cubic convolution $u_{tt}-Δu+u+(|x|^{-4}\ast|u|^2)u=0$ in the spatial dimension $d \geq 5$. We utilize the strategy in [S. Ibrahim, N. Masmoudi and K. Nakanishi, Scattering threshold for the focusing nonlinear Klein-Gordon equation. Analysis and PDE., 4 (2011), 405-460.] derived from concentration compactness ideas to show that the proof of the global well-posedness and scattering is reduced to disprove the existence of the soliton-like solution. Employing technique from [B. Pausader, Scattering for the Beam Equation in Low Dimensions. Indiana Univ. Math. J., 59 (2010), 791-822.], we consider a virial-type identity in the direction orthogonal to the momentum vector so as to exclude such solution.

math.AP↗

A quantative Sobolev regularity for absolute minimizers involving Hamiltonian $H(p)\in C^0 (\mathbb{R}^2)$ in plane

Suppose that $H \in C^0 (\mathbb{R}^2)$ satisfies \begin{enumerate} \item[(H1)] $H$ is locally strongly convex and locally strongly concave in $\rr^2$, \item[(H2)] $H(0)=\min_{p\in\rr^2}H(p)=0$. \end{enumerate} Let $Ω\subset \rr^2$ be any domain. For any $u$ absolute minimizer for $H$ in $Ω$, or if $H\in C^1(\rr^2)$ additionally, for any viscosity solution to the Aronsson equation $$\mathscr A_H[u]=\sum_{i,j=1}^2 H_{p_i}(Du) H_{p_j}(Du)u_{x_ix_j}=0 \quad \mbox{ in $Ω$,}$$ the following are proven in this paper: \begin{enumerate} \item[(i)] We have $[H(Du)]^α\in W^{1,2}_\loc(Ω)$ whenever $α>1/2-τ_H(0)$; some quantative upper bounds are also given. Here $τ_H(0)=1/2$ when $H\in C^2(\rr^2)$, and $0< τ_H(0)\le 1/2$ in general. \item[(ii)] If $H\in C^1(\rr^2)$, then the distributional determinant $-{\rm det}D^2u\,dx$ is a nonnegative Radon measure in $Ω$ and enjoys some quantative lower/upper bounds. \item[(iii)] If $H\in C^1(\rr^2)$, then for all $α>\frac12-τ_H(0)$, we have $$\mbox{$\langle D [H(Du )]^α,D_p H(Du )\rangle=0 $ almost everywhere in $Ω$}.$$ \end{enumerate}

math.AP↗

Uniqueness of absolute minimizers for $L^\fz$-functionals involving Hamiltonians $H(x,p)$

For a bounded domain $U\subset\rn$, consider the $L^\fz$-functional involving a nonnegative Hamilton function $H:\overline U\times\rn\to [0,\fz)$. In this paper, we will establish the uniqueness of absolute minimizers $u\in W^{1,\fz}_\loc(U)\cap C(\overline U)$ for $H$, under the Dirichlet boundary value $g\in C(\partial U)$, provided \noindent (A1) $H$ is lower semicontinuous in $\overline U\times\rn$, and $H(x,\cdot)$ is convex for any $x\in\overline U$. \noindent (A2) $\displaystyle H(x,0)=\min_{p\in \rn}H(x,p)=0$ for any $ x\in \overline U$, and $\displaystyle\bigcup_{x\in \overline U}\big\{p: H(x,p)=0\big\}$ is contained in a hyperplane of $\rn$. \noindent (A3) For any $\lz>0$, there exist $\displaystyle 0 0\ \mbox{and}\ x\in \overline U.$$ This generalizes the uniqueness theorem by \cite{j93, jwy, acjs} and \cite{ksz} to a large class of Hamiltonian functions $H(x,p)$ with $x$-dependence. As a corollary, we confirm an open question on the uniqueness of absolute minimizers posed by {\cite{jwy}}. The proofs rely on geometric structure of the action function $\mathcal L_t(x,y)$ induced by $H$, and the identification of the absolute subminimality of $u$ with convexity of the Hamilton-Jacobi flow $t\mapsto T^tu(x)$

math.AP↗