1 引言
{ ∂ t u − Δ u + u − V ( x ) g ( u ) + f ( u ) = h ( x ) , ( x , t ) ∈ R n × R + , u ( x , 0 ) = u 0 , x ∈ R n
(1.1)
在无界域上解的长时间行为, 其中外力项 h ( x ) = n ∑ i = 1 D i h i ( x ) + h 0 ( x ) ∈ H − 1 ( R n ) ( n ≥ 3 ) , V ( x ) 是定义在 R n 上满足
∫ R n V ( x ) d x < ∞ 且 0 < V ( x ) ≤ C 0
(1.2)
的函数 (例如, V ( x ) = 1 ( 1 + x 2 ) q , q > n 2 ). 非线性项 f , g ∈ C 1 ( R ) 满足对任意的 s ∈ R ,
α 1 | s | p − δ | u | 2 ≤ f ( s ) s ≤ α 2 | s | p + k 1 | s | 2 , p > 2 且 0 ≤ δ < 1 ,
(1.3)
g ( 0 ) = 0 且 α 3 | s | r − k 2 ≤ g ( s ) s ≤ α 4 | s | r + k 2 , 2 < r < p ,
(1.4)
f ′ ( u ) − μ g ′ ( u ) ≥ − l , ∀ μ ∈ [ C 0 ] ,
(1.5)
其中 α i ( i = 1 , 2 , 3 , 4 ) , k 1 , k 2 , l 是大于零的常数.
众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L 2 -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g ( x ) ∈ H − 1 ( Ω ) 和 g ( x ) ∈ L 2 ( Ω ) 时分别证明了L p ( Ω ) , H 1 0 ( Ω ) 和 L 2 p − 2 ( Ω ) , H 2 ( Ω ) ∩ H 1 0 ( Ω ) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g ( x ) ∈ H − 1 ( R n ) 时证明了 ( L 2 ( R n ) , L p ( R n ) ) -全局吸引子的存在性, 参见文献[13 ].
有了上述结果以后, 一个自然的想法就是能否得到 L p ∗ -空间中 ( p ∗ ≥ 2 p − 2 ) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C ∞ c ( R n ) 在 H 1 ( R n ) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H 1 ( R n ) 中解的连续性.
随着研究的深入, 人们对反应扩散方程解的长时间行为的研究, 已经推广到更加复杂的情形. 例如, Zhang等[18 ] 研究了带有加权项 V ( x ) 和分布导数的反应扩散方程解的长时间行为, 并利用非紧性测度的方法证明了 ( L 2 ( R n ) , L 2 ( R n ) ) -全局吸引子的存在性.
本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 ( L 2 ( R n ) , L 2 ( R n ) ∩ L p ( R n ) ) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L ∞ -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了( L 2 ( R n ) , L 2 ( R n ) ∩ L p ( R n ) ) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 δ 1 ∈ [ 0 , + ∞ ) , 该吸引子能够在 L 2 ∩ L p + δ 1 -拓扑下吸引 L 2 ( R n ) 中的有界集.
2 预备知识
2.1 方程(1.1)的解
本节首先定义方程(1.1)的弱(强)解, 参见文献[10 ].
定义2.1 当初值 u 0 ∈ L 2 ( R n ) , 外力 h ( ⋅ ) ∈ H − 1 ( R n ) 时, 对任意的 T > 0 , 函数 u = u ( x , t ) 满足
u ∈ L ∞ ( 0 , T ; L 2 ( R n ) ) ∩ L 2 ( 0 , T ; H 1 ( R n ) ) ∩ L p ( 0 , T ; L p ( R n ) ) ,
且对任意的 φ ∈ L 2 ( 0 , T ; H 1 ( R n ) ) ∩ L p ( 0 , T ; L p ( R n ) ) , 有
∫ T 0 ∫ R n ( ∂ u ∂ t φ + ∇ u ∇ φ + u φ − V ( x ) g ( u ) φ + f ( u ) φ ) d x d t = ∫ T 0 ∫ R n h ( x ) φ d x d t ,
定义2.2 当初值 u 0 ∈ H 1 ( R n ) ∩ L p ( R n ) , 外力 h ( ⋅ ) ∈ L 2 ( R n ) 时, 对任意的 T > 0 , 函数 u = u ( x , t ) 满足
u ∈ L ∞ ( 0 , T ; H 1 ( R n ) ∩ L p ( R n ) ) ∩ L 2 ( 0 , T ; H 2 ( R n ) ) , ∂ t u ∈ L 2 ( 0 , T ; L 2 ( R n ) ) ,
为了方便后面的计算, 我们需要下面的结果, 参见文献[11 ].
引理2.1 对任意的 ϕ ∈ H 1 ( R n ) ∩ L ∞ ( R n ) 和任意的 r 0 > 0 , 有
∫ R n ∇ ϕ ⋅ ∇ ( | ϕ | r 0 ϕ ) d x = ( r 0 + 1 ) ( 2 r 0 + 2 ) 2 ∫ R n | ∇ | ϕ | r 0 + 2 2 | 2 d x ,
(2.1)
2.2 一些结果
本节首先给出弱(强)解的存在性和唯一性, 这可类似于文献[10 ,定理 8.4 和定理 8.5]由 Fadeo-Galerkin 方法得到.
引理2.2 设 f , g , V ( x ) 满足(1.2)-(1.5)式, 外力 h ( ⋅ ) ∈ H − 1 ( R n ) , 初值 u 0 ∈ L 2 ( R n ) , 则对任意的 T > 0 , 方程(1.1)存在唯一的弱解 u 满足
u ∈ L ∞ ( 0 , T ; L 2 ( R n ) ) ∩ L 2 ( 0 , T ; H 1 ( R n ) ) ∩ L p ( 0 , T ; L p ( R n ) ) .
由引理 2.2 知, 方程(1.1)的解算子在 L 2 ( R n ) 中生成一个连续半群
S ( t ) : L 2 ( R n ) → L 2 ( R n ) , S ( t ) u 0 := u ( t ) , ∀ t ≥ 0.
(2.2)
本文用 { S ( t ) } t ≥ 0 表示由(2.2)式定义的半群.
引理2.3 设 f , g , V ( x ) 满足(1.2)-(1.5)式, 外力 h ( ⋅ ) ∈ L 2 ( R n ) , 初值 u 0 ∈ H 1 ( R n ) ∩ L p ( R n ) , 则对任意的 T > 0 , 方程(1.1)存在唯一的强解 u 满足
u ∈ L ∞ ( 0 , T ; H 1 ( R n ) ∩ L p ( R n ) ) ∩ L 2 ( 0 , T ; H 2 ( R n ) ) , ∂ t u ∈ L 2 ( 0 , T ; L 2 ( R n ) ) .
引理2.4 设引理 2.2 的假设成立, 则半群 { S ( t ) } t ≥ 0 在 L 2 ( R n ) 中存在有界吸收集 B , 即, 存在常数 C 1 和时间 t 1 = t 1 ( ‖ , 使得对任意的 t\geq t_{1} , 有
\begin{eqnarray*} \|u(t)\|_{2}^{2}\leq C_{1}, \end{eqnarray*}
这里常数 C_{1} 与 \|h^{i}\|_{2} (i=0,1,2,\cdots,n) , \|V\|_{1} , \|V\|_{\infty} 相关.
引理2.5 设引理 2.2 的假设成立, 则半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中存在全局吸引子 {\cal A} , {\cal A} 在 L^{2}(\Bbb R ^{n}) 中非空、紧、不变且在 L^{2} -拓扑意义下吸引 L^{2}(\Bbb R ^{n}) 中的有界集.
下述引理表明 L^{p}(\Bbb R ^{n}) 和 H^{1}(\Bbb R ^{n}) 中有界吸收集的存在性, 这可类似于文献[17 ] 中定理 3.4 的证明得到.
引理2.6 设引理 2.2 的假设成立, 则半群 \{S(t)\}_{t\geq0} 在 L^{p}(\Bbb R ^{n}) 和 H^{1}(\Bbb R ^{n}) 中存在有界吸收集; 即, 对任意的有界集 B\subset L^{2}(\Bbb R ^{n}) , 存在一个正的常数 T_{1}=T_{1}(\|B\|_{2}) 使得对任意的 t\geq T_{1} 和初值 u_{0}\in B , 有
\begin{eqnarray*} \|u\|_{p}^{p}\leq\rho_{1} ~~\mbox{且}~~\|u\|_{2}^{2}+\|\nabla u\|_{2}^{2}\leq\rho_{1}, \end{eqnarray*}
这里常数 \rho_{1}>0 与 \|B\|_{2} 和 t 不相关.
3 渐近高阶可积性
本节将建立方程(1.1)解的渐近高阶可积性. 为此, 我们首先证明解的极大值原理.
3.1 解的极大值原理
为了保证后面所用到的检验函数有意义, 本节将证明当初值 (u_{0},h)\in(H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}), L^{\infty}(\Bbb R ^{n})) 时强解的 L^{\infty} -先验估计.
定理3.1 设 f , g , V(x) 满足(1.2)-(1.5)式, 则对任意的 T>0 和初值 (u_{0},h)\in \big(H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}), L^{\infty}(\Bbb R ^{n})\big) , 方程(1.1)的唯一强解 u\in L^{\infty}\big(0,T; L^{\infty}(\Bbb R ^{n})\big) .
证 我们将利用 Stampacchia 的截断函数方法 (参见文献[3 ,12 ]) 来证明强解 u 的 L^{\infty} -估计.
设函数 G(\cdot)\in C^{1}(\Bbb R ) 满足
(1) |G'(s)|\leq M<\infty , ~\forall s\in\Bbb R ;
(2) G 在 (0,\infty) 内严格单调递增;
(3) G(s)=0 , ~\forall s\leq0 .
\begin{eqnarray*} H(s):=\int_{0}^{s}G(\sigma){\rm d}\sigma. \end{eqnarray*}
记 K_{1}:=\max\{\|u_{0}\|_{L^{\infty}(\Bbb R ^{n})}, \|h\|_{L^{\infty}(\Bbb R ^{n})}\} . 由假设(1.3)和(1.4)知, 存在依赖于 \alpha_{1} , \alpha_{2} , \alpha_{3} , \alpha_{4} 和 K_{1} 的常数 M>0 使得
\begin{matrix}\label{4.01} \mbox{当}~s\geq M~\mbox{时有}~f(s)-V(x)g(s)\geq K_{1}; ~~\mbox{当}~s\leq-M~\mbox{时有}~f(s)-V(x)g(s)\leq-K_{1}. \end{matrix}
(3.1)
记 K:=\max\{K_{1}, M\}+1 . 由引理 2.3 知 u\in L^{\infty}(0,T;H^{1}(\Bbb R ^{n})) , 从而对任意的 t\in[T] 有
\begin{matrix}\label{4.020} G(u(t)-K)\in H^{1}(\Bbb R ^{n}) ~~\mbox{且}~~ G(u(t)-K)\in L^{2}(0,T; H^{1}(\Bbb R ^{n})). \end{matrix}
(3.2)
由强解的定义和(3.2)式知, 对任意的 t\in[T] , 有
\begin{matrix}\label{4.03} &&\int_{0}^{t}\int_{\Bbb R ^{n}}u'(x,s)G(u(s)-K){\rm d}x{\rm d}s +\int_{0}^{t}\int_{\Bbb R ^{n}}G'(u(s)-K)|\nabla u(s)|^{2}{\rm d}x{\rm d}s \nonumber\\ &&+\int_{0}^{t}\int_{\Bbb R ^{n}}uG(u(s)-K){\rm d}x{\rm d}s +\int_{0}^{t}\int_{\Bbb R ^{n}}(f(s)-V(x)g(s))G(u(s)-K){\rm d}x{\rm d}s \nonumber\\ &=&\int_{0}^{t}\int_{\Bbb R ^{n}}h(x)G(u(s)-K){\rm d}x{\rm d}s. \end{matrix}
(3.3)
下面, 我们将处理(3.3)式中的每一项. 首先, 易知
\begin{matrix}\label{4.04} \int_{0}^{t}\int_{\Bbb R ^{n}}G'(u(s)-K)|\nabla u(s)|^{2}{\rm d}x{\rm d}s\geq 0. \end{matrix}
(3.4)
其次, 由(3.2)式和 K_{1} 的定义, 有
\begin{matrix}\label{4.050} 0\leq\int_{0}^{t}\int_{\Bbb R ^{n}}K_{1}G(u(s)-K){\rm d}x{\rm d}s<\infty, \end{matrix}
(3.5)
\begin{matrix}\label{4.07} \int_{0}^{t}\int_{\Bbb R ^{n}}(f(u(x,s))-V(x)g(u(x,s))-K_{1})G(u(s)-K){\rm d}x{\rm d}s\geq0, \end{matrix}
(3.6)
\begin{matrix}\label{4.06} \int_{0}^{t}\int_{\Bbb R ^{n}}(h(x)-K_{1})G(u(s)-K){\rm d}x{\rm d}s\leq0, \end{matrix}
(3.7)
将上述估计(3.4)-(3.7)代入(3.3)式, 可推得
\int_{0}^{t}\int_{\Bbb R ^{n}}u'(x,s)G(u(s)-K){\rm d}x{\rm d}s\leq0,
由上式和函数 H(\cdot) 的定义可知, 对任意的 t\in[T] , 有
\int_{\Bbb R ^{n}}H(u(x,t)-K){\rm d}x-\int_{\Bbb R ^{n}}H(u(x,0)-K){\rm d}x\leq0.
再由 K 和函数 H(\cdot) 的定义, 可得
\int_{\Omega}H(u(x,0)-K){\rm d}x=0.
由于对任意的 s\in\Bbb R , 都有 H(s)\geq0 , 所以对任意的 t\in[T] ,
H(u(x,t)-K)=0 \quad\mbox{在$\Bbb R ^{n}$中几乎处处成立}.
\begin{matrix}\label{4.09} u(x,t)\leq K \quad\mbox{在$\Bbb R ^{n}$中几乎处处成立}. \end{matrix}
(3.8)
\widetilde{G}(s)=G(-s),
再在(3.3)式中用 \widetilde{G}(u(s)+K) 代替 G(u(s)-K) , 可得, 对任意的 t\in[T] , 有
\begin{matrix}\label{4.010} u(x,t)\geq -K \quad\mbox{在$\Bbb R ^{n}$中几乎处处成立}. \end{matrix}
(3.9)
3.2 弱解的L^{2+\delta_{1}} -估计
本节将基于 Alikakos-Moser 迭代技巧 (参见文献[1 ]或文献[8 ,10 ]) 来建立方程(3.11)解的一些估计.
\begin{equation}\label{4.02} \left\{\begin{array}{ll} -\Delta v+v-V(x)g(v)+f(v)=\sum\limits_{i=1}^{n}D_{i}h^{i}(x)+h^{0}(x), \quad x\in\Bbb R ^{n},\\ |v(x)|\rightarrow0, \quad\mbox{当}~x\rightarrow\infty, \end{array}\right. \end{equation}
(3.10)
\begin{equation}\label{4.05} \left\{\begin{array}{ll} \partial_{t}w-\Delta w+w-V(x)(g(u)-g(v))+f(u)-f(v)=0, \quad&(x,t)\in\Bbb R ^{n}\times\Bbb R ^{+},\\ w(x,\,0)=u_{0}(x)-v(x), &x\in\Bbb R ^{n}. \end{array}\right. \end{equation}
(3.11)
对于方程(3.10), 由于 h^{i}(x)\in L^{2}(\Bbb R ^{n}) (i=0,1,2,\cdots,n) , 从而其解 v(x)\in H^{1}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n}) 并且 v(x) 的高阶可积性的最高次数不会超过 \max\{p, \frac{2n}{n-2}\} .
由 H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}) 在 L^{2}(\Bbb R ^{n}) 中的稠密性知, 对于每个 h^{i}(x)\in L^{2}(\Bbb R ^{n}) (i=0,1,2,\cdots,n) 和初值 u_{0}\in L^{2}(\Bbb R ^{n}) , 存在 h^{i}_{m}(x)\in H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}) 和 u_{0m}\in H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}) 使得在 L^{2}(\Bbb R ^{n}) 中有
\begin{matrix}\label{4.0} &h^{i}_{m}(x)\rightarrow h^{i}(x), \qquad i=0,1,2,\cdots,n, \\ \nonumber &u_{0m}\rightarrow u_{0}, \qquad\mbox{当}~m\rightarrow\infty. \end{matrix}
(3.12)
\begin{equation}\label{4.1} \left\{\begin{array}{ll} \partial_{t}u_{m}-\Delta u_{m}+ u_{m}-V(x)g(u_{m})+f(u_{m})=\sum\limits_{i=1}^{n}D_{i}h_{m}^{i}(x)+h_{m}^{0}(x), &(x,t)\in\Bbb R ^{n}\times\Bbb R ^{+},\\ u_{m}(x,\,0)=u_{0m}, &x\in\Bbb R ^{n}, \end{array}\right. \end{equation}
(3.13)
\begin{equation}\label{4.2} \left\{\begin{array}{ll} -\Delta v_{m}+v_{m}-V(x)g(v_{m})+f(v_{m})=\sum\limits_{i=1}^{n}D_{i}h_{m}^{i}(x)+h_{m}^{0}(x), \quad x\in\Bbb R ^{n},\\ |v_{m}(x)|\rightarrow0, \quad\mbox{当} ~x\rightarrow\infty. \end{array}\right. \end{equation}
(3.14)
由引理 2.3 和定理 3.1 知, 对于每一个 m\in\mathbb{N} , 方程(3.13)存在唯一强解 u_{m} 满足
\begin{eqnarray*} u_{m}\in L^{\infty}\big(0,T; L^{\infty}(\Bbb R ^{n})\big)\cap L^{\infty}\big(0,T; H^{1}(\Bbb R ^{n})\big) \cap L^{2}\big(0,T; H^{2}(\Bbb R ^{n})\big), \quad \forall T>0. \end{eqnarray*}
再由文献[7 ]知方程(3.14)存在唯一强解 v_{m} 满足
\begin{matrix}\label{4.4} v_{m}\in L^{\infty}(\Bbb R ^{n})\cap H^{2}(\Bbb R ^{n}). \end{matrix}
(3.15)
设 w_{m}=u_{m}-v_{m} , 则 w_{m} 在分布意义下满足方程
\begin{equation}\label{4.5} \left\{\begin{array}{ll} \partial_{t}w_{m}-\Delta w_{m}+w_{m}-V(x)(g(u_{m})-g(v_{m}))+f(u_{m})-f(v_{m})=0, &(x,t)\in\Bbb R ^{n}\times\Bbb R ^{+},\\ w_{m}(x,\,0)=u_{0m}(x)-v_{m}(x), &x\in\Bbb R ^{n}. \end{array}\right. \end{equation}
(3.16)
而且, 对于几乎处处的 t\in[0,\infty) 和任意的 r_{0}\geq0 , 有
\begin{matrix} w_{m}(\cdot,t)\in H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}), \nonumber \\ \label{4.6} |w_{m}(\cdot,t)|^{r_{0}}\cdot w_{m}(\cdot,t)\in H^{1}(\Bbb R ^{n})\cap L^{\infty}(\Bbb R ^{n}). \end{matrix}
(3.17)
从而, 对于任意的 r_{0}\geq0 , |w_{m}(\cdot,t)|^{r_{0}}\cdot w_{m}(\cdot,t) 作为方程(3.16)的检验函数有意义.
定理3.2 对任意的 k=0,1,2,\cdots , 存在与 k , p , n , \|u_{0m}\|_{2} , \|h_{m}^{i}\|_{2} (i=0,1,2,\cdots,n) , \|V\|_{1} 和 \|V\|_{\infty} 有关的常数 T_{k}>0 和 M_{k}>0 , 使得对任意的 m=1,2,\cdots 和任意的 t\geq T_{k} , 方程(3.20)的解 w_{m} 满足
\int_{\Bbb R ^{n}}|w_{m}(t)|^{2(\frac{n}{n-2})^{k}}{\rm d}x\leq M_{k},
(Ak )
\int_{t}^{t+1}\left(\int_{\Bbb R ^{n}}| w_{m}(s)|^{2(\frac{n}{n-2})^{k+1}}{\rm d}x\right)^{\frac{n-2}{n}}{\rm d}s\leq M_{k}.
(Bk )
让方程(3.14)和 v_{m}(x) 做内积可知, 存在一个依赖于 \|h^{i}_{m}\|_{2} (i=0,1,2,\cdots,n) , \|V\|_{1} , \|V\|_{\infty} 的常数 R=R_{\|h^{i}_{m}\|_{2},\|V\|_{1},\|V\|_{\infty}} 使得对任给的 m\in \mathbb{N} , 方程(3.14)的解 v_{m}(x) 满足
\begin{matrix}\label{4.7} \|v_{m}\|_{H^{1}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})} \leq R_{\|h^{i}_{m}\|_{2},\|V\|_{1},\|V\|_{\infty}}. \end{matrix}
(3.18)
对于方程(3.13)的解, 类似于方程(1.1)的解估计 (参见文献[18 ,引理 3.1]), 对每个 m\in\mathbb{N} , 存在依赖于 \delta, \|h^{i}_{m}\|_{2} , \|V\|_{1} , \|V\|_{\infty} 的常数 C_{1}=C_{\delta, \|h^{i}_{m}\|_{2},\|V\|_{1},\|V\|_{\infty}} 和依赖于 \delta , \|u_{0m}\|_{2} 的常数 T_{\delta, \|u_{0m}\|_{2}} 使得对任意的 t\geq T_{\delta, \|u_{0m}\|_{2}} , 有
\begin{matrix}\label{4.8} \|u_{m}(t)\|_{2}\leq C_{1}=C_{\delta, \|h^{i}_{m}\|_{2},\|V\|_{1},\|V\|_{\infty}}. \end{matrix}
(3.19)
(1) 当 k=0 时, 由(3.18)式和(3.19)式易得 (A_{0}) 成立. 下面我们将证明 (B_{0}) 成立.
\begin{eqnarray*} &&\frac{1}{2}\frac{\rm d}{{\rm d}t}\|u_{m}\|_{2}^{2}+\frac{1}{2}\|\nabla u_{m}\|_{2}^{2} +\frac{1-\delta}{2}\|u_{m}\|_{2}^{2}+(\alpha_{1}-\frac{r\alpha_{1}}{p})\|u_{m}\|_{p}^{p} \\ &\leq&\frac{(p-r)\alpha_{4}}{p\alpha_{1}}\int_{\Bbb R ^{n}}|V(x)|^{\frac{p}{p-r}}{\rm d}x +k_{2}\int_{\Bbb R ^{n}}V(x){\rm d}x+\frac{1}{2}\sum\limits_{i=1}^{n}\|h_{m}^{i}\|_{2}^{2} +\frac{1}{2(1-\delta)}\|h_{m}^{0}\|_{2}^{2}. \end{eqnarray*}
对上述不等式关于时间在 t 到 t+1 上积分并结合(3.19)式, 可得
\begin{matrix}\label{4.08} &&\int_{t}^{t+1}\left(\|\nabla u_{m}\|_{2}^{2}+(1-\delta)\| u_{m}\|_{2}^{2} +2(\alpha_{1}-\frac{r\alpha_{1}}{p})\|u_{m}\|_{p}^{p}\right) \nonumber \\ &\leq& C_{1}+\frac{2(p-r)\alpha_{4}}{p\alpha_{1}}\int_{\Bbb R ^{n}}|V(x)|^{\frac{p}{p-r}}{\rm d}x +2k_{2}\int_{\Bbb R ^{n}}V(x){\rm d}x+\sum\limits_{i=1}^{n}\|h_{m}^{i}\|_{2}^{2} +\frac{1}{(1-\delta)}\|h_{m}^{0}\|_{2}^{2}. \end{matrix}
(3.20)
基于(3.18)式和(3.20)式, 由 w_{m}(t)=u_{m}(t)-v_{m}\in H^{1}(\Bbb R ^{n}) 易知
\|w_{m}(t)\|_{H^{1}(\Bbb R ^{n})}\leq \|u_{m}(t)\|_{H^{1}(\Bbb R ^{n})}+\|v_{m}\|_{H^{1}(\Bbb R ^{n})}.
对(3.18)式关于时间从 t 到 t+1 积分并结合(3.20)式, 再对 \|w_{m}(t)\|_{H^{1}(\Bbb R ^{n})} 应用嵌入定理 H^{1}(\Bbb R ^{n})\hookrightarrow L^{\frac{2n}{n-2}}(\Bbb R ^{n}) , 可得 (B_{0}) 成立.
(2) 假设对任意的 k\geq0 , (A_{k}) 和 (B_{k}) 成立.
(3) 下面我们将证明 (A_{k+1}) 和 (B_{k+1}) 成立.
由(3.17)式, 选取 |w_{m}|^{2(\frac{n}{n-2})^{k+1}-2}\cdot w_{m} 作为方程(3.20)的检验函数, 从而有
\begin{eqnarray*} &&\frac{1}{2}\left(\frac{n-2}{n}\right)^{k+1}\frac{\rm d}{{\rm d}t} \int_{\Bbb R ^{n}}|w_{m}|^{2\left(\frac{n}{n-2}\right)^{k+1}}{\rm d}x +\int_{\Bbb R ^{n}}\nabla w_{m} \cdot\nabla(|w_{m}|^{2\left(\frac{n}{n-2}\right)^{k+1}-2}w_{m}){\rm d}x \nonumber\\ &&+\int_{\Bbb R ^{n}}|w_{m}|^{2\left(\frac{n}{n-2}\right)^{k+1}}{\rm d}x \nonumber\\ &=&\int_{\Bbb R ^{n}}\big[V(x)\big(g(u_{m})-g(v_{m})\big)-\big(f(u_{m})-f(v_{m})\big)\big] \cdot|w_{m}|^{2(\frac{n}{n-2})^{k+1}-2}w_{m}{\rm d}x \nonumber\\ &=&\int_{\Bbb R ^{n}}\left[\int_{v_{m}}^{u_{m}}(V(x)g'(s)-f'(s)){\rm d}s\right] \cdot|w_{m}|^{2(\frac{n}{n-2})^{k+1}-2}w_{m}{\rm d}x. \end{eqnarray*}
结合(1.5)式并在(1.5)式中选取 r_{0}=2(\frac{n}{n-2})^{k+1}-2>0 , 可得
\begin{matrix}\label{4.9} &&\frac{\rm d}{{\rm d}t}\int_{\Bbb R ^{n}}|w_{m}|^{2(\frac{n}{n-2})^{k+1}}{\rm d}x +2\left(2\big(\frac{n}{n-2}\big)^{k+1}-1\right)\left(\frac{n-2}{n}\right)^{k+1} \int_{\Bbb R ^{n}}\left|\nabla|w_{m}|^{(\frac{n}{n-2})^{k+1}}\right|^{2}{\rm d}x \nonumber\\ &\leq &2l\left(\frac{n}{n-2}\right)^{k+1}\int_{\Bbb R ^{n}}|w_{m}|^{2(\frac{n}{n-2})^{k+1}}{\rm d}x. \end{matrix}
(3.21)
对(3.21)式和 (B_{k}) 应用一致 Gronwall 引理, 可得对任意的 t\geq T_{k}+1 , 有
\begin{eqnarray*} \int_{\Bbb R ^{n}}|w_{m}(t)|^{2(\frac{n}{n-2})^{k+1}}{\rm d}x\leq C_{M_{k},l,n,k}, \end{eqnarray*}
设 t\geq T_{k}+1 , 对(3.21)式在 [t,t+1] 上积分, 可得
\begin{matrix}\label{4.10} \int_{t}^{t+1}\int_{\Bbb R ^{n}}\left|\nabla|w_{m}|^{(\frac{n}{n-2})^{k+1}}\right|{\rm d}x{\rm d}s \leq C_{M_{k},l,n,k}. \end{matrix}
(3.22)
由(3.17)式可知, 对任意的 s\in[0,\infty) , 有
\begin{matrix}\label{4.11} |w_{m}(\cdot,s)|^{(\frac{n}{n-2})^{k+1}}\in H^{1}(\Bbb R ^{n}) \end{matrix}
(3.23)
几乎处处成立. 由(3.23)式, 对 |w_{m}(\cdot,s)|^{(\frac{n}{n-2})^{k+1}} 应用嵌入定理 H^{1}(\Bbb R ^{n})\hookrightarrow L^{\frac{2n}{n-2}}(\Bbb R ^{n}) , 并结合(3.22)式可得 (B_{k+1}) 成立. 证毕.
类似于文献 [11 ,引理 3.2 和引理 3.3], 有下述结论.
引理3.1 (1) 设(3.12)式的假设成立, v_{m} (m=1,2,\cdots ) 是方程(3.14)的解, 则序列 \{v_{m}\}_{m=1}^{\infty} 存在子列 \{v_{m_{j}}\}_{j=1}^{\infty} 使得对任意的 x\in\Omega , 当 j\rightarrow\infty 时有
\begin{eqnarray*} v_{m_{j}}(x)\rightarrow v(x) \end{eqnarray*}
几乎处处成立, 这里 v(x) 是方程(3.10)的解.
(2) 设 u_{m} (m=1,2,\cdots ) 是方程(3.13)的唯一解, u 是方程(1.1)的唯一解, 则对任意的 t\in[0,+\infty) , 有下述(关于初值和外力) 的连续性成立,
\begin{eqnarray*} \|u_{m}(t)-u(t)\|_{2}^{2}\leq e^{2lt}\Big(1+\frac{1}{2l}\Big)\bigg(\|u_{0m}-u_{0}\|_{2}^{2} +\sum\limits_{i=1}^{n}\|h_{m}^{i}-h^{i}\|_{2}^{2}+\|h_{m}^{0}-h^{0}\|_{2}^{2}\bigg). \end{eqnarray*}
从而, 对任意的 t\in[0,+\infty) , 序列 \{u_{m}\}_{m=1}^{\infty} 存在子列 \{u_{m_{j}}\}_{j=1}^{\infty} 使得对任意的 x\in\Omega , 当 j\rightarrow\infty 时有
u_{m_{j}}(x,t)\rightarrow u(x,t)
结合定理 3.2, 引理 3.1 和 Fatou 引理, 有下述结果.
定理3.3 设引理 2.2 的假设成立, 则对任意的 \delta_{1}\in [0,+\infty) , 存在有界子集 B_{\delta_{1}}\subset H^{1}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n}) 使得
\begin{eqnarray*} B_{\delta_{1}}=\Big\{w\in H^{1}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}):~\|w\|_{H^{1}(\Bbb R ^{n}) \cap L^{p+\delta_{1}}(\Bbb R ^{n})}\leq \Lambda_{p,n,\delta_{1}}<\infty\Big\}, \end{eqnarray*}
且对 L^{2}(\Bbb R ^{n}) 中任意的有界集 B\subset L^{2}(\Bbb R ^{n}) , 存在 T=T(\|B\|_{2},\delta_{1}) 使得对任意的 t\geq T , 有
\begin{matrix}\label{4.12} S(t)B\subset v(x)+B_{\delta_{1}}, \end{matrix}
(3.24)
这里的常数 \Lambda_{p,n,\delta_{1}} 与 p,n,\delta_{1} 相关, v(x) 是方程(3.10)的一个 (与 \delta_{1} 不相关)给定的解.
证 由于空间维数 n\geq3 , 则 \frac{n}{n-2}>1 且
\begin{eqnarray*} \left(\frac{n}{n-2}\right)^{k}\rightarrow\infty \quad\mbox{当}~k\rightarrow\infty. \end{eqnarray*}
从而, 对任意的 \delta_{1}\in[0,+\infty) , 通过选取 k 使得
2\leq p+\delta_{1}\leq2\left(\frac{n}{n-2}\right)^{k}.
设 u_{m} 和 v_{m} 分别是方程(3.13)和(3.14)的解, 则对任意的 t\geq T_{k} , 能够找到 m_{j} 使得对任意的 x\in\Bbb R ^{n} , 当 j\rightarrow\infty 时, u_{m_{j}}(x,t)\rightarrow u(x,t) , v_{m_{j}}(x)\rightarrow v(x) 几乎处处成立. 对定理 3.2 中的 (A_{k}) 应用 Fatou 引理, 有
\begin{matrix}\label{4.13} \int_{\Omega}|u(x,t)-v(x)|^{2(\frac{n}{n-2})^{k}}{\rm d}x &\leq& \liminf_{j\rightarrow\infty}\int_{\Omega}|u_{m_{j}}(x,t)-v_{m_{j}}(x)|^{2(\frac{n}{n-2})^{k}}{\rm d}x \nonumber\\ &\leq &M_{k}<\infty. \end{matrix}
(3.25)
结合(3.25)式和引理 2.6 中的 H^{1}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n}) -耗散估计, 再利用插值不等式, 可定义 B_{\delta_{1}} 为
\begin{eqnarray*} B_{\delta_{1}}=\Big\{w\in H^{1}\cap L^{p+\delta_{1}}: \|w\|_{H^{1}\cap L^{p}}+\|w\|_{L^{p+\delta_{1}}} \leq C_{M_{k},C_{1},\delta_{1},\|v\|_{H^{1}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})}}<\infty\Big\}, \end{eqnarray*}
推论3.1 设引理 2.2 的假设成立, 半群 \{S(t)\}_{t\geq0} 拥有一个 \big(L^{2}(\Bbb R ^{n}),L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子 {\cal A} . 而且, 通过对吸引子 {\cal A} 做分解 {\cal A}=v(x)+{\cal B} , {\cal A} 能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的每个有界集, 这里 \delta_{1}\in[0,+\infty) , {\cal B}={\cal A}-v(x) 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, v(x) 是方程(3.10)的解.
证 我们首先证明 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子的存在性.
对任意的 \delta_{1}\in[0,\infty) , 选取 k 使得
p+\delta_{1}\leq 2\Big(\frac{n}{n-2}\Big)^{k}
(例如, k=\big[\log_{\frac{n}{n-2}}(\frac{p+\delta_{1}}{2})\big]+1 ) , 并利用插值公式, 有
\begin{matrix}\label{4.14} &&\|u_{1}(x,t)-u_{2}(x,t)\|_{L^{p+\delta_{1}}} \nonumber\\ &=&\|u_{1}(x,t)-v(x)-(u_{2}(x,t)-v(x))\|_{L^{p+\delta_{1}}} \nonumber\\ &\leq& \|u_{1}(x,t)-v(x)-(u_{2}(x,t)-v(x))\|_{L^{2(\frac{n}{n-2})^{k}}}^{1-\theta} \|u_{1}(x,t)-v(x)-(u_{2}(x,t)-v(x))\|_{L^{2}}^{\theta} \nonumber\\ &\leq& C_{M_{k},\theta}\|u_{1}(x,t)-u_{2}(x,t)\|_{L^{2}}^{\theta}, \end{matrix}
(3.26)
这里 u_{i}(t)=S(t)u_{i0} (i=1,2) , \theta\in(0,1) .
由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子.
由定理 3.2 中的 (A_{k}) 式, 我们能找到相应的 T_{k} 和 M_{k} . 对于给定的 T_{k} 和 M_{k} 以及任意给定的 \varepsilon>0 , 由 \big(L^{2}(\Bbb R ^{n}),L^{2}(\Bbb R ^{n})\big) -全局吸引子的吸引性可知, 对任意的 t\geq T_{k} , 有
\begin{matrix}\label{4.15} {\rm dist}_{L^{2}(\Bbb R ^{n})}\big(S(t)B,{\cal A}\big) \leq\Big(\frac{\varepsilon}{C_{M_{k,\theta}}}\Big)^{\frac{1}{\theta}}, \end{matrix}
(3.27)
这里集合 B 是 L^{2}(\Bbb R ^{n}) 中的有界吸收集. 结合(3.25)式,(3.26)式和(3.27)式可知, 对任意的 t\geq T_{k} , 有
\begin{eqnarray*} &&{\rm dist}_{L^{p+\delta_{1}}(\Bbb R ^{n})}\big(S(t)B,{\cal A}\big) \nonumber\\ &=&{\rm dist}_{L^{p+\delta_{1}}(\Bbb R ^{n})}\big(S(t)B-v(x),{\cal A}-v(x)\big) \nonumber\\ &\leq&\|S(t)B-v(x)-\big({\cal A}-v(x)\big)\|_{L^{2(\frac{n}{n-2})^{k}}}^{1-\theta} \|S(t)B-v(x)-\big({\cal A}-v(x)\big)\|_{L^{2}}^{\theta} \nonumber\\ &\leq&\varepsilon. \end{eqnarray*}
最后, 类似于(3.26)式并应用(3.25)式, 可得高阶可积性
\begin{eqnarray*} \|u(x,t)-v(x)\|_{L^{p+\delta_{1}}} &\leq& \|u(x,t)-v(x)\|_{L^{2(\frac{n}{n-2})^{k}}}^{1-\theta}\|u(x,t)-v(x)\|_{L^{2}}^{\theta} \nonumber\\ &\leq &C_{M_{k},\theta}\|u(x,t)-v(x)\|_{L^{2}}^{\theta}. \end{eqnarray*}
注3.1 当 V(x)=0 , 方程(1.1)就是文献[13 ,17 ]中所考虑的反应扩散方程, 推论 3.1 包含了文献[13 ,17 ] 中 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 而且, 由推论 3.1 可知对任意的 \delta_{1}\in[0,+\infty) , {\cal A}-v(x) 在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, 尽管我们不知道 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中是否有界.
参考文献
View Option
[2]
Babin A V , Vishik M I . Attractors of Evolution Equations
Amsterdam: North-Holland, 1992
[本文引用: 1]
[3]
Brezis H . Functional Analysis, Sobolev Spaces and Partial Differential Equations. New York : Springer , 2011
[本文引用: 1]
[4]
Cao D M , Sun C Y , Yang M H . Dynamics for a stochastic reaction-diffusion equation with additive noise
J Differential Equations, 2015 , 259 : 838 -872
DOI:10.1016/j.jde.2015.02.020
URL
[本文引用: 2]
[5]
Cholewa J W , Dlotko T . Global Attractors in Abstract Parabolic Problems. Cambridge : Cambridge university Press , 2000
[本文引用: 1]
[6]
Hale J K . Asymptotic Behavior of Dissipative Systems
Providence: American Mathematival Society, 1988
[本文引用: 1]
[7]
Lions J L . Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires
Paris: Dunod, 1969
[本文引用: 1]
[9]
Marion M . Approximate inertial manifolds for reaction-diffusion equations in high space dimension
J Dynamic Differential Equations, 1989 , 1 : 245 -267
DOI:10.1007/BF01053928
URL
[本文引用: 2]
[10]
Robinson J C . Infinite-Dimensional Dynamical Systems:An Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge : Cambridge University Press , 2001
[本文引用: 6]
[11]
Sun C Y , Yuan L L , Shi J C . Higher-order integrability for a semilinear reaction-diffusion equation with distribution derivatives in \Bbb R ^{N}
Appl Math Lett, 2013 , 26 : 949 -956
DOI:10.1016/j.aml.2013.04.010
URL
[本文引用: 4]
[12]
Sun C Y , Yuan Y B . L^{p} -type pullback attractors for a semilinear heat equation on time-varying domains
Proc Roy Soc Edinburgh Sect A, 2015 , 145 : 1029 -1052
DOI:10.1017/S0308210515000177
URL
[本文引用: 3]
[13]
Sun C Y , Zhong C K . Attractors for the semilinear reaction-diffusion equation with distribution derivatives in unbounded domains
Nonlinear Anal, 2005 , 63 : 49 -65
DOI:10.1016/j.na.2005.04.034
URL
[本文引用: 4]
[14]
Temam R . Infinite-Dimensional Dynamical Systems in Mechanics and Physics. New York : Springer , 1997
[本文引用: 3]
[16]
Xiao Y P , Sun C Y . Higher-order asymptotic attraction of pullback attractors for a reaction-diffusion equation in non-cylindrical domains
Nonlinear Anal, 2015 , 113 : 309 -322
DOI:10.1016/j.na.2014.10.012
URL
[本文引用: 2]
[17]
Xie Y Q , Li Q S , Huang C X , Jiang Y J . Aattractors for the semilinear reaction-diffusion equation with distribution derivatives
J Math Phys, 2013 , 54 (9 ): 092701
DOI:10.1063/1.4818983
URL
[本文引用: 3]
[18]
Zhang J , Zhong C K . The existence of global attractors for a class of reaction-diffusion equations with distribution derivatives terms in \Bbb R ^{n}
J Math Anal Appl, 2015 , 427 : 365 -376
DOI:10.1016/j.jmaa.2015.02.024
URL
[本文引用: 5]
[19]
Zhong C K , Yang M H , Sun C Y . The existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction-diffusion equations
J Differential Equations, 2006 , 223 : 367 -399
DOI:10.1016/j.jde.2005.06.008
URL
[本文引用: 2]
[20]
Zhu K X , Zhou F . Continuity and pullback attractors for a non-autonomous reaction-diffusion equation in \Bbb R ^{N}
Comput Math Appl, 2016 , 71 : 2089 -2105
DOI:10.1016/j.camwa.2016.04.004
URL
[本文引用: 2]
An application of the invariance principle to reaction-diffusion equations
2
1979
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
... 本节将基于 Alikakos-Moser 迭代技巧 (参见文献[1 ]或文献[8 ,10 ]) 来建立方程(3.11)解的一些估计. ...
Attractors of Evolution Equations
1
1992
... 由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子. ...
1
2011
... 证 我们将利用 Stampacchia 的截断函数方法 (参见文献[3 ,12 ]) 来证明强解 u 的 L^{\infty} -估计. ...
Dynamics for a stochastic reaction-diffusion equation with additive noise
2
2015
... 有了上述结果以后, 一个自然的想法就是能否得到 L^{p^{*}} -空间中 (p^{*}\geq 2p-2) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C_{c}^{\infty}(\Bbb R ^{n}) 在 H^{1}(\Bbb R ^{n}) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H^{1}(\Bbb R ^{n}) 中解的连续性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
1
2000
... 由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子. ...
Asymptotic Behavior of Dissipative Systems
1
1988
... 由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子. ...
Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires
1
1969
... 再由文献[7 ]知方程(3.14)存在唯一强解 v_{m} 满足 ...
Attractors for reactions-diffusion equations: existence and estimate of their dimension
3
1987
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... 本节将基于 Alikakos-Moser 迭代技巧 (参见文献[1 ]或文献[8 ,10 ]) 来建立方程(3.11)解的一些估计. ...
Approximate inertial manifolds for reaction-diffusion equations in high space dimension
2
1989
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
6
2001
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... 本节首先定义方程(1.1)的弱(强)解, 参见文献[10 ]. ...
... 本节首先给出弱(强)解的存在性和唯一性, 这可类似于文献[10 ,定理 8.4 和定理 8.5]由 Fadeo-Galerkin 方法得到. ...
... 本节将基于 Alikakos-Moser 迭代技巧 (参见文献[1 ]或文献[8 ,10 ]) 来建立方程(3.11)解的一些估计. ...
... 由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子. ...
Higher-order integrability for a semilinear reaction-diffusion equation with distribution derivatives in \Bbb R ^{N}
4
2013
... 有了上述结果以后, 一个自然的想法就是能否得到 L^{p^{*}} -空间中 (p^{*}\geq 2p-2) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C_{c}^{\infty}(\Bbb R ^{n}) 在 H^{1}(\Bbb R ^{n}) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H^{1}(\Bbb R ^{n}) 中解的连续性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
... 为了方便后面的计算, 我们需要下面的结果, 参见文献[11 ]. ...
... 类似于文献 [11 ,引理 3.2 和引理 3.3], 有下述结论. ...
L^{p} -type pullback attractors for a semilinear heat equation on time-varying domains
3
2015
... 有了上述结果以后, 一个自然的想法就是能否得到 L^{p^{*}} -空间中 (p^{*}\geq 2p-2) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C_{c}^{\infty}(\Bbb R ^{n}) 在 H^{1}(\Bbb R ^{n}) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H^{1}(\Bbb R ^{n}) 中解的连续性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
... 证 我们将利用 Stampacchia 的截断函数方法 (参见文献[3 ,12 ]) 来证明强解 u 的 L^{\infty} -估计. ...
Attractors for the semilinear reaction-diffusion equation with distribution derivatives in unbounded domains
4
2005
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... -全局吸引子的存在性, 参见文献[13 ]. ...
... 注3.1 当 V(x)=0 , 方程(1.1)就是文献[13 ,17 ]中所考虑的反应扩散方程, 推论 3.1 包含了文献[13 ,17 ] 中 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 而且, 由推论 3.1 可知对任意的 \delta_{1}\in[0,+\infty) , {\cal A}-v(x) 在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, 尽管我们不知道 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中是否有界. ...
... ]中所考虑的反应扩散方程, 推论 3.1 包含了文献[13 ,17 ] 中 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 而且, 由推论 3.1 可知对任意的 \delta_{1}\in[0,+\infty) , {\cal A}-v(x) 在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, 尽管我们不知道 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中是否有界. ...
3
1997
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... 由引理 2.5 可知, 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n}) 中渐近紧. 再由(3.26)式可知, 对任意的 \delta_{1}\in[0,+\infty) , 半群 \{S(t)\}_{t\geq0} 在 L^{2}(\Bbb R ^{n})\cap L^{p+\delta_{1}}(\Bbb R ^{n}) 中渐近紧. 结合引理 2.6, 由动力系统理论[2 ,5 ,6 ,10 ,14 ] 可知, 半群 \{S(t)\}_{t\geq0} 存在 \big(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})\big) -全局吸引子. ...
Attractors for reaction-diffusion equations in unbounded domains
2
1999
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
Higher-order asymptotic attraction of pullback attractors for a reaction-diffusion equation in non-cylindrical domains
2
2015
... 有了上述结果以后, 一个自然的想法就是能否得到 L^{p^{*}} -空间中 (p^{*}\geq 2p-2) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C_{c}^{\infty}(\Bbb R ^{n}) 在 H^{1}(\Bbb R ^{n}) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H^{1}(\Bbb R ^{n}) 中解的连续性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
Aattractors for the semilinear reaction-diffusion equation with distribution derivatives
3
2013
... 下述引理表明 L^{p}(\Bbb R ^{n}) 和 H^{1}(\Bbb R ^{n}) 中有界吸收集的存在性, 这可类似于文献[17 ] 中定理 3.4 的证明得到. ...
... 注3.1 当 V(x)=0 , 方程(1.1)就是文献[13 ,17 ]中所考虑的反应扩散方程, 推论 3.1 包含了文献[13 ,17 ] 中 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 而且, 由推论 3.1 可知对任意的 \delta_{1}\in[0,+\infty) , {\cal A}-v(x) 在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, 尽管我们不知道 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中是否有界. ...
... ,17 ] 中 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 而且, 由推论 3.1 可知对任意的 \delta_{1}\in[0,+\infty) , {\cal A}-v(x) 在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中有界, 尽管我们不知道 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子在 L^{p+\delta_{1}}(\Bbb R ^{n}) 中是否有界. ...
The existence of global attractors for a class of reaction-diffusion equations with distribution derivatives terms in \Bbb R ^{n}
5
2015
... 随着研究的深入, 人们对反应扩散方程解的长时间行为的研究, 已经推广到更加复杂的情形. 例如, Zhang等[18 ] 研究了带有加权项 V(x) 和分布导数的反应扩散方程解的长时间行为, 并利用非紧性测度的方法证明了 (L^{2}(\Bbb R ^{n}),L^{2}(\Bbb R ^{n})) -全局吸引子的存在性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...
... 接下来, 有下述结果, 参见文献[18 ]. ...
... 对于方程(3.13)的解, 类似于方程(1.1)的解估计 (参见文献[18 ,引理 3.1]), 对每个 m\in\mathbb{N} , 存在依赖于 \delta, \|h^{i}_{m}\|_{2} , \|V\|_{1} , \|V\|_{\infty} 的常数 C_{1}=C_{\delta, \|h^{i}_{m}\|_{2},\|V\|_{1},\|V\|_{\infty}} 和依赖于 \delta , \|u_{0m}\|_{2} 的常数 T_{\delta, \|u_{0m}\|_{2}} 使得对任意的 t\geq T_{\delta, \|u_{0m}\|_{2}} , 有 ...
... 首先, 类似于文献[18 ,引理 3.1], 有 ...
The existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction-diffusion equations
2
2006
... 众所周知, 人们对反应扩散方程解的长时间行为进行了广泛的研究, 取得了丰硕的成果, 参见文献[8 ⇓ -10 ,13 ⇓ -15 ,19 ]. 在文献[8 ⇓ -10 ,14 -15 ] 中, 人们主要研究 L^{2} -空间中全局吸引子的存在性、正则性和分形维数. 2006年, Zhong等[19 ] 在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
... [19 ]在研究该方程解的长时间行为时提出了渐近先验估计方法, 并在外力项 g(x)\in H^{-1}(\Omega) 和 g(x)\in L^{2}(\Omega) 时分别证明了L^{p}(\Omega) , H_{0}^{1}(\Omega) 和 L^{2p-2}(\Omega) , H^{2}(\Omega)\cap H_{0}^{1}(\Omega) 中全局吸引子的存在性. 而且, 他们还利用该方法研究了无界域的情形, 并在外力项 g(x)\in H^{-1}(\Bbb R ^{n}) 时证明了 (L^{2}(\Bbb R ^{n}), L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 参见文献[13 ]. ...
Continuity and pullback attractors for a non-autonomous reaction-diffusion equation in \Bbb R ^{N}
2
2016
... 有了上述结果以后, 一个自然的想法就是能否得到 L^{p^{*}} -空间中 (p^{*}\geq 2p-2) 解的高阶可积性. 为了解决这个问题, Sun等[11 ] 通过对该方程做特殊的分解并利用 C_{c}^{\infty}(\Bbb R ^{n}) 在 H^{1}(\Bbb R ^{n}) 中的稠密性证明了解的高阶可积性. 而且, 他们还将这一思想和方法应用到变区域情形和随机情形, 得到了相应空间中解的高阶可积性, 参见文献[4 ,12 ,16 ]. 基于这一思想, 文献[20 ] 中研究了无界域的情形, 得到了相应相空间中解的高阶可积性和 H^{1}(\Bbb R ^{n}) 中解的连续性. ...
... 本文基于文献[18 ] 中的结果和文献[4 ,11 -12 ,16 ,20 ] 中的思想和方法, 研究方程(1.1)解的高阶可积性和 (L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性. 为了达到这一目的并保证检验函数有意义, 本文首先利用极大值原理证明解的 L^{\infty} -估计, 详见定理 3.1. 然后, 我们将方程(1.1)分解成一个稳态方程和一个发展方程, 并利用 Alikakos-Moser 迭代技巧[1 ] 建立发展方程解的渐近高阶可积性, 详见定理3.2和定理3.3. 作为高阶可积性的推论, 本文得到了(L^{2}(\Bbb R ^{n}), L^{2}(\Bbb R ^{n})\cap L^{p}(\Bbb R ^{n})) -全局吸引子的存在性, 详见推论 3.1. 而且, 对任意的 \delta_{1}\in [0,+\infty) , 该吸引子能够在 L^{2}\cap L^{p+\delta_{1}} -拓扑下吸引 L^{2}(\Bbb R ^{n}) 中的有界集. ...