Convergence of finite volume schemefor degenerate parabolic problemwith zero flux boundary condition

Convergence of finite volume scheme
for degenerate parabolic problem
with zero flux boundary condition

Boris Andreianov Boris Andreianov Laboratoire de Mathématiques CNRS UMR 6623, Université de Franche-Comte, 16 route de Gray, 25030 Besançon, France    and    Institut Für Mathematik, Technische Universität Berlin, Straße des 17. Juni 136, 10623 Berlin, Germany;   22email: bandreia@univ-fcomte.frMohamed Karimou Gazibo Laboratoire de Mathématiques CNRS UMR 6623, Université de Franche-Comte, 16 route de Gray, 25030 Besançon, France;  44email: mgazibok@univ-fcomte.fr    Mohamed Karimou Gazibo Boris Andreianov Laboratoire de Mathématiques CNRS UMR 6623, Université de Franche-Comte, 16 route de Gray, 25030 Besançon, France    and    Institut Für Mathematik, Technische Universität Berlin, Straße des 17. Juni 136, 10623 Berlin, Germany;   22email: bandreia@univ-fcomte.frMohamed Karimou Gazibo Laboratoire de Mathématiques CNRS UMR 6623, Université de Franche-Comte, 16 route de Gray, 25030 Besançon, France;  44email: mgazibok@univ-fcomte.fr
Abstract

This note is devoted to the study of the finite volume methods used in the discretization of degenerate parabolic-hyperbolic equation with zero-flux boundary condition. The notion of an entropy-process solution, successfully used for the Dirichlet problem, is insufficient to obtain a uniqueness and convergence result because of a lack of regularity of solutions on the boundary. We infer the uniqueness of an entropy-process solution using the tool of the nonlinear semigroup theory by passing to the new abstract notion of integral-process solution. Then, we prove that numerical solution converges to the unique entropy solution as the mesh size tends to 0.

1 Introduction

Our goal is to study convergence of a finite volume scheme for a degenerate parabolic equation with zero-flux boundary condition in a regular bounded domain arising, e.g., in sedimentation and traffic models:

(P)

Here is a non-decreasing Lipschitz continuous function, moreover, there exists with such that but . The case was understood in BFK (). In the range of values of , degenerates into a hyperbolic problem, and admissibility criteria of Kruzhkov type are needed to single out the unique and physically motivated weak solution (see, e.g., VAS (); BFK ()). We require that the flux function is Lipschitz, genuinely nonlinear on ; moreover, is an invariant domain for the evolution of due to assumption

(H1)

(the latter means the space of measurable on functions with values in ). In the work BG (), inspired by BFK () we proposed a new entropy formulation of saying that is an entropy solution of if with , and

(1)

in , where is the exterior unit normal vector to the boundary and the last term is taken with respect to the Hausdorff measure on . Contrary to the Dirichlet case (cf. EGHMichel ()) where the boundary condition is relaxed, (1) implies that zero-flux condition in holds in the weak sense.

Existence of an entropy solution to can be obtained by standard vanishing viscosity method, relying in particular on the strong compactness arguments derived from genuine nonlinearity of and non-degeneracy of , see PAN-comp (). But in order to prove uniqueness, one faces a serious difficulty (not relevant in the case , BFK ()) related to the lack of regularity of the flux and specifically, to the weak sense in which the normal component of the flux annulates on . Techniques of nonlinear semigroup theory (see, e.g., BCP (); BarthelemyBenilan ()) can be used to circumvent this regularity problem in some cases (see BF (); BG ()) and to prove well-posedness for in the sense (1). Let us present the key arguments: indeed, they are also important for study of convergence of the Finite Volume scheme for , which is the goal of this note. The standard doubling of variables method based upon formulation (1) readily leads to the uniqueness and contraction property

(2)

if we compare two solutions such that the strong (in the sense of convergence, see VAS (); PAN1 ()) trace of the normal flux at the boundary exists. In the sequel, we call such solutions trace-regular. Every entropy solution is a trace-regular in the case of the pure hyperbolic problem (case , see VAS (); PAN1 (); BFK ()). The idea of symmetry breaking in the doubling of variables (see BF ()) permits an extension of (2) to a kind of weak-strong comparison principle where is a general solution and is a trace-regular solution. When a sufficiently large family of trace-regular solutions is available, uniqueness of a general solution and principle (2) may follow by density arguments. A closely related technique consists in exploiting the above weak-strong comparison arguments using the idea of integral solution and somewhat stronger regularity properties of stationary solutions. E.g., for the pure parabolic one (, see BF ()) every entropy solution of the stationary problem

