R^3上的一类非齐次薛定谔-泊松系统解的存在唯一性.pdfVIP

第30卷第9期 重庆工商大学学报(自然科学版) 2013年 9月 V01．30 NO．9 JChongqingTechnolBusinessUniv．(NatSeiEd) Sept．2013 文章编号：1672—058X(2013)09-0006-04 上的一类非齐次薛定谔一泊松系统解的存在唯一性术 丁 凌，孟义杰，张丹丹 (湖北文理学院 数学与计算机科学学院，湖北 襄阳441053) 摘 要：用变分方法中的极小定理和一些分析技巧证明了一类非齐次薛定谔一泊松 系统在R 上的解是 存在的并且是惟一的． 关键词：薛定谔-泊松 系统；极小定理；解的存在唯一性 中图分类号：0176．3 文献标志码： 考虑如下一类无界区域上的非齐次薛定谔一泊松系统： f M。 “)， R (1) 【一△ ／Z ， ∈R 其中 ，：R。一R，n∈L (R) ：R—R是连续函数，h∈L(R)．此处将研究系统解的存在唯一性性质．此系 统源于物理，根据经典的物理模型，电磁场里带电电荷的相互作用可以用一个非线性 SchroSdinger方程和一 个泊松方程的耦合来描述，这方面的内容可参阅文献[13]． 到 目前为止，有大量的文献研究问题(1)．例如，当 ；O，系统(1)就退化成单个的Schrodinger方程 一 △u+M+ u=0() u)+h(x)， ∈R (2) 在 h() 0(齐次情形) 的各种情况 (超线性、次线性、渐近线性)下都有人研究问题 (2)解的存在性 ． 当问题(2)中 ()≠O(非齐次情形)，解的存在性也有很多人研究 ．当 ≠0，就是系统(1)；齐次的非齐 次的分别见文献[9，10]，都是在厂是渐近线性的情况下得到系统(1)的解的存在性结论．在上述文献中都只 研究了解的存在性结论，而在此处将给出系统 (1)在下面的假设下可以得到解的存在唯一性结论．假设 如下 ： (a)口∈L(R)，且存在一个常数 ，使得a()≥MOa．e_∈R。成立． (b)h∈L(R )． (c)／：R—R是一个连续函数，满足 t)t≤0，(I厂(t)一 s))(t—s)≤0Vt，s∈R (3) 且存在 口，b0使得 l，(t)l≤0ltl+bltl (4) 对任意的 ￡ER都成立．满足上述条件的函数 0，h，f是存在的．比如：存在正数 R。，0()=h()= 『+1， 1l≤尺n {0， R。，)=-arctant,t~R． 收稿 日期：2013-03-27；修回日期 ：2013-04—20． 基金项目：国家 自然科学基金青年基金；湖北省教育厅科学研究计划重点项 目( 作者简介：丁凌(1975．)，女，湖北襄阳人，副教授 ，博士，从事非线性分析的研究． 第9期 丁凌，等：R 上的一类非齐次薛定谔．泊松系统解的存在唯一性 7 采用变分方法对系统 (2)进行研究，这种方法是非常有效的方法 ]． 在给出主要定理及其证明前，先给出一些记号、约化泛函及一些不等式． 日(R)，D (R)是Sobolev空间，范数分别定义为 ll=[f。(IVuJ+“)dx]寺，u∈日(R) llMlJDl，z=(flVuI )寺，∈D (R) 另外记 lI．I1表示 (R)(1≤p≤∞)范数．系统(1)对应的能量泛函为J：H(R)×D (R) R，具体表达 式为t，(，)= (1I+II)+丢，“一口()F