关于C*-代数Mn(A)上矩阵迹的一些不等式

C*-代数Mn(A)上矩阵迹是一个正线性映射τ∶Mn(A)→A且满足τ(u*au)=τ(a)(a∈Mn(A),u∈U(Mn(A)))及τ(a2)≤(τ(a))2(a≥0).论文讨论这种矩阵迹的一些性质,给出了若干不等式性质,并且证明:对Mn(A)中的H erm itian元a,b,当m=2k(k∈N)时,τ((ab)m)≤τ(ambm)成立.同时还证明了当m=2k(k∈N)时,对Mn(A)中任一元a,不等式τ(am(a*)m)≤τ((aa*)m)成立.     

无限格与其非标准扩张

在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.     

具有正负系数的中立型方程的振动性

讨论中立型方程d/dt[x(t)-R(t)x(t-r)] P(t)x(t-t)-Q(t)x(t-δ）=0,（*）其中P,Q,R∈C[（to,∞）,R∧ ）,r,τ,δ∈（0,∞）,τ≥δ,在允许R（t） ∫∧tt=τ δQ（u）du-1变号的情况下得到（*）的所有解振动的判据。     

C~*-代数的Cuntz半群(英文)

令A是一个C~*-代数.设(x,y)是A的Cuntz半群W(A)中的一个元素对.本文在适当的条件下具体刻画了所有的(x,y),使其满足性质:如果x≤y,那么存在z∈W(A)使得x+z=y.另外,本文还讨论了交换C~*-代数关于Cuntz比较的一些性质.     

二阶非线性泛函微分方程解的振动性质

本文讨论二阶非线性泛函微分方程和 x″(ι)+p(ι)x′(ι-τ(ι))+q(ι)f(x(σ(ι)))=0 (1)x″(ι)-p(ι)x′(ι+τ(ι))+q(ι)f(x(σ(ι)))=0 (2)的解的振动性质.建立了方程(1)和(2)的两个振动性定理.推广和改进了已知的一些结果.     

一类二阶泛函微分方程的多重周期解

利用变分原理和Z_2不变群指标,得出二阶泛函微分方程x″(t-τ)+c(x(t)-x(t-2τ))′-x(t-τ)+λf(t,x(t),x(t-τ),x(t-2τ))=0的多重周期解的存在性质.     

方程a2(x)(t-τ)+a1(x)(t-τ)+a0x(t-τ)+b2(x)(t)+b1(x)(t)+b0x(t)=δ的部分解讨论

讨论了方程a2(x)(t-τ)+a1(x)(t-τ)+a0x(t-τ)+b2(x)(t)+b1(x)(t)+b0x(t)=δ的部分解.     

线性时滞矩阵微分系统解的振动性

本文借助矩阵特征值用矩阵变换和不等式方法讨论了具有矩阵系数的时滞微分系统(?)(t)=A(?)x(ι-τ(?))解的振动与非振动性质.     

一类时滞Lienard方程的一致有界及全局渐近稳定

给出时滞 Lienard方程 x″+f( x) x′+ax′( t-τ) +g( x( t-τ) ) =0 ,a 0 ,一致有界及全局渐近稳定的充分条件 .讨论一阶导数项 ax′( t-τ)对方程有界性及渐近稳定性的影响 .     

Noether环上的＊-模、余＊-模及cotilting模

设R为Noether环,讨论了R上*-模的投射性和内射性,引进与*-模相对偶的概念:余*-模,给出了R上余*-模的特征性质,最后用余*-模给出了R上cotilting模的刻划.     

一类二阶泛函微分方程解的渐近性

对各类二阶微分方程解的性质,自1971年Hammett以来已有许多讨论,如[1]—[10]本文讨论二阶时滞泛函微分方程 (r(t)x′(t))′+sum from i=0 to n (P_i(t)g_i′(x(t-τ_i(t))))+sum from i=0 to n (q_i(t)g_i(x(t-τ_i(t))))=f(t) (1)的解的渐近性质,其中;r(t)、q_i(t)、g_i(x)、τ_i(t)、f(t)连续;p_i(t)连续可微;当p_i(t)不恒为0时,g_i(x)连续可微;当x≠0,xg_i(x)>0;g_i(x)关于x单调不减;F(u)=integral from n=to to u (|f(s)|ds)<∞;g_0(x)=x,τ_0(t)=0。     

拟绝对-*-κ-仿正规算子的谱性质

引入了拟绝对-*-k-仿正规算子,获得了拟绝对-*-k-仿正规算子的一个充要条件.并证明了拟绝对-*-k-仿正规算子在0≤k≤1上是有限上升的,作为此性质的应用,证明了若T是拟绝对-*-k-仿正规算子,其中0≤k≤1,则Weyl谱和本质近似点谱的谱映射定理成立.最后证明了若T是拟绝对-*-k-仿正规算子,其中0≤k≤1,则σ_(ja)(T)\{0}=σ_a(T)\{0}.     

Fuzzy BCK—代数

在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”表示两个命题之间的     

方程a2x（t—τ）＋a1x（t—τ）＋a0x（t—τ）＋b2x（t）＋b1x（t）＋b0x（t）=δ的部分解讨论

讨论了方程a2x(t-τ）＋a1x(t-τ) a0x(t-τ) b2x(t) b1x(t) b0x(t)=δ的部分解。     

立方幂补数除数函数的均值

设 n是正整数 ,S(n)是 n的立方幂补数 ,τ(n)表示 n的除数函数 .本文的主要目的是探讨∑n xτ(S(n) )n 和 ∑n xτ(S(n) ) 的渐近性质 ,得到了两个渐近公式 ,进一步解决 F.Smarandache教授提出的第2 8个问题 .     

经典风险模型分红控制过程的最优停止问题

本文在带注资的经典风险模型的最优分红控制过程的基础上,进一步引入最优停止策略.目标是要找到最优的停止时刻,使得到该时刻为止,股东的折现分红与带有一定费用的折现注资二者之差的期望值最大化.通过建立值函数V(x)满足的HJB方程,我们找到了最优停止时刻τ~*.特别的,当索赔服从指数分布时,通过计算最终得到了值函数V(x)和最优停止时刻.τ~*的清晰表达式.     

零常返Markov链的首回速度

对零常返Maxkov链的首回速度进行了讨论.首先用n步转移概率{pxx(n)}刻画了Ex[w(τx)]有限的条件,这里τx是状态z的首回时,W是一个正函数.其次研究了与电网紧密联系的可逆Markov链,用一些有效电导给出Ez[w(τx)]有限的等价条件,并给出一些比较法则.     

τ-连续偏序集的网式刻画

利用cut算子,在偏序集上引入网的下极限收敛概念,讨论了它的一些性质,特别地,对任意包含于σ₂-拓扑的序相容拓扑τ,证明了一偏序集是τ-连续的当且仅当S-收敛是拓扑的当且仅当它是交τ-连续的且下极限收敛是拓扑的.     

方程a_2“非汉字符号”(t-τ)+a_1(t-τ)+a_0x(t-τ)+b_2“非汉字符号”(t)+b_1(t)+b_0x(t)=δ的部分解讨论

讨论了方程 a2 x( t-τ) + a1x( t-τ) + a0 x( t-τ) + b2 x( t) + b1x( t) + b0 x( t) =δ的部分解     

τ-可测算子迹的不等式

设m是具有忠实正规半有限迹τ的Hilbert空间上的一个半有限von Neumann代数.隶属于m的—个闭稠定算子x称为τ可测,如果存在常数λ≥0使得τ（e｜x｜（λ,∞））〈∞.将一些很有用的已知的Hilbert空间算子迹的不等式推广到τ-可测算子迹.特别是这些不等式蕴涵了n-元τ-可测算子的Clarkson不等式.同时还给出了τ-可测算子的广义平行四边形法则.