Equaes funcionais - Exerccios

Exerccios Resolvidos

Exerccio Resolvido 01) Seja
+
o conjunto dos nmeros racionais positivos. Encontrar todas as
funes : f
+ +
tais que
( )
( )
( )
2
f y
y
f x f x y
x f x

+ = + +


para , x y
+
.

Soluo:

Iremos demonstrar que a nica funo que satisfaz o enunciado dada por ( )
2
, f x x x
+
= .
Tomando 1 x = , teremos:
( ) ( )
( )
( )
( ) 1 1 2 1
1
f y
f y f y
f
+ = + + .
Tomando x y = , teremos: ( ) ( ) ( ) 1 1 2 2 f y f y y + = + + .
A partir de (1) e (2), chegamos seguinte equao: ( )
( )
( )
1 1 1 0
1
f y
f
f

=




. Como f
necessariamente no constante, temos ( ) 1 1 f = .
Podemos provar, por induo, que ( )
2
f n n = para n . Primeiramente, notemos que ( )
2
1 1 1 f = = .
Supondo agora que ( )
2
f n n = , faamos y n = em (2): ( ) ( )
2
2
1 1 2 1 f n n n n + = + + = + e est, portanto,
demonstrado.
Na equao original, podemos fazer ( ) e , x k y n k n = = :
( )
( )
( )
2
f n
n
f k f k n
k f k

+ = + +


.
Desenvolvendo, teremos: ( )
2
2
2
2
2 3
n n n
f k k n k
k k k

+ = + + = +


.

Consideremos x
+
e p . Notemos que ( ) ( ) ( ) ( )
1
0
1
p
i
f x p f x f x i f x i

=
+ = + + +

. Mas, se
utilizarmos (2): ( ) ( ) ( ) ( ) ( ) ( )
1
2
2
0
1 2 1 2 1
p
i
f x p f x x i p x p p x p x

=
+ = + + = + + = +

. Assim podemos
notar que ( ) ( ) ( ) ( )
2
2
4 f x p x p f x x + + = .

Fazendo ( ) ( ) e em 4 e aplicando 3
n
x p k
k
= = , teremos:
2 2
0
n n n n
f k k f
k k k k

+ + = =



2
n n
f
k k

=


. c.q.d







Exerccio Resolvido 02) Determinar todas as funes : f tais que ( ) ( )
f f n n = e
( ) ( )
2 2 f f n n + + = para todo n . Sabe-se ainda que ( ) 0 1 f = .

Soluo:

Consideremos : g tal que ( ) ( ) 1 f n g n n = + . Teremos, portanto, as seguintes condies:

i) ( ) ( ) ( ) ( ) 0 0 0 1 0 1 1 0 1 f g g = + = =
ii) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 1 2 f g n n n g g n n g n n n g g n n g n + = + + + = + =
iii) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 1 2 2 1 2 1 1 2 1 f g n n n g g n n g n n n g g n n + + + + = + + + + + = + + =
( ) ( ) 2 3 g n = +

Consideremos ( )
k
A k tal que ( ) ( ) { }
1 ; 2 ;...; 2; 1;0;1;2;...;
k
A k k k = . Iremos demonstrar,
por induo, que ( ) 0 g p = para
k
p A .

Primeiramente notemos que, de (1), ( ) 0 0 g = e fazendo 0 n = em (2), temos:
( ) ( ) ( ) ( ) ( ) 0 0 1 0 1 0 0 g g g g g + = = = . Assim, nossa propriedade de induo finita est demonstrada
para
1
A .

Supondo valer para ( )
k
A k , faamos n k = em (3):
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
2 1 2 2 1 2 g g k k g k g g k k g k + + = + + + =

Mas, pela hiptese de induo, temos ( ) ( ) ( ) ( ) ( ) ( ) 2 0 1 2 0 4 g k g k g k = + = = .

E, finalmente, faamos 1 n k = + em (2):
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 0 1 0 5 g g k k g k g k g k g k + + + = + = + = .

Assim, de (4) e (5), completamos nossa prova por induo.

J que ( ) 0 g n = para n , chegamos concluso de que ( ) 1 f n n = .

Exerccio Resolvido 03) Seja : f uma funo tal que ( ) 1 3 f = e
( ) ( )
( ) ( ) 2 2
1
2
f m f n
f m n f m n m n
+
+ + + = para todos os inteiros no-negativos m e n tais que
m n . Determinar a expresso de ( ) f m .









Soluo:

Faamos primeiramente m n = : ( ) ( )
( ) ( )
( )
2 2
1 0 1
2
f m f m
f m m f m m m m f
+
+ + + = = .
Fazendo agora 0 n = : ( ) ( )
( ) ( )
( ) ( ) ( )
2 2 0
0 0 0 1 2 4 2 3 1
2
f m f
f m f m m f m f m m
+
+ + + = = .

Substituindo (1) na equao funcional do enunciado, teremos a seguinte expresso:

( ) ( )
( ) ( )
( ) ( ) ( ) ( )
4 2 3 4 2 3
1 2 2 2 2 0.
2
f m m f n n
f m n f m n m n f m n f m n n f m f n
+
+ + + = + + + + =

E agora fazendo 1 n = na ltima equao obtida:

( ) ( ) ( ) ( ) ( ) ( ) 1 1 2 2 2 3 2 0 1 2 1 2. f m f m f m f m f m f m + + + + = + + =

Provaremos, por induo, que ( )
2
1 f m m m = + + para m .

Como ( )
2
0 1 0 0 1 f = = + + , temos que nossa hiptese de induo vlida para 0 m = .
Como ( )
2
1 3 1 1 1 f = = + + , temos que nossa hiptese de induo vlida para 1 m = .

Supondo que nossa hiptese vale para 1 m e para m, teremos:

( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2
2 2
1 2 1 1 1 1 2 1 3 3 1 1 1 f m m m m m f m m m m m

+ + + + + + = + = + + = + + + +

.

Pelo Segundo Princpio de Induo Finita est demonstrado que ( )
2
1 f m m m = + + para m .

Exerccio Resolvido 04) Seja f uma funo de em , onde o conjunto dos nmeros inteiros
no-negativos, que possui as seguintes propriedades:

i) ( ) ( ) 1 f n f n + > , para cada n ;
ii) ( ) ( ) ( ) 1 f n f m f n m + = + + , para todos , m n .

Determinar todos os valores possveis de ( ) 2001 f .

Soluo:

Fazendo 0 m n = = em ii): ( ) ( ) ( ) ( ) ( ) ( ) 0 0 0 0 1 0 0 1 f f f f f f + = + + = + . Supondo, por absurdo, que
( ) 0 0 f = , teramos: ( ) ( ) 0 0 1 0 1 f f = + = . Absurdo! Portanto, temos de ter necessariamente ( ) 0 1 f .








Fazendo 0 m = em i): ( ) ( ) ( ) ( ) ( ) ( ) 0 0 1 0 1 f n f f n f n f f n + = + + + = + .

Reparando que ( ) 0 1 n f n + + , podemos, a partir de i), chegar seguinte concluso:

( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 1 1 1 1 f n f f n f n f n f n + + + + > .

De (1), podemos chegar concluso de que ( ) ( ) 1 1 f n f n + = + para n . Assim teremos
necessariamente ( ) ( ) 0 f n n f = + . Substituindo em i), podemos constatar que ( ) 0 1 f = . Portanto o nico
valor possvel para ( ) 2001 f 2002.

Exerccio Resolvido 05) Encontre todas as funes : f
+ +
tais que:

i) ( ) 0 f x para x
+
;
ii) ( ) ( )
2 f f x x x = para x
+
.

Soluo:

Consideremos : h
+ +
tal que ( ) ( ) h x f x x = para x
+
. Podemos chegar concluso de que
( ) ( ) ( ) ( ) 2 1 h h x h x x = + . Vamos definir a seguinte sequncia ( ) { } ( )
n
h x n tal que ( )
0
h x x = e
( ) ( ) ( )
1 n n
h x h h x

= .
De (1), podemos concluir que ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
2 1
2 2 0
n n n n n n
h h h x h h x h x h x h x h x
+ +
= + + = .
Resolvendo esta equao recorrente teremos ( )
( ) ( )
( ) ( )
2
2 2
3 3
n
n
h x x h x x
h x
+
=


.
Suponhamos, por absurdo, que ( ) h x x > para x
+
. Tomando n par e suficientemente grande,
conclumos que ( )
n
h x negativo, que um absurdo.
Suponhamos, por absurdo, que ( ) h x x < para x
+
. Tomando n mpar e suficientemente grande,
conclumos que ( )
n
h x negativo, que um absurdo.
Portanto, temos necessariamente ( ) ( ) 2 h x x f x x = = para x
+
.

Desafios

Desafio 01) Suponha que ( ) : 0, f + satisfaz:

i) ( ) ( ) x y f x f y < < , para todo ( ) , 0, x y + .



ii)
( ) ( ) 2
2
f x f y
xy
f
x y
+


+

, para todo ( ) , 0, x y + .

Provar que ( )
0
0, x + tal que ( )
0
0 f x < .

Desafio 02) Seja o conjunto dos inteiros no-negativos. Determinar quantas funes : f
satisfazem as seguintes condies:

i) ( ) 2003 2003 f = ;
ii) ( ) 2003 f n para todo 2003 n ;
iii) ( ) ( ) ( ) ( ) ( ) f m f n f f m f n + = + para todos , m n .