The function $f\left(z\right)=z^p+{\sum }_{k=1}^{\infty }{a}_{p+k}{z}^{p+k}$ (p ∈ ℕ = 1,2,3,...) analytic in the unit disk E is said to be in the class $K_{n,p}\left(h\right)$ if ($D^{n+p}f)/\left(D^{n+p-1}f\right)\prec h$, where $D^{n+p-1}f=\left(z^p\right)/\left({(1-z)}^{p+n}\right)*f$ and h is convex univalent in E with h(0) = 1. We study the class $K_{n,p}\left(h\right)$ and investigate whether the inclusion relation $K_{n+1,p}\left(h\right)\subseteq K_{n,p}\left(h\right)$ holds for p > 1. Some coefficient estimates for the class are also obtained. The class $A_{n,p}(a,h)$ of functions satisfying the condition $a*\left(D^{n+p}f\right)/\left(D^{n+p-1}f\right)+(1-a)*\left(D^{n+p+1}f\right)/\left(D^{n+p}f\right)\prec h$ is also studied.

Let $p^{\text{'}}$ and $q^{\text{'}}$ be points in ${ℝ}^n$. Write $p^{\text{'}}\sim q^{\text{'}}$ if $p^{\text{'}}-q^{\text{'}}$ is a multiple of $(1,...,1)$. Two different points $p$ and $q$ in ${ℝ}^n/\sim$ uniquely determine a tropical line $L(p,q)$ passing through them and stable under small perturbations. This line is a balanced unrooted semi-labeled tree on $n$ leaves. It is also a metric graph. If some representatives $p^{\text{'}}$ and $q^{\text{'}}$ of $p$ and $q$ are the first and second columns of some real normal idempotent order $n$ matrix $A$, we prove that the tree $L(p,q)$ is described by a matrix $F$, easily obtained from $A$. We also...

 Let $F_i=1,...,N$ be affine mappings of ${ℝ}^n$. It is well known that if there exists j ≤ 1 such that for every ${\sigma }_1,...,{\sigma }_j\in 1,...,N$ the composition (1) $F_{\sigma 1}\circ ...\circ F_{{\sigma }_j}$ is a contraction, then for any infinite sequence ${\sigma }_1,{\sigma }_2,...\in 1,...,N$ and any $z\in {ℝ}^n$, the sequence (2)$F_{\sigma 1}\circ ...\circ F_{{\sigma }_n}\left(z\right)$ is convergent and the limit is independent of z. We prove the following converse result: If (2) is convergent for any $z\in {ℝ}^n$ and any $\sigma ={\sigma }_1,{\sigma }_2,...$ belonging to some subshift Σ of N symbols (and the limit is independent of z), then there exists j ≥ 1 such that for every $\sigma ={\sigma }_1,{\sigma }_2,...\in \Sigma$ the composition (1) is a contraction....

We prove the following theorem: Given a⊆ω and $1\le \alpha <{\omega }_1^{CK}$, if for some $\eta <{\aleph }_1$ and all u ∈ WO of length η, a is ${\Sigma }_{\alpha }^0\left(u\right)$, then a is ${\Sigma }_{\alpha }^0$. We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: ${\Sigma }_1^1$-Turing-determinacy implies the existence of $0$.

Let X be a compactum and let $A=(A_i,B_i):i=1,2,...$ be a countable family of pairs of disjoint subsets of X. Then A is said to be essential on Y ⊂ X if for every closed $F_i$ separating $A_i$ and $B_i$ the intersection $\left(\cap F_i\right)\cap Y$ is not empty. So A is inessential on Y if there exist closed $F_i$ separating $A_i$ and $B_i$ such that $\cap F_i$ does not intersect Y. Properties of inessentiality are studied and applied to prove:  Theorem. For every countable family of pairs of disjoint open subsets of a compactum X there exists an open set G ∩ X on...

Let f be a continuous map of the circle $S^1$ or the interval I into itself, piecewise $C^1$, piecewise monotone with finitely many intervals of monotonicity and having positive entropy h. For any ε > 0 we prove the existence of at least $e^{(h-\epsilon )n_k}$ periodic points of period $n_k$ with large derivative along the period, $|{\left(f^{n_k}\right)}^{\text{'}}|>e^{(h-\epsilon )n_k}$ for some subsequence $n_k$ of natural numbers. For a strictly monotone map f without critical points we show the existence of at least $(1-\epsilon )e^{hn}$ such points.

The Gould-Hsu (1973) inverse series relations have been systematically applied to the research of hypergeometric identities. Their duplicate version is established and used to demonstrate several terminating ${}_{3}F_2\left[1/4\right]$-summation formulas. Further hypergeometric evaluations with the same variable are obtained through recurrence relations.

Let $T:L^p\left(\Omega \right)\to L^p\left(\Omega \right)$ be a positive contraction, with $1\&lt;p\&lt;\infty$. Assume that $T$ is analytic, that is, there exists a constant $K\ge 0$ such that $\parallel T^n-T^{n-1}\parallel \le K/n$ for any integer $n\ge 1$. Let $2\&lt;q\&lt;\infty$ and let $v^q$ be the space of all complex sequences with a finite strong $q$-variation. We show that for any $x\in L^p\left(\Omega \right)$, the sequence ${\left(\left[T^n\left(x\right)\right]\left(\lambda \right)\right)}_{n\ge 0}$ belongs to $v^q$ for almost every $\lambda \in \Omega$, with an estimate $\parallel {\left(T^n\left(x\right)\right)}_{n\ge 0}{\parallel }_{L^p\left(v^q\right)}\le C{\parallel x\parallel }_p$. If we remove the analyticity assumption, we obtain an estimate $\parallel {\left(M_n\left(T\right)x\right)}_{n\ge 0}{\parallel }_{L^p\left(v^q\right)}\le C{\parallel x\parallel }_p$, where $M_n\left(T\right)={(n+1)}^{-1}{\sum }_{k=0}^n{T}^k$ denotes the ergodic average of $T$. We also obtain similar results for strongly continuous semigroups...