Related papers: Parabolic cylinder functions implemented in Matlab
In this paper we determine solutions for the L\'evy-Leblond operator or a parabolic Dirac operator in terms of hypergeometric functions and spherical harmonics. We subsequently generalise our approach to a wider class of Dirac operators…
Weighted cone-volume functionals are introduced for the convex polytopes in $\mathbb{R}^n$. For these functionals, geometric inequalities are proved and the equality conditions are characterized. A variety of corollaries are derived,…
A number of new definite integrals involving Bessel functions are presented. These have been derived by finding new integral representations for the product of two Bessel functions of different order and argument in terms of the generalized…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…
Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…
We give a class of Fourier multipliers with non-symmetric symbols and explicit norm bounds on $L^p$ spaces by using the stochastic calculus of L\'evy processes and Burkholder-Wang estimates for differentially subordinate martingales.
We describe algorithms to compute elliptic functions and their relatives (Jacobi theta functions, modular forms, elliptic integrals, and the arithmetic-geometric mean) numerically to arbitrary precision with rigorous error bounds for…
We give expressions for all generalized polylogarithms up to weight four in terms of the functions log, $\text{Li}_n$, and $\text{Li}_{2,2}$, valid for arbitrary complex variables. Furthermore we provide algorithms for manipulation and…
We discuss parabolic versions of Euler's identity e^{it}=cos t + i sin t. A purely algebraic approach based on dual numbers is known to produce a very trivial relation e^{pt} = 1+pt. Therefore we use a geometric setup of parabolic rotations…
The real and complex zeros of the parabolic cylinder function $U(a,z)$ are studied. Asymptotic expansions for the zeros are derived, involving the zeros of Airy functions, and these are valid for $a$ positive or negative and large in…
In parameter slices of quadratic rational functions, we identify arcs represented by matings of quadratic polynomials. These arcs are on the boundaries of hyperbolic components.
We derive a numerical method, based on operator splitting, to abstract parabolic semilinear boundary coupled systems. The method decouples the linear components which describe the coupling and the dynamics in the bulk and on the surface,…
An analytical approach to convolution of functions, which appear in perturbative calculations, is discussed. An extended list of integrals is presented.
We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem.…
The cylindrical algebraic covering method was originally proposed to decide the satisfiability of a set of non-linear real arithmetic constraints. We reformulate and extend the cylindrical algebraic covering method to allow for checking the…
In this article the algorithm for transformation of logic functions which are given by truth tables is considered. The suggested algorithm allows the transformation of many-valued logic functions with the required number of variables and…
The refined asymptotic expansion of the confluent hypergeometric function $M(a,b,z)$ on the Stokes line $\arg\,z=\pi$ given in {\it Appl. Math. Sci.} {\bf 7} (2013) 6601--6609 is employed to derive the correct exponentially small…
We give formulas for the numbers of type II and type IV hyperbolic components in the space of quadratic rational maps, for all fixed periods of attractive cycles.
We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and…
A recently proposed method of calculating scalar two-loop propagator and vertex functions with massive particles is illustrated with simple examples. A double integral representation is derived with the example of a propagator function. An…