For the free surface problem of the highly subsonic heat-conducting inviscid flow in 2-D and 3-D, a priori estimates for geometric quantities of free surfaces, such as the second fundamental form and the injectivity radius of the normal exponential map, and the Sobolev norms of fluid variables are proved by investigating the coupling of the boundary geometry and the interior solutions. An interesting feature for the free surface problem studied in this paper is the loss of one more derivative than the problem of incompressible Euler equations for which a geometric approach was introduced by Christodoulou and Lindblad in [11]. Due to the loss of one more derivative and loss of symmetry of equations, the geometric approach in [11] needs to be substantially developed by exploring the interaction of large variation of temperature, heat-conduction, non-zero divergence of the fluid velocity and the evolution of free surfaces.

In this paper we prove global regularity for the full water-wave system in three dimensions for small data, under the influence of both gravity and surface tension. This problem presents essential difficulties which were absent in all of the earlier global regularity results for other water-wave models. To construct global solutions, we use a combination of energy estimates and matching dispersive estimates. There is a significant new difficulty in proving energy estimates in our problem, namely the combination of slow pointwise decay of solutions (no better than |t|−5/6) and the presence of a large, codimension-1, set of quadratic time-resonances. To deal with such a situation, we propose here a new mechanism, which exploits a non-degeneracy property of the time-resonant hypersurfaces and some special structure of the quadratic part of the non-linearity, connected to the conserved energy of the system. The dispersive estimates rely on analysis of the Duhamel formula in the Fourier space. The main contributions come from the set of space-time resonances, which is a large set of dimension 1. To control the corresponding bilinear interactions, we use harmonic analysis techniques, such as orthogonality arguments in the Fourier space and atomic decompositions of functions. Most importantly, we construct and use a refined norm which is well adapted to the geometry of the problem.

We present a simple proof on the formation of flocking in the F. Cucker and S. Smale system [Jpn. J. Math. (3) 2, No. 1, 197–227 (2007; Zbl 1166.92323)] based on the explicit construction of a Lyapunov functional. Our results also provide a unified condition on the initial states in which the exponential convergence to the flocking state will occur. For large particle systems, we give a rigorous justification for the mean-field limit from the many particle Cucker-Smale system to the Vlasov equation with flocking dissipation as the number of particles goes to infinity.

For periodic initial data with density allowed to vanish initially, we establish the global existence of strong and weak solutions to the two-dimensional barotropic compressible Navier–Stokes equations with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is λ =ρ^β with β>4/3. These results generalize and improve the previous ones due to Vaigant–Kazhikhov [Sib. Math. J. 36 (1995) 1283–1316] who required β>3. Moreover, we also prove that the densities for both the strong and weak solutions remain bounded from above independently of time. As a consequence, it is shown that both the strong and weak solutions converge to the equilibrium state as time tends to infinity.

The first part of this paper describes some important underlying themes in the mathematical theory of continuum mechanics that are distinct from formulating and analyzing governing equations. The main part of this paper is devoted to a survey of some concrete, conceptually simple, pretty problems that help illuminate the underlying themes. The paper concludes with a discussion of the crucial role of invariant constitutive equations in computation.