(S)

with is trace-regular if , (see BF ()). This observation, in conjunction with the use of integral solutions (BCP ()) of abstract evolution problem

(3)

for suitably defined operator (problem taking the form ) permits to get uniqueness of entropy solution in BF (), for the parabolic case . Let us stress that the question of uniqueness for with and remains open. The one-dimensional hyperbolic-parabolic case (, with arbitrary ) has been treated by the authors in BG (), using the above abstract approach along with the elementary observation that yields trace-regularity:

Another essential aspect of the study of is to justify convergence of numerical approximations. The difference with the existence proof is that, for numerical approximations, the use of strong compactness arguments is very technical, and weak compactness methods are often preferred. Such study relying on nonlinear weak- compactness technique of eymard2000finite (); EGHMichel () is our goal in this note. We study a finite volume scheme discretization in the spirit of EGHMichel () for on a family of admissible meshes with implicit time stepping. According to the standard weak compactness estimates, as for the Dirichlet problem (EGHMichel ()) approximate solutions converge up to a subsequence, as the discretization size goes to zero, towards an entropy-process solution . This notion closely related to Young measures’ techniques (see eymard2000finite () and references therein) incorporates dependence on an additional variable which may represent oscillations in the family . It remains to prove the uniqueness of an entropy-process solution which implies the independence of on so that is an entropy solution of . As for the proof of uniqueness of an entropy solution discussed above, we face the major difficulty due to the lack of regularity of . Hence, we found it useful to define the new notion of integral-process solution in the framework of abstract problem (3). Following the pattern of the uniqueness proofs in BF (); BG (), we compare an entropy-process solution of and a trace regular solution of , then we prove that an entropy-process solution of is an integral-process solution of (3) defined for an appropriate -accretive operator . The convergence result holds due to the fact that the integral-process solution coincides with the unique integral solution of (3); and the latter one coincides with the unique entropy solution of in the sense (1).

The remainder of this note is organized as follows. In Section 2 we present our scheme. In Section 3 we present the standard steps of convergence arguments for the problem , obtained as for Dirichlet problem (EGHMichel ()). In Section 4, we achieve the convergence result using classical and new tools of the nonlinear semigroup theory. In Remark 1, we sketch a convergence argument for Finite Volume schemes based upon a direct use of integral-process solutions, bypassing the entropy-process ones.

2 Description of the finite volume scheme for

Let us begin with considering an admissible mesh of (see eymard2000finite (); EGHMichel ()) for space discretization and using the conventional notation present in the main literature. Because we consider the zero-flux boundary condition, we don’t need to distinguish between interior and exterior control volumes , only inner interfaces between volumes are needed in order to formulate the scheme. For and , we denote by the transmissivity coefficient. For the approximation of the convective term, we consider the numerical convection fluxes that are consistent with , monotone, Lipschitz regular, and conservative (see eymard2000finite (); EGHMichel ()).

The values of the discrete unknowns for all control volume , and are defined thanks to the following relations: first we initialize the scheme by

(4)

then, we use the implicit scheme for the discretization of problem :
,

(5)

If the scheme has a solution , we will say that the approximate solution to is the piecewise constant function defined by:

(6)

A weakly consistent discrete gradient is defined “per diamond”; we refer to mathese () for details. Let us stress that the zero-flux boundary condition is included in the scheme, since the flux terms on are set to be zero in equations (5).

3 Analysis of the approximate solution: classical arguments

Following the guidelines of eymard2000finite (); EGHMichel (), we can justify uniqueness of discrete solutions, obtain several uniform estimates (confinement of values of in , weak estimate for , discrete estimate of ), and derive existence of . We refer to the PhD thesis mathese () of the second author for details, with a particular emphasis on the treatment of boundary volumes. It follows that the discrete solution satisfies the approximate continuous entropy formulation.

