Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

Computing the Hilbert transform of a Jacobi weight function

We discuss the evaluation of the Hilbert transformf _–1 ¹ (t-)^–1 w(, )(t)dt,–1<<1, of the Jacobi weight functionw(, )(t)=(1–t))(1+t) by analytic and numerical means and also comment on the recursive computation of the quantitiesf _–1 ¹ )(t–)^–1 _n (t;w ^{(, ))} w ^{(, )}(t)dt,n=0, 1, 2, ..., where _n (·;w ^{(, )}) is the Jacobi polynomial of degreen.The work of the first author was supported in part by the National Science Foundation under grant DCR-8320561. The work of the second author was supported by the National Science Foundation under grant DMS-8419086.     

On the boundedness of Weyl sums

Leta be irrational and letf:[0,1] be Riemann-integrable with integral zero. Letf _n (x) denote the Weyl sumf _n (x):= _k=0 ^n–1 f({x k>}),x/[0,1[,n. We prove criteria for the boundedness of the sequence (f _n ) _n1 and discuss the relation of this question to irregularities of the distribution of sequences.     

Finding the αn-th largest element

We describe an algorithm for selecting the n-th largest element (where 0<<1), from a totally ordered set ofn elements, using at most (1+(1+o(1))H())·n comparisons whereH() is the binary entropy function and theo(1) stands for a function that tends to 0 as tends to 0. For small values of this is almost the best possible as there is a lower bound of about (1+H())·n comparisons. The algorithm obtained beats the global 3n upper bound of Schönhage, Paterson and Pippenger for <1/3.     

A relationship between the Mahler measure and the discriminant of algebraic numbers

In this note we show that in the well-known Dobrowolski estimate lnM() (ln lnd/ lnd)3,d , where is a nonzero algebraic number of degreed that is not a root of unity andM() is its Mahler measure, the parameterd can be replaced by the quantity=d/() ^1/d, where () is the modulus of the discriminant of. To this end, must satisfy the condition deg ^p=deg for any primep.Translated fromMatematicheskie Zametki, Vol. 59, No. 3, pp. 415–420, March, 1996.     

On a nonlinear eigenvalue problem

In the present paper we consider a selfadjoint and nonsmooth operator-valued function on (c, d)R ¹. We suppose that the equation (L()x, x)=0,x0, has exactly one rootp(x) (c, d) and the functionf()=(L()x, x) is increasing at the pointp(x). We discuss questions of the variational theory of the spectrum. Some theorems on the variational properties of the spectrum are proved.     

A generalized sandwich theorem

It is proved for an arbitrary commutative ring A with identity and any integer n3 that if H is a subgroup of GL_n(A) normalized by E _n(A,q), then there is an ideal of A such that E _n(A,) H GL _n (A, (:q⁴⁰).Furthermore, is uniquely determined up to a certain equivalence relation on the set of ideals of A. The result extends a theorem of Bak, by removing a stability condition he uses on A.     

Function spacesW 1,p,BV,N α, p characterized by the motions of ℝ n

We characterize the Sobolev spaces W^1,p(ⁿ) (p]1,+]), the space BV(ⁿ) of functions of bounded variation, the Nikol'skij spacesN ^p (R ⁿ =B _p (R ⁿ ) (p [1, + [, ]0,1[).This research was partially supported by M.U.R.S.T.     

Asymptotic behavior of the best approximations for the functions inL p

The asymptotic behavior of the ratioE _n (f)_p/(f, / n) _p is studied for individual periodic functionsf L_p Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 6, pp. 867–870, June, 1993.     

On monotone and convex approximation by algebraic polynomials

The following results are obtained: If >0, 2, [3, 4], andf is a nondecreasing (convex) function on [–1, 1] such thatE _n (f) n ^– for any n>, then E _n ⁽¹⁾ (f)Cn ^– (E _n ⁽²⁾ (f)Cn ^–) for n>, where C=C(), E_n(f) is the best uniform approximation of a continuous function by polynomials of degree (n–1), and E _n ⁽¹⁾ (f) (E _n ⁽²⁾ (f)) are the best monotone and convex approximations, respectively. For =2 ( [3, 4]), this result is not true.Published in Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1266–1270, September, 1994.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

The convergence rates of empirical Bayes estimation in a multiple linear regression model

Empirical Bayes (EB) estimation of the parameter vector =(,²) in a multiple linear regression modelY=X+ is considered, where is the vector of regression coefficient, N(0,² I) and ² is unknown. In this paper, we have constructed the EB estimators of by using the kernel estimation of multivariate density function and its partial derivatives. Under suitable conditions it is shown that the convergence rates of the EB estimators areO(n ^{-(k-1)(k-2)/k(2k+p+1)}), where the natural numberk3, 1/3<<1, andp is the dimension of vector .The project is supported by the National Natural Science Foundation of China.     

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 .     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

Two variable <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis> functions attached to eigenfamilies of positive slope

Consider a classical cusp eigenform f= _n=1 a _n (f)q ⁿ of weight k2 for ₀(N) with a Dirichlet character mod N, and let L _f (s,)= _n=1 (n)a _n (f)n ^-s denote the L-function of f twisted with an arbitrary Dirichlet character . For a prime number p5, consider a family of cusp eigenforms f _(k) of weight k , k {f _(k)= _n=1 a _n (f _(k))q ⁿ } containing f=f _(k), such that the Fourier coefficients a _n (f _(k)) are given by certain p-adic analytic functions k a _n (f _(k)). The purpose of this paper is to construct a two variable p-adic L function attached to Colemans family {f _(k)} of cusp eigenforms of a fixed positive slope =v _p ( _p )>0 where _p = _p (k ) is an eigenvalue (which depends on k ) of the Atkin operator U=U _p . Our p-adic L-function interpolates the special values L _f(k)(s,) at points (s,k ) with s=1,2,...,k -1. We give a construction using the Rankin-Selberg method and the theory of p-adic integration on a profinite group Y with values in an affinoid K-algebra A, where K is a fixed finite extension of Q _p . Our p-adic L-functions are p-adic Mellin transforms of certain A-valued measures. In their turn, such measures come from Eisenstein distributions with values in certain Banach A-modules M =M (N;A) of families of overconvergent forms over A. To Robert Alexander Rankin in memoriam     

A Note on a Boundary Value Problem

In this note, we prove that, for Robins boundary value problem, a unique solution exists if f_x(t, x, x), f_x(t, x, x), (t), and (t) are continuous, and f_x -(t), f_x -(t), 4(t) ² + ²(t) ++ 2(t), and 4(t) ² + ²(t) + 2(t).AMS Subject Classification (2000) 34B15     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

On the equation of similar profiles

Summary Considerf+ ff+ (1–f²)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.

---

Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f²)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).

     

Sturmian Words and the Permutation that Orders Fractional Parts

A Sturmian word is a map W : {0,1} for which the set of {0, 1}-vectors F _n(W) {(W(i), W(i + 1),...,W(i + n – 1)) ^T : i } has cardinality exactly n + 1 for each positive integer n. Our main result is that the volume of the simplex whose n + 1 vertices are the n + 1 points in F _n(W) does not depend on W. Our proof of this motivates studying algebraic properties of the permutation _,n (where is any irrational and n is any positive integer) that orders the fractional parts {}, {2},...,{n}, i.e., 0 < {_,n (1)} < {_,n (2)} < ··· < {_,n (n)} < 1. We give a formula for the sign of _,n , and prove that for every irrational there are infinitely many n such that the order of _,n (as an element of the symmetric group S _n) is less than n.     

Similarity solutions of radially symmetric two-phase flow

When both the diffusivityD and fractional flow functionf have a power law dependence on the water content , i.e.D=D _o andf=⁺¹, the nonlinear transport equation for radially symmetric two phase flow can, in certain circumstances, be reduced to a weakly coupled system of two first order nonlinear ordinary differential equations. Numerical solutions of these equations for a constant flux boundary conditionV _wo and comparison with experimental data are given. In particular, when the fluxV _wo and a are related byV _wo( + 1)/D _o=2, a new fully explicit analytical solution is found as (r, t)=(1 – r ²/4D _ot)^1/ forr ² < 4D _ot/ and (r, t)=0 forr ² 4D _ot/ We show that the existence of this exact soution is due to the presence of a Lagrangian symmetry.