A review of infinite matrices and their applications

Infinite matrices, the forerunner and a main constituent of many branches of classical mathematics (infinite quadratic forms, integral equations, differential equations, etc.) and of the modern operator theory, is revisited to demonstrate its deep influence on the development of many branches of mathematics, classical and modern, replete with applications. This review does not claim to be exhaustive, but attempts to present research by the authors in a variety of applications. These include the theory of infinite and related finite matrices, such as sections or truncations and their relationship to the linear operator theory on separable and sequence spaces. Matrices considered here have special structures like diagonal dominance, tridiagonal, sign distributions, etc. and are frequently nonsingular. Moreover, diagonally dominant finite and infinite matrices occur largely in numerical solutions of elliptic partial differential equations.The main focus is the theoretical and computational aspects concerning infinite linear algebraic and differential systems, using techniques like conformal mapping, iterations, truncations etc. to derive estimates based solutions. Particular attention is paid to computable precise error estimates, and explicit lower and upper bounds. Topics include Bessel’s, Mathieu equations, viscous fluid flow, simply and doubly connected regions, digital dynamics, eigenvalues of the Laplacian, etc. Also presented are results in generalized inverses and semi-infinite linear programming.     

Ring of simple polytopes and differential equations

Simple polytopes are a classical object of convex geometry. They play a key role in many modern fields of research, such as algebraic and symplectic geometry, toric topology, enumerative combinatorics, and mathematical physics. In this paper, the results of a new approach based on a differential ring of simple polytopes are described. This approach allows one to apply the theory of differential equations to the study of combinatorial invariants of simple polytopes.     

The Sylvester-Ramanujan System of Equations and The Complex Power Moment Problem

A classical system of algebraic equations is treated as a finite power moment problem in C and investigated on this base. Being originated from the algebraic theory of binary forms, this system is closely related to an extraordinary number of different subjects in the classical and modern analysis. A survey of these relations is presented.     

Computer Algebra and Bifurcations

In this paper we will present the family of Newton algorithms. From the computer algebra point of view, the most basic of them is well known for the local analysis of plane algebraic curves f(x,y)=0 and consists in expanding y as Puiseux series in the variable x. A similar algorithm has been developped for multi-variate algebraic equations and for linear differential equations, using the same basic tools: a “regular” case, associated with a “simple” class of solutions, and a “simple” method of calculus of these solutions; a Newton polygon; changes of variable of type ramification; changes of unknown function of two types y=ct ^μ+? or y=exp?(c/t ^μ)?. Our purpose is first to define a “regular” case for nonlinear implicit differential equations f(t,y,y′)=0. We will then apply the result to an explicit differential equation with a parameter y′=f(y,α) in order to make a link between the expansions of the solutions obtained by our local analysis and the classical theory of bifurcations.     

Nontrivial solutions for impulsive fractional differential systems through variational methods

Fractional differential equations (FDEs) as a generalization of ordinary differential equations and integration to arbitrary noninteger orders have gained importance due to their numerous applications in many fields of science and engineering. Indeed, there are a large number of phenomena, including fluid flow, diffusive transport akin to diffusion, rheology, probability, and electrical networks, that are modeled by different equations involving fractional order derivatives. This paper deals with multiplicity results of solutions for a class of impulsive fractional differential systems. The approach is based on variational methods and critical point theory. Indeed, we establish existence results for our system under some algebraic conditions on the nonlinear part with the classical Ambrosetti–Rabinowitz (AR) condition on the nonlinear and the impulsive terms. Moreover by combining two algebraic conditions on the nonlinear term, which guarantee the existence of two weak solutions, applying the mountain pass theorem, we establish the existence of third weak solution for our system.     

Complex symplectic geometry with applications to ordinary differential operators

Complex symplectic spaces, and their Lagrangian subspaces, are defined in accord with motivations from Lagrangian classical dynamics and from linear ordinary differential operators; and then their basic algebraic properties are established. After these purely algebraic developments, an Appendix presents a related new result on the theory of self-adjoint operators in Hilbert spaces, and this provides an important application of the principal theorems.

     

Integrability and beyond

An algebraic approach to solving nonlinear functional equations in the Riemann theta functions is stated. By the inverse scattering method and some general methods of the theory of partial differential equations, the solution of the initial boundary value problem for the nonlinear Schrödinger equation is presented. Bibliography:17 titles.     

Difference Galois theory of linear differential equations

We develop a Galois theory for linear differential equations equipped with the action of an endomorphism. This theory is aimed at studying the difference algebraic relations among the solutions of a linear differential equation. The Galois groups here are linear difference algebraic groups, i.e., matrix groups defined by algebraic difference equations.     

Perturbation theory for nonlinear feedback control systems and spencer-goldschmidt integrability of linear partial differential equations

This paper aims to develop the differential-geometric and Lie-theoretic foundations of perturbation theory for control systems, extending the classical methods of Poincaré from the differential equation-dynamical system level where they are traditionally considered, to the situation where the element of control is added. It will be guided by general geometric principles of the theory of differential systems, seeking approximate solutions of the feedback linearization equations for nonlinear affine control systems. In this study, certain algebraic problems of compatibility of prolonged differential systems are encountered. The methods developed by D. C. Spencer and H. Goldschmidt for studying over-determined systems of partial differential equations are needed. Work in the direction of applying theio theory is presented.Supported by grants from the Ames Research Center of NASA and the Applied Mathematics and Systems Research Programs of the National Science Foundation     

