On the convergence of a class of iteration methods of J. F. Traub

9 years ago

Abstract

Let $X$ be a Banach space, $Y$ a normed space and $P:X\rightarrow Y$ a nonlinear operator. We study the convergence of the following method for solving the equation $P\left( x\right) =0$ \[ x_{n+1}=Q\left( x_{n}\right) -\left[ P^{\prime}\left( x_{n}\right) \right] ^{-1}P\left( Q(x_n)\right),\ n=0,1,…, \ x_{0}\in X \] where $Q$ is a nonlinear operator associated to the nonlinear equation $P\left( x\right) =0$. We show that if the successive approximations of $Q$ converge with order $k\geq2$, there the above sequence converge to the solution with order $k+1$.

Authors

Ion Păvăloiu
(Tiberiu Popoviciu Institute of Numerical Analysis)

Title

Original title (in French)

Sur la convergence d’une classe de méthodes itératives de J.F. Traub

English translation of the title

On the convergence of a class of iteration methods of J.F. Traub

Keywords

Traub method; iterative method; nonlinear operator equation; convergence order; semilocal convergence

PDF

Scanned paper (on the journal website).

PDF-Latex version of the paper.

Cite this paper as:

I. Păvăloiu, Sur le convergence d’une classe de méthodes itératives de J. Traub, Rev. Anal. Numér. Théor. Approx., 2 (1973), pp. 99-104, https://doi.org/10.33993/jnaat21-15 (in French).

About this paper

Journal

Revue d’analyse numerique et de la Theorie de l’Approximation

Publisher Name

Academia R.S. Romane

DOI

https://doi.org/10.33993/jnaat21-15

Print ISSN

0301-9241

Online ISSN

2457-810X

References

[1] Pavaloiu, I., Interpolation dans des espaces lineaires normes et applications, Mathematica (Cluj), 12 (35), 1, 149–158 (1970).

[2] Pavaloiu, I., Sur les procedes iteratifs a un ordre eleve de convergence. Mathematica Cluj, 12 (35), 12 , 309-324 (1970).

[3] Pavaloiu, I., Asupra operatorilor iterativi, Studii si cercetari matematice, 10, 23, 1537–1544 (1971).

[4] Traub, J. F., Iterative Methods for the Solution of Equations, Prentice-Hall. Inc. Englewood Cliffs N. J., 1964.

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 the convergence of a class of iteration methods of JF Traub

by
I. Păvăloiu
(Cluj)

1. Consider the operational equation

(1)

P (x) = θ,

Or $P$ is an operator defined on the Banach space $X$ with values in the normed linear space $Y .$

In case $P (x)$ is a real function of the real variable $x$ , JF Traub [ 5 ] studies the order of the following iterative function attached to equation ( 1 ):

(2)

ψ (x) = Φ (x) - \frac{P (Φ (x))}{P^{'} (x)} .

In work [ 4 ] , we extended the iterative function ( 2 ) for more general equations of form ( 1 ) and we easily studied its order by employing a notion of order of an iterative operator, a more general notion than that employed [ 5 ] .

In this note we will study the convergence of the iterative process which results from the following iterative operator studied by us in [ 4 ]

(3)

R (x) = Q (x) - {[P^{'} (x)]}^{- 1} P (Q (x)),

Or $P^{'} (x) e s t$ the Fréchet derivative of the operator $P$ And $Q$ is an arbitrary iterative operator attached to equation ( 1 ). We will then consider a special case of operator ( 3 ) by the particularization of the operator $Q .$

2. The iterative operator ( 3 ) obviously leads us to the following iterative method:

(4)

x_{n + 1} = Q (x_{n}) - {[P^{'} (x_{n})]}^{- 1} P (Q (x_{n})), n = 0, 1, \dots, x_{0} \in X,

where for the clarity of the statements and demonstrations which follow we will assume that the operator $Q$ has the shape

(5)

Q (x) = x + φ (x) .

Let x ${}_{0}\in X$ And $δ$ a real and positive number. We denote by $S (x_{0}, δ)$ the whole ${x \in X : ‖ x - x_{0} ‖ \leq δ} .$

It is assumed that in the sphere $S (x_{0}, δ)$ previously defined the following conditions are met.

1.i)

The operator $P (x)$ admits derivatives in the Fréchet sense up to order $k$ inclusively and $sup_{x \in S (x_{0}, δ)} ‖ P {(x)}^{(k)} (x) ‖ \leq M_{k} < \infty,$ Or $k ≧ 2$ is a natural number. We denote by $M_{2} = sup_{x \in S (x_{0}, δ)} ‖ P^{"} (x) ‖ .$
2.i)

$‖ \sum_{s = 0}^{k - 1} \frac{P^{(s)} (x)}{s!} φ^{s} (x) ‖ \leq α {‖ P (x) ‖}^{k}$ for everything $x \in S (x_{0}, δ)$ Or $α$ is a non-negative real number.
3.i)

$‖ φ (x) ‖ \leq β ‖ P (x) ‖$ for everything $x \in S (x_{0}, δ),$ Or $β$ is a positive real number.
4.i)

The operator $P^{'} (x)$ admits a bounded inverse for all $x \in S (x_{0}, δ)$ that is to say he $y$ has a real and positive constant $B$ for which $‖ {[P^{'} (x)]}^{- 1} ‖ \leq B .$
5.i)

The generalized divided difference [ 2 ] , $[x, y; Q]$ of the operator $Q$ is bounded in norm for all $x, y \in S (x_{0}, δ)$ that is to say he $y$ has a real and non-negative constant $λ$ for which $‖ [x, y; Q] ‖ \leq λ .$
6.i)

$ε_{0} = ρ_{0}^{\frac{1}{k}} ‖ P (x_{0}) ‖ < 1$ Or

$ρ_{0} = M_{2} B (\frac{M_{k} β^{k}}{k!} + α) [\frac{1}{2} B (\frac{M_{k} β^{k}}{k!} + α) h_{0}^{k - 1} + β] And h_{0} = ‖ P (x_{0}) ‖$
7.i)

Either

$r = λ ρ_{0}^{- \frac{1}{k}} μ_{0} \frac{ε_{0}^{k + 1}}{1 - ε_{0}^{k + 1}} + β h_{0} + λ μ_{0} h_{0}$

And

$r^{'} = μ_{0} [\frac{ρ_{0}^{- \frac{1}{k}} ε_{0}^{k + 1}}{1 - ε_{0}^{k - 1}} + h_{0}] Or μ_{0} = β + B (\frac{M_{k} β^{k}}{k!} + α) h_{0}^{k - 1}$

we assume that max ${r, r^{'}} \leq δ .$

Theorem 1 .

If assumptions 1.i)–7.i) are fulfilled then with respect to the class of iterative methods ( 4 ) we have the following properties:

1.c)

equation ( 1 ) has at least one solution $\bar{x} \in S (x_{0}, δ),$
2.c)

$lim_{n \to \infty} x_{n} = \bar{x},$
3.c)

$‖ P (x_{n + 1}) ‖ \leq δ_{0} {‖ P (x_{n}) ‖}^{k + 1}$
4.c)

$‖ x_{n + 1} - \bar{x} ‖ \leq μ_{0} ρ_{0}^{- \frac{1}{k}} \frac{ε_{0}^{{(k + 1)}^{n + 1}}}{1 - ε_{0}^{k + 1}}, n = 0, 1, \dots$

Demonstration..

To make writing easier we will write $k + 1 = p .$ First we will show that $Q (x_{0}) \in S (x_{0}, δ) .$ Indeed from ( 5 ) we deduce

‖ Q (x_{0}) - x_{0} ‖ = ‖ φ (x_{0}) ‖ \leq β ‖ P (x_{0}) ‖ \leq r^{'} \leq δ,

that's to say $Q (x_{0}) \in S (x_{0}, δ) .$ Taking this into account and assumptions 1.i), 2.i) and 3.i) we deduce the following delimitation:

(6)

‖ P (Q (x_{0})) ‖ \leq (\frac{M_{k} β^{k}}{k!} + α) {‖ P (x_{0}) ‖}^{k}

From the previous inequality and from ( 4 ), taking into account hypotheses 3.i) and 4.i) we deduce

‖ x_{1} - x_{0} ‖ \leq μ_{0} ‖ P (x_{0}) ‖ \leq δ,

that's to say $x_{1} \in S (x_{0}, δ) .$ Based on the fact that $x_{1}$ $\in S (x_{0}, δ)$ and from the preceding inequalities we will easily deduce the following inequality:

(7)

‖ P (x_{1}) ‖ \leq ρ_{0} {‖ P (x_{0}) ‖}^{ρ}

Or $ρ_{0}$ is the constant which intervenes in hypothesis 6.i). From inequality ( 7 ) and 6.i) we deduce

‖ P (x_{1}) ‖ \leq ρ_{0} {‖ P (x_{0}) ‖}^{p - 1} ‖ P (x_{0}) ‖ = {(ρ_{0}^{\frac{1}{p - 1}} ‖ P (x_{0}) ‖)}^{p - 1} ‖ P (x_{0}) ‖

that's to say

(8)

‖ P (x_{1}) ‖ \leq ‖ P (x_{0}) ‖ .

From the preceding inequality it follows that for subsequent considerations the constants $ρ_{0}$ And $μ_{0}$ can remain unchanged throughout the demonstration. We will use the principle of induction.

We will assume that the following properties take place: $Q (x_{i}) \in S (x_{0}, δ),$

	$x_{i + 1}$	$\in S (x_{0}, δ), i = 1, 2, \dots, n - 1;$
	$‖ P (x_{i}) ‖$	$\leq ρ_{0} {‖ P (x_{i - 1}) ‖}^{p}, ‖ P (x_{i}) ‖ < ‖ P (x_{i - 1}) ‖, i = 1, 2, \dots, n .$

In these hypotheses we will show that:

	$Q (x_{n})$	$\in S (x_{0}, δ), x_{n + 1} \in S (x_{0}, δ),$
	$‖ P (x_{n + 1}) ‖$	$\leq ρ_{0} {‖ P (x_{n}) ‖}^{p}, ‖ P (x_{n + 1}) ‖ < ‖ P (x_{n}) ‖ .$

In fact we have

	$‖ Q (x_{n}) - x_{0} ‖$	$\leq λ (‖ x_{n} - x_{n - 1} ‖ + \dots + ‖ x_{1} - x_{0} ‖) + ‖ Q (x_{0}) - x_{0} ‖$
		$\leq λ ρ_{0}^{- \frac{1}{k}} μ_{0} \frac{ε_{0}^{k + 1}}{1 - ε_{0}^{k + 1}} + (λ μ_{0} + β) ‖ P (x_{0}) ‖ \leq δ .$

That's to say $Q (x_{n}) \in S .$ By analogy we have

	$‖ x_{n + 1} - x_{0} ‖$	$\leq ‖ x_{n + 1} - x_{n} ‖ + \dots + ‖ x_{1} - x_{0} ‖$
		$\leq μ_{0} [ρ_{0}^{- \frac{1}{k}} \frac{ε^{k + 1}}{1 - ε^{k + 1}} + ‖ P (x_{0}) ‖] \leq δ$

which shows us that $x_{n + 1} \in S (x_{0}, δ)$ . Proceeding in the same way as in the case of inequalities ( 7 ) and taking into account the fact that $‖ P (x_{n}) ‖ < ‖ P (x_{n - 1}) ‖$ we deduce the inequality

(9)

‖ P (x_{n + 1}) ‖ \leq ρ_{0} {‖ P (x_{n}) ‖}^{p} .

That is, inequality 3.c). By virtue of the principle of induction and what has just been proven, it follows that the stated properties are true for any natural number $n .$

From these considerations the following inequalities immediately result:

(10)

‖ x_{i} - x_{i - 1} ‖ \leq ρ_{0}^{- \frac{1}{k}} μ_{0} ε_{0}^{p^{i - 1}}

To prove the convergence of the sequence we will show that it satisfies the Cauchy condition. Indeed from ( 10 ), we deduce

(11)

‖ x_{n + s} - x_{n} ‖ \leq μ_{0} ρ_{0}^{- \frac{1}{k}} \frac{ε_{0}^{p^{n}}}{1 - ε_{0}^{p}}, For, n = 0, 1, \dots, s = 0, 1, \dots

If we go to the limit in the inequality ( 11 ) for $s \to \infty$ we have inequality $‖ \bar{x} - x_{n} ‖ \leq μ_{0} ρ_{0}^{- \frac{1}{k}} \frac{ε^{p^{n}}}{1 - ε_{0}^{p}},$ which proves inequality (4.c). The fact that the sequence is convergent results from ( 11 ) and from the fact that the space $X$ is complete. Thus the theorem is proven. ∎

Noticed .

In the work [ 3 ] we introduced a notion of characterization of the order of convergence of an iterative process (Definition 2).

In the sense of this definition, from 6.i) and 3.c) it results that the iterative process studied by us has the order of convergence $k + 1 .$ ∎

3. In the following, we will use Theorem 1 to characterize the convergence of the following iterative process:

(12)		$x_{n + 1}$	$= x_{n} - {[P^{'} (x_{n})]}^{- 1} P (x_{n}) - {[P^{'} (x_{n})]}^{- 1} P (x_{n} - {[P^{'} (x_{n})]}^{- 1} P (x_{n})),$
	$x_{0}$	$\in X, n = 0, 1, \dots$

This process is obtained from ( 4 ) for $Q (x) = x - {[P^{'} (x)]}^{- 1} P (x) .$ In this case, we observe that $φ (x) = - {[P^{'} (x)]}^{- 1} P (x) .$

It is shown in the following that some assumptions of Theorem 1 are satisfied by method ( 12 ), and the rest will be modified by us, according to the requirements of the particularities of the iterative method ( 12 ).

Let us designate by $δ^{'}$ the radius of the sphere $S$ which we considered in Theorem 1 .

We immediately observe that hypothesis 2.i) is satisfied in this case for $α = 0,$ and hypothesis 3.i) is satisfied for $β = B .$

In the sphere defined above, let us assume that the following conditions relating to the iterative method ( 12 ) are met.

1.i')

property 1.i) takes place for $k = 2$ And $x \in S (x_{0}, δ^{'})$
2.i')

property 4.i) holds for all $x \in S (x_{0}, δ^{'})$
3.i')

property 5.i) holds for all $x \in S (x_{0}, δ^{'})$
4.i')

$ε_{0} = \sqrt{ρ_{0}} ‖ P (x_{0}) ‖ < 1,$ Or $ρ_{0} = \frac{M_{2}^{2} B^{3}}{8} [M_{2} B^{3} h_{0} + 4 B]$ And $h_{0} = ‖ P (x_{0}) ‖$
5.i')

In hypothesis 7.i) of Theorem 1 we assume that

$r^{'}$ $= \frac{λ}{\sqrt{ρ_{0}}} \frac{ε}{1 - ε_{0}^{3}} + (λ μ_{0} + β) ‖ P (x_{0}) ‖ And r = μ_{0} [\frac{ε_{0}^{3}}{\sqrt{ρ_{0} (1 - ε_{0}^{3})}} + ‖ P (x_{0}) ‖]$

$Or μ_{0}$ $= \frac{B}{2} (2 + M_{2} B^{2} h_{0})$

It is assumed that max ${r, r^{'}} \leq δ^{'} .$

We can then state the following result:

Theorem 2 .

If assumptions 1i')–5i') are fulfilled, then relative to the iterative method ( 12 ) we have the following properties:

1.c')

Equation ( 1 ) has at least one solution $\bar{x} \in S (x_{0}, δ^{'})$
2.c')

$lim_{n \to \infty} x_{n} = \bar{x}$
3.c')

$‖ P (x_{n + 1}) ‖ \leq ρ_{0} {‖ P (x_{n}) ‖}^{3}$ , For $n = 0, 1, \dots,$
4.c')

$‖ x_{n} - \bar{x} ‖ \leq \frac{μ_{0} ε_{0}^{3 n}}{\sqrt{ρ_{0} (1 - ε_{0}^{3})}}$ , For $n = 0, 1, \dots,$

Obviously, from what we have seen, Theorem 1 has a general character since it concerns the convergence of a large class of iterative methods. From 3.i') and 3.c') it follows that method ( 12 ) has the order of convergence $3$ . This method therefore has the same order as the well-known Tchébycheff method but on the other hand method ( 12 ) has a simpler form and in certain cases we can assume that it is easier to use, since it does not require the calculation of the second derivative of the operator $P .$

Bibliography

[1]
[2] Păvăloiu, I., ^†^†margin: clickable $\to$ Interpolation in normed linear spaces and applications , Mathematica (Cluj), 12 (35) , 1, 149–158 (1970).
[3] Păvăloiu, I., ^†^†margin: clickable $\to$ On iterative processes with a high order of convergence , Mathematica, Cluj, 12 (35) , 2, 309–324 (1970).
[4] Păvăloiu, I., ^†^†margin: clickable $\to$ Asupra operatorilor iterativi , Studii şi cercetări matematice, 10, 23 , 1537–1544 (1971).
[5] Traub, JF, Iterative Methods for the Solution of Equations , Prentice-Hall. Inc. Englewood Cliffs NJ, 1964.

Received on 7.IX.1972

Calculation Institute of Cluj

al Academiei Republicii Socialist România

1973

On the uniqueness of the extension of continuous p-seminorms

May 12, 2023

Considerations regarding the sizing and organization of buffers in some computing systems

August 14, 2025

On an operator that retains the appearance of a function

August 18, 2025

	$r^{'}$	$= \frac{λ}{\sqrt{ρ_{0}}} \frac{ε}{1 - ε_{0}^{3}} + (λ μ_{0} + β) ‖ P (x_{0}) ‖ And r = μ_{0} [\frac{ε_{0}^{3}}{\sqrt{ρ_{0} (1 - ε_{0}^{3})}} + ‖ P (x_{0}) ‖]$
	$Or μ_{0}$	$= \frac{B}{2} (2 + M_{2} B^{2} h_{0})$