具有可选服务的M/M/1排队模型主算子的点谱

本文研究当顾客的到达率λ,必选服务的服务率μ1,可选服务的服务率μ2以及顾客选择可选服务的概率r满足条件λ/u1+rλ/μ2时,具有可选服务的M/M/1排队模型的主算子在左半实轴上的特征值,证明该条件下模型主算子的点谱包含左半实轴上的区间(max{-λ,-μ1μ2-λ(μ1r+μ2)/|μ1(1-r)-λ|},0).     

第二种服务可选的M/M/1排队模型的主算子的点谱

当顾客的到达率λ,第一种服务的服务率μ_1,第二种服务的服务率μ_2,顾客选择第二种服务的概率θ满足μ_1(1-θ)λ,μ_2λ时,证明第二种服务可选的M/M/1排队模型的主算子的点谱包含区间(-λ,0).由此推出:(i)该模型的主算子生成的C_0-半群不是拟紧算子.(ii)该模型的时间依赖解不可能指数收敛于其稳态解.     

偏微分方程形式的M/M/1排队模型的主算子的谱

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明当顾客的到达率λ和服务员的服务率μ满足λ<μ,λ~2+μ~2≠3λμ时,μ不是A+U+E的特征值.     

关于M/M/1系统方程的瞬态解

经典的M/M/1随机服务系统的排队方程是{G_0~＇(t)=-λG_0(t)+μG_1(t),G_k~＇(t)=λG_(k-1)(t)-(λ+μ)G_k(t)+μG_(k+1)(t),k=1,2,…,其中G_k(t)表示在时刻t系统内恰有k个顾客的概率.在一般初始条件下方程(1)的解已由Clarke用母函数方法求出:G_k(t)=e~(-(λ+μ)t)[(λ/μ)~(k/2)I_k(2t(λμ~(1/2))+(λ/μ)~((k-1)/2)I_(k+1)(2t(λμ~(1/2))     

每个忙期中第一个顾客被特殊服务的M/M/1排队模型的主算子的点谱

研究每个忙期中第一个顾客被特殊服务的M/M/1排队模型的主算子在左半实轴上的特征值,证明:当顾客的到达率λ,服务员的服务率μ及特殊服务率η满足λμλ+η时,λ-μ是该主算子的几何重数为1的特征值.     

具有可选服务的M/M/1排队模型的另一个特征值

当λ(μ1+μ2)＜μ1μ2时,证明-λ是具有可选服务的M/M/1排队模型的主算子的几何重数为1的特征值.     

单重休假的M/M/1排队模型的主算子的谱

研究单重休假的M/M/1排队模型的主算子的谱,证明:当顾客的到达率λ,服务员的服务率η,服务员的休假率μ满足一定的条件时,-min{η,μ}不是该模型主算子的特征值.     

服务员强制休假的M/M/1排队模型的进一步研究

证明当.M=1,λ(μ+b)μb时,(-6λ~2+μb-λ(b+μ)-|μb-λ(b+μ)-2λ~2|)/(8λ)是服务员强制休假的M/M/1排队模型的主算子的几何重数为1的特征值.     

M/M/1算子的其它特征值

证明对一切θ∈（0,1）,θ（2（λμ）~（1/2）-λ-μ）都是偏微分方程形式的M/M/1排队模型主算子的几何重数为1的特征值.     

一类服务员强制休假的M/M/1排队模型的稳态解

当一次能接受服务的最大顾客数为2时研究服务员强制休假的M/M/1排队模型的主算子的特征值并证明当顾客的到达率λ,服务员的服务率μ和服务员的休假率b满足λ(μ+b)μb时,0不是该主算子的特征值.由此说明该模型不存在稳态解。因此,部分回答一个公开问题.     

偏微分方程形式的M/M/1排队模型的主算子的谱分析

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明当顾客的到达率λ,服务员的服务率μ和非零实数b满足一定的条件时,-μ+ib不是该主算子的特征值,其中i~2=-1.     

服务员强制休假的M/M/1排队模型的另一个特征值

研究服务员强制休假的M/M/1排队模型的主算子在左半复平面中的特征值,证明(λ-μ-b)-√(b+μ)2-3λ2-μb/2是该主算子的几何重数为1的特征值.     

每个忙期中第一个顾客被拒绝服务的M／M/1排队模型的其他特征值

研究每个忙期中第一个顾客被拒绝服务的M／M／1排队模型的主算子在左半复平面中的特征值,证明对一切θ∈（0,1）,（2√λμ-λ—μ）θ是该主算子的几何重数为1的特征值．     

每个忙期中第一个顾客被拒绝服务的M／M／1排队模型的另一个特征值

研究每个忙期中第一个顾客被拒绝服务的M／M／1排队模型主算子在左半复平面中的特征值,证明2√λμ-λ-μ是该主算子的几何重数为1的特征值。     

M／M／1算子的另一个特征值

证明2√λμ-λ-μ是偏微分方程形式的M／M／1排队模型主算子的几何重数为1的特征值．     

单重休假的M/M/1排队模型的进一步研究

证明对一切θ∈(0,1),所有θ(2√λη-λ-η)都是单重休假的M/M/1排队模型的主算子的几何重数为1的特征值.     

一个素变量混合幂丢番图不等式

证明了:设k是大于或等于2的正整数,η是任意给定的实数,λ_1,λ_2,λ_3是非零实数,不全同号,并且λ_1/λ_2是无理数,则不等式|λ_1p_1+λ_2p_2+λ_3p_32~k+η|(max p_j)~(-σ)有无穷多组素数解p_1,p_2,p_3,这里σ满足:当2≤k≤3时,0σ1/2(2~(k+1)+1),当4≤k≤5时,0σ5/6k2~k;当k≥6时,0σ20/21k2~k.     

一个素变量丢番图问题

设k和r是满足k≥3及r≥Ψ(k)+1的正整数,这里当3≤k≤4时,Ψ(k)=2~(k-1);而当k≥5时,Ψ(k)=1/2k(k+1).假定δ和ε是给定的足够小的正数,λ_1,λ_2,…,λ_(r+1)是不全同号且两两之比不全为有理数的非零实数.对于任意实数η与0σ2~(1-2k)/r-1,证明了:存在一个正数序列X→+∞,使得不等式|λ_1p_1~k+λ_2p_2~k+···+λ_rp_r~k+λ_(r+1)p_(r+1)+η|(max(1≤j≤r+1)p_j)~(-σ)有》■X~(■-(2~(1-2k))/(r-1)+ε组素数解(p_1,p_2,…,p_(r+1)),这里(δX)~(1/k)≤p_j≤X~(1/k)(1≤j≤r)及δX≤p_(r+1)≤X.这改进了之前的结果.     

M/M/1算子的复谱

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明集合{γ∈C|R_γ≤-(λ+μ)}包含于该模型主算子的连续谱与剩余谱的并集.由此指出偏微分方程形式的M/M/1排队模型和常微分方程形式的M/M/1排队模型的本质区别.     

混合幂的素变数丢番图逼近

证明了:如果λ_1,λ_2,λ_3,λ_4是正实数,λ_1/λ_2是无理数和代数数,V是well-spaced序列,δ0,那么对于v∈V,v≤X,ε0,使得|λ_(1p_1~2)+λ_(2p_2~2)+λ_(3p_3~3)+λ_(4p_4~3)-v|v~(-δ)没有素数解p1,p2,p3,p4的v的个数不超过O(X~(20/21+21δ+ε)).