[论文解读] Finer analysis of characteristic curves and its application to shock profile, exact and optimal controllability of a scalar conservation law with strict convex flux

Adimurthi, Shyam Sundar Ghoshal+1 more|arXiv (Cornell University)|Apr 13, 2011

Navier-Stokes equation solutions被引用 4

一句话总结

本文通过改进达弗莫斯（Dafermos）的特征曲线分析方法，对具有严格凸通量的标量守恒律的熵解结构和精确能控性问题进行了完整刻画。利用显式的拉克斯-奥莱尼克（Lax-Oleinik）公式与构造性方法，证明了目标函数的必要条件同时也是充分条件，从而在完全一般的意义下解决了所有时间范围内的精确与最优能控性问题。

ABSTRACT

Here we consider scalar conservation law in one space dimension with strictly convex flux. Goal of this paper is to study two problems. First problem is to know the profile of the entropy solution. In spite of the fact that, this was studied extensively in last several decades, the complete profile of the entropy solution is not well understood. Second problem is the exact controllability. This was studied for Burgers equation and some partial results are obtained for large time. It was a challenging problem to know the controllability for all time and also for general convex flux. In a seminal paper, Dafermos introduces the characteristic curves and obtain some qualitative properties of a solution of a convex conservation law. In this paper, we further study the finer properties of these characteristic curves. As a bi-product we solve these two problems in complete generality. In view of the explicit formulas of Lax - Oleinik, Joseph - Gowda, target functions must satisfy some necessary conditions. In this paper we prove that it is also sufficient. Method of the proof depends highly on the characteristic methods and explicit formula given by Lax - Oleinik and the proof is constructive. This method allows to solve the optimal controllability problem in a trackable way.

研究动机与目标

• 为了对具有严格凸通量的标量守恒律的熵解结构提供完整理解，该问题尽管经过数十年研究，仍未能被完全掌握。
• 为解决所有时间范围内的精确能控性问题，突破以往仅限于长时间或特定情形（如伯杰斯方程）的局部结果。
• 证明由拉克斯-奥莱尼克与乔瑟夫-戈达（Joseph-Gowda）公式导出的目标函数必要条件，同时也是能控性的充分条件，从而填补该理论中长期存在的空白。
• 开发一种可追踪的构造性方法以实现最优控制，其基础明确建立在特征曲线的性质之上。

提出的方法

• 改进达弗莫斯（Dafermos）的特征曲线框架，以分析标量守恒律中解演化过程的更精细几何与动力学特性。
• 利用拉克斯-奥莱尼克与乔瑟夫-戈达（Joseph-Gowda）公式提供的显式表达式，刻画解结构与目标函数的约束条件。
• 通过从期望目标状态反向追踪特征线，显式构造控制输入。
• 利用通量的严格凸性，确保特征线的唯一性与正则性，从而实现精确的控制设计。
• 通过特征线反演，建立解结构与能控性之间的对偶关系，将目标函数映射为可接受的初始数据。
• 通过证明一种基于特征轨迹的可逆映射，从目标数据到初始数据的构造性映射，从而证明必要条件的充分性。

实验结果

研究问题

• RQ1 具有严格凸通量的标量守恒律的熵解结构的完整形态是什么？
• RQ2 在能控性问题中，由目标函数导出的必要条件是否也是精确能控性的充分条件？
• RQ3 能否在所有时间范围内实现精确与最优能控性，而不仅限于渐近情形或特殊情形？
• RQ4 如何利用特征曲线来构造性地设计标量守恒律的控制输入？
• RQ5 是否存在一个统一的框架，将凸通量守恒律的解结构分析与能控性理论相结合？

主要发现

• 本文证明了由拉克斯-奥莱尼克与乔瑟夫-戈达（Joseph-Gowda）公式导出的目标函数必要条件，同时也是精确能控性的充分条件。
• 通过改进的特征曲线分析，实现了对熵解结构的完整且显式刻画。
• 该方法为最优能控性问题提供了构造性解法，可显式计算出实现期望目标状态的初始数据。
• 该框架适用于所有具有严格凸通量的标量守恒律，不仅限于伯杰斯方程（Burgers' equation）。
• 该解法具有可追踪性，基于通过反向特征线实现的可逆映射，确保计算上的可行性。
• 该结果解决了关于凸通量情形下全时间精确能控性与解结构完备性的长期开放问题。