APP下载

关于分数阶扩散方程的系数反问题

2015-08-01严春梅

关键词:阶数算子导数

张 维,严春梅,文 进

(成都理工大学 管理科学学院,四川 成都 610059)

0 引 言

Ω 是Rn上的一个有界域,n ≥1,并且具有光滑的边界Ω.考虑如下初边值问题,

其中,Γ 为Gamma 函数,满足,

如果α >0,则满足ℓ-1 <α <ℓ,ℓ ∈N.当α= 1,2 时,此算子相当于抛物线和双曲线方程.

式(1)是非均匀介质中的反常扩散模型,可以由连续时间随机游动得到.有研究认为,分数阶扩散方程是不常用的,它包括了分数阶扩散方程的一个参数阶α.显然,它违反了高斯在实验中的普遍情况,不遵循高斯预测[1].文献[2- 5]对初边值问题(1)~(3)也有所研究,例如,在p ∈C(Ω—)和p ≤0 在Ω 上的条件下,有如下结论:

1)当0 <α <1 时,如果a ∈H2(Ω)∩(Ω),方 程 存 在 唯 一 解,u ∈ C([0,∞);H2(Ω) ∩(Ω)).此外u ∈C([0,∞);L2(Ω)).

2)当1 <α <2 时,如果a ∈H2(Ω)∩(Ω),方程存在唯一解,u ∈C([0,∞);H2(Ω)∩(Ω)∩C1([0,∞);L2(Ω)).此 外,u ∈C([0,∞);L2(Ω)).

固定a ∈H2(Ω)∩(Ω),由u(p,α)= u(p,α)(x,t)表示为式(1)~(3)的解.所给系数p 的初边值问题称为正问题.实践中,系数p 和分数阶导数的阶α 经常是未知的,必须通过解的可用数据来确定.这就是一个系数反问题.

对于当α = 1,2 时的系数反问题,即双曲线和抛物线类型的偏微分方程,可利用由Bukhgeim 和Klibanov 创建的方法[6],其方法是求解偏微分方程反问题的常用方法,其基于Carleman 估计的加权L2-估计.然而,对于分数导数,αN 并不适合分部积分法的一般步骤,所以对于分数阶扩散方程(1),不能直接证明Carleman 估计.当α = 1/2,1/3时,在一维的情况下,可以减少偏微分方程(1)中导数x,t 是自然数的阶数,建立Carleman 估计.Cheng[7]证明了在一般情况下,当α = 1/2 时的Carleman 估计,但是对于一般的α,Carleman 估计的证明仍然是很难的.因此,除α = 1/2 时或其他特殊的α 值以外,即使在一维情况下,系数反问题都没有结果.

本研究的目的是通过数据u |w×(0,T)(T >0,w⊂Ω 是恰当的子域)来证明式(1)中系数反问题,p(x),x ∈Ω 和α ∈(0,1)∪(1,2),的唯一性.所提供的数据,u|w×(0,T)不仅能够确定p(x),还能确定阶数α.

1 符号与引理

对于任意给的常数M >0,光滑函数η,有,

引理1 如果A 随着增长阶,‖Cos(s)‖ℓ(x)≤Meθs,s ≥0,生成一个余弦算子函数Cos,对于分数阶扩散问题,α

t φ(t)= Aφ(t),t >0,φ(0)= a,α∈(0,2),是适定的,其解算子满足增长阶‖Sα(t)‖ℓ(X)≤Mαeθ2/αt,t ≥0,表达式为,

这里的内核Kα定义是依赖以下的Wright 函数Φγ,

引理2 α ∈(0,2),f(t),t ≥0 是在Banach 空间X 中的函数且满足,‖f(t)‖≤Meθt,t ≥0.f 随着式(8)定义的核Kα转换,定义为,

引理3[9]如果0 <α <2,β 是任意的常数,μ是任意的实数,满足则对于任意的p ≥1,有以下展开式,

2 定理与证明

定理1 α,β ∈(0,1)∪(1,2),假定式(5)、(6)成立,且p,q ∈UM.

1)如果在w ×(0,T)中,u(p,α)= u(q,α),则在Ω 中,p = q.

2)假设a ≤0,或者a ≥0,或者a ≠0.如果在w ×(0,T)中,有u(p,α)= u(q,β),则在Ω 中,有α= β 且p = q.

证明 令w = w(p)是以下方程的解:

由式(5)和p ∈W1,∞(Ω),可以得到,

由引理1,当x ∈Ω 且t >0 时得,

假设,

由解t 的解析性[10],可得,

因此,

对任意的x ∈w,由引理2 得,

由式(13)和p,q ∈W1,∞(Ω),在Ω 中可以得到p = q.因此定理1 的第一部分得到证明.

假设在w × (0,T)中,u(p,α)= u(q,β).由解t 的解析性可得,

因 为,p ∈ W1,∞(Ω), 通 过(Apu)(x) =-△u(x)- p(x)u(x)和D(Ap)= H2(Ω)∩(Ω),定义一个算子,Ap∈L2(Ω).设{λk}k∈N和{μk}k∈N是算子Ap和Aq所有特征值的集.注意λk,μk>0,且从L2(Ω)到 它 自 身 是 有 界 的.则,{φkj}1≤j≤mk和{Ψkj}1≤j≤nk,k ∈N 是Ker(Ap- λk)和Ker(Aq- μk)的标准正交基,每一个{φkj}k∈N,1≤j≤mk和{Ψkj}1≤j≤nk在L2(Ω)中都是标准正交基.(·,·)是L2(Ω)中的内积.则有,

u(p,α)(x,t)

和,

由式(5)知级数在C([0,∞);H2(Ω)∩(Ω))中是收敛的.

由引理3,当t →∞时可得,

和,

其中,Γ(1-α)≠0,且-1 <1-α <1,1-α ≠0.

此外,在Ω 中易得,

和,

由式(14),当t →∞时有,

| (A-1pa)(x)| =| b(x)| >0,x ∈Ω.

同理,对于x ∈Ω,有| (A-1qa)(x)| >0.固定,和且cp≠0,cq≠0.由式(15),当t →∞时得,

若α ≠β,不失一般性,假设α <β,等式两边同乘以tα得,

当t →∞时,由tα-β,tα-2β→0 可得cp= 0,矛盾.因此,α = β.由此,定理1 第二部分的证明简化为第一部分的证明,即定理得证.

3 结 论

本研究考虑分数阶扩散方程系数反问题,讨论了空间系数p(x),x ∈Ω 的反问题并通过数据u|ω×(0,T)确定分数阶导数的阶数α,并证明了p(x),x∈Ω 和α ∈(0,1)∪(1,2)的唯一性.

[1]Metzler R,Klafter J.The random walk's guide to anomalous diffusion:a fractional dynamics approach[J].Phys Rep,2000,339(1):1-77.

[2]Li Z.Non-symmetric linear diffusion equation with multiple time-fractional derivatives[D].Tokyo:The University of Tokyo,2013.

[3]Luchko Y.Maximum principle for the generalized time-fractional diffusion equation[J].Math Anal Appl,2009,351(1):218-223.

[4]Luchko Y.Some uniqueness and existence results for the initial-boundary-value problems for the generalized time-fractional diffusion equation[J].Comput Math Appl,2010,59(5):1766-1772.

[5]Sakamoto K,Yamamoto M.Initial value/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems[J].Math Anal Appl,2011,382(1):426-447.

[6]Bukhgeim A L,Klibanov M V.Global uniqueness of a class of multidimensional inverse problems[J].Sov Math Dokl,1981,24(2):244-247.

[7]Cheng J,Lin C,Nakamura G.Unique continuation property for the anomalous diffusion and itsapplication[J].Differ Eqns,2013,254(9):3715-3728.

[8]Bazhlekova E.Fractional evolution equations in Banach space[D].Enghoven:Technische Universiteit Eindhoven,2001.

[9]Podlubny I.Fractional differential equations[M].San Diego,CA:Academic Press,1999.

[10]Sakamoto K,Yamamoto M.Initial vale/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems[J].Math Anal Appl,2011,382(1):426-447.

猜你喜欢

阶数算子导数
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
一类截断Hankel算子的复对称性
解导数题的几种构造妙招
拟微分算子在Hp(ω)上的有界性
确定有限级数解的阶数上界的一种n阶展开方法
Heisenberg群上与Schrödinger算子相关的Riesz变换在Hardy空间上的有界性
一个含有五项的分数阶混沌系统的动力学分析
复变函数中孤立奇点的判别
关于导数解法
导数在圆锥曲线中的应用