设非负严格增加函数 $f$ 在区间 $[a,b]$ 上连续, 有积分中值定理, 对于每个 $p>0$ 存在唯一的 $x_p\in (a,b)$, 使 $$\bex f^p(x_p)=\cfrac{1}{b-a}\int_a^b f^p(t)\rd t. \eex$$ 试求 $\dps{\vlm{p}x_p}$.

解答: 由 H\"older 不等式, $$\beex \bea f^p(x_p)&=\cfrac{1}{b-a}\int_a^b f^p(t)\cdot 1\rd t\\ &\leq \cfrac{1}{b-a}\sex{ \int_a^b f^{p\cdot\frac{p+1}{p}}(t)\rd t }^\frac{p}{p+1} \sex{ \int_a^b 1^{p+1}\rd t }^{\frac{1}{p+1}}\\ &=\cfrac{1}{b-a} \sex{\int_a^b f^{p+1}(t)\rd t}^{\frac{p}{p+1}} (b-a)^{\frac{1}{p+1}}\\ &=\sex{\cfrac{1}{b-a}\int_a^b f^{p+1}(t)\rd t}^\frac{p}{p+1}\\ &=f^p(x_{p+1}). \eea \eeex$$ 又 $f$ 严格递增, 我们有 $x_p\leq x_{p+1}$. 如此, $x_p$ 递增有上界. 由单调有界定理, $\dps{\vlm{p}x_p=x_\infty}$ 存在. 另外, $$\beex \bea f(x_p)&=\sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}},\\ f(x_\infty)&=\vlm{p}\sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}} =\max_{a\leq t\leq b}f(t)=f(b),\\ x_\infty&=b, \eea \eeex$$ 其中第二个等式成立 (对 $f\geq 0$) 的理由如下. 显然, $$\bex \vls{p}\sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}} \leq \max_{a\leq t\leq b}f(t). \eex$$ 又设 $$\bex \exists\ \xi\in [a,b],\st f(\xi)=\max_{a\leq t\leq b}f(t). \eex$$ 而对 $\forall\ \ve>0$, 存在 $\xi$ 的某个左或右邻域 (因为 $\xi$ 可能为端点, 而只能如此说) $[c,d]$ 使得 $$\bex x\in [c,d]\ra f(x)\geq f(\xi)-\ve. \eex$$ 于是 $$\beex \bea \sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}}&\geq \sez{\cfrac{1}{b-a}\int_c^d f^p(t)\rd t}^{\frac{1}{p}}\\ &\geq [f(\xi)-\ve] \sex{\cfrac{d-c}{b-a}}^{\frac{1}{p}}. \eea \eeex$$ 令 $p\to\infty$ 有 $$\bex \vls{p}\sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}}\geq f(\xi)-\ve. \eex$$ 再令 $\ve\to 0^+$ 有 $$\bex \vls{p}\sez{\cfrac{1}{b-a}\int_a^b f^p(t)\rd t}^{\frac{1}{p}}\geq f(\xi). \eex$$

