Rational functions with partial quotients of small degree in their continued fraction expansion

For a rational functionf/g=f(x)/g(x) over a fieldF with ged (f,g)=1 and deg (g)1 letK(f/g) be the maximum degree of the partial quotients in the continued fraction expansion off/. ForfF[x] with deg (f)=k1 andf(O)O putL(f)=K(f(x)/x ^k ). It is shown by an explicit construction that for every integerb with 1bk there exists anf withL(f)=b. IfF=F ₂, the binary field, then for everyk there is exactly onefF ₂[x] with deg (f)=k,f(O)O, andL(f)=1. IfF _q is the finite field withq elements andgF _q [x] is monic of degreek1, then there exists a monic irreduciblefF _q [x] with deg (f)=k, gcd (f,g)=1, andK(f/g)<2+2 (logk)/logq, where the caseq=k=2 andg(x)=x ²+x+1 is excluded. An analogous existence theorem is also shown for primitive polynomials over finite fields. These results have applications to pseudorandom number generation.     

Donsker's Delta Function of Lévy Process

Let X={X(t):tR} be a Lévy process and a non-decreasing, right continuous, bounded function with (–)=0 (((1+u ²)/u ²)d(u) is the Lévy measure). In this paper we define the Donsker delta function (X(t)–a), t>0 and aR, as a generalized Lévy functional under the condition that (0)–(0–)>0. This leads us to define F(X(t)) for any tempered distribution F, and as an application, we derive an Itô formula for F(X(t)) when has jumps at 0 and 1.     

Posterior Sensitivity to the Sampling Distribution and the Prior: More than One Observation

Sensitivity of a posterior quantity (f, P) to the choice of the sampling distribution f and prior P is considered. Sensitivity is measured by the range of (f, P) when f and P vary in nonparametric classes ^f and ^P respectively. Direct and iterative methods are described which obtain the range of (f, P) over f ^f when prior P is fixed, and also the overall range over f ^f and P ^P . When multiple i.i.d. observations X ₁,...,X _k are observed from f, the posterior quantity (f, P) is not a ratio-linear function of f. A method of steepest descent is proposed to obtain the range of (f, P). Several examples illustrate applications of these methods.     

Compact sets in the spaceL p (O,T; B)

Summary A characterization of compact sets in L^p (0, T; B) is given, where 1P and B is a Banach space. For the existence of solutions in nonlinear boundary value problems by the compactness method, the point is to obtain compactness in a space L^p (0,T; B) from estimates with values in some spaces X, Y or B where XBY with compact imbedding XB. Using the present characterization for this kind of situations, sufficient conditions for compactness are given with optimal parameters. As an example, it is proved that if {f_n} is bounded in L^q(0,T; B) and in L _loc ¹ (0, T; X) and if {f_n/t} is bounded in L _loc ¹ (0, T; Y) then {f_n} is relatively compact in L^p(0,T; B), p相似文献   

Note on Fano 3-folds

LetE be an ample vector bundle of rankr on a compact complex manifoldX of dimension 3 with detE=–K _x, andi(X) the index ofX. Then it is proved in this note thati(X)r unless (X,E)(¹ × ²,p*O(1) q*), wherep,q are the projections and is isomorphic toO(2) O(1) or the tangent bundleT of ². This result gives a counterexample to the conjecture formed by T. Peternell.     

Cohomological characterization of pseudoconvexity in a Banach space

Let X be a Banach space with a countable unconditional basis (e.g., X=₂), X open. We show that is pseudoconvex if and only if for each affine complex line L in X the sheaf cohomology group H ¹ (,I) vanishes, where I is the ideal sheaf of all holomorphic functions on that vanish on L. We also give an example that the condition H ^q (,)=0 for all q1 unlike in finite dimensions does not imply the pseudoconvexity of . Lastly, we prove an interpolation result. Mathematics Subject Classification (2002): 32T05, 46G20.     

Subsets of a Hilbert space,having finite hausdorff dimension

Let X₂, X₂ be Hilbert spaces, X₂ X₁, X₂ is dense in X₁, the imbedding is compact,m X₂, dim_H ⁱ m and h⁽ⁱ⁾(m) are the Hausdorff dimension and the limit capacity (information dimension) of the setm with respect to the metrics of the spaces X_i (i=1, 2). Two examples are constructed. 1) An example of a setm bounded in X₂, such that: a) h⁽¹⁾(m) < (and, consequently, dim_H ¹ m); b)m cannot be covered by a countable collection of sets, compact in X₂ (and, consequently, dim_H ² m=). 2) an Example of a setm, compact in X₂, such that h⁽¹⁾(m) < and h⁽²⁾(m)=.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 163, pp. 154–165, 1987.     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

Extended Classical Asymptotic Expansions in the Case of Gaussian Limit Distribution

Let X, X ₁, X ₂,... be a sequence of independent and identically distributed random variables with common distribution function F. Denote by F _n the distribution function of centered and normed sum S _n . Let F belong to the domain of attraction of the standard normal law , that is, lim F _n (x)= (x), as n , uniformly in x . We obtain extended asymptotic expansions for the particular case where the distribution function F has the density p(x) = cx ^––1 ln(x), x > r, where 2, , c > 0, and r > 1. We write the classical asymptotic expansion (in powers of n ^–1/2) and then add new terms of orders n ^–/2 ln n, n ^–/2 ln^-1 n, etc., where 0.     

A Lévy Type Martingale Convergence Theorem for Random Sets with Unbounded Values

Given a nondecreasing sequence ( _n ) of sub--fields and a real or vector valued random variable f, the Lévy Martingale convergence Theorem (LMCT) asserts that E(f/ _n ) converges to E(f/) almost surely and in L ¹, where stands for the -field generated by the _n . In the present paper, we study the validity of the multivalued analog this theorem for a random set F whose values are members of (X), the space of nonempty closed sets of a Banach space X, when (X) is endowed either with the Painlevé–Kuratowski convergence or its infinite dimensional extensions. We deduce epi-convergence results for integrands via the epigraphical multifunctions. As it is known, these results are useful for approximating optimization problems. The method relies on countability supportness hypotheses which are shown to hold when the values of the random set E(F/ _n ) do not contain any line. On the other hand, since the values of F are not assumed to be bounded, conditions involving barrier and asymptotic cones are shown to be necessary. Moreover, we discuss the relations with other multivalued martingale convergence theorems and provide examples showing the role of the hypotheses. Even in the finite dimensional setting, our results are new or subsume already existing ones.     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

The Product of Independent Random Variables with Regularly Varying Tails

A distribution is said to have regularly varying tail with index – (0) if lim _x(kx,)/(x,)=k ^– for each k>0. Let X and Y be independent positive random variables with distributions and , respecitvely. The distribution of product XY is called Mellin–Stieltjes convolution (MS convolution) of and . It is known that D() (the class of distributions on (0,) that have regularly varying tails with index –) is closed under MS convolution. This paper deals with decomposition problem of distributions in D() related to MS convolution. A representation of a regularly varying function F of the following form is investigated: F(x)= _k=0 ^n–1 b _k f(a ^k x), where f is a measurable function and a and b _k (k=1,...,n–1) are real constants. A criterion is given for these constants in order that f be regularly varying. This criterion is applicable to show that there exist two distributions and such that neither nor belongs to D() (>0) and their MS convolution belongs to D().     

Numerical studies of the Möbius power series

We define the Möbius power series throughf(z)= _n-1 z ⁿ ,g(z)= _n=1 (n)z ⁿ /n where (n) is the usual Möbius function. This paper presents some heuristic estimates describing the behavior off(z) andg(z) when |z| is close to 1 together with representations in terms of elementary functions for real values ofz. Function tables are also given together with zeros and a few other special values.     

Splittability for Partially Ordered Sets

