Linear Autonomous Equations Research Articles

Theory on Linear L-Fractional Differential Equations and a New Mittag–Leffler-Type Function

The L-fractional derivative is defined as a certain normalization of the well-known Caputo derivative, so alternative properties hold: smoothness and finite slope at the origin for the solution, velocity units for the vector field, and a differential form associated to the system. We develop a theory of this fractional derivative as follows. We prove a fundamental theorem of calculus. We deal with linear systems of autonomous homogeneous parts, which correspond to Caputo linear equations of non-autonomous homogeneous parts. The associated L-fractional integral operator, which is closely related to the beta function and the beta probability distribution, and the estimates for its norm in the Banach space of continuous functions play a key role in the development. The explicit solution is built by means of Picard’s iterations from a Mittag–Leffler-type function that mimics the standard exponential function. In the second part of the paper, we address autonomous linear equations of sequential type. We start with sequential order two and then move to arbitrary order by dealing with a power series. The classical theory of linear ordinary differential equations with constant coefficients is generalized, and we establish an analog of the method of undetermined coefficients. The last part of the paper is concerned with sequential linear equations of analytic coefficients and order two.

Hyers–Ulam stability of integral equations with infinite delay

Integral equations with infinite delay are considered as functional equations in a Banach space. Two types of Hyers–Ulam stability criteria are established. First, it is shown that a linear autonomous equation is Hyers–Ulam stable if and only if it has no characteristic value with zero real part. Second, it is proved that the Hyers–Ulam stability of a linear autonomous equation is preserved under sufficiently small nonlinear perturbations. The proofs are based on a recently developed decomposition theory of linear integral equations with infinite delay.

Criterion for Lyapunov Reducibility of a Linear Autonomous Differential System to a Linear Autonomous Equation

Criterion for Lyapunov Reducibility of a Linear Autonomous Differential System to a Linear Autonomous Equation

Stability of Solutions to One Class of Neutral Type Systems of Linear Autonomous Equations with Distributed Delay

Stability of Solutions to One Class of Neutral Type Systems of Linear Autonomous Equations with Distributed Delay

Asymptotic Integration of Certain Differential Equations in Banach Space

In this work, we investigate the problem of constructing asymptotic representations for weak solutions of a certain class of linear differential equations in the Banach space as an independent variable tends to infinity. We consider the class of equations that represent a perturbation of a linear autonomous equation, in general, with an unbounded operator. The perturbation takes the form of a family of bounded operators that, in a sense, oscillatorally decreases at infinity. It is assumed that the unperturbed equation satisfies the standard requirements of the center manifold theory. The essence of the proposed asymptotic integration method is to prove the existence of a center-like manifold (a critical manifold) for the initial equation. This manifold is positively invariant with respect to the initial equation and attracts all trajectories of the weak solutions. The dynamics of the initial equation on the critical manifold is described by the finite-dimensional system of ordinary differential equations. The asymptotics of the fundamental matrix of this system can be constructed by using the method developed by P.N. Nesterov for asymptotic integration of systems with oscillatory decreasing coefficients. We illustrate the proposed technique by constructing the asymptotic representations for solutions of the perturbed heat equation.

On the well‐posedness of a class of nonautonomous SPDEs: An operator‐theoretical perspective

We further elaborate on the solvability of stochastic partial differential equations (SPDEs). We shall discuss nonautonomous partial differential equations with an abstract realization of the stochastic integral on the right‐hand side. Our approach allows the treatment of equations with mixed type, where classical solution strategies fail to work. The approach extends prior observations in a previous study, where the respective results were obtained for linear autonomous equations and (multiplicative) white noise.

Low-Storage Runge-Kutta Method for Simulating Time-Dependent Quantum Dynamics

A wide range of quantum systems are time-invariant and the corresponding dynamics is dictated by linear differential equations with constant coefficients. Although simple in mathematical concept, the integration of these equations is usually complicated in practice for complex systems, where both the computational time and the memory storage become limiting factors. For this reason, low-storage Runge-Kutta methods become increasingly popular for the time integration. This work suggests a series of s-stage sth-order explicit Runge-Kutta methods specific for autonomous linear equations, which only requires two times of the memory storage for the state vector. We also introduce a 13-stage eighth-order scheme for autonomous linear equations, which has optimized stability region and is reduced to a fifth-order method for general equations. These methods exhibit significant performance improvements over the previous general-purpose low-stage schemes. As an example, we apply the integrator to simulate the non-Markovian exciton dynamics in a 15-site linear chain consisting of perylene-bisimide derivatives.

Asymptotic Integration of Certain Differential Equations in Banach Space

We investigate the problem of constructing the asymptotics for weak solutions of certain class of linear differential equations in the Banach space as the independent variable tends to infinity. The studied class of equations is the perturbation of linear autonomous equation, generally speaking, with an unbounded operator. The perturbation takes the form of the family of the bounded operators that, in a sense, decreases oscillatory at infinity. The unperturbed equation satisfies the standard requirements of the center manifold theory. The essence of the proposed asymptotic integration method is to prove the existence for the initial equation of the center-like manifold (critical manifold). This manifold is positively invariant with respect to the initial equation and attracts all the trajectories of the weak solutions. The dynamics of the initial equation on the critical manifold is described by the finite-dimensional ordinary differential system. The asymptotics for the fundamental matrix of this system may be constructed by using the method proposed by the author for asymptotic integration of the systems with oscillatory decreasing coefficients. We illustrate the suggested technique by constructing the asymptotic formulas for solutions of the perturbed heat equation.

Distance-based relative orbital elements determination for formation flying system

The present paper deals with determination of relative orbital elements based only on distance between satellites in the formation flying system, which has potential application in engineering, especially suited for rapid orbit determination required missions. A geometric simplification is performed to reduce the formation configuration in three-dimensional space to a plane. Then the equivalent actual configuration deviating from its nominal design is introduced to derive a group of autonomous linear equations on the mapping between the relative orbital elements differences and distance errors. The primary linear equations-based algorithm is initially proposed to conduct the rapid and precise determination of the relative orbital elements without the complex computation, which is further improved by least-squares method with more distance measurements taken into consideration. Numerical simulations and comparisons with traditional approaches are presented to validate the effectiveness of the proposed methods. To assess the performance of the two proposed algorithms, accuracy validation and Monte Carlo simulations are implemented in the presence of noises of distance measurements and the leader׳s absolute orbital elements. It is demonstrated that the relative orbital elements determination accuracy of two approaches reaches more than 90% and even close to the actual values for the least-squares improved one. The proposed approaches can be alternates for relative orbit determination without assistance of additional facilities in engineering for their fairly high efficiency with accuracy and autonomy.

DOMAIN PERTURBATION FOR PARABOLIC EQUATIONS

We study the effect of domain perturbation on the behaviour of parabolic equations. The first aspect considered in this thesis is the behaviour of solutions under changes of the domain. We show how solutions of linear and semilinear parabolic equations behave as a sequence of domains Ωn converges to an open set Ω in a certain sense. In particular, we are interested in singular domain perturbations so that a change of variables is not possible on these domains. For autonomous linear equations, it is known that convergence of solutions under domain perturbation is closely related to the corresponding elliptic equations via a standard semigroup theory. We show that there is also a relation between domain perturbation for non-autonomous linear parabolic equations and domain perturbation for elliptic equations. The key result for this is the equivalence of Mosco convergences between various closed and convex subsets of Banach spaces. An important consequence is that the same conditions for a sequence of domains imply convergence of solutions under domain perturbation for both parabolic and elliptic equations. By applying variational methods, we obtain the convergence of solutions of initial value problems under Dirichlet or Neumann boundary conditions. A similar technique can be applied to obtain the convergence of weak solutions of parabolic variational inequalities when the underlying convex set is perturbed. Using the linear theory, we then study domain perturbation for initial boundary value problems of semilinear type. We are also interested in the behaviour of bounded entire solutions of parabolic equations defined on the whole real line. We establish a convergence result for bounded entire solutions of linear parabolic equations under L2 and Lp-norms. For the Lp-theory, we also prove Holder regularity of bounded entire solutions with respect to time. In addition, the persistence of some classes of bounded entire solutions is given for semilinear equations using the Leray-Schauder degree theory. The second aspect is to study the dynamics of parabolic equations under domain perturbation. In this part, we consider parabolic equation as a dynamical system in an

Computation of optimal monotonicity preserving general linear methods

Monotonicity preserving numerical methods for ordinary differential equations prevent the growth of propagated errors and preserve convex boundedness properties of the solution. We formulate the problem of finding optimal monotonicity preserving general linear methods for linear autonomous equations, and propose an efficient algorithm for its solution. This algorithm reliably finds optimal methods even among classes involving very high order accuracy and that use many steps and/or stages. The optimality of some recently proposed methods is verified, and many more efficient methods are found. We use similar algorithms to find optimal strong stability preserving linear multistep methods of both explicit and implicit type, including methods for hyperbolic PDEs that use downwind-biased operators.

Stability and topological conjugacy for affine differential equations

This paper discusses stability properties of affine autonomous ordinary differential equations and generalizes a classical result on topological conjugacy for hyperbolic linear autonomous equations to the affine case.

A Strong Convergent Stochastic Algorithm for the Global Solution of Autonomous Linear Equation in n-spaces

A Strong Convergent Stochastic Algorithm for the Global Solution of Autonomous Linear Equation in n-spaces

Remarks on Picard-Lindelöf iteration

The paper discusses Picard-Lindelof iteration for systems of autonomous linear equations on finite intervals, as well as its numerical variants. Most of the discussion is under a model assumption which roughly says that the coupling terms are of moderate size compared with the slow time scales in the problem. It is shown that the speed of convergence is quite independent of the step sizes already for very large time steps. This makes it possible to design strategies in which the mesh gets gradually refined during the iteration in such a way that the iteration error stays essentially on the level of discretization error.

Remarks on Picard-Lindelöf iteration

The paper discusses Picard-Lindelöf iteration for systems of autonomous linear equations on finite intervals, as well as its numerical variants. Most of the discussion is under a model assumption which roughly says that the coupling terms are of moderate size compared with the slow time scales in the problem. It is shown that the speed of convergence is quite independent of the step sizes already for very large time steps. This makes it possible to design strategies in which the mesh gets gradually refined during the iteration in such a way that the iteration error stays essentially on the level of discretization error.

Asynchronous Relaxations for the Numerical Solution of Differential Equations by Parallel Processors

We consider asynchronous relaxations for the numerical solution by parallel processors of initial value problems involving a class of ordinary differential equations. The differential equations may be nonlinear, nonautonomous and nonhomogeneous. The proposed algorithms have several advantages in the parallel processing context, and these apply irrespective of the number of processors and the architecture of the computing system. The form of the given equations is as a partitioned system which closely corresponds to the composition of physical systems from subsystems. The algorithms iterate asynchronously on functions. We prove that the computed functions uniformly converge at a geometric rate to the unique solution of the given equations. The assumption on the asynchronous aspects of the algorithm are that delays are uniformly bounded and that a nonstarvation condition applies. In practice these are not burdensome. The assumptions on the differential equations are dominance conditions. For linear autonomous equations the assumption is that a certain matrix is an M-matrix.

Exponential bifurcation and property of being a basis of systems of elementary solutions of linear autonomous equations of neutral type

Exponential bifurcation and property of being a basis of systems of elementary solutions of linear autonomous equations of neutral type