• Nenhum resultado encontrado

Optimal Control of the FitzHugh-Nagumo System. Paulo M. D. de Magalhães

N/A
N/A
Protected

Academic year: 2021

Share "Optimal Control of the FitzHugh-Nagumo System. Paulo M. D. de Magalhães"

Copied!
20
0
0

Texto

(1)

Optimal Control of the FitzHugh-Nagumo

System

Paulo M. D. de Magalhães

(2)

Abstract

This work deals with internal optimal control of a generalized FitzHugh-Nagumo system.

Existence of optimal state-control pairs is

proved and an optimal control necessary

optimality conditions is derived. Uniqueness

and stability for the generalized FitzHugh-

Nagumo system is obtained.

(3)

Modelo Original (1962)

FitzHugh+Nagumo-Arimoto-Yoshizawa

) )(

1 : (

)

( v u v

v u

a u

u u

FN u

t t o

x a 1 , 0

, 0 ,

0

u = voltagem através da membrana v =permeabilidade da membrana

(4)

Modelo Generalizado (1990) D.E.Jackson

N

)

; : (

) (

2

1

g v

u v

g v

u F

u FN u

t

i t

[, ,

0 ] )

,

( x t Q T

controles ,

estado, de

variáveis e

) ( ,

) )(

)(

( )

; (

classe de

com

limitado aberto

2 1

3 2

1

g g

v u

Q L

u u

u u

F

C

i

i

(5)

Notação e Resultados Auxiliares

 Seja aberto limitado do ℝ N com de classe C 2 .

 espaços de Sobolev com norma e produto interno

 espaço de Hilbert com norma e produto interno

} ),

( ,

: ) ( {

)

( u u D u L 2 m

H m D

)}

( )),

(

; , 0 ( :

) ( {

)

( 2 2 2

1 , 2

2 Q u Q u L T H D u L Q

W D t

m m

m L

m D u u v D uD v dx

u ,

2 / 1 2

)

,

2

( , ( , )

) ( 2

1 ( )

) ( )

(

2 2 2

1 , 2

2

Q L Q L Q t L Q

W u D u D u

u

Q t

t Q Q

W u v D u D v

v

u , ) ( ) ( , ) 2 , ( , ) 0 , (

2,1

2

(6)

Notação e Resultados Auxiliares

 espaço de Hilbert com norma e produto interno

)}

( ,

: ) ( {

)) (

; , 0

( 2 2

1 T L v Q v D v L Q

H D t

) 1 ( , 2 2

. 0

1 , 2

2 ,

0 ( Q ) C ( Q ) W Q W

) ( )

( ))

(

; , 0 ( )

( )

( ))

(

; , 0

(

2 2 2 1 2 2 2

1

, ( , ) ( , ) ( , )

Q L Q

L L

T H Q

t L Q

L L

T

H v D v u v u v u v

v

0 1

0 1

(0, ) { : p (0, ; ), t p (0, ; )}

W T u u L T B D u L T B

(7)

Existência dos estados

Teorema 2.1:Hipóteses:(N≤3) (H1)

(H2)

Tese:

) ( ),

( 0 1

1 0

0 H v H

u

2 , 1 ),

( ,

3 , 2 , 1 ),

( Q i g L 2 Q i

L i

i

PVIF seguinte

o para

) ( )

( )

, ( solução uma

existe [,

1 , 0

] 2 2 , 1

1 , 2 2 0

Q W

Q W

v u

] , 0 ] 0

) 0 ( ,

) 0 (

)

; (

: ) (

0 0

2

1

T u

in v

v u

u

g v

u v

v

g v

u F

u u

FN t

i t

,

(8)

Prova: Teorema do ponto fixo de Leray-Schauder

0 ,

) 0 ( ,

) 0 (

)

(

) (

)

; (

: ) (

do solução uma

é ) ,

( e [ 1 , 0 ] em fixo

onde

) ,

( )

, ( )

, , ( )

, , (

) ( )

( )

( )

( ]

1 , 0 [ :

0 0

2

1

u v

v u

u

g z

w v

v

g z

w F

u u

P

PVIF v

u

v u

z w T

z w T

z w

Q L

Q L

Q L

Q L

T

t

i t

p q

p q

(9)

Teorema 2.2: u u , v v fraco em W 2 2 , 1 ( Q ) qdo. 0

onde é a única solução do ( , ) ( ) 1 ( 0 , ; 2 ( )) PVIF

1 , 2 2 0

L T H

Q W

v u

0

in )

