<p>In this paper we introduce the notion of Archimedes invariant partition of a curve and of a family of curves. Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f:\mathbb {R}\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> be a strictly convex function and let <i>n</i> be an integer, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. We say that an increasing sequence <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(t=(t_0=0,t_1,\ldots ,t_n=1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>0</mn> </msub> <mo>=</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>t</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of numbers of the interval [0;&#xa0;1] defines Archimedes invariant partition of the curve <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {R}\ni x \mapsto (x, f(x))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">R</mi> <mo>∋</mo> <mi>x</mi> <mo>↦</mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> if for every <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(-\infty&lt;A&lt;B&lt;+\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>∞</mi> <mo>&lt;</mo> <mi>A</mi> <mo>&lt;</mo> <mi>B</mi> <mo>&lt;</mo> <mo>+</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> the ratio <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(P_f(A,B)/P_f(t,A,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msub> <mi>P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(P_f(A,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the area of the domain <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textbf{P}_f(A,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> enclosed between the graph of the function <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(f\big |_{[A; B]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">|</mo> </mrow> <mrow> <mo stretchy="false">[</mo> <mi>A</mi> <mo>;</mo> <mi>B</mi> <mo stretchy="false">]</mo> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> and the line segment with endpoints (<i>A</i>,&#xa0;<i>f</i>(<i>A</i>)) and (<i>B</i>,&#xa0;<i>f</i>(<i>B</i>)), and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(P_f(t,A,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>,</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the area of the convex polygon <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\textbf{P}_f(t;A,B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="bold">P</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>;</mo> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with the vertices <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\((x_k, f(x_k))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mi>k</mi> </msub> <mo>,</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>x</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(x_k=(1-t_k)A+t_kB\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mi>k</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <msub> <mi>t</mi> <mi>k</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>A</mi> <mo>+</mo> <msub> <mi>t</mi> <mi>k</mi> </msub> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(k\in \{0,1,\ldots ,n\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, is independent of the endpoints <i>A</i> and <i>B</i>. The sequence <i>t</i> defines the proportions on which we divide the interval [<i>A</i>;&#xa0;<i>B</i>], we call it a proportions sequence. Let <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> be a family of curves of above mentioned form. We say that a partition sequence <i>t</i> defines Archimedes invariant partition of the family <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> if it defines Archimedes invariant partition of each member of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. This idea comes from Archimedes’ theorem on the area of a parabolic segment which in fact says that the proportions sequence <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((t_0=0, t_1=1/2, t_2=1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>t</mi> <mn>0</mn> </msub> <mo>=</mo> <mn>0</mn> <mo>,</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>=</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo>,</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo>=</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> defines Archimedes invariant partition of the family of all parabolas. In the paper we show that for every integer <i>n</i>, <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(n\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, every proportions sequence <i>t</i> defines Archimedes independent partition of the family of all parabolas. We also fully characterize all proportions sequences <i>t</i> which define Archimedes invariant partitions of the family <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Gamma :=\{\mathbb {R}\ni x \mapsto (x, p(x)):p\;\text {is a cubic polynomial}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>:</mo> <mo>=</mo> <mo stretchy="false">{</mo> <mi mathvariant="double-struck">R</mi> <mo>∋</mo> <mi>x</mi> <mo>↦</mo> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>:</mo> <mi>p</mi> <mspace width="0.277778em" /> <mtext>is a cubic polynomial</mtext> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>. In the paper we refine above mentioned invariance definitions in terms of a mean value property. This allows us to drop the strictly convexity restriction of <i>f</i> and to avoid division by zero.</p>

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

Archimedes invariant partitions of curves

  • Armen Grigoryan,
  • Szymon Ignaciuk,
  • Maciej Parol

摘要

In this paper we introduce the notion of Archimedes invariant partition of a curve and of a family of curves. Let \(f:\mathbb {R}\rightarrow \mathbb {R}\) f : R R be a strictly convex function and let n be an integer, \(n\ge 2\) n 2 . We say that an increasing sequence \(t=(t_0=0,t_1,\ldots ,t_n=1)\) t = ( t 0 = 0 , t 1 , , t n = 1 ) of numbers of the interval [0; 1] defines Archimedes invariant partition of the curve \(\mathbb {R}\ni x \mapsto (x, f(x))\) R x ( x , f ( x ) ) if for every \(-\infty<A<B<+\infty \) - < A < B < + the ratio \(P_f(A,B)/P_f(t,A,B)\) P f ( A , B ) / P f ( t , A , B ) , where \(P_f(A,B)\) P f ( A , B ) is the area of the domain \(\textbf{P}_f(A,B)\) P f ( A , B ) enclosed between the graph of the function \(f\big |_{[A; B]}\) f | [ A ; B ] and the line segment with endpoints (Af(A)) and (Bf(B)), and \(P_f(t,A,B)\) P f ( t , A , B ) is the area of the convex polygon \(\textbf{P}_f(t;A,B)\) P f ( t ; A , B ) with the vertices \((x_k, f(x_k))\) ( x k , f ( x k ) ) , \(x_k=(1-t_k)A+t_kB\) x k = ( 1 - t k ) A + t k B , \(k\in \{0,1,\ldots ,n\}\) k { 0 , 1 , , n } , is independent of the endpoints A and B. The sequence t defines the proportions on which we divide the interval [AB], we call it a proportions sequence. Let \(\Gamma \) Γ be a family of curves of above mentioned form. We say that a partition sequence t defines Archimedes invariant partition of the family \(\Gamma \) Γ if it defines Archimedes invariant partition of each member of \(\Gamma \) Γ . This idea comes from Archimedes’ theorem on the area of a parabolic segment which in fact says that the proportions sequence \((t_0=0, t_1=1/2, t_2=1)\) ( t 0 = 0 , t 1 = 1 / 2 , t 2 = 1 ) defines Archimedes invariant partition of the family of all parabolas. In the paper we show that for every integer n, \(n\ge 2\) n 2 , every proportions sequence t defines Archimedes independent partition of the family of all parabolas. We also fully characterize all proportions sequences t which define Archimedes invariant partitions of the family \(\Gamma :=\{\mathbb {R}\ni x \mapsto (x, p(x)):p\;\text {is a cubic polynomial}\}\) Γ : = { R x ( x , p ( x ) ) : p is a cubic polynomial } . In the paper we refine above mentioned invariance definitions in terms of a mean value property. This allows us to drop the strictly convexity restriction of f and to avoid division by zero.