A topological space X is said to be splittable over a class P of spaces if for every AX there exists continuous f:XYP such that f(A)f(XA) is empty. A class P of topological spaces is said to be a splittability class if the spaces splittable over P are precisely the members of P. We extend the notion of splittability to partially ordered sets and consider splittability over some elementary posets. We identify precisely which subsets of a poset can be split along over an n-point chain. Using these results it is shown that the union of two splittability classes need not be a splittability class and a necessary condition for P to be a splittability class is given.     

On the homotopy fixed point problem for free loop spaces and other function complexes

Let G be a finite group, let X and Y be finite G-complexes, and suppose that for each K G, Y ^K is dim(X ^K)-connected and simple. G acts on the function complex F(X, Y) by conjugation of maps. We give a complete analysis of the homotopy fixed point set of the space F(X, Y). As a corollary, we are able to analyze at a prime p, the homotopy fixed point set of the circle action on X, where X denotes the free loop space of X, and X is a simply connected finite complex.Supported in part by NSF DMS 86-02430.To A. Grothendieck on the occasion of his sixtieth birthday     

The empirical process of a short-range dependent stationary sequence under Gaussian subordination

Summary Consider the stationary sequenceX ₁=G(Z ₁),X ₂=G(Z ₂),..., whereG(·) is an arbitrary Borel function andZ ₁,Z ₂,... is a mean-zero stationary Gaussian sequence with covariance functionr(k)=E(Z ₁ Z _k+1) satisfyingr(0)=1 and _k=1 |r(k)| ^m < , where, withI{·} denoting the indicator function andF(·) the continuous marginal distribution function of the sequence {X _n }, the integerm is the Hermite rank of the family {I{G(·) x} –F(x):xR}. LetF _n (·) be the empirical distribution function ofX ₁,...,X _n . We prove that, asn, the empirical processn ^1/2{F _n (·)-F(·)} converges in distribution to a Gaussian process in the spaceD[–,].Partially supported by NSF Grant DMS-9208067     

Mixing and some integro-functional equations

Summary It is proved that the operatorP: L ¹ (0, ) L ¹(0, ), given byPg(z) = _z/c [g(x)/cx]dx, is completely mixing, i.e.,P ⁿ g ₁ 0 forg L ¹(0, ) with g dx = 0. This implies that, forc (0, 1), each continuous and bounded solution of the equationf(x)= ₀ ^cx f(t)dt/(cx) (x (0, 1]) is constant.     

On the entropic regularization method for solving min-max problems with applications

Consider a min-max problem in the form of min _xX max_1im {f _i (x)}. It is well-known that the non-differentiability of the max functionF(x) max_1im {f _i (x)} presents difficulty in finding an optimal solution. An entropic regularization procedure provides a smooth approximationF _p(x) that uniformly converges toF(x) overX with a difference bounded by ln(m)/p, forp > 0. In this way, withp being sufficiently large, minimizing the smooth functionF _p(x) overX provides a very accurate solution to the min-max problem. The same procedure can be applied to solve systems of inequalities, linear programming problems, and constrained min-max problems.This research work was supported in part by the 1995 NCSC-Cray Research Grant and the National Textile Center Research Grant S95-2.     

Superstable implicit Runge-Kutta methods for second order initial value problems

Using the well known properties of thes-stage implicit Runge-Kutta methods for first order differential equations, single step methods of arbitrary order can be obtained for the direct integration of the general second order initial value problemsy=f(x, y, y),y(x _o)=y _o,y(x _o)=y _o. These methods when applied to the test equationy+2y+ ² y=0, ,0, +>0, are superstable with the exception of a finite number of isolated values ofh. These methods can be successfully used for solving singular perturbation problems for which f/y and/or f/y are negative and large. Numerical results demonstrate the efficiency of these methods.     

An eigenvalue problem for the numerical range of a bounded linear operator

LetX be a complex Lebesgue space with a unique duality mapJ fromX toX ^*, the conjugate space ofX. LetA be a bounded linear operator onX. In this paper we obtain a non-linear eigenvalue problem for (A)=sup{Re: W(A} whereW(A)={J(x)A(x)) : x=1}, under the assumption that (A) and the convex hull ofW(A) for some linear operatorsA onl _p , 2<p<.