高中時期我們都接觸過一些極為常用的不等式,筆者曾在學習不等式的過程中做過一些深入的學習,並對一些常用的不等式做出過證明用來鞏固複習,而在接觸了高等數學並自學數學分析的過程中發現了自己在不等式運用上的一些短板,當時並沒有引起筆者的注意,但在學習專業課的過程中發現一些稍微複雜些的不等式在諸如放縮等運算處理中極為重要,考慮到記憶與運用兼併,這裡筆者從基本的均值不等式,向量不等並結合傑森不等式著重對young不等式與holder不等式做出了較為細緻的證明,並結合自己所學一元函式積分學與微分學的相關知識,將上述不等式與重要的柯西-許瓦茲不等式以及閔可夫斯基不等式做出了推導證明。
1.均值不等式:
其中,當n=2時,有我們常用的三角不等式:
當n=3時,不等式有:
均值不等式我們在高中時期就已經接觸並能夠熟練運用了,且證明方式也豐富多樣,筆者這裡不做贅述。
對向量不等式進行推廣有:
上述三個不等式均為我們接觸高等數學常用的不等式,其通過均值不等式可以進行多種形式的推到證明,這三個不等式也是我們證明複雜不等式的主要工具。
3.傑森不等式:
傑森不等式主要描述的是凸函式上的不等式(函式圖形為凹弧)即當f(x)在區間i上是嚴格凸函式時,對
有:
針對關於x的線性組合
有:綜上:均值,向量以及傑森不等式是我們推導複雜關係不等式的基本工具,下面將結合基本不等式給出young,holder,minkanski等重要不等式的推導。
4.young不等式:
設f(x)是嚴格單調增加的連續函式(x f(0)=0, 設g(x)為f(x)的反函式,對任意的a,b均大於零成立的不等式為:
且當b=f(a)時等號成立。
證明如下:
對於等式
,f(x)在[0,a]上為嚴格單調增加的連續函式,x=g(y)為f(x)的反函式,即g(y)也嚴格單調增加。並將[0,a],[0,f(a)]劃分為n等分,其中0=x0若0f(a)時有:
通過分析法對原始young不等式進行了證明,下面根據上述證明方式對一般形式下的young不等式進行證明:
設p>1,q>1,
,則對任意a,b大於等於零,有
,並在時不等式中等式情況成立。
筆者認為young不等式是連線基本不等式與高等數學中較為複雜不等式的重要橋梁,而通過young不等式我們可以對holder不等式進行較為系統的證明,並在後續對holder不等式分情況討論能夠得出柯西-許瓦茲不等式以及閔可夫斯基不等式,這樣就將我們所熟悉的不等式大體進行了串聯。
5.holder不等式:
證明:
以上就是對holder不等式的證明,可以發現當p=q=1/2時結論就變成了柯西-許瓦茲不等式。下面對柯西-許瓦茲不等式進行證明。
6.柯西-許瓦茲不等式:(結合同濟第七版高等數學給出證明)
證明:
這裡也賦上教材中的證明方法,運用的是二次三項式判別式恆小於等於零保證原方程無負值的原理證明的:
7.閔可夫斯基不等式:
參考文獻:
1.高等數學.同濟第七版.978-7-04-039662-1
2.數學分析新講.張筑生.978-7-30-100846-1
3.young不等式的幾種證明及應用.邢家省.北京航空航天大學數學系
不等號屬於不等式嗎 實數(等式和不等式)
在高中數學的第二章,a版教材稱其為一元二次函式 方程和不等式,而b版教材僅稱其為等式和不等式,這不是說a版教材的內容豐富,反而是說b版教材更突出數學的一般性。不論你學哪一版本,都應該把這一章的內容在本質上看作是實數,等式 不等式的性質,乃至一元二次方程和不等式,都是實數性質的體現。在現代數學,我們有...
不等式數列
不等式數列 時間限制 1秒 空間限制 32768k 度度熊最近對全排列特別感興趣,對於 1到n的乙個排列 度度熊發現可以在中間根據大小關係插入合適的大於和小於符號 即 和 使其成為乙個合法的不等式數列。但是現在度度熊手中只有 k個小於符號即 和n k 1 個大於符號 即 度度熊想知道對於1至 n任意...
不等式(數學)
小z熱衷於數學。今天數學課的內容是解不等式 l le s x le r 小z心想這也太簡單了,不禁陷入了深深的思考 假如已知 l,s,r,m 滿足 l le s x mod m le r 的最小正整數該怎麼求呢?第一行包含乙個整數 t 表示資料組數t,接下來是 t行,每行為四個正整數m,s,l,r ...