convex pow

Stream: Is there code for X?

[Bolton Bailey]

Do we have a lemma that tells us that fun x => b ^ x is convex on the whole real line for nonzero b? I expected to find this, but couldn't.

[Daniel Weber]

You need 1 ≤ b, right?

[Daniel Weber]

This should be obtainable by scaling docs#strictConvexOn_exp, I think

[Etienne Marion]

Daniel Weber said:

You need 1 ≤ b, right?

Rather 0 < b I think, exp(-x) is convex

[Bolton Bailey]

After looking a bit more, b^x is actually not uniformly 0 for b < 0 like I had thought, so yes, this is right.