On Ω-closed sets and Ωs-closed sets in topological spaces

Summary New classes of sets called -closed sets and s-closed sets are introduced and studied. Also, we introduce and study -continuous functions and s-continuous functions and prove pasting lemma for these functions. Moreover, we introduce classes of topological spaces -T_1/2 and -T_s.     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Cohomological characterization of pseudoconvexity in a Banach space

Let X be a Banach space with a countable unconditional basis (e.g., X=₂), X open. We show that is pseudoconvex if and only if for each affine complex line L in X the sheaf cohomology group H ¹ (,I) vanishes, where I is the ideal sheaf of all holomorphic functions on that vanish on L. We also give an example that the condition H ^q (,)=0 for all q1 unlike in finite dimensions does not imply the pseudoconvexity of . Lastly, we prove an interpolation result. Mathematics Subject Classification (2002): 32T05, 46G20.     

Triangular extension identities

It is shown that if the - -bimodule M generates a category of - -bimodules, then the ideal of identities of the triangular extension of the direct sum of algebras and by means of the bimodule M is equal to the product of ideals of identities of the algebras and .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 132, pp. 5–11, 1983.     

The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets

Using combinatorial and model-theoretic means, we examine the structure of normal subgroup lattices N(A()) of 2-transitive automorphism groups A() of infinite linearly ordered sets (, ). Certain natural sublattices of N(A()) are shown to be Stone algebras, and several first order properties of their dense and dually dense elements are characterized within the Dedekind-completion of (, ). As a consequence, A() has either precisely 5 or at least 2²¹ (even maximal) normal subgroups, and various other group- and lattice-theoretic results follow.     

Projections on Lp-spaces of polyanalytic functions

The fundamental result: for an arbitrary bounded, simply connected domain in , the subspace L_n,m ^p() of the space L^p(, ) ( is the plane Lebesgue measure, p 1), consisting of the (m, n)-analytic functions in , is complemented in LP(, ) (a function f is said to be (m, n)-analytic if (^m+n/¯Z^mZⁿ)f=0 in ). Consequently, by virtue of a theorem of J. Lindenstrauss and A. Pelczyski, the space L_n,m ^P() is linearly homeomorphic to lP. In particular, for m=n=1 we obtain that the space of all harmonic L^P-functions in is complemented in L^P(, ). This result has been known earlier only for smooth domains.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 15–33, 1991.     

Graphs of Constant Mean Curvature in Hyperbolic Space

We study the problem of finding constant mean curvature graphsover a domain of a totally geodesic hyperplane andan equidistant hypersurface Q of hyperbolic space. We findthe existence of graphs of constant mean curvature H overmean convex domains Q and with boundary for –H < H |h|, where H > 0 is the mean curvature of the boundary . Here h is the mean curvature respectively of the geodesic hyperplane (h= 0) and of the equidistant hypersurface (0 < |h|< 1). The lower bound on H is optimal.     

Variational problems in SBV and image segmentation

We show how it is possible to prove the existence of solutions of the Mumford-Shah image segmentation functional F(u,K) = _\K [u² + (u – g)²]dx + ^{n – 1}(K), u W ^1,2(\K), K closed in .We use a weak formulation of the minimum problem in a special class SBV() of functions of bounded variation. Moreover, we also deal with the regularity of minimizers and the approximation of F by elliptic functionals defined on Sobolev spaces. In this paper, we have collected the main results of Ambrosio and others.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

A weighted Poincaré inequality and removable singularities for harmonic maps

We give a sufficient condition on a closed subset R ⁿ for the weighted Poincaré inequality (1.5) below to be valid. As an application, we prove that, for any 2p<n and any such closed subset R ⁿ , if uC ¹( , N) W ^1,p (, N) is a stationary p-harmonic map such that |Du| ^p (x) dx is sufficiently small, then uC ¹(, N). This extends previously known removal singularity theorems for p-harmonic maps. Mathematics Subject Classification (2000):58E20, 58J05, 35J60This revised version was published online in September 2003 with a corrected date of receipt of the article.     

Central orderings in fields of real meromorphic function germs

Let X_oR ⁿ be an irreducible analytic germ and the order space of its field of meromorphicfunetion germs. A formal half-branch in X_o is a kind of C-map germ c[0,)X_o; an ordering is centered at c if it contains the functions which are positive on c. We obtain a partition ¹,...,^d, d=dim X_o, of the set ^* of central (i.e.: centered at some half-branch) orderings, according to the dimension of half-branches. Then we show that all ^e, e= 1,.,d, as well as the set \^* of noncentral orderings, are dense in . Finally, we solve the 17th Hubert Problem for analytic germs.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

Homogenization of Some Elasticity Problems with Rapidly Oscillating Convex Constraints on Displacements

The problem of homogenization is considered for an elastic body occupying a perforated domain = obtained from a fixed domain and an -contraction of a 1-periodic domain .     

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.     

Mean value iterations for nonlinear elliptic Cauchy problems

Summary. We investigate the Cauchy problem for a class of nonlinear elliptic operators with C –coefficients at a regular set ⁿ . The Cauchy data are given at a manifold and our goal is to reconstruct the trace of the H ¹ () solution of a nonlinear elliptic equation at /. We propose two iterative methods based on the segmenting Mann iteration applied to fixed point equations, which are closely related to the original problem. The first approach consists in obtaining a corresponding linear Cauchy problem and analyzing a linear fixed point equation; a convergence proof is given and convergence rates are obtained. On the second approach a nonlinear fixed point equation is considered and a fully nonlinear iterative method is investigated; some preliminary convergence results are proven and a numerical analysis is provided. On leave from Department of Mathematics, Federal University of St.,Catarina, P.O. Box 476, 88010-970 Florianópolis, BrazilSupported by FWF project F–1308 within Spezialforschungsbereich 13     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

On the singular set and the uniqueness of weak solutions of the Navier-Stokes equations

We study regularity properties of weak solutions of the eqns. of Navier-Stokes which are in L((O,T),Lⁿ()) or in LP((O,T),Lⁿ()) for some p2. We prove also that L((O,T), Lⁿ()) is a uniqueness class for weak solutions. Moreover we give a generalization of Serrin's uniqueness result.     

Polyhedral polarity defined by a general bilinear inequality

LetX andY be finite dimensional vector spaces over the real numbers. Let be a binary relation betweenX andY given by a bilinear inequality. The-polar of a subsetP ofX is the set of all elements ofY which are related by to all elements ofP. The-polar of a subset ofY is defined similarly. The-polar of the-polar ofP is called the-closure ofP andP is called-closed ifP equals its-closure. We describe the-polar of any finitely generated setP as the solution set of a finite system of linear inequalities and describe the-closure ofP as a finitely generated set. The-closed polyhedra are characterized in terms of defining systems of linear inequalities and also in terms of the relationship of the polyhedronP with its recessional cone and with certain subsets ofX andY determined by the relation. Six classes of bilinear inequalities are distinguished in the characterization of-closed polyhedra.     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).