# Generalizations of Wendroff Integral Inequalities and Their Discrete Analogues

Authors: Maksat Ashyraliyev
Journal: Abstract and Applied Analysis
 (2012)

---

## Abstract

Generalizations of Wendroff type integral inequalities with four dependent limits and their discrete analogues are obtained. In applications, these results are used to establish the stability estimates for the solution of the Goursat problem.


---

## Body

## 1. Introduction

Integral inequalities play a significant role in the theory of ordinary and partial differential equations. They are useful to investigate some properties of the solutions of equations, such as existence, uniqueness, and stability, see for instance [1–6].Most scientific and technical problems can be solved by using mathematical modelling and new numerical methods. This is based on the mathematical description of real processes and the subsequent solving of the appropriate mathematical problems on the computer. The mathematical models of many scientific and technical problems lead to already known or new problems of partial differential equations. In most of the cases it is difficult to find the exact solutions of the problems for partial differential equations. For this reason discrete methods play a significant role, especially due to the increasing role of mathematical methods of solving problems in various areas of science and engineering. A well-known and widely applied method of approximate solutions for problems of 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 partial differential equations. The investigation of stability and convergence of these difference schemes is based on the discrete analogues of integral inequalities, see for instance [1, 7–9].Due to various motivations, several generalizations and applications of Wendroff-type integral inequality have been obtained and used extensively, see for instance [10–12]. In [12], the following generalizations of Wendroff-type integral inequality in two independent variables are obtained.Theorem 1.1.
Assume thatu(x,y)≥0 and a(x,y)≥0 are continuous functions on 0≤x≤L, 0≤y≤M and the inequalities
(1.1)u(x,y)≤C+∫0x∫0ya(s,t)u(s,t)dtds,0≤x≤L,0≤y≤M
hold, where C=const≥0. Then, for u(x,y) the inequalities:
(1.2)u(x,y)≤Cexp⁡⁡[∫0x∫0ya(s,t)dtds],0≤x≤L,0≤y≤M
are satisfied.Theorem 1.2.
Assume thatu(x,y)≥0 is a continuous function on 0≤x≤L, 0≤y≤M and the inequalities:
(1.3)u(x,y)≤f(x,y)+∫0xa(s)u(s,y)ds+∫0yb(t)u(x,t)dt,0≤x≤L,0≤y≤M
hold, where f(x,y)>0 is a continuous function on 0≤x≤L, 0≤y≤M and increasing with respect to each variable, a(x)≥0 and b(y)≥0 are integrable functions on 0≤x≤L and 0≤y≤M, respectively. Then, for u(x,y) the inequalities:
(1.4)u(x,y)≤f(x,y)exp⁡⁡[∫0xa(s)ds+∫0yb(t)dt+∫0x∫0ya(s)b(t)dtds],0≤x≤L,0≤y≤M
are satisfied.In this paper, generalizations of Wendroff-type integral inequalities in two independent variables with four dependent limits and their discrete analogues are obtained. In applications, these results are used to obtain the stability estimates of solutions for the Goursat problem.


## 2. Wendroff-type Integral Inequalities with Four Dependent Limits and Their Discrete Analogues

First of all, let us give the discrete analogue of the Gronwall-type integral inequality with two dependent limits. We will need this result in the remaining part of the paper.Theorem 2.1.
Assume thatvi≥0, ai≥0, δi≥0, i=-N,…,N are the sequences of real numbers and the inequalities:
(2.1)vi≤δi+h∑j=-|i|+1j≠0|i|-1ajvj,i=-N,…,N
hold. Then, for vi the inequalities:
(2.2)vi≤δi+exp⁡⁡[h∑j=-|i|+1j≠0|i|-1aj]h∑j=-|i|+1j≠0|i|-1ajδjexp⁡⁡[-h∑n=-|j|n≠0|j|‍an],i=-N,…,N
are satisfied.Proof.
The proof of (2.2) for i=-1,0,1 follows directly from (2.1). Let us prove (2.2) for i=-N,…,-2,2,…,N. We denote
(2.3)yi=h∑j=-|i|+1j≠0|i|-1ajvj,i=-N,…,N.
Then, (2.1) gets the form
(2.4)vi≤δi+yi,i=-N,…,N.
Moreover, we have
(2.5)y-i=yi,i=-N,…,N.
Then, using (2.3)–(2.5) for i=1,…,N-1, we obtain
(2.6)yi+1-yi=h(aivi+a-iv-i)≤hai(yi+δi)+ha-i(y-i+δ-i)=h(ai+a-i)yi+h(aiδi+a-iδ-i).
So,
(2.7)yi+1≤[1+h(ai+a-i)]yi+h(aiδi+a-iδ-i),i=1,…,N-1.
Then by induction, we can prove that
(2.8)yi≤∏j=1i-1‍[1+h(aj+a-j)]y1+∑j=1i-2‍h(ajδj+a-jδ-j)∏n=j+1i-1‍[1+h(an+a-n)]+h(ai-1δi-1+a-i+1δ-i+1),
for i=2,…,N. Since y1=0, using (2.4) and the inequality 1+x<exp[x], x>0, we obtain
(2.9)vi≤δi+h∑j=1i-2(ajδj+a-jδ-j)exp⁡⁡[h∑n=j+1i-1(an+a-n)]+h(ai-1δi-1+a-i+1δ-i+1)=δi+exp⁡[h∑n=1i-1(an+a-n)]h∑j=1i-2(ajδj+a-jδ-j)exp⁡⁡[-h∑n=1j(an+a-n)]+h(ai-1δi-1+a-i+1δ-i+1)=δi+exp⁡⁡[h∑j=1i-1(aj+a-j)]h∑j=1i-1(ajδj+a-jδ-j)exp⁡⁡[-h∑n=1j(an+a-n)]=δi+exp⁡⁡[h∑j=-i+1j≠0i-1aj]h∑j=1i-1(ajδj+a-jδ-j)exp⁡⁡[-h∑n=-jn≠0jan]=δi+exp⁡⁡[h∑j=-i+1j≠0i-1aj]h∑j=-i+1j≠0i-1ajδjexp⁡⁡[-h∑n=-|j|n≠0|j|an].
So, we proved (2.2) for i=2,…,N.
Let us prove (2.2) for i=-N,…,-2. Using (2.3)–(2.5) for i=-N+1,…,-1, we have
(2.10)yi-1-yi=h(aivi+a-iv-i)≤hai(yi+δi)+ha-i(y-i+δ-i)=h(ai+a-i)yi+h(aiδi+a-iδ-i).
So,
(2.11)yi-1≤[1+h(ai+a-i)]yi+h(aiδi+a-iδ-i),i=-N+1,…,-1.
Then by induction, we can prove that
(2.12)yi≤∏n=1-i-1‍[1+h(an+a-n)]y-1+∑j=1-i-2‍h(ajδj+a-jδ-j)∏n=j+1-i-1‍[1+h(an+a-n)]+h(a-i-1δ-i-1+ai+1δi+1),
for i=-N,…,-2. Since y-1=0, using (2.4) and the inequality 1+x<exp[x], x>0, we obtain
(2.13)vi≤δi+h∑j=1-i-2‍(ajδj+a-jδ-j)exp⁡[h∑n=j+1-i-1‍(an+a-n)]+h(a-i-1δ-i-1+ai+1δi+1)=δi+exp⁡[h∑n=1-i-1‍(an+a-n)]h∑j=1-i-2‍(ajδj+a-jδ-j)exp⁡[-h∑n=1j‍(an+a-n)]+h(a-i-1δ-i-1+ai+1δi+1)=δi+exp⁡[h∑j=1-i-1‍(aj+a-j)]h∑j=1-i-1‍(ajδj+a-jδ-j)exp⁡[-h∑n=1j‍(an+a-n)]=δi+exp⁡[h∑j=i+1j≠0-i-1‍aj]h∑j=1-i-1‍(ajδj+a-jδ-j)exp⁡[-h∑n=-jn≠0j‍an]=δi+exp⁡[h∑j=i+1j≠0-i-1‍aj]h∑j=i+1j≠0-i-1‍ajδjexp⁡[-h∑n=-|j|n≠0|j|‍an].
So, we proved (2.2) for i=-N,…,-2.By puttingNh=1 and passing to limit h→0 in the Theorem 2.1, we obtain the following generalization of Gronwall's integral inequality with two dependent limits.Theorem 2.2.
Assume thatv(t)≥0, δ(t)≥0 are continuous functions on [-1,1], a(t)≥0 is an integrable function on [-1,1], and the inequalities
(2.14)v(t)≤δ(t)+sgn⁡⁡(t)∫-tta(s)v(s)ds,-1≤t≤1
hold. Then for v(t), the inequalities:
(2.15)v(t)≤δ(t)+exp⁡[sgn⁡⁡(t)∫-tta(s)ds]sgn⁡⁡(t)∫-tta(s)δ(s)exp⁡[-sgn⁡⁡(s)∫-ssa(τ)dτ]ds,-1≤t≤1
are satisfied.Now, we consider the generalizations of Wendroff inequality for integrals in two independent variables with four dependent limits and their discrete analogues.Theorem 2.3.
Assume thatvnk≥0, ank≥0, n=-N,…,N, k=-K,…,K are sequences of real numbers, and the inequalities:
(2.16)vnk≤C+h1h2∑s=-|n|+1s≠0|n|-1∑τ=-|k|+1τ≠0|k|-1asτvsτ,n=-N,…,N,k=-K,…,K
hold, where C=const>0, h1=const>0, h2=const>0. Then for vnk, the following inequalities:
(2.17)vnk≤Cexp⁡⁡[h1h2∑s=-|n|+1s≠0|n|-1∑τ=-|k|+1τ≠0|k|-1asτ],n=-N,…,N,k=-K,…,K.
are satisfied.Proof.
The proof of (2.17) for n=-1,0,1, k=-K,…,K and k=-1,0,1, n=-N,…,N follows directly from (2.16). Let us prove (2.17) for n=-N,…,-2,2,…,N, k=-K,…,-2,2,…,K. We denote
(2.18)ωnk=C+h1h2∑s=-|n|+1s≠0|n|-1∑τ=-|k|+1τ≠0|k|-1asτvsτ,n=-N,…,N,k=-K,…,K.
Then, (2.16) gets the form:
(2.19)vnk≤ωnk,n=-N,…,N,k=-K,…,K.
Furthermore, we have
(2.20)ωnk=ω-nk=ωn-k=ω-n-k,n=-N,…,N,k=-K,…,K.
From (2.18) for n=-N,…,N, k=1,…,K-1, we have
(2.21)ωnk+1-ωnk=h1h2∑s=-|n|+1s≠0|n|-1(askvsk+as-kvs-k)≥0.
So,
(2.22)ωnk≤ωnk+1,n=-N,…,N,k=1,…,K-1.
Then using (2.18)–(2.22) for n=1,…,N-1, k=-K,…,-2,2,…,K, we obtain
(2.23)ωn+1k-ωnk=h1h2∑τ=-|k|+1τ≠0|k|-1(anτvnτ+a-nτv-nτ)≤h1h2∑τ=-|k|+1τ≠0|k|-1(anτωnτ+a-nτω-nτ)=h1h2∑τ=-|k|+1τ≠0|k|-1‍ωnτ(anτ+a-nτ)=h1h2∑τ=1|k|-1‍ωnτ(anτ+a-nτ)+h1h2∑τ=1|k|-1‍ωn-τ(an-τ+a-n-τ)=h1h2∑τ=1|k|-1‍ωnτ(anτ+a-nτ+an-τ+a-n-τ)≤h1h2ωn|k|∑τ=1|k|-1‍(anτ+a-nτ+an-τ+a-n-τ)=h1h2ωnk∑τ=-|k|+1τ≠0|k|-1‍(anτ+a-nτ).
So,
(2.24)ωn+1k≤ωnk[1+h1h2∑τ=-|k|+1τ≠0|k|-1(anτ+a-nτ)],n=1,…,N-1,k=-K,…,-2,2,…,K.
Then by induction, we can prove that
(2.25)ωnk≤ω1k∏s=1n-1[1+h1h2∑τ=-|k|+1τ≠0|k|-1(asτ+a-sτ)],n=2,…,N,k=-K,…,-2,2,…,K.
Since ω1k=C, k=-K,…,K, using (2.19) and the inequality 1+x<exp[x], x>0, we obtain
(2.26)vnk≤ωnk≤Cexp⁡⁡[h1h2∑s=1n-1∑τ=-|k|+1τ≠0|k|-1‍(asτ+a-sτ)]=Cexp⁡⁡[h1h2∑s=-n+1s≠0n-1∑τ=-|k|+1τ≠0|k|-1‍asτ].
So, we proved (2.17) for n=2,…,N, k=-K,…,-2,2,…,K.
Using (2.18)–(2.22) for n=-N+1,…,-1, k=-K,…,-2,2,…,K, we obtain
(2.27)ωn-1k-ωnk=h1h2∑τ=-|k|+1τ≠0|k|-1‍(anτvnτ+a-nτv-nτ)≤h1h2∑τ=-|k|+1τ≠0|k|-1‍(anτωnτ+a-nτω-nτ)=h1h2∑τ=-|k|+1τ≠0|k|-1‍ωnτ(anτ+a-nτ)=h1h2∑τ=1|k|-1‍ωnτ(anτ+a-nτ)+h1h2∑τ=1|k|-1‍ωn-τ(an-τ+a-n-τ)=h1h2∑τ=1|k|-1‍ωnτ(anτ+a-nτ+an-τ+a-n-τ)≤h1h2ωn|k|∑τ=1|k|-1‍(anτ+a-nτ+an-τ+a-n-τ)=h1h2ωnk∑τ=-|k|+1τ≠0|k|-1‍(anτ+a-nτ).
So,
(2.28)ωn-1k≤ωnk[1+h1h2∑τ=-|k|+1τ≠0|k|-1(anτ+a-nτ)],n=-N+1,…,-1,k=-K,…,-2,2,…,K.
Then by induction, we can prove that
(2.29)ωnk≤ω-1k∏s=1-n-1‍[1+h1h2∑τ=-|k|+1τ≠0|k|-1‍(asτ+a-sτ)],n=-N,…,-2,k=-K,…,-2,2,…,K.
Since ω-1k=C, k=-K,…,K using (2.19) and the inequality 1+x<exp[x], x>0, we obtain
(2.30)vnk≤ωnk≤Cexp⁡[h1h2∑s=1-n-1‍∑τ=-|k|+1τ≠0|k|-1‍(asτ+a-sτ)]=Cexp⁡[h1h2∑s=n+1s≠0-n-1‍∑τ=-|k|+1τ≠0|k|-1‍asτ].
So, we proved (2.17) for n=-N,…,-2, k=-K,…,-2,2,…,K.Theorem 2.4.
Assume thatvnk≥0, δnk>0, an≥0, bk≥0, n=-N,…,N, k=-K,…,K are sequences of real numbers, and the inequalities:
(2.31)vnk≤δnk+h1∑s=-|n|+1s≠0|n|-1‍asvsk+h2∑τ=-|k|+1τ≠0|k|-1‍bτvnτ,n=-N,…,N,k=-K,…,K,(2.32)δnk≤δn+1k,n=-N,…,N-1,k=-K,…,K,δnk≤δnk+1,n=-N,…,N,k=-K,…,K-1
hold, where h1=const>0, h2=const>0. Then for vnk, n=-N,…,N, k=-K,…,K, the inequalities:
(2.33)vnk≤δnkexp⁡[h1∑s=-|n|+1s≠0|n|-1‍as+h2∑τ=-|k|+1τ≠0|k|-1‍bτ+h1h2∑s=-|n|+1s≠0|n|-1‍∑τ=-|k|+1τ≠0|k|-1‍asbτ]
are satisfied.Proof.
We denoteunk=vnk/δnk, n=-N,…,N, k=-K,…,K. Then, (2.31) takes the form
(2.34)unk≤1+h1∑s=-|n|+1s≠0|n|-1‍asusk+h2∑τ=-|k|+1τ≠0|k|-1‍bτunτ,n=-N,…,N,k=-K,…,K.
Next, by denoting
(2.35)Tnk=1+h1∑s=-|n|+1s≠0|n|-1‍asusk,n=-N,…,N,k=-K,…,K,
we have
(2.36)unk≤Tnk+h2∑τ=-|k|+1τ≠0|k|-1‍bτunτ,n=-N,…,N,k=-K,…,K.
By using Theorem 2.1, we obtain
(2.37)unk≤Tnk+exp⁡[h2∑τ=-|k|+1τ≠0|k|-1‍bτ]h2∑τ=-|k|+1τ≠0|k|-1‍bτTnτexp⁡[-h2∑j=-|τ|j≠0|τ|‍bj].
Inserting (2.35) yields
(2.38)unk≤1+h1∑s=-|n|+1s≠0|n|-1‍asusk+exp⁡[h2∑τ=-|k|+1τ≠0|k|-1‍bτ]h2∑τ=-|k|+1τ≠0|k|-1‍bτexp⁡[-h2∑j=-|τ|j≠0|τ|‍bj]+exp⁡[h2∑τ=-|k|+1τ≠0|k|-1‍bτ]h1h2∑τ=-|k|+1τ≠0|k|-1‍∑s=-|n|+1s≠0|n|-1‍asbτusτexp⁡[-h2∑j=-|τ|j≠0|τ|‍bj]≤exp⁡[h2∑τ=-|k|+1τ≠0|k|-1‍bτ]+h1∑s=-|n|+1s≠0|n|-1‍asusk+exp⁡[h2∑τ=-|k|+1τ≠0|k|-1‍bτ]h1h2∑τ=-|k|+1τ≠0|k|-1‍∑s=-|n|+1s≠0|n|-1‍asbτusτexp⁡[-h2∑j=-|τ|j≠0|τ|‍bj].
Now, by denoting
(2.39)wnk=unkexp⁡[-h2∑τ=-|k|+1τ≠0|k|-1‍bτ],n=-N,…,N,k=-K,…,K,
we have
(2.40)wnk≤1+h1∑s=-|n|+1s≠0|n|-1‍aswsk+h1h2∑τ=-|k|+1τ≠0|k|-1‍∑s=-|n|+1s≠0|n|-1‍asbτwsτ.
Let us denote the right-hand side of (2.40) by Rnk. Then, (2.40) gets the form
(2.41)wnk≤Rnk,n=-N,…,N,k=-K,…,K.
Then by using induction, we can prove that
(2.42)Rnkexp⁡[-h1∑s=-|n|+1s≠0|n|-1‍as]≤1+h1h2∑s=-|n|+1s≠0|n|-1‍∑τ=-|k|+1τ≠0|k|-1‍asbτRsτexp⁡[-h1∑j=-|s|+1j≠0|s|-1‍aj].
By using Theorem 2.3, we obtain
(2.43)Rnkexp⁡[-h1∑s=-|n|+1s≠0|n|-1‍as]≤exp⁡[h1h2∑s=-|n|+1s≠0|n|-1‍∑τ=-|k|+1τ≠0|k|-1‍asbτ],n=-N,…,N,k=-K,…,K.
Finally, by combining (2.39), (2.41), and (2.43), we finish the proof of (2.33).By puttingNh1=L, Kh2=M and passing to limit as h1→0, h2→0 in Theorems 2.3 and 2.4, we obtain the following two theorems about the generalizations of Wendroff integral inequality with four dependent limits.Theorem 2.5.
Assume thatv(x,y)≥0 and b(x,y)≥0 are continuous functions on -L≤x≤L, -M≤y≤M and the inequalities
(2.44)v(x,y)≤C+sgn⁡⁡(xy)∫-xx∫-yyv(s,t)b(s,t)dtds,-L≤x≤L,-M≤y≤M
hold, where C=const≥0. Then for v(x,y) the inequalities
(2.45)v(x,y)≤Cexp⁡[sgn⁡⁡(xy)∫-xx∫-yyb(s,t)dtds],-L≤x≤L,-M≤y≤M
are satisfied.Theorem 2.6.
Assume thatv(x,y)≥0 is a continuous function on -L≤x≤L, -M≤y≤M, and the inequalities:
(2.46)v(x,y)≤f(x,y)+sgn⁡⁡(x)∫-xxv(s,y)a(s)ds+sgn⁡⁡(y)∫-yyv(x,t)b(t)dt,-L≤x≤L,-M≤y≤M
hold, where f(x,y)>0 is a continuous function on -L≤x≤L, -M≤y≤M and increasing with respect to each variable, a(x)≥0 and b(y)≥0 are integrable functions on -L≤x≤L and -M≤y≤M, respectively. Then for v(x,y), the inequalities
(2.47)v(x,y)≤f(x,y)exp⁡⁡[sgn⁡⁡(x)∫-xxa(s)ds+sgn⁡⁡(y)∫-yyb(t)dt+sgn⁡⁡(xy)∫-xx∫-yya(s)b(t)dsdt]
are satisfied.Finally, we formulate (without proofs) the generalizations of Wendroff-type inequalities for the integrals in three independent variables with six dependent limits.Theorem 2.7.
Assume thatv(x,y,z)≥0, b(x,y,z)≥0(-l1≤x≤l1,-l2≤y≤l2,-l3≤z≤l3) are continuous functions, and the inequalities:
(2.48)v(x,y,z)≤C+sgn⁡⁡(xyz)∫-xx∫-yy∫-zzv(s,t,τ)b(s,t,τ)dτdtds
hold, where C=const≥0. Then for v(x,y,z), the inequalities
(2.49)v(x,y,z)≤Cexp⁡⁡[sgn⁡⁡(xyz)∫-xx∫-yy∫-zzb(s,t,τ)dτdtds],-l1≤x≤l1,-l2≤y≤l2,-l3≤z≤l3
are satisfied.Theorem 2.8.
Assume thatv(x,y,z)≥0(-l1≤x≤l1,-l2≤y≤l2,-l3≤z≤l3) is a continuous function, and the inequalities:
(2.50)v(x,y,z)≤δ(x,y,z)+sgn⁡⁡(x)∫-xxv(s,y,z)a(s)ds+sgn⁡⁡(y)∫-yyv(x,t,z)b(t)dt+sgn⁡⁡(z)∫-zzv(s,t,τ)c(τ)dτ
hold, where a(x)≥0(-l1≤x≤l1), b(y)≥0(-l2≤y≤l2), and c(z)≥0(-l3≤z≤l3) are integrable functions, δ(x,y,z)>0 is continuous and increasing with respect to each variable. Then for v(x,y,z), the inequalities:
(2.51)v(x,y,z)≤δ(x,y,z)exp⁡⁡[T(x,y,z)+sgn⁡⁡(xyz)∫-xx∫-yy∫-zza(s)b(t)c(τ)dτdtds3eT(x,y,z)]-l1≤x≤l1,-l2≤y≤l2,-l3≤z≤l3
are satisfied, where
(2.52)T(x,y,z)=sgn⁡⁡(x)∫-xxa(s)ds+sgn⁡⁡(y)∫-yyb(t)dt+sgn⁡⁡(z)∫-zzc(τ)dτ+sgn⁡⁡(xy)∫-xx∫-yya(s)b(t)dtds+sgn⁡⁡(xz)∫-xx∫-zza(s)c(τ)dτds+sgn⁡⁡(yz)∫-yy∫-zzb(t)c(τ)dτdt.


