We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentially unbounded collections of numeric objects. Such domains are of benefit to analyses that verify properties of systems with an unbounded number of numeric objects, such as shape analysis, or systems in which the numb...

Linear elliptic problems in bounded domains are normally solvable with a finite-dimensional kernel and a finite codimension of the image, that is, satisfy the Fredholm property, if the ellipticity condition, the condition of proper ellipticity and the Lopatinskii condition are satisfied. In the case of unbounded domains these conditions are not sufficient any more. The necessary and sufficient ...

Many problems of mechanics and physics are posed in unbounded or infinite domains. For solving these problems one typically limits them to bounded domains and find ways to set appropriate conditions on artificial boundaries or use quasi-uniform grid that maps unbounded domains to bounded ones. Differently from the above methods we approach to problems in unbounded domains by infinite system of ...

Citation: Reich S and Zaslavski AJ (2015) Generic convergence of infinite products of nonexpansive mappings with unbounded domains. We study the generic convergence of infinite products of nonexpansive mappings with unbounded domains in hyperbolic metric spaces.

let $omega_x$ be a bounded, circular and strictly convex domain of a banach space $x$ and $mathcal{h}(omega_x)$ denote the space of all holomorphic functions defined on $omega_x$. the growth space $mathcal{a}^omega(omega_x)$ is the space of all $finmathcal{h}(omega_x)$ for which $$|f(x)|leqslant c omega(r_{omega_x}(x)),quad xin omega_x,$$ for some constant $c>0$, whenever $r_{omega_x}$ is the m...