Searcharxiv⌕ Search

arXiv subjects

Song Jiang

Publications and source records attributed to Song Jiang.

At least 73 records · Page 4Linked to original sources
arXiv2019

Wormhole: A Fast Ordered Index for In-memory Data Management

In-memory data management systems, such as key-value stores, have become an essential infrastructure in today's big-data processing and cloud computing. They rely on efficient index structures to access data. While unordered indexes, such as hash tables, can perform point search with O(1) time, they cannot be used in many scenarios where range queries must be supported. Many ordered indexes, such as B+ tree and skip list, have a O(log N) lookup cost, where N is number of keys in an index. For an ordered index hosting billions of keys, it may take more than 30 key-comparisons in a lookup, which is an order of magnitude more expensive than that on a hash table. With availability of large memory and fast network in today's data centers, this O(log N) time is taking a heavy toll on applications that rely on ordered indexes. In this paper we introduce a new ordered index structure, named Wormhole, that takes O(log L) worst-case time for looking up a key with a length of L. The low cost is achieved by simultaneously leveraging strengths of three indexing structures, namely hash table, prefix tree, and B+ tree, to orchestrate a single fast ordered index. Wormhole's range operations can be performed by a linear scan of a list after an initial lookup. This improvement of access efficiency does not come at a price of compromised space efficiency. Instead, Wormhole's index space is comparable to those of B+ tree and skip list. Experiment results show that Wormhole outperforms skip list, B+ tree, ART, and Masstree by up to 8.4x, 4.9x, 4.3x, and 6.6x in terms of key lookup throughput, respectively.

cs.DB↗
arXiv2019

On the Dynamical Stability and Instability of Parker Problem

We investigate a perturbation problem for the three-dimensional compressible isentropic viscous magnetohydrodynamic system with zero resistivity in the presence of a modified gravitational force in a vertical strip domain in which the velocity of the fluid is non-slip on the boundary, and focus on the stabilizing effect of the (equilibrium) magnetic field through the non-slip boundary condition. We show that there is a discriminant $Ξ$, depending on the known physical parameters, for the stability/instability of the perturbation problem. More precisely, if $Ξ<0$, then the perturbation problem is unstable, i.e., the Parker instability occurs, while if $Ξ>0$ and the initial perturbation satisfies some relations, then there exists a global (perturbation) solution which decays algebraically to zero in time, i.e., the Parker instability does not happen. The stability results in this paper reveal the stabilizing effect of the magnetic field through the non-slip boundary condition and the importance of boundary conditions upon the Parker instability, and demonstrate that a sufficiently strong magnetic field can prevent the Parker instability from occurring. In addition, based on the instability results, we further rigorously verify the Parker instability under Schwarzschild's or Tserkovnikov's instability conditions in the sense of Hadamard for a horizontally periodic domain.

math.AP↗
arXiv2018

Instability of the Abstract Rayleigh--Taylor Problem and Applications

We prove the existence of a unique unstable strong solution in the sense of $L^1$-norm for an abstract Rayleigh--Taylor (RT) problem arising from stratified viscous fluids in Lagrangian coordinates based on a bootstrap instability method. In the proof, we develop a method to modify the initial data of the linearized abstract RT problem based on an existence theory of unique solution of stratified (steady) Stokes problem and an iterative technique, so that the obtained modified initial data satisfy necessary compatibility conditions of the (original) abstract RT problem. Applying an inverse transformation of Lagrangian coordinates to the obtained unstable solution, and then taking proper values of parameters, we can further get unstable solutions for the RT problems in viscoelastic fluids, magnetohydrodynamics (MHD) fluids with zero resistivity and pure viscous fluids (with or without interface intension) in Eulerian coordinates. Our results can be also extended to the corresponding inhomogeneous case (without interface).

math.AP↗
arXiv2018

On Magnetic Inhibition Theory in Non-resistive Magnetohydrodynamic Fluids

