We adopt the integral definition of the fractional Laplace operator and study an optimal control problem on Lipschitz domains that involves a fractional elliptic partial differential equation (PDE) as state equation and a control variable that enters the state equation as a coefficient; pointwise constraints on the control variable are considered as well. We establish the existence of optimal solutions and analyze first and, necessary and sufficient, second order optimality conditions. Regularity estimates for optimal variables are also analyzed. We develop two finite element discretization strategies: a semidiscrete scheme in which the control variable is not discretized, and a fully discrete scheme in which the control variable is discretized with piecewise constant functions. For both schemes, we analyze the convergence properties of discretizations and derive error estimates.
翻译:我们采用分数阶拉普拉斯算子的积分定义,研究了Lipschitz域上的一类最优控制问题。该问题以分数阶椭圆偏微分方程作为状态方程,控制变量以系数形式进入状态方程,同时考虑了对控制变量的逐点约束。我们证明了最优解的存在性,并分析了一阶以及必要的和充分的二阶最优性条件,还分析了最优变量的正则性估计。我们提出了两种有限元离散策略:一种是不对控制变量进行离散的半离散格式,另一种是采用分片常数函数离散控制变量的全离散格式。对于这两种格式,我们分析了离散化的收敛性并推导了误差估计。