Você está na página 1de 98

Digitando smbolos matemticos no Word

1 07 2011

Provavelmente se voc redige textos cientficos sobre qualquer assunto, j se sentiu incomodado
com a aparente dificuldade de se inserir um smbolo matemtico no Word, mesmo os mais simples,
como , ou . Muitos recorrem a insero de smbolo, o que est longe de ser prtico; ou ento
decoram uma poro de cdigos da tabela ASCII, o que tambm um tanto quanto bizarro. Em
casos mais extremos, a coisa fica impraticvel, e acaba-se tendo que apelar para uma tecnologia
alternativa, como o LaTeX.

Porm, algum na Microsoft j notou esse pequeno problema, mas, provavelmente se esqueceu de
divulgar para os seus colegas a soluo que encontrou. Trata-se da Correo Automtica de
Matemtica. Duvido que voc leitor j tenha ouvido falar de tal mecanismo, mas ele existe, ao
menos a partir do Office 2007.

Primeiramente ativemos o recurso:

1. Clique no Boto Microsoft Office e, em seguida, clique em Opes do Word.


2. Clique em Reviso de Texto e, em seguida, em Opes de AutoCorreo.
3. Clique na guia Correo Automtica de Matemtica.
4. Marque a caixa de seleo Usar regras de Correes Automticas de Matemtica fora
das regies matemticas.

Agora, vamos a mgica. Como voc j deve ter percebido ao executar o passo anterior, existe
uma lista de cdigos pr-definidos para o recurso de correo automtica. Esses smbolos,
diferentemente do ASCII bastante mnemnico para quem tem alguma intimidade com a lngua
inglesa e/ou com os nomes dos smbolos matemticos nesse idioma. Abaixo segue uma pequena
lista de caracteres especiais que esto disponveis.

\neq
<=
>=
\div
\int
\iint
\prod
\infty
\cup
\cap
\bigcup
\bigcap
\exists
\in
\superset
\superseteq
\subset
\subseteq
\emptyset
\forall
\alpha
\beta
\delta
\pi
\lambda
\theta
\Sigma

Para as letras gregas, para se alternar entre maisculas ou minsculas, basta que se escreva a
primeira letra do cdigo no caso que desejar.
Anncios

Propriedade de Kneser
70
(Kn-6)
3M
RR

lim inf
R

1
R

1
0
(1

s
)

R
(
s
)
ds <
1
.
Ent ao,
S
e conexo.
Demonstra c ao.
Come caremos abreviando nossa nota c ao, escrevendo
h
(
t
)=
R

(
t
)
y
+
R
(
t
)
y
+
R
(
t
)
z
. Da hip otese (
Kn

5) e (
Kn

6), podemos selecionar uma constante


R>
0 grande o suficiente, tal que

R
para todo
x

S
e
M
RR

(
(

+ 1)

X
+

X
+3

1
0
(1

s
)

R
(
s
)
ds
)
< R.
(5.15)
Seja
V
o conjunto construido no Lema 5.13, com
R
como em (5.15). Sem perda de
generalidade, assumimos que
V
e compacto e absolutamente convexo.
6
. Tomando
U
=2
V
,
U
1
=3
V
e indicando
N
1
=2
M
RR

1
0

R
(
s
)
ds
onde
R
e como em (5.15). A partir desse
momento iremos dividir a demonstra c ao em v a
rios passos.
Passo 1.
Nessa primeira parte vamos construir os conjunto
K
e
K

. Para uma
divis ao
d
do intervalo
I
formado pelos pontos 0 =
t
0
<t
1
< ... < t
n

1
<t
n
= 1,
escolhemos
u
k

U
,
k
=1
,...,n
tal que

i
k
=1
(
t
k

t
k

1
)
u
k

U
,

u
i

N
1
and

i
k
=1
(
t
k

t
k

1
)
u
k

2
M
RR

1
0
(1

s
)

R
(
s
)
ds
, para todo
i
=1
,...,n
. consideremos as
fun c ao
z
(

) dada por
z
(
t
)=
h
(
t
)+

t
0
R
(
t

s
)
f
(
s,
0)
ds
+
tu
1
,
for 0

t
1
.
Para
t
1
<t

t
2
,
z
(
t
)=
h
(
t
)+

t
1
0
R
(
t

s
)
f
(
s,
0)
ds
+
t
1
u
1
+

t
t
1

R
(
t

s
)
f
(
s,z
(
t
1
))
ds
+(
t

t
1
)
u
2
.
No caso geral, para
t
i

1
<t

t
i
,
i
=1
,...,n
definimos
z
(
t
)=
h
(
t
)+
i

k
=1
(

t
k
t
k

R
(
t

s
)
f
(
s,z
(
t
k

1
))
ds
+(
t
k

t
k

1
)
u
k
)
+

t
t
i

R
(
t

s
)
f
(
s,z
(
t
i

1
))
ds
+(
t

t
i

1
)
u
i
(5.16)
A fun c a
o
z
assim definida e uma fun c ao cont nua. Em seguida, para um
ponto fixo
z
(

)
6
Podemos assumir isso pois, se
S
e compacto ent a o usando [ (BERBERIAN, 1974), (17.16)] temos
que o envolt orio balanceado de
S
,
bal
(
S
), e compacto. Usando agora [ (MARTIN JR, 1976), Corol ario
5.1] temos que o envolt orio convexo de
bal
(
S
),
co
(
bal
(
S
)), e compacto. E notamos que [ (BERBERIAN,
1974), (25.28)] implica que o envolt orio convexo absoluto de
S
,
abco
(
S
), coincide com
co
(
bal
(
S
)) ent ao,
abco
(
S
) e um conjunto compacto absolutamente convexo.
Propriedade de Kneser
71
dado por (5.16) denotaremos por
y
(

)e

) as fun c oes escadas definidas por


y
(0) = 0
,
(0) =
u
1
,y
(
t
)=
z
(
t
k

1
) and

(
t
)=
u
k
,
para
t
k

1
<t

t
k
e
k
=1
,...,n
. Ent ao, podemos reescrever a nossa defini c ao de
z
(

)
como
z
(
t
)=
h
(
t
)+

t
0
R
(
t

s
)
f
(
s,y
(
s
))
ds
+

t
0

(
t
)
ds.
(5.17)
Al em disso, para simplificar mais nossa nota c ao, escrevemos (
t
)=

t
0

(
t
)
ds.
Mostraremos que

z
(
t
)

R
, para 0

1
,
independentemente da divis a
o
d
e da
escolha dos pontos
u
i
. De (5.15) obtemos facilmente que

z
(
t
)

R
para 0

t
1
7
.
Assumimos agora que essa propriedade e v alida para [0
,t
i

1
] mostraremos que a mesma
tamb em e v alida para
t
i

1
<t

t
i
. De fato, usando que (
t
) e uma combina c ao convexa
de (
t
i

1
) e (
t
i
)
8
. Obtemos ent ao,

z
(
t
)

h
(
t
)

X
+
i

k
=1

t
k
t
k

R
(
t

s
)

B
(
X
)

