Bounded Positive Solutions of Schrödinger Equations in Two-Dimensional Exterior Domains

We prove under quite general assumptions the existence of a bounded positive solution to the semilinear Schrödinger equation in a two-dimensional exterior domain.     

Nonlinear Free Boundary Problems with Singular Source Terms

We prove the existence of solutions to nonlinear free boundary problem with singularities at given points.     

On the Long-Time Behavior of the Quantum Fokker-Planck Equation

We analyze the long-time behavior of transport equations for a class of dissipative quantum systems with Fokker-planck type diffusion operator, subject to confining potentials of harmonic oscillator type. We establish the existence and uniqueness of a non-equilibrium steady state for the corresponding dynamics. Further, using a (classical) convex Sobolev inequality, we prove an optimal exponential rate of decay towards this state and additionally give precise dispersion estimates in those cases, where no stationary state exists.     

On a Definitizable Analog of the Trigonometric Moment Problem Generating an Indefinite Toeplitz Form

We prove the existence of an integro-polynomial representation for a sequence of numbers such that there exists a difference operator mapping this sequence to a sequence that generates the solvable trigonometric moment problem. A similar result related to the power moment problem was given in [12].     

Metric and Periodic Lines in Real Inner Product Space Geometries

The lines of euclidean and hyperbolic geometries are characterized as metric lines in the sense of Blumenthal–Menger, and the lines of spherical and elliptic geometry as periodic ones. In euclidean geometries there do not exist periodic lines.     

Invariant ideals of twisted crossed products

We will prove a result concerning the inclusion of non-trivial invariant ideals inside non-trivial ideals of a twisted crossed product. We will also give results concerning the primeness and simplicity of crossed products of twisted actions of locally compact groups on -algebras. Received: 25 January 2002; in final form: 22 May 2002/Published online: 2 December 2002 This work is partially supported by Hong Kong RGC Direct Grant.     

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     

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