设 $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相关推荐

  1. [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$$ 试证: ...

  2. [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 ...

  3. [Everyday Mathematics]20150214

    设 $\dps{x\in \sex{0,\frac{\pi}{2}}}$, 试比较 $\tan(\sin x)$ 和 $\sin(\tan x)$. 转载于:https://www.cnblogs.c ...

  4. [Everyday Mathematics]20150203

    设 $f$ 在 $\bbR$ 上连续可导, 且 $\dps{f'\sex{\frac{1}{2}}=0}$. 试证: $$\bex \exists\ \xi\in \sex{0,\frac{1}{2} ...

  5. [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 ...

  6. [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 ...

  7. [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 ...

  8. [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. ...

  9. [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 ...

最新文章

  1. LeetCode 102二叉树的层序遍历103二叉树锯齿形遍历104二叉树的最大深度
  2. Tomcat的下载安装以及在eclipse中的配置
  3. python为什么没有点击就触发_Ai中没有触发的触发器
  4. NXP UWB NCJ29D5开发(二)BlinkyLed例程
  5. excel c# 输出
  6. git 查看修改用户名
  7. mysql date max_mysql – 每个ID的SELECT MAX DATE
  8. AndroidStudio_后台_服务的介绍_生命周期_注册_启动停止---Android原生开发工作笔记215
  9. android播放视频来源库,一个强悍而优美的Android视频播放器
  10. Vue:错误Component template should contain exactly one root element解决
  11. [C#]System.Timers.Timer(2)
  12. 当前网络上迅雷各版本实际效果研究报告
  13. 在MAC上如何隐藏文件夹以及查看隐藏文件
  14. c 语言 随机值的生成器,C 语言随机数生成器的实现分析
  15. python中的round函数怎么解释_round函数怎么用_python中round函数怎么用
  16. w550 白屏解决办法
  17. java.io.FileNotFoundException: /storage/emulated/0/Pictures/QQ/video.mp4: open failed: EACCES (Permi
  18. linux载入pytorch的预训练模型时遇到_pickle.UnpicklingError: unpickling stack underflow
  19. lingo标准模型与编程(附习题、代码)
  20. ffmpeg截取一段视频

热门文章

  1. FxCop的一些规范建议
  2. vue中使用百度地图为啥是空白_vue中使用腾讯地图(尝试篇)
  3. Docker Swarm mode与滚动升级
  4. Win64 驱动内核编程-17. MINIFILTER(文件保护)
  5. PowerShell-5.网络请求
  6. POJ1258最小生成树简单题
  7. hdu4982 暴搜+剪枝(k个数和是n,k-1个数的和是平方数)
  8. 【Groovy】使用 Groovy 语言开发服务器 Server 和客户端 Client 套接字程序 ( 服务器端开发 )
  9. 【Groovy】集合遍历 ( 使用集合的 find 方法查找集合元素 | 闭包中使用 == 作为查找匹配条件 | 闭包中使用 is 作为查找匹配条件 | 闭包使用 true 作为条件 | 代码示例 )
  10. 【设计模式】代理模式 ( 静态代理 )