On the sense preserving mappings in the Helm topology in the plane

∗Research supported by the grant No. GAUK 186/96 of Charles University.

Cerami (C) Condition and Mountain Pass Theorem for Multivalued Mappings

Partially supported by Sapientia Foundation.

Dense Continuity and Selections of Set-Valued Mappings

∗ The first and third author were partially supported by National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under grant MM-701/97.

Stability of the Iteration Method for non Expansive Mappings

The general iteration method for nonexpansive mappings on a Banach space is considered. Under some assumption of fast enough convergence on the sequence of (“almost” nonexpansive) perturbed iteration mappings, if the basic method is τ−convergent for a suitable topology τ weaker than the norm topology, then the perturbed method is also τ−convergent. Application is presented to the gradient-prox method for monotone inclusions in Hilbert spaces.

Subdifferentials of Performance Functions and Calculus of Coderivatives of Set-Valued Mappings

The paper contains calculus rules for coderivatives of compositions, sums and intersections of set-valued mappings. The types of coderivatives considered correspond to Dini-Hadamard and limiting Dini-Hadamard subdifferentials in Gˆateaux differentiable spaces, Fréchet and limiting Fréchet subdifferentials in Asplund spaces and approximate subdifferentials in arbitrary Banach spaces. The key element of the unified approach to obtaining various calculus rules for various types of derivatives presented in the paper are simple formulas for subdifferentials of marginal, or performance functions.

A Mean Value Theorem for non Differentiable Mappings in Banach Spaces

We prove that if f is a real valued lower semicontinuous function on a Banach space X and if there exists a C^1, real valued Lipschitz continuous function on X with bounded support and which is not identically equal to zero, then f is Lipschitz continuous of constant K provided all lower subgradients of f are bounded by K. As an application, we give a regularity result of viscosity supersolutions (or subsolutions) of Hamilton-Jacobi equations in infinite dimensions which satisfy a coercive condition. This last result slightly improves some earlier work by G. Barles and H. Ishii.

Ontology-Based Model of Representation of Knowledge about Language Mappings

The paper presents a short review of some systems for program transformations performed on the basis of the internal intermediate representations of these programs. Many systems try to support several languages of representation of the source texts of programs and solve the task of their translation into the internal representation. This task is still a challenge as it is effort-consuming. To reduce the effort, different systems of translator construction, ready compilers with ready grammars of outside designers are used. Though this approach saves the effort, it has its drawbacks and constraints. The paper presents the general idea of using the mapping approach to solve the task within the framework of program transformations and overcome the disadvantages of the existing systems. The paper demonstrates a fragment of the ontology model of high-level languages mappings onto the single representation and gives the example of how the description of (a fragment) a particular mapping is represented in accordance with the ontology model.

Application of Subordination Principle to Log-Harmonic alpha-spirallike Mappings

MSC 2010: 30C45, 30C55

Applications of Subordination Principle to Log-Harmonic Mappings

MSC 2010: 30C45, 30C55

Approximation of Lipschitz Mappings

2000 Mathematics Subject Classification: 46B03

Codifferentiable Mappings with Applications to Vector Optimality

AMS subject classification: Primary 49J52; secondary: 26A27, 90C48, 47N10.

Some Fixed Point Theorems for Kannan Mappings

2000 Mathematics Subject Classification: Primary: 47H10; Secondary: 54H25.

Continuous Dependence of Solutions of Quasidifferential Equations with Non-Fixed Time of Impulses

In this article on quasidifferential equation with non-fixed time of impulses we consider the continuous dependence of the solutions on the initial conditions as well as the mappings defined by these equations. We prove general theorems for quasidifferential equations from which follows corresponding results for differential equations, differential inclusion and equations with Hukuhara derivative.

Speculating About Mountains

∗Partially supported by Grant MM 409/94 of the Mininstry of Education, Science and Technology, Bulgaria. ∗∗Partially supported by Grants MM 521/95, MM 442/94 of the Mininstry of Education, Science and Technology, Bulgaria.

Sufficient Conditions of Optimality for Control Pproblem Governed by Variational Inequalities

* This work was completed while the author was visiting the University of Limoges. Support from the laboratoire “Analyse non-linéaire et Optimisation” is gratefully acknowledged.