On Strong Uniform Distribution, III

We construct infinite dimensional chains that are ¹ good for almost sure convergence, which settles a question raised in this journal [7] and earlier in [6] by R. Nair. In [7] it was stated that the construction proposed in [4] was invalid. We complete the construction proposed in [4], where it is true that a piece of proof was forgotten. The technic remains the same and the completion of the proof rather natural.     

Piotrowski's Infinite Series of Steiner Quadruple SystemsRevisited

The construction of Bays and deWeck [1] of a SteinerQuadruple System SQS(14) was generalized by Piotrowskiin his dissertation ([7], p. 34) to an SQS(2p), p 7 mod 12 with a group transitive on thepoints. However he gave no proof of his construction and hispresesntation was open to misinterpretation. So Hanfried Lenzsuggested to analyse Piotrowski's construction and to supplyit with a proof. In the following we will present Piotrowski'sideas somewhat differently and will furnish a proof of the construction.     

Mathematical justification of a nonlinear integro-differential equation for the propagation of spherical flames

This paper is devoted to the justification of an asymptotic model for quasisteady three-dimensional spherical flames proposed by G. Joulin [17]. The paper [17] derives, by means of a three-scale matched asymptotics, starting from the classical thermo-diffusive model with high activation energies, an integro-differential equation for the flame radius. In the derivation, it is essential for the Lewis Number – i.e. the ratio between thermal and molecular diffusion – to be strictly less than unity. If is the inverse of the – reduced – activation energy, the idea underlying the construction of [17] is that (i) the time scale of the radius motion is ^-2, and that (ii) at each time step, the solution is -close to a steady solution.In this paper, we give a rigorous proof of the validity of this model under the restriction that the Lewis number is close to 1 – independently of the order of magnitude of the activation energy. The method used comprises three steps: (i) a linear stability analysis near a steady – or quasi-steady – solution, which justifies the fact that the relevant time scale is ^-2; (ii) the rigorous construction of an approximate solution; (iii) a nonlinear stability argument. Mathematics Subject Classification (2000) Primary 80A25, Secondary 35K57, 47G20     

A 1Ψ1 Summation Theorem for Macdonald Polynomials

In this note we extend the Ramanujan's 11 summation formula to the case of a Laurent series extension of multiple q-hypergeometric series of Macdonald polynomial argument [7]. The proof relies on the elegant argument of Ismail [5] and the q-binomial theorem for Macdonald polinomials. This result implies a q-integration formula of Selberg type [3, Conjecture 3] which was proved by Aomoto [2], see also [7, Appendix 2] for another proof. We also obtain, as a limiting case, the triple product identity for Macdonald polynomials [8].     

Shelling pseudopolyhedra

The notion of shellability originated in the context of polyhedral complexes and combinatorial topology. An abstraction of this concept for graded posets (i.e., graded partially ordered sets) was recently introduced by Björner and Wachs first in the finite case [1] and then with Walker in the infinite case [11]. Many posets arising in combinatorics and in convex geometry were investigated and some proved to be shellable. A key achievement was the proof by Bruggesser and Mani that boundary complexes of convex polytopes are shellable [4].We extend here the result of Bruggesser and Mani to polyhedral complexes arising as boundary complexes of more general convex sets, called pseudopolyhedra, with suitable asymptotic behavior. This includes a previous result on tilings of a Euclidean space ^d which are projections of the boundary of a (d+1)-pseudopolyhedron [7].     

Malmheden's theorem revisited

In 1934 Malmheden [16] discovered an elegant geometric algorithm for solving the Dirichlet problem in a ball. Although his result was rediscovered independently by Duffin (1957) [8] 23 years later, it still does not seem to be widely known. In this paper we return to Malmheden's theorem, give an alternative proof of the result that allows generalization to polyharmonic functions and, also, discuss applications of his theorem to geometric properties of harmonic measures in balls in .     

On the construction of [q 4 + q 2 − q, 5,q 4 − q 3 + q 2 − 2q; q]-codes meeting the Griesmer bound

