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.

54 CHAPTER 5. ND-SYSTEMS APPROACH IN POLYNOMIAL OPTIMIZATION<br />

where the nD-shift operates on such state vec<strong>to</strong>rs in an element-wise fashion. Since<br />

this opera<strong>to</strong>r is linear, the latter relation can also be cast in the usual matrix-vec<strong>to</strong>r<br />

form. This requires a choice of basis. If this choice is made <strong>to</strong> correspond <strong>to</strong> the basis<br />

B for the quotient space R[x 1 ,...,x n ]/I and the associated monomial ordering, it<br />

holds that:<br />

w t1,...,t i−1, t i+1, t i+1,...,t n<br />

= σ i w t1,t 2,...,t n<br />

= A T x i<br />

w t1,t 2,...,t n<br />

, (5.7)<br />

where the matrix A T x i<br />

again denotes the matrix associated with multiplication by the<br />

polynomial x i within the quotient space R[x 1 ,...,x n ]/I. Note that its transpose A T x i<br />

is involved in this relationship. As a consequence the following holds:<br />

w t1+α 1,t 2+α 2,...,t n+α n<br />

=(A T x 1<br />

) α1 (A T x 2<br />

) α2 ···(A T x n<br />

) αn w t1,t 2,...,t n<br />

, (5.8)<br />

which shows that the general solution <strong>to</strong> the au<strong>to</strong>nomous multidimensional system<br />

with initial state w 0,0,...,0 is given by:<br />

w t1,t 2,...,t n<br />

=(A T x 1<br />

) t1 (A T x 2<br />

) t2 ···(A T x n<br />

) tn w 0,0,...,0 . (5.9)<br />

More generally, for an arbitrary polynomial r(x 1 ,...,x n ) it holds that:<br />

r(σ 1 ,...,σ n ) w t1,...,t n<br />

= A T r(x 1,...,x n) w t 1,...,t n<br />

. (5.10)<br />

Note that y t1,t 2,...,t n<br />

can be read off from this as being an element of w t1,t 2,...,t n<br />

.<br />

Now we intend <strong>to</strong> use the recursions in Equation (5.3) rather than Equation (5.9)<br />

<strong>to</strong> compute w t1,t 2,...,t n<br />

(and y t1,t 2,...,t n<br />

). In this way the action of a matrix A T r(x 1,...,x n)<br />

on a given vec<strong>to</strong>r v can be computed without constructing this matrix explicitly: only<br />

the relations between the time series as represented by (5.3) are required. The values<br />

of the time series in the initial state w 0,...,0 are known as they are chosen as the values<br />

in the given vec<strong>to</strong>r v.<br />

A more detailed formulation of the nD-systems approach is described in Theorem<br />

3.1 of [13].<br />

Recall that our interest is in computing the eigenvalues of the matrix<br />

A r(x1,...,x n), which coincide with the eigenvalues of its transpose A T r(x 1,...,x n)<br />

and which<br />

may conveniently be studied from the perspective of the au<strong>to</strong>nomous nD-system<br />

introduced above. Note that if v is an eigenvec<strong>to</strong>r of A T x i<br />

with a corresponding<br />

eigenvalue ξ i , then it holds that:<br />

A T x i<br />

v = ξ i v. (5.11)<br />

In terms of the nD-system this implies that the choice w 0,...,0 := v for the initial<br />

state produces a scaled version for the state: w 0,...,0,1,0,...,0 = ξ i v, which relates <strong>to</strong> a<br />

shift in the multidimensional time space by 1 in the direction of the i-th time axis<br />

only. However, the vec<strong>to</strong>rs w 0,...,0 and w 0,...,0,1,0,...,0 have m n − m (n−1) elements in<br />

common (in shifted positions), showing that the eigenvec<strong>to</strong>rs of A T x i<br />

exhibit a special<br />

structure. This corresponds <strong>to</strong> the Stetter vec<strong>to</strong>r structure discussed in Chapter 4.

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

Saved successfully!

Ooh no, something went wrong!