AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 178084 10.1155/2012/178084 178084 Research Article A Note on the Stability of the Integral-Differential Equation of the Parabolic Type in a Banach Space Ashyraliyev Maksat Ashurov Ravshan 1 Department of Mathematics and Computer Sciences Bahcesehir University Besiktas, 34353 Istanbul Turkey bahcesehir.edu.tr 2012 31 7 2012 2012 20 05 2012 15 06 2012 2012 Copyright © 2012 Maksat Ashyraliyev. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The integral-differential equation of the parabolic type in a Banach space is considered. The unique solvability of this equation is established. The stability estimates for the solution of this equation are obtained. The difference scheme approximately solving this equation is presented. The stability estimates for the solution of this difference scheme are obtained.

1. Introduction

We consider the integral-differential equation (1.1)du(t)dt+sgn(t)Au(t)=-ttB(s)u(s)ds+f(t),-1t1 in an arbitrary Banach space E with unbounded linear operators A and B(t) in E with dense domain D(A)D(B(t)) and (1.2)B(t)A-1EEM,-1t1.

A function u(t) is called a solution of (1.1) if the following conditions are satisfied:

u(t) is continuously differentiable on [-1,1]. The derivatives at the endpoints are understood as the appropriate unilateral derivatives.

The element u(t) belongs to D(A) for all t  [-1,1], and the functions Au(t) and B(t)u(t) are continuous on [-1,1].

u(t) satisfies (1.1).

A solution of (1.1) defined in this manner will from now on be referred to as a solution of (1.1) in the space C(E)=C([-1,1],E) of all continuous functions φ(t) defined on [-1,1] with values in E equipped with the norm (1.3)φC(E)=max-1t1φ(t)E.

We consider (1.1) under the assumption that the operator -A generates an analytic semigroup exp{-tA}(t0), that is, the following estimates hold: (1.4)e-tAEEM,tAe-tAEEM,0t1.

Integral inequalities play a significant role in the theory of differential and integral-differential equations. They are useful to investigate some properties of the solutions of equations, such as existence, uniqueness and stability, see for instance .

Mathematical modelling of real-life phenomena is widely used in various applied fields of science. This is based on the mathematical description of real-life processes and the subsequent solving of the appropriate mathematical problems on the computer. The mathematical models of many real-life problems lead to already known or new differential and integral-differential equations. In most of the cases it is difficult to find the exact solutions of the differential and integral-differential equations. For this reason discrete methods play a significant role, especially with the appearance of highly efficient computers. A well-known and widely applied method of approximate solutions for differential and integral-differential equations is the method of difference schemes. Modern computers allow us to implement highly accurate difference schemes. Hence, the task is to construct and investigate highly accurate difference schemes for various types of differential and integral-differential equations. The investigation of stability and convergence of these difference schemes is based on the discrete analogues of integral inequalities.

Gronwall in 1919 showed the following result .

Lemma 1.1.

If M=const>0, δ=const>0, and continuous function x(t)0 satisfies the inequalities (1.5)x(t)δ+M0tx(s)ds,0tT, then (1.6)x(t)δexp[Mt],0tT.

A number of different generalizations of Gronwall’s integral inequality with one and two dependent limits have been obtained, see for instance [13, 14].

In numerical analysis literature, see for instance [15, 16], one can find the following discrete analogue of Lemma 1.1.

Lemma 1.2.

If xj, j=0,,N is a sequence of real numbers with (1.7)|xi|δ+hMj=0i-1|xj|,i=1,,N, where M=const>0 and δ=const>0, then (1.8)|xi|(hM|x0|+δ)exp[Mih],i=1,,N.

In the current paper, we will derive the discrete analogue of generalization of the Gronwall’s integral inequality. It is used to obtain the generalization of Gronwall’s integral inequality with two dependent limits. We will consider the applications of these inequalities to the integral-differential equation (1.1) of the parabolic type with two dependent limits in a Banach space E. The unique solvability of this equation is established. The stability estimates for the solution of this equation are obtained. The difference scheme approximately solving this equation is presented. The stability estimates for the solution of this difference scheme are obtained.

2. Gronwall’s Type Integral Inequality with Two Dependent Limits and Its Discrete Analogue

