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 $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....

1. Introduction. Given x in (0,1], let x = [d₁(x),d₂(x),...] denote the Engel expansion of x, that is, (1) $x=1/d₁\left(x\right)+1/\left(d₁\left(x\right)d₂\left(x\right)\right)+...+1/(d₁\left(x\right)d₂\left(x\right)...d_n\left(x\right))+...$, where $d_j\left(x\right),j\ge 1$ is a sequence of positive integers satisfying d₁(x) ≥ 2 and $d_{j+1}\left(x\right)\ge d_j\left(x\right)$ for j ≥ 1. (See [3].) In [3], János Galambos proved that for almost all x ∈ (0,1], (2) $li{m}_{n\to \infty }{d}_n^{1/n}\left(x\right)=e.$He conjectured ([3], P132) that the Hausdorff dimension of the set where (2) fails is one. In this paper, we prove this conjecture: Theorem. $di{m}_{H}x\in (0,1]:\left(2\right)fails=1$. We use L¹ to denote the one-dimensional Lebesgue measure on (0,1] and $di{m}_H$ to denote...

We introduce two classes of analytic functions related to conic domains, using a new linear multiplier Dziok-Srivastava operator $D_{\lambda ,\ell }^{n.q,s}$ $(n\in {\mathbb{N}}_0=\{0,1,\cdots \}$, $q\le s+1$; $q,s\in {\mathbb{N}}_0$, $0\le \alpha <1$, $\lambda \ge 0$, $\ell \ge 0).$ Basic properties of these classes are studied, such as coefficient bounds. Various known or new special cases of our results are also pointed out. For these new function classes, we establish subordination theorems and also deduce some corollaries of these results.

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 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...

Given two topologies, $T_1$ and $T_2$, on the same set X, the intersection topologywith respect to $T_1$ and $T_2$ is the topology with basis $U_1\cap U_2:U_1\in T_1,U_2\in T_2$. Equivalently, T is the join of $T_1$ and $T_2$ in the lattice of topologies on the set X. Following the work of Reed concerning intersection topologies with respect to the real line and the countable ordinals, Kunen made an extensive investigation of normality, perfectness and ${\omega }_1$-compactness in this class of topologies. We demonstrate that the majority of his results...

We give sufficient and necessary conditions to be fulfilled by a filter $\Psi$ and an ideal $\Lambda$ in order that the $\Psi$-quotient space of the $\Lambda$-ideal product space preserves $T_k$-properties ($k=0,1,2,3,3\frac{1}{2}$) (“in the sense of the Łos theorem”). Tychonoff products, box products and ultraproducts appear as special cases of the general construction.

Let B(κ,λ) be the subalgebra of P(κ) generated by ${\left[\kappa \right]}^{\le \lambda }$. It is shown that if B is any homomorphic image of B(κ,λ) then either $\left|B\right|<2^{\lambda }$ or $\left|B\right|={\left|B\right|}^{\lambda }$; moreover, if X is the Stone space of B then either $\left|X\right|\le 2^{2^{\lambda }}$ or $\left|X\right|=\left|B\right|={\left|B\right|}^{\lambda }$. This implies the existence of 0-dimensional compact $T_2$ spaces whose cardinality and weight spectra omit lots of singular cardinals of “small” cofinality.

A partition of a positive integer n is a nonincreasing sequence of positive integers with sum $n.$ Here we define a special class of partitions. 1. Let $t\ge 1$ be a positive integer. Any partition of n whose Ferrers graph have no hook numbers divisible by t is known as a t- core partitionof $n.$ The hooks are important in the representation theory of finite symmetric groups and the theory of cranks associated with Ramanujan’s congruences for the ordinary partition function [3,$$4,$$6]. If $t\ge 1$ and $n\ge 0$,...