|
通过Sobolev的嵌入(参见Adamsand Fournier(2003)中的定理4.12),Д±是连续函数,而Д(z)=ezZz公司-∞ν(dx)=ezν((-∞, z] ),z<0-埃兹+∞zν(dx)=-ezν([z+∞)), z>0。那么,z 7→ ν((-∞, z] )和z 7→ ν([z+∞)) 是连续函数。根据Kindermann和Mayer(2011)中的命题5.2,ν可以表示为ν(dx)=1+xxu-(dx),x<01+xx(1+xex)u+(dx),x>0,其中u+和u-是在(0+∞) 以及(-∞, 分别为0)。这意味着,z 7→ u-((-∞, z] )和z 7→ u+([z+∞)) 是连续函数,这意味着它们对于Lebesgue测度是绝对连续的。参见Dunford和Schwartz(1958)中的Lemma III.4.13。因此,存在可积函数h±,这样h-(x) dx=u-(dx)和h+(x)dx=u+(dx)。定义h∈ L(R),使得h|(-∞,0)=h-和h |(0+∞)= h+。引理2。地图h∈ 左(右)7-→ φ ∈ L(R)是紧的。证据设序列{(h-,n、 h+,n)}n∈n弱收敛到某些(h-, L中的h+(-∞, 0)×L(0+∞). 定义νn(z)=Zz公司-∞(ez- ex)1+xxh-,n(x)dx,z<0Z+∞z(ex- ez)1+xx(1+xex)h+,n(x)dx,z>0,对于每个n∈ N和Д=Д(u-, u+,以同样的方式。很容易看出Д+=Д|(0+∞)∈W1,1(0+∞) 和Д-= φ|(-∞,0)∈ W1,1(-∞, 0). 还应注意,根据假设,ν+,n∈W2,1(0+∞) 和Д-,n∈ W2,1(-∞, 0). 因此,通过Sobolev的嵌入(见定理4.12 inAdams和Fournier(2003)),ν+,n,ν+∈ L(0+∞) 和Д-,n、 ^1-∈ L(-∞, 0).估算值|Д-,n(z)- φ-(z)|=Zz公司-∞(ez- ex)1+xx(h-,n- h类-)(x) dx公司→ 0,几乎适用于(-∞, 0),自(ez)-ex)1+xxis英寸∞(0, +∞). 类似地,|Д+,n(z)-Д+(z)|→ 0几乎无处不在。根据单调收敛定理,断言如下。由于将h与Д关联的映射是紧的,因此相应的逆问题是不适定的。
|