Научная статья на тему 'Optimal control theory: on the global structure and connections with optimization. Part 1'

Optimal control theory: on the global structure and connections with optimization. Part 1 Текст научной статьи по специальности «Математика»

CC BY
134
58
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук

Аннотация научной статьи по математике, автор научной работы — Weber G. -w

We introduce and investigate different concepts on the global structure of nonlinear optimal control problems ?? such that nonlinear optimization problems of the form ?? become constitutive under a linear boundedness assumption on F. While in the particular structure the control variable u is still treated as a parameter, in the composite structure we take into account the full dependences, jointly on x and u in a more causal way. Therefore, implicit so-called Kuhn Tucker functions become constitutive, too. The composite concept is based on the minimum principle and it can be guaranteed to be complete by means of regularity conditions on feasible sets (Mangasarian Fromovitz), Kuhn Tucker points (Kojima) and within the structure of piecewise differentiability (transversality). Namely, under such regularity conditions no kind of instability (vanishing, bifurcation) is necessary in order to state the structure. These two stability concepts also incorporate corresponding concepts of global (topological) stability. Under an overall compactness assumption, this structural stability can be characterized essentially by means of our regularity conditions. In this part 1 we present the particular structure and give foundations of the composite structure. The latter structure is completed in part 2 ([43]), where also the more stepwise decomposite structure is presented.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Optimal control theory: on the global structure and connections with optimization. Part 1»

Вычислительные технологии

Том 4, № 2, 1999

OPTIMAL CONTROL THEORY: ON THE GLOBAL STRUCTURE AND CONNECTIONS WITH OPTIMIZATION

PART 1

G.-W. Weber Darmstadt University of Technology Department of Mathematics, Darmstadt, Germany e-mail: [email protected]

Вводятся и исследуются различные понятия глобальных структур нелинейных .задач теории оптимального управления

'Min I (x,u) := £(x(a), x(b)) + ¡Ь L(t,x(t),u(t)) dt, где

P(£, L, F, E, G) x(t) = F(t, x(t),u(t)) (t € [a, b]),

. E(x(a),x(b)) = 0, G(t,x(t),u(t)) > 0 (t € [a,b]),

таких, что нелинейные задачи оптимизации вида

