Opinion formation in voting processes under bounded confidence

  • In recent years, opinion dynamics has received an increasing attention and various models have been introduced and evaluated mainly by simulation. In this study, we introduce a model inspired by the so-called "bounded confidence" approach where voters engaged in an electoral decision with two options are influenced by individuals sharing an opinion similar to their own. This model allows one to capture salient features of the evolution of opinions and results in final clusters of voters. We provide a detailed study of the model, including a complete taxonomy of the equilibrium points and an analysis of their stability. The model highlights that the final electoral outcome depends on the level of interaction in the society, besides the initial opinion of each individual, so that a strongly interconnected society can reverse the electoral outcome as compared to a society with looser exchange.

    Citation: Sergei Yu. Pilyugin, M. C. Campi. Opinion formation in voting processes under bounded confidence[J]. Networks and Heterogeneous Media, 2019, 14(3): 617-632. doi: 10.3934/nhm.2019024

    Related Papers:

    [1] ShinJa Jeong, Mi-Young Kim . Computational aspects of the multiscale discontinuous Galerkin method for convection-diffusion-reaction problems. Electronic Research Archive, 2021, 29(2): 1991-2006. doi: 10.3934/era.2020101
    [2] Shan Jiang, Li Liang, Meiling Sun, Fang Su . Uniform high-order convergence of multiscale finite element computation on a graded recursion for singular perturbation. Electronic Research Archive, 2020, 28(2): 935-949. doi: 10.3934/era.2020049
    [3] Qian He, Wenxin Du, Feng Shi, Jiaping Yu . A fast method for solving time-dependent nonlinear convection diffusion problems. Electronic Research Archive, 2022, 30(6): 2165-2182. doi: 10.3934/era.2022109
    [4] Yue Feng, Yujie Liu, Ruishu Wang, Shangyou Zhang . A conforming discontinuous Galerkin finite element method on rectangular partitions. Electronic Research Archive, 2021, 29(3): 2375-2389. doi: 10.3934/era.2020120
    [5] Suayip Toprakseven, Seza Dinibutun . A weak Galerkin finite element method for parabolic singularly perturbed convection-diffusion equations on layer-adapted meshes. Electronic Research Archive, 2024, 32(8): 5033-5066. doi: 10.3934/era.2024232
    [6] Jin Li, Yongling Cheng . Barycentric rational interpolation method for solving time-dependent fractional convection-diffusion equation. Electronic Research Archive, 2023, 31(7): 4034-4056. doi: 10.3934/era.2023205
    [7] Lijie Liu, Xiaojing Wei, Leilei Wei . A fully discrete local discontinuous Galerkin method based on generalized numerical fluxes to variable-order time-fractional reaction-diffusion problem with the Caputo fractional derivative. Electronic Research Archive, 2023, 31(9): 5701-5715. doi: 10.3934/era.2023289
    [8] Cheng Wang . Convergence analysis of Fourier pseudo-spectral schemes for three-dimensional incompressible Navier-Stokes equations. Electronic Research Archive, 2021, 29(5): 2915-2944. doi: 10.3934/era.2021019
    [9] Guanrong Li, Yanping Chen, Yunqing Huang . A hybridized weak Galerkin finite element scheme for general second-order elliptic problems. Electronic Research Archive, 2020, 28(2): 821-836. doi: 10.3934/era.2020042
    [10] Yao Yu, Guanyu Xue . A nonlinear correction finite volume scheme preserving maximum principle for diffusion equations with anisotropic and discontinuous coefficient. Electronic Research Archive, 2025, 33(3): 1589-1609. doi: 10.3934/era.2025075
  • In recent years, opinion dynamics has received an increasing attention and various models have been introduced and evaluated mainly by simulation. In this study, we introduce a model inspired by the so-called "bounded confidence" approach where voters engaged in an electoral decision with two options are influenced by individuals sharing an opinion similar to their own. This model allows one to capture salient features of the evolution of opinions and results in final clusters of voters. We provide a detailed study of the model, including a complete taxonomy of the equilibrium points and an analysis of their stability. The model highlights that the final electoral outcome depends on the level of interaction in the society, besides the initial opinion of each individual, so that a strongly interconnected society can reverse the electoral outcome as compared to a society with looser exchange.



    The finite element method (FEM) is a numerical technique for finding approximate solutions to boundary value problems for partial differential equations. It uses the subdivision of the whole domain into simpler parts, called finite elements, and variational methods from the calculus of variations to solve the problem by minimizing an associated error function. The discontinuous Galerkin finite element method is a variant of the classical finite element method. Its main difference with classical finite element methods is the continuity of the solution across element interfaces. The discontinuous Galerkin (DG) method does not require the continuity of the solution along edges. Since this leads to ambiguities at element interfaces, the technique from finite volume methodology (FVM), namely the choice of numerical fluxes, has been introduced. From this point of view, DG methods combine features of the finite element methods and finite volume methods. Thus DG methods have several advantages. For instance, DG methods are highly parallelizable and very well suited for handling adaptive strategies. However, DG methods have more degrees of freedom than classical finite element methods.

    On the other hand, the solution of the convection dominated problem has typically singularity and to resolve it one requires very fine meshes in the domain or very high order polynomials in the approximate spaces, which produces very large degrees of freedom especially in the DG method.

    Over the decades, several variants of DG method such as hybridizable DG (HDG), DG with Lagrange multiplier (DGLM), multiscale DG (MDG), have been developed to reduce the degrees of freedom of DG. Concerning MDG, it was first introduced by Hughes et. al. and investigated for advection-diffusion equation [3,6]. They have introduced extra streamline diffusion term in the setting of the MDG to treat the advection term. In [2], MDG was also introduced for elliptic problem without theoretical analysis. In [10], one of the authors has presented the MDG for convection-diffusion-reaction equations without artificial viscosity.

    Relating other multiscale methods for convection diffusion equations, we refer the readers to, for example, [4] and the references cited therein.

    MDG has the computational structure of the continuous Galerkin (CG) method based on the variational multiscale idea (see [2]), which is indeed a DG method. Storage and computational efforts are reduced significantly in high order approximation.

    In this paper, we study computational aspects of the MDG [10]. Especially, we investigate the matrix structure of the MDG. The MDG solution is obtained by composition of the DG and the inter-scale operator. We show that the composition results to the matrix product of the DG matrix and the inter-scale matrix corresponding to the local problem on the element. We apply ILU preconditioned GMRES to effectively solve the resulting global system.

    This paper is organized as follows. In Section 2, we introduce the model problem called the convection-diffusion-reaction equation. In Section 3, we introduce finite element spaces for the MDG method. In Section 4, we define the parameters and describe the MDG method for the model problem. In Section 5, we form the computational structure of the MDG. Finally, in Section 6, we show the numerical results with convection dominated problems.

    Let $ \Omega $ be a bounded open domain in $ \mathbb{R}^m $, $ m = 2,3 $ with a polyhedral boundary $ \partial \Omega $. We consider the convection-diffusion-reaction equation

    $ Lu(A(x)u)+b(x)u+c(x)u=f(x),
    $
    (2.1)

    where $ f \in L^{2}(\Omega) $ and $ c \in L^{\infty}(\Omega) $ are real valued, $ {\bf b} $ is the solenoidal vector field defined on $ \overline{\Omega} $, and $ {\bf A} $ is a symmetric matrix whose entries are bounded, piecewise continuous real valued functions defined on $ \overline{\Omega} $, with

    $ ζTA(x)ζ>0ζRma.e. x¯Ω.
    $
    (2.2)

    By $ \vec{n}(x) $ we denote the unit outward normal vector to $ \partial \Omega $ at $ x \in \partial \Omega $. We divide the boundary as follows: Let

    $ Ωo={xΩ:n(x)TA(x)n(x)>0},Ω={xΩΩo:b(x)n(x)<0},Ω+={xΩΩo:b(x)n(x)0}.
    $
    (2.3)

    The sets $ \partial \Omega_{-} $ and $ \partial \Omega_{+} $ will be referred to as the inflow and outflow boundaries, respectively. Clearly we see that $ \partial \Omega = \partial \Omega_{o} \cup \partial \Omega_{-} \cup \partial \Omega_{+} $. If $ \partial \Omega_{0} $ is nonempty, we shall further divide it into disjoint subsets $ \partial \Omega_{D} $ and $ \partial \Omega_{N} $ whose union is $ \partial \Omega_{o} $ with $ \partial \Omega_{D} $ is nonempty and relatively open in $ \partial \Omega $. We supplement (2.1) with the boundary conditions:

    $ u=gDon ΩDΩ,(Au)n=gNon ΩN,
    $
    (2.4)

    and adopt the (physically reasonable) hypothesis that $ {\bf b} \cdot \vec{n} \ge 0 \mbox { on } \partial \Omega_{N} $ whenever $ \partial \Omega_{N} $ is nonempty. We assume that the values of the diffusion coefficient $ {\bf A} $ and the velocity field $ {\bf b} $ ensure well-posedness of (2.1) and (2.4). Additional assumptions on these coefficients will be set later on (see [10]).

    In this section, we introduce the finite element spaces for the MDG method. We recall the space $ L^{2}(\Omega) $ of all square integrable functions and the space $ H^{1}(\Omega) $ of all functions in $ L^{2}(\Omega) $ that have square integrable derivatives. To define approximation spaces, we consider a uniformly regular partition $ \mathcal{T}_h $ of $ \Omega $ into finite elements $ E $.

    Let $ \mathcal{T}_h $ be a regular family of triangulations of $ \Omega $ in the sense that there exists a $ \kappa>0 $ such that $ \frac{h}{h_{\min}}<\kappa $, where $ h_{\min} = \min(h_{E})|_{E\in\mathcal{T}_h} $, $ h_{E} $ is the diameter of $ E \in \mathcal{T}_h $, and $ h = \max(h_{E})|_{E\in\mathcal{T}_h} $. We assume that $ \mathcal T_{h} $ contains only regular nodes, that is, each element vertex is also a vertex to all adjacent elements and there are no hanging nodes. The elements $ E \in \mathcal{T}_h $ are either triangles and/or quadrilaterals in two dimensional space or tetrahedra and/or hexahedra in three dimensional space. The vector $ \vec{n}_E(x) $ is also used as the outward unit normal to $ \partial E $ at $ x \in \partial E $, which coincides with the one on $ \partial \Omega $. We denote by $ \mathcal {E}_h $ the set of all edges of $ \mathcal{T}_h $, by $ \mathcal {E}_h^i $ the set of all interior edges, and by $ \mathcal{E}_h^o = \mathcal {E}_h \backslash \mathcal{E}_h^i $ the set of all outer edges.

    In consistent DG methods, the solution values are coupled by generalized flux functions across the edges and they appear by the jumps and averages. Let $ e $ be an interior edge shared by two elements $ E_{1} $ and $ E_{2} $ and let $ \vec{n}_1 $ and $ \vec{n}_2 $ be the unit normal vectors on $ e $ pointing exterior to $ E_{1} $ and $ E_{2} $, respectively. With $ \phi_{j} : = \phi_{\mid_{E_{j}}} $, following [1,2,10], we define

    $ \{ \phi \} = \frac{1}{2} (\phi_{1} + \phi_{2} ), \quad [[\phi]] = \phi_{1} \vec{n}_{1} + \phi_{2} \vec{n}_{2} \quad \mbox{on } e \in \mathcal {E}_h^i. $

    For a vector valued function $ \vec{\tau} $ which is piecewise smooth on $ \mathcal {T} $, with analogous meaning for $ \vec{\tau}_{1} $ and $ \vec{\tau}_{2} $, we define

    $ {τ}=12(τ1+τ2),[[τ]]=τ1n1+τ2n2on eEih.
    $

    Notice that the jump $ [[ \phi]] $ of the scalar function $ \phi $ across $ e \in \mathcal {E}_h^i $ is a vector parallel to the normal to $ e $, and the jump $ [[\vec{\tau}]] $ of the vector function $ \vec{\tau} $ is a scalar quantity. For $ e \in \mathcal {E}_h^o $, the set of boundary edges, we let

    $ [[ϕ]]=ϕn,{τ}=τ.
    $

    We do not require either of the quantities $ \{ \phi \} $ or $ [[\vec{\tau}]] $ on boundary edges, and leave them undefined there.

    We now assign to $ \mathcal {T}_h $ the broken Sobolev space of order $ p $,

    $ Hp(Th)={wL2(Ω):wEHp(E),ETh},
    $

    equipped with the broken Sobolev norm $ \left ( \sum_{E \in \mathcal {T}_h} \| w \|^{2}_{H^{p}(E)} \right )^{1/2} $. When $ p = 0 $, we denote by $ \| \cdot \|_{E} $ the norm in $ L^{2}(E) $ and similarly by $ \| \cdot \|_{\partial E} $ the norm in $ L^{2} (\partial E) $. For the construction of the MDG, we first consider the continuous finite element space

    $ ¯Wh(Ω)={¯vH1(Ω):¯vEPr(E), ETh}
    $

    and then associate with it the discontinuous approximation spaces:

    $ Wh(Ω)={vL2(Ω):vEPr(E), ETh},Wh(E)={μL2(E):μPr(E), ETh}.
    $

    $ W_{h}(\Omega) $ is then viewed as being obtained from $ \overline{W}_{h}(\Omega) $ by releasing interelement continuity constraints. Also $ W_{h}(\Omega) $ is a formal union of the local spaces $ W_{h}(E) $.

    In this section, we introduce the MDG method (see [6,10]). To do that, we start with a DG method for (2.1) and (2.4) given as follows: Find $ u_{h} \in W_{h}(\Omega) $ such that

    $ B(uh,v)=L(gD,gN,f;v), vWh(Ω),
    $
    (4.1)

    where $ B(\cdot,\cdot) $ is a bilinear form defined on $ H^{2}(\mathcal{T}_h) \times H^{2}(\mathcal{T}_h) $ and $ L(g_{D},g_{N},f;\cdot) $ is a linear functional defined on $ H^{2}(\mathcal{T}_h) $. We assume that the values of $ B(\cdot,\cdot) $ on the interior edges are determined by averages and jumps. That is,

    $ B(uh,v)=EThBE(uh,v)+eEohBoe(uh,v)+eEihBie(˜uh,˜v),
    $
    (4.2)

    where $ B_{E}(\cdot,\cdot) $ is a bilinear element form defined on $ E \in \mathcal{T}_h $, $ B_{e}^{o} (\cdot,\cdot) $ is a boundary edge bilinear form defined on the boundary edges, $ B_{e}^{i}(\cdot,\cdot) $ is an interior edge bilinear form that depends only on the values from the two elements that share interior edge $ e $ in $ \mathcal{E}_{h}^{i} $, and $ (\widetilde{u}_{h},\widetilde{v}) = (\langle [[u_{h}]],[[{\bf A}\nabla u_{h}]], {\bf b}\cdot [[u_{h}]],\{ u_{h} \},\{ {\bf A} \nabla u_{h} \} \rangle, \langle [[v]], [[a\nabla v]], {\bf b} \cdot [[v]], [[v]], \{ v \}, \{ {\bf A}\nabla v \}\rangle) $. We here note that a large class of consistent DGs satisfies (4.2) (see [1,6]).

    Now, to define the local problem of the MDG, we decompose $ u_h $ of $ \overline{u}_h $ and $ u'_h $. That is, let

    $ uh=¯uh+uh.
    $

    Then, (4.1) takes the below forms:

    Coarse scale equation:

    $ B(¯uh,¯v)+B(uh,¯v)=L(gD,gN,f;¯v),¯v¯Wh(Ω);
    $
    (4.3)

    Fine scale equation:

    $ B(uh,v)+B(¯uh,v)=L(gD,gN,f;v),vWh(Ω).
    $
    (4.4)

    By treating the function $ \overline{u}_{h} $ as data, we rewrite (4.4) as follows: Find $ u'_{h} \in W_{h}(\Omega) $ such that

    $ B(uh,v)=L(gD,gN,f;v)B(¯uh,v),vWh(Ω).
    $
    (4.5)

    Take $ v' \in W_{h}(E) $ and, assume, without loss of generality, that $ v' $ is extended to be zero outside of $ E $. Using (4.2), we then see that (4.5) is equivalent to the following: For each $ E \in \mathcal{T}_h $, find $ u'_{h} \in W_{h}(E) $ such that, $ \forall v' \in W_{h}(E) $,

    $  BE(uh,v)+eEohBoe(uh,v)+eEihBie(˜uh,˜v)= L(gD,gN,f;v) (BE(¯uh,v)+eEohBoe(¯uh,v)+eEihBie(˜¯uh,˜v)),uhWh(E).
    $
    (4.6)

    (4.6) relates fine scales to the coarse scales, but remains coupled to the continuous elements through the numerical flux terms in (4.6). MDG defines the local problem in a way that the fine scales are expressed in terms of the coarse scales that will uncouple (4.6) on inner boundaries.

    We now note that, for $ \tau \in W_h(E) $,

    $ [[τ]]=τini+τono=(τiτo)ni,uoh=g=¯uhif EΩ=,¯uh=¯uoh=¯uihon E,
    $

    where $ v^i $ and $ v^o $ are the values of $ v $ from the inside and the outside of $ E $, respectively. We then see that, $ u'_h \in W_h(E) $,

    $  Bie(˜uh,˜v)=Bie([[uh]],[[Auh]],b[[uh]],{uh},{Auh},vn,(Av)n,bvn,v2,Av2).
    $
    (4.7)

    Similarly, since

    $  Bie(˜¯uh,˜v)=Bie([[¯uh]],[[A¯uh]],b[[¯uh]],{¯uh},{A¯uh},vn,(Av)n,bvn,v2,Av2),
    $

    we have that

    $  BE(¯uh,v)+eEohBoe(¯uh,v)+eEihBie(˜¯uh,˜v)0,if vI(¯Wh,0).
    $
    (4.8)

    Substituting (4.7)-(4.8) into (4.6), local problem of the MDG is ended up as follows: $ \forall \overline{u}_{h} \in \overline{W}_{h} $, find $ u'_{h} \in \cup_{E\in \mathcal{T}_h} W_{h}(E) $ such that

    $ bE(uh,v)=lE(¯uh,f;v),vWh(E),ETh,
    $
    (4.9)

    where $ b_{E}(\cdot, \cdot) $ and {$ l_{E}(\cdot, \cdot\,;\cdot) $} are linear with respect to its first argument and affine with respected to its second and third arguments (see [7]):

    $ bE(uh,v)= BE(uh,v)+eEohBoe(uh,v)+eEihBie((uh)in,(Auh)in, (buh)in,(uh)i2,(Auh)i2,vn,(Av)n,bvn,v2,Av2),lE(¯uh,f;v)= L(gD,gN,f;v)+eEihBie(¯uhn,(A¯uh)n,b¯uhn, ¯uh2,A¯uh2,vn,(Av)n,bvn,v2,Av2).
    $

    We note that (4.9) is a DG formulation for the local problem $ -\nabla \cdot({\bf A}(x)\nabla u_h) $ $ +{\bf b}(x)\cdot \nabla u_h+c(x)u_h = f $ on $ E $ having weakly imposed boundary condition on $ \partial E $, given that $ g_{D} = \overline{u}_h $ on $ \partial \Omega_{D} $ and $ g_{N} = ({\bf A}\nabla \overline{u}_h)\cdot n $ on $ \partial \Omega_{N} $.

    We now denote by $ \mathfrak{I}:\overline{W}_{h}(\Omega) \times L^{2}(\Omega) \rightarrow W_{h}(\Omega) $ the operator which associates to each $ (\overline{u}_h,f)\in \overline{W}_{h}(\Omega) \times L^{2}(\Omega) $ the solution $ u_h' $ of the local problem on each $ E\in\mathcal{T}_h $. Let

    $ I(¯Wh,f)={I(¯uh,f)¯uh¯Wh(Ω)}
    $
    (4.10)

    and

    $ I(¯Wh,0)={I(¯uh,0)¯uh¯Wh(Ω)}.
    $
    (4.11)

    Global MDG method is then given to find $ u^{MDG}_h \in \mathfrak{I}(\overline{W}_h,f) $ such that

    $ B(uMDGh,v)=L(gD,gN,f;v),vI(¯Wh,0).
    $
    (4.12)

    Remark. Concerning the analysis of the stability and the error estimates of the MDG method, we refer the reader to [10].

    In this section we form the matrix equation of the MDG method. To make the presentation simple, we consider the case of standard NIPG (Nonsymmetric Interior Penalty Galerkin) DG method [1,10].

    Let $ \mathcal{T}_h = \{E_k\}_{k = 1}^L $. Let $ \{ \phi_i^{E_k} \}_{i = 1} ^{N_k} $ be the nodal basis of $ W_h(E_k) $ and let $ \{ \overline{\phi}_i \}_{i = 1} ^{N} $ be the nodal basis functions of $ \overline W_h(\Omega) $. We then see that

    $ {¯ϕEki}¯Nki=1is a subset of{ϕEki}Nki=1,
    $
    (5.1)

    where $ \overline{N}_k $ is the number of degrees of freedom of the continuous finite element on $ E_k $.

    By following the process of the previous section, one can obtain the local problem (4.9), which is now given as follows (see [7,10]): Find $ u_h^E\in W_h(E) $, such that, for $ v_h^\prime\in W_h(E) $, $ \forall E\in{\mathcal{T}}_h, $

    $ bE(uEh,vh)=bE(¯uh;vh)+FE(vh),
    $
    (5.2)

    where

    $  bE(uEh,vh)= E(AuEhbuEh)vhdx+EcuEhvhdx++EuEhvhbnds 12E(AuEhvhAvhuEh)nds, bE(¯uh;vh)= E¯uhvhbnds+12E(A¯uhvh+Avh¯uh)nds,FE(vh)= Efvhdx.
    $
    (5.3)

    Now, let $ u_h^{MDG}\in\mathfrak{I}(\overline{u}_h;f) $ be the solution to the MDG method (4.12) for (2.1) and (2.3) and let

    $ uMDGh=Lk=1χEkuEkh=Lk=1χEkNki=1UkiϕEki,¯uh=Nr=1¯Ur¯ϕr,fEkh=Nkj=1FEkjϕEj,
    $
    (5.4)

    where $ \overline U = (\overline U_1,\overline U_2,\,\cdots,\,\overline U_N)^T, $ $ U^k = (U^k_1, U^k_2,\,\cdots,\,U^k_{N_k})^T $, $ F^k = (F^k_1, F^k_2,\,\cdots,\, F^k_{N_k})^T $, for $ k = 1,\cdots, L $, and $ \chi_E $ is the characteristic function having value one on $ \overline E $ and zero otherwise. Let $ \overline U^k = (\overline U_1^k,\overline U_2^k,\,\cdots,\,\overline U_{\overline {N}_k}^k)^T $ be the vector of the continuous nodal values on $ {E_k} $.

    Now, let $ \widetilde S^k $ be the $ N_k\times\overline N_k $ inter-scale matrix of the local problem (5.2), that is,

    $ Uk=˜Sk¯Uk
    $
    (5.5)

    where $ \widetilde S^k = ({\mathcal{L}}^{k,m})^{-1}\overline{\mathcal{R}}^m, $ $ ({\mathcal{L}}^{k,m})_{ji} = b_E(\phi^{E_k}_i,\phi^{E_m}_j) $, and $ (\overline{\mathcal{R}}^m)_{jr} = b_{\partial E}(\overline \phi_r, \phi^{E_m}_j) $. We denote by $ (\Lambda)_i $ and $ (\Lambda)_{ij} $ the $ i $-th row vector and the $ ij $ component of matrix $ \Lambda $, respectively.

    Now, let $ S^k $ be the $ N_k\times{N} $ zero extension of $ \widetilde S^k $ and let $ {\breve{S}}^k $ be the $ N\times{N} $ zero extension of $ S^k $. We denote by $ {\breve{\phi}}^{E_k}_i $ the zero extension of $ \overline \phi^{E_k}_i $ into $ \Omega $. We then see that

    $ Uk=˜Sk¯Uk=Sk¯U.
    $
    (5.6)

    Noting

    $ ˘ϕEki=¯ϕEki=¯ϕifori=1,,¯NkonEk,(˘Sk¯U)i=(˘Sk)i¯U=0,ifi>¯Nk,
    $
    (5.7)

    and from (5.4), we express $ u_h^{MDG} $ in terms of $ \overline U $ and we have that

    $ uMDGh=Lk=1χEkNki=1UkiϕEki=Lk=1χEk¯Nki=1(˜Sk¯Uk)i¯ϕEki=Lk=1χEk¯Nki=1(Sk¯U)i¯ϕEki,=Lk=1χEk¯Nki=1(Sk)i¯U¯ϕEki,=Lk=1Ni=1(˘Sk)i¯U˘ϕEki.
    $
    (5.8)

    Similarly, we consider $ v_h\in\mathfrak{I}(\overline{u}_h;0) $ such that, for $ 1\le l\le L $,

    $ vh=χElNlj=1ϕElj=χEl¯Nlj=1(˜Sl¯Il)j¯ϕElj=χEl¯Nlj=1(Sl¯I)j¯ϕElj=χEl¯Nlj=1(Sl)j¯I¯ϕElj=Nj=1(˘Sl)j¯I˘ϕElj,
    $
    (5.9)

    where $ \overline I^l $ is the $ \overline N_l\times 1 $ vector such that $ \overline I^l_p = \delta^l_p $ and $ \overline I $ is the $ N\times 1 $ zero extension of $ \overline I^l $. Substituting (5.8)-(5.9) into (4.12) and noting (5.1) and (5.7), we find that

    $ B(uMDGh,vh)=B(Lk=1Ni=1(˘Sk)i¯U˘ϕEki,Nj=1(˘Sl)j¯I˘ϕElj)=Lk=1B(Ni=1(˘Sk)i¯U˘ϕEki,Nj=1(˘Sl)j¯I˘ϕElj)=Lk=1Ni,j=1((˘Sl)j¯I)TB(˘ϕElj,˘ϕEki)(˘Sk)i¯U.
    $
    (5.10)

    Let $ A^{l,k} $ be the $ N_l\times N_k $ matrix such that

    $ (Al,k)i,j=B(ϕEki,ϕElj),
    $
    (5.11)

    and $ \widetilde A^{l,k} $ be the $ N\times N $ zero extension of $ A^{l,k} $ such that

    $ ˜Al,k={Al,k,onEkandEl,0,otherwise.
    $

    We then by noting (5.7), that (5.10) is rewritten as follows:

    $ B(uMDGh,vh)=Lk=1Ni,j=1((˘Sl)i¯I)T(˜Al,k)ij(˘Sk)j¯U=(Lk=1Ni,j=1((˘Sl)i¯I)T(˜Al,k)ij(˘Sk)j)¯U.
    $
    (5.12)

    Here we have used the fact that $ {\breve{S}}^l $ and $ \widetilde A^{l,k} $ are the $ N\times N $ matrices and $ \overline I $ and $ \overline U $ are the $ N\times 1 $ vectors. We now note, by the definition of $ {\breve{S}}^l, S^l $, and $ A $, that

    $ Lk=1Ni,j=1((˘Sl)i¯I)T(˜Al,k)ij(˘Sk)j=Lk=1Ni,j=1((Sl)i¯I)T(Al,k)ij(Sk)j=Lk=1Ni,j=1((˜Sl)i¯I)T(Al,k)ij(˜Sk)j.
    $
    (5.13)

    Considering $ l = 1,\cdots, L $ and also from (5.12)-(5.13), we see that the MDG matrix of (4.12), $ A^{MDG} $, is given by

    $ AMDG=Lk,l=1(˜Sl)TAl,k˜Sk.
    $
    (5.14)

    Remark. We see, by (5.13), that

    $ AMDG=STAS
    $
    (5.15)

    where

    $ S=[S1S2SL]andA=[A1,1A1,2A1,LA2,1A2,2A2,LAL,1AL,2AL,L].
    $
    (5.16)

    Here $ S $ is the $ M\times N $ inter-scale matrix corresponding to the inter-scale operator $ \mathfrak{I}(\overline{u}_h;f) $, where $ M = \sum_{k = 1}^LN_k $, and $ A $ is the $ M\times M $ DG matrix. We note that the MDG matrix is a product of the interscale matrices of local problems and the DG matrix.

    Figure 1.  Schematic illustration of the basis functions in the local problem. The left hand side figure is a 16-node bicubic quadrilateral element. Its boundary nodes are identified on the one of the right hand side. The corresponding basis functions satisfy $ \overline{\phi}_j = \phi_j $, $ j = 1,2,\ldots, 12 $. The internal degrees-of-freedom, corresponding to $ \phi_{13} $, $ \phi_{14} $, $ \phi_{15} $, $ \phi_{16} $ are eliminated by the solution of the local problem. Only the unique, shared, boundary degrees-of-freedom are retained in the global problem (see [6]).

    Remark. We further see, from (5.14)-(5.15), that

    $ STAS=Lk,l=1(˜Sl)TAk,l˜Sk.
    $
    (5.17)

    In the next section, we compute the MDG solution in the following way:

    $ \mathbf{1.}\,\,\, $ Do for all $ E\in{\mathcal T}_h $:

    ● construct $ A^{k,l} $: compute the local mass and stiffness matrices of usual DG.

    ● construct $ \widetilde S^k $: solve the local problem on $ E^k $.

    ● calculate $ (\widetilde S^l)^TA^{k,l}{\widetilde S^k} $.

    $ \mathbf{2.}\,\,\, $ Sum up the computations following the global numbering.

    $ \mathbf{3.}\,\,\, $ Solve the global system by ILU preconditioned GMRES.

    In this section, we test the MDG with convection dominated problems. When the convection strongly dominates the diffusion ($ k = 10^{-6} $), a fast linear solver is needed to solve the large system. We apply ILU preconditioned GMRES method to solve the matrix equation effectively. We compute $ L^2 $-error and convergence order defined by

    $ Err=||u(,)uh(,)||L2,Conv=logErr(h)Err(h/2)log2,
    $

    where $ u(\cdot,\cdot) $ denotes the exact solution and $ u^h $ is an approximate solution.

    We solve the problem (2.1) and (2.4) in the case of the diffusion coefficient $ k = 10^{-4} $ with the following data: $ {\bf A} = k{\bf I} $ (here $ {\bf I} $ is the 2 by 2 identity matrix), $ {\bf b} = (2,3) $, $ c = 1 $, $ \Omega = (0,1) \times (0,1) $ and $ g = 0 $ (see [9]).

    We take $ f $ such that the exact solution is given by

    $ u(x,y)=16x(1x)y(1y)(12+arctan[2s(x,y)/k]π),
    $

    where

    $ s(x,y)=142(x12)2(y12)2.
    $

    The graph of the exact solution and the approximate solution of DG with uniform mesh $ h = 1/32 $ are given in Figure 2 and Figure 3, respectively. The DG solution shows spurious oscillation on the inner layer and in the direction of convection. To reduce these errors, we take smaller meshes or use high order degree of the approximate polynomials. We have tested the MDG and DG to compare the results. The results are given in Table 1. When $ P_1 $ elements are used, the DG solution requires the degrees-of-freedom six times more than the one of MDG solution. The graphs of the approximate solutions with $ h = 1/128 $ are given in Figure 4. Similarly, when $ P_4 $ elements are used, the DG solution requires the degrees-of-freedom three times more than the one of MDG solution. The graphs of the approximate solutions with $ h = 1/32 $ are given in Figure 5.

    Figure 2.  Exact solution when $ k = 10^{-4} $.
    Figure 3.  DG solution with $ h = 1/32 $ and d.o.f $ = 6,144 $. Oscillation occurs due to convection dominant to $ k = 10^{-4} $ (diffusion coefficient).
    Table 1.  Cases of $ P_1 $ and $ P_4 $ elements with $ k = 10^{-4} $ using GMRES with tol = $ 10^{-6} $.
    $ h $ Degree of freedom $ L^2 $ error Convergence order Degree order
    1/32 6,144 8.66085e-002 $ \cdot $ 1
    1/64 24,576 1.28362e-002 2.7543 1
    1/128 98,304 1.77764e-003 2.8522 1
    1/32 30,720 3.22321e-003 $ \cdot $ 4
    (a) Using DG method
    $h$ Degree of freedom $L^2$ error Convergence order Degree order
    1/32 1,089 8.30570e-002 $\cdot$ 1
    1/64 4,225 1.19648e-002 2.7953 1
    1/128 16,641 1.87018e-003 2.6775 1
    1/32 10,497 3.21210e-003 $\cdot$ 4
    1/64 41,473 5.98660e-004 $\cdot$ 4
    (b) Using MDG method

     | Show Table
    DownLoad: CSV
    Figure 4.  $ k = 10^{-4} $, $ h = 1/128 $, and $ P_1 $ element.
    Figure 5.  $ k = 10^{-4} $, $ h = 1/32 $, and $ P_4 $ element.

    In this subsection, we consider the case of $ k = 10^{-6} $ in diffusion coefficient.

    We take $ h = 1/512 $ and $ P_1 $ element. The DG solution shows spurious oscillation as seen in Figure 6. It is numerically shown that $ P_1 $ approximation requires very small $ h $ to resolve the spurious oscillation and the computation is not efficient. Figure 7 shows the approximate solutions without oscillation when $ P_4 $ and $ h = 1/256 $. DG solution requires degrees-of-freedom three times more than the one of MDG to produce similar results.

    Figure 6.  $ k = 10^{-6} $, $ h = 1/256 $, and $ P_1 $ element. DG solution with d.o.f $ = 393,216 $.
    Figure 7.  $ k = 10^{-6} $, $ h = 1/256 $, and $ P_4 $ element.

    In this test, we have also applied the ILU preconditioner to the matrix equation. In Tables 2-3, we compare the results with and without ILU preconditioning for DG and MDG, respectively. We see that ILU preconditioned GMRES effectively solve the large system. As seen in Tables 2-3, DG requires degrees-of-freedom five times more than the ones of MDG to obtain the qualitatively similar solution. CPU time of the MDG solution was also significantly reduced.

    Table 2.  DG approximation with $ P_1 $ and $ P_4 $ elements, $ k = 10^{-6} $, tol = $ 10^{-8} $ using GMRES with/without ILU (see [11,12]).
    $ h $ Total element num Degree of freedom $ L^2 $ error Convergence order Degree
    1/64 8,192 24,576 6.6217e–001 $ \cdot $ 1
    1/128 32,768 98,304 3.1138e–001 1.0885 1
    1/256 131,072 393,216 9.9196e–002 1.6503 1
    1/512 524,288 1,572,864 2.1732e–002 2.1911 1
    1/1024 2,097,152 6,291,456 $ \cdot $ $ \cdot $ 1
    1/256 131,072 1,966,080 6.4686e–003 $ \cdot $ 4
    (a) DG solution
    h Elapsed time GMRES iter(O/I) Elapsed time PGMRES Iter(O/I) Degree
    1/64 8.2306e+001 1/208 7.2131e+000 1/4 1
    1/128 1.4060e+003 3/201 6.1875e+001 1/4 1
    1/256 2.5076e+004 10/220 1.4706e+003 1/4 1
    1/512 $\cdot$ $\cdot$ 2.1915e+004 1/4 1
    1/1024 $\cdot$ $\cdot$ $\cdot$ $\cdot$ 1
    1/256 4.9732e+005 10/256 3.1762e+004 1/10 4
    (b) Comparison of GMRES with/without ILU for the DG in (a)

     | Show Table
    DownLoad: CSV
    Table 3.  MDG approximation with $ P_1 $ and $ P_4 $ elements, $ k = 10^{-6} $, tol = $ 10^{-8} $ using GMRES with/without ILU.
    $ h $ Total element num Degree of freedom $ L^2 $ error convergence order Degree
    1/64 8,192 4,225 6.5406e–001 $ \cdot $ 1
    1/128 32,768 16,641 3.0008e–001 1.1241 1
    1/256 131,072 66,049 9.3895e–002 1.6762 1
    1/512 524,288 263,169 2.1614e–002 2.1191 1
    1/1024 2,097,152 1,050,625 6.0343e–003 1.8417 1
    1/256 131,072 657,409 6.3296e–003 $ \cdot $ 4
    (a) MDG solution
    h Elapsed time GMRES iter(O/I) Elapsed time PGMRES iter(O/I) Degree
    1/64 1.2899e+001 1/160 5.8968e+000 1/9 1
    1/128 1.1022e+002 1/246 4.4625e+001 1/12 1
    1/256 2.4963e+003 3/189 2.1713e+002 1/14 1
    1/512 3.0008e+004 5/125 2.7705e+003 1/18 1
    1/1024 $\cdot$ $\cdot$ 2.5316e+005 1/20 1
    1/256 6.5098e+004 10/256 4.8902e+003 1/25 4
    (b) Comparison of GMRES with/without ILU for the MDG in (a)

     | Show Table
    DownLoad: CSV

    If the convection strongly dominates, then the linear approximation is not efficient to resolve the spurious oscillations. Figure 9 shows the graphs of the solutions of MDG with $ h = 1/32 $ and $ 1/256 $.

    Figure 8.   .
    Figure 9.  MDG solution with $ k = 10^{-6} $ and $ P_1 $ element.

    In this subsection, we apply high order approximation only in the region where detailed information is needed. By observing the oscillations occur along the convected direction, we simply apply high order polynomial in the convected direction. We show that MDG is very flexible in increasing the polynomial degree $ p $ where it is needed.

    As seen in the previous tests, oscillation starts to develop at the inner layer and propagates to the gray area in Figure 8. We apply different orders of polynomials in different regions (see [5,8,10,13]). We apply $ P_1 $ in the grid part and $ P_4 $ in the shadow part, respectively, in Figure 10.

    Figure 10.  Domain with uniform mesh $ h = 1/64 $. In grid and shadow parts, $ P_1 $ and $ P_4 $ elements are used, respectively.

    Matrix structure and $ P_1 $ and $ P_4 $ elements are given in Figure 11. $ 3\times 3 $, $ 15\times 15 $ block matrices corresponding to $ P_1 $ and $ P_4 $ elements, respectively, are placed on the diagonal.

    Figure 11.  LHS: $ P_1 $, $ P_4 $ elements and triangle numbers. RHS: Matrix structure of DG corresponding to the triangles numbered on LHS.

    We compare the result with the one of DG with $ P_4 $ elements. MDG solution exhibits similar behavior of DG with much less degrees of freedom. The figures are given in Figure 12. We compute the $ L^2 $-error for the MDG solution with polynomials of mixed degrees. The results are given in Table 4.

    Figure 12.  MDG solution $ \overline{u}^{MDG}_h $ with $ k = 10^{-6} $ using $ P_1 $ and $ P_4 $ elements.
    Table 4.  MDG solution $ \overline{u}^{MDG}_h $ when $ k = 10^{-6} $, tol = $ 10^{-8} $, using ILU GMRES.
    $ h $ Ele. num. Basis num. Elapsed time $ L^2 $ error Conv. Iter.(O/I) Deg.
    1/64 8,192 4,225 1.0632e+001 2.0077e–001 $ \cdot $ 1/9 1
    1/128 32,768 16,641 7.3629e+001 8.1290e–002 1.3044 1/11 1
    1/256 131,072 66,049 2.2198e+002 2.8772e–002 1.4984 1/13 1
    1/512 524,288 263,169 2.3875e+003 6.5147e–003 2.1429 1/16 1
    Using mixed polynomials (P1 and P2 elements)

     | Show Table
    DownLoad: CSV

    As a conclusion, the MDG method numerically shows an advantage in adaptive $ p $ refinements. ILU GMRES is applied to the resulting system. Combination of $ P_1 $ element in the smooth region and higher order element in region where more detailed information are needed, can be a reasonable candidate in refinement. Further research on the adaptive refinement will be done in the future.



    [1] Cluster formation in opinion dynamics: A qualitative analysis. Z. Angew. Math. Phys. (2010) 61: 583-602.
    [2] Asymptotic analysis of continuous opinion dynamics models under bounded confidence. Commun. Pure Appl. Anal. (2013) 12: 1487-1499.
    [3] Continuous and discontinuous opinion dynamics with bounded confidence. Nonlinear Anal. Real World Appl. (2012) 13: 1239-1251.
    [4]

    S. Chatterjee, Reaching a consensus: Some limit theorems, Proc. Int. Statist. Inst., 159–164.

    [5] Toward consensus: Some convergence theorems on repeated averaging. J. Appl. Prob. (1977) 14: 89-97.
    [6] Approaching consensus can be delicate when positions harden. Stochastic Proc. and Appl. (1986) 22: 315-322.
    [7] Mixing beliefs among interacting agents. Advances in Complex Systems (2000) 3: 87-98.
    [8] Consensus formation under bounded confidence. Nonlinear Analysis (2001) 47: 4615-4621.
    [9] The Krause – Hegselmann consensus model with discrete opinions. Internat. J. Modern Phys. C (2004) 15: 1021-1029.
    [10] A formal theory of social power. Psychological Review (1956) 63: 181-194.
    [11] Reaching a consensus. J. Amer. Statist. Assoc. (1974) 69: 118-121.
    [12]

    F. Harary, A criterion for unanimity in French's theory of social power, in Studies in Social Power (ed. D. Cartwright), Institute for Social Research, Ann Arbor, 1959.

    [13] The Hegselmann – Krause dynamics for equally spaced agents. J. Difference Equ. Appl. (2016) 22: 1621-1645.
    [14]

    R. Hegselmann and A. Flache, Understanding complex social dynamics: A plea for cellular automata based modelling, Journal of Artificial Societies and Social Simulation, 1 (1998).

    [15] Opinion dynamics and bounded confidence: Models, analysis and simulation. Journal of Artificial Societies and Social Simulation (2002) 5: 1-33.
    [16] Opinion dynamics under the influence of radical groups, charismatic leaders, and other constant signals: A simple unifying model. Networks and Heterogeneous Media (2015) 10: 477-509.
    [17] Clustering and asymptotic behavior in opinion formation. J. Differential Equations (2014) 257: 4165-4187.
    [18]

    U. Krause, A discrete nonlinear and non - autonomous model of consensus formation, in Communications in Difference Equations (ed. S. Elaydi et al.), Gordon and Breach Publ., Amsterdam, 2000.

    [19]

    U. Krause, Soziale dynamiken mit vielen interakteuren. eine problemskizze, in Modellierung und Simulation von Dynamiken mit vielen interagierenden Akteuren (eds. U. Krause and M. Stockler), Universitat Bremen, 1997.

    [20] Compromise, consensus, and the iteration of means. Elem. Math. (2009) 64: 1-8.
    [21]

    U. Krause, Positive Dynamical Systems in Discrete Time. Theory, Models, and Applications, De Gruyter, Berlin, 2015.

    [22] On the Hegselmann – Krause conjecture in opinion dynamics. Journal of Difference Equations and Applications (2011) 17: 859-876.
    [23] Social consensus and rational agnoiology. Synthese (1975) 31: 141-160.
    [24]

    K. Lehrer and C. Wagner, Rational Consensus in Science and Society, D. Reidel Publ. Co., Dordrecht-Boston, Mass., 1981.

    [25] A stabilization theorem for dynamics of continuous opinions. Physica A (2005) 355: 217-223.
    [26] Continuous opinion dynamics under bounded confidence: A survey. International Journal of Modern Physics C (2007) 18: 1819-1838.
    [27]

    W. Ren and Y. Cao, Distributed Coordination of Multi-agent Networks. Emergent Problems, Models, and Issues, Springer, 2011.

    [28] Consensus through respect: A model of rational group decision-making. Philosophical Studies (1978) 34: 335-349.
    [29] The Hegselmann – Krause dynamics for the continuous-agent model and a regular opinion function do not always lead to consensus. IEEE Trans. Automat. Control (2015) 60: 2416-2421.
    [30]

    G. Weisbuch, G. Deffuant and G. Nadal, Interacting agents and continuous opinion dynamics, in Heterogenous Agents, Interactions and Economic Performance (eds. R. Cowan and N. Jonard), Lecture Notes in Economics and Mathematical Systems, 521, Springer, Berlin, 2003.

    [31] On the control through leadership of the Hegselmann – Krause opinion formation model. Mathematical Models and Methods in Applied Sciences (2015) 25: 565-585.
  • This article has been cited by:

    1. Mi-Young Kim, Dongwook Shin, An edgewise iterative scheme for the discontinuous Galerkin method with Lagrange multiplier for Poisson’s equation, 2025, 1017-1398, 10.1007/s11075-025-02017-9
  • Reader Comments
  • © 2019 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(3656) PDF downloads(348) Cited by(17)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog