Regularization of a three-element functional equation

In this paper we study the three-element functional equation

$(V\Phi )(z) \equiv \Phi (iz) + \Phi ( - iz) + G(z)\Phi \left( {\frac{1}{z}} \right) = g(z), z \in R,$

, subject to

$R: = \{ z:\left| z \right| < 1, \left| {\arg z} \right| < \frac{\pi }{4}\} .$

We assume that the coefficients G(z) and g(z) are holomorphic in R and their boundary values G ⁺(t) and g ⁺(t) belong to H(Γ), G(t)G(t ^?1) = 1. We seek for solutions Φ(z) in the class of functions holomorphic outside of \(\bar R\) such that they vanish at infinity and their boundary values Φ^?(t) also belong to H(Γ). Using the method of equivalent regularization, we reduce the problem to the 2nd kind integral Fredholm equation.

     

Pointwise estimates of polynomials orthogonal on a circle with respect to a weight not belonging to the spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript> (<Emphasis Type="Italic">r</Emphasis> &gt; 1)

Two-sided pointwise estimates are established for polynomials that are orthogonal on the circle |z| = 1 with respect to the weight ?(τ): = h(τ)|sin(τ/2)|^?1 g(|sin(τ/2)|) (τ ∈ ?), where g(t) is a concave modulus of continuity slowly changing at zero such that t ^?1 g(t) ∈ L ¹[0, 1] and h(τ) is a positive function from the class C _2π with a modulus of continuity satisfying the integral Dini condition. The obtained estimates are applied to find the order of the distance from the point t = 1 to the greatest zero of a polynomial orthogonal on the segment [?1, 1].     

Inverse problem with nonlocal observation of finding the coefficient multiplying <Emphasis Type="Italic">u</Emphasis> <Subscript> <Emphasis Type="Italic">t</Emphasis> </Subscript> in the parabolic equation

We study the inverse problem of the reconstruction of the coefficient ?(x, t) = ?⁰(x, t) + r(x) multiplying u_t in a nonstationary parabolic equation. Here ?⁰(x, t) ≥ ?⁰ > 0 is a given function, and r(x) ≥ 0 is an unknown function of the class L_∞(Ω). In addition to the initial and boundary conditions (the data of the direct problem), we pose the problem of nonlocal observation in the form ∫₀^Tu(x, t) dμ(t) = χ(x) with a known measure dμ(t) and a function χ(x). We separately consider the case dμ(t) = ω(t)dt of integral observation with a smooth function ω(t). We obtain sufficient conditions for the existence and uniqueness of the solution of the inverse problem, which have the form of ready-to-verify inequalities. We suggest an iterative procedure for finding the solution and prove its convergence. Examples of particular inverse problems for which the assumptions of our theorems hold are presented.     

Multiple recurrence and convergence for hardy sequences of polynomial growth

We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for “typical” choices of Hardy field functions a(t) with polynomial growth, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[a(n)]}}x) \cdots {f_\ell }({T^{\ell [a(n)]}}x)} $

converge in mean and we determine their limit. For example, this is the case if a(t) = t ^3/2, t log t, or t ² + (log t)². Furthermore, if {a ₁(t), …, a _? (t)} is a “typical” family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[{a_1}(n)]}}x) \cdots {f_\ell }({T^{[{a_\ell }(n)]}}x)} $

converge in mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions a _i (t) are given by different positive fractional powers of t. We deduce several results in combinatorics. We show that if a(t) is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form {m,m + [a(n)], …, m + ?[a(n)]}. Under suitable assumptions, we get a related result concerning patterns of the form {m,m + [a ₁(n)], …,m + [a _? (n)]}.

     

Weakly irregular quasiperiodic solutions of nonlinear Pfaff systems

We consider the nonlinear quasiperiodic Pfaff system

$$\frac{{\partial x}}{{\partial t_j }} = F^{(j)} (t,x) + G^{(j)} (t,x)(j = 1,...,m).$$

Let K ^(j) be a frequency basis with respect to t _j of the functions F ⁽¹⁾,...,F ^(m), and let L ^(j) be a frequency basis with respect to t _j of the functions G ⁽¹⁾,...,G ^(m). Suppose that the set K ^(j) ∪ L ^(j) of numbers is rationally linearly independent. We obtain necessary and sufficient conditions for the existence of quasiperiodic solutions with frequency bases L ⁽¹⁾,..., L ^(m).

     

Slow entropy for some smooth flows on surfaces

We study slow entropy in some classes of smooth mixing flows on surfaces. The flows we study can be represented as special flows over irrational rotations and under roof functions which are C² everywhere except one point (singularity). If the singularity is logarithmic asymmetric (Arnol’d flows), we show that in the scale a_n(t) = n(log n)^t slow entropy equals 1 (the speed of orbit growth is n log n) for a.e. irrational α. If the singularity is of power type (x^?γ, γ ∈ (0, 1)) (Kochergin flows), we show that in the scale a_n(t) = n^t slow entropy equals 1 + γ for a.e. α.We show moreover that for local rank one flows, slow entropy equals 0 in the n(log n)^t scale and is at most 1 for scale n^t. As a consequence we get that a.e. Arnol’d and a.e Kochergin flow is never of local rank one.     

Proof of a tournament partition conjecture and an application to 1-factors with prescribed cycle lengths

In 1982 Thomassen asked whether there exists an integer f(k,t) such that every strongly f(k,t)-connected tournament T admits a partition of its vertex set into t vertex classes V ₁,…V _t such that for all i the subtournament T[V _i] induced on T by V _i is strongly k-connected. Our main result implies an affirmative answer to this question. In particular we show that f(k, t)=O(k ⁷ t ⁴) suffices. As another application of our main result we give an affirmative answer to a question of Song as to whether, for any integer t, there exists aninteger h(t) such that every strongly h(t)-connected tournament has a 1-factor consisting of t vertex-disjoint cycles of prescribed lengths. We show that h(t)=O(t ⁵) suffices.     

Probabilities of high extremes for a Gaussian stationary process in a random environment

Let ξ(t) be a zero-mean stationary Gaussian process with the covariance function r(t) of Pickands type, i.e., r(t) = 1 ? |t| ^α + o(|t| ^α ), t → 0, 0 < α ≤ 2, and η(t), ζ(t) be periodic random processes. The exact asymptotic behavior of the probabilities P(max _t∈[0,T] η(t)ξ(t) > u), P(max _t∈[0,T] (ξ(t) + η(t)) > u) and P(max _t∈[0,T] (η(t)ξ(t) + ζ(t)) > u) is obtained for u → ∞ for any T > 0 and independent ξ(t), η(t), ζ(t).     

On the total multiplicity of zeros of generalized polynomials related to nonoscillating trajectories

For a continuous curve L = {x: x = Z(t), t ∈ [a, b]} in R ⁿ , we study the number of zeros of the function l _h (t) = 〈h, Z(t)〉, where h ∈ R ⁿ . We introduce the notion of multiple zeros for such functions and study the possibility of estimating the total multiplicity of such zeros under the assumption that the system {z ₁(t), z ₂(t), …, z _n (t)} of coordinates of the function Z(t) is a Chebyshev system on [a, b].     

On stabilizability of evolution systems of partial differential equations on ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×[0,+∞) by time-delayed feedback controlsby time-delayed feedback controls

In this work we obtain sufficient conditions for stabilizability by time-delayed feedback controls for the system

$\frac{{\partial w\left( {x,t} \right)}}{{\partial t}} = A(D_x )w(x,t) - A(D_x )u(x,t), x \in \mathbb{R}^n , t > h, $

