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.

We report on results we recently obtained in Hebey and Thizy [11, 12] for critical stationary Kirchhoff systems in closed manifolds. Let $(M^n,g)$ be a closed $n$-manifold, $n\ge 3$. The critical Kirchhoff systems we consider are written as $$\left(a+b\sum _{j=1}^p{\int }_M{\left|\nabla u_j\right|}^{2}d{v}_g\right){\Delta }_g{u}_i+\sum _{j=1}^p{A}_{ij}{u}_j={\left|U\right|}^{2^{☆}-2}{u}_i$$ for all $i=1,\cdots ,p$, where ${\Delta }_g$ is the Laplace-Beltrami operator, $A$ is a $C^1$-map from $M$ into the space $M_s^p\left(ℝ\right)$ of symmetric $p\times p$ matrices with real entries, the $A_{ij}$’s are the components of $A$, $U=(u_1,\cdots ,u_p)$, $\left|U\right|:M\to ℝ$ is the Euclidean norm of $U$, $2^{☆}=\frac{2n}{n-2}$ is the critical Sobolev exponent, and...

In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\cdots ,g_k$ with order $n_1,\cdots ,n_k\in \{1,2,\cdots \}\cup \left\{\infty \right\}$, then $${\beta }_1^{\left(2\right)}\left(G\right)\le k-1-\sum _{i=1}^k\frac{1}{n_i},$$ where ${\beta }_1^{\left(2\right)}\left(G\right)$ denotes the first ${\ell }^2$-Betti number of $G$. We also show that any $k$-generated group with ${\beta }_1^{\left(2\right)}\left(G\right)\ge k-1-\epsilon$ must have girth greater than or equal $1/\epsilon$.

The aim of this work is to study oscillation properties for a scalar linear difference equation of mixed type $$\Delta x\left(n\right)+\sum _{k=-p}^q{a}_k\left(n\right)x(n+k)=0,n>n_0,$$ where $\Delta x\left(n\right)=x(n+1)-x\left(n\right)$ is the difference operator and $\left\{a_k\left(n\right)\right\}$ are sequences of real numbers for $k=-p,...,q$, and $p>0$, $q\ge 0$. We obtain sufficient conditions for the existence of oscillatory and nonoscillatory solutions. Some asymptotic properties are introduced.

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\<p\<\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

The aim of this paper is to establish an existence and uniqueness result for a class of the set functional differential equations of neutral type$$\left\{\begin{array}{c}{D}_{H}X\left(t\right)=F(t,X_t,D_H{X}_t),\hfill \\ {X|}_{[-r,0]}=\Psi ,\hfill \end{array}\right.$$ where $F:[0,b]\times {𝒞}_0\times {𝔏}_0^1\to K_c\left(E\right)$ is a given function, $K_c\left(E\right)$ is the family of all nonempty compact and convex subsets of a separable Banach space $E$, ${𝒞}_0$ denotes the space of all continuous set-valued functions $X$ from $[-r,0]$ into $K_c\left(E\right)$, ${𝔏}_0^1$ is the space of all integrally bounded set-valued functions $X:[-r,0]\to K_c\left(E\right)$, $\Psi \in {𝒞}_0$ and $D_H$ is the Hukuhara derivative. The continuous dependence of solutions on initial...

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

We consider the summation equation, for $t\in {[\mu -2,\mu +b]}_{{\mathbb{N}}_{\mu -2}}$, $$\begin{array}{ccc}\hfill y\left(t\right)={\gamma }_1\left(t\right)H_1\left(\sum _{i=1}^n{a}_{i}y\left({\xi }_i\right)\right)& +{\gamma }_2\left(t\right)H_2\left(\sum _{i=1}^m{b}_{i}y\left({\zeta }_i\right)\right)\hfill & \hfill +\lambda \sum _{s=0}^{b}G(t,s)f(s+\mu -1,y(s+\mu -1))\end{array}$$ in the case where the map $(t,s)\mapsto G(t,s)$ may change sign; here $\mu \in (1,2]$ is a parameter, which may be understood as the order of an associated discrete fractional boundary value problem. In spite of the fact that $G$ is allowed to change sign, by introducing a new cone we are able to establish the existence of at least one positive solution to this problem by imposing some growth conditions on the functions $H_1$ and $H_2$. Finally, as an application of the abstract existence...

In this paper, we introduce an explicit formula and discuss the global behavior of solutions of the difference equation $$x_{n+1}=\frac{a{x}_{n-3}}{b+c{x}_{n-1}{x}_{n-3}},n=0,1,\cdots$$ where $a,b,c$ are positive real numbers and the initial conditions $x_{-3}$, $x_{-2}$, $x_{-1}$, $x_0$ are real numbers.

Let $\sum _{n=1}^{\infty }{a}_n$ be a convergent series of positive real numbers. L. Olivier proved that if the sequence $\left(a_n\right)$ is non-increasing, then $\underset{n\to \infty }{lim}n{a}_n=0$. In the present paper: (a) We formulate and prove a necessary and sufficient condition for having $\underset{n\to \infty }{lim}n{a}_n=0$; Olivier’s theorem is a consequence of our Theorem . (b) We prove properties analogous to Olivier’s property when the usual convergence is replaced by the $ℐ$-convergence, that is a convergence according to an ideal $ℐ$ of subsets of $\mathbb{N}$. Again, Olivier’s theorem is a consequence...