Abstract

In this paper we study the convergence of a Newton-Steffensen type method for solving nonlinear equations in R, introduced by Sharma [J.R. Sharma, A composite third order Newton–Steffensen method for solving nonlinear equations, Appl. Math. Comput. 169 (2005), 242–246]. Under simplified assumptions regarding the smoothness of the nonlinear function, we show that the q-convergence order of the iterations is 3. The efficiency index of the method is \(\sqrt[3]{3}\) and is larger than \(I_2=\sqrt{2}\), which corresponds to the Newton method or the Steffensen method. Moreover, we show that if the nonlinear function maintains the same monotony and convexity on an interval containing the solution, and the initial approximation satisfies the Fourier condition, then the iterations converge monotonically to the solution. We also obtain a posteriori formulas for controlling the errors. The numerical examples confirm the theoretical results.

Authors

Keywords

Nonlinear equations in R; Newton method; Steffensen type methods; inverse interpolatory polynomials; divided differences.

Paper coordinates

I. Păvăloiu, E. Cătinaş, On a Newton-Steffensen type method, Appl. Math. Lett., 26 (2013) no. 6, pp. 659-663
doi: 10.1016/j.aml.2013.01.003

PDF

PDF-LaTeX file (freely available on the journal website).

About this paper
Publisher Name

Elsevier

Print ISSN

0893-9659

Online ISSN

Google Scholar Profile

[1] M.A. Ostrowski, Solution of Equations in Euclidian and Banach Spaces Academic Press, New York and London (1973)

[2] M. Frontini, Hermite interpolation and a new iterative method for the computation of the roots of non-linear equations, Calcolo, 40 (2003), pp. 109-119 View Record in Scopus

[3] I.K. Argyros, A new convergence theorem for the Steffensen method in Banach space and applications, Rev. Anal. Numer. Theor. Approx., 29 (2) (2000), pp. 119-127

[4] S. Amat, J. Blanda, S. Busquier, A Steffensen type method with modified functions, Riv. Mat. Univ. Parma, 7 (2007), pp. 125-133

[5] E. Cătinaș E., On some Steffensen-type iterative methods for a class of nonlinear equations, Rev. Anal. Numer. Theor. Approx., 24 (1-2) (1995), pp. 37-43

[6] A. Cordero, J.R. Torregrosa, A class of Steffensen type methods with optimal order of convergence, Appl. Math. Comput., 217 (2011), pp. 7653-7659

[7] Hongmin Ren, Qingbiao Wu, Weihong Bi, A class of two-step Steffensen type methods with fourth-order convergence, Appl. Math. Comput., 209 (2009), pp. 206-210

[8] P. Jain, Steffensen type method for solving non-linear equations, Appl. Math. Comput., 194 (2007), pp. 527-533

[9] I. Păvăloiu I., Approximation of the root of equations by Aitken–Steffensen-type monotonic sequences, Calcolo, 32 (1995), pp. 69-82

[10] I. Păvăloiu, E. Cătinaș, On a Steffensen type method, Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algoritms for Scientific Computing, Timișoara, Romania, September 26-29, IEEE Computer Society (2007), pp. 369-375

[11] J.R. Sharma, A composite third order Newton–Steffensen method for solving nonlinear equations, Appl. Math. Comput., 169 (2005), pp. 242-246, https://doi.org/10.1016/j.amc.2004.10.040

[12] Quan Zheng, Peng Zhao, Li Zhang, Wenchao Ma, Variants of Steffensen-secant method and applications, Appl. Math. Comput., 216 (12) (2010), pp. 3486-3496

[13] J.F. Traub, Iterative Method for Solution of Equations Prentice-Hall, Englewood Cliffs, New Jersey (1964)

[14] Shaohua Yu, Xiubin Xu, Jianqiu Li, Younghui Ling, Convergence behavior for Newton-Steffensen’s method under Lipschitz condition of second derivative Taiwanese, J. Math., 15 (6) (2011), pp. 2577-2600

Paper (preprint) in HTML form

