Construction of characteristic functions for the system of Navier-Stokes-Voigt equations and the BBM equation

For the system of Navier-Stokes-Voigt equations $$\frac{{\partial \vec v}}{{\partial t}} - v\Delta \vec v - \aleph \frac{{\partial \Delta \vec v}}{{\partial t}} + v_\kappa \frac{{\partial \Delta \vec v}}{{\partial x_\kappa }} + grad \rho = 0, div \vec v = 0$$ and the BBM equation $$\frac{{\partial v}}{{\partial t}} + v\frac{{\partial \Delta v}}{{\partial x}} - \frac{{\partial ^3 v}}{{\partial t\partial x^2 }} = 0$$ characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) of the measure μ_t(ω)=μ(V _?1 ^t (ω)), describing the evolution in time of the probability measure μ(ω) defined on the set of initial conditions for the first initial boundary-value problem for system (1) or Eq. (2) are constructed and investigated. It is shown that the characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) constructed satisfy partial differential equations with an infinite number of independent variables (t; θ₁,θ₂,...) [the statistical equations of E. Hopf for the system (1) or Eq. (2)].     

Solvability of the Dirichlet problem for degenerate quasilinear elliptic equations

In a bounded domain of the n -dimensional (n?2) space one considers a class of degenerate quasilinear elliptic equations, whose model is the equation $$\sum\limits_{i = 1}^n {\frac{{\partial F}}{{\partial x_i }}} (a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i - 2} u_{x_i } ) = f(x),$$ where x =(x₁,..., x_r), l_i?0, m_i>1, the function f is summable with some power, the nonnegative continuous function a(u) vanishes at a finite number of points and satisfies \(\frac{{lim}}{{\left| u \right| \to \infty }}a(u) > 0\) . One proves the existence of bounded generalized solutions with a finite integral $$\int\limits_\Omega {\sum\limits_{i = 1}^n {a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i } dx} }$$ of the Dirichlet problem with zero boundary conditions.     

An optimization algorithm for the pile driver problem

In this paper we present the analysis of an algorithm of Uzawa type to compute solutions of the quasi variational inequality $$\begin{gathered} (QVI)\left( {\frac{{\partial ^2 u}}{{\partial t^2 }},\upsilon - \frac{{\partial u}}{{\partial t}}} \right) + \left( {\frac{{\partial u}}{{\partial x}},\frac{{\partial \upsilon }}{{\partial x}} - \frac{{\partial ^2 u}}{{\partial x\partial t}}} \right) + \left( {\frac{{\partial ^2 u}}{{\partial x\partial t}},\frac{{\partial \upsilon }}{{\partial x}} - \frac{{\partial ^2 u}}{{\partial x\partial t}}} \right) + \hfill \\ + \left[ {u(1,t) + \frac{{\partial u}}{{\partial t}}(1,t)} \right]\left[ {\upsilon (1) - \frac{{\partial u}}{{\partial t}}(1,t)} \right] + J(u;\upsilon ) - J\left( {u;\frac{{\partial u}}{{\partial t}}} \right) \geqslant \hfill \\ \geqslant \left( {f,\upsilon - \frac{{\partial u}}{{\partial t}}} \right) + F(t)\left[ {\upsilon (0) - \frac{{\partial u}}{{\partial t}}(0,t)} \right],t > 0,\forall \upsilon \in H^1 (0,1), \hfill \\ \end{gathered} $$ which is a model for the dynamics of a pile driven into the ground under the action of a pile hammer. In (QVI) (...) is the scalar product inL ²(0, 1) andJ(u;.) is a convex functional onH ¹(0, 1), for eachu, describing the soil-pile friction effect.     

Uniqueness and stability of solutions for Cauchy problem of nonlinear diffusion equations

The uniqueness of solutions for Cauchy problem of the form $$\frac{{\partial u}}{{\partial t}} = \Delta A(u) + \sum\limits_{i = 1}^N {\frac{{\partial b^i (u)}}{{\partial x_i }} + c(u)} $$ is studied. It is proved that ifu ∈BVx and A(u) is strictly increasing, the solution is unique.     

On a strengthened extremal property of the Carathéodory-Fejér functions

