I would like to verify this function $f:\mathbb{R} \to \mathbb{R}$ to be log-concave or determine the region where it is: $ f(x) = 2 - \Phi(a-x) - \Phi(a) $ where $a > 0$ is a constant, and $\Phi(x) := \frac12\left[1 + \operatorname{erf}\left( \frac{x}{\sqrt{2}}\right)\right] $, i.e. the CDF of the standard normal distribution.
- My attempt is based on "every concave function that is nonnegative on its domain is log-concave". $\Phi$ is convex over $(-\infty, 0)$ (and concave over $(0,\infty)$), so $f$ is concave over $(a, \infty)$. Since $f$ is nonnegative, $f$ is log-concave over $(a, \infty)$. Am I right?
- But I hope to decide if $f$ is log-concave over $\mathbb{R}$, or at least over $(0, \infty)$. Also is it possible to determine the region where $f$ is log-concave?
- To simplify the question, if $f$ is log-concave, is $f + c$ for any constant $c$ also log-concave?
- I am also puzzled when trying to determine where g is log-concave, $ g(x) := 1 - \Phi(a-x) + \Phi(-a-x) $ and whether it is over $(0, \infty)$?
Thanks and regards!