Galerkin method for optimal control of second‐order evolution equations

This paper presents the Galerkin approximation of the optimization problem of a system governed by non‐linear second‐order evolution equation where a non‐linear operator depends on derivative of the state of the system. The control is acting on a non‐linear equation. After giving some results on the existence of optimal control we shall prove the existence of the weak and strong condensation points of a set of solutions of the approximate optimization problems. Each of these points is a solution of the initial optimization problem. Finally we shall give a simple example using the obtained results. Copyright © 2004 John Wiley & Sons, Ltd.     

New efficient catalysts for the aerobic oxidation of ethers

Some nickel, copper, and silver salts or complexes are efficient catalysts for the oxidation of benzylic ethers with oxygen in 1,2-dimethoxyethane. Salts of the weakly coordinating anion trifluoroacetate are particularly efficient, approaching (and, in some cases, improving) the yields obtained with cobalt(II) chloride, the best catalyst so far reported.     

On deformations of Hamiltonian actions

In this paper we generalize to coisotropic actions of compact Lie groups a theorem of Guillemin on deformations of Hamiltonian structures on compact symplectic manifolds. We show how one can reconstruct from the moment polytope the symplectic form on the manifold. Received: 21 March 2006     

Modulated DSC for gas hydrates analysis

Modulated DSC has been applied to the study of methane, ethane and propane hydrates at different hydrate and ice concentrations. The reversing component of the TMDSC curves, makes it possible to characterize such hydrates. Methane and ethane hydrates show the melting-decomposition peak at a temperatures higher than the ice contained in the sample, while propane hydrate melts and decomposes at lower temperature than the ice present in the sample. The hydrate peaks tend to disappear if the hydrate is stored at atmospheric pressure. Guest size and cavity occupation fix the heat of dissociation and stability of the hydrates, as confirmed by parallel tests on tetrahydrofurane hydrates.     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

On the invariant measure for the quasi‐linear Lasota equation

The problem of the existence of the invariant measure is important considering its connections with chaotic behaviour. In the papers (Zesz. Nauk. Uniw. Jagiellońskiego, Pr. Mat. 1982; 23 :117–123; Ann. Pol. Math. 1983; XLI :129–137; J. Differential Equations 2004; 196 :448–465) the existence of invariant and ergodic measures according to the dynamical system generated by the Lasota equation was proved, i.e. the equation describing the dynamics and becoming different of the population of cells. In this paper, the existence of such measure for the quasi‐linear Lasota equation is proved. This measure is the carriage of the measure described by Dawidowicz (Zesz. Nauk. Uniw. Jagiellońskiego, Pr. Mat. 1982; 23 :117–123). Copyright © 2006 John Wiley & Sons, Ltd.     

Integral and differential form of the protein folding problem

The availability of the complete genomic sequences of many species, including human, has raised enormous expectations in medicine, pharmacology, ecology, biotechnology and forensic sciences. However, knowledge is only a first step toward understanding, and we are only at the early stage of a scientific process that might lead us to satisfy all the expectations raised by the genomic projects. In this review I will discuss the present status of computational methods that attempt to infer the unique three-dimensional structure of proteins from their amino acid sequences. Although this problem has been defined as the “holy grail” of biology, it represents only one of the many hurdles in our path towards the understanding of life at a molecular level.     

Generalized Relative Entropies as Contrast Functionals on Density Matrices

We use a class of generalized relative entropies on density matrices to obtain one-parameter families of torsion-free affine connections.     

Diagram Literacy in Preservice Math Teachers, Computer Science Majors, and Typical Undergraduates: The Case of Matrices, Networks, and Hierarchies

According to the National Council of Teachers of Mathematics (2000), children need to learn how to create and use mathematical diagrams to represent and reason about phenomena in the world. The author proposes a model of diagram literacy that includes six types of knowledge required for diagrammatic competence - implicit, construction, similarity, structural, metacognitive, and translational. A study is reported that examined college students' diagram literacy for three interrelated mathematical diagrams - matrices, networks, and hierarchies. Three groups of students participated: preservice, secondary-level, math teachers; computer science majors; and typical undergraduates. The results of the study are reassuring in some ways concerning the level of diagram literacy possessed by students at the culmination of current K through 12 instruction and by teachers of future secondary students. However, the results also point to areas in which preservice math teachers should be better prepared if the goals for students' diagram literacy are to be met.