On the sectionwise connectedness of a contingent

Let X be a real normed space and let f: ? → X be a continuous mapping. Let T _f (t ₀) be the contingent of the graph G(f) at a point (t ₀, f(t ₀)) and let S ⁺ ? (0,∞) × X be the “right” unit hemisphere centered at (0, 0 _X ). We show that

1. 1.
   If dimX < ∞ and the dilation D(f, t ₀) of f at t ₀ is finite then T _f (t ₀) ∩ S ⁺ is compact and connected. The result holds for \(T_f (t_0 ) \cap \overline {S^ + } \) even with infinite dilation in the case f: [0,∞) → X.
    
2. 2.
   If dimX = ∞, then, given any compact set F ? S ⁺, there exists a Lipschitz mapping f: ? → X such that T _f (t ₀) ∩ S ⁺ = F.
    
3. 3.
   But if a closed set F ? S ⁺ has cardinality greater than that of the continuum then the relation T _f (t ₀) ∩ S ⁺ = F does not hold for any Lipschitz f: ? → X.
    

     

On Templeman averages and variation functions

Let S be a countable semigroup acting in a measure-preserving fashion (g ? T _g ) on a measure space (Ω, A, µ). For a finite subset A of S, let |A| denote its cardinality. Let (A _k ) _k=1 ^∞ be a sequence of subsets of S satisfying conditions related to those in the ergodic theorem for semi-group actions of A. A. Tempelman. For A-measureable functions f on the measure space (Ω, A, μ) we form for k ≥ 1 the Templeman averages \(\pi _k (f)(x) = \left| {A_k } \right|^{ - 1} \sum\nolimits_{g \in A_k } {T_g f(x)}\) and set V _q f(x) = (Σ _k≥1|π _k+1(f)(x) ? π _k (f)(x)|q)^1/q when q ∈ (1, 2]. We show that there exists C > 0 such that for all f in L ¹(Ω, A, µ) we have µ({x ∈ Ω: V _q f(x) > λ}) ≤ C(∫_Ω | f | dµ/λ). Finally, some concrete examples are constructed.     

Series by Haar system with monotone coefficients

Let χ = {χ _n } _n=0 ^∞ be the Haar system normalized in L ²(0, 1) and M = {M _s } _s=1 ^∞ be an arbitrary, increasing sequence of nonnegative integers. For any subsystem of χ of the form {φ _k } = χS = {χ _n } _n∈S , where S = S(M) = {n _k } _k=1 ^∞ = {n ∈ V[p]: p ∈ M}, V[0] = {1, 2} and V[p] = {2 ^p + 1, 2 ^p + 2, …, 2 ^p+1} for p = 1, 2, … a series of the form Σ _i=1 ^∞ a _i φ _i with a _i ↘ 0 is constructed, that is universal with respect to partial series in all classes L ^r (0, 1), r ∈ (0, 1), in the sense of a.e. convergence and in the metric ofL ^r (0, 1). The constructed series is universal in the class of all measurable, finite functions on [0, 1] in the sense of a.e. convergence. It is proved that there exists a series by Haar system with decreasing coefficients, which has the following property: for any ? > 0 there exists a measurable function µ(x), x ∈ [0, 1], such that 0 ≤ µ(x) ≤ 1 and |{x ∈ [0, 1], µ(x) ≠ = 1}| < ?, and the series is universal in the weighted space L _µ[0, 1] with respect to subseries, in the sense of convergence in the norm of L _µ[0, 1].     

Testing for change in the mean via convergence in distribution of sup-functionals of weighted tied-down partial sums processes

Let X ₁,..., X _n, n > 1, be nondegenerate independent chronologically ordered realvalued observables with finite means. Consider the “no-change in the mean” null hypothesis H ₀: X ₁,..., X _n is a randomsample on X with Var X <∞. We revisit the problem of nonparametric testing for H ₀ versus the “at most one change (AMOC) in the mean” alternative hypothesis H _A: there is an integer k*, 1 ≤ k* < n, such that EX ₁ = · · · = EX_k* ≠ EX_k*+1 = ··· = EX _n. A natural way of testing for H ₀ versus H _A is via comparing the sample mean of the first k observables to the sample mean of the last n - k observables, for all possible times k of AMOC in the mean, 1 ≤ k < n. In particular, a number of such tests in the literature are based on test statistics that are maximums in k of the appropriately individually normalized absolute deviations Δ_k = |S _k/k - (S _n - S _k)/(n - k)|, where S _k:= X ₁ + ··· + X _k. Asymptotic distributions of these test statistics under H ₀ as n → ∞ are obtained via establishing convergence in distribution of supfunctionals of respectively weighted |Z _n(t)|, where {Z _n(t), 0 ≤ t ≤ 1}_n≥1 are the tied-down partial sums processes such that

