Showing 1–2 of 2 results for author: Claret, S

An observability estimate for the wave equation and applications to the Neumann boundary controllability for semi-linear wave equations

Authors: Sue Claret

Abstract: We give a boundary observability result for a $1$d wave equation with a potential. We then deduce with a Schauder fixed-point argument the existence of a Neumann boundary control for a semi-linear wave equation $\partial_{tt}y - \partial_{xx}y + f(y) = 0$ under an optimal growth assumption at infinity on $f$ of the type $s\ln^2s$. Moreover, assuming additional assumption on $f'$, we construct a mi… ▽ More We give a boundary observability result for a $1$d wave equation with a potential. We then deduce with a Schauder fixed-point argument the existence of a Neumann boundary control for a semi-linear wave equation $\partial_{tt}y - \partial_{xx}y + f(y) = 0$ under an optimal growth assumption at infinity on $f$ of the type $s\ln^2s$. Moreover, assuming additional assumption on $f'$, we construct a minimizing sequence which converges to a control. Numerical experiments illustrate the results. This work extends to the Neumann boundary control case the work of Zuazua in $1993$ and the work of Münch and Trélat in $2022$. △ Less

Submitted 11 September, 2024; originally announced September 2024.

On the exact boundary controllability of semilinear wave equations

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

Abstract: We address the exact boundary controllability of the semilinear wave equation $\partial_{tt}y-Δy + f(y)=0$ posed over a bounded domain $Ω$ of $\mathbb{R}^d$. Assuming that $f$ is continuous and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f(r)\vert /(\vert r\vert \ln^p\vert r\vert)\leq β$ for some $β$ small enough and some $p\in [0,3/2)$, we apply the Schauder fixed point theore… ▽ More We address the exact boundary controllability of the semilinear wave equation $\partial_{tt}y-Δy + f(y)=0$ posed over a bounded domain $Ω$ of $\mathbb{R}^d$. Assuming that $f$ is continuous and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f(r)\vert /(\vert r\vert \ln^p\vert r\vert)\leq β$ for some $β$ small enough and some $p\in [0,3/2)$, we apply the Schauder fixed point theorem to prove the uniform controllability for initial data in $L^2(Ω)\times H^{-1}(Ω)$. Then, assuming that $f$ is in $\mathcal{C}^1(\mathbb{R})$ and satisfies the condition $\limsup_{\vert r\vert\to \infty} \vert f^\prime(r)\vert/\ln^p\vert r\vert\leq β$, we apply the Banach fixed point theorem and exhibit a strongly convergent sequence to a state-control pair for the semilinear equation. △ Less

Submitted 24 July, 2023; originally announced July 2023.