共查询到20条相似文献,搜索用时 82 毫秒
1.
The optimal value function
of the quadratic program
, where
is a given symmetric matrix,
a given matrix,
and
are the linear perturbations, is considered. It is proved that
is directionally differentiable at any point
in its effective domain
. Formulae for computing the directional derivative
of
at
in a direction
are obtained. We also present an example showing that, in general,
is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed. 相似文献
2.
V. Yu. Popov 《Algebra and Logic》2001,40(1):55-66
It is proved that there exists an infinite sequence of finitely based semigroup varieties
such that, for all i, an equational theory for
and for the class
of all finite semigroups in
is undecidable while an equational theory for
and for the class
of all finite semigroups in
is decidable. An infinite sequence of finitely based semigroup varieties
is constructed so that, for all i, an equational theory for
and for the class
of all finite semigroups in
is decidable whicle an equational theory for
and for the class
of all finite semigroups in
is not. 相似文献
3.
In this paper, we give an Lp-Lq-version of Morgans theorem for the Dunkl-Bessel transform
on
More precisely, we prove that for all
and
then for all measurable function f on
the conditions
and
imply f = 0, if and only if
where
are the Lebesgue spaces associated with the Dunkl-Bessel transform.Received: November 21, 2003 Revised: April 26, 2004 Accepted: May 28, 2004 相似文献
4.
The Aronszajn–Donoghue Theory for Rank One Perturbations of the
$$\mathcal{H}_{-2} {\text{-Class}}$$
A singular rank one perturbation
of a self-adjoint operator A in a Hilbert space
is considered, where
and
but
with
the usual A–scale of Hilbert spaces. A modified version of the Aronszajn-Krein formula is given. It has the form
where F denotes the regularized Borel transform of the scalar spectral measure of A associated with . Using this formula we develop a variant of the well known Aronszajn–Donoghue spectral theory for a general rank one perturbation of the
class.Submitted: March 14, 2002 Revised: December 15, 2002 相似文献
5.
The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real
line. We consider a general class of Banach function spaces denoted
and we prove that if
with
and the pair
is admissible for an evolution family
then
is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair
for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary
and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs
and
with
相似文献
6.
Judita Lihová 《Czechoslovak Mathematical Journal》1999,49(1):67-80
Let
be a partially ordered set, Int
the system of all (nonempty) intervals of
partially ordered by the set-theoretical inclusion
. We are interested in partially ordered sets
with Int
isomorphic to Int
. We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If
is a directed partially ordered set, the only
with Int
isomorphic to Int
are
corresponding to direct decompositions
of
(
denotes the dual of
. The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11]. 相似文献
7.
We consider parabolic variational inequalities having the strong formulation
where
for some admissible initial datum, V is a separable Banach space with separable dual
is an appropriate monotone operator, and
is a convex,
lower semicontinuous functional. Well-posedness of (1) follows from an explicit construction of the related semigroup
Illustrative applications to free boundary problems and to parabolic problems in Orlicz-Sobolev spaces are given. 相似文献
((1)) |
8.
S. Yu. Orevkov 《Mathematical Notes》2000,68(5-6):588-593
Dehornoy constructed a right invariant order on the braid group B
n uniquely defined by the condition
1{\text{ if }}\beta _0 ,\beta _1$$
" align="middle" border="0">
are words in
. A braid is called strongly positive if
1$$
" align="middle" border="0">
for any
. In the present paper it is proved that the braid
is strongly positive if the word
does not contain
. We also provide a geometric proof of the result by Burckel and Laver that the standard generators of a braid group are strongly positive. Finally, we discuss relations between the right invariant order and quasipositivity. 相似文献
9.
We consider Hilbert spaces
of analytic functions defined on an open subset
of
, stable under the operator Mu of multiplication by some function u. Given a subspace
of
which is nearly invariant under division by u, we provide a factorization linking each element of
to elements of
on the inverse image under u of a certain complex disc, for which we give a relatively simple formula. By applying these results to
and u(z) = z, we obtain interesting results involving a H2-norm control. In particular, we deduce a factorization for the kernel of Toeplitz operators on Dirichlet spaces. Finally, we give a localization for the problem of extraneous zeros.Submitted: January 18, 2003 Revised: December 20, 2003 相似文献
10.
The aim of this paper is to give necessary and sufficient conditions for pointwise and uniform exponential dichotomy of linear skew-product flows. We shall obtain that the pointwise exponential dichotomy of a linear skew-product flow is equivalent to the pointwise admissibility of the pair
As a consequence, we prove that a linear skew-product flow on
is uniformly exponentially dichotomic if and only if the pair
is uniformly admissible for . 相似文献
11.
D. M. Smirnov 《Algebra and Logic》2003,42(2):136-146
We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form
. A criterion is given determining whether a cyclic variety
is interpretable in
. For a permutation
without fixed elements, it is stated that a set of primes
for which
is interpretable in
in the lattice
is finite. It is also proved that for distinct primes
, the Helly number of a type
in
coincides with dimension of the dual type
and equals
. 相似文献
12.
The following classes of functions analytic in the unit disk are considered:
and
where
is the Nevanlinna characteristic and
is a properly changing positive function on (0,1]. Necessary and sufficient conditions on
are established under which the classes
and
are invariant under the operators of differentiation and integration. Bibliography: 7 titles. 相似文献
13.
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. 相似文献
14.
Let (
) be a regular Dirichlet form on L2(X;m) and {Px}x X the Hunt process generated by (
). Let be a signed 'smooth measure' associated with (
) and At the continuous additive functional corresponding to the measure . Under some conditions on (
) and , we shall prove that
where
相似文献
15.
Given real numbers
with 00 >0 , the truncated parabolic moment problem for entails finding necessary and sufficient conditions for the existence of a positive Borel measure , supported in the parabola p(x, y) = 0, such that
We prove that admits a representing measure (as above) if and only if the associated moment matrix
is positive semidefinite, recursively generated and has a column relation p(X, Y) = 0, and the algebraic variety () associated to satisfies card
In this case, admits a rank
-atomic (minimal) representing measure.Submitted: August 25, 2003 相似文献
16.
C. Baxa 《Acta Mathematica Hungarica》1999,83(1-2):125-130
Let log
. We prove that there exist non-denumerably many pairwise not equivalent irrational numbers such that
and
where qn() denotes the denominator of the nth convergent of . 相似文献
17.
The automorphism group of the Barnes-Wall lattice L
m in dimension 2
m
(m ; 3) is a subgroup of index 2 in a certain Clifford group
of structure 2
+
1+2m
. O
+(2m,2). This group and its complex analogue
of structure
.Sp(2m, 2) have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge@apos;s 1996 result that the space of invariants for
of degree 2k is spanned by the complete weight enumerators of the codes
, where C ranges over all binary self-dual codes of length 2k; these are a basis if m k - 1. We also give new constructions for L
m and
: let M be the
-lattice with Gram matrix
. Then L
m is the rational part of M
m, and
= Aut(Mm). Also, if C is a binary self-dual code not generated by vectors of weight 2, then
is precisely the automorphism group of the complete weight enumerator of
. There are analogues of all these results for the complex group
, with doubly-even self-dual code instead of self-dual code. 相似文献
18.
D. E. Apushkinskaya H. Shahgholian N. N. Uraltseva 《Journal of Mathematical Sciences》2003,115(6):2720-2730
Let u and solve the problem
where is an open set in
0\} ,n \geqslant 2,H = \Delta - \partial _t \hfill \\ \hfill \\ \end{gathered} $$
" align="middle" border="0">
is the heat operator,
denotes the characteristic function of ,
is the unit cylinder in n+1,
, and the first equation is satisfied in the sense of distributions. We obtain the optimal regularity of the function u, i.e., we show that
. Bibliography: 6 titles. 相似文献
19.
An analog of the classical Fourier formula for the characteristic function of a convex compact set
is considered:
where W is a polyhedral in
. Bibliography: 6 titles. 相似文献
20.
Massimo Giulietti Fernanda Pambianco Fernando Torres Emanuela Ughi 《Designs, Codes and Cryptography》2002,25(3):237-246
We point out an interplay between
-Frobenius non-classical plane curves and complete
-arcs in
. A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete
-arcs with parameters
and
being a power of the characteristic. In addition, for q a square, new complete
-arcs with either
and
or
and
are constructed by using certain reducible plane curves. 相似文献