##f(x+y) =f(x) f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##

Click For Summary

Homework Help Overview

The discussion revolves around the functional equation ##f(x+y) = f(x) f(y)## and the condition ##f(1) + f(2) = 5##, with the goal of finding ##f(-1)##. Participants explore the implications of these equations in the context of function properties.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Some participants attempt to show that ##f(x) \ge 0## and question whether ##f(x) \ne 0##. Others explore the implications of the functional equation and the conditions given, including the potential continuity of ##f## and its effects on the values of ##f(-1)##.

Discussion Status

The discussion is active, with various interpretations of the functional equation being explored. Some participants suggest that ##f(x)## must be continuous, while others question the necessity of continuity in proving properties of ##f##. There is a recognition of the complexity involved in determining the nature of ##f##.

Contextual Notes

Participants note the importance of assumptions regarding continuity and the implications of the functional equation on the values of ##f##. There is also mention of previous discussions on similar problems, indicating a broader context of inquiry.

littlemathquark
Messages
204
Reaction score
26
Homework Statement
##f(x+y) =f(x) f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##
Relevant Equations
##f(x+y) =f(x) f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##
I can show that ##f(x) \ge 0## but I can not show ##f(x) \ne 0##
##x=y=t/2## then ##f(t) =f^2(t/2)\ge 0##
 
Physics news on Phys.org
littlemathquark said:
Homework Statement: ##f(x+y) =f(x) +f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##
Relevant Equations: ##f(x+y) =f(x) +f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##

I can show that ##f(x) \ge 0## but I can not show ##f(x) \ne 0##
##x=y=t/2## then ##f(t) =f^2(t/2)\ge 0##
How? I doubt both. Apply the rule to ##x=x+0## and ##0=x+(-x).##
 
fresh_42 said:
How? I doubt both.
I am sorry, correct question must be ##f(x+y) =f(x) f(y) ##
 
littlemathquark said:
I am sorry, correct question must be ##f(x+y) =f(x) f(y) ##
And ##f(1)\cdot f(2)=5## or is this still the addition in which case it is difficult to say anything about sums?
 
fresh_42 said:
And ##f(1)\cdot f(2)=5## or is this still the addition in which case it is difficult to say anything about sums?
This is still addition, ##f(1)+f(2)=5##
 
Yes, but I could show that ##f(x)\gt 0## in this question.
 
##0=x+(-x) ## and ##f(0)=f(x+(-x))=f(x)f(-x)=1## so for every ##x## ##f(x) \ne 0##
If ##y=0## ##f(x) =f(x) f(0)## so ##f(0)=1##
 
littlemathquark said:
##0=x+(-x) ## and ##f(0)=f(x+(-x))=f(x)f(-x)=1## so for every ##x## ##f(x) \ne 0##
If ##y=0## ##f(x) =f(x) f(0)## so ##f(0)=1##
If ##f(x)\cdot f(-x)=1## then all values are invertible, aren't they?
 
  • #10
Yes, but ##f(x) =0##
 
  • #11
littlemathquark said:
Yes, but ##f(x) =0##
##1=f(0)=f(x)\cdot f(-x).## Hence, ##f(x)## cannot be zero. It has an inverse ##f(-x)=f(x)^{-1}.##

I would argue that ##f## is continuous so all values have to be positive or all negative, and all negative is impossible due to the second condition. Remains to prove that if we have ##f(a)<0## and ##f(b)>0## then there must also be a ##c## such that ##f(c)=0## which we already ruled out.
 
  • #12
We assume f(x)=e^ax and get a by solving the quadratic equation
Y^2 +Y-5=0 where Y=e^a.
 
  • #13
Btw., we only want to know what ##f(-1)## is. So why don't you use ##(-1)^{-1}=-1##?
 
  • #14
fresh_42 said:
##1=f(0)=f(x)\cdot f(-x).## Hence, ##f(x)## cannot be zero. It has an inverse ##f(-x)=f(x)^{-1}.##

I would argue that ##f## is continuous so all values have to be positive or all negative, and all negative is impossible due to the second condition. Remains to prove that if we have ##f(a)<0## and ##f(b)>0## then there must also be a ##c## such that ##f(c)=0## which we already ruled out.
İs f is not continuous, can we find another ##f## function that satisfies conditions of the given problem and different from exponantial function? And can you give me an example function?
 
Last edited:
  • #15
anuttarasammyak said:
We assume f(x)=e^ax and get a by solving the quadratic equation
Y^2 +Y-5=0 where Y=e^a.
Why do you assume ##f(x)=e^{ax}?##
 
  • #16
Because we are familiar with the relation
e^{a(x+y)}=e^{ax}\ e^{ay} or
b^{x+y}=b^{x}\ b^{y} where ##b=e^a \ > 0##. It seems almost true to me that this is the only function which stasify this addition-multiplication relation.

BTW
f(2)=f(1+1)=f(1)^2
leads to the quadratic equation of f(1) WITHOUT the assumption. After getting f(1)
f(1)f(-1)=f(1-1)=f(0)
and
f(x)=f(x+0)=f(x)f(0)
f(0)=1 or f(x)= 0 for any x. f(1)+f(2)=5 confirms the former. Thus we get f(-1).
 
Last edited:
  • Like
Likes   Reactions: MatinSAR and WWGD
  • #17
fresh_42 said:
Btw., we only want to know what ##f(-1)## is. So why don't you use ##(-1)^{-1}=-1##?
I can solve the problem by using your suggestion, thank you. But I want to understand link between f and continuous.
 
  • #18
anuttarasammyak said:
It seems almost true to me that this is the only function which stasify this addition-multiplication relation.
f(x)f(-x)=f(0)=1
except meaningless "For all x f(x)=0" so f(x) > 0
f(n)=f(1)^n
f(1)=f(\frac{1}{m}+ \frac{1}{m}+\frac{1}{m}+...)=f(\frac{1}{m})^m
f(\frac{1}{m})=f(1)^{\frac{1}{m}}
f(\frac{n}{m})=f(1)^{\frac{n}{m}}=b^{\frac{n}{m}}
So it is true for rational numbers. Any irrational numbers is expressed as limit of rational number sequence so
f(x)=b^x
 
Last edited:
  • #19
anuttarasammyak said:
f(x)f(-x)=f(0)=1
except meaningless "For all x f(x)=0" so f(x) > 0
f(n)=f(1)^n
f(1)=f(\frac{1}{m}+ \frac{1}{m}+\frac{1}{m}+...)=f(\frac{1}{m})^m
f(\frac{1}{m})=f(1)^{\frac{1}{m}}
f(\frac{n}{m})=f(1)^{\frac{n}{m}}=b^{\frac{n}{m}}
So it is true for rational numbers. Any irrational numbers is expressed as limit of rational number sequence so
f(x)=b^x
I think ##f## must be continuous at least one point if we use limit.
 
  • #20
Yes. y=b^x is continuous everywhere.
 
  • Like
Likes   Reactions: littlemathquark
  • #21
littlemathquark said:
Homework Statement: ##f(x+y) =f(x) f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##
Relevant Equations: ##f(x+y) =f(x) f(y)## and ##f(1)+f(2)=5## then find ##f(-1)=?##

I can show that f(x)≥0 but I can not show f(x)≠0
f(x)f(-x)=f(0)=1 prohibits f(x)=0.
 
  • Like
Likes   Reactions: littlemathquark
  • #22
Thank you, fresh_42 wrote the same fact.
 
Last edited:
  • Like
Likes   Reactions: anuttarasammyak
  • #23
Though the function is continuous, We do not have to use continuity to prove f(x) is positive.
 
  • #24
A continuous function is one that you can draw in one line without interception, roughly speaking. So if we have a point ##(a,f(a))## with ##f(a)>0 ## and a point ##(b,f(b))## with ##f(b)<0## then the line that represents the function, i.e. its graph, has to cross the ##x##-axis at some point ##x=c## and there we have ##f(c)=0,## if ##f## can be drawn in one line without interception.

