UMA INTRODUO TEORIA DAS DISTRIBUIES DE

ORDEM FINITA

Manuel L. Esquvel
e
Joo Pedro Cabral
 2

UMA INTRODUO TEORIA DAS DISTRIBUIES DE ORDEM FINITA

Manuel L. Esquvel
e
Joo Pedro Cabral

Universidade Nova de Lisboa

Faculdade de Cincias e Tecnologia
Departamento de Matemtica
2825 Monte de Caparica

RESUMO

Na primeira parte partindo de uma ideia de J. Sebastio e Silva,

desenvolvemos sob a forma de uma proposta de tema de estudo, uma teoria das
distribuies que utiliza apenas conceitos de Algebra e Anlise Matemtica
correntemente ensinados num primeiro ano de uma Licenciatura em Matemtica em
Portugal.

Na segunda parte apresentamos uma aplicao grfica da aproximao de

funes por distribuies, elaborado por Dr. Joo Pedro Cabral baseado no texto da
primeira parte.
 3

Soit dbord E un espace de Banach et considrons

lspace DK des fonctions numriques (x) dune
variable, indefiniment drivables et nulles en dehors dn
intervalle born k = [a,b ]. On dmontre alors que l'
xpression gnrale des applications lineaires continues
de Dk dans E est:

b
& (% ) = ($1) n ! f ( x)% ( n ) ( x)dx, #% " DK
a
o f est une fonction continue dans [a,b ], valeurs
dans E , et n un entier 0, le couple (f,x)
dependant de (mais pas de faon univoque)

in "SUR LA DEFINITION ET LA
STRUCTURE DES DISTRIBUTIONS
VECTORIELLES"

par J. SEBASTIO E SILVA

PORTUGALIAE MATHEMATICA
Vol. 19 - Fax. 1 - 1960
 4

INDICE

I - PARTE

Introduo ......................................... 6

Os espaos utilizados ................................ 10

Exemplos notveis de funes teste ..................... 11

Operadores notveis sobre C ! (R) e D(R) .............. 12

Mdias de uma funo contnua ................... 13

Algumas distribuies sobre R ................... 16

Extenso dos operadores de derivao e primitivao ..... 18

Multiplicao por uma funo de C ! (R) ................ 19

Aplicao do clculo em D ao problema da introduo ..... 19

REFERENCIAS ...................................... 21

II PARTE .. 23
 5

PRIMEIRA PARTE

INTRODUAO

I
 6

Uma aplicao f de um conjunto E qualquer num conjunto F para ns

[1] um subconjunto ! f de E x F, a que chamamos o grfico de f, que verifica as
duas propriedades:

1) !x "E #y "F (x,y) " $

f

2) ! x "E !y y "F (x,y ), (x,y ) " $ % y =y

1 2 1 2 f 1 2

Se E for vazio ento E x F vazio, s existe por isso uma possibilidade

para ! f que ! f =, as propriedades 1) e 2) so trivialmente verificadas e f a
aplicao vazia de em f . Se F for vazio ento E x F vazio e por isso ! f ter
de ser vazio tambm. No entanto, neste caso, as propriedades s sero vlidas se E
tambm for vazio. Nessa condio f a aplicao vazia do vazio nele prprio isto
a aplicao identidade no vazio.

"Conhecer" f portanto conhecer uma regra definida sobre todo o conjunto

E e que a um ponto x de E faz sempre corresponder um ponto y de F (pela
propriedade 1)) e s um ponto de F pela (propriedade 2)). A esse ponto bem
definido podemos chamar sem riscos de ambiguidade f(x) , a imagem em F, por f
de x de E .

Se E for no vazio ento a diagonal de E , = {(x,x) : x E } o grfico

da aplicao IdE , a identidade de E , definida pela regra:

! x "E Id (x) = x .
E

Se considerarmos E = F = R s aplicaes de E em F chamamos

funes reais de varivel real. "Conhecer" uma funo f significa habitualmente
para ns "conhecer" a familia de nmeros reais ( f ( x) )x!R 1, familia esta obtida por
uma regra ou processo que supomos definido completamente e sem ambiguidade.

Como exemplo de regras que admitimos geralmente serem definidas

completamente e sem ambiguidade temos:

- As regras que fazem intervir a estrutura de corpo comutativo de que R pode

ser munido, permitindo por exemplo definir as funes polinomiais e as
funes racionais.
- As que utilizem, atravs da noo de composio de aplicaes, outras
funes supostamente j definidas, como por exemplo a funo logaritmo
de base e e a sua inversa, a funo exponencial de base e, as funes

1 Admitimos habitualmente que um nmero real "conhecido" quando por

