A. E L G U E N N O U N I (Lille)
A UNIFIED APPROACH TO SOME STRATEGIES FOR THE TREATMENT OF BREAKDOWN
IN LANCZOS-TYPE ALGORITHMS
Abstract. The Lanczos method for solving systems of linear equations is implemented by using some recurrence relationships between polynomials of a family of formal orthogonal polynomials or between those of two adjacent families of formal orthogonal polynomials. A division by zero can occur in these relations, thus producing a breakdown in the algorithm which has to be stopped. In this paper, three strategies to avoid this drawback are discussed: the MRZ and its variants, the normalized and unnormalized BIORES algorithm and the composite step biconjugate algorithm. We prove that all these algorithms can be derived from a unified framework; in fact, we give a formalism for finding all the recurrence relationships used in these algorithms, which shows that the three strategies use the same techniques.
1. Introduction. Let c be the linear functional on the space of complex polynomials defined by c(ζ
i) = c
ifor i = 0, 1, . . . , where the c
i’s are given complex numbers. The family of formal orthogonal polynomials {P
k} with respect to c is defined by
(1) c(ζ
iP
k(ζ)) = 0 for i = 0, . . . , k − 1.
These polynomials are given by the determinant formula
P
k(ζ) =
1 ζ . . . ζ
kc
0c
1. . . c
k. . . . . . . . . . . . c
k−1c
k. . . c
2k−1d
k,
1991 Mathematics Subject Classification: 65F10, 65F25.
Key words and phrases: Lanczos method, orthogonal polynomials, deficient polyno- mials.
[477]
where d
kis an arbitrary constant, which is determined by a normalization condition. In the sequel, P
kdenotes the formal orthogonal polynomial nor- malized by the condition P
k(0) = 1, and P
k(0)is the monic formal orthogonal polynomial with respect to c.
Remark 1. P
kexists if and only if H
k(1)=
c
1. . . c
k. . . . . . . . . c
k. . . c
2k6= 0,
moreover, it is of degree k if and only if H
k(0)=
c
0. . . c
k−1. . . . . . . . . c
k−1. . . c
2k−26= 0.
Now consider the monic polynomials P
k(1)defined by
P
k(1)(ζ) =
c
1c
2. . . c
k+1. . . . . . . . . . . . c
kc
k+1. . . c
2k1 ζ . . . ζ
kc
1. . . c
k. . . . . . . . . c
k. . . c
2k−1.
P
kand P
k(1)exist under the same condition H
k(1)6= 0 (see [4]). Moreover, P
k(1)satisfies
(2) c(ζ
i+1P
k(1)) = 0, i = 0, 1, . . . , k − 1.
If we define the linear functional c
(1)by
c
(1)(ζ
i) = c(ζ
i+1) = c
i+1, i = 0, 1, . . . , then the conditions (2) become
c
(1)(ζ
iP
k(1)) = 0 for i = 0, . . . , k − 1,
which shows that the polynomials P
k(1)form a family of formal orthogo- nal polynomials with respect to c
(1). {P
k} and {P
k(1)} are called adjacent families of formal orthogonal polynomials.
It is well known that, when using reccurence relationships between formal
orthogonal polynomials (belonging to one family or two adjacent ones), a
division by zero can occur in the coefficients of the relation used. Such a
division by zero is called a breakdown.
2. Lanczos-type algorithms. We consider a system of p linear equa- tions in p unknowns
(3) Ax = b,
where A ∈ C
p×p, b ∈ C
pand x ∈ C
p.
Let x
0be an initial guess, y a non-zero arbitrary vector, and let (x
k) be the sequence of vectors defined by
(4) x
k− x
0∈ K
k(A, r
0),
and
(5) r
k= b − Ax
k⊥ K
k(A
∗, y),
where K
k(A, r) = span(r, Ar, . . . , A
k−1r), and A
∗denotes the conjugate transpose of A.
From (4), x
k− x
0can be written as
x
k− x
0= −α
1r
0− . . . − α
kA
k−1r
0, and thus we have
r
k= r
0+ α
1Ar
0+ . . . + α
kA
kr
0= P
k(A)r
0, where
P
k(ζ) = 1 + α
1ζ + . . . + α
kζ
k. The orthogonality condition (5) can be written as
(y, A
ir
k) = 0 for i = 0, . . . , k − 1.
If we set
c(ζ
i) = c
i= (y, A
ir
0) for i = 0, 1, . . . , we have
c(ζ
iP
k(ζ)) = 0 for i = 0, . . . k − 1.
These conditions show that P
kis a polynomial of degree at most k belonging to the family of formal orthogonal polynomials with respect to the linear functional c, normalized by the condition P
k(0) = 1.
A Lanczos-type method [11, 12] consists in computing P
krecursively, then r
kand finally x
ksuch that r
k= b − Ax
k. Such a method gives the exact solution of the system (3) in at most p iterations; for more details, see [4].
If one of the scalar products appearing in the denominators of the co- efficients of the recurrence relations is zero, then a breakdown occurs in the algorithm. This is due to the non-existence of some of the polynomials P
k(pivot or true breakdown) or to the impossibility of using this relation (Lanczos or ghost breakdown).
There are many strategies for avoiding a breakdown, for instance, the
MRZ and its variants proposed by Brezinski, Redivo Zaglia and Sadok [2]
where they jump over the singular polynomials (which does not exist), and they compute only the existing ones. Gutknecht [10] proposes another algo- rithm, called BIORES (normalized and unnormalized), where he introduces the deficient polynomials (they will be defined in Subsection 3.1) and makes use of a recurrence relation between them and the regular ones. Chan and Bank [5, 6] introduce a simple modification of the BCG algorithm [9], called the composite step bi-conjugate gradient algorithm (CSBCG), which elim- inates pivot breakdowns, under the assumption that a Lanczos breakdown does not occur, i.e. H
k(0)6= 0 for all k.
In this paper, a formalism for finding all the recurrence relationships used in these three algorithms is given. It consists in expressing a particular polynomial in a basis formed by the regular polynomials and the deficient ones. This is the subject of the next section.
We note that no new algorithm for solving the breakdown problem is given in this paper. The aim of this work is to give a unified approach to some known breakdown-free Lanczos-type algorithns. This new approach allows us to derive the non-generic BIORES algorithm of Gutknecht in a simpler way than in [10], and to obtain a polynomial interpretation of the composite step bi-conjugate gradient algorithm [5].
3. Choice of basis and recurrence formulas
3.1. Notations and definitions. We denote by 0 = n
0< n
1< . . . the indices for which the regular polynomials P
nkand P
n(1)kexist, m
kbeing the jump in the degrees between P
n(1)kand P
n(1)k+1, that is,
n
k+1= n
k+ m
k. For n
k< n < n
k+1, we introduce the polynomials (6) P
n(ζ) = ω
n−nk(ζ)P
nk(ζ),
called deficient in [10], where ω
n−nkis an arbitrary polynomial of exact degree n−n
k. It was proved by Draux [7] that m
kis defined by the conditions (7) c
(1)(ζ
iP
n(1)k) = 0 for i = 0, . . . , n
k+ m
k− 2,
and
(8) c
(1)(ζ
iP
n(1)k) 6= 0 for i = n
k+ m
k− 1.
If we denote by 0 = n
0< n
1< . . . the indices for which the monic regular polynomials P
n(0)k
with respect to the functional c exist, the conditions (7) and (8) become
(9) c(ζ
iP
n(0)k) = 0 for i = 0, . . . , n
k+ m
k− 2,
and
(10) c(ζ
iP
n(0)k
) 6= 0 for i = n
k+ m
k− 1, where m
kis the jump in the degrees between P
n(0)k
and P
n(0)k+1
and n
k+1= n
k+ m
k. The deficient polynomials corresponding to P
n(0)and P
n(1)are defined by formulas similar to (6).
3.2. Recurrence formulas. In the following, we will compute P
nk+1in terms of P
nkand P
n(1)k. First we suppose that the polynomial P
nkhas degree exactly n
k, which is equivalent to saying that the monic polynomial P
n(0)kexists. Thus n
kis equal to some index n
l. Consider the family
(11) {P
n(0)0
, ζP
n(0)0, . . . , ζ
n0−1P
n(0)0, . . . , P
n(0)l−1, ζP
n(0)l−1, . . . , ζ
nl−1−1P
n(0)l−1, P
nk, ζP
n(1)k, . . . , ζ
mkP
n(1)k}, where P
ni, P
n(0)iand P
n(1)iare the orthogonal polynomials defined previously.
The family (11) forms a basis of the vector space of polynomials of degree at most n
k+1. Thus the polynomial P
nk+1can be expressed as
P
nk+1= α
(0)n0
P
n(0)0
+ α
(0)n0
ζP
n(0)0+ . . . + α
(mn 0−1)0
ζ
n0−1P
n(0)0
+ . . . + α
(0)nl−1
P
nl−1+ α
(1)nl−1
ζP
n(1)l−1
+ . . . + α
(mn l−1−1)l−1
ζ
nl−1−1P
n(1)l−1
+ α
(0)nkP
nk+ α
(1)nkζP
n(1)k+ . . . + α
(mnkk)ζ
mkP
n(1)k. Using the orthogonality conditions
c(ζ
nj+iP
nk+1) = 0 for i = 0, . . . , m
j− 1 and j = 0, . . . , l − 1, we obtain
α
n(i)j= 0 for i = 0, . . . , m
j− 1 and j = 0, . . . , l − 1.
Finally, the condition P
nk+1(0) = 1 gives α
(0)nk= 1 and we obtain (12) P
nk+1(ζ) = P
nk(ζ) + ζω
k(ζ)P
n(1)k(ζ),
where
ω
k(ζ) = α
(1)nk+ . . . + α
(mnkk−1)ζ
mk−2+ α
(mnkk)ζ
mk−1.
Lemma 1. Even if the polynomial P
nkdoes not have exact degree n
k, the relationship (12) holds.
P r o o f. It is enough to remark that the coefficients of ω
kare chosen so that the polynomial
Q
nk(ζ) = P
nk+1(ζ) − ζω
k(ζ)P
n(1)k(ζ)
has degree at most n
k. Moreover, c(ζ
iQ
nk) = 0 for i = 0, . . . , n
k− 1, thus, since Q
nk(0) = 1, Q
nkis identical to P
nk.
The recurrence relationship (12) is the first relation used in the MRZ algorithm.
Now we consider the family (13) {P
n(1)0, ζP
n(1)0, . . . , ζ
m0−1P
n(1)0,
P
n(1)1, ζP
n(1)1, . . . , ζ
m1−1P
n(1)1, . . . P
n(1)k, ζP
n(1)k, . . . , ζ
mk−1P
n(1)k}.
For the same reasons as in the case (11), we can prove that (13) forms a basis of the vector space of polynomials of degree at most n
k+ m
k− 1 = n
k+1− 1.
Thus we can express the polynomial P
n(1)k+1− ζ
mkP
n(1)kof degree n
k+1− 1 as P
n(1)k+1− ζ
mkP
n(1)k= α
(0)n0P
n(1)0+ α
(1)n0ζP
n(1)0+ . . . + α
(mn00−1)ζ
m0−1P
n(1)0+ α
(0)n1P
n(1)1+ α
(1)n1ζP
n(1)1+ . . . + α
(mn11−1)ζ
m1−1P
n(1)1+ . . . + α
(0)nkP
n(1)k+ α
(1)nkζP
n(1)k+ . . . + α
(mnkk−1)ζ
mk−1P
n(1)k. So, we obtain
P
n(1)k+1= α
(0)n0P
n(1)0+ α
(1)n0ζP
n(1)0+ . . . + α
(mn00−1)ζ
m0−1P
n(1)0+ α
(0)n1P
n(1)1+ α
(1)n1ζP
n(1)1+ . . . + α
(mn11−1)ζ
m1−1P
n(1)1+ . . . + α
(0)nkP
n(1)k+ α
(1)nkζP
n(1)k+ . . . + α
(mnkk−1)ζ
mk−1P
n(1)k+ ζ
mkP
n(1)k. Using the conditions
c
(1)(ζ
nj+iP
n(1)k+1) = 0 for i = 0, . . . , m
j− 1 and j = 0, . . . , k − 2, we get
P
n(1)k+1= α
(0)nk−1P
n(1)k−1+α
(1)nk−1ζP
n(1)k−1+. . .+α
(mnk−1k−1−1)ζ
mk−1−1P
n(1)k−1+q
k(ζ)P
n(1)k, where q
kis a monic polynomial of degree m
k.
We also have
c
(1)(ζ
nk−1+iP
n(1)k+1) = 0 for i = 1, . . . , m
k−1− 2, and so
α
(i)nk−1= 0 for i = 1, . . . , m
k−1− 1.
Thus we recover the second recurrence relationship used in the MRZ algo- rithm:
(14) P
n(1)k+1(ζ) = α
(0)nk−1P
n(1)k−1(ζ) + q
k(ζ)P
n(1)k(ζ).
We will now see that we can also obtain the recurrence relationship used in the BMRZ (cf. [2]).
In fact, it is enough to choose the coefficient α
nk+1such that P
n(1)k+1−
α
nk+1P
nk+1has degree n
k+1− 1 (here we require that P
nk+1has degree
n
k+1). Expressing this polynomial in the basis (13), we can write P
n(1)k+1= α
(0)n0P
n(1)0+ α
(1)n0ζP
n(1)0+ . . . + α
(mn00−1)ζ
m0−1P
n(1)0+ α
(0)n1P
n(1)1+ α
(1)n1ζP
n(1)1+ . . . + α
(mn11−1)ζ
m1−1P
n(1)1+ . . .
+ α
(0)nkP
n(1)k+ α
(1)nkζP
n(1)k+ . . . + α
(mnkk−1)ζ
mk−1P
n(1)k+ α
nk+1P
nk+1. From the orthogonality conditions
c
(1)(ζ
nj+iP
n(1)k+1) = 0 for i = 0, . . . , m
j− 1 and j = 0, . . . , k − 1, we obtain
α
(0)nj= α
(1)nj= . . . = α
(mnjj−1)= 0 for j = 0, . . . , k − 1.
Using also the fact that
c
(1)(ζ
nk+iP
n(1)k+1) = 0 for i = 0, . . . , m
k− 2, we obtain
α
(mnkk−1−1)= . . . = α
(1)nk= 0, and finally
(15) P
n(1)k+1(ζ) = α
(0)nkP
n(1)k(ζ) + α
nk+1P
nk+1(ζ).
If we set r
nk= P
nk(A)r
0and z
nk= P
n(1)k(A)r
0where r
0= Ax
0− b (n
0= 0), then the recurrences (12) and (14) define the MRZ algorithm.
Similarly, the recurrences (12) and (15) define the BMRZ.
Since the polynomials {P
k} are normalized by the condition P
k(0) = 1, the approximations x
nkof the solution of the system (3) can be computed recursively. In fact,
r
nk+1= r
nk+ Aω
k(A)z
nk, so
x
nk+1= x
nk+ ω
k(A)z
nk.
In the MRZ, we express the polynomial P
n(1)k+1−ζ
mkP
n(1)kin the basis (13).
The polynomial P
n(1)k+1− α
nk+1P
nk+1can be expressed in the same basis, in order to obtain the BMRZ. However, the polynomial P
nk+1does not always have degree n
k+1, and, in this case, the BMRZ has to be stopped.
Obviously, the recurrence relationship used in the BMRZ needs less com- putation than that used in the MRZ. It seems that a combination of these two methods is the best for solving the breakdown problem. It consists of testing the degree of the polynomial P
nk+1: if it is exactly equal to n
k+1, then we use the recurrence relationship of the BMRZ. In the opposite case, we use the MRZ.
Now we study the non-generic BIORES algorithm [10] which is a break-
down-free version of the BIORES algorithm [4]. It is well known that this
last algorithm suffers from the ghost breakdown due to the fact that the
polynomials {P
nk} do not always have exact degree n
k. For curing this drawback we will use the monic formal orthogonal polynomials P
n(0)k, and we will show that we can find the recurrence relationships used in [10] by the same techniques as previously.
Consider the family (16) {P
n(0)0
, ζP
n(0)0, . . . , ζ
n0−1P
n(0)0, P
n(0)1
, ζP
n(0)1
, . . . , ζ
n1−1P
n(0)1
, . . . , P
n(0)k
, ζP
n(0)k
, . . . , ζ
nk−1P
n(0)k
}.
Obviously, the family (16) forms a basis of the vector space of polynomials of degree n
k+1− 1. Expressing the polynomial P
nk+1− ζ
nkP
nkin this basis, we obtain
P
n(0)k+1= α
(0)n0P
n(0)0+ α
(1)n0ζP
n(0)0+ . . . + α
(mn00−1)ζ
n0−1P
n(0)0+ . . .
+ α
(0)nkP
n(0)k+ α
(1)nkζP
n(0)k+ . . . + α
(mnkk−1)ζ
nk−1P
n(0)k+ ζ
nkP
n(0)k. Moreover, using the orthogonality conditions, we find
P
n(0)k+1(ζ) = α
(0)nk−1P
n(0)k−1(ζ) + q
k(ζ)P
n(0)k(ζ),
where q
kis a monic polynomial of degree m
k. This recurrence relationship is already given in [1], but it was not used to avoid a breakdown.
To obtain all the previous recurrence relationships, we considered the set of regular polynomials and we completed it by particular deficient poly- nomials which have the form ζ
iP
n(1)jand/or ζ
iP
n(0)j
. Now, using the general form of the deficient polynomials, we will find the recurrence relations used in [10].
Thus we consider the family (17) {P
n(0)0
, U
10P
n(0)0, . . . , U
n00−1P
n(0)0, P
n(0)1
, U
11P
n(0)1
, . . . , U
n11−1P
n(0)1
, . . . , P
n(0)k
, U
1kP
n(0)k
, . . . , U
nkk−1P
n(0)k
}, where the U
ij’s are arbitrary monic polynomials of degree j. Taking the polynomial P
n(0)k+1
(ζ) − ω
nk(ζ)P
n(0)k
(ζ), with ω
nkan arbitrary monic polyno- mial of degree m
k, and expressing it in the basis (17), we obtain
P
n(0)k+1= α
(0)n0P
n(0)0+ α
(1)n0U
10P
n(0)0+ . . . + α
(mn00−1)U
n00−1P
n(0)0+ . . . + α
(0)nk
P
n(0)k
+ α
(1)nk
U
1kP
n(0)k
+ . . . + α
(mn k−1)k
U
nkk−1P
n(0)k
+ ω
nkP
n(0)k
. The orthogonality conditions give
(18) P
n(0)k+1
(ζ) = (ω
nk(ζ) − a
k(ζ))P
n(0)k
(ζ) − α
nk−1P
n(0)k−1
(ζ),
where
a
k(ζ) = −
nk−1
X
j=1
α
(j)nkU
jk(ζ).
For n
k< n < n
k+1, we use the deficient polynomials P
n(0)(ζ) = ω
n−nk(ζ)P
n(0)k(ζ).
If the polynomials ω
msatisfy the three-term recurrence (19) ω
m+1(ζ) = (ζ − α
m)ω
m(ζ) − β
mω
m−1(ζ), then the deficient polynomials satisfy
(20) P
n+1(0)(ζ) = (ζ − α
n−nk)P
n(0)(ζ) − β
n−nkP
n−1(0)(ζ), n
k< n < n
k+1. We can express the polynomials a
kas
a
k(ζ) =
nk−1
X
i=0
α
kiω
i(ζ), and the recurrence (18) becomes
P
n(0)k+1(ζ) = (ζ − α
knk−1− α
nk−1)P
n(0)k+1−1(ζ) (21)
− (α
knk−2+ β
nk−1)P
n(0)k+1−2(ζ)
− α
kmk−3P
nk+1−3(ζ) − . . . − α
k0P
n(0)k(ζ) − α
kP
n(0)k−1(ζ).
We set r
n= P
n(0)(A)r
0Γ
nand e r
n= P
(0)n(A
∗)yΓ
n, where P
(0)nis the poly- nomial whose coefficients are complex conjugates of those of P
n(0), and Γ
n, Γ
nare scale factors. Using the recurences (20) and (21), we recover the non-generic BIORES algorithm of Gutknecht.
To find the approximations x
nof the solution of the problem (3), the scale factors Γ
nand Γ
nare replaced by the relative scale factors
γ
n,i= Γ
n/Γ
n−i, γ
n,i= Γ
n/Γ
n−i.
With a particular choice of γ
i,j, we can eliminate b from both sides of the recurrence satisfied by r
n= b − Ax
n, and thus the recurrence relationship between the approximations x
nis established. The corresponding algorithm is called the normalized BIORES. In the unnormalized BIORES algorithm, Gutknecht uses another technique: he introduces two sequences z
nand %
nrelated by r
n= b%
n− Az
n. The second sequence %
nis chosen to eliminate b from both sides of the recurrence satisfied by r
n. Thus the recurrence relationship between the z
nis established and the approximations x
nare given by x
n= z
n/%
n.
Now, we are interested in the BCG algorithm. It is well known that it
suffers from two kinds of breakdowns. The first one is due to the breakdown
of the underlying Lanczos process (Lanczos or ghost breakdown in [3]), and the second one is due to the fact that some iterates are not well defined by the Galerkin condition on the associated Krylov subspace (pivot or true breakdown in [3]). Under the condition that Lanczos breakdowns do not occur, i.e. H
k(0)6= 0 for all k, Chan and Bank [5, 6] propose the composite step bi-conjugate gradient algorithm (CSBCG) for eliminating the pivot breakdown. Under this condition, two consecutive Hankel determinants H
k(1)cannot be zero (see [8]), thus m
k≤ 2.
Recall that, under the condition H
k(0)6= 0, the monic orthogonal polyno- mial P
k(0)exists. Now, we assume that, at the kth step, a pivot breakdown occurs in the BCG algorithm. The polynomial P
k+1does not exist, and thus H
k(1)6= 0, H
k+1(1)= 0 and H
k+2(1)6= 0.
Remark 2. When H
k+1(1)= 0, the polynomials P
kand P
k+2have exact degree k and k + 2 respectively.
Obviously, the family
(22) {P
0(0), P
1(0), . . . , P
k−1(0), P
k, ζQ
k} where
Q
k= (−1)
kH
k(0)/H
k(1)P
k(1),
forms a basis of the vector space of polynomials of degree at most k + 1.
Expressing the polynomial P
k+2+ d
k+2ζP
k+1(0)of degree k + 1, where P
k+2(ζ) = −d
k+2ζ
k+2+ . . . ,
in the basis (22), we obtain
P
k+2= a
kP
k− b
kζQ
k− c
kζP
k+1(0), with
c
k= d
k+2.
Finally, using the condition P
k+2(0) = 1, we obtain (23) P
k+2= P
k− b
kζQ
k− c
kζP
k+1(0).
We can also express the polynomial P
k+1(0)in the basis (22), and we obtain (24) P
k+1(0)= σ
kP
k+ %
kζQ
k.
By construction of Q
k+2, the polynomial Q
k+2− P
k+2has degree k + 1, and we can write
Q
k+2− P
k+2= g
kζ
k+1+ . . .
If we consider the polynomial Q
k+2− P
k+2− g
kP
k+1(0), of degree k, we can
express it in the basis {Q
0, Q
1, . . . , Q
k}, and we easily obtain the recurrence
relationship
(25) Q
k+2= P
k+2+ e
kQ
k+ g
kP
k+1(0). Setting
r
k= P
k(A)r
0, r e
k= P
k(A
∗) e r
0, p
k= Q
k(A)r
0, p e
k= Q
k(A
∗) e r
0, z
k+1= P
k+1(0)(A)r
0, z e
k+1= P
(0)k+1(A
∗) e r
0, and using the recurrences (23)–(25), we recover the CSBCG algorithm.
From (23), the residuals r
ksatisfy the recurrence relation r
k+2= r
k− A[b
kp
k− c
kz
k+1],
thus the approximations x
kcan be computed recursively as x
k+2= x
k+ [b
kp
k− c
kz
k+1].
4. Conclusion. In the present work we discuss three strategies for treating the breakdown problem in the Lanczos-type algorithms. Theses strategies are derived, using simple arguments, from a unified framework.
References
[1] C. B r e z i n s k i and M. R e d i v o Z a g l i a, Breakdown in the computation of orthogo- nal polynomial , in: Nonlinear Numerical Methods and Rational Approximation, II , A. Cuyt (ed.), Kluwer, Dordrecht, 1994, 49–59.
[2] C. B r e z i n s k i, M. R e d i v o Z a g l i a and H. S a d o k, Avoiding breakdown and near- breakdown in Lanczos type algorithms, Numer. Algorithms 1 (1991), 261–284.
[3] —, —, —, Breakdown in the implementation of the Lanczos method for solving linear systems, Comput. Math. Appl. 33 (1997), 31–44.
[4] C. B r e z i n s k i and H. S a d o k, Lanczos-type algorithm for solving systems of linear equations, Appl. Numer. Math. 11 (1993), 443–473.
[5] T. F. C h a n and R. E. B a n k, A composite step bi-conjugate gradient algorithm for solving nonsymmetric systems, Numer. Algorithms 7 (1994), 1–16.
[6] —, An analysis of the composite step bi-conjugate gradient method , Numer. Math.
66 (1993), 295–319.
[7] A. D r a u x, Polynˆomes orthogonaux formels, Lecture Notes in Math. 974, Springer, Berlin, 1983.
[8] —, Formal orthogonal polynomials revisited. Applications, Numer. Algorithms 11 (1996), 143–158.
[9] R. F l e t c h e r, Conjugate gradient methods for indefinite systems, in: Numeri- cal Analysis (Dundee, 1975 ), G. A. Watson (ed.), Lecture Notes in Math. 506, Springer, Berlin, 1976, 73–89.
[10] M. H. G u t k n e c h t, A completed theory of the unsymmetric Lanczos process and related algorithms. I , SIAM J. Matrix Anal. 13 (1992), 594–639.
[11] C. L a n c z o s, An iteration method for the solution of the eigenvalue problem of linear differential and integral operators, J. Res. Nat. Bur. Standards 45 (1950), 255–282.
[12] —, Solution of systems of linear equations by minimized iterations, ibid. 49 (1952), 33–53.
Laboratoire d’Analyse Num´erique et d’Optimisation UFR IEEA-M3
Universit´e des Sciences et Technologies de Lille F-59655 Villeneuve d’Ascq Cedex, France E-mail: elguenn@ano.univ-lille1.fr
Received on 11.5.1999;
revised version on 3.8.1999