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.     

The method of asymptotic stabilization to a given trajectory based on a correction of the initial data

Let S be an operator in a Banach space H and S ⁱ (u) (i = 0, 1, ..., u ∈ H) be the evolutionary process specified by S. The following problem is considered: for a given point z ₀ and a given initial condition a ₀, find a correction l such that the trajectory {S ⁱ (a ₀ + l)} approaches }S ⁱ (z ₀)} for 0 < i ≤ n. This problem is reduced to projecting a ₀ on the manifold ?^?(z ₀, f ⁽ⁿ⁾) defined in a neighborhood of z ₀ and specified by a certain function f ⁽ⁿ⁾. In this paper, an iterative method is proposed for the construction of the desired correction u = a ₀ + l. The convergence of the method is substantiated, and its efficiency for the blow-up Chafee-Infante equation is verified. A constructive proof of the existence of a locally stable manifold ?^?(z ₀, f) in a neighborhood of a trajectory of hyperbolic type is one of the possible applications of the proposed method. For the points in ?^?(z ₀, f), the value of n can be chosen arbitrarily large.     

Power series whose coefficients form homogeneous random processes

Summary Power series f(z) = a _izⁱ are considered, where the sequence {a _i} forms a homogeneous random process. If the sequence is exchangeable and the variance of the marginal distributions exists, it is proved that r, the random radius of convergence of f(z), takes the values 0 and 1. If the sequence is a second order stationary time series then r=1 with probability 1. If {a _i} is a regular denumerable Markov chain, it can be proved that r=c=1 with probability 1, but both c=0 and c=1 can arise. A number of criteria are given for deciding the value of c in this situation.     

On super edge-magic decomposable graphs

Let G be any graph and let {H _i } _i??I be a family of graphs such that $E\left( {H_i } \right) \cap E\left( {H_j } \right) = \not 0$ when i ?? j, ?? _i??I E(H _i ) = E(G) and $E\left( {H_i } \right) \ne \not 0$ for all i ?? I. In this paper we introduce the concept of {H _i } _i??I -super edge-magic decomposable graphs and {H _i } _i??I -super edge-magic labelings. We say that G is {H _i } _i??I -super edge-magic decomposable if there is a bijection ??: V(G) ?? {1,2,..., |V(G)|} such that for each i ?? I the subgraph H _i meets the following two requirements: ??(V(H _i )) = {1,2,..., |V(H _i )|} and {??(a) +??(b): ab ?? E(H _i )} is a set of consecutive integers. Such function ?? is called an {H _i } _i??I -super edge-magic labeling of G. We characterize the set of cycles C _n which are {H ₁, H ₂}-super edge-magic decomposable when both, H ₁ and H ₂ are isomorphic to (n/2)K ₂. New lines of research are also suggested.     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

A property of Pisot numbers and Fourier transforms of self-similar measures

For any Pisot number β it is known that the set F (β)={t:lim n→∞‖tβ n‖= 0} is countable,where a is the distance between a real number a and the set of integers.In this paper it is proved that every member in this set is of the form cβ n,where ‖n‖ is a nonnegative integer and c is determined by a linear system of equations.Furthermore,for some self-similar measures μ associated with β,the limit at infinity of the Fourier transforms lim n→∞μ(tβ n)≠0 if and only if t is in a certain subset of F (β).This generalizes a similar result of Huang and Strichartz.     

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.     

Asymptotics of the variance of the number of real roots of random trigonometric polynomials

Let an,n 1 be a sequence of independent standard normal random variables.Consider the random trigonometric polynomial Tn(θ)=∑nj=1 aj cos(jθ),0≤θ≤2π and let Nn be the number of real roots of Tn(θ) in(0,2π).In this paper it is proved that limn →∞ Var(Nn)/n=c0,where 0相似文献   

Fractional non-Archimedean calculus in one variable

Let ?? be a natural number. A function f: ? _p ?? K into a non-Archimedeanly valued complete field K ? ? _p is ??-times continuously differentiable if and only if its Mahler coefficients (a _n ) _n??? obey |a _n |n ^?? ?? 0 as n ?? ??. For a real number r ?? 0, this suggests the ad hoc definition by [1] of a C ^r -function f: ? _p ?? K by asking its Mahler coefficients (a _n ) _n??? to satisfy |a _n |n ^r ?? 0 as n?? ??. We will present for functions f: X ?? K on subsets X ? K without isolated points a general pointwise notion of r-fold differentiability through iterated difference quotients, subsequently shown on the domain X = ? _p to coincide with the one given above. For functions on open domains, we prove this notion to admit a handier characterization by its Taylor polynomial up to degree ?r?.     

On L 1-convergence of Fourier series of complex valued functions under the GM7 condition

Let f??L _2?? be a real-valued even function with its Fourier series $\frac {a_{0}}{2}+\sum\limits_{n=1}^{\infty}{a_{n}}\cos nx$ , and let S _n (f,x) be the nth partial sum of the Fourier series, n?R1. The classical result says that if the nonnegative sequence {a _n } is decreasing and $\lim\limits_{n\to\infty} a_{n} =0$ , then $\lim\limits_{n\to\infty} \|{f-S_{n}(f)}\|_{L}=0$ if and only if $\lim\limits_{n\to\infty} a_{n}\log n=0$ . Later, the monotonicity condition set on {a _n } is essentially generalized to MVBV (Mean Value Bounded Variation) condition. Very recently, Kórus further generalized the condition in the classical result to the so-called GM₇ condition in real space. In this paper, we give a complete generalization to the complex space.     

Zeros of p-adic differential polynomials

Let $\mathbb{K}$ be a complete algebraically closed p-adic field of characteristic zero. We consider a differential polynomial of the form F = a _n f ⁿ f ^(k) + a _n?1 f ^n?1 + ... + a ₀ where the a _j are small functions with respect to f and f is a meromorphic function in $\mathbb{K}$ or inside an open disk. Using p-adic methods, we can prove that when N(r, f) = S(r, f), then F must have infinitely many zeros, as in complex analysis.     

On the combinatorial structure of Rauzy graphs

Let S _m ⁰ be the set of all irreducible permutations of the numbers {1, ??,m} (m ?? 3). We define Rauzy induction mappings a and b acting on the set S _m ⁰ . For a permutation ?? ?? S _m ⁰ , denote by R(??) the orbit of the permutation ?? under the mappings a and b. This orbit can be endowed with the structure of an oriented graph according to the action of the mappings a and b on this set: the edges of this graph belong to one of the two types, a or b. We say that the graph R(??) is a tree composed of cycles if any simple cycle in this graph consists of edges of the same type. An equivalent formulation of this condition is as follows: a dual graph R*(??) of R(??) is a tree. The main result of the paper is as follows: if the graph R(??) of a permutation ?? ?? S _m ⁰ is a tree composed of cycles, then the set R(??) contains a permutation ?? ₀: i ? m + 1 ? i, i = 1, ??,m. The converse result is also proved: the graph R(?? ₀) is a tree composed of cycles; in this case, the structure of the graph is explicitly described.     

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.     

The hole probability for Gaussian entire functions

Consider the random entire function

$f(z) = \sum\limits_{n = 0}^\infty {{\phi _n}{a_n}{z^n}} $

, where the ? _n are independent standard complex Gaussian coefficients, and the a _n are positive constants, which satisfy

$\mathop {\lim }\limits_{x \to \infty } {{\log {a_n}} \over n} = - \infty $

.

We study the probability P _H (r) that f has no zeroes in the disk{|z| < r} (hole probability). Assuming that the sequence a _n is logarithmically concave, we prove that

$\log {P_H}(r) = - S(r) + o(S(r))$

, where

$S(r) = 2 \cdot \sum\limits_{n:{a_n}{r^n} \ge 1} {\log ({a_n}{r^n})} $

, and r tends to ∞ outside a (deterministic) exceptional set of finite logarithmic measure.

     

New Findings on the Bank–Sauer Approach in Oscillation Theory

In 1988, S. Bank showed that if {z _n } is a sparse sequence in the complex plane, with convergence exponent zero, then there exists a transcendental entire A(z) of order zero such that f″+A(z)f=0 possesses a solution having {z _n } as its zeros. Further, Bank constructed an example of a zero sequence {z _n } violating the sparseness condition, in which case the corresponding coefficient A(z) is of infinite order. In 1997, A. Sauer introduced a condition for the density of the points in the zero sequence {z _n } of finite convergence exponent such that the corresponding coefficient A(z) is of finite order.     

Characterization of the convergence of weighted averages of sequences and functions

