Mathematical apparatus in the theory of difference schemes 1014) The second Green formula. In the integral calculus the fol-
lowing formula1 1
Ju (kv^1 )1 dx - J v (ku^1 )1 dx = k (uv^1 - vu^1 )/6
0 0is known as the second Green formula. Inserting u = y and v = azx in (3)
yields(9)Substracting (9) from (8) we derive the difference analog of the second
Green for1nulaIn just the same way as was done on a non-equidistant grid, we find thatIf y and z vanish at the points x = 0 and x = 1, the appropriate terms
in the expressions being substituted into (3) are equal to zero, thereby
reducing to( 101 )( 111 )(Ay, z) = (y, Az),(Ay,z). = (y,Az).,
Ay = (ayiJ.?;,
Ay = ( ayiJx.These formulae confirm that the operator A is self-adjoint.
5) The Cauchy-Bunyakovski?: inequality and the €-inequality.
In the sequel we shall need the well-known Cauchy-Bunyakovsldi'. inequalityl(u, v)/ < II u II. II v 11,
where (, ) is the inner product in a vector space and II u II = ~ is
the associated norm. To be more specific, ( , ) designates one of the inner
products we have introduced above.
In what follows we will frequently employ the inequality