多元实变函数微积分/测试函数
外观
我们将考虑两类测试函数,即 bump 函数和 Schwartz 函数。
定义 (Schwartz 函数):
令 。 那么 上的 Schwartz 函数 是以下定义的集合
- .
定义 (bump 函数):
令 。 上的 bump 函数 是一个函数 ,使得 ,即 的 支撑,是紧致的。
命题 (测试函数是可积的):
令 或 。 那么 。
{{证明|首先假设 。 我们知道在 上, 通过 Weierstraß 定理 达到最大值。
我们将考虑两类测试函数,即 bump 函数和 Schwartz 函数。
定义 (Schwartz 函数):
令 。 那么 上的 Schwartz 函数 是以下定义的集合
定义 (bump 函数):
令 。 上的 bump 函数 是一个函数 ,使得 ,即 的 支撑,是紧致的。
命题 (测试函数是可积的):
令 或 。 那么 。
{{证明|首先假设 。 我们知道在 上, 通过 Weierstraß 定理 达到最大值。