If $p>1$, $f\geq 0$, and $$\bex F(x)=\int_0^x f(t)\rd t, \eex$$ then $$\bee\label{Hardy:0 to x} \int_0^\infty \sex{\frac{F}{x}}^p\rd x \leq \sex{\frac{p}{p-1}}^p \int_0^\infty f^p\rd x. \eee$$

Proof: $$\beex \bea \int_0^\infty \sex{\frac{F}{x}}^p\rd x &=\frac{1}{1-p} \int_0^\infty F^p \rd x^{1-p}\\ &=-\frac{1}{1-p}\int_0^\infty pF^{p-1} f\cdot x^{1-p}\rd x\\ &=\frac{p}{p-1}\int_0^\infty \sex{\frac{F}{x}}^{p-1}\cdot f\rd x\\ &\leq \frac{p}{p-1}\sex{\int_0^\infty \sex{\frac{F}{x}}^p\rd x}^\frac{p-1}{p} \sex{\int_0^\infty f^p\rd x}^\frac{1}{p}. \eea \eeex$$

If $p>1$, $f\geq 0$, and $$\bex F(x)=\int_x^\infty f(t)\rd t, \eex$$ then $$\bee\label{Hardy:x to infty} \int_0^\infty \sex{\frac{F}{x}}^p\rd x \leq \sex{\frac{p}{p-1}}^p \int_0^\infty f^p\rd x. \eee$$

Proof: $$\beex \bea \int_0^\infty \sex{\frac{F}{x}}^p\rd x &=\frac{1}{1-p} \int_0^\infty F^p \rd (x^{1-p})\\ &=-\frac{1}{1-p}\int_0^\infty pF^{p-1} f\cdot x^{1-p}\rd x\\ &=\frac{p}{p-1}\int_0^\infty \sex{\frac{F}{x}}^{p-1}\cdot f\rd x\\ &\leq \frac{p}{p-1}\sex{\int_0^\infty \sex{\frac{F}{x}}^p\rd x}^\frac{p-1}{p} \sex{\int_0^\infty f^p\rd x}^\frac{1}{p}. \eea \eeex$$

If $p>1$, $r\neq 1$, $f\geq 0$, and $$\bex F(x)=\sedd{\ba{ll} \int_0^x f(t)\rd t,&r>1,\\ \int_x^\infty f(t)\rd t,&r<1, \ea} \eex$$ then $$\bee\label{Hardy:general} \int_0^\infty x^{-r}F^p\rd x \leq \sex{\frac{p}{|r-1|}}^p \int_0^\infty x^{-r} (xf)^p\rd x. \eee$$

Proof: If $r>1$, then $$\beex \bea \int_0^\infty x^{-r}F^p\rd x&=\frac{1}{1-r}\int_0^\infty F^p\rd (x^{1-r})\\ &=-\frac{1}{1-r}\int_0^\infty pF^{p-1} f\cdot x^{1-r}\rd x\\ &=\frac{p}{r-1}\int_0^\infty (x^{-r}F^p)^\frac{p-1}{p} \cdot\sez{x^{-r}(xf)^p}^\frac{1}{p}\rd x\\ &\leq \frac{p}{r-1} \sex{\int_0^\infty x^{-r}F^p\rd x}^\frac{p-1}{p} \sex{\int_0^\infty (xf)^p\rd x}^\frac{1}{p}. \eea \eeex$$

Remark: All the Hardy type inequality requires the non-negativity of the function $f$, so that in the estimates above, the right-hand side could be absorbed into the left-hand side.

[家里蹲大学数学杂志]第432期Hardy type inequalities的更多相关文章

  1. [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性

    1. 方程  考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ...

  2. [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L

    1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ...

  3. [家里蹲大学数学杂志]第237期Euler公式的美

    1 Euler 公式 $e^{i\pi}+1=0$ (1) 它把 a.  $e:$ 自然对数的底 $\approx 2. 718281828459$ (数分) b.  $i$: 虚数单位 $=\sqr ...

  4. [家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子

    Navier-Stokes equations 1 Let $\omega$ be a domain in $\bbR^3$, complement of a compact set $\mathca ...

  5. [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A

    1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X ...

  6. [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何

    随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...

  7. [家里蹲大学数学杂志]第053期Legendre变换

    $\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛 ...

  8. [家里蹲大学数学杂志]第056期Tikhonov 泛函的变分

    设 $\scrX$, $\scrY$ 是 Hilbert 空间, $T\in \scrL(\scrX,\scrY)$, $y_0\in\scrY$, $\alpha>0$. 则 Tikhonov ...

  9. [家里蹲大学数学杂志]第235期$L^p$ 调和函数恒为零

    设 $u$ 是 $\bbR^n$ 上的调和函数, 且 $$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...

随机推荐

  1. Windows Store App 全球化:在XAML元素中引用文件资源

    上一小节讲解了如何在XAML元素中使用x:Uid属性引用资源文件中的字符串资源,通过改变语言首选项显示不同的运行结果.如果把字符串资源变成文件资源,就不能使用x:Uid属性来引用这些文件资源.本小节将 ...

  2. 获取LocationProvider

    Android的定位信息由LocationProvider对象来提供,该对象代表一个抽象的定位组件.在开始编程之前,需要先获得LocationProvider对象. 一.获取所有可用的Location ...

  3. candence 知识积累3

    1. PCB板型: 1.新建PCB:PCB design ,新建的类型为board ,输入名称和保存位置,设置图纸参数.网格参数. 2.建立PCB板外框:菜单Add下选择相应的工具.在Option选项 ...

  4. Xcode5 运行程序 提示IOS 模拟器未能安装此应用程序

    更新了Xcode5,结果模拟器各种不配合,首先遇到的问题就是提示“IOS 模拟器未能安装此应用程序” 上网查了一下,网友给出的解决办法“删除~/Library/Application Support/ ...

  5. Divisors

    计算小于n的数中,约数个数最多的数,若有多个最输出最小的一个数. http://hihocoder.com/problemset/problem/1187 对于100有 60 = 2 * 2 * 3 ...

  6. js中的offsetWidth岁的BUG

    ---恢复内容开始--- 在js使用offsetWidth来操作控件的运动是会遇到: var oDiv = document.getElementById('div1') oDiv.style.wid ...

  7. 银光类似web visio的节点连线控件Essential Diagram免费下载地址

    Essential Diagram for Silverlight是一款功能强大的图解拓扑图控件,在XAML支持的情况下提供用户交互式地创建和编辑图解,支持数据绑定和多种布局,可以导出为多种文件格式等 ...

  8. PC缺少一个或多个网络协议 qq可登录(win10)

    打开适配器连接 1打开网络适配器   2卸载microsoft  3 网络客户端   4重启

  9. asp.net与asp.net 优缺点

    Asp.net Mvc架构模式是一种 低耦合.可测试的web应用程序框架,它是基于CLR和成熟的MVC架构构建的.ASP.NET MVC不支持ViewState和服务器控件. Asp.net优点: 1 ...

  10. [原创] 用两个queue实现stack的功能

    #include <iostream> #include <queue> using namespace std; template <class T> class ...