We consider optimal control problems for convection-diffusion equations with a pointwise control or a control localized on a smooth manifold. We prove optimality conditions for the control variable and for the position of the control. We do not suppose that the coefficient of the convection term is regular or bounded, we only suppose that it has the regularity of strong solutions of the Navier–Stokes equations. We consider functionals with an observation on the gradient of the state. To obtain...

Combining HUM and compactness arguments the exact controllability is prove for time dependent smooth kernels.

We consider a structural acoustic problem with the flexible wall modeled by a thermoelastic plate, subject to Dirichlet boundary control in the thermal component. We establish sharp regularity results for the traces of the thermal variable on the boundary in case the system is supplemented with clamped mechanical boundary conditions. These regularity estimates are most crucial for validity of the optimal control theory developed by Acquistapace et al. [Adv. Differential Equations, 2005], which ensures...

We present a convergence analysis of a cell-based finite volume (FV) discretization scheme applied to a problem of control in the coefficients of a generalized Laplace equation modelling, for example, a steady state heat conduction. Such problems arise in applications dealing with geometric optimal design, in particular shape and topology optimization, and are most often solved numerically utilizing a finite element approach. Within the FV framework for control in the coefficients problems ...

We present a convergence analysis of a cell-based finite volume (FV) discretization scheme applied to a problem of control in the coefficients of a generalized Laplace equation modelling, for example, a steady state heat conduction. Such problems arise in applications dealing with geometric optimal design, in particular shape and topology optimization, and are most often solved numerically utilizing a finite element approach. Within the FV framework for control in the coefficients problems ...

A discontinuous Galerkin finite element method for an optimal control problem related to semilinear parabolic PDE's is examined. The schemes under consideration are discontinuous in time but conforming in space. Convergence of discrete schemes of arbitrary order is proven. In addition, the convergence of discontinuous Galerkin approximations of the associated optimality system to the solutions of the continuous optimality system is shown. The proof is based on stability estimates at arbitrary time...

Using the min-plus version of the spectral radius formula, one proves: 1) that the unique eigenvalue of a min-plus eigenvalue problem depends continuously on parameters involved in the kernel defining the problem; 2) that the numerical method introduced by Chou and Griffiths to compute this eigenvalue converges. A toolbox recently developed at I.n.r.i.a. helps to illustrate these results. Frenkel-Kontorova models serve as example. The analogy with homogenization of Hamilton-Jacobi equations is emphasized....

Using the min-plus version of the spectral radius formula, one proves: 1) that the unique eigenvalue of a min-plus eigenvalue problem depends continuously on parameters involved in the kernel defining the problem; 2) that the numerical method introduced by Chou and Griffiths to compute this eigenvalue converges. A toolbox recently developed at I.n.r.i.a. helps to illustrate these results. Frenkel-Kontorova models serve as example. The analogy with homogenization of Hamilton-Jacobi equations...

A sequence of optimal control problems for systems governed by linear hyperbolic equations with the nonhomogeneous Neumann boundary conditions is considered. The integral cost functionals and the differential operators in the equations depend on the parameter k. We deal with the limit behaviour, as k → ∞, of the sequence of optimal solutions using the notions of G- and Γ-convergences. The conditions under which this sequence converges to an optimal solution for the limit problem are given.

Many numerical simulations in (bilinear) quantum control use the monotonically convergent Krotov algorithms (introduced by Tannor et al. [Time Dependent Quantum Molecular Dynamics (1992) 347–360]), Zhu and Rabitz [J. Chem. Phys. (1998) 385–391] or their unified form described in Maday and Turinici [J. Chem. Phys. (2003) 8191–8196]. In Maday et al. [Num. Math. (2006) 323–338], a time discretization which preserves the property of monotonicity has been presented. This paper introduces a proof of...

The numerical minimization of the functional $\mathcal{F}\left(u\right)={\int }_{\mathrm{\Omega }}\varphi \left(x,{\nu }_u\right)\left|Du\right|+{\int }_{\partial \mathrm{\Omega }}\mu ud{\mathcal{H}}^{n-1}-{\int }_{\mathrm{\Omega }}\kappa udx$, $u\in BV\left(\mathrm{\Omega };\left\{-1,1\right\}\right)$ is addressed. The function $\varphi$ is continuous, has linear growth, and is convex and positively homogeneous of degree one in the second variable. We prove that $\mathcal{F}$ can be equivalently minimized on the convex set $BV\left(\mathrm{\Omega };\left[-1,1\right]\right)$ and then regularized with a sequence ${\left\{{\mathcal{F}}_{ϵ}\left(u\right)\right\}}_{ϵ}$, of stricdy convex functionals defined on $BV\left(\mathrm{\Omega };\left[-1,1\right]\right)$. Then both $\mathcal{F}$ and ${\mathcal{F}}_{ϵ}$, can be discretized by continuous linear finite elements. The convexity property of the functionals on $BV\left(\mathrm{\Omega };\left[-1,1\right]\right)$ is useful in the numerical minimization...

On the unit disk $B_1\subset {ℝ}^2$ we study the Moser-Trudinger functional $E\left(u\right)={\int }_{B_1}\left(e^{u^2}-1\right)dx,u\in H_0^1\left(B_1\right)$ and its restrictions ${E|}_{M_{\Lambda }}$, where $M_{\Lambda }:=\{u\in H_0^1\left(B_1\right){:\parallel u\parallel }_{H_0^1}^2=\Lambda \}$ for $\Lambda >0$. We prove that if a sequence $u_k$ of positive critical points of ${E|}_{M_{{\Lambda }_k}}$ (for some ${\Lambda }_k>0$) blows up as $k\to \infty$, then ${\Lambda }_k\to 4\pi$, and $u_k\to 0$ weakly in $H_0^1\left(B_1\right)$ and strongly in $C_{\mathrm{loc}}^1({\overline{B}}_1\setminus \left\{0\right\})$. Using this fact we also prove that when $\Lambda$ is large enough, then ${E|}_{M_{\Lambda }}$ has no positive critical point, complementing previous existence results by Carleson-Chang, M. Struwe and Lamm-Robert-Struwe.