[論文レビュー] 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 の凸共役 ϕ∗ω の凸性を用いて、列 W(x) の成長挙動を分析する。
• log-凸性および商列 µp = Mp/Mp−1 における漸近的推定を用いて成長指数を導出する。
• lim inf 推定を ϑ(x)p / ϑ(x)p−1 に適用し、一般化された (1.1)-型条件の成立・不成立を検証する。
• 定理 4.8 で、混合 (1.1) の一般化が一般には満たされない反例を構成する。
• [20, Def. 4.6] および [23, Prop. 3.6] の結果を用いて重み行列の適切性を評価する。

実験結果

リサーチクエスチョン

• RQ1 単一列の場合に (mg) が同値であるように、重み行列設定における混合中程度成長条件 (M{mg}) と (M(mg)) は同値であるか？
• RQ2 重み関数と関連する重み行列に対して、(1.1) の一般化版、例えば (4.1) および (4.2) は有効であるか？
• RQ3 古典的同値性が行列枠組みに拡張可能か、それとも根本的な障害があるか？
• RQ4 重み列から導かれる重み行列 MωM に対して、定理 3.1 の一般化がいつ有効か？
• RQ5 適切な重み行列が超微分可能関数クラスにおける正則性および成長性の性質を保持する役割は何か？

主な発見

• 古典的同値性が重み行列設定に拡張されない：一般には (M{mg}) と (M(mg)) は同値でない。
• 定理 4.8 で構成された反例により、重み行列に対して一般化された (1.1)-型条件（例えば (4.1) および (4.2)）は一般には満たされない。
• 重み列から導かれる重み行列 MωM に対して、元の列が (mg) を満たしても、一般化された (1.1)-型条件は不成立である。
• 行列 M′ωM = {M(c) : c ∈ N>0} が [20, Def. 4.6] の意味で適切であるのは、元の列 M が (β1)、(4.7)、および (A.3) を満たす場合であり、このとき望ましい正則性性質が保証される。
• 行列 M′ωM の各 M(c) は (β1) および (A.3) を満たし、その子列と同値であるため、適切性定義の主要な要素が正当化される。
• 結果は、行列設定が単一列の場合とは本質的に異なることを確認しており、特に混合成長条件の挙動に顕著な差が生じる。