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

登录注册

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

24小时热门版块排行榜

返回列表

本帖产生 1 个数学EPI ，点击这里进行查看

i维数

木虫 (正式写手)

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

[求助] 求证一道（积分）不等式

如图，谢谢各位！

不等式.png

回复此楼

» 猜你喜欢

270求调剂已经有8人回复
211本科材料化工求调剂已经有6人回复
求调剂已经有10人回复
求调剂已经有11人回复
272分材料子求调剂已经有43人回复
271求调剂已经有13人回复
283求调剂 086004考英二数二已经有16人回复
085410 273分调剂已经有4人回复
一志愿厦大0856，306求调剂已经有3人回复
304求调剂（085602，过四级，一志愿985）已经有28人回复

1楼 2016-05-12 23:53:11

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

回帖置顶 ( 共有1个 )

hank612

至尊木虫 (著名写手)

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

【答案】应助回帖

★ ★ ★ ★ ★
Edstrayer: 数学EPI+1, 应助指数+1, thank 2016-05-19 07:36:48
i维数: 金币+5, ★★★★★最佳答案 2016-05-19 17:52:19

长文, 慎入.

(1) 考虑次数小于n的所有实系数多项式组成的n维线性空间V,定义内积为 $<f,g>:=\int_{0}^{1}f(x)g(x)dx$ . V中所有系数和为零 $\{g(x)\in V:g(1)=0\}$ 的多项式组成(n-1)维子空间W.于是W在V中的正交补空间内有且仅有一个多项式 $f(x)=b_0+b_1x+b_2x^2\dots+b_{n-1}x^{n-1}$ 满足f(1)=1.
(2)容易看出, 在V中所有满足F(1)=1的多项式F(x)中, 必有 $\int_{0}^{1}F^2(x)dx\geq \int_{0}^{1} f^2(x)dx$ . 原因很简单, 由于F(x)-f(x)属于W, 所以 $\int_{0}^1(F-f)*fdx=0$ , 于是 $\int_{0}^{1}(F-f+f)^2=\int_{0}^1(F-f)^2+f^2+2(F-f)f=\int_{0}^1 (F-f)^2+\int_{0}^1 f^2$ , 从而f是使得平方的积分取到最小值但系数和仍为1的唯一多项式.

(3)由于 $1-x, 1-x^2,\ldots,1-x^{n-1}$ 恰好是W的一组基,且f(x)-1属于W, 我们知道
$\int_{0}^1 f^2(x)dx=\int_{0}^1 f(x)dx=\int_{0}^1 x*f(x)dx=\ldots=\int_{0}^1 x^{n-1}f(x)dx$ , 设这一串等式的值为A.

(4)代入f的表达式, 逐项积分, 得到n 个等式:
$b_0+\frac{b_1}{2}+\frac{b_2}{3}+\dots+\frac{b_{n-1}}{n}=A$
$\frac{b_0}{2}+\frac{b_1}{3}+\frac{b_2}{4}+\dots+\frac{b_{n-1}}{n+1}=A$
......,
$\frac{b_0}{n}+\frac{b_1}{ n+1}+\frac{b_2}{n+2}+\dots+\frac{b_{n-1}}{2n-1}=A$

(5)现在我们要踩一踩巨人的肩膀了.
https://en.wikipedia.org/wiki/Hilbert_matrix
$b_i$ 的系数矩阵恰好是Hilbert matrix H, $H_{ij}=\frac{1}{i+j-1}$ , 于是
$1=f(1)=\sum_{k=0}^{n-1} b_k$ 恰好是未知的常数A乘以 inverse Hilbert matrix的所有系数之和.
后者让我们再踩Samuel Schechter或者 R.B.Smith的肩膀(文章中第75页第一,二行formula(13) )
https://math.berkeley.edu/~strai ... y.matrices.1959.pdf
全部系数和等于s=n(p+n), 这里p=0, 于是 $1=A*n^2$ , 得到@ i维数的猜想 $A=\frac{1}{n^2}$
文章里formula(16)或上面的wikipedia连接有Hilbert逆矩阵的每个元素的具体表达式,大家可以得到b_i的具体表达式. 大致是 $b_0=(-1)^{n+1}\frac{1}{n},b_1=(-1)^{n+2}(n-\frac{1}{n})$ ,
以及 $(-1)^{n+j}*n*b_j$ 都是自然数.

赞一下

回复此楼

» 本帖附件资源列表

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

2016-05-18 05:05:37, 388.82 K

We_must_know. We_will_know.

13楼2016-05-18 05:05:40

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

回帖支持 ( 显示支持度最高的前 50 名 )

Edstrayer

版主 (著名写手)

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

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

$\left(\sum\limits_{k=0}^{n-1}a_k\right)^2-n^2\int_0^1\left(\sum\limits_{k=0}^{n-1}a_kx^k\right)^2dx$
$=\sum\limits_{k=0}^{n-1}a_k^2+2\sum\limits_{0\leqslant i<j\leqslant n-1}a_ia_j-n^2\left(\sum\limits_{k=0}^{n-1}\frac{a_k^2}{2k+1}+2\sum\limits_{0\leqslant i<j\leqslant n-1}\frac{a_ia_j}{i+j+1}\right)$
$=\sum\limits_{k=0}^{n-1}\left(1-\frac{n^2}{2k+1}\right)a_k^2+2\sum\limits_{0\leqslant i<j\leqslant n-1}\left(1-\frac{n^2}{i+j+1}\right)a_ia_j$
$\leqslant\sum\limits_{k=0}^{n-1}\left(1-\frac{n^2}{2n-1}\right)a_k^2+2\sum\limits_{0\leqslant i<j\leqslant n-1}\left(1-\frac{n^2}{2(n-1)}\right)a_ia_j$
$=\frac{-(n-1)^2}{2n-1}\sum\limits_{k=0}^{n-1}a_k^2-2\frac{n^2-2n+2}{2(n-1)}\sum\limits_{0\leqslant i<j\leqslant n-1}a_ia_j$
$\leqslant\frac{-(n-1)^2}{2n-1}\sum\limits_{k=0}^{n-1}a_k^2-2\frac{-(n-1)^2}{2n-1}\sum\limits_{0\leqslant i<j\leqslant n-1}a_ia_j$
$=\frac{-(n-1)^2}{2n-1}\left(\sum\limits_{k=0}^{n-1}a_k\right)^2$
$\leqslant 0$
所以就有不等式：

$\frac{\left(\sum\limits_{k=0}^{n-1}a_k\right)^2}{\int_0^1\left(\sum\limits_{k=0}^{n-1}a_kx^k\right)^2dx}\leqslant n^2$

至于不等式的等号何时成立，有待进一步的考虑！

赞一下(1人)

回复此楼

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

2楼2016-05-13 03:41:36

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

gold2007

捐助贵宾 (正式写手)

应助: 6 (幼儿园)
金币: 6394.3
散金: 679
红花: 18
帖子: 824
在线: 200.6小时
虫号: 2348409
注册: 2013-03-12
专业: 固体力学

引用回帖:

8楼: Originally posted by i维数 at 2016-05-13 17:15:56
我对拉格朗日数乘法的了解不多，就我所知此法的一个困难是解方程。用在这题的话要解的方程是不是会很麻烦？可否详细写一下？谢谢了！...

这样计算。求解一个线性方程组即可。

发自小木虫IOS客户端

赞一下(1人)

回复此楼

9楼2016-05-13 22:49:56

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

普通回帖

i维数

木虫 (正式写手)

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

引用回帖:

2楼: Originally posted by Edstrayer at 2016-05-13 03:41:36
\left(\sum\limits_{k=0}^{n-1}a_k\right)^2-n^2\int_0^1\left(\sum\limits_{k=0}^{n-1}a_kx^k\right)^2dx
=\sum\limits_{k=0}^{n-1}a_k^2+2\sum\limits_{0\leqslant i<j\leqslant n-1}a_ia_j-n^2\left(\sum\li ...

题目没有说ak为正数，你那里的放缩应该行不通

赞一下

回复此楼

3楼2016-05-13 12:27:17

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

gold2007

捐助贵宾 (正式写手)

应助: 6 (幼儿园)
金币: 6394.3
散金: 679
红花: 18
帖子: 824
在线: 200.6小时
虫号: 2348409
注册: 2013-03-12
专业: 固体力学

Max是对一切a_k求？

发自小木虫IOS客户端

赞一下

回复此楼

4楼2016-05-13 12:35:18

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

i维数

木虫 (正式写手)

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

引用回帖:

4楼: Originally posted by gold2007 at 2016-05-13 12:35:18
Max是对一切a_k求？

对，只需满足对所有不全为0的实数a_k

赞一下

回复此楼

5楼2016-05-13 12:43:45

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

gold2007

捐助贵宾 (正式写手)

应助: 6 (幼儿园)
金币: 6394.3
散金: 679
红花: 18
帖子: 824
在线: 200.6小时
虫号: 2348409
注册: 2013-03-12
专业: 固体力学

令分式的分母为1，转化为约束极值问题，用拉格朗日乘数法可解出。

发自小木虫IOS客户端

赞一下

回复此楼

6楼2016-05-13 15:31:16

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

gold2007

捐助贵宾 (正式写手)

应助: 6 (幼儿园)
金币: 6394.3
散金: 679
红花: 18
帖子: 824
在线: 200.6小时
虫号: 2348409
注册: 2013-03-12
专业: 固体力学

令分式分子为1，可能会更好些，这样的话，由拉格朗日乘数法行到的方程继是线性的。

发自小木虫IOS客户端

赞一下

回复此楼

7楼2016-05-13 16:51:48

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

i维数

木虫 (正式写手)

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

引用回帖:

7楼: Originally posted by gold2007 at 2016-05-13 16:51:48
令分式分子为1，可能会更好些，这样的话，由拉格朗日乘数法行到的方程继是线性的。

我对拉格朗日数乘法的了解不多，就我所知此法的一个困难是解方程。用在这题的话要解的方程是不是会很麻烦？可否详细写一下？谢谢了！

赞一下

回复此楼

8楼2016-05-13 17:15:56

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

i维数

木虫 (正式写手)

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

引用回帖:

9楼: Originally posted by gold2007 at 2016-05-13 22:49:56
这样计算。求解一个线性方程组即可。

...

然后呢，试了一下，解方程好像并不好解

赞一下

回复此楼

10楼2016-05-13 23:16:42

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

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

返回列表

最具人气热帖推荐 [查看全部]		作者	回/看	最后发表

[考研] 材料考研调剂 +17	云木达达 2026-04-11	19/950	2026-04-11 12:43 by sxx1988
[考研] 284求调剂 +8	archer.. 2026-04-09	9/450	2026-04-11 10:35 by zhq0425
[考研] 材料工程085601，270求调剂 +30	@ASDF1234 2026-04-08	32/1600	2026-04-11 10:30 by Delta2012
[考研] 070300化学学硕311分求调剂 +17	梁富贵险中求 2026-04-04	19/950	2026-04-11 00:29 by wangjihu
[考研] 本科南方医科大学一志愿985 药学学硕284分求调剂 +4	弱水听文 2026-04-09	4/200	2026-04-10 22:01 by doctff
[考研] 0856专硕求调剂希望是a区院校 +21	好好休息好不好 2026-04-09	24/1200	2026-04-10 16:58 by luoyongfeng
[考研] 初试261 +3	Asht少 2026-04-10	6/300	2026-04-10 16:38 by Asht少
[考研] 336材料与化工085600求调剂 +21	水星记infp 2026-04-05	24/1200	2026-04-10 15:28 by luoyongfeng
[考研] 292求调剂 +9	笑笑袁 2026-04-09	9/450	2026-04-10 10:05 by LHGeng
[考研] 085400电子信息类（川大控制工程）求调剂可跨专业求老师联系 +3	626776879 2026-04-08	3/150	2026-04-09 16:05 by 猪会飞
[考研] 311求调剂 +6	surte 2026-04-08	13/650	2026-04-09 14:00 by surte
[考研] 353求调剂 +8	晴空万里air 2026-04-07	8/400	2026-04-09 00:18 by GouQ
[考研] 求调剂，现在还能填的 +3	上岸小莹加油 2026-04-08	3/150	2026-04-08 14:30 by zhq0425
[考研] 336求调剂，一志愿中科大 +9	墨彧 yuyu 2026-04-06	9/450	2026-04-08 11:24 by 想读书的菌菌
[考研] 316求调剂 +4	15318418673 2026-04-07	4/200	2026-04-07 22:12 by hemengdong
[考研] 081700，311，求调剂 +17	冬十三 2026-04-04	18/900	2026-04-07 12:50 by Sammy2
[考研] 材料调剂 +5	小刘同学吖吖 2026-04-06	5/250	2026-04-06 18:34 by sherry_1901
[考研] 348求调剂 +3	车厘子zzz 2026-04-05	3/150	2026-04-05 20:30 by 啵啵啵0119
[考研] 求调剂到0856材料工程 +3	程9915 2026-04-05	3/150	2026-04-05 18:15 by 蓝云思雨
[考研] 生物学308分求调剂（一志愿华东师大） +8	相信必会光芒万� 2026-04-05	10/500	2026-04-05 12:19 by Hdyxbekcb