$${Z_n}\left( t \right): = \left( {{S_{\left\lceil {\left( {n + 1} \right)t} \right\rceil }} - \left[ {\left( {n + 1} \right)t} \right]{S_n}/n} \right)/\sqrt n $$

if 0 ≤ t < 1, and Z _n(t):= 0 if t = 1. In the present paper, we propose an alternative route to nonparametric testing for H ₀ versus H _A via sup-functionals of appropriately weighted |Z _n(t)|. Simply considering max_1?k<n Δk as a prototype test statistic leads us to establishing convergence in distribution of special sup-functionals of |Z _n(t)|/(t(1 - t)) under H ₀ and assuming also that E|X|^r < ∞ for some r > 2. We believe the weight function t(1 - t) for sup-functionals of |Z _n(t)| has not been considered before.

     

On boundary value problems for systems of nonlinear generalized ordinary differential equations

A general theorem (principle of a priori boundedness) on solvability of the boundary value problem dx = dA(t) · f(t, x), h(x) = 0 is established, where f: [a, b]×R ⁿ → R ⁿ is a vector-function belonging to the Carathéodory class corresponding to the matrix-function A: [a, b] → R ^n×n with bounded total variation components, and h: BV_s([a, b],R ⁿ ) → R ⁿ is a continuous operator. Basing on the mentioned principle of a priori boundedness, effective criteria are obtained for the solvability of the system under the condition x(t₁(x)) = B(x) · x(t ₂(x))+c ₀, where t _i: BV_s([a, b],R ⁿ ) → [a, b] (i = 1, 2) and B: BV_s([a, b], R ⁿ ) → R ⁿ are continuous operators, and c ₀ ∈ R ⁿ .     

On the Joint Distribution of First-passage Time and First-passage Area of Drifted Brownian Motion

For drifted Brownian motion X(t) = x-µ t + B _t (µ > 0) starting from x > 0, we study the joint distribution of the first-passage time below zero ,t(x), and the first-passage area ,A(x), swept out by X till the time t(x). In particular, we establish differential equations with boundary conditions for the joint moments E[t(x) ^m A(x) ⁿ ], and we present an algorithm to find recursively them, for any m and n. Finally, the expected value of the time average of X till the time t(x) is obtained.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Estimation Problems for Periodically Correlated Isotropic Random Fields

Spectral theory of isotropic random fields in Euclidean space developed by M. I. Yadrenko is exploited to find a solution to the problem of optimal linear estimation of the functional

$$ A\zeta ={\sum\limits_{t=0}^{\infty}}\,\,\,{\int_{S_n}} \,\,a(t,x)\zeta (t,x)\,m_n(dx) $$

which depends on unknown values of a periodically correlated (cyclostationary with period T) with respect to time isotropic on the sphere S _n in Euclidean space E ⁿ random field ζ(t, x), t?∈?Z, x?∈?S _n . Estimates are based on observations of the field ζ(t, x)?+?θ(t, x) at points (t, x), t?=???1,???2, ..., x?∈?S _n , where θ(t, x) is an uncorrelated with ζ(t, x) periodically correlated with respect to time isotropic on the sphere S _n random field. Formulas for computing the value of the mean-square error and the spectral characteristic of the optimal linear estimate of the functional Aζ are obtained. The least favourable spectral densities and the minimax (robust) spectral characteristics of the optimal estimates of the functional Aζ are determined for some special classes of spectral densities.

     

Existence of Semilinear Differential Equations with Nonlocal Initial Conditions

In this paper we give the existence of mild solutions for semilinear Cauchy problems u′（t） = Au（t） ＋f（t, u（t））, t ∈ I, a.e. with nonlocal initial condition u（O） = g（u） ＋uo when the map g loses compactness in Banach spaces.     

Averaging of systems of differential inclusions with slow and fast variables

We consider the system of differential inclusions

$$\dot x \in \mu F(t, x, y, \mu ), x(0) = x_0 , \dot y \in G(t, x, y, \mu ), y(0) = y_0 $$

, where F,G: D → Kυ (\(R^{m_1 } \)), Kυ (\(R^{m_2 } \)) are mappings into the sets of nonempty convex compact sets in the Euclidean spaces \(R^{m_1 } \) and \(R^{m_2 } \), respectively, D = R ₊ × \(R^{m_1 } \) × \(R^{m_2 } \) × [0, a], a > 0, and µ is a small parameter. The functions F and G and the right-hand side of the averaged problem \(\dot u\) ∈ µF ₀(u), u(0) = x ₀, F ₀(u) ∈ Kυ (\(R^{m_1 } \)), satisfy the one-sided Lipschitz condition with respect to the corresponding phase variables. Under these and some other conditions, we prove that, for each ? > 0, there exists a µ > 0 such that, for an arbitrary µ ∈ (0, µ₀] and any solution x _µ(·), y _µ(·) of the original problem, there exists a solution u _µ(·) of the averaged problem such that ∥x _µ(t) ? y _µ(t) ∥ ≤ ? for t ∈ [0, 1/µ]. Furthermore, for each solution u _µ(·)of the averaged problem, there exists a solution x _µ(·), y _µ(·) of the original problem with the same estimate.

     

Two-Sided Estimates of Fourier Sums Lebesgue Functions with Respect to Polynomials Orthogonal on Nonuniform Grids

Let Ω = {t₀, t₁, …, t_N} and Ω_N = {x₀, x₁, …, x_N–1}, where x_j = (t_j + t_{j + 1})/2, j = 0, 1, …, N–1 be arbitrary systems of distinct points of the segment [–1, 1]. For each function f(x) continuous on the segment [–1, 1], we construct discrete Fourier sums S_{n, N}( f, x) with respect to the system of polynomials {p?_k,N(x)} _k=0 ^N–1 , forming an orthonormal system on nonuniform point systems Ω_N consisting of finite number N of points from the segment [–1, 1] with weight Δt_j = t_{j + 1}–t_j. We find the growth order for the Lebesgue function L_n,N (x) of the considered partial discrete Fourier sums S_n,N ( f, x) as n = O(δ _N ^?2/7 ), δ_N = max_{0≤ j≤N?1} Δt_j More exactly, we have a two-sided pointwise estimate for the Lebesgue function L_{n, N}(x), depending on n and the position of the point x from [–1, 1].     

On vanishing coefficients of algebraic power series over fields of positive characteristic

Let K be a field of characteristic p>0 and let f(t ₁,…,t _d ) be a power series in d variables with coefficients in K that is algebraic over the field of multivariate rational functions K(t ₁,…,t _d ). We prove a generalization of both Derksen’s recent analogue of the Skolem–Mahler–Lech theorem in positive characteristic and a classical theorem of Christol, by showing that the set of indices (n ₁,…,n _d )∈? ^d for which the coefficient of \(t_{1}^{n_{1}}\cdots t_{d}^{n_{d}}\) in f(t ₁,…,t _d ) is zero is a p-automatic set. Applying this result to multivariate rational functions leads to interesting effective results concerning some Diophantine equations related to S-unit equations and more generally to the Mordell–Lang Theorem over fields of positive characteristic.     

Connecting orbits of Lagrangian systems in a nonstationary force field

We study connecting orbits of a natural Lagrangian system defined on a complete Riemannian manifold subjected to the action of a nonstationary force field with potential U(q, t) = f(t)V(q). It is assumed that the factor f(t) tends to ∞ as t→±∞ and vanishes at a unique point t ₀ ∈ ?. Let X ₊, X _? denote the sets of isolated critical points of V (x) at which U(x, t) as a function of x distinguishes its maximum for any fixed t > t ₀ and t < t ₀, respectively. Under nondegeneracy conditions on points of X _± we prove the existence of infinitely many doubly asymptotic trajectories connecting X _? and X ₊.     

Convolutions of cantor measures without resonance

Denote by µ _a the distribution of the random sum \((1 - a)\sum\nolimits_{j = 0}^\infty {{w_j}{a^j}} \), where P(ω _j = 0) = P(ω _j = 1) = 1/2 and all the choices are independent. For 0 < a < 1/2, the measure µ _a is supported on C _a , the central Cantor set obtained by starting with the closed united interval, removing an open central interval of length (1 ? 2a), and iterating this process inductively on each of the remaining intervals. We investigate the convolutions µ _a * (µ _b ° S _λ ^?1 ), where S _λ (x) = λx is a rescaling map. We prove that if the ratio log b/ log a is irrational and λ ≠ 0, then

$D({\mu _a} * ({\mu _b} \circ S_\lambda ^{ - 1})) = \min ({\dim _H}({C_a}) + {\dim _H}({C_b}),1)$

