27.06.2013 Views

Evolution and Optimum Seeking

Evolution and Optimum Seeking

Evolution and Optimum Seeking

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Particular Problems <strong>and</strong> Methods of Solution 11<br />

themselves functions of one or more parameters, the objective function is a function of a<br />

function, or a functional.<br />

A classical problem is to determine the smooth curve down which apoint mass will<br />

slide between two points in the shortest time, acted upon by the force of gravity <strong>and</strong><br />

without friction. Known as the brachistochrone problem, it can be solved by means of the<br />

ordinary variational calculus (Courant <strong>and</strong> Hilbert, 1968a,b Denn, 1969 Clegg, 1970). If<br />

the functions to be determined depend on several variables it is a multidimensional variational<br />

problem (Klotzler, 1970). In many cases the time t appears as the only parameter.<br />

The objective function is commonly an integral, in the integr<strong>and</strong> of which will appear not<br />

only the independent variables<br />

x(t) =fx 1(t)x 2(t):::xn(t)g<br />

but also their derivatives _xi(t) =@xi=@t <strong>and</strong> sometimes also the parameter t itself:<br />

F (x(t)) =<br />

Z t2<br />

t1<br />

f(x(t) _x(t)t) dt ! extr<br />

Such problems are typical in control theory, where one has to nd optimal controlling<br />

functions for control processes (e.g., Chang, 1961 Lee, 1964 Leitmann, 1964 Hestenes,<br />

1966 Balakrishnan <strong>and</strong> Neustadt, 1967 Karreman, 1968 Demyanov <strong>and</strong> Rubinov, 1970).<br />

Whereas the variational calculus <strong>and</strong> its extensions provide the mathematical basis<br />

of functional optimization (in the language of control engineering: optimization with distributed<br />

parameters), parameter optimization (with localized parameters) is based on the<br />

theory of maxima <strong>and</strong> minima from the elementary di erential calculus. Consequently<br />

both branches have followed independent paths of development <strong>and</strong> become almost separate<br />

disciplines. The functional analysis theory of Dubovitskii <strong>and</strong> Milyutin (see Girsanov,<br />

1972) has bridged the gap between the problems by allowing them to be treated as special<br />

cases of one fundamental problem, <strong>and</strong> it could thus lead to a general theory of<br />

optimization. However di erent their theoretical bases, in cases of practical signi cance<br />

the problems must be solved on a computer, <strong>and</strong> the iterative methods employed are then<br />

broadly the same.<br />

One of these iterative methods is the dynamic programming or stepwise optimization<br />

of Bellman (1967). It was originally conceived for the solution of economic problems, in<br />

which time-dependent variables are changed in a stepwise way at xed points in time.<br />

The method is a discrete form of functional optimization in which the trajectory sought<br />

appears as a steplike function. At each step a decision is taken, the sequence of which is<br />

called a policy. Assuming that the state at a given step depends only on the decision at<br />

that step <strong>and</strong> on the preceding state{i.e., there is no feedback{, then dynamic programming<br />

can be applied. The Bellman optimum principle implies that each piece of the optimal<br />

trajectory that includes the end point is also optimal. Thus one begins by optimizing the<br />

nal decision at the transition from the last-but-one to the last step. Nowadays dynamic<br />

programming is frequently applied to solving discrete problems of optimal control <strong>and</strong><br />

regulation (Gessner <strong>and</strong> Spremann, 1972 Lerner <strong>and</strong> Rosenman, 1973). Its advantage<br />

compared to other, analytic methods is that its algorithm can be formulated as a program<br />

suitable for digital computers, allowing fairly large problems to be tackled (Gessner <strong>and</strong>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!