Otherwise, if we allow gaps/jumps in our line, we can e.g. define
$$
f(x)= \begin{cases}
-4 &\text{ if } x<-1\\
1 &\text{ if } -1 \le x\le 1\\
4 &\text{ if } x>1
\end{cases}
$$
This does not fulfill the first condition but it should give you a sense of what might happen if we allow gaps. Things would be a lot more complicated. I think the first condition can be used to prove that this cannot happen, but it's not obvious.

That's basically the difference between a continuous and a discontinuous function. A continuous function means that if we wobble at some point, we stay within a neighborhood of the function value there, we don't have jumps. A discontinuous function could be anything.
 
  • #25
fresh_42 said:
A continuous function is one that you can draw in one line without interception, roughly speaking. So if we have a point ##(a,f(a))## with ##f(a)>0 ## and a point ##(b,f(b))## with ##f(b)<0## then the line that represents the function, i.e. its graph, has to cross the ##x##-axis at some point ##x=c## and there we have ##f(c)=0,## if ##f## can be drawn in one line without interception.

Otherwise, if we allow gaps/jumps in our line, we can e.g. define
$$
f(x)= \begin{cases}
-4 &\text{ if } x<-1\\
1 &\text{ if } -1 \le x\le 1\\
4 &\text{ if } x>1
\end{cases}
$$
This does not fulfill the first condition but it should give you a sense of what might happen if we allow gaps. Things would be a lot more complicated. I think the first condition can be used to prove that this cannot happen, but it's not obvious.

That's basically the difference between a continuous and a discontinuous function. A continuous function means that if we wobble at some point, we stay within a neighborhood of the function value there, we don't have jumps. A discontinuous function could be anything.
So if ##f## is continuous function, then the answer ##f(-1)## is unique. But ##f## is not continuous it's not unique. Am I right?
 
  • #26
littlemathquark said:
So if ##f## is continuous function, then the answer ##f(-1)## is unique. But ##f## is not continuous it's not unique. Am I right?
I am uncertain. I think we can prove that ##f## has to be continuous by using the functional equation. So your claim would become void and trivially true. But in general, yes. The variety of discontinuous functions is considerably larger than continuous functions, whatever larger means technically.
 
  • #27
fresh_42 said:
##1=f(0)=f(x)\cdot f(-x).## Hence, ##f(x)## cannot be zero. It has an inverse ##f(-x)=f(x)^{-1}.##

I would argue that ##f## is continuous so all values have to be positive or all negative, and all negative is impossible due to the second condition. Remains to prove that if we have ##f(a)<0## and ##f(b)>0## then there must also be a ##c## such that ##f(c)=0## which we already ruled out.

From <br /> f(a) = f(\tfrac12 a + \tfrac12 a) = f(\tfrac 12 a)^2 it follows that if f(a) &lt; 0 then f(\tfrac12 a) is imaginary.
 
  • Like
Likes   Reactions: fresh_42
  • #28
Say f(a)=0 ,
f(x)=f(x-a)f(a)=0
for any x. This is a plain function which we do not expect.
 
Last edited:
  • #29
just a remark, which emphasizes that the arguments should avoid continuity.
Since R is a vector space over Q, using the axiom of choice it has a basis containing 1, and π, so one can write R as a direct sum of Q-vector subspaces Q+W, where W contains π. Then define f:R-->R, or f:Q+W-->R to be f(a,b) = e^a.π^b. This satisfies the functional equation but is not continuous, since f(3.14) = e^(3.14), ..., f(3.14159) = e^(3.14159), etc..., but f(π) = π^π ≠ e^π.
 
Last edited:
  • #30
anuttarasammyak said:
Yes. y=b^x is continuous everywhere.
I believe if the base b is positive, isn't it?

OP: What is your domain, the Real numbers?
 
  • Like
Likes   Reactions: mathwonk

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
8
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K