陳范彬妍 宋芷璇

摘?要：本文運(yùn)用推廣的GronwallBellman不等式研究分?jǐn)?shù)階雙時(shí)滯微分系統(tǒng)的有限時(shí)間穩(wěn)定性.首先，通過(guò)適當(dāng)?shù)姆e分變換將GronwallBellman不等式在整數(shù)階雙時(shí)滯積分系統(tǒng)中進(jìn)行推廣.其次，利用所得結(jié)論，并結(jié)合Hlder不等式、Minkowski不等式、Jensen不等式以及換元法等方法將GronwallBellman不等式推廣到分?jǐn)?shù)階雙時(shí)滯的積分系統(tǒng)中.最后，運(yùn)用上述所得結(jié)論，研究分?jǐn)?shù)階雙時(shí)滯微分系統(tǒng)的有限時(shí)間穩(wěn)定性.

關(guān)鍵詞：GronwallBellman不等式；分?jǐn)?shù)階RiemannLiouville積分方程；時(shí)滯；有限時(shí)間穩(wěn)定性

中圖分類(lèi)號(hào)：O175.13

自1919年Gronwall積分不等式誕生以來(lái)，Gronwall積分不等式在常微分方程、偏微分方程解的研究及估計(jì)上起著極其重要的作用［1］.

時(shí)滯系統(tǒng)在實(shí)際生活中的應(yīng)用范圍非常廣泛.一方面，它在建筑結(jié)構(gòu)、神經(jīng)網(wǎng)絡(luò)、工業(yè)水處理、冶金工業(yè)等系統(tǒng)中都十分常見(jiàn).另一方面，在網(wǎng)絡(luò)系統(tǒng)下，處理數(shù)據(jù)以及傳送數(shù)據(jù)也能引發(fā)系統(tǒng)中時(shí)滯的產(chǎn)生［24］.此外，穩(wěn)定性問(wèn)題也是分?jǐn)?shù)階微分方程的研究中一個(gè)重要的問(wèn)題［57］.

為了使Gronwall不等式更好地運(yùn)用于實(shí)際問(wèn)題，本文將GronwallBellman不等式與時(shí)間延遲聯(lián)系起來(lái)，以便解決多時(shí)滯的積分不等式相關(guān)問(wèn)題.

1?預(yù)備知識(shí)

為了方便，記區(qū)間J=［t0，T］，0t0

定義1［8］：（有限時(shí)間穩(wěn)定性）對(duì)于帶有時(shí)滯的Caputo分?jǐn)?shù)階微分系統(tǒng)cDαtx（t）=f（t，x（t），x（t-τ）），t∈J，x（t）=φ（t），t0-τtt0.若滿(mǎn)足ε>0，δ∈（0，ε），當(dāng)‖φ‖=supt0-τtt0‖φ（t）‖δ時(shí)，有‖x（t）‖ε，t∈［t0-τ，T］，則稱(chēng)上述系統(tǒng)對(duì)于{δ，ε，T}是有限時(shí)間穩(wěn)定的.

引理1［8］：（推廣的GronwallBellman不等式）假設(shè)f，g∈C（J，R），且u∈C1（J，R），滿(mǎn)足u′（t）f（t）u（t）+g（t），t∈J，u（t0）u0.

則u（t）u0e∫tt0f（s）ds+∫tt0g（s）e∫tsf（r）drds，t∈J.

引理2［8］：（Minkowski不等式）令1

引理3［8］：（Jensen不等式）令k∈，且x1，x2……xk是非負(fù)的實(shí)數(shù)，那么∑kj=1xjqkq-1∑kj=1xjq，q>1.

2?GronwallBellman不等式在整數(shù)階雙時(shí)滯積分不等式中的推廣