It is unknown whether or not there exists an [87, 5, 57; 3]-code. Such a code would meet the Griesmer bound. The purpose of this paper is to give a constructive proof of the existence of [q ⁴ + q ² – q, 5, q ⁴ – q ³ + q ² – 2q; q]-codes for any prime power q 3. As a special case, it is shown that there exists an [87, 5, 57; 3]-code with weight enumerator 1 + 156z ³⁷ + 82z ⁶⁰ + 2z ⁶³ + 2z ⁷⁸. The new construction settles an open problem due to Hill and Newton [10].     

Le complete formel d'un espace analytique le long d'un sous-espace: Un theoreme de comparaison

We prove here a theorem, which generalizes Grauert's comparison theorem ([4], Hauptsatz IIa; cf. also Knorr [7], Vergleichssatz) and which is an analogue of a Grothéndieck's result in Algebraic Geometry ([6], Chap. III., 4.1.5). The proof makes essential use of a coherence theorem for sheaves of polynomials: Let X,Y be complex spaces, : XY a proper holomorphic map and T=(T₁,...,T_N) a system of indeterminates. Then, for everyO _X[T] graded sheafm, all direct image sheaves R^q_* m areY[T]-coherent. The proof is as in [2].

---

---

Diese Arbeit entstand während eines Aufenthalts des Verfassers am Fachbereich Mathematik der Universität Regensburg als Stipendiat der Alexander-von-Humboldt-Stiftung.     

L p bounds for a maximal dyadic sum operator

The authors prove L ^p bounds in the range 1<p< for a maximal dyadic sum operator on R ⁿ . This maximal operator provides a discrete multidimensional model of Carlesons operator. Its boundedness is obtained by a simple twist of the proof of Carlesons theorem given by Lacey and Thiele [7] adapted in higher dimensions [9]. In dimension one, the L ^p boundedness of this maximal dyadic sum implies in particular an alternative proof of Hunts extension [4] of Carlesons theorem on almost everywhere convergence of Fourier integrals. Mathematics Subject Classification (2000):Primary 42A20, Secondary 42A24Grafakos is supported by the NSF. Tao is a Clay Prize Fellow and is supported by a grant from the Packard Foundation.     

Uniform-fast-gerade Funktionen mit vorgegebenen Werten,II

For a given sequence n₁ < n₂ < ... of integers satisfying and for a given convergent sequence of complex numbers {a_j}, it was shown in [4] that there is a uniformly-almost-even function assuming the values f(n_j) = a_j. For the proof, Gelfands theory of commutative Banach algebras and Tietzes extension theorem were used. In [3] an incomplete proof [by elementary means] of this result was given.¹⁾The aim of this note is to give some results which can be proved by the method from [3].¹⁾The first-named author is grateful to the second author for pointing out a missing case in the above-mentioned proof.Received: 7 November 2002     

On Combinatorics of Quiver Component Formulas

Buch and Fulton [9] conjectured the nonnegativity of the quiver coefficients appearing in their formula for a quiver cycle. Knutson, Miller and Shimozono [24] proved this conjecture as an immediate consequence of their component formula. We present an alternative proof of the component formula by substituting combinatorics for Gröbner degeneration [23, 24]. We relate the component formula to the work of Buch, Kresch, Tamvakis and the author [10] where a splitting formula for Schubert polynomials in terms of quiver coefficients was obtained. We prove analogues of this latter result for the type BCD-Schubert polynomials of Billey and Haiman [4]. The form of these analogues indicate that it should be interesting to pursue a geometric context that explains them.     

L 2-estimates with Levi-singular weight, and existence for\overline \partial

We give a symplectic proof of the link between pseudoconvexity of domains ofC ⁿ and of their boundaries (cf. [7, Th. 2.6.12]). Our approach also allows us to treat boundaries of codimension >1. We then extend the estimates by Hörmander in [7, Ch. 4, 5] and [6] toL ²-norms which haveC ¹ but notC ² weights and under a less restrictive assumption of weakq-pseudoconvexity. (A special trick is needed as a substitute for the method of thelowest positive eigenvalue of [6].)     

