Functions with a finite dirichlet integral in a domain with cusp points on the boundary

Let be a domain in ⁿ, n >2, the boundary of which has a cusp point, pointing inside or outside the domain. The purpose of the paper is to characterize the traces on of the elements of the space H¹() of functions with a finite Dirichlet integral. As a consequence one establishes the existence of a linear continuous extension operator H¹ () H¹(ⁿ) under the presence of an interior cusp point on . Theorems on domains with cusps are proved with the aid of results on cylindrical domains. In the space of functions with a finite Dirichlet integral in the exterior or the interior of the cylinder one introduces the norm, depending on a small parameter and generating a norm of the trace on as an element of the quotient space. The latter is placed in correspondence with an explicitly described norm of functions on the boundary, uniformly equivalent relative to . One constructs an operator of extension of functions from the exterior of the cylinder to Rⁿ, preserving H¹, whose norm is uniformly bounded relative to . For the optimal operator of extension from the inside of the cylinder one finds the asymptotic behavior of the norm as 0. From these results there follow similar theorems on functions with a finite Dirichlet integral inside and outside a thin closed tube (of width ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 117–137, 1983.     

Speed of convergence as a function of given accuracy for random search methods

The essence of this article lies in a demonstration of the fact that for some random search methods (r.s.m.) of global optimization, the number of the objective function evaluations required to reach a given accuracy may have very slow (logarithmic) growth to infinity as the accuracy tends to zero. Several inequalities of this kind are derived for some typical Markovian monotone r.s.m. in metric spaces including thed-dimensional Euclidean space ^d and its compact subsets. In the compact case, one of the main results may be briefly outlined as a constructive theorem of existence: if is a first moment of approaching a good subset of-neighbourhood ofx ₀=arg maxf by some random search sequence (r.s.s.), then we may choose parameters of this r.s.s. in such a way that E c(f) In² . Certainly, some restrictions on metric space and functionf are required.     

Hermitian K-theory on a Theorem of Giffen

Let be an exact category with duality. In [1] a category () was introduced and the authors asserted that the loop space of the topological realization of () is homotopy equivalent to Karoubis U-theory space of when = (R), the category of finitely generated projective modules over a ring R with an involution if 2 is invertible in R. Unfortunately, their proof contains a mistake. We present a different proof which avoids their argument.Mathematics Subject Classifications (1991): 19DO6, 19G38, 11E70.     

Periodic optimal control in Hilbert space

Optimal control problem governed byy=Ay + Bu, y(0)=y (T), =±1 are studied, whereA is the infinitesimal generator of a nonasymptotically stableC _o semigroup andB is a linear operator from a controller spaceU into a state spaceH. Both distributed (B L(U, H)) and boundary cases (B L(U, (D(A ^*)))) are investigated. Some applications to periodic control of wave equations are given.This work was supported by the National Science Foundation under Grant No. DMS-91-11794.     

A correction theorem and the dyadic space H1, ∞

It is shown that for every l-function f and for every , >0, there exists a function g such that mes {t=g} <, while the partial sums of the Fourier and Fourier-Walsh series of the function g are uniformly bounded by the number C log (^–1)f. In the proof we make use of the characterization of the dyadic space H^1, in terms of atomic decompositions (it is, apparently, new).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 149, pp. 67–75, 1986.     

Multiscale convergence and reiterated homogenization of parabolic problems

Reiterated homogenization is studied for divergence structure parabolic problems of the form u /t–div (a(x,x/,x/²,t,t/ ^k)u )=f. It is shown that under standard assumptions on the function a(x, y ₁,y ₂,t,) the sequence {u } of solutions converges weakly in L ² (0,T; H ₀ ¹ ()) to the solution u of the homogenized problem u/t– div(b(x,t)u)=f.This revised version was published online in April 2005 with a corrected missing date string.     

Bin packing games

We consider bin packing games introduced by Faigle and Kern (1993) and we restrict ourselves to the subclass of games for which all bins have unit capacity and all items are larger than 1/3. We adopt the taxation model of Faigle and Kern and we prove that for a tax-rate of = sk_7/1 the -core is always non empty. The bound is sharp, since for every < sk_7/1 there exist instances of the bin packing game within our sublass with an empty -core.     

ɛ-duality theorem of nondifferentiable nonconvex multiobjective programming

Necessary Kuhn-Tucker conditions up to precision without constraint qualification for -Pareto optimality of multiobjective programming are derived. This article suggests the establishment of a Wolfe-type -duality theorem for nondifferentiable, nonconvex, multiobjective minimization problems. The -vector Lagrangian and the generalized -saddle point for Pareto optimality are studied.     

Construction of ɛ-nets

LetS be a set ofn points in the plane and let be a real number, 0<<1. We give a deterministic algorithm, which in timeO(n ^–2 log(1/)+ ^–8) (resp.O(n ^–2 log(1/)+ ^–10) constructs an-netNS of sizeO((1/) (log(1/))²) for intersections ofS with double wedges (resp. triangles); this means that any double wedge (resp. triangle) containing more thatn points ofS contains a point ofN. This givesO(n logn) deterministic preprocessing for the simplex range-counting algorithm of Haussler and Welzl [HW] (in the plane).We also prove that given a setL ofn lines in the plane, we can cut the plane intoO( ^–2) triangles in such a way that no triangle is intersected by more thann lines ofL. We give a deterministic algorithm for this with running timeO(n ^–2 log(1/)). This has numerous applications in various computational geometry problems.     

On a variational problem with lack of compactness: the topological effect of the critical points at infinity

We study the subcritical problemsP :–u=u ^p–,u>0 on;u=0 on , being a smooth and bounded domain in ^N,N–3,p+1=2N/N–2 the critical Sobolev exponent and >0 going to zero — in order to compute the difference of topology that the critical points at infinity induce between the level sets of the functional corresponding to the limit case (P₀).

---

Résumé Nous étudions les problèmes sous-critiquesP :–u=u ^p–,u > 0 sur;u=0 sur –où est un domaine borné et régulier de ^N,N–3,p + 1=2N/N –2 est l'exposant critique de Sobolev, et >0 tend vers zéro, afin de calculer la différence de toplogie induite par les points critiques à l'infini entre les ensembles de niveau de la fonctionnelle correspondant au cas limite (P₀).

     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

On some growth models with a small parameter

Summary We consider the behavior of the asymptotic speed of growth and the asymptotic shape in some growth models, when a certain parameter becomes small. The basic example treated is the variant of Richardson's growth model on ^d in which each site which is not yet occupied becomes occupied at rate 1 if it has at least two occupied neighbors, at rate 1 if it has exactly 1 occupied neighbor and, of course, at rate 0 if it has no occupied neighbor. Occupied sites remain occupied forever. Starting from a single occupied site, this model has asymptotic speeds of growth in each direction (as time goes to infinity) and these speeds determine an asymptotic shape in the usual sense. It is proven that as tends to 0, the asymptotic speeds scale as ^1/d and the asymptotic shape, when renormalized by dividing it by ^1/d , converges to a cube. Other similar models which are partially oriented are also studied.The work of R.H.S. was supported by the N.S.F. through grant DMS 91-00725. In addition, both authors were supported by the Newton Institute in Cambridge. The authors thank the Newton Institute for its support and hospitality     

On some approximately balanced combinatorial cooperative games

A model of taxation for cooperativen-person games is introduced where proper coalitions Are taxed proportionally to their value. Games with non-empty core under taxation at rate-balanced. Sharp bounds on in matching games (not necessarily bipartite) graphs are estabLished. Upper and lower bounds on the smallest in bin packing games are derived and euclidean random TSP games are seen to be, with high probability,-balanced for0.06.     

A note on quasi-periodic solutions of some elliptic systems

We extend a recent method of proof of a theorem by Kolmogorov on the conservation of quasi-periodic motion in Hamiltonian systems so as to prove existence of (uncountably many) real-analytic quasi-periodic solutions for elliptic systems u=f _x (u, y), whereu y ^M u(y) ^N ,f=f(x, y) is a real-analytic periodic function and is a small parameter. Kolmogorov's theorem is obtained (in a special case) whenM=1 while the caseN=1 is (a special case of) a theorem by J. Moser on minimal foliations of codimension 1 on a torusT ^M +1. In the autonomous case,f=f(x), the above result holds for any .     

On a Model Problem for the Orr–Sommerfeld Equation with Linear Profile

A model spectral problem of the form -i)y+xy= y on the finite interval [-1,1] with the Dirichlet boundary conditions is considered. Here is the spectral parameter and is positive. The behavior of the spectrum of this problem as 0 is completely investigated. The limit curves are found to which the eigenvalues concentrate and the counting eigenvalue functions along these curves are obtained.     

Rational Chebyshev approximation on the unit disk

Summary In a recent paper we showed that error curves in polynomial Chebyshev approximation of analytic functions on the unit disk tend to approximate perfect circles about the origin [23]. Making use of a theorem of Carathéodory and Fejér, we derived in the process a method for calculating near-best approximations rapidly by finding the principal singular value and corresponding singular vector of a complex Hankel matrix. This paper extends these developments to the problem of Chebyshev approximation by rational functions, where non-principal singular values and vectors of the same matrix turn out to be required. The theory is based on certain extensions of the Carathéodory-Fejér result which are also currently finding application in the fields of digital signal processing and linear systems theory.It is shown among other things that iff(z) is approximated by a rational function of type (m, n) for >0, then under weak assumptions the corresponding error curves deviate from perfect circles of winding numberm+n+1 by a relative magnitudeO( ^{m + n + 2} as 0. The CF approximation that our method computes approximates the true best approximation to the same high relative order. A numerical procedure for computing such approximations is described and shown to give results that confirm the asymptotic theory. Approximation ofe ^z on the unit disk is taken as a central computational example.     

Stefan problem with a kinetic and the classical conditions at the free boundary

The Stefan problem is considered with the kinetic condition u⁺=u^–=k(y, )-v at the phase interface, where k(y, ) is the half-sum of the principal curvatures of the free boundary and v is the speed of its shifting in the direction of a normal. The solvability of a modified Stefan problem in spaces of smooth functions and the convergence of its solutions as 0 to a solution of the classical Stefan problem are proved.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 2, pp. 155–166, February, 1992.     

Zur Krümmungsverwandtschaft Von Zwangläufen in Affinen CK — Ebenen I

We study a map of osculating elements of an affine Cayley- Klein (CK-) plane into the Lie algebraA ₄(²) of the aequiform transformationsA ₄(²) of the given plane. If we use the real projective spaceP ₃() overA ₄(²) each osculating element defines a straight line inP ₃(). In the first part of this paper this map is studied in detail. In the second part we study second order properties of one- parameter motions and their corresponding properties in the Lie algebraA ₄(²). This is done by considering the analogen to the formula of EULERSAVARY in the image spaceP ³() overA ₄(²).     

Probabilities of moderate deviations

Let X₁, X₂, ... be a sequence of independent, identically distributed random variables, and let. The rate of convergence of probabilities of the form andis studied for any > ₀ and some r and ₀. Moreover, necessary and sufficient conditions are given that the relations be satisfied uniformly with respect to x in the region 0 x clog n, where and c are some positive constants, and. Local limit theorems are also presented.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituts im. V. A. Steklova AN SSSR, Vol. 85, pp. 6–16, 1979.     

Semilinear hyperbolic systems and equations with singular initial data

We study the weak limits (t, .)of solutions to semilinear strictly hyperbolic systems and wave equations with initial datau (0, .) approximating a distribution, 0 < 1. We propose an optimal link between the singularity of and the growth of the nonlinear term in order that exists. In this way we extend some of the results in [3], [10], [13].