[再寄小读者之数学篇](2014-11-02 Herglotz' trick)
设 $f$ 是 $\bbR$ 上周期为 $1$ 的连续可微函数, 满足 $$\bee\label{141102_f} f(x)+f\sex{x+\frac{1}{2}}=f(2x),\quad\forall\ x. \eee$$ 试证: $f(x)=0$, $\forall\ x$.
证明: (from xida that this proof comes from ``Proofs of the book'' 4th edition, Chapter 23) 设 $g(x)=f'(x)$, 则对 \eqref{141102_f} 两边求导有 $$\bee\label{141102_g} g(x)+g\sex{x+\frac{1}{2}}=2g(2x). \eee$$ 设 $g$ 在 $x_0\in [0,1]$ 上取得最大值 $M$, 则于 \eqref{141102_g} 中令 $x=x_0/2$, 则有 $$\bex 2M\geq g\sex{\frac{x_0}{2}}+g\sex{\frac{x_0+1}{2}} =2g(x_0)=2M. \eex$$ 于是 $$\bex g\sex{\frac{x_0}{2}}=M\ra g(0)=\vlm{n}g\sex{\frac{x_0}{2^n}}=M. \eex$$ 同理, 讨论 $g$ 在 $[0,1]$ 上的最小值 $m$, 我们得到 $$\bex g(0)=m. \eex$$ 于是 $$\bex m=g(0)=M\ra g=\const\ra f(x)=a+mx, 0\leq x\leq 1. \eex$$ 又 $f(0)=f(1)$, 而 $m=0$, $f(x)=a$. 但由 \eqref{141102_f}, $f(x)=0$.
[再寄小读者之数学篇](2014-11-02 Herglotz' trick)相关推荐
- 再寄小读者之数学篇[2014.07.01-2014.12.31]
[再寄小读者之数学篇](2014-12-24 乘积型不等式) [再寄小读者之数学篇](2014-12-04 $\left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x ...
- 再寄小读者之数学篇[2014.01.01-2014.06.30]
[再寄小读者之数学篇](2014-06-28 证明级数几乎处处收敛) 设 $f\in L(\bbR)$, 试证: $$\bex \vsm{n}f(n^2x) \eex$$ 在 $\bbR$ 上几乎处处 ...
- [再寄小读者之数学篇](2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]二次型的零点)...
(2014-04-18 from 352558840@qq.com [南开大学 2014 年高等代数考研试题]) 设 ${\bf A}$ 为实对称矩阵, 存在线性无关的向量 ${\bf x}_1,{\ ...
- [再寄小读者之数学篇](2014-06-22 求导数 [中国科学技术大学2014年高等数学B考研试题])...
设 $f(x)=x^2\ln(x+1)$, 求 $f^{(n)}(0)$. 解答: 利用 Leibniz 公式易知 $f'(0)=f''(0)=0$, $f^{(n)}(0)=(-1)^{n-3} n ...
- [再寄小读者之数学篇](2014-06-03 华罗庚等式)
在 [赵春来, 徐明曜, <抽象代数I>, 习题 1.3, Page 46] 有华罗庚等式: $$\bex AB\neq 0,E\ra A-\sex{A^{-1}+\sex{B^{-1}- ...
- [再寄小读者之数学篇](2014-05-23 递增函数的右极限)
设 $f(x)$ 是定义在 $[a,b]$ 上的增函数. 再设 $x_0\in [a,b)$, 而点列 $\sed{x_n}$ 满足: $x_n>x_0$, $\dps{\vlm{n}x_n=x ...
- [再寄小读者之数学篇](2014-06-21 向量公式)
$$\bex (\n\times{\bf b})\times{\bf b}=-\n\cfrac{|{\bf b}|^2}{2}+({\bf b}\cdot\n){\bf b}. \eex$$ see ...
- [再寄小读者之数学篇](2014-05-30 有限无界函数)
是否存在这样的函数, 它在区间 $[0,1]$ 上每点取有限值, 在此区间的任何点的任意邻域内无界. (上海师范大学)
- [再寄小读者之数学篇](2014-11-19 $\sin(x+y)=\sin x\cos y+\cos x\sin y$)
$$\bex \sin(x+y)=\sin x\cos y+\cos x\sin y. \eex$$ Ref. [Proof Without Words: Sine Sum Identity, The ...
- [再寄小读者之数学篇](2014-11-19 等差数列的部分和)
设 $\sed{a_k}_{k=1}^n$ 为等差数列, 则 $$\bex a_1+\cdots+a_n=\frac{n(a_1+a_n)}{2}. \eex$$ Ref. [Proof Withou ...
最新文章
- 用composer安装laravel-bjyblog
- 阿里云的一些奇怪问题及服务器配置
- 遵义春季招生计算机学校,遵义计算机学校招生
- php上传报文,PHP-02.文件上传、php保存／转移上传的文件、常见的网络传输协议、请求报文及属性、响应报文及属性...
- java 调用windows bat脚本
- 无法向会话状态服务器发出会话状态请求
- python自动测试u_自动化测试——Selenium+Python之下拉菜单的定位
- 课堂上传纸条如何防范中间人攻击？
- spring 4.3.x_如何在Spring 3.x中使用事件
- SSRF(服务端请求伪造)原理/防御
- Python open()函数文件打开、读、写基础操作
- 小程序开发（一）iconfont图标引入
- 汇编语言：协处理器浮点指令：FILD
- 任正非讲话稿400篇_重磅干货丨任正非讲稿400篇（1994—2018）
- 刨根究底字符编码之二——关键术语解释(下)
- 英语口语收集（十五）
- ＜C++＞我用煮粽子的时间拿捏了类和对象中友元的全部形式
- linux服务器关机日期,linux服务器last查看关机记录
- Occupancy Map（Occupancy Grid）的更新
- python 微博图片爬虫 不用cookie