3.1.2 基本积分定理（ML不等式）

文档摘要

3.1.2 基本积分定理（ML不等式）在复分析的工程实践中，我们常被问到这样一个朴素却尖锐的问题：当面对一条蜿蜒于复平面上的积分路径——比如绕着某个奇点旋转半圈的圆弧、沿矩形边界逐段逼近的折线，或更现实的——由传感器采样点拟合出的非解析轮廓时，如何不实际计算积分值，就能预先判断该积分的量级是否可控？这不是数学家的思辨游戏。它是数字信号处理中滤波器稳定性验证的底层依据，是电磁场仿真中辐射积分收敛性的判据，是量子路径积分蒙特卡洛采样前的关键截断条件，更是现代控制理论中Lyapunov函数构造时对闭环响应幅值的先验约束。而支撑这一切的，正是3.1.2节所讲的——基本积分定理（ML不等式）。