5
$\begingroup$

While the set of log-convex functions is closed under addition, the set of log-concave functions is not. Yet if $f$ is log-concave, $\ln(k f) = \ln(k)+\ln(f)$, with $k \in \mathbb{R}^+$ constant, is concave. This suggests one can find a set of log-concave functions whose sums are still log-concave (possibly closed under addition).

I am interested in the concavity/convexity of $\ln(b+s)$, where $b,s$ are functions on $\mathbb{R}^+$, increasing, positive, convex and log-concave.

Example: I found $\ln(x^2+x^\beta)''<0, \forall x>0$ for $\beta<6$ (numerical result, perhaps not exact).

Are there any results that could help delineate this set of functions? Perhaps for polynomials?

Some suggestions and more detailed description here

The initial motivation for this problem comes from population dynamics.

$\endgroup$
2
  • $\begingroup$ I guess you are aware of log-concavity being closed under convolution, if not addition.... $\endgroup$
    – Suvrit
    Mar 22, 2013 at 16:31
  • $\begingroup$ I've seen this - do you think I could use it? $\endgroup$
    – Fred B
    Mar 22, 2013 at 18:23

1 Answer 1

5
$\begingroup$

In fact $\ln(x^2 + x^\beta)$ is concave for $x > 0$ iff $3-2\sqrt{2} \le \beta \le 3 + 2 \sqrt{2}$. This comes from writing $$ \dfrac{d^2}{dx^2} \ln(x^2 + x^\beta) = \dfrac{x^2}{(x^2 + x^\beta)^2} \left(-\beta x^{2\beta - 4} + (\beta^2 - 5 \beta + 2) x^{\beta - 2} -2\right)$$ and noting that the discriminant of $-\beta t^2 + (\beta^2 - 5 \beta + 2) t - 2$ with respect to $t$ is $(\beta^2 - 6 \beta + 1) (\beta - 2)^2$.

EDIT: Somewhat more generally, $\ln(x^\alpha + x^\beta)$ is concave for $x > 0$ iff $\alpha=\beta$ or $(\alpha-\beta)^2 - 2 (\alpha + \beta) + 1 \le 0$.

$\endgroup$
3
  • $\begingroup$ Thanks! The condition for log-concavity is very neat. Assuming $\beta > \alpha \geq 1$, $\gamma=\beta-\alpha$, the condition further simplify into $\gamma<1+2\sqrt{\alpha}$. In the general case, maybe I should seek similar relationships for elasticities ($\frac{x}{f}\frac{df}{dx}$). Writing down $\frac{d^2}{dx^2}\ln(x^\alpha+x^\beta)$, I obtained $\frac{x^{2\alpha-2}}{x^\alpha+x^\beta} (-\beta x^{(\beta-\alpha)2}+(\alpha^2+\beta^2-\alpha-\beta-2\alpha \beta)x^{(\beta-\alpha)}-\alpha)$ I suppose you used $t=x^{\beta-\alpha}$ and factored the discriminant as in the case $\alpha=2$? $\endgroup$
    – Fred B
    Mar 26, 2013 at 15:00
  • $\begingroup$ Intermediate step: polynomial discriminant can be factored into $(\alpha-\beta)^2 (\alpha^2 + \beta^2 -2 \alpha \beta - 2 \alpha - 2 \beta +1)$. $\endgroup$
    – Fred B
    Apr 2, 2013 at 9:06
  • $\begingroup$ Just checked: the criterion holds for sums of the form $\left(\frac{x}{A}\right)^\alpha + \left(\frac{x}{B}\right)^\beta$, with $A,B>0$ constants. $\endgroup$
    – Fred B
    Apr 2, 2013 at 9:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.