Algebraic stability and the existence of solutions of implicit Runge-Kutta equations

An implicit Runge-Kutta method, applied to an initial value problem, gives systems of algebraic equations. Under natural assumptions concerning the differential system, there are known conditions on the method which guarantee that the algebraic equations have unique solutions. It is shown that these conditions are closely related to the requirement that the method be (k(l),l)-algebraically stable on an interval [0,).     

Drinfeld modules and torsion in the Chow groups of certain threefolds

Let E B be an elliptic surface defined over the algebraic closureof a finite field of characteristic greater than 5. Let W bea resolution of singularities of E x _B E. We show that the l-adicAbel–Jacobi map from the l-power-torsion in the secondChow group of W to H³(W, _l(2)) _l/_l is an isomorphism for almostall primes l. A main tool in the proof is the assertion thatcertain CM-cycles in fibres of W B are torsion, which is provenusing results from the theory of Drinfeld modular curves.     

Polynomial symplectomorphisms

Let be the field of real or complex numbers. Let (X ²ⁿ, )be a symplectic affine space. We study the group of polynomialsymplectomorphisms of X. We show that for an arbitrary k thegroup of polynomial symplectomorphisms acts k-transitively onX. Moreover, if 2 l 2n – 2 then elements of this groupcan be characterized by polynomial automorphisms which preservethe symplectic type of all algebraic l-dimensional subvarietiesof X.     

(k, l)-Algebraic Stability of Runge-Kutta Methods

For ordinary differential equations satisfying a one-sided Lipschitzcondition with Lipschitz constant v, the solutions satisfy with l=hv, so that, in the case of Runge-Kutta methods, estimatesof the form ||y_n||²k(l)||y_n–1||² are desirable. Burrage(1986) has investigated the behaviour of the error-boundingfunction k for positive l for the family of s-stage Gauss methodsof order 2s, and has shown that k(l)=exp 2l+O(l³) (l0) for s3.In this paper, we extend the analysis of k to any irreduciblealgebraically stable Runge-Kutta method, and obtain resultsabout the maximum order of k as an approximation to exp 2l.As a particular example, we investigate the function k for allalgebraically stable methods of order 2s–1.     

Duality, triality and complementary extremum principles in non-convex parametric variational problems with applications

This paper presents a reasonably complete duality theory anda nonlinear dual transformation method for solving the fullynonlinear, non-convex parametric variational problem inf{W(u- µ) - F(u)}, and associated nonlinear boundary valueproblems, where is a nonlinear operator, W is either convexor concave functional of p = u, and µ is a given parameter.Detailed mathematical proofs are provided for the complementaryextremum principles proposed recently in finite deformationtheory. A method for obtaining truly dual variational principles(without a dual gap and involving the dual variable p* of uonly) in n-dimensional problems is proposed. It is proved thatfor convex W(p), the critical point of the associated LagrangianL_µ(u, p*) is a saddle point if and only if the so-calledcomplementary gap function is positive. In this case, the systemhas only one dual problem. However, if this gap function isnegative, the critical point of the Lagrangian is a so-calledsuper-critical point, which is equivalent to the Auchmuty'sanomalous critical point in geometrically linear systems. Wediscover that, in this case, the system may have more than oneprimal-dual set of problems. The critical point of the Lagrangianeither minimizes or maximizes both primal and dual problems.An interesting triality theorem in non-convex systems is proved,which contains a minimax complementary principle and a pairof minimum and maximum complementary principles. Applicationsin finite deformation theory are illustrated. An open problemleft by Hellinger and Reissner is solved completely and a purecomplementary energy principle is constructed. It is provedthat the dual Euler-Lagrange equation is an algebraic equation,and hence, a general analytic solution for non-convex variational-boundaryvalue problems is obtained. The connection between nonlineardifferential equations and algebraic geometry is revealed.     

Error Bounds for the Truncation of Infinite Linear Differential Systems

An infinite system of linear differential equations of the form = Ax + f, x(0) = y is considered, wherex, y and f are infinite column vectors in E, and A is a constantinfinite matrix defining a bounded operator on E, where E isl₁, (c₀), or l. Explicit error bounds are obtained for the approximationof the solution of the infinite system by the solutions of thefinite truncated systems.     

