Table of Contents
Fetching ...

Optimal Bilinear control restricted to the three-dimensional chemo-repulsion model with potential production

Francisco Guillen-Gonzalez, Exequiel Mallea-Zepeda, Maria A. Rodriguez-Bellido, Elder J. Villamizar-Roa

Abstract

In this paper we study the following three-dimensional parabolic-parabolic chemo-repulsion model with potential production, logistic reaction and bilinear control, defined in $Q=(0,T)\timesΩ$: \begin{equation*}\label{eq0} \left\{ \begin{array}{rcl} \partial_tu-Δu&=&\nabla\cdot(u\nabla v)+r\,u-μ\, u^p,\\ \partial_tv-Δv+v&=&u^p+f\,v\, 1_{Ω_c}, \end{array} \right. \end{equation*} where $1< p<+\infty$, $r,μ\geq 0$, and $f=f(t,x)$ is the control function acting on a subdomain $(0,T)\times Ω_c $, with $Ω_c\subseteqΩ$. This system is endowed with initial and non-flux boundary conditions. We prove the existence of global weak solutions of this controlled problem when $f\in L^{5/2}(0,T;L^{5/2}(Ω_c))$, analyzing the role of the diffusion and the logistic terms to get energy estimates. In particular, the logistic competition term $μ\, u^p$ is necessary only for $p>5/3$. Secondly, if $f\in L^{5/2}(0,T;L^{5/2+}(Ω_c))$, any weak solution $(u,v)$ satisfying the regularity criterion $u\in L^{5p/2}(Q)\cap L^{10/3}(Q)$ is in fact more regular, arriving in particular to $u,\nabla v\in L^5(Q)$ for $p\le 2$ and $u,\nabla v\in L^{5(p-1)}(Q)$ for $p> 2$ which is the critical regularity to solve a related optimal bilinear control problem. In fact, this setting let us to prove the existence of global optimal solutions, and the differentiability of the control-to-state mapping via the Implicit Function Theorem in Banach spaces. Then, we can identify the gradient of the (reduced) cost with respect to the control solving the adjoint problem by duality. In particular, we derive first-order necessary optimality conditions for local optimal solutions.

Optimal Bilinear control restricted to the three-dimensional chemo-repulsion model with potential production

Abstract

In this paper we study the following three-dimensional parabolic-parabolic chemo-repulsion model with potential production, logistic reaction and bilinear control, defined in : \begin{equation*}\label{eq0} \left\{ \begin{array}{rcl} \partial_tu-Δu&=&\nabla\cdot(u\nabla v)+r\,u-μ\, u^p,\\ \partial_tv-Δv+v&=&u^p+f\,v\, 1_{Ω_c}, \end{array} \right. \end{equation*} where , , and is the control function acting on a subdomain , with . This system is endowed with initial and non-flux boundary conditions. We prove the existence of global weak solutions of this controlled problem when , analyzing the role of the diffusion and the logistic terms to get energy estimates. In particular, the logistic competition term is necessary only for . Secondly, if , any weak solution satisfying the regularity criterion is in fact more regular, arriving in particular to for and for which is the critical regularity to solve a related optimal bilinear control problem. In fact, this setting let us to prove the existence of global optimal solutions, and the differentiability of the control-to-state mapping via the Implicit Function Theorem in Banach spaces. Then, we can identify the gradient of the (reduced) cost with respect to the control solving the adjoint problem by duality. In particular, we derive first-order necessary optimality conditions for local optimal solutions.
Paper Structure (21 sections, 18 theorems, 179 equations)

This paper contains 21 sections, 18 theorems, 179 equations.

Key Result

Lemma 2.1

The following continuous embeddings of the strong space $X_q$ into $L^s(L^r)$ spaces hold:

Theorems & Definitions (43)

  • Lemma 2.1: Andre_SICOM Lemmas 2.5 and 2.6
  • Definition 2.2: Weak solutions
  • Remark 2.1
  • Remark 2.2
  • Remark 2.3
  • Theorem 2.3: Existence of weak solutions
  • Theorem 2.4: Regularity criterion and existence of strong solutions
  • Proposition 2.5
  • proof
  • Definition 2.6: Global optimal solution
  • ...and 33 more