|
我们可以说函数u:[0,T]→ X是F的初值问题(9)的强解∈ C([0,T];X)如果(i)u对于X上的范数拓扑是连续的,且u(0)=h;(二)tu=u′作为函数(0,T)定义为连续函数→ 十、(iii)u(t)∈ D(P)代表t∈ (0,T];和(iv)满足方程图(t)- pu(t)=F(t)∈ 十、 对于t∈ (0,T)。我们还需要以下较弱形式的解。定义2.11.函数u:[0,T]→ 如果h,则X被称为初始值问题(9)的温和解决方案∈ 十、 F∈ L([0,T],X),andu(T)=etPh+Zte(T)-τ)PF(τ)dτ,在时间t上,等式作为X的逐点元素∈ (0,T)。SABR 7以下注释回顾了半群与初值问题(9)的各种解之间的联系。备注2.12。对于这项工作中感兴趣的应用,我们可以导出齐次方程,即F(0)=0,正如我们现在假设的那样。我们还假设运算符P生成一个csemi gro up etPon X。那么u(t):=etPh是任何h的mild解∈ X.如果,更多,h∈ D(P)或者如果P生成解析半群,那么u(t):=etPh也是方程(9)的强解(例如,参见[2,41,47])。我们感兴趣的是当P是定义在一个域上的m阶偏微分算子的情况Ohm Rd:(10)P:=X |α|≤maαα、 系数aα∈ C∞(Ohm). 我们偶尔会使用方便的符号:u(t)(q):=u(t,q),t≥ 0和q∈ Ohm ,这与(9)是一致的。当P=L时,作用于L(Ohm), Ohm = (0, ∞) x R,F=0,h(σ,x):=|ex- K |+,我们恢复了初值问题(1)。在这种情况下,我们对经典解和弱解感兴趣。我们假设X是X上的函数空间,也就是X 洛克(Ohm). 我们还假设Pc的do main包含具有紧支撑的光滑函数空间Ohm, 因此,它的伴随物满足了同样的要求。定义2.13。
|