Abstract
We investigate a second-order discrete problem with two additional conditions which are described by a pair of linearly independent linear functionals. We have found the solution to this problem and presented a formula and the existence condition of Green's function if the general solution of a homogeneous equation is known. We have obtained the relation between two Green's functions of two nonhomogeneous problems. It allows us to find Green's function for the same equation but with different additional conditions. The obtained results are applied to problems with nonlocal boundary conditions.
Similar content being viewed by others
1. Introduction
The study of boundary-value problems for linear differential equations was initiated by many authors. The formulae of Green's functions for many problems with classical boundary conditions are presented in [1]. In this book, Green's functions are constructed for regular and singular boundary-value problems for ODEs, the Helmholtz equation, and linear nonstationary equations. The investigation of semilinear problems with Nonlocal Boundary Conditions (NBCs) and the existence of their positive solutions are well founded on the investigation of Green's function for linear problems with NBCs [2–7]. In [8], Green's function for a differential second-order problem with additional conditions, for example, NBCs, has been investigated.
In this paper, we consider a discrete difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ1_HTML.gif)
where . This equation is analogous to the linear differential equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ2_HTML.gif)
In order to estimate a solution of a boundary value problem for a difference equation, it is possible to use the representation of this solution by Green's function [9].
In [10], Bahvalov et al. established the analogy between the finite difference equations of one discrete variable and the ordinary differential equations. Also, they constructed a Green's function for a grid boundary-value problem in the simplest case (Dirichlet BVP).
The direct method for solving difference equations and an iterative method for solving the grid equations of a general form and their application to difference equations are considered in [11, 12]. Various variants of Thomas' algorithm (monotone, nonmonotone, cyclic, etc.) for one-dimensional three-pointwise equations are described. Also, modern economic direct methods for solving Poisson difference equations in a rectangle with boundary conditions of various types are stated.
Chung and Yau [13] study discrete Green's functions and their relationship with discrete Laplace equations. They discuss several methods for deriving Green's functions. Liu et al. [14] give an application of the estimate to discrete Green's function with a high accuracy analysis of the three-dimensional block finite element approximation.
In this paper, expressions of Green's functions for (1.1) have been obtained using the method of variation of parameters [12]. The advantage of this method is that it is possible to construct the Green's function for a nonhomogeneous equation (1.1) with the variable coefficients ,
,
and various additional conditions (e.g., NBCs). The main result of this paper is formulated in Theorem 4.1, Lemma 5.3, and Theorem 5.4. Theorem 4.1 can be used to get the solution of an equation with a difference operator with any two linearly independent additional conditions if the general solution of a homogeneous equation is known. Theorem 5.4 gives an expression for Green's function and allows us to find Green's function for an equation with two additional conditions if we know Green's function for the same equation but with different additional conditions. Lemma 5.3 is a partial case of this theorem if we know the special Green's function for the problem with discrete (initial) conditions. We apply these results to BVPs with NBCs: first, we construct the Green's function for classical BCs, then we can construct Green's function for a problem with NBCs directly (Lemma 5.3) or via Green's function for a classical problem (Theorem 5.4). Conditions for the existence of Green's function were found. The results of this paper can be used for the investigation of quasilinear problems, conditions for positiveness of Green's functions, and solutions with various BCs, for example, NBCs.
The structure of the paper is as follows. In Section 2, we review the properties of functional determinants and linear functionals. We construct a special basis of the solutions in Section 3 and introduce some functions that are independent of this basis. The expression of the solution to the second-order linear difference equation with two additional conditions is obtained in Section 4. In Section 5, discrete Green's function definitions of this problem are considered. Then a Green's function is constructed for the second-order linear difference equation. Applications to problems with NBCs are presented in Section 6.
2. Notation
We begin this section with simple properties of determinants. Let or
and
.
For all ,
, the equality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ3_HTML.gif)
is valid. The proof follows from the Laplace expansion theorem [8].
Let ,
.
be a linear space of real (complex) functions. Note that
and functions
,
, such that
for
(
is a Kronecker symbol:
if
, and
if
), form a basis of this linear space. So, for all
, there exists a unique choice of
, such that
. If we have the vector-function
, then we consider the matrix function
and its functional determinant
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ4_HTML.gif)
The Wronskian determinant in the theory of difference equations is denoted as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ5_HTML.gif)
Let (if )
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ6_HTML.gif)
We define ,
. Note that
,
for
.
If , where
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ7_HTML.gif)
If and
, then we get
. So, the function
is invariant with respect to the basis
and we write
.
Lemma 2.1.
If , then the equality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ8_HTML.gif)
is valid.
Proof.
If we take ,
,
,
,
, in (2.1), then we get equality (2.6).
Corollary 2.2.
If , then the equality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ9_HTML.gif)
,
is valid.
We consider the space of linear functionals in the space
, and we use the notation
,
for the functional
value of the function
. Functionals
,
form a dual basis for basis
. Thus,
. If
,
, where
and
, then we can define the linear functional (direct product)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ10_HTML.gif)
We define the matrix
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ11_HTML.gif)
for ,
, and the determinant
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ12_HTML.gif)
For example,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ13_HTML.gif)
Let the functions be linearly independent.
Lemma 2.3.
Functionals ,
are linearly independent on
if and only if
.
Proof.
We can investigate the case where . The functionals
,
are linearly independent if the equality
is valid only for
. We can rewrite this equality as
for all
. A system of functions
is the basis of the
, and the above-mentioned equality is equivalent to the condition below
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ14_HTML.gif)
Thus, the functionals ,
are linearly independent if and only if the vectors
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ15_HTML.gif)
are linearly independent. But these vectors are linearly independent if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ16_HTML.gif)
If ,
, where
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ17_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ18_HTML.gif)
3. Special Basis in a Two-Dimensional Space of Solutions
Let us consider a homogeneous linear difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ19_HTML.gif)
where . Let
a be two-dimensional linear space of solutions, and let
be a fixed basis of this linear space. We investigate additional equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ20_HTML.gif)
where are linearly independent linear functionals, and we use the notation
. We introduce new functions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ21_HTML.gif)
For these functions ,
, that is,
for
. So, the function
satisfies equation
, and the function
satisfies equation
. Components of the functions
and
in the basis
are
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ22_HTML.gif)
respectively. It follows that the functions ,
are linearly independent if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ23_HTML.gif)
But this determinant is zero if and only if . We combine Lemma 2.3 and these results in the following lemma.
Lemma 3.1.
Let be the basis of the linear space
. Then the following propositions are equivalent:
(1)the functionals ,
are linearly independent;
(2)the functions ,
are linearly independent;
(3).
If we take ,
,
,
, in formula (2.1), then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ24_HTML.gif)
The left-hand side of this equality is equal to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ25_HTML.gif)
Finally, we have (see (3.3))
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ26_HTML.gif)
Similarly we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ27_HTML.gif)
Lemma 3.2.
Let be a fundamental system of homogeneous equation (3.1). Then equality (3.9) is valid, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ28_HTML.gif)
Propositions in Lemma 3.1 are equivalent to the condition .
Corollary 3.3.
If functionals ,
are linearly independent, that is,
, and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ29_HTML.gif)
that is, , then the two bases
and
are biorthogonal:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ30_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ31_HTML.gif)
Remark 3.4.
Propositions in Lemma 3.1 are valid if we take instead of
.
Remark 3.5.
If is another fundamental system and
, where
, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ32_HTML.gif)
(see (2.15)). So, the definition of is invariant with respect to the basis
:
,
.
4. Discrete Difference Equation with Two Additional Conditions
Let be the solutions of a homogeneous equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ33_HTML.gif)
Then is the solution of (4.1), that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ34_HTML.gif)
For , this equality shows that
, and we arrive at the conclusion that
(the case where
are linearly dependent solutions) or
for all
(the case of the fundamental system).
In this section, we consider a nonhomogeneous difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ35_HTML.gif)
with two additional conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ36_HTML.gif)
where ,
are linearly independent functionals.
4.1. The Solution to a Nonhomogeneous Problem with Additional Homogeneous Conditions
A general solution of (4.1) is , where
,
are arbitrary constants and
is the fundamental system of this homogeneous equation. We replace the constants
,
by the functions
(Method of Variation of Parameters [12]), respectively. Then, by substituting
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ37_HTML.gif)
into (4.3) and denoting ,
,
[12], we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ38_HTML.gif)
The functions and
are solutions of the homogeneous equation (4.1). Consequently,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ39_HTML.gif)
Denote ,
. We derive (
)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ40_HTML.gif)
Then we rewrite equality (4.7) as ( by definition)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ41_HTML.gif)
We can take ,
. Then
for all
, and we obtain the following systems:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ42_HTML.gif)
Since ,
are linearly independent, the determinant
is not equal to zero and system (4.10) has a unique solution
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ43_HTML.gif)
Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ44_HTML.gif)
and the formula for solution of nonhomogeneous equation (with the conditions ) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ45_HTML.gif)
for . We introduce a function
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ46_HTML.gif)
Then we rewrite (4.13) and the conditions ,
as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ47_HTML.gif)
where ,
. So, we derive a formula for the general solution
. We use this formula for the special basis
(see (3.11)). In this case, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ48_HTML.gif)
Let there be homogeneous conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ49_HTML.gif)
So, by substituting general solution (4.16) into homogeneous additional conditions, we find (see (3.12))
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ50_HTML.gif)
Next we obtain a formula for solution in the case of difference equation with two additional homogeneous conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ51_HTML.gif)
where ,
,
,
,
,
.
4.2. A Homogeneous Equation with Additional Conditions
Let us consider the homogeneous equation (4.1) with the additional conditions (4.4)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ52_HTML.gif)
We can find the solution
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ53_HTML.gif)
to this problem if the general solution is inserted into the additional conditions.
The solution of nonhomogeneous problems is of the form (see (4.19) and (4.21)). Thus, we get a simple formula for solving problem (4.3)-(4.4).
Theorem 4.1.
The solution of problem (4.3)-(4.4) can be expressed by the formula
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ54_HTML.gif)
Formula (4.22) can be effectively employed to get the solutions to the linear difference equation, with various ,
,
, any right-hand side function
, and any functionals
,
and any
,
, provided that the general solution of the homogeneous equation is known. In this paper, we also use (4.22) to get formulae for Green's function.
4.3. Relation between Two Solutions
Next, let us consider two problems with the same nonhomogeneous difference equation with a difference operator as in the previous subsection
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ55_HTML.gif)
and . The difference
satisfies the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ56_HTML.gif)
Thus, it follows from formula (4.21) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ57_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ58_HTML.gif)
and we can express the solution of the second problem (4.23) via the solution of the first problem.
Corollary 4.2.
The relation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ59_HTML.gif)
between the two solutions of problems (4.23) is valid.
Proof.
If we expand the determinant in (4.27) according to the last row, then we get formula (4.26).
Remark 4.3.
The determinant in formula (4.27) is equal to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ60_HTML.gif)
In this way, we can rewrite (4.27) as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ61_HTML.gif)
Note that in this formula the function is in the first term only and
is invariant with regard to the basis
.
5. Green's Functions
5.1. Definitions of Discrete Green's Functions
We propose a definition of Green's function (see [9, 12]). In this section, we suppose that and
. Let
be a linear operator,
. Consider an operator equation
, where
is unknown and
is given. This operator equation, in a discrete case, is equivalent to the system of linear equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ62_HTML.gif)
that is, , where
,
,
,
. We have
. In the case
, we must add additional conditions if we want to get a unique solution. Let us add
homogeneous linear equations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ63_HTML.gif)
where ,
, and denote
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ64_HTML.gif)
We have a system of linear equations , where
,
. The necessary condition for a unique solution is
. Additional equations (5.2) define the linear operator
and the additional operator equation
, and we have the following problem:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ65_HTML.gif)
If solution of (5.4) allows the following representation:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ66_HTML.gif)
then is called Green's function of operator
with the additional condition
. Green's function exists if
. This condition is equivalent to
for
. In this case, we can easily get an expression for Green's function in representation (5.5) from the Kramer formula or from the formula for
. If
, then
for
,
and
,
, where
(or
,
,
,
,
. So,
is a unique solution of problem (5.4) with
,
.
Example 5.1.
In the case , formula (5.5) can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ67_HTML.gif)
The function is an example of Green's function for (4.3) with discrete (initial) conditions
. In the case
, formula (5.6) is the same as (4.15),
.
Remark 5.2.
Let us consider the case . If
, where the function
is defined on
, then we use the shifted Green's function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ68_HTML.gif)
For finite-difference schemes, discrete functions are defined in points and
. In this paper, we introduce meshes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ69_HTML.gif)
with the step sizes ,
,
, and a semi-integer mesh
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ70_HTML.gif)
with the step sizes ,
. We define the inner product
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ71_HTML.gif)
where , and the following mesh operators:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ72_HTML.gif)
If and
, where
, then we define the Green's function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ73_HTML.gif)
For many applications another discrete Green's function is used [9, 11]
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ74_HTML.gif)
where for
. The relations between these functions are
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ75_HTML.gif)
So, if we know the function , then we can calculate
, and vice versa. If
(
), then
coincides with
.
Note that the Wronskian determinant can be defined by the following formula (see [10]):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ76_HTML.gif)
5.2. Green's Functions for a Linear Difference Equation with Additional Conditions
Let us consider the nonhomogeneous equation (4.3) with the operator: , where additional homogeneous conditions define the subspace
.
Lemma 5.3.
Green's function for problem (4.3) with the homogeneous additional conditions ,
, where functionals
and
are linearly independent, is equal to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ77_HTML.gif)
Proof.
In the previous section, we derived a formula of the solution (see Theorem 4.1 for )
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ78_HTML.gif)
where ,
. So, Green's function is equal to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ79_HTML.gif)
We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ80_HTML.gif)
too. If we expand this determinant according to the last row and divide by , then we get the right-hand side of (5.18). The lemma is proved.
If , where
, then we get that Green's function
, that is, it is invariant with respect to the basis
.
For the theoretical investigation of problems with NBCs, the next result about the relations between Green's functions and
of two nonhomogeneous problems
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ81_HTML.gif)
with the same , is useful.
Theorem 5.4.
If Green's function exists and the functionals
and
are linearly independent, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ82_HTML.gif)
Proof.
We have equality (4.26) (the case )
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ83_HTML.gif)
If , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ84_HTML.gif)
So, Green's function is equal to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ85_HTML.gif)
A further proof of this theorem repeats the proof of Lemma 5.3 (we have instead of
).
Remark 5.5.
Instead of formula (5.18), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ86_HTML.gif)
We can write the determinant in formula (5.21) in the explicit way
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ87_HTML.gif)
Formulaes (5.25) and (5.26) easily allow us to find Green's function for an equation with two additional conditions if we know Green's function for the same equation, but with other additional conditions. The formula
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ88_HTML.gif)
can be used to get the solutions of the equations with a difference operator with any two linear additional (initial or boundary or nonlocal boundary) conditions if the general solution of a homogeneous equation is known.
6. Applications to Problems with NBC
Let us investigate Green's function for the problem with nonlocal boundary conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ89_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ90_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ91_HTML.gif)
We can write many problems with nonlocal boundary conditions (NBC) in this form, where ,
, is a classical part and
,
, is a nonlocal part of boundary conditions.
If , then problem (6.1)–(6.3) becomes classical. Suppose that there exists Green's function
for the classical case. Then Green's function exists for problem (6.1)–(6.3) if
. For
,
, we derive
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ92_HTML.gif)
Since ,
, we can rewrite formula (5.26) as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ93_HTML.gif)
Example 6.1.
Let us consider the differential equation with two nonlocal boundary conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ94_HTML.gif)
We introduce a mesh (see (5.8)). Denote
,
for
. Then problem (6.6) can be approximated by a finite-difference problem (scheme)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ95_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ96_HTML.gif)
We suppose that the points ,
are coincident with the grid points, that is,
,
.
We rewrite (6.7) in the following form:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ97_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ98_HTML.gif)
We can take the following fundamental system: ,
. Then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ99_HTML.gif)
As a result, we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ100_HTML.gif)
For a problem with the boundary conditions we have
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ101_HTML.gif)
and we express Green's function of the Dirichlet problem via Green's function
of the initial problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ102_HTML.gif)
We derive expressions for "classical" Green's function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ103_HTML.gif)
or (see (5.7) and (5.13))
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ104_HTML.gif)
Remark 6.2.
Note that the index of on the right-hand side of (6.9) is shifted (cf. (6.1)).
Green's function is the same as in [10], and it is equal to Green's function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ105_HTML.gif)
for differential problem (6.6) at grid points in the case .
For a "nonlocal" problem with the boundary conditions ,
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ106_HTML.gif)
It follows from (6.5) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ107_HTML.gif)
if . Green's function does not exist for
. By substituting Green's function
for the problem with the classical boundary conditions into the above equation, we obtain Green's function for the problem with nonlocal boundary conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ108_HTML.gif)
This formula corresponds to the formula of Green's function for differential problem (6.6) (see [4])
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ109_HTML.gif)
Example 6.3.
Let us consider the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ110_HTML.gif)
where .
Problem (6.22) can be approximated by the difference problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ111_HTML.gif)
where are approximations of the weight functions
in integral boundary conditions,
is a quadrature formula for the integral
approximation (e.g., trapezoidal formula
).
The expression of Green's function for the problem with the classical boundary conditions (,
,
) is described in Example 6.1. The existence condition of Green's function for problem (6.23) is
, where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ112_HTML.gif)
(such a condition was obtained for problem (6.23) in [15, 16]) and Green's function is equal to (see Theorem 5.4)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ113_HTML.gif)
where is defined by (6.15).
Green's function for differential problem (6.22) was derived in [8]. For this problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ114_HTML.gif)
if , where
is defined by formula (6.17).
Remark 6.4.
We could substitute (6.15) into (6.25) and obtain an explicit expression of Green's function. However, it would be quite complicated, and we will not write it out. Note that, if ,
, then discrete problem (6.23) is the same as (6.7)-(6.8). For example, it happens if a trapezoidal formula is used for the approximation
,
and we take
. It is easy to see that we could obtain the same expression for Green's function (6.19) in this case.
Example 6.5.
Let us consider a difference problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ115_HTML.gif)
A condition for the existence of the Green's function (fundamental system ) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ116_HTML.gif)
We consider three types (,
;
,
;
,
,
,
) of discrete boundary conditions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2011%2F767024/MediaObjects/13661_2010_Article_58_Equ117_HTML.gif)
All the cases yield . Consequently, Green's function for the three problems does not exist.
7. Conclusions
Green's function for problems with additional conditions is related with Green's function of a similar problem, and this relation is expressed by formulae (5.26). Green's function exists if . If we know Green's function for the problem with additional conditions and the fundamental basis of a homogeneous difference equation, then we can obtain Green's function for a problem with the same equation but with other additional conditions. It is shown by a few examples for problems with NBCs that but formulae (5.26) can be applied to a very wide class of problems with various boundary conditions as well as additional conditions.
All the results of this paper can be easily generalized to the -order difference equation with
additional functional conditions. The obtained results are similar to a differential case [8, 17].
References
Duffy DG: Green's Functions with Applications, Studies in Advanced Mathematics. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2001:xii+443.
Infante G: Positive solutions of nonlocal boundary value problems with singularities. Discrete and Continuous Dynamical Systems. Series A 2009, 377–384.
Ma Q: Existence of positive solutions for the symmetry three-point boundary-value problem. Electronic Journal of Differential Equations 2007, 2007(154):1–8.
Roman S, Štikonas A: Green's functions for stationary problems with nonlocal boundary conditions. Lithuanian Mathematical Journal 2009, 49(2):190–202. 10.1007/s10986-009-9041-0
Roman S, Štikonas A: Green's functions for stationary problems with four-point nonlocal boundary conditions. In Differential Equations and Their Applications (DETA '09). Edited by: Kleiza V, Rutkauskas S, Štikonas A. Kaunas University of Technology; 2009:123–130.
Sun J-P, Wei J: Existence of positive solution for semipositone second-order three-point boundary-value problem. Electronic Journal of Differential Equations 2008, 2008(41):1–7.
Zhao Z: Positive solutions for singular three-point boundary-value problems. Electronic Journal of Differential Equations 2007, 2007(156):1–8.
Štikonas A, Roman S: Stationary problems with two additional conditions and formulae for Green's functions. Numerical Functional Analysis and Optimization 2009, 30(9–10):1125–1144. 10.1080/01630560903420932
Samarskii AA: The Theory of Difference Schemes, Monographs and Textbooks in Pure and Applied Mathematics. Volume 240. Marcel Dekker, New York, NY, USA; 2001:xviii+761.
Bahvalov NS, Zhidkov HP, Kobel'kov GM: Chislennye Metody. Laboratorija Bazovyh Znanij; 2003.
Samarskij AA, Gulin AV: Chislennye Metody. Nauka, Moskva, Russia; 1989.
Samarskij AA, Nikolaev ES: Metody Reshenija Setochnyh Uravnenij. Nauka, Moskva, Russia; 1978.
Chung F, Yau S-T: Discrete Green's functions. Journal of Combinatorial Theory. Series A 2000, 91(1–2):191–214. 10.1006/jcta.2000.3094
Liu J, Jia B, Zhu Q: An estimate for the three-dimensional discrete Green's function and applications. Journal of Mathematical Analysis and Applications 2010, 370(2):350–363. 10.1016/j.jmaa.2010.05.002
Čiegis R, Štikonas A, Štikonien\.e O, Suboč O: Stationary problems with nonlocal boundary conditions. Mathematical Modelling and Analysis 2001, 6(2):178–191.
Čiegis R, Štikonas A, Štikoniene O, Suboč O: A monotonic finite-difference scheme for a parabolic problem with nonlocal conditions. Differential Equations 2002, 38(7):1027–1037. 10.1023/A:1021167932414
Roman S, Štikonas A: Third-order linear differential equation with three additional conditions and formula for Green's function. Lithuanian Mathematical Journal 2010, 50(4):426–446. 10.1007/s10986-010-9097-x
Author information
Authors and Affiliations
Corresponding author
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
Roman, S., Štikonas, A. Green's Function for Discrete Second-Order Problems with Nonlocal Boundary Conditions. Bound Value Probl 2011, 767024 (2011). https://doi.org/10.1155/2011/767024
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/767024