Abstract
An algorithm is presented to compute approximations as well as continuous bounds for solutions of weakly nonlinear elliptic boundary value problems. The given problem is majorized in some sense and the obtained new problem is solved by a finite element method. The finite element solution is computed by a monotone iteration process and at last transformed to a continuous (lower) bound for a solution. Convergence is proved and mesh refinement effects are discussed. Two numerical examples are given.
Zusammenfassung
Ein Algorithmus zur Berechnung von Näherungen und stetigen Schrankenfunktionen von Lösungen schwach nichtlinearer elliptischer Randwertprobleme wird vorgestellt. Hierzu wird das gegebene Problem in einem gewissen Sinn majorisiert und das auf diese Weise erhaltene neue Problem mit einer Finite-Elemente-Methode gelöst. Die Finite-Elemente-Lösung selbst wird mit einem monotonen Iterationsverfahren berechnet und schließlich in eine stetige (untere) Lösungsschranke transformiert. Konvergenz wird bewiesen und Maschenverfeinerungseffekte diskutiert. Zwei numerische Beispiele dienen der Illustration.
Similar content being viewed by others
Refrences
Adams, E., Spreuer, H.: Konvergente numerische Schrankenkonstruktionen mit Spline-Funktionen für nichtlineare gewöhnliche bzw. lineare parabolische Randwertaufgaben. In: Interv. Math. (K. Nickel, ed.). Lect. Notes Comput. Sci.29, 118–126 (1975).
Adams, R. A.: Sobolev Spaces. New York: Academic Press 1975.
Agmon, S.: Lectures on elliptic boundary value problems. Van Nostrand Math. Studies. New York: Princeton 1965.
Collatz, L.: Anwendungen von Monotoniesätzen zur Einschließung der Lösungen von Gleichungen. Jb. Überbl. Math., 189–225 (1981).
Dobrowolski, M., Rannacher, R.: Finite element methods for nonlinear elliptic systems of second order. Math. Nachr.94, 155–172 (1980).
Gilbarg, D., Trudinger, N. S.: Elliptic Partial Differential Equations of 2nd order. 2nd Edition. Berlin-Heidelberg-New York-Tokyo: Springer 1984.
Glashoff, K., Werner, B.: Inverse monotonicity of monotoneL-operators with applications to quasilinear and free boundary value problems. J. Math. Anal. Appl.72, 89–105 (1979).
Großmann, C.: Monotone Einschließung höherer Ordnung für Zwei-Punkt-Randwertprobleme. Z. Angew. Math. Mech.67, T475-T477 (1987).
Großmann, C., Krätzschmar, M., Roos, G.: Gleichmäßig einschließende Diskretisierungsverfahren für schwach nichtlineare Randwertaufgaben. Numer. Math.49, 95–110 (1986).
Huy, C. U., McKenna, P. J., Walter, W.: Finite-difference approximations to the Dirichlet problem for elliptic systems. Numer. Math.49, 227–237 (1986).
Ishihara, K.: Monotone explicit iterations for the finite element approximations for the nonlinear boundary value problem. Numer. Math.43, 419–437 (1984).
Ishihara, K.: Successive overrelaxation method with projection finite element solutions applied to the nonlinear Dirichlet problem of the nonlinear elliptic equation†u=bu 2. Computing40, 51–65 (1988).
Kaucher, E., Miranker, W. L.: Self-validating numerics for function space problems. Not. Rep. Comp. Sci. Appl. Math. Orlando: Academic Press 1984.
Kaucher, E., Miranker, W. L.: Residual correction and validation in functoids. Computing Suppl.5, 169–192 (1984).
Küpper, T.: Einschließungsaussagen für gewöhnliche Differentialoperatoren. Numer. Math.25, 201–214 (1976).
Meyn, K. H.: Convergent solution bounds for elliptic boundary value problems of monotone kind. Computing24, 9–19 (1980).
Meyn, K.-H., Werner, B.: Maximum and monotonicity principles for elliptic boundary value problems in partitioned domains. Appl. Anal.11, 1–12 (1980).
Nickel, K.: The construction of a priori bounds for the solution of a two point boundary value problem with finite elements I. Computing23, 247–265 (1979).
Ortega, J. M., Rheinboldt, W. C.: Iterative Solutions of Nonlinear Equations in Several Variables. New York: Academic Press 1970.
Protter, M. H., Weinberger, H. F.: Maximum Principles in Differential Equations. Englewood Cliffs, New Jersey: Prentice Hall 1967.
Schröder, J.: Operator Inequalities. New York: Academic Press 1980.
Schröder, J.: Existenznachweise für Randwertprobleme mit numerischen Algorithmen. Vortrag auf der GAMM-Fachtagung Rechnerarithmetik, Wissenschaftliches Rechnen und Programmiersprachen, Karlsruhe 1987.
Schwarz, H.: Methode der finiten Elemente. Stuttgart: Teubner 1980.
Schwarz, H.: FORTRAN-Programme zur Methode der finiten Elemente. Stuttgart: Teubner 1981.
Törnig, W.: Monoton einschließende konvergente Iterationsprozesse vom Gauß-Seidel-Typ zur Lösung nichtlinearer Gleichungssysteme imR n und Anwendungen. Math. Meth. Appl. Sci.2, 489–503 (1980).
Voller, R. L.: Praktikable monoton einschließende Iterationsverfahren. Z. Angew. Math. Mech.64, T422-T424 (1984).
Voller, R. L.: Eine Verallgemeinerung der Minty-Monotonie mit Anwendungen. Z. Angew. Math. Mech.65, T411-T413 (1985).
Voller, R. L.: Iterative Einschließung von Lösungen nichtlinearer Differentialgleichungen durch Newton-ähnliche Iterationsverfahren. Apl. Math.31, 1–18 (1986).
Voss, H.: Ein neues Verfahren zur Einschließung der Lösungen von Operatorgleichungen. Z. Angew. Math. Mech.56, 218–219 (1976).
Walter, W.: Differential Inequalities. Berlin-Heidelberg-New York: Springer 1970
Whiteman, J. R.: Some aspects of the mathematics of finite elements. MAFE-LAP II, 25–42 (1975).
Wildenauer, P.: Numerische Auswertung von nichtlinearen gewöhnlichen Randwertaufgaben−x″=f(t, x),R i ,i=1, 2 und Verzweigungen. Beitr. Numer. Math.11, 185–198 (1980).
Zeidler, E.: Vorlesungen über nichtlineare Funktionalanalysis II. Leipzig: Teubner 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Voller, R.L. Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation. Computing 42, 245–258 (1989). https://doi.org/10.1007/BF02239752
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02239752