<p>In this paper we discuss some remarkable properties of the <i>autonomous</i> system of 2 <i>first-order</i> ordinary differential equations (ODEs), which equates the derivatives <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dot{x}_n(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>x</mi> <mo>˙</mo> </mover> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(n = 1, 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) of the 2 dependent variables <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_n(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to the <i>ratios</i> of <i>polynomials</i> (with constant coefficients) in the 2 variables <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_n (t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>: each of the 2 (<i>a priori</i> different) <i>polynomials</i> <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_3^{(n)}(x_1, x_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>P</mi> <mn>3</mn> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in the 2 numerators is of degree 3; the 2 denominators are instead given by the same polynomial <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_1(x_1, x_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of degree 1. Hence this system features 23 <i>a priori</i> <i>arbitrary</i> input numbers, namely the 23 <i>coefficients</i> defining these 3 polynomials. Our main finding is to show that if these 23 <i>coefficients</i> are given by 23 (<i>explicitly provided</i>) formulas in terms of 15 <i>a priori</i> <i>arbitrary parameters</i>, then the <i>initial values</i> problem (with <i>arbitrary</i> initial data <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_n (0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>) for this dynamical system can be <i>explicitly</i> solved. We also show that it is possible (with the help of <b>Mathematica</b>) to identify 12 <i>explicit</i> <i>constraints</i> on these 23 <i>coefficients</i>, which are <i>sufficient</i> to guarantee that this system belongs to the class of systems we are focusing on. Several such <i>explicitly</i> solvable systems of ODEs are treated (including the subcase with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12346_2025_1262_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_1(x_1, x_2) = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>x</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, implying that the right-hand sides of the ODEs are <i>just cubic polynomials</i>: no denominators!). Examples of the solutions of several of these systems are reported and displayed, including cases in which the solutions are <i>isochronous</i>.</p>

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

A System of 2 Nonlinearly Coupled ODEs Which is Explicitly Solvable and Possibly Isochronous Provided Its Coefficients are Suitably Restricted

  • Fabio Briscese,
  • Francesco Calogero,
  • Farrin Payandeh

摘要

In this paper we discuss some remarkable properties of the autonomous system of 2 first-order ordinary differential equations (ODEs), which equates the derivatives \(\dot{x}_n(t)\) x ˙ n ( t ) ( \(n = 1, 2\) n = 1 , 2 ) of the 2 dependent variables \(x_n(t)\) x n ( t ) to the ratios of polynomials (with constant coefficients) in the 2 variables \(x_n (t)\) x n ( t ) : each of the 2 (a priori different) polynomials \(P_3^{(n)}(x_1, x_2)\) P 3 ( n ) ( x 1 , x 2 ) in the 2 numerators is of degree 3; the 2 denominators are instead given by the same polynomial \(P_1(x_1, x_2)\) P 1 ( x 1 , x 2 ) of degree 1. Hence this system features 23 a priori arbitrary input numbers, namely the 23 coefficients defining these 3 polynomials. Our main finding is to show that if these 23 coefficients are given by 23 (explicitly provided) formulas in terms of 15 a priori arbitrary parameters, then the initial values problem (with arbitrary initial data \(x_n (0)\) x n ( 0 ) ) for this dynamical system can be explicitly solved. We also show that it is possible (with the help of Mathematica) to identify 12 explicit constraints on these 23 coefficients, which are sufficient to guarantee that this system belongs to the class of systems we are focusing on. Several such explicitly solvable systems of ODEs are treated (including the subcase with \(P_1(x_1, x_2) = 1\) P 1 ( x 1 , x 2 ) = 1 , implying that the right-hand sides of the ODEs are just cubic polynomials: no denominators!). Examples of the solutions of several of these systems are reported and displayed, including cases in which the solutions are isochronous.