泛函微分方程

最早的泛函微分方程來自1750年L.歐拉提出的幾何問題：求一曲線使之與其漸縮線相似。這種曲線便滿足一個特殊的泛函微分方程，此後不斷從各個學科中提出這類問題。到20世紀40年代為止，主要是研究微分差分方程的解析解。50年代開始探討穩定性理論，1959年H.H.克拉索夫斯基在函數空間之間建立解映射，從而確立了滯后型泛函微分方程。70年代初，J.黑爾與A.克魯茲分離出一類廣泛的中立型方程。1978年赫爾與加藤敏夫共同奠立了具有無窮滯后的泛函微分方程。以後又有對其他類型的中立型泛函微分方程的研究。

給定實數區間到n維實（或復）線性空間Rn的連續映射全體記為,簡記為C，C中元素φ 的范數取為則C 為巴拿赫空間且具有一致收斂拓撲。若,且則對任何t∈【t0，t0+A】，記，顯然xt∈C。若D吇,給定映射，則

(1)

叫做D上的滯后型泛函微分方程，記為RFDE(ƒ)。(1)中為右導數。若存在 使得,,且當)時x(t)滿足(1)，則稱x(t)為(1)之解。若 給定，且為(1)之解。則當時稱x為過 的解。由此可以建立兩種解映射：及。而且一般地說解空間是無窮維的。當時(1)退化為常微分方程，解映射為,解空間是有限維的。二者截然不同，通常解的存在惟一性，穩定性，周期解的存在性都不等價。但常微分方程的許多方法可以推廣而用於泛函微分方程，得出大量相應的結果。當然，這種推廣往往是困難的，有時甚至是不可能的。

對(1)有如下的存在定理：給定開集D吇是連續的，若，則必存在(1)過的解即在t0具有初值φ0。若加上ƒ 在D中關於φ滿足李普希茨條件（見常微分方程初值問題）,則解存在且惟一。同樣也可得到解關於參數和初始數據的連續依賴性與可微性的相應定理。關於解的開拓，有一個普通的結果：若x為(1)在上的不可開拓解，則對任何緊集KD存在一個t使得時唘K。

若(1)右端不顯含t，則方程為

(2)

稱之為自治系統。設是連續的，並且是C的有界閉集到Rn中有界集的映射。記x(φ)為(2)過(0,φ)且定義於上的惟一解，則對任何成立。因而定義了一個動力系統。集叫做過φ的軌線。。叫做у(φ)的ω 極限集，叫做у（φ）的α 極限集。相應於常微分方程的已知結果，有對(2)的一個解x，若存在常數使得時，則у(x0)包含於C的緊集之中，若，則ω()是非空的連通緊不變集，且t→∞時

作為(1)的特殊情形，考慮線性方程

， (3)

中的局部L可積函數)，L(t，φ)是φ的線性泛函。由里斯定理，存在一個矩陣函數η(t,θ),它是二元可測的，對每個t當時是有界變差的，使表示為

任何，設存在函數，使｜L(t,φ)｜≤m(t)‖φ‖，那麼可以證明(3)過(t0,φ)的解存在且惟一，並且關於φ是線性的，關於h是線性的。由於是線性的以及解的惟一性可以推出

易法（見初等常微分方程）還可把表示為常數變易公式，即式中是方程

的解

U 稱為基本解陣,I是單位陣, 。

若(3)右端不顯含t，則得線性自治系統

(4)

記x(φ)為過(0,φ)的解，由定義運算元T(t):C→C，則映射族｛T(t):t≥0｝為C上之強連續半群。群之無窮小生成元由，定義。A的定義域D(A)在C中稠密且A之值域R(A)在C中。A可由下式給出：

式中φ 在上有連續導數，η(θ)為上的有界變差函數陣。對任何有。所以，對任意的有

當然，線性系統的各式擾動問題也有相應的結果。

若(2)中h(t)呏0（ω=常數>0）即周期線性系統，此時弗洛奎特理論的相應推廣存在困難。即使最簡單的純量方程 夻(t)=(sint)y(t-2π)也可以證明它不存在周期為2π的變換可使之化為自治系統。

設(1)滿足,是連續的，這裡若對任何存在，使(1)之解x(t,t0,φ)對一切時有,則稱(1)的零解x=0為穩定的。否則，為不穩定的。若以上的δ 不依賴於t0，則稱為一致穩定的。若對任意的，存在使當且時則稱(1)的零解為漸近穩定的。若δ1和T不依賴於t0，則稱為一致漸近穩定的。對線性自治系統，可以分析特徵根的分佈並且應用第一近似理論得出非常類似於常微分方程的穩定性定理。行之有效的李亞普諾夫第二方法（見常微分方程運動穩定性理論）則有兩種格式。其一是所採用的V函數仍為）的純量函數，但需要拉祖米欣條件：對正定函數設(1)滿足的解x(t)(或包含解的曲線族)的集合SR非空，全導數在SR上為常負的，則可保證零解是穩定的。若方程右端含有帶滯后量的導數項（即對中立型方程），僅有上述的拉祖米欣條件還不能判定穩定性。可引進條件：當,有｜凧(σ)｜其中函數N(t)是正值函數,連續且嚴格增加,；再加上拉祖米欣條件，得到穩定性判定方法。這種類型的結果統稱拉祖米欣型定理。其二是採用李亞普諾夫泛函，，令

式中是(1)過(t,φ)的解，設(1)中使R×(C的有界子集)映入Rn之有界集、u、v、w:R+→R+是連續非減函數,u(s)、v(s)當時是正的，且。若存在連續泛函使得

,

則(1)的零解一致穩定。若加上時,則零解一致漸近穩定。這類結果在國內外有大量推廣。

20世紀70年代有兩個新發展。一是r取-∞，則同一個(1)式表示具無窮滯后系統，可以得出與上述內容大體平行的一些結果。二是中立型方程，設Ω吇為開集，給定且連續。D在0處是“原子的”，則

(5)

叫做中立型泛函微分方程(),D叫做(5)的差分運算元。當D關於φ為線性時，所謂在0處“原子的”,是指。若D為非線性的，則條件加之於Dφψ（弗雷歇導數）。對(5)的基本理論與穩定性理論已有一系列結果。

參考書目

J. Hale，Theory of Functional Differential Equations,Springer-Verlag, New York, 1977.

【泛函微分方程】 - 學術研究－http://www1.ahu.edu.cn/math/mathweb2/yjfx_fhwffc.html

幾類偏泛函微分方程與時滯微分系統的動力--http://www.chemyq.com/expert/ep143/1422787_27687.htm

偏泛函微分方程的振動性與非線性反應擴散方程的爆破性 http://res4.nlc.gov.cn/home/search.trs?method=showDetail&channelid=3&id=003070474&searchWord=(+contributor%3D+%27%E7%A9%86%E6%98%A5%E6%9D%A5%E6%8C%87%E5%AF%BC%27++)