While looking at the function $$f(x)=\sum_{k|x} \mu(k)*\sigma_0(k)$$ where $\mu(x)$ is the mobius function and $\sigma_0(x)$ is the number of divisors of $x$, I noticed that $f(x)$ is either $1$ or $-1$ and also that if $x$ is a power of a prime number then $f(x)=-1$. At first i thought that $f(x)=-1$ if and only if x is a power of a prime number but this pattern breaks with $x=30$. Can somebody explain to me when $f(x)$ is equal to $1$ and $-1$ and if those are the only numbers that can occure?
2026-03-25 09:22:26.1774430546
Mobius and Divisor-Counting function
82 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in MOBIUS-FUNCTION
- A question about Mertens function $M(n)=\sum_{k=1}^n\mu(n)$
- A good estimation of the inverse $f^{-1}(x)$ of $-\sum_{n=2}^\infty\frac{\mu(n)}{n}x^n$, over the unit inverval if it has mathematical meaning
- Find a continuous function, over the unit interval, satisfying $\int_0^x f(u)du\geq \sum_{n=1}^\infty\frac{\mu(n)}{n^2}x^{n-1}$ for each $ x\in[0,1]$
- A rigorous proof of $\Re\int_0^{2\pi}\left(\sum_{n=1}^{\infty}\frac{\mu(n)}{n}\log\left(\frac{1}{1-ne^{i\theta}}\right)\right)d\theta=2\pi$
- An inequality deduced for $-\sum_{n=1}^\infty\frac{\mu(n)}{n}x^{n-1}$ on assumption of convexity, invoking a theorem due to Dragomir
- Why $\sum\frac{\mu(h)\mu(k)}{hk}\gcd(h,k)=\prod\limits_{p\le x}\left(1-\frac1p\right)$, where the sum enumerates the pairs $(h,k)$ of primes below $x$
- Two questions concerning series involving the Möbius function and trigonometric functions
- Where is positive or negative the function $\sum_{n=1}^\infty\frac{\mu(n)}{n}\left(\frac{\cos(nx)}{n}\right)^2$ over the set $[0,2\pi]$?
- Prove $ \left\vert \sum_{n=1}^N \frac{\mu(n)}{n} \right\vert \leqslant 1,$ where $\mu(n)$ is the Mobius function.
- Justify an approximation of $-\sum_{n=2}^\infty H_n\left(\frac{1}{\zeta(n)}-1\right)$, where $H_n$ denotes the $n$th harmonic number
Related Questions in DIVISOR-COUNTING-FUNCTION
- Bound on Divisor Counting Function
- If an odd perfect number exist could be a solitary number?
- Help in showing that a function is multiplicative
- Find all postive integers $n$ such that $n+\tau{(n)}=2\varphi{(n)}$
- Find all postive integers $n$ such that $n+\varphi{(n)}=2\tau{(n)}$
- Modified sieve to find count all the divisors from 1 to n in o(n) time
- A conjecture concerning the number of divisors and the sum of divisors.
- Proof of sum of positive divisors of $n$ (probably repeated question somewhere in the stack)
- Can I efficiently (without brute force) determine the smallest number having the given property?
- Has $\sigma\left(\sigma_0(n)^4\right)=n$ infinitely many solutions?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Assume that $n=\prod_{k=1}^{\omega(n)} p_k^{\alpha_k}$. For any $d\mid n$, $\mu(d)$ equals $\pm 1$ iff $d$ is squarefree, and in such a case $\sigma_0(d)$ equals $2^{\omega(d)}$. It follows that $$ \sum_{d\mid n}\mu(d)\sigma_0(d) = \sum_{E\subset\{1,\ldots,\omega(n)\}}(-2)^{|E|}=\sum_{k=0}^{\omega(n)}\binom{\omega(n)}{k}(-2)^k=(1-2)^{\omega(n)}=(-1)^{\omega(n)}. $$