伪微分算子的Lp连续性

本文证明了由L.Hrmander引进的S^m类伪微分算子的L^p连续性.对于S^m类算子的符号p(x,ξ)既没有要求对于ξ的齐次性,也没有要求对x在无穷远处的稳定性,所有这些结论建立在Bessel位势产生的广义函数空间上,作为一个推论,给出了L.Hrmander提出的一个问题的部分肯定解答:设p(x,ξ)∈S^m,1<q≤r<∞,m≤-n(1/q　-1/r),则|p(x,D)u|_L^r≤C|u|_L^q,其中C是一个常数。     

拟线性抛物方程组第一边界问题的有限差分法

本文利用有限差分法来作出拟线性抛物方程组u_t=(-1)^M+1A(x,t,u…,u_x^M-1)u_x^2M+F(x,t,u,…,u_x^2M-1) (1)具有齐次边界条件u_xk(0,t)=u_xk(l,t)=0 (k=0,1,…,M-1) (2)与初始条件u(x,0)=φ(x) (3)在矩形区域Q_T={0≤x≤l,0≤t≤T}上的解,其中u=(u₁,…,u_m),φ(x)与F为m维向量值函数,A为m×m正定矩阵。证明了问题(1),(2)与(3)的一类相当广泛的有限差分格式的解的收敛性。所得向量值极限函数u(x,t)∈W₂^2M,1(Q_T)是问题(1),(2),(3)的唯一广义整体解。     

小区间上的素变数三角和估计Ⅰ

设α是实数,x≥A≥2,e(θ)=e^2πiθ,以及A(n)是Mangoldt 函数。本文主要证明以下结论(见定理1):设δ是任给的正数,x^91/96+ε≤A≤x。那么,对任给的正数c,一定存在正数c₁,使当A^-1log^cx≤|α|≤(log x)^-c1)时,A(n)e(nα)<<A(log x)^-c     

一类弱拟凸域上的Bergman型算子

得到了算子在空间 L^p(Ω_a,dv_λ)(1< p< ∞)上有界的充分必要条件,其中h(ξ)=(1-|z|²)^α-|w|²,K_s,_u,_v)( ξ , ξ'' )为一核函数.作为应用,证明了对所有多重指标α=( α₁,…,α_n)和β=(β₁,…,β_n),f∈L_H^p(Ωα, dv_λ)蕴含1≤ p<∞.     

拟线性抛物方程组第一边界问题的有限差分法 ——Ⅲ.稳定性

讨论如下拟线性抛物组第一边值问题的显式、弱隐式和强隐式差分解u_t=(-1)^M+1A(x,t,u,…,u_x^M-1)u_x^2M+f(x,t,u,…,u_x^2M-1(x,t)∈Q_T={O<x<l,0<t≤T.}，u_x^k(0，t)=u_x^k(l，t)=0 (k=0，1，…，M -1)，0<t≤T，u(x，0)=φ(x)，0≤x≤l，其中u，φ和f是m维向量值函数，A是m×m正定矩阵，u_t=∂u/∂t，u_x^k=∂^ku/∂x^k.在以下意义下证明了该问题的一般有限差分格式的稳定性：即离散向量解在W₂^(2M，M)(Q_T)中的离散范数是连续地依赖于初始数据的H^M离散范数，以及矩阵A与自由项f的相应的离散范数.     

齐次乘子算子的交换子

记H^l={w∈C^∞(R^k\{0}):w是l次齐次函数),R^_(-a)(m)是Taylor级数余项算子的n重叠合:m=(m₁,…,m_n)∈Zⁿ,Z记非负整数的集,α∈(R^k)ⁿ,定义 其中a=(a₁,…,a_n),a_i,f∈(R^k), 主要结果如下: 1.证明了几个介于算子T_^R(-a)^{(m)_w(ξ)),(a,f})的类与多线性奇异积分算子的类之间的对等定理; 2.作为应用,算子及 的某些有界性结果被给出,其中Ω∈H⁰,|β|≤|m|,且,m_i≥1。     

关于一类Fourier积分算子的Lp估计

本文研究一类形如(1)的Fourier积分算子的保持L_p,H_p^s及B_pq^s的有界性问题。此中位相函数满足条件(2),而振幅属于象征类S_1,δ^-m,0≤δ≤1,文中还初步探讨了(0≤p<1)时的L_p有界性。     

Gauss-Markov条件下最小二乘估计的强相合性

设Y_i=x＇_iβ+e_i,1≤i≤n为线性模型,β_n=(β_n1,…,β_np)＇为β=(β₁,…,β_p)＇的最小二乘估计,以u_n记(sum from i=1 to n(x_ix＇_i))的(1,1)元,v_n=u_n^-1.证明了在Ee_i=O且{e_i}满足Gauss-Markov条件时,v_i→∞及sum from i=2 to ∞(v_i^-2(v_i-v_i-1)log~2i<∞)为β_n1强相合的充分条件,且对任何ε_n→0,v_i→∞及sum from i=2 to ∞(ε_iv_i^-2(v_i-v_i-1)log²i<∞)已不再充分.提出了β_n1强相合的一个充要条件,它把β_n1强相合归结为正交随机变量级数的收敛问题.     

对合数组与对合不动点集分支的维数(Ⅰ)

设M~n为n维光滑闭流形。给定光滑非自由对合(Mⁿ,τ),本文定义了一个数组I(τ),称为联系于(Mⁿ,τ)的对合数组。我们证明了,I(τ)=(k₀,k₁,…,k_r),0≤r≤n,0≤k_0...     

小区间上的素变数三角和估计Ⅱ

设α是实数,x≥A≥2,e(θ)=e^2xiθ,Λ(n)是Mangoldt函数,以及本文用纯分析方法证明了:(ⅰ)设ε是任给的小正数,x^91/96+ε≤A≤x。那么对任给的正数c,一定存在正数c₁,c₂,使当α=a/q+λ满足:(α,q)=1,1≤q≤log^c₁x,时,(见定理2);(ⅱ)设N是大奇数,U=N^91/96+ε,则素变数不定方程N=p₁+p₂+p₃,N/3—U...     

关于高次多项式插值样条的最优误差界

设记称为f(x)的(Γ,)型(2m—1)次插值样条,如果类似地称为f(x)的型2m次插值样条,如果1.本文讨论了不同的(Γ,)型插值误差界间的内在联系,得出了等距分划下任意次插值样条的最优误差界,主要结果是: 定理1.设N≥2m—1,f∈C^2m[0,1],则当γ_j,≤2j,θ_j≤2j时 定理3.设N≥2m,f∈C^2m+1[0,1],则当γ_j,≤2j—1,θ_j,≤2j-1时,其中E_k是第K个Euler数。     

一个与Wiener过程增量连续模有关的下极限收敛速度问题

设W(t),t≥0为标准Wiener过程,α_T为T的函数且0<α_T≤T,lim_T→∞ log(T/α_T)/loglogT=r,本文证明了 c₁(r/(1+r))^1/2≤liminf_T→∞(loglogT)^1/2max_αT≤t≤T|W(T)-W(T-t)|/{2t[log(T/t)+loglogt]}^1/2≤c₂(r/(1+r))^1/2,a.s,这儿c₁和c₂为正常数。     

积分算子与(非线性复合)边值问题

本文在m+1连通区域上研究方程(A)w_g=g(z,w,w_z),(A.1)|g(z,w,w_z¹)-(z,w,w_z²)|≤q₀|w_z¹-w_z²|,q₀=常数<1 (A.2)的Riemann和Hilbert复合边值问题(RH问题)。我们构造了算子θ(w,z),研究了其连续与微分性质,建立了解的表示定理、先验估计、存在唯一性定理(K≥m)与可解条件(K≤m-1)。     

一个求极值问题(Ⅰ)

对于给定的正整数n,N(N>n>1)与实数δ(0≤δ≤1/2),要求在k₁+k₂+…+k_n=N,k_i≥1(i=1,2,…,n)都是整数 (1)的条件下,求出一组使文中定义的目标函数L_{k¹k²…kⁿ}(δ)取最大值的整数组(k₁k₂…k_n),这整数组称为方程(1)的最优解。在本文中,将要证明:对于任何N>n>1与0≤δ≤1/2,一定能从适合(ⅰ)k₁为偶数;(ⅱ)|k_i-k_j|≤2(1≤i,j≤n);(ⅲ)在k₂,…,k_n中出现的偶数k都有相同的数值等条件的那些(k₁k₂…k_n)中找到方程(1)的一组最优解。特别对于δ=0与δ=1/2这两个重要的情形,给出了当N=n(e-1),而e≥4为一偶数时方程(1)的一组最优解。文中还证明了:对于δ=0与δ=1/2,以及N=nk(k≥2),从极限的观点看,(k,k,…,k)都是方程(1)的一个“相当不好”的解。     

关于有界函数的Fourier部分和

本文研究了正整数那样的序列{n_j},对之,存在f∈L^∞(T),使得|s_ⁿj,(0,f)|→∞(此时说{n_j}属于类P);或者对之,我们有(1/m sum from j=1 to m|S_nj(0,f)|^p)^1/p≤C||f||∞,其中C不依赖于m∈z⁺与f∈L^∞(T)(1≤P<固定)(此时说{n_j}属于类p-SF)。对凸序列,我们证明了{n_j}∈p—SFlog n_j≤cj^min(1/2,1/p),其中C只依赖于{n_j}与P。     

某些周期卷积类的宽度及单边宽度的精确估计

本文解决了由引入的一族周期卷积类κ_q(ψ)(1≤q≤+∞)在L尺度下以n—1阶三角多项式子空间T_n-。最佳单边逼近E_n⁺(κ_q(ψ))_L的精确估计。     

Brouwer不动点定理与顶点在曲面上的四边形

设D是Euclid平面R² 中的一个半径为r的圆盘 ,F是D上Lipschitz连续的实值函数 ,A₁A₂ A₃ A₄是边长不超过r的等腰梯形 ,∠A₁A₂ A₃ =α≤π/ 2 .借助于Brouwer不动点定理证明了 :若F有一个Lipschitz常数λ≤min{1 ,tgα},则在曲面M ={(x ,y ,F(x ,y) )∈R³ ∶(x ,y)∈D}上存在共平面的四个点 ,它们张成一个与A₁A₂ A₃ A₄全等的四边形 .此外 ,还作了一些进一步的讨论 .     

神经网络及其在系统识别应用中的逼近问题

本文讨论神经网络的能力问题及其在系统识别中的一些逼近问题。文中证明了:(1)函数g∈L_Loc^P(R¹)∩S′(R′)为—L^P-Tauber-Wiener函数的充要条件为g不是一个多项式;(2)当g∈(L^PTW)时,Σ _i=1^N c_ig(y_i·x+θ_i)全体在L^P(K)中稠密;(3)证明了用一元函数的复合可以逼近定义在L^P(K)上的连续(线性或非线性)泛函及L^P1K₁)到L^P2(K₂)中的连续(线性或非张性)算子。上述结果表明任一非多项式的L_LocP∩S′(R′)中的函数可以作为神经网络隐层中的非线性元,以及神经网络算法可以以任意精度识别一个系统。     

有限变系数系统的运动稳定性

以E(p,q;ε)记满足条件的二阶变系数系统的全体所组成的集合。此处p>0,q>0,ε≥0。本文证明了:(甲) 对于任何两个正常数p及q,存在一个正常数ε^*=ε^*(q/p²),使得(ⅰ) 当0≤ε<ε^*,则集合E(p,q;ε)中的每一个系统的平凡解都是渐近稳定的;(ⅱ) 当ε^*<ε,则集合E(p,q;ε)中有系统共平凡解是不稳定的。这就否定了一种普遍的猜想:条件p₁≥p(t)≥p₀>O,q₁≥q(t)≥q₀>0。可以保证系统的平凡解的稳定性;(ⅲ) 当ε^*=ε,则集合E(p,q;ε)中每一系统的平凡解都是稳定的,但存在系统,其平凡解不是渐近稳定的。(乙) 函数ε^*(q/p²)随q/p~2由0增加到+∞,而由1单调减少到0。(丙) 给出了函数ε^*(q/p²)的数值图表,以及近似解析表达式,供工程师及物理、力学家之用。注意,p₁实际上可任意大,ε^*只与p₀,q₀,q₁有关,相应的结果亦已得到。     

关于多重富氏积分球形和的局部化与收敛问题

本文讨论了多重富氏积分的Riesz球形平均 σ_R^α(f)(x)=∫_|y|≤R(1-|y|²/R²)^αf(y)e^2πix·ydy(x∈Rⁿ),当α<((n-1)/2)时的局部化与收敛性问题。证明了当维数n≥2m-1时,若α>(n-2(m+1))/2,f∈ L_m¹(Rⁿ),则关于α阶的Riesz球形和的局部化定理成立。文中还给出了σ_R^α(f)(x)在一点处收敛的充分条件。 当以α>((n-3)/2)为特殊情形时,对于σ_R^α(f)更一般的φ平均∫Rⁿ φ(εy)f(y)×e^2πix·ydy也得到相应的结果。