I know some methods to obtain the probability distribution of functions on a random variable:
CDF method: If $X$ is a random variable and $Y=f(X)$, then computing the cumulative distribution function $F(Y)=P(Y\leq y)=P(f(X)\leq y)=\int_{x=x_0}^{f^{-1}(y)} f(x)dx $, and $F'(y)=f_Y(y)$
Product of 2 probability distributions: X and Y are RV with $f_X(x)$, $f_Y(y)$ PDF, Z=XY, $f_Z(z) = \int_{-\infty}^{\infty}f_X(x) f_Y(z/x)\frac{1}{|x|} dx$
Sum of 2 probability distributions: X and Y are RV with $f_X(x)$, $f_Y(y)$ PDF,$Z=X+Y$, $f(z)=f_X*f_Y$ is the convolution of the two PDF.
I'm trying to obtain the probability density function of the function on 3 random variables $\theta$, $G_1$ and $G_2$:
$\cos(\theta)G_1-\sin(\theta)G_2$,
$\theta$ uniformly distributed in $\theta\in[0,2\pi]$. $G_1$ and $G_2$ are independent Gaussians. I think that I can not apply the multiplication rule at both sides of the substraction and then the convolution of both just because of $\cos(\theta)$ and $\sin(\theta)$ are 2 functions on the same random variable, they are correlated...
Thanks!