We investigate why the non-slip boundary condition for the velocity, imposed in the direction of impressed magnetic fields, can contribute to the magnetic inhibition effect based on the nonhomogeneous magnetic Rayleigh--Taylor (abbr. NMRT) problem in non-resistive magnetohydrodynamic (abbr. MHD) fluids. Exploiting an infinitesimal method in Lagrangian coordinates, the idea of (equivalent) magnetic tension, and the differential version of magnetic flux conservation, we give an explanation of physical mechanism for the magnetic inhibition phenomenon in a non-resistive MHD fluid. Moreover, we find that the magnetic energy in the non-resistive MHD fluid depends on the displacement of fluid particles, and thus can be regarded as elastic potential energy. Motivated by this observation, we further use the well-known minimum potential energy principle to explain the physical meaning of the stability/instability criteria in the NMRT problem. As a result of the analysis, we further extend the results on the NMRT problem to the stratified MHD fluid case. We point out that our magnetic inhibition theory can be used to explain the inhibition phenomenon of other instabilities, such as thermal instability, magnetic buoyancy instability, and so on, by impressed magnetic fields in non-resistive MHD fluids.

math-ph↗
arXiv2017

A Third-Order Moving Mesh Cell-Centered Scheme for One-Dimensional Elastic-Plastic Flows

A third-order moving mesh cell-centered scheme without the remapping of physical variables is developed for the numerical solution of one-dimensional elastic-plastic flows with the Mie-Grüneisen equation of state, the Wilkins constitutive model, and the von Mises yielding criterion. The scheme combines the Lagrangian method with the MMPDE moving mesh method and adaptively moves the mesh to better resolve shock and other types of waves while preventing the mesh from crossing and tangling. It can be viewed as a direct arbitrarily Lagrangian-Eulerian method but can also be degenerated to a purely Lagrangian scheme. It treats the relative velocity of the fluid with respect to the mesh as constant in time between time steps, which allows high-order approximation of free boundaries. A time dependent scaling is used in the monitor function to avoid possible sudden movement of the mesh points due to the creation or diminishing of shock and rarefaction waves or the steepening of those waves. A two-rarefaction Riemann solver with elastic waves is employed to compute the Godunov values of the density, pressure, velocity, and deviatoric stress at cell interfaces. Numerical results are presented for three examples. The third-order convergence of the scheme and its ability to concentrate mesh points around shock and elastic rarefaction waves are demonstrated. The obtained numerical results are in good agreement with those in literature. The new scheme is also shown to be more accurate in resolving shock and rarefaction waves than an existing third-order cell-centered Lagrangian scheme.

math.NA↗
arXiv2017

Nonlinear Stability and Instablity in Rayleight--Taylor Problem of Stratisfied Compressible MHD Fluids

We establish criteria of stability and instability for the stratified compressible magnetic Rayleigh--Taylor (RT) problem. More precisely, if under the stability condition $Ξ<1$, we show the existence of unique solution with algebraic decay in time for the (compressible) magnetic RT problem with proper initial data in Lagrangian coordinates. The stability result presents that sufficiently large vertical (base) magnetic field can inhibit the development of RT instability. On the other hand, if $Ξ>1$, there exists an unstable solution to the magnetic RT problem in the Hadamard sense. This shows that the RT instability still occurs when the strength of base magnetic field is small or the base magnetic field is horizontal with proper large horizontal period cell. Moreover, by analyzing the stability condition in magnetic RT problem for vertical magnetic fields, we can observe that the compressibility destroys the stabilizing effect of magnetic fields in the vertical direction. Fortunately, the instability in vertical direction can be inhibited by the stabilizing effect of pressure, which also plays an important role in the mathematical proof for stability of the magnetic RT problem. In addition, we will extend the results in magnetic RT problem to the (compressible) viscoelastic RT problem, and find that the stabilizing effect of elasticity is stronger than the one of magnetic fields.

math.AP↗
arXiv2015

Non-relativistic limit of the compressible Navier-Stokes-Fourier-P1 approximation model arising in radiation hydrodynamics

As is well-known that the general radiation hydrodynamics models include two mainly coupled parts: one is macroscopic fluid part, which is governed by the compressible Navier-Stokes-Fourier equations, another is radiation field part, which is described by the transport equation of photons. Under the two physical approximations: "gray" approximation and P1 approximation, one can derive the so-called Navier-Stokes-Fourier-P1 approximation radiation hydrodynamics model from the general one. In this paper we study the non-relativistic limit problem for the Navier-Stokes-Fourier-P1 approximation model due to the fact that the speed of light is much larger than the speed of the macroscopic fluid. Our results give a rigorous derivation of the widely used macroscopic model in radiation hydrodynamics.

math.AP↗
arXiv2015

Convergence of the complete electromagnetic fluid system to the full compressible magnetohydrodynamic equations

The full compressible magnetohydrodynamic equations can be derived formally from the complete electromagnetic fluid system in some sense as the dielectric constant tends to zero. This process is usually referred as magnetohydrodynamic approximation in physical books. In this paper we justify this singular limit rigorously in the framework of smooth solutions for well-prepared initial data.

math.AP↗
arXiv2015

HFVS: An Arbitrary High Order Flux Vector Splitting Method

In this paper, a new scheme of arbitrary high order accuracy in both space and time is proposed to solve hyperbolic conservative laws. Based on the idea of flux vector splitting(FVS) scheme, we split all the space and time derivatives in the Taylor expansion of the numerical flux into two parts: one part with positive eigenvalues, another part with negative eigenvalues. According to a Lax-Wendroff procedure, all the time derivatives are then replaced by space derivatives. And the space derivatives is calculated by WENO reconstruction polynomial. One of the most important advantages of this new scheme is easy to implement.In addition, it should be pointed out, the procedure of calculating the space and time derivatives in numerical flux can be used as a building block to extend the current first order schemes to very high order accuracy in both space and time. Numerous numerical tests for linear and nonlinear hyperbolic conservative laws demonstrate that new scheme is robust and can be high order accuracy in both space and time.

math.NA↗
arXiv2015

On the vanishing resistivity limit and the magnetic boundary-layers for one-dimensional compressible magnetohydrodynamics

We consider an initial-boundary value problem for the one-dimensional equations of compressible isentropic viscous and non-resistive magnetohydrodynamic flows. The global well-posedness of strong solutions with general large data is established. Moreover, the vanishing resistivity limit is justified and the thickness of magnetic boundary layers is analyzed. The proofs of these results are based on a full use of the so-called "effective viscous flux", the material derivative and the structure of the equations.

math.AP↗
arXiv2015

On Linear Instability and Stability of the Rayleigh-Taylor Problem in Magnetohydrodynamics

We investigate the stabilizing effects of the magnetic fields in the linearized magnetic Rayleigh-Taylor (RT) problem of a nonhomogeneous incompressible viscous magnetohydrodynamic fluid of zero resistivity in the presence of a uniform gravitational field in a three-dimensional bounded domain, in which the velocity of the fluid is non-slip on the boundary. By adapting a modified variational method and careful deriving \emph{a priori} estimates, we establish a criterion for the instability/stability of the linearized problem around a magnetic RT equilibrium state. In the criterion, we find a new phenomenon that a sufficiently strong horizontal magnetic field has the same stabilizing effect as that of the vertical magnetic field on growth of the magnetic RT instability. In addition, we further study the corresponding compressible case, i.e., the Parker (or magnetic buoyancy) problem, for which the strength of a horizontal magnetic field decreases with height, and also show the stabilizing effect of a sufficiently large magnetic field.

math-ph↗
arXiv2014

Nonlinear Rayleigh-Taylor Instability for Nonhomogeneous Incompressible Viscous Magnetohydrodynamic Flows

We investigate the nonlinear instability of a smooth Rayleigh-Taylor steady-state solution (including the case of heavier density with increasing height) to the three-dimensional incompressible nonhomogeneous magnetohydrodynamic (MHD) equations of zero resistivity in the presence of a uniform gravitational field. We first analyze the linearized equations around the steady-state solution. Then we construct solutions of the linearized problem that grow in time in the Sobolev space $H^k$, thus leading to the linear instability. With the help of the constructed unstable solutions of the linearized problem and a local well-posedness result of smooth solutions to the original nonlinear problem, we establish the instability of the density, the horizontal and vertical velocities in the nonlinear problem. Moreover, when the steady magnetic field is vertical and small, we prove the instability of the magnetic field. This verifies the physical phenomenon: instability of the velocity leads to the instability of the magnetic field through the induction equation.

