已知函数 的定义域为 ,,且对任意不同的 ,都有 。求证:。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
函数值之差可以沿两点之间直接估计,也可以借相等的端点函数值绕另一条路估计。
把两条路径长度放在一起比较,并在两点距离等于临界值时检查严格不等式来自哪里。
若 ,结论为 。以下不妨设 ,记 。 当 时,由题设直接有
当 时,利用端点函数值相等及三角不等式,得
第二行对重合端点也成立。因此全部情形均有 。
两点重合时差值为0,取两端点时也因端点值相等而为0;距离恰为 时,严格性必须直接来自题设,不能只用补路径上的非严格估计。作为尺度检查, 符合全部条件,最大振幅为 ,说明端点一致与局部收缩可同时满足。
有相等端点值的区间可以在差值估计中“首尾相接”。先比较直接距离与补距离,再对较短路径使用局部控制,常能得到比定义域长度更小的统一振幅界;零长度段应另记为零。
需发现借相等端点绕行的第二条差值估计路径,比较直接距离与补距离后才得到一半长度界。
核心工具:三角不等式
已记下,谢谢!