Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

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.     

α-Sober spaces via the orthogonal closure operator

Each ordinal equipped with the upper topology is a T ₀-space. It is well known that for =2 the reflective hull of in Top₀ is the subcategory of sober spaces. Here, we define -sober space for each 2 in such a way that the reflective hull of in Top₀ is the subcategory of -sober spaces. Moreover, we obtain an order-preserving bijective correspondence between a proper class of ordinals and the corresponding (epi)reflective hulls. Our main tool is the concept of orthogonal closure operator, first introduced in [12].The author acknowledges financial support from Instituto Politécnico de Viseu and from Centro de Matemática da Universidade de Coimbra.     

Eulerian numbers with fractional order parameters

Summary The aim of this paper is to generalize the well-known Eulerian numbers, defined by the recursion relationE(n, k) = (k + 1)E(n – 1, k) + (n – k)E(n – 1, k – 1), to the case thatn is replaced by . It is shown that these Eulerian functionsE(, k), which can also be defined in terms of a generating function, can be represented as a certain sum, as a determinant, or as a fractional Weyl integral. TheE(, k) satisfy recursion formulae, they are monotone ink and, as functions of , are arbitrarily often differentiable. Further, connections with the fractional Stirling numbers of second kind, theS(, k), > 0, introduced by the authors (1989), are discussed. Finally, a certain counterpart of the famous Worpitzky formula is given; it is essentially an approximation ofx in terms of a sum involving theE(, k) and a hypergeometric function.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth.     

Solution of integral equations in fractional Sobolev spaces

We consider linear integral equations and Urysohn equations with constant integration limits. Sufficient conditions are given for the solutions of these equations to be in Sobolev spacesW ₂ (0,1), 0 2. Finite-difference schemes are constructed for approximate solution of the original equation by special averaging of the right-hand side kernel. The rate of convergence of the approximate solution to the averaged exact solution is shown to beO(h|ln h|(1/2,)⁺(3/2,)).Translated from Vychislitel'naya i Prikladnaya Matematika, No. 63, pp. 3–19, 1987.     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.     

The critical exponent of degenerate parabolic systems

The Cauchy problemu _t=u +v ^p ,v _t =v +u ^q is studied, wherex R ^N , 0 <t < and ,,p andq, are positive exponents. It is proved that ifp,q 1 and 1 <pq < 1 + 2 max(p + ,q + )/n then every nontrivial non-negative solution is not global in time; whereaspq > 1 + 2 max(p + , q + )/n then there exist both positive global solutions and non-global solutions. In addition, the decaying in time of solutions tou _t,=u inR ⁿ × (0, ), an equation which occurs naturally in our study of above systems, is studied and solutions with the fastest decaying in time are constructed.     

Latteninterpolation bei einer Funktion von zwei Veränderlichen

Summary In each lattice point , of a rectangular net a numerical valueu is given. A bicubical and twice continuously differentiable function is constructed interpolating the valuesu . The method is known as «spline interpolation».     

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 .     

The dissection of a polygon into nearly equilateral triangles

Every polygon can be dissected into acute triangles. In this paper we prove that every polygon, such that the interior angles are at least /5, can be dissected into triangles with interior angles all less than or equal to 2/5. We find necessary conditions on the interior angles of the polygon in order to obtain a dissection into triangles with interior angles all (where /3<<2/5). The conjecture can be stated that these conditions are also sufficient.     

Characterization of Dirichlet Forms by their Excessive and Co–Excessive Elements

It is proved that if S, T are two elliptic Dirichlet operators on an ordered Hilbert space such that the excessive (resp. coexcessive) elements with respect to S and T are the same then there exists > 0 with T = S. Particularly if , are two elliptic Dirichlet forms on L² ( ) having the same domain of definition and the same -excessive (resp. -coexcessive) elements for any > 0 then = .     

Extensions of Laguerre operators in indefinite inner product spaces

The Laguerre-Sonin polynomialsL _n ⁽⁾ are orthogonal in linear spaces with indefinite inner product if<–1. We construct the completion () of this space and describe self-adjoint extensions of the Laguerre operatorl(y)=xy+(1+–x)y,<–1, in the space (). In particular, we write out the self-adjoint extension of the Laguerre operator whose eigenfunctions coincide with the Laguerre-Sonin polynomials and form an orthogonal basis in ().Translated fromMatematicheskie Zametki, Vol. 63, No. 4, pp. 509–521, April, 1998.This research was partially supported by the INTAS foundation under grant No. 93-02449.     

Ultrafilter translations

We develop a method for extending results about ultrafilters into a more general setting. In this paper we shall be mainly concerned with applications to cardinality logics. For example, assumingV=L, Gödel's Axiom of Constructibility, we prove that if > then the logic with the quantifier there exist many is (,)-compact if and only if either is weakly compact or is singular of cofinality<. As a corollary, for every infinite cardinals and , there exists a (,)-compact non-(,)-compact logic if and only if either < orcf<cf or < is weakly compact.Counterexamples are given showing that the above statements may fail, ifV=L is not assumed.However, without special assumptions, analogous results are obtained for the stronger notion of [,]-compactness.     

On Mittag-Leffler functions and related distributions

The distribution F () = 1 – E (–), 0 < 1; 0 , where E (x) is the Mittag-Leffler function is studied here with respect to its Laplace transform. Its infinite divisibility and geometric infinite divisibility are proved, along with many other properties. Its relation with stable distribution is established. The Mittag-Leffler process is defined and some of its properties are deduced.     

K1 of Twisted Rings of Polynomials

We prove that for an arbitrary endomorphism of a ring R the group K1(R[t]) splits into the direct sum of K1(R) and Ñil (r;). Moreover, for any such R and Ñil (R; ) is isomorphic to Ñil (R ; ) for some ring R with : R R – an isomorphism.     

On the dispersion spectrum

A measure for the denseness of sequences (an) mod 1, irrational, is the dispersion constantD() introduced byH. Niederreiter. In this paper the smallest accumulation point ₁ of the set of theD() is determined and all those are explicitely given for whichD () < ₁ holds.     

A result from diophantine approximation which has applications in economics

We say that a real number allows poor approximations if we can find 0<=()<1 and a sequence of integers n₁2<... such that for all rationals p/q with qn. we have |–.p/q| > Kn _j ^–l– where K is a constant depending only on .In this note we prove that the set of numbers which allow poor approximations are precisely the very well-approximable numbers.The existence of numbers with poor approximations has been used by Cheng [1] to show the existence of a dense set of economies whose cone converges to the Walras equilibrium as slowly as 0(n^–1/2–) after n replications.     

The self-similar solutions to a fast diffusion equation

A quasilinear equation u -x·u/2+f(u)=0 is studied, wheref(u)=–u+u , > 0, 0<. <1, >1 andx R ⁿ. The equation arises from the study of blow-up self-similar solutions of the heat equation _t =+. We prove the existence and non-existence of ground state for various combination of , and . In particular, we prove that when / < forn=1,2 or / < (n + 2) /(n – 2) forn 3 there exists no non-constant positive radial self-similar solution of the parabolic equation, but for many cases where / > (n + 2)/(n – 2) there exists an infinite number of non-constant positive radial self-similar solutions.     

Littlewood-paley operators on the generalized Lipschitz spaces

Littlewood-Paley operators defined on a new kind of generalized Lipschitz spaces ₀ ^,p are studied. It is proved that the image of a function under the action of these operators is either equal to infinity almost everywhere or is in ₀ ^,p , where –n<<1 and 1<p<.