Prove inequality of a convex function

Click For Summary

Homework Help Overview

The discussion revolves around proving an inequality related to a convex function, specifically involving points \(x_1\), \(x_2\), and \(x_3\) where \(x_1 < x_2 < x_3\). Participants explore the properties of convex functions and their implications for the inequality in question.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to manipulate inequalities based on the properties of convex functions. Some participants question the validity of certain steps and the application of monotonicity in the context of convexity. Others suggest using specific definitions and properties of convex functions to approach the problem differently.

Discussion Status

Participants are actively engaging with the problem, offering insights and alternative approaches. Some have provided guidance on the definitions and properties of convex functions, while others are exploring the implications of these properties on the original inequality. There is a mix of interpretations and methods being discussed without a clear consensus yet.

Contextual Notes

There is an emphasis on understanding the definitions of convex functions and the conditions under which the inequality holds. Participants are also considering the implications of the arrangement of points \(x_1\), \(x_2\), and \(x_3\) in relation to the convexity of the function.

Lambda96
Messages
233
Reaction score
77
Homework Statement
Proof that the following inequality holds ##\frac{f(x_2)-f(x_1)}{x_2-x_1} \leq \frac{f(x_3)-f(x_1)}{x_3-x_1 } \leq \frac{f(x_3)-f(x_2)}{x_3-x_2}##
Relevant Equations
none
Hi,

I have problem to prove that the following inequality holds

Bildschirmfoto 2024-05-01 um 21.21.01.png

I thought of the following, since it is a convex function and ##x_1 < x_2 <x_3## applies, I started from the following inequality ##f(x_2) \leq f(x_3)## and transformed it further

$$f(x_2) \leq f(x_3)$$
$$f(x_2)-f(x_1) \leq f(x_3)-f(x_1)$$
$$\frac{f(x_2)-f(x_1)}{x_2- x_1} \leq \frac{f(x_3)-f(x_1)}{x_2 - x_1}$$

Since the following applies ##x_2 - x_1 \leq x_3 - x_1## it follows ##\frac{f(x_3)-f(x_1)}{x_3- x_1} \leq \frac{f(x_3)-f(x_1)}{x_2 - x_1}## then follows ##\frac{f(x_2)-f(x_1)}{x_2- x_1} \leq \frac{f(x_3)-f(x_1)}{x_3 - x_1}## i.e. the first part of the inequality

Is my approach correct, or does anyone have a better idea of how I can prove the inequality?
 
Physics news on Phys.org
##f(x_2)\leq f(x_3)## sounds like a condition about increasing functions, not convex functions. What is the definition of a convex function?

Also note your last step is wrong, you basically wrote down ##a<b## and ##c< b## and concluded ##a<c##
 
  • Like
Likes   Reactions: Lambda96 and FactChecker
## f ## is convex if and only if
<br /> \frac{f(y)-f(x)}{y-x} \leqslant \frac{f(z)-f(x)}{z-x}<br />
for all ## a < x < y < z < b ##. You have arrived to the right conclusion, but it does not stem from monotonicity (##x^2## is convex but not monotone, for instance) nor the suspect step in between. Consider instead
<br /> f(y) \leqslant \frac{z-y}{z-x}f(x)+\frac{y-x}{z-x}f(z).<br />
  1. Why is this inequality true? (substitute ## y=(1-\lambda)x + \lambda z ##)
  2. Check that it is equivalent to the first inequality.
 
Last edited:
  • Like
Likes   Reactions: Lambda96
Thank you Office_Shredder and nuuskur for your help 👍👍

Since it is a convex function and ##x_2## lies between ##x_1## and ##x_3##, I can represent ##x_2## as follows ##x_2=(1- \lambda)x_1 + \lambda x_3## with ##\lambda \in (0,1)##

I then inserted this expression into the first part of the inequality ##\frac{f(x_2)-f(x_1)}{x_2-x_1} \leq \frac{f(x_3)-f(x_1)}{x_3-x_1 }##

In order to get the required inequality, I applied the following, since it is a convex function ##f((1- \lambda)x_1 + \lambda x_3) \le (1-\lambda)f(x_1) + \lambda f(x_3)##
 
  • Like
Likes   Reactions: nuuskur

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
14
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K