<p>In this work we investigate special aspects of positivity preservers and especially diagonal positivity preservers, i.e., linear maps <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(T:\mathbb {R}[x_1,\dots ,x_n]\rightarrow \mathbb {R}[x_1,\dots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>:</mo> <mi mathvariant="double-struck">R</mi> <mrow> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> <mrow> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(Tx^\alpha = t_\alpha x^\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <msup> <mi>x</mi> <mi>α</mi> </msup> <mo>=</mo> <msub> <mi>t</mi> <mi>α</mi> </msub> <msup> <mi>x</mi> <mi>α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\alpha \in \mathbb {N}_0^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <msubsup> <mi mathvariant="double-struck">N</mi> <mn>0</mn> <mi>n</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(t_\alpha \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mi>α</mi> </msub> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(Tp\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mi>p</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p\in \mathbb {R}[x_1,\dots ,x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. We discuss representations of <i>T</i>, give characterizations of diagonal positivity preservers, and compare these to previous (partial) results in the literature. On the side we get a characterization of linear maps preserving moment sequences and a new proof of Schur’s product formula. The tool of diagonal positivity preservers simplifies several other existing proofs in the literature. We give a full characterization of generators <i>A</i> of diagonal positivity preservers, i.e., <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(e^{tA}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>e</mi> <mrow> <mi mathvariant="italic">tA</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> is a diagonal positivity preserver for all <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(t\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We give the connection of these generators to infinitely divisible moment sequences.</p>

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

The Hadamard Product of Moment Sequences, Diagonal Positivity Preservers, and their Generators

  • Philipp J. di Dio,
  • Lars-Luca Langer

摘要

In this work we investigate special aspects of positivity preservers and especially diagonal positivity preservers, i.e., linear maps \(T:\mathbb {R}[x_1,\dots ,x_n]\rightarrow \mathbb {R}[x_1,\dots ,x_n]\) T : R [ x 1 , , x n ] R [ x 1 , , x n ] such that \(Tx^\alpha = t_\alpha x^\alpha \) T x α = t α x α for all \(\alpha \in \mathbb {N}_0^n\) α N 0 n with \(t_\alpha \in \mathbb {R}\) t α R and \(Tp\ge 0\) T p 0 on \(\mathbb {R}^n\) R n for all \(p\in \mathbb {R}[x_1,\dots ,x_n]\) p R [ x 1 , , x n ] with \(p\ge 0\) p 0 on \(\mathbb {R}^n\) R n . We discuss representations of T, give characterizations of diagonal positivity preservers, and compare these to previous (partial) results in the literature. On the side we get a characterization of linear maps preserving moment sequences and a new proof of Schur’s product formula. The tool of diagonal positivity preservers simplifies several other existing proofs in the literature. We give a full characterization of generators A of diagonal positivity preservers, i.e., \(e^{tA}\) e tA is a diagonal positivity preserver for all \(t\ge 0\) t 0 . We give the connection of these generators to infinitely divisible moment sequences.