|
输入h和V的形式,并使用γ输入∈公元前[0,T]*(t) >0我们有f或任何t∈ [0,T]thatarg supπ∈B{LπV(t,x)- γGπh(t,x)}=arg supπ∈B{uπ(bC)*(t)- γdC*(t) )- γbC*(t) ^g(π)Σ, πri)}=arg supπ∈B{uπAC*(t)- ^g(π)Σ, πR I)}。(5.23)如果t≤ T*, 然后AC*(t) =a-所以s(AC*(t) )≤ 0和0包含在(5.23)中的argsup中,而ift>t*, 然后AC*(t) >a-我们有s(AC*(t) )=supπ∈B{(π)-r) 交流电*(t)- ^g(π)Σ, πR I)}>0在π=CAC时达到*(t) =Ca*(t) =C*(t) 。引理5.5的证明。证明依赖于将Schauder的定点定理++应用于地图F:A→ 由f7给出的C([0,T],R)→ Ff,其中A表示连续函数的集合f∈C([0,T],R)使得(a)f(T)=γ-1和(b)对于所有s,t∈ [0,T]带s≤ t我们离开(t)- f(s)∈ [χ-(t)- s) ,χ+(t- s) 其中χ+:=s up{^g(c)∑,cRI):c∈ B} ,χ-:= inf{^g(c)∑,cRI):c∈ B} 。我们注意到χ+和χ-通过驱动函数^g的正性,它是严格正的。它是向前验证F映射sa到A,并且集合A是C([0,T],R)的非空的,闭合的,有界的和凸的子集。由于F是紧的(正如我们在下面证明的),Schauder的不动点理论得出,存在一个元素a*∈ 这样的*= Fa*.接下来,我们通过证明(i)F是连续的(关于[0,T]上的上范数)和(ii)集F(A)={Ff:F来证明F是紧的∈ A} 在C([0,T],R)中相对紧凑。(i) 让(fn)n A收敛到f∈ A在最高标准中。然后我们得到了Tfn(t)(c)→ Tf(t)(c)as n→ ∞ 在t中一致∈ [0,T]对于任何c∈ B、 和苏电脑∈BTfn(t)(c)→ supc∈BTf(t)(c)表示任何∈ [0,T]。由于(fn)和f严格地依赖于一个递增式,并且假设5.4有效,我们有许多t,使Tfn(t)(c)和Tf(t)(c)在B在唯一c.因此,它在arg supc紧随其后∈BTfn(t)(c)→ arg supc∈BTf(t)(c),代表a.e。
|