Diffusion in poro‐plastic media

A model is developed for the flow of a slightly compressible fluid through a saturated inelastic porous medium. The initial‐boundary‐value problem is a system that consists of the diffusion equation for the fluid coupled to the momentum equation for the porous solid together with a constitutive law which includes a possibly hysteretic relation of elasto‐visco‐plastic type. The variational form of this problem in Hilbert space is a non‐linear evolution equation for which the existence and uniqueness of a global strong solution is proved by means of monotonicity methods. Various degenerate situations are permitted, such as incompressible fluid, negligible porosity, or a quasi‐static momentum equation. The essential sufficient conditions for the well‐posedness of the system consist of an ellipticity condition on the term for diffusion of fluid and either a viscous or a hardening assumption in the constitutive relation for the porous solid. Copyright © 2004 John Wiley & Sons, Ltd.     

Existence of global strong solution to the micropolar fluid system in a bounded domain

In this paper we are concerned with the initial boundary value problem of the micropolar fluid system in a three dimensional bounded domain. We study the resolvent problem of the linearized equations and prove the generation of analytic semigroup and its time decay estimates. In particular, L^p–L^q type estimates are obtained. By use of the L^p–L^q estimates for the semigroup, we prove the existence theorem of global in time solution to the original nonlinear problem for small initial data. Furthermore, we study the magneto‐micropolar fluid system in the final section. Copyright © 2005 John Wiley & Sons, Ltd.     

OU型Markov过程的不变测度及弱对偶性

本文研究ＯＵ型Ｍａｒｋｏｖ过程的不变测度、参考测度和弱对偶半群的存在性问题，并得出了不变测度的唯一性。     

The universal nilpotent group compactification of a semigroup

The purpose of this paper is to introduce an algebra of functions on a semitopological semigroup and to study these functions from the point of view of universal semigroup compactification. We show that the corresponding semigroup compactification of this algebra is universal with respect to the property of being a nilpotent group.

     

Semigroups of matrices of intermediate growth

Finitely generated linear semigroups over a field K that have intermediate growth are considered. New classes of such semigroups are found and a conjecture on the equivalence of the subexponential growth of a finitely generated linear semigroup S and the nonexistence of free noncommutative subsemigroups in S, or equivalently the existence of a nontrivial identity satisfied in S, is stated. This ‘growth alternative’ conjecture is proved for linear semigroups of degree 2, 3 or 4. Certain results supporting the general conjecture are obtained. As the main tool, a new combinatorial property of groups is introduced and studied.     

Trace Extensions,Determinant Bundles,and Gauge Group Cocycles

We study the geometry of determinant line bundles associated with Dirac operators on compact odd-dimensional manifolds. Physically, these arise as (local) vacuum line bundles in quantum gauge theory. We give a simplified derivation of the commutator anomaly formula using a construction based on noncyclic trace extensions and associated nonmultiplicative renormalized determinants.     

Hele-Shaw type problems with dynamical boundary conditions

In this paper, we study the nonlinear evolution equation of Hele-Shaw type with dynamical boundary conditions. That is, the equation ut=Δw+f where u∈H(w) and H is the Heaviside function, with boundary condition μ(x,w)t_∂w+k∇w⋅ν=g, where ν denotes the outward normal vector of the fixed boundary of the domain. We prove existence, uniqueness and some qualitative properties of the solution.     

Linear Relations, Differential Inclusions, and Degenerate Semigroups

A generalized linear differential equation in a Banach space is studied. The construction of a phase space and solutions with the help of the spectral theory of linear operators, ergodic theorems, and degenerate semigroups of linear operators is carried out.