New examples (and counterexamples) of complete finite-rank differential varieties

Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their behavior can vary in interesting ways. Workers in both differential algebra and model theory have investigated the property of completeness of differential varieties. After reviewing their results, we extend that work by proving several versions of a “differential valuative criterion" and using them to give new examples of complete differential varieties. We conclude by analyzing the first examples of incomplete, finite-rank projective differential varieties, demonstrating a clear difference from projective algebraic varieties.     

Algebraic analysis of linear multidimensional control systems

The purpose of this paper is to show how to use the modern methodsof algebraic analysis in partial differential control theory,when the input-output relations are defined by systems of partialdifferential equations in the continuous case or by multi-shiftdifference equations in the discrete case. The essential toolis the duality existing between the theory of differential modulesor D-modules and the formal theory of systems of partial differentialequations. We reformulate and generalize many formal resultsthat can be found in the extensive literature on multidimensionalsystems (controllability, primeness concepts, poles and zeros,.).All the results are presented through effective algorithms.     

Operator waves in Hilbert space and related partial differential equations

The success of the theory of characteristic functions of nonselfadjoint operators and its applications to the System Theory [1–17] is the inspiration for attempts towards creating a general theory in the much more complicated case of several commuting nonselfadjoint operators. In this paper we study the close relations between sets of commuting operators in Hilbert space and related systems of partial differential equations. At the same time a generalization of the classical Cayley Hamilton Theorem, in the case of two commuting operators, is obtained which leads to unexpected connections with the theory of algebraic curves.     

On Favard's theorems

In this paper, we improve and extend the classical Favard's theorems, i.e. Favard's theorem of the module containment, Favard's theorem of linear differential equations. We study Favard's theory of linear differential equations with piecewise constant argument. An example shows that the new module containment is necessary in the study of differential equations with piecewise constant argument. The equivalence between almost automorphic functions and N-almost periodic ones is studied.     

Some fixed point results on a metric space with a graph

Combining some branches is a typical activity in different fields of science, especially in mathematics. Naturally, it is notable in fixed point theory. Over the past few decades, there have been a lot of activity in fixed point theory and another branches in mathematics such differential equations, geometry and algebraic topology. In 2006, Espinola and Kirk made a useful contribution on combining fixed point theory and graph theory. Recently, Reich and Zaslavski studied a new inexact iterative scheme for fixed points of contractive and nonexpansive multifunctions. In this paper, by using main idea of their work and the idea of combining fixed point theory and graph theory, we present some iterative scheme results for G-contractive and G-nonexpansive mappings on graphs.     

On the finiteness theorem of Siegel and Mahler concerning diophantine equations

In this paper we present a new proof, involving so-called nonstandard arguments, of Siegel's classical theorem on diophantine equations: Any irreducible algebraic equation f(x,y) = 0 of genus g > 0 admits only finitely many integral solutions. We also include Mahler's generalization of this theorem, namely the following: Instead of solutions in integers, we are considering solutions in rationals, but with the provision that their denominators should be divisible only by such primes which belong to a given finite set. Then again, the above equation admits only finitely many such solutions. From general nonstandard theory, we need the definition and the existence of enlargements of an algebraic number field. The idea of proof is to compare the natural arithmetic in such an enlargement, with the functional arithmetic in the function field defined by the above equation.     

Numerical solutions of index-1 differential algebraic equations can be computed in polynomial time

The cost of solving an initial value problem for index-1 differential algebraic equations to accuracy ɛ is polynomial in ln(1/ɛ). This cost is obtained for an algorithm based on the Taylor series method for solving differential algebraic equations developed by Pryce. This result extends a recent result by Corless for solutions of ordinary differential equations. The results of the standard theory of information-based complexity give exponential cost for solving ordinary differential equations, being based on a different model.     

Quantum stochastic calculus

An introduction to quantum stochastic calculus in symmetric Fock spaces from the point of view of the theory of stochastic processes. Among the topics discussed are the quantum Itô formula, applications to probability representation of solutions of differential equations, extensions of dynamical semigroups. New algebraic expressions are given for the chronologically ordered exponential functions generated by stochastic semigroups in classical probability theory.Translated from Itogi Nauki i Tekhniki, Seriya Sovremennye Problemy Matematiki, Noveishie Dostizheniya, Vol. 36, pp. 3–28, 1990.     

Algebraic theory of differential inequalities

We obtain differential-algebraic analogues of some basic theorems of real algebra and semialgebraic geometry. Proofs are based on: a differential version of the real spectrum of a differential ring containing Q; an Artin-Schreier theory for such rings; the model theory of ordered differential fields. Results include: an algebraic characterization of the differential inequalities which are consequences of a given finite set of algebraic differential equations and inequalities; a differential counterpart of the Hormander-Lojasiewicz inequality.     

High order adaptive methods of Nyström-Cowell type

A class of unconditionally stable multistep methods is discussed for solving initial-value problems of second-order differential equations which have periodic or quasiperiodic solutions. This situation frequently occurs in celestial mechanics, in nonlinear oscillations and various other situations. The methods depend upon a parameter ω > 0, and integrate exactly trigonometric functions along with algebraic polynomials. In this paper we show a procedure for the construction of adaptive Nyström-Cowell formulas of arbitrarily high order of accuracy, and reduce to the classical Nyström-Cowell methods for ω = 0. Our methods compare advantageously with other methods.