Slice entire functions of quaternionic variable of bounded index

For more than a century, the constructive description of functional classes in terms of the possible rate of approximation of its functions by means of functions chosen from a certain set remains among the most important problems of approximation theory. It turns out that the nonuniformity of the approximation rate due between the points of the domain of the approximated function is substantial. For instance, it was only in the mid-1950s that it was possible to constructively describe Holder classes on the segment [–1; 1] in terms of the approximation by algebraic polynomials. For that particular case, the constructive description requires the approximation at neighborhoods of the segment endpoints to be essentially better than the one in a neighborhood of its midpoint. A possible approximation quality test is to find out whether the approximation rate provides a possibility to reconstruct the smoothness of the approximated function. Earlier, we investigated the approximation of classes of smooth functions on a countable union of segments on the real axis. In the present paper, we prove that the rate of the approximation by the entire exponential-type functions provides the possibility to reconstruct the smoothness of the approximated function, i.e., a constructive description of classes of smooth functions is possible in terms of the specified approximation method. In an earlier paper, that result is announced for Holder classes, but the construction of a certain function needed for the proof is omitted. In the present paper, we use another proof; it does not apply the specified function.

In this paper we survey some author’s results and developments relating the so-called Gel’fond-Leont’ev (G-L) operators of generalized integration and differentiation, classes of special functions (SF) of generalized hypergeometric type and the operators of generalized fractional calculus (GFC). The G-L operators have been introduced by Gel’fond-Leont’ev [9] in the classes of analytic functions in disks ΔR = {|z| < R}, by means of of multipliers’ sequences composed by the coeffcients of suitable entire (generating) functions. Introducing classes of SF related to Fractional Calculus (FC), as the Mittag-Leffer (ML) function, the multi-index Mittag-Leffer (multi-ML) function and its various particular cases ([16]–[18]), we specify the G-L operators generated by these entire functions. It is shown that in these cases, the G-L operators can be extended to analytic functions in wider complex domains Ω starlike with respect to the origin z = 0 and represented by operators of the Generalized Fractional Calculus (GFC), Kiryakova [14], i.e. operators of generalized integration and differentiation of arbitrary fractional multi-order. Illustrative examples and some open problems are proposed.

In the paper, we consider the problem on eigenvalues of a loaded differential operator of the first order with a periodic boundary condition on the interval [–1; 1], that is, equation contains a load at the point (–1) and the function of bounded variation (t), with the condition Φ(−1) = Φ(1) = 1 . A characteristic determinant of spectral problem is constructed for the considered loaded differentiation operator, which is an entire analytical function on the spectral parameter. On the basis of the characteristic determinant formula, conclusions are proved about the asymptotic behavior of the spectrum and eigenfunctions of the loaded spectral problem for the differentiation operator, the characteristic determinant of which is an entire analytic function of the spectral parameter l. A theorem on the location of eigenvalues on the complex plane l is formulated, where the regular growth of an entire analytic function is indicated. A theorem is proved on the asymptotics of the zeros of an entire function, that is, the eigenvalues of the original considered spectral problem for a loaded differential operator of differentiation, and the asymptotic properties of an entire function with distribution of roots are studied.

In this note it is proved that entire functions of the form $$ F_a \left( z \right) = H\left( z \right) - a\alpha \left( z \right) $$ , where H and α are entire functions, with α having at least one zero, H′ and α′ having no common zeros and T(r, α) = S(r, H), are prime in entire sense for most values of a. The class of these functions is seen to contain examples of both periodic and non-periodic prime entire functions found by Noda, Qiao, Urabe and by Singh and Charak. Another result due to Singh and Charak will be improved as well.

We show that the partial sums of the power series for a certain class of entire functions possess scaling limits in various directions in the complex plane. In doing so, we obtain information about the zeros of the partial sums. We will only assume that these entire functions have a certain asymptotic behavior at infinity. With this information, we will partially verify for this class of functions a conjecture on the location of the zeros of their partial sums known as the Saff–Varga width conjecture. Numerical results and figures are included to illustrate the results obtained for several well-known functions including the Airy functions and the parabolic cylinder functions.

After Gentili and Struppa introduced in 2006 the theory of quaternionic slice regular functions, the theory has focused on functions on the so-called slice domains. The present work defines the class of speared domains, which is a rather broad extension of the class of slice domains, and proves that the theory is extremely interesting on speared domains. A Semi-global Extension Theorem and a Semi-global Representation Formula are proven for slice regular functions on speared domains: they generalize and strengthen some known local properties of slice regular functions on slice domains. A proper subclass of speared domains, called hinged domains, is defined and studied in detail. For slice regular functions on a hinged domain, a Global Extension Theorem and a Global Representation Formula are proven. The new results are based on a novel approach: one can associate to each slice regular function f:Ω→H\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$f:\\Omega \\rightarrow {\\mathbb {H}}$$\\end{document} a family of holomorphic stem functions and a family of induced slice regular functions. As we tighten the hypotheses on Ω\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega $$\\end{document} (from an arbitrary quaternionic domain to a speared domain, to a hinged domain), these families represent f better and better and allow to prove increasingly stronger results.

