Conditional distribution of joint normal when condition is an inequality

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
2












Let $(varepsilon, nu)$ be jointly normally distributed:



$$beginpmatrixvarepsilon \ nu endpmatrix sim Nleft(beginpmatrix0 \ 0 endpmatrix , beginpmatrix sigma_varepsilon^2 & rho sigma_varepsilon \ rho sigma_varepsilon & 1 endpmatrix right)$$
where $rho$ is the correlation between $varepsilon$ and $nu$. Then show that for any real constant $alpha$:
$$varepsilon mid nu > alpha sim N(rho sigma_varepsilonlambda(-alpha), sigma_varepsilon^2(1-rho^2))$$
where $lambda(cdot) = fracphi(cdot)Phi(cdot)$, and $phi$ and $Phi$ are the pdf and cdf of a standard normal distribution, respectively.



I know that the conditional distribution of $varepsilon mid nu = alpha$ is normally distributed with mean $rhosigma_varepsilonalpha$ and variance $sigma_varepsilon^2(1-rho^2)$ by the properties of a joint normal distribution, but how do I prove the above when the condition is an inequality?







share|cite|improve this question



















  • You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
    – Theoretical Economist
    Aug 6 at 1:22











  • You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
    – StubbornAtom
    Aug 6 at 7:19











  • Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
    – StubbornAtom
    Aug 6 at 7:46










  • Similar question: math.stackexchange.com/questions/699457/….
    – StubbornAtom
    Aug 6 at 18:55














up vote
2
down vote

favorite
2












Let $(varepsilon, nu)$ be jointly normally distributed:



$$beginpmatrixvarepsilon \ nu endpmatrix sim Nleft(beginpmatrix0 \ 0 endpmatrix , beginpmatrix sigma_varepsilon^2 & rho sigma_varepsilon \ rho sigma_varepsilon & 1 endpmatrix right)$$
where $rho$ is the correlation between $varepsilon$ and $nu$. Then show that for any real constant $alpha$:
$$varepsilon mid nu > alpha sim N(rho sigma_varepsilonlambda(-alpha), sigma_varepsilon^2(1-rho^2))$$
where $lambda(cdot) = fracphi(cdot)Phi(cdot)$, and $phi$ and $Phi$ are the pdf and cdf of a standard normal distribution, respectively.



I know that the conditional distribution of $varepsilon mid nu = alpha$ is normally distributed with mean $rhosigma_varepsilonalpha$ and variance $sigma_varepsilon^2(1-rho^2)$ by the properties of a joint normal distribution, but how do I prove the above when the condition is an inequality?







share|cite|improve this question



















  • You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
    – Theoretical Economist
    Aug 6 at 1:22











  • You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
    – StubbornAtom
    Aug 6 at 7:19











  • Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
    – StubbornAtom
    Aug 6 at 7:46










  • Similar question: math.stackexchange.com/questions/699457/….
    – StubbornAtom
    Aug 6 at 18:55












up vote
2
down vote

favorite
2









up vote
2
down vote

favorite
2






2





Let $(varepsilon, nu)$ be jointly normally distributed:



$$beginpmatrixvarepsilon \ nu endpmatrix sim Nleft(beginpmatrix0 \ 0 endpmatrix , beginpmatrix sigma_varepsilon^2 & rho sigma_varepsilon \ rho sigma_varepsilon & 1 endpmatrix right)$$
where $rho$ is the correlation between $varepsilon$ and $nu$. Then show that for any real constant $alpha$:
$$varepsilon mid nu > alpha sim N(rho sigma_varepsilonlambda(-alpha), sigma_varepsilon^2(1-rho^2))$$
where $lambda(cdot) = fracphi(cdot)Phi(cdot)$, and $phi$ and $Phi$ are the pdf and cdf of a standard normal distribution, respectively.



I know that the conditional distribution of $varepsilon mid nu = alpha$ is normally distributed with mean $rhosigma_varepsilonalpha$ and variance $sigma_varepsilon^2(1-rho^2)$ by the properties of a joint normal distribution, but how do I prove the above when the condition is an inequality?







share|cite|improve this question











Let $(varepsilon, nu)$ be jointly normally distributed:



$$beginpmatrixvarepsilon \ nu endpmatrix sim Nleft(beginpmatrix0 \ 0 endpmatrix , beginpmatrix sigma_varepsilon^2 & rho sigma_varepsilon \ rho sigma_varepsilon & 1 endpmatrix right)$$
where $rho$ is the correlation between $varepsilon$ and $nu$. Then show that for any real constant $alpha$:
$$varepsilon mid nu > alpha sim N(rho sigma_varepsilonlambda(-alpha), sigma_varepsilon^2(1-rho^2))$$
where $lambda(cdot) = fracphi(cdot)Phi(cdot)$, and $phi$ and $Phi$ are the pdf and cdf of a standard normal distribution, respectively.



I know that the conditional distribution of $varepsilon mid nu = alpha$ is normally distributed with mean $rhosigma_varepsilonalpha$ and variance $sigma_varepsilon^2(1-rho^2)$ by the properties of a joint normal distribution, but how do I prove the above when the condition is an inequality?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Aug 6 at 1:16









elbarto

1,519523




1,519523











  • You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
    – Theoretical Economist
    Aug 6 at 1:22











  • You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
    – StubbornAtom
    Aug 6 at 7:19











  • Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
    – StubbornAtom
    Aug 6 at 7:46










  • Similar question: math.stackexchange.com/questions/699457/….
    – StubbornAtom
    Aug 6 at 18:55
















  • You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
    – Theoretical Economist
    Aug 6 at 1:22











  • You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
    – StubbornAtom
    Aug 6 at 7:19











  • Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
    – StubbornAtom
    Aug 6 at 7:46










  • Similar question: math.stackexchange.com/questions/699457/….
    – StubbornAtom
    Aug 6 at 18:55















You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
– Theoretical Economist
Aug 6 at 1:22





You need the conditional density of $varepsilon vert nu > alpha$. This is given by $$ frac11-F_nu (alpha) int_alpha^infty f_varepsilon,nu(x,y) ,mathrm d y. $$ Here, $f_varepsilon,nu$ is the joint density, and $F_nu (alpha)$ is the (marginal) CDF of $nu$.
– Theoretical Economist
Aug 6 at 1:22













You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
– StubbornAtom
Aug 6 at 7:19





You could find the condition cdf $P(varepsilon le xmid nu > alpha)$ and see if it can be written in terms of the standard normal cdf $Phi$.
– StubbornAtom
Aug 6 at 7:19













Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
– StubbornAtom
Aug 6 at 7:46




Since $P(varepsilon le xmid nu >alpha)=fracP(varepsilon le x, nu >alpha)1-Phi(alpha)$, one would have to evaluate $$int_alpha^inftyint_-infty^x f_varepsilon,nu(varepsilon,nu),dvarepsilon,dnu$$ for the numerator. As per your result, the conditional cdf should evaluate to $Phileft(fracx-cdotcdotright)$.
– StubbornAtom
Aug 6 at 7:46












Similar question: math.stackexchange.com/questions/699457/….
– StubbornAtom
Aug 6 at 18:55




Similar question: math.stackexchange.com/questions/699457/….
– StubbornAtom
Aug 6 at 18:55















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2873501%2fconditional-distribution-of-joint-normal-when-condition-is-an-inequality%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2873501%2fconditional-distribution-of-joint-normal-when-condition-is-an-inequality%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?

What is the equation of a 3D cone with generalised tilt?