OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

徽标
提示
(来自的问候整数序列在线百科全书!)
A008683号 Möbius(或Moebius)函数mu(n)。mu(1)=1;mu(n)=(-1)^k,如果n是k个不同素数的乘积;否则mu(n)=0。 1452
1, -1, -1, 0, -1, 1, -1, 0, 0, 1, -1, 0, -1, 1, 1, 0, -1, 0, -1, 0, 1, 1, -1, 0, 0, 1, 0, 0, -1, -1, -1, 0, 1, 1, 1, 0, -1, 1, 1, 0, -1, -1, -1, 0, 0, 1, -1, 0, 0, 0, 1, 0, -1, 0, 1, 0, 1, 1, -1, 0, -1, 1, 0, 0, 1, -1, -1, 0, 1, -1, -1, 0, -1, 1, 0, 0, 1, -1 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,1
评论
莫比乌斯反演:f(n)=Sum_{d|n}g(d)对于所有n(n)=Sum_}d|nneneneep mu(d)*f(n/d)对于所有n。
a(n)只依赖于n的素数签名(参见。A025487号). 所以a(24)=a(375)因为24=2^3*3和375=3*5^3都有质数签名(3,1)。
Coons和Borwein证明了Sum_{n>=1}mu(n)z^n是超越的-乔纳森·沃斯邮报2008年6月11日;编辑人查尔斯·R·Greathouse IV2017年9月6日
等于三角形的行和A144735号(三角形的正方形A054533号)-加里·亚当森2008年9月20日
猜想:a(n)是Redheffer矩阵的行列式2014年1月14日其中T(n,n)=0。已验证前50个条款-Mats Granvik公司2008年7月25日
发件人Mats Granvik公司,2008年12月6日:(开始)
《数论杂志》编辑部善意地(通过B.Conrey)提供了以下猜想的证明:让A成为A143104号和B是A143104号其中T(n,n)=0。
“假设您沿最下面一行展开det(B_n)。第一个位置只有一个1,因此答案是(-1)^n乘以det(C_{n-1}),例如,其中C_{n-1}是通过删除第一列和最后一行从B_n获得的(n-1)by(n-1对于1<=m<=n,沿着底行展开det(A_n),我们可以看到det(A _n)=(-1)^n*det(C_{n-1})+m(n-1)。所以我们有det(B_n)=(-1)^n*det(C_{n-1})=det(A_n)-M(n-1)=M(n)-M。“(结束)
推测:考虑一下表格A051731号并将1作为除数。将右下角的值垂直移动到表转置中的除数位置,您会发现行列式是Moebius函数。有助于Moebius函数的置换矩阵的数量似乎是A074206号. -Mats Granvik公司2008年12月8日
卷曲了A152902号=A000027号自然数-加里·亚当森2008年12月14日
【Pickover,p.226】:“数字落入-1邮箱的概率是3/Pi^2,与落入+1邮箱的概率相同”-加里·亚当森2009年8月13日
让A=A176890号和B=A*A*…*A、 然后矩阵B中最左边的列收敛到Moebius函数-Mats Granvik公司,加里·亚当森2010年4月28日和2020年5月28日
等于三角形的行和176918英镑. -加里·亚当森,2010年4月29日
计算矩阵幂:A175992号^0 -A175992号^1 +A175992号^2 -A175992号^3 +A175992号^4 - ... 然后在第一列中找到Mobius函数。将其与(1+x)^-1=1-x+x^2-x^3+x^4-…的二项式序列进行比较-Mats Granvik公司,加里·亚当森2010年12月6日
发件人理查德·L·奥勒顿,2021年5月8日:(开始)
涉及Möbius变换(a(n)和某些序列h(n)的Dirichlet卷积)的许多OEIS条目的公式可以使用以下公式推导(n>=1):
求和mu(d)*h(n/d)=求和{k=1..n}h(gcd(n,k))*mu(n/gcd(n,k))/phi=A000010号.
使用gcd(n,k)*lcm(n,k)=n*k提供了进一步的变化。(结束)
与上述总和相对应的乘积公式也适用于序列f(n)>0:Product_{d|n}f(n/d)^mu(d)=Product_{k=1..n}f-理查德·L·奥勒顿,2021年11月8日
参考文献
T.M.Apostol,《解析数论导论》,Springer-Verlag,1976年,第24页。
L.Comtet,《高级组合数学》,Reidel,1974年,第161页,#16。
G.H.Hardy和E.M.Wright,《数字理论导论》,第5版,牛津大学出版社,1979年,第262和287页。
Clifford A.Pickover,“数学书,从毕达哥拉斯到57维,数学史上的250个里程碑”,斯特林出版社,2009年,第226页-加里·亚当森2009年8月13日
G.Pólya和G.Szegő,分析卷II中的问题和定理。Springer_Verlag 1976年。
链接
丹尼尔·福格斯,n=1..100000时的n,a(n)表(前10000个术语来自N.J.A.Sloane)
Milton Abramowitz和Irene A.Stegun,编辑。,数学函数手册,国家标准应用数学局。第55辑,第十次印刷,1972年,第826页。
Joerg Arndt,计算事项(Fxtbook),第705-707页。
Au Yu Hin(Gary)Au,单位超立方体的分解与广义Möbius级数的反演,arXiv:2205.03680[math.CO],2022。
奥利维尔·博代尔(Olivier Bordellès),Mobius函数的一些显式估计,J.国际顺序。18 (2015) 15.11.1
G.J.Chaitin,关于黎曼假设的思考arXiv:math/0306042[math.HO],2003年。
迈克尔·库恩斯和彼得·博文,一些数论函数幂级数的超越性,arXiv:0806.1563[math.NT],2008年。
马克·德雷格利什和乔·里瓦特,计算Mobius函数的总和,实验。数学。5:4(1996),第291-295页。
汤姆·埃德加,偏序集与Möbius反演,幻灯片,(2008)。
A.F.Möbius,尤伯·埃内·冯·乌姆凯赫伦·德雷亨的艺术更为出色。《福尔迪·雷恩·安格旺德·马塞马提克杂志》9(1832),第105-123页。
安德斯·比约纳和理查德·斯坦利,组合杂集.
保罗·塔劳,用自然数的多集表示模拟素数,《计算的理论方面》,ICTAC 2011,《计算机科学讲义》,2011年,第6916/2011卷,第218-238页。
保罗·塔劳,通过自然数的多集分解实现素性的一般观点,《理论计算机科学》,第537卷,2014年6月5日,第105-124页。
杰拉德·维勒明的《数字年鉴》,莫比乌斯与莫滕斯.
埃里克·魏斯坦的数学世界,Moebius函数.
埃里克·魏斯坦的数学世界,Redheffer矩阵.
维基百科,Moebius函数.
配方奶粉
如果n=1,则求和mu(d)=1,否则为0。
Dirichlet生成函数:Sum_{n>=1}mu(n)/n^s=1/zeta(s)。同时求和{n>=1}μ(n)*x^n/(1-x^n)=x。
特别是,Sum_{n>0}mu(n)/n=0-富兰克林·T·亚当斯-沃特斯2014年6月20日
φ(n)=总和{d|n}μ(d)*n/d。
a(n)=A091219号(A091202号(n) )。
如果e=1,则与a(p^e)=-1相乘;如果e>1,则为0-大卫·W·威尔逊2001年8月1日
abs(a(n))=和{d|n}2^A001221号(d) *a(n/d)-贝诺伊特·克洛伊特2002年4月5日
当n>2时,求和{d|n}(-1)^(n/d)*mobius(d)=0-Emeric Deutsch公司2005年1月28日
对于n>0,a(n)=(-1)^ω(n)*0^(bigomega(n)-omega(A001222号,A001221号,A046660号)-莱因哈德·祖姆凯勒2003年4月5日
绝对值的Dirichlet生成函数:zeta(s)/zeta(2s)-富兰克林·T·亚当斯-沃特斯2005年9月11日
亩(n)=A129360型(n) *(1,-1,0,0,…)-加里·亚当森2007年4月17日
mu(n)=-Sum{d<n,d|n}mu(d),如果n>1且mu(1)=1-阿洛伊斯·海因茨2008年8月13日
a(n)=A174725号(n)-174726英镑(n) -Mats Granvik公司2010年3月28日
a(n)=定义为:T(1,1)=1,n>1:T(n,1)是任意数或序列,k=2:T-Mats Granvik公司2010年6月12日
Product_{n>=1}(1-x^n)^(-a(n)/n)=exp(x)(指数函数的乘积形式)-乔格·阿恩特2011年5月13日
a(n)=Sum_{k=1..n,gcd(k,n)=1}exp(2*Pi*i*k/n),单位本原n次根上的和。参见使徒参考,第48页,练习14(b)-沃尔夫迪特·朗,2011年6月13日
mu(n)=和{k=1..n}A191898号(n,k)*exp(-i*2*Pi*k/n)/n.(猜想)-Mats Granvik公司2011年11月20日
当n>=1时,求和{k=1..n}a(k)*floor(n/k)=1-彼得·卢什尼2012年2月10日
a(n)=地板(Ω(n)/bigomega(n))*(-1)^Ω(n(A001221号(n)/A001222号(n) )*(-1)^A001221号(n) -恩里克·佩雷斯·埃雷罗2012年4月27日
与a(p^e)相乘=二项式(1,e)*(-1)^e-恩里克·佩雷斯·埃雷罗2013年1月19日
G.f.A(x)满足:x^2/A(x”)=Sum_{n>=1}A(x^(2*n)/A(x)^n)-保罗·D·汉纳2016年4月19日
a(n)=-A008966号(n)*A008836号(n) /(-1)^A005361号(n) =-地板(拉德(n)/n)兰姆达(n)/(-1)^陶(n/rad(n))-安东尼布朗2016年5月17日
a(n)=克罗内克三角洲A001221号(n) 和A001222号(n) (即A008966号)乘以A008836号(n) -埃里克·德斯比亚2017年3月15日
a(n)=A132971号(A156552号(n) )-安蒂·卡图恩2017年5月30日
猜想:a(n)=Sum_{k>=0}(-1)^(k-1)*二项式(A001222号(n) -1,k)*二项式(A001221号(n) -1+k,k),对于n>1。已验证前100000个条款-Mats Granvik公司2018年9月8日
发件人彼得·巴拉2019年3月15日:(开始)
和{n>=1}mu(n)*x^n/(1+x^n)=x-2*x^2。例如,见Pólya和Szegő,第11部分,第1章,第71号。
求和{n>=1}(-1)^(n+1)*mu(n)*x^n/(1-x^n)=x+2*(x^2+x^4+x^8+x^16+…)。
求和{n>=1}(-1)^(n+1)*mu(n)*x^n/(1+x^n)=x-2*(x^4+x^8+x^16+x^32+…)。
求和{n>=1}|mu(n)|*x^n/(1-x^n)=Sum_{n>=1}(2^w(n))*x^n,其中w(n。
Sum_{n奇数}|mu(n)|*x^n/(1+x^(2*n))=S_1}(2^w_1(n。
Sum_{n奇数}(-1)^((n-1)/2)*mu(n)*x^n/(1-x^(2*n))=S_3}(2^w_3(n
G.f.A.(x)满足:A(x)=x-和{k>=2}A(x^k)-伊利亚·古特科夫斯基2019年5月11日
a(n)=符号(A023900号(n) )*[A007947号(n) =n]其中[]是艾弗森括号-I.V.塞洛夫2019年5月15日
a(n)=Sum_{k=1..n}gcd(k,n)*a(gcd(k,n))=Sum_{d除以n}a(d)*d*phi(n/d)-彼得·巴拉2024年1月16日
例子
G.f.=x-x^2-x^3-x^5+x^6-x^7+x^10-x^11-x^13+x^14+x^15+。。。
MAPLE公司
带有(数字理论):A008683号:=n->mobius(n);
(数字理论):[seq(mobius(n),n=1..100)];
#请注意,旧版本的Maple将mobius(0)定义为-1。
#这是不明智的!Moebius(0)最好保持未定义状态。
带有(数字理论):
mu:=proc(n::posint)选项记住`如果`(n=1,1,
-加法(mu(d),d=除数(n)减去{n})
结束时间:
seq(mu(n),n=1..100)#阿洛伊斯·海因茨2008年8月13日
数学
阵法[MoebiusMu,100]
(*第二个节目:*)
m=100;A[_]=0;
Do[A[x_]=x-和[A[x^k],{k,2,m}]+O[x]^m//正常,{m}];
系数列表[A[x]/x,x](*Jean-François Alcover公司2019年10月20日之后伊利亚·古特科夫斯基*)
黄体脂酮素
(Axiom)[moebiusMu(n)表示1..100]中的n
(Magma)[MoebiusMu(n):在[1..100]]中的n;
(PARI)a=n->如果(n<1,0,moebius(n));
(PARI){a(n)=如果(n<1,0,direculer(p=2,n,1-X)[n])};
(PARI)列表(n)=我的(v=向量(n,i,1));对于素数(p=2,平方(n)),对于步长(i=p,n,p,v[i]*=-1);对于步骤(i=p^2,n,p^2、v[i]=0));对于素数(p=平方(n)+1,n,对于步长(i=p,n,p,v[i]*=-1));v(v)\\查尔斯·R·Greathouse IV2012年4月27日
(最大值)A008683号(n) :=moebius(n)$制作列表(A008683号(n) ,n,1,30)/*马丁·埃特尔2012年10月24日*/
(哈斯克尔)
导入数学。数字理论。底漆。分解(factorise)
a008683=亩。瑞士。解压缩。因式分解,其中
mu[]=1;μ(1:es)=-μes;mu(_:es)=0
--莱因哈德·祖姆凯勒2015年12月13日,2013年10月9日
(鼠尾草)
@缓存函数
定义mu(n):
如果n<2:返回n
返回和(除数(n)[:-1]中d的mu(d))
#改变和的符号可以得到n的有序因式分解数A074206号.
打印([mu(n)代表n in(1..96)])#彼得·卢什尼2016年12月26日
(Python)
来自sympy import mobius
打印([范围(1101)中i的mobius(i)])#因德拉尼尔·戈什2017年3月18日
交叉参考
a(n)的变量为A178536号,181434英镑,A181435号.
囊性纤维变性。A059956元(s=2时的Dgf),A088453号(s=3时的Dgf),A215267型(s=4时的Dgf),A343308型(s=5时的Dgf)。
关键词
核心,签名,容易的,复数,美好的
作者
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|转换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年6月3日20:36。包含373088个序列。(在oeis4上运行。)