Fractional non-Archimedean calculus in many variables

Let r ≥ 0 be a real number. We will introduce a notion of r-fold differentiability for functions in many variables over a non-Archimedeanly valued complete field K and then examine properties of theirs such as localness, completeness as a locally convex K-algebra, density of (locally) polynomial functions, closure under composition and, for the dual, under convolution. The definition of a C ^r -function will be given through partial difference quotients and build up on the one-variable case already studied in [8]. In line with [2], we will also show a function on ? _p ^d to be r-times differentiable if and only if its Mahler coefficients obey |a _n ‖n| ^r → 0 as | n| → ∞. As a corollary, a characterization of C ^r -functions f: X → K on open X ? ? _p ^d by partial Taylor-polynomials is obtained.     

Inequivalent measures of noncompactness

Two homogeneous measures of noncompactness ?? and ?? on an infinite dimensional Banach space X are called ??equivalent?? if there exist positive constants b and c such that b ??(S)??? ??(S)??? c ??(S) for all bounded sets ${S\subset X}$ . If such constants do not exist, the measures of noncompactness are ??inequivalent.?? We ask a foundational question which apparently has not previously been considered: For what infinite dimensional Banach spaces do there exist inequivalent measures of noncompactness on X? We provide here the first examples of inequivalent measures of noncompactness. We prove that such inequivalent measures exist if X is a Hilbert space; or if (??, ??,???) is a general measure space, 1??? p??? ??, and X?=?L ^p (??, ??,???); or if K is a compact Hausdorff space and X?=?C(K); or if K is a compact metric space, 0?<??? ?? 1, and X?=?C ^0,??(K), the Banach space of H?lder continuous functions with H?lder exponent ??. We also prove the existence of such inequivalent measures of noncompactness if ?? is an open subset of ${\mathbb{R}^n}$ and X is the Sobolev space W ^m,p (??). Our motivation comes from questions about existence of eigenvectors of homogeneous, continuous, order-preserving cone maps f : C??C and from the closely related issue of giving the proper definition of the ??cone essential spectral radius?? of such maps. These questions are considered in the companion paper [28]; see, also, [27].     

On diophantine equations of the form {({\boldsymbol x}-{\boldsymbol a}_{\bf 1})({\boldsymbol x}-{\boldsymbol a}_{\bf 2}) \ldots ({\boldsymbol x}-{\boldsymbol a}_{\boldsymbol k}) + {\boldsymbol r} = {\boldsymbol y}^{ \boldsymbol n}}

Erd?s and Selfridge [3] proved that a product of consecutive integers can never be a perfect power. That is, the equation x(x?+?1)(x?+?2)...(x?+?(m???1))?=?y ⁿ has no solutions in positive integers x,m,n where m, n?>?1 and y?∈?Q. We consider the equation $$ (x-a_1)(x-a_2) \ldots (x-a_k) + r = y^n $$ where 0?≤?a ₁?<?a ₂?<???<?a _k are integers and, with r?∈?Q, n?≥?3 and we prove a finiteness theorem for the number of solutions x in Z, y in Q. Following that, we show that, more interestingly, for every nonzero integer n?>?2 and for any nonzero integer r which is not a perfect n-th power for which the equation admits solutions, k is bounded by an effective bound.     

On the Behaviour of the spectral characteristic of Feigenbaum’s map

Let T _g : [?1, 1] ?? [?1, 1] be the Feigenbaum map. It is well known that T _g has a Cantor-type attractor F and a unique invariant measure ??₀ supported on F. The corresponding unitary operator (U _g ??)(x) = ??(g(x)) has pure point spectrum consisting of eigenvalues ?? _n,r , n ?? 1, 0 ?? r ?? 2 ^n?1 ? 1 with eigenfunctions e _r ⁽ⁿ⁾ (x). Suppose that f ?? C ¹([?1, 1]), f?? is absolutely continuous on [?1, 1] and f?? ?? L ^p ([?1, 1], d??₀), p > 1. Consider the sum of the amplitudes of the spectral measure of f: $$ Sn(f): = \sum\limits_{r = 0}^{2^n - 1} {|\rho _r^{(n)} |^2 ,\rho _r^{(n)} = \int\limits_{ - 1}^1 {f(x)\overline {e_r^{(n)} (x)} d\mu _o } } (x). $$ Using the thermodynamic formalism for T _g we prove that S _n (f) ?? 2^?n q ⁿ , as n ?? ??, where the constant q ?? (0, 1) does not depend on f.     

