Pressure Stabilization Method for Steady Viscous Flows in a System of Pipes

This paper deals with a singular perturbation of the stationary Stokes and Navier-Stokes systems. The term ε²Δp is added to the continuity equation, where ε is a small parameter. For a domain with cylindrical outlets to infinity and exponentially decaying data, existence and uniqueness of solutions under flux conditions at infinity are established for the linear problem and also for the nonlinear problem in the case of small data. Asymptotically exact estimates are proved for ε tending to zero. For sufficiently regular data, these estimates imply the convergence in H _loc ^5/2−δ for the velocity parts and in H _loc ^3/2−δ for the pressure parts, respectively. Bibliography: 17 titles.Dedicated to V. A. Solonnikov on the occasion of his 70th birthday__________Published in Zapiski Nauchnykh Seminarov POMI, Vol. 306, 2003, pp. 107–133.     

Partially isometric dilations of noncommuting -tuples of operators

Given a row contraction of operators on a Hilbert space and a family of projections on the space that stabilizes the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries that satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold decomposition for partial isometries to describe the models for these dilations, and we discuss how the basic properties of a dilation depend on the row contraction.

     

Characteristic Operator of a Diffusion Process

Semi-Markov processes of diffusion type in the d-dimensional space (d > 1) are considered. We assume that the transition generating function of such a process satisfies a second-order differential equation of elliptic type. We apply methods of differential equations theory, especially of the theory of the Dirichlet problem, to study the transition generating function for a small neighborhood of the initial point of the process. Asymptotic expansions in the small scale parameter are obtained both for the first exit point distribution density and for the first exit time expectation for the case where the trajectory of the process leaves a small neighborhood of the initial point. We prove the existence of the Dynkin characteristic operator determined by a decreasing sequence of neighborhoods. Bibliography: 9 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 293, 2003, pp. 226–251.     

Variational Derivative for Buckling Loads of Beams and Frames

The finite-difference method is a numerical technique for obtaining approximate solutions to differential equations. The main objective of the present study is to give a new aspect to the finite-difference method by using a variational derivative. By applying this formulation, accurate values of the buckling loads of beams and frames with various end supports are obtained. The performance of this formulation is verified by comparison with numerical examples in the literature __________ Published in Prikladnaya Mekhanika, Vol. 41, No. 7, pp. 139–144, July 2005.     

Monotone Nonincreasing Random Fields on Partially Ordered Sets. I

For an arbitrary poset H and measure ρ on H × _R (where _R is the real axis), we construct a monotone decreasing stochastic field η_ρ and compute its finite-dimensional distributions. In the case where H is a Λ-semilattice and the measure ρ satisfies additional conditions, we compute various characteristics of the field η_ρ such as the expectation of the field value at a point, variance of the field value at a point, and correlation function of the field. The described construction of random fields gives a new method for constructing positive definite functions on posets. Bibliography: 6 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 301, 2003, pp. 92–143.     

Experiences in Expert Systems

This paper describes some work carried out in the Scientific Research and Development Branch (SRDB) of the Home Office, intended to contribute to an overall aim of building up internal expertise in the field of expert systems. This was done by carrying out a number of pilot and demonstrator projects, two of which are described in some detail. The plan, which proved successful, was to build as far as possible on the relevant skills already possessed by an OR group in the branch. The lessons learned from these are summarized in the hope that they will be of use to other groups who wish to become involved in this important area.     

Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.