假設(shè)f（t）、g（t）、k1（t）、k2（t）、h（t）、u（t）是定義在J上的連續(xù)非負(fù)函數(shù)，φ（t）是定義在［t0-τ2，t0］上的連續(xù)非負(fù)函數(shù)，τ2>τ1>0.令m（t）=h（t）g（t）+k1（t）g（t-τ1），n（t）=h（t）g（t）+k1（t）g（t-τ1）+k2（t）g（t-τ2），p（t）=h（t）f（t）+k1（t）f（t-τ1）+k2（t）φ（t-τ2），q（t）=h（t）f（t）+k1（t）f（t-τ1）+k2（t）f（t-τ2），M（t）=h（t）g（t），N（t）=h（t）f（t）+k1（t）φ（t-τ1）+k2（t）φ（t-τ2）.

定理1：若對(duì)上述函數(shù)滿(mǎn)足u（t）f（t）+g（t）∫tt0h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）ds，t∈J，u（t）φ（t），t∈［t0-τ2，t0］.

則當(dāng)t∈［t0，t0+τ1］時(shí)，u（t）f（t）+g（t）∫tt0N（s）e∫tsM（r）drds；（1）

當(dāng)t∈［t0+τ1，t0+τ2］時(shí)，u（t）f（t）+g（t）e∫tt0+τ1m（s）ds∫t0+τ1t0N（s）e∫t0+τ1sM（r）drds+∫tt0+τ1p（s）e∫tsm（r）drds；（2）

當(dāng)t∈［t0+τ2，T］時(shí)，

u（t）f（t）+g（t）e∫tt0+τ2n（s）dse∫t0+τ2t0+τ1m（s）ds∫t0+τ1t0N（s）e∫t0+τ1sM（r）drds+∫t0+τ2t0+τ1p（s）e∫t0+τ2sm（r）drds+∫tt0+τ2q（s）e∫tsn（r）drds.（3）

注：具體證明可通過(guò)對(duì)t進(jìn)行分類(lèi)討論，并結(jié)合引理1直接得出，在此不多贅述。

定理2：若滿(mǎn)足定理1的條件，f（t）、g（t）、φ（t）都是遞增函數(shù)，?f（t0）φ（t0），則u（t）f（t）e∫tt0g（t）［h（r）+k1（r）+k2（r）］dr，t∈J.

證明：當(dāng)t∈［t0，t0+τ1］時(shí)，由f（t）、g（t）、φ（t）是遞增函數(shù)且f（t0）φ（t0），可得g（t）∫tt0N（s）e∫tsM（r）drdsf（t）∫tt0g（t）［k1（s）+k2（s）+h（s）］eg（t）∫ts［h（r）+k1（r）+k2（r）］drds.因此，u（t）f（t）e∫tt0g（t）［h（r）+k1（r）+k2（r）］dr.當(dāng)t∈［t0+τ1，t0+τ2］時(shí)，由f（t）、g（t）、φ（t）是遞增函數(shù)且f（t0）φ（t0），可得f（t）+g（t）∫tt0+τ1p（s）e∫tsM（r）drdsf（t）e∫tt0+τ1g（t）［h（r）+k1（r）+k2（r）］dr.

則u（t）f（t）e∫tt0+τ1g（t）［h（r）+k1（r）+k2（r）］dr+g（t）e∫tt0+τ1m（s）ds∫t0+τ1t0N（s）e∫t0+τ1sM（r）drds

f（t）e∫tt0+τ1g（t）［h（r）+k1（r）+k2（r）］dr

1+∫t0+τ1t0g（t）［h（s）+k1（s）+k2（s）］e∫t0+τ1sg（t）［h（r）+k1（r）+k2（r）］drds

f（t）e∫tt0+τ1g（t）［h（r）+k1（r）+k2（r）］dr

e∫t0+τ1t0g（t）［h（r）+k1（r）+k2（r）］dr=f（t）e∫tt0g（t）［h（r）+k1（r）+k2（r）］dr.

同理可得，當(dāng)t∈［t0+τ2，T］時(shí)，u（t）f（t）e∫tt0g（t）［h（r）+k1（r）+k2（r）］dr.證畢.

3?GronwallBellman不等式在分?jǐn)?shù)階雙時(shí)滯積分不等式中的推廣

假設(shè)a（t）、b（t）、k1（t）、k2（t）、h（t）、u（t）是定義在J上的連續(xù)非負(fù)函數(shù)，φ（t）是定義在［t0-τ2，t0］上的連續(xù)非負(fù)函數(shù)，0<τ1<τ2，0<α<1，令q>1α，則存在p，使得1p+1q=1.在本節(jié)中，為了方便計(jì)算，記G（t）=4q-1bq（t）（t-t0）qα-1Γq（α）（pα-p+1）qp.

定理3：若對(duì)上述函數(shù)滿(mǎn)足u（t）a（t）+b（t）Γ（α）∫tt0（t-s）α-1h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）ds，t∈J，u（t）φ（t），t∈［t0-τ2，t0］.

當(dāng)a（t）、b（t）、φ（t）都是遞增函數(shù)且a（t0）41q-1φ（t0）時(shí)，u（t）41-1qa（t）e1q∫tt0G（t）hq（r）+k1q（r）+k2q（r）dr，t∈J.（4）

證明：根據(jù)Hlder不等式可知，當(dāng)t∈J時(shí)，∫tt0（t-s）α-1h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）ds

∫tt0（t-s）p（α-1）ds1p∫tt0h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）qds1q，結(jié)合引理2可得，

u（t）a（t）+b（t）Γ（α）∫tt0（t-s）p（α-1）ds1p∫tt0h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）qds1q

a（t）+b（t）（t-t0）pα-p+1pΓ（α）（pα-p+1）1p∫tt0［h（s）u（s）］qds1q+

∫tt0k1（s）u（s-τ1）qds1q

+∫tt0k2（s）u（s-τ2）qds1q

運(yùn)用引理3，可得uq（t）4q-1aq（t）+b（t）Γ（α）（pα-p+1）1p（t-t0）pα-p+1pq∫tt0h（s）u（s）qds

+∫tt0k1（s）u（s-τ1）qds

+∫tt0k2（s）u（s-τ2）qds}，滿(mǎn)足定理2的條件，則根據(jù)定理2可知，式（4）成立.證畢.

4?分?jǐn)?shù)階雙時(shí)滯微分系統(tǒng)的有限時(shí)間穩(wěn)定性

根據(jù)上述所得的結(jié)論，我們探索下述分?jǐn)?shù)階雙時(shí)滯微分系統(tǒng)的有限時(shí)間穩(wěn)定性.

cDαtx（t）=-Dx（t）+Af（x（t））+Bg（x（t-τ1））+Cg（x（t-τ2））+I（t），0tT，xi（t）=（t），-τ2t0.（5）

其中0<τ1<τ2，0<α<1，令q>1α，則存在p，使得1p+1q=1.存在M>0，‖I（t）‖M，‖‖=supt∈［-τ2，0］‖（t）‖.

在下文，總認(rèn)為以下條件成立：（H1）存在F>0，使得‖f（w）-f（u）‖F(xiàn)‖w-u‖，其中w，u∈Rn；（H2）存在W>0，使得‖g（w）-g（u）‖W‖w-u‖，其中w，u∈Rn.

由上述條件可得系統(tǒng)（5）的解x是存在的，且滿(mǎn)足

x（t）=x（0）+∫t0（t-r）α-1Γ（α）［-Dx（r）+Af（x（r））+Bg（x（r-τ1））+Cg（r（t-τ2））+I（r）］dr，0tT，x（t）=（t），-τ2t0.（6）

在下文，令G（t）=4q-1tqαΓq（α）（pα-p+1）qp，為了方便，不妨設(shè)f（0）=g（0）=0，當(dāng)非0情形，也有相同的穩(wěn)定性條件.

定理4：若滿(mǎn)足條件（H1）（H2），41-1qδ+TαMΓ（α+1）eG（T）q［（‖D‖+‖A‖F(xiàn)）q+（‖B‖W）q+（‖C‖W）q］ε，則系統(tǒng)（5）有限時(shí)間穩(wěn)定.

