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)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A priori-Schranken für diskrete Lösungen monotoner Operatorgleichungen und Anwendungen. (A priori bounds for discrete solutions of monotone operator equations and applications)
scientific article

    Statements

    A priori-Schranken für diskrete Lösungen monotoner Operatorgleichungen und Anwendungen. (A priori bounds for discrete solutions of monotone operator equations and applications) (English)
    0 references
    0 references
    0 references
    1986
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Galerkin's method
    0 references
    error estimates
    0 references
    uniform boundedness
    0 references
    reflexive Banach space
    0 references
    coercive strictly monotone mapping
    0 references
    normed linear space
    0 references
    quasilinear
    0 references
    0 references