Prove inequality of a convex function

Click For Summary
SUMMARY

The discussion focuses on proving the inequality of a convex function, specifically addressing the relationship between points \(x_1\), \(x_2\), and \(x_3\) where \(x_1 < x_2 < x_3\). The user initially attempted to derive the inequality using properties of convex functions, leading to the conclusion that \(f(x_2) \leq f(x_3)\) under certain conditions. However, it was clarified that the proof should rely on the definition of convexity, specifically the inequality \(f(y) \leq \frac{z-y}{z-x}f(x) + \frac{y-x}{z-x}f(z)\) for \(a < x < y < z < b\). The correct approach involves expressing \(x_2\) as a convex combination of \(x_1\) and \(x_3\).

PREREQUISITES
  • Understanding of convex functions and their properties
  • Familiarity with inequalities involving functions
  • Knowledge of mathematical notation and expressions
  • Basic concepts of calculus, particularly derivatives
NEXT STEPS
  • Study the definition and properties of convex functions in detail
  • Learn about Jensen's inequality and its applications
  • Explore the concept of convex combinations and their significance in optimization
  • Investigate the relationship between monotonicity and convexity in functions
USEFUL FOR

Mathematicians, students studying calculus or real analysis, and anyone interested in the properties of convex functions and their applications in optimization problems.

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