<p>Systems of differential equations with polynomial right-hand sides are very common in applications. In general, these systems can give rise to very complex dynamics: multiple equilibria, oscillations, and even chaotic dynamics. Even if we restrict our attention to polynomial dynamical systems that are generated by <i>reaction networks</i>, all these complex dynamical behaviors are still possible. On the other hand, if a polynomial dynamical system is generated by a <i>weakly reversible deficiency zero</i> (<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>) reaction network, then its dynamics is known to be <i>remarkably stable</i>: Oscillations and chaotic dynamics are ruled out, and, up to linear conservation laws, there exists a single positive steady state, which is locally asymptotically stable. Here our main focus is on reaction networks <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> which generate dynamical systems that can also be generated by some <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> networks. Our interest is motivated by the fact that the dynamical systems generated by such networks <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> <i>enjoy all the stability properties mentioned above</i>, but without the need for <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> to satisfy the (quite restrictive) <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> properties. We prove that if a given reaction network <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> has a <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> realization <i>for all</i> choices of rate constants, then there exists a <i>unique</i> <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> network <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> is realizable by <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>. Additionally, we describe an algorithm which, for any reaction network <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation>, <i>decides</i> if <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> is realizable by some <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {WR}_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>WR</mtext> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> network <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>, and <i>finds</i> this unique network <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="332_2025_10200_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {N}'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> whenever it exists.</p>

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

Weakly Reversible Deficiency Zero Realizations of Reaction Networks

  • Neal Buxton,
  • Gheorghe Craciun,
  • Abhishek Deshpande,
  • Casian Pantea

摘要

Systems of differential equations with polynomial right-hand sides are very common in applications. In general, these systems can give rise to very complex dynamics: multiple equilibria, oscillations, and even chaotic dynamics. Even if we restrict our attention to polynomial dynamical systems that are generated by reaction networks, all these complex dynamical behaviors are still possible. On the other hand, if a polynomial dynamical system is generated by a weakly reversible deficiency zero ( \(\text {WR}_0\) WR 0 ) reaction network, then its dynamics is known to be remarkably stable: Oscillations and chaotic dynamics are ruled out, and, up to linear conservation laws, there exists a single positive steady state, which is locally asymptotically stable. Here our main focus is on reaction networks \(\mathcal {N}\) N which generate dynamical systems that can also be generated by some \(\text {WR}_0\) WR 0 networks. Our interest is motivated by the fact that the dynamical systems generated by such networks \(\mathcal {N}\) N enjoy all the stability properties mentioned above, but without the need for \(\mathcal {N}\) N to satisfy the (quite restrictive) \(\text {WR}_0\) WR 0 properties. We prove that if a given reaction network \(\mathcal {N}\) N has a \(\text {WR}_0\) WR 0 realization for all choices of rate constants, then there exists a unique \(\text {WR}_0\) WR 0 network \(\mathcal {N}'\) N such that \(\mathcal {N}\) N is realizable by \(\mathcal {N}'\) N . Additionally, we describe an algorithm which, for any reaction network \(\mathcal {N}\) N , decides if \(\mathcal {N}\) N is realizable by some \(\text {WR}_0\) WR 0 network \(\mathcal {N}'\) N , and finds this unique network \(\mathcal {N}'\) N whenever it exists.