1: \begin{abstract}
2: In this article we develop a convergence theory for goal-oriented adaptive
3: finite element algorithms designed for a class of second-order
4: semilinear elliptic equations.
5: We briefly discuss the target problem class, and introduce several
6: related approximate dual problems that are crucial to both the analysis
7: as well as to the development of a practical numerical method.
8: We then review some standard facts concerning conforming finite element
9: discretization and error-estimate-driven adaptive finite element methods
10: (AFEM).
11: We include a brief summary of \emph{a priori} estimates for this
12: class of semilinear problems, and then describe some goal-oriented
13: variations of the standard approach to AFEM (GOAFEM).
14: Following the recent approach of Mommer-Stevenson and Holst-Pollock
15: for increasingly general linear problems, we first establish a
16: quasi-error contraction result for the primal problem.
17: We then develop some additional estimates that make it possible
18: to establish contraction of the combined primal-dual quasi-error,
19: and subsequently show convergence with respect to the quantity of interest.
20: Finally, a sequence of numerical experiments are then carefully examined.
21: It is observed that the behavior of the implementation follows the
22: predictions of the theory.
23: %Our analysis is based on the recent contraction frameworks for the
24: %semilinear problem developed by Holst, Tsogtgerel and Zhu and
25: %Bank, Holst, Szypowski and Zhu and those for linear problems
26: %as in Cascon, Kreuzer, Nochetto and Siebert, and Nochetto, Siebert and Veeser.
27: %In addressing the goal-oriented problem we base our framework on that of
28: %Mommer and Stevenson for symmetric linear problems and
29: %Holst and Pollock for nonsymmetric problems.
30: %Unlike the linear case, one must track linearized and approximate dual
31: %sequences in order to establish contraction with respect to the quantity
32: %of interest.
33: \end{abstract}
34: