数学物理学报, 2024, 44(5): 1166-1181

一类半线性双曲型微分不等式非齐次 Dirichlet 外问题解的存在性与非存在性

肖苏平1, 赵元章,2,*

1山西师范大学数学与计算机科学学院 太原 030000

2中国海洋大学数学科学学院 山东青岛 266100

Existence and Nonexistence of Solutions for Nonhomogeneous Dirichlet Exterior Problem to a Semilinear Hyperbolic Differential Inequality

Xiao Suping1, Zhao Yuanzhang,2,*

1School of Mathematics and Computer Science, Shanxi Normal University, Taiyuan 030000

2School of Mathematical Sciences, Ocean University of China, Shandong Qingdao 266100

通讯作者: *赵元章, E-mail: zhaoyz@ouc.edu.cn

收稿日期: 2023-10-4   修回日期: 2024-03-25  

基金资助: 山东省自然科学基金(ZR2019MA072)

Received: 2023-10-4   Revised: 2024-03-25  

Fund supported: Natural Science Foundation of Shandong Province of China(ZR2019MA072)

摘要

该文研究在高维外区域中 ($N\geq2$) 的一类半线性双曲型微分不等式非齐次 Dirichlet 外问题. 利用适当选取试验函数的方法及反证技巧, 在依赖于时空变量的非齐次 Dirichlet 边界条件下建立问题解的非存在性定理且导出一些解的存在性结论.

关键词： 双曲型微分不等式; 非齐次 Dirichlet 外问题; 存在性; 非存在性

Abstract

This paper is concerned with the nonhomogeneous Dirichlet exterior problem for a semilinear hyperbolic differential inequality in the higher dimensional space ($N\geq2$). Using the test function method and contradiction argument, we establish the nonexistence theorem under the nonhomogeneous Dirichlet boundary condition, which depends both on time and space. Meantime, we obtain some existence results.

Keywords： Hyperbolic differential inequality; Nonhomogeneous Dirichlet exterior problem; Existence; Nonexistence

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

本文引用格式

肖苏平, 赵元章. 一类半线性双曲型微分不等式非齐次 Dirichlet 外问题解的存在性与非存在性[J]. 数学物理学报, 2024, 44(5): 1166-1181

Xiao Suping, Zhao Yuanzhang. Existence and Nonexistence of Solutions for Nonhomogeneous Dirichlet Exterior Problem to a Semilinear Hyperbolic Differential Inequality[J]. Acta Mathematica Scientia, 2024, 44(5): 1166-1181

1 引言

我们考虑如下一类双曲型微分不等式 Dirichlet 外问题

$\begin{equation}\label{eq:1.1} u_{tt}\geq\bigtriangleup u+|x|^{\theta}|u|^{p},\;(x,t)\in {\rm D}^{c}\times(0,\infty), \end{equation}$

给出 Dirichlet 边界条件及初始条件

$\begin{equation}\label{eq:1.2} u(x,t)\geq a(t)f(x),\;(x,t)\in\partial {\rm D}\times(0,\infty), \end{equation}$
$\begin{equation}\label{eq:1.3} u(x,0)\geq u_{0}(x),\;u_{t}(x,0)\geq u_{1}(x),\;x\in {\rm D}^{c}, \end{equation}$

其中 ${\rm D}=\overline{{\rm B}(0,1)}$ 为 $\mathbb{R}^{N}$ 中的闭单位球, $N\geq2$, $\theta>-2$, $p>1$, $a\in L_{loc}^{1}([0,\infty))$, $a\not\equiv0$, $f\in L^{1}(\partial {\rm D})$, $\int_{\partial {\rm D}}f(x){\rm d}S_{x}>0$ 且非负函数 $u_{i}(x)\in L_{loc}^{1}(\overline{{\rm D}^{c}})(i=0,1)$.

迄今为止, 许多学者致力于半线性双曲型微分方程及不等式中解的存在性与非存在性临界值的行为研究已有许多进展和成果, 比如在整体空间中的问题[1⇓⇓⇓⇓⇓⇓-8]、在半平面上的问题[9]、在锥形区域中的问题[10]、在流形上的问题[11]、在外区域中的问题[12⇓-14]等. 粗略地讲, 双曲型微分方程及不等式整体解的存在性与非存在性的临界指标依赖于齐次或非齐次, 初值的大小和行为、区域的形状与大小等. 本文中, 我们特别感兴趣于在外区域中具有一大类时变系数非齐次 Dirichlet 边界条件的半线性双曲型微分不等式整体解的存在性与非存在性问题. Zhang[12] 首次考虑了具有非齐次 Dirichlet 或 Neumann 边界条件的波动方程外问题

$\begin{equation}\label{eq:1.4} u_{tt}=\bigtriangleup u+|x|^{\theta}|u|^{p},\;(x,t)\in {\rm D}^{c}\times(0,\infty), \end{equation}$

其中 ${\rm D}$ 是 $\mathbb{R}^{N}$ 中有界闭区域, $N\geq3$, $\theta>-2$, $f\in L^{1}(\partial {\rm D})$且$f\geq0$, 他利用试验函数法得到了 Kato 型临界指标[2] 为 $p_{KC}=\frac{N+\theta}{N-2}$ 且与相应的稳态问题的临界指标一致. 但是, 他未讨论临界情形是否属于爆破情形的问题. 之后, Laptev[13] 研究了具有齐次 Dirichlet 边界条件的高阶发展型微分不等式

$\begin{equation}\label{eq:1.5} \frac{\partial^{k}u}{\partial t^{k}}\geq\bigtriangleup u+|x|^{\theta}|u|^{p},\;(x,t)\in \Omega^{c}\times(0,\infty), \end{equation}$

其中 $R>0$, $k\in {\rm N}$, $\theta>-2$, $\Omega=\mathbb{R}^{N}\backslash {\rm B}_{R}$ 且证明了当$1<p\leq\frac{N+\theta+\frac{2}{k}}{N-2+\frac{2}{k}}$ 时非平凡整体弱解的非存在性. 实际上, 在 (1.4) 式中取 $\theta=0$, 则临界指标为 $\frac{N}{N-2}$, 这与相应的齐次 Dirichlet 边界问题 (在 (1.5) 式中取 $k=2$) 的 Kato 型临界指标 $p_{KC}=\frac{N+1}{N-1}$ 相比大. 最近, Jleli 等[14] 分别在非齐次 Dirichlet 或 Neumann 或 Robin 边界条件下考虑了退化双曲不等式

$u_{tt}\geq {\rm div}(|x|^{l}\nabla u)+|x|^{\theta}|u|^{p},\;(x,t)\in {\rm D}^{c}\times(0,\infty),$
$u(x,t)\geq f(x),\;(x,t)\in \partial {\rm D}\times(0,\infty),$

其中 ${\rm D}={\rm B}(0,1)$ 为 $\mathbb{R}^{N}(N\geq2)$ 中的闭单位球, $p>1$, $N+l-2\geq0$, $\theta>l-2$, $f\in L^{1}(\partial {\rm D})$ 且给出了 Kato 型临界指标为 $p_{KC}=\frac{N+\theta}{N+l-2}$. 此外, 关于具有齐次 Dirichlet 边界条件的半线性波动方程外问题中局部解的生命跨度估计方面的最新文献, 我们参考了 [15⇓-17] 及其相关的文献.

由前所述, 含有一大类时变系数非齐次边界条件的半线性双曲型微分不等式 Dirichlet 外问题 (1.1)-(1.3) 整体解的存在性与非存在性的研究还未得到展开. 主要难点在于 (i) 不等式 (1.1) 右端含有空变系数; (ii) 在非齐次边界条件 (1.2) 中含有时变系数; (iii) 找出适当的参数范围, 使其正好出现 Kato 型等. 由此启发, 本文将利用由 Mitidieri 和 Pohozaev[18,19] 发展起来的适当选择试验函数的方法, 得到精细的先验估计值, 并以此为依据建立微分不等式外问题 (1.1)-(1.3) 的整体弱解的非存在性定理且导出一些存在性结论. 其结果表明, 涵盖现有的文献给出的 Kato 型临界指标. 此方法有 (1) 无需初始迹; (2) 无需讨论径向解; (3) 无需给无穷远处的行为等优点. 更详细的结果如下

为了描述简便, 我们简记

$\begin{array}{l} \mathrm{A}:=\left\{a \in L_{\mathrm{loc}}^{1}([0, \infty)): a \geq 0, a \not \equiv 0\right\} \\ \mathrm{F}:=\left\{f \in L^{1}(\partial \mathrm{D}): \int_{\partial \mathrm{D}} f(x) \mathrm{d} S_{x}>0\right\} \\ \mathrm{G}:=\left\{u_{i}(x) \in L_{\mathrm{loc}}^{1}\left(\overline{\mathrm{D}^{c}}\right): u_{i}(x) \geq 0, i=0,1\right\} \end{array}$

我们的第一个结论是关于问题 (1.1)-(1.3) 的一般非存在性条件.

定理 1.1 令 $N\geq2$, $p>1$, $\theta>-2$, $a\in {\rm A}$, $f\in {\rm F}$且$u_{i}(x)\in {\rm G}(i=0,1)$. 若

$\begin{equation}\label{eq:1.6} \limsup_{T\rightarrow\infty}\left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm lnT})^{-1}=\infty,\;N=2 \end{equation}$

或

$\begin{equation}\label{eq:1.7} \limsup_{T\rightarrow\infty}\left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{p+\theta+1}{p-1}-N}=\infty,\;N\geq3, \end{equation}$

则问题 (1.1)-(1.3) 无整体弱解.

进一步, 讨论函数 $a\in {\rm A}$ 的一些特殊情形. 首先考虑函数集

$\begin{equation*} {\rm B}=\{a\in {\rm A}:\operatorname*{ess\,inf}_{t>0} a(t)>0\}. \end{equation*}$

定理 1.2 令 $\theta>-2$.

(i) 令 $a\in {\rm B}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$. 若 $N=2$, $p>1$, 则问题 (1.1)-(1.3) 无整体弱解;

(ii) 令 $a\in {\rm B}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$. 若 $N\geq3$, $1<p\leq\frac{N+\theta}{N-2}$, 则问题 (1.1)-(1.3) 无整体弱解;

(iii)

若 $N\geq3$, $p>\frac{N+\theta}{N-2}$, 则对于一些 $a\in {\rm B}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$, 问题 (1.1)-(1.3) 存在整体正解.

注 1.1 在定理 1.2 中, 取 $a(t)=1\in {\rm B}$, 易知, 问题 (1.1)-(1.3) 的 Kato 型临界指标为

$\begin{equation*}p_{KC}:=(1.3)\begin{cases}(1.3)\frac{N+\theta}{N-2},\quad & N\geq3,\\(1.3)\infty,\qquad &N=2,(1.3)\end{cases}(1.3)\end{equation*}$

这表明, 定理 1.2 涵盖文献 [2,12,13] 以及文献 [14] 中 $l=0$ 情形.

下面, 再考虑函数集

$\begin{equation*}(1.3){\rm C}_{\sigma}=\{a\in {\rm A}:\text{当}\ t\rightarrow\infty\ \text{时}, a(t)\sim t^{\sigma}\},\;\sigma\in\mathbb{R}.(1.3)\end{equation*}$

定理 1.3 令 $N=2$, $\theta>-2$, $a\in {\rm C}_{\sigma}$, $\sigma\in\mathbb{R}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$.

(i) 若 $\sigma\leq-1$, $1<p<3+\theta$, 则问题 (1.1)-(1.3) 无整体弱解;

(ii) 若 $-1<\sigma<0$, $1<p<1-\frac{\theta+2}{\sigma}$, 则问题 (1.1)-(1.3) 无整体弱解;

(iii) 若 $\sigma\geq0$, 则对所有 $p>1$, 问题 (1.1)-(1.3) 无整体弱解.

定理 1.4 令 $N\geq3$, $\theta>-2$, $a\in {\rm C}_{\sigma}$, $\sigma\in\mathbb{R}$, $f\in {\rm F}$且$u_{i}(x)\in {\rm G}(i=0,1)$.

(i) 若 $\sigma\leq-1$ 且

$1<p\leq1+\frac{\theta+2}{N-1}(\sigma=-1), \; 1<p<1+\frac{\theta+2}{N-1}(\sigma<-1),$

则问题 (1.1)-(1.3) 无整体弱解;

(ii) 若 $-1<\sigma<N-2$ 且 $1<p<1+\frac{\theta+2}{N-\sigma-2}$, 则问题 (1.1)-(1.3) 无整体弱解;

(iii) 若 $\sigma\geq N-2$, 则对所有 $p>1$, 问题 (1.1)-(1.3) 无整体弱解.

最后, 导出依赖于初值的临界指标.

定理 1.5 令 $N\geq3$, $\theta>-2$, $a\in {\rm A}$, $f\in L^{1}(\partial {\rm D})$, $f\geq0$, $u_{i}(x)\in{\rm G}(i=0,1)$ 且满足

$\begin{equation}\label{eq:1.8} u_{0}(x)\geq C|x|^{\beta},\; x\in {\rm D}^{c}, \end{equation}$

其中常数 $C>0$.

(i) 若 $\beta\geq0$, 则对于任意 $p>1$, 问题 (1.1)-(1.3) 无整体弱解;

(ii) 若 $2-N<\beta<0$, 且 $1<p<1-\frac{2+\theta}{\beta}$, 则问题 (1.1)-(1.3) 无整体弱解;

(iii) 若 $2-N<\beta<0$, 且 $p>1-\frac{2+\theta}{\beta}$, 则问题 (1.1)-(1.3) 存在整体正解.

注 1.2 当 $\beta\leq2-N$ 时, 我们有

$\begin{equation*} 1-\frac{2+\theta}{\beta}\leq\frac{N+\theta}{N-2}, \end{equation*}$

且由定理 1.2 (ii) 易知, 定理 1.5 (ii) 成立.

注 1.3 在适当的条件下定理 $1.2$ 中得到的 Kato 型临界指标 $\frac{N+\theta}{N-2}$ 和在定理 $1.5$ 中对初值给出行为时导出的临界指标$1-\frac{2+\theta}{\beta}$ 之间可比较大小. 事实上, 当 $2-N<\beta<0$ 时, 显然满足 $\frac{N+\theta}{N-2}<1-\frac{2+\theta}{\beta}$.

本文的剩余部分结构如下: 第 2 节, 引入解的定义、试验函数的构造、主要结论的证明所需的一些引理; 第 3-7 节, 给出定理 1.1-1.5 的详细证明过程.

2 预备知识

首先, 介绍问题 (1.1)-(1.3) 解的定义.

定义 2.1 令 $N\geq2$, $\theta>-2$, $p>1$, $a\in L_{loc}^{1}([0,\infty))$, $f\in L^{1}(\partial {\rm D})$ 且 $u_{i}(x)\in L_{loc}^{1}(\overline{{\rm D}^{c}})(i=0,1)$. 如果 $u\in L_{loc}^{p}\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$ 满足

$\begin{array}{l} \int_{\mathrm{D}^{c} \times(0, \infty)}|x|^{\theta}|u|^{p} \varphi \mathrm{~d} x \mathrm{~d} t+\int_{\mathrm{D}^{c}} u_{1}(x) \varphi(x, 0) \mathrm{d} x-\int_{\mathrm{D}^{c}} u_{0}(x) \partial_{t} \varphi(x, 0) \mathrm{d} x \\ -\int_{\partial \mathrm{D} \times(0, \infty)} \frac{\partial \varphi}{\partial n^{+}} a(t) f(x) \mathrm{d} S_{x} \mathrm{~d} t \leq \int_{\mathrm{D}^{c} \times(0, \infty)} u \partial_{t t} \varphi \mathrm{~d} x \mathrm{~d} t-\int_{\mathrm{D}^{c} \times(0, \infty)} u \Delta \varphi \mathrm{~d} x \mathrm{~d} t \end{array}$

其中任意非负函数 $\varphi\in C_{x,t}^{2,2}\left({\rm D}^{c}\times(0,\infty)\right)\cap C\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$ 且满足

(i) 存在 $T>0$ 使得 $\varphi(\cdot,t)\equiv0$, $t\geq T$;

(ii) 存在 $R>1$ 使得 $\varphi(x,\cdot)\equiv0$, $|x|\geq R$;

(iii) $\varphi|_{\partial {\rm D}}\equiv0$;

(iv) $\partial_{t}\varphi(\cdot,0)\leq0$, $\partial_{t}\varphi(\cdot,0)\in C(\overline{{\rm D}^{c}})$, $\partial_{tt}\varphi$, $\triangle\varphi\in C\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$;

(v) $\frac{\partial\varphi}{\partial n^{+}}\in L^{\infty}(\partial{\rm D}\times(0,\infty))$, $\frac{\partial\varphi}{\partial n^{+}}\leq0$,

