Related papers: A Multi-Valued Logarithm on Time Scales
In various areas of applied numerics, the problem of calculating the logarithm of a matrix A emerges. Since series expansions of the logarithm usually do not converge well for matrices far away from the identity, the standard numerical…
The irreversibility of the equations of classical dynamics (the Hamilton equations and the Liouville equation) in the space with multifractal time is demonstrated. The time is given on multifractal sets with fractional dimensions. The last…
The discrete-time, the quantum, and the continuous calculus of variations have been recently unified and extended. Two approaches are followed in the literature: one dealing with minimization of delta integrals; the other dealing with…
A logarithmic scaling for structure functions, in the form $S_p \sim [\ln (r/\eta)]^{\zeta_p}$, where $\eta$ is the Kolmogorov dissipation scale and $\zeta_p$ are the scaling exponents, is suggested for the statistical description of the…
The work is devoted to the construction of a new interval arithmetic which would combine algorithmic efficiency and high quality estimation of the ranges of expressions.
We introduce a new fractional derivative which obeys classical properties including: linearity, product rule, quotient rule, power rule, chain rule, vanishing derivatives for constant functions, the Rolle's Theorem and the Mean Value…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…
We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain…
The Eremenko-Lyubich class of transcendental entire functions with a bounded set of singular values has been much studied. We give a new characterisation of this class of functions. We also give a new result regarding direct singularities…
Multivariable, real-valued functions induce matrix-valued functions defined on the space of d-tuples of n-times-n pairwise-commuting self-adjoint matrices. We examine the geometry of this space of matrices and conclude that the best notion…
In this paper, we mainly propose improvements of the logarithmic difference lemma for meromorphic functions in several complex variables, and then investigate meromorphic solutions of partial difference equations from the viewpoint of…
The work is devoted to the construction of a new type of intervals -- functional intervals. These intervals are built on the idea of expanding boundaries from numbers to functions. Functional intervals have shown themselves to be promising…
We explore a well-known integral representation of the logarithmic function, and demonstrate its usefulness in obtaining compact, easily-computable exact formulas for quantities that involve expectations and higher moments of the logarithm…
We introduce a discrete-time fractional calculus of variations on the time scales $\mathbb{Z}$ and $(h\mathbb{Z})_a$. First and second order necessary optimality conditions are established. Some numerical examples illustrating the use of…
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input.…
Gosper developed an algorithm for performing arithmetic on continued fractions (CFs), and introduced continued logarithms (CLs) as a variant of continued fractions better suited to representing extremely large (or small) numbers. CLs are…
We show that any multiple-valued function can be represented by a linear lambda term typed in a second-order polymorphic type system, using two distinct styles. The first is a circuit style, which mimics combinational circuits in switching…
A concept of "evolving categories" is suggested to build a simple, scalable, mathematically consistent framework for representing in uniform way both data and algorithms. A state machine for executing algorithms becomes clear, rich and…
We prove necessary optimality conditions of Euler-Lagrange type for generalized problems of the calculus of variations on time scales with a Lagrangian depending not only on the independent variable, an unknown function and its delta…
Functional integrals are defined in terms of locally compact topological groups and their associated Banach-valued Haar integrals. This approach generalizes the functional integral scheme of Cartier and DeWitt-Morette. The definition allows…