Thread: Prove A Function Is Convex?

Prove the function:

-sum_i(x_i*ln(x_i))

is convex for x>0

I have graphed the function, and can see visually that it is convex, but I don't know how to prove that it is convex. If I graph the slope of the graph between any two points, it seems like the slope is always decreasing. This seems like a way to prove it visually, but how can I put that into a mathematical proof?

Originally Posted by jjpioli

Prove the function:

-sum_i(x_i*ln(x_i))

is convex for x>0

*** "x" ? Which x? You're apparently defining a function of several variables or what...??

Tonio



I have graphed the function, and can see visually that it is convex, but I don't know how to prove that it is convex. If I graph the slope of the graph between any two points, it seems like the slope is always decreasing. This seems like a way to prove it visually, but how can I put that into a mathematical proof?

.

tonio, sure, I hope I can better explain this:

Here is a link to the function: sum of x*ln(x) - Wolfram|Alpha (my tex skills are bad)
So basically, I understand that it is convex from visual inspection, but I don't know how to prove it is mathematically.

Originally Posted by jjpioli

tonio, sure, I hope I can better explain this:
Here is a link to the function: sum of x*ln(x) - Wolfram|Alpha (my tex skills are bad)
So basically, I understand that it is convex from visual inspection, but I don't know how to prove it is mathematically.

In some real sense, a infinite series is a discrete graph.
That is, it is a countable collection of points where is the nth partial sum of the series.
You have used the term function and asked about it being convex.
I don't follow you question here.
Clearly the sequence is an increasing sequence.
Its discrete graph is convex by definition.
What am I missing?