首页 > 其他分享 >一些树穴

一些树穴

时间:2023-06-11 21:14:11浏览次数:23  
标签:right frac 树穴 sum sqrt 一些 aligned left

这个 win7 的 vscode 感觉很寄,我写的积分求和号这种大符号在本地都渲染不出来。

感觉越来越 MO 力!


看到超理论坛上有人问为啥期望定义是绝对收敛而不是收敛就行,然后看到下边一个例子。回去 oiwiki 发现居然有一模一样的例子。那搬下来。

考虑这么一个随机变量 \(X\):有 \(\dfrac 1{2^i}\) 的概率为 \((-1)^{i-1}\dfrac{2^i}i\)。求它的期望。

然后我们知道它没有期望,因为交错调和级数条件收敛到 \(\ln 2\)(md 为什么我敲反斜杠老是敲到回车,是这个键盘太引荐了吗)。

然后根据黎曼重排定理,这玩意可以收敛到任意实数值。然而期望显然不能是个任意实数,于是它没期望。

感觉最后一句很感性,但是似乎没啥问题。好像讨论区有拿勒贝格积分解释的,不是很会。


我给 joke3579 扔过去了个 300 页的积分书,然后他给我了个不等式让我证。我不会。放在这里:

\[\frac{2n+1}3\sqrt n\le \sum_{k=1}^n\sqrt k\le \frac{4n+3}6\sqrt n-\frac 16 \]

且等号仅在 \(n=1\) 取得。

然后他给我了个弱化版,看了看切了。长这个样子:

\[\frac{2n}3\sqrt n<\sum_{k=1}^n\sqrt k<\frac{4n+3}6\sqrt n \]

这个还是比较简单的。左边直接积分可得,右边的话考虑这个积分和实际值之间的误差:对于 \(k-1\sim k\),误差是

\[\sqrt k-\int_{k-1}^k\sqrt x\text dx \]

然后考虑到 \(\sqrt x\) 是个上凸函数,于是这个误差小于一个三角形的面积,即 \(\dfrac 12(\sqrt k-\sqrt{k-1})\)。于是得到

\[\sum_{k=1}^n\sqrt k<\frac{2n}3\sqrt n+\sum_{k=1}^n{\sqrt k-\sqrt{k-1}} \]

把差分消掉就是上边的东西。

然后考虑我不会的那个东西。joke3579 跟我说和群论有关系,但是不是群论。我问啥,他说 Abel。我问啥意思,他说 Abel 变换。鉴定为有点大病。

先看下界。考察 \(\sum_{k=1}^n\sqrt k\) 阿贝尔变换后的结果

\[\begin{aligned} &\sum_{k=1}^{n-1}k(\sqrt k-\sqrt{k+1})+n\sqrt n\\ =&-\left(\sum_{k=1}^{n-1}\frac k{\sqrt k+\sqrt{k+1}}\right)+n\sqrt n\\ >&-\left(\sum_{k=1}^{n-1}\frac k{2\sqrt k}\right)+n\sqrt n\\ =&\left(-\frac 12\right)(\sum_{k=1}^n\sqrt k-\sqrt n)+n\sqrt n \end{aligned} \]

解不等式即得到下界。

然后是上界。考虑到 \(\sum_{k=1}^n\sqrt k=\sum_{k=1}^n\dfrac k{\sqrt k}\),对其使用阿贝尔变换:

\[\begin{aligned} &\sum_{k=1}^{n-1}\frac {k(k+1)}2\left(\frac 1{\sqrt k}-\frac 1{\sqrt{k+1}}\right)+\frac{n(n+1)}2\frac 1{\sqrt n}\\ =&\frac 12\sum_{k=1}^{n-1}\frac{\sqrt{k(k+1)}}{\sqrt k+\sqrt{k+1}}+\frac{n(n+1)}2\frac 1{\sqrt n}\\ \end{aligned} \]

对每一项使用 \(a+b\ge 2\sqrt{ab}\):

\[\begin{aligned}\\ >&\frac 18\sum_{k=1}^{n-1}\sqrt k+\sqrt{k+1}+\frac{n(n+1)}2\frac 1{\sqrt n}\\ =&\frac 18\left(2\sum_{k=1}^n\sqrt k-\sqrt n-1\right)+\frac{n(n+1)}2\frac 1{\sqrt n}\\ \end{aligned} \]

仍然解不等式,得到上界。

很魔幻啊!那搬什么题。

标签:right,frac,树穴,sum,sqrt,一些,aligned,left
From: https://www.cnblogs.com/gtm1514/p/17473597.html

相关文章

  • 一些实用的linux命令
    一、cd的几个小技巧cd–#回到上次所在目录,这个技巧我原来还真是不知道,感觉还是比较有用,省略了很多输入。cd#回到主目录cd~#同样也是回到主目录当进入到一个很深的目录后,一不小心从该目录跳出了,该怎么办呢,别急,这时有cd–命令可以快速跳回上一次cd命令执行之前的目录中,通常也......
  • 收集一些运营商PPPoE拨号失败的返回信息记录以及拨号上网的历史
    PPPoE拨号失败在不同系统返回表现差异很大,有的系统可以得到相当详细的信息,而有的系统连678691这种最简单的返回都不会有。691>678,很显然,678数字比较小,一般是较前的步骤。如果网线没有连接好,或者“本地连接”被禁用,网卡驱动没有安装之类的无网络通信的状态试图拨号,会很快,或者很漫长......
  • nginx-clojure 源码构建一些问题
    因为nginx-clojure就是一个标准的nginx模块,一些是尝试基于源码进行构建发现一些问题的说明简单说明nginx当前1.25版本的构建是有问题的,1.24版本构建是可以的,1.23版本实际上官方已经提供了但是如果查看nginx官方文档会发现1.23版本的下载官方是似乎移除了,没直接提......
  • nginx-clojure 0.6.0 的一些新特性
    昨天制作了0.6.0的docker镜像,并说明了一些问题,以下简单说明下一些新特性新特性所有的handler可以在http以及servercontext使用了,可以方便进行组合使用nginx1.23.x支持jdk19支持,支持协程了官方提供的二进制构建基于1.23.3说明昨天也说明了,官方提供的二进制包缺......
  • 关于前缀和的一些基础概念
    写在前面在数据结构和算法中,前缀和(PrefixSum)是一种常见的技术,用于快速计算数组或序列中某个位置之前的元素的和。除了常规的前缀和之外,还有一些常见的前缀和的变种前缀和的种类常规前缀和对于数组nums,前缀和prefixSum[i]表示从索引0到索引i(包括i)的元素的和。prefixSum[i]=......
  • mysql一些函数使用语法
    1、指定某些数据,替换某个字段内容中的字符:如:把t_user表中的picurl字段中包含aaa的全换成wwwUPDATEt_usersetpicurl=REPLACE(picurl,'aaa','www')WHEREsyn='2' 2、explain函数,查看sql语句执行效率:explain后面跟查询sqlexplainselect*fromxxxxxleftjoinx......
  • 每日一题 #2 | 一些被特殊数字整除的数的性质
    S1:被4,25整除的数,最后两位一定被4,25整除.Proof:被4和25整除的数\(I\),可以看成\(\overline{a_na_{n-1}\cdotsa_3pq}\),前面的\(\overline{a_na_{n-1}\cdotsa_3}\)可以看成\(100x\),因为\(4,5|100x\),所以\(4,5|pq\),其他情况也可以这样"构造分析"(比如8,......
  • 收集的一些GIS数据网站
    (1)MODIS影像数据http://ladsweb.nascom.nasa.gov/data/search.html(AOD数据是采用NASA发布的搭载在Aqua传感器上的MOD04level2C6版本二级的气溶胶数据)(2)PM2.5质量浓度数据http://113.108.142.147:20035/emcpublish/(PM2.5数据来源于全国城市空气质量实时发布平台)(3)气象数据http://cdc......
  • pytest的一些关键点
    一.pytest测试框架1.单元测试:是指在软件开发当中,针对软件的最小单位(函数,方法)进行正确性的检查测试。java:junit,testngpython:unittest,pytest2.自动化测试框架作用①提高测试效率,降低维护成本②减少人工干预,提高测试的准确性,增加代码的重用性③核心思想是让不懂代码的......
  • 小灰灰深度学习day7——画一元二次方程某一点的切线以及一些概念
    #我们在这里画的是方程3*x**2-4*x在x=1处的切线#欠拟合:欠拟合指的是模型对训练数据的拟合度过低,误差值过大,自然泛化能力也不怎么好。#泛化能力指模型对未知数据的拟合度#过拟合:指模型对训练数据的拟合度较好,误差值较小,但是泛化能力并不好。#对误差函数进行惩罚,从......