Differentiability of f(x+y)=f(x)f(y)

  • #1
WaterPoloGoat
14
0
Given: f(x+y)=f(x)f(y). f'(0) exists.

Show that f is differentiable on R.


At first, I tried to somehow apply the Mean Value Theorem where f(b)-f(a)=f'(c)(b-a). I ended up lost...

Then I tried showing f(0)=1, because f(x-0)=f(x)f(0) and f(x) isn't equal to 0.
However, with that conclusion, f'(0)=0. This is a problem, because the function is most likely f(x)=e^cx, and f'(x)=ce^cx, and f'(0)=c, which may not be 0....

Am I making this problem harder than it is? Any help would be greatly appreciated!

http://eqworld.ipmnet.ru/en/solutions/fe/fe4101.pdf
 
Last edited:

Answers and Replies

  • #3
WaterPoloGoat
14
0
Would I apply f(x+h) to both sides? if so, I got:

f(x+h+y)-f(x+y)=f(x+h)f(y)-f(x)f(y)

which simplifies to:

f(h)=f(h)f(y)


Am I on the right track? What do I do with this?
 
Last edited:
  • #4
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
15,563
2,203
Given: f(x+y)=f(x)f(y). f'(0) exists.

Show that f is differentiable on R.


At first, I tried to somehow apply the Mean Value Theorem where f(b)-f(a)=f'(c)(b-a). I ended up lost...

Then I tried showing f(0)=1, because f(x-0)=f(x)f(0) and f(x) isn't equal to 0.
However, with that conclusion, f'(0)=0. This is a problem, because the function is most likely f(x)=e^cx, and f'(x)=ce^cx, and f'(0)=c, which may not be 0....
Note that f(x)=1 and f(x)=0 both satisfy f(x+y)=f(x)f(y) and have a derivative at x=0.

How did you get from f(0)=1 to the conclusion f'(0)=0?
 
  • #5
WaterPoloGoat
14
0
I don't know how I got f'(0)=0. I just jotted it down, but now I realize that's not a valid conclusion.
 
  • #6
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
15,563
2,203
Would I apply f(x+h) to both sides? if so, I got:

f(x+h+y)-f(x+y)=f(x+h)f(y)-f(x)f(y)

which simplifies to:

f(h)=f(h)f(y)
I think it would help if you showed details of your work rather than just showing what you end up with because your errors seem to be in your intermediate steps.

Pinu is suggesting you calculate f'(x) using the definition of the derivative:

[tex]f'(x) = \lim_{h \to 0} \frac{f(x+h)-f(x)}{h}[/tex]

Use what you know about f(x) to evaluate the right side. You'll end up with a differential equation you can solve to find f(x) explicitly.
 
  • #7
WaterPoloGoat
14
0
f(x)+f(y)=f(x)f(y)

f(x)=f(x)f(y)-f(y)

f'(x)=limh->0 f(x+h)f(y)-f(y)-[f(x)f(y)-f(y)]/h

f'(x)=limh->0 f(h)f(y)/h.



Is that correct?
 
Last edited:
  • #8
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
15,563
2,203
No. For one thing, x appears on the left but not on the right.
 
  • #9
WaterPoloGoat
14
0
Dang it. I keep working and re-working this problem, and x keeps getting eliminated.
I've also tried substituting f(y)=f(x+y)/f(x), but this doesn't help one bit. I'll have to think about this.

Thank you for your help! I will keep working on it.
 
Last edited:
  • #10
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
2021 Award
5,212
1,162
Why are there y's?

You should only have x's and h's in your equation for the derivative
 
  • #11
Dickfore
2,988
5
[tex]
f'(x) \equiv \lim_{h \rightarrow 0}{\frac{f(x + h) - f(x)}{h}}
[/tex]
[tex]
= \lim_{h \rightarrow 0}{\frac{f(x) \, f(h) - f(x)}{h}}
[/tex]
[tex]
= f(x) \, \lim_{h \rightarrow 0}{\frac{f(h) - 1}{h}}
[/tex]

Next, notice that for arbitrary [itex]x[/itex], taking [itex]y = 0[/itex], we have:
[tex]
f(x + 0) = f(x) = f(x) \, f(0), \; \forall x \in \mathbb{R} \Rightarrow f(0) = 1
[/tex]

Therefore, the limit is of the indeterminate form 0/0. Use L'Hospital's rule and another condition you are given in the problem to evaluate it.
 
  • #12
WaterPoloGoat
14
0
Oh, my, goodness.

I've been trying to ride a bike with no steering. Thank you so much for your help.

What a dunce I've been!
 
  • #13
snipez90
1,101
5
Therefore, the limit is of the indeterminate form 0/0. Use L'Hospital's rule and another condition you are given in the problem to evaluate it.

I don't think this is valid. While we do have the continuity of f at 0, L'hopital's rule would basically require the existence of the limit of f'(x) as x approaches 0 as an additional hypothesis, and this does not follow from the existence of f'(0). It's easier to just write out the definition of f'(0), which is a limit we know that exists.
 
  • #14
Dickfore
2,988
5
I don't think this is valid. While we do have the continuity of f at 0, L'hopital's rule would basically require the existence of the limit of f'(x) as x approaches 0 as an additional hypothesis, and this does not follow from the existence of f'(0). It's easier to just write out the definition of f'(0), which is a limit we know that exists.

True. But I didn't even have to invoke that. The limit, as written, is:

[tex]
\lim_{h \rightarrow 0}{\frac{f(h) - f(0)}{h}}
[/tex]

where, by definition is [itex]f'(0)[/itex].
 

Suggested for: Differentiability of f(x+y)=f(x)f(y)

Replies
9
Views
6K
  • Last Post
Replies
8
Views
32K
Replies
1
Views
2K
Replies
32
Views
29K
  • Last Post
Replies
23
Views
4K
  • Last Post
Replies
2
Views
22K
Replies
1
Views
6K
Replies
6
Views
1K
Replies
3
Views
1K
  • Last Post
Replies
4
Views
1K
Top