The weighted averages of a sequence (c _k ), c _k ?? ?, with respect to the weights (p _k ), p _k ?? 0, with {fx135-1} are defined by {fx135-2} while the weighted average of a measurable function f: ?₊ ?? ? with respect to the weight function p(t) ?? 0 with {fx135-3}. Under mild assumptions on the weights, we give necessary and sufficient conditions under which the finite limit ?? _n ?? L as n ?? ?? or ??(t) ?? L as t ?? ?? exists, respectively. These characterizations may find applications in probability theory.     

On rational approximation of algebraic functions

We construct a new scheme of approximation of any multivalued algebraic function f(z) by a sequence {r_n(z)}_n∈N of rational functions. The latter sequence is generated by a recurrence relation which is completely determined by the algebraic equation satisfied by f(z). Compared to the usual Padé approximation our scheme has a number of advantages, such as simple computational procedures that allow us to prove natural analogs of the Padé Conjecture and Nuttall's Conjecture for the sequence {r_n(z)}_n∈N in the complement CP¹?D_f, where D_f is the union of a finite number of segments of real algebraic curves and finitely many isolated points. In particular, our construction makes it possible to control the behavior of spurious poles and to describe the asymptotic ratio distribution of the family {r_n(z)}_n∈N. As an application we settle the so-called 3-conjecture of Egecioglu et al. dealing with a 4-term recursion related to a polynomial Riemann Hypothesis.     

Some results on non-linear recurrence

We study the behavior of measure-preserving systems with continuous time along sequences of the form {n ^α}n∈#x2115;} where α is a positive real number¹. Let {S ^t } _t∈? be an ergodic continuous measure preserving flow on a probability Lebesgue space (X, β, μ). Among other results we show that:

1. For all but countably many α (in particular, for all α∈???) one can find anL ^∞-functionf for which the averagesA _N (f)(1/N)=Σ _n=1 ^N f(S ^nα x) fail to converge almost everywhere (the convergence in norm holds for any α!).
2. For any non-integer and pairwise distinct numbers α₁, α₂,..., α _k ∈(0, 1) and anyL ^∞-functionsf ₁,f ₂, ...,f _k , one has $$\mathop {lim}\limits_{N \to \infty } \left\| {\frac{1}{N}\sum\limits_{n - 1}^N {\prod\limits_{i - 1}^k {f_i (S^{n^{\alpha _i } } x) - \prod\limits_{i - 1}^k {\int_X {f_i d\mu } } } } } \right\|_{L^2 } = 0$$

We also show that Furstenberg’s correspondence principle fails for ?-actions by demonstrating that for all but a countably many α>0 there exists a setE?? having densityd(E)=1/2 such that, for alln∈?, $$d(E \cap (E - n^\alpha )) = 0$$ .     

Coincidence of Least Uniform Deviations of Functions from Polynomials and Rational Fractions

For a given nonincreasing vanishing sequence {a _n } _{n = 0} of nonnegative real numbers, we find necessary and sufficient conditions for a sequence {n _k } _{k = 0} to have the property that for this sequence there exists a function f continuous on the interval [0,1] and satisfying the condition that , k = 0,1,2,..., where E _n (f) and R _n,m (f) are the best uniform approximations to the function f by polynomials whose degree does not exceed n and by rational functions of the form r _n,m (x) = p _n (x)/q _m (x), respectively.     

A new method of proof of Filippov’s theorem based on the viability theorem

Filippov??s theorem implies that, given an absolutely continuous function y: [t ₀; T] ?? ? ^d and a set-valued map F(t, x) measurable in t and l(t)-Lipschitz in x, for any initial condition x ₀, there exists a solution x(·) to the differential inclusion x??(t) ?? F(t, x(t)) starting from x ₀ at the time t ₀ and satisfying the estimation $$\left| {x(t) - y(t)} \right| \leqslant r(t) = \left| {x_0 - y(t_0 )} \right|e^{\int_{t_0 }^t {l(s)ds} } + \int_{t_0 }^t \gamma (s)e^{\int_s^t {l(\tau )d\tau } } ds,$$ where the function ??(·) is the estimation of dist(y??(t), F(t, y(t))) ?? ??(t). Setting P(t) = {x ?? ? ⁿ : |x ?y(t)| ?? r(t)}, we may formulate the conclusion in Filippov??s theorem as x(t) ?? P(t). We calculate the contingent derivative DP(t, x)(1) and verify the tangential condition F(t, x) ?? DP(t, x)(1) ?? ?. It allows to obtain Filippov??s theorem from a viability result for tubes.