/*====================================================================== Core CSS for LaTeXML documents converted to (X)HTML */ /* Generic Page layout */ .ltx_page_header, .ltx_page_footer { font-size:0.8em; } .ltx_page_header *[rel~="prev"], .ltx_page_footer *[rel~="prev"] { float:left; } .ltx_page_header *[rel~="up"], .ltx_page_footer *[rel~="up"] { display:block; text-align:center; } .ltx_page_header *[rel~="next"], .ltx_page_footer *[rel~="next"] { float:right; } /* What was I trying for here; need more selective rule! .ltx_page_header .ltx_ref, .ltx_page_footer .ltx_ref { margin:0 1em; } */ .ltx_page_header li { padding:0.1em 0.2em 0.1em 1em;} /* Main content */ .ltx_page_content { clear:both; } .ltx_page_header { border-bottom:1px solid; margin-bottom:5px; } .ltx_page_footer { clear:both; border-top:1px solid; margin-top:5px; } .ltx_page_header:after, .ltx_page_footer:after, .ltx_page_content:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } .ltx_page_footer:before { content:"."; display:block; height:0; clear:both; visibility:hidden; } .ltx_page_logo { font-size:80%; margin-top: 5px; clear:both; float:right; } .ltx_page_logo a { font-variant: small-caps; } .ltx_page_logo img { vertical-align:-3px; } /* if shown */ .ltx_page_navbar li { white-space:nowrap; display:block; overflow:hidden; } /* If ref got turned into span, it's "this section"*/ .ltx_page_navbar li span.ltx_ref { white-space:normal; overflow:visible; } /* Ought to be easily removable/overridable? */ .ltx_pagination.ltx_role_newpage { height:2em; } /*====================================================================== Document Structure; Titles & Frontmatter */ /* undo bold here to remove the browser's native h# styling, at let all other styles override it (with more specific rules)*/ .ltx_title { font-size:100%; font-weight:normal; } /* Hack to simulate run-in! put class="ltx_runin" on a title or tag for it to run-into the following text. */ .ltx_runin { display:inline; } .ltx_runin:after { content:" "; } .ltx_runin + .ltx_para, .ltx_runin + .ltx_para p, .ltx_runin + p { display:inline; } .ltx_outdent { margin-left: -2em; } /* .ltx_chapter_title, etc should be in ltx-article.css etc. */ .ltx_page_main { margin:0px; padding:1em 3em 1em 2em; } .ltx_tocentry { list-style-type:none; } /* support for common author block layouts.*/ /* add class ltx_authors_1line to get authors in single line with pop-up affiliation, etc. */ .ltx_authors_1line .ltx_creator, .ltx_authors_1line .ltx_author_before, .ltx_authors_1line .ltx_author_after { display:inline;} .ltx_authors_1line .ltx_author_notes { display:inline-block; } .ltx_authors_1line .ltx_author_notes:before { content:"*"; color:blue;} .ltx_authors_1line .ltx_author_notes span { display:none; } .ltx_authors_1line .ltx_author_notes:hover span { display:block; position:absolute; z-index:10; background:white; text-align:left; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } /* add class=ltx_authors_multiline to get authors & affliations on separate lines*/ .ltx_authors_multiline .ltx_creator, .ltx_authors_multiline .ltx_author_before, .ltx_authors_multiline .ltx_author_after, .ltx_authors_multiline .ltx_author_notes, .ltx_authors_multiline .ltx_author_notes .ltx_contact { display:block; } /*====================================================================== Para level */ .ltx_float { margin: 1ex 3em 1ex 3em; } td.ltx_subfigure, td.ltx_subtable, td.ltx_subfloat { width:50%; } /* theorems, figure, tables, floats captions.. */ /*====================================================================== Blocks, Lists, Floats */ .ltx_p, .ltx_quote, .ltx_block, .ltx_para { display: block; } /* alignment within blocks */ .ltx_align_left { text-align:left; } .ltx_align_right { text-align:right; } .ltx_align_center { text-align:center; } .ltx_align_justify { text-align:justify; } .ltx_align_top { vertical-align:top; } .ltx_align_bottom { vertical-align:bottom; } .ltx_align_middle { vertical-align:middle; } .ltx_align_baseline { vertical-align:baseline; } .ltx_align_floatleft { float:left; } .ltx_align_floatright { float:right; } .ltx_td.ltx_align_left, .ltx_th.ltx_align_left, .ltx_td.ltx_align_right, .ltx_th.ltx_align_right, .ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space:nowrap; } .ltx_td.ltx_align_left.ltx_wrap, .ltx_th.ltx_align_left.ltx_wrap, .ltx_td.ltx_align_right.ltx_wrap, .ltx_th.ltx_align_right.ltx_wrap, .ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap, .ltx_td.ltx_align_justify, .ltx_th.ltx_align_justify { white-space:normal; } .ltx_tabular .ltx_tabular { width:100%; } .ltx_inline-block { display:inline-block; } /* equations in non-aligned mode (not normally used) */ .ltx_eqn_div { display:block; width:95%; text-align:center; } /* equations in aligned mode (aligning tags, etc as well as equations) */ .ltx_eqn_table { display:table; width:100%; border-collapse:collapse; } .ltx_eqn_row { display:table-row; } .ltx_eqn_cell { display:table-cell; width:auto; } /* Padding between column pairs in ams align */ table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_center, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_center { padding-left:3em; } table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width:2em; } .ltx_eqn_eqno { max-width:0em; overflow:visible; white-space: nowrap; } .ltx_eqn_eqno.ltx_align_right .ltx_tag { float:right; } .ltx_eqn_center_padleft, .ltx_eqn_center_padright { width:50%; min-width:2em;} .ltx_eqn_left_padleft, .ltx_eqn_right_padright { min-width:2em; } .ltx_eqn_left_padright, .ltx_eqn_right_padleft { width:100%; } /* Various lists */ .ltx_itemize, .ltx_enumerate, .ltx_description { display:block; } .ltx_itemize .ltx_item, .ltx_enumerate .ltx_item { display: list-item; } /* Position the tag to look like a normal item bullet. */ li.ltx_item > .ltx_tag { display:inline-block; margin-left:-1.5em; min-width:1.5em; text-align:right; } .ltx_item .ltx_tag + .ltx_para, .ltx_item .ltx_tag + .ltx_para .ltx_p { display:inline; } /* NOTE: Need to try harder to get runin appearance? */ dl.ltx_description dt { margin-right:0.5em; float:left; font-weight:bold; font-size:95%; } dl.ltx_description dd { margin-left:5em; } dl.ltx_description dl.ltx_description dd { margin-left:3em; } /* Theorems */ .ltx_theorem {margin:1em 0em 1em 0em; } .ltx_title_theorem { font-size:100%; } /* Bibliographies */ .ltx_bibliography dt { margin-right:0.5em; float:left; } .ltx_bibliography dd { margin-left:3em; } /*.ltx_biblist { list-style-type:none; }*/ .ltx_bibitem { list-style-type:none; } .ltx_bibitem .ltx_tag { font-weight:bold; margin-left:-2em; width:3em; } /*.bibitem-tag + div { display:inline; }*/ .ltx_bib_title { font-style:italic; } .ltx_bib_article .bib-title { font-style:normal !important; } .ltx_bib_journal { font-style:italic; } .ltx_bib_volume { font-weight:bold; } /* Indices */ .ltx_indexlist li { list-style-type:none; } .ltx_indexlist { margin-left:1em; padding-left:1em;} /* Listings */ .ltx_listing { display:block; margin: 1ex 3em 1ex 0em; overflow-x:auto; text-align: left; } .ltx_float .ltx_listing { margin: 0; } .ltx_listingline { white-space:nowrap; min-height:1em; } .ltx_lst_numbers_left .ltx_listingline .ltx_tag { background-color:transparent; margin-left:-3em; width:2.5em; position:absolute; text-align:right; } .ltx_lst_numbers_right .ltx_listingline .ltx_tag { background-color:transparent; width:2.5em; position:absolute; right:3em; text-align:right; } /* position:absolute; left:0em; max-width:0em; text-align:right; } */ .ltx_parbox {text-indent:0em; } /* NOTE that it is CRITICAL to put position:relative outside & absolute inside!! I wish I understood why! Outer box establishes resulting size, neutralizes any outer positioning, etc; inner establishes position of stuff to be rotated */ .ltx_transformed_outer { position:relative; bottom:0pt;left:0pt; overflow:visible; } .ltx_transformed_inner { display:block; position:absolute;bottom:0pt;left:0pt; } .ltx_transformed_inner > .ltx_p {text-indent:0em; margin:0; padding:0; } /* If simulating a table (html5), try to get rowspan to work...sorta? */ span.ltx_rowspan { position:absolute; top:0; bottom:0; } /* by default, p doesn't indent */ .ltx_p { text-indent:0em; white-space:normal; } /* explicit control of indentation (on ltx_para) */ .ltx_indent > .ltx_p:first-child { text-indent:2em!important; } .ltx_noindent > .ltx_p:first-child { text-indent:0em!important; } /*====================================================================== Columns */ .ltx_page_column1 { width:44%; float:left; } /* IE uses % of wrong container*/ .ltx_page_column2 { width:44%; float:right; } .ltx_page_columns > .ltx_page_column1 { width:48%; float:left; } .ltx_page_columns > .ltx_page_column2 { width:48%; float:right; } .ltx_page_columns:after { content:"."; display:block; height:0; clear:both; visibility:hidden; } /*====================================================================== Borders and such */ .ltx_tabular { display:inline-table; border-collapse:collapse; } .ltx_tabular.ltx_centering { display:table; } .ltx_thead, .ltx_tfoot, .ltx_tbody { display:table-row-group; } .ltx_tr { display:table-row; } .ltx_td, .ltx_th { display:table-cell; } .ltx_framed { border:1px solid black;} .ltx_tabular .ltx_td, .ltx_tabular .ltx_th { padding:0.1em 0.5em; } /* regular lines */ .ltx_border_t { border-top:1px solid black; } .ltx_border_r { border-right:1px solid black; } .ltx_border_b { border-bottom:1px solid black; } .ltx_border_l { border-left:1px solid black; } /* double lines */ .ltx_border_tt { border-top:3px double black; } .ltx_border_rr { border-right:3px double black; } .ltx_border_bb { border-bottom:3px double black; } .ltx_border_ll { border-left:3px double black; } /* Light lines */ .ltx_border_T { border-top:1px solid gray; } .ltx_border_R { border-right:1px solid gray; } .ltx_border_B { border-bottom:1px solid gray; } .ltx_border_L { border-left:1px solid gray; } /* Framing */ .ltx_framed_rectangle { border-style:solid; border-width:1px; } .ltx_framed_top { border-top-style:solid; border-top-width:1px; } .ltx_framed_left { border-left-style:solid; border-left-width:1px; } .ltx_framed_right { border-right-style:solid; border-right-width:1px; } .ltx_framed_bottom, .ltx_framed_underline { border-bottom-style:solid; border-bottom-width:1px; } .ltx_framed_topbottom { border-top-style:solid; border-top-width:1px; border-bottom-style:solid; border-bottom-width:1px; } .ltx_framed_leftright { border-left-style:solid; border-left-width:1px; border-right-style:solid; border-right-width:1px; } /*====================================================================== Misc */ /* .ltx_verbatim*/ .ltx_verbatim { text-align:left; } /*====================================================================== Meta stuff, footnotes */ .ltx_note_content { display:none; } /*right:5%; */ .ltx_note_content { max-width: 70%; font-size:90%; left:15%; text-align:left; background-color: white; padding: 0.5em 1em 0.5em 1.5em; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; } .ltx_note_mark { color:blue; } .ltx_note_type { font-weight: bold; } .ltx_note { display:inline-block; text-indent:0; } /* So we establish containing block */ .ltx_note_content .ltx_note_mark { position:absolute; left:0.2em; top:-0.1em; } .ltx_note:hover .ltx_note_content, .ltx_note .ltx_note_content:hover { display:block; position:absolute; z-index:10; } .ltx_ERROR { color:red; } .ltx_rdf { display:none; } .ltx_missing { color:red;} .ltx_nounicode { color:red; } /*====================================================================== SVG (pgf/tikz ?) basics */ /* Stuff appearing in svg:foreignObject */ .ltx_svg_fog foreignObject { margin:0; padding:0; overflow:visible; } .ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; } /*.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; white-space:nowrap; }*/ /*====================================================================== Low-level Basics */ /* Note that LaTeX(ML)'s font model doesn't map quite exactly to CSS's */ /* Font Families => font-family */ .ltx_font_serif { font-family: serif; } .ltx_font_sansserif { font-family: sans-serif; } .ltx_font_typewriter { font-family: monospace; } /* dingbats should be converted to unicode? */ /* Math font families handled within math: script, symbol, fraktur, blackboard ? */ /* Font Series => font-weight */ .ltx_font_bold { font-weight: bold; } .ltx_font_medium { font-weight: normal; } /* Font Shapes => font-style or font-variant */ .ltx_font_italic { font-style: italic; font-variant:normal; } .ltx_font_upright { font-style: normal; font-variant:normal; } .ltx_font_slanted { font-style: oblique; font-variant:normal; } .ltx_font_smallcaps { font-variant: small-caps; font-style:normal; } .ltx_font_oldstyle { font-variant: oldstyle-nums; /* experimental css3 ? Doesn't seem to work!*/ font-style:normal; -moz-font-feature-settings: "onum"; -ms-font-feature-settings: "onum"; -webkit-font-feature-settings: "onum"; font-variant-numeric: oldstyle-nums; } .ltx_font_mathcaligraphic { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L"; } /* .ltx_font_mathscript { ? } */ cite { font-style: normal; } .ltx_red { color:red; } /*.ltx_centering { text-align:center; margin:auto; }*/ /*.ltx_inline-block.ltx_centering,*/ /* Hmm.... is this right in general? */ .ltx_centering { display:block; margin:auto; text-align:center; } /* Dubious stuff */ .ltx_hflipped { display:inline-block; -moz-transform: scaleX(-1); -o-transform: scaleX(-1); -webkit-transform: scaleX(-1); transform: scaleX(-1); filter: FlipH; -ms-fliter: "FlipH"; } .ltx_vflipped { display:inline-block; -moz-transform: scaleY(-1); -o-transform: scaleY(-1); -webkit-transform: scaleY(-1); transform: scaleY(-1); filter: FlipV; -ms-fliter: "FlipV"; } /* .ltx_phantom handled in xslt */ /* A somewhat amsart-like style */ .ltx_title_document { text-transform:uppercase; font-size: 150%; text-align:center; } .ltx_title_section { font-family:serif; font-weight:normal; font-variant:small-caps; font-size: 120%; text-align:center; } .ltx_authors { text-align:center; } .ltx_author_before,.ltx_author_after, .ltx_role_author .ltx_personname { text-transform:uppercase; } .ltx_abstract { margin-bottom:1em; } .ltx_title_abstract { font-family:serif; font-weight:normal; font-variant:small-caps;} .ltx_title_keywords, .ltx_title_classification { display:inline; font-size:100%; font-weight:normal; font-style:italic; } .ltx_role_dedicatory { font-size:100%; font-style:italic; text-align:center; margin:1em;} .ltx_figure .ltx_tag, .ltx_table .ltx_tag { font-family:serif; font-variant:small-caps;} .ltx_title_subsection, .ltx_title_subsubsection { font-family:serif; font-weight:bold;} .ltx_title_subsection:after, .ltx_title_subsubsection:after, .ltx_title_paragraph:after { content:"."; } /* abstract, subsection, subsubsection and paragraph titles are runin */ .ltx_abstract .ltx_title, .ltx_abstract .ltx_title + .ltx_p { display:inline; } .ltx_subsection .ltx_title, .ltx_subsection .ltx_title + .ltx_para, .ltx_subsection .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_subsubsection .ltx_title, .ltx_subsubsection .ltx_title + .ltx_para, .ltx_subsubsection .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_paragraph .ltx_title, .ltx_paragraph .ltx_title + .ltx_para, .ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_title +.ltx_para > .ltx_p {text-indent:2em; } .ltx_itemize, .ltx_enumerate, .ltx_description { margin-left: clamp(1em, 3%, 2em); } .ltx_title_document { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; } .ltx_authors, .ltx_role_author { text-align:center; margin:0.5em 0 0.5em 0; } .ltx_role_author .ltx_personname { font-size: 120%; } .ltx_date { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; } .ltx_subtitle { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; } .ltx_title_abstract { text-align:center; font-size: 100%; font-weight:bold; } .ltx_abstract { margin-left:4em; margin-right:4em; } .ltx_title_acknowledgements, .ltx_title_keywords, .ltx_title_classification { text-align:left; font-size: 100%; font-weight:bold; margin:0.5 0 0 0; } .ltx_appendix, .ltx_section, .ltx_subsection, .ltx_subsubsection { margin-top:1.5em; } .ltx_paragraph, .ltx_subparagraph { margin-top:1.0em; } .ltx_title_appendix, .ltx_title_section, .ltx_title_bibliography { font-size:140%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsection { font-size:120%; font-weight:bold; margin-bottom:1em; } .ltx_title_subsubsection { font-size:100%; font-weight:bold; margin-bottom:1em; } /* Paragraph & Subparagraph titles should be runin! */ .ltx_title_paragraph { font-size:100%; font-weight:bold; display:inline; margin-right:1em; } .ltx_paragraph .ltx_title, .ltx_paragraph .ltx_title + .ltx_para, .ltx_paragraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_title_subparagraph { font-size:100%; font-weight:bold; display:inline; margin-left:2em; margin-right:1em; } .ltx_subparagraph .ltx_title, .ltx_subparagraph .ltx_title + .ltx_para, .ltx_subparagraph .ltx_title + .ltx_para > .ltx_p { display:inline; } .ltx_figure { text-align:center; margin:auto; margin:0.5em; } .ltx_table { text-align:center; margin:auto; margin:0.5em; } /* experimental: flex model, to center short captions, justify long ones */ .ltx_table, .ltx_figure { display:flex; flex-direction:column; align-items:center; } .ltx_table .ltx_caption, .ltx_figure .ltx_caption { text-align:justify; } /* first p in para gets indented */ .ltx_para > .ltx_p:first-child { text-indent:2em; } /* except the initial in a section */ section > .ltx_title +.ltx_para > .ltx_p, section > .ltx_title +.ltx_date +.ltx_para > .ltx_p {text-indent:0em; } .ltx_title_abstract + .ltx_p {text-indent:2em; } .ltx_itemize, .ltx_enumerate { margin-left:1em; } .ltx_theorem { margin-top:0.5em; margin-bottom:0.5em; } .ltx_theorem .ltx_title { margin-bottom:0.1em; } .ltx_theorem .ltx_title + .ltx_para, .ltx_theorem .ltx_title + .ltx_para .ltx_p, .ltx_theorem .ltx_title + .ltx_p { margin-top:0em; } On a Newton-Steffensen type method

On a Newton-Steffensen type method

I. Păvăloiu and E. Cătinaş ”T. Popoviciu” Institute of Numerical Analysis, Romanian Academy, P.O. Box 68-1, Cluj-Napoca, Romania, e-mail: pavaloiu@ictp.acad.ro,ecatinas@ictp.acad.ro
Abstract

In this paper we study the convergence of a Newton-Steffensen type method for solving nonlinear equations in ℝ, introduced by Sharma [J.R. Sharma, A composite third order Newton-Steffensen method for solving nonlinear equations, Appl. Math. Comput. 169 (2005), 242–246].

Under simplified assumptions regarding the smoothness of the nonlinear function, we show that the q-convergence order of the iterations is 3. The efficiency index of the method is 33, and is larger than I2=2, which corresponds to the Newton method or the Steffensen method.

Moreover, we show that if the nonlinear function maintains the same monotony and convexity on an interval containing the solution, and the initial approximation satisfies the Fourier condition, then the iterations converge monotonically to the solution.

We also obtain a posteriori formulas for controlling the errors.

The numerical examples confirm the theoretical results.

keywords:
Nonlinear equations , Newton method , Steffensen method , convergence order.
MSC:
65H05
††journal: Applied Mathematical Letters

1 Introduction

Consider the equation

f⁢(x)=0 (1)

f:[a,b]→ℝ, a<b, and another equivalent equation:

x−g⁢(x)=0 (2)

g:[a,b]→[a,b].

The Steffensen type methods are interpolatory methods (see, e.g., [8], [5]), with the nodes controlled at each step by the auxiliary function g [1]–[4], [6]–[7], [9]–[11], [14]. The method generates a sequence {xn}n≥0 which approximates a solution x∗ of (1):

xn+1=xn−f⁢(xn)[xn,g⁢(xn);f],n=0,1,…,x0∈[a,b]. (3)

In the papers [9], [10] is studied the convergence of the Steffensen method when g is given by

g⁢(x)=x−λ⁢f⁢(x)

λ∈ℝ. The parameter λ is determined such that the sequences {xn}n≥0 and {g⁢(xn)}n≥0 approximate bilaterally the solution, and the convergence order of these methods is 2.

In [11] Sharma introduces a Steffensen type method of order three, with g given by

g⁢(x)=x−f⁢(x)f′⁢(x), (4)

which we shall call as the Newton-Steffensen (N-S) method. Since it requires 3 function evaluations at each iteration step, its efficiency index is I3=33, and is larger than I2=2, which corresponds to the Newton method or the Steffensen method (see, e.g., [9], [8], [12]), and therefore the method is worth to be considered.

In this paper we shall show in Section 2 that the convergence order 3 can be obtained under some weaker smoothness assumptions on f than in [11] and [13]. Moreover, in Section 3 we shall study the convergence of the (N-S) method in hypotheses regarding the monotony and convexity of f on [a,b]. Under some simple assumptions on f, including the Fourier conditions, we shall show that the (N-S) method leads to monotonic sequences which approximate the solution. In Section 4 we illustrate the theory by some numerical examples, which confirm the theoretical results.

2 Local convergence of the method

Consider the following hypotheses:

α) equation (1) has a solution x∗∈]a,b[.

β) f∈C2⁢[a,b],

