[论文解读] Global uniqueness in inverse boundary value problems for Navier-Stokes equations and Lamé system in two dimensions

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|Sep 6, 2013

Numerical methods in inverse problems参考文献 15被引用 4

一句话总结

本文在二维情形下建立了纳维-斯托克斯方程和各向同性拉梅系统逆边界值问题的全局唯一性，证明了在无需小量假设的条件下，通过狄利克雷-诺伊曼映射可唯一确定粘性系数和拉梅参数。该方法通过将系统解耦为弱耦合形式后构造复几何光学解，进而利用卡莱曼估计唯一恢复系数。

ABSTRACT

We consider inverse boundary value problems for the Navier-Stokes equations and the isotropic Lamé system in two dimensions. The uniqueness without any smallness assumptions on unknown coefficients, which is called global uniqueness, was longstanding open problems for the Navier-Stokes equations and the isotropic Lamé system in two dimensions. We prove the global uniqueness for both inverse boundary value problems. Our methodology are common for both systems and the key is the construction of complex geometric optics solutions after decoupling the systems into weakly coupling systems.

研究动机与目标

• 解决二维纳维-斯托克斯方程逆边界值问题中长期悬而未决的全局唯一性难题。
• 在狄利克雷-诺伊曼映射下，建立二维各向同性拉梅系统中拉梅系数反问题的全局唯一性。
• 发展一种统一的方法论，适用于纳维-斯托克斯系统与拉梅系统，基于复几何光学解与卡莱曼估计。
• 去除对未知系数的小量或解析性假设，仅在霍尔德或索博列夫正则性条件下实现唯一性。

提出的方法

• 将纳维-斯托克斯与拉梅系统解耦为弱耦合系统，以促进复几何光学解的构造。
• 通过渐近展开与振荡相位，为解耦系统构造复几何光学解。
• 通过将解与狄利克雷-诺伊曼数据结合，推导出关于系数（粘性系数 μ 与拉梅参数 λ, μ）的二阶偏微分方程组。
• 对所得系统应用带权函数 φs 的卡莱曼估计，以控制系数导数的 L² 范数。
• 利用卡莱曼估计推导矛盾，除非系数差恒为零，从而得出唯一性结论。
• 在区域中构造有限子覆盖，以实现分析的局部化，确保系数的全局恢复。

实验结果

研究问题

• RQ1 在无需小量假设的条件下，二维纳维-斯托克斯方程中的粘性系数 μ 是否能通过狄利克雷-诺伊曼映射唯一确定？
• RQ2 二维各向同性系统中拉梅系数 (λ, μ) 的全局唯一性是否可通过边界测量实现？
• RQ3 能否基于复几何光学与卡莱曼估计，发展一种统一方法应用于纳维-斯托克斯与拉梅系统？
• RQ4 对 μ 与 λ 的何种正则性条件足以确保逆边界值问题中的全局唯一性？

主要发现

• 建立了二维纳维-斯托克斯逆问题的全局唯一性：若狄利克雷-诺伊曼映射 Λμ₁ 与 Λμ₂ 一致，则 μ₁ = μ₂ 在 Ω 内成立，无需任何小量或解析性假设。
• 证明了二维各向同性拉梅系统的全局唯一性：若 Λμ₁,λ₁ = Λμ₂,λ₂，则 μ₁ = μ₂ 且 λ₁ = λ₂ 在 Ω 内成立。
• 该方法依赖于系统解耦后构造复几何光学解，从而导出关于系数的二阶偏微分方程组。
• 对所得系统应用带权函数 φs 的卡莱曼估计，以控制系数导数的 L² 范数，进而得出系数差必须为零的结论。
• 证明中使用有限子覆盖论证以实现分析的局部化，确保系数能从边界数据中实现全局恢复。
• 结果在系数满足 C¹⁰ 正则性假设下成立，该条件足以支持构造与估计。