Universal factorization property of certain polycyclic groups

Let H be a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group. Let G be any group with maximal condition. We show that there exists a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group and an epimorphism such that for any homomorphism ?:G→H, it factors through , i.e., there exists a homomorphism such that . We show that this factorization property cannot be extended to any finitely generated group G. As an application of factorization, we give necessary and sufficient conditions for N(f,g)=R(f,g) to hold for maps f,g:X→Y between closed orientable n-manifolds where π₁(X) has the maximal condition, Y is an infra-solvmanifold, N(f,g) and R(f,g) denote the Nielsen and Reidemeister coincidence numbers, respectively.     

Comparison of means generated by two functions and a measure

Given two continuous functions f,g:I→R such that g is positive and f/g is strictly monotone, and a probability measure μ on the Borel subsets of [0,1], the two variable mean Mf,g;μ:I²→I is defined by

     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups II

Let R be a compact, connected, orientable surface of genus g with p boundary components. Let C(R) be the complex of curves on R and be the extended mapping class group of R. Suppose that either g=2 and p?2 or g?3 and p?0. We prove that a simplicial map is superinjective if and only if it is induced by a homeomorphism of R. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of R and f has a unique extension to an automorphism of . This extends the author's previous results about closed connected orientable surfaces of genus at least 3, to the surface R.     

Approximation of the semigroup generated by the Robin Laplacian in terms of the Gaussian semigroup

We consider the Laplacian ΔR subject to Robin boundary conditions on the space , where Ω is a smooth, bounded, open subset of RN. It is known that ΔR generates an analytic contraction semigroup. We show how this semigroup can be obtained from the Gaussian semigroup on C₀(RN) via a Trotter formula. As the main ingredient, we construct a positive, contractive, linear extension operator Eβ from to C₀(RN) which maps an operator core for ΔR into the domain of the generator of the Gaussian semigroup.     

Coincidence Nielsen numbers for covering maps for smooth manifolds

Let be maps between closed smooth manifolds of the same dimension, and let and be finite regular covering maps. If the manifolds are nonorientable, using semi-index, we introduce two new Nielsen numbers. The first one is the Linear Nielsen number NL(f,g), which is a linear combination of the Nielsen numbers of the lifts of f and g. The second one is the Nonlinear Nielsen number NED(f,g). It is the number of certain essential classes whose inverse images by p are inessential Nielsen classes. In fact, N(f,g)=NL(f,g)+NED(f,g), where by abuse of notation, N(f,g) denotes the coincidence Nielsen number defined using semi-index.     

On the Ricci and Einstein equations on the pseudo-euclidean and hyperbolic spaces

We consider tensors T=fg on the pseudo-euclidean space Rn and on the hyperbolic space Hn, where n?3, g is the standard metric and f is a differentiable function. For such tensors, we consider, in both spaces, the problems of existence of a Riemannian metric , conformal to g, such that , and the existence of such a metric which satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability and we construct the solutions when they exist. We show that these metrics are unique up to homothety, we characterize those globally defined and we determine the singularities for those which are not globally defined. None of the non-homothetic metrics , defined on Rn or Hn, are complete. As a consequence of these results, we get positive solutions for the equation , where g is the pseudo-euclidean metric.     

Notes on ordered reproducing Hilbert spaces over the complex plane

Let f, g be entire functions. If there exist M₁,M₂>0 such that |f(z)|?M₁|g(z)| whenever |z|>M₂ we say that f?g. Let X be a reproducing Hilbert space with an orthogonal basis . We say that X is an ordered reproducing Hilbert space (or X is ordered) if f?g and g∈X imply f∈X. In this note, we show that if then X is ordered; if then X is not ordered. In the case , there are examples to show that X can be of order or opposite.     

A non-linear structure preserving matrix method for the low rank approximation of the Sylvester resultant matrix

A non-linear structure preserving matrix method for the computation of a structured low rank approximation of the Sylvester resultant matrix S(f,g) of two inexact polynomials f=f(y) and g=g(y) is considered in this paper. It is shown that considerably improved results are obtained when f(y) and g(y) are processed prior to the computation of , and that these preprocessing operations introduce two parameters. These parameters can either be held constant during the computation of , which leads to a linear structure preserving matrix method, or they can be incremented during the computation of , which leads to a non-linear structure preserving matrix method. It is shown that the non-linear method yields a better structured low rank approximation of S(f,g) and that the assignment of f(y) and g(y) is important because may be a good structured low rank approximation of S(f,g), but may be a poor structured low rank approximation of S(g,f) because its numerical rank is not defined. Examples that illustrate the differences between the linear and non-linear structure preserving matrix methods, and the importance of the assignment of f(y) and g(y), are shown.     

An application of anisotropic regularization to the existence of weak Pareto minimal points

Given a function f on Rⁿ, we introduce the concept of anisotropic regularization as a generalization of Tikhonov regularization f_ε(x)=f(x)+εx. When f is a continuous -function on Rⁿ and K is a box in Rⁿ, we study the properties of and the limiting behavior of solutions of a regularized box variational inequality problem , with emphasis on the existence of weak Pareto minimal points with respect to K. This work generalizes results of Sznajder and Gowda (1998) proved in the setting of nonlinear complementarity problems.     

