Proving a convex function on an open convex set satisfies some inequalities

Click For Summary
SUMMARY

The discussion centers on proving that a convex function \( f: \mathcal{O} \subset \mathbb{R}^n \rightarrow \mathbb{R} \) satisfies the inequality \( f((1-t)a+tb) \leq (1-t)f(a)+tf(b) \) for all \( a, b \in \mathcal{O} \) and \( 0 \leq t \leq 1 \). The user has established that \( D^2f(x) \) is positive semi-definite for all \( x \in \mathcal{O} \) and has previously shown that \( f(x) \geq f(a) + \nabla f(a) \cdot (x-a) \). However, they are struggling to connect these results to prove the desired inequality directly.

PREREQUISITES
  • Understanding of convex functions and their properties
  • Familiarity with the concept of positive semi-definiteness in the context of Hessian matrices
  • Knowledge of the gradient and its geometric interpretation
  • Application of the Mean Value Theorem in multiple dimensions
NEXT STEPS
  • Study the properties of convex functions in detail, focusing on the implications of positive semi-definiteness of the Hessian
  • Explore geometric interpretations of convexity and how they relate to inequalities
  • Review advanced calculus techniques, particularly in relation to the Mean Value Theorem in \( \mathbb{R}^n \)
  • Investigate alternative proofs of the convexity inequality using Jensen's inequality or other mathematical tools
USEFUL FOR

Students and researchers in mathematics, particularly those studying optimization, convex analysis, and advanced calculus. This discussion is beneficial for anyone looking to deepen their understanding of convex functions and their properties.

michael.wes
Gold Member
Messages
35
Reaction score
0

Homework Statement


Let [tex]f:\mathcal{O}\subset\mathbb{R}^n\rightarrow\mathbb{R}, \mathcal{O}[/tex] is an open convex set. Assume that [tex]D^2f(x)[/tex] is positive semi-definite [tex]\forall x\in\mathcal{O}[/tex]. Such [tex]f[/tex] are said to be convex functions.

Homework Equations


Prove that [tex]f((1-t)a+tb)\leq (1-t)f(a)+tf(b),a,b\in\mathcal{O},0 \leq t \leq 1[/tex] and interpret the result geometrically. (The interpretation is easy, it's the proof of the inequality I'm stuck with)

The Attempt at a Solution



In an earlier part of the question I proved that we have[tex]f(x)\geq f(a) + \grad f(a)\cdot (x-a) \forall x,a\in\mathcal{O}[/tex]

I have tried to use the mean value theorem in R^n in an attempt to link this with that result and the gradient, but it doesn't help since you lose information in using the mean value theorem, and this isn't an existence result, so it makes me think that there is a direct approach. This is typically given as the definition of a convex function on the web, and not a theorem, so I couldn't find help elsewhere.

Any help appreciated!

Edit: I'm still completely stuck.
 
Last edited:
Physics news on Phys.org
Any help before tomorrow would be appreciated :)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K