Discontinuous Galerkin Finite Element Methods for 1D Rosenau Equation

11/28/2019
by   P. Danumjaya, et al.
BITS Pilani
0

In this paper, discontinuous Galerkin finite element methods are applied to one dimensional Rosenau equation. Theoretical results including consistency, a priori bounds and optimal error estimates are established for both semidiscrete and fully discrete schemes. Numerical experiments are performed to validate the theoretical results. The decay estimates are verified numerically for the Rosenau equation.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

11/28/2019

On the Penalty term for the Mixed Discontinuous Galerkin Finite Element Method for the Biharmonic Equation

In this paper, we present an analysis of the effect of penalty term in t...
02/16/2021

Lower-order equivalent nonstandard finite element methods for biharmonic plates

The popular (piecewise) quadratic schemes for the biharmonic equation ba...
09/30/2020

Superconvergence of Discontinuous Galerkin methods for Elliptic Boundary Value Problems

In this paper, we present a unified analysis of the superconvergence pro...
12/16/2019

Analyticity and hp discontinuous Galerkin approximation of nonlinear Schrödinger eigenproblems

We study a class of nonlinear eigenvalue problems of Scrödinger type, wh...
05/27/2020

Analysis of a Helmholtz preconditioning problem motivated by uncertainty quantification

This paper analyses the following question: let A_j, j=1,2, be the Galer...
01/09/2020

Superconvergent mixed finite element methods for the pseudostress-velocity formulation of the Oseen equation

We present a priori and superconvergence error estimates of mixed finite...
02/01/2021

Semi-discrete and fully discrete HDG methods for Burgers' equation

This paper proposes semi-discrete and fully discrete hybridizable discon...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Consider the one dimensional Rosenau equation:

(1.1)

with initial condition

(1.2)

and the boundary conditions

(1.3)

where is a nonlinear term in of the type , here is a real constant and is a positive integer.

The Rosenau equation is an example of a nonlinear partial differential equation, which governs the dynamics of dense discrete systems and models wave propagation in nonlinear dispersive media.



Recently, several numerical techniques like conforming finite element methods, mixed finite element methods, orthogonal cubic spline collocation methods, etc., were proposed to find the approximate solution of Rosenau equation. The different conforming finite element techniques are used to approximate the solution of Rosenau equation needs -interelement continuity condition and mixed finite element formulations are required -continuity condition. In this article discontinuous Galerkin finite element methods are used to approximate the solution.

The well-posedness results of (1.1)-(1.3) was proved by Park [16] and Atouani et al. in [2]. Earlier, some numerical methods were proposed to solve the Rosenau equation (1.1)-(1.3) using finite difference methods by Chung [6], conservative difference schemes by Hu and Zheng [11] and Atouni and Omrani [3]. Finite element Galerkin method was used by [2, 7], a second order splitting combined with orthogonal cubic spline collocation method was used by Manickam et al. [13] and Chung and Pani in [5] constructed a -conforming finite element method for the Rosenau equation (1.1)-(1.3) in two-space dimensions.

In recent years, there has been a growing interest in discontinuous Galerkin finite element methods because of their flexibility in approximating globally rough solutions and their potential for error control and mesh adaptation.

Recently, a cGdG method was proposed by Choo. et. al in [8]. A subdomain finite element method using sextic b-spline was proposed by Battal and Turgut in [12]. But constructing finite elements for fourth order problems becomes expensive and hence discontinuous Galerkin finite element methods can be used to solve fourth order problems [9].

In this paper, we introduce discontinuous Galerkin finite element methods (DGFEM) in space to solve the one dimensional Rosenau equation (1.1)-(1.3). Comparitive to existing methods our proposed method require less regularity.

The outline of the paper is as follows. In Section 2, we derive the discontinuous weak formulation of the Rosenau equation. In Section 3, we discuss the a priori bounds and optimal error estimates for the semidiscrete problem. In Section 4, we discretize the semidiscrete problem in the temporal direction using a backward Euler method and discuss the a priori bounds and optimal error estimates. Finally, in Section 5, we present some numerical results to validate the theoretical results.

Throughout this paper, denotes a generic positive constant which is independent of the discretization parameter which may have different values at different places.

2 Weak Formulation

In this section, we derive the weak formulation for the problem (1.1)-(1.3).

We discretize the domain into subintervals as

and for . We denote this partition by consisting of sub-intervals . Below, we define the broken Sobolev space and corresponding norm

and

Now define the jump and average of across the nodes as follows. The jump of a function value across the inter-element node , shared by and denoted by and defined by

At the boundary and , we set

The average of a function value across the inter-element node , shared by and denoted by and defined by

At the boundary and , we set

We multiply (1.1) with and integrate over to obtain

(2.4)

Now, using integration by parts twice in (2.4), we arrive at

Summing over all the elements and using

we obtain

(2.5)

Since is assumed to be sufficiently smooth, we have . Using this, we write as

(2.6)

The right hand side of (2.6) was found out using the boundary conditions 1.3. Adding (2.6) to (2.5) we obtain

(2.7)

We define the bilinear form as

(2.8)

where

and

In (2.8), and are the penalty terms and . The value of will be defined later.

The weak formulation of (1.1)-(1.3) as follows: Find , such that

(2.9)
(2.10)

Below, we state and prove the consistency result of the weak formulation (2.9)-(2.10).

Theorem 2.1.

Let be a solution of the continuous problem (1.1)-(1.3). Then satisfies the weak formulation (2.9)-(2.10). Conversely, if for is a solution of (2.9)-(2.10), then satisfies (1.1)-(1.3).

Proof.

Let and . Multiply (1.1) by and integrate from to . Sum over all and using (2.5), (2.6) and (2.7), we obtain the weak formulation (2.9).

Conversely, let and , the space of infinitely differentiable functions with compact support in . Then, (2.9) becomes

(2.11)

Applying integration by parts twice on the second term on the left hand side of (2.11) to obtain,

as is compactly supported on . This immediately yields

(2.12)

Consider the node shared between and . Choose , multiply (2.12) by and integrate over to obtain

(2.13)

Applying integration by parts twice on the second term of (2.13) and using , we obtain

(2.14)

On the other hand, we have from (2.9) for the choice of and ,

(2.15)

Comparing (2.14) and (2.15) and using the fact that is arbitrary, we obtain

Thus and hence, from (2.13), we obtain

(2.16)

This completes the proof. ∎

3 Semidiscrete DGFEM

In this section, we discuss the a priori bounds and optimal error estimates for the semidiscrete Galerkin method.

We define a finite dimensional subspace of as

The weak formulation for the semidiscrete Galerkin method is to find such that

(3.1)
(3.2)

where is an appropriate approximation of which will be defined later.

3.1 A priori Bounds

In this sub-section, we derive the a priori bounds.

Define the energy norm

We note from [9] that is coercive with respect to the energy norm, i.e.,

for sufficiently large values of and .

Observe that (3.1

) yields a system of non-linear ordinary differential equations and the existence and uniqueness of the solution can be guaranteed locally using the Picard’s theorem. To obtain existence and uniqueness globally, we use continuation arguments and hence we need the following

a priori bounds.

Theorem 3.1.

Let be a solution to (3.1) and assume that is bounded. Then there exists a positive constant such that

(3.3)
Proof.

On setting in (3.1), we obtain

(3.4)

We rewrite the equation (3.4) as

Integrating from to , we obtain

(3.5)

On using the coercivity of and the boundedness of , we arrive at

(3.6)

Using the Cauchy Schwarz inequality and the Poincaré inequality on the right hand side of (3.6), we obtain

(3.7)

An application of Gronwall’s inequality yields the desired a priori bound for . ∎

3.2 Error Estimates in the energy and -norm

In this subsection, we derive the optimal error estimates in energy and -norm.

Often a direct comparison between and does not yield optimal rate of convergence. Therefore, there is a need to introduce an appropriate auxiliary or intermediate function so that the optimal estimate of is easy to obtain and the comparision between and yields a sharper estimate which leads to optimal rate of convergence for . In literature, Wheeler [20] for the first time introduced this technique in the context of parabolic problem. Following Wheeler [20], we introduce be an auxiliary projection of defined by

(3.8)

Now set the error and split as follows: , where and . Below, we state some error estimates for and its temporal derivative.

Lemma 3.1.

For and then there exists a positive constant independent of such that the following error estimates for hold:

Proof.

We split as follows:

where , and

is an interpolant of

satisfying good approximation properties. Now from (3.8), we have

(3.9)

We note that satisfies the following approximation property [17]:

Set in (3.9) to obtain

A use of coercivity of and the assumption that is a sufficiently smooth interpolant of , we obtain

(3.10)

Now we estimate the first term as follows:

(3.11)

Estimating the second term using Hölder’s inequality, trace inequality and the Young’s inequality, we obtain

(3.12)

Similarly the last term can be estimated as

(3.13)

Combining (3.11)-(3.13), we obtain the following bound for when

(3.14)

Now using , we obtain the energy norm estimate for . For the -estimate of , we use the Aubin Nitsché duality argument. Consider the dual problem

We note that satisfies the regularity condition . Consider

Since , we can write

(3.15)

where is a continuous interpolant of and satisfies the approximation property:

(3.16)

We use the approximation property (3.16), the energy norm estimate for and the regularity result to bound each term on the right hand side of (3.15) and obtain the estimate for as:

For the estimates of the temporal derivative of , we differentiate (3.8) with respect to and repeat the arguments. Hence, it completes the rest of the proof. ∎

The following Lemma is useful to prove the error estimates:

Lemma 3.2.

Let where . Then there exists a positive constant independent of such that,

where .

Proof.

We define the reference element as

Since , we have the following relation (refer [4]) for the norms in the reference element and the interval

In one space dimension, i.e., , we have

(3.17)

By the equivalence of norm (refer [4]), we have

(3.18)

Now from (3.17) and (3.18), we obtain

Rearranging the terms and squaring on both sides, we obtain the desired estimate. ∎

To obtain the error estimates, we subtract (3.1) from (2.9) and using the auxiliary projection (3.8), we obtain the following error equation

(3.19)

Now we state and prove the following theorem.

Theorem 3.2.

Let and be the solutions of (3.1) and (2.9), respectively. Let be the elliptic projection of , i.e., . Then for and there exists a positive constant independent of such that

Proof.

Setting in (3.19), we obtain

(3.20)

Now, we write equation (3.20) as

Integrating with respect to from to and noting that , we obtain

(3.21)

We use integration by parts on the nonlinear term to obtain,

(3.22)

Using the Cauchy Schwarz’s and Young’s inequality, we bound the last term of (3.22) as

Now for the first term in (3.22), we use Hölder’s inequality to write

(3.23)

As earlier in (3.12), we use the penalty term to write (3.23) as

A similar bound for the second term can be obtained as follows. Using the Hölder’s inequality, we write

(3.24)

Using the trace inequality, we obtain