General Central Limit Theorem for Binomial Random Variables












1












$begingroup$



Question
Let $(X_n)_{ngeq 1}$ be a sequence of arbitrary binomial random variables such that $EX_nto infty$ and $text{Var}(X_n)/EX_n^2to 0$ as $nto infty$. Then
show that
$$
Z_n=frac{X_n-EX_n}{sqrt{text{Var}(X_n)}}stackrel{text{d}}{to } N(0,1).
$$




My attempt



The idea of the proof is to find the characteristic function $varphi_{n}$
of $Z_n$ and show that $varphi_{n}(t)to exp(-t^2/2)$.



To this end, let $X_nsim text{Bin}(m_n,p_n)$. Since $varphi_{X_n}(t)=(1-p_n+p_ne^{it})^{m_n}$ we have that
$$
varphi_{n}(t)=varphi_{Z_n}(t)=expleft(
frac{-itm_np_n}{sqrt{m_np_n(1-p_n)}}
right)
left(1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)right)^{m_n}.
$$

At this point I tried to taylor expand the exponential terms, mimic the proof of classical clt and use the fact that if $c_jto 0$, $a_jto infty$, $a_jc_jto lambda$, then $(1+c_j)^{a_j}to e^{lambda}$ as $jto infty$. Doing so yields for example that
$$
1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)=1+p_nfrac{it}{sqrt{m_np_n(1-p_n)}}-p_nfrac{t^2}{2(m_np_n(1-p_n))}+dotsb
$$

and
$$
expleft(-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}right)=1-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}-frac{t^2m_n^2p_n^2}{2m_np_n(1-p_n)}+dotsb.
$$

In the first of these we have something that resembles the term $-t^2/2$ but I can't proceed from here.



Any help is appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
    $endgroup$
    – user321627
    Jan 28 at 1:03










  • $begingroup$
    I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
    $endgroup$
    – Foobaz John
    Jan 28 at 1:19










  • $begingroup$
    I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
    $endgroup$
    – user321627
    Jan 28 at 2:06






  • 1




    $begingroup$
    Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
    $endgroup$
    – user52227
    Jan 28 at 14:33
















1












$begingroup$



Question
Let $(X_n)_{ngeq 1}$ be a sequence of arbitrary binomial random variables such that $EX_nto infty$ and $text{Var}(X_n)/EX_n^2to 0$ as $nto infty$. Then
show that
$$
Z_n=frac{X_n-EX_n}{sqrt{text{Var}(X_n)}}stackrel{text{d}}{to } N(0,1).
$$




My attempt



The idea of the proof is to find the characteristic function $varphi_{n}$
of $Z_n$ and show that $varphi_{n}(t)to exp(-t^2/2)$.



To this end, let $X_nsim text{Bin}(m_n,p_n)$. Since $varphi_{X_n}(t)=(1-p_n+p_ne^{it})^{m_n}$ we have that
$$
varphi_{n}(t)=varphi_{Z_n}(t)=expleft(
frac{-itm_np_n}{sqrt{m_np_n(1-p_n)}}
right)
left(1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)right)^{m_n}.
$$

At this point I tried to taylor expand the exponential terms, mimic the proof of classical clt and use the fact that if $c_jto 0$, $a_jto infty$, $a_jc_jto lambda$, then $(1+c_j)^{a_j}to e^{lambda}$ as $jto infty$. Doing so yields for example that
$$
1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)=1+p_nfrac{it}{sqrt{m_np_n(1-p_n)}}-p_nfrac{t^2}{2(m_np_n(1-p_n))}+dotsb
$$

and
$$
expleft(-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}right)=1-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}-frac{t^2m_n^2p_n^2}{2m_np_n(1-p_n)}+dotsb.
$$

In the first of these we have something that resembles the term $-t^2/2$ but I can't proceed from here.



Any help is appreciated.










share|cite|improve this question









$endgroup$












  • $begingroup$
    Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
    $endgroup$
    – user321627
    Jan 28 at 1:03










  • $begingroup$
    I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
    $endgroup$
    – Foobaz John
    Jan 28 at 1:19










  • $begingroup$
    I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
    $endgroup$
    – user321627
    Jan 28 at 2:06






  • 1




    $begingroup$
    Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
    $endgroup$
    – user52227
    Jan 28 at 14:33














1












1








1





$begingroup$



Question
Let $(X_n)_{ngeq 1}$ be a sequence of arbitrary binomial random variables such that $EX_nto infty$ and $text{Var}(X_n)/EX_n^2to 0$ as $nto infty$. Then
show that
$$
Z_n=frac{X_n-EX_n}{sqrt{text{Var}(X_n)}}stackrel{text{d}}{to } N(0,1).
$$




My attempt



The idea of the proof is to find the characteristic function $varphi_{n}$
of $Z_n$ and show that $varphi_{n}(t)to exp(-t^2/2)$.



To this end, let $X_nsim text{Bin}(m_n,p_n)$. Since $varphi_{X_n}(t)=(1-p_n+p_ne^{it})^{m_n}$ we have that
$$
varphi_{n}(t)=varphi_{Z_n}(t)=expleft(
frac{-itm_np_n}{sqrt{m_np_n(1-p_n)}}
right)
left(1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)right)^{m_n}.
$$

