Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry...

71
Lectur e 2 LINEAR DIFFERENTIAL SYSTEMS Harr y T rentelman Univer sity of Gr oning en, The Netherlands Minicour se ECC 2003 Cambridg e , UK, September 2, 2003 Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.1/22

Transcript of Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry...

Page 1: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Lecture2

LINEAR DIFFERENTIAL

SYSTEMS

Harry TrentelmanUniver sity of Groning en, The Netherlands

Minicour se ECC 2003 Cambridg e, UK, September 2, 2003

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.1/22

Page 2: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Part 1: Generalities

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.2/22

Page 3: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant, meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 4: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,

meaning;

2. time-invariant, meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 5: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant, meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 6: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant,

meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 7: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant, meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 8: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant, meaning

,

where denotes the shift,

3. differential,

meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 9: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear differ ential systems

We discuss the theor y of dynamical systems

that are

1. linear,meaning

;

2. time-invariant, meaning

,

where denotes the shift,

3. differential, meaning

consists of the solutions of a system of diff erentialequations.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.3/22

Page 10: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear constantcoefficientdiffer ential equations

Variab les: �, up to � times diff erentiated, �equations.

��� � � ��� � � ���

��

�� �

��� � � ��� � � ���

��

�� �

......

...

��� � � � ��� � � � ���

�� �

�� �

Coefficients

� : 3 indices!

for the -th diff erential equation,for the variab le involved,

for the order of diff erentiation.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.4/22

Page 11: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear constantcoefficientdiffer ential equations

Variab les: �, up to � times diff erentiated, �equations.

��� � � ��� � � ���

��

�� �

��� � � ��� � � ���

��

�� �

......

...

��� � � � ��� � � � ���

�� �

�� �

Coefficients

� : 3 indices!

� � for the�

-th diff erential equation,

for the variab le involved,

for the order of diff erentiation.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.4/22

Page 12: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear constantcoefficientdiffer ential equations

Variab les: �, up to � times diff erentiated, �equations.

��� � � ��� � � ���

��

�� �

��� � � ��� � � ���

��

�� �

......

...

��� � � � ��� � � � ���

�� �

�� �

Coefficients

� : 3 indices!

� � for the�

-th diff erential equation,

� for the variab le involved,

for the order of diff erentiation.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.4/22

Page 13: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear constantcoefficientdiffer ential equations

Variab les: �, up to � times diff erentiated, �equations.

��� � � ��� � � ���

��

�� �

��� � � ��� � � ���

��

�� �

......

...

��� � � � ��� � � � ���

�� �

�� �

Coefficients

� : 3 indices!

� � for the�

-th diff erential equation,

� for the variab le involved,

� � for the order

�� of diff erentiation.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.4/22

Page 14: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

In vector/matrix notation:

...

� � ��

� � ��

......

...

��

��

�� �

Yields

with

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.5/22

Page 15: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

In vector/matrix notation:

...

� � ��

� � ��

......

...

��

��

�� �

Yields

���

with �

� �

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.5/22

Page 16: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Combined with the pol ynomial matrix (in the indeterminate )

��

we obtain for this the shor t notation

Including latent variab les

with .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.6/22

Page 17: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Combined with the pol ynomial matrix (in the indeterminate )

��

we obtain for this the shor t notation

Including latent variab les

with .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.6/22

Page 18: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Polynomial matrices

A pol ynomial matrix is a pol ynomial with matrix coefficients:

��

with �

�� ��

.

We may view also as a matrix of pol ynomials:

......

...

with the ’s pol ynomials with real coefficients.

Notation : , , , .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.7/22

Page 19: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Polynomial matrices

A pol ynomial matrix is a pol ynomial with matrix coefficients:

��

with �

�� ��

.We may view also as a matrix of pol ynomials:

����

......

...

�� �� �� ��

with the ’s pol ynomials with real coefficients.

Notation : , , , .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.7/22

Page 20: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Polynomial matrices

A pol ynomial matrix is a pol ynomial with matrix coefficients:

��

with �

�� ��

.We may view also as a matrix of pol ynomials:

����

......

...

�� �� �� ��

with the ’s pol ynomials with real coefficients.

Notation :

�� ��,

,

, .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.7/22

Page 21: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 22: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 23: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 24: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 25: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 26: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 27: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

What do we mean by the behavior of this system of diff erential equations?

When shall we define

