A Survey of Some Recent Developments on Higher Transcendental Functions of Analytic Number Theory and Applied Mathematics

Often referred to as special functions or mathematical functions, the origin of many members of the remarkably vast family of higher transcendental functions can be traced back to such widespread areas as (for example) mathematical physics, analytic number theory and applied mathematical sciences. Here, in this survey-cum-expository review article, we aim at presenting a brief introductory overview and survey of some of the recent developments in the theory of several extensively studied higher transcendental functions and their potential applications. For further reading and researching by those who are interested in pursuing this subject, we have chosen to provide references to various useful monographs and textbooks on the theory and applications of higher transcendental functions. Some operators of fractional calculus, which are associated with higher transcendental functions, together with their applications, have also been considered. Many of the higher transcendental functions, especially those of the hypergeometric type, which we have investigated in this survey-cum-expository review article, are known to display a kind of symmetry in the sense that they remain invariant when the order of the numerator parameters or when the order of the denominator parameters is arbitrarily changed.

Optimization of concurrently compressed and torqued rod

The applications of this method for stability problems in the context of twisted and compressed rods are demonstrated in this manuscript. The complement for Euler’s buckling problem is Greenhill's problem, which studies the forming of a loop in an elastic bar under simultaneous torsion and compression (Greenhill, 1883). We search the optimal distribution of bending flexure along the axis of the rod. For the solution of the actual problem the stability equations take into account all possible convex, simply connected shapes of the cross-section. We study the cross-sections with equal principle moments of inertia. The cross-sections are similar geometric figures related by a homothetic transformation with respect to a homothetic center on the axis of the rod and vary along its axis. The cross section that delivers the maximum or the minimum for the critical eigenvalue must be determined among all convex, simply connected domains. The optimal form of the cross-section is known to be an equilateral triangle. The distribution of material along the length of a twisted and compressed rod is optimized so that the rod must support the maximal moment without spatial buckling, presuming its volume remains constant among all admissible rods. The static Euler’s approach is applicable for simply supported rod (hinged), twisted by the conservative moment and axial compressing force. For determining the optimal solution, we directly compare the twisted rods with the different lengths and cross-sections using the invariant factors. The solution of optimization problem for simultaneously twisted and compressed rod is stated in closed form in terms of the higher transcendental functions.

Verifying Reinforcement Learning up to Infinity

Formally verifying that reinforcement learning systems act safely is increasingly important, but existing methods only verify over finite time. This is of limited use for dynamical systems that run indefinitely. We introduce the first method for verifying the time-unbounded safety of neural networks controlling dynamical systems. We develop a novel abstract interpretation method which, by constructing adaptable template-based polyhedra using MILP and interval arithmetic, yields sound---safe and invariant---overapproximations of the reach set. This provides stronger safety guarantees than previous time-bounded methods and shows whether the agent has generalised beyond the length of its training episodes. Our method supports ReLU activation functions and systems with linear, piecewise linear and non-linear dynamics defined with polynomial and transcendental functions. We demonstrate its efficacy on a range of benchmark control problems.

Audio cross-fade implementation via rational functions

Implementation of the cross-fade audio effect requires shaping the fade profile for a certain audio content that is to be faded out, as well as customizing the audio fade for an additional audio content, which is to be faded in, with the purpose of achieving a smooth transition between the two different audio contents. Similar to the case of applying adjustable fades, the audio cross-fades are usually carried out in the off-line mode, by employing various transcendental functions to shape the audio fades (both fade-out and fade-in effects). To improve the computational capabilities by minimizing the delay between receiving the position within the cross-fade effect and returning both the volume of the faded out section and the volume of the faded in one, we consider that, during the cross-fade effect, the audio volume of each of the two overlapping sections is the output of a rational function i.e. a mapping defined by a rational fraction. A plain HTML5/JavaScript implementation, prepared to be tested in any major browser, is advanced in the paper in order to highlight the suitability of the suggested approach to audio cross-fade customization with real-time computing.

Simultaneous Contour Method of a Trigonometric Integral by Prudnikov et al.

In this present work we derive, evaluate and produce a table of definite integrals involving logarithmic and exponential functions. Some of the closed form solutions derived are expressed in terms of elementary or transcendental functions. A substantial part of this work is new.

Pentagon integrals to arbitrary order in the dimensional regulator

We analytically calculate one-loop five-point Master Integrals, pentagon integrals, with up to one off-shell leg to arbitrary order in the dimensional regulator in d = 4−2𝜖 space-time dimensions. A pure basis of Master Integrals is constructed for the pentagon family with one off-shell leg, satisfying a single-variable canonical differential equation in the Simplified Differential Equations approach. The relevant boundary terms are given in closed form, including a hypergeometric function which can be expanded to arbitrary order in the dimensional regulator using the Mathematica package HypExp. Thus one can obtain solutions of the canonical differential equation in terms of Goncharov Polylogartihms of arbitrary transcendental weight. As a special limit of the one-mass pentagon family, we obtain a fully analytic result for the massless pentagon family in terms of pure and universally transcendental functions. For both families we provide explicit solutions in terms of Goncharov Polylogartihms up to weight four.