Next Article in Journal
Trapezium-Type Inequalities for Raina’s Fractional Integrals Operator Using Generalized Convex Functions
Next Article in Special Issue
Existence of Three Solutions for a Nonlinear Discrete Boundary Value Problem with ϕc-Laplacian
Previous Article in Journal
The Status of Edge Strands in Ferredoxin-Like Fold
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Absolute Stable Difference Scheme for Third Order Delay Partial Differential Equations

by
Allaberen Ashyralyev
1,2,3,*,
Evren Hınçal
1 and
Suleiman Ibrahim
1
1
Department of Mathematics, Near East University, Lefkosa, Mersin 10 99138, Turkey
2
Department of Mathematics, Peoples’ Friendship University of Russia (RUDN University), Moscow 117198, Russia
3
Institute of Mathematics and Mathematical Modeling, Almaty 050010, Kazakhstan
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(6), 1033; https://doi.org/10.3390/sym12061033
Submission received: 16 April 2020 / Revised: 29 May 2020 / Accepted: 15 June 2020 / Published: 19 June 2020
(This article belongs to the Special Issue Symmetry in Modeling and Analysis of Dynamic Systems)

Abstract

:
The initial value problem for the third order delay differential equation in a Hilbert space with an unbounded operator is investigated. The absolute stable three-step difference scheme of a first order of accuracy is constructed and analyzed. This difference scheme is built on the Taylor’s decomposition method on three and two points. The theorem on the stability of the presented difference scheme is proven. In practice, stability estimates for the solutions of three-step difference schemes for different types of delay partial differential equations are obtained. Finally, in order to ensure the coincidence between experimental and theoretical results and to clarify how efficient the proposed scheme is, some numerical experiments are tested.

1. Introduction

Various problems in elasticity theory such as the problems of the longitudinal oscillations of a non-uniform viscoelastic rod, the problem of the longitudinal impact of a perfectly rigid body on a non-uniform finite-length viscoelastic rod with a variable cross-section, problems of wave propagation in a visco-elastic body, etc., lead to third order differential equations without the time delay term ([1,2,3]). Over the years, nonlocal and local boundary value problems have been of great interest due to their importance in the fields of engineering and science, especially in applied mathematics. Such problems have formed various research fields. Several nonlocal and local boundary value problems for differential equations have been investigated extensively in various works (for example, see [4,5,6,7,8,9,10,11,12] and the references given therein).
Differential equations having a delay term are used to model sociological, biological, as well as physical processes. They are used to model naturally occurring oscillation systems. A typical example of the occurrence of time delay can be seen in a sampled data control in control theory (see, for example, [13,14,15,16,17]). The presence of delay term in differential equations usually leads to difficulties in analyzing the differential equation. The boundedness and stability and the oscillation property of solutions for a third order delay ordinary differential and difference problems were widely studied (for example, see [18,19,20,21,22,23,24,25] and the references given therein).
Delay partial differential equations (DPDEs) arise in many applications such as control theory, climate models, medicine, biology, and much more (for example, see [26] and the references therein). The independent variables of partial differential equations having delay terms are time t together with one or more dimensional variable x, representing the position in space. It can also stand for the size of cells, relative DNA content, their level of mutation, as well as other parameters. The solutions of partial differential equations having delay terms may stand for voltage, temperature, or densities or concentrations of various particles, for instance chemicals, cells, animals, bacteria, and so on. Numerical methods for partial differential equations with delay terms usually lead to specific difficulties, which are usually not present in equations without delay terms. The theory and applications of parabolic and hyperbolic partial differential equations having a time delay term were studied by numerous authors (for example, see [13,27,28,29,30,31,32,33,34] and the references given therein). Recent publications on third order DPDEs are not many.
Several physical models lead to initial-boundary value problems for third order DPDEs (see, e.g., [1,3,8]). It is known that such types of problems can be replaced with the initial value problem for a third order delay differential equation:
u t t t ( t ) + A u t ( t ) = b A u ( t w ) + f ( t ) , 0 < t < , u ( t ) = g ( t ) , w t 0
in a Hilbert space H with unbounded operator A . Here, b R 1 . Assume that f ( t ) is a continuous function on [ 0 , ) and f ( t ) D ( A 1 / 2 ) , g ( t ) is a twice continuously differentiable function on [ w , 0 ] and g ( k ) ( t ) D ( A ( 3 k ) / 2 ) for k = 0 , 1 , 2 .
Let us give the main theorem of paper [35].
Theorem 1.
The solution of Problem (1) satisfies the stability estimates:
a 1 d a 0 + 0 w f ( s ) D ( A 1 2 ) d s , d = 2 + b w ,
a n + 1 d a n + j = 1 n + 1 ( j 1 ) ω j w f ( s ) D ( A 1 2 ) d s , n = 1 , 2 , ,
a 0 = max max w t 0 g t t ( t ) D ( A 1 2 ) , max w t 0 g t ( t ) D ( A ) , max w t 0 g ( t ) D ( A 3 2 ) ,
a n = max max n 1 w t n w u t t ( t ) D ( A 1 2 ) , max n 1 w t n w u t ( t ) D ( A ) , max n 1 w t n w u ( t ) D ( A 3 2 ) .
In practice, stability estimates for the solution of several problems for third order DPDEs were obtained.
Moreover, publications on the theory and applications of difference schemes (DSs) for third order DPDEs are not available. Thus, the construction and investigation of stable DSs for the approximate solutions of third order DPDEs is of great importance. Our aim in this paper is to construct the absolute stable three-step DS of the first order of accuracy of the third order DPDE for the approximate solution of the problem (1). We consider the uniform set of grid points:
w , τ = t k : t k = k τ , N k < , N τ = ω
with step τ > 0 . Applying Taylor’s decomposition method on three and two points (see [36,37]), we present the DS of the first order of accuracy:
u k + 2 3 u k + 1 + 3 u k u k 1 τ 3 + A u k + 2 u k + 1 τ = b A u k N + f ( t k ) , k 1 , u k = g ( t k ) , N + 1 k 0 , ( I + τ 2 A ) u 1 u 0 τ = g ( 0 ) , ( I + τ 2 A ) u 2 2 u 1 + u 0 τ 2 = g ( 0 ) , ( I + τ 2 A ) u m N + 1 u m N τ = u m N u m N 1 τ , ( I + τ 2 A ) u m N + 2 2 u m N + 1 + u m N τ 2 = u m N 2 u m N 1 + u m N 2 τ 2 , m = 1 , 2 ,
for the approximate solution of Problem (1).
The organization of this paper is as follows. In Section 2, the main theorem on the stability of DS (4) is established. In Section 3, stability estimates of DSs for the approximate solution of three problems for third order DPDEs are obtained. Numerical results are provided for one= and two=dimensional third order DPDEs in Section 4. Finally, Section 5 gives the conclusion and our future plans.

2. Stability of DS

