[论文解读] Distributions with dynamic test functions and multiplication by discontinuous functions

V.Ya. Derr, Damir Kinzebulatov|ArXiv.org|Mar 14, 2006

Mathematical and Theoretical Analysis参考文献 22被引用 8

一句话总结

本文引入了一种新的分布空间，使得分布与不连续函数之间的连续、交换和结合乘法成为可能，从而克服了经典分布理论中的一个关键局限。该方法将经典的狄拉克函数推广为依赖于形状参数 $\alpha$ 的一族 $\delta_{\tau}^{\alpha}$，并提供了一个严格框架，使得最优控制理论中的乘积如 $H(t)\delta(t)$ 得到良好定义，且与已知定义一致。

ABSTRACT

As follows from the Schwartz Impossibility Theorem, multiplication of two distributions is in general impossible. Nevertheless, often one needs to multiply a distribution by a discontinuous function, not by an arbitrary distribution. In the present paper we construct a space of distributions where the general operation of multiplication by a discontinuous function is defined, continuous, commutative, associative and for which the Leibniz product rule holds. In the new space of distributions, the classical delta-function $δ_τ$ extends to a family of delta-functions $δ_τ^α$, dependent on the extit{shape} $α$. We show that the various known definitions of the product of the Heaviside function and the delta-function in the classical space of distributions $\mathcal D'$ become particular cases of the multiplication in the new space of distributions, and provide the applications of the new space of distributions to the ordinary differential equations which arise in optimal control theory. Also, we compare our approach of the Schwartz distribution theory with the approach of the Colombeau generalized functions algebra, where the general operation of multiplication of two distributions is defined.

研究动机与目标

• 解决经典施瓦茨分布理论中分布乘法的不可能性问题，特别是当其中一个因子为不连续函数时。
• 构建一个分布空间，使得与不连续函数的乘法满足连续性、交换律、结合律，并满足莱布尼茨法则。
• 将经典的狄拉克函数 $\delta_{\tau}$ 推广为依赖于形状 $\alpha$ 的一族 $\delta_{\tau}^{\alpha}$。
• 证明 $\mathcal{D}'$ 中关于 $H(t)\delta(t)$ 的各种已知定义均为新乘法运算的特例。
• 将新框架应用于最优控制理论中出现的常微分方程。

提出的方法

• 使用“动态测试函数”——经典 $C^\infty_c$ 测试函数的推广——定义一个新的分布空间。
• 在测试函数空间 $\mathcal{T}$ 上引入一种拓扑结构，使得正则分布和连续函数的序列收敛成为可能。
• 通过涉及分布跳跃行为与连续部分的斯特尔jes积分表示，定义分布的导数。
• 通过涉及正则分布和连续函数逼近序列的极限过程，构造分布 $v$ 与不连续函数 $g$ 的乘积 $gv$。
• 证明在 $v_n \to v$ 与 $g_n \to g$ 联合收敛下，乘法运算的连续性，满足性质 $\mathcal{B}$。
• 通过斯特尔jes积分和变差范数将导数分解为连续部分与跳跃部分，建立乘积 $fg$ 的莱布尼茨法则。

实验结果

研究问题

• RQ1 是否可以在经典施瓦茨分布理论框架内，定义分布与不连续函数之间的连续、交换和结合乘法？
• RQ2 如何将经典狄拉克函数推广为依赖于测试函数形状的表达式，这对分布乘积有何含义？
• RQ3 在 $\mathcal{D}'$ 中关于 $H(t)\delta(t)$ 的已知定义是否可作为新乘法运算的特例被恢复？
• RQ4 新框架能否解决在状态或控制不连续时，定义具有脉冲控制的常微分方程解的问题？
• RQ5 与科洛姆布劳的广义函数代数相比，该方法在性质和适用性方面有何异同？

主要发现

• 在逼近序列的联合收敛下，与不连续函数的乘法运算保持连续性，满足性质 $\mathcal{B}$。
• 经典狄拉克函数 $\delta_{\tau}$ 被推广为一族 $\delta_{\tau}^{\alpha}$，其中 $\alpha$ 编码了测试函数在 $\tau$ 附近的形状，从而消除了分布乘积中的歧义。
• 在 $\mathcal{D}'$ 中原本未定义的乘积 $H(t)\delta(t)$，在新空间中成为良好定义且与已知定义一致。
• 新乘法运算满足莱布尼茨乘积法则，其导数可通过连续部分与跳跃部分的斯特尔jes积分表达。
• 新框架使得具有脉冲控制的常微分方程（如 $\dot{x} = f(t,x) + g(t,x)v$，其中 $v$ 为分布且 $g$ 不连续）能够被严格处理。
• 该方法为分布乘法提供了一种可行的替代方案，相较于科洛姆布劳代数，保留了经典分布理论的结构，同时实现了以往不可能的操作。