No Arabic abstract
We consider Stokes systems in non-divergence form with measurable coefficients and Lions-type boundary conditions. We show that for the Lions conditions, in contrast to the Dirichlet boundary conditions, local boundary mixed-norm $L_{s,q}$-estimates of the spatial second-order derivatives of solutions hold, assuming the smallness of the mean oscillations of the coefficients with respect to the spatial variables in small cylinders. In the un-mixed norm case with $s=q=2$, the result is still new and provides local boundary Caccioppoli-type estimates, which are important in applications. The main challenges in the work arise from the lack of regularity of the pressure and time derivatives of the solutions and from interaction of the boundary with the nonlocal structure of the system. To overcome these difficulties, our approach relies heavily on several newly developed regularity estimates for parabolic equations with coefficients that are only measurable in the time variable and in one of the spatial variables.
We prove the mixed-norm Sobolev estimates for solutions to both divergence and non-divergence form time-dependent Stokes systems with unbounded measurable coefficients having small mean oscillations with respect to the spatial variable in small cylinders. As a special case, our results imply Caccioppolis type estimates for the Stokes systems with variable coefficients. A new $epsilon$-regularity criterion for Leray-Hopf weak solutions of Navier-Stokes equations is also obtained as a consequence of our regularity results, which in turn implies some borderline cases of the well-known Serrins regularity criterion.
This paper is a comprehensive study of $L_p$ estimates for time fractional wave equations of order $alpha in (1,2)$ in the whole space, a half space, or a cylindrical domain. We obtain weighted mixed-norm estimates and solvability of the equations in both non-divergence form and divergence form when the leading coefficients have small mean oscillation in small cylinders.
This work studies the system of $3D$ stationary Navier-Stokes equations. Several Liouville type theorems are established for solutions in mixed-norm Lebesgue spaces and weighted mixed-norm Lebesgue spaces. In particular, we show that, under some sufficient conditions in mixed-norm Lebesgue spaces, solutions of the stationary Navier-Stokes equations are identically zero. This result covers the important case that solutions may decay to zero with different rates in different spatial directions, and some these rates could be significantly slow. In the un-mixed norm case, the result recovers available results. With some additional geometric assumptions on the supports of solutions, this work also provides several other important Liouville type theorems for solutions in weighted mixed-norm Lebesgue spaces. To prove the results, we establish some new results on mixed-norm and weighted mixed-norm estimates for Navier-Stokes equations. All of these results are new and could be useful in other studies.
We prove the unique solvability of solutions in Sobolev spaces to the stationary Stokes system on a bounded Reifenberg flat domain when the coefficients are partially BMO functions, i.e., locally they are merely measurable in one direction and have small mean oscillations in the other directions. Using this result, we establish the unique solvability in Muckenhoupt type weighted Sobolev spaces for the system with partially BMO coefficients on a Reifenberg flat domain. We also present weighted a priori $L_q$-estimates for the system when the domain is the whole Euclidean space or a half space.
We establish the existence and the pointwise bound of the fundamental solution for the stationary Stokes system with measurable coefficients in the whole space $mathbb{R}^d$, $d ge 3$, under the assumption that weak solutions of the system are locally Holder continuous. We also discuss the existence and the pointwise bound of the Green function for the Stokes system with measurable coefficients on $Omega$, where $Omega$ is an unbounded domain such that the divergence equation is solvable. Such a domain includes, for example, half space and an exterior domain.