<p>The classical Poincaré Normal Form Theorem asserts that a singular point of an analytic planar vector field is a non-degenerate center if and only if, after an analytic change of coordinates, the system can be written in the rotational normal form <Equation ID="Equ17"> <EquationSource Format="TEX">\( f(x^{2}+y^{2})\bigl (y\,\partial _{x}-x\,\partial _{y}\bigr ), \qquad f(0)&gt;0. \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mn>2</mn> </msup> <mo>+</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi>y</mi> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>x</mi> </msub> <mo>-</mo> <mi>x</mi> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>y</mi> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>,</mo> <mspace width="2em" /> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> <mo>.</mo> </mrow> </math></EquationSource> </Equation>In this paper we prove that every analytic planar vector field with a non-degenerate center at the origin is locally analytically conjugate to a one-degree-of-freedom mechanical Hamiltonian system <Equation ID="Equ18"> <EquationSource Format="TEX">\( y\,\partial _{x}-V'(x)\,\partial _{y}, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>y</mi> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>x</mi> </msub> <mo>-</mo> <msup> <mi>V</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>y</mi> </msub> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <i>V</i> is analytic and satisfies <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(V(0)=V'(0)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>V</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(V''(0)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>V</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. The construction of <i>V</i> is completely explicit and depends solely on the period function of the original center. Consequently, the local analytic classification of non-degenerate centers reduces to the classification of analytic potentials, or equivalently, of their period functions. Our result provides a local analytic answer to a question related to Chicone’s 1987 work, where he established a celebrated criterion for studying the monotonicity of the period function of mechanical Hamiltonian systems using only the potential <i>V</i> and its derivatives <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(V'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>V</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(V''\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>V</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(V'''\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>V</mi> <mrow> <mo>′</mo> <mo>′</mo> <mo>′</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>. In this sense, our theorem shows that the local monotonicity problem for the period function of an arbitrary analytic vector field with a non-degenerate center reduces to the monotonicity problem for the period function of an associated mechanical system.</p>

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

Mechanical Normal Forms for Analytic Centers

  • Francisco J. S. Nascimento

摘要

The classical Poincaré Normal Form Theorem asserts that a singular point of an analytic planar vector field is a non-degenerate center if and only if, after an analytic change of coordinates, the system can be written in the rotational normal form \( f(x^{2}+y^{2})\bigl (y\,\partial _{x}-x\,\partial _{y}\bigr ), \qquad f(0)>0. \) f ( x 2 + y 2 ) ( y x - x y ) , f ( 0 ) > 0 . In this paper we prove that every analytic planar vector field with a non-degenerate center at the origin is locally analytically conjugate to a one-degree-of-freedom mechanical Hamiltonian system \( y\,\partial _{x}-V'(x)\,\partial _{y}, \) y x - V ( x ) y , where V is analytic and satisfies \(V(0)=V'(0)=0\) V ( 0 ) = V ( 0 ) = 0 and \(V''(0)>0\) V ( 0 ) > 0 . The construction of V is completely explicit and depends solely on the period function of the original center. Consequently, the local analytic classification of non-degenerate centers reduces to the classification of analytic potentials, or equivalently, of their period functions. Our result provides a local analytic answer to a question related to Chicone’s 1987 work, where he established a celebrated criterion for studying the monotonicity of the period function of mechanical Hamiltonian systems using only the potential V and its derivatives \(V'\) V , \(V''\) V , and \(V'''\) V . In this sense, our theorem shows that the local monotonicity problem for the period function of an arbitrary analytic vector field with a non-degenerate center reduces to the monotonicity problem for the period function of an associated mechanical system.