# American Institute of Mathematical Sciences

January  2017, 13(1): 47-62. doi: 10.3934/jimo.2016003

## Line search globalization of a semismooth Newton method for operator equations in Hilbert spaces with applications in optimal control

 Institut für Mathematik und Rechneranwendung (LRT-1), Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, 85577 Neubiberg/München, Germany

* Corresponding author

Received  May 2014 Published  March 2016

We consider the numerical solution of nonlinear and nonsmooth operator equations in Hilbert spaces. A semismooth Newton method is used for search direction generation. The operator equation is solved by a globalized semismooth Newton method that is equipped with an Armijo linesearch using a semismooth merit function. We prove that an accumulation point of the globalized algorithm is a solution and transition to fast local convergence under a directional Hadamard-like continuity assumption on the Newton matrix. In particular, no auxiliary descent directions or smoothing steps are required. Finally, we apply this method to a control-constrained and also to a regularized state-constrained optimal control problem subject to partial differential equations.

Citation: Matthias Gerdts, Stefan Horn, Sven-Joachim Kimmerle. Line search globalization of a semismooth Newton method for operator equations in Hilbert spaces with applications in optimal control. Journal of Industrial & Management Optimization, 2017, 13 (1) : 47-62. doi: 10.3934/jimo.2016003
##### References:

show all references

##### References:
Discrete solution of (P2) for $h=1/64$. Left-hand side: Optimal state $y^h(x_1, x_2)$ on $x_3$ axis vs. $x_1$ and $x_2$. Right-hand side: Optimal control $u^h(x_1, x_2)$ on $x_3$ axis vs. $x_1$ and $x_2$
Discrete solution of (P3) for $h=1/32$. Left-hand side: Optimal state $y^h(x_1, x_2)$ on $x_3$ axis vs. $x_1$ and $x_2$. Right-hand side: Optimal control $u^h(x_1, x_2)$ on $x_3$ axis vs. $x_1$ and $x_2$
Iteration history for the solution of problem (P2) for $h=1/256$. Step size $\alpha_k$, norm $\Vert f(z_k)\Vert_{Z^*}$ and norm of the search direction $\Vert s_k\Vert_Z$ for the $k$-th iterate. These numerical results exhibit the superlinear convergence
 $k$ $\alpha_k$ $\left\Vert f(z_k)\right\Vert_{Z^*}$ $\left\Vert s_k\right\Vert_Z$ 0 - 5.43111E-02 - 1 9.76563E-04 5.43015E-02 5.00085E+00 2 3.12500E-02 5.36304E-02 1.82556E+00 3 5.00000E-01 2.91839E-02 1.55585E+00 4 6.25000E-02 2.75202E-02 3.87423E-01 ┆ 16 0.25000E+00 1.65715E-02 2.48095E-02 17 0.50000E+00 1.38976E-02 1.28644E-02 18 1.00000E+00 1.24060E-02 6.81858E-03 19 1.00000E+00 9.44693E-03 1.63072E-03 20 1.00000E+00 5.60965E-06 4.47294E-05 21 1.00000E+00 2.27743E-15 1.57318E-11
 $k$ $\alpha_k$ $\left\Vert f(z_k)\right\Vert_{Z^*}$ $\left\Vert s_k\right\Vert_Z$ 0 - 5.43111E-02 - 1 9.76563E-04 5.43015E-02 5.00085E+00 2 3.12500E-02 5.36304E-02 1.82556E+00 3 5.00000E-01 2.91839E-02 1.55585E+00 4 6.25000E-02 2.75202E-02 3.87423E-01 ┆ 16 0.25000E+00 1.65715E-02 2.48095E-02 17 0.50000E+00 1.38976E-02 1.28644E-02 18 1.00000E+00 1.24060E-02 6.81858E-03 19 1.00000E+00 9.44693E-03 1.63072E-03 20 1.00000E+00 5.60965E-06 4.47294E-05 21 1.00000E+00 2.27743E-15 1.57318E-11
Iteration history for the solution of problem (P3) for $h=1/128$. Step size $\alpha_k$, norm $\Vert f(z_k)\Vert_{Z^*}$ and norm of the search direction $\Vert s_k\Vert_Z$ for the $k$-th iterate. We observe transition to local superlinear convergence
 $k$ $\alpha$ $\left\Vert f(z_k)\right\Vert_{Z^*}$ $\left\Vert s_k\right\Vert_{Z^*}$ 0 - 7.59736E+05 - 1 1.00000E+00 1.14024E+05 1.93458E+03 2 1.00000E+00 3.61620E+04 7.83427E+02 3 1.00000E+00 1.59280E+04 1.62132E+03 ┆ 9 2.50000E-01 3.03640E-02 1.48894E-01 10 1.00000E+00 9.69843E-03 3.23249E-02 11 1.00000E+00 2.42234E-05 9.90030E-06 12 1.00000E+00 3.15754E-06 2.56947E-07 13 1.00000E+00 1.14583E-07 1.59876E-09 14 1.00000E+00 1.70426E-13 5.17916e-13
 $k$ $\alpha$ $\left\Vert f(z_k)\right\Vert_{Z^*}$ $\left\Vert s_k\right\Vert_{Z^*}$ 0 - 7.59736E+05 - 1 1.00000E+00 1.14024E+05 1.93458E+03 2 1.00000E+00 3.61620E+04 7.83427E+02 3 1.00000E+00 1.59280E+04 1.62132E+03 ┆ 9 2.50000E-01 3.03640E-02 1.48894E-01 10 1.00000E+00 9.69843E-03 3.23249E-02 11 1.00000E+00 2.42234E-05 9.90030E-06 12 1.00000E+00 3.15754E-06 2.56947E-07 13 1.00000E+00 1.14583E-07 1.59876E-09 14 1.00000E+00 1.70426E-13 5.17916e-13
 [1] Zuliang Lu, Fei Huang, Xiankui Wu, Lin Li, Shang Liu. Convergence and quasi-optimality of $L^2-$norms based an adaptive finite element method for nonlinear optimal control problems. Electronic Research Archive, 2020, 28 (4) : 1459-1486. doi: 10.3934/era.2020077 [2] Lars Grüne, Matthias A. Müller, Christopher M. Kellett, Steven R. Weller. Strict dissipativity for discrete time discounted optimal control problems. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020046 [3] Lorenzo Zambotti. A brief and personal history of stochastic partial differential equations. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 471-487. doi: 10.3934/dcds.2020264 [4] Yueyang Zheng, Jingtao Shi. A stackelberg game of backward stochastic differential equations with partial information. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020047 [5] Youming Guo, Tingting Li. Optimal control strategies for an online game addiction model with low and high risk exposure. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020347 [6] José Madrid, João P. G. Ramos. On optimal autocorrelation inequalities on the real line. Communications on Pure & Applied Analysis, , () : -. doi: 10.3934/cpaa.2020271 [7] Bernard Bonnard, Jérémy Rouot. Geometric optimal techniques to control the muscular force response to functional electrical stimulation using a non-isometric force-fatigue model. Journal of Geometric Mechanics, 2020  doi: 10.3934/jgm.2020032 [8] Tommi Brander, Joonas Ilmavirta, Petteri Piiroinen, Teemu Tyni. Optimal recovery of a radiating source with multiple frequencies along one line. Inverse Problems & Imaging, 2020, 14 (6) : 967-983. doi: 10.3934/ipi.2020044 [9] Awais Younus, Zoubia Dastgeer, Nudrat Ishaq, Abdul Ghaffar, Kottakkaran Sooppy Nisar, Devendra Kumar. On the observability of conformable linear time-invariant control systems. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020444 [10] Hua Qiu, Zheng-An Yao. The regularized Boussinesq equations with partial dissipations in dimension two. Electronic Research Archive, 2020, 28 (4) : 1375-1393. doi: 10.3934/era.2020073 [11] Fabio Camilli, Giulia Cavagnari, Raul De Maio, Benedetto Piccoli. Superposition principle and schemes for measure differential equations. Kinetic & Related Models, , () : -. doi: 10.3934/krm.2020050 [12] Li-Bin Liu, Ying Liang, Jian Zhang, Xiaobing Bao. A robust adaptive grid method for singularly perturbed Burger-Huxley equations. Electronic Research Archive, 2020, 28 (4) : 1439-1457. doi: 10.3934/era.2020076 [13] Thabet Abdeljawad, Mohammad Esmael Samei. Applying quantum calculus for the existence of solution of $q$-integro-differential equations with three criteria. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020440 [14] Fathalla A. Rihan, Hebatallah J. Alsakaji. Stochastic delay differential equations of three-species prey-predator system with cooperation among prey species. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020468 [15] Marion Darbas, Jérémy Heleine, Stephanie Lohrengel. Numerical resolution by the quasi-reversibility method of a data completion problem for Maxwell's equations. Inverse Problems & Imaging, 2020, 14 (6) : 1107-1133. doi: 10.3934/ipi.2020056 [16] Thierry Horsin, Mohamed Ali Jendoubi. On the convergence to equilibria of a sequence defined by an implicit scheme. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020465 [17] Andy Hammerlindl, Jana Rodriguez Hertz, Raúl Ures. Ergodicity and partial hyperbolicity on Seifert manifolds. Journal of Modern Dynamics, 2020, 16: 331-348. doi: 10.3934/jmd.2020012 [18] Soniya Singh, Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of second order impulsive systems with state-dependent delay in Banach spaces. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020103 [19] Siyang Cai, Yongmei Cai, Xuerong Mao. A stochastic differential equation SIS epidemic model with regime switching. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020317 [20] Zexuan Liu, Zhiyuan Sun, Jerry Zhijian Yang. A numerical study of superconvergence of the discontinuous Galerkin method by patch reconstruction. Electronic Research Archive, 2020, 28 (4) : 1487-1501. doi: 10.3934/era.2020078

2019 Impact Factor: 1.366