1) mixed type functional differential equation
混合型泛函微分方程
1.
Comparison Theorem for Second Order Mixed Type Functional Differential Equations;
二阶混合型泛函微分方程的比较定理
2.
In this paper the author gives the existence and uniqueness of the solution for Cauchy′s problem of mixed type functional differential equation．The uniqueness and stability of solution of the Cauchy problem for KdV－Burgers′ type equation has been proved in L2 sense
本文给出了一类混合型泛函微分方程的Cauchy问题的存在性和唯一性，并在L2范数的 意义下讨论了KdV－Burgers方程解的唯一性和稳定性。
2) the Palais-Smale condition
二阶混合型泛函方程
4) neutral functional differential equation
中立型泛函微分方程
1.
Oscillation of a class of neutral functional differential equations;
一类中立型泛函微分方程的振动性
2.
Periodic solutions for second order neutral functional differential equation with complex deviating argumen;
具复杂偏差变元的二阶中立型泛函微分方程的周期解
3.
Stability Switches of Retarded Differential Difference Systems and Existence of Positive Periodic Solutions of Neutral Functional Differential Equations;
滞后型微分差分系统的稳定性开关及中立型泛函微分方程正周期解的存在性
5) neutral type functional differential equation
中立型泛函微分方程
1.
By using theory of exponential type dichotomy and fixed point theory, the author establishes some sufficient conditions for ensuring existence and uniqueness of almost periodic solutions to neutral type functional differential equations with finite time-delay.
利用指数型二分性理论和不动点理论,建立一些保证一类具有限时滞的中立型泛函微分方程,论述其概周期解的存在性和唯一性的充分条件。
2.
A study is made on the almost periodic solutions to a class of neutral type functional differential equations with time delay.
研究一类具时滞的中立型泛函微分方程的概周期解 ,利用不动点定理及指数型二分性 ,得到其概周期解的存在唯一性及稳定
6) neutral differential equation
中立型泛函微分方程
1.
Consider the oscillation of solutions of a firs torder neutral differential equations The sufficient condition which make every solutions of these equations oscillates are obtained Our theorems improves some known Results and are“sharp”condition
研究变系数中立型泛函微分方程的解的振动性问题 分别获得了保证两类中立型方程的所有解振动的充分条件 ,改进了已有的部分结果 ,而且在某种程度上 ,我们的结果是不可改进的。
2.
We discuss the stability of a class of linear neutral differential equations: [x(t)-∑mi=1aix(t-τi)]′=bx(t)+∑nj=1cjx(t-σj)By constructing Liapunov functional,the sufficient conditions of the asymptotic stability are obtained.
本文利用Lyapunov泛函,研究了一类多时滞线性中立型泛函微分方程x(t)-∑mi=1aix(t-τi)′=bx(t)+∑nj=1cjx(t-σj)的稳定性,并得到其零解渐近稳定的充分条件。
补充资料：泛函微分方程
除了理想的情形以外，任何具有反馈的动力系统总是存在滞后现象；用传统的常微分方程去描述物理系统只是一种近似，而且是有条件的，这就需要考虑带有各种滞后量的微分方程，诸如微分差分方程，各种具有复杂偏差变元的微分方程，有滞后量的积分微分方程，等等。泛函微分方程是这一类方程的概括和抽象。
最早的泛函微分方程来自1750年L.欧拉提出的几何问题：求一曲线使之与其渐缩线相似。这种曲线便满足一个特殊的泛函微分方程，此后不断从各个学科中提出这类问题。到20世纪40年代为止，主要是研究微分差分方程的解析解。50年代开始探讨稳定性理论，1959年H.H.克拉索夫斯基在函数空间之间建立解映射，从而确立了滞后型泛函微分方程。70年代初，J.黑尔与A.克鲁兹分离出一类广泛的中立型方程。1978年赫尔与加藤敏夫共同奠立了具有无穷滞后的泛函微分方程。以后又有对其他类型的中立型泛函微分方程的研究。
给定实数r≥0,区间[-r,0]到n维实（或复）线性空间Rn的连续映射全体记为C([-r,0],Rn),简记为C，C中元素φ 的范数取为则C 为巴拿赫空间且具有一致收敛拓扑。若t0∈R,A≥0,且x∈C([t0-r,t0+A]，Rn),则对任何t∈[t0，t0+A]，记xt(θ)=x(t+θ)(-r≤θ≤0)，显然xt∈C。若D吇R×C,给定映射??:D→Rn，则
(1)叫做D上的滞后型泛函微分方程，记为RFDE(??)。(1)中为右导数。若存在t0∈R,A >0 使得,(t,xt)∈D,且当)时x(t)满足(1)，则称x(t)为(1)之解。若t0∈R ,φ∈C 给定,且x(t；t0,φ)为(1)之解。则当时称x为过 (t0,φ)的解。由此可以建立两种解映射： 及 。而且一般地说解空间是无穷维的。当r=0时(1)退化为常微分方程，解映射为,解空间是有限维的。二者截然不同,通常解的存在惟一性,稳定性，周期解的存在性都不等价。但常微分方程的许多方法可以推广而用于泛函微分方程，得出大量相应的结果。当然，这种推广往往是困难的，有时甚至是不可能的。
对(1)有如下的存在定理：给定开集D吇R×C，??:D→Rn是连续的，若(t0,φ)∈D，则必存在(1)过(t0,φ)的解x(t，t0，φ)即在t0具有初值φ0。若加上?? 在D中关于φ满足李普希茨条件（见常微分方程初值问题）,则解存在且惟一。同样也可得到解关于参数和初始数据的连续依赖性与可微性的相应定理。关于解的开拓，有一个普通的结果:若x为(1)在［t0－r,b)上的不可开拓解,则对任何紧集K嶅D存在一个t使得t≤t≤b时(x,xt)唘K。
若(1)右端不显含t，则方程为
(2)称之为自治系统。设??:C→Rn是连续的，并且是C的有界闭集到Rn中有界集的映射。记x(φ)为(2)过(0,φ)且定义于[-r,∞)上的惟一解，则 对任何t、s≥0成立。因而定义了一个动力系统。集叫做过φ的轨线。。叫做у(φ)的ω 极限集，叫做у（φ）的α 极限集。相应于常微分方程的已知结果，有对(2)的一个解x，若存在常数 m>0 使得 t∈[t0-r，∞] 时│x(t)│，则у(x0)包含于C的紧集之中，若t≥-r时│x(t)│，则ω(у(x0))是非空的连通紧不变集，且t→∞时 dist(xt，ω(у(x0)))→0。
作为(1)的特殊情形，考虑线性方程，
(3)>h(t)∈LL1((t0,∞)中的局部L可积函数)，L(t，φ)是φ的线性泛函。由里斯定理，存在一个 n×n矩阵函数η(t,θ),它是二元可测的，对每个t当θ∈[-r，0]时是有界变差的，使L(t,φ)表示为任何t∈R，φ∈C，设存在函数 m(t)∈LL1(-r，∞)，使｜L(t,φ)｜≤m(t)‖φ‖，那么可以证明(3)过(t0,φ)的解x(t0,φ,h)存在且惟一，并且x(t0,φ,0)关于φ是线性的，x(t0,0,h)关于h是线性的。由于L(t,φ)是线性的以及解的惟一性可以推出易法（见初等常微分方程）还可把x(t,φ,h)表示为常数变易公式，即 式中是方程
的解U 称为基本解阵,I是n×n单位阵, Ut(·,s)(θ)=U(t+θ,s)(-r≤θ≤0)。
若(3)右端不显含t，则得线性自治系统
(4)记x(φ)为过(0,φ)的解，由定义算子T(t):C→C，则映射族｛T(t):t≥0｝为C上之强连续半群。群之无穷小生成元由，定义。A的定义域D(A)在C中稠密且A之值域R(A)在C中。A可由下式给出：式中φ 在[-r,0)上有连续导数，η(θ)为[-r,0]上的有界变差函数阵。对任何φ∈C有。所以，对任意的φ∈D(A)有当然，线性系统的各式扰动问题也有相应的结果。
若(2)中h(t)呏0，L(t+ω,φ)=L(t,φ)（ω=常数>0）即周期线性系统，此时弗洛奎特理论的相应推广存在困难。即使最简单的纯量方程 夻(t)=(sint)y(t-2π)也可以证明它不存在周期为2π的变换可使之化为自治系统。
设(1)满足??(t,0)呏0,t∈R+=[0,∞),是连续的，这里若对任何ε>0和t0≥0,存在δ(ε,t0)>0，使(1)之解x(t,t0,φ)对一切t≥t0,φ∈Cδ时有xt(t0,φ)∈Cε,则称(1)的零解x=0为稳定的。否则，为不稳定的。若以上的δ 不依赖于t0，则称为一致稳定的。若对任意的ε>0，t0≥0，存在δ1(t0)和T(ε，t0)使当且t>t0＋T(ε,t0)时则称(1)的零解为渐近稳定的。若δ1和T不依赖于t0，则称为一致渐近稳定的。对线性自治系统,可以分析特征根的分布并且应用第一近似理论得出非常类似于常微分方程的稳定性定理。行之有效的李亚普诺夫第二方法（见常微分方程运动稳定性理论）则有两种格式。其一是所采用的V函数仍为Rn→R（或R×Rn→R）的纯量函数,但需要拉祖米欣条件：对正定函数V(t,x)，x∈Rn，设(1)满足V（σ,x(σ))≤V(t,x(t))(t≥t0,t-r≤σ≤t）的解x(t)(或包含解的曲线族)的集合SR非空，全导数在SR上为常负的，则可保证零解是稳定的。若方程右端含有带滞后量的导数项（即对中立型方程），仅有上述的拉祖米欣条件还不能判定稳定性。可引进条件：当 V(σ,x(σ))≤N(t),有｜凧(σ)｜≤k(N(t))，t-r≤σ≤t,其中函数N(t)是正值函数,k:R+→R+连续且严格增加,k(0)=0；再加上拉祖米欣条件，得到稳定性判定方法。这种类型的结果统称拉祖米欣型定理。其二是采用李亚普诺夫泛函，，令式中xt+h(t,φ)是(1)过(t,φ)的解,设(1)中?0?6:R×C→Rn使R×(C的有界子集)映入Rn之有界集、u、v、w:R+→R+是连续非减函数,u(s)、v(s)当s>0时是正的，且u(0)=v(0)=0。若存在连续泛函V:R+×C→R使得
,
则(1)的零解一致稳定。若加上s>0时w(s)>0,则零解一致渐近稳定。这类结果在国内外有大量推广。
20世纪70年代有两个新发展。一是r取-∞，则同一个(1)式表示具无穷滞后系统,可以得出与上述内容大体平行的一些结果。二是中立型方程，设Ω吇R×C为开集，??:Ω→Rn,D:Ω→Rn给定且连续。D在0处是"原子的"，则
(5)叫做中立型泛函微分方程(NFDE(D,??)),D叫做(5)的差分算子。当D关于φ为线性时，所谓在0处"原子的",是指det[η(t,0)-η(t,0_)]≠0。若D为非线性的,则条件加之于Dφψ（弗雷歇导数）。对(5)的基本理论与稳定性理论已有一系列结果。
参考书目
J. Hale，Theory of Functional Differential Equations,Springer-Verlag, New York, 1977.
最早的泛函微分方程来自1750年L.欧拉提出的几何问题：求一曲线使之与其渐缩线相似。这种曲线便满足一个特殊的泛函微分方程，此后不断从各个学科中提出这类问题。到20世纪40年代为止，主要是研究微分差分方程的解析解。50年代开始探讨稳定性理论，1959年H.H.克拉索夫斯基在函数空间之间建立解映射，从而确立了滞后型泛函微分方程。70年代初，J.黑尔与A.克鲁兹分离出一类广泛的中立型方程。1978年赫尔与加藤敏夫共同奠立了具有无穷滞后的泛函微分方程。以后又有对其他类型的中立型泛函微分方程的研究。
给定实数r≥0,区间[-r,0]到n维实（或复）线性空间Rn的连续映射全体记为C([-r,0],Rn),简记为C，C中元素φ 的范数取为则C 为巴拿赫空间且具有一致收敛拓扑。若t0∈R,A≥0,且x∈C([t0-r,t0+A]，Rn),则对任何t∈[t0，t0+A]，记xt(θ)=x(t+θ)(-r≤θ≤0)，显然xt∈C。若D吇R×C,给定映射??:D→Rn，则
(1)叫做D上的滞后型泛函微分方程，记为RFDE(??)。(1)中为右导数。若存在t0∈R,A >0 使得,(t,xt)∈D,且当)时x(t)满足(1)，则称x(t)为(1)之解。若t0∈R ,φ∈C 给定,且x(t；t0,φ)为(1)之解。则当时称x为过 (t0,φ)的解。由此可以建立两种解映射： 及 。而且一般地说解空间是无穷维的。当r=0时(1)退化为常微分方程，解映射为,解空间是有限维的。二者截然不同,通常解的存在惟一性,稳定性，周期解的存在性都不等价。但常微分方程的许多方法可以推广而用于泛函微分方程，得出大量相应的结果。当然，这种推广往往是困难的，有时甚至是不可能的。
对(1)有如下的存在定理：给定开集D吇R×C，??:D→Rn是连续的，若(t0,φ)∈D，则必存在(1)过(t0,φ)的解x(t，t0，φ)即在t0具有初值φ0。若加上?? 在D中关于φ满足李普希茨条件（见常微分方程初值问题）,则解存在且惟一。同样也可得到解关于参数和初始数据的连续依赖性与可微性的相应定理。关于解的开拓，有一个普通的结果:若x为(1)在［t0－r,b)上的不可开拓解,则对任何紧集K嶅D存在一个t使得t≤t≤b时(x,xt)唘K。
若(1)右端不显含t，则方程为
(2)称之为自治系统。设??:C→Rn是连续的，并且是C的有界闭集到Rn中有界集的映射。记x(φ)为(2)过(0,φ)且定义于[-r,∞)上的惟一解，则 对任何t、s≥0成立。因而定义了一个动力系统。集叫做过φ的轨线。。叫做у(φ)的ω 极限集，叫做у（φ）的α 极限集。相应于常微分方程的已知结果，有对(2)的一个解x，若存在常数 m>0 使得 t∈[t0-r，∞] 时│x(t)│
作为(1)的特殊情形，考虑线性方程，
(3)>h(t)∈LL1((t0,∞)中的局部L可积函数)，L(t，φ)是φ的线性泛函。由里斯定理，存在一个 n×n矩阵函数η(t,θ),它是二元可测的，对每个t当θ∈[-r，0]时是有界变差的，使L(t,φ)表示为任何t∈R，φ∈C，设存在函数 m(t)∈LL1(-r，∞)，使｜L(t,φ)｜≤m(t)‖φ‖，那么可以证明(3)过(t0,φ)的解x(t0,φ,h)存在且惟一，并且x(t0,φ,0)关于φ是线性的，x(t0,0,h)关于h是线性的。由于L(t,φ)是线性的以及解的惟一性可以推出易法（见初等常微分方程）还可把x(t,φ,h)表示为常数变易公式，即 式中是方程
的解U 称为基本解阵,I是n×n单位阵, Ut(·,s)(θ)=U(t+θ,s)(-r≤θ≤0)。
若(3)右端不显含t，则得线性自治系统
(4)记x(φ)为过(0,φ)的解，由定义算子T(t):C→C，则映射族｛T(t):t≥0｝为C上之强连续半群。群之无穷小生成元由，定义。A的定义域D(A)在C中稠密且A之值域R(A)在C中。A可由下式给出：式中φ 在[-r,0)上有连续导数，η(θ)为[-r,0]上的有界变差函数阵。对任何φ∈C有。所以，对任意的φ∈D(A)有当然，线性系统的各式扰动问题也有相应的结果。
若(2)中h(t)呏0，L(t+ω,φ)=L(t,φ)（ω=常数>0）即周期线性系统，此时弗洛奎特理论的相应推广存在困难。即使最简单的纯量方程 夻(t)=(sint)y(t-2π)也可以证明它不存在周期为2π的变换可使之化为自治系统。
设(1)满足??(t,0)呏0,t∈R+=[0,∞),是连续的，这里若对任何ε>0和t0≥0,存在δ(ε,t0)>0，使(1)之解x(t,t0,φ)对一切t≥t0,φ∈Cδ时有xt(t0,φ)∈Cε,则称(1)的零解x=0为稳定的。否则，为不稳定的。若以上的δ 不依赖于t0，则称为一致稳定的。若对任意的ε>0，t0≥0，存在δ1(t0)和T(ε，t0)使当且t>t0＋T(ε,t0)时则称(1)的零解为渐近稳定的。若δ1和T不依赖于t0，则称为一致渐近稳定的。对线性自治系统,可以分析特征根的分布并且应用第一近似理论得出非常类似于常微分方程的稳定性定理。行之有效的李亚普诺夫第二方法（见常微分方程运动稳定性理论）则有两种格式。其一是所采用的V函数仍为Rn→R（或R×Rn→R）的纯量函数,但需要拉祖米欣条件：对正定函数V(t,x)，x∈Rn，设(1)满足V（σ,x(σ))≤V(t,x(t))(t≥t0,t-r≤σ≤t）的解x(t)(或包含解的曲线族)的集合SR非空，全导数在SR上为常负的，则可保证零解是稳定的。若方程右端含有带滞后量的导数项（即对中立型方程），仅有上述的拉祖米欣条件还不能判定稳定性。可引进条件：当 V(σ,x(σ))≤N(t),有｜凧(σ)｜≤k(N(t))，t-r≤σ≤t,其中函数N(t)是正值函数,k:R+→R+连续且严格增加,k(0)=0；再加上拉祖米欣条件，得到稳定性判定方法。这种类型的结果统称拉祖米欣型定理。其二是采用李亚普诺夫泛函，，令式中xt+h(t,φ)是(1)过(t,φ)的解,设(1)中?0?6:R×C→Rn使R×(C的有界子集)映入Rn之有界集、u、v、w:R+→R+是连续非减函数,u(s)、v(s)当s>0时是正的，且u(0)=v(0)=0。若存在连续泛函V:R+×C→R使得
,
则(1)的零解一致稳定。若加上s>0时w(s)>0,则零解一致渐近稳定。这类结果在国内外有大量推广。
20世纪70年代有两个新发展。一是r取-∞，则同一个(1)式表示具无穷滞后系统,可以得出与上述内容大体平行的一些结果。二是中立型方程，设Ω吇R×C为开集，??:Ω→Rn,D:Ω→Rn给定且连续。D在0处是"原子的"，则
(5)叫做中立型泛函微分方程(NFDE(D,??)),D叫做(5)的差分算子。当D关于φ为线性时，所谓在0处"原子的",是指det[η(t,0)-η(t,0_)]≠0。若D为非线性的,则条件加之于Dφψ（弗雷歇导数）。对(5)的基本理论与稳定性理论已有一系列结果。
参考书目
J. Hale，Theory of Functional Differential Equations,Springer-Verlag, New York, 1977.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条