On the difference equationx_{n + 1} = \frac{{a + bx_{n - k} - cx_{n - m} }}{{1 + g(x_{n - 1} )}}

In this paper we consider the difference equation $$x_{n + 1} = \frac{{a + bx_{n - k} - cx_{n - m} }}{{1 + g(x_{n - 1} )}},$$ wherea, b, c are nonegative real numbers,k, l, m are nonnegative integers andg(x) is a nonegative real function. The oscillatory and periodic character, the boundedness and the stability of positive solutions of the equation is investigated. The existence and nonexistence of two-period positive solutions are investigated in details. In the last section of the paper we consider a generalization of the equation.     

On the difference equationx_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}

We study, firstly, the dynamics of the difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - 1}^p }}$ , withp ∈ (0,1) and α∈ [0, ∞). Then, we generalize our results to the (k + 1)th order difference equation $x_{n + 1} = \alpha + \frac{{x_n^p }}{{x_{n - k}^p }}$ ,k = 2, 3,... with positive initial conditions.     

On the rational recursive sequencex_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }}

The main objective of this paper is to study the boundedness character, the periodic character and the global stability of the positive solutions of the following difference equation $x_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }},n = 0,1,2.....$ where the coefficientsA, B, C, D, α, β, γ, δ, and the initial conditionsx _-3,x _-2,x _-1,x ₀ are arbitrary positive real numbers.     

On the recursive sequencex_{n + 1} = \alpha + \frac{{x_{n - 1}^p }}{{x_n^p }}

The boundedness, global attractivity, oscillatory and asymptotic periodicity of the positive solutions of the difference equation of the form $$x_{n + 1} = \alpha + \frac{{x_{n - 1}^p }}{{x_n^p }}, n = 0,1,...$$ is investigated, where all the coefficients are nonnegative real numbers.     

Global attractivity of the recursive sequencex_{n + 1} = \frac{{\alpha - \beta x_{n - k} }}{{\gamma + x_n }}

Our aim in this paper is to investigate the global attractivity of the recursive sequence $$x_{n + 1} = \frac{{\alpha - \beta x_{n - k} }}{{\gamma + x_n }},$$ where α, β, γ >0 andk=1,2,… We show that the positive equilibrium point of the equation is a global attractor with a basin that depends on certain conditions posed on the coefficients.     

Linearity and Second Fundamental Forms for Proper Holomorphic Maps from \mathbb{B}^{n+1} to \mathbb{B}^{4n-3}

For a holomorphic proper map F from the ball $\mathbb{B}^{n+1}$ into $\mathbb{B}^{N+1}$ that is C ³ smooth up to the boundary, the image $M=F(\partial\mathbb{B}^{n})$ is an immersed CR submanifold in the sphere $\partial \mathbb{B}^{N+1}$ on which some second fundamental forms II _M and $\mathit{II}^{CR}_{M}$ can be defined. It is shown that when 4??n+1<N+1??4n?3, F is linear fractional if and only if $\mathit{II}_{M} - \mathit{II}_{M}^{CR} \equiv 0$ .     

On the Diophantine equation \dfrac{ax^{n+2l}+c}{abt^{2}x^{n}+c}{\displaystyle\frac{ax^{n+2l}+c}{abt^{2}x^{n}+c}}=by^{2}

We obtain all solutions of the equation $\frac{ax^{n+2l}+c}{abt^{2}x^{n}+c} = by^{2}$ with c??{??1,??2,??4}.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Dynamics of the max-type difference equation x_{n}=\max\{\frac{ 1}{ x_{n-m}} , \frac{A_{n} }{x_{n-r} }\}

In this paper, we study the periodicity, the boundedness and the convergence of the following max-type difference equation $$x_n =\max\biggl\{\frac{ 1}{ x_{n-m}} , \frac{A_n }{x_{n-r} }\biggr \},\quad n =0, 1,2,\ldots,$$ where $\{A_{n}\}^{+\infty}_{n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0, m??{1,2} and r??{2,3,??} with m<r, the initial values x _?r ,??,x _?1??(0,+??). The special case when $m = 1, r = 2, \{A_{n}\}^{+\infty}_{ n=0}$ is a periodic sequence with period k and A _n ??(0,1) for every n??0 has been completely investigated by Y.?Chen. Here we extend his results to the general case.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

On the difference equation y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }}

In this paper, we investigate the global stability and the periodic nature of solutions of the difference equation $y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }},n = 0,1,2,... $ where α, β, γ ∈ (0,∞), α(1 ? p) ? γ > 0, 0 < p < 1, every y _n ≠ 0 for n = ?1, 0, 1, 2, … and the initial conditions y?1, y0 are arbitrary positive real numbers. We show that the equilibrium point of the difference equation is a global attractor with a basin that depends on the conditions of the coefficients.     

Global asymptotic stability of the higher order equation $$x_{n+1} = \frac{ ax_{n}+bx_{n-k}}{A+Bx_{n-k}}$$

