移动目标追踪可控性：一维抛物型方程的边界控制与数值验证

《Journal of Mathematical Analysis and Applications》：Tracking controllability on moving targets for parabolic equations

　　

中文翻译：本文研究一维抛物型方程（parabolic-type equation）的追踪可控性（tracking controllability）问题。值得注意的是，通过作用于边界的控制，研究人员试图在区域内的特定点处近似控制方程的解。研究人员证明，作用于一个边界点时，可以控制一个目标点处的解；而作用于两个边界点时，可以控制至多两个目标点处的解。为此，当目标固定时，研究人员通过对偶性（duality）结果最小化相应问题来研究可控性。随后，研究人员通过应用将问题转化为固定目标的变换，研究移动点上的可控性。最后，研究人员还对部分控制问题进行了数值求解，并计算了解和目标状态的近似值，从而验证了理论方法的有效性。

论文解读文章

一、研究背景与问题

抛物型偏微分方程（parabolic partial differential equation）在自然科学与工程技术中具有广泛的应用背景，例如温度分布、物质浓度演化、金融资产定价等过程均可由该类方程描述。在诸多实际场景中，人们不仅关注系统在边界上的行为，更关心在区域内部特定位置处系统状态能否被有效控制。然而，现有关于抛物型方程可控性的研究大多聚焦于边界状态的整体控制或终端时刻的全状态控制，对于在内部多个点乃至随时间连续移动的目标点进行追踪控制的研究相对匮乏。相比之下，双曲型方程（hyperbolic equation）在点态可控性方面已有大量成果，但抛物型方程因其强正则化特性与解析性结构，其点态追踪控制问题在数学上更为精细且具有本质困难。

本文正是在这一背景下，系统研究一维抛物型方程在边界控制作用下，对内部固定点及移动目标轨迹的追踪可控性问题。该问题的提出源于机器人柔性结构控制、生物系统建模、化学反应器设计以及金融工程中等实际需求，具有重要的理论价值与应用前景。

二、研究内容与主要结论

研究人员考虑两类一维抛物型系统：其一为仅在右边界施加单个控制函数的系统；其二为在左右两端边界同时施加两个控制函数的系统。方程系数均为时间与空间变量的实解析函数，且扩散系数满足正性条件以保证问题适定性。

在固定目标点情形下，研究人员建立对偶性引理，将追踪可控性问题转化为对偶泛函的最小化问题。通过证明对偶系统满足唯一延拓性质（unique continuation property），进而证明相应泛函的强制性与严格凸性，从而保证最优控制的存在唯一性。研究结果表明，对于单边界控制系统，可以近似控制一个内部固定点处的解；对于双边界控制系统，则可以同时近似控制两个内部固定点处的解。

在移动目标轨迹情形下，研究人员通过构造适当的变量变换，将随时间解析变化的移动目标点问题转化为固定目标点问题，从而将固定点情形的可控性结论推广至移动轨迹情形。具体而言，单边界控制可实现对一条解析移动轨迹的近似追踪控制，双边界控制可实现对两条解析移动轨迹的同步近似追踪控制。

三、关键技术方法

本文采用的主要技术方法包括：其一，基于Lions对偶性理论（Hilbert Uniqueness Method, HUM），将追踪控制问题转化为对偶泛函的最小化问题；其二，利用抛物型方程解的解析性与唯一延拓性质，证明对偶系统的可观测性条件；其三，通过坐标变换方法将移动目标问题转化为固定目标问题；其四，采用数值优化方法对控制问题进行离散求解，验证理论结果的正确性。

四、研究结果分述

1. 3.
   固定目标点的追踪可控性

研究人员首先研究目标点固定时的控制问题。通过定义带Dirac delta函数源项的对偶系统，建立对偶性引理，证明系统近似可控当且仅当对偶解的边界法向导数满足唯一延拓性质。进一步构造包含追踪误差项、控制能量项与正则化项的目标泛函，证明该泛函在L2空间中存在唯一极小点，且极小点对应的对偶解边界法向导数即为最优控制。该结果从理论上保证了单边界控制可控制一个内部点、双边界控制可控制两个内部点的结论。

1. 4.
   移动轨迹上的追踪可控性

研究人员进一步将固定点结果推广至随时间解析变化的移动目标轨迹。通过构造依赖于时间的坐标变换，将移动目标点映射为固定点，同时将原方程变换为具有新系数的新抛物型方程。由于变换保持解析性，固定点情形的可控性结论可迁移至移动轨迹情形。最终证明，单边界控制可近似追踪一条解析移动轨迹，双边界控制可同时近似追踪两条解析移动轨迹。

1. 5.
   数值模拟

研究人员对上述控制问题进行了数值求解。通过离散化对偶系统与目标泛函，采用优化算法计算最优控制函数，并数值求解原抛物型方程，验证了理论分析所预期的追踪效果。数值结果与理论结论一致，进一步证实了所提方法的可行性与有效性。

五、讨论与结论

本文首次系统研究了一维抛物型方程在边界控制下对内部多点及移动轨迹的追踪可控性问题，填补了该方向的研究空白。与已有双曲型方程点态控制研究不同，本文所采用的解析性论证与坐标变换方法更适用于抛物型算子的结构特征。研究结论表明，边界控制数目与可追踪目标点数目之间存在明确的对应关系，这一结果为实际控制系统的设计提供了理论指导。数值模拟结果验证了理论方法的正确性与实用性。未来工作可进一步探讨高维情形、非线性抛物型方程以及控制成本估计等问题。