A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations

We present constructive a posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations (ODEs) on a bounded interval. Here, “constructive” indicates that we can obtain bounds of the operator norm in which all constants are explicitly given or are represented in a numerically computable form. In general, it is difficult to estimate these inverse operators a priori. We, therefore, propose a technique for obtaining a posteriori estimates by using Galerkin approximation of inverse operators. This type of estimation will play an important role in the numerical verification of solutions for initial value problems in nonlinear ODEs as well as for parabolic initial boundary value problems.     

A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations

We present constructive a posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations (ODEs) on a bounded interval. Here, “constructive” indicates that we can obtain bounds of the operator norm in which all constants are explicitly given or are represented in a numerically computable form. In general, it is difficult to estimate these inverse operators a priori. We, therefore, propose a technique for obtaining a posteriori estimates by using Galerkin approximation of inverse operators. This type of estimation will play an important role in the numerical verification of solutions for initial value problems in nonlinear ODEs as well as for parabolic initial boundary value problems.     

Compactness principles in nonlinear operator approximation theory

This paper is concerned with the approximate solution of nonlinear operator equations in abstract settings and with applications to integral and differential equations. A given operator with certain continuity and compactness or inverse compactness properties is a suitable limit of a sequence of operators with analogous properties which hold uniformly or asymptotically. Both fixed point equations and inhomogeneous equations are treated. Solutions of approximate problems converge to solutions of the given problem. This is an appropriate type of set convergence when solutions are not unique.     

Goursat problem for two-dimensional second-order hyperbolic operator-differential equations with variable domains

We develop a modification of the energy inequality method and use it to prove the well-posedness of the Goursat problem for linear second-order hyperbolic differential equations with operator coefficients whose domains depend on the two-dimensional time. An energy inequality for strong solutions of this Goursat problem is derived with the help of abstract smoothing operators, and we prove that the range of the problem is dense by using properties of a regularizing Cauchy problem whose inverse operator is a family of smoothing operators of a new type. We give an example of a well-posed boundary value problem for a two-dimensional complete second-order hyperbolic partial differential equation with Goursat conditions and with a boundary condition depending on the two-dimensional time.     

An analysis for heat equations arises in diffusion process using new Yang-Abdel-Aty-Cattani fractional operator

The heat equation is parabolic partial differential equation and occurs in the characterization of diffusion progress. In the present work, a new fractional operator based on the Rabotnov fractional-exponential kernel is considered. Next, we conferred some fascinating and original properties of nominated new fractional derivative with some integral transform operators where all results are significant. The fundamental target of the proposed work is to solve the multidimensional heat equations of arbitrary order by using analytical approach homotopy perturbation transform method and residual power series method, where new fractional operator has been taken in new Yang-Abdel-Aty-Cattani (YAC) sense. The obtained results indicate that solution converges to the original solution in language of generalized Mittag-Leffler function. Three numerical examples are discussed to draw an effective attention to reveal the proficiency and adaptability of the recommended methods on new YAC operator.     

Difference Operators on Two-Dimensional Regular Lattices

We solve the direct and inverse spectral problems for two classes of difference operators. We present systems of ordinary differential equations describing isospectral deformations of these operators.     

Integral equations and initial value problems for nonlinear differential equations of fractional order

We discuss the solvability of integral equations associated with initial value problems for a nonlinear differential equation of fractional order. The differential operator is the Caputo fractional derivative and the inhomogeneous term depends on the fractional derivative of lower orders. We obtain the existence of at least one solution for integral equations using the Leray–Schauder Nonlinear Alternative for several types of initial value problems. In addition, using the Banach contraction principle, we establish sufficient conditions for unique solutions. Our approach in obtaining integral equations is the “reduction” of the fractional order of the integro-differential equations based on certain semigroup properties of the Caputo operator.     

Inverse problems for differential operators on trees with general matching conditions

Sturm–Liouville differential operators on compact trees with general matching conditions in internal vertices are studied. We establish properties of the spectral characteristics and investigate three inverse problems of recovering the operator either from the so-called Weyl functions, or from discrete spectral data or from a system of spectra. For these inverse problems, we prove the corresponding uniqueness theorems and obtain procedures for constructing their solutions by the method of spectral mappings.     

On a continuous method for solving nonlinear operator equations

We suggest a continuous method for solving nonlinear operator equations in Banach spaces. The proof of the convergence of the method is based on stability criteria for solutions of differential equations. The implementation of the method does not require the construction of inverse operators. Criteria for the global convergence are derived.     

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

We consider the guaranteed a posteriori estimates for the inverse parabolic operators with homogeneous initial-boundary conditions. Our estimation technique uses a full-discrete numerical scheme, which is based on the Galerkin method with an interpolation in time by using the fundamental solution for semidiscretization in space. In our technique, the constructive a priori error estimates for a full discretization of solutions for the heat equation play an essential role. Combining these estimates with an argument for the discretized inverse operator and a contraction property of the Newton-type formulation, we derive an a posteriori estimate of the norm for the infinite-dimensional operator. In numerical examples, we show that the proposed method should be more efficient than the existing method. Moreover, as an application, we give some prototype results for numerical verification of solutions of nonlinear parabolic problems, which confirm the actual usefulness of our technique.     

Numerical solution of non‐stationary aero‐autoelasticity integro‐differential operator equations

The spectral method of G. N. Elnagar, which yields spectral convergence rate for the approximate solutions of Fredholm and Volterra–Hammerstein integral equations, is generalized in order to solve the larger class of integro‐differential functional operator equations with spectral accuracy. In order to obtain spectrally accurate solutions, the grids on which the above class of problems is to be solved must also be obtained by spectrally accurate techniques. The proposed method is based on the idea of relating, spectrally constructed, grid points to the structure of projection operators which will be used to approximate the control vector and the associated state vector. These projection operators are spectrally constructed using Chebyshev–Gauss–Lobatto grid points as the collocation points, and Lagrange polynomials as trial functions. Simulation studies demonstrate computational advantages relative to other methods in the literature. Copyright © 1999 John Wiley & Sons, Ltd.     

The uniqueness of a solution to the inverse Cauchy problem for a fractional differential equation in a Banach space

We consider linear fractional differential operator equations involving the Caputo derivative. The goal of this paper is to establish conditions for the unique solvability of the inverse Cauchy problem for these equations. We use properties of the Mittag-Leffler function and the calculus of sectorial operators in a Banach space. For equations with operators in a general form we obtain sufficient conditions for the unique solvability, and for equations with densely defined sectorial operators we obtain necessary and sufficient unique solvability conditions.     

微分特征列法在拟微分算子和Lax表示中的应用

微分特征列法用于拟微分算子和非线性发展方程Lax表示的计算.首先,利用微分特征列法和微分带余除法计算拟微分算子的逆和方根,由于不必求解常微分方程组,并将解代入,因此,使得计算得以简化.其次,利用微分特征列法,约化从广义Lax方程和Zakharov-Shabat推出的非线性偏微分方程,并得到相应的非线性发展方程.在Mathematica计算机代数系统上,编写了相关程序,从而可以利用计算机辅助完成一些非线性发展方程Lax表示的计算.     

Differential operators for systems of linear partial differential equations

The aim of this paper is the representation of solutions of systems of formally hyperbolic differential equations of second order. I. N.Vekua gave a representation of the solutions using the Riemann-matrix-function. Here we introduce special differential operators which map holomorphic functions into the set of solutions. An existence theorem for such operators is proved which gives a necessary and sufficient condition on the coefficients of a system. These operators are represented explicitly and several properties of them are investigated. We give different representations of the solutions of such systems and discuss the relation between the integral operator method and the method using differential operators which leads to an explicit representation of the Riemann-matrix-function by means of the differential operators. Two examples of special systems with differential operators are given.     

Compatible Dubrovin–Novikov Hamiltonian Operators,Lie Derivative,and Integrable Systems of Hydrodynamic Type

We prove that two Dubrovin–Novikov Hamiltonian operators are compatible if and only if one of these operators is the Lie derivative of the other operator along a certain vector field. We consider the class of flat manifolds, which correspond to arbitrary pairs of compatible Dubrovin–Novikov Hamiltonian operators. Locally, these manifolds are defined by solutions of a system of nonlinear equations, which is integrable by the method of the inverse scattering problem. We construct the integrable hierarchies generated by arbitrary pairs of compatible Dubrovin–Novikov Hamiltonian operators.     

Use of Adomian decomposition method in the study of parallel plate flow of a third grade fluid

In this paper, Adomian’s decomposition method is used to solve non-linear differential equations which arise in fluid dynamics. We study basic flow problems of a third grade non-Newtonian fluid between two parallel plates separated by a finite distance. The technique of Adomian decomposition is successfully applied to study the problem of a non-Newtonian plane Couette flow, fully developed plane Poiseuille flow and plane Couette–Poiseuille flow. The results obtained show the reliability and efficiency of this analytical method. Numerical solutions are also obtained by solving non-linear ordinary differential equations using Chebyshev spectral method. We present a comparative study between the analytical solutions and numerical solutions. The analytical results are found to be in good agreement with numerical solutions which reveals the effectiveness and convenience of the Adomian decomposition method.     

THE CAUCHY-KOVALEVSKAYA THEOREM-OLD AND NEW

The paper surveys interactions between complex and functional-analytic methods in the Cauchy-Kovalevskaya theory. For instance, the behaviour of the derivative of a bounded holomorphic function led to abstract versions of the Cauchy-Kovalevskaya Theorem. Recent trends in the Cauchy-Kovalevskaya theory are based on the concept of associated differential operators. Since an evolution operator may posses several associated operators, initial data may be decomposed into components belonging to different associated spaces. This technique makes it also possible to solve ill-posed initial value problems.     

Homogeneous differential-operator equations in locally convex spaces

We describe a general method that allows us to find solutions to homogeneous differential-operator equations with variable coefficients by means of continuous vector-valued functions. The “homogeneity” is not interpreted as the triviality of the right-hand side of an equation. It is understood in the sense that the left-hand side of an equation is a homogeneous function with respect to operators appearing in that equation. Solutions are represented as functional vector-valued series which are uniformly convergent and generated by solutions to a kth order ordinary differential equation, by the roots of the characteristic polynomial and by elements of a locally convex space. We find sufficient conditions for the continuous dependence of the solution on a generating set. We also solve the Cauchy problem for the considered equations and specify conditions for the existence and the uniqueness of the solution. Moreover, under certain hypotheses we find the general solution to the considered equations. It is a function which yields any particular solution. The investigation is realized by means of characteristics of operators such as the order and the type of an operator, as well as operator characteristics of vectors, namely, the operator order and the operator type of a vector relative to an operator. We also use a convergence of operator series with respect to an equicontinuous bornology.     

Inverse determination of thermal conductivity using semi-discretization method

In this work a semi-discretization method is presented for the inverse determination of spatially- and temperature-dependent thermal conductivity in a one-dimensional heat conduction domain without internal temperature measurements. The temperature distribution is approximated as a polynomial function of position using boundary data. The derivatives of temperature in the differential heat conduction equation are taken derivative of the approximated temperature function, and the derivative of thermal conductivity is obtained by finite difference technique. The heat conduction equation is then converted into a system of discretized linear equations. The unknown thermal conductivity is estimated by directly solving the linear equations. The numerical procedures do not require prior information of functional form of thermal conductivity. The close agreement between estimated results and exact solutions of the illustrated examples shows the applicability of the proposed method in estimating spatially- and temperature-dependent thermal conductivity in inverse heat conduction problem.     

Symmetry analysis and some exact solutions of cylindrically symmetric null fields in general relativity

The symmetry reduction method based on the Fréchet derivative of the differential operators is applied to investigate symmetries of the Field equations in general relativity corresponding to cylindrically symmetric space–time, that is a coupled system of nonlinear partial differential equations of second order. More specifically, this technique yields invariant transformation that reduce the given system of partial differential equations to a system of nonlinear ordinary differential equations. Some of the reduced systems are further studied for exact solutions.