0 ( , )

0 (

) : (

: ) (

0 0

2

1

u

v v

u u

g v

u v

g v

u F

u u

FN t

i

t

(10)

Existência dos estados adjuntos

Teorema 2.3:

Hipótese:(N≤3)

(H1)

é uma solução do PVIF (FN) . (H2) .

Tese: d ! solução do sistema adjunto linearizado

)) (

; , 0 ( )

( )

,

( 1 2

1 , 2 2 0

L T H

Q W

v u

2 2 ( )]

[ ) ,

( u d v d L Q

)) (

; , 0 ( )

( )

,

( p q W 2 2 , 1 Q H 1 T L 2

0 ,

0 )

( )

(

) : (

: )

( *

p in

T q T

p

v v q

p q

u u

q p

u F

p p

FN t d

d i

u t

L

(11)

Estabilidade dos estados em relação aos controles

Teorema 2.4: Hipóteses:

(H1)

(H2) respectivas soluções de (FN)

Tese:

2 , 1 ,

)]

( [

) ,

( g i g i * L 2 Q 2 i

)) (

; , 0 ( )

( )

,

( u i v i W 2 2 , 1 Q H 1 T L 2

2 / 2 1

) (

* 2 2

2 ) (

* 1 )) 1

( : , 0 ( ) 2 (

1 2

1 2 , 1 1 2 2 2

2

) ,

( u u v v W Q H T L C g g L Q g g L Q

(12)

Estabilidade dos estados em relação aos controles

Conseqüências

 Unicidade da solução do Teorema 2.2.

 F é Lipschitz contínua.

) , ( )

, (

)) (

; , 0 ( )

( )

( )

( :

2 1

2 1

1 , 2 2 2

2

v u g

g

L T H

Q W

Q L Q

L

(13)

Fréchet diferenciabilidade de F

Teorema 3.1: Hipótese:

, Tese:

onde é um op. linear tq.

é a solução do PVIF

2 2

2 1

2

1 , ), ( , ) [ ( )]

( g g g g L Q ( g 1 g 1 , g 2 g 2 ) [ L 2 ( Q )] 2

)) ( : , 0 ( ) 2 (

1 2

1 2

1 2

2 1

1 2 , 1 1 2

2

) ,

).(

, ( )

, ( )

,

( g g g g F g g F g g g g W Q H T L

F

) ( ) 2 (

1 , )

2 2

( g g L Q L Q

C

) ,

( g 1 g 2

F ( w , z ) F ( g 1 , g 2 ).( g 1 , g 2 )

0 ,

, 0 )

0 , ( )

0 , (

) : (

: )

( 2

1

w x

x z x

w

g z

w z

g z

w u F

w w

FN t

i u

t

L

(14)

18/07/2007 Paulo Marcelo Dias Magalhães-UFOP 14

O Problema de Controle Ótimo

Seja um convexo fechado não-vazio de Definição: é uma quádrupla admissível se

é solução de (FN) com Então o conjunto admissível para (FN) e o funcional custo

onde os parâmetros calibram a importância dos termos aparecendo no funcional, é dado por

O problema de controle ótimo (PCO)será então:

G ad L 2 ( Q ) L 2 ( Q )

) ,

, ,

( u v g 1 g 2

)) ( : , 0 ( )

( )

,

( u v W 2 2 , 1 Q H 1 T L 2 ( g 1 , g 2 )

ad . G

Q Q

Q d

Q u u d dxdt v v dxdt g dxdt g dxdt

g g v u

J ( , , 1 , 2 ) 2 1 2 1 2 2 2

1

1 2 2

2

2 2

2 1 ,

} )

, , , ( : ) , , ,

