[Everyday Mathematics]20150204
设 $k_0>0$, $\phi:[k_0,\infty)\to[0,\infty)$ 是有界递减函数, 并且 $$\bex \phi(k)\leq \frac{A}{(k-h)^\al}\phi(h)^\beta,\quad k>h>k_0, \eex$$ 其中 $A,\al>0$, $0<\beta<1$. 试证: $$\bex \phi(k)\leq \frac{C_*}{k^\mu},\quad k>2k_0, \eex$$ 其中 $$\bex \mu=\frac{\al}{1-\beta},\quad C_*=2^{\mu+\frac{\mu}{1-\beta}}A^\frac{1}{1-\beta}. \eex$$
证明: 设 $$\bex \psi(h)=A^{-\frac{1}{1-\beta}} \phi(h), \eex$$ 则 $$\bex \psi(k)\leq\frac{1}{(k-h)^\al} \psi(h)^\beta,\quad k>h>k_0. \eex$$ 对 $k_0<h<k$, 定义序列 $$\beex \bea \psi(t_0)&\leq \frac{1}{(t_0-t_1)^\al} \psi(t_1)^\beta\\ &\leq \frac{1}{(t_0-t_1)^\al}\frac{1}{(t_1-t_2)^{\al \beta}} \psi(t_2)^{\beta^2}\\ &\leq \cdots\\ &\leq \prod_{j=1}^n (t_{j-1}-t_j)^{-\al \beta^{j-1}} \psi(t_n)^{\beta^n}. \eea \eeex$$ 注意到 $$\bex \prod_{j=1}^n (t_{j-1}-t_j)^{-\al \beta^{j-1}} =(k-h)^{-\frac{\al}{1-\beta}(1-\beta^n)} 2^{\al\sez{\frac{1-\beta^n}{(1-\beta)^n}-\frac{n\beta^n}{1-\beta}}}, \eex$$ 我们知取 $k>2k_0$, $h=k/2$ 后 $$\bex \psi(k)\leq \sex{\frac{k}{2}}^{-\frac{\al}{1-\beta}(1-\beta^n)} 2^{\al\sez{\frac{1-\beta^n}{(1-\beta)^n}-\frac{n\beta^n}{1-\beta}}} \psi(t_0)^{\beta^n}. \eex$$ 令 $n\to\infty$, 有 $$\bex \psi(k)\leq k^{-\mu}2^{\mu+\frac{\mu}{1-\beta}},\quad \phi(k)\leq \frac{2^{\mu+\frac{\mu}{1-\beta}}A^\frac{1}{1-\beta}}{k^\mu}. \eex$$
[Everyday Mathematics]20150204相关推荐
- [Everyday Mathematics]20150222
设 $$\bex a_0=1,\quad a_1=\frac{1}{2},\quad a_{n+1}=\frac{na_n^2}{1+(n+1)a_n}\ (n\geq 1). \eex$$ 试证: ...
- [Everyday Mathematics]20150107
设 $f\in C^1[a,b]$, $f(a)=0$, 且存在 $\lm>0$, 使得 $$\bex |f'(x)|\leq \lm |f(x)|,\quad \forall\ x\in [a ...
- [Everyday Mathematics]20150214
设 $\dps{x\in \sex{0,\frac{\pi}{2}}}$, 试比较 $\tan(\sin x)$ 和 $\sin(\tan x)$. 转载于:https://www.cnblogs.c ...
- [Everyday Mathematics]20150203
设 $f$ 在 $\bbR$ 上连续可导, 且 $\dps{f'\sex{\frac{1}{2}}=0}$. 试证: $$\bex \exists\ \xi\in \sex{0,\frac{1}{2} ...
- [Everyday Mathematics]20150103
试求极限$$\bex \vlm{n} \sez{\int_1^{e^2}\sex{\frac{\ln x}{x}}^n\rd x}^\frac{1}{n}.\eex$$ 转载于:https://www ...
- [Everyday Mathematics]20150104
设 $a>0$, $$\bex x_1=1,\quad x_{n+1}=x_n+an\prod_{i=1}^n x_i^{-\frac{1}{n}}. \eex$$ 试证: $$\bex \vl ...
- [Everyday Mathematics]20150221
设 $y_n=x_n^2$ 如下归纳定义: $$\bex x_1=\sqrt{5},\quad x_{n+1}=x_n^2-2\ (n=1,2,\cdots). \eex$$ 试求 $\dps{\vl ...
- [Everyday Mathematics]20150113
设 $f\in C^2(0,+\infty)$ 适合 $$\bex \lim_{x\to 0^+}f'(x)=-\infty,\quad \lim_{x\to 0^+}f''(x)=+\infty. ...
- [Everyday Mathematics]20150101
(1). 设 $f(x),g(x)$ 在 $[a,b]$ 上同时单调递增或单调递减, 试证: \[ (b-a)\int_a^b f(x)g(x)\mathrm{\,d}x \geq \int_a^b ...
最新文章
- LeetCode 102二叉树的层序遍历103二叉树锯齿形遍历104二叉树的最大深度
- Tomcat的下载安装以及在eclipse中的配置
- python为什么没有点击就触发_Ai中没有触发的触发器
- NXP UWB NCJ29D5开发(二)BlinkyLed例程
- excel c# 输出
- git 查看修改用户名
- mysql date max_mysql – 每个ID的SELECT MAX DATE
- AndroidStudio_后台_服务的介绍_生命周期_注册_启动停止---Android原生开发工作笔记215
- android播放视频来源库,一个强悍而优美的Android视频播放器
- Vue:错误Component template should contain exactly one root element解决
- [C#]System.Timers.Timer(2)
- 当前网络上迅雷各版本实际效果研究报告
- 在MAC上如何隐藏文件夹以及查看隐藏文件
- c 语言 随机值的生成器,C 语言随机数生成器的实现分析
- python中的round函数怎么解释_round函数怎么用_python中round函数怎么用
- w550 白屏解决办法
- java.io.FileNotFoundException: /storage/emulated/0/Pictures/QQ/video.mp4: open failed: EACCES (Permi
- linux载入pytorch的预训练模型时遇到_pickle.UnpicklingError: unpickling stack underflow
- lingo标准模型与编程(附习题、代码)
- ffmpeg截取一段视频
热门文章
- FxCop的一些规范建议
- vue中使用百度地图为啥是空白_vue中使用腾讯地图(尝试篇)
- Docker Swarm mode与滚动升级
- Win64 驱动内核编程-17. MINIFILTER(文件保护)
- PowerShell-5.网络请求
- POJ1258最小生成树简单题
- hdu4982 暴搜+剪枝(k个数和是n,k-1个数的和是平方数)
- 【Groovy】使用 Groovy 语言开发服务器 Server 和客户端 Client 套接字程序 ( 服务器端开发 )
- 【Groovy】集合遍历 ( 使用集合的 find 方法查找集合元素 | 闭包中使用 == 作为查找匹配条件 | 闭包中使用 is 作为查找匹配条件 | 闭包使用 true 作为条件 | 代码示例 )
- 【设计模式】代理模式 ( 静态代理 )