ON INTERACTION OF SHOCK AND SOUND WAVE （I）

This paper studies the interaction of shock and gradient wave (sound wave) of solutions to the system of inviscid isentropic gas dynamics as a model for the corresponding problems for nonlinear hyperbolic systems. The problem can be reduced to a boundary value problem in a wedged dormain, By using the method of constructing asymptotic solutions and Newton‘siteration process it is proved that if a weak shock hits a gradient wave, then the grandient wave will split into two gradient waves, while the shock continuses propagating. In this paper the author reduces the problem to a standard form and constructs asymptotic solution of the problem. The existence of the genuine solution will he given in the following paper.     

Analytic and Experimental Studies of the Errors in Numerical Methods for the Valuation of Options

The value of a European option satisfies the Black-Scholes equation with appropriately specified final and boundary conditions.We transform the problem to an initial boundary value problem in dimensionless form.There are two parameters in the coefficients of the resulting linear parabolic partial differential equation.For a range of values of these parameters,the solution of the problem has a boundary or an initial layer.The initial function has a discontinuity in the first-order derivative,which leads to the appearance of an interior layer.We construct analytically the asymptotic solution of the equation in a finite domain.Based on the asymptotic solution we can determine the size of the artificial boundary such that the required solution in a finite domain in x and at the final time is not affected by the boundary.Also,we study computationally the behaviour in the maximum norm of the errors in numerical solutions in cases such that one of the parameters varies from finite (or pretty large) to small values,while the other parameter is fixed and takes either finite (or pretty large) or small values. Crank-Nicolson explicit and implicit schemes using centered or upwind approximations to the derivative are studied.We present numerical computations,which determine experimentally the parameter-uniform rates of convergence.We note that this rate is rather weak,due probably to mixed sources of error such as initial and boundary layers and the discontinuity in the derivative of the solution.     

l 1-error estimates on the immersed interface upwind scheme for linear convection equations with piecewise constant coefficients: A simple proof

Abstract A linear convection equation with discontinuous coefcients arises in wave propagation through interfaces.An interface condition is needed at the interface to select a unique solution.An upwind scheme that builds this interface condition into its numerical flux is called the immersed interface upwind scheme.An l1-error estimate of such a scheme was frst established by Wen et al.(2008).In this paper,we provide a simple analysis on the l1-error estimate.The main idea is to formulate the solution to the underline initial-value problem into the sum of solutions to two convection equations with constant coefcients,which can then be estimated using classical methods for the initial or boundary value problems.     

EXISTENCE OF ENTROPY SOLUTIONS TO TWO-DIMENSIONAL STEADY EXOTHERMICALLY REACTING EULER EQUATIONS

We are concerned with the global existence of entropy solutions of the twodimensional steady Euler equations for an ideal gas, which undergoes a one-step exothermic chemical reaction under the Arrhenius-type kinetics. The reaction rate function φ(T) is assumed to have a positive lower bound. We first consider the Cauchy problem(the initial value problem), that is, seek a supersonic downstream reacting flow when the incoming flow is supersonic, and establish the global existence of entropy solutions when the total variation of the initial data is suffciently small. Then we analyze the problem of steady supersonic, exothermically reacting Euler flow past a Lipschitz wedge, generating an additional detonation wave attached to the wedge vertex, which can be then formulated as an initial-boundary value problem. We establish the global existence of entropy solutions containing the additional detonation wave(weak or strong, determined by the wedge angle at the wedge vertex) when the total variation of both the slope of the wedge boundary and the incoming flow is suitably small. The downstream asymptotic behavior of the global solutions is also obtained.     

The Existence and Long-Time Behavior of Weak Solution to Bipolar Quantum Drift-Diffusion Model

The authors study the existence and long-time behavior of weak solutions to the bipolar transient quantum drift-diffusion model,a fourth order parabolic system.Using semi-discretization in time and entropy estimate,the authors get the global existence of nonnegative weak solutions to the one-dimensional model with nonnegative initial and homogenous Neumann(or periodic)boundary conditions.Furthermore,by a logarithmic Sobolev inequality,it is proved that the periodic weak solution exponentially approaches its mean value as time increases to infinity.     

Global Weak Solutions of Initial Boundary Value Problem for Boltzmann－Poisson System with Absorbing Boundary

This paper deals with the initial boundary value problem for the Boltzmann-Poisson system, which arises in semiconductor physics, with absorbing boundary. The global existence of weak solutions is proved by using the stability of velocity averages and the compactness results on L1-theory under weaker conditons on initial boundary values.     

