Gabor Frames over Irregular Lattices

We give necessary and sufficient conditions for gW(L ,¹) to generate a Gabor frame over certain irregular lattices.     

Quadratically constrained quadratic programming: Some applications and a method for solution

The problem (QPQR) considered here is: minimizeQ ₁ (x) subject toQ _i (x) 0,i M ₁ {2,...,m},x P R ⁿ, whereQ _i (x), i M {1} M ₁ are quadratic forms with positive semi-definite matrices, andP a compact nonempty polyhedron of Rⁿ. Applications of (QPQR) and a new method to solve it are presented.Letu S={u R ^m;u 0, u _i= l}be fixed;then the problem:iM minimize u _iQ_i (x (u)) overP, always has an optimal solutionx (u), which is either feasible, iM i.e. u C₁ {u S;Q _i (x (u)) 0,i M ₁} or unfeasible, i.e. there exists ani M ₁ withu C {u S; Q_i(x(u)) 0}.Let us defineC _i C_i S _i withS _i {u S; u _i=0}, i M. A constructive method is used to prove that C _i is not empty and thatx (û) withiM û C _i characterizes an optimal solution to (QPQR). Quite attractive numerical results have been reached with this method.

---

Zusammenfassung Die vorliegende Arbeit befaßt sich mit Anwendungen und einer neuen Lösungsmethode der folgenden Aufgabe (QPQR): man minimiere eine konvexe quadratische ZielfunktionQ _i (x) unter Berücksichtigung konvexer quadratischer RestriktionenQ _i (x) 0, iM ₁ {2,...,m}, und/oder linearer Restriktionen.·Für ein festesu S {u R ^m;u 0, u _i=1},M {1} M₁ besitzt das Problem:iM minimiere die konvexe quadratische Zielfunktion u _i Q_i (x (u)) über dem durch die lineareniM Restriktionen von (QPQR) erzeugten, kompakten und nicht leeren PolyederP R ⁿ, immer eine Optimallösungx (u), die entweder zulässig ist: u C₁ {u S;Q ₁ (x (u)) 0,i M ₁} oder unzulässig ist, d.h. es existiert eini M ₁ mitu C_i {u S;Q _i (x(u))0}.Es seien folgende MengenC _i C_i S _i definiert, mitS _i {u S;u _i=0}, i M. Es wird konstruktiv bewiesen, daß C _i 0 undx (û) mitû C _i eine Optimallösung voniM iM (QPQR) ist; damit ergibt sich eine Methode zur Lösung von (QPQR), die sich als sehr effizient erwiesen hat. Ein einfaches Beispiel ist angegeben, mit dem alle Schritte des Algorithmus und dessen Arbeitsweise graphisch dargestellt werden können.

---

---

An earlier version of this paper was written during the author's stay at the Institute for Operations Research, Swiss Federal Institute of Technology, Zürich.     

On the existence of wave operators for the Klein-Gordon equation

The problem of existence of wave operators for the Klein-Gordon equation ( _t ² –+²+iV_1t+V₂)u(x,t)=0 (x R ⁿ,t R, n3, >0) is studied where V₁ and V₂ are symmetric operators in L₂(R ⁿ) and it is shown that conditions similar to those of Veseli-Weidmann (Journal Functional Analysis 17, 61–77 (1974)) for a different class of operators are also sufficient for the Klein-Gordon equation.     

Efficiency of Proximal Bundle Methods

We give efficiency estimates for proximal bundle methods for finding f_*min_Xf, where f and X are convex. We show that, for any accuracy <0, these methods find a point x^kX such that f(x^k)–f^* after at most k=O(1/³) objective and subgradient evaluations.     

Subclasses of regular and schlicht functions with fixed coefficient

In the open unit disk E={z, ¦z¦<1} we consider the class of regular functions q(z) = 1 + 2(1 = )e¹zⁿ + 2p_n+kz^n+k + ..., Re q(z)>, , [0, 1), [0, 2] and fixed, n, kN; fixing zE, we construct the range of the functional I₀=q(z). We find an analog of V. A. Zmorovich's variational formula for the expression zp'(z) and point out some applications.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 6, pp. 813–820, June, 1991.     

Convergence of epigraphs and of sublevel sets

