Escolar Documentos
Profissional Documentos
Cultura Documentos
1 (2003) 15
Funções de classe C k
Carlos Humberto Soares Júnior
Abstract
Resumo
1 Introdução
2 Teorema e exemplos
Definição 2.2 Fixemos (w1 , ..., wn ; 2d) uma (n+1)-upla de inteiros positivos.
Definimos a função controle associada a (w1 , ..., wn ) por qd (x) = x2a
1
1
+ x22a2 +
... + x2an , onde os ai,s são tais que a função qd é quase-homogênea do tipo
n
kh(x)k = kh(λy)k = λ2d kh(y)k ≤ λ2d c = λ2d cqd (y) = cqd (x).
f il(h, w)
~ := min{α1 w1 + · · · + αn wn / bα 6= 0}.
Lema 2.6 Sejam q(x) uma função controle associada a (w1 , ..., wn ; 2d) com
w1 ≤ · · · ≤ wn e p(x) uma função analı́tica tal que:
f il(p) ≥ 2d + wn + 1.
p(x)
Então, a função f (x) = q(x) é diferenciável de classe C 1 .
Prova: O gradiente de f é
q(x) · ∇p(x) − p(x) · ∇q(x) ∂q
∇f (x) = , com inf {f il( (x))} ≥ 2d − wn
q(x)2 i ∂xi
e f il(p(x)) ≥ 2d + wn + 1, então f il(q(x) · ∇p(x)) ≥ 4d + 1 e f il(p(x) · ∇q(x)) ≥
4d + 1.
Cada termo de ∇f (x) é da forma g(x) · h(x)q(x) , onde h(x) é quase-homogênea
h(x)
do tipo (w1 , ..., wn ; 2d) e lim g(x) = 0. Daı́ segue-se do Lema 2.3 que q(x) é
x→0
limitada, e portanto ∇f (x) é contı́nua.
Esse Lema é o primeiro passo para induzirmos o seguinte Teorema:
Teorema 2.7 (Ruas e Saia, [2]) Sejam q(x) uma função controle associada
a (w1 , ..., wn ; 2d) com w1 ≤ · · · ≤ wn e p(x) uma função analı́tica tal que:
f il(p) ≥ 2d + kwn + 1, k ≥ 1.
p(x)
Então, a função f (x) = q(x) é diferenciável de classe C k .
18 C. H. Soares
h(x, y) x11 + y 6 + x5 y 3
f (x, y) = = .
q(x, y) x4 + y 2
h(x, y, z) xa y b z c
f (x, y, z) = = 4n
q(x, y, z) x + y 3n + z 2n
onde n é um número inteiro positivo. Suponhamos que 3a+4b+6c ≥ 12n+6k+1,
onde k é um número inteiro positivo dado. Então, como q é quase-homogênea
do tipo (3, 4, 6; 12n) e f il(h) = 3a + 4b + 6c ≥ 12n + 6k + 1, temos que f é de
classe C k .
Exemplo 4: Seja
y 5 sen(x)
f (x, y) = .
x7 + xy 4
Podemos reescrever f como
y 5 sen(x)
h(x, y)
f (x, y) = = 6 x 4.
q(x, y) x +y
Referências
[1] E. L. Lima. Análise no Espaço Rn , Editora da Universidade de Brası́lia.
[2] M. A. Ruas & M. J. Saia. C ` -determinacy of Weighted Homogeneous
Germs, Hokkaido Math. J., vol. 26 (1997), pp 89-99.