F-limit points in dynamical systems defined on the interval

Given a free ultrafilter p on ? we say that x ∈ [0, 1] is the p-limit point of a sequence (x _n ) _n∈? ? [0, 1] (in symbols, x = p -lim _n∈? x _n ) if for every neighbourhood V of x, {n ∈ ?: x _n ∈ V} ∈ p. For a function f: [0, 1] → [0, 1] the function f ^p : [0, 1] → [0, 1] is defined by f ^p (x) = p -lim _n∈? f ⁿ (x) for each x ∈ [0, 1]. This map is rarely continuous. In this note we study properties which are equivalent to the continuity of f ^p . For a filter F we also define the ω ^F -limit set of f at x. We consider a question about continuity of the multivalued map x → ω _f ^F (x). We point out some connections between the Baire class of f ^p and tame dynamical systems, and give some open problems.     

Nonparametric estimation of mixed partial derivatives of a multivariate density

On the basis of a random sample of size n on an m-dimensional random vector X, this note proposes a class of estimators f_n^(p) of f^(p), where f is a density of X w.r.t. a σ-finite measure dominated by the Lebesgue measure on R^m, p = (p₁,…,p_m), p_j ≥ 0, fixed integers, and for x = (x₁,…,x_m) in R^m, f^(p)(x) = ?^p₁+…+p_m f(x)/(?^p₁x₁ … ?^p_mx_m). Asymptotic unbiasedness as well as both almost sure and mean square consistencies of f_n^(p) are examined. Further, a necessary and sufficient condition for uniform asymptotic unbisedness or for uniform mean square consistency of f_n^(p) is given. Finally, applications of estimators of this note to certain statistical problems are pointed out.     

Polynomial Cunningham chains

A sequence of prime numbers p₁,p₂,p₃,…, such that pi=2pi−1+? for all i, is called a Cunningham chain of the first or second kind, depending on whether ?=1 or −1 respectively. If k is the smallest positive integer such that 2pk+? is composite, then we say the chain has length k. It is conjectured that there are infinitely many Cunningham chains of length k for every positive integer k. A sequence of polynomials f₁(x),f₂(x),… in Z[x], such that f₁(x) has positive leading coefficient, each fi(x) is irreducible in Q[x] and fi(x)=xfi−1(x)+? for all i, is defined to be a polynomial Cunningham chain of the first or second kind, depending on whether ?=1 or −1 respectively. If k is the least positive integer such that fk+1(x) is reducible in Q[x], then we say the chain has length k. In this article, for polynomial Cunningham chains of both kinds, we prove that there are infinitely many chains of length k and, unlike the situation in the integers, that there are infinitely many chains of infinite length, by explicitly giving infinitely many polynomials f₁(x), such that fk+1(x) is the only term in the sequence that is reducible.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.     

A practical error formula for multivariate rational interpolation and approximation

We consider exact and approximate multivariate interpolation of a function f(x ₁?,?.?.?.?,?x _d ) by a rational function p _n,m /q _n,m (x ₁?,?.?.?.?,?x _d ) and develop an error formula for the difference f???p _n,m /q _n,m . The similarity with a well-known univariate formula for the error in rational interpolation is striking. Exact interpolation is through point values for f and approximate interpolation is through intervals bounding f. The latter allows for some measurement error on the function values, which is controlled and limited by the nature of the interval data. To achieve this result we make use of an error formula obtained for multivariate polynomial interpolation, which we first present in a more general form. The practical usefulness of the error formula in multivariate rational interpolation is illustrated by means of a 4-dimensional example, which is only one of the several problems we tested it on.     

On R-robustly entropy-expansive diffeomorphisms

For a homoclinic class H(p _f ) of f ?? Diff¹(M), f?OH(p _f ) is called R-robustly entropy-expansive if for g in a locally residual subset around f, the set ?? _? (x) = {y ?? M: dist(g ⁿ (x), g ⁿ (y)) ?? g3 (?n ?? ?)} has zero topological entropy for each x ?? H(p _g ). We prove that there exists an open and dense set around f such that for every g in it, H(p _g ) admits a dominated splitting of the form E ?? F ₁ ?? ... ?? F _k ?? G where all of F _i are one-dimensional and non-hyperbolic, which extends a result of Pacifico and Vieitez for robustly entropy-expansive diffeomorphisms. Some relevant consequences are also shown.     

A proximal iterative approach to a non-convex optimization problem