A note on Schatten‐class membership of Hankel operators with antiholomorphic symbols on generalized Fock‐spaces

In this paper we investigate Hankel operators with anti‐holomorphic L²‐symbols on generalized Fock spaces A_m² in one complex dimension. The investigation of the mentioned operators was started in [4] and [3]. Here, we show that a Hankel operator with anti‐holomorphic L²‐symbol is in the Schatten‐class S_p if and only if the symbol is a polynomial with degree N satisfying 2N < m and p > . The result has been proved independently before in the recent work [2], which also considers the case of several complex variables. However, in addition to providing a different proof for the result the present work shows that the methodology developed in [4] and [3] can be adopted in order to work to characterize Schatten‐class membership. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The domino inequalities: facets for the symmetric traveling salesman polytope

Adam Letchford defines in [4] the Domino Parity inequalities for the Symmetric Traveling Salesman Polytope (STSP) and gives a polynomial algorithm for the separation of such constraints when the support graph is planar, generalizing a result of Fleischer and Tardos [2] for maximally violated comb inequalities. Naddef in [5] gives a set of necessary conditions for such inequalities to be facet defining for the STSP. These conditions lead to the Domino inequalities and it is shown in [5] that one does not lose any facet inducing inequality restricting the Domino Parity inequalities to Domino inequalities, except maybe for some very particular case. We prove here that all the domino inequalities are facet inducing for the STSP, settling the conjecture given in [5]. As a by product we will also have a complete proof that the comb inequalities are facet inducing. Mathematics Subject Classification (2000):Main 90C57, secondary 90C27     

Polynômes d'Euler et Fractions Continues de Stieltjes-Rogers

It is well-known that the Euler polynomials E2n(x) with n 0 can be expressed as a polynomial Hn(x(x – 1)) of x(x – 1). We extend Hn(u) to formal power series for n < 0 and prove several properties of the coefficients appearing in these polynomials or series, which generalize some recent results, independently obtained by Hammersley [7] and Horadam [8], and answer a question of Kreweras [9]. We also deduce several continued fraction expansions for the generating function of Euler polynomials, some of these formulae had been published by Stieltjes [14] and by Rogers [12] without proof. These formulae generalize our earlier results concerning Genocchi numbers, Euler numbers and Springer numbers [5, 4].     

Optimally scaled matrices,necessary and sufficient conditions

Summary We shall in this paper consider the problem of determination a row or column scaling of a matrixA, which minimizes the condition number ofA. This problem was studied by several authors. For the cases of the maximum norm and of the sum norm the scale problem was completely solved by Bauer [1] and Sluis [5]. The condition ofA subordinate to the pair of euclidean norms is the ratio /, where and are the maximal and minimal eigenvalue of (A ^H A)^1/2 respectively. The euclidean case was considered by Forsythe and Strauss [3]. Shapiro [6] proposed some approaches to a numerical solution in this case. The main result of this paper is the presentation of necessary and sufficient conditions for optimal scaling in terms of maximizing and minimizing vectors. A uniqueness proof for the solution is offered provided some normality assumption is satisfied.     

On the Lebesgue constant for the Xu interpolation formula

In the paper [Y. Xu, Lagrange interpolation on Chebyshev points of two variables, J. Approx. Theory 87 (1996) 220–238], the author introduced a set of Chebyshev-like points for polynomial interpolation (by a certain subspace of polynomials) in the square [-1,1]², and derived a compact form of the corresponding Lagrange interpolation formula. In [L. Bos, M. Caliari, S. De Marchi, M. Vianello, A numerical study of the Xu polynomial interpolation formula in two variables, Computing 76(3–4) (2005) 311–324], we gave an efficient implementation of the Xu interpolation formula and we studied numerically its Lebesgue constant, giving evidence that it grows like , n being the degree. The aim of the present paper is to provide an analytic proof to show that the Lebesgue constant does have this order of growth.     

On an inequality of Brendle in the hyperbolic space

We give a spinorial proof of a Heintze–Karcher-type inequality in the hyperbolic space proved by Brendle [4]. The proof relies on a generalized Reilly formula on spinors recently obtained in [7].