No abstract uploaded!

We prove the BMV (Bessis, Moussa, Villani, [1]) conjecture, which states that the function $${t \mapsto \mathop{\rm Tr}\exp(A-tB)}$$ , $${t \geqslant 0}$$ , is the Laplace transform of a positive measure on [0,∞) if$A$and$B$are $${n \times n}$$ Hermitian matrices and$B$is positive semidefinite. A semi-explicit representation for this measure is given.

Using a geometric method, we characterize all entire functions that transform the Bloch space into a Bergman space by superposition in terms of their order and type. We also prove that all superposition operators induced by such entire functions act boundedly. Similar results hold for superpositions from BMOA into Bergman spaces and from the Bloch space into certain weighted Hardy spaces.

In this paper, we study the transonic shock problem for the full compressible Euler system in a general two-dimensional de Laval nozzle as proposed in Courant and Friedrichs (Supersonic flow and shock waves, Interscience, New York, 1948): given the appropriately large exit pressure pe(x), if the upstream flow is still supersonic behind the throat of the nozzle, then at a certain place in the diverging part of the nozzle, a shock front intervenes and the gas is compressed and slowed down to subsonic speed so that the position and the strength of the shock front are automatically adjusted such that the end pressure at the exit becomes pe(x). We solve this problem completely for a general class of de Laval nozzles whose divergent parts are small and arbitrary perturbations of divergent angular domains for the full steady compressible Euler system. The problem can be reduced to solve a nonlinear free boundary value problem for a mixed hyperbolic–elliptic system. One of the key ingredients in the analysis is to solve a nonlinear free boundary value problem in a weighted Hölder space with low regularities for a second order quasilinear elliptic equation with a free parameter (the position of the shock curve at one wall of the nozzle) and non-local terms involving the trace on the shock of the first order derivatives of the unknown function.

In earlier work, Maire developed a class of cell-centered Lagrangian schemes for solving Euler equations of compressible gas dynamics in cylindrical coordinates. These schemes use a node-based discretization of the numerical fluxes. The control volume version has several distinguished properties, including the conservation of mass, momentum and total energy and compatibility with the geometric conservation law (GCL). However it also has a limitation in that it cannot preserve spherical symmetry for one-dimensional spherical flow. An alternative is also given to use the first order area-weighted approach which can ensure spherical symmetry, at the price of sacrificing conservation of momentum. In this paper, we apply the methodology proposed in our recent work to the first order control volume scheme of Maire to obtain the spherical symmetry property. The modified scheme can preserve one-dimensional spherical symmetry in a two-dimensional cylindrical geometry when computed on an equal-angle-zoned initial grid, and meanwhile it maintains its original good properties such as conservation and GCL. Several two-dimensional numerical examples in cylindrical coordinates are presented to demonstrate the good performance of the scheme in terms of symmetry, non-oscillation and robustness properties.