Several sufficient conditions of solvability for a nonlinear higher-order three-point boundary value problem with all derivatives

In this paper, firstly, some errors in the proof of our paper “Several sufficient conditions of solvability for a nonlinear higher-order three-point boundary value problem on time scales, Appl. Math. Comput. 190 (2007) 566–575” are pointed, and we make the corresponding correction when T=R. Then, the more general problem with all derivatives is considered. Under certain growth conditions on the nonlinearity, several sufficient conditions for the existence and uniqueness of nontrivial solution are obtained by using Leray–Schauder nonlinear alternative and Banach fixed point theorem.     

Quantum -modules and generalized mirror transformations

In the previous paper [Hiroshi Iritani, Quantum D-modules and equivariant Floer theory for free loop spaces, Math. Z. 252 (3) (2006) 577–622], the author defined equivariant Floer cohomology for a complete intersection in a toric variety and showed that it is isomorphic to the small quantum D-module after a mirror transformation when the first Chern class c₁(M) of the tangent bundle is nef. In this paper, even when c₁(M) is not nef, we show that the equivariant Floer cohomology reconstructs the big quantum D-module under certain conditions on the ambient toric variety. The proof is based on a mirror theorem of Coates and Givental [T. Coates, A.B. Givental, Quantum Riemann — Roch, Lefschetz and Serre, Ann. of Math. (2) 165 (1) (2007) 15–53]. The reconstruction procedure here gives a generalized mirror transformation first observed by Jinzenji in low degrees [Masao Jinzenji, On the quantum cohomology rings of general type projective hypersurfaces and generalized mirror transformation, Internat. J. Modern Phys. A 15 (11) (2000) 1557–1595; Masao Jinzenji, Co-ordinate change of Gauss–Manin system and generalized mirror transformation, Internat. J. Modern Phys. A 20 (10) (2005) 2131–2156].     

Sur les sous-variétés des tores

In Invent. Math. 126 (2000), pp. 513–545, we gave a proof of Lang's conjecture on Abelian varieties leading to an effective bound for the number of translates involved. We show here that the method can be extended to give a similar statement for the Mordell–Lang plus Bogomolov theorem proven by B. Poonen and independently by S. Zhang. We deal in detail with tori for which effective results have been obtained by J.-H. Evertse and H. P. Schlickewei; we improve on these mainly by providing polynomial bounds in the degree instead of doubly exponential ones. We also state a theorem for Abelian varieties. In both cases the strategy of proof is based on the approach of Mumford and Vojta–Faltings–Bombieri together with an effective Bogomolov property and therefore does not rely on either equidistribution nor subspace theorem arguments.     

Classical and approximate sampling theorems; studies in the and the uniform norm

The approximate sampling theorem with its associated aliasing error is due to J.L. Brown (1957). This theorem includes the classical Whittaker–Kotel’nikov–Shannon theorem as a special case. The converse is established in the present paper, that is, the classical sampling theorem for , 1p<∞, w>0, implies the approximate sampling theorem. Consequently, both sampling theorems are fully equivalent in the uniform norm.Turning now to -space, it is shown that the classical sampling theorem for , 1<p<∞ (here p=1 must be excluded), implies the -approximate sampling theorem with convergence in the -norm, provided that f is locally Riemann integrable and belongs to a certain class Λ^p. Basic in the proof is an intricate result on the representation of the integral as the limit of an infinite Riemann sum of |f|^p for a general family of partitions of ; it is related to results of O. Shisha et al. (1973–1978) on simply integrable functions and functions of bounded coarse variation on . These theorems give the missing link between two groups of major equivalent theorems; this will lead to the solution of a conjecture raised a dozen years ago.     

Curvature Symmetries

An alternative construction of Riemann curvature appeared in Acta Appl. Math. 59 (1999), 215–227, with a promise of a short direct proof of its symmetries. The present Section 5 repairs a flaw in the original Section 5, with the promised proof.     

On a discrete Korovkin theorem

In [G. A. Anastassiou, A discrete Korovkin theorem, J. Approx. Theory 45 (1985), pp. 383–388, Theorem 3], a discrete Korovkin theorem was given. We restate the theorem here and its proof, correcting a mistake in the above reference.     

A new topological proof of the Abhyankar–Moh theorem

We present a new simple proof of the famous theorem of Abhyankar, Moh and Suzuki about rational curves in a plane. This proof relies on the Poincaré–Hopf theorem. This work was supported by Polish KBN Grant No 2 P03A 041 15Mathematics Subject Classification (2002):14E25.     

Intersection diagrams of distance-biregular graphs

We shall investigate distance-biregular graphs by means of intersection diagrams. First we give an alternate proof of a theorem which was obtained by Mohar and Shawe-Taylor in (J. Combin. Theory Ser. B 37 (1984), 90–100). Next we give some results on distance-biregular graphs of girth g ≡ 0 (mod 4).     

A Combinatorial Algorithm Related to the Geometry of the Moduli Space of Pointed Curves

As pointed out in Arbarello and Cornalba (J. Alg. Geom. 5 (1996), 705–749), a theorem due to Di Francesco, Itzykson, and Zuber (see Di Francesco, Itzykson, and Zuber, Commun. Math. Phys. 151 (1993), 193–219) should yield new relations among cohomology classes of the moduli space of pointed curves. The coefficients appearing in these new relations can be determined by the algorithm we introduce in this paper.     

Note on: N.E. Aguilera, M.S. Escalante, G.L. Nasini, “The disjunctive procedure and blocker duality”

Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–13] give a generalization of a theorem of Lehman through an extension of the disjunctive procedure defined by Balas, Ceria and Cornuéjols. This generalization can be formulated as(A) For every clutter , the disjunctive index of its set covering polyhedron coincides with the disjunctive index of the set covering polyhedron of its blocker, .In Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–3], (A) is indeed a corollary of the stronger result(B) .Motivated by the work of Gerards et al. [Math. Oper. Res. 28 (2003) 884–885] we propose a simpler proof of (B) as well as an alternative proof of (A), independent of (B). Both of them are based on the relationship between the “disjunctive relaxations” obtained by and the set covering polyhedra associated with some particular minors of .     

Absolute integral closure in positive characteristic

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke [M. Hochster, C. Huneke, Infinite integral extensions and big Cohen–Macaulay algebras, Ann. of Math. 135 (1992) 53–89] states that if R is excellent, then the absolute integral closure of R is a big Cohen–Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. As a result there follow an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the cases where the assumptions overlap, e.g., for complete Noetherian local domains.     

Measures of Non-compactness of Operators on Banach Lattices

[Indag. Math.(N.S.) 2(2) (1991), 149–158; Uspehi Mat. Nauk 27(1(163)) (1972), 81–146] used representation spaces to study measures of non-compactness and spectral radii of operators on Banach lattices. In this paper, we develop representation spaces based on the nonstandard hull construction (which is equivalent to the ultrapower construction). As a particular application, we present a simple proof and some extensions of the main result of [J. Funct. Anal. 78(1) (1988), 31–55] on the monotonicity of the measure of non-compactness and the spectral radius of AM-compact operators. We also use the representation spaces to characterize d-convergence and discuss the relationship between d-convergence and the measures of non-compactness.     

Large sieve inequalities for -forms in the conductor aspect

Duke and Kowalski in [A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)] derive a large sieve inequality for automorphic forms on GL(n) via the Rankin–Selberg method. We give here a partial complement to this result: using some explicit geometry of fundamental regions, we prove a large sieve inequality yielding sharp results in a region distinct to that in [Duke and Kowalski, A problem of Linnik for elliptic curves and mean-value estimates for automorphic representations, Invent. Math. 139(1) (2000) 1–39 (with an appendix by Dinakar Ramakrishnan)]. As an application, we give a generalization to GL(n) of Duke's multiplicity theorem from [Duke, The dimension of the space of cusp forms of weight one, Internat. Math. Res. Notices (2) (1995) 99–109 (electronic)]; we also establish basic estimates on Fourier coefficients of GL(n) forms by computing the ramified factors for GL(n)×GL(n) Rankin–Selberg integrals.     

Generalization of the Gale–Ryser Theorem

We prove an inequality for the Kostka–Foulkes polynomials K_λ,μ(q) and give a criteria for the existence of a unique configuration of the given type (λ, μ). As a corollary, we obtain a nontrivial lower bound for the Kostka numbers which is a generalization the Gale–Ryser theorem on an existence of a (0,1)-matrix with given sums of rows and columns. A new proof of the Berenstein–Zelevinsky weight-multiplicity-one criteria is given.     

Existence theorem and algorithm for a general implicit variational inequality in Banach space

By using the generalized f-projection operator, the existence theorem of solutions for the general implicit variational inequality GIVI(T-ξ,K) is proved without assuming the monotonicity of operators in reflexive and smooth Banach space. An iterative algorithm for approximating solution of the general implicit variational inequality is suggested also, and the convergence for this iterative scheme is shown. These theorems extend the corresponding results of Wu and Huang [K.Q. Wu, N.J. Huang, Comput. Math. Appl. 54 (2007) 399–406], Wu and Huang [K.Q. Wu, N.J. Huang, Bull. Austral. Math. Soc. 73 (2006) 307–317], Zeng and Yao [L.C. Zeng, J.C. Yao, J. Optimiz. Theory Appl. 132 (2) (2007) 321–337] and Li [J. Li, J. Math. Anal. Appl. 306 (2005) 55–71].     

Some inequalities for algebraic polynomials with the Laguerre weight

