- Research
- Open access
- Published:
Qualitative and quantitative analysis for solutions to a class of Volterra-Fredholm type difference equation
Advances in Difference Equations volume 2011, Article number: 30 (2011)
Abstract
In this paper, we present some new discrete Volterra-Fredholm type inequalities, based on which we study the qualitative and quantitative properties of solutions of a class of Volterra-Fredholm type difference equation. Some results on the boundedness, uniqueness, and continuous dependence on initial data of solutions are established under some suitable conditions.
Mathematics Subject Classification 2010: 26D15
1 Introduction
In this paper, we study a class of Volterra-Fredholm type difference equation with the following form
where z(m, n), g 1(m, n), g 2(m, n) are ℝ-valued functions defined on Ω, F 1i , F 2i , i = 1, 2,..., l 2 and G 1i , G 2i , i = 1, 2,..., l 2 are ℝ-valued functions defined on Ω2 × ℝ, p ≥ 1 is an odd number.
Volterra-Fredholm type difference equations can be considered as the discrete analog of classical Volterra-Fredholm type integral equations, which arise in the theory of parabolic boundary value problems, the mathematical modeling of the spatio-temporal development of an epidemic, and various physical and biological problems. For Eq. (1), if we take l 1 = l 2 = 1, F 21(ξ, η, m, n, z(ξ, η)) = G 21(ξ, η, m, n, z(ξ, η)) ≡ 0, then Eq. (1) becomes the discrete version with infinite sum upper limit of [[1], Eq. (3.1)]. Some concrete forms of Eq. (1) are also variations of some known difference equations in the literature to infinite sum upper limit. For example, If l 1 = l 2 = 1, F 21 (ξ, η, m, n, z(ξ, η)) = G 21 (ξ, η, m, n, z(ξ, η)) ≡ 0, then Eq. (1) becomes the variation of [[2, 3], Eq. (3.1)]. If l 1 = l 2 = 1, F 1(s, t, m, n, z(s, t)) = F (s, t, m, n, z(s, t)) + H(s, t, m, n, z(s, t)), F 21 (ξ, η, m, n, z(ξ, η)) = G 11(s, t, m, n, z(s, t)) = G 21 (ξ, η, m, n, z(ξ, η)) ≡ 0, then Eq. (1) becomes the variation of [[4], Eq. (4.1)].
In the research of solutions of certain difference equations, if the solutions are unknown, then it is necessary to study their qualitative and quantitative properties such as boundedness, uniqueness, and continuous dependence on initial data. The Gronwall-Bellman inequality [5, 6] and its various generalizations that provide explicit bounds play a fundamental role in the research of this domain. Many such generalized inequalities (for example, see [7–16] and the references therein) have been established in the literature including the known Ou-lang's inequality [7], which provide handy tools in the study of qualitative and quantitative properties of solutions of certain difference equations. In [2], Ma generalized the discrete version of Ou-lang's inequality in two variables to Volterra-Fredholm form for the first time, which has proved to be very useful in the study of properties of solutions of certain Volterra-Fredholm type difference equations. But since then, few results on Volterra-Fredholm type discrete inequalities have been established. Recent result in this direction only includes the work of Ma [3] to our knowledge. We note in order to fulfill the analysis of qualitative and quantitative properties of the solutions of Eq. (1), which has more complicated form than the example presented in [3], the results provided by the earlier inequalities are inadequate and it is necessary to seek some new Volterra-Fredholm type discrete inequalities so as to obtain desired results.
This paper is organized as follows. First, we establish some new Volterra-Fredholm type discrete inequalities, based on which we derive explicit bounds for the solutions of Eq. (1) under some suitable conditions. Then, some results about the uniqueness and continuous dependence on the functions g 1, F 1i , F 2i , G 1i , G 2i of the solutions of Eq. (1) are established using the presented inequalities.
Throughout this paper, ℝ denotes the set of real numbers and ℝ+ = [0, ∞), while ℤ denotes the set of integers. Let Ω := ([M, ∞] × [N, ∞]) ∩ ℤ2, where M, N ∈ ℤ are two constants. p ≥ 1 is an odd number. l 1, l 2 ∈ ℤ, K i ∈ ℝ, i = 1, 2, 3, 4 are constants with l 1 ≥ 1, l 2 ≥ 1, K i > 0. If U is a lattice, then we denote the set of all ℝ-valued functions on U by ℘(U), and denote the set of all ℝ+-valued functions on U by ℘+(U ). As usual, the collection of all continuous functions of a topological space X into another topological space Y is denoted by C(X, Y ). Finally, for a ℝ+-valued function such as f ∈ ℘+(Ω), we note provided m 0 > m 1, and .
2 Some new Volterra-Fredholm type discrete inequalities
Lemma 2:1. Suppose u(m, n), a(m, n), b(m, n) ∈ ℘+(Ω). If a(m, n) is nonincreasing in the first variable, then for (m, n) ∈ Ω,
implies
Remark 1. Lemma 2.1 is a direct variation of [[13], Lemma 2.5 (β 2)], and we note a(m, n) ≥ 0 here.
Lemma 2.2. Suppose u(m, n), a(m, n) ∈ ℘+(Ω), b(s, t, m, n) ∈ ℘+(Ω2), and a(m, n) is nonincreasing in every variable with a(m, n) > 0, while b(s, t, m, n) is nonincreasing in the third variable. φ ∈ C(ℝ+, ℝ+) is nondecreasing with φ(r) > 0 for r > 0. If for (m, n) ∈ Ω, u(m, n) satisfies the following inequality
then we have
where
Proof. Fix (m 1, n 1) ∈ Ω, and let (m, n) ∈ ([m 1, ∞] × [n 1, ∞]) ∩ Ω. Then, we have
Let the right side of (5) be v(m, n). Then,
and
that is,
On the other hand, according to the Mean Value Theorem for integrals, there exists ξ such that v(m, n) ≤ ξ ≤ v(m - 1, n), and
So, combining (7) and (8), we have
where G is defined in (4). Setting m = η in (9), and a summary with respect to η from m + 1 to ∞ yields
Noticing v(∞, n) = a(m 1, n 1), and G is increasing, it follows
Combining (6) and (10), we obtain
Setting m = m 1, n = n 1 in (11), yields
Since (m 1, n 1) is selected from Ω arbitrarily, then substituting (m 1, n 1) with (m, n) in (12), we get the desired inequality (3).
Corollary 2. 3. Under the conditions of Lemma 2.2, and furthermore assume a(m, n) ≥ 0. If for (m, n) ∈ Ω, u(m, n) satisfies the following inequality
then we have
Proof. Suppose a(m, n) > 0. By Theorem 2.1 (with ), we have
Where , z ≥ z 0 > 0. Then, a simplification of (15) yields the desired inequality (14).
If a(m, n) ≥ 0, then we can carry out the process above with a(m, n) replaced by a(m, n)+ε, where ε > 0. After letting ε → 0, we also obtain the desired inequality (14).
Lemma 2.4 [[17]]. Assume that a ≥ 0, p ≥ q ≥ 0, and p ≠ 0, then for any K > 0
Theorem 2:5. Suppose, u(m, n), w(m, n) ∈ ℘+(Ω), b i (s, t, m, n), c i (s, t, m, n) ∈ ℘+(Ω2), i = 1, 2,..., l 1, d i (s, t, m, n), e i (s, t, m, n) ∈ ℘+(Ω2), i = 1, 2,..., l 2 with b i , c i , d i , e i nonincreasing in the last two variables, and there is at least one function among d i , e i , i = 1, 2,..., l 2 not equivalent to zero. φ ∈ C(ℝ+, ℝ+) is nondecreasing with φ(r) > 0 for r > 0, and φ is submultiplicative, that is, φ(αβ ) ≤ φ(α)φ(β ) for ∀α, β ∈ ℝ+. If for (m, n) ∈ Ω, u(m, n) satisfies the following inequality
then we have
provided that 0 < μ < 1 and J is increasing, where
Proof. Denote the right side of (16) be . Then, v(m, n) is nonincreasing in every variable, and by Lemma 2.1, we obtain
where is defined in (20). Furthermore, by (24), we deduce
where and B(s, t, m, n) is defined in (22).
As we can see, H(m, n) is nonincreasing in every variable. Considering m ≥ M, n ≥ N, it follows
Since there is at least one function among d i , e i , i = 1, 2,..., l 2 not equivalent to zero, then H(M, N ) > 0.
On the other hand, as b i (s, t, m, n), c i (s, t, m, n) are nonincreasing in the last two variables, then one can see B(s, t, m, n) is also nonincreasing in the last two variables. So, a suitable application of Lemma 2.2 yields
where G, C(m, n) are defined in (18) and (21), respectively. On the other hand, we have
Then, considering v(m, n) is nonincreasing in every variable, using (25) in (26) yields
where μ is a constant defined in (23).
According to 0 < μ < 1, and G is increasing, we obtain
and
which is rewritten by
where J is defined in (19). Since J is increasing, we have
Combining (24), (25), and (27), we get the desired result.
Theorem 2.6. Suppose, u(m, n), a(m, n), w(m, n) ∈ ℘+(Ω), b i (s, t, m, n), c i (s, t, m, n) ∈ ℘+(Ω2), i = 1, 2,..., l 1, d i (s, t, m, n), e i (s, t, m, n) ∈ ℘+(Ω2), i = 1, 2,..., l 2 with b i , c i , d i , e i nonincreasing in the last two variables. q i , r i are nonnegative constants with p ≥ q i , p ≥ r i , i = 1, 2,..., l 1, while h i , j i are nonnegative constants with p ≥ h i , p ≥ j i , i = 1, 2,..., l 2. If for (m, n) ∈ Ω, u(m, n) satisfies the following inequality
then
provided that , where
Proof. Denote the right side of (28) be . Then, we have
Obviously F(m, n) is nonincreasing in the first variable. So, by Lemma 2.1, we obtain
where . Define F (m, n) = a(m, n) + v(m, n). Then
Furthermore, by (38) and Lemma 2.4, we have
where and , , , , are defined in (30)-(32), respectively. Then, using is nonincreasing in every variable, we obtain
where B(s, t, m, n) is defined in (36). Using B(s, t, m, n) is nonincreasing in the last two variables, by a suitable application of Corollary 2.3, we obtain
where is defined in (35). Furthermore, considering the definition of and (40), we have
where is defined in (34). Then, according to , we have
From (40) and (41), we deduce
Then, combining (38) and (42), we obtain the desired result.
Remark 2. As one can see, the established results above mainly deal with Volterra-Fredholm type discrete inequalities with four iterated sums and infinite sum upper limit, and they are different from the results presented in [3]. Furthermore, without considering the slight difference in infinite sum upper limit, Theorem 2.6 is generalization of [[3], Theorem 2.5]. If we take w(m, n) ≡ 0, b i (s, t, m, n) = b i (s, t), c i (ξ, η, m, n) = 0, i = 1, 2,..., l 1, d i (s, t, m, n) = d i (s, t), e i (ξ, η, m, n) ≡ 0, i = 1, 2,..., l 2, then Theorem 2.6 reduces to [[3], Theorem 2.5].
3 Analysis of the properties of the solutions of Eq. (1)
In this section, we will present some results on the boundedness, uniqueness, and continuous dependence on initial data of the solutions of the Volterra-Fredholm type difference equation shown in (1).
Theorem 3.1. In Eq. (1), suppose g 1(m, n) ≡ 0, |F 1i (s, t, m, n, z)| ≤ b i (s, t, m, n)φ(|z|), |F 2i (s, t, m, n, z)| ≤ c i (s, t, m, n)φ(|z|), i = 1, 2,..., l 1, |G 1i (s, t, m, n, z)| ≤ d i (s, t, m, n)|z| p , |G 2i (s, t, m, n, z)| ≤ e i (s, t, m, n)|z| p , i = 1, 2,..., l 2, where b i , c i , d i , e i , φ are defined as in Theorem 2.5, then we have the following estimate
provided that 0 < μ < 1, where G, J are defined as in Theorem 2.5, and
Proof. Considering g 1(m, n) ≡ 0, from (1) we deduce
Then, a suitable application of Theorem 2.5 yields the desired result.
Theorem 3.2. Suppose , , i = 1, 2,..., l 1, , , i = 1, 2,..., l 2, where b i , c i , d i , e i , q i , r i , h i , j i are defined as in Theorem 2.6, then we have the following estimate
provided that , where
Proof. From (1), we deduce
Then, a suitable application of Theorem 2.6 yields the desired result.
The following theorem deals with the uniqueness of the solutions of Eq. (1).
Theorem 3.3. Suppose, |F 1i (s, t, m, n, u) - F 1i (s, t, m, n, v)| ≤ b i (s, t, m, n)|u p - v p |, |F 2i (s, t, m, n, u) - F 2i (s, t, m, n, v)| ≤ c i (s, t, m, n)|u p - v p |, i = 1, 2,..., l 1, |G 1i (s, t, m, n, u) - G 1i (s, t, m, n, v)| ≤ d i (s, t, m, n)|u p - v p |, |G 2i (s, t, m, n, u) - G 2i (s, t, m, n, v)| ≤ e i (s, t, m, n)|u p - v p |, i = 1, 2,..., l 2 hold for ∀u, v ∈ ℝ, where b i , c i , d i , e i are defined as in Theorem 2.6, and , where
then Eq. (1) has at most one solution.
Proof. Suppose, z 1(m, n), z 2(m, n) are two solutions of Eq. (1). Then
Treat as one variable, and a suitable application of Theorem 2.6 yields , which implies . Since p is an odd number, then we have z 1(m, n) ≡ z 2(m, n), and the proof is complete.
Finally, we study the continuous dependence of the solutions of Eq. (1) on the functions g 1, F 1i , F 2i , G 1i , G 2i .
Theorem 3:4. Suppose, g 2(m, n) ≡ 0, z(m, n) is a solution of Eq. (1), |F 1i (s, t, m, n, u) - F 1i (s, t, m, n, v)| ≤ b i (s, t, m, n)|u p - v p |, |F 2i (s, t, m, n, u) - F 2i (s, t, m, n, v)| ≤ c i (s, t, m, n)|u p - v p |, i = 1, 2,..., l 1, |G 1i (s, t, m, n, u) - G 1i (s, t, m, n, v)| ≤ d i (s, t, m, n)|u p - v p |, |G 2i (s, t, m, n, u) - G 2i (s, t, m, n, v)| ≤ e i (s, t, m, n)|u p - v p |, i = 1, 2,..., l 2 hold for ∀u, v ∈ ℝ, where b i , c i , d i , e i are defined as in Theorem 2.6, and furthermore, , where ε > 0 is a constant, and is the solution of the following difference equation
where , , , i = 1, 2,..., l 1 and , , i = 1, 2,..., l 2 , then we have
provided that , where
Proof. From (1) and (45), we deduce
Treat as one variable, and a suitable application of Theorem 2.6 (with w(m, n) ≡ 0, , , , , there) yields the desired result.
Remark 3. We note that the results in [5–17] are not available here to establish the analysis for Theorems 3.1-3.4.
Author's contributions
BZ finished the whole paper from the beginning to the end.
References
Pachpatte BG: On a Certain Retarded Integral Inequality And Its Applications. J Inequal Pure Appl Math 2004, 5: 9. Article 19
Ma QH: Some new nonlinear Volterra-Fredholm-type discrete inequalities and their applications. J Comupt Appl Math 2008, 216: 451-466. 10.1016/j.cam.2007.05.021
Ma QH: Estimates on some power nonlinear Volterra-Fredholm type discrete inequalities and their applications. J Comupt Appl Math 2010, 233: 2170-2180. 10.1016/j.cam.2009.10.002
Deng SF: Nonlinear discrete inequalities with two variables and their applications. Appl Math Comput 2010, 217: 2217-2225. 10.1016/j.amc.2010.07.022
Gronwall TH: Note on the derivatives with respect to a parameter of solutions of a system of differential equations. Ann Math 1919, 20: 292-296. 10.2307/1967124
Bellman R: The stability of solutions of linear differential equations. Duke Math J 1943, 10: 643-647. 10.1215/S0012-7094-43-01059-2
Ou-Iang L: The boundedness of solutions of linear differential equations y" + A ( t ) y' = 0. Shuxue Jinzhan 1957, 3: 409-418.
Pachpatte BG: On some new inequalities related to a certain inequality arising in the theory of differential equations. J Math Anal Appl 2000, 251: 736-751. 10.1006/jmaa.2000.7044
Cheung WS, Ma QH, Pečarić J: Some discrete nonlinear inequalities and applications to difference equations. Acta Math Sci 2008,28(B):417-430.
Cheung WS, Ren JL: Discrete nonlinear inequalities and applications to boundary value problems. J Math Anal Appl 2006, 319: 708-724. 10.1016/j.jmaa.2005.06.064
Ma QH, Cheung WS: Some new nonlinear difference inequalities and their applications. J Comupt Appl Math 2007, 202: 339-351. 10.1016/j.cam.2006.02.036
Pang PYH, Agarwal RP: On an integral inequality and discrete analogue. J Math Anal Appl 1995, 194: 569-577. 10.1006/jmaa.1995.1318
Pachpatte BG: On some fundamental integral inequalities and their discrete analogues. J Inequal Pure Appl Math 2001, 2: 13. Article 15
Meng FW, Li WN: On some new nonlinear discrete inequalities and their applications. J Comupt Appl Math 2003, 158: 407-417. 10.1016/S0377-0427(03)00475-8
Meng FW, Ji DH: On some new nonlinear discrete inequalities and their applications. J Comupt Appl Math 2007, 208: 425-433. 10.1016/j.cam.2006.10.024
Cheung WS, Ma QH: On certain new Gronwall-Ou-Iang type integral inequalities in two variables and their applications. J Inequal Appl 2005, 8: 347-361.
Jiang FC, Meng FW: Explicit bounds on some new nonlinear integral inequality with delay. J Comput Appl Math 2007, 205: 479-486. 10.1016/j.cam.2006.05.038
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Zheng, B. Qualitative and quantitative analysis for solutions to a class of Volterra-Fredholm type difference equation. Adv Differ Equ 2011, 30 (2011). https://doi.org/10.1186/1687-1847-2011-30
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2011-30