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.     

An embedding theorem for a limiting exponent

We consider the function space B _p ^l () of functionsf(x), defined on the domain of a certain class and characterized by specific differential-difference properties in L_p(). We prove a theorem on the embedding B _p,q ^l () L_q in the case whenl=n/p –n/q >0 and its generalization for vectorl, p, q.Translated from Matematicheski Zametki, Vol. 6, No. 2, pp. 129–138, August, 1969.     

Extremal problems of Bloch function spaces

Letf be analytic in a hyperbolic region . The Bloch constant _f off is defined by , where (z)|dz| is the Poincaré metric in . Suppose is hyperbolic and where . Then for allf withf() , we have _f 1/(). In this paper we study the extremal functions defined by _f =1/() and the existence of those functions.Supported by the National Natural Science Foundation of China.     

Reinforcement problems for elliptic equations and variational inequalities

Summary Consider the Dirichlet problem for an elliptic equation in a domain , with coefficients having discontinuity on a surface . Suppose divides into _{1 2}(₂ the inner core), the thickness of ₁ is of order of magnitude , and the modulus of ellipticity in ₁ is of order magnitude ₁. The asymptotic behavior of the solution is studied as 0, ₁ 0, provided lim (/₁) exists. Other questions of this type are studied both for elliptic equations and for elliptic variational inequalities.The second author is partially supported by National Science Foundation Grant 7406375 A01. The third author is partially supported by National Science Foundation Grant MC575-21416 A01.     

Vector Valued Differentiation Theorems for Multiparameter Additive Processes in Lp Spaces

