研究周期光滑函数集合的导数积分性质,证明集合的闭区间性质和不等式的成立

BBB是所有定义在实轴R\mathbb{R}R上正的、以2π2\pi2π为周期并且满足如下条件
f>0,∫02π(f′′(x))2dx≤1,∀f∈Bf>0,\int_{0}^{2\pi}(f^{''}(x))^{2}dx\leq1,\forall f\in Bf>0,02π(f(x))2dx1,fB
的光滑周期函数构成的集合。对k>0k>0k>0,记S(k)S(k)S(k)是所有满足条件
sup⁡f∈B∫02π∣f′(x)∣k(f(x))αdx<∞\sup_{f\in B}\int_{0}^{2\pi}\frac{|f^{\prime}(x)|^k}{(f(x))^{\alpha}}dx<\inftyfBsup02π(f(x))αf(x)kdx<
的实数α\alphaα组成的集合。
(1)证明S(4)S(4)S(4)是闭区间,并且找出S(4)S(4)S(4)的最大值。
(2)证明存在常数C使得∣f′(x)∣≤Cf13(x),∀f∈B|f^{\prime}(x)| \le C f^{\frac{1}{3}}(x),\forall f \in Bf(x)Cf31(x),fB
(3)证明S(2024)S(2024)S(2024)是闭区间,并且求出S(2024)S(2024)S(2024)的最大值。

(1)证明S(4)S(4)S(4)是闭区间,并且找出S(4)S(4)S(4)的最大值。
首先,根据定义,S(4)S(4)S(4)是所有使得sup⁡f∈B∫02π∣f′(x)∣4(f(x))αdx<∞\sup_{f\in B}\int_{0}^{2\pi}\frac{|f^{\prime}(x)|^4}{(f(x))^{\alpha}}dx<\inftyfBsup02π(f(x))αf(x)4dx<的实数α\alphaα组成的集合。
为了证明S(4)S(4)S(4)是闭区间,我们需要证明如果αn\alpha_nαnS(4)S(4)S(4)中的一个序列,并且αn→α\alpha_n \rightarrow \alphaαnαn→∞n \rightarrow \inftyn,那么α\alphaα也属于S(4)S(4)S(4)
假设αn∈S(4)\alpha_n \in S(4)αnS(4)并且αn→α\alpha_n \rightarrow \alphaαnα,对于任意f∈Bf \in BfB,我们有
$$∫02π∣f′(x)∣4(f(x))αndx≤Mn<∞\int_{0}^{2\pi}\frac{|f^{\prime}(x)|^4}{(f(x))^{\alpha_n}}dx \leq M_n < \infty02π(

你可能感兴趣的:(算法)