摘要： To establish the first order necessary conditions for infinite dimensional optimization problems with constraints, people introduce Generalized Lagrange Multipliers. In order to guarantee the nontriviality of these multipliers, people further introduce the so-called finite codimensionality condition (e.g., the classical work on optimal control problems for abstract evolution equations with endpoint state constraints by Xunjing Li and Jiongmin Yong). It is usually not easy to verify such a condition directly except for some special cases. A key contribution in this work is, by a duality argument, to reduce the problems to suitable a priori estimates, which look like Gårding type inequalities for concrete problems. (Jointly with Xu Liu, Qi Lü and Haisen Zhang).

宝威体育（中国）集团有限公司人简介：张旭，男，1968年生，1989年本科毕业于四川大学数学系，1998年博士毕业于复旦大学数学研究所，现任四川大学数学学院教授，主要研究分布参数系统和随机系统的控制理论。其工作发表在SIAM Rev. （美国工业与应用数学会旗舰刊物，他与合作者关于随机最优控制逐点型二阶必要条件的工作被该刊挑选为SIGEST论文）、Comm. Pure Appl. Math.和J. Eur. Math. Soc.等刊，已在Springer出版专著两部。曾获国家自然科学二等奖和教育部自然科学一等奖，入选教育部“长江学者奖励计划”特聘教授、中国科学院“百人计划”、国家高层次人才特殊支持计划领军人才以及四川省“天府万人计划”天府杰出科学家，国家杰出青年基金获得者。先后担任《中国科学：数学》、《SIAM J. Control Optim.》、《ESAIM Control Optim. Calc. Var.》、《Annual Reviews in Control》、《Sci. Rep.》、《Acta Appl. Math.》、《Acta Math. Appl. Sin.》、《J. Math. Anal. Appl.》、《AIMS Mathematics》和《Math. Control Relat. Fields》等刊编委、副主编或主编，并应邀在国际数学家大会上作45分钟宝威体育（中国）集团有限公司。

海报