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

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

客户端APP下载

论文辅导

调剂小程序

登录注册

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

24小时热门版块排行榜

>论坛更新日志 (6964)
>考研 (2002)
>导师招生 (1633)
>文献求助 (519)
>考博 (316)
>虫友互识 (307)
>硕博家园 (168)
>休闲灌水 (154)
>博后之家 (129)
>基金申请 (118)
>招聘信息布告栏 (114)
>论文投稿 (99)
>第一性原理 (79)
>教师之家 (74)
>公派出国 (50)
>外文书籍求助 (32)

返回列表

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 的主题更新

返回列表

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

[考研] 311求调剂 +3	冬十三 2026-03-24	3/150	2026-03-24 21:31 by peike
[考研] 306求0703调剂一志愿华中师范 +10	纸鱼ly 2026-03-21	11/550	2026-03-24 17:22 by qingfeng258
[考研] 293求调剂 +6	加一一九 2026-03-24	6/300	2026-03-24 14:29 by JourneyLucky
[考研] 305分求调剂（食品工程） +5	Sxy112 2026-03-21	7/350	2026-03-24 12:27 by 544594351
[考研] 求材料，环境专业调剂 +3	18567500178 2026-03-18	3/150	2026-03-23 23:50 by 热情沙漠
[考研] 335分 \| 材料与化工专硕 \| GPA 4.07 \| 有科研经历 +4	cccchenso 2026-03-23	4/200	2026-03-23 23:00 by 徐ckkk
[考研] 327求调剂 +5	prayer13 2026-03-23	5/250	2026-03-23 22:11 by 星空星月
[考研] 384求调剂 +3	子系博 2026-03-22	6/300	2026-03-23 21:45 by 子系博
[考研] 一志愿陕师大生物学071000，298分，求调剂 +3	SYA！ 2026-03-23	3/150	2026-03-23 19:09 by macy2011
[论文投稿] 急发核心期刊论文 +3	贤达问津 2026-03-23	5/250	2026-03-23 17:13 by 妹子不好惹
[考研] 求老师收我 +3	zzh16938784 2026-03-23	3/150	2026-03-23 12:56 by ztnimte
[考研] 298求调剂一志愿211 +3	上岸6666@ 2026-03-20	3/150	2026-03-22 15:50 by ColorlessPI
[考研] 260求调剂 +3	朱芷琳 2026-03-20	4/200	2026-03-22 15:12 by 朱芷琳
[考研] 考研调剂 +3	呼呼？~+123456 2026-03-21	3/150	2026-03-21 20:04 by 无际的草原
[考研] 一志愿东华大学控制学硕320求调剂 +3	Grand777 2026-03-21	3/150	2026-03-21 19:23 by 简之-
[考研] 265求调剂 +12	梁梁校校 2026-03-19	14/700	2026-03-21 13:38 by lature00
[考研] 材料 336 求调剂 +3	An@. 2026-03-18	4/200	2026-03-21 01:39 by JourneyLucky
[考研] 考研调剂求学校推荐 +3	伯乐29 2026-03-18	5/250	2026-03-20 22:59 by JourneyLucky
[考研] 一志愿苏州大学材料求调剂，总分315（英一） +5	sbdksD 2026-03-19	5/250	2026-03-20 22:10 by luoyongfeng
[考研] 求调剂 +3	@taotao 2026-03-20	3/150	2026-03-20 19:35 by JourneyLucky