Quaternionic slice regularity beyond slice domains

In a recent paper [Trans. Amer. Math. Soc. 378 (2025), pp. 851–883], the concept of generalized partial-slice monogenic (or regular) function was introduced over Clifford algebras. The present paper shall extend the study of generalized partial-slice monogenic functions from the associative case of Clifford algebras to non-associative alternative algebras, such as octonions. The new class of functions encompasses the regular functions [Rend. Sem. Mat. Univ. Padova 50 (1973), pp. 251–267] and slice regular functions [Rocky Mountain J. Math. 40 (2010), no. 1, 225–241] over octonions, indeed both appear in the theory as special cases. In the non-associative setting of octonions, we shall develop some fundamental properties such as identity theorem, Representation Formula, Cauchy (and Cauchy-Pompeiu) integral formula, maximum modulus principle, Fueter polynomials, Taylor series expansion. As a complement, the paper also introduces and discusses the notion of generalized partial-slice (and regular) functions. Although the study is limited to the case of octonions, it is clear from the statements and the arguments in the proofs that the results hold more in general in real alternative algebras equipped with a notion of conjugation.

Geometric function theory over quaternionic slice domains

Some important global properties of the slice regular functions have been obtained from the global operator $$\begin{aligned}G:= \Vert \mathbf {x}\Vert ^2 \partial _0 + \mathbf {x} \sum _{i=1}^3 x_i \partial _i , \end{aligned}$$ such as a global characterization, a global Cauchy integral theorem and a global Borel–Pompeiu formula, see Colombo et al. (Trans Am Math Soc 365:303–318, 2013), Gonzalez Cervantes (Complex Anal Oper Theory 13:2527–2539, 2019) and Gonzalez Cervantes and Gonzalez-Campos (Complex Var Elliptic Equ 65:1–10, 2020, https://doi.org/10.1080/17476933.2020.1738410) [4, 13, 14], respectively. The aim of this work is to show: some relationships between G and the composition operator with the conformal mappings, a conformal covariance property of G along with its interpretations in terms of a covariant functor, all consequences of these facts for the slice regular functions, a Leibnitz rule associated to the operator G and a characterization of the real Components of slice regular functions in terms of a Non-constant Coefficient second order differential equation.

In a recent paper, we showed that the classical Bergman theory admits two possible formulations for the class of slice regular functions with quaternionic values. In the so called formulation of the first kind, we provide a Bergman kernel which is defined on and is a reproducing kernel. In the so called formulation of the second kind, we use the Representation Formula for slice regular functions to define a second Bergman kernel; this time the kernel is still defined on U, but the integral representation of f is based on an integral computed only on and the integral does not depend on , (here denotes the sphere unit of purely imaginary quaternions, and represents the complex plane with imaginary unit I). In this paper, we extend the second formulation of the Bergman theory to the case of slice monogenic functions and we focus our attention on the so-called Bergman–Sce transform. This integral transform is defined by using the Bergman kernel and the Sce mapping theorem and associates to every slice monogenic function f, an axially monogenic function . Copyright © 2011 John Wiley & Sons, Ltd.

In the present paper we introduce the class of slice-polynomial functions: slice regular functions {defined over the quaternions, outside the real axis,} whose restriction to any complex half-plane is a polynomial. These functions naturally emerge in the twistor interpretation of slice regularity introduced in \cite{gensalsto} and developed in \cite{AAtwistor}. To any slice-polynomial function $P$ we associate its {\em companion} $P^\vee$ and its {\em extension} to the real axis $P_\mathbb{R}$, that are quaternionic functions naturally related to $P$. Then, using the theory of twistor spaces, we are able to show that for any quaternion $q$ the {cardinality of simultaneous} pre-images of $q$ via $P$, $P^\vee$ and $P_\mathbb{R}$ is generically constant, giving a notion of degree. With the brand new tool of slice-polynomial functions, we {compute} the twistor discriminant locus of a cubic scroll $\mathcal{C}$ in $\mathbb{CP}^3$ and we conclude by giving some qualitative results on the complex structures induced by $\mathcal{C}$ via the twistor projection.

Quaternionic exponentially dichotomous operators through S-spectral splitting and applications to Cauchy problem

This works introduces several notions of subharmonicity for real-valued functions of one quaternionic variable. These notions are related to the theory of slice regular quaternionic functions introduced by Gentili and Struppa in 2006. The interesting properties of these new classes of functions are studied and applied to construct the analogs of Green's functions.

In this paper we show a version of the Fueter mapping theorem that can be stated in integral form based on the Cauchy formulas for slice monogenic (or slice regular) functions. More precisely, given a holomorphic function f of a paravector variable, we generate a monogenic function by an integral transform whose kernel is particularly simple. This procedure allows us to define a functional calculus for n-tuples of commuting operators (called ℱ-functional calculus) based on a new notion of spectrum, called ℱ-spectrum, for the n-tuples of operators. Analogous results are shown for the quaternionic version of the theory and for the related ℱ-functional calculus. Copyright © 2010 John Wiley & Sons, Ltd.

Holomorphic functions are the key tool to construct representation formulae for the solutions for a manifold of plane problems, especially for the flow of a viscous fluid modelled by the Stokes system. Three-dimensional representation formulae can be constructed by tools of hypercomplex analysis, i.e. by working with monogenic functions playing the role of a three-dimensional analogue of holomorphic functions. However, several alternative constructions in hypercomplex setting are possible. In this paper, the three-dimensional representation of a general solution for the Stokes system, based on the functions of a reduced quaternionic variable, is presented. Moreover, an ill-posed Cauchy problem for the Stokes system, consisting in reconstruction of the velocity field in the interior from overdetermined boundary conditions given on a part of the boundary, is considered. It is shown, that if the domain is star-shaped, then the Cauchy problem can be reduced to the problem of the regular extension for a quaternionic function from the boundary conditions given on a part of its boundary.Holomorphic functions are the key tool to construct representation formulae for the solutions for a manifold of plane problems, especially for the flow of a viscous fluid modelled by the Stokes system. Three-dimensional representation formulae can be constructed by tools of hypercomplex analysis, i.e. by working with monogenic functions playing the role of a three-dimensional analogue of holomorphic functions. However, several alternative constructions in hypercomplex setting are possible. In this paper, the three-dimensional representation of a general solution for the Stokes system, based on the functions of a reduced quaternionic variable, is presented. Moreover, an ill-posed Cauchy problem for the Stokes system, consisting in reconstruction of the velocity field in the interior from overdetermined boundary conditions given on a part of the boundary, is considered. It is shown, that if the domain is star-shaped, then the Cauchy problem can be reduced to the problem of the regular extension for a quater...

The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural numbers (as Church and Kleene did), while others refer to functions over arbitrary domains (as Turing intended). Our purpose is to formalize and analyze the thesis when referring to functions over arbitrary domains. First, we must handle the issue of domain representation. We show that, prima facie, the thesis is not well defined for arbitrary domains, since the choice of representation of the domain might have a non-trivial influence. We overcome this problem in two steps: (1) phrasing the thesis for entire computational models, rather than for a single function; and (2) proving a "completeness" property of the recursive functions and Turing machines with respect to domain representations. In the second part, we propose an axiomatization of an "effective model of computation" over an arbitrary countable domain. This axiomatization is based on Gurevich's postulates for sequential algorithms. A proof is provided showing that all models satisfying these axioms, regardless of underlying data structure, are of equivalent computational power to, or weaker than, Turing machines.

We study the natural function space for infinitely wide two-layer neural networks with ReLU activation (Barron space) and establish different representation formulae. In two cases, we describe the space explicitly up to isomorphism. Using a convenient representation, we study the pointwise properties of two-layer networks and show that functions whose singular set is fractal or curved (for example distance functions from smooth submanifolds) cannot be represented by infinitely wide two-layer networks with finite path-norm. We use this structure theorem to show that the only $$C^1$$ -diffeomorphisms which preserve Barron space are affine. Furthermore, we show that every Barron function can be decomposed as the sum of a bounded and a positively one-homogeneous function and that there exist Barron functions which decay rapidly at infinity and are globally Lebesgue-integrable. This result suggests that two-layer neural networks may be able to approximate a greater variety of functions than commonly believed.

A Fiber Bundle over the Quaternionic Slice Regular Functions

Domain dependent Dirac's delta and derivatives with an application to electromagnetic boundary integral representations

UDC 517.55+512.78 We continue our investigations of the local properties of entire slice regular functions of quaternionic variable. For this class of functions, we introduce the notion of index. The boundedness of index is characterized by the local behavior of the maximum modulus of slice derivative on certain discs. The corresponding maximum is uniformly estimated by the value of the modulus of slice derivative at the center of the disc. The presented results are quaternionic generalizations of the known Fricke theorems for entire functions of complex variable.

This article focuses on the integral theory of discrete regular quaternionic functions and the connection between discrete and classical quaternionic analysis. We develop a new approach to the discrete integral theory based on the concepts ‘discrete boundary measure’ and ‘discrete normal vector’. By combining the discrete integral theory and our results on discrete approximations to domains in \({\mathbb {R}}^4\), we reveal a convergence relation between the discrete and continuous regular functions: a quaternionic function is regular if and only if it is the scaling limit of some discrete regular functions.