Some further questions about convexity/concavity

I have two questions about convexity:

1)

f(x,y) is a convex function,

are the following functions convex too?

[f(x,y)]^{2}

ln[f(x,y)]

and

e^{[f(x,y)]}

I don`t really understand how to answer to this, in my opinion it is clear that they remain convex, but I'm not sure about the correct explaination why.

Secondly:

Is f(x,y)=ln(1-(x-a)^{2}-y^{2}) convex or concave?

"a" stands for a real number.

Can I simply perform the second derivative test on this?

So I set f`(x,y)=0 to get stationary points, than I take the second derivative and fill in the stationary points in order to test for convexity?

Re: Some further questions about convexity/concavity

Proving convexity of a function in general can be a bit of a pain, but there are few tricks.

1. If a function is quadratic, check if the Hessian is positive semidefinite. In that case, the function is convex. For a general function, you technically check this condition at every point, but I typically find that difficult.

2. Frankly, the best way to prove convexity is to see if you can do so constructively. This doesn't always work, but when it does, it's the easiest. Note, let f and g be convex and f be monotonically increasing. Then, is convex. In order to see this, notice that

where we use convexity in both inequalities and monotonicity of f is the first inequality.

Now, as to your specific functions:

1. : No. It's easiest to see in one dimension. is convex. However, is not since , , but . According to convexity, we need . Or, simply graph the function and you'll see a bump at the origin.

2. : No. Let . Then, we have l , which is actually concave. It's easiest just to graph, but you can verify this by looking at the second derivative of .

3. Yes. is convex and monotonically increasing. is convex. From the composition rule above, the result is convex.

Re: Some further questions about convexity/concavity

Thank you for the very detailed explaination.

So for the second question if I am asked if f(x,y)=ln(1-(x-a)^{2}-y^{2}) is concave I can say yes, because the second derivative of the log function tells us that it's always concave.

Re: Some further questions about convexity/concavity

The function is actually concave. In order to see this, we use the composition rule. First, log is concave (by looking at the Hessian) and monotonically increasing. Second, is quadratic with a negative definite Hessian, hence, concave. Therefore, the composition of the two is concave.

Re: Some further questions about convexity/concavity

Thank you, what would happen if the composition rule would yield a convex function with a concave domain? or vice versa?

Re: Some further questions about convexity/concavity

Ok, so you may want to check these using the same procedure that I used to prove the convex composition rule above, but I believe it goes as follows

1. f: increasing convex, g: convex, convex

2. f: increasing concave, g:concave, concave

3. f: decreasing convex, g: concave, convex

4. f: decreasing concave, g: convex, concave

Re: Some further questions about convexity/concavity

how can I test if the function is decreasing or increasing?

Re: Some further questions about convexity/concavity

Sometimes figuring out whether a function is increasing or decreasing can be tricky. One potential trick, in the case of differentiable function, is to verify 0 for all x. Alternatively, you can also use composition rules for monotonicity. For example, composing an increasing function with an increasing function with also increasing. Then, constants are both increasing and decreasing and you can work out rules for addition, multiplication, and the like. Note, this doesn't always work, but sometimes it's useful. Finally, you can just do it the old fashioned way and try to prove that for .

If you want a short answer, start with the derivative check.

Re: Some further questions about convexity/concavity

I have tried some other examples.

The following functions:

f(x,y)=|x-y|^{3}

This function is neither convex nor concave because it moves into two different directions contemporarly (because of the absolute value). Is this definition true?

f(x,y)=e^{x2+2y-5}

This function is convex (looking at the second derivative).

Are this answers true?

Re: Some further questions about convexity/concavity

Quote:

Originally Posted by

**jj323** The function

is actually concave. In order to see this, we use the composition rule. First, log is concave (by looking at the Hessian) and monotonically increasing. Second,

is quadratic with a negative definite Hessian, hence, concave. Therefore, the composition of the two is concave.

I tried to calculate the Hessian for but I got a positive definite Hessian of 4 because calculating the second derivatives I get:

[-2,0]

[0,-2]

Could you help me on this?