Weak Slice Regular Functions on the n-Dimensional Quadratic Cone of Octonions

In the literature on slice analysis in the hypercomplex setting, there are two main approaches to define slice regular functions in one variable: one consists in requiring that the restriction to any complex plane is holomorphic (with the same complex structure of the complex plane), the second one makes use of stem and slice functions. So far, in the setting of several hypercomplex variables, only the second approach has been considered, i.e. the one based on stem functions. In this paper, we use instead the first definition on the so-called n-dimensional quadratic cone of octonions. These two approaches yield the same class of slice regular functions on axially symmetric slice-domains, however, they are different on other types of domains. We call this new class of functions weak slice regular. We show that there exist weak slice regular functions which are not slice regular in the second approach. Moreover, we study various properties of these functions, including a Taylor expansion.


Introduction
The theory of slice regular functions, also called slice monogenic or hyperholomorphic has considerably evolved, see [11,13,19], since these functions were first introduced by Gentili and Struppa in [20,21].The function theory had in fact older roots, see e.g. the work of Cullen [14], but it became a full function theory only recently.The study started for quaternionic functions and treating converging power series centered at the origin, but it was soon realized that the definition in [20,21] allowed to treat a general theory of these functions.The study was then generalized to the case of functions with values in a Clifford algebra see [9,10], and to octonions [22].Roughly speaking, according to [20], a function is slice regular if it is holomorphic on each slice complex plane C I for any imaginary unit I of quaternions.It turns out that many properties of holomorphic functions in complex analysis can be generalized to this framework.
The function theory had a great impulse since it was soon realized that it allowed to define a functional calculus for quaternionic linear operators and for m-tuples of not necessarily commuting operators, see [11] and references therein, and it leads to the definition of the S-spectrum.It has also applications in Schur analysis [1,2], twistor transforms [18], and operator theory [3,4,26].
A crucial tool in this type of analysis is the so-called representation formula, see [7,8], and then [5] (for a version of the formula on semi-slices).This formula implies that all slice regular functions on open sets satisfying additional conditions.
The approach using slice functions and stems functions (notions which go back to Fueter [17]) was considered by Ghiloni and Perotti in [23] in the very general framework of real alternative algebras, which includes all the previous cases, i.e. quaternions, Clifford algebras, octonions.The function theory so defined coincides with the previous one on some special open sets, as we shall see in Section 3.
We note that there is a third approach to slice hyperholomorphic functions using a global operator, see [6], but we will not use this point of view in the present paper.
Soon after the introduction of the function theory of slice regular functions in one variable, started the study in several variables, and it was immediately clear that the situation was considerably more difficult.In the papers [12,24], the problem is addressed following two different methods, but both based on stem functions.The first paper considers the quaternionic case, whereas the second one treats the Clifford variable case.In this stream of ideas, Ren and Yang [28] define slice regular functions on the n-dimensional quadratic cone of octonions O n s , whereas the case of two quaternionic variables is treated in [16].
In [25], Ghiloni and Perotti define yet another kind of slice regular functions on (Q A ) n , where A is a real alternative * -algebra; if A = O, then (Q A ) n = O n , but this class of functions is different from the one introduced by Ren and Yang [28].
In this paper, we generalize some ideas in [15], where we introduce the slicetopology in the space of quaternions, and we generalize it to the n-dimensional quadratic cone O n s of octonions.This topology allows us to introduce a notion, that we call weak slice regularity on O n s .Functions weak slice regular turn out to be a generalization of the slice regular functions defined in [28], which are called strong slice regular in this paper.Note that in one variable, weak slice regular functions coincide with the functions introduced by Gentili and Struppa, while strong slice regular functions coincide with those introduced by Ghiloni and Perotti.Strong slice regular functions can be generalized to both O n and O n s , while weak slice functions can be easily generalized to O n s , but how to define them on O n is an open question.
The theory of weak slice regular functions is heavily based on the validity of the representation formula, which is also the main tool for the extension of complex analysis to what is nowadays called slice analysis.
As we pointed out, we will work on the n-dimensional quadratic cone of octonions O n s which is defined by where and the involved complex structures I 1 , . . ., I n are non commutative, it is a problem to provide a suitable definition of holomorphy on the slice Moreover, strong slice regular functions in one variable are slice functions, and this fact makes it easier to generalize the notion to higher dimensions, see [12,16,24,28].
Ren and Yang [28] defined the strong slice regular functions on the n-dimensional quadratic cone of octonions O n s .Since the slice-structure on O n s reflects the one of O, many properties in complex analysis of several variables can be generalized to slice analysis on O n s using the property of being a slice function.As we already noted, unfortunately the slice analysis on O n cannot be treated in this way.In contrast, weak slice regular functions in one variable are not necessarily of slice type, and they may be defined on not necessarily axially symmetric slice-domains, see [16].
In [25], Ghiloni and Perotti define another kind of strong slice regular functions on the quadratic cone (Q A ) n , where A is a real alternative * -algebra The restrictions of their functions on O n s are different from the functions introduced by Ren and Yang.Furthermore, the definition domain Ω of Ghiloni and Perotti's functions require stronger symmetric conditions.
In this paper we will consider weak slice regular functions on the n-dimensional quadratic cone of octonions O n s .This class of functions allows to consider more general situations.For example, we will show in the last section that the function f (x) = √ x 1 can be extended to a weak slice regular on the slice-domain Ω defined by (9.1).However, according to Proposition 9.1, f cannot be extended to Ω as a strong slice regular function.We shall show, see Remark 5.3, that each strong slice regular extension is weak slice regular, but the converse does not hold, in general.We prove that these two classes of functions coincide on axially symmetric domains in the slice-topology.
The structure of this paper is as follows.In Section 2, we recall some basic concepts, also following [28].In Section 3, we generalize slice functions on axially symmetric open sets to any subset in O n s .We give the definition of slice function, including a version of the representation formula; see Proposition 3.3.In Section 4, we introduce strong slice regular functions.In Section 5, we define the slicetopology on O n s and the notion of weak slice regular functions on open sets in the slice-topology τ s .Moreover, we prove a splitting lemma for these functions.We also show that strong slice regular functions are weak slice regular on axially symmetric open sets in τ s .In Section 6, we study in detail the properties of the slice-topology on O n s and we prove an identity principle for weak slice regular functions and for strong slice regular functions on axially symmetric domains in τ s .In Section 7, we prove that the notion of weak slice regular and strong slice regular functions are equivalent on axially symmetric domains in τ s .We also give two representation formulas for weak slice regular functions.Section 8 discusses the Taylor expansion in our framework.Finally, Section 9 contains an example of a weak slice regular function which is not (and cannot be extended to) a strong slice regular function.

Preliminaries
In this section, we recall some well known material on octonions, see [29], and some basic definitions in octonionic slice analysis [28].
The algebra of octonions O is a real, alternative, division algebra which is noncommutative and non-associative.It can be generated from the algebra of quaternions H by the Cayley-Dickson process.
As a real vector space, it is isomorphic to R 8 , and can be equipped with a basis e 0 = 1, e 1 , . . ., e 7 .
The sphere S of imaginary units of octonions O is defined by An element I ∈ S belongs to the set of purely imaginary octonions namely octonions of the form x ℓ e ℓ , x ℓ ∈ R. For each I ∈ S we denote by C I the complex plane whose imaginary unit is I and setting x = (x 1 , ..., x n ), y = (y 1 , ..., y n ) ∈ R n , we write x + yS ⊂ Ω, where x + yS := {x + yJ ∈ O n s : x, y ∈ R n and J ∈ S}.

Slice functions
In [28], a class of slice regular functions is defined on the n-dimensional quadratic cone of octonions by slice functions and corresponding stem functions, following the slice analysis on real alternative * -algebras, see [23].This technique plays a fundamental role in slice analysis in one variable and was used recently in the octonionic case in a new way, connecting slice analysis with quaternionic analysis, see [27].In this section, we will generalize the slice functions defined in [28].
We will use stem functions defined on the upper half complex plane we avoid to impose additional hypothesis on the domain and on the functions, in order to have well posedness.Morever, we need to extend the notion of upper half plane to C n .To this end, we introduce the next definition.Definition 3.1.Given x, y ∈ R n , we say that (x, y) ∈ R 2n is positive if y 1 > 0 or there is m ∈ {2, ..., n} such that y m > 0 and y ℓ = 0 for all 1 ≤ ℓ < m.We say that the set In the sequel we will make use of the following useful notations: for any We now define the slice functions in our setting: for any (x, y) ∈ Ω + s2 and any I ∈ S with x + yI ∈ Ω.In the paper [15] the equality (J − K) −1 K = −K(J − K) −1 , where J, K are quaternions, is used in the proof of a general representation formula.We now replace the imaginary units J, K by the left multiplication operators L J , L K acting on O and we get the following equality: where where 1 denotes here, and in the sequel, the identity map of O.
It is easy to check that the following equality holds by (3.2) for each J, K ∈ S with J = K.
In the next result we prove some equivalent statements characterizing slice functions following the ideas in quaternionic slice analysis, see [15].
Then the following statements are equivalent: for each (x, y) ∈ Ω s1 and I ∈ S with x + yI ∈ Ω. (iii) (Matrix form) For each (x, y) ∈ R 2n and I, J, K ∈ S with J = K and x + yI, x + yJ, x + yK ∈ Ω, (iv) (Linear form for I) For each (x, y) ∈ R 2n and I, J, K ∈ S with J = K and x + yI, x + yJ, x + yK ∈ Ω, Proof.This proof exploits ideas in [15].The fact that statements (3.5), (3.6) and (3.7) are equivalent follows by (3.2) and (3.3).Then (iii), (iv) and (v) are also equivalent since they are basically a rewriting one of the others.We prove the equivalence of the remaining assertions.(i)⇒(ii).Suppose that f is a slice function.Then, there is a function for any (x, y) ∈ R 2n + and I ∈ S with x + yI ∈ Ω.We define the function Direct computations show that F satisfies (3.4), where I x,y is the unique imaginary unit I ∈ S such that x + yI ∈ Ω.It follows that (ii) holds.
(iii)⇒(i).Suppose that f satisfies (iii).For any (x, y) ∈ Ω s2 , by the axiom of choice, there is (J x,y , K x,y ) ∈ S with J x,y = K x,y such that x+yJ x,y , x+yK x,y ∈ Ω.The function F : Ω s2 → O 2×1 defined by Remark 3.5.The linear forms for I and for f as in (iv), (v) appeared in [5] and [28].
In [28] the authors used a different notion of slice functions starting from functions defined on open subsets on C n which are intrinsic and then defining a slice function as a function induced by an intrinsic one.
Proposition 3.6.The class of slice functions in Definition 3.2 and the class of slice functions in [28] are equivalent on axially symmetric domains.
Proof.Let Ω be an axially symmetric domain in O n s .In the proof we will make use of the map (i) Suppose f : Ω → O is a slice function according to the definition in [28].Then there is a stem function for each x, y ∈ R n and I ∈ S with x + yI ∈ Ω, where F 1 , F 2 : Then the function (ii) Suppose that f : Ω → O is slice function according to Definition 3.2.Then there is a function otherwise, satisfies (3.9), as it can be verified by directly calculations.By (3.11), it is immediate to check that F is intrinsic, i.e.
where F 1 and F 2 are defined by (3.10).Therefore, f is a slice function in the sense of [28].
Remark 3.7.Note that the slice functions in [28] are defined on axially symmetric domains in O n s , whereas Definition 3.2 allows to consider any subset of O n s .Thus the class of slice functions defined in Definition 3.2 is a generalization of the one considered in [28].
By [28, Proposition 2.5 and Corollary 2.6] and Proposition 3.6, slice functions satisfies two representation formulas.These formulas are extended to our case, as consequences of Proposition 3.3.
Corollary 3.8.(General Representation Formula, linear form for the functions) for each (x, y) ∈ R 2n and I, J, K ∈ S with J = K and x + yI, x + yJ, x + yK ∈ Ω.
Proof.It follows from Proposition 3.3 (i) and (v).Corollary 3.9.(Representation Formula, linear form for imaginary units) Let Ω ⊂ O n s and f : Ω → O a slice function.Then for each (x, y) ∈ R 2n and I, J ∈ S with x + yI, x ± yJ ∈ Ω.
Proof.It follows from Corollary 3.8, by setting J = K.

Strong Slice regular functions
We recall that we will refer to the notion given in [28] of slice regular functions on axially symmetric open sets of O n s as strong slice regularity.In this section we generalize strong slice regular functions from axially symmetric open sets of O n s to any subsets of O n s .Definition 4.1.Let V ⊂ R 2n .We say that a function for each m ∈ {1, 2, ..., n} and x = (x 1 , ..., x n ), y = (y 1 , ..., y n ) ∈ R n with (x, y) ∈ U , where for any (x, y) ∈ Ω s1 and any I ∈ S with x + yI ∈ Ω.
We define holomorphic functions on each slice C I following the definition in complex analysis in the case of vector-valued functions in several variables.

Weak slice regular functions
In this section, we generalize the slice-topology on H (see [15]) to O n s .Moreover, we will define another class of slice regular functions that we call weak slice regular, following the terminology in [15].This class of functions is defined by imposing the condition of being holomorphic on each slice C I , I ∈ C, instead of requiring that the stem functions are holomorphic.As it is well known, these two approaches give, in general, different classes of functions, unless one imposes additional conditions.The two classes are same on some axially symmetric sets.We now set By decomposing the values of a function using a fixed s-basis, we can prove the following: Lemma 5.5.(Splitting Lemma) Let f be a function defined on a slice-open subset Ω of O n s .Then f is weak slice regular if and only if for any s-basis {I, J, K}, there are four complex-valued holomorphic functions F 1 , F 2 , F 3 , F 4 : Ω I → C I such that Proof.(i) Suppose that f is weak slice regular.Then for each s-basis {I, J, K}, there are four complex-valued functions F 1 , F 2 , F 3 , F 4 : Ω I → C I such that If f is weak slice regular, then where It follows that F 1 , F 2 , F 3 , F 4 are holomorphic.
(ii) Suppose that for any s-basis {I, J, K}, there are four complex-valued holomorphic functions F 1 , F 2 , F 3 , F 4 : Ω I → C I such that f I := f | ΩI can be written as Hence f I is holomorphic for all I ∈ S. It implies that f is weak slice regular.

Identity principle
In this section we prove an identity principle for both the weak and strong slice regular functions.Moreover, we generalize some properties of the slice-topology of H (see [15]) to O n s .Definition 6.1.
We note that the subspace topology on R n induced by τ s coincides with the Euclidean topology on R n , and so the notions of slice-connectedness and of connectedness coincide on R n .Proposition 6.2.Let Ω be a slice-open set in O n s .Then for any q ∈ Ω, there is a real-connected slice-domain V ⊂ Ω containing q.
Proof.Let us consider q ∈ Ω and a set A defined as follows: if q ∈ R n then A is the connected component of Ω R containing q in R n , otherwise A = ∅.Then the slice-connected component (Ω\Ω R )∪A containing q is a real-connected slice-domain in Ω containing q.Let Ω be a real-connected slice-domain in O n s .Then (i) If Ω R = ∅, then Ω ⊂ C n I for some I ∈ S. (ii) If Ω R = ∅, then for each q ∈ Ω and x ∈ Ω R , there is a slice-path γ on a slice from q to x. (iii) For all I ∈ S, Ω I is a domain in C n I .(iv) For all p, q ∈ Ω, there exist two slice paths γ 1 , γ 2 , each of which on a slice in Ω, such that γ 1 γ 2 is a path from p to q.
Proof.(i) Let us assume that Ω R = ∅.Then for any where S + is a subset of S such that S = S + (−S + ).By the slice-connectedness of Ω, Ω ⊂ C n I \R n for some I ∈ S. (ii) For any q ∈ Ω there is I ∈ S such that q ∈ C n I .Set V the connected component of Ω I containing q.If V R = ∅, then V and Ω\V are slice-open, and since Ω is slice-connected, it follows that V = Ω and Ω R = ∅, which is a contradiction.Therefore, V R = ∅.Let now x ∈ Ω R .Then for any x 0 ∈ V R , there is a path α in V from q to x 0 , and a path β in Ω R from x 0 to x.It follows that the path composition αβ is a slice-path on a slice from q to x.
Proposition 6.6.The topological space (O n s , τ s ) is connected, locally path-connected and path-connected.
Proof.Propositions 6.2 and 6.5 (iv) imply that (O n s , τ s ) is locally path-connected.
it is clear that (O n s , τ s ) is path-connected and connected.
Lemma 6.7.Let Ω be a real-connected slice-domain in O n s and f, g be two weak slice regular functions on Ω.If f and g coincide on a nonempty open subset of Ω I (or Ω R ) for some I ∈ S, then f = g on Ω.
Proof.We begin by observing that Proposition 6.5 (iii) and the fact that Ω I = ∅ imply that Ω I is a nonempty domain in C n I .(i) Suppose f and g coincide on an open subset V of Ω R .Then for any x ∈ V , f and g have the same Taylor series at x ∈ Ω R .According to Splitting Lemma 5.5, f and g have the same Taylor series at x in Ω I , for any fixed I ∈ S since this is true for each complex valued components of f and g.Let r ∈ R + such that B I (x, r) ⊂ Ω I , where B I (x, r) is the ball with center x and radius r in C n I .Then where f (I,α) := (f | ΩI ) (I,α) (the meaning of the symbols (f | ΩI ) (I,α) is clear, but see Definition 8.1).Hence for any z ∈ B I (x, r), .
Therefore f = g on an open set B I (x, r) in Ω I .Therefore f and g coincide in Ω I .Consequently, f = g on Ω = J∈S Ω J .
(ii) Suppose there is I ∈ S such that f and g coincide on an open subset of Ω I .Then f and g coincide on Ω I .If Ω R = ∅, then Ω = Ω I by Proposition 6.5 (i), hence this lemma holds in this case.Otherwise Ω R = ∅, then the lemma holds by (i).Theorem 6.8.(Identity Principle) Let Ω be a slice-domain in O n s and f, g be weak or strong slice regular functions on Ω.If f and g coincide on a nonempty open subset V of Ω I (or Ω R ) for some I ∈ S then f = g in Ω.
Proof.(i) Suppose f, g are weak slice regular.Set Obviously, A is slice-open in Ω by definition.Choose q ∈ V .According to Proposition 6.2, there is a real-connected slicedomain U containing q with V ⊂ Ω.By Lemma 6.7, f = g on V .Hence q ∈ A and A is nonempty.
Choose q ∈ Ω\A.Set U be a real-connected slice-domain in By Lemma 6.7, f = g on V and q ∈ A, which is a contradiction.Therefore A ∩ V = ∅ and q is a slice-interior of Ω\A.It implies that Ω\A is slice-open, and since Ω is slice-connected, A = Ω.Hence f = g on Ω.
(ii) Suppose f, g are strong slice regular.By Remark 5.3, f, g are weak slice regular and so the assertion holds by (i).

Representation formulas for weak slice regular functions
In this section, we prove that weak slice regular functions defined on axially symmetric slice-domains are slice functions.Hence they satisfy the representation formulas in Corollaries 3.8 and 3.9.Moreover, we show that a function defined on an axially symmetric slice-domain is weak slice regular if and only if it is strong slice regular.
The following result is very simple but crucial in the sequel: Let Ω be a nonempty axially symmetric slice-domain.Then Ω R = ∅.
Proof.It follows from the definition.
In the sequel, we shall always assume that Ω ⊂ O n s is nonempty.Theorem 7.2.Weak slice regular functions defined on axially symmetric slicedomains are slice functions.
Proof.Let Ω be an axially symmetric slice-domain in O n s and let f : Ω → O be weak slice regular.Then Ω R = ∅, by Proposition 7.1.
Fix I ∈ S. We can define the functions g[J] : Ω J → O, J ∈ S, by for any x + yJ ∈ Ω J .Note that for any x ∈ Ω R we have and for any x It is clear that there is a function Moreover, (7.1), (7.2) show that the function F : Ω s1 → O 2×1 defined by is a stem function of h so that h is slice.By directly calculation, for each ℓ ∈ {1, 2, ..., n} and x + yJ ∈ Ω.
It implies that g[J] is holomorphic, and so is h J .Hence h is weak slice regular.Since h = g[I] = f on Ω R , it follows from the Identity Principle 6.8 that f = g on Ω.Then f is slice, since g is slice.
Corollary 7.3.(General Representation Formula) Let Ω be an axially symmetric slice-domain in O n s and f : Ω → O be a weak slice regular function.Then for each (x, y) ∈ R 2n and I, J, K ∈ S with J = K and x + yI, x + yJ, x + yK ∈ Ω.
for each (x, y) ∈ R 2n and I, J ∈ S with x + yI, x ± yJ ∈ Ω.
Proof.It is an immediate consequence of Corollary 3.9 and Theorem 7.2 and also a particular case of Corollary 7.4 when K = −J.
Lemma 7.5.Weak slice regular functions defined on axially symmetric slice-domains are strong slice regular.
Proof.Let Ω be an axially symmetric slice-domain in O n s and let f : Ω → O be a weak slice-regular with stem function F : Ω s1 → O 2×1 defined by (7.3).It is clear by (7.3), that F has continuous partial derivatives.
Theorem 7.6.The class of weak slice regular and strong slice regular functions coincide on axially symmetric slice-domains.
Proof.The result follows by Proposition 4.4 and Lemma 7.5.

