[论文解读] Mixed Problems with a Parameter

Alexander Shlapunov, Николай Тарханов|arXiv (Cornell University)|Apr 22, 2023

Numerical methods in inverse problems参考文献 8被引用 14

一句话总结

作者研究在混合边界数据的领域中椭圆型系统Cauchy问题的扰动，证明带有小参数epsilon的一组扰动问题是唯一可解的，并在存在时收敛到Cauchy问题的解；他们还导出可解性条件，并通过Dirac与Helmholtz型例子进行说明。

ABSTRACT

Let $X$ be a smooth $n\,$-dimensional manifold and $D$ be an open connected set in $X$ with smooth boundary $\partial D$. Perturbing the Cauchy problem for an elliptic system $Au = f$ in $D$ with data on a closed set $\iG \subset \partial D$ we obtain a family of mixed problems depending on a small parameter $\varepsilon > 0$. Although the mixed problems are subject to a non-coercive boundary condition on $\partial D \setminus \iG$ in general, each of them is uniquely solvable in an appropriate Hilbert space $\cD_{T}$ and the corresponding family $\{ u_{\varepsilon} \}$ of solutions approximates the solution of the Cauchy problem in $\cD_{T}$ whenever the solution exists. We also prove that the existence of a solution to the Cauchy problem in $\cD_{T}$ is equivalent to the boundedness of the family $\{ u_{\varepsilon} \}$. We thus derive a solvability condition for the Cauchy problem and an effective method of constructing its solution. Examples for Dirac operators in the Euclidean space $\R^n$ are considered. In the latter case we obtain a family of mixed boundary problems for the Helmholtz equation.

研究动机与目标

• 激励研究椭圆系统的不适定Cauchy问题，并提出通过参数扰动的混合问题来建立可解性框架。
• 引入一个具体的算子理论框架，给出域D、边界Gamma，以及Dirichlet系统以定义数据空间和踪迹映射。
• 提出利用小参数epsilon的扰动策略，以获得良定问题，并将它们的解与原始Cauchy问题联系起来。
• 推导Cauchy问题的可解性条件，用受扰解的有界性来表述，并建立一个有效的构造方法。
• 给出明确示例包括在R^n中的Dirac算子，并推导Helmholtz型方程的混合边界问题。

提出的方法

• 给出椭圆算子A及其伴随算子，定义边界上的域D和Dirichlet系统，并用图范数构建希尔伯特空间 \u001d_A
• 考虑扰动的埃尔米特型形式 (Au, Av) + epsilon(u, v)，解相应的变分问题以在数据空间 D_T 中得到 u_epsilon。
• 证明关于边界迹 t(u) 在 Gamma 上及Green公式的关键引理，确立扰动问题的可解性与正则性性质。
• 证明族 {u_epsilon} 全局良定义，对每个 epsilon>0 唯一，并满足先验估计，将 ||u_epsilon|| 与 ||f|| 及 ||h|| 联系起来。
• 展示收敛机制：若Cauchy问题存在解，则 u_epsilon 保持有界，并（在某子列上）收敛到正交于 ker T 的Cauchy数据解。
• 将该方法与求解 A^*A 的混合边值问题相联系，并讨论扩展到Dirac与Helmholtz型场景。

实验结果

研究问题

• RQ1 在何种条件下 Au=f 在 D 的 Cauchy问题存在一个落在适当数据空间 D_T 的解？
• RQ2 当 epsilon -> 0 时，解 (A^*A + epsilon)u_epsilon = A^*f + epsilon h 的扰动解与原始Cauchy问题如何联系？
• RQ3 Cauchy问题的可解性是否可由扰动解 {u_epsilon} 的有界性来表征？
• RQ4 边界子集 Gamma 与唯一继续性性质在可解性与解的构造中起何作用？
• RQ5 结果如何专门化到 Dirac 算子并导出 Helmholtz 方程的相关混合边界问题？

主要发现

• 对于每个 epsilon>0 存在唯一解 u_epsilon 到扰动问题，且具有先验界 ||u_epsilon||_epsilon \u0015 ||f|| + sqrt(epsilon)||h||。
• Cauchy问题的可解性等价于当 epsilon -> 0 时族 {u_epsilon} 的有界性，提供一个可解性条件和一个有效的构造方法。
• Cauchy问题可以被改写为带参的 A^*A 的混合边值问题，将不适定数据与良定辅助问题联系起来。
• 若Cauchy问题存在解，则 u_epsilon 收敛到正交于 T 的核的解，得到极值/正则化解。
• 当 Gamma 非空且唯一延拓性质成立时，该框架在齐次情形下至多给出一个Cauchy问题的解。
• 所发展的方法适用于 R^n 中的 Dirac 算子，并在该背景下给出一组 Helmholtz 方程的混合问题。