We adopt the integral definition of the fractional Laplace operator and analyze an optimal control problem for a fractional semilinear elliptic partial differential equation (PDE); control constraints are also considered. We establish the well-posedness of fractional semilinear elliptic PDEs and analyze regularity properties and suitable finite element discretizations. Within the setting of our optimal control problem, we derive the existence of optimal solutions as well as first and second order optimality conditions; regularity estimates for the optimal variables are also analyzed. We devise a fully discrete scheme that approximates the control variable with piecewise constant functions; the state and adjoint equations are discretized with continuous piecewise linear finite elements. We analyze convergence properties of discretizations and derive a priori error estimates.
We adopt the integral definition of the fractional Laplace operator and analyze solution techniques for fractional, semilinear, and elliptic optimal control problems posed on Lipschitz polytopes. We consider two strategies of discretization: a semidiscrete scheme where the admissible control set is not discretized and a fully discrete scheme where such a set is discretized with piecewise constant functions. As an instrumental step, we derive error estimates for finite element discretizations of fractional semilinear elliptic partial differential equations (PDEs) on quasi-uniform and graded mes…
To model wave propagation in inhomogeneous media with frequency-dependent power-law attenuation, it is needed to use the fractional powers of symmetric coercive elliptic operators in space and the Caputo tempered fractional derivative in time. The model studied in this paper is semilinear stochastic space-time fractional wave equations driven by infinite dimensional multiplicative white noise and fractional Gaussian noise, because of the potential fluctuations of the external sources. The purpose of this work is to discuss the Galerkin finite element approximation for the semilinear stochastic…
We introduce a symmetric fractional-order reduction (SFOR) method to construct numerical algorithms on general nonuniform temporal meshes for semilinear fractional diffusion-wave equations. By using the novel order reduction method, the governing problem is transformed to an equivalent coupled system, where the explicit orders of time-fractional derivatives involved are all $α/2$ $(1<α<2)$. The linearized L1 scheme and Alikhanov scheme are then proposed on general time meshes. Under some reasonable regularity assumptions and weak restrictions on meshes, the optimal convergence is derived for t…
We derive optimal $L^2$-error estimates for semilinear time-fractional subdiffusion problems involving Caputo derivatives in time of order $α\in (0,1)$, for cases with smooth and nonsmooth initial data. A general framework is introduced allowing a unified error analysis of Galerkin type space approximation methods. The analysis is based on a semigroup type approach and exploits the properties of the inverse of the associated elliptic operator. Completely discrete schemes are analyzed in the same framework using a backward Euler convolution quadrature method in time. Numerical examples includin…
This paper considers the numerical analysis of a semilinear fractional diffusion equation with nonsmooth initial data. A new Grönwall's inequality and its discrete version are proposed. By the two inequalities, error estimates in three Sobolev norms are derived for a spatial semi-discretization and a full discretization, which are optimal with respect to the regularity of the solution. A sharp temporal error estimate on graded temporal grids is also rigorously established. In addition, the spatial accuracy $\scriptstyle O(h^2(t^{-α} + \ln(1/h)\!)\!) $ in the pointwise $ \scriptstyle L^2(Ω) $-n…
A semilinear initial-boundary value problem with a Caputo time derivative of fractional order $α\in(0,1)$ is considered, solutions of which typically exhibit a singular behaviour at an initial time. For L1-type discretizations of this problem, we employ the method of upper and lower solutions to obtain sharp pointwise-in-time error bounds on quasi-graded temporal meshes with arbitrary degree of grading. In particular, those results imply that milder (compared to the optimal) grading yields the optimal convergence rate $2-α$ in positive time, while quasi-uniform temporal meshes yield first-orde…
We consider a pointwise tracking optimal control problem for a semilinear elliptic partial differential equation. We derive the existence of optimal solutions and analyze first and, necessary and sufficient, second order optimality conditions. We devise two strategies of discretization to approximate a solution of the optimal control problem: a semidiscrete scheme where the control variable is not discretized -- the so-called variational discretization approach -- and a fully discrete scheme where the control variable is discretized with piecewise constant functions. For both solution techniqu…
This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babuška's theorem, we show well-posedness of the first-order optimality systems for a typical model problem with linear state equations, but without control constraints. This is done for both continuous and discrete levels. Based on these results, we derive discretization error estimates. Then we consider a semilinear parabolic optimal control problem arising from the Schlögl model. The associated nonlinear …
The aim of this paper is to develop and analyze high-order time stepping schemes for solving semilinear subdiffusion equations. We apply the $k$-step BDF convolution quadrature to discretize the time-fractional derivative with order $α\in (0,1)$, and modify the starting steps in order to achieve optimal convergence rate. This method has already been well-studied for the linear fractional evolution equations in Jin, Li and Zhou \cite{JinLiZhou:correction}, while the numerical analysis for the nonlinear problem is still missing in the literature. By splitting the nonlinear potential term into an…
A Full Multigrid Method For Semilinear Elliptic Equation
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Beijing Institute for Scientific and Engineering Computing, Beijing University of Technology（北京工业大学北京市科学计算与工程应用研究所）
We investigate the error of the (semidiscrete) Galerkin method applied to a semilinear subdiffusion equation in the presence of a nonsmooth initial data. The diffusion coefficient is allowed to depend on time. It is well-known that in such parabolic problems the spatial error increases when time decreases. The rate of this time-dependency is a function of the fractional parameter and the regularity of the initial condition. We use the energy method to find optimal bounds on the error under weak and natural assumptions on the diffusivity. First, we prove the result for the linear problem and th…