, where D denotes any of correlation, Hausdorff or packing dimension of a measure.

We also show that, perhaps surprisingly, for uncountably many values of λ the convolution µ_1/4* (µ_1/3 ° S _λ ^?1 ) is a singular measure, although dim _H (C _1/4) + dim _H (C _1/3) > 1 and log(1/3)/ log(1/4) is irrational.     

Equivalence of two definitions of a generalized <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> solution to the initial-boundary value problem for the wave equation

In our previous papers, we introduced the notion of a generalized solution to the initial-boundary value problem for the wave equation with a boundary function µ(t) such that the integral ∫ ₀ ^T (T ? t)|µ(t)| ^p dt exists. Here we prove that this solution is a unique solution to the problem in L _p that satisfies the corresponding integral identity.     

Equiconvergence of expansions in multiple Fourier series and in fourier integrals with “lacunary sequences of partial sums”

We investigate the equiconvergence on T^N = [?π, π)^N of expansions in multiple trigonometric Fourier series and in the Fourier integrals of functions f ∈ L_p(T^N) and g ∈ L_p(R^N), p > 1, N ≥ 3, g(x) = f(x) on T^N, in the case where the “partial sums” of these expansions, i.e., S_n(x; f) and J_α(x; g), respectively, have “numbers” n ∈ Z^N and α ∈ R^N (n_j = [α_j], j = 1,..., N, [t] is the integral part of t ∈ R¹) containing N ? 1 components which are elements of “lacunary sequences.”     

An integro-local theorem applicable on the whole half-axis to the sums of random variables with regularly varying distributions

We obtain an integro-local limit theorem for the sum S(n) = ξ(1)+?+ξ(n) of independent identically distributed random variables with distribution whose right tail varies regularly; i.e., it has the form P(ξ≥t) = t ^?β L(t) with β > 2 and some slowly varying function L(t). The theorem describes the asymptotic behavior on the whole positive half-axis of the probabilities P(S(n) ∈ [x, x + Δ)) as x → ∞ for a fixed Δ > 0; i.e., in the domain where the normal approximation applies, in the domain where S(n) is approximated by the distribution of its maximum term, as well as at the “junction” of these two domains.     

Sum-free sets in abelian groups

An IP system is a functionn taking finite subsets ofN to a commutative, additive group Ω satisfyingn(α∪β)=n(α)+n(β) whenever α∩β=ø. In an extension of their Szemerédi theorem for finitely many commuting measure preserving transformations, Furstenberg and Katznelson showed that ifS _i ,1≤i≤k, are IP systems into a commutative (possibly infinitely generated) group Ω of measure preserving transformations of a probability space (X, B, μ, andA∈B with μ(A)>0, then for some ø≠α one has μ(? _i=1 ^k S _i({α})A>0). We extend this to so-called FVIP systems, which are polynomial analogs of IP systems, thereby generalizing as well joint work by the author and V. Bergelson concerning special FVIP systems of the formS(α)=T(p(n(α))), wherep:Z ^t →Z ^d is a polynomial vanishing at zero,T is a measure preservingZ ^d action andn is an IP system intoZ ^t . The primary novelty here is potential infinite generation of the underlying group action, however there are new applications inZ ^d as well, for example multiple recurrence along a wide class ofgeneralized polynomials (very roughly, functions built out of regular polynomials by iterated use of the greatest integer function).     

1-Cocycles on the group of contactomorphisms on the supercircle S1|3 generalizing the Schwarzian derivative

The relative cohomology H_diff¹(K(1|3), osp(2, 3);D_γ,µ(S^1|3)) of the contact Lie superalgebra K(1|3) with coefficients in the space of differential operators D_γ,µ(S^1|3) acting on tensor densities on S^1|3, is calculated in N.Ben Fraj, I. Laraied, S. Omri (2013) and the generating 1-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative 1-cocycle s(X_f) = D₁D₂D₃(_f)α₃^1/2, X^f ∈ K(1|3) which is invariant with respect to the conformal subsuperalgebra osp(2, 3) of K(1|3).     

Semi-Heavy Tails

In this paper, we study properties of functions and sequences with a semi-heavy tail, that is, functions and sequences of the form w(x) = e^?βxf(x), β > 0, resp., w_n = cⁿf_n, 0 < c < 1, where the function f(x), resp., the sequence (f_n), is regularly varying. Among others, we give a representation theorem and study convolution properties. The paper includes several examples and applications in probability theory.