[再寄小读者之数学篇](2014-06-20 求极限-H\"older 不等式的应用)的更多相关文章

  1. [再寄小读者之数学篇](2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]反对称矩阵的组合)

    (2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]反对称矩阵的组合) 设 ${\bf A},{\bf B}$ 都是反对称矩阵, 且 ${\b ...

  2. [再寄小读者之数学篇](2014-06-22 求导数 [中国科学技术大学2014年高等数学B考研试题])

    设 $f(x)=x^2\ln(x+1)$, 求 $f^{(n)}(0)$. 解答: 利用 Leibniz 公式易知 $f'(0)=f''(0)=0$, $f^{(n)}(0)=(-1)^{n-3} n ...

  3. [再寄小读者之数学篇](2014-06-26 Logarithmical Sobolev inequality using BMO space)

    $$\bex q>3\ra \sen{\n f}_{L^\infty} \leq C(q)\sez{ 1+\sen{\n f}_{BMO} \ln^\frac{1}{2}\sex{e+\sen{ ...

  4. [再寄小读者之数学篇](2014-06-26 Besov space estimates)

    (1) $$\bex \sen{D^k f}_{\dot B^s_{p,q}}\sim \sen{f}_{\dot B^{s+k}_{p,q}}. \eex$$ (2) $$\beex \bea &a ...

  5. [再寄小读者之数学篇](2014-06-23 Bernstein's inequality)

    $$\bex \supp \hat u\subset \sed{2^{j-2}\leq |\xi|\leq 2^j} \ra \cfrac{1}{C}2^{jk}\sen{f}_{L^p} \leq ...

  6. [再寄小读者之数学篇](2014-06-21 Beal-Kaot-Majda type logarithmic Sobolev inequality)

    For $f\in H^s(\bbR^3)$ with $s>\cfrac{3}{2}$, we have $$\bex \sen{f}_{L^\infty}\leq C\sex{1+\sen{ ...

  7. [再寄小读者之数学篇](2014-04-08 from 1297503521@qq.com $\sin x-x\cos x=0$ 的根的估计)

    (2014-04-08 from 1297503521@qq.com) 设方程 $\sin x-x\cos x=0$ 在 $(0,+\infty)$ 中的第 $n$ 个解为 $x_n$. 证明: $$ ...

  8. [再寄小读者之数学篇](2014-12-04 $\left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x+1},\forall\ x>0.$)

    试证: $$\bex \left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x+1},\forall\ x>0. \eex$$ 证明 (from Hanssch ...

  9. [再寄小读者之数学篇](2014-11-26 广义 Schur 分解定理)

    设 $A,B\in \bbR^{n\times n}$ 的特征值都是实数, 则存在正交阵 $P,Q$ 使得 $PAQ$, $PBQ$ 为上三角阵.

随机推荐

  1. HTML,CSS---问题记录

    1,,登录框input和标签垂直方向对不齐,咋解决? 给input框外套一层span标签,给span标签设置宽高,让它和左边或右边的标签对齐. 不要直接给input设置宽高,这样是对不齐的 2,套没有 ...

  2. SQL 增删改语句

    阅读目录 一:插入数据 二:更新数据 三:删除数据 回到顶部 一:插入数据 把数据插入表中的最简单方法是使用基本的 INSERT 语法.它的要求是需要我们指定表名和插入到新行中的值. 1.1 插入完整 ...

  3. Locust:简介和基本用法

    我个人在性能测试工作中,负载生成工具使用的大多都是jmeter,之前学习python时顺带了解过python开源的性能测试框架locust. 这篇博客,简单介绍下locust的使用方法,仅供参考... ...

  4. 使用github 的相关博客

    基于hexo+github搭建一个独立博客     如何用Github的gh-pages分支展示自己的项目     使用git clone error: RPC failed     Git的使用-- ...

  5. kubernete 本地持久化存储 kube-controller-manager的日志输出 + pvc pv 概念 -- storageclass 概念

    1.mysql持久化存储 [root@pserver78 0415villa]# cat latestmysql.yaml |grep -v '^#' apiVersion: v1 kind: Ser ...

  6. (hdu 6030) Happy Necklace 找规律+矩阵快速幂

    题目链接 :http://acm.hdu.edu.cn/showproblem.php?pid=6030 Problem Description Little Q wants to buy a nec ...

  7. jmeter学习记录--03--jmeter负载与监听

    jmeter场景主要通过线程组设置完成,有些复杂场景需要与逻辑控制器配合. 一.测试计划设计与执行 场景设计 jmete线程组实际是一个线程池,根据用户设置进行线程池的初始优化,在运行时做各种异常的处 ...

  8. laravel 远程一对多实例

    /** * 关联楼宇推荐书关联表 * 远程一对一 */ public function buildingPanos() { return $this->hasManyThrough( 'App\ ...

  9. ABP中的拦截器之ValidationInterceptor(下)

    在上篇我分析了整个ABP中ValitationInterceptor的整个过程,就其中涉及到的Validator过程没有详细的论述,这篇文章就这个过程进行详细的论述,另外任何一个重要的特性如何应用是最 ...

  10. IRepository<Developer> repository 出现 Abp.Domain.Repositories.IRepository which was not registered.

    “/”应用程序中的服务器错误. Can't create component 'SWJ.SSO.DomainServices.TestService' as it has dependencies t ...