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.

In this paper, we study the boundary penalty method for optimal control of unsteady Navier–Stokes type system that has been proposed as an alternative for Dirichlet boundary control. Existence and uniqueness of solutions are demonstrated and existence of optimal control for a class of optimal control problems is established. The asymptotic behavior of solution, with respect to the penalty parameter ϵ, is studied. In particular, we prove convergence of solutions of penalized control problem to the...

We explicitly introduce and exploit div-curl Young measures to examine optimal design problems governed by a linear state law in divergence form. The cost is allowed to depend explicitly on the gradient of the state. By means of this family of measures, we can formulate a suitable relaxed version of the problem, and, in a subsequent step, put it in a similar form as the original optimal design problem with an appropriate set of designs and generalized state law. Many of the issues involved has been...

An axisymmetric second order elliptic problem with mixed boundary conditions is considered. The shape of the domain has to be found so as to minimize a cost functional, which is given in terms of the cogradient of the solution. A new dual finite element method is used for approximate solutions. The existence of an optimal domain is proven and a convergence analysis presented.

This paper studies the dynamic coverage control problem for cooperative region reconnaissance where a group of agents are required to reconnoitre a given region. The main challenge of this problem is that the sensing region of each agent is an ellipse. This modeling results in asymmetric(directed) interactions among agents. First, the region reconnaissance is formulated as a coverage problem, where each point in the given region should be surveyed until a preset level is achieved. Then, a coverage...

We solve an optimal cost problem for a stochastic Navier-Stokes equation in space dimension 2 by proving existence and uniqueness of a smooth solution of the corresponding Hamilton-Jacobi-Bellman equation.

The finite element approximation of optimal control problems for semilinear elliptic partial differential equation is considered, where the control belongs to a finite-dimensional set and state constraints are given in finitely many points of the domain. Under the standard linear independency condition on the active gradients and a strong second-order sufficient optimality condition, optimal error estimates are derived for locally optimal controls.

The goal of this paper is to derive some error estimates for the numerical discretization of some optimal control problems governed by semilinear elliptic equations with bound constraints on the control and a finitely number of equality and inequality state constraints. We prove some error estimates for the optimal controls in the $L^{\infty }$ norm and we also obtain error estimates for the Lagrange multipliers associated to the state constraints as well as for the optimal states and optimal adjoint states....

The goal of this paper is to derive some error estimates for the numerical discretization of some optimal control problems governed by semilinear elliptic equations with bound constraints on the control and a finitely number of equality and inequality state constraints. We prove some error estimates for the optimal controls in the L∞ norm and we also obtain error estimates for the Lagrange multipliers associated to the state constraints as well as for the optimal states and optimal adjoint states. ...