Axial Borel functions

A function from the plane to the plane is axial if it does not change one coordinate. We show that every Borel permutation of the plane is a superposition of 11 Borel axial permutations.     

Effective Borel degrees of some topological functions

The focus of this paper is the incomputability of some topological functions (with respect to certain representations) using the tools of Borel computability theory, as introduced by V. Brattka in [3] and [4]. First, we analyze some basic topological functions on closed subsets of ?ⁿ , like closure, border, intersection, and derivative, and we prove for such functions results of Σ⁰₂‐completeness and Σ⁰₃‐completeness in the effective Borel hierarchy. Then, following [13], we re‐consider two well‐known topological results: the lemmas of Urysohn and Urysohn‐Tietze for generic metric spaces (for the latter we refer to the proof given by Dieudonné). Both lemmas define Σ⁰₂‐computable functions which in some cases are even Σ⁰₂‐complete. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Borel extractions of converging sequences in compact sets of Borel functions

It is well known by a classical result of Bourgain–Fremlin–Talagrand that if K is a pointwise compact set of Borel functions on a Polish space then given any cluster point f of a sequence (f_n)_nω in K one can extract a subsequence (f_nk)_kω converging to f. In the present work we prove that this extraction can be achieved in a “Borel way.” This will prove in particular that the notion of analytic subspace of a separable Rosenthal compacta is absolute and does not depend on the particular choice of a dense sequence.     

Borel complexity of the space of probability measures

Using a technique developed by Louveau and Saint Raymond, we find the complexity of the space of probability measures in the Borel hierarchy: if is any non-Polish Borel subspace of a Polish space, then , the space of probability Borel measures on with the weak topology, is always true , where is the least ordinal such that is .

     

Absolute Borel sets and function spaces

An internal characterization of metric spaces which are absolute Borel sets of multiplicative classes is given. This characterization uses complete sequences of covers, a notion introduced by Frolík for characterizing Cech-complete spaces. We also show that the absolute Borel class of is determined by the uniform structure of the space of continuous functions ; however the case of absolute metric spaces is still open. More precisely, we prove that, for metrizable spaces and , if is a uniformly continuous surjection and is an absolute Borel set of multiplicative (resp., additive) class , , then is also an absolute Borel set of the same class. This result is new even if is a linear homeomorphism, and extends a result of Baars, de Groot, and Pelant which shows that the \v{C}ech-completeness of a metric space is determined by the linear structure of .

     

Bounded iteration and unary functions

The set of unary functions of complexity classes defined by using bounded primitive recursion is inductively characterized by means of bounded iteration. Elementary unary functions, linear space computable unary functions and polynomial space computable unary functions are then inductively characterized using only composition and bounded iteration. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Borel directions of algebroidal function and its coefficient functions

In this article, the relationship between the Borel direction of algebroidal function and its coefficient functions is studied for the first time. To begin with, several theorems of algebroidal functions in unit disk are proved. By these theorems, some interesting conclusions are obtained.     

Singular strictly increasing functions and a problem on partitions of closed intervals

We establish that the problem of constructing a strictly increasing singular function is equivalent to the problem of constructing subsets and of a closed interval [a; b] ? ? such that (1) ∩ = ø; (2) ∪ = [a; b]; (3) the Lebesgue measures of the intersections of and with an arbitrary interval J ? [a; b] are positive.     

代数体函数与其系数函数的Borel方向间的关系

研究了代数体函数w(z)的Borel方向和确定该代数体函数的复方程A_k(z)w~k+_(Ak-1)(z)w~_(k-1)+…+A_0(z)=0的系数函数A_k(z),A_(k-1)(z),…,A_0(z)的Borel方向之间的关系.     

Representations of Parabolic and Borel Subgroups

We demonstrate a relationships between the representation theory of Borel subgroups and parabolic subgroups of general linear groups. In particular, we show that the representations of Borel subgroups could be computed from representations of certain maximal parabolic subgroups.     

Operational,umbral methods,Borel transform and negative derivative operator techniques

ABSTRACT

Differintegral methods, namely those techniques using differential and integral operators on the same footing, currently exploited in calculus, provide a fairly unexhausted source of tools to be applied to a wide class of problems involving the theory of special functions and not only. The use of integral transforms of Borel type and the associated formalism will be shown to be an effective means, allowing a link between umbral and operational methods. We merge these two points of view to get a new and efficient method to obtain integrals of special functions and the summation of the associated generating functions as well.     

单位圆内亚纯函数的Borel半径的分布

对于单位圆周上的任一非空闭集E,任意正数λ及任意实数μ（0≤μ≤λ）;构造了一个单位国内的λ级亚纯函数,以{（L（θ）|θ∈E｝为Borel半径集,并且｛L（θ）|θ|E｝都不是Julia半径,同时N（r,f）的级为θ.     

Application of the Borel transform to the study of the spectrum of integral equations whose kernels are entire functions of exponential type

Using the Borel transform, we study the spectrum of a class of non-compact integral operators whose kernels are of exponential type and square integrable on the real line. Our method also enables us to obtain an interesting characterization of a well-known integral equation involving the Bessel function

     

零级代数体函数的强Borel方向

该文证明了平面上满足一定条件的零级代数体函数至少存在一条强Borel方向,并且它还是通常的关于型函数的Borel方向.     

关于Schr(o)der函数Borel方向的一个应用

本文应用Borel方向和充满圆的关系得到了方程F(z)=R(f(z))的一个充分必要条件,并给出它关于Schr(o)der方程f(sz)=R(f(z))的-个应用,这里s是一常数且|s|＞,R(w)是次数大于2的有理函数.     

有穷正级亚纯函数的T方向和Borel方向

对任意正数λ,正整数q_1和q_2,记E_1={argz=θ_j|0∣θ_1＜θ_2<…＜θ_(q1)＜2π}及E_2={axgz=φ_j|0■1＜φ2＜…＜φq2＜2π},使得E_1∩E_2=■,则(1)存在复平面上的λ级亚纯函数f(z),恰以E_1∪E_2为其T方向且恰以E_2为其Borel方向,(2)存在复平面上的级与下级均为λ的亚纯函数g(z),恰以E_1∪E_2为其Borel方向且恰以E_2为其T方向．     

圆内亚纯函数与其微分多项式的公共Borel点

该文把A.P.Singh关于一类齐次微分多项式级的结果推广到更一般的微分多项式。并证明了：如果Q（f)≠0是圆内有限正级亚纯函数f的身长分多项式,则f^(k0Q(f)的Borel点必是f的Borel点,其中K0满足0≤K0≤min{K:f^(k)出现在Q（f)中}。     

The elementary computable functions over the real numbers: applying two new techniques

The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether defined in different manners, via function algebras (Real Recursive Functions) or via Turing Machines (Computable Analysis). We provide general tools for investigating these issues, using two techniques we call approximation and lifting. We use these methods to obtain two main theorems. First, we provide an alternative proof of the result from Campagnolo et al. (J Complex 18:977–1000, 2002), which precisely relates the Kalmar elementary computable functions to a function algebra over the reals. Second, we build on that result to extend a result of Bournez and Hainry (Theor Comput Sci 348(2–3):130–147, 2005), which provided a function algebra for the real elementary computable functions; our result does not require the restriction to functions. In addition to the extension, we provide an alternative approach to the proof. Their proof involves simulating the operation of a Turing Machine using a function algebra. We avoid this simulation, using a technique we call lifting, which allows us to lift the classic result regarding the elementary computable functions to a result on the reals. The two new techniques bring a different perspective to these problems, and furthermore appear more easily applicable to other problems of this sort.