On the zetafunction of an arithmetical semigroup

The Zetafunction Z of an additive, multiplicative arithmetical semigroup is a power series with radius of convergence (01), a Dirichlet series with abscissa of convergence (0), respectively.Conditions are given which ensure that >0 and Z()=,< and Z()= hold true, respectively. Jürgen Neukirch zum Gedächtnis Mathematics Subject Classification (2000):11N45, 05A16.     

Graphs of Constant Mean Curvature in Hyperbolic Space

We study the problem of finding constant mean curvature graphsover a domain of a totally geodesic hyperplane andan equidistant hypersurface Q of hyperbolic space. We findthe existence of graphs of constant mean curvature H overmean convex domains Q and with boundary for –H < H |h|, where H > 0 is the mean curvature of the boundary . Here h is the mean curvature respectively of the geodesic hyperplane (h= 0) and of the equidistant hypersurface (0 < |h|< 1). The lower bound on H is optimal.     

Homotopy classification of some four-dimensional manifolds

In this paper there is proved a generalization of the results of Whitehead and Pontryagin on the homotopy classification of closed, simply connected four-manifolds. Let W and M be compact four-dimensional simply connected oriented four-manifolds. By q_w is denoted the intersection index on the group H₂(W).Basic Result. THEOREM (Extension). Let the groups H₁(W)and H₁(M) be finite and suppose given a homotopy equivalence fWM. In order that f can be extended to a homotopy equivalence (W,W)(M,M), it is necessary and sufficient that there should exist an isomorphism , such that the diagram is commutative and *q_m=q_m.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 66, pp. 164–171, 1976.     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Nuclei of point sets of sizeq+1 contained in the union of two lines inPG(2,q)

We give a complete classification for pairs ( (),) where () is the set of all nuclei of a set ofq+1 not collinear points contained in the union of two lines in a desarguesian planePG(2,q) of orderq. We also obtain some new results concerning blocking sets of Rédei type and certain point-sets of type [0,1,m,n] inPG(2, q).     

Admissibility of unbiased tests for a composite hypothesis with a restricted alternative

This paper discusses -admissiblility and d-admissiblity which are important concepts in studying the performance of statistical tests for composite hypotheses. A sufficient condition for -admissibility is presented. When =1/m, the Nomakuchi-Sakata test, which is uniformly more powerful than the likelihood ratio test for hypotheses min (₁, ₁) = 0 versus min (₁, ₁) > 0, is generalized for a class of distributions in an exponential family, and its unbiasedness and -admissibility are shown. Finally, the case of 1/m is discussed in brief.     

On the semimartingale representation of reflecting Brownian motion in a cusp

Summary LetC be the symmetric cusp {(x, y)²:–x yx ,x0} where >1. In this paper we decide whether or not reflecting Brownian motion inC has a semimartingale representation. Here the reflecting Brownian motion has directions of reflection that make constant angles with the unit inward normals to the boundary. Our results carry through for a wide class of asymmetric cusps too.     

Continuity of the Multifractal Spectrum of a Random Statistically Self-Similar Measure

Until now [see Kahane;⁽¹⁹⁾ Holley and Waymire;⁽¹⁶⁾ Falconer;⁽¹⁴⁾ Olsen;⁽²⁹⁾ Molchan;⁽²⁸⁾ Arbeiter and Patzschke;⁽¹⁾ and Barral⁽³⁾] one determines the multifractal spectrum of a statistically self-similar positive measure of the type introduced, in particular by Mandelbrot,^{(26, 27)} only in the following way: let be such a measure, for example on the boundary of a c-ary tree equipped with the standard ultrametric distance; for 0, denote by E the set of the points where possesses a local Hölder exponent equal to , and dim E the Hausdorff dimension of E ; then, there exists a deterministic open interval I *₊ and a function f: I *₊ such that for all in I, with probability one, dim E =f(). This statement is not completely satisfactory. Indeed, the main result in this paper is: with probability one, for all I, dim E =f(). This holds also for a new type of statistically self-similar measures deduced from a result recently obtained by Liu.⁽²²⁾ We also study another problem left open in the previous works on the subject: if =inf(I) or =sup(I), one does not know whether E is empty or not. Under suitable assumptions, we show that E ø and calculate dim E .     

On a characterization of polynomials by divided differences

