Nonlinear elliptic boundary value problems suggested by fermentation

This paper is devoted to the study of a class of elliptic equations with nonlinear boundary conditions of one parameter dependence, including models in fermentation industries. The author proves the existence of positive solutions growing-up to infinity as the parameter goes to infinity and considers their asymptotic behavior. Our method is based mainly on super- and sub-solutions.     

Mal'cev nilpotent algebras

We show that the Mal'cev semigroup identity x_n = y_n holds in the circle semigroup of an associative algebra over an infinite field precisely when the algebra is Lie nilpotent of class at most n. The Mal'cev semigroup law x_n = y_n holds in a group if and only if the group is nilpotent of class at most n.     

On matrix near-rings

Let R be a right near-ring with identity and M_n(R) be the near-ring of n 2 n matrices over R in the sense of Meldrum and Van der Walt. In this paper, M_n(R) is said to be s\sigma-generated if every n 2 n matrix A over R can be expressed as a sum of elements of X_n(R), where X_n(R)={f_ij^r | 1\leqq i, j\leqq n, r ? R}X_n(R)=\{f_{ij}^r\,|\,1\leqq i, j\leqq n, r\in R\}, is the generating set of M_n(R). We say that R is s\sigma-generated if M_n(R) is s\sigma-generated for every natural number n. The class of s\sigma-generated near-rings contains distributively generated and abstract affine near-rings. It is shown that this class admits homomorphic images. For abelian near-rings R, we prove that the zerosymmetric part of R is a ring, so the class of zerosymmetric abelian s\sigma-generated near-rings coincides with the class of rings. Further, for every n, there is a bijection between the two-sided subgroups of R and those of M_n(R).     

Lavrentiev''s phenomenon for totally unconstrained variational problems in one dimension

We give examples of one-dimensional variational problems with free ends that exhibit Lavrentiev's phenomenon, i.e. the infimum of the functional over one class X of admissible functions is strictly greater than the infimum over another class Y of admissible functions - even though X is dense in Y.     

Lie p-algebras of finite p-subalgebra rank

We say that a Lie p-algebra L has finite p-subalgebra rank if the minimal number of generators required to generate every finitely generated p-subalgebra is uniformly bounded by some integer r. This paper is concerned with the following problem: does L being of finite p-subalgebra rank force ad(L) to be finite-dimensional? Although this seems unlikely in general, we show that this is indeed the case for Lie p-algebras in a large class including all locally, residually, and virtually soluble Lie p-algebras.     

Glatte p-Gruppen

A p-group G is called smooth if there is a smooth chief series in G, that is a chief series in which any two factor groups of the same order are isomorphic. It is shown that in most cases non-abelian smooth p-groups are of nilpotency class two and that a smooth p-group is not much larger than the largest abelian group in its smooth chief series.     

On f-injective modules

In this paper, the notions of f-injective and f^*-injective modules are introduced. Elementary properties of these modules are given. For instance, a ring R is coherent iff any ultraproduct of f-injective modules is absolutely pure. We prove that the class S^* \Sigma^* of f^*-injective modules is closed under ultraproducts. On the other hand, S^* \Sigma^* is not axiomatisable. For coherent rings R, S^* \Sigma^* is axiomatisable iff every c₀ \chi_0 -injective module is f^*-injective. Further, it is shown that the class S \Sigma of f-injective modules is axiomatisable iff R is coherent and every c₀ \chi_0 -injective module is f-injective. Finally, an f-injective module H, such that every module embeds in an ultraprower of H, is given.     

Adapting Some Ideas from Stochastic Control Theory to Studying the Heat Equation in Closed Smooth Domains

Sufficient conditions on bounded domains D ² R ^d={(t,x)} of class C⁴ are given under which solutions of the heat equation u_t=j u+f in D have continuous second-order derivatives with respect to (t,x) in D^- . The equation is supplemented with C⁴ boundary data and it is assumed that f] C² .     

The strong closure of $\sigma$-complete Boolean algebras of projections

A result of T. A. Gillespie implies that the strong operator closure of any abstractly s\sigma -complete Boolean algebra of projections in a Banach space X which does not contain a copy of c₀ is Bade complete. It is shown that the same conclusion is valid for another (extensive) class of Banach spaces X, namely those which are weakly compactly generated. As a consequence, it follows that a Boolean algebra of projections in a separable Banach space is abstractly s\sigma -complete iff it is abstractly complete. It is also shown that a Banach space X has the property that the strong closure of every abstractly complete Boolean algebra of projections in X is Bade complete iff X does not contain a copy of l^￥\ell ^\infty \!.     

On subtractive varieties,V: congruence modularity and the commutators

In a congruence modular subtractive variety there are both the commutator of ideals and the commutator of congruences. We prove that, if I^' is the smallest congruence having an ideal I as a congruence class, then [I,J] = 0 /[I^', J^']. The general identity [0/ !,0 / #] = 0/[!,#] for !, # congruences, does not always hold; we give several conditions equivalent to this identity and sufficient conditions for it to hold. In the meantime, we get some other characterizations of the commutator of ideals. We also deal with the equational definability of principal commutators in a subtractive variety and with the extension property of the commutator from ideals of a subalgebra to the commutator of ideals of the whole algebra.     

A note on purely inseparable morphisms from an elliptic ruled surface

In this note, we shall study compositions of finite purely inseparable morphisms of degree p from an elliptic ruled surface in characteristic p > 0 and in particular, we shall give sufficient conditions for nonsingular minimal models of their images to be of general type.     

Existence of a somewhere injective pseudo-holomorphic disc

Given a smooth totally real submanifold L {\cal L} in an almost complex manifold (M,J) and a J-holomorphic disc with boundary in L {\cal L} , by restriction of the initial disc and factorization, one gets a smooth simple J-holomorphic curve still with boundary in L {\cal L} . As a consequence one gets a proof of the Arnold-Givental conjecture for a class of Lagrangian submanifolds in a symplectic manifold.     

Rigidity and finiteness under Ricci curvature and volume controls

Consider the class of closed Riemannian manifolds M of dimension dim(M) \geqq 3 \dim(M) \geqq 3 , Ricci curvature Ric(M) \geqq -(n - 1) \textrm{Ric}(M) \geqq -(n - 1) , diameter diam(M) < D and almost maximal volume. We show that the isomorphism types of fundamental groups characterize the diffeomorphism types of manifolds in such a class. In particular, it can be viewed as a generalization of the well-known Mostow‘s rigidity theorem and a finiteness theorem.     

Quadratic matrix polynomials with Hamiltonian spectrum and oscillatory damped systems

We consider quadratic matrix polynomials of the form L(l) = l²A + elB + CL(\lambda) = \lambda^{2}A + \epsilon\lambda B + C, where e\epsilon is a real parameter, A is positive definite and B and C are symmetric. The main results of the paper are the characterization of the class of symmetric matrices B for which the spectrum of the polynomial is symmetric with respect to the imaginary axis and solutions of the corresponding differential equation oscillate in time. We also extend the results in [2] to allow us to study the asymptotic behaviour of the eigenvalues for large e\epsilon.     

On Existence Varieties of E-solid Semigroups

Within the class of regular E-solid semigroups, a theory of e-varieties including appropriate notions of biidentities and biinvariant congruences is presented, such that, together with bifree objects, these notions inherit the properties and interrelations well known from universial algebra. This theory generalizes the previously developed such theory for orthodox semigroups. As an application, the bifree objects in certain e-varieties of E-solid locally orthodox semigroups, which are constructed by means of Malcev products from a varities of bands, groups and completely simple semigroups, are described as subsemigroups in suitable Pastijn products of some bands by relatively bifree completely simple semigroups. As a consequence, it follows that every regular E-solid locally orthodox semigroup regularly divides a so-called solid Pastijn product of a band by a completely simple semigroup.     

On constructions of strong and uniformly minimal M-bases in Banach spaces

We find a natural class of transformations ("flattened perturbations") of a norming M-basis in a Banach space X, which give a strong norming M-basis in X. This simplifies and generalizes the positive answer to the "strong M-basis problem" solved by P.Terenzi. We also show that in general one cannot achieve uniformly minimality applying standard transformations to a given norming M-basis, despite of the existence in X a uniformly minimal strong M-bases.     

Transitivity and full transitivity for p-local modules

A p-local module M is called (fully) transitive if for all x,y ? Mx,y\in M with U_M(x) = U_M(y) ( U_M(x)\leqq U_M(y)U_M(x)\leqq U_M(y)) there exists an automorphism (endomorphism) of M which maps x onto y. In this paper we examine the relationship of these two notions in the case of p-local modules. We show that a module M is fully transitive if and only if M?MM\oplus M is transitive in the case where the divisible part of M/tMM/tM has rank at most one. Moreover, we show that for the same class of modules transitivity implies full transitivity if p > 2. This extends theorems of Files, Goldsmith and of Kaplansky for torsion p-local modules.     

A 2-D free boundary problem with onset of a phase and singular elliptic boundary value problems

Numerous models of industrial processes, such as diffusion in glassy polymers or solidification phenomena, lead to general one phase free boundary value problems with phase onset.The classical well-posedness of a fast diffusion approximation to the concerned free boundary value problems is proved. The analysis is performed via a singular change of variables leading to a singular system in a fixed domain. An existence and regularity theory for classical solutions is developed for the relevant underlying class of singular elliptic boundary value problems and is then used to prove the well-posedness for the models considered in which these are coupled to Hamilton-Jacobi or to parabolic evolution equations.     

Module structure of the free Lie ring on three generators

Let Lⁿ denote the homogeneous component of degree n in the free Lie ring on three generators, viewed as a module for the symmetric group S₃ of all permutations of those generators. This paper gives a Krull-Schmidt Theorem for the LⁿL^n: if n > 1n>1 and Lⁿ is written as a direct sum of indecomposable submodules, then the summands come from four isomorphism classes, and explicit formulas for the number of summands from each isomorphism class show that these multiplicities are independent of the decomposition chosen.¶A similar result for the free Lie ring on two generators was implicit in a recent paper of R.M. Bryant and the second author. That work, and its continuation on free Lie algebras of prime rank p over fields of characteristic p, provide the critical tools here. The proof also makes use of the identification of the isomorphism types of \Bbb Z \Bbb Z -free indecomposable \Bbb Z S ₃\Bbb Z S _3-modules due to M. P. Lee. (There are, in all, ten such isomorphism types, and in general there is no Krull-Schmidt Theorem for their direct sums.)