陳丹丹

（湖北汽車工業(yè)學(xué)院理學(xué)院，湖北十堰442002）

Banach空間中線性離散時(shí)間系統(tǒng)的非一致冪二分性

陳丹丹

（湖北汽車工業(yè)學(xué)院理學(xué)院，湖北十堰442002）

給出了Banach空間中線性差分方程非一致冪二分性的若干性質(zhì)，將已知的冪性不穩(wěn)定和指數(shù)二分性結(jié)論推廣到非一致冪二分性。

非一致冪二分性；線性離散系統(tǒng)；Lyapunov序列

0　引言

近年來(lái)，對(duì)有限和無(wú)限維空間中的演化方程解的漸近性質(zhì)的研究已經(jīng)取得了突破性的進(jìn)展［1-6］。除了穩(wěn)定性和不穩(wěn)定性，關(guān)于演化方程的二分性研究也引起了較多學(xué)者的關(guān)注，由于演化方程的二分性存在的問(wèn)題區(qū)別于穩(wěn)定和不穩(wěn)定性，研究動(dòng)力系統(tǒng)的漸近行為二分法是一種強(qiáng)有力的工具。在文獻(xiàn)［7］中Perron首次引進(jìn)了（一致）指數(shù)二分法的概念，這在動(dòng)力學(xué)中起著核心作用，特別是在離散和連續(xù)時(shí)間的穩(wěn)定和不穩(wěn)定不變流形的研究中，存在著大量的線性微分方程具有指數(shù)二分性。［8-10］

另一方面，在動(dòng)力學(xué)研究中指數(shù)二分法條件太苛刻，這樣就引起人們?nèi)ふ腋话愕亩中詶l件。主要原因是從遍歷理論的角度來(lái)看，幾乎所有的變分方程在有限維空間中都具有非一致指數(shù)二分性。最近，一個(gè)特殊的非一致冪二分性概念即冪不穩(wěn)定性，由Popa，Ceau?u和Megan在文獻(xiàn)［11-12］中給出。

本文中主要介紹Banach空間中線性離散時(shí)間系統(tǒng)的非一致冪二分性的概念，并給出Banach空間中線性離散時(shí)間系統(tǒng)的非一致冪二分性的若干性質(zhì)，將經(jīng)典的不穩(wěn)定性結(jié)論［12］和指數(shù)二分性結(jié)論［13］推廣到了非一致冪二分性的性質(zhì)。作為應(yīng)用，利用Lyapunov序列得到相關(guān)概念的刻畫。

1　符號(hào)表示和預(yù)備知識(shí)

X表示一個(gè)實(shí)或者復(fù)的Banach空間，記空間X上的范數(shù)及其上面的有界線性算子全體B（X）中的范數(shù)為，X上的恒等算子記作I，并記

線性離散時(shí)間系統(tǒng)的差分方程為

對(duì)所有（m，n）∈Δ，映射φ∶Δ→B（X） 定義為

特殊地，當(dāng)式（1）是自治的，即對(duì)于?n∈N，A（n）=A∈B（X），則有φ（m，n）=Am-n，?（m，n）∈Δ。

定義1 一個(gè)映射P∶N→B（X）稱為是X上的一個(gè)投影族，如果滿足

對(duì)于所有n∈N。

定義2 稱投影族P（n）與系統(tǒng)（1）是相容的，如果滿足

對(duì)所有n∈N。

定義2中的等式對(duì)于補(bǔ)投影Q（n）也是成立的，且有

對(duì)所有（m，n ）∈Δ。

定義3線性離散時(shí)間系統(tǒng)（1）稱為是一致冪二分的，如果存在2個(gè)常數(shù)D≥1和r∈（0，1），使得

對(duì)所有（m，n，x）∈ΔX都成立。

線性離散時(shí)間系統(tǒng)（1）是一致冪二分的，當(dāng)且僅當(dāng)存在2個(gè)常數(shù)D≥1和r∈（0，1），使得

對(duì)于所有（m，n，j）∈TX都成立。

例1令X=R2，c＞1，映射A∶N→B（R2）定義為

定義4線性離散時(shí)間系統(tǒng)（1）稱為是非一致冪二分性的，如果存在一個(gè)常數(shù)r∈（0， 1）和一個(gè)非減序列D∶N→［1，+∞）使得

對(duì)于所有（m，n，x）∈ΔX都成立。

