Loading [MathJax]/jax/output/SVG/jax.js
Research article

A difference scheme for a triangular system of conservation laws with discontinuous flux modeling three-phase flows

  • A triangular system of conservation laws with discontinuous flux that models the one-dimensional flow of two disperse phases through a continuous one is formulated. The triangularity arises from the distinction between a primary and a secondary disperse phase, where the movement of the primary disperse phase does not depend on the local volume fraction of the secondary one. A particular application is the movement of aggregate bubbles and solid particles in flotation columns under feed and discharge operations. This model is formulated under the assumption of a variable cross-sectional area. A monotone numerical scheme to approximate solutions to this model is presented. The scheme is supported by three partial theoretical arguments. Firstly, it is proved that it satisfies an invariant-region property, i.e., the approximate volume fractions of the three phases, and their sum, stay between zero and one. Secondly, under the assumption of flow in a column with constant cross-sectional area it is shown that the scheme for the primary disperse phase converges to a suitably defined entropy solution. Thirdly, under the additional assumption of absence of flux discontinuities it is further demonstrated, by invoking arguments of compensated compactness, that the scheme for the secondary disperse phase converges to a weak solution of the corresponding conservation law. Numerical examples along with estimations of numerical error and convergence rates are presented for counter-current and co-current flows of the two disperse phases.

    Citation: Raimund Bürger, Stefan Diehl, M. Carmen Martí, Yolanda Vásquez. A difference scheme for a triangular system of conservation laws with discontinuous flux modeling three-phase flows[J]. Networks and Heterogeneous Media, 2023, 18(1): 140-190. doi: 10.3934/nhm.2023006

    Related Papers:

    [1] Xiaoxia Wang, Jinping Jiang . The uniform asymptotic behavior of solutions for 2D g-Navier-Stokes equations with nonlinear dampness and its dimensions. Electronic Research Archive, 2023, 31(7): 3963-3979. doi: 10.3934/era.2023201
    [2] Jie Zhang, Gaoli Huang, Fan Wu . Energy equality in the isentropic compressible Navier-Stokes-Maxwell equations. Electronic Research Archive, 2023, 31(10): 6412-6424. doi: 10.3934/era.2023324
    [3] Guochun Wu, Han Wang, Yinghui Zhang . Optimal time-decay rates of the compressible Navier–Stokes–Poisson system in R3. Electronic Research Archive, 2021, 29(6): 3889-3908. doi: 10.3934/era.2021067
    [4] Guoliang Ju, Can Chen, Rongliang Chen, Jingzhi Li, Kaitai Li, Shaohui Zhang . Numerical simulation for 3D flow in flow channel of aeroengine turbine fan based on dimension splitting method. Electronic Research Archive, 2020, 28(2): 837-851. doi: 10.3934/era.2020043
    [5] Jie Qi, Weike Wang . Global solutions to the Cauchy problem of BNSP equations in some classes of large data. Electronic Research Archive, 2024, 32(9): 5496-5541. doi: 10.3934/era.2024255
    [6] Keqin Su, Rong Yang . Pullback dynamics and robustness for the 3D Navier-Stokes-Voigt equations with memory. Electronic Research Archive, 2023, 31(2): 928-946. doi: 10.3934/era.2023046
    [7] Pan Zhang, Lan Huang, Rui Lu, Xin-Guang Yang . Pullback dynamics of a 3D modified Navier-Stokes equations with double delays. Electronic Research Archive, 2021, 29(6): 4137-4157. doi: 10.3934/era.2021076
    [8] Wanxun Jia, Ling Li, Haoyan Zhang, Gengxiang Wang, Yang Liu . A novel nonlinear viscous contact model with a Newtonian fluid-filled dashpot applied for impact behavior in particle systems. Electronic Research Archive, 2025, 33(5): 3135-3157. doi: 10.3934/era.2025137
    [9] Caifeng Liu, Pan Liu . On Liouville-type theorem for the stationary compressible Navier–Stokes equations in R3. Electronic Research Archive, 2024, 32(1): 386-404. doi: 10.3934/era.2024019
    [10] Jingjing Zhang, Ting Zhang . Local well-posedness of perturbed Navier-Stokes system around Landau solutions. Electronic Research Archive, 2021, 29(4): 2719-2739. doi: 10.3934/era.2021010
  • A triangular system of conservation laws with discontinuous flux that models the one-dimensional flow of two disperse phases through a continuous one is formulated. The triangularity arises from the distinction between a primary and a secondary disperse phase, where the movement of the primary disperse phase does not depend on the local volume fraction of the secondary one. A particular application is the movement of aggregate bubbles and solid particles in flotation columns under feed and discharge operations. This model is formulated under the assumption of a variable cross-sectional area. A monotone numerical scheme to approximate solutions to this model is presented. The scheme is supported by three partial theoretical arguments. Firstly, it is proved that it satisfies an invariant-region property, i.e., the approximate volume fractions of the three phases, and their sum, stay between zero and one. Secondly, under the assumption of flow in a column with constant cross-sectional area it is shown that the scheme for the primary disperse phase converges to a suitably defined entropy solution. Thirdly, under the additional assumption of absence of flux discontinuities it is further demonstrated, by invoking arguments of compensated compactness, that the scheme for the secondary disperse phase converges to a weak solution of the corresponding conservation law. Numerical examples along with estimations of numerical error and convergence rates are presented for counter-current and co-current flows of the two disperse phases.



    The three-dimensional Navier-Stokes equations with damping describe the flow when there exists resistance in the fluid motion. The damping is related to various physical phenomena, such as air drag, friction effects or relative motion, caused by internal friction of fluid and the limitation of flow channel interface leading to friction and collision between fluid particles and walls.

    This paper is concerned with the asymptotic behavior of the 3D Navier-Stokes equations with nonlinear damping for a viscous incompressible fluid on the torus Ω=3i=1(0,Li)R3 and tR+ in the space-periodic case:

    {tuνΔu+(u)u+α|u|β1u+p=f  in  Ω×R+,u=0  in  Ω×R+,u(x+Liei,t)=u(x,t),  i=1,2,3,u(x,t=0)=u0(x), (1.1)

    where the kinematic viscosity ν>0 and the external force f=f(x,t) are given in appropriate Sobolev space and the constant α>0 is a characteristic parameter of the elasticity for fluid flow, β1 is a fixed positive parameter which describes the increasing radio. The above system formed by the unknown three-component velocity field u=(u1,u2,u3) and the scalar pressure p represents the conservation law of momentum and mass.

    When the parameter α disappears, system (1.1) reduces to the 3D classic incompressible Navier-Stokes equations, whose well-posedness (see [1,2,3,4,5,6,7]) and dynamic systems (see [8,9]) have been extensively investigated based on non-uniqueness of weak solution and global existence of strong solution in bounded or periodic domain. Now for the more general case α>0, Cai and Jiu have proved that the Cauchy problem of the 3D Navier-Stokes equations with nonlinear damping term has global weak solution for β1, global strong solution for β72 and the uniqueness for 72β5 in [10]. Since the nonlinear damping term α|u|β1u leads to more regularity than the classical Navier-Stokes equations, the research on infinite dimensional dynamic systems for (1.1) are progressively improved, such as [11,12,13,14].

    Based on the development of 2D/3D Navier-Stokes equations, there have many related literatures paying attention to the determination and reduction of incompressible flow flows, for instance in [15,16], the authors give the upper bound of determining modes for the 2D Navier-Stokes equations in the periodic case.

    Inspired by [10,15,16,17,18], we consider the determination of trajectories for the damped Navier-Stokes model (1.1). The main results and features can be summarized as follows.

    (I) As shown in [10], the nonlinear damping term α|u|β1u resulting in more regularity, the system (1.1) possesses a global strong solution satisfying

    uL(0,T;˙Vper)L2(0,T;H2(Ω)3)L(0,T;Lβ+1(Ω)3), (1.2)

    which guarantees the research on asymptotic behavior can be achieved. However, more assumption on u and f are needed as

    Ωudx=Ωfdx=0,    tR+, (1.3)

    which implies Poincaré's inequality holds.

    (II) For the non-autonomous case, by using the estimates on Galerkin's approximated equation, the Mazur inequality and continuous embedding ˙VperL3(β1)2(Ω)3, the finite determining modes m has been presented via the restriction on generalized Grashof number Gr as mCG3r for 72β5.

    (III) For the autonomous case, the problem is called asymptotic determination if there exists finite Fourier functionals F={Fi} with i=1,2,,n, such that the trajectories inside global attractor can be determined. Based on the existence of global attractor in [14], we can proved that the autonomous system (1.1) is asymptotic determining if n>C(Lνλ1)32 is large enough, where L is defined in Section 3.4.

    The structure of this paper is organized as follows. In Section 2, the preliminaries and functional setting are stated. The main results are shown in Section 3, the further research and some comments are also presented in this part.

    Following the notation in [4,6,7,16], denote

    ˙Hper={uL2per(Ω)3|Ωudx=0,u=0}={u=kZ3{0}ˆuke2πikLx|ˆuk=ˆuk,kLˆuk=0,kZ3{0}|ˆuk|2<} (2.1)

    and

    ˙Vper={uH1per(Ω)3|Ωudx=0,u=0}={u=kZ3{0}ˆuke2πikLx|ˆuk=ˆuk,kLˆuk=0,kZ3{0}|kL|2|ˆuk|2<}, (2.2)

    where ˆuk denotes the kth Fourier coefficient, k=(k1,k2,k3)Z3{0} and L=(L1,L2,L3).

    It is easy to check that ˙Hper and ˙Vper are Hilbert spaces with the inner products

    (u,v)˙Hper=Ωu(x)v(x)dx,    (u,v)˙Vper=3i,j=1Ωuixjvixjdx (2.3)

    and the norms

    u˙Hper=(kZ3{0}|ˆuk|2)12,    u˙Vper=(kZ3{0}|kL|2|ˆuk|2)12 (2.4)

    respectively.

    In this part, the Helmholtz-Leray projector PL on the Lebesgue space ˙L2per(Ω) is defined via the Helmholtz-Weyl decomposition

    ˙L2per(Ω)3=˙HperG(Ω), (2.5)

    where the curl field ˙Hper is defined as (2.1) whose element satisfies the weakly divergence free condition

    <u,ϕ>=0  for every  u˙Hper,  ϕC0(Ω), (2.6)

    and the gradient field G(Ω) on the torus Ω is defined by

    G(Ω)={u˙L2per(Ω)3|u=g,  gH1(Ω)}. (2.7)

    The decomposition (2.5) means, every function u˙L2per(Ω)3 can be decomposed uniquely as

    u=h+g, (2.8)

    where the function h belongs to ˙Hper and the scalar function g belongs to H1(Ω) (see [6]).

    Now, the Helmholtz-Leray projector PL on the torus Ω is defined as

    PL:˙L2per(Ω)3˙Hper,  (2.9)

    where u˙L2per(Ω)3 and h˙Hper, i.e., PLu=h for u˙L2per(Ω)3.

    The Stokes operator A is defined as

    Au=PL(Δu)=PLΔu,  for any  uH2(Ω)3, (2.10)

    with noting that A=Δ in the three-dimensional periodic case (see [4]). Since A is a positive operator, we can deduce that the eigenvalues λi of the operator A are positive and satisfy

    0<λ1λ2λi<  and  limiλi=. (2.11)

    Hence, for u belongs to ˙Hper, the Poincaré inequality

    u2˙Hper1λ1u2˙Vper,   for all  u˙Vper (2.12)

    holds.

    The bilinear and trilinear operators are defined as

    B(u,v)=PL(u)v  and  b(u,v,w)=(PL(u)v,w)˙Hper, (2.13)

    which satisfy

    b(u,v,w)=b(u,w,v)  and  b(u,v,v)=0,  for any  u,v,w˙Vper. (2.14)

    Lemma 2.1. (The Ladyzhenskaya inequality) For u defined on the tours ΩR3, the following estimates

    u(x)L4per(Ω)3u14˙Hperu34˙Vper, (2.15)
    u(x)Lper(Ω)3u12˙VperAu12˙Hper. (2.16)

    hold.

    Proof. See, e.g., [6] for more detail.

    Lemma 2.2. (The Mazur inequality) Let p0 is an arbitrary non-negative constant, one can deduce the following inequality for any x, yR

    2p|xy|p+1|x|x|py|y|p|(p+1)|xy|(|x|p+|y|p). (2.17)

    Proof. See, e.g., Kuang [19].

    Lemma 2.3. (The generalized Gronwall inequality) Let η=η(t) and ϕ=ϕ(t) be locally integrable real-valued functions on [0,) that satisfy the following conditions for some T>0:

    lim inft1Tt+Ttη(τ)dτ>0,lim supt1Tt+Ttη(τ)dτ<,limt1Tt+Ttϕ+(τ)dτ=0, (2.18)

    where η(t)=max{η(t),0} and ϕ+(t)=max{ϕ(t),0}. Suppose that γ=γ(t) is an absolutely continuous nonnegative function on [0,) that satisfies the following inequality almost everywhere on [0,):

    dγdt+ηγϕ. (2.19)

    Then γ0, as t0.

    Proof. See, the detailed proof in [4,16].

    Recalling the Galerkin decomposition u=i=1ˆuiωi associated with the eigenfunctions ωi of the Stokes operator, we denote the first m Fourier modes Pmu and residual modes Qmu as follows

    Pmu(x,t)=mi=1ˆuiωi,  Qmu(x,t)=i=m+1ˆuiωi, (3.1)

    which satisfy

    (Pmu(x,t),Qmu(x,t))˙Hper=0, (3.2)

    according to orthogonal properties of eigenfunctions ωi(i=1,2,,). Moreover, the Poincaré-Wirtinger inequality with respect to the function Qmu with zero space average under the periodic case

    Qmu(x,t)2˙Hper1λm+1Qmu(x,t)2˙Vper (3.3)

    and the inverse Poincaré-Wirtinger inequality for Pmu

    Pmu(x,t)2˙VperλmPmu(x,t)2˙Hper (3.4)

    are true.

    The Grashof number Gr is a dimensionless number for fluid dynamics whose approximate is the ratio of the buoyant to viscous forces acting on a fluid. Following [4,16], we define the Grashof number with regard to the first eigenvalues of the Stokes operator λ1, fluid viscosity ν and external force term f.

    Definition 3.1. (The Grashof number) In the three-dimensional space, we define the Grashof number by

    Gr=Fν2λ1, (3.5)

    where F2=lim supt1Tt+Ttf(s)2˙Hperds with F>0.

    Considering two solenoidal vector fields u(x,t), v(x,t) and two scalar functions p(x,t), q(x,t) respectively satisfying 3D Navier-Stokes equations with the damping term sharing the same periodic boundary condition

    {tuνΔu+(u)u+α|u|β1u+p=f  in  Ω×R+,u=0  in  Ω×R+ (3.6)

    and

    {tvνΔv+(v)v+α|v|β1v+q=g  in  Ω×R+,v=0  in  Ω×R+, (3.7)

    where f=f(x,t) and g=g(x,t) are the corresponding external force terms for the above two systems, then we can derive the appropriate evolution equations for u and v by using the Helmholtz-Weyl decomposition PL as

    dudt+νAu+B(u,u)+αPL|u|β1u=PLf  in  Ω×R+ (3.8)

    and

    dvdt+νAu+B(v,v)+αPL|v|β1v=PLg  in  Ω×R+ (3.9)

    respectively.

    Theorem 3.2. Suppose that β1, T>0, the initial value u0˙Hper and the external force term f˙Hper. Then there exists a global weak solution of the initial boundary value problem (1.1) such that

    uL(0,T;˙Hper)L2(0,T;˙Vper)Lβ+1(0,T;Lβ+1(Ω)3). (3.10)

    Moreover, suppose that 72β5, u0˙VperLβ+1(Ω)3, there exists a unique global strong solution to system (1.1) satisfying

    uL(0,T;˙Vper)L2(0,T;H2(Ω)3)L(0,T;Lβ+1(Ω)3). (3.11)

    Proof. Here by using the Galerkin approximated approach and localized technique to achieve a priori estimate, then by virtue of compact argument and limiting process, we can obtain the desired results, we skip the detail in this part. The proof is similar as the existence of global weak and strong solution in Rn can be seen in Cai and Jiu [10], and the bounded domain in Song and Hou [14], except some minor revision for our problem with periodic boundary.

    Theorem 3.3. Assume u is the strong solution in Theorem 3.2, then for any t,T>0, u satisfies the following estimate

    t+TtAu2˙HperdτCν2t+Ttf2˙Hperdτ, (3.12)

    when T is large enough.

    Proof. Multiplying (3.8) by Au and integrate over Ω, we obtain

    12ddtu2˙Vper+νAu2˙Hper+αΩ|u|β1|u|2dx+α(β1)4Ω|u|β3||u|2|2dx   =(f,Au)˙Hperb(u,u,Au). (3.13)

    The Hölder inequality, the Young and Gagliardo-Nirenberg inequalities result in

    |b(u,u,Au)|C(Ω|uu|2dx)12Au˙Hperν8Au2˙Hper+CνΩ|uu|2dxν8Au2˙Hper+Cνu2Lβ+1(Ω)3u2L2(β+1)β1(Ω)3ν8Au2˙Hper+Cνu2Lβ+1(Ω)3Au2(11β)β+7˙Hperu4(β2)β+7Lβ+1(Ω)3ν8Au2˙Hper+Cνu6(β+1)β+7Lβ+1(Ω)3Au2(11β)β+7˙Hperν4Au2˙Hper+Cν3u2(β+1)Lβ+1(Ω)3, (3.14)

    and

    |(f,Au)˙Hper|Cνf2˙Hper+ν4Au2˙Hper (3.15)

    for 72β5.

    Substituting (3.14) and (3.15) into (3.13) for any t, t0R+, we derive

    νtt0Au2˙HperdτCνtt0f2˙Hperdτ+Cν3tt0u2(β+1)Lβ+1(Ω)3dτ+u(t0)2˙Vper. (3.16)

    Then, the uniform boundedness of u(t)˙Vper and u(t)Lβ+1(Ω)3 results in the following estimate

    tt0Au2˙HperdτCν2tt0f2˙Hperdτ (3.17)

    for sufficiently large constant C which is bigger then the one in (3.16), which leads to (3.12), the proof is complete.

    Theorem 3.4. Assume that 72β5, u is the global strong solution in Theorem 3.2. Then the first m modes are determining of (1.1), i.e.,

    PmuPmv˙Hper0,  as  t, (3.18)

    implies

    uv˙Hper0,  as  t (3.19)

    provided that mR+ satisfies

    mCG3r, (3.20)

    where C is the constant only depending on λ1, and Gr is the Grashof number (see Definition 3.1).

    Proof. Let w=uv. Then w satisfies

    (dwdt,ωi)+ν(Aw,ωi)+b(w,u,ωi)+b(v,w,ωi)+α(|u|β1u|v|β1v,ωi)˙Hper    =(fg,ωi)˙Hper (3.21)

    in distribution sense.

    Since Qmu=i=m+1ˆui(t)ωi, Pmu and Qmu are orthogonal, it follows that

    12ddtQmw2˙Hper+νQmw2˙Vper+b(w,u,Qmw)+b(v,w,Qmw)+α(|u|β1u|v|β1v,Qmw)˙Hper=(f(x,t)g(x,t),Qmw)˙Hper. (3.22)

    Based on the monotonicity of the nonlinear term, we can get

       α(|u|β1u|v|β1v,Qmw)˙Hper=α(|u|β1u|v|β1v,w)˙Hperα(|u|β1u|v|β1v,Pmw)˙Hperα(|u|β1u|v|β1v,Pmw)˙Hper, (3.23)

    which leads to the following inequality

       12ddtQmw2˙Hper+νQmw2˙Vper|b(w,u,Qmw)|+|b(v,w,Qmw)|+|α(|u|β1u|v|β1v,Pmw)˙Hper|   +|(f(x,t)g(x,t),Qmw)˙Hper|. (3.24)

    Next, the estimates for every term in (3.24) will be proceed for applying the generalized Gronwall inequality (Lemma 2.3) with ξ=Qmw˙Hper.

    Noting that u=Pmu+Qmu and the properties of trilinear operators (2.14), we write

    |b(w,u,Qmw)||b(Pmw,Qmw,u)|+|b(Qmw,u,Qmw)|=:b1+b2 (3.25)

    and

    |b(v,w,Qmw)|=|b(v,Pmw,Qmw)|=|b(v,Qmw,Pmw)|=:b3. (3.26)

    The Hölder and Young inequalities for bi(i=1,2,3), and Lemma 2.1 result in

    b1CPmwL4per(Ω)3Qmw˙VperuL4per(Ω)3CPmw14˙HperPmw34˙VperQmw˙Vperu14˙Hperu34˙Vper, (3.27)
    b2CQmw˙HperQmw˙VperuL(Ω)3ν2Qmw2˙Vper+C2νQmw2˙HperAu2˙Hper

    and

    b3CvL4per(Ω)3Qmw˙VperPmwL4per(Ω)3Cv14˙Hperv34˙VperQmw˙VperPmw14˙HperPmw34˙Vper, (3.28)

    where C represents different variable-independent constants.

    Noting that 72β5, we have the following embedding

    ˙VperL3(β1)2(Ω)3 (3.29)

    by the Sobolev theorem. For the damping term in (3.24), applying (3.29), Mazur's inequality (Lemma 2.2), Hölder's inequality, Young's inequality and ˙VperL6(Ω)3, we obtain

       |α(|u|β1u|v|β1v,Pmw)˙Hper|αβΩ|w|((|u|β1+|v|β1)|Pmw|dxαβwL6(Ω)3(uβ1L3(β1)2(Ω)3+vβ1L3(β1)2(Ω)3)PmwL6(Ω)3Cαβw˙Vper(uβ1˙Vper+vβ1˙Vper)Pmw˙Vper.. (3.30)

    For the remaining external force term in (3.24), the Cauchy-Schwarz inequality results in

    |(f(t)g(t),Qmw)˙Hper|f(t)g(t)L2(Ω)Qmw˙Hper. (3.31)

    Combining (3.22), (3.27), (3.28), (3.30) and (3.31), we conclude

    ddtQmw2˙Hper+νQmw2˙VperCνQmw2˙HperAu2˙HperCPmw14˙HperPmw34˙VperQmw˙Vperu14˙Hperu34˙Vper+Cv14˙Hperv34˙VperQmw˙VperPmw14˙HperPmw34˙Vper+Cαβw˙Vper(uβ1˙Vper+vβ1˙Vper)Pmw˙Vper+f(t)g(t)˙HperQmw˙Hper, (3.32)

    which can be rewritten in the form

    dγ(t)dt+η(t)γ(t)ϕ(t) (3.33)

    from (3.3) and (3.4) and the notations

    γ(t)=Qmw2˙Hper,η(t)=νλm+1CνAu2˙Hper,ϕ(t)=CPmw14˙HperPmw34˙VperQmw˙Vperu14˙Hperu34˙Vper          +CPmw˙Hper(λ34mv14˙Hperv34˙VperQmw˙Vper          +αβλmw˙Vper(uβ1˙Vper+vβ1˙Vper))          +f(t)g(t)˙HperQmw˙Hper. (3.34)

    The uniform boundedness of u, v, w in ˙Hper, ˙Vper, Lβ+1(Ω)3 from Theorem 3.2 together with convergences Pmw˙Hper and f(t)g(t)L2(Ω) yield

    ϕ(t)0  as  t (3.35)

    provided that (2.18) is true. Hence, (2.18) is verified by

    lim inft1Tt+Ttη(τ)dτ=νλm+1lim supt1Tt+TtCνAu2˙Hperdτνλm+1CF2ν3>0 (3.36)

    via the estimate

    lim supt1Tt+TtAu2˙HperdτCF2ν2 (3.37)

    from Theorem 3.3.

    According to λm=Cλ1m23, and the definition of Grashof number Gr (see Definition 3.1), we conclude that

    m>CG3r. (3.38)

    The proof is complete.

    Remark 3.1. In Theorem 3.4, we give the determining modes for weak solution of system (1.1) when the strong solution exists. However, if there is only the existence of weak solution, the determining modes for system (1.1) is still open.

    In this part, we consider the 3D damped Navier-Stokes equations with autonomous force f(x) as

    {tuνΔu+(u)u+α|u|β1u+p=f(x)  in  Ω×R+,u=0  in  Ω×R+,u(x+Liei,t)=u(x,t),  i=1,2,3,u(x,t=0)=u0. (3.39)

    Similar as the non-autonomous case above, the equivalent abstract form of (3.39) can be given by

    dudt+νAu+B(u,u)+αPL|u|β1u=PLf(x)  in  Ω×R+, (3.40)

    where PL still denotes the Helmholtz-Leray projector. Based on the well-posedness of (3.40), Li et al. study the existence of a finite dimensional global attractor as following.

    Theorem 3.5. Assume that f˙Hper and u0˙Vper, Then the semigroup {Lt}t0 generated by problem (3.39) possesses a ˙Vper-global attractor A.

    Proof. See, e.g., Li et al. [12], which studied the damped Navier-Stokes equations in the non-slip boundary condition. We can similarly get the dynamical system to the problem (3.39) on the periodic boundary condition.

    Consider the system F={F1,F2,,Fn} of linear functionals generated by the corresponding Fourier modes Fn(u)=:(u,ωn), where ωn denotes the eigenfunctions of the Stokes operator. In what follows, we will prove the asymptotic determination for (3.39) with autonomous external force f(x) according to Theorem 3.5, namely, the system F is determining if n is large enough.

    Theorem 3.6. Let 72β5 and n satisfy the inequality

    n>C(Lνλ1)32, (3.41)

    where L=L(ν,α,β,uL(0,T;˙Vper),uL2(0,T;H2(Ω)3),uL(0,T;Lβ+1(Ω)3)) is a dimensionless constant, λ1 denotes the primary eigenvalue. Then the system F of the first n Fourier modes is asymptotically determining for the dynamical system generated by (3.39).

    Proof. Let u(t) and v(t) be two trajectories inside the finite dimensional global attractor A in Theorem 3.5. Denote w(t)=u(t)v(t), then it is easy to check that w(t) satisfies

    dwdt+νAw=B(v,v)B(u,u)+αPL|v|β1vαPL|u|β1u  in  Ω×R+. (3.42)

    Next, multiplying (3.42) by Aw and integrating over Ω, noting that PL is symmetric and (2.14), we obtain

    12ddtw2˙Vper+νAw2˙Hper     |b(w,u,Aw)|+|b(v,w,Aw)|+α|(|u|β1u|v|β1v,Aw)|. (3.43)

    The Hölder inequality, Young's inequality and Lemma 2.1 yield the estimates

    |b(w,u,Aw)|CwLper(Ω)3u˙VperAw˙HperCw12˙Vperu˙VperAw32˙Hperν6Aw2˙Hper+C1(ν)w2˙Vperu4˙Vper (3.44)

    and

    |b(v,w,Aw)|CvLper(Ω)3w˙VperAw˙HperCv12˙VperAv12˙Hperw˙VperAw˙Hperν6Aw2˙Hper+C2(ν)v˙VperAv˙Hperw2˙Vper, (3.45)

    where C1(ν)=729C32ν3 and C2(ν)=3C2ν depend on the dimensionless constant ν only.

    For the damping term in (3.43), by using Hölder's and Young's inequalities, we obtain

       α|(|u|β1u|v|β1v,Aw)|C(Ω|α|u|β1uα|v|β1v|2dx)12Aw˙Hperν6Aw2˙Hper+C2(ν)Ω|α|u|β1uα|v|β1v|2dx. (3.46)

    Hence, Mazur's inequality, ˙Vper˙L6per(Ω) and Hölder's inequality result in

       Ω|α|u|β1uα|v|β1v|2dxCΩ(|u|β1|w|+||u|β1|v|β1||v|)2dxCΩ(|u|2(β1)|w|2dx+CΩ(|u|β2+|v|β2)2|v|2|w|2dxCu2(β1)L3(β1)(Ω)3w2L6(Ω)3+C(u2(β2)L6(β2)(Ω)3+v2(β2)L6(β2)(Ω)3)      v2L6(Ω)3w2L6(Ω)3Cu2(β1)L3(β1)(Ω)3w2˙Vper+C(u2(β2)L6(β2)(Ω)3+v2(β2)L6(β2)(Ω)3)      v|2˙Vperw|2˙Vper. (3.47)

    Substituting (3.44)–(3.47) into (3.43), we conclude

       ddtw2˙Vper+νAw2˙Hper2w2˙Vper(C1u4˙Vper+C2v˙VperAv˙Hper+C3u2(β1)L3(β1)(Ω)3   +C3(u2(β2)L6(β2)(Ω)3+v2(β2)L6(β2)(Ω)3)v|2˙Vper), (3.48)

    where C3=C3(ν,α,β) is a dimensionless constant.

    Owing to 72<β<5, we have

    t0u2(β1)L3(β1)(Ω)3dτCu2(β+1)2β+7L(0,t;Lβ+1(Ω)3)u8(β2)β+7L2(0,T;H2(Ω)3)t3(5β)β+7,t0u2(β2)L6(β2)(Ω)3dτCu2(β1)3β+7L(0,t;Lβ+1(Ω)3)u2(5β13)β+7L2(0,T;H2(Ω)3)t4(5β)β+7 (3.49)

    are all bounded for any 0<t<.

    Denote

    L=2(C1u4˙Vper+C2v˙VperAv˙Hper+C3u2(β1)L3(β1)(Ω)3   +C3(u2(β2)L6(β2)   (Ω)3+v2(β2)L6(β2)   (Ω)3)v|2˙Vper), (3.50)

    which is a finite dimensionless constant because of (3.11). Then there exists an n large enough such that νλn+1>L holds, the estimate (3.48) can be reduced to

    ddtw2˙Vper+(νλn+1L)w2˙Vper0, (3.51)

    which yields

    w(t)2˙VpereC(ts)w(s)2˙Vper,  st (3.52)

    for some positive constant C.

    Since u and v belong to the global attractor A, we have w(t)˙Vper0 as t. Hence, the system F is asymptotically determining for the dynamical system of (3.39) when n>C(Lνλ1)32 because of λn+1=Cλ1n23. Therefore, the proof is completed.

    In this section, we discuss some open interrelated issues that might be studied in the prospective investigations and research.

    (I) The determining modes in the periodic case is presented in this paper, which can be proved similarly in the whole space case R3(where the boundary conditions can be considered as |u|0 as |x|) by utilizing the relevant conclusions in [10], but the situation turns out to be quite different in the Dirichlet condition, due to the fact

    A=PLΔΔ, (3.53)

    which implies b(u,u,Au)0 in the Dirichlet boundary condition. So the main ideas and difficulties of the subject is summarized as follows

    {tuνΔu+(u)u+α|u|β1u+p=f  in  ˜Ω×R+,u=0  in  ˜Ω×R+,u(x,t)=0  on  ˜Ω,u(x,t=0)=u0(x), (3.54)

    where ˜Ω denotes an open bounded region in three dimensions. The determination and reduction for our problem defined on bounded domain is our objective in future.

    (II) For the generalized fluid flow, Ladyzhenskaya proposed a revised version of Ladyzhenskaya-type Navier-Stokes model in the 1960s, where the surrounding flow problem was considered

    {tu[(ν0+ν1Duq2L2)Du]+(u)u+p=f,u=0, (3.55)

    where Du=12(u+uT), Guo and Zhu studied the partial regularity of the distribution solution of the initial boundary value problem in the three-dimensional case of the model (see [20]). In order to overcome the difficulties of the model, Lions proposed a new class of polished Navier-Stokes equations (see [5]) with the establishment of the monotonicity method

    {tuν0Δuν1ni=1xi(|u|q1uxi)+(u)u+p=f,u=0. (3.56)

    Exploiting the technique of this work, it is actually possible to study the above models (3.55) and (3.56) in the whole space R3, torus T3, and bounded smooth region Ω respectively, the main difficulty for dealing with their determining modes lies in the unknown spectral relationship of the corresponding operator.

    (III) A further meaningful research is concerned with finite dimensional reduction of the Navier-Stokes equations with damping (1.1). If we can get the Lipschitz property

    h(u)h(v)(˙Hper)Luv˙Hper,  u,v˙Hper, (3.57)

    where h(u) denotes (u)u+α|u|β1u, and

    L<λN+1, (3.58)

    then the first N Fourier modes is asymptotically determining for the dynamic system of (1.1) (see [21]), which leads to the reduction of (1.1) and even the existence of inertial manifold.

    Xin-Guang Yang was partially supported by Cultivation Fund of Henan Normal University (No. 2020PL17), Henan Overseas Expertise Introduction Center for Discipline Innovation (No. CXJD2020003), Key project of Henan Education Department (No. 22A110011). Wei Shi was partially supported by Henan Normal University Postgraduate Research and Innovation Project (No. YL202020).

    The authors declare there is no conflict of interest.



    [1] Adimurthi, G. D. Veerappa Gowda, S. Mishra, Optimal entropy solutions for conservation laws with discontinuous flux, J. Hyperbolic Differ. Equ., 2 (2005), 1–56. https://doi.org/10.1142/S0219891605000361 doi: 10.1142/S0219891605000361
    [2] B. Andreianov, K. H. Karlsen, N. H. Risebro, A theory of L1-dissipative solvers for scalar conservation laws with discontinuous flux, Arch. Ration. Mech. Anal., 201, (2011), 1–60. https://doi.org/10.1007/s00205-010-0389-4 doi: 10.1007/s00205-010-0389-4
    [3] B. Andreianov, C. Donadello, S. S. Ghoshal, U. Razafison, On the attainable set for a class of triangular systems of conservation laws, J. Evol. Equ., 15 (2015), 503–532. https://doi.org/10.1007/s00028-014-0267-x doi: 10.1007/s00028-014-0267-x
    [4] B. Andreianov, D. Mitrović, Entropy conditions for scalar conservation laws with discontinuous flux revisited, Ann. Inst. H. Poincaré C Anal. Non Linéaire, 32 (2015), 1307–1335. https://doi.org/10.1016/j.anihpc.2014.08.002 doi: 10.1016/j.anihpc.2014.08.002
    [5] A. Bressan, G. Guerra, W. Shen, Vanishing viscosity solutions for conservation laws with regulated flux, J. Differ. Equ., 266 (2018), 312–351. https://doi.org/10.1016/j.jde.2018.07.044 doi: 10.1016/j.jde.2018.07.044
    [6] R. Bürger, A. García, K. H. Karlsen, J.D. Towers, A family of numerical schemes for kinematic flows with discontinuous flux, J. Eng. Math., 60 (2008), 387–425. https://doi.org/10.1007/s10665-007-9148-4 doi: 10.1007/s10665-007-9148-4
    [7] S. Boscarino, R. Bürger, P. Mulet, G. Russo, L. M. Villada, Linearly implicit IMEX Runge-Kutta methods for a class of degenerate convection-diffusion problems, SIAM J. Sci. Comput., 37 (2015), B305–B331. https://doi.org/10.1137/140967544 doi: 10.1137/140967544
    [8] R. Bürger, S. Diehl, M. C. Martí, A conservation law with multiply discontinuous flux modelling a flotation column, Netw. Heterog. Media, 13 (2018), 339–371. https://doi.org/10.3934/nhm.2018015 doi: 10.3934/nhm.2018015
    [9] R. Bürger, S. Diehl, M. C. Martí, A system of conservation laws with discontinuous flux modelling flotation with sedimentation, IMA J. Appl. Math., 84 (2019), 930–973. https://doi.org/10.1093/imamat/hxz021 doi: 10.1093/imamat/hxz021
    [10] R. Bürger, S. Diehl, M. C. Martí, Y. Vásquez, Flotation with sedimentation: Steady states and numerical simulation of transient operation, Minerals Eng., 157 (2020), 106419. https://doi.org/10.1016/j.mineng.2020.106419 doi: 10.1016/j.mineng.2020.106419
    [11] R. Bürger, S. Diehl, M.C. Martí, Y. Vásquez, Simulation and control of dissolved air flotation and column froth flotation with simultaneous sedimentation, Water Sci. Tech., 81 (2020), 1723–1732. https://doi.org/10.2166/wst.2020.258 doi: 10.2166/wst.2020.258
    [12] R. Bürger, S. Diehl, M. C. Martí, Y. Vásquez, A degenerating convection-diffusion system modelling froth flotation with drainage, arXiv: 2202.04679, [Preprint], (2022), [cited 2022 Nov 22 ]. Available from: https://doi.org/10.48550/arXiv.2202.04679
    [13] R. Bürger, K. H. Karlsen, N. H. Risebro, J. D. Towers, Well-posedness in BVt and convergence of a difference scheme for continuous sedimentation in ideal clarifier-thickener units, Numer. Math., 97 (2004), 25–65. https://doi.org/10.1007/s00211-003-0503-8 doi: 10.1007/s00211-003-0503-8
    [14] R. Bürger, K. H. Karlsen, H. Torres, J. D. Towers, Second-order schemes for conservation laws with discontinuous flux modelling clarifier-thickener units, Numer. Math., 116 (2010), 579–617. https://doi.org/10.1007/s00211-010-0325-4 doi: 10.1007/s00211-010-0325-4
    [15] R. Bürger, K. H. Karlsen, J. D. Towers, An Engquist-Osher-type scheme for conservation laws with discontinuous flux adapted to flux connections, SIAM J. Numer. Anal., 47 (2009), 1684–1712. https://doi.org/10.1007/s00211-010-0325-4 doi: 10.1007/s00211-010-0325-4
    [16] R. Bürger, K. H. Karlsen, J. D. Towers, On some difference schemes and entropy conditions for a class of multi-species kinematic flow models with discontinuous flux, Netw. Heterog. Media, 5 (2010), 461–485. https://doi.org/10.3934/nhm.2010.5.461 doi: 10.3934/nhm.2010.5.461
    [17] G. M. Coclite, K. H. Karlsen, S. Mishra, N. H. Risebro, Convergence of vanishing viscosity approximations of 2×2 triangular systems of multi-dimensional conservation laws, Boll. Unione Mat. Ital., 2 (2009), 275–284.
    [18] G. M. Coclite, S. Mishra, N. H. Risebro, Convergence of an Engquist-Osher scheme for a multi-dimensional triangular system of conservation laws, Math. Comp., 79 (2010), 71–94. https://doi.org/10.1090/S0025-5718-09-02251-0 doi: 10.1090/S0025-5718-09-02251-0
    [19] M. G. Crandall, L. Tartar, Some relations between nonexpansive and order preserving mappings, Proc. Amer. Math. Soc., 78 (1980), 385–390. https://doi.org/10.1090/S0002-9939-1980-0553381-X doi: 10.1090/S0002-9939-1980-0553381-X
    [20] V. G. Danilov, D. Mitrovic, Delta shock wave formation in the case of triangular hyperbolic system of conservation laws. J. Differ. Equ., 245 (2008), 3704–3734. https://doi.org/10.1090/S0025-5718-09-02251-0 doi: 10.1090/S0025-5718-09-02251-0
    [21] J. E. Dickinson, K. P. Galvin, Fluidized bed desliming in fine particle flotation, Part Ⅰ, Chem. Eng. Sci., 108 (2014), 283–298. https://doi.org/10.1016/j.ces.2013.11.006 doi: 10.1016/j.ces.2013.11.006
    [22] S. Diehl, On scalar conservation laws with point source and discontinuous flux function, SIAM J. Math. Anal., 26 (1995), 1425–1451. https://doi.org/10.1137/S0036141093242533 doi: 10.1137/S0036141093242533
    [23] S. Diehl, A conservation law with point source and discontinuous flux function modelling continuous sedimentation, SIAM J. Appl. Math., 56 (1996), 388–419. https://doi.org/10.1137/S0036139994242425 doi: 10.1137/S0036139994242425
    [24] S. Diehl, Operating charts for continuous sedimentation Ⅰ: control of steady states, J. Eng. Math., 41 (2001), 117–144. https://doi.org/10.1023/A:1011959425670 doi: 10.1023/A:1011959425670
    [25] S. Diehl, The solids-flux theory—confirmation and extension by using partial differential equations, Water Res. 42 (2008), 4976–4988. https://doi.org/10.1016/j.watres.2008.09.005 doi: 10.1016/j.watres.2008.09.005
    [26] B. Engquist, S. Osher, One-sided difference approximations for nonlinear conservation laws, Math. Comp., 36 (1981), 321–351. https://doi.org/10.1090/S0025-5718-1981-0606500-X doi: 10.1090/S0025-5718-1981-0606500-X
    [27] J. A. Finch, G. S. Dobby, Column Flotation, London: Pergamon Press, 1990.
    [28] K. P. Galvin, J. E. Dickinson, Fluidized bed desliming in fine particle flotation Part Ⅱ: Flotation of a model feed, Chem. Eng. Sci., 108 (2014), 299–309. https://doi.org/10.1016/j.ces.2013.11.027 doi: 10.1016/j.ces.2013.11.027
    [29] T. Gimse, N. H. Risebro, Riemann problems with a discontinuous flux function. Third International Conference on Hyperbolic Problems, Theory, Numerical Methods and Applications, 1 (1991), 488–502.
    [30] H. Holden, N. H. Risebro, Front Tracking for Hyperbolic Conservation Laws, 2nd edition, Berlin: Springer Verlag, 2015.
    [31] E. L. Isaacson, J. B. Temple, Analysis of a singular hyperbolic system of conservation laws, J. Differ. Equ., 65 (1986), 250–268.
    [32] K. H. Karlsen, S. Mishra, N. H. Risebro, Semi-Godunov schemes for general triangular systems of conservation laws, J. Eng. Math., 60 (2008), 337–349. https://doi.org/10.1007/s10665-007-9163-5 doi: 10.1007/s10665-007-9163-5
    [33] K. H. Karlsen, S. Mishra, N. H. Risebro, Convergence of finite volume schemes for triangular systems of conservation laws, Numer. Math., 111 (2009), 559–589. https://doi.org/10.1007/s00211-008-0199-x doi: 10.1007/s00211-008-0199-x
    [34] K. H. Karlsen, N. H. Risebro, Convergence of finite difference schemes for viscous and inviscid conservation laws with rough coefficients, ESAIM: Math. Model. Numer. Anal., 35 (2001), 239–269. https://doi.org/10.1051/m2an:2001114 doi: 10.1051/m2an:2001114
    [35] K. H. Karlsen, N. H. Risebro, J. D. Towers, L1 stability for entropy solutions of nonlinear degenerate parabolic convection-diffusion equations with discontinuous coefficients, Skr. K. Nor. Vidensk. Selsk., 3 (2003), 1–49.
    [36] K. H. Karlsen, J. D. Towers, Convergence of a Godunov scheme for conservation laws with a discontinuous flux lacking the crossing condition, J. Hyperbolic Differ. Equ., 14 (2017), 671–701. https://doi.org/10.1142/S0219891617500229 doi: 10.1142/S0219891617500229
    [37] S. N. Kružkov, First order quasi-linear equations in several independent variables, Math. USSR Sb., 10 (1970), 217–243.
    [38] G. J. Kynch, A theory of sedimentation, Trans. Faraday Soc., 48 (1952), 166–176. https://doi.org/10.1039/tf9524800166 doi: 10.1039/tf9524800166
    [39] D. Mitrovic, New entropy conditions for scalar conservation laws with discontinuous flux, Discrete Contin. Dyn. Syst., 30 (2011), 1191–1210. https://doi.org/10.3934/dcds.2011.30.1191 doi: 10.3934/dcds.2011.30.1191
    [40] D. Mitrovic, V. Bojkovic, V. G. Danilov, Linearization of the Riemann problem for a triangular system of conservation laws and delta shock wave formation process, Math. Meth. Appl. Sci., 33 (2010), 904–921. https://doi.org/10.1002/mma.1226 doi: 10.1002/mma.1226
    [41] R. Pal, J. H. Masliyah, Flow characterization of a flotation column, Canad. J. Chem. Eng., 67 (1989), 916–923. https://doi.org/10.1002/cjce.5450670608 doi: 10.1002/cjce.5450670608
    [42] R. Pal, J. H. Masliyah, Oil recovery from oil in water emulsions using a flotation column, Canad. J. Chem. Eng., 68 (1990), 959–967. https://doi.org/10.1002/cjce.5450680611 doi: 10.1002/cjce.5450680611
    [43] E. Yu. Panov, Existence and strong pre-compactness properties for entropy solutions of a first-order quasilinear equation with discontinuous flux, Arch. Rational Mech. Anal., 195 (2010), 643–673. https://doi.org/10.1007/s00205-009-0217-x doi: 10.1007/s00205-009-0217-x
    [44] E. Yu. Panov, Erratum to: Existence and strong pre-compactness properties for entropy solutions of a first-order quasilinear equation with discontinuous flux, Arch. Rational Mech. Anal., 196 (2010), 1077–1078. https://doi.org/10.1007/s00205-009-0217-x doi: 10.1007/s00205-009-0217-x
    [45] P. Quintanilla, S. J. Neethling, P. R. Brito-Parada, Modelling for froth flotation control: A review, Min. Eng., 162 (2021), 106718. https://doi.org/10.1016/j.mineng.2020.106718 doi: 10.1016/j.mineng.2020.106718
    [46] J. F. Richardson, W. N. Zaki, Sedimentation and fluidisation: Part Ⅰ, Trans. Instn. Chem. Engrs. (London), 32 (1954), 35–53.
    [47] M. D. Rosini, Systems of conservation laws with discontinuous fluxes and applications to traffic, Ann. Univ. Mariae Curie-Skłodowska Sect. A, 73 (2019), 135–173.
    [48] C. O. R. Sarrico, A distributional product approach to δ-shock wave solutions for a generalized pressureless gas dynamic system, Int. J. Math., 25, (2014), 145007.
    [49] W. Shen, On the Cauchy problems for polymer flooding with gravitation, J. Differ. Equ., 261 (2016), 627–653. https://doi.org/10.1016/j.jde.2016.03.020 doi: 10.1016/j.jde.2016.03.020
    [50] P. Stevenson, P. S. Fennell, K. P. Galvin, On the drift-flux analysis of flotation and foam fractionation processes, Canad. J. Chem. Eng., 86 (2008), 635–642. https://doi.org/10.1002/cjce.20076 doi: 10.1002/cjce.20076
    [51] J. Vandenberghe, J. Chung, Z. Xu, J. Masliyah, Drift flux modelling for a two-phase system in a flotation column, Canad. J. Chem. Eng., 83 (2005), 169–176.
    [52] Y. Vásquez, Conservation Laws with Discontinuous Flux Modeling Flotation Columns, (Spanish), Doctoral Thesis of Universidad de Concepción, Concepción, 2022.
  • This article has been cited by:

    1. Zhengwang Tao, Xin-Guang Yang, Yan Lin, Chunxiao Guo, Determination of Three-Dimensional Brinkman—Forchheimer-Extended Darcy Flow, 2023, 7, 2504-3110, 146, 10.3390/fractalfract7020146
    2. Jie Cao, Keqin Su, Robustness of 3D Navier–Stokes System with Increasing Damping, 2023, 13, 2076-3417, 1255, 10.3390/app13031255
    3. Xue-li Song, Yuan-yuan Liu, Xiao-tian Xie, The existence of uniform attractors for the 3D micropolar equations with nonlinear damping term, 2024, 9, 2473-6988, 9608, 10.3934/math.2024470
    4. Margaret Cullen, Andre Calitz, Sasha Boucher, Prashna Buddan, The adoption of telemedicine by healthcare practitioners in South Africa, 2025, 25, 1684-1999, 10.4102/ac.v25i2.1329
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(2430) PDF downloads(119) Cited by(4)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog