Exact boundary observability for nonautonomous quasilinear wave equations

By means of a direct and constructive method based on the theory of semiglobal C² solution, the local exact boundary observability is shown for nonautonomous 1-D quasilinear wave equations. The essential difference between nonautonomous wave equations and autonomous ones is also revealed.     

Sufficient conditions for the global stability of nonautonomous higher order difference equations

We present some explicit sufficient conditions for the global stability of the zero solution in nonautonomous higher order difference equations. The linear case is discussed in detail. We illustrate our main results with some examples. In particular, the stability properties of the equilibrium in a nonlinear model in macroeconomics is addressed.     

Compact kernel sections for nonautonomous Klein-Gordon-Schrödinger equations on infinite lattices

In this paper, we study the nonautonomous Klein-Gordon-Schrödinger equations on infinite lattices. We first prove the existence of compact kernel sections for the corresponding process and then obtain an upper bound of the Kolmogorov ε-entropy for these kernel sections. Finally, we establish the upper semicontinuity of the kernel sections.     

Pruning method for optimal solutions of int–int decision making scheme

This paper aims to find a faster method for optimal solutions of Feng et al.’s int^m–intⁿ decision making scheme. We first give theoretical characterizations of optimal decision sets. Then we develop a pruning method which filters out those objects that cannot be elements of any optimal decision sets in the beginning. Experimental results have shown that our method has higher efficiency in computing the optimal solutions of this scheme, particularly when we are processing soft sets with a great quantity of data.     

C-GV triviality of function germs and Newton polyhedra

We provide estimates on the degree of C l GV determinacy ( G is one of Mather’s groups R or K ) of function germs which are defined on analytic variety V and satisfies a non-degeneracy condition with respect to some Newton polyhedron. The result gives an explicit order such that the C l geometrical structure of a function germ is preserved after higher order perturbations, which generalizes the result on C l G triviality of function germs given by M.A.S.Ruas.     

Asymptotic behaviour of the solutions of a nonautonomous linear delay difference system

It is proved under appropriate assumptions that the solutions of a linear system of nonautonomous delay difference equations have finite limit at infinity. The results are based on a transformation of the delay difference system into a first-step recursion, where the companion matrices are well treatable from our point of view. Our theory is illustrated by examples, including a class of linear delay difference equations with unbounded coefficients.     

A full analysis of a new second order finite volume approximation based on a low-order scheme using general admissible spatial meshes for the unsteady one dimensional heat equation

The present work is an extension of our previous works ,  and  which dealt with first order (both in time and space) and second order time accurate (second order in time and first order in space) implicit finite volume schemes for parabolic equations. We aim in this work (and some forthcoming studies) at getting higher order (both in time and space) finite volume approximations for the exact solution of parabolic equations using the class of spatial generic meshes introduced recently in [13]. We focus in the present contribution on the one dimensional heat equation and its implicit finite volume scheme described in [3]. The implicit finite volume scheme approximating the one dimensional heat equation we consider (hereafter referred to as the basic finite volume scheme) yields linear systems to be solved successively. The matrices involved in these linear systems are tridiagonal. The finite volume approximate solution is of order h+k$h+k$, where h (resp. k  ) is the mesh size of the spatial (resp. time) discretization. We construct a new finite volume approximation of order (h+k)²${(h+k)}^2$ in several discrete norms which allows us to get approximations of order two for the exact solution and its first derivatives. This new high-order approximation can be computed using the same linear systems involved in the basic finite volume scheme while the right hand sides are corrected. The construction of these right hand sides includes the approximations of the second, third, and fourth spatial derivatives of the exact solution. The computation of the approximation of these high-order derivatives can be performed using the same matrices stated above with another two tridiagonal matrices. The manner by which this new high-order approximation is constructed can be repeated to compute successively finite volume approximations of arbitrary order using the same matrices stated above. These high-order approximations can be obtained on any one dimensional admissible finite volume mesh in the sense of [12] without any restrictive condition on the spatial mesh. A full analysis for the stated theoretical results as well as some numerical examples supporting the theory is presented. The results obtained in the present study are based essentially on two facts. The first fact is the use of the results provided in [3] which state the convergence order of the finite volume approximate solution in several norms. The second fact is the comparison between the stated new higher order approximations and suitable auxiliary finite volume approximations.     

Space-time discontinuous galerkin method for maxwell equations in dispersive media

In this paper, a unified model for time-dependent Maxwell equations in dispersive media is considered. The space-time DG method developed in [29] is applied to solve the underlying problem. Unconditional L²-stability and error estimate of order O(τ^r+1+h^k+1/2) are obtained when polynomials of degree at most r and k are used for the temporal discretization and spatial discretization respectively. 2-D and 3-D numerical examples are given to validate the theoretical results. Moreover, numerical results show an ultra-convergence of order 2r+1 in temporal variable t.     

Differential equations with bounded positive Green’s functions and generalized Aizerman’s hypothesis

We derive conditions for the positivity and boundedness of the Green functions of the higher order linear nonautonomous ODE. By virtue of these conditions, the existence of positive solutions for a class of nonlinear equations is proved. In addition, upper and lower estimates for the Green functions are established. Moreover, it is shown that nonlinear equations, having separated nonautonomous linear parts, satisfy the generalized Aizerman hypothesis on absolute stability, if they have the positive Green functions.     

Conditions for the existence of a solution of a system of differential equations close to an approximate solution

