张量场可微性及微分算子.pdf

张量场可微性及微分算子 谢锡麟 复旦大学力学与工程科学系 2015 年4 月2 日 麟 1 知识要素 1.1 张量场与张量赋范线性空间 锡 定义 1.1 (张量场). 设有映照 : ⊃ ∋ → () ∈ ( ) 谢 则此张量() 称为定义在 上的张量场. 类似于向量, 如果想要讨论张量的 “大小”, 则需定义张量的范数. 定义 1.2 (张量的范数). 设有映照 稿 | | : ( ) ∋ → | | ∈ 如果满足以下条件: 讲 1. 非负性：| | 0∀ ∈ ( ); 2. 非退化性：| | = 0 ⇔ = ∈ ( ); 析 3. 正齐次性：| | = || | | ∀ ∈ ∈ ( ); 4. 三角不等式：| | + | | | + | ∀ ∈ ( ), 分 则称 | | 为张量 的范数. 定理 1.1 (张量范数的一种形式). 张量自身全点积的平方根是张量的一种范数, 即有 量 | | = √ ⊙ = √ 张 证明 考虑到 [ ] [ · · · ] = · · · = · · · = 亦即张量自身全点积不依赖于基的选取. 由此, 可在单位正交基下计算张量自身全点积, 此时 | | 为张量的所有分量的平方根, 易证其满足范数的相关条件. 1 张量场可微性及微分算子 谢锡麟 性质 1.2 (简单张量的范数). 在定理1.1定义的范数下, 以三阶简单张量为例, 其范数为 | ⊗ ⊗ | = | | | | | | 证明 由 ⊗ ⊗ = ⊗ ⊗ = ⊗ ⊗ 则有 √ √ | ⊗ ⊗ | = ( ⊗ ⊗ ) ( ⊗ ⊗ ) = ( )( 麟 = | | | |