Summary We consider the functional equationf[x ₁,x ₂,, x _n ] =h(x ₁ + +x _n ) (x ₁,,x _n K, x _j x _k forj k), (D) wheref[x ₁,x ₂,,x _n ] denotes the (n – 1)-st divided difference off and prove Theorem. Let n be an integer, n 2, let K be a field, char(K) 2, with # K 8(n – 2) + 2. Let, furthermore, f, h: K K be functions. Then we have that f, h fulfil (D) if, and only if, there are constants a_j K, 0 j n (a := a_n, b := a_{n – 1}) such thatf = ax ⁿ +bx ^{n – 1} + +a ₀ and h = ax + b.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

A class of consistent tests for exponentiality based on the empirical Laplace transform

The Laplace transform (t=E[exp(–tX)]) of a random variable with exponential density exp(–x), x0, satisfies the differential equation (+t)(t)+(t=0, t0). We study the behaviour of a class of consistent (omnibus) tests for exponentiality based on a suitably weighted integral of % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacaGGBbGaaiikai% qbeU7aSzaajaWaaSbaaSqaaGqaciaa-5gaaeqaaOGaey4kaSIaamiD% aiaacMcacqaHipqEcaWFNaWaaSbaaSqaaiaad6gaaeqaaOGaaiikai% aadshacaGGPaGaey4kaSIaeqiYdK3aaSbaaSqaaiaad6gaaeqaaOGa% aiikaiaadshacaGGPaGaaiyxamaaCaaaleqabaGaaGOmaaaaaaa!4C69!\[[(\hat \lambda _n + t)\psi '_n (t) + \psi _n (t)]^2 \], where % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqaqpepeea0xe9qqVa0l% b9peea0lb9sq-JfrVkFHe9peea0dXdarVe0Fb9pgea0xa9pue9Fve9% Ffc8meGabaqaciGacaGaaeqabaWaaeaaeaaakeaacuaH7oaBgaqcam% aaBaaaleaaieGacaWFUbaabeaaaaa!3A66!\[\hat \lambda _n \] is the maximum-likelihood-estimate of and _n is the empirical Laplace transform, each based on an i.i.d. sample X ₁,...,X _n .     

Approximate first-order and second-order directional derivatives of a marginal function in convex optimization

Given a convex functionf: ^p × ^q (–, +], the marginal function is defined on ^p by (x)=inf{f(x, y)|y ^q }. Our purpose in this paper is to express the approximate first-order and second-order directional derivatives of atx ₀ in terms of those off at (x ₀,y ₀), wherey ₀ is any element for which (x ₀)=f(x ₀,y ₀).The author is indebted to one referee for pointing out an inaccuracy in an earlier version of Theorem 4.1.     

Solving systems of polynomial inequalities over a real closed field in subexponential time

Let _m= (₁,..., _m) denote an ordered field, where _i+1>0 is infinitesimal relative to the elements of _i, 0 < –i < m (by definition, ₀= ). Given a system of inequalities f₁ > 0, ..., f_s > 0, f_s+1 0, ..., f_k 0, where f_{j m} [X₁,..., X_n] are polynomials such that, and the absolute value of any integer occurring in the coefficients of the f_js is at most 2^M. An algorithm is constructed which tests the above system of inequalities for solvability over the real closure of _m in polynomial time with respect to M, ((d)ⁿd₀)^n+m. In the case _m=, the algorithm explicitly constructs a family of real solutions of the system (provided the latter is consistent). Previously known algorithms for this problem had complexity of the order ofM(d d ₀ ^{m 2U(n)} .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 174, pp. 3–36, 1988.     

Orthonormal systems satisfying an inequality of S. M. Nikol'skii

N- (p, q) (1 pN-, L _p - L _q -. , , , L L _q - , , .     

Elastic properties of honeycomb sandwich plates with nontraditional cell forms

A method for correcting the elastic properties of honeycomb sandwich plates by changing the cell shape is described. Compact and convenient analytical expressions (1) are proposed for calculating the reduced elastic parameters of the honeycomb sandwich plates. The acceptable range of changes in the size of the honeycombs is restricted by the cell elongation region [0.5;2] and the region of variation of the angle between cell walls [/6; 5/6]. The results of the calculation experiment showed that the traditional cell shape (=/3, =1) is not effective as an optimum structure (Table 1).Institute of Transport Systems and Technologies (Transmag), National Academy of Sciences of Ukraine, Dnepropetrovsk, Ukraine. Translated from Mekhanika Kompozitnykh Materialov, Vol. 33, No. 2, pp. 187–191, March–April, 1997.     

Local Jacquet-Langlands correspondence and parametric degrees

Let F be a non-Archimedean local field with finite residue field. Let n be a positive integer, let G = GL_n(F), and let D be a central F-division algebra of dimension n². The Jacquet-Langlands correspondence gives a canonical bijection ^D from the set of equivalence classes of irreducible, smooth, essentially square-integrable representations of G to the set of equivalence classes of irreducible smooth representations of D^![![times;. We give a necessary and sufficient condition, in terms of dim, for an irreducible smooth representation of D^× to be of the form ^D, for an irreducible supercuspidal representation of G, thereby solving an old problem. This relies on the explicit classification of the irreducible smooth representations of G and the parallel classification of the irreducible representations of D^×.This paper was written while the first-named author was visiting, and partly supported by, Université de Paris-Sud. At that time, the second-named author was enjoying the hospitality of the IHES, during a stay at the CNRS granted by Université de Paris-Sud; he would like to thank all those institutions. The work was also partially supported by EU network Arithmetical Algebraic Geometry.Mathematics Subject Classification (2000): 22E50     

Best approximations of continuous functions by spline functions

An investigation of the approximation on [0, 1] of functionsf (x) by spline functions s(f,; x) of degree 2r-1 and of deficiency r (r>1) depending on the vector function = ₁ (x),..., _r-1(x) and interpolatingf (x) at fixed points. For the optimal choice of the vector ₀, exact estimates are obtained of the norms f(x)-s (f, ₀; x)_C[0,1] and f (x)-s (f, ₀; x)_{L[0, 1]} on the function classes H Translated from Matematicheskie Zametki, Vol. 8, No. 1, pp. 41–46, July, 1970.In conclusion we would like to thank N. P. Korneichuk for suggesting this problem and for his valuable advice.     

Moderate Deviations for the overlap parameter in the Hopfield model

We derive moderate deviation principles for the overlap parameter in the Hopfield model of spin glasses and neural networks. If the inverse temperature is different from the critical inverse temperature _c=1 and the number of patterns M(N) satisfies M(N)/N 0, the overlap parameter multiplied by N, 1/2 < < 1, obeys a moderate deviation principle with speed N^1–2 and a quadratic rate function (i.e. the Gaussian limit for = 1/2 remains visible on the moderate deviation scale). At the critical temperature we need to multiply the overlap parameter by N, 1/4 < < 1. If then M(N) satisfies (M(N)⁶ log N M(N)²N⁴ log N)/N 0, the rescaled overlap parameter obeys a moderate deviation principle with speed N^1–4 and a rate function that is basically a fourth power. The random term occurring in the Central Limit theorem for the overlap at _c = 1 is no longer present on a moderate deviation scale. If the scaling is even closer to N^1/4, e.g. if we multiply the overlap parameter by N^1/4 log log N the moderate deviation principle breaks down. The case of variable temperature converging to one is also considered. If _N converges to _c fast enough, i.e. faster than the non-Gaussian rate function persists, whereas for _N converging to one slower than the moderate deviations principle is given by the Gaussian rate. At the borderline the moderate deviation rate function is the one at criticality plus an additional Gaussian term.Research supported by the Volkswagen-Stiftung (RiP-program at Oberwolfach, Germany).Mathematics Subject Classification (2000): 60F10 (primary), 60K35, 82B44, 82D30 (secondary)     

On the convergence in a restricted sense of multiple series

Z ^d — k=(k ₁, ...,k _d) k _j,d1.d- (8), . . a _k s _m= a _k s, >0 N, min (m ₁,...,m _d)N, ¦s _m–s¦. , , >0 N, min (m ₁,...,m _d)N min (n ₁,...,n _d)N, ¦s _m–s _n. . , (8) , >0 N, max (b ₁,...,b _d) N, m — Z ^d , m1, ¦s(b, m)¦ where      

Martingale Hardy spaces,BMO and VMO spaces with nonlinearly ordered stochastic basis

VMO. , ⁺, «» VMO . « » .