Beurling型ω-超可微函数空间的一些判别条件.pdfVIP

山西师范大学学报 (自然科学版) 第23卷第 1期 JournalofShanxiNormalUniversity VoI．23 No．1 2009年 3月 NaturalScienceEdition Mar．2oo9 文章编号：1009-4490(2009)01-0031-04 Beurling型 一超可微函数空间的一些判别条件 赵适红，韩 晶 (晋城职业技术学院，山西 晋城048000) 摘 要：本文利用 Fourier—laplace变换对 Beurling型超可微函数空间8()()和试验函数空间D()() 的性质进行了讨论，并给出了其上的一些等价的判别条件． 关键词：加权函数 ；Fourier-laplace变换；∞-超可微函数； 试验函数 中图分类号：0174 文献标识码：A 0 引言 上世纪五十年代以来 ，由于广义函数的出现，使偏微分方程的理论有了突飞猛进的发展．从六十年代 起，出于不同问题的需要，人们对广义函数的概念进行了各种形式的扩张_l，2J．RMeise，BATaylor，D Vogt，JBonet等通过适当地改变由Beurling，Retzsche和Vogt引入的超可微函数条件，给出了Beurling型 超可微函数空间 占()(12)和Beurling型试验函数空间D()()，以及相应的超广义函数空间 ()()和 D㈨ ()，并对其上的Fourier变换，卷积算子和线性偏微分算子理论进行了研究 ]． 本文利用Fourier-laplace变换对Beurling型超可微函数空间s()(力)和试验函数空间D()()的性 质进行了讨论，得到下列结论： 定理 设 为一加权函数，为R 中的开凸集，那么，下列条件等价： (1)f∈D。，()； (2)存在力中紧集 ，使得 suppfcK，且对任意的自然数m有 I l suP，supvI ()Iexp(一m ( ))∞ n E 』 e K “ ，J ‘ (3)对任意的m ∈N，存在C0，使得对于所有的 ∈C ，有 ^ I厂()I≤Cexp( (Imz)一m~o(z)) 1 预备知识 在本节中，我们给出一些定义，这些对于本文的主要定理的证明是至关重要的． 定义 1 设 为R 中的非空子集，记 (，，)= ， ， (y)称为 的支撑函数，其中 _sue Y Ⅳ ，Y=∑xiy． i=1 定义2 设 为R 中的开集． (1) 上任意次连续可微函数全体，在半范数 II厂lI =suPsuPI ()I (K为 中任意紧集， ． E ^ In I每 m m∈埘．)下成为一Freehet空间，记之为c ()或 ()． 收稿 日期 ：2008—10．11 作者简介：赵适红(1969一)，男，山西晋城人，晋城职业技术学院讲师，硕士，主要从事基础数学教学方面的研究 山西师范大学学报 (自然科学版) 2009拄 (2) ()(占(R ))中