20.1 常用数学公式与定理速查（KKT、Bellman、Lyapunov等）

文档摘要

20.1 常用数学公式与定理速查（KKT、Bellman、Lyapunov等） 20.1 常用数学公式与定理速查（KKT、Bellman、Lyapunov等）在运筹学与控制论的庞大知识体系中，数学不仅是工具，更是思维的骨架。它支撑起从静态优化到动态决策、从稳定分析到鲁棒控制的整座理论大厦。而在这座大厦的“附录层”——即我们常说的“速查手册”——最常被翻阅、最常被引用、也最容易被误读的，莫过于那几个看似简洁却内涵深邃的核心公式与定理：Karush-Kuhn-Tucker条件（KKT）、Bellman最优性原理、以及Lyapunov稳定性判据。它们如同三把钥匙，分别开启约束优化、序贯决策与系统稳定性的大门。本文将以研究员身份，深入剖析这三大核心工具的本质、推导、应用边界与前沿演化。