At this point I tried to taylor expand the exponential terms, mimic the proof of classical clt and use the fact that if $c_jto 0$, $a_jto infty$, $a_jc_jto lambda$, then $(1+c_j)^{a_j}to e^{lambda}$ as $jto infty$. Doing so yields for example that
$$
1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)=1+p_nfrac{it}{sqrt{m_np_n(1-p_n)}}-p_nfrac{t^2}{2(m_np_n(1-p_n))}+dotsb
$$

and
$$
expleft(-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}right)=1-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}-frac{t^2m_n^2p_n^2}{2m_np_n(1-p_n)}+dotsb.
$$

In the first of these we have something that resembles the term $-t^2/2$ but I can't proceed from here.



Any help is appreciated.










share|cite|improve this question









$endgroup$





Question
Let $(X_n)_{ngeq 1}$ be a sequence of arbitrary binomial random variables such that $EX_nto infty$ and $text{Var}(X_n)/EX_n^2to 0$ as $nto infty$. Then
show that
$$
Z_n=frac{X_n-EX_n}{sqrt{text{Var}(X_n)}}stackrel{text{d}}{to } N(0,1).
$$




My attempt



The idea of the proof is to find the characteristic function $varphi_{n}$
of $Z_n$ and show that $varphi_{n}(t)to exp(-t^2/2)$.



To this end, let $X_nsim text{Bin}(m_n,p_n)$. Since $varphi_{X_n}(t)=(1-p_n+p_ne^{it})^{m_n}$ we have that
$$
varphi_{n}(t)=varphi_{Z_n}(t)=expleft(
frac{-itm_np_n}{sqrt{m_np_n(1-p_n)}}
right)
left(1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)right)^{m_n}.
$$

At this point I tried to taylor expand the exponential terms, mimic the proof of classical clt and use the fact that if $c_jto 0$, $a_jto infty$, $a_jc_jto lambda$, then $(1+c_j)^{a_j}to e^{lambda}$ as $jto infty$. Doing so yields for example that
$$
1-p_n+p_nexpleft(frac{it}{sqrt{m_np_n(1-p_n)}}right)=1+p_nfrac{it}{sqrt{m_np_n(1-p_n)}}-p_nfrac{t^2}{2(m_np_n(1-p_n))}+dotsb
$$

and
$$
expleft(-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}right)=1-frac{itm_np_n}{sqrt{m_np_n(1-p_n)}}-frac{t^2m_n^2p_n^2}{2m_np_n(1-p_n)}+dotsb.
$$

In the first of these we have something that resembles the term $-t^2/2$ but I can't proceed from here.



Any help is appreciated.







probability probability-theory central-limit-theorem characteristic-functions






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 28 at 0:01









Foobaz JohnFoobaz John

22.8k41452




22.8k41452












  • $begingroup$
    Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
    $endgroup$
    – user321627
    Jan 28 at 1:03










  • $begingroup$
    I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
    $endgroup$
    – Foobaz John
    Jan 28 at 1:19










  • $begingroup$
    I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
    $endgroup$
    – user321627
    Jan 28 at 2:06






  • 1




    $begingroup$
    Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
    $endgroup$
    – user52227
    Jan 28 at 14:33


















  • $begingroup$
    Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
    $endgroup$
    – user321627
    Jan 28 at 1:03










  • $begingroup$
    I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
    $endgroup$
    – Foobaz John
    Jan 28 at 1:19










  • $begingroup$
    I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
    $endgroup$
    – user321627
    Jan 28 at 2:06






  • 1




    $begingroup$
    Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
    $endgroup$
    – user52227
    Jan 28 at 14:33
















$begingroup$
Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
$endgroup$
– user321627
Jan 28 at 1:03




$begingroup$
Unless you are required to use the characteristic function, invoking Lindeberg's condition is probably the most straightforward.
$endgroup$
– user321627
Jan 28 at 1:03












$begingroup$
I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
$endgroup$
– Foobaz John
Jan 28 at 1:19




$begingroup$
I need to use characteristic functions to solve the problem. I can't invoke Lindeberg's condition. We are covering cfs in class.
$endgroup$
– Foobaz John
Jan 28 at 1:19












$begingroup$
I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
$endgroup$
– user321627
Jan 28 at 2:06




$begingroup$
I can only think of how to prove it using MGF's and the same $n$ and $p$ across the entire sequence.
$endgroup$
– user321627
Jan 28 at 2:06




1




1




$begingroup$
Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
$endgroup$
– user52227
Jan 28 at 14:33




$begingroup$
Try working on $ln varphi_{n}(t)$, then Taylor expanding the logarithm, and then Taylor expanding the exponential that is left.
$endgroup$
– user52227
Jan 28 at 14:33










0






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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
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%2f3090282%2fgeneral-central-limit-theorem-for-binomial-random-variables%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090282%2fgeneral-central-limit-theorem-for-binomial-random-variables%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

MongoDB - Not Authorized To Execute Command

Npm cannot find a required file even through it is in the searched directory

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith