Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

Let $M$ be a given nonempty set of positive integers and $S$ any set of nonnegative integers. Let $\overline{\delta }\left(S\right)$ denote the upper asymptotic density of $S$. We consider the problem of finding $$\mu \left(M\right):=\underset{S}{sup}\overline{\delta }\left(S\right),$$ where the supremum is taken over all sets $S$ satisfying that for each $a,b\in S$, $a-b\notin M.$ In this paper we discuss the values and bounds of $\mu \left(M\right)$ where $M=\{a,b,a+nb\}$ for all even integers and for all sufficiently large odd integers $n$ with $a<b$ and $gcd(a,b)=1.$

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Let $p,q\in ℝ$ with $p-q\ge 0$, $\sigma =\frac{1}{2}(p+q-1)$ and $s=\frac{1}{2}(1-p+q)$, and let $${𝒟}_m(x;p,q)={𝒟}_0(x;p,q)+\sum _{k=1}^m\frac{B_{2k}\left(s\right)}{2k{(x+\sigma )}^{2k}},$$ where $${𝒟}_0(x;p,q)=\frac{\psi (x+p)+\psi (x+q)}{2}-ln(x+\sigma ).$$ We establish the asymptotic expansion $${𝒟}_0(x;p,q)\sim -\sum _{n=1}^{\infty }\frac{B_{2n}\left(s\right)}{2n{(x+\sigma )}^{2n}}\text{as}x\to \infty ,$$ where $B_{2n}\left(s\right)$ stands for the Bernoulli polynomials. Further, we prove that the functions ${(-1)}^m{𝒟}_m(x;p,q)$ and ${(-1)}^{m+1}{𝒟}_m(x;p,q)$ are completely monotonic in $x$ on $(-\sigma ,\infty )$ for every $m\in {\mathbb{N}}_0$ if and only if $p-q\in [0,\frac{1}{2}]$ and $p-q=1$, respectively. This not only unifies the two known results but also yields some new results.

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.