带严格单调算子的微分方程的概周期型解-基础数学专业论文.docx

Classified Index: O177 U.D.C.: 517.98 Dissertation for the Doctoral Degree in Science ALMOST PERIODIC TYPE SOLUTIONS OF DIFFERENTIAL EQUATIONS WITH STRICTLY MONOTONE OPERATORS Candidate: Guo Yali Supervisor: Prof. Zhang Chuanyi Academic Degree Applied for: Doctor of Science Specialty: Fundamental Mathematics Affiliation: Department of Mathematics Date of Defence: June, 2008 Degree-Conferring-Institution: Harbin Institute of Technology 摘 要 摘 要 哈尔滨 哈尔滨工业大学理学博士学位论文 – – I – – – PAGE VIII – 摘 要 丹麦数学家 H. Bohr 于 1925-1926 年间建立了概周期函数理论。概周期 函数是拥有某种结构性质的连续函数，是周期函数的一般化。经过许多数学 工作者的努力，概周期函数理论得到了长足的发展。一方面是关于概周期型 函数的扩充和性质的研究，另一方面是概周期型函数理论在相应学科中的应 用，特别是方程概周期型解的存在性条件。 本文主要包括两部分内容的研究:一部分是关于几种一阶概周期型微分 方程解的存在唯一性的研究讨论，另一部分是关于一类带梯度算子的二阶概 周期型微分方程解的存在唯一性的讨论。 对 于 带 有 严 格 单 调 算 子 的 微 分 方 程 的 概 周 期 解 的 存 在 唯 一 性 己 经 得 到 了 一 些 数 学 工 作 者 的 研 究 ， 并 且 有 了 一 些 重 要 的 结 果 。Sarason 定 义 了 缓 慢 振 荡 函 数 ， 但 至 今 没 有 人 将 它 应 用 到 带 有 严 格 单 调 算 子 的 微 分 方 程 中。1941年，Fre′chet 最先研究引入了渐近概周期函数。渐近概周期函数是概 周期函数的一个推广。但到目前为止，还无人对带有严格单调算子的微分方 程的渐近概周期解的存在唯一性进行研究。 带有梯度算子的二阶微分方程是一类特殊的非线性方程，这种方程在化 工和电子等方面有重要的作用。九十年代初利用变分法人们解决了这种方程 解的存在性问题。利用函数的凸性，方程的概周期解的存在性和唯一性问题 也己经得到了解决，这以后人们深入地研究更广泛的带梯度算子的二阶方 程，在它的概周期解的存在性和唯一性方面得到了一些很好的结果。 近几年中，越来越多的人致力于带有半群无穷小生成元的微分方程的概 周期解的研究，但对于其缓慢振荡解的研究是很少的。 本文主要解决了以下几个问题: 1. 本文考虑将缓慢振荡函数和带有严格单调算子的微分方程相结合，利 用反证法给出了带有严格单调算子的一阶微分方程缓慢振荡解存在和唯一的 一个充分条件和一个必要条件，并且举例说明了，这两个条件都不可能成为 充分必要条件。特别地对于此类方程的一类特殊情形，我们给出了缓慢振荡 解存在和唯一的充分必要条件。 2. 本文利用渐近概周期函数的性质给出了带有严格单调算子的一阶微分 方程渐近概周期解存在和唯一的一个充分条件和一个必要条件，并且举例说 明了，这两个条件都不可能成为充分必要条件。特别地对于此类方程的一类 特殊情形，我们给出了渐近概周期解存在和唯一的充分必要条件。并且我们 把一些结果推广到了一类二阶微分方程。 3. 本文解决了带梯度算子的二阶方程渐近概周期解的存在和唯一性的问 题。我们利用渐近概周期函数的性质可以得到这种方程的渐近概周期解在 R+ 上的存在性。另一方面，我们可以把原方程转化，利用迭代法和相关的 线性常微分方程的渐近概周期解的存在性和唯一性条件，得到此方程的渐近 概周期解的存在和唯一性。 4. 本文利用 Banach 不动点定理考虑了带有半群无穷小生成元的一阶微 分方程的缓慢振荡解存在唯一的条件。 关键词 严格单调算子:梯度算子:渐近概周期解:缓慢振荡解 Abstract Abstract 哈尔滨 哈尔滨工业大学理学博士学位论文 – – III – – – PAGE IV – Abstract The theory of almost periodic functions was mainly created by the Danish math- ematician H. Bohr during 1925-1926. Almost