當(dāng)P（n=0）時(shí)，可得到非一致冪不穩(wěn)定性的性質(zhì)，因此一個(gè)非一致冪不穩(wěn)定的線性離散時(shí)間系統(tǒng)是非一致冪二分的；當(dāng)Q（n=0）時(shí)，可得到非一致冪穩(wěn)定的性質(zhì)，而且易知若線性離散時(shí)間系統(tǒng)是非一致冪穩(wěn)定的，則意味著是非一致冪二分的；當(dāng)r=時(shí)，可以得到非一致指數(shù)二分性的特性。

線性離散時(shí)間系統(tǒng)（1）是一個(gè)非一致冪二分性的，當(dāng)且僅當(dāng)存在一個(gè)常數(shù)r∈（0，1）及一個(gè)非減序列D∶N→［1，+∞） ，使得

對(duì)于所有（m，n，j，x）∈TX都成立。

如果系統(tǒng)（1）是一致冪二分的，則一定是非一致冪二分的，反之未必成立。

例2令X=R2，c＞1及映射定義為

考慮投影族P，Q∶N→B（R2）

則有

本工程建筑平面長(zhǎng)寬約為333m×105m，為超長(zhǎng)結(jié)構(gòu)，為解決大體積混凝土澆筑易產(chǎn)生的溫差、混凝土收縮以及塔樓與裙房的不均勻沉降等問(wèn)題，將地上各單體進(jìn)行分縫處理，地下室部分聯(lián)成一體設(shè)置后澆帶處理。根據(jù)地質(zhì)報(bào)告提供的土質(zhì)狀況，東、西翼塔樓基礎(chǔ)采用樁筏，樁基采用直徑800mm的泥漿護(hù)壁鉆孔灌注樁基礎(chǔ)；裙房部分采用整體筏板，柱下加下柱墩解決筏板沖切問(wèn)題。通過(guò)上述基礎(chǔ)設(shè)置，可有效防止整體建筑的不均勻沉降，并控制柱間的沉降差，使之滿足相關(guān)規(guī)范的要求。

其中

進(jìn)而

通過(guò)定義4知系統(tǒng)（1）是非一致冪二分的。

另一方面，如果假設(shè)系統(tǒng)（1）是一致冪二分的，那么就存在2個(gè)常數(shù)D≥1及r∈（0，1）使得

特別地，當(dāng)m=n+1=2p+1，得到

當(dāng)p→+∞即可得出矛盾。因此系統(tǒng)（1）不是一致冪二分性的。

定義5映射L∶ΔX→R+稱為系統(tǒng)（1）的一個(gè)Lyapunov序列，如果存在一個(gè)常數(shù)l＞1使得

2　主要結(jié)論

設(shè)系統(tǒng)（1）是Banach空間X上的一個(gè)線性離散時(shí)間系統(tǒng)，Pn是與系統(tǒng)（1）相容的投影族。

定理1線性離散時(shí)間（1）是非一致冪二分性，當(dāng)且僅當(dāng)存在2個(gè)非減序列

對(duì)所有（m，n，x）∈ΔX都成立。類似于文獻(xiàn)［12］中的命題1。

推論1線性離散時(shí)間系統(tǒng)（1）是一致冪二分，當(dāng)且僅當(dāng)存在一個(gè)非減序列 f∶N→，使得

對(duì)所有（m，n，x）∈ΔX都成立。

定理2線性離散時(shí)間系統(tǒng)（1）是非一致冪二分性的，當(dāng)且僅當(dāng)存在一個(gè)常數(shù)d＞1和一個(gè)非減序列h∶N→［1，+∞）使得

對(duì)于所有（m，n，j），x∈TX都成立。

2）充分性由于

進(jìn)而可得到

對(duì)于所有（m，n，x）∈ΔX都成立。因此

類似可得

通過(guò)上述2個(gè)不等式可得系統(tǒng)（1）是非一致冪二分的。

推論2線性離散時(shí)間系統(tǒng)（1）是一致冪二分性，當(dāng)且僅當(dāng)存在常數(shù)d＞1，h≥1使得

對(duì)于所有（m，n，j，）x∈TX都成立。

定理3線性離散時(shí)間系統(tǒng)（1）是非一致冪二分性的，當(dāng)且僅當(dāng)存在2個(gè)常數(shù)d＞1，P＞0和一個(gè)非減序列h∶N→［1，+∞）使得

對(duì)于所有（m，n，j，x）∈TX都成立。

2）充分性不等式（8）意味著

進(jìn)而

對(duì)于所有（m，n，x）∈ΔX都成立。因此

類似可得到利用以上2個(gè)不等式可得到系統(tǒng)（1）是非一致冪二分的。

推論3線性離散時(shí)間系統(tǒng)（1）是一致冪二分性的，當(dāng)且僅當(dāng)存在常數(shù)d＞1，p＞0及h≥1使得

對(duì)于所有（m，n，j，）x∈TX都成立。

定理4線性離散時(shí)間系統(tǒng)（1）是非一致冪二分性的，當(dāng)且僅當(dāng)存在一個(gè)Lyapunov序列和一個(gè)非減序列θ∶N→［1，+∞）使得

對(duì)于所有（m，n，x）∈ΔX都成立。

對(duì)于定義5中的l∈（1，β），通過(guò)簡(jiǎn)單的驗(yàn)證可知L是系統(tǒng)（1）的一個(gè)Lyapunov序列。接下來(lái)，對(duì)于所有（m，n，x）∈ΔX有

因此，不等式（10）是成立的。

2）充分性由條件LS1可得對(duì)?（m，n，x）∈ΔX有

由條件LS2～LS3可知，對(duì)于所有（m，n，x）∈ΔX

由此，利用式（11）～（12）以及定理1可得到系統(tǒng)（1）是非一致冪二分的。

推論4線性離散時(shí)間系統(tǒng)（1）是一致冪二分性，當(dāng)且僅當(dāng)存在一個(gè)Lyapunov序列和一個(gè)常數(shù)θ≥1使得

對(duì)于所有（m，n，x）∈ΔX都成立。

［1］Popa I L，Ceau Su T，Megan M.On Exponential Stability for Linear Discrete-time Systems in Banach Spaces［J］. Comput Math Appl，2012，63：1497-1503.

［2］Lupa N，Megan M.Exponential Dichotomies of Evolution Operators in Banach Spaces［J］.Monatsh Math，2014，174：265-284.

［3］Barreira L，Valls C.Lyapunov Sequences for Exponential Dichotomies［J］.J Differ Equat，2009，246：183-215.

［4］Sasu B，Sasu A L.On the Dichotomic Behavior of Dis?crete Dynamical Systems on the Half-line［J］.Discr. Contin Dyn Syst，2013，33：3057-3084.

［5］Sasu B.On Exponential Dichotomy of Variational Differ?enceEquations［J］.DiscrDynNatureSoc，2009：324273.

［6］Sasu B.On Dichotomous Behavior of Variational Differ?ence Equations and Applications［J］.Discr Dyn Nature Soc，2009：140369.

［7］Perron O.Die Stabilit¨Atsfrage bei Differentialgleichun?gen［J］.Math Z，1930，32：703-728.

［8］Barreira L，Valls C.Stability of Nonautonomous Differen?tial Equations［M］.Berlin：Springer，2008.

［9］Sell G，You Y.Dynamics of Evolutionary Equations［M］. Berlin：Springer，2002.

［10］Coppel W.Dichotomies in Stability Theory［M］.Berlin：Springer，1978.

［11］Popa I L.A Note on Power Instability of Linear Discretetime Systems in Banach Spaces［J］.An Univ Vest Timi Ser Math Inform，2012（1）：83-89.

［12］Popa I L，Ceau Su T，Megan M.Nonuniform Power Insta?bility and Lyapunov Sequences［J］.Appl Math Com?put，2014，247：969-975.

［13］Popa I L，Megan M，Ceau Su T.Exponential Dichoto?mies for Linear Discrete-time Systems in Banach Spac?es［J］.Appl Anal Discr Math，2012（6）：140-155.

Nonuniform Power Dichotomy for Linear Discrete-time Systems in Banach Spaces

Chen Dandan
（School of Science，Hubei University of Automotive Technology，Shiyan 442002，China）

Several characterizations for the nonuniform power dichotomy of the linear difference equations in Banach spaces were given.The well-known results for the power instability and exponential dichoto?my were extended to the case of nonuniform power dichotomy.

nonuniform power dichotomy；linear discrete-time system；Lyapunov sequence

O177.2

A

1008-5483（2016）02-0054-05

10.3969/j.issn.1008-5483.2016.02.013

2016-01-24

陳丹丹（1988-），女，河南商丘人，碩士，從事計(jì)算數(shù)學(xué)方面的研究。E-mail：609527301@qq.com