清代,蒙古族數學家明安圖著有《割圓密率捷法》,影響深遠。清末,內蒙古地區小學始有算術課。民國以后,陸續在今呼和浩特、巴彥淖爾、烏蘭浩特、包頭等地建立中學,數學為必修課。偽滿洲國時期,在烏蘭浩特建有興安醫學院,開設高等數學課。
中華人民共和國成立后,內蒙古師范學院于1952年在烏蘭浩特成立,設數理科。1954年,由烏蘭浩特遷到呼和浩特與綏遠師專合并。1958年,建數學系。
1957年,內蒙古大學成立,設數學系,第一屆數學本科生由內蒙古師院1956年招收的本科生調撥重讀。1959年7月14日,內蒙古自治區數學會在呼和浩特成立。1960年1月,內蒙古大學和中國科學院內蒙古分院聯合舉辦第一屆科學討論會(包括數學)。1980年8月,內蒙古自治區數學會協助中國數學會運籌學會在呼和浩特召開組合數學與圖論“三北”學術交流報告會。1979年夏,華羅庚率全國推廣優選法、統籌法推廣小分隊來內蒙古進行工作。
20世紀50年代起,內蒙古數學研究成果陸續發表,但大部分發表于20世紀80年代。
一、微分方程與積分方程
1.常微分方程與微分算子
常微分方程解的一般性質。1958年,劉世澤得到在復數域內一階微分方程積分曲面的若干幾何性質。1964年,吳修珉對沈信耀所建微分方程解的唯一性定理,提出兩點改進意見:①條件可減弱;②可推廣方程組。1981年,郝敦元對三階微分方程進行過研究,1985年還研究過一類微分方程解的性質。
常微分方程解的穩定性和漸進性。1963年,徐思林對部分具無界系數的擬線性微分系統,給出一種穩定性判定準則。1964年,劉世澤對李雅普諾夫條件穩定性定理作了改進。1965年,斯力更將切塔耶夫漸進穩定性定理做了推廣,并建立對部分變元的穩定準則。同時,徐思林又研究部分具無界系數的擬線性微分系統解的逐進性質。1977年以來,斯力更對非定常微分系統穩定性進行研究,對非線性自動調節系統的非定常運動的穩定原的界限,給出具體表達式。1985年章毅利用矩陣性質對一類可分解變系數線性微分系統,得到一種穩定性準則,爾后他又研究一類具分解的變系數線性微分系統的穩定性。1986年,馬萬彪利用微分不等式,對一類比較廣泛的非線性系統零解穩定性得到一條定理,又研究了一類線性時變大系統的穩定性。
奇點與極限環。1959年,李文鏞研究環面上具有一個奇點的積分曲線分布的拓撲結構問題。1965年,劉世澤對空間定性理論中的奇點構造特征作了全面分類。1979年,又對奇點定性理論進行研究,引進李雅普諾夫函數方法,將有關研究推進一步。1977年,陳廣卿對二階非線性振動方程極限環的存在性,給出一種充分判別準則,另一論文對平面上的一般定常二次系統,提供一種證明極限環不存在的新方法。
常微分算子。曹之江、劉景麟較早對常微分方程本征值理論與常微分算子的虧指數理論進行過研究。1983年,率先介紹并引進微分算子虧指數這一方向。1985年以來,曹之江解決二階和高階極限圓型微分算子自伴擴張域的完全解析描述。1987年,孫炯對具中間虧指數地對稱微分算子的自伴擴張問題,給出相當圓滿的解決。1987年,曹之江在《常微分算子》一書中系統講述希爾伯特空間線性算子的一般知識、常型和奇型微分算子的譜分解、虧指數理論及其若干發展概況等。1985年以來,劉景麟解決非自伴微分算子虧指數取最小值的判定、虧指數與邊值問題的適定關系、非自伴微分算子的廣義本征展開等一系列問題。
2.時滯微分方程與時滯微分不等式滯后型系統的穩定性。
1963年,斯力更對變系數擬線性滯后型系統利用積分不等式方法,建立漸進穩定的判別準則,后又將這些結果推廣到可數時滯可數方程的滯后型系統的情形。1964年,朱豫根對小時滯常系數線性滯后型系統穩定性的滯界限給出估計;斯力更對小時滯變系數線性滯后型系統建立穩定性定理。1986年,馬萬彪對常系數線性滯后型系統利用時滯微分不等式方法,得到漸進穩定性的充要條件。1982年,斯力更對帶時滯的非線性自動調節系統非定常運動的絕對穩定性,得一種判別準則,并給出穩定段界限的估計。
中立型系統的穩定性。1974年,斯力更率先證得具有變量時滯的非線性中立型系統解的有界和漸進穩定的充分條件。1982—1984年,斯力更又連續解決小時滯中立型系統的穩定性,得到較完善的結果。此后,他還對線性中立型系統證明了解有界和穩定、一致漸進穩定和指數穩定的等價性。1986年以來,斯力更和章毅、馬萬彪先后發表關于定常和非定常、線性和非線性的中立型系統穩定性的研究成果。
時滯微分不等式。1986年,馬萬彪、章毅在他們的學位論文中,從不同角度建立非定常線性時滯微分不等式,拓寬對時滯微分系統穩定性研究的途徑。1987年,馬萬彪又建立純差分不等式。
超越函數之零點分布。1986年,馬萬彪對一類較復雜的超越函數之零點全分布在復平面左半部,給出一種代數判定準則。
離散系統的穩定性。1987年,馬萬彪對一類非線性離散系統的指數穩性及多項式的零點分布進行研究,得到兩個判別定理。
3.偏微分方程與積分方程
偏微分方程的一般問題。邱佩章較早地研究過偏微分方程理論,20世紀50年代曾發表“函數方程”“E-P-D方程奇性第三問題極值原理”等研究成果。1960年,陶懋頎研究過三階線性全雙曲偏級分方程的第三問題,邱佩章對三階線全雙曲型方程的Riemann函數的存在性、唯一性,對系數的連續依賴性,得到結果。以后,邱佩章和凌嶺又研究廣義Euler-Poiss0n方程Riemann函數在奇線附近的性質。陳杰曾對方程df/dz=h的解函數族進行過研究,陳天權利用差分方法,對高階擬線性橢圓型和拋物型方程的邊值問題進行過研究。
1961年,吳修珉對一類非線性拋物型方程的初值問題,建立了解的唯一性定理,也討論某些方程解的存在性問題。1962年起,倪星棠對三階全雙曲型方程的邊值問題進行研究,1964年,發表三階線性全雙曲型方程第一類邊值問題的研究成果,進而又得到邊值問題的唯一性、混合邊值問題以及混合型偏微分方程的某些邊值問題的結果。同年,莫德也討論過一類雙曲型方程的邊值問題。1980年,倪星棠解決三階線性全雙曲型方程以特征線為支柱的邊值問題,得到較好的結果。1981年,邱佩章、陳立成和欒文貴對一類偏微分方程的始值問題的離散現象作了研究。1983年,宋柏生、孫家樂研究三階線性全雙曲型方程的混合問題。1984年,陳啟宏研究某類偏微分方程在變換下的不變量。1985年以來,王微先后對非線性偏微分方程的漸進解,三階線性橢圓型方程的方類、廣義解的存在性、表達式進行研究,取得結果。
偏微分方程的基本解。1981年,邱佩章、王云波對一維線性偏微分方程給出基本解,同時又解決變數分離的線性偏微分方程基本解的結構。邱佩章、王云波、陳啟宏又對某些類型方程的基本解進行研究并取得成果。
湍流理論。陳天權從1978年起致力于湍流運動基礎理論的研究。1981年,陳天權、袁妙思研究氣體湍流運動理論中的希爾伯特-恩斯庫克-切普曼展開,經過計算和推導,得到了新的物理參數,使湍流理論研究展現了新的前景。爾后,陳天權、袁妙恩、王彥文以及阿其拉圖、張杰等又繼續對湍流運動作了進一步研究,也取得一些成果。
積分方程與積分算子。20世紀50年代以來,趙光前就對積分方程進行過研究。20世紀80年代,趙達夫對奇異積分方程的解的存在性、唯一性以及連續依賴性進行過研究,建立相應的定理。邱佩章也曾研究過積分方程組的齊性問題。陳天權研究過奇異積分算子。1985年,劉景麟、仇慶久、陳恕行合著《傅里葉積分算子理論及其應用》介紹線性偏微分算子研究領域20世紀60—70年代發展起來的新理論。
清代,蒙古族數學家明安圖著有《割圓密率捷法》,影響深遠。清末,內蒙古地區小學始有算術課。民國以后,陸續在今呼和浩特、巴彥淖爾、烏蘭浩特、包頭等地建立中學,數學為必修課。偽滿洲國時期,在烏蘭浩特建有興安醫學院,開設高等數學課。
中華人民共和國成立后,內蒙古師范學院于1952年在烏蘭浩特成立,設數理科。1954年,由烏蘭浩特遷到呼和浩特與綏遠師專合并。1958年,建數學系。
1957年,內蒙古大學成立,設數學系,第一屆數學本科生由內蒙古師院1956年招收的本科生調撥重讀。1959年7月14日,內蒙古自治區數學會在呼和浩特成立。1960年1月,內蒙古大學和中國科學院內蒙古分院聯合舉辦第一屆科學討論會(包括數學)。1980年8月,內蒙古自治區數學會協助中國數學會運籌學會在呼和浩特召開組合數學與圖論“三北”學術交流報告會。1979年夏,華羅庚率全國推廣優選法、統籌法推廣小分隊來內蒙古進行工作。
20世紀50年代起,內蒙古數學研究成果陸續發表,但大部分發表于20世紀80年代。
一、微分方程與積分方程
1.常微分方程與微分算子
常微分方程解的一般性質。1958年,劉世澤得到在復數域內一階微分方程積分曲面的若干幾何性質。1964年,吳修珉對沈信耀所建微分方程解的唯一性定理,提出兩點改進意見:①條件可減弱;②可推廣方程組。1981年,郝敦元對三階微分方程進行過研究,1985年還研究過一類微分方程解的性質。
常微分方程解的穩定性和漸進性。1963年,徐思林對部分具無界系數的擬線性微分系統,給出一種穩定性判定準則。1964年,劉世澤對李雅普諾夫條件穩定性定理作了改進。1965年,斯力更將切塔耶夫漸進穩定性定理做了推廣,并建立對部分變元的穩定準則。同時,徐思林又研究部分具無界系數的擬線性微分系統解的逐進性質。1977年以來,斯力更對非定常微分系統穩定性進行研究,對非線性自動調節系統的非定常運動的穩定原的界限,給出具體表達式。1985年章毅利用矩陣性質對一類可分解變系數線性微分系統,得到一種穩定性準則,爾后他又研究一類具分解的變系數線性微分系統的穩定性。1986年,馬萬彪利用微分不等式,對一類比較廣泛的非線性系統零解穩定性得到一條定理,又研究了一類線性時變大系統的穩定性。
奇點與極限環。1959年,李文鏞研究環面上具有一個奇點的積分曲線分布的拓撲結構問題。1965年,劉世澤對空間定性理論中的奇點構造特征作了全面分類。1979年,又對奇點定性理論進行研究,引進李雅普諾夫函數方法,將有關研究推進一步。1977年,陳廣卿對二階非線性振動方程極限環的存在性,給出一種充分判別準則,另一論文對平面上的一般定常二次系統,提供一種證明極限環不存在的新方法。
常微分算子。曹之江、劉景麟較早對常微分方程本征值理論與常微分算子的虧指數理論進行過研究。1983年,率先介紹并引進微分算子虧指數這一方向。1985年以來,曹之江解決二階和高階極限圓型微分算子自伴擴張域的完全解析描述。1987年,孫炯對具中間虧指數地對稱微分算子的自伴擴張問題,給出相當圓滿的解決。1987年,曹之江在《常微分算子》一書中系統講述希爾伯特空間線性算子的一般知識、常型和奇型微分算子的譜分解、虧指數理論及其若干發展概況等。1985年以來,劉景麟解決非自伴微分算子虧指數取最小值的判定、虧指數與邊值問題的適定關系、非自伴微分算子的廣義本征展開等一系列問題。
2.時滯微分方程與時滯微分不等式滯后型系統的穩定性。
1963年,斯力更對變系數擬線性滯后型系統利用積分不等式方法,建立漸進穩定的判別準則,后又將這些結果推廣到可數時滯可數方程的滯后型系統的情形。1964年,朱豫根對小時滯常系數線性滯后型系統穩定性的滯界限給出估計;斯力更對小時滯變系數線性滯后型系統建立穩定性定理。1986年,馬萬彪對常系數線性滯后型系統利用時滯微分不等式方法,得到漸進穩定性的充要條件。1982年,斯力更對帶時滯的非線性自動調節系統非定常運動的絕對穩定性,得一種判別準則,并給出穩定段界限的估計。
中立型系統的穩定性。1974年,斯力更率先證得具有變量時滯的非線性中立型系統解的有界和漸進穩定的充分條件。1982—1984年,斯力更又連續解決小時滯中立型系統的穩定性,得到較完善的結果。此后,他還對線性中立型系統證明了解有界和穩定、一致漸進穩定和指數穩定的等價性。1986年以來,斯力更和章毅、馬萬彪先后發表關于定常和非定常、線性和非線性的中立型系統穩定性的研究成果。
時滯微分不等式。1986年,馬萬彪、章毅在他們的學位論文中,從不同角度建立非定常線性時滯微分不等式,拓寬對時滯微分系統穩定性研究的途徑。1987年,馬萬彪又建立純差分不等式。
超越函數之零點分布。1986年,馬萬彪對一類較復雜的超越函數之零點全分布在復平面左半部,給出一種代數判定準則。
離散系統的穩定性。1987年,馬萬彪對一類非線性離散系統的指數穩性及多項式的零點分布進行研究,得到兩個判別定理。
3.偏微分方程與積分方程
偏微分方程的一般問題。邱佩章較早地研究過偏微分方程理論,20世紀50年代曾發表“函數方程”“E-P-D方程奇性第三問題極值原理”等研究成果。1960年,陶懋頎研究過三階線性全雙曲偏級分方程的第三問題,邱佩章對三階線全雙曲型方程的Riemann函數的存在性、唯一性,對系數的連續依賴性,得到結果。以后,邱佩章和凌嶺又研究廣義Euler-Poiss0n方程Riemann函數在奇線附近的性質。陳杰曾對方程df/dz=h的解函數族進行過研究,陳天權利用差分方法,對高階擬線性橢圓型和拋物型方程的邊值問題進行過研究。
1961年,吳修珉對一類非線性拋物型方程的初值問題,建立了解的唯一性定理,也討論某些方程解的存在性問題。1962年起,倪星棠對三階全雙曲型方程的邊值問題進行研究,1964年,發表三階線性全雙曲型方程第一類邊值問題的研究成果,進而又得到邊值問題的唯一性、混合邊值問題以及混合型偏微分方程的某些邊值問題的結果。同年,莫德也討論過一類雙曲型方程的邊值問題。1980年,倪星棠解決三階線性全雙曲型方程以特征線為支柱的邊值問題,得到較好的結果。1981年,邱佩章、陳立成和欒文貴對一類偏微分方程的始值問題的離散現象作了研究。1983年,宋柏生、孫家樂研究三階線性全雙曲型方程的混合問題。1984年,陳啟宏研究某類偏微分方程在變換下的不變量。1985年以來,王微先后對非線性偏微分方程的漸進解,三階線性橢圓型方程的方類、廣義解的存在性、表達式進行研究,取得結果。
偏微分方程的基本解。1981年,邱佩章、王云波對一維線性偏微分方程給出基本解,同時又解決變數分離的線性偏微分方程基本解的結構。邱佩章、王云波、陳啟宏又對某些類型方程的基本解進行研究并取得成果。
湍流理論。陳天權從1978年起致力于湍流運動基礎理論的研究。1981年,陳天權、袁妙思研究氣體湍流運動理論中的希爾伯特-恩斯庫克-切普曼展開,經過計算和推導,得到了新的物理參數,使湍流理論研究展現了新的前景。爾后,陳天權、袁妙恩、王彥文以及阿其拉圖、張杰等又繼續對湍流運動作了進一步研究,也取得一些成果。
積分方程與積分算子。20世紀50年代以來,趙光前就對積分方程進行過研究。20世紀80年代,趙達夫對奇異積分方程的解的存在性、唯一性以及連續依賴性進行過研究,建立相應的定理。邱佩章也曾研究過積分方程組的齊性問題。陳天權研究過奇異積分算子。1985年,劉景麟、仇慶久、陳恕行合著《傅里葉積分算子理論及其應用》介紹線性偏微分算子研究領域20世紀60—70年代發展起來的新理論。