Uma Extenso do Teorema de Seleo de Filippov

para Escalas Temporais

Iguer Luis Domini dos Santos

XXXV CNMAC

9 de setembro de 2014

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Sistemas de Controle
x(t)

= f (t, x(t), u(t)) q.t.p. t [a, b]

(1)

I x R n varivel de estado
I u(t) U(t) varivel de controle
F (t, x) = {f (t, x, u) : u U(t)}
obtemos a incluso diferencial

x(t)

F (t, x(t)) q.t.p. t [a, b].

Hipteses: (2)

(2)

(1). Por teorema de seleo de Filippov (SIAM -

1962).

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Consideraes Iniciais
I

Teorema de seleo de Filippov: Filippov (1962).

Obtemos uma extenso do teorema de seleo de Filippov para

escalas temporais.

Os sistemas de controle de equaes considerados foram abordados

em Hilscher e Zeidan (2009) para o estudo de condies necessrias a

otimalidade.

Outras extenses do teorema de seleo de Filippov para escalas

temporais: Santos e Silva (2013).

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Escala Temporal
I

Uma escala temporal

TR

um conjunto no-vazio e fechado.

Denio

Seja T uma escala temporal. Denimos : T T como

(t) = inf {s T : s > t}

e : T T como
(t) = sup{s T : s < t}.

Estamos supondo que inf = sup T e sup = inf T.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Escala Temporal
I

Se

A, T R,

denotamos por

AT

o conjunto

A T.

Denio

Seja T uma escala temporal. Se sup T < + denimos

T = T \ ((sup T), sup T]T

e se sup T = + denimos T = T.
Denio (Derivada

Seja T uma escala temporal, f : T R e t T . Se R tal que,

> 0 > 0 de modo que
| f ((t)) f (s) ((t) s) | | (t) s |
s (t , t + )T , dizemos que a derivada delta de f em t e
denotamos = f (t).
Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Escala Temporal
I f : T Rn

t T .

Tem-se

f (t) = (f1 (t), ..., fn (t))

Observao

Considere f : T R. Se T = R, temos (t) = t ento f (t) = f (t).

Se T = Z ento (t) = t + 1 e f (t) = f (t + 1) f (t).
0

Propriedades do clculo em escalas temporais: Bohner-Peterson

(2001).

Usaremos uma escala temporal

compacta, sendo

a := min T < max T := b.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Integrao em Escalas Temporais

I

Denote por

T : a, b T}.
F := {[
a, b)

Sendo

[
a, a)T = .

Denio

Seja E T arbitrrio. Se Sexiste pelo menos uma sequncia de intervalos

[aj , bj )T F tal que E j [aj , bj )T , denimos a medida exterior de E
como
+
[
X

m (E ) = inf
(bk ak ) : E [ak , bk )T , [ak , bk )T F .

k=1

Se no existir uma tal cobertura de E denimos m (E ) = + .

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Integrao em Escalas Temporais

Denio

Um conjunto E T chamado de -mensurvel (Lebesgue

-mensurvel) se
m (A) = m (A E ) + m (A (T \ E ))

para cada conjunto A T.

I

A famlia

de conjuntos

-mensurveis

uma

-lgebra.

Denio

Chamamos a medida m : [0, +] de -medida de Lebesgue e

denotamos m .

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Integrao em Escalas Temporais

Denio

Dizemos que uma proposio P vale -quase todo ponto (-q.t.p.) em

T \ {b}, se o conjunto N dado por
N = {t T \ {b} : P nao vale em t}

tal que (N) = 0.

Denio

-mensurvel e E , denimos integral de Lebesgue

Se f : T R
de f sobre E como em Rudin (1987). Denotamos por
Z
f (s)s
E

e chamamos de -integral de Lebesgue de f sobre E .

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Integrao em Escalas Temporais

Propriedades da teoria de integrao: Bartle (1995); Cabada e Vivero

(2006); Royden (1968); Rudin (1987).

Se

f = (f1 , ..., fn ) : T Rn -mensurvel, denimos

Z
Z
Z


f (s)s =
f1 (s)s, ..., fn (s)s .
E

E
n

I Se E , denotaremos por L1 (E , R ) o conjunto

f : T Rn -mensurveis e integrveis em E .

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

das funes

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Funes Absolutamente Contnuas

Denio

Diz-se que uma funo f : T Rn absolutamente contnua se para

todo > 0 existe > 0 tal que
n
X

kf (bi ) f (ai )k <

i=1

quando ai bi e {[ai , bi )T }ni=1 so intervalos disjuntos satisfazendo

n
X

(bi ai ) < .

i=1

I
I

Tais funes so chamadas de arcos.

Vale o Teorema Fundamental do Clculo.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Funes Absolutamente Contnuas

I

Denotaremos o conjunto de todos os arcos com domnio

contradomnio

Rn

por

AC (T, Rn ).

Teorema

Uma funo f : T Rn absolutamente contnua se, e somente se, as

seguintes condies so vlidas:
(i) -q.t.p. t [a, b)T a funo f -diferencivel e
f L1 ([a, b)T , Rn );
(ii) para cada t T tem-se
Z
f (t) = f (a) +

f (s)s.

[a,t)T

A prova uma consequncia direta do caso

f : T R:

Cabada e

Vivero (2005).
Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Multifunes
Denio

I (, F) um espao mensurvel.
I Uma multifuno :
Rn uma aplicao que aplica pontos
x em subconjuntos (x) de Rn .
I Uma multifuno :
Rn F -mensurvel quando o conjunto
1 (V ) = {x : (x) V 6= }

F -mensurvel para cada conjunto compacto V Rn .

I : Rn uma seleo da multifuno quando (x) (x)
x .
I Uma multifuno ser fechada ou no-vazia quando sua imagem
(x) for fechada ou no-vazia para cada ponto x .
Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Teorema de Seleo de Filippov

Considere o sistema de controle de equaes

Se

(x, u)

x (t) = f (t, x((t)), u(t)) q.t.p. t [a, b)T

u(t) U(t) q.t.p. t [a, b)T .

satisfaz (3) ento

(3)

satisfaz

x (t) {f (t, x((t)), u) : u U(t)}

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

q.t.p. t [a, b)T .

(4)

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Teorema de Seleo de Filippov

Teorema

I U:T
Rm no-vazia, fechada e -mensurvel.
I f : T Rn Rm Rn contnua em (x, u) para cada t xado, e
-mensurvel em t para cada (x, u) xado.
I Se x AC (T, Rn ) satisfaz (4) ento existe uma seleo
-mensurvel u de U tal que (x, u) satisfaz (3).
Prova:

I
I

Propriedades de multifunes

(Mensurabilidade).

Seleo Mensurvel: Castaing e Valadier (1977).

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

Consideraes Finais

Foi obtida uma extenso do teorema de seleo de Filippov: Filippov

(1962).

Acreditamos que esse trabalho tambm possa contribuir para o

estudo da existncia de solues para problemas de controle timo em

escalas temporais.

O estudo da existncia de solues para problemas de controle timo

pode ser encontrado em: Filippov (1962); Roxin (1962); Santos e Silva
(2013).

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

R.G. Bartle, The Elements of Integration and Lebesgue Measure,

John Wiley and Sons, New York, 1995.
Bohner, M., Peterson, A., Dynamic Equations on Time Scales,
Birkhauser, Boston, 2001.
A. Cabada, D.R. Vivero, Criterions for absolute continuity on time
scales,

Journal of Dierence Equations and Applications, 11 (2005)

1013-1028.
A. Cabada, D.R. Vivero, Expression of the Lebesgue

-integral

on

time scales as a usual Lebesgue integral; application to the calculus

of

-antiderivatives, Mathematical and Computer Modelling,

43

(2006) 194-207.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

C. Castaing, M. Valadier, Convex Analysis and Measurable

Multifunctions, Vol. 580, Springer Lecture Notes in Mathematics,
Berlin, 1977.
A.F. Filippov, On certain questions in the theory of Optimal Control,

SIAM J. Control Optimization, 1 (1962) 76-84.

Journal of Mathematical
Analysis and Applications, 285 (2003) 107-127.
G.S. Guseinov, Integration on time scales,

R. Hilscher, V. Zeidan, Weak maximum principle and accessory

problem for control problems on time scales,

Nonlinear Analysis, 70

(2009) 3209-3226.
P.D. Loewen, Optimal Control via Nonsmooth Analysis, CRM
Proceedings Lecture Notes, Vol.2, American Mathematical Society,
Providence, RI, 1993.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP

Preliminares

Teorema de Seleo de Filippov

Consideraes Finais

H.L. Royden, Real Analysis, Collier-Macmillan Limited, London,

1968.
E. Roxin, The existence of optimal controls,

Mathematical Journal, 9 (1962) 109-119.

The Michigan

W. Rudin, Real and Complex Analysis, third edition, McGraw-Hill

Book Company, New York, 1987.
I.L.D. Santos, G.N. Silva, Filippov's selection theorem and the
existence of solutions for optimal control problems in time scales,

Computational and Applied Mathematics, (2013) 1-19.

I.L.D. Santos, G.N. Silva, Uma classe de problemas de controle

timo em escalas temporais, Anais do SBAI/DINCON 2013, artigo
aceito para publicao.

Santos, I. L. D.
Uma Extenso do Teorema de Seleo de Filippov para Escalas Temporais

FEIS/UNESP