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

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

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