|
Carletti 7那么k(x,t)是(5)的正解,初始条件为(6),当且仅当h(x,t)是ht=hxx的正解- γ(x,t)(x,t)∈ Ohm , (11) 初始条件相同(6),其中γ(x,t)=e-RtA(s)dsc(x,t)。定理1和定理2的证明由以下步骤构成。我们首先找到了一个正式的解决方案,即aFo urier系列,该系列按顺序排列,有多种解决方案(5)。命题1(形式解)让我们定义,对于任何正整数n,λn=nand,对于(x,y,t)∈ T×R+,格林函数g(x,y,T)=Xn≥0e-λntcos[n(x- y) ]。(12) 那么函数h(x,t)由h(x,t)=πZπ给出-πG(x,y,t)k(y)dy-πZtdsZπ-πG(x,y,t)- s) γ(y,s)dy,(13)是式(11)的形式解。第二步是证明前一个命题提供的解实际上是经典解。命题2(经典解)在上述假设下,函数G(x,y,t),分别为h(x,t),在t×[0]中是连续的+∞), 分别为T×[0+∞), 在T×(0)中可二次微分+∞), 分别为t×(0+∞).第三步是证明经典解的唯一性:命题3(唯一性)初始条件为k(x,t)=k(x)的等式(11)的经典解是唯一的。考虑到上述结果,并使用引理1,我们可以得出以下结论:k(x,t)=h(x,t)eRtA(s)ds(14):=eRtA(s)dsπZπ-πG(x,y,t)k(y)dy-πZtdsZπ-πG(x,y,t)- s) γ(y,s)dy,是(5)的唯一经典解,初始条件为k(x)。证明定理1的最后一步是证明(14)给出的解对于所有(x,t)都是非负的∈ Ohm,也就是说,描述资本存量在时空中演化的函数k(x,t)处处都是非负的。
|