作业: 齐次分布, 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