A trichotomy for a class of equivalence relations

Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- alence relation and all ψn, n ∈ N, are Borel, we show a trichotomy that either IRN/e1≤B E, E1≤B E, or E≤B E0. We also prove that, for a rather general case, E((Xn, ψn)n∈N) is an equivalence relation iff it is an ep-like equivalence relation.     

An extension of Mercer’s theory to L p

Let X be a topological space, either locally compact or first countable, endowed with a strictly positive measure ?? and ${\mathcal{K}:L^2(X,\nu)\to L^2(X,\nu)}$ an integral operator generated by a Mercer like kernel K. In this paper we extend Mercer??s theory for K and ${\mathcal{K}}$ under the assumption that the function ${x\in X\to K(x,x)}$ belongs to some L ^p/2(X, ??), p??? 1. In particular, we obtain series representations for K and some powers of ${\mathcal{K}}$ , with convergence in the p-mean, and show that the range of certain powers of ${\mathcal{K}}$ contains continuous functions only. These results are used to estimate the approximation numbers of a modified version of ${\mathcal{K}}$ acting on L ^p (X, ??).     

Invariant measures for skew products and uniformly distributed sequences

??Almost all?? sequences (r ₁, . . . , r _n , . . . ) of positive integers have the following ??universal?? property: Whenever (X,???) is a Borel probability compact metric space, and ?? ₁, ?? ₂, . . . , ?? _n , . . . a sequence of commuting measure preserving continuous maps on (X,???), such that the action (by composition) on (X,???) of the semigroup with generators ?? ₁, . . . ,?? _n , . . . is uniquely ergodic and equicontinuous, then for every ${x \in X}$ the sequence w ₁,w ₂, . . . , w _n , . . . where $$w_n:=\varPhi_{r_n}(\varPhi_{r_{n-1}}(\ldots(\varPhi_{r_2}(\varPhi_{r_1}(x)))\ldots))$$ is uniformly distributed for???. This is a contribution to Problem 116 of Schreier and Ulam in the Scottish Book.     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

Convergence of Gaussian Quadrature Formulas for Power Orthogonal Polynomials

In classical theorems on the convergence of Gaussian quadrature formulas for power orthogonal polynomials with respect to a weight w on I =（a,b）,a function G ∈ S（w）:= { f:∫_I | f（x）| w（x）d x < ∞} satisfying the conditions G ^2j（x） ≥ 0,x ∈（a,b）,j = 0,1,...,and growing as fast as possible as x → a + and x → b,plays an important role.But to find such a function G is often difficult and complicated.This implies that to prove convergence of Gaussian quadrature formulas,it is enough to find a function G ∈ S（w） with G ≥ 0 satisfying sup n ∑λ0knG（xkn） k=1 n<∞ instead,where the xkn ’s are the zeros of the n th power orthogonal polynomial with respect to the weight w and λ0kn ’s are the corresponding Cotes numbers.Furthermore,some results of the convergence for Gaussian quadrature formulas involving the above condition are given.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

Isothermic Submanifolds

