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

The economic impact of next-generation stadiums: evidence from the Juventus Stadium using synthetic control methodology

  • This paper aimed to investigate the economic impact of building a next-generation stadium (for example, Juventus Stadium or Allianz Stadium) on real gross domestic product (GDP) per capita in the city of Turin, using an econometric methodology known as the synthetic control method. The methodology compares the post-real GDP per capita trajectory of the treated provincial economy with that of a synthetic combination of similar, but untreated, provincial economies. The analysis showed that building a next-generation stadium had a short-term effect on real GDP per capita, with an increase of approximately 2% in the year of construction (2011). Additionally, the analysis showed a spring-back effect, where in the year following the stadium's construction, the real GDP per capita is slightly lower than what is projected by the synthetic control (around 0.85%). Moreover in the subsequent years, there seems to be a small positive structural effect of the treatment since the observed outcome is always higher than the synthetic outcome. Finally, the analysis also highlights an unexpected growth in real GDP per capita compared to the synthetic control, amounting for 0.5% in the year the stadium is announced (2008). Unlike prior studies, which have merely identified correlations, this research provides the first evidence of a causal relationship between the construction of a stadium and changes in the well-being of residents within the metropolitan area where the stadium is located.

    Citation: Valerio Antolini. The economic impact of next-generation stadiums: evidence from the Juventus Stadium using synthetic control methodology[J]. National Accounting Review, 2024, 6(4): 531-547. doi: 10.3934/NAR.2024024

    Related Papers:

    [1] Yang Shi, Xuehua Yang . Pointwise error estimate of conservative difference scheme for supergeneralized viscous Burgers' equation. Electronic Research Archive, 2024, 32(3): 1471-1497. doi: 10.3934/era.2024068
    [2] Akeel A. AL-saedi, Jalil Rashidinia . Application of the B-spline Galerkin approach for approximating the time-fractional Burger's equation. Electronic Research Archive, 2023, 31(7): 4248-4265. doi: 10.3934/era.2023216
    [3] Chang Hou, Hu Chen . Stability and pointwise-in-time convergence analysis of a finite difference scheme for a 2D nonlinear multi-term subdiffusion equation. Electronic Research Archive, 2025, 33(3): 1476-1489. doi: 10.3934/era.2025069
    [4] 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
    [5] Lili Li, Boya Zhou, Huiqin Wei, Fengyan Wu . Analysis of a fourth-order compact θ-method for delay parabolic equations. Electronic Research Archive, 2024, 32(4): 2805-2823. doi: 10.3934/era.2024127
    [6] Lianbing She, Nan Liu, Xin Li, Renhai Wang . Three types of weak pullback attractors for lattice pseudo-parabolic equations driven by locally Lipschitz noise. Electronic Research Archive, 2021, 29(5): 3097-3119. doi: 10.3934/era.2021028
    [7] Shuaikang Wang, Yunzhi Jiang, Yongbin Ge . High-order compact difference methods for solving two-dimensional nonlinear wave equations. Electronic Research Archive, 2023, 31(6): 3145-3168. doi: 10.3934/era.2023159
    [8] Jun Pan, Yuelong Tang . Two-grid H1-Galerkin mixed finite elements combined with L1 scheme for nonlinear time fractional parabolic equations. Electronic Research Archive, 2023, 31(12): 7207-7223. doi: 10.3934/era.2023365
    [9] Jingyun Lv, Xiaoyan Lu . Convergence of finite element solution of stochastic Burgers equation. Electronic Research Archive, 2024, 32(3): 1663-1691. doi: 10.3934/era.2024076
    [10] Hongze Zhu, Chenguang Zhou, Nana Sun . A weak Galerkin method for nonlinear stochastic parabolic partial differential equations with additive noise. Electronic Research Archive, 2022, 30(6): 2321-2334. doi: 10.3934/era.2022118
  • This paper aimed to investigate the economic impact of building a next-generation stadium (for example, Juventus Stadium or Allianz Stadium) on real gross domestic product (GDP) per capita in the city of Turin, using an econometric methodology known as the synthetic control method. The methodology compares the post-real GDP per capita trajectory of the treated provincial economy with that of a synthetic combination of similar, but untreated, provincial economies. The analysis showed that building a next-generation stadium had a short-term effect on real GDP per capita, with an increase of approximately 2% in the year of construction (2011). Additionally, the analysis showed a spring-back effect, where in the year following the stadium's construction, the real GDP per capita is slightly lower than what is projected by the synthetic control (around 0.85%). Moreover in the subsequent years, there seems to be a small positive structural effect of the treatment since the observed outcome is always higher than the synthetic outcome. Finally, the analysis also highlights an unexpected growth in real GDP per capita compared to the synthetic control, amounting for 0.5% in the year the stadium is announced (2008). Unlike prior studies, which have merely identified correlations, this research provides the first evidence of a causal relationship between the construction of a stadium and changes in the well-being of residents within the metropolitan area where the stadium is located.



    In this paper, a nonlinear compact finite difference scheme is studied for the following the pseudo-parabolic Burgers' equation [1]

    ut=μuxx+γuux+ε2uxxt,0<x<L,0<tT, (1.1)

    subject to the periodic boundary condition

    u(x,t)=u(x+L,t),0xL,0<tT, (1.2)

    and the initial data

    u(x,0)=φ(x),0xL, (1.3)

    where μ>0 is the coefficient of kinematic viscosity, γ and ε>0 are two parameters, φ(x) is an L-periodic function. Parameter L denotes the spatial period. Setting ε=0, Eq (1.1) reduces to a viscous Burgers' equation [2]. Equation (1.1) is derived by the degenerate pseudo-parabolic equation [3]

    ut=(uα+uβux+ε2uκ(uγut)x)x, (1.4)

    where α, β, κ, γ are nonnegative constants. The derivative term {uκ(uγut)x}x represents a dynamic capillary pressure relation instead of a usual static one [4]. Equation (1.4) is a model of one-dimensional unsaturated groundwater flow.

    Here, u denotes the water saturation. We refer to [5] for a detailed explanation of the model. Equation (1.1) is also viewed as a simplified edition of the Benjamin-Bona-Mahony-Burgers (BBM-Burgers) equation, or a viscous regularization of the original BBM model for the long wave propagation [6]. The problem (1.1)–(1.3) has the following conservation laws

    Q(t)=L0u(x,t)dx=Q(0),t>0, (1.5)
    E(t)=L0[u2(x,t)+ε2u2x(x,t)]dx+2μt0L0 u2x(x,s)dxds=E(0),t>0. (1.6)

    Based on (1.6), by a simple calculation, the exact solution satisfies

    max{u,εux,εu}c0,

    where c0=(1+L2)E(0).

    Numerical and theoretical research for solving (1.1)–(1.3) have been extensively carried out. For instance, Koroche [7] employed the the upwind approach and Lax-Friedrichs to obtain the solution of In-thick Burgers' equation. Rashid et al. [8] employed the Chebyshev-Legendre pseudo-spectral method for solving coupled viscous Burgers' equations, and the leapfrog scheme was used in time direction. Qiu al. [9] constructed the fifth-order weighted essentially non-oscillatory schemes based on Hermite polynomials for solving one dimensional non-linear hyperbolic conservation law systems and presented numerical experiments for the two dimensional Burgers' equation. Lara et al. [10] proposed accelerate high order discontinuous Galerkin methods using Neural Networks. The methodology and bounds are examined for a variety of meshes, polynomial orders, and viscosity values for the 1D viscous Burgers' equation. Pavani et al. [11] used the natural transform decomposition method to obtain the analytical solution of the time fractional BBM-Burger equation. Li et al. [12] established and proved the existence of global weak solutions for a generalized BBM-Burgers equation. Wang et al. [13] introduced a linearized second-order energy-stable fully discrete scheme and a super convergence analysis for the nonlinear BBM-Burgers equation by the finite element method. Mohebbi et al. [14] investigated the solitary wave solution of nonlinear BBM-Burgers equation by a high order linear finite difference scheme.

    Zhang et al. [15] developed a linearized fourth-order conservative compact scheme for the BBMB-Burgers' equation. Shi et al. [16] investigated a time two-grid algorithm to get the numerical solution of nonlinear generalized viscous Burgers' equation. Li et al. [17] used the backward Euler method and a semi-discrete approach to approximate the Burgers-type equation. Mao et al. [18] derived a fourth-order compact difference schemes for Rosenau equation by the double reduction order method and the bilinear compact operator. It offers an effective method for solving nonlinear equations. Cuesta et al. [19] analyzed the boundary value problem and long-time behavior of the pseudo-parabolic Burgers' equation. Wang et al. [20] proposed fourth-order three-point compact operator for the nonlinear convection term. They adopted the classical viscous Burgers' equation as an example and established the conservative fourth-order implicit compact difference scheme based on the reduction order method. The compact difference scheme enables higher accuracy in solving equations with fewer grid points. Therefore, using the compact operators to construct high-order schemes has received increasing attention and application [21,22,23,24,25,26,27,28,29].

    Numerical solutions for the pseudo-parabolic equations have garnered widespread attention. For instance, Benabbes et al. [30] provided the theoretical analysis of an inverse problem governed by a time-fractional pseudo-parabolic equation. Moreover, Ilhan et al. [31] constructed a family of travelling wave solutions for obtaining hyperbolic function solutions. Di et al. [32] established the well-posedness of the regularized solution and gave the error estimate for the nonlinear fractional pseudo-parabolic equation. Nghia et al. [33] considered the pseudo-parabolic equation with Caputo-Fabrizio fractional derivative and gave the formula of mild solution. Abreu et al. [34] derived the error estimates for the nonlinear pseudo-parabolic equations basedon Jacobi polynomials. Jayachandran et al. [35] adopted the Faedo-Galerkin method to the pseudo-parabolic partial differential equation with logarithmic nonlinearity, and they analyzed the global existence and blowup of solutions.

    To the best of our knowledge, the study of high-order difference schemes for Eq (1.1) is scarce. The main challenge is the treatment of the nonlinear term uux, as well as the error estimation of the numerical scheme. Inspired by the researchers in [15] and [20], we construct an implicit compact difference scheme based on the three–point fourth-order compact operator for the pseudo-parabolic Burgers' equation. The main contribution of this paper is summarized as follows:

    ● A fourth-order compact difference scheme is derived for the pseudo-parabolic Burgers' equation.

    ● The pointwise error estimate (L-estimate) of a fourth-order compact difference scheme is proved by the energy method [36,37] for the pseudo-parabolic Burgers' equation.

    ● Numerical stability, unique solvability, and conservation are obtained for the high-order difference scheme of the pseudo-parabolic Burgers' equation.

    In particular, our numerical scheme for the special cases reduces to several other ones in this existing paper (see e.g., [38,39]).

    The remainder of the paper is organized as follows. In Section 2, we introduce the necessary notations and present some useful lemmas. A compact difference scheme is derived in Section 3 using the reduction order method and the recent proposed compact difference operator. In Section 4, we establish the key results of the paper, including the conservation invariants, boundedness, uniqueness of the solution, stability, and convergence of the scheme. In Section 4.4, we present several numerical experiments to validate the theoretical findings, followed by a conclusion in Section 5.

    Throughout the paper, we assume that the exact solution u(x,t) satisfies u(x,t)C6,3([0,L]×[0,T]).

    In this section, we introduce some essential notations and lemmas. We begin by dividing the domain [0,L]×[0,T]. For two given positive integers, M and N, let h=L/M,τ=T/N. Additionally, denote xi=ih,0iM,tk=kτ,0kN; Vh={v|v={vi},vi+M=vi}. For any grid function u, vVh, we introduce

    vk+12i=12(vki+vk+1i),δtvk+12i=1τ(vk+1ivki),δxvki+12=1h(vki+1vki),Δxvki=12h(vki+1vki1),δ2xvki=1h(δxvki+12δxvki12),ψ(u,v)i=13[uiΔxvi+Δx(uv)i].

    Moreover, we introduce the discrete inner products and norms (semi-norm)

    (u,v)=hMi=1uivi,u,v=hMi=1(δxui+12)(δxvi+12),u=(u,u),|u|1=u,u,u=max1iM|ui|.

    The following lemmas play important roles in the numerical analysis later, and we collect them here.

    Lemma 1. [15,40] For any grid functions u, vVh, we have

    vL2|v|1,vL6|v|1,(u,δ2xv)=u,v,(ψ(u,v),v)=0.

    Lemma 2. [40] For any grid function vVh and arbitrary ξ>0, we have

    |v|12hv,v2ξ|v|21+(1ξ+1L)v2.

    Lemma 3. [20] Let g(x)C5[xi1,xi+1] and G(x)=g(x), we have

    g(xi)g(xi)=ψ(g,g)ih22ψ(G,g)i+O(h4).

    Lemma 4. [15,18] For any grid functions u, vVh and SVh satisfying

    vk+12i=δ2xuk+12ih212δ2xvk+12i+Sk+12i,1iM,0kN1, (2.1)

    we have the following results:

    (I)

    (vk+12,uk+12)=|uk+12|21h212vk+122+h4144|vk+12|21+h212(Sk+12,vk+12)+(Sk+12,uk+12), (2.2)
    (vk+12,uk+12)|uk+12|21h218vk+122+h212(Sk+12,vk+12)+(Sk+12,uk+12), (2.3)
    (δtvk+12,uk+12)=12τ(|uk+1|21|uk|21)h224τ(vk+12vk2)+h4288τ(|vk+1|21|vk|21)+(δtSk+12,uk+12)+h212(δtvk+12,Sk+12). (2.4)

    (II)

    |uk+12|21uk+12(vk+12+Sk+12),h212vk+12245uk+12+h25Sk+12, (2.5)
    vk+12218h2|uk+12|21+92Sk+122. (2.6)

    Proof. The result in (2.2)–(2.3) has been described in [15], and (2.5) has been proven in [18], we only need to only prove (2.4) and (2.6). Using the definition of the operator, we have

    (δtvk+12,uk+12)=(δt(δ2xuk+12h212δ2xvk+12+Sk+12),uk+12)=12τ(|uk+1|21|uk|21)h212(δtvk+12,vk+12+h212δ2xvk+12Sk+12)+(δtSk+12,uk+12)=12τ(|uk+1|21|uk|21)h224τ(vk+12vk2)+h4288τ(|vk+1|21|vk|21)+(δtSk+12,uk+12)+h212(δtvk+12,Sk+12).

    Taking the inner product of (2.1) with vk+12, we have

    vk+122=(δ2xuk+12,vk+12)h212(δ2xvk+12,vk+12)+(Sk+12,vk+12)δ2xuk+12vk+12+h212|vk+12|21+Sk+12vk+1216vk+122+32δ2xuk+122+13vk+122+16vk+122+32Sk+12223vk+122+6h2|uk+12|21+32Sk+122.

    Therefore, the result (2.6) is obtained.

    Remark 1. [18] Denote 1=(1,1,,1)TVh. If S=0 in (2.1), then we further have

    (ψ(u,u),1)=0,(ψ(v,u),1)=0.

    Let v=uxx, then the problem (1.1) is equivalent to

    {ut=μv+γuux+ε2vt,0<x<L,0<tT,(3.1)v=uxx,0<x<L,0<tT,(3.2)u(x,0)=φ(x),0xL,(3.3)u(x,t)=u(x+L,t),0xL,0<tT.(3.4)

    According to (3.2) and (3.4), it is easy to know that

    v(x,t)=v(x+L,t),0xL,0<tT. (3.5)

    Define the grid functions U={Uki|1iM,0kN} with Uki=u(xi,tk), V={Vki|1iM,0kN} with Vki=v(xi,tk). Considering (3.1) at the point (xi,tk+12) and (3.2) at the point (xi,tk), respectively, we have

    {ut(xi,tk+12)=μv(xi,tk+12)+γu(xi,tk+12)ux(xi,tk+12)+ε2vt(xi,tk+12),1iM,0kN1,v(xi,tk)=uxx(xi,tk),1iM,0kN.

    Using the Taylor expansion and Lemma 3, we have

    {δtUk+12i=μVk+12i+γ(ψ(Uk+12,Uk+12)ih22ψ(Vk+12,Uk+12)i)+ε2δtVk+12i+Pk+12i,1iM,0kN1,Vki=δ2xUkih212δ2xVki+Qki,1iM,0kN. (3.6)

    Noticing the initial-boundary value conditions (3.3)–(3.5), we have

    {U0i=φ(xi),1iM;(3.7)Uki=Uki+M,Vki=Vki+M,1iM,1kN.(3.8)

    There is a positive constant c1 such that the local truncation errors satisfy

    {|Pk+12i|c1(τ2+h4),1iM,0kN1,|Qki|c1h4,1iM,0kN,|δtQk+12i|c1(τ2+h4),1iM,0kN1.

    Omitting the local truncation error terms in (3.6) and combining them with (3.7) and (3.8), the difference scheme for (3.1)–(3.5) as follows

    {δtuk+12i=μvk+12i+γ(ψ(uk+12,uk+12)ih22ψ(vk+12,uk+12)i)+ε2δtvk+12i,1iM,0kN1,(3.9)vki=δ2xukih212δ2xvki,1iM,0kN,(3.10)u0i=φ(xi),1iM,(3.11)uki=uki+M,vki=vki+M,1iM,1kN.(3.12)

    Remark 2. As we see from the difference equations (3.9) and (3.10), only three points for each of them are utilized to generate fourth-order accuracy for the nonlinear pseudo-parabolic Burgers' equation without using additional boundary message. This is the reason we call this scheme the compact difference scheme. In addition, a fast iterative algorithm can be constructed, as shown in the numerical part in Section 4.4.

    Theorem 1. Let {uki,vki|1iM,0kN} be the solution of (3.9)–(3.12). Denote

    Qk=(uk,1).

    Then, we have

    Qk=Q0,0kN.

    Proof. Taking an inner product of (3.9) with 1, we have

    (δtuk+12,1)=μ(vk+12,1)+γ(ψ(uk+12,uk+12)h22ψ(vk+12,uk+12),1)+ε2(δtvk+12,1),0kN1.

    By using Remark 1 in Lemma 4, the equality above deduces to

    (uk+1,1)(uk,1)=0,

    namely

    Qk+1=Qk,0kN1.

    Theorem 2. Let {uki,vki|1iM,0kN} be the solution of (3.9)–(3.12). Then it holds that

    Ek=E0,1kN,

    where

    Ek=uk2+ε2|uk|21+ε2h212vk2ε2h4144|vk|21+2τμ(k1l=0|ul+12|21+h212k1l=0vl+122h4144k1l=0|vl+12|21).

    Proof. Taking the inner product of (3.9) with uk+12, and applying Lemma 1, we have

    (δtuk+12,uk+12)=μ(vk+12,uk+12)+ε2(δtvk+12,uk+12).

    With the help of (2.2) and (2.4) in Lemma 4, the equality above deduces to

    12τ(uk+12uk2)=μ(|uk+12|21h212vk+122+h4144|vk+12|21)ε22τ((|uk+1|21|uk|21)+h212(vk+12vk2)h4144(|vk+1|21|vk|21)).

    Replacing the superscript k with l and summing over l from 0 to k1, we have

    (uk2+ε2|uk|21+ε2h212vk2ε2h4144|vk|21)(u02+ε2|u0|21+ε2h212v02ε2h4144|v0|21)+2τμ(k1l=0|ul+12|21+h212k1l=0vl+122h4144k1l=0|vl+12|21)=0,

    which implies that

    Ek=E0,1kN.

    Remark 3. Combining Lemma 1 with Theorem 2, it is easy to know that there is a positive constant c2 such that

    ukc2,ε|uk|1c2,εukc2,1kN. (4.1)

    Next, we recall the Browder theorem and consider the unique solvability of (3.9)–(3.12).

    Lemma 5 (Browder theorem[41]). Let (H,(,)) be a finite dimensional inner product space, be the associated norm, and Π:HH be a continuous operator. Assume

    α>0,zH,z=α,(Π(z),z)0.

    Then there exists a zH satisfying zα such that Π(z)=0.

    Theorem 3. The difference scheme (3.9)–(3.12) has a solution at least.

    Proof. Denote

    uk=(u1,u2,,uM),vk=(v1,v2,,vM),0kN.

    It is easy to know that u0 has been determined by (3.11). From (3.10) and (3.11), we can get v0 by computing a system of linear equations as its coefficient matrix is strictly diagonally dominant. Suppose that {uk,vk} has been determined, then we may regard {uk+12,vk+12} as unknowns. Obviously,

    uk+1i=2uk+12iuki,vk+1i=2vk+12ivki,1iM,0kN1.

    Denote

    Xi=uk+12i,Yi=vk+12i,1iM,0kN1.

    Then the difference scheme (3.9)–(3.10) can be rewritten as

    {2τ(Xiuki)μYiγ(ψ(X,X)ih22ψ(Y,X)i)2τε2(Yivki)=0,1iM,0kN,(4.2)Yi=δ2xXih212δ2xYi,1iM.(4.3)

    Define an operator Π on Vh:

    Π(Xi)=2τ(Xiuki)μYiγ(ψ(X,X)ih22ψ(Y,X)i)2τε2(Yivki),1iM,0kN.

    Taking an inner product of Π(X) with X, we have

    (Π(X),X)=2τ(X2(uk,X))μ(Y,X)2τε2((Y,X)(vk,X)). (4.4)

    In combination of the technique from (2.2) in Lemma 4 and the Cauchy-Schwartz inequality, we have

    (δxY,δxX)=(δx(δ2xXh212δ2xY),δxX)=δ2xX2+h212(δ2xY,δ2xX)=δ2xX2+h212(δ2xY,Y+h212δ2xY)=δ2xX2h212δxY2+h4144δ2xY2

    and

    (δxuk,δxX)δxukδxX14δxuk2+δxX2=14δxuk2+|X|21.

    Correspondingly,

    (δxuk,δxX)14δxuk2|X|21.

    Then

    (Y,X)+(vk,X)=(δ2xXh212δ2xY,X)+(δ2xukh212δ2xvk,X)=|X|21(δxuk,δxX)h212((δxY,δxX)+(δ2xvk,X))14δxuk2+h212(δ2xX2+h212δxY2h4144δ2xY2(δ2xvk,X))14δxuk2+h212(h212δxY2h4144δ2xY214vk2)14δxuk2h248vk2,

    and

    X2(uk,X)X212(uk2+X2)12(X2uk2).

    Substituting the equality above into (4.4) and according to (2.3) in Lemma 4, we have

    (Π(X),X)1τ(X2uk2)+2ε2τ(14δxuk2h248vk2)1τ(X2uk2ε22δxuk2ε2h224vk2).

    Thus, when X=αk, where αk=uk2+ε22δxuk2+ε2h224vk2, then (Π(X),X)0. By Lemma 5, there exists a XVh satisfying Xαk such that Π(X)=0. Consequently, the difference scheme (3.9)–(3.12) exists at least a solution uk+1=2Xuk. Observing, when (X1,X2,,XM) is known, (Y1,Y2,,YM) can be determined by (4.3) uniquely. Thus, we know vk+1i=2Yivki, 1iM exists.

    Now we are going to verify the uniqueness of the solution of the difference scheme. We have the following result.

    Theorem 4. When γ=0, the solution of the difference scheme (3.9)–(3.12) is uniquely solvable for any temporal step-size; When γ0 and τmin{4Lc2|γ|(L+1),2ε23c2|γ|(2L+1)}, the solution of the difference scheme (3.9)–(3.12) is uniquely solvable.

    Proof. According to Theorem 3, we just need to prove that (4.2)–(4.3) has a unique solution. Suppose that both {u(1),v(1)}Vh and {u(2),v(2)}Vh are the solutions of (4.2)–(4.3), respectively. Let

    ui=u(1)iu(2)i,vi=v(1)iv(2)i,1iM.

    Then we have

    {2τuiμviγ(ψ(u(1),u(1))iψ(u(2),u(2))i)+γh22(ψ(v(1),u(1))iψ(v(2),u(2))i)2ε2τvi=0,1iM,(4.5)vi=δ2xuih212δ2xvi,1iM.(4.6)

    Taking an inner product of (4.5) with u, we have

    2τu2μ(v,u)γ(ψ(u(1),u(1))ψ(u(2),u(2)),u)+γh22(ψ(v(1),u(1))ψ(v(2),u(2)),u)2ε2τ(v,u)=0.

    With the application of Lemma 2 and (2.3) in Lemma 4, it follow from the equality above that

    2τu2+(μ+2ε2τ)(|u|21+h218v2)γ(ψ(u(1),u(1))ψ(u(2),u(2)),u)γh22(ψ(v(1),u(1))ψ(v(2),u(2)),u). (4.7)

    By the definition of ψ(,) and (4.1), we have

    h22(ψ(v(1),u(1))ψ(v(2),u(2)),u)=h22(ψ(v(1),u(1))ψ(v(1)v,u(1)u),u)=h22(ψ(v,u(1)),u)=h36Mi=1[viΔxu(1)i+Δx(vu(1))i]ui=h36Mi=1[u(1)iΔx(uv)i+(vu(1))iΔxui]=h36Mi=1[u(1)i12h(ui+1vi+1ui1vi1)+(vu(1))iΔxui]=h36Mi=1[u(1)i12h(vi+1(ui+1ui)+ui(vi+1vi1)+vi1(uiui1))+(vu(1))iΔxui]=h36Mi=1[u(1)i(uiΔxvi+12vi+1δxui+12+12vi1δxui12)+(vu(1))iΔxui]c2h26(|v|1u+2v|u|1).

    Using the Cauchy-Schwarz inequality, Lemmas 1 and 2, we have

    h22(ψ(v(1),u(1))ψ(v(2),u(2)),u)c26(h44|v|21+u2)+c23(h4v2+14|u|21)c224(L+2)|u|21+c2h26(1+2L)v2. (4.8)

    Similarly, we have

    (ψ(u(1),u(1))ψ(u(2),u(2)),u)=(ψ(u(1),u(1))ψ(u(1)u,u(1)u),u)=(ψ(u,u(1)),u)=h3Mi=1[uiΔxu(1)i+Δx(uu(1))i]ui=h3Mi=1[u(1)iΔx(uu)i+(uu(1))iΔxui]=h3Mi=1[u(1)i(uiΔxui+12ui+1δxui+12+12ui1δxui12)+(uu(1))iΔxui]c2|u|1uc22(u2+|u|21)c22(1+1L)u2+c2|u|21. (4.9)

    Substituting (4.8) and (4.9) into (4.7), we can obtain

    2τu2+(μ+2ε2τ)|u|21+h218(μ+2ε2τ)v2c2|γ|2L(L+1)u2+c2|γ|24(L+26)|u|21+c2h2|γ|6(2L+1)v2.

    When τmin{4Lc2|γ|(L+1),2ε23c2|γ|(2L+1)}, we have ui=0,1iM.

    Let h0>0 and denote

    c3=max(x,t)[0,L]×[0,T]{|u(x,t)|,|ux(x,t)|},c4=3+c3|γ|+3c23γ2h204μ+3c23γ2μ,c5=c21LT(1+μ2+ε4+3μh2016+ε2h2012)+1312ε2h20c21L,c6=32c5e32c4T,

    and error functions

    eki=Ukiuki,fki=Vkivki,1iM,1kN,

    we have the following convergence results.

    Theorem 5. Let {u(x,t),v(x,t)} be the solution of (3.1)–(3.5) and {uki,vki|0iM,0kN} be the solution of the difference scheme (3.9)–(3.12). When c4τ13 and hh0, we have

    ekc6(τ2+h4),ε|ek|1c6(τ2+h4),εekc6L2(τ2+h4),0kN.

    Proof. Subtracting (3.9)–(3.12) from (3.6)–(3.8), we can get an error system

    {δtek+12i=μfk+12i+γ(ψ(Uk+12,Uk+12)iψ(uk+12,uk+12)i)γh22(ψ(Vk+12,Uk+12)iψ(vk+12,uk+12)i)+ε2δtfk+12i+Pk+12i,1iM,0kN1,(4.10)fki=δ2xekih212δ2xfki+Qki,1iM,0kN,(4.11)e0i=0,1iM,(4.12)eki=eki+M,fki=fki+M,1iM,1kN.(4.13)

    Taking an inner product of (4.10) with ek+12, we have

    (δtek+12,ek+12)=μ(fk+12,ek+12)+γ(ψ(Uk+12,Uk+12)ψ(uk+12,uk+12),ek+12)γh22(ψ(Vk+12,Uk+12)ψ(vk+12,uk+12),ek+12)+ε2(δtfk+12,ek+12)+(Pk+12,ek+12). (4.14)

    Applying (2.3) in Lemma 4, we have

    (fk+12,ek+12)|ek+12|21h218||fk+12||2+h212(Qk+12,fk+12)+(Qk+12,ek+12). (4.15)

    Similar to the derivation in (4.8) and (4.9), we have

    (ψ(Uk+12,Uk+12)ψ(uk+12,uk+12),ek+12)=(ψ(ek+12,Uk+12),ek+12)=h3Mi=1[ek+12iΔxUk+12i+Δx(ek+12Uk+12)i]ek+12i=h3Mi=1[(ek+12i)2ΔxUk+12iek+12iUk+12iΔxek+12i]=h3Mi=1(ek+12i)2ΔxUk+12i+h6Mi=1Uk+12i+1Uk+12ihek+12iek+12i+1c32ek+122 (4.16)

    and

    (ψ(Vk+12,Uk+12)ψ(vk+12,uk+12),ek+12)=(ψ(fk+12,Uk+12),ek+12)=h3Mi=1[fk+12iΔxUk+12i+Δx(fk+12Uk+12)i]ek+12i=h3Mi=1fk+12iek+12iΔxUk+12i+h3Mi=1fk+12iUk+12iΔxek+12i13c3||fk+12||||ek+12||+13c3||fk+12||||Δxek+12||. (4.17)

    Substituting (4.15)–(4.17) into (4.14), and using (2.3)–(2.4) in Lemma 4, we obtain

    12τ(ek+12ek2)μ(|ek+12|21h218||fk+12||2+h212(Qk+12,fk+12)+(Qk+12,ek+12))+12c3|γ|ek+122+c3h2|γ|6(||fk+12||||ek+12||+||fk+12||||Δxek+12||)ε22τ(|ek+1|21|ek|21+h212(fk+12fk2)h4144(|fk+1|21|fk|21)2τ(δtQk+12,ek+12))+ε2h212(δtfk+12,Qk+12)+(Pk+12,ek+12).

    Then, we have

    ek+12ek2+ε2(|ek+1|21|ek|21+h212(fk+12fk2)h4144(|fk+1|21|fk|21))2μτ|ek+12|21μτh29||fk+12||2+μτh26(Qk+12,fk+12)+2μτ(Qk+12,ek+12)+c3τ|γ|ek+122+c3τh2|γ|3||fk+12||||ek+12||+c3τh2|γ|3||fk+12||||Δxek+12||+2τε2(δtQk+12,ek+12)+2τ(Pk+12,ek+12)+τε2h26(δtfk+12,Qk+12).

    Using Cauchy-Schwartz inequality, we can rearrange the inequality above into the following form

    ek+12ek2+ε2(|ek+1|21|ek|21)+ε2h212[(fk+12h212|fk+1|21)(fk2h212|fk|21)]2μτ|ek+12|21μτh29||fk+12||2+μτh26Qk+12fk+12+2μτQk+12ek+12+c3τ|γ|ek+122+c3|γ|τh23||fk+12||||ek+12||+c3|γ|τh23||fk+12||||Δxek+12||+2τε2δtQk+12ek+12+2τPk+12ek+12+τε2h26(δtfk+12,Qk+12)2μτ|ek+12|21μτh29||fk+12||2+3μτh216Qk+122+μτh227fk+122+μ2τQk+122+τek+122+c3|γ|τek+122+μτh227||fk+12||2+3c23γ2τh24μ||ek+12||2+μτh227||fk+12||2+3c23γ2τμek+122+τε4δtQk+122+τek+122+τPk+122+τek+122+τε2h26(δtfk+12,Qk+12)τ(32+c3|γ|2+3c23γ2h28μ+3c23γ22μ)(ek+12+ek2)+τ(μ2+3μh216)Qk+122+τε4δtQk+122+τPk+122+τε2h26(δtfk+12,Qk+12).

    Replacing the superscript k with l and summing over l from 0 to k, we get

    ek+12+ε2|ek+1|21+ε2h212(fk+12h212|fk+1|21)ε2h212(f02h212|f0|21)τ(32+c3|γ|2+3c23γ2h28μ+3c23γ22μ)kl=0(el+12+el2)+τ(k+1)(μ2+3μh216)Lc21h8+τε4(k+1)Lc21(τ2+h4)2+τ(k+1)Lc21(τ2+h4)2+τε2h26kl=0(δtfl+12,Ql+12),0kN1. (4.18)

    For the last item on the right-hand side of (4.18), we have

    kl=0(δtfl+12,Ql+12)=1τ[kl=0(fl+1,Ql+12)kl=0(fl,Ql+12)]=1τ[(fk+1,Qk+12)(f0,Q12)]kl=1(fl,δtQl)1τ(16fk+12+32Qk+122)+12τ(f02+Q122)+12kl=1(fl2+δtQl2). (4.19)

    Substituting (4.19) into (4.18) and using Lemma 2, we get

    ek+12+ε2|ek+1|21+ε2h218fk+12ε2h212(f02h212|f0|21)+2τ(32+c3|γ|2+3c23γ2h28μ+3c23γ22μ)kl=0el+12+τ(μ2+3μh216)(k+1)Lc21h8+τε4(k+1)Lc21(τ2+h4)2+τ(k+1)Lc21(τ2+h4)2+τε2h26[12kl=1fl2+12kLc21(τ2+h4)2+1τ(16fk+12+32Lc21h8)+12τ(f02+Lc21h8)].

    We can rearrange the inequality above into the following form

    ek+12+ε2|ek+1|21+ε2h236fk+12τ(3+c3|γ|+3c23γ2h24μ+3c23γ2μ)[kl=0(el2+ε2|el|21+ε2h236fl2)+ek+12]+ε2h212f02+τ(μ2+3μh216)(k+1)Lc21h8+τε4(k+1)Lc21(τ2+h4)2+τ(k+1)Lc21(τ2+h4)2+τε2h212kLc21(τ2+h4)2+ε2h24Lc21h8+ε2h212f02+ε2h212Lc21h8. (4.20)

    Denote

    Fk=ek2+ε2|ek|21+ε2h236fk2,1kN.

    In combination of (2.6) in Lemma 4 with (4.12), we have

    ε2h212f023ε2h28Q0238c21ε2h10L. (4.21)

    Substituting (4.21) into (4.20), when hh0 and c4τ13, (4.20) can be rewritten as

    Fk+1τc4kl=0Fl+τc4Fk+1+c5(τ2+h4)2,

    which implies that

    Fk+132c4τkl=0Fl+32c5(τ2+h4)2.

    According to the Gronwall inequality, we have

    Fk+132c5e32c4T(τ2+h4)2=c26(τ2+h4)2,0kN1.

    Thus, it holds that

    ekc6(τ2+h4),ε|ek|1c6(τ2+h4),εekc6L2(τ2+h4),0kN.

    Below, we consider the stability of the difference scheme (3.9)–(3.12). Suppose that {˜uki,˜vki|1iM,0kN} is the solution of

    {δt˜uk+12i=μ˜vk+12i+γ(ψ(˜uk+12,˜uk+12)ih22ψ(˜vk+12,˜uk+12)i)+ε2δt˜vk+12i,1iM,0kN1,˜vki=δ2x˜ukih212δ2x˜vki,1iM,0kN,˜u0i=φ(xi)+r(xi),1iM,˜uki=˜uki+M,˜vki=˜vki+M,1iM,1kN. (4.22)

    Denote

    ξki=˜ukiuki,ηki=˜vkivki,1iM,0kN.

    Subtracting (3.9)–(3.12) from (4.22), we obtain the perturbation equation as follows

    {δtξk+12i=μηk+12i+γ[ψ(˜uk+12,˜uk+12)iψ(uk+12,uk+12)i]γh22[ψ(˜vk+12,˜uk+12)iψ(vk+12,uk+12)i](4.23)+ε2δtηk+12i,1iM,0kN1,ηki=δ2xξkih212δ2xηki,1iM,0kN,(4.24)ξ0i=r(xi),1iM,(4.25)ξki=ξki+M,ηki=ηki+M,1iM,1kN.(4.26)

    Theorem 6. Let {ξki,ηki|1iM,0kN} be the solution of (4.23)–(4.26). When c4τ13 and hh0, we have

    ξkc7|r|1,ε|ξk|1c7|r|1,εξkc7L2|r|1,

    where c7=12e32c4T(L2+15ε2).

    Proof. Taking an inner product of (4.23) with ξk+12, we have

    (δtξk+12,ξk+12)=μ(ηk+12,ξk+12)+γ(ψ(˜uk+12,˜uk+12)ψ(uk+12,uk+12),ξk+12)γh22(ψ(˜vk+12,˜uk+12)ψ(vk+12,uk+12),ξk+12)+ε2(δtηk+12,ξk+12).

    Similar to the analysis technique in Theorem 5, we obtain

    ξk+12ξk2+ε2(|ξk+1|21|ξk|21)+ε2h212[(ηk+12h212|ηk+1|21)(ηk2h212|ηk|21)]μτh29||ηk+12||2+c3τ|γ|ξk+122+c3τh2|γ|3||ηk+12||||ξk+12||+c3τh2|γ|3||ηk+12||||Δxξk+12||c3τ|γ|||ξk+12||2+c23τh2γ22μ||ξk+12||2+2c23τγ2μξk+122τ(c3|γ|2+c23γ2h24μ+c23γ2μ)(ξk+12+ξk2).

    Replacing the superscript k with l and summing over l from 0 to k, we get

    ξk+12+ε2|ξk+1|21+ε2h212(ηk+12h212|ηk+1|21)ξ02ε2|ξ0|21ε2h212(η02h212|η0|21)2τ(c3|γ|2+c23γ2h24μ+c23γ2μ)(kl=0ξl2+ξk+12).

    Using Lemma 2 and when hh0, we can rearrange the inequality above into the following form

    ξk+12+ε2|ξk+1|21+ε2h218ηk+12τ(c3|γ|+c23γ2h22μ+2c23γ2μ)(kl=0ξl2+ξk+12)+ξ02+ε2|ξ0|21+ε2h212η02τc4(kl=0ξl2+ξk+12)+ξ02+ε2|ξ0|21+ε2h212η02. (4.27)

    Denote

    ~Fk=ξk2+ε2|ξk|21+ε2h218ηk2,0kN.

    Combining (2.6) in Lemma 4 with (4.25), we have

    ε2h212η023ε22|ξ0|21=3ε22|r|21. (4.28)

    Substituting (4.28) into (4.27), (4.27) can be rewritten as

    ξk+12+ε2|ξk+1|21+ε2h218ηk+12τc4(kl=0ξl2+ξk+12)+L26|r|21+ε2|r|21+3ε22|r|21.

    Then, we have

    (1c4τ)˜Fk+1τc4kl=0˜Fl+(5ε22+L26)|r|21,0kN1.

    According to the Gronwall inequality, when c4τ13, we have

    ˜Fkc27|r|21,0kN,

    where c7=12e32c4T(L2+15ε2).

    Therefore, it holds that

    ξkc7|r|1,ε|ξk|1c7|r|1,εξkc7L2|r|1.

    In this section, we perform numerical experiments to verify the effectiveness of the difference scheme and the accuracy of the theoretical results. Before conducting the experiments, we first introduce an algorithm for solving the nonlinear compact scheme. Denote

    uk=(uk1,uk2,,ukM)T,νk=(vk1,vk2,,vkM)T,w=(w1,w2,,wM)T,z=(z1,z2,,zM)T,

    where 0kN. The algorithm of the compact difference scheme (3.9)–(3.12) can be described as follows:

    Step 1 Solve u0 and v0 based on (3.10) and (3.11).

    Step 2 Suppose uk is known, the following linear system of equations will be used to approximate the solution of the difference scheme (3.9)–(3.12), for 1iM, we have

    {2τ(w(l+1)iuki)=μz(l+1)i+γ[ψ(w(l),w(l+1))ih22ψ(z(l),w(l+1))i]+2τε2(z(l+1)iνki),z(l)i=δ2xw(l)ih212δ2xz(l)i,w(l)i=w(l)i+M,z(l)i=z(l)i+M,

    until

    max1iM|w(l+1)iw(l)i|ϵ,l=0,1,2,.

    Let

    uk+1i=2w(l+1)iuki,vk+1i=2z(l+1)ivki,0iM.

    In the following numerical experiments, we set the tolerance error ϵ=1×1012 for each iteration unless otherwise specified.

    When the exact solution is known, we define the discrete error in the L-norm as follows:

    E(h,τ)=max1iM,0kN|Ukiuki|,

    where Uki and uki represent the analytical solution and the numerical solution, respectively. Additionally, the convergence orders in space and time are defined as follows:

    Ordh=log2E(2h,τ)E(h,τ),Ordτ=log2E(h,2τ)E(h,τ).

    When the exact solution is unknown, we use a posteriori error estimation to verify the convergence orders in space and time. For a sufficiently small h, we denote

    F(h,τ)=max1iM,0kN|uki(h,τ)uk2i(h/2,τ)|,Ordh=log2F(2h,τ)F(h,τ).

    Similarly, for sufficiently small τ, we denote

    G(h,τ)=max1iM,0kN|uki(h,τ)u2ki(h,τ/2)|,Ordτ=log2G(h,2τ)G(h,τ).

    Example 1. We first consider the following equation

    {ut=uxx+uux+uxxt+f(x,t),0<x<2,0<t1,u(x,0)=sin(πx),0x2,u(0,t)=u(2,t),0<t1,

    where

    f(x,t)=etsin(πx)+2π2etsin(πx)πe2tsin(πx)cos(πx).

    The initial condition is determined by the exact solution u(x,t)=etsin(πx) with the period L=2 and T=1.

    The numerical results are reported in Table 1 and Figure 1.

    Table 1.  Convergence orders versus numerical errors for the scheme (3.5)–(3.12) with reduced step-size under L=2 and T=1.
    τ=1/1000 h=1/50
    h E(h,τ) Ordh τ E(h,τ) Ordτ
    1/2 6.1769e-02 * 1/4 6.7342e-03 *
    1/4 7.4321e-03 3.0550 1/8 1.6884e-03 1.9959
    1/8 4.8805e-04 3.9287 1/16 4.2259e-04 1.9983
    1/16 3.1790e-05 3.9404 1/32 1.0587e-04 1.9970
    1/32 2.0894e-06 3.9274 1/64 2.6669e-05 1.9890

     | Show Table
    DownLoad: CSV
    Figure 1.  The numerical solution u(x,t) and the numerical error surface |U(x,t)u(x,t)| with τ=1/1000, h=1/50, L=2 and T=1.

    Table 1, we progressively reduce the spatial step-size h half by half (h=1/2,1/4,1/8,1/16,1/32) while keeping the time step-size τ=1/1000. Conversely, we gradually decrease the time step-size τ half by half (τ=1/4,1/8,1/16,1/32,1/64) while maintaining the spatial step-size h=1/50.

    As we can see, the spatial convergence order approaches to the four order approximately, and the temporal convergence order approaches to two orders in the maximum norm, which are consistent with our convergence results. Comparing our numerical results with those in [42] from Table 2, we find our scheme is more efficient and accurate.

    Table 2.  Convergence orders versus numerical errors for the scheme [42] with reduced step-size under L=2 and T=1.
    τ=1/1000 h=1/200
    h E(h,τ) Ordh τ E(h,τ) Ordτ
    1/2 5.0747e-01 * 1/4 6.7850e-03 *
    1/4 1.1891e-01 2.0935 1/8 1.7378e-03 1.9651
    1/8 3.0838e-02 1.9471 1/16 4.7159e-04 1.8816
    1/16 7.6531e-03 2.0106 1/32 1.5477e-04 1.6074
    1/32 1.9208e-03 1.9943 1/64 7.5545e-05 1.0347

     | Show Table
    DownLoad: CSV

    By observing the first subgraph in Figure 1, the evolutionary trend surface of the numerical solution u(x,t) with τ=1/1000, h=1/50, L=2 and T=1 is illustrated. This figure successfully reflects the panorama of the exact solution. In order to verify the accuracy of the difference scheme (3.9)–(3.12), we have drawn the numerical error surface in the second subgraph in Figure 1 with τ=1/1000, h=1/50, L=2 and T=1.

    We observe that the rates of the numerical error in the maximum norm approaches a fixed value, which verifies that the difference scheme (3.9)–(3.12) is convergent. It took us 2.03 seconds to compute the spatial order of accuracy and 0.37 seconds to determine the temporal order of accuracy.

    Example 2. We further consider the problem of the form

    {ut=uxx+uux+ε2uxxt,25<x<25,0<tT,u(x,0)=12sech(x4),25x25,u(25,t)=u(25,t),0<tT,

    where the exact solution is unavailable.

    Case I ε=1:

    The numerical results are reported in Table 3 and Figure 2. The two discrete conservation laws of the difference scheme (3.9)–(3.12) are reported in Table 4. In the following calculations, we set T=1. First, we fix the temporal step-size τ=1/1000 and reduce the spatial step-size h half by half (h=50/11,50/22,50/44,50/88). Second, we fix the spatial step-size h=1/2, meanwhile, reduce the temporal-step size τ half by half (τ=1/2,1/4,1/8,1/16).

    Table 3.  Convergence orders versus numerical errors for the scheme (3.9)–(3.12) with reduced step sizes under L=50 and T=1.
    τ=1/1000 h=1/2
    h F(h,τ) Ordh τ G(h,τ) Ordτ
    50/11 4.5583e-03 * 1/2 2.7427e-05 *
    50/22 5.0140e-04 3.1845 1/4 6.8356e-06 2.0045
    50/44 4.0505e-05 3.6298 1/8 1.7076e-06 2.0011
    50/88 4.6251e-06 3.1305 1/16 4.2681e-07 2.0003

     | Show Table
    DownLoad: CSV
    Figure 2.  The numerical solutions u(x,t) with τ=1/1000, h=1/2, L=50 (Left: ε=1 and T=1; Right: ε=0.1 and T=10).
    Table 4.  The discrete conservation laws of the difference scheme (3.9)–(3.12) with reduced step sizes under h=1/2 and τ=1/1000.
    t Q E
    0 6.267721589835858 2.041650615050223
    0.125 6.267721589832776 2.041650615048104
    0.250 6.267721589829613 2.041650615045897
    0.375 6.267721589826562 2.041650615043805
    0.500 6.267721589823495 2.041650615041712
    0.625 6.267721589820407 2.041650615039603
    0.750 6.267721589816996 2.041650615037288
    0.875 6.267721589813823 2.041650615035165
    1.000 6.267721589810754 2.041650615033137

     | Show Table
    DownLoad: CSV

    As we can see, the spatial convergence order approaches to four orders, approximately, and the temporal convergence order approaches to two orders in the maximum norm, which is consistent with our convergence results. It took us 6.74 seconds to compute the spatial order of accuracy, and 0.30 seconds to determine the temporal order of accuracy.

    From Table 4, we can see that the discrete conservation laws in Theorems 1 and 2 are also satisfied. In the first graph of Figure 2, we depict the evolutionary trend surface of the numerical solution u(x,t) with τ=1/1000, h=1/2, L=50 and T=1, and this figure successfully reflects the panorama of the exact solution.

    When simulating a short duration of time T=1, the impact of values ε=1 and ε=0.1 on the numerical simulation is relatively small. Therefore, in the following Case Ⅱ, we take ε=0.1 and T=10 to observe the impact of ε on the numerical simulation situation.

    Case II ε=0.1:

    The numerical results are reported in Table 5 and Figure 2. The two discrete conservation laws of the difference scheme (3.9)–(3.12) are reported in Table 6.

    Table 5.  Convergence orders versus numerical errors for the scheme (3.9)–(3.12) with reduced step-sizes under L=50 and T=10.
    τ=1/1000 h=1/2
    h F(h,τ) Ordh τ G(h,τ) Ordτ
    25/3 5.1657e-02 * 1/2 9.3665e-03 *
    25/6 8.1492e-03 2.6642 1/4 2.6282e-03 1.8334
    25/12 6.5306e-04 3.6414 1/8 5.8168e-04 2.1758
    25/24 4.8822e-05 3.7416 1/16 1.3874e-04 2.0679

     | Show Table
    DownLoad: CSV
    Table 6.  The discrete conservation laws of the difference scheme (3.9)–(3.12) with reduced step-sizes under h=1/2 and τ=1/1000.
    t Q E
    0 6.267721589835858 2.000401671877802
    1.25 6.267721589837073 2.000401671878745
    2.50 6.267721589838247 2.000401671879621
    3.75 6.267721589839301 2.000401671880389
    5.00 6.267721589840338 2.000401671881143
    6.25 6.267721589840971 2.000401671881638
    7.50 6.267721589841729 2.000401671882164
    8.75 6.267721589842555 2.000401671882761
    10.0 6.267721589843263 2.000401671883252

     | Show Table
    DownLoad: CSV

    First, we fix the temporal step-size τ=1/1000 and reduce the spatial step-size h half by half (h=25/3,25/6,25/12,25/24). Second, we fix the spatial step-size h=1/2 and reduce the temporal step size τ half by half (τ=1/2,1/4,1/8,1/16).

    As we can see, the spatial convergence order approaches to four orders, approximately, and the temporal convergence order approaches to two orders in the maximum norm, which is consistent with our convergence results. It took us 33.76 seconds to compute the spatial order of accuracy and 0.33 seconds to determine the temporal order of accuracy.

    In the second subgraph of Figure 2, we depict the evolutionary trend surface of the numerical solution u(x,t) with τ=1/1000, h=1/2, L=50 and T=10. Compared with the first subgraph of Figure 2, smaller ε amplifies sharper transitions and wave-like behavior, whereas the larger ε makes the solution smoother.

    Example 3. In the last example, we consider the problem

    {ut=uxx+uux+uxxt,0<x<30,0<t20,u(0,t)=u(30,t),0<t20.

    with the Maxwell initial conditions u(x,0)=e(x7)2,0x30.

    Figure 3 reflects the behavior of the solutions to the pseudo-parabolic Burgers' equation. During the propagation process, we observe that the pseudo-parabolic Burgers' equation exhibits characteristics of both diffusion and advection. As we can see, the peak gradually spreads out and flattens as time progresses. Additionally, the solution moves to the right, indicating propagation direction.

    Figure 3.  The numerical solution u(x,t) with τ=1/500, h=3/10, L=30 and T=20.

    The numerical scheme ensures stability, convergence, and the preservation of physical properties, which can be observed from the smooth transitions over time. This phenomenon indicates that the numerical scheme preserves the physical properties, ensuring stability and convergence.

    In Figure 4, we observe that the pseudo-parabolic Burgers' equation exhibits propagation characteristics coupled with gradual damping.

    Figure 4.  The numerical solution u(x,t) with τ=1/500, h=3/10, L=30 and T=20.

    From Table 7, we can see that the discrete conservation law agrees well with Theorems 1 and 2. The value of Q remains almost constant throughout the simulation, which is crucial for maintaining the physical integrity of the solution. Similarly, the phenomenon is suitable for the energy E, and these results further verify the correctness and reliability of the high-order compact difference scheme.

    Table 7.  The discrete conservation laws of the difference scheme (3.9)–(3.12) with reduced step sizes under h=3/10 and τ=1/500.
    t Q E
    0 1.772453850905516 2.505978912117327
    2.50 1.772453850935547 2.505978912141013
    5.00 1.772453850964681 2.505978912152665
    7.50 1.772453850994238 2.505978912161075
    10.0 1.772453851021927 2.505978912167129
    12.5 1.772453851052832 2.505978912173078
    15.0 1.772453851083987 2.505978912178467
    17.5 1.772453851115895 2.505978912183606
    20.0 1.772453851148868 2.505978912188604

     | Show Table
    DownLoad: CSV

    We propose and analyze an implicit compact difference scheme for the pseudo-parabolic Burgers' equation, achieving second-order accuracy in time and fourth-order accuracy in space. Using the energy method, we provide a rigorous numerical analysis of the scheme, proving the existence, uniqueness, uniform boundedness, convergence, and stability of its solution. Finally, the theoretical results are validated through numerical experiments. The experimental results demonstrate that the proposed scheme is highly accurate and effective, aligning with the theoretical predictions. As part of our ongoing research [42,43,44,45,46,47,48], we aim to extend these techniques and approaches to other nonlocal or nonlinear evolution equations [49,50,51,52,53,54,55].

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors would like to thank the supervisor Qifeng Zhang, who provide this interesting topic and detailed guidance. They are also guilt to Baohui Xie's work when he studied in Zhejiang Sci-Tech Universtiy. The authors are grateful to the editor and the anonymous reviewers for their careful reading and many patient checking of the whole manuscript.

    The work is supported by Institute-level Project of Zhejiang Provincial Architectural Design Institute Co., Ltd. (Research on Digital Monitoring Technology for Central Air Conditioning Systems, Institute document No. 18), and National Social Science Fund of China (Grant No. 23BJY006) and General Natural Science Foundation of Xinjiang Institute of Technology(Grant No. ZY202403).

    The authors declare there is no conflicts of interest.



    [1] Abadie A, Diamond A, Hainmueller J (2010) Synthetic control methods for comparative case studies: Estimating the effect of California's tobacco control program. J Am Stat Assoc 105: 493–505. https://doi.org/10.1198/jasa.2009.ap08746 doi: 10.1198/jasa.2009.ap08746
    [2] Abadie A, Gardeazabal J (2003) The economic costs of conflict: A case study of the Basque Country. Am Econ Rev 93: 113–132. https://doi.org/10.1257/000282803321455188 doi: 10.1257/000282803321455188
    [3] Arkhangelsky D, Athey S, Hirshberg DA, et al. (2021) Synthetic difference-in-differences. Am Econ Rev 111: 4088–4118. https://doi.org/10.1257/aer.20190159 doi: 10.1257/aer.20190159
    [4] Ashenfelter OC, Card D (1984) Using the longitudinal structure of earnings to estimate the effect of training programs. Rev Econ Stat 11: 648–660. https://doi.org/10.2307/1924810 doi: 10.2307/1924810
    [5] Baade RA, Dye RF (1998) Sports stadiums and area development: A critical review. Econ Dev Q 2: 265–275. https://doi.org/10.1177/089124248800200306 doi: 10.1177/089124248800200306
    [6] Baade RA, Tiehen LJ (1990) An analysis of major league baseball attendance, 1969–1987. J Sport Soc Issues 14: 265–275. https://doi.org/10.1177/019372359001400102 doi: 10.1177/019372359001400102
    [7] Baade RA (1996) Professional sports as catalysts for metropolitan economic development. J Urban Aff 18: 1–17. https://doi.org/10.1111/j.1467-9906.1996.tb00361.x doi: 10.1111/j.1467-9906.1996.tb00361.x
    [8] Baade RA, Sanderson AR (1997) Cities under siege: how the changing financial structure of professional sports is putting cities at risk and what to do about it.
    [9] Bertrand M, Duflo E, Mullainathan S (1984) How much should we trust differences-in-differences estimates? Q J Econ 119: 249–275. https://doi.org/10.1162/003355304772839588
    [10] Blanchard O (1993) Consumption and the Recession of 1990–1991. Am Econ Rev 83: 270–274.
    [11] Blomstrom M, Lipsey RE, Zejan M (1992) What explains developing country growth? Available from: https://www.nber.org/system/files/working_papers/w4132/w4132.pdf.
    [12] Carroll CD, Fuhrer JC, Wilcox DW (1994) Does consumer sentiment forecast household spending? If so, why?. Am Econ Rev 84: 1397–1408.
    [13] Card D, Krueger AB (1993) Minimum wages and employment: A case study of the fast food industry in New Jersey and Pennsylvania. Am Econ Rev 90: 1397–1420.
    [14] Coates D, Humphreys BR (2008) Do economists reach a conclusion on subsidies for sports franchises, stadiums, and mega-events? Econ J Watch 5: 294–315.
    [15] Firpo S, Possebom V (2018) Synthetic control method: Inference, sensitivity analysis and confidence sets. J Causal Inference 6: 20160026. https://doi.org/10.1515/jci-2016-0026 doi: 10.1515/jci-2016-0026
    [16] Formánek T (2019) GDP per capita in selected EU countries: Economic growth factors and spatio-temporal interactions examined at the NUTS2 level. J Int Stud 12: 119–133. https://doi.org/10.14254/2071-8330.2019/12-1/8 doi: 10.14254/2071-8330.2019/12-1/8
    [17] Gennaioli N, Ma Y, Shleifer A (2016) Expectations and investment. NBER Macroeconomics Annual 30: 379–431.
    [18] Ilter C (2017) What economic and social factors affect GDP per capita? A study on 40 countries. J Global Strategic Manage 11: 51–62. https://doi.org/10.20460/JGSM.2018.252 doi: 10.20460/JGSM.2018.252
    [19] Kreif N, Grieve R, Hangartner D, et al. (2016) Examination of the synthetic control method for evaluating health policies with multiple treated units. Health Econ 25: 1514–1528. https://doi.org/10.1002/hec.3258 doi: 10.1002/hec.3258
    [20] Mello M (2024) A kick for the GDP: the effect of winning the FIFA World Cup. Am Econ Rev 86: 1313–1341. https://doi.org/10.1111/obes.12627 doi: 10.1111/obes.12627
    [21] Miller PA (2002) The economic impact of sports stadium construction: The case of the construction industry in St. Louis, MO. J Urban Aff 24: 159–173. https://doi.org/10.1111/1467-9906.00120 doi: 10.1111/1467-9906.00120
    [22] Santo C (2005) The economic impact of sports stadiums: Recasting the analysis in context. J Urban Aff 27: 177–192. https://doi.org/10.1111/j.0735-2166.2005.00231.x doi: 10.1111/j.0735-2166.2005.00231.x
    [23] Wu J (2012) Cluster analysis and K-means clustering: an introduction, In: Advances in K-means Clustering, Springer Theses. Springer, Berlin, Heidelberg, 1–16. https://doi.org/10.1007/978-3-642-29807-3_1
  • Reader Comments
  • © 2024 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(646) PDF downloads(32) Cited by(0)

Figures and Tables

Figures(7)  /  Tables(3)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog