Applied Mathematics
Vol.09 No.03(2018), Article ID:83435,4 pages
10.4236/am.2018.93022

Exact Solution of a Linear Difference Equation in a Finite Number of Steps

Albert Iskhakov1, Sergey Skovpen2

1Department of Management, ‘VNIIEM Corporation’ JC, Moscow, Russia

2Department of Ship Electricity and Automatics, Northern (Arctic) Federal University, Severodvinsk, Russia

Copyright © 2018 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: February 20, 2018; Accepted: March 26, 2018; Published: March 29, 2018

ABSTRACT

An exact solution of a linear difference equation in a finite number of steps has been obtained. This refutes the conventional wisdom that a simple iterative method for solving a system of linear algebraic equations is approximate. The nilpotency of the iteration matrix is the necessary and sufficient condition for getting an exact solution. The examples of iterative equations providing an exact solution to the simplest algebraic system are presented.

Keywords:

Linear Difference Equation, Exact Iterative Solution of a System of Linear Algebraic Equations, Nilpotent Matrix

1. Introduction

To solve a system of linear algebraic equations (SLAE)

A x = b , (1)

where x and b are the unknown and known vectors of k size, respectively, A = [ a i j ] is a nonsingular matrix, i , j 1 , k ¯ , the entries of matrices and vectors are considered to be real, a simple iterative method reduces (1) to the form

x = C x + d (2)

with the matrix C and vector d. The indexed form of (2) is given by

x n + 1 = C x n + d , (3)

where n = 1 , 2 , 3 , . Equation (3) is called a linear difference equation (LDE) or an iterative equation.

The mathematical community considers that this method is approximate and it does not give an exact solution of (1) in a finite number of steps:

x = A 1 b = ( I C ) 1 d , (4)

where I is the identity matrix. This opinion is unreasonable and it is assumed as a postulate. In numerous literature on mathematics, for example in [1] [2] [3] [4] , there are particular statements given by mathematicians about the fact that a simple iterative method is approximate. The objective of the work is to disprove the established opinion.

2. The Inconsistency of the Postulate for a Homogeneous System

In control theory, the case d = 0 describes a linear discrete system with respect to deviation from a given state. The reduction of the matrix C to the Frobenius form containing a row of coefficients of the characteristic polynomial and the additive feedback in the form of a row vector with the opposite sign make a row of the matrix equal to zero wherein the matrix becomes nilpotent. We denote such a matrix by N and recall its properties

N k = 0 , σ ( N ) = 0 , (5)

where σ is the spectrum.

The resulting system goes into an equilibrium state and the derivation is eliminated in a finite number of steps. Such a process may be naturally called finite. This property distinguishes it from the process with a theoretically infinite number of steps in a stable system with the spectrum of the matrix inside the unit circle. This means that a simple iterative method for (1) with respect to the error

x n + 1 = C x n ,

with С = N, is exact.

3. The Inconsistency of the Postulate for a Non-Homogeneous System

We pose the question about the nature of the process generated by the non-homogeneous Equation (3)

x n + 1 = N x n + d , (6)

with the nilpotent matrix.

First, we single out such a process in solving the system (1) in which the matrix is reduced to the triangular form. This approach is used in a number of direct methods, for example, in the well-known Gauss elimination method. The triangular matrix is split into the identity matrix and strictly triangular matrix that is nilpotent. Therefore, the back substitution is a formally iterative process with a nilpotent matrix of a special form.

We write the solution of (6) as

x n = x n ( h ) + x n ( p ) , (7)

where x n ( h ) = N n x 0 is the common solution of the homogeneous equation, x0 is an initial vector, x n ( p ) = i = 0 n N i d is the particular solution of the non-homogeneous equation. The vector xn(h) becomes zero at the step n = k by virtue of (5). This proves the necessity of a nilpotent matrix for a finite process.

An unexpected fact is that this condition is also sufficient. Indeed, in the expression

x n ( p ) = ( I + N + N 2 + + N k 1 + 0 + ) d , (8)

the sum

( I + N + N 2 + + N k 1 ) = ( I N ) 1

defines the inverse matrix in (4), with C = N, and establishes finally

x n ( p ) = x = ( I N ) 1 d . (9)

This result indicates that an exact solution of the LDE (6) is obtained after performing the iteration with the number equal to the dimension, which completely refutes the postulate that a simple iterative method is approximate.

Next, we needed to answer the question: “Is it possible to transform (1) to (6) without zeroing the elements in advance?” An affirmative answer was received in 2001 for a system with k = 2. Let us show this transformation, for which we represent the system (1) in the form (2)

x 1 = a 11 x 1 + a 12 x 2 b 1 + x 1 + h 1 ( x 1 x 1 ) + h 2 ( x 2 x 2 ) , x 2 = a 21 x 1 + a 22 x 2 b 2 + x 2 , (10)

where h1 and h2 are coefficients. We transfer the term h1x1 to the left hand-side, substitute x2 from the second equation, and divide both sides by a factor of x1. As a result, (10) takes the form (3):

x 1 = c 11 x 1 + c 12 x 2 d 1 , x 2 = c 21 x 1 + c 22 x 2 d 2 , (11)

where c 11 = ( a 11 + h 1 a 21 h 2 ) / ( 1 + h 1 ) , c 12 = ( a 12 a 22 h 2 ) / ( 1 + h 1 ) , d 1 = ( b 1 b 2 h 2 ) / ( 1 + h 1 ) , c 21 = a 21 , c 22 = a 22 + 1 , d 2 = b 1 .

The elements c11 and c12 contain the coefficients h1 and h2, by which the spectrum can be changed. To make a zero spectrum, the coefficients of the characteristic polynomial

λ 2 g 1 λ + g 2 = 0

must satisfy the conditions g1 = 0, g2 = 0, i.e.

c 11 + c 22 = 0 , c 11 c 22 c 12 c 21 = 0. (12)

Substituting the elements of the matrix C from (11) into (12) gives a linear system

( 2 + a 22 ) h 1 a 21 h 2 = 1 a 11 a 22 , ( 1 + a 22 ) h 1 a 21 h 2 = a 11 a 22 + a 12 a 21 a 11 . (13)

The solution (13) substituted into (11) gives a nilpotent matrix and the right-hand side

N 1 = [ q 2 q 2 2 a 21 a 21 q 2 ] , D 1 = [ b 2 ( a 11 + d ( 1 + q 2 ) a 21 ) b 1 c b 2 ] , (14)

where q 2 = a 22 + 1 , c = a 11 a 22 a 11 a 22 , with which the equation

x n + 1 = N 1 x n + D 1 , (15)

generates an exact answer (4) for an arbitrary x0 after the second iteration.

The same difference equation

x n + 1 = N 2 x n + D 2 , (16)

where N 2 = [ q 1 a 12 q 1 2 a 12 q 1 ] , D 2 = [ b 1 b 1 ( a 22 + d ( 1 + q 1 ) a 12 ) b 2 c ] , q 1 = a 11 + 1 ,

can be obtained from a system of the form (10) with the differences in the second row.

When x0 = 0, the first iteration of (6) yields d, hence the choice of x0 = d gives an exact answer after the first iteration of (15) and (16).

The generalization of the transformation to SLAE of an arbitrary size made it possible to create a theory of finite iterative processes with the derivation of linear difference equations, with different nilpotent matrices, that generate an exact solution after k iterations for any x0, and the choice of x0 = d reduces the number of iterations by one. The theory has been developed on the basis of a direct method for controlling the spectrum of a matrix [5] [6] .

Cite this paper

Iskhakov, A. and Skovpen, S. (2018) Exact Solution of a Linear Difference Equation in a Finite Number of Steps. Applied Mathematics, 9, 287-290. https://doi.org/10.4236/am.2018.93022

References

  1. 1. Strang, G. (1976) Linear Algebra and Its Applications. Academic Press, New York.

  2. 2. Rice, J.R. (1981) Matrix Computations and Mathematical Software. McGraw-Hill, Inc., New York.

  3. 3. Demmel, W.D. (1997) Applied Numerical Linear Algebra. Society for Industrial and Applied Mathematics, Philadelphia. https://doi.org/10.1137/1.9781611971446

  4. 4. Watkins, D.S. (2002) Fundamentals of Matrix Computations. 2nd Edition, John Wiley & Sons, Inc., New York. https://doi.org/10.1002/0471249718

  5. 5. Iskhakov, A., Pospelov, V. and Skovpen, S. (2012) Non-Frobenius Spectrum-Transformation Method. Applied Mathematics, 3, 1471-1479. https://doi.org/10.4236/am.2012.330206

  6. 6. Iskhakov, A. and Skovpen, S. (2015) A Direct Transformation of a Matrix Spectrum. Journal of Progressive Research in Mathematics, 5, 463-481. https://doi.org/10.4236/alamt.2015.53011