On the Optimal Value Function of a Linearly Perturbed Quadratic Program

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.     

Equational Theories for Classes of Finite Semigroups

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.     

An Lp-Lq-Version of Morgan’s Theorem for the Dunkl-Bessel Transform

In this paper, we give an L^p-L^q-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     

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     

Exponential Dichotomy on the Real Line and Admissibility of Function Spaces

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      

On posets with isomorphic interval posets

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].     

Weak and strong solvability of parabolic variational inequalities in Banach spaces

We consider parabolic variational inequalities having the strong formulation

Strong Positivity in Right-Invariant Order on Braid Groups and Quasipositivity

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.     

Nearly Invariant Subspaces Related to Multiplication Operators in Hilbert Spaces of Analytic Functions

We consider Hilbert spaces of analytic functions defined on an open subset of , stable under the operator M_u 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 H²-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     

Perron Conditions for Pointwise and Global Exponential Dichotomy of Linear Skew-Product Flows

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 .     

Varieties Defined by Permutations

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 .     

On Invariance of Some Classes of Holomorphic Functions Under Integrodifferential Operators

The following classes of functions analytic in the unit disk are considered:

Exponential Stability of Semigroups Related to Operator Models in Mechanics

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 ₀-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.     

Asymptotic Properties of Generalized Feynman–Kac Functionals

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

Solution of the Truncated Parabolic Moment Problem

Given real numbers with ₀₀ >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     

On the Growth of the Denominators of Convergents

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 .     

The Invariants of the Clifford Groups

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(M^m). 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.     

Boundary Estimates for Solutions of the Parabolic Free Boundary Problem

Let u and solve the problem

The Fourier Formula for Discontinuous Functions of Several Variables

An analog of the classical Fourier formula for the characteristic function of a convex compact set is considered:

On Complete Arcs Arising from Plane Curves

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.