We consider a variable Krasnosel’skii-Mann algorithm for approximating critical points of a prox-regular function or equivalently for finding fixed-points of its proximal mapping prox_λf. The novelty of our approach is that the latter is not non-expansive any longer. We prove that the sequence generated by such algorithm (via the formula x_k+1=(1−α_k)x_k+α_kprox_λkfx_k, where (α_k) is a sequence in (0,1)), is an approximate fixed-point of the proximal mapping and converges provided that the function under consideration satisfies a local metric regularity condition.     

Recurrence and Transience Criteria for Two Cases of Stable-Like Markov Chains

We give recurrence and transience criteria for two cases of time-homogeneous Markov chains on the real line with transition kernel p(x,dy)=f _x (y?x)?dy, where f _x (y) are probability densities of symmetric distributions and, for large |y|, have a power-law decay with exponent α(x)+1, with α(x)∈(0,2). If f _x (y) is the density of a symmetric α-stable distribution for negative x and the density of a symmetric β-stable distribution for non-negative x, where α,β∈(0,2), then the chain is recurrent if and only if α+β≥2. If the function x?f _x is periodic and if the set {x:α(x)=α ₀:=inf _x∈? α(x)} has positive Lebesgue measure, then, under a uniformity condition on the densities f _x (y) and some mild technical conditions, the chain is recurrent if and only if α ₀≥1.     

Inequalities for entire functions of exponential type satisfying f(z) \equiv e^{i\gamma } e^{i\tau z} \overline {f(\bar z)}

Let f be an entire function of exponential type satisfying the condition $ f(z) \equiv e^{i\gamma } e^{i\tau z} \overline {f(\bar z)} $ for some real γ. Lower and upper estimates for ∫ _?∞ ^∞ |f′(x)| ^p dx in terms of ∫ _?∞ ^∞ |f(x)| ^p dx, for such a function f belonging to L ^p (R), have been known in the case where p ? [1, ∞) and γ = 0. In this paper, these estimates are shown to hold for any p ? (0, ∞) and any real γ.     

Newton Polygons of L Functions Associated with Exponential Sums of Polynomials of Degree Four over Finite Fields

Let F_q be the finite field of q elements with characteristic p and F_q^m its extension of degree m. Fix a nontrivial additive character Ψ of F_p. If f(x₁,…, x_n)∈F_q[x₁,…, x_n] is a polynomial, then one forms the exponential sum S_m(f)=∑_{(x1,…,xn)∈(Fq^m)ⁿ}Ψ(Tr_Fq^m/Fp(f(x₁,…,x_n))). The corresponding L functions are defined by L(f, t)=exp(∑^∞_m=0S_m(f)t^m/m). In this paper, we apply Dwork's method to determine the Newton polygon for the L function L(f(x), t) associated with one variable polynomial f(x) when deg f(x)=4. As an application, we also give an affirmative answer to Wan's conjecture for the case deg f(x)=4.     

On norm form equations

In his paper [Ann. of Math.96 (1972)] Schmidt applied his results on the n-dimensional Roth theorem to study the n-dimensional Thue equation f(x₁,…, x_n) = c, and he proved, when f is of norm type, a necessary and sufficient criterion for the Thue equation to have only finitely many solutions. Here we shall study equations f(x₁,…, x_n) = p₁^z1 … p_t^zt and prove the p-adic analog of Schmidt's theorems.     

Smooth points ofp-adic subanalytic sets

Ap-adic subanalytic set shares with a real subanalytic set the fundamental property that its singular locus is itself subanalytic. Furthermore, given ap-adic subanalytic function ? with domain contained in ? _p ^m , there is an integerL such that for any pointx ₀ ∈ ? _p ^m in a neighborhood of whichf is defined,f has a Taylor approximation up to orderL atx ₀ if, and only if, ? is analytic aroundx ₀. These results extend to thep-adic fields real variables theorems by M. Tamm [21].     

A pointwise abelian Ergodic theorem for Lp semigroups, 1 ⩽ p < ∞

Let (X, ∑, μ) be a σ-finite measure space and L_p(μ) = L_p(X, ∑, μ), 1 ? p ? ∞, the usual Banach spaces of complex-valued functions. Let {T_t: t ? 0} be a strongly continuous semigroup of positive L_p(μ) operators for some 1 ? p < ∞. Denote by R_λ the resolvent of {T_t}. We show that f?L_p(μ) implies λR_λf(x) → f(x) a.e. as λ → ∞.     

Fifth-order evolution equations describing pseudospherical surfaces