{( u v g 1 g 2 u v g 1 g 2 é admissível

U ad

(15)

O Problema de Controle Ótimo

Obter tal que

Teorema 4.1:Assumindo as condições dos teoremas 2.1, 2.2 e que . Então existe uma única quádrupla ótima tal que

g ad

g v

u ˆ , ˆ , ˆ , ˆ ) U

( 1 2

) ,

, , ( inf

ˆ ) ˆ , ˆ , ˆ ,

( 1 2

) , , , 2 (

1

2 1

g g v u J g

g v u J

g ad

g v

u U

) ( , v L 2 Q u d d

g ad

g v

u ˆ , ˆ , ˆ , ˆ ) U

( 1 2

) ,

, , ( inf

ˆ ) ˆ , ˆ , ˆ ,

( 1 2

) , , , 2 (

1

2 1

g g v u J g

g v u J

g ad

g v

u U

(16)

Condições Necessárias de Otimalidade

Teorema 4.2: Seja um controle ótimo para PCO.Então existe

Satisfazendo o sistema de otimalidade (SO) ˆ )

ˆ ,

( g 1 g 2

2 2

2 2

1 1

, 2 2 2

1 , ˆ ) [ ( ) ( 0 , : ( ))] [ ( )]

, ˆ , ˆ , ˆ , ˆ

( u ˆ v p q g g W Q H T L L Q

ad Q

d t

d i

u t

t

i t

g g

dxdt g

g g

q g

g g

p

T x q v

v q p

q

p T

x p u

u q p

u F

p p

x v x

v g

v u

v

u x u x

u g

v u

F u

u

G

) ,

(

0 ˆ )

ˆ )(

( ˆ ˆ )

ˆ )(

( ˆ

0 )

, ˆ ( ˆ ,

ˆ ˆ

ˆ

ˆ 0 , 0 )

, ˆ ( ˆ ,

ˆ ) ˆ

: ˆ ˆ (

ˆ

) ( )

0 , ˆ ( ˆ ,

ˆ ˆ

ˆ

ˆ 0 ), ( )

0 , ˆ ( ˆ ,

) ˆ : ˆ ˆ (

ˆ

2 1

2 2

2 2 1

1 1

1

0 2

0

1

(17)

Referências

 [C] Choen,H. Nonlinear Diffusion Problems.MAA Studies in Matemáticas,vol.7,(1971),27-64.

 [F] Fursikov,A.V.Optimal Control of Distributed Systems.Theory and Applications. American

Mathematical Society,(2000).

 [H] Hadeler,K.P. Nonlinear Diffusion Equations

in Biology .In: Lectures Notes in Mathematics

,vol.564,Springer-Verlag,(1976),163-206.

(18)

Referências

 [Ha] Hastings ,S.Some Mathematical Problems from Neurobiology .AM.Monthly 82,(1975),881- 895.

 [Jl1]Lions,J-L.Quelques méthodes de resolution des problèms aux limites non lineaires .Gauthier – Villars ,1969.

 [JL2]Lions,J-L.Control of distributed singular

systems.Gauthier -Villars,1985.

(19)

Referências

 [LM]Lions-Magenes. Non-Homogeneous Boundary Value Problem and Applications .Springer-Verlag,1972.

 [L z]Ladezenskaja-Solonnikov-Uraltseva .Linear and Quasilinear Equations of Parabolic Type.

AMS , 1968.

 [Mi]Miranda,M. M.Traço para o dual dos espaços

de Sobolev.pre-print, IM-UFRJ.

(20)

Referências

 [P]Magalhães –Brandão –Cara -Medar. Some

Theoretical Analysis and Control Results for the

FitzHugh-nagumo Equations. UNICAMP, (2005),

pre-print.

Referências

Documentos relacionados

The results of the acute toxicity assays with Artemia salina and Swiss mice, after treatment with the bioactive compounds produced by Bacillus strains, were evaluated

E fficacy of the detection of Bursaphelenchus xylophilus by ITS-PCR method in wood samples, taken from adult Pinus pinaster trees, previously assessed as positive, negative and

Este risco não está delimitado e limitado às unidades de saúde, uma vez que existem DM, como os instrumentos cirúrgicos que são emprestados, temporariamente, às unidades

Em comparação com valores encontrados no óleo comercial e conforme os valores da AOCS para essas características químicas de qualidade, podemos salientar que as amostras

da ESPM, São Paulo, v. Essa situação constatada foi confirmada nos questionários aplicados junto aos distribuidores. Entre 2001 e 2006, tal como ocorreu na fase

Porém, há também aquelas que falam sobre política e protestos sociais o “rap de protesto”: “o rap de protesto divulga conteúdos que têm como objetivo educar ou conscientizar

— Neste livro, que se dedica à análise de meio século do pensamento francês contemporâneo, não existe, de facto, uma única referência à obra de Guy Debord, o que não deixa de

Este checklist continha perguntas relacionadas aos conhecimentos sobre entrevista de emprego (por ex.: “para que serve uma entrevista de emprego?”, “quais as perguntas