其中 $n^{+}$ 表示 $\partial{\rm D}$ 的单位外法向量 $($相对于 ${\rm D}^{c}$ 来讲$)$, 则称 $u$ 为问题 (1.1)-(1.3) 的整体弱解.

接下来, 构造辅助函数. 令 $N\geq2$, $H$ 是 ${\rm D}^{c}$ 上的调和函数且

$\begin{equation*}H(x):= \begin{cases} {\rm ln}(|x|),\qquad\quad N=2,\\ 1-|x|^{2-N},\quad N\geq3, \end{cases} \forall x\in {\rm D}^{c}. \end{equation*}$

对于给定的 $0<T<\infty$, 我们记

$Q_{T}:={\rm D}^{c}\times[T],\;\Gamma_{T}:=\partial{\rm D}\times[T].$

同时, 引入截断函数

$\begin{equation*}\eta_{T}(t):= \begin{cases} T^{-\lambda}(T-t)^{\lambda},\quad 0\leq t\leq T, \lambda\gg1,\\ 0,\qquad\qquad\qquad t>T \end{cases} \end{equation*}$

和

$\psi_{T}(x):=H(x)\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right), \quad x\in\overline{{\rm D}^{c}}, r>0, w\gg1,$

其中函数 $\Phi\in C_{0}^{\infty}([0,\infty))$ 且满足

$\begin{equation*} 0\leq\Phi\leq1,\; \Phi(\sigma)= \begin{cases} 1,\quad 0\leq \sigma\leq 1,\\ 0,\quad \sigma\geq2. \end{cases} \end{equation*}$

再令

$\varphi_{T}(x,t):=\eta_{T}(t)\psi_{T}(x),\quad (x,t)\in\overline{{\rm D}^{c}}\times[0,\infty).$

为了得到临界情形的结论, 介绍新的试验函数

$\overline{\varphi}_{T}(x,t):=\eta_{T}(t)\overline{\psi}_{T}(x),\quad (x,t)\in\overline{{\rm D}^{c}}\times[0,\infty),$

其中

$\overline{\psi}_{T}(x)=H(x)\xi^{w}\left(\frac{{\rm ln}\frac{|x|}{\sqrt[j]{T}}}{{\rm ln}\sqrt[j]{T}}\right), \quad x\in\overline{{\rm D}^{c}},\, j>0,\,w>0,$

且标准的光滑截断函数 $\xi:\mathbb{R}\rightarrow[0,1]$ 满足

$\begin{equation*} 0\leq\xi\leq1,\, \xi(s)= \begin{cases} 1,\quad s\leq 0,\\ 0,\quad s\geq1. \end{cases} \end{equation*}$

下面, 引入主要结论证明所需的一些引理.

引理 2.1 当 $N\geq2$, $T\gg1$ 时, 函数 $\varphi_{T}$ 满足定义 2.1 中的条件 (i)-(v).

证 由 $\varphi_{T}$ 的定义显知其满足定义 2.1 中的条件 (i) 和 (iii). 由 $\Phi$ 的定义, 我们有 $\psi_{T}(x)=0$, $|x|\geq\sqrt{2}T^{r}$, 即 $\varphi_{T}(x,t)=0$, $t\geq0$, $|x|\geq\sqrt{2}T^{r}$, 因此, 当 $R=\sqrt{2}T^{r}$ 时, 条件 (ii) 满足. 再由 $\varphi_{T}$ 和 $H(x)$ 的定义, 对 $(x,t)\in\overline{{\rm D}^{c}}\times(0,\infty)$, 有

$\begin{equation*} \partial_{t}\varphi_{T}(x,t)= \begin{cases} -\lambda T^{-\lambda}(T-t)^{\lambda-1}\psi_{T}(x),& 0\leq t\leq T,\\ 0,& t\geq T \end{cases} \end{equation*}$

和

$\begin{equation*} \partial_{tt}\varphi_{T}(x,t)= \begin{cases} \lambda(\lambda-1) T^{-\lambda}(T-t)^{\lambda-2}\psi_{T}(x),& 0\leq t\leq T,\\ 0,& t\geq T, \end{cases} \end{equation*}$

且

$\triangle\varphi_{T}(x,t)=\eta_{T}(t)\left[H(x)\triangle\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)+2\nabla H(x)\cdot\nabla\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right],$

其中 $\cdot$ 表示数量积, 由上面的式子易知函数 $\varphi_{T}$ 满足 ${\rm (iv)}$. 对 $(x,t)\in\partial{\rm D}\times(0,\infty)$, 有

$\begin{equation}\label{eq:2.2} \frac{\partial\varphi_{T}}{\partial n^{+}}(x,t)= \begin{cases} -\eta_{T}(t),& N=2,\\ -(N-2)\eta_{T}(t),& N\geq 3, \end{cases} \end{equation}$

再结合 $\eta_{T}(t)$ 的定义易知满足条件 ${\rm (v)}$. 证毕.

引理 2.2 令 $N\geq2$, $p>1$, $\theta>-2$, $a\in {\rm A}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$. 若 $u\in L_{loc}^{p}\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$ 是问题 (1.1)-(1.3) 的整体弱解, 则对 $T\gg1$, 有

$I_{T}(u)+C\int_{0}^{\frac{T}{2}}a(t){\rm d}t\leq\int_{Q_{T}}|u||\partial_{tt}\varphi_{T}|{\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\varphi_{T}|{\rm d}x{\rm d}t,$

其中 $C>0$ 是不依赖于 $T$ 的常数, 且 $I_{T}(u)=\int_{Q_{T}}|x|^{\theta}|u|^{p}\varphi_{T}{\rm d}x{\rm d}t$.

证 令 $T\gg1$. 利用引理 2.1 且在 (2.1) 式中取试验函数 $\varphi=\varphi_{T}(x,t)$, 得到

$\begin{equation*} \begin{split} &\int_{{\rm D}^{c}\times(0,\infty)}|x|^{\theta}|u|^{p}\varphi_{T} {\rm d}x{\rm d}t+\int_{{\rm D}^{c}}u_{1}(x)\varphi_{T}(x,0){\rm d}x-\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x\\ &-\int_{\partial {\rm D}\times(0,\infty)}\frac{\partial\varphi_{T}}{\partial n ^{+}}a(t)f(x){\rm d}S_{x}{\rm d}t\leq\int_{{\rm D}^{c}\times(0,\infty)}|u||\partial_{tt}\varphi_{T}| {\rm d}x{\rm d}t+\int_{{\rm D}^{c}\times(0,\infty)}|u||\triangle\varphi_{T}| {\rm d}x{\rm d}t, \end{split} \end{equation*}$

由于 $u_{i}(x)\geq0(i=0,1)$, $\varphi_{T}\geq0$, $\partial_{t}\varphi_{T}(x,\cdot)\leq0$ 且 $\varphi_{T}(\cdot,t)\equiv0$, $t\geq T$, 有

$\begin{equation}\label{eq:2.3} \int_{Q_{T}}|x|^{\theta}|u|^{p}\varphi_{T} {\rm d}x{\rm d}t-\int_{\Gamma_{T}}\frac{\partial\varphi_{T}}{\partial n ^{+}}a(t)f(x){\rm d}S_{x}{\rm d}t\leq\int_{Q_{T}}|u||\partial_{tt}\varphi_{T}| {\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\varphi_{T}| {\rm d}x{\rm d}t. \end{equation}$

现在, 处理 (2.3) 式左端第二项. 利用 (2.2) 式, 得到

$\begin{equation}\label{eq:2.4}-\int_{\Gamma_{T}}\frac{\partial\varphi_{T}}{\partial n ^{+}}a(t)f(x){\rm d}S_{x}{\rm d}t= \begin{cases} \left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)\left(\int_{0}^{T}\eta_{T}(t)a(t){\rm d}t\right),& N=2,\\ (N-2)\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)\left(\int_{0}^{T}\eta_{T}(t)a(t){\rm d}t\right),& N\geq 3, \end{cases} \end{equation}$

且由 $a$, $\eta_{T}\geq0$ 易知

$\begin{equation}\label{eq:2.5} \int_{0}^{T}\eta_{T}(t)a(t){\rm d}t\geq\int_{0}^{\frac{T}{2}}\eta_{T}(t)a(t){\rm d}t=T^{-\lambda}\int_{0}^{\frac{T}{2}}(T-t)^{\lambda}a(t){\rm d}t\geq\frac{1}{2^{\lambda}}\int_{0}^{\frac{T}{2}}a(t){\rm d}t, \end{equation}$

利用 (2.4), (2.5) 式及 $\int_{\partial {\rm D}}f(x){\rm d}S_{x}>0$, 得到

$\begin{equation}\label{eq:2.6}-\int_{\Gamma_{T}}\frac{\partial\varphi_{T}}{\partial n ^{+}}a(t)f(x){\rm d}S_{x}{\rm d}t\geq \begin{cases} C\int_{0}^{\frac{T}{2}}a(t){\rm d}t, & N=2,\\[3mm] C_{1}\int_{0}^{\frac{T}{2}}a(t){\rm d}t, & N\geq 3, \end{cases} \end{equation}$

其中

$\begin{equation*} C=\frac{1}{2^{\lambda}}\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)>0,\quad C_{1}=\frac{N-2}{2^{\lambda}}\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)>0, \end{equation*}$

因此, 结合 (2.3) 和 (2.6) 式, 得到引理 2.2.

引理 2.3 假设 $N\geq2$, $p>1$, $p'=\frac{p}{p-1}$, 则当 $T\rightarrow\infty$ 时, 有

$\begin{equation*}\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t\leq \begin{cases} O\left(T^{1+2r-\frac{\theta r}{p-1}-2p'}{\rm ln}T\right),& N=2,\\ O\left(T^{1+Nr-\frac{\theta r}{p-1}-2p'}\right),& N\geq 3, \end{cases} \end{equation*}$

其中 $r$ 是试验函数 $\psi_{T}(x)$ 中 $T$ 的次幂.

证 利用 $\varphi_{T}$ 的定义, 得到

$\begin{equation}\label{eq:2.7} \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t = \left(\int_{0}^{T}\left[\eta_{T}(t)\right]^{\frac{-1}{p-1}}|\partial_{tt}\eta_{T}|^{p'}{\rm d}t\right)\left(\int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\psi_{T}(x){\rm d}x\right). \end{equation}$

下面, 处理 (2.7) 式右端的第一和第二积分式子. 利用 $\eta_{T}(t)$ 的定义, 经过简单计算, 易知: 当 $T\rightarrow\infty$ 时,

$\begin{equation}\label{eq:2.8} \int_{0}^{T}\left[\eta_{T}(t)\right]^{\frac{-1}{p-1}}|\partial_{tt}\eta_{T}|^{p'}{\rm d}t=O\left(T^{1-2p'}\right). \end{equation}$

当 $N=2$ 时, 由 $\psi_{T}$ 和 $\Phi$ 的定义和变量变换, 我们有

$\begin{equation*} \begin{split} \int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\psi_{T}(x){\rm d}x&=\int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}H(x)\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right){\rm d}x\\ &=T^{2r}\int_{ {\rm D}^{c}}|T^{r}y|^{\frac{-\theta}{p-1}}{\rm ln}|T^{r}y|\Phi^{w}(|y|^{2}){\rm d}y\\ &=CT^{2r-\frac{\theta r}{p-1}}\int_{{\rm B}(0,\sqrt{2})\setminus\overline{{\rm B}(0,T^{-r})}}|y|^{\frac{-\theta}{p-1}}{\rm ln}|T^{r}y|\Phi^{w}(|y|^{2}){\rm d}y\\ &\leq CT^{2r-\frac{\theta r}{p-1}}{\rm ln}(\sqrt{2}T^{r})\int_{{\rm B}(0,\sqrt{2})\setminus\overline{{\rm B}(0,T^{-r})}}|y|^{\frac{-\theta}{p-1}}\Phi^{w}(|y|^{2}){\rm d}y, \end{split} \end{equation*}$

即: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation}\label{eq:2.9} \int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\psi_{T}(x){\rm d}x\leq O\left(T^{2r-\frac{\theta r}{p-1}}{\rm ln}T\right), \end{equation}$

当 $N\geq3$ 时, 类似于 $N=2$ 时讨论过程, 当 $T\rightarrow\infty$ 时, 我们有

$\begin{equation}\label{eq:2.10} \int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\psi_{T}(x){\rm d}x\leq O\left(T^{Nr-\frac{\theta r}{p-1}}\right), \end{equation}$

因此, 结合 (2.7)-(2.10) 式, 我们易得引理 2.3.

引理 2.4 假设 $N\geq2$, $p>1$, $p'=\frac{p}{p-1}$, 则当 $T\rightarrow\infty$ 时, 我们有

$\begin{equation*}\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\leq \begin{cases} O\left(T^{1+2r-\frac{\theta r}{p-1}-2rp'}{\rm ln}T\right),& N=2,\\ O\left(T^{1+Nr-\frac{\theta r}{p-1}-2rp'}\right),& N\geq 3, \end{cases} \end{equation*}$

其中 $r$ 是试验函数 $\psi_{T}(x)$ 中 $T$ 的次幂.

证 利用 $\varphi_{T}$ 的定义, 我们得到

$\begin{equation}\label{eq:2.11} \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t =\left(\int_{0}^{T}\eta_{T}(t){\rm d}t\right)\left(\int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\left[\psi_{T}(x)\right]^{\frac{-1}{p-1}}|\triangle\psi_{T}(x)|^{p'}{\rm d}x\right). \end{equation}$

下面, 处理 (2.11) 式右端的第一和第二积分式子. 利用 $\eta_{T}(t)$ 的定义, 经过简单计算, 我们易知: 当 $T\rightarrow\infty$ 时,

$\begin{equation}\label{eq:2.12} \int_{0}^{T}\eta_{T}(t){\rm d}t=\int_{0}^{T}T^{-\lambda}(T-t)^{\lambda}{\rm d}t=O(T). \end{equation}$

利用 $H(x)$, $\psi_{T}(x)$ 的定义和下面不等式

$\begin{equation*} (a+b)^{p'}\leq2^{p'-1}(a^{p'}+b^{p'}), \text{其中}a\geq0, b\geq0, p'>1, \end{equation*}$

我们计算得

$\begin{equation*} \begin{split} & \left[\psi_{T}(x)\right]^{\frac{-1}{p-1}}|\triangle\psi_{T}(x)|^{p'}\\ &\leq C_{p}\left[H(x)\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right]^{\frac{-1}{p-1}}\left((H(x))^{p'}\left|\triangle\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}+|\nabla H(x)|^{p'}\left|\nabla\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}\right), \end{split} \end{equation*}$

其中 $C_{p}$ 是仅依赖于 $p$ 的常数, 将上式代入 (2.11) 式右端第二积分式子中, 我们得

$\begin{equation}\label{eq:2.13} \int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\left[\psi_{T}(x)\right]^{\frac{-1}{p-1}}|\triangle\psi_{T}(x)|^{p'}{\rm d}x\leq I+J, \end{equation}$

其中

$\begin{equation*} I:=C\int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}H(x)\Phi^{\frac{-w}{p-1}}\left(\frac{|x|^{2}}{T^{2r}}\right)\left|\triangle\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}{\rm d}x, \end{equation*}$
$\begin{equation*} J:=C\int_{ {\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}[H(x)]^{\frac{-1}{p-1}}|\nabla H(x)|^{p'}\Phi^{\frac{-w}{p-1}}\left(\frac{|x|^{2}}{T^{2r}}\right)\left|\nabla\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}{\rm d}x, \end{equation*}$

其中 $C$ 是仅依赖于 $p$ 的常数. 当 $N=2$ 时, 我们分别估计 $I$ 和 $J$. 利用 $\Phi$ 的定义和变量变换, 我们有

$\begin{equation*} \begin{split} I&=C\int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}{\rm ln}|x|\Phi^{\frac{-w}{p-1}}\left(\frac{|x|^{2}}{T^{2r}}\right)\left|\triangle\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}{\rm d}x\\ &= C\int_{\overline{{\rm B}(0,\sqrt{2}T^{r})}\backslash{\rm B}(0,T^{r})}|x|^{\frac{-\theta}{p-1}}{\rm ln}|x|\Phi^{\frac{-w}{p-1}}\left(\frac{|x|^{2}}{T^{2r}}\right)\left|\triangle\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right)\right|^{p'}{\rm d}x\\ &=CT^{2r-2rp'-\frac{\theta r}{p-1}}\int_{\overline{{\rm B}(0,\sqrt{2})}\backslash{\rm B}(0,1)}|y|^{\frac{-\theta}{p-1}}{\rm ln}(T^{r}|y|)\Phi^{\frac{-w}{p-1}}(|y|^{2})|\triangle\Phi^{w}(|y|^{2})|^{p'}{\rm d}y, \end{split} \end{equation*}$

当 $T\rightarrow\infty$ 时, 满足

$\begin{equation}\label{eq:2.14} I=O\left(T^{2r-2rp'-\frac{\theta r}{p-1}}{\rm ln}T\right), \end{equation}$

类似地, 对 $J$ 进行相应的处理, 当 $T\rightarrow\infty$ 时, 我们得到

$\begin{equation}\label{eq:2.15} J=O\left(T^{2r-2rp'-\frac{\theta r}{p-1}}({\rm ln}T)^{\frac{-1}{p-1}}\right). \end{equation}$

当 $N\geq3$ 时, 类似于 $N=2$ 时讨论过程, 当 $T\rightarrow\infty$ 时, 有

$\begin{equation}\label{eq:2.16} I\leq O\left(T^{Nr-2rp'-\frac{\theta r}{p-1}}\right) \end{equation}$

和

$\begin{equation}\label{eq:2.17} J\leq O\left(T^{Nr-Nrp'-\frac{\theta r}{p-1}}\right), \end{equation}$

因此, 结合 (2.11)-(2.17) 式, 我们得到引理 2.4.

为了讨论临界情形, 引入如下几个关键引理.

引理 2.5 当 $N\geq2$, $T\gg1$ 时, 函数 $\overline{\varphi}_{T}$ 满足定义 2.1 中的条件 (i)-(v).

证 类似于引理 2.1 的证明, 显知 $\overline{\varphi}_{T}$ 满足定义 2.1 中的条件 (i)-(v). 引理 2.5 证毕.

引理 2.6 假设 $N\geq3$, $p=\frac{N+\theta}{N-2}>1$, $p'=\frac{p}{p-1}$, 则当 $T\rightarrow\infty$ 时, 我们有

$\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t\leq O\left[T^{1-2p'}\left(1+T^{\frac{2}{j}\left(N-\frac{\theta}{p-1}\right)}\right){\rm ln}T\right].$

证 利用 $\overline{\varphi}_{T}$ 的定义, 得到

$\begin{equation}\label{eq:2.18} \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t =\left(\int_{0}^{T}\left[\eta_{T}\right]^{\frac{-1}{p-1}}|\partial_{tt}\eta_{T}|^{p'}{\rm d}t\right)\left(\int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\overline{\psi}_{T}{\rm d}x\right). \end{equation}$

首先, 处理 (2.18) 式右端的第二个积分式子. 由 $\overline{\psi}_{T}$ 和 $\xi$ 的定义和变量变换, 我们易知, 当 $T\rightarrow\infty$ 时, 满足

$\begin{align*}\label{eq:2.19} \int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\overline{\psi}_{T}(x){\rm d}x &=\int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}H(x)\xi^{w}\left(\frac{{\rm ln}\frac{|x|}{\sqrt[j]{T}}}{{\rm ln}\sqrt[j]{T}}\right){\rm d}x\\ &\leq\int_{1<|x|<\sqrt[j]{T^{2}}}|x|^{\frac{-\theta}{p-1}}\left(1-|x|^{2-N}\right){\rm d}x \leq C\int_{1<|x|<\sqrt[j]{T^{2}}}|x|^{\frac{-\theta}{p-1}}{\rm d}x\\ &=C\int_{\rho=1}^{\sqrt[j]{T^{2}}}\rho^{N-1-\frac{\theta}{p-1}}{\rm d}\rho \leq \begin{cases} C{\rm ln}T,& N=\frac{\theta}{p-1},\\[3mm] CT^{\frac{2}{j}\left(N-\frac{\theta}{p-1}\right)},& N>\frac{\theta}{p-1},\\[3mm] C,& N<\frac{\theta}{p-1}, \end{cases}\\ &\leq O\left[\left(1+T^{\frac{2}{j}\left(N-\frac{\theta}{p-1}\right)}\right){\rm ln}T\right]. \end{align*}$

再由 (2.8) 和 (2.18)-(2.19) 式可得到引理 2.6 的结论.

引理 2.7 令 $N\geq3$, $p=\frac{N+\theta}{N-2}>1$, $p'=\frac{p}{p-1}$, $w>2p'$, 则当 $T\rightarrow\infty$ 时, 有

$\begin{equation*}\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\Delta\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t\leq O\left(T({\rm ln}T)^{\frac{-1}{p-1}}\right). \end{equation*}$

证 由 $\overline{\varphi}_{T}(x)$ 的定义, 有

$\begin{equation}\label{eq:2.20} \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}|[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\Delta\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t \leq \left(\int_{0}^{T}\eta_{T}{\rm d}t\right)\left(\int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\left[\overline{\psi}_{T}\right]^{\frac{-1}{p-1}} |\Delta\overline{\psi}_{T}|^{p'}{\rm d}x\right). \end{equation}$

接下来, 处理 (2.20) 式右端的第二个积分式子. 利用

$\Delta\overline{\psi}_{T}={\rm div}(\nabla\overline{\psi}_{T})=\rho^{1-N}\partial_{\rho}(\rho^{N-1}\partial_{\rho}\overline{\psi}_{T}),\quad x\in {\rm D}^{c},\quad \rho=|x|$

和 $\overline{\psi}_{T}$ 的定义, 当 $T\gg1$ 时, 有

$\begin{equation*} \Delta\overline{\psi}_{T}\leq C|x|^{-2}({\rm ln}T)^{-1}\xi^{w-2}\left(\frac{{\rm ln}\frac{|x|}{\sqrt[j]{T}}}{{\rm ln}\sqrt[j]{T}}\right)1_{\{\sqrt[j]{T}<|x|<\sqrt[j]{T^{2}}\}}, \quad x\in {\rm D}^{c}, \end{equation*}$

其中对于给定集合 $A$, $1_{A}$ 表示 $A$ 的特征函数. 即当 $w>2p'$, $T\rightarrow\infty$ 时, 可得

$\begin{align*}\label{eq:2.21} & \int_{{\rm D}^{c}}|x|^{\frac{-\theta}{p-1}}\left[\overline{\psi}_{T}\right]^{\frac{-1}{p-1}}|\Delta\overline{\psi}_{T}|^{p'}{\rm d}x\\ &\leq C({\rm ln}T)^{\frac{-p}{p-1}}\int_{\sqrt[j]{T}<|x|<\sqrt[j]{T^{2}}}|x|^{-\frac{2p+\theta}{p-1}}\left(1-|x|^{2-N}\right)^{\frac{-1}{p-1}}\xi^{w-2p'} \left(\frac{{\rm ln}\frac{|x|}{\sqrt[j]{T}}}{{\rm ln}\sqrt[j]{T}}\right){\rm d}x\\ &\leq C({\rm ln}T)^{\frac{-p}{p-1}}\int_{\sqrt[j]{T}<|x|<\sqrt[j]{T^{2}}}|x|^{-\frac{2p+\theta}{p-1}}{\rm d}x =C({\rm ln}T)^{\frac{-p}{p-1}}\int_{\rho=\sqrt[j]{T}}^{\sqrt[j]{T^{2}}}\rho^{N-1-\frac{2p+\theta}{p-1}}{\rm d}\rho\\ &=C({\rm ln}T)^{\frac{-p}{p-1}}\int_{\rho=\sqrt[j]{T}}^{\sqrt[j]{T^{2}}}\rho^{-1}{\rm d}\rho=C({\rm ln}T)^{\frac{-1}{p-1}}. \end{align*}$

结合 (2.12), (2.20) 和 (2.21) 式易得到引理 2.7 的结论.

3 定理 1.1 的证明

令 $N\geq2$, $p>1$, $\theta>-2$, $a\in {\rm A}$, $f\in {\rm F}$, $u_{i}(x)\in {\rm G}(i=0,1)$ 且假设 (1.6) 和 (1.7) 成立. 利用反证技巧, 假设 $u\in L_{loc}^{p}\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$ 是问题 (1.1)-(1.3) 的整体弱解, 对于 $T\gg1$, 利用引理 2.2 知

$\begin{equation}\label{eq:3.1} I_{T}(u)+C\int_{0}^{\frac{T}{2}}a(t){\rm d}t\leq\int_{Q_{T}}|u||\partial_{tt}\varphi_{T}|{\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\varphi_{T}|{\rm d}x{\rm d}t. \end{equation}$

对于 (3.1) 式右端第一项和第二项, 利用 Young 不等式, 得到

$\begin{equation}\label{eq:3.2} \int_{Q_{T}}|u||\partial_{tt}\varphi_{T}|{\rm d}x{\rm d}t\leq\varepsilon I_{T}(u)+C_{\varepsilon,p}\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t \end{equation}$

和

$\begin{equation}\label{eq:3.3} \int_{Q_{T}}|u||\triangle\varphi_{T}|{\rm d}x{\rm d}t\leq\varepsilon I_{T}(u)+C_{\varepsilon,p}\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t, \end{equation}$

其中 $C_{\varepsilon,p}>0$ 是仅依赖于 $\varepsilon$ 和 $p$ 的常数, $p'=\frac{p}{p-1}$. 结合 (3.1)-(3.3) 式导出

$\begin{equation*} \begin{split} & (1-2\varepsilon)I_{T}(u)+C\int_{0}^{\frac{T}{2}}a(t){\rm d}t\\ &\leq C_{\varepsilon,p}\left(\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t+\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\right), \end{split} \end{equation*}$

在上式中, 选取 $0<\varepsilon\leq\frac{1}{2}$ 得

$\begin{equation}\label{eq:3.4} C\int_{0}^{\frac{T}{2}}a(t){\rm d}t \leq C_{\varepsilon,p}\left(\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t+\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\right). \end{equation}$

于是, 利用引理 2.3 和 2.4, 并取极限 $T\rightarrow\infty$ 有

$\begin{equation*} \begin{split} & \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t+\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\\ &\leq \begin{cases} O\left(T^{1+2r-2p'-\frac{\theta r}{p-1}}{\rm ln}T\right)+O\left(T^{1+2r-2rp'-\frac{\theta r}{p-1}}{\rm ln}T\right),& N=2,\\ O\left(T^{1+Nr-2p'-\frac{\theta r}{p-1}}\right)+O\left(T^{1+Nr-2rp'-\frac{\theta r}{p-1}}\right),& N\geq 3, \end{cases} \end{split} \end{equation*}$

在上式中, 选取 $r=1$, 并整理得: 当 $T\rightarrow\infty$ 时,

$\begin{align*}\label{eq:3.5} & \int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t +\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\\ &\leq \begin{cases} O\left(T^{\frac{p-3-\theta}{p-1}}{\rm ln}T\right),& N=2,\\ O\left(T^{N-\frac{p+1+\theta}{p-1}}\right),& N\geq 3. \end{cases} \end{align*}$

再由 (3.4) 和 (3.5) 式知

$\begin{equation*} \left(\int_{0}^{\frac{T}{2}}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\leq\widetilde{C}, \quad N=2 \end{equation*}$

和

$\begin{equation*} \left(\int_{0}^{\frac{T}{2}}a(t){\rm d}t\right)T^{\frac{p+1+\theta}{p-1}-N}\leq\widetilde{C},\quad N\geq3, \end{equation*}$

其中 $\widetilde{C}>0$ 是不依赖于 $T$ 的常数, 这与当 $T\rightarrow\infty$ 时分别与假设 (1.6) 和 (1.7) 矛盾. 定理 1.1 证毕.

4 定理 1.2 的证明

令 $N\geq2$, $\theta>-2$, $a\in {\rm B}$, $f\in {\rm F}$, $u_{i}(x)\in {\rm G}(i=0,1)$.

(i) 的证明 令 $N=2$, $p>1$, 对$T>0$, 有

$\begin{equation}\label{eq:4.1} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\geq CT^{\frac{\theta+2}{p-1}}({\rm ln}T)^{-1}, \end{equation}$

其中 $ C=\operatorname*{ess\,inf}_{s>0} a(s)>0.$

现在, 由条件 $p>1$, $\theta>-2$ 易知

$\begin{equation*} \frac{\theta+2}{p-1}>0, \end{equation*}$

且在 (4.1) 式中取极限 $T\rightarrow\infty$, 我们得到定理 1.1 中的假设 (1.6), 因此, 由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.2(i) 证毕.

(ii) 的证明 令 $N\geq3$, 首先考虑 $1<p<\frac{N+\theta}{N-2}$ 情形. 对 $T>0$, 我们有

$\begin{equation}\label{eq:4.2} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{p+1+\theta}{p-1}-N}\geq CT^{\frac{2p+\theta}{p-1}-N}, \end{equation}$

其中 $ C=\operatorname*{ess\,inf}_{s>0} a(s)>0.$

现在, 由条件 $\theta>-2$, $1<p<\frac{N+\theta}{N-2}$ 易知

$\begin{equation*} \frac{2p+\theta}{p-1}-N>0, \end{equation*}$

且在 (4.2) 式中取极限 $T\rightarrow\infty$, 我们得到定理 1.1 中的假设 (1.7), 因此, 由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解.

接下来, 考虑临界情形 $p=\frac{N+\theta}{N-2}$. 由引理 2.5 可知, 在引理 2.2 中, 当 $\varphi_{T}=\overline{\varphi}_{T}$ 时, (2.3)-(2.5) 式仍然成立并整理得

$\begin{align*}\label{eq:4.3} & \int_{Q_{T}}|x|^{\theta}|u|^{p}\overline{\varphi}_{T}{\rm d}x{\rm d}t+C\left(\int_{0}^{\frac{T}{2}}a(t){\rm d}t\right)\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)\\ &\leq \int_{Q_{T}}|u||\partial_{tt}\overline{\varphi}_{T}|{\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\overline{\varphi}_{T}|{\rm d}x{\rm d}t. \end{align*}$

由 (3.2), (202) 和 (4.3) 式, 我们有

$\begin{align*} & (1-2\varepsilon)\int_{Q_{T}}|x|^{\theta}|u|^{p}\overline{\varphi}_{T}{\rm d}x{\rm d}t+C\left(\int_{0}^{\frac{T}{2}}a(t){\rm d}t\right)\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)\\ &\leq C_{\varepsilon,p}\left(\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t +\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\Delta\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t\right). \end{align*}$

在上式中, 选取 $0<\varepsilon\leq\frac{1}{2}$ 并直接计算可得

$\begin{align*}\label{eq:4.4} & \left(\int_{0}^{\frac{T}{2}}a(t){\rm d}t\right)\left(\int_{\partial {\rm D}}f(x){\rm d}S_{x}\right)\\ &\leq C\left(\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t +\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\overline{\varphi}_{T}]^{\frac{-1}{p-1}}|\Delta\overline{\varphi}_{T}|^{p'}{\rm d}x{\rm d}t\right). \end{align*}$

下面, 我们处理 (4.4) 式左端第一个积分式子. 利用 $a(t)\in {\rm B}$ 并直接计算得到

$\begin{equation}\label{eq:4.5} \int_{0}^{\frac{T}{2}}a(t){\rm d}t\geq CT. \end{equation}$

利用 (4.4)-(4.5) 式, 引理 2.6 和引理 2.7, 当 $T\rightarrow\infty$ 时, 我们有

$\begin{equation}\label{eq:4.6} \int_{\partial {\rm D}}f(x){\rm d}S_{x}\leq O\left[T^{-2p'}\left(1+T^{\frac{2}{j}\left(N-\frac{\theta}{p-1}\right)}\right){\rm ln}T+({\rm ln}T)^{\frac{-1}{p-1}}\right]. \end{equation}$

在 (4.6) 式中, 当 $j>\frac{|N(p-1)-\theta|}{p}$ 时, 我们可得 $\int_{\partial {\rm D}}f(x){\rm d}S_{x}\leq0$ 且与 $\int_{\partial {\rm D}}f(x){\rm d}S_{x}>0$ 矛盾. 定理 1.2 (ii) 证毕.

(iii) 的证明 令

$\begin{equation}\label{eq:4.7} u(x)=\varepsilon\rho^{-\delta},\quad \rho=|x|, \quad x\in{\rm D^{c}}, \end{equation}$

其中

$\begin{equation}\label{eq:4.8} \delta:=\frac{\theta+2}{p-1}>0,0<\varepsilon\leq\left[(N-2-\delta)\delta\right]^{\frac{1}{p-1}}. \end{equation}$

由 $p>\frac{N+\theta}{N-2}$ 可知

$\begin{equation*} \delta:=\frac{\theta+2}{p-1}<N-2. \end{equation*}$

经过直接计算并利用 (4.7) 式我们得到

$\begin{equation*} \begin{split} -\triangle u-|x|^{\theta}|u|^{p} &=\varepsilon\delta(N-2-\delta)\rho^{-(\delta+2)}-\varepsilon^{p}\rho^{\theta-\delta p}\\ &=\varepsilon\rho^{-(\delta+2)}\left[\delta(N-2-\delta)-\varepsilon^{p-1}\right]\geq0. \end{split} \end{equation*}$

另一方面, 我们有

$\begin{equation*} u(x)=\varepsilon>0,\quad x\in\partial{\rm D}, \end{equation*}$

因此, 当 $a(t)\equiv1\in{\rm B}$, $f(x)\leq\varepsilon$, $x\in\partial{\rm D}$, $u_{0}(x)=\varepsilon|x|^{-\delta}$, $u_{1}(x)=0$, $x\in{\rm D}^{c}$ 时, $u(x)$ 为问题 (1.1)-(1.3) 的一个整体解.

定理 1.2 (iii) 证毕.

5 定理 1.3 的证明

令 $N=2$, $\theta>-2$, $a\in {\rm C}_{\sigma}$, $\sigma\in\mathbb{R}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$.

(i) 的证明 当 $a\in {\rm C}_{\sigma}$ 时, 存在 $T_{0}>0$ 使得

$\begin{equation*} a(t)\geq Ct^{\sigma},\quad t\geq t_{0}, \end{equation*}$

其中 $C$ 是大于 0 的常数, 因此, 当 $T>T_{0}$ 时, 我们有

$\begin{equation}\label{eq:5.1}\int_{0}^{T}a(t){\rm d}t\geq C\int_{T_{0}}^{T}t^{\sigma}{\rm d}t= \begin{cases} C({\rm ln}T-{\rm ln}T_{0}),& \sigma=-1,\\ \frac{C}{\sigma+1}\left(T^{\sigma+1}-T_{0}^{\sigma+1}\right),& \sigma\neq-1. \end{cases} \end{equation}$

于是, 若 $\sigma=-1$, $1<p<3+\theta$, 则由 (5.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation*} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\geq C({\rm ln}T-{\rm ln}T_{0})T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\rightarrow\infty, \end{equation*}$

类似地, 若 $\sigma<-1$, $1<p<3+\theta$, 则由 (5.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation*} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\geq \frac{C}{\sigma+1}\left(T^{\sigma+1}-T_{0}^{\sigma+1}\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\rightarrow\infty, \end{equation*}$

且由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.3 (i) 证毕.

(ii) 的证明 若 $-1<\sigma<0$, $1<p<1-\frac{\theta+2}{\sigma}$, 则由 (5.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation}\label{eq:5.2} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{3+\theta-p}{p-1}}({\rm ln}T)^{-1}\geq \frac{C}{\sigma+1}\left(1-\left(\frac{T_{0}}{T}\right)^{\sigma+1}\right)T^{\sigma+\frac{\theta+2}{p-1}}({\rm ln}T)^{-1}\rightarrow\infty, \end{equation}$

且由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.3 (ii) 证毕.

(iii) 的证明 当 $\sigma\geq0$, $\theta>-2$ 时, 则对于所有 $p>1$, 都有 $\sigma+\frac{\theta+2}{p-1}>0$, 因此, 当 $p>1$ 时, (5.2) 式恒成立, 且由定理 1.1 可得, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.3 (iii) 证毕.

6 定理 1.4 的证明

令 $N\geq3$, $\theta>-2$, $a\in {\rm C}_{\sigma}$, $\sigma\in\mathbb{R}$, $f\in {\rm F}$ 且 $u_{i}(x)\in {\rm G}(i=0,1)$.

(i) 的证明 当 $a\in {\rm C}_{\sigma}$ 时, 存在 $T_{0}>0$ 使得

$\begin{equation*} a(t)\geq Ct^{\sigma},\quad t\geq t_{0}, \end{equation*}$

其中 $C$ 是大于 0 的常数, 因此, 当 $T>T_{0}$ 时, 我们有

$\begin{equation}\label{eq:6.1}\int_{0}^{T}a(t){\rm d}t\geq C\int_{T_{0}}^{T}t^{\sigma}{\rm d}t= \begin{cases} C({\rm ln}T-{\rm ln}T_{0}),& \sigma=-1,\\[2mm] \frac{C}{\sigma+1}\left(T^{\sigma+1}-T_{0}^{\sigma+1}\right),& \sigma\neq-1. \end{cases} \end{equation}$

于是, 若 $\sigma=-1$, $1<p\leq1+\frac{\theta+2}{N-1}$, 则由 (6.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation*} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{p+1+\theta}{p-1}-N}\geq C({\rm ln}T-{\rm ln}T_{0})T^{1+\frac{\theta+2}{p-1}-N}\rightarrow\infty, \end{equation*}$

类似地, 若 $\sigma<-1$, $1<p<1+\frac{\theta+2}{N-1}$, 则由 (6.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation*} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{p+1+\theta}{p-1}-N}\geq \frac{C}{\sigma+1}\left(T^{\sigma+1}-T_{0}^{\sigma+1}\right)T^{1+\frac{\theta+2}{p-1}-N}\rightarrow\infty, \end{equation*}$

且由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.4 (i) 证毕.

(ii) 的证明 若 $-1<\sigma<N-2$, $1<p<1+\frac{\theta+2}{N-2-\sigma}$, 则由 (6.1) 式得: 当 $T\rightarrow\infty$ 时, 满足

$\begin{equation}\label{eq:6.2} \left(\int_{0}^{T}a(t){\rm d}t\right)T^{\frac{p+1+\theta}{p-1}-N}\geq \frac{C}{\sigma+1}\left(1-\left(\frac{T_{0}}{T}\right)^{\sigma+1}\right)T^{\sigma+2+\frac{\theta+2}{p-1}-N}\rightarrow\infty, \end{equation}$

且由定理 1.1 可知, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.4 (ii) 证毕.

(iii) 的证明 当 $\sigma\geq N-2$, $\theta>-2$ 时, 则对于所有 $p>1$, 都有 $\sigma+2+\frac{\theta+2}{p-1}-N>0$, 因此, 当 $p>1$ 时, (6.2) 式恒成立, 且由定理 1.1 可得, 问题 (1.1)-(1.3) 无整体弱解. 定理 1.4(iii) 证毕.

7 定理 1.5 的证明

(i) 的证明 利用反证技巧, 假设 $u\in L_{loc}^{p}\left(\overline{{\rm D}^{c}}\times[0,\infty)\right)$ 是问题 (1.1)-(1.3) 的整体弱解, 利用引理 2.2, 对于足够大的 $T$, 我们有

$\begin{equation*} \begin{split} &\int_{Q_{T}}|x|^{\theta}|u|^{p}\varphi_{T} {\rm d}x{\rm d}t+\int_{{\rm D}^{c}}u_{1}(x)\varphi_{T}(x,0){\rm d}x-\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x\\ &+\int_{\Gamma_{T}}(N-2)\eta_{T}(t)a(t)f(x){\rm d}S_{x}{\rm d}t\leq\int_{Q_{T}}|u||\partial_{tt}\varphi_{T}| {\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\varphi_{T}| {\rm d}x{\rm d}t, \end{split} \end{equation*}$

由 $f\geq0$, $a\geq0$, $u_{i}\geq0(i=0,1)$ 和 $\varphi_{T}\geq0$, $x\in{\rm D}^{c}$, 我们导出

$\begin{equation*} I_{T}(u)-\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x\leq\int_{Q_{T}}|u||\partial_{tt}\varphi_{T}| {\rm d}x{\rm d}t+\int_{Q_{T}}|u||\triangle\varphi_{T}| {\rm d}x{\rm d}t. \end{equation*}$

利用与定理 1.1 的证明中相同的讨论, 我们得到

$\begin{align*}\label{eq:7.1} & (1-2\varepsilon)I_{T}(u)-\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x\\ &\leq C_{\varepsilon,p}\left(\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\partial_{tt}\varphi_{T}|^{p'}{\rm d}x{\rm d}t+\int_{Q_{T}}|x|^{\frac{-\theta}{p-1}}[\varphi_{T}]^{\frac{-1}{p-1}}|\triangle\varphi_{T}|^{p'}{\rm d}x{\rm d}t\right)\\ &\leq C_{2}\left(T^{1+Nr-\frac{\theta r}{p-1}-2p'}+T^{1+Nr-\frac{\theta r}{p-1}-2rp'}\right). \end{align*}$

另一方面, 由 $\varphi_{T}$ 的定义, 有

$\begin{align*}\label{eq:7.2} -\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x &=\lambda T^{-1}\int_{{\rm D}^{c}}u_{0}(x)\varphi_{T}(x,0){\rm d}x\\ &=\lambda T^{-1}\int_{{\rm D}^{c}}u_{0}(x)H(x)\Phi^{w}\left(\frac{|x|^{2}}{T^{2r}}\right){\rm d}x, \end{align*}$

利用变量替换 $y=\frac{x}{T^{r}}$ 和函数 $\varphi_{T}$ 的定义, 计算得

$\begin{equation*} \int_{{\rm D}^{c}}u_{0}(x)\varphi_{T}(x,0){\rm d}x =T^{Nr}\int_{ T^{-r}<|y|<\sqrt{2}}u_{0}(T^{r}y)H(T^{r}y)\Phi^{w}\left(|y|^{2}\right){\rm d}y, \end{equation*}$

利用函数 $H(x)$ 的定义和 (1.8) 式, 得到

$\begin{equation}\label{eq:7.3} \int_{{\rm D}^{c}}u_{0}(x)\varphi_{T}(x,0){\rm d}x\geq CT^{Nr+\beta r}\int_{ T^{-r}<|y|<\sqrt{2}}|y|^{\beta}\Phi^{w}\left(|y|^{2}\right){\rm d}y, \end{equation}$

利用 Lebesgue 控制收敛定理, 有

$\begin{equation}\label{eq:7.4} \lim_{T\rightarrow\infty}\int_{ T^{-r}<|y|<\sqrt{2}}|y|^{\beta}\Phi^{w}\left(|y|^{2}\right){\rm d}y=J_{\beta}, \end{equation}$

其中

$\begin{equation}\label{eq:7.5} 0<J_{\beta}:=\int_{ 0<|y|<\sqrt{2}}|y|^{\beta}\Phi^{w}\left(|y|^{2}\right){\rm d}y<\infty. \end{equation}$

结合 (7.2)-(7.4) 式, 对于足够大的 $T$, 我们得到

$\begin{equation}\label{eq:7.6} -\int_{{\rm D}^{c}}u_{0}(x)\partial_{t}\varphi_{T}(x,0){\rm d}x\geq C_{1}T^{Nr+\beta r-1}, \end{equation}$

因此, 利用 (7.1) 和 (7.6) 式, 导出

$\begin{equation}\label{eq:7.7} (1-2\varepsilon)I_{T}(u)+C_{1}T^{Nr+\beta r-1}\leq C_{2}\left(T^{1+Nr-\frac{\theta r}{p-1}-2p'}+T^{1+Nr-\frac{\theta r}{p-1}-2rp'}\right). \end{equation}$

接下来, 在式 (7.7) 中取 $\varepsilon=\frac{1}{2}$, $r=1$, 得到

$\begin{equation*} C_{1}T^{N+\beta-1}\leq C_{2}T^{N-\frac{p+1+\theta}{p-1}}, \end{equation*}$

即

$\begin{equation*} 0<\frac{C_{1}}{C_{2}}\leq T^{-\frac{\theta+2}{p-1}-\beta}. \end{equation*}$

由 $-\frac{\theta+2}{p-1}-\beta<0$, 令 $T\rightarrow\infty$, 则显然产生矛盾. 定理 1.5(i) 证毕.

(ii) 的证明 由 $-N<2-N<\beta$, 易知

$\begin{equation*} 0<J_{\beta}<\infty, \end{equation*}$

其中 $J_{\beta}$ 为式 (7.5) 中给出的. 利用与定理 1.5(i) 相同的证明思路, 得到

$\begin{equation*} 0<\frac{C_{1}}{C_{2}}\leq T^{-\frac{\theta+2}{p-1}-\beta}. \end{equation*}$

利用 $1<p<1-\frac{\theta+2}{\beta}$, 我们知 $-\frac{2+\theta}{p-1}-\beta<0,$ 因此, 令 $T\rightarrow\infty$, 则显然产生矛盾. 定理 1.5(ii) 证毕.

(iii) 的证明 由于 $p>1-\frac{\theta+2}{\beta}$, 我们有

$\begin{equation*} -\frac{\theta+2}{p-1}>\beta. \end{equation*}$

此外, 由 $\beta>2-N$ 易知 $1-\frac{\theta+2}{\beta}>1+\frac{\theta+2}{N-2},$ 且我们得到 $\frac{\theta+2}{p-1}<N-2$, 因此, 由定理 1.2(iii) 的证明可知, 定义在 (4.7) 式中的 $u(x)$ 为问题 (1.1)-(1.3) 的一个整体正解. 定理 1.5(iii) 证毕.

8 结论

在试验函数理论框架内, 本文考虑了高维外区域中 ($N\geq2$) 的一类半线性双曲型微分不等式非齐次 Dirichlet 外问题. 在依赖于时空变量的非齐次 Dirichlet 边界条件下, 主要采用适当选取试验函数的方法和反证技巧, 我们导出了新的非存在性定理和一些解的存在性结论, 如我们的结论与第一、第二类 Kato 型临界指标相关, 包含临界情形等. 同时, 新的第一类 Kato 型临界指标涵盖现有文献 [2,12,13] 以及文献 [14] 中 $l=0$ 情形. 实际上, 这些证明技巧和结论可延伸到变系数 Laplacian 问题、全空间或有界区域问题等且对试验函数理论及演化方程临界指标理论的发展有着一定的科学意义.

参考文献

John F.

Blow-up of solutions of nonlinear wave equations in three space dimensions

Manuscripta Math, 1979, 28(1): 235-268

DOI:10.1007/BF01647974      URL     [本文引用: 1]

Kato T.

Blow-up of solutions of some nonlinear hyperbolic equations

Commun Pur Appl Math, 1980, 33(4): 501-505

[本文引用: 4]

Strauss W A.

Nonlinear scattering theory at low energy

J Funct Anal, 1981, 41: 110-133

[本文引用: 1]

Glassey R T.

Finite-time blow-up for solutions of nonlinear wave equations

Math Z, 1981, 177(3): 323-340

[本文引用: 1]

Sideris T C.

Nonexistence of global solutions to semilinear wave equations in high dimensions

J Differ Equations, 1984, 52(3): 378-406

[本文引用: 1]

Schaeffer J.

The equation $u_{tt}-\triangle u=|u|^{p}$ for the critical value of $p$

P Roy Soc Edinb A, 1985, 101(1/2): 31-44

[本文引用: 1]

Pohozaev S, Veron L.

Blow-up results for nonlinear hyperbolic inequalities

Ann Scuola Norm-Sci, 2000, 2(4): 393-420

[本文引用: 1]

Yordanov B T, Zhang Q S.

Finite time blow up for critical wave equations in high dimensions

J Funct Anal, 2006, 231(2): 361-374

[本文引用: 1]

Jleli M, Nashed M Z, Samet B.

Fujita critical exponent for hyperbolic-type inequalities with mixed nonlinearities on the half space

Math Method Appl Sci, 2022, 1-18

[本文引用: 1]

Laptev G G.

Absence of solutions of differential inequalities and systems of hyperbolic type in conic domains

Izv Math, 2002, 66(6): 1147-1170

[本文引用: 1]

Zhang Q S.

A new critical behavior for nonlinear wave equations

J Comput Anal Appl, 2000, 2(4): 277-292

[本文引用: 1]

Zhang Q S.

A general blow-up result on nonlinear boundary-value problems on exterior domains

P Roy Soc Edinb A, 2001, 131(2): 451-475

[本文引用: 4]

Laptev G G.

Nonexistence results for higher-order evolution partial differential inequalities

P Am Math Soc, 2002, 131(2): 415-423

[本文引用: 4]

Jleli M, Kirane M, Samet B.

A general blow-up result for a degenerate hyperbolic inequality in an exterior domain

B Math Sci, 2021, 12: 1-25

[本文引用: 4]

Zhou Y, Han W.

Blow up of solutions to semilinear wave equations with variable coefficients and boundary

J Math Anal Appl, 2011, 374: 585-601

[本文引用: 1]

Lai N A, Zhou Y.

Finite time blow up to critical semilinear wave equation outside the ball in 3-D

Nonlinear Anal, 2015, 125: 550-560

[本文引用: 1]

Lai N A, Zhou Y.

Blow up for initial boundary value problem of critical semilinear wave equation in two space dimensions

Commun Pur Appl Anal, 2018, 17(4): 1499-1510

[本文引用: 1]

Mitidieri E, Pokhozhaev S I.

A priori estimates and the absence of solutions of nonlinear partial differential equations and inequalities

P Strklov I Math, 2001, 234(3): 1-362

[本文引用: 1]

Mitidieri E, Pokhozhaev S I.

Fujita type theorems for quasi-linear parabolic inequalities with nonlinear gradient

Dokl Math, 2002, 66(2): 187-191

[本文引用: 1]

/

〈 〉

版权所有 © 《数学物理学报》杂志社
地址： 武汉市71010号信箱(430071)　电话: 027-87199206(中文版)　027-87199087(英文版)
E-mail: actams@apm.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发