设为首页 加入收藏 期刊导航 网站地图
  • 首页
  • 期刊
    • 数学与物理
    • 地球与环境
    • 信息通讯
    • 经济与管理
    • 生命科学
    • 工程技术
    • 医药卫生
    • 人文社科
    • 化学与材料
  • 会议
  • 合作
  • 新闻
  • 我们
  • 招聘
  • 千人智库
  • 我要投搞
  • 办刊

期刊菜单

  • ●领域
  • ●编委
  • ●投稿须知
  • ●最新文章
  • ●检索
  • ●投稿

文章导航

  • ●Abstract
  • ●Full-Text PDF
  • ●Full-Text HTML
  • ●Full-Text ePUB
  • ●Linked References
  • ●How to Cite this Article
Pure Mathematics 理论数学, 2011, 1, 144-148
http://dx.doi.org/10.12677/pm.2011.12028 Published Online July 2011 (http://www.hanspub.org/journal/pm/)
Copyright © 2011 Hanspub PM
Inverse Coefficient Problems for a Parabolic Equation*
Cui’e Xiao1, Youjun Xu2
1Department of Mathematics and Computation Sciences, Hunan City University, Yiyang
2College of Mathematic and Physics, University of South, Hengyang
Email: xiaocuie@163.com
Received: Mar. 26th, 2011; revised: Apr. 30th, 2011; accepted: May 5th, 2011.
Abstract: This paper is devoted to a class of inverse coefficient problems for a Parabolic Equation, We obtain
an existence and uniqueness theorem of weak solutions. Using th e theories of Schauder Fixed-Po int Theorem,
an existence theorem is established for the inverse co efficient problems solutions.
Keywords: Parabolic Equation; Inverse Coefficient Problems; Weak Solution; Existence; Uniqueness
抛物型方程的反系数问题研究*
肖翠娥 1,许友军 2
1湖南城市学院数学与计算科学系,益阳
2南华大学数理学院,衡阳
Email: xiaocuie@163.com
收稿日期:2011 年3月26 日;修回日期:2011 年4月30 日;录用日期:2011 年5月5日
摘 要:研究了一类抛物型方程的反系数问题,利用变分方法获得了方程弱解的存在性与唯一性,利
用Schauder 不动点定理得到了反系数问题解的存在性。
关键词:抛物型方程;反系数问题;弱解;存在性;唯一性
1. 方程及基本假设
热传导方程是抛物型方程的典型代表,有源函数
的热传导方程是传热分析中最重要的一类方程,研究
方程弱解的存在性与唯一性以及研究未知系数解的存
在性,无论在理论研究还是在生产实际中都有非常重
要的意义。主要讨论抛物型方程弱解问题,以及仅依
赖于空间变量的主系数反问题,讨论未知系数解
的存在性。关于此类方程反系数问题的
研究已有一些理论成果,具体可参见[1-7 ]。


,,utx ax

设




0, 0,
T
QTl
,
,考虑如下抛物型方程:




 
,
tx
xx
uaxubxudtxuf tx (1)
其初始条件为



0,0, 0,uxx l (2)
边界条件






 
,0,0, 0,
0,00
x
ut utl tT
aut




 (3)
附加条件
 

0,d ,0
Tutxttx xl


,
0,

。 (4)
假设(1)~(4)中出现的函数,满足下列条件:
(A)
 
12
0, tt




 


0,tT;
(B)






0, ,bx Cl



,0,
b
bxK xl;
(C)




12
,,0,
T
dtx CQd dtxd,


,T
tx Q;
(D)


12
, 0,, ,
TT
f
CQfftxftxQ;
(E)






 
0, , 00,0xC llx


 




21
0,, 0,
x
xx
 


 l
,
这里 1

,2

,


,2

,2const 0f

,
11
,,,,
f

 12
,const 0d,
b
Kd

,
*基金项目:湖南省教育厅科研基金资助项目(09C852);湖南省科学
技术厅科技计划资助项目(2011FJ6029)。
肖翠娥 等抛物型方程的反系数问题研究145
|
dd
此外,设
 
00
,,
Tx
F
xTftyty t



***
,
,
maxK






10,
inf ,
xl


,
F
TF




0,
sup, ,
xl
xT

2
F
TFxT

 




0,:0 ,MaxClax

 




12 1
,0,:0MaxCl

2
ax


 

。
2. 正问题弱解的存在性与唯一性
定理 1 设

1
ax M

,若条件(B)~(D)满足,
则正问题(1)~(4)存在唯一广义解 ,
且存在正数 M,使得:

1,1, 2
pT
uW Qp



22
0, ,0,T
CTLl LQ
uCfM

s
成立。 (5)
证明:正问题存在性与唯一性证明可参见[8,9]。下证
有界性估计。
只证明有充分大的正下界 情形,否则作变换
,其中,r充分大.

,dtx
v
1
d
rt
ue
方程(1)左右两边乘以并且从 0到t(这里
),以及 0到l积分,

,utx
0tT






00
00
d, dd
dd
tl
tx
xx
tl
uaxubxusxuux
fu x s




分部积分可得:
 

2
2
00000
(, )
2
00 00
ddd
2
d,dddd
ltltl
xx
tx
tl tl
udd
x
axuxsbxuu xs
sxu xsfuxs


 
 
由Young 不等式及条件(B)

2
22
1
0000 00
1
dd dddd,
22
tltl tl
b
xx
K
bxuuxsu xsu xs




从而

2
22
1
0000 00
1
dddd dd
22
tltl tl
b
xx
K
bxuu xsuxsuxs


 
 。
由已知条件,方程左边有
 

22
00000
(, )
2
00
22
1
000
(, )
22
100
1
ddd
2
d,dd
ddd
22
()dd
2
ltltl
xx
tx
tl
ltl
x
tx
tl
b
udd
x
axuxsbxuu xs
txu xs
uxuxs
K
duxs










。
而方程右边有
22
1
000000
dddd dd,
2
tl Tltl
d
f
uxsCfxsuxs

因此,
22
1
000
(, )
2
22
1
00 00
1
ddd
22
dd dd
22
ltl
x
tx
Tl tl
b
uxuxs
Kd
Cfxs ux








 s
。
从而,由 Gronwall 不等式可得


22
000
2
00
,d dd
dd, 0,
ltl
x
tl
utxx uxs
uxsM tT




。 (6)
定理证毕。
3. 反系数问题解的存在性
我们的目标是寻找未知函数 ,假设

ax




ax M

是任意的,在方程(1 )左右两边乘以


t

并且从 0到T以及 0到x积分,









00
00
,d
,dd
Tx
ty y
y
Tx
uayubyu dtyuty
ftyt yt






dt
结合(2)~(4)、条件(E),我们有
    
00 00
1dd, dd,
Tx Tx
t
axutytdtytuyt bxxFxT
x



 



 
从而
   
00 000
1dd,dd( , )d,
Tx Txx
axutytdtytuyt bxxTuTyyFxT
x


 


 
 

 

。 (7)
在集

12
,M


上,引进算子





12
:, 0,BMCl


  
00 000
1
:dd,dd (,)d
Tx Txx
Bautytdtytuyt bxxTuTyyFxT
x


 


 
 

 ,,

(8)
Copyright © 2011 Hanspub PM
肖翠娥 等抛物型方程的反系数问题研究
146 |
这里


,utx是正问题(1)~(4)与系数 相对应的解。

ax
因此,关系式(7)可改写成算子方程

aBa。 (9)
定理 2 若条件(A)~(E)满足,则





,,utx ax

是问题
(1)~(4 )的广义解,当且仅当




,,utx ax满足关系
式(1)~(4),(9)。
证明:必要性在(9)关系式导出过程中已证。下证充分
性:
令





12
,ax M


是方程(9)的解, 是相应于


,utx


ax
正问题(1)~(4)的解,设





0,d, 0,
T,
x
utxtt xl



则








 

 
00 000
dd,dd, d,
Tx Txx
axutytdtytuyt bxxTuTyyFxT
 
 

 
 
 
 。 (10)
另一方面,



ax满足(9),考虑算子 B的定义,则有








 

 
00 000
dd,dd, d,
Tx Txx
BaxaxutytdtytuytbxxTuTyyFxT
 
 
 

 
 
 。 (11)
上面两式相减,在


0,l上有







.
bx
ax



 

0
因为, ,从而可推出在


 
0



0,l上




。
因此,





,,utx ax

是问题(1)~(4)的广义解,定理证
毕。
定理 3 若条件(A)~(E)成立,且假设
 


1
*22
12
0b
1
22
F
TKTlM KdlM





,
则一定存在正数 ,使得。
12
,aa

12
0aBaa 
证明:根据(8)式,我们有
 
 
 
00
00
0
() dd
,dd
,d,
Tx
Tx
x
xBa xutyt
dtytuyt bxx
TuTyyFxT










。
(12)
利用已知条件(A)~(E)有






1
12
2
222 00
1
12
*2
2
22
0
dd
,d ,
Tx
x
b
x
BaxTlKdu yt
KluTyyFT





 


从而有
  





1
12
2
2
122
00
1
12
*2
2
22
0
dd
,d
Tx
x
b
BaxTlKdu yt
KluTyyFT




 


。
利用估计式(6),进一步可得
 



*
12
11
22
22 2
b
BaF TK
TlMK dlM





,
取
 


2
11
1*
22
1222 2b
a
F TKTlMKdlM

 






,
有


11
Ba a
2


,
从而


2
Baa

。 (13)
类似(12)的推导,利用已知条件,由(12)可得
 





1
12
*2
2
222
00
1
12
*2
2
21
0
dd
,d,
Tx
x
b
BaxTldu yt
K
luTxyFT


 
 


从而







*
21
11
22
22 2
b
Ba FT K
TlMK dlM





(14)
取
 


1
11
1*
22
21222b
a
F TKTlMKdlM

 






,
由(14)及定理假设,有


10Ba a。 (15)
定理证毕。
定
理4 若条件(B)~(C)成立,则算子
B:






12
,0,
M
aaC l
 
12
是连续映射。
证明 令,其相应的广义解
为ut 。
 
12
,axaxMaa



12
,, ,xutx
 
12
,

,

令 ,
,则
  
,,vtxutx utx





12
axax ax




0,0, 0,vxxl ,
Copyright © 2011 Hanspub PM
肖翠娥 等抛物型方程的反系数问题研究147
|
















121 122
12
12
,0,
xx
tx
x
uuaxuaxu
bx uu
dtx uu



即










1
2
,
tx
x
x
x
x
vaxv bxv
dtxvaxu


。
上式两边积分可得











1
00
2
00
,d
dd
tl
sx x
x
tl
xx
vaxv bxvdsxvvx
axuvxs




ds
。
再分部积分后,有
 






212
,
000
2
00
00
2
00
|d dd
2
,dd
dd
dd
ltl
x
tx
tl
tl
x
tl
xx
v
x
axvxs
dsxvxs
bxvv xs
axuv xs








。 (16)
由Young 不等式及条件(B)

2
1
00 00
22
00
1
dd dd
2
dd
2
tl tl
xx
tl
b
a
bxvv xtvxt
Kvxt
a


 

(17)
结合条件(C),并利用(17),则(16)左边满足不等式:
 

 

212
,
000
2
00 00
22
1
,
000
22
100
1
|d dd
2
,dddd
|ddd
22
dd
2
ltl
x
tx
tl tl
x
ltl
x
tx
tl
b
vxaxvxs
dsxv xsbxvv xs
a
vxvxs
K
dvxs
a








 


。
而(16)右边满足不等式:














22
00 00
2
2
00
2
1
00
2
22
00
0,
dd dd
dd
dd
4
dd
tl tl
xx xx
Tl
x
tl
x
Tl
x
Cl
axu v xsaxu vxs
Caxuxt
avxs
Caxu xt




 



2
1
00
dd
4
tl
x
avxs
。
因此





22
1
,
000
22
100
1
2
22
00
(0, )
|d dd
24
dd
2
dd
ltl
x
xt
tl
b
Tl
x
Cl
a
vxvxt
K
dvxt
a
Caxu xt









(18)
再根据算子 B的定义,







 


 



 
1 21212
00 00
(1) (2)
0
12 (1) (2)22
00000 0
1dd ,dd
+,,d
dd,,ddd,d
Tx Tx
x
Tx xTx
BaBau utytdtxtu uyt
x
TuTyuTyy
CuuytuTyuTyyCvytvTy




 




 


 

 xy







。
结合式(18),Gronwall 不等式以及



0,0, 0,vxxl
可知:
当
 


12
0, 0
Cl
aa时,
有






0,
12 0
Cl
Ba Ba。
定理证毕。
定理 5 若条件(A)~(E)成立,则存在



12
,,ax Maa
使得 。

Ba a
证明:假设, 为
 
12
,ax Maa

,utx


ax所对应
的正问题的解。由前面讨论知



1,1
,
p
T
uxt WQ,又
因为 ,由嵌入定理[10]可知 2p
 
0, 2
,, 0<
T
utx CQp


1

 。
由定理 2~定理4, 是到自
身的连续映射。又因为 紧嵌入到

12 12
:, ,BMaa Maa

0, T
CQ




T
CQ ,由
B算子的定义可知 B是由


12
,
M
aa 映到自身的全连续
算子。从而由 Schauder不动点定理可知则存在




12
,axMaa,使得


Ba a。
定理证毕。
Copyright © 2011 Hanspub PM
肖翠娥 等抛物型方程的反系数问题研究
148 |
参考文献 (References)
[1] V. L. Kamynin, A. B. Kostin. Two inverse problems of finding a
coefficient in a parabolic equation. Differential Equations, 2010,
46(3): 375-386.
[2] V. L. kamynin. On the inverse of determining the leading coeffi-
cient in parabolic equations. Matematicheskie Zimetki, 2008,
84(1): 48-58.
[3] Z.-C. Deng, L. Yang, J.-N. Yu, and G.-W. Luo. Identifying the
radiative coefficient of an evolutional type heat conduction
equation by optimization method. Journal of Mathematical
Analysis and Applications, 2010, 362 (1): 210-223.
[4] A. I. Prilepko, D. S. Tkachenko. Well-posedness of the inverse
source problem for parabolic systems. Differential Equations,
2004, 40(11): 1619-1626.
[5] Z. H. Liu. Identification of parameters in semilinear parabolic
equations. Acta Mathemat ic a Scientia, 1999, 19(2): 175-180.
[6] A. G. Fatullayev, S. Cula. An iterative procedure for determining
an unknown spacewise-dependent coefficient in a parabolic
equation. Applied Mathematics Letters, 2009, 22(7): 1033-1037.
[7] W. H. Yu. Inverse problems in partial differential equations.
Tianjin: Nankai Univer s i t y, 1989.
[8] 王术. Sobolev空间与偏微分方程引论[M]. 北京: 科学出版社,
2009: 210-214.
[9] 伍卓群, 尹景学, 王春朋. 椭圆与抛物型方程引论[M]. 北京:
科学出版社, 2003.
[10] E. Zeidler. Nonlinear functional analysis and its applications II
A/B. New York: Springer, 1990.
Copyright © 2011 Hanspub PM

版权所有:汉斯出版社 (Hans Publishers) Copyright © 2012 Hans Publishers Inc. All rights reserved.