【袁氏引理】數學家袁亞湘在非線性規劃方面的研究成果被國際上命名為“袁氏引理”。

　　袁亞湘，男，1960年1月出生于中國湖南資興。十八歲考上湘潭大學,四年后考上中國科學院計算中心研究生,師從馮康教授。1982年11月起在劍橋大學應用數學與理論物理系攻讀博士,師從M.J.D.POWELL教授。1986年獲博士學位。1985年10月至1988年9月在劍橋大學菲茨威廉姆學院工作(Rutherfordresearchfellow),1988年回到中國在中國科學院計算中心工作。現任中國科學院數學與系統科學研究院副院長。

　　袁亞湘在超線性優化的算法及其理論方面，取得了一系列的重要成果。他在信賴域法的收斂性分析方面所做的工作是開創性的，特別是對于非光滑優化信賴域方法的研究得出了一系列重要的收斂性定理，給出了超線性收斂的充分必要條件。他因此在1984年獲英國劍橋大學數學學業部研究生論文競賽唯一的一等獎，以及1985年在英國倫敦獲首屆青年國際數值分析獎二等獎。他在擬牛頓方法的理論研究方面貢獻很大，他和美國科學家合作證明了一類擬牛頓方法的全局收斂性，這是非線性規劃算法理論在80年代最重要的成果之一。他還首創性地提出了用信賴域方法和傳統的線搜索方法的結合來構造新的計算方法，開創了利用非二次模型信息構造二次模型子問題的方法，提出了非擬牛頓方法。國外同行稱袁亞湘在信賴域方法領域取得的成就是基石性的成果，他的貢獻對最優化領域是至關重要的。