1976年, 第19卷, 第4期　刊出日期：1976-10-15

  

• 全选
  |

论文
• Select
  某些多元解析函数的唯一性及其应用

  余家荣

  数学学报. 1976, 19(4): 219-238. https://doi.org/10.12386/A1976sxxb0024

  摘要 ( )   可视化   收藏

  在本文中,我们把S.Mandelbrojt,N.Wiener以及P.Malliavin在半平面内一元解析函数唯一性的定理推广到多元情形,并且应用所得结果研究了多维广义矩量问题,包括新引进的Stieltjes-Hamburger矩量问题,还研究了多元函数用广义多项式的加权逼近以及多元广义准解析函数类,得到了一些必要条件与充分条件,包括并改善了一些已有的结果.
• Select
  齐次可列马尔可夫过程构造论中的定性理论

  侯振挺;郭青峰

  数学学报. 1976, 19(4): 239-262. https://doi.org/10.12386/A1976sxxb0025

  摘要 ( )   可视化   收藏

  齐次可列马尔可夫过程构造论中有定性和定量两类问题.本文专论定性问题.其结果是:任给一个Q矩阵,对于在正文中定义的二十种类型的Q过程的每一类型指出不存在、恰好有一个、有多个但有限以及有无穷多个该种类型的Q过程等四种情况那些是必然不出现的,那些是必然出现的,那些是可能出现的和对可能出现的情况给出其必然出现的充要条件.
• Select
  一类拟线性双曲型方程组的整体解

  李才中;肖玲

  数学学报. 1976, 19(4): 263-275. https://doi.org/10.12386/A1976sxxb0026

  摘要 ( )   可视化   收藏

  <正> 对(1.1),除正规性(例如,f,g∈C_2)外,假定它满足以下条件: 1°f_v·g_u≠0(强双曲型),为确定起见,不妨令f_v>0,g_u>0. 2°r_i·▽λ_i>0,i=1,2(Lax意义下真正非线性)其中r_i为相应于(1.1)的特征根λ_i的右特征向量. 3°l_i·d~2F(r_j,r_j)<0,i,j=1,2,i≠j(Smoller凸性条件),其中l_i为相应于λ_i的左特征向量,以l_i,r_i>0规范.d~2F(r_j,r_j)为相应r_j的二阶Frechet微商(见[1]). 4°满足Rankine-Hugoniot条件
• Select
  模态谓词演算的判定问题(Ⅱ)——关于Slomson归约

  高恒珊

  数学学报. 1976, 19(4): 276-280. https://doi.org/10.12386/A1976sxxb0027

  摘要 ( )   可视化   收藏

  以M表示[2]中讨论过的模态谓词演算S_ε~*(它等价于[5]中的S5~*)的仅含唯一的一目谓词字母K的子系统,以B_o~N表域为N的B_o值全函项一目Boole代数,此处N为全体自然数所成之集,B_o为二元Boole代数、本文证明了如下结果: M中的定理(即在S_ε~*中可证明的语句)所成之集和在一非空有穷集上对B_o~N可驳的语句所成之集是递归不可分的. 后一结果加强了和Slomson分别在[8]和[12]中相互独立地得到的一个结果,即M的判定问题是不可解的;同时否定地解决了M中的语句之是否在一非空有穷域上对B_o~N可驳的判定问题.
• Select
  有限p-群的半p-交换性和正则性

  徐明曜;杨燕昌

  数学学报. 1976, 19(4): 281-285. https://doi.org/10.12386/A1976sxxb0028

  摘要 ( )   可视化   收藏

  本文定义了所谓“半p-交换p-群”(定义3),例1和例2说明半p-交换性与正则性(定义1)并不等价.但定理1证明了:有限p-群是正则的与它的每个子群(包括自身)的任一商群都是半P-交换的这两个条件等价.这就给出了有限正则P-群的一个充分必要条件.
• Select
  数学学报第19卷(1976)总目录

  ;

  数学学报. 1976, 19(4): 286-286. https://doi.org/10.12386/A1976sxxb0029

  摘要 ( )   可视化   收藏