Determine all real valued differentiable functions f(x)+f(y)=f(xy)

Click For Summary

Discussion Overview

The discussion revolves around determining all real-valued differentiable functions \( f \) defined for real \( x > 0 \) that satisfy the functional equation \( f(x) + f(y) = f(xy) \) for all \( x, y > 0 \). The scope includes mathematical reasoning and exploration of potential solutions.

Discussion Character

  • Mathematical reasoning
  • Exploratory

Main Points Raised

  • One participant proposes that by setting \( x = y = 1 \), it follows that \( f(1) = 0 \).
  • Another participant suggests differentiating the equation with respect to \( x \), leading to the relation \( f'(x) = yf'(xy) \) and subsequently \( xf'(x) = xyf'(xy) \).
  • It is noted that letting \( z = xy \) results in \( xf'(x) = zf'(z) \), implying that \( xf'(x) \) is constant.
  • From the constant nature of \( xf'(x) \), it is derived that \( f'(x) = \frac{c}{x} \), allowing integration to yield \( f(x) = c\ln x + d \), where \( d \) is a constant.
  • It is concluded that since \( f(1) = 0 \), the constant \( d \) must be zero, leading to the form \( f(x) = c\ln x \) as a potential solution.
  • Participants express agreement on the correctness of the proposed solution, although the discussion does not establish it as the only solution definitively.

Areas of Agreement / Disagreement

Participants generally agree on the steps leading to the proposed solution \( f(x) = c\ln x \), but the discussion does not resolve whether this is the only solution or if other forms may exist.

Contextual Notes

The discussion does not address potential limitations or assumptions regarding the differentiability of \( f \) or the implications of the functional equation beyond the derived solution.

lfdahl
Gold Member
MHB
Messages
747
Reaction score
0
Determine, with proof, all the real-valued differentiable functions $f$, defined
for real $x > 0$, which satisfy $f(x) + f(y) = f(xy)$ for all $x, y > 0$.
 
Physics news on Phys.org
The first thing I would notice is that, taking y= 0, f(x)+ f(0)= f(0) so that f(x)= 0 for all x.
 
because f(xy) = f(x) + f(y) and defined for x, y >0 I see a log function $f(x) =m\log\,x$ satisfies criteria where m is arbitrary constant. m= 0 gives above solution(post #2)
 
lfdahl said:
Determine, with proof, all the real-valued differentiable functions $f$, defined
for real $x > 0$, which satisfy $f(x) + f(y) = f(xy)$ for all $x, y > 0$.
[sp]With $x=y=1$, $f(1) + f(1) = f(1)$, from which $f(1) = 0$.

Fix $y$, and differentiate the equation $f(x) + f(y) = f(xy)$ with respect to $x$: $f'(x) = yf'(xy)$. Therefore $xf'(x) = xyf'(xy)$.

Now let $z = xy$, so that $xf'(x) = zf'(z)$. Since that is true for all positive numbers $x$ and $z$, it follows that $xf'(x)$ is constant, say $xf'(x) = c$. Then $f'(x) = \dfrac cx$, so we can integrate to get $f(x) = c\ln x + d$ (where $d$ is another constant). But $f(1) = 0$, so that $d=0$. Thus $f(x) = c\ln x$, and those are the only solutions.[/sp]
 
kaliprasad said:
because f(xy) = f(x) + f(y) and defined for x, y >0 I see a log function $f(x) =m\log\,x$ satisfies criteria where m is arbitrary constant. m= 0 gives above solution(post #2)
Hi, kaliprasad!
Your intuitive solution is correct indeed! Thanks for participating!

- - - Updated - - -

Opalg said:
[sp]With $x=y=1$, $f(1) + f(1) = f(1)$, from which $f(1) = 0$.

Fix $y$, and differentiate the equation $f(x) + f(y) = f(xy)$ with respect to $x$: $f'(x) = yf'(xy)$. Therefore $xf'(x) = xyf'(xy)$.

Now let $z = xy$, so that $xf'(x) = zf'(z)$. Since that is true for all positive numbers $x$ and $z$, it follows that $xf'(x)$ is constant, say $xf'(x) = c$. Then $f'(x) = \dfrac cx$, so we can integrate to get $f(x) = c\ln x + d$ (where $d$ is another constant). But $f(1) = 0$, so that $d=0$. Thus $f(x) = c\ln x$, and those are the only solutions.[/sp]

Thanks, Opalg! for your participation. Your solution is - of course - correct!(Yes)
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K