You are on page 1of 11

Existncia de Controle timo de Sistemas

Governados por Equaes Integrais de Volterra


Iguer Luis Domini dos Santos
DINCON 2015

26 de outubro de 2015

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Introduo
I Problemas de controle timo de sistemas governados por equaes
integrais de Volterra: Angell (1976), Belbas (1999), Belbas (2007),
Carlson (1987).
I Usando uma propriedade de convergncia de solues estabelecemos
a existncia de solues para a classe (P) de problemas de controle timo.
I Seja : [a, b] [0, ) em L1 ([a, b]) e seja U K, onde K o
conjunto de todas as funes f : [a, b] R satisfazendo
Z s
|f (t) f (s)|
( )d
t

para cada t e s tal que t s .

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

I Problema de controle timo (P):


min h(x(a), x(b))
sobre todos os pares (x, u) C ([a, b], R) U , tal que

Rt
x(t) = u(t) + a N(t, s)x(s)ds, t [a, b]
(x(a), x(b)) A
onde A R2 fechado e h : R R R semicontnua inferior.
I (x, u) C ([a, b], R) U um processo admissvel para (P), se (x, u)
satisfaz a equao integral acima e (x(a), x(b)) A.
I (
x , u)
um processo timo para (P), se ele um processo admissvel
para (P) que satisfaz

h(
x (a), x(b)) h(x(a), x(b))
para todo processo admissvel (x, u) de (P).
Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Equicontinuidade
Denio

Seja E uma coleo de funes f : [a, b] Rn . Diz-se que E


equicontnuo se para todo > 0 existe > 0 tal que
kf (t) f (s)k <

para toda f E e para cada t, s [a, b] satisfazendo |t s| < .


Teorema (Arzela-Ascoli)

Considere uma coleo E de funes f : [a, b] Rn . Suponha que E


seja equicontnuo e limitado na norma do supremo. Ento toda sequncia
de E possui subsequncia que converge uniformemente em [a, b].

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Teorema (Continuidade de Medida)

Seja f : [a, b] [0, ) uma funo em L1 ([a, b]). Dado  > 0 existe
> 0 tal que, se A Lebesgue mensurvel e (A) < ento
Z
f (s)ds < .
A

Observao

Seja E uma coleo de funes f : [a, b] R. Suponha que exista uma


funo : [a, b] [0, ) em L1 ([a, b]) tal que
Z
|f (t) f (s)|

( )d
t

para quaisquer t e s satisfazendo t s . Do Teorema anterior o conjunto


E equicontnuo.
Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Equaes integrais de Volterra

Denio

Sejam as funes reais N(t, s) e f : [a, b] R, tal que N est denida


no plano ts para t [a, b] e s [a, t]. Para R, a equao
Z
x(t)

N(t, s)x(s)ds = f (t)

(1)

chamada de equao integral de Volterra de segunda espcie. Dizemos


que N o ncleo desta equao integral.

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Teorema (Tricomi (1985))

Se o ncleo N e a funo f so funes contnuas, ento a equao


integral 1 tem uma nica soluo contnua. Esta soluo dada pela
frmula
Z t
x(t) = f (t)

H(t, s; )f (s)ds
a

sendo o ncleo resolvente H(t, s; ) dado pela srie de ncleos iterados


H(t, s; ) =

n Nn+1 (t, s)

n=0

tal que
Z
Nn+1 (t, s) =

N(t, z)Nn (z, s)ds

n = 1, 2, ...

e N1 (t, s) N(t, s).


Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Teorema

Seja {fk } uma sequncia equicontnua e uniformemente limitada de


funes fk : [a, b] R. Suponha que kfk f k 0. Considere a
funo contnua N : [a, b] [a, b] R. Para cada k , seja xk (t) a soluo
contnua da equao integral
t

Z
xk (t) = fk (t) +

N(t, s)xk (s)ds.


a

Ento existe uma subsequncia {xkj } {xk } e uma funo x : [a, b] R


tal que kxkj xk 0, e x satisfaz
Z
x(t) = f (t) +

N(t, s)x(s)ds.
a

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

Existncia de Controles timos para (P)


Teorema

Suponha que a funo N : [a, b] [a, b] R seja contnua e que o


conjunto U seja limitado na norma do supremo. Ento (P) tem um
processo timo.
Prova:

I Seja inf {P} o maior limitante inferior de h(x(a), x(b)) sobre todos os
processos admissveis (x, u) de (P). Logo existe uma sequncia de
processos admissveis (xi , ui ) de (P) satisfazendo
inf {P} = lim h(xi (a), xi (b)).

I Como {ui } equicontnua, do Teorema de Arzela-Ascoli existe uma


subsequncia de {ui }, no reindexamos, tal que kui uk
0.
Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

I Assim, existe uma subsequncia de {xi }, no reindexamos, tal que


kxi xk 0. Alm disso, a funo x : [a, b] R satisfaz
Z
x(t) = u(t)
+

N(t, s)
x (s)ds
a

em [a, b].

I Como (xi (a), xi (b)) A e A fechado, temos que (


x (a), x(b)) A e
ento (
x , u)
um processo admissvel para (P). Temos tambm que
inf {P} = lim h(xi (a), xi (b))

= lim inf h(xi (a), xi (b))


h(
x (a), x(b)) inf {P}
e portanto (
x , u)
um processo timo para (P).

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP

Preliminares

Equaes integrais de Volterra

Existncia de Controle timo

T. S. Angell, On the optimal control of systems governed by


nonlinear Volterra equations, J. Optimization Theory Appl., vol. 19,
2945, (1976).
S. A. Belbas, Iterative schemes for optimal control of Volterra
integral equations, Nonlinear Anal., vol. 37, 5779, (1999).
S. A. Belbas, A new method for optimal control of Volterra integral
equations, Appl. Math. Comput., vol. 189, 19021915, (2007).
D. A. Carlson, An elementary proof of the maximum principle for
optimal control problems governed by a Volterra integral equation, J.
Optim. Theory Appl., vol. 54, 4361, (1987).
F. G. Tricomi, Integral Equations, Dover Publications, Inc., New
York, (1985).

Santos, I. L. D.
Existncia de Controle timo de Sistemas Governados por Equaes Integrais de Volterra

FEIS/UNESP