We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of ? ⁿ of dimension greater than two? We call an n-immersion f(x) in ? ^m isothermic _k if the normal bundle of f is flat and x is a line of curvature coordinate system such that its induced metric is of the form $\sum_{i=1}^{n} g_{ii}\,\mathrm{d} x_{i}^{2}$ with $\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0$ , where ?? _i =1 for 1??i??n?k and ?? _i =?1 for n?k<i??n. A smooth map (f ₁,??,f _n ) from an open subset ${\mathcal{O}}$ of ? ⁿ to the space of m×n matrices is called an n-tuple of isothermic _k n-submanifolds in ? ^m if each f _i is an isothermic _k immersion, $(f_{i})_{x_{j}}$ is parallel to $(f_{1})_{x_{j}}$ for all 1??i,j??n, and there exists an orthonormal frame (e ₁,??,e _n ) and a GL(n)-valued map (a _ij ) such that $\mathrm{d}f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\mathrm {d} x_{j}$ for 1??i??n. Isothermic₁ surfaces in ?³ are the classical isothermic surfaces in ?³. Isothermic _k submanifolds in ? ^m are invariant under conformal transformations. We show that the equation for n-tuples of isothermic _k n-submanifolds in ? ^m is the $\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}$ -system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour, and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.     

Lower semicontinuity for higher order integrals below the growth exponent

We study the lower semicontinuity of functionals of the form $$ \mathcal{F}(u)=\int\limits_{\Omega}f(x, u(x), \mathcal{L}u(x))\,dx $$ with respect to the weak convergence in W ^k,p (??), where ${{\mathcal L}}$ is a linear differential operator of order k??? 1 and f is quasiconvex with respect to the operator ${{\mathcal L}}$ and satisfies 0??? f(x, s, ??) ?? c (1?+ |??| ^q ) with q ?? p?>?1.     

Concentration inequalities and confidence bands for needlet density estimators on compact homogeneous manifolds

Let X ₁, . . . , X _n be a random sample from some unknown probability density f defined on a compact homogeneous manifold M of dimension d ≥ 1. Consider a ‘needlet frame’ ${\{\phi_{j\eta}\}}$ describing a localised projection onto the space of eigenfunctions of the Laplace operator on M with corresponding eigenvalues less than 2^2j , as constructed in Geller and Pesenson (J Geom Anal 2011). We prove non-asymptotic concentration inequalities for the uniform deviations of the linear needlet density estimator f _n (j) obtained from an empirical estimate of the needlet projection ${\sum_\eta \phi_{j \eta}\int f \phi_{j \eta}}$ of f. We apply these results to construct risk-adaptive estimators and nonasymptotic confidence bands for the unknown density f. The confidence bands are adaptive over classes of differentiable and H?lder-continuous functions on M that attain their H?lder exponents.     

Asymptotic behavior of the convex hull of a stationary Gaussian process?

Let X = {X(t), t ?? T} be a stationary centered Gaussian process with values in ? ^d , where the parameter set T equals ? or ?+. Let ?? _t = Cov(X ₀ ,X _t ) be the covariance function of X, and (??,?, P) be the underlying probability space. We consider the asymptotic behavior of convex hulls W _t = conv{X _u , u ?? T ?? [0, t]} as t ?? +?? and show that under the condition ??t ?? 0, t????, the rescaled convex hull (2 ln t) ^?1/2 W _t converges almost surely (in the sense of Hausdorff distance) to an ellipsoid ? associated to the covariance matrix ?? ₀. The asymptotic behavior of the mathematical expectations E f(W _t ), where f is a homogeneous function, is also studied. These results complement and generalize in some sense the results of Davydov [Y. Davydov, On convex hull of Gaussian samples, Lith. Math. J., 51(2): 171?C179, 2011].     

The Zygmund Morse-Sard Theorem

The classical Morse-Sard Theorem says that the set of critical values off:R ^n+k →R ⁿ has Lebesgue measure zero iff ∈C ^k+1. We show theC ^k+1 smoothness requirement can be weakened toC ^k+Zygmund. This is corollary to the following theorem: For integersn >m >r > 0, lets = (n ?r)/(m ?r); iff:R ⁿ →R ^m belongs to the Lipschitz class Λ _s andE is a set of rankr forf, thenf(E) has measure zero.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

On the symmetric Laplace derivative

Let f:?R??R be integrable in a neighbourhood of x??R. If there are real numbers ?? ₀,?? ₂,??,?? _2n?2 such that $$\lim_{s\to\infty}s^{2n+1} \int_0^\delta e^{-st}\left[\frac{f(x+t)+f(x-t)}{2}-\sum_{i=0}^{n-1}\frac{t^{2i}}{(2i)!}\alpha_{2i}\right]\, dt$$ exists for some ??>0 then the limit is called the 2n-th symmetric Laplace derivative at x. There is a corresponding definition of (2n+1)-th symmetric Laplace derivative. It is shown that this derivative is a generalization of the symmetric d.l.V.P. derivative. Some properties of this derivative are studied.     

