微分中值定理的推广.docxVIP

微分中值定理的推广 差分中值理论是微分学中的一个重要理论理论。这是函数总体性质的有力工具，罗尔定理是微分中值理论中最基本的病理。这是证明拉格朗日平均推理和科西平均推理的基础。有人还给出了一些推广罗尔理理论的好处。在这项工作中，我们再次讨论了这些改进的基础上，并对罗尔理理论的推广进行了讨论。 1 、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、 形式1若函数?(x)在(a,b)内可导,,则至少存在一点ξ∈(a,b),使?′(ξ)=0. 形式2若函数?(x)在(a,b)内可导,,则至少存在一点ξ∈(a,b),使?′(ξ)=0. 形式3若函数?(x)在[a,+∞)上连续,在(a,+∞)内可导,且,则至少存在一点ξ∈a,+∞),使?′(ξ)=0. 形式4若函数?(x)在(-∞,b)内可导,,则至少存在一点ξ∈(-∞,b),使?′(ξ)=0. 形式5若函数?(x)在(-∞,+∞)内可导,,则至少存在一点ξ∈(-∞,+∞),使?′(ξ) 形式6若acb,?(x)和g(x)都在[a,b]上连续,在(a,b)内二阶可导,且f(a)=g(a),?(c)=g(c),?(b)=g(b),则至少存在一点ξ∈(a,b),使?″(ξ)=g″(ξ). 2 x,kx、kx、kx、、、、、、、、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、2、22、2、222222222222222222222222222222222222222222222222222222222222222222222222222 削弱形式6的定理条件,则有 形式7 若acb,?(x)和g(x)都在(a,b)内二阶可导,且,?(c)=g(c),,则至少存在一点ξ∈(a,b),使?″(ξ)=g″(ξ). 证明:构造辅助函数,使其满足罗尔定理条件,因此需补充定义域:(a,b)→[a,b].构造函数 显然,,),故F(x)在a点和b点连续.同理,G(x)也在a点和b点连续. 已知?(x)和g(x)都在(a,b)内二阶可导,则有F(x)和G(x)在[a,c]上连续,在(a,c)内可导,且F(a)=G(a),F(c)=G(c),设Ф(x)=F(x)-G(x),则Ф(x)也在[a,c]上连续,在(a,c)内可导,且Ф(a)=Υ(c),由罗尔定理得,在(a,c)内至少存在一点ξ1,使得Ф′(ξ1)=0,即F′(ξ1)=G′(ξ1),则?′(ξ1)=g′(ξ1). 同理,至少存在一点ξ2∈(c,b),使得?′(ξ2)=g′(ξ2). 记h(x)=?′(x),k(x)=g′(x),由于h(x)和k(x)都在[ξ1,ξ2]上连续,在(ξ1,ξ2)内可导,且h(ξ1)=k(ξ1),h(ξ2)=k(ξ2),由前面所得结论知,至少存在一点ξ∈(ξ1,ξ2)(a,b),使得h(ξ)=k(ξ),即?″(ξ)=g″(ξ). 将形式6的有限区间推广到无限区间,有 形式8 若ac,?(x)和g(x)都在(a,+∞)内二阶可导,且,f(c)=g(c),,则至少存在一点ξ∈(a,+∞),使?″(ξ)=g″(ξ). 证明:构造辅助函数 显然,,则F(x)和G(x)在a点连续.又因为,所以F(a)=G(a). 已知?(x)和g(x)都在(a,+∞)内二阶可导,则有F(x)和G(x)在[a,c]上连续,在(a,c)内可导,且F(a)=G(a),F(c)=G(c),设Ф(x)=F(x)-G(x),则Ф(x)也在[a,c]上连续,在(a,c)内可导,且Ф(a)=Ф(c),由罗尔定理得,在(a,c)内至少存在一点ξ1,使得Ф′(ξ1)=0,即F′(ξ1)=G′(ξ1),则?′(ξ1)=g′(ξ1). 根据已知,Ф(c)=?(c)-g(c)=0. 同样,记h(x)=?′(x),k(x)=g′(x),由于h(x)和k(x)都在[ξ1,ξ2]上连续,在(ξ1,ξ2)内可导,且h(ξ1)=k(ξ1),h(ξ2)=k(ξ2),由前面所得结论知,至少存在一点ξ∈(ξ1,ξ2)?(a,+∞),使得h(ξ)=k(ξ),即?″(ξ)=g″(ξ). 形式9 若cb,?(x)和g(x)都在(-∞,b)内二阶可导,且,?(c)=g(c),,则至少存在一点ξ∈(-∞,b),使?″(ξ)=g″(ξ). 上述形式9的证明与形式8类似,这里从略. 形式10 若?(x)和g(x)都在(-∞,+∞)内二阶可导,且,f(c)=g(c),,则至少存在一点ξ∈(-∞,+∞),使?″(ξ)=g″(ξ). 证明:已知?(x)和g(x)都在(-∞,+∞)内二阶可导,则Ф(x)在ξ∈(-∞,c)和[c,+∞)上连续,又根