We are interested in a viscous two-phase gas-liquid mixture model relevant for modeling of well control operations within the petroleum industry. We focus on a simplified mixture model and provide an existence result ...We are interested in a viscous two-phase gas-liquid mixture model relevant for modeling of well control operations within the petroleum industry. We focus on a simplified mixture model and provide an existence result within an appropriate class of weak solutions. We demonstrate that upper and lower limits can be obtained for the gas and liquid masses which ensure that transition to single-phase regions do not occur. This is used together with appropriate a prior estimates to obtain convergence to a weak solution for a sequence of approximate solutions corresponding to mollified initial data. Moreover, by imposing an additional regularity condition on the initial masses, a uniqueness result is obtained. The framework herein seems useful for further investigations of more realistic versions of the gas-liquid model that take into account different flow regimes.展开更多
The authors give the first convergence proof for the Lax-Friedrichs finite differencescheme for non-convex genuinely nonlinear scalar conservation laws of the formu_t + f(k(x, t), u)_x = 0,where the coefficient k(x, t...The authors give the first convergence proof for the Lax-Friedrichs finite differencescheme for non-convex genuinely nonlinear scalar conservation laws of the formu_t + f(k(x, t), u)_x = 0,where the coefficient k(x, t) is allowed to be discontinuous along curves in the (x, t)plane. In contrast to most of the existing literature on problems with discontinuouscoefficients, here the convergence proof is not based on the singular mapping approach,but rather on the div-curl lemma (but not the Young measure) and a Lax type en-tropy estimate that is robust with respect to the regularity of k(x, t). Following [14],the authors propose a definition of entropy solution that extends the classical Kruzkovdefinition to the situation where k(x, t) is piecewise Lipschitz continuous in the (x, t)plane, and prove the stability (uniqueness) of such entropy solutions, provided that theflux function satisfies a so-called crossng condition, and that strong traces of the solu-tion exist along the curves where k(x, t) is discontinuous. It is shown that a convergentsubsequence of approximations produced by the Lax-Friedrichs scheme converges tosuch an entropy solution, implying that the entire computed sequence converges.展开更多
文摘We are interested in a viscous two-phase gas-liquid mixture model relevant for modeling of well control operations within the petroleum industry. We focus on a simplified mixture model and provide an existence result within an appropriate class of weak solutions. We demonstrate that upper and lower limits can be obtained for the gas and liquid masses which ensure that transition to single-phase regions do not occur. This is used together with appropriate a prior estimates to obtain convergence to a weak solution for a sequence of approximate solutions corresponding to mollified initial data. Moreover, by imposing an additional regularity condition on the initial masses, a uniqueness result is obtained. The framework herein seems useful for further investigations of more realistic versions of the gas-liquid model that take into account different flow regimes.
基金Project supported by the BeMatA Program of the Research Council of Norway and the European network HYKE, funded by the EC as contract HPRN-CT-2002-00282
文摘The authors give the first convergence proof for the Lax-Friedrichs finite differencescheme for non-convex genuinely nonlinear scalar conservation laws of the formu_t + f(k(x, t), u)_x = 0,where the coefficient k(x, t) is allowed to be discontinuous along curves in the (x, t)plane. In contrast to most of the existing literature on problems with discontinuouscoefficients, here the convergence proof is not based on the singular mapping approach,but rather on the div-curl lemma (but not the Young measure) and a Lax type en-tropy estimate that is robust with respect to the regularity of k(x, t). Following [14],the authors propose a definition of entropy solution that extends the classical Kruzkovdefinition to the situation where k(x, t) is piecewise Lipschitz continuous in the (x, t)plane, and prove the stability (uniqueness) of such entropy solutions, provided that theflux function satisfies a so-called crossng condition, and that strong traces of the solu-tion exist along the curves where k(x, t) is discontinuous. It is shown that a convergentsubsequence of approximations produced by the Lax-Friedrichs scheme converges tosuch an entropy solution, implying that the entire computed sequence converges.