Theorem 3.1

Let be the approximate solution of the problem defined by (4),(5),(6). Then the following approximate entropy inequalities hold:
for all , for all , ,

(7)

where   , when .

In order to pass to the limit in (3.1) using only the bound on , one can adapt the notion of an entropy-process solution to problem in the entropy sense (1).

Definition 1

Let . The function is called an entropy-process solution to the problem if , , with , the following inequalities hold:

From Theorem 3.1 we derive the following result which, however, will not be conclusive. In the sequel, we will upgrade (or circumvent, see Remark 1) this claim.

Proposition 1

Let be the approximate solution of the problem defined by (4), (5). There exists an entropy-process solution of in the sense of Definition 1 and a subsequence of , such that:
The sequence converges to in the nonlinear weak- sense.
Moreover, converges strongly in to , ,
   and in weakly, as .

Proof

∎The proof is essentially the same as in main reference papers dealing with finite volume scheme for degenerate parabolic equations (see EGHMichel (); ABK ()). ∎

4 Reduction of entropy-process solution: semigroup arguments

In the context of the Dirichlet problem (see eymard2000finite (); EGHMichel ()) there holds the uniqueness and reduction result stating that an entropy-process solution is -independent, so that it reduces to an entropy solution. The lack of regularity of the fluxes at the boundary makes it difficult to prove the analogous result with zero-flux conditions. Here, we show how this difficulty can be bypassed, using classical tools and a new notion of integral-process solution in the abstract context of nonlinear semigroup theory (BCP ()).

4.1 Notion of integral-process solution and equivalence result

Given a Banach space and an accretive operator , is called integral solution (see Bénilan et al. BCP (); BarthelemyBenilan ()) of the abstract evolution problem (3) if, being the norm and the bracket on , one has and the following family of inequalities holds:

For -accretive operators the classical in the nonlinear semigroup theory notion of mild solution coincides with the notion of integral solution, so that we have

Proposition 2

Assume that is -accretive, with . Then for any , there exists a unique integral solution of (3).

We refer to BCP () for the proof of uniqueness of an integral solution and to BarthelemyBenilan () for a generalization relevant to our case: continuity of can be relaxed, cf. (9). We propose a variant of the above notion that we call integral-process solution. This notion is motivated by an application in the setting where is a Lebesgue space on and is a nonlinear weak- limit (see eymard2000finite ()) of approximate solutions.

Definition 2

Let be an accretive operator on , and . An -valued function of is an integral-process solution of abstract problem on with datum , if for all

(8)

for and the initial condition is satisfied in the sense

(9)

The main fact concerning integral-process solutions is the following result (mathese ()).

Theorem 4.1

Assume that is -accretive in and . Then is an integral-process solution of (3) if and only if is independent on and for all , coincides with the unique integral and mild solution of (3).

4.2 Convergence of the scheme

Let us define the operator on endowed with :

(instead of we can work in due to the confinement principle for solutions of ). The main result of this paper is the following theorem.

Theorem 4.2

Assume operator on is -accretive densely defined, then any entropy-process-solution of is its unique entropy solution. In particular, the scheme (4),(5) for discretization of in the sense (1) is convergent:

Proof

∎First, in Proposition 1 we prove that the approximate solutions converge towards an entropy-process solution . Then, with the technique of BF (); BG () we compare the entropy-process solution and a trace-regular solution of stationary problem . We find that is also an integral-process solution. By Theorem 4.1, is independent on the variable . Therefore coincides with the unique integral solution of the abstract evolution problem (3) governed by operator ; we know from the analysis of BF (); BG () that it is also the unique entropy solution of . ∎

Theorem 4.2 is applicable in the following three cases where trace-regularity for the solutions of can be justified, at least for a dense set of source terms.

Proposition 3

Assume that , and (i.e., is purely hyperbolic). Then is -accretive densely defined on .

Proposition 4

Assume that and (i.e. is non-degenerate parabolic). Then is -accretive densely defined on if .

Proposition 5

Assume that (thus, ). Then is -accretive densely defined on .

Prop. 3 follows by the strong trace results of VAS (); PAN1 () (cf. BFK ()), Prop. 4 is justified like in BF (), while Prop. 5 was an ingredient of the uniqueness proof in BG ().

