Determine all real valued differentiable functions f, such that f(x) + f(y) = f(xy).
(Source: Purdue University Math Department POTW.)
-Dan
That depends. My solution does not appear to be as general as the solution you have, but I wonder if it isn't the same. Could you give me an example of a linear map g(z)? I agree with your solution, but doesn't the linear map g(z) you mention have to be of the form , where a is a constant? (This is the function that I derived.)
Also, you have a correct answer, but how did you derive it? Or was it an educated guess?
-Dan
The only (continuous) $\Bbb R$-additive functions $g:\Bbb R \to \Bbb R$ are of the form: $g(x) = ax$ where $a \in \Bbb R$ is a constant. To see this, note that $g$ is completely determined by $g(1)$ since:
$\displaystyle g(n) = g\left(\sum_{i = 1}^n 1\right) = \sum_{i = 1}^n g(1) = n\cdot g(1)$, for any natural number $n > 0$.
Since $g(0) = g(0 + 0) = g(0) + g(0)$, it follows that $g(0) = 0$.
Finally, $g(-n) + g(n) = g(-n + n) = g(0) = 0$ so that: $g(-n) = -g(n)$.
Next we consider $g\left(\dfrac{1}{k}\right)$. By a similar argument as above, we see that for $k \in \Bbb N$:
$k\cdot g\left(\dfrac{1}{k}\right) = g\left(\dfrac{k}{k}\right) = g(1)$, so that $g\left(\dfrac{1}{k}\right) = \dfrac{1}{k}\cdot g(1)$.
Hence for any RATIONAL number $r$, we have $g(r) = r\cdot g(1)$.
Now if $\{r_j\}$ is a Cauchy rational sequence converging to the real number $x$, we obtain a Cauchy real sequence $\{g(r_j)\}$ converging to $g(1)\cdot x$.
Taking $a = g(1)$, we have the desired conclusion (note we need $g$ to be a CONTINUOUS additive function-there are bizarre NON-continuous counter-examples).
None of the above is necessary if $g$ is (by dint of being $\Bbb R$-linear) stiipulated to respect scalar multiplication, in which case all we need to know is that the matrix with respect to any two bases of $\Bbb R$ is just a real number (1x1 matrix), and since $\{1\}$ is a basis for $\Bbb R$, we have $g$ is completely determined by $g(1)$.
Spoiler:
I have no idea how to solve this kind of question (nor did I look at Deveno's answer before coming up with my own partial solution). The function that I found is admittedly trivial, but it definitely shows that romsek's solution is not unique. It also applies to all real x and y, which is how I read the problem. Again, I admit it is trivial.
Spoiler:
Now I shall go read deveno's answer and get educated.
It appears there has been some mis-understanding about my prior post: it does not "derive" the answer topsquark is looking for. Let's correct this.
The additive condition in my previous post is called the Cauchy equation. It's really the "hard part" of the problem as we will see.
Spoiler:
Dan,
The problem makes no mention of the domain of the function, so I made up my own domain specification. Furthermore, my derivation makes no use of the differentiability of f, and so I stated the problem only for continuous f.
Interesting. No one used Calculus beyond continuity. This one does:
We have that and that f() is differentiable.
Thus
Similarly we have that
Equating these two lines gives
Thus we have
And now the usual "the LHS only depends on x and the RHS depends only on y" so we get
where a is a constant.
Solving for f gives
Now, we know from the original that , giving C = 0. Thus f(x) = a ln|x| is the function desired.
Thanks to all that participated!
-Dan