(k, l)-Algebraic Stability of Gauss Methods

It is well known that the s-stage Gauss Runge-Kutta methodsof order 2s are algebraically stable, or equivalently (1, 0)-algebraicallystable. In this paper, we show that there exists some l_s >0 such that the Gauss methods are (k, l) algebraically stablefor l [0, l_s) with k(l)=e^2l+O(l^p+1, where p=2s if s=1 or s=2,and p=2 if s>3.     

An Augmented Galerkin Method for First Kind Fredholm Equations

We describe an augmented Galerkin technique for the numericalsolution of first kind Fredholm equations, which is simple touse and which has the considerable advantage of providing acheaply computed numerical criterion for the existence of asolution of the equations under study. The method has guaranteedstability, and leads to a standard linear programming problem(when posed in the l₁ or l norms). It is much faster than themethod recommended in a recent review by Lewis (1975); numericalcomparisons indicate that it achieves comparable accuracy. Theexistence criterion also appears effective in practice.     

Wall-Crossing Formulae for Algebraic Surfaces with Positive Irregularity

The ideas of Friedman and Qin are extended to find the wall-crossingformulae for the Donaldson invariants of algebraic surfaceswith p_g = 0, q > 0 and anticanonical divisor –K effective,for any wall with l = (² – p₁) being 0 or 1.     

Effective Criteria for Birational Morphisms

The purpose of the paper is to illustrate how vanishing theoremscan be used to give effective criteria for a generically finitemorphism f :X Y of smooth complex projective algebraic varietiesto be birational. In particular, as a consequence of a non-vanishingtheorem of Kollár, it is shown that if Y is of generaltype and has generically large algebraic fundamental group,then f is birational if and only if P₂(X)=P₂(Y).     

Rado Partition Theorem for Random Subsets of Integers

For an l x k matrix A = (a_ij) of integers, denote by L(A) thesystem of homogenous linear equations a_i1x₁ + ... + a_ikx_k =0, 1 i l. We say that A is density regular if every subsetof N with positive density, contains a solution to L(A). Fora density regular l x k matrix A, an integer r and a set ofintegers F, we write if for any partition F = F₁ ... F_r there exists i {1, 2,..., r} and a column vector x such that Ax = 0 and all entriesof x belong to F_i. Let [n]_N be a random N-element subset of{1, 2, ..., n} chosen uniformly from among all such subsets.In this paper we determine for every density regular matrixA a parameter = (A) such that lim_n P([n]_N (A)_r)=0 if N =O(n) and 1 if N = (n). 1991 Mathematics Subject Classification:05D10, 11B25, 60C05     

Weakly o-minimal expansions of ordered fields of finite transcendence degree

Using a work of Diaz concerning algebraic independence of certainsequences of numbers, we prove that if K is a field of finitetranscendence degree over the rationals, then every weakly o-minimalexpansion of (K,,+,·) is polynomially bounded. In thespecial case where K is the field of all real algebraic numbers,we give a proof which makes use of a much weaker result fromtranscendental number theory, namely, the Gelfond–Schneidertheorem. Apart from this we make a couple of observations concerningweakly o-minimal expansions of arbitrary ordered fields of finitetranscendence degree over the rationals. The strongest resultwe prove says that if K is a field of finite transcendence degreeover the rationals, then all weakly o-minimal non-valuationalexpansions of (K,,+,·) are power bounded.     

Linear Automorphisms that are Symplectomorphisms

Let K be the field of real or complex numbers. Let (X K²ⁿ,) be a symplectic vector space and take 0 < k < n,N =. Let L₁,...,L_N X be 2k-dimensionallinear subspaces which are in a sufficiently general position.It is shown that if F : X X is a linear automorphism whichpreserves the form ^k on all subspaces L₁,...,L_N, then F is an_k-symplectomorphism (that is, F^* = _k, where ). In particular, if K = R and k is odd then F mustbe a symplectomorphism. The unitary version of this theoremis proved as well. It is also observed that the set A_l,2r ofall l-dimensional linear subspaces on which the form has rank 2r is linear in the Grassmannian G(l,2n), that is, there isa linear subspace L such that A_l,2r = L G(l, 2n). In particular,the set A_l,2r can be computed effectively. Finally, the notionof symplectic volume is introduced and it is proved that itis another strong invariant.     

The Banach Space B(l2) is Primary

We prove that if A is an injective operator system on l² andP is a completely bounded projection on A then either PA or(I–P)A is completely boundedly isomorphic to A. We alsoprove that if B(l²) is linearly homeomorphic to X Y then eitherX or Y is linearly homeomorphic to B(l²). Current address: Merton College, Oxford 0X1 4JD     

Spectral Characterization of Algebraic Elements

It is known that if a is an algebraic element of a Banach algebraA, then its spectrum (a) is finite, and there exists > 0such that the Hausdorff distance to spectra of nearby elementssatisfies We prove that theconverse is also true, provided that A is semisimple.     

Cluster Sets of Harmonic Functions at the Boundary of a Half-Space

The purpose of this paper is to answer some questions posedby Doob [2] in 1965 concerning the boundary cluster sets ofharmonic and superharmonic functions on the half-space D givenby D = R^n–1 x (0, + ), where n 2. Let f: D [–,+] and let Z D. Following Doob, we write B_Z (respectively C_Z)for the non-tangential (respectively minimal fine) cluster setof f at Z. Thus l B_Z if and only if there is a sequence (X_m)of points in D which approaches Z non-tangentially and satisfiesf(X_m) l. Also, l C_Z if and only if there is a subset E ofD which is not minimally thin at Z with respect to D, and whichsatisfies f(X) l as X Z along E. (We refer to the book byDoob [3, 1.XII] for an account of the minimal fine topology.In particular, the latter equivalence may be found in [3, 1.XII.16].)If f is superharmonic on D, then (see [2, 6]) both sets B_Z andC_Z are subintervals of [–, +]. Let denote (n –1)-dimensional measure on D. The following results are due toDoob [2, Theorem 6.1 and p. 123]. 1991 Mathematics Subject Classification31B25.     

Mahler Measure of Alexander Polynomials

Let l be an oriented link of d components in a homology 3-sphere.For any nonnegative integer q, let l(q) be the link of d–1components obtained from l by performing 1/q surgery on itsdth component l_d. The Mahler measure of the multivariable Alexanderpolynomial _l(q) converges to the Mahler measure of _l as q goesto infinity, provided that l_d has nonzero linking number withsome other component. If l_d has zero linking number with eachof the other components, then the Mahler measure of _l(q) hasa well defined but different limiting behavior. Examples aregiven of links l such that the Mahler measure of _l is small.Possible connections with hyperbolic volume are discussed.     

On the extension of real regular embedding

Let X be a real nonsingular affine algebraic variety of dimensionk. It is proved that any two regular (algebraic) embeddingsX ⁿ are regularly equivalent, provided that n 4k + 2.     

ZERO-SUM PROBLEMS IN FINITE ABELIAN GROUPS AND AFFINE CAPS

For a finite abelian group G, let (G) denote the smallest integer l such that every sequence Sover G of length | S| l has a zero-sum subsequence of lengthexp (G). We derive new upper and lower bounds for (G), and all our bounds are sharp for special typesof groups. The results are not restricted to groups G of theform , but they respect the structure of the group. In particular, we show for all odd n, which is sharp if n is a power of3. Moreover, we investigate the relationship between extremalsequences and maximal caps in finite geometry.     

Further Studies of the Application of Constrained Minimization Methods to Fredholm Integral Equations of the First Kind

Permanent address: Department of Mathematics, University of Queensland, Australia. Following earlier work of Babolian & Delves (J. Inst. MathsApplics (1979) 24, 157–174) the Galerkin equations forintegral equations of the first kind are stablized by imposingasympotic decay rates on the expansion coefficients. Results for the formulation in the l₂ norm are compared withresults of Babolian & Delves where the l₁ norm was used. The importance of the choice of the constants which specifythe decay rates is also considered. Theoretical results andcomputational experiments show that previously used automaticselection of these constants needs to be safeguarded by monitoringthe residuals of the Galerkin equations.