We consider nonautonomous systems of differential equations and state conditions for the existence of an exact solution in a neighborhood of an approximate one by analyzing the linear system of the first approximation in a neighborhood of the constructed approximate solution. We present conditions for the existence of a bounded solution of a linear inhomogeneous system of differential equations.     

Permanence of species in nonautonomous discrete Lotka–Volterra competitive system with delays and feedback controls

A nonautonomous N-species discrete Lotka–Volterra competitive system of difference equations with delays and feedback controls is considered. New sufficient conditions are obtained for the permanence of this discrete system. The results indicate that one can choose suitable controls to make the species coexistence in the long run. Moreover, we give some examples to illustrate the feasibility of our result which can be well suited for computational purposes.     

Landesman-Lazer type conditions for a system of p-Laplacian like operators

We study the existence of periodic solutions for a nonlinear second order system of ordinary differential equations of p-Laplacian type. Assuming suitable Nagumo and Landesman-Lazer type conditions we prove the existence of at least one solution applying topological degree methods. We extend a celebrated result by Nirenberg for resonant systems.     

The concept of spectral dichotomy for linear difference equations II

This paper is a continuation of a previous one (J. Math. Anal. Appl. 185 (1994), 275–287) in which the concept of spectral dichotomy has been introduced. This new notion of dichotomy has proved to be useful since it allows to apply the well known theory of linear operators to study dynamic properties of nonautonomous linear difference equations. In the present paper we extend our result on the equivalence of the spectral dichotomy and the well known exponential dichotomy to the class of linear differenc equations whose right-hand sides are not necessarily invertible. We furthermore investigate equations on the set of positive integers for which we establish necessary and sufficient conditions for exponential and unifrom stability.     

Computation of nonautonomous invariant and inertial manifolds

We derive a numerical scheme to compute invariant manifolds for time-variant discrete dynamical systems, i.e., nonautonomous difference equations. Our universally applicable method is based on a truncated Lyapunov–Perron operator and computes invariant manifolds using a system of nonlinear algebraic equations which can be solved both locally using (nonsmooth) inexact Newton, and globally using continuation algorithms. Compared to other algorithms, our approach is quite flexible, since it captures time-dependent, nonsmooth, noninvertible or implicit equations and enables us to tackle the full hierarchy of strongly stable, stable and center-stable manifolds, as well as their unstable counterparts. Our results are illustrated using a test example and are applied to a population dynamical model and the Hénon map. Finally, we discuss a linearly implicit Euler–Bubnov–Galerkin discretization of a reaction diffusion equation in order to approximate its inertial manifold.     

The Cauchy problems for evolutionary pseudo-differential equations over p-adic field and the wavelet theory

We solve the Cauchy problems for p-adic linear and semi-linear evolutionary pseudo-differential equations (the time-variable t∈R and the space-variable ). Among the equations under consideration there are the heat type equation and the Schrödinger type equations (linear and nonlinear). To solve these problems, we develop the “variable separation method” (an analog of the classical Fourier method) which reduces solving evolutionary pseudo-differential equations to solving ordinary differential equations with respect to real variable t. The problem of stabilization for solutions of the Cauchy problems as t→∞ is also studied. These results give significant advance in the theory of p-adic pseudo-differential equations and can be used in applications.     

Periodic solutions of a discrete time nonautonomous ratio-dependent predator-prey system

With the help of differential equations with piecewise constant arguments, we first propose a discrete analogue of continuous time ratio-dependent predator-prey system, which is governed by nonautonomous difference equations, modeling the dynamics of the prey and the predator having nonoverlapping generations. Then, easily verifiable sufficient criteria are established for the existence of positive periodic solutions. The approach is based on the coincidence degree and the related continuation theorem as well as some priori estimates.     

The L resolvents of elliptic operators with uniformly continuous coefficients

We consider the strongly elliptic operator A of order 2m in the divergence form with bounded measurable coefficients and assume that the coefficients of top order are uniformly continuous. For 1<p<∞, A is a bounded linear operator from the L^p Sobolev space H^m,p into H^−m,p. We will prove that (A−λ)⁻¹ exists in H^−m,p for some λ and estimate its operator norm.     

Initial boundary value problems for nonlinear dispersive wave equations

In this paper we study initial value boundary problems of two types of nonlinear dispersive wave equations on the half-line and on a finite interval subject to homogeneous Dirichlet boundary conditions. We first prove local well-posedness of the rod equation and of the b-equation for general initial data. Furthermore, we are able to specify conditions on the initial data which on the one hand guarantee global existence and on the other hand produce solutions with a finite life span. In the case of finite time singularities we are able to describe the precise blow-up scenario of breaking waves. Our approach is based on sharp extension results for functions on the half-line or on a finite interval and several symmetry preserving properties of the equations under discussion.     

Weighted integral inequalities for conjugate A-harmonic tensors

We first prove a local weighted integral inequality for conjugate A-harmonic tensors. Then, as an application of our local result, we prove a global weighted integral inequality for conjugate A-harmonic tensors in L^s(μ)-averaging domains, which can be considered as a generalization of the classical result. Finally, we give applications of the above results to quasiregular mappings.     

Positivity conditions and bounds for Green’s functions for higher order two-point BVP

We consider a linear nonautonomous higher order ordinary differential equation and establish the positivity conditions and two-sided bounds for Green’s function for the two-point boundary value problem. Applications of the obtained results to nonlinear equations are also discussed.