In this paper, we establish the local existence and uniqueness of multi-dimensional contact discontinuities for the ideal compressible magnetohydrodynamics (MHD) in Sobolev spaces, which are most typical interfacial waves for astrophysical plasmas and prototypical fundamental waves for hyperbolic systems of conservation laws. Such waves are characteristic discontinuities for which there is no flow across the discontinuity surface while the magnetic field crosses transversely, which lead to a two-phase free boundary problem where the pressure, velocity and magnetic field are continuous across the interface whereas the entropy and density may have jumps. To overcome the difficulties of possible nonlinear Rayleigh--Taylor instability and loss of derivatives, here we use crucially the Lagrangian formulation and the Cauchy formula (1882) for the magnetic field. This enables us to capture the boundary regularizing effect of the transversal magnetic field on the flow map, and on the other hand, it allows us to define a special good unknown of the magnetic field to get around the troublesome boundary integrals due to the transversality of the magnetic field. In particular, our result removes the additional assumption of the Rayleigh--Taylor sign condition required by Morando, Tarkhinin and Trebeschi (\emph{J. Differential Equations} \textbf{258} (2015), no. 7, 2531--2571; \emph{Arch. Ration. Mech. Anal.} \textbf{228} (2018), no. 2, 697--742) and holds for both 2D and 3D and hence gives a complete answer to the two open questions raised therein. Moreover, there is {\it no loss of derivatives} in our well-posedness theory. The solution is constructed as {\it the inviscid limit} of solutions to well-chosen nonlinear approximate problems for the two-phase compressible viscous non-resistive MHD.

Using the geometric Satake correspondence, the Mirković–Vilonen cycles in the affine Grasssmannian give bases for representations of a semisimple group G. We prove that these bases are “perfect”, i.e. compatible with the action of the Chevelley generators of the positive half of the Lie algebra g. We compute this action in terms of intersection multiplicities in the affine Grassmannian. We prove that these bases stitch together to a basis for the algebra C[N] of regular functions on the unipotent subgroup. We compute the multiplication in this MV basis using intersection multiplicities in the Beilinson–Drinfeld Grassmannian, thus proving a conjecture of Anderson. In the third part of the paper, we define a map from C[N] to a convolution algebra of measures on the dual of the Cartan subalgebra of g. We characterize this map using the universal centralizer space of G. We prove that the measure associated with an MV basis element equals the Duistermaat–Heckman measure of the corresponding MV cycle. This leads to a proof of a conjecture of Muthiah. Finally, we use the map to measures to compare the MV basis and Lusztig’s dual semicanonical basis. We formulate conjectures relating the algebraic invariants of preprojective algebra modules (which underlie the dual semicanonical basis) and geometric invariants of MV cycles. In the appendix, we use these ideas to prove that the MV basis and the dual semicanonical basis do not coincide in SL_6 .

No abstract uploaded!

Automatic hexahedral mesh generation plays a fundamental role in CAD/CAE fields, especially for IGA (isogeometric analysis). Recently, an automatic hex-mesh generation method has been proposed, which is based on the equivalence among three key concepts: colorable quadrilateral meshes, finite measured foliations and Strebel differentials. This work focuses on the computational aspect of Strebel differentials on high genus surfaces, which is based on graph-valued harmonic mapping. The algorithmic pipeline is as follows: first, the user inputs an admissible curve system, which induces a cylindric-decomposition graph; then the user specifies the lengths of the edges of the graph; third, the algorithm finds the unique harmonic map from the surface to the metric graph by a non-linear heat flow; finally, the harmonic map induces a Strebel differential, which can be further utilized to generate the hex-mesh. The method has solid theoretic foundation, which guarantees the existence and the uniqueness of the graph-valued harmonic map. The algorithm is capable of handling surfaces with complicated topologies, and producing all possible Strebel differentials on the surface. The user has full control of the combinatorial type and the geometry of the Strebel differential. The computational pipeline is automatic. The experimental results show the efficiency and efficacy of the algorithm, and demonstrate the great potential for automating the structured hexahedral mesh generation.

No abstract uploaded!