拟线性双曲组一类非局部混合初一边值问题的半整体C^1解.pdfVIP

维普资讯 高校应用数学学报A辑 App1．Math．J．ChineseUniv．Ser．A 2006，21(1)：49—6O 拟线性双曲组一类非局部混合初一 边值问题的半整体Cl解 徐玉兰 (上海大学数学系，上海 200444) 摘 要：在研究拟线性弦振动方程带第三类边值问题的精确边界能控性时，出 现 了拟线性双曲组一类非局部混合初 边值 问题．论文先证明该类非局部混合 问题 局部C 解的存在惟一性，并考察其存在高度的性质，进而利用一致先验估计证明 半整体 c 解的存在惟一性，并以此为基础研究相应问题的精确边界能控性，最后 为便于应用，将论文的结论写成了可化约方程组的情形． 关键词：半整体解；非局部；混合初一边值 问题 ；拟线性双曲组 中图分类号 ：O175．27 文献标识码 ：A 文章编号 ：1000—4424(2006)01—0049—12 §1 引 言 在[1，2]中我们看到，拟线性双曲组混合初一边值问题半整体 c解的存在惟一性是研究 其精确边界能控性的重要基础．在研究非线性弦振动方程带第三类边值的单边精确边界能 控性时 ]，需要借助一类拟线性双 曲组的非局部混合初一边值问题半整体 c 解的存在惟一 性．在本文中，将对一般 的拟线性双 曲型方程组证明该类非局部混合初一边值问题的半整体 c 解的存在惟一性，并以此为基础，研究相应问题的精确边界能控性． 在区域 R(7。)一{(￡，)lO≤f≤T。，O≤ ≤1)上考虑如下形式的方程组 + A (“)du— F(“) ， (1．1) q 【 q Z 其 中 “一 (“…，“)为 自变量 (，z)的未知向量函数 ，A(“)是 阶阵，其元素 a (“)(，J 1，…，)为 “的适 当光滑函数，F(“)===(F (“)，…，F (“))为 “的适当光滑向量 函数 ，且 F(O)一 0． (1．2) 根据双曲型的定义 ，对于在所考察 区域中任一给定的 “值 ，A(“)具有 个实特征值 (“)，…， (“)以及一组完全的左 (相应地，右)特征向量系 ，(“)一(z(“)，…， (“))(resp． 收稿 日期 ：2005—04—11 维普资讯 5O 高校 应 用数 学 学报 A辑 第21卷第 1期 Ti()= 1()，… ，Ti())丁)(一1，… ，7z)： () ()===Ai()Z()(resp．A (u)r()= ()r()) (= 1，… ，7z)． 不妨设 li()rJ()三 fJ； r ()r()兰 1 (，J= 1，…，)， (1．3) 其中 u为Kronecker记号． 假设在所考察的区域上满足如下的定向性条件 () 0 ()， (，．一 1，… ，m； — m + 1，… ，) (1．4) 其中O≤ ≤ 是给定正整数． 给定初始条件 t一 0：= (z) (O≤z≤ 1) (1．5) 以及如下的非局部边界条件 ， rt