<p>We analyze a bilinear control problem governed by a semilinear parabolic equation. The control variable is the Robin coefficient on the boundary. First-order necessary and second-order sufficient optimality conditions are derived. A sequential quadratic programming algorithm is then proposed to compute local solutions. Starting the iterations from an admissible initial control in an <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-neighborhood of the local solution we prove stability and quadratic convergence of the algorithm in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p &lt; \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>) and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> assuming that the local solution satisfies a no-gap second-order sufficient optimality condition and a strict complementarity condition.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Boundary Bilinear Control of Semilinear Parabolic PDEs: Quadratic Convergence of the SQP Method

  • Eduardo Casas,
  • Mariano Mateos

摘要

We analyze a bilinear control problem governed by a semilinear parabolic equation. The control variable is the Robin coefficient on the boundary. First-order necessary and second-order sufficient optimality conditions are derived. A sequential quadratic programming algorithm is then proposed to compute local solutions. Starting the iterations from an admissible initial control in an \(L^2\) L 2 -neighborhood of the local solution we prove stability and quadratic convergence of the algorithm in \(L^p\) L p ( \(p < \infty \) p < ) and \(L^\infty \) L assuming that the local solution satisfies a no-gap second-order sufficient optimality condition and a strict complementarity condition.