Remark 1

Actually, the use of entropy-process solutions can be circumvented. Observe that the stationary problem can be discretized with the scheme analogous to the time-implicit scheme used for the evolution problem . Consider the situation where strong compactness (and convergence to ) can be proved for approximate solutions of but only nonlinear weak- compactness for approximate solutions of is known (this occurs when , where compactness of , for all , is immediate: see the arguments developed in A-SpringerProc ()). Then convergence of the stationary scheme is easily proved, moreover, one infers inequalities (8) for the limit of . Then, the result of Theorem 4.1 proves convergence of the scheme for the evolution problem. In a future work, this argument will be applied to a large variety of one-dimensional degenerate parabolic conservation laws with boundary conditions or interface coupling conditions.

5 Numerical experiments

We conclude with numerical illustrations presented in Fig. 1(a),(c), obtained with the explicit analogue of the scheme (4),(5) under the ad hoc CFL restrictions. On this occasion, we use the scheme to highlight the importance of hypothesis (H1). In the test of Fig. 1(b) assumption (H1) fails, and a boundary layer appears. If one refines the mesh one observes convergence of towards a function bounded by while the sequence seems unbounded. However, the condition of zero flux imposed in (5) is relaxed in the limit, making formulation (1) inappropriate outside the framework (H1). Introduction of appropriate boundary formulation satisfied by the limit of the scheme, in absence of (H1), is postponed to future work.

Figure 1: (a) ,    (b)  ,     (c)  , .
Acknowledgements.
This work has been supported by the French ANR project CoToCoLa.

Bibliography

  • (1)
  • (2) Andreianov, B.: In: H.H. Chen G.-Q., K. Karlsen (eds.) Hyperbolic Conservation Laws and Related Analysis with Applications, Springer Proc. in Math. Stat., pp. 1–22
  • (3) Andreianov, B., Bendahmane, M., Karlsen, K.: Discrete duality finite volume schemes for doubly nonlinear degenerate hyperbolic-parabolic equations. J. Hyperb. Diff. Equ. 7 (2010)
  • (4) Andreianov, B., Bouhsiss, F.: Uniqueness for an elliptic-parabolic problem with Neumann boundary condition. J. Evol. Equ. 4, 273–295. (2004)
  • (5) Andreianov, B., Gazibo Karimou, M.: Entropy formulation of degenerate parabolic equation with zero-flux boundary condition. Z. Angew. Math. Phys. 64(5), 1471–1491 (2013)
  • (6) Barthélémy, L., Bénilan, P.: Subsolutions for abstract evolution equations. Potential Anal. 1(1), 93–113 (1992)
  • (7) Bénilan, P., Crandall, M.G., Pazy, A.: Nonlinear evolution equations in Banach spaces. Preprint book
  • (8) Bürger, R., Frid, H., Karlsen, K.H.: On the well-posedness of entropy solutions to conservation laws with a zero-flux boundary condition. J. Math. Anal. Appl. 326(1), 108–120 (2007)
  • (9) Eymard, R., Gallouët, T., Herbin, R.: Finite volume methods. Handbook of Numerical Analysis 7, 713–1018 (2000)
  • (10) Eymard, R., Gallouët, T., Herbin, R., Michel, A.: Convergence of a finite volume scheme for nonlinear degenerate parabolic equations. Numer. Math. 92(1), 41–82 (2002)
  • (11) Gazibo Karimou, M.: Etudes mathématiques et numériques des problèmes paraboliques avec des conditions aux limites. Thèse de Doctorat Besançon, (2013)
  • (12) Panov, E.Y.: Existence of strong traces for quasi-solutions of multidimensional conservation laws. J. Hyperb. Diff. Equ. 4(4), 729–770 (2007)
  • (13) Panov, E.Y.: On the strong pre-compactness property for entropy solutions of a degenerate elliptic equation with discontinuous flux. J. Differ. Equ. 247(10), 2821–2870 (2009)
  • (14) Vasseur, A.: Strong traces for solutions of multidimensional scalar conservation laws. Arch. Ration. Mech. Anal. 160(3), 181–193 (2001)
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
117399
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description