[论文解读] On the equivalence between moderate growth-type conditions in the weight matrix setting

Gerhard Schindl|arXiv (Cornell University)|Jun 27, 2021

Stability and Controllability of Differential Equations被引用 4

一句话总结

本文研究了权重矩阵设定下中等增长型条件的等价性，证明了单个权重序列中经典中等增长条件的等价性并不适用于权重矩阵框架。研究表明，混合条件——经典（mg）条件的推广——在矩阵框架下并不等价，尤其在与权重函数相关的权重矩阵中，且通过构造反例表明广义（1.1）型条件的失效。

ABSTRACT

We study the generalizations of the known equivalent reformulations of condition moderate growth from the single weight sequence to the weight matrix setting. This condition, also known in the literature under the name stability under ultradifferentiable operators, plays a significant role in the theory of ultradifferentiable (and ultraholomorophic) function classes defined in terms of weight sequences and its generalization becomes relevant when dealing with classes defined by weight matrices. In the matrix setting, we prove that the different mixed conditions are in general not equivalently satisfied anymore and we focus on weight matrices associated with (associated) weight functions.

研究动机与目标

• 研究单个权重序列设定下中等增长型条件的等价性是否可推广至权重矩阵设定。
• 分析权重矩阵背景下混合条件（M{mg}）与（M(mg)）的有效性及其相互关系。
• 构造反例以证明广义（1.1）型条件在矩阵设定下的失效。
• 刻画由权重序列导出的权重矩阵的定理3.1广义形式成立的条件。
• 阐明可接受权重矩阵在保持超不同光滑函数类优良性质中的作用。

提出的方法

• 聚焦于通过关联权重函数由权重序列 M 构造的权重矩阵 MωM。
• 利用 ϕω = ω ◦ exp 的 Young 共轭 ϕ∗ω 的凸性，分析序列 W(x) 的增长行为。
• 应用对商序列 µp = Mp/Mp−1 的对数凸性与渐近估计，推导增长指数。
• 对 ϑ(x)p / ϑ(x)p−1 使用下极限估计，以验证或否定广义（1.1）型条件。
• 在定理 4.8 中构造反例，表明（1.1）的混合版本在一般情况下不成立。
• 应用 [20, Def. 4.6] 和 [23, Prop. 3.6] 的结果，评估权重矩阵的可接受性。

实验结果

研究问题

• RQ1 在权重矩阵设定下，混合中等增长条件（M{mg}）与（M(mg)）是否如单个序列情况下（mg）那样等价？
• RQ2 对于与权重函数相关的权重矩阵，（1.1）的广义版本，如（4.1）和（4.2），是否仍然有效？
• RQ3 经典中等增长条件的等价性能否推广至矩阵框架，还是存在根本性障碍？
• RQ4 在由权重序列导出的权重矩阵 MωM 下，定理 3.1 的广义形式在何种条件下成立？
• RQ5 可接受权重矩阵在保持超不同光滑函数类中的正则性与增长性质方面起什么作用？

主要发现

• 经典中等增长条件的等价性并不适用于权重矩阵设定：一般情况下（M{mg}）与（M(mg)）不等价。
• 广义（1.1）型条件，如（4.1）和（4.2），在权重矩阵中一般不成立，如定理 4.8 中构造的反例所示。
• 对于由权重序列导出的权重矩阵 MωM，即使原始序列满足（mg），广义（1.1）型条件仍会失效。
• 若原始序列满足（β1）、（4.7）和（A.3），则矩阵 M′ωM = {M(c) : c ∈ N>0} 在 [20, Def. 4.6] 意义下是可接受的，从而保证了理想的正则性性质。
• 矩阵 M′ωM 中的每个 M(c) 均继承（β1）和（A.3），且与其后代序列等价，从而验证了可接受性定义中的关键组成部分。
• 结果确认，矩阵设定引入了与单个序列情况本质不同的差异，尤其体现在混合增长条件的行为上。