Find #f# ?

Find differentiable #f# for which we have
#f(x)+f(y)=f(x+y)-xy-1 , ##x##in##RR# , #y##in##RR#

& #f'(0)=-1#

4 Answers
Dec 19, 2017

The function is #f(x)=x^2/2-x-1#

Explanation:

Totally unnecesary - see my other answer
#color(red)(f(x+y)=f(x)+f(y)+xy+1)#

The following method is used to solve differential equations, but it oddly works here. Consider an equation
#color(blue)(g(x+y)=g(x)+g(y))#

If the function h(x) satisfies the red equation and g(x) satisfies the blue one, then #f(x)=g(x)+h(x)# still satisfies the red equation. That's because, when you add red and blue equations you get
#g(x+y)+h(x+y)=g(x)+h(x)+g(y)+h(y)+xy+1#
#f(x+y)=f(x)+f(y)+xy+1#
And if #g(x)# doesn't fit in blue, then #f(x)# doesn't fit in red, so all solutions of red are of the form #f(x)=g(x)+h(x)#.

This is particularly useful here, because instead of finding all solutions to red eq., we have to find one solution to red (even by guessing) and then all solutions to blue one (which is much easier).

Finding all solutions to blue
Functions satisfying blue equation are called additive.
Let's try taking #d/dy# of both sides. We get
#d/dy(g(x+y))=d/dy(g(x)+g(y))#
#g'(x+y)d/dy(x+y)=d/dy(g(y))#
#g'(x+y)*1=g'(y)#

the right side is x-independent so the left side must be as well. That means that #g'(x)# is constant and #g(x)# is linear.
If we plug in a linear function #bx+c# to blue, we get
#b(x+y)+c=bx+c+by+c#
#b(x+y)+c=b(x+y)+2c#
thus #c=0#. Now all functions of the form #g(x)=ax# would satisfy blue. The others won't.

Finding a solution to red

The second degree term #xy# suggests, that maybe some quadratic might fit. So we try to plug #h(x)=ax^2+c# in. The bx term is ignored since we know that b is arbitrary.
#a(x+y)^2+c=ax^2+c+ay^2+c+xy+1#
#ax^2+2axy+ay^2=ax^2+ay^2+c+xy+1#
#2axy=xy+c+1#
Comparing sides gives us
#2a=1# and #0=c+1#
#a=1/2# and #c=-1#
So one of the solutions to red is #h(x)=x^2/2-1#

The finish

All solutions are of the form #f(x)=g(x)+h(x)=x^2/2+ax-1#, but we have one more condition #f'(0)=-1#. The easiest way is to derive, plug in 0 and compare.
#f'(x)=x+a#
#f'(0)=a=-1#
So the final answer is #f(x)=x^2/2-x-1#

Dec 19, 2017

See below.

Explanation:

Making #y = -x# we have

#f(x-x)=f(x)+f(-x)+x(-x)+1# or

#f(0) = f(x)+f(-x) - x^2 + 1#

Now making #x = y = 0# we have

#f(0) = 2f(0) + 1 rArr f(0) = -1# and then

#f(x)+f(-x) = x^2-2#

Now considering #f(x) = a x^2+b x+c# we have

#a x^2+b x+c +a x^2-b x + c = x^2-2# and then

#{(2a = 1),(2c = -2):}#

The value for #b# is obtained knowing that

#f'(0) = b = -1# and finally

#f(x) = 1/2 x^2-x-1# is a solution.

NOTE

Assuming that #f(x)# can be developed in Taylor series around #x=0# or #f(x) = sum_(k=0)^n a_k x^k# we have

#sum_(k=0)^n a_k((x+y)^k-x^k-y^k)=x y + 1#

For #k=0# we have

#a_0(1-1-1)=1 rArr a_0 = -1#

for #k = 1#

#a_1(x+y-x-y) = 0 rArr a_1# can be any real number.

for #k=2#

#a_2((x+y)^2-x^2-y^2) = 2x y a_2 = xy rArr a_2 = 1/2#

now for #k > 2#

#a_k((x+y)^k - x^k-y^k) = 0 rArr a_k = 0#

#a_1# is defined by the condition #f'(0)=-1#

Dec 22, 2017

#f(x)=x^2/2-x+1#

Explanation:

#f(x+y)=f(x)+f(y)+xy+1#
Function is differentiable, so we can differentiate both sides with respect to #y#.
#d/dy(f(x+y))=d/dy(f(x)+f(y)+xy+1)#

Using chain rule and sum rule
#f'(x+y)d/dy(x+y)=f'(y)+x#

Setting #y=0#
#f'(x)=f'(0)+x=x-1#

Integrating gives us
#f(x)=x^2/2-x+c#

Finding #c# is covered by previous answers to this question.
Either plug this solution in to your equation or find #f(0)# by setting #y=0# in your equation.

Dec 24, 2017

#f(x) = 1/2x^2-x-1#

Explanation:

Another method using elementary techniques...

Given:

#f(x)+f(y)=f(x+y)-xy-1#

We find:

#f(0) = f(0)+f(0)-f(0) = f(0+0)-0*0-1-f(0) = -1#

Note that:

#f(x+y) = f(x)+f(y)+xy+1#

So putting #c = f(1)# and #y=1#, we have:

#f(0) = -1#

#f(1) = c#

#f(2) = f(1)+f(1)+1*1+1 = 2c+2#

#f(3) = f(2)+f(1)+2*1+1 = 3c+5#

In general:

#f(n+1) = f(n)+c+n+1#

Let's use the method of differences to find the general formula for #f(n)#:

Write out the sequence of the first few values:

#color(blue)(-1), c, 2c+2, 3c+5#

Write out the sequence of differences between consecutive terms:

#color(blue)(c+1), c+2, c+3#

Write out the sequence of differences of those differences:

#color(blue)(1), 1#

Having reached a constant sequence, we can use the first term of each of these sequences as coefficients to write:

#f(x) = color(blue)(-1)/(0!) + color(blue)(c+1)/(1!)x+color(blue)(1)/(2!)x(x-1)#

#color(white)(f(x)) = 1/2x^2+(c+1/2)x-1#

Then:

#f'(x) = x+c+1/2#

So:

#-1 = f'(0) = 0+c+1/2#

Hence #c = -3/2# and:

#f(x) = 1/2x^2-x-1#