黃翠,王彩俠,張明翠,王淑莉
(中國(guó)礦業(yè)大學(xué)理學(xué)院,江蘇徐州 221008)
雙參數(shù)C-半群
黃翠,王彩俠,張明翠,王淑莉
(中國(guó)礦業(yè)大學(xué)理學(xué)院,江蘇徐州 221008)
引入單參數(shù)C-半群和雙參數(shù)C0-半群,給出了更一般的雙參數(shù)C-半群和無窮小生成元的定義,應(yīng)用雙參數(shù)半群與單參數(shù)半群的關(guān)系和雙參數(shù)半群的性質(zhì),給出了雙參數(shù)C-半群的階全微分,偏微分,指數(shù)有界性,和雙參數(shù)C-半群是由C、A1和A2唯一確定的閉稠定線性算子的一個(gè)充分條件.
雙參數(shù)C-半群;全微分;偏微分;指數(shù)有界;閉稠定線性算子
滿足某些條件的算子半群是對(duì)應(yīng)抽象柯西問題(ACP)的解.目前算子半群已經(jīng)被應(yīng)用生物、物理、計(jì)算機(jī)、交通等領(lǐng)域.因此,研究一些算子半群的性質(zhì)是非常必要的.前人對(duì)C0-半群的性質(zhì),擾動(dòng)和逼近,穩(wěn)定性已經(jīng)做了很深入的研究,得到了很多有用的結(jié)果.對(duì)于更一般C-半群和雙參數(shù)C0-半群也有一些研究,但是沒有像C0-半群理論那么深入,尤其是擾動(dòng)和逼近、穩(wěn)定性.本文根據(jù)C-半群和雙參數(shù)C0-半群,定義更一般的雙參數(shù)C-半群,并對(duì)它的全微分和偏微分,指數(shù)有界性和閉稠定性做了詳細(xì)的研究.
定義2.5[3]設(shè)S是R中的點(diǎn)集,如果點(diǎn)集S在每個(gè)非空的開集中都不稠密,就稱S是疏朗集或稱無處稠密集.
引理2.1[3]點(diǎn)集S是疏朗集的充要條件是在任何開區(qū)間(α,β)中存在開區(qū)間(α′,β′)?(α,β)在開區(qū)間(α′,β′)中沒有S中的點(diǎn).
引理2.2[3]疏朗集的余集一定是稠密集.
證明設(shè)映射L:R2→L(x),如果存在某個(gè)線性變換L使得(s,t)∈U(0,0)點(diǎn)(0,0)的某個(gè)領(lǐng)域時(shí)有T(s,t)-T(0,0)=L(s,t)+R(s,t),其中
則T(s,t)作為二元函數(shù)在(0,0)處的微分dT(s,t)|(0,0)存在.
設(shè)A1、A2分別是C-半群{T(s,0)}s≥0和{T(0,t)}t≥0的無窮小生成元,令
[1]陳文忠.C-無窮小生成元的表示式[J].廈門大學(xué)學(xué)報(bào):自然科學(xué)版,1993,32(2):135-140.
[2]Al-Sharif Sh,Khalil R.On the generator of two parameter semigroups[J].Applied Mathematics and Computation,2004,156:403-414.
[3]張鳴歧.應(yīng)用泛函分析引論[M].北京:北京理工大學(xué)出版社,1989.
[4]黃永忠.算子半群與應(yīng)用[M].武漢:華中科技大學(xué)出版社,2011.
[5]Li Y C,Shaw S Y.On characterization and perturbation of local C-semigroups[J].Proceedings of the American Mathematical Society,2007,1(1):1097-1106.
[6]Shaw S Y,Kuo C C.Generation of local C-semigroups and solvability of the abstract Cauchy problems[J]. Taiwanese Journal of Mathematicas,2005,9(2):291-311.
[7]陳闖,宋曉秋,李曉敏.C-半群Lyapunov方程的自伴解與穩(wěn)定性[J].南京大學(xué)學(xué)報(bào):數(shù)學(xué)半年刊,2008,25(1): 86-93.
[8]宋曉秋.應(yīng)用泛函分析[M].徐州:中國(guó)礦業(yè)大學(xué)出版社,2013.
Two parameter C-semigroups
Huang Cui,Wang Caixia,Zhang Mingcui,Wang Shuli
(College of Science,China University of Mining and Technology,Xuzhou221008,China)
According to the C-semigroup and two parameter C0-semigroups,this paper gives the definition of a more general two-parameter C-semigroup,infinitesimal generator,two parameter C-semigroup′s total differential and partial differential.It is exponentially bounded.With the complement of C-semigroup′s domains lichtung setes,proof the two parameter C-semigroups is uniquely determined by the C,A1and A2,whose infinitesimal generator is densely defined and closed linear operator.
two parameter C-semigroups,total differential,partial differential,exponentially bounded, densely defined and closed linear operator
O177.2
A
1008-5513(2013)03-0299-07
10.3969/j.issn.1008-5513.2013.03.012
2012-11-06.
高水平論文專項(xiàng)基金(2012LWB53).
黃翠(1986-),碩士生,研究方向:泛函分析與應(yīng)用泛函分析.
2010 MSC:47A62