We consider the problem of minimizing the energy of the maps from the annulus to such that is equal to for , and to , for , where is a fixed angle.
We prove that the minimum is attained at a unique harmonic map which is a planar map if , while it is not planar in the case \pi^2$">.
Moreover, we show that tends to as , where minimizes the energy of the maps from to , with the boundary condition , .
For an element of a commutative complex Banach algebra we investigate the following property: every complete norm on making the multiplication by from to itself continuous is equivalent to .
A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.
The author discusses the semilinear parabolic equation with . Under suitable assumptions on and , he proves that, if with , then the solutions are global, while if with 1$">, then the solutions blow up in a finite time, where is a positive solution of , with .
Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case
Let be an infinite set, a set of pseudo-metrics on and If is limited (finite) for every and every then, for each we can define a pseudo-metric on by writing st We investigate the conditions under which the topology induced on by has a basis consisting only of standard sets. This investigation produces a theory with a variety of applications in functional analysis. For example, a specialization of some of our general results will yield such classical compactness theorems as Schauder's theorem, Mazur's theorem, and Gelfand-Philips's theorem.
A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.
We prove that a Banach space has the compact range property (CRP) if and only if, for any given -algebra , every absolutely summing operator from into is compact. Related results for -summing operators () are also discussed as well as operators on non-commutative -spaces and -summing operators.
Given an affine projection of a -polytope onto a polygon , it is proved that the poset of proper polytopal subdivisions of which are induced by has the homotopy type of a sphere of dimension if maps all vertices of into the boundary of . This result, originally conjectured by Reiner, is an analogue of a result of Billera, Kapranov and Sturmfels on cellular strings on polytopes and explains the significance of the interior point of present in the counterexample to their generalized Baues conjecture, constructed by Rambau and Ziegler.
Given a topological system on a -compact Hausdorff space and its factor we show the existence of a largest topological factor containing such that for each -invariant measure , . When a relative variational principle holds, .
Let be a monic polynomial of degree , with complex coefficients, and let be its monic factor. We prove an asymptotically sharp inequality of the form , where denotes the sup norm on a compact set in the plane. The best constant in this inequality is found by potential theoretic methods. We also consider applications of the general result to the cases of a disk and a segment.
Let be a generalized frame in a separable Hilbert space indexed by a measure space , and assume its analysing operator is surjective. It is shown that is essentially discrete; that is, the corresponding index measure space can be decomposed into atoms such that is isometrically isomorphic to the weighted space of all sequences of complex numbers with , where This provides a new proof for the redundancy of the windowed Fourier transform as well as any wavelet family in .
The best available definition of a subset of an infinite dimensional, complete, metric vector space being ``small' is Christensen's Haar zero sets, equivalently, Hunt, Sauer, and Yorke's shy sets. The complement of a shy set is a prevalent set. There is a gap between prevalence and likelihood. For any probability on , there is a shy set with . Further, when is locally convex, any i.i.d. sequence with law repeatedly visits neighborhoods of only a shy set of points if the neighborhoods shrink to at any rate.
A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .
The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .