与一类算术函数关联的矩阵的行列式的下界

设f为一个算术函数,S={x 1,…,x n}为一个n元正整数集合.称S为gcd-封闭的, 如果对于任意1 i,j n,均有(x i,x j)∈S.以 ={y 1,…,y m}表示包含S的最小gcd-封闭的正整数集合. 设(f(x i,x j))表示一个n×n矩阵, 其(i,j)项为f在x i与x j的最大公因子(x i,x j)处的值. 设(fx i,x j])表示一个n×n矩阵, 其(i,j)项为f在x i与x j的最小公倍数x i.xj]处的值. 本文证明了: (i) 如果f∈C s ={f:(f*μ)(d)>0, x∈S,d|x},这里f*μ表示f与μ的Dirichlet乘积,μ表示M bius函数,那么 并且(1)取等号当且仅当S=;(ii)如果f为乘法函数,并且 ∈Cs,那么 并且(2)取等号当且仅当S= .不等式(1)和(2)分别改进了Bourque与Ligh在1993年和1995年所得到的结果.