Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

The paper deals with the existence of a Kneser solution of the $n$-th order nonlinear differential inclusion $$\begin{array}{cc}\hfill x^{\left(n\right)}\left(t\right)\in -A_1(t,x\left(t\right),...,x^{(n-1)}\left(t\right))x^{(n-1)}\left(t\right)-...-A_n(t,x\left(t\right),...,& x^{(n-1)}\left(t\right))x\left(t\right)\\ & \text{for}\text{a.a.}t\in [a,\infty ),\end{array}$$ where $a\in (0,\infty )$, and $A_i:[a,\infty )\times {ℝ}^n\to ℝ$, $i=1,...,n,$ are upper-Carathéodory mappings. The derived result is finally illustrated by the third order Kneser problem.

Let $p$ be an odd prime, and let $a$ be an integer not divisible by $p$. When $m$ is a positive integer with $p\equiv 1(mod2m)$ and $2$ is an $m$th power residue modulo $p$, we determine the value of the product ${\prod }_{k\in R_m\left(p\right)}(1+tan(\pi ak/p))$, where $$R_m\left(p\right)=\{0<k<p:k\in \mathbb{Z}\text{is}\text{an}m\text{th}\text{power}\text{residue}\text{modulo}p\}.$$ In particular, if $p=x^2+64y^2$ with $x,y\in \mathbb{Z}$, then $$\prod _{k\in R_4\left(p\right)}\left(1+tan\pi \frac{ak}{p}\right)={(-1)}^y{(-2)}^{(p-1)/8}.$$

We investigate the following quasilinear and singular problem, $$\text{t}o2.7cm\left\{\begin{array}{cc}-{\Delta }_{p}u=\frac{\lambda }{u^{\delta }}+u^q\hfill & \text{in}\Omega ;\hfill \\ {u|}_{\partial \Omega }=0,u\&gt;0\hfill & \text{in}\Omega ,\hfill \end{array}\right.\text{t}o2.7cm\text{(P)}$$ where $\Omega$ is an open bounded domain with smooth boundary, $1\&lt;p\&lt;\infty$, $p-1\&lt;q\le p^{*}-1$, $\lambda \&gt;0$, and $0\&lt;\delta \&lt;1$. As usual, $p^{*}=\frac{Np}{N-p}$ if $1\&lt;p\&lt;N$, $p^{*}\in (p,\infty )$ is arbitrarily large if $p=N$, and $p^{*}=\infty$ if $p\&gt;N$. We employ variational methods in order to show the existence of at least two distinct (positive) solutions of problem (P) in $W_0^{1,p}\left(\Omega \right)$. While following an approach due to Ambrosetti-Brezis-Cerami, we need to prove two new results of separate interest: a strong comparison principle...

A graph $G$ is called $\{H_1,H_2,\cdots ,H_k\}$-free if $G$ contains no induced subgraph isomorphic to any graph $H_i$, $1\le i\le k$. We define $${\sigma }_k=min\left\{\sum _{i=1}^{k}d\left(v_i\right):\{v_1,\cdots ,v_k\}\text{is}\text{an}\text{independent}\text{set}\text{of}\text{vertices}\text{in}G\right\}.$$ In this paper, we prove that (1) if $G$ is a connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and ${\sigma }_3\left(G\right)\ge n-1$, then $G$ is traceable, (2) if $G$ is a 2-connected $\{K_{1,4},K_{1,4}+e\}$-free graph of order $n$ and $|N\left(x_1\right)\cup N\left(x_2\right)|+|N\left(y_1\right)\cup N\left(y_2\right)|\ge n-1$ for any two distinct pairs of non-adjacent vertices $\{x_1,x_2\}$, $\{y_1,y_2\}$ of $G$, then $G$ is traceable, i.e., $G$ has a Hamilton path, where $K_{1,4}+e$ is a graph obtained by joining a pair of non-adjacent vertices in a $K_{1,4}$.

Let $C$ be a smooth curve of genus $g$. For each positive integer $r$ the birational $r$-gonality $s_r\left(C\right)$ of $C$ is the minimal integer $t$ such that there is $L\in {\text{Pic}}^t\left(C\right)$ with $h^0(C,L)=r+1$. Fix an integer $r\ge 3$. In this paper we prove the existence of an integer $g_r$ such that for every integer $g\ge g_r$ there is a smooth curve $C$ of genus $g$ with $s_{r+1}\left(C\right)/(r+1)>s_r\left(C\right)/r$, i.e. in the sequence of all birational gonalities of $C$ at least one of the slope inequalities fails.

In this paper, we consider solutions to the following chemotaxis system with general sensitivity $$\left\{\begin{array}{c}\tau u_t=\Delta u-\nabla ·\left(u\nabla \chi \left(v\right)\right)\text{in}\Omega \times (0,\infty ),\hfill \\ \eta v_t=\Delta v-v+u\text{in}\Omega \times (0,\infty ),\hfill \\ {\displaystyle \frac{\partial u}{\partial \nu }=\frac{\partial u}{\partial \nu }=0\text{on}\partial \Omega \times (0,\infty ).}\hfill \end{array}\right.$$ Here, $\tau$ and $\eta$ are positive constants, $\chi$ is a smooth function on $(0,\infty )$ satisfying ${\chi }^{\text{'}}(·)>0$ and $\Omega$ is a bounded domain of ${𝐑}^n$ ($n\ge 2$). It is well known that the chemotaxis system with direct sensitivity ($\chi \left(v\right)={\chi }_{0}v$, ${\chi }_0>0$) has blowup solutions in the case where $n\ge 2$. On the other hand, in the case where $\chi \left(v\right)={\chi }_{0}logv$ with $0<{\chi }_0\ll 1$, any solution to the system exists globally in time and is bounded. We present a sufficient condition for the boundedness...

Let $\mathrm{T}$ be the family of all typically real functions, i.e. functions that are analytic in the unit disk $\Delta :=\{z\in ℂ:|z|<1\}$, normalized by $f\left(0\right)=f^{\text{'}}\left(0\right)-1=0$ and such that Im $z$ Im $f\left(z\right)$ $\ge 0$ for $z\in \Delta$. Moreover, let us denote: ${\mathrm{T}}^{\left(2\right)}:=\{f\in \mathrm{T}:f\left(z\right)=-f(-z)\text{for}z\in \Delta \}$ and ${\mathrm{T}}^{M,g}:=\{f\in \mathrm{T}:f\prec Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}\cap \mathrm{S}$ and $\mathrm{S}$ consists of all analytic functions, normalized and univalent in $\Delta$.We investigate  classes in which the subordination is replaced with the majorization and the function $g$ is typically real but does not necessarily univalent, i.e. classes $\{f\in \mathrm{T}:f\ll Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}$, which we denote...

Let $X$ be a proper, smooth, geometrically connected curve over a $p$-adic field $k$. Lichtenbaum proved that there exists a perfect duality: $$\text{Br}\left(X\right)\times \text{Pic}\left(X\right)\to \mathbb{Q}/\mathbb{Z}$$ between the Brauer and the Picard group of $X$, from which he deduced the existence of an injection of $\text{Br}\left(X\right)$ in ${\displaystyle \prod _{P\in X}\text{Br}\left(k_P\right)}$ where $P\in X$ and $k_P$ denotes the residual field of the point $P$. The aim of this paper is to prove that if $G=\tilde{G}$ is an $X_{et}$- scheme of semi-simple simply connected groups (s.s.s.c groups), then we can deduce from Lichtenbaum’s results...

We study the existence and nonexistence of positive solutions of the nonlinear equation $$-{\Delta }_{p\left(x\right)}u=\lambda k\left(x\right)u^q\pm h\left(x\right)u^r\text{in}\Omega ,u=0\text{on}\partial \Omega$$ where $\Omega \subset {ℝ}^N$, $N\ge 2$, is a regular bounded open domain in ${ℝ}^N$ and the $p\left(x\right)$-Laplacian $${\Delta }_{p\left(x\right)}u:={\text{div}\left(\right|\nabla u|}^{p\left(x\right)-2}\nabla u)$$ is introduced for a continuous function $p\left(x\right)>1$ defined on $\Omega$. The positive parameter $\lambda$ induces the bifurcation phenomena. The study of the equation (Q) needs generalized Lebesgue and Sobolev spaces. In this paper, under suitable assumptions, we show that some variational methods still work. We use them to prove the existence of positive...

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\&gt;0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \&gt;0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

We use the genus theory to prove the existence and multiplicity of solutions for the fractional $p$-Kirchhoff problem $$\left\{\begin{array}{c}{\displaystyle -{\left[M\left({\int }_Q{\displaystyle \frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{N+ps}}}\mathrm{d}x\mathrm{d}y\right)\right]}^{p-1}{(-\Delta )}_p^{s}u=\lambda h(x,u)\text{in}\Omega ,}\hfill \\ u=0\text{on}{ℝ}^N\setminus \Omega ,\hfill \end{array}\right.$$ where $\Omega$ is an open bounded smooth domain of ${ℝ}^N$, $p>1$, $N>ps$ with $s\in (0,1)$ fixed, $Q={ℝ}^{2N}\setminus (C\Omega \times C\Omega )$, $\lambda >0$ is a numerical parameter, $M$ and $h$ are continuous functions.

Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}\left(V\right):=dim{H}^0(V,12K_V)\&gt;0$ and $P_{m_0}\left(V\right)\&gt;1$ for some positive integer $m_0\le 24$. A direct consequence is the birationality of the pluricanonical map ${\varphi }_m$ for all $m\ge 126$. Besides, the canonical volume $\text{Vol}\left(V\right)$ has a universal lower bound $\nu \left(3\right)\ge \frac{1}{63·{126}^2}$.

The classical Segre theory gives a necessary and sufficient condition for a plane curve to be a branch curve of a (generic) projection of a smooth surface in ${\mathbb{P}}^3$. We generalize this result for smooth surfaces in a projective space of any dimension in the following way: given two plane curves, $B$ and $E$, we give a necessary and sufficient condition for $B$ to be the branch curve of a surface $X$ in ${\mathbb{P}}^N$ and $E$ to be the image of the double curve of a ${\mathbb{P}}^3$-model of $X$. In the classical Segre theory, a...

The author proved in 2018 that if $G$ is an open subset of a Hilbert space, $f_1,f_2:G\to ℝ$ continuous functions and $\omega$ a nontrivial modulus such that $f_1\le f_2$, $f_1$ is locally semiconvex with modulus $\omega$ and $f_2$ is locally semiconcave with modulus $\omega$, then there exists $f\in C_{\text{loc}}^{1,\omega }\left(G\right)$ such that $f_1\le f\le f_2$. This is a generalization of Ilmanen’s lemma (which deals with linear modulus and functions on an open subset of ${ℝ}^n$). Here we extend the mentioned result from Hilbert spaces to some superreflexive spaces, in particular to $L^p$ spaces, $p\in [2,\infty )$. We...

Let $R$ be a commutative ring with an identity different from zero and $n$ be a positive integer. Anderson and Badawi, in their paper on $n$-absorbing ideals, define a proper ideal $I$ of a commutative ring $R$ to be an $n$-absorbing ideal of $R$, if whenever $x_1\cdots x_{n+1}\in I$ for $x_1,...,x_{n+1}\in R$, then there are $n$ of the $x_i$’s whose product is in $I$ and conjecture that ${\omega }_{R\left[X\right]}\left(I\left[X\right]\right)={\omega }_R\left(I\right)$ for any ideal $I$ of an arbitrary ring $R$, where ${\omega }_R\left(I\right)=min\{n:I\text{is}\text{an}n\text{-absorbing}\text{ideal}\text{of}R\}$. In the present paper, we use content formula techniques to prove that their conjecture is true, if one of the following...

Let $G=(V_G,E_G)$ be a graph and let $N_G\left[v\right]$ denote the closed neighbourhood of a vertex $v$ in $G$. A function $f:V_G\to \{-1,0,1\}$ is said to be a balanced dominating function (BDF) of $G$ if ${\sum }_{u\in N_G\left[v\right]}f\left(u\right)=0$ holds for each vertex $v\in V_G$. The balanced domination number of $G$, denoted by ${\gamma }_b\left(G\right)$, is defined as $${\gamma }_b\left(G\right)=max\left\{\sum _{v\in V_G}f\left(v\right):f\text{is}\text{a}\text{BDF}\text{of}G\right\}.$$ A graph $G$ is called $d$-balanced if ${\gamma }_b\left(G\right)=0$. The novel concept of balanced domination for graphs is introduced. Some upper bounds on the balanced domination number are established, in which one is the best possible bound and the rest are sharp, all the...