织构分析：织构数学推导
对称性怎样进入展开：从群平均推到被保留的系数
用四重轴、立方二阶消失和四阶不变量手算，解释对称基、取向多重性以及错误施加试样对称的后果。
先记住这三点
- 晶体对称来自同一晶格的等价表示；试样对称必须有物理与测量依据。
- 群平均是一个投影操作，删除不符合所选对称性的分量。
- 立方二阶项消失与普通极图奇阶丢失不是同一个原因。
先明确左边和右边分别作用于谁
继续采用 R：晶体→试样。晶体正旋转对称 C 改变晶体基的等价代表，对应 R→RC；试样对称 S 对应 R→SR。真实 ODF 若具有所指定的双侧对称，应满足 f(SRC)=f(R)。这里只用行列式为 +1 的旋转；反极等价另行处理。
立方晶体的正旋转群含 24 个操作。轧板常假定的正交试样群含 I 和绕 RD、TD、ND 的三个 180° 旋转，共 4 个操作。这个假定适合某些理想轧制状态，但表层摩擦剪切、单向剪切、单晶加载或不对称工艺可能使它不成立。
平均为什么能强制得到对称
对任意函数 f，定义 Πf(R)=[1/(|Gs||Gc|)]ΣSΣC f(SRC)。再用任意群成员 S₀、C₀ 作用于自变量，由于群乘积只是重新排列求和项，Πf(S₀RC₀)=Πf(R)。所以平均后的函数必然具有所选对称。
再平均一次不会改变结果，即 Π²=Π；Haar 测度在旋转下不变，因此平均也保持总积分。若原 f≥0，平均仍非负。这三个性质解释了为何群平均适合作为“投影到对称函数空间”的操作。它没有证明样品本来有这个对称，而是把不对称信息删掉了。
手算四重轴：为什么只留下 m 为 4 的倍数
设围绕 z 的方位项是 e^(imψ)。对 0、π/2、π、3π/2 四个旋转求平均，得到 e^(imψ)[1+e^(imπ/2)+e^(imπ)+e^(i3mπ/2)]/4。方括号是有限等比级数；当 m 是 4 的倍数时等于 4，否则等于 0。
因此晶体四重轴要求该方向的方位频率只保留 m=0,±4,±8……。二重轴同理只留下偶数频率。毛书 §2-6 的 m=4m′、n=2n′ 就来自这种周期约束；它们不是关于晶粒数量的经验规律，也不足以单独代表完整立方群。
为什么还需要三重轴和轴间交换
立方晶体还把 x、y、z 方向彼此联系起来。只要求四重轴会保留许多绕 z 对称、却不等价于绕 x 或 y 的函数；因此还需把这些系数联系起来。群平均一次包含所有操作，可以避免逐个漏写约束。
在广义球函数语言中，每一阶的 Dˡ(SRC)=Dˡ(S)Dˡ(R)Dˡ(C)。分别平均左右矩阵，得到 PsˡDˡ(R)Pcˡ，其中 Pcˡ=ΣCDˡ(C)/|Gc|，Psˡ 同理。各投影矩阵本征值为 1 的子空间，就是该阶允许的对称基；本征值为 0 的方向被删去。
手算立方二阶项为什么为零
一般二阶球谐可写成 hᵀAh，其中 A 对称且 trA=0。立方群包含 x、y、z 的置换，平均后三个对角元必须相等；还包含足以改变交叉项符号的旋转，所以非对角元必须为零。于是平均后的 A 只能是 aI。
再用 trA=0 得 3a=0，因此 A=0。这完整解释了立方对称下没有非零 l=2 球谐不变量。毛书在式(2-151)–(2-154)中得出的二阶系数消失，在这里可用一个 3×3 张量看明白。它是晶体对称的结果，和 Friedel 定律使测量看不见奇阶项要分开。
四阶为什么可以留下：自己构造一个
考虑齐次多项式 H₄=x⁴+y⁴+z⁴−(3/5)(x²+y²+z²)²。它显然在坐标置换和符号变换下不变。计算三维 Laplace：Δ(x⁴+y⁴+z⁴)=12r²，而 Δr⁴=20r²，因此 ΔH₄=12r²−(3/5)20r²=0。它就是一个立方四阶调和多项式。
限制到单位球面得到 H₄(h)=x⁴+y⁴+z⁴−3/5。沿 [001] 值为 2/5，沿 [111] 值为 1/3−3/5=−4/15。这样，最低阶的立方非均匀项已经能区分立方轴与体对角方向。要把它用于数值系数，还应再归一其平方积分；这里保留简单形式以便手算。
对称约束怎样减少反演未知数
无对称时，同一 l 的 ODF 有 (2l+1)² 个矩阵系数。施加晶体与试样对称后，独立数量变为晶体不变子空间维数 M(l) 与试样不变子空间维数 N(l) 的乘积。书中用线性组合系数把原基变成对称基，本质上就是为这两个子空间选坐标。
测量多少张 PF 不能只看未知数的总数。对某阶某试样分量，需要各晶面族在晶体对称基上的取值组成满列秩矩阵。两行虽然来自不同反射，若在该阶提供相同或近似相同的约束，就不能稳定区分相应系数。应同时考察对称、阶数、独立性和噪声。
96 个等价表示与欧拉空间积分
一般取向在 24×4 个操作下有 96 个等价代表；特殊取向可能被某些双侧操作保持不变，代表数应为群大小除以稳定子大小。不能见到一个 Cube 或 Goss 峰，就机械复制 96 次当成 96 个不同物理晶粒。
常用 0–90° 欧拉角立方盒在立方晶体和正交试样条件下仍可能包含多个等价子域。毛书 pp.65–74 明确说明三重轴会进一步联系其中三个子区，边界还是曲面。因此“每个角都取 0–90°”不等于已经获得无重复的最小基本区；做积分必须用软件一致的基本区与 Haar 权重。
真实图谱中的错误施加对称会是什么样
假设板材上表面受到沿 RD 的单向剪切，一侧峰强另一侧弱。强制正交平均会把强峰复制到对称位置，并同时削弱原峰；总积分仍正确，图片也更整齐，但真实不对称已被抹平。这类错误不会由“归一化成功”自动暴露。
读毛书的纯铁与超低碳钢案例时，应把其轧制对称假设写在结果前提中。初学者实际操作可先用最低必要试样对称作 PF，检查对称位置是否在误差范围内一致，再决定是否约化。晶体相的对称则按结构确定，不应为了让图好看而任意修改。
来源与延伸阅读
以下链接用于核对概念、标准状态或原始文献。本页为中文教学整理，不复制受版权保护的标准正文。