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. ...
随机推荐
- dismount ASM磁盘组,影响未使用的其它ASM磁盘组
# 问题概述登录数据库,查看活动会话,发现大量library cache lock ,log file switch (archiving needed),归档失败,redo log无法重用.# 问题 ...
- B站【挽救小白第一季】前端代码记录笔记
1. 新建工程命令: $ vue init mpvue/mpvue-quickstart my-project 参考mpvue官方快速入门:http://mpvue.com/mpvue/quickst ...
- 在orangepi 3 lts使用high speed timer
概述 在allwin H6的用户手册上可以发现全志H6芯片支持普通计时器和高速计时器. 普通计时器可以处理低频定时任务,其时钟源包括LOSC和OSC,前者频率为32768Hz,后者为24MHz. 高数 ...
- virtualbox装配fedora时,安装增强功能包时会报错解决
virtualbox安装fedora时,安装增强功能包时会报错解决 Building the main GuestAdditions module [失败]安装前需要先安装下面几个包才可以避免这个问题 ...
- VUE学习-表单输入绑定
表单输入绑定 v-model 可以用 v-model 指令在表单 <input>.<textarea> 及 <select> 元素上创建双向数据绑定. v-mode ...
- C语言中static关键字用法
概述 static关键字在c语言中比较常用,使用恰当能够大大提高程序的模块化特性,有利于扩展和维护. 在程序中使用static 变量 1. 局部变量 普通局部变量是再熟悉不过的变量了,在任何一个函数内 ...
- 创建一个与a.txt文件同目录下的另一个文件b.txt
File file1 = new("d:\\a\\a.txt"); File file2 = new(file1.getParent(),"b.txt"): F ...
- 【23期】请你谈谈关于IO同步、异步、阻塞、非阻塞的区别
同步(synchronous) IO和异步(asynchronous) IO,阻塞(blocking) IO和非阻塞(non-blocking)IO分别是什么,到底有什么区别? 这个问题其实不同的人给 ...
- iview、render使用方法
1.<Table size="large" :columns="columns7" :data="labelInput.label" ...
- linux端口探测
一.常用命令 1.测试端口是否能通(已有服务) 命令:nc -vz -w 2 10.0.1.161 9999 说明:-v可视化,-z扫描时不发送数据,-w超时几秒,后面跟数字 2.测试端口是否能通(没 ...