Taylor series
An important feature of holomorphic functions in several complex variables is the fact that they can be expanded as Taylor series.A function theory generalizing the one of holomorphic functions is expected to have this property and in fact, in this section, we prove that weak slice regular functions admit a Taylor series expansion.
8.1.Slice derivatives.To start with, we generalize the notion of slice derivative to the case of functions in several octonionic variables.Moreover, if f is holomorphic, then Proof.(i) By direct calculation, for each ℓ ∈ {1, ..., n} and x + yI ∈ Ω, (ii) Suppose that f is holomorphic.Then for each ℓ ∈ {1, ..., n} and x + yI ∈ Ω, The set of purely imaginary octonions is denoted by Im(O) and we observe that It is easy to check that Im(O) is a 7-dimensional real vector space and that Let Ω be a slice-open set in O n s and f : Ω → O be weak slice regular.Then for each α ∈ N n , f (α) is weak slice regular and Proof.The proof is by induction on the length |α| = n i=1 α i of α.For |α| = 0, it is clear that f (0) is weak slice regular and (8.2) holds.Suppose that f (β) is weak slice regular, |β| = m and (8.2) holds when α = β.We shall prove the statement for multi-indices of lenght m + 1, i.e. we shall prove that for all ℓ ∈ {1, ..., n}, f (β+θ ℓ ) is weak slice regular and (8.2) holds when α = β + θ ℓ , where Let ℓ ∈ {1, ..., n} and I ∈ S. Since f (β) is weak slice regular, f (β)  I is holomorphic.By induction hypothesis and (8.1) we deduce that is holomorphic.Since the choice of I is arbitrary, it follows that f (β+θ ℓ ) is weak slice regular and (8.2) holds when α = β + θ ℓ .Thus we proved that for each α ∈ N n , f (α) is weak slice regular and (8.2) holds.
8.2.Further properties of octonions.Before to state our main results, we prove some useful properties of octonions.
Below, the symbol Let q ∈ O.There are unique r ∈ R and s ∈ Im(O) such that q = r + s, and this fact justifies the notation Re(q) := r and Im(q) := s.Then It is easy to check that if z ∈ C I ∩ C J , for some I, J ∈ S, then P I (z, r) = P J (z, r).
Hence, we can write P(z, r) short for P I (z, r), without ambiguity.We call P(z, r) the slice-polydisc with center z and radius r.Proof.This proposition follows directly from the Splitting Lemma 5.5 and the Taylor expansion for holomorphic functions in several complex analysis.
We deduce that for any ℓ ∈ {1, ..., n}, So f K is holomorphic and since the choice of z and K is arbitrary, f is weak slice regular.
(ii) Since f is weak slice regular and O n s is axially symmetric, it follows from Lemma 7.5 that f is strong slice regular and so f is also slice.By Proposition 3.3 (iv), (q − p) * α a = f (q) = f (x + yJ) = s + Jr, where r = Hence (8.7) holds directly by Proposition 8.6.

Definition 5 . 4 .
τ s (O n s ) := {U ⊂ O n s : U I ∈ τ (C n I ), ∀ I ∈ S}.It is easy to check that τ s is a topology on O n s , thus leading to the following: Definition 5.1.We call τ s the slice-topology on O n s , where τ (C n I ) is the Euclidean topology on C n I .In the sequel, open sets, connectedness and paths in the slice-topology are called slice-open sets, slice-connectedness and slice-paths, respectively, and similarly for other notions.Definition 5.2.Let Ω be a slice-open set in O n s .A function f : Ω → O is called weak slice regular, if for any I ∈ S, the restriction f I := f | ΩI is holomorphic.Remark 5.3.By Proposition 4.4, any strong slice regular functions defined on a slice-open set is weak slice regular.The set {I, J, K} is called a s-basis of O, if I, J, K ∈ S and {1, I, J, IJ, K, JK, IK, IJK} is a basis of O as a real algebra.

Definition 6 . 3 .Proposition 6 . 4 .
A path γ in O n s is called on a slice, if γ ⊂ O n s ∩ C n I for some I ∈ S.Any path on a slice is a slice-path.Proof.It follows directly from the fact that τ s (C n I ) = τ (C n I ) for any I ∈ S.Proposition 6.5.

Proof.
It is an immediate consequence of Corollary 3.8 and Theorem 7.2.Corollary 7.4.(Representation Formula) Let Ω be an axially symmetric slicedomain in O n s and f : Ω → O a weak slice regular function.Then
•, • denotes the scalar product in O.