Tarea 1

Netzahualcoyotl Guadarrama Camarena

CINVESTAV MXICO
23 de septiembre de 2010
Resumen
1. Introduccin
Motivacin del estudio de:
Desigualdad de Cauchy-Schwartz
Formula de Leibnitz-Newton
Desigualdad Matricial de Lyapunov
Complemento de Schur
para el estudio de sistemas con retardo.
1.1. Desigualdad de Cauchy-Schwarz
Sea ,. q : [c. /] R funciones continuas en [c. /] e integrables en [c. /].
Entonces
__
b
a
, (r) q (r) dr
_
2
_
_
b
a
,
2
(r) dr
_
b
a
q
2
(r) dr
1
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
0 _ (r, (r) +q (r))
2
0 _
_
b
a
(r, (r) +q (r))
2
dr
= r
2
_
b
a
, (r)
2
dr + 2r
_
b
a
, (r) q (r) dr +
_
b
a
q (r)
2
dr
= r
2
+1r +C
=
_
b
a
, (r)
2
dr; 1 = 2
_
b
a
, (r) q (r) dr y C =
_
b
a
q
2
(r) dr.
y r
2
+1r +C es positiva.
Cuando (1
2
4C) ~ 0. entonces , (`) = 0 tiene dos races diferentes `
1
y `
2
, \` R
y , (`) _ 0.
1
2
4C < 0
4
__
b
a
, (r) q (r) dr
_
2
4
_
b
a
, (r)
2
dr
_
b
a
q (r)
2
dr < 0
1
2
< 4C
__
b
a
, (r) q (r) dr
_
2

_
b
a
, (r)
2
dr
_
b
a
q (r)
2
dr _ 0
__
b
a
, (r) q (r) dr
_
2
_
_
b
a
, (r)
2
dr
_
b
a
q (r)
2
dr
1.2. Formula de Leibnitz-Newton
Sea , continua en todos los puntos de [c. /] y , = q
0
para alguna funcin q entonces:
b
_
a
, = q(/) q(c)
Sea
1(r) =
x
_
a
,
2
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
Entonces 1
0
= , = q
0
sobre [c. /]. Existe un numero c tal que:
1 = q +c
Y c satisface:
0 = 1(c) = q(c) +c
tal que c = q(c)
1(r) = q(r) q(c)
y para r = /.
b
_
a
, = 1(/) = q(/) q(c)
usando esta formula en
t
_
t
o
0
((:))(:)d: = o((t)) o((t t))
, es continua sobre [t t. t] y , = q
0
= o
0
((:))(:) para o((:)), y tambien derivando
tenemos que
d
d:
[o((:))] = o
0
((:))/(:)
entonces
t
_
t
o
0
((:))/(:)d: =
s
_
a
,(:)d:
de 1
0
= , = q
0
= o
0
((:))(:) sobre [t t. t]
c que satisface
1 = q +c
0 = 1(c) = q(c) +c
= o((t t)) +c
3
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
entonces
c = q(c) = o((t t))
1(:) = q(:) q(c)
para r = / tenemos que
t
_
t
o
0
((:))/(:)d: = o((t)) o((t t))
1.3. Regla de leibniz
sea , y ,
t
continuas sobre 1 en 1, con c,, funciones que son diferenciables en el intervalo
[c. d] con valor en [c. /]. Si , esta denida sobre [c. d] por
,(t) =
(t)
_
(t)
,(r. t)dr
Entonces , tiene una derivada para cada t en [c. d] dada por.
,
0
(t) = ,(,(t). t),
0
(t) ,(c(t). t)c
0
(t) +
(t)
_
(t)
,
t
(r. t)dr.
Prueba:
Sea H denida para (n. . t) por.
H(n. . t) =
v
_
u
,(r. t)dr
Cuando n y pertenecen a [c. /] y t pertenece a [c. d] la funcin , denida
1(t) =
b
_
a
,(r. t)dr es la composicin dada por ,(t) = H(,(t). c(t). t). Aplicando la Regla
de la cadena, tenemos que:
,
0
(t) = H
u
(,(t). c(t). t),
0
(t) +H
v
(,(t). c(t). t)c
0
(t) +H
t
(,(t). c(t). t)
Teorema
Sea , continua sobre J y q creciente sobre J que tiene derivada en el punto c en J.
Entonces la funcin 1, denida para r en J.
4
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
1(r) =
x
_
a
,dq
tiene una derivada en c y 1
0
(c) = ,(c)q
0
(c)
Del teorema tenemos que:
H
u
(n. . t) = ,(n. t) H
v
(n. . t) = ,(. t)
Si , y sus derivada sobre [c. d] y 1
0
(t) =
b
_
a
,
t
(r. t)dr tenemos que: H
t
(n. . t) =
u
_
v
,(r. t)dr
sustituyendo n = ,(t) y = c(t) entonces H
t
(n. . t) =
(t)
_
(t)
,(r. t)dr.nalmente
(t)
_
(t)
,(r. t)dr =
,
0
(t) = ,(,(t). t),
0
(t) ,(c(t). t)c
0
(t) +
(t)
_
(t)
,
t
(r. t)dr
(t)
_
(t)
,(r. t)dr = ,(,(t). t),
0
(t) ,(c(t). t)c
0
(t) +
(t)
_
(t)
,
t
(r. t)dr
1.4. Desigualdad matricial
_

