In this paper, the shape problem of interface of bicomponent flows between two concentric rotating cylinders is investigated. With tensor analysis, the problem is reduced to an energy functional isoperimetric problem when neglecting the effects of the dissipative energy caused by viscosity. We derive the associated Euler-Lagrangian equation, which is a nonlinear elliptic boundary value problem of the second order. Moreover, by considering the effects of the dissipative energy, we propose another total energy functional to characterize the geometric shape of the interface, and obtain the corresponding Euler-Lagrangian equation, which is also a nonlinear elliptic boundary value problem of the second order. Thus, the problem of the geometric shape is converted into a nonlinear boundary value problem of the second order in both cases.
In this paper we prove that the initial-boundary value problem for the nonlinear evolution equation ut = △u ＋ λu - u^3 possesses a global attractor in Sobolev space H^k for all k≥0, which attracts any bounded domain of H^k（Ω） in the H^k-norm. This result is established by using an iteration technique and regularity estimates for linear semigroup of operator, which extends the classical result from the case k ∈ [0, 1] to the case k∈ [0, ∞）.
For some special flows, especially the potential flow in a plane, using the hodograph method has obvious advantages. Realistic flows have a stream surface, namely, a two-dimensional manifold, on which the velocity vector of the flow lies on its tangent space. By introducing a stream function and a potential function, we establish the hodo- graph method for potential flows on a surface using the tensor analysis. For the derived hodograph equation, we obtain a characteristic equation and its characteristic roots, from which we can classify the type of the second-order hodograph equation. Moreover, we give some examples for special surfaces.
In this paper, we prove that the 2D Navier-Stokes equations possess a global attractor in Hk（Ω,R2） for any k ≥ 1, which attracts any bounded set of Hk（Ω,R2） in the H^k-norm. The result is established by means of an iteration technique and regularity estimates for the linear semigroup of operator, together with a classical existence theorem of global attractor. This extends Ma, Wang and Zhong＇s conclusion.