On characterization of multivariate stable distributions via random linear statistics

LetX ₁,X ₂, ...,X _n be independent and identically distributed random vectors inR ^d , and letY=(Y ₁,Y ₂, ...,Y _n )′ be a random coefficient vector inR ⁿ , independent ofX _j ^/′ . We characterize the multivariate stable distributions by considering the independence of the random linear statistic $$U = Y_1 X_1 + Y_2 X_2 + \cdot \cdot \cdot + Y_n X_n $$ and the random coefficient vectorY.     

Two remarks on normality preserving Borel automorphisms of \boldsymbol{\mathbb{R}{\kern-8.3pt}\mathbb{R}}^{{\bf \textit{n}}}

Let T be a bijective map on ? ⁿ such that both T and T ^???1 are Borel measurable. For any θ?∈?? ⁿ and any real n ×n positive definite matrix Σ, let N (θ, Σ) denote the n-variate normal (Gaussian) probability measure on ? ⁿ with mean vector θ and covariance matrix Σ. Here we prove the following two results: (1) Suppose $N(\boldsymbol{\theta}_j, I)T^{-1}$ is gaussian for 0?≤?j?≤?n, where I is the identity matrix and {θ _j ???θ ₀, 1?≤?j?≤?n } is a basis for ? ⁿ . Then T is an affine linear transformation; (2) Let $\Sigma_j = I + \varepsilon_j \mathbf{u}_j \mathbf{u}_j^{\prime},$ 1?≤?j?≤?n where ε _j ?>???1 for every j and {u _j , 1?≤?j?≤?n } is a basis of unit vectors in ? ⁿ with $\mathbf{u}_j^{\prime}$ denoting the transpose of the column vector u _j . Suppose N(0, I)T ^???1 and $N (\mathbf{0}, \Sigma_j)T^{-1},$ 1?≤?j?≤?n are gaussian. Then $T(\mathbf{x}) = \sum\nolimits_{\mathbf{s}} 1_{E_{\mathbf{s}}}(\mathbf{x}) V \mathbf{s} U \mathbf{x}$ a.e. x, where s runs over the set of 2 ⁿ diagonal matrices of order n with diagonal entries ±1, U, V are n ×n orthogonal matrices and { E _s } is a collection of 2 ⁿ Borel subsets of ? ⁿ such that { E _s } and {V s U (E _s )} are partitions of ? ⁿ modulo Lebesgue-null sets and for every j, $V \mathbf{s} U \Sigma_j (V \mathbf{s} U)^{-1}$ is independent of all s for which the Lebesgue measure of E _s is positive. The converse of this result also holds. Our results constitute a sharpening of the results of Nabeya and Kariya (J. Multivariate Anal. 20 (1986) 251–264) and part of Khatri (Sankhyā Ser. A 49 (1987) 395–404).     

On the strong limit theorems for double arrays of blockwise M-dependent random variables

For a double array of blockwise M-dependent random variables {X _mn ,m ?? 1, n ?? 1}, strong laws of large numbers are established for double sums ?? _i=1 ^m ?? _j=1 ⁿ X _ij , m ?? 1, n ?? 1. The main results are obtained for (i) random variables {X _mn ,m ?? 1, n ?? 1} being non-identically distributed but satisfy a condition on the summability condition for the moments and (ii) random variables {X _mn ,m ?? 1, n ?? 1} being stochastically dominated. The result in Case (i) generalizes the main result of Móricz et al. [J. Theoret. Probab., 21, 660?C671 (2008)] from dyadic to arbitrary blocks, whereas the result in Case (ii) extends a result of Gut [Ann. Probab., 6, 469?C482 (1978)] to the bockwise M-dependent setting. The sharpness of the results is illustrated by some examples.