exemplo sabemos como calcular uma sucesso de Cunha-Cauchy de
suas aproximaes racionais.
 7

exponenciais de base real estritamente positiva e as suas inversas, as

funes trigonomtricas transcendentes e hiperblicas, etc.

- As que utilizam processos de passagem ao limite como por exemplo a

definio de uma funo como a soma de uma srie de funes convergentes
ou como um integral de Riemann de uma famlia de funes dependendo de
um parmetro.

II

Consideremos o seguinte problema:

Determinar, se possvel a regra que rege a evoluo no tempo do preo do

ouro numa determinada bolsa (Nova York, Paris, Tokyo). As primeiras quatro
hipteses seguintes so discutveis e embora restringindo e tornando mais definido o
problema podem parecer naturais quando analizadas numa perspectiva que tome em
considerao os dados estatsticos disponveis sobre o preo do ouro.

1H.) A regra que descreve a evoluo temporal do preo do ouro numa bolsa
define uma funo real de varivel real p(t).

2H.) Se t representar um intervalo de tempo arbitrariamente pequeno, o

preo do ouro no instante t + t igual ao preo do ouro no instante t
somado com uma outra funo de t, seja (t).

3H.) (t) a soma de uma funo de t, E(t), que resumir as influncias

exteriores e de uma funo de t proporcional ao preo do ouro no instante t .

4H.) A influncia de (t) no preo do ouro no instante t + t

proporcional ao intervalo de tempo t .
As quatro hipteses apresentadas constituem um modelo econmico que pode
resumir-se na expresso seguinte:

! k " R*+ (= ]0, + #[) $t "R ! % >0

(1)
$ & t " [- %, + % ] p(t + & t) = p(t) + & t(k p(t) + E(t))

O problema matemtico posto por este modelo econmico no est

suficientemente determinado de forma a que se possa obter uma soluo. No entanto
para t no nulo a equao (1) pode escrever-se de forma equivalente:
 8

! k " R*+ #t "R ! $ >0 # % t " [- $, + $ ] \ {0 }

(2)
p(t + % t) - p(t)
= k p(t) + E(t)
%t

5H.) Se suposermos que p(t) uma funo continuamente derivvel,

tomando o limite em ambos os membros da equao (2) quando t tende
para zero, d-nos:

dp(t)
! k " R *+ #t "R = k p(t) + E(t) (3)
dt

o que constitui um novo problema matemtico onde o pretendido agora a

determinao de todas as funes derivveis p , que satisfaam (3).

Na ausncia de influncias exteriores isto :

!t "R E(t) = 0

o problema reduz-se a:
dp(t)
! k " R *+ #t "R = k p(t) (4)
dt

A funo p(t) = ekt sendo uma constante real qualquer verifica a

equao (4). Podemos supor agora que de facto uma funo de t isto que p(t)
= (t) ekt. Derivando vem:

dp(t) d !(t) kt
= e + !(t) k ekt
dt dt

Substituindo esta expresso em (3) vem:

d !(t)
= #$ E(t) . e-kt &'
" %
(5)
dt

6H.) Se suposermos que E(t) contnua e que portanto existem primitivas da

funo que figura no 2 membro da equao (5) temos ento a:

Concluso: O problema econmico proposto tem a seguinte soluo:

Se considerarmos as hipteses 1H. a 6H. a forma geral da funo

p(t) -nos dada por:
 9

! t "R p(t) = P r m [ E(t) . e-kt ] . ekt

isto pelo produto de uma primitiva qualquer de E(t) e-kt por ekt.

III

Na resoluo do problema em II, as duas ltimas hipteses 5H. e 6H. no

so de facto passveis de uma justificao econmica qualquer. Poder-se-ia ainda
objectar ao modelo econmico proposto, que p(t) devendo sempre ser uma
correspondncia bem definida no tm porqu ser uma funo. Os dados p1 , ..., pN
disponveis so os preos observados num conjunto finito t1 ,..., tN de instantes e
portanto, a hiptese que fizemos sobre a existncia de uma funo real de varivel
real p tal que:

! j " {1, ..., N } (t , p ) " #p

j j

tambm no parece partida ter uma motivao essencialmente econmica.

Para efeitos de uma resoluo matemtica mais geral do modelo econmico

proposto em II, justifica-se a utilizao de noes matemticas que generalizem, em
determinada perspectiva, a noo de funo que utilizmos e onde as operaes de
derivao e primitivao tenham significado.

Nos anos 50 deste sculo o matemtico francs Laurent Schwartz sistematizou

na teoria das distribuies uma categoria matemtica para a qual esto definidas
operaes de derivao e primitivao com condies de aplicao muito gerais.

O que se segue um estudo simplificado desta teoria baseado numa

representao das funes contnuas pelas suas mdias generalizadas - definidas
adiante - representao essa que permite reconstruir as funes contnuas ponto por
ponto a partir do clculo dessas mdias.
 10

- OS ESPAOS UTILIZADOS

- RR = espao vectorial sobre R das funes reais de varivel

real.

- C0( R) = {f RR : f contnua em R}

! 0 R'
C ( R) um sub-espao vectorial (s.e.v.) de R
" 0 0 (
i.e. $ f, g % C ( R) $ & , % R &f + g % C ( R) )
#

- C0( R) = {f RR : f existe e contnua em R}

#
$ f a derivada f i.e. a funo real de varivel definida por
%
&
f(x + h) - f (x) '
! x "R f(x) = lim (
h )0 h

[C (R) um s.e.v. de C (R)]

1 0

- por induo possvel definir:

n R n-1
! n "1 C ( R ) = {f # R : f # C ( R) }

(
[ C n ( R) ) portanto uma famlia decrescente - no sentido da incluso - de sub-
n!N
espaos vectoriais de RR. ]

! ! n
C ( R) = " C ( R)
n=0

[ C ! (R) um sub espao vectorial de R R e no o e. v. trivial {0 }] .

x
Por exemplo: Se f(x) = e ! x " R)
"
Ento f ! C ( R )

{
- D( R) = % " C $ ( R) : #a, b " R % |[a,b ]c ! 0 }
 11

[ D( R) = o espao vectorial das FUNES TESTE, que so as funes

# " C ! (R) que se anulam no complementar [a, b]c de um intervalo fechado limitado
[a, b ]. Ver exemplos nas figuras juntas introduo

1
-
f (x) = e 1-x2
! |x |<1
1
"
#
= 0 | x |$ 1 , etc ]

EXEMPLOS NOTAVEIS DE FUNES TESTE

AS APROXIMAES DA IDENTIDADE

Seja
1
-
2
!0 (t ) = e 1 - t | x | <1

= 0 | x | "1

Questo: a) " 0 ! D - mostre por induo que a ! 0( n ) , a nsima derivada de ! 0 , se

pode escrever como produto de uma fraco racional por ! 0 (t) , l onde ! 0 no
se anula e que em t = 1 no h problemas.

0
b) Mostre que !" (t)dt existe em R+* i.e. um nmero real estritamente
R
positivo. Seja

0 !0 (t )
! (t ) =
" !0 (t ) dt
R
Ento
!0 " D e # !0(t) dt = 1
R .

. Seja agora para e > 0 qualquer

1 t
!t "R #0
$ (t ) = $ #0( $ )

Questo: Mostre que:

 12

1) ! " >0 #0" $ D

2) ! " >0 ! t $ R #0" (t) = 0 % |t | &0

3) $ # >0 "0
! # (t) dt = 1
R

. Considere agora o operador de translaco ! x0 ( ) por x0 ( x0 R) definido

em R R por:

#f " R R , #x0 " R $ x0 f (t ) = f (t ! x0 )

Questo:
! R R '
Mostre que: " $ x % R &x % L( R , R ) ( i.e. uma aplicao
0 0
# )
R R
linear de R em R .

Mostre que a restrio de ! x0 a C ! (R) ainda uma transformao linear

desse espao nele prprio.

OPERADORES NOTAVEIS SOBRE C ! ( R ) e D( R )

x0
Def. 1) Para x0 ! R , Prm f a funo real definida por:

x t
0
Pr m f(t ) = ! f (x ) dx .
x
0

Prm = Primitivao

x0
OBS: Prm est bem definido desde que f ! C 0 ( R) .

Questo: Mostre que:

x #
0 #
1) !x "R P r m " L(C ( R) , C ( R)).
0

x #
0
2) !x "R P r m " L( D ( R) , C ( R))
0

Def. 2) Seja para f ! C 1 ( R)

 13

0
Der f = f! C ( R)

Questo: Mostre que:

1) Der ! L(C "( R ) , C "( R )

2) Der ! L(D( R ) , D( R ))
x
0
3) Der 0 P rm (f) - f

x
0
4) Pr m 0 Der (f) -- f - f(x0).

Seja agora para x0 ! R e ! > 0 qualquer e " !x0 definida por:

x
! t "R #$ 0 (t ) = % x #0$ (t ) = # 0$ (t - x )
0
0

Questo: Mostre que:

x
1) ! " >0 ! x0 # R $" 0 # D

2) ! " >0 ! x0 # R !t #R

x c
$" 0 (t) = 0 % t # [ x0 - ", x0 + " ]

x
3) ! "# 0 (t) dt = 1
R

MDIAS DE UMA FUNO CONTINUA

Seja dada f C0 ( R) e n N ( = { 0, 1, 2, ..., n, ... }) , para D

sabemos que por definio existem a, b, R tais que ! |[a ,b ]c = 0 i.e. tal que se
anula no complementar de um intervalo [ a, b ]. (fechado limitado). Considere:

b
n n
M ( ! ) = (- 1 ) " f (t ) ! ( n ) (t ) dt .
f
a

Questo: Mostre que M nf (! ) um nmero real bem definido. Como f .! ( n ) uma

funo contnua (porqu ?) basta verificar que M nf (! ) no depende de a e b.
 14

Repare-se que os nmeros reais a, b para os quais se tem ! |[a ,b ]c = 0 no so nicos.

Comece por considerar c, d R tais que ! |[c,d ]c = 0 e mostre que no caso c a <
<b d :

d a b
(n) (n)
! f(t) " (t) dt = ! f(t) " (t) dt. + ! f(t) "( n ) (t) dt
c c a

d b
(n)
+ ! f(t) " (t) dt = ! f(t) "( n ) (t) dt.
b a

Proceda depois anlise do caso geral.

Def.: Chamamos M nf MDIA DE ORDEM n N DE f, f ! C 0 ( R) , aplicao

definida em D( R) e tomando valores em R por:

n n
!"#D M ( ") = (- 1 ) $ f (t ) " ( n ) (t ) dt .
f
R

Questo: Mostre que 1) M nf uma forma linear i.e. que M nf linear de D( R) em

R.

OBS: (Fundamental) Sejam f1 , f 2 ! C 0 ( R) . Ento:

! 0 0 '
"$ % & D M
f
( %) = M
f
( %) ( * f = f .
# 1 2 ) 1 2

Questo: Suponha o contrrio i.e. que existe x0 " R tq. f1 (x0 ) ! f 2 (x0 )

. Mostre que %& > 0 tq. $t # ]x0 " & , x0 + & [, f1 (t ) ! f 2 (t )

(utilizar a continuidade de f1 e f2 em x0 .)

( )
. Mostre que ento: M 0f " !x0 # M 0f " !x0
1 2
( )
o integral de uma funo no nula de sinal constante no nulo.

Teorema:
 15

0 0 x
| ! f " C ( R) ! x0 " R lim M ( #$ 0) = f(x0)
| $%0 f
|___________________

Questo: Suponha x0 = 0
1)
! 0 !
+#
!M ( "0# ) - f(0) ! $ %-# |f(0) - f(t) | " 0# (t) dt
! f !

2) Mostre que ! " > 0 # a< $ tq.

% 0 %
!">0 " < # $ %M ( &0) - f(0) % ' (
% f " %

(usar a continuidade de f em zero)

3) Passe ao caso x0 qualquer

Teorema:

| 1 1 0
! f " C ( R) ! # " D ( R)
|_______________
M ( #) = M
f f
( #)

Questo: Escreva segundo a definio M 0f ! , integre por partes o integral, anule o

termo integrado utilizando o facto que para a, b bem escolhidos ! |[a ,b ]c = 0 .

Corolrio:
1 1 x
! f " C ( R ) lim M ( #$ 0) = f(x0)
$%0 f

Questo : Utilize os dois teoremas anteriores.

[Este resultado mostra que "conhecer" as medias de ordem 1 de f

equivale a "conhecer" a primeira derivada de f desde que f C1.
No que vai seguir-se vamos mostrar que esta observao
permite definir uma noo de derivao com boas propriedades
sobre um espao maior que D ].

Generalizao:
" " 0
! " # N* !f #C M = M
f f ( ")

Questo: Mostre que assim (por induo).

 16

ALGUMAS DISTRIBUIES SOBRE R

Seja D * o dual algbrico de D i.e. o conjunto de todas as formas lineares

de D i.e. ainda o conjunto de todas as aplicaes lineares de D no seu corpo de
base R.

Def.1 - Seja n N. Seja:

n 0 n
D = { T !D* : ("f ! C : T = M ) }
f

[ Dn o conjunto de todas as formas lineares sobre D que se podem

escrever como mdias de ordem n para uma certa funo f C 0 ]

2 - Seja
n
D = ! D
n "N

RESULTADO (Fundamental) D um espao vectorial sobre R.

Questo : Suponha que T1 , T2 ! D ento para nN e pN teremos (por exemplo)

T1 = M nf e T2 = M nf+ p com f1 , f 2 ! C 0 ( R) .
1 2

1) Mostre que:
n+1
T = M x0
1
( Prm f )
1
para um x0 que escolher e por induo que T1 = M gn+ p onde g ! C p e poder
ser:

x x x
0 0 0
g = P rm 0 P rm 0 ... 0 P rm f .
1

2) Ento
n+p
T + T = M
1 2 (f+g)

3) Para a multiplicao por um escalar trivial !M nf = M !nf .

 17

NOTAO: Aos elementos de D chmamos DISTRIBUIES sobre R.

EXEMPLO 1) A aplicao
C 0 ! D0
f a M 0f

permite identificar C 0 e D 0 .

Questo : Mostre que uma aplicao injectiva e sobrejectiva.

EXEMPLO 2) Seja F! a funo real de varivel real definida por:

F! (t) = 0 se t "0

= t se t #0 .

Obviamente F" ! C 0 ( R) .

Def: " 0 = M F2" ! D a DISTRIBUIO DE DIRAC EM ZERO

RESULTADO:
2
!"#D M ( ") = "(0 )
F
$

Questo : integre por partes e utilize o facto que qualquer D se anula fora de um
intervalo fechado limitado.
 18

EXTENSO DOS OPERADORES DE

DERIVAO
PRIMITIVAO
TRANSLACO DE

Def: A aplicao
~
Der : D ! D
M nf a M nf+1

a DERIVAO em D
~
RESULTADOS: 1) Der ! L(D, D )

~
2) $p # N , p " 1, Der | (C p )! Der

~
[ estes resultados mostram que o operador Der linear como o operador Der em D
e que coincide com este ltimo desde que o objecto seja suficientemente regular;
~
daqui para a frente no precisamos distinguir Der e Der ].

Questo : para demonstrar 2) utilize a identificao entre C0 e D0 e que

p 0
C s. e. v. C .

Def: A aplicao
~ x0
Prm :D&D
$M 0f a M 0 x
! Prm0 f
#
!n % 1, M nf a M nf'1
"

a PRIMITIVAO em D
~
RESULTADOS: 1) Prm ! L(D, D )

~ ~
2) Der Prm = Id D

~ ~
[ Em virtude da definio de Prm e destes resultados no distinguiremos Prm e Der ]
[Observe que h como que uma "inconsistncia" no facto que para n1 todos
 19

~ x0
os operadores Prm se confundirem quando actuam em M nf (independentemente de
x0 )]

M 0f
~ x0
Questo: Verifique que Prm est bem definido e depois utilize os resultados sobre
Prm e Der.

Questo: Para x0R defina um operador de translaco !~x0 sobre D de forma a

que quando restringido a C0 coincida com ! x0 .

MULTIPLICAO POR UMA

FUNO DE C ! (R)

Seja "" a operao de Multiplicao definida para g C ! (R) e M nf ! D por:

g ! M nf = M nf . g (onde f.g o produto de funes usual).

RESULTADOS:1) A multiplicao por g assim definida um operador linear

de D em D.

2) Este operador restringido C 0 ( ou a D 0 ) coincide com a

multiplicao de funes habitual.

3) FORMULA DE LEIBNITZ (generalizada)

( )
#f " C 1 , Der g ! M nf = Der g ! M nf + g ! M nf+1

0 0
Questo: Para demonstrar use a identificao entre C e D e a observao
fundamental pgina 5, pense na frmula de Leibnitz usual

(f . g)= f.g + f.g

APLICAO DO CALCULO EM D AO

PROBLEMA DA INTRODUO

Supondo que no problema da introduo as influncias exteriores E(t) so, no

uma funo de C 0 ( R) , mas agora sim um elemento de D.
 20

~
( )
Teorema: Seja p = Prm E ! e " kt ! e kt

[era a soluo do problema s que como E ! C 0 ( R) tinhamos:

~
[ (
p = Prm E (t ).e ! kt .e kt )]
Ento se E = M nf com f ! C 0 ( R) temos:

n-1
" P = M se n !1
f
#
$ P = P r m (f . e-kt) . ekt se n=0 .

~ ~
: basta fazer as contas utilizando o que j sabe sobre os operadores Der , Prm e
(em que a multiplicao pelas funes e ! kt e e kt ambas em C ! (R) .

[Repare-se que no caso n = 0 a soluo exactamente a que era dada se E

pertencesse a C ! (R) ].

PROBLEMA: (este problema digamos a motivao das aplicaes deste trabalho;

talvez a parte mais atractiva).

Suponha que quer que pD e que p tenha a forma

N
p = ! a "
k=1 k t
k

onde: a k ! R , k=1,2,..,N e ! tk = "~(#tk )! 0 com t k ! R e "~(!tk ) o operador de

translaco definido nas distribuies

[ para o caso de no ter conseguido l atrs verifique que:

"~x0 M nf = M "n
(! x0 ) f

uma boa definio de operador de translaco nas distribuies] .

Determine ED de forma a que

~
(
p = Prm E ! e " kt ! e kt )
 21

(Sugesto): experimente
N
E = ! b " (M )
k=1 k -tk F
#
e tente determinar os bk que faam funcionar o esquema.

REFERENCIAS

[1] - EXBRAYAT, J. M. ; MAZET, P.

ALGBRE 1. Notions Fondamentales de la Thorie des ensembles
HATIER UNIVERSIT PARIS 1971
(pgina 20 e seguintes)

- GODEMENT, R
COURS D'ALGBRE
Colletion Enseignement des Sciences
HERMANN PARIS 1966
(pgina 53 e seguintes).
 22

SEGUNDA PARTE
 23

Nesta seco, vamos trabalhar graficamente dois dos resultados obtidos,

nomeadamente:
( )
i) lim M 0f "!x0 = f (x 0 ), f $ C 0 (%), &x 0 $%
! #0

ii) lim M 1f $ ("!x )= f $(x 0 ), f % C 1 (&), 'x 0 %&

0

! #0
aplicando-os de uma forma mais geral. Comecemos por fixar >0 e f ! C 0 (") . Com
base no que foi dito, podemos construir uma funo continua da seguinte forma:
h! :" # "
( )
x ! M 0f "#x
Por i), temos que as funes h! , >0, funcionam como aproximaes por funes
contnuas de f. Na verdade, ao observarmos os exemplos, fica-se com a ideia que na
realidade so mais do que contnuas! A ideia ser fixar alguns valores para , e obter o
grfico de h! para uma certa funo f. Para tal, construiu-se um programa em
QBASIC para gerar valores para h! , sendo esses valores guardados num ficheiro de
tipo texto (ficheiro com a extenso txt). Finalmente, usando esses valores e o utilitrio
EXCEL, obteve-se os grficos desejados. Passamos agora a apresentar esse programa,
e a explicar brevemente o seu funcionamento.

1 CLS
10 DIM X(2000)
20 DIM Y(2000)
30 DIM LE(320)
40 REM Defina aqui o seu ficheiro
50 OPEN "NOME.TXT" FOR OUTPUT AS #1 LEN = 9999
60 REM Defina aqui a sua funo
70 DEF FNFUNCAO (T, G, M) = funo 1 / (M * .4439935) * EXP(-1 / (1 - ((T - G)
/ M) ^ 2))
80 LET A = : FOR PIXEL = 60 TO 260
90 LET COO = (PIXEL - 160) * .04
100 LET EXTINF = COO - A: LET EXTSUP = COO + A
110 LET AMPLITUDE = (EXTSUP - EXTINF) / 3000
120 FOR I = 2 TO 1000
130 LET X(I) = EXTINF + (I - 1) * (EXTSUP - EXTINF) / 1000
140 IF I MOD 2 <> 0 THEN LET K = 4 ELSE LET K = 2
150 LET Y(I) = K * FNFUNCAO(X(I), COO, A)
160 NEXT I
170 LET SOMATORIO = 0
180 FOR R = 2 TO 1000: LET SOMATORIO = SOMATORIO + Y(R): NEXT R
190 LET INTEGRAL = AMPLITUDE * SOMATORIO
200 LET LE(PIXEL) = INTEGRAL
210 PRINT INTEGRAL
220 WRITE #1, LE(PIXEL)
230 NEXT PIXEL

Todo o que est em itlico representa o que utilizador tem que introduzir na listagem.,
conforme o caso que deseja estudar, antes de por o programa a correr. Vamos agora
explicar o funcionamento de cada linha:
 24

0-30:Limpa o ecr e prepara as variveis X, Y, LE.

40-50:Cria um ficheiro sequencial, no qual o computador vai escrever os valores da
distribuio. A palavra nome em itlico dentro das aspas substitui-se pelo nome
desejado para o ficheiro.
60-70:Na linha 70 define-se a funo. Onde a palavra funo em itlico substituda
pela expresso da funo que queremos aproximar. O parmetro T representa a
varivel, G representa o valor de x 0 , e M o de .
80:Inicia-se o ciclo para calcular o valor da distribuio. D-se o valor de
varivel A.
90:Transforma pixels em valores reais. Vamos calcular os valores da distribuio
em 201 valores reais entre -4 e 4 (incluindo estes extremos), com saltos de 0.04.
100:Calcula os extremos de integrao.
110-180:Calcula os integrais necessrios ao clculo das distribuies. Para se
calcular estes integrais, recorreu-se formula de Simpson. Mas como estes integrais
so integrais imprprios, desprezou-se os extremos do intervalo de integrao. Na
linha 110 calcula-se uma constante necessria formula de Simpson. Na linha 120
inicia-se o ciclo para calcular as imagens (calculadas na linha 150) dos extremos da
partio (calculados na linha 130). O k que aparece na linha 150 toma o valor 2 ou 4,
conforme I par ou mpar (operao que feita na linha 140). A linha 160 fecha o
ciclo. Nas linhas 170 e 180 efectua-se a soma dos valores obtidos na linha 150.
Calcula o valor da distribuio.
200-220:Imprime o valor de cada distribuio no ecr, e escreve esses valores no
ficheiro sequencial aberto.

Passemos agora aos exemplos propriamente ditos. Para comear, vamos ver
trs aproximaes para f ( x ) = x , funo que continua em todo seu domnio. O
grfico abaixo apresentado corresponde aproximao com =0.9, onde y = h0.9 .
y

3
y

0
-4 -3 -2 -1 0 1 2 3 4

Figura 1
Observando o grfico, existe um factor que se reala imediatamente. Uma
caracterstica da funo mdulo que diferencivel em todo o , com excepo do
ponto zero. O grfico da funo obtida diferencivel em todo o ! Na realidade o
 25

bico da funo mdulo foi suavizado, por algo semelhante a uma parbola.
Vejamos agora o grfico de =0.5, onde y = h0.5 .
y

3
y
2

0
-4 -3 -2 -1 0 1 2 3 4

Figura 2
Como seria de esperar, o fenmeno de suavizao volta a repetir-se, mas agora
numa vizinhana mais pequena de 0. Para finalizar este exemplo, vamos apresentar o
grfico para =0.1, onde y = h0.1 .
y

y
1

0
-2 -1 0 1 2

Figura 3
As alteraes para esta aproximao j so menos visveis, pelo que foi necessrio
restringir o grfico ao intervalo [-2,2] para uma melhor visualizao do que se passa
numa vizinhana de zero. Realmente, j se verifica uma boa aproximao funo
mdulo, mantendo-se uma suavizao numa vizinhana de zero, sendo essa
vizinhana muito pequena. Este exemplo levanta uma questo, cuja resposta deixamos
ao cuidado do leitor, e que passamos a apresentar:
( )
Seja f ! C 0 (") e >0. Ser que h! ( x ) = M 0f "!x # C 1 ($) ?
 26

Voltemos agora ao resultado indicado em i). Na verdade, para M 0f !"x0 ( )

[ ]
existir basta garantir a integrabilidade de f em x0 ! " , x0 + " . Podemos portanto
relaxar as condies indicadas em i). Seja I ! " numervel e f ! C 0 (" \ I ) tal que
em todos os pontos de I os limites esquerda e direita de f existem e so finitos.
Nestas condies, f integrvel em qualquer intervalo fechado de . O resultado i)
garante que
( )
!x "# \ I , lim M 0f &%x = f ( x )
% $0
A questo reside nos pontos de I. Para tal, vamos considerar f ! C 0 (" \ {0}) ,
#! 1, x < 0
definida por f ( x ) = $ . As figuras 4,5 e 6 correspondem s aproximaes
%1, x " 0
desta funo para, respectivamente, =0.9, =0.5 e =0.01, onde se tem,
respectivamente, y = h0.9 , y = h0.5 e y = h0.01 .

1.5

0.5

0 y
-4 -3 -2 -1 0 1 2 3 4
-0.5

-1

-1.5

Figura 4
 27

1.5

0.5

0 y
-4 -3 -2 -1 0 1 2 3 4
-0.5

-1

-1.5

Figura 5

1.5

0.5

0 y
-1 0 1
-0.5

-1

-1.5

Figura 6
Observando os grficos, verificamos que acontece o mesmo processo de suavizao
que aconteceu para o mdulo, verificando-se a continuidade e a diferenciabilidade em
todo o das aproximaes, facto que no acontecia para f. Nos trs grficos
verificamos que o valor das aproximaes no ponto zero zero. O que se passar no
limite? Fixemos >0 qualquer, ento
" 0 "
M 0f ( )= $ f
!"0 (t )!"0 (t )dt = $ # !"0 (t )dt + $ !"0 (t )dt
#" #" 0
0 "
mas como !"0 ( # t ) = !"0 (t ) , temos que ( )
0 0
$ !"0 (t )dt = $ !"0 (t )dt , pelo que M f !" =0.
#" 0

Assim obtemos a concluso que lim

! #0
M f "!0
0
( )= 0 . A funo limite das aproximaes
estar ento definida da seguinte forma:
 28

%$ 1, x < 0
'
lim
! #0
M 0f ( )
"!x
= &0, x = 0
'1, x > 0
(
Comparando a nova funo obtida com a original, verificamos que continuamos a no
ter continuidade em zero, mas que o valor obtido agora em zero diferente da funo
original, ou seja, as duas funes coincidem, com excepo no ponto zero.

Analisemos agora o resultado ii). Como anteriormente, a existncia de

( )
M 1f !"x0 garantida pela integrabilidade de f. Assim obtemos uma forma de
derivao mais geral, definida da seguinte forma: Seja I ! " numervel e
f ! C 0 (" \ I ) tal que em todos os pontos de I os limites esquerda e direita de f
( )
existem e so finitos. Seja ainda >0 e h!n ( x ) = M nf "!x , #x $% . Definimos
derivao da forma dada na seco anterior, isto ,
( ) ( )
Der h!(n ) ( x ) = h!(n +1) ( x ) = M nf +1 "!x , #x $% . Ser interessante calcular lim h!(1)
! "0
para os exemplos anteriores, visto que em ambos os casos, f no derivvel no ponto
zero, nem sendo sequer contnua neste ponto no segundo exemplo. Comecemos pela
(1) (1) (1)
funo mdulo. Vejamos os grficos para y = h0.9 , y = h0.5 , y = h0.1 .

1.5

0.5

0 y
-4 -3 -2 -1 0 1 2 3 4
-0.5

-1

-1.5

Figura 7
 29

1.5

0.5

0 y
-4 -3 -2 -1 0 1 2 3 4
-0.5

-1

-1.5

Figura 8

1.5

0.5

0 y
-1 -0.5 0 0.5 1
-0.5

-1

-1.5

Figura 9

Em qualquer dos trs casos, as funes so contnuas e diferenciveis em , e

comparando com o segundo exemplo, ficamos com a ideia que a funo limite neste
caso talvez seja idntica do segundo exemplo. Na verdade, pelo resultado ii) tem-se
imediatamente que
%$ 1, x < 0
! #0
( )
lim M 1f "!x = &
'1, x > 0
De maneira anloga ao segundo exemplo, podemos concluir que
%$ 1, x < 0
'
( )
lim M 1f "!x = &0, x = 0
! #0 '1, x > 0
(
 30

A derivada da funo modulo est definida em \{0}. A funo agora obtida est
definida em todo o , e como sabemos, coincide com a derivada do mdulo em
(1)
\{0}, mas no continua em zero. Calculemos agora os grficos para y = h0.9 ,
(1) (1)
y = h0.5 e y = h0.01 , relativamente ao segundo exemplo.

0
-4 -3 -2 -1 0 1 2 3 4

-1

Figura 10

4.0

3.0

2.0
y

1.0

0.0
-4 -3 -2 -1 0 1 2 3 4

-1.0

Figura 11
 31

180
160
140
120
100
80 y

60
40
20
0
-1 -0.5 0 0.5 1
-20

Figura 12
Continuamos a obter, nos trs casos, funes continuas e diferenciveis em todo o .
( )
Relativamente funo limite, por ii) sabemos que lim M 1f "!x = 0, $x % 0 . Para o
! #0
ponto zero, passa-se algo interessante. Se observamos o que se passa numa vizinhana
de zero, nos trs exemplos, verificamos que, medida que diminui, os valores de
h!(1) nessa vizinhana aumentam, especialmente para =0.01. Isto levanta uma
pergunta, cuja verificao remetemos para o leitor:
&0, x $ 0
! #0
( )
Ser que lim M 1f "!x = '
(+ % , x = 0
?

Para a funo original, apesar de no ser diferencivel em zero, a sua derivada

direita existe e igual a zero, e a sua derivada esquerda tem como limite + ! . Para
a funo limite, o ponto zero valer + ! .

Para finalizarmos, ao observarmos os trs exemplos, surge uma ideia, que

deixamos para o leitor ponderar sobre ela: Seja I ! " numervel e f ! C 0 (" \ I ) tal
que em todos os pontos de I os limites esquerda e direita de f existem e so
finitos. Ser que !" > 0 , !n "# , h! n " C 1 (#) (dos exemplos dados conclumos
( )

imediatamente que a continuidade e diferenciabilidade para a funo limite no tem

que ser verificar)?