No abstract uploaded!

No abstract uploaded!

We construct a local Lax-Friedrichs type positivity-preserving flux for compressible Navier-Stokes equations, which can be easily extended to high dimensions for generic forms of equations of state, shear stress tensor and heat flux. With this positivity-preserving flux, any finite volume type schemes including discontinuous Galerkin (DG) schemes with strong stability preserving Runge-Kutta time discretizations satisfy a weak positivity property. With a simple and effi- cient positivity-preserving limiter, high order explicit Runge-Kutta DG schemes are rendered preserving the positivity of density and internal energy without los- ing local conservation or high order accuracy. Numerical tests suggest that the positivity-preserving flux and the positivity-preserving limiter do not induce excessive artificial viscosity, and the high order positivity-preserving DG schemes without other limiters can produce satisfying non-oscillatory solutions when the nonlinear diffusion in compressible Navier-Stokes equations is accurately resolved.

This paper investigates the existence of a uniform in time $L^{\infty}$ bounded weak entropy solution for the quasilinear parabolic-parabolic Keller-Segel model with the supercritical diffusion exponent $0 < m < 2-\frac{2}{d}$ in the multi-dimensional space ${\mathbb{R}}^d$ under the condition that the $L^{\frac{d(2-m)}{2}}$ norm of initial data is smaller than a universal constant. Moreover, the weak entropy solution $u(x,t)$ satisfies mass conservation when $m > 1-\frac{2}{d}$. We also prove the local existence of weak entropy solutions and a blow-up criterion for general $L^1\cap L^{\infty}$ initial data.

We associate to any given finite set of valuations on the polynomial ring in two variables over an algebraically closed field a numerical invariant whose positivity characterizes the case when the intersection of their valuation rings has maximal transcendence degree over the base fields. As an application, we give a criterion for when an analytic branch at infinity in the affine plane that is defined over a number field in a suitable sense is the branch of an algebraic curve.