怎样为空间累积模型选择区域、坐标与核验方法？¶

先备知识¶

掌握第 33–36 章此前全部理论和常见坐标系。

学习目标¶

从问题语义到积分、计算和核验完成一个可审计的空间模型。

牵引问题¶

算出一个数不等于模型完成；怎样证明区域、坐标、单位和误差解释彼此一致？

探索与猜想¶

可靠模型需要同时回答“积什么、在哪里积、为何能积、怎样算、怎样独立检查”。

概念与理论¶

建模流程：

1. 明确局部量及其量纲；
2. 用不等式定义区域，检查有界性、奇点与对称；
3. 比较直角、极、柱面、球面坐标；
4. 核验可积性和换元条件；
5. 完成解析计算；
6. 用单位、界、对称性或另一种方法作独立核验。

综合项目取半径 \(R\) 的球体，密度 \(\rho(r)=\rho_0(1-r^2/R^2)\)。它非负、球对称且边界降为零。球面坐标给

量纲为密度乘体积；结果也小于常密度 \(\rho_0\) 球体质量 \((4\pi/3)\rho_0R^3\)，两项核验一致。

Monte Carlo 选读¶

随机点平均可作数量级观察，但本书不提供 Monte Carlo API，不讲置信区间或收敛率， 也不把随机吻合当作可积性、换元条件或解析值的证明。

例题与迁移¶

例 1：坐标误选¶

球对称密度用直角坐标会产生三层根式边界；球面坐标把区域变为常范围并使密度只依赖 半径，但仍必须保留 \(r^2\sin\phi\)。

例 2：上界核验¶

若 \(0\le\rho\le\rho_0\)，则 \(0\le M\le\rho_0\operatorname{vol}(\Omega)\)； 任何超出此界的计算都暴露区域、Jacobian 或代数错误。

即时检验与回望¶

即时检验 1¶

为何先写单位再积分？

即时检验 2¶

数值吻合能替代换元条件证明吗？

常见误区与后续¶

• 对称性既用于选坐标，也用于核验结果。
• 反常模型先证明收敛，再谈数值近似。
• 第九部将把局部量沿曲线和曲面累积。

习题与答案¶

习题 1¶

模型第一步是什么？

习题 2¶

球对称密度优先选什么坐标？

习题 3¶

为什么密度非负要检查？

习题 4¶

质量上界怎样构造？

习题 5¶

球对称模型的质心在哪里？

习题 6¶

换元后漏掉 Jacobian 会怎样？

习题 7¶

解析核验可用哪些方法？

习题 8¶

Monte Carlo 在本单元是什么地位？

习题 9¶

为何记录区域不等式？

习题 10¶

反常模型的额外步骤是什么？

习题 11¶

量纲正确是否足以证明答案正确？

习题 12¶

列出完成定义的五项证据。