We consider several problems for degenerate parabolic equations exhibiting nonlinearities of various kinds. For example the may contain superlinear sources, causing blow up solutions, or damping terms; principal part operator is also nonlinear. mention as unifying features fact that spatial domains have non-compact boundary, and technical approach which based on energy methods a priori estimate...

We apply the Dynamical Mean Field Theory to the problem of charge ordering. In the normal state as well as in the Charge Ordered (CO) state the existence of polarons, i.e. electrons strongly coupled to local lattice deformation, is associated to the qualitative properties of the Lattice Polarization Distribution Function (LPDF). At intermediate and strong coupling a CO state characterized by a ...

Testability, and design for testability, are widely discussed practical issues in software engineering, especially in protocol engineering. Existing definitions (or circumscriptions) of testability seem to be either quite vague, or, if more or less formal, then dedicated only to very special system models. Testability is usually decomposed into aspects like observability and controllability, an...

Collinearity is a basic arrangement of regions in the plane. We investigate the semantics of collinearity in various possible meanings for three regions and we combine these concepts to obtain definitions for four and more regions. The aim of the paper is to support the formalization of projective properties for modelling geographic information and qualitative spatial reasoning. Exploring the s...

This paper examines qualitative properties of efficient insurance contracts in the presence of background risk. In order to get results for all strictly risk averse expected utility maximizers, the concept of “stochastic increasingness” is used. Different assumptions on the stochastic dependence between the insurable and uninsurable risk lead to different qualitative properties of the efficient...

Two concepts named atom solution and combinatory solution are defined. The classification of all single traveling wave atom solutions to Sinh-Gördon equation is obtained, and qualitative properties of solutions are discussed. In particular, we point out that some qualitative properties derived intuitively from dynamic system method aren’t true. In final, we prove that our solutions to Sinh-Görd...