Constructive proof of the exact controllability for semi-linear wave equations

arXiv2101.06446MaRDI QIDQ6358409FDOQ6358409

Authors: Jérôme Lemoine, Arnaud Münch 

Publication date: 16 January 2021

Abstract: The exact distributed controllability of the semilinear wave equation $partia{l}_{tt}y-Deltay+g(y)=f,1_{omega}$ posed over multi-dimensional and bounded domains, assuming that $gin{C}^1(mathbbR)$ satisfies the growth condition $limsu{p}_{roinfty}g(r)/(vertrvertl{n}^{1/2}vertrvert)=0$ has been obtained by Fu, Yong and Zhang in 2007. The proof based on a non constructive Leray-Schauder fixed point theorem makes use of precise estimates of the observability constant for a linearized wave equation. Assuming that $g^{p}rime$ does not grow faster than $$ at infinity for $$ small enough and that $g^{p}rime$ is uniformly H"older continuous on $mathbbR$ with exponent $sin(0,1]$, we design a constructive proof yielding an explicit sequence converging to a controlled solution for the semilinear equation, at least with order $1+s$ after a finite number of iterations.

This page was built for publication: Constructive proof of the exact controllability for semi-linear wave equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6358409)