Harmonic maps between annuli on Riemann surfaces

Let ρ _Σ = h(|z|²) be a metric in a Riemann surface Σ, where h is a positive real function. Let H _{r 1} = {w = f(z)} be the family of a univalent ρ _Σ harmonic mapping of the Euclidean annulus A(r ₁, 1):= {z: r ₁ < |z| < 1} onto a proper annulus A _Σ of the Riemann surface Σ, which is subject to some geometric restrictions. It is shown that if A _Σ is fixed, then sup{r ₁: ℋ _{r 1} ≠ ∅} < 1. This generalizes similar results from the Euclidean case. The cases of Riemann and of hyperbolic harmonic mappings are treated in detail. Using the fact that the Gauss map of a surface with constant mean curvature (CMC) is a Riemann harmonic mapping, an application to the CMC surfaces is given (see Corollary 3.2). In addition, some new examples of hyperbolic and Riemann radial harmonic diffeomorphisms are given, which have inspired some new J. C. C. Nitsche-type conjectures for the class of these mappings.     

On the Nitsche conjecture for harmonic mappings in ℝ<Superscript>2</Superscript> and ℝ<Superscript>3</Superscript>

We give the new inequality related to the J. C. C. Nitsche conjecture (see [6]). Moreover, we consider the two- and three-dimensional case. LetA(r, 1)={z:r<|z|<1}. Nitsche's conjecture states that if there exists a univalent harmonic mapping from an annulusA(r, 1), to an annulusA(s, 1), thens is at most 2r/(r ²+1).Lyzzaik's result states thats<t wheret is the length of the Grötzsch's ring domain associated withA(r, 1) (see [5]). Weitsman's result states thats≤1/(1+1/2(r logr)²) (see [8]).Our result for two-dimensional space states thats≤1/(1+1/2 log² r) which improves Weitsman's bound for allr, and Lyzzaik's bound forr close to 1. For three-dimensional space the result states thats≤1/(r?logr).     

A reverse Denjoy theorem

Suppose that C₁ and C₂ are two simple curves joining 0 to ,non-intersecting in the finite plane except at 0 and enclosinga domain D which is such that, for all large r, has measure at most 2, where 0 < < .Suppose also that u is a non-constant subharmonic function inthe plane such that u(z) = B(|z|, u) for all large z C₁ C₂.Let A_D(r, u) = inf { u(z):z D and | z | = r }. It is shownthat if A_D(r, u) = O(1) (or A_D(r, u) = o(B(r, u))), then lim_r B(r, u)/r^/2 > 0 (or lim_r log B(r, u)/log r /2).     

A slight improvement to Korenblum's constant

Let A²(D) be the Bergman space over the open unit disk D in the complex plane. Korenblum conjectured that there is an absolute constant c∈(0,1) such that whenever |f(z)|?|g(z)| in the annulus c<|z|<1, then ‖f(z)‖?‖g(z)‖. This conjecture had been solved by Hayman [W.K. Hayman, On a conjecture of Korenblum, Analysis (Munich) 19 (1999) 195-205. [1]], but the constant c in that paper is not optimal. Since then, there are many papers dealing with improving the upper and lower bounds for the best constant c. For example, in 2004 C. Wang gave an upper bound on c, that is, c<0.67795, and in 2006 A. Schuster gave a lower bound, c>0.21. In this paper we slightly improve the upper bound for c.     

On the Centred Hausdorff Measure

Let v be a measure on a separable metric space. For t, q R,the centred Hausdorff measures µ^h with the gauge functionh(x, r) = r^t(vB(x, r))^q is studied. The dimension defined bythese measures plays an important role in the study of multifractals.It is shown that if v is a doubling measure, then µ^h isequivalent to the usual spherical measure, and thus they definethe same dimension. Moreover, it is shown that this is trueeven without the doubling condition, if q 1 and t 0 or ifq 0. An example in R² is also given to show the surprisingfact that the above assertion is not necessarily true if 0 <q < 1. Another interesting question, which has been askedseveral times about the centred Hausdorff measure, is whetherit is Borel regular. A positive answer is given, using the aboveequivalence for all gauge functions mentioned above.     

Julia Sets of Polynomials are Uniformly Perfect

