Maximal polynomial subordination to univalent functions in the unit disk

Let C be a simply connected domain, 0, and let _n,nN, be the set of all polynomials of degree at mostn. By _n() we denote the subset of polynomials p _n withp(0)=0 andp(D), whereD stands for the unit disk {z: |z|<1}, and=" by=">we denote the maximal range of these polynomials. Letf be a conformal mapping fromD onto ,f(0)=0. The main theme of this note is to relate _n (or some important aspects of it) to the imagesf _s (D), wheref _s (z):=f[(1–s)z], 0s<1. for=" instance=" we=" prove=" the=" existence=" of=" a=" universal=">c ₀ such that, forn2c ₀,     

Some counterexamples for the theory of sobolev spaces on bad domains

It is shown that some well-known properties of the Sobolev spaceL _p ^l () do not admit extension to the spaceL _p ^l () of the functions withl-th order derivatives inL _p (),l>1, without requirements to the domain . Namely, we give examples of such that

The commutant of rationally cyclic subnormal operators and rational approximation

Let denote the set of analytic bounded point evaluations forR ^q (K, ). Assume that . In this paper, we first show that if is a finitely connected domain and if the evaluation map fromR ^q (K, )L () toH () is surjective, then | is absolutely continuous with respect to harmonic measure for . This generalizes Olin and Yang's corresponding result for polynomials and the proof we present here is simpler. We also provide an example that shows this absolute continuity property fails in general when is an infinitely connected domain. In the second part, we then offer a solution to a problem of Conway and Elias.     

Partially ordered permutation groups

In this note we discuss permutation groups (G, ) in which the set admits aG-invariant order. By aG-invariant partial order (G-partial order) we mean a partial order < of such that < implies g<g, for all and in andg inG. If the set admits aG-partial order which is a total order, then (G, ) is an O-permutation group (orderable permutation group).The main concern of this paper is the development of a foundation for partially ordered permutation groups analogous to the existing one for partially ordered groups, as found in Fuchs [2].     

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)¦.     

On polynomial variance functions

Summary Let be a natural exponential family on and (V, ) be its variance function. Here, is the mean domain of andV, defined on , is the variance of . A problem of increasing interest in the literature is the following: Given an open interval and a functionV defined on , is the pair (V, ) a variance function of some natural exponential family? Here, we consider the case whereV is a polynomial. We develop a complex-analytic approach to this problem and provide necessary conditions for (V, ) to be such a variance function. These conditions are also sufficient for the class of third degree polynomials and certain subclasses of polynomials of higher degree.     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

Nonlocal problems in the theory of the motion equations of Kelvin-Voight fluids

For the motion equations of Kelvin-Voight fluids one proves: 1) a global theorem for the existence and uniqueness of a solution (v;{u_e}) of the initial-boundary value problem on the semiaxis t R⁺ from the class W ¹ (R⁺); W ₂ ² () H()) with initial condition v_o(x) W ₂ ² () H() when the right-hand side f(x, t) L(R ⁺; L₂()); 2) a global theorem for the existence and uniqueness of a solution (v; {u_l}) on the entire axisR from the classW ¹ (R; W ₂ ² () H()) when the right-hand side f(x, t) L(R; L₂()); 3) a global theorem for the existence of at least one solution (v; {u_l}), periodic with respect to t with period , from the class W ¹ (R ⁺; W ₂ ² () H()) when the right-hand side f(x, t) L(R ⁺; L₂()) is periodic with respect to t with period , and a local uniqueness theorem for such a solution; 4) a theorem for the existence and uniqueness in the small of a solution (v; {u_l}), almost periodic with respect to t R, from V. V. Stepanov's class S ¹ (R; W ₂ ² ()H()) when the right-hand side f(x, t) S(R; L₂()) is almost periodic with respect to t; 5) the linearization principle (Lyapunov's first method) is justified in the theory of the exponential stability of the solutions of an initial-boundary value problem in the space H() and conditions are given for the exponential stability of a stationary and periodic solution, with respect to t R, of the system (1).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 181, pp. 146–185, 1990.     

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.     

On monotone extensions of boundary data

Summary A functionf C (), is called monotone on if for anyx, y the relation x – y ₊ ^s impliesf(x)f(y). Given a domain with a continuous boundary and given any monotone functionf on we are concerned with the existence and regularity ofmonotone extensions i.e., of functionsF which are monotone on all of and agree withf on . In particular, we show that there is no linear mapping that is capable of producing a monotone extension to arbitrarily given monotone boundary data. Three nonlinear methods for constructing monotone extensions are then presented. Two of these constructions, however, have the common drawback that regardless of how smooth the boundary data may be, the resulting extensions will, in general, only be Lipschitz continuous. This leads us to consider a third and more involved monotonicity preserving extension scheme to prove that, when is the unit square [0, 1]² in ², strictly monotone analytic boundary data admit a monotone analytic extension.Research supported by NSF Grant 8922154Research supported by DARPA: AFOSR #90-0323     

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.     

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.     

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 Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

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.     

Strong solution for an elastic-plastic plate

Given a regular bounded open set R ²,, >0 andg L ^q () withq>2, we prove, under compatibility and safe load conditions ong, the existence of a minimizing pair for the functional, over closed setsK ² and functionsu C⁰( ) C²(/K); here ¦[Du]¦ denotes the jump ofDu acrossK and ¹ is the 1-dimensional Hausdorff measure.Dedicated to Enrico Magenes for his 70th birthday     

Wave operators in a multistratified strip

One investigates the scattering theory for the positive self-adjoint operatorH=–· acting in with = × and a bounded open set in ^n–1,n2. The real-valued function belongs toL (), is bounded from below byc>0 and there exist real-valued functions ₁ and ₂ inL () such that – _j ,j=1,2 is a short range perturbation of _j when (–1) ^j x _n +. One assumes _j = ^(j) 1_R,j=1,2, with ^(j) L bounded from below byc>0. One proves the existence and completeness of the generalized wave operators _j ^± =s – _j e ^–itHj ,j=1,2, withH _j =–· _j and _j : equal to 1 if (–1) ^j x _n >0 and to 0 if (–1) ^j x _n <0. The ranges ofW _j ^± :=( _j ^± )^* are characterized so that W ₁ ^± =Ran and . The scattering operator can then be defined.     

A study of semiiterative methods for nonsymmetric systems of linear equations

Summary Given a nonsingular linear systemA x=b, a splittingA=M–N leads to the one-step iteration (1)x _m =T X _m–1 +c withT:=M ^–1N andc:=M ^–1 b. We investigate semiiterative methods (SIM's) with respect to (1), under the assumption that the eigenvalues ofT are contained in some compact set of , with 1. There exist SIM's which are optimal with respect to , but, except for some special sets , such optimal methods are not explicitly known in general. Using results about maximal convergence of polynomials and uniformly distributed nodes from approximation and function theory, we describe here SIM's which are asymptotically optimal with respect to . It is shown that Euler methods, extensively studied by Niethammer-Varga [NV], are special SIM's. Various algorithms for SIM's are also derived here. A 1-1 correspondence between Euler methods and SIM's, generated by generalized Faber polynomials, is further established here. This correspondence gives that asymptotically optimal Euler methods are quite near the optimal SIM's.Dedicated to Professor Karl Zeller (Universität Tübingen) on the occasion of his sixtieth birthday (December 28, 1984)     

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.