Let LSC(X) be the set of the proper lower semicontinuous extended real-valued functions defined on a metric spaceX. Given a sequence f _n in LSC(X) and a functionf LSC(X), we show that convergence of f _n tof in several variational convergence modes implies that for each , the sublevel set at height off is the limit, in the same variational sense, of an appropriately chosen sequence of sublevel sets of thef _n, at height _n approaching . The converse holds true whenever a form of stability of the sublevel sets of the limit function is verified. The results are obtained by regarding a hyperspace topology as the weakest topology for which each member of an appropriate family of excess functionals is upper semicontinuous, and each member of an appropriate family of gap functionals is lower semicontinuous. General facts about the representation of hyperspace topologies in this manner are given.     

About generalized ideals in a distributive lattice

Let L be a distributive lattice characterized by a ternary operation (, ,), where (a,b,c)=(ab)(bc)(ac)=(ab)(ac)(bc), a,b,cL. The note considers convex sublattices of L, called generalized ideals of L generated by the operation (, ,). Some remarks have been stated about the graph of a distributive lattice.     

On signpost systems and connected graphs

By a signpost system we mean an ordered pair (W, P), where W is a finite nonempty set, P W × W × W and the following statements hold: if (u, v, w) P, then (v, u, u) P and (v, u, w) P, for all u, v, w W; if u v; then there exists r W such that (u, r, v) P, for all u, v W. We say that a signpost system (W, P) is smooth if the folowing statement holds for all u, v, x, y, z W: if (u, v, x), (u, v, z), (x, y, z) P, then (u, v, y) P. We say thay a signpost system (W, P) is simple if the following statement holds for all u, v, x, y W: if (u, v, x), (x, y, v) P, then (u, v, y), (x, y, u) P.By the underlying graph of a signpost system (W, P) we mean the graph G with V(G) = W and such that the following statement holds for all distinct u, v W: u and v are adjacent in G if and only if (u, v, v) P. The main result of this paper is as follows: If G is a graph, then the following three statements are equivalent: G is connected; G is the underlying graph of a simple smooth signpost system; G is the underlying graph of a smooth signpost system.Research was supported by Grant Agency of the Czech Republic, grant No. 401/01/0218.     

On a one-dimensional version of the dynamical Marguerre-Vlasov system

A one-dimensional version of the so-called Marguerre-Vlasov system of equations describing the vibrations of shallow shells is considered. The system depends on a parameter 0 in a singular way and undergoes the effect of damping mechanisms. We show that the system converges to a nonlinear beam equation while the energy decays exponentially uniformly (on 0) as time goes to infinity.     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Stabilization of ill-posed Cauchy problems for parabolic equations

Summary In this paper we study the noncharacteristic Cauchy problem, u_t–(a(x)u_x)_x=0, x(0, l), t.(0, T], u(0, t)=(t), u_x(0,t)=0, 0tT, assuming only L for a. In the case of weak a priori bounds on u, we derive stability estimates on u of Hölder type in the interior and of logarithmic type at the boundary. Also the continuous dependence on a is considered.

---

Sunto Nel presente lavoro consideriamo il problema di Cauchy non ben posto u_t= (a(x)u_x)_x, x(0, l), t(0, T), u(0, t)=(t), u_x(0, t)=0, 0tT. Supponiamo che a sia misurabile e limitato inferiormente e superiormente da constanti positive. Introduciamo delle limitazioni a priori su u e dimostriamo la dipendenza continua di u rispetto al dato sia in (0, l)×(0, T) (di tipo hölderiano) sia per x=l (di tipo logaritmico). Consideriamo, inoltre, la dipendenza continua di u da a.

     

Polynomial functions over commutative semi-groups

Let S be a commutative semigroup. We consider the semigroup P(S) with respect to composition of all transformations p: S S of the form x a,x xⁿ or x axⁿ (a S; n N) and the semigroup P(S) containing only elements of the last two forms. Since all polynomials over S have the form a, xⁿ or ax these transformations are the so-called polynomial functions over S. We investigate the relationship between the structures of S and (S) resp. P(S) — a criterion on the commutativity of S has been shown by means of polynomial functions in 2.     

Reconstructing dimensions of intersections of convex sets

Denoting by dimA the dimension of the affine hull of the setA, we prove that if {K _i:i T} and {K _i ^j :i T} are two finite families of convex sets inR ⁿ and if dim {K _i :i S} = dim {K _i ^j :i S}for eachS T such that|S| n + 1 then dim {K _i :i T} = dim {K _i : {i T}}.     

A characterization of Thalesian orthogonality in Pappian planes of characteristic 2

In an affine plane over a field K, any Thalesian orthogonality relation is equivalent to _d for some dK{0}, where _d denotes the relation with constant of orthogonality d/it (i.e., after suitable coordinatization the slopes m, m*K{0} of orthogonal lines satisfy m·m*=d) (cf. [1], [5]). In the present paper we show that in a Pappian plane of characteristic two any orthogonality relation admitting the same group as ₁ is equivalent to ₁. This gives a characterization of Thalesian orthogonality over perfect fields of characteristic two.     

The caratheodory number for thek-core

Thek-core of the setS ⁿ is the intersection of the convex hull of all setsA S with ¦SA¦<-k. The Caratheodory number of thek-core is the smallest integerf (d,k) with the property thatx core _{kS, S} ⁿ implies the existence of a subsetT S such thatx core_kT and ¦T¦f (d, k). In this paper various properties off(d, k) are established.Research of this author was partially supported by Hungarian National Science Foundation grant no. 1812.     

On the product of sign vectors and unit vectors

For a fixed unit vectora=(a ₁,...,a _n )S ^n-1, consider the 2 ⁿ sign vectors=(₁,..., _n ){±1{ ⁿ and the corresponding scalar products^·a = _n ⁱ⁼¹ = _i a _i . The question that we address is: for how many of the sign vectors must^.a lie between–1 and 1. Besides the straightforward interpretation in terms of the sums ±a ₂ , this question has appealing reformulations using the language of probability theory or of geometry.The natural conjectures are that at least 1/2 the sign vectors yield |.a|1 and at least 3/8 of the sign vectors yield |.a|<1 (the latter excluding the case when |a _i |=1 for somei). These conjectured lower bounds are easily seen to be the best possible. Here we prove a lower bound of 3/8 for both versions of the problem, thus completely solving the version with strict inequality. The main part of the proof is cast in a more general probabilistic framework: it establishes a sharp lower bound of 3/8 for the probability that |X+Y|<1, whereX andY are independent random variables, each having a symmetric distribution with variance 1/2.We also consider an asymptotic version of the question, wheren along a sequence of instances of the problem satisfying ||a||0. Our result, best expressed in probabilistic terms, is that the distribution of .a converges to the standard normal distribution, and in particular the fraction of sign vectors yielding .a between –1 and 1 tends to 68%.This research was supported in part by the Institute for Mathematics and its Applications with funds provided by the National Science Foundation.     

Joint convergence of conditional expectations

Let P_n, nIN{0}, be probability measures on a-fieldA; f_n, nIN{0}, be a family of uniformly boundedA-measurable functions andA _n, nIN, be a sequence of sub--fields ofA, increasing or decreasing to the-fieldA _o. It is shown in this paper that the conditional expectations converge in P_o-measure to with k, n, m , if P_n|A, nIN, converges uniformly to P_n|A and f_n, nIN, converges in P_o-measure to f_o.     

Waterman classes and triangular sums of double Fourier series

Let ^a ={nln^a (n+1)}, where a R. The following results are established: For every &fnof ^a BV ((- ]²), the triangular partial sums of its Fourier series are uniformly bounded if a = -1, and converge everywhere if a < -1.For every a>0, there exists &fnof ^a BV ((- ]²) such that the triangular partial sums of its Fourier series are unbounded at the point (0;0).     

Kato's equality and spectral decomposition for positive C0-groups

Let A be the generator of a C₀-semigroup {T(t); t0} defined on a Banach lattice E. It is shown that T(t) is a lattice homomorphism for all t>0 if and only if A satisfies <¦x¦, Ax>= (xD(A), x D(A)) (where q: EE is the evaluation mapping). This equality is used to obtain a spectral decomposition for generators of positive groups.     

Partial applicability of Moser's method to nonlinear elliptic systems

We consider nonlinear elliptic systems of divergent-type second-order partial differential equations with solutionsu W _p ¹ . It is proved thatDu L _q with someq (p; +) and it is explicitly shown howq depends on the ellipticity modulus of the system. Some conditions on the ellipticity modulus are obtained under which the solutions satisfy the Hölder conditions and the Liouville theorem holds.Translated fromMatematicheskie Zametki, Vol. 58, No. 4, pp. 547–557, October, 1995.