{Min f(x), где

E(x) = 0, G(y, x) > 0 (y € Y)

становятся содержательными при линейных ограничениях на F. Если в частичных структурах управляющая переменная u трактуется как параметр, то в композитных структурах рассматриваются полные зависимости от x и u. Поэтому т. н. неявная функция Куна — Таккера становится также содержательной. Композитная концепция основывается на принципе минимума и оказывается гарантированно полной в смысле условия регулярности на допустимых множествах (Мангасарян — Фромовиц), точек Куна — Таккера (Коима) в рамках структуры кусочной дифференцируемости (трансверсальности). А именно, при некоторых условиях регулярности для описания структуры не нужны никакие типы неустойчивости (вырождение, бифуркация). Эти два понятия включают в себя соответствующие понятия глобальной (топологической) устойчивости. При общих предположениях компактности структурная устойчивость может быть описана в терминах наших условий регулярности. В части 1 описываются частичные структуры и основы композитных структур. Последние более полно описаны в части 2 [43], где также определяются и кусочно декомпозитные структуры.

© G.-W. Weber, 1999.

1. Introduction

In nonlinear optimization, the global structure of an ordinary semi-infinite minimization problem [3, 12, 18]

Min f(x) on MSI [E, G], where

Psi(f, E, G)

can be defined by means of the whole entity of lower level sets

Msi[E, G] := {x e R | e*(x) = 0 (i e I),

G(y,x) > 0 (y e Y)}

Ljx(f, E, G) := {x e Msi[E, G] | f(x) < 9} (9 e IR).

(1.1) (1.2)

(1.3)

For the special case where Y consists of only finitely many elements this structure was analyzed by Jongen, Jonker, Twilt [19], Guddat, Jongen [9] and Jongen, Weber [22]. We abbreviate finitely constrained optimization by F; hereby, we also write Gy(x) := G(y,x). For the general semi-infinite case we refer to Jongen, Riickmann [19] and Weber [40]. All these investigations deal with the structural (topological) stability of the considered problems.

In this paper, we widen our scope to a large class of optimal control problems. First of all, we are concerned with an unfolding of the structural topological aspect. Later on, we also present and incorporate reasonable notions of structural stability into the structure. We shall also characterize this global stabilitity. Indeed, hereby certain connections to nonlinear minimization problems of the form (1.1), (1.2) always play a basic part. However, in order suitably to reflect the aspect of infinity which is characteristic for optimal control, we have to enrich the modelling and its notions. This will be started in the present part 1 and continued in the following part 2 [43].

Now, the nonlinear optimal control problems that we study, namely look as follows (for related problems see, e.g., [5, 11, 14, 25, 33, 35]):

' Min I(x,u) := £(x(a),x(b)) + j' L(t,x(t),u(t)) dt, where

P (£,L,F,E,G) <

x e (Cpw2 ([a,b],M))n, u e (Fpw2 ([a,b],M))q, such that

X(t) = F(t,x(t),u(t)) (for almost every t e [a,b]), (x(a),x(b)) e M[E],

x(t) e M[G(t, -,u(t))] (for almost every t e [a,b]).

(1.4)

(1.5)

(1.6)

(1.7)

(1.8)

There should not be misunderstandings caused by reserving the (fat) bold face style of writing functions for optimization problems, but not for our optimal control problem(s). With the study of P (I, L, F, E ,G) we continue the one parametric, generical study [42] under the structural aspect, where the parameters may now be taken from the full functions' space.

Here, (L,F,G), (£,E) will be of the class C3, C2, respectively. The notations

FpWk([a, b],IR), Ciwk([a, b], IR) (r,k e Z+ U {+w}, r < k)

stand for the class of functions or Cr-functions, which are piecewise Ck. They are important subclasses of the Lebesgue- or Sobolev-spaces of L^- or W^-functions. Moreover, the sets M[E], M[G(t, •, u(t))] are understood with the following meaning:

M[E] = {(x1,x2) G Rn x Rn | ei(x1,x2) = 0 (i G /)}, 1 (1 q)

M[G(t, •,u(t))] = {x G IRn | gj(t, x,u(t)) > 0 (j G J)}. J (i"q)

Namely, with n, q denoting the number of coordinates of the space and control variable x, u, respectively, we fix the two index sets I := {l,...,m}, where these numbers are chosen high enough: m < n < q, and J := {l,... , s}. In the sequel, the functions e» (i G I) belong to C2(IR2n,IR), while the functions L, fk (k G {1,...,n}) and gj (j G J) are elements of C3(IRra+q+1,R). Finally, we let F,E,G stand for (f1,...,fn)T, (e1,...,em)T, and (g1,... , gs)T, respectively.

In order to guarantee the existence of a flow ([1]) induced by differential constraints which are related with (1.6), we assume linear boundedness of the right hand side:

Assumption (LB): There exist positive functions G C(IRq+1,IR) such that the

following estimation with respect to the Euclidean norm || • || of IRn holds:

||F(t,x, u)|| < ao(t, u)||x|| + ^o(t, u) ((t,x, u) G IRn+q+1).

Because of a small argumentation from differential topology ([13]), in the case of compactness of the following set, formally being a feasible set in the sense of finitely constrained optimization,

M[G] = {(t, x, u) G Rn+q+1 | t G M, gj(t, x, u) > 0 (j G J)}, (1.10)

the assumption (LB) can be made even without loss of generality. Let us consider the following short explanation.

In our research, differential topology is useful in order to distinguish between the local and the global aspect. This means concentration on (relative) neighbourhoods and consideration of a whole given (feasible) set (or Euclidean space), respectively. A further use of differential topology consists in realizing some desired perturbation(s) of such functions which define a given optimization or optimal control problem. In some situations, these problems or parts of it may (by means of a small perturbation) be made stable in a certain sense. In the present context of Assumption (LB), it is enough to consider F in some neighbourhood U of M[G]. Later on, we shall make the assumption of compactness of the set M[G] (hence, maybe, also of U) within a suitably wide compactness assumption, being called (COMP). Now, we may perturb F (with the help of differential topology) outside of U such that F fulfills the condition (LB); i.e., it really remains unchanged.

We are concerned with finding and giving positive answers to the following two questions:

(Q1). Is there a reasonable concept of the global structure of P(£, L,F, E,G) ?

(Q2). Can the topological stability of such a structure be characterized by means of qualitative (regular) properties of its parts?

As we want to introduce different concepts of the structure of P(£, L, F, E, G), there may be more so-called regularity conditions (or assumptions) used in order to guarantee all parts of these structures to be well-defined. Then we call the structure complete. Otherwise some irregular or, say, bifurcation (or vanishing) behaviour of sets or points become characteristic for the composite structure. Therefore, as we shall explain in the sequel, the perturbational aspect of global structural stability will be considered as an intrinsic item (element) of the problem's

structure. This topological item can be expressed both in the language of the problem's quality, say (ir)regularity, and the language of (no) bifurcation phenomena.

For a better understanding of that perturbational aspect, regarded as an intrinsic item, we give the following explanation and motivation.

In the three concepts of structure which we work out in this part 1 and in part (paper) 2, the different parts of the structure (optimization problems, implicit functions) are stated (or concluded under some regularity condition). First properties may immediately be realized. This is like a "photo" of the problem at one single moment, and we call the underlying viewpoint the static aspect. If, however, the problem is considered at, say, different moments (lying close to each other), then the dynamical aspect of perturbations enters the structural concept. The answer of the question whether the given optimal control problem qualitatively remains the same (or changes) under such perturbations, is already implied in the (ir)regularity of its different parts. Hence, by means of the behaviour under small perturbations (dynamical features) important qualitative properties of the given problem's structure can be studied.

The parts of this structure shall be optimization problems with their lower levels (studied under perturbation) and implicit functions with their underlying structure of piecewise differentiability (studied under perturbation, too). Some topology will turn out to be useful in order to quantify the behaviour under perturbation.

Let us indicate the importance of the dynamical aspect by means of two simplified examples and their comparison.

The function u ^ Li(p, u) := p+u4 (u e IR) has its (local or global) minimum at uV(p) = 0 (for all p e IR). This critical point is (locally) isolated and, in this sense, u^(-) = 0 is an implicit function. However, if we suitably and slightly perturb L1 in the full space (C2,C|) (Cf: Whitney-topology, being introduced below), then we get several critical points, in particular two local minima, such that the (local) isolatedness gets lost (unstability). However, for u ^ L2(p,u) := p + u2 (u e IR) the implicit function u2(-) = 0 is (locally) stable under small perturbations. In fact, here the implicit function theorem in Banach spaces applies. Hence, besides the static aspect of (local) isolatedness holding in both examples, there is some main difference which only appears due to the dynamical aspect.

However, the static and the dynamical aspect may also be equivalent. For instance, Kojima has shown for finitely constrained optimization that under the Mangasarian-Fromovitz constrained qualification (MFCQ) [27] on the feasible set there is an algebraic ("static") condition which equivalently characterizes the local uniqueness together with the ("dynamical") stability under perturbations of a Kuhn — Tucker point (here: of 0) (see [23]). (In Section 3, we shall give the definition of this strong stability and of (MFCQ).) Finally, at the end of part 1 and in part 2 [43], we shall look at (strongly stable implicit) Kuhn — Tucker functions uv.

A similar characterization theorem can be stated due to (MFCQ) (using Farkas' lemma, [12, 18]).

Finally, Jongen, Ruckmann, and the author showed that such small perturbations can in fact be realized ((re-)constructed) with the help of dynamics (vector fields, generated flows; see [22, 40]). Here, we conclude our motivation of the perturbational aspect.

In order to refer to those perturbations in a topological sense that in a constructive and analytical way takes account of local and global (asymptotic) characteristics, we need some more notation. By Df, D2f (Dxf, or Dxf, and DXf, or D^f) we denote the row-vector of first or the matrix of second order derivatives of f e C2(M,1R), M C 1Rp open, respectively (or, partially, due to all the components x, or x^, of the vector variable x, or x). In the case f e (Cl(M,RR))v, Df (and Dxf) denotes the functional matrix. Note, that for v = 1

we have DTf = f. A Ck-function (k G IV) on the closure M, instead of the open set M, is always understood in the sense that it can be continued to a Ck-function on a suitable open set N, McN.

Now, the topology for the product 1 C3(M^IR)) x (nr=ri+1 C2(Mj, IR)), with Mk being some IRr, will be the product-topology generated by the Whitney- (or strong) Ck-topology Ckk on each factor Ck(Md,IR) (k G {2, 3}, respectively; cf. [13, 18]). As, e.g., for k = 2 we need only to refer to the derivatives up to order 2, let us consider k = 3. A typical base-neighbourhood of a function x0 G C3(Mi0, IR) (i0 G {1,... , r1}) is the set x° + We, where We is defined with the aid of a controlling continuous positive e : Mi0 ^ IR :

W = {X G C3(Mi0,1R) I IxMI + Ei

d3X

as:(u)

+

+ E

:,j

d 2X , X (u)

du:duj

+ E

du:duj duk

(u)

< e(u)

(1.11)

for all u G M:0 }.

Each Whitney-topology has the following two advantages (see [40]). Namely, on the one hand, with this topology we can take account or force the asymptotic behaviour of functions X. On the other hand, in some constructive sense it allows to distinuish between the local and the global aspect.

For our analysis on the qualitative problem structure we also mention the related investigations in general, maybe also infinite dimensional settings, which was presented, e. g., by Palais, Smale [29-31, 39], Schwartz [37] and Gromoll, Meyer [8]. The author once started his investigations on the global structure and on its stability in nonlinear optimal control with the particular structure. The essence of this structure, which we firstly work out in this part 1, is closely related with the approach that underlies the parametric and generical study [41]. Here, the variable u is regarded as a C2-parameter such that our given problem P(£, L,F, E,G) becomes treated as the family (PL, F, E, G))ue(c2([a,b],ir))« of problems from the calculus of variations. Each of the latter problems can be represented by means of a semi-infinite optimization problem. In these optimization problems the particular structure is founded by means of its lower level sets.

The main advantage of the particular structure is its simplicity. Disadvantages of it are overcome in two more complex alternatives, called the composite structure and the decomposite structure.

However, P(£, L, F, E, G) reveals a feasibility condition which more generally implies piece-wise twice continuous differentiability and minimization jointly in x and u. Both these aspects are with the help of first order necessary optimality conditions incorporated in the following two concepts which have to be very refined, in comparison with the particular structure. Moreover, for our global study, topological methods in nonlinear optimization turn out to be very appropriate, together with the local study of Malanowski and Maurer [26].

The main difference between the composite and the decomposite structure is the following "dynamical" one. For the composite structure the causal relations between the different structural parts (optimization problems, implicit functions) are taken into account. By means of these relations, those parts are considered under perturbation of the given (initial) data (£, L, F, E, G). For the decomposite structure the different structural parts are regarded as separate, de-coupled objects with their own defining functions under perturbation.

The composite and the decomposite structure are given at the end of this part 1 and, in particular, in part 2 [43]. Let us in some more detail state several main features of these two further structures.

On the one hand, the composite structure exhibits the different analytical stages, with their different finitely constrained or semi-infinite optimization problems and implicit so-called Kuhn — Tucker functions, respectively. Here, these " SI" optimization problems will even be generalized (" GSI") in the sense that Y = Y(x) depends on x.

Those steps are more intimately related with each other, we say causal. On the other hand, it is initially based on the stability assumption of the feasible solutions (x0, u0) of those necessary optimality conditions, which come from the minimum principle. That latter assumption is due to slight perturbations of the defining functional data, and for it we use the notion of continuity (CONT). This part 1 gives an introduction (including a motivation) into the composite concept (see Sections 1,3).

By contrast, in the decomposite structure given in part 2 [43] the problem reduction leads again to optimization problems, feasible sets and Kuhn — Tucker functions, which all are no longer considered from the viewpoint of their relations, but stepwise as our objects of interest. In so far, it is a stronger concept. However, it does not need that strong condition (CONT).

Remark. In technological and in social sciences, control and optimization are studied and performed either from a more local or from a more global point of view. For example, in robotics we may distinguish between local and global motions [44], in social ethics or political economics we find local and global strategies of energy supply for the future [2]. Moreover, in cooperative game theory we find both local and global phenomena [32]. There is always a structural aspect being accomplished by dynamical features. In this article, we study the structure of optimal control problems from the global viewpoint whereby local "landscapes" come together in one global "landscape" being represented by all the lower level sets of objective function(al)s.

Our study is of a more theoretical nature which, however, can be formalized and also illustrated by examples. Moreover, together with part 2 it implies a critical comparison of three structural approaches and a discussion of their frontiers.

2. The particular structure and its stability

Underlying the particular concept we have the following four claims that we try to fulfill:

PC i. The control variable u contributes to the problem's given data (parameters; partial optimality).

PC2. The control variable u is of class C2 (aspect of differentiability).

PC3. The structure is global (aspect of globality).

PC4. The structure is based on a reduction (aspect of reduction).

In fact, as it is claimed in PCi (and PC2) for the particular structure, we look at all the following problems from the calculus of variations. For each C2 control variable u we study the problem Pu(£,L,F,E,G) of minimization with respect to x, which comes from keeping u fixed in P (£, L, F, E,G). In this way, u becomes a parameter, i.e., it contributes to the problem's given data (£, L, F, E, G).

Hence, the first two claims PCl;2 treat u as being dispensed from the minimization, i.e., from the originally joint optimization in (x,u). In comparison with the (joint) minimization Minx,uI(x,u) (under the constraints given in (1.6) - (1.8)) due to the variable (x,u) in P(£, L, F, E, G), the minimization Minx I(x,u*) (under (1.6) - (1.8), u = u*) in Pu (£, L, F, E, G) is called partial minimization (with respect to x). The corresponding notion

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

on (local and global) optimality is meant when we use the notion partial optimality with respect to x.

Now, we may also delete "almost every" in (1.6), (1.8). Moreover, in comparison with the piecewise concept of continuity and differentiability, now u consists of only one piece, namely the global one on [a,bj. In this way we arrive at the family

(P u(£,L,F,E,G))uS(C 2([ a,b],lR))«

of problems from the calculus of variations, where for each member the optimization is only partial in x. This basic simplifying parametrization (with the help of u) can be enriched by a parametric study where we walk from one control variable u*1 to another one, u*2, e.g., along a path s ^ u(s, •) (s G [a,^]). Therefore, we refer to [42], where this special aspect of connectedness is worked out.

Behind the particular structure, the idea of partitioning of the constrained problem. Minx uI(x,u) into the problems Minx I(x,u) (being due to constrained C2 control variables u) finally stands. Hereby, u becomes a parameter in the inner problem of the partitioned problem MinM { Minx I(x, u) }, which may represent our given problem Minx>uI(x, u). Therefore, we are not concerned with questions of well-definedness and structure of the appearing inner function u ^ Minx I(x,u), but we shall study these inner problems in detail. However, in addition to this constructive idea of partitioning or bilevel approach, there is also the more topological-qualitative viewpoint of comparing some problems Minx I(x,u*1) and Minx I(x,u*2). Here, we refer again to the parametric approach with u*1(t) = u(a,t), u*2(t) = u(^,t) from

[42].

There is another bilevel approach which we shall work out, where nondifferentiabilities coming from the appearance of the minimum functions (as given above) are (generically) governed by means of establishing a piecewise C2 structure. Namely, first the minimization is due to u (x being the parameter), and then with respect to x. This approach is based on the minimum principle and implied in the (de-)composite structure.

Now, we may concentrate on one particular control variable u = u* which may, but need not, jointly with some state variable x = x° to be optimal.

Let us shortly consider the meaning of the claim PC4. Reduction is understood in the sense that complexity becomes reduced by means of tracing back a given problem to one (or several) less complex problem(s).

In the case of the particular structure the complexity of an optimal control problem (in the variables x and u) becomes reduced to the complexity of problems from the calculus of variations (in the variable x) and, finally, to the complexity of semi-infinite optimization problems (in the variable x G IRn). In particular, the "infinite dimensions" of the initial state (and control) variables' space are reduced to the finite dimensions of IRn.

The assumption (LB) guarantees for the control variable u*, which has in a C2 way been continued outside of [a,b], the complete integrability of the system of differential equations (1.6) (with u = u*). Hence, it yields the existence of a global C2 flow generated by (1.6).

The following somewhat technical remark states several details on this flow (x, t), which we (for the ease of notation) abbreviate by Q[x](t) := (x, t), such that Q[x](t) indicates an orbit which ends and emanates at x, referring to negative and positive t, respectively. Hereby, the parameter u (now, = u*) becomes suppressed for a while. If the reader is not very interested in these details, then he may skip the remark.

Remark. The function Q[-](-) comes from the guiding partition, given by the first n components of the flow ($u* =) Q[x](t), which is due to the dynamical system in IRn+1

X = F(t,x), x(to) = xo (xo G Mn+1, to G IR),

(2.1)

where x := (xT, xn+1)T, F(t, x) := (FT(t, x, u*(t)), 1)T. Here we restrict the last initial value component by fixing (x0)n+1 = t0. We get all the solutions of the differential constraints (1.6), namely x(-) = Q[x](- —t0), where x0 = x(t0). In particular, it holds

Q[x](0) = x,

(fi[x](s))(i) = fi[x](s +t).

(x G Rn, s,t G IR).

(2.2)

The solutions of (1.6) do not depend on the choice of that continuation of u*. For more information on flows we refer to [1,18]. The notation Q[-](-) was suggested by Craven [6].

With the help of Q[-] (•) the whole problem Pu* (-£, L, F, E, G) can be traced back (collapsed) to the initial time t0 := a. Hereby, we wander with the trajectories of the flow in reverse direction. Then, for x = x(a) we arrive at the following globally defined functions:

f*(x) := T(fi[x](.- a),u*(■ - a)),

e*(x) := e,:(fi[x](6 - a)) (i G I), g*(t, x) := gj(t, Q[x](t - a)X(i)) (j G J).

(2.3)

(2.4)

(2.5)

In this way we have generated the following (ordinary) semi-infinite optimization problem in the initial value variable x which equivalently reflects Pu* (£, L, F, E, G) by the initial value dependence of the flow:

Pfr(f *, E*, G*) <

( Min f* on Mfl[E*, G*], where

M&[E*, G*] := {x G IRn | e*(x) = 0 (i G I),

g*(t, x) > 0 (j G J, t G [a, b])}.

(2.6) (2.7)

Here, the functions f*, and E*, G*, comprising e* (i E I), g* (j E J), are of class C2. We note that we have reduced the infinite dimensional problem Pu* (£, L, F, E, G) to a finite dimensional one; see also Figure 1. Hence, our claim PC4 is fulfilled, too.

Fig. 1. On the introduction of a problem P^(f*, E*, G*), at time a, due to P(£,L,F,E,G). In this example, there is the periodic boundary constraint E(x(a),x(b)) := x(a) — x(b) = 0n, and M[G(t, - ,u*(t))] (t E [a, b]) is represented by means of three times (ti ,t2, b).

Remark. Let us look at a technical alternative. By means of suitable translations of the set Y := [a,b], which give us pairwise disjoint new index sets Yj (j G J), corresponding transformations of the inequality constraints, and with the help of a suitable C^ -partition of unity, we could finally glue together the inequality constraints, being restricted to Yj (j G J), such that the following holds. We only had one real-valued constraint C2-function Go and only one corresponding index set Y being again representable as a feasible set in the sense of finitely constrained optimization, which together precisely reflect all the inequality constraints of PsI (f *, E *, G*). With this change in the representation we would immediately have a model of the semi-infinite form (1.1), (1.2). This form is often assumed in the literature (e.g., in [20, 21, 36]).

Such a C^-partition of unity (subordinate to some locally finite open covering) is a family of globally defined C^-functions 7(u) (with their support always lying in a member of the covering) constituting u-dependent convex combinations. The values of 7 are elements of the interval [0,1] (see [13, 18]).

Before we continue founding the particular structure of P(£, L, F, E, G), let us shortly come back to the idea of partitioning. By definition, the variable x of each problem PSJ(f *, E *, G *) (here u = u*) represents an initial value condition. If a (locally) minimal initial value x is supplied, then the system (1.6) determines the (locally) minimal variable x(-) as a function of u(-). This dependence might symbolically be represented as x(t) = Q(u)(t). But then we may consider the outer problem in the form MinS J(Q(u),u), under the constraints on u(-) given by means of (1.6), (1.8), where x = Q(u). Now, let us come back to the structure of the inner problem(s).

The structure of our problem Pu* (£, L, F, E, G) is defined by all the lower level sets LSj (f *, E*, G*) (0 G R) of PSj(f *, E*, G*). At last, looking at the u-parametrized entity of all such lower level sets, we arrive at the particular structure of our optimal control problem P(£, L, F, E, G) in a global way; see PC3. Until now, this structure is completely, but in a more static way realized.

As we regard the dynamical aspect of the topological behaviour under perturbations to be an intrinsic item within the structure, we also have to give the definition of particular structural stability of P(£, L, F, E, G). Hereby, for each semi-infinite problem of the form (2.6), (2.7) for which there is no "history" based on some control variable and flow, we delete u* in the problem notation. So, we write, e.g., PSJ (f, E, G).

Our following definition is also illustrated in Figure 2.

Definition 2.1. Let the following subdefinitions refer to defining functions of class C2.

a) Two semi- infinite optimization problems PSJ(f1, E1, G1), PSJ(f2, E2, G2) are called equivalent if there are continuous functions : R x Rn ^ Rn and : R ^ R with the following three properties (ESJ 1,2,3):

(ESJ1). For every 0 G IR the mapping ,0 : Rn ^ Rn is a homeomorphism, where (x) := (0, x).

(ESJ2). The mapping : IR ^ IR is a monotonically increasing homeomorphism. (Esj3). fee(Ljj(f1, E1, G1)) = LSjSI(0)(f2, E2, G2) for all 0 G IR.

b) Let a variable u* G (C2([a, b], R))q be given. We say that both the semi-infinite optimization problem Pjj (f *, E *, G *) and its underlying (generating) problem from the calculus of variations P1 (£, L, F, E, G) are structurally stable if there exist a Cf-neighbourhood

O* of (f *, E *, G *) such that for each element (f, E, G) e O* the problem PSI(f, E, G) is equivalent with P^I f, E*, G*).

c) The optimal control problem P(£, L, F, E, G) is called particularly structurally stable if for all u e (C2([a, b], R))q the problem Pu(£, L, F, E, G) is structurally stable.

This definition is founded in the introduction of .structural stability of a nonlinear optimization problem which was at first given in [9] for the (special) case of finitely constrained optimization. Later, in [19, 40], it became extended to the semi-infinite case. The condition of equivalence which topologically identifies two optimization problems, constitutes an equivalence relation. Structural stability of an optimization problem also implies that descent is preserved under small perturbations. For illustrations and more basic information on equivalence and structural stability we refer to [19, 22, 40]; for the related concept in the theory of dynamical systems we mention [4, 38].

For finitely constrained or semi-infinite optimization [19, 22, 40] show that, in essence, two regularity conditions are sufficient for this problem to be structurally stable. Namely, there is the (in the semi-infinite case extended) Mangasarian — Fromovitz constraint qualification ((E)MFCQ) for the feasible set and the strong stability in the sense of Kojima (and Ruckmann) for the Kuhn — Tucker points. These conditions will be noted in the next Section (and in part 2, respectively). If, moreover, the feasible set is compact, then [9, 19] (and [40]) also show that the regularity conditions are necessary for structural stability, which then has become (equivalently) characterized.

Now, we shall realize that structural stability with its dynamically constructable homeomor-phisms being explained below, equivalently reflects the static qualitative properties of the structure. Hereby, for generating the dynamics, flows are very important, while in the necessity part some algebraic topology [16] is used.

Reversely, a violation of one of these regularity conditions can be interpreted with a dynamical meaning, namely as a bifurcation or vanishing of a feasible set or of a Kuhn — Tucker point. With such a "pathological" (irregular) behaviour we are again in the dynamical context, and we remember our explanations on the perturbational-dynamical and on the static aspect given in Section 1.

Let us for a moment pay attention to those dynamically constructable homeomorphisms. We already introduced and illustrated the conditions of structural stability of P(£, L, F, E, G).

Fig. 2. Equivalence of PSI(f1, E1, G1) with PSI(f2, E2, G2); structural stability of PSI(f*, E*, G*) and Pu (£, L, F, E,G), whereby (f1, E1, G1) = (f*, E*, G*) and (f2, E2, G2) = (f, E, G) eO*.

Hereby, for each of the problems Pu* (£, L,F, E,G) we referred to homeomorphisms and , which take over the levels 0 and the lower level sets L^x(f *, E*, G*) of the

unperturbed problem (on)to corresponding levels (0) and lower level sets L^j1 (0)(f, EE, G) of the perturbed problem, respectively. In [22, 40], for the case of finitely constrained optimization (F) it was proved that such homeomorphisms can be constructed by means of vectorfields (hence, of flows; "dynamically") if some regularity conditions are fulfilled. The latter ones are the Mangasarian — Fromovitz constraint qualification (MFCQ) on the feasible sets, the strong stability of all Kuhn — Tucker points, and some technical separateness condition on the critical values.

In principle, the same "dynamical construction" can be made in our present context where there is semi-infinite optimization (SI instead of F). This way was basically observed in [40], where a (large) number of illustrations are given for the lower level sets and homeomorphisms in finitely constrained and in semi-infinite optimization. Later, Riickmann presented a satisfying (algebraically characterizable) condition of strong stability for the semi-infinite case (cf. [36]; a short presentation is also given in part 2, [43]). With the help of that condition, Jongen and Ruckmann could take over the characterization of structural stability from finitely constrained to semi-infinite optimization, namely by means of the extended Mangasarian — Fromovitz constraint qualification (EMFCQ) (the extended (MFCQ)), strong stability, and the separateness condition.

Those compactness conditions are guaranteed if one of the sets M[G], M[E] is compact or, without loss of generality, if it holds

Assumption (COMP): The sets M[E], M[G] are compact.

Namely, if only one of the two feasible sets should be compact then the other one could outside of a sufficiently large ball be made compact with the help of differential topology (cf. [13,18], and Section 1) on E or G, respectively. The whole virtue of (COMP) will be used for the composite and for the decomposite structure.

Now, the investigation [19], being based on [9, 22, 36], gives us the opportunity to characterize the particular structural stability of P(£, L, F, E, G) in the following way.

Corollary 2.2 (Characterization Theorem (A)). Let the optimal control problem, P(£, L,F, E,G) with defining C2-, C3-functions, respectively, be given and the Assumptions (LB), (COMP) hold.

Then, P(£, L, F, E, G) is particularly structurally stable if and only if with respect to all the problems PSj(f *, E*, G*), being equivalent with P(£,L,F,E,G), (u* G (C2([a, b], IR))9) the following three conditions (CA1,2,3) are fulfilled:

(CA1). (EMFCQ) holds for MSj[E*, G*] (u* G (C2([a, b], IR))q).

(CA2). All the Kuhn —Tucker points x of PuX(f*, E*, G*) are strongly stable (u* G (C2([a, b], IR))9).

(CA3). For each two different Kuhn — Tucker points x1 = x2 of PIx(f *, E*, G*) the corresponding critical values are different (separate), too: f*(x1) = f*(x2) (u* G (C2([a,b],

IR))q).

Let us introduce (EMFCQ) and strong stability in the unfolding of the composite structure structure being subsequently founded in Section 3. These two analytical conditions can also shortly be interpreted as follows. While (EMFCQ) assures the considered feasible set to be a topological manifold with Lipschitzian coordinates [20], strong stability of a Kuhn — Tucker point [23, 34] means its local uniqueness and continuous dependence on the functional data. Under our compactness assumption (COMP), (EMFCQ) is also equivalent with the global

topological stability of the feasible set [20]. Hence, both our static-qualitative regularity conditions have a dynamical-quantitative meaning which is also the nature of our structural stability.

For more illustrations on these regularity conditions, on structural stability and on their violation we refer to [40] and mention [42]. In the latter article, generic types of even more general control problems are presented, together with examples and normal forms of such problems.

Remark 2.3. With its parts (b), (c), Definition 2.1 takes into account slight perturbations of optimization problems' data. In a sense given in part 1, this is a detail with decomposite character, namely by taking into account problems which are raised by means of a reduction, as the problems of our topological interest. An alternative approach is due to the composite point of view, presented in Section 3 and part 2, where we causally recur to the original data, i. e., to the defining functions of our optimal control problem P(£, L, F, E, G). Then, we would for each (C2-) control variable u* refer to a neighbourhood C| x Cf-neighbourhood R* of J(L,F,G), (£, E)) such that for each element J{L,F,<G), (F,E)) e R* the problems PSI (f, E, G), PSI (f, E, G), being generated by P u* (f, L, F, E,G), P u (£, L, F, E, G), are equivalent.

If assumption (COMP) holds, then that alternative — more composite — particular structural stability is equivalent with our more decomposite condition given in Definition 2.1. This fact results from the two corresponding characterization theorems which reveal the same regularity conditions. Finally, we note for each alternative that, with the help of the continuous dependence of Q[-](-) (= $u*) on the initial values x(a), the particular structural stability can be reformulated with the lower level sets of I (-,u*), i.e., in the space (C2([a, b], _R))n of the state variables x.

Our considerations on the particular structure and its stability can be generalized for the case where the objective functional is of the nondifferentiable maximum type [15]. For that purpose, we equivalently turn to the height function over the epigraph of a max-type objective function. This technique can be found in [40, 41] (cf. also [42]).

Finally, we conclude the following result:

Result 2.4. (Modelling Theorem (Am)). Under the Assumptions (LB) and (COMP), there is a first positive answer (given above) to our questions (Q1;2). Hereby, the claims PC1,2,3,4 are fulfilled.

Let us remember, that we have already made the claims PC1)2;3;4 become both definite and by means of the particular structure being satisfied. Therefore, we make a cross-reference to the beginning of Section 2 and to the succeeding explantions and definitions. Now, let us also realize the fulfillment of our two questions (Q1;2), being given in Section 1.

(Q1) : Our particular structure and its condition on particular structural stability are global ones. In fact, the (dimensional) reduction is made globally, and, in particular, it finally refers to global lower level sets (cf. also Figure 2). The concept of referring to the lower level sets in optimization, originally being due to Jongen, is convincing. Namely, in the context of Definition 2.1 and Figure 2 we indicated why this concept is from the (constructive-) topological and from the numerical viewpoint a very adequate one.

However, the composite and the decomposite structure do also fulfill (Q1). For these two further structures the global concept of referring to lower level sets and implicit functions is worked out in a more enriched bilevel structure.

(Q2) : Above, we tried to make more transparent why the particular structure really fulfills the question (Q2). We remember all our reflections on ((E)MFCQ) and strong stability, and we refer to our Characterization Theorem (A) (Corollary 2.2).

Moreover, there is the following didactic aspect. The composite and the decomposite structure do also fulfill (Q2) (part 2). In view of the introduction given in Section 1, and having already presented the particular structure, we are better prepared to understand these more complicated composite or decomposite structures with both their advantages and disadvantages.

In the Modelling Theorem (Am), the word first indicates that there are some objections against the particular structure. Namely, that partial optimality does not fully satisfy further claims. In particular, there is some lack of causal dependence of our perturbed semi-infinite optimization problems with respect to the given optimal control problems. Finally, the control variable u should be admitted to reveal a finite number of jumps. With the subsequent composite structure, being motivated by some different claims, we shall overcome these disadvantages. However, for that purpose the complexity of our model will have to increase.

Before we in a detailed way turn to the composite structure and, in part 2, to the decomposite structure, we anticipate reflecting their essential concepts in Figure 3. For this figure, we may also remember our explanations given in Section 1.

Based on these concepts with necessarily higher complexity, we subsequently satisfy more demanding claims better than with the help of the particular structure. Within our qualitative-topological context these claims typically rise from optimal control theory. Hereby, our qualitative conditions will in detail be presented, and our bilevel idea of partitioning will become strongly incorporated.

3. The composite structure and its stability; some foundations

The composite concept means a strong refinement of the particular concept from Section 2, and it is devoted to the following four more sophisticated claims. Namely,

CC 1. The minimization is jointly in (x,u) (optimality).

CC 2. The structure reveals compatibility with the minimum principle.

CC 3. The structure is based on a global and analytical approach.

CC4. The structure is unfolded in a causal (connected) way.

In order to "address" the right hand sides of our differential equations' system (1.6) we introduce an auxiliary parameter w G IRn. We introduce parametric families of minimization problems; these families will be subdivided into two classes. In this part 1 we start with minimizing due to the control vector u G IRq and in part 2 ([43]) we end with minimizing due to the state vector x G IRn.

Let us make the overall compactness assumption (COMP), given in Section 1. Part 2 will show, why (COMP) is in the suitable "wide" way formulated (incorporating M[E]) for our composite structure. We write t as a further parameter t, and we refer to the following projectively defined index set

where no > 0, maybe chosen sufficiently small, stands for some relaxation and admits a study on the limit n0 ^ 0. By means of a continuity argumentation it follows from the assumption (COMP), that the set Mp?[F, G] is compact, too. Now, let us first of all for each (t, x, w) G

Mr0 [F,G]

{(t,x, w) G 1R2n+1

(t, x, u) G M [G], || F (t, x, u) - w || < no for some u G 1Rq

Fig. 3. The concepts of the composite structure and of the decomposite structure.

Mpr [F, G] look at the corresponding finitely constrained optimization problem

(Minue1Rq L(t, x, u), where (3.2)

u e M>x[F - w, G]. (3.3)

Hereby, the feasible set is given by Mt,x,w[F, G] := Mt,x[F - w, G], i. e.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

= {u e | fk(t, x, u) - wk = 0 (k e {1,..., n}), g(t, x, u) > 0 (j e J)}

Of course, such a set may be empty. However, if the condition (MFCQ) (being introduced below), holds for M^x-w[F, G], then it is a nonempty topological manifold [10, 20]. At the end of this paper we shall study examples for both the case of empty feasible sets and the case of nonempty ones.

The global structure of (L,F, G) (see CC3) is given by means of the level called Z,

and the set of active inequality constraints at a point u0 e Mj-x,w [F, G] is defined as follows:

Jo(t, x, uo) := {j e J | gj(t, x, uo) = 0}. (3.5)

For the purpose, in part 2 to guarantee the well-definedness of the structure(s) of Kuhn — Tucker functions (later on being introduced) which will (as some items) contribute to the composite structure, we introduce some regularity conditions.

On the one hand, there is the subsequent definition which firstly introduces a stronger and, then, a weaker constraint qualification on the feasible sets in the present finitely constrained optimization. For semi-infinite optimization, these two constraint qualifications can straightforwardly be extended. We remark that ((E)LICQ) implies ((E)MFCQ) [18, 20, 40].

Definition 3.1. Let a parameter point (t, x, w) e Mpr [F, G] and a point u0 e M^[F-w, G] be given.

(ELI).

((t, x, w) G Mn [F, G]). (3.4)

a) The linear independence constraint qualification (LICQ) is said to hold at u0 if the gradients Du(/fc - wk)(t, x, uo) (= Du/(t, x, uo)), k G {1,... , n}, Dugj(t, x, Uo), j G Jo(t, x, u0), of the active constraints are linearly independent.

b) (LICQ) is said to hold for M^fF — w,G] if (LICQ) is fulfilled at each element of this feasible set.

c) For a semi-infinite optimization problem the straightforward extension of (LICQ), in which the set of active inequality constraints has to be finite, is called the extended linear independence constraint qualification (ELICQ).

(EMF).

a) The Mangasarian — Fromovitz constraint qualification (MFCQ) is said to hold at u0 if the following conditions (MF^^) are satisfied:

(MFtX,w). The vectors Du(/k — wk )(t, x, u0), k G{1,...,n},

are linearly independent.

(MFtX'W). There exists a vector £0 G R, such that it holds

f Du(/k — wfc )(t, x, uo) £0 = 0 (k G{1,...,n}), )

{ \ (3.6)

I Dugj(t, x, uo) £0 > 0 (j G Jo(t, x, u0)).

We call £0 it an MF-vector at u0.

b) (MFCQ) is said to hold for M-t'x[F — w, G] if (MFCQ) is fulfilled at each element of Mt'x[F — w, G].

c) For a semi-infinite optimization problem the straightforward extension of (MFCQ) is called the extended Mangasarian — Fromovitz constraint qualification (EMFCQ), and each of the corresponding vectors £0 is called an EMF-vector.

Under the condition (COMP), the static qualitative condition ((E)MFCQ) on the existence of (relatively) inwardly pointing directions £0 has also a dynamical meaning. Namely, it means the (global) topological stability of the feasible set M^fF — w, G] under small perturbations of the defining data (see [10] and, for the semi-infinite case, [20]).

For more information on ((E)MFCQ) we mention [12, 20, 27]. On the other hand, we define the strong stability of a Kuhn — Tucker point.

Definition 3.2. Let a parameter point (t, x, w) G M*1 [F, G] and a point u G M^fF —

w, G] be given. Then, u is called a Kuhn — Tucker point for Pt'x'W(L, F, G) if there exist numbers Ak, ^j G R (k G {1,... , n}, j G J0(t, x, u)) such that the subsequent two conditions

(KTt'X'W) hold:

(KT^). DuL(t, x u) = Efce{i'...'„} AfcDu(/fc — wfc)(t x u)+Ejgj0(t'x'u) Dugj(t, x u).

(KT^). ^ > 0 (j G Jo(t, x, u)). _

The numbers Ak, ^j (k G {1,..., n}, j G Jo(t, x, u)) are called Lagrange multipliers.

For the following introduction of strong stability of a Kuhn — Tucker point for P^'^L, F, G), (t, x, w) 6 Mn0 [F, G] being given, we could either refer to (G|-)perturbations of (L,F, G) or, alternatively, to perturbations of (L,F, G)(t, x, •). These two approaches lead to conditions which are equivalent. Let us choose the second alternative. For the necessity of the by 1 increased order of differentiability (here: 3) we refer to a calculation given in [42].

In order to measure the local "distance" between the given and the perturbed functional data we put for each C3-triplet (L^,F 1,G1), defining a problem PfX'W(L1,F1 ,G:) of the same form as p^^(L, F, G), for some (t, x, w) 6 Mn0[F, G] and for each set Q C R:

normF[(L1(t, x, ■), F 1(t, x, ■),G1 (t, x, ■)), Q]

supwen max ||x(^)| + Eq=1

+ E q

q

¿1,^2 = 1 1

d 2x

dwi1dwi2

dw. -(w)

(w)

+

iq ,i i1 ,i

¿1 ,¿2 ,¿3 = 1

d3X

ôwi1 dwi2 dwi3

(w)

(3.7)

X G {L1(t, x, ■)} U {(fk1 - wfc)(t, x, ■) | k G {1,. . . , n}} U (gj(t, x, ■) | j G J}}.

Let (Q =) ô) stand for the open ball of radius ô > 0 around a point w. Definition 3.3. Let for a parameter point (t, x, w) G [F, G] it the point u, be a

Kuhn — Tucker point for P^x'w(L, F, G).

Then u is called strongly stable if for some ô > 0 and for each ô G (0, ô] there exists an a > 0 such that for each C3-function (L,F,G) with

normF[(L(t, x, ■) -L(t, x, ■), (F- w)(t, x, ■) - (F- w)(t, x, -),G(t, x, ■) -G(t,x, ■)), B(û,£)] < a

the ball B(u,$) contains a Kuhn —Tucker point u for Pt (L, F, G) which is unique in B(uJ).

Strong stability will be a basic concept of conditions used for various finitely constrained and semi-infinite optimization problems. The last definition was originally given by Kojima [23] (see also [24], and, for a related research, [34]). It is more dynamically formulated. Kojima also gave an algebraical characterization for the strong stability of a Kuhn — Tucker point u in the case where the condition (MFCQ) holds at u. This algebraic characterization reflects strong stability in a qualitative (static) way.

Here, we need some preparations in notation.

For a given parameter vector (t, x, w) 6 Mn0 [F, G] and a given Kuhn — Tucker point u

for Pt' W(L, F, G) we write ^o for the vector (... ,...) of Lagrange multipliers (j 6

Jo(t, x, u)) being ordered in some way. Such a vector can be complemented to a multiplier vector ^ being defined with the Lagrange multipliers ^j of Definition 3.2 and with ^j := 0 for j 6 J \ J0(t, x, u). We put:

At,x,w(u) = |(A,^o) | A G 1Rn, ßo G IR1 Jn(t>x>u)| fulfill KTÎ;X'w}

(3.8)

being a compact polyhedron if (MFCQ) holds at u (cf. [6]), and having the cardinality |^t'x'w(u)|. For each element (A,^0) 6 At,x'w(u) we define the Lagrange function L('x'w •

Rq ^ IR:

L

t,x,w

(u)

L(tx u) - E£=1 Afc (/k- wk)(t,x, u) - Ejejn(t,x,u) ß9j(t,x, u)- (3.9)

Finally, we put for each u G R and each JC J:

Wp'x(u, J) = {£ G 1Rq|,

Du(/k — wfc)(t,x,u)£ = 0 (k G {1,...,n}),Dugj(t,x,u)£ = 0 (j G .7)}. (3.10)

Lemma 3.4. ([23], Corollary 4.3 and Theorem 7.2). Let a parameter point (t,x, w) G Mpo [F, G] and a Kuhn — Tucker point u be a Kuhn — Tucker point for P^'^L, F, G) be given.

a) If (LICQ) holds at u, then u is strongly stable if and only if the matrix DuL^W(u) (|At'x'W(u)| = 1) has nonvanishing determinants with a common sign on the subspaces Wp'x(u, J) for all J with J+(t, x, u) C JC Jo(t, x, u), where

J+(t, x, u) := {j G Jo(t, x, u) | ^ > 0}. (3.11)

b) If (MFCQ) holds at u where, however, (MFCQ) is violated, then u is strongly stable if and only if for each (A,^0) G At,x'W(u) the matrix DuLp^W (u) is positive definite on the subspace Wp'x(u, J+(t, x, u)) (with the latter index set in the sense of (3.11)).

Hereby, a quadratic matrix A of type r1 x r1 over an r2(< r1)-dimensional subspace W is understood as the matrix A|W := BT AB where the columns of B are the members of some basis of W. The algebraic conditions in Lemma 3.4 do not depend on the special choice of this basis. In the notation of the lemma we call the Kuhn — Tucker point u nondegenerate [16] if (LICQ) holds at u, the equation J+(t, x, u) = Jo(t, x, u) is valid and the Hessian matrix DuL^W (u) is nonsingular on the tangent space Tu = TuMp'x[F — w, G], defined by

Tu = Wp'x(u,Jo(t, x, u)). (3.12)

Obviously, it follows that strong stability is a more general concept than nondegeneracy. For example, while a strongly stable Kuhn —Tucker point, at which (MFCQ) holds and which lies on the boundary (relative in the zero- set Mp'x[F — w] of F — w), may due to a small perturbation shift into the interior, this is impossible in the case of its nondegeneracy.

For more information on strong stability in finitely constrained optimization see [24]. In the semi-infinite case [36, 40] where strong stability has the same analytical meaning as in the finite case (Definition 3.3), an algebraic characterization was given by Riickmann ([36], see also part 2).

Let us assume that for each parameter (t, x, w) G M*1 [F, G] of our parametric optimization problem P.p'x'W(L, F, G) both (MFCQ) and the strong stability holds for the feasible set and for all Kuhn — Tucker points, respectively. Moreover, let us think (COMP) to be fulfilled. Then, the set Mn00 [F, G] has also to be compact, and looking at (t, x, w) as another perturbational parameter, we may choose the same numbers a for all (t, x, w) G M^[F, G].

Moreover, under the compactness assumption (COMP) and even generically, there exist continuous implicitly defined so-called Kuhn — Tucker functions uv : M*1 [F, G] ^ Rq.

Their values are Kuhn — Tucker points u = uv(t, x, w) G Mp'x [F — w, G] being due to the parameters (t, x, w) G M^ [F, G], such that the following holds. Namely, these functions represent all Kuhn — Tucker points of our parametric problems.

That genericity, being a condition stronger than density (cf. [13, 18]), may be interpreted as a basic representativity of those problem data ((L, F, G), (£, E)), for which all the Kuhn — Tucker functions, which may locally in M*1 [F, G] be given, are always globally (on M^O [F, G]) extendable, locally isolated (implicit) functions, and, herewith, well-defined. By definition, a generic set contains a subset which is the intersection of some sequence of open and dense sets (here: in the space (C3 x C2, Cf x Cf)).

Our genericity comes from the openess and density (hence, genericity) of the qualitative conditions (MFCQ) and strong stability (cf., e.g., [20, 24, 40]), and from the genericity of the globality (of the domain) property.

The latter fact can be realized by means of exhausting the path components K of the compact set M^O [F, G] in a one parametric way with the help of paths, together with generic one parametric nonlinear programming [17, 21], by means of continuity and gluing of functions (cf. [13, 18]). Let us only mention that for these programming problems the appearance of turning points and stopping of some Kuhn — Tucker trajectory (in _Rq+1) is well understood [17, 21], such that we prove genericity with the help of suitable perturbations.

We remember that, hereby, the implicit definedness of these functions uv reflects the local uniqueness (isolatedness) and continuous (data) dependence (stability) of all the Kuhn — Tucker points, while the (global) existence is (generically) guaranteed with the help of both (COMP) and the qualitative conditions. Therefore, we note that a local minimum u G M_f'x[F— w, G] fulfilling (MFCQ) is a Kuhn — Tucker point (see [13, 21]). More such (perturbational) argumentations on implicitness are given in [23, 24, 40, 42].

In the special case, where Mn0O [F, G] has only one path component, and in view of our Assumption (COMP), the number of these Kuhn — Tucker functions can be chosen to be of a finite number. We remark that, in the general case of one or more path components, the number of those components itself is finite if Mn00 [F, G] can be represented as a feasible set (in the sense on finitely constrained optimization) fulfilling (LICQ) [9, 16, 40].

Whenever the number of path components is greater than 1, then the number of Kuhn — Tucker functions increases because of combinatorical reasons. This fact will not cause problems.

Within each path component K C M^O[F, G] the types of the values uv(t, x, w) of a given Kuhn — Tucker function uv, namely, local maximum, saddlepoint, or local minimum for the underlying finite problem, does not depend on the special choice of the argument (t, x, w) G K (cf. also [24]). Hence, we could talk about the type of uv|K.

The globality condition of the Kuhn —Tucker functions is very strong, but comfortable for the ease of exposition. However, in part 2 this globality condition will be deleted by means of admitting jumps between locally defined "pieces" of Kuhn — Tucker functions. These jumps will happen at n-dimensional Lipschitzian manifolds in the (n + 1)-dimensional (t, x)-space. Then genericity is guaranteed in a basic sense.

Example and concluding remarks 3.5. The dimensional restrictions m<n<q are made in order, under certain constraint qualifications, to guarantee the feasible sets Mp'x[F — w, G] from (3.4), but also the ones given in (1.9), (1.10) (and a forthcoming one in part 2), to be topological manifolds of a positive dimension. In so far, on the one hand these restrictions, being well known in more topological or parametric optimization [9, 20, 22], reflect our approach in using optimization over and , respectively, to analyze P(£, L,F, E,G). On the other hand, for example the following problem given by Maurer [28], has to be excluded. Namely, in

short notation we state

Min J0 u2(t) dt, where

(Pi) ;

xi = x2, x2 = u, xi(0) = x2(1) = 0, x2(0) = 1, x2(1) = -1.

Here, we have n = 2, q =1, m = 4, s = 0, hence, m > n > q, and Mt,x[F — w] = {w2} (0-dimensional) if x2 = wi, while Mt,x[F — w] = 0 otherwise. Hence, Mt,x[F — w] is highly unstable with respect to small perturbations of the parameters x, w (for the case x2 = w1). This instability, however, comes from the irregularity of the feasible set Mt,x[F — w], while the violation of m < q < n can be overcome by means of introducing further (dummy) variables, e. g., by adding in a quadratic way further controls into the integrand. This opportunity may be considered as some unfolding.

Let us therefore, and in order finally to illustrate some meaning of the problems p,t'x'w(L, F, G) for P(£, L, F, E, G), suitably modify and rigorously simplify our example. We study the problem

(P ) i Min J0 (u2(t) + u2(t)) dt, where 2 \ x = x, —1 < x,ui,u2 < 1.

Then, we have, m = 0 <n =1 <q = 2, F = f1, f (t,x, u) = x and, hence (shortly writing t, x, w for t, x, w):

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[—1,1]2, if x = w,

M>x[F — w, G] =

0, otherwise,

(t,x,w) G Mn0[F, G] = [0,1] x{(x,w) G [—1,1] x R | |x — W| < no}. In this example, M^0[F, G] obviously consists of one single path component.

Here, the instability of M^^F — w,G] with respect to parametric variations of x (or w) reflects that (MFCQ) is violated everywhere, namely because of (F — w) = O2 (G IR2). For theoretical foundations (even in the semi-infinite case) we refer to [22], again, and to our explanations given in part 2. We remark that by introducing a third control and a second state coordinate it is easy completely to guarantee (COMP), i.e., also due to M[E], while the relations m < n < q remain preserved. Therefore, e. g., the equality constraint xi(0) + x2(1) + x2(0) + x2(1) = 1 establishes that compactness.

Modifying (P2) a bit, we come to

{Min f01 (u2 (t) + u2 (t)) dt, where

x = x + u1, —1 < x,u1 ,u2 < 1,

such that we really get a projective set M^? [F, G], which still consists of one component, and the optimization problems

{Min u2 + u2 on M^X[F — w,G], where

M^x [F — w, G] = { u e R2 | — 1 < ui, U2 < 1, x + ui = w }

(t, x, w) e Mp? [F, G]); see Figure 4.

It is not hard to realize now that, if and only if u1 = —1 (u e M_^,x[F—w, G]), then (MFCQ) holds, and that the (global) minimum u0 = (—x + w, 0) is the only Kuhn — Tucker point ((t,x, w) e Mp?[F, G]). Actually, the (global) maxima u1 = (—x + w, —1), u2 = (—x + w, 1) do not fulfill the Kuhn —Tucker condition (KT^™). Moreover, our u0 (where u1 = —x+w = —1) is strongly stable. Consequently, in view of the characterization theorem from [22] (cf. also our Characterization Theorem (A)), if u1 = —1 for all u e M_^,x[F — w,G], then (PgXr™) is structurally stable.

Let us for all parameters (t, x, w) e Mp? [F, G] concentrate on our minima. This gives rise to study the unique Kuhn —Tucker function uv(t, x, w) = (—x + w, 0). The unique control solving (P3) is, of course, u0 = 02, which is also the pointwise limit of uv(t, x, w) for —x+w ^ 0. The latter approach can be forced by means of the parametric approach no ^ 0. With the choice w0 := 0 and from a uniform viewpoint (with respect to t) we arrive at x0 = 0 which together with u0 is a solution of (P3). However, together with u0 all state variables x°(t) := cet, |c| being sufficiently small, are solutions of (P3), too.

Hence, in particular, here we do not have local uniqueness of the solutions of the minimum principle. This principle will be stated in part 2, where it will stronger be incorporated into the structure (and stability) of our composite model than in the final decomposite one. In part 2, our example may also be continued.

We resume (and announce for part 2): After our regularity conditions in u, regularity conditions have for completeness also to be imposed with respect to x and, from the composite

>U2

/ , 1- u2 V( \ \ u

1 ■ ' V 62. —"'V iiiiH^ ;u°=(-x+w,0)

-1- u{

Fig. 4. On the examples (P3), (P3'X,W) optimal control and optimization, respectively.

viewpoint, with respect to solutions (x0,u0) of the minimum principle. Hereby, x and u become treated in a balanced manner, and for each t (or t) the relaxing parameter w should pointwise precisely become (re)specified by the derivative x(t) of the states x(t). Consequently, the corresponding parameters (t, x, w) get some explicit path connectedness. Moreover, the minimum principle gives us also the further opportunity to let the boundary functions £ and E enter into our structural investigation.

In this way, the unfolding of the composite structure will be continued in part 2. So, in particular, we have to give a structure for each of the Kuhn — Tucker functions, and a corresponding regularity condition which is defined by a certain transversality. The case of Cpw2-controls will be explained first. Then, jumps are admitted within the general case of Fpw 2-controls.

Those structures and, similarly as in Section 2, the structures of the F problems Pt (L, F, G) and of further (F or GSI) optimization problems will be presented. From the static and dynamical viewpoints, the completeness of the whole structure, a suitable concept of global stability and all the possible irregularities will be incorporated into the composite structure, too.

Part 2 [43] ends up with an evaluation of the less analytical-causal decomposite structure, which treats the different steps of its unfolding in a separate way.

Acknowledgement: I wish to thank the Professors Dr. B.D. Craven, Dr. W. Krabs, Dr. K. Roesner, Dr. Yu. Shokin, and Dipl.-Math. A. Reibold for their interest, encouragement and support.

References

[1] ÄMANN H. Gewöhnliche Differentialgleichungen. Walter de Gruyter, 1979.

[2] BENDER W. Herausforderungen einer kommunikativen und prospektiven Ethik angesichts der Energieproblematik. Preprint. Darmstadt University of Technology, Institute of Theology and Social Ethics, Darmstadt, Germany, 1995.

[3] BROSOWSKI B. Parametric Semi-Infinite Optimization. Peter Lang Verlag, Frankfurt a.M., Bern, New York, 1982.

[4] Chen L.-Y., Goldenfeld N., Oono Y., Paqüette C. Selection, stability and renormalization. Physica A, 204, 1994, 111-133.

[5] CRAVEN B. D. Control and Optimization. Chapman and Hall, London, 1995.

[6] CRAVEN B.D. Personal communication. Melbourne — Darmstadt, 1997.

[7] GAUVIN J. A necessary and sufficient regularity condition to have bounded multipliers in nonconvex programming. Math. Program., 12, 1977, 136-138.

[8] GROMOLL D., MEYER W. On differentiable functions with isolated critical points. Topology, 8, 1969 361-369.

[9] GüDDAT J., JONGEN H. Th. Structural stability in nonlinear optimization. Optimization, 18, 1987, 617-631.

[10] GUDDAT J., JONGEN H.Th., RUCKMANN J. On stability and stationary points in nonlinear optimization. J. Australian Mathem. Soc., Ser. B, 28, 1986, 36-56.

11 12

13

14

15

16

17

18

19

20 21 22

23

24

25

26

27

28

HESTENES M.R. Calculus of Variations and Optimal Control Theory. John Wiley, 1966.

HETTICH R., ZENCKE P. Numerische Methoden der Approximation und semi-infiniten Optimierung. Teubner Studienbucher, Stuttgart, 1982.

HIRSCH M.W., Differential Topology. Springer Verlag, 1976.

Ioffe Ä. D., TIHOMOROV V. M. Theory of Extremal Problems. North-Holland, 1979.

JONGEN H. Th. Personal communication. Aachen, Darmstadt, Germany, 1995.

JONGEN H. Th., Jonker P., Twilt F. Nonlinear Optimization in Rn. I. Morse Theory, Chebychev Approximation. Peter Lang Verlag, Frankfurt a.M., Bern, New York, 1983.

JONGEN H. Th., Jonker P., Twilt F. Critical sets in parametric optimization. Mathem. Program., 34, 1986, 333-353.

JONGEN H.Th., Jonker P., Twilt F. Nonlinear Optimization in lRn. II. Transversality, Flows, Parametric Aspects. Peter Lang Verlag, Frankfurt a.M., Bern, New York, 1986.

JONGEN H.Th. RÜCKMANN J.-J. On stability and deformation in semi-infinite optimization. In "Semi-Infinite Programming". Eds. R. Reemtsen et al. Kluwer Academic Publishers, 1997 (to appear).

JONGEN H.Th., Twilt F., Weber G.-W. Semi-infinite optimization: structure and stability of the feasible set. J. Optim. Theory and Appl., 72, 1992, 529-552.

JONGEN H.Th., Weber G.-W. On parametric nonlinear programming. Annals of Operat. Res., 27, 1990, 253-284.

JONGEN H.Th., Weber G.-W. Nonlinear optimization: Characterization of structural stability. J. Global Optim., 1, 1991, 47-64.

KOJIMA M. Strongly stable stationary solutions in nonlinear programs. In "Analysis and Comput. of Fixed Points", ed. S. M. Robinson. Academic Press, 1980, 93-138.

KOJIMA M., HlRABAYASHI R. Continuous deformations of nonlinear programs. Math. Progra'm. Study, 21, 1984, 150-198.

KRABS W. Optimization and Approximation. John Wiley, 1979.

MALANOWSKI K., MAURER H. Sensitivity analysis for parametric control problems with control-state constraints. Preprint. University of Munster, Germany, submitted for publication, 1994.

MANGASARIAN O. L., Fromovitz S. The Fritz-John necessary optimality condition in the presence of equality and inequality constraints. J. Math. Anal. Appl., 17, 1967, 37-47.

MAURER H. Personal communication. Munster and Darmstadt, respectively, 1995-1996.

[29] PALAIS R. Morse theory on Hilbert manifolds. Topology, 2, 1963, 299-340.

[30] PALAIS R. Homotopy theory of infinite dimensional manifolds. Topology, 5, 1966, 1-16.

[31] PALAIS R., SMALE S. A generalized Morse theory. Bull. Amer. Math. Soc., 70, 1964, 165-172.

[32] PlCKL St. Der t-value als Kontrollparameter — Modellierung und Analyse eines Joint-Implementation Programmes mithilfe der dynamischen kooperativen Spieltheorie und der diskreten Optimierung (doctoral thesis). Darmstadt University of Technology, Department of Mathematics, 1998.

[33] PÜNTRYAGIN L.S., BüLTRYANSKI V. G., GAMKRELIDZE R. V., MlSHCHENKO E. F. The Mathematical Theory of Optimal Processes, Interscience Publishers. J. Wiley, 1962.

[34] ROBINSON S. M. Strongly regular generalized equations. Mathematics of Operations Research, 5, 1980, 43-62.

[35] ROCKAFELLAR R. T. Integral functionals, normal integrands and measurable selection. Lecture Notes in Mathematics 543. Springer Verlag, 1977, 157-207.

[36] RÜCKMANN J.-J. On the existence and uniqueness of stationary points. Preprint. Aachen University of Technology, Department of Mathematics, submitted for publication, 1995.

[37] SCHWARTZ J. T. Generalizing the Lusternik-Schnirelmann theory of critical points. Comm. Pure Appl. Math., XVII, 1964, 307-315.

[38] SHUB M. Global Stability of Dynamical Systems. Springer Verlag, 1987.

[39] SMALE S. Morse theory and a non-linear generalization of the Dirichlet problem. Ann. Math., 80, 1964, 382-396.

[40] WEBER G.-W. Charakterisierung struktureller Stabilität in der nichtlinearen Optimierung, thesis. Aachen University of Technology, appeared in: Aachener Beitrage zur Mathematik, 5, Augustinus-Buchhandlung, Aachen, Germany, 1992.

[41] WEBER G.-W. Minimization of a max-type function: characteriaztion of structural stability. In "Parametric Optimization and Related Topics III". Eds. J. Guddat, H. Th. Jongen, B. Kummer and F. Nozicka. Peter Lang Verlag, Frankfurt a.M., Bern, New York, 1993, 519-538.

[42] WEBER G.-W. On the topology of parametric optimal control. J. Austral. Math. Soc., Ser. B, 39, 1998, 463-497.

[43] WEBER G.-W. Optimal control theory: on the global structure and connections with optimization. Part 2. Preprint. Darmstadt University of Technology, Department of Mathematics, submitted for publication in J. Austral. Math. Soc., Ser. B, 1998.

[44] Weigl A., TüLLE H. Flexible robotergestutzte Demontage von Elektronikgeräten. Thema Forschung (Darmstadt University of Technology), 1, 1995, 50-58.

Received for publication Decebmer 21, 1998

i Надоели баннеры? Вы всегда можете отключить рекламу.