Abstract:We prove the $L_1$ in time and $B^{s+1}_{q,1}\times B^s_{q,1}$ in space maximal regularity for the Stokes equations in the viscous compressible fluid flows in domains in the $N$ dimensional Euclidean space $R^N$ whose boundary is $C^3$ compact hypersurface. As an application, the local well-posedness is proved for the compressible Navier-Stokes equations with Dirichlet condition. Danchin and Tolksdorf have studied the same problem in a bounded domains. Since they used Da-Prato and Grisvard theory directly, they need the assumption that the domain is compact. We imvestigate a new method to obtain $L_1$ maximal regularity which is based on real interpolation theories and thanks to this method, we can remove the compactness assumptions in the study due to Danchin and Torksdorf. Our method can be applied to obtain $L_1$ in time maximal regularity theorem for the initial boundary value problem of the system of parabolic or hyperbolic-parabolic equations with non-homogeneous boundary conditions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the maximum regularity in \(L^1\) - time \(B^s_{q,1}\) spaces of compressible viscous fluids in general domains. Specifically, the author focuses on the maximum regularity of the Stokes equations obtained through linearization, which are derived from the Navier - Stokes equations that describe the motion of compressible viscous fluids. The main tool is to derive this maximum regularity based on the spectral analysis of the corresponding Stokes operator.
The main contribution of the paper lies in proving the local well - posedness of the Navier - Stokes equations in uniform \(C^3\) domains with non - slip boundary conditions, where the boundaries of the domains are compact. This extends the results of Danchin - Tolksdorf [10], which assumes that the domains are bounded. This paper considers not only bounded domains but also exterior domains, and the method is based on the spectral analysis of the Lamé equations, while the method in [10] is an extension of the results of Da Prato - Grisvard [11].
In addition, the paper also discusses why the \(L^1\) method is important. By using the Lagrange transformation, it is necessary to ensure that the Jacobian determinant of the transformation \(I+\int_0^t\nabla u(y,\tau)d\tau\) is invertible, which requires controlling \(\int_0^t\nabla u(y,\tau)d\tau\) in an appropriate norm. In particular, it is necessary to find a small constant \(c > 0\) such that \(\left\|\int_0^t\nabla u(y,\tau)d\tau\right\|_{L^\infty}\leq c\) holds to ensure that the Lagrange transformation is invertible.
From the perspective of time traces, if the velocity field \(u\) belongs to the maximum - regularity class \(L^p((0,T),W^{2}_q(\Omega)^N)\cap W^{1}_p((0,T),L^q(\Omega)^N)\), then \(u|_{t = 0}\in B^{2(1 - 1/p)}_{q,p}(\Omega)^N\). Therefore, when \(p = 1\), the regularity of the initial data is minimal. From these points of view, it is worthwhile to study the \(L^1\) maximum - regularity theorem, especially when using the \(B^s_{q,1}(\Omega)\) norm in the space, where \(-1+N/q\leq s < 1/q\) and \(N - 1 < q < 2N\). These constraints on \(q\) and \(s\) are inevitable and mainly rely on the function product estimates obtained by Abidi and Paicu [1].