An isolation theorem for decomposable forms of purely real algebraic fields of degree n⩾3

Let M be a complete module of a purely algebraic field of degree n3, let be the lattice of this module and let F(X) be its form. By we denote any lattice for which we have = , where is a nondiagonal matrix satisfying the condition ¦-I¦ , I being the identity matrix. The complete collection of such lattices will be denoted by {}. To each lattice we associate in a natural manner the decomposable form F(X). The complete collection of forms, corresponding to the set {}, will be denoted by {F} It is shown that for any given arbitrarily small interval (N–, N+), one can select an such that for each F(X) from {F} there exists an integral vector X₀ such that N– < F(X₀) < N+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 167–171, 1981.     

On the complexity of approximating a KKT point of quadratic programming

We present a potential reduction algorithm to approximate a Karush—Kuhn—Tucker (KKT) point of general quadratic programming (QP). We show that the algorithm is a fully polynomial-time approximation scheme, and its running-time dependency on accuracy (0, 1) is O((l/) log(l/) log(log(l/))), compared to the previously best-known result O((l/)²). Furthermore, the limit of the KKT point satisfies the second-order necessary optimality condition of being a local minimizer. © 1998 The Mathematical Programming Society, Inc. Published by Elsevier Science B.V.Research support in part by NSF grants DDM-9207347 and DMI-9522507, and the Iowa Business School Summer Grant.     

On the complex zeros of solutions of linear differential equations

Summary A classical result (see R.Nevanlinna, Acta Math.,58 (1932), p. 345) states that for a second-order linear differential equation, w + P(z) w + Q(z) w=0, where P(z) and Q(z) are polynomials, there exist finitely many rays, arg z=_j, for j=1,..., m, such that for any solution w=f(z) 0 and any > 0, all but finitely many zeros off lie in the union of the sectors ¦ arg z - _j¦ < for j=1,..., m. In this paper, we give a complete answer to the question of determining when the same result holds for equations of arbitrary order having polynomial coefficients. We prove that for any such equation, one of the following two properties must hold: (a) for any ray, arg z=, and any > 0, there is a solution f 0 of the equation having infinitely many zeros in the sector ¦arg z - ¦ <, or (b) there exist finitely many rays, arg z=_j, for j= 1,..., m, such that for any >0, all but finitely many zeros of any solution f 0 must lie in the union of the sectors ¦ arg z - _j¦ < for j=1, ..., m. In addition, our method of proof provides an effective procedure for determining which of the two possibilities holds for a given equation, and in the case when (b) holds, our method will produce the rays, arg z=_j. We emphasize that our result applies to all equations having polynomial coefficients, without exception. In addition, we mention that if the coefficients are only assumed to be rational functions, our results will still give precise information on the possible location of the bulk of the zeros of any solution.This research was supported in part by the National Science Foundation (DMS-84-20561 and DMS-87-21813).     

The regularity problem for generalized harmonic maps into homogeneous spaces

Let be a Riemannian surface and be a standard sphere, or more generally a Riemannian manifold on which a Lie group,, acts transitively by isometries. We define generalized harmonic maps by extending the notion of weakly harmonic maps in a natural way (motivated by Noether's Theorem), to mapsu W _loc ^1,1 (, ). We prove that, under some slight technical restrictions, for 1 <-p < 2, there are generalized harmonic mapsu W ^1,p(, ) that are everywhere discontinuous (in particular, this solves an open problem proposed by F. Bethuel, H. Brezis and F. Hélein, in [BBH]). We also show that the natural -regularity condition for such maps is to require <u to belong to the Lorentz space L(2, ). To prove this -regularity result we extend a compensated compactness result of R. Coifman, P.-L. Lions, Y. Meyer and S. Semmes, proved in [CLMS], to the case of Lorentz spaces in duality.     

Estimates of the asphericity of sections of convex bodies

We define the function (n, k) to be the infimum of all such that any bounded centrally symmetric convex body inR ⁿ possesses an -asphericalk-dimensional central section. It is proved that (3, 2)=2–1 and (n, n-1)n-1-1. Several related functions are defined and their values on the pairs (n, n-1) are estimated.Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 76–79.     

The correctness problem for best approximations by trigonometric polynomials in the class W o r H[ω]C

Suppose thatk, rz₊, W _o ^r H[]_C= {ff is a 2-periodic function,f C^r [–, ], (f^(r), ) ()}, T_k is the space of trigonometric polynomials of order k, p_k(f)T_k is the polynomial of best uniform approximation to f, and E_k(f) is the error of the best approximation. It is shown that for an arbitrary > 0 we have,where for 0<&#x2A7D;(1),k > 0.R () is the root of the equation , and for k = 0 or > (1) we have R()=.Translated from Matematicheskie Zametki, Vol. 22, No. 1, pp. 85–101, July, 1977.The author thanks S. B. Stechkin for posing the problem and for his attention to this work.     

Enlargement of Monotone Operators with Applications to Variational Inequalities

Given a point-to-set operator T, we introduce the operator T defined as T(x)= {u: u – v, x – y – for all y Rn, v T(y)}. When T is maximal monotone T inherits most properties of the -subdifferential, e.g. it is bounded on bounded sets, T(x) contains the image through T of a sufficiently small ball around x, etc. We prove these and other relevant properties of T, and apply it to generate an inexact proximal point method with generalized distances for variational inequalities, whose subproblems consist of solving problems of the form 0 H(x), while the subproblems of the exact method are of the form 0 H(x). If k is the coefficient used in the kth iteration and the k's are summable, then the sequence generated by the inexact algorithm is still convergent to a solution of the original problem. If the original operator is well behaved enough, then the solution set of each subproblem contains a ball around the exact solution, and so each subproblem can be finitely solved.     

Isolation theorem for forms corresponding to purely real algebraic fields

Let M be the complete module of a purely real algebraic field of degree n 3, let be a lattice in this module, and let F(X) be its form. We use to denote any lattice for which we have = , where is a nondiagonal matrix for which – I . With each lattice we can associate a factorizable formF (X) in a natural manner. We denote the complete set of forms corresponding to the set {} by {F (X)}. It is proved that for any > 0 there exists an > 0 such that for eachF (X) {F } we have |F (X₀₎| for some integer vector X₀ 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 185, pp. 5–12, 1990.In conclusion, the author would like to express his deep gratitude to B. F. Skubenko for stating the problem and for his constant attention.     

On Shikata's distance between differentiable structures

Shikata proved: there is a number (n) with the following property: If two compact homeomorphic n-dimensional manifolds have a distance less than (n), then they are diffeomorphic. We improve the known lower bound (n!)^–n for (n) to 1/3n ^–2.This work was done under the program Sonderforschungsbereich Theoretische Mathematik (SFB 40) at Bonn University while Shikata was SFB-guest at Bonn.     

Inverse power law potentials in rectangular configurations

Summary Calculations based on a (distance)^– intermolecular potential (>3) enable study of the effects on adsorption of the geometry of the solid. This paper gives the closed form solution for the adsorptive potential about a homogeneous solid rectangular corner; and, through systematic superposition, closed form solutions for the following configurations also: the rectangular corner of a cavity; laminae and rectangular cracks occupying a quarter plane; semi-infinite rectangular prisms and prismatic cavities; rectangular parallelepipeds and brick-shaped cavities. These various results are developed in detail for the cases =6 and =4. The paradox that potentials for >3 seem to be obtainable more readily than Newtonian potentials (=1) is explained by the existence only for >3 of simple fundamental solutions for infinite homogeneous solid configurations.

---

Zusammenfassung Berechnungen, denen ein intermolekulares Potential der Form (Abstand)^– (>3) zugrunde gelegt ist, ermöglichen eine Untersuchung von Effekten der Adsorption auf die Geometrie des Festkörpers. Die vorliegende Arbeit gibt die Lösung in geschlossener Form für das Adsorptionspotential um eine feste, homogene, rechtwinklige Ecke an. Ausserdem werden durch systematische Superposition Lösungen in geschlossener Form für die folgenden Konfigurationen angegeben: die rechtwinklige Innenecke einer Mulde; viertelunendliche, ebene Platten und rechteckige Spalten; halbunendliche, reckteckige Prismen und prismatische Mulden; Quader und quaderförmige Höhlen. Diese Ergebnisse sind ausführlich dargestellt für die Fälle =4. Das Paradoxon. dass Potentiale mit >3 scheinbar leichter zugänglich sind als das Gravitationspotential (=1), wird dadurch erklärt, dass nur für >3 einfache Grundlösungen für unendliche, homogene Festköperkonfigurationen existieren.

     

The disappearance of criticality in the theory of thermal ignition

Summary In the study of thermal ignition, when reactant consumption is neglected, criticality is usually taken as the point at which there is a large jump in the maximum steady temperature for a small change in the external parameters. If the equations are taken in their exact form, without the Frank-Kamenetskii approximation RT _a E0, criticality vanishes for large. In this paper a model is introduced for which the value of at which criticality vanishes can be determined precisely for geometries of an infinite slab and infinite circular cylinder.

---

Zusammenfassung Wird beim Studium thermischer Explosionen der Reaktionsverbrauch vernachlässigt, so spricht man üblicherweise von einem kritischen Punkt, wenn dort bei einer kleinen Änderung der äußeren Parameter ein großer Sprung der stationären Maximaltemperatur auftritt. Bei den exakten Gleichungen (ohne die Frank-Kamenetskii'sche Approximation RT _a E0) gibt es für große keinen kritischen Punkt mehr. In dieser Arbeit wird ein Modell eingeführt, bei dem der Wert von , für welchen der kritische Punkt verschwindet, im Fall der unendlichen Platte und des unendlichen Zylinders genau bestimmt werden kann.

---

Nomenclature A pre-exponential factor in Arrhenius law - d length scale (e.g. radius of cylinder and half-thickness of slab) - E Arrhenius activation energy - k thermal conductivity - Q exothermicity per unit mass - R gas constant - S surface of reacting material - T local absolute temperature - T _a surface temperature - V volume occupied by the reacting material - x dimensionless distance coordinate - =E(T-T _a )/RT _a ² dimensionless temperature - solution of Eqs. (6), (7) - maximum value of inV - =(1+)^–1 - maximum value of inV - density of material - =RT _a /E - ₀ smallest value of for which criticality vanishes - =QEAd ² exp (-E/RT _a )/kRT _a ² - _cr critical value of - ^* maximum value of for which positive solutions exist Supported in part by the Victoria Univeristy of Wellington Fellowship Committee and the European Research Office of the U.S. Army.     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

Local Stochastic Channeling Theory: Kinetic Functions in the Case of Interaction Between Fast Particles and Lattice Atoms

We investigate the motion of high-energy particles in a crystal with regard to their interaction with the thermal vibrations of the lattice atoms using analytic methods in the theory of Markov processes including the local Fokker–Planck equation. We construct a local matrix of random actions, which is used to introduce the main kinetic functions in the traverse-energy space, namely, the function a() of energy losses due to the dynamic friction and the diffusion function b(). We show that the singularities of the functions a() and b() are related to the distinction between the contributions to the kinetics from particles moving in three different regimes, namely, in the channeling, quasichanneling, and chaotic motion modes.     

Nonparametric Estimation in a Model with a Trend

Let Yt be a stochastic process taking values in R and defined by the model Yt=azt+(Xt)+ t where {zt} is a deterministic sequence, {Xt} is strictly stationary and strongly mixing, and {t} is i.i.d. We study asymptotic properties of nonparametric estimators of density and regression with rates of convergence, and their behavior on estimation when () is polynomial. It is shown that the estimator of the coefficients of () constructed from the nonparametric estimators of regression is consistent when the deterministic {zt} converges in Cesàro mean, and may be inconsistent when {zt} is periodic under some ordinary conditions.     

On the sums of a family of Kapteyn series

The series ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) arise in studying the emission and absorption of radiation by a charged particle on a Kepler orbit. For the first few even,r, the sums are obtained in closed form, and for oddr they are given in terms of a certain definite integral. The integral is expressed as a power series in for ||<1, and, near =1, an asymptotic expansion in powers of (1–²)^1/2 may be obtained.

---

Résumé La série ₁ n ^r–1 J _n (n)J _n (n) (r 0, 0 < 1) se trouve par l'émission et l'absorption du rayonnement d'une particule chargée sur l'orbite Keplerien. Pour les plus petites valuers paires der, les sommes s'obtienment en forme compacte, et pour les valuers impaires, elles se déterminent d'après une intégrale definie. Pour ||<1, cette intégrale se développe dans une série de puissances de , et dans le voisinage de =1, on obtient une série asymptotique et puissances de (1–²)^1/2.

     

Sufficiency-Type Stability and Stabilization Criteria for Linear Time-Invariant Systems with Constant Point Delays

A set of criteria of asymptotic stability for linear and time-invariant systems with constant point delays are derived. The criteria are concerned with -stability local in the delays and -stability independent of the delays, namely, stability with all the characteristic roots in Res–<0 for all delays in some defined real intervals including zero and stability with characteristic roots in Res<–<0 as 0⁺ for all possible values of the delays, respectively. The results are classified in several groups according to the technique dealt with. The used techniques include both Lyapunov's matrix inequalities and equalities and Gerschgorin's circle theorem. The Lyapunov's inequalities are guaranteed if a set of matrices, built from the matrices of undelayed and delayed dynamics, are stability matrices. Some extensions to robust stability of the above results are also discussed.     

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().     

Spectral parameter asymptotics of the Weyl solutions of Sturm-Liouville equations

In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=²y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c₀+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution e^ix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.     

Asymptotic expansion of the solution of a system of elasticity equations in an inhomogeneous thin layer

An asymptotic analysis is conducted (in the absence of simplifying hypotheses) for a three-dimensional problem in the theory of elasticity for a plate of thickness s with characteristic dimension of inhomogeneity also equal to and a scale of mass forces T s. A theorem is given for estimating the difference of the exact an asymptotic solutions.Translated fromVychilitel'naya i Prikladnaya Matematika, No. 69, pp. 63–68, 1989.     

Criticality in a model for thermal ignition in three or more dimensions

An explicitly resolvable model, which was instroduced in a previous paper (see [1]), is used to obtain exact behaviour of its bifurcation curves. The model closely approximates the true Arrhenius law for a spherical vessel of reacting material undergoing an exothermic reaction in three or more dimensions. For a sequence of values of a parameter, which is the reciprocal of the dimensionless activation energy, the number of the solutions changes for certain values of the eigenparameter Further, there exist solutions for all then is non-zero.

---

Zusammenfassung Mit Hilfe eines explizit lösbaren Modells, das in einer früheren Arbeit eingeführt wurde (siehe [1]), erhält man das exakte Verhalten der zugehörigen Verzweigungskurven. Das Modell approximiert gut das Arrheniussche Gesetz für exotherme Reaktionen in einem sphärischen Topf in drei oder mehr Dimensionen. Für eine Folge von Werten des Parameters, welches als Reziproke der dimensionslosen Aktivierungsenergie dient, ändert sich die Anzahl der Lösungen zum Eigenwert, der durch gesteuert wird. Weiter gibt es für alle mindestens eine Lösung, sofern 0 gilt.

---

---

Supported in part by the Deutsche Forschungsgemeinschaft and in part by the Victoria University of Wellington Fellowship Committee.