Von Neumann Algebras and Hilbert Quantales

When A is a von Neumann algebra, the set of all weakly closed linear subspaces forms a Gelfand quantale, Max_w A. We prove that Max_w A is a von Neumann quantale for all von Neumann algebras A. The natural morphism from Max_w A to the Hilbert quantale on the lattice of weakly closed right ideals of A is, in general, not an isomorphism. However, when A is a von Neumann factor, its restriction to right-sided elements is an isomorphism and this leads to a new characterization of von Neumann factors.     

Optimal control of a nonlinear singular system with state constraints

A control system described by a nonlinear equation of parabolic type is considered in the situation where there may be no global solution. A particular optimal control problem subject to state constraints is studied. A proof of the existence of an optimal control is presented. The penalty method is used to obtain necessary conditions for optimal control. A proof of the convergence of this method is given. The successive approximation method is used to obtain an approximate solution for the conditions derived. Translated fromMatematicheskie Zametki, Vol. 60, No. 4, pp. 511–518, October, 1996.     

Quasi-direct sums of rings and their radicals

Let A, B be rings and P a radical property. Call B an A-Algebra if B is an A-bimodule such that (ba)b₁ = b(ab₁), (bb₁)a = b(b₁a), a(bb₁) = (ab)b₁ for any a ∈ A and any b,b₁ ∈ B. A ring R, written as R = A ? B, is called a quasi-direct sum of (A, B) if A is a subring of R, B is an ideal of R and R is a direct sum of A and B as additive groups. The following results are obtained: 1. A quasi-direct sum of (A, B) is uniquely determined by an A-Algebra B (up to isomorphism); 2. The P-radical of the Algebra B is the same as the P-radical of the ring B; 3. P(A ? B) = P(A) +(B) if and only if P(A)B + BP(A) ? P(B); 4. If B has an identity e then P(A ? B) = P(A)(1?e) + P(B); 5. If P(Z) = 0 for the integer ring Z, then P(M_n(R)) = M_n(P(R)) holds for all rings R if and only if the above equality holds for all unitary rings R. In addition, some relationships of radicals between rings (or algebras over a field, semigroup algebras, etc.) and their corresponding identity extensions are discussed.     

Faithful Inner Ideals in Jbw*-Triples

The kernel Ker(J) and the annihilator J^⊥ of a weak*-closed inner ideal J in a JBW*-triple A consist of the sets of elements a in A for which {J a J} and {J a A} are zero, respectively, and J is said to be faithful if, for every non-zero ideal I in A, I ∩ Ker (J) is non-zero. It is shown that every weak*-closed inner ideal J in A has a unique orthogonal decomposition into a faithful weak*-closed inner ideal f(J) and a weak*-closed ideal f (J)^⊥ ∩ J of A. The central structure of f ( J) is investigated and used to show that J has zero annihilator if and only if it coincides with the multiplier of f (J). The results are applied to the cases in which J is the Peirce-two or Peirce-zero space A₂(v) or A₀(v) corresponding to a tripotent v in A, and to the case in which the JBW*-triple A is a von Neumann algebra.     

Spectral Lanczos decomposition method for solving single-phase fluid flow porous media

A three-dimensional well model (r ? θ ? z) for the simulation of single-phase fluid flow in porous media is developed. Rather than directly solving the 3-D parabolic PDE (partial differential equation) for fluid flow, the PDE is transformed to a linear operator problem that is defined as u = f( A ) σ , where A is a real symmetric square matrix and σ is a vector. The linear operator problem is solved by using the spectral Lanczos decomposition method. This formulation gives continuous solutions in time. A 7-point finite difference scheme is used for the spatial discretization. The model is useful for well testing problems as well as for the simulation of the wireline formation tester tool behavior in heterogeneous reservoirs. The linear operator formulation also permits us to obtain solutions in the Laplace domain, where the wellbore storage and skin can be incorporated analytically. The infinite-conductivity (uniform pressure) wellbore condition is preserved when mixed boundary conditions, such as partial penetration, occur. The numerical solutions are compared with the analytical solutions for fully and partially penetrated wells in a homogeneous reservoir. © 1994 John Wiley & Sons, Inc.     

Latin square and intersection of surface

A technique is developed here to estimate an unknown curve joining two points in a three dimensional Euclidean space. A special application presented here is a computer procedure to determine the intersection of two arbitrary given smooth surfaces. The method used is to assume that y is a function of x and the set (x,y(x)) lies on the projection of the intersection of two surfaces. The function y is determined by least square curve fitting on a Latin square of experimental values. The procedure is written in APL (A Programming Language). A set of preliminary results is presented. The results indicate that this is a successful procedure for some simple surfaces, including some conic surfaces.     

A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut‐free logic

A new technique for proving realisability results is presented, and is illustrated in detail for the simple case of arithmetic minus induction. CL is a Gentzen formulation of classical logic. CPQ is CL minus the Cut Rule. The basic proof theory and model theory of CPQ and CL is developed. For the semantics presented CPQ is a paraconsistent logic, i.e. there are non‐trivial CPQ models in which some sentences are both true and false. Two systems of arithmetic minus induction are introduced, CL‐A and CPQ‐A based on CL and CPQ, respectively. The realisability theorem for CPQ‐A is proved: It is shown constructively that to each theorem A of CPQ‐A there is a formula A *, a so‐called “realised disjunctive form of A ”, such that variables bound by essentially existential quantifiers in A * can be written as recursive functions of free variables and variables bound by essentially universal quantifiers. Realisability is then applied to prove the consistency of CL‐A, making use of certain finite non‐trivial inconsistent models of CPQ‐A. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

关于圈的完全正矩阵实现

本文给出了一个关联图为圈的非负、半正定矩阵A为完全正的一个充要条件.我们还证明了这样的矩阵A（当A为完全正时）的分解指数即为A的阶数.     

Variational Solutions for Eigenvalues of Single and Coupled Lam? Equations

The approach of Taylor & Arscott for the evaluation of eigenvaluesfor singly periodic Lam? equations is modified by truncatingthe infinite matrix representing Hill's equation to finite size.For two separate Lam? equations with a common separation constantA and a linear relation between their eigenvalues, A is foundby Newton's method; the required derivatives are expressed asexpectation values. Truncation to five or six rows is adequatefor most practical purposes. The results of Taylor for the deltawing problem are verified for small A, but for larger valuesof A perturbation expansions are shown to lead to quantitativelyand qualitatively erroneous results.     

Strong conjugation actions induced by flags of exact Borel subalgebras

Let A be a quasi-hereditary algebra with a strong exact Borel subalgebra. It is proved that for any standard semisimple subalgebra T there exists an exact Borel subalgebra B of A such that T is a maximal semisimple subalgebra of B. It is shown that the maximal length of flags of exact Borel subalgebras of A is the difference of the radium and the rank of Grothendic group of A plus 2. The number of conjugation-classes of exact Borel subalgebras is 1 if and only if A is basic; the number is 2 if and only if A is semisimple. For all other cases, this number is 0 or no less than 3. Furthermore, it is shown that all the exact Borel subalgebras are idempotent-conjugate to each other, that is, for any exact Borel subalgebras B and C of A, there exists an idempotent e of A, and an invertible element u of A, such that eBe = u^-1eCeu.     

Stress formulation for frictionless contact of an elastic-perfectly-plastic body

A mathematical model for frictionless contact of a deformable body with a rigid moving obstacle is analyzed. The Prandtl–Reuss elastic-perfectly-plastic constitutive law is used to describe the material's behavior, and contact is modeled with a unilateral condition imposed on the surface velocity. The problem is motivated by the process of the plowing of the ground. A variational formulation of the problem is derived in terms of the stresses and the existence of the unique weak solution is proven. The proof is based on arguments for differential inclusions obtained in A. Amassad, M. Shillor and M. Sofonea (2001). A quasistatic contact problem for an elastic perfectly plastic body with Tresca's friction. Nonlin. Anal., 35, 95–109. Finally, a study of the continuous dependence of the solution on the data is presented.     

Asymptotic expansions for partial solutions of the sixth Painlevé equation

A formalism for an averaging method for the Painlevé equations, in particular, the sixth equation, is developed. The problem is to describe the asymptotic behavior of the sixth Painlevé transcendental in the case where the module of the independent variable tends to infinity. The corresponding expansions contain an elliptic function (ansatz) in the principal term. The parameters of this function depend on the variable because of the modulation equation. The elliptic ansatz and the modulation equation for the sixth Painlevé equation are obtained in their explicit form. A partial solution of the modulation equation leading to a previously unknown asymptotic expansion for the partial solution of the sixth Painlevé equation is obtained.     

Energy-optimized bipedal running of a simple humanoid robot

A method to optimize energy efficiency for bipedal running robots is presented. A running model of a simple bipedal robot consisting of five rigid bodies connected by actuated revolute joints is introduced. The actuators' torques are generated by a trajectory tracking controller to produce periodic running gaits. The controller's reference trajectories are parameterized by Bézier polynomials. A numerical optimization is used to employ reference trajectories with optimal energy efficiency for average velocities in the range of 1.5 to 5.5 m/s. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Approximation by rational functions in complex regions

Approximation by rational functions R_n (z) (in the C and L_p metrics) on plane compacta is investigated. The possibility is studied of the coincidence of rational and polynomial approximations for all n, and some functions are described for which this coincidence holds. Approximations on finite sets of points are investigated, and an explanation is given of why there are functions which cannot be approximated by rational functions of degree not higher than n (in the C metric).Translated from Matematicheskie Zametki, Vol. 9, No. 2, pp. 121–130, February, 1971.Several questions concerning this work were discussed with the author by A. A. Gonchar. The author wishes to thank A. A. Gonchar for his help.     

A sequential sampling rule for selecting the most probable multinomial event

Summary A sequential sampling rule is given for selecting the most probable event from a multinomial distribution withk cells. A random number of observations is taken from the given multinomial distribution at each stage of sampling, where the number is distributed according to a Poisson distribution with mean λ. The sampling is stopped when the count in any cell is greater than or equal to a given positive integerN. The cell with the highest count is selected for the most probable event. The mathematical analysis of the problem is simplified as a result of the statistical independence of the cell frequencies due to the randomization of the sample number. The expected value of the stage when the sampling terminates is decreasing in λ. The sequential sampling scheme in which one observation is taken at a time until the highest cell count is equal toN, corresponds to λ→0. A table is given showing some properties of the given selection procedure.     

Identification of a dissipation coefficient by a variational method

A generalized inverse problem for the identification of the absorption coefficient for a hyperbolic system is considered. The well-posedness of the problem is examined. It is proved that the regular part of the solution is an L ₂ function, which reduces the inverse problem to minimizing the error functional. The gradient of the functional is determined in explicit form from the adjoint problem, and approximate formulas for its calculation are derived. A regularization algorithm for the solution of the inverse problem is considered. Numerical results obtained for various excitation sources are displayed.     

The development of a cellular automaton-finite volume model for dendritic growth

A cellular automaton to track the solid–liquid interface movement is linked to finite volume computations of solute diffusion to simulate the behavior of dendritic structures in binary alloys during solidification. A significant problem encountered in the CA formulation has been the presence of artificial anisotropy in growth kinetics introduced by a Cartesian CA grid. A new technique to track the interface movement is proposed to model dendritic growth in different crystallographic orientations while reducing the anisotropy due to grid orientation. The model stability with respect to the numerical parameters (cell size and time step) for various operating conditions is examined. A method for generating an operating window in Δt and Δx has been identified, in which the model gives a grid-independent set of results for calculated dendrite tip radius and tip undercooling. Finally, the model is compared to published experimental and analytical results for both directional and equiaxed growth conditions.     

Weak convergence of semimartingales and discretisation methods

Given a semimartingale one can construct a system (λ, A, B, C) where λ is the distribution of the initial value and (A, B, C) is the triple of global characteristics. Thus, given a process X and a system (λ, A, B, C) one can look for all probability measures P such that X is a P-semimartingale with initial distribution λ and global characteristics (A, B, C). We say that such a measure P is a solution to the semimartingale problem (λ, A, B, C).The paper is devoted to the study of a special type of semimartingale problem. We look for sufficient conditions to insure the existence of solutions and we develop a method to construct them by means of time-discretised schemes, using weak topology for probability measures.     

A matrix pencil approach computing the elementary divisors of a matrix: Numerical aspects and applications

In the present paper is presented a new matrix pencil-based numerical approach achieving the computation of the elementary divisors of a given matrixA ∈ C ^{n × n}. This computation is attained without performing similarity transformations and the whole procedure is based on the construction of the Piecewise Arithmetic Progression Sequence (PAPS) of the associated pencil λI _n - A of matrix A, for all the appropriate values of λ belonging to the set of eigenvalues of A. This technique produces a stable and accurate numerical algorithm working satisfactorily for matrices with a well defined eigenstructure. The whole technique can be applied for the computation of the first, second and Jordan canonical form of a given matrixA ∈ C ^{n × n}. The results are accurate for matrices possessing a well defined canonical form. In case of defective matrices, indications of the most appropriately computed canonical form are given.