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

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

Stochastic Hamiltonian flows with singular coefficients

In this paper, we study the following stochastic Hamiltonian system in ?^2d (a second order stochastic differential equation):

$$d{\dot X_t} = b({X_t},{\dot X_t})dt + \sigma ({X_t},{\dot X_t})d{W_t},({X_0},{\dot X_0}) = (x,v) \in \mathbb{R}^{2d},$$

where b(x; v) : ?^2d → ?^d and σ(x; v): ?^2d → ?^d ? ?^d are two Borel measurable functions. We show that if σ is bounded and uniformly non-degenerate, and b ∈ H _p ^2/3,0 and ?σ ∈ L^p for some p > 2(2d+1), where H _p ^{α, β} is the Bessel potential space with differentiability indices α in x and β in v, then the above stochastic equation admits a unique strong solution so that (x, v) ? Z_t(x, v) := (X_t, ?_t)(x, v) forms a stochastic homeomorphism flow, and (x, v) ? Z_t(x, v) is weakly differentiable with ess.sup_{x, v} E(sup_{t∈[0, T]} |?Z_t(x, v)|^q) < ∞ for all q ? 1 and T ? 0. Moreover, we also show the uniqueness of probability measure-valued solutions for kinetic Fokker-Planck equations with rough coefficients by showing the well-posedness of the associated martingale problem and using the superposition principle established by Figalli (2008) and Trevisan (2016).

     

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.     

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.

     

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.     

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.     

Global existence of real roots and random Newton flow algorithm for nonlinear system of equations

To solve nonlinear system of equation, F(x) = 0, a continuous Newton flow x _t (t) = V (x) = ?(DF(x))^?1 F(x), x(0) = x ⁰ and its mathematical properties, such as the central field, global existence and uniqueness of real roots and the structure of the singular surface, are studied. We concisely introduce random Newton flow algorithm (NFA) for finding all roots, based on discrete Newton flow x ^j+1 = x ^j + hV (x ^j ) with random initial value x ⁰ and h ∈ (0, 1], and three computable quantities, g _j , d _j and K _j . The numerical experiments with dimension n = 300 are provided.     

On Excess-time Correlated Cumulative Processes

In this paper a class of correlated cumulative processes, B _s (t) = ∑^N(t)_i=1 H _s (X _i )X _i , is studied with excess level increments X _i ?s, where {N(t), t ?0} is the counting process generated by the renewal sequence T _n , T _n and X _n are correlated for given n, H _s (t) is the Heaviside function and s?0 is a given constant. Several useful results, for the distributions of B _s (t), and that of the number of excess (non-excess) increments on (0, t) and the corresponding means, are derived. First passage time problems are also discussed and various asymptotic properties of the processes are obtained. Transform results, by applying a flexible form for the joint distribution of correlated pairs (T _n , X _n ) are derived and inverted. The case of non-excess level increments, X _i < s, is also considered. Finally, applications to known stochastic shock and pro-rata warranty models are given.     

Vanishing power values of commutators with derivations

Let R be a prime ring of char R ≠ 2, let d be a nonzero derivation of R, and let ρ be a nonzero right ideal of R such that [[d(x)x ⁿ , d(y)] _m , [y, x] _s ] ^t = 0 for all x, y ? ρ, where n ≥ 1, m ≥ 0, s ≥ 0, and t ≥ 1 are fixed integers. If [ρ, ρ]ρ ≠ 0 then d(ρ)ρ = 0.     

Existence of linear Pfaffian systems whose lower characteristic set has positive measure in <Emphasis Type="Italic">R</Emphasis><Superscript>3</Superscript>

We prove the existence of a completely integrable Pfaffian system ?x/?t i = A _i (t)x, x ∈ R ⁿ , t = (t ₁, t ₂, t ₃) ∈ R ₊ ³ , i = 1, 2, 3, with infinitely differentiable bounded coefficients and with lower characteristic set of positive three-dimensional Lebesgue measure.     

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

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).$$

     

Singularly perturbed two-dimensional parabolic problem in the case of intersecting roots of the reduced equation

The singularly perturbed parabolic equation ?u _t + ε²Δu ? f(u, x, ε) = 0, x ∈ D ? ?², t > 0 with Robin conditions on the boundary of D is considered. The asymptotic stability as t → ∞ and the global domain of attraction are analyzed for the stationary solution whose limit as ε → 0 is a nonsmooth solution to the reduced equation f(u, x, 0) = 0 that consists of two intersecting roots of this equation.     

On real solutions of systems of equations

Systems of equations f ₁ = ··· = f _n?1 = 0 in ? ⁿ = {x} having the solution x = 0 are considered under the assumption that the quasi-homogeneous truncations of the smooth functions f ₁,..., f _n?1 are independent at x ≠ 0. It is shown that, for n ≠ 2 and n ≠ 4, such a system has a smooth solution which passes through x = 0 and has nonzero Maclaurin series.     

Invariance of the generalized oscillator under a linear transformation of the related system of orthogonal polynomials

We consider the families of polynomials P = { P _n (x)} _n=0 ^∞ and Q = { Q _n (x)} _n=0 ^∞ orthogonal on the real line with respect to the respective probability measures μ and ν. We assume that { Q _n (x)} _n=0 ^∞ and {P _n (x)} _n=0 ^∞ are connected by linear relations. In the case k = 2, we describe all pairs (P,Q) for which the algebras A _P and A _Q of generalized oscillators generated by { Qn(x)} _n=0 ^∞ and { Pn(x)} _n=0 ^∞ coincide. We construct generalized oscillators corresponding to pairs (P,Q) for arbitrary k ≥ 1.     

Systems that generate solutions with a small period

Let (j₁,..., j_n) be a permutation of the n-tuple (1, ..., n). A system of differential equations \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) in which each function f_i is continuous on ? is considered. This system is said to have the property of generation of solutions with a small period if, for any number M > 0, there exists a number ω₀ = ω₀(M) > 0 such that if 0 < ω ≤ ω₀ and h_i(t, x₁, ..., x_n) are continuous functions on ? × ?ⁿ ω-periodic in t that satisfy the inequalities |h_i| ≤ M the system \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) has an ω-periodic solution. It is shown that a system has the property of generation of solutions with a small period if and only if f_i(?) = ? for i = 1,..., n. It is also shown that the smallness condition on the period is essential.     

Continuous time random walks and the Cauchy problem for the heat equation

We deal with anomalous diffusions induced by continuous time random walks - CTRW in ?ⁿ. A particle moves in ?ⁿ in such a way that the probability density function u(·, t) of finding it in region Ω of ?ⁿ is given by ∫_Ωu(x, t)dx. The dynamics of the diffusion is provided by a space time probability density J(x, t) compactly supported in {t ≥ 0}. For t large enough, u satisfies the equation

$$u\left( {x,t} \right) = \left[ {\left( {J - \delta } \right)*u} \right]\left( {x,t} \right)$$

, where δ is the Dirac delta in space-time. We give a sense to a Cauchy type problem for a given initial density distribution f. We use Banach fixed point method to solve it and prove that under parabolic rescaling of J, the equation tends weakly to the heat equation and that for particular kernels J, the solutions tend to the corresponding temperatures when the scaling parameter approaches 0.

     

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

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