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.

     

Existence of a solution for two phase flow in porous media: The case that the porosity depends on the pressure

In this paper we prove the existence of a solution of a coupled system involving a two phase incompressible flow in the ground and the mechanical deformation of the porous medium where the porosity is a function of the global pressure. The model is strongly coupled and involves a nonlinear degenerate parabolic equation. In order to show the existence of a weak solution, we consider a sequence of related uniformly parabolic problems and apply the Schauder fixed point theorem to show that they possess a classical solution. We then prove the relative compactness of sequences of solutions by means of the Fréchet-Kolmogorov theorem; this yields the convergence of a subsequence to a weak solution of the parabolic system.     

On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures

This paper proposes a mathematical model to compare a network organization with a hierarchical organization. In order to formulate the model, we define a three-dimensional framework of the coordination structure of a network and of other typical coordination structures. In the framework, we can define a network structure by contrasting it with a hierarchy, in terms of the distribution of decision making, which is one of the main features of information processing. Based on this definition, we have developed a mathematical model for evaluating coordination structures. Using this model, we can derive two boundary conditions among the coordination structures with respect to the optimal coordination structure. The boundary conditions help us to understand why an organization changes its coordination structure from a hierarchy to a network and what factors cause this change. They enable us, for example, to find points of structural change where the optimal coordination structure shifts from a hierarchy to a hierarchy with delegation or from a hierarchy with delegation to a network, when the nature of the task changes from routine to non-routine. In conclusion, our framework and model may provide a basis for discussing the processes that occur when coordination structures change between a hierarchy and a network.     

Formulation of the problem of sonic boom by a maneuvering aerofoil as a one-parameter family of Cauchy problems

For the structure of a sonic boom produced by a simple aerofoil at a large distance from its source we take a physical model which consists of a leading shock (LS), a trailing shock (TS) and a one-parameter family of nonlinear wavefronts in between the two shocks. Then we develop a mathematical model and show that according to this model the LS is governed by a hyperbolic system of equations in conservation form and the system of equations governing the TS has a pair of complex eigenvalues. Similarly, we show that a nonlinear wavefront originating from a point on the front part of the aerofoil is governed by a hyperbolic system of conservation laws and that originating from a point on the rear part is governed by a system of conservation laws, which is elliptic. Consequently, we expect the geometry of the TS to be kink-free and topologically different from the geometry of the LS. In the last section we point out an evidence of kinks on the LS and kink-free TS from the numerical solution of the Euler’s equations by Inoue, Sakai and Nishida [5].     

Spectrum of a homogeneous graph

We describe the spectrum of the Laplacian for a homogeneous graph acted on by a discrete group. This follows from a more general result which describes the spectrum of a convolution operator on a homogeneous space of a locally compact group. We also prove a version of Harnack inequality for a Schrödinger operator on an invariant homogeneous graph.     

Construction of a CPA contraction metric for periodic orbits using semidefinite optimization

A Riemannian metric with a local contraction property can be used to prove existence and uniqueness of a periodic orbit and determine a subset of its basin of attraction. While the existence of such a contraction metric is equivalent to the existence of an exponentially stable periodic orbit, the explicit construction of the metric is a difficult problem.In this paper, the construction of such a contraction metric is achieved by formulating it as an equivalent problem, namely a feasibility problem in semidefinite optimization. The contraction metric, a matrix-valued function, is constructed as a continuous piecewise affine (CPA) function, which is affine on each simplex of a triangulation of the phase space. The contraction conditions are formulated as conditions on the values at the vertices.The paper states a semidefinite optimization problem. We prove on the one hand that a feasible solution of the optimization problem determines a CPA contraction metric and on the other hand that the optimization problem is always feasible if the system has an exponentially stable periodic orbit and the triangulation is fine enough. An objective function can be used to obtain a bound on the largest Floquet exponent of the periodic orbit.     

Weak solutions for contact models involving a class of generalized materials

We consider a contact model for a class of generalized materials whose behaviour is described by means of a bipotential. Using the theory of the bipotentials we deliver a weak formulation consisting of a system of three variational inequalities. The unknown is a triple having as components the displacement field, the Cauchy stress tensor and a Lagrange multiplier related to the friction force on the frictional contact zone. We investigate the existence of the weak solutions by using a fixed point theorem for set-valued mappings and a minimization technique.     

Kripke submodels and universal sentences

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with (homo)morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms (including ? and ⊥) using ∧, ∨, ?, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model‐consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Mean-variance optimization problems for an accumulation phase in a defined benefit plan

In this paper we deal with contribution rate and asset allocation strategies in a pre-retirement accumulation phase. We consider a single cohort of workers and investigate a retirement plan of a defined benefit type in which an accumulated fund is converted into a life annuity. Due to the random evolution of a mortality intensity, the future price of an annuity, and as a result, the liability of the fund, is uncertain. A manager has control over a contribution rate and an investment strategy and is concerned with covering the random claim. We consider two mean-variance optimization problems, which are quadratic control problems with an additional constraint on the expected value of the terminal surplus of the fund. This functional objectives can be related to the well-established financial theory of claim hedging. The financial market consists of a risk-free asset with a constant force of interest and a risky asset whose price is driven by a Lévy noise, whereas the evolution of a mortality intensity is described by a stochastic differential equation driven by a Brownian motion. Techniques from the stochastic control theory are applied in order to find optimal strategies.     

Fredholm’s boundary-value problems for differential systems with a single delay

Conditions are derived for the existence of solutions of linear Fredholm’s boundary-value problems for systems of ordinary differential equations with constant coefficients and a single delay. Utilizing a delayed matrix exponential and a method of pseudo-inverse by Moore-Penrose matrices led to an explicit and analytical form of a criterion for the existence of solutions in a relevant space and, moreover, to the construction of a family of linearly independent solutions of such problems in a general case with the number of boundary conditions (defined by a linear vector functional) not coinciding with the number of unknowns of a differential system with a single delay.     

Mini-Maximizers for Reaction-Diffusion Systems with Skew-Gradient Structure

A reaction-diffusion system with skew-gradient structure is a sort of activator-inhibitor system that consists of two gradient systems coupled in a skew-symmetric way. Any steady state of such a system corresponds to a critical point of some functional. The aim of this paper is to study the relation between a stability property as a steady state of the reaction-diffusion system and a mini-maximizing property as a critical point of the functional. It is shown that a steady state of the skew-gradient system is stable regardless of time constants if and only if it is a mini-maximizer of the functional. It is also shown that the mini-maximizing property is closely related with the diffusion-induced instability. Moreover, by using the property that any mini-maximizer on a convex domain is spatially homogeneous, quite a general instability criterion is obtained for some activator-inhibitor systems. These results are applied to the diffusive FitzHugh-Nagumo system and the Gierer-Meinhardt system.     

The limit cycles of a second-order system of differential equations: The method of small forms

In this paper we investigate the existence of limit cycles of a system of the second-order differential equations with a vector parameter.We propose a method for representing a solution as a sum of forms with respect to the initial value and the parameter; we call this technique the method of small forms. We establish the conditions under which a sufficiently small neighborhood of the equilibrium point contains no limit cycles. We construct a polynomial, whose positive roots of odd multiplicity define the lower bound for the number of cycles, and simple positive roots (other positive roots do not exist) define the number of limit cycles in a sufficiently small neighborhood of the equilibrium point.We prove theorems, whose conditions guarantee that a positive root of odd multiplicity defines a unique limit cycle, but a positive root of even multiplicity defines exactly two limit cycles.We propose a method for defining the type of the stability of limit cycles.     

A Barrier Function Method for the Nonconvex Quadratic Programming Problem with Box Constraints

In this paper a barrier function method is proposed for approximating a solution of the nonconvex quadratic programming problem with box constraints. The method attempts to produce a solution of good quality by following a path as the barrier parameter decreases from a sufficiently large positive number. For a given value of the barrier parameter, the method searches for a minimum point of the barrier function in a descent direction, which has a desired property that the box constraints are always satisfied automatically if the step length is a number between zero and one. When all the diagonal entries of the objective function are negative, the method converges to at least a local minimum point of the problem if it yields a local minimum point of the barrier function for a sequence of decreasing values of the barrier parameter with zero limit. Numerical results show that the method always generates a global or near global minimum point as the barrier parameter decreases at a sufficiently slow pace.     

覆盖数不超过3的图上渡河问题

1000多年前,英国著名学者Alcuin曾提出一个古老的渡河问题,即狼、羊和卷心菜的渡河问题。2006年,Prisner把该问题推广到任意的冲突图上,考虑了一类情况更一般的渡河运输问题。所谓冲突图是指一个图G=(V,E),这里V代表某些物品的集合,V中的两个点有边连结当且仅当这两个点是冲突的,即在无人监管的情况下不允许留在一起的点。图G=(V,E)的一个可行运输方案是指在保证不发生任何冲突的前提下,把V的点所代表的物品全部摆渡到河对岸的一个运输方案。图G的Alcuin数定义为它存在可行运输方案时所需船的最小容量。本文讨论了覆盖数不超过3的连通图的Alcuin数,给出了该类图Alcuin数的完全刻画。     

Staircase Parameterization in Dynamical Selection

This paper deals with a variant of a dynamical selection scheme introduced by Attouch and Cominetti for ill-posed convex minimization which combines approximation with the steepest descent method by mean of a suitable parameterization of the approximation parameter as a function of the time. This variant applies to a general inclusion with a maximal monotone operator by mean of a staircase parameterization. A discrete analogue is also considered. Applications to selecting a particular zero of a maximal monotone operator or a particular fixed point of a nonexpansive mapping via regularization techniques are presented. Finally, the alternative use of well-posedness by perturbations is discussed.     

Dynamic contact problem for viscoelastic piezoelectric materials with normal damped response and friction

In this paper, we deal with a class of inequality problems for dynamic frictional contact between a piezoelectric body and a foundation. The model consists of a system of the hemivariational inequality of hyperbolic type for the displacement, the time dependent elliptic equation for the electric potential. The contact is modeled by a general normal damped response condition and a friction law, which are nonmonotone, possibly multivalued and have the subdifferential form. The existence of a weak solution to the model is proved by embedding the problem into a class of second-order evolution inclusions and by applying a surjectivity result for multivalued operators.     

Banach空间中非膨胀映象和α-逆强增生算子的强收敛性

在2-一致光滑的Banach空间中,引入一种新的迭代算法研究非膨胀映象的不动点集与α-逆强增生算子的变分不等式解集的公共元素,并获得了迭代算法的强收敛性定理.而且应用这些结果考虑了非膨胀映象和严格伪压缩映象公共不动点的收敛性问题.     

The Varieties of Tangent Lines to Hypersurfaces in Projective Spaces

For a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicity. We prove that this set of pairs forms a smooth variety for a general hypersurface.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E