<p>Let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi (A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi (A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu (A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ν</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, respectively, denote the number of positive, zero, and negative eigenvalues of the matrix <i>A</i>. Then the triplet <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="131" /> </InlineMediaObject> <EquationSource Format="TEX">\((\pi (A), \xi (A), \nu (A))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>π</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>ξ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>ν</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is called the <i>inertia</i> of <i>A</i> and is denoted by <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Inertia}(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Inertia</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> be the beta function. The inertia of the matrix <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\([\beta (i,j )]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>β</mi> <mo stretchy="false">(</mo> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo stretchy="false">)</mo> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is shown to be <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq11.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \frac{n}{2},0,\frac{n}{2}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> <mo>,</mo> <mn>0</mn> <mo>,</mo> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> </mfenced> </math></EquationSource> </InlineEquation> if <i>n</i> is even, and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( \frac{n+1}{2},0,\frac{n-1}{2}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mfrac> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <mo>,</mo> <mn>0</mn> <mo>,</mo> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mfenced> </math></EquationSource> </InlineEquation> if <i>n</i> is odd. It is also shown that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\([\beta (i,j)]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>β</mi> <mo stretchy="false">(</mo> <mi>i</mi> <mo>,</mo> <mi>j</mi> <mo stretchy="false">)</mo> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is Birkhoff–James orthogonal to the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq14.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\times n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>×</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> identity matrix <i>I</i> in the trace norm if and only if <i>n</i> is even. For <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="270" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;{\lambda }_1&lt;\cdots&lt;{\lambda }_n, 0&lt;\mu _1&lt;\cdots &lt;\mu _n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <msub> <mi>λ</mi> <mi>n</mi> </msub> <mo>,</mo> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>μ</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <msub> <mi>μ</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, it is shown that the matrix <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\([(\beta ({\lambda }_i,\mu _j))^m]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>β</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>μ</mi> <mi>j</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> is non singular if <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{i+1}-\mu _{i}\in {{\mathbb {N}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>-</mo> <msub> <mi>μ</mi> <mi>i</mi> </msub> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le i \le n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. It is also shown that if <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{i+1}-\mu _i \in {{\mathbb {N}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>μ</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>-</mo> <msub> <mi>μ</mi> <mi>i</mi> </msub> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le i\le n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then for <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq21.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in {\mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, the matrix <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_816_Article_IEq22.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left[ \frac{1}{\beta ({\lambda }_i,\mu _j)^m}\right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close="]" open="["> <mfrac> <mn>1</mn> <mrow> <mi>β</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>λ</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>μ</mi> <mi>j</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>m</mi> </msup> </mrow> </mfrac> </mfenced> </math></EquationSource> </InlineEquation> is totally positive.</p>

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

Inertia and other properties of the matrix \(\varvec{\left[ \beta (i,j )\right] }\)

  • Priyanka Grover,
  • Veer Singh Panwar

摘要

Let \(\pi (A)\) π ( A ) , \(\xi (A)\) ξ ( A ) , and \(\nu (A)\) ν ( A ) , respectively, denote the number of positive, zero, and negative eigenvalues of the matrix A. Then the triplet \((\pi (A), \xi (A), \nu (A))\) ( π ( A ) , ξ ( A ) , ν ( A ) ) is called the inertia of A and is denoted by \(\textrm{Inertia}(A)\) Inertia ( A ) . Let \(\beta \) β be the beta function. The inertia of the matrix \([\beta (i,j )]\) [ β ( i , j ) ] is shown to be \(\left( \frac{n}{2},0,\frac{n}{2}\right) \) n 2 , 0 , n 2 if n is even, and \(\left( \frac{n+1}{2},0,\frac{n-1}{2}\right) \) n + 1 2 , 0 , n - 1 2 if n is odd. It is also shown that \([\beta (i,j)]\) [ β ( i , j ) ] is Birkhoff–James orthogonal to the \(n\times n\) n × n identity matrix I in the trace norm if and only if n is even. For \(0<{\lambda }_1<\cdots<{\lambda }_n, 0<\mu _1<\cdots <\mu _n\) 0 < λ 1 < < λ n , 0 < μ 1 < < μ n , it is shown that the matrix \([(\beta ({\lambda }_i,\mu _j))^m]\) [ ( β ( λ i , μ j ) ) m ] is non singular if \(\mu _{i+1}-\mu _{i}\in {{\mathbb {N}}}\) μ i + 1 - μ i N for all \(1\le i \le n-1\) 1 i n - 1 . It is also shown that if \(\mu _{i+1}-\mu _i \in {{\mathbb {N}}}\) μ i + 1 - μ i N for \(1\le i\le n-1\) 1 i n - 1 , then for \(m\in {\mathbb {N}}\) m N , the matrix \(\left[ \frac{1}{\beta ({\lambda }_i,\mu _j)^m}\right] \) 1 β ( λ i , μ j ) m is totally positive.