Question

4．（理科）已知f（x）是定義在[a，b]上的函數(shù)，如果存在常數(shù)M＞0，對區(qū)間[a，b]的任意劃分：a=x₀＜x₁＜…＜x_n-1＜x_n=b，和式$\sum_{i=1}^{n}|f（{x}_{i}）-f（{x}_{i-1}）|$≤M恒成立，則稱f（x）為[a，b]上的“絕對差有界函數(shù)”，注：$\sum_{i=1}^{n}{a}_{i}={a}_{1}+{a}_{2}+…+{a}_{n}$；
（1）證明函數(shù)f（x）=sinx+cosx在[-$\frac{π}{2}$，0]上是“絕對差有界函數(shù)”；
（2）證明函數(shù)f（x）=$\left\{\begin{array}{l}{xcos\frac{π}{2x}，0＜x≤1}\\{0；x=0}\end{array}\right.$不是[0，1]上的“絕對差有界函數(shù)”；
（3）記集合A={f（x）|存在常數(shù)k＞0，對任意的x₁，x₂∈[a，b]，有|f（x₁）-f（x₂）|≤k|x₁-x₂|成立}，證明集合A中的任意函數(shù)f（x）均為“絕對差有界函數(shù)”，并判斷g（x）=2016sin（2016x）是否在集合A中，如果在，請證明并求k的最小值，如果不在，請說明理由．

Answer 1

分析 （1）利用函數(shù)在[-$\frac{π}{2}$，0]是增函數(shù)，去掉絕對值，將連和符號用函數(shù)值的和表示出，求出值為，取M大于等于此值，滿足“絕對差有界函數(shù)”的定義；
（2）舉例說明函數(shù)f（x）對于和式$\sum_{i=1}^{n}|f（{x}_{i}）-f（{x}_{i-1}）|$=$\sum_{i=1}^{n}$[$\frac{1}{2•（2i+1）}$+$\frac{1}{2•2i}$]≤M不成立即可；
（3）利用已知不等式，將函數(shù)值差的連和表示成自變量差的連和，去掉絕對值，將連和寫成自變量差的和形式，求出連和的值，找到M，滿足有界變差的定義即可．

解答 解：（1）∵f（x）=sinx+cosx=$\sqrt{2}$sin（x+$\frac{π}{4}$）在[-$\frac{π}{2}$，0]上是增函數(shù)，
∴對任意劃分f（x_n）＞f（x_n-1），
∴|f（x_i）-f（x_i-1）|=f（x₁）-f（x₀）+…+f（x_n）-f（x_n-1）=f（0）-f（-$\frac{π}{2}$）=2；
取常數(shù)M≥2，則和式$\sum_{i=1}^{n}|f（{x}_{i}）-f（{x}_{i-1}）|$≤M恒成立，
∴函數(shù)f（x）在[-$\frac{π}{2}$，0]上是“絕對差有界函數(shù)”；
（2）證明：∵函數(shù)f（x）=$\left\{\begin{array}{l}{xcos\frac{π}{2x}，0＜x≤1}\\{0；x=0}\end{array}\right.$，
令x_i=$\frac{1}{2（2i+1）}$，x_i-1=$\frac{1}{2•2i}$，i∈N^*，
則f（x_i）-f（x_j）=-$\frac{1}{2•（2i+1）}$-$\frac{1}{2•2i}$；
∴和式$\sum_{i=1}^{n}|f（{x}_{i}）-f（{x}_{i-1}）|$=$\sum_{i=1}^{n}$[$\frac{1}{2•（2i+1）}$+$\frac{1}{2•2i}$]≤M不成立，
故函數(shù)f（x）不是[0，1]上的“絕對差有界函數(shù)”；
（3）∵存在常數(shù)k，使得對于任意的x₁，x₂∈[a，b]，|f（x₁）-f（x₂）|≤k|x₁-x₂|，
∴$\sum_{i=1}^{n}$|f（x_i）-f（x_i-1）|≤$\sum_{i=1}^{n}$|x_i-x_i-1|=k（b-a）；
故存在常數(shù)M=k（b-a），使得$\sum_{i=1}^{n}$|f（x_i）-f（x_i-1）|≤M恒成立，
所以f（x）為[a，b]上的“絕對差有界函數(shù)”；
又函數(shù)g（x）=2016sin（2016x），
令x₁=-$\frac{π}{4032}$，x₂=$\frac{π}{4032}$，
∴|f（x₁）-f（x₂）|≤2016×（-1-1）=4032，
∴存在k≥4032，使g（x）=2016sin（2016x）在集合A中．

點評 本題以新定義函數(shù)為載體，考查了對新定義的理解與應用問題，是較難的題目，判斷一個函數(shù)是否是“絕對差有界函數(shù)”，關鍵是求出函數(shù)差的連和，找出M的值．