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.     

A large deviation principle for 2D stochastic Navier–Stokes equation

In this paper one specifies the ergodic behavior of the 2D-stochastic Navier–Stokes equation by giving a Large Deviation Principle for the occupation measure for large time. It describes the exact rate of exponential convergence. The considered random force is non-degenerate and compatible with the strong Feller property.     

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.     

A non-isothermal Ginzburg–Landau model in superconductivity: Existence,uniqueness and asymptotic behaviour

In this paper we study a Ginzburg–Landau model which describes the behaviour of a superconducting material including thermal effects. We extend the traditional formulation of the problem, by introducing the temperature as an additional state variable. Accordingly, together with the Gor’kov–Eliashberg system, we introduce an evolution equation for the absolute temperature. We examine in detail the case which allows only variations of the concentration of superconducting electrons and of the temperature, neglecting the electromagnetic field. For this problem existence and uniqueness of the solution are shown. Finally we analyze the asymptotic behaviour of the solutions, proving that the system possesses a global attractor.     

Fire containment in grids of dimension three and higher

We consider a deterministic discrete-time model of fire spread introduced by Hartnell [Firefighter! an application of domination, Presentation, in: 20th Conference on Numerical Mathematics and Computing, University of Manitoba in Winnipeg, Canada, September 1995] and the problem of minimizing the number of burnt vertices when a fixed number of vertices can be defended by firefighters per time step. While only two firefighters per time step are needed in the two-dimensional lattice to contain any outbreak, we prove a conjecture of Wang and Moeller [Fire control on graphs, J. Combin. Math. Combin. Comput. 41 (2002) 19-34] that 2d-1 firefighters per time step are needed to contain a fire outbreak starting at a single vertex in the d-dimensional square lattice for d?3; we also prove that in the d-dimensional lattice, d?3, for each positive integer f there is some outbreak of fire such that f firefighters per time step are insufficient to contain the outbreak. We prove another conjecture of Wang and Moeller that the proportion of elements in the three-dimensional grid P_n×P_n×P_n which can be saved with one firefighter per time step when an outbreak starts at one vertex goes to 0 as n gets large. Finally, we use integer programming to prove results about the minimum number of time steps needed and minimum number of burnt vertices when containing a fire outbreak in the two-dimensional square lattice with two firefighters per time step.     

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.     

Second order evolution equations with time-dependent subdifferentials

We study an abstract second order nonlinear evolution equation in a real Hilbert space. We consider time-dependent convex functions and their subdifferentials operating on the first derivative of the unknown function. Introducing appropriate assumptions on the convex functions and other data, we prove the existence and uniqueness of a strong solution, and give some applications of the abstract theorem to hyperbolic variational inequalities with time-dependent constraints.      

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.