BOUNDARY VALUE PROBLEMS OF SINGULARLY PERTURBED INTEGRO－DIFFERENTIAL EQUATIONS

ＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＳＯＦＳＩＮＧＵＬＡＲＬＹＰＥＲＴＵＲＢＥＤＩＮＴＥＧＲＯ－ＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＺＨＯＵＱＩＮＤＥＭＩＡＯＳＨＵＭＥＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ,ＪｉｌｉｎＵｎｉｖｅ...     

Theory of nonstationary flows of Kelvin-Voigt fluids

One proves the global unique solvability in class \(W_\infty ^1 (0,T;C^{2,d} (\bar \Omega ) \cap H(\Omega ))\) of the initial-boundary-value problem for the quasilinear system $$\frac{{\partial \vec \upsilon }}{{\partial t}} + \upsilon _k \frac{{\partial \vec \upsilon }}{{\partial x_k }} - \mu _1 \frac{{\partial \Delta \vec \upsilon }}{{\partial t}} - \int\limits_0^t {K(t - \tau )\Delta \vec \upsilon (\tau )d\tau + grad p = \vec f,di\upsilon \bar \upsilon = 0,\upsilon , > 0.}$$ This system described the nonstationary flows of the elastic-viscous Kelvin-Voigt fluids with defining relation $$\left( {1 + \sum\limits_{\ell = 1}^L {\lambda _\ell } \frac{{\partial ^\ell }}{{\partial t^\ell }}} \right)\sigma = 2\left( {v + \sum\limits_{m = 1}^{L + 1} {\user2{\ae }_m } \frac{{\partial ^m }}{{\partial t^m }}} \right)D,L = 0,1,2,...;\lambda _L ,\user2{\ae }_{L + 1} > 0.$$      

On linear summation methods of Fourier series

Получены новые оценк иL-нормы тригонометр ических полиномов $$T_n (t) = \frac{{\lambda _0 }}{2} + \mathop \sum \limits_{k = 1}^n \lambda _k \cos kt$$ в терминах коэффицие нтовλ _k и их разностейΔλ _k=λ _k?λ _k?1: (1) $$\mathop \smallint \limits_{ - \pi }^\pi |T_n (t)|dt \leqq \frac{c}{n}\mathop \sum \limits_{k = 0}^n |\lambda _\kappa | + c\left\{ {x(n,\varphi )\mathop \sum \limits_{k = 0}^n \Delta \lambda _\kappa \mathop \sum \limits_{l = 0}^n \Delta \lambda _l \delta _{\kappa ,l} (\varphi )} \right\}^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ,$$ где $$\kappa (n,\varphi ) = \mathop \smallint \limits_{1/n}^\pi [t^2 \varphi (t)]^{ - 1} dt, \delta _{k,1} (\varphi ) = \mathop \smallint \limits_0^\infty \varphi (t)\sin \left( {k + \frac{1}{2}} \right)t \sin \left( {l + \frac{1}{2}} \right)t dt,$$ a ?(t) — произвольная фун кция ≧0, для которой опр еделены соответствующие инт егралы. Из (1) следует, что методы $$\tau _n (f;t) = (N + 1)^{ - 1} \mathop \sum \limits_{k = 0}^{\rm N} S_{[2^{k^\varepsilon } ]} (f;t), n = [2^{N\varepsilon } ],$$ являются регулярным и для всех 0<ε≦1/2. ЗдесьS _m (f, x) частные суммы ряда Фу рье функцииf(x). В статье исследуется многомерный случай. П оказано, что метод суммирования (о бобщенный метод Рисса) с коэффиц иентами $$\lambda _{\kappa ,l} = (R^v - k^\alpha - l^\beta )^\delta R^{ - v\delta } (0 \leqq k^\alpha + l^\beta \leqq R^v ;\alpha \geqq 1,\beta \geqq 1,v< 0)$$ является регулярным, когда δ > 1.     

On certain properties of linear summation methods of Fourier series on the classesC(ɛ)

Для линейных методов суммирования рядов Ф урье (1) $$L_n (f;x) = \frac{1}{\pi }\mathop \smallint \limits_{ - \pi }^\pi f(x + t)\left( {\frac{1}{2} + \sum\limits_{k = 1}^n {\lambda _{k,n} } \cos kt} \right)dt$$ на классах $$C(\varepsilon ) = \{ f:E_n (f) \leqq \varepsilon _n ;\forall n \geqq 0\} ,\varepsilon = \{ \varepsilon _n \} _{n = 0.}^\infty \varepsilon _n \downarrow 0,$$ доказываются:

1. оценки для порядка р оста норм ∥{L_n∥, если из вестен порядок приближения операторами (1) некоторого классаС (?) (при этом, если опера торы (1) приближают класс С(е) с наилучшим порядком, то находится точная а симптотика возрастания норм {∥ L_n∥);
2. сравнительные оцен ки порядков приближе ния классовС(?) операторами (1), если известен порядок при ближения ими некотор ого более узкого класса С(?*).

В том случае, когда опе раторы (1) приближают кл асс С(?*) с наилучшим порядком, получаются точные по рядковые оценки для л юбого более широкого класса С(?).     

Spectral asymptotic behavior of a class of integral operators

Integral operators of the type $$(Tf)(x) = \int_0^1 {\frac{{x^\beta y^\gamma }}{{(x + y)^\alpha }}} f(y)dy,$$ the kernels of which have a singularity at a single point, are discussed. H. Widom's method and some of his results are used to show that, if α>0, β, γ>?1/2, ρ=β+γ?α+1>0, then we have for the distribution function of the singular numbers of the operator, $$\mathop {\lim }\limits_{\varepsilon \to 0} N(\varepsilon ,T)ln^{ - 2} {\textstyle{1 \over \varepsilon }} = {\textstyle{1 \over {2\pi ^2 \varepsilon }}}.$$      

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 }$$ экстремальной оказы вается дробь Каратео дори—Фейера. Переход к двойственн ой задаче позволяет получить т очные оценки для клас са интегралов типа Коши, выделяемого огранич ениями, наложенными на велич ины коэффициентов ря да Тейлора.     

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.     

On the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$      

Some embedding theorems for generalized Nikol'skii classes from Lorentz spaces

Quasi-normed Lorentz spaces Λ_{ψ, q} of 2π-periodic functions with quasinorms $$\left\| f \right\|_{\psi ,q} = \left\{ {\int\limits_0^{2\pi } {\psi ^q (t)\left[ {\frac{1}{t}\int\limits_0^t {f * (x)} dx} \right]} ^q \frac{{dt}}{t}} \right\}^{{1 \mathord{\left/ {\vphantom {1 q}} \right. \kern-\nulldelimiterspace} q}} $$ (0<q<∞,ω(t): [0,2π]→R is a continuous concave function with finite derivative everywhere on (0, 2gp)) and classes of functions $$H_{\psi ,q}^\omega \equiv \{ f(x):f(x) \in \Lambda _{\psi ,q} ;\mathop {\sup }\limits_{0 \leqq h \leqq \delta } \left\| {f(x + h) - f(x)} \right\|_{\psi ,q} = O\{ \omega (\delta )\} , \delta \to + 0\} $$ (ω(δ) — modulus of continuity) are studied. Precise embedding conditions of classes H _{ψ, q} ^ω into Lorentz spaces and into each other are obtained: $$\begin{array}{*{20}c} {H_{\psi ,q_1 }^\omega \subset \Lambda _{\psi ,q_2 } ;} & {H_{\psi ,q_1 }^\omega \subset {\rm H}_{\psi ,q_2 }^{\omega * } ,} & {0< q_2< q_1< \infty ,} \\ \end{array} $$ under conditions \(\mathop {\lim }\limits_{t \to \infty } \frac{{\psi (2t)}}{{\psi (t)}} > 1,\mathop {\overline {\lim } }\limits_{x \to \infty } \frac{{\psi (2t)}}{{\psi (t)}}< 2\) andω(δ)=O{ω(δ ²)},δ→+0, andω ^* (δ) is an arbitrary modulus of continuity.     

On the existence of the Stieltjes integral for functions of bounded variation

We obtain sufficient conditions of existence of the Stieltjes integral $$\int\limits_s^t {f(\tau )} d\mathcal{F}(\tau ) = \mathop {\lim }\limits_{\delta _n \to 0} \sum\limits_{k = 1}^{m_n } {f(\xi _k )(\mathcal{F}(t_k^n ) - \mathcal{F}(t_{k - 1}^n ))}$$ for functions of bounded variation taking values in a Banach algebra with identity regardless of the choice of points ξ_k ε [t_k?1, t_k].     

Hayman directions of meromorphic functions

In this paper, we shall prove the existence of the singular directions related to Hayman's problems^[1]. The results are as follows.

1. Suppose that f(z) is a transcendental integral function in the finite plane, then there exists a direction H: argz= θ₀ (0≤θ₀>2π) such that for every positive ε, every integer p(≠0, ?1) and every finite complex number b(≠0), we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' \cdot \{ f\} ^p = b)} \right\} = + \infty $$
2. Suppose that f(z) is a transcendental integral function in the finite plane, then there exists a direction H:z= θ₀ (0≤θ₀>2π) such that for every positive ε, every integrer p(≥3) and any finite complex numbers a(≠0) and b, we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' - a\{ f\} ^p = b)} \right\} = + \infty $$
3. Suppose that f(z) is a meromorphic function in the finite plane and satisfies the following condition $$\mathop {\lim }\limits_{r \to \infty } \frac{{T(r,f)}}{{(\log r)^3 }} = + \infty $$ then there exists a direction H:z= θ₀ (0≤θ₀>2π) such that for every positive ε, every integer p(≥5) and every two finite complex numbers a(≠0) and b, we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' - a\{ f\} ^p = b)} \right\} = + \infty $$

The singular directions in Theorems I–III are called Hayman directions.     

On the permutability of Backlund transformations

Let(?)=B_ηu:2(q-(?))+(⊿((?)-2q))+(2q_x+(?)_x))η=0,2(r-(?)+(⊿(2(?)-r)+(r_x+2(?)_x))η=0,u=(q,r)~Tbe the Backlund transformation (BT) of the hierarchy of AKNS equations,where η is a parameterand Δ=integral from -∞ to x (qr-(?))dx′.It is shown in this paper the infinitesimal BT B_(η+ε)B_η~(-1) admits thefollowing expansionB_(η+ε)B_η~(-1)u=u+εsum from n=0 to ∞ β_n(JL~(n+1)u)η~n,β_n=1+(-1)~n2~(-n-1),where L is the recurrence operator of the hierarchy and ε is an infinitesimal parameter.Thisexpansion implies the equivalence between the permutabiliy of BTs and the involution in pairs ofconserved densities.     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

On the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms

ПустьM ^m,α - множество 2π-п ериодических функци йf с конечной нормой $$||f||_{p,m,\alpha } = \sum\limits_{k = 1}^m {||f^{(k)} ||_{_p } + \mathop {\sup }\limits_{h \ne 0} |h|^{ - \alpha } ||} f^{(m)} (o + h) - f^{(m)} (o)||_{p,} $$ где1 ≦ p ≦ ∞, 0≦α≦1. Рассмотр им средние Bалле Пуссе на $$(\sigma _{n,1} f)(x) = \frac{1}{\pi }\int\limits_0^{2x} {f(u)K_{n,1} (x - u)du} $$ и $$(L_{n,1} f)(x) = \frac{2}{{2n + 1}}\sum\limits_{k = 1}^{2n} {f(x_k )K_{n,1} } (x - x_k ),$$ де0≦l≦n и x _k=2kπ/(2n+1). В работе по лучены оценки для вел ичин \(||f - \sigma _{n,1} f||_{p,r,\beta } \) и $$||f - L_{n,1} f||_{p,r,\beta } (r + \beta \leqq m + \alpha ).$$      

A note on the mean value of L-series

Using Hilbert’s inequality, we give a new asymptotic formula (uniform inq andT) for $$\mathop \Sigma \limits_{\begin{array}{*{20}c} {\chi (mod q)} \hfill \\ {\chi primitive} \hfill \\ \end{array} } \smallint _T^{2T} |L(\tfrac{1}{2} + it,\chi )^4 |dt$$      

The approximate solution of singular integral equations

A computational scheme of collocation type is proposed for a singular linear integral equation with a power singularity in the regular integral and the justification is given. The results obtained are used to justify the approximate solution of the singular integral equation $$Kx \equiv a(t)x(t) + \frac{{b(t)}}{{\pi i}}\smallint _{\left| \tau \right| = 1} \frac{{x(\tau )d\tau }}{{\tau - t}} + \frac{1}{{2\pi i}}\smallint _{\left| \tau \right| = 1} \frac{{h|t,\tau )x(\tau )}}{{\left| {\tau - t} \right|^\delta }}d\tau = f(t)$$ by a modification of the method of minimal residuals.     