where D _x =(-i?/?x ₁,...-i?/?x _n ), A(σ) and B(σ) are polynomial matrices (m×m), det B(σ)≡0 on ? ⁿ , w is an unknown function, u(·,t)=P(D _x )w(·,t?h) is a control, h>0. Here P is an infinite differentiable matrix (m×m), and the norm of each of its derivatives does not exceed Γ(1+|σ|²)^γ for some Γ, γ∈? depending on the order of this derivative. Necessary conditions for stabilizability of this system are also obtained. In particular, we study the stabilizability problem for the systems corresponding to the telegraph equation, the wave equation, the heat equation, the Schrödinger equation and another model equation. To obtain these results we use the Fourier transform method, the Lojasiewicz inequality and the Tarski—Seidenberg theorem and its corollaries. To choose an appropriate P and stabilize this system, we also prove some estimates of the real parts of the zeros of the quasipolynomial det {Iλ-A(σ)+B(σ)P(σ)e ^-hλ.

     

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.”     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$

     

Global asymptotic stability for half-linear differential systems with generalized almost periodic coefficients

The following system considered in this paper:

$$x' = -\,e(t)x + f(t)\phi_{p^*}(y), \qquad y'= -\,(p-1)g(t)\phi_p(x) - (p-1)h(t)y,$$

where \({p > 1, p^* > 1 (1/p + 1/p^* = 1)}\) and \({\phi_q(z) = |z|^{q-2}z}\) for q = p or q = p ^*. This system is referred to as a half-linear system. The coefficient f(t) is assumed to be bounded, but the coefficients e(t), g(t) and h(t) are not necessarily bounded. Sufficient conditions are obtained for global asymptotic stability of the zero solution. Our results can be applied to not only the case that the signs of f(t) and g(t) change like the periodic function but also the case that f(t) and g(t) irregularly have zeros. Some suitable examples are included to illustrate our results.

     

A tournament approach to pattern avoiding matrices

We consider the following Turán-type problem: given a fixed tournament H, what is the least integer t = t(n,H) so that adding t edges to any n-vertex tournament, results in a digraph containing a copy of H. Similarly, what is the least integer t = t(T _n ,H) so that adding t edges to the n-vertex transitive tournament, results in a digraph containing a copy of H. Besides proving several results on these problems, our main contributions are the following:

• Pach and Tardos conjectured that if M is an acyclic 0/1 matrix, then any n × n matrix with n(log n) ^O(1) entries equal to 1 contains the pattern M. We show that this conjecture is equivalent to the assertion that t(T _n ,H) = n(log n) ^O(1) if and only if H belongs to a certain (natural) family of tournaments.
• We propose an approach for determining if t(n,H) = n(log n) ^O(1). This approach combines expansion in sparse graphs, together with certain structural characterizations of H-free tournaments. Our result opens the door for using structural graph theoretic tools in order to settle the Pach–Tardos conjecture.

     

Extremes of Gaussian processes with smooth random expectation and smooth random variance

Let ξ(t), t ∈ [0, T],T > 0, be a Gaussian stationary process with expectation 0 and variance 1, and let η(t) and μ(t) be other sufficiently smooth random processes independent of ξ(t). In this paper, we obtain an asymptotic exact result for P(sup _t∈[0,T](η(t)ξ(t) + μ(t)) > u) as u→∞.     

Error estimates for a projection-difference method for a linear differential-operator equation

We study a projection-difference method for approximately solving the Cauchy problem u′(t) + A(t)u(t) + K(t)u(t) = h(t), u(0) = 0 for a linear differential-operator equation in a Hilbert space, where A(t) is a self-adjoint operator and K(t) is an operator subordinate to A(t). Time discretization is based on a three-level difference scheme, and space discretization is carried out by the Galerkin method. Under certain smoothness conditions on the function h(t), we obtain estimates for the convergence rate of the approximate solutions to the exact solution.     

A tracing of the fractional temperature field

This paper is devoted to a study of L~q-tracing of the fractional temperature field u(t, x)—the weak solution of the fractional heat equation(?_t +(-?_x)~α)u(t, x) = g(t, x) in L~p(R_+~(1+n)) subject to the initial temperature u(0, x) = f(x) in L~p(R~n).     

Criterion for the Solvability of the Weighted Cauchy Problem for an Abstract Euler–Poisson–Darboux Equation

In a Banach space E, we consider the abstract Euler–Poisson–Darboux equation u″(t) + kt^?1u′(t) = Au(t) on the half-line. (Here k ∈ ? is a parameter, and A is a closed linear operator with dense domain on E.) We obtain a necessary and sufficient condition for the solvability of the Cauchy problem u(0) = 0, lim _t→0+t ^k u′(t) = u₁, k < 0, for this equation. The condition is stated in terms of an estimate for the norms of the fractional power of the resolvent of A and its derivatives. We introduce the operator Bessel function with negative index and study its properties.     

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.     

Jacobi method for symmetric 4 × 4 matrices converges for every cyclic pivot strategy

The paper studies the global convergence of the Jacobi method for symmetric matrices of size 4. We prove global convergence for all 720 cyclic pivot strategies. Precisely, we show that inequality S(A ^[t+3]) ≤ γ S(A ^[t]), t ≥ 1, holds with the constant γ < 1 that depends neither on the matrix A nor on the pivot strategy. Here, A ^[t] stands for the matrix obtained from A after t full cycles of the Jacobi method and S(A) is the off-diagonal norm of A. We show why three consecutive cycles have to be considered. The result has a direct application on the J-Jacobi method.