提出问题

有\(n\)个互相独立的\(0\)至\(1\)之间等概率生成的随机变量,求从小到大排序后第\(i\)个数的数值期望

一个简化的问题

我们先来求解一个简化的问题:最大值的数值期望是多少?

我们会发现,由于这些变量都是在\(0\)到\(1\)之间等概率生成的,所以一个变量小于等于\(x\)的概率为\(x\)(即\(P(x_0\leq x)=x\)),则这\(n\)个数中最大值为\(x\)的概率为\(x^{n-1}\)(其他\(n-1\)个变量都小于等于\(x\))

再考虑到有\(n\)个数都有可能成为最大值,所以最后答案还要再乘\(\binom n1\)(实际上这个组合数应该放在原式的概率函数\(p(x)\)里的,但为了表达方便,我们将这个组合数提到最外面最后进行计算,后面的运算也是如此)

由于期望的计算公式为

\[E(x)=\sum_{k=1}^{+\infty}x_kp_k\]

套到这题里就是

\[\int_0^1x\cdot x^{n-1}\cdot dx=\int_0^1x^n\cdot dx=\frac 1{n+1}\]

乘上组合数,得到这个简化问题的答案为\(\frac n{n+1}\)

扩展

我们现在求得了最大值(第\(n\)个数)的数值期望为\(\frac n{n+1}\),同理可以计算出最小数(第\(1\)个数)的数值期望为\(\frac 1{n+1}\),大胆猜想第\(i\)个数的数值期望为\(\frac i{n+1}\)

我们下面来证明这个式子

类比上面求最大值的解法,我们可以很容易地列出我们需要的式子

\[\int_0^1x\cdot x^{i-1}\cdot (1-x)^{n-i}\cdot dx=\int_0^1 x^i\cdot (1-x)^{n-i}\cdot dx\]

(第\(i\)个数为\(x\)的概率为前\(i-1\)个数都小于等于\(x\),后\(n-i\)个数都大于等于\(x\),则概率为\(x^{i-1}\cdot (1-x)^{n-i}\))

这个式子在最后还要乘一个\(n\cdot \binom {n-1}{i-1}\)(\(n\)个数都有可能成为第\(i\)个数,还要再选出小于等于\(x\)的\(i-1\)个数)

我们列出了式子,但这个式子并不像\(x^n\)这样好积分;为此,我们需要一些数学工具 妙妙工具

分部积分法

分部积分法由乘法法则推导而得

\[(uv)'=uv'+u'v\]

移项

\[uv'=(uv)'-u'v\]

两边同时积分

\[\int uv'\cdot dx=uv-\int u'v\cdot dx\]

积分

明确目标,我们要求

\[\int_0^1 x^i\cdot (1-x)^{n-i}\cdot dx\]

我们设\(u=(1-x)^{n-i},v=\frac 1{i+1}x^{i+1}\)

则\(u'=-(n-i)(1-x)^{n-i-1},v'=x^i\)

则我们要求的即为

\[\int_0^1uv'\cdot dx=(uv)\big|_0^1-\int_0^1 u'v\cdot dx\]

由于无论\(x\)取\(0\)还是\(1\),\(uv\)都为\(0\),则我们只需要考虑后面的式子即可

\[-\int_0^1 u'v\cdot dx\]
\[=-\int_0^1 -(n-i)(1-x)^{n-i-1}\frac 1{i+1}x^{i+1}\cdot dx\]
\[=\frac {n-i}{i+1}\cdot \int_0^1x^{i+1}(1-x)^{n-i-1}\cdot dx\]

数列

我们发现这个式子和和最初的式子的积分部分很像,可以对比一下:

\[\int_0^1 x^i\cdot (1-x)^{n-i}\cdot dx\]
\[\int_0^1x^{i+1}(1-x)^{n-i-1}\cdot dx\]

发现一个指数上升\(1\),一个下降\(1\),则我们设\(a_i=\int_0^1 x^i\cdot (1-x)^{n-i}\cdot dx\)

则我们可以得到一个有趣的递推式\(a_i=\frac {n-i}{i+1}\cdot a_{i+1}\),而边界条件即为我们一开始证明的式子\(a_n=\frac n{n+1}\)

从而我们可以得到\(a_i\)的通项公式\(a_i=\frac {i!(n-i)!}{(n+1)!}\)

所以我们前面那一长溜的积分式,可以化简为\(\frac {i!(n-i)!}{(n+1)!}\)!(忽略最后一个中文标点)

最后不要忘记我们之前提取出来的\(n\cdot \binom {n-1}{i-1}\)

最终解得的答案为\(\frac {i!(n-i)!}{(n+1)!}\cdot n\cdot \binom {n-1}{i-1}=\frac i{n+1}\)

猜想得证

结论

有\(n\)个互相独立的\(0\)至\(1\)之间等概率生成的随机变量,求从小到大排序后第\(i\)个数的数值期望为\(\frac i{n+1}\)

可以推广,若变量的生成范围为\([l,r]\),则第\(i\)小数的数值期望为\(l+\frac {i\cdot(r-l)}{n+1}\)

最近加了友链的一位同学貌似知道一个比较简单的做法?不过数学之美不恰好体现在各个方法看似不同,实则连通的吗

其他-n个互相独立的连续随机变量中第i小的数值期望的更多相关文章

  1. n个随机变量中第k小值的期望

    Problem 有\(n\)个相互独立的取值在\([0,1]\)的随机变量,问其中第\(k\)小的变量期望是多少? Solution 之前pkuwc的神仙找我换友链,让我受宠若惊.. 我今天突然翻到他 ...

  2. SQL Server 2008 R2——查找最小nIndex,nIndex存在而nIndex+1不存在 求最小连续数组中的最大值

    =================================版权声明================================= 版权声明:原创文章 谢绝转载  请通过右侧公告中的“联系邮 ...

  3. VS2013编译的exe独立运行在XP中方案

    转载知乎 现在,我们深入探讨一下:<如何使用VS 2013发布一个可以在Windows XP中独立运行的可执行文件>. 这个问题是比较常见且容易造成初学者困惑的,作为曾经撞了无数次南墙的初 ...

  4. “独立”OpenVINO R2019_2 版本中的“super_resolution_demo”例子的,解决由于 R2019_1到R2019_2 升级造成的问题

    OpenVINO提供了丰富的例子,为了方便研究和使用,我们需要将这些例子由原始的demo目录中分离出来,也就是“独立”运行,这里我们选择了较为简单的super_resolution_demo来说明问题 ...

  5. 独立的js文件中不能使用EL表达式取值

    在独立的js文件中写了一个EL表达式取值,发现没有取到值,原因在于不能在独立的js文件中使用EL表达式,可以在jsp页面定义全局变量,然后在js文件中引用

  6. 关于ASIHTTPRequest连续请求,并发连续,间隔时间很小崩溃问题

    在不停的刷新ASIHttpRequest的网络请求时,总是在刷新几次之后,整个app崩溃掉.我的app使用的ARC模式,以为可以自动释放到request的请求.经过摸索,还是需要在dealloc函数加 ...

  7. Javascript如何避免连续调用中取到不存在的属性而导致报TypeError错?

    背景: 在最近的 NODEJS 项目中,涉及到数据库的查询,回调函数里返回了查询结果,我这样做处理然后返回给前端: return results.collect_coupon[0].count 但是这 ...

  8. 581. Shortest Unsorted Continuous Subarray连续数组中的递增异常情况

    [抄题]: Given an integer array, you need to find one continuous subarray that if you only sort this su ...

  9. 关于 n 个 [0,1] 的随机变量第 k 小的期望值

    今天做到一道题,感觉里面一个结论有点意思,就到网上扒了篇证明(bushi)下来了. 知乎回答习惯,先抛结论,再给证明(大雾 结论:对于 \(n\) 个取值范围为 \([0,1]\) 的随机变量 \(x ...

随机推荐

  1. CentOS7 下 Hadoop 单节点(伪分布式)部署

    Hadoop 下载 (2.9.2) https://hadoop.apache.org/releases.html 准备工作 关闭防火墙 (也可放行) # 停止防火墙 systemctl stop f ...

  2. 9.组合模式(Composite Pattern)

    动机(Motivate):    组合模式有时候又叫做部分-整体模式,它使我们树型结构的问题中,模糊了简单元素和复杂元素的概念,客户程序可以向处理简单元素一样来处理复杂元素,从而使得客户程序与复杂元素 ...

  3. 使用 python -m SimpleHTTPServer 快速搭建http服务

    摘要: 在 Linux 服务器上或安装了 Python 的机器上,可以使用 nohup python -m SimpleHTTPServer [port] & 快速搭建一个http服务. 在 ...

  4. try{s.send(t.hasContent&&t.data||null)}catch(e){if(n)throw e}}引发的惨案

    如题,ajax请求报错:try{s.send(t.hasContent&&t.data||null)}catch(e){if(n)throw e}}引发的惨案 要么是404,要么是40 ...

  5. log4j日志文件名与行号显示乱码? 问号? 参数问号? 日志问号?【转】【补】

    log4j本来设置了要打印行号与文件名的,结果有的能打印出来,有的却是乱码,查了些文档之后才发现,原来打印问题是因为编绎时没有编绎进去调试信息,所以没办法打印,好像有的系统又会显示(Unknown S ...

  6. bzoj千题计划315:bzoj3172: [Tjoi2013]单词(AC自动机)

    https://www.lydsy.com/JudgeOnline/problem.php?id=3172 构建AC自动机 在fail树上,点i的子树大小 表示trie树上根节点到i构成的单词 是 多 ...

  7. 很好的sql多表

    oracle 多表联合查询总结归纳 2018年08月16日 20:57:39 阅读数:44905 本次预计讲解的知识点 1. 多表查询的操作.限制.笛卡尔积的问题: 2. 统计函数及分组统计的操作: ...

  8. foreach循环详解

    在Java1.5+中,foreach循环非常实用.   public class Demo <T> implements Iterable<T>, Iterator<T& ...

  9. vue-cli3 第三版安装搭建项目

    Vue CLI是一个用于快速Vue.js开发的完整系统 3.X较2.X结构变了很多,更优雅,开发体验更好 官方:https://cli.vuejs.org/guide/ 安装:https://cli. ...

  10. springboot(十七):过滤器(Filter)和拦截器(Interceptor)

    概述 在做web开发的时候,过滤器(Filter)和拦截器(Interceptor)很常见,通俗的讲,过滤器可以简单理解为“取你所想取”,忽视掉那些你不想要的东西:拦截器可以简单理解为“拒你所想拒”, ...