<p>The algebra of eikonals <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak E\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">E</mi> </math></EquationSource> </InlineEquation> of a metric graph <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is an operator <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra determined by dynamical system with boundary control that describes wave propagation on the graph. In this paper, two canonical block forms (<i>algebraic</i> and <i>geometric</i>) of the algebra <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak E\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">E</mi> </math></EquationSource> </InlineEquation> are provided for an arbitrary connected locally compact graph. These forms determine some metric graphs (<i>frames</i>) <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak F^{\,\mathrm a}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">a</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak F^{\,\mathrm g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">g</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. Frame <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak F^{\,\mathrm a}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">a</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> is determined by the boundary inverse data. Frame <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathfrak F^{\,\mathrm g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">g</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> is related to graph geometry. A class of <i>ordinary graphs</i> is introduced, whose frames are identical: <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathfrak F^{\,\mathrm a}\equiv \mathfrak F^{\,\mathrm g}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">a</mi> </mrow> </msup> <mo>≡</mo> <msup> <mi mathvariant="fraktur">F</mi> <mrow> <mspace width="0.166667em" /> <mi mathvariant="normal">g</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. The results are assumed to be used in the inverse problem that consists in determination of the graph from its boundary inverse data. Bibliography: 13 titles.</p>

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

CANONICAL FORMS OF METRIC GRAPH EIKONAL ALGEBRA AND GRAPH GEOMETRY

  • M. I. Belishev,
  • A. V. Kaplun

摘要

The algebra of eikonals \(\mathfrak E\) E of a metric graph \(\Omega \) Ω is an operator \(C^*\) C -algebra determined by dynamical system with boundary control that describes wave propagation on the graph. In this paper, two canonical block forms (algebraic and geometric) of the algebra \(\mathfrak E\) E are provided for an arbitrary connected locally compact graph. These forms determine some metric graphs (frames) \(\mathfrak F^{\,\mathrm a}\) F a and \(\mathfrak F^{\,\mathrm g}\) F g . Frame \(\mathfrak F^{\,\mathrm a}\) F a is determined by the boundary inverse data. Frame \(\mathfrak F^{\,\mathrm g}\) F g is related to graph geometry. A class of ordinary graphs is introduced, whose frames are identical: \(\mathfrak F^{\,\mathrm a}\equiv \mathfrak F^{\,\mathrm g}\) F a F g . The results are assumed to be used in the inverse problem that consists in determination of the graph from its boundary inverse data. Bibliography: 13 titles.