1: \begin{abstract}

2: In this article we develop convergence theory for a class of 

3: goal-oriented adaptive finite element algorithms for second 

4: order nonsymmetric linear elliptic equations.

5: In particular, we establish contraction and quasi-optimality results 

6: for a method of this type for second order Dirichlet problems

7: involving the elliptic operator 

8: $

9: \cL u = \grad \cdot (A \grad u) - b \cdot \grad u - cu,

10: $

11: with $A$ Lipschitz, almost-everywhere symmetric positive definite (SPD),

12: with $b$ divergence-free, and with $c \ge 0$.

13: We first describe the problem class and review some standard

14: facts concerning conforming finite element discretization and

15: error-estimate-driven adaptive finite element methods (AFEM).

16: We then describe a goal-oriented variation of standard AFEM (GOAFEM).

17: Following the recent work of Mommer and Stevenson for symmetric problems, 

18: we establish contraction of GOAFEM.

19: We also then show convergence in the sense of the goal function.

20: Our analysis approach is signficantly different from that of Mommer and

21: Stevenson, combining the recent

22: contraction frameworks developed by Cascon et. al, 

23: by Nochetto, Siebert, and Veeser, 

24: and by Holst, Tsogtgerel, and Zhu.

25: In the last part of the paper we perform a complexity analysis, 

26: and establish quasi-optimal cardinality of GOAFEM.

27: We include an appendix discussion of the duality estimate as we use it here in an effort to make the paper more self-contained.

28: \end{abstract}

29: