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

客户端APP下载

登录注册

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

24小时热门版块排行榜

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

i维数

木虫 (正式写手)

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

[求助] 关于一道积分不等式的猜想

如图。第一，第四个可以验证他们的大小关系，其余的就不会了。请大神看看猜想是否正确，怎么证明？谢谢！

关于一道积分不等式的猜想

猜想积分不等式.png

» 猜你喜欢

上海工程技术大学张培磊教授团队招收博士生已经有3人回复
上海工程技术大学【激光智能制造】课题组招收硕士已经有5人回复
求助院士们，这个如何合成呀已经有4人回复
临港实验室与上科大联培博士招生1名已经有9人回复
想换工作。大多数高校都是评职称时认可5年内在原单位取得的成果吗？已经有7人回复
需要合成515-64-0，50g，能接单的留言已经有4人回复
自荐读博已经有4人回复
写了一篇“相变储能技术在冷库中应用”的论文，论文内容以实验为主，投什么期刊合适？已经有6人回复
带资进组求博导收留已经有10人回复
最近几年招的学生写论文不引自己组发的文章已经有11人回复

1楼 2016-02-28 14:08:25

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

hank612

至尊木虫 (著名写手)

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

http://www.ams.org/journals/proc ... -1994-1195477-8.pdf

这个问题出乎意料地深刻，需要借助Ramanujan的某个不等式：
若 $\frac{e^n}{2}=\sum_{k=0}^{n-1}\frac{n^k}{k!}+\theta(n)\frac{n^n}{n!}$ , 则有
$\frac{1}{3}\leq \theta(n)\leq \frac{1}{2}$

上文作者 K.P. Choi 证明了图片中的结论，这基本上就可以推出 @i维数的三个不等式。具体推导我尚未完成，楼主不妨花点时间写一下。

关于一道积分不等式的猜想-1

Emuch027 median of gamma distribution.png

We_must_know. We_will_know.

8楼2016-07-08 12:37:34

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

查看全部 9 个回答

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

数学EPI: 7
应助: 157 (高中生)
贵宾: 0.927
金币: 9349.6
散金: 4503
红花: 77
沙发: 2
帖子: 2745
在线: 1465.6小时
虫号: 3086598
注册: 2014-03-25
管辖: 数学

令 $f(n)=\int_0^nx^ne^{-x}dx$ ，则有

$\int_2^{+\infty}x^2e^{-x}dx=\int_0^{+\infty}x^2e^{-x}dx-\int_0^2x^2e^{-x}dx=\frac{10}{e^2}$

$\int_0^3x^2e^{-x}dx=2-\frac{17}{e^3}$

但是，我们有不等式：

$\frac{10}{e^2}>2-\frac{17}{e^3}$

所以就有：

$\int_2^{+\infty}x^2e^{-x}dx>\int_0^3x^2e^{-x}dx$

因此，不等式

$\int_n^{+\infty}x^ne^{-x}dx>\int_0^{n+1}x^ne^{-x}dx$

对n=2成立。

青葱岁月圣诞夜，浪漫歌舞迎新年。

2楼2016-02-29 01:31:15

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

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

数学EPI: 7
应助: 157 (高中生)
贵宾: 0.927
金币: 9349.6
散金: 4503
红花: 77
沙发: 2
帖子: 2745
在线: 1465.6小时
虫号: 3086598
注册: 2014-03-25
管辖: 数学

令 $f(n)=\int_0^nx^ne^{-x}dx$ ，则有

$\int x^ne^{-x}dx=-\left(\sum\limits_{k=0}^nk!C_n^kx^{n-k}\right)e^{-x}+Const$

所以就有：

$\int_0^nx^ne^{-x}dx=-\left(\sum\limits_{k=0}^nk!C_n^kn^{n-k}\right)e^{-n}+n!$

于是就有：

$\int_n^{+\infty}x^ne^{-x}dx=\left(\sum\limits_{k=0}^nk!C_n^kn^{n-k}\right)e^{-n}$

$\int_0^{n+1}x^ne^{-x}dx=-\left(\sum\limits_{k=0}^nk!C_n^k(n+1)^{n-k}\right)e^{-(n+1)}+n!$

因此证明不等式：

$\int_n^{+\infty}x^ne^{-x}dx>\int_0^{n+1}x^ne^{-x}dx$

就等价于证明不等式

$\sum\limits_{k=0}^nk!C_n^k(n+1)^{n-k}>e\left(n!e^n-\left(\sum\limits_{k=0}^nk!C_n^kn^{n-k}\right)\right)$

青葱岁月圣诞夜，浪漫歌舞迎新年。

3楼2016-02-29 02:14:39

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

i维数

木虫 (正式写手)

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

然后又要怎么证明呢？

[ 发自手机版 http://muchong.com/3g ]

4楼2016-02-29 08:55:24

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

查看全部 9 个回答