Convergence of the one-dimensional Cahn-Hilliard equation
We consider the Cahn-Hilliard equation in one space dimension with scaling parameter epsilon, i.e., u(t) = (W'(u) - epsilon(2)u(xx))(xx), where W is a nonconvex potential. In the limit epsilon down arrow 0, under the assumption that the initial data are energetically well prepared, we show the convergence to a Stefan problem. The proof is based on variational methods and exploits the gradient flow structure of the Cahn-Hilliard equation.
We consider the regularized 3D Navier-Stokes-Cahn-Hilliard equations describing isothermal flows of viscous compressible two-component fluids with interphase effects. We construct for them a new energy dissipative finite-difference discretization in space, i.e., with the non-increasing total energy in time. This property is preserved in the absence of a regularization. In addition, the discretization is well-balanced for equilibrium flows and the potential body force. The sought total density, mixture velocity and concentration of one of the components are defined at nodes of one and the same grid. The results of computer simulation of several 2D test problems are presented. They demonstrate advantages of the constructed discretization including the absence of the so-called parasitic currents.
A study of a regularized quasi-hydrodynamic system of equations for the two-component isothermal mixture with the diffuse interface is accomplished. Under general assumptions on the Helmholtz free energy of the mixture, the energy balance equation with non-positive energy production and its corollary, the law of non-increasing total energy, are derived. The necessary and sufficient conditions for the linearized stability of constant solutions are derived (in a particular case). A finite-difference approximation of the problem is constructed in the 2D periodic case for a non-uniform rectangular mesh. The results of numerical experiments are presented which demonstrate the qualitative correctness of the model and applicability of the linearized stability criterion in the original nonlinear statement.
A numerical algorithm is proposed for modeling two-component viscous compressible isothermal flows with surface effects in 3D domains of complex shape with a voxel representation of geometry. The regularized system of Navier-Stokes-Kahn-Hillard equations is used as a basic mathematical model. Modeling of the drop spreading on a flat substrate and the displacement of one liquid by another in the pore space of a real rock sample are carried out. The computational results demonstrate the applicability and good operability of the exploited system of equations, the corresponding explicit finite-difference scheme and algorithms for its implementation for the numerical solution of the class of problems under consideration.
Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.
Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.