版块导航: 正在加载中...

登录注册

应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜

返回列表

i维数

木虫 (正式写手)

数学EPI: 4
应助: 74 (初中生)
金币: 3148.6
红花: 10
帖子: 691
在线: 941.9小时
虫号: 3691318
注册: 2015-02-17
性别: GG
专业: 偏微分方程

[求助] 如何证明这个不等式？

如图，谢谢各位大神！

不等式.png

回复此楼

» 猜你喜欢

垃圾破二本职称评审标准已经有19人回复
职称评审没过，求安慰已经有53人回复
毕业后当辅导员了，天天各种学生超烦已经有5人回复
26申博自荐已经有3人回复
A期刊撤稿已经有4人回复

» 本主题相关价值贴推荐，对您同样有帮助:

1楼 2016-07-30 12:46:07

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

请问一下楼主, 有没有什么提示? 譬如, 用某某定理, 用某某函数的某个展开式, 用某个积分或微分不等式...

从数学软件的数值上看, 不等式左边减右边相当接近0,这使得放缩很困难,很容易就过头了, 迫切需要指路明灯

赞一下

回复此楼

We_must_know. We_will_know.

2楼2016-08-03 02:41:15

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

i维数

木虫 (正式写手)

数学EPI: 4
应助: 74 (初中生)
金币: 3148.6
红花: 10
帖子: 691
在线: 941.9小时
虫号: 3691318
注册: 2015-02-17
性别: GG
专业: 偏微分方程

引用回帖:

2楼: Originally posted by hank612 at 2016-08-03 02:41:15
请问一下楼主, 有没有什么提示? 譬如, 用某某定理, 用某某函数的某个展开式, 用某个积分或微分不等式...

从数学软件的数值上看, 不等式左边减右边相当接近0,这使得放缩很困难,很容易就过头了, 迫切需要指路明灯: ...

见图。左边的不等式等价于f(n)>f(n+1).右边的不等式则是我自己猜想的。

karamata不等式.png

赞一下(1人)

回复此楼

3楼2016-08-03 11:01:40

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

引用回帖:

3楼: Originally posted by i维数 at 2016-08-03 11:01:40
见图。左边的不等式等价于f(n)>f(n+1).右边的不等式则是我自己猜想的。

karamata不等式.png
...

http://muchong.com/bbs/viewthread.php?tid=10012407 里面提到的Choi的文章
http://www.ams.org/journals/proc ... -1994-1195477-8.pdf

提到了Chen and Rubin 截至1994 依然Open的一个猜想(见图片)：
如果令 $\lambda(n)$ 为Gamma(n+1,1)分布的中位数median, 即 $\int_0^{\lambda(n)}\frac{t^n e^{-t}}{n!}dt=\frac{1}{2}$ , 那么 $\lambda(n)-n$ 是关于n 单调递减的函数（介于 $\frac{2}{3}$ 和 $\ln{2}$ 之间）。

我们只需要一个弱得多的版本： Chen-Rubin 弱猜想： $\frac{\lambda(n)}{n}$ 是关于n 单调递减的函数。

假设Chen-Rubin 弱猜想成立，我们来看看如何证明 @i维数的猜想(右边那个不等式)
$\frac{\sum_{k=0}^{n+1}\frac{(n+1)^k}{k!}-\frac{e^{n+1}}{2}}{\sum_{k=0}^{n}\frac{n^k}{k!}-\frac{e^n}{2}}<(1+\frac{1}{n})^{n+1}$

1.利用Lagrange 积分型余项的Taylor 展开式 $\sum_{k=0}^{m}\frac{x^k}{k!}f^{(k)}(0)=f(x)-\int_0^{x}\frac{t^m}{m!}f^{(m+1)}(x-t)dt$ ,

取函数f(x)=exp(x), x分别取n和n+1, m分别取n和n+1， i维数的不等式化为

$\frac{\frac{e^{n+1}}{2}-\int_0^{n+1}\frac{t^{n+1}}{(n+1)!}e^{n+1-t}dt}{\frac{e^n}{2}-\int_0^n \frac{t^n}{n!}e^{n-t}dt}<(1+\frac{1}{n})^{n+1}$

2.分子分母消去公因子exp(n), 再利用 $\lambda(n),\lambda(n+1)$ 的定义式，得到

$e\cdot \int_{n+1}^{\lambda(n+1)}\frac{t^{n+1}}{(n+1)!}e^{-t}dt<(1+\frac{1}{n})^{n+1}\cdot \int_{n}^{\lambda(n)}\frac{t^n}{n!}e^{-t}dt$

3.上式等价于 $e\int_{n+1}^{\lambda(n+1)}(\frac{t}{n+1})^{n+1}e^{-t}d\frac{t}{n+1}<\int_n^{\lambda(n)}(\frac{t}{n})^n e^{-t}d\frac{t}{n}$

作个变量替换，得到 $\int_1^{\frac{\lambda(n+1)}{n+1}}e^{-(n+1)(z-1)}z^{n+1}dz<\int_1^{\frac{\lambda(n)}{n}} e^{-n(z-1)}z^ndz$

也就是 $\int_0^{\frac{\lambda(n+1)}{n+1}-1}(\frac{1+t}{e^t})^{n+1}dt<\int_0^{\frac{\lambda(n)}{n}-1} (\frac{1+t}{e^t})^ndt$

4. 由于 1+t<exp(t), 所以被积函数是关于n单调递减的。如果Chen-Rubin 弱猜想成立，那么积分上限也是关于n单调递减的， i维数的不等式显然成立啊。

Emuch031 Chen-Rudin conjecture.png

赞一下

回复此楼

We_must_know. We_will_know.

4楼2016-08-10 22:54:14

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

引用回帖:

4楼: Originally posted by hank612 at 2016-08-10 22:54:14
http://muchong.com/bbs/viewthread.php?tid=10012407 里面提到的Choi的文章
http://www.ams.org/journals/proc ... -1994-1195477-8.pdf

提到了Chen and Rubin 截至1994 依然Open的一个猜想(见图片)：
如果 ...

晕倒，原来这个Chen-Rubin conjecture 早在2005年就被H. Alzer 肯定地证明了，参考

http://www.math.ku.dk/~berg/manus/convex.pdf

如果打不开连接，请下载附件

恭喜 @i维数，不等式成立。

赞一下(1人)

回复此楼

» 本帖附件资源列表

欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com
附件 1 : convex.pdf

2016-08-10 23:12:20, 111.04 K

We_must_know. We_will_know.

5楼2016-08-10 23:17:20

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

数学EPI: 14
应助: 225 (大学生)
金币: 14270.6
散金: 1055
红花: 95
帖子: 1526
在线: 1375.8小时
虫号: 2530333
注册: 2013-07-03
性别: GG
专业: 理论和计算化学

引用回帖:

5楼: Originally posted by hank612 at 2016-08-10 23:17:20
晕倒，原来这个Chen-Rubin conjecture 早在2005年就被H. Alzer 肯定地证明了，参考

http://www.math.ku.dk/~berg/manus/convex.pdf

如果打不开连接，请下载附件

恭喜 @i维数，不等式成立。...

http://www.ams.org/journals/tran ... 9947-07-04411-X.pdf

再灌一篇纯水，摘要部分有精彩八卦

赞一下

回复此楼

» 本帖附件资源列表

欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com
附件 1 : S0002-9947-07-04411-X.pdf

2016-08-10 23:29:27, 276.94 K

We_must_know. We_will_know.

6楼2016-08-10 23:29:48

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 i维数的主题更新

返回列表