CC BY
29
Вычислительные технологии
Том 2, № 4, 1997
SIMULTANEOUSLY DISSIPATIVE OPERATORS AND THE INFINITESIMAL WRAPPING EFFECT
IN INTERVAL SPACES
A. N. Gorban Krasnoyarsk Computing Center SB RAS, Russia
Yu. I. Shokin
Institute of Computational Technologies SB RAS, Novosibirsk, Russia
e-mail: [email protected]
V. I. Verbitskii Krasnoyarsk Computing Center SB RAS, Russia
Работа посвящена приложениям теории совместно диссипативных операторов к интервальному анализу и химической кинетике. Главным объектом исследования является нежелательный "эффект упаковывания", широко проявляющийся при численном решении на ЭВМ эволюционных дифференциальных уравнений с интервальными параметрами. Основной результат работы — доказательство типичности эффекта упаковывания в малом, что объясняет низкую эффективность традиционных пошаговых методов численного решения интервальных дифференциальных задач.
Introduction
For solving systems of ordinary differential equations different classes of numerical methods with guaranteed error estimation including interval methods are used. In solving a system by an interval method the approximate solution at any considered moment of time t represents a set (called interval) containing the exact solution at the moment t. The detailed account of interval methods can be found in monographs by R. Moore [1] and S.A. Kalmykov, Yu. I. Shokin, Z.Kh. Yuldashev [2].
As a rule, all kinds of rectangular parallelepipeds with sides parallel to coordinate axes [1, 2] are used as intervals, less frequently — ellipsoids [3], balls of fixed norm [4, 5] etc.
One of shortcomings of stepwise interval methods is the following. The intervals determining the solution of a system are often expanded in the course of time irrespective of the method and step used. The simplest example of strong expansion of intervals during a short time, belonging to R. Moore, is given in [1]. The phenomenon of interval expansion, called the wrapping effect, essentially decreases the efficiency of interval methods. In the present work the notions of the interval and the wrapping effect are formalized and the wrapping effect is studied for autonomous systems on positively invariant convex compact.
© A.N. Gorban, Yu.I. Shokin, V.I. Verbitskii, 1997.
Formally, one can get rid of the interval expansion for any globally stable system (i. e. such a system any solution of which is stable after Lyapunov). To demonstrate that, let us consider a smooth autonomous system:
di = f (x) (!)
on the positively invariant compact B C rn. We construct a metric p on the set B, assuming for any x £ B, y £ B:
p(x,y) = sup ||x(t) - y(i)||,
t>0
where x(t), y(t) are solutions of the system (1) with the initial conditions x(0) = x, y(0) = y. This metric is constricting for (1), i.e., for any pair x(t), y(t) of the solutions of (1) with the initial conditions in B
p(x(t),y(t)) < p(x(s),y(s)) at t > s.
The metric p is topologically equivalent to norm if and only if the system (1) is globally stable in B. If one considers as intervals all balls of the metric p, then in a definite sense the wrapping effect is absent. That is, there is no interval expansion when constructing the exact interval solution with any step h > 0. The exact interval solution of X(t) is defined in the following way: X(0) = X0, where X0 is the initial interval with the center at the point x(0) = x0; X((n + 1)h) is the minimal interval with the center at the point x((n + 1)h) containing ThX (nh), where Tt is the transformation of the phase flow of (1) during the time t > 0. Indeed, the radius X((n + 1)h) does not exceed the radius X (nh) at any n.
If the system is not globally stable, then metric is not topologically equivalent to the norm. It means that small, in usual sense, intervals became large in the metric p. This circumstance makes one refuse from consideration of similar metrics. Moreover, if the system (1) is absolutely unstable (for example, a system with mixing), then there is no reasonable way to get rid of the wrapping effect.
Unfortunately, the method that we describe to eliminae the wrapping effect for globally stable system is non-constructive. That can be demonstrated as follows: for constructing the constricting metric p one must know all exact solutions of the system (1). But then it is unreasonable to solve the system numerically. We must have constructively verifiable conditions of absence of the wrapping effect and a way of construction of corresponding intervals. This is what we deal with in the present paper. The conditions of absence of the wrapping effect are of local character and formulated in terms of Jacobi matrices of the system. Except that the causes of frequent appearance of the wrapping effect will be pointed out.
The authors are grateful to Sergey Shary for fruitful discussions and valuable comments.
1. Interval spaces and the wrapping effect 1.1. Interval Spaces
Before starting to study the wrapping effect, it is necessary to define what we mean by intervals. Generalizing some well-known constructions, we give the following definition.
Definition 1. We call the family j of convex compacts in rn the interval space (and its elements - intervals), if it satisfies the following conditions:
a) j is closed with respect to multiplication by non-negative scalars:
if W £ j, a > 0, then aW = {ax | x £ W} £ j;
b) j is closed with respect to intersection:
if Wi G j, W2 G j, then Wi n W2 G j;
c) j is closed according to Hausdorff (i.e. in the Hausdorff metric);
d) if W G j, W = {0}, then 0 G riW.
Remind [6] that the Hausdorff metric on the set of all compacts in rn is introduced as follows:
pH(x,y) = max{max min ||x — y||, max min ||x — y||},
x€X y€Y V&y x€X
where x,y are the compacts in rn, ||.|| is a fixed norm in rn. All Hausdorff metrics in rn are equivalent.
Further on by limHj—TO Wj we denote the Hausdorff limit of the sequence {Wj}+t°1 at i ^ to. Below, we give several examples of interval spaces.
Example 1. j is the set of all convex compacts symmetric with respect to 0. It satisfies all the properties from a) to d).
Example 2. j is the set of all symmetric with respect to 0 rectangular parallelepipeds (including non-singular), i.e. sets of the form
{x = (xi,...,x„) G rn | |xfc| < afc (k = 1,...,n)},
where ak > 0 (k = 1,... , n). It satisfies the properties a), b) and d).
Let now {Wi}°=1 C j, limHj—TO Wj = W with ajj) being ak, corresponding to Wj. If ph(Wj, W) < e, then W C Wj + P£, Wj C W + Pe, where P£ = {x G rn | |xfe| < e (k = 1,... , n)} (here a norm in the definition of the Hausdorff metric is the Z^-norm). Then for any xGW
|xfc | < ajj) + e (k = 1,..., n)
is true and for any x G Wj
i. e. there exist the limits
|xfc1 < Hmj^^akj);
lim ajj) < limj^ ajj), j—
ak = lim ajj) (k = 1,..., n). j—
If x G W, then
|xk |< lim ajj) (k = 1,...,n). (2)
j—
Let bj = min1<k(ak.j)/cifc). If for some x Grn the inequalities (2) are satisfied, then lim^^ b = 1.
Obviously, x(j) = bjx G Wj, i.e. there exists such a subsequence of (x(j)}°=1 that x(j) G Wj, x = limj^^ x(j). Hence W = {x G rn | |xk| < ak (k = 1,... , n)}, i. e. W G j and the property c) is also satisfied.
In constructing interval methods of solving different problems it is, as a rule, the considered interval space that is made use of [1, 2].
Example 3. Let ||.|| be a norm in rn, = {x G rn | ||x|| < r}, where r > 0. Let
j = {fflr| r > 0},
i.e. J is the set of all closed balls (further on we omit the word "closed") of the norm. All the properties from a) to d) are satisfied. These interval spaces are used, for example, in [4, 5].
Example 4. The construction of example 3 can be generalized as follows. Let ||.|1, be the finite set of norms in rn,
ffl^ = {x £ rn | ||x||k < rfc (k =1,...,m)}
where rk > 0 (k = 1,... , m) and
Wr1;...,rm = n m?.
r m
1<fc<m
Let j = { Wri| rk > 0(k = 1,... ,m)}. Obviously, j possesses the properties a), b), and d).
Note that the same element of j can be associated with different sets of {rk}. To demonstrate that, let m = 2, supx=0(l|x||2/||x y = c. Then m!1) = W c', where C' is any number not less than C. Also, even if one of rk is equal to 0, then
Wri,...,rm = {0}. To each compact W C rn can be juxtaposed the set
K(W)}m=i 1 rfc(W) = max ||x|k (k = 1,••• , m).
W
If W G j then W = Wri n ... n Wrm.
Let now the sequence {Wi}°=1 converge according to Hausdorff to the compact W, with Wj G j for all i. Similarly to example 2, from the inclusions
Wi c w + m^fc), w c Wi + rn^fc)
satisfied for each e > 0 for all i > i0(e) derive the existence of the limits:
fk = lim rk(Wi) (k = 1,..., m)
and conclude that
W = Wfi.....?m,
i. e. W G j, and the property c) is satisfied.
Example 5. Let Q be a compact convex body without symmetry center (for instance, a triangle in r2), 0 G int Q. Assume
j = {aQ | a > 0}.
J possesses the properties from a) to d).
Remark 1. Example 5 can be generalized. For this purpose it is necessary to consider compact convex bodies Q1,... , Qm, the interior of each of them contains 0, and to take as j a family of all the sets of the form P| 1<k<m akQk where ak > 0 (k = 1,... , m).
m
1.2. Dissipative Operators
In this section the properties of the operators dissipative with respect to compact are studied. First, let remind some notations.
The affine hull of the convex set W is denoted by Aff W, the relative interior W (the interior of W in Aff W) is denoted by ri W, the relative boundary of W (the boundary of W in Aff W) is denoted by r dW. For the boundary of the set X we use the notation dX, int X — for the interior of X, co X — for the convex hull of X. By the sum of the sets of X and Y from rn we mean the set {x + y | x £ X, y £ Y }, by I — the unit operator.
Let us introduce a new notion.
Definition 2. The linear operator A in the space rn is called dissipative with respect to the family of sets {Wv} C rn if every set Wv is positively invariant with respect to the system
^ = Ax. (3)
dt v ;
In other words, every Wv is invariant with respect to the semi-group of the operators exp(At) (t > 0).
Below we consider operators dissipative with respect to families of convex compacts. In particular, the operator is dissipative with respect to the families of all balls of some norm (for this, dissipativity with respect to only one ball is sufficient) if and only if || exp(At)|| < 1 at all t > 0. Thus, in this case we come to the known definition of dissipativity with respect to the norm [7].
The set of all operators dissipative with respect to {Wv} is denoted by K({Wv}).
Remark 2. If an operator is dissipative with respect to the family of compacts and the interior of at least one of them is not empty, then it is dissipative with respect to some norm.
Indeed, any symmetric with respect to 0 compact convex body is a ball of some norm (see, for example, [7]). Choose as a ball the following set:
S = co {W U (-W)} (4)
where W is any set of the considered family of {Wv}, for which int W = 0.
However, if W is a compact and the operator is dissipative with respect to the norm whose ball is S (4), then it does not yet mean that the operator is dissipative with respect to W (see also example 8).
Remark 3. From the invariance of a family of compacts with respect to the linear operator follows the invariance of the Hausdorff closure (i. e. closure in the Hausdorff metric) of this family. Therefore from dissipativity of the operator with respect to the family of compacts follows the dissipativity with respect to Hausdorff closure of this family.
Let W be a convex compact in rn with 0 £ ri W. In this case Aff W is a linear subspace, and if the operator A is dissipative with respect to W, then Aff W is invariant with respect to A. Introduce the following functional on the subspace L(W) of the space L(rn) (of linear operators in rn), consisting of the operators, with respect to which Aff W is invariant:
(A) = sup (Ax). (5)
xew
Here is the Minkowski functional of the set W (defined, for example, [8]) in the subspace Aff W.
It is easy to see that A £ K(W) if and only if
(exp(At)) < 1
for all t > 0.
In particular, the operator A G L(W) is strongly dissipative with respect to convex compact W if exists such e > 0 that (exp(At)) < exp(-et) at all t > 0. In general, the operator A is strongly dissipative with respect to convex compact W if and only if A + el G K(W) for some e > 0.
If W is a ball of the norm ||.||, then strong dissipativity with respect to W means the existence of such e > 0 that || exp(At)|| < exp(-et) for all t > 0. We come to the definition of stable dissipativity with respect to the norm [11, 12, 19]. Introduce in L(rn) the following functional:
Yw (A) = lim (1 + hA) - 1. h^+0 h
In the case, when W is a ball of some norm (i. e. is a norm), arrive at the known definition of the logarithmic Lozinsky norm [9, 10].
Lemma 1. The operator A G L(rn) is dissipative (strongly dissipative) with respect to W, if and only if the inequality YW(A) < 0 (yw (A) < 0) is satisfied. Proof. Sufficiency. The following inequality is obtained in [9]
|| exp(At)|| < exp(Y(A)t)
where y(A) is the Lozinsky norm of the operator A, corresponding to the norm ||.||. By literal repetition of the reasoning from [9] (with a substitution of the norm by Minkowski functional), one can obtain the inequality
^w(exp(At)) < exp(Yw(A)t)
for all t > 0, from which immediately follows the sufficiency. Necessity. Evidently,
^w(exp(At)) = (I + At) + o(t) (t ^ 0).
Therefore,
Yw(A) = to (eh') - 1.
h^+0 h
Let e > 0. If (exp(At)) < exp(-et) at all t > 0, then
YW(A) < lim exp(-!h) - 1 = -e,
h^+0 h
which proves the necessity. The lemma is proved.
Assign a relatively open convex cone Qx(W) to every point x G r SW according to the rule: y G (W) if and only if there exists such e > 0 that
x + ey G ri W.
Lemma 2. For strong dissipativity of A with respect to convex compact W it is necessary and sufficient that for every point x G rdW the inclusion
Ax e )
be true. For dissipativity of A with respect to W it is necessary and sufficient that for every point of X £ rdW the inclusion
Ax £ QX(W)
be true.
Proof. Note that the operator A is strongly dissipative with respect to W if and only if there exists such to > 0 that (/+At0) < 1. Indeed, the existence of such to for a strongly dissipative operator follows immediately from the negativeness of yw(A). Conversely, if (/ + At0) < 1, then there exists such e > 0 that (/ + (A + e/)t0) < 1. But then yw(A + e/) < 0, the operator (A + e/) is dissipative. It means that A is strongly dissipative.
If the operator A is strongly dissipative with respect to W, then, according to the above, for each x £ r dW there exists such tx > 0 that (/ + txA)x £ ri W. It means that the vector Ax belongs to the cone Qx(W).
Conversely, let the latter condition be satisfied. According to the hypothesis of the theorem and convexity of W, for each x £ r dW there exists the only positive number s = s(x) such that (/ + sA)x £ r dW. Show that s0 = infxers(x) > 0. Let it be not so. Then there exists such a subsequence {xn}+=*1 that s(xn) = 0. Choose from {xn} a converging subsequence
{xn}. Let x = limn^^ xn. For every n £ N and for every e > 0
[/ +(s(xn) + e)A]xn/W.
Passing to the limit, obtain
(/ + eA)x / ri W
which contradicts the hypothesis of the theorem.
Thus, s0 > 0. For any t0 £ (0; s0) is true (/ + At0) < 1, i.e. the operator A is strongly dissipative.
If A £ K(W), then for any e > 0 we have AX — ex £ Qx(W) (for any x £ rdW), i.e. Ax £ Qx. Conversely, if Ax £ Qx, then Ax — ex £ Qx at any e > 0, and A represents a limit point of the family of dissipative operators, i.e. A £ K(W). The lemma is proved.
Remark 4. Immediately from the Krein — Milman theorem [8] follows that it is sufficient to require from the lemma conditions that inclusions be satisfied not for all points x £ r dW, but for extremal points of W only. In particular, if W is a polyhedron, then it is sufficient to test its vertices only. Thus, to elucidate the question about dissipativity (strong dissipativity) of the operator with respect to the polyhedron, one should test only the fulfillment of finite number of linear inequalities.
Remark 5. In the proof lemma 2 we have used the obvious fact: the closure of the set K(W).
One more fact follows directly from lemma 2.
Lemma 3. The set K(W) is a closed convex cone. The cone of all strongly dissipative with respect to W operators coincides with ri K(W) and with (J£>0(K(W) — e/). If {Wv} is a family of convex compacts with 0 £ ri Wv for all v, then K({Wv}) is a closed convex cone.
Remark 6. If int W = 0, then int K(W) = 0. Indeed, if Aff W is invariant with respect to the operator A1, then A + eA1 / K(W) at e = 0. If int W = 0, then int K(W) is also non-empty and coincides with ri K(W).
Definition 4. The operator A £ K(W) is called stable (or roughly) dissipative with respect to W, if A £ int K(W).
Definition 4 generalize the definition of the stable dissipativity with respect to the norm [11, 19].
Pass to the consideration of operators dissipative with respect to interval spaces. Let find out for which interval spaces j the interior of the cone K(j) is not empty.
Let V be a set of all compact convex bodies in rn. Fix some norm ||.|| in rn and assume
d(W) = min ||x||.
*edw
Lemma 4. The function d(W) is continuous according to Hausdorff on the set V. Proof. First note that if X G V, Y G V, then pH(dX, dY) < pH(X,Y). Indeed, let pH(X, Y) < e. Then X C Y + S£ where S£ = {x G rn | ||x|| < e}. Let, further on, there exists such y0 G (dY) H X that y0 / S£ + dX. Construct at the point y0 a tangent hyperplane L to Y. Let l be the direction of the external normal to dY at the point y0 orthogonal to L. Draw a ray from the point y0 in the direction of l to the point x0 of crossing with dX. Construct such a ball S of the norm ||.|| with the center at the point x that y0 G dS. The radius of S is larger than e and S H Y = {y0}. Thus, if one constructs a ball S' C S of the radius e with the center at x0, then
S' H Y = 0.
But then x0 / Y + S£, i. e. X C Y + S£ what is contrary to the assumption.
The existence of such y0 C dY that y0 / X U (dX + S£) is also impossible, since then y0 / X + S£, i. e. Y C X + S£. Consequently, dY C S£ + dX, and that means d(X) < d(Y) + e. Similarly, d(Y) < d(X) + e. It means that |d(X) - d(Y)| < e, and the function d(W) is continuous on V. The lemma is proved.
Lemma 5. For non-emptiness of int K(j) it is necessary and sufficient for all the elements of the interval space j, except {0}, to possess non-empty interior. Proof. Necessity. Follows immediately from remark 6. Sufficiency. Show that under the conditions of the theorem the inclusion
-1 G int K(j) (6)
takes place.
To each point x (| x| = 1) we assign the set Wx according to the rule:
Wx = W.
Wsx, Wei
According to the conditions b) and c) from definition 1, Wx j. The set
W = |J Wx 11*11=1
is compact. Indeed, W is contained in any element of j containing unit ball of the norm ||.||; such an element exists due to non-emptiness of the interior of all intervals (except {0}) and the property a) from definition 1. Note that Hausdorff closure of the family {Wx | ||x|| = 1} represents a compact in the Hausdorff metric, contained in j (this follows from compactness according to Hausdorff of the family of all compact subsets of the compact [6]). From the property a) (definition 1) follows (by virtue of lemma 4) the existence of such e > 0 that d(Wx) > e for all such x that ||x|| = 1 (indeed, d(Wx) > 0, since 0 G int Wx). Thus, there exists such e > 0 that for all x (||x|| = 1) the inclusion
Ax e int W
is true if ||A|| < e.
In other words, Ax — x £ Qx(Wx) if ||A|| < e, ||x|| = 1 (see lemma 1). The more so, as Ax — x £ Qx(W) for all W £ j (W 9 x, ||A|| < e) at all such x that ||x|| = 1. But then Ax — x £ Qax(aW) for all a > 0, ||A|| < e. Hence, A — / £ K(j), i.e. (6) is satisfied. The lemma is proved.
Thus, we have shown that under the conditions of lemma 5 K(j) is a convex solid cone. Definition 5. The operator is stable dissipative with respect to the interval space j if it belongs to int K(j).
For stable dissipative operators the remark 2 is true: if an operator is stable dissipative with respect to the family of compacts and the interior of at least one of them is not empty, then it is stable dissipative with respect to some norm.
1.3. The Wrapping Effect for Autonomous Systems
The results of the previous section can be applied to the study of the wrapping effect. First we give the exact definition of what we understand by the wrapping effect.
Let in the vicinity of a compact convex body B C rn be given a smooth autonomous system
I = >(7)
with B positively invariant with respect to (7), and let x(0) be determined inexactly, namely
x(0) £ x0 + W0,
where x0 £ B, W0 £ j, x0 + W0 £ B, j is some interval space (see definition 1).
Remark 7. Irrespective of particular numerical method (i. e. dealing with the exact solution of the initial value problem for (7) with the initial conditions x(0) = x0) a stepwise interval solution with step h > 0 can be described as follows.
Let Th be the transformation of the phase flow of (7) during the time t (shift over time t), W0 £ j is the initial interval (its sense is an uncertainty in initial data). Assume
X0 = x0 + W0,
Xm+1 = T(m+1)hx0 + Wm+1,
Wm+1 = p| W,
w Dwm+x(h),w eJ
Wm+i(h) = Th(Tmhx0 + Wm) — T(m+1)hx0. The sequence {Xm}m°=0 is the exact stepwise interval solution of (7).
Definition 6. The absence of infinitesimal wrapping effect (IWE) means that for any h > 0 the sequence {Wm}m°°0 is enclosed: Wm D Wm+1 for all m, i.e. the obtained intervals do not expand.
With IWE the intervals expand along any trajectory (7) for any small step, and that means that when solving a system by a stepwise interval numerical method with any small step the interval expansion takes place for any initial data irrespective of the applied method (since it is true even for exact solutions).
Generalizing the construction [10] for norms, introduce the following functional:
Uw (x + hy) - Uw (x)
Nw(x, y) = lim ---.
h^+0 h
Literally (with substitution of the norm for Minkowski functional) repeating the reasoning from [10] (pp.127, 426), come to the following statements.
Statement 1. If x(t) with values in rn is differentiable on connected subset T of the real axis, and W is a convex compact (0 G ri W), then the function uw(x(t)) is almost everywhere differentiable on T and the derivative (where it exists) coincides with the right-hand derivative, equal to Nw(x(t), s(t)). The right-hand derivative of uw(x(t)) exists everywhere on T except the right-hand end.
Statement 2 .
Yw(A) = sup Nw(x, AX).
*ew
By f '(x) further on we denote the mapping derivative of f.
The main part of further results on IWE can be obtained from the following theorem.
Theorem 1. Let in the region U C be given a smooth autonomous system (7), B C U be positively invariant with respect to (7) compact convex body. IWE is absent for compact B, system (7) and interval space j if and only if
f'(x) G K(j) (8)
for all x B, i. e. for any x B the Jacobi matrix of system (7) in the point x is strongly dissipative with respect to j.
Proof. Sufficiency. Let W G j. Consider two solutions x1(t),x2(t) of system (7) with initial conditions from B. Denote A(t) = x1(t) - x2(t). Using statements 1 and 2 and the theorem on finite increment, estimate the derivative of uw(A(t)):
d
-uw(A(t)) = Nw(A(t),dA(t)/dt) < dt
< sup Nw(A(t), f'(xc(t))A(t)) < 0<©<1
< sup Yw(f'(xc(t)))uw(A(t)), 0<©<1
where xc(t) = x1 (t) + O(x2(t) - x1(t)), 0 < O < 1 for all t > 0. By (8) and statement 1 we obtain
d
-Uw(A(t)) < 0.
Since the latter inequality holds for all t > 0 and for all W G j, in system (7) on B IWE with respect to j is absent.
Necessity. Let W G j, x0 G int B, t0 > 0, y G AffB, y = 0. There exists such h0 > 0 that x0 + h0y G B. Due to smoothness of system (7) there exist and are unique the solutions x1(t),x2(t) of the initial value problem for (7) with the initial conditions x1(t0) = x0, x2(t0) = x0 + h0y. Assume A(t) = x1(t) - x2(t). Then
d
— ln Uw (A(t))|t=to =
( A(tp) ) A(t0)
NW -/w.n ,f (xc)
V^w(Afo))" v c>w(A(t0)) NW ( ^w (y)' f (xc) ^w (y)) '
where xc = x0 + 6h0y, 0 < 6 < 1. By virtue of absence of IWE
d
-ln^w(A(t)) < 0 dt
for all t > 0. Since if x0 + h0y £ b, then:
(a) x0 + hy £ B for all h £ [0; h0],
(b) a set of those h £ [0; h0], for which
NW(^w(y)(x) < 0'
is dense on the segment [0; h0], and (c) due to its closeness coincides with this segment.
By virtue of the arbitrary choice of x0 for any x0 £ int B, t > 0, y £ Aff B, y = 0 the inequality
Nw(^(y)f (x)^yO < 0
is satisfied. It holds also for any x £ B,t > 0,y £ Aff B, y = 0. Hence, from lemma 1 and statement 2 immediately follows dissipativity of f'(x) with respect to j for all x £ B. The theorem is proved.
Definition 7. The family of linear operators {Aa} is called simultaneously dissipative, if there exists a norm relative to which all the operators are dissipative.
Simultaneously dissipative operators were studied in detail in [11, 12, 17-22]. From theorem 1, example 3, and remark 2 we obtain the following theorem. Theorem 2. For existence of interval space in which at least one interval possesses nonempty interior and with respect to which in system (7) there is no IWE on B, it is necessary and sufficient for the family {f '(x) | x £ B} to be simultaneously dissipative.
Thus, the problem of existence of the interval space, with respect to which IWE is absent, is reduced to the problem of simultaneous dissipativity of Jacobi matrices. As sought for space one can choose a set of all balls of that norm relative to which all Jacobi matrices are dissipative. This norm is constricting for (7) on B (i. e. the distance between two solutions with initial conditions from B will not expand with time). Hence, all systems without IWE (with respect to some interval space) on B are globally stable in B (see introduction).
Bellow by C 1(B) we denote the Banach space of smooth mappings of B in rn with the norm
" df
c!(b) = m£f ||f (x)|
fc=1
where ||.|| is a fixed norm in rn.
Further on, speaking about properties of autonomous systems, we mean the properties of the vector fields generating them.
Immediately from lemma 3 and theorem 1 the following statement can be obtained. Theorem 3. The set of systems on B without IWE with respect to j is closed convex cone in C 1(B).
For this cone we use the notation FB(j).
Further on, speaking about the vicinity of an autonomous system in C1 (B) we mean a part of the vicinity, consisting only of those systems for which the set B is positively invariant. Let us study under what conditions the interior of the cone FB (j) is non-empty. Theorem 4. For non-emptiness of int FB(j) in C 1(B) it is necessary and sufficient for all elements of j, except {0}, to possess non-empty interior.
Proof. Necessity. Let exist such a set W G j that int W = 0. Consider any system (7) without IWE with respect to j on B. Since int B = 0, there exist two different concentrical balls S1 and S2 of usual l2-norm, belonging to int B with S1 C S2. Construct such a function g G C^(rn) that g(x) = 1 for all x G S1 and g(x) = 0 at all x / S2. Since Aff W = rn, one can construct a linear operator A G L(rn) mapping Aff W into such a subspace E0 = {0} that (Aff W) H E0 = {0}. Consider the system
dx
— = f (x)+ eg(x)AX, (9)
dy
where e > 0 is arbitrary. The set B is positively invariant with respect to (9), since the vector field generating (9) coincides with f in the vicinity of SB. On the other hand, there exist Jacobi matrices (9) relative to which Aff W is not invariant, i. e. in (9) exist IWE with respect to j on B. Since in any vicinity of f there is at least one vector field, generating (9), then
int fb(j) = 0.
Sufficiency. Consider the system dx/dt = -x. It is a system on B without IWE with respect to j. Furthermore, if all elements of j, except {0}, possess non-empty interior, then by lemma 5 the matrix of the system is stable dissipative with respect to j (see definition 5). Consider the system:
^ = -x + v(x), (10)
dy
where ||v||Cl(£) < e with e chosen so that
A - 1 G K(j)
if || A|| < e (see the proof of lemma 5). Then all Jacobi matrices (10) are dissipative with respect to j, and if v is chosen so that B is positively invariant with respect to (10), then in (10) IWE is absent (by theorem 1). The theorem is proved. Thus, int FB(j) = 0 if and only if int K(j) = 0.
It is easy to see that in the proof of sufficiency in theorem 4 one can instead of the system dx/dy = -x consider any syste whose Jacobi matrices are stable dissipative with respect to j.
Remark 8. By analogy with the space C 1(B) one can construct the Banach spaces Ck(B) (k G N) with the norm
k
||f ||c k (B) = Emax n(Daf )(x)||,
|a|=0
where a = (a1,..., an) is a multiindex:
d H /
|a| = ai + ... + f
Sx^1... Sx:
an n
and the metric space Cœ(B) with the system of seminorms
{m ax ||(D«/)(x)|||M< m}m=o-
Small Ck-additions (1 < k < +œ) are small and in the C1-norm. Therefore, for Ck-smooth systems under the conditions of theorem 4 the interior of (j) is non-empty and in Ck (B). As shows the proof of theorem 4 (necessity), if conditions of the theorem are not satisfied, then the interior of (j) in Ck (B) is empty.
Let clarify what autonomous system without IWE in specific interval spaces looks like. Theorem 5. Any system without IWE with respect to j from example 1 has the form:
dx
— = ax + c, dt
where a < 0, C G is a constant vector.
Proof. Let A G K (j). All the segments symmetrical with respect to 0 belong to j. Every such a segment has the form {y G rn|y = ax, |a| < 1} for some x G The cone (see lemma 2) for each segment consists of vectors of the form ax, where a < 0. Thus, every non-zero vector x G is eigenvector of the operator A, corresponding to non-positive eigenvalue. Thus:
K(j) = {a/1 a < 0}. Let now a system without IWE have the form
dxi , s
— = /i(xi,...,xra);
dxn , dt
According to (11) and theorem 1
/n(x1, • • • , xn) •
I - 0(i=j);
(ii)
(12)
d/i _ /
Ôx1 ÔXo
< 0.
(13)
From (12) follows that fk depends only on xk (k = 1,... ,n). It means that Sfk/Sxk also depends only on xk, i.e. by virtue of (13) Sfk/Sxk = const (k = 1,... ,n). Then
and the system has the form:
/ = / =
dx dt "
- d/n - a < 0
dxn
ax + c,
where a < 0, c = const. The theorem is proved.
Thus, whatever nonlinear (or even linear with non-scalar matrix) system we consider, if we take as j the interval space of example 1 (or any wider space), IWE will be present in the system. From theorem 5 also follows that any dissipative with respect to all norms operator has the form a/, where a < 0 (see also remark 3).
Example 6. Consider j from example 2. j contains all symmetrical with respect to 0 segments of coordinate axes (thus, the conditions of theorem 4 are not satisfied, i. e. int FB(j) = 0). Let A G K(j). Reasoning like in proof of theorem 5, conclude that all coordinate axes are eigenspaces of the operator A, corresponding to non-positive eigenvalues. In other words, the matrix of the operator A is diagonal and non-positive. On the other hand, by virtue of lemma 2, all such operators belong to K(j). Thus, systems without IWE with respect to j on B have the form
dx1 p / \ ~dt = f1(x1);
dxn _ P / \
IT = fn (xn)
where
f < 0(k = 1,...,n) dxk
for all x B.
From the considered example follows that when using standard intervals (rectangular parallelepipeds) IWE will be observed in almost all systems in rn if n = 1.
The systems without IWE with respect to j from example 3 on B represent all systems for which the norm ||.|| is constricting in B (see the text after theorem 2).
Remark 9. Note that testing of dissipativity (stable dissipativity) of the operator with respect to the norm is equivalent to non-positiveness (negativeness) of the corresponding Lozinsky norm. For some norms an explicit form of corresponding Lozinsky norm is known (see, for example, [9] or [10, p. 463-465]). In particular, for the Euclidean norm the Lozinsky norm of the operator A coincides with the largest eigenvalue of the operator (A* + A)/2. The Lozinsky norm of the operator A represented by the matrix (a^-)™j=1 with respect to l1 - and 1M-norms is given by the formulae, respectively:
max (Re aü + |a,-J);
1<i<n ' J
max (Re aü + |ai?-1).
1<i<n ' J
In remark 9 it is assumed that the operator A acts in the space Cn. The definitions and used here properties of dissipative operators in complex spaces are analogous to those in real ones.
Example 7. Let j be the interval space from example 4. Then
k (j)= h kl.ll
1<fc<m
where Ky.yfc is the cone of all operators dissipative with respect to the norm Ky.yfc. It follows from the closure under intersection of the family of all positively invariant sets of an autonomous system. Similarly,
int K (j)= p| int K||.||
1<fc<m
k
k
Let, for example, ||.||i be /^-norm, ||.||2 be /2-norm in r2. Then the conditions of stable dissipativity of the operator A with the matrix (a^-)2?=1 with respect to j according to remark
9 are of the form:
4ana22 > («12 + «21 )2; «11 + |«121 < 0; , |«211 + «22 < 0.
Thus, for the system of the form
dx1 r / \ ~dt = f1(X1 'X2);
~dt = /2(X1'X2)
(14)
if the inequalities
4 / ■ / >
öx1 öx2 \öx2 öx1
/ + /
öx1 d/2
+
d/1
öx1
dx2 /
dx2
< 0; < 0
are satisfied and the compact convex body B is positively invariant with respect to (14), then in (14) IWE with respect to j (from example 4) is absent on B. For example, such is the following system:
dx1
— = -2xi + x2; dt
dx2 0 Q
—-— = 2x1 — 3x2 dt
if B is the square {(x1,x2) | |x1| < 1, |x2| < 1} or the circle {(x1 ,x2) | xf = x2 < 1}.
Example 8. Consider j from example 5. Let Q be rectangular triangle with vertices at the points (—1;2);(—1; —1); (1; —1).
From lemma 2 and theorem 1 follows that the cone (j) consists of the systems of the form (14), with respect to which the compact B is positively invariant and for which
d/1 d/1
7T1 + 7T1 < 0;
dx1 dx2
d/1 — 2/ < 0;
dx < / +
dxi
dx2 d/2
dx2
< 0;
d/1 d/1 / „ /
-3^- + 6-^- - 2-^ + 4^ < 0;
dx1
dx2
dxi
dx2
3 / - 3 / + 2/ - 2/ < 0
dxi
dx2
dx1 dx2
2
is true.
Substituting all the inequality signs in (15) by strict ones, obtain int FB(j). For example, the system
dx1
"dT = -x1;
dx2
—— = -6x1 - 4x2 dt
belongs to int FB (j) for B = Q.
Corresponding ball S (see remark 2) is the parallelogram with the vertices in the points (-1; 2); (-1; -1); (1; -2); (1; 1). From remark 2 follows that
K(j) = K(Q) C K(S).
One can see that K(j) = K(S). For example, the operator given by the matrix
-4 -1 20
is dissipative with respect to S, but it is not dissipative with respect to j. In other words, in the systems without IWE with respect to {aS | a > 0} (i. e. constricting according to the norm whose ball is j) there can be observed IWE with respect to j.
This example can be generalized as follows. Consider j from remark 2. In system (7) on B IWE is absent with respect to j if the operators f '(x) for all x G B are dissipative with respect to all sets Qk (k = 1,..., m).
To sum up, one can say the following. When using sufficiently wide interval spaces, then in accordance with theorem 4, IWE is observed in almost all systems. In particular, IWE takes place almost for all systems when using standard intervals (see example 6). Expansion of the interval space results in the appearance of new systems with IWE: thus, in using a set of all symmetrical to 0 convex compacts IWE is absent only for linear systems with non-positive scalar matrices. And the most impotent: the question about the existence of interval space, with respect to which in the considered system IWE is absent, is reduced to the problem of simultaneous dissipativity of the Jacobi matrices. Therefore, there is no interval space with respect to which all (or even if in some sense almost all) globally stable systems would have no IWE. One has to solve individually problems of the existence and constructing of corresponding interval spaces for each particular system. These problems are solved constructively very rarely.
We have treated the wrapping effect in a very strong sense. The condition of boundedness of the sequence of intervals {Wm}m=0 at any step h > 0 (see remark 7) is weaker (and acceptable, generally speaking, for constructing sufficiently narrow interval solutions). This condition can be called the condition of absence of the asymptotic wrapping effect (AWE). It is the weakest from acceptable conditions, since with AWE it is impossible to use stepwise interval methods to obtain narrow interval solutions at large times. The study of AWE is still not completed. It is evident only that for a linear autonomous system in considering the interval space from example 3 AWE is equivalent to IWE. One can suggest a hypothesis: the problem of existence and constructing of the interval space with respect to which AWE is absent in the autonomous system is reduced to the question of simultaneous dissipativity of Jacobi matrices (and of constructing a constricting norm).
2. Conditions of Simultaneous Dissipativity of Operators 2.1. Some General Results
In the present section some conditions of simultaneous dissipativity of the operators will be considered (see definition 7).
A definition of a simultaneous dissipativity can be generalized in such a way. Definition 7'. A family of linear operators {Aa} is called simultaneously stable dissipative if there exists a norm with respect to which all operators Aa are stable dissipative.
Lemma 6. Let the space be expanded into direct sum of subspaces E (i = 1,... , k) and each of them is invariant with respect to all operators of the family {Aa}. Further on, let restriction of the family {Aa} on any E be simultaneously (simultaneously stable) dissipative. Then {Aa} is simultaneously (simultaneously stable) dissipative.
Proof. Let ll-ll^ (i = 1,... , k) be the norms in E in which the restrictions of {Aa} on E are simultaneously (simultaneously stable) dissipative. Define the norm in in this way:
xll =
£
i=1
where x = k=1 x^ with x^ G E (i = 1,... , k).
In this norm all operators Aa are simultaneously (simultaneously stable) dissipative. The lemma is proved.
It is known [7] that for one operator the norm with respect to which it is dissipative exists if and only if the spectrum of the operator lies in the closed left half-plane and the boundary part is diagonalizable (i. e. Jordan boxes corresponding to pure imaginary, including zero ones, eigenvalues are diagonal). The norm, with respect to which the operator is stable dissipative, exists if and only if the spectrum of the operator lies in the open left half-plane.
Several stable dissipative (in their own norms) operators not necessarily are simultaneously dissipative. To demonstrate that, consider operators represented by the matrices
Ai
-1 3 0 -1
a2
-1 0 3 -1
Each of them is stable dissipative in its norm (due to the location of the spectrum). But
Ai + A2
-2 3 3 -2
The spectrum of the operator (A1 + A2) contains the point A =1 which does not belong to the closed left half-plane. Thus, the operator (A1 + A2) is not dissipative in any norm. By lemma 6 the operators A1 and A2 are not simultaneously dissipative.
The problem to find out necessary and sufficient conditions of simultaneous dissipativity of an arbitrary (even finite) family of operators seems to be very difficult. Nevertheless, one can obtain some sufficient conditions imposing different constraints on the operators. Obtain the sufficient condition of simultaneous dissipativity of the family generating a solvable Lee algebra. Remind [13] that a family of matrices generates solvable Lee algebra if and only if all elements of this family are simultaneously reducible to triangular form (generally speaking in complex basis).
Theorem 6. Let the family {Aa} be compact and generate solvable Lee algebra, and the spectrum of each operator lies in the open left half-plane. Then {Aa} is simultaneously stable dissipative.
Proof. First consider the case of complex space cn. Consider matrices of the operators in the basis where they are of triangular form.
Let each matrix have the form
A
( Ala) 0 ^21 A2
Show the existence of such a set of positive numbers {ck}n=1 that all are stable dissipative in the norm
II II |Zfc 1 (^R\
||z|| = max --(16)
1<fc<ra Cfc
(here zk is the k-th coordinate of the vector z in the given basis), whose unit ball is the polycylinder
|zk|< cfc (k = 1,... ,n). (17)
If {ek}]J=i is the considered basis, then, evidently, norm (16) coincide with the /^-norm with respect to the basis {ck/ek}n-j=1 in the norm (16):
0 0
0 0
0 0
(a)
Re aii + Cla jI < 0 (i = 1
, n).
(18)
For the matrices the conditions (18) look like this:
Re A^ < 0;
Re A2a) + ^ < 0; C2
Re A^ + C1 + ... + ^l^t-i)! < 0.
(19)
Suppose ^ = supa k=1 )|; A = — supa k Re A^. From the conditions of the theorem follows that 0 < A < 0 < ^ < To fulfil (19) for all it is sufficient that the
inequalities
(c1 + ... + Cfc-1)^ < cfcA (k = 1,..., n); C1 > 0 (20)
be satisfied.
Show the solvability of system (20). Let c1 = 1. Choose the others ck so that
C2 > ^/A; C3 > (1 + C2 WA;... ;
C„ > (1 + C2 + ... + Cn-1 WA. Then the inequalities (20) are satisfied, i.e. all operators Aa are stable dissipative in the norm
(14).
Let now operators Aa act in the space In usual way complexify and the family Aa. Then, as it has been described above, construct a cylinder (17). Intersection of (17) with the initial space produce a ball of the norm in which all Aa are stable dissipative. The theorem is proved.
If instead of stable dissipative operators one considers dissipative operators, then the analog of theorem 6 is not true, starting from real dimension 4. Let
A1
i 1 0 2i
A
2=
2i 1 0i
Each of the operators A12 is dissipative in its norm. The finite family is compact, the matrices A1 and A2 generate solvable Lee algebra. Nevertheless
A1 + A2
3i 2 0 3i
The only eigenvalue of the operator (A1 + A2) is pure imaginary, with the matrix of this operator representing (up to a constant factor) non-trivial Jordan box. That means it is not dissipative in any norm, i. e. A1 and A2 are not simultaneously dissipative. To obtain a real example, one has to make the matrices A1 and A2 real:
AR
R
0 -1 1 0 0 -2 1 0
1 0 0 1 • ar = • A2 — 2 0 0 1
0 0 0 -2 0 0 0 -1
0 0 2 0 0 0 1 0
To keep true the statement about simultaneous dissipativity for nonstable dissipative operators, it is sufficient to strengthen the requirement of solvability up to nilpotency. Remind [13] that for each linear operator A in the space E the operator ad A in L(E) is defined:
(ad A)B = AB - BA.
The family {Aa} generates the nilpotent Lee algebra if and only if there exists such a number m G N that for any set of {Aak }m=1 (among the elements of which there may be the same ones) and for all a:
JJ(ad A«fc )AC k=1
0.
(21)
m
Nilpotent Lee algebra is always solvable. Commutative Lee algebra is nilpotent (for it 1) and solvable.
Theorem 7. Let the family {Ak} be finite and generate nilpotent Lee algebra, and for each operator Ak exist a norm with respect to which it is dissipative. Then {Ak} is simultaneously dissipative.
Proof. Without loss of generality one can assume that among the operators Ak there are no scalar ones (if A = a/, where Re a < 0, then A is dissipative in any norm) and exists at least one operator (denote it A1), among eigenvalues of which there are pure imaginary (otherwise we are under the conditions of theorem 6).
First assume that Ak operates in cn. We prove the theorem by induction on dimension of space. In dimension 1 the statement of the theorem is trivial. Show that one can expand all the space cn into a direct sum of two non-trivial subspaces invariant with respect to all Ak. Since in both of them the conditions of the theorem (for corresponding restrictions of {Ak}) are satisfied, then to complete the proof one has to use lemma 6.
Let A be an imaginary eigenvalue of A1; E' be the corresponding to A eigen-subspace (by virtue of diagonalizability of boundary part of A1 it coincides with whole corresponding root subspace); E'' be the sum of root subspaces corresponding to all the others eigenvalues of A1. Evidently, cn = E' © E'' (the sign © means direct sum); E' = cn, otherwise the operator A1 is scalar. Show the invariance of E' and E'' with respect to all Ak.
Let x £ E'. Then
A1x = Ax.
On the other hand, in accordance with (21) there exists such m £ N that (ad A1)mAk = 0 for all k and
(A1 — A/)mAfc x = 0.
A more general fact is true: if Ax = 0 and (ad A)mB = 0, then AmBx = 0. For m = 0 the fact is obvious. Let that be true for m = r. Assume
Ax = 0; (ad A)r+1B = 0.
Then (ad A)r(ad A)B = 0, and according to the inductive hypothesis
Ar (ad A)Bx = 0.
But Ar+1Bx = Ar (BAx + (ad A)Bx), i. e. Ar+1Bx = 0, as was to be proved.
As a consequence of coincidence of E' with the whole root subspace, corresponding to A, we have:
(A1 — A/)Ak x = 0,
i. e. A1 Akx = AAkx, Akx £ E'.
Show now the invariance of E''. Let {ej }n=1 be the Jordan basis of the operator A1 with E' being corresponded to the vectors {ej }j=j1. One has to show that for any j less then j or more then j2 the coordinates of Akej with the numbers from j to j2 with respect to the assigned basis are equal to zero. Let it be not so and exist such j' that e^ £ E'', but the j\-th coordinate (j < jo < j2) of the vector Ake^/ is a = 0. Write it like this:
Afc ej7 = ... = aejo.
Let ej/ be an eigenvector of A1 corresponding to the eigenvalue ^ = A. Then (ad A1)Afcej/ = A1(... + aeio) — .. + aeJ0) = ... + (A — ^)aeJ0.
Verify that
(ad A1)mAfc ej/ = ... + (A — ^)maeio.
For m = 0 it is obvious. Let it be satisfied for m = r. Then
(ad A1)r+1Afc j = (ad A1)(ad A1)rA^-/ = A1(ad A1)rAke^ - (ad A1)rAkA1ej/ =
= A1(... + (A - u)raej0) - u(ad A1 )rAkej/ = ... + (A - u)raAej0 - u(A - u)raej0 =
= ... + (A - u)r+1aeio >
i. e. that is true also for m = r + 1, and, hence, for all m G N. Thus,
(ad A1)mAfcej/ = ... + (A - u)maeJ0 = 0
for any m N, which contradicts (21).
Let now ej/ be a root (but not eigen) vector, corresponding to the eigenvalue u, with the j0-th coordinate of the vector Akej/-1 equal to 0. Then
(ad A^Afcej/ = A^... + aeJ0) - Afc(ej/— + uej/) = ... + (A - u)aeJ0.
Analogously
(ad A1)mAfcar = ... + (A - u)maej0 = 0
for any m N, which contradicts (21).
Since the sequence of basis vectors belonging to the root subspace begins with the eigenvector, the required statement for complex space is proved.
The transfer onto the case of real space can be done in the same way as in the proof of theorem 6 (the ball of corresponding norm in the copmlexified intersects with Rn). The theorem is proved.
From theorems 6 and 7 follows, in particular, that a finite (compact) commutative family consisting of operators dissipative (stable dissipative) in their own norms is simultaneously dissipative (simultaneously stable dissipative).
2.2. The Mass Action Law and Dissipative Mechanisms
Some constructive conditions of simultaneous dissipativity can be obtained for finite families of operators of rank 1. The problem of the absence of wrapping effect in the system constructed in accordance with the Mass Action Law (MAL) is reduced to the problem on simultaneous dissipativity of such operators.
MAL systems appear from mathematical description of systems of chemical and biological kinetics and in some other problems. To the considered process is assigned an algebraic object, called reaction mechanism and having the form:
ar1A1 + ... + arraA„ ^ &1A1 + ... + ^r„A„ (r = 1,..., d). (22)
Speaking in terms of chemical kinetics, the reaction mechanism is a list of stoichiometric equations of elementary reactions (22). In this case A1;... , An are the substances taking part in the reaction; are the non-negative integers called stoichiometric coefficients and
showing in what amount the particles of Aj enter into the r-th elementary reaction as the initial substance (ari) or product (^ri). The following notations are accepted: Yri = - ari, Yr is the vector with the components Yri (i = 1,... , n) — so-called stoichiometric vector of the r-th elementary reaction.
In accordance with MAL [14,15], to the mechanism (22) corresponds the following system of ordinary differential equations:
^ = ¿ YriW (23)
r=1
where Cj(t) is the concentration of substance A at the moment of time t > 0,
j=i
is the rate of the r-th elementary reaction, continuously depending on time. In particular, if reaction proceeds under constant external conditions, then kr(t) = const (r = 1,... , d) and kr is called rateant of the r-th elementary reaction. In the latter case (23) represents an autonomous system with polynomial right sides.
Let L be a linear hull of the family {Yr }d?=1. If L = Rn, then there exist such « (i = 1,... , n), not all equal to zero, that for all r = 1,... , d the equalities
n
y^ «¿7™ = 0 i=1
are satisfied, from which for system (23) follows that
n
^^ajCj(t) = const. (24)
¿=1
Relationships (24) are called stoichiometric conservation laws. If all « are positive, then the corresponding stoichiometric law is called the positive conservation law [15]. In MAL positive conservation laws takes place rather often (but not always).
As it is known [15], balance polyhedrons are intersections of affine subspaces of the form (L + c), where c is a constant vector, with a cone of non-negative vectors (first orthant) in Rn. Balance polyhedrons represent positive invariant with respect to (23) convex sets (one can find the proof of their positive invariance in [15]). If there exists at least one of positive conservation law, they are compact.
The question arises: under what conditions does the norm exist in Rn according to which the system (23) is constricting in all balance polyhedrons and independent of rate constants?
Definition 8. Mechanism (22) is called dissipative, if for system (23) there exists a norm, constricting in all balance polyhedrons irrespective of rate constants (in other words, the constricting norm depends on the mechanism only).
We use the notation Mri for the operator in Rn, represented by the matrix, in the i-th column of which there are components of the vector Yr, and on other places — zeros. The subspace L is invariant with respect to all Mri [15]. The notation M^ stays for restriction of Mri on L.
Theorem 8. Let for mechanism (22) exist at least one positive conservation low. This mechanism is dissipative if and only if the family {M^ | > 0} is simultaneously dissipative.
Proof. Sufficiency. It is known [15] that the Jacobi matrix Jc of system (22) at the point c, whose coordinates are positive, has the form
Jc =^2 anWM„. (25)
ari >0 1
Matrices Jc belong to the convex cone produced by the family {Mri| ari > 0}. Besides, the difference of any two solutions (23) from one balance polyhedron belongs to the subspace L. Under the conditions of lemma 3 and theorem 2 obtain the existence of constricting norm in the subspace L. It can be expanded onto all
Necessity. Matrices Mri (ari > 0) belong to the closure of the family of matrices Jc for arbitrary non-negative vectors c and rate constants kr. To prove this, first let consider the case when Cj (j = 1,..., n) and kr are fixed and all k^l = r) tend to zero. In the limit in (25) only the sum for given r is left. Further on, fix all Cj > 0 (j = i) and let c tend to zero, changing kr so that the equality ariwr/cj = 1 holds true. Then all the terms except one tend to zero and in the limit we obtain Mri.
Thus, the matrices M^ (ari > 0) belong to the closure of the family of restrictions of the matrices Jc on the subspace L. Hence, according to lemma 3 and theorem 2 the necessity follows. The theorem is proved.
Note that matrices Mri represent matrix-columns (in each matrix there is only one nonzero column) and that means that the rank of each of them is equal to unity. We come to the problem of simultaneous dissipativity of the finite family of operators of rank 1.
Note that dissipative mechanisms of reactions were studied in details in [12]. In particular, some classes of dissipative mechanisms are pointed out and all dissipative mechanisms for n = 3, ari < 3, £3=1 A-i < 3 (r = 1,..., d), C1 + C2 + C3 = const enumerated.
In the next subsection are obtained necessary and sufficient conditions of simultaneous dissipativity of the operators of rank 1 in r2 (corresponding to the case dim L = 2) and some sufficient conditions of simultaneous dissipativity of matrix-columns.
2.3. Constructive Conditions of Simultaneous Dissipativity of One-Dimensional Operators
Before consideration of simultaneous dissipativity of operators of rank 1, find out what can be said about dissipativity of one such operator. From necessary and sufficient conditions (see the paragraph after lemma 6) follows that the norm in which the given operator of rank 1 is dissipative exists if and only if it has a negative eigenvalue.
Positive semi-trajectories of system (3) corresponding to the initial condition x(0) = x0 are in this case rectilinear segments parallel to the image of A and connecting x0 with Ker A. Operator A of rank 1 is dissipative in the given norm if and only if for any point x (||x|| = 1) there exists such e > 0 that ||x + eAx|| < 1. It means that the negative number belongs to the spectrum of A, and the image of A is orthogonal to its kernel (in the given norm, the subspace E2 is orthogonal to E1 if ||x + y|| > ||x|| for any x G E1;y G E2 [7]).
Let now be given a family {Mk}m=1 of operators of rank 1 in rn. Each of them can be represented in the form (• ; ^, i.e. Mkx = (x ;^where (• ; •) is the standard scalar product in rn. The vectors and ^ are determined by the operator Mk unambiguously (up to scalar factors). Let Ak = ; ^), i.e. Ak is an eigenvalue of Mk (either it is the only nonzero eigenvalue, or 0, if the operator Mk is nilpotent). As it has already been mentioned, for simultaneous dissipativity of {Mk} the conditions
Afc < 0 (k = 1,..., m) (26)
are necessary.
Assign to each operator Mk the projector Pk projecting parallel to the image of Mk on the kernel of Mk. It is easy to see that Pk = I - Mk/Ak. By virtue of the mentioned above condition
of dissipativity of the operator of rank 1 in the given norm the operator Mk is dissipative in some norm if and only if Pk is constriction in this norm.
All Pk can be constrictions in one norm if and only if all products of the form q=1 Pkj (q G N is arbitrary; kj G {1,... , m} and they are not necessarily different) are jointly bounded. We come to the following conclusion.
Lemma 7. The family {Mk}m=1 of operators of rank 1 is simultaneously dissipative if and only if the conditions (26) are satisfied and all products of the form Y\q=1 (q G N is arbitrary; kj G {1,...,m} and they are not necessarily different) are jointly bounded. As a constricting norm one can take
|x|| = sup {||x||o, ||(JJ Pfcj)x||0}, (27)
j=i
qeN,l< kj<m
where ||.||0 is any norm in Rn.
Proof. All statements of the lemma, except the latter, follow immediately from the above
reasoning. Further on, if all products q=1 Pkj are jointly bounded, then
q
sup {||x||o, ^(TT Pfcj)xL} < TO
qeN,1< kj <m
j=1
for each x G rn. This expression possesses all properties of norm and all operators Pk are constrictions in such norm, i. e. all Mk are simultaneously dissipative. The lemma is proved. From lemma 7 follows a simple consequence.
Corollary 1. If all are collinear (images of Mk coincide) or all are collinear (kernels of Mk coincide) and (^k; ) < 0 for all k = 1,... , m, then the operators Mk (k = 1,... , m) are simultaneously dissipative. As corresponding constricting norm one can take
sup {||x||o, ||Pkx||o}.
q€W,1<kj <m
To demonstrate this, it is sufficient to note that in these cases
q
n pkj = pki j=1
or
q j=1
respectively.
Remark 10. If not all are collinear, then as a norm in lemma 7 one can take
q
sup ||(n Pkj)x|| (28)
q€W,1<kj <m j=1
The criterion established in lemma 7 is not constructive. Constructive criteria of simultaneous dissipativity of finite family of operators of rank 1 in rn have been obtained only at n = 2 (for arbitrary n there exist sufficient conditions for one class of operators; they are given at the end of the section). Pass to the consideration of the case n = 2.
Consider the family {Mk}m=i of the operators of rank 1 in r2. As before, represent each operator Mk in the form (• ; )pk. Let first m =2.
Lemma 8. The operators M1 = (• ; )pi and M2 = (• ; ^2)p2 are simultaneously dissipative in r2 if and only if the condition
(pi; ^2) • (P2; < 1 (29)
(pi; • (P2; ^2) _
is satisfied together with the conditions
(pi; ^i) < 0; (p2; ^2) < 0. As a corresponding constricting norm one can take
||xH = max{||x||o, ||Pix||o, ЦР2ХЦ0, ||PiP2x||q, ЦР2Pix||o}. (30)
Proof. In r2 the projectors Pi and Р2 have rank 1 and are represented in the form
pi = (•; ni)xi; Р2 = (; П2)Х2,
where Пъ П2, Хъ X2 are some vectors in r2.
The operators ГТ/^ Pkj are bounded when the spectrum of the operator (PiP2) lies on the segment [-1; 1]:
l(xi; П2) • (X2;ni)l< 1. (31)
In a standard orthonormalized basis Pk acts like this Pfc x =
1 //x(iM ( pf\\ ( ^
(p*; ^) VV x(2V V // V
where
a(1) a(2)
denotes the vector with the coordinates a(1) and a(2). Hence
(ni; X2) = 7Pi
(xi; П2) =
(P2; (P2;
(Pb ^1)'
i.e. condition (31) takes the form (29).
To complete the proof, use lemma 7. To check a possibility of choosing corresponding norm in the form (30), note that
(p1p2)r P = (m; X2)r • (%; X1)r • P1; (¿W P = (m; X2)r • (n2; X1 )r • P
for any r G N .It means that with the account of (31), in (27) one can restrict oneself to finite number of products. The lemma is proved.
Remark 11. If ^ and are non-collinear, then as required norm we can take
max{||Pix||o, ||P2x||o, H^P^Ho, HP^Ho}.
This follows from remark 10. Then the ball of the norm is determined by the inequalities
,/ ■ 1 1
|(x; n1)l < mm |(x; n2)| < min
Mo' l(xi;n2)| ■ IIX21|o J ' 1 1
Mo' |(X2;ni)| ■ Mo.
i.e. it is parallelogram.
Also notice that for simultaneous dissipativity of a family the dissipativity of each operator from convex hull of the family is insufficient. To see this, consider the operators represented by the matrices
/ -1 1 \ /00
Mi = ; M2 =
\ 0 0 J \ -2 -1
Each of them is dissipative in its norm. It is easy to show that spectrum of any non-trivial convex combination of M1 and M2 lies in open left half-plane. Nevertheless
(Pi; ^2) ■ (P2; ^1) (Pi; ■ (P2; ^2)
-2,
i. e. condition (29) is not satisfied.
Reasoning like in proof of lemma 8, it is easy to obtain a criterion of a simultaneous dissipativity for arbitrary m. The result is a set of conditions of the form
(Pk; ^fc) < 0 (k = 1,... ,m);
; ^fc2) ■ (^fc2 ; ^fcs) ■... ■ ; ^)
(32)
< 1, (33)
(^fcx;^fcx) ■ (^fc2;) ■ ••• ■ ;^)
where {kj}q=1 is a set of different numbers from 1 to m, and inequalities (33) holds for all such sets. The number of conditions has the order O((m — 1)!) and for any large m testing of these conditions becomes unrealizable. It turns out, however, that among inequalities (33) there are dependent ones and the number of conditions can be reduced.
Theorem 9. Let the vectors (k = 1,...,m) lie in one half-plane clockwise. Then the family of operators {Mk}m=1> where Mk = (■; is simultaneously dissipative if and only if
the vectors (k = 1,... , m) lie in one half-plane clockwise and the conditions (32) and the followings ((34), (35)) are satisfied:
(<£fc ; ^fc+i) ■ (^fc+i; ^fc )
(^fc;^fc) ■ (^fc+i; ^fc+i)
< 1 (k = 1,... , m with pm+i = -pi; ^m+i = -^i); (34)
(pi ^ ) (P2 ^3) ■. . ■ (Pm; ^i)
(pi; ^i) (P2; ^2) ■. . ■ (Pm; ^m)
(Pi; ^m) ■ (Pm; ^m-i) ■ ... ■ (P2; ^i)
(Pi; ^i) ■ (P2; ^2) ■... ■ (Pm; ^m)
< 1;
The corresponding norm can be chosen polyhedral (a norm, whose ball is polygon).
Proof. Necessity. Let lk be the kernels of the operators Mk (i. e. straight lines orthogonal to ). Straight lines lk divide the plane into 2m sectors. If among the vectors there are collinear, then some sectors are singular, but this does not change the further reasoning. In each sector G and for each p G {1,... , m}
sign (x1; ^p) = sign (x2;
for all x1 int G, x2 int G.
Let Gr be a sector lying between corresponding rays of straight lines lr and lr+1 (where lm+1 = l1). It is enough to consider the sectors {Gk}m=1 into which one half-plane is divided, since for sectors lying in vertical angles to Gk the reasons are the same.
Note that by inequality (32) for each operator Mk the projector Pk is determined, which operates in each sector Gk as a projector in the direction ukr = sign (x; ) • pk (x G Gr) onto the straight line lk.
A norm with respect to which all Mk are dissipative exists if and only if there exist a convex body Q symmetrical with respect to 0 and positively invariant with respect to all systems of the following form
d m
-t = E hk (t)(x; ^k )№, (36)
k=1
where hk (t) is any function piecewise continuous and non-negative for t > 0. The sufficiency is evident (suppose hk (t) = 1, hj (t) = 0 for j = k and come to dissipativity of Mk with respect to Q). To prove the necessity, it is sufficient to make an estimation analogous to that made in the proof of theorem 1:
d m dtl|x(t)||Q = Nq(x(t)^hk(t)Mkx(t^ <
k=1
m
< T^E hk(t)Mkx(t^ -||x(t)||Q < 0. k=1
Here ||.||q is a norm whose unit ball is Q.
Since (x; )pk = |(x; )| • ukr at x G Gr, then (36) can be rewritten as follows:
d m
-t yk(t)ukr (37)
k=1
where yk(t) is piecewise continuous and non-negative for t > 0. Thus, it is sufficient to construct such a polygon W that from each point of its boundary SW all the vectors ukr are not directed into the exterior of W. Then one can take
Q = co {W U (-W)}.
Let (37) have at least one unbounded solution, whose positive semi-trajectory lies inside one of sectors. Then (36) has an unbounded solution, i. e. the operators Mk are not simultaneously dissipative.
The notation C{ukr} is used for a convex cone produced by {ukr }m=1.
Let this cone coincide with r2 at least in one sector Gr (i. e. the vectors generating it do not lie in one half-plane). Then as yk(t) one can choose such constants that u = £m=1 ykukr G Gr, and then, drawing a ray from the point xo G int Gr in the direction of u, obtain a positive semi-trajectory of unbounded solution (37) lying inside Gr.
Thus, for simultaneous dissipativity of {Mk} it is necessary to satisfy the conditions
C{ukr} = r2 (k = 1,..., m). (38)
If C{ukr} in some sector is a half-plane, then it must contain the vertical angle to Gr - Gr (and thus intersect with Gr only at zero); otherwise (37) has an unbounded solution. For each sector Gr consider the boundary of the cone C{ukr}. It consists of two directions. Show that for Gj it is Ujj ,U(j+1)j. It is sufficient to show that for j = 1.
Let u1;1 and u2;1 be collinear and oppositely directed. Then to satisfy (38) it is necessary that the other uk1 lie on one side of the straight line, stretched on u1,1. But if u1,1 and u2>1 are non-collinear, then all other uk1 can be expanded in terms of the basis u1;1,u2;1.
Let, for example, u3>1 = c1u1,1 + c2u2>1, and u3>1 be collinear to one of the basis vectors (for example, u1,1; the case with u2)1 is considered analogously). Then c2 = 0. If c1 > 0 then u3)1 G C{u1,1, u2)1}. Let c1 < 0. Then to satisfy (38) in G1 it is necessary for u1,1 and u3)1 to be boundary directions in C{uk1}. Since uk,(l+1) = ukl, if k = l + 1, and U(l+1),(l+1) = -ul;(l+1), then the same directions are boundary for C{uk2} as well, otherwise (38) is not satisfied in G2. Simultaneously u2>1 G C{uk1}, u2,2 = -u2>1 G C{uk2}. It means C{uk1} and {uk2} represent half-plane whose join is all r2, what is impossible. That means c1 > 0.
Let now U31 be non-collinear neither to U11 nor to U2,1. If C1 < 0, C2 < 0, then in G1 (38) is not satisfied. If c1 < 0, c2 > 0, then in G2 there u3,2 = c1u1,2 + (-c2)u2,2, i.e. again (38) is not satisfied. Analogous reasoning hold for the case c1 > 0,c2 < 0, i.e. the only possible case is c1 > 0, c2 > 0 and therefore u3>1 G C{u1;1,u2;1} (where C{x,y} is a convex cone, stretched on the vectors x and y).
The case is left when the directions u1,1 and u2,1 coincide.
Without loss of generality one can assume non-collinearity of u3>1 and u1;1. Then u2,2 and u3,2 are boundary directions in C{uk2}. Consequently, u1;1 G C{-u1;1,u3;1} i.e. the directions u3>1 and u1;1 coincide contrary to the assumption. It means that if urr and u(r+1),r are co-directed, all ukr are collinear, i. e. all pk are collinear. In this case the directions urr and U(r+1),r are also boundary.
We call the obtained fact the boundary condition.
Since all lie clockwise in one half-plane, then it is easy to check that in sector Gm either all (x; ) > 0 for all k or (x; ) < 0 for all k. Thus, by virtue of (32), all pk lie in one half-plane. From the boundary condition follows that pk G C{pk-1,pk+1}, i.e vectors pk are arranged either clockwise, or anti-clockwise.
Let, for example, u1;1 = (the case u1;1 = -is considered analogously). Then u2>1 = p2 lies in the half-plane bounded by the straight line stretched on u1 and containing S?1. Therefore the direction from to p2 in the half-plane containing all pk is the same as from to i. e. clockwise.
The necessity of the other conditions is obvious, since (34) - (35) is simply a part of conditions (33).
Sufficiency. Let the family {pk}m=1 be arranged clockwise in one half-plane and the conditions (32) and (34)-(35) be satisfied. Assume that among pk there are non-collinear vectors, and among there are no collinear ones.
The condition of clockwise arrangement of in one half-plane means that the angle (counted from ^ clockwise) between ^ and the vectors ^i, , • • • , <£m, = —monotonically
increases from 0 to n. Taking into account that the angle between and (—is the angle between and taken with opposite sign, it is easy to conclude that systems {ukr} (in each sector) lie in one half-plane and are arranged clockwise (to avoid exiting from corresponding half-plane we start counting in sector Gr from U(r+1),r).
From conditions (34) follows that in each sector there is a "convex configuration", i. e. there is vector x G Gr, representable in the form
m
X = — ^ CfcUfcr, fc=1
where all ck > 0.
It means that if from one point x G int Gr one draws segments a and b in the directions of urr and U(r+1),r up to the crossing with and /r+1, respectively, then these segments together with the segments connecting 0 with the point of crossing a with and b with /r+1, respectively, form a convex polygon (if urr and U(r+1),r are oppositely directed, it will be a triangle, and if they are non-collinear — a quadrangle; as we have seen before they cannot be co-directed).
Due to the same orientation of } and all the other ukr are directed (from point
X) into this polygon, i.e. for any cone C{ukr} directions on the straight lines ur and ur+1 are boundary.
Fix now the point x0 G l1 (x0 = 0) on the boundary ray of sector G1 (actually, one can begin from any straight line ; we begin from l1). Due to the boundary condition either direction from x0 on l2 goes into sector G1, or direction from x0 on goes into Gm.
If one and only one of these statements is true, continue moving in the corresponding direction (to the neighboring straight line) till the direction on the neighboring straight line goes into the neighboring sector. In other words, move from to /r+1 in the direction parallel to , if this direction goes into sector Gr (or, into Gr-1, respectively). As a polygon W mentioned after (37) one should take a polygon formed by the segments which we moved along, and the segments of those straight lines on which the movement broke (if exit on the initial ray did not occur, in our case it is a part of l1 corresponding to G1, then it is a segment connecting x0 with 0, and a segment of that straight line on which the movement broke, connecting the point of breaking with zero; if exit on the initial ray occurred, then it is a segment connecting x0 with the point of exit).
If both statements are satisfied, then as W one can take a join of two such polygons formed in moving to both sides from x0.
This algorithm is easy to check proceeding from boundary conditions, "convex configuration", and (35) (the latter condition means that if exit on the initial ray occurred in moving in either side, then the point of exit is no farther from the beginning of coordinates than the initial point; in particular, if the point of exit coincides with the initial point, then the formed polygon can be taken as W). The ball of the sought for norm is a polygon.
If some of are collinear, then some sectors Gk are singular. This, however, does not change the results. The reasoning are analogous to the case when among there are no collinear vectors. The only difference here is the following: some straight lines correspond to several directions {^j}k= ko. Then in constructing W one needs to move along .
In the case when all (or all ) are collinear (see corollary 1), all the same one can regard that } and } have the same orientation, starting from (32).
Conditions (34)-(35) are satisfied in this case. The norm can be chosen polyhedral, if one chooses a polyhedral norm as ||.||0 in (30). The theorem is proved.
Remark 12. One can obtain the arrangement of vectors ^ required by the conditions of theorem 9 by renumbering vectors and (if it is necessary) changing signs of some of them.
Thus, the problem of simultaneous dissipativity of a family of operators of rank 1 in r2 is solved completely. The number of conditions to be checked now, in contrast to (33), is only of the order O(m).
With theorem 9 one can study the MAL mechanism on dissipativity (and, respectively, on the absence of IWE). For example, let the mechanism be
A1 ^ A2, A1 ^ A3, A2 ^ A1, A2 ^ A3,
3A2 ^ A1 + 2A3, 2A1 ^ A2 + A3, 2A2 ^ A1 + A3, 2A3 ^ A1 + A2, 3A1 ^ A2 + 2A3, 3A2 ^ 2A1 + A3,
A1 + A2 ^ 2A3. (39)
This mechanism possesses positive conservation law c1 + c2 + c3 = const. The corresponding subspace is the plane
C1 + C2 + C3 = 0.
Obviously, dim L = 2, and one can use theorem 9. Writing matrices M^ and using theorem 9, let make sure that mechanism (39) is dissipative. The corresponding norm in the subspace L has the form
l|c|| = M + N.
It can be expanded onto all r3, for example, in this way:
||c|| = |C11 + |C2 | + |C1 + C2 + caj.
To complete the section, consider the question of simultaneous dissipativity of the finite family of operators of rank 1 of special form in Rn for arbitrary n. Namely, we consider operators represented by matrix-columns. Let obtain sufficient conditions of simultaneous dissipativity of such operators.
Let the basis {ek}n=1 and the norm
n
||x|| = pfc |xfc | (40)
fc=i
be given in Rn, where > 0 (k = 1,... ,n), xk is the k-th coordinate of vector x in the basis {ek}. Norm (40) coincides with l1 norm with respect to the basis {ek/pk}. Therefore, the necessary and sufficient dissipativity conditions of the operator A represented by the matrix (aj)n-j=1 according to remark 9 have the form
Pi«« + E Pj I aji | < 0 (i = 1,... ,n). (41)
j = i
Let now there be a family of operators, represented by the matrix-columns Ak1fc (k = 1, = 0,... , rk), where Ak1fc is the -th matrix with non-zero k-th column:
,n;
A
klk
0 0
0
0 a
0 a
(ik ) 1fc
(ik ) 2fc
0 0
0 a£) 0
0 0
0
(42)
Coming from (41), write dissipativity conditions of all operators in norm (40) with some constants pk :
Pka£k) + J]pj|ajkk) | < 0 (k = 1,... , n; fc = 0,... , rfc). (43)
j=fc
Theorem 10. If the system of linear inequalities (43) complemented by the inequalities
pfc > 0 (k = 1,...,n)
(44)
has a solution, then the family of operators represented by matrices (42) is simultaneously dissipative.
Proof. Solvability of the systems (43), (44) means the existence of positive constants pk (k = 1,...,n) for which inequalities (43) are satisfied, and that is dissipativity condition of all operators of the family in norm (40). Obviously, in this case the family is dissipative. The theorem is proved.
Thus, for simultaneous dissipativity of finite family of operators represented by matrices-columns the solvability of above written finite system of linear inequalities proves to be sufficient. To check solvability, one can use algorithms of linear programming [16].
Remark 13. The solution of the system (43) - (44) exists if there exists solution of the system of (n — d) linear inequalities complemented by inequalities (44) (where d is the number of those k for which rk = 0; evidently 0 < d < n — 1). To prove this, assume
afcfc = max a^); aik = max |ajkk; | (j = k) 0<lk <rk j 0<lk <rk jk
(ik)
(k = 1,...,n).
Consider the system
Pfcafcfc + Pjajfc < 0 (k j=fc
1,
n).
(45)
Obviously, if the set {pk} satisfies the system (44)-(45), then it satisfies the system (43)-(44) as well. Numbers k for which rk = 0 are excluded. Therefore, in system (45) there are (n — d) inequalities.
Remark 14. For n = 2 theorem 10 provides necessary and sufficient conditions of simultaneous dissipativity. To demonstrate that, note that for operator Mk of the considered form the vector (see the notation at the beginning of the subsection) is directed along one of the coordinate axes. Therefore (see the proof of sufficiency in theorem 9), if the family is simultaneously dissipative, then one can choose parallelogram as a ball of the corresponding norm, with vertices
on coordinate axes, i. e. the norm is of the form (40). In the case of arbitrary n the conditions of theorem 10 are already not necessary. To see this, let
Ai
( -1 0 0 \ -10 0
A,
( 0 -1 0 \ 0 -1 0 \0 1 0/
100
The system of linear inequalities
-Pi + P2 + P3 < 0; Pi - P2 + P3 < 0
has no positive solutions. Nevertheless, simultaneous dissipativity exists, since each of the operators is dissipative in its norm and = p2 (see corollary 1).
Conclusion
Let us resume. The infinitesimal wrapping effect (IWE) in the interval space for smooth autonomous system on positively invariant convex compact is studied. The local conditions of absence of IWE in terms of Jacobi matrices field of the system are obtained. The relation between the absence of IWE and simultaneous dissipativity of the Jacobi matrices is established, and some sufficient conditions of simultaneous dissipativity are obtained.
On the basis of the conducted analysis the reason of weak efficiency of interval stepwise methods is pointed out. The main reason is that to solve the problem of absence of IWE in the system and to construct corresponding interval space one needs analysis of simultaneous dissipativity of Jacobi matrices of system and constructing a constricting norm. The latter questions are rarely solved constructively. Besides, in sufficiently rich interval spaces (for example, in using standard intervals - rectangular parallelepipeds) IWE is almost always present. One should, however, remember that the notion of the wrapping effect in the work is treated sufficiently strongly. The final conclusion on the efficiency of stepwise interval methods can be drawn only after studying asymptotic wrapping effect (AWE). It should also be noted that there may be definitions of interval spaces, different from definition 1.
Some particular classes of systems without IWE and corresponding interval spaces are pointed out. These results can be used in solving by interval methods particular systems from the pointed out classes.
References
[1] Moore R. E. Interval analysis. Prentice-Hall, N.-Y., 1966.
[2] Kalmykov S.A., Shokin Yu.I., Yuldashev Z.Kh. Methods of interval analysis. Nauka, Novosibirsk, 1986.
[3] CHERNOUSKO F. L. Optimal guaranteed estimations of uncertainty by means of ellipsoides. Izv. AN SSSR. Tekhnich. kibernetika, No. 5, 1980, 5-10.
[4] KRACHT M., Schoeder G. Zur Intervallrechnung in linear Raumen. Computing, 11, 1973, 73-79.
[5] Ratschek H. Nichtnumerische aspecte der intervallarithmetik. Interval Mathematics, Springer — Verlag, Berlin-Heidelberg, 1975, 48-74.
[6] Kuratovskii K. Topology. Vol. 1, Mir, Moscow, 1966.
[7] Lozinsky S. M. Error estimation of numerical integration of ordinary differential equations. Izv. vuzov. Ser. matem., No. 5, 1958, 52-90.
[8] Bylov B.F., VlNOGRAD P. A., Grobman D.M., Nemytskii V. V. Lyapunov Index Theory and its Applications to the Problems of Stability. Nauka, Moscow, 1966.
[9] Verbitskii V. I., Gorban A.N. Simultaneously Dissipative Operators and Their Applications in Dynamical Systems. Krasnoyarsk, 1987 (Prepr. /AS USSR, SB, Computing Center).
[10] Verbitskii V. I., Gorban A.N. Thermodynamical restrictions and quasi-termo-dynamicity conditions in chemical kinetics. Mathematical Problems of Chemical Kinetics, Ed. by K. I. Zamaraev and G. S. Yablonskii, Nauka, Novosibirsk, 1989, 42-83.
[11] Burbaki N. Lie Groups and Algebras. Mir, Moscow, 1976.
[12] Volpert A. I., Khudyaev S. I. Analysis in the Classes of Discontinuous Functions and Equations of Mathematical Physics. Nauka, Moscow, 1975.
[13] Gorban A. N., Bykov V. I., Yablonskii G. S. Essays on Chemical Relaxation. Nauka, Novosibirsk, 1986.
[14] Golshtein Ye. G., Yudin D.B. New Tendencies in Linear Programming. Sov. radio, Moscow, 1966.
[15] Verbitskii V. I., Gorban A. N., Utjubaev G.Sh., Shokin Yu.I. Moore effect in interval spaces. Dokl. AN SSSR, 304, No. 1, 1989, 17-21.
[16] Bykov V. I., Verbitskii V. I., Gorban A. N. On one estimation of solution of Cauchy problem with uncertainty in initial data and rigt part. Izv. vuzov. Ser. matem., No. 12, 1991, 5-8.
[17] Verbitskii V. I., Gorban A.N. Simultaneously dissipative operators and their applications. Sib. matem. jurnal, 33, No. 1, 1992, 26-31.
[18] Verbitskii V. I., Gorban A.N. Simultaneously dissipative operators and quasi-thermodynamicity of the chemical reactions systems. Advances in Modelling and Simulation, 26, No. 1, 1991, 13-21.
[19] Verbitskii V. I., Gorban A. N. On one approach to the analysis of stability of nonlinear systems and differential inclusions. Advances in Modelling and Analysis, A, 19, No 4, 1994, 15-27.
[20] Verbitskii V. I., Gorban A. N. Stability analysis and solution evaluation for nonlinear systems by "Jacobian fields"and Liapunov norms. AMSE Transactions, Scientific Siberian, A, Vol. 4, Dynamics, 1992, 104-133.
Received for publication September 18, 1996
