5
$\begingroup$

This appeared on an exam I took.

$Z \sim \text{Uniform}[0, 2\pi]$, and $X = \cos Z$ and $Y = \sin Z$. Let $F_{XY}$ denote the joint distribution function of $X$ and $Y$.

Calculate $\mathbb{P}\left[X+ Y \leq 1\right]$. So this was easy -

$\begin{align} \mathbb{P}\left[X+Y \leq 1\right] &= \mathbb{P}\left[\sin Z+ \cos Z \leq 1\right] \\ &=\mathbb{P}\left[\sqrt{2}\sin\left(Z+\frac{\pi}{4}\right)\leq 1\right] \\ &= \mathbb{P}\left[Z \leq \arcsin\frac{1}{\sqrt{2}} - \frac{\pi}{4} \right] \\ &= \dfrac{\arcsin\frac{1}{\sqrt{2}} - \frac{\pi}{4}}{2\pi} \end{align} $

But then, the question asked if $F_{XY}$ was absolutely continuous. I don't think so, but how would I prove it?

I thought about proceeding like this

$ \begin{align} F_{XY}(x, y) &= \mathbb{P}\left[X \leq x, Y \leq y\right],\; x, y \in [0, 1] \\ &= \mathbb{P}\left[Z \leq \min(\arccos x, \arcsin y)\right] \end{align} $ This is definitely continuous, but is it absolutely continuous?

Thanks!

  • 0
    Got something from an answer below?2015-04-26

2 Answers 2

3

Absolutely continuous distributions are measures with a density with respect to the Lebesgue measure. The distribution of $(X,Y)$ is concentrated on the unit circle, which has Lebesgue measure zero, hence this distribution is not absolutely continuous.

Regarding the computation of $\mathrm P(X+Y\leqslant1)$, note that $\arcsin(1/\sqrt2)=\pi/4$ hence your formula would yield $\mathrm P(X+Y\leqslant1)=0$ (a quite unlikely result). Rather, drawing a picture of the unit circle and of the line of equation $x+y=1$ shows that $x+y\leqslant1$ corresponds to the three quarters of the circle from the point $(0,1)$ to the point $(1,0)$ through the points $(-1,0)$ and $(0,-1)$, hence $\mathrm P(X+Y\leqslant1)=3/4$.

  • 0
    You might wish to read [Lebesgue's decomposition theorem](http://en.wikipedia.org/wiki/Lebesgue%27s_decomposition_theorem) and to keep in mind [Cantor's staircase function](http://en.wikipedia.org/wiki/Cantor_function).2011-11-07
3

The absolute continuity meant here is not the absolute continuity of the function $F_{X,Y}(x,y)$, but rather the absolute continuity of the measure $\mathrm{d}F_{X,Y}(x,y)$ with respect to Lebesgue measure on $\mathbb{R}^2$.

According to Wikipedia the measure is absolutely continuous is for every $\epsilon > 0$, there exists $\delta > 0$, such that $\int_A \mathrm{d}F_{X,Y}(x,y) < \epsilon$ for all subsets $A$ such that $\int_A \mathrm{d}x \mathrm{d}y < \delta$.

It is clear that if you choose $A$ to be an anulus with inner radius $1-\delta/4$ and outer radius $1+\delta/4$, its Lebesgue measure if going to be $ \pi \delta$, while $\int_A \mathrm{d}F_{X,Y}(x,y) = 1$, because the annulus contains the entire support of $(X,Y)$ random vector, which is the unit circle.

By the way, I am afraid you incorrectly determined the $F_{X,Y}(x,y)$. Remember $x$ and $y$ both range from $-1$ to $1$.

  • 0
    @FgNu See wikipedia page, it states that absolutely continuous measures are those that have the finite probability density functions, i.e. $\partial_{x,y} F_{X,Y}(x,y)$ exists. Thus measures that correspond to discrete random variables are not absolutely continuous as well.2011-11-07