Spectral Portraits of the Orr-Sommerfeld Operator with Large Reynolds Numbers

The model problem -i y'+q(x)y= y, y(-1)=y(1)=0 is associated with the Orr-Sommerfeld operator well-known in hydrodynamics. Here is the spectral parameter, is the small parameter which is proportional to the viscosity of the liquid and to the reciprocal of the Reynolds number, and q(x) is the velocity of the stationary flow of the liquid in the channel |x| 1. We study the behavior of the spectrum of the corresponding model operator as to 0 with linear, quadratic, and monotonic analytic functions. We show that the sets of accumulation points of the spectra (the limit spectral graphs) of the model and corresponding Orr-Sommerfeld operators coincide just as the main terms of the eigenvalue counting functions along the curves of the graphs do.     

On Logarithmic Smoothing of the Maximum Function

We consider the maximum function f resulting from a finite number of smooth functions. The logarithmic barrier function of the epigraph of f gives rise to a smooth approximation g of f itself, where >0 denotes the approximation parameter. The one-parametric family g converges – relative to a compact subset – uniformly to the function f as tends to zero. Under nondegeneracy assumptions we show that the stationary points of g and f correspond to each other, and that their respective Morse indices coincide. The latter correspondence is obtained by establishing smooth curves x() of stationary points for g , where each x() converges to the corresponding stationary point of f as tends to zero. In case of a strongly unique local minimizer, we show that the nondegeneracy assumption may be relaxed in order to obtain a smooth curve x().     

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.     

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.     

Periodic solutions of singularly perturbed delay equations

We consider a general class of singularly perturbed delay differential systems depending on a singular parameter and another parameter . For =0, the equation defines a mapT which undergoes a generic period doubling at =0. If the bifurcation is supercritical (subcritical), these period two points define a stable period two square wave (unstable period two pulse wave). We give conditions on the vector field such that there is a sectorS in the , plane such that there is a unique periodic orbit if the parameters are inS, the orbit is stable (unstable) if the period doubling bifurcation is supercritical (subcritical) and approaches the square (pulse) wave as 0.Partially supported by NSF and DARPA.     

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     

Homogenization of Some Elasticity Problems with Rapidly Oscillating Convex Constraints on Displacements

The problem of homogenization is considered for an elastic body occupying a perforated domain = obtained from a fixed domain and an -contraction of a 1-periodic domain .     

Poisson kernel is the unique approximate identity,asymptotically multiplicative on H∞

Let for anyf H(R), where (x): = ^–1(x^–1). Then (x) P (x + h) for some h R and > 0; P denotes the Poisson kernel.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 82–89, 1989.     

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.     

Lower semicontinuity of attractors of gradient systems and applications

Summary For 0₀, let T(t), t0, be a family of semigroups on a Banach space X with local attractors A. Under the assumptions that T₀(t) is a gradient system with hyperbolic equilibria and T(t) converges to T₀(t) in an appropriate sense, it is shown that the attractors {A, 0₀} are lower-semicontinuous at zero. Applications are given to ordinary and functional differential equations, parabolic partial differential equations and their space and time discretizations. We also give an estimate of the Hausdorff distance between A and A₀, in some examples.Research supported by U.S. Army Research Office DAAL-03-86-K-0074 and the National Science Foundation DMS-8507056.     

Stochastic models of homogeneity

The probabilityp()=P{–<) is used as a characteristic of homogeneity of the system (, ) of independent identically distributed random variables. We consider some estimation methods of this characteristic and a method of classification of observations minimizing the between-class dissimilarity measure.Translated from Statisticheskie Metody Otsenivaniya i Proverki Gipotez, pp. 120–123, 1986.     

Recursive solution of linear-quadratic Nash games for weakly interconnected systems

A recursive method is developed for the solution of coupled algebraic Riccati equations and corresponding linear Nash strategies of weakly interconnected systems. It is shown that the given algorithm converges to the exact solution with the rate of convergence ofO(²), where is a small coupling parameter. In addition, only low-order systems are involved in algebrdic computations; the amount of computations required does not grow per iteration and no analyticity assumption is imposed on the system coefficients.This work was supported by Rutgers University Research Council under Grant No. 2-02188.     

Constraint decomposition algorithms in global optimization

Many global optimization problems can be formulated in the form min{c(x, y): x X, y Y, (x, y) Z, y G} where X, Y are polytopes in ^p , ⁿ , respectively, Z is a closed convex set in ^p+n, while G is the complement of an open convex set in ⁿ . The function c: ^p+n is assumed to be linear. Using the fact that the nonconvex constraints depend only upon they-variables, we modify and combine basic global optimization techniques such that some new decomposition methods result which involve global optimization procedures only in ⁿ . Computational experiments show that the resulting algorithms work well for problems with smalln.     

Shift invariant spaces inL 2

If is a complex, separable Hilbert space, letL ² () denote theL ²-space of functions defined on the unit circle and having values in . The bilateral shift onL ²() is the operator (U f)()=f(). A Hilbert spaceH iscontractively contained in the Hilbert spaceK ifHK and the inclusion mapH–K is a contraction. We describe the structure of those Hilbert spaces, contractively contained inL ²(), that are carried into themselves contractively byU . We also do this for the subcase of those spaces which are carried into themselves unitarily byU .     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

Homogenization and concentrated capacity for the heat equation with non-linear variational data in reticular almost disconnected structures and applications to visual transduction

Out of a right, circular cylinder of height H and cross-section a disc of radius R+ one removes a stack of nH/ parallel, equi-spaced cylinders C_j,j=1,2,...,n, each of radius R and height . Here , are fixed positive numbers and is a positive parameter to be allowed to go to zero. The union of the C_j almost fills in the sense that any two contiguous cylinders C_j are at a mutual distance of the order of and that the outer shell, i.e., the gap S=-_o has thickness of the order of (_o is obtained from by formally setting =0). The cylinder from which the C_j are removed, is an almost disconnected structure, it is denoted by , and it arises in the mathematical theory of phototransduction.For each >0 we consider the heat equation in the almost disconnected structure , for the unknown function u, with variational boundary data on the faces of the removed cylinders C_j. The limit of this family of problems as 0 is computed by concentrating heat capacity and diffusivity on the outer shell, and by homogenizing the u within the limiting cylinder _o.It is shown that the limiting problem consists of an interior diffusion in _o and a boundary diffusion on the lateral boundary S of _o. The interior diffusion is governed by the 2-dimensional heat equation in _o, for an interior limiting function u. The boundary diffusion is governed by the Laplace–Beltrami heat equation on S, for a boundary limiting function u_S. Moreover the exterior flux of the interior limit u provides the source term for the boundary diffusion on S. Finally the interior limit u, computed on S in the sense of the traces, coincides with the boundary limit u_S. As a consequence of the geometry of , local arguments do not suffice to prove convergence in _o, and also we have to take into account the behavior of the solution in S. A key, novel idea consists in extending equi-bounded and equi-Hölder continuous functions in -dependent domains, into equi-bounded and equi-Hölder continuous functions in the whole ^N, by means of the Kirzbraun–Pucci extension technique.The biological origin of this problem is traced, and its application to signal transduction in the retina rod cells of vertebrates is discussed. Mathematics Subject Classification (2000) 35B27, 35K50, 92C37     

On the Incompleteness of (k, n)-arcs in Desarguesian Planes of Order q Where n Divides q

We investigate the completeness of an ( nq – q + n – , n)-arc in the Desarguesian plane of order q where n divides q. It is shown that such arcs are incomplete for 0< n/2 if q/n3. For q = 2n they are incomplete for 0 < < 0.381n and for q = 3n they are incomplete for 0 < < 0.476n. For q odd it is known that such arcs do not exist for = 0 and, hence, we improve the upper bound on the maximum size of such a ( k, n)-arc.     

Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

A finite element method for a singularly perturbed boundary value problem

Summary We examine the problem:u+a(x)u–b(x)u=f(x) for 0<x<1,a(x)>0,b(x)>, ² = 4>0,a, b andf inC ² [0, 1], in (0, 1],u(0) andu(1) given. Using finite elements and a discretized Green's function, we show that the El-Mistikawy and Werle difference scheme on an equidistant mesh of widthh is uniformly second order accurate for this problem (i.e., the nodal errors are bounded byCh ², whereC is independent ofh and ). With a natural choice of trial functions, uniform first order accuracy is obtained in theL (0, 1) norm. On choosing piecewise linear trial functions (hat functions), uniform first order accuracy is obtained in theL ¹ (0, 1) norm.