李红梅中文.docVIP

可控的无穷时滞中立型泛函微分方程 (1) 状态变量在空间值和控制用受理控制范围的Banach空间，Banach空间。 C是一个有界的线性算子从U到E，A：A : D(A) ? E → E上的线性算子，B是函数的映射相空间（ - ∞，0]在E，将在后面D是有界的线性算子从B到E为 是从B到E的线性算子有界，每个x : (?∞, T ] → E, T 0,，和t∈[0，T]，xt表示为像往常一样，从（映射 - ∞，0]到由E定义为 F是一个E值非线性连续映射在。 ODE的代表在三维空间中的线性和非线性系统的可控性问题进行了广泛的研究。许多作者延长无限维系统的可控性概念，在Banach空间无限算子。到现在，也有很多关于这一主题的作品，看到的，例如，[4，7，10，21]。有许多方程可以无限延迟的研究[23]为抽象的中性演化方程的书面。近年来，中立与无限时滞泛函微分方程理论在无限 维度仍然是一个研究领域（见，例如，[2，9，14，15]和其中的参考文献）。同时，这种系统的可控性问题也受到许多数学家讨论可以看到的，例如，[5,8]。本文的目的是讨论方程的可控性。 （1），其中线性部分是应该被非密集的定义，但满足的Hille- Yosida定理解估计。我们应当保证全局存在的条件，并给一些偏中性无限时滞泛函微分方程的可控性的充分条件。结果获得的积分半群理论和Banach不动点定理。此外，我们使用的整体解决方案的概念和我们不使用半群的理论分析。方程式，如无限时滞方程。 （1），我们需要引入相空间B.为了避免重复和了解的相空间的有趣的性质，假设是（半）赋范抽象线性空间函数的映射（ - ∞，0到E]满足首次在[13]介绍了以下的基本公理和广泛[16]进行了讨论。 存在一个正的常数H和功能K，M：连续与K和M，局部有界，例如，对于任何，如果x : (?∞, σ + a] → E,，和是在 [σ，σ+ A] 连续的，那么，每一个在T[σ，σ+ A]，下列条件成立： (i) , (ii) ,等同与 或者对伊 (iii) （a）对于函数在A中，t → xt是B值连续函数在[σ, σ + a]. （b）空间B是封闭的 整篇文章中，我们还假定算子A满足的Hille- Yosida条件： 在和，和 ? （2） A0是算子的部分一个由定义为 这是众所周知的，和算子对于具有连续半群。 回想一下，[19]所有和。 . 我们还知道在，这是一个关于电子所产生的局部Lipschitz积分半群的衍生，按[3，17，18]，一个有界线性算子的E系列，满足 S(0) = 0, for any y ∈ E, t → S(t)y判断为E, for all t, s ≥ 0, 对于 τ 0这里存在一个常数l(τ) 0, s所以 或者 t, s ∈ [0, τ] . C0 -半群指数有界，即存在两个常数和 ，例如对所有的t≥0。 一类非密集定义泛函微分方程的可控性[12]研究在有限的延误。 2 Main Results 我们开始引入以下定义。 定义1设T 0和φ∈B.我们认为以下的定义。 我们说一个函数X：= X：（ - ∞，T）→E，0T≤+∞，是一个方程的整体解决方程Eq. x在[0, T )是连续的。 对于 t ∈ [0, T ) 对于t ∈ [0, T ) 对于所有t ∈ (?∞, 0]. 我们推断[1]和[22]式的整体解决方法。 （1）给出了? ∈ B，如以下结论 (3) 当。 为了获得全局的存在性和唯一，我们应该在[1]中 (H2) . (H3) i是连续的，存在 0, 所以 for ?1, ?2 ∈ B 和 t ≥ 0. (4) 使用[1]定理7中，我们得到以下结论。 定理1 假设（H1），（H2）（H3），。设? ∈ B，这样D? ∈ D(A).。则，存在一个独特的整数解x(., ?) 对于Eq. (1),。 （1），定义在(?∞,+∞) .。 定义2 在上述条件下，方程Eq. (1)被说成是在区间J = [0, δ], δ 0，如果为每一个初始函数? ∈ B，? ∈ D(A)和任何e1 ∈ D(A)，存在可控一个控制u ∈ L2(J,U)的，这样的解x(.)的Eq. (1)满足。 定理2假设(H1), (H2), (H3).x(.)式为整体解决方法在Eq. (1)中(?∞, δ) , δ 0。并假设（见[20]） 的线性算子从W到U在D(A)定义为 ， （5） 诱导可逆的算子，存在正数和满足 和 那 么，Eq. (1)是可控的前提