Abstract
The problem of building an orthogonal basis for the space of square-integrable harmonic functions defined in a spheroidal (either oblate or prolate) domain leads to special functions, which provide an elegant analysis of a variety of physical problems. Many generalizations of these ideas in the context of Quaternionic Analysis possess a similar elegant mathematical structure. A brief descriptive review is given of these developments.
Celebrating Wolfgang Sprößig 70th birthday
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
1 Introduction
The origins behind the study of orthogonal bases of polynomials for the spaces of square-integrable harmonic functions defined in a prolate or oblate spheroid are to be found in [16]. The orthogonality was taken with respect to certain inner products, each of which lead to the discussion of a PDE by means of the kernel of the orthogonal system corresponding to that inner product. As regards treatises on the subject, we add the names of Laplace [28], Lamé [27], Heine [23], Liouville [34], Thomson and Tait [51], Hilbert [24], Niven [47], Klein [26], Lindemann [33], Stieltjes [49], Darwin [11], Ferrers [15], Féjer [14], Whittaker and Watson [52], among others, while more general aspects of their theory were given by Hobson [25], Szegö [50], Byerly [6], Sansone [48], Lebedev [31], and Dassios [12]. In this connection, recently in [17] the spheroidal harmonics were defined following [16], with a rescaling factor which permits including the unit ball as a limit of both the prolate and oblate cases, combined into a single one-parameter family.
Multi-dimensional extensions of the prolate spheroidal harmonics to the framework of Quaternionic Analysis were originally developed in [36] and subsequently in [37], which provided many of their properties and have subsequently attracted special attention. In [43] it was shown that the underlying prolate spheroidal monogenics play an important role in defining and studying the monogenic Szegö kernel function for prolate spheroids. In [46] the authors developed an orthogonal basis of oblate spheroidal monogenics and some recurrence formulae were found. It was shown that in the case of an oblate spheroid a basis can only be either orthogonal or Appell basis. Some aspects on generating monogenic functions that are orthogonal in a region outside a prolate spheroid were considered in [44]. Generalization of these results has been recently done in [38].
The object of the present note is twofold: to review the construction of a single one-parameter family of spheroidal harmonics with special emphasis on those orthogonal in the L 2-Hilbert space structure; and to construct an orthogonal basis of spheroidal monogenics, whose elements are parametrized by the shape of the corresponding spheroid. We observe that this analysis cannot be done with models in which the unit ball only is approximated as a degenerate case and requires a separate, yet completely analogous, treatment for prolate and oblate spheroids [16, 25]. The proofs of the main results are simplified, in accordance with developments of the theory later in date than the original proofs; other results are given in a form more general than that in which they were first discovered. The references given are to be regarded solely as indicating sources of information from which I have drawn, or where more detailed information on the various topics is to be found.
2 Background on Spheroidal Harmonics
We consider the family of coaxial spheroidal domains Ωμ, scaled so that the major axis is of length 2:
where \(\nu \in \mathbb {R}\) and \(\mu =(1-e^{2\nu })^{\frac {1}{2}}\) will be useful in later formulas. This follows the notation in [17]. The equations relating the Cartesian coordinates of a point x = (x 0, x 1, x 2) inside Ωμ to spheroidal coordinates (η, 𝜗, φ) are
where in the case of the prolate spheroid (ν < 0) the coordinates range over η ∈ [0, π], \(\vartheta \in [0,\operatorname {arctanh} e^\nu ]\), φ ∈ [0, 2π), and 0 < μ < 1 is the eccentricity, while for the oblate spheroid (ν > 0) we have η ∈ [0, π] and \(\vartheta \in [0,\operatorname {arccoth} e^\nu ]\), φ ∈ [0, 2π) and μ is imaginary, μ∕i > 0. The spheroids reduce to the unit ball for ν = 0, μ = 0: \(\Omega _{0} = \{x \in \mathbb {R}^3 \, \colon |x|{ }^2 < 1\}\).
In terms of the coordinates (12.2.2), the spheroidal harmonics are
where
for μ ≠ 0. Here \(P_l^m\) are the associated Legendre functions of the first kind (see [25, Ch. III]) of degree l and order m, and we write \(\Phi _m^+(\varphi )=\cos (m\varphi )\), \(\Phi _m^-(\varphi )=\sin (m\varphi )\), and
with use of the symbol \(n!!=\prod _{k=0}^{\lceil n/2 \rceil -1} (n-2k)\) for the double factorial. To avoid repetition, we state once and for all that \(U^{-}_{l,m}[\mu ]\) is only defined for m ≥ 1, i.e. \(U^{-}_{l,0}[\mu ]\) is expressly excluded from all statements of theorems.
It was shown in [17] that with the scale factor (12.2.5), the \(U^{\pm }_{l,m}[\mu ]\) are polynomials in the variables x 0, x 1, x 2, which are normalized so that the limiting case μ → 0 gives the classical solid spherical harmonics [45, 48],
where we employ spherical coordinates \(x_0 = \rho \cos \theta \), \(x_1 = \rho \sin \theta \cos \varphi \), and \(x_2 = \rho \sin \theta \sin \varphi \).
Moreover, in [16] it was shown that while the \(U^{\pm }_{l,m}[\mu ]\) are orthogonal in the Dirichlet norm on Ωμ, the closely related functions, which we will call the Garabedian spheroidal harmonics,
form an orthogonal basis for \(L_2(\Omega _\mu ) \cap \operatorname {Har}(\Omega _\mu )\), the set of harmonic functions in L 2( Ω μ). This property makes the \(V^{\pm }_{l,m}[\mu ]\) of greater interest for many considerations.
In accordance with the notation already employed, we shall use \(V^{\pm }_{l,m}[\mu ] = V_{l,m}[\mu ] \Phi _m^\pm \) when the factors \(\Phi _m^\pm \) are not of interest. It will be convenient, before proceeding, to investigate the algebraical forms of the V l,m[μ]. We will assume that ν < 0, because the case ν > 0 is similar. From differentiating (12.2.2),
from which the definition (12.2.7) gives
There are many well-known recurrence relations for the associated Legendre functions (see for example [25, Ch. III]). The relation
yields that (12.2.8) is equal to (l + m + 1) times
It follows, then, that
with the initial values
In order to avoid the difficulties usually attendant on manipulations like those of the formulas (12.2.10), it will here be convenient to prove very simple recurrence relations for the functions V l,m[μ]. The following will be key in the proof of Theorem 12.3.1 and it is based on the results of [36].
Proposition 12.2.1
For each l ≥ 2, the functions V l,m[μ] satisfy the recurrence relations
Proof
Equation (12.2.10) together with the further relation
show that
with
Using again (12.2.12), we obtain
The result now follows. □
Since the basic harmonics \(U^{\pm }_{l,m}[\mu ]\) of [16] are polynomials of degree l, it is clear that the operations of rescaling by 1∕μ or i∕μ and multiplying by μ l implied in (12.2.4) assure that the \(V^{\pm }_{l,m}[\mu ]\) are polynomials in μ. By Eq. (12.2.11) it is clear that − μ produces the same results as μ, so the only powers of μ which appear are even.
In this regard, from (12.2.11) we note that for spherical harmonics,
whereas \(V^{\pm }_{l,m}[\mu ]\) is not so simply related to \(U^{\pm }_{l,m}[\mu ]\) for μ ≠ 0, as was proved in [36]:
Theorem 12.2.2
Let l ≥ 0, 0 ≤ m ≤ l. The non-vanishing coefficients v l,m,k in the relation
are given by
Proof
Suppose inductively that the formula of theorem is true when l is replaced by l′ < l. Then
Since by (12.2.15)
we find that the stated formula is also true, completing the proof. □
An important result of [16] regarding the orthogonailty of the \(V^{\pm }_{l,m}[\mu ]\) in the L 2-Hilbert space can be restated as follows.
Theorem 12.2.3
For a fixed μ, the functions \(V^{\pm }_{l,m}[\mu ]\) (l ≥ 0) form a complete orthogonal family in the closed subspace \(L_2(\Omega _\mu ) \cap \operatorname {Har}(\Omega _\mu )\) of L 2( Ω μ) with the norms
where I l,m(μ) is defined by
and
For the limiting case, μ = 0,
3 An Orthogonal Basis of Spheroidal Monogenics
The standard bases for spheroidal harmonics have their counterparts for the corresponding spaces of monogenic functions taking values in \(\mathbb {R}^3\). These monogenic polynomials are defined by regarding \(\mathbb {R}^3\) as the subset of the quaternions \(\mathbb {H} := \{x_0 + x_1\mathbf {i} + x_2\mathbf {j} + x_3\mathbf {k}\}\) for which x 3 = 0. Although this subspace is not closed under the quaternionic multiplication (which is defined, as usual, so that i 2 = j 2 = k 2 = −1 and ij = k = −ji, jk = i = −kj, ki = j = −ik), it is possible to carry out a great deal of the analysis analogous to that of complex numbers [13, 21, 35, 39, 40, 42].
Consider the Cauchy-Riemann (or Fueter) operators
Define the set of monogenic functions
Monogenic functions are harmonic, but not vice-versa. The hypercomplex derivative is simply denoted by (1∕2)∂ f [18].
A basis of polynomials spanning the square-integrable solutions of \(\overline {\partial } \mathbf {f}=0\) was given in [36] (cf. [37]) for prolate spheroids and another in [46] for oblate spheroids, via explicit formulas. Note that the latter prolate and oblate spheroidal monogenics can be obtained as a special case of the present theory by appropriate interpretation. In the following, we consider the prolate and oblate cases of spheroids simultaneously.
In analogy to (12.2.7) the basic monogenic spheroidal polynomials are constructed as
It was noted in [39] that \(\operatorname {Sc} {\mathbf {X}}^{\pm }_{l,m}[0]\) is equal to \(V^{\pm }_{l,m}[0] = (l+m+1) U^{\pm }_{l,m}[0]\), and an explicit expression for the vector part was written out, which was later generalized from the sphere to the spheroid in [36].
Using (12.2.10) and further properties of the Legendre functions, we can verify that
These functions will appear in the representation (12.3.4) for the case of zero-order monogenic polynomials (see Theorem 12.3.1 below). Similar results can be found in [36].
Theorem 12.3.1
For each l ≥ 0 and 0 ≤ m ≤ l + 1, the basic spheroidal monogenic polynomials (12.3.2) are equal to
where the harmonic polynomials \(V^{\pm }_{l,m}[\mu ]\) are defined by (12.2.7). Moreover, the set \(\{{\mathbf {X}}^{\pm }_{l,m}[\mu ]: l \geq 0, \, 0 \leq m \leq l+1\}\) is orthogonal in the sense of the scalar product defined by
Their norms are given by
where I l,m(μ) is defined by (12.2.17). For the limiting case, μ = 0,
Proof
The full operator (12.3.1) in spheroidal coordinates (12.2.2) is
The first line of this expression applied to \(U^{\pm }_{l+1,m}[\mu ]\) produces the scalar part of \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) in (12.3.4) and was calculated in [36]. For the non-scalar part, we use the relation (12.2.9) to obtain
Next, we use the relation
(valid for |t| < 1, and replacing 1 − t 2 with t 2 − 1 for |t| > 1) produces
Furthermore, using the expression
and its counterpart for |t| > 1, and then applying (12.2.12), we arrive at
With these calculations at hand, we have
Similarly, one can prove that
Combining these three formulas one straightforward obtains the desired expressions for \((\partial /\partial x_1) U^{\pm }_{l+1,m}[\mu ]\) and \((\partial /\partial x_2) U^{\pm }_{l+1,m}[\mu ]\).
In the sequel, we will denote by [f]i (i = 0, 1, 2) the components of a function \(\mathbf {f} \colon \Omega _{\mu } \to \mathbb {R}^3\). By definition of the integral (12.3.5) it follows that
By Eqs. (12.3.3) and (12.3.4), and Theorem 12.2.3 we have
and
where \(dR=\mu ^3(\cosh ^2\eta - \cos ^2\vartheta ) \sin \vartheta \sinh \eta d\vartheta d\eta \).
Using Proposition 12.2.1, and applying again the orthogonality of Theorem 12.2.3, we are left with
with I l,m defined in (12.2.17). Combining (12.3.6) and (12.3.7), we conclude that
when l 1 ≠ l 2 or m 1 ≠ m 2. Similarly, \(\langle {\mathbf {X}}^{-}_{l_1,m_1}[\mu ], {\mathbf {X}}^{-}_{l_2,m_2}[\mu ] \rangle _{L_2(\Omega _{\mu })} =0\) when l 1 ≠ l 2 or m 1 ≠ m 2.
Using once more the orthogonality of the system \(\{\Phi _m^\pm \}\) on [0, 2π], we conclude that
when the indices do not coincide. The calculation of the norms comes from taking l 1 = l 2 and m 1 = m 2 in (12.3.7) and adding the expression (12.2.16). By the symmetric form taken by \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) in (12.3.4), we know that when m ≠ 0,
The limiting case, μ = 0, follows with the use of Eq. (12.2.19). □
The solid spherical monogenics \({\mathbf {X}}^{\pm }_{l,m}[0]\) are embedded generically in this one-parameter family of spheroidal monogenics. In contrast, in treatments such as [16, 25, 36, 37, 44, 46], the spheroidal monogenics degenerate as the eccentricity of the spheroid decreases.
For a general orientation, the reader is urged to read some of the existing works where the spherical monogenics emerged [7, 9, 10]. It is worth mentioning that at the time of the publications [8,9,10] a closed-form representation corresponding to the \({\mathbf {X}}^{\pm }_{l,m}[0]\) in terms of the basic solid spherical harmonics (12.2.6), originally stated in [39], were not at disposal for the investigation of some basic properties of these functions. They played a fundamental role in [19, 20, 22, 39, 40] (cf. [35]) in the study of higher-dimensional counterparts of the well-known Bohr theorem, Borel-Carathéodory’s theorem and Hadamard real part theorems on the majorant of a Taylor’s series, as well as Bloch’s theorem, in the context of Quaternionic Analysis, where they were investigated in detail. In a different context, orthogonal Appell bases of monogenic polynomials were constructed in [1], [4] and [41] (cf. [2, 3]) using a basis of quaternionic-valued spherical monogenics orthogonal with respect to the quaternionic inner product
These bases were rediscovered in [29] (cf. [5, 30]) using a different algebraic approach based on Gelfand-Tsetlin schemes.
In [32] it is shown that the dimension of the space \(\mathcal {M}^{(l)}\) of homogeneous monogenic polynomials of degree l in x 0, x 1, x 2 is 2l + 3 (this does not depend on the domain). Since the polynomials \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) are not homogeneous, we consider the space
of monogenic polynomials of degree l, a class which is not altered by adding monogenic polynomials of lower degree. Thus
Consider the collections of 2k + 3 polynomials
By Theorem 12.3.1 and (12.3.8), the union
is an orthogonal basis for \(\mathcal {M}_*^{(l)}\). In addition, \(\mathcal {M}_*^{(l)}\) is dense in \(L_2(\Omega _\mu ) \cap \mathcal {M}(\Omega _{\mu })\). Therefore the following result, which will be of use in the further discussion, can now be established:
Proposition 12.3.2
For a fixed μ, the function set (12.3.9) forms an orthogonal basis of \(L_2(\Omega _\mu ) \cap \mathcal {M}(\Omega _{\mu })\).
Furthermore, it would be useful in practice if the foregoing orthogonal basis (12.3.9) has the Appell property also. It was shown in [46] that there does not exist an orthogonal Appell basis in the case of spaces of solid oblate spheroidal monogenics. We shall proceed in such a manner that we compute the hypercomplex derivative of a spheroidal monogenic of degree l and show, as expected, that the obtained polynomial is not a member of the family with degree l − 1 like in cases of Appell bases [4, 7, 8, 10]. We find that the hypercomplex derivative of a basic spheroidal monogenic is a combination of [(l − m)∕2] + 1 spheroidal monogenics of lower degrees. Basically, it can be represented by all polynomials of degree at most l − 1.
Theorem 12.3.3
For a fixed μ, the hypercomplex derivative of \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) has the form:
where the constants v l,m,k are given by (12.2.15).
Proof
Since ∂∕∂x 0 is a linear operator, we find, by Theorem 12.2.2, the relation:
The rest of the proof is straightforward. □
An advantage of Eq. (12.3.10) is that it furnishes a concise expression for the hypercomplex derivatives of the basic monogenic spheroidal polynomials by means of which many of their properties may be easily investigated.
The next proposition shows that there are two hyperholomorphic constants among the basic spheroidal monogenic polynomials, i.e., functions whose hypercomplex derivative is identically zero.
Proposition 12.3.4
For a fixed μ, \({\mathbf {X}}^{\pm }_{l,l+1}[\mu ]\) are hyperholomorphic constants.
Proof
The proof is a consequence of Theorem 12.3.3. □
It can be further shown that \({\mathbf {X}}^{\pm }_{l,l+1}[\mu ] = {\mathbf {X}}^{\pm }_{l,l+1}[0]\); that is, the hyperholomorphic constants \({\mathbf {X}}^{\pm }_{l,l+1}[\mu ]\) do not depend on the parameter μ.
The hypercomplex derivatives of the prescribed monogenic polynomials in its extended signification being thus computed, no difficulties can arise in restricting it to a particular limiting case. In fact, when μ = 0, we have readily [7, 10]:
The reader might find without any additional work that, using (12.3.11) and setting for each l ≥ 0, 0 ≤ m ≤ l + 1,
the equality follows:
Thus the application of the hypercomplex derivative to \({\mathbf {Y}}^{\pm }_{l,m}\) results again in a real multiple of the similar function one degree lower [41]. The special normalization (12.3.13) is called Appell property. In [8] it is proved that the solid spherical monogenics (12.3.12) form, indeed, an orthogonal Appell basis for \(\mathcal {M}^{(l)}(\Omega _{0})\), l ≥ 0. In [1] and [3], fundamental recursion formulas were obtained for the elements of the prescribed Appell basis.
We turn now to show that the Appell property holds for a part of the \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) (providing the prescribed normalization (12.3.12)).
Corollary 12.3.5
Let μ be fixed. For l − m = 0, 1, the hypercomplex derivatives of \({\mathbf {X}}^{\pm }_{l,m}[\mu ]\) follow the rule
Proof
It is an immediate consequence of Theorem 12.3.3. □
One of our leading results is that the three-dimensional spherical monogenics considered, e.g., in [4, 8, 10] are embedded in the prescribed one-parameter family of internal spheroidal monogenics. Hence, the latter can be naturally seen as an extention of the former functions to arbitrarily spheroidal domains. Further investigations on this topic are now under investigation and will be reported in a forthcoming paper.
References
S. Bock, Über funktionentheoretische Methoden in der räumlichen Elastizitätstheorie, Ph.D. thesis, Bauhaus-University Weimar (2009)
S. Bock, On a three dimensional analogue to the holomorphic z-powers: Laurent series expansions. Complex Var. Elliptic Equ. 57(12), 1271–1287 (2012)
S. Bock, On a three dimensional analogue to the holomorphic z-powers: power series and recurrence formulae. Complex Var. Elliptic Equ. 57(12), 1349–1370 (2012)
S. Bock, K. Gürlebeck, On a generalized Appell system and monogenic power series. Math. Methods Appl. Sci. 33(4), 394–411 (2010)
S. Bock, K. Gürlebeck, R. Lávička, V. Souček, The Gel’fand-Tsetlin bases for spherical monogenics in dimension 3. Rev. Mat. Iberoam. 28(4), 1165–1192 (2012)
W.E. Byerly, An Elementary Treatise on Fourier’s Series, and Spherical, Cylindrical, and Ellipsoidal Harmonics, with Applications to Problems in Mathematical Physics (Dover, New York, 1959), pp. 251–258
I. Cação, Constructive approximation by monogenic polynomials, Ph.D. dissertation, Universidade de Aveiro (2004)
I. Cação, Complete orthonormal sets of polynomial solutions of the Riesz and Moisil-Teodorescu systems in \(\mathbb {R}^3\). Numer. Algorithms 55(2–3), 191–203 (2010)
I. Cação, K. Gürlebeck, S. Bock, Complete orthonormal systems of spherical monogenics – a constructive approach, in Methods of Complex and Clifford Analysis, ed. by L.H. Son, et al. (SAS International Publications, Delhi, 2005), pp. 241–260
I. Cação, K. Gürlebeck, B. Bock, On derivatives of spherical monogenics. Complex Var. Elliptic Equ. 51(8–11), 847–869 (2006)
G. Darwin, Ellipsoidal harmonic analysis. Philos. Trans. R. Soc. A 197, 461–557 (1902)
G. Dassios, Ellipsoidal Harmonics, Theory and Applications (Cambridge University Press, Cambridge, 2012)
R. Delanghe, On homogeneous polynomial solutions of the Riesz system and their harmonic potentials. Complex Var. Elliptic Equ. 52(10–11), 1047–1062 (2007)
L. Fejér, Über die Laplacesche Reihe. Math. Ann. 67, 76–109 (1909)
N.M. Ferrers, On the potentials of ellipsoids, ellipsoidal shells, elliptic laminae, and elliptic rings, of variable densities. Q. J. Pure Appl. Math. 14, 1–22 (1897)
P. Garabedian, Orthogonal harmonic polynomials. Pacific J. Math. 3(3), 585–603 (1953)
R. García, A.J. Morais, R.M. Porter, Contragenic functions on spheroidal domains. Math. Methods Appl. Sci. (2017). https://doi.org/10.1002/mma.4759
K. Gürlebeck, H. Malonek, A hypercomplex derivative of monogenic functions in \(\mathbb {R}^{n+1}\) and its applications. Complex Var. Elliptic Equ. 39(3), 199–228 (1999)
K. Gürlebeck, J. Morais, Bohr type theorems for monogenic power series. Comput. Methods Funct. Theory 9(2), 633–651 (2009)
K. Gürlebeck, J. Morais, On Bohr’s phenomenon in the context of quaternionic analysis and related problems, in Algebraic Structures in Partial Differential Equations Related to Complex and Clifford Analysis, ed. by L.H. Son, T. Wolfgang (University of Education Press, Ho Chi Minh City, 2010), pp. 9–24
K. Gürlebeck, K. Habetha, W. Sprössig, Holomorphic Functions in the Plane and n-Dimensional Space. Contemporary Mathematics, vol. 212 (Birkhäuser Verlag, Basel, 2008), pp. 95–107
K. Gürlebeck, J. Morais, P. Cerejeiras, Borel-Carathéodory type theorem for monogenic functions. Complex Anal. Oper. Theory 3(1), 99–112 (2009)
E. Heine, Handbuch der Kugelfunktionen (Verlag G. Reimer, Berlin, 1878)
D. Hilbert, Eigenschaften spezieller binärer Formen, insbesondere der Kugelfunktionen Drck Leupold (1885), p. 30
E. Hobson, The Theory of Spherical and Ellipsoidal Harmonics (Cambridge Universtiy Press, Cambridge, 1931)
F. Klein, Über Lamé’sche Functionen. Math. Ann. 18, 237–246 (1881)
G. Lamé, Mémoire sur l’équilibre des températures dans un ellipsoïde à trois axes inégaux. J. Math. Pure Appl. 4, 126–163 (1839)
P.S. Laplace, Théorie des Attractions des Sphéroïdes et de la Figure des Planètes, vol. III (Mechanique Celeste, Paris, 1785)
R. Lávička, Canonical bases for \(sl(2,\mathbb {C})\)-modules of spherical monogenics in dimension 3, Arch. Math. (Brno) 46(5), 339–349 (2010)
R. Lávička, Complete orthogonal appell systems for spherical monogenics. Complex Anal. Oper. Theory 6(2), 477–489 (2012)
N. Lebedev, Special Functions and their Applications (Dover, New York, 1972), Chaps. 7, 8
H. Leutwiler, Quaternionic analysis in \(\mathbb {R}^3\) versus its hyperbolic modification, in Proceedings of the NATO Advanced Research Workshop held in Prague, October 30–November 3, 2000, ed. by F. Brackx, J.S.R. Chisholm, V. Soucek, vol. 25 (Kluwer Academic Publishers, Dordrecht, 2001)
F. Lindemann, Entwicklung der Functionen einer complexen Variabeln nach Lamé’shen Functionen und nach Zugeordneten der Kugelfunctionen. Math. Ann. 19, 323–386 (1882)
J. Liouville, Sur diverses questions d’analyse et de Physique mathématique concernant L’ellipsoïde. J. Math. Pures Appl. 11, 217–236 (1846)
J. Morais, Approximation by homogeneous polynomial solutions of the Riesz system in \(\mathbb {R}^3\), Ph.D. thesis, Bauhaus-Universität Weimar (2009)
J. Morais, A complete orthogonal system of spheroidal monogenics. J. Numer. Anal. Ind. Appl. Math. 6(3–4), 105–119 (2011)
J. Morais, An orthogonal system of monogenic polynomials over prolate spheroids in \(\mathbb {R}^3\). Math. Comput. Model. 57, 425–434 (2013)
J. Morais, A quaternionic version of a standard theory related to spheroidal functions, Habilitation thesis. Preprint (2019)
J. Morais, K. Gürlebeck, Real-part estimates for solutions of the Riesz system in \(\mathbb {R}^3\). Complex Var. Elliptic Equ. 57(5), 505–522 (2012)
J. Morais, K. Gürlebeck, Bloch’s theorem in the context of quaternion analysis. Comput. Methods Funct. Theory 12(2), 541–558 (2012)
J. Morais, H.T. Le, Orthogonal appell systems of monogenic functions in the cylinder. Math. Methods Appl. Sci. 34(12), 1472–1486 (2011)
J. Morais, K. Avetisyan, K. Gürlebeck, On Riesz systems of harmonic conjugates in \(\mathbb {R}^3\). Math. Methods Appl. Sci. 36(12), 1598–1614 (2013)
J. Morais, K.I. Kou, W. Sprössig, Generalized holomorphic Szegö kernel in 3D spheroids. Comput. Math. Appl. 65, 576–588 (2013)
J. Morais, M.H. Nguyen, K.I. Kou, On 3D orthogonal prolate spheroidal monogenics. Math. Methods Appl. Sci. 39(4), 635–648 (2016)
C. Müller, Spherical Harmonics. Lectures Notes in Mathematics, vol. 17 (Springer, Berlin, 1966)
H.M. Nguyen, K. Gürlebeck, J. Morais, S. Bock, On orthogonal monogenics in oblate spheroidal domains and recurrence formulae. Integral Transforms Spec. Funct. 25(7), 513–527 (2014)
C. Niven, On the conduction of heat in ellipsoids of revolution. Philos. Trans. R. Soc. Lond. 171, 117 (1880)
G. Sansone. Orthogonal Functions. Pure and Applied Mathematics, vol. IX (Interscience Publishers, New York, 1959)
T.J. Stieltjes, Sur certains polynômes qui vérifient une équation différentielle linéaire du second ordre et sur la théorie des fonctions de Lamé. Acta Math. 6, 321–326 (1885)
G. Szegö, A problem concerning orthogonal polynomials. Trans. Am. Math. Soc. 37, 196–206 (1935)
W. Thomson, P.G. Tait Oxford, Treatise on Natural Philosophy (Clarendon Press, Oxford, 1867)
E.T. Whittaker, G.N. Watson, A Course in Modern Analysis (Cambridge University Press, Cambridge, 1927)
Acknowledgement
The author’s work is supported by the Asociación Mexicana de Cultura, A. C.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Morais, J. (2019). Comments on an Orthogonal Family of Monogenic Functions on Spheroidal Domains. In: Bernstein, S. (eds) Topics in Clifford Analysis. Trends in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-23854-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-030-23854-4_12
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-23853-7
Online ISBN: 978-3-030-23854-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)