Kato's inequality and subharmonic function
If $\Delta u=0$ in $\Omega\subset\mathbb{R}^n (n\geq2)$, then for $p>\frac{n-2}{n-1}$, $|Du|^p$ is subharmonic.
Proof:
For $|Du|(x_0)\neq 0$, we have
\begin{align}
\Delta |Du|^p&=p(p-2)|Du|^{p-4}D_kuD_{kj}uD_iuD_{ij}u+p|Du|^{p-2}|D^2u|^2\nonumber\\
&=p|Du|^{p-2}\Big((p-2)\sum_j(\frac{D_iu}{|Du|}D_{ij}u)^2+|D^2u|^2\Big).
\end{align}
Note that
\begin{align}
\sum_j(\frac{D_iu}{|Du|}D_{ij}u)^2=\Big(\frac{Du}{|Du|}\Big)^T(D^2u)^2\frac{Du}{|Du|}
\end{align}
is a quadratic form, and $\Delta u=0$, then we can assume that $D^2u$ is diagonal and $D^2u(x_0)=diag(\lambda_1,\lambda_2,...,\lambda_n)$. It follows that
\begin{align}
\sum_i\lambda_i=0.
\end{align}
Without loss of generality, we assume $|\lambda_n|=\max_i|\lambda_i|$, then
\begin{align}
|D^2u|^2=\sum_{i=1}^n\lambda_i^2\geq\lambda_n^2+ \frac{1}{n-1}(\sum_{i=1}^{n-1}\lambda_i)^2=\frac{n}{n-1}\lambda_n^2
\end{align}
We will show that if $p>\frac{n-2}{n-1}$( In fact, if $n>2$, we may choose $p\geq \frac{n-2}{n-1}$; if $n=2$, $p=\frac{n-2}{n-1}=0$ is a trivial case), then $\Delta|Du|^p\geq 0$. In fact, let $\xi=\frac{Du}{|Du|}$, then
\begin{align}
\Delta |Du|^p&\geq p|Du|^{p-2}\left(\sum_i\lambda_i^2-\frac{n}{n-1}\sum_i\lambda_i^2\xi_i^2\right)\nonumber\\
&\geq p|Du|^{p-2}\left(\frac{n}{n-1}\lambda_n^2-\frac{n}{n-1}\sum_i\lambda_i^2\xi_i^2\right)\nonumber\\
&\geq \frac{np}{n-1}|Du|^{p-2}\left(\lambda_n^2-\sum_i\lambda_n^2\xi_i^2\right)=0.
\end{align}
This completes the proof in the case $|Du(x_0)|\neq 0$. In general case, for any $0<\epsilon\leq 1$, following the argument as above, we can prove that $\Delta (|Du|^2+\epsilon)^{\frac{p}{2}}\geq0$ if $p>\frac{n-2}{n-1}$. Then $(|Du|^2+\epsilon)^{\frac{p}{2}}$ satisfies the mean value inequality. Note that $(|Du|^2+\epsilon)^{\frac{p}{2}}$ is locally uniformly bounded and pointwise converge to $\rightarrow |Du|^p$. By Lebesgue CCT, then $|Du|^p$ is a continuous weakly subharmonic function (in viscosity sense or generalized sense) .
If $p=1$, we have that if $\nabla u(x_0)\neq 0$, then we get the Kato's inequality (this inequality can be generalized to Riemannian manifold, and applied in proof of gradient estimate by S.T.Yau.)
\begin{align}
|D^2u|^2\geq |\nabla|\nabla u||^2.
\end{align}
It follows that $|\nabla u|$ is subharmonic (which has been used in Alt and Caffarelli's paper).
Kato's inequality and subharmonic function的更多相关文章
- 转:详细解说 STL 排序(Sort)
详细解说 STL 排序(Sort) 详细解说 STL 排序(Sort) 作者Winter 详细解说 STL 排序(Sort) 0 前言: STL,为什么你必须掌握 1 STL提供的Sort 算法 1. ...
- cvpr2015papers
@http://www-cs-faculty.stanford.edu/people/karpathy/cvpr2015papers/ CVPR 2015 papers (in nicer forma ...
- 通过百度echarts实现数据图表展示功能
现在我们在工作中,在开发中都会或多或少的用到图表统计数据显示给用户.通过图表可以很直观的,直接的将数据呈现出来.这里我就介绍说一下利用百度开源的echarts图表技术实现的具体功能. 1.对于不太理解 ...
- Every norm is a convex function
https://ipfs.io/ipfs/QmXoypizjW3WknFiJnKLwHCnL72vedxjQkDDP1mXWo6uco/wiki/Convex_function.html Every ...
- jsp中出现onclick函数提示Cannot return from outside a function or method
在使用Myeclipse10部署完项目后,原先不出错的项目,会有红色的叉叉,JSP页面会提示onclick函数错误 Cannot return from outside a function or m ...
- JavaScript function函数种类
本篇主要介绍普通函数.匿名函数.闭包函数 目录 1. 普通函数:介绍普通函数的特性:同名覆盖.arguments对象.默认返回值等. 2. 匿名函数:介绍匿名函数的特性:变量匿名函数.无名称匿名函数. ...
- 在ubuntu16.10 PHP测试连接MySQL中出现Call to undefined function: mysql_connect()
1.问题: 测试php7.0 链接mysql数据库的时候发生错误: Fatal error: Uncaught Error: Call to undefined function mysqli_con ...
- jquery中的$(document).ready(function() {});
当文档载入时执行function函数里的代码, 这部分代码主要声明,页面加载后 "监听事件" 的方法.例如: $(document).ready( $("a") ...
- Function.prototype.toString 的使用技巧
Function.prototype.toString这个原型方法可以帮助你获得函数的源代码, 比如: function hello ( msg ){ console.log("hello& ...
- 转:ORA-15186: ASMLIB error function = [asm_open], error = [1], 2009-05-24 13:57:38
转:ORA-15186: ASMLIB error function = [asm_open], error = [1], 2009-05-24 13:57:38http://space.itpub. ...
随机推荐
- Intellij IDEA 通过数据库表生成带注解的实体类Generate MyPOJOs.groovy脚本的编写
//两段代码第一个是mybatis-plus的 第二个spring-jpa的,jpa的是我复制别人的,是本体,mybatis的是我改的//idea连接数据方法见 https://www.cnblogs ...
- 13.OpenFeign测试远程调用
以会员服务调用优惠券服务为例 引入依赖 在之前创建微服务模块时已经引入了这个依赖,就不需要重复引入了 添加要被member微服务调用的coupon微服务的coupon的方法 在member微服务添加一 ...
- JDK8在xp安装办法
jdk默认不支持xp,用到了后来的api,直接没法安装. 具体安装步骤: 1.用7-zip打开jdk8的版本8u231之前的版本. 2.导航到 .rsrc\1033\JAVA_CAB10\111把里面 ...
- Maven项目中配置文件资源导出问题
标准的Maven项目都会有一个resources目录来存放我们所有的资源配置文件,但是我们往往在项目中不会把所有的资源配置文件都放在resources文件夹中,我们有可能放在项目中的其他位置,那么默认 ...
- vue 使用路由component: () =>import (‘ ‘)报错解决办法
今天帮朋友调代码的时候,在人家的mac上面,项目没有任何错误,到我这里就出现 component: () =>import (' ')加载路由错误. 发现是import处报错, import 属 ...
- 狂神--Vue
概述 前端三要素 HTML(结构) :超文本标记语言(Hyper Text Markup Language) ,决定网页的结构和内容 CSS(表现) :层叠样式表(Cascading Style sh ...
- List<Object>集合获取指定属性最大值的对象
List<Vo> list = dao.selectList();if(CollectionUtils.isNotEmpty(list)) { Optional<Vo> max ...
- idea快捷的输出常用语句
sout:System.out.println(); psvm:public static void main(String[] args) {}
- Mybatis 中传入List实现 批量插入、批量更新、批量删除
1. 批量插入: Mapper层: int insertList(List<UsersModel> list); 对应的mapper.xml: <!--批量插入信息--> &l ...
- Prometheus 特点
1.1 Prometheus的特点 Prometheus是一个开源的完整监控解决方案,其对传统监控系统的测试和告警模型进行了彻底的颠覆,形成了基于中央化的规则计算.统一分析和告警的新模型. 相比于传统 ...