In this paper, we investigate the local and global stability and the period two solutions of all nonnegative solutions of the difference equation,

$$\begin{aligned} x_{n+1} = \frac{ ax_{n}+bx_{n-k}}{A+Bx_{n-k}} \end{aligned}$$

where a, b, A, B are all positive real numbers, \(k \ge 1\) is a positive integer, and the initial conditions \(x_{-k},x_{-k+1},...,x_{0}\) are nonnegative real numbers. It is shown that the zero equilibrium point is globally asymptotically stable under the condition \(a+b \le A\), and the unique positive solution is also globally asymptotically stable under the condition \(a-b \le A \le a+b\). By the end, we study the global stability of such an equation through numerically solved examples.

     

Hyperbolic Laplace Operator and the Weinstein Equation in {\mathbb{R}^3}

We study the Weinstein equation $$\Delta u - \frac{k}{{x}_{2}} \frac{\partial}{\partial{x}_{2}} + \frac{l}{x^{2}_{2}}u = 0$$ , on the upper half space ${\mathbb{R}^3_{+} = \{ (x_{0}, x_{1}, x_{2}) \in \mathbb{R}^{3} | x_2 > 0\}}$ in case ${4l \leq (k + 1)^{2}}$ . If l =  0 then the operator ${x^{2k}_{2} (\Delta - \frac{k}{x_{2}} \frac{\partial}{\partial{x}_{2}})}$ is the Laplace- Beltrami operator of the Riemannian metric ${ds^2 = x^{-2k}_{2} (\sum^{2}_{i = 0} dx^{2}_{i})}$ . The general case ${\mathbb{R}^{n}_{+}}$ has been studied earlier by the authors, but the results are improved in case ${\mathbb{R}^3_{+}}$ . If k =  1 then the Riemannian metric is the hyperbolic distance of Poincaré upper half-space. The Weinstein equation is connected to the axially symmetric potentials. We compute solutions of the Weinstein equation depending only on the hyperbolic distance and x ₂. The solutions of the Weinstein equation form a socalled Brelot harmonic space and therefore it is known that they satisfy the mean value properties with respect to the harmonic measure. However, without using the theory of Brelot harmonic spaces, we present the explicit mean value properties which give a formula for a harmonic measure evaluated in the center point of the hyperbolic ball. Earlier these results were proved only for k =  1 and l =  0 or k =  1 and l =  1. We also compute the fundamental solutions. The main tools are the hyperbolic metric and its invariance properties. In the consecutive papers, these results are applied to find explicit kernels for k-hypermonogenic functions that are higher dimensional generalizations of complex holomorphic functions.     

\mathcal{D}-modules with finite support are semi-simple

Let \((R, \frak{m}, k_{R})\) be a regular local k-algebra satisfying the weak Jacobian criterion, and such that k _R /k is an algebraic field extension. Let \(\mathcal{D}_{R}\) be the ring of k-linear differential operators of R. We give an explicit decomposition of the \(\mathcal{D}_{R}\) -module \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}_{R}^{n+1}\) as a direct sum of simple modules, all isomorphic to \(\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}\) , where certain “Pochhammer” differential operators are used to describe generators of the simple components.     

Unbounded solutions of the max-type difference equation x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\}

We investigate the boundedness nature of positive solutions of the difference equation $$ x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\},n = 0,1,..., $$ where {A _n } _n=0 ^∞ and {B _n } _n=0 ^∞ are periodic sequences of positive real numbers.     

Inequalities for the Volume of the Unit Ball in {\mathbb{R}^{n}}

The volume of the unit ball in ${\mathbb{R}^{n}}$ is defined by $$\Omega_{n} = \frac{\pi^{n/2}}{\Gamma(n/2+1)},\qquad n = 1,2,3,\ldots,$$ where Γ denotes the classical gamma function of Euler. In several recently published papers numerous authors studied properties of Ω _n . In particular, various inequalities involving Ω _n are given in the literature. In this paper, we continue the work on this subject and offer new inequalities. More precisely, we offer sharp upper and lower bounds for $$\frac{\Omega_{n}^{2}}{\Omega_{n-1} \Omega_{n+1}},\quad\frac{\Omega_{n}}{\Omega_{n-1}+\Omega_{n+1}} \quad {\rm and} \quad\Omega_{n}.$$      

The 2-Page Crossing Number of K_{n}