to be a solution of?

Possibilities:

Strong solutions?

Weak solutions?

(infinitel y diff erentiab le) solutions?

Distrib utional solutions?

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.8/22

Page 28: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

We will be ‘pra gmatic’, and take the easy way out:

solutions!

-solution: is a -solution of if

1. is infinitel y diff erentiab le ( := ), and

2. .

Transmits main ideas, easier to handle , easy theor y, sometimes(too) restrictive .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.9/22

Page 29: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

We will be ‘pra gmatic’, and take the easy way out:

solutions!

-solution:

is a -solution of if

1. is infinitel y diff erentiab le ( :=

), and

2. .

Transmits main ideas, easier to handle , easy theor y, sometimes(too) restrictive .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.9/22

Page 30: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

We will be ‘pra gmatic’, and take the easy way out:

solutions!

-solution:

is a -solution of if

1. is infinitel y diff erentiab le ( :=

), and

2. .

Transmits main ideas, easier to handle , easy theor y, sometimes(too) restrictive .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.9/22

Page 31: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Whence , defines the system�

with

Proposition : This system is linear and time-in variant.

Note that is equal to the kernel of the operator . We will

theref ore call a kernel representation of this system,or the behavior .

determines uniquel y, the converse is not true!

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.10/22

Page 32: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Whence , defines the system�

with

Proposition : This system is linear and time-in variant.

Note that is equal to the kernel of the operator . We will

theref ore call a kernel representation of this system,or the behavior .

determines uniquel y, the converse is not true!

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.10/22

Page 33: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Whence , defines the system�

with

Proposition : This system is linear and time-in variant.

Note that is equal to the kernel of the operator . We will

theref ore call a kernel representation of this system,or the behavior .

determines uniquel y, the converse is not true!

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.10/22

Page 34: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Whence , defines the system�

with

Proposition : This system is linear and time-in variant.

Note that is equal to the kernel of the operator . We will

theref ore call a kernel representation of this system,or the behavior .

determines uniquel y, the converse is not true!

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.10/22

Page 35: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Notation and nomenclature

all suc h systems (with any - finite - number of variab les)

with variab les

(no ambiguity regar ding )

Elements of linear differential systems

‘has’ behavior

or : the system induced by

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.11/22

Page 36: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Notation and nomenclature

all suc h systems (with any - finite - number of variab les)

with variab les

(no ambiguity regar ding )

Elements of linear differential systems

‘has’ behavior

or : the system induced by

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.11/22

Page 37: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Part 2: Inputs and outputs

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.12/22

Page 38: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix :

variab le .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components unconstrained. Thesecomponents are arbitrar y functions . inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions. outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 39: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix

:

variab le � .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components � unconstrained. Thesecomponents are arbitrar y functions .

inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions. outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 40: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix

:

variab le � .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components � unconstrained. Thesecomponents are arbitrar y functions . inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions. outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 41: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix

:

variab le � .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components � unconstrained. Thesecomponents are arbitrar y functions . inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions.

outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 42: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix

:

variab le � .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components � unconstrained. Thesecomponents are arbitrar y functions . inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions. outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 43: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Linear diff erential system:

.

induced by a pol ynomial matrix

:

variab le � .

Idea: there are degrees of freedom in the diff erential equation

. In other words: the requirement leavessome of the components � unconstrained. Thesecomponents are arbitrar y functions . inputs.

After choosing these free components, the remaining componentsare determined up to initial conditions. outputs.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.13/22

Page 44: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Example

Position of point mass subject to a force

:

Three (diff erential) equations, six variab les. does notput constraints on : is allo wed to be any function. After

choosing , is determined up to and .

Also: does not put constraints on : is allo wed tobe any function. After choosing , is determined uniquel y.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.14/22

Page 45: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Example

Position of point mass subject to a force

:

Three (diff erential) equations, six variab les. does notput constraints on : is allo wed to be any function. After

choosing , is determined up to and .

Also: does not put constraints on : is allo wed tobe any function. After choosing , is determined uniquel y.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.14/22

Page 46: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Example

Position of point mass subject to a force

:

Three (diff erential) equations, six variab les. does notput constraints on : is allo wed to be any function. After

choosing , is determined up to and .

Also: does not put constraints on : is allo wed tobe any function. After choosing , is determined uniquel y.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.14/22

Page 47: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Freevariables

Let

, � .

Let ,

The functions � � � obtained by selectingfrom � onl y the components in theinde x set , form again a linear diff erential system (the eliminationtheorem, see lecture 3).

Denote it by .

The set of variab les is called free in if

where , the cardinality of the set .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.15/22

Page 48: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Freevariables

Let

, � .

Let ,

The functions � � � obtained by selectingfrom � onl y the components in theinde x set , form again a linear diff erential system (the eliminationtheorem, see lecture 3).

Denote it by .

The set of variab les � � � is called free in if

where , the cardinality of the set .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.15/22

Page 49: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Maximally fr ee

Let

, � .

Let

The set of variab les � � � is called

maximall y free in if it is free , and if for any

suc h that we have

So: if is maximall y free , then any set ofvariab les obtained by adding to this set one or more of theremaining variab les is no long er free .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.16/22

Page 50: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Maximally fr ee

Let

, � .

Let

The set of variab les � � � is called

maximall y free in if it is free , and if for any

suc h that we have

So: if � � � is maximall y free , then any set ofvariab les obtained by adding to this set one or more of theremaining variab les is no long er free .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.16/22

Page 51: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output partition

Let

, � .

Possib ly after perm utation of its components, a par tition of into

, with � and

� � � , is called

an input/output par tition in if � is maximall y

free .

In that case , is called an input of , and is called an

output of . Usuall y, we write for , and for .

Non-uniqueness: for given , the manif est variab le in generalallo ws more than one input/output par tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.17/22

Page 52: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output partition

Let

, � .

Possib ly after perm utation of its components, a par tition of into

, with � and

� � � , is called

an input/output par tition in if � is maximall y

free .

In that case , is called an input of , and is called an

output of . Usuall y, we write for , and for .

Non-uniqueness: for given , the manif est variab le in generalallo ws more than one input/output par tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.17/22

Page 53: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output partition

Let

, � .

Possib ly after perm utation of its components, a par tition of into

, with � and

� � � , is called

an input/output par tition in if � is maximall y

free .

In that case , is called an input of , and is called an

output of . Usuall y, we write for , and for .

Non-uniqueness: for given , the manif est variab le in generalallo ws more than one input/output par tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.17/22

Page 54: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output representations

Let

be the system with kernel representation

where , and .

Question: Under what conditions on the pol ynomial matricesand is an input/output par tition (with input andoutput )?Proposition: is an input/output par tition of with input

, output if and onl y if is square and .

The representation is then called an

input/output representation of .The rational matrix is called the transf er matrix of w.r.t.the given input/output par tition

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.18/22

Page 55: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output representations

Let

be the system with kernel representation

where , and .Question: Under what conditions on the pol ynomial matricesand is an input/output par tition (with input andoutput )?

Proposition: is an input/output par tition of with input

, output if and onl y if is square and .

The representation is then called an

input/output representation of .The rational matrix is called the transf er matrix of w.r.t.the given input/output par tition

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.18/22

Page 56: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output representations

Let

be the system with kernel representation

where , and .Question: Under what conditions on the pol ynomial matricesand is an input/output par tition (with input andoutput )?Proposition: is an input/output par tition of with input

, output if and onl y if is square and .

The representation is then called an

input/output representation of .The rational matrix is called the transf er matrix of w.r.t.the given input/output par tition

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.18/22

Page 57: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input/output representations

Let

be the system with kernel representation

where , and .Question: Under what conditions on the pol ynomial matricesand is an input/output par tition (with input andoutput )?Proposition: is an input/output par tition of with input

, output if and onl y if is square and .

The representation is then called an

input/output representation of .The rational matrix is called the transf er matrix of w.r.t.the given input/output par tition

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.18/22

Page 58: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Does every

have an input/output representation?

Theorem: Let , with manif est variab le . There exists(possib ly after perm utation of the components) a componentwisepar tition of into , and pol ynomial matrices

, , , suc h that

There even exists suc h a par tition suc h that is proper .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.19/22

Page 59: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Does every

have an input/output representation?

Theorem: Let

, with manif est variab le . There exists(possib ly after perm utation of the components) a componentwisepar tition of into , and pol ynomial matrices

� �

, ,

� �, suc h that

There even exists suc h a par tition suc h that is proper .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.19/22

Page 60: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Does every

have an input/output representation?

Theorem: Let

, with manif est variab le . There exists(possib ly after perm utation of the components) a componentwisepar tition of into , and pol ynomial matrices

� �

, ,

� �, suc h that

There even exists suc h a par tition suc h that is proper .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.19/22

Page 61: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input and output cardinality

has many input/output par titions . However:the number of input components in any input/output par tition ofis fix ed. This number is denoted by � and is called the

input cardinality of :

� � � � is free in

The output cardinality of , denoted by , is the number of

output components in any input/output par tition of . Obviousl y:

For : .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.20/22

Page 62: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input and output cardinality

has many input/output par titions . However:the number of input components in any input/output par tition ofis fix ed. This number is denoted by � and is called the

input cardinality of :

� � � � is free in

The output cardinality of , denoted by � , is the number of

output components in any input/output par tition of . Obviousl y:

� �

For : .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.20/22

Page 63: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Input and output cardinality

has many input/output par titions . However:the number of input components in any input/output par tition ofis fix ed. This number is denoted by � and is called the

input cardinality of :

� � � � is free in

The output cardinality of , denoted by � , is the number of

output components in any input/output par tition of . Obviousl y:

� �

For : � .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.20/22

Page 64: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Summarizing

Linear diff erential systems: those decribed by linear constantcoefficient diff erential equations , etc.

Behavior := the set of solutions (for convenience).

pol ynomial matrix, a kernel

representation of the system induced by .

For a given system , is an input/output par titionif the set of components of is maximall y free: thesecomponents can be chosen arbitraril y. The components ofare then determined up to initial conditions.

An input/output representation of is a special kind of kernel

representation: , , with

. Equiv alent with: is an input/outputpar tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.21/22

Page 65: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Summarizing

Linear diff erential systems: those decribed by linear constantcoefficient diff erential equations , etc.

Behavior := the set of solutions (for convenience).

pol ynomial matrix, a kernel

representation of the system induced by .

For a given system , is an input/output par titionif the set of components of is maximall y free: thesecomponents can be chosen arbitraril y. The components ofare then determined up to initial conditions.

An input/output representation of is a special kind of kernel

representation: , , with

. Equiv alent with: is an input/outputpar tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.21/22

Page 66: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Summarizing

Linear diff erential systems: those decribed by linear constantcoefficient diff erential equations , etc.

Behavior := the set of solutions (for convenience).

pol ynomial matrix, a kernel

representation of the system induced by .

For a given system , is an input/output par titionif the set of components of is maximall y free: thesecomponents can be chosen arbitraril y. The components ofare then determined up to initial conditions.

An input/output representation of is a special kind of kernel

representation: , , with

. Equiv alent with: is an input/outputpar tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.21/22

Page 67: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Summarizing

Linear diff erential systems: those decribed by linear constantcoefficient diff erential equations , etc.

Behavior := the set of solutions (for convenience).

pol ynomial matrix, a kernel

representation of the system induced by .

For a given system , is an input/output par titionif the set of components of is maximall y free: thesecomponents can be chosen arbitraril y. The components ofare then determined up to initial conditions.

An input/output representation of is a special kind of kernel

representation: , , with

. Equiv alent with: is an input/outputpar tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.21/22

Page 68: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

Summarizing

Linear diff erential systems: those decribed by linear constantcoefficient diff erential equations , etc.

Behavior := the set of solutions (for convenience).

pol ynomial matrix, a kernel

representation of the system induced by .

For a given system , is an input/output par titionif the set of components of is maximall y free: thesecomponents can be chosen arbitraril y. The components ofare then determined up to initial conditions.

An input/output representation of is a special kind of kernel

representation: , , with

. Equiv alent with: is an input/outputpar tition.

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.21/22

Page 69: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

A system has in general many i/o representations, so also i/opar titions.

Given , the number of components of is the same in anyi/o par tition . This number is called the inputcardinality of .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.22/22

Page 70: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

A system has in general many i/o representations, so also i/opar titions.

Given , the number of components of is the same in anyi/o par tition . This number is called the inputcardinality � of .

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.22/22

Page 71: Lecture 2 LINEAR DIFFERENTIAL SYSTEMS€¦ · Lecture 2 LINEAR DIFFERENTIAL SYSTEMS Harry Trentelman University of Groningen, The Netherlands Minicourse ECC 2003 Cambridge, UK, September

End of Lecture 2

Lecture 2 LINEAR DIFFERENTIAL SYSTEMS – p.23/22