## 3. Applications

In applications, we consider the Goursat problem for hyperbolic equations:(3.1)uxy=f(x,y)+∂∂y(a(x,y)u(x,y)+a(-x,y)u(-x,y))+∂∂x(b(x,y)u(x,y)+b(x,-y)u(x,-y)),-l1<x<l1,-l2<y<l2,u(x,0)=ϕ(x),-l1≤x≤l1,u(0,y)=ψ(y),-l2≤y≤l2.A functionu(x,y) is called a solution of the Goursat problem (3.1) if the following conditions are satisfied:u(x,y) is twice continuously differentiable on the region [-l1,l1]×[-l2,l2], and the derivatives at the endpoints are understood as the appropriate unilateral derivatives;Theorem 3.1.
Assume that the functionsϕ(x) and ψ(y) are continuously differentiable and ϕ(0)=ψ(0). Let a(x,y), b(x,y), and f(x,y) be continuously differentiable functions. Then, there is a unique solution of the problem (3.1) and the stability inequalities:
(3.2)|u(x,y)|≤(l1l2f+32(ϕ+ψ)+2al1ϕ+2bl2ψ)e2a|x|+2b|y|+4ab|xy|,|ux(x,y)|,|uy(x,y)|≤M1,|uxy(x,y)|≤M2
hold, where M1 and M2 do not depend on x and y and
(3.3)f=max⁡|x|≤l1|y|≤l2|f(x,y)|,a=max⁡|x|≤l1|y|≤l2|a(x,y)|,b=max⁡|x|≤l1|y|≤l2|b(x,y)|,ϕ=max|x|≤l1|ϕ(x)|,ψ=max|y|≤l2|ψ(y)|.The proof of this theorem is based on the formula:(3.4)u(x,y)=ϕ(x)+ψ(y)-ϕ(0)-∫-xxa(s,0)ϕ(s)ds-∫-yyb(0,t)ψ(t)dt+∫0x∫0yf(s,t)dtds+∫-xxa(s,y)u(s,y)ds+∫-yyb(x,t)u(x,t)dt,-l1≤x≤l1,-l2≤y≤l2
and on the Theorem 2.6.Now, we consider the difference schemes for approximate solutions of problem (3.1):
(3.5)uy¯,nk-uy¯,nk-1h1=ankunk-ank-1unk-1h2+a-nku-nk-a-nk-1u-nk-1h2+bnkunk-bn-1kun-1kh1+bn-kun-k-bn-1-kun-1-kh1+fnk,-N+1≤n≤N,-K+1≤k≤K,ank=a(xn,yk),bnk=b(xn,yk),fnk=f(xn,yk),-N≤n≤N,-K≤k≤K,xn=nh1,-N≤n≤N,Nh1=l1,yk=kh2,-K≤k≤K,Kh2=l2,un0=ϕ(xn),-N≤n≤N,u0k=ψ(yk),-K≤k≤K,
where uy¯,nk=(unk-un-1k)/h2.Theorem 3.2.
For the solution of difference schemes (3.5), the following estimates are satisfied:
(3.6)max⁡-N≤n≤N-K≤k≤K|unk|≤M[max⁡-N+1≤n≤N-K+1≤k≤K|fnk|+max⁡-N≤n≤N|ϕn|+max⁡-K≤k≤K|ψk|],
where M does not depend on h1, h2, fnk, ϕn, ψk(-N≤n≤N,-K≤k≤K).The proof of this theorem is based on the following formula:(3.7)unk=ϕn+ψk-ϕ0-h1∑s=-ns≠0n‍as0ϕs-h2∑τ=-kτ≠0k‍b0τψτ+h1h2∑s=1n‍∑τ=1k‍fsτ+h1∑s=-ns≠0n‍askusk+h2∑τ=-kτ≠0k‍bnτunτ,-N≤n≤N,-K≤k≤K
and on Theorem 2.4.


## 4. Conclusion

In this paper, generalizations of Wendroff-type inequalities for the integrals in two independent variables with four dependent limits and their discrete analogues are studied. The generalizations of Wendroff-type integral inequalities are used to establish stability estimates for the solution of the Goursat problem. A difference scheme approximately solving the Goursat problem is presented. Bu using the discrete analogues of the generalizations of Wendroff-type integral inequalities, stability estimates for the solution of this difference scheme are established.



---

*Source: 768062-2012-06-20.xml*