γ) f′⁢(x)≠0 on [a,b].

Sharma proved the following result.

Theorem 1

[11]If f satisfies α)–γ) and moreover, there exists f′′′⁢(x∗), then the (N-S) method has the q-convergence order at least 3, with the asymptotic constant given by relation:

|xn+1−x∗|=(f′′⁢(x∗)2⁢f′⁢(x∗))2⁢|xn−x∗|3+o⁢(|xn−x∗|4), as ⁢n→∞. (5)

Of course that the fact that the sequence is well defined must be implicitly assumed.

We show that the requirement that f is three times differentiable can be dropped.

In [13], the authors studied the semilocal and local convergence of the (N-S) iterates in the setting of Banach spaces. Local convergence with order 3 was established under the assumption of Lipschitz continuity of f′′. We show here that even the Lipschitz continuity may be relaxed, and we consider the following assumption:

β′) f∈C1⁢[a,b], and ∃f′′⁢(x),∀x∈(a,b), which is continuous at x∗.

Theorem 2

If f satisfies α),β′),γ), the (N-S) method is well defined and converges to x∗, then the method has the q-convergence order at least 3, with the same asymptotic constant given in (5).

Proof. From the Newton identity and α) we have

f⁢(x∗)= f⁢(xn)+[xn,g⁢(xn);f]⁢(x∗−xn)+
+[x∗,xn,g⁢(xn);f]⁢(x∗−xn)⁢(x∗−g⁢(xn))=0

