求解时空分数阶扩散方程反源问题的数值方法

A Numerical Method for Solving the Inverse Source Problem of the Space-Time Fractional Diffusion Equation

摘要: 在本文中，主要研究一类时空分数阶扩散方程只与空间变量有关的反源问题，通过分析该反源问题的不适定性，将求解反源问题转化求解第一类Fredlom积分方程，应用经典的Tikhonov正则化方法得到了正则解的存在性，并证明正则解在后验正则化参数选择规则下的收敛估计。

Abstract: In this paper, we mainly study the inverse source problem of a class of space-time fractional diffusion equations which are only related to spatial variables. By analyzing the ill-posedness of the inverse source problem, we transform the solution of the inverse source problem into the solution of the first Fredlom integral equation. The existence of the regular solution is obtained by using the classical Tikhonov regularization method, and the convergence estimation of the regular solution is proved under the posterior regularization parameter selection rule.

1. 引言

在本文中，我们研究如下时空分数阶扩散方程中只与空间变量有关的反源问题：

$\{\begin{array}{l}{\partial }_{0+}^{\alpha }u\left(x,t\right)=-{\left(-\Delta \right)}^{\frac{\beta }{2}}u\left(x,t\right)+f\left(x\right)p\left(t\right),x\in \Omega ,t\in \left(0,T\right],\\ u\left(x,0\right)=\varphi \left(x\right),x\in \Omega ,\\ u\left(x,t\right)=0,x\in \partial \Omega ,t\in \left(0,T\right]\end{array}$ (1.1)

其中 ${\partial }_{0+}^{\alpha }$ 是 $\alpha$ 阶左侧Caputo分数阶导数：

${\partial }_{0+}^{\alpha }u\left(x,t\right)=\frac{1}{\Gamma \left(1-\alpha \right)}{\displaystyle {\int }_0^t\frac{u_t\left(x,\tau \right)}{{\left(t-\tau \right)}^{\alpha }}\text{d}\tau },0<\alpha <1,$

${\left(-\Delta \right)}^{\frac{\beta }{2}}$ 是 $\beta$ 阶空间分数阶拉普拉斯算子，其定义如下：

假定 $-\Delta$ 在 $\Omega$ 中具有其次Dirichlet边界条件的特征值和特征向量为 $\left\{\overline{{\lambda }_k},{\phi }_k\right\}$，也就是说满足

$-\Delta {\phi }_n=-{\bar{\lambda }}_n{\phi }_n,{{\phi }_n|}_{\partial \Omega }=0.$

令 ${\mathcal{H}}_0^{\beta }\left(\Omega \right):=\left\{u={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n}{\phi }_n:{\Vert u\Vert }_{{\mathcal{H}}_0^{\beta }\left(\Omega \right)}^2={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n^2}{\bar{\lambda }}_n^{\beta }<\infty \right\}$。

故若 $u\in {\mathcal{H}}_0^{\beta }\left(\Omega \right)$，现定义算子 ${\left(-\Delta \right)}^{\frac{\beta }{2}}$ 为： ${\left(-\Delta \right)}^{\frac{\beta }{2}}u={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{a}_n}{\bar{\lambda }}_n^{\beta /2}{\phi }_n$。

将算子 ${\mathcal{H}}_0^{\beta }\left(\Omega \right)$ 映射到 $L_2\left(\Omega \right)$，且具有如下等式：

${\Vert u\Vert }_{{\mathcal{H}}_0^{\beta }\left(\Omega \right)}={\Vert {\left(-\Delta \right)}^{\frac{\beta }{2}}u\Vert }_{L_2\left(\Omega \right)}.$

当源项 $f\left(x\right),p\left(t\right)$ 已知时，可以利用有限元或有限差分法等方法求解问题(1.1)的数值解。本文主要考虑空间源项 $f\left(x\right)$ 的反演，希望通过终点时刻T的观测数据 $u\left(x,T\right)=g\left(x\right)$ 来反演空间源项 $f\left(x\right)$。一般情况下，观察数据带有误差，记为 $g^{\delta }\left(x\right)$，满足

$\Vert g^{\delta }\left(x\right)-g\left(x\right)\Vert \le \delta$, (1.2)

其中 $\delta$ 为观测数据噪声水平。

对于方程(1.1)这类时间–空间分数阶扩散方程，其通常被应用于流变学、高分子材料学、生物物理学等领域 [1] [2]，由此引起了很多学者的关注，并且对其做了大量研究，故而该方程也有重要的研究意义。对其反源问题的相关研究主要有，Wei和Li [3] 给出了该方程的正问题的解，与此同时，他们采取将边界元方法与广义Tikhonov正则化方法相结合，对随时间变化的源项进行识别。Tatar [4] [5] [6] 等人考虑了方程中时间–空间分数阶导数的阶数的识别。在本文中，我们关注空间源项 $f\left(x\right)$ 在该方程中的数值重构。采用Tikhonov正则化方法确定空间源项 $f\left(x\right)$。

2. 预备知识

为方便起见，我们给出如下引理：

引理1 对于任意的 ${\lambda }_n$，当满足 ${\lambda }_n\ge {\lambda }_1>0$ 时，存在一个的正常数 $C_1=1-E_{\alpha ,1}\left(-{\lambda }_1{T}^{\alpha }\right)$，其依赖于 $\alpha ,T,{\lambda }_1$，使得下式成立

$\frac{C_1}{T^{\alpha }{\lambda }_n}\le E_{\alpha ,\alpha +1}\left(-{\lambda }_n{T}^{\alpha }\right)\le \frac{1}{T^{\alpha }{\lambda }_n}.$

引理2 对于常数 $q>0,\mu >0,\beta >0,s\ge {\lambda }_1>0$，有

$G\left(s\right)=\frac{\mu s^{1-\frac{q}{2}}}{\mu s^2+\beta }\le \{\begin{array}{ll}{C}_2{\mu }^{\frac{q+2}{4}},\hfill & 0<q<2,\hfill \\ C_3\mu ,\hfill & q\ge 2,\hfill \end{array}$

其中 $C_2=C_2\left(q,\beta \right)>0,C_3=C_3\left(q,\beta ,{\lambda }_1\right)>0$ 独立于s。

3. 反问题的不适定性

记 ${\bar{\lambda }}_n$ 和 ${\phi }_n\left(x\right)\in H^2\left(\Omega \right)\cap H_0^1\left(\Omega \right)$ 为拉布拉斯算子 $-\Delta$ 具有齐次Dirichlet边界条件的特征值和对应的特征向量。根据重数计算，有 $0<{\bar{\lambda }}_1\le {\bar{\lambda }}_2\le \cdots \le {\bar{\lambda }}_n\le \cdots$, $\underset{n\to \infty }{\lim }{\bar{\lambda }}_n=+\infty$，且 ${\left\{{\phi }_n\left(x\right)\right\}}_{n=1}^{\infty }$ 是 $L_2\left(\Omega \right)$ 中的一组标准正交基。

引理3.1 [3] 假设 $\varphi \in {\mathcal{H}}_0^{\beta }\left(\Omega \right),f\in L^2\left(\Omega \right),p\in AC\left[0,T\right]$，(其中AC表示绝对连续)那么问题(1.1)存在唯一弱解 $u\in C\left(\left[0,T\right];L^2\left(\Omega \right)\right)\cap L^2\left(0,T;{\mathcal{H}}_0^{\beta }\left(\Omega \right)\right)$ 使得 ${\partial }_{0+}^{\alpha }u\in C\left(\left[0,T\right];L^2\left(\Omega \right)\right)\cap L^2\left(0,T;L^2\left(\Omega \right)\right)$，且有如下的表达式：

$\begin{array}{l}u\left(x,t\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(\varphi ,{\phi }_n\right)E_{\alpha ,1}}\left(-{\lambda }_n{t}^{\alpha }\right){\phi }_n\left(x\right)\\ +{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(f,{\phi }_n\right)}{\displaystyle {\int }_0^{t}p}\left(\tau \right){\left(t-\tau \right)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-{\lambda }_n{\left(t-\tau \right)}^{\alpha }\right)\text{d}\tau {\phi }_n\left(x\right).\end{array}$ (3.1)

其中 ${\lambda }_n={\bar{\lambda }}_n^{\frac{\beta }{2}}$, $E_{\alpha ,\beta }\left(z\right)$ 为单参的Mittag-Leffler函数，定义为：

$E_{\alpha ,\beta }\left(z\right)={\displaystyle \underset{k=0}{\overset{\infty }{\sum }}\frac{z^k}{\Gamma \left(\alpha k+\beta \right)}},z\in C,\alpha >0,\beta \in R.$

现假定公式(3.1)中， $t=T$ 有

$\begin{array}{l}g\left(x\right)=u\left(x,T\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(\varphi ,{\phi }_n\right)E_{\alpha ,1}}\left(-{\lambda }_n{T}^{\alpha }\right){\phi }_n\left(x\right)\\ +{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(f,{\phi }_n\right)}{\displaystyle {\int }_0^{T}p}\left(\tau \right){\left(T-\tau \right)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-{\lambda }_n{\left(T-\tau \right)}^{\alpha }\right)\text{d}\tau {\phi }_n\left(x\right).\end{array}$ (3.2)

令 $g_1\left(x\right)=g\left(x\right)-{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(\varphi ,{\phi }_n\right)E_{\alpha ,1}}\left(-{\lambda }_n{T}^{\alpha }\right){\phi }_n\left(x\right)$ 和 $Q_n\left(t\right)={\displaystyle {\int }_0^{t}p}\left(\tau \right){\left(t-\tau \right)}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-{\lambda }_n{\left(t-\tau \right)}^{\alpha }\right)\text{d}\tau$。

现给出如下假定 $f_n=\left(f,{\phi }_n\right),g_{1n}=\left(g_1,{\phi }_n\right)$，那么将(3.2)整理后可得

$g_{1n}=f_n{Q}_n\left(T\right).$ (3.3)

为了得到空间源项 $f\left(x\right)$，那么只需解决下述第一类Fredholm积分方程：

$\left(Kf\right)\left(x\right)={\displaystyle {\int }_{\Omega }k}\left(x,\xi \right)f\left(\xi \right)\text{d}\xi =g_1\left(x\right),x\in \Omega ,$ (3.4)

其中内核为 $k\left(x,\xi \right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{Q}_n}\left(T\right){\phi }_n\left(x\right){\phi }_n\left(\xi \right)$。

接下来说明反问题的不适定性。

我们首先证明积分方程(3.3)中的算子K是紧算子，观察上述内核的定义，可得 $k\left(x,\xi \right)=k\left(\xi ,x\right)$，故可知K为自适定算子，现定义算子 $K_N$ 如下

$\left(K_{N}f\right)\left(x\right)=\left(Kf\right)\left(x\right)={\displaystyle {\int }_{\Omega }{\displaystyle \underset{n=1}{\overset{N}{\sum }}{Q}_n}}\left(T\right){\phi }_n\left(x\right){\phi }_n\left(\xi \right)f\left(\xi \right)\text{d}\xi =g_1\left(x\right),x\in \Omega .$ (3.5)

根据引理1，有以下结论

$Q_n\left(T\right)\le {\Vert p\Vert }_{C\left[0,T\right]}{\displaystyle {\int }_0^T{\left(T-\tau \right)}^{\alpha -1}}{E}_{\alpha ,\alpha }\left(-{\lambda }_n{\left(T-\tau \right)}^{\alpha }\right)\text{d}\tau \le \frac{{\Vert p\Vert }_{C\left[0,T\right]}}{{\lambda }_n}.$ (3.6)

结合(3.4)~(3.6)式有

$\Vert K_{N}f-Kf\Vert ={\displaystyle \underset{n=N+1}{\overset{\infty }{\sum }}{Q}_n^2}\left(T\right)f_n^2\left(x\right)\le \frac{{\Vert p\Vert }_{C\left[0,T\right]}^2}{{\lambda }_n^2}{\displaystyle \underset{n=N+1}{\overset{\infty }{\sum }}{f}_n^2}\left(x\right).$

则说明

${\Vert K_{N}f-Kf\Vert }_{L^2\left(\Omega \right)}\le \frac{{\Vert p\Vert }_{C\left[0,T\right]}}{{\lambda }_n}{\Vert f\Vert }_{L^2\left(\Omega \right)}.$

因此，当 $N\to \infty$ 时，在空间 $L\left(L^2\left(\Omega \right),L^2\left(\Omega \right)\right)$ 中， $\Vert K_{N}f-Kf\Vert \to 0$ 也就是说，K是一个紧算子。那么线性自适定紧算子K的奇异值为 ${\psi }_k={\displaystyle {\int }_0^T{\left(T-\tau \right)}^{\alpha -1}}{E}_{\alpha ,\alpha }\left(-{\lambda }_k{\left(T-\tau \right)}^{\alpha }\right)\text{d}\tau =Q_k\left(T\right)$，其相关特征函数为 ${\varphi }_k$, ${\varphi }_k$ 为 $L^2\left(\Omega \right)$ 一组标准基。

综上所述，根据参考文献 [7]，可知该方程的反项问题为不适定问题，即积分方程(3.3)式是不适定的。但是当 $f\left(x\right)$ 满足一定条件时， $f\left(x\right)$ 是稳定的，现给出源项 $f\left(x\right)$ 的条件稳定性。

定理3.1 假定 $p\left(t\right)\in C\left[0,T\right]$，且满足 $p\left(t\right)\ge p_0>0,t\in \left[0,T\right]$，与此同时 $f\left(x\right)\in {\mathcal{H}}_0^{\beta q}\left(\Omega \right)$ 满足下述先验条件：

${\Vert f\Vert }_{{\mathcal{H}}_0^{\beta }\left(\Omega \right)}\le E,q>0,$ (3.7)

那么有下式成立

$\Vert f\Vert \le C_4{E}^{\frac{2}{q+2}}{\Vert g\Vert }^{\frac{q}{q+2}},q>0,$ (3.8)

其中 $C_4={\left(p_0{C}_1\right)}^{-\frac{q}{q+2}}$ 是一个取决于 $\alpha ,T,q,{\lambda }_1,p_0$ 的常数。

证明 根据(3.3)式和Hölder不等式，有

${\Vert f\Vert }^2={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{g_{1n}^2}{Q_n^2\left(T\right)}}\le {\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{g_{1n}^2}{Q_n^{q+2}\left(T\right)}}\right)}^{\frac{2}{q+2}}{\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{g}_{1n}^2}\right)}^{\frac{q}{q+2}}.$ (3.9)

对于 $Q_n\left(T\right)$ 进行放缩有

$Q_n\left(T\right)\ge p_0{\displaystyle {\int }_0^T{\left(T-\tau \right)}^{\alpha -1}}{E}_{\alpha ,\alpha }\left(-{\lambda }_n{\left(T-\tau \right)}^{\alpha }\right)\text{d}\tau =p_0{T}^{\alpha }{E}_{\alpha ,\alpha +1}\left(-{\lambda }_n{T}^{\alpha }\right).$ (3.10)

应用引理1和(3.9)式，可得

${\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{g_{1n}^2}{Q_n^{q+2}\left(T\right)}}\le {\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{f_n^2}{{\left(p_0{T}^{\alpha }{E}_{\alpha ,\alpha +1}\left(-{\lambda }_n{T}^{\alpha }\right)\right)}^q}\le {\Vert f\Vert }_{{\mathcal{H}}_0^{\beta q}\left(\Omega \right)}^2{\left(p_0{C}_1\right)}^{-q}.}$ (3.11)

结合(3.9)~(3.11)式，可得

${\Vert f\Vert }^2\le {\left(p_0{C}_1\right)}^{-\frac{2q}{q+2}}{\Vert f\Vert }_{{\mathcal{H}}_0^{\beta q}\left(\Omega \right)}^{\frac{4}{q+2}}{\Vert g\Vert }^{\frac{2q}{q+2}}.$ (3.12)

证明完成。

4. 基于Tikhonov正则化方法的正则解及其收敛估计

现我们用Tikhonov正则化方法(可参见文献 [7] )去解决积分方程(3.4)式为如下形式：

${\min }_{f\in L^2\left(\Omega \right)}{\Vert Kf-g_1\Vert }^2+\mu {\Vert f\Vert }^2,$ (4.1)

其中 $\mu >0$ 是一个正则化参数。根据上一节可知紧线性算子K，有奇异系统 $\left({\sigma }_n;{\Psi }_n\left(x\right),{\phi }_n\right)$，故有

$f_{\mu }\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{Q_n\left(T\right)}{Q_n{\left(T\right)}^2+\mu }}\left(g_1,{\phi }_n\right){\phi }_n\left(x\right).$ (4.2)

此外， $g_1^{\delta }=g^{\delta }-{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(\varphi ,{\phi }_n\right)E_{\alpha ,1}}\left(-{\lambda }_n{T}^{\alpha }\right){\phi }_n\left(x\right)$。

因此可得正则化解为：

$f_{\mu }^{\delta }\left(x\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{Q_n\left(T\right)}{Q_n{\left(T\right)}^2+\mu }}\left(g_1^{\delta },{\phi }_n\right){\phi }_n\left(x\right).$ (4.3)

现我们采取后验正则化参数选择规则(即Morozov偏差原则)，对(4.3)式中的正则化参数进行选择。基于定理3.1中的条件稳定(3.7)式，可得正则解的收敛估计。

首先，我们给出一个正交算子 $F:L^2\left(\Omega \right)\to \overline{R\left(K\right)}$。根据噪声估计(1.2)式，有

$\Vert F{g}_1^{\delta }-F{g}_1\Vert \le \Vert g_1^{\delta }-g_1\Vert =\Vert g^{\delta }-g\Vert \le \delta ,$ (4.4)

通过Morozov偏差原则找到 $\mu$ 使得

$\Vert K_1{f}_{\mu }^{\delta }-F{g}_1^{\delta }\Vert =\tau \delta ,$ (4.5)

其中 $\tau >1$ 是一个常数。

根据下述引理，可知当 $\Vert F{g}_1^{\delta }\Vert >\tau \delta$ 成立时，公式(4.5)中的 $\mu$ 唯一存在。

引理4.1 假定 $\rho \left(\mu \right)=\Vert K_1{f}_{\mu }^{\delta }-F{g}_1^{\delta }\Vert$，那么下列结论成立：

1) $\rho \left(\mu \right)$ 是一个连续函数；

2) $\underset{\mu \to 0}{\lim }\rho \left(\mu \right)=0$ ；

3) $\underset{\mu \to +\infty }{\lim }\rho \left(\mu \right)=\Vert F{g}_1^{\delta }\Vert$ ；

4) 在 $\left(0,\infty \right)$ 上， $\rho \left(\mu \right)$ 为严格单调递增函数。

定理4.1 假定 $p\left(t\right)\in C\left[0,T\right]$, $p\left(t\right)\ge p_0>0$, $\forall t\in \left[0,T\right]$。且先验条件(3.7)式和噪声估计(1.2)式成立，则存在一个 $\tau >1$ 使得 $\Vert F{g}_1^{\delta }\Vert >\tau \delta >0$。此外，正则化参数 $\mu >0$ 通过Morozov偏差原则(4.5)式选取。那么

1) 若 $0<q<2$，有

$\Vert f_{\mu }^{\delta }-f\Vert \le C_5{E}^{\frac{2}{q+2}}{\delta }^{\frac{q}{q+2}}.$ (4.6)

2) 若 $q\ge 2$，有

$\Vert f_{\mu }^{\delta }-f\Vert \le C_6{E}^{\frac{1}{2}}{\delta }^{\frac{1}{2}},$ (4.7)

其中 $C_9=C_9\left(q,T,\alpha ,\tau \right)$, $C_{10}=C_{10}\left(q,T,\alpha ,\tau \right)$ 是正数。

证明 通过三角不等式，有

$\Vert f_{\mu }^{\delta }-f\Vert \le \Vert f_{\mu }^{\delta }-f_{\mu }\Vert +\Vert f_{\mu }-f\Vert .$ (4.8)

首先，对上式右端的第二项进行估计

$\begin{array}{c}K\left(f_{\mu }\left(x\right)-f\left(x\right)\right)={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{g}_{1n}}\frac{-\mu }{Q_n^2\left(T\right)+\mu }{\phi }_n\left(x\right)\\ ={\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\left(g_{1n}-g_{1n}^{\delta }\right)}\frac{-\mu }{Q_n^2\left(T\right)+\mu }{\phi }_n\left(x\right)+{\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{g}_{1n}^{\delta }}\frac{-\mu }{Q_n^2\left(T\right)+\mu }{\phi }_n\left(x\right).\end{array}$ (4.9)

结合(4.4)式和(4.5)式，有

$\Vert K\left(f_{\mu }\left(x\right)-f\left(x\right)\right)\Vert \le \delta +\tau \delta =\left(\tau +1\right)\delta$ (4.10)

此外，通过应用先验条件(3.7)，可得

${\Vert f_{\mu }\left(x\right)-f\left(x\right)\Vert }_{{\mathcal{H}}_0^{\beta q}\left(\Omega \right)}={\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(\frac{g_n}{Q_n\left(T\right)}\frac{-\mu }{Q_n^2\left(T\right)+\mu }{\lambda }_n^{\frac{p}{2}}\right)}^2}\right)}^{\frac{1}{2}}\le {\left({\displaystyle \underset{n=1}{\overset{\infty }{\sum }}{\left(\frac{g_n}{Q_n\left(T\right)}\right)}^2}{\lambda }_n^p\right)}^{\frac{1}{2}}\le E.$ (4.11)

通过定理3.1，有

$\Vert f_{\mu }\left(x\right)-f\left(x\right)\Vert \le C_4{\left(\tau +1\right)}^{\frac{q}{q+2}}{E}^{\frac{2}{q+2}}{\delta }^{\frac{q}{q+2}},\forall q>0.$ (4.12)

现给出(4.8)式右端第一项的估计，有

$\Vert f_{\mu }^{\delta }-f_{\mu }\Vert \le \frac{\delta }{2\sqrt{\mu }}.$ (4.13)

根据(4.5)式，可得

$\begin{array}{l}\tau \delta =\Vert {\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{\mu }{Q_n^2\left(T\right)+\mu }}{g}_{1n}^{\delta }{\phi }_n\left(x\right)\Vert \\ \le \Vert {\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{\mu }{Q_n^2\left(T\right)+\mu }}\left(g_{1n}^{\delta }-g_{1n}\right){\phi }_n\left(x\right)\Vert +\Vert {\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{\mu }{Q_n^2\left(T\right)+\mu }}{g}_{1n}{\phi }_n\left(x\right)\Vert \\ \le \delta +J.\end{array}$ (4.14)

应用先验边界条件(3.7)，有

$J=\Vert {\displaystyle \underset{n=1}{\overset{\infty }{\sum }}\frac{\mu Q_n\left(T\right)}{Q_n^2\left(T\right)+\mu }}\frac{1}{{\lambda }_n^{\frac{q}{2}}}\frac{g_{1n}}{Q_n\left(T\right)}{\lambda }_n^{\frac{q}{2}}{\phi }_n\left(x\right)\Vert \le E\underset{n}{\sup }C\left(n\right).$ (4.15)

结合引理1和(3.6)式有

$C\left(n\right)=\frac{\mu Q_n\left(T\right)}{Q_n^2\left(T\right)+\mu }\frac{1}{{\lambda }_n^{\frac{q}{2}}}\le \frac{\mu \frac{p_1}{{\lambda }_n}}{\frac{C_1{p}_0^2}{{\lambda }_n^2}+\mu }\frac{1}{{\lambda }_n^{\frac{q}{2}}}\le \frac{p_1\mu {\lambda }_n^{1-\frac{q}{2}}}{p_0^2{C}_1+\mu {\lambda }_n^2},$ (4.16)

其中 $p_1={\Vert p\Vert }_{C\left[0,T\right]}$，通过引理2，可得

$C\left(n\right)\le \{\begin{array}{ll}{p}_1{C}_2\left(q,p_0^2{C}_1\right){\mu }^{\frac{2+q}{4}},\hfill & 0<q<2,\hfill \\ p_1{C}_3\left(q,p_0^2{C}_1,{\lambda }_1\right)\mu ,\hfill & q\ge 2.\hfill \end{array}$ (4.17)

将(4.15)式和(4.17)式代入(4.14)式中，得到

$\frac{1}{\mu }\le \{\begin{array}{ll}{\left(\frac{p_1{C}_2}{\tau -1}\right)}^{\frac{4}{q+2}}{\left(\frac{E}{\delta }\right)}^{\frac{4}{q+2}},\hfill & 0<q<2,\hfill \\ \frac{p_1{C}_3}{\tau -1}\frac{E}{\delta },\hfill & q\ge 2.\hfill \end{array}$ (4.18)

将(4.18)式代入(4.13)式中，有

$\Vert f_{\mu }^{\delta }-f\Vert \le \{\begin{array}{ll}{C}_5{E}_1^{\frac{2}{q+2}}{\delta }^{\frac{q}{q+2}},\hfill & 0<q<2,\hfill \\ C_6{E}_1^{\frac{1}{2}}{\delta }^{\frac{1}{2}},\hfill & q\ge 2.\hfill \end{array}$ (4.19)

证明完成。

5. 结论

本文研究了时空分数阶扩散方程只与空间变量有关的源项反问题，说明了该反源问题的不适定性，利用Tikhonov正则化方法求解该不适定性问题，并给出正则解及其收敛估计。