[家里蹲大学数学杂志]第432期Hardy type inequalities
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的更多相关文章
- [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性
1. 方程 考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ...
- [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L
1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ...
- [家里蹲大学数学杂志]第237期Euler公式的美
1 Euler 公式 $e^{i\pi}+1=0$ (1) 它把 a. $e:$ 自然对数的底 $\approx 2. 718281828459$ (数分) b. $i$: 虚数单位 $=\sqr ...
- [家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子
Navier-Stokes equations 1 Let $\omega$ be a domain in $\bbR^3$, complement of a compact set $\mathca ...
- [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A
1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X ...
- [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何
随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...
- [家里蹲大学数学杂志]第053期Legendre变换
$\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛 ...
- [家里蹲大学数学杂志]第056期Tikhonov 泛函的变分
设 $\scrX$, $\scrY$ 是 Hilbert 空间, $T\in \scrL(\scrX,\scrY)$, $y_0\in\scrY$, $\alpha>0$. 则 Tikhonov ...
- [家里蹲大学数学杂志]第235期$L^p$ 调和函数恒为零
设 $u$ 是 $\bbR^n$ 上的调和函数, 且 $$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...
随机推荐
- Windows Store App 全球化:在XAML元素中引用文件资源
上一小节讲解了如何在XAML元素中使用x:Uid属性引用资源文件中的字符串资源,通过改变语言首选项显示不同的运行结果.如果把字符串资源变成文件资源,就不能使用x:Uid属性来引用这些文件资源.本小节将 ...
- 获取LocationProvider
Android的定位信息由LocationProvider对象来提供,该对象代表一个抽象的定位组件.在开始编程之前,需要先获得LocationProvider对象. 一.获取所有可用的Location ...
- candence 知识积累3
1. PCB板型: 1.新建PCB:PCB design ,新建的类型为board ,输入名称和保存位置,设置图纸参数.网格参数. 2.建立PCB板外框:菜单Add下选择相应的工具.在Option选项 ...
- Xcode5 运行程序 提示IOS 模拟器未能安装此应用程序
更新了Xcode5,结果模拟器各种不配合,首先遇到的问题就是提示“IOS 模拟器未能安装此应用程序” 上网查了一下,网友给出的解决办法“删除~/Library/Application Support/ ...
- Divisors
计算小于n的数中,约数个数最多的数,若有多个最输出最小的一个数. http://hihocoder.com/problemset/problem/1187 对于100有 60 = 2 * 2 * 3 ...
- js中的offsetWidth岁的BUG
---恢复内容开始--- 在js使用offsetWidth来操作控件的运动是会遇到: var oDiv = document.getElementById('div1') oDiv.style.wid ...
- 银光类似web visio的节点连线控件Essential Diagram免费下载地址
Essential Diagram for Silverlight是一款功能强大的图解拓扑图控件,在XAML支持的情况下提供用户交互式地创建和编辑图解,支持数据绑定和多种布局,可以导出为多种文件格式等 ...
- PC缺少一个或多个网络协议 qq可登录(win10)
打开适配器连接 1打开网络适配器 2卸载microsoft 3 网络客户端 4重启
- asp.net与asp.net 优缺点
Asp.net Mvc架构模式是一种 低耦合.可测试的web应用程序框架,它是基于CLR和成熟的MVC架构构建的.ASP.NET MVC不支持ViewState和服务器控件. Asp.net优点: 1 ...
- [原创] 用两个queue实现stack的功能
#include <iostream> #include <queue> using namespace std; template <class T> class ...