Source author record

Anthony G. O'Farrell

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.CV math.FA math.GR math.CA math.OC

Catalog footprint

Research overview

17works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Centralisers of formal maps

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$ . We consider the centraliser $C_g$ of an element $g\in\mathcal{G}$ which is tangent to the identity of $\mathcal{G}$ . Elements of finite order always have an uncountable centraliser. If $g$ has infinite order and $K$ is a field of characteristic zero we show that $C_g$ contains an isomorphic copy of the additive group $(K,+)$ . If $g$ has infinite order and $K$ has finite characteristic we show that $C_g$ contains an uncountable abelian subgroup. The proofs are quite different in finite characteristic and in characteristic zero, but are connected by so-called sum functions.

preprint2022arXiv

Dimension of Images of Large Level Sets

Let $k$ be a natural number. We consider $k$ -times continuously-differentiable real-valued functions $f:E\to\mathbb{R}$ , where $E$ is some interval on the line having positive length. For $0<α<1$ let $I_α(f)$ denote the set of values $y\in\mathbb{R}$ whose preimage $f^{-1}(y)$ has Hausdorff dimension $\dim f^{-1}(y) \ge α$ . We consider how large can be the Hausdorff dimension of $I_α(f)$ , as $f$ ranges over the set $C^k(E,\mathbb{R})$ of all $k$ -times continuously-differentiable functions from $E$ into $\mathbb{R}$ . We show that the sharp upper bound on $\dim I_α(f)$ is $\displaystyle\frac{1-α}k$ .

preprint2022arXiv

Formally-Reversible Maps of C^2

An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. This paper is about reversibles in the group $G$ of formally-invertible pairs of formal power series in two variables, with complex coefficients. The main result is a description of the generic reversible elements of $G$ . We list two explicit sequences of reversibles which between them represent all the conjugacy classes of such reversibles. We show that each such element is reversible by some element of finite order, and hence is the product of two elements of finite even order. Those elements that may be reversed by an involution are called {\em strongly reversible}. We also characterise these. We draw some conclusions about generic reversibles in the group of biholomorphic germs in two variables, and about the factorization of formal maps as products of reversibles. Specifically, each product of reversibles reduces to the product of five.

preprint2019arXiv

Banach Algebras of Vector-valued Functions

We introduce the concept of an $E$ -valued function algebra, a type of Banach algebra that consist of continuous $E$ -valued functions on some compact Hausdorff space, where $E$ is a Banach algebra. We present some basic results about such algebras, having to do with the Shilov boundary and the set of peak points of some commutative $E$ -valued function algebras. We give some specific examples.

preprint2016arXiv

Derivatives at the Boundary for Analytic Lipschitz Functions

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $α$ , with $0<α<1$ , in the vicinity of an exceptional boundary point where all such functions exhibit some kind of smoothness. Specifically, we consider the relation between the abstract idea of a bounded point derivation on the algebra of such functions and the classical complex derivative evaluated as a limit of difference quotients. We show that whenever such a bounded point derivation exists at a boundary point $b$ , it may be evaluated by taking a limit of classical difference quotients, for approach from a set having full area density at $b$ .

preprint2016arXiv

Ditkin Conditions

This paper is about the connection between certain Banach-algebraic properties of a commutative Banach algebra $E$ with unit and the associated commutative Banach algebra $C(X,E)$ of all continuous functions from a compact Hausdorff space $X$ into $E$ . The properties concern Ditkin's condition and bounded relative units. We show that these properties are shared by $E$ and $C(X,E)$ . We also consider the relationship between these properties in the algebras $E$ , $B$ and $\tilde B$ that appear in so-called admissible quadruples $(X,E,B,\tilde B)$ .

preprint2015arXiv

Boundary smoothness of analytic functions

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $α$ , with $0<α<1$ , in the vicinity of an exceptional boundary point where all such functions exhibit some kind of smoothness. Specifically, we consider the relation between the abstract idea of a bounded point derivation on the algebra of such functions and the classical complex derivative evaluated as a limit of difference quotients. We obtain a result which applies, for example, when the open set admits an interior cone at the special boundary point.

preprint2013arXiv

Factoring Formal Maps into Reversible or Involutive Factors

An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group $\mathfrak{G}_n$ of formal maps of $(\mathbb{C}^n,0)$ , i.e. formally-invertible $n$ -tuples of formal power series in $n$ variables, with complex coefficients. The case $n=1$ was already understood. Each product $F$ of reversibles has linear part $L(F)$ of determinant $\pm1$ . The main results are that for $n\ge2$ each map $F$ with det $(L(F))=\pm1$ is the product of $2+3c$ reversibles, and may also be factored as the product of $9+6c$ involutions, where $c$ is the smallest integer $\ge \log_2n$ .

preprint2013arXiv

Reversibility and Banach Algebras

An element $g$ of a group is called {\em reversible} if it is conjugate in the group to its inverse. In this paper we review some results about the structure of groups involving the reversible elements and we pose some questions about groups associated to a Banach algebra.

preprint2012arXiv

A general stability criterion for switched linear systems having stable and unstable subsystems

We report conditions on a switching signal that guarantee that solutions of a switched linear systems converge asymptotically to zero. These conditions are apply to continuous, discrete-time and hybrid switched linear systems, both those having stable subsystems and mixtures of stable and unstable subsystems.

preprint2011arXiv

Conjugacy of real diffeomorphisms. A survey

Given a group G, the conjugacy problem in G is the problem of giving an effective procedure for determining whether or not two given elements f, g of G are conjugate, i.e. whether there exists h belonging to G with fh = hg. This paper is about the conjugacy problem in the group Diffeo(I) of all diffeomorphisms of an interval I in R. There is much classical work on the subject, solving the conjugacy problem for special classes of maps. Unfortunately, it is also true that many results and arguments known to the experts are difficult to find in the literature, or simply absent. We try to repair these lacunae, by giving a systematic review, and we also include new results about the conjugacy classification in the general case.

preprint2011arXiv

With a little help from my friends

This article is based on a talk given at a one-day meeting in NUI, Maynooth on the Fourth of April, 2008, held to honour David Walsh and Richard Watson. It surveys joint work with the author.

preprint2010arXiv

Pervasive Algebras and Maximal Subalgebras

A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$ . It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a proper closed subset of the essential set of $A$ . If $A$ is maximal, then it is essentially pervasive and proper. We explore the gap between these two concepts. We show the following: (1) If $A$ is pervasive and proper, and has a nonconstant unimodular element, then $A$ contains an infinite descending chain of pervasive subalgebras on $X$ . (2) It is possible to imbed a copy of the lattice of all subsets of $\N$ into the family of pervasive subalgebras of some $C(X)$ . (3) In the other direction, if $A$ is strongly logmodular, proper and pervasive, then it is maximal. (4) This fails if the word \lq strongly' is removed. We discuss further examples, involving Dirichlet algebras, $A(U)$ algebras, Douglas algebras, and subalgebras of $H^\infty(\mathbb{D})$ . We develop some new results that relate pervasiveness, maximality and relative maximality to support sets of representing measures.

preprint2008arXiv

Reducing conjugacy in the full diffeomorphism group of R to conjugacy in the subgroup of orientation-preserving maps

Let $\Diffeo=\Diffeo(\R)$ denote the group of infinitely-differentiable diffeomorphisms of the real line $\R$ , under the operation of composition, and let $\Diffeo^+$ be the subgroup of diffeomorphisms of degree +1, i.e. orientation-preserving diffeomorphisms. We show how to reduce the problem of determining whether or not two given elements $f,g\in \Diffeo$ are conjugate in $\Diffeo$ to associated conjugacy problems in the subgroup $\Diffeo^+$. The main result concerns the case when $f$ and $g$ have degree -1, and specifies (in an explicit and verifiable way) precisely what must be added to the assumption that their (compositional) squares are conjugate in $\Diffeo^+$, in order to ensure that $f$ is conjugated to $g$ by an element of $\Diffeo^+$. The methods involve formal power series, and results of Kopell on centralisers in the diffeomorphism group of a half-open interval.

preprint2008arXiv

Reversibility in the diffeomorphism group of the real line

An element of a group is said to be reversible if it is conjugate to its inverse. We characterise the reversible elements in the group of diffeomorphisms of the real line, and in the subgroup of order preserving diffeomorphisms.

preprint2008arXiv

Reversible biholomorphic germs

Let $G$ be a group. We say that an element $f\in G$ is {\em reversible in} $G$ if it is conjugate to its inverse, i.e. there exists $g\in G$ such that $g^{-1}fg=f^{-1}$ . We denote the set of reversible elements by $R(G)$ . For $f\in G$ , we denote by $R_f(G)$ the set (possibly empty) of {\em reversers} of $f$ , i.e. the set of $g\in G$ such that $g^{-1}fg=f^{-1}$ . We characterise the elements of $R(G)$ and describe each $R_f(G)$ , where $G$ is the the group of biholomorphic germs in one complex variable. That is, we determine all solutions to the equation $f\circ g\circ f = g$ , in which $f$ and $g$ are holomorphic functions on some neighbourhood of the origin, with $f(0)=g(0)=0$ and $f'(0)\not=0\not=g'(0)$ .

preprint2007arXiv

Reversibility in the group of homeomorphisms of the circle

We identify those elements of the homeomorphism group of the circle that can be expressed as a composite of two involutions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Anthony G. O'Farrell

Research overview

Is this your work?

17 publications

Centralisers of formal maps

Dimension of Images of Large Level Sets

Formally-Reversible Maps of C^2

Banach Algebras of Vector-valued Functions

Derivatives at the Boundary for Analytic Lipschitz Functions

Ditkin Conditions

Boundary smoothness of analytic functions

Factoring Formal Maps into Reversible or Involutive Factors

Reversibility and Banach Algebras

A general stability criterion for switched linear systems having stable and unstable subsystems

Conjugacy of real diffeomorphisms. A survey

With a little help from my friends

Pervasive Algebras and Maximal Subalgebras

Reducing conjugacy in the full diffeomorphism group of R to conjugacy in the subgroup of orientation-preserving maps

Reversibility in the diffeomorphism group of the real line

Reversible biholomorphic germs

Reversibility in the group of homeomorphisms of the circle

See the researcher in context

Building this map preview

Anthony G. O&#39;Farrell

Research overview

Is this your work?

17 publications

Centralisers of formal maps

Dimension of Images of Large Level Sets

Formally-Reversible Maps of C^2

Banach Algebras of Vector-valued Functions

Derivatives at the Boundary for Analytic Lipschitz Functions

Ditkin Conditions

Boundary smoothness of analytic functions

Factoring Formal Maps into Reversible or Involutive Factors

Reversibility and Banach Algebras

A general stability criterion for switched linear systems having stable and unstable subsystems

Conjugacy of real diffeomorphisms. A survey

With a little help from my friends

Pervasive Algebras and Maximal Subalgebras

Reducing conjugacy in the full diffeomorphism group of R to conjugacy in the subgroup of orientation-preserving maps

Reversibility in the diffeomorphism group of the real line

Reversible biholomorphic germs

Reversibility in the group of homeomorphisms of the circle

See the researcher in context

Building this map preview

Anthony G. O'Farrell