Mathematical and numerical analysis of a simplified time-dependent viscoelastic flow

A time-dependent model corresponding to an Oldroyd-B viscoelastic fluid is considered, the convective terms being disregarded. Global existence in time is proved in Banach spaces provided the data are small enough, using the implicit function theorem and a maximum regularity property for a three fields Stokes problem. A finite element discretization in space is then proposed. Existence of the numerical solution is proved for small data, so as a priori error estimates, using again an implicit function theorem. Supported by the Swiss National Science Foundation. Fellowship PBEL2–114311.     

Separating points of measures on effect algebras

We prove the existence of separating points for every countable family of nonatomic σ-additive modular measures on a σ-complete lattice ordered effect algebra.      

A second order numerical scheme for the solution of the one-dimensional Boussinesq equation

A predictor–corrector (P-C) scheme is applied successfully to a nonlinear method arising from the use of rational approximants to the matrix-exponential term in a three-time level recurrence relation. The resulting nonlinear finite-difference scheme, which is analyzed for local truncation error and stability, is solved using a P-C scheme, in which the predictor and the corrector are explicit schemes of order 2. This scheme is accelerated by using a modification (MPC) in which the already evaluated values are used for the corrector. The behaviour of the P-C/MPC schemes is tested numerically on the Boussinesq equation already known from the bibliography free of boundary conditions. The numerical results are derived for both the bad and the good Boussinesq equation and conclusions from the relevant known results are derived.      

Embedding and wavelet decomposition of spaces of minimal splines

On a sequence of embedded nonuniform grids, chains of embedded spaces of minimal splines (not necessarily polynomial) are constructed. The wavelet decomposition is given. The basis wavelets are compactly supported and admit simple analytic representation. The corresponding decomposition and reconstruction formulas are derived. The variety of spaces under consideration is identified with the variety of complete sequences of points of the direct product of an interval and a projective plane. Bibliography: 20 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 35, 2007, pp. 15–31     

Results of the maximum genus of graphs

In this paper,we provide a new class of up-embeddable graphs,and obtain a tight lower bound on the maximum genus of a class of 2-connected pseudographs of diameter 2 and of a class of diameter 4 multi-graphs.This extends a result of Skoviera.     

Lefschetz–Verdier Trace Formula and a Generalization of a Theorem of Fujiwara

The goal of this paper is to generalize a theorem of Fujiwara (Deligne’s conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langlands correspondence over function fields. Moreover, our proof is more elementary than the original one and stays in the realm of ordinary algebraic geometry, that is, does not use rigid geometry. We also give a proof of the Lefschetz–Verdier trace formula and of the additivity of filtered trace maps, thus making the paper essentially self-contained. The work was supported by the Israel Science Foundation (Grant No. 555/04) Received: May 2005 Accepted: August 2005     

Instability of Bose-Einstein condensates moving in optical lattices

We investigate the Landau damping of Bogoliubov excitations in a dilute Bose gas moving in an optical lattice at a finite temperature. Using a 1D tight-binding model, we explicitly obtain the Landau damping rate, the sign of which determines the stability of the condensate. We find that the sign changes at a certain velocity, which is exactly the same as the critical velocity determined by the Landau criterion of superfluidity. This coincidence reveals the microscopic mechanism of the Landau instability.     

On structure of small contractions of odd dimensional projective varieties

Let X be a smooth projective variety of dimension 2k-1 (k≥3) over the complex number field. Assume that fR: X→Y is a small contraction such that every irreducible component Ei of the exceptional locus of fR is a smooth subvariety of dimension k. It is shown that each Ei is isomorphic to the k-dimensional projective space Pk, the k-dimensional hyperquadric surface Qk in Pk 1, or a linear Pk-1-bundle over a smooth curve.     

Characterization of Metallo Bis(terpyridine) Diblock Polymers by Nonaqueous Capillary Zone Electrophoresis

A method of nonaqueous capillary zone electrophoresis (CZE) has been developed to characterize block (co)polymers of poly(ethylene oxide) and poly(styrene) containing metallo bis(terpyridine) complexes as bridging units. Specific CZE separation conditions had to be applied, with barium perchlorate dissolved in N-methylformamide (NMF) as background electrolyte and OV-1701-OH deactivated capillaries. For detection UV absorption was measured at a wavelength of 316 nm. Metallo diblock polymers with molecular weights up to 30,000 Da could be analyzed by the proposed nonaqueous CZE method. Experiments performed with polymeric compounds containing Fe, Ni or Ru as central metal ions showed that their electrophoretic mobilities were independent of the type of metal ion. Therefore, the data on the size of the polymeric compounds could be obtained using just one set of calibration standards. Polydispersities of the samples calculated from the experimental results were in correlation with the polydispersities of the polymers used in the synthesis of the metallo diblock polymers. Several polymeric samples contained metallo mono(terpyridine) complexes as impurities. These by-products could be separated from the main product. With symmetrical diblock polymers only one by-product was detected, while with an asymmetric diblock polymer two types of mono-complexes were found. The amount of the mono-complexes present as impurities was dependent on the type of central metal ion (Ni > Fe >> Ru).     

An alternative approach for non-linear optimal control problems based on the method of moments

We propose an alternative method for computing effectively the solution of non-linear, fixed-terminal-time, optimal control problems when they are given in Lagrange, Bolza or Mayer forms. This method works well when the nonlinearities in the control variable can be expressed as polynomials. The essential of this proposal is the transformation of a non-linear, non-convex optimal control problem into an equivalent optimal control problem with linear and convex structure. The method is based on global optimization of polynomials by the method of moments. With this method we can determine either the existence or lacking of minimizers. In addition, we can calculate generalized solutions when the original problem lacks of minimizers. We also present the numerical schemes to solve several examples arising in science and technology.