Re: Using the definition to prove convexity



On Sep 11, 11:04 am, Ray Vickson <C6...@xxxxxxx> wrote:
It is well-known that

f(x) := x^2, x in R,

is a convex function. However, I would like to prove that through the
definition of convex function. I have tried it, but with no success.
Perhaps, not being a professional mathematician, I am missing some
well-known inequality that would solve the problem. Some help would be
very appreciated.

Let u < v < w. On the graph of x^2, slope(u->v) = (v^2-u^2)/(v-u) = v
+u, slope(v->w) = v+w and slope(u->w) = u+w. Since v+u < v+w < u+w we
have, for f(x) = x^2, that [f(v)-f(u)/(v-u) < [f(w)-f(u)]/(w-u) <
[f(w)-f(v)]/(w-v). The first inequality says f(v) < f(u) + (v-u)[f(w)-
f(u)]/(w-u) = {1 - [(v-u)/(w-u)]} f(u) + [(v-u)/(w-u)] f(w). Letting r
= [(v-u)/(w-u)] (which is > 0 and < 1) we have v = u + r(w-u) = (1-r)u
+ rw. We have just finished getting f(v) < (1-r)f(u) + rf(w), so f
satisfies the definition of strict convexity.

Thanks, Ray, but I may be missing something. You start off by assuming
that u < v < w, and afterwards you claim that v+w < u+w. Since u < v
by assumption, the inequality v+w < u+w is not true.

Paul

.



Relevant Pages

  • Using the definition to prove convexity
    ... definition of convex function. ... Perhaps, not being a professional mathematician, I am missing some ... well-known inequality that would solve the problem. ...
    (sci.math)
  • Re: Using the definition to prove convexity
    ... definition of convex function. ... I have tried it, but with no success. ... Perhaps, not being a professional mathematician, I am missing some ...
    (sci.math)
  • Re: Using the definition to prove convexity
    ... Paul Smith wrote: ... definition of convex function. ... Perhaps, not being a professional mathematician, I am missing some ... well-known inequality that would solve the problem. ...
    (sci.math)
  • Re: Using the definition to prove convexity
    ... Paul Smith wrote: ... definition of convex function. ... Perhaps, not being a professional mathematician, I am missing some ... well-known inequality that would solve the problem. ...
    (sci.math)
  • Re: Online reference for Convexity theory
    ... In fact a convex function defined on an open interval is _continuous_. ... derivative is non-decreasing, the right derivative ... Hence both one-sided derivatives ... I'll let someone else handle Jensen's inequality. ...
    (sci.math)