Related papers: Solving Order 3 Difference Equations
An incline is an additively idempotent semiring in which the product of two elements is always less than or equal to either factor. By making use of prime numbers, this paper proves that A^{11} is less than or equal to A^5 for all 3x3…
A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…
We develop a systematic way to solve linear equations involving tensors of arbitrary rank. We start off with the case of a rank $3$ tensor, which appears in many applications, and after finding the condition for a unique solution we derive…
We construct new, efficient, and accurate high-order finite differencing operators which satisfy summation by parts. Since these operators are not uniquely defined, we consider several optimization criteria: minimizing the bandwidth, the…
Classifications of irreducible components of the set of polynomial differential equations with a fixed degree and with at least one center singularity lead to some other new problems on Picard-Lefschetz theory and Brieskorn modules of…
In this paper we provide proofs of two new theorems that provide a broad class of partition inequalities and that illustrate a na\"ive version of Andrews' anti-telescoping technique quite well. These new theorems also put to rest any notion…
We derive the general conditions for fully-nonlinear symmetry-integrable second-order evolution equations and their first-order recursion operators. We then apply the established Propositions to find links between a class of fully-nonlinear…
We show that the solutions to the equations defining the so-called Calabi-Yau condition for fourth order operators of degree two defines a variety that consists of ten irreducible components. These can be described completely in parametric…
In this article we define a new reducibility based on the enumeration orders of r.e. sets.
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k \leq y + k'. Over integers, the satisfiability problem for such systems is polynomial time. The problem becomes NP complete if we restrict…
A new problem is studied, the concept of exactness of a second order nonlinear ordinary differential equations is established. A method is constructed to reduce this class into a first order equations. If the second order equation is not…
We consider a class of linear ODEs of second order with variable coefficients and construct its Lie algebra of Lie group of equivalence transformations. Further we find invariants and differential invariants of this Lie algebra and by using…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
We derive a method for finding Lie Symmetries for third-order difference equations. We use these symmetries to reduce the order of the difference equations and hence obtain the solutions of some third-order difference equations. We also…
We revisit miscellaneous linear differential operators mostly associated with lattice Green functions in arbitrary dimensions, but also Calabi-Yau operators and order-seven operators corresponding to exceptional differential Galois groups.…
We consider expressions built up from binary relation names using the operators union, composition, and set difference. We show that it is undecidable to test whether a given such expression $e$ is finitely satisfiable, i.e., whether there…
An algorithm for solving first order ODEs, by systematically determining symmetries of the form [ xi = F(x), eta = P(x) y + Q(x) ], where xi d/dx + eta d/dy is the symmetry generator - is presented. To these {\it linear} symmetries one can…
We examine the reductions of the order of certain third- and second-order nonlinear equations with arbitrary nonlinearity through their symmetries and some appropriate transformations. We use the folding transformation which enables one to…
We investigate the first order implicit linear difference equation over residue class rings modulo m. We prove an existence criterion and establish the amount of solutions for this equation. We obtain analogous results for the initial…
In this paper, we study a class of $\Z_d$-graded modules, which are constructed using Larsson's functor from $\sl_d$-modules $V$, for the Lie algebras of divergence zero vector fields on tori and quantum tori. We determine the…