<p>Given a nonlinear matrix-valued function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(F(\lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">(</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and approximate eigenpairs <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((\lambda _i, v_i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>v</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we discuss how to determine the smallest perturbation <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\([F + \delta F](\lambda _i) v_i = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">[</mo> <mi>F</mi> <mo>+</mo> <mi>δ</mi> <mi>F</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mi>v</mi> <mi>i</mi> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>; we call the distance between the <i>F</i> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(F + \delta F\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>+</mo> <mi>δ</mi> <mi>F</mi> </mrow> </math></EquationSource> </InlineEquation> the <i>backward error</i> for this set of approximate eigenpairs. We focus on the case where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(F(\lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">(</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is given as a linear combination of scalar functions multiplying matrix coefficients <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation>, and the perturbation is done on the matrix coefficients. We provide inexpensive upper bounds, and a way to accurately compute the backward error by means of direct computations or through Riemannian optimization. We also discuss how the backward error can be determined when the <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(F_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>F</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> have particular structures (such as symmetry, sparsity, or low-rank), and the perturbations are required to preserve them. For special cases (such as for symmetric coefficients), explicit and inexpensive formulas to compute the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10543_2025_1077_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta F_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <msub> <mi>F</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> are also given.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Backward errors for multiple eigenpairs in structured and unstructured nonlinear eigenvalue problems

  • Miryam Gnazzo,
  • Leonardo Robol

摘要

Given a nonlinear matrix-valued function \(F(\lambda )\) F ( λ ) and approximate eigenpairs \((\lambda _i, v_i)\) ( λ i , v i ) , we discuss how to determine the smallest perturbation \(\delta F\) δ F such that \([F + \delta F](\lambda _i) v_i = 0\) [ F + δ F ] ( λ i ) v i = 0 ; we call the distance between the F and \(F + \delta F\) F + δ F the backward error for this set of approximate eigenpairs. We focus on the case where \(F(\lambda )\) F ( λ ) is given as a linear combination of scalar functions multiplying matrix coefficients \(F_i\) F i , and the perturbation is done on the matrix coefficients. We provide inexpensive upper bounds, and a way to accurately compute the backward error by means of direct computations or through Riemannian optimization. We also discuss how the backward error can be determined when the \(F_i\) F i have particular structures (such as symmetry, sparsity, or low-rank), and the perturbations are required to preserve them. For special cases (such as for symmetric coefficients), explicit and inexpensive formulas to compute the \(\delta F_i\) δ F i are also given.