arXiv subjects

Zongyuan Li

Publications and source records attributed to Zongyuan Li.

26 records · Page 2Linked to original sources

arXiv2021

Optimal regularity of mixed Dirichlet-conormal boundary value problems for parabolic operators

We obtain the regularity of solutions in Sobolev spaces for the mixed Dirichlet-conormal problem for parabolic operators in cylindrical domains with time-dependent separations, which is the first of its kind. Assuming the boundary of the domain to be Reifenberg-flat and the separation to be locally sufficiently close to a Lipschitz function of $m$ variables, where $m=0,\ldots,d-2$, with respect to the Hausdorff distance, we prove the unique solvability for $p\in (2(m+2/(m+3),2(m+2)/(m+1)))$. In the case when $m=0$, the range $p\in(4/3,4)$ is optimal in view of the known results for Laplace equations.

math.AP↗

arXiv2021

The Dirichlet-conormal problem for the heat equation with inhomogeneous boundary conditions

We consider the mixed Dirichlet-conormal problem for the heat equation on cylindrical domains with a bounded and Lipschitz base $Ω\subset \mathbb{R}^d$ and a time-dependent separation $Λ$. Under certain mild regularity assumptions on $Λ$, we show that for any $q>1$ sufficiently close to 1, the mixed problem in $L_q$ is solvable. In other words, for any given Dirichlet data in the parabolic Riesz potential space $\mathcal{L}_q^1$ and the Neumann data in $L_q$, there is a unique solution and the non-tangential maximal function of its gradient is in $L_q$ on the lateral boundary of the domain. When $q=1$, a similar result is shown when the data is in the Hardy space. Under the additional condition that the boundary of the domain $Ω$ is Reifenberg-flat and the separation is locally sufficiently close to a Lipschitz function of $m$ variables, where $m=0,\ldots,d-2$, with respect to the Hausdorff distance, we also prove the unique solvability result for any $q\in(1,(m+2)/(m+1))$. In particular, when $m=0$, i.e., $Λ$ is Reifenberg-flat of co-dimension $2$, we derive the $L_q$ solvability in the optimal range $q\in (1,2)$. For the Laplace equation, such results were established in [6, 5, 7] and [14].

math.AP↗

arXiv2020

The conormal and Robin boundary value problems in nonsmooth domains satisfying a measure condition

We consider elliptic equations and systems in divergence form with the conormal or the Robin boundary conditions, with small BMO (bounded mean oscillation) or variably partially small BMO coefficients. We propose a new class of domains which are locally close to a half space (or convex domains) with respect to the Lebesgue measure in the system (or scalar, respectively) case, and obtain the $W^1_p$ estimate for the conormal problem with the homogeneous boundary condition. Such condition is weaker than the Reifenberg flatness condition, for which the closeness is measured in terms of the Hausdorff distance, and the semi-convexity condition. For the conormal problem with inhomogeneous boundary conditions, we also assume that the domain is Lipschitz. By using these results, we obtain the $W^1_p$ and weighted $W^1_p$ estimates for the Robin problem in these domains.

math.AP↗

arXiv2020

The Dirichlet-conormal problem with homogeneous and inhomogeneous boundary conditions

We consider the mixed Dirichlet-conormal problem on irregular domains in $\mathbb{R}^d$. Two types of regularity results will be discussed: the $W^{1,p}$ regularity and a non-tangential maximal function estimate. The domain is assumed to be Reifenberg-flat, and the interfacial boundary is either Reifenberg-flat of co-dimension $2$ or is locally sufficiently close to a Lipschitz function of $m$ variables, where $m=1,\ldots,d-2$. For the non-tangential maximal function estimate, we also require the domain to be Lipschitz.

math.AP↗

arXiv2019

Norm inflation for the Boussinesq system

We prove the norm inflation phenomena for the Boussinesq system on $\mathbb T^3$. For arbitrarily small initial data $(u_0,ρ_0)$ in the negative-order Besov spaces $\dot{B}^{-1}_{\infty, \infty} \times \dot{B}^{-1}_{\infty, \infty}$, the solution can become arbitrarily large in a short time. Such largeness can be detected in $ρ$ in Besov spaces of any negative order: $\dot{B}^{-s}_{\infty, \infty}$ for any $s>0$. Notice that our initial data space is scaling critical for $u$ and is scaling subcritical for $ρ$.

math.AP↗

arXiv2019

$C^2$ estimate for oblique derivative problem with mean Dini coefficients

We consider second-order elliptic equations in non-divergence form with oblique derivative boundary conditions. We show that any strong solutions to such problems are twice continuously differentiable up to the boundary provided that the mean oscillations of coefficients satisfy the Dini condition and the boundary is locally represented by a $C^1$ function whose first derivatives are Dini continuous. This improves a recent result in [6]. An extension to fully nonlinear elliptic equations is also presented.

math.AP↗

arXiv2019

Optimal regularity for a Dirichlet-conormal problem in Reifenberg flat domain

We study the divergence form second-order elliptic equations with mixed Dirichlet-conormal boundary conditions. The unique $W^{1,p}$ solvability is obtained with $p$ being in the optimal range $(4/3,4)$. The leading coefficients are assumed to have small mean oscillations and the boundary of domain is Reifenberg flat. We also assume that the two boundary conditions are separated by some Reifenberg flat set of co-dimension $2$ on the boundary.

math.AP↗

arXiv2018

On the $W^2_p$ Estimate for Oblique Derivative Problem in Lipschitz Domains

The aim of this paper is to establish $W^2_p$ estimate for non-divergence form second-order elliptic equations with the oblique derivative boundary condition in domains with small Lipschitz constants. Our result generalizes those in [14, 15], which work for $C^{1,α}$ domains with $α> 1-1/p$. As an application, we also obtain a solvability result. An extension to fully nonlinear elliptic equations with the oblique derivative boundary condition is also discussed.

math.AP↗