趙曉東

(四川民族學(xué)院數(shù)學(xué)系,四川康定 626001)

較弱條件下一個(gè)全局隱函數(shù)存在性定理的證明

趙曉東

(四川民族學(xué)院數(shù)學(xué)系,四川康定 626001)

給出泛函分析中一元全局隱函數(shù)存在定理在較弱條件下的證明,與以前的證明相比,得到的證明層次清晰易于理解和掌握.

全局隱函數(shù);存在定理;壓縮映射原理

隱函數(shù)存在性定理是數(shù)學(xué)分析和泛函分析中的重要定理,在非線性控制論,機(jī)械力學(xué)和其他工程技術(shù)應(yīng)用中是非常重要的工具.

在教材[1,P188]中,利用壓縮映射原理證明了一個(gè)如下全局隱函數(shù)存在定理.

引理1 設(shè)函數(shù)F(x,y)在帶狀區(qū)域

中處處連續(xù),且處處有關(guān)于y的偏導(dǎo)數(shù)Fy(x,y),如果還存在常數(shù)m,M,滿足

則方程F(x,y)=0在區(qū)間[a,b]上必有唯一的連續(xù)函數(shù)y=f(x)作為解:

在以上引理1中,第一個(gè)條件“設(shè)函數(shù)F(x,y)在帶狀區(qū)域a≤x≤b,-∞＜y＜+∞中處處連續(xù)”減弱為“設(shè)函數(shù)F(x,y)在帶狀區(qū)域a≤x≤b,-∞＜y＜+∞中關(guān)于第一變量處處連續(xù)”,而其它條件不變,得到如下新的定理.

定理1 設(shè)函數(shù)F(x,y)在帶狀區(qū)域

關(guān)于第一變量x處處連續(xù),且處處有關(guān)于y的偏導(dǎo)數(shù)Fy(x,y).如果還存在常數(shù)m,M,滿足

則方程F(x,y)=0在區(qū)間[a,b]上必有唯一的連續(xù)函數(shù)y=f(x)作為解:

本文也利用壓縮映射原理,證明了定理1是成立的,證明層次清晰易于理解和掌握.

為了證明定理1,回顧壓縮映射和壓縮映射原理.

定義設(shè)X是度量空間,T是X到X中的映射,如果存在一個(gè)數(shù)α,0≤α＜1,使得對(duì)所有x,y∈X,都有d(Tx,Ty)≤αd(x,y)成立,則稱T是X中的壓縮映射.

引理2(Banach壓縮映射原理) 設(shè)X是完備度量空間,T是X上的壓縮映射,那么T有且只有一個(gè)不動(dòng)點(diǎn)(就是說,方程Tx=x,有且只有一個(gè)解).

定理1的證明

證對(duì)?x0∈[a,b],在完備度量空間R上定義映射:

現(xiàn)證明T是壓縮映射.

任取y1,y2∈R,由微分中值定理[2],存在θ,0＜θ＜1,滿足

故映射T:R→R是壓縮映射.由Banach壓縮映射原理,存在唯一的y0∈R滿足Ty0=y0,即

也就是說F(x0,y0)=0.

取f(x0)=y0,由x0∈[a,b]的任意性,就得到[a,b]到R的唯一映射f∶y=f(x),滿足

下證y=f(x)是連續(xù)的.

任取x1,x2∈[a,b],由上面的證明,存在y1=f(x1),y2=f(x2),滿足

所以,由以上兩等式和微分中值定理有

[1] 程其襄,等.實(shí)變函數(shù)與泛函分析基礎(chǔ)[M].2版.北京：高等教育出版社,2003：188.

[2] 華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析(下冊(cè))[M].3版.北京：高等教育出版社,2001：146.

[3] 周宗福,蔣威.隱函數(shù)存在定理的新證明[J].大學(xué)數(shù)學(xué),2007,23(5)：137-138.

A Proving of a Global Implicit Function Existence Theorem under Weaker Conditions

Z HAO Xiao-dong
(Department of Mathematics,Sichuan University for Nationalities,Kangding,Sichuan 620061,China)

Present a proving of a global implicit function theorem under weaker conditions in functional analysis as compared with preceding proving,the proving of obtaining has distinct arrangement,is prone to apprehend and take the reins.

global implicit function;existence theorem;principle of contracting mapping

O177,O178

C

1672-1454(2011)03-0173-03

2008-11-24

四川省教育廳自然科學(xué)基金資助項(xiàng)目(2003A168)