CC BY
11
Владикавказский математический журнал 2008, Том 10, выпуск 4, С. 39-48
УДК 513.588
NONSTANDARD MODELS AND OPTIMIZATION1
S. S. Kutateladze
On the Centenary of the Birth of S. L. Cobolev
This is an overview of a few possibilities that are open by model theory in optimization. Most attention is paid to the impact of infinitesimal analysis and Boolean valued models to convexity, Pareto optimality, and hyperapproximation.
Keywords: Boolean valued analysis, nonstandard analysis, approximate efficiency, hyperapproximation, lattice normed space.
1. Agenda. The union of functional analysis and applied mathematics celebrates its sixtieth anniversary this year [1, 2]. This talk focuses on the trends of interaction between model theory and the methods of domination, discretization, and scalarization.
2. The Art of Calculus. Provable counting is the art of calculus which is mathematics in modern parlance. Mathematics exists as a science more than two and a half millennia, and we can never mixed it with history or chemistry. In this respect our views of what is mathematics are independent of time.
The objects of mathematics are the quantitative forms of human reasoning. Mathematics functions as the science of convincing calculations. Once-demonstrated, the facts of mathematics well never vanish. Of course, mathematics renews itself constantly, while the stock increases of mathematical notions and construction and the understanding changes of the rigor and technologies of proof and demonstration. The frontier we draw between pure and applied mathematics is also time-dependent.
3. Francis Bacon. The Mathematics are either pure or mixed. To the Pure Mathematics are those sciences belonging which handle quantity determinate, merely severed from any axioms of natural philosophy; and these are two, Geometry and Arithmetic; the one handling quantity continued, and the other dissevered. Mixed hath for subject some axioms or 'parts of natural philosophy, and considereth quantity determined, as it is auxiliary and incident unto them...
In the Mathematics... that use which is collateral and intervenient is no less worthy than that which is principal and intended... And as for the Mixed Mathematics, I may only make this prediction, that there cannot fail to be more kinds of them, as nature grows further disclosed. (The Advancement of Learning, 1605)
© 2008 Kutateladze S. S.
1This article bases partly on a talk prepared for the International Conference «Methods of Logic in Mathematics V», June 1-6, 2008, St. Petersburg but undelivered in view of the author's illness.
4. Mixed Turns into Applied. After the lapse of 150 years Leonhard Euler used the words «pure mathematics» in the title of one of his papers Specimen de usu observationum in mathesi pura in 1761. It was practically at the same time that the term «pure mathematics» had appeared in the eldest Encyclopaedia Britannica. In the nineteenth century «mixed» mathematics became to be referred to as «applied».
The famous Journal de Mathématiques Pures et Appliquées was founded by Joseph Liouville in 1836 and The Quarterly Journal of Pure and Applied Mathematics started publication in 1857.
5. Pure and Applied Mathematics. The intellectual challenge, beauty, and intrinsic logic of the topics under study are the impetus of many comprehensive and deep studies in mathematics which are customarily qualified as pure. Any application of mathematics is impossible without creating some metaphors, models of the phenomena and processes under examination. Modeling is a special independent sphere of intellectual activities which is out of mathematics.
Application of mathematics resides beyond mathematics in much the same way as maladies exist in nature rather than inside medicine. Applied mathematics acts as an apothecary mixing drugs for battling illnesses.
The art and craft of mathematical techniques for the problems of other sciences are the content of applied mathematics.
6. New Challenges. Classical mechanics in the broadest sense of the words was the traditional sphere of applications of mathematics in the nineteenth century.The beginning of the twentieth century was marked with a sharp enlargement of the sphere of applications of mathematics. Quantum mechanics appeared, requesting for new mathematical tools. The theory of operators in Hilbert spaces and distribution theory were oriented to adapting the heuristic methods of the new physics. At the same time the social phenomena became the object of the nonverbal research requiring the invention of especial mathematical methods. The demand for the statistical treatment of various data grew rapidly. Founding new industries as well as introducing of promising technologies and new materials, brought about the necessity of elaboration of the technique of calculations. The rapid progress of applied mathematics was facilitated by the automation and mechanization of accounting and standard calculations.
7. Cofathers of New Mentality. In the 1930s applied mathematics rapidly approached functional analysis. Of profound importance in this trend was the research of John von Neumann in the mathematical foundations of quantum mechanics and game theory as a tool for economic studies. Leonid Kantorovich was a pioneer and generator of new synthetic ideas in Russia [1, 2, 7, 8].
8. Enigmas of Economics. The main particularity of the extremal problems of economics consists in the presence of numerous conflicting ends and interests to be harmonized. We encounter the instances of multicriteria optimization. Seeking for an optimal solution in these circumstances, we must take into account various contradictory preferences which combine into a sole compound aim. It is impossible as a rule to distinguish some particular scalar target and ignore the rest of the targets. This circumstance involves the specific difficulties that are untypical in the scalar case: we must specify what we should call a solution of a vector program and we must agree upon the method of conforming versatile ends provided that some agreement is possible in principle. Therefore, it is actual to seek for the reasonable concepts of optimality in multiobjective decision making. Among these we distinguish the concepts of ideal and generalized optimum alongside Pareto-optimum as well as approximate and infinitesimal optimum.
9. Enter the Reals. Optimization is the science of choosing the best. To choose, we use preferences. To optimize, we use infima and suprema (for bounded subsets) which is practically the least upper bound property. So optimization needs ordered sets and primarily (boundedly) complete lattices. To operate with preferences, we use group structure. To aggregate and scale, we use linear structure. All these are happily provided by the reals R, a one-dimensional Dedekind complete vector lattice. A Dedekind complete vector lattice is a Kantorovich space.
10. Scalarization. Scalarization in the most general sense means reduction to numbers. Since each number is a measure of quantity, the idea of scalarization is clearly of a universal importance to mathematics. The deep roots of scalarization are revealed by the Boolean valued validation of the Kantorovich heuristic principle. We will dwell upon the aspects of scalarization most important in applications and connected with the problems of multicriteria optimization.
11. Legendre in Disguise. Assume that X is a vector space, E is an ordered vector space, f : X ^ E* := E U is a convex operator, and C := dom(f) C X is a convex set. A vector 'program (C, f) is written as follows:
x £ C, f (x) ^ inf.
The standard sociological trick includes (C, f) into a parametric family yielding the Legendre trasform or Young-Fenchel transform of f:
f*(l) := sup (l(x) - f (x)), xex
with l £ X# a linear functional over X. The epigraph of f * is a convex subset of X# and so f * is convex. Observe that —f*(0) is the value of (C, f) [15, 17, 18].
12. Order Omnipresent. A convex function is locally a positively homogeneous convex function, a sublinear functional. Recall that p : X ^ R is sublinear whenever
epip := {(x, t) £ X x R : p(x) ^ t}
is a cone. Recall that a numeric function is uniquely determined from its epigraph. Given C C X, put
H(C) := {(x, t) £ X x R+ : x £ tC},
the Hormander transform of C. Now, C is convex if and only if H(C) is a cone. A space with a cone is a (pre) ordered vector space.
«The order, the symmetry, the harmony enchant us... » (Leibniz)
13. Fermat's Criterion. df (x), the subdifferential of f at x, is
{l £ X# : (Vx £ X) l(x) — l(x) ^ f (x) — f (x)} . A point x is a solution to the minimization problem (X, f) if and only if
0 £ df (x).
This Fermat criterion turns into the Rolle Theorem in a smooth case and is of little avail without effective tools for calculating df (x). A convex analog of the «chain rule» is in order.
14. Enter Hahn—Banach. The Dominated Extension takes the form
d(p o i)(0) = (dp)(0) o i,
with p a sublinear functional over X and i the identical embedding of some subspace of X into X.
If the target R may be replaced with an ordered vector space E, then E admits dominated extension.
15. Enter Kantorovich. The matching of convexity and order was established in two steps.
Theorem (Hahn—Banach—Kantorovich). Every Kantorovich space admits dominated extension of linear operators.
This theorem proven by Kantorovich in 1935 was a first attractive result of the theory of ordered vector spaces [3].
Theorem (Bonnice—Silvermann—To). Each ordered vector space admitting dominated extension of linear operators is a Kantorovich space.
16. New Heuristics. Kantorovich demonstrated the role of K-spaces by the example of the Hahn-Banach theorem. He proved that this central principle of functional analysis admits the replacement of reals with elements of an arbitrary K-space while substituting linear and sublinear operators with range in this space for linear and sublinear functionals. These observations laid grounds for the universal heuristics based on his intuitive belief that the members of an abstract Kantorovich space are a sort of generalized numbers.
17. Canonical Operator. Consider a Kantorovich space E and an arbitrary nonempty set A. Denote by E) the set of all order bounded mappings from A into E; i. e., f £ E) if and only if f : A ^ E and {f(a) : a £ A} is order bounded in E. It is easy to verify that l<^(A, E) becomes a Kantorovich space if endowed with the coordinatewise algebraic operations and order. The operator £a,e acting from E) into E by the rule
£a,e : f ^ sup{f (a) : a £ A} (f £ ^(A, E))
is called the canonical sublinear operator given A and E. We often write e^ instead of £%,e when it is clear from the context what Kantorovich space is meant. The notation en is used when the cardinality of A equals n and we call the operator en finitely-generated.
18. Support Hull. Consider a set A of linear operators acting from a vector space X into a Kantorovich space E. The set A is weakly order bounded if {ax : a £ A} is order bounded for every x £ X. We denote by (A)x the mapping that assigns the element ax £ E to each a £ A, i. e. (A)x : a ^ ax. If A is weakly order bounded then (A)x £ E) for every fixed x £ X. Consequently, we obtain the linear operator (A) : X ^ E) that acts as (A) : x ^ (A)x. Associate with A one more operator
Pa : x ^ sup{ax : a £ A} (x £ X).
The operator Pa is sublinear. The support set dpA is denoted by cop(A) and referred to as the support hull of A.
19. Hahn—Banach in Disguise. The modern statement of the dominated extension is as follows [15]:
Theorem. If p is a sublinear operator with dp = cop(A) then P = e^ 0 (A). Assume further that pi : X ^ E is a sublinear operator and p2 : E ^ F is an increasing sublinear operator. Then
d(p2 o pi) = {T o (dpi) : T £ L+ (Mdpi, E), F)& T o Adpi £ dp2}. Moreover, if dpi = cop(Ai) and dp2 = cop(A2) then
d(p2 o pi) = {T o(Ai) : T £ L+(MAi,E),F) (3 a £ desfe) T o A^ = a o(A2)}
20. Enter Boole. Cohen's final solution of the problem of the cardinality of the continuum within ZFC gave rise to the Boolean-valued models by Vopenka, Scott, and Solovay. Takeuti coined the term «Boolean-valued analysis» for applications of the new models to functional analysis [10].
Let B be a complete Boolean algebra. Given an ordinal a, put
Va(B) := {x : (3 £ G a) x : dom(x) ^ B & dom(x) C The Boolean-valued universe V(B) is
V(B) := U VjB),
agOn
with On the class of all ordinals. The truth value G B is assigned to each formula ^ of ZFC relativized to V(B).
21. Enter Descent. Given a formula of ZFC, and y, a subset VB; put A^ := A^, y) := {x : ^(x, y)}. The descent A^j of a class A^ is
A^j: = {t : t G V(B) &[p(t, y)] = l}.
If t G A^j, then it is said that t satisfies y) inside V(B). The descent xj of an element x G v(b) is defined by the rule
xj: = {t : t G V(B) & [t G x] = 1},
i. e. xj = A^exj. The class xj is a set. Moreover, xjC scyc(dom(x)), where scyc is the symbol of the taking of the strong cyclic hull. If x is a nonempty set inside V(B) then
(3z G xj)[(3z G x) p(z)] = [p(z)].
22. The Reals in Disguise. There is an object R inside V(B) modeling R, i. e.,
[R is the reals ] = 1.
Let Rj stand for the descent of the carrier |R| of the algebraic system R := (|R|, +, •, 0,1, inside V(B). Implement the descent of the structures on |R| to Rj as follows:
x + y = z ^ [x + y = z] = 1; xy = z ^ [xy = z] = 1;
x ^ y ^ [x ^ y ] = 1; Ax = y ^ [AAx = y] = 1 (x,y,z G Rj, A G R).
Theorem (Gordon). R j with the descended structures is a universally complete Kantorovich space with base B(Rj) isomorphic to B.
23. Norming Sequences [1, 4].
1(6,6,... )I = (I61,161,..., Kn-11, sup |) G Rn .
k>N
X2|----
Xi
m = (i Xii , 1X2I , 1X3I)
«I believe that the use of members of semi-ordered linear spaces instead of reals in various estimations can lead to essential improvement of the latter.» (Kantorovich [1])
24. Domination. Let X and Y be real vector spaces lattice-normed with K-spaces E and F. In other words, given are some lattice-norms \x and |y. Assume further that T is a linear operator from X to Y and S is a positive operator from E into F:
II;
iiy
Moreover, in case
|Tx|y < S|x|X (x G X), we call S the dominant or majorant of T.
25. Enter Abstract Norm. If the set of all dominants of T has the least element, then the latter is called the abstract norm or least dominant of T and denoted by |T|. Hence, the least dominant |T| is the least positive operator from E to F such that
|Tx| < |T|(|x|) (x G X).
26. Domination and Model Theory. These days the development of domination proceeds within the frameworks of Boolean valued analysis. All principal properties of lattice normed spaces represents the Boolean valued interpretations of the relevant properties of classical normed spaces. The most important interrelations here are as follows: Each Banach space inside a Boolean valued model becomes a universally complete Banach-Kantorovich space in result of the external deciphering of constituents. Moreover, each lattice normed space may be realized as a dense subspace of some Banach space in an appropriate Boolean valued model. Finally, a Banach space X results from some Banach space inside a Boolean valued model by a special machinery of bounded descent if and only if X admits a complete Boolean algebra of norm-one projections which enjoys the cyclicity property. The latter amounts to the fact that X is a Banach-Kantorovich space and X is furnished with a mixed norm [9].
27. Approximation. Convexity is an abstraction of finitely many stakes encircled with a surrounding rope, and so no variation of stakes can ever spoil the convexity of the tract to be surveyed.
Study of stability in optimization is accomplished sometimes by introducing various epsilons in appropriate places. One of the earliest excursions in this direction is connected with
the classical Hyers-Ulam stability theorem for e-convex functions. Exact calculations with epsilons and sharp estimates are sometimes bulky and slightly mysterious. Some alternatives are suggested by actual infinities, which is illustrated with the conception of infinitesimal optimality.
28. Enter Epsilon and Monad. Assume given a convex operator f : X ^ E U and a point x in the effective domain dom(f) := {x G X : f (x) < of f. Given e ^ 0 in the positive cone E+ of E, by the e-subdifferential of f at x we mean the set
df (x) := {T G L(X,E) : (Vx G X) (Tx - Fx < Tx - fx + e)},
with L(X, E) standing as usual for the space of linear operators from X to E [11].
Distinguish some downward-filtered subset E of E that is composed of positive elements. Assuming E and E standard, define the monad ^(E) of E as ^(E) := {[0, e] : e G °E}. The members of ^(E) are positive infinitesimals with respect to E. As usual, °E denotes the external set of all standard members of E, the standard part of E [16].
29. Approximate Optimality. Fix a positive element e G E .A feasible point xo is a e-solution or e-optimum of a program (C, f) provided that f (xo) ^ e + e with e the value of (C, f). In other words, xo is an e-solution of (C, f) if and only if xo G C and the f (xo) — e is the greatest lower bound of f (C) or, equivalently, f (C) + e C f (xo) + E+. Clearly, xo is a e-solution of an unconditional problem f (x) ^ inf if and only if the zero belong to df (xo); i. e.,
f (xo) < inf f (x) + e ^ 0 G df (xo). xex
30. Approximate Efficiency. A feasible point xo is e-Pareto optimal for (C, f) whenever f (xo) is a minimal element of U+e, with U := f (C); i. e., (f (xo)—E+)n(f (C)+e) = [f (xo)]. In more detail, xo is e-Pareto-optimal means that xo G C and, for all x G C, from f (xo) ^ f (x)+e it follows that f (xo) ~ f (x) + e [12, 19, 20].
31. Subdifferential Halo. Assume that the monad ^(E) is an external cone over °R and, moreover, ^(E) n °E = 0. In application, E is usually the filter of order-units of E. The relation of infinite proximity or infinite closeness between the members of E is introduced as follows:
ei ~ e2 ^ ei — e2 G ^(E) & e2 — ei G ^(E).
Now
Df(x) := H df (x) = |J df (x);
the infinitesimal subdifferential of f at x. The elements of Df (x) are infinitesimal subgradients of f at x [13, 16].
32. Exeunt Epsilon. Theorem. Let fx : X x Y ^ EU+to and f2 : Y x Z ^ EU+to be convex operators. Suppose that the convolution f2 A fx is infinitesimally exact at some point (x, y, z); i. e., (f2 A fi)(x, y) w fx (x, y) + f2(y, z). If, moreover, the convex sets epi(fx, Z) and epi(X, f2) are in general position then
D(f2 A fi)(x,y) = Df2(y,z) 0 Dfi(x,y).
33. Discretization. «It seems to me that the main idea of this theory is of a general character and reflects the general gnoseological principle for studying complex systems. It was, of course, used earlier, and it is also used in systems analysis, but it does not have a rigorous mathematical apparatus.
The principle consists simply in the fact that to a given large complex system in some space a simpler, smaller dimensional model in this or a simpler space is associated by means of one-to-one or one-to-many correspondence. The study of this simplified model turns out, naturally, to be simpler and more practicable. This method, of course, presents definite requirements on the quality of the approximating system.» (Kantorovich [1])
34. Hypodiscretization. The analysis of the equation Tx = y, with T : X ^ Y a bounded linear operator between some Banach spaces X and Y, consists in choosing finite-dimensional vector spaces Xn and Yw and the corresponding embeddings in and jn :
X
IN
T
XN
Tn
Y
3N
YN
In this event, the equation
TnXn = yw
is viewed as a finite-dimensional approximation to the original problem.
35. Hyperdiscretization Nonstandard models yield the method of hyperapproximation
E ■
T
F
VE
VF
E#
T #
■ F #
Here E and F are normed spaces over the same scalars, while T is a bounded linear operator from E to F, and # symbolizes a nonstandard hull.
36. The Hull of a Space. Let * is the symbol of the Robinsonian standardization. Let (E, || ■ ||) be an internal normed space over *F, with F := R; C. As usual, x G E is a limited element provided that ||x|| is a limited real (whose modulus has a standard upper bound by definition). If ||x|| is an infinitesimal then x is also referred to as an infinitesimal. Denote by ltd(E) and ^(E) the external sets of limited elements and infinitesimals of E. The set
^(E) is the monad of the origin in E. Clearly, ltd(E) is an external vector space over F, and ^(E) is a subspace of ltd(E). Put E# = ltd(E)/^(E) and endow E# with the natural norm ||<x|| := ||x#|| := st(||x||) G F for all x G ltd(E) Here < := <e := (■)# : ltd(E) ^ E# is the canonical homomorphism, and st takes the standard part of a limited real. This (E#, || ■ ||) is an external normed space called the nonstandard hull of E.
37. The Hull of an Operator. Suppose now that E and F are internal normed spaces and T : E ^ F is an internal bounded linear operator. The set of reals c(T) := {C G *R : (Vx G E )||Tx|| < C ||x||} is internal and bounded. Recall that ||T || := inf c(T). If the norm ||T || of T is limited then the classical normative inequality ||Tx|| ^ ||T|| ||x|| valid for all x G E, implies that T(ltd(E)) C ltd(F) and T(^(E)) C ^(F). Hence, we may soundly define the descent of T to the factor space E# as the external operator T# : E# ^ F#, acting by the rule
T#<Ex := <fTx (x G E).
The operator T# is linear (with respect to the members of F) and bounded; moreover, ||T#|| = st(||T||). The operator T# is called the nonstandard hull of T.
38. One Puzzling Definition. Approximation of arbitrary function spaces and operators by their analogs in finite dimensions, which is discretization, matches the marvelous universal understanding of computational mathematics as the science of finite approximations to general (not necessarily metrizable) compacta. This revolutionary and challenging definition was given in the joint talk submitted by S. L. Sobolev, L. A. Lyusternik, and L. V. Kantorovich at the Third All-Union Mathematical Congress in 1956 [5].
Infinitesimal methods suggest a background, providing new schemes for hyperapproximation of general compact spaces. As an approximation to a compact space we may take an arbitrary internal subset containing all standard elements of the space under approximation.
39. State of the Art. Adaptation of the ideas of model theory to optimization projects among the most important directions of developing the synthetic methods of pure and applied mathematics. This approach yields new models of numbers, spaces, and types of equations. The content expands of all available theorems and algorithms. The whole methodology of mathematical research is enriched and renewed, opening up absolutely fantastic opportunities. We can now use actual infinities and infinitesimals, transform matrices into numbers, spaces into straight lines, and noncompact spaces into compact spaces, yet having still uncharted vast territories of new knowledge.
40. Vistas of the Future. Quite a long time had passed until the classical functional analysis occupied its present position of the language of continuous mathematics. Now the time has come of the new powerful technologies of model theory in mathematical analysis. Not all theoretical and applied mathematicians have already gained the importance of modern tools and learned how to use them. However, there is no backward traffic in science, and the new methods are doomed to reside in the realm of mathematics for ever and in a short time they will become as elementary and omnipresent in calculuses and calculations as Banach spaces and linear operators.
References
1. Kantorovich L. V. Functional Analysis and Applied Mathematics // Vestnik Leningrad Univ. Math.— 1948.—Vol. 6.—P. 3-18.
2. Kantorovich L. V. Functional Analysis and Applied Mathematics // Uspekhi Mat. Nauk.—1948.—Vol. 3, № 6.—P. 3-50.
3. Kantorovich L. V. On Semiordered Linear Spaces and Their Applications in the Theory of Linear Operators // Dokl. Akad. Nauk SSSR.-1935.-Vol. 4, № 1/2.—P. 11-14.
4. Kantorovich L. V. The Principle of Majorants and the Newton Method // Dokl. Akad. Nauk SSSR.— 1951.—Vol. 76, № 1.—P. 17-20.
5. Sobolev S. L., Lyusternik L. A., Kantorovich L. V. Functional Analysis and Computational Mathematics // Proceedings of the Third All-Union Mathematical Congress, Moscow, June-July.— Moscow, 1956.—Vol. 2.—P. 43.
6. Kantorovich L. V. Functional Analysis (the Main Ideas) // Sibirsk. Mat. Zh—1987—Vol. 28, № 1.— P. 7-16.
7. Kantorovich L. V. My Way in Science // Uspekhi Mat. Nauk.—1987.—Vol. 48, № 2.—P. 183-213.
8. Kantorovich L. V. Selected Works. Part I. Descriptive Theory of Sets and Functions. Functional Analysis in Semi-ordered Spaces.—Amsterdam: Gordon and Breach Publishers, 1996.
9. Kantorovich L. V. Selected Works. Part II. Applied Functional Analysis. Approximation Methods and Computers.—Amsterdam: Gordon and Breach Publishers, 1996.
10. Kusraev A. G. Dominated Operators.—Dordrecht: Kluwer Academic Publishers, 2001; Moscow: Nauka, 2003.
11. Kusraev A. G., Kutateladze S. S. Introduction to Boolean Valued Analysis.—Moscow: Nauka, 2005.
12. Kutateladze S. S. Convex Operators // Uspekhi Mat. Nauk.—1979.—Vol. 34, № 1.—P. 167-196.
13. Kutateladze S. S. Convex e-Programming // Dokl. Akad. Nauk SSSR.—1979.—Vol. 245, № 5.—P. 10481050.
14. Kutateladze S. S. A Version of Nonstandard Convex Programming // Sibirsk. Mat. Zh.—1986.—Vol. 27, № 4.—P. 84-92.
15. Kusraev A. G., Kutateladze S. S. Subdifferential Calculus: Theory and Applications.—Moscow: Nauka,
2007.
16. Gordon E. I., Kusraev A. G., Kutateladze S. S. Infinitesimal Analysis: Selected Topics.—Moscow: Nauka,
2008.
17. Zalinescu C. Convex Analysis in General Vector Spaces.—London: World Scientific Publishers, 2002.
18. Singer I. Abstract Convex Analysis.—New York: John Wiley & Sons, 1997.
19. Gutiérrez C., Jiménez B., Novo V. On Approximate Solutions in Vector Optimization Problems via Scalarization // Comput. Optim. Appl.—2006.—Vol. 35, № 3.—P. 305-324.
20. Gutiérrez C., Jiménez B., Novo V. Optimality Conditions for Metrically Consistent Approximate Solutions in Vector Optimization // J. Optim. Theory Appl.—2007.—Vol. 133, № 1.—P. 49-64.
Received August 8, 2008.
Kutateladze Semen Samsonovich Sobolev Institute of Mathematics, Principal Researcher RUSSIA, 630090, Novosibirsk, 4 Acad. Koptyug avenue E-mail: [email protected]
