<p>In this paper functions <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \colon D \to\mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo lspace="0pt">:</mo> <mi>D</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying the inequality<Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_Equa.gif" Format="GIF" Height="36" Rendition="HTML" Resolution="72" Type="Linedraw" Width="375" /> </MediaObject> <EquationSource Format="TEX">\( f\big(\frac{x+y}{2}\big)\leq\frac12f(x)+\frac12f(y) +\varphi\big(\frac{x-y}{2}\big) \quad(x,y\in D)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>f</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mi>x</mi> <mo>+</mo> <mi>y</mi> </mrow> <mn>2</mn> </mfrac> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>≤</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>φ</mi> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mi>x</mi> <mo>-</mo> <mi>y</mi> </mrow> <mn>2</mn> </mfrac> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>are studied, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(D\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>D</mi> </math></EquationSource> </InlineEquation> is a nonempty convex subset of a real linear space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>X</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq4.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="215" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi \colon \{\frac12(x-y) : x,y \in D\}\to\mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo lspace="0pt">:</mo> <mo stretchy="false">{</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi>D</mi> <mo stretchy="false">}</mo> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a so-called error function. In this situation <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>f</mi> </math></EquationSource> </InlineEquation> is said to be <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>-Jensen convex. The main results show that for all <InlineEquation ID="IEq1000"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq1000.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation>-Jensen convex function <InlineEquation ID="IEq1001"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq1001.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(f \colon D \to\mathbb{R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo lspace="0pt">:</mo> <mi>D</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, for all rational <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda\in[0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(x,y\in D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation>, the following inequality holds<Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_Equb.gif" Format="GIF" Height="49" Rendition="HTML" Resolution="72" Type="Linedraw" Width="504" /> </MediaObject> <EquationSource Format="TEX">\( f(\lambda x+(1-\lambda)y) \leq \lambda f(x)+(1-\lambda)f(y)+\sum_{k=0}^\infty \frac{1}{2^k}\varphi((2^k\lambda,\mathbb{Z})\cdot(x-y)).\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>λ</mi> <mi>x</mi> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>λ</mi> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>∞</mi> </munderover> <mfrac> <mn>1</mn> <msup> <mn>2</mn> <mi>k</mi> </msup> </mfrac> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mn>2</mn> <mi>k</mi> </msup> <mi>λ</mi> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </Equation>The infinite series on the right hand side is always convergent, moreover, for all rational <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1512_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda\in[0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, it can be evaluated as a finite sum.</p>

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

Estimates for approximately Jensen convex functions

  • G. M. Molnár,
  • Zs. Páles

摘要

In this paper functions \(f \colon D \to\mathbb{R}\) f : D R satisfying the inequality \( f\big(\frac{x+y}{2}\big)\leq\frac12f(x)+\frac12f(y) +\varphi\big(\frac{x-y}{2}\big) \quad(x,y\in D)\) f ( x + y 2 ) 1 2 f ( x ) + 1 2 f ( y ) + φ ( x - y 2 ) ( x , y D ) are studied, where \(D\) D is a nonempty convex subset of a real linear space \(X\) X and \(\varphi \colon \{\frac12(x-y) : x,y \in D\}\to\mathbb{R}\) φ : { 1 2 ( x - y ) : x , y D } R is a so-called error function. In this situation \(f\) f is said to be \(\varphi\) φ -Jensen convex. The main results show that for all \(\varphi\) φ -Jensen convex function \(f \colon D \to\mathbb{R}\) f : D R , for all rational \(\lambda\in[0,1]\) λ [ 0 , 1 ] and \(x,y\in D\) x , y D , the following inequality holds \( f(\lambda x+(1-\lambda)y) \leq \lambda f(x)+(1-\lambda)f(y)+\sum_{k=0}^\infty \frac{1}{2^k}\varphi((2^k\lambda,\mathbb{Z})\cdot(x-y)).\) f ( λ x + ( 1 - λ ) y ) λ f ( x ) + ( 1 - λ ) f ( y ) + k = 0 1 2 k φ ( ( 2 k λ , Z ) · ( x - y ) ) . The infinite series on the right hand side is always convergent, moreover, for all rational \(\lambda\in[0,1]\) λ [ 0 , 1 ] , it can be evaluated as a finite sum.