[论文解读] Overdetermined conservative 2D Systems, Invariant in One Direction and a Generalization of Potapov's theorem

Andrey Melnikov, Victor Vinnikov|ArXiv.org|Dec 20, 2008

Spectral Theory in Mathematical Physics参考文献 10被引用 7

一句话总结

本文将 Potapov 定理推广至一类在某一方向上不变的保守、超定二维系统，引入了内函数类 $Σ\mathcal{C}I$，其在 $\lambda = \infty$ 处为恒等函数。通过平移模型与轨形理论，证明了此类函数可分解为离散与连续谱分量的乘积，将经典的 Blacke-Potapov 乘积公式推广至 $t_2$-依赖算子的时变系统。

ABSTRACT

This work is a direct continuation of the authors work arXiv:0812.3779v1. A special case of conservative overdetermined time invariant 2D systems is developed and studied. Defining transfer function of such a systems we obtain a class CI of inner functions $S(λ,t_2)$, which are identity for $λ=\infty$, satisfy certain regularity assumptions and intertwines solutions of ODEs with a spectral parameter $λ$. Using translation model, we prove that every function in the class CI can be realized as a transfer function of a certain vessel. The highlight of this theory is a generalization Potapov's theorem, which gives a very special formula for such a function in the form of multiplication of Blacke-Potapov products, corresponding to the discrete spectrum of certain system operator $A_1(t_2)$ and of multiplicative integral, corresponding to the continuous spectrum of $A_1(t_2)$. This theorem is proved under a slightly more restrictive assumptions, then the development of the whole theory. Namely, we suppose that the derivative of the transfer function is a continuous function of $t_2$ for almost all $λ$. At the last part zero/pole interpolation problem for matrix functions in CI is considered and a realization theorem of such functions appeared in arXiv:0812.3779v1 (theorem 8.1) is reproved. Hermitian case is also analyzed and the corresponding realization theorem is proved.

研究动机与目标

• 将 Potapov 关于特征函数的经典定理推广至更广泛的时变、保守二维系统，且在某一方向上不变。
• 定义并分析内函数类 $\boldsymbol{\mathcal{C}I}$，即满足在 $\lambda = \infty$ 处为恒等函数、具有正则性条件、并与含谱参数 $\lambda$ 的常微分方程解相交织的矩阵函数 $S(\lambda,t_2)$。
• 建立一个实现定理，证明 $\boldsymbol{\mathcal{C}I}$ 中的每个函数均可作为保守轨形的转移函数。
• 解决 $\boldsymbol{\mathcal{C}I}$ 中矩阵函数的零点/极点插值问题，重新证明并扩展了先前工作中的一项实现结果。
• 在附加对称性与正定性条件下，证明一个厄米特实现定理，将系统与耦合条件及酉等价性联系起来。

提出的方法

• 基于保守轨形理论构建平移模型，利用规范等价性与微分形式，将系统动力学与谱数据关联。
• 定义保守轨形的转移函数 $S(\lambda,t_2)$，确保其属于类 $\boldsymbol{\mathcal{C}I}$，在 $\lambda = \infty$ 处为恒等函数，且在 $t_2$ 上具有正则性。
• 应用轨形构造，通过基本矩阵 $\Phi_*(\lambda,t_2,t_2^0)$ 与 $\Phi(\lambda,t_2,t_2^0)$ 实现 $\boldsymbol{\mathcal{C}I}$ 中的函数，满足轨形条件。
• 利用乘积积分与三角形式，分别表示系统算子 $A_1(t_2)$ 的连续与离散谱分量。
• 通过耦合矩阵 $\gamma^d$ 构造具有离散谱数据的轨形，并利用极限过程将其推广至连续谱数据。
• 应用酉等价性与运动学变换（通过 $Y(t_2) = \sqrt{X(t_2)}$）推导出耦合条件 $\tilde{A}_1 + \tilde{A}_1^* = -\tilde{C}^*\sigma_1\tilde{C}$，确保系统的保守性。

实验结果

研究问题

• RQ1 能否将 Potapov 对特征函数的乘积分解推广至时变、保守的二维系统，且在某一方向上不变？
• RQ2 何种条件可确保 $\boldsymbol{\mathcal{C}I}$ 中的矩阵函数 $S(\lambda,t_2)$ 作为保守轨形的转移函数被实现？
• RQ3 如何求解 $\boldsymbol{\mathcal{C}I}$ 中矩阵函数的零点/极点插值问题？此类实现的结构是怎样的？
• RQ4 在何种条件下，厄米特矩阵函数 $S(\lambda,t_2)$ 允许具有耦合条件的保守轨形实现？
• RQ5 算子 $A_1(t_2)$ 的离散与连续谱分量如何共同构成 $S(\lambda,t_2)$ 的乘法结构？

主要发现

• 在 $S(\lambda,t_2)$ 关于 $t_2$ 的导数对几乎所有 $\lambda$ 连续的假设下，$\boldsymbol{\mathcal{C}I}$ 中的每个函数均可实现为保守轨形的转移函数。
• 转移函数 $S(\lambda,t_2)$ 允许分解为 Blacke-Potapov 因子（对应离散谱）与系统算子 $A_1(t_2)$ 的乘积积分（对应连续谱）的乘积。
• 通过构造耦合矩阵 $X(t_2)$，并确保 $X(t_2)^{-1}B(t_2)$ 满足输入伴随微分方程，可唯一实现 $S(\lambda,t_2)$ 的零点/极点插值问题。
• 在厄米特情形下，若满足 $S(\infty,t_2) = \infty$，$S(\lambda,t_2)\sigma_1^{-1}S^*(\lambda,t_2) \geq \sigma_1^{-1}$ 对所有 $\Re\lambda > 0$ 成立，且 $S(\lambda,t_2)\sigma_1^{-1}S^*(-\bar{\lambda},t_2) = \sigma_1^{-1}$，则存在满足耦合条件的保守轨形实现。
• 通过酉等价性 $Y(t_2) = \sqrt{X(t_2)}$ 实现该结果，将系统变换为 $\tilde{A}_1(t_2)$ 满足 $\tilde{A}_1 + \tilde{A}_1^* = -\tilde{C}^*\sigma_1\tilde{C}$ 的形式，从而确认系统的保守性。
• 本文证明，可在保持希尔伯特空间结构不变的同时改变算子 $A_1(t_2)$，或保持算子不变而通过 $X(t_2)^{-1}$ 变化内积，从而保持实现不变。