Orthogonalities in linear spaces and difference operators

Summary. Quite recently C. Alsina, P. Cruells and M. S. Tomás [2], motivated by F. Suzuki's property of isosceles trapezoids, have proposed the following orthogonality relation in a real normed linear space (X, ||·||) (X, \Vert \cdot \Vert) : two vectors x,y ? X x,y \in X are T-orthogonal whenever¶||z-x ||² + ||z-y ||² = ||z ||² + ||z-(x+y) ||² \Vert z-x \Vert^2 + \Vert z-y \Vert^2 = \Vert z \Vert^2 + \Vert z-(x+y) \Vert^2 ¶for every z ? X z \in X . A natural question arises whether an analogue of T-orthogonality may be defined in any real linear space (without a norm structure). Our proposal reads as follows. Given a functional j \varphi on a real linear space X we say that two vectors x,y ? X x,y \in X are j \varphi -orthogonal (and write x^_jy x\perp_{\varphi}y ) provided that D_x,yj = 0 \Delta_{x,y}\varphi = 0 (D_h1,h2 \Delta_{h_1,h_2} stands here and in the sequel for the superposition D_h1 °D_h2 \Delta_{h_1} \circ \Delta_{h_2} of the usual difference operators).¶We are looking for necessary and/or sufficient conditions upon the functional j \varphi to generate a j \varphi -orthogonality such that the pair X,^_j X,\perp_{\varphi} forms an orthogonality space in the sense of J. Rätz (cf. [6]). Two new characterizations of inner product spaces as well as a generalization of some results obtained in [2] are presented.     

On the lifting of the Nagata automorphism

It is proved that all wild z-automorphisms including the well-known Nagata automorphism (all wild z-coordinates including the Nagata coordinates, respectively) of the polynomial algebra F[x, y, z] over an arbitrary field F cannot be lifted to a z-automorphism (z-coordinate, respectively) of the free associative algebra Fáx,y,z?{F\langle x,y,z\rangle}. The proof is based on the following two new results, which have their own interests: degree estimate of Q*_FFáx₁,?,x_n?{{Q*_FF\langle x_1,\ldots,x_n\rangle}} and tameness of the automorphism group Aut_Q(Q*_FFáx,y?){{{\rm Aut}_Q(Q*_FF\langle x,y\rangle)}}. The structure of the group of all z-automorphisms of the free associative algebra Fáx,y,z?{F\langle x,y,z\rangle} over an arbitrary field F is also determined.     

On global transformations of ordinary differential equations of the second order

The paper describes the general form of an ordinary differential equation of the second order which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form

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

An algorithm for semi-infinite polynomial optimization

We consider the semi-infinite optimization problem:

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

Construction and Spectral Topology on Hyperlattices

In this paper by considering the notion of hyperlattice, we introduce good and s-good hyperlattices, homomorphism of hyperlattices and s-reflexives. We give some examples of them and we study their structures. We show that there exists a hyperlattice L such that ${x \vee x = \{x\}}In this paper by considering the notion of hyperlattice, we introduce good and s-good hyperlattices, homomorphism of hyperlattices and s-reflexives. We give some examples of them and we study their structures. We show that there exists a hyperlattice L such that x úx = {x}{x \vee x = \{x\}} for all x ? L{x \in L} and there exist x, y ? L{x, y \in L} which card(x úy) 1 1{card(x \vee y) \ne 1}. Also, we define a topology on the set of prime ideals of a distributive hyperlattice L and we will call it S(L){{{\mathcal S}(L)}}, then we show that S(L){{{\mathcal S}(L)}} is a T ₀-space. At the end, we obtain that each complemented distributive hyperlattice is a T ₁-space.     

On the Uniform Convergence of the Generalized Bieberbach Polynomials in Regions with K-Quasiconformal Boundary

Let G be a finite domain in the complex plane with K-quasicon formal boundary, z ₀ be an arbitrary fixed point in G and p>0. Let j_p ( z ): = ò_x0 ^x [ f( z) ]^2/8 dz\varphi _p \left( z \right): = \int_{x_0 }^x {\left[ {\phi \left( \zeta \right)} \right]^{2/8} } d\zeta , and let \iint_c | j_p ( z ) - P_x¹ (z) |^p d0_x \iint\limits_c {\left| {\varphi _p \left( z \right) - P_x^1 (z)} \right|^p d0_x } in the class \mathop ?_n \mathop \prod \limits_n of all polynomials of degree [`(G)]\bar G in case of $p > 2 - \frac{{K^2 + 1}}{{2K^4 }}$p > 2 - \frac{{K^2 + 1}}{{2K^4 }} .     

An elegant 3-basis for inverse semigroups

It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities:

Algebraic independence of Mahler functions

Suppose that f₁, ?, f_mf_1, \ldots , f_m satisfy functional equations of type¶¶ f_i(z^d) = P_i(z, f_i(z))     or     f_i(z) = P_i(z, f_i(z^d))f_i({z^d}) = P_i(z, f_i(z)) \quad {or} \quad f_i(z) = P_i(z, f_i({z^d})) ¶for i = 1, ?, mi = 1, \ldots , m, an integer d > 1 and polynomials P_i ? \Bbb C (z)[ y]P_i \in \Bbb C (z)[ {y}] with pairwise distinct partial degrees deg_y( P₁), ?, deg_y( P_m)\deg _y( {P_1}), \ldots , \deg _y( {P_m}). Generalizing a result of Keiji Nishioka and using an idea of Kumiko Nishioka we show, that f₁, ?, f_mf_1, \ldots , f_m can only be algebraically dependent over \Bbb C (z)\Bbb C (z), if there is an index k ? { 1, ?, m}\kappa \in \{ {1, \ldots , m}\} such that f_kf_{\kappa } is rational.     

Polar factorization of maps on Riemannian manifolds

Let (M,g) be a connected compact manifold, C³ smooth and without boundary, equipped with a Riemannian distance d(x,y). If s : M ? M s : M \to M is merely Borel and never maps positive volume into zero volume, we show s = t °u s = t \circ u factors uniquely a.e. into the composition of a map t(x) = exp_x[-?y(x)] t(x) = {\rm exp}_x[-\nabla\psi(x)] and a volume-preserving map u : M ? M u : M \to M , where y: M ? \bold R \psi : M \to {\bold R} satisfies the additional property that (y^c)^c = y (\psi^c)^c = \psi with y^c(y) :=inf{c(x,y) - y(x) | x ? M} \psi^c(y) :={\rm inf}\{c(x,y) - \psi(x)\,\vert\,x \in M\} and c(x,y) = d²(x,y)/2. Like the factorization it generalizes from Euclidean space, this non-linear decomposition can be linearized around the identity to yield the Hodge decomposition of vector fields.¶The results are obtained by solving a Riemannian version of the Monge--Kantorovich problem, which means minimizing the expected value of the cost c(x,y) for transporting one distribution f 3 0 f \ge 0 of mass in L¹(M) onto another. Parallel results for other strictly convex cost functions c(x,y) 3 0 c(x,y) \ge 0 of the Riemannian distance on non-compact manifolds are briefly discussed.     

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

A Quantitative Version of the Non-Abelian Idempotent Theorem

Suppose that G is a finite group and f is a complex-valued function on G. f induces a (left) convolution operator from L ²(G) to L ²(G) by g ? f *g{g \mapsto f \ast g} where

The Lambert W-functions and some of their integrals: a case study of high-precision computation

The real-valued Lambert W-functions considered here are w ₀(y) and w _− 1(y), solutions of we ^w  = y, − 1/e < y < 0, with values respectively in ( − 1,0) and ( − ∞ , − 1). A study is made of the numerical evaluation to high precision of these functions and of the integrals ò₁^￥ [-w₀(-xe^-x)]^a x^-bx\int_1^\infty [-w_0(-xe^{-x})]^\alpha x^{-\beta}\d x, α > 0, β ∈ ℝ, and ò₀¹ [-w_-1(-x e^-x)]^a x^-bx\int_0^1 [-w_{-1}(-x e^{-x})]^\alpha x^{-\beta}\d x, α > − 1, β < 1. For the latter we use known integral representations and their evaluation by nonstandard Gaussian quadrature, if α ≠ β, and explicit formulae involving the trigamma function, if α = β.     

Quenching phenomena for a non-local diffusion equation with a singular absorption

In this paper we study the quenching problem for the non-local diffusion equation

An inverse spectral theorem for Kre?n strings with a negative eigenvalue

A string is a pair (L, \mathfrakm){(L, \mathfrak{m})} where L ? [0, ￥]{L \in[0, \infty]} and \mathfrakm{\mathfrak{m}} is a positive, possibly unbounded, Borel measure supported on [0, L]; we think of L as the length of the string and of \mathfrakm{\mathfrak{m}} as its mass density. To each string a differential operator acting in the space L²(\mathfrakm){L^2(\mathfrak{m})} is associated. Namely, the Kreĭn–Feller differential operator -D_\mathfrakmD_x{-D_{\mathfrak{m}}D_x} ; its eigenvalue equation can be written, e.g., as

A linear functional equation with a singularity at a fixed point

Summary. Local solutions of the functional equation¶¶z^k f( z) = ?_k=1ⁿG_k( z) f( s_kz ) +g( z) z{^\kappa} \phi \left( z\right) =\sum_{k=1}^nG_k\left( z\right) \phi \left( s_kz \right) +g\left( z\right) ¶with k > 0 \kappa > 0 and | s_k| \gt 1 \left| s_k\right| \gt 1 are considered. We prove that the equation is solvable if and only if a certain system of k \kappa conditions on G_k (k = 1, 2, ... , n) and g is fulfilled.     

A Modification of the Lyons-Sullivan Discretization of Positive Harmonic Functions

A modification of the Lyons-Sullivan discretization of positive harmonic functions on a Riemannian manifold M is proposed. This modification, depending on a choice of constants C = {C _n :n = 1,2,..}, allows for constructing measures n_x^C, x ? M\nu_x^\mathbf{C},\ x\in M, supported on a discrete subset Γ of M such that for every positive harmonic function f on M

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as