Properties of the Mappings That Are Close to the Harmonic Mappings. II

We continue studying the mappings that are close to the harmonic mappings (-quasiharmonic mappings with small). This study originates with the previous articles of the author. The results of the article include a theorem on connection between the notion of -quasiharmonic mapping and the solutions to Beltrami systems, an analog to the arithmetic mean property of harmonic functions for -quasiharmonic mappings, a theorem on stability in the Poisson formula for harmonic mappings in the ball, and a theorem on the local smoothing of -quasiharmonic mappings with small which preserves proximity to the harmonic mappings.     

Fano'sche Moufang-Ebenen mit Gauss-Figur sind pappos'sch

LetV be a quadrilateral in aMoufang-plane , in which theFano-proposition is valid. Take the pointsP,Q,R respectively in the diagonalsp,q,r ofV and construe the pointsP ^*,Q ^*,R ^* inp,q, r harmonic toP,Q,R with respect to pairs of edges ofV. IfP,Q,R are collinear, so areP ^*,Q ^*,R ^*, if and only if is aPappos-plane. Is V classical, the pointsP ₁ p,Qq,Rr and their harmonic conjugatesP ₁ ^* ,Q ^*,R ^* (construed as above mentioned) lay in a curve of 2^nd order.

---

---

R. Artzy zum 70. Geburtstag zugeeignet     

Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

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.     

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

On the expected number of linear complementarity cones intersected by random and semi-random rays

Lemke's algorithm for the linear complementarity problem follows a ray which leads from a certain fixed point (traditionally, the point (1,, 1)^T) to the point given in the problem. The problem also induces a set of 2 ⁿ cones, and a question which is relevant to the probabilistic analysis of Lemke's algorithm is to estimate the expected number of times a (semi-random) ray intersects the boundary between two adjacent cones. When the problem is sampled from a spherically symmetric distribution this number turns out to be exponential. For ann-dimensional problem the natural logarithm of this number is equal to ln()n+o(n), where is approximately 1.151222. This number stands in sharp contrast with the expected number of cones intersected by a ray which is determined by two random points (call itrandom). The latter is only (n/2)+1. The discrepancy between linear behavior (under the random assumption) and exponential behavior (under the semi-random assumption) has implications with respect to recent analyses of the average complexity of the linear programming problem. Surprisingly, the semi-random case is very sensitive to the fixed point of the ray, even when that point is confined to the positive orthant. We show that for points of the form (, ²,, ⁿ )^T the expected number of facets of cones cut by a semi-random ray tends to 1/8n ²+3/8n when tends to zero.This work was done while the author was visiting Stanford University and XEROX-PARC and was supported in part by the National Science Foundation under grants MCS-8300984, ECS-8218181 and ECS-8121741.     

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 .     

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.     

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.     

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

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Compact operators whose singular numbers have powerlike asymptotics

For a compact operator in a Hilbert space, let s_n(A), n =1, 2,... be the singular numbers and let N(s; A) =card{n N:s_n(A)>, s>0. For 0

a _p and not on the individual elementAa, (H. Weyl's lemma); this allows us to write _p (a), _pp (a), a_p. One obtains certain results regarding the functionals _p, _p (and about the analogous functionals for the positive and negative eigenvalues in the casea=a ^*=A ^*:A a. In particular: I. Ifa ₁ a _2p, then. II.Let a ₁,a _{2 pP} ,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matetmaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 21–30, 1983.     

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     

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.     

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.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Positivity Preserving Forms have the Fatou Property

We prove that if (,D) is a positivity preserving form on L ² (E;m), and if (u _n)_n is a sequence in D() converging m-almost everywhere to u L ² (E;m), then (u,u) lim inf_n (u _n ,u _n ).     

How to approximate the solutions of certain free boundary problems for the Laplace equation by using the contraction principle

We show how the free boundary of an ideal fluid, subject to a generalized Bernoulli condition, can (under appropriate circumstances) be approximated. Our method is based on a class of free-boundary perturbation operatorsT , 0<<1, which are all contracting relative to a suitable norm and class of boundaries, and whose fixed points converge to the desired free boundary solution as 0+.

---

Zusammenfassung Wir zeigen, wie der freie Rand einer idealen Flüssigkeit, welcher einer verallgemeinerten Bernoulli-Bedingung genügt, unter geeigneten Umständen approximiert werden kann. Unsere Methode stützt sich auf eine Klasse freier RandperturbationsoperatorenT , 0<<1, welche relativ zu einer geeigneten Norm und Ränderklasse kontrahierend sind und deren Fixpunkte gegen die gewünschte Lösung der freien Randaufgabe mit 0+ konvergieren.

     

Stationary Gaussian processes with a finite correlation function

If the correlation function vanishes outside the segment [–R, R], then an upper estimate (uniform with respect to all such processes) is possible for the probability of the fact that on an other segment [–r, r] the process remains between – and . Such an estimate is obtained, decreasing for 0 asexp(–f(r/R ln ²+ ) and, moreover,r/R may be either 0 or +. The proof is based on an estimate of the form P_mQ_n c_mn P_m Q_n for norms of polynomials on a circle in the complex plane.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 279–288, 1990.     

Isomorphisms of Some Complex Poisson Brackets

Given a complex manifold M_i, structures of Poisson algebras on (M_i)=C(M_i,C) which are associated with a nondegenerate -closed (2,0)-form _i on M_i are considered. It is shown that every isomorphism of Poisson structures (M₁) (M₂) is generated by a biholomorphic map :M₂ M₁ such that ₂ = *₁