1 引言
本文考虑了如下分数阶抛物方程正定解的径向对称性与单调性
(1.1) $ \begin{equation} \frac{\partial u}{\partial t}(x,t)+(-\Delta)^{s}u(x,t)=f(t,|x|,u(x,t)),(x,t)\in B_{1}(0)\times \mathbb{R}, \end{equation} $
其中时间变量 $t\in(-\infty,\infty),$ 此时称方程 (1.1) 的解为整体解(entire solution). 关于其他方程的整体解, 参见文献 [13 ,14 ].
对每一固定的 $t\in \mathbb{R},$
(1.2) $ \begin{matrix} (-\Delta)^{s}u(x,t)&=C_{n,s}P.V.\int_{\mathbb{R}^{n}}\frac{u(x,t)-u(y,t)}{|x-y|^{n+2s}}{\rm d}y\nonumber\\ &=C_{n,s}\lim_{\varepsilon\rightarrow 0}\int_{\mathbb{R}^{n}\backslash B_{\varepsilon}(x)}\frac{u(x,t)-u(y,t)}{|x-y|^{n+2s}}{\rm d}y, \end{matrix} $
其中 $0<s<1$ 以及 P.V. 表示 Cauchy 主值.
对 $u\in C^{1,1}_{\rm loc}\cap\mathcal{L}_{2s},$ 易知 $(-\Delta)^{s}u$ 是良定义的. 令
$\mathcal{L}_{2s}=\bigg\{u(\cdot,t)\in L^{1}_{\rm loc}(\mathbb{R}^{n}) | \int_{\mathbb{R}^{n}}\frac{|u(x,t)|}{1+|x|^{n+2s}}{\rm d}x<+\infty\bigg\},$
则该分数阶 Laplacian 称为非局部算子. 另外, 对每一固定的 $x,$ 当 $s\rightarrow 1$ 时, $(-\triangle)^{s}u(x,t)$ 趋于 $-\triangle u(x,t).$
众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等.
在非线性偏微分方程(PDE)和现代偏微分方程领域, 方程解的适定性[10 ] 、对称性、单调性和收敛率[12 ] 等是十分重要的性质. 本文的目的是得到分数阶抛物方程 (1.1) 整体解的对称性与单调性. 本文的主要定理如下
定理1.1 假设 $u(x,t)\in(C^{1,1}_{\rm loc}(B_{1}(0))\cap C(\overline{B_{1}(0)})\times C^{1}(\mathbb{R})$ 是下列 Dirichlet 问题的一致有界解
(1.3) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial u}{\partial t}(x,t)+(-\Delta)^{s}u(x,t)=f(t,|x|,u(x,t)), & x\in B_{1}(0),-\infty<t<\infty, \\ u(x,t)>0,& x\in B_{1}(0),-\infty<t<\infty, \\ u(x,t)=0,& x\in B^{c}_{1}(0),-\infty<t<\infty, \end{array}\right. \end{equation} $
其中 $B^{c}_{1}(0)$ 表示 $\mathbb{R}^{n}$ 空间中单位球的补集. 令 $\alpha\in (0,1)$ 使得 $\frac{\alpha}{2s}\in (0,1).$ 假设 $f(t,|x|,u)\in L^{\infty}(\mathbb{R}\times \mathbb{R}^{+}\times \mathbb{R}^{+}),$ 且 $f$ 关于 $t$ 是 $C^{\frac{\alpha}{2s}}_{\rm loc}$ 的, 关于 $u$ 是 Lipschitz 连续的以及关于$|x|,$ $f(t,|x|,u)$ 是递减的. 进一步, 假设
(1.4) $ \begin{matrix} f(t,|x|,0)=0, \frac{\partial f}{\partial u}(t,|x|,0)\leq 0,\ \ t\in(-\infty,\infty), \end{matrix} $
那么方程的解 $u(x,t)$ 关于原点是径向对称的以及关于 $|x|$ 严格递减.
注1.1 本文的新颖之处在于采用分数阶抛物形式的移动平面法. 与文献 [8 ] 相比较, 本文的狭窄区域原则和极值原理是完全不同的. 另外, 函数 $f(t,|x|,u)$ 的假设也不同.
2 关键准则
为了推出方程 (1.3) 解 $u(x,t)$ 的对称性与单调性, 我们需要借助分数阶抛物方程的移动平面法. 关键准则包括狭窄区域原则和反对称函数的极值原理, 这些定理已经在文献 [9 ] 中证得. 为了方便, 我们将在下文重述这些定理, 证明将略去.
对$x\in \mathbb{R}^{n}$ , 其中 $x=(x_{1},x'),x'\in \mathbb{R}^{n-1}.$ 令
$T_{\lambda}=\{x\in \mathbb{R}^{n} | x_{1}=\lambda, \lambda\in \mathbb{R}\}$
$\Sigma_{\lambda}=\{x\in \mathbb{R}^{n} | x_{1}<\lambda\}$
代表平面 $T_{\lambda}$ 左边的区域, 且
$x^{\lambda}=(2\lambda-x_{1},x_{2},\cdots,x_{n})$
表示 $x$ 关于平面 $T_{\lambda}$ 的反射点.
由 $u(x,t)$ 是分数阶抛物方程 (1.3) 的解, 定义
$u_{\lambda}(x,t)=u(x^{\lambda},t)\text{和} \omega_{\lambda}(x,t)=u_{\lambda}(x,t)-u(x,t).$
显然, $\omega_{\lambda}(x,t)$ 关于平面 $T_{\lambda}$ 是反对称的, 即
$\omega_{\lambda}(x_{1},x_{2},\cdots,x_{n},t)=-\omega_{\lambda}(2\lambda-x_{1},x_{2},\cdots,x_{n},t).$
定理2.1 (狭窄区域原则[9 ] ) 假设 $\Omega$ 表示 $\Sigma_{\lambda}$ 中有界或者无界的狭窄区域, 并且$\Omega\subset\{x | \lambda-2l<x_{1}<\lambda\}$ , 其中 $l$ 小. 假设 $\omega(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 在 $\overline{\Omega}$ 上关于 $t$ 一致有界以及关于 $x$ 下半连续, 且
$\omega(x,t)\leq o(1)|x|^{\gamma} \text{对任意} 0<\gamma<2s, \text{当} |x|\rightarrow+\infty,$
(2.1) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega}{\partial t}(x,t)+(-\Delta)^{s}\omega(x,t)\geq c(x,t)\omega(x,t), &(x,t)\in \Omega\times \mathbb{R}, \\ \omega(x,t)\geq 0,& (x,t)\in (\Sigma_{\lambda}\setminus\Omega)\times \mathbb{R}, \\ \omega(x^{\lambda},t)=-\omega(x,t),& (x,t)\in \Sigma_{\lambda}\times \mathbb{R}. \end{array}\right. \end{equation} $
若 $c(x,t)$ 上有界, 那么当 $l$ 充分小时, 有
(2.2) $ \begin{equation} \omega(x,t)\geq 0,(x,t)\in \Sigma_{\lambda}\times \mathbb{R}. \end{equation} $
另外, 有强极值原理成立: 或者 $\omega(x,t)>0$ 或者 $\omega(x,t)\equiv 0,$ $(x,t)\in \Omega\times \mathbb{R}.$
定理2.2 (反对称函数的极值原理[9 ] ) 假设 $\Omega$ 表示 $\Sigma_{\lambda}$ 中有界或者无界区域, 且 $\Omega$ 的宽度沿着 $x_{1}$ 方向有界. 若 $\omega(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 在 $\overline{\Omega}$ 上关于 $t$ 一致有界以及关于 $x$ 下半连续, 且对任意 $0<\gamma<2s$ , 当 $|x|\rightarrow+\infty$ 时, $\omega(x,t)\leq o(1)|x|^{\gamma}$ 和
(2.3) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega}{\partial t}(x,t)+(-\Delta)^{s}\omega(x,t)\geq c(x,t)\omega(x,t), &(x,t)\in \Omega\times \mathbb{R},\ \ \\ \omega(x,t)\geq 0,& (x,t)\in (\Sigma_{\lambda}\setminus\Omega)\times\mathbb{R},\ \ \\ \omega(x^{\lambda},t)=-\omega(x,t),& (x,t)\in \Sigma_{\lambda}\times \mathbb{R}. \end{array}\right. \end{equation} $
(2.4) $ \begin{equation} c(x,t)\leq 0 \text{或者} c(x,t)>0 \ \text{且取较小值,} \ (x,t)\in\Omega\times \mathbb{R}, \end{equation} $
那么 $\omega(x,t)\geq 0,$ $(x,t)\in\Sigma_{\lambda}\times \mathbb{R}.$ 进一步, 有强极值原理成立: 或者 $\omega(x,t)>0$ 或者 $\omega(x,t)\equiv 0,$ $(x,t)\in \Omega\times \mathbb{R}.$
引理2.1 (反对称函数的 Hopf's 引理[9 ] ) 假设 $\omega_{\lambda}(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 有界且
(2.5) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega_{\lambda}}{\partial t}(x,t)+(-\Delta)^{s}\omega_{\lambda}(x,t)\geq c_{\lambda}(x,t)\omega_{\lambda}(x,t),&(x,t)\in \Sigma_{\lambda}\times \mathbb{R}, \\ \omega_{\lambda}(x,t)\geq 0,& (x,t)\in \Sigma_{\lambda}\times \mathbb{R}, \\ \omega_{\lambda}(x^{\lambda},t)=-\omega_{\lambda}(x,t),& (x,t)\in \Sigma_{\lambda}\times \mathbb{R}. \end{array}\right. \end{equation} $
其中 $c_{\lambda}(x,t)$ 下有界. 若存在一点 $x\in\Sigma_{\lambda}$ 使得
$\omega_{\lambda}(x,t)>0,\ \ (x,t)\in\Sigma_{\lambda}\times \mathbb{R}.$
$\frac{\partial \omega_{\lambda}}{\partial x_{1}}(\bar{x},\bar{t})<0,\ \ \forall (\bar{x},\bar{t})\in T_{\lambda}\times \mathbb{R}.$
注2.1 由于定理 1.1 有条件 $u=0$ 在 $B_{1}^{c}(0)$ 上, 因此条件 $u \in \mathcal{L}_{2s}$ 出现在定理 2.1 和 2.2 中显然成立. 另外, 在定理 1.1 中我们移除了条件 $u(x,t)\leq o(1)|x|^{\gamma}$ 当 $|x|\rightarrow\infty$ , 其原因在于本文不必考虑当 $|x|\rightarrow \infty$ 时的情况, 而在文献 [9 ] 中条件 $u(x,t)\leq o(1)|x|^{\gamma}$ 当 $|x|\rightarrow \infty$ 主要用于处理方程的解在无穷远处的渐近行为.
3 主要定理的证明
本文采用移动平面法来证明定理 1.1. 具体证明过程如下.
证 令 $\Omega_{\lambda}=\{x\in B_{1}(0) | x_{1}<\lambda\}.$ 由 $\omega_{\lambda}(x,t)=u_{\lambda}(x,t)-u(x,t),$ 则
(3.1) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega_{\lambda}}{\partial t}(x,t)+(-\Delta)^{s}\omega_{\lambda}(x,t)= f(t,|x^{\lambda}|,u_{\lambda})-f(t,|x|,u),& (x,t)\in \Omega_{\lambda}\times \mathbb{R},\ \ \\ \omega_{\lambda}(x,t)\geq0,& (x,t)\in (\Sigma_{\lambda}\setminus\Omega_{\lambda})\times \mathbb{R},\ \ \\ \omega_{\lambda}(x^{\lambda},t)=-\omega(x,t),& (x,t)\in \Sigma_{\lambda}\times \mathbb{R}. \end{array}\right. \end{equation} $
由于 $f(t,|x|,u)$ 关于 $|x|$ 递减, 有
$\begin{matrix} f(t,|x^{\lambda}|,u_{\lambda})-f(t,|x|,u)&=f(t,|x^{\lambda}|,u_{\lambda})-f(t,|x|,u_{\lambda}) +f(t,|x|,u_{\lambda})-f(t,|x|,u)\nonumber\\ &\geq f(t,|x|,u_{\lambda})-f(t,|x|,u)\nonumber\\ &:=c_{\lambda}(x,t)\omega_{\lambda}(x,t)\nonumber, \end{matrix}$
其中 $c_{\lambda}(x,t)=\frac{f(t,|x|,u_{\lambda}(x,t))-f(t,|x|,u(x,t))}{u_{\lambda}(x,t)-u(x,t)}.$ 因此方程 (3.1) 可转化为
(3.2) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega_{\lambda}}{\partial t}(x,t)+(-\Delta)^{s}\omega_{\lambda}(x,t)\geq c_{\lambda}(x,t)\omega_{\lambda}(x,t),& (x,t)\in \Omega_{\lambda}\times \mathbb{R}, \\ \omega_{\lambda}(x,t)\geq0,& (x,t)\in (\Sigma_{\lambda}\setminus\Omega_{\lambda})\times \mathbb{R}, \\ \omega_{\lambda}(x^{\lambda},t)=-\omega(x,t),& (x,t)\in \Sigma_{\lambda}\times\mathbb{R}. \end{array}\right. \end{equation} $
(S1) 对 $\lambda>-1$ 且充分近 $-1$ 时, 我们将证明
(3.3) $ \begin{equation} \omega_{\lambda}(x,t)\geq0,\ \ (x,t)\in\Sigma_{\lambda}\times \mathbb{R}. \end{equation} $
事实上, 由狭窄区域定理 2.1 可证得 (3.3) 式. 具体如下: 由函数 $f$ 的 Lipschitz 连续性得出 $c_{\lambda}(x,t)$ 有界; 然后, 由 $\omega_{\lambda}(x,t)\geq0$ 在$(\Sigma_{\lambda}\setminus\Omega_{\lambda})\times \mathbb{R}$ 且 $\Omega_{\lambda}$ 是狭窄区域即证 (3.3) 成立.
(S2) 定义 $\lambda_{0}=\sup\{\lambda\leq0 | \omega_{\mu}(x,t)\geq0,(x,t)\in\Sigma_{\mu}\times \mathbb{R},\mu\leq\lambda\}.$ 这一步的主要目的是证明
$\lambda_{0}=0.$
若$\lambda_{0}\neq 0,$ 那么由 $\lambda_{0}$ 的定义可知 $\lambda_{0}<0$ 且存在一序列 $\lambda_{k}\geq \lambda_{0}$ 使得
(3.4) $ \begin{equation} \lambda_{k}\rightarrow\lambda_{0}, \end{equation} $
且 $\mathbb{Z}_{k}:=\{(x,t)\in\Sigma_{\lambda_{k}}\times \mathbb{R} | \omega_{\lambda_{k}}(x,t)<0\}$ 非空. 令
$\begin{align*} \mathbb{S}_{k}:=\sup\{&u(y_{1},x',t) | y_{1}\in(-1,\lambda_{k}),x'\in \mathbb{R}^{n-1},t\in \mathbb{R},\text{以及存在} \\ &x_{1}\in(-1,\lambda_{k}) \ \text{使得} \ (x_{1},x',t)\in\mathbb{Z}_{k}\}. \end{align*}$
(i) $\mathbb{S}_{k}\rightarrow 0$ 不成立. 假设 $\mathbb{S}_{k}\rightarrow 0$ 成立, 由 (3.2) 式, 得出
(3.5) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \omega_{\lambda_{k}}}{\partial t}(x,t)+(-\Delta)^{s}\omega_{\lambda_{k}}(x,t)\geq c_{\lambda_{k}}(x,t)\omega_{\lambda_{k}}(x,t),&(x,t)\in \Omega_{\lambda_{k}}\times \mathbb{R}, \\ \omega_{\lambda_{k}}(x,t)\geq0,& (x,t)\in (\Sigma_{\lambda_{k}}\setminus\Omega_{\lambda_{k}})\times \mathbb{R}, \\ \omega_{\lambda_{k}}(x^{\lambda_{k}},t)=-\omega_{\lambda_{k}}(x,t),& (x,t)\in \Sigma_{\lambda_{k}}\times \mathbb{R}. \end{array}\right. \end{equation} $
$c_{\lambda_{k}}(x,t)=\frac{f(t,|x|,u_{\lambda_{k}}(x,t))-f(t,|x|,u(x,t))}{u_{\lambda_{k}}(x,t)-u(x,t)}.$
令 $ \xi_{k}:=\sup_{(x,t)\in\mathbb{Z}_{k}}c_{\lambda_{k}}(x,t),$ 根据条件 $\frac{\partial f}{\partial u}(t,|x|,0)\leq 0,$ 于是有 $ \limsup_{k\rightarrow+\infty}\xi_{k}\leq 0.$ 进一步根据反对称函数的极值原理可推导出 $\omega_{\lambda_{k}}(x,t)\geq0$ 在 $\mathbb{Z}_{k}.$ 这与 $\mathbb{Z}_{k}$ 的定义矛盾. 因此 $\mathbb{S}_{k}\rightarrow0$ 不成立.
(ii) 若 $\mathbb{S}_{k}\nrightarrow 0,$ 则存在一 $\varepsilon_{0}>0,$ 仍取 $\mathbb{S}_{k}$ 为其子序列, 有 $\mathbb{S}_{k}\geq\varepsilon_{0}.$ 进一步存在子列 $x^{k}_{1}$ , $y^{k}_{1}\in(-1,\lambda_{k}),$ $z^{k}\in \mathbb{R}^{n-1},$ $t^{k}\in \mathbb{R}$ 使得
(3.6) $ \begin{equation} \omega_{\lambda_{k}}(x^{k}_{1},z^{k},t^{k})<0\text{和}u(y^{k}_{1},z^{k},t^{k})>\varepsilon_{0}. \end{equation} $
(3.7) $ \begin{equation} x^{k}_{1}\rightarrow x_{0},\ \ y^{k}_{1}\rightarrow y_{0},\ \ \text{其中}\ \ x_{0},y_{0}\in[-1,\lambda_{0}]. \end{equation} $
令 $\omega^{k}_{\lambda_{k}}(x,t)=u^{k}_{\lambda_{k}}(x,t)-u^{k}(x,t),$ 且定义 $u^{k}(x,t)=u(x_{1},x'+z^{k},t+t^{k}),$ 其中 $x=(x_{1},x')\in \mathbb{R}^{n},$ $t\in \mathbb{R}.$ 那么,
(3.8) $ \begin{equation} \omega^{k}_{\lambda_{k}}(x^{k}_{1},0,0)<0\text{和}u^{k}(y^{k}_{1},0,0)\geq\varepsilon_{0}. \end{equation} $
由于 $u^{k}(x,t)$ 一致有界, 根据文献 [11 ] 中关于分数阶抛物方程解的正则性估计, 我们选取子列 (仍标记为 $u^{k}$ ) 并令 $k\rightarrow\infty,$ 则 $u^{k}(x,t)\rightarrow\tilde{u}(x,t),\ \ \ (-\Delta)^{s}u^{k}(x,t)\rightarrow(-\Delta)^{s}\tilde{u}(x,t),$
(3.9) $ \begin{equation} \omega^{k}_{\lambda_{k}}(x,t)\rightarrow\tilde{\omega}_{\lambda_{0}}(x,t):=\tilde{u}_{\lambda_{0}}(x,t)-\tilde{u}(x,t)\geq0,\ \ (x,t)\in\Sigma_{\lambda_{0}}\times \mathbb{R}, \end{equation} $
(3.10) $ \begin{equation} \tilde{\omega}_{\lambda_{0}}(x_{0},0,0)\leq 0. \end{equation} $
(3.11) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \tilde{u}}{\partial t}(x,t)+(-\Delta)^{s}\tilde{u}(x,t)=f(t,|x|,\tilde{u}(x,t)), &x\in B_{1}(0),-\infty<t<\infty,\\ \tilde{u}(x,t)\geq0,& x\in B_{1}(0),-\infty<t<\infty, \\ \tilde{u}(x,t)=0,& x\in B^{c}_{1}(0),-\infty<t<\infty, \end{array}\right. \end{equation} $
(3.12) $ \begin{equation} \tilde{u}(y_{0},0,0)\geq\varepsilon_{0}>0. \end{equation} $
(3.13) $ \begin{equation} \tilde{u}(x,t)>0,\ \ (x,t)\in B_{1}(0)\times \mathbb{R}. \end{equation} $
事实上, 若 (3.13) 式不成立, 那么存在一点 $(\bar{x},\bar{t})\in B_{1}(0)\times \mathbb{R}$ 使得
$\tilde{u}(\bar{x},\bar{t})=0=\inf_{B_{1}(0)\times \mathbb{R}}\tilde{u}(x,t),$
$\frac{\partial \tilde{u}}{\partial t}(\bar{x},\bar{t})+(-\Delta)^{s}\tilde{u}(\bar{x},\bar{t})<0,$
这与 $f(\bar{t},\tilde{u}(\bar{x},\bar{t}))=f(\bar{t},0)=0$ 矛盾. 因此 (3.13) 式成立.
另外, 由 (3.5) 和 (3.9)式, $\tilde{\omega}_{\lambda_{0}}(x,t)$ 满足
(3.14) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial t}(x,t)+(-\Delta)^{s}\tilde{\omega}_{\lambda_{0}}(x,t)=f(t,|x^{\lambda_{0}}|,\tilde{u}_{\lambda_{0}}(x,t)) -f(t,|x|,\tilde{u}(x,t)),& (x,t)\in \Sigma_{\lambda_{0}}\times \mathbb{R}, \\ \tilde{\omega}_{\lambda_{0}}(x,t)\geq0,& (x,t)\in \Sigma_{\lambda_{0}}\times\mathbb{R}, \\ \tilde{\omega}_{\lambda_{0}}(0,x',t)>0,&(x',t)\in \mathbb{R}^{n-1}\times \mathbb{R}. \end{array}\right. \end{equation} $
(3.15) $ \begin{equation} \tilde{\omega}_{\lambda_{0}}(x,t)>0,\ \ (x,t)\in\Sigma_{\lambda_{0}}\times \mathbb{R}. \end{equation} $
否则, 若 (3.15) 式不成立, 那么存在一点 $(\hat{x},\hat{t})\in\Sigma_{\lambda_{0}}\times \mathbb{R}$ 使得
$\tilde{\omega}_{\lambda_{0}}(\hat{x},\hat{t})=\inf_{\Sigma_{\lambda_{0}}\times \mathbb{R}}\tilde{\omega}_{\lambda_{0}}(x,t)=0.$
$\frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial t}(\hat{x},\hat{t})=0 \ \ 和 \ \ (-\Delta)^{s}\tilde{\omega}_{\lambda_{0}}(\hat{x},\hat{t})<0.$
$0>\frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial t}(\hat{x},\hat{t}) +(-\Delta)^{s}\tilde{\omega}_{\lambda_{0}}(\hat{x},\hat{t})= f(\hat{t},|x|,\tilde{u}_{\lambda_{0}}(\hat{x},\hat{t}))-f(\hat{t},|x|,\tilde{u}(\hat{x},\hat{t}))=0.$
通过 (3.10) 和 (3.15) 式, 由于 $x_{0}\in[-1,\lambda_{0}],$ 我们得出 $\tilde{\omega}_{\lambda_{0}}(x_{0},0,0)=0$ 且 $x_{0}=\lambda_{0}.$ 这表明
(3.16) $ \begin{equation} \lim_{k\rightarrow\infty}x^{k}_{1}=x_{0}=\lambda_{0}. \end{equation} $
然后, 由于 $\tilde{u}\equiv0,$ $(x,t)\in(B_{1}(0))^{c}\times \mathbb{R},$ 我们通过 (3.13) 式可得: 存在一点 $x\in B_{1}(0)$ 使得 $\tilde{\omega}_{\lambda_{0}}(x,t)>0$ 其中 $t\in R,$ 以及 $\tilde{\omega}_{\lambda_{0}}(x,t)$ 满足
(3.17) $ \begin{equation}\left\{\begin{array}{ll} \frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial t}(x,t)+(-\Delta)^{s}\tilde{\omega}_{\lambda_{0}}(x,t)\geq\tilde{c}_{\lambda_{0}}(x,t)\tilde{\omega}_{\lambda_{0}}(x,t), &(x,t)\in \Sigma_{\lambda_{0}}\times \mathbb{R},\\ \tilde{\omega}_{\lambda_{0}}(x,t)\geq 0,& (x,t)\in \Sigma_{\lambda_{0}}\times\mathbb{R}, \\ \tilde{\omega}_{\lambda_{0}}(x^{\lambda_{0}},t)=-\tilde{\omega}_{\lambda_{0}}(x,t),& (x,t)\in \Sigma_{\lambda_{0}}\times\mathbb{R}. \end{array}\right. \end{equation} $
$\tilde{c}_{\lambda_{0}}(x,t)=\frac{f(t,|x|,\tilde{u}_{\lambda_{0}}(x,t))-f(t,|x|,\tilde{u}(x,t))}{\tilde{u}_{\lambda_{0}}(x,t)-\tilde{u}(x,t)}$
依据反对称函数的 Hopf's 引理 2.1, 因此
$\frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial x_{1}}(x,t)<0,\ \forall (x,t)\in T_{\lambda_{0}}\times \mathbb{R}.$
$\frac{\partial\tilde{u}}{\partial x_{1}}(\lambda_{0},0,0) =-\frac{1}{2}\frac{\partial \tilde{\omega}_{\lambda_{0}}}{\partial x_{1}}(\lambda_{0},0,0)>0.$
即在 $\lambda_{0}$ 的邻域, $\frac{\partial\tilde{u}}{\partial x_{1}}(x,0,0)$ 下有界. $\frac{\partial u^{k}}{\partial x_{1}}(x_{1},0,0)$ 也有类似的性质, 即存在一正常数 $\delta>0,$ 当 $k$ 充分大时, 有
$\frac{\partial u^{k}}{\partial x_{1}}(x_{1},z^{k},t^{k})=\frac{\partial u^{k}}{\partial x_{1}}(x_{1},0,0)>0,\ x_{1}\in[\lambda_{0}-\delta,\lambda_{0}+\delta].$
这与 (3.8) 式中 $\omega_{\lambda_{k}}(x^{k}_{1},z^{k},t^{k})<0$ 矛盾. 因此, 情况 (ii) 不成立.
结合情况 {(i)} 和 {(ii)}, 我们得出 $\lambda_{0}=0.$ 因此
$u(-x_{1},x_{2},\cdots,x_{n},t)\geq u(x_{1},x_{2},\cdots,x_{n},t),$
进而可得: $\forall t\in R,$ $u(x,t)$ 关于原点对称.
(S3) 结合 (S1) 和 (S2) 得出, $\forall -1<\lambda<0,$ 有
(3.18) $ \begin{equation} \omega_{\lambda}(x,t)>0,\ \ (x,t)\in\Omega_{\lambda}\times \mathbb{R}. \end{equation} $
事实上, 假如存在一点 $(x_{0},t_{0})\in\Omega_{\lambda}\times \mathbb{R}$ 使得
$\omega_{\lambda}(x_{0},t_{0})=0=\inf_{B_{1}(0)\times \mathbb{R}}\omega_{\lambda}(x,t),$
$\frac{\partial\omega_{\lambda}}{\partial t}(x_{0},t_{0})+(-\Delta)^{s}\omega_{\lambda}(x_{0},t_{0})<0,$
$f(t_{0},|x^{\lambda}_{0}|,u_{\lambda}(x_{0},t_{0}))-f(t_{0},|x_{0}|,u(x_{0},t_{0}))\geq 0.$
矛盾. 因此 (3.18) 式成立. 进一步, 依据 Hopf's 引理 2.1, 得
$\frac{\partial \omega_{\lambda}}{\partial x_{1}}(x,t)<0,\ (x,t)\in \Omega_{\lambda}\times \mathbb{R},\ \forall -1<\lambda<0.$
$\frac{\partial u}{\partial x_{1}}(x,t)=-\frac{1}{2}\frac{\partial \omega_{\lambda}}{\partial x_{1}}(x,t)>0,\ (x,t)\in \Omega_{\lambda}\times \mathbb{R},\ \forall -1<\lambda<0.$
$\frac{\partial u}{\partial x_{1}}(x,t)<0,\ (x,t)\in \Omega_{\lambda}\times \mathbb{R},\ \forall\ 0<\lambda<1,$
$\frac{\partial u}{\partial |x|}(x,t)<0,\ \ \ (x,t)\in B_{1}(0)\times \mathbb{R}.$
从而 $u$ 沿着 $|x|$ 方向是递减的. 证毕.
参考文献
View Option
[1]
Berestycki H , Nirenberg L . On the method of moving planes and the sliding method
Bol Soc Brasil Mat (NS) , 1991 , 22 (1 ): 1 -37
[本文引用: 1]
[3]
Chen W , Li C . Classification of solutions of some nonlinear elliptic equations
Duke Math J , 1991 , 63 (3 ): 615 -622
[本文引用: 1]
[5]
Chen W , Li Y , Ma P . The Fractional Laplacian . Hackensack: World Scientific , 2020
[本文引用: 1]
[7]
Chen W , Wu L . A maximum principle on unbounded domains and a Liouville theorem for fractional $p$ - harmonic functions
arXiv:1905.09986
[本文引用: 1]
[9]
Chen W , Wu L . Liouville theorems for fractional parabolic equations
Adv Nonlinear Stud , 2021 , 21 (4 ): 939 -958
[本文引用: 6]
[10]
Du L , Tang Y . The steady incompressible jet flows issuing from a finitely long nozzle
Journal of Differential Equations , 2021 , 280 : 355 -374
[本文引用: 1]
[11]
Fernández-Real X , Ros-Oton X . Regularity theory for general stable operators: Parabolic equations
J Funct Anal , 2017 , 272 (10 ): 4165 -4221
[本文引用: 1]
[12]
Geng S , Tang Y . Convergence rates to nonlinear diffusive waves for solutions to nonlinear hyperbolic system
Acta Mathematica Scientia , 2019 , 39 B (1 ): 46 -56
[本文引用: 1]
[13]
Hamel F , Nadirashvili N . Entire solutions of the KPP equation
Comm Pure Appl Math , 1999 , 52 (10 ): 1255 -1276
[本文引用: 1]
[14]
Hamel F , Nadirashvili N . Travelling fronts and entire solutions of the Fisher-KPP equation in $R^{N}$
Arch Ration Mech Anal , 2001 , 157 (2 ): 91 -163
[本文引用: 1]
[15]
Li C . Monotonicity and symmetry of solutions of fully nonlinear elliptic equations on bounded domains
Commun Partial Differ Equ , 1991 , 16 : 491 -526
[本文引用: 1]
[16]
Li C . Some Qualitative Properties of Fully Nonlinear Elliptic and Parabolic Equations . New York : New York University , 1989
[本文引用: 1]
[17]
Li Y , Zhu M . Uniqueness theorems through the method of moving spheres
Duke Math J , 1995 , 80 (2 ): 383 -417
[本文引用: 1]
[18]
Liu Z , Chen W . Maximum principles and monotonicity of solutions for fractional $p$ - equations in unbounded domains
arXiv: 1905.06493
[本文引用: 1]
[19]
Pol$\acute{\rm a}\check{\rm c}$ ik P. Estimates of solutions and asymptotic symmetry for parabolic equations on unbounded domains
Arch Ration Mech Anal , 2007 , 183 : 59 -91
[本文引用: 1]
[20]
Pol$\acute{\rm a}\check{\rm c}$ ik P. Symmetry properties of positive solutions of parabolic equations on $R^{N},$ I: Asymptotic symmetry for the Cauchy problem
Commun Partial Differ Equ , 2005 , 30 : 1567 -1593
[本文引用: 1]
[21]
武乐云 , 陈文雄 . 具 De Giorgi 型非线性分数阶方程解的单调性
中国科学: 数学 , 2022 , 52 (1 ): 1 -22
[本文引用: 1]
Wu L Y , Chen W X . Monotonicity of solutions for fractional equations with De Giorgi type nonlinearities
Sci Sin Math , 2022 , 52 (1 ): 1 -22
[本文引用: 1]
[22]
Wu L Y , Chen W X . The sliding methods for the fractional $p$ - Laplacian
Adv Math , 2020 , 361 : Article ID 106933
[本文引用: 1]
[23]
Wu L Y , Chen W X . Ancient solutions to nonlocal parabolic equations
Advances in Mathematics , 2022 , 408 : 108607
[本文引用: 1]
[24]
Zhang B , Lü Z . Symmetry and nonexistence of solutions for a fully nonlinear nonlocal system
Pac J Math , 2019 , 299 : 237 -255
[本文引用: 1]
On the method of moving planes and the sliding method
1
1991
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Monotonicity of positive solutions for nonlocal problems in unbounded domains
2
2021
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
... [2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Classification of solutions of some nonlinear elliptic equations
1
1991
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
A direct method of moving planes for the fractional Laplacian
1
2017
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
1
2020
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
A direct method of moving spheres on fractional order equations
1
2017
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
A maximum principle on unbounded domains and a Liouville theorem for fractional $p$ -harmonic functions
1
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Asymptotic method of moving planes for fractional parabolic equations
1
2021
... 注1.1 本文的新颖之处在于采用分数阶抛物形式的移动平面法. 与文献 [8 ] 相比较, 本文的狭窄区域原则和极值原理是完全不同的. 另外, 函数 $f(t,|x|,u)$ 的假设也不同. ...
Liouville theorems for fractional parabolic equations
6
2021
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
... 为了推出方程 (1.3) 解 $u(x,t)$ 的对称性与单调性, 我们需要借助分数阶抛物方程的移动平面法. 关键准则包括狭窄区域原则和反对称函数的极值原理, 这些定理已经在文献 [9 ] 中证得. 为了方便, 我们将在下文重述这些定理, 证明将略去. ...
... 定理2.1 (狭窄区域原则[9 ] ) 假设 $\Omega$ 表示 $\Sigma_{\lambda}$ 中有界或者无界的狭窄区域, 并且$\Omega\subset\{x | \lambda-2l<x_{1}<\lambda\}$ , 其中 $l$ 小. 假设 $\omega(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 在 $\overline{\Omega}$ 上关于 $t$ 一致有界以及关于 $x$ 下半连续, 且 ...
... 定理2.2 (反对称函数的极值原理[9 ] ) 假设 $\Omega$ 表示 $\Sigma_{\lambda}$ 中有界或者无界区域, 且 $\Omega$ 的宽度沿着 $x_{1}$ 方向有界. 若 $\omega(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 在 $\overline{\Omega}$ 上关于 $t$ 一致有界以及关于 $x$ 下半连续, 且对任意 $0<\gamma<2s$ , 当 $|x|\rightarrow+\infty$ 时, $\omega(x,t)\leq o(1)|x|^{\gamma}$ 和 ...
... 引理2.1 (反对称函数的 Hopf's 引理[9 ] ) 假设 $\omega_{\lambda}(x,t)\in (C^{1,1}_{\rm loc}(\Omega)\cap \mathcal{L}_{2s})\times C^{1}(\mathbb{R})$ 有界且 ...
... 注2.1 由于定理 1.1 有条件 $u=0$ 在 $B_{1}^{c}(0)$ 上, 因此条件 $u \in \mathcal{L}_{2s}$ 出现在定理 2.1 和 2.2 中显然成立. 另外, 在定理 1.1 中我们移除了条件 $u(x,t)\leq o(1)|x|^{\gamma}$ 当 $|x|\rightarrow\infty$ , 其原因在于本文不必考虑当 $|x|\rightarrow \infty$ 时的情况, 而在文献 [9 ] 中条件 $u(x,t)\leq o(1)|x|^{\gamma}$ 当 $|x|\rightarrow \infty$ 主要用于处理方程的解在无穷远处的渐近行为. ...
The steady incompressible jet flows issuing from a finitely long nozzle
1
2021
... 在非线性偏微分方程(PDE)和现代偏微分方程领域, 方程解的适定性[10 ] 、对称性、单调性和收敛率[12 ] 等是十分重要的性质. 本文的目的是得到分数阶抛物方程 (1.1) 整体解的对称性与单调性. 本文的主要定理如下 ...
Regularity theory for general stable operators: Parabolic equations
1
2017
... 由于 $u^{k}(x,t)$ 一致有界, 根据文献 [11 ] 中关于分数阶抛物方程解的正则性估计, 我们选取子列 (仍标记为 $u^{k}$ ) 并令 $k\rightarrow\infty,$ 则 $u^{k}(x,t)\rightarrow\tilde{u}(x,t),\ \ \ (-\Delta)^{s}u^{k}(x,t)\rightarrow(-\Delta)^{s}\tilde{u}(x,t),$ ...
Convergence rates to nonlinear diffusive waves for solutions to nonlinear hyperbolic system
1
2019
... 在非线性偏微分方程(PDE)和现代偏微分方程领域, 方程解的适定性[10 ] 、对称性、单调性和收敛率[12 ] 等是十分重要的性质. 本文的目的是得到分数阶抛物方程 (1.1) 整体解的对称性与单调性. 本文的主要定理如下 ...
Entire solutions of the KPP equation
1
1999
... 其中时间变量 $t\in(-\infty,\infty),$ 此时称方程 (1.1) 的解为整体解(entire solution). 关于其他方程的整体解, 参见文献 [13 ,14 ]. ...
Travelling fronts and entire solutions of the Fisher-KPP equation in $R^{N}$
1
2001
... 其中时间变量 $t\in(-\infty,\infty),$ 此时称方程 (1.1) 的解为整体解(entire solution). 关于其他方程的整体解, 参见文献 [13 ,14 ]. ...
Monotonicity and symmetry of solutions of fully nonlinear elliptic equations on bounded domains
1
1991
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
1
1989
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Uniqueness theorems through the method of moving spheres
1
1995
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Maximum principles and monotonicity of solutions for fractional $p$ -equations in unbounded domains
1
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Estimates of solutions and asymptotic symmetry for parabolic equations on unbounded domains
1
2007
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Symmetry properties of positive solutions of parabolic equations on $R^{N},$ I: Asymptotic symmetry for the Cauchy problem
1
2005
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
具 De Giorgi 型非线性分数阶方程解的单调性
1
2022
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
具 De Giorgi 型非线性分数阶方程解的单调性
1
2022
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
The sliding methods for the fractional $p$ -Laplacian
1
2020
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Ancient solutions to nonlocal parabolic equations
1
2022
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...
Symmetry and nonexistence of solutions for a fully nonlinear nonlocal system
1
2019
... 众所周知, 关于具有局部或非局部算子的椭圆方程的研究方法有很多, 比如移动平面法可参见文献 [1 ,2 ,3 ,4 ,5 ,15 ], 移动球面法可参见文献 [6 ,17 ], 以及滑动方法(sliding methods)可参见文献 [7 ,18 ,21 ,22 ]. 之后, 具有局部算子的抛物方程有了一些结果, 比如文献 [16 ,19 ,20 ]. 然而, 截至目前, 关于非局部抛物算子的研究却寥寥无几[24 ] . 最近, 陈文雄等[2 ] 得出了无界区域上非局部问题正定解的单调性. 在文献 [9 ] 中, 陈文雄和武乐云取得了关于非局部算子的分数阶抛物方程的 Liouville 定理. 进一步, 文献 [23 ] 中, 他们又得到了分数阶抛物方程古典解(ancient solutions)的一些结果. 由于分数阶 Laplacian 整体解的主要困难来源于算子的非局部性, 而且许多传统的方法无法运用于非局部算子上, 因此, 本文将采用一些新的方法来克服算子的非局部性, 例如: 分数阶抛物形式的移动平面法, 狭窄区域原则以及反对称函数的极值原理等. ...