An algebra of meromorphic corner symbols

Operators on manifolds with corners that have base configurations with geometric singularities can be analysed in the frame of a conormal symbolic structure which is in spirit similar to the one for conical singularities of Kondrat'ev's work. Solvability of elliptic equations and asymptotics of solutions are determined by meromorphic conormal symbols. We study the case when the base has edge singularities which is a natural assumption in a number of applications. There are new phenomena, caused by a specific kind of higher degeneracy of the underlying symbols. We introduce an algebra of meromorphic edge operators that depend on complex parameters and investigate meromorphic inverses in the parameter-dependent elliptic case. Among the examples are resolvents of elliptic differential operators on manifolds with edges.     

衍/折射光学元件消二级光谱的设计

 采用衍/折射光学元件结合的方法，使用两种玻璃设计了星载用长焦距望远物镜，对其二级光谱进行了校正。具体介绍了衍/折透镜望远透镜消二级光谱方法、步骤。计算机模拟结果表明：校正后的望远物镜轴上位置色差小于0.08mm，满足使用要求，并且设计方法步骤简单。     

Kinetic Models for Chemotaxis and their Drift-Diffusion Limits

Kinetic models for chemotaxis, nonlinearly coupled to a Poisson equation for the chemo-attractant density, are considered. Under suitable assumptions on the turning kernel (including models introduced by Othmer, Dunbar and Alt), convergence in the macroscopic limit to a drift-diffusion model is proven. The drift-diffusion models derived in this way include the classical Keller-Segel model. Furthermore, sufficient conditions for kinetic models are given such that finite-time-blow-up does not occur. Examples are given satisfying these conditions, whereas the macroscopic limit problem is known to exhibit finite-time-blow-up. The main analytical tools are entropy techniques for the macroscopic limit as well as results from potential theory for the control of the chemo-attractant density.Present address: Centro de Matemática e Aplicações Fundamentais, Universidade de Lisboa, Av. Prof. Gama Pinto 2, 1649-003, Lisboa, Portugal     

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].     

Construction of the fundamental solution of disturbed parabolic equation

In present paper the parabolic equation solution is built. The construction is reduced to iterative procedure. And convergence of the latter is proven.     

Drift transforms and Green function estimates for discontinuous processes

In this paper, we consider Girsanov transforms of pure jump type for discontinuous Markov processes. We show that, under some quite natural conditions, the Green functions of the Girsanov transformed process are comparable to those of the original process. As an application of the general results, the drift transform of symmetric stable processes is studied in detail. In particular, we show that the relativistic α-stable process in a bounded C^1,1-smooth open set D can be obtained from symmetric α-stable process in D through a combination of a pure jump Girsanov transform and a Feynman-Kac transform. From this, we deduce that the Green functions for these two processes in D are comparable.     

Thinking and Turing's test

The questions raised by A. M. Turing in his paper on thought and machines are discussed. Human thought is considered in turn as a concept of normal language usage, as a basic concept of psychology, and as the basis of intellectual activity. It is concluded that neither of these notions of thought identifies something specific that a human being can or cannot do. The imitation game proposed by Turing for deciding whether a machine can think is found to result from an arbitrary empoverishment of the channel of communication between the interrogator and the item under investigation. Turing's notions of thinking are shown to lead to logical difficulties. An alternative view of consciousness, that would place it beyond the reach of any finite test, is finally discussed.