共查询到20条相似文献,搜索用时 109 毫秒
1.
Günter Mayer 《Numerische Mathematik》1985,46(1):69-83
Summary Let
be a real irreduciblen×n interval matrix. Then a necessary and sufficient condition is given for the sequence
of the powers of an interval matrix
to converge to a matrix
which is not the null matrix. In addition a criterion for
is proved to decide whether the limit matrix
satisfies the condition of symmetry
. 相似文献
2.
Scott McCullough 《Integral Equations and Operator Theory》2001,39(3):335-362
Let
denote an annulus,E a finite subset of
with at least three elements, and
the ideal of functions in
which vanish at the points ofE. The quotient
does not have a completely isometric representation on a finite dimensional Hilbert space. This complements a result of [11] which implies that the quotient has an isometric representation on a Hilbert space of dimension twice the cardinality ofE. 相似文献
3.
Takuya Hara 《Integral Equations and Operator Theory》1992,15(4):551-567
Let
be a Hilbert space. A continuous positive operatorT on
uniquely determines a Hilbert space
which is continuously imbedded in
and for which
with the canonical imbedding
. A Kreîn space version of this result, however, is not valid in general. This paper provides a necessary and sufficient condition for that a continuous selfadjoint operatorT uniquely determines a Kreîn space (
) which is continuously imbedded in
and for which
with the canonical imbedding
. 相似文献
4.
Adam T. Zawilski 《Numerische Mathematik》1991,60(1):251-290
Summary The success of the cyclic Richardson iteration depends on the proper ordering of the acceleration parameters. We give a rigorous error analysis to show that, with the proper ordering, the relative error in the iterative method, when properly terminated, is not larger than the error incurred in stable direct methods such as Cholesky factorization. For both the computed approximation
tou=L
–1f satisfies
cond (L)u2–t and this bound is attainable. We also show that the residual norm
is bounded by L cond
. This bound is attainable for a small cycle lengthN. Our analysis suggests that for a larger cycle lengthN the residuals are bounded by
. We construct a theoretical example in which this bound is attainable. However we observed in all numerical tests that ultimately the residual norms were of order
. We explain why in practice even the factor
is never encountered. Therefore the residual stopping criterion for the Richardson iteration appears to be very reliable and the method itself appears to be stable.The author gratefully acknowledges partial support from ONR Contract N00014-85-K-0180On leave from the University of Krakow, Poland, during the spring semester 1989 相似文献
5.
LetT be a contraction acting in a separable Hilbert space
and leaving invariant a nest
of subspaces of
. We answer the question: when doesT have an isometric extension to
which leaves invariant the nest
= {N N :N
;}. 相似文献
6.
Marilyn Breen 《Geometriae Dedicata》1996,60(3):283-288
Let
be a family of simple polygons in the plane. If every three (not necessarily distinct) members of
have a simply connected union and every two members of
have a nonempty intersection, then {P:P in
}
. Applying the result to a finite family
of orthogonally convex polygons, the set {C:C in
} will be another orthogonally convex polygon, and, in certain circumstances, the dimension of this intersection can be determined.Supported in part by NSF grant DMS-9207019. 相似文献
7.
We consider the spaceL(D) consisting of Lipschitz continuous mappings fromD to the Euclideann-space
n
,D being an open bounded subset of
n
. LetF belong toL(D) and suppose that
solves the equationF(x) = 0. In case that the generalized Jacobian ofF at
is nonsingular (in the sense of Clarke, 1983), we show that forG nearF (with respect to a natural norm) the systemG(x) = 0 has a unique solution, sayx(G), in a neighborhood of
Moreover, the mapping which sendsG tox(G) is shown to be Lipschitz continuous. The latter result is connected with the sensitivity of strongly stable stationary points in the sense of Kojima (1980); here, the linear independence constraint qualification is assumed to be satisfied. 相似文献
8.
The problem (P) of optimizing a linear functiond
T
x over the efficient set for a multiple-objective linear program (M) is difficult because the efficient set is typically nonconvex. Given the objective function directiond and the set of domination directionsD, ifd
T
0 for all nonzero D, then a technique for finding an optimal solution of (P) is presented in Section 2. Otherwise, given a current efficient point
, if there is no adjacent efficient edge yielding an increase ind
T
x, then a cutting plane
is used to obtain a multiple-objective linear program (
) with a reduced feasible set and an efficient set
. To find a better efficient point, we solve the problem (Ii) of maximizingc
i
T
x over the reduced feasible set in (
) sequentially fori. If there is a
that is an optimal solution of (Ii) for somei and
, then we can choosex
i
as a current efficient point. Pivoting on the reduced feasible set allows us to find a better efficient point or to show that the current efficient point
is optimal for (P). Two algorithms for solving (P) in a finite sequence of pivots are presented along with a numerical example.The authors would like to thank an anonymous referee, H. P. Benson, and P. L. Yu for numerous helpful comments on this paper. 相似文献
9.
Rudolf Scharlau 《Geometriae Dedicata》1987,24(1):77-84
Following earlier work of Tits [8], this paper deals with the structure of buildings which are not necessarily thick; that is, possessing panels (faces of codimension 1) which are contained in two chambers, only. To every building , there is canonically associated a thick building
whose Weyl group W(
) can be considered as a reflection subgroup of the Weyl group W() of . One can reconstruct from
together with the embedding W(
) W(). Conversely, if
is any thick building and W any reflection group containing W(
) as a reflection subgroup, there exists a weak building with Weyl group W and associated thick building
. 相似文献
10.
Graeme West 《Integral Equations and Operator Theory》1995,22(3):352-359
Suppose
is a von Neumann algebra on a Hilbert space
and
is any ideal in
. We determine a topology
on
, for which the members of
that are
to norm continuous are exactly those in
; and a bornology
on
such that the elements of
which map the unit ball to an element of
, equivalently those members of
that are norm to
bounded, are exactly those in
. This is achieved via analogues of the notions of injectivity and surjectivity in the theory of operator ideals on Banach spaces. 相似文献
11.
Caixing Gu 《Integral Equations and Operator Theory》1993,16(1):82-97
Two functionals (A) and
for an operatorA were introduced in [11] for the study of causality in commutant lifting theory. In this paper we give sufficient and necessary conditions for
in a special case. We prove that in this case
, and we show by some examples related to nonlinear system control that
is the best constant in our inequality. 相似文献
12.
John Harding 《Order》1993,10(3):283-294
If
is a variety of orthomodular lattices generated by a set of orthomodular lattices having a finite uniform upper bound om the length of their chains, then the MacNeille completion of every algebra in
again belongs to
.The author gratefully acknowledges the support of NSERC. 相似文献
13.
Let
be aC-lattice which is strong join principally generated. In this paper, we consider prime elements of
for which every semiprimary element is primary. We show, for example, that a compact nonmaximal primep with this property is principal. We also show that if every primepm has this property, then
is either a one dimensional domain or a primary lattice. It follows that if every primep satisfies the property, and if there are only a finite number of minimal primes in
, then
is the finite direct product of one-dimensional domains and primary lattices. 相似文献
14.
J. C. Dunn 《Numerische Mathematik》1988,53(4):377-409
Summary Recently developed projected Newton methods for minimization problems in polyhedrons and Cartesian products of Euclidean balls are extended here to general convex feasible sets defined by finitely many smooth nonlinear inequalities. Iterate sequences generated by this scheme are shown to be locally superlinearly convergent to nonsingular extremals
, and more specifically, to local minimizers
satisfying the standard second order Kuhn-Tucker sufficient conditions; moreover, all such convergent iterate sequences eventually enter and remain within the smooth manifold defined by the active constraints at
. Implementation issues are considered for large scale specially structured nonlinear programs, and in particular, for multistage discrete-time optimal control problems; in the latter case, overall per iteration computational costs will typically increase only linearly with the number of stages. Sample calculations are presented for nonlinear programs in a right circular cylinder in 3.Investigation supported by NSF Research Grant #DMS-85-03746 相似文献
15.
Dr. John Walsh 《Probability Theory and Related Fields》1970,14(3):169-188
Summary In this paper we treat a time-symmetrical Martin boundary theory for continuous parameter Markov chains. This is done by reversing the time sense of a Markov chainX
t
in such a way as to obtain a dual Markov chain
, and considering the two chains together. Various relations between the Martin exit boundaries
and
of these processes are studied. The exit boundary
of
, is in a sense an entrance boundary forX
t
and vice versa. After a natural identification of certain points in
and
one can topologizeI
in such a way thatboth X
t and
have standard modifications in this space which are right continuous, have left limits, and are strongly Markov.Research supported in part at Stanford University, Stanford, California under AFOSR 0049. 相似文献
16.
In the view-obstruction problem, congruent, closed convex bodies centred at the points
in
n
are expanded uniformly until they block all rays from the origin into the open positive cone. The central problem is to determine the minimal blocking size. In the case of spheres of diameter 1 and cubes of side 1 these values are known forn=2, 3 and 4. Here we show that in 5, this value for the sphere of diameter 1 is
. 相似文献
17.
M. G. Krein 《Mathematical Notes》1978,23(1):45-50
Let
, respectively, denote the sets of continuous, measurable, and almost-everywhere vanishing functions f(x) (–a<x<a; f(0)>0). The theorem is proved that for every
there correspond
and
, such that f=fc + fs. Some unsolved problems related to this theorem are formulated.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 79–89, January, 1978. 相似文献
18.
Klaus Reuter 《Order》1989,6(3):277-293
It is known that for incidence structures
and
, max
, wheref dim stands for Ferrers relation. We shall show that under additional assumptions on
and
, both bounds can be improved. Especially it will be shown that the square of a three-dimensional ordered set is at least four-dimensional. 相似文献
19.
Edgar R. Lorch 《Integral Equations and Operator Theory》1981,4(3):422-434
The objects studied are the subalgebras of
which contain co. These are isometrically isomorphic to the algebras C(
) where
is a compactification of a discrete denumerable set N . It is shown: 1) If
is metric then there is a projection of norm 1, P: C(
) C(
) with kernel co defined by PF = f o where is a retraction of
onto
=
– N . 2) If
is metric, then the group of homeomorphisms of
is isomorphic to a complete group of permutations of the natural numbers . 3) The group of homeomorphisms of a compact metric space is the homomorphic image of a complete group of permutations of ("complete" means "no outer automorphisms, trivial center"). 相似文献
20.
Let a trajectory and control pair
maximize globally the functional g(x(T)) in the basic optimal control problem. Then (evidently) any pair (x,u) from the level set of the functional g corresponding to the value g(
(T)) is also globally optimal and satisfies the Pontryagin maximum principle. It is shown that this necessary condition for global optimality of
turns out to be a sufficient one under the additional assumption of nondegeneracy of the maximum principle for every pair (x,u) from the above-mentioned level set. In particular, if the pair
satisfies the Pontryagin maximum principle which is nondegenerate in the sense that for the Hamiltonian H, we have along the pair
on [0,T], and if there is no another pair (x,u) such that g(x(T))=g(
(T)), then
is a global maximizer. 相似文献