关于序数方程(Ⅱ)

§ 1 利用序数正常表示的唯一性,M.Sierp(?)bski証明了方程ξ~2=η~3 1沒有超限的序数解,而方程ξ~2=η~3則有超限序数解。王戍堂与作者曾对前一方程进行了拓广,并对更广的一类序数方程的求解作了研究。本文的目的在于对[3]中的前两个定理与[2]中的方程ξ~2=η~3进行拓广研究。为讀者便利起見,把[3]中的前两个定理写在下面:     

关于紧序数空间可数次箱积的仿紧性

本文证明了如果对每个可数序数α,紧序数α+1的可数次箱积的商空间▽~ω(α+1)是特殊仿紧的,则对任意一个序数λ,▽~ω(λ+1)也是特殊仿紧的.     

关于长JAMES型BANACH空间J(ω_1)的第二共轭空间J(ω_1)~(**)的超限基

本文给出了长James型Banach空间J(ω_1)的第二共轭空间J(ω_1)~(?)的超限基,这里ω_1是代表第一个不可数无限序数。此外还证明了James型Banach空间J(ω+γ)具有逼近性质,此处J(ω)是James Banach空间,γ是任一有限正整数,ω是可数无限序数。     

相对于 △_2~0集的α-分离定理

<正> 引言如果把序数看成自然数的推广,那么很自然地会想到要把自然数集上的递归论推广成序数上的递归论.序数上递归函数的概念首先是 Takeuti 提出来的.后来 Kripke 又在可允许序数α的前节上建立了递归函数的概念.并把和 Kleene 的 T 谓词有关的定理,如部分递归函数的通用函数定理、S_n~m 定理、递归式定理以及有关算术谓词分层的结果都成功地推广了,并建立了可允许序数α的前节上的递归论.一般人称之为α-递归论.     

关于丢番图方程b~x+(2~α)~y=(b+2~α)~z

结合初等和高等的方法研究丢番图方程b~x+2~(αy)=(6+2~α)~z,α≥3正整数解的问题,并得到了如下结论:1.若b为平方数,则方程只有正整数解(x,y,z)=(1,1,1);若b+2~α为平方数,则x=1.2.若x1,则2■z.3.方程3~x+(2~(2k+1))~y=(3+2~(2k+1))~z,k■2 (mod 6),2k+1∈N,2k+11只有正整数解(x,y,z)=(1,1,1).     

费马型函数方程的亚纯解

本文研究Fermat型函数方程亚纯解的存在性问题,证明函数方程f(z)~7+f~((s))(z)~7+h(z)~7=1不存在级小于1的非常数亚纯解.     

有限域上Carlitz方程的解数

设F_q是含有q个元素的有限域,其中q=p~t,t≥1,p是一个奇素数.研究了Carlitz方程的推广形式(a_1x_1~(m_1)+…+a_nx_n~(m_n)+a_(n+1)x_(n+1)~(m_(n+1))+…+a_(n+s)x_(n+s)~(m_(n+s)))~k=bx_1~(k_1)…x_n~(k_n),其中ai,b∈F_q~*,s≥1,n≥1.当方程变量的指数满足一定条件时,得到了方程的解数公式.     

一个非线性方程的小素数解

证明了整系数素变数方程a_1p_1+a_2p_2~2+a_3p_3~2+a_4p_4~2=b当整数a_1,…,a_4,b满足一定条件时有素数解,并给出了此方程有素数解时小素数解的上界.     

关于无理方程((a-x)~(1/2))+((x-b)~(1/2))=(a-b)~(1/2)

这是现行初中代数教材上的一道习题: 解关于x的方程 (a-x)~(1/2)(x-b)~(1/2)=(a-b)~(1/2)(A) 限制在条件a≥b,b≤x≤a下,将(A)两边平方,得 2(a-x)(x-b)~(1/2)=0。方程的两根是x=a或x=b。研究了(A)型方程的特点后来解这类无理方程是相当简捷的.现举数例如下。例1 解方程(100-x)~(1/2)+(x-64)~(1/2)=6。解:将原方程化为(A)型:     

在非自然指数下Beltrami方程的L~p可积性

对于n维的 Beltrami方程,存在指数 r_1和r_2,满足1相似文献   

树型代数拟遗传序的组合公式及其算法

本文给出了树型代数的拟遗传序数的精确上界以及单生成元的树型代数的拟遗传序数的精确下界及其算法 ,并由此得到一个新的组合公式 .     

曲线系方程与参数方程组

在二维空间中,曲线系方程与参数方程组是性质不同的两类方程.例如,参数方程组(t∈R,t为定值)表示以原点为圆心,1为半径的一个圆;圆系方程(x-t)~2+(y-t)~2     

Mordell方程y~3=x~2+2p~4的正整数解

设p是奇素数.对于非负整数r,设U_(2r+1)=(α~(2r+1)+β~(2r+1))/2~(1/2),V_(2r+1)=(α~(2r+1)-β~(2r+1))/6~(1/2),其中α=(1+3~(1/2))/2~(1/2),β=(1-3~(1/2))/2~(1/2).运用初等数论方法证明了:方程y~3=x~2+2p~4有适合gcd(x,y)=1的正整数解(x,y)的充要条件是p=U_(2m+1),其中m是正整数.当上述条件成立时,方程仅有正整数解(x,y)=(V(2m+1)(V_(2m+1)~2-6),V_(2m+1)~2+2)适合gcd(x,y)=1.由此可知:当p10000时,方程仅有正整数解(p,x,y)=(5,9,11),(19,1265,123),(71,68675,1683)和(3691,9677201305,4541163)适合gcd(x,y)=1.     

数学问題解答

欢迎讀者提出适合中学数学水平的問題。来信請寄至北京德胜门外北京师范大学数学系轉数学通报问題解答栏。第3期問题解答(解答由提出人給出) 480.求方程 36/(x-2)~(1/2)+4/(y-1)~(1/2)=28-4(x-2)~(1/2)-(y-1)~(1/2)的一切实数解。解.原方程可以写成     

含分数逆幂的矩阵方程对称自反解的双迭代算法

<正>1引言含分数逆幂的矩阵方程在控制理论、梯形网络和动态规划等领域中有重要的应用~([1-3]).考虑有代表性的一类含分数逆幂的双变量矩阵方程A_1X_1B_1+A_2X_2B_2+E_1X_1~(-1/2)F_1+E_2X_2~(-2/3)F_2=G,(1)其中A_i,B_i,E_i,F_i,X_i,G∈R~(n×n)(i=1,2).替换方程(1)中的X_1~(1/2)为X_1,X_2~(1/3)为X_2可得A_1X_1~2B_1+A_2X_2~3B_2+E_1X_1~(-1)F_1+E_2X_2~(-2)F_2=G.(2)近年来,人们对这种类型的非线性矩阵方程进行了许多研究,并建立了一些有效的算法.例如,Li J等~([1])研究了方程X-A~HX~(-p)A=Q唯一正定解的存在性问题,并给出了方     

方程“只有一个实数根”与“有两个相等实数根”

一一、，，.，一。，_.、_一x一1题目a为什么实数时，方程气，井一~~一/‘，，一~~’“’~一Zx 4x a .Zx_~一‘~~_~_一~舒竿二共二 止二专~。只有一个实数根?并求Zx(x一1)’x一1一/、曰’~~~·出这个实数根.原方程化简整理可得5扩一6x 1一a一0.①解法1因为原方程只有一个实数根，所以在①式中有△~O，即36一4XSX(1一a)=0，可得。一一喜.把。一一喜代人①式可J’”一5’J~一5’、‘、~一、一，。3，~，二~月呼1导x~下犷，兰2书夏欲览x 0 3一~~一，。二‘，‘~ ~下二小力己爆力毛显俐哨创民0故当。一喜时，原方程只有一个实数根~一一5一动…     

Fermat素数与Jemanowicz猜想

设r是正整数.本文运用初等数论方法证明了方程((2~(r+1)+1)n)~x+((2~(2r+1)+2~(r+1)n)~y=((2~(2r+1)+2~(r+1)+1)n)~2适合(x,y,z)≠(2,2,2)以及n1的正整数解(x,y,z,n)都满足xzy特别是当2~(r+1)是素数时,该方程仅有正整数解(x,y,z,n)=(2,2,2,t),其中t是任意正整数,即此时Jemanowicz猜想成立.     

二型序数的若干性质

本文定义了二型序数的概念,并且在聚合公理系统ｚｆｃ上讨论了它们的某些性质,证明了二型序数满足极小元定理和超限归纳原理,由此得出二型序数理论是序数理论的推广。     

含三个Riemann-Liouville分数阶导数的脉冲Langevin型方程的边值问题的可解性

设n,l,k为正整数且α∈(n-1,n),β∈(l-1,l),γ∈(k-1,k).该文首先利用迭代方法给出具有三个分数阶导数的Langevin方程[D_0~α+D_(0+)~β-λD_(0+)~γ]x(t)=P(t)的连续通解.然后,该文使用数学归纳法获得脉冲分数阶Langevin方程[D_0~α+D_(0+)~β-λD_(0+)~γ]x(t)=P(t),t∈(t_i,t_(i+1)],i∈N_0~m分片连续通解.接下来,该文运用获得的结果研究具有三个分数阶导数α,β∈(1,2),γ∈(0,1)的非线性脉冲Langevin方程的一类边值问题,通过将其化为积分方程,运用不动点定理建立这类边值问题解的存在性定理.最后,该文给出例子说明了主要结果的应用.     

关于本原商高数的Miyazaki猜想

设a,b,c是适合a=2~(2r)-n~2,b=2~(r+1)n,c=2~(2r)+n~2的正整数,其中r是正整数,n是奇素数.运用初等数论方法讨论了指数Diophantine方程c~x+b~y=a~z.证明了:当2~r=n+1时,方程仅有正整数解(x,y,z)=(1,1,2);否则,方程无解。上述结果部分地证实了有关本原商高数的Miyazaki猜想。