Local Hölder stabilities for inverse problems of first-order hyperbolic equations

基本信息

• 论文ID: 2207.10344
• 标题: Local Hölder stabilities for inverse problems of first-order hyperbolic equations
• 作者: Giuseppe Floridia (Università Mediterranea di Reggio Calabria), Hiroshi Takase (Kyushu University)
• 分类: math.AP (Analysis of PDEs)
• 发表时间: July 21, 2022
• 论文链接: https://arxiv.org/abs/2207.10344

摘要

本文研究了具有时间相关系数的一阶双曲方程的Cauchy问题。通过在侧边界子区域上给出Cauchy数据，利用Carleman估计获得了逆源问题和逆系数问题的局部Hölder稳定性。

研究背景与动机

研究问题

本文主要研究一阶双曲偏微分方程的逆问题，具体包括：

1. 逆源问题：从边界观测数据确定源项 $f(x)$
2. 逆系数问题：从边界观测数据确定系数 $A_0$ 和 $A$

问题重要性

一阶双曲方程在许多物理和工程领域有重要应用，如：

• 传输现象建模
• 波传播问题
• 流体力学中的对流方程

逆问题的研究对于参数识别、系统诊断和控制理论具有重要意义。

现有方法局限性

1. 大多数研究集中在系数仅依赖于空间变量的情况
2. 对于时空相关系数的一阶方程，相关结果较少
3. 之前的工作（如4）需要在$\Sigma^-$上施加额外的边界条件来获得全局Lipschitz稳定性

研究动机

本文旨在在更弱的设定下（不在$\Sigma^-$上施加额外边界条件）获得局部Hölder稳定性，这比全局Lipschitz稳定性更容易实现但仍具有重要的理论和实际意义。

核心贡献

1. 建立了局部Hölder稳定性：在不需要额外边界条件的情况下，为逆源问题和逆系数问题建立了局部Hölder稳定性估计
2. 扩展了理论框架：将分析扩展到具有时空相关系数的一阶双曲方程
3. 改进了技术条件：相比之前的工作4，放宽了对边界条件的要求
4. 提供了Carleman估计：给出了关键的Carleman估计，这是证明稳定性的核心工具

方法详解

任务定义

考虑一阶偏微分算子： $Pu := A_0(x,t)\partial_t u + A(x,t) \cdot \nabla u$

其中：

• $A_0 \in C^1(Q) \cap L^{\infty}(\Omega \times (0,\infty))$ 是正函数
• $A = (A_1, \ldots, A_d)^T \in C^2(Q;\mathbb{R}^d)$ 是向量值函数
• $Q := \Omega \times (0,T)$，$\Omega \subset \mathbb{R}^d$ 是有界区域

定义边界分解： $\Sigma^+ := \{(x,t) \in \partial\Omega \times (0,T) | A(x,t) \cdot \nu(x) > 0\}$

核心假设条件

论文基于以下关键假设：

(1.1) 非退化条件： $\exists \rho > 0 \text{ s.t. } \min_{(x,t) \in Q} |A(x,t)| \geq \rho$

(1.2) 耗散性条件： $A(\cdot, 0)$ 是耗散的（见定义1.3）

(1.3) 时间增长控制： $\exists C > 0 \text{ s.t. } \forall \xi \in \mathbb{R}^d, \forall(x,t) \in Q, |\partial_t A(x,t) \cdot \xi| \leq C|A(x,t) \cdot \xi|$

权函数构造

基于耗散性假设，构造权函数： $\varphi_0(x) := \int_0^{\sigma^-(x)} |c_x'(\sigma)| d\sigma$$\varphi(x,t) := \varphi_0(x) - \beta t$

其中 $c_x$ 是通过点 $x$ 的 $A(\cdot,0)$ 的积分曲线。

Carleman估计

命题1.8（关键Carleman估计）：存在常数 $s_* > 0$ 和 $C > 0$ 使得 $s^2 \int_Q e^{2s\varphi} |u|^2 dx dt + s \int_{\Omega} e^{2s\varphi(x,0)} |u(x,0)|^2 dx$$\leq C \int_Q e^{2s\varphi} |(P + p(x,t))u|^2 dx dt + Cs \int_{\Sigma^+} e^{2s\varphi} |u|^2 dS dt$

对所有 $s > s_*$ 和满足 $u(\cdot, T) = 0$ 的函数 $u$ 成立。

主要理论结果

逆源问题稳定性

定理1.5：考虑Cauchy问题