一、项目背景详细介绍
在数值计算、科学计算与工程仿真中，对二维区域上的函数进行积分估计是一个极其基础却又极其重要的问题。
典型应用包括：
计算二维物理场的总能量
有限元 / 有限体积方法中的数值积分
计算概率密度在特定区域内的质量
计算极坐标系统下的积分
图形学中基于区域的采样与积分
在这些应用中，我们经常遇到这样一种几何区域：
二维圆形环形区域（Annulus）
即：
1.1 为什么“圆形环形区域”是一个难点？
与矩形区域相比，圆形环形区域具有以下特点：
非笛卡尔结构
边界是曲线而非直线
自然坐标系是极坐标
面积元素包含 Jacobian：rrr
因此：
直接套用二维 Gauss-Legendre 不合适
Monte Carlo 收敛慢
简单均匀采样精度不足
👉 这正是**正交求积规则（Orthogonal Quadrature Rule）**发挥作用的地方。
1.2 什么是正交求积规则
正交求积规则的基本思想是：
用一组精心选择的节点与权重，在有限次函数评估内，精确或高精度地近似积分。
其一般形式为：
1.3 本文目标
本文将从数学建模 → 正交规则设计 → C++ 实现 → 工程扩展，完整展示：
如何在二维圆形环形区域内部，构造并实现一个基于正交规则的积分估计算法
二、项目需求详细介绍
2.1 功能需求
实现一个 C++ 模块，用于：
对任意连续函数
在二维圆形环形区域内进行积分估计
支持：
使用正交求积规则（非 Monte Carlo）
2.2 数学需求
利用区域对称性
利用极坐标变换
正确处理 Jacobian（rrr）
三、相关技术详细介绍
3.1 极坐标下的积分变换
3.2 正交规则的分离思想
3.3 角向正交规则
3.4 径向正交规则
四、实现思路详细介绍
4.1 总体算法流程
4.2 数学表达式
最终数值积分为：
4.3 设计原则
对称性保持
权重清晰
可读性优先
方便扩展到 3D
五、完整实现代码
/************************************************************ * File: annulus_quadrature.cpp * Description: * Orthogonal quadrature rule for integrating * functions over a 2D circular annulus. * Standard: C++17 ************************************************************/ #include <cmath> #include <iostream> #include <vector> #include <functional> /********************** Gauss-Legendre **********************/ struct GaussLegendreRule { std::vector<double> nodes; std::vector<double> weights; }; // 简化版 Gauss-Legendre（固定阶数，教学用） GaussLegendreRule gauss_legendre_4() { GaussLegendreRule rule; rule.nodes = { -0.8611363116, -0.3399810436, 0.3399810436, 0.8611363116 }; rule.weights = { 0.3478548451, 0.6521451549, 0.6521451549, 0.3478548451 }; return rule; } /******************** Annulus Quadrature ********************/ double integrate_annulus( const std::function<double(double, double)>& f, double r_in, double r_out, int n_theta ) { GaussLegendreRule gl = gauss_legendre_4(); double result = 0.0; double dr = (r_out - r_in) / 2.0; double r_mid = (r_out + r_in) / 2.0; double dtheta = 2.0 * M_PI / n_theta; for (size_t i = 0; i < gl.nodes.size(); ++i) { double r = dr * gl.nodes[i] + r_mid; double wr = gl.weights[i] * dr; for (int j = 0; j < n_theta; ++j) { double theta = j * dtheta; double x = r * std::cos(theta); double y = r * std::sin(theta); double wtheta = dtheta; // Jacobian r result += wr * wtheta * f(x, y) * r; } } return result; } /**************************** Main **************************/ int main() { // 示例函数：f(x,y) = x^2 + y^2 auto f = [](double x, double y) { return x * x + y * y; }; double r_in = 1.0; double r_out = 2.0; int n_theta = 32; double val = integrate_annulus(f, r_in, r_out, n_theta); std::cout << "Integral over annulus = " << val << std::endl; // 理论值：∫(x^2+y^2)dA = π/2 (r_out^4 - r_in^4) double exact = M_PI / 2.0 * (std::pow(r_out,4) - std::pow(r_in,4)); std::cout << "Exact value = " << exact << std::endl; return 0; }六、代码详细解读（仅解读方法作用）
6.1gauss_legendre_4
提供 4 点 Gauss-Legendre 正交规则
用于径向积分
在多项式阶数 ≤ 7 时可精确
6.2integrate_annulus
核心积分函数
采用径向 × 角向张量积正交规则
自动处理 Jacobian 因子
对任意函数指针/λ 可用
6.3main
定义测试函数
给出理论解析解
验证数值积分正确性
七、项目详细总结
通过本项目，你系统掌握了：
二维环形区域积分的数学建模
极坐标下 Jacobian 的正确处理
正交规则在非矩形区域中的应用
从数学公式到 C++ 工程实现的完整链路
这类方法在以下领域尤为重要：
有限元数值积分
PDE 数值解
概率密度归一化
科学计算与仿真
八、项目常见问题及解答（FAQ）
Q1：为什么不用 Monte Carlo？
Q2：角向为什么用等权？
周期函数的 Fourier 正交性质
实现简单、稳定
Q3：能否自适应阶数？
可以
需引入误差估计机制
九、扩展方向与性能优化
9.1 数值扩展
更高阶 Gauss-Legendre
Clenshaw–Curtis
自适应径向细分
9.2 几何扩展
椭圆环
扇形区域
3D 球壳（spherical shell）
9.3 工程优化
预计算 sin/cos
SIMD 并行
OpenMP 加速
