Volterra泛函微分方程数值方法散逸性-计算数学专业论文.docxVIP

PAGE PAGE 10 第一章 绪 论 1. 1 历史背景及意义 Volterra 泛函微分方程（VFDEs）广泛出现于生物学、医学、经济学、物理、化学 及自动控制等科学与工程领域（参见[3]，[4]）, 包括常微分方程，延迟微分方程，积 分微分方程，延迟积分微分方程及其他各种微分方程。众所周知，只有极少数微分方程 能够获得真解的解析表达式，人们只能采用数值方法来进行求解。因此，这类微分方程 本身的性质及其数值方法的研究是十分重要的课题（参见[1]、[2]、[6]-[14]、[16]、 [18]、[20]、[25]、[26]、[28]-[65]）。 科学与工程技术中的许多系统具有散逸性，即系统具有一有界吸引集，从任意初始 条件出发的解经过有限时间后进入该 吸引集并随后保持在里面，如 2 维的 Navier-Stokes 方程及 Lorenz 方程等许多重要系统都是散逸的。当人们用数值方法来求 解这些系统时，自然希望数值方法能继承系统的这一重要特性。散逸性研究一直是动力 系统本身及其数值方法研究中的重要课题(参见 [5])。 微分方程及其数值方法散逸性的早期研究主要集中于常微分方程。1994 年， NHumphries 和 Stuart[6]考虑初值问题 N y′(t) ? f ( y), y(0) ??y0 ∈?R , t ≥?0 (1.1.1) 这里 f : R N →?R N 是满足局部 Lipschitz 条件的连续映射，并满足条件 Re?u, f (u)??≤?γ ?α?u 2  ??u ∈?RN (1.1.2) 其中 α???0, γ?≥?0, ??,???是 R N 中标准内积， ???是相应的内积范数；证明了若 y(t)是问题 (1.1.1)- (1.1.2)的真解，则有 2y(t) ? γ α 2  ??e ?2αt  ( y0 2 ??γ?), ?t ≥?0, （1.1.3） α 这意味着问题(1.1.1)- (1.1.2)定义了 R N 上的一散逸动力系统，对 ?ε???0 该系统有有界 吸引集 B(0, γ?α???ε?) ；并首次研究了 Runge-Kutta 方法关于有限维系统的散逸性，证 明了代数稳定且不可约的 Runge-Kutta 方法是散逸稳定的且有一有界吸引集。 1997 年 Hill[7,8]研究了其无穷维散逸性。2000 年，肖爱国[9] 研究了 Hilbert 空间中 散逸动力系统一般线性方法的散逸稳定性：设 X 是（实或复）的 Hilbert 空间， ??,???是 其中内积， ??是该内积导出的范数。W 是 X 的某一无限子集。考虑初值问题 ??y′(t) ? ? f ( y(t)), t ≥ 0,  (1.1.4) ???y(0) ??y0 , y0 ∈W , 这里 f :W →?W 是满足局部 Lipschitz 条件的连续映射，并满足条件 2Re??y, f ( y)??≤?α ??β?y 2 ??y ∈W, (1.1.5) 其中α?≥?0, β???0 为实常数。设 y(t)是 (1.1.4)- (1.1.5)的一真解（它是值域含于 W 内 的抽象函数，抽象函数均指强函数），则有 y(t) 2 ? α β  ? e?2βTt  ( y0 2 ??α?), ?t ≥?0, β 进一步问题 (1.1.4)- (1.1.5) 定义了 X 上的一散逸动力系统，且有有界吸引集 B(0, α?β???1) 。 文[9]中考虑求解问题(1.1.4)的 s 级 r 值一般线性方法 ?Y (n) ? h s c11 f (Y ( n) ) ? r c12 y ( n?1) ,  i ??1,2, , s, ???i ???(n) ∑?j ?1 ij s 21 j ( n) ∑?j ?1 ij r 22 j ( n?1)  (1.1.6) ???yi ??h∑?j ?1 cij f (Y j ) ??∑?j ?1 cij y j , i ??1,2,