First of all, let us obtain the theorems on the Gronwall’s type integral inequalities with two dependent limits and their discrete analogues. We will use these results in the remaining part of the paper.

Theorem 2.1.

Assume that vi0, ai0, δi0, i=-N,,N+2M are the sequences of real numbers and the inequalities (2.1)viδi+h(j=-|i-M|+M+1|i-M|+M-1ajvj-aMvM),i=-N,,N+2M hold. Then for vi the inequalities (2.2)vM-1δM-1,vM+1δM+1,vMδM+h(aM-1δM-1+aM+1δM+1),(2.3)viδi+hj=M+1|i-M|+M-1(ajδj+a2M-jδ2M-j)B|i-M|+M-1,j,i=-N,,M-2,M+2,,N+2M are satisfied, where (2.4)Bk,j={n=j+1k[1+h(an+a2M-n)],ifj=M+1,,k-1,1,ifj=k.

Proof.

By putting i=M-1,M+1,M directly in (2.1), we obtain the inequalities (2.2), correspondingly. Let us prove (2.3). We denote (2.5)yi=h(j=-|i-M|+M+1|i-M|+M-1ajvj-aMvM),i=-N,,N+2M. Then (2.1) gets the form (2.6)viδi+yi,i=-N,,N+2M. Moreover, we have (2.7)y2M-i=h(j=-|M-i|+M+1|M-i|+M-1ajvj-aMvM)=yi,i=-N,,N+2M. Then, using (2.5)–(2.7) for i=M+1,,N+2M-1, we obtain (2.8)yi+1-yi=h(j=2M-iiajvj-aMvM)-h(j=2M-i+1i-1ajvj-aMvM)=h(aivi+a2M-iv2M-i)hai(yi+δi)+ha2M-i(y2M-i+δ2M-i)=h(ai+a2M-i)yi+h(aiδi+a2M-iδ2M-i). So, (2.9)yi+1[1+h(ai+a2M-i)]yi+h(aiδi+a2M-iδ2M-i),i=M+1,,N+2M-1. Then by induction we can prove that (2.10)yin=1i-M-1[1+h(aM+n+aM-n)]yM+1+j=M+1i-1h(ajδj+a2M-jδ2M-j)Bi-1,j hold for i=M+2,,N+2M. Since yM+1=0, using (2.6), we obtain (2.3) for i=M+2,,N+2M.

Let us prove (2.3) for i=-N,,M-2. Using (2.5)–(2.7) for i=-N+1,,M-1, we have (2.11)yi-1-yi=h(j=i2M-iajvj-aMvM)-h(j=i+12M-i-1ajvj-aMvM)=h(aivi+a2M-iv2M-i)hai(yi+δi)+ha2M-i(y2M-i+δ2M-i)=h(ai+a2M-i)yi+h(aiδi+a2M-iδ2M-i). So, (2.12)yi-1[1+h(ai+a2M-i)]yi+h(aiδi+a2M-iδ2M-i),i=-N+1,,M-1. Then by induction we can prove that (2.13)yin=1M-i-1[1+h(aM+n+aM-n)]yM-1+j=M+12M-i-1h(ajδj+a2M-jδ2M-j)B2M-i-1,j hold for i=-N,,M-2. Since yM-1=0, using (2.6), we obtain (2.3) for i=-N,,M-2. The proof of Theorem 2.1 is complete.

By putting M=0, δiconst, aiconst, i=-N,,N, and using the inequality 1+x<exp[x] for x>0 in the Theorem 2.1, we get the following result.

Theorem 2.2.

Assume that vi0,i=-N,,N is the sequence of real numbers and the inequalities (2.14)viδ+Lh(j=-|i|+1|i|-1vj-v0),i=-N,,N hold. Then for vi the inequalities (2.15)v0δexp[2Lh],viδexp[2Lh(|i|-1)],i=-N,,-1,1,,N are satisfied.

By putting Nh=1,2Mh=T and passing to limit h0 in the Theorem 2.1, we obtain the following generalization of Gronwall’s integral inequality with two dependent limits.

Theorem 2.3.

Assume that v(t)0, δ(t)0 are the continuous functions on [-1,1+T] and a(t)0 is an integrable function on [-1,1+T] and the inequalities (2.16)v(t)δ(t)+sgn(t-T2)T-tta(s)v(s)ds,-1t1+T hold. Then for v(t) the inequalities (2.17)v(t)δ(t)+T/2t(a(s)δ(s)+a(T-s)δ(T-s))exp[st(a(τ)+a(T-τ))dτ]ds,T2t1+T,v(t)δ(t)+T/2T-t(a(s)δ(s)+a(T-s)δ(T-s))exp[sT-t(a(τ)+a(T-τ))dτ]ds,-1t<T2 are satisfied.

Finally, by putting δ(t)const, a(t)const, -1t1, and T=0 in the Theorem 2.3, we get the following result.

Theorem 2.4.

Assume that v(t)0 is a continuous function on [-1,1] and the inequalities (2.18)v(t)C+Lsgn(t)-ttv(s)ds,-1t1 hold, where C=const0 and L=const0. Then for v(t) the inequalities (2.19)v(t)Cexp(2L|t|),-1t1 are satisfied.

3. The Integral-Differential Equation of the Parabolic Type

Now, we consider the application of the generalizations of Gronwall’s integral inequality with two dependent limits and their discrete analogues to the integral-differential equation (1.1) of the parabolic type with two dependent limits in a Banach space E.

First of all, let us give one theorem that will be needed below.

Theorem 3.1.

Suppose that F(t)C([-1,1],E), K(t,s)C([-1,1],E). Then there is a unique solution of the integral equation (3.1)z(t)=F(t)+sgn(t)-ttK(t,s)z(s)ds,-1t1.

Proof.

The proof of this theorem is based on a fixed-point theorem. It is easy to see that the operator (3.2)Bz(t)=F(t)+sgn(t)-ttK(t,s)z(s)ds,-1t1 maps C([-1,1],E) into C([-1,1],E). By using a special value of λ in the norm (3.3)vC*([-1,1],E)=max-1t1e-λ|t|v(t)E, we can prove that A is the contracting operator on C*([-1,1],E). Indeed, we have (3.4)e-λ|t|Bz(t)-Bu(t)E-|t||t|K(t,s)EEe-λ(|t|-|s|)e-λ|s|z(s)-u(s)Edsmax-1s,t1K(t,s)EE-|t||t|e-λ(|t|-|s|)z-uC*([-1,1],E)ds=2max-1s,t1K(t,s)EE0|t|e-λ(|t|-s)dsz-uC*([-1,1],E)=2max-1s,t1K(t,s)EEz-uC*([-1,1],E)1-e-λ|t|λz-uC*([-1,1],E)2(1-e-λ)λmax-1s,t1K(t,s)EE for any t[-1,1]. So, (3.5)Bz-BuC*([-1,1],E)z-uC*([-1,1],E)αλ, where αλ=(2(1-e-λ)/λ)max-1s,t1K(t,s)EE and αλ0 when λ. Finally, we note that the norms (3.6)vC*([-1,1],E)=max-1t1e-λ|t|v(t)E,vC([-1,1],E)=max-1t1v(t)E are equivalent in C([-1,1],E). The proof of Theorem 3.1 is complete.

Theorem 3.2.

Suppose that assumptions (1.2) and (1.4) for the operators A and B(t) hold. Assume that f(t) is continuously differentiable on [-1,1] function. Then there is a unique solution of (1.1) and stability inequality (3.7)max-1t1du(t)dtE+max-1t1Au(t)EM*[f(0)E+-11f(s)Eds] holds, where M* does not depend on f(t) and t.

Proof.

The proof of the existence and uniqueness of the solution of (1.1) is based on the following formula: (3.8)u(t)=sgn(t)A-1f(t)-sgn(t)e-|t|AA-1f(0)-sgn(t)0te-(|t|-|s|)AA-1f(s)ds+sgn(t)-tt[I-e-(|t|-|s|)A]A-1B(s)u(s)ds,-1t1 and the Theorem 3.1.

First, we note that the solution of (1.1) satisfies u(0)=0. Indeed, assume that u(t) is the solution of (1.1) with B0. Then (3.9)u(t)+Au(t)=f(t),0<t1,u(t)-Au(t)=f(t),-1t<0, and from the continuity of f,u(t), and Au at t=0 we get (3.10)u(0)+Au(0)=f(0),u(0)-Au(0)=f(0). This leads to 2Au(0)=0, and it follows that u(0)=0.

Let us now prove (3.8). First, we consider the case when 0t1. It is well known that the Cauchy problem (3.11)du(t)dt+Au(t)=F(t),0t1,u(0)=0 for differential equations in an arbitrary Banach space E with positive operator A has the unique solution (3.12)u(t)=0te-(t-s)AF(s)ds,0t1 for smooth F(t). By putting (3.13)F(t)=-ttB(s)u(s)ds+f(t), we have (3.14)u(t)=0te-(t-s)Af(s)ds+0te-(t-s)A-ssB(τ)u(τ)dτds,0t1. Since (3.15)0t-sse-(t-s)AB(τ)u(τ)dτds=0tτte-(t-s)AB(τ)u(τ)dsdτ+-t0-τte-(t-s)AB(τ)u(τ)dsdτ=0t(I-e-(t-τ)A)A-1B(τ)u(τ)dτ+-t0(I-e-(t+τ)A)A-1B(τ)u(τ)dτ=-tt(I-e-(t-|s|)A)A-1B(s)u(s)ds,0te-(t-s)Af(s)ds=A-1f(t)-e-tAA-1f(0)-0te-(t-s)AA-1f(s)ds, we obtain (3.8) for 0t1.

Now, let -1t0. Then we consider the problem (3.16)du(t)dt-Au(t)=F(t),-1t0,u(0)=0 for differential equations in an arbitrary Banach space E with positive operator A, which has the unique solution (3.17)u(t)=-t0e(t-s)AF(s)ds,-1t0. By putting (3.18)F(t)=-ttB(s)u(s)ds+f(t), we have (3.19)u(t)=-t0e(t-s)Af(s)ds+t0e(t-s)As-sB(τ)u(τ)dτds,-1t0. Since (3.20)t0s-se(t-s)AB(τ)u(τ)dτds=0-tt-τe(t-s)AB(τ)u(τ)dsdτ+t0tτe(t-s)AB(τ)u(τ)dsdτ=0-t(I-e(t+τ)A)A-1B(τ)u(τ)dτ+t0(I-e(t-τ)A)A-1B(τ)u(τ)dτ=t-t(I-e-(-t-|s|)A)A-1B(s)u(s)ds,t0e(t-s)Af(s)ds=A-1f(t)-etAA-1f(0)+t0e-(-t+s)AA-1f(s)ds, we obtain (3.8) for -1t0.

From (3.8) it follows that (3.21)Au(t)=sgn(t)f(t)-sgn(t)e-|t|Af(0)-sgn(t)0te-(|t|-|s|)Af(s)ds+sgn(t)-tt[I-e-(|t|-|s|)A]B(s)u(s)ds,-1t1. Applying the triangle inequality and assumptions (1.2) and (1.4), we get (3.22)Au(t)Ef(t)E+e-|t|AEEf(0)E+-|t||t|e-(|t|-|s|)AEEf(s)Eds+-|t||t|[1+e-(|t|-|s|)AEE]B(s)A-1EEAu(s)Eds(M+1)[f(0)E+-11f(s)Eds]+sgn(t)M(M+1)-ttAu(s)Eds,-1t1. Then, using the Theorem 2.4, we have (3.23)Au(t)E(M+1)[f(0)E+-11f(s)Eds]e2M(M+1)|t|(M+1)e2M(M+1)[f(0)E+-11f(s)Eds],-1t1. So, (3.24)max-1t1Au(t)E(M+1)e2M(M+1)[f(0)E+-11f(s)Eds]. By applying the triangle inequality in (1.1) and assumptions (1.2) and (1.4), we obtain (3.25)du(t)dtEAu(t)E+-|t||t|B(s)A-1EEAu(s)Eds+f(t)E(2M+1)max-1t1Au(t)E+f(0)E+-11f(s)Eds,-1t1. So, (3.26)max-1t1du(t)dtE(2M+1)max-1t1Au(t)E+f(0)E+-11f(s)Eds. Then using (3.24), we have (3.27)max-1t1du(t)dtE+max-1t1Au(t)E2(M+1)max-1t1Au(t)E+f(0)E+-11f(s)Eds(2(M+1)2e2M(M+1)+1)[f(0)E+-11f(s)Eds]. So, stability inequality (3.7) holds with M*=2(M+1)2e2M(M+1)+1. The proof of Theorem 3.2 is complete.

Note that it does not hold, generally speaking (3.28)max-1t1du(t)dtE+max-1t1Au(t)EM*max-1t1f(t)E in an arbitrary Banach space E for the general strong positive operator A, see [17, Section 1.5, Chapter 1]. Nevertheless, we can establish the following theorem.

Theorem 3.3.

Suppose that assumptions (1.4) for the operator A hold and (3.29)B(t)A-1EαEαM,-1t1. Assume that f(t) is a continuous on [-1,1] function. Then there is a unique solution of (1.1) and stability inequality (3.30)max-1t1du(t)dtEα+max-1t1Au(t)EαM*(α)max-1t1f(t)Eα holds, where M*(α) does not depend on f(t) and t. Here the fractional spaces Eα=Eα(E,A)(0<α<1), consisting of all vE for which the following norms are finite: (3.31)vEα=sup0<zz1-αAexp{-zA}vE.

Proof.

First, we rewrite (3.8) as (3.32)u(t)=0te-(|t|-|s|)Af(s)ds+sgn(t)-tt[I-e-(|t|-|s|)A]A-1B(s)u(s)ds,-1t1. The proof of the existence and uniqueness of the solution of (1.1) is based on the formula (3.32) and an analogue of the Theorem 3.1. Let us prove (3.30). From (3.32) it follows that (3.33)Au(t)=0tAe-(|t|-|s|)Af(s)ds+sgn(t)-tt[I-e-(|t|-|s|)A]B(s)u(s)ds,-1t1. Applying the triangle inequality, the definition of the norm of the space Eα and assumptions (1.4) and (3.29), we obtain (3.34)Au(t)Eα-|t||t|Ae-(|t|-|s|)Af(s)dsEα+-|t||t|[1+e-(|t|-|s|)AEE]B(s)A-1EαEαAu(s)Eαds-|t||t|Ae-(|t|-|s|)Af(s)dsEα+sgn(t)M(M+1)-ttAu(s)Eαds. By [17, Chapter 1, Theorem 4.1], we obtain(3.35)-|t||t|Ae-(|t|-|s|)Af(s)dsEαMα(1-α)max-1t1f(t)Eα. So, (3.36)Au(t)EαMα(1-α)max-1t1f(t)Eα+sgn(t)M(M+1)-ttAu(s)Eαds for -1t1. Then, using the Theorem 2.4, we have (3.37)Au(t)EαMα(1-α)max-1t1f(t)Eαe2M(M+1)|t|,-1t1. So, (3.38)max-1t1Au(t)EαMα(1-α)max-1t1f(t)Eαe2M(M+1). Then, using the triangle inequality in (1.1) yields (3.39)max-1t1du(t)dtEαM(M+1)α(1-α)max-1t1f(t)Eαe2M(M+1). Combining last two inequalities, we obtain (3.30) with M*(α)=(M(M+2)/α(1-α))e2M(M+1). The proof of Theorem 3.3 is complete.

Now, we consider the Rothe difference scheme for approximate solutions of (1.1). (3.40)uk-uk-1τ+Auk=i=-k+1k-1Biuiτ+φk,k=1,,N,uk-uk-1τ-Auk-1=-i=k-kBiuiτ+φk,k=-N+1,,0,Bk=B(tk),tk=kτ,k=-N,,N,u0=0.

Theorem 3.4.

Suppose that the requirements of the Theorem 3.2 are satisfied. Then for the solution of difference scheme (3.40), the following stability inequalities (3.41)maxk=-N+1,,Nuk-uk-1τE+maxk=-N,,NAukEM*[φ0E+k=-N+1Nφk-φk-1E] hold, where M* does not depend on φk, k=-N,,N.

Proof.

By induction we can prove that the initial value problem (3.42)uk-uk-1τ+Auk=ψk,k=1,,N,u0=0 for difference equations in an arbitrary Banach space E with positive operator A has a unique solution (3.43)uk=i=1kRk-i+1ψiτ,k=1,,N, where R=(I+τA)-1. By putting ψk=i=-k+1k-1Biuiτ+φk, we obtain (3.44)Auk=Ai=1kRk-i+1φiτ+Ai=1kRk-i+1j=-i+1i-1Bjujτ2,k=1,,N. Using (3.45)τi=±j+1kRk-i+1=τ(R+R2++Rkj)=τR(I-R)-1(I-Rkj)=A-1(I-Rkj),k=1,,N, we have (3.46)Ai=1kRk-i+1j=-i+1i-1Bjujτ2=Aj=-k+10τi=-j+1kRk-i+1Bjujτ+Aj=1k-1τi=j+1kRk-i+1Bjujτ=Aj=-k+10A-1(I-Rk+j)Bjujτ+Aj=1k-1A-1(I-Rk-j)Bjujτ=i=-k+1k-1[I-Rk-|i|]Biuiτ. Furthermore, (3.47)Ai=1kRk-i+1φiτ=i=1k(I-R)Rk-iφi=i=1kRk-iφi-i=1kRk-i+1φi=i=2k+1Rk-i+1φi-1-i=1kRk-i+1φi=i=1kRk-i+1φi-1-Rkφ0+φk-i=1kRk-i+1φi=φk-Rkφ0-i=1kRk-i+1(φi-φi-1). Putting (3.46)-(3.47) in (3.44), we get (3.48)Auk=φk-Rkφ0-i=1kRk-i+1(φi-φi-1)+i=-k+1i0k-1[I-Rk-|i|]Biuiτ for k=1,,N.

Since (3.49)Rk=(I+τA)-k=1(k-1)!0tk-1e-te-τtAdt,k=1,,N, applying estimates (1.4) gives (3.50)RkEEM(k-1)!0tk-1e-tdt=M,k=1,,N. Then, applying the triangle inequality and the estimate (1.2) in (3.48), we obtain (3.51)AukEφkE+RkEEφ0E+i=1kRk-i+1EEφi-φi-1E+i=-k+1i0k-1(1+Rk-|i|EE)BiA-1EEAuiEτi=1k(φi-φi-1)+φ0E+Mφ0E+Mi=1kφi-φi-1E+M(M+1)i=-k+1i0k-1AuiEτ(M+1)i=-N+1Nφi-φi-1E+(M+1)φ0E+M(M+1)i=-k+1i0k-1AuiEτ,k=1,,N. So, for k=1,,N, (3.52)AukEM~(φ0E+i=-N+1Nφi-φi-1E)+M(M+1)i=-k+1i0k-1AuiEτ holds, where M~=max{M(1+τ(M+1)),M+1}.

In a similar way, we can prove that the initial value problem (3.53)uk-uk-1τ-Auk-1=-i=k-kBiuiτ+φk,k=-N+1,,0,u0=0 for difference equations in an arbitrary Banach space E with positive operator A has a unique solution and inequalities (3.54)AukEM~(φ0E+i=-N+1Nφi-φi-1E)+M(M+1)i=k+1i0-k-1AuiEτ hold for k=-N,0.

Now, the proof of this theorem is based on the Theorem 2.2 and the inequalities (3.52) and (3.54). The proof of Theorem 3.4 is complete.

Note that it does not hold, generally speaking (3.55)maxk=-N+1,,Nuk-uk-1τE+maxk=-N,,NAukEM*maxk=-N,,NφkE in the arbitrary Banach space E for the general strong positive operator A, see [17, 18].

This approach and theory of difference schemes of  permit us to obtain the following two theorems on stability estimates for the solution of difference scheme (3.40).

Theorem 3.5.

Suppose that the requirements of the Theorem 3.2 are satisfied. Then for the solution of difference scheme (3.40) the following stability inequalities (3.56)maxk=-N+1,,Nuk-uk-1τE+maxk=-N,,NAukEM*min{ln1τ,1+|lnAEE|}  maxk=-N,,NφkE hold, where M* does not depend on φk, k=-N,,N.

Theorem 3.6.

Suppose that the requirements of the Theorem 3.3 are satisfied. Then for the solution of difference scheme (3.40), the following stability inequalities (3.57)maxk=-N+1,,Nuk-uk-1τEα+maxk=-N,,NAukEαM*(α)maxk=-N,,NφkEα hold, where M*(α) does not depend on φk, k=-N,,N. Here the fractional spaces Eα=Eα(E,A)(0<α<1), consisting of all vE for which the following norms are finite: (3.58)vEα=sup0<zzαA(z+A)-1vE.

Stability estimates could be also proved for the more general Pade difference schemes of the high order of accuracy, see [17, 19].

4. Conclusion

In this paper, the integral-differential equation of the parabolic type with two dependent limits in a Banach space is studied. The unique solvability of this equation is established. The stability estimates for the solution of this equation are obtained. The Rothe difference scheme approximately solving this equation is presented. The stability estimates for the solution of this difference scheme are obtained.

Ashirov S. Kurbanmamedov N. Investigation of the solution of a class of integral equations of Volterra type Izvestiya Vysshikh Uchebnykh Zavedeniĭ. Matematika 1987 9 3 8 923838 Ashirov S. Mamedov Ya. D. A Volterra-type integral equation Ukrainskiĭ Matematicheskiĭ Zhurnal 1988 40 4 438 442 10.1007/BF01057209 957897 ZBL0653.45005 Beckenbach E. F. Bellman R. Inequalities 1961 Berlin, Germany Springer 0158038 Kreĭn S. G. Linear Differential Equations in a Banach Space 1966 Moscow, Russia Nauka 0247239 Ashyralyev A. Piskarev S. Weis L. On well-posedness of difference schemes for abstract parabolic equations in Lp([0,T];E) spaces Numerical Functional Analysis and Optimization 2002 23 7-8 669 693 10.1081/NFA-120016264 1938828 ZBL1022.65095 Agarwal R. P. Bohner M. Shakhmurov V. B. Maximal regular boundary value problems in Banach-valued weighted space Boundary Value Problems 2005 1 9 42 2148373 ZBL1081.35129 Shakhmurov V. B. Coercive boundary value problems for regular degenerate differential-operator equations Journal of Mathematical Analysis and Applications 2004 292 2 605 620 10.1016/j.jmaa.2003.12.032 2048274 ZBL1060.35045 Ashyralyev A. Misirli E. Mogol O. A note on the integral inequalities with two dependent limits Journal of Inequalities and Applications 2010 2010 18 430512 10.1155/2010/430512 2678911 ZBL1197.26023 Sobolevskii P. E. Well-posedness of difference elliptic equation Discrete Dynamics in Nature and Society 1997 1 2 219 231 10.1155/S1026022697000228 Ashyralyev A. Sözen Y. Well-posedness of parabolic differential and difference equations Computers & Mathematics with Applications 2010 60 3 792 802 10.1016/j.camwa.2010.05.026 2665553 ZBL1201.35064 Ashyraliyev M. A note on the stability of the integral-differential equation of the hyperbolic type in a Hilbert space Numerical Functional Analysis and Optimization 2008 29 7-8 750 769 10.1080/01630560802292069 2450189 ZBL1146.45001 Gronwall T. H. Note on the derivatives with respect to a parameter of the solutions of a system of differential equations Annals of Mathematics. Second Series 1919 20 4 292 296 10.2307/1967124 1502565 Nurimov T. Filatov D. Integral Inequalities, 1991 Tashkent, Uzbekistan FAN Corduneanu A. A note on the Gronwall inequality in two independent variables Journal of Integral Equations 1982 4 3 271 276 661174 ZBL0526.26008 Linz P. Numerical methods for Volterra integral equations of the first kind The Computer Journal 1969 12 393 397 0253577 10.1093/comjnl/12.4.393 ZBL0193.13701 McKee S. Generalised discrete Gronwall lemmas Zeitschrift für Angewandte Mathematik und Mechanik 1982 62 9 429 434 10.1002/zamm.19820620902 682559 ZBL0524.26013 Ashyralyev A. Sobolevskiĭ P. E. Well-Posedness of Parabolic Difference Equations 1994 Basel, Switzerland Birkhäuser 10.1007/978-3-0348-8518-8 1299329 Ashyralyev A. O. Sobolevskiĭ P. E. The theory of interpolation of linear operators and the stability of difference schemes Doklady Akademii Nauk SSSR 1984 275 6 1289 1291 746370 Ashyralyev A. Sobolevskii P. E. Well-posed solvability of the Cauchy problem for difference equations of parabolic type Nonlinear Analysis: Theory, Methods & Applications 1995 24 2 257 264 10.1016/0362-546X(94)E0004-Z 1312595 ZBL0818.65047