• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    有記憶項的弱退化波方程的精確零能控性

    2019-08-17 07:59:56劉瑞娟
    關(guān)鍵詞:算子證明定義

    劉瑞娟

    (山西大學(xué) 數(shù)學(xué)科學(xué)學(xué)院, 太原 030006)

    本文研究有記憶項的弱退化波方程的精確零能控性:

    (1)

    退化偏微分方程具有可變耗散系數(shù)算子,使得方程在空間區(qū)域上是不一致的,而且退化可以發(fā)生在邊界的一部分,也可以發(fā)生在空間區(qū)域的子流形上,這使得研究這一類偏微分方程的精確能控性問題比較困難。 為了克服這一難點(diǎn), 近年來研究退化偏微分方程的能控性問題,常用的方法有乘子法、矩方法、Carleman 估計等。

    退化拋物型方程的控制問題在近10年來得到了廣泛的關(guān)注,已經(jīng)有很多研究結(jié)果[1-6],但目前為止對退化波方程的研究比較少。文獻(xiàn)[7]利用HUM(hilbert unique method) 推導(dǎo)出退化波方程utt-(a(x)ux)x=0的狄利克雷邊界精確能控性,其中波的傳播速度a(x)稱為耗散系數(shù)。對于更一般的情形,即a(x)=xα, 文獻(xiàn)[8]通過對相應(yīng)橢圓算子的譜來處理相關(guān)矩問題,推導(dǎo)出其對偶系統(tǒng)的能觀測性不等式,證明了退化波方程utt+(xαux)x=0在退化點(diǎn)x=0處的狄利克雷邊界精確能控性結(jié)果。 然而,在物理意義下,退化波在端點(diǎn)x=0處的傳播速度為0,若控制作用在該點(diǎn)上,那么它對整個波幾乎沒有影響。 但是當(dāng)作用在非退化邊界時,對整個波的影響是持續(xù)的。 基于此,文獻(xiàn)[9]利用文獻(xiàn)[7-8]的方法證明了控制作用在非退化邊界時的精確能控性問題。

    對于有記憶的非退化波方程, 文獻(xiàn)[11-12]得到了一些精確能控性的結(jié)果,而對于有記憶項的退化方程研究很少。文獻(xiàn)[10]利用矩方法研究了有記憶項的弱退化拋物方程的近似零能控。 為了研究有記憶的耗散項對弱退化波方程零能控的影響,本文利用文獻(xiàn)[11-12]的方法處理記憶項,進(jìn)而得到有記憶項的弱退化波方程的精確零能控性。

    1 預(yù)備知識

    對任意的α∈[0,1),定義空間

    (2)

    由Hardy-Poincaé不等式[6]

    可得:

    (3)

    其中常數(shù)Cα>0。

    (4)

    首先,給出精確零能控的定義。

    下面給出本文的主要結(jié)果:

    2 解的適定性

    由文獻(xiàn)[13]的方法給出系統(tǒng)(1)弱解的定義。

    定義2若對任意的f∈L1(0,T;L2(0,1))且滿足

    則稱函數(shù)

    是系統(tǒng)(1)的弱解, 其中y滿足如下方程:

    (5)

    按文獻(xiàn)[7]的性質(zhì)4.2的證明,可得系統(tǒng)(5)有如下性質(zhì):

    且滿足

    C‖f‖L1(0,T;L2(0,1))

    (6)

    證明設(shè)f∈L1(0,T;L2(0,1)),則由性質(zhì)1可得

    C‖f‖L1(0,T;L2(0,1))

    (7)

    結(jié)合跡定理,可得

    (8)

    方程(1)兩邊同乘y,在Q上積分,可得

    在空間L1(0,T;L2(0,1))上定義算子

    (9)

    由H?lder不等式以及式(7)(8),可得

    ‖θ‖L2(0,T))‖f‖L1(0,T;L2(0,1))

    因此,L是空間L1(0,T;L2(0,1))上的有界算子,即存在u∈H滿足式(9),則式(6)成立,證明完畢。

    3 能觀測性不等式

    首先,考慮系統(tǒng)(1)的對偶系統(tǒng):

    (10)

    為了計算方便,設(shè)φ(x,t)=ψ(x,T-t),則

    (11)

    設(shè)

    be-a(t-s)(a,b>0)

    則ηt(t)=bφ(t)-aη(t),故系統(tǒng)(11)可寫為:

    (12)

    定義系統(tǒng)(12)的能量如下:

    (13)

    由η(0)=0可知:

    exp(-δt)E(0)≤E(t)≤exp(δt)E(0)

    (14)

    證明因?yàn)?/p>

    由(3)和Young不等式,可得

    (15)

    (16)

    -δE(t)≤E′(t)≤δE(t)

    (17)

    從0到t積分式(17),可得式(14)成立,證明完畢。

    (18)

    證明由式(12)兩邊同乘xφx,在Q上積分,可得

    (19)

    利用Young不等式有

    (20)

    其中常數(shù)ε,Cε>0。結(jié)合引理1估計等式(19),可得式(14)成立,證明完畢。

    注記1事實(shí)上,式(18)表明φx(1,·)∈L2(0,T)。

    下面證明系統(tǒng)(12)的能觀測性不等式。

    (21)

    證明由式(15)兩邊同乘η,在Q上積分,可得

    (22)

    將式(19)和(22)相加,有

    (23)

    結(jié)合式(13)(23)可寫為

    (24)

    由式(15)(20)以及引理1可得

    取足夠小的a、b、ε,使得

    (25)

    其中0<γ<(2-μ)(1-exp(-δT))/δ。

    將不等式(14)的左邊在(0,T)上積分,可得

    (26)

    由式(25)和(26)有

    ((2-μ)(1-exp(-δT))/δ-γ)E(0)≤

    4 精確零能控性

    下面證明系統(tǒng)(1)是精確零能控的。

    定理1的證明

    考慮如下系統(tǒng):

    (27)

    式(27)乘以φ,在Q上積分, 其中φ滿足系統(tǒng)(11),可得

    (28)

    因此,可以選擇θ(t)=φx(1,t)。

    定義映射

    即Λ(φ0,φ1)=(u1,-u0),則式(28)可以寫為

    猜你喜歡
    算子證明定義
    獲獎證明
    擬微分算子在Hp(ω)上的有界性
    判斷或證明等差數(shù)列、等比數(shù)列
    各向異性次Laplace算子和擬p-次Laplace算子的Picone恒等式及其應(yīng)用
    一類Markov模算子半群與相應(yīng)的算子值Dirichlet型刻畫
    Roper-Suffridge延拓算子與Loewner鏈
    成功的定義
    山東青年(2016年1期)2016-02-28 14:25:25
    證明我們的存在
    證明
    小說月刊(2014年1期)2014-04-23 08:59:56
    修辭學(xué)的重大定義
    闽侯县| 贺兰县| 南川市| 景宁| 杭锦旗| 无为县| 荆州市| 隆回县| 通渭县| 浦城县| 金堂县| 砚山县| 綦江县| 丰都县| 民和| 德州市| 枣庄市| 双柏县| 湖南省| 涞水县| 普宁市| 苏尼特右旗| 女性| 玉林市| 阿拉善盟| 天镇县| 新邵县| 灵武市| 青冈县| 大丰市| 黎川县| 黄石市| 保靖县| 邹平县| 荔浦县| 九龙坡区| 锦州市| 澄江县| 乐至县| 漳州市| 台南县|