Sequências e Séries de Funções

Sequncias de funes
Uma sequncia de funes uma sequncia
n f n
f n uma
, onde cada
funo.
Exemplo: Considere
A= [ 0, )
f n: A R
dadas por
f n ( x )=
x
n , cujos
grficos dos quatro primeiros termos so:
Seja
f n uma sequncia de funes definidas em
x A ,
A . Para cada
podemos considerar a sequncia numrica de termo geral
f n( x) . Seja
x , x A , para os quais a sequncia numrica
conjunto de todos os
f :BR
converge. Podemos, ento, considerar a funo
f n( x)
dada por:
f ( x )= lim f n ( x ) .
n +
f n converge a
em
B.
Quando dizemos que a sequncia de funes
fn
Diremos, ento, que
significa que, para todo

depender de
e de
xB
converge a
e para todo >0, existe
em
n0
B , isto
(que pode
tal que
n>n 0 |f n ( x )f ( x )|<
Ento, quando acontecer de o

convergncia uniforme.
n0
s depender de , diremos que a
Visto isso, se a sequncia de funes
B , a sequncia numrica
f n( x)
fn
convergir uniformemente a
n +
n>n 0 f ( x )<f n ( x ) <f ( x ) +
Deste modo, a sequncia de funes
para todo
fn
converge uniformemente a
> 0 , existir um natural
n0
n>n 0 , o trecho do grfico de
(que s dependa de ) tal que,
f n , correspondente a
permanecer dentro da faixa determinada elos grficos das funes

e
y=f ( x ) + , com
em
xB,
equivalente a para todo
se, para todo
xB ,
n>n 0 |f n ( x )f ( x )|<
em
f ( x) , isto ,
convergir a
f ( x )= lim f n ( x ) , x B
A condio para todo
xB .
Teoremas
Consideremos a sequncia de funes
f n ( x )=x
, tal que:
xB ,
y=f ( x )
lim f n ( x ) =f (x )
n +
Onde
f ( x )= 0 se1< x <1
1 se x=1
fn
possvel verificar que cada
contnua em
x=1 ; entretanto,
no
contnua neste ponto.
fn
Seja
uma sequncia de funes que converge a
B . O teorema a
em
seguir nos d uma condio suficiente para que a continuidade das

aplicada para a
f .
Teorema 1: Seja
f n uma sequncia de funes e seja
f :BR
fn
seja
dada por:
f ( x )= lim f n ( x ) .
n +
fn
Suponhamos que
fn
condies, se cada
continua em
convirja uniformemente a
for contnua em
em
x 0 B , ento
B . Nestas
tambm ser
x0 .
Do teorema, se cada
uniformemente a
fn
em
for contnua em
B , onde
e a sequncia
f : B R , ento
fn
convergir
ser contnua em
B .
Seja
f : BR
contnua em
de
fn a
dada por
x0
e se
f ( x )= lim f n (x )
n +
e seja
x 0 B . Se cada
fn
for
no for contnua neste ponto, ento a convergncia
no uniforme.
Para demonstrar o teorema, precisamos provar que dado >0, existe >0, tal
que, para todo
xB,
|xx 0|<
|f ( x )f ( x 0 )|<
Como, por hiptese,
fn
f , dado >0, existe um
natural p, tal que, para todo
xB ,
f
(
x
)
f
(x)
p
1. |
3
e, em particular,
2.
Da hiptese de cada
|f p ( x 0 ) f ( x 0 )|< 3
f n ser contnua em
x 0 resulta, em particular, que
x 0 . Da, existe >0 tal que, para todo
contnua em
Por outro lado, para todo
xB ,
|xx 0|<
|f p ( x )f p ( x 0 )|< 3
3.
fp
xB ,
|f ( x )f ( x 0 )|= f ( x ) f p ( x )+ f p ( x )f p ( x 0 ) + f p ( x 0 )f ( x0 )
e, portanto,
f ( x )f ( x0 ) |f ( x )f p ( x )|+|f p ( x )f p ( x 0 )|+|f p ( x 0 )f ( x 0 )|.

Das expresses 1, 2, 3 e da desigualdade acima resulta que, para todo
|xx 0|<
|f ( x )f ( x 0 )|< 3 + 3 + 3 =
xB,
Para permutar os smbolos
lim ,
e n+
suficientes.
Teorema 2: Seja
f :[a ,b ] R
dada por
o teorema seguinte fornece as condies
f ( x )= lim f n (x )
n +
onde cada
fn
[a ,b ] . Nestas condies, se
suposta contnua em
fn
[a ,b ] , ento
em
a
f ( x ) dx= lim
f n ( x ) dx
n + a
ou seja,
f n( x )
b
lim dx= lim

n +
f n ( x ) dx .
n+ a
possvel provar que o teorema acima continua vlido se a hiptese

contnua em
Seja
[a ,b ] for substituda por f n integrvel em
f :[a ,b ] R
f ( x )= lim f n ( x )
dada por
onde cada
n +
fn
[a ,b ] .
fn
integrvel em
[a ,b ] . Se
b
f ( x ) dx lim
ento a convergncia de
fn a
f n ( x ) dx
n + a
no uniforme em
[a ,b ] .
Para demonstrar o teorema 2, precisamos provar que dado >0 existe um

natural
n0
tal que
4.
n>n 0 f n ( x ) dx f ( x ) dx < .
Da hiptese e do teorema anterior segue que
|
b
5.
n0
f n ( x ) dx f ( x ) dx f n ( x )f ( x ) dx .
f n converge uniformemente a
natural
[a ,b ] ; logo,
[ a , b ] . Temos
integrvel em
Como
contnua em
tal que, para todo
em
[a ,b ] , dado >0, existe um
x [a , b] ,
n>n 0 f n ( x )f ( x )
6.
ba .
A partir das expresses 5 e 6, tem-se 4.
d
dx
Os smbolos
lim ,
com base nas condies suficientes apresentadas
n +
no prximo teorema.
f n uma sequncia de funes de classe
Teorema 3: Seja
e sejam
funes de
em
no intervalo
dadas por
f ( x )= lim f n (x )
n +
g ( x ) = lim f ' n ( x)
n +
Nestas condies, se a sequncia de funes
em
I , ento, para todo
f 'n
xI ,
f ' ( x )=g ( x ) ,
ou seja,
'
( lim f ( x )) = lim
n +
n+
f 'n (x )
fn
Vale ressaltar que, para este teorema, no se exige que

uniformemente a
em
f ; o que se exige a convergncia uniforme de
convirja
f 'n
I .
Para se demonstrar este teorema, seja
x 0 I , com
x 0 fixo. Para todo
xI ,
f ' n ( t ) dt
g ( t ) dt=nlim
+
x0
f 'n
pois, por hiptese,

extremos
x0 e x
uniformemente a
x0
no intervalo de
(teorema anterior apresentado e a hiptese de
em
f 'n
convergir
I ). Como
x
f ' n ( t ) dt=f n ( x )f n (x 0)
x0
resulta,
x
g ( t ) dt=nlim
[ f n ( x )f n ( x0 ) ]=f ( x )f ( x 0 ) ,
+
x0
ou seja,
x
f ( x )=f ( x0 ) + g ( t ) dt , x I .
x
0
Como
contnua em
I , pelo teorema fundamental do clculo,
f ' ( x )=g(x )
para todo
xI .
Critrio de Cauchy para Convergncia uniforme de uma sequncia de funes.
Uma sequncia de funes
f : BR
fn
converge uniformemente, em
B , funo
dada por
f ( x )= lim f n (x )
n +
se, e somente se, para todo >0 dado existir um natural

que sejam os naturais
e para todo
xB ,
n>n 0 e m> n0 |f n ( x )f m ( x )|<
n0
tal que, quaisquer
Sries de funes
+
Uma srie de funes uma srie
fn
dizemos que a srie converge, em
B , funo
Onde cada
n=0
fn
s :B R
uma funo,
se, para cada
xB ,
+
s ( x ) = f n( x)
n=0
o que significa que, para cada
xB ,
n
s ( x ) = lim
f k(x)
n + k=0
A funo
s=s( x) , dada por
s ( x ) = f n( x) , denomina-se soma da srie

n=0
fn
n=0
Exemplo: Sabe-se que, para todo
x , com
|x|<1 ,
1
x n= 1x
n=0
Assim, a srie
xn
n=0
converge, em
1,1 , funo
s (x )=
1
,| x|< 1 .
1 x
Critrio de Cauchy para Convergncia Uniforme de Uma Srie de Funes

O Critrio de Cauchy para Convergncia uniforme de sequncia de funes
tambm aplicvel a sries de funes, chamado aqui de Critrio de Cauchy
para Convergncia uniforme de uma sries de funes..
A srie de funes
s :BR
fk
k=0
se, para todo >0 dado, existir um natural
n0
B , funo
tal que, para todo
xB ,
n>n 0 f k ( x )s ( x ) <
k=0
Reenunciando o critrio para aplic-lo a uma srie de funes, tem-se que a srie
+
de funes
fk
k=0
B , funo
se, e somente se, para todo >0 dado, existir um natural

que sejam os naturais
m en
e para todo
n0
s ( x ) = f k ( x)
k=0
tal que, quaisquer
xB ,
n
m>n>n 0 f k ( x ) f k ( x ) <
k=0
k=0
Observa-se que
m
k=0
k=0
f k ( x ) f k (x)=f n +1 ( x ) + f n+2 ( x ) ++ f m ( x)
Critrio M de Weiwerstrass para Convergncia Uniforme de Uma Srie de Funes

+
Seja
fk
k=0
uma srie de funes e suponhamos que exista uma srie numrica
Mk
k=0
tal que, para todo
xB
e para todo natural
f k ( x ) M k .
k ,
Nestas condies, se a srie
Mk
convergir uniformemente, em
B , funo
for convergente, ento a srie
k=0
fk
k=0
s ( x ) = f k (x) .
k=0
+
Demonstra-se este critrio adotando, por hiptese,
Mk
k=0
convergente, pelo
critrio de Cauchy para sries numricas, dado >0 existe um natural
que, quaisquer que sejam os naturais
|
m
k=0
xB
e para todos
tal
m> n>n0 |M n+1 + M n+2 ++ M n|<
Temos, para todo
n0
n , com
m>n>n 0 ,
f k ( x ) f k ( x ) =|f n+1 ( x ) + f n+2 ( x ) + +f m ( x )||f n +1 ( x )|+|f n+2 ( x )|+ + f m ( x )

k=0
e, portanto, de
e da hiptese segue
|
m
k=0
f k ( x ) f k ( x ) M n +1+ M n +2+ + M m <

k=0
Logo, pelo critrio de Cauchy para convergncia uniforme de uma srie de

+
funes, resulta que a srie
fk
k=0
B , funo
s ( x ) = f k (x) .
k=0
Teoremas
Os teoremas aplicados a sequncias de funes so tambm aplicveis a sries
de funes, como visto a seguir
Teorema 1: Seja
s :B R
dada por
s ( x ) = f k (x)
k=0
Se a srie de funes
cada
fk
fk
k=0
for contnua em
x 0 B , ento
s , em
ser contnua em
B , e se
x0 .
s=s ( x ) , x [a , b ] , dada por
Teorema 2 (Integrao termo a termo): Seja

+
s ( x ) = f k (x)
k=0
Se cada
fk
for contnua em
uniformemente a
em
[a ,b ]
e se a srie
f k (x )
k=0
convergir
[a ,b ] , ento
b
+ b
s ( x ) dx = f k ( x ) dx
k=0 a
ou seja,
b
+ b
f k ( x ) dx= f k ( x ) dx
k=0
k=0 a
s :I R , I
Teorema 3 (Derivao termo a termo): Seja
intervalo, dada por
s ( x ) = f k (x)
k=0
Se cada
fk
for de classe
uniformemente em
C1 em
I , ento, para todo
e se a srie
xI ,
f 'k
k=0
convergir
s ( x )= f k (x)
'
'
k =0
ou seja,
'
f k ( x ) = f ' k (x)
k=0
k=0
Aplicaes
Modelo termodinmico de um ambiente com sistema de climatizao
Uma sequncia discreta no tempo
x ( t ) ,t=0, 1, pode ser desenvolvida em
termos de um conjunto de funes ortonormais
j ( t ) , j=1,2 ,
se possuir
energia finita, ou seja, se
x 2 ( t ) <
t=0
Podemos considerar que um sistema de climatizao de uma fbrica possui

energia finita, visto que h transformaes de energia, e perdas para o meio.
Considerando que o meio levado em conta no dimensionamento de um sistema
HVAC, podemos considerar este sistema com energia finita.
Considera-se um HVAC (Heating, Ventilating, and Air-Conditioning) projetado para
o controle de temperatura de um ambiente de fbrica. Os modelos
termodinmicos para ambientes com sistemas HVAC so normalmente obtidos
utilizando-se o conceito de balano de energia no volume de controle. Para este
exemplo, o modelo do ambiente com sistema de climatizao descrito por:
V am C A
d
T ( t ) =f C A [ T Ain ( t t atr ) T Aam ( t ) ]+ H sen ( t )f h vap [ w Ain ( tt atr )w Aam ( t ) ]hvap mvap
dt Aa m
Onde,
T - temperatura;
w
- umidade absoluta;
- Volume;
- Ar;
- calor especfico;
h vap - entalpia de vaporizao;

am
- ambiente;
- fluxo;
- insuflamento;
t atr
- atraso de transporte nos dutos;
H sen
- taxa de gerao de calor sensvel no ambiente climatizado;
mvap
- taxa de gerao de umidade no ambiente climatizado.
Para que a equao diferencial seja linear e de primeira ordem, assume-se que o
comportamento dos fluidos ideal, que as misturas de fluidos so homogneas e
imediatas, que os processos termodinmicos que ocorrem no interior do
ambiente so adiabticos, e que o processo no apresenta comportamentos
incertos ou variantes no tempo. Estas hipteses no se verificam na prtica, mas
a discretizao da equao diferencial anterior permite utilizar o esquema MLD
(Mixed Logical Dynamical) para a modelagem do ambiente climatizado. Por outro
lado, a estimao dos coeficientes do desenvolvimento ortonormal do ambiente
climatizado permite que os erros de modelagem devidos s simplificaes
tericas sejam parcialmente compensados. Incertezas no modelo do ambiente
so consideradas em seo posterior.
Admitindo-se que a umidade ambiente est em equilbrio, a equao diferencial
anterior pode ser reescrita como
V am C A
Os
parmetros
d
T (t )=f C A [ T Ain ( t t atr ) T Aam ( t ) ] + H sen( t)
dt Aam
de
projeto
V am=25.000 m , f =2.500 m /min ,
utilizados
neste
C A =1.005
exemplo
J/kgC
so
e
H sen ( t ) [ 5 ; 12 ] X 106 J /min . A taxa de gerao de calor sensvel no ambiente

climatizado,
H sen (t) , pode ser estimada implementando-se um observador de
estados. Isto permite consider-la no projeto de controle como uma perturbao

mensurvel (feed-forward). Sendo assim, considerando-se constante o fluxo de
insuflamento,
f , o controle da temperatura do ar ambiente,
realizado ajustando-se a temperatura do ar de insuflamento,
T Aam (t) ,
T Ain (tt atr ) . Esta,
por sua vez, atua no sistema aps um determinado atraso de transporte,
t atr ,
devido aos dutos do sub sistema de ventilao.

Discretizando-se o modelo anterior com interpolao linear e perodo de
amostragem
t s , obtm-se:
V am C A
] [ ( )
T Aam ( t+1 ) T Aam (t )

t
= f C A T Ain t atr T A am ( t ) + H sen (t)
ts
ts
O que implica
T Aam ( t+1 ) =
com
V am f t s
f ts
ts
T Aam ( t ) +
T Ain ( tk ) +
H (t )
V am
V am
V am C A sen
t atr =k t s . Neste exemplo, considera-se o perodo de amostragem
t s=4 min . A transformada Z da equao diferenas anterior dada por

k
f ts z
ts
V am
V am C A
T Aam ( z ) =
T Ain ( z )+
H (z)
V amf t s
V amf t s sen
z
z
V am
V am
Note que, teoricamente, as dinmicas do ambiente com sistema de climatizao
tm a mesma constante de tempo. Denotando-se:
T Aam ( t ) = y (t) ,
T Ain ( t )=u 1(t) ,
H sen ( t ) =u2 (t) ,
onde a entrada
u1 (t )
uma varivel manipulada e a entrada
u2 (t)
uma
varivel observada, a equao diferenas que descreve o comportamento da

temperatura do ar ambiente pode ser reescrita como
y (t )=q1
f t s /V am
1q1 ( V amf t s ) /V am
qk u 1 ( t ) +q1
t s / ( V am C A )
1q1 ( V amf t s ) /V am
u 2 (t)
ou compactamente
y (t )=G1 ( q1) u1 ( t )+G2 ( q1 ) u 2(t )

O modelo ortonormal do ambiente com sistema de climatizao dado por
k=1
k=1
1
1
y (t )= C1 k 1 k ( q ) u1 ( t ) + C 2 k 2 k ( q ) u2 ( t )
Assume-se a existncia de erros de modelagem e de rudo de medio. Isto

implica que, apesar de as dinmicas
G1 ( q1 ) e G2 (q1)
apresentarem a mesma
constante de tempo, os respectivos desenvolvimentos ortonormais utilizaro

diferentes bases,
1 ( q1) e 2 (q1) . O atraso de transporte entre a temperatura
do ar de insuflamento e a temperatura do ar ambiente pode ser absorvido pelos

coeficientes das expanses ortonormais durante o procedimento de estimao ou
pode ser considerado explicitamente na entrada
u1 (tk ) . A escolha deve ser
feita tendo-se em vista a qualidade da informao disponvel acerca do valor de
k . O modelo anterior pode ser escrito de forma equivalente como

l 1 ( t +1 )= A1 l 1 ( t )+
1
b 1 u1 (t)
2
l 2 ( t +1 )= A2 l 2 ( t )+
1
b 2 u2 (t )
2
k=1
k=1
y (t )= c 1 k l 1 k (t )+ c 2 k l 2k (t )
ou, simplesmente,
l 1 ( t +1 )= A1 l 1 ( t )+
1
b 1 u1 (t)
2
l 2 ( t +1 )= A2 l 2 ( t )+
1
b 2 u2 (t )
2
y (t )=c1 l 1 (t )+ c 2 l 2 (t )
Os pares (
A 1 ,b 1 ) e ( A 2 , b2 ) so funes dos polos escolhidos para
representar cada dinmica. Os vetores
c1 e c2
devem ser estimados. O modelo
anterior pode ser reescrito compactamente na forma matricial
[ ][
][ ] [
][ ]
l 1 ( t+1 )
A
0 NXN l 1 ( t ) 1 b1 0NX 1 u1 ( t )
= 1
+
l 2 ( t+1 )
0 NXN A 2 l 2 ( t ) 2 0NX 1 b2 u 2 ( t )
y (t )= [ c 1
c2 ]
T
[ ]
l1 ( t )
l2 ( t )
Finalmente, o modelo ortonormal do ambiente climatizado dado por
l ( t +1 )= Al ( t ) +
y (t )=cT l ( t)
1
bu (t)
2

Sequências e Séries de Funções

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Sequências e Séries de Funções

Загружено:

Авторское право:

Доступные форматы

Sequncias de funes

Uma sequncia de funes uma sequncia

grficos dos quatro primeiros termos so:

f n uma sequncia de funes definidas em

podemos considerar a sequncia numrica de termo geral

x , x A , para os quais a sequncia numrica

converge. Podemos, ento, considerar a funo

Quando dizemos que a sequncia de funes

Diremos, ento, que

significa que, para todo

e para todo >0, existe

Ento, quando acontecer de o

s depender de , diremos que a

Visto isso, se a sequncia de funes

n>n 0 f ( x )<f n ( x ) <f ( x ) +

Deste modo, a sequncia de funes

> 0 , existir um natural

n>n 0 , o trecho do grfico de

(que s dependa de ) tal que,

permanecer dentro da faixa determinada elos grficos das funes

equivalente a para todo

se, para todo

A condio para todo

possvel verificar que cada

contnua neste ponto.

uma sequncia de funes que converge a

seguir nos d uma condio suficiente para que a continuidade das

f n uma sequncia de funes e seja

no for contnua neste ponto, ento a convergncia

Como, por hiptese,

f , dado >0, existe um

natural p, tal que, para todo

x 0 resulta, em particular, que

x 0 . Da, existe >0 tal que, para todo

Por outro lado, para todo

f ( x )f ( x0 ) |f ( x )f p ( x )|+|f p ( x )f p ( x 0 )|+|f p ( x 0 )f ( x 0 )|.

Para permutar os smbolos

o teorema seguinte fornece as condies

lim dx= lim

possvel provar que o teorema acima continua vlido se a hiptese

[a ,b ] for substituda por f n integrvel em

Para demonstrar o teorema 2, precisamos provar que dado >0 existe um

Da hiptese e do teorema anterior segue que

tal que, para todo

[a ,b ] , dado >0, existe um

A partir das expresses 5 e 6, tem-se 4.

com base nas condies suficientes apresentadas

f n uma sequncia de funes de classe

Nestas condies, se a sequncia de funes

I , ento, para todo

Vale ressaltar que, para este teorema, no se exige que

f ; o que se exige a convergncia uniforme de

Para se demonstrar este teorema, seja

x 0 fixo. Para todo

pois, por hiptese,

(teorema anterior apresentado e a hiptese de

I , pelo teorema fundamental do clculo,

Critrio de Cauchy para Convergncia uniforme de uma sequncia de funes.

Uma sequncia de funes

se, e somente se, para todo >0 dado existir um natural

n>n 0 e m> n0 |f n ( x )f m ( x )|<

tal que, quaisquer

Uma srie de funes uma srie

dizemos que a srie converge, em