Bourbaki

习题 21, § 1

标签 088C,永久不变。引用为 [Bourbaki, Tag 088C]。

实变函数, II, 83

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

设ff是间隔[0,a][0, a]上的实递增凸连续函数,且f(0)=0f(0) = 0。如果a1≥a2≥⋯≥an≥0a_1 \geq a_2 \geq \cdots \geq a_n \geq 0是[0,a][0, a]中点的有限递减序列,则表明有

f(a1)−f(a2)+⋯+(−1)nf(an)≥f(a1−a2+⋯+(−1)n−1an). f(a_1) - f(a_2) + \cdots + (-1)^n f(a_n) \geq f(a_1 - a_2 + \cdots + (-1)^{n-1} a_n ).
(我们可以将自己限制在n=2mn = 2m是偶数的情况;注对于1≤j≤m1 \leq j \leq m有
∫αβf′(t) dt≤∫a2j−1a2jf′(t) dt \int_\alpha^\beta f'(t)\,dt \leq \int_{a_{2j-1}}^{a_{2j}} f'(t)\,dt
其中 α=a2j+1−a2j−2+⋯+a2m−1−a2m\alpha = a_{2j+1} - a_{2j-2} + \cdots + a_{2m-1} - a_{2m} 和 β=α+(a2j−1−a2j)\beta = \alpha + (a_{2j-1} - a_{2j})。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。