Abstract <p>In this paper, we study the possibility of approximating some bi-continuous semigroup on a bi-admissible locally convex space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> <!--LobJMat2560785Utkin-m1--> </InlineEquation> using Chernoff iterations <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbf{F}_{t})_{t\geq 0}\)</EquationSource> <!--LobJMat2560785Utkin-m2--> </InlineEquation> of some class of operator-valued functions <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbf{F}_{t})_{t\geq 0}\)</EquationSource> <!--LobJMat2560785Utkin-m3--> </InlineEquation>. We obtain results that do not require a direct verification of the complicated condition of the Chernoff theorem, which consists in the fact that for some <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda&gt;0\)</EquationSource> <!--LobJMat2560785Utkin-m4--> </InlineEquation> the subspace <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\((\lambda\mathbf{I}-\mathbf{L})\mathcal{D}\)</EquationSource> <!--LobJMat2560785Utkin-m5--> </InlineEquation> is bi-dense in the ambient space. However, we have to abandon the fact that the limit bi-continuous semigroup is defined on the <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> <!--LobJMat2560785Utkin-m6--> </InlineEquation> and restrict ourselves to some bi-closed subspace that is constructed from the system <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbf{F}_{t})_{t\geq 0}\)</EquationSource> <!--LobJMat2560785Utkin-m7--> </InlineEquation> based on vectors with certain properties connected with the behavior of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8359_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbf{F}_{t})_{t\geq 0}\)</EquationSource> <!--LobJMat2560785Utkin-m8--> </InlineEquation>. The formulation of the problem of approximation of a semigroup for bi-continuous semigroups is motivated by the dynamic systems existing in quantum mechanics, the evolution of which is described in terms of bi-continuous semigroups, but not strongly continuous ones. Here we can, for example, include the example of the evolution of a quantum system under a continuous measurement process, described by the Schrödinger–Belavkin equation. The study of approximations of such dynamics can be carried out by the proposed method.</p>

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

Approximation of Bi-Continuous Contraction Semigroups

  • A. V. Utkin

摘要

Abstract

In this paper, we study the possibility of approximating some bi-continuous semigroup on a bi-admissible locally convex space \(X\) using Chernoff iterations \((\mathbf{F}_{t})_{t\geq 0}\) of some class of operator-valued functions \((\mathbf{F}_{t})_{t\geq 0}\) . We obtain results that do not require a direct verification of the complicated condition of the Chernoff theorem, which consists in the fact that for some \(\lambda>0\) the subspace \((\lambda\mathbf{I}-\mathbf{L})\mathcal{D}\) is bi-dense in the ambient space. However, we have to abandon the fact that the limit bi-continuous semigroup is defined on the \(X\) and restrict ourselves to some bi-closed subspace that is constructed from the system \((\mathbf{F}_{t})_{t\geq 0}\) based on vectors with certain properties connected with the behavior of \((\mathbf{F}_{t})_{t\geq 0}\) . The formulation of the problem of approximation of a semigroup for bi-continuous semigroups is motivated by the dynamic systems existing in quantum mechanics, the evolution of which is described in terms of bi-continuous semigroups, but not strongly continuous ones. Here we can, for example, include the example of the evolution of a quantum system under a continuous measurement process, described by the Schrödinger–Belavkin equation. The study of approximations of such dynamics can be carried out by the proposed method.