共查询到20条相似文献,搜索用时 187 毫秒
1.
In the solution of the monotone variational inequality problem VI(, F), with
the augmented Lagrangian method (a decomposition method) is advantageous and effective when
. For some problems of interest, where both the constraint sets
and
are proper subsets in
and
, the original augmented Lagrangian method is no longer applicable. For this class of variational inequality problems, we introduce a decomposition method and prove its convergence. Promising numerical results are presented, indicating the effectiveness of the proposed method. 相似文献
2.
Niels Jakob Laustsen 《K-Theory》2001,23(2):115-127
We prove that the K-groups of the Banach algebra
of bounded, linear operators on the pth James space
, where 1 < p < , are given by
and
. Moreover, for each Banach space
and each non-zero, closed ideal
contained in the ideal of inessential operators, we show that
and
. This enables us to calculate the K-groups of
for each Banach space
which is a direct sum of finitely many James spaces and
-spaces. 相似文献
3.
On a given cone (resp. vector space)
we consider an initial topology and order induced by a family of linear operators into a second cone
which carries a locally convex topology. We prove that monotone linear functionals on
which are continuous with respect to this initial topology may be represented as certain integrals of continuous linear functionals on
. Based on the Riesz representation theorem from measure theory, we derive an integral version of the Jordan decomposition for linear functionals on ordered vector spaces. 相似文献
4.
Natalie M. Priebe 《Geometriae Dedicata》2000,79(3):239-265
In this paper, a technique for analyzing levels of hierarchy in a tiling
of Euclidean space is presented. Fixing a central configuration P of tiles in
, a `derived Voronoï' tessellation
P is constructed based on the locations of copies of P in
. A family of derived Voronoï tilings
is formed by allowing the central configurations to vary through an infinite number of possibilities. The family
will normally be an infinite one, but we show that for a self-similar tiling
it is finite up to similarity. In addition, we show that if the family
is finite up to similarity, then
is pseudo-self-similar. The relationship between self-similarity and pseudo-self-similarity is not well understood, and this is the obstruction to a complete characterization of self-similarity via our method. A discussion and conjecture on the connection between the two forms of hierarchy for tilings is provided. 相似文献
5.
We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let
denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let
and
denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of
with respect to p. By a hyper-duality of
, we mean an automorphism of
such that
for all
; and
is a duality of
.
is said to be hyper-self-dual whenever there exists a hyper-duality of
. We say that
is strongly hyper-self-dual whenever there exists a hyper-duality of
which can be expressed as conjugation by an invertible element of
. We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra. 相似文献
6.
O. V. Sarafanov 《Journal of Mathematical Sciences》2004,120(2):1195-1239
The C
*-algebra
generated by the operators of pseudodifferential boundary value problems on a manifold
with smooth closed disjoint edges and boundary
is studied. The operators act in the space L
2(
)
L
2(
). The goal of this paper is to describe all (up to an equivalence) irreducible representations of the algebra
Bibliography: 12 titles. 相似文献
7.
Ján Jakubík 《Czechoslovak Mathematical Journal》2002,52(3):651-663
Let Int
be the lattice of all intervals of an MV-algebra
. In the present paper we investigate the relations between direct product decompositions of
and (i) the lattice Int
, or (ii) 2-periodic isometries on
, respectively. 相似文献
8.
9.
Mathematical Properties of Optimization Problems Defined by Positively Homogeneous Functions 总被引:2,自引:0,他引:2
J. B. Lasserre J. B. Hiriart-Urruty 《Journal of Optimization Theory and Applications》2002,112(1):31-52
We consider the nonlinear programming problem
with
positively p-homogeneous and
positively q-homogeneous functions. We show that
admits a simple min–max formulation
with the inner max-problem being a trivial linear program with a single constraint. This provides a new formulation of the linear programming problem and the linear-quadratic one as well. In particular, under some conditions, a global (nonconvex) optimization problem with quadratic data is shown to be equivalent to a convex minimization problem. 相似文献
10.
Adem Kilicman 《Czechoslovak Mathematical Journal》2001,51(3):463-471
Let
,
be ultradistributions in
and let
and
where
is a sequence in
which converges to the Dirac-delta function
. Then the neutrix product
is defined on the space of ultradistributions
as the neutrix limit of the sequence
provided the limit
exist in the sense that
for all in
. We also prove that the neutrix convolution product
exist in
, if and only if the neutrix product
exist in
and the exchange formula
is then satisfied. 相似文献
11.
A. I. Budkin 《Algebra and Logic》2000,39(6):363-369
Let
be a class of all groups G for which the normal closure (x)
G
of every element x belongs to a class
.
is a Levi class generated by
. Let
and
0 be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that
and
, and so
and
. It is shown that quasivarieties
and
are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that
is closed under free products if so is
. 相似文献
12.
We construct the trajectory attractor
of a three-dimensional Navier--Stokes system with exciting force
. The set
consists of a class of solutions to this system which are bounded in
, defined on the positive semi-infinite interval
of the time axis, and can be extended to the entire time axis
so that they still remain bounded-in-
solutions of the Navier--Stokes system. In this case any family of bounded-in-
solutions of this system comes arbitrary close to the trajectory attractor
. We prove that the solutions
are continuous in t if they are treated in the space of functions ranging in
. The restriction of the trajectory attractor
to
,
, is called the global attractor of the Navier--Stokes system. We prove that the global attractor
thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as
the trajectory attractors
and the global attractors
of the
-order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors
and
, respectively. Similar problems are studied for the cases of an exciting force of the form
depending on time
and of an external force
rapidly oscillating with respect to the spatial variables or with respect to time
. 相似文献
13.
Let
be an
-filtered category in the sense of Karoubi. This is the categorical analogue of an ideal
in a ring
. Pedersen and Weibel constructed a fibration of K-theory spectra associated with the sequence
. We present a new easier proof based on Waldhausen' generic fibration. 相似文献
14.
Florence Merlevède Magda Peligrad Sergey Utev 《Journal of Theoretical Probability》1997,10(3):681-693
In this paper we study the behavior of sums of a linear process
associated to a strictly stationary sequence
with values in a real separable Hilbert space and
are linear operators from H to H. One of the results is that
satisfies the CLT provided
are i.i.d. centered having finite second moments and
. We shall provide an example which shows that the condition on the operators is essentially sharp. Extensions of this result are given for sequences of weak dependent random variables
under minimal conditions. 相似文献
15.
Juraj Činčura 《Applied Categorical Structures》1998,6(4):527-530
Let
be an epireflective subcategory of the category Top of topological spaces which is not contained in the category of indiscrete spaces (e.g. Top, the category of Hausdorff spaces, the category of Tychonoff spaces) and
be a coreflective subcategory of
. In this paper we prove that the coreflector
preserves regular epimorphisms if and only if
or
is contained in the category of discrete spaces. 相似文献
16.
In this paper, we consider equations of the form
, where
is a function with values in the Hilbert space
, the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in
. The linear operator
generating the C
0-semigroup in the energy space
is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms. 相似文献
17.
Let be the set of nonnegative integers and the ring of integers. Let
be the ring of N × N matrices over generated by the following two matrices: one obtained from the identity matrix by shifting the ones one position to the right and the other one position down. This ring plays an important role in the study of directly finite rings. Calculation of invertible and idempotent elements of
yields that the subrings generated by them coincide. This subring is the sum of the ideal
consisting of all matrices in
with only a finite number of nonzero entries and the subring of
generated by the identity matrix. Regular elements are also described. We characterize all ideals of
, show that all ideals are finitely generated and that not all ideals of
are principal. Some general ring theoretic properties of
are also established. 相似文献
18.
In the open disk
of the complex plane, we consider the following spaces of functions: the Bloch space
; the Hardy--Sobolev space
; and the Hardy--Besov space
. It is shown that if all the poles of the rational function R of degree n,
, lie in the domain
, then
, where
and
depends only on
. The second of these inequalities for the case of the half-plane was obtained by Semmes in 1984. The proof given by Semmes was based on the use of Hankel operators, while our proof uses the special integral representation of rational functions. 相似文献
19.
There are exactlytwo non-equivalent [32,11,12]-codes in the binaryReed-Muller code
which contain
and have the weight set {0,12,16,20,32}. Alternatively,the 4-spaces in the projective space
over the vector space
for which all points have rank 4 fall into exactlytwo orbits under the natural action of PGL(5) on
. 相似文献
20.
Let
be a hereditary torsion theory for the category
-mod of unital left
-modules over an associative ring
with an identity element. The purpose of this note is to prove that if the associated Gabriel filter
consists of finitely presented left ideals, then every module has a
-injective cover and if
contains a cofinal subset of finitely presented left ideals, then every module has a
-torsionfree
-injective cover. The methods used working with pure submodules contained in ``large" submodules also allow to unify the proofs of some previously known results. 相似文献