On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .     

Multiplicative type functional equations arising from characterization problems

We give the general and the so-called density function solutions of equation

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.     

Truncated Complex Moment Problems with a $ \widetilde{zz} $ Relation

We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz ² ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g⁽²ⁿ⁾:g₀₀,g₀₁,g₁₀,?,g_0,2n,g_1,2n-1,?,g_2n-1,1,g_2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that g_ij=ò[`(z)]<sup>i</sup>z<sup>j</sup> dm (0 ￡ 1+j ￡ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ <sup>2</sup>, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number g<sub>n,n+1</sub> \gamma_{n,n+1} satisfying g<sub>n+1,n</sub> o [`(g)]_n,n+1=Ag_n,n-1+Bg_n,n+Cg_n+1,n-1+Dg_n,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z ^k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.     

On conjugacy of some systems of functions

Summary. We investigate the bounded solutions j:[0,1]? X \varphi:[0,1]\to X of the system of functional equations¶¶j(f_k(x))=F_k(j(x)),    k=0,?,n-1,x ? [0,1] \varphi(f_k(x))=F_k(\varphi(x)),\;\;k=0,\ldots,n-1,x\in[0,1] ,(*)¶where X is a complete metric space, f₀,?,f_n-1:[0,1]?[0,1] f_0,\ldots,f_{n-1}:[0,1]\to[0,1] and F₀,...,F_n-1:X? X F_0,...,F_{n-1}:X\to X are continuous functions fulfilling the boundary conditions f₀(0) = 0, f_n-1(1) = 1, f_k+1(0) = f_k(1), F₀(a) = a,F_n-1(b) = b,F_k+1(a) = F_k(b), k = 0,?,n-2 f_{0}(0) = 0, f_{n-1}(1) = 1, f_{k+1}(0) = f_{k}(1), F_{0}(a) = a,F_{n-1}(b) = b,F_{k+1}(a) = F_{k}(b),\,k = 0,\ldots,n-2 , for some a,b ? X a,b\in X . We give assumptions on the functions f_k and F_k which imply the existence, uniqueness and continuity of bounded solutions of the system (*). In the case X = \Bbb C X= \Bbb C we consider some particular systems (*) of which the solutions determine some peculiar curves generating some fractals. If X is a closed interval we give a collection of conditions which imply respectively the existence of homeomorphic solutions, singular solutions and a.e. nondifferentiable solutions of (*).     

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

Thompson’s metric and global stability of difference equations

We apply the Thompson’s metric to study the global stability of the equilibium of the following difference equation

Maps Between Uniform Algebras Preserving Norms of Rational Functions

Let A, B be uniform algebras. Suppose that A ₀, B ₀ are subgroups of A ⁻¹, B ⁻¹ that contain exp A, exp B respectively. Let α be a non-zero complex number. Suppose that m, n are non-zero integers and d is the greatest common divisor of m and n. If T : A ₀ → B ₀ is a surjection with ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f,g ? A₀{f,g \in A_0}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? A₀{f \in A_0}. This result leads to the following assertion: Suppose that S _A , S _B are subsets of A, B that contain A ⁻¹, B ⁻¹ respectively. If m, n > 0 and a surjection T : S _A → S _B satisfies ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f, g ? S_A{f, g \in S_A}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? S_A{f \in S_A}. Note that in these results and elsewhere in this paper we do not assume that T(exp A) = exp B.     

Isometric Equivalence of Integration Operators

We are interested in the isometric equivalence problem for the Cesàro operator C(f) (z) = \frac1z ò₀^zf(x) \frac11-xd x{C(f) (z) =\frac{1}{z} \int_{0}^{z}f(\xi) \frac{1}{1-\xi}d \xi} and an operator T_g(f)(z)=\frac1zò₀^zf(x) g^￠(x) d x{T_{g}(f)(z)=\frac{1}{z}\int_{0}^{z}f(\xi) g^{\prime}(\xi) d \xi}, where g is an analytic function on the disc, on the Hardy and Bergman spaces. Then we generalize this to the isometric equivalence problem of two operators T_g1{T_{g_{1}}} and T_g2{T_{g_{2}}} on the Hardy space and Bergman space. We show that the operators T_g1{T_{g_{1}}} and T_g2{T_{g_{2}}} satisfy T_g1U₁=U₂T_g2{T_{g_{1}}U_{1}=U_{2}T_{g_{2}}} on H ^p , 1 ≤ p < ∞, p ≠ 2 if and only if g₂(z) = lg₁(e^iqz){g_{2}(z) =\lambda g_{1}(e^{i\theta}z) }, where λ is a modulus one constant and U _i , i = 1, 2 are surjective isometries of the Hardy Space. This is analogous to the Campbell-Wright result on isometrically equivalence of composition operators on the Hardy space.     

On the log-concavity of Hilbert series of Veronese subrings and Ehrhart series

For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write ${\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}}For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write \frach(t)(1 - t)^{d + 1}=?_{m 3 0} g(m)  t^m{\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}} , for some polynomial g(m) with rational coefficients, then \fracU_nh(t)(1- t)^d+1 = ?_{m 3 0}g(nm)  t^m{\frac{{\rm{U}}_{n}h(t)}{(1- t)^{d+1}} = \sum_{m \geq 0}g(nm) \, t^{m}} . We show that there exists a positive integer n _d , depending only on d, such that if h(t) is a polynomial of degree at most d with nonnegative integer coefficients and h(0) = 1, then for n ≥ n _d , U _n h(t) has simple, real, negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart δ-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen–Macauley graded rings.     

The Eigenstructure of Operators Linking the Bernstein and the Genuine Bernstein–Durrmeyer operators

We study the eigenstructure of a one-parameter class of operators ${U_{n}^{\varrho}}$ of Bernstein–Durrmeyer type that preserve linear functions and constitute a link between the so-called genuine Bernstein–Durrmeyer operators U _n and the classical Bernstein operators B _n . In particular, for ${\varrho\rightarrow\infty}$ (respectively, ${\varrho=1}$ ) we recapture results well-known in the literature, concerning the eigenstructure of B _n (respectively, U _n ). The last section is devoted to applications involving the iterates of ${U_{n}^{\varrho}}$ .     

A convexity theorem for multiplicative functions

We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbR^m ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β ₁ + ··· + β _n . We also provide further generalization to functions of the form (x,y₁, . . . , y_n)? g(x)^1+af₁(y₁)^-b₁ ···f_n(y_n)^-b_n{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f _k concave, positively homogeneous and nonnegative on their domains.     

Linear groups over a skew field of quaternions containing the group T_{n}(A, \Phi) over a subsfield

We study the subgroups of GL_n(D) (n \geqq 3) GL_{n}(D) (n \geqq 3) over a skew field of quaternions D that comprise the subgroup of the unitary group U_n(A, F) U_{n}(A, \Phi) over a subsfield A \subseteqq D A \subseteqq D generated by all transvections in U_n(A, F) U_{n}(A, \Phi) .     

On branch points of three-dimensional mappings with unbounded characteristic of quasiconformality

For open discrete mappings f:D\{ b } ? \mathbbR³ f:D\backslash \left\{ b \right\} \to {\mathbb{R}^3} of a domain D ì \mathbbR³ D \subset {\mathbb{R}^3} satisfying relatively general geometric conditions in D \ {b} and having an essential singularity at a point b ? \mathbbR³ b \in {\mathbb{R}^3} , we prove the following statement: Let a point y ₀ belong to [`(\mathbbR³)] \f( D\{ b } ) \overline {{\mathbb{R}^3}} \backslash f\left( {D\backslash \left\{ b \right\}} \right) and let the inner dilatation K _I (x, f) and outer dilatation K _O (x, f) of the mapping f at the point x satisfy certain conditions. Let B _f denote the set of branch points of the mapping f. Then, for an arbitrary neighborhood V of the point y ₀, the set V ∩ f(B _f ) cannot be contained in a set A such that g(A) = I, where I = { t ? \mathbbR:| t | < 1 } I = \left\{ {t \in \mathbb{R}:\left| t \right| < 1} \right\} and g:U ? \mathbbRⁿ g:U \to {\mathbb{R}^n} is a quasiconformal mapping of a domain U ì \mathbbRⁿ U \subset {\mathbb{R}^n} such that A ⊂ U.     

On the asymptotic convergence of sequences of analytic functions

We consider sequences {f _n } of analytic self mappings of a domain and the associated sequence {Θ _n } of inner compositions given by . The case of interest in this paper concerns sequences {f _n } that converge assymptotically to a function f, in the sense that for any sequence of integers {n _k } with n ₁ < n ₂ < ... one has that locally uniformly in Ω. Most of the discussion concerns the case where the asymptotic limit f is the identity function in Ω. Received: 16 December 2006     

On some inequalities for Doob decompositions in Banach function spaces

Let ${\Phi : \mathbb{R} \to [0, \infty)}Let F: \mathbbR ? [0, ￥){\Phi : \mathbb{R} \to [0, \infty)} be a Young function and let f = (f_n)_n ? \mathbbZ₊{f = (f_n)_n\in\mathbb{Z}_{+}} be a martingale such that F(f_n) ? L₁{\Phi(f_n) \in L_1} for all n ? \mathbbZ₊{n \in \mathbb{Z}_{+}} . Then the process F(f) = (F(f_n))_n ? \mathbbZ₊{\Phi(f) = (\Phi(f_n))_n\in\mathbb{Z}_{+}} can be uniquely decomposed as F(f_n)=g_n+h_n{\Phi(f_n)=g_n+h_n} , where g=(g_n)_n ? \mathbbZ₊{g=(g_n)_n\in\mathbb{Z}_{+}} is a martingale and h=(h_n)_n ? \mathbbZ₊{h=(h_n)_n\in\mathbb{Z}_{+}} is a predictable nondecreasing process such that h ₀ = 0 almost surely. The main results characterize those Banach function spaces X such that the inequality ||h_￥||_X ￡ C ||F(Mf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Mf)} \|_X} is valid, and those X such that the inequality ||h_￥||_X ￡ C ||F(Sf) ||_X{\|{h_{\infty}}\|_{X} \leq C \|{\Phi(Sf)} \|_X} is valid, where Mf and Sf denote the maximal function and the square function of f, respectively.     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

Poisson Numbers and Poisson Distributions in Subset Surprisology

Given a family of k + 1 real-valued functions f₀ , ?,f_kf_0 , \ldots ,f_k defined on the set { 1, ?,n}\{ 1, \ldots ,n\} and measuring the intensity of certain signals, we want to investigate whether these functions are T₀ , ?,T_k ,T_0 , \ldots ,T_k , the size a of the collection of numbers j ? { 1, ?,n}j \in \{ 1, \ldots ,n\} whose signals f₀ (j), ?,f_k (j)f_0 (j), \ldots ,f_k (j) exceed the corresponding threshold values T₀ , ?,T_kT_0 , \ldots ,T_k simultaneously for all 0, ?,k0, \ldots ,k is surprisingly large (or small) in comparison to the family of cardinalities

On the boundedness of one recurrent sequence in a banach space

We establish necessary and sufficient conditions under which a sequence x ₀ = y ₀ , x _n+1 = Ax _n  + y _n+1 , n ≥ 0, is bounded for each bounded sequence { y_n :n \geqslant 0 } ì { x ? è_{n = 1}^￥ D( Aⁿ ) |sup_{n \geqslant 0} || Aⁿ x || < ￥ }\left\{ {y_n :n \geqslant 0} \right\} \subset \left\{ {\left. {x \in \bigcup\nolimits_{n = 1}^\infty {D\left( {A^n } \right)} } \right|\sup _{n \geqslant 0} \left\| {A^n x} \right\| < \infty } \right\}, where A is a closed operator in a complex Banach space with domain of definition D(A) .     

New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces

Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]^s, t_p, q(\mathbbRⁿ) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]^-s, t_p￠, q￠(\mathbbRⁿ){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .