## Variance of exponential random variable

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

For a random variable $\xi$, what bounds can be achieved for Var $e^{\xi}$ in terms of E$\xi$ and Var $\xi$?

-

2
Unfortunately, this question is a poor fit for this site since it is not research-level. You'd be better off asking this at math.stackexchange.com. At any rate, you might ponder the following two examples first: Let $X_1 = c$ almost surely for some $c \in \mathbb R$ and, let $X_2 = \exp(Y)$ where $Y$ has a Pareto distribution, i.e., with pdf $f(y) = \alpha y^{-\alpha-1}$ for all $y \geq 1$ and some $\alpha > 0$. – cardinal Mar 6 2012 at 23:35

## 2 Answers

None.

Even if $X$ takes only two values, one of which with very small probability, Var$(e^X)$ can be made arbitrarily small or large.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Here's a different way to think about your question, using the cumulant-generating function `$c(\theta) \equiv \log \operatorname{\mathbb{E}} e^{\theta \xi}$`. To visualize this function, note that CGFs (i) always go through the origin (obviously) and (ii) are always convex (by the Cauchy-Schwarz inequality).

What you're asking for is a bound on var $e^{\xi}$, or $e^{c(2)} - e^{2 c(1)}$ in CGF notation. Properties (i) and (ii) alone tell us the (unsurprising!) fact that $c(2)$ is at least $2c(1)$, and is strictly greater than $2c(1)$ if $\xi$ has nonzero variance.

So the question is what you can say about the relationship between $c(2)$ and $2c(1)$ based on the extra information you're given about the first cumulant (mean) and second cumulant (variance) of $\xi$. Translating into CGF terms, this extra information corresponds to the first and second derivatives of $c(\cdot)$ at the origin, `$c'(0)=\operatorname{\mathbb{E}} \xi$` and `$c''(0)=\operatorname{var} \xi$`. The problem that cardinal and Omer are pointing out is that if there's weird stuff going on in the higher cumulants (or equivalently moments), then there's a lot of room for flexibility in the higher derivatives at zero, $c'''(0)$, $c''''(0)$, and so on. This means you can get a lot of convexity in $c(\cdot)$ away from the origin, and hence there's basically nothing you can say, without further assumptions, about the gap between $c(2)$ and $2c(1)$.

Here's a picture. The slope of the CGF at the origin is negative, reflecting the fact that `$\operatorname{\mathbb{E}} \xi$` is negative in this example. The curvature at the origin measures variance. Higher cumulants, reflected in higher order derivatives at the origin, make their presence felt via the "extra" (beyond quadratic) convexity that starts to become visible around $\theta=1$. The picture is drawn for an example in which var $e^{\xi}$ is finite, i.e. $c(2)$ is finite, which need not be the case in general.

Perhaps thinking in these terms will help you figure out what extra constraints you might need to put on your problem to be able to put bounds on var $e^{\xi}$? One final remark: your terminology ("exponential random variable") is rather misleading.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9426395297050476, "perplexity_flag": "head"}