PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$ (Proof)

We will prove \begin{equation}\label{3} \displaystyle \frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}. \end{equation}The proof of the right-most inequality is similar.

Suppose ([*]) does not hold. Then for some $s, t, u$ , \begin{equation}\label{2} \displaystyle \frac{f(t)-f(s)}{t-s}>\frac{f(u)-f(s)}{u-s}. \end{equation}This inequality is just the statement of the slope of the line segment $\overline{AB}, A=(t, f(t)), B=(s, f(s))$ , being larger than the slope of the segment $\overline{CB}, C=(u, f(u))$ . Since $t$ is between $s$ and $u$ , and $f$ is continuous, this implies \begin{equation} f(t)>h(x)=\frac{f(u)-f(s)}{u-s}(x-s)+f(s), \end{equation}$s<x<u$ . This contradicts convexity of $f$ on $(a, b)$ . Hence, ([*]) is false and ([*]) follows.

Note that we have tacitly use the fact that $x=\lambda u + (1-\lambda)s$ and $h(x)=\lambda f(u)+(1-\lambda)f(s)$ for some $\lambda$ .




"proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$" is owned by yesitis.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: implies, continuous, segment, line segment, slope, similar, inequality, proof

This is version 3 of proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$, born on 2008-09-23, modified 2008-09-25.
Object id is 11080, canonical name is ProofOfFracftFstSleqfracfuFsuSleqfracfuFtuTForConvexF.
Accessed 372 times total.

Classification:
AMS MSC26A51 (Real functions :: Functions of one variable :: Convexity, generalizations)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)