Geometrical properties of nonlinear maps and their application, Part I: The topological degree of quasiruled Fredholm maps on quasicylindrical domains

In this paper we introduce the notion of quasicylindrical domains in Banach spaces and develop a concept of a degree for quasiruled Fredholm mappings on quasicylindrical domains. Note that this quasicylindrical structure appears in a rather natural way, whenever “analytically” given nonlinear pseudodifferential operators are investigated in spaces of sufficiently smooth functions. Moreover, the class of quasiruled Fredholm mappings on quasicylindrical domains is sufficiently large, so that within this framework one can study a quite large class of nonlinear boundary value problems which are related to pseudodifferential operators.     

On the total variation, topological entropy and sensitivity for interval maps

A concept related to total variation termed H₁ condition was recently proposed to characterize the chaotic behavior of an interval map f by Chen, Huang and Huang [G. Chen, T. Huang, Y. Huang, Chaotic behavior of interval maps and total variations of iterates, Internat. J. Bifur. Chaos 14 (2004) 2161-2186]. In this paper, we establish connections between H₁ condition, sensitivity and topological entropy for interval maps. First, we introduce a notion of restrictiveness of a piecewise-monotone continuous interval map. We then prove that H₁ condition of a piecewise-monotone continuous map implies the non-restrictiveness of the map. In addition, we also show that either H₁ condition or sensitivity then gives the positivity of the topological entropy of f.     

Bounding the zeros of an interval equation

In this paper, we consider the problem of finding reliably and with certainty all zeros of an interval equation within a given search interval for continuously differentiable functions over real numbers. We propose a new formality of interval arithmetic which is treated in a theoretical manner to develop and prove a new method, lying on the context of interval Newton methods. Some important theoretical aspects of the new method are stated and proved. Finally, an algorithmic realization of our method is proposed to be applied on a set of test functions, where the promising theoretical results are verified.     

Existence test for solution of nonlinear systems applying affine arithmetic

A computational test is proposed for existence of solution in nonlinear systems. In this test, an interval inclusion of Newton mapping is estimated applying affine arithmetic. Numerical examples are presented to show the efficiency of this test.     

Application of topological degree theory to semi-definite complementarity problem

The topological degree theory is applied to study the problem of existence of solutions to the semi-definite complementarity problem (SDCP). A notion of an exceptional family of matrices is introduced, and assertions of a non-strict alternative type are obtained. Namely, for a continuous mapping, there exists at least one of the following two items: either a solution to the SDCP, or an exceptional family of matrices. Hence, if there is no exceptional family, then at least one solution exists     

Computation of topological degree for nonlinear operators and applications

Using the lattice structure, we give some methods of computation of the topological degree for the operator which is quasi-additive on lattice. The operator A$A$ is not assumed to be a cone mapping. As applications, the existence of nontrivial solutions for the nonlinear Sturm–Liouville problem is discussed.     

A new simultaneous method of fourth order for finding complex zeros in circular interval arithmetic

Starting from disjoint disks which contain polynomial complex zeros, the new iterative interval method for simultaneous finding of inclusive disks for complex zeros is formulated. The convergence theorem and the conditions for convergence are considered, and the convergence is shown to be fourth. Numerical examples are included.     

Topological degree and the Sperner lemma

In this paper, we give a new proof of Sperner's lemma, in its superstrong from, using the topological degree. Thus, we point out a relation between several methods for fixed-point theorems using either the topological degree, or the KKM lemma, or the Sperner lemma.The author would like to thank Dr. G. Leitmann for his remarks and suggestions.     

Computation of topological degree in ordered Banach spaces with lattice structure and its application to superlinear differential equations

Using the cone theory and the lattice structure, we establish some methods of computation of the topological degree for the nonlinear operators which are not assumed to be cone mappings. As applications, the existence results of nontrivial solutions for superlinear Sturm-Liouville problems are given. We also investigate the singular superlinear Sturm-Liouville problems.     

Periodic solutions of perturbed isochronous hamiltonian systems at resonance

We look for periodic solutions of planar systems obtained by adding an asymptotically positively homogeneous nonlinear term to an isochronous hamiltonian system. Precise computations of the topological degree are obtained by elementary phase-plane analysis.     

Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

A novel interval arithmetic simulation approach is introduced in order to evaluate the performance of biological wastewater treatment processes. Such processes are typically modeled as dynamical systems where the reaction kinetics appears as additive nonlinearity in state. In the calculation of guaranteed bounds of state variables uncertain parameters and uncertain initial conditions are considered. The recursive evaluation of such systems of nonlinear state equations yields overestimation of the state variables that is accumulating over the simulation time. To cope with this wrapping effect, innovative splitting and merging criteria based on a recursive uncertain linear transformation of the state variables are discussed. Additionally, re-approximation strategies for regions in the state space calculated by interval arithmetic techniques using disjoint subintervals improve the simulation quality significantly if these regions are described by several overlapping subintervals. This simulation approach is used to find a practical compromise between computational effort and simulation quality. It is pointed out how these splitting and merging algorithms can be combined with other methods that aim at the reduction of overestimation by applying consistency techniques. Simulation results are presented for a simplified reduced-order model of the reduction of organic matter in the activated sludge process of biological wastewater treatment.     

A note on the existence of a largest topological factor with zero entropy

Given a topological system on a -compact Hausdorff space and its factor we show the existence of a largest topological factor containing such that for each -invariant measure , . When a relative variational principle holds, .

     

Classifications and existence criteria for positive solutions of systems of nonlinear differential equations

Classification schemes for positive solutions of a class of second order nonlinear differential systems are given in terms of their asymptotic magnitudes, and necessary as well as sufficient conditions for the existence of these solutions are also provided.     

A remark on the topological stability of symplectomorphisms

We prove that the C¹ interior of the set of all topologically stable C¹ symplectomorphisms is contained in the set of Anosov symplectomorphisms.     

Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Even simple hybrid automata like the classic bouncing ball can exhibit Zeno behavior. The existence of this type of behavior has so far forced a large class of simulators to either ignore some events or risk looping indefinitely. This in turn forces modelers to either insert ad-hoc restrictions to circumvent Zeno behavior or to abandon hybrid automata. To address this problem, we take a fresh look at event detection and localization. A key insight that emerges from this investigation is that an enclosure for a given time interval can be valid independent of the occurrence of a given event. Such an event can then even occur an unbounded number of times. This insight makes it possible to handle some types of Zeno behavior. If the post-Zeno state is defined explicitly in the given model of the hybrid automaton, the computed enclosure covers the corresponding trajectory that starts from the Zeno point through a restarted evolution.     

On the existence of zeros of monotone operators in reflexive Banach spaces

This paper is devoted to the investigation on the existence of zeros of monotone operators in reflexive Banach spaces. We first present a sufficient condition under which single-valued monotone operators have zeros. The obtained theorem includes a previous result as a special case. A necessary and sufficient condition for the existence of zeros of maximal monotone operators is presented.     

A theorem of the alternatives for the equation Ax + B|x| = b

The following theorem is proved: given square matrices A, D of the same size, D nonnegative, then either the equation Ax + B|x| = b has a unique solution for each B with |B| ≤ D and for each b, or the equation Ax + B₀|x| = 0 has a nontrivial solution for some matrix B₀ of a very special form, |B₀| ≤ D; the two alternatives exclude each other. Some consequences of this result are drawn. In particular, we define a λ to be an absolute eigenvalue of A if |Ax| = λ|x| for some x ≠ 0, and we prove that each square real matrix has an absolute eigenvalue.     

A theorem of the alternatives for the equation Ax + B|x| = b

The following theorem is proved: given square matrices A, D of the same size, D nonnegative, then either the equation Ax?+?B|x|?=?b has a unique solution for each B with |B|?≤?D and for each b, or the equation Ax?+?B ₀|x|?=?0 has a nontrivial solution for some matrix B ₀ of a very special form, |B ₀|?≤?D; the two alternatives exclude each other. Some consequences of this result are drawn. In particular, we define a λ to be an absolute eigenvalue of A if |Ax|?=?λ|x| for some x?≠?0, and we prove that each square real matrix has an absolute eigenvalue.