A Fubini theorem

Let I₀ be the σ-ideal of subsets of a Polish group generated by Borel sets which have perfectly many pairwise disjoint translates. We prove that a Fubini-type theorem holds between I₀ and the σ-ideals of Haar measure zero sets and of meager sets. We use this result to give a simple proof of a generalization of a theorem of Balcerzak-Ros?anowski-Shelah stating that I₀ on N² strongly violates the countable chain condition.     

Invariant measures and regularity properties of perturbed Ornstein-Uhlenbeck semigroups

This paper deals with perturbations of the Ornstein-Uhlenbeck operator on L²-spaces with respect to a Gaussian measure μ. We perturb the generator of the Ornstein-Uhlenbeck semigroup by a certain unbounded, non-linear drift, and show various properties of the perturbed semigroup such as compactness and positivity. Strong Feller property, existence and uniqueness of an invariant measure are discussed as well.     

On Genuine Bernstein–Durrmeyer Operators

We continue the studies on the so–called genuine Bernstein–Durrmeyer operators U _n by establishing a recurrence formula for the moments and by investigating the semigroup T(t) approximated by U _n . Moreover, for sufficiently smooth functions the degree of this convergence is estimated. We also determine the eigenstructure of U _n , compute the moments of T(t) and establish asymptotic formulas. Received: January 26, 2007.     

The essential Lagrangian-Grassmannian and the homotopy type of the Fredholm Lagrangian-Grassmannian

Let H be a separable infinite dimensional Hilbert space endowed with a symplectic structure and let L₀⊂H be a Lagrangian subspace. Using the results of [A. Abbondandolo, P. Majer, Infinite dimensional Grassmannians, math.AT/0307192], we show that the Fredholm Lagrangian-Grassmannian FL₀(Λ) has the homotopy type of Gc(L₀), the Grassmannian of all Lagrangian subspaces of H that are compact perturbations of L₀. It is well known that the latter has the homotopy type of the quotient U(∞)/O(∞). As a corollary, we recover a result by B. Booss-Bavnbek and K. Furutani (see [B. Booss-Bavnbek, K. Furutani, Symplectic functional analysis and spectral invariants, Contemp. Math. 242 (1999) 53-83; K. Furutani, Fredholm-Lagrangian-Grassmannian and the Maslov index, J. Geom. Phys. 51 (2004) 269-331]) that the L₀-Maslov index is an isomorphism between the fundamental group of FL₀(Λ) and the integers.     

Some geometrical aspects of semidefinite linear complementarity problems

This article studies some geometrical aspects of the semidefinite linear complementarity problem (SDLCP), which can be viewed as a generalization of the well-known linear complementarity problem (LCP). SDLCP is a special case of a complementarity problem over a closed convex cone, where the cone considered is the closed convex cone of positive semidefinite matrices. It arises naturally in the unified formulation of a pair of primal-dual semidefinite programming problems. In this article, we introduce the notion of complementary cones in the semidefinite setting using the faces of the cone of positive semidefinite matrices and show that unlike complementary cones induced by an LCP, semidefinite complementary cones need not be closed. However, under R₀-property of the linear transformation, closedness of all the semidefinite complementary cones induced by L is ensured. We also introduce the notion of a principal subtransformation with respect to a face of the cone of positive semidefinite matrices and show that for a self-adjoint linear transformation, strict copositivity is equivalent to strict semimonotonicity of each principal subtransformation. Besides the above, various other solution properties of SDLCP will be interpreted and studied geometrically.     

The way of Diophantus: Some clarifications on Diophantus' method of solution

In the introduction of the Arithmetica Diophantus says that in order to solve arithmetical problems one has to “follow the way he (Diophantus) will show.” The present paper has a threefold objective. Firstly, the meaning of this sentence is discussed, the conclusion being that Diophantus had elaborated a program for handling various arithmetical problems. Secondly, it is claimed that what is analyzed in the introduction is definitions of several terms, the exhibition of their symbolism, the way one may operate with them, but, most significantly, the main stages of the program itself. And thirdly, it is argued that Diophantus' intention in the Arithmetica is to show the way the stages of his program should be practically applied in various arithmetical problems.     

The Sheffer group and the Riordan group

We define the Sheffer group of all Sheffer-type polynomials and prove the isomorphism between the Sheffer group and the Riordan group. An equivalence of the Riordan array pair and generalized Stirling number pair is also presented. Finally, we discuss a higher dimensional extension of Riordan array pairs.     

A two-step biomimetic synthesis of antimalarial robustadials A and B

The antimalarial robustadials A and B have been synthesized in two steps starting from commercially available phloroglucinol comprising a key biomimetic three-component reaction that involves in situ generation of an o-quinone methide via Knoevenagel condensation and subsequent Diels-Alder cycloaddition with (−)-β-pinene.     

Generalized Physical and SRB Measures for Hyperbolic Diffeomorphisms

In this paper we introduce the notion of generalized physical and SRB measures. These measures naturally generalize classical physical and SRB measures to measures which are supported on invariant sets that are not necessarily attractors. We then perform a detailed case study of these measures for hyperbolic Hènon maps. For this class of systems we are able to develop a complete theory about the existence, uniqueness, finiteness, and properties of these natural measures. Moreover, we derive a classification for the existence of a measure of full dimension. We also consider general hyperbolic surface diffeomorphisms and discuss possible extensions of, as well as the differences to, the results for Hènon maps. Finally, we study the regular dependence of the dimension of the generalized physical/SRB measure on the diffeomorphism. For the proofs we apply various techniques from smooth ergodic theory including the thermodynamic formalism. 2000 Mathematics Subject Classification. Primary: 37C45, 37D20, 37D35, Secondary: 37A35, 37E30     

Beyond Cartesian limits: Leibniz's passage from algebraic to “transcendental” mathematics

This article deals with Leibniz's reception of Descartes' “geometry.” Leibnizian mathematics was based on five fundamental notions: calculus, characteristic, art of invention, method, and freedom. On the basis of methodological considerations Leibniz criticized Descartes' restriction of geometry to objects that could be given in terms of algebraic (i.e., finite) equations: “Descartes's mind was the limit of science.” The failure of algebra to solve equations of higher degree led Leibniz to develop linear algebra, and the failure of algebra to deal with transcendental problems led him to conceive of a science of the infinite. Hence Leibniz reconstructed the mathematical corpus, created new (transcendental) notions, and redefined known notions (equality, exactness, construction), thus establishing “a veritable complement of algebra for the transcendentals”: infinite equations, i.e., infinite series, became inestimable tools of mathematical research.