Exceptional Functions and Normality

Yang proved in [10] that if f and f^(k) have no fix-points forevery fF, where F is a family of meromorphic functions in adomain G and k a fixed integer, then F is normal in G. In thispaper we prove normality for families F for which every fF omits₁ and f^(k) omits ₂, where ₁ and ₂ are analytic functions with. 1991 Mathematics SubjectClassification 30D35, 30D45.     

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

Exotic Actions on Trees

We give an explicit example of an exotic (non-simplicial), geometricfree action of the free group F₃ on an R-tree T. We begin byassociating an interval translation mapping of the unit intervalto an automorphism of F₃. We use a result of D. Gaboriau andG. Levitt to obtain an F₃-action on an R-tree T. We show thatfor our particular choice of , the resulting F₃-action is minimal,free and exotic. 1991 Mathematics Subject Classification 20E36.     

A MULTIPLE GENERALIZATION OF SLATER'S TRANSFORMATION FORMULA FOR A VERY-WELL-POISED-BALANCED 2r{psi}2r SERIES

The Jackson integral of type BC_n is a multiple generalizationof a very-well-poised-balanced _2r2r basic hypergeometric series.Based on this fact, a multiple analogue of Slater's transformationformula for the _2r2r series is presented herein. The proposedformula also provides an extension of Gustafson's multiple ₆₆summation formula of type C_n.     

The large deformation of nonlinearly elastic rings in a two-dimensional compressible flow

The nonlinear nonlocal system of the equilibrium equations ofan elastic ring under the action of an external two-dimensionaluniformly subsonic potential barotropic steady-state gas flowis considered. The configurations of the elastic ring are identifiedby a pair of functions (, ). The simple curve represents theshape of the ring and the real-valued function identifies theorientation of the material sections of the ring. The pressurefield on the ring depends nonlocally on , and on two parametersU and P which represent the pressure and the velocity at infinity.The system is shown to be equivalent to a fixed-point problem,which is then treated with continuation methods. It is shownthat the solution branch ensuing from certain equilibrium states((₀, ₀), 0, P₀) in the solution-parameter space of ((₀, ₀),0, P₀) either approaches the boundary of the admissible ((,), U,p)'s in a well-defined sense, or is unbounded, or is homotopicallynontrivial in the sense that there exists a continuous map from the branch to a two-dimensional sphere which is not homotopicin the sphere to a constant, while restricted to the branchminus ((₀, ₀), 0, P₀) is homotopic to a constant in the sphere.Furthermore, by fixing the pressure parameter at P₀ and by consideringthe one-parameter problem in ((, ), U), the following holds.Every hyperplane in the solution-parameter space of the ((,), U)'s which contains the equilibrium state ((₀, ₀), 0) anddoes not include a welldetermined one-dimensional subspace intersectsthe solution branch above at a point different from ((₀, ₀),0).     

Semimartingales and geometric inequalities on manifolds

The purpose of this paper is twofold. First, we use resultson Jacobi fields to study the stochastic differential equations(SDEs) for exp_Xt( exp_Xt^-1(Y_t)) with specially constructed coupledsemimartingales X and Y on a complete, simply connected Riemannianmanifold M with constant sectional curvature. Secondly, we applythese SDEs to obtain an analogue for M of a result of Borellconcerning an inequality relating the solutions of the parabolicequation / t = 1/2 – h, with Dirichlet boundary condition,on three convex sets in Euclidean space. From the latter, therefollows an inequality involving the first eigenvalues of theLaplacian on those convex sets with the Dirichlet boundary condition,analogous to an inequality in Euclidean space which is equivalentto the Brunn–Minkowski inequality of these eigenvaluesobtained by Brascamp and Lieb.     

The Decay of Eddy-currents in Thin Sheets and Related Water-wave Problems

The decay of the eddy-currents that are induced in a thin, uniform,imperfectly-conducting sheet by switching off the source ofan external magnetic field is investigated. For the two-dimensionalproblem of an infinite strip the (non-dimensional) decay constants_n and eddy-current distributions i_n(x) are the eigenvalues andeigenfunctions of the integral equation with the constraint. For the circular disc the corresponding equation is where and K and E are complete elliptic integrals. For both problemsthe initial eddy-currents have inverse-square-root singularitiesat the edges but during their decay the eddy currents are finiteat the edges and the normal magnetic fields have logarithmicsingularities there. Numerical results are given for variousinitial-value problems. The eddy current problems are closely related to water-waveproblems in which there is a strip-shaped or circular aperturein a horizontal rigid dock. If _n and _n are the decay constantsand magnetic scalar potentials for the strip and _n and _n theangular frequencies and velocity potentials for the normal modesin the strip-shaped aperture, then _n =_n² and _n and _n are thereal and imaginary parts respectively of a holomorphic function.The velocities in the normal modes are deduced from the solutionof the eddy-current problem and are found to agree with resultsgiven in Miles (1972). For circular geometries the eigenvaluesand eigenfunctions of the axisymmetric eddy-current problemare the same as those of the water-wave problem that has angularvariation eⁱ; where (, , z) are cylindrical polar co-ordinateslocated at the centre of the basin.     

A Criticality Criterion for Thermal Explosions in Well-stirred Systems with Reactant Consumption

The autonomous differential equations for the temperature andreactant consumption in a first-order well-stirred exothermicreaction are considered. An examination of the phase-plane solutionsallows the qualitative behaviour of the Semenov number as afunction of maximum temperature rise ^* to be established. Inthe limit of infinite adiabatic temperature rise (B) and zeroactivation energy parameter ( = 0), the relationship between and stationary temperature _s is known to be e_¹ = _s. Criticalityarises at the maximum of (_s) and leads to the critical Semenovvalues (_s)_cr = 1, _cr = e^–1. For sufficiently large B,it is shown that the (^*) curve has a bifurcation at ^* = 1, withthe upper branch monotonically increasing and the lower branchmonotonically decreasing for ^* > 1. In the limit B thesebecome respectively the straight line = e^–1, _s 1 andthe unstable branch of = _se^–1, _s 1 and the unstablebranch of = _s e^–. Criticality for finite B is definedas occurring at the bifurcation, namely ^*_cr = 1, with _cr(B)the value of at this point. Values of these Semenoy numbersare obtainable from the numerical calculations of Boddingtonet al. [Proc. R. Soc. Lond. (1983), 390, 13–30]. The newcriterion is applied to an approximate phase-plane solution.The corresponding critical parameter is found to be _cr = e^–1[1+B^–(2–e^–1)+O(B^–1)].     

Generalizations of Ramanujan's reciprocity theorem and their applications

First, we briefly survey Ramanujan's reciprocity theorem fora certain q-series related to partial theta functions and givea new proof of the theorem. Next, we derive generalizationsof the reciprocity theorem that are also generalizations ofthe ₁₁ summation formula and Jacobi triple product identityand show that these reciprocity theorems lead to generalizationsof the quintuple product identity, as well. Last, we presentsome applications of the generalized reciprocity theorems andproduct identities, including new representations for generatingfunctions for sums of six squares and those for overpartitions.     

Hausdorff Dimension and Generalized Simultaneous Diophantine Approximation

Suppose that m is a positive integer, is a vector of strictly positive numbers, and Qis an infinite set of positive integers. Let W_Q(m; ) be theset [formula] In this paper we obtain the Hausdorff dimension of this set.We also consider a generalization of the set W_Q(m; ), wherethe error terms in the inequalities are replaced by _i(q), for general functions _i satisfying a certaincondition at infinity. 1991 Mathematics Subject Classification11J83, 28A78.     

2-Ruled Calibrated 4-Folds in R7 and R8

