20.05.2014 Views

link to my thesis

link to my thesis

link to my thesis

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.

4.3. AN EXAMPLE 47<br />

Using the matrices A T x i<br />

, one can compute the coordinates of the stationary points<br />

of the polynomial p λ : the eigenvalues of each matrix A T x i<br />

are equal <strong>to</strong> the values of x i<br />

evaluated at the points of V (I), which are equal <strong>to</strong> the i th coordinates of the stationary<br />

points of the polynomial p λ . As a consequence, one may also choose the polynomial<br />

r equal <strong>to</strong> the polynomial p λ (x 1 ,...,x n ), which yields the matrix A T p λ<br />

. The matrix<br />

A T p λ<br />

makes it possible <strong>to</strong> evaluate p λ at its stationary points: the eigenvalues of A T p λ<br />

are the function values of p λ at the points of V (I), i.e., at the (complex) solutions of<br />

the system of equations d (i) (x 1 ,...,x n )=0fori =1,...,n.<br />

A straightforward deployment of the Stetter-Möller matrix method for computing<br />

the global minimum and an associated global minimizer (over R n ) for the real dominated<br />

polynomial p λ now proceeds as follows. As a suitable choice for the polynomial<br />

r, the polynomial p λ is chosen and the corresponding matrix A T p λ<br />

is constructed.<br />

Then its eigenvalues and corresponding eigenvec<strong>to</strong>rs are computed. Note that p λ is<br />

defined as a real polynomial and that therefore only real eigenvalues of the aforementioned<br />

matrix are of interest. The smallest real eigenvalue obtained in this way<br />

yields the global minimum and the corresponding minimizer(s) can be read off from<br />

the eigenvec<strong>to</strong>r which is structured in the same way as the basis B in Equation (4.5)<br />

is structured (because of the same reason mentioned in Section 3.3). Note that the<br />

eigenvec<strong>to</strong>r is structured if and only if the geometric multiplicity of the smallest real<br />

eigenvalue is one. For higher multiplicities the corresponding eigenspace may be larger<br />

and the eigenvec<strong>to</strong>r is not structured (see again Section 3.3).<br />

Remark 4.1. Another approach <strong>to</strong> retrieve the global minimizer is <strong>to</strong> apply the<br />

eigenvec<strong>to</strong>r v, corresponding <strong>to</strong> the smallest real eigenvalue of A T p λ<br />

, <strong>to</strong> the matrices<br />

A T x 1<br />

,...,A T x n<br />

. The eigenvalues ξ 1 ,...,ξ n are obtained by solving ξ 1 from the<br />

equation A T x i<br />

v = ξ i v for i =1,...,n. The point (ξ 1 ,...,ξ n ) found, yields the corresponding<br />

global minimizer. Using this approach the matrices A T x 1<br />

,...,A T x n<br />

have <strong>to</strong> be<br />

constructed explicitly, which is not necessary and not efficient as the minimizers can<br />

be read off from the eigenvec<strong>to</strong>r at hand, as shown previously. But if the eigenvalue<br />

under consideration has a multiplicity larger than one, the corresponding eigenvec<strong>to</strong>rs<br />

may not necessarily contain the Stetter structure and this could then be an approach<br />

<strong>to</strong> compute the minimizers.<br />

Remark 4.2. It is possible that there exists a real eigenvalue of the matrix A T p λ<br />

which<br />

has a non-real global minimizer. Non-real global minimizers which yield a real criterion<br />

value, when plugged in<strong>to</strong> the polynomial p λ , are discarded because they are of<br />

no interest in this application.<br />

4.3 An example<br />

Let the dominated polynomial <strong>to</strong> be minimized be chosen as:<br />

p 1 (x 1 ,x 2 )=(x 4 1 + x 4 2)+x 3 1 +2x 2 1 +3x 1 x 2 (4.8)<br />

for which n =2,d =2,λ = 1, and q(x 1 ,x 2 )=x 3 1 +2x 2 1 +3x 1 x 2 . This dominated<br />

polynomial is visualized in Figure 4.2. From this figure it is clear that there are

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

Saved successfully!

Ooh no, something went wrong!