Proving Convexity of Functions Using the Mean Value Theorem

  • Thread starter Thread starter barksdalemc
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary

Homework Help Overview

The discussion revolves around proving the convexity of a differentiable function using the Mean Value Theorem. The original poster presents a statement that a function is convex if and only if a specific inequality involving its derivative holds for all points in a given interval.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • Participants explore the implications of the Mean Value Theorem in relation to the convexity condition. Questions arise about the direction of the proof and the definition of convex functions. There is also a discussion about whether proving one direction of the statement implies the other direction holds true.

Discussion Status

Participants are actively engaging with the problem, raising questions about the proof structure and the nature of "if and only if" statements. Some guidance is offered regarding the relationship between the function and its tangent lines, but there is no consensus on the approach to take.

Contextual Notes

There is an emphasis on understanding the definitions and implications of convexity, as well as the limitations of certain logical statements in mathematical proofs. Participants express uncertainty about the completeness of their reasoning and the necessity of exploring both directions of the proof.

barksdalemc
Messages
54
Reaction score
0

Homework Statement


Let f be differentiable on (a,b). Show that f is convex if and only if for every x,y in (a,b), f(y)-f(x)>= (y-x)f'(x)


The Attempt at a Solution


The mean value theorem says that there exists an x' in (a,b) such that f'(x') is the average rate of change of the functions. So I have the equation for that tangent line. I am stuck there.
 
Physics news on Phys.org
There's two directions to prove, so which one are you asking about? And what is the definition of a convex function?
 
If I prove one direction, is the proof in the other direction just the logic going the other way? In any case, let's say I want to show it is convex given for every x,y in (a,b), f(y)-f(x)>= (y-x)f'(x)
 
barksdalemc said:

Homework Statement


Let f be differentiable on (a,b). Show that f is convex if and only if for every x,y in (a,b), f(y)-f(x)>= (y-x)f'(x)


The Attempt at a Solution


The mean value theorem says that there exists an x' in (a,b) such that f'(x') is the average rate of change of the functions. So I have the equation for that tangent line. I am stuck there.
I'm not sure what you mean here. You want to prove that the straight line between (a,f(a)) and (b,f(b)), which is y= (f(b)-f(a))/(b-a) (x- a)+ f(a) lies above the curve y= f(x). That is, that (f(b)-f(a))/(b-a) (x- a)+ f(a)> f(x) for all x between a and b.

barksdalemc said:
If I prove one direction, is the proof in the other direction just the logic going the other way? In any case, let's say I want to show it is convex given for every x,y in (a,b), f(y)-f(x)>= (y-x)f'(x)
Good heaven's no! There are plenty of theorems that are true in one direction but false in the other!
 
barksdalemc said:
If I prove one direction, is the proof in the other direction just the logic going the other way?

That's certainly not true in general. If we stick to the direction you mentioned, you can rearrange and get:

[tex]f(x) \geq f(x_0) + f'(x_0)(x-x_0)[/tex]

Or in other words, f lies above every line tangent to f. From here it's easy to show the function is convex, it's just a matter of plugging into the definition (which I'm not going to copy for you). The other direction will be a little harder.
 
Halls of Ivy,

I meant for theorems which state if and only if. Are there if and only if statements where the logic cannot backwards?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
20
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K