数学物理学报, 2023, 43(5): 1409-1416

分数阶抛物方程整体解的径向对称性与单调性

唐炎娟,

湖南第一师范学院数学与统计学院 长沙 410205

The Radial Symmetry and Monotonicity of Entire Solutions for Fractional Parabolic Equations

Tang Yanjuan,

School of Mathematics and Statistics, Hunan First Normal University, Changsha 410205

收稿日期: 2022-06-7   修回日期: 2022-03-24  

基金资助: 国家自然科学基金(12201201)

Received: 2022-06-7   Revised: 2022-03-24  

Fund supported: NSFC(12201201)

作者简介 About authors

唐炎娟,Email:yanjuantang@126.com

摘要

该文研究了分数阶抛物方程整体解的径向对称性与单调性. 为了得出整体解的对称性与单调性, 运用陈文雄和武乐云[9]取得的狭窄区域原则和反对称函数的极值原理. 除此之外, 为了克服分数阶 Laplacian 算子的非局部性, 采用了分数阶抛物形式的移动平面法.

关键词: 分数阶抛物方程; 整体解; 对称性; 单调性; 移动平面法

Abstract

This paper mainly develops the radial symmetry and monotonicity of entire solutions for fractional parabolic equations. To obtain the symmetry and monotonicity of entire solutions, the narrow region principle and maximum principle for antisymmetric functions in [9] are needed. Furthermore, to circumvent the difficulty from nonlocality for the fractional Laplacian, a fractional parabolic version of the method of moving planes will be adopted.

Keywords: Fractional parabolic equations; Entire solutions; Symmetry; Monotonicity; The method of moving planes

PDF (581KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

唐炎娟. 分数阶抛物方程整体解的径向对称性与单调性[J]. 数学物理学报, 2023, 43(5): 1409-1416

Tang Yanjuan. The Radial Symmetry and Monotonicity of Entire Solutions for Fractional Parabolic Equations[J]. Acta Mathematica Scientia, 2023, 43(5): 1409-1416

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},$

$ \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 问题的一致有界解

$ \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)$ 是递减的. 进一步, 假设

$ \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,$

$ \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$ 充分小时, 有

$ \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}$

$ \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} $

$ \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})$ 有界且

$ \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),$

$ \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) 可转化为

$ \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$ 时, 我们将证明

$ \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}$ 使得

$ \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) 式, 得出

$ \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}$ 使得

$ \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} $

假设

$ \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}.$ 那么,

$ \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),$

$ \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} $

$ \begin{equation} \tilde{\omega}_{\lambda_{0}}(x_{0},0,0)\leq 0. \end{equation} $

另外, $\tilde{u}(x,t)$ 满足

$ \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.7) 和 (3.8) 式可推导出

$ \begin{equation} \tilde{u}(y_{0},0,0)\geq\varepsilon_{0}>0. \end{equation} $

由 (3.11) 和 (3.12) 式有

$ \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)$ 满足

$ \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} $

进一步,有

$ \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.15) 式成立.

通过 (3.10) 和 (3.15) 式, 由于 $x_{0}\in[-1,\lambda_{0}],$ 我们得出 $\tilde{\omega}_{\lambda_{0}}(x_{0},0,0)=0$$x_{0}=\lambda_{0}.$ 这表明

$ \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)$ 满足

$ \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,$

$ \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.$

因为 $x_{1}$-方向是任意的, 我们可推出

$\frac{\partial u}{\partial x_{1}}(x,t)<0,\ (x,t)\in \Omega_{\lambda}\times \mathbb{R},\ \forall\ 0<\lambda<1,$

因此,

$u=u(|x|,t)$ 满足

$\frac{\partial u}{\partial |x|}(x,t)<0,\ \ \ (x,t)\in B_{1}(0)\times \mathbb{R}.$

从而 $u$ 沿着 $|x|$ 方向是递减的. 证毕.

参考文献

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]

Chen W, Hu Y.

Monotonicity of positive solutions for nonlocal problems in unbounded domains

J Funct Anal, 2021, 281(9): 109187

DOI:10.1016/j.jfa.2021.109187      URL     [本文引用: 2]

Chen W, Li C.

Classification of solutions of some nonlinear elliptic equations

Duke Math J, 1991, 63(3): 615-622

[本文引用: 1]

Chen W, Li C, Li Y.

A direct method of moving planes for the fractional Laplacian

Adv Math, 2017, 308: 404-437

DOI:10.1016/j.aim.2016.11.038      URL     [本文引用: 1]

Chen W, Li Y, Ma P. The Fractional Laplacian. Hackensack: World Scientific, 2020

[本文引用: 1]

Chen W, Li Y, Zhang R.

A direct method of moving spheres on fractional order equations

J Funct Anal, 2017, 272(10): 4131-4157

DOI:10.1016/j.jfa.2017.02.022      URL     [本文引用: 1]

Chen W, Wu L.

A maximum principle on unbounded domains and a Liouville theorem for fractional $p$-harmonic functions

arXiv:1905.09986

[本文引用: 1]

Chen W, Wang P, Niu Y, Hu Y.

Asymptotic method of moving planes for fractional parabolic equations

Adv Math, 2021, 377: 107463

DOI:10.1016/j.aim.2020.107463      URL     [本文引用: 1]

Chen W, Wu L.

Liouville theorems for fractional parabolic equations

Adv Nonlinear Stud, 2021, 21(4): 939-958

[本文引用: 6]

Du L, Tang Y.

The steady incompressible jet flows issuing from a finitely long nozzle

Journal of Differential Equations, 2021, 280: 355-374

[本文引用: 1]

Fernández-Real X, Ros-Oton X.

Regularity theory for general stable operators: Parabolic equations

J Funct Anal, 2017, 272(10): 4165-4221

[本文引用: 1]

Geng S, Tang Y.

Convergence rates to nonlinear diffusive waves for solutions to nonlinear hyperbolic system

Acta Mathematica Scientia, 2019, 39B(1): 46-56

[本文引用: 1]

Hamel F, Nadirashvili N.

Entire solutions of the KPP equation

Comm Pure Appl Math, 1999, 52(10): 1255-1276

[本文引用: 1]

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]

Li C.

Monotonicity and symmetry of solutions of fully nonlinear elliptic equations on bounded domains

Commun Partial Differ Equ, 1991, 16: 491-526

[本文引用: 1]

Li C. Some Qualitative Properties of Fully Nonlinear Elliptic and Parabolic Equations. New York: New York University, 1989

[本文引用: 1]

Li Y, Zhu M.

Uniqueness theorems through the method of moving spheres

Duke Math J, 1995, 80(2): 383-417

[本文引用: 1]

Liu Z, Chen W.

Maximum principles and monotonicity of solutions for fractional $p$-equations in unbounded domains

arXiv: 1905.06493

[本文引用: 1]

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]

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]

武乐云, 陈文雄.

具 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]

Wu L Y, Chen W X.

The sliding methods for the fractional $p$-Laplacian

Adv Math, 2020, 361: Article ID 106933

[本文引用: 1]

Wu L Y, Chen W X.

Ancient solutions to nonlocal parabolic equations

Advances in Mathematics, 2022, 408: 108607

[本文引用: 1]

Zhang B, Z.

Symmetry and nonexistence of solutions for a fully nonlinear nonlocal system

Pac J Math, 2019, 299: 237-255

[本文引用: 1]

/