f
(
s,z
(
t
k

1
)

X
ds
+

t
t
i

R
(
t

s
)

B
(
X
)

f
(
s,z
(
t
i

1
)

X
ds
+

(
t
)

+
M
RR

k
=1

t
k
t
k

(
t

s
)

R
(
s
)
ds
+
M
RR

t
t
i

(
t

s
)

R
(
s
)
ds
+
(
1

t
i

1
t
i

t
i

1
)

k
=1
(
t
k

t
k

1
)
u
k

X
+
t

t
i

1
t
i

t
i

k
=1
(
t
k

t
k

1
)
u
k

M
RR

((

+ 1)

X
+

X
)+
M
RR

t
0
(
t

s
)

R
(
s
)
ds
+2
M
RR

1
0
(1

s
)

R
(
s
)
ds

R,
7
Para
t

[0
,t
1
],

z
(
t
)

+
M
RR

t
0
(
t

s
)

R
(
s
)
ds
+2
t
1
M
RR

1
0
(1

s
)

R
(
s
)
ds

M
RR

(
(

+ 1)

X
+

X
+3

1
0
(1

s
)

R
(
s
)
ds
)

R.
8
Basta observarmos que para
t
i

1
<t

t
i
temos
(
t
)=
(
1

t
i

1
t
i

t
i

1
)
(
t
i

1
)+
t

t
i

1
t
i

t
i

1
(
t
i
)
.
Propriedade de Kneser
72
que era o que queriamos mostrar.
Introduzamos o conjunto
K
0

C
(
I
;
X
) formado pelas fun c oes cont nuas

tal que

(
t
)

U
1
para todo
t

I
e satisfazem uma condi c ao de equicontinuidade
9
. Do teorema
de Arzel`a-Ascoli segue que
K
0
e compacto. Tomando
K
=
h
+
K
0
temos que
K
tamb em
e compacto.
Seja
>
0 fixado.
Sem perda de generalidade,
podemos assumir

4
M
RR

1
0
(1

s
)

R
(
s
)
ds
e tomamos

1
=

M
RR

. Usando a compacidade de
S
e
K
assim como a continuidade de
f
, podemos obter 0
<
1

tal que

f
(
s,w
)

f
(
s,w

1
(5.18)
para todo
s

I
e para todo
w,w

(
K

S
)(
I
) tal que

1
. Semelhantemente,
como
K

S
e um conjunto compacto em
C
(
I
;
X
), ent ao existe

2
>
0 tal que

x
(
t
)

x
(
s
)

1
4
,
(5.19)
para todo
x

S
e
t,s

I
tal que
|
t

s
|

2
.
Escolhamos
n
tal que
1
n
< min
{

2
,

1
2

}
. Em seguida consideremos a divis ao
d
definida pelos pontos
t
i
=
i
n
, para
i
=0
,
1
,...,n
. Tomemos
K

como o conjunto
formado pelas fun c oes
z
=
z
u
definida por (5.16) onde
u
=(
u
1
,...,u
n
) e os pontos
u
1
,...,u
n
sa o escolhidos de tal forma que
u

, onde
Z

e o conjunto formado por


todo
u
=(
u
1
,...,u
n
)

(2
n
U

B
N
1

(
X
))
n
tal que

i
k
=1
u
k

n
U
e
1
n

k
=1
u
k

1
2
M
RR

t
2
i

1
,
para todo
i
=1
,...,n
10
. Por outro lado,
Z

e convexo e as fun c oes


z
u

dependem
continuamente
11
da escolha de
u
=(
u
1
,...,u
n
)

, ent ao o conjunto
K

e conexo.
Passo 2
Nesse passo mostraremos que
K

K
, para todo
>
0. De (5.16) e da nossa
9
Ou de outra forma, que exista uma fun c ao , tal que (

0 quando

0
+
,e
sup
t

[0
,
1]
,
|
h
|

(
t
+
h
)

(
t
)
|
(

)
10
Notamos que pela nossa escolha de

os elementos (
u
1
,...,u
n
)

satisfazem
1
n

n
k
=1
u
k

2
M
RR

1
0
(1

s
)

R
(
s
)
ds
.
11
Notamos que

z
u

z
v

C
(
I
;
X
)

X
n

.
Propriedade de Kneser
73
defini c ao de
K
, se denotarmos
z
=
z

h
, devemos provar que
z

K
0
. Como (
t
i
)

U
para todo
i
=1
,...,n
, ent ao (
t
)

U
para todo
t

I
, pois
U
e absolutamente convexo.
Notemos que as fun c
oes escadas
y
(

) s ao tais que
y

(
I
;
X
)e

R
. Ent ao, da
nossa defini c ao de
z
(

) e pelo Lema 5.13, obtemos


z
(
t
)

V
+
U
=
U
1
, para todo
z

e
t

I
. Resta mostrarmos que as fun c oes
z
, para
z

, satisfazem a condi c a
o de
equicontinuidade. Tomando
t,

I
,
h

0 tal que
t
+
h

I
, usando (4.12),

z
(
t
)


z
(
t
+
h
)=

t
0
(
R
(
t

s
)

R
(
t
+
h

s
))
f
(
s,y
(
s
))
ds

t
R
(
t
+
h

s
)
f
(
s,y
(
s
))
ds

t
+
h
t

(
s
)
ds.
Ent ao,


z
(
t
)


z
(
t
+
h
)

t
0

(
R
(
t

s
)

R
(
t
+
h

s
))
f
(
s,y
(
s
))

ds
+

t
+
h
t
M
RR

(
t
+
h

s
)

R
(
s
)
ds
+
N
1
h
O primeiro termo do lado direito da desiguadade podemos estimar
menor que

seguindo
o mesmo caminho feito no Teorema (4.5), obtemos ent ao


z
(
t
)


z
(
t
+
h
)

+
hM
RR

t
+
h
t

R
(
s
)
ds
+
N
1
h
E quando
h

0,


z
(
t
)


z
(
t
+
h
)

X

. Portando, de nossa defini c ao deduzimos que


K

K
, para todo
>
0.
Passo 3.
Agora, mostraremos que as solu c
oes de (5.1)-(5.2) podem ser
aproximadas
por elementos em
K

. Seja
x

S
fixado. O que faremos e construir
z

, tal que

. E para isso, iremos definir


z
indutivamente nos intervalos [
t
i

1
,t
i
]. Para
i
= 1, temos
t
1
=
1
n
, e tomamos
12
u
1
=
1
t
1

t
1
0
R
(
t
1

s
)(
f
(
s,x
(
s
))

f
(
s,
0))
ds.
12
Da defini c a
o de
u
1
e usando (5.18) obtemos a estimativa

u
1

1
t
1
M
RR

t
1
0
(
t
1

s
)

1
ds
=
1
t
1
M
RR

1
(
t
1
s

s
2
2
)
|
t
1
0
=
nM
RR

1
t
2
1
2
.
Propriedade de Kneser
74
Pela constru c a
o, podemos ver que
u
1

2
n
V

B
N
1

,ja
que
u
1
=2
n
(
1
2

t
1
0
R
(
t
1

s
)
f
(
s,x
(
s
))
ds

1
2

t
1
0
R
(
t
1

s
)
f
(
s,
0)
ds
)

2
n
V
e

u
1

2
nM
RR

t
1
0
(
t
1

s
)

R
(
s
)
ds

2
nt
1
M
RR

1
0

R
(
s
)
ds
=
N
1
.
Desde que
V
e absolutamente convexo, sabemos que
1
2
V

V
, e com isso, obtemos que
u
1

2
n
U

B
N
1

(
X
). De (4
.
17) e (4
.
18), podemos afirmar

f
(
s,x
(
s
))

f
(
s,
0)

1
13
para todo 0
<s

1
n
, o que implica

u
1

1
n
M
RR

1
14
. Definimos ent ao
z
(
t
)=
h
(
t
)+

t
0
R
(
t

s
)
f
(
s,
0)
ds
+
tu
1
,
0

t
1
.
(5.20)
Observamos que
z
definida nesse intervalo satisfaz as mesmas condi c
oes das fun c
oes
em
K
restritas a [0
,t
1
]. Segue de (5.20) que,
z
(
t
1
)=
h
(
t
1
)+

t
1
0
R
(
t
1

s
)
f
(
s,
0)
ds
+
t
1
u
1
=
h
(
t
1
)+

t
1
0
R
(
t
1

s
)
f
(
s,
0)
ds
+

t
1
0
R
(
t
1

s
)(
f
(
s,x
(
s
))

f
(
s,
0))
ds
=
h
(
t
1
)+

t
1
0
R
(
t
1

s
)
f
(
s,x
(
s
))
ds
=
x
(
t
1
)
.
Al em disso, para 0
<t

t
1
, podemos estimar

x
(
t
)

z
(
t
)


t
0
R
(
t

s
)(
f
(
s,x
(
s
))

f
(
s,
0))
ds

X
+
t

u
1

M
RR

t
0
(
t

s
)

1
ds
+
t
2
n
M
RR

1
1
n
2
M
RR

1
=

n
2

1
2
13
Como
x

S
,
x
(0) = 0, por (5.19) temos

x
(
s
)

x
(0)

<

1
4
<
1
, usando esse fato mais (5.18)
obtemos a estimativa
14

u
1

1
t
1

M
RR

1
(
t
1
s

s
2
2
)
|
t
1
0
=
M
RR

1
t
1
2
=
M
RR

1
2
n

M
RR

1
n
Propriedade de Kneser
75
Agora, tomemos
u
2
=
n

t
1
0
((
R
(
t
2

s
)

R
(
t
1

s
))(
f
(
s,x
(
s
))

f
(
s,
0))
ds
+
n

t
2
t
1

R
(
t
2

s
)(
f
(
s,x
(
s
))

f
(
s,z
(
t
1
)))
ds
=
n

t
2
0
R
(
t
2

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds

t
1
0
R
(
t
1

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds.
Dessa express ao
u
2

2
n
U
e

u
2

2
nM
RR

(
t
2

t
1
)

t
1
0

R
(
s
)
ds
+2
nM
RR

t
2
t
1

(
t
2

s
)

R
(
s
)
ds

2
M
RR

t
1
0

R
(
s
)
ds
+

t
2
t
1

R
(
s
)
ds
)

N
1
.
Observamos que
u
1
+
u
2
=
n

t
2
0
R
(
t
2

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds

n
U
.
Por outro lado,
1
n

u
1
+
u
2

M
RR

t
1
0
(
t
2

s
)

f
(
s,x
(
s
))

f
(
s,y
(
s
))

X
ds
+
M
RR

t
2
t
1

(
t
2

s
)

f
(
s,x
(
s
))

f
(
s,y
(
s
))

X
ds
:=
I
1
+
I
2
Estimando os termos
I
1
e
I
2
15
. obtemos que
I
1

M
RR

t
1
0
(
t
2

s
)
ds
=
1
2
M
RR

1
(
t
2
2

(
t
2

t
1
)
2
)
,
I
2

M
RR

t
2
t
1

(
t
2

s
)
ds
=
1
2
M
RR

1
(
t
2

t
1
)
2
.
Portanto
1
n

u
1
+
u
2

1
2
M
RR

t
2
2

1
.
15
Notamos que se 0
<s<
1
n

x
(
s
)

y
(
s
)

1
4
. Ent a
o

f
(
s,x
(
s
))

f
(
s,y
(
s
))

1
.
Propriedade de Kneser
76
Seja
z
(
t
) dada por (5.20) para 0
<t

t
1
. Para
t
1
<t

t
2
definimos
z
(
t
)=
h
(
t
)+

t
1
0
R
(
t

s
)
f
(
s,
0)
ds
+
t
1
u
1
+

t
t
1

R
(
t

s
)
f
(
s,z
(
t
1
))
ds
+(
t

t
1
)
u
2
.
Observamos que
z
definida nesse intervalo, satisfaz as mesmas condi c oes das fun c
oes em
K
restritas a [0
,t
2
]. Al em disso,
z
(
t
2
)=
h
(
t
2
)+

t
1
0
R
(
t
2

s
)
f
(
s,y
(
s
))
ds
+

t
2
t
1

R
(
t
2

s
)
f
(
s,z
(
t
1
))
ds
+

t
2
0
R
(
t
2

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds
=
h
(
t
2
)+

t
2
0
R
(
t
2

s
)
f
(
s,x
(
s
))
ds
+

t
2
t
1

R
(
t
2

s
)
f
(
s,z
(
t
1
))
ds

t
2
t
1

R
(
t
2

s
)
f
(
s,y
(
s
))
ds
=
h
(
t
2
)+

t
2
0
R
(
t
2

s
)
f
(
s,x
(
s
))
ds
=
x
(
t
2
)
.
Desde que
x
(
t
1
)=
z
(
t
1
)
,z

K
, levando em conta (5.19) para 0
<t

t
2
e ...

x
(
t
)

z
(
t
)

x
(
t
)

x
(
t
1
)

X
+

z
(
t
1
)

z
(
t
)

1
2

.
Procedendo indutivamente assumimos que temos selecionados
termos
u
k
, para
k
=
1
,...,i

1 tais que (
u
1
,...,u
i

1
,
0
,...,
0)

e a fun c ao
z
(
t
) dada por (5.16) para
t

[0
,t
i

1
]
satisfaz
z
(
t
k
)=
x
(
t
k
) e a estimativa

x
(
t
)

z
(
t
)

1
2
,0

t
i

1
. Agora, definimos
a fun c ao
z
em [
t
i

1
,t
i
]. Come camos selecionando
u
i
=
n
i

k
=1

t
k
t
k

1

(
R
(
t
i

s
)

R
(
t
i

s
))(
f
(
s,x
(
s
))

f
(
s,z
(
t
k

1
)))
ds
+
n

t
i
t
i

R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,z
(
t
i

1
)))
ds.
Inicialmente, mostremos que (
u
1
,...,u
i
,
0
,...,
0)

.
Come camos observando que
Propriedade de Kneser
77
podemos reescrever
u
i
como
u
i
=
n

t
i

1
0
(
R
(
t
i

s
)

R
(
t
i

s
))(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds
+
n

t
i
t
i

R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds
=
n

t
i
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds

t
i

1
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds.
Ent ao
u
i

2
n
U
e

u
i

2
nM
RR

(
t
i

t
i

1
)

t
i

1
0

R
(
s
)
ds
+2
nM
RR

t
i
t
i

(
t
i

s
)

R
(
s
)
ds

2
M
RR

t
i
0

R
(
s
)
ds

N
1
,
e
1
n
i

k
=1
u
k
=

t
i
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds,
o que por sua vez implica que

i
k
=1
u
k

n
U
.
Al em disso, para
t
i

1
<s

t
i
temos
y
(
s
)=
z
(
t
i

1
), ent ao
x
(
s
)

y
(
s
)=
x
(
s
)

x
(
t
i

1
)+
x
(
t
i

1
)

z
(
t
i

1
)
.
De (5.19), sabemos que

x
(
s
)

x
(
t
i

1
)

1
4
e por indu c ao

x
(
t
i

1
)

z
(
t
i

1
)

1
2
.
Combinando essas estimativas com (5.18) temos que
1
n

k
=1
u
k

1
2
M
RR

t
2
i

1
.
Agora definimos
z
(
t
) para
t
i

1
<t

t
i
pela f ormula (5.16). Usando essa express ao e a
Propriedade de Kneser
78
escolha dos
u
k
,
k
=1
,...,i
obtemos que
x
(
t
i
)

z
(
t
i
)=

t
i
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds
+
1
n
i

k
=1
u
k
=

t
i
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds

t
i
0
R
(
t
i

s
)(
f
(
s,x
(
s
))

f
(
s,y
(
s
)))
ds
=0
.
Al em disso, para
t
i

1
<t

t
i
segue de (5.19) e da escolha de
n
que

x
(
t
)

z
(
t
)

x
(
t
)

x
(
t
i

1
)

X
+

z
(
t
i

1
)

z
(
t
)

1
2
,
o que mostra nossa afirma c ao.
Passo 4
Agora finalizamos mostrando que os elementos de
K

sa
o solu c oes
aproximadas de (5.10). Especificamente, mostraremos que

z
(
t
)

h
(
t
)

t
0
R
(
t

s
)
f
(
s,z
(
s
))
ds

,
para todo
t

I
e
z

. De fato, para
t
i

1
<t

t
i
e usando (5.17) temos
z
(
t
)

h
(
t
)

t
0
R
(
t

s
)
f
(
s,z
(
s
))
ds
=

t
0
R
(
t

s
)(
f
(
s,y
(
s
))

f
(
s,z
(
s
)))
ds
+ (
t
)
=
i

k
=1

t
k
t
k

R
(
s

t
)(
f
(
s,z
(
t
k

1
))

f
(
s,z
(
s
)))
ds
+

t
t
i

R
(
t

s
)(
f
(
s,z
(
t
i

1
))

f
(
s,z
(
s
)))
ds
+ (
t
)
:=
I

1
+
I

2
+ (
t
)
.

A seguir, estimaremos os dois primeiros termos


16
.

E claro que

M
RR

t
i

1
0
(
t

s
)
ds,
(5.21)

M
RR

t
t
i

(
t

s
)
ds.
(5.22)
16
Notamos que para
s

[
t
k

1
,t
k
]
,
|
t
k

s
|
<
1
n
<
2
e
z

K
, ent a
o por (5.19)

z
(
t
k

1
)

z
(
s
)

4
.
Por (5.18),

f
(
s,z
(
t
k

1
))

f
(
s,z
(
s
))

1
.
Propriedade de Kneser
79

Para o terceiro termo, obtemos

(
t
)

(
1

t
i

1
t
i

t
i

1
)

k
=1
u
k
n

X
+
t

t
i

1
t
i

t
i

k
=1
u
k
n

1
2
M
RR

t
2
i

1
(
1

t
i

1
t
i

t
i

1
)
+
1
2
M
RR

t
2
i

1
t

t
i

1
t
i

t
i

1
2
M
RR

t
2
i

1
.
(5.23)
De (5.21),(5.22) e (5.23) obtemos a estimativa

z
(
t
)

h
(
t
)

t
0
R
(
t

s
)
f
(
s,z
(
s
))
ds

1
2
M
RR

1
t
2
+
1
2
M
RR

1
t
2
i

t
2
i

Desde que
S
e o conjunto dos pontos fixos do mapa dado por (5.10), e
combinando os
Passo 1 ao Passo 4 e aplicando o Lema 5.14 obtemos que
S
e conexo em
C
(
I
;
X
).
Iremos agora estabelecer a propriedade de Kneser para o conjunto
das solu c oes para
o seguinte problema
u

(
t
)+
u

(
t
)

Au
(
t
)

Au

(
t
)=
f
(
t,u
(
t
)
,u

(
t
))
,t

I
(5.24)
u
(0) = 0
,u

(0) = 0
,u

(0) =
z,
(5.25)
onde
f
:
I

X
e uma fun c ao adequada e
A
o gerador de um fam lia (
,,
)-
regulaizada
R
(
t
) tal que as fun c oes
t

R
(
t
)e
t

(
t
) s ao fortemente cont nuas de
[0
,
1]

B
(
X
).
Para tratar o problema, iremos assumir que as seguinte condi c
oes s ao satisfeitas:
Condi c ao
(
C
car
)

A fun c a
o
f
:
I

X
satisfaz a seguinte condi c ao de
Carath eodory:
(i)
f
(
t,

):
X

X
e cont nua a.e.
t

I
;
(ii)
Para cada
x

X
, a fun c ao
f
(

,x
):
I

X
e fortemente mensur avel.
Come caremos introduzindo o conceito de solu c a
o branda para
nosso problema.
Defini c ao 5.16.
Uma fun c a o
u
:
I

X
e dita uma solu c ao branda do problema (5.24)-
(5.25) se
u
e uma fun c ao continuamente diferenci avel que satisfaz a
seguinte equa c ao