On oscillation of solutions of second-order systems of deviated differentaial equations

Sufficient conditions are found for the oscillation of proper solutions of the system of differential equations $$\begin{array}{*{20}c} {u'_1 (t) = f_1 (t,u_1 (\tau _1 (t)),...,u_1 (\tau _m (t)),u_2 (\sigma _1 (t)),...,u_2 (\sigma _m (t))),} \\ {u'_2 (t) = f_2 (t,u_1 (\tau _1 (t)),...,u_1 (\tau _m (t)),u_2 (\sigma _1 (t)),...,u_2 (\sigma _m (t))),} \\ \end{array}$$ wheref _i: R₊×R^2m→R (i=1,2) satisfy the local Carathéodory conditions andσ _i , τ _i :R ₊ →R (i=1,...,m) are continuous functions such that $\sigma _i (t) \leqslant t for t \in R_ + ,\mathop {\lim }\limits_{t \to + \infty } \sigma _i (t) = + \infty ,\mathop {\lim }\limits_{t \to + \infty } \tau _i (t) = + \infty (i = 1,...,m)$      

Mean value of weyl sums

We give a simple proof of a mean value theorem of I. M. Vinogradov in the following form. Suppose P, n, k, τ are integers, P≥1, n≥2, k≥n (τ+1), τ≥0. Put $$J_{k,n} (P) = \int_0^1 \cdots \int_0^1 {\left| {\sum\nolimits_{x = 1}^P {e^{2\pi i(a_1 x + \cdots + a_n x^n )} } } \right|^{2k} da_1 \ldots da_n .} $$ Then $$J_{k,n} \leqslant n!k^{2n\tau } n^{\sigma n^2 u} \cdot 2^{2n^2 \tau } P^{2k - \Delta } ,$$ where $$\begin{gathered} u = u_\tau = min(n + 1,\tau ), \hfill \\ \Delta = \Delta _\tau = n(n + 1)/2 - (1 - 1/n)^{\tau + 1} n^2 /2. \hfill \\ \end{gathered} $$      

A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$