A priori-Schranken für diskrete Lösungen monotoner Operatorgleichungen und Anwendungen. (A priori bounds for discrete solutions of monotone operator equations and applications) (Q1819546): Difference between revisions

Let X be a real reflexive Banach space, \(X_ h\) a finite dimensional subspace of X for each \(h\in (0,h_ 0]\), \(T: X\to X^*\) a radially continuous coercive strictly monotone mapping, \(f\in X^*\). Then there exist unique solutions \(u\in X\) and \(u_ h\in X_ h\) of \(<T(u),v>=<f,v>\) for each \(v\in X\) and of \(<T(u_ h),v_ h>=<f,v>\) for each \(v_ h\in X_ h\), respectively. Moreover \(\| u\| \leq R\) and \(\| u_ h\| \leq R\) uniformly with respect to \(h\in (0,h_ 0]\). Let \((Z,\| \cdot \|_ 2)\) be a normed linear space, \(Z\subseteq X\), such that \(u\in Z\) and \(X_ h\subseteq Z\) for all \(h\in (0,h_ 0]\), \((Y,\| \cdot \|_ y)\) be a normed linear space such that \(Z\subseteq Y\) and \(\bar Z=Y\). Under a stronger assumption on T (concerning monotonicity condition) it is shown that \(\| u_ h\|_ z=0(1)\) when \(h\to 0\) and some a priori estimates for \(u_ h\) are given. Then the results are applied to quasilinear elliptic boundary value problems of order 2m in a bounded domain \(\Omega \subset R^ n\). The special case, when X, Y and Z are certain spaces, is also treated.