数学物理学报, 2024, 44(4): 859-870

基于混合谱数据的不连续Sturm-Liouville逆谱问题局部可解性和稳定性

郭燕, 徐小川,*

南京信息工程大学数学与统计学院 南京 210044;南京信息工程大学江苏省应用数学中心 南京 210044;南京信息工程大学江苏省系统建模与数据分析国际合作联合实验室 南京 210044

Local Solvability and Stability of the Inverse Spectral Problems for the Discontinuous Sturm-Liouville Problem with the Mixed Given Data

Guo Yan, Xu Xiaochuan,*

School of Mathematics and Statistics, Nanjing University of Information Science and Technology, Nanjing 210044; Center for Applied Mathematics of Jiangsu Province, Nanjing University of Information Science and Technology, Nanjing 210044; Jiangsu International Joint Laboratory on System Modeling and Data Analysis, Nanjing University of Information Science and Technology, Nanjing 210044

通讯作者: *徐小川, E-mail:xcxu@nuist.edu.cn

收稿日期: 2023-06-15   修回日期: 2024-01-15  

基金资助: 国家自然科学基金(11901304)

Received: 2023-06-15   Revised: 2024-01-15  

Fund supported: NSFC(11901304)

摘要

该文研究有限区间(0,1)上具有 Robin 边界条件和不连续点$x=d\in(0,\frac{1}{2}]$ 的 Sturm-Liouville 算子逆谱问题. 假设已知的数据为一组子谱、势函数在 $(d,1)$ 上的信息以及右边界条件和不连续条件中的部分参数, 该文证明恢复 $(0,d)$ 上的势函数和左边界条件参数的逆谱问题局部可解性和稳定性, 其中已知的势函数信息和右边界条件参数允许存在一定的误差.

关键词: Sturm-Liouville 算子; 不连续条件; 局部可解性; 稳定性

Abstract

This paper studies inverse spectral problems for the Sturm-Liouville operator on $(0,1)$ with the Robin boundary conditions and a discontinuity at $x=d\in(0,\frac{1}{2}]$. Suppose that the known data contains one subspectrum, the potential function on $(d,1)$ as well as partial parameters in the right boundary condition and the discontinuous conditions. The paper proves the local solvability and stability for the inverse problems of recovering the potential function on $(0,d)$ and the parameter in left boundary condition, where the known potential and the parameter in the right boundary condition are allowed to contain errors.

Keywords: Sturm-Liouville operator; Discontinuity condition; Local solvability; Stability

PDF (567KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

郭燕, 徐小川. 基于混合谱数据的不连续Sturm-Liouville逆谱问题局部可解性和稳定性[J]. 数学物理学报, 2024, 44(4): 859-870

Guo Yan, Xu Xiaochuan. Local Solvability and Stability of the Inverse Spectral Problems for the Discontinuous Sturm-Liouville Problem with the Mixed Given Data[J]. Acta Mathematica Scientia, 2024, 44(4): 859-870

1 引言

考虑如下具有不连续条件的 Sturm-Liouville 逆谱问题 $L(d,q,h,H,a_1,a_2)$

$-y''(x)+q(x)y(x)=\lambda y(x),\quad 0<x<1,$
$y'(0)-hy(0)=0,\quad y'(1)+Hy(1)=0,$
$y(d+0)=a_1y(d-0),\quad y'(d+0)=a_1^{-1}y'(d-0)+a_2y(d-0),$

其中 $\lambda:=\rho^2$ 为谱参数, 实值势函数 $q\in L^2(0,1)$, 不连续点 $d\in(0,\frac{1}{2}]$, 边界条件和不连续条件系数 $h,H,a_1,a_2\in \mathbb{R}$$a_1>0$.

逆谱问题旨在从算子的谱特征中恢复算子的系数 (包括势函数和一些参数信息), 这类问题近年来引起了学者的广泛关注. 有关连续 Sturm-Liouville 算子逆谱问题的研究已经比较完善[1-11]. 一般地,在唯一性中, Sturm-Liouville 算子可由不同类型的谱数据唯一确定, 如两组谱, 特征值和归一化常数, Weyl 函数等. 特别地, Hochstadt 和 Lieberman[4]研究了连续的半逆问题, 即势函数在一半区间上已知时, 重构另一半区间上的势函数仅需一组谱数据. 当已知的势函数信息更多时, 所需要的谱数据更少, 这类问题通常被称为基于混合谱数据的逆谱问题, 详见文献[3,5,6,10]

与连续情形的逆谱问题相比, 不连续的研究更加复杂. 具有不连续条件的边值问题常出现在数学物理和地球科学以及其他自然科学分支中, 并在科学与工程领域中具有实际应用[2]. 其中, 不连续逆问题通常与不连续的材料性质有关[12], 是由介质外收集的谱信息重建不连续介质的材料特性和介电常数及电导率等的逆问题. 具有内部不连续点的边值问题也出现在地球振动的地球物理模型中[13], 其不连续主要是由地壳底部的横波反射引起的. 此外, 不连续逆问题还可用于研究电子学中构造具有理想技术特性的异质电子线路的参数[14]以及数学物理中非线性发展方程解的爆破行为[2].

目前关于不连续逆谱问题的研究主要关注其唯一性[15-20], 即从算子的谱特征中唯一确定势函数和未知参数. 特别地, Hald[15]首先讨论了有限区间上具有一个不连续条件的 Sturm-Liouville 算子半逆问题的唯一性. Wang[18]利用混合谱数据给出了具有不连续条件的部分逆谱问题的几种唯一性定理. Yang 和 Bondarenko[20]考虑了重构不连续 Hochstadt-Lieberman 问题的可解性. 同年, 他们研究了不连续 Sturm-Liouville 算子逆问题的局部可解性和稳定性[21], 并指出问题 (1.1)-(1.3) 式等价于如下问题 $L=L(d_1,d_2,q_1,q_2,h,H,a_1,a_2)$

$-y''_j(x)+q_j(x)y_j(x)=\lambda y_j(x),\quad x\in(0,d_j),\quad j=1,2$
$y'_1(0)-hy_1(0)=0,\quad y'_2(0)-Hy_2(0)=0,$
$y_2(d_2)=a_1y_1(d_1),\quad y_2'(d_2)+a_1^{-1}y_1'(d_1)+a_2y_1(d_1)=0,$

其中$d_1=d$, $d_2=1-d$, $q_j\in L^2(0,d_j)$, $j=1,2$$q_1(x):=q(x)\big|_{[d_1]}$, $q_2(x):=q(1-x)\big|_{[d_2]}$.

众所周知, 边值问题 $L$ 是自伴的且只有单重的实特征值. 设 $\{\lambda_{n}\}_{n\geq0}$ 为边值问题 $L$ 的特征值. 本文主要研究如下逆问题.

逆问题 1.1 假设 $d=\frac{1}{2}$, 给定特征值 $\{\lambda_{n}\}_{n\geq0}$, 势函数 $q_2$ 和系数 $H, a_1$, 重构 $q_1, h$$a_2$.

文献[22]研究了逆问题 1.1 的唯一性. Yang 和 Bondarenko[21]研究了逆问题 1.1 的局部可解性和稳定性. 所谓局部可解性是指: 对于已知的边值问题 $L(\frac{1}{2},\frac{1}{2},q_1,q_2,h,H,a_1,a_2)$ 及其特征值集$\{\lambda_n\}_{n\ge0}$, 若一组数据$\{\tilde{\lambda}_n\}_{n\ge0}, \tilde{q}_2, a_1, \tilde{H}$ 与边值问题$L$ 中的相应数据误差很小, 则存在一个边值问题 $L(\frac{1}{2},\frac{1}{2},\tilde{q}_1, \tilde{q}_2, \tilde{h},\tilde{H},\tilde{a}_1,a_2)$$\{\tilde{\lambda}_n\}_{n\ge0}$ 为特征值.

文献[21]所考虑的局部可解性和稳定性是在已知的 $q_2$$H$ 不存在任何误差的条件下进行的, 即, $\tilde{q}_2=q_2,\tilde{H}=H$. 注意到, $\tilde{q}_2$$\tilde{H}$ 作为输入的数据应该和特征值一样可能存在误差. 基于此, 本文将在文献[21]的基础上, 在 $\tilde{q}_2$$\tilde{H}$ 可能存在误差的前提下, 进一步刻画逆问题 1.1 的局部可解性和稳定性 (见定理 3.1).

另外, 文献[21]也考虑了不连续点 $d\in(0,\frac{1}{2})$ 的情形, 所以我们也考虑如下逆问题, 并给出其局部可解性和稳定性的定理 (见定理 3.2).

逆问题 1.2 假设 $d\in(0,\frac{1}{2})$, 记集合 $I$ 为非负整数集的子集. 给定 $\{\lambda_{n}\}_{n\in I}, q_2, H, a_1, a_2$$\omega_1:=h+\frac{1}{2}\int_{0}^{d} q_1(x){\rm d}x$, 重构 $q_1$$h$.

2 预备知识

本节做一些准备工作, 介绍一些已知的结论, 特别是求解逆问题的主方程及相关定理.

$\varphi(x,\lambda)$, $\psi(x,\lambda)$ 是方程 (1.4) 分别满足以下初值条件的解

$\varphi(0,\lambda)=1,\quad \varphi'(0,\lambda)=h,\quad \psi(0,\lambda)=1,\quad \psi'(0,\lambda)=H.$

$\lambda=\rho^2$. 由边值问题初值解的变换算子理论[7,8], $\varphi(x,\lambda)$ 具有如下的积分表达式

$\varphi(x,\lambda)=\cos\rho x+\int_0^x K(x,t)\cos \rho t{\rm d}t,\quad 0\le x\le d_1,$

其中 $K(x,t)$ 为核函数, 其一阶偏导数$K_x(x,\cdot),K_t(x,\cdot)\in L^2(0,x)$. 由此可得

${\varphi}(d_1,\lambda)=\cos\rho d_1+\omega_1 \frac{\sin \rho d_1}{\rho}-\int_0^{d_1} K_t(d_1,t)\frac{\sin \rho t}{\rho}{\rm d}t,$
${\varphi}'(d_1,\lambda)=-\rho\sin\rho d_1+\omega_1 \cos \rho d_1+\int_0^{d_1} K_x(d_1,t)\cos \rho t{\rm d}t,$

其中

$\omega_1=K(d_1,d_1)=h+\frac{1}{2}\int_{0}^{d_1} q_1(t){\rm d}t.$

$K_1(t):=K_t(d_1,t)$$K_2(t):=K_x(d_1,t)$, 并且称集合$\{K_1(t), K_2(t),\omega_1\}$ 为关于$q_1$$h$ 的Cauchy 数据. 记$\{{\mu}_{i,n}\}_{n\ge0}$ 分别为${\varphi}^{(i)}(d_1,\lambda)$ 的零点, $i=0,1$. 易知这些零点分别为如下边值问题$L_i(q_1,h)$ 的特征值

$-y''+q_1(x)y=\lambda y,\quad y'(0)-hy(0)=0,\quad y^{(i)}(1)=0,\quad i=0,1.$

由经典 Borg 定理[1]和文献 [21, 引理 5], 可得下列基于 Cauchy 数据重构实值势函数和左边界条件参数的局部可解性和稳定性.

引理 2.1 对任一实值势函数$q_1\in L^2(0,d)$, $h\in \mathbb{R}$, 集合$\{K_1, K_2, \omega_1\}$ 为关于$q_1$$h$ 的Cauchy 数据, 存在$\varepsilon>0$ (仅依赖于$q_1$$h$), 使得对满足如下关系的任意函数${\tilde{K}_1, \tilde{K}_2}$

$\Omega:=\max\left\{\left\|K_1-\tilde{K}_1\right\|_{L^2(0,d)}, \left\|K_2-\tilde{K}_2\right\|_{L^2(0,d)}\right\}\leq \varepsilon,$

则存在唯一的实值$\tilde{q}_1\in L^2(0,d)$$\tilde{h}=\omega_1-\frac{1}{2}\int_{0}^{d} \tilde{q}_1(t){\rm d}t$ 使得集合$\{\tilde{K}_1, \tilde{K}_2, \omega_1\}$ 是关于$\tilde{q}_1$$\tilde{h}$ 的Cauchy 数据, 且有

$\left\|q_1-\tilde{q}_1\right\|_{L^2(0,d)}\leq C\Omega,\quad \left|h-\tilde{h}\right|\leq C\Omega,$

其中常数$C$ 仅依赖于$q_1, h$.

由函数$\tilde{K}_1(t)$$\tilde{K}_2(t)$$\omega_1$ 构造函数

$\tilde{\varphi}_0(\lambda)=\cos\rho d+\omega_1 \frac{\sin \rho d}{\rho}-\int_0^{d} \tilde{K}_1(t)\frac{\sin \rho t}{\rho}{\rm d}t,$
$\tilde{\varphi}_1(\lambda)=-\rho\sin\rho d+\omega_1 \cos \rho d+\int_0^{d} \tilde{K}_2(t)\cos \rho t{\rm d}t.$

$\{\tilde{\mu}_{i,n}\}_{n\ge0}$ 分别为$\tilde{\varphi}_i(\lambda)$ 的零点, $i=0,1$. 运用与文献[21, 引理 5]证明中相同的论述得 (为了方便读者, 我们将该式证明放在附录)

$\bigg(\sum_{n\ge0}\left|\mu_{i,n}-\tilde{\mu}_{i,n}\right|^{2}\bigg)^{\frac{1}{2}}\le C\|K_{i+1}-\tilde{K}_{i+1}\|_{L^2(0,d)},\quad i=0,1.$

因为$\tilde{K}_{i+1}(t)$ 为实值函数, 所以当$\varepsilon$ 充分小时, 函数$\tilde{\varphi}_i(\lambda)$ 的零点$\{\tilde{\mu}_{i,n}\}_{n\ge0}$ 均为实的且简单的. 由 Borg 定理[1] (见文献[2,定理 1.8.1]) 得, 存在唯一的实值$\tilde{q}_1\in L^2(0,d)$$\tilde{h}\in \mathbb{R}$ 使得$\{\tilde{\mu}_{i,n}\}_{n\ge0}$ 为边值问题$L_i(\tilde{q}_1,\tilde{h})$ 的特征值, 并且有(2.3)式成立.

由间断条件 (1.6) 式知, 边值问题$L$ 的特征值$\{\lambda_{n}\}_{n\geq0}$ 对应如下示性函数的零点[21]

$\Delta(\lambda)=a_1\varphi(d_1,\lambda)\psi'(d_2,\lambda)+\frac{1}{a_1}\varphi'(d_1,\lambda)\psi(d_2,\lambda)+a_2\varphi(d_1,\lambda)\psi(d_2,\lambda).$

众所周知, 当$d=1/2$ 时, 边值问题$L$ 的特征值具有如下渐近性[23]

$\rho_n=\sqrt{\lambda_n}=n \pi+\frac{(-1)^n a+b}{n \pi}+\frac{\beta_n}{n},$

其中

$a=\frac{a_2}{a_1+a_1^{-1}}+\frac{a_1-a_1^{-1}}{a_1+a_1^{-1}}\left(\omega_2-\omega_1\right), \quad b=\frac{a_2}{a_1+a_1^{-1}}+\omega_1+\omega_2,\quad \omega_2=H+\frac{1}{2}\int_{0}^{d_2} q_2(t){\rm d}t.$

$d\ne 1/2$ 时, 特征值的渐近性较为复杂, 其首项为两个正弦函数之差的零点[24]. 不失一般性假设$\lambda_{n}<\lambda_{n+1}$, $\lambda_{n}>0$, $n\geq0$. 当方程 (1.1) 的某特征值$\lambda=-a_0$$(a_0>0)$ 时, 利用谱的平移, 方程两边同时增加$b_0$$b_0>a_0$, 使得$\lambda>0$, 可保证特征值都为正数.

引入 Hilbert 空间$\mathcal{H}:=L^2(0,d)\times L^2(0,d)$, 其内积和范数定义如下

$\left(g,w\right)_{\mathcal{H}}=\int_{0}^{d}(g_1(x)w_1(x)+g_2(x)w_2(x)){\rm d}x,\quad \|w\|_{\mathcal{H}}^{2}=\int_{0}^{d}(w_1^{2}(x)+w_2^{2}(x)){\rm d}x,$

其中$g=\left(g_1,g_2\right)^T,w=\left(w_1,w_2\right)^T\in \mathcal{H}$. 将 (2.1) 和 (2.2) 式代入 (2.7) 式中, 可得表达式

$\Delta(\lambda)=(K(\cdot),\nu(\cdot,\lambda))_{\mathcal{H}}-f(\lambda).$

其中

$ K(x):=\left( \begin{matrix} K_{1}(x) \\ K_{2}(x) \\ \end{matrix} \right),\quad \nu(x,\lambda):=\left( \begin{matrix} (a_1\psi'(1-d,\lambda)+a_2\psi(1-d,\lambda))\frac{\sin(\rho x)}{\rho} \\ a_1^{-1}\psi(1-d,\lambda)\cos(\rho x) \\ \end{matrix} \right),$
$\begin{split} f(\lambda)=&-\frac{1}{\rho}(a_1\psi'(1-d,\lambda)+a_2\psi(1-d,\lambda))(\rho\cos(\rho d)+\omega_1\sin(\rho d))\\&+a_1^{-1}\psi(1-d,\lambda)(-\rho\sin(\rho d)+\omega_1\cos(\rho d)).\end{split}$

$\lambda=\lambda_{n}$, 由$\Delta(\lambda_n)=0$

$\left(K,\nu_{n}\right)_{\mathcal{H}}=f_{n},\quad n\geq0,$

其中

$\nu_{n}(x):=\nu(x,\lambda_n),\quad f_n=f(\lambda_n),\quad \quad n\geq0.$

上述 (2.10) 式称为逆问题 1.1 和 1.2 的主方程.

文献[25]中陈述了如下引理, 为了方便读者, 我们将证明放在附录中.

引理 2.2$\{ \nu_n \}_{n\in I}$$\mathcal{H}$ 中的Riesz 基, 其中$I$ 为非负整数集的子集, 则存在$\varepsilon > 0$, 使得满足以下估计的任意序列$\{ \tilde \nu_n \}_{n\in I}$ 也是$\mathcal{H}$ 中的Riesz 基

$\mathcal{V} := \bigg( \sum_{n\in I} \| \nu_n - \tilde \nu_n \|^2_{\mathcal{H}}\bigg)^{1/2}\le \varepsilon.$

进一步, 记$f_n := (K, \nu_n)_\mathcal{H}$, 其中$K\in \mathcal{H}$, 则对任意满足如下估计的序列$\{ \tilde f_n \}_{n\in I}$

$F :=\bigg( \sum_{n\in I} \left|f_n - \tilde f_n\right|^2 \bigg)^{1/2} \le \varepsilon,$

都存在唯一的$\tilde K \in \mathcal{H}$, 使得$\tilde f_n = (\tilde K, \tilde \nu_n)_{\mathcal{H}}$ 成立. 此外,

$\left\| K - \tilde K \right\|_{\mathcal{H}} \le C (\mathcal{V} + F),$

其中常数$C$ 依赖于$\{ \nu_n \}_{n\in I}$$K$.

对于 (2.11) 式所定义的向量函数系$\{\nu_{n}\}_{n\geq0}$ 有如下引理. 该引理已由文献[21]证明, 为了方便读者, 我们将该证明主要思想放在附录.

引理 2.3$d=1/2$ 时, (2.11) 式所定义的向量函数系$\{\nu_{n}\}_{n\geq0}$ 是空间$\mathcal{H}=L^2(0,\frac{1}{2})\times L^2(0,\frac{1}{2})$ 中的Riesz 基.

因此, 当$d=1/2$ 时, (2.11) 式中的$\{f_{n}\}_{n\geq0}$ 为向量函数$K$ 在一组Riesz 基下的坐标, 即

$K(x)=\sum_{n=0}^{\infty}(K,\nu_n)\nu_n^{*}(x)=\sum_{n=0}^{\infty}f_n\nu_n^{*}(x),$

其中$\{\nu_{n}\}_{n\geq0}, \{\nu_{n}^{*}\}_{n\geq0}$ 互为对偶基.

3 主要定理及其证明

本节主要研究逆问题 1.1 和逆问题 1.2 的局部可解性和稳定性. 约定: 当$d=1/2$ 时, $I$ 为非负整数集, 当$d\in(0,1/2)$ 时, $I$ 为非负整数集的真子集. 给定边值问题 $L(d_1,d_2,q_1,q_2,h,H,a_1,$$a_2)$ 及其特征值$\{\lambda_n\}_{n\in I}$. 粗略地说, 本节将证明若数据 $\{\tilde{\lambda}_n\}_{n\in I}, \tilde{q}_2, $$\tilde{H}$ 与给定边值问题$L$ 中的相应数据误差很小, 则存在一个边值问题 $L(d_1,d_2,\tilde{q}_1, \tilde{q}_2, \tilde{h},\tilde{H},a_1,a_2)$$\{\tilde{\lambda}_n\}_{n\in I}$ 为特征值. 本节约定: 若符号$\gamma$ 表示与$L$ 相关的对象, 则$\widetilde{\gamma}$ 为由$\{\tilde{\lambda}_n\}_{n\in I}, \tilde{q}_2, \tilde{H}$ 所重构得到的对应相关对象. 设$\tilde{\lambda}_{n}=\tilde{\rho}_{n}^2$. 记序列$\{\tilde{\lambda}_n\}_{n\in I}$$\{{\lambda}_n\}_{n\in I}$ 的误差为

$\Lambda:=\bigg(\sum_{n\in I}(n+1)^2\left|\rho_n-\tilde{\rho}_n\right|^{2}\bigg)^{\frac{1}{2}},$

数据$\tilde{q}_2$$\tilde{H}$ 与给定的${q}_2$${H}$ 的误差为

$Q:=\left|H-\tilde{H}\right|+\|q_2-\tilde{q}_{2}\|_{L^2(0,d_2)},$

文献[21]所考虑的局部可解性和稳定性中$Q=0$. 本节推广文献[21]的结果, 即证明如下两个定理.

定理 3.1 对任一问题$L=L(\frac{1}{2},\frac{1}{2},q_1,q_2,h,H,a_1,a_2)$, 存在$\varepsilon>0$, 使得对分别满足以下关系的任意序列$\{\tilde{\lambda}_{n}\}_{n\geq0}$, 函数$\tilde{q}_2\in L^2(0,\frac{1}{2})$ 和常数$\tilde{H}\in \mathbb{R}$

$\Lambda\leq\varepsilon,$
$\tilde{H}+\frac{1}{2}\int_{0}^{\frac{1}{2}}\tilde{q}_{2}(t){\rm d}t=H+\frac{1}{2}\int_{0}^{\frac{1}{2}}q_{2}(t){\rm d}t,\quad Q\leq\varepsilon,$

存在唯一的$\tilde{q}_1\in L^2(0,\frac{1}{2})$$\tilde{h}\in \mathbb{R}$, 使得$\{\tilde{\lambda}_{n}\}_{n\geq 0}$ 是问题$\tilde{L}=L(\frac{1}{2},\frac{1}{2},\tilde{q}_1,\tilde{q}_2,\tilde{h},\tilde{H},a_1,a_2)$ 的特征值且

$\left\|q_1-\tilde{q}_1\right\|_{L^2(0,\frac{1}{2})}\leq C(\Lambda+Q),\quad \left|h-\tilde{h}\right|\leq C(\Lambda+Q),$

其中常数$C>0$ 仅依赖于问题$L$.

定理 3.2 假设$d\in (0,\frac{1}{2})$, 对任一问题$L=L(d_1,d_2,q_1,q_2,h,H,a_1,a_2)$, 若其特征值的子序列$\{\lambda_{n}\}_{n\in I}$ 使得由 (2.11) 式构造的向量函数系$\{ \nu_n \}_{n\in I}$$\mathcal{H}$ 中的Riesz 基, 则存在$\varepsilon>0$, 使得下列结论成立对分别满足以下关系的任意序列$\{\tilde{\lambda}_{n}\}_{n\in I}$, 函数$\tilde{q}_2\in L^2(0,d_2)$ 和常数$\tilde{H}\in \mathbb{R}$

$\Lambda\leq\varepsilon,$
$\tilde{H}+\frac{1}{2}\int_{0}^{d_2}\tilde{q}_{2}(t){\rm d}t=H+\frac{1}{2}\int_{0}^{d_2}q_{2}(t){\rm d}t,\quad Q\leq\varepsilon,$

存在唯一的$\tilde{q}_1\in L^2(0,d_1)$$\tilde{h}\in \mathbb{R}$, 使得$\{\tilde{\lambda}_{n}\}_{n\in I}$ 是问题$\tilde{L}=L(d_1,d_2,\tilde{q}_1,\tilde{q}_2,\tilde{h},\tilde{H},a_1,a_2)$ 的特征值且

$\|q_1-\tilde{q}_1\|_{L^2(0,d_1)}\leq C(\Lambda+Q),\quad \left|h-\tilde{h}\right|\leq C(\Lambda+Q),$

其中常数$C>0$ 仅依赖于问题$L$.

注 3.1 定理 3.1 与定理 3.2 主要区别在于: 当$d=1/2$ 时, 由 (2.11) 式构造的向量函数系$\{ \nu_n \}_{n\ge0}$ 自然构成$\mathcal{H}$ 中的Riesz 基; 当$d\in (0,1/2)$ 时, 由 (2.11) 式构造的向量函数系$\{ \nu_n \}_{n\ge0}$ 太多了, 即特征值数据超定了, 需要从中选出一部分, 然而, 如何选取, 一般比较困难, 这依赖于$d$ 的取值, 如, 当$d=1/4$ 时, 可取$I$ 为偶数集[21].

$\tilde{\psi}(x,\lambda)$ 是方程$-y''(x)+\tilde{q}_2(x)y(x)=\lambda y(x)$ 满足下面初值条件的解

$\tilde{\psi}(0,\lambda)=1,\quad \tilde{\psi}'(0,\lambda)=\tilde{H}.$

由变换算子理论可知, 有如下的表达式[7,26]

$\tilde{\psi}(x,\lambda)=\psi(x,\lambda)+\int_0^x T(x,t)\psi(t,\lambda){\rm d}t,\quad \psi(x,\lambda)=\cos\rho x+\int_0^x T_0(x,t)\cos \rho t{\rm d}t,$

其中$T(x,t), T_0(x,t)$ 分别为$(q_2, H)\rightarrow(\tilde{q}_2,\tilde{H})$$(0,0)\rightarrow (q_2,H)$ 的变换算子核函数且

$T(x,x)=\tilde{H}-H+\frac{1}{2}\int_{0}^{x}(\tilde{q}_2(t)-q_2(t)){\rm d}t,\quad T_0(x,x)=H+\frac{1}{2}\int_{0}^{x}q_2(t){\rm d}t.$

根据核函数的相关估计[26], 对$x\in [d_2]$, 可得

$\max_{0\leq t\leq x}\left|T(x,t)\right|\leq CQ,\quad \left\|T_x(x,\cdot)\right\|_{L^2(0,x)}\leq CQ,\quad \left\|T_t(x,\cdot)\right\|_{L^2(0,x)}\leq CQ,$

其中正常数$C$ 依赖于$\|q_2\|_{L^2(0,d_2)}+ |H|+\|\tilde{q}_2\|_{L^2(0,d_2)}+|\tilde{H}|$. 由 (3.1) 式及$Q\le \varepsilon$

$|\tilde{H}|+\|\tilde{q}_2\|_{L^2(0,d_2)}\leq |H|+\|q_2\|_{L^2(0,d_2)}+\varepsilon.$

所以可令$\varepsilon<1$ 使得 (3.10) 式中的常数$C$ 仅依赖于$\|q_2\|_{L^2(0,d_2)}, |H|$. 由 (3.3) 或 (3.6) 式和 (3.9) 式的第一个等式知

$T(d_2,d_2)=0.$

由 (3.8) 式, 分部积分得

$\tilde{\psi}(d_2,\lambda)-\psi(d_2,\lambda)=\frac{1}{\rho}\int_{0}^{d_2}P(t)\sin\rho t{\rm d}t,$
$\tilde{\psi}'(d_2,\lambda)-\psi'(d_2,\lambda)=\int_{0}^{d_2}P_1(t)\cos\rho t{\rm d}t,$

其中

$P(t)=T(d_2,t)T_0(t,t)-T_t(d_2,t)-\int_{t}^{d_2}T(d_2,s)T_{0t}(s,t){\rm d}s,$
$P_1(t)=T_x(d_2,t)+\int_{t}^{d_2}T_x(d_2,s)T_0(s,t){\rm d}s.$

再由 (3.10) 式得$\|P\|_{L^2(0,d_2)}\leq CQ, \|P_1\|_{L^2(0,d_2)}\leq CQ$, 并且

$\left|{\psi}^{(j)}(x,\lambda)\right|\leq C(|\rho|+1)^j{\rm e}^{|\mathrm{Im}\rho|x},\quad \left|\tilde{\psi}^{(j)}(x,\lambda)\right|\leq C(|\rho|+1)^j{\rm e}^{|\mathrm{Im}\rho|x},\quad j=0,1.$

其中常数$C$ 仅依赖于$\|q_2\|_{L^2(0,d_2)}, |H|$.

对于逆问题 1.1 ($d=1/2$), 可基于特征值的渐近估计 (2.8) 和 (2.9) 式, 由已知的数据$q_2, H, a_1$ 来获得$\omega_1$$a_2$. 对于逆问题 1.2 ($d\in(0,1/2)$), $\omega_1$$a_2$ 作为已知数据给出. 回忆 (2.11) 式, 即由$q_2, H, \{\lambda_{n}\}_{n\in I}, a_1, a_2, \omega_1$ 所构造的序列$\{\nu_{n}\}_{n\in I}$$\{f_{n}\}_{n\in I}$. 类似地, 由$\tilde{q}_2, \tilde{H}, \{\tilde{\lambda}_{n}\}_{n\in I}, a_1, a_2, \omega_1$ 来定义序列

$\tilde{\nu}_{n}(x):=\tilde{\nu}(x,\tilde{\lambda}_n),\quad \tilde{f}_n=\tilde{f}(\tilde{\lambda}_n),\quad n\in I,$

其中

$\tilde{\nu}(x,\lambda):=\left( \begin{matrix} (a_1\tilde{\psi}'(d_2,{\lambda})+a_2\tilde{\psi}(d_2,{\lambda}))\frac{\sin({\rho} x)}{{\rho}} \\ a_1^{-1}\tilde{\psi}(d_2,{\lambda})\cos({\rho} x) \\ \end{matrix} \right),$
$\begin{split} \tilde{f}(\lambda)=&-\frac{1}{{\rho}}(a_1\tilde{\psi}'(d_2,{\lambda})+a_2\tilde{\psi}(d_2,{\lambda}))({\rho}\cos({\rho}d)+\omega_1\sin({\rho} d))\\&+a_1^{-1}\tilde{\psi}(d_2,{\lambda})(-{\rho}\sin({\rho} d)+\omega_1\cos({\rho}d)). \end{split}$

引理 3.1 存在$\varepsilon>0$, 使得若 (3.2) 和 (3.3) 式 (或 (3.5) 和 (3.6) 式) 成立, 则

$\bigg(\sum_{n\in I} \left\|\nu_{n}-\tilde{\nu}_n\right\|_{\mathcal{H}}^{2}\bigg)^{\frac{1}{2}}\leq C(\Lambda+Q),$
$\bigg(\sum_{n\in I} \left|f_{n}-\tilde{f}_n\right|^{2}\bigg)^{\frac{1}{2}}\leq C(\Lambda+Q),$

其中常数$C$ 仅依赖于问题$L$.

基于 Schwartz 引理[2], 对$n\geq0, x\in [d_2]$ 可得下面的估计

$\left|\sin(\rho_{n}x)-\sin(\tilde{\rho}_{n}x)\right|\leq C\left|\rho_n-\tilde{\rho}_n\right|,\quad \left|\cos(\rho_{n}x)-\cos(\tilde{\rho}_{n}x)\right|\leq C\left|\rho_n-\tilde{\rho}_n\right|,$
$\left|\tilde{\psi}(d_2,\lambda_n)-\tilde{\psi}(d_2,\tilde{\lambda}_n)\right|\leq C\left|\rho_n-\tilde{\rho}_n\right|,\quad \left|\tilde{\psi}'(d_2,\lambda_n)-\tilde{\psi}'(d_2,\tilde{\lambda}_n)\right|\leq C(n+1)\left|\rho_n-\tilde{\rho}_n\right|.$

由 (3.11), (3.12) 和 (3.20) 式可知

$\begin{split}\left|\psi(d_2,\lambda_n)-\tilde{\psi}(d_2,\tilde{\lambda}_n)\right|&\leq \left|\psi(d_2,\lambda_n)-\tilde{\psi}(d_2,\lambda_n)\right|+\left|\tilde{\psi}(d_2,\lambda_n)-\tilde{\psi}(d_2,\tilde{\lambda}_n)\right|\\& \leq C\left(\frac{\left|\int_{0}^{d_2}P(t)\sin \rho_n t{\rm d}t\right|}{n}+\left|\rho_n-\tilde{\rho}_n\right|\right),\end{split}$
$\begin{split}\left|\psi'(d_2,\lambda_n)-\tilde{\psi}'(d_2,\tilde{\lambda}_n)\right|& \leq \left|\psi'(d_2,\lambda_n)-\tilde{\psi}'(d_2,\lambda_n)\right|+\left|\tilde{\psi}'(d_2,\lambda_n)-\tilde{\psi}'(d_2,\tilde{\lambda}_n)\right|\\ & \leq C\left(\left|\int_{0}^{d_2}P_1(t)\cos \rho_n t{\rm d}t\right|+(n+1)\left|\rho_n-\tilde{\rho}_n\right|\right).\end{split}$

$\nu_{n}-\tilde{\nu}_n=(p_{n,1},p_{n,2})$, 其中

$\begin{split}p_{n,1}=&\ a_1\left(\frac{\sin(\rho_n x)}{\rho_n}\psi'(d_2,\lambda_n)-\frac{\sin(\tilde{\rho}_n x)}{\tilde{\rho}_n}\tilde{\psi}'(d_2,\tilde{\lambda}_n)\right)\\&+a_2\left(\frac{\sin(\rho_n x)}{\rho_n}\psi(d_2,\lambda_n)-\frac{\sin(\tilde{\rho}_n x)}{\tilde{\rho}_n}\tilde{\psi}(d_2,\tilde{\lambda}_n)\right),\end{split}$
$p_{n,2}=\frac{1}{a_1}\left(\cos(\rho_n x)\psi(d_2,\lambda_n)-\cos(\tilde{\rho}_n x)\tilde{\psi}(d_2,\tilde{\lambda}_n)\right).$

注意到$\|P\|_{L^2(0,d_2)}\leq CQ, \|P_1\|_{L^2(0,d_2)}\leq CQ$, 利用估计 (3.13), (3.19), (3.21) 和 (3.22) 式可得

$|p_{n,2}|\leq C\left(\frac{\left|\int_{0}^{d_2}P(t)\sin \rho_n t{\rm d}t\right|}{n}+\left|\rho_n-\tilde{\rho}_n\right|\right),$
$|p_{n,1}|\leq C\left(\left|\int_{-d_2}^{d_2}P_2(t){\rm e}^{\mathrm{i}\rho_nt}{\rm d}t\right|+(n+1)\left|\rho_n-\tilde{\rho}_n\right|\right),$

其中$P_2(t)\in L^2(-d_2,d_2)$$\|P_2\|_{L^2(-d_2,d_2)}\leq CQ$. 又因为$\{\rho_n\}_{n\ge0}$ 为没有聚点的离散实数列, 所以由 Fourier 变换理论得

$\sum_{n\in I}\left|\int_{0}^{d_2}P(t)\sin \rho_n t{\rm d}t\right|^2\leq C\|P\|_{L^2(0,d_2)}^2\leq CQ^2,$
$\sum_{n\in I}\left|\int_{-d_2}^{d_2}P_2(t){\rm e}^{\mathrm{i}\rho_nt}{\rm d}t\right|^2\leq C\|P_2\|_{L^2(-d_2,d_2)}^2\leq CQ^2.$

再结合 (3.2) 或 (3.5) 式有

$\sum_{n\in I}\left\|\nu_{n}-\tilde{\nu}_n\right\|_{\mathcal{H}}^{2}=\sum_{n\in I}\bigg(\int_{0}^{d_2}(p_{n,1}^{2}(x)+p_{n,2}^{2}(x)){\rm d}x\bigg) \leq C(\Lambda^2+Q^2),$

可证得 (3.17) 式. 对于$|f_n-\tilde{f}_n|$, 同理可得 (3.18) 式的证明.

因此, 根据主方程 (2.10), 引理 2.2 和引理 3.1, 我们有下面的结论.

引理 3.2$\{ \nu_n \}_{n\in I}$$\mathcal{H}$ 中的Riesz 基, 则存在$\varepsilon > 0$, 使得对满足 (3.2) 和 (3.3) 式 (或 (3.5) 和 (3.6) 式) 的任意序列$\{\tilde{\lambda}_{n}\}_{n\in I}$, 函数$\tilde{q}_2\in L^2(0,d_2)$ 和常数$\tilde{H}\in \mathbb{R}$, 存在唯一的向量函数$\tilde K=(\tilde{K}_1,\tilde{K}_2)^T\in \mathcal{H}$, 有$(\tilde K, \tilde \nu_n)_{\mathcal{H}}=\tilde f_n, n\in I$ 成立且

$\left\| K - \tilde K \right\|_{\mathcal{H}}\leq C(\Lambda+Q).$

下面我们给出定理 3.1 和 3.2 的证明.

定理 3.1 和 3.2 的证明 由引理 2.2, 2.3, 3.1 和引理 3.2 知, 在定理 3.1 (或定理 3.2) 的条件下, 存在唯一的$\tilde K(t)$ 使得

$(\tilde K, \tilde \nu_n)_{\mathcal{H}}=\tilde f_n,\quad n\in I,$

其中$\{\tilde{\nu}_{n}\}_{n\in I}$$\{\tilde{f}_{n}\}_{n\in I}$ 由 (3.14)-(3.16) 式给出. 定义函数

$\tilde{\Delta}(\lambda):=(\tilde K(\cdot), \tilde \nu(\cdot,\lambda))_{\mathcal{H}}-\tilde f(\lambda).$

由 (3.23) 式知

$\tilde{\Delta}(\tilde{\lambda}_n)=0,\quad n\in I.$

利用 (2.1), (2.2) 式及$\tilde{K}$ 的分量$\tilde{K}_1, \tilde{K}_2$, 我们可构造函数

${\tilde{\varphi}}(d_1,\lambda):=\cos\rho d_1+\omega_1 \frac{\sin \rho d_1}{\rho}-\int_0^{d_1} \tilde{K}_1(t)\frac{\sin \rho t}{\rho}{\rm d}t,$
${\tilde{\varphi}}'(d_1,\lambda):=-\rho\sin\rho d_1+\omega_1 \cos \rho d_1+\int_0^{d_1} \tilde{K}_2(t)\cos \rho t{\rm d}t.$

结合 (3.25), (3.26) 式可知, (3.24) 式中$\tilde{\Delta}(\lambda)$ 则有如下表示

$\tilde{\Delta}(\lambda)=a_1\tilde{\varphi}(d_1,\lambda)\tilde{\psi}'(d_2,\lambda)+\frac{1}{a_1}\tilde{\varphi}'(d_1,\lambda)\tilde{\psi}(d_2,\lambda)+a_2\tilde{\varphi}(d_1,\lambda)\tilde{\psi}(d_2,\lambda).$

根据引理 2.1和引理 3.2, 存在唯一的$\tilde{q}_1\in L^2(0,d_1)$$\tilde{h}\in \mathbb{R}$, 使得$\{\tilde{\lambda}_{n}\}_{n\in I}$ 是问题$\tilde{L}=L(d_1,d_2,\tilde{q}_1,\tilde{q}_2,\tilde{h},\tilde{H},a_1,a_2)$ 的特征值且有估计 (3.4) 或 (3.7) 式成立.

附录

在附录中我们补充一些具体说明, 首先给出 (2.6) 式的证明.

$\varphi(\lambda):=\varphi(d,\lambda)$. 由 (2.1) 和 (2.4) 式可知

$\varphi(\lambda)-\tilde{\varphi}_0(\lambda)=\frac{1}{\rho}\int_0^{d} (K_1-\tilde{K}_1)(t)\sin \rho t{\rm d}t,\quad \rho=\sqrt{\lambda}.$

注意到$\{{\mu}_{0,n}\}_{n\ge0}$${\varphi}(\lambda)$ 的零点且为边值问题$L_0(q_1,h)$ 的特征值. 令函数$f(\rho):=\varphi(\lambda)$, 则$\{\sqrt{{\mu}_{0,n}}\}_{n\ge0}$$f(\rho)$ 的零点. 注意到, 存在正常数$r$$c_0$, 使得对所有$n\geq0$, 有$r<\sqrt{\mu_{0,n}}$, $r<\sqrt{\mu_{0,n+1}}-\sqrt{\mu_{0,n}}$, 并且当$|\rho-\sqrt{\mu_{0,n}}|\leq r$ 时, 有$|\dot{f}(\rho)|=\left|\frac{\rm d}{{\rm d}\rho}f(\rho)\right|\geq c_0$. 定义$\gamma_{n,r}:=\{\rho:|\rho-\sqrt{\mu_{0,n}}|=r\}, n\geq0$. 由 Taylor 公式有

$f(\sqrt{\tilde{\mu}_{0,n}})=f(\sqrt{\mu_{0,n}})+\dot{f}(\theta_n)(\sqrt{\tilde{\mu}_{0,n}}-\sqrt{\mu_{0,n}}),$

其中$\theta_n\in \rm{int} \gamma_{n,r}$, $|\dot{f}(\theta_n)|\geq c_0$.

类似地, 令函数$\tilde{f}_0(\rho):=\tilde{\varphi}_0(\lambda)$. 注意到$\{{\tilde{\mu}}_{0,n}\}_{n\ge0}$$\tilde{\varphi}_0(\lambda)$ 的零点, 则$\{\sqrt{{\tilde{\mu}}_{0,n}}\}_{n\ge0}$$\tilde{f}_0(\rho)$ 的零点, 再结合 (A.1), (A.2) 式可得

$f(\sqrt{\tilde{\mu}_{0,n}})-\tilde{f}_0(\sqrt{\tilde{\mu}_{0,n}})=\frac{1}{\sqrt{\tilde{\mu}_{0,n}}}\int_0^{d} (K_1-\tilde{K}_1)(t)\sin (\sqrt{\tilde{\mu}_{0,n}}t){\rm d}t=\dot{f}(\theta_n)(\sqrt{\tilde{\mu}_{0,n}}-\sqrt{\mu_{0,n}}).$

则有

$\sqrt{\tilde{\mu}_{0,n}}-\sqrt{\mu_{0,n}}=\frac{1}{\dot{f}(\theta_n)\sqrt{\tilde{\mu}_{0,n}}}\int_0^{d} (K_1-\tilde{K}_1)(t)\sin (\sqrt{\tilde{\mu}_{0,n}}t){\rm d}t.$

由特征值$\{\mu_{0,n}\}_{n\ge0}$ 的渐近性:$\sqrt{\mu_{0,n}}=(2n+1)\pi+O(\frac{1}{n})$, $n\rightarrow \infty$, 所以$\sin (\sqrt{\tilde{\mu}_{0,n}}t)=\sin((2n+1)\pi t)+O(\frac{1}{n})$, $n\rightarrow \infty$. 将其代入 (A.3) 式, 结合 Bessel 不等式我们有

$\left|\sqrt{\tilde{\mu}_{0,n}}-\sqrt{\mu_{0,n}}\right| \leq \frac{C}{n+1}\left|\int_0^{d} (K_1-\tilde{K}_1)(t)\sin ((2n+1)\pi t){\rm d}t\right|+\frac{C\|K_1-\tilde{K}_1\|_{L^2(0,d)}}{(n+1)^2},$
$\bigg(\sum_{n\ge0}(n+1)^2\left|\sqrt{\mu_{0,n}}-\sqrt{\tilde{\mu}_{0,n}}\right|^{2}\bigg)^{\frac{1}{2}}\le C\|K_1-\tilde{K}_1\|_{L^2(0,d)}.$

由渐近性知$\left|\mu_{0,n}-\tilde{\mu}_{0,n}\right|^2\leq C(n+1)^2\left|\sqrt{\mu_{0,n}}-\sqrt{\tilde{\mu}_{0,n}}\right|^{2}$, 因此

$\bigg(\sum_{n\ge0}\left|\mu_{0,n}-\tilde{\mu}_{0,n}\right|^{2}\bigg)^{\frac{1}{2}}\le C\|K_1-\tilde{K}_1\|_{L^2(0,d)},$

其中常数$C$ 依赖于$q_1, h$. 同理可证得

$\bigg(\sum_{n\ge0}\left|\mu_{1,n}-\tilde{\mu}_{1,n}\right|^{2}\bigg)^{\frac{1}{2}}\le C\|K_2-\tilde{K}_2\|_{L^2(0,d)}.$

证毕.

下面我们给出引理 2.2 的证明.

引理 2.2 的证明 首先令$\nu_n=Ae_n$, $n\in I$ 是空间$\mathcal{H}$ 中的Riesz 基, 其中$\{e_{n}\}_{n\in I}$$\mathcal{H}$ 的正交基, $A$ 为有界可逆线性算子. 由文献[2,命题 1.8.3] 可知, 令$\varepsilon<\frac{1}{2\|A^{-1}\|}$, 则与$\{\nu_n\}_{n\in I}$ 一起满足 (2.12) 式条件$\mathcal{V}$ 的序列$\{ \tilde \nu_n \}_{n\in I}$ 是空间$\mathcal{H}$ 的Riesz 基. 其次, 对两组Riesz 基$\{\nu_n\}_{n\in I}$$\{ \tilde \nu_n \}_{n\in I}$, 假设其对偶基分别为$\{\chi_n\}_{n\in I}$$\{\tilde{\chi}_n\}_{n\in I}$. 由于$f_n := (K, \nu_n)_\mathcal{H}$, 则$K=\sum\limits_{n\in I} f_n\chi_n$. 利用满足 (2.13) 式条件$F$ 的序列$\{ \tilde f_n \}_{n\in I}$, 构造函数$\tilde{K}=\sum\limits_{n\in I} \tilde{f}_n\tilde{\chi}_n$, 其中$\tilde f_n = (\tilde K, \tilde \nu_n)_{\mathcal{H}}$, 显然$\tilde{K}$ 是唯一的.

下面的证明, 参考文献[27, 引理 5]. 令$\tilde{A}e_n=\tilde{\nu}_n, (A^*)^{-1}e_n=\chi_n, (\tilde{A}^*)^{-1}e_n=\tilde{\chi}_n, n\!\in\! I,$ 其中$\tilde{A}$ 为有界可逆线性算子. 结合 (2.12) 式可知$\mathcal{V}:=\Big( \sum\limits_{n\in I} \left\| (A-\tilde{A})e_n \right\|^2_{\mathcal{H}} \Big)^{1/2}\le\varepsilon$. 又由

$\mathop{\rm{sup}}_{\|x\|=1}\left\|(A-\tilde{A})x\right\|_{\mathcal{H}}\leq \mathop{\rm{sup}}_{\|x\|=1}\left|\sum_{n\in I}\left((A-\tilde{A})x,e_n\right)e_n\right| \leq \mathop{\rm{sup}}_{\|x\|=1}\bigg( \sum\limits_{n\in I} \left| \left((A-\tilde{A})x,e_n\right) \right|^2_{\mathcal{H}} \bigg)^{1/2},$

$\left\|A-\tilde{A}\right\|_{\mathcal{H}}\leq\mathcal{V}$. 从而我们有

$\left\|A^{-1}-\tilde{A}^{-1}\right\|_{\mathcal{H}}=\left\|A^{-1}(A-\tilde{A})\tilde{A}^{-1}\right\|\leq\left\|A^{-1}\right\|\left\|\tilde{A}^{-1}\right\|\mathcal{V}.$

$\tilde{A}^{-1}=\left(I+A^{-1}(\tilde{A}-A)\right)^{-1}A^{-1}$, 注意到$\mathcal{V}\leq\varepsilon<\frac{1}{2\|A^{-1}\|}$, 则

$\left\|\tilde{A}^{-1}\right\|\leq \frac{1}{1-\left\|A^{-1}(\tilde{A}-A)\right\|}\left\|A^{-1}\right\|\leq \frac{1}{1-\left\|A^{-1}\right\|\mathcal{V}}\left\|A^{-1}\right\| \leq 2\left\|A^{-1}\right\|.$

故 (A.4) 式可表示为$\left\|A^{-1}-\tilde{A}^{-1}\right\|_{\mathcal{H}}\leq C\mathcal{V}$, 这里常数$C$ 仅依赖于算子$A$$\varepsilon$. 注意到

$\begin{align*}K-\tilde{K}&=\sum_{n\in I} f_n\chi_n-\sum_{n\in I} \tilde{f}_n\tilde{\chi}_n=(A^*)^{-1}\sum_{n\in I}f_ne_n-(\tilde{A}^*)^{-1}\sum_{n\in I}\tilde{f}_ne_n\notag\\& =(A^*)^{-1}\sum_{n\in I}(f_n-\tilde{f}_n)e_n+\left((A^*)^{-1}-(\tilde{A}^*)^{-1}\right)\sum_{n\in I}\tilde{f}_ne_n.\end{align*}$

利用 (2.13) 式的条件$F$ 和算子的性质$\left\|(A^*)^{-1}-(\tilde{A}^*)^{-1}\right\|_{\mathcal{H}}=\left\|A^{-1}-\tilde{A}^{-1}\right\|_{\mathcal{H}}\leq C\mathcal{V}$, 因此得

$\begin{align*}\left\|K-\tilde{K}\right\|_{\mathcal{H}}&\leq \left\|(A^*)^{-1}\right\|\bigg|\sum_{n\in I}(f_n-\tilde{f}_n)e_n\bigg|+\left\|(A^*)^{-1}-(\tilde{A}^*)^{-1}\right\|\bigg|\sum_{n\in I}\tilde{f}_ne_n\bigg|\notag \leq C (F+\mathcal{V}),\end{align*}$

其中常数$C$ 仅依赖于$\{ \nu_n \}_{n\in I}$$K$.

对于引理 2.3, 文献[21]中已给出了相应证明, 这里我们阐述一下主要思路.

引理 2.3 的证明 首先构造函数$S(\lambda):=(s(\cdot),\nu(\cdot,\lambda))_{\mathcal{H}}$.$d=\frac{1}{2}$ 时, 假设存在非零元素$s=(s_1,s_2)\in \mathcal{H}=L^2(0,\frac{1}{2})\times L^2(0,\frac{1}{2})$, 使得对所有$n\geq0$, $(s,\nu_n)_{\mathcal{H}}=0$. 则有$S(\lambda_n)=0$. $\frac{S(\lambda)}{\Delta(\lambda)}$ 为整函数, 由$S(\lambda)$$\Delta(\lambda)$ 的渐近性, 有$\left|\frac{S(\lambda)}{\Delta(\lambda)}\right|\leq\frac{C}{|\rho|}$. 根据 Phragmen-Lindelöf 定理[28]可得$S(\lambda)\equiv0$. 从函数$S(\lambda)$ 的定义式可知$s_1=s_2=0$, 则$s=0$. 故向量函数系$\{\nu_{n}\}_{n\geq0}$ 在空间$\mathcal{H}$ 中完备. 此外$\{\nu_{n}\}_{n\geq0}$ 有渐近关系式: $\nu_n(x)=\nu_n^0(x)+O\left(\frac{1}{n}\right),\ n\rightarrow\infty,$ 其中

$\nu_{2k}^0(x)=(-1)^k\frac{1}{a_1}\left(\begin{matrix} 0 \\\cos(2k\pi x) \\\end{matrix}\right),\quad\nu_{2k+1}^0(x)=(-1)^{k+1}a_1\left(\begin{matrix} \sin((2k+1)\pi x) \\ 0 \\\end{matrix}\right),\quad k\geq0.$

因此$\{\nu_{n}\}_{n\geq0}$ 是空间$\mathcal{H}=L^2(0,\frac{1}{2})\times L^2(0,\frac{1}{2})$ 中的Riesz 基.

参考文献

Borg G.

Eine Umkehrung der Sturm-Liouvilleschen eigenwertaufgabe

Acta Math, 1946, 78(1): 1-96

[本文引用: 3]

Freiling G, Yurko V A. Inverse Sturm-Liouville Problems and Their Applications. New York: NOVA Science Publishers, 2001

[本文引用: 6]

Gesztesy F, Simon B.

Inverse spectral analysis with partial information on the potential, II. The case of discrete spectrum

Trans Amer Math Soc, 2000, 352(6): 2765-2787

[本文引用: 2]

Hochstadt H, Lieberman B.

An inverse Sturm-Liouville problem with mixed given data

SIAM J Appl Math, 1978, 34: 676-680

[本文引用: 2]

Horváth M.

Inverse spectral problems and closed exponential systems

Ann Math, 2005, 162: 885-918

[本文引用: 2]

Horváth M.

On the inverse spectral theory of Schrödinger and Dirac operators

Trans Amer Math Soc, 2001, 353(10): 4155-4171

[本文引用: 2]

Levitan B M. Inverse Sturm-Liouville Problems. Utrecht: VNU Science Press, 1987

[本文引用: 3]

Marchenko V A. Sturm-Liouville Operators and Applications. Boston: Publisher Birkhüser, 1986

[本文引用: 2]

Pöschel J, Trubowitz E. Inverse Spectral Theory. London: Academic Press, 1987

[本文引用: 1]

Shieh C T, Buterin S A, Ignatiev M.

On Hochstadt-Lieberman theorem for Sturm-Liouville operators

Far East J Appl Math, 2011, 52: 131-146

[本文引用: 2]

王於平, 杨传富, 黄振友.

Schrödinger 算子二次微分束的半逆问题

数学物理学报, 2011, 31A(6): 1708-1717

[本文引用: 1]

Wang Y P, Yang C F, Huang Z Y.

Half inverse problem for a quadratic pencil of Schrödinger operators

Acta Math Sci, 2011, 31A(6): 1708-1717

[本文引用: 1]

Krueger R J.

Inverse problems for nonabsorbing media with discontinuous material properties

J Math Phys, 1982, 23: 396-404

[本文引用: 1]

Anderssen R S.

The effect of discontinuities in density and shear velocity on the asymptotic overtone structure of tortional eigenfrequencies of the Earth

Geophys J R Astron Soc, 1997, 50: 303-309

[本文引用: 1]

Litvinenko O N, Soshnikov V I.

The Theory of Heterogenious Lines and Their Applications in Radio Engineering (in Russian)

Moscow: Radio, 1964

[本文引用: 1]

Hald O.

Discontinuous inverse eigenvalue problem

Commun Pure Appl Math, 1984, 37(5): 539-577

[本文引用: 2]

Ozkan A S, Keskin B.

Uniqueness theorems for an impulsive Sturm-Liouville boundary value problem

Appl Math J Chin Univ, 2012, 27(4): 428-434

[本文引用: 1]

Shieh C T, Yurko V A.

Inverse nodal and inverse spectral problems for discontinuous boundary value problems

J Math Anal Appl, 2008, 347: 266-272

[本文引用: 1]

Wang Y P.

Inverse problems for discontinuous Sturm-Liouville operators with mixed spectral data

Inverse Probl Sci Eng, 2015, 23(7): 1180-1198

[本文引用: 2]

Yang C F.

Inverse problems for the Sturm-Liouville operator with discontinuity

Inverse Probl Sci Eng, 2014, 22(2): 232-244

[本文引用: 1]

Yang C F, Bondarenko N P.

Reconstruction and solvability for discontinuous Hochstadt-Lieberman problems

J Spectral Theory, 2020, 10: 1445-1469

[本文引用: 2]

Yang C F, Bondarenko N P.

Local solvability and stability of inverse problems for Sturm-Liouville operators with a discontinuity

J Differential Equations, 2020, 268: 6173-6188

[本文引用: 13]

Xu X C, Yang C F.

Inverse spectral problems for the Sturm-Liouville operator with discontinuity

J Differential Equations, 2017, 262: 3093-3106

[本文引用: 1]

Yang C F.

Traces of Sturm-Liouville operators with discontinuities

Inverse Probl Sci Eng, 2014, 22: 803-813

[本文引用: 1]

Yurko V A.

Integral transforms connected with discontinuous boundary value problems

Integral Transforms Spec Funct, 2000, 10: 141-164

[本文引用: 1]

Yang C F, Bondarenko N P, Xu X C.

An inverse problem for the Sturm-Liouville pencil with arbitrary entire functions in the boundary condition

Inverse Problems and Imaging, 2020, 14: 153-169

[本文引用: 1]

Guo Y, Ma L J, Xu X C, et al.

Weak and strong stability of the inverse Sturm-Liouville problem

Math Meth Appl Sci, 2023, 46(14): 15684-15705

[本文引用: 2]

Bondarenko N P.

A partial inverse problem for the Sturm-Liouville operator on a star-shaped graph

Anal Math Phys, 2018, 8: 155-168

[本文引用: 1]

Levin B Y.

Lectures on Entire Functions

Providence RI: Amer Math Soc, 1996

[本文引用: 1]

/