T
1 +1
T

_
T
+
1

1
T
1
Sean . 1 R
nm
simetricas denidas positivas, R
nn
con la desigualdad.

T
1 +1
T
_
T
+1
T

1
1
Sea
H :=
T
+1
T

1
1
T
1 1
T

sea un vector tal que

T
H =
T
_

T
+1
T

1
1
T
1 1
T

=
T
_

_
+
T
_
1
T

1
1
_

T
_

T
1
_

T
_
1
T

=
T

1
2

1
2
+
T
1
T

1
2

1
2
1
T

1
2

1
2
1
T
1
T

1
2

1
2

y los vectores
1
y
2
como
5
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV

1
=
1
2

2
=

1
2
1
Sustituyendo

T
H =
T
1

1
+
T
2

2

T
1

2

T
2

1
= |
1

2
|
2
de
|
1

2
|
2
_ 0
tenemos que
H _ 0
entonces

T
+1
T

1
1
T
1 1
T
_ 0
Finalmente

T
1 +1
T
_
T
+1
T

1
1
1.4.1. Desigualdad matricial 2n
T
_ n
T
:n +
T
:
1

sea : R
nxn
con : ~ 0 y sean n. R
n
construyendo la matriz
_
: 1
1 :
1
_
. :
1
R
nxn
entonces
_
n
T

T

_
: 1
1 :
1
_ _
n

_
= n
T
:n+
T
n+n
T
+
T
:
1
_ 0. n
T
:n+
T
:
1
_ 2n
T
.
usando los dos signos.

_
n
T
+
T
n
_
_ n
T
on +
T
o
1

0 _ n
T
no
_
n
T
+
T
n
_
+
T
o
1

0 _ (no )
T
_
n o
1

_
0 = (no )
T
_
n o
1

_
6
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
Entonces, si n = 0 o = 0, esto implica que
2n
T
_ n
T
on +
T
o
1

1.5. Complemento de Schur

Si
~
=
_
1
C 1
_
con y 1 de diferente dimensin de tal forma que se pueda factorizar
con una matriz diagonal inferior y diagonal superior de la forma
~
= 1l
1 =
_
1 0
C
1
1
_
, l =
_
1
0 1 C
1
1
_
Entonces se le llama complemento de Schur al elemento 1 C
1
1.
Sobre la inversin de una matriz de la forma de o
Sea S una matriz cuadrada.
o =
_
o
11
o
12
o
T
12
o
22
_
donde o
11
es una matriz simtrica :r: y o
22
es una matriz simtrica :r:. Entonces
o 0 si y slo si
o
11
0
o
22
0
o
11
o
12
o
1
22
o
T
12
0
o
22
o
T
12
o
1
11
o
12
0
Prueba
Necesidad: Sea o 0. Entonces una matriz H con columnas (: +:) que tales que
o = HH
T
.
H =
_
A
1
_
A R
nxn
1 R
mxm
Entonces o = HH
T
=
_
AA
T
A1
T
1 A
T
1 1
T
_
entonces o
11
= AA
t
_ 0
Si o
11
tiene un valor propio igual a cero con el correspondiente vector propio r ,= 0,
podemos ver que para el
_
r
0
_
que no es cero tenemos
7
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
_
r
0
_
T
o
_
r
0
_
= r
T
o
11
r = 0
lo cual contradice el hecho de que o 0. Entonces, o
11
es no singular y o
11
0.
Similarmente por o
11
o
+
11
= AA
+
tal que
o
22
o
T
12
o
+
11
o
12
_ 0
o
22
o
T
12
o
1
11
o
12
_ 0
por contradiccin o
22
0.
Los valores propios de o
1
son recprocos de o y adems, o
1
0 y o 0. Por lo tanto
o
1
=
_
1
1
T
C
_
0
con 0 < R
nxn
. 0 < C R
mxm
. entonces
1
0 y C
1
0. La condicin oo
1
=
1
nxn
hace que
_
o
11
o
12
o
1
22
o
T
12
_
= 1
nxn
_
o
22
o
T
12
o
1
11
o
12
_
C = 1
mxm
o equivalente
_
o
11
o
12
o
1
22
o
T
12
_
=
1
0
nxm
_
o
22
o
T
12
o
1
11
o
12
_
= C
1
0
mxn
1.6. Deniciones y propiedades del producto de Kronecker
Denicin
Sean 1
mn
, 1 1
pq
. Donde 1 es R C Entonces el producto de Kronecker (o
tensor) de y 1 esta denido como
1 =
_

