|
后面的函数定义得很好,因为V(0)在x中严格递增且严格凹,因此ξ是x的严格递增函数。通过将方程(2.3)视为“线性”方程(2.9)V(0)t+kλ(y)kV(0)xV(0)xx!V(0)xx- kλ(y)kV(0)xV(0)xx!V(0)x=0,系数取决于V(0),计算d-er-ivativesV(0)t=w(0)t+kλ(y)kw(0)ξ-V(0)xV(0)xx十、- 2.,(2.10)V(0)x=w(0)ξ-V(0)xxV(0)x,(2.11)V(0)xx=w(0)ξξV(0)xxV(0)x+ w(0)ξV(0)xxV(0)xV(0)xV(0)xxx、 (2.12)正向性能过程7,将(2.10)、(2.11)和(2.12)插入(2.9),我们得到了(0)t+kλ(y)kV(0)xV(0)xx!w(0)ξV(0)xxV(0)x+w(0)ξ-V(0)xV(0)xx十、-kλ(y)kV(0)xV(0)xx!w(0)ξ-V(0)xxV(0)x= 这很容易简化为坐标(t,ξ,y)中的(2.13)w(0)t+kλ(y)kw(0)ξξ=0。类似的计算f或w(1)表明,在新变量中,(2.6)转化为(2.14)w(1)t+kλ(y)kw(1)ξξ=κλ(y)tρtλ(y)tλ′(y)w(0)ξξξξ。因此,为了获得(2.14)的右侧,我们基于以下两个考虑:(a)从(2.5)中注意到,u在t中是可微分的,utis在x中是可微分的,假设λ的平滑度,这意味着w(0)在y中是可微分的。然后,通过在y中微分(2.13)并重新排列,可以得到w(0)yt+kλ(y)kw(0)yξξ= -λ(y)Tλ′(y)w(0)ξ。此外,后一个方程的初始条件为w(0)y(0,ξ,y)=0,其唯一解为w(0)y=-tλ(y)tλ′(y)w(0)ξξ(注意解的唯一性是Widder定理的结果)。在原始坐标中,该解的读数为(2.15)V(0)y=-tλ(y)tλ′(y)V(0)xV(0)xxxV(0)xV(0)xx。(b) 此外,通过使用(2.11),(2.12)对e fiftsw(0)ξ=-V(0)xV(0)xxV(0)xV(0)xxxV(0)xV(0)xxx、 (A)和(b)的组合给出了(2.14)的右侧。
|