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

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

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