E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with rational functions coefficients. They were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function, and studied further by Shidlovskii in 1956. The celebrated Siegel-Shidlovskii Theorem deals with the algebraic (in)dependence of values at algebraic points of E-functions solutions of a differential system. However, somewhat paradoxically, this deep result may fail to decide whether a given E-fuction assumes an algebraic or a transcendental value at some given algebraic point. Building upon Andre's theory of E-operators, Beukers refined in 2006 the Siegel-Shidlovskii Theorem in an optimal way. In this paper, we use Beukers' work to prove the following result: there exists an algorithm which, given a transcendental E-function $f(z)$ as input, outputs the finite list of all exceptional algebraic points $\alpha$ such that $f(\alpha)$ is also algebraic, together with the corresponding list of values $f(\alpha)$. This result solves the problem of deciding whether values of E-functions at algebraic points are transcendental.

The paper is devoted to the study of the properties of the special functions generalizing the Mittag-Leffler type functions. The order and type of such entire functions are evaluated and recurrence relations are given. Connections with hypergeometric functions are discussed and differentiation formulae are proved.

In this paper, for a given direction b ∈ C n \ { 0 } we investigate slice entire functions of several complex variables, i.e., we consider functions which are entire on a complex line { z 0 + t b : t ∈ C } for any z 0 ∈ C n . Unlike to quaternionic analysis, we fix the direction b . The usage of the term slice entire function is wider than in quaternionic analysis. It does not imply joint holomorphy. For example, it allows consideration of functions which are holomorphic in variable z 1 and continuous in variable z 2 . For this class of functions there is introduced a concept of boundedness of L-index in the direction b where L : C n → R + is a positive continuous function. We present necessary and sufficient conditions of boundedness of L-index in the direction. In this paper, there are considered local behavior of directional derivatives and maximum modulus on a circle for functions from this class. Also, we show that every slice holomorphic and joint continuous function has bounded L-index in direction in any bounded domain and for any continuous function L : C n → R + .

The concept of bounded $L$-index in a direction $\mathbf{b}=(b_1,\ldots,b_n)\in\mathbb{C}^n\setminus\{\mathbf{0}\}$ is generalized for a class of analytic functions in the unit polydisc, where $L$ is some continuous function such that for every $z=(z_1,\ldots,z_n)\in\mathbb{D}^n$ one has $L(z)&gt;\beta\max_{1\le j\le n}\frac{|b_j|}{1-|z_j|},$ $\beta=\mathrm{const}&gt;1,$ $\mathbb{D}^n$ is the unit polydisc, i.e. $\mathbb{D}^n=\{z\in\mathbb{C}^n: |z_j|\le 1, j\in\{1,\ldots,n\}\}.$ For functions from this class we obtain sufficient and necessary conditions providing boundedness of $L$-index in the direction. They describe local behavior of maximum modulus of derivatives for the analytic function $F$ on every slice circle $\{z+t\mathbf{b}: |t|=r/L(z)\}$ by their values at the center of the circle, where $t\in\mathbb{C}.$ Other criterion describes similar local behavior of the minimum modulus via the maximum modulus for these functions. We proved an analog of the logarithmic criterion desribing estimate of logarithmic derivative outside some exceptional set by the function $L$. The set is generated by the union of all slice discs $\{z^0+t\mathbf{b}: |t|\le r/L(z^0)\}$, where $z^0$ is a zero point of the function $F$. The analog also indicates the zero distribution of the function $F$ is uniform over all slice discs. In one-dimensional case, the assertion has many applications to analytic theory of differential equations and infinite products, i.e. the Blaschke product, Naftalevich-Tsuji product. Analog of Hayman's Theorem is also deduced for the analytic functions in the unit polydisc. It indicates that in the definition of bounded $L$-index in direction it is possible to remove the factorials in the denominators. This allows to investigate properties of analytic solutions of directional differential equations.

An Extension of Lucas Theorem to Entire Functions

This paper is a continuation of [1], we study the approximation of the function classes $$\widetilde{S_1^\Gamma L}$$ , S 1 Λ H in Lq metric (1≤q<∞) by entire functions whose spectrals lie in step hyperbolic crosses and obtain the asymptotic estimates of these quantities.

ABSTRACTThis study concerns the topic of event‐based practical fixed‐time containment control for uncertain nonstrict feedback nonlinear multiagent systems with input saturation under the directed graph. The algebraic ring problem in recursive design process can be effectively resolved using Gaussian function's property. An auxiliary signal has been introduced that is practical fixed‐time stable and capable of overcoming symmetrical or asymmetrical input saturation. Then, an event‐triggered neural adaptive fixed‐time cooperative tracking control scheme is developed via dynamic surface control and dynamic event‐triggered mechanism. The raised fixed‐time control strategy can not only remove the singularity issue but also circumvent the complex explosion problem of backstepping technique. Moreover, all variables in the closed‐loop system are proved to be fixed‐time bounded by integrating the designed auxiliary signal into the entire Lyapunov function. Finally, simulation results validate the effectiveness of the presented control method.

In the paper we prove some comparative growth properties of composite entire functions on the basis of their maximum terms and maximum moduli using generalised L ∗ -order and generalised L ∗ -lower order.

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.