_
c
11
1 ... c
1n
1
.
.
.
.
.
.
.
.
.
c
m1
1 ... c
mn
1
_

_
= [c
ij
1]
m;n
i;j1
R
mpnq
Propiedades
1 = 1 1 + 1
c
(AB)
= c
IB+AI
= c
A
c
B
8
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
c
IA
= 1 c
A
c
BI
= c
B
1
( 1) (C 1) = C 11
( 1)

t:( 1) = t:()t:(1)
( 1) =



1
( 1)
1
=
1
1
1
(c) 1 = (c1) = c( 1) . c R
( +C) 1 = 1 +C 1
(1 +C) = 1 + C
( 1) C = (1 C)
1 = dicq[. . .... ]
(
1
1
1
) (
2
12) ... (
p
1
p
) = (
1

2
...
p
) (1
1
1
2
...1
p
)
1
T
( 1) 1 = 1 . R
nn
. 1 R
mm
y 1 R
nmnm
det ( 1) = (det )
n
(det 1)
m
. R
nn
. 1 R
mm
1.6.1. Escritura de
T
A1 contra [ 1] r.
Del estudio de J.J. Silvester de la forma

k
i=1

i
A1
i
= C
la cual se representa como
_
1
T
i

1
+ +1
T
k

k

\ cc(A) = \ cc(C)
9
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
1.6.2. Escritura de
T
A +A = Q
Aplicando las propiedades del producto de Kronecker a la ecuacin de J.J. Silvester y a
la de Lyapunov, tenemos que
La ecuacin de Lyapunov es un caso particular de la ecuacin de Silvester
A +A1 = Q
La matriz de Lyapunov esta dada como:
A +A
T
= Q
Sea 1
nxm
. 1 1
mxm
. Q 1
nxm
.
Entonces
r
i
+A/
i
=
i
= r
i
+
m

i=1
/
ji
r
i
_

_
+/
11
1 /
21
1 . . . /
m1
1
/
12
1 +/
22
1 . . . /
m2
1
.
.
.
.
.
.
.
.
.
.
.
.
/
1m
1 /
2m
1 . . . /
mm
1
_

_
_

_
r
1
r
2
.
.
.
r
m
_

_
=
_

2
.
.
.

m
_

_
del hecho que
Im =
_

_
0 0
0
.
.
. 0
0 0
_

_
1 1
n
=
_

_
/
11
1 /
12
1 . . .
/
21
1
.
.
.
.
.
. /
mm
1
_

_
tenemos que
10
Netzahualcoyotl Guadarrama Camarena DCA CINVESTAV
_

_
_

_
0 0
0
.
.
. 0
0 0
_

_
+
_

_
/
11
1 /
12
1 . . .
/
21
1
.
.
.
.
.
. /
mm
1
_

_
_

_
_

_
r
1
r
2
.
.
.
r
m
_

_
=
_

2
.
.
.

m
_

_
[(1
m
) + (1 1
n
)] \ cc(A) = \ cc(Q)
2. Conclusiones
Referencias
[1] Alexander S. Poznyak Advanced Mathematical Tools For Automatic Control Engineers,
Elsevier, British 2009.
[2] G. H. Golub, S. Nash, C. F. Van Loan. A Hessenberg-Schur method for the problem AX
+XB=C
[3] XXI Congreso de ecuaciones diferenciales y aplicaciones, Ciudad Real 2009.
11