coNSEⅢO NAC工ONAL DE DESENVOLVAMENTO C工ENT工F工CO E TECNOLOGエCO

工NST工TUTO DE MATEMAT工CA PURA E APL工CADA

soBRE AS VAR工AS NOg6ES DE D工FE珊NC工AB工L工DADE

pOr

Ramiro Affonso de Tadeu Guerl`ell‘0

Disser七a印O aPr`eSen七ada pa±`a Ob七en曾aO do

Grau de Mes七re em Ma七em轟ica

Rio de Janeil`O

1982
 王NST工でUTO D己 MAT己N王で‡CA PURA∴E
互 APL工CADA - 二MPA

・二〇R王EN工ADOR: ・雄鵬蹄もA露盤S龍孤

COM工SSAo EXAM工NADORA

AUTOR :

、・.・’∴,十●’
 _1_

′葛I

工ntrodu ao

A noeao de diferencia￨ foi inicialmen七e concebida por Newton

e Leibniz para fun96es reais de uma variavel ±`eal・ No en七an七o so-

mente ent±.e O final do s6culo X工Ⅹ e comeeo do s6culo XX 6 que es七a

no9aO foi generalizada para fun誇es de v缶ias vari訪eis・ O in七er-

valo de duzen七os anos que sePara eS七es dois momen七os da his七6ria da

Ma七ema七ica n箸o chega a ser tao Iongo quan七o parece se levarmos em

conta que na epoca de New七On naO Se dispunha da no曾aO de conjun七o’

e a pr6pria nocao de fun曾aO e de limi七e eram ainda bas七ante obscu-

±.aS e informais. De fa七O a 16gica ma七em如ica formal era en七蓋o ap♀

nas um sonho de Leibniz.

A defini葦o de diferencial七O七al que se encon七ra na primei-

ra edi請o do一一Cours d・Analyse" de Gousar七(19O2) deixa c￨aro como

se definia a diferencia曾aO nO COme曾O des七e s6culo:

"Seja w = f(x,y,Z) uma fun曾乱o de七rSs variiveis indepen-

den七es xl yl Z● Chama-Se diferencial七o七al dw a expressao se一

guin七e

dw= f告X+f草y+ f’dz

蜜

onde dx, dy, dz s宣o七r8s acr6scimos cons七an七es e arbi七r左rios, a-

tribuidos as vari左veis independen七es x’ y, Z ''.

Assim para que uma funeao tivesse diferencial to七al em um

ponto de seu dom壬nio? era neCeSSまrio e suficien七e que neste pon七O

ela tivesse 七Odas as derivadas parciais. N:o era necess看rio se-

Ⅹy
qu。r a 。On七inuidade da fun請o! Por七an七O a funeao f(x,y) = 2 2
Ⅹ 十y
 _2_

Se X/O ou y f o e f(O,O)=O 6dif。r。n。i左Ⅴ。￨na

Orlgem Se 〇〇〇""

gundo Goursat.

E bastante clar`O nOS dias de hoje que com uma ta￨ defini葦o

de diferencia￨ nao se poderia espel`ar muitos resu￨七ados・ De fatoI

era PraXe na ePOCa O enunCiado de qua￨quer teor`ema sobre diferen_

Cia￨ conter a hip6tese adiciona￨ que as derivadas parciais seriam

definidas numa vizinhan印de um dado pon七o e con七壬nuas neste pon〇

七〇.

Assim o seguin七e 七eorema ja era mui七o bem conhecido no co_,

meeo do s6culo:

"Seja f(Ⅹ,y) una fun葦o diferenci訪e￨ em (a,b) 。 ta￨

quefi e写 exis七em em uma vizinhan印de (a,b) e s芸o con七壬nuas

em (a,b). Entao dados h, k mまmeros reais

f(a十七h, b+七k
1im =hfi(a’b) +kf;(a・b) "・
七十〇

Sua demons七racao era a seguinte3

Seja △f= f(a+七h, b+七k) - f(a,b) = f(a+七h, b+tk) - f(a, b+七k) +

+ f(a, b+tk) - f(a,b).

Aplicando o 七eorema dos acr6scimos∴fini七os’

△f = htfi(a十Oh・ b+七k) + k十雪(a’b十Ok)

Onde O ≦ e ≦ t

￨ogo’Pe￨a con七inuidade de fi’f; em (a’b)・

霊芋=hf語・b) +kf告・b)・
E c￨aro que uma nova defini葦o de diferenciabilidade se

fazia necessarial tan七o do pon七o de vis七a es七ri七amen七e 七6cnico,

 一つ-

Se desejava uma
quan七o do pon七O de vista fil-OS6fico’ uma VeZ que

a uma varlaVel,
generalizaeao do conceito de diferenciabilidade

que lhe fosse o mais pr6Ⅹimo poss壬vel・

Foi exa七amen七e da busca de condi曾6es mais fracas poss壬veis,

七ais que ainda va￨esse o reSultado do 七eorema acima, que naSCeram

as div。rSaS nO誇es de diferenciabilidade (1ocal) do s6culo XX・

Nes七e 七rabalho es七udaremos cinco diferen七es nocoes de di-

feren。iabilidade,七r8s das quais se es七endem na七uralmen七e para

fun誇es de um espaeO de Banach em ou七ro espa叩de Banach・ Serao

tamb6m resumidamente es七udados concei七OS globais de diferenciabi-

￨idad。 (derivada fraca e derivada dis七ribuiciona￨)・

Tr8s No9OeS de Difer.enciabilidade

DEF工N工Cfio: Sejam XIYIZ espaeOS Ve七Oriais normados r`eais ou com-

plexos●

Sejam x《 〔 A e
Seja f: A→ Y, A subconjun七o de X・

= 1im
h。 Ⅹ. A d。rivada la七。ra￨富f(Ⅹ。+七h)
七=〇 七十〇
七>0
′ヽ●

ao de Ga七eaux de f no ponto Xo ara O lnCre-

Chama-Se a Varla

m。n七。 h. Ela sera rePreSen七ada por 6f(Ⅹ。)h・

pROPOS工担ol: Se f:A→Y’ Onde A⊆X’ tem Variaeao de

en請o v音調〔隈(ou①),
G含teaux no ponto xo para o incremen七o h

αf tem variac芸o de Gateaux nO POn七O Xo Para O incremen七o rl e

6(αr)(Ⅹ。)h = α8f(Ⅹ。)h・
 _4_

こここ二二

Demonstra aO: 由∴6bvia.

PROPOS工gfro2: Sejam fs A→Y e g:B→Y fun96es.

Se ambas t8m variacao de Gまteauxno pon七o xoc An B para

O incremento hl entaO f+g: A[ B→ Y tem variae:o de G含七eaux

no ponto x。 Para O aCr6scimo h e 6(f+g)(Ⅹ。)h=6f(x。)h+

十6g(Ⅹ。)h・

Demonstl.a 着○;∴由∴6bvia.

PROPOS工gXo 3s (O teorema do va￨or m6dio de G含teaux).

Sejam xo e xo+h〔 Ⅹ・ Seja S o segmen七o de r`e七a fecha-

do que tem pol’eXtremOS X。 e X。+h・ Seja f: S十Y uma fun葦o

CONT工NUA ta￨ que V t〔 (O,￨)’ 6f(Ⅹ。+th)h existe・ En七:o

岨Ⅹ〇十h) - f(Ⅹ。川≦ぷ1旧(Ⅹ。+七叫I・

ここ「

Demonstra aO; Seja ¥〔 (O,￨). A aplica9aO

魯: [信￨] →Y’ dada por 買七)雪∴f(Ⅹ。+七h)

6 cont王nua e v t。∈ [信￨) temos

f(Ⅹ。十七h) - f(Ⅹ。十七。h)
る’(七。+) = 1土m
七 〇 七
七十七 ○

七>霊
f(Ⅹ。+t。h+eh)一f(Ⅹ。+七。h)
= 1土m

e十〇十

= 6f毎。十七。h)h

POrtantO devemos mos七±.ar que

旧)￣刷I≦M小)onde M = #圭Il咋o+)I上
 -う-

工StO eStara demons七rado se demonstrarmOS que V e > O,

帖(1)一色(白川≦(M+e)・(1-"・

seja X=tt〔 [信1] 旧1)一時)Il ≦ (M十e)(s一入) ∀ s〔 [信七]主

E∴6bvioque X 6da forma [主調] para algum aC白’1]・ Prove-

mos que cL=1. Se 。<1’ en七ao 臼6→Ol虹6=1 e Vk’

o≦ k<6⇒母十k)=時)+giv(cit)・k+P(k)・k onde 情(k)lI<e・

}k, O≦ k<6 ⇒l直十k)〇時)ll =情(a+k)-油川+冊(α)一時)ll ≦

≦ (M十e)k十(M十e)(α一入) = (M十e)((叶k圧)

10gO
AB SURDO
}k1 0≦k<6 ⇒α十k〔 Ⅹ

10gO α = 1・

p。r七an七。 PrOVamOS que V ¥ 〔 (O,1)

。f(Ⅹ。十h)-f(Ⅹ。十両‖ ≦震1旧(Ⅹ。十七h)h。

10gO

1im 陣(Ⅹ。十h)-f(Ⅹ。十油)ll ≦
旧(Ⅹ。十h)-f(Ⅹ。)ll =
入十〇十

≦謹十五誌1旧(Ⅹ。十七h刑≦

≦ Sup 旧(Ⅹ。十七h刑・
O<七< 1

pROPOS工Ⅹo 4: Seja cp: X→ Ⅹ dada por`∴∴CP(x) =Tx+b onde T

uma七1`anSforma誇O linear COn七壬nua de X em X e b∈ X・

seja f:A→YI A⊆Ⅹ・ Sejamainda xo〔Ⅹ, h〔X・ Se

ap(Ⅹo) ∈ A e f七emvaria轟deG含七eauxem cp(Ⅹo) pa±.a O incre-

mento Th; en七をo f。CP 七emvariaeao deG缶eaux em xo para o

 _6_

incremento h. E mais:

6(f。の(Ⅹ。)h = 6f(申(Ⅹ。))Th・

′葛I

Demonstra aOき

鼻(T(Ⅹ〇十七h)十b) - f(Tx。十b)
6(f。の(Ⅹ。)h = 1士m
七十〇十

f(T米。十b十七Th)一f(Tx。十b)
= 1土m = 6f(中(Ⅹ。))Th・
七十〇十

IJBMA: Sejam f 脚a fun誇o de A⊆X em Y’ Xo∈A e h,k∈Ⅹ

e suponha que exis七e 6f(Ⅹ)h’Para七odo x∈V vizinhan曾a de xo em x

e exis七e 6f(Ⅹ。)k. Se a aplica葦o definida em V por xい§f(Ⅹ)h 6

COntinua em xo’ entaO 6f(Ⅹo)(h+k) exis七e e 8f(Ⅹo)(h+k) =

= 6r(Ⅹ。)h十6f(Ⅹ。)k・

′ヽ●

Demonstra aO; Seja n>O tal que V t〔 「o,n)タ Ⅹ +th十七k 〔 A

O

e Ⅹo+tk〔 A; en七ao:

f(Ⅹo+th+tk) - f(xo) - t6f(Ⅹ。)h - t6f(Ⅹ。)k =

= [f(Ⅹo+七h+七k)一f(Ⅹ。+tk)一七6f(Ⅹo)h] +

+ [f(Ⅹ。十七k) - f(Ⅹ。) -七6f(Ⅹ。)k]・

Chamando P(七) e Q(七) a primeira e segunda express蚤。

en七re co￨che七es respectivamen七el devemos provar que

i)聖→O quand。 t→O+

ii) qu→O quando t→O+.

Ora ii) 6 imediato pois∴6f(Ⅹ。)k exis七e・ Consideremos t sufic主

en七emente pequeno para que o segmento de re七a en七re xo +七k e

 -7一

x +th+七k eS七eja con七ido em V・ Definamos a funeao auxiliar

T`: [o,七] → Y, POndo

r`(s) = f(Ⅹo+Sh+tk) - f(Ⅹo+tk) - S6f(Ⅹ0)h

T`∴6 con七王nua e’

「(e七十Y七) - 「(e七)
1im
∀e〔 (0,1), 6「(e七)七=
Y→〇十

f(Ⅹ。十(e十Y)七h十七k) - f(xo+0七h+七k) - Yt8f(Ⅹo)h

= 1i皿

Y→0+

= 6f(Ⅹo+Oth+七k)七h一七6f(Ⅹo)h.

Logo’Pela Pr`OPOSi葦o 3 e pela Proposi誇O l’

Sup 回l恒(Ⅹ。+O七h+七k)h - 6f(Ⅹ。川上

暗く七用 =
O<e<1

P(七)
Por七an七〇 器十 = 0.

pROPOS工g加う; Se X e Y sao eSPaCOS VetOriais normados reais

e f∴6uma funeao de A⊆X em Y tal que

i) v x〔 V vizinhanea de xo, 6f(x)h exis七e qua￨quer

que seja h〔 Ⅹ,

ii) vh〔 X, a funeao xい6f(Ⅹ)h 6continua em x。.

En七芸○;

6f(Ⅹ。)さ1士near・

Demons七ra ao: 工mediata a Par七ir do lema an七erior・

Defini±.emOS agOra a diferencial de G含七eaux・工ndicaremos

p。r 可X,Y), Onde X e Y sao espaeOS VetOriais normados’O

 _8_

“q‖⋮
′ュ

吋十一十!

生丁年・∵・m
禽丁ト!・-き﹂e
n・i-i

Iミロ自-自l-
conjunto das transforma9OeS lineares con七

.
1

‖∵
ト

-
t
一

1
丁

上す
﹂

-
十

●
-・、一耳▲1-I重﹁i
-
精工
A

.
⊆

ト
l

.
7
・
、
Ⅹ um
DEF工N工gaO: Seja f de um conjunto

′
﹁
o

圏
d

ュ
・⊥

・
曹

n
C
e
f∴6 ・ G倉七。eよ止Ⅹ」 左vel
ponto in七erior de A・ Dizemos que

em xo se a variaeao de Ga七eaux 6f(Ⅹo)h exis七e parむ七odo h〔 Ⅹ

.__〇一 二㌧∴豊.。I調¥ ′∴q/Y VI Tna+会∴f`○○nィ、芸`、 4 色n七蓋o chamada a dife_

e a fu華o 6f(Ⅹo) ∈島(Ⅹ・Y)・ Es七a fun葦o 6 entao chamada

rencial de G含七eaux de f om
哩 Xo・ Afun葦o xい6f(Ⅹ)・ Cujo do一

minio 6 o conjunto dos ponto魯interiore魯de A no$∴quais f 6

上)・de G急telaux de f
d士でe enC
G会七eaux diferenci6vel, 6 cねamada de

e 6 deno七ada por∴8f.

Ⅹl f; C→ Y
PROl一。SlgHo 6: Se C 6 u狐aber七O`conve暮O em

G含t。。.“X dif。r。ni。ivel em C e 陣f(捕s M, Para tOdo x〔 C

en七a〕 上・ 6 M-Lipschi七ziana em C・

駐聖些豊里議書∴E 6bvia a partir da Proposi9aO 3・

Passemos agor・a aO eg七udo de um do畠mais impor七an七es e bem

conh自C士dos concei七OS de diferenciabilidade3

DEFエN工C加i Sejam A⊆ Ⅹ o xo pon七O in七el.ior de A・ Dizemos

que f: A 十 Ⅹ 6 Fr6che七細difere租C 土釜ve 1 em x《○

quando exis七e

T C 自!:∴′〕 七alque para todo h∈ Ⅹ, se Xo+h〔 A entao

f専血)雪∴f(Ⅹ。)十柵十帖‖p(h〉

c !川P(11) = 0.
=,;)

A tra重ISformagao linea±` S chamada d‘iferencial de Fr6che七

曾I∴さ de f

em x e 6 notado por df(xo)・ A aplica葦o xトdf(Ⅹ) cujo do-

○

m壬nio 6 o conjun七O dos pon七OS de A nos'quais f 6 Fr6che七一dife-

renclaVe￨ 6 chamada a di fe富enci al de Fr6che七 de f.

 -9-

A noeaO de diferencial de Fr6che七6 a no印o comumente usa-

da de diferenciabilidade no Rn. ff impor‘七an七e nO七ar que tOdos os

teoremas impor七an七es de diferencia誇o no Rn con七inuam vaiidos

no caso de espa印S de Banach・工s七o d各uma no印o de quao adequada

6 a definicao de diferencial de Fr6che七・ Para um eS七udo de七alha-

do da diferenciabi￨idade de aplica9OeS en七r`e eSPaeOS de Banach;

que ali左sタnada mais 6 do que redemons七rar os teOremaS que Valem

no Rn numa linguagem in七r±nseca, is七o 6’Sem O uSO de coordena-

das; reCOmendamos oS eXCelen七es livr‘OS: ''Calcul Differe加ielI一,

car七an, H. e '一Anaiise no Rn一・・ Lima・ E・L. (nes七e segundo ￨ivro

o assun七o 6七ra七ado de maneira in七r壬nseca e por七an七o generalizan-

do-Sel a maior par七e dos七eoremaS’imedia七amen七e do阻n para eS-

paco de Banach e/ou de Hilber七)・

provaremos aqui alguns l.eSul七ados que relacionam as dife-

rencibilidades de G含七eaux e Fr6che七・ O primeiro resul七ado nes七e

sentido 6 to七almen七e 6bvio:

pROPOS工gfio7: Seja f: A→Y’ A⊆Ⅹ・ Se f∴6Fr6che七diferen-

ciivel em Xo entaO f 6G急七eauxdiferenciavel em xo e aS di-

f。r。n。iais 。。in。idem, is七o 6, 6f(Ⅹ。) = df(Ⅹ。)・

ou七ra relacao en七re os dois concei七os de diferenciabilidade

pROPOS工担o8: Sejam f:A→Y’ A⊆Ⅹ e g:B→Z’ B⊆Y.

sejamainda xo∈in七A eta￨que f(Ⅹo)∈intB・ Se f 6

Ga七eauX diferenciまvel em Xo e g 6 Fr6che七diferenciivel em

f(Ⅹo) en七ao gof∴6 Ga七eaux difer`enCifrol em Xo e

6(g。f)(Ⅹ。)雪dg(f(Ⅹ○))。6f(Ⅹ○)・
 _1○○

D。m…Stra董旦; Seja h〔 Ⅹ en七ao

¥ ・-訂f(Ⅹ。))
g(f(Ⅹ(」十七五) ノ

1土m
1il○○○○ ●= ( i ● ● ●」○○事-.●○○-二〇〇二二二○○i○○郵基 〇〇〇l○○
臆 臆 音・〇一〇〇〇〇〇〇〇一一二 -〇°○○i○○ ".農 〇°「

七十〇十

g(f(Ⅹ。)十七6 f(Ⅹ。)士車両Ⅹ。・h・七工上官(f(Ⅹ。))
1im
七十〇十

onde lim Y(Ⅹ。・h・七)雪〇・

七十0十

Assi調l
g(f(Ⅹ。十七h)) - g(f(Ⅹ○))
1土皿
七十〇十

七dg(f(Ⅹ。))8f(Ⅹ。)h 十七dg(f(Ⅹ。))Y(Ⅹ。串b)
= 1i皿
七十〇十

=亡dg(f(Ⅹ。))。6f(Ⅹ。)]h・

Ass土用∴a varia誇o de G缶eaux de gof em xo eXis七e em七Odas as

亜re声s e per七ence a 可x・Z) pois dg(f(Ⅹo))o6f(Ⅹo) ∈可Ⅹ・Z)・

思蓮L9: Se f∴∴for Fr6che七diferencidvel em xo ent蓋o gof

ser訂、15chet-diferenciivel em xo e d(gof)(Ⅹo) = dg(f(Ⅹo))od車o).

Not,e POr6m que se supusermos g aPenaS Gま七eaux diferencla-

vel cI‘l中eo)’ meSlnO Se eXigirmos que f∴∴seja Fr6cht3七diferenc⊥看-

vel eI‘' Xu・ 6 falso que g。f∴∴seja G含七eaux diferenclaVel; COmO

mos七I‘a O Seguinte exemPIo:

E混^=)l_() 1: Seja g: R2→阻 definida por

2
Se y = Ⅹ e
Ⅹ≠ 0
g(Ⅹ,y) = 1

Ⅹ = 0
g(Ⅹ,y) =0 s。 y≠Ⅹ2 0u

E imedia七o verificar que g 6 G含七eaux diferenci訪el em O

 -工事"

e 6g(O) = O・ Em partlcular, V6-Se 。ue uma fun曾答o pode ser G含t。a収

diferenciavel num pon七o sem ser sequer con七inua nes七e pon七o.

Seja agora f: R2→喰2 dadapor f(Ⅹ,y) = (Ⅹ,Ⅹ2十y).

A aplica9aO f 6 Fr6chet diferenci訪el em todos os pontos de R2.

Em particular? f 6 Fr`6che七diferenci看ve￨ em O. No七e que

f(0) = 0.

Agora gof n箸o 6 G含七eaux diferenciave￨ no O pois

g。f:喰2→喰∴6 dada por

(g。f)(Ⅹ,y) =1 se y=O e x‡o

(gof)(Ⅹ,y) =O se y≠o ou x=O

Portanto

(g。f)(七(1,0)) - 1_0
1im = 1im nao existe.
t十〇十 七十〇十

Assim, n=o exis七e 6(gof)(O)(1,O), ￨ogo gof I請o 6 G含teaux dife_

renciavel em O.

COROLAR工01da Prop・8: Sejam f: A→lY, A=Ⅹ, Xo POntOinte一

rior de A, T〔寓(Y,Z). se f∴6G含七eaux diferenciave￨em x

ent:o T。f∴6 G含七eaux difereIICi訪el em x。 e 6(Tof)(Ⅹ。) =

= T。6f(Ⅹ。)・

「二二】

Demons七ra aO; E∴6bvia a par七ir da Proposi曾蚤o 8.

PROPOS工五O 9: Sejam Y￨’・・・,Ym espa§OS Ve七Oriais normados e

Y=Y￨×・・・×Ym・ Sejam f: A十Y, A⊆Ⅹ, e Xo POn七Oin七er.ior

de A・ A funeao f∴6 Gateaux diferenci看vel em xo se, e SOmente

Se・ f￨’・・・・fm sao G含七eaux diferenci討eis em x。 (onde fi =¶i。f,

Sendo ni: Y→ Yi a PrOje誇o canるnica)・ Nes七e caso七emos

6f(Ⅹ。) = (6fl(Ⅹ。),・・・,6fm(Ⅹ。))・
 _12_

Demons七ra 蓋o: Se f∴6 G含七eaux diferenci訪e￨ em xo 6 imedia七O

do coro￨缶io da Proposi葦o 8 que fi 6 G含七eaux diferenciive￨ em xo

担〔巨,…・,m主 Por ou七rO lado se supuSermOS que tOdas as fun-

請es coordenadas fl’…・fm sao G含七eaux diferenciiveis em xo’

segue-Se trivialmen七e que f∴6 G会七eaux diferenci訪e￨ em xo e

6f(Ⅹ。) = (6fl(Ⅹ○)・…・6fm(Ⅹ○))・

pROPOS工gXoIO: Sejam f: A→Y’ A⊆Ⅹ, e Xo POn七Oin七eriol`

de A. Se a diferencial de G急teaux Of es七a definida numa Vizi-

nhangr de xo e 6 con七壬nua em xo entaO f∴6 Fr6che七diferencia-

Vel em X〇・

Demonstra ao: Dado g>O existe r=O talque V x〔B(Ⅹo,r),

x〔 dom6f e 冊f(Ⅹ) -6f(Ⅹ。)ll =e・ AplicandoaProposi葦o6a

fun声∴fro B(Ⅹo’r) → Y’ Onde 仕e) = f(Ⅹ) - f(Ⅹo) -6f(Ⅹo)(Ⅹ-Ⅹo)・

。 ￨。Vand。 em COn七aque 旧(Ⅹ川=冊f(Ⅹ)-6f(Ⅹ。)lI = e Vx∈ B(Ⅹ0・r)

七emos:

旧(Ⅹ)-f(Ⅹ。)一6f(Ⅹ。)(Ⅹ-Ⅹ○)llこ旧Ⅹ声(Ⅹ。)ll =∴eIlx-Ⅹ。=

por七an七o f∴6 Fr6che七diferenciivel em xo・

coROLAR工O: Se f∴6umaaplica葦odoaber七O E⊂ X em Y entao

f∴6 Cl (no sentidousual, is七o 6’deFr6che七) se e somen七e se

f`∴6 G会七eaux diferenciive￨ em todos os pOn七OS de E e sua dife-

rencial de Gateaux 6f 6 con七壬nua em E.

ここニー

Es七e corOl缶io mos七ra bem cOmO a nOeaO de diferenciabi￨ida-

de de G含七eaux eSta den七ro do esP壬ri七o ci七ado na in七rodu印o des七e

traba￨ho, Ou Seja genera￨izar a defini葦O de dif`erenciabilidade

das∴fur章es de R em R e de maneira que a difel`enCiabilidade

 一エコ-

em todos os pon七os de u調 aberto junto com a continu⊥dade da dife_

rencial corresponda as hip6teses de exis七会ncia e con七inuidade das

derivadas parciais.

工nfelizmente, a diferencia￨ de G含teaux 6 muito fraca, ten_

do a serla deficlenCia de nao ser v左￨ida a regra da cadeia para

funcoes G全teaux diferencidveis a nao ser que suponhamos que as fun_

goes sejam con七inuamen七e G会teaux diferenciaveis pois neste caso

七emos fun誇es cl (no sen七ido d。 Fr6。h。t).

De fa七o1 6 impor七ante no七ar que a nocao de diferenciabi￨i-

dade de Gateaux †.e{luz-Sel nO CaSO de X = Rl a nO曾aO de diferen-

Ciabi￨idade de funcoes de uma vari左ve￨ real:

PROPOS工担o￨￨: Sejam f: A→Y’ A⊆R e xo pon七oin七erior`de

A・ A fuII葦o f∴∴6 G会teaux diferenciivel em xo se e somente se

f∴6 diferenciive￨ em xo como fun誇O de uma vari訪e￨ real; e

neste caso temos:∴6f(Ⅹ。): R → Y

七十七で’(Ⅹ。)・

{二二

Demons七ra aO: f ser diferenciまve￨ em Ⅹo COmO funcao de uma va一

rlaVe￨ real significa que;

f(Ⅹ。十h)一f(Ⅹ。)
1im ex土s七e.
h十0

Agora se f∴6 G含七eaux diferenci訪el em xo entao como

f(Ⅹ。十七)-f(Ⅹ。)
6f(Ⅹ。)1 = 1im existe
七十〇十

f(Ⅹ。-七)一f(Ⅹ。)
8f(Ⅹ。)(-1) = 1im
七十〇十

f(Ⅹ。十・七)-f(Ⅹ。)
1im -七
existe
七十〇
 _1互_

e como 6f(x。) sendo ￨inear. acarre七a que

6f(Ⅹ。)(1) = -6f(Ⅹ○)(-1)

temos que
f(Ⅹ。十七)-f(Ⅹ。) f(Ⅹ。十七)-f(Ⅹ。)
1im = 1土m

七十〇十 七十〇

e portanto
f(Ⅹ。十七)-f(Ⅹ。)
1im exis七e
七十〇

1ogo f∴6 diferenciivel em xo comO fun印o de uma variivel rea￨・

Agora quan七O a reC壬procal bas七a observar que se exis七e

f(Ⅹ。十七)-f(Ⅹ○)
1im = V ent轡o v h〔隈

七十0
f(Ⅹ。十七h)-f(Ⅹ。)
1im = hv

七十〇十

￨ogo 6f(Ⅹo)h exis七e pal.a七Odo hC∴旺 e 6f(Ⅹo)〔自重・Y)・ Logo

f∴6 G会teaux difer‘enCiavel em xo・

oBSERVAC加l:一由claro que O anatOgO da Proposi9aO ll n芸o vale em

阻n se n>1. Considere a fun葦o g do ExenlPIo Ol・ E￨a6

G含teaux_diferenciavel em. O mas nao 6 Fr6che七一diferenci左ve￨

em O. ●

oBSERVAG加2: Uma fung:o f: A→ Y’ A=収∴6 diferenci訪e￨ em

xo’ POn七O interior de A, COnlO fun草o de uma vari和ol real se,

e somente se, f∴6 Fr6che七-diferenci訪el em xo・

〇二ここ

passemos agora a noeao de diferenciabilidade conhecida comO

diferenciabi￨idade de Hadamal`d・ Esta 6 a noeao na七ur`al para a

qual va￨e a regra da cadeia・

 ∞1う-

DEF工N工担o: Sejamf3A→Y’ A=Ⅹ ㊧ Ⅹo pontoin七eriorde A・

A fun葦o f∴6 di七a Hadamard difer㊦nCi訪e￨ se exis七e T∈可ⅩタY)

七aエque para todo 申しe9e)rty x,両o) =Xo e @ diferenci討e￨

em O temos que fo@ (que esta definido numa vizinhan9a de O)

6 di士●erenci訪e￨ em O e (foの’(0) =T(o’(O))・ A七ransfor‘ma葦o

￨inear T〔可x,Y) 6chamada豊里聖de f 。m X

e 6∴represen七ada po貰∴∴Df(Ⅹ。)・ A aplica葦O Xt-bf(Ⅹ), Cujo dom壬_

、 ●

ni0 6 0 COnjun七o de pon七os in七eriores de A onde f∴6 Hadamard

dif㊧renCi訪e￨9 6..chamada diferencial de Hadamard de f・

臼

●
ヽ

PROI)OSエ担o￨2g Sejam f: A→Yタ A⊆Ⅹタ g:B→Z’ B⊆Y e x

○

POn七o in七er`ior de A 七alque f(Ⅹ。) 6pon七o.in七erior de B. Se

f∴∴毒Hadamard姐ferenciivel em xo e g 6 Hadamard diferenci訪e￨

em f(Ⅹo) en七蓋o gof 6Hadamarddiferenci訪e￨em xo e

O(go士’)(Ⅹ。) =蒔くf(Ⅹ。))oef(Ⅹ。)・

聖導空也: S㊧ja 小串’e声Ⅹ 七alque 両o)=Xo e O∴6

diferenci訪e￨ em O en七着o foか(『’,e′) → Y∴∴6 diferenci訪e￨ em O,

(foの(O) = f(Ⅹ。) entao gofoか(-e〃,e〃) →∴z∴∴6 diferenci左ve￨ 。m O

(g。foの’(0)馨もg(f(Ⅹ。))(f。の′(0) =

= Og(f(Ⅹ。))oもf(Ⅹ。圧’(0)e

Como Og(f(Ⅹ。))oof(Ⅹ。) 〔可Ⅹ,Z) temos que gof∴6 Hadamard diferen-

Ci轟e￨ em x。 e D(gof)(Ⅹ。) =bg(f(Ⅹ。))oif(Ⅹ。)・

PROPOS工担o ￨3: S㊤jam f: A→Y9 A=Ⅹ, Xo POn七oin七erio±`de A,

e T 〔島(X,Y). As afirma誇es seguin七es s着o equivalen七es

 _16_

f(Ⅹ〇十七nhn) - f(Ⅹ。)
(i) ∀ h 〔 Ⅹ 1im = Th
n十十∞ n

quaisquer que sejam as∴SequenClas hn convergindo para h e t

de ndmeros positivos convergindo par‘a O;

f(Ⅹo+tnhn) - f(Ⅹo)
(ii) ∀ h 〔 Ⅹ 1im = Th
n十十∞

quaisquer que sejam as sequencias hn convergindo para h e 七n

de n血eros nao nu￨os convergindo para o;

(iii) f∴6 Hadamarddiferencif読￨ em xo e bf(Ⅹo) =T;

(iv) V E ⊆ XI E compac七o

f(Ⅹ〇十七h) - f(Ⅹ。)
1im = Th uniformemente para h〔 E.
七十〇

ここニ】

Demons七ra aO:

(ii)⇒ (i) 6bvi0.

(i)⇒ (ii) Bas七a dividir N em dois subconjuntos

「1=〔n〔肘 tn>Oj e r2=tn〔N 七n< 0主

f(Ⅹ〇十七nhn) - f(Ⅹ。)
a) se 「2 6fini七o en七蓋o ￨im
=Th pelo㊥.
n十十∞ n

b) se r2 6infinito e r￨ fini七o en七宣o

f(Ⅹo+tnhn) - f(Ⅹo) f(Ⅹo+(-七n)(一hn)) - f(Ⅹo)

1im = _ 1im
= -T(-h)=
〇七
重い十十∞ n n十十∞ n

A pen。￨tima igua￨dade ocorrendo porque 一七n esta na si七uaeao des-

Crita em a) e -hn→-h quando n→十∞.

C) se r2 6 infini七o e r1 6 infini七oentaoasequ8ncia 七n
 ー17-

se divide em duas
sutsequ8ncias: (tnij d-e,,平軒S車Si七ivos

ten(]endo a ZerO e
叫de n血eros neg宰岬b仙ndendo

-
事1

-
1
i
.▲,∴.∴∴・∴高、・

l
I

1
I
l
l l 〇 〇

-
’
〃

-
zero. E c￨al`O que

1
}
・ ・ - 1 - 、 、

●
f(xo+七nihni)一一

-
l

1im

--.h。

I〇時l、
七∴

I
n.十十∞

J
’
● ●

1 "●

●
.ヽ ●l

レ
.i

e h
f(Ⅹ。十七n上nふ) - f(Ⅹ0)
雪亘T(-h) = Th
1im
n.十十∞
J

10gO 岬で(Ⅹ()
f(Ⅹo+tnhn)
L 雪 でh
1im 岬--

重し十十α

(ii,⇒(iii): Seja O両・e)→車alque O(O):=∴ e O di￣

ferenCi訪el em O・ DevemOS mOStrar que

=Tか(0).
1im
七十〇

para isto bas七a mOS七rar que Pal`a tOda sequ8ncia七n conVergindo

a zerO でくの(七n))
_ f(の(0))
雪Tか(0).
1im
n十十∞

め(七n) -の(0)
. Entao hn→“O)’ O(tn)=O(0) +tnhn
Seja hn=

e, COmO O(O)=X。・七emOS

f(x。+tnhn)一 f(Ⅹ。)
f(め(七n)) - f(の(0)) =Tか(0)・
雪 1im 七n
1im
r十十十∞
r十十十〇〇

(iii) ⇒ (ii)3 Sejam h∈ X・ hn una SequenCia conVergindo par‘a

′葛I

ノヽ

e tn sequencia de ndmeros naO nulos cOnVergindo para ZerO・

 _18_

} n 〔附
. Seja O:R十Ⅹ dada por∴O(t)=X。+th se t/七 n

e o(tn)=X。+tnhn・

E c￨aro que o(O) = X。, O∴6 diferenciive￨ em zero e o‘(O) =h・

Assim exis七e e > O tal que O((-e,e)) = A. Logo temos:

f(Ⅹ。+tnhn) - f(Ⅹ。)
f(め(七)) - f(の(0))
1im = 1士m
n-●十∞ 七十〇

=Tか(0) =Th.

(i土) ⇒ (iv)i Suponhamos que va￨ha (ii). Dado E⊆ Ⅹタ E compac七o,

entao exis七e e > O tal que

D: [(-e,e)-tO]]xE → Y, dada por

f(Ⅹ。十七h)-f(Ⅹ。)
D(七,h) =

es七a bem definida e

’1im D(tタh) =Th V h〔 Ⅹ.

七十〇

Devemos mostrar que o ￨imi七e acima 6 uniforme em re￨a葦o a h∈ E.

Suponha que isto n蓋o aconte曾a. Entaol exis七em uma sequ8ncia de n宣-

meros tn nao-nulos’ COnVergindo a zero’ uma SequenCia de ve七ores

hn〔 X e um n。mero 6 =O 七ais que;

llD(tn’hn)一Thnll >6 ∴v n〔 N・

Mas, COmO E 6 compacto’a￨guma subsequencia hni de h conver_

n

ge para um vetor h〔 E. Como

霊十。 D(七ni’hni) = Th’

1

七emos8

llD(七ni’hni) -Thni‖ →旧h -Th‖ = O・

 ー19-

Mas isto 6 absurdo’POr七an七O fica prOVado que (ii) ⇒ (iv)・

provemos∴finalmen七e a血七ima implica曾aO:

(iv) ⇒ (ii): Sejam h∈ Ⅹ・ hn調a SequenCia conVergindo a

′}
ノヽ

。 tn uma SequenCia de n。mer`OS naO nulos conVer竺do二三O:

Co調。 〔hn n〔両∪国 6 compacto POdemos tOm古lo cOmO O COn-

usando a meSma fun誇o D definida acima・ temOS

juntO E.

1imD(七,h) =Th uniformemente emrela轟a h〔 E・

七十〇

1ogo

1imD(七,hn)雪Thn uniformemen七e em n〔 N
七十〇

1ogo

1im D(tn・hn) = l{_▲

1im
臆し′葛ヽ
Thn零Th
調十十〇)
n十十∞

ou seja
f(x〇十七nh調)細 f(米。)
雲 Th.
11調
n十十∞

し。g。 (士v)⇒(11)・ 細

Quais aS relacOeS entre a魯diferenciabilidades de G含teauX’

Fr6chet e Hadam亀rd? As reSPOS七as SaO imedia七asi

pR。P。S坤i。 1w。 S。Jam f申Y・ A⊆Ⅹ・ X: POn七塁誓書塁

entao f∴6 GまteauX dife-
se f∴6 Hadam倉rd diferenCi鉦el em Xo

e neste caso b串o) =らf(xo)・

rencidvel em Xo

DemOn S七ra る°さ ニ由 るbvla・

11 e da

um corolまrio da ObserVa叩que Segue a ProPOSi轟

l○○

regra da cadeia para funapeS Fr6chet diferenCigiveis 6 a

 _20_

PROPOSlgfro lう: Sejam f: A→Y’ A⊆Ⅹ, Xo POntOinterior de A・

Se f∴∴6 Fr`6che七diferenciivel em xo en七釜o f∴6 H包damard dife-

renciive￨ em xo e nes七e caso df(xo) = Df(Ⅹ0)・

um resul七ado mui七O in七eressan七e 6 a equiva18ncia da diferen細

ciabilidade de Hadamard e de Fr6che七 no caso de X ser um espaeo

ve七orial normadoタ SObre R ou Cl de dim⑩鵬aO f‘ini七a・

PROPOS工gHo16: Sejam fi A→Y’ A⊆Ⅹ, JLu 申告i証erior de A・

se x 七em dimensao fini七a entao s;o equivalen七e鴨∴,'∵総∴∴言∵拒mac6es:

(i) f∴6 Fr6che七diferenci各vel em x。

(ii) f 6 Hadamard diferenci訪el em x。

e s。 。,na das duas (e por七an七o as duas) condi96es acima se cumprir

七eIllUS df(Ⅹ。) = Df(Ⅹ。)・

D。mOn討ra送呈S E 6bvia a par七ir da equiva13ncia de (iii) e (iv)

n再roposi葦o 13 edofa七ode B[Ⅹ。・可=tX〔 Ⅹ Ilx-Ⅹ。=王可 ser

CUmPaC七a.

Uma consequencia imedia七a da Proposieao ￨1, da obsel.Va曾aO que

‘a Se糾e e das Proposig6es ￨4 e lう(ou16) 6:

P即時・叫貰017: Sejam f: A十Y’ A⊆阻 e xo pon七Oin七erior‘de A・

臣1し青o sEo equivalen七es as afirmagoes:

(土) f∴∴6 Fr6che七diferenci訪e￨ em x。

(i⊥) f 6 Hadamard diferenci看vel em x

(土ii) f 6 G含七eaux diferenciave￨ em x

(iv) f 6 diferenciivel em xo como funcao de uma vari看ve￨ real.

Se f sa七isfizer uma (e por七an七o as qua七ro) das condi誇es

acima en七るo
 _21_

df(Ⅹ。) =Of(Ⅹ○) =6f(Ⅹ○) 〔咋・Y)

e se v=f’(x。) temos que

6f(Ⅹ。)さ隈十で

七I-す 七Ⅴ ●

′ヽ●

De monstra aOさ

(i) ⇒ (ii) pela Proposi葦o ￨5’ (ii) ⇒ (iii) pe￨a Proposi葦O ￨4

(iii) ⇒ (iv) pela PropoSi声11, (iv) ⇒ (i) pela observa轟que

segue a proposi葦v ll・ A igualdade das diferenciais tamb6m de-

cor`re des七as PrOPOSi誇es e a expl`eSS蓋o de 6f(Ⅹo) 6 a demons七ra-

da na Proposi誇o ll・ 圏

se x 6unespaeoVe七Orialno±`mado sobre R ou C e de

dimensaO infini七a entaO diferenCiabilidade de Hadamard nao imp￨ica

diferenCiabilidade de Fr6che七COmO mOS七ra o eXemP￨o abaixo:

EXEMPLO ￨1: Se dimX= +∞ Seja Wn uma SequenCia de ve七or`eS

uni七缶OS de X que塞possui subsequ8ncia conVergen七e・ Seja

c umve七orunitario de Y・ Definamos a aPlica誇o f: X→ Y pon-

do:
C
f(Wm/m) 三豊三
￣
園￣
m V m 〔 肘

f(Ⅹ)雪O se X生半∴章m∈肘・

AfirmamOS que f∴6 Hadamard diferenciivel em O e

is七o COnSideremoS h∈ Ⅹ, uma SequenCia

Of(0) = 〇・ Para prOVar
ノヽ

de vetOreS hn cOnVergindo a h e uma SequenCia de n。meros posi-

DevemOS mOS七rar que

七ivos 七n cOnVergindo a zerO・
 _22_

f(〇十七調hn) -青(0)
11叩 雪1土叩 = 0.
n十十∞ 調十十∞

Se existe no〔N 七alq‡:,P:r:七odo 再N e n>n。’ f(七Jln)=O

f(七nhn)
en七ao obviamenteタ 1im = O・ Sel nO en七an七oI Para tOdo
n十十∞ 七n

r〔N, eXis七ir nr=r 七al que f(七nrhnr) / O temos en七蚤o que:

W
m
富
> r Ci肘,∴臼mr〔肘 七 h =
nr nr mr

COmO #。七n.hnr=O 七emos #∞mr=+∞・

m
r

= m
rtnrhnr・ Assim’Se h/O 七emos

W h
m n

Wmr =「申「=丁面→冊
丁r r 富
hMas ent5o w =

quando r十重・エs七o 6 absurdo pois Wm nao possui subsequ8ncia

COnVergen七e・ Logol deve ser h = O e por七an七o

f(七n hn )
r r

七 m 七 m
n r n r
r r

Da壬
f(七n hn )
r r
1im = 1土m
帖nII=O
nr十十∞ n工十十∞ r

POrtan七O
f(七n hn )
r r
1im = 0.

n十十∞

Assim,

1im = 0.

n一†十∞

Provamos entao que f∴∴6 Hadamard diferenci釜vel em O e Df(O)=O.

 -2うー

Agora 6 fまcil ver que f nao 6 Fr6che七 diferenciavel em O, POis

caso fosse, Pela Proposi葦o 15, te正amos df(O) = O, O que impli一

ca富l a

1土m 雪 0.

h十〇

No entanto isto 6 fa￨so pois 〔肯剛 6 uma sequencia convergindo

a O e, Para tOdo m〔 N’

f骨-f(0)
=m(f(昌-f(0))雪C・

工sto finaliza o exemp￨o.

PROPOS工gAo18: SeJam fi A→Y’ A⊆Ⅹ e xo pon七oin七erior de A・

se f∴6 Hadamard diferenci看ve￨ em x〈 en七蓋o f 6 contInua em x〈.

′ヽ●

Demons七ra aO; E∴6bvia a partil` da Proposi9aO 13 (pela condi葦O

(士)). 0

No七e que se f: A十 Y 6 Hadamard dife±`enCiavel em Ⅹo pOn一

七Ointerior de A, eXis七e um丘nico T〔寓(Ⅹ,Y), tal que

bf(x。) = T・ Alch disso o concei七o de funcao Hadamard diferenci訪e￨

em xo no caso de X=R coincide com o conceito de funeao dife-

renciivel de uma variivel real e Df(x。): R→ Y 6 a transforma誇o

￨inear tい七f’(x。)・

Es七as duas propr`iedades, jun七amente com o fato de valer a

regl.a da cadeial CaraC七erizam a diferenciabilidade a Hadamard・

Mais precisamen七e: definido um concei七o de diferenciabi￨i-

dade para fune6es f: A→Y’ A⊆Ⅹ, em POn七OS Xo in七eriores a

A’ diremos que este 6 t皿 COnCei七O de %一diferenciabi￨idade se sa一

 _24_

tisfizer as condiきるes

(i) se f∴6 diferenci丸el em∴∴Ⅹo entaO eXis七e皿a血ica

七±.anSformaeao ￨inear con七Inua de X em Y que geja a diferencial

de f no pon七o xo・

(ii) se かA→Y’ A=隈 e xo pon七ointeriorde A en七:o

O∴6 diferenciivel em xo se, e SOmen七e sel O∴6 diferenci訪e￨

em xo como fun9aO de uma var`iavel real e a diferencia￨ de O no

POntO Xo 6 a transforma誇o linear con七壬nua 七トtO′(Ⅹo) de R

em Y.

(iii) sejam かA→Y, A⊆R e f:B→Z, B⊆Y, Onde x

POn七Ointerior de A e O(Ⅹ。) 6pon七ointerior de B. Se O

diferenciivel em xo e f 6 diferenci訪el em o(Ⅹo); en七蚤o

foO∴6diferenci訪elem xo e a diferencia￨de foO em xo 6 a

COmPOSta da diferencia￨ de f em O(Ⅹ。) a esquerda da diferencia￨

de o em xo・

O concei七o de diferenciabilidade de Hadamard 6 o mais fl`aCO

COnCeito de #一diferenciabilidade, Ou Seja: dado um concei七o de

第一diferenciabilidade, en七蓋o toda funeao difer`enCi和el (por es七e co聖

Cei七o) num dado pon七o 6 Hadamard diferenciivel nes七e mesmo pon七。 e

as duas diferenciais sao iguais・ A demons七ragao des七e fa七o 6 ime-

dia七a a par`tir da defini葦o de funcao Hadamard-diferenciavel e de

diferencial de Hadamard.

Como exemp￨os de concei七os de %-difer‘enCiabi￨idade 七emos as

diferenciabi￨idades de Fr6che七 e de Hadama±`d. A diferenciabi￨idade

de G含teaux n=o 6 uma #-diferenciabilidade pois∴∴Satisfaz apenas as

COndic6es (i) e (ii) e nao sa七isfaz a condi葦o (iii) de %-diferen-

ciabilidade.
 -2う-

Como observa曾aO final des七e cap壬七u￨ol devemos ci七ar o fa七o

simples’ POl`6m ainda n蓋o mencionadol que dados XI YI A⊆ Ⅹ e

xo pon七o in七eriorde A; O COnjun七odas fun96es f: A→Y que

′ヽl

G会七。auX (resp. Hadamard ou Fr6che七) diferenci看veis em x

SaO

for`mam um eSPa9O Ve七Orial Gxo (resp.

Hx。Ou蜜Ⅹ○) e

もx :H →可Ⅹ,Y), f→ Of(Ⅹ。)
6Ⅹ:Gx →可Ⅹ・Y)・ f→6f(Ⅹo) (resp・ Ⅹ ○ ○..

○ ○

￨inear.
Ou d : 罫Ⅹ。→可Ⅹ・Y)・ f→df(Ⅹ○))さ
Ⅹ○

工工

os TeoreITlaS da Funcao工nversa e da Fungroエmp￨壬ci七a

pe￨o corolario da Proposi葦o IO do cap壬七ulo an七erior vimos

que uma fungao f 6 G含七eaux diferenci訪el em todos os pon七os de

um aber七o e a diferencial varia con七inuamen七e de pon七o para pon七o

se, e SOmen七e Se, 6 cl (no sen七ido deFr6che七)・ Pelas Proposi一

曾OeS山e lうO meSmO Vale se trocarmOS a COndi葦o G缶eaux difere里

ciまve￨ por Hadamard diferenci看vel・ Tomemos is七o um pouco mais

formal:

DEF工N工五°: Uma aplica葦o f: A→Y’ A⊆ Ⅹ, A aber七o’ diz-Se

Ga七eaux Hadamar`d ou Fr`6che七 diferenclaVel

con七inuamen七e (resp.

s。 f∴6 G含七。auX (resp. Hadamard ou Fr6che七) diferenci訪el em to-

dos os pon七OS de A e 6f:A→可X,Y) (resp・ bf ou df) 6

エコ

uma aplicaeao cOn七壬nua.

 _26_

PROPOSエ担o￨9: Seja f: A→Y definida no aber七o A⊆Ⅹ・ Sao

equiva￨entes as∴∴Seguin七es afirma曾OeS:

(i) f∴6 con七inuamen七e G会七eaux diferenciivel

(ii) f∴6 con七壬nuamente Had鞠mard dife‡・e即iav畠

(iii) f∴6 con七inuamen七e Fr6che七diferenciavel・

D。n。七ar。m。S P。r Cl(A,Y) o conjun七O das.fun'誇es con七inua-

men七e diferenci去veis de A em Y e, quando rla。 houver耶a’rgem de

d。vida sobre A e Y’ eSCr‘eVeremOS∴∴Simplesmen七e C￨・

pROPOS工gfro 2Oi Sejam XI Y espa曾CS Ve七o±￨iais normados e A⊆ Ⅹ

abe再。. O 。。njun七。 Cl(A,Y) 6 um espaeo ve七orial (com as opera-

O meSmO COr 「二二二二

きる。S uSuais de soma e mul七iplica葦o por eSCalar) sobre

po de escaユーar`eS q冊 Y・

Dem∪川糟と-碑{詣○:∴曲∴6bv土a.

Daqui para fren七e admi七iremos que o lei七Or eS七eja familia-

rizi.両colrl a diferenciabi￨idade de Frfrohe七e as classes Cr de di一

f(3rerl「辛口⊃ilidade.

廿e l.eStan七e deste capi七ulo, X, Y e Z simbo￨izarao sem-

pre c叫aCOS de Banach.

n即し・叫恥: Sej細 f:A→Y’ A⊆Ⅹ e xo pon七Oin七erior de A.

DizemOS que f∴∴6∴for七emen七e diferenciまvel em x Sei

f∴6 F`r6chet diferenciivel em xo e’Para七odo e > O’ eXis七〇

uma bo￨a B(Ⅹo・8) talque a aplica葦o r: B(Ⅹo’6)→ Y’ dadapor.

r(x) = f(Ⅹ) - f(x。) - df(Ⅹ。)(Ⅹ-Ⅹ。)’ 6 e-1ipsch七ziana.

工s七o equiva￨e a afirmar que exis七e 8o > 〇 七a￨ que

 f(Ⅹ) - f(y) = df(xo)(Ⅹ-y) + =x-y=姫y)
Ⅹ,y ∈ B(xo’yo) implica que

。nd。 1im 中(Ⅹ,y) =O.

X十Ⅹ○

pR。P。S謎21i S。jam fgA→Y’A⊆Ⅹ e Xo POn七Oin七eriordeA●

s。 f 6細。auX diferenCiivel em七Odos OS POn七OS de輸uma:i誓三a

V de Xo 。 。f出→諒,Y) 6con血uaem X。 entaO f 6for七e￣

mente diferenCi和el em Xo・

DemOn S七ra 着。: P。1a Pr。P。Si函1O, f 6 Fr細e七difer:÷Ci6v:1 em

=∴f(Ⅹ)一f(xo)-df(Ⅹo) (Ⅹ-Ⅹo).
r:A十Y dadaPOr r(Ⅹ)
Ⅹ〇・ Seja

En七aO
器こニ】

r 詫言ux dif。r。n。igivel em V e 6r(Ⅹ) = 8f(Ⅹ)-6f(中

嘉二言im 。r(x)=O ePOr七an七O・dado e>0由る>0七alque

x。 U帯主用6r(帖e・ Segueute da PropOSi轟6 que

rg B(xo’8) → Y 6e-1ipschi七Ziana・ ￨

para maioreS de七alhes SObre fun9ties for七emen七e diferenCi左-

vei5 ¥′ejam-Se H・ Car七an [2]’OuE・ Lima [8].

passaremos agora a enunciar OS七eoremaS da funeaO inverSa

ここここ

e da fungrO impl壬ci七a e OS Principais reSul七ados a eles relaciona-

dos・ No reStO de帥aPituto’Salvo meneaO eXPlici七a em COn七ra-

. 。一一《m〈合∴塵a,.去 a de Fr6che七.
que consideraremOS∴Sera a
riol a difel`enCiabilidade

e 弔⊂Y aber七OS● DizemoS que

DEF工N工担o: Sejam A⊂ Ⅹ
de c 1asse Cr (r∴≧1) se f∴6uma
dife O皿or f士 S皿O
f; A→ B 6um
em Y) e a

霊前。r (。。nSiderada cOmO uma aPlica轟de A

器霊i∴∴-1 6 Cr (considerada cOmO uma aPlica轟de B

e調 x).
 _28_

E c￨aro que 七odo difeomor`fismo de classe Cr∴6 um homeo_

morfism0.

PROPOS工gXo 22i SeJam A⊆Ⅹ, B⊆Y aber七os e fi A十B um ho-

meomorfismo・ Suponha que f∴6 diferenoi訪el en 隼o 'ぎA; entaO

f-￨ 6diferencidve￨em f(Ⅹo〉∈ B se・ e SOme加e轡e・ df(Ⅹo) 6

um isomorfismo en七re X e Y.

PROPOS工担o 23s Sejam A⊆Ⅹ, B⊆Y abe両o e fI A→弔 um ho-

meomorfismo Cr’・ A ap￨ica9aO f 6調difeomorfismo r専 sel e

somen七e seタ df(Ⅹ) 6 um isomorfismo @nt￨.e X e Y 牛乳lquer que

Seja x 〔 A.

PROPOS工担o 2塙 seja f: A→Y, A aber七o de X・ Suponha que f

seja con七inua em A,∴for.七emen七e diferenci討e￨ em xo 〔 A e

df(xo1 6 um isomorfismo en七re X e Y. En七;o exis七e uma vizinha駐

印aber七a V de x。 (Ⅴ⊆A) e uma vizinhan印aber七a W de f(Ⅹ。)

七al que f∴6 u皿 homeomorfismo en七re V e W. A16m dis七o o homeo-

r…f、is青I‘O inverso f-1 6 fort㊧men七e diferenci訪el em f(Ⅹo) e sua

d」j‘tJ…(証自ntj⊃しe∴POn七O 6 [df(Ⅹo)]-￨・

m(一汗しS￨担o 2う(O Teorema da Funeaoエnversa): Seja f: A→ Y,

Å a国章、tO de X. Suponha que f seja Cr e que, em um POn七o

X。C A, df(Ⅹ。) seja umisomorfismo en七re X e Y・ Entao exis七em

しrma V⊥z土nhanea aber七a V de x。 (Ⅴ⊆ A) e uma vizinhanca aber七a

W de f、(Ⅹo)七ais que∴f∴6 um difeomorfismo de c￨asse Cr en七re

V e W.

COfro一点R丁O: Seja f: A→YI A aber七O de Xタ uma aPlicaeao Cr.

Enta。∴f(A) 6 aber七o de Y e f∴6 um difeomorfismo de c￨asse Cr,

se e somen七e se, f∴6 inje七ivo e df(Ⅹ) 6 um isomorfismo en七re

 -29-

Ⅹ e Y qualquer que Seja x〔 A・

pROPOS工g如26 (O Teorema da Funeao工mplicita): Sejam X’Y’Z

espa印s de Banach e U alb剛直:諏Y・ Seja f3 U+ Z∴∴for七emente

di士、erenci訪elnopon七O (Ⅹo・yo) ∈ U e f(Ⅹ〇・yo) = C; Se

d2I‘(xo’yo) ∈埴・Z) 6調isomorfismo・ entaO eXistem aber七os V・

W u血e xoe V=Ⅹ e (Ⅹo’yo)〔W〒Ⅹ×Y coma seguin七e propri皇

da。。: Para Cada x〔V ha um血icolg。(Ⅹ)〔 Y 七alque

(Ⅹ・5。(x))e w e f(Ⅹ・gc(Ⅹ)) =C. Aaplicaeao gc:V→Y’ aSSim

definida1 6 for七emen七e diferenciivel,em Xo e Sua diferencial

neste poIito 6 d写。(豆= -[d2f(x。’y。)]-1 dlf(Ⅹ。’y。)・ Se f∴6

uma aplicagao Cr ent蚤o 5c 6 tamb6muma ap￨ica誇O Cr e sua

dil‘e上、enCia￨ num pon七O qualquer x〔 V 6

dEc(x) = -[d2f(Ⅹ・gc(Ⅹ))丁l dlf(Ⅹ・gc(x))・

par`a剛a demons七ragro das Pr‘OPOSi誇e芋221 231 24’ 2う, do corol壷io

da Proposi葦o 2うe da Proposi誇o 26’+ndicamos: Car七an’H・ llCours

de Calcul Diff61`en七iel"; Limal E・L・ "Curso de Anま1isel VOl. 2"

e Lima’E●L● "Anaiise no Rn ''・

A seguir mos七raremos uma in七eressan七e aplica9aO do teorema

da fun筆答o impl壬ci七a devida a Joel W・ Robbin [1O].

PROPOSI酉o 27: Sejam U um aberto de un espa叩de Banach X e

f享,flRxU→Ⅹ uma aplicaeao Cr (r≧ 1)・ Para cada x。∈ U exis一

七em uma vizinhan曾a aber七a V de xo em U’ um in七ervalo aberto

(-e,e) e uma aplica誇o 串(ヰ,e)xv十U tal que

(1)め∴さ Cr;

(2)の(0,Ⅹ) =Ⅹ V x∈ Ⅴ;

(う)訳七,Ⅹ) =でく七,の(七,Ⅹ)) 草(七,Ⅹ)∈ (-e・e)×Ⅴ・

 一つ0-

(No enunciado desta proposi誇o assim co耽O en上混同⊥轡,証mon蜜七ra-

eao ado七amos a conveneao de que um pon七o so’bre uma ￨e七ra que designe

funeao significa a derivada des七a fungao em re￨a誇o a 七).

′○○

Demons七ra aOき Podemos suporJ Sem Perda de generalidadel que

Ⅹo=O e U 6una bola aber七a de cen七ro xo・ Seja Uo a bo￨a

aber`七a de cen七ro xo e raio igua￨ a me七ade do raio de U. Deno七e-

mos por 工 o in七er`Valo compacto [,-1,1] ⊆旺. Qua￨quer que seJa o

in七eir。 P ≧ O denotemos por CP(エ,Ⅹ) o espa曾O de Banach das ap￨主

ca誇es cP de 工 em X (coma七opo￨ogi-a CP), POr C訃工,Ⅹ) o

sub。SPaea fechado de CP(工タⅩ) cons七i七uido de todQ∴再CP(工,Ⅹ)

talque l′(0) =X。, ePOr C:(エ,U。) oconjun七odos Y〔 C:(工・Ⅹ)

七ais que Y(工) ⊆U。. No七e que C訃工,U。) 6aber七ono espa叩de

Banalin∴c:(工タⅩ)・ O s王mboIo dj deno七a a diferencial parcia￨ de

F工宣ehet COm reSPei七o a j-6sima coordenada.

seja F: RxU。XC:(工,U。) → Cr￣1(工,Ⅹ) definida por

F(aタⅩ,Y)(七) =互七) - af(a七,Ⅹ十Y(七))

para todo a∈駅, X∈U。, Y∈C封工,U。) e t〔工・ Aaplica葦o

F` 6 G紅eaux diferenci訪e￨ em七odos os pon七os de 阻XU。×C封工,U。)

e sし,種di上、erencial de G会七eaux num pon七o qualquer (a,Ⅹ,Y) 〔

∈岨J。×C詐タU。) 6 a aplicagao 6F(aタⅩ,Y)再×Ⅹ×C*工・Ⅹ) → Cr￣￨(工・Ⅹ)

6F(a,Ⅹ,Y)(bタh五)(七) = i(七) - bf(a七,Ⅹ十Y(七))

- a七d￨f(a七,Ⅹ十Y(七))・b -

- a d2f(a七,Ⅹ十Y(七))互(七)十h)・

宙facil ver que a diferencial de G含七eaux 6 con七壬nua em

 一〕1-

隈× U。 X C:(工,U。) e portan七O’Pe￨o co±`O￨ario da Proposicao ￨O’

F 6 cl. De fato1 6ffroilverque F 6 cr・ Dos caicu￨os∴fei〇

七。S a。ima 6 im。dia七O que a derivada parcial (agora no sen七ido de

Fr6che七)comrespei七o a Y nOPOn七o a=O・ X=Xo・ Y=O 6

a transf。.ma串￨inear d,F(O’X。’O): C評・Ⅹ) → Cr-1(工・X)七a￨ que

[d3F(O’Ⅹ。’O)加七)言(七)・ Para七odo ^∈ C評・X)・

￨。g。 。1a 6 um is。m。rfism。 en七re C評,Ⅹ) e cr-1(工・Ⅹ)・ Podemos

por七an七O aPlicar o七eorema da fun葦o implicita・ Como F(O・Ⅹo’O)=O

七emos quu eXis七emuma Vizinhanca (-2e’2e) x v de (O’Xo) em

阻X U。 eumaaP￨ica轟H=-2e’2e)xv→C評・Uo), de c￨asse Cr,

F(a,Ⅹ,H(a,Ⅹ)) = O

pOr
par‘a tOdo (a,Ⅹ) ∈ (-2e’2e)×Ⅴ・ Definamos 串(-e’e)xv→ U

自七,Ⅹ) =工I(竜タX)(‡)十Ⅹ・

Aapli。a葦。 O∴6 Cr, POis aevalua葦o C:(工・U。)x工→U。 6 cr・

c。…。 II(e,X) 〔 C:(工,U。)七emos que cko’Ⅹ) = X qua￨quer que seja

x〔 V. F`inalmen七e 七emos que:

訳七タⅩ) - f(七タの(七,Ⅹ)) =
●

(‡) -ef(e
Ⅹ+H(e,Ⅹ)(か] =

1
Fヨ ーニユ F(e,Ⅹ,H(e,Ⅹ))申= 〇・
e

Assim o teorema eS七a proVado.

Na realidade a fun葦o O da proposi誇o“anterior 6 a血ica

que satisfaz (2) e (3)・ Mais precisamen七e・ Sendo B(a・r) =

= 〔x〔 Ⅹ 峠-al! < r主 七emosさ

 -32-

PROPOSエgfro 28: Seja f再×B(a,±.) → Ⅹ uma ap￨ica葦o C￨ 。 S。jam

串(-e’e) → B(a,r) e 申(-e,e)→B(a,r) aplica曾6es dif。r。n。i看_

Veltais que o(O)=X。’ V(O)=y。, ir)=f(七,O(七)) e 吊t)=

=f(七・中(七))・ En七箸o:Para七odo 6〔 (O,e), eXis七e k>O 七a￨qu。

帖(t)一両)II≦ek回帰-y。II "〔亡母].

ここ二

Demons七ra a08

隔晴田圃
︺
十
細りH細

〇〇〇山いり
Ⅹ

十
雪

-
○

⑦(七) -中(七) [f(七,O(t)) - f(七月(七))]d七.

Agora

H:亡0,1]×亡-6,6]葛→ [式,6]xB(a,r)

(α,七)細-細--→ (七,函(七)十(ユーα)中(七))

H 6 con七壬nua ￨ogo H([o,￨Jx「-6タ6J) 6 compacto. sendo

K = SuP用d2f(t,Ⅹ用 (七,Ⅹ) c H([o,￨Jx亡-6,6])] temos que

帰(七)一画七用≦峠。-y。!I十 K帖(七)一画(七)陣七l.
ニt
Se t 2 O temos pe￨o lema de Gronwall que

帖(七)一両用≦ ekt”Ⅹo-yo旧

Se t=O 七emos que como 択一七)=-f(-t’れt))’在-O)=X。’

"-t) = -f(-t川(一七)) e ty(O) = y。 rePe七indo o ar'gumen七o acima

usando exa七amen七e a mesma ap￨ica曾aO H encon七ramos que se

帖-七) -両-t)情ekt"Ⅹ。一y。Il

e portan七o se t〔亡-6,O]

旧七)一両)情ek叫lx。一y。=
 -3うー

Assi調

旧七) _両)l巨ek叫IⅩ。 -y。!l・

工工工

Derivada Dis七ribuicional

Nes七e CaP士tulo estudaremos um七1po de derivada importantis

sima em Anまlise e que POSSui algumas Ca±`aCteristicas bas七an七e pe一

cor[lO dissemoS na in七rodugro as nOVaS definic6es de difere里

cia￨ buscavam genera⊥izar a derivada de f皿C6es de 隈 em R,

portan七oI COnSerVando suas Principais propr‘iedades・ Resta porem

器こつ

urlla∴Pergunta3 quais sao aS P±'incipais propriedades da der`ivada?

A resPOS七a 6 relevan七e pois∴∴Se COnSiderarmos a reg±`a de deriva印o

do produto de du鼠s∴fun曾OeS COmO SOndo a dnica pl`OPriedade que nos

interesSe COnSel`Var na generaliza草O entaO a diferenciabilidade

de GateuX6suficien七e・ De fato! Se fiA→Y e giA十Z,

A⊆ X s宣o G倉teaux dife±`enCi訪eis em xo POn七O interior de A e

B-Z → Z1 6 urna aplica叩bilinear COn七Inu鼠事OntaO

I3(frs)i A→ Zl dada por∴∴B(f・g)(x) =∴B(f(x)・g(x)) 6 Gateaux di-

6B(f,g)(xo)h = B(6串o)h・g(xo)) + B(f(xo)・らg(xo)h).

J6魯e a P±`OPriedade a se COnServar∴for a regr亀da cadeia,

○○

vimos no CapI七ulo工que a nO叩O adequada 6 a de diferenciabilidade

 -34一

de Hadamard.

O que ocorre se quizermos conser`Var a regra de in七egra曾aO

por par七es? Es七a si七uagao 6 especia￨men七e de￨icada como veremos

a seguir e uma resposta comp￨e七a a per‘gun七a fei七a necessi七aria de

uma genera￨iza誇o do concei七o de fun葦o (e de medida) que 6 a no〇

㌔o de distribuic;o・ No en七an七o evi七aremos∴falar em dis七ribuic6es

e ado七aremos a seguin七e definl曾aO.

DEF工N工gHo: Seja n aberto de 隈n・

uma funeao f〔幸。。(∩) 七em derivada fraca de ordem cL (α〔附n)

se exis七e g〔王。。(n)七alque para七odo q"〔 C:(n), is七o6,

cp∴funeao C∞ definida em Q e de supor七e compac七o,七emos que

岡田晴間
帽細田肥田軸

α
α

d
⊥
d

g
[晴山山田細

椅いい"Hり

園田
ヽ八

ヽ
∧
爪甲

Onde lαl = CL￨+α2十…十αn

-

正
(
r
g
雪

Neste caso escrevemOS e dizemos que g 6 a deri-

vada∴fraca de f de ordem cL.

uL}SERVAGHo l: Esperamos qlle O lei七or des七e capi七ulo七enha alguma

fa,,,i⊥iar`idade com a in七egr`al de Lebesgue・ Por 圭。。(Q) designa-

mos o espago das fun誇es definidas em f) e que sao Iocalmen七e i里

七egr看veis a Lebesgue● Fizemos uso na defini9aO de derivada fraca

da nota葦o de multi-壬ndices・ Conv6m ￨embrar que se

α = (cL￨,・‥,αn) en七蓋o

dα= (dl)α1o (d2)α2o…O (dn)αn=

0α1十α2十…十αn
α1里
中 α2
 -うう一

oBSERVA担o 2: Toda funeao Iocalmerite integrive￨ 6 uma distribui一

理e por七an七O tem uma derivada distribuiciona掴ue dy em pr`inc壬-

pio’uma distribui葦o aPenaS・ Nossa defini誇o correSPOnde a dizer

「ここ」

que a derivada dis七ribuiciona1 6 uma fungao Iocalmen七e in七egravel・

pROPOSlgfio29: Seja Q aber七odo Rn e seja f両→隈 umafun一

声F`r6che七diferenCiave￨ em七Odos os POntOS de Q・ Entao

f∈王。。(時∴f七em七Odas as derivadas fl‘aCaS de ordem l e

D.f=dif qualquerque Seja i∈口...,n主

1

DemonS tra a。: 。。m。 f∴6 。。n七壬nua, f〔王。。(∩)・ Co剛OPara tOda

申〔 C二時)・
r l - 恒
了 l - 恒

d
d

l八
ハエ

議了

(d士f)中d信
・⊥

工〕.f =
1
veIllOS que f tem tOdas as derivadas fl`aCaS de ordem l e

=し上で、 }i〔 〔1,.‥,n主 ∴望

E iInPOrtan七e ter em men七e que a derivada fraca Dαf es七a

def、jr血]a ll16dulo as fun印es nulas q・七・P・, POr七an七O naO faz sen七i一

do falar do valor de DCLf numPOn七O. A unicidade q・t・P・ da de-

rivada fra。a 6 uma 。。nS。。u8n。ia imedia七a de que se f ∈王。。(Q)

e 「申告O "∈C紺ent:o f=O q・七・P・

Jn 。aqui a七6 o土、im deste caP壬七ulo convencionaremoS que Q

um in亡et.va￨o aber七O de 隈・ DaremOS agOra duas definlCOeS:

DEF工N工Cfio: Uma fun葦o f’ definida em um in七ervalo compaC七O

abso 1u七amen七e con七inua se para todo e > O

[a,b], 6 chamada
ノ

e uma fam壬lia
exis七e 6 >O talque se ((Ⅹi’yi)上。叫...,n)
n

d。 int。工・Val。S disjuntos COn七idos em [a・b] com i三1(yi-Ⅹi) < 6

 -〕6-

en七着○

lf(y土) -f(Ⅹi)l <e・

DEF工N工CAo: Uma fun誇o f definida em um i軍l七ervalo aber七0 ∩

abso￨utamen七e con七壬nua se f res七ri七a a cada in七e±`Valo compac七0

[a,b] contido em n∴6 absolutamen七e cont壬nua.

n
隈
・
r

l
`
PROPOS工担o 3O: Uma funeao ↓ 十 旺∴6 absolu七amen七e con七王nua se,

e somen七e se, eXis七e 〔王。。(n) e x。e n 七a￨que

r - 1 1 売

f(Ⅹ) = f(Ⅹ。) 十 g(s)ds } Ⅹ 〔 ∩.

Demo ns七raゼa♀ ;∴E imedia七a a partir do resul七ado an看￨ogo (e bem

m ￣音￣-二音

conlleCido) para fun誇es absolu七amen七e cont壬nuas em in七erva￨os com-

pactos●

PROPOS工担o 31; Uma fun葦o f: [a,b] →収∴6 absolu七amen七e con七壬-

I・lua Se e SOmen七e se exis七e g: [a,b] →阻, g〔島￨ talque

f(Ⅹ) = f(a) g(s)ds V x〔亡a,b].

Der…rlトLr`時轡o: Ver ユs工lard [6] ou Fernandez [3].

pROl}OS￨担o32: Sejam f〔王。。㈲タ C∈阻 e a 〔 n. Seja ainda

Tr:∴n十膿 dada por F(Ⅹ) = 〇十巨(s)ds・ En七宣o F 七em del`iva_

da fraca de ordem l e

DF = f q.七.p.

′ヽ■

Demons七r`a aO; Para toda cp∈ C:(n),

 -37-

岡田晴四
r l - 圧

[H同"晴いm

十
C
雪
f(s)ds)中′(Ⅹ)dx =
F(Ⅹ)可(Ⅹ)dx

田晴間

r l - 号
-H園田喜
ニ
f(s)ds)中′ (Ⅹ)dx・

Defina,nOS g: nXn → [o,1] pondo

Se a ≦ Ⅹ
g(s,Ⅹ) = 1亡a,Ⅹ](s)

Se X ≦ a.
g(s,Ⅹ)こユ[Ⅹ,a](s)
﹁-恒子上川﹁五
岡田晴胴

En七宣○

F(Ⅹ)か(Ⅹ)dx = f(s)g(s,Ⅹ)申′(Ⅹ)dsdxこ
﹁上用
軸田山細

賀H喜椅細
確り喜田り
ハエ

g(sタⅩ)申′(Ⅹ)dx)ds =

f(s)申(s)ds
一

⊥ogo F tem derivada fraca (de ordeml) e DF=f q・t.P・

pR。r)。S叩Ho 33: S。jam f,g〔王。。(∩)七ais que七enham derivada

f工、aCa. Se Df=Dg en七蓋o f=g十 C q.七・P・

。。mnstra宣。: S。ja h= f-g 。n七芸。, 6 claroque h∈王。。(∩)

e tem derivada fraca e Dh= O Iogo

hか d入=0 章や〔笠(の
﹁上川

Ou SeJa
﹁
ll

〇
d
圧

l八
〇
d

関田

草や∈笠(の・
中

ヽ入

e Se
中l臥 =
p。is se cp〔 C:(Q) entao ap’〔 C評) e
 一つ8一

再C神e仁 。入=O en七ao tomando a= inf supp cp, a∈ r2

間
e definindo 9(Ⅹ) =
ap(s)ds,七emos ap =6′. Agora bas七a ob-

SerVar que L￨: C:(n)→択 e L2: C:(n)→択・ dadas por L￨(ap) =

d
l八
爪甲
respec七ivamen七e, SaO funcionais
「両人。 L2(の
ノ∩

L
⊆
r
e

e
r

●1
￨ineares (a￨g6bricos)

2
￨ogo L2=C・L￨, Ou
子晴間

SeJa

層菓晴晴間
d

d
ヽ八

中
偉甲

〇〇人
こ

叫〔笠(のタ

10gO

(h-C)中d入 叫〔空車)・

Da壬 h = C q.七.p., POr七an七o f = g+C q.七.p. .

PROPOS[担0 34: Seja fC圭。。(n) en七蓋o f 七emderivada fraca

(de or`dem l) se e somen七e se f 6 absolu七amen七e con七壬nua em r主

′〃}

Demons七ra aO; Se f∴6 absolu七amen七e con七壬nua entao f tem de組

rivada fraca.工s七o 6 consequさncia das Proposi誇es 3O e 32。 Se

f、 tem derivada fraca en七ao Df〔よ

F; r)→阻 definida por F(Ⅹ) = Df(s)ds, Onde a〔 n.

宇三。。(n)・ Seja por七an七o
暮le￨a Pr‘OI〕OSi葦o 32, F tem derivada fraca e DF = Df q.七。P。

I)ela l)roposi誇o 33∴f=F+C q.七.p. onde c〔隈. Logo

f、(x) = 。. 「。f(s)ds 。 P。.七an七。, P。￨aPr`。P。Si声3。, f∴∴6 ab輸

J
a

solu七amen七e con七土nua.

OBSERVA担o: Es七a proposigao七em uma versao mais for七e que afirma

que uma dis七ribui葦o em n∴∴6 uma fun葦O abso￨u七amen七e con七壬nua

em n se e somen七e se sua derivada dis七r`ibuiciona1 6 uma fun写aO

per七encen七e a 圭。。(0)・ A demons七ra葦o 6 ana￨oga a da pr。P。Si葦。

acima, aPenaS que aO inv6s da ProposICaO 33, 6 u七i￨izado o I、a七o

de que duas dis七ribuig6es em n que 七会m a mesma derivada dis七ri_

buiciona￨ diferem por uma cons七an七e・ A demons七ra請o des七e I、a七o 6

to七almen七e an看1oga a da ProposlgaO 33.

pROPOS工gAo 3う; Seja fC圭。。聞・ Afungao f 6 ￨ips。hi七ziana

em n se, e SOmen七e Se, f tem derivada fr‘aCa e Df〔よ∞(n).

′ヽ●

Demons七1`a aO; Se f∴6 1ipschi七ziana em Q en七ao f∴6 absolu七a_

men七e con七壬nua logo

﹁
上項
十
C
こ

f(Ⅹ) Df(s)ds e Df∈王。。㈲・

Seja K a cons七an七e de Lipschi七z de f. Se 入(亡Df→K十1]) >0

ent:o exis七e K。⊆亡Df>K+￨]七a￨que ¥(K。) > O. Segue-Se que

Df(s)ds≧ (K+￨屈Ko)・ Seja thrfN uma

陽
SequenCia de aber七os

七a￨ que G￨ tem fecho compac七o e Gn¥Ko・ Para todo in七er`Va￨o

aber七o (c,d) ta￨que [c,d] ⊆0, tem-Se

Df d¥=f(b) -f(c)≦K(c-d) =K¥((c,d)).

A16m disso, Se Ko⊆n’ Ko compac七o n aber七o en七茎o’

Para tOdo n suficien七emen七e grande Gn⊆ n e pe￨o七eorema de

es七ru七ura dos aber七os da re七a 七emOS que

Df(s)ds ≦ K¥(Gn).

Mas

Df(s)ds Df(s)ds
 _4○○

自Gn) →入(K。)

10gO Df(s)ds s K¥(K。), um absur‘do.

仁
Por七an七o, ¥([Df>K+￨J) = O.

Seja g= -f. En七ao g 6 1ipschi七ziana com a mesma cons七an七e de

Lipschi七z K; ￨ogo como Dg= -Df 七emos que

入(亡Df< -(K十￨)]) ="[Dg>K+￨]) = O.

Assim Df 。∴よ∞(n).
f

Se f tem derivada fraca en七ao 6 abso￨u七amen七e con七壬nua e

r

f(Ⅹ) =C 十 Df(s)ds’ Onde ao∈n

上

￨ogo 6 imediato que f∴∴6 1ipschi七iziana pois

車(b)-f(a)l = Df(s)dsl ≦剛.∞(詰([b・a]) =

=匝‖坤)車a上

OI3SERVA担o; Como os r`esul七ados an七eriores es七e七amb6m七em uma

VerSaO mais for七e se usarmos dis七ribuie6es: Uma dis七ribui葦O em

n∴∴6 uma fun葦o ￨ipschi七ziana se e somen七e se sua der‘ivada dis七l`i_

buieiona1 6 uma fun葦o per七encen七e a ±∞(。). A demons七ra葦。 d。S七。

上’ato anatoga a da proposleaO aCima apenas usando as versoes para

dis七ribui誇es das p±`OPOSIcOeS an七eriores e七amb6m usando que

㌔(Q) ⊆王。。(n) pal`a deduzir qu。 S。 a d。rivada dis七ribui。i。na￨

esta em ±∞(n) en七蚤o f∴∴6 1ips。hi七ziana.

 ∴子音圏

_互1_

PROPOS工担O 36: Seja f u調a fun誇o absolu七amen七e con七inua. se

Df〔島P(。) (1≦ p≦ 十∞) entao a funeao f∴6 Hblder-COn七壬nua

de ordem er onde er +吉事1 (Ht}1der con七壬nua de ordem O signifi一

ca limitada).

。帖n七時(尋) = f(a。)十巨s)ds・
′ヽ■

Demonstra aOi Seja a。〔f)

en七:o f(Ⅹ)=f(a。)

se l)f∈ よP(n) (1← p= +∞) en七ao pe￨a desigualdade de Ht)1der:

Df(呂)dsl =
車(Ⅹ) -f(y)l =

工Ⅹ

巨y・両用-p(-Ⅹ-y占
qua重quer que seja x’y〔 ∩, y≦ x

POrtan七O temOS que

l_土
If(Ⅹ)-f(y)ls旧主lx-yl P vx・y〔0

1ogo f∴6 Hblder-COn七壬nua de ordem l -三・

OBS銅¥′A担o: Para p=+∞ e CL = 1 es七a proposicao nada diz de

novo tendo em vis七a a Proposi葦o 3う・ A rec壬proca da proposi9aO

acima 6∴falsa:

coNTRA_E糊1PLO: S。ja f: (O,1) →隈 dada por f(Ⅹ) =√吏. A fun一

葦o f∴6 absolu七amen七e con七壬nua pois

f(Ⅹ) =、乍十 ds∴∴早 Ⅹ〔 (0,1).

2J言

Ag。ra f∴∴6 Htftd。.-。Ont壬nua de ordem i pois

 ー均一

Bibliografia

Derivativ旦呈I Amer`・ Ma七h・

“⊥」
[1] ∴二二二二七(1966),
A.M. No 4, Par`t工工(Slaugh七Memorial
Bruckner and J・L. Leonard・ Papers)

[2] I{. Car七an’Cours de Calcul Diff缶en七iel’Collec七ions M6七hodes’

[3] P.J. Fernandez’Medida e工n七egra曾aO・ Proje七O Euclides・工MPA’

Rio de Janeiro1 1976・

叩 T・M・ F`1e七七・ Differen七ial Analysis’Cambridge・ Cambridge

univel`Si七y Press) 198O・

diverseS d6fini七ions de 1a diff6rent iabili七6

Sur
[う] M. Fr6che七,
七.X, fasc. 3一生177-227・
L'Enseignemen七Ma七h6m. ’

[6] C.A・S・工snard’工n七egr`al de Lebesgue・ a Ser Publicado・

[7] n.L・ Lima’ Anaiise nO Rn・ Brasfiia・ Edi七ora da Universida-

[8] I㍉L. Lima, Curso de Analise・ VOl・ 2’Proje七oEuclides,工MPA’

Rio de Janeir`O, 1981・

and Differen七ials
Some Remarks on Variations
[9] M.Z・ Nashed’

Amer. Ma七h. Mon七hly ]里 (1966) (Slaugh七Memorial Papers)

6う-76.

theorem for differen七ia￨ equa七 ions

On 七he e ⅩistenCe
[1O] J. Robbin,
19, 19681 1○○うー1○○6・
proc. Amer● Ma七h・ Soc・