Abstract
This paper proposes a verification method for the existence of solutions of nonsmooth equations. We generalize the Krawczyk operator to nonsmooth equations by using the mean-value theorem for nonsmooth functions. We establish a semi-local convergence theorem for the generalized Newton method for nonsmooth equations. The proposed method is a combination of the generalized Krawczyk operator and the semi-local convergence theorem.
Zusammenfassung
Dieser Artikel schlägt eine Methode zur Verifizierung der Existenz von Lösungen nicht-differenzierbarer Gleichungen vor. Wir verallgemeinern den Krawczyk-Operator auf nicht-differenzierbare Gleichungen indem wir den Mittelwertsatz für nicht-differenzierbare Funktionen benutzen. Wir entwickeln einen semilokalen Konvergenzsatz für das verallgemeinerte Newton-Verfahren, angewendet auf nicht-differenzierbare Gleichungen. Die vorgeschlagene Methode ist eine Kombination aus dem verallgemeinerten Krawczyk-Operator und dem semi-lokalen Konvergenzsatz.
Similar content being viewed by others
References
Alefeld, G., Gienger, A., Potra, F.: Efficient numerical validation of solutions of nonlinear systems. SIAM J. Numer. Anal.31, 252–260 (1994).
Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press, 1983.
Chen, X.: On the convergence of Broyden-like methods for nonlinear equations with nondifferentiable terms. Ann. Inst. Stat. Math.42, 387–401 (1990).
Chen, X.: Convergence of the BFGS method for LC1 convex constrained optimization. SIAM J. Control Optim.34 (1996).
Chen, X., Wang, D.: On the optimal properties of the Krawczyk-type interval operator. Int J. Comput. Math.29, 235–245 (1989).
Chen, X., Nashed, M. Z., Qi, L.: Convergence of Newton’s method for singular smooth and nonsmooth equations using outer inverses. SIAM J. Optim. (to appear).
Chen, X., Yamamoto, T.: On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators. Computing49, 87–94 (1992).
Clarke, F. H.: Optimization and nonsmooth analysis. New York: Wiley 1983.
Frommer, A., Mayer, G.: Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method. Computing42, 171–186 (1989).
Frommer, A., Mayer, G.: On theR-order of Newton-like methods for enclosing solutions of nonlinear equations. SIAM J. Numer. Anal.27, 105–116 (1990).
Han, S. P., Pang, J. S., Rangaraj, N.: Globally convergent Newton methods for nonsmooth equations. Math Oper. Res.17, 586–607 (1992).
Ip, C. M., Kyparisis, J.: Local convergence of quasi-Newton methods forB-differentiable equations. Math. Prog.56, 71–89 (1992).
Heinkenschloss, M., Kelley, C. T., Tran, H. T.: Fast algorithms for nonsmooth compact fixed point problems. SIAM J. Numer. Anal.29, 1769–1792 (1992).
Kummer, B.: Newton’s method for non-differentiable functions. In: Advances in Mathematical Optimization (Guddat, J., Bank, B., Hollatz, H., Kall, P., Klatte, D., Kummer, B., Lommatzsch, K., Tammer, L., Vlach, M., Zimmerman, K., eds.), pp. 114–125. Berlin: Akademie-Verlag, 1988.
Lukšan, L.: Inexact trust region method for large sparse systems of nonlinear equations. J. Optim. Theory Appl.81, 569–590 (1994).
Mifflin, R.: Semismooth and semiconvex functions in constrained optimization. SIAM J. Control Optim.15, 957–972 (1977).
Moore, R. E., Qi, L.: A successive interval test for nonlinear systems. SIAM J. Numer. Anal.19, 845–850 (1982).
Nashed, M. Z., Chen, X.: Convergence of Newton-like methods for singular operator equations using outer inverses. Numer. Math.66, 235–257 (1993).
Ortega, J. M., Rheinboldt, W. C.: Iterative solution of nonlinear equations in several variables. New York: Acacemic Press, 1970.
Pang, J. S.: Newton methods forB-differentiable equations. Math. Oper. Res.15, 311–341 (1990).
Pang, J.S., Qi, L.: Nonsmooth equations: motivation and algorithms. SIAM J. Optim.3, 443–465 (1993).
Qi, L.: A note on the Moore test for nonlinear system. SIAM J. Numer. Anal.19, 851–857 (1982).
Qi, L.: Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper. Res.18, 227–244 (1993).
Qi, L., Chen, X.: A globally convergent successive approximation method for nonsmooth equations. SIAM J. Control Optim.33, 402–418 (1995).
Qi, L., Sun, J.: A nonsmooth version of Newton’s method. Math. Prog.58, 353–367 (1993).
Ralph, D.: Global convergence of damped Newton’s method for nonsmooth equations via the path search. Math. Oper. Res.19, 352–389 (1994).
Yamamoto, T.: A method for finding sharp error bounds for Newton’s method under Kantorovich assumptions. Numer. Math.49, 203–220 (1986).
Yamamoto, T., Chen, X.: Validated methods for solving nonlinear systems. Inf. Proc.31, 1191–1196 (1990).
Author information
Authors and Affiliations
Additional information
This work is supported by the Australian Research Council.
Rights and permissions
About this article
Cite this article
Chen, X. A verification method for solutions of nonsmooth equations. Computing 58, 281–294 (1997). https://doi.org/10.1007/BF02684394
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02684394