Для заданной на едини чной окружности огра ниченной функцииω(ξ) рассматр ивается усложненная задача а ппроксимации аналит ическими функциями: $$\mathop {\inf }\limits_{\varphi \in H^\infty } \left[ {\left\| {\omega - \varphi } \right\| + \mathop \Sigma \limits_{k = 0}^\infty \varepsilon _k \left| {\lambda _k } \right|} \right],$$ где ∥·∥ понимается вL ^∞,ε _k ≧0 — заданные чис ла, $$\mathop \Sigma \limits_{k = 0}^\infty \varepsilon _k< + \infty ,\varphi (z) = \mathop \Sigma \limits_{k = 0}^\infty \lambda _k z^k .$$ Доказывается, что при всех достаточно малы хε _k экстремальной в этой задаче будет функция обычного наилучшего приближения (та же, что и приε _k =0,k=0, 1, ...). В частности, при $$\omega (\zeta ) = \frac{{\gamma _0 }}{{\zeta ^n }} + \frac{{\gamma _1 }}{{\zeta ^{n - 1} }} + ... + \frac{{\gamma _{n - 1} }}{\zeta }$$ экстремальной оказы вается дробь Каратео дори—Фейера. Переход к двойственн ой задаче позволяет получить т очные оценки для клас са интегралов типа Коши, выделяемого огранич ениями, наложенными на велич ины коэффициентов ря да Тейлора.     

An example of a second-order nonhypoelliptic operator with the property of global hypoellipticity

It is proved that the operator $$P \equiv - \frac{{\partial ^2 }}{{\partial x_1^2 }} - \sum\nolimits_{k = 2}^n {\frac{\partial }{{\partial x_k }}\varphi ^2 (x)} \frac{\partial }{{\partial x_k }},$$ where ? ε C^∞(Ω) (Ω is a domain in Rⁿ), {x: ?(x) = 0} is a compactun in Ω which is the closure of its internal points, has the property of global hypoellipticity in Ω, i.e., $$\begin{array}{*{20}c} {v \in D'(\Omega ),} & {Pv \in C^\infty } & {(\Omega ) \Rightarrow \upsilon \in C^\infty (\Omega ).} \\ \end{array} $$ . This operator is not hypoelliptic.     

On semilinear dissipative systems of equations with a small parameter that arise in solution of the Navier-Stokes equations,equation of motion of the Oldroyd fluids,and equations of motion of the Kelvin-Voight fluids

Solutions of the two-dimensional initial boundary-value problem for the Navier-Stokes equations are approximated by solutions of the initial boundary-value problem 9 $$\begin{array}{*{20}c} {\frac{{\partial v}}{{\partial t}}^\varepsilon - v\Delta v^\varepsilon + v_k^\varepsilon v_{x_k }^\varepsilon + \frac{1}{2}v^\varepsilon div v^\varepsilon - \frac{1}{\varepsilon }grad div w^\varepsilon = f_1 ,} \\ {\frac{{\partial w^\varepsilon }}{{\partial t}} + \alpha w^\varepsilon = v^\varepsilon ,} \\ \end{array} $$ 10 $$v^\varepsilon \left| {_{t = 0} = v_0^\varepsilon (x), w^\varepsilon } \right|_{t = 0} = 0, x \in \Omega , v^\varepsilon \left| {_{\partial \Omega } = w^\varepsilon } \right|_{\partial \Omega } = 0, t \in \mathbb{R}^ + $$ . We study the proximity of the solutions of these problems in suitable norms and also the proximity of their minimal global B-attractors. Similar results are valid for two-dimensional equations of motion of the Oldroyd fluids (see Eqs. (38) and (41)) and for three-dimensional equations of motion of the Kelvin-Voight fluids (see Eqs. (39) and (43)). Bibliography: 17 titles.     

Evaluation of the limits of maximal means

It is proved that the limit $$\mathop {\lim }\limits_{\Delta \to \infty } \mathop {\sup }\limits_\gamma \tfrac{1}{\Delta }\int_0^\Delta {f(\gamma (t))dt} $$ , wheref: ? → ? is a locally integrable (in the sense of Lebesgue) function with zero mean and the supremum is taken over all solutions of the generalized differential equation γ ∈ [ω1, ω2], coincides with the limit $$\mathop {\lim }\limits_{T \to \infty } \mathop {\sup }\limits_{c \geqslant 0} \varphi _f (k,{\mathbf{ }}T,{\mathbf{ }}c)$$ , where $$\varphi _f = \frac{{(k - 1)\bar I_f (T,c)}}{{1 + (k - 1)\bar \lambda _f (T,c)}},k = \frac{{\omega _2 }}{{\omega _1 }}$$ . Here ¯λf = λf /T, ¯ I_f =If/T, and λf is the Lebesgue measure of the set $$\{ \gamma \in [\gamma _0 ,\gamma _0 + T]:f(\gamma ) \geqslant c\} = A_f ,I_f = \int_{A_f } {f(\gamma )d\gamma } $$ . It is established that this limit always exists for almost-periodic functionsf.     

Construction of a self-adjoint dilatation for a problem with impedance boundary condition

We study the spectral problem $$\left. {\Delta \mathcal{U} + K^2 \mathcal{U} = 0, \frac{{\partial u}}{{\partial n}} - iK\mathcal{O}\mathcal{U}} \right|_{\partial \Omega } = 0, \mathfrak{S} \geqslant 0$$ We construct a self-adjoint dilatation and the problem is reduced to the investigation of a dissipative operator in a space with energy metric.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

Asymptotic behavior of sums of the type\sum\limits_{\kappa = m}^{n - 1} {\exp } (i\omega \sqrt {n\kappa } ) as n,m → ∞

The asymptotic behavior asn, m → ∞ of the sum $$\sum\limits_{\kappa ,\ell = m}^{n - 1} {\exp \left[ {i\omega \sqrt n \left( {\sqrt \kappa + \sqrt \ell } \right)} \right]} \Phi \left( {1 - \frac{{\left| {\sqrt \kappa - \sqrt \ell } \right|}}{\Delta }} \right)$$ is studied where π(t)=0 for t?0 and φ(t)=t for t > 0.     

On the approximation of conjugate functions from Holder classes by Fejér means

Получены асимптотич еские равенства для в еличин гдеr≧0 — целое, ω(t) — выпу клый модуль непрерыв ности и $$\bar \sigma _n (f;x) = - \frac{1}{\pi } \mathop \smallint \limits_{ - \pi }^\pi f(x + t)\left( {\frac{1}{2}ctg\frac{t}{2} - \frac{1}{{4(n + 1)}}\frac{{\sin (n + 1)t}}{{\sin ^2 \tfrac{1}{2}t}}} \right)dt$$ сумма Фейера функцииf(х), сопряженной сf(x).     

On the divergence of de la Vallée Poussin means of Fourier series

Пусть {λ _{n 1} ^t8 — монотонн ая последовательнос ть натуральных чисел. Дл я каждой функции fεL(0, 2π) с рядом Фурье строятся обобщенные средние Bалле Пуссена $$V_n^{(\lambda )} (f;x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{k = 1}^n (a_k \cos kx + b_k \sin kx) + \mathop \sum \limits_{k = n + 1}^{n + \lambda _n } \left( {1 - \frac{{k - n}}{{\lambda _n + 1}}} \right)\left( {a_k \cos kx + b_k \sin kx} \right).$$ Доказываются следую щие теоремы.

1. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность {V_n ^(λ)(?;x)} расходится почти вс юду.
2. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность $$\left\{ {\frac{1}{\pi }\mathop \smallint \limits_{ - \pi /\lambda _n }^{\pi /\lambda _n } f(x + t)\frac{{\sin (n + \tfrac{1}{2})t}}{{2\sin \tfrac{1}{2}t}}dt} \right\}$$ расходится почти всю ду

.     

A conjecture of Erdős and Reddy and the rational approximation of Mittag-Leffler type functions

Пусть \(f(z) = \mathop \sum \limits_{k = 0}^\infty a_k z^k ,a_0 \ne 0, a_k \geqq 0 (k \geqq 0)\) — целая функци я,π _n — класс обыкновен ных алгебраических мног очленов степени не вы ше \(n,a \lambda _n (f) = \mathop {\inf }\limits_{p \in \pi _n } \mathop {\sup }\limits_{x \geqq 0} |1/f(x) - 1/p(x)|\) . П. Эрдеш и А. Редди высказали пр едположение, что еслиf(z) имеет порядок ?ε(0, ∞) и $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (f)< 1, TO \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (f) > 0$$ В данной статье показ ано, что для целой функ ции $$E_\omega (z) = \mathop \sum \limits_{n = 0}^\infty \frac{{z^n }}{{\Gamma (1 + n\omega (n))}}$$ , где выполняется $$\lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{{\omega (n)}}{{e + 1}}} \right\}$$ , т.е. $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{1}{{\rho (e + 1)}}} \right\}< 1, a \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) = 0$$ . ФункцияE _ω (z) имеет порядок ?.     

Spectral Projections of the Complex Cubic Oscillator

We prove the spectral instability of the complex cubic oscillator \({-\frac{{\rm d}^{2}}{{\rm d}x^{2}} + ix^{3} + i \alpha x}\) for non-negative values of the parameter α, by getting the exponential growth rate of \({\|\Pi_{n}(\alpha)\|}\) , where \({\Pi_{n}(\alpha)}\) is the spectral projection associated with the nth eigenvalue of the operator. More precisely, we show that for all non-negative α $$\lim\limits_{n \to + \infty} \frac{1}{n} {\rm log}\|\Pi_{n}(\alpha)\| = \frac{\pi}{\sqrt{3}}$$ .     

Two families of approximations for the gamma function