Regularizations of products of residue and principal value currents

Let f₁ and f₂ be two functions on some complex n-manifold and let φ be a test form of bidegree (n,n−2). Assume that (f₁,f₂) defines a complete intersection. The integral of φ/(f₁f₂) on {²|f₁|=?₁,²|f₂|=?₂} is the residue integral . It is in general discontinuous at the origin. Let χ₁ and χ₂ be smooth functions on [0,∞] such that χj(0)=0 and χj(∞)=1. We prove that the regularized residue integral defined as the integral of , where χj=χj(²|fj|/?j), is Hölder continuous on the closed first quarter and that the value at zero is the Coleff-Herrera residue current acting on φ. In fact, we prove that if φ is a test form of bidegree (n,n−1) then the integral of is Hölder continuous and tends to the -potential of the Coleff-Herrera current, acting on φ. More generally, let f₁ and f₂ be sections of some vector bundles and assume that f₁⊕f₂ defines a complete intersection. There are associated principal value currents Uf and Ug and residue currents Rf and Rg. The residue currents equal the Coleff-Herrera residue currents locally. One can give meaning to formal expressions such as e.g. Uf∧Rg in such a way that formal Leibnitz rules hold. Our results generalize to products of these currents as well.     

A remark on Ricceri's conjecture for a class of nonlinear eigenvalue problems

Consider the eigenvalue problem : −Δu=λf(x,u) in Ω, u=0 on ∂Ω, where Ω is a bounded smooth domain in RN. Denote by the set of all Carathéodory functions f:Ω×R→R such that for a.e. x∈Ω, f(x,⋅) is Lipschitzian with Lipschitz constant L, f(x,0)=0 and , and denote by (resp. ) the set of λ>0 such that has at least one nonzero classical (resp. weak) solution. Let λ₁ be the first eigenvalue for the Laplacian-Dirichlet problem. We prove that and . Our result is a positive answer to Ricceri's conjecture if use f(x,u) instead of f(u) in the conjecture.     

Asymptotically stable sets and the stability of ω-limit sets

Let C be the collection of continuous self-maps of the unit interval I=[0,1] to itself. For f∈C and x∈I, let ω(x,f) be the ω-limit set of f generated by x, and following Block and Coppel, we take Q(x,f) to be the intersection of all the asymptotically stable sets of f containing ω(x,f). We show that Q(x,f) tells us quite a bit about the stability of ω(x,f) subject to perturbations of either x or f, or both. For example, a chain recurrent point y is contained in Q(x,f) if and only if there are arbitrarily small perturbations of f to a new function g that give us y as a point of ω(x,g). We also study the structure of the map Q taking (x,f)∈I×C to Q(x,f). We prove that Q is upper semicontinuous and a Baire 1 function, hence continuous on a residual subset of I×C. We also consider the map given by x?Q(x,f), and find that this map is continuous if and only if it is a constant map; that is, only when the set is a singleton.     

Soluble groups with their centralizer factor groups of bounded rank

For a group class X, a group G is said to be a CX-group if the factor group G/C_G(g^G)∈X for all g∈G, where C_G(g^G) is the centralizer in G of the normal closure of g in G. For the class F_f of groups of finite order less than or equal to f, a classical result of B.H. Neumann [Groups with finite classes of conjugate elements, Proc. London Math. Soc. 1 (1951) 178-187] states that if G∈CF_f, the commutator group G^′ belongs to F_f^′ for some f^′ depending only on f. We prove that a similar result holds for the class , the class of soluble groups of derived length at most d which have Prüfer rank at most r. Namely, if , then for some r^′ depending only on r. Moreover, if , then for some r^′ and f^′ depending only on r,d and f.     

Composition operators on Lizorkin-Triebel spaces

This paper is devoted to the study of the composition operator Tf(g):=f○g on Lizorkin-Triebel spaces . In case s>1+(1/p), 1<p<∞, and 1?q?∞ we will prove the following: the operator Tf takes to itself if and only if f(0)=0 and f belongs locally to .     

Boundedness and unboundedness results for some maximal operators on functions of bounded variation

We characterize the space BV(I) of functions of bounded variation on an arbitrary interval I⊂R, in terms of a uniform boundedness condition satisfied by the local uncentered maximal operator MR from BV(I) into the Sobolev space W1,1(I). By restriction, the corresponding characterization holds for W1,1(I). We also show that if U is open in Rd, d>1, then boundedness from BV(U) into W1,1(U) fails for the local directional maximal operator , the local strong maximal operator , and the iterated local directional maximal operator . Nevertheless, if U satisfies a cone condition, then boundedly, and the same happens with , , and MR.     

Sum of graphs of continuous functions and boundedness of additive operators

Assume that and are uniformly continuous functions, where D₁,D₂⊂X are nonempty open and arc-connected subsets of a real normed space X. We prove that then either f and g are affine functions, that is f(x)=x^∗(x)+a and g(x)=x^∗(x)+b with some x^∗∈X^∗ and a,b∈R or the algebraic sum of graphs of functions f and g has a nonempty interior in a product space X×R treated as a normed space with a norm .