Bourbaki

习题 3, § 1

标签 08J7,永久不变。引用为 [Bourbaki, Tag 08J7]。

实变函数, VII, 326

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

a) 令gg定义为函数,并允许在]0、+∞[+\infty[上连续的kthk^{th}导数,使得g(k)g^{(k)}在此区间上为递减且为lim⁡x→+∞g(k)(x)=0\lim_{x \to +\infty} g^{(k)}(x) = 0。证明方程 u(x+1)−u(x)=g(x)u(x + 1) - u(x) = g(x) 存在且仅有一个解 uu,它承认递增 kthk^{th} 右 ]0、+∞[+\infty[ 的导数,并在给定点处取给定的值(使用练习 1 b))。

b) 令α\alpha为任意实数。设 SαS_\alpha 为函数,定义在 ]0、+∞[+\infty[ 满足关系

Sα(x+1)−Sα(x)=xα S_\alpha(x + 1) - S_\alpha(x) = x^\alpha
这样Sα(1)=0S_\alpha(1) = 0,并且进一步,阶的SαS_\alpha等于(α+1)+(\alpha + 1)^+的整数部分的导数是递增(它是aa唯一的函数))。表明
Sα′(x)−Sα′(1)=α Sα−1(x), S'_\alpha(x) - S'_\alpha(1) = \alpha\, S_{\alpha - 1}(x),
和
Sα(xp)+Sα(x+1p)+⋯+Sα(x+p−1p)=1pα Sα(x)+Cα S_\alpha \left( \frac{x}{p} \right) + S_\alpha \left( \frac{x + 1}{p} \right) + \cdots + S_\alpha \left( \frac{x + p - 1}{p} \right) = \frac{1}{p^\alpha}\, S_\alpha(x) + C_\alpha
对于每个整数 p≥1p \geq 1,其中 CαC_\alpha 是一个常数,当 α≠−1\alpha \neq -1 时,等于
(1pα−p)Sα+1′(1)α+1 \left( \frac{1}{p^\alpha} - p \right) \frac{S'_{\alpha + 1}(1)}{\alpha + 1}
(cf. VII、p.318,道具 2 和 VI、p. 291,练习 3)。

解答

尚未写出解答。

被以下引用

无。

引用了

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