What can be said about the number of continuous real valued functions f ( x ) , defined on the set of real numbers, that are solutions of following functional equation? f ( x + y ) + 2 f ( x − y ) = 2 f ( x ) f ( y ) .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
We do not need continuity here. Putting y = 0 gives us that 3 f ( x ) = 2 f ( x ) f ( 0 ) for all x , so either f ( x ) = 0 for all real x or else f ( 0 ) = 2 3 .
Suppose that f ( 0 ) = 2 3 . Putting x = 0 gives us that f ( y ) + 2 f ( − y ) = 3 f ( y ) for all real y , so that f ( − y ) = f ( y ) for all real y . Putting x = y gives f ( 2 x ) + 3 = 2 f ( x ) 2 for all real x . Putting y = − x gives 2 3 + 2 f ( 2 x ) = 2 f ( x ) f ( − x ) = 2 f ( x ) 2 for all real x . Hence f ( 2 x ) + 3 = 2 3 + 2 f ( 2 x ) for all real x , so that f ( 2 x ) = 2 3 for all real x .
Thus, without assuming that f is continuous, we deduce that either f ≡ 0 or f ≡ 2 3 , and so there are exactly 2 solutions.
Let's examine this functional equation for two cases:
CASE 1 ( f ( x ) is constant): This case yields C + 2 C = 2 C 2 ⇒ 0 = C ( 2 C − 3 ) ⇒ C = 0 , 2 3
So f ( x ) = 0 , 2 3 are acceptable solutions.
CASE 2 ( f ( x ) is non-constant): Assuming the continuous function f : R → R is diffentiable over all real numbers, let us first differentiate the above functional equation with respect to x and y :
f ′ ( x + y ) + 2 f ′ ( x − y ) = 2 f ′ ( x ) f ( y ) (i) AND f ′ ( x + y ) − 2 f ′ ( x − y ) = 2 f ( x ) f ′ ( y ) (ii)
and adding (ii) to (i) gives: 2 f ′ ( x + y ) = 2 [ f ′ ( x ) f ( y ) + f ( x ) f ′ ( y ) ] (iii). Now, we differentiate (iii) same as before to obtain:
2 f ′ ′ ( x + y ) = 2 [ f ′ ′ ( x ) f ( y ) + f ′ ( x ) f ′ ( y ) ] (iv) AND 2 f ′ ′ ( x + y ) = 2 [ f ′ ( x ) f ′ ( y ) + f ( x ) f ′ ′ ( y ) ] (v)
which ultimately yields the differential equation: f ′ ′ ( x ) f ( y ) = f ( x ) f ′ ′ ( y ) ⇒ f ′ ′ ( x ) = K ⋅ f ( x ) ⇒ f ( x ) = a e K x + b e − K x (vi) (where a , b , K ∈ R ).
Substitution of (vi) back into our original functional equation produces:
a e K ( x + y ) + b e − K ( x + y ) + 2 [ a e K ( x − y ) + b e − K ( x − y ) ] = 2 [ a e K x + b e − K x ] [ a e K y + b e − K y ] ;
or a e K ( x + y ) + b e − K ( x + y ) + 2 [ a e K ( x − y ) + b e − K ( x − y ) ] = 2 [ a 2 e K ( x + y ) + a b e − K ( x − y ) + a b e K ( x − y ) + b 2 e − K ( x + y ) ] ; (vii)
By matching the coefficients in each exponential term, we obtain:
a = 2 a 2 ⇒ a = 0 , 2 1 ; ,
b = 2 b 2 ⇒ b = 0 , 2 1 ,
2 a = 2 a b ⇒ b = 1 ,
2 b = 2 a b ⇒ a = 1
The only solution that satisfies all four of these coefficient conditions is a = b = 0 , thus no non-constant function f ( x ) satisfies the original functional equation above.
Conclusion: f ( x ) = 0 , 2 3 are the only solutions.
This is a good - but partial - solution. We can't assume f is differentiable (let alone twice differentiable); we're only told it's continuous (although, as pointed out elsewhere, we don't even need to use that in this case). I wonder if it's possible to prove f is twice differentiable from the functional equation? (Without just solving the functional equation, of course!)
Log in to reply
I think the method used in this article can be used in this case also to proved that any continuous solution has to be also infinitely differentiable.
Thanks for the feedback, Chris. This was a quick -n- dirty solution I sloughed through late that night, and it's my preferred approach to most functional equation problems (aside from the Plug -n- Chug -n- Match method for values of x and y).
Log in to reply
I wish I knew a more standardised approach for these - I think your solution is very useful as it gives a constructive method (albeit under the condition of differentiability). I've definitely come across cases where a "nice" looking functional equation has a solution that's continuous but not differentiable, though. Perhaps I'll post one as a problem if I'm feeling particularly mean...
Log in to reply
Look forward to solving such a problem once it's posted....alert me when ready!
Problem Loading...
Note Loading...
Set Loading...
If we consider the original functional equation together with the equation that results by interchanging x and y into that equation, we get f ( x + y ) + 2 f ( x − y ) = 2 f ( x ) f ( y ) f ( y + x ) + 2 f ( y − x ) = 2 f ( y ) f ( x ) Subtracting the second from the first, we get that f ( x − y ) − f ( y − x ) = 0 , and making y = 0 , the equation f ( − x ) = f ( x ) . So any solution of the given original functional equation is an even function.
Making x = 2 t and y = 2 t into the given equation again, we get f ( t ) + 2 f ( 0 ) = 2 f ( 2 t ) f ( 2 t ) ( 1 ) Making x = 2 t and y = − 2 t , we get f ( 0 ) + 2 f ( t ) = 2 f ( 2 t ) f ( − 2 t ) = 2 f ( 2 t ) f ( 2 t ) ( 2 )
Therefore, f ( t ) + 2 f ( 0 ) = f ( 0 ) + 2 f ( t ) , that implies that f ( t ) = f ( 0 ) . So, the only possible solutions of the given functional equation are constant function of the form f ( x ) = f ( 0 ) . Making the substitution x = y = 0 into the given functional equation, it results that 3 f ( 0 ) = 2 f ( 0 ) 2 . Therefore, the only possible values of f ( 0 ) are 0 or 2 3 . Then the only possible continuous solutions of the given functional equation are f ( x ) = 0 for all real values of x and the function f ( x ) = 2 3 . for all real values of x . Then the number of possible solutions is 2 .