Remarks on the perturbation of analytic matrix functions III

As in [N], [LN] the Newton diagram is used in order to get information about the first terms of the Puiseux expansions of the eigenvalues () of the perturbed matrix pencilT(, )=A()+B(, ) in the neighbourhood of an unperturbed eigenvalue () ofA(). In fact sufficient conditions are given which assure that the orders of these first terms correspond to the partial multiplicities of the eigenvalue ₀ ofA().     

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.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

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.     

A survey of pseudo (v,k, λ)-designs

This work is an attempt to give a complete survey of all known results about pseudo (v, k, )-designs. In doing this, the author hopes to bring more attention to his conjecture given in Section 6; an affirmative answer to this conjecture would settle completely the existence and construction problem for a pseudo (v, k, )-design in terms of the existence of an appropriate (v, k, )-design.     

A note on a nonlinear eigenvalue problem

Summary In this paper a necessary and sufficient condition for the existence of negative eigenvalues for the problem-u – u=(x)¦u¦^p–2u in u¦=0 is given. Here Rⁿ is supposed a smooth bounded domain, 0 a bounded nonnegative function, (₁, ₂), ₁ and ₁ being the first and the second eigenvalue of - in with zero Dirichlet boundary data, p2 and, if n 3, p < 2n¦(n–2). Moreover in the linear case (p=2) a uniqueness result is proved.Work supported by G.N.A.F.A. and by M.P.I, of Italy Fondi 40% Equazioni Differenziali e Calcolo delle Variazioni and Fondi 60% Analisi matematica.     

A Recursive Construction for 2-Designs

This paper contains two main results: given a symmetric (v, k, ) design, D, and a resolvable design which has the parameters of a residual design of D, there exists a symmetric (dv + 1, v, k) design, where d = (v - k)/(k - ), and d is a prime power; given a symmetric (v, k, ) design, D, and a resolvable design with the parameters of a derived design of D, there exists a 2 - (ek + v, 2k, k) design, where e = k/,and e is a prime power.     

A minimax principle for the critical value of a boundary value problem with positive and increasing nonlinearity

Summary For a non-linear boundary value problem with a positive and increasing non-linearity there exists a critical value* of the parameter, beyond which there are no solutions. We give a minimax characterization of*.

---

Zusammenfassung In der Randwertaufgabe –u(x)=f(x, u(x)), u(a)=u(b)=0, seif positiv und wachsend im zweiten Argument. Dann gibt es einen Wert*, so dass keine Lösung existiert für>*. In dieser Arbeit wird* durch ein Minimaxprinzip charakterisiert. Der Beweis beruht auf der Anwendung von Ober- und Unterlösungen und monotonen Iterationen.

     

Steepest Descent with Curvature Dynamical System

Let H be a real Hilbert space and let <..,.> denote the corresponding scalar product. Given a function that is bounded from below, we consider the following dynamical system:

On convergence and summability of Fourier series

. , , –1<<0. .

---

---

The present work was written on the basis of two earlier works received byAnalysis Mathematica on January 16, 1979, and July 20, 1979.     

An Improvement of an Inequality of Fiedler Leading to a New Conjecture on Nonnegative Matrices

Suppose that A is an n × n nonnegative matrix whose eigenvalues are = (A), ₂, ..., _n. Fiedler and others have shown that \det( I -A) ⁿ - ⁿ, for all > with equality for any such if and only if A is the simple cycle matrix. Let a _i be the signed sum of the determinants of the principal submatrices of A of order i × i, i=1, ..., n - 1. We use similar techniques to Fiedler to show that Fiedler's inequality can be strengthened to: for all . We use this inequality to derive the inequality that: . In the spirit of a celebrated conjecture due to Boyle-Handelman, this inequality inspires us to conjecture the following inequality on the nonzero eigenvalues of A: If ₁ = (A), ₂,...,_k are (all) the nonzero eigenvalues of A, then . We prove this conjecture for the case when the spectrum of A is real.     

Some linear stability results for iterative schemes for implicit Runge-Kutta methods

This article examines stability properties of some linear iterative schemes that have been proposed for the solution of the nonlinear algebraic equations arising in the use of implicit Runge-Kutta methods to solve a differential systemx =f(x). Each iteration step requires the solution of a set of linear equations, with constant matrixI –hJ, whereJ is the Jacobian off evaluated at some fixed point. It is shown that the stability properties of a Runge-Kutta method can be preserved only if is an eigenvalue of the coefficient matrixA. SupposeA has minimal polynomial (x – ) ^m p(x),p() 0. Then stability can be preserved only if the order of the method is at mostm + 2 (at mostm + 1 except for one case).This work was partially supported by a grant from the Science and Engineering Research Council.     

Solving a nonlinear spectral problem for a matrix

This paper examines the solving of the eigenvalue problem for a matrix M () with a nonlinear occurrence of the spectral parameter. Two methods are suggested for replacing the equation dat M()=0 by a scalar equationf()=0. Here the functionf() is not written formally, but a rule for computingf() at a fixed point of the domain in which the desired roots lie is indicated. Müller's method is used to solve the equationf()=0. The eigenvalue found is refined by Newton's method based on the normalized expansion of matrix M(), and the linearly independent vectors corresponding to it are computed. An ALGOL program and test examples are presented.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 58, pp. 54–66, 1976.     

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.

     

Reinforcement problems for elliptic equations and variational inequalities

Summary Consider the Dirichlet problem for an elliptic equation in a domain , with coefficients having discontinuity on a surface . Suppose divides into _{1 2}(₂ the inner core), the thickness of ₁ is of order of magnitude , and the modulus of ellipticity in ₁ is of order magnitude ₁. The asymptotic behavior of the solution is studied as 0, ₁ 0, provided lim (/₁) exists. Other questions of this type are studied both for elliptic equations and for elliptic variational inequalities.The second author is partially supported by National Science Foundation Grant 7406375 A01. The third author is partially supported by National Science Foundation Grant MC575-21416 A01.     

Factorization of a selfadjoint nonanalytic operator function II. Single spectral zone

We consider a selfadjoint and smooth enough operator-valued functionL() on the segment [a, b]. LetL(a)0,L(b)0, and there exist two positive numbers and such that the inequality |(L()f, f)|< ([a, b] f=1) implies the inequality (L'()f, f)>. Then the functionL() admits a factorizationL()=M()(I-Z) whereM() is a continuous and invertible on [a, b] operator-valued function, and operatorZ is similar to a selfadjoint one. This result was obtained in the first part of the present paper [10] under a stronge conditionL()0 ( [a,b]). For analytic functionL() the result of this paper was obtained in [13].     

Conditions for eigenvectors of a selfadjoint operator-function to form a basis

Consider a functionL() defined on an interval of the real axis whose values are linear bounded selfadjoint operators in a Hilbert spaceH. A point ₀ and a vector ₀ H( ₀ 0) are called eigenvalue and eigenvector ofL() ifL() ifL(₀) ₀ = 0. Supposing that the functionL() can be represented as an absolutely convergent Fourier integral, the interval is sufficiently small and the derivative will be positive at some point, it has been proved that all the eigenvectors of the operator-functionL() corresponding to the eigenvalues from the interval form an unconditional basis in the subspace spanned by them.     

On the positive solutions of some nonlinear diffusion problems

We consider the nonlinear diffusion equationu _t –a(x, u _{x x} )+b(x, u)=g(x, u) with initial boundary conditions andu(t, 0)=u(t, 1)=0. Here,a, b, andg denote some real functions which are monotonically increasing with respect to the second variable. Then, the corresponding stationary problem has a positive solution if and only if(0, ^*) or(0, ^*]. The endpoint ^* can be estimated by , where ₁ u denotes the first eigenvalue of the stationary problem linearized at the pointu. The minimal positive steady state solutions are stable with respect to the nonlinear parabolic equation.

---

Zusammenfassung Wir betrachten die nichtlineare Diffusionsgleichungu _t –a(x, u _x ) _x +b(x, u)=g(x, u) mit Randbedingungen undu (t, 0)=u (t, 1)=0. Dabei sinda, b, undg monoton wachsende Funktionen bzgl. des zweiten Argumentes. Das zugehörige stationäre Problem hat genau dann eine positive Lösung, falls (0, ^*) oder(0, ^*]. Der Endpunkt ^* kann durch abgeschätzt werden, wobei ₁ u den ersten Eigenwert des an der Stelleu linearisierten stationären Problems bezeichnet. Die minimale positive stationäre Lösung ist stabil bzgl. der obigen nichtlinearen parabolischen Gleichung.

     

Continuous Singularity of the Weak Limit of Convolution Powers of a Discrete Probability Measure on 2 × 2 Stochastic Matrices

Let be a probability measure on n 2 × 2 stochastic matrices, n an arbitrary positive integer, and = (w) lim _n ⁿ , such that the support of consists of 2 × 2 stochastic matrices of rank one, and as such, can be regarded as a probability measure on [0, 1]. We present simple sufficient conditions for to be continuous singular w.r.t. the Lebesgue measure on [0, 1]. We also determine , given .     

The Spectral Function and Principal Eigenvalues for Schrödinger Operators

Let m , 0 m₊ in Kato's class. We investigate the spectral function s( + m) where s( + m) denotes the upper bound of the spectrum of the Schrödinger operator + m. In particular, we determine its derivative at 0. If m_- is sufficiently large, we show that there exists a unique ₁ > 0 such that s( + ₁m) = 0. Under suitable conditions on m⁺ it follows that 0 is an eigenvalue of + ₁m with positive eigenfunction.