Let f be a polynomial of degree at least two. We shall showthat the Julia set J(f) of f is uniformly perfect. This meansthat there is a constant c(0,1) depending on f only such thatwhenever zJ(f) and 0 < r < diam J(f) then J(f) intersectsthe annulus {w:cr |w — z| r}.     

Multistep Discretization of Linear Hyperbolic Equations

Order and stability of multistep finite-difference discretizationsof the first-order linear hyperbolic equation u₁ = a(x)u_x areconsidered. We prove that if a stable method uses s upwind andrdownwind points and the coefficients depend only on the Courantnumber and on a(x) and its derivatives at the underlying gridpoint, then the order may not exceed r + s. This bound on orderis exactly half the bound of Strang & Iserles (1983) forconstant a. Furthermore, we prove that if r = s and a(x) isboth uniformly bounded and uniformly positive for x R thenthe new order barrier is attainable for every s 1.     

Interpolation by Polynomials in z and z-1 on an Annulus

A polynomial of degree n in z^–1 and n–1 in z isdefined by an interpolation projection from the space of functionsanalytic in the annulus r|z|R and continuous on its boundary.The points of interpolation are chosen to coincide with then roots of zⁿ=Rⁿeⁱⁿ (0<<2/n) and the n roots of zⁿ=rⁿ.The behaviour of the corresponding Lebesgue function is studied,and an estimate for the operator norm is obtained. The resultsof the present paper give a partial affirmative answer to twoconjectures suggested earlier by Mason on the basis of numericalcomputations.     

On mappings related to the gradient of the conformal radius

We establish a criterion for the gradient ?R(D, z) of the conformal radius of a convex domain D to be conformal: the boundary ?D must be a circle. We obtain estimates for the coefficients K(r) for the K(r)-quasiconformal mappings ?R(D, z), D(r) ? D, 0 < r < 1, and supplement the results of Avkhadiev and Wirths concerning the structure of the boundary under diffeomorphic mappings of the domain D.     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

Bounded-Norm Matrix-Inverse Mappings

This paper introduces the concept of bounded-norm matrix-inversemappings, i.e. mappings µ : R^mxnR^nxm such that, for allnonzero mxn matrices A, the matrix µ(A) is a generalizedinverse of A and ||µ(A)||> k/s(A), where K < 0 isa constant and s(A) is the nonzero singular value of A havingsmallest absolute value. It is shown how the definition of suchmappings is motivated by the need to ensure finite terminationof the inner-iterations of generalized elimination methods forthe solution of nonlinearly constrained optimization problems.The main result of the paper is that the mapping defined byµ(A) = A^b is a bounded-norm matrix-inverse mapping, providedthat the basic inverse A^b is calculated using Gaussian eliminationwith complete pivoting. The concept of bounded-norm matrix-inversemappings is then extended to that of boundednorm least-squaresmatrix-inverse mappings. It is proved that the mapping definedby µ(A) = A^ß is a bounded-norm least-squaresmatrix-inverse mapping, provided that the basic least-squaresinverse A^ß is calculated using the QR decompositionwith column pivoting.     

Nonradial Large Solutions of Sublinear Elliptic Equations

We show that the equation Δu = p(x)f(u) has a positive solution on R ^N , N ≥ 3, satisfying <artwork name="GAPA31011ei1"> <artwork name="GAPA31011ei2"> if and only if <artwork name="GAPA31011ei3"> when ψ(r) = min{p(x): |x| = r}. The nondecreasing continuous function f satisfies f(0) = 0, f (s) > 0 for s > 0, and sup _{s ≥ 1} f(s)/s<∞, and the nonnegative continuous function p is required to be asymptotically radial. This extends previous results which required the function p to be constant or radial.     

One Cubic Diophantine Inequality

Suppose that G(x) is a form, or homogeneous polynomial, of odddegree d in s variables, with real coefficients. Schmidt [15]has shown that there exists a positive integer s₀(d), whichdepends only on the degree d, so that if s s₀(d), then thereis an x Z^s\{0} satisfying the inequality |G(x)|<1. (1) In other words, if there are enough variables, in terms of thedegree only, then there is a nontrivial solution to (1). Lets₀(d) be the minimum integer with the above property. In thecourse of proving this important result, Schmidt did not explicitlygive upper bounds for s₀(d). His methods do indicate how todo so, although not very efficiently. However, in fact muchearlier, Pitman [13] provided explicit bounds in the case whenG is a cubic. We consider a general cubic form F(x) with realcoefficients, in s variables, and look at the inequality |F(x)|<1. (2) Specifically, Pitman showed that if s(1314)²⁵⁶–1, (3) then inequality (2) is non-trivially soluble in integers. Wepresent the following improvement of this bound.     

The Tracial Topological Rank of C*-Algebras

We introduce the notion of tracial topological rank for C*-algebras.In the commutative case, this notion coincides with the coveringdimension. Inductive limits of C*-algebrasof the form PM_n(C(X))P,where X is a compact metric space with dim X k, and P is aprojection in M_n(C(X)), have tracial topological rank no morethan k. Non-nuclear C*-algebras can have small tracial topologicalrank. It is shown that if A is a simple unital C*-algebra withtracial topological rank k (< ), then

(i) A is quasidiagonal,

(ii) A has stable rank 1,

(iii) A has weakly unperforatedK₀(A),

(iv) A has the following Fundamental Comparabilityof Blackadar:if p, q A are two projections with (p) < (q)for all tracialstates on A, then p q

. 2000 MathematicsSubject Classification: 46L05, 46L35.     

On the division of polynomial matrices

The main purpose of this paper is to determine two new algorithmsfor the division of the polynomial matrix B(s) R[s]^pxq by A(s) R[s]^pxp (a) based on the Laurent matrix expansion at s = =of the inverse of A(s), i.e. A(s)^–1, and (b) in a waysimilar to the one presented by Gantmacher (1959).     

On systems of finite sets with constraints on their unions and intersections

Let F be a family of subsets of an n-element set. F is said to be of type (n, r, s) if A ∈ F, B ∈ F implies that |A ∪ B| ? n ? r, and |A ∩ B| ? s. Let f(n, r, s) = max {|F| : F is of type (n, r, s)}. We prove that f(n, r, s) ? f(n ? 1, r ? 1, s) + f(n ? 1, r + 1, s) if r > 0, n > s. And this result is used to give simple and unified proofs of Katona's and Frankl's results on f(n, r, s) when s = 0 and s = 1.     

Lower bounds on covering codes via partition matrices

Let Kq(n,R) denote the minimal cardinality of a q-ary code of length n and covering radius R. Let σq(n,s;r) denote the minimal cardinality of a q-ary code of length n, which is s-surjective with radius r. In order to lower-bound Kq(n,n−2) and σq(n,s;s−2) we introduce partition matrices and their transversals. Our approach leads to a short new proof of a classical bound of Rodemich on Kq(n,n−2) and to the new bound Kq(n,n−2)?3q−2n+2, improving the first iff 5?n<q?2n−4. We determine Kq(q,q−2)=q−2+σ₂(q,2;0) if q?10. Moreover, we obtain the new powerful recursive bound Kq+1(n+1,R+1)?min{2(q+1),Kq(n,R)+1}.     

Mobius Instability of Sampling for Small Weighted Spaces of Analytic Functions

In this paper, the space A (D)is considered, consisting of thoseholomorphic functions f on the unit disk D such that || f ||= sup_{z D} | f(z)|(|z|) < +, with (1) = 0. The sampling problemis studied for weights satisfying ln (r)/ln(1 – r) 0.Möbius stability of sampling is shown to fail in this space.2000 Mathematics Subject Classification 30H05 (primary), 30D60(secondary).     

On the Compactness of the Nonlinear Evolution Operator in a Banach Space

Let X be a real Banach space and let A(t): X 2^x be dissipativefor all t(0, T). Assume that {A(t)} generates an evolution operatorU(t, s) of type (D, , f). Necessary and sufficient conditionsare given for the compactness of U(t, s) for 0 s < t <T.     

On Maximal Regularity and Semivariation of Cosine Operator Functions

It is proved that a cosine operator function C(·), withgenerator A, is locally of bounded semivariation if and onlyif u'(t) = Au(t)+f(t), t>0, u(0), u'(0)D(A), has a strongsolution for every continuous function f, if and only if thefunction , is twice continuously differentiable for every continuous function f, that is, C(·)has the maximal regularity property if and only if A is a boundedoperator. Some other characterisations of bounded generatorsof cosine operator functions are also established in terms oftheir local semivariations.