High power CW solid-state multilaser system

A laser system containing four CW Nd:YAG double-rod lasers, transforming optics and a fibre with input-output optics has been designed and investigated. It is shown that reduction of the beam parameter product of the non-Gaussian beams in the image space of the lens has made it possible to collect the emission of four lasers to the same fibre. Independent laser operation has provided the output power control in the range of 10–900 W with a stable light spot size on the input end of the fibre.     

The Witt ring of a Brauer–Severi variety

For a Brauer–Severi variety X over a field k of characteristic not two, every symmetric bilinear space over X up to Witt equivalence is defined over k. Received: 2 February 1998     

Variational treatment for the dynamical pseudo Jahn-Teller system

We present a variational treatment for the E × e pseudo Jahn-Teller system. Through canonical transformation the electron and phonon states are decoupled. An analytical form is obtained for the ground state energy by scaling transformation. Including both the dynamical displacement of phonon modes and the softening of phonon frequency, this approach yields fairly accurate results for the ground state energy. The energy splitting and Ham's reduction factor are calculated, which also generates fairly good results compared with other perturbation results. We argue that our variational wave function is valid for the weak and intermediate coupling range.     

完备可分度量群上的齐次Levy过程的复合Poisson逼近

该文利用算子半群的方法给出了取值于具有左不变度量的完备可分群的齐次Levy过程是复合Poisson过程的弱极限这一结论．     

A direct independence proof of Buchholz's Hydra Game on finite labeled trees

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows. Received: August 23, 1994 / Revised: July 24, 1995 and May 9, 1996     

Meeting infinitely many cells of a partition once

We investigate several versions of a cardinal characteristic defined by Frankiewicz. Vojtáš showed , and Blass showed . We show that all the versions coincide and that is greater than or equal to the splitting number. We prove the consistency of and of . Received: 2 October 1996 / Revised version: 22 May 1997     

Diffusing particles with electrostatic repulsion

Summary. We study a diffusion model of an interacting particles system with general drift and diffusion coefficients, and electrostatic inter-particles repulsion. More precisely, the finite particle system is shown to be well defined thanks to recent results on multivalued stochastic differential equations (see [2]), and then we consider the behaviour of this system when the number of particles goes to infinity (through the empirical measure process). In the particular case of affine drift and constant diffusion coefficient, we prove that a limiting measure-valued process exists and is the unique solution of a deterministic PDE. Our treatment of the convergence problem (as ) is partly similar to that of T. Chan [3] and L.C.G. Rogers - Z. Shi [5], except we consider here a more general case allowing collisions between particles, which leads to a second-order limiting PDE. Received: 5 August 1996 / In revised form: 17 October 1996     

A note on minimization problems and multistep methods

Summary. We use the qualitative properties of the solution flow of the gradient equation to compute a local minimum of a real-valued function . Under the regularity assumption of all equilibria we show a convergence result for bounded trajectories of a consistent, strictly stable linear multistep method applied to the gradient equation. Moreover, we compare the asymptotic features of the numerical and the exact solutions as done by Humphries, Stuart (1994) and Schropp (1995) for one-step methods. In the case of -stable formulae this leads to an efficient solver for stiff minimization problems. Received July 10, 1995 / Revised version received June 27, 1996