證明：ε>0，由方程組式（6）可得，‖x（t）‖‖‖+∫t0（t-r）α-1Γ（α）［（‖D‖+‖A‖F(xiàn)）‖x（r）‖+‖B‖W‖x（r-τ1）‖+‖C‖W‖x（r-τ2）‖+M］dr

‖‖+tαMΓ（α+1）+∫t0（t-r）α-1Γ（α）［（‖D‖+‖A‖F(xiàn)）‖x（r）‖+‖B‖W‖x（r-τ1）‖+‖C‖W‖x（r-τ2）‖］dr.

令u（t）=‖x（t）‖，a（t）=‖‖+tαMΓ（α+1），b（t）=1，h（t）=‖D‖+‖A‖F(xiàn)，k1（t）=‖B‖W，k2（t）=‖C‖W，φ（t）=‖‖，則u（t）a（t）+b（t）Γ（α）∫tt0（t-s）α-1h（s）u（s）+k1（s）u（s-τ1）+k2（s）u（s-τ2）ds，t∈［0，T］，u（t）φ（t），t∈［-τ2，0］.

顯然a（t）、b（t）、φ（t）都是遞增函數(shù)且a（0）41q-1φ（0）.結(jié)合定理3可知，如果‖‖δ，則‖x（t）‖41-1q‖‖+tαMΓ（α+1）e1qG（t）（‖D‖+‖A‖F(xiàn)）q+（‖B‖W）q+（‖C‖W）q，即‖x（t）‖ε.根據(jù)定義3可知，該Caputo分?jǐn)?shù)階雙時(shí)滯微分系統(tǒng)滿(mǎn)足有限時(shí)間穩(wěn)定性.證畢.

參考文獻(xiàn)：

［1］王小煥，呂廣迎，戴利杰.Gronwall不等式的推廣及應(yīng)用［J］.山東大學(xué)學(xué)報(bào)（理學(xué)版），2022，57（06）：94101.

［2］李郢辰.基于積分不等式的時(shí)滯系統(tǒng)穩(wěn)定性分析和控制［D］.華北電力大學(xué)（北京），2017，12：1117.

［3］許洺銖.兩類(lèi)時(shí)滯系統(tǒng)的穩(wěn)定性分析［D］.沈陽(yáng)師范大學(xué)，2022，407：145.

［4］潘超，王汝涼，龐健嬋.具有兩種滯量的不確定隨機(jī)時(shí)滯系統(tǒng)的穩(wěn)定性及魯棒控制［J］.南寧師范大學(xué)學(xué)報(bào)（自然科學(xué)版），2021，38（04）：2532.

［5］Zhang?G?D，Shen?Y，Yin?Q，et?al.Global?exponential?periodicity?and?stability?of?a?class?of?memristorbased?recurrent?neural?networks?with?multiple?delays［J］.Information?Sciences，2013，232：386396.

［6］李曉艷，任瑋，謝地，等.一類(lèi)ψCaputo分?jǐn)?shù)階微分方程解的存在性和UlamHyers穩(wěn)定性［J］.安徽大學(xué)學(xué)報(bào)（自然科學(xué)版），2023，47（01）：816.

［7］王姣，代群.帶有積分邊值條件的分?jǐn)?shù)階微分方程UlamHyers穩(wěn)定性［J］.數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2021，51（15）：250255.

［8］Du?F?F，Lu?J?G.New?criteria?on?finitetime?stability?of?fractionalorder?hopfield?neural?networks?with?time?delays［J］.IEEE?Transactions?on?Neural?Networks?and?Learning?Systems，2020，32（9）：38583866.

基金項(xiàng)目：江蘇省大學(xué)生創(chuàng)新創(chuàng)業(yè)訓(xùn)練計(jì)劃（批準(zhǔn)號(hào)：202211117078Y）

作者簡(jiǎn)介：陳范彬妍（2002—?），女，漢族，江蘇常熟人，本科在讀，研究方向：應(yīng)用數(shù)學(xué)。