This article introduces the notion of 2-ruled 4-folds: submanifoldsof Rⁿ fibred over a 2-fold by affine 2-planes. This is motivatedby a paper by Joyce and previous work of the present author.A 2-ruled 4-fold M is r-framed if an oriented basis is smoothlyassigned to each fibre, and then we may write M in terms oforthogonal smooth maps ₁,₂ : S^n–1 and a smooth map : Rⁿ. We focus on 2-ruled Cayley 4-folds in R⁸ as certainother calibrated 4-folds in R⁷ and R⁸ can be considered as specialcases. The main result characterizes non-planar, r-framed, 2-ruledCayley 4-folds, using a coupled system of nonlinear, first-order,partial differential equations that ₁ and ₂ satisfy, and anothersuch equation on which is linear in . We give a means of constructing2-ruled Cayley 4-folds starting from particular 2-ruled Cayleycones using holomorphic vector fields. This is used to giveexplicit examples of U(1)-invariant 2-ruled Cayley 4-folds asymptoticto a U(1)³-invariant 2-ruled Cayley cone. Examples are alsogiven based on ruled calibrated 3-folds in C³ and R⁷ and complexcones in C⁴.     

Grothendieck's Inequalities for Real and Complex JBW*-Triples

We prove that, if and >0, if V and W are complex JBW*-triples (with preduals V_* andW_*, respectively), and if U is a separately weak*-continuousbilinear form on V x W, then there exist norm-one functionals₁, ₂ V_* and ₁, ₂ W_* satisfying for all (x, y) V x W. Here, for a norm-one functional on acomplex JB*-triple V, |·| stands for the prehilbertianseminorm on V associated to given by for all x W, where z V^** satisfies z = |z| =1. We arrive at this form of ‘Grothendieck's inequality’through results of C.-H. Chu, B. Iochum, and G. Loupias, andan amended version of the ‘little Grothendieck's inequality’for complex JB*-triples due to T. Barton and Y. Friedman. Wealso obtain extensions of these results to the setting of realJB*-triples. 2000 Mathematical Subject Classification: 17C65,46K70, 46L05, 46L10, 46L70.     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

Dynamics of projective morphisms having identical canonical heights

Let , :^{N N} be morphisms of degree at least 2 whose canonicalheights and are identical. We draw various conclusions aboutthe Green functions, Julia sets, and canonical local heightsof and . We use this information to completely characterize and in the following cases: (i) and are polynomial mapsin one variable; (ii) is the dth-power map; (iii) is a Lattèsmap.     

Concavity and B-Concavity of Solutions of Quasilinear Filtration Equations

Spatial concavity properties of non-negative weak solutionsof the filtration equations with absorption u_t = ((u))_xx–(u)in Q = Rx(0, ), '0, 0 are studied. Under certain assumptionson the coefficients , it is proved that concavity of the pressurefunction is a consequence of a ‘weak’ convexityof travelling-wave solutions of the form V(x, t) = (x–t+a).It is established that the global structure of a so-called properset B = {V} of such particular solutions determines a propertyof B-concavity for more general solutions which is preservedin time. For the filtration equation u_t = ((u))_xx a semiconcavityestimate for the pressure, v_xx(t+)^–1'(), due to the B-concavityof the solution to the subset B of the explicit self-similarsolutions (x/t+)) is proved. The analysis is based on the intersection comparison based onthe Sturmian argument of the general solution u(x, t) with subsetsB of particular solutions. Also studied are other aspects ofthe B-concavity/convexity with respect to different subsetsof explicit solutions.     

Decomposition of weighted Triebel-Lizorkin and Besov spaces on the ball

Weighted Triebel–Lizorkin and Besov spaces on the unitball B^d in ^d with weights w_µ(x)=(1–|x|²)^µ–1/2,µ0, are introduced and explored. A decomposition schemeis developed in terms of almost exponentially localized polynomialelements (needlets) {}, {} and it is shown that the membershipof a distribution to the weighted Triebel–Lizorkin orBesov spaces can be determined by the size of the needlet coefficients{f, } in appropriate sequence spaces.     

Optimal Cardinals for Metrizable Barrelled Spaces