There is a series of publications which have considered inequalities of Markov–Bernstein–Nikolskii type for algebraic polynomials with the Jacobi weight (see [N.K. Bari, A generalization of the Bernstein and Markov inequalities, Izv. Akad. Nauk SSSR Math. Ser. 18 (2) (1954) 159–176; B.D. Bojanov, An extension of the Markov inequality, J. Approx. Theory 35 (1982) 181–190; P. Borwein, T. Erdélyi, Polynomials and Polynomial Inequalities, Springer, New York, 1995; I.K. Daugavet, S.Z. Rafalson, Some inequalities of Markov–Nikolskii type for algebraic polynomials, Vestnik Leningrad. Univ. Mat. Mekh. Astronom. 1 (1972) 15–25; A. Guessab, G.V. Milovanovic, Weighted L²-analogues of Bernstein's inequality and classical orthogonal polynomials, J. Math. Anal. Appl. 182 (1994) 244–249; I.I. Ibragimov, Some inequalities for algebraic polynomials, in: V.I. Smirnov (Ed.), Fizmatgiz, 1961, Research on Modern Problems of Constructive Functions Theory; G.K. Lebed, Inequalities for polynomials and their derivatives, Dokl. Akad. Nauk SSSR 117 (4) (1957) 570–572; G.I. Natanson, To one theorem of Lozinski, Dokl. Akad. Nauk SSSR 117 (1) (1957) 32–35; M.K. Potapov, Some inequalities for polynomials and their derivatives, Vestnik Moskov. Univ. Ser. Mat. Mekh. 2 (1960); E. Schmidt, Über die nebst ihren Ableitungen orthogonalen Polynomsysteme und das zugehörige Extremum, Math. Ann. 119 (1944) 165–209; P. Turán, Remark on a theorem of Erhard Schmidt, Mathematica 2 (25) (1960) 373–378]). In this paper we find an inequality of the same type for algebraic polynomials on (0,∞) with the Laguerre weight function e^-xx^α (α>-1).     

Enumeration of lattice paths and generating functions for skew plane partitions

n-dimensional lattice paths not touching the hyperplanesX _i–X _i+1=–1,i=1,2,...,n, are counted by four different statistics, one of which is MacMahon's major index. By a reflection-like proof, heavily relying on Zeilberger's (Discrete Math. 44(1983), 325–326) solution of then-candidate ballot problem, determinantal expressions are obtained. As corollaries the generating functions for skew plane partitions, column-strict skew plane partitions, reverse skew plane plane partitions and column-strict reverse skew plane partitions, respectively, are evaluated, thus establishing partly new results, partly new proofs for known theorems in the theory of plane partitions.     

On Rapidly Convergent Series Expressions for Zeta- and L-Values,and Log Sine Integrals

Regarding the rapidly convergent series expansion for special values of - and L-functions for integer points, there are two approaches.One approach starts from Euler's 1772 formula for (3) and culminates in Srivastava's very recent results via many intermediate results, and the other is due to Wilton's investigation, which was shown by us (Aeq. Math. 59, 2000, 1–19) to be a consequence of Ramanujan's work (Collected Papers of Srinivasa Ramanujan, CUP 1927, reprint Chelsea, 1962, pp. 163–168).More recently, Katsurada (Acta Arith. 90, 1999, 79–89.) has generalized all existing formulas into a rather wide framework of Dirichlet L-functions.Our purpose is to show that even the most general Katsurada's formulas are easy consequences of our fundamental summation formulas for the series with Hurwitz zeta-function coefficients.We give a three-line proof of Katsurada's main theorem, and also we make some remarks on the recent paper of Bradley (The Ramanujan J. 3, 1999, 159–173).     

The realization of networks of convex polyhedra with equiangular vertices. 4

A fundamental theorem on closed polyhedra with equiangular vertices is presented. The proof of the theorem was begun in parts 1–3 of this paper. Here, in part 4, we find the polyhedra containing faces of type (4, 4,n) and (4, 5,n)-a total of 44 polyhedra and one infinite series of polyhedra dual to prisms. One table. Seven figures.Translated from Ukrainskií Geometricheskií Sbornik, Issue 29, 1986, pp. 32–47.     

Explicit inverse of a tridiagonal k−Toeplitz matrix

Summary We obtain explicit formulas for the entries of the inverse of a nonsingular and irreducible tridiagonal k–Toeplitz matrix A. The proof is based on results from the theory of orthogonal polynomials and it is shown that the entries of the inverse of such a matrix are given in terms of Chebyshev polynomials of the second kind. We also compute the characteristic polynomial of A which enables us to state some conditions for the existence of A^–1. Our results also extend known results for the case when the residue mod k of the order of A is equal to 0 or k–1 (Numer. Math., 10 (1967), pp. 153–161.).The work was supported by CMUC (Centro de Matemática da Universidade de Coimbra) and by Acção Integrada Luso-Espanhola E-6/03