Proceedings of the 2013 International Symposium on Nonlinear Theory and its Applications
2013
Session Number:C3L-A
Session:
Number:441
A verified continuation algorithm for solution curve of nonlinear elliptic equations
Akitoshi Takayasu, Shin'ichi Oishi,
pp.441-444
Publication Date:
Online ISSN:2188-5079
[1] M.T. Nakao, “A numerical approach to the proof of existence of solutions for elliptic problems,” Japan J. Indust. Appl. Math., vol.5, pp.313-332, 1988.
[2] M. Plum, “Computer-assisted proofs for semilinear elliptic boundary value problems,” Japan J. Indust. Appl. Math., vol.26(2-3), pp.419-442, 2009.
[3] A. Takayasu, X. Liu, S. Oishi, “Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains,” NOLTA, IEICE, vol.E96-N, No.1, pp.34-61, 2013.
[4] J.B. van den Berg, J.-P. Lessard, and K. Mischaikow, “Global smooth solution curves using rigorous branch following,” Mathematics of Computation, vol.79(271), pp.1565-1584, 2010.
[5] S.M. Rump. INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pp. 77-104. Kluwer Academic Publishers, Dordrecht, 1999. http://www.ti3.tu-harburg.de/rump/.