We consider an inpainting model proposed by A. Bertozzi et al., which is
based on a Cahn--Hilliard-type equation. This equation describes the evolution
of an order parameter
u∈[0,1] representing an approximation of the
original image which occupies a bounded two-dimensional domain
Ω. The
given image
g is assumed to be damaged in a fixed subdomain $D \subset
\Omega$ and the equation is characterized by a linear reaction term of the form
λ(u−g). Here
λ=λ0χΩ∖D is the
so-called fidelity coefficient,
λ0 being a strictly positive bounded
function. The idea is that, given an initial image
u0,
u evolves towards
g and this process properly diffuses through the boundary of
D restoring
the damaged image, provided that
λ0 is large enough. Here, we
formulate an optimal control problem based on this fact, namely our cost
functional accounts for the magnitude of
λ0. Assuming a singular
potential to assure that
u takes its values in
[0,1], we first analyse the
control-to-state operator and prove the existence of at least one optimal
control, establishing the validity of first-order optimality conditions. Then,
under suitable assumptions, we demonstrate second-order optimality conditions.
All these results depend on the existence and uniqueness of a strong solution,
which we obtain thanks to the strict separation property from pure phases.