作业: 齐次分布, Hadamard 有限部分
分布的定义、例子与操作
习题 A. 我们总假设 是非空的开集.
A1) | 假设 并且 , 那么, 也是光滑函数. |
A2) | 对任意给定的分布 , 对任意的试验函数序列 , 如果 , 试证明, |
A3) | 对任意整数 , 我们定义 上的线性泛函: 其中, 指的是求 次导数. 证明, 这定义了 上的分布并且其阶恰好为 . |
A4) | 我们定义 上的线性泛函: 证明, 这定义了 上的分布然而我们不能定义它的阶. |
A5) | 证明, 的阶恰为 . |
A6) | 证明, 如果试验函数 满足 , 那么 |
A7) | 证明, 上的函数不能延拓为 上的一个分布, 即不存在 , 使得对任意的 , 我们都有 |
A8) | 对任意的 , 我们令证明, 当 时, 在分布 () 的意义下有极限并计算该极限. |
A9) | 对任意的 , 我们定义我们把它们看作是 中的一族分布. 证明, 当 时, 在分布的意义下是没有极限的. |
习题 B ( 上的概率分布函数) .
B1) | 假设 是 上的概率测度, 即 , 其中 是 Borel 代数. 证明, 函数是递增的、右连续的函数并且满足 |
B2) | 假设 是 上的概率测度, , 证明, 在分布的意义下 |
B3) | 任给定 上的单调递增的函数 , 满足证明, 其分布意义下的导数 可以被视为是 上的概率测度, 即存在概率测度 , 使得对任意的 , 我们有 |
习题 C (Hadamard 的有限部分 (parties finies) ) .
C1) | 给定参数 , 证明, 函数 是 上的可积函数. |
C2) | 给定参数 . 证明, 对任意 , 对任意的 , 我们都可以把积分 写成下面的形式: 其中, 是由 决定的常数并且当 时, 有极限. |
C3) | 证明, 下述公式定义出 中的分布: |
C4) | 给定参数 ( 不是整数) . 证明, 对任意 , 对任意的 , 我们都可以把积分 写成下面的形式: 其中, 是有限个 的负次方的常数系数 (依赖于 ) 线性组合, 而当 时, 有极限. |
C5) | 证明, 下述公式定义出 中的分布: |
C6) | 计算如下的分布其中 . |
C7) | 如果 , 你是否可以定义出 ? |
C8) | (选做) 如果 , 你能否对上述问题做出相应的改动和回答? |
习题 D (关于分布的一个除法问题, ) .
D1) | 任意给定试验函数 , 证明, 如果 , 那么函数 |
D2) | 证明, 对每个 , 存在 , 使得在分布的意义下 |
D3) | 试找出一切 , 使得在分布的意义下 |
D4) | 试在分布的意义下找出如下四个方程的所有解: 和其中 且不是整数. |
D5) | 试找出所有的 , 使得在分布的意义下, 我们有 |
习题 E (一个 上的微分方程) .
现在在 上面研究问题, 我们用 作为标准的坐标函数.
E1) | 假设分布 满足证明, 存在 , 使得对任意的 , 我们都有 |
E2) | (正则性) 假设分布 满足也就是说, 和 分别对应着连续函数所定义的分布. 证明, . |
习题 F (齐次分布) .
给定试验函数 , 对任意的实数 , 我们定义对于 , 我们定义分布 如下: 如果对每个 , 下面的等式成立: 我们就称 为次数是 的齐次分布, 其中 .
F1) | 假设分布 是由某个局部可积的函数 定义. 证明, 是 次齐次分布当且仅当对几乎处处的 , 我们有 |
F2) | 证明, 和 (其中 且非整数) 是 上的齐次分布并确定它们的次数. |
F3) | 证明, 是 上的齐次分布并确定其次数. |
F4) | 假设 上的 次齐次分布, 证明. 是 次的齐次分布. |
F5) | 任意给定 上 个齐次分布, 如果它们的次数互不相同, 证明, 它们在 中是 -线性无关的. |
F6) | 任意给定试验函数 , 任意给定正实数 和 , 假设 . 我们定义证明, 当 时, 上述函数在 中有极限并计算该极限. |
F7) | (齐次分布的 Euler 公式) 任意给定 , . 证明, 是 次齐次分布当且仅当 |
F8) | 试找出 中所有次数为 和 的次齐次分布. |
寄语. Je suis mathématicien. Les mathématiques ont rempli ma vie.
—— Laurent Schwartz