This paper gives some new characterizations of completeness for trellises by introducing the notion of a cycle-complete trellis. One of our results yields, in particular, a characterization of completeness for trellises of finite length due to K. Gladstien (see K. Gladstien: Characterization of completeness for trellises of finite length, Algebra Universalis 3 (1973), 341–344).
The relationship between weighted Lipschitz functions and analytic Bloch spaces has attracted much attention. In this paper, we define harmonic ω-α-Bloch space and characterize it in terms of \omega \left( {{{\left( {1 - {{\left| x \right|}^2}} \right)}^\beta }{{\left( {1 - {{\left| y \right|}^2}} \right)}^{\alpha - \beta }}} \right)\left| {\frac{{f\left( x \right) - f\left( y \right)}}{{x - y}}} \right| and \omega \left( {{{\left( {1 - {{\left| x \right|}^2}} \right)}^\beta }{{\left( {1 - {{\left| y \right|}^2}} \right)}^{\alpha - \beta }}} \right)\left| {\frac{{f\left( x \right) - f\left( y \right)}}{{\left| x \right|y - x'}}} \right| where ω is a majorant. Similar results are extended to harmonic little ω-α-Bloch and Besov spaces. Our results are generalizations of the corresponding ones in G.Ren, U.Kähler (2005)., Xi Fu, Bowen Lu., and Obsahuje seznam literatury
We introduce the notion of order weakly sequentially continuous lattice operations of a Banach lattice, use it to generalize a result regarding the characterization of order weakly compact operators, and establish its converse. Also, we derive some interesting consequences.
In this paper we give some complete characterizations of the primitive of strongly Henstock-Kurzweil integrable functions which are defined on m with values in a Banach space.
Let T : X → X be a continuous selfmap of a compact metrizable space X. We prove the equivalence of the following two statements: (1) The mapping T is a Banach contraction relative to some compatible metric on X. (2) There is a countable point separating family F ⊂ C(X) of non-negative functions f ∈ C(X) such that for every f ∈ F there is g ∈ C(X) with f = g − g ◦ T.
We consider three types of semilinear second order PDEs on a cylindrical domain Ω × (0,∞), where Ω is a bounded domain in RN , N ≥ 2. Among these, two are evolution problems of parabolic and hyperbolic types, in which the unbounded direction of Ω × (0,∞) is reserved for time t, the third type is an elliptic equation with a singled out unbounded variable t. We discuss the asymptotic behavior, as t → ∞, of solutions which are defined and bounded on Ω × (0,∞).
The purpose of this paper is to establish some common fixed point results for f-nondecreasing mappings which satisfy some nonlinear contractions of rational type in the framework of metric spaces endowed with a partial order. Also, as a consequence, a result of integral type for such class of mappings is obtained. The proved results generalize and extend some of the results of J. Harjani, B. Lopez, K. Sadarangani (2010) and D. S. Jaggi (1977).
We show that asserting the regularity (in the sense of Rund) of a first-order parametric multiple-integral variational problem is equivalent to asserting that the differential of the projection of its Hilbert-Carathéodory form is multisymplectic, and is also equivalent to asserting that Dedecker extremals of the latter $(m+1)$-form are holonomic.
Let $W$ be the free monoid over a finite alphabet $A$. We prove that a congruence of $W$ generated by a finite number of pairs $\langle au,u\rangle $, where $a\in A$ and $u\in W$, is always decidable.