On the Essential Self-Adjointness of Wick Powers of Relativistic Fields and of Fields Unitary Equivalent to Random Fields

The essential self-adjointness on a natural domain of the sharp-time Wick powers of the relativistic free field in two space-time dimension is proven. Other results on Wick powers are reviewed and discussed.     

Timelike Minimal Surfaces via Loop Groups

This work consists of two parts. In Part I, we shall give a systematic study of Lorentz conformal structure from structural viewpoints. We study manifolds with split-complex structure. We apply general results on split-complex structure for the study of Lorentz surfaces.In Part II, we study the conformal realization of Lorentz surfaces in the Minkowski 3-space via conformal minimal immersions. We apply loop group theoretic Weierstrass-type representation of timelike constant mean curvature for timelike minimal surfaces. Classical integral representation formula for timelike minimal surfaces will be recovered from loop group theoretic viewpoint.     

Isomorphisms of Certain Locally Nilpotent Finitary Groups and Associated Rings

For any chain Γ the ring NT(Γ,K) of all finitary Γ-matrices ‖a _ij ‖ _i,jεΓ over an associative ring K with zeros on and above the main diagonal is locally nilpotent and hence radical. If R′=NT(Γ′,K′),R=NT(Γ,K) and either |Γ|<∞ or K is a ring with no zero-divisors, then isomorphisms between rings R and R′, their adjoint groups and associated Lie rings are described.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Analysis of end point vibrations of a two-link manipulator by integrated CAD/CAE procedures

In this work, the effect of flexibility on the trajectory of a planar two-link manipulator is studied using integrated computer-aided design/analysis (CAD/CAE) procedures. The solid models and finite element models of the parts of the manipulator are created by using the CAD/CAE software I-DEAS. The assembly is defined, and knowing the payload and the end point trajectory, the velocities and accelerations of the parts, joint forces and driving torques are calculated using the rigid body dynamics. All the time dependent nodal forces acting on the parts including distributed gravity and inertia forces are created in files with the I-DEAS program file format. The finite element vibration analysis of the parts is performed by I-DEAS. The end point vibrations and the deviations from the rigid-body trajectory are analyzed for different types of end point acceleration curves. A circular trajectory is considered as an example. It is observed that the precision of the manipulator can be increased by testing different end point acceleration curves without changing the trajectory and the duration of the end point work. The procedure explained in this work can be used for this purpose successfully.     

A relaxed model and its homogenization for nematic liquid crystals in composite materials

We analyse a model for equilibrium configurations of composite systems of nematic liquid crystal with polymer inclusions, in the presence of an external magnetic field. We assume that the system has a periodic structure, and consider the relaxed problem on the unit length constraint of the nematic director field. The relaxation of the Oseen–Frank energy functional is carried out by including bulk as well as surface energy penalty terms, rendering the problem fully non‐linear. We employ two‐scale convergence methods to obtain effective configurations of the system, as the size of the polymeric inclusions tends to zero. We discuss the minimizers of the effective energies for, both, the constrained as well as the unconstrained models. Copyright © 2004 John Wiley & Sons, Ltd.     

Non-protein amino acids in peptide design

An overview of the use of non-protein amino acids in the design of conformationally well-defined peptides, based on work from the author’s laboratory, is discussed. The crystal structures of several designed oligopeptides illustrate the useα-aminoisobutyric acid (Aib) in the construction of helices, D-amino acids in the design of helix termination segments and^DPro-Xxx segments for nucleating ofβ-hairpin structures.β- andγ-amino acid residues have been used to expand the range of designed polypeptide structures. Dedicated to Professor C N R Rao on his 70th birthday     

Microwave-accelerated conjugate addition of aldehydes to α,β-unsaturated ketones

Aldehydes undergo smooth conjugate addition to α,β-unsaturated ketones in the presence of 5-(2-hydroxyethyl)-1,3-thiazolium halides and DBU adsorbed onto the surface of basic alumina under microwave irradiation and solvent-free conditions to afford 1,4-diketones in enhanced yields and reduced reaction times compared to conventional methods.