Existence of global smooth solution to the relativistic Euler equations

In this paper, we prove an existence theorem of global smooth solutions to the Cauchy problem for the one-dimensional relativistic Euler equations. The analysis is based on a priori estimates which are obtained by the characteristic method and maximum principle.     

Boundary layers for compressible Navier-Stokes equations with outflow boundary condition

In this paper, we study the asymptotic relation between the solutions to the initial boundary value problem of the one-dimensional compressible full Navier-Stokes equations with outflow boundary condition and the associated Euler equations. We assume all the three characteristics to the corresponding Euler equations are all negative up to some small time, then we prove the existence and the stability of the boundary layers as long as the strength of the boundary layers is suitably small.     

The formation of trapped surfaces in spherically-symmetric Einstein–Euler spacetimes with bounded variation

We study the evolution of a self-gravitating compressible fluid in spherical symmetry and we prove the existence of weak solutions with bounded variation for the Einstein–Euler equations of general relativity. We formulate the initial value problem in Eddington–Finkelstein coordinates and prescribe spherically symmetric data on a characteristic initial hypersurface. We introduce here a broad class of initial data which contain no trapped surfaces, and we then prove that their Cauchy development contains trapped surfaces. We therefore establish the formation of trapped surfaces in weak solutions to the Einstein equations. This result generalizes a theorem by Christodoulou for regular vacuum spacetimes (but without symmetry restriction). Our method of proof relies on a generalization of the “random choice” method for nonlinear hyperbolic systems and on a detailed analysis of the nonlinear coupling between the Einstein equations and the relativistic Euler equations in spherical symmetry.     

A new mathematical construction of the general nonlinear ODEs of motion in rigid body dynamics (Euler’s equations)

It is shown that the three nonlinear dynamic Euler ordinary differential equations (ODEs), concerning the motion of a rigid body free to rotate about a fixed point, are reduced, by means of a subsidiary function which is to be determined, to three Abel equations of the second kind of the normal form. Based on a recently developed mathematical construction concerning exact analytic solutions of the Abel nonlinear ODEs of the second kind, we perform a new mathematical solution for the classical dynamic Euler nonlinear ODEs.     

On the deformations of the incompressible Euler equations

We consider systems of deformed system of equations, which are obtained by some transformations from the system of incompressible Euler equations. These have similar properties to the original Euler equations including the scaling invariance. For one form of deformed system we prove that finite time blow-up actually occurs for ‘generic’ initial data, while for the other form of the deformed system we prove the global in time regularity for smooth initial data. Moreover, using the explicit functional relations between the solutions of those deformed systems and that of the original Euler system, we derive the condition of finite time blow-up of the Euler system in terms of solutions of one of its deformed systems. As another application of those relations we deduce a lower estimate of the possible blow-up time of the 3D Euler equations. This research was supported partially by the KOSEF Grant no. R01-2005-000-10077-0     

Global Solvability in Thermoelasticity with Second Sound on the Semi-axis

In this paper, we consider initial boundary value problem for the equations of one-dimensional nonlinear thermoelasticity with second sound in R^+. First, we derive decay rates for linear systems which, in fact, is a hyperbolic systems with a damping term. Then, using this linear decay rates, we get L^1 and L^∞ decay rates for nonlinear systems. Finally, combining with L^2 estimates and a local existence theorem, we prove a global existence and uniqueness theorem for small smooth data.     

Quasi-neutral limit for the full Euler–Poisson system in one-dimensional space

In this paper, we consider the quasi-neutral limit of the full Euler–Poisson system in one-dimensional space when the Debye length tends to zero. Due to the observation that the full Euler–Poisson system is Friedrich symmetrizable, we can obtain uniform estimates by applying the pseudo-differential energy estimates. It is shown that for well-prepared initial data the strong solution of the full Euler–Poisson system converges strongly to the compressible Euler equations in small time interval.     

The Spectrum of a Linearized 2D Euler Operator

We study the spectral properties of the linearized Euler operator obtained by linearizing the equations of incompressible two-dimensional fluid at a steady state with the vorticity that contains only two nonzero complex conjugate Fourier modes. We prove that the essential spectrum coincides with the imaginary axis, and give an estimate from above for the number of isolated nonimaginary eigenvalues. In addition, we prove that the spectral mapping theorem holds for the group generated by the linearized 2D Euler operator.     

Discontinuous local semiflows for Kurzweil equations leading to LaSalle's invariance principle for differential systems with impulses at variable times

In this paper, we consider an initial value problem for a class of generalized ODEs, also known as Kurzweil equations, and we prove the existence of a local semidynamical system there. Under certain perturbation conditions, we also show that this class of generalized ODEs admits a discontinuous semiflow which we shall refer to as an impulsive semidynamical system. As a consequence, we obtain LaSalle's invariance principle for such a class of generalized ODEs. Due to the importance of LaSalle's invariance principle in studying stability of differential systems, we include an application to autonomous ordinary differential systems with impulse action at variable times.     

Generic perturbations of linear integrable Hamiltonian systems

In this paper, we investigate perturbations of linear integrable Hamiltonian systems, with the aim of establishing results in the spirit of the KAM theorem (preservation of invariant tori), the Nekhoroshev theorem (stability of the action variables for a finite but long interval of time) and Arnold diffusion (instability of the action variables). Whether the frequency of the integrable system is resonant or not, it is known that the KAM theorem does not hold true for all perturbations; when the frequency is resonant, it is the Nekhoroshev theorem that does not hold true for all perturbations. Our first result deals with the resonant case: we prove a result of instability for a generic perturbation, which implies that the KAM and the Nekhoroshev theorem do not hold true even for a generic perturbation. The case where the frequency is nonresonant is more subtle. Our second result shows that for a generic perturbation the KAM theorem holds true. Concerning the Nekhrosohev theorem, it is known that one has stability over an exponentially long (with respect to some function of ε ^?1) interval of time and that this cannot be improved for all perturbations. Our third result shows that for a generic perturbation one has stability for a doubly exponentially long interval of time. The only question left unanswered is whether one has instability for a generic perturbation (necessarily after this very long interval of time).     

连续系数倒向随机微分方程最小解的Levi定理

本文研究了倒向随机微分方程解的连续依赖性问题.利用文献[4]中使用的方法,提出并证明了连续系数的一维倒向随机微分方程最小解的Levi定理,推广了文献[10]中的相应结果.     

Global existence and asymptotic behavior of smooth solutions to a bipolar Euler–Poisson equation in a bound domain

In this paper, we present a bipolar hydrodynamic model from semiconductor devices and plasmas, which takes the form of bipolar isentropic Euler–Poisson with electric field and frictional damping added to the momentum equations. We firstly prove the existence of the stationary solutions. Next, we present the global existence and the asymptotic behavior of smooth solutions to the initial boundary value problem for a one-dimensional case in a bounded domain. The result is shown by an elementary energy method. Compared with the corresponding initial data case, we find that the asymptotic state is the stationary solution.     

Shock Formation and Vorticity Creation for 3d Euler

We analyze the shock formation process for the 3D nonisentropic Euler equations with the ideal gas law, in which sound waves interact with entropy waves to produce vorticity. Building on our theory for isentropic flows in [3, 4], we give a constructive proof of shock formation from smooth initial data. Specifically, we prove that there exist smooth solutions to the nonisentropic Euler equations which form a generic stable shock with explicitly computable blowup time, location, and direction. This is achieved by establishing the asymptotic stability of a generic shock profile in modulated self-similar variables, controlling the interaction of wave families via: (i) pointwise bounds along Lagrangian trajectories, (ii) geometric vorticity structure, and (iii) high-order energy estimates in Sobolev spaces. © 2022 Wiley Periodicals LLC.     

A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity

We establish the existence and local uniqueness of traveling wave solutions to the one-dimensional Euler equations with artificial viscosity. The equations are expressed as a fixed-point problem, which is solved by a computer-assisted method based on Yamamoto’s application of the Banach fixed-point theorem.     

A two-phase flow with a viscous and an inviscid fluid

We study the free boundary between a viscous and an inviscid fluid satisfying the Navier-Stokes and Euler equations respectively. Surface tension is incorporated. We read the equations as a free boundary problem for one viscous fluid with a nonlocal boundary force. We decompose the pressure distribution in the inviscid fluid into two contributions. A positivity result for the first, and a compactness property for the second contribution are dervied. We prove a short time existence theorem for the two-phase problem     

The adapted solution and comparison theorem for backward stochastic differential equations with Poisson jumps and applications

This paper deals with a class of backward stochastic differential equations with Poisson jumps and with random terminal times. We prove the existence and uniqueness result of adapted solution for such a BSDE under the assumption of non-Lipschitzian coefficient. We also derive two comparison theorems by applying a general Girsanov theorem and the linearized technique on the coefficient. By these we first show the existence and uniqueness of minimal solution for one-dimensional BSDE with jumps when its coefficient is continuous and has a linear growth. Then we give a general Feynman-Kac formula for a class of parabolic types of second-order partial differential and integral equations (PDIEs) by using the solution of corresponding BSDE with jumps. Finally, we exploit above Feynman-Kac formula and related comparison theorem to provide a probabilistic formula for the viscosity solution of a quasi-linear PDIE of parabolic type.     

Preservation of stability type of difference schemes when solving stiff differential algebraic equations

Implicit methods applied to the numerical solution of systems of ordinary differential equations (ODEs) with an identically singular matrix multiplying the derivative of the sought-for vector-function are considered. The effects produced by losing L-stability of a classical implicit Euler scheme when solving such stiff systems are discussed.     

Oscillation and nonoscillation of perturbed nonlinear equations with p-Laplacian

In this paper, we analyze oscillatory properties of perturbed half-linear differential equations (i.e., equations with one-dimensional p-Laplacian). The presented research covers the Euler and Riemann–Weber type equations with very general coefficients. We prove an oscillatory result and a nonoscillatory one, which show that the studied equations are conditionally oscillatory (i.e., there exists a certain threshold value that separates oscillatory and nonoscillatory equations). The obtained criteria are easy to use. Since the number of perturbations is arbitrary, we solve the oscillation behavior of the equations in the critical setting when the coefficients give exactly the threshold value. The results are new for linear equations as well.     

Exact controllability of a cascade system of conservative equations

We consider a cascade system of two conservative equations and prove the controllability of the full system when each equation is controllable, provided that the unitary group corresponding to the free evolution is time-periodic. Applications to systems of Schrödinger (resp. wave) equations are given. With the aid of Kannai transform we infer that a one-dimensional system of heat equations is null controllable even if the supports of the control function and of the coupling term do not intersect.     

二阶非线性椭圆型方程带位移的边值问题

In this paper, we consider the boundary value problem with the shift for nonlinear uniformly elliptic equations of second order in a multiply connected domain. For this sake, we propose a modified boundary value problem for nonlinear elliptic systems of first order equations, and give a priori estimates of solutions for the modified boundary value problem. Afterwards we prove by using the Schauder fixedpoint theorem that this boundary value problem with some conditions has a solution. The result obtained is the generlization of the corresponding theorem on the Poincare boundary value problem.