Let X be a Banach space and (,,µ) be a -finite measure space. We consider a strongly continuous d-dimensional semigroup T={T(u):u=(u₁,..., u_d, u_i >0, 1 i d} of linear contractions on L_p((,,µ); X), with 1 p<. In this paper differentiation theorems are proved for d-dimensional bounded processes in L_p((,,µ); X) which are additive with respect to T. In the theorems below we assume that each T(u) possesses a contraction majorant P(u) defined on L_p((,,µ); R), that is, P(u) is a positive linear contraction on L_p((,,µ); R) such that T(u)f(w) P(u)f(·)() almost everywhere on for all f L_p((,,µ); X).     

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.     

Annihilating properties of convolution operators on complex spheres

Summary This paper studies annihilating properties of operators generated by spherical convolution over the unit sphere _2q of C^q. Its specific aim is to answer the following question: given a complex number , ||1, to determine what functions of L²(_2q) have zero average over every section _w^{,q :=}{ z _2q: <z,w> = } of _2q . Here, <.,.>stands for the usual inner product of C^q.     

On semiregular conditional distributions

Let (,A,P) denote some probability space and some sub--algebra ofA. It is shown that there exists a semiregular versionQ (A),A, , of the conditional distributionP(A|), AA, i.e., Q (A), (AA fixed) is andAQ (A),AA ( fixed), is a probability charge satisfyingQ (N)=0, , for allP-zero setsN, if and only ifL ₁(,P|) has a lifting, which exists for any sub--algebra ofA ifL ₁(,A P) is separable. Separability ofL ₁(,A,P) implies also the existence of a strongly semiregular versionQ (A),A, , ofP(A|), A , i.e., Q (A), (AA fixed), is -measurable andAQ (A),A ( fixed), is a probability charge. Furthermore,P can be written as P ₁+(1–)P ₂, 01, whereP ₁ are probability measures onA such thatP ₁(A|),AA, has a semiregular version vanishing for anyP-zero setN andP ₂ is singular with respect to any probability measure onA of the type ofP ₁. In the case 0<<1 the probability measuresP _j ,j=1, 2, are uniquely determined. The decomposition can be carried over to the case, where the additional condition thatQ (N)=0 for all and anyP-zero setN is valid, is omitted respectively semiregularity is replaced by (i) strong semiregularity, or (ii) classical regularity. In the last mentioned case (ii) the decomposition is multiplicative.     

Lattice Fully Orderable Groups

Let be a linearly ordered set, A() be the group of all order automorphisms of , and L() be a normal subgroup of A() consisting of all automorphisms whose support is bounded above. We argue to show that, for every linearly ordered set such that: (1) A() is an o-2-transitive group, and (2) contains a countable unbounded sequence of elements, the simple group A()/L() has exactly two maximal and two minimal non-trivial (mutually inverse) partial orders, and that every partial order of A()/L() extends to a lattice one (Thm. 2.1). It is proved that every lattice-orderable group is isomorphically embeddable in a simple lattice fully orderable group (Thm. 2.2). We also state that some quotient groups of Dlab groups of the real line and unit interval are lattice fully orderable (Thms. 3.1 and 3.2).     

Theory of multiple j-elementary matrix-valued functions with a pole at the boundary of the unit circle

The theory of a matrix-valued function (), j-elementary in the unit circle and having a pole at the point ₀, ¦₀¦=1, on the boundary of the unit circle, is considered. The structure of () is determined, conditions for the splittingoff of () from an arbitrary matrix-valued function W(), j-expanding in ¦|< 1, are formed, a theorem on the parametrization of a j-elementary matrix-valued function () of full rank is proved, and a decomposition of () of full rank into the product of parametrized j-elementary factors of full rank with simple poles at the point ₀ is found.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 50, pp. 62–74, 1988.     

Convexity theories III. Classification of certain real convexity theories

In this paper we classify all real convexity theories that contain the standard convexity theory _c. For this purpose we consider three subcases: finitary; infinitary and (_sc\_c)Ø; infinitary and _sc=_c. In each of these subcases one encounters a phenomenon resembling bifurcation.This research was supported by the Deutsche Forschungsgemeinschaft.     

Extensions from the Sobolev Spaces H 1 Satisfying Prescribed Dirichlet Boundary Conditions

Extensions from H ¹(_P) into H ¹() (where _P ) are constructed in such a way that extended functions satisfy prescribed boundary conditions on the boundary of . The corresponding extension operator is linear and bounded.     

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.     

On Central Endomorphisms of a Group with Operators

Let G be a group with a set of operators such that Z(G) is -admissible. Central -automorphisms occur in the Krull-Remak-Schmidt Theorem. We discuss the existence of a central -endomorphism of G that is not an automorphism.2000 Mathematics Subject Classification: 20E36     

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.     

Asymptotic behavior of the spectrum of the Maxwell operator

For the distribution functions of the positive and the negative eigenvalues of the operator in a domain with a smooth boundary, one obtains the asymptotic formula N^±()=(3²)^–1 mes ·³+0(²). Under additional assumptions on the properties of the geodesic billiard in , one shows that N±()= (3²)^–1 mes ·³+0(²).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 127, pp. 169–180, 1983.     

Runge property and multiplicity of solutions for elliptic equations in ℝN with a monotone nonlinearity

In this paper, we describe a method for extending (in some approximated sense) solutions of a nonlinear P.D.E. on a domain , to solutions in a domain containing . Such an extension property, the Runge property, is well known for a large class of linear problems including elliptic equations. We prove here the Runge property for semilinear problems of the kind -u+g(u)=f, with f L _loc ¹ (^N). (As a consequence, we get infinitely many solutions for these problems). The proof is based on a homotopy method, and requires a refinement of the linear results: We prove that the Runge extension v on of a solution u in for a linear elliptic equation Lu=f can be choosen in order to depend continuously on u and the coefficients of L.     

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.     

A priori-Schranken für diskrete Lösungen monotoner Operatorgleichungen und Anwendungen

Summary Operator equationsTu=f are approximated by Galerkin's method, whereT is a monotone operator in the sense of Browder and Minty, so that existence results are available in a reflexive Banach spaceX. In a normed spaceY error estimates are established, which require a priori bounds for the discrete solutionsu _h in the norm of a suitable space . Sufficient conditions for the uniform boundedness u _{h Z} =O(1) ash0 are proved. Well-known error estimates in [3] for the special caseX=Y=Z are generalized by this. The theory is applied to quasilinear elliptic boundary value problems of order 2m in a bounded domain . The approximating subspaces are finite element spaces. Especially the caseX=W ₀ ^{m, p} (), 1<p<,Y=W ₀ ^{m. 2} (),Z=W ₀ ^{m. max (2,p)} ()W^m, () is treated. Some examples for 1<p<2 are considered. Forp2 a refined technique is introduced in the author's paper [7].

     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.