On the stability of solutions to quadratic programming problems

We consider the parametric programming problem (Q _p ) of minimizing the quadratic function f(x,p):=x ^T Ax+b ^T x subject to the constraint Cx≤d, where x∈ℝ ⁿ , A∈ℝ ^n×n , b∈ℝ ⁿ , C∈ℝ ^m×n , d∈ℝ ^m , and p:=(A,b,C,d) is the parameter. Here, the matrix A is not assumed to be positive semidefinite. The set of the global minimizers and the set of the local minimizers to (Q _p ) are denoted by M(p) and M ^loc (p), respectively. It is proved that if the point-to-set mapping M ^loc (·) is lower semicontinuous at p then M ^loc (p) is a nonempty set which consists of at most ? _m,n points, where ? _m,n = is the maximal cardinality of the antichains of distinct subsets of {1,2,...,m} which have at most n elements. It is proved also that the lower semicontinuity of M(·) at p implies that M(p) is a singleton. Under some regularity assumption, these necessary conditions become the sufficient ones. Received: November 5, 1997 / Accepted: September 12, 2000?Published online November 17, 2000     

On weak positive supercyclicity

A bounded linear operator T on a separable complex Banach space X is called weakly supercyclic if there exists a vector x ∈ X such that the projective orbit {λT ⁿ x: n ∈ ℕ λ ∈ ℂ} is weakly dense in X. Among other results, it is proved that an operator T such that σ _p (T ^*) = 0, is weakly supercyclic if and only if T is positive weakly supercyclic, that is, for every supercyclic vector x ∈ X, only considering the positive projective orbit: {rT ⁿ x: n ∈ ℂ, r ∈ ℝ₊} we obtain a weakly dense subset in X. As a consequence it is established the existence of non-weakly supercyclic vectors (non-trivial) for positive operators defined on an infinite dimensional separable complex Banach space. The paper is closed with concluding remarks and further directions. Partially supported by MEC MTM2006-09060 and MTM2006-15546, Junta de Andalucía FQM-257 and P06-FQM-02225. Partially supported by Junta de Andalucía FQM-257, and P06-FQM-02225     

ON THE STRUCTURE OF THEATTRACTORS OF HYPERBOLICITERATED FUNCTION SYSTEM

1.IntroductionThefractalsgeneratedbytheattractorsofiteratedfunctionsystems(i.f.s.)havebeenresearchedbymanyauthorsfl--3'6'7'9].ByaniteratedfunctionsystemwemeanacompactmetricspaceXtogetherwithacollectionofcontinuousmapsTI,T2,'tTNonit,denotedby(X,TI,',TN).IfalltheTi'sarecontractionswecall(X;TI,',TN)ahyperboliciteratedfunctionsystem(h.i.f.s.).NForanh.i.f.s.thereexistsacompactsubsetAofX,suchthatA=.UTi(A).Aiscalledtheattractoroftheh.i.f.s.DenoteZ=(1,2,',N)N,anddefineametricdonZby…     

C∞-équivalence entre tissus de Veronese et structures bihamiltoniennes

In this Note we show that in the C^∞ category the Veronese web locally determines the bihamiltonian structure. This fact has been conjectured by Gelfand and Zakharevich (see [2]).     

Orthogonality of elements with disjoint local spectrums

LetX be a Banach space andX ^* its dual space. ForT a densely defined closed linear operator, we denote byT ^* its adjoint. we show that ifx∈X andx ^* ∈X ^* have disjoint local spectrum with empty interior, therefore (x,x ^*)=0. This provides a simple proof and a generalization of a result of J. Finch.³ Regular Associate of the Abdus Salam ICTP     

Optimal properties of contraction semigroups in banach spaces

Suppose that(T _t )_t>0 is aC ₀ semi-group of contractions on a Banach spaceX, such that there exists a vectorx∈X, ‖x‖=1 verifyingJ ⁻¹(Jx)={x}, whereJ is the duality mapping fromX toP(X ^*). If |<T _t x,f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1 thenx is an eigenvector of the generatorA, associated with a purcly imaginary eigenvalue. Because of Lin's example [L], the hypothesis onx∈X is the best possible. If the hypothesisJ ⁻¹(Jx)={x} is not verified, we can prove that ifJx is a singleton and ifJ ⁻¹(Jx) is weakly compact, then if |<T _t x, f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1, there existsy∈J ⁻¹(Jx) such thaty is an eigenvector of the generatorA, associated with a purely imaginary eigenvalue. We give also a counter-example in the case whereX is one of the spaces ℓ₁ orL ₁.     

Orthogonal polynomials associated to a certain fourth order differential equation

We introduce orthogonal polynomials M_j^m,l(x)M_{j}^{\mu,\ell}(x) as eigenfunctions of a certain self-adjoint fourth order differential operator depending on two parameters μ∈ℂ and ℓ∈ℕ₀.     

On the partially microlocal hypoellipticity for a class of totally characteristic operators with characteristics of constant multiplicity

In this paper, I study the microlocal hypoellipticity for a class of totally characteristic operators (1.1). My main result is as follows: Under the conditions (I), (II), if the indicial operator of (1.1) is microlocally hypoelliptic in the complement ofWF _x(Pu(t,·)) for anyu(t,x)∈C _b ^∞ ([0,T], ℰ),t∈[0,T], λ∈ℤ, then the operator (1.1) is microlocally hypoelliptic in the variablex. Supported by the Natural Science Foundation and Young Men's Science Foundation of Academia Sinica     

A remark on the genericity of multiplicity results for forced oscillations on manifolds

We discuss the genericity of some multiplicity results for periodically perturbed autonomous first- and second-order ODEs on manifolds.?In particular, the genericity of the following property is investigated: if the differentiable manifold M is compact, then the equation _π=h(x,)+f(t,x,) on M has |χ(M)| geometrically distinct T-periodic solutions for any small enough T-periodic perturbing function f. Received: January 24, 2000; in final form: January 16, 2001?Published online: March 19, 2002     

On a partially isometric transform of divergence-free vector fields

The paper deals with the so-called M-transform, which maps divergence-free vector fields in Ω ^T := {x ∈ Ω| dist(x, ∂Ω) < T}, Ω ⊂⊂ \mathbbR \mathbb{R} ³, to the space of transversal fields. The latter space consists of vector fields in Ω ^T tangential to the equidistant surfaces of the boundary ∂Ω. In papers devoted to the dynamical inverse problem for the Maxwell system, in the framework of the BC-method, the operator M ^T was defined for T < T _ω, where T _ω depends on the geometry of Ω. This paper provides a generalization for arbitrary T. It is proved that M ^T is partially isometric, and its intertwining properties are established. Bibliography: 6 titles.     

Totally real minimal 2-spheres in quaternionic projective space

Let HPn be the quaternionic projective space with constant quaternionic sectional curvature 4. Then locally there exists a tripe {I, J, K} of complex structures on HPn satisfying U = -JI = K,JK = -KJ = /, KI = -IK = J. A surface M(？) HPn is called totally real, if at each point p ∈M the tangent plane TPM is perpendicular to I(TPM), J(TPM) and K(TPM). It is known that any surface M(？)RPn(？) HPn is totally real, where RPn (?) HPn is the standard embedding of real projective space in HPn induced by the inclusion R in H, and that there are totally real surfaces in HPn which don't come from this way. In this paper we show that any totally real minimal 2-sphere in HPn is isometric to a full minimal 2-sphere in Rp2m (？) RPn(？) HPn with 2m≤n. As a consequence we show that the Veronese sequences in KP2m (m≥1) are the only totally real minimal 2-spheres with constant curvature in the quaternionic projective space.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

Transformations with highly nonhomogeneous spectrum of finite multiplicity

This paper studies a spectral invariant ℳ _T for ergodic measure preserving transformationsT called theessential spectral multiplicities. It is defined as the essential range of the multiplicity function for the induced unitary operatorU _T. Examples are constructed where ℳ _T is subject only to the following conditions: (i) 1∈ℳ _T , (ii) lcm(n, m)∈ℳ _T wherevern, m ∈ ℳ _T , and (iii) sup ℳ _T <+∞. This shows thatD _T, definedD _T=card ℳ _T , may be an arbitrary positive integer. The results are obtained by an algebraic construction together with approximation arguments. This research was partially supported by NSF grant MCS 8102790.     

Multidimensional version of M. A. Krasnoseľskii’s generalized contraction principle

Let M be a complete K-metric space with n-dimensional metric ρ(x, y): M × M → R ⁿ , where K is the cone of nonnegative vectors in R ⁿ . A mapping F: M → M is called a Q-contraction if ρ (Fx,Fy) ⩽ Qρ (x,y), where Q: K → K is a semi-additive absolutely stable mapping. A Q-contraction always has a unique fixed point x* in M, and ρ(x*,a) ⩽ (I - Q)^-1 ρ(Fa, a) for every point a in M. The point x* can be obtained by the successive approximation method x _k = Fx _k-1, k = 1, 2,..., starting from an arbitrary point x ₀ in M, and the following error estimates hold: ρ (x*, x _k ) ⩽ Q ^k (I - Q)^-1ρ(x ₁, _x ⁰) ⩽ (I - Q)^-1 Q ^k ρ(x ₁, x ₀), k = 1, 2,.... Generally the mappings (I - Q)^-1 and Q ^k do not commute. For n = 1, the result is close to M. A. Krasnosel’skii’s generalized contraction principle.     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Embedding ofl ∞ k in finite dimensional Banach spaces

Letx ₁,x ₂, ...,x _n ben unit vectors in a normed spaceX and defineM _n =Ave{‖Σ _i=1 ⁿ ε₁ x _i ‖:ε₁=±1}. We prove that there exists a setA⊂{1, ...,n} of cardinality such that {x _i } _i∈A is 16M _n -isomorphic to the natural basis ofl _∞ ^k . This result implies a significant improvement of the known results concerning embedding ofl _∞ ^k in finite dimensional Banach spaces. We also prove that for every ∈>0 there exists a constantC(∈) such that every normed spaceX _n of dimensionn either contains a (1+∈)-isomorphic copy ofl ₂ ^m for somem satisfying ln lnm≧1/2 ln lnn or contains a (1+∈)-isomorphic copy ofl _∞ ^k for somek satisfying ln lnk>1/2 ln lnn−C(∈). These results follow from some combinatorial properties of vectors with ±1 entries. The contribution of the first author to this paper forms part of his Ph.D. Thesis written under the supervision of Prof. M. A. Perles from the Hebrew University.     

Some properties of unbounded operators with closed range

Let H ₁, H ₂ be Hilbert spaces and T be a closed linear operator defined on a dense subspace D(T) in H ₁ and taking values in H ₂. In this article we prove the following results:

Strongly and weakly almost periodic linear maps on semigroup algebras

Let S be a foundation locally compact topological semigroup. Two new topologies τ _c and τ _w are introduced on M _a (S)^*. We introduce τ _c and τ _w almost periodic functionals in M _a (S)^*. We study these classes and compare them with each other and with the norm almost periodic and weakly almost periodic functionals. For f∈M _a (S)^*, it is proved that T _f ∈ℬ(M _a (S),M _a (S)^*) is strong almost periodic if and only if f is τ _c -almost periodic. Indeed, we have obtained a generalization of a well known result of Crombez for locally compact group to a more general setting of foundation topological semigroups. Finally if P(S) (the set of all probability measures in M _a (S)) has the semiright invariant isometry property, it is shown that the set of τ _w -almost periodic functionals has a topological left invariant mean.     

Finitary reconstruction of a measure preserving transformation

This paper considers thefinitary reconstruction of an ergodic measure preserving transformationT of a complete separable metric spaceX from a single trajectoryx, Tx, …, or more generally, from a suitable reconstruction sequence x=x ₁,x ₂, … withx _i∈X. Ann-sample reconstruction is a functionT _n: X ⁿ⁺¹ →X; the map (·;x ₁, …,x _n)is treated as an estimate ofT(·) based on then initial elements of x. Given a reference probability measureμ ₀ and constantM>1, functionsT ₁,T ₂, … are defined, and it is shown that for everyμ with 1/M≤dμ/dμ ₀≤M, everyμ-preserving transformationT, and every reconstruction sequence x forT, the estimates (·;x ₁, …,x _nconverge toT in the weak topology. For the family of interval exchange transformations of [0, 1] a simple family of estimates is described and shown to be consistent both pointwise and in the strong topology. However, it is also shown that no finitary estimation scheme is consistent in the strong topology for the family of all ergodic Lebesgue measure preserving transformations of the unit interval, even if x is assumed to be a generic trajectory ofT. Supported in part by NSF Grant DMS-9501926.     

On a method for interpolating functions on chaotic nets

Supposem, n ∈ℕ,m≡n (mod 2),K(x)=|x| ^m form odd,K(x)=|x| ^m In |x| form even (x∈ℝ ⁿ ),P is the set of real polynomials inn variables of total degree ≤m/2, andx ₁,...,x _N ∈ℝ ⁿ . We construct a function of the form