Related papers: Computable Integrability. Chapter 5: Factorization…
We study existence, uniqueness and regularity of solutions for ordinary differential equations with infinitely many derivatives such as (linearized versions of) nonlocal field equations of motion appearing in particle physics, nonlocal…
Recent work introduced Generalized First Order Decision Diagrams (GFODD) as a knowledge representation that is useful in mechanizing decision theoretic planning in relational domains. GFODDs generalize function-free first order logic and…
We address the classical factorization problem of a one dimensional Schr\"odinger operator $-\partial^2+u-\lambda$, for a stationary potential $u$ of the KdV hierarchy but, in this occasion, a "parameter" $\lambda$. Inspired by the more…
For performance and verification in machine learning, new methods have recently been proposed that optimise learning systems to satisfy formally expressed logical properties. Among these methods, differentiable logics (DLs) are used to…
We investigate structure functions in deep inelastic scattering processes (DIS) at Bj\"{o}rken limit and found that they are factorized into the longitudinal and transversal parts. We see that the longitudinal part can be linked to exact…
We emphasize two connections, one well known and another less known, between the dissipative nonlinear second order differential equations and the Abel equations which in its first kind form have only cubic and quadratic terms. Then,…
We extend the recently much-studied Hardy factorization theorems to the weight case. The key point of this paper is to establish the factorization theorems without individual condition on the weight functions. As a direct application, we…
The First and Second Liouville's Theorems provide correspondingly criterium for integrability of elementary functions "in finite terms" and criterium for solvability of second order linear differential equations by quadratures. The…
Derivatives of fractional order are introduced in different ways: as left-inverse of the fractional integral or by generalizing the limit of the difference quotient defining integer-order derivatives. Although the two approaches lead (under…
Formal explainability guarantees the rigor of computed explanations, and so it is paramount in domains where rigor is critical, including those deemed high-risk. Unfortunately, since its inception formal explainability has been hampered by…
In two companion papers it was shown how to separate out from a scattering function in quantum electrodynamics a distinguished part that meets the correspondence-principle and pole-factorization requirements. The integrals that define the…
Explicit solutions of differential equations of complex fractional orders with respect to functions and with continuous variable coefficients are established. The representations of solutions are given in terms of some convergent infinite…
Familiar factorized descriptions of classic QCD processes such as deeply-inelastic scattering (DIS) apply in the limit of very large hard scales, much larger than nonperturbative mass scales and other nonperturbative physical properties…
We suggest an approach for description of integrable cases of the Abel equations. It is based on increasing of the order of equations up to the second one and using equivalence transformations for the corresponding second-order ordinary…
Local solvability is analyzed for natural families of partial differential operators having double characteristics. In some families the set of all operators that are not locally solvable is shown to have both infinite dimension and…
We describe birational representations of discrete groups generated by involutions, having their origin in the theory of exactly solvable vertex-models in lattice statistical mechanics. These involutions correspond respectively to two kinds…
A higher order difference equation may be generally defined in an arbitrary nonempty set S as: \[ f_{n}(x_{n},x_{n-1},...,x_{n-k})=g_{n}(x_{n},x_{n-1},...,x_{n-k}) \] where $f_{n},g_{n} :S^{k+1}\rightarrow S$ are given functions for…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
We present a new approach to solving polynomial ordinary differential equations by transforming them to linear functional equations and then solving the linear functional equations. We will focus most of our attention upon the first-order…
We give a factorization procedure for a strictly hyperbolic partial differential operator of second order with logarithmic slow scale coefficients. From this we can microlocally diagonalize the full wave operator which results in a coupled…