You are on page 1of 6

Auromatica, Vol. 31, No. 2, pp.

281436, 1995
Copyright 0 1995 Elswier Science Ltd
Pergamon ooos1098(94)oooa6-7 Printed in Great Britain. All rights reserved
ccm-109m5 $9.50 + 0.00

Brief Paper

An Extension of Newton-type Algorithms for Nonlinear


Process Control*
NUN0 M. C. DE OLIVEIRA t#t and LORENZ T. BIEGLERt

Key Words-Process control; chemical industry; model reference control; nonlinear control systems;
nonlinear programming; quadratic programming.

Abstract-This study extends the multistep, Newton-type properties under appropriate conditions. An additional
formulation [Li and Biegler (1989) C/tern. Eng. Res. Des., 67, advantage of the method is that it provides a consistent
562-5771 for nonlinear constrained process control. The treatment of both linear and nonlinear models.
computation of the control law is based on an augmented The next two sections describe the computational
performance index, which improves the performance of the formulation with a review of the stability properties in
method over the original formulation. A number of Section 3. In particular, we show that in the absence of active
modifications are also introduced in the computational constraints, the method becomes a nonlinear extension of the
algorithm to extend the range of problems, eliminate linear quadratic regulator, which guarantees closed-loop
steady-state offsets, and extend the output predictive horizon stability for a large range of tuning parameters. Finally, the
to infinity. We show that the global stability properties of the application of this algorithm to various process examples is
original Newton controller are preserved by the present considered in Section 4.
modifications. Moreover in the absence of active constraints,
the method behaves as an extension of the linear quadratic
regulator for, exhibiting therefore excellent stability pro- 2. Computational framework
perties for a large range of tuning parameters. The The use of operator theory for the synthesis of nonlinear
capabilities of the method are illustrated by application to control systems was first suggested by Economou (1985).
various process examples. This proposed Newton approach was later generalized by Li
and Biegler (1989) to an SQP algorithm, in order to allow the
inclusion of process constraints, and the consideration of a
1. Introduction multistep predictive horizon. Here, we consider in this
In the last decade, a substantial increase in the use of section a modified multistep Newton-type formulation based
optimization based predictive algorithms for process control on a more general quadratic performance index, for a
was observed. Model predictive control methods based on process model of the form
linear models have been tested extensively, and are presently
well-accepted in industrial practice; they are seen to provide
2 =&(x, u, d), (la)
control systems with relatively high performance and
reliability (Garcia et al, 1989). Alternative formulations for Y = g,(x). (Lb)
predictive control using nonlinear process models have also
been considered. These extensions have been recently where u E R”e represents the vector of system inputs
reviewed by Bequette (1991). Nonlinear model predictive (manipulations), x E Iw”s is the vector of state variables,
control (MPC) algorithms are advantageous in situations y E lR”o is the vector of system outputs, and d E LW is a
where substantial incentives for improved control quality vector of disturbances. It is assumed that n, s ni, that f, and
exist, due to the strong nonlinear nature of the system itself g, are continuously differentiable functions.
or when large changes in the operating conditions can be In order to simplify the determination of the optimal
anticipated during routine operation, such as in batch control laws, a discrete-time framework is used. Denoting the
processes, or during the start-up and shutdown of continuous present sampling instant by tk, the correspondent input and
processes. output predictive horizons are designated by %$ = [tk, tk +
This paper describes a nonlinear control algorithm that rik] and %& = [tk, cl, + t,J, respectively. This allows the
extends the basic Newton formalism of Li and Biegler (1989). correspondent predictive problem at tk to be formulated as
A number of important characteristics demonstrated by this
approach make the algorithm particularly attractive for
process control. These include a computationally efficient minJZi("7Y) =
u* I,%
2 (Yk+i- Y,p,k+i)TQyi(Yk+i-Ysp,k+i)
i=l
method for the determination of the model sensitivities and
the successive quadratic programming (SQP) nature of the + hk+i-I - u,,k+,-dTQui(Uk+r-,
- u,.k+i--l),
algorithm, together with the existence of global convergence
(24
* Received 25 April 1993; revised 10 January 1994; revised i= fp(x,u, 4, PI
20 March 1994; received in final form 14 April 1994. This
paper was not presented at any IFAC meeting. This paper Y = &Ax). (2c)
was recommended for publication in revised form by
Associate Editor B. Wayne Bequette under the direction of
Y/SY 'Y"? (24
Editor Yaman Arkun. Corresponding author Professor L. T. U,5U~U, and u(t) = u(rk + r,, - T);
Biegler. Tel. +I 412 268 2232; Fax +l 412 268 7139.
t Department of Chemical Engineering, Carnegie Mellon t E [zk + tih, rk + tohI. (2e)
University, Pittsburgh, PA 15213, U.S.A.
$ Present address: Department of Chemical Engineering, Here, u, E R”a represents a reference input trajectory,
Universidade de Coimbra, Large Marques de Pombal, 3000 accomplishing the same role as y,, for the outputs, and
Coimbra, Portugal. compatible to these set-points. The notation can be simplified

281
282 Brief Papers

by de&ring the augmented input and output vectors for a been satisfied. If so, implement uk = V,, and update ii for
predictive trajectory, as the next interval as

V=[ii;+, li:+z ... li:+,mz Liz+,-, U:+,_,]r.

Go to Step 1, with I = r,,,.


and a nominal input trajectory Step 6. If the convergence criteria for V are still not
satisfied, check the QP iteration counter i. If i <nma,., go
ii E lR”P’= [UZ i;+] u:+,,,~.,]‘r. back to Step 2, with ici + 1. Else, signal difficulty in
convergence.
At each iteration, the difference between the current and Since the Newton method is only guaranteed to be locally
reference input trajectories is represented by AU = V - V. convergent, the line search phase of Step 4 is required to
Since the Newton framework requires a linearized enforce a global descent property in the method. A detailed
approximation of the system equations, we consider the description of this step can be found in Oliveira (1994).
expansion _of Y in Taylor series around the nominal 2.1. Elimination of steady-state offset with plant/model
trajectory Y mismarch. An important practical objective is the capability
of obtaining a response without steady-state errors, in the
Y = Y + Y”,AV, (3) presence of a limited mismatch between the plant and the
process model available. To avoid this difficulty, the control
with Y, = aY/X//,=, E 5?(n~p)x(n~m),The dynamic matrix
loop must include an integrator element to eliminate the
y, represents the sensitivity of the process to input changes steady-state offsets resulting from step disturbances. The
around the nominal trajectory considered. It can be integrator can be added directly to the nonlinear model (l),
expressed in terms of the derivatives of the state transition
or defined more efficiently in terms of the discrete sensitivity
function of (la), leading to a lower block triangular matrix
coefficients of the formulation. In this latter case, an
Ym defined by additional state equation of the form
0 ifj > i,
zk+,=zk+r~-, +k,(y,+-~s~,~+r), i = 1,. ,p,
ifj <m,
~tn,j = (4) Zk = zo.
S,, otherwise,
i g with zk E R”o, k, E Iw”~““~, is added to the discrete model.
if i = j, Using the deviation variables denoted in a generic form by
S = Ck+,Ik+, 1
1, i C,+,(II$L, Qk+,-,,,)Ik +, ~I otherwise. (5) the ’ superscript, with u’ = u - ri, x’ =x -X, the first-order
approximation of this state equation is given by
Here C corresponds to the derivative of the output function, ik+r=fk+r-, +kl(~k+r+Ck+i(4k+r~,X;+r-l +rk+,-&--1))
while @ and F represent the sensitivities of the nonlinear
model (la) to changes in the initial conditions and inputs, - k1.vsp.k t,.

respectively. These two quantities can be computed exactly


Similarly, defining z;+, = ik +, - Z,,+,, leads to the following
by integration of a set of linear equations together with the
augmented LTV approximation for the system equations:
process model (Li and Biegler, 1989).
Using the linearized model given by (3) and defining
V’ = V, - V, with E = ySp- Y, this can be expressed as the
following quadratic program (QP):

I-$LI~=(E-L&AV)~Q,(E -L&AU) (74


+ (AV - V’)TQ,(AV ~ V’), (64
0)
V,d c AU 5 Cl,,<,, (6b)
ylds Y,AV 5 Y,d, (6~) The correspondent augmented predictive model equations
can therefore be written as Y = Y + y,,,AV, where
with lJld = V, - 0, VU, = V,, - 6, V’ = V7 - i?, Y,d = Y, - y, p = [yT z;lT, y”=_ky ?3=, (i = k, , p). The augmented
and Y, = Y, - Y. Here Q, = diag {Q,,} E Rg(n~p)x(n~p),and dynamic matrix Y, is obtained from (5), by replacing the
Q2 = diag {Q,} E lRtn~m)xtnlm?In comparison to (6) the sensitivity coefficients C, @ and I by -their augmented
objective function considered by Li and Biegler (1989) counterparts in (7). Defining also Qy = diag {Q,, I,,$
corresponds to Q, = Inop and Qz = 0. However, the use of the
Ysr = rY,& OIT,allows the control algorithm described m
augmented performance index (2a) gives the method Section 2 to be used directly.
improved stability properties, as discussed in Section 3. 2.2. Control law computation for an infinite output
The algorithm for the determination of the nonlinear horizon. It is well-known that large predictive horizons make
control law is stated below. It assumes that each nonlinear the stability properties of the resultant control law less
optimization problem for a given predictive horizon is dependent on the tuning parameters of the algorithm. The
iterated until convergence, and that the value of the state previous algorithm can be extended to use an infinite output
vector xk is also available to the control algorithm. horizon, by introduction of a number of rearrangements that
Conrrol algorithm (converged form). Using the initial deal with the fact that some of the previous quantities would
conditions tk = to, X* = xg and U = V,: have an infinite-dimension in this case.
Step 1. At t= I~, set i = 0 (iteration count for the QP We assume here, that the open-loop system to be
subproblem). controlled is already largely asymptotically stable. Since the
Step 2. Starting with the initial condition x~, integrate the formulation requires a set-point for the infinite horizon, we
state and sensitivity equations (la) in the output predictive assume also that the specified set-point trajectory converges
horizon %&, for the nominal trajectory V = U. This gives x, to a finite and feasible limit y*. In this case, it can be shown
and Ik+,. Compute also the output sensitivities Ck+l, that the linear and quadratic terms of (6a) are given by
t_;
>...>P). _
Step 3. From X compute Y and E, update the deviation
bounds Vid, VU,,, &,, Yud and solve the corresponding QP (6) W
for AU.
Step 4. Using a line search, determine an appropriate step
b, = -2 2 ST,Q,,E, - 2QY,V,‘, i, j = 1,. , m, (8b)
sjze h_ for the current input correction dV = AAV. Update *=,
VcVtdV.
Step 5. Check whether the convergence criteria for V have where bi E l??~ and H, E Iw”~““~represent the linear and
Brief Papers

Hessian block elements of (6a), respectively. Here S,, The first one is a Continuous Stirred-tank Reactor (CSTR),
corresponds to the Kronecker delta and the second is a Fluid Catalytic Cracking (FCC) unit.
Both of these examples exhibit interesting characteristics in
terms of nonlinear behavior over an extended range of
operating conditions.
4.1. CSTR example. The system considered here consists
while Sjj is given by (5). A more detailed treatment of this of an ideal CSTR with an isothermal pseudo first-order
issue is given in Oliveira (1994). reaction A + B +P, in the presence of an excess
concentration of A (Oliveira, 1994). The corresponding
3. Stability properties process model is
Results in this section comprise a generalization of the
stability results of Li and Biegler (1989) for OL-stable
systems and a general unconstrained treatment. The effects
of the presence of active constraints on the closed-loop
stability, including some soft-constraint handling strategies
~=(c,,-**)~+(c”‘-“~)~-~. (W
are presented in Oliveira and Biegler (1994). For open-loop
asymptotically stable systems, Li and Biegler (1989) We assume that both state variables are measured and that
demonstrate that with Q, = Z, Qz = 0 the controller can be the process output is given by {x1, x2}. The vector of
made globally stable, by choosing a sufficiently long sampling manipulated variables is {u,, uZ}, while Car and Ca,
time, and using a line-search algorithm to enforce a descent constitute potential input disturbances. Under nominal
property. The next theorem shows that similar properties operating conditions this model can be shown to have three
exist for the formulation presented in the last section. possible equilibrium points, with the middle one being
OL-unstable.
Theorem 1. Assume that the open-loop nonlinear system For simulation, we used a sampling time T = 1, predictive
described by (1) is largely asymptotically stable, and that a horizons with 10 sampling intervals and Q, = diag{l, l},
constant set-point y,, = y* is used. For (1y, - y*llo, 2 6 > 0, Q, = diag (0.01, 0.01).Figures 1 and 2 illustrate the response
the application of the multistep Newton-type controller of the closed-loop system to a +lO% step change in C,,, at
correspondent to the previous algorithm with m,p > 1 t = 1. Despite being unmeasured and unpredicted by the
converges monotonically for sampling times T > T*, where control algorithm, this disturbance is well rejected; for
T* is finite. Therefore we have comparison the correspondent open-loop response goes to a
steady state of x~,+~= 9.4. Since the disturbance is not
II Ys+I -Y*l12a,<IlYs-Y*ll$y. explicitly accounted for by the controller, the final steady
states of the output variables exhibit a small offset when no
The proof for this theorem can be found in the Appendix.
integral action is used (about 0.4%). This offset is, however,
It relies on the fact that for open-loop asymptotically stable
eliminated when integral action is added, as can be observed
systems, a sufficiently large but finite T can be found such
from the corresponding output profiles. Using a tolerance
that 119115l, for any small predetermined E. Therefore
Ed” = 0.5 X 10w3, the number of iterations required reached a
choosing T > T*, where
maximum of five or six during the sampling times where the
major change (disturbance or set-point change) occurred,
and was typically smaller after that (around two). This
resulted in a total computational time of about 1 minute of
guarantees the stability of the Newton controller with CPU time for each case, using a mixture of ‘Mathematics’
open-loop asymptotically stable systems. This situation is (Wolfram, 1988) and Fortran code, on DecStation 5ooO/240.
representative of the characteristics of the majority of 4.2. FCC example. Next we consider the control of a FCC
chemical processes. However, since the above results rely on
the boundedness of the sensitivity coefficients, they do not
extend to the OL-unstable case. In fact, a strong statement I.

about the non-existence of global stability properties of I04


unstable systems can be made (Sontag, 1984). Also, the
requirement of a sufficiently large sampling time might not 102
always be readily met in practice. This motivates us to look
closer at the stabilization properties of the underlying
; 100 .U . .. .
state-feedback structure. -*-h-*-c.+-.++-
In the absence of constraints, the predictive control
problem at r = rk is given by (6a). The optimal solution for 98
this case can be obtained in analytical form, leading to the
control law 96
J
f~ = (CQ,% + Q&‘(%Q,E* + QzU,), 0 5 10 13 20

with E* = Y,, - Y*, where Y* corresponds to the system t


response for a zero input. Hence, the extended Newton :
formulation behaves in the unconstrained case as a ,.i
generalization of the discrete Linear Quadratic Regulator 0.68
(LQR) control for nonlinear models, possessing therefore
similar properties to this last approach, with both infinite 0.66
horizons and finite horizons with additional stabilization
conditions (see Oliveira (1994) for additional details). These 2
0.64
modifications allow the unconstrained Newton-type con-
troller to achieve closed-loop stability with a perfect model,
without requiring an extensive search for the appropriate 0.62
tuning parameters. As mentioned, a detailed treatment of the
effects of the presence of active constraints can be found in 0.60 -I

Oliveira and Biegler (1994) and Oliveira (1994). ” 5 10 15 20


t
4. Examples Fig. 1. Output response to a 10% step change in CB1 (. . .
We consider, in this section, the application of the previous open-loop; --- k, = 0; - k, = {l, 1)). The dots indicate the
algorithm to the control of two nonlinear process examples. discrete sampling points used.
284 Brief Papers
1.05
Table I. Steady state values for the FCC model: (a)
OL-unstable point; (b) stable steady state

(4 (b)
Steady state values Unstable Stable

C,, (lb coke/lb cat) 7.985 x 10-s 7.167 x 10-a


r,, (OF) 957.6 1149
0.85
C,, (lb coke/lb cat) 2.347 x lo- ’ 3.589 x lo-“
T’p(“F) II63 1396
0.80

The selection of control objectives was based both on the


state variables with more direct effects on the reaction
environment and potential difficulties on their measurements.
We adopted in this study T,, and C, as controlled variables,
1.1 while using F, and F, as manipulated variables. For
simulation, a sampling time of 0.5 hours and predictive
horizons with 5 sampling intervals were used. The tuning
2 1.05 parameters in the objective were chosen as QY=
diag {l, O.OOl}, and Q, = diag {O.l, O.l}. Figure 3 illustrates
the behavior of the process during an unanticipated change
1.00 in the set-point, from point (a) to (b) of Table 1. In the
absence of saturation of the input constraints, the new
0.95 I set-point is reached at the end of the second interval, with
0 5 10 15 20 just a small overshoot in C,,. This indicates that a more
cautious response can also be achieved, by imposing
additional limits on the rate of change of the manipulations,
Fig. 2. Input profiles for a 10% step change in CHI (. if desired. The corresponding input profiles are presented in
open-loop; --- k, = 0; - k, = {l, 1)).
Fig. 4.
More iterations were required in the present case to
converge the input profile to optimality, in comparison to the
process. These units are commonly used to convert heavy previous example. The maximum number of iterations during
petroleum feedstocks into lighter hydrocarbon products; a a given predictive horizon was 15, over the intervals where
key step in petroleum refining. The present study is based on the largest changes occurred. This number decreases to 2
the semi-empirical model of Lee and Kugelman (1973). iterations at the end of each profile, when the final value of
which consists of balance equations for the mass of coke the response is approached. Each run required around 5
(carbonaceous material) and energy, both in the reactor and minutes of CPU time, in a DecStation 5000/240, for a control
regenerator vessels (Oliveira, 1994). The state variables are horizon of 10 hours.
C, (coke content in the spent catalyst), TX (reactor bed
temperature), C, (coke content in the regenerated catalyst) 5. Conclusions
and Trs (regenerator bed temperature). The model considers An extended formulation of a Newton-type algorithm for
also five main input variables, which are F, (air flow rate), T, nonlinear model predictive control was presented. The
(air temperature), F; (feed rate), G (feed temperature) and 6
(catalyst recirculation rate).

1200

722500
1150
722000
1100
,K d 721500
+
1050
721000

1000 720500

950 J
0 I 2 3 4 5 I 2 3 4 5
t t

0.0025

9.70 106
0.0020
9.65 IO6
p 0.0015
v z 9.60 lo6

0.0010 9.55 106

0.0005 9.50 106


L
0 I 2 3 4 5 0 I 2 3 4 5

Fig. 3. System response to an unanticipated set-point change Fig. 4. Input profiles for an unanticipated set-point change
from the operating point (a) to (b). from (a) to (b).
Brief Papers 285

proposed approach is based on the use of an augmented From (A.l) and (A.2)
quadratic performance index and leads to a computationally
efficient framework for nonlinear model predictive control. J2W = II%+, - Y*IIzp~ IIYk -y*112py+ O(a). (A.3)
In addition, the inclusion of an integral term to eliminate Assuming now that O< 6 <Jz(O) -&(Au~), where 6 is a
steady-state offsets, and the possibility of extending the small positive number, and because Js(Au,.) only involves
predictive horizon to infinity are considered. 9*+,, we have from the convexity of Jz
The stability properties of the method are considerably
improved by the extended formulation. In the unconstrained J2(AAuk) - J2(0) 5 A(Js(Auk) -12(O)) < -Aa. (A.4)
case, the controller becomes a nonlinear extension of LQR,
which guarantees good stability properties with a large range Now substituting (A.3) into (A.4) and for E sufficiently small
of tuning parameters. that O(c) < 612, we have
The algorithm was successfully applied with two nonlinear
models. In particular, the behavior demonstrated with the J2(A~~)~Ily~-~*ll1p,+~~~)-~A~ll~~-~*ll~~-~.
FCC model illustrates the efficacy of the method for
challenging nonlinear systems. Simultaneously, the small (A.5)
computational times required with both examples demonstr-
ate the feasibility of the on-line implementation of this Also
nonlinear strategy. llyk+i -y*ll’p+ A2 IlAu~ll&~Jz(AW + WA*). 64.6)

Choosing A so that O(A’) < SA/4, we have from (A.5) and


Acknowledgements-Financial support from the Department (A.6) the desired result for m = p = 1:
of Energy, in the form of grant DE-FGOZ85ER13396 is
gratefully acknowledged. The first author is also grateful for llY*+1 -y*v q 5 llyk.+1- y*ll$~+ A2 IIWl&,
additional financial support provided by the University of
Coimbra and FLAD. A more complete description of the
control alaorithm is available as Technical Renort 06-157.
Engineering Research Design Center, Carnegie Mellon Note, that if the control problem is solved to optimality in
University, Pittsburgh, PA. This report is also available on each horizon then Jf 5 J2(AAuk) < J2(0) it Jz follows from the
the Internet by anonymous ftp from ftp.deq.uc.pt (IP address NLP, and the desired result is also obtained immediately. In
192.84.13.35). the multistep case, optimality conditions of (6) can be written
as
References
Bequette, B. W. (1991). Nonlinear control of chemical
2(CQ, % + Q&W - ‘WtQ, E - 2Q2U’

processes-a review. Ind. Eng. Chem. Res., 30,1391-1413. + (Au,, - Au/) + %(A,, - Ay,) = 0, (A.7a)
Economou, C. G. (1985). An Operator Theory Approach to A:u(AU - U,) = 0, A:,(-AU + U,J = 0, (A.7b)
Nonlinear Controller Desian. Ph.D. Thesis. California
AT&&AU - Y&) = 0, A;,(-&AU + Y,‘,)= 0, (A.7c)
Institute of Technology, Pasadena, CA.
Garcia, C. E., D. M. Prett and M. Morari (1989). Model A,ZO, (A.7d)
predictive control: theory and practice-a survey. AU E ]I&, U,], X,AU l [Y/d, Y&l. (A.7e)
Automatica, 25,335-348.
Lee, W. and A. M. Kugelman (1973). Number of steady-state Also for large but finite T such that ]]ek ]I = O(e), the matrix
operating points and local stability of open-loop fluid 9, becomes
catalytic cracker. Ind. Eng. Chem. Process Des. Develop.,
l2,197-204.
Li, W. C. and L. T. Biegler (1989). Multistep, Newton-type
control strategies for constrained nonlinear processes.
Chem. Eng. R& Des., 67, 562-577.
Oliveira. N. M. C. and L. T. Biealer (1994). Constraint
handling and stability propertie: of ‘model predictive
control. AIChE. J., 40, 1138-1155.
Oliveira, N. M. C. (1994). Newton-type algorithms for
Nonlinear Constrained Chemical Process Control. Ph.D.
Thesis, Carnegie Mellon University, Pittsburgh, PA.
Sontag, E. D. (1984). An algebraic approach to bounded (‘4.8)

controllability of linear systems. ht. 1. Control, 39,


For m > 1, taking into account the block diagonal structure
181-188.
of Qi = diag {Q,}, Q2 = diag{Q,}, the first equation in
Wolfram, S. (1988). Mathematics. A System for Doing
(A.7b) becomes
Mathematics by Computer. Addison-Wesley, Redwood
City, CA. 2[(C,+,r,)TQ,(C,+,r,) + Q, + o(~~)lAu,
+ O(E)bUk+,+. . . + O(E~-~)AU~+,,-,
Appendix
- 2](C,+,I,)TQ,e,+, + O(e)] - 2Quu; + (L - L/h
Proof of Theorem 1. Here we start by looking at the single
controller (with m = p = l), and examine a single iteration of + [(~k+lwTQy(h.u - bh + wi = 0,
the Newton algorithm. The solution from (6) is Auf, and for
with ek+, = y* -yk+,. Note that AU remains always bounded
a stepsize A E [0, l] and a constant set-point ysp =y*, the
as l --) 0, since (ymQ, ym + QJ is positive definite. Assuming
objective is defined by
that (6) has a feasible solution, the previous equation can
therefore be written as
J2Wuk) = lIPk+l- y*ll'a+ A2 IIA~,cl12ak. (A.11
AU, = [(ck+lrk)TQy(ck+lrk) + QY]-’

We assume now that a sufficiently large sampling time but


finite T is used, so that ]]@,I]= O(E), for a small predefined 2
(Ayu - Ay’)‘)
positive quantity E. From (3) we have yk+, =&+, +
AC, 4,TkAu,, and + Q

& _ (huu - *“h
1 + Ote)

=
2
Au* + O(c), (A.9)
Brief Papers

where Au* represents the solution of the single step J,(hAu,) < jlyk -y*l&+ O(e) - Sh + O(e*).
controller. A large T, therefore, has a decoupling effect in
the computation of the control law (6), and thus Hence, for sufficiently small E, such that O(r) < 6A/2, the
yk+, =yz+, + O(e). Clearly J2(Auk) =&(A@) + O(8), and remainder of the previous proof applies, and we have the
from (AS) desired result from (A.6). 0

You might also like