Determine all real valued differentiable functions f, such that f(x) + f(y) = f(xy).

(Source: Purdue University Math Department POTW.)

-Dan

Printable View

- Jul 6th 2014, 11:13 AMtopsquarkProblem #13: Function
Determine all real valued differentiable functions f, such that f(x) + f(y) = f(xy).

(Source: Purdue University Math Department POTW.)

-Dan - Jul 6th 2014, 12:51 PMromsekRe: Problem #13: Function
__Spoiler__: - Jul 6th 2014, 04:20 PMtopsquarkRe: Problem #13: Function
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 - Jul 6th 2014, 05:08 PMDevenoRe: Problem #13: Function
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__: - Jul 6th 2014, 06:22 PMJeffMRe: Problem #13: Function
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. - Jul 6th 2014, 11:49 PMDevenoRe: Problem #13: Function
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__: - Jul 9th 2014, 09:32 AMjohngRe: Problem #13: Function
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.

http://i61.tinypic.com/17s66x.png

http://i61.tinypic.com/2ikacds.png - Jul 9th 2014, 07:55 PMtopsquarkRe: Problem #13: Function
- Jul 16th 2014, 06:24 PMtopsquarkRe: Problem #13: Function
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