Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose $f:\mathbb{R}^n\rightarrow \mathbb{R}$ is positive almost everywhere and integrable. We know that if $n=1$ and if $f$ is unimodal then the integral $F(x)=\int_{[-\infty,x]} f$ is convex for all $x<a$ and concave for all $x>a$, where $a$ is the point of unimodality. Suppose now that one extends the definition of unimodality in the following manner: $\{x\ |\ f(x)\ge a\}$ is a convex set for every $a>0$.

I'm wondering if this result holds as well in the sense that the distribution funciton $$F(x_1,\ldots,x_n)=\int_{[-\infty,x_i]} f(x_1,\ldots,x_n)dx_1 \ldots dx_n$$ is eventually concave (i.e., in some region $\cap \{x_i\ge t_i\}$.

Intuitively, the restriction on the density function should yield this kind of outcome since as soon as one moves away from the mode, the function starts to decrease. Am I getting the right idea? Can anyone refer me to reference they know of. Thanks in advance.

share|improve this question
    
What do you mean by "positive almost"? –  Robert Israel Jul 26 '12 at 20:47
    
sorry - I meant positive almost everywhere. –  Stuck_pls_help Jul 26 '12 at 20:48
    
You also want to assume $f$ is integrable on $(-\infty, t]^n$ for all $t$. –  Robert Israel Jul 26 '12 at 20:50
    
Yes - Thanks for the correction @RobertIsrael. I've added integrability of the function everywhere on $\mathbb{R^n}$. –  Stuck_pls_help Jul 26 '12 at 20:52
add comment

1 Answer

up vote 1 down vote accepted

With $n=2$, consider $f(x,y) = \sum_{j=1}^\infty 2^{-j} f_j(x,y)$ where $f_j(x,y) = 1$ for $-j \le x,y \le j$ and $0$ otherwise. Thus each nonempty $\{(x,y): f(x,y) \ge a \}$ is a square. $F(x,y) = \sum_{j=1}^\infty F_j(x,y)$ where $F_j(x,y) = (x+j)(y+j)$ for $-j < x,y < j$, while $F_j(x,y)$ is constant for $x,y > j$. Since the Hessian matrix of $(x+j)(y+j)$ is $\pmatrix{0 & 1\cr 1 & 0\cr}$ which is indefinite, $F$ is not concave or convex on $k < x,y < k+1$ for any $k$.

share|improve this answer
    
Thanks @RobertIsrael –  Stuck_pls_help Jul 26 '12 at 21:47
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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