[论文解读] Addendum to : Orthonormal bases of regular wavelets in spaces of homogeneous type

Pascal Auscher, Tuomas Hytönen|arXiv (Cornell University)|Jan 26, 2015

Mathematical Analysis and Transform Methods参考文献 2被引用 9

一句话总结

此补充说明澄清了：在原始论文第4.5节中声称的 Hölder 连续函数在 $ L^p(u) $ 中的稠密性，其成立与否关键取决于 'Borel 测度' 定义方式。当测度为标准的 $ \sigma $-可加 Borel 测度时，该结果成立；但若测度通过外测度或在更广的 $ \sigma $-代数上定义 $ \sigma $-可加，则需额外引入正则性条件——即每个 $ \nu $-可测集均包含于一个测度相等的 Borel 集中——才能保证该结果成立。此条件确保了在 $ 1 < p < \infty $ 时，小波表示在 $ L^p $ 中依然有效。

ABSTRACT

We bring a precision to our cited work concerning the notion of "Borel measures", as the choice among different existing definitions impacts on the validity of the results.

研究动机与目标

• 解决原始论文中 'Borel 测度' 定义的模糊性，该模糊性影响了关键结果的有效性。
• 确认第4.5节中的稠密性结果依赖于测度是否在 Borel $ \sigma $-代数上 $ \sigma $-可加，或通过外测度定义。
• 确立原始小波表示结果仅在 $ \mu $ 为外测度或在更大 $ \sigma $-代数上定义时，若施加正则性条件（即对任意 $ \mu $-可测集 $ A $，存在包含 $ A $ 的 Borel 集 $ B $ 满足 $ \mu(A) = \mu(B) $），才保持有效。
• 澄清若无此类正则性条件，则稠密性仅在 $ L^p $ 中具有 Borel 可测代表元的子空间中成立。
• 确保在不同测度论假设下，同类型空间中小波基的一致性与正确性。

提出的方法

• 分析文献中 'Borel 测度' 定义的不同影响，特别是区分在 Borel $ \sigma $-代数上的 $ \sigma $-可加测度与外测度。
• 考察 Carathéodory 延拓条件，以确定在何种情况下 $ \mu $-可测集可被测度相等的 Borel 集逼近。
• 重新审视第4.5节的证明，识别出正则性假设在 Hölder 连续函数稠密性中成为关键的环节。
• 引入正则性条件：对每个 $ \mu $-可测集 $ A $，存在满足 $ \mu(A) = \mu(B) $ 的 Borel 集 $ B \supseteq A $，以确保该条件在外部测度设定下证明仍成立。
• 采用 [3] 中定义的 '正则 Borel 外测度' 概念，其中该条件对所有 $ \mu $-可测集均成立。
• 确立小波表示在 $ L^p $ 中对 $ 1 < p < \infty $ 有效，仅当函数具有 Borel 可测代表元，且在正则性假设下成立。

实验结果

研究问题

• RQ1 第4.5节中关于 Hölder 连续函数在 $ L^p $ 中稠密的结论，是否在所有 'Borel 测度' 定义下均成立？
• RQ2 在外部测度或非 Borel $ \sigma $-代数的语境下，为确保原始证明有效，需要哪些测度论条件？
• RQ3 测度定义的选择如何影响同类型空间中小波表示的有效性？
• RQ4 在何种条件下，具有 Borel 可测代表元的 $ L^p $ 函数空间在给定测度下于 $ L^p $ 中稠密？
• RQ5 当测度在 Carathéodory 意义下不具正则性时，原始小波构造结果是否仍可保持？

主要发现

• 若测度 $ \mu $ 在 Borel $ \sigma $-代数上 $ \sigma $-可加，则第4.5节的原始结果成立，因为 Borel 集与可测集重合。
• 若 $ \mu $ 为外测度或在更大的 $ \sigma $-代数上 $ \sigma $-可加，则证明需额外假设：每个 $ \mu $-可测集均包含于一个测度相等的 Borel 集中。
• 若无此正则性条件，则正确结论为：有界支集的 Hölder 连续函数在具有 Borel 可测代表元的 $ L^p $ 函数子空间中稠密。
• 当未假设正则性条件时，小波表示结果仅对上述子空间中的函数在 $ 1 < p < \infty $ 时有效。
• 该区别至关重要：若无正则性，小波基可能无法表示所有 $ L^p $ 函数，仅能表示具有 Borel 可测代表元的函数。
• 本文确认，在标准 Borel 测度定义下，原始结果如所述成立，但强调在更一般的测度论设定中，必须明确引入正则性假设。