函式有界的定義:設f為定義在D上的函式,若存在正數M,使得對每一個x∈D,有

\left| f(x) \right|\leq\

M

,則稱f為D上的有界函式。

放縮法

對原函式進行放縮,使原函式變為一個常數,或者簡化原函式從而找出M。

Hn≤Gn≤An≤Qn(均值不等式)就是一種很好的放縮工具。

證明函式有界的方法總結

調和平均數

證明函式有界的方法總結

幾何平均數

證明函式有界的方法總結

算數平均數

證明函式有界的方法總結

平方平均數

例:證f(x)=

\frac{x}{x^{2}+1}

(x∈R)為有界函式。

解:∵

\frac{x^{2}+1}{2}\geq\sqrt{x^{2}}=\left| x \right|

\left| f(x) \right|=\frac{\left| x \right|}{x^{2}+1}\leq\frac{1}{2}

∴f(x)為定義在R上的有界函式。

定義法

函式既有上界又有下界,則函式有界。所以可以分別證明f有上界,f有下界,則f有界。

運演算法

若f,g在相同的定義域上均有界則f和g做加法,減法,乘法後得到的函式仍有界函式。

證明:設f,g為定義在D上的函式,且

\left| f\right|\leq

M_{1}

\left| g \right|≤

M_{2}

。(

M_{1}

M_{2}

≥0)

加法:

\left| f+g \right|\leq

\left| f \right|+\left| g \right|

M_{1}+M_{2}

M_{3}>0

∴h=f+g為定義在D上的有界函式。

減法:∵

\left| g\right|≤M_{2}

\left| ﹣g \right|≤M_{2}

\left| f+(﹣g) \right|≤\left| f \right|+\left| ﹣g \right|≤M_{1}+M_{2}=M_{3}>0

∴h=f-g是定義在D上的有界函式。

乘法:

\left| f·g\right|=\left| f\right|·\left| g\right| ≤\left| f\right|·M_{2}≤M_{1}·M_{2}=M_{3}>0

∴h=f·g為定義在D上的有界函式。

除法:設D=(0,1),

f=x

g=x^{2}

。則

\left| f\right|<1

\left| g\right|<1

\left| \frac{f}{g} \right|=\left| \frac{1}{x} \right|

\forall

M>0,

\exists

x=\frac{1}{M+1}

,s。t。

\left| \frac{f}{g} \right|>M

h=\frac{f}{g}

為無界函式。

注:這個方法在用的時候要證明,不能直接用。(比如你想用兩個函式相加得到的函式仍是有界函式那一條你把已知的兩個函式帶入上面的公式寫一遍,而不能直接說,因為這兩個函式有界,他倆相加就有界。)

單調性法

(作者想不到描述這個方法合適的名字了,,,)

若函式在定義域上可導,則可對函式求導判斷出函式的單調性,然後求出定義域內的最大值

M_{1}

和最小值

M_{2}

則M=MAX{

\left| M_{1} \right|

\left| M_{2} \right|

},

\left| f \right|≤M

。(此法不常用,如果求導很簡單的話,這題就太簡單了,就沒啥意義了。若定義域上除了個別點之外都可導,則可以單獨求那幾個點的數值。)

連續法

(作者想不到描述這個方法合適的名字了,,,)

閉區間上的連續函式有界

(這是個定義,可以直接用)

若函式定義在閉區間上,證明函式連續,則函式有界。(初等函式在其定義區間為連續函式,這個已經證明可以直接用)

這個方法簡單粗暴,比如

 f(x)=\frac{x^{5}+\sqrt{x+6}}{\sqrt[3]{x+2}}

,x∈D,D=【4,8】。可以說f(x)是定義在D上的連續函式,D為閉區間,所以f(x)為D上的有界函式。這就證完了。

極限法

上一個方法是針對於閉區間的函式而這個方法就是針對於開區間的函數了。

\lim_{x\rightarrow x_{0}}{f(x)}存在則f在x_{0}的某空心鄰域上有界。

(這是個定理,也可以直接用)

證f為定義在D上的有界函式,D=(a,b)。

若你可以證明f在D上連續,

\lim_{x \rightarrow a^{﹢}}{f(x)}

存在,

\lim_{x \rightarrow b^{﹣}}{f(x)}

存在,即可證明f為D上的有界函式。證法如下:取

\alpha

,在以a為中心,

\alpha

為半徑的右鄰域內

\lim_{x \rightarrow a^{﹢}}{f(x)}

存在,所以f在這個右鄰域內有界。取

\beta

,在以b為中心,

\beta

為半徑的左鄰域內

\lim_{x \rightarrow b^{﹣}}{f(x)}

存在,所以f在這個左鄰域內有界。∵f在(a,b)上連續∴f在

D_{1}

=【

a+\alpha

b-\beta

】上連續,所以f在

D_{1}

上有界。所以f為定義在上的有界函式。

到此,本片文章就結束了,因為作者的水平非常有限所以總結的不夠全面,也可能存在錯誤,歡迎大家無償補充和指正錯誤,希望這些總結能幫到大家。