关于蜕型面为特征的高阶微分算子的局部估计

§1 Hormander在[1]中证明了当m阶实系数的线性偏微分算子P关于曲面φ(x)=const是“拟凸”时,对任一有界区域Ω,存在常数μ_0,K_1,K_2,使得(?)μ≥μ_0,u∈C_C~∞(Ω),     

混合型方程边值问题解的存在性

芍1.引言 本文讨论。维欧氏空间中的混合型方程 加=al、,,+a“B、。二,+bl::‘+b。‘。+(e一仲)。=f,(1 .1)其中二=(叭,…,气),2簇“,刀《。.假定: I(i)(1.1)的系数在e上充分光滑,且ail(o,二)二o,all·t)0.当‘斗o时,(了B)正定. 文[3〕、〔4〕对。=2作了讨论.〔5〕对系数加了很苛刻的条件后,对。>2证明了码强解的存在性. (11)设C=公+U公_U刃。,其中 刃。=Gn{t二0},9刃。是充分光滑的(。一2)维曲面; 公十=G门王才<0},刁G十二刃。US十,S,是一充分光滑的(。一1)维曲面,且存在一常数不>0,使得召,。9万。x〔o月〕, G_二Gn{t>0},9仔_=刃。U…     

关于蜕化双曲型方程的一类边值问题

在研究带低阶项的Tricomi方程Tu≡yu_(?)+u_(yy)+au_(?)+cu=f (0.1)的边值问题时,经常会遇到在双曲型区域(y<0)上的下述边值问题.考虑下半平面上的区域Ω=Ω_l,其边界(?)Ω_l=AB∪γ∪γ+,其中AB为x轴上的直线段[0,l],γ+为过点B(l,0)的左向的特征线,记为即BC用x=x+(y)(-h≤y≤0)表示;γ=AC是方程(0.1)的空向曲线,或过A点的特征线,用x=x_(y)(-h≤y≤0)表示.所讨论的边值问题的边界条件: