[家里蹲大学数学杂志]第413期插值不等式

简介: 设 $$\bex k\geq 2,\quad f\in C^k(\bbR),\quad M_j=\sup_{x\in\bbR}|f^{(j)}(x)|\ (j=0,1,\cdots,k). \eex$$ 则 $$\bex M_j\leq 2^\frac{j(k-j)}{2}M_0^{1-\frac{j}{k}}M_k^\frac{j}{k}\ (j=0,1,\cdots,k).

设 $$\bex k\geq 2,\quad f\in C^k(\bbR),\quad M_j=\sup_{x\in\bbR}|f^{(j)}(x)|\ (j=0,1,\cdots,k). \eex$$ 则 $$\bex M_j\leq 2^\frac{j(k-j)}{2}M_0^{1-\frac{j}{k}}M_k^\frac{j}{k}\ (j=0,1,\cdots,k). \eex$$

 

证明:

(1). 仅需对 $0<j<k$ 证明结论成立.

(2). 往对 $k$ 作数学归纳法. 当 $k=2$ 时, 对 $j=1$, 由 $$\bex f(x+h)=f(x)+f'(x)h+\frac{f''(\xi)}{2}h^2, \eex$$ $$\bex f(x-h)=f(x)-f'(x)h+\frac{f''(\eta)}{2}h^2. \eex$$ 相减而有 $$\bex |f'(x)|\cdot 2h \leq 2M_0+M_2h^2\ra |f'(x)|\leq \frac{M_0}{h}+\frac{M_2h}{2}. \eex$$ 取 $$\bex h=\sqrt{\frac{2M_0}{M_2}}\lra \frac{M_0}{h}=\frac{M_2h}{2}, \eex$$ 则 $$\bex |f'(x)|\leq 2\cdot \frac{M_2}{2}\sqrt{\frac{2M_0}{M_2}}=\sqrt{2M_0M_2}. \eex$$ 假设结论当 $k=n$ 时成立, 则当 $k=n+1$ 时, 对 $0<j<n+1$, $$\beex \bea M_j&\leq 2^\frac{j(n-j)}{2}M_0^{1-\frac{j}{n}}M_n^\frac{j}{n}\\ &\leq 2^\frac{j(n-j)}{2}M_0^{1-\frac{j}{n}}\sex{2^\frac{n}{2} M_0^{1-\frac{n}{n+1}}M_{n+1}^\frac{n}{n+1}}^\frac{j}{n}\\ &=2^\frac{j(n+1-j)}{2} M_0^{1-\frac{j}{n+1}}M_{n+1}^\frac{j}{n+1}. \eea \eeex$$ 

目录
相关文章
[家里蹲大学数学杂志]第442期一个积分不等式
设 $f$ 在 $[a,b]$ 上连续可微且 $f(a)=0$. 试证: $$\bex \int_a^b |f'(x)|^2\rd x\geq \frac{2}{(b-a)^2}\int_a^b |f(x)|^2\rd x.
666 0
[家里蹲大学数学杂志]第427期与反对称矩阵有关的一个行列式
设 $A$ 是 $n$ 阶实反对称矩阵, $D$ 是对角元均大于零的实对角矩阵. 试证: $|D+A|>0$.   证明: (1). 实反对称矩阵 $A$ 的特征值为纯虚数或零: $$\beex \bea &\quad A\al=\lm\al\quad(\al\neq 0)\\ &\ra A...
618 0
[家里蹲大学数学杂志]第425期一个定积分的计算
试求 $$\bex I=\int_2^4\frac{\sqrt{\ln (9-x)}}{\sqrt{\ln(9-x)}+\sqrt{\ln(x+3)}}\rd x. \eex$$ 解答: $$\beex \bea I&=\int_4^2 \frac{\sqrt{\ln(t+3)}}{\sqrt{\...
782 0
|
Perl
[家里蹲大学数学杂志]第410期定积分难题
  1. (1). 设 $x\geq 0$, $n$ 为自然数, 证明: $$\bex x^n\geq n(x-1)+1; \eex$$ (2). $\forall\ n$, 求证: $$\bex \int_0^{1+\frac{2}{\sqrt{n}}}x^n\rd x>2; \eex$$ (3).
810 0
|
机器学习/深度学习
[家里蹲大学数学杂志]第391期山东大学2014-2015-1微分几何期末考试试题
注意: A. 卷面分 $5$ 分, 试题总分 $95$ 分. 其中卷面整洁, 书写规范 ($5$ 分); 卷面较整洁, 书写较规范 ($3$ 分); 书写潦草, 乱涂乱画 ($0$ 分). B. 可能用的公式: $$\beex \bea 1.
1022 0
|
移动开发 weex
[家里蹲大学数学杂志]第241期利用正交变换和对称性求解三重积分
求 $$\bex I=\iiint_V|x+y+2z|\cdot |4x+4y-z|\rd x\rd y\rd z, \eex$$ 其中 $V$ 是区域 $\dps{x^2+y^2+\frac{z^2}{4}\leq 1}$.
824 0
|
前端开发 rax Perl
[家里蹲大学数学杂志]第243期对合矩阵的两个性质
设 $n$ 阶矩阵 $A$ 满足 $A^2=E$. 证明: (1) $A$ 相似于形如 $\dps{\sex{\ba{cc} E_s&\\ &-E_{n-s} \ea}}$ 的矩阵; (2) 对于任何正整数 $m,k$, 都有 $$\bex \rank(A+E)^m+\rank(A-E)^k=n.
637 0
[家里蹲大学数学杂志]第244期多项式互素与空间直和
设 $f(x),g(x)$ 为数域 $\bbF$ 上的多项式, 且有 $(f(x),g(x))=1$, $A$ 是 $\bbF$ 上的一方阵. 再设 $f(A)g(A)x=0$, $f(A)x=0$, $g(A)x=0$ 的解空间分别为 $W$, $V_1$ 和 $V_2$.
733 0
|
Perl
[家里蹲大学数学杂志]第053期Legendre变换
$\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛函并且 $f(x)\not\equiv \infty$.
660 0