All over the present paper, assume that H is a Hilbert space and A is a self-adjoint positive definite operator A δ I in H and R = ( I i τ A 1 2 ) 1 , R ˜ = ( I + i τ A 1 2 ) 1 .
Note that three-step DS (4) can obviously be rewritten as the system of single-step and two-step delay DS:
u k + 1 u k τ = v k , k 0 , v k + 1 2 v k + v k 1 τ 2 + A v k + 1 = p k , p k = b u k N + f ( t k ) , k 1 , u k = g ( t k ) , N k 0 , ( I + τ 2 A ) v 0 = g ( 0 ) , ( I + τ 2 A ) v 1 v 0 τ = g ( 0 ) , ( I + τ 2 A ) v m N = u m N u m N 1 τ , ( I + τ 2 A ) v m N + 1 v m N τ = u m N 2 u m N 1 + u m N 2 τ 2 , m = 1 , 2 ,
for the solution of DS (4). Applying DC(5), we can obtain the formula for the solution of DS (4). For this, we will consider two cases 1 k N and m N + 1 k ( m + 1 ) N , m = 1 , 2 , , separately.
Let 1 k N . Applying (5), we get the following DS:
u k u k 1 τ = v k 1 , 1 k N , v k + 1 2 v k + v k 1 τ 2 + A v k + 1 = p k , p k = b u k N + f ( t k ) , 1 k N 1 , u k = g ( t k ) , N k 0 , ( I + τ 2 A ) v 0 = g ( 0 ) , ( I + τ 2 A ) v 1 v 0 τ = g ( 0 ) .
Therefore, we have that (see [38]):
u 0 = g ( 0 ) , u k = g ( 0 ) + j = 0 k 1 τ v j , 1 k N ,
v 0 = R R ˜ g ( 0 ) , v 1 = R R ˜ g ( 0 ) + τ R R ˜ g ( 0 ) ,
v k = 1 2 [ R k 1 + R ˜ k 1 ] R R ˜ g ( 0 ) + 1 2 i A 1 2 R ( R k R ˜ k ) g ( 0 ) s = 1 k 1 τ 2 i A 1 2 [ R k s R ˜ k s ] p s = 1 2 [ R k 1 + R ˜ k 1 ] R R ˜ g ( 0 ) + 1 2 i A 1 2 R ( R k R ˜ k ) g ( 0 ) + A 1 1 2 s = 2 k 1 [ R k s + R ˜ k s ] ( p s 1 p s ) + 2 p k 1 [ R k 1 + R ˜ k 1 ] p 1 , 2 k N ,
p k = b A g ( t k N ) + f ( t k ) , 1 k N 1 .
Applying Formulas (6)–(8), we obtain:
u k = g ( 0 ) + τ R R ˜ g ( 0 ) , k = 0 , g ( 0 ) + τ R R ˜ g ( 0 ) , k = 1 , g ( 0 ) + 2 τ R R ˜ g ( 0 ) + τ 2 R R ˜ g ( 0 ) , k = 2 , g ( 0 ) + 1 2 i A 1 2 R k 2 R ˜ k 2 R R ˜ g ( 0 ) 1 2 A 1 R 2 R R ˜ R k 1 + R ˜ k 1 g ( 0 ) + j = 2 k 1 τ s = 1 j 1 τ 2 i A 1 2 [ R j s R ˜ j s ] p s , 3 k N .
By an interchange of the order of summation, we get:
u k = g ( 0 ) + τ R R ˜ g ( 0 ) , k = 0 , g ( 0 ) + τ R R ˜ g ( 0 ) , k = 1 , g ( 0 ) + 2 τ R R ˜ g ( 0 ) + τ 2 R R ˜ g ( 0 ) , k = 2 , g ( 0 ) + 1 2 i A 1 2 R k 2 R ˜ k 2 R R ˜ g ( 0 ) 1 2 A 1 R 2 R R ˜ R k 1 + R ˜ k 1 g ( 0 ) + A 1 s = 1 k 2 τ 2 [ 2 I R k 1 s + R ˜ k 1 s ] p s , 3 k N
for the solution of DS (4).
Let 1 + m N k ( m + 1 ) N , m = 1 , 2 , . Applying (5), we can get the DS:
u k u k 1 τ = v k 1 , m N + 1 k ( m + 1 ) N , v k + 1 2 v k + v k 1 τ 2 + A v k + 1 = p k , p k = b u k N + f ( t k ) , m N + 1 k ( m + 1 ) N 1 , u m N is given , ( I + τ 2 A ) v m N = u m N u m N 1 τ , ( I + τ 2 A ) v m N + 1 v m N τ = u m N 2 u m N 1 + u m N 2 τ 2 .
Therefore, we have that (see [38]):
u k = u m N + j = m N + 2 k 1 τ v j , m N + 1 k ( m + 1 ) N ,
v m N = R R ˜ u m N u m N 1 τ , v m N + 1 = R R ˜ u m N u m N 1 τ + τ R R ˜ u m N 2 u m N 1 + u m N 2 τ 2 ,
v k = 1 2 [ R k m N 1 + R ˜ k m N 1 ] R R ˜ u m N u m N 1 τ + 1 2 i A 1 2 R ( R k m N R ˜ k m N ) u m N 2 u m N 1 + u m N 2 τ 2 s = m N + 1 k 1 τ 2 i A 1 2 [ R k s R ˜ k s ] p s = 1 2 [ R k 1 + R ˜ k 1 ] R R ˜ u m N u m N 1 τ + 1 2 i A 1 2 R ( R k R ˜ k ) g ( 0 ) + A 1 1 2 s = m N + 2 k 1 [ R k s + R ˜ k s ] ( p s 1 p s ) + 2 p k m N 1 [ R k m N 1 + R ˜ k m N 1 ] p m N + 1 , m N + 2 k ( m + 1 ) N .
Applying Formulas (10)–(12), we can obtain:
u k = u m N + τ R R ˜ u m N u m N 1 τ , k = m N + 1 , u m N + 2 τ R R ˜ u m N u m N 1 τ + τ 2 R R ˜ u m N 2 u m N 1 + u m N 2 τ 2 , k = m N + 2 , u m N + 1 2 i A 1 2 R k m N 2 R ˜ k m N 2 R R ˜ u m N u m N 1 τ 1 2 A 1 R 2 R R ˜ R k m N 1 + R ˜ k m N 1 u m N 2 u m N 1 + u m N 2 τ 2 + j = m N + 2 k 1 τ s = m N + 1 j 1 τ 2 i A 1 2 [ R j s R ˜ j s ] p s , m N + 3 k ( m + 1 ) N .
By an interchange of the order of summation, we get the solution of DS (4):
u k = u m N + τ R R ˜ u m N u m N 1 τ , k = m N + 1 , u m N + 2 τ R R ˜ u m N u m N 1 τ + τ 2 R R ˜ u m N 2 u m N 1 + u m N 2 τ 2 , k = m N + 2 , u m N + 1 2 i A 1 2 R k m N 2 R ˜ k m N 2 R R ˜ u m N u m N 1 τ 1 2 A 1 R 2 R R ˜ R k m N 1 + R ˜ k m N 1 u m N 2 u m N 1 + u m N 2 τ 2 + A 1 s = m N + 1 k 2 τ 2 [ 2 I R k 1 s + R ˜ k 1 s ] p s , m N + 3 k ( m + 1 ) N .
The following lemma will be needed in the sequel.
Lemma 1.
The following estimates are fulfilled:
R H H , R ˜ H H 1 ,
R R ˜ 1 H H , R ˜ R 1 H H 1 ,
τ A 1 2 R H H , τ A 1 2 R ˜ H H 1 .
The proof of the estimates (14)–(16) is based on the spectral theory of a self-adjoint operator in a Hilbert space [39].
Now, let us study the stability of DS (4).
Theorem 2.
The solution of DS (4) satisfies the following stability estimates:
b 1 ( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H ,
b m + 1 ( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N A 1 2 f ( t s ) H ,
b 0 = max max N k 0 A 1 2 g t t ( t k ) H , max N k 0 A g t ( t k ) H , max N k 0 A 3 2 g ( t k ) H ,
b m = max max m 1 N k m N 2 A 1 2 u k + 2 2 u k + 1 + u k τ 2 H ,
max m 1 N + 1 k m N A u k u k 1 τ H , 1 2 max m 1 N k m N A 3 2 u k H , m = 1 , 2 , .
Proof. 
Let us estimate b 1 . Using Formula (9) and the estimates (14)–(16), we get that:
A 3 2 u 1 H A 3 2 g ( 0 ) H + τ A 1 2 R H H R ˜ H H A g t ( 0 ) H 2 b 0 ,
A 3 2 u 2 H A 3 2 g ( 0 ) H + 2 τ A 1 2 R H H R ˜ H H A g t ( 0 ) H
+ τ A 1 2 R H H τ A 1 2 R ˜ H H A 1 2 g t t ( 0 ) H 4 b 0 ,
A 3 2 u k H A 3 2 g ( 0 ) H + 1 2 [ R H H k 2 + R ˜ H H k 2 ] R R ˜ H H A g t ( 0 ) H
+ 1 2 R H H [ 2 R R ˜ H H + R H H k 1 + R ˜ H H k 1 ] A 1 2 g t t ( 0 ) H
+ τ 2 | b | s = 1 k 2 [ 2 + R H H k 1 s + R ˜ H H k 1 s ] A 3 2 g ( t s N ) H
+ τ 2 s = 1 k 2 [ 2 + R H H k 1 s + R ˜ H H k 1 s ] A 1 2 f ( t s ) H A 3 2 g ( 0 ) H + A g t ( 0 ) H
+ 2 A 1 2 g t t ( 0 ) H + 2 τ | b | ( N 2 ) max N k 0 A 3 2 g ( t k ) H + 2 τ s = 1 k 2 A 1 2 f ( t s ) H
2 ( 2 + τ | b | ( N 2 ) ) b 0 + 2 τ s = 1 N 2 A 1 2 f ( t s ) H , 3 k N .
From that and u 0 = g ( 0 ) , it follows that:
1 2 max 0 k N A 3 2 u k H
( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Applying Formulas (6)–(8), we can write:
u 1 u 0 τ = v 0 = R R ˜ g t ( 0 ) ,
u 2 u 1 τ = v 1 = R R ˜ g t ( 0 ) + τ R R ˜ g t t ( 0 ) ,
u k u k 1 τ = v k 1 = 1 2 [ R k 2 + R ˜ k 2 ] R R ˜ g t ( 0 ) + 1 2 i R ( R k 1 R ˜ k 1 ) A 1 2 g t t ( 0 )
τ 2 i s = 1 k 2 [ R k 1 s R ˜ k 1 s ] b A 1 2 g ( t s N ) τ 2 i s = 1 k 2 [ R k 1 s R ˜ k 1 s ] A 1 2 f ( t s ) , 3 k N .
Using this formula and the estimates (14)–(16), we obtain:
A u 1 u 0 τ H R R ˜ H H g t ( 0 ) H b 0 ,
A u 2 u 1 τ H R R ˜ H H A g t ( 0 ) H + τ A 1 2 R H H R ˜ H H A 1 2 g t t ( 0 ) H 2 b 0 ,
A u k u k 1 τ H 1 2 [ R H H k 2 + R ˜ H H k 2 ] R R ˜ H H g t ( 0 ) H
+ 1 2 [ R H H k 1 + R ˜ H H k 1 ] R H H A 1 2 g t t ( 0 ) H + τ 2 | b | s = 1 N 2 [ R H H k 1 s + R ˜ H H k 1 s ] A 3 2 g ( t s N ) H
+ τ 2 s = 1 N 2 [ R H H k 1 s + R ˜ H H k 1 s ] A 1 2 f ( t s ) H
( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H , 3 k N .
Combining these estimates, we obtain:
max 1 k N A u k u k 1 τ H ( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Applying Formulas (6)–(8), we can write:
u 2 2 u 1 + u 0 τ 2 = τ 1 v 1 v 0 = R ˜ R g t t ( 0 ) ,
u 3 2 u 2 + u 1 τ 2 = τ 1 v 2 v 1
= τ A ( R R ˜ ) 2 g t ( 0 ) + I τ 2 A R ˜ R 2 g t t ( 0 ) + τ R R ˜ p 1
= τ A ( R R ˜ ) 2 g t ( 0 ) + I τ 2 A R ˜ R 2 g t t ( 0 ) + τ R R ˜ [ b A g ( t 1 N ) + f ( t 1 ) ] ,
u k + 2 2 u k + 1 + u k τ 2 = τ 1 v k + 1 v k
= τ 1 { 1 2 [ R k + R ˜ k ] R R ˜ g t ( 0 ) + 1 2 i A 1 2 [ R k + 1 R ˜ k + 1 ] R g t t ( 0 )
s = 1 k τ 2 i A 1 2 [ R k + 1 s R ˜ k + 1 s ] p s 1 2 [ R k 1 + R ˜ k 1 ] R R ˜ g t ( 0 )
1 2 i A 1 2 [ R k R ˜ k ] R g t t ( 0 ) + s = 1 k τ 2 i A 1 2 [ R k s R ˜ k s ] p s }
= τ 1 { 1 2 [ R k + R ˜ k R k 1 R ˜ k 1 ] R R ˜ g t ( 0 ) + 1 2 i A 1 [ R k + 1 R ˜ k + 1 R k + R ˜ k ] R g t t ( 0 )
τ 2 i A 1 2 [ R R ˜ ] p k + s = 1 k 1 τ 2 i A 1 2 [ R k s R ˜ k s R k + 1 s + R ˜ k + 1 s ] p s }
= i 2 [ R k R ˜ k ] R R ˜ A 1 2 g t ( 0 ) + 1 2 R [ R k + 1 + R ˜ k + 1 ] g t t ( 0 ) τ R R ˜ A b g ( t k N ) τ R R ˜ f ( t k )
τ 2 s = 1 k 1 [ R k s + 1 + R ˜ k s + 1 ] A b g ( t s N ) τ 2 s = 1 k 1 [ R k s + 1 + R ˜ k s + 1 ] f ( t s ) , 2 k N 2 .
Using this formula and the estimates (14)–(16), we obtain:
A 1 2 u 2 2 u 1 + u 0 τ 2 H R R ˜ H H A 1 2 g t t ( 0 ) H b 0 ,
A 1 2 u 3 2 u 2 + u 1 τ 2 H τ A 1 2 R H H R H H R ˜ H H 2 A g t ( 0 ) H + R R ˜ H H A 1 2 g t t ( 0 ) H
+ τ | b | R R ˜ H H A 3 2 g ( t 1 N ) H + τ R R ˜ H H A 3 2 f ( t 1 ) H
( 2 + τ | b | ) b 0 + τ A 1 2 f ( t 1 ) H ,
A 1 2 u k + 2 2 u k + 1 + u k τ 2 H 1 2 [ R H H k + R ˜ H H k ] R R ˜ H H A g t ( 0 ) H
+ 1 2 R H H [ R H H k + 1 + R ˜ H H k + 1 ] A 1 2 g t t ( 0 ) H + τ 2 | b | s = 1 k 1 [ R H H k s + 1 + R ˜ H H k s + 1 ] A 3 2 g ( t s N ) H
+ τ 2 s = 1 k 1 [ R H H k s + 1 + R ˜ H H k s + 1 ] A 1 2 f ( t s ) H + τ | b | R R ˜ H H A 3 2 g ( t k N ) H
+ τ R R ˜ H H A 1 2 f ( t k ) H
( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H , 2 k N 2 .
Combining these estimates, we can get:
max 0 k N 2 A 1 2 u k + 2 2 u k + 1 + u k τ 2 H
( 2 + τ | b | ( N 2 ) ) b 0 + τ s = 1 N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Estimate (17) follows from (19)–(21).
Now, let us estimate b m + 1 . Using Formula (13) and the estimates (14)–(16), we can obtain:
A 3 2 u m N + 1 H A 3 2 u m N H + τ A 1 2 R H H R ˜ H H A u m N u m N 1 τ H 2 b m ,
A 3 2 u m N + 2 H A 3 2 u m N H + 2 τ A 1 2 R H H R ˜ H H A u m N u m N 1 τ H
+ τ A 1 2 R H H τ A 1 2 R ˜ H H A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H 4 b m ,
A 3 2 u k H A 3 2 u m N H + 1 2 [ R H H k m N 2 + R ˜ H H k m N 2 ] R R ˜ H H A u m N u m N 1 τ H
+ 1 2 R H H [ 2 R R ˜ H H + R H H k m N 1 + R ˜ H H k m N 1 ] A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H
+ τ 2 | b | s = m N + 1 k 2 [ 2 + R H H k 1 s + R ˜ H H k 1 s ] A 3 2 u ( t s N ) H
+ τ 2 s = m N + 1 k 2 [ 2 + R H H k 1 s + R ˜ H H k 1 s ] A 1 2 f ( t s ) H
2 2 + τ | b | ( N 2 ) b m + 2 τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H , m N + 3 k ( m + 1 ) N .
Combining these estimates, we obtain:
1 2 max m N + 1 k ( m + 1 ) N A 3 2 u k H
( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Applying Formulas (10)–(12), we can write:
u m N + 1 u m N τ = v m N = R R ˜ u m N u m N 1 τ ,
u m N + 2 u m N + 1 τ = v m N + 1 = R R ˜ u m N u m N 1 τ + τ R R ˜ u m N 2 u m N 1 + u m N 2 τ 2 ,
u k u k 1 τ = v k 1 = 1 2 [ R k m N 2 + R ˜ k m N 2 ] R R ˜ u m N u m N 1 τ
+ 1 2 i R ( R k m N 1 R ˜ k m N 1 ) A 1 2 u m N 2 u m N 1 + u m N 2 τ 2
τ 2 i s = m N + 1 k 2 [ R k 1 s R ˜ k 1 s ] b A 1 2 u ( t s N )
τ 2 i s = m N + 1 k 2 [ R k 1 s R ˜ k 1 s ] A 1 2 f ( t s ) , m N + 3 k ( m + 1 ) N .
Using this formula and the estimates (14)–(16), we can obtain:
A u m N + 1 u m N τ H R R ˜ H H A u m N u m N 1 τ H b m ,
A u m N + 2 u m N + 1 τ H R R ˜ H H A u m N u m N 1 τ H
+ τ A 1 2 R H H R ˜ H H A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H 2 b m ,
A u k u k 1 τ H 1 2 [ R H H k m N 2 + R ˜ H H k m N 2 ] R R ˜ H H A u m N u m N 1 τ H
+ 1 2 [ R H H k 1 + R ˜ H H k 1 ] R H H A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H
+ τ 2 | b | s = m N + 1 ( m + 1 ) N 2 [ R H H k 1 s + R ˜ H H k 1 s ] A 3 2 u ( t s N ) H
+ τ 2 s = m N + 1 ( m + 1 ) N 2 [ R H H k 1 s + R ˜ H H k 1 s ] A 1 2 f ( t s ) H
( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H , m N + 3 k ( m + 1 ) N .
Combining these estimates, we obtain:
max m N + 1 k ( m + 1 ) N A u k u k 1 τ H ( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Applying Formulas (10)–(12), we can write:
u m N + 2 2 u m N + 1 + u m N τ 2 = τ 1 v m N + 1 v m N = R ˜ R u m N 2 u m N 1 + u m N 2 τ 2 ,
u m N + 3 2 u m N + 2 + u m N + 1 τ 2 = τ 1 v m N + 2 v m N + 1
= τ A ( R R ˜ ) 2 u m N u m N 1 τ + I τ 2 A R ˜ R 2 u m N 2 u m N 1 + u m N 2 τ 2 + τ R R ˜ p m N + 1
= τ A ( R R ˜ ) 2 u m N u m N 1 τ + I τ 2 A R ˜ R 2 u m N 2 u m N 1 + u m N 2 τ 2
u k + 2 2 u k + 1 + u k τ 2 = τ 1 v k + 1 v k
+ τ R R ˜ [ b A u ( t 1 N ) + f ( t m N + 1 ) ] ,
= τ 1 { 1 2 [ R k m N + R ˜ k m N ] R R ˜ u m N u m N 1 τ
+ 1 2 i A 1 2 [ R k M n + 1 R ˜ k M n + 1 ] R u m N 2 u m N 1 + u m N 2 τ 2
s = M n + 1 k τ 2 i A 1 2 [ R k + 1 s R ˜ k + 1 s ] p s 1 2 [ R k M n 1 + R ˜ k M n 1 ] R R ˜ u m N u m N 1 τ
1 2 i A 1 2 [ R k m N R ˜ k m N ] R u m N 2 u m N 1 + u m N 2 τ 2
+ s = m N + 1 k τ 2 i A 1 2 [ R k s R ˜ k s ] p s }
= τ 1 { 1 2 [ R k m N + R ˜ k m N R k m N 1 R ˜ k m N 1 ] R R ˜ u m N u m N 1 τ
+ 1 2 i A 1 [ R k + 1 R ˜ k + 1 R k + R ˜ k ] R u m N 2 u m N 1 + u m N 2 τ 2
τ 2 i A 1 2 [ R R ˜ ] p k m N + s = m N + 1 k 1 τ 2 i A 1 2 [ R k s R ˜ k s R k + 1 s + R ˜ k + 1 s ] p s }
= i 2 [ R k m N R ˜ k m N ] R R ˜ A 1 2 u m N u m N 1 τ
+ 1 2 R [ R k + 1 + R ˜ k + 1 ] u m N 2 u m N 1 + u m N 2 τ 2
τ R R ˜ A b u ( t k N ) τ R R ˜ f ( t k m N ) τ 2 s = m N + 1 k 1 [ R k s + 1 + R ˜ k s + 1 ] A b u ( t s N )
τ 2 s = m N + 1 k 1 [ R k s + 1 + R ˜ k s + 1 ] f ( t s ) , m N + 2 k ( m + 1 ) N 2 .
Using this formula and the estimates (14)–(16), we obtain that:
A 1 2 u m N + 2 2 u m N + 1 + u m N τ 2 H R R ˜ H H A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H b m ,
A 1 2 u m N + 3 2 u m N + 2 + u m N + 1 τ 2 H
τ A 1 2 R H H R H H R ˜ H H 2 A u m N u m N 1 τ H
+ R R ˜ H H A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H
+ τ | b | R R ˜ H H A 3 2 u ( t 1 N ) H + τ R R ˜ H H A 3 2 f ( t m N + 1 ) H
( 2 + τ | b | ) b m + τ A 1 2 f ( t m N + 1 ) H ,
A 1 2 u k + 2 2 u k + 1 + u k τ 2 H
1 2 [ R H H k m N + R ˜ H H k m N ] R R ˜ H H A u m N u m N 1 τ H
+ 1 2 R H H [ R H H k + 1 + R ˜ H H k + 1 ] A 1 2 u m N 2 u m N 1 + u m N 2 τ 2 H
+ τ 2 | b | s = m N + 1 k 1 [ R H H k s + 1 + R ˜ H H k s + 1 ] A 3 2 u ( t s N ) H
+ τ 2 s = m N + 1 k 1 [ R H H k s + 1 + R ˜ H H k s + 1 ] A 1 2 f ( t s ) H
+ τ | b | R R ˜ H H A 3 2 u ( t k ( m + 1 ) N ) H + τ R R ˜ H H A 1 2 f ( t k m N ) H
( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H , m N + 2 k ( m + 1 ) N 2 .
Combining these estimates, we obtain:
max m N k ( m + 1 ) N 2 A 1 2 u k + 2 2 u k + 1 + u k τ 2 H
( 2 + τ | b | ( N 2 ) ) b m + τ s = m N + 1 ( m + 1 ) N 2 A 1 2 f ( t s ) H
for the solution of DS (4). Estimate (18) follows from (22)–(24). Theorem 2 is proven.
Note that applying Theorem 2, we can obtain the stability estimate:
max m N k ( m + 1 ) N 2 A 1 2 u k + 2 2 u k + 1 + u k τ 2 H + max m N + 1 k ( m + 1 ) N A u k u k 1 τ H
+ 1 2 max m N + 1 k ( m + 1 ) N A 3 2 u k H ( 2 + τ | b | ( N 2 ) ) m b 0
+ j = 1 m ( 2 + τ | b | ( N 2 ) ) m j τ s = ( j 1 ) N + 1 j N A 1 2 f ( t s ) H , m = 0 , 1 ,
for the solution of DS (4). □

3. Applications

Note that the generality of this approach permits studying of a general class of DPDEs. We consider the applications of Theorem 2 for three types of problems. First, the mixed problem for the one-dimensional DPDE with nonlocal conditions:
3 u ( t , x ) t 3 a ( x ) u t x ( t , x ) x + δ u t ( t , x ) = b a ( x ) u x ( t w , x ) x + δ u ( t w , x ) + f ( t , x ) , 0 < t < , 0 < x < l , u ( t , 0 ) = u ( t , l ) , u x ( t , 0 ) = u x ( t , l ) , 0 t < , u ( t , x ) = g ( t , x ) , w t 0 , 0 x l
is studied. Under compatibility conditions, Problem (26) has a unique solution u ( t , x ) for the given smooth functions a ( x ) a > 0 , x ( 0 , l ) , δ > 0 , a ( l ) = a ( 0 ) , g ( t , x ) , w t 0 , 0 x l , f ( t , x ) , 0 < t < , 0 < x < l , and b R 1 .
The construction of full discretization to Problem (26) is completed in two stages. In the first stage, we consider the uniform grid space:
[ 0 , l ] h = { x = x n : x n = n h , 0 n M , M h = l }
with step h > 0 . Let L 2 h = L 2 ( [ 0 , l ] h ) be a Hilbert space of the grid functions φ h ( x ) = { φ n } 0 M defined on [ 0 , l ] h , equipped with the norm:
φ h L 2 h = x [ 0 , l ] h | φ ( x ) | 2 h 1 / 2 .
Let A h x be the second order difference operator defined by:
A h x φ h ( x ) = { ( a ( x ) φ x ¯ ) x , n + δ φ n } 1 M 1
acting in the space of grid functions φ h ( x ) = { φ n } 0 M satisfying the conditions φ 0 = φ M , φ 1 φ 0 = φ M φ M 1 . It is well known that A h x is a self-adjoint positive definite operator in L 2 h . Applying A h x in (26), we can obtain the initial value problem for an infinite system of third order differential equations:
u t t t h ( t , x ) + A h x u t h ( t , x ) = b A h x u ( t w , x ) + f h ( t , x ) , 0 < t < , x [ 0 , l ] h , u h ( t , x ) = g h ( t , x ) , w t 0 , x [ 0 , l ] h .
In the second stage, we use DS (4) for (28):
u k + 2 h ( x ) 3 u k + 1 h ( x ) + 3 u k h ( x ) u k 1 h ( x ) τ 3 + A h x u k + 2 h ( x ) u k + 1 h ( x ) τ = b A h x u k N h ( x ) + f k h ( x ) , f k h ( x ) = f h ( t k , x ) , k 1 , x [ 0 , l ] h , u k h ( x ) = g h ( t k , x ) , N k 0 , ( I h + τ 2 A h x ) u 1 h ( x ) u 0 h ( x ) τ = g t h ( 0 , x ) , ( I h + τ 2 A h x ) u 2 h ( x ) 2 u 1 h ( x ) + u 0 h ( x ) τ 2 = g t t h ( 0 , x ) , x [ 0 , l ] h , ( I h + τ 2 A h x ) u m N + 1 h ( x ) u m N h ( x ) τ = u m N h ( x ) u m N 1 h ( x ) τ , ( I h + τ 2 A h x ) u m N + 2 h ( x ) 2 u m N + 1 h ( x ) + u m N h ( x ) τ 2 = u m N h ( x ) 2 u m N 1 h ( x ) + u m N 2 h ( x ) τ 2 , m = 1 , 2 ,
Theorem 3.
The solutions of DS (29) obey the stability estimates:
max m N k ( m + 1 ) N 2 u k + 2 h 2 u k + 1 h + u k h τ 2 W 2 h 1 + max m N + 1 k ( m + 1 ) N u k h u k 1 h τ W 2 h 2
+ 1 2 max m N + 1 k ( m + 1 ) N u k h W 2 h 3 C 1 ( 2 + τ | b | ( N 2 ) ) m b 0 h
+ j = 1 m ( 2 + τ | b | ( N 2 ) ) m j τ s = ( j 1 ) N + 1 j N A 1 2 f ( t s ) W 2 h 1 , m = 0 , 1 , ,
b 0 h = max max N k 0 A 1 2 g t t h ( t k ) W 2 h 1 , max N k 0 g t h ( t k ) W 2 h 2 , max N k 0 g h ( t k ) W 2 h 3 .
hold, where C 1 does not depend on τ , h , g h ( t k ) , and f k h ( x ) .
Proof. 
DS (29) can be written in abstract form:
u k + 2 h 3 u k + 1 h + 3 u k h u k 1 h τ 3 + A h u k + 2 h u k + 1 h τ = b A h u k N h + f k h , k 1 , u k h = g k h , N k 0 , ( I h + τ 2 A h ) u 1 h u 0 h τ = g t h ( 0 ) , ( I h + τ 2 A h ) u 2 h 2 u 1 h + u 0 h τ 2 = g t t h ( 0 ) , ( I h + τ 2 A h ) u m N + 1 h u m N h τ = u m N h u m N 1 h τ , ( I h + τ 2 A h ) u m N + 2 h 2 u m N + 1 h + u m N h τ 2 = u m N h 2 u m N 1 h + u m N 2 h τ 2 , m = 1 , 2 ,
in a Hilbert space L 2 h with a self-adjoint positive definite operator A h = A h x . Here, g k h = g k h ( x ) , f k h = f k h ( x ) , and u k h = u k h ( x ) are known and unknown abstract mesh functions defined on [ 0 , l ] h . Therefore, the estimate of Theorem 3 follows from the estimate (25). Theorem 3 is proven. □
Second, let Ω be the unit open cube in the m-dimensional Euclidean space.
R n ( x = ( x 1 , , x m ) : 0 < x k < 1 , k = 1 , , n ) with boundary S , Ω ¯ = Ω S . In [ 0 , ) × Ω , the mixed problem for the DPDE with the Dirichlet condition:
u t t t ( t , x ) r = 1 n a r ( x ) u t x r ( t , x ) x r = b r = 1 n a r ( x ) u x r ( t w , x ) x r , 0 < t < , x Ω , u ( t , x ) = 0 , x S , 0 t < , u ( t , x ) = g ( t , x ) , w t 0 , x Ω ¯
is investigated. Under compatibility conditions, Problem (31) has a unique solution u ( t , x ) for the given smooth functions a r ( x ) a > 0 , ( x Ω ) , g ( t , x ) , w t 0 , x Ω ¯ , f ( t , x ) , 0 < t < , x Ω , and b R 1 .
The construction of full discretization to Problem (31) is completed in two stages. In the first stage, we consider the uniform grid space:
Ω ¯ h = x = x r = h 1 j 1 , , h n j n , j = j 1 , , j n , 0 j r N r , N r h r = 1 , r = 1 , , n , Ω h = Ω ¯ h Ω , S h = Ω ¯ h S
and introduce the Hilbert space L 2 h = L 2 ( Ω ¯ h ) of the grid functions φ h x = φ h 1 j 1 , , h n j n defined on Ω ¯ h equipped with the norm:
φ h L 2 h = x Ω h φ h x 2 h 1 h n 1 2 .
We consider the difference operator A h x defined by the formula:
A h x u h = r = 1 n α r ( x ) u x r h x r , j r ,
acting in the space of grid functions u h x , which satisfy the conditions u h x = 0 for all x S h . It is well known that A h x is a self-adjoint positive definite operator in L 2 h . Applying A h x in (31), we can obtain that:
u t t t h ( t , x ) + A h x u t h ( t , x ) = b A h x u ( t w , x ) + f h ( t , x ) , 0 < t < , x Ω h , u h ( t , x ) = g h ( t , x ) , w t 0 , x Ω ¯ h .
In the second stage, we also get the difference scheme as the one-dimensional problem case:
u k + 2 h ( x ) 3 u k + 1 h ( x ) + 3 u k h ( x ) u k 1 h ( x ) τ 3 + A h x u k + 2 h ( x ) u k + 1 h ( x ) τ = b A h x u k N h ( x ) + f k h ( x ) , f k h ( x ) = f h ( t k , x ) , k 1 , x Ω h , u k h ( x ) = g h ( t k , x ) , N k 0 , ( I h + τ 2 A h x ) u 1 h ( x ) u 0 h ( x ) τ = g t h ( 0 , x ) , ( I h + τ 2 A h x ) u 2 h ( x ) 2 u 1 h ( x ) + u 0 h ( x ) τ 2 = g t t h ( 0 , x ) , x Ω ¯ h , ( I h + τ 2 A h x ) u m N + 1 h ( x ) u m N h ( x ) τ = u m N h ( x ) u m N 1 h ( x ) τ , x Ω ¯ h ( I h + τ 2 A h x ) u m N + 2 h ( x ) 2 u m N + 1 h ( x ) + u m N h ( x ) τ 2 = u m N h ( x ) 2 u m N 1 h ( x ) + u m N 2 h ( x ) τ 2 , x Ω ¯ h , m = 1 , 2 ,
Theorem 4.
The solution of DS (34) obeys the following stability estimates:
max m N k ( m + 1 ) N 2 u k + 2 h 2 u k + 1 h + u k h τ 2 W 2 h 1 + max m N + 1 k ( m + 1 ) N u k h u k 1 h τ W 2 h 2
+ 1 2 max m N + 1 k ( m + 1 ) N u k h W 2 h 3 C 2 ( 2 + τ | b | ( N 2 ) ) m b 0 h
+ j = 1 m ( 2 + τ | b | ( N 2 ) ) m j τ s = ( j 1 ) N + 1 j N A 1 2 f ( t s ) W 2 h 1 , m = 0 , 1 , ,
b 0 h = max max N k 0 A 1 2 g t t h ( t k ) W 2 h 1 , max N k 0 g t h ( t k ) W 2 h 2 , max N k 0 g h ( t k ) W 2 h 3 .
where C 2 does not depend on τ , h , g h ( t k ) , and f k h ( x ) .
Proof. 
DS (34) can be written in abstract form:
u k + 2 h 3 u k + 1 h + 3 u k h u k 1 h τ 3 + A h u k + 2 h u k + 1 h τ = b A h u k N h + f k h , k 1 , u k h = g k h , N k 0 , ( I h + τ 2 A h ) u 1 h u 0 h τ = g t h ( 0 ) , ( I h + τ 2 A h ) u 2 h 2 u 1 h + u 0 h τ 2 = g t t h ( 0 ) , ( I h + τ 2 A h ) u m N + 1 h u m N h τ = u m N h u m N 1 h τ , ( I h + τ 2 A h ) u m N + 2 h 2 u m N + 1 h + u m N h τ 2 = u m N h 2 u m N 1 h + u m N 2 h τ 2 , m = 1 , 2 ,
in a Hilbert space L 2 h = L 2 ( Ω ¯ h ) with self-adjoint positive definite operator A h = A h x by Formula (32). Here, g k h = g k h ( x ) , f k h = f k h ( x ) , and u k h = u k h ( x ) are known and unknown abstract mesh functions defined on Ω ¯ h with the values in L 2 h . Then, the estimate of Theorem 4 follows from Estimate (25) and the following theorem. □
Theorem 5.
The solution of the difference elliptic problem:[40]
A h x u h ( x ) = ω h ( x ) , x Ω h ; u h ( x ) = 0 , x S h
obeys the estimate:
r = 1 n u h x r x r ¯ L 2 h C 3 | | ω h | | L 2 h ,
where C 3 does not depend on h and ω h .
Third, in [ 0 , ) × Ω , the mixed problem for DPDE with the Neumann boundary condition:
u t t t ( t , x ) r = 1 n a r ( x ) u t x r ( t , x ) x r + δ u t ( t , x ) = b r = 1 n a r ( x ) u x r ( t w , x ) x r + δ u ( t w , x ) , 0 < t < , x Ω , u t , x p = 0 , x S , 0 t < u ( t , x ) = g ( t , x ) , w t 0 , x Ω ¯
is investigated. Here, p is the normal vector to S . Under compatibility conditions, Problem (31) has a unique solution u ( t , x ) for the given smooth functions a r ( x ) a > 0 , ( x Ω ) , g ( t , x ) , w t 0 , x Ω ¯ , f ( t , x ) , 0 < t < , x Ω and b R 1 .
The construction of full discretization to Problem (35) is completed in two stages. In the first stage, we introduce the second order difference operator A h x defined by:
A h x u h = r = 1 n α r ( x ) u x r h x r , j r + δ u h ,
acting in the space of grid functions u h x that satisfy the conditions D h u h x = 0 for all x S h . Here, D h is the approximation of operator p . It is known that A h x is the self-adjoint positive definite operator in L 2 h . Using the difference operator A h x , we get the initial value problem (33). Therefore, in the second stage, we use DS (4) for Problem (33):
u k + 2 h ( x ) 3 u k + 1 h ( x ) + 3 u k h ( x ) u k 1 h ( x ) τ 3 + A h x u k + 2 h ( x ) u k + 1 h ( x ) τ = b A h x u k N h ( x ) + f k h ( x ) , f k h ( x ) = f h ( t k , x ) , k 1 , x Ω h , u k h ( x ) = g h ( t k , x ) , N k 0 , ( I h + τ 2 A h x ) u 1 h ( x ) u 0 h ( x ) τ = g t h ( 0 , x ) , ( I h + τ 2 A h x ) u 2 h ( x ) 2 u 1 h ( x ) + u 0 h ( x ) τ 2 = g t t h ( 0 , x ) , x Ω ¯ h , ( I h + τ 2 A h x ) u m N + 1 h ( x ) u m N h ( x ) τ = u m N h ( x ) u m N 1 h ( x ) τ , x Ω ¯ h ( I h + τ 2 A h x ) u m N + 2 h ( x ) 2 u m N + 1 h ( x ) + u m N h ( x ) τ 2 = u m N h ( x ) 2 u m N 1 h ( x ) + u m N 2 h ( x ) τ 2 , x Ω ¯ h , m = 1 , 2 ,
Theorem 6.
The solution of the difference scheme (37) obeys the stability estimates in Theorem 4.
Proof. 
DS (37) can be written in abstract form:
u k + 2 h 3 u k + 1 h + 3 u k h u k 1 h τ 3 + A h u k + 2 h u k + 1 h τ = b A h u k N h + f k h , k 1 , u k h = g k h , N k 0 , ( I h + τ 2 A h ) u 1 h u 0 h τ = g t h ( 0 ) , ( I h + τ 2 A h ) u 2 h 2 u 1 h + u 0 h τ 2 = g t t h ( 0 ) , ( I h + τ 2 A h ) u m N + 1 h u m N h τ = u m N h u m N 1 h τ , ( I h + τ 2 A h ) u m N + 2 h 2 u m N + 1 h + u m N h τ 2 = u m N h 2 u m N 1 h + u m N 2 h τ 2 , m = 1 , 2 ,
in a Hilbert space L 2 h = L 2 ( Ω ¯ h ) with self-adjoint positive definite operator A h = A h x by Formula (36). Here, g k h = g k h ( x ) , f k h = f k h ( x ) , and u k h = u k h ( x ) are known and unknown abstract mesh functions defined on Ω ¯ h with the values in L 2 h . Therefore, the estimate of Theorem 6 follows from the estimate (25) and the following theorem. □
Theorem 7.
The solution of the elliptic difference problem: [40]
A h x u h ( x ) = ω h ( x ) , x Ω h ; D h u h ( x ) = 0 , x S h
satisfies the estimate:
r = 1 n u h x r x r ¯ L 2 h C 4 | | ω h | | L 2 h ,
where C 4 is independent of h and ω h .

4. Numerical Results

It is well known that when the analytical methods fail to work properly, the numerical methods for getting partial differential equations’ approximate solutions play a vital role in applied mathematics. In the operator approach, constants in theorems can be large; therefore, in this case a nice stability result must be supported numerically. For this reason, it is important to see that for such a type of theoretical result, we need numerical applications when one cannot know concrete values of constants in stability estimates. Therefore, the first order of accuracy DSs for the solution of one- and two-dimensional DPDEs are presented. To solve this problem, a procedure of modified Gauss elimination is applied. The result of the numerical experiment supports the theoretical statements for the solution of these DSs.

4.1. One-Dimensional Problem

First, we consider the mixed problem, with the exact solution u t , x = e t cos x ,
u t t t ( t , x ) u t x x ( t , x ) = 0.1 u x x ( t 1 , x ) 2 e t cos x 0.1 e ( t 1 ) cos x , t > 0 , 0 < x < π , u x ( t , 0 ) = u x ( t , π ) = 0 , 0 t < , u ( t , x ) = e t cos x , 1 t 0 , 0 x π
for the one-dimensional DPDE.
Applying DS (4), we get the following DS:
u n k + 2 3 u n k + 1 + 3 u n k u n k 1 τ 3 u n + 1 k + 2 u n + 1 k + 1 2 u n k + 2 u n k + 1 + u n 1 k + 2 u n 1 k + 1 τ h 2 = 0.1 u n + 1 k N 2 u n k N u n 1 k N h 2 2 e t k cos x n 0.1 e ( t k N ) cos x n , t k = k τ , l N + 1 k ( l + 1 ) N 2 , l = 0 , 1 , , 1 k N 1 , N τ = 1 , x n = n h , 1 n M 1 , M h = π , u n k = e t k cos x n , N k 0 , 0 n M , u n k + 1 u n k τ = e t k cos x n , N k 0 , 0 n M , u n k + 2 2 u n k + 1 + u n k τ 2 = e t k cos x n , N k 0 , 0 n M , u 1 k u 0 k = u M k u M 1 k = 0 , 0 k N .
It can be written as the second order difference problem with matrix coefficients:
A u n + 1 + B u n + C u n 1 = D φ n , 1 n M 1 ; u 0 = u 1 , u M = u M 1 .
Here and in the future, we put:
u s = u s l N u s ( l + 1 ) N ( N + 1 ) × 1 , s = n , n ± 1 .
Here,
A = C = 0 0 0 0 · 0 0 0 0 0 a a · 0 0 0 0 0 0 a · 0 0 0 · · · · · · · · 0 0 0 0 · 0 a a 0 0 0 0 · 0 0 0 0 0 0 0 · 0 0 0 ( N + 1 ) × ( N + 1 ) ,
B = 1 0 0 0 0 · 0 0 0 0 b 3 b 3 b c b c 0 · 0 0 0 0 0 b 3 b 3 b c c b · 0 0 0 0 0 0 b 3 b 3 b c · 0 0 0 0 · · · · · · · · · · 0 0 0 0 0 · 3 b c c b 0 0 0 0 0 0 0 · 3 b 3 b c c b 0 0 0 0 0 0 · b 3 b 3 b c c b 1 τ 1 τ 0 0 0 · 0 0 0 0 1 τ 2 2 τ 2 1 τ 2 0 0 · 0 0 0 0 ( N + 1 ) × ( N + 1 ) ,
where:
a = 1 τ h 2 , b = 1 τ 3 , c = 2 τ h 2 ,
φ n = φ n l N φ n ( l + 1 ) N ( N + 1 ) × 1 , φ n l N = cos x n , M k 0 , 0 n M , φ n k = f ( t k , x n ) = 0.1 u n + 1 k N 2 u n k N u n 1 k N h 2 2 e t k cos x n 0.1 e ( t k N ) cos x n , t k = k τ , l N + 1 k ( l + 1 ) N 2 , l = 0 , 1 , , 1 n M 1 , φ n ( l + 1 ) N 1 = cos x n M k 0 , 0 n M , φ n ( l + 1 ) N = cos x n , M k 0 , 0 n M ,
and D = I N + 1 is the identity matrix.
To solve this second order difference problem, we use the following formula:
u n = α n + 1 u n + 1 + β n + 1 , n = M 1 , , 1 , 0 ,
where u M = I α M 1 β M , α j ( j = 1 , , M 1 ) are ( N + 1 ) × ( N + 1 ) square matrices, β j ( j = 1 , , M 1 ) are ( N + 1 ) × 1 column matrices, α 1 is the identity, and β 1 is zero matrices, and:
α n + 1 = B + C α n 1 A , β n + 1 = B + C α n 1 D φ n C β n , n = 1 , , M 1 .
The errors are computed by:
E M N = max l N + 1 k ( l + 1 ) N 1 , 1 n M 1 u ( t k , x n ) u n k
of the numerical solutions, where u ( t k , x n ) represents the exact solution and u n k represents the numerical solution at ( t k , x n ) , and the results are given in Table 1.

4.2. Two-Dimensional Problem

Second, the mixed problem with the Dirichlet condition:
u t t t ( t , x , y ) u t x x ( t , x , y ) u t y y ( t , x , y ) = 0 . 1 u x x ( t 1 , x ) 0.1 u y y ( t 1 , x , y ) 3 e t sin x sin y 0.2 e ( t 1 ) sin x sin y , t > 0 , 0 < x , y < π , u ( t , 0 , y ) = u ( t , π , y ) = 0 , 0 t < , 0 y π , u ( t , x , 0 ) = u ( t , x , π ) = 0 , 0 t < , 0 x π u ( t , x , y ) = e t sin x sin y , 1 t 0 , 0 x , y π
for the two-dimensional DPDE is considered. The exact solution of Problem (44) is u t , x , y = e t sin x sin y .
Applying DS (4) to the problem (44), we get the following DS of the first order of accuracy in t:
u n , m k + 2 3 u n , m k + 1 + 3 u n , m k u n , m k 1 τ 3 u n + 1 , m k + 2 u n + 1 , m k + 1 2 u n , m k + 2 u n , m k + 1 + u n 1 , m k + 2 u n 1 , m k + 1 τ h 2 u n , m + 1 k + 2 u n , m + 1 k + 1 2 u n , m k + 2 u n , m k + 1 + u n , m 1 k + 2 u n , m 1 k + 1 τ h 2 = 0.1 u n + 1 , m k N 2 u n , m k N u n 1 , m k N h 2 u n , m + 1 k N 2 u n , m k N u n , m 1 k N h 2 3 e t k sin x n sin y m 0.2 e t k N sin x n sin y m , t k = k τ , l N + 1 k ( l + 1 ) N 2 , l = 0 , 1 , , 1 k N 1 , N τ = 1 , x n = n h , y m = m h 1 n , m M 1 , M h = π , u n , m k = sin x n sin y m , N k 0 , 0 n , m M , u n , m k + 1 u n , m k τ = sin x n sin y m , N k 0 , 0 n , m M , u n , m k + 2 2 u n , m k + 1 + u n , m k τ 2 = sin x n sin y m , N k 0 , 0 n , m M , u 0 , m k = u M , m k = 0 , 0 k N , 0 m M , u n , 0 k = u n , M k = 0 , 0 k N , 0 n M .
It can be written as the second order difference problem with the matrix coefficients’ form:
A u n + 1 + B u n + C u n 1 , = D φ n , 1 n M 1 ; u 0 = 0 , u M = 0 .
Here and in the future, we put:
u s = u 0 , s l N , · · · , u 0 , s ( l + 1 ) N , u 1 , s l N , · · · , u 1 , s ( l + 1 ) N , , u M , s l N , · · · , u M , s ( l + 1 ) N ( N + 1 ) ( M + 1 ) × 1 T , s = n , n ± 1 .
A , B , C , I are ( N + 1 ) ( M + 1 ) × ( N + 1 ) ( M + 1 ) square matrices, and I , R are identity matrices.
Here,
a = 1 τ h 2 , b = 1 τ 3 , c = 2 τ h 2 ,
A = C = 0 0 . 0 0 0 E . 0 0 . . . . . 0 0 . E 0 0 0 . 0 0 ,
B = Q O O O . O O O O E D E O . O O O O O E D E . O O O O . . . . . . . . . O O O O . 0 E D E O O O O O O O O Q ,
where:
E = 0 0 0 0 0 0 0 0 0 a a 0 0 0 0 0 0 a 0 0 0 0 0 0 0 0 a a 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ,
D = 1 0 0 0 0 0 0 b 3 b 3 b c b c 0 0 0 0 b 3 b 3 b c 0 0 0 0 0 b 3 b 0 0 0 0 0 0 0 c b 0 0 0 0 0 0 3 b c c b 0 0 0 0 0 3 b 3 b c c b 1 τ 1 τ 0 0 0 0 0 1 τ 2 2 τ 2 1 τ 2 0 0 0 0 ,
Q = I ( N + 1 ) × ( N + 1 ) , O = O ( N + 1 ) × ( N + 1 ) ,
φ n = φ 0 , n l N φ 0 , n ( l + 1 ) N φ 1 , n l N φ 1 , n ( l + 1 ) N φ M , n l N φ M , n ( l + 1 ) N ( M + 1 ) ( N + 1 ) × 1 , φ m , n l N = sin x n sin y m , M k 0 , 0 n , m M , φ m , n k = 0 . 1 u n + 1 , m k N 2 u n , m k N u n 1 , m k N h 2 u n , m + 1 k N 2 u n , m k N u n , m 1 k N h 2 3 e t k sin x n sin y m 0.2 e t k N sin x n sin y m , t k = k τ , l N + 1 k ( l + 1 ) N 2 , l = 0 , 1 , , 1 n , m M 1 , φ m , n ( l + 1 ) N 1 = sin x n sin y m , M k 0 , 0 n , m M , φ m , n ( l + 1 ) N = sin x n sin y m , M k 0 , 0 n , m M ,
To solve this second order difference problem, we use the following formula:
u n = α n + 1 u n + 1 + β n + 1 , n = M 1 , , 1 , u M = 0 ,
where α j ( j = 1 , , M 1 ) are ( N + 1 ) ( M + 1 ) × ( N + 1 ) ( M + 1 ) square matrices, β j ( j = 1 , , M 1 ) are ( N + 1 ) ( M + 1 ) × 1 column matrices, and α 1 and β 1 are zero matrices and:
α n + 1 = B + C α n 1 A n , β n + 1 = B + C α n 1 D φ n C β n , n = 1 , . . . , M 1 .
The errors are computed by:
l E M N = max l N + 1 k ( l + 1 ) N 1 , 1 n , m M 1 u ( t k , x n , y m ) u n , m k
of the numerical solutions, where u ( t k , x n , y m ) represents the exact solution and u n , m k represents the numerical solution at ( t k , x n , y m ) , and the results are given in Table 2.
As seen in Table 1 and Table 2, we obtained some numerical results. If M and N are doubled, the values of the errors decrease by a factor of approximately 1 / 2 for DS (39) and (45), respectively.

5. Conclusions

  • In this paper, the absolutely stable DS of a first order of accuracy for the approximate solution of the DPDE in a Hilbert space was presented. The theorem on the stability of this difference scheme was proven. In practice, stability estimates for the solutions of three-step difference schemes for different types of delay partial differential equations were obtained. Numerical results were given.
  • The mixed problem for the one-dimensional DPDE with the Dirichlet condition was studied in [41]. The first and second order of accuracy DSs for the numerical solution of this problem were presented. The illustrative numerical results were provided. We are interested in studying absolutely stable DSs of a high order of accuracy of the approximate solution of the initial value problem (1) for the DPDE in a Hilbert space.
  • Applying this approach and the method [30], we could study the existence and uniqueness of a bounded solution of the initial value problem for the semilinear DPDE:
    u t t t ( t ) + A u t ( t ) = f t , u ( t w ) , 0 < t < , u ( t ) = g ( t ) , w t 0
    in a Hilbert space H with an unbounded operator A . Moreover, applying the method of [28], we can investigate the convergence of DSs for the numerical solution of Problem (50).

Author Contributions

Investigation, A.A., E.H. and S.I. All authors read and approved the final version of this manuscript.

Funding

This research was funded by “Russian Foundation for Basic Research” (RFBR) grant number 16-01-00450.

Acknowledgments

The authors thank the reviewers and A. L.Skubachevskii (RUDN) and Ch. Ashyralyyev (CU) for their helpful suggestions.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gabov, S.A.; Sveshnikov, A.G. Problems of the Dynamics of Stratified Fluids; Nauka: Moscow, Russian, 1986. (In Russian) [Google Scholar]
  2. Kozhanov, A.I. Mixed boundary value problem for some classes of third order differential equations. Mat. Sb. 1982, 118, 504–522. (In Russian) [Google Scholar]
  3. Nagumo, J.; Arimoto, S.; Yoshizawa, S. An active pulse transmission line simulating nerve axon. Proc. JRE 1962, 50, 2061–2070. [Google Scholar] [CrossRef]
  4. Amirov, S.; Kozhanov, A.I. Mixed boundary value problem for a class of strongly nonlinear sobolev-type equations of higher order. Dokl. Math. 2013, 88, 446–448. [Google Scholar] [CrossRef]
  5. Apakov, Y. On the solution of a boundary-value problem for a third-order equation with multiple characteristics. Ukrainian Math. J. 2012, 64, 1–12. [Google Scholar] [CrossRef]
  6. Apakov, Y.; Irgashev, B. Boundary-value problem for a generate high-odd order equation. Ukrainian Math. J. 2015, 66, 1475–1490. [Google Scholar] [CrossRef]
  7. Apakov, Y.; Rutkauskas, S. On a boundary value problem to third order pde with multiple characteristics. Nonlinear Anal. Model. Control 2011, 16, 255–269. [Google Scholar] [CrossRef] [Green Version]
  8. Arjmand, D. Highly Accurate Difference Schemes for the Numerical Solution of Third-Order Ordinary and Partial Differential Equations. Master’s Thesis, Numerical Analysis at the Scientific Computing, Royal Institute of Technology, Stockholm, Sweden, 2010. [Google Scholar]
  9. Kudu, M.; Amirali, I. Method of lines for third order partial differential equations. J. Appl. Math. 2014, 2, 33–36. [Google Scholar] [CrossRef] [Green Version]
  10. Latrous, C.; Memou, A. A three-point boundary value problem with an integral condition for a third-order partial differential equation. Abstr. Appl. Anal. 2005, 2005, 33–43. [Google Scholar] [CrossRef]
  11. Niu, J.; Li, P. Numerical algorithm for the third-order partial differential equation with three-point boundary value problem. Abstr. Appl. Anal. 2014, 2014, 630671. [Google Scholar] [CrossRef]
  12. Belakroum, K.; Ashyralyev, A.; Guezane-Lakoud, A. A note on the nonlocal boundary value problem for a third order partial differential equation. Filomat 2018, 32, 801–808. [Google Scholar] [CrossRef] [Green Version]
  13. Ardito, A.; Ricciardi, P. Existence and regularity for linear delay partial differential equations. Nonlinear Anal. 1980, 4, 411–414. [Google Scholar] [CrossRef]
  14. Arino, A. Delay Differential Equations and Applications; Springer: Berlin, Germany, 2006. [Google Scholar]
  15. Blasio, G.D. Delay differential equations with unbounded operators acting on delay terms. Nonlinear Anal. 2003, 53, 1–18. [Google Scholar] [CrossRef]
  16. Skubachevskii, A.L. On the problem of attainment of equilibrium for control-system with delay. Dokl. Akad. Nauk 1994, 335, 157–160. [Google Scholar]
  17. Kurulay, G.; Ozbay, H. Design of first order controllers for a flexible robot arm with time delay. Appl. Comput. 2017, 16, 48–58. [Google Scholar]
  18. Afuwape, A.U.; Omeike, M.O. Stability and boundedness of solutions of a kind of third-order delay differential equations. Comput. Appl. Math. 2010, 29, 329–342. [Google Scholar] [CrossRef] [Green Version]
  19. Baculíková, B.; Dzurina, J.; Rogovchenko, Y.V. Oscillation of third order trinomial delay differential equations. Appl. Math. Comput. 2012, 218, 7023–7033. [Google Scholar] [CrossRef]
  20. Bereketoglu, H.U.; Karakoç, F.A. Some results on boundedness and stability of a third order differential equation with delay. An. Stiint. Univ. Al. I. Cuza Iasi. Mat. (NS) 2005, 51, 245–258. [Google Scholar]
  21. Cahlon, B.; Schmidt, D. Stability criteria for certain third-order delay differential equations. J. Comput. Appl. Math. 2006, 188, 319–335. [Google Scholar] [CrossRef] [Green Version]
  22. Domoshnitsky, A.; Shemesh, S.; Sitkin, A.; Yakovi, E.; Yavich, R. Stabilization of third-order differential equation by delay distributed feedback control. J. Inequal. Appl. 2018, 341. [Google Scholar] [CrossRef]
  23. Grace, S.R. Oscillation criteria for a third order nonlinear delay differential equations with time delay. Opuscula Math. 2015, 35, 485–497. [Google Scholar] [CrossRef]
  24. Pikina, G.A. Predictive time optimal algorithm for a third-order dynamical system with delay. J. Phys. Conf. Ser. 2017, 891, 012278. [Google Scholar] [CrossRef]
  25. Xiang, H. Oscilation of the third-order nonlinear neutral differential equations with distributed time delay. Ital. J. Pure Appl. Math. 2016, 36, 769–782. [Google Scholar]
  26. Wu, J. Theory and Applications of Partial Functional Differential Equations; Springer: New York, NY, USA, 1996. [Google Scholar]
  27. Agirseven, D. Approximate solutions of delay parabolic equations with the Drichlet condition. Abstr. Appl. Anal. 2012, 2012, 682752. [Google Scholar] [CrossRef]
  28. Ashyralyev, A.; Agirseven, D. On convergence of difference schemes for delay parabolic equations. Comput. Math. Appl. 2013, 66, 1232–1244. [Google Scholar] [CrossRef]
  29. Ashyralyev, A.; Agirseven, D. Well-posedness of delay parabolic difference equations. Adv. Differ. Equ. 2014, 18. [Google Scholar] [CrossRef] [Green Version]
  30. Ashyralyev, A.; Agirseven, D. Bounded solutions of semilinear time delay hyperbolic differential and difference equations. Mathematics 2019, 7, 1163. [Google Scholar] [CrossRef] [Green Version]
  31. Poorkarimi, H.; Wiener, J.; Shah, S.M. On the exponential growth of solutions to non-linear hyperbolic equations. Int. J. Math. Sci. 1989, 12, 539–546. [Google Scholar]
  32. Sinestrari, E. On a class of retarded partial differential equations. Math. Z. 1984, 186, 223–224. [Google Scholar] [CrossRef]
  33. Shah, S.M.; Poorkarimi, H.; Wiener, J. Bounded solutions of retarded nonlinear hyperbolic equations. Bull. Allahabad Math. Soc. 1986, 1, 1–14. [Google Scholar]
  34. Wiener, J. Generalized Solutions of Functional Differential Equations; World Scientific: Singapore, 1993. [Google Scholar]
  35. Ashyralyev, A.; Hincal, E.; Ibrahim, S. Stability of the third order partial differential equations with time delay. In Proceedings of the AIP Conference Proceedings, Mersin, Turkey, 6–9 September 2018; Volume 1997, p. 020086. [Google Scholar]
  36. Ashyralyev, A.; Arjmand, D. Taylor’s decomposition on four points for solving third-order linear time-varying systems. J. Frankl. Inst. 2009, 346, 651–662. [Google Scholar] [CrossRef]
  37. Ashyralyev, A.; Arjmand, D.; Koksal, M. A note on the taylor’s decomposition on four points for a third-order differential equation. Appl. Math. Comput. 2007, 188, 1483–1490. [Google Scholar] [CrossRef] [Green Version]
  38. Ashyralyev, A.; Sobolevskii, P.E. New Difference Schemes for Partial Differential Equations; Birkhäuser Verlag: Boston, MA, USA; Berlin, Germany, 2004. [Google Scholar]
  39. Fattorini, H.O. Second Order Linear Differential Equations in Banach Spaces; Elsevier: Amsterdam, The Netherlands, 1985. [Google Scholar]
  40. Sobolevskii, P.E. Difference Methods for the Approximate Solution of Differential Equations; Izdat Voronezh Gosud University: Voronezh, Russia, 1975. [Google Scholar]
  41. Ashyralyev, A.; Hincal, E.; Ibrahim, S. A numerical algorithm for the third order partial differential equation with time delay. In Proceedings of the AIP Conference Proceedings, Maltepe University, Istanbul, Turkey, 4–8 September 2019; Volume 2183, p. UNSP 070014. [Google Scholar] [CrossRef]
Sample Availability: Samples of the compounds are available from the authors.
Table 1. Errors of difference scheme (DS) (39).
Table 1. Errors of difference scheme (DS) (39).
l/N,M20,2040,4080,80
0 , t [ 0 , 1 ] 0.01410.00680.0040
1 , t [ 1 , 2 ] 0.05590.03220.0172
2 , t [ 2 , 3 ] 0.13460.07460.0392
3 , t [ 3 , 4 ] 0.20110.10110.0561
Table 2. Errors of the difference scheme (45).
Table 2. Errors of the difference scheme (45).
l/N,M10,1020,2040,40
0 , t [ 0 , 1 ] 0.03700.01620.0083
1 , t [ 1 , 2 ] 0.08400.04560.0236
2 , t [ 2 , 3 ] 0.10280.05430.0276
3 , t [ 3 , 4 ] 0.10080.05210.0261

Share and Cite

MDPI and ACS Style

Ashyralyev, A.; Hınçal, E.; Ibrahim, S. On the Absolute Stable Difference Scheme for Third Order Delay Partial Differential Equations. Symmetry 2020, 12, 1033. https://doi.org/10.3390/sym12061033

AMA Style

Ashyralyev A, Hınçal E, Ibrahim S. On the Absolute Stable Difference Scheme for Third Order Delay Partial Differential Equations. Symmetry. 2020; 12(6):1033. https://doi.org/10.3390/sym12061033

Chicago/Turabian Style

Ashyralyev, Allaberen, Evren Hınçal, and Suleiman Ibrahim. 2020. "On the Absolute Stable Difference Scheme for Third Order Delay Partial Differential Equations" Symmetry 12, no. 6: 1033. https://doi.org/10.3390/sym12061033

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop