Nome: RA:

TESTE 4 - F620/MS650 - Métodos Matemáticos II, 11 de outubro de 2017.

Para as questões abaixo, considere a transformada de Mellin da função real f (x)

Z ∞
M [f (x)] = F (s) = xs−1 f (x) dx,
0
s ∈ C, com a < <s < b, com a e b tais que a integral convirja. Sua tranformação inversa é
Z γ+i∞
−1 1
M [F (s)] = f (x) = x−s F (s) ds,
2πi γ−i∞
com γ ∈ (a, b).

1. Para k = 1, 2, 3, . . . , expresse em função de F (s):

 k 
d f
(a) (3 Pontos) M ,
dxk
Solução.
∞
dk f dk f
  Z
M = xs−1
(x) dx
dxk 0 dxk
Z ∞
dk−1 f
= −(s − 1) xs−2 k−1 (x) dx
0 dx
Z ∞
dk−2 f
= (s − 1)(s − 2) xs−3 k−2 (x) dx
0 dx
..
.
Z ∞
= (−1)k (s − 1)(s − 2) · · · (s − k) xs−k−1 f (x) dx
0
k
!
k
Y
= (−1) (s − j) F (s − k)
j=1

sendo que a cada passo foi feita uma integração por partes, sendo nulos os termos dos extremos x = 0 e
x → ∞.
h i
(b) (3 Pontos) M (ln x)k f (x) .
Solução. h i Z ∞ Z ∞
M (ln x)k f (x) = (log x)k xs−1 f (x) dx = (log x)k xs−1 f (x) dx
0 0
Notem que
∂k s
(log x)k xs = x ,
∂sk
de onde temos h i dk
M (ln x)k f (x) = k F (s).
ds
Outra maneira de se calcular é fazendo a mudança de variáveis x = ey . Ficamos com
h i Z ∞
M (ln x)k f (x) = y k esy f (ey ) dy.
−∞

Notem que para k = 0, o resultado é F (s). Para k = 1, será F 0 (s), e assim por diante.
2. (6 Pontos) Explore os resultados do item anterior e proponha duas representações integrais
diferentes para o operador “derivada fracionária” Dqp , p e p inteiros positivos, definido a partir
da relação
dp f
Dqp Dqp · · · Dqp [f (x)]]] = p (x),
 
| {z } dx
q vezes

para todas f (x) reais suaves para as quais as integrais pertinentes (de Mellin) convergem.
(Mostre explicitamente que seus dois operadores satisfazem a relação acima. Obs.: Dqp [f (x)]
pode ser complexa.)
Solução. Bem, obviamente esta questão pode dar origem a muitas discussões interessantes, talvez até a
um trabalho pro feriado, como sugeriram. Façam! Façam por conta própria! Muitas vezes, os problemas
“auto-propostos” são os mais interessantes. Você verão em breve que, tão (ou mais!) importante que dar
respostas interessantes a questões, é propor questões interessantes. Outro “conselho”: façam esses problemas
e guardem suas soluções de maneira organizada (façam de preferencia em LATEX). Daqui a alguns anos, vocês
vão se surpreender com esses problemas e suas soluções. Muitas vezes abordagens “ingênuas” com as que vocês
tentam resolver esses problemas mais complicados são interessantíssimas.

Bem, vamos a nossa questão. Peguemos o item a). Sabemos que

Γ(s) = (s − 1)(s − 2) · · · (s − k)Γ(s − k),

de onde temos
dk f
 
Γ(s)
M = (−1)k F (s − k).
dxk Γ(s − k)
Notem, porém, que o lado direito existe como uma função complexa para k arbitrário! Podemos, portanto,
tentar definir nosso operador Dqp a partir de sua transforma de Mellin, i.e., o operador poderia ser tal que
 
p Γ(s) p
M Dqp f (x) = (−1) q 
 
F s − .
Γ s − pq q

p
Notem que (−1) q deve ser interpretado como uma raíz qualquer da equação z q = (−1)p . Devemos agora
mostrar que o operador assim definido satisfaz a relação do enunciado. Pra isso, vamos calcular primeiramente

M Dqp (Dqp f (x)) = M Dqp g(x) ,

   

sendo  
p Γ(s) p
G(s) = M [g(x)] = (−1) q  F s−
Γ s − pq q

Ora, teremos:
 
Γ(s)
p

p

2p Γ(s) Γ s − pq 
2p

2p Γ(s)

2p

p
 
M Dq g(x) = (−1)  q  G s− = (−1) q     F s− = (−1) q   F s−
Γ s − pq q Γ s − pq Γ s − 2p q Γ s − 2p q
q q

Se continuarmos as iterações, teremos

 
 p 
Γ(s) d f
M Dqp Dqp · · · Dqp [f (x)]]] = (−1)p
 
F (s − p) = M
 
| {z } Γ (s − p) dxp
q vezes
Quer dizer, pelo menos para as funções para as quais existem transformadas de Mellin, temos uma definição
viável do operador derivada fracionária! Para efeitos do teste, bastava chegar aqui. Mas podemos escrever as
integrais com mais detalhes. Usando as definições usuais da transformada de Mellin, temos
p Z p Z Z ∞
γ+i∞
x−s Γ(s) γ+i∞
x−s Γ(s)
 
(−1) q p (−1) q s− p −1
Dqp f (x) = ds  F s − = ds   dy y q f (y).
2πi γ−i∞ Γ s− q p q 2πi γ−i∞ Γ s− q p 0

Invertendo-se a ordem das integrais,

p  −s
Z ∞ Z γ+i∞
(−1) q −p −1 x Γ(s)
Dqp f (x) = dy y q f (y) ds  
2πi 0 γ−i∞ y Γ s − pq

Para conseguirmos escrever explicitamente a integral associada ao operador derivada fracionária, precisamos
da função h(x) tal que
Γ(s)
M [h(x)] =  
Γ s − pq
conhecendo-se h(x), teremos finalmente
Z ∞  
p
−p −1 x
Dqp f (x) = (−1) q dy y q f (y)h .
0 y
Não é dificil determinarmos quem é h(x). Obviamente, não era necessário nada disso no teste, só vou mostrar
para que vejam que vocês têm todo o ferramental necessário pra resolver este tipo de problema. Notem,
primeiro, que    
p p
Γ − M [h(x)] = B s, − .
q q
Porém, da definição da função Beta (ver vol. 1 do Livro), temos
Z 1
B(µ, ν) = tµ−1 (1 − t)ν−1 dt
0

para <µ, <ν > 0. Note que esta fórmula nos permite determinar facilmente a função h̃(x) tal que
h i Z ∞
M h̃(x) = xs−1 h̃(x)dx = B(s, ν)
0

para ν > 0, será a função (

(1 − x)ν−1 , 0 < x < 1,
h̃(x) =
0, x > 1.
Para podermos usar essa função, precisamos nos livrar do argumento negativo da função beta. Lembrando
que
Γ(x)Γ(y)
B(x, y) =
Γ(x + y)
é facil mostrar que !
n−1
Γ(x)Γ(y + n) Y y+j
B(x, y + n) = = B(x, y)
Γ(x + y + n) j=0
x+y+j
j k
para n inteiro. Escolhendo-se n = pq + 1, poderemos nos livrar do argumento negativo. Por simplicidade,
vamos considerar p = 1. Teremos:
   
1 1
B s, − = (qs − 1) B s, 1 − ,
q q

o que nos permite expressar h(x) em função de h̃(x) (com ν = 1 − 1q ) e suas derivadas (vejam 5.6(d) do livro).
Novamente, para o teste, bastava deixar indicada as integrais da tranformada de Mellin. Vamos agora ao item
(b):
h i dk
M (ln x)k f (x) = k F (s)
ds
O lado direito está definido para qualquer k. Portanto, nosso candidato natural a derivada fracionária poderia
ser expresso em termos da transformada inversa de Mellin
p
M−1 Dqp F (s) = (ln x) q f (x)
 

a demonstração que a relação do enunciado é válida é direta. A representação integral pode ser desenvolvida
como no item anterior.

Há inúmeras formulações de operadores “derivada fracionária”. Deem uma olhada no verbete da wikipedia
(aqui), vocês encontraram formulações muito parecidas as que vocês descobriram nesta questão. Provavelmente
a do item b) é a de Hadamard, mas isso precisaria ser verificado com mais cuidado.