Pure Mathematics
Vol.08 No.04(2018), Article ID:26021,9 pages
10.12677/PM.2018.84058

Quenching of the Solution of the Discrete p, ω-Laplacian Equation with Absorption Singularity Term on Graphs

Yafeng Li, Qiao Xin

College of Mathematics and Statistics, Yili Normal University, Yining Xinjiang

Received: Jun. 28th, 2018; accepted: Jul. 16th, 2018; published: Jul. 23rd, 2018

ABSTRACT

This paper mainly studies the quenching of solution of the discrete p, ω-Laplacian equation with absorption singularity term and positive Dirichlet boundary conditions. First, the local existence and uniqueness of solutions are obtained by Banach fixed point theorem. And then, on some suitable conditions, we prove that the solution quenches in finite time by comparison principle. Moreover, the upper of quenching time to solution is also obtained.

Keywords:Graph, p, ω-Laplacian Operator, Quenching, Comparison Principle

带有奇异吸收项的离散的p, ω-Laplacian方程解的淬灭现象

李亚峰,辛巧

伊犁师范学院,数学与统计学院,新疆 伊宁

收稿日期:2018年6月28日;录用日期:2018年7月16日;发布日期:2018年7月23日

摘 要

本文主要考虑了在狄利克雷边界条件下带有奇异吸收项的离散的p, ω-Laplacian方程解的淬灭现象,首先,利用巴拿赫不动点定理证明其方程局部解的存在与唯一性,其次,通过比较原理证明在一定条件下方程解在有限时间淬灭,另外,还得到其解的淬灭时间上界估计。

关键词 :图,p, ω-Laplacian算子,淬灭,比较原理

Copyright © 2018 by authors and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

图上的偏微分方程是偏微分方程的一个新的研究方向,自2005年,S.-Y. Chung和C. A. Berenstein在图上引进了积分、方向导数、梯度、离散Laplacian算子等理论,为图上偏微分方程提供了理论基础,在实际应用中,图在表示离散的对象之间关系方面是一个非常有效而重要的工具,因此利用偏微方程的讨论技巧去研究图上偏微分方程,极大的推动了偏微分方程这一领域的发展,尤其对带有非线性项离散的热方程解的渐近行为的研究受到国内外许多学者的关注和研究,因此对于带有不同类型的非线性项离散的热方程解的渐近行为的研究,无论在理论与实际中都有很重要的应用,基于此,本文主要讨论了带有奇异吸收项的离散的p, ω-Laplacian方程

{ u t = Δ p , ω u u q , x S × ( 0 , T ) , u ( x , t ) = 1 , x S , u ( x , 0 ) = u 0 ( x ) , x S , (1.1)

解的淬灭现象。初值满足 u 0 ( x ) 0 ,另外 p 2 , q > 0 ,其中S表示有限、连通的简单图G的内部顶点, S 表示其边界点,V, E分别表示图G的顶点集与边集;定义在图G的边集E上权重函数定义等可参考 [1] ,进一步, d ω ( x ) = x V ω ( x , y ) 表示其图G的顶点x的度, Δ p , ω 是离散的p-Laplacian算子,其定义为

Δ p , ω u ( x ) = y V | u ( y ) u ( x ) | p 2 [ u ( y ) u ( x ) ] ω ( x , y ) ,

并且定义在图G上的函数 u ( x ) ,其在图G上的积分为:

G u = x V u ( x ) .

另外 C ( V ) 表示定义在G顶点集V上的函数全体,其上范数定义为 u = max x V | u ( x ) | ,容易验证 C ( V ) 在此范数下是一个Banach空间。

在文献 [2] 中,主要研究了离散p-Laplacian方程解的爆破与解的全局存在性

u t ( x , t ) = Δ p , ω u ( x , t ) + λ | u ( x , t ) | q 1 ` u ( x , t ) , (1.2)

其中 p > 2 , λ > 0

在文献 [3] 中,主要研究了方程 u t ( x , t ) = Δ p , ω u ( x , t ) 解的熄灭与正性,在文献 [4] ,主要研究了离散的p-Laplacian方程解的熄灭与正性

{ u t ( x , t ) = Δ p , ω u ( x , t ) u q , ( x , t ) G × ( 0 , + ) , u ( x , t ) = 0 , x G , t > 0 , u ( x , 0 ) = u 0 ( x ) , x G ,

这里G是一个有限的简单图,其中 p > 1 , q > 0

在文献 [5] 中,主要研究了图上p-Laplacian方程解的性质,在文献 [6] 中,主要研究了

{ u t ( x , t ) = Δ ω u λ u q , ( x , t ) S × ( 0 , T ) , u ( x , t ) = 1 , ( x , t ) S × ( 0 , T ) , u ( x , 0 ) = u 0 ( x ) , x S ,

其方程解的淬灭与全局存在性。很容易看出当(1.1)里面 p = 2 时,即退化成上式,本文主要把文献 [6] 结果进行了推广。

2. 局部解的存在与唯一性

首先在证明方程局部解的存在与唯一性之前,先介绍一个重要引理。

引理2.1 对于任意 p ( 1 , ) a , b R ,有下列不等式成立

( | a | p 2 a | b | p 2 b ) C 1 | a b | ( | a | + | b | ) p 2 , (2.1)

( | a | p 2 a | b | p 2 b ) ( a b ) C 2 | a b | 2 ( | a | + | b | ) p 2 , (2.2)

这里 C 1 C 2 都是正的常数其数值大小仅依赖于p。

证明 其定理的详细证明见文献 [7] 。

接下来,通过引理2.1和巴拿赫不动点定理来证明方程(1.1)局部解的存在与唯一性。因为 0 < u 0 ( x ) < 1 ,这里存在一个常数 α ,使得 2 α u 0 ( x ) < 1 。首先,我们来定义一个巴拿赫空间

X 0 = { u C [ 0 , t 0 ] × C ( V ) , α u 1 x S , u ( x , t ) = 1 } ,

这里 t 0 min { α | V | max ( d ω x ) ( 1 α ) p 2 + λ α q , 1 u 0 ( x ) | V | max ( d ω x ) ( 1 α ) p 2 } 且在巴拿赫空间 C ( V ) 上的最大范数为

u ( x , t ) X 0 = max x V max t [ 0 , t 0 ] | u ( x , t ) | ,

接下来,我们定义如下运算:

T u 0 [ u ] ( x , t ) = { u 0 ( x ) + 0 t Δ p , ω u ( x , s ) d s λ 0 t u q ( x , s ) d s , x S , 0 t t 0 , 1 , x S , 0 t t 0 ,

对于算子 T u 0 我们给出下面一个重要定理。

引理2.2 运算 T u 0 X 0 X 0 的一个映射,对于任意 0 u 0 ( x ) , v 0 ( x ) C ( V ) u , v X 0 , p 2 , q > 0 那么这里存在一个正的常数 C = C ( λ , max x S ( d ω x ) , u X 0 , v X 0 , | V | ) 使得

T u 0 [ u ] T v 0 [ v ] X 0 u 0 v 0 + C t u v X 0 ,

另外,如果 t 0 足够小,那么 T u 0 X 0 上严格压缩。

证明 第一步 首先证明算子 T u 0 X 0 X 0 的映射,对于任意 ( x , t 1 ) , ( x , t 2 ) C ( V ) × [ 0 , t 0 ] ,可得

| T u 0 [ u ] ( x , t 1 ) T u 0 [ u ] ( x , t 2 ) | | t 1 t 2 y V ω ( x , y ) ( | u ( y , s ) u ( x , s ) | p 2 [ u ( y , s ) u ( x , s ) ] ) d s | + λ | t 1 t 2 u q ( x , s ) d s | ( t 2 t 1 ) ( 2 u X 0 p 1 max x S ( d ω x ) + λ u X 0 q ) ,

因此,对于任意 x V ,运算 T u 0 在区间 [ 0 , t 0 ] 连续。

另外一方面,对于任意 u ( x , t ) X 0 ,可得

T u 0 [ u ] ( x , t ) = u 0 ( x ) + 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( y , s ) ω ( x , y ) d s 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( x , s ) ω ( x , y ) d s λ 0 t u q ( x , s ) d s u 0 ( x ) 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( x , s ) ω ( x , y ) d s λ 0 t u q ( x , s ) d s 2 α ( | V | max ( d ω x ) ( 1 α ) p 2 + λ α q ) t 0 α ,

类似地,可得

T u 0 [ u ] ( x , t ) = u 0 ( x ) + 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( y , s ) ω ( x , y ) d s 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( x , s ) ω ( x , y ) d s λ 0 t u q ( x , s ) d s u 0 ( x ) + 0 t y V | u ( y , s ) u ( x , s ) | p 2 u ( y , s ) ω ( x , y ) d s u 0 ( x ) + t 0 | V | max ( d ω x ) ( 1 α ) p 2 1.

第二步 对于任意 ( x , t ) ( V , [ 0 , t 0 ] ) u ( x , t ) , v ( x , t ) X 0 ,运用引理2.1的不等式(2.1),可得

| T u 0 [ u ] ( x , t ) T v 0 [ v ] ( x , t ) | u 0 v 0 + | 0 t y V ω ( x , y ) ( | u ( y , s ) u ( x , s ) | p 2 [ u ( y , s ) u ( x , s ) ] | v ( y , s ) v ( x , s ) | p 2 [ v ( y , s ) v ( x , s ) ] ) d s | + λ | 0 t [ u q v q ] d s |

u 0 v 0 + c 0 t y V ω ( x , y ) | u ( y , s ) u ( y , s ) v ( y , s ) + v ( y , s ) | p 2 × ( | u ( y , s ) u ( x , s ) | + | v ( y , s ) v ( x , s ) | ) d s + λ | 0 t [ u q v q ] d s | u 0 v 0 + t ( λ q η q 1 + 2 c ( 4 η ) p 2 | V | ) u v X 0 ,

这里 η max { u X 0 , v X 0 } 。因此,对于任意 ( x , t ) V × [ 0 , t 0 ] ,得到

T u 0 [ u ] ( x , t ) T v 0 [ v ] ( x , t ) X 0 u 0 v 0 + C t u v X 0 ,

这里 C = λ q η q 1 + 2 c ( 4 η ) p 2 | V | 。此引理证明完毕!

接下来,我们通过引理2.2来证明方程(1.1)局部解的存在与唯一性。

定理2.1 设初值 0 < u 0 ( x ) 1 ,那么存在时间 T > 0 ,使得问题(1.1)有唯一解 u ( x , t ) C ( V ) × C ( 0 , T ) 。如果T是有限的,我们有

lim t T u ( x , t ) = 0.

证明 通过引理2.2可知,算子 T u 0 在上 X 0 上严格压缩,通过巴拿赫不动点定理可知,在空间 X 0 内,问题(1.1)有唯一解,使得 T u 0 [ u ] = u ,所以,对于任意 x V ,可得

u ( x , t ) = { u 0 ( x ) + 0 t Δ p , ω u ( x , s ) d s λ 0 t u q ( x , s ) d s , x S , 0 t t 0 , 1 , x S , 0 t t 0 ,

因此,在 [ 0 , t 0 ] 上,问题(1.1)有唯一解 u ( x , t ) ,另外,如果 u ( x , t 0 ) X 0 < ,重复上述的过程,那么问题(1.1)的解可以延拓到区间 [ t 0 , t 1 ] t 1 > t 0 ,继续重复此过程直至 lim t T u ( x , t ) 0

3. 比较原理

在讨论方程(1.1)解的淬灭现象之前,先给出比较原理及相关定理。比较原理在处理抛物方程问题是一个基础而有效的工具。

定义3.1 函数 u ¯ ( x , t ) C ( V ) × C ( 0 , T ) 如果满足

{ u ¯ t Δ p , ω u ¯ λ u ¯ q , x S , t ( 0 , T ) , u ¯ ( x , t ) 1 , x S , t ( 0 , T ) , u ¯ ( x , 0 ) u 0 ( x ) , x S ,

则称 u ¯ ( x , t ) 是方程(1.1)的上解,类似,如果 u _ ( x , t ) 满足上述不等式反向不等号,则称其为方程(1.1)的下解。

定理3.1 假设 u ¯ ( x , t ) , u _ ( x , t ) 是方程(1.1)的上解与下解,那么对于任意 ( x , t ) V × ( 0 , T ) ,都有 u ¯ ( x , t ) u _ ( x , t )

证明 设对于任意 0 < t 0 < T ,设 m = min S × ( 0 , t 0 ] { u _ , u ¯ } M = max S × ( 0 , t 0 ] { u _ , u ¯ } ,这里 m , M 都是正的常数。接下来,

U ( x , t ) = u _ ( x , t ) u ¯ ( x , t ) ,显然 x S , U ( x , 0 ) < 0 ,那么通过上解与下解的定义可得

U t ( Δ p , ω u _ ( x , t ) Δ p , ω u ¯ ( x , t ) ) λ ( u _ q ( x , t ) u ¯ q ( x , t ) ) , ( x , t ) S × ( 0 , T ) . (3.1)

U + ( x , t ) = max { U ( x , t ) , 0 } ,现在不等式(3.1)两边同乘 U + 并在S积分

1 2 x S ( U + 2 ( x , t ) ) t x S U + ( x , t ) [ ( Δ p , ω u _ ( x , t ) Δ p , ω u ¯ ( x , t ) ) λ ( u _ q ( x , t ) u ¯ q ( x , t ) ) ] , (3.2)

事实上,令 J ( t ) = { x V | U ( x , t ) 0 } ,如果 J ( t ) 非空集合,命题自然得证。现在,假设 J ( t ) S 是非空集合,现在我们来定义一个辅助函数

F p , ω ( u ¯ , u _ ) ( x , y , t ) = ω ( x , y ) { | u _ ( y , t ) u _ ( x , t ) | p 2 ( u _ ( y , t ) u _ ( x , t ) ) | u ¯ ( y , t ) u ¯ ( x , t ) | p 2 ( u ¯ ( y , t ) u ¯ ( x , t ) ) } ,

运用引理2.1中的不等式(2.2),对于任意 ( x , t ) , ( y , t ) V × ( 0 , T ) ,可得

F p , ω ( u ¯ , u _ ) ( x , y , t ) [ U ( y , t ) U ( x , t ) ] 0 , (3.3)

另外一方面,还有

S U ( x , t ) ( Δ p , ω u _ ( x , t ) Δ p , ω u ¯ ( x , t ) ) = x J ( t ) y V U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) = x J ( t ) y J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) + x J ( t ) y V \ J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) .

接下来,我们利用富比尼定理和(3.3),可得

x J ( t ) y J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) = 1 2 x J ( t ) y J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) + 1 2 x J ( t ) y J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) = 1 2 x J ( t ) y J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) 1 2 y J ( t ) x J ( t ) U ( y , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) = 1 2 x J ( t ) y J ( t ) ( U ( y , t ) U ( x , t ) ) F p , ω ( u ¯ , u _ ) ( x , y , t ) 0 , (3.4)

另外,如果 x J ( t ) , y V \ J ( t ) ,那么,可得 U ( x , t ) > 0 , U ( y , t ) < 0 ,进一步,可得 U ( y , t ) U ( x , t ) < 0

因此,通过

x J ( t ) y V \ J ( t ) U ( x , t ) F p , ω ( u ¯ , u _ ) ( x , y , t ) = x J ( t ) y V \ J ( t ) U ( x , t ) 1 U ( y , t ) U ( x , t ) ( U ( y , t ) U ( x , t ) ) F p , ω ( u ¯ , u _ ) ( x , y , t ) < 0 , (3.5)

进而,我们利用中值定理可得

u _ q ( x , t ) u ¯ q ( x , t ) = q ξ q 1 ( x , t ) U ( x , t ) ,

这里 ξ ( x , t ) = θ ( x ) u _ ( x , t ) + ( 1 θ ( x ) ) u ¯ ( x , t ) 0 θ ( x ) 1 ,那么 m ξ ( x , t ) M ,因此对于不等式(3.2)的右边第二项,可得

x S U ( x , t ) ( u _ q ( x , t ) u ¯ q ( x , t ) ) m q 1 λ x S ( U + ( x , t ) ) 2 , (3.6)

组合上述不等式(3.2),(3.4),(3.5)和(3.6)可得

x S ( ( U + ( x , t ) ) 2 ) t < λ m q 1 x S ( U + ( x , t ) ) 2 ,

L ( t ) = x S ( U + ( x , t ) ) 2 ,我们有 L ( t ) < k L ( t ) 这里 k = λ m q 1 ,因为 U + ( x , 0 ) = 0 ,而且 L ( 0 ) = 0 ,因此,我们有 L ( u ) 0 ,于是得到 U + ( x , t ) = 0 ,因此可推出 u ¯ ( x , t ) u _ ( x , t )

4. 淬灭现象

在本部分主要介绍问题(1.1)解的淬灭现象。

定理4.1 对于有限图 G ( V , E , ω ) ,设初值 0 < u 0 ( x ) < 1 p 2 , q > 0 并且满足 λ > max { K | S | M q , K }

那么方程(1.1)的解在有限时间 T * 淬灭且满足

max x S max t ( 0 , T ) | u ( x , t ) | max x S | u 0 | , x S u ( x , t ) x S u 0 ( x ) ,

进一步得到淬灭时间满足 T x S u 0 ( x ) K λ | S | M q ,其中 M = max x S | u 0 ( x ) | K = max x V y S ω ( x , y )

证明 首先,证明 max x S max t ( 0 , T ) | u ( x , t ) | max x S | u 0 | 。方程(1.1)两边在S上积分,可得

x S u t ( x , t ) = x S Δ p , ω u ( x , t ) λ x S u q ( x , t ) , (4.1)

为了接下来计算与书写方便,设

F ( x , y , t ) = ω ( x , y ) | u ( y , t ) u ( x , t ) | p 2 [ u ( y , t ) u ( x , t ) ] ,

因为

x S Δ p , ω u ( x , t ) = x S y S F ( x , y , t ) + x S y S F ( x , y , t ) = 1 2 x S y S F ( x , y , t ) + 1 2 x S y S F ( x , y , t ) + x S y S F ( x , y , t ) = 1 2 x S y S F ( x , y , t ) 1 2 y S x S F ( x , y , t ) + x S y S F ( x , y , t ) = x S y S | u ( y , t ) u ( x , t ) | p 2 [ u ( y , t ) u ( x , t ) ] ω ( x , y ) = x S K ( x ) | 1 u ( x , t ) | p 2 [ 1 u ( x , t ) ]

这里 K ( x ) = y S ω ( x , y ) ,进一步可得

x S u t ( x , t ) = x S K ( x ) | 1 u ( x , t ) | p 2 [ 1 u ( x , t ) ] λ x S u q ( x , t ) . (4.2)

因为引理2.2可知, u ( x , t ) 1 ,那么有

x S u t ( x , t ) = x S K ( x ) ( 1 u ( x , t ) ) p 1 λ x S u q ( x , t ) , (4.3)

进一步,设 M = max x S | u 0 | ( u M ) + = max { u ( x , t ) M , 0 } ,方程(4.3)两边同乘 ( u M ) + ,可得

d d t x S [ ( u ( x , t ) M ) + ] 2 2 = x S K ( x ) ( 1 u ( x , t ) ) p 1 ( u ( x , t ) M ) + λ x S [ u q ( x , t ) ] ( u ( x , t ) M ) + x S K ( u ( x , t ) M ) + λ x S u q ( x , t ) ( u ( x , t ) M ) + = x S [ K λ u q ( x , t ) ] ( u ( x , t ) M ) + .

通过引理2.2可知, u ( x , t ) 1 ,又因为 λ > max { K , K | S | M q } ,即可得

d d t x S [ ( u ( x , t ) M ) + ] 2 2 0 .

A ( t ) = x S [ ( u ( x , t ) M ) + ] 2 2 ,可得 A ( t ) 0 A ( 0 ) = 0 ,可得

x S [ ( u ( x , t ) M ) + ] 2 2 = 0 ,

进而,得到

max x S max t [ 0 , T ) | u ( x , t ) | max x S | u 0 | , (4.4)

接下来,证明 x S u ( x , t ) x S u 0 ( x ) ,再次利用等式(4.3)和引理2.1可知, u ( x , t ) 1 ,因此可得

d d t x S u ( x , t ) K λ x S u q ( x , t ) , (4.5)

与上述讨论类似可得 d d t x S u ( x , t ) 0 ,因此可证

x S u ( x , t ) x S u 0 ( x ) , (4.6)

接下来,利用(4.4)和(4.6),对于(4.5)做进一步估计可得

d d t x S u ( x , t ) K λ | S | M q (4.7)

进一步,令 η ( t ) = x S u ( x , t ) ,那么对于上式在 [ 0 , t ] 进行积分

0 t η ( s ) d s 0 t [ K λ | S | M q ] d s

进而可得

η ( t ) η ( 0 ) [ K | S | M q ] t ,

又因为 λ max { K , K | S | M q } ,可得 K | S | M q < 0 ,进一步可得

T η ( t ) η ( 0 ) K | S | M q η ( 0 ) K λ | S | M q = x S u 0 ( x ) K λ | S | M q ,

此定理证明完毕!

基金项目

伊犁师范学院研究生科研创新项目(2016YSY008),新疆维吾尔自治区高校科研计划青年教师科研培育项目(XJEDU2014S064)。

文章引用

李亚峰,辛 巧. 带有奇异吸收项的离散的p, ω-Laplacian方程解的淬灭现象
Quenching of the Solution of the Discrete p, ω-Laplacian Equation with Absorption Singularity Term on Graphs[J]. 理论数学, 2018, 08(04): 436-444. https://doi.org/10.12677/PM.2018.84058

参考文献

  1. 1. Chung, S.Y. and Berenstein, C.A. (2005) ω-Harmonic Functions and Inverse Conductivity Problems on Networks. SIAM Journal on Applied Mathematics, 65, 1200-1226. https://doi.org/10.1137/S0036139903432743

  2. 2. Chung, S.Y. (2014) Critical Blow-Up and Global Existence for Discrete Nonlinear p-Laplacian Parabolic Equations. Discrete Dynamics in Nature and Society, 2014, Article ID: 716327. https://doi.org/10.1155/2014/716327

  3. 3. Lee, Y.S. and Chung, S.Y. (2011) Extinction and Positivity of Solutions of the p-Laplacian Evolution Equation on Networks. Journal of Mathematical Analysis and Applications, 380, 642-652. https://doi.org/10.1016/j.jmaa.2011.03.006

  4. 4. Xin, Q, Mu, C. and Liu, D. (2011) Extinction and Positivity of the Solution for a p-Laplacian Equation with Absorption on Graphs. Journal of Applied Mathematics, 2011, Article ID: 937079. https://doi.org/10.1155/2011/937079

  5. 5. 王坤, 辛巧. 图上的p-Laplacian方程解的性质及其数值仿真[J]. 长春师范大学学报, 2016, 35(2): 9-13.

  6. 6. Xin, Q. and Liu, D. (2017) Quenching for the Discrete Heat Equation with a Singular Absorption Term on Finite Graphs. Journal of Computational Analysis and Applications, 23, 1265-1280.

  7. 7. Barrett, J.W. and Liu, W.B. (1994) Finite Element Approximation of the Parabolic p-Laplacian. SIAM Journal on Numerical Analysis, 31, 413-428. https://doi.org/10.1137/0731022

期刊菜单