whence, by (3) we get

x∗−xn+1 =−[x∗,xn,g⁢(xn);f][xn,g⁢(xn);f]⁢(x∗−xn)⁢(x∗−g⁢(xn)),n=0,1,… (6)

By α),β) and the Taylor formula we obtain

f⁢(x∗)=f⁢(xn)+f′⁢(xn)⁢(x∗−xn)+f′′⁢(ξn)2⁢(x∗−xn)2=0, (7)

where ξn belongs to the open interval determined by xn and x∗.

Taking into account that g⁢(xn)=xn−f⁢(xn)f′⁢(xn), by (7) we infer

x∗−g⁢(xn)=−f′′⁢(ξn)2⁢f′⁢(xn)⁢(x∗−xn)2,n=0,1,…, (8)

which together with (6) attracts

x∗−xn+1=f′′⁢(ξn)⁢[x∗,xn,g⁢(xn);f]2⁢f′⁢(xn)⁢[xn,g⁢(xn);f]⁢(x∗−xn)3,n=0,1,…, (9)

which shows that the (N-S) method has q-order 3. The Mean Value Theorem for divided differences ensures that [x∗,xn,g⁢(xn);f]→12⁢f′′⁢(x∗) and [xn,g⁢(xn);f]→f′⁢(x∗), as n→∞, so we are led to the same asymptotic constant as in (5).  

3 Monotone convergence of the method

As it is well known, when f∈C2⁢[a,b] preserves its monotonicity and convexity on [a,b], if the initial approximation x0∈[a,b] verifies the Fourier condition, then the Newton method yields a monotone sequence which converges to the solution x∗∈[a,b]. We shall show that under same such hypotheses, we obtain the same conclusions, but for a method with superior efficiency index.

We assume that the initial approximation x0 verifies the Fourier condition (see [8]):

δ)

f′′⁢(x0)⁢f⁢(x0)>0,x0∈[a,b].

We obtain the following results.

Theorem 3

If f and x0 verify α),β′),δ) and, moreover,

i1.

f′⁢(x)>0, ∀x∈[a,b];

ii1.

f′′⁢(x)>0,∀x∈[a,b],

then the elements of {xn}n≥0 and {g⁢(xn)}n≥0 generated by the (N-S) method remain in [a,b], converge to x∗ and obey

xn>g⁢(xn)>xn+1>x∗,n=0,1,…; (10)

Proof. From β) and i1 it follows that x∗∈]a,b[ is a unique solution. Conditions α), γ), i1 and i⁢i1 imply that x0>x∗. Let xn∈[a,b] such that xn>x∗. From i1 we get that f⁢(xn)>0 and g⁢(xn)=xn−f⁢(xn)f′⁢(xn)<xn. Conditions i1, i⁢i1 and (8) imply x∗<g⁢(xn).