We consider differential equations which describe pseudospherical surfaces, with associated 1-forms , 1?i?3. We characterize all such equations of type ut=uxxxxx+G(u,ux,…,uxxxx) whose associated 1-forms satisfy fp1=μpf₁₁+ηp, μp,ηp∈R, 2?p?3, in addition to a generic technical assumption. We also classify all of these equations which are independent of any of the real parameters μp, ηp, obtaining as particular cases the fifth-order Korteweg-de Vries, the Sawada-Kotera and the Kaup-Kupershmidt equations. We determine huge classes of equations describing pseudospherical surfaces and their respective linear problems in which particular cases are obtained by merely specifying certain functions which depend on u and its derivatives with respect to x.     

On superpositions of continuous functions

We show that if Φ is an arbitrary countable set of continuous functions of n variables, then there exists a continuous, and even infinitely smooth, function ψ(x₁,...,x_n) such that ψ(x ₁, ...,x _n ) ?g [? (f ₁(x ₁, ... ,f _f (x _n ))] for any function ? from Φ and arbitrary continuous functions g and f_i, depending on a single variable.     

Nonsingularity of matrices associated with classes of arithmetical functions on lcm-closed sets

Let S = {x₁, … , x_n} be a set of n distinct positive integers and f be an arithmetical function. Let [f(x_i, x_j)] denote the n × n matrix having f evaluated at the greatest common divisor (x_i, x_j) of x_i and x_j as its i, j-entry and (f[x_i, x_j]) denote the n × n matrix having f evaluated at the least common multiple [x_i, x_j] of x_i and x_j as its i, j-entry. The set S is said to be lcm-closed if [x_i, x_j] ∈ S for all 1 ? i, j ? n. For an integer x > 1, let ω(x) denote the number of distinct prime factors of x. Define ω(1) = 0. In this paper, we show that if S = {x₁, … , x_n} is an lcm-closed set satisfying , and if f is a strictly increasing (resp. decreasing) completely multiplicative function, or if f is a strictly decreasing (resp. increasing) completely multiplicative function satisfying (resp. f(p) ? p) for any prime p, then the matrix [f(x_i, x_j)] (resp. (f[x_i, x_j])) defined on S is nonsingular. By using the concept of least-type multiple introduced in [S. Hong, J. Algebra 281 (2004) 1-14], we also obtain reduced formulas for det(f(x_i, x_j)) and det(f[x_i, x_j]) when f is completely multiplicative and S is lcm-closed. We also establish several results about the nonsingularity of LCM matrices and reciprocal GCD matrices.     

Iwasawa invariants and Kummer conguruences

Let f(x, χ) be the Iwasawa power series for the p-adic L-function L_p(s, χ), where χ is an even nonprincipal character with conductor not divisible by p² (or by 8, when p = 2). The divisibility by p of the first p coefficients of f(x, χ) is characterized by Kummer type congruences of generalized Bernoulli numbers. Applications to Iwasawa invariants and class numbers of imaginary Abelian fields are discussed.     

A remark on Schrödinger operators

We study the almost everythere convergence to the initial dataf(x)=u(x, 0) of the solutionu(x, t) of the two-dimensional linear Schrödinger equation Δu=i? _t u. The main result is thatu(x, t) →f(x) almost everywhere fort → 0 iff ∈H ^p (R²), wherep may be chosen <1/2. To get this result (improving on Vega’s work, see [6]), we devise a strategy to capture certain cancellations, which we believe has other applications in related problems.     

On a class of strongly contractive quadratic recurrent systems

We consider a class of nonlinear recurrent systems of the form \( {\Lambda_p} = \frac{1}{p}\sum\limits_{{p_1} = 1}^{p - 1} {f\left( {\frac{{{p_1}}}{p}} \right){\Lambda_{{p_1}}}{\Lambda_{p - {p_1}}}} \), p > 1, where f is a given function on the interval [0, 1] and Λ₁ = x is an adjustable real-valued parameter. Under some suitable assumptions on the function f, we show that there exists an initial value x ^* for which Λ _p = Λ _p (x ^* ) → const as p → ∞. More precise asymptotics of Λ _p is also derived.     

p-adic valuations and k-regular sequences

A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by Allouche and Shallit as a generalization of automatic sequences. Given a prime p and a polynomial f(x)∈Q_p[x], we consider the sequence , where v_p is the p-adic valuation. We show that this sequence is p-regular if and only if f(x) factors into a product of polynomials, one of which has no roots in Z_p, the other which factors into linear polynomials over Q. This answers a question of Allouche and Shallit.