Around 1958, Hill described how to draw the complete graph $K_n$ K n with $$\begin{aligned} Z(n) :=\frac{1}{4}\Big \lfloor \frac{n}{2}\Big \rfloor \Big \lfloor \frac{n-1}{2}\Big \rfloor \Big \lfloor \frac{n-2}{2}\Big \rfloor \Big \lfloor \frac{n-3}{2}\Big \rfloor \end{aligned}$$ Z ( n ) : = 1 4 ? n 2 ? ? n ? 1 2 ? ? n ? 2 2 ? ? n ? 3 2 ? crossings, and conjectured that the crossing number ${{\mathrm{cr}}}(K_{n})$ cr ( K n ) of $K_n$ K n is exactly $Z(n)$ Z ( n ) . This is also known as Guy’s conjecture as he later popularized it. Towards the end of the century, substantially different drawings of $K_{n}$ K n with $Z(n)$ Z ( n ) crossings were found. These drawings are 2-page book drawings, that is, drawings where all the vertices are on a line $\ell $ ? (the spine) and each edge is fully contained in one of the two half-planes (pages) defined by  $\ell $ ? . The 2-page crossing number of $K_{n} $ K n , denoted by $\nu _{2}(K_{n})$ ν 2 ( K n ) , is the minimum number of crossings determined by a 2-page book drawing of $K_{n}$ K n . Since ${{\mathrm{cr}}}(K_{n}) \le \nu _{2}(K_{n})$ cr ( K n ) ≤ ν 2 ( K n ) and $\nu _{2}(K_{n}) \le Z(n)$ ν 2 ( K n ) ≤ Z ( n ) , a natural step towards Hill’s Conjecture is the weaker conjecture $\nu _{2}(K_{n}) = Z(n)$ ν 2 ( K n ) = Z ( n ) , popularized by Vrt’o. In this paper we develop a new technique to investigate crossings in drawings of $K_{n}$ K n , and use it to prove that $\nu _{2}(K_{n}) = Z(n) $ ν 2 ( K n ) = Z ( n ) . To this end, we extend the inherent geometric definition of $k$ k -edges for finite sets of points in the plane to topological drawings of $K_{n}$ K n . We also introduce the concept of ${\le }{\le }k$ ≤ ≤ k -edges as a useful generalization of ${\le }k$ ≤ k -edges and extend a powerful theorem that expresses the number of crossings in a rectilinear drawing of $K_{n}$ K n in terms of its number of ${\le }k$ ≤ k -edges to the topological setting. Finally, we give a complete characterization of crossing minimal 2-page book drawings of $K_{n}$ K n and show that, up to equivalence, they are unique for $n$ n even, but that there exist an exponential number of non homeomorphic such drawings for $n$ n odd.     

On boundedness of solutions of the difference equation x_{n+1}=p+\frac{x_{n-1}}{x_{n}} for p<1

In this paper, we study the difference equation $$x_{n+1}=p+\frac{x_{n-1}}{x_n}, \quad n=0,1,\ldots, $$ where initial values x _?1,x ₀∈(0,+∞) and 0<p<1, and obtain the set of all initial values (x _?1,x ₀)∈(0,+∞)×(0,+∞) such that the positive solutions $\{x_{n}\}_{n=-1}^{\infty}$ are bounded. This answers the Open problem 4.8.11 proposed by Kulenovic and Ladas (Dynamics of Second Order Rational Difference Equations, with Open Problems and Conjectures, 2002).     

{W^{1,1}_0} -solutions for elliptic problems having gradient quadratic lower order terms

In this paper we deal with solutions of problems of the type $$\left\{\begin{array}{ll}-{\rm div} \Big(\frac{a(x)Du}{(1+|u|)^2} \Big)+u = \frac{b(x)|Du|^2}{(1+|u|)^3} +f \quad &{\rm in} \, \Omega,\\ u=0 &{\rm on} \partial \, \Omega, \end{array} \right.$$ where ${0 < \alpha \leq a(x) \leq \beta, |b(x)| \leq \gamma, \gamma > 0, f \in L^2 (\Omega)}$ and Ω is a bounded subset of ${\mathbb{R}^N}$ with N ≥ 3. We prove the existence of at least one solution for such a problem in the space ${W_{0}^{1, 1}(\Omega) \cap L^{2}(\Omega)}$ if the size of the lower order term satisfies a smallness condition when compared with the principal part of the operator. This kind of problems naturally appears when one looks for positive minima of a functional whose model is: $$J (v) = \frac{\alpha}{2} \int_{\Omega}\frac{|D v|^2}{(1 + |v|)^{2}} + \frac{12}{\int_{\Omega}|v|^2} - \int_{\Omega}f\,v , \quad f \in L^2(\Omega),$$ where in this case a(x) ≡ b(x) = α > 0.     

On solutions of the simultaneous Pell equations $$ x^{2}-\left( a^{2}-1\right) y^{2}=1$$ and $$y^{2}-pz^{2}=1$$y2-pz2=1

Let \(a\ge 2\) be an integer and p prime number. It is well-known that the solutions of the Pell equation have recurrence relations. For the simultaneous Pell equations

$$\begin{aligned}&x^{2}-\left( a^{2}-1\right) y^{2} =1 \\&y^{2}-pz^{2} =1 \end{aligned}$$

assume that \(x=x_{m}\) and \(y=y_{m}\). In this paper, we show that if \(m\ge 3\) is an odd integer, then there is no positive solution to the system. Moreover, we find the solutions completely for \(5\le a\le 14\) in the cases when \(m\ge 2\) is even integer and \(m=1\).