If a function is linear, I know that this should be true:
f(x2)−f(x1)=f(bar x)
Where bar x is the point exactly in between x1 and x2. Now, I know from looking at their graphs that the same shouldn't be true for logarithmic and exponential functions. That is, for logarithmic functions:
f(x2)−f(x1)<f(bar x)
And for exponential functions:
f(x2)−f(x1)>f(bar x)
schnelltcr
Answered question
2022-08-12
Linear functions versus Logarithmic and Exponential functions If a function is linear, I know that this should be true:
Where is the point exactly in between and . Now, I know from looking at their graphs that the same shouldn't be true for logarithmic and exponential functions. That is, for logarithmic functions:
And for exponential functions:
I'm not a mathematician by formation, but I feel like it should be possible to prove this without having to look at their graph. Does anyone know how to do this?
Answer & Explanation
vladinognm
Beginner2022-08-13Added 13 answers
Your statements are hinting at something called convexity; however, your notation is a bit off: as it is now, the statements don't hold even for simple cases. I'm going to assume that you intended to talk about convexity and answer myself :) A function is said to be convex if, for any two points x and y and any , then
Note, in particular, that this means that the value of the function at the midpoint of x and y is smaller than the midpoint of the values of the function at x and y:
If a function is not convex it may be concave, if
If a function is both convex and concave, then it is linear. Note that there are functions that are neither convex nor concave! In the examples you allude to, we have that the linear function is (clearly) linear, so
Let's look at the exponential function ; this is a convex function, so in this case we would have
The general proof requires derivatives and Taylor expansions; however, for the midpoint, the proof is very easy. In this case we have to prove that
for all x and y. Consider the following steps
Note that the right hand side is a square, so the inequality holds for all x and y! The logarithm function, on the other hand, is concave, so the reverse inequality holds: for all positive x and y,
We can easily prove this with the following chain of inequalities: