<p>First, we present a method for obtaining a canonical set of root functions and Jordan chains of the invertible matrix polynomial <i>L</i>(<i>z</i>) through elementary transformations of the matrix <i>L</i>(<i>z</i>) alone. This method provides a new and simple approach to deriving a general solution of the system of ordinary linear differential equations <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(L\left( \frac{d}{dt}\right) u=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mfenced close=")" open="("> <mfrac> <mi>d</mi> <mrow> <mi mathvariant="italic">dt</mi> </mrow> </mfrac> </mfenced> <mi>u</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, where <i>u</i>(<i>t</i>) is <i>n</i>-dimensional unknown function. We illustrate the effectiveness of this method by applying it to solve a high-order linear system of ODEs. Second, given a matrix generalized Nevanlinna function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q\in N_{\kappa }^{n \times n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo>∈</mo> <msubsup> <mi>N</mi> <mrow> <mi>κ</mi> </mrow> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, that satisfies certain conditions at <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>, and a canonical set of root functions of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hat{Q}(z):= -Q(z)^{-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>Q</mi> <mo stretchy="false">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mo>-</mo> <mi>Q</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, we construct the corresponding Pontryagin space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathcal {K}, [.,.])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo>,</mo> <mo stretchy="false">[</mo> <mo>.</mo> <mo>,</mo> <mo>.</mo> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, a self-adjoint operator <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(A:\mathcal {K}\rightarrow \mathcal {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>:</mo> <mi mathvariant="script">K</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation>, and an operator <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma : \mathbb {C}^{n}\rightarrow \mathcal {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation>, that represent the function <i>Q</i>(<i>z</i>) in a Krein–Langer type representation. We illustrate the application of main results with examples involving concrete matrix polynomials <i>L</i>(<i>z</i>) and their inverses, defined as <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43036_2025_432_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </InlineMediaObject> <EquationSource Format="TEX">\(Q(z):=\hat{L}(z):= -L(z)^{-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mover accent="true"> <mi>L</mi> <mo stretchy="false">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mo>-</mo> <mi>L</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

An approach to root functions of matrix polynomials with applications in differential equations and meromorphic matrix functions

  • Muhamed Borogovac

摘要

First, we present a method for obtaining a canonical set of root functions and Jordan chains of the invertible matrix polynomial L(z) through elementary transformations of the matrix L(z) alone. This method provides a new and simple approach to deriving a general solution of the system of ordinary linear differential equations \(L\left( \frac{d}{dt}\right) u=0\) L d dt u = 0 , where u(t) is n-dimensional unknown function. We illustrate the effectiveness of this method by applying it to solve a high-order linear system of ODEs. Second, given a matrix generalized Nevanlinna function \(Q\in N_{\kappa }^{n \times n}\) Q N κ n × n , that satisfies certain conditions at \(\infty \) , and a canonical set of root functions of \(\hat{Q}(z):= -Q(z)^{-1}\) Q ^ ( z ) : = - Q ( z ) - 1 , we construct the corresponding Pontryagin space \((\mathcal {K}, [.,.])\) ( K , [ . , . ] ) , a self-adjoint operator \(A:\mathcal {K}\rightarrow \mathcal {K}\) A : K K , and an operator \(\Gamma : \mathbb {C}^{n}\rightarrow \mathcal {K}\) Γ : C n K , that represent the function Q(z) in a Krein–Langer type representation. We illustrate the application of main results with examples involving concrete matrix polynomials L(z) and their inverses, defined as \(Q(z):=\hat{L}(z):= -L(z)^{-1}\) Q ( z ) : = L ^ ( z ) : = - L ( z ) - 1 .