Proving Recurrence Relation for f(x)

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Char. Limit
Gold Member
Messages
1,222
Reaction score
23

Homework Statement


Let's say I had this recurrence relation:

[tex]log\left(f\left(x+2\right)\right) = log\left(f\left(x+1\right)\right) + log\left(f\left(x\right)\right)[/tex]

How do I prove, then, that...

[tex]f\left(x\right) = e^{c_1 L_x + c_2 F_x}[/tex]

?

Homework Equations



There probably are some, but I don't know any.

The Attempt at a Solution



I've gotten the equation to remove the logs, but I just get...

[tex]f\left(x+2\right) = f\left(x+1\right)f\left(x\right)[/tex]

I don't know where to go from there.
 
Physics news on Phys.org
First, use the properties of the logarithm to get rid of the logarithm:
[tex]log(f(x+ 2))= log(f(x+1))+ log(f(x))= log(f(x+1)f(x))[/tex]
and, since log is one-to-one, f(x+2)= f(x+1)f(x).

It's certainly true that the formula you gives satisfies that. Can you prove the solution is unique?