求证一个函数单调性问题（形式简单，数十人未证出，施予援手必有重谢 - 数学 - 基础数学

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

登录注册

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

24小时热门版块排行榜

返回列表

kanglegong

银虫 (正式写手)

应助: 5 (幼儿园)
金币: 659
红花: 13
帖子: 357
在线: 451.3小时
虫号: 1977606
注册: 2012-09-05
专业: 机械测试理论与技术

引用回帖:

10楼: Originally posted by hank612 at 2014-08-03 13:34:57
直接用单调的定义就好了，结论其实是非常强的

Emuch024.png

楼主，求这个的出处！

赞一下

回复此楼

11楼2014-08-03 23:40:25

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

hank612

至尊木虫 (著名写手)

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

引用回帖:

11楼: Originally posted by kanglegong at 2014-08-03 23:40:25
楼主，求这个的出处！...

这个Weierstrass的因式定理，网络上随便搜都有吧，比如
http://en.wikipedia.org/wiki/Weierstrass_factorization_theorem
剩下的计算，实在是没有什么可以计算，只是正负符号判断而已呀
并且因为每一项系数都是正的，连放缩都免了，没有必要啊

另外，发了图片后发现自己又犯晕了。用图片中的幂级数展开式，直接证明导函数的分子大于零更加简单，这就是许多网友早就断言的思路。楼主写一下就知道了，就两行而已。

赞一下(2人)

回复此楼

We_must_know. We_will_know.

12楼2014-08-04 02:09:58

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

kanglegong

银虫 (正式写手)

应助: 5 (幼儿园)
金币: 659
红花: 13
帖子: 357
在线: 451.3小时
虫号: 1977606
注册: 2012-09-05
专业: 机械测试理论与技术

内容已删除

回复此楼

13楼2014-08-04 12:00:46

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

hank612

至尊木虫 (著名写手)

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

引用回帖:

13楼: Originally posted by kanglegong at 2014-08-04 12:00:46
不过还是推不出来啊，看了很久没有看明白，求详细步骤，谢谢大神...

(1) Weierstrass 因式定理，类似于"多项式P(x)有根a 充分必要条件是(x-a)是 P(x)的因式"的推广。由于sin(z)的根为 $k\pi, \mathrm{where } k=0,\pm\pi,\pm2\pi,\dots$ , 立刻得到 $\sin{z}=z\cdot (1-\frac{z^2}{\pi^2})\cdot (1-\frac{z^2}{(2\pi)^2})\cdot ...$

(2) 由于Ln对数函数将乘积变成和，所以 $\ln{\frac{\sin{z}}{z}}=\sum_{n=1}^{\infty} \ln(1-\frac{z^2}{n^2{\pi}^2}).$

(3) 由于ln(1-x)的Taylor展式, 将每一个 $\ln(1-\frac{z^2}{n^2{\pi}^2})$ 都展开，得到一个不完全的Taylor级数展开式：
$\ln{\frac{z}{\sin{z}}}=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{1}{k} \left(\frac{z^2}{n^2{\pi}^2}\right)^k$

(4) 你的H(x)分子分母都取个负号，得到 $H(x)=\frac{\ln{\frac{x}{\sin{x}}}}{\ln{\frac{ax}{\sin{ax}}}}$ , 然后求导，那么分子为
$(\ln{x}{\sin{x}})'\cdot\ln(\frac{az}{\sin{az}})-(\ln{x}{\sin{x}})\cdot \ln(\frac{az}{\sin{az}})'$
我们只要证明这个分子是大于零的就够了。

(5)由于级数是可以逐项求导的，所以 $(\ln{x}{\sin{x}})'=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty} \frac{2z^{2k-1}}{n^{2k}{\pi}^{2k}}$ , $\ln(\frac{az}{\sin{az}})'=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty} \frac{2a^{2k}z^{2k-1}}{n^{2k}{\pi}^{2k}}$ , 这样可以得到分子为(千万不要化简)
$\sum_{n=1}^{\infty}\sum_{k=1}^{\infty} \frac{2z^{2k-1}}{n^{2k}{\pi}^{2k}}\cdot \sum_{m=1}^{\infty}\sum_{j=1}^{\infty} \frac{a^{2j}z^{2j}}{jm^{2j}{\pi}^{2j}} -\sum_{n=1}^{\infty}\sum_{k=1}^{\infty} \frac{z^{2k}}{kn^{2k}{\pi}^{2k}}\cdot \sum_{m=1}^{\infty}\sum_{j=1}^{\infty} \frac{2a^{2j}z^{2j-1}}{m^{2j}{\pi}^{2j}}$

(6)这个分子依然是Taylor级数，并且z的幂次只有奇数（偶函数的导数是奇函数）。我们来看看z^{2p-1}的系数是怎么个表达式。

(7)当且仅当 k+j=p, 1<=k, 1<=j 这样的k,j 才对z^{2p-1}的系数有贡献。提出一个常数因子 $\frac{2}{{\pi}^{2p}}$ ,并将j=p-k代替, 因此 $\frac{2z^{2p-1}}{{\pi}^{2p}}$ 在分子中的系数等于
$\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{a^{2p-2k}}{(p-k)n^{2k}m^{2p-2k}} -\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{a^{2p-2k}}{kn^{2k}m^{2p-2k}}$
注意了，到现在为止，尽量少做化简，No Zuo No Die。

(8)合并同类项，得到 $\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{(2k-p)a^{2p-2k}}{k(p-k)n^{2k}m^{2p-2k}}$ .

(9)这下可以看出，这(p-1)项有一半是正的，一半是负的。我们将 1<=k<=[(p-1)/2] 和[(p+1)/2]<=k’<=p-1作一一配对，即 k’=p-k. 于是得到
$\sum_{k=1}^{[(p-1)/2]}\sum_{n,m=1}^{\infty}\frac{(2k-p)a^{2p-2k}}{k(p-k)n^{2k}m^{2p-2k}}+\sum_{k=1}^{[(p-1)/2]}\sum_{n,m=1}^{\infty}\frac{(2k’-p)a^{2p-2k’}}{k’(p-k’)n^{2k’}m^{2p-2k’}}=\sum_{k=1}^{[(p-1)/2]}\frac{(2k-p)}{k(p-k)}\left(a^{2p-2k} \cdot \sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}-a^{2k}\cdot \sum_{n,m=1}^{\infty}\frac{1}{n^{2p-2k}m^{2k}}\right)$ .

(10)在求和符号中，n,m只是记号，所以换个记号也不影响和式，所以 $\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}=\sum_{n,m=1}^{\infty}\frac{1}{n^{2p-2k}m^{2k}}$

(11)系数再次提取公因式，得到
$\sum_{k=1}^{[(p-1)/2]}\frac{(2k-p)(a^{2p-2k}-a^{2k})}{k(p-k)}\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}\right)$
由于1<=k<=[(p-1)/2]时，2k-p恒负，但因为0<a<1, 因式 $(a^{2p-2k}-a^{2k})$ 也是恒负，结果总的符号恒正，所以系数恒正，所以导数分子恒正。

(12) 楼主只说没有看懂，却没有说哪一步没有看懂，只好从头敲一大堆文字符号，估计typo不可避免，

最后说明一下，尽量少化简，少放缩，少兜路，多做多错。

赞一下

回复此楼

We_must_know. We_will_know.

14楼2014-08-04 23:01:06

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

hank612

至尊木虫 (著名写手)

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

引用回帖:

14楼: Originally posted by hank612 at 2014-08-04 23:01:06

(1) Weierstrass 因式定理，类似于"多项式P(x)有根a 充分必要条件是(x-a)是 P(x)的因式"的推广。由于sin(z)的根为k\pi, \mathrm{where } k=0,\pm\pi,\pm2\pi,\dots, 立刻得到 \si ...

趁着文件还在，把typo修改了一下，哈哈哈哈哈哈哈

(1) Weierstrass 因式定理，类似于"多项式P(x)有根a 充分必要条件是(x-a)是 P(x)的因式"的推广。由于sin(z)的根为 $k\pi,$ , 其中 $k=0,\pm\pi,\pm2\pi,\dots$ , 立刻得到 $\sin{z}=z\cdot (1-\frac{z^2}{\pi^2})\cdot (1-\frac{z^2}{(2\pi)^2})\cdot ...$

(2) 由于Ln对数函数将乘积变成和，所以 $\ln{\frac{\sin{z}}{z}}=\sum_{n=1}^{\infty} \ln(1-\frac{z^2}{n^2{\pi}^2}).$

(3) 由于 $\ln(1-x)=-\sum_{k=1}^{\infty}\frac{x^k}{k}$ 的Taylor展式, 将每一个 $\ln(1-\frac{z^2}{n^2{\pi}^2})$ 都展开，得到一个不完全的Taylor级数展开式：
$\ln{\frac{z}{\sin{z}}}=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{1}{k}\left(\frac{z^2}{n^2{\pi}^2}\right)^k$

(4) 你的H(x)分子分母都取个负号，得到 $H(x)=\frac{\ln{\frac{x}{\sin{x}}}}{\ln{\frac{ax}{\sin{ax}}}}$ , 然后求导，那么分子为
$(\ln{\frac{x}{\sin{x}}})'\cdot\ln(\frac{az}{\sin{az}})-(\ln{\frac{x}{\sin{x}}})\cdot \ln(\frac{az}{\sin{az}})'$
我们只要证明这个分子是大于零的就够了。

(5)由于级数是可以逐项求导的，所以 $(\ln{\frac{x}{\sin{x}}})'=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{2z^{2k-1}}{n^{2k}{\pi}^{2k}},\quad \ln(\frac{az}{\sin{az}})'=\sum_{n=1}^{\infty}\sum_{k=1}^{\infty} \frac{2a^{2k}z^{2k-1}}{n^{2k}{\pi}^{2k}}$ , 这样可以得到分子为(千万不要化简)
$\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{2z^{2k-1}}{n^{2k}{\pi}^{2k}}\cdot \sum_{m=1}^{\infty}\sum_{j=1}^{\infty}\frac{a^{2j}z^{2j}}{jm^{2j}{\pi}^{2j}} -\sum_{n=1}^{\infty}\sum_{k=1}^{\infty}\frac{z^{2k}}{kn^{2k}{\pi}^{2k}}\cdot \sum_{m=1}^{\infty}\sum_{j=1}^{\infty}\frac{2a^{2j}z^{2j-1}}{m^{2j}{\pi}^{2j}}$

(6)这个分子依然是Taylor级数，并且z的幂次只有奇数（偶函数的导数是奇函数）。我们来看看z^{2p-1}的系数是怎么个表达式。

(7)当且仅当 k+j=p, 1<=k, 1<=j 这样的k,j 才对z^{2p-1}的系数有所贡献。提出一个常数因子 $\frac{2}{{\pi}^{2p}}$ ,并将j=p-k来代替, 因此 $\frac{2z^{2p-1}}{{\pi}^{2p}}$ 在分子中的系数等于
$\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{a^{2p-2k}}{(p-k)n^{2k}m^{2p-2k}}-\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{a^{2p-2k}}{kn^{2k}m^{2p-2k}}$
注意了，到现在为止，尽量少做化简，No Zuo No Die。

(8)合并同类项，得到 $\sum_{n,m=1}^{\infty}\sum_{k=1}^{p-1}\frac{(2k-p)a^{2p-2k}}{k(p-k)n^{2k}m^{2p-2k}}$ .

(9)这下可以看出，这(p-1)项有一半是正的，一半是负的。我们将 1<=k<=[(p-1)/2] 和[(p+1)/2]<=s<=p-1作一一配对，即 s=p-k. 于是得到
$\sum_{k=1}^{[(p-1)/2]}\sum_{n,m=1}^{\infty}\frac{(2k-p)a^{2p-2k}}{k(p-k)n^{2k}m^{2p-2k}}+\sum_{k=1}^{[(p-1)/2]}\sum_{n,m=1}^{\infty}\frac{(2s-p)a^{2p-2s}}{s(p-s)n^{2s}m^{2p-2s}}=\sum_{k=1}^{[(p-1)/2]}\frac{(2k-p)}{k(p-k)}\left(a^{2p-2k}\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}-a^{2k}\sum_{n,m=1}^{\infty}\frac{1}{n^{2p-2k}m^{2k}}\right)$ .

(10)在求和符号中，n,m只是记号，所以换个记号也不影响和式，所以 $\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}=\sum_{n,m=1}^{\infty}\frac{1}{n^{2p-2k}m^{2k}}$

(11)系数再次提取公因式 $\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}$ ，得到
$\sum_{k=1}^{[(p-1)/2]}\frac{(2k-p)(a^{2p-2k}-a^{2k})}{k(p-k)}\sum_{n,m=1}^{\infty}\frac{1}{n^{2k}m^{2p-2k}}\right)$
由于1<=k<=[(p-1)/2]时，因式(2k-p)恒负，但因为0<a<1, 因式 $(a^{2p-2k}-a^{2k})$ 也是恒负，结果总的符号还是恒正，从而系数恒正，从而导数分子恒正。

赞一下(2人)

回复此楼

» 本帖已获得的红花（最新10朵）

kanglegong

We_must_know. We_will_know.

15楼2014-08-04 23:19:28

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

kanglegong

银虫 (正式写手)

应助: 5 (幼儿园)
金币: 659
红花: 13
帖子: 357
在线: 451.3小时
虫号: 1977606
注册: 2012-09-05
专业: 机械测试理论与技术

送红花一朵

引用回帖:

15楼: Originally posted by hank612 at 2014-08-04 23:19:28
趁着文件还在，把typo修改了一下，哈哈哈哈哈哈哈

(1) Weierstrass 因式定理，类似于"多项式P(x)有根a 充分必要条件是(x-a)是 P(x)的因式"的推广。由于sin(z)的根为k\pi, , 其中 k=0,\pm\pi,\pm2\p ...

谢谢大神啊，我在详细看看这个步骤！不好意思耽误你这个多时间，非常感谢！

赞一下

回复此楼

16楼2014-08-05 09:57:56

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

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

返回列表

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

[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +55	医学老男孩 2026-08-13	123/6150	2026-08-19 23:44 by stan_et
[基金申请] 今天基金会出结果吗？20260819 +13	kkkl_v 2026-08-19	13/650	2026-08-19 22:37 by 宝贝虫子
[基金申请] 时间戳变了，能看出什么问题？ +12	基诺咪客 2026-08-17	16/800	2026-08-19 22:04 by kk 的小木虫
[基金申请] filecode，4个jtjc了 +11	ziyangfang 2026-08-19	13/650	2026-08-19 21:28 by aasahr
[教师之家] 为什么余额宝的年化利率越来越低？主要原因有哪些？ +5	瞬息宇宙 2026-08-15	5/250	2026-08-19 20:23 by super2002521
[基金申请] 今天放榜没戏了吧 +4	yuleib84 2026-08-19	5/250	2026-08-19 19:52 by hhs666
[基金申请] 今天放榜吗？ +14	布布和一二 2026-08-19	15/750	2026-08-19 18:07 by gltch
[基金申请] filecode=后面第一个是大写字母 +10	wangze12014 2026-08-14	12/600	2026-08-19 16:56 by 苦难博士
[基金申请] 2027广东省杰青 +4	奶牛小黑 2026-08-15	10/500	2026-08-19 11:02 by wanfengnew
[基金申请] 朋友圈看到的 +6	wangzilk 2026-08-18	8/400	2026-08-19 10:55 by Haru815
[基金申请] 快农历七夕节了，轻松一下，男人悄悄话，女施主请不要进来。 +6	Tide man 2026-08-14	7/350	2026-08-19 09:56 by ZJTJZ
[基金申请] 什么时候开奖？ +6	CrisMessi 2026-08-18	6/300	2026-08-19 08:06 by Equinoxhua
[基金申请] 重要消息，中午系统在维护 +10	yuleib84 2026-08-18	11/550	2026-08-19 07:30 by 羽毛枫f
[基金申请] 明天放榜？ +5	Shxjjxjkx 2026-08-18	5/250	2026-08-18 18:14 by -大大大大大-
[论文投稿] 投稿咨询 +4	wwm09 2026-08-17	6/300	2026-08-18 15:36 by wwm09
[基金申请] 时间戳又变了8-15 +14	archvillain 2026-08-15	26/1300	2026-08-18 13:37 by phantomgost
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜？ +13	Ldrop2023 2026-08-13	16/800	2026-08-18 12:25 by 淀粉搬运工
[基金申请] 93BebMhtakh前后11位开头都是大写 +4	且听虎啸 2026-08-17	5/250	2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6	angus9576 2026-08-17	11/550	2026-08-17 23:57 by angus9576
[精细化工] 招聘金属平磨液，抛光液研发工程师 +3	小天0311 2026-08-14	3/150	2026-08-16 07:31 by H9PLUS