We seek the smallest or largest cardinals for which certainbasic results hold, as did Mazur when he proved that c is thesmallest infinite-dimensionality for a Fréchet space.As with Mazur, we make no axiomatic assumptions outside theusual ZFC model. We discover three instances in which the optimalcardinal is the dominating number and three in which it isthe bounding number b, apparently giving the first locally convexspace characterizations of these venerable and easily describedcardinals. Here are two samples: it is known that for any non-normablemetrizable locally convex space E, the minimal size _b(E) fora fundamental system of bounded sets must satisfy _{1 b}(E) c;we prove that _b(E) = . Again, it is known that if E is a non-normablemetrizable barrelled space of minimal dimension, then ₁ dim(E) c; we prove that dim(E) = b. The most important individualresult is the reconstruction of Tweddle's space without useof the Continuum Hypothesis (₁ = c). The reconstruction is vitalin the characterizations of b and in subsequent papers answeringopen questions about countable enlargements.     

Universal Operator Algebras Associated to Contractive Sequences of Non-Commuting Operators

We characterize the minimal isometric dilation of a non-commutativecontractive sequence of operators as a universal object forcertain diagrams of completely positive maps. A non-spatialconstruction of the minimal isometric dilation is also given,using Hilbert modules over C*-algebras. It is shown that the non-commutative disc algebras A_n (n2) arethe universal algebras generated by contractive sequences ofoperators and the identity, and C*(S₁, ..., S_n) (n2), the extensionthrough compact operators of the Cuntz algebra O_n, is the universalC*-algebra generated by a contractive sequence of isometries.It is also shown that the algebras A_n and C*(S₁, ..., S_n) arecompletely isometrically isomorphic to some free operator algebrasconsidered by D. Blecher. In particular, the universal operatoralgebra of a row (respectively column) contraction is identifiedwith a subalgebra of C*(S₁, ..., S_n). The internal characterizationof the matrix norm on a universal algebra leads to some factorizationtheorems.     

THE AVERAGE VALUE OF DIVISOR SUMS IN ARITHMETIC PROGRESSIONS

Let (n) denote the Fourier coefficients of cusp forms or thenumber of divisors of n. Estimates of the type are shown, uniformly in q X. The methods canbe extended to other arithmetic functions, for example, thenumber of representations of n as a sum of two squares or k-freenumbers. As an application, sums of the type _{n X}(n) (n) forany q-periodic function can be estimated non-trivially.     

Classification Des Ideaux a Droite De A1(k)

Les études récentes sur les idéaux àdroite de A₁(k), la première algèbre de Weyl surun corps algébriquement clos et de caractéristiquenulle k, nous montrent que : pour tout idéal I 0 àdroite de A₁(k), il existe x Q = frac(A₁(k)), et V V telsque : I = xD(R, V) o V est l'ensemble des sous-espaces primairementdécomposables de k[t] = R, et D(R, V), l'idéalà droite {d A₁(k/d(R V}. Dans cet article nous montreronsprincipalement que: pour tout 0 I idéal à droitede A₁(k, !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),où X_n est la courbe d'algèbre des fonctions régulières: O(X_n = k+tⁿ⁺¹k[t]. La forme des idéaux décriteci-dessus permet de voir dans une hypothèse de Letzteret Makar-Limanov, pour deux courbes algébriques affinesX et X' on a : D(XD(X') co dim D(X = co dim D(X'). Recent studies on right ideals of the first Weyl algebra A₁(k)over an algebraic closed field k with characteristic zero showthat: for each right ideal I 0 of A₁(k), there exist x Q =fracA₁(k)) and a primary decomposable sub-space V of k[t] suchthat I=xD(R,V), where D(R,V) : = {d A₁(k)/d(R) V} is a rightideal of A₁(k). In this paper, we show that for all right idealsI 0 of A₁(k), !n N, (x, ) Q^* x Aut_k(A₁(k)) : I = x(D(R, O(X_n))),where X_n denotes the affine algebraic curve with ring of regularfunctions O(X_n=k+tⁿ⁺¹k[t]. With ideals as described above, onecan easily see, under a hypothesis given by Letzter and Makar-Limanov,that for two affine algebraic curves X and X', D(X)D(X') codim D(X) = co dim D(X'). 2000 Mathematics Subject Classification16S32.