<p>An <i>n</i>th Riemann derivative of a function <i>f</i> at a point <i>x</i> is a limit of the form&#xa0;<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( D_{\mathcal {A}}f(x)=\lim _{h\rightarrow 0}\sum _{i=0}^na_if(x+b_ih)/h^n, \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mi mathvariant="script">A</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo movablelimits="true">lim</mo> <mrow> <mi>h</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </msub> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>n</mi> </msubsup> <msub> <mi>a</mi> <mi>i</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <msub> <mi>b</mi> <mi>i</mi> </msub> <mi>h</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>h</mi> <mi>n</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where the coefficients <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(a_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> and nodes&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(b_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>b</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> satisfy the Vandermonde linear system <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\sum _i a_ib_i^j=n!\cdot \delta _{nj}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>i</mi> </msub> <msub> <mi>a</mi> <mi>i</mi> </msub> <msubsup> <mi>b</mi> <mi>i</mi> <mi>j</mi> </msubsup> <mo>=</mo> <mi>n</mi> <mo>!</mo> <mo>·</mo> <msub> <mi>δ</mi> <mrow> <mi mathvariant="italic">nj</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> for&#xa0;<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(j=0,1,\ldots ,n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. The function <i>f</i> is <i>n</i> times Peano differentiable at <i>x</i> if it is approximated to order <i>n</i> near <i>x</i> by its <i>n</i>th Taylor polynomial. In 1936, Marcinkiewicz and Zygmund proved that the <i>n</i>th Riemann differentiability&#xa0;<InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\widetilde{D}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>D</mi> <mo stretchy="true">~</mo> </mover> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> with nodes <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(0,1,2,2^2,\ldots ,2^{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <msup> <mn>2</mn> <mn>2</mn> </msup> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msup> <mn>2</mn> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> makes up the difference between the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>st and <i>n</i>th Peano differentiabilities for all functions <i>f</i> at <i>x</i>. Call each <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(D_{\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mi mathvariant="script">A</mi> </msub> </math></EquationSource> </InlineEquation> with the same property an MZ-differentiation. A number of recent results on MZ-differentiation have opened this subject of classical analysis to ideas from linear and abstract algebra, number theory, or combinatorics. This largely expository article outlines many of these results using numerous examples and counterexamples to illustrate the theorems and give insight into some of the harder proofs. The topics include first order MZ-differentiations, Gaussian differentiations, symmetric and forward Riemann differentiations, the special third Riemann differentiation with nodes&#xa0;<InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(-1,0,1,2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, Riemann differentiations with geometric nodes, and the connection with the classification of generalized Riemann derivatives.</p>

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

An Invitation to MZ-Differentiation

  • J. Marshall Ash,
  • Stefan Catoiu

摘要

An nth Riemann derivative of a function f at a point x is a limit of the form  \( D_{\mathcal {A}}f(x)=\lim _{h\rightarrow 0}\sum _{i=0}^na_if(x+b_ih)/h^n, \) D A f ( x ) = lim h 0 i = 0 n a i f ( x + b i h ) / h n , where the coefficients \(a_i\) a i and nodes  \(b_i\) b i satisfy the Vandermonde linear system \(\sum _i a_ib_i^j=n!\cdot \delta _{nj}\) i a i b i j = n ! · δ nj for  \(j=0,1,\ldots ,n\) j = 0 , 1 , , n . The function f is n times Peano differentiable at x if it is approximated to order n near x by its nth Taylor polynomial. In 1936, Marcinkiewicz and Zygmund proved that the nth Riemann differentiability  \(\widetilde{D}_n\) D ~ n with nodes \(0,1,2,2^2,\ldots ,2^{n-1}\) 0 , 1 , 2 , 2 2 , , 2 n - 1 makes up the difference between the \(n-1\) n - 1 st and nth Peano differentiabilities for all functions f at x. Call each \(D_{\mathcal {A}}\) D A with the same property an MZ-differentiation. A number of recent results on MZ-differentiation have opened this subject of classical analysis to ideas from linear and abstract algebra, number theory, or combinatorics. This largely expository article outlines many of these results using numerous examples and counterexamples to illustrate the theorems and give insight into some of the harder proofs. The topics include first order MZ-differentiations, Gaussian differentiations, symmetric and forward Riemann differentiations, the special third Riemann differentiation with nodes  \(-1,0,1,2\) - 1 , 0 , 1 , 2 , Riemann differentiations with geometric nodes, and the connection with the classification of generalized Riemann derivatives.