Using the mean value formulas for divided differences and taking into account i1, i⁢i1 and (6), it follows that x∗<xn+1.

We notice that relation (3) can be written as

xn+1=g⁢(xn)−f⁢(g⁢(xn))[xn,g⁢(xn);f],n=0,1,…, (11)

whence, since f⁢(g⁢(xn))>0 by i1 it follows xn+1<g⁢(xn).

It is obvious that the elements of {xn}n≥0 and {g⁢(xn)}n≥0 belong to ]x∗,x0]⊂[a,b]. It remains to show the convergence to the solution. Indeed, if ℓ=limxn then by (10) limg⁢(xn)=g⁢(ℓ)=ℓ, whence f⁢(ℓ)=0 i.e., ℓ=x∗.  

Theorem 4

The statements of Theorem 3 hold true if assumptions i1, i⁢i1 are replaced by

i2.

f′⁢(x)<0, ∀x∈[a,b];

ii2.

f′′⁢(x)<0, ∀x∈[a,b].

Proof. The result can be obtained as a consequence of Theorem 3, if instead of (1) we consider the equation h⁢(x)=0, with h=−f.  

Theorem 5

If f and x0 verify α),β′),δ) and, moreover

i3.

f′⁢(x)>0,∀x∈[a,b];

ii3.

f′′⁢(x)<0, ∀x∈[a,b],

then the elements of {xn}n≥0 and {g⁢(xn)}n≥0 generated by the (N-S) method remain in [a,b], converge to x∗ and obey

xn<g⁢(xn)<xn+1<x∗,n=0,1,… (12)

Proof. Hypotheses β) and i3 ensure that x∗∈[a,b] is a unique solution. Assumptions α), γ), i3 and i⁢i3 lead to f⁢(x0)<0 or x0<x∗. Let xn<x∗ for some xn∈[a,b]. By i3 we get f⁢(xn)<0 and g⁢(xn)=xn−f⁢(xn)f′⁢(xn)>xn. By (8), i3 and i⁢i3 it follows g⁢(xn)<x∗. Relation (3) implies xn+1>xn and by (6) we get xn+1<x∗. By (11) we get xn+1>g⁢(xn).  

Theorem 6

The same conclusions hold if in Theorem 5 i3 and i⁢i3 are replaced by

i4.

f′⁢(x)<0, ∀x∈[a,b];

ii4.

f′′⁢(x)>0, ∀x∈[a,b].

Proof. This result can be obtained from Theorem 5 by taking −f instead of f.  

Remark 1

The hypotheses of Theorems 3–6 ensure the fact that the elements of {xn}n≥0 and {g⁢(xn)}n≥0 remain in [a,b]. Since the hypotheses of Theorem 2 are also verified, it follows that the iterations converge with q-order 3.

Remark 2

From relation

f⁢(xn+1)= f⁢(xn)+[xn,g⁢(xn);f]⁢(xn+1−xn)+
+[xn+1,xn,g⁢(xn);f]⁢(xn+1−xn)⁢(xn+1−g⁢(xn)),

taking into account (3) we get

x∗−xn+1=−[xn+1,xn,g⁢(xn);f][x∗,xn+1;f]⁢(xn+1−xn)⁢(xn+1−g⁢(xn)).

whence it follows that in the assumptions of Theorems 3–6 we have

|x∗−xn+1|=O⁢(|xn+1−xn|2).

This formula can be useful for a posteriori control of the error.

4 Numerical examples

We consider four numerical examples, and we compute the iterations using double precision in Matlab.

Example 1

Consider the equation

f⁢(x)=x2−x⁢sin⁡x+ex+1−3=0,x∈[0,1].

One can verify that f⁢(0)=e−3<0, f⁢(1)=1+e2−sin⁡1−3=e2−sin⁡1−2>0, f′⁢(x)=2⁢x−sin⁡x−x⁢cos⁡x+ex+1>2⁢x+ex+1−2>0, for all x∈[0,1]. Also, f′′⁢(x)=2−2⁢cos⁡x+x⁢sin⁡x+ex+1=4⁢sin2⁡x2+x⁢sin⁡x+ex+1>0 for all x∈[0,1]. Therefore the assumptions of Theorem 3 apply for x0=1.

We have g⁢(x)=x−x2−x⁢sin⁡x+ex+1−32⁢x−sin⁡x−x⁢cos⁡x+ex+1=x2−x2⁢cos⁡x+(x−1)⁢ex+1+32⁢x−sin⁡x−x⁢cos⁡x+ex+1

The obtained numerical results are shown in Table 1. The values of f⁢(xn) are rounded to two decimals, since we are interested only in the magnitude of these values.

n xn g⁢(xn) f⁢(xn)
0 1.000000000000000e+0 4.320688774181047e-1 4.5e+00
1 2.300692760447372e-1 1.070409169425782e-1 4.2e-01
2 9.915547164564892e-2 9.860719010016147e-2 1.6e-03
3 9.860703883247032e-2 9.860703879072202e-2 1.3e-10
4 9.860703879072187e-2 9.860703879072202e-2 -4.4e-16
Table 1: Numerical results for solving x2−x⁢sin⁡x+ex+1−3=0,x∈[0,1].

It can be seen that the (N-S) method generates decreasing iterates for {xn}n≥0.

Example 2

Consider the following equation

f⁢(x)=x2+cos⁡x−x⁢ex=0,x∈[0,1].

We have: f⁢(0)=1>0, f⁢(1)=−e+1+cos⁡1<0, f′⁢(x)=2⁢x−sin⁡x−ex−x⁢ex, f′′⁢(x)=2−cos⁡x−2⁢ex−x⁢ex<0, f′′′⁢(x)=sin⁡x−(3+x)⁢ex, which imply that f′⁢(x)<0,f′′⁢(x)<0, x∈[0,1].

If x0=1, the assumptions of Theorem 4 are verified.

We obtain the results presented in Table 2. As expected, the (N-S) iterates are decreasing.

n xn g⁢(xn) f⁢(xn)
0 1.000000000000000e+0 7.246446975670946e-1 -1.2e+00
1 6.607648584752154e-1 6.395167806664399e-1 -5.3e-02
2 6.391602133769920e-1 6.391540963613613e-1 -1.5e-05
3 6.391540963320078e-1 6.391540963320076e-1 -6.7e-16
Table 2: Numerical results for solving x2+cos⁡x−x⁢ex=0,x∈[0,1].
Example 3

Consider

f⁢(x)=sin⁡x+2⁢x−2,x∈[0,π2].

We have f⁢(0)=−2<0, f⁢(π2)=π−1>0, f′⁢(x)=cos⁡x+2>0,x∈[0,π2], while f′′⁢(x)=−sin⁡x<0,x∈[0,π2].

Taking x0=0, hypothesis of Theorem 5 apply.

The obtained results are presented in Table 3. The (N-S) iterates are increasing.

n xn g⁢(xn) f⁢(xn)
0 0.000000000000000e+0 6.666666666666666e-1 -2.0e+00
1 6.831640060745233e-1 6.840365700507293e-1 -2.4e-03
2 6.840366566692261e-1 6.840366566778295e-1 -2.4e-11
3 6.840366566778295e-1 6.840366566778295e-1 0.0e+00
Table 3: Numerical results for solving sin⁡x+2⁢x−2=0,x∈[0,π2].
Example 4

Consider

f⁢(x)=3⁢e−x−x+1,x∈[1,2].

We have f⁢(1)=3e>0, f⁢(2)=3e2−1<0, f′⁢(x)=−3⁢e−x−1<0,x∈[1,2], while f′′⁢(x)=3⁢e−x>0,x∈[1,2].

Taking x0=1, hypothesis of Theorem 6 apply.

The obtained results are presented in Table 4. The (N-S) iterates are increasing.

n xn g⁢(xn) f⁢(xn)
0 1.000000000000000e+0 1.524633113581329e+0 1.1e+00
1 1.593748766088184e+0 1.603527625548530e+0 1.6e-02
2 1.603545706091483e+0 1.603545739535836e+0 5.4e-08
3 1.603545739535836e+0 1.603545739535836e+0 -2.2e-16
Table 4: Numerical results for solving 3⁢e−x−x+1=0,x∈[1,2].

It is interesting to note that we get f⁢(x3)=0 in Example 3, which suggests that x3=x∗. However, if instead of the standard double precision we use higher precision (e.g., variable precision arithmetic) for representing x3 from Table 3, the computation of f⁢(x3) no longer yields 0 (of course, we obtain values with the magnitude comparable to the machine epsilon from double precision, ϵ≈2.22e−16). This means that x3 from Table 3 is just a very good approximation (in double precision arithmetic) to the solution.

Acknowledgement. We are grateful to an anonymous referee for his constructive remarks in improving the presentation of our paper.

References

  • [1] I.K. Argyros, A new convergence theorem for the Steffensen method in Banach space and applications, Rev. Anal. Numér. Théor. Approx., 29 (2000) 2 , 119–127.
  • [2] S. Amat, J. Blanda and S. Busquier, A Steffensen type method with modified functions, Rev. Math. Univ. Parma 7 (2007) 125–133.
  • [3] E. Cătinaş, On some Steffensen-type iterative methods for a class of nonlinear equations, Rev. Anal. Numér. Théor. Approx., 24 (1995) nos. 1-2, pp. 37–43.
  • [4] A. Cordero, J.R. Torregrosa, A class of Steffensen type methods with optimal order of convergence, Appl. Math. Comput. 217 (2011), 7653–7659.
  • [5] M. Frontini, Hermite interpolation and a new iterative method for the computation of the roots of non-linear equations, Calcolo, 40 (2003), 109–119.
  • [6] Hongmin Ren, Qingbiao Wu, Weihong Bi, A class of two-step Steffensen type methods with fourth-order convergence, Appl. Math. Comput. 209 (2009), 206–210.
  • [7] P. Jain, Steffensen type method for solving non-linear equations, Appl. Math. Comput. 194 (2007), 527–533.
  • [8] M. A. Ostrowski, Solution of Equations in Euclidian and Banach Spaces, Academic Press, New York and London, 1973.
  • [9] I. Păvăloiu, Approximation of the root of equations by Aitken-Steffensen-type monotonic sequences, Calcolo 32 (1995), 69–82.
  • [10] I. Păvăloiu and E. Cătinas, On a Steffensen type method, IEEE Computer Society, Proceedings of SYNASC 2007, 9th International Symposium on Symbolic and Numeric Algoritms for Scientific Computing, Timişoara, Romania, September 26–29, 2007, pp. 369–375.
  • [11] J. R. Sharma, A composite third order Newton-Steffensen method for solving nonlinear equations, Appl. Math. Comput. 169 (2005), 242–246.
  • [12] J. F. Traub, Iterative Method for Solution of Equations, Prentice-Hall Englewood Cliffs, New Jersey, 1964.
  • [13] Shaohua Yu, Xiubin Xu, Jianqiu Li and Younghui Ling, Convergence behavior for Newton-Steffensen’s method under Lipschitz condition of second derivative, Taiwanese J. Math., 15 (2011) no. 6, 2577–2600.
  • [14] Quan Zheng, Peng Zhao, Li Zhang, Wenchao Ma, Variants of Steffensen-secant method and applications, Appl. Math. Comput. 216 (2010) 12, 3486–3496.
2013

Related Posts