紧正交映象的零点定理.pdf

第 1l卷 第 4期 兰喜 V0D1．e1c1．19N99n4 1999年 12月 文章编号 1999)04—008804 q， 紧正交映象的零点定理 一 0l-7|6 张志强 (兰州大学数学系，兰州 730000) 0／77,弓 摘 要： 在拓扑线性空间下，提出并证明了一个紧正交映象零点定理 ，作为应用讨论 了下列二阶拟线性椭 圆型边值 问题 l∑D(0，u)D )：f(x，，V ) ‘ 一 II∞一0 ∈甘 (n) 在解除了关于 的对称性假设、有界性假设和，的次线性假设、单调性假设的睛·况 下，给出了一个弱解存在定理 ，推广和改进了现有的结果。 分萎类莩号：0175．2 文献标识码：：A哩 雪点、—理E卫、 1紧正交映象的零点定理 确 圉翟垃值J ， 设 x是 Hausdorff拓扑线性空间， 是 x的超 1维线性子空间， 是 的线性对偶。 定义 1．1 称映象F：x— 是紧正交的，如果 1) F是逐点连续的，即对任意的 ∈V，作用泛涵 一F )，在 x上连续； 2) F的正交核是相对紧的，即集合 = {∈VfF )，=0) (1) 是 x 中的相对紧集 定理 1．1 设F：x— 是紧正交映象贝4存在 Ex．使得F()=0 证 先证 dimV~+oo时，命题成立 。 由于 dimV~+o。，故可设 上有 内积(·，·)。根据 Riesz表示定理及F的逐点连续性可 知，存在连续映象 ，：— ，使得 (／()，)=F )， (2) 对一切 ，∈V成立 。 由(1)可知，0∈K， ={∈VI(， )，)一0)并且 是 中的紧集 。取 中的有界凸开 集n，使得K[n，则 ∈a0时，恒有 (／ )，z)≠O (3) 由 的超 1维假设和n的凸性知，加 连通 ，再根据 ，的连续性和 (3)式，可不妨设 ∈加 蕴含 (，()，)0 (4) 收稿 日期 ：1999一。卜 1l 第 n 卷 张志强，譬正变映象的零点定理 89 于是锐角原理 “成立 ，故存在 ∈n，使得 ，()一O，亦即F()一0 下证 dimV=+。。时，命题成立。 对任意的p6V，令 一 (x6 lF )，一O) (5) 则 {G，lp6 }是紧集族并且具有有限交性质。 事实上，设 P，Pz，…，A∈V，E=Span{A ，P：，…，A)，并且d~El。 若记K 一 (∈KlF(z)，z一0l则有K [K，并由F的逐点连续性可知K 是 E中 的紧集，根据第一步证明结果知，存在XE6E，使得 F(x)l一0。这表明 F(E)，E =0，F(E)，A 一 0 (6) 对一切 一1，2，… ，成立 ，故有