TRANSITION FROM A DEFLAGRATION TO A DETONATION IN GAS DYNAMIC COMBUSTION＊＊＊＊

The transition from a deflagration to a detonation (DDT) in gas dynamics is investigated through the process of a deflagration with a imite width flame overtaken by a shock. The problem is formulated as a free boundary value problem in an angular domain with a strong detonation and a reflected shock as boundaries. The main difficulty lies in the fact that the strength of reflected shock is zero at the vertex where the shock speed degenerates to be the same as the characteristic speed. The conclusion is that a strong detonation and a retonation (a reflected shock) form locally. Also the entropy satisfaction of this solution is presented.     

具有非线性边界条件的不可压MHD-Boussinesq方程组初边值问题的整体适定性（英文）

The global well-posedness of another class of initial-boundary value problem on two/three-dimensional incompressible MHD-Boussinesq equations in the bounded domain with the smooth boundary is studied. The existence of a class of global weak solution to the initial boundary value problem for two/three-dimensional incompressible MHD-Boussinesq equation with the given pressure-velocity’s relation boundary condition for the fluid field,one generalized perfectly conducting boundary condition for the ...     

Supersonic flow onto solid wedges,multidimensional shock waves and free boundary problems Dedicated to Professor LI Ta Tsien on the Occasion of His 80th Birthday

When an upstream steady uniform supersonic flow impinges onto a symmetric straight-sided wedge,governed by the Euler equations,there are two possible steady oblique shock configurations if the wedge angle is less than the detachment angle—the steady weak shock with supersonic or subsonic downstream flow(determined by the wedge angle that is less than or greater than the sonic angle)and the steady strong shock with subsonic downstream flow,both of which satisfy the entropy condition.The fundamental issue—whether one or both of the steady weak and strong shocks are physically admissible solutions—has been vigorously debated over the past eight decades.In this paper,we survey some recent developments on the stability analysis of the steady shock solutions in both the steady and dynamic regimes.For the static stability,we first show how the stability problem can be formulated as an initial-boundary value type problem and then reformulate it into a free boundary problem when the perturbation of both the upstream steady supersonic flow and the wedge boundary are suitably regular and small,and we finally present some recent results on the static stability of the steady supersonic and transonic shocks.For the dynamic stability for potential flow,we first show how the stability problem can be formulated as an initial-boundary value problem and then use the self-similarity of the problem to reduce it into a boundary value problem and further reformulate it into a free boundary problem,and we finally survey some recent developments in solving this free boundary problem for the existence of the PrandtlMeyer configurations that tend to the steady weak supersonic or transonic oblique shock solutions as time goes to infinity.Some further developments and mathematical challenges in this direction are also discussed.     

THE NAVIER-STOKES EQUATIONS WITH THE KINEMATIC AND VORTICITY BOUNDARY CONDITIONS ON NON-FLAT BOUNDARIES

We study the initial-boundary value problem of the Navier-Stokes equations for incompressible fluids in a general domain in R^n with compact and smooth boundary, subject to the kinematic and vorticity boundary conditions on the non-flat boundary. We observe that, under the nonhomogeneous boundary conditions, the pressure p can be still recovered by solving the Neumann problem for the Poisson equation. Then we establish the well-posedness of the unsteady Stokes equations and employ the solution to reduce our initial-boundary value problem into an initial-boundary value problem with absolute boundary conditions. Based on this, we first establish the well-posedness for an appropriate local linearized problem with the absolute boundary conditions and the initial condition （without the incompressibility condition）, which establishes a velocity mapping. Then we develop apriori estimates for the velocity mapping, especially involving the Sobolev norm for the time-derivative of the mapping to deal with the complicated boundary conditions, which leads to the existence of the fixed point of the mapping and the existence of solutions to our initial-boundary value problem. Finally, we establish that, when the viscosity coefficient tends zero, the strong solutions of the initial-boundary value problem in R^n（n ≥ 3） with nonhomogeneous vorticity boundary condition converge in L^2 to the corresponding Euler equations satisfying the kinematic condition.     

非凸单个守恒律初边值问题的整体弱熵解的构造

本文研究具有两段常数的初始值和常数边界值的非凸单个守恒律的初边值问题.在流函数具有一个拐点的条件下,由相应的初始值问题弱熵解的结构和Bardos-Leroux-Nedelec提出的边界熵条件,给出初边值问题整体弱熵解的一个构造方法,澄清弱熵解在边界附近的结构.与严格凸的单个守恒律初边值问题相比,非凸单个守恒律初边值问题的弱熵解中包括下列新的相互作用类型:一个接触或非接触激波碰到边界,边界弹回一个非接触激波.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> solvability of the stationary stokes problem in domains with conical singularity in any dimension

We consider the Dirichlet boundary value problem for the Stokes operator with L ^p data in any dimension in domains with conical singularity (not necessarily a Lipschitz graph). We establish the solvability of the problem for all p ∈ (2 − ε, ∞] and also in C(D) for the data in C( [`(D)] ) C\left( {\overline D } \right) . Bibliography: 14 titles. In memory of Michael Sh. Birman     

The Cauchy Boundary Value Problems on Closed Piecewise Smooth Manifolds in <Emphasis Type="Italic">C</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Suppose that D is a bounded domain with a piecewise C^1 smooth boundary in C^n. Let ψ∈C^1 α(δD). By using the Hadamard principal value of the higher order singular integral and solid angle coefficient method of points on the boundary, we give the Plemelj formula of the higher order singular integral with the Boehner-Martinelli kernel, which has integral density ψ. Moreover, by means of the Plemelj formula and methods of complex partial differential equations, we discuss the corresponding Cauehy boundary value problem with the Boehner-Martinelli kernel on a closed piecewise smooth manifold and obtain its unique branch complex harmonic solution.     

Boundary estimates for elliptic systems with L<Superscript>1</Superscript>–data

We obtain boundary estimates for the gradient of solutions to elliptic systems with Dirichlet or Neumann boundary conditions and L ¹–data, under some condition on the divergence of the data. Similar boundary estimates are obtained for div–curl and Hodge systems.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

Homogenization of the parabolic cauchy problem in the Sobolev class H<Superscript>1</Superscript>(R<Superscript>d</Superscript>)

Homogenization in the small period limit for the solution ue of the Cauchy problem for a parabolic equation in R^d is studied. The coefficients are assumed to be periodic in R^d with respect to the lattice ɛG. As ɛ → 0, the solution u ɛ converges in L2(R^d) to the solution u0 of the effective problem with constant coefficients. The solution u ɛis approximated in the norm of the Sobolev space H ¹(R^d) with error O( ɛ); this approximation is uniform with respect to the L2-norm of the initial data and contains a corrector term of order ɛ. The dependence of the constant in the error estimate on time t is given. Also, an approximation in H ¹(R^d) for the solution of the Cauchy problem for a nonhomogeneous parabolic equation is obtained.     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> norm of spectral clusters for compact manifolds with boundary

We use microlocal and paradifferential techniques to obtain L ⁸ norm bounds for spectral clusters associated with elliptic second-order operators on two-dimensional manifolds with boundary. The result leads to optimal L ^q bounds, in the range 2⩽q⩽∞, for L ² - normalized spectral clusters on bounded domains in the plane and, more generally, for two-dimensional compact manifolds with boundary. We also establish new sharp L ^q estimates in higher dimensions for a range of exponents q̅_n⩽q⩽∞. The authors were supported by the National Science Foundation, Grants DMS-0140499, DMS-0099642, and DMS-0354668.     

Approximation by K-finite functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Let Γ ⊂ ℝⁿ, n ≥ 2, be the boundary of a bounded domain. We prove that the translates by elements of Γ of functions which transform according to a fixed irreducible representation of the orthogonal group form a dense class in L ^p (ℝⁿ) for . A similar problem for noncompact symmetric spaces of rank one is also considered. We also study the connection of the above problem with the injectivity sets for weighted spherical mean operators. The first author was supported in part by a grant from UGC via DSA-SAP Phase IV.     

Rearrangement Invariant Continuous Linear Functionals on Weak <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>

We show that in the dual of Weak L¹ the subspace of all rearrangement invariant continuous linear functionals is lattice isometric to a space L¹(μ) and is the linear hull of the maximal elements of the dual unit ball. We also show that the dual of Weak L¹ contains a norm closed weak* dense ideal which is lattice isometric to an ℓ¹-sum of spaces of type C(K). Helmut H. Schaefer in memoriam     

The Riemannian <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> topology on the manifold of Riemannian metrics

We study the manifold of all Riemannian metrics over a closed, finite-dimensional manifold. In particular, we investigate the topology on the manifold of metrics induced by the distance function of the L ² Riemannian metric—so-called because it induces an L ² topology on each tangent space. It turns out that this topology on the tangent spaces gives rise to an L ¹-type topology on the manifold of metrics itself. We study this new topology and its completion, which agrees homeomorphically with the completion of the L ² metric. We also give a user-friendly criterion for convergence (with respect to the L ² metric) in the manifold of metrics.