In this paper, we establish two families of approximations for the gamma function: $$ \begin{array}{lll} {\varGamma}(x+1)&=\sqrt{2\pi x}{\left({\frac{x+a}{{\mathrm{e}}}}\right)}^x {\left({\frac{x+a}{x-a}}\right)}^{-\frac{x}{2}+\frac{1}{4}} {\left({\frac{x+b}{x-b}}\right)}^{\sum\limits_{k=0}^m\frac{{\beta}_k}{x^{2k}}+O{{\left(\frac{1}{x^{2m+2}}\right)}}},\\ {\varGamma}(x+1)&=\sqrt{2\pi x}\cdot(x+a)^{\frac{x}{2}+\frac{1}{4}}(x-a)^{\frac{x}{2}-\frac{1}{4}} {\left({\frac{x-1}{x+1}}\right)}^{\frac{x^2}{2}}\\ &\quad\times {\left({\frac{x-c}{x+c}}\right)}^{\sum\limits_{k=0}^m\frac{{\gamma}_k}{x^{2k}}+O{\left({\frac{1}{x^{2m+2}}}\right)}}, \end{array}$$ where the constants ${\beta }_k$ and ${\gamma }_k$ can be determined by recurrences, and $a$ , $b$ , $c$ are parameters. Numerical comparison shows that our results are more accurate than Stieltjes, Luschny and Nemes’ formulae, which, to our knowledge, are better than other approximations in the literature.     

Asymptotic properties for the loglog laws under positive association

Let {X _n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X ₁|^2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x ₊ = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function.     

Another method for computing the densities of integrals of motion for the Korteweg-de Vries equation

In the first section of this article a new method for computing the densities of integrals of motion for the KdV equation is given. In the second section the variation with respect to q of the functional ∫ ₀ ^π w (x,t,x,;q)dx (t is fixed) is computed, where W(x, t, s; q) is the Riemann function of the problem $$\begin{gathered} \frac{{\partial ^z u}}{{\partial x^2 }} - q(x)u = \frac{{\partial ^2 u}}{{\partial t^2 }} ( - \infty< x< \infty ), \hfill \\ u|_{t = 0} = f(x), \left. {\frac{{\partial u}}{{\partial t}}} \right|_{t = 0} = 0. \hfill \\ \end{gathered} $$      

On the modulus of continuity in connection with a problem of J. Szabados concerning strong approximation

Пустьf(x) — интегрируемая 2π-периодическая функция, aω(f,δ) иs _n(x)=s_n(f, x). соответственно, модуль непрерывности иn-ая сумма Фурье этой функции. В настоящей работе, продолжающей исследования Г. Фрейда, Л. Лейндлера—E. M. Никищина, И. Сабадоша и К. И. Осколкова, доказывается следующая теорема.Если Ω(u) — выпуклая или вогнутая непрерывная функция и если (1) 1 $$\left\| {\left. {\sum\limits_{k = 1}^\infty \Omega (|S_k (x) - f(x)|)} \right\|_C } \right.$$ то 1 $$\omega (f;\delta ) = O\left( {\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} } \right),$$ где ¯Ω(v) —функция, обратная к Ω(и). При этом существует функция f₀(х), удовлетворяющая условию (1), для которой $$\omega (f;\delta ) = c\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} (c > 0).$$ ЕслиΩ(u)— вогнутая функция, то интеграл \(\int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} \) можно заменить на \(\int\limits_{\bar \Omega (\delta )}^1 {\frac{{du}}{{\Omega (u)}}.} \) . Отсюда вытекает, что еслиΩ(u) — функция типа модуля непрерывности, то для того, чтобы (1) всегда влекло принадлежность f(x) классу Lip 1, необходимо и достаточно условие \(\int\limits_0^1 {\frac{{du}}{{\Omega (u)}}}< \infty .\)      

Mean value theorem and a maximum principle for Kolmogorov's equation

For an equation of the form $$\begin{gathered} \frac{{\partial u}}{{\partial t}} - \sum\nolimits_{ij = 1}^n {{\text{ }}\alpha ^{ij} } \frac{{\partial ^2 u}}{{\partial x^i \partial x^j }} + \sum\nolimits_{ij = 1}^n {\beta _j^i x^i } \frac{{\partial u}}{{\partial x^i }} = 0, \hfill \\ {\text{ }}x \in R^n ,{\text{ }}t \in R^1 , \hfill \\ \end{gathered}$$ where α=(α^ij) is a constant nonnegative matrix andΒ=(Β _i ⁱ ) is a constant matrix, subject to certain conditions, we construct a fundamental solution, similar in its structure to the fundamental solution of the heat conduction equation; we prove a mean value theorem and show that u(x₀, t₀) can be represented in the form of the mean value of u(x, t) with a nonnegative density over a level surface of the fundamental solution of the adjoint equation passing through the point (x₀, t₀); finally, we prove a parabolic maximum principle.