Boundary value problems for hyperbolic systems from fluid-mechanics and electromagnetics arising as the limit of singular perturbation

为了建立研究作为奇异摄动极限的双曲组边值问题的数学框架，通过对流体力学中出现的具体问题的考虑，我们得到了如下的数学结果：1)“带边界的区域中可压缩的Navier-Stokes方程初边值问题的零粘性极限”我们研究了Prandtl方程初边值问题的存在性定理，它是可压缩的Navier-Stokes方程渐近解的边界展开的第一项。将Fokker-Planck型方程作为线性化方程，给出了正则化后的估计。然而，人们也观察到，对于这个线性化问题，应该会出现“导数损失”的现象。因此，到目前为止，证明三维有界域上的三维N-S方程解的光滑性与涡度的关系是最困难的。我们给出了有界域上三维N-S方程解的一个新的先验估计，它揭示了涡度的最大范数控制解的光滑性。进一步，我们给出了有界域上的广义Biot-Savart定律和Laplace算子的Green‘s矩阵的估计，并将其用于证明上述新的先验估计。

For the purpose of building the mathematical framework to investigate the boundary value problems for hyperbolic systems as the limit of singular perturbation, we have shown the following mathematical results through the consideration of concrete problems appearing in the fluid-mechanics.1)."Vanishing viscosity limit for the initial boundary value problems of the compressible Navier-Stokes equations in a domain with the boundary"We study the existence theorem for the initial boundary value of the Prandtl equation which appears as the first term of the boundary expansion of asymptotic solution to the compressible Navier-Stokes equations. By taking the Fokker-Planck type equation as the linearized equation, we can show the estimate with the improvement in the order of regularity. However, it is also observed that there should occur the phenomenon of the "loss of derivatives" for this linearized problem. Hence it is so far most likely to be difficult to show the existence theorem for the Prandtl equation in the Sobolev spaces.2)."On the relation of the smoothness of the solutions of the 3-D Navier-Stokes equations in a bounded domain with the vorticity"We have shown a new a-priori estimate of the solutions to the 3-D Navier-Stokes equations in a bounded domain which reveals that the maximum norm of the vorticity controls the smoothness of the solutions. Further we presented a generalized Biot-Savart law on a bounded domain with the estimates of the Green's matrix of the Laplace operator, which was used in the proof of the new a-priori estimate stated above.