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...

Many inverse problems for differential equations can be formulated as optimal control problems. It is well known that inverse problems often need to be regularized to obtain good approximations. This work presents a systematic method to regularize and to establish error estimates for approximations to some control problems in high dimension, based on symplectic approximation of the Hamiltonian system for the control problem. In particular the work derives error estimates and constructs regularizations...

In this article we modify an iteration process to prove strong convergence and Δ- convergence theorems for a finite family of nonexpansive multivalued mappings in hyperbolic spaces. The results presented here extend some existing results in the literature.

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...

We address the numerical minimization of the functional $\mathcal{F}\left(v\right)={\int }_{\mathrm{\Omega }}\left|Dv\right|+{\int }_{\partial \mathrm{\Omega }}\mu vd{\mathcal{H}}^{n-1}-{\int }_{\mathrm{\Omega }}xvdx$, for $v\in BV\left(\mathrm{\Omega };\left\{-1,1\right\}\right)$. We note that $\mathcal{F}$ can be equivalently minimized on the larger, convex, set $BV\left(\mathrm{\Omega };\left[-1,1\right]\right)$ and that, on that space, $\mathcal{F}$ may be regularized with a sequence $\mathit{\left\{}\mathcal{F}{}_{ϵ}\right(v)=\int {}_{\mathrm{\Omega }}\sqrt{{ϵ}^2+{\left|Dv\right|}^2}+\int {}_{\partial \mathrm{\Omega }}\mu vd\mathcal{H}{}^{n-1}-\int {}_{\mathrm{\Omega }}xvdx\mathit{\}}{}_{ϵ}$of regular functionals. Then both $\mathcal{F}$ and ${\mathcal{F}}_{ϵ}$ can be discretized by continuous linear finite elements. The convexity of the functionals in $BV\left(\mathrm{\Omega };\left[-1,1\right]\right)$ is useful for the numerical minimization of $\mathcal{F}$. We prove the $\mathrm{\Gamma }-L^1\left(\mathrm{\Omega }\right)$-convergence of the discrete functionals to $\mathcal{F}$ and present a few numerical examples.

In this paper, we generalize to sub-Riemannian Carnot groups some classical results in the theory of minimal submanifolds. Our main results are for step 2 Carnot groups. In this case, we will prove the convex hull property and some “exclosure theorems” for H-minimal hypersurfaces of class C2 satisfying a Hörmander-type condition.

This paper deals with the $L^p$ theory of linear elliptic partial differential equations with bounded measurable coefficients. We construct in two dimensions examples of weak and so-called very weak solutions, with critical integrability properties, both to isotropic equations and to equations in non-divergence form. These examples show that the general $L^p$ theory, developed in [1, 24] and [2], cannot be extended under any restriction on the essential range of the coefficients. Our constructions are based...