Some numerical aspects in the approximation of eigenpairs of matrices by the Newton method

Abstract

Authors

Keywords

?

Paper coordinates

E. Cătinaş, I. Păvăloiu, Some numerical aspects in the approximation of eigenpairs of matrices by the Newton method, Acta Technica Napocensis, Series: Applied Mathematics and Mechanics, 42 (1999) vol. 1, pp. 41-44.

PDF

??

About this paper

Publisher Name
DOI
Print ISSN
Online ISSN

google scholar link

??

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; } Untitled Document

SOME NUMERICAL ASPECTS IN THE APPROXIMATION OF EIGENPAIRS OF MATRICES BY THE NEWTON METHOD

E. CǍTINAŞ, I. PǍVǍLOIU

Abstract. The eigenpairs of matrices may be approximated using the Newton method. The nonlinear mapping in such a case may be chosen in different ways, depending on the norming function. We investigate the difficulties of solving the linear systems from such iterations by evaluating the condition number at the solution for each of the resulted Jacobians in the case of two test matrices.

1. The eigenpairs of matrices as zeroes of nonlinear mappings

Denote V=𝕂n and let A=(ai⁢j)∈𝕂n×n, where 𝕂=ℝ or ℂ. We recall that the scalar λ∈𝕂 is an eigenvalue of A if there exists v∈V, v≠0 such that

A⁢v−λ⁢v=0⁢. ((1))

The vector v is called an eigenvector corresponding to the eigenvalue λ. Since for an eigenvalue λ the eigenpair (v,λ) is not uniquely determined, it is necessary to impose a supplementary condition. As in [9] we shall consider a ”norming” function G:V→𝕂, G⁢(0)≠1 and besides (1) the equation

G⁢(v)−1=0⁢.

The function G may be chosen in different ways:

G⁢(v) =v(i0),for some fixed ⁢i0∈{1,…,n} (I)
G⁢(v) =12⁢‖v‖22⁢, (II)

where ∥⋅∥2 stands for the euclidean norm.

In the paper [2] we proposed the choice

G⁢(v)=12⁢n⁢‖v‖22⁢. (III)

Considering 𝕂n+1=V×𝕂 endowed with the max norm ∥⋅∥∞, we are led to the nonlinear mapping F:ℝn+1→ℝn+1,

F⁢(x)=(A⁢v−λ⁢vG⁢v−1)⁢,x=(vλ)∈𝕂n+1⁢.

Its first n components are

F1⁢(x) =(a11−x(n+1))⁢x(1)+a12⁢x(2)+⋯+a1⁢n⁢x(n)
⋮
Fn⁢(x) =an⁢1⁢x(1)+an⁢2⁢x(2)+⋯+(an⁢n−x(n+1))⁢x(n).

The last component is determined by the choice of G. We get for each corresponding case:

Fn+1⁢(x) =x(i0)−1 (I)
Fn+1⁢(x) =12⁢(x(1))2+12⁢(x(2))2+⋯+12⁢(x(n))2−1 (II)
Fn+1⁢(x) =12⁢n⁢(x(1))2+12⁢n⁢(x(2))2+⋯+12⁢n⁢(x(n))2−1. (III)

It can be seen now that the eigenpairs of A may be regarded as the solutions of the nonlinear system

F⁢(x)=0.

For the solving of such a problem we may use the Newton method, which requires the derivative of F. It is known that the first and the second order derivatives of F are given by

F′⁢(x0)⁢h =(A−λ0⁢In−v0ei0t0)⁢h⁢,F′′⁢(x0)⁢h⁢k=(−α⁢w−β⁢u0)⁢, (I)
F′⁢(x0)⁢h =(A−λ0⁢In−v0v0t0)⁢h⁢,F′′⁢(x0)⁢h⁢k=(−α⁢w−β⁢uwt⁢u)⁢, (II)
F′⁢(x0)⁢h =(A−λ0⁢In−v01n⁢v0t0)⁢h⁢,F′′⁢(x0)⁢h⁢k=(−α⁢w−β⁢u1n⁢wt⁢u)⁢, (III)

for all x0=(v0λ0), h=(uα), k=(wβ)∈𝕂n+1, where ei is the i-th vector from the canonical basis.

Some direct computations show that the norms of the second derivatives of F are given by

‖F′′‖∞ =2, (I)
‖F′′‖∞ =n, (II)
‖F′′‖∞ =2, (III)

regardless of x∈ℝn+1, since F is a polynomial of degree 2.

Different Newton-type methods for solving such nonlinear systems were studied in several papers [9], [6], [12], [14], [1], [2] and [3]. It is interesting to note that the Rayleigh quotient method is equivalent with a certain Newton method (”the scaled Newton method” [7]).

2. THE ROLE OF CERTAIN QUANTITIES IN THE CONVERGENCE OF THE NEWTON METHODS

We are interested how the different quantities specific to a nonlinear mapping influence the convergence of the Newton iterates.

The following result was obtained by Deuflhard and Potra

Theorem 1: [5] Let F:D⊆𝕂n+1→𝕂n+1 be a nonlinear operator defined on the convex domain D. Suppose that F is Fréchet differentiable on D, that F′⁢(x) invertible for all x∈D, and that

‖F′⁢(x)−1⁢(F′⁢(x+t⁢(y−x))−F′⁢(x))⁢(y−x)‖≤t⁢ω⁢‖y−x‖2,

∀x,y∈D, t∈[0,1]. Moreover, assume that x∗∈D is a solution of the nonlinear system F⁢(x)=0. Let x0∈D be such that B¯‖x0−x∗‖⁢(x∗)={x∈𝕂n+1|‖x−x∗‖≤‖x0−x∗‖}⊂D and x0∈B2/ω⁢(x∗). Then the Newton iterates

F′⁢(xk)⁢sk =−F⁢(xk)
xk+1 =xk+sk,k=0,1,…

remain in the open ball B‖x0−x∗‖⁢(x∗), converge to x∗ and satisfy

‖xk+1−x∗‖≤ω2⁢‖xk−x∗‖2,k=0,1,…

Similar but somehow weaker results were obtained by Rheinboldt [10], Dennis and Schnabel [4] and by Ortega and Rheinboldt [8].

Remark. If ‖F′⁢(x)−1‖≤β and ‖F′′⁢(x)‖≤K for all x∈D, one can take ω=β⁢K.

As explicitly noted by Dennis and Schnabel [4], the smaller are β and K, the faster is the convergence of the iterates. On the other hand, as β and K decrease, the radius of the attraction ball becomes larger.

We see that in the case of large matrices, the choice III yields a much smaller constant K compared to choice II (the choice I also yields small K, but its use may theoretically not be safe [2]). Of course that taking the norming function III, the constant β may grow compared to the corresponding one from II but we do not analyse here this aspect.

There is another aspect important in the practical use of the Newton method. When the iterates converge, the matrices tend to F′⁢(x∗). The condition number of a nonsingular matrix A, defined as κ⁢(A)=‖A‖⁢‖A−1‖, is a measure of the sensitivity of a linear system A⁢x=b to perturbations. The larger is κ⁢(A), the more inaccurate results one may obtain when using direct methods.

The Newton methods for eigenproblems were also considered in [13], in the context of preconditioning techniques.

The following section will be devoted to the numerical study of the condition numbers of two test matrices.

NUMERICAL ASPECTS

We shall consider two test matrices (these matrices are available from MatrixMarket at the following address: http://math.nist.gov/MatrixMarket/) in order to study the condition numbers. The programs were written in Matlab 5.0 and were run on a PC.

Pores1 matrix. This matrix arise from oil reservoir simulation. It is real, unsymmetric, of dimension 30 and has 20 real eigenvalues. We have plotted in fig. 1 the evaluations of the condition numbers of F′ at the real solutions (the eigenpairs were computed by Matlab).

[Uncaptioned image]

Fig. 1.

One can see that in this case the condition numbers are very close. At the nineth eigenvalue, the condition number of F′⁢(x∗) is slightly better conditioned with choice III than with choice II.

Fidap002 matrix. This real symmetric matrix of dimension n=441 arise from finite element modeling. Its eigenvalues are all simple and range from −7⋅108 to 3⋅106. Figure 2 contains the plot of the difference between the condition numbers computed with choices II and III.

[Uncaptioned image]

Fig. 2.

One can see that in this case the differences that appear between the two condition numbers are on the whole small, but for some certain few eigenpairs the differences are large in favour of choice II. However, we cannot conclude that one of the choices has better overall condition numbers.

REFERENCES

1. E. Cǎtinaş and I. Pǎvǎloiu, On the Chebyshev Method for Approximating the Eigenvalues of Linear Operators, Rev. Anal. Numér. Théor. Approx., 25 (1996) no. 1-2, pp. 43-56.

2. E. Cǎtinaş and I. Pǎvǎloiu, On a Chebyshev-Type Method for Approximating the Solutions of Polynomial Operators Equations of Degree 2, Approximation and Optimization. Proceedings of the International Conference on Approximation and Optimization, Romania (ICAOR), Cluj-Napoca, July 29 - August 1, 1996, vol. I, pp. 219-226.

3. E. Cǎtinaş and I. Pǎvǎloiu, On Approximating the Eigenvalues and Eigenvectors of Linear Continuous Operators, Rev. Anal. Numér. Théor. Approx., 26 (1997) no. 1-2, pp. 19-27.

4. J.E. Dennis, Jr. and R.B. Schnabel, Numerical Methods for Unconstrained Optimization and Nonlinear Equations, Prentice-Hall Series in Computational Mathematics, Englewood Cliffs, NJ, 1983.

5. P. Deuflhard and F.A. Potra, Asymptotic Mesh Independence of Newton-Galerkin Methods via a Refined Mysovskii Theorem, SIAM J. Numer. Anal., 29 (1992) no.5, pp. 1395-1412.

6. J.J. Dongarra, C.B. Moler and J.H. Wilkinson, Improving the Accuracy of the Computed Eigenvalues and Eigenvectors, SIAM J. Numer. Anal., 20 (1983) no. 1, pp. 23-45.

7. S.M. Grzegórski, On the Scaled Newton Method for the Symmetric Eigenvalue Problem, Computing, 45 (1990), pp. 277-282.

8. J.M. Ortega and W.C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables, Academic Press, New York, 1970.

9. G. Peters and J.H. Wilkinson, Inverse Iteration, Ill-Conditioned Equations and Newton’s Method, SIAM Review, 21 (1979) no. 3, pp. 339-360.

10. W.C. Rheinboldt, An Adaptive Continuation Process for Solving Systems of Nonlinear Equations, Polish Academy of Science, Banach Ctr. Publ., 3 (1977), pp. 129-142.

11. M.C. Santos, A Note on the Newton Iteration for the Algebraic Eigenvalue Problem, SIAM J. Matrix Anal. Appl., 9 (1988) no. 4, pp. 561-569.

12. R.A. Tapia and L.D. Whitley, The Projected Newton Method has Order 1+2 for the Symmetric Eigenvalue Problem, SIAM J. Numer. Anal., 25 (1988) no. 6, pp. 1376-1382.

13. K. Wu, Y. Saad and A. Stathopoulos, Inexact Newton Preconditioning Techniques for Eigenvalue Problems, Lawrence Berkeley National Laboratory report number 41382 and Minnesota Supercomputing Institute report number UMSI 98-10, 1998.

14. T. Yamamoto, Error Bounds for Computed Eigenvalues and Eigenvectors, Numer. Math. 34 (1980), pp. 189-199.

Aspecte numerice în aproximarea valorilor şi vectorilor proprii ai matricilor prin metoda lui Newton

Valorile şi vectorii proprii ai matricilor pot fi aproximaţ prin metoda lui Newton. Aplicaţia neliniarǎ în acest caz poate fi aleasǎ în mai multe moduri, depinzând de funcţia de normare. In prezenta notǎ investigǎm dificultǎţile de rezolvare a sistemelor liniare din astfel de iteraţii prin evaluarea numǎrului de condiţionare în soluţie pentru fiecare din Jacobienii rezultaţi în cazul unor matrici test.

Cerc. pr. gr. III Emil Cǎtinaş, ”T. Popoviciu” Institute of Numerical Analysis, P.O. Box 68, 3400 Cluj-Napoca, Romania (ecatinas@ictp.math.ubbcluj.ro)

Cerc. pr. gr. I Ion Pǎvǎloiu, ”T. Popoviciu” Institute of Numerical Analysis, P.O. Box 68, 3400 Cluj-Napoca, Romania (pavaloiu@ictp.math.ubbcluj.ro)

1999

Related Posts