math.AP↗
arXiv2014

Existence of strong solutions to the steady Navier-Stokes equations for a compressible heat-conductive fluid with large forces

We prove that there exists a strong solution to the Dirichlet boundary value problem for the steady Navier-Stokes equations of a compressible heat-conductive fluid with large external forces in a bounded domain $R^d (d = 2, 3)$, provided that the Mach number is appropriately small. At the same time, the low Mach number limit is rigorously verified. The basic idea in the proof is to split the equations into two parts, one of which is similar to the steady incompressible Navier-Stokes equations with large forces, while another part corresponds to the steady compressible heat-conductive Navier-Stokes equations with small forces. The existence is then established by dealing with these two parts separately, establishing uniform in the Mach number a priori estimates and exploiting the known results on the steady incompressible Navier-Stokes equations.

math.AP↗
arXiv2014

Low Mach number limit for the full compressible magnetohydrodynamic equations with general initial data

The low Mach number limit for the full compressible magnetohydrodynamic equations with general initial data is rigorously justified in the whole space $\mathbb{R}^3$. The uniform in Mach number estimates of the solutions in a Sobolev space are obtained on a time interval independent of the Mach number. The limit is proved by using the established uniform estimates and a theorem due to Métiver and Schochet [Arch. Ration. Mech. Anal. 158 (2001), 61-90] for the Euler equations that gives the local energy decay of the acoustic wave equations.

math.AP↗
arXiv2013

On Instability and Stability of Three-Dimensional Gravity Driven Viscous Flows in a Bounded Domain

We investigate the instability and stability of some steady-states of a three-dimensional nonhomogeneous incompressible viscous flow driven by gravity in a bounded domain $Ω$ of class $C^2$. When the steady density is heavier with increasing height (i.e., the Rayleigh-Taylor steady-state), we show that the steady-state is linear unstable (i.e., the linear solution grows in time in $H^2$) by constructing a (standard) energy functional and exploiting the modified variational method. Then, by introducing a new energy functional and using a careful bootstrap argument, we further show that the steady-state is nonlinear unstable in the sense of Hadamard. When the steady density is lighter with increasing height, we show, with the help of a restricted condition imposed on steady density, that the steady-state is linearly globally stable and nonlinearly locally stable in the sense of Hadamard.

math.AP↗
arXiv2013

Global Weak Solutions to the Equations of Compressible Flow of Nematic Liquid Crystals in Two Dimensions

We consider weak solutions to a two-dimensional simplified Ericksen-Leslie system of compressible flow of nematic liquid crystals. An initial-boundary value problem is first studied in a bounded domain. By developing new techniques and estimates to overcome the difficulties induced by the supercritical nonlinearity in the equations of angular momentum on the direction field, and adapting the standard three-level approximation scheme and the weak convergence arguments for the compressible Navier-Stokes equations, we establish the global existence of weak solutions under a restriction imposed on the initial energy including the case of small initial energy. Then the Cauchy problem with large initial data is investigated, and we prove the global existence of large weak solutions by using the domain expansion technique and the rigidity theorem, provided that the second component of initial data of the direction field satisfies some geometric angle condition.

math.AP↗
arXiv2013

On the existence of weak solutions to the three-dimensional steady compressible Navier-Stokes equations in bounded domains

We prove the existence of a weak solution to the three-dimensional steady compressible isentropic Navier-Stokes equations in bounded domains for any specific heat ratio γ> 1. Generally speaking, the proof is based on the new weighted estimates of both pressure and kinetic energy for the approximate system which result in some higher integrability of the density, and the method of weak convergence. Comparing with [12] where the spatially periodic case was studied, here we have to control the additional integral terms of both pressure and kinetic energy involving with the points near the boundary which become degenerate when the points approach the boundary. Such integral terms are estimated using some new techniques, i.e., we use the techniques of the mirror image and boundary straightening to prove that the weighted estimates of both pressure and kinetic energy for the points near the boundary can be controlled by the weighted estimates for the points on the boundary. Moreover, we prove that once the weighted estimates of the kinetic energy in the direction of the unit normal to the boundary are bounded, we can control the weighted estimates of the total energy on the boundary.

math.AP↗