A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

A Proof of the Jungnickel-Tonchev Conjecture on Quasi-Multiple Quasi-Symmetric Designs

A proof of the following conjecture of Jungnickel and Tonchev on quasi-multiple quasi-symmetric designs is given: Let D be a design whose parameter set (v,b,r,k,) equals (v,sv,sk,k, s) for some positive integer s and for some integers v,k, that satisfy (v-1) = k(k-1) (that is, these integers satisfy the parametric feasibility conditions for a symmetric (v,k,)-design). Further assume that D is a quasi-symmetric design, that is D has at most two block intersection numbers. If (k, (s-1)) = 1, then the only way D can be constructed is by taking multiple copies of a symmetric (v,k, )-design.     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

Estimates of Entire Functions of Exponential Type Less than π in Terms of Logarithmic Sums over Real Duffin and Schaeffer Sequences

We give uniform estimates of entire functions of exponential type less than having sufficiently small logarithmic sums over real sequences { _n } satisfying | _n –n|L and _n+1– _n for fixed positive constants L and . We thereby generalize results about logarithmic sums over the set of integers and so-called relatively h-dense sequences.     

Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

Divisible designs and groups

We study (s, k, ₁, ₂)-translation divisible designs with ₁0 in the singular and semi-regular case. Precisely, we describe singular (s, k, ₁, ₂)-TDD's by quasi-partitions of suitable quotient groups or subgroups of their translation groups. For semi-regular (s, k, ₁, ₂)-TDD's (and, more general, for the case ₂>₁) we prove that their translation groups are either Frobenius groups or p-groups of exponent p. Some examples are given for the singular, semi-regular and regular case.     

Completeness of the plans of sequential estimation for Wiener spaces with a drift and some uniqueness theorems

One considers a family of n-dimensional Wiener processess x(t) =(t) +t, depending on a drift parameter , where is the standard Wiener process. Let be a closed subset of the space of trajectories ⁿ×₊ (plan) and assume that the measure , defined by the first occurrence of the trajectory of the process x in the set , is a probability measure. One gives conditions which the plan has to satisfy in order that from the equality for any there should follow that f 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 69–72, 1983.The authors are grateful to V. P.Khavin for discussions on certain questions of potential theory.     

Symmetric designs and geometroids

A-setS in a symmetric 2-(v, k, ) design is a subset which every block meets in 0, 1 or points such that for any point ofS there is a unique block meetingS at that point only. Ovoids in three-dimensional projective spaces are examples of-secs. It is shown that if has a-set then is a geometroid withv=u ²+u+1 andk=u+1, whereu–1. The cases whenu is–1, and+1 are investigated and some open problems discussed.     

Estimation of the Intensity of the Flow of Nonmonotone Refusals in the Queuing System (≤ λ)/G/m

We consider a queuing system ()/G/m, where the symbol () means that, independently of prehistory, the probability of arrival of a call during the time interval dtdoes not exceed dt. The case where the queue length first attains the level r m+ 1 during a busy period is called the refusal of the system. We determine a bound for the intensity ₁(t) of the flow of homogeneous events associated with the monotone refusals of the system, namely, ₁(t) = O( ^{r+ 1}₁ ^{m– 1} _{r– m+ 1}), where _k is the kth moment of the service-time distribution.     

Regularity of ∫Ω|∇u|2 + λ∫Ω|u−f{2 and some gap phenomenon

We study the regularity of the minimizer u for the functional F (u,f)=|u|² + |u–f{² over all maps uH ¹(, S ²). We prove that for some suitable functions f every minimizer u is smooth in if ₀ and for the same functions f, u has singularities when is large enough.

---

Résumé On étudie la régularité des minimiseurs u du problème de minimisation min_ueH ¹(,S²)(|u|² + |u–f{². On montre que pour certaines fonctions f, u est régulière lorsque ₀ et pour les mêmes f, si est assez grand, alors u possède des singularités.

     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

On eigenvalues of perturbed quadratic matrix polynomials

Among other results, it is shown that ifC andK are arbitrary complexn×n matrices and if det( ₀ ² I₀ C+K)=0 for some ₀0 (resp. ₀=0), then the Newton diagram of the polynomialt(, ) = det(² I+(1+)C+K expanded in (–₀) and , has at least a point on or below the linex+y=b (resp. has no expanded in (–₀) and , has at least a point on or below the of 0 as an eigenvalue of ₀ ² I+₀ C+K. These are extensions of similar results deu to H. Langer, B. Najman, and K. Veseli proved for diagonable matricesC, and shed light on the eigenvalues of the perturbed quadratic matrix polynomials. Our proofs are independent and seem to be simpler     

On eigenfunctions of nonlinear heat generation

Summary We consider the equation u+ expu=0, >0,u(boundary)0 in the formv= exp (K,v), whereK ^–1=–. We give bounds on for the latter equation to be solvable by the contraction mapping principle, and estimate theL ² norm of the solution so obtained. We also give a bound on for the topological index of the solution to be non-zero and apply Krasnoselskii's results to the least squares method of approximating the solution.

---

Sommario Consideriamo l'equazione u+ expu=0, >0,u(frontiera)=0 nella formav= exp (Kv), doveK ^–1=–. In questo lavoro diamo limitazioni per per cui la seconda equazione e risolubile col metodo delle contrazioni, e diamo una stima della norma inL ² della soluzione cosi ottenuta. Diamo anche una limitazione per per cui l'indice topologico della soluzione diventa non zero, e applichiamo i risultati di Krasnoselskii al metodo dei minimi quadrati per approssimare la soluzione.

     

Asymptotic Estimates for a Variational Problem Involving a Quasilinear Operator in the Semi-Classical Limit

Let be a domain of ^N . We study the infimum ₁(h) of the functional |u| ^p +h ^–p V(x)|u| ^p dx in W ^1,p () for ||u|| _LP()= 1 where h > 0 tends to zero and V is a measurable function on . When V is bounded, we describe the behaviour of ₁(h), in particular when V is radial and 'slowly' decaying to zero. We also study the limit of ₁(h) when h 0 for more general potentials and show a necessary and sufficient condition for ₁(h) to be bounded. A link with the tunelling effect is established. We end with a theorem of existence for a first eigenfunction related to ₁(h).     

Ultrafilter translations

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.     

Nonlinear eigenvalue approximation

Summary For each in some domainD in the complex plane, letF() be a linear, compact operator on a Banach spaceX and letF be holomorphic in . Assuming that there is a so thatI–F() is not one-to-one, we examine two local methods for approximating the nonlinear eigenvalue . In the Newton method the smallest eigenvalue of the operator pencil [I–F(),F()] is used as increment. We show that under suitable hypotheses the sequence of Newton iterates is locally, quadratically convergent. Second, suppose 0 is an eigenvalue of the operator pencil [I–F(),I] with algebraic multiplicitym. For fixed leth() denote the arithmetic mean of them eigenvalues of the pencil [I–F(),I] which are closest to 0. Thenh is holomorphic in a neighborhood of andh()=0. Under suitable hypotheses the classical Muller's method applied toh converges locally with order approximately 1.84.     

Conjugation for polynomial mappings

We consider Keller's functions, namely polynomial functionsf:C ⁿ C ⁿ with detf(x)=1 at allx C ⁿ. Keller conjectured that they are all bijective and have polynomial inverses. The problem is still open.Without loss of generality assumef(0)=0 andf'(0)=I. We study the existence of certain mappingsh , > 1, defined by power series in a ball with center at the origin, such thath(0)=I andh (f(x))=h (x). So eachh conjugates f to its linear part I in a ball where it is injective.We conjecture that for Keller's functionsf of the homogeneous formf(x)=x +g(x),g(sx)=s ^dg(x),g(x)ⁿ=0,xC ⁿ,sC the conjugationh for f is anentire function.     

The Selberg trace formula for SL(3,Z)

In this article the first step toward the generalization of the Selberg trace formula to the case of a rank 2 symmetric space S and a discrete group for which the fundamental region \S goes to infinity nontrivially appears. For S we use the space SL(3,)/SO(3) and for we use SL(3,). The fundamental results are Theorems 9 and 10, in which is calculated the contribution to the matrix trace of the operator K which appears in the right side of the trace formula of the expression h()d^c(), where ^c() is the continuous part of the spectral measure of the quasiregular representation on the space IL₂(\S).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 63, pp. 8–66, 1976.     

Numerical implementation of coherence for the example of the “Swiss Cross”

Summary We consider the two-dimensional Helmholtz equation u+u=0 inD with the boundary conditionsu=0 on D. D is the Swiss Cross — a region consisting of five unit squares. A method based on the concept of Coherence is utilized to determine an approximation for the first eigenvalue= ₁ more accurate than calculated by classical difference methods. The numerical result is used to illustrate isoperimetric upper and lower bounds for ₁, and to test some conjectures on its relations with torsional rigidity.Dedicated to the memory of Professor Lathar Collatz