Nonlinear Control Systems: Ant Onio Pedro Aguiar Pedro@isr - Ist.utl - PT

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 11

2.

Mathematical review

Nonlinear Control Systems


Ant
onio Pedro Aguiar
pedro@isr.ist.utl.pt
2. Mathematical review

IST-DEEC PhD Course


http://users.isr.ist.utl.pt/%7Epedro/NCS2012/

2011/2012

2. Mathematical review

Mathematical review (Euclidean Space)


Vector and matrix norms
The norm kxk of a vector x Rn is a real valued function with the properties
1. kxk, x Rn , with kxk = 0 if and only if x = 0,
2. kx + yk kxk + kyk, x, y Rn (Triangular inequality)
3. kxk = ||kxk, R and x Rn .
p-norm
1/p
,

kxkp = (|x1 |p + |x2 |p + . . . + |xn |p )

1p<

-norm
kxk = max |xi |
i

The three most commonly used norms are kxk1 , kxk and the Euclidean norm

1/2
kxk2 = |x1 |2 + |x2 |2 + . . . + |xn |2

2. Mathematical review

Mathematical review (Euclidean Space)


Properties

For k.k ,k.k , with 6= there exist positive constants c1 , c2 such that

c1 kxk kxk c2 kxk , x Rn . In particular


kxk2 kxk1

kxk kxk2

n kxk2

n kxk

kxk kxk1 n kxk

H
older inequality

T
x y kxkp kykq ,

1
1
+ = 1, x, y Rn
p
q

2. Mathematical review

Mathematical review (Euclidean Space)


Matrix norms The induced p-norm of A Rmn
kAkp = sup

x6=0

kAxkp
kxkp

sup kAxkp

kxkp =1

In particular
p=1

kAk1 = max
j

m
X

|aij |

i=1

(The maximum by columns)


p=2

1/
2
kAk2 = max AT A
where max (AT A) is the maximum eigenvalue of AT A.
p=

kAk = max
i

n
X

|aij |

j=1

(The maximum by rows)


4

2. Mathematical review

Mathematical review (Euclidean Space)

Some useful properties. Let A Rmn and B Rnl


1.

2.

1
kAk kAk2 mkAk
n

1
kAk1 kAk2 nkAk1
m

3.
kAk2

kAk1 kAk

4.
kABkp kAkp kBkp

2. Mathematical review

Topological concepts in Rn
Convergence of sequences
A sequence of vectors x0 , x1 , ..., xk , ... Rn denoted by {xk }, is said to converge
to a limit vector x if
kxk xk 0
as k , which is equivalent to
>0 N : kxk xk < , kN
A vector x is an accumulation point of a sequence {xk } if there is a subsequence

of {xk } that converges to x. That is, if there is an infinite subset K of the


nonnegative integers such that {xk }kK converges to x.
A bounded sequence {xk } Rn has at least one accumulation point in Rn .
Increasing sequence: {xk } Rn , xk xk+1 , k. If {xk } Rn , xk < xk+1 , k

it is said to be strictly increasing.


Decreasing sequence {xk } Rn , xk xk+1 , k. If {xk } Rn , xk > xk+1 , k

it is said to be strictly decreasing.


An increasing sequence {xk } Rn that is bounded from above converges to a

real number.
Similarly, a decreasing sequence that is bounded from below converges to a real

number.
6

2. Mathematical review

Topological concepts in Rn
Sets Let S Rn
Open set: x S, one can find an -neighborhood of x

N (x, ) = {z Rn : kz xk < }
such that N (x, ) S
Closed set: Every convergent sequence {xk } with elements in S converges to a

point in S.
Bounded set: S is bounded if there is r > 0 such that kxk < r, x S
Compact set: If it is closed and bounded.
Boundary point: A point p is a boundary point of a set S if every neighborhood

of p contains at least one point of S and one point not belonging to S.


The set of all boundary points of S is denoted by S, the interior of a set by S S
and the closure of a set S = S S.

2. Mathematical review

Mathematical review (Euclidean Space)


Continuous functions
A function f : Rn Rm is said to be continuous at a point x if f (xk ) f (x)
whenever xk x. Equivalently, if
>0 >0 : kx yk < kf (x) f (y)k <
Differentiable functions
A function f : R R is said to be differentiable at x if the limit
f 0 (x) = lim

h0

f (x + h) f (x)
h

exists. A function f : Rn Rm is said to be continuously differentiable (denoted as


fi
f C 1 ) at a point x0 if the partial derivatives x
exist and are continuous at x0 for
j
1 i m, 1 j n.

2. Mathematical review

Mathematical review (Euclidean Space)


Gradient vector
For a continuously differentiable function f : Rn R
f (x) =

f
x1

f
x2

f
xn

iT

Jacobian Matrix
For a continuous differentiable function f : Rn Rm
2

J (x) =

f
x

6
=6
4

f1
x1

f1
xn

..
.

..

..
.

7
7
5

fm
x1

fm
xn

Chain rule
Let h(x) = g(f (x)) be a continuously differentiable function at x0 . Then the Jacobian
matrix is given by the chain rule

h
g
f
=

x x=x0
f f =f (x0 ) x x=x0
9

2. Mathematical review

Mathematical review (Euclidean Space)


Mean value theorem
Let f : Rn R be a continuously differentiable function at each point x of an open
set S Rn . Let x and y be two points of S such that the line segment
L(x, y) = {z : z = x + (1 )y, 0 1} belongs to S. Then exists a point z of
L(x, y) such that

f
f (y) f (x) =
(y x)
x
x=z

Implicit Function Theorem


Let f : Rn Rm be continuously differentiable at each point (x, y) of an open set
S Rn Rm . Let (x0 , y0 ) S be a point such that f (x0 , y0 ) = 0 and for which the
(x0 , y0 ) is nonsingular. Then there exist neighborhoods U Rn
Jacobian matrix f
x
of x0 and V Rm of y0 such that for each y V the equation f (x, y) = 0 has a
unique solution x U . Moreover, this solution can be given as x = g(y), where g is
continuously differentiable at y = y0 .

10

2. Mathematical review

Mathematical review
Grownwall-Bellman Inequality
Let : [a, b] R be continuous and : [a, b] R be continuous and nonnegative. If
a continuous function y : [a, b] R satisfies
Zt
y (t) (t) +

atb

(s) y (s) ds,


a

then
Rt

Zt
y (t) (t) +

(s) (s) e

( )d

ds

In particular, if (t) = is a constant, then


Rt

( )d

y (t) ea
If in addition, (t) = > 0 is a constant, then
y (t) e(ta)
11

You might also like