作者hau (小豪)
看板Math
标题[分析] 有关实分析
时间Thu Aug 13 00:08:54 2020
这是有关使用 LDCT 的例子：
t≧0 , n∈N
函数序列 f_n = ( 1 + t/√n )^n * exp(-(√n)t ) 需要有可积分的上界
请问如何证明
f_n ≦ (1+t)*exp(-t)
================================================
一点想法：证明 f_n 递减就好，但 f_{n+1}-f_n 或 f_{n+1}/f_n 都看不出来
用微分也看不大出来……
--
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 112.104.139.31 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1597248536.A.9F5.html
1F：推 hwanger : Let g(z)= z^2 - 2z log(z) -1 08/13 08:19
2F：→ hwanger : It's easy to see g is strictly increasing for 08/13 08:20
3F：→ hwanger : z in [1,infty) and g(1)=0 08/13 08:20
4F：→ hwanger : Let h(y) = (2log(1+y))/y - 1/(1+y) - 1 08/13 08:22
5F：→ hwanger : Note that h goes to 0 as y goes to 0 08/13 08:22
6F：→ hwanger : Since for all positive y, g(1+y)/(y(y+1)) > 0 08/13 08:24
7F：→ hwanger : h(y) < or = 0 for y in [0,infty) 08/13 08:25
8F：→ hwanger : Given non-negative t, consider the function 08/13 08:26
9F：→ hwanger : f(x) = (1+t/x)^(x^2)exp(-tx) defined on [1,inf) 08/13 08:27
10F：→ hwanger : Then f'(x) = t f(x) h(t/x), which is 08/13 08:29
11F：→ hwanger : non-positive 08/13 08:30
12F：→ hwanger : Note that f_n(t) = f(√n) 08/13 08:32
13F：推 hwanger : the idea is stupid but works 08/13 08:35
14F：推 hwanger : it may be better if i use the notation F_t(x) in 08/13 10:14
15F：→ hwanger : stead of f(x) 08/13 10:14
16F：→ hau : 厉害！完成了，感谢~~ 08/13 16:33
17F：推 hwanger : 可参照"A Problem Seminar, Donald J Newman"第94题 08/13 20:02
18F：→ hwanger : 有想法一样但作法不太一样的证明 08/13 20:02
19F：推 Vulpix : 这题不是直接对 n 微分就好了吗？ 08/13 21:35
20F：→ cmrafsts : 你直接展开不就有 ( 1 + t/√n )^n < exp(√nt ) 08/13 22:09
21F：推 hwanger : V大说的没错 "A Problem Seminar"就是对n微分 重点 08/13 22:20
22F：→ hwanger : 在微分後如何说明 导函数小於等於0 08/13 22:21
23F：推 hwanger : 至於c大的不等式可以说明 f_n(t) < 1 但我不太明白 08/13 22:24
24F：→ hwanger : 接下来怎麽做 08/13 22:24
25F：推 cmrafsts : 喔我了解了，不好意思刚刚看错 08/13 23:38
26F：推 cmrafsts : 如果你只要可积分的上届，趋近0用常数压，趋近infty 08/13 23:41
27F：→ cmrafsts : 抱歉我又错了不要理我 08/13 23:42
28F：推 cmrafsts : log(f_1/f_n)的微分是(√n-1)t^2/(√n+t)(1+t)>0 08/14 00:11
29F：推 hwanger : c大漂亮地证明不等式的本身 08/14 00:36
30F：推 cmrafsts : 抱歉，我的意思是你要证明exp((\sqrt{n}-1)t)>= 08/14 00:43
31F：→ cmrafsts : (1+t/\sqrt{n})^n/(1+t). t=0成立，然後两边取log 08/14 00:44
32F：→ cmrafsts : 微分 08/14 00:44
33F：推 hwanger : ??? 你那行不是证明了对於所有t log(f_1/f_n)非负 08/14 00:52
34F：→ hwanger : 所以f_1>= f_n 08/14 00:52
35F：推 hwanger : 我不太懂你後来再讲交叉相乘的用意? 08/14 00:55
36F：→ cmrafsts : 半夜脑袋不清楚0.0 08/14 02:17
37F：→ hwanger : XDD 直接对 f_n/f_1 微分 就会得到 08/14 08:38
38F：→ hwanger : -[(√n-1)t^2*f_n]/[(t+1)(t+√n)f_1] < or = 0 08/14 08:40