A mixed boundary-value problem for a hyperbolic-parabolic equation

Let Ω be a bounded domain in the n-dimensional Euclidean space. In the cylindrical domain QT=Ω x [0, T] we consider a hyperbolic-parabolic equation of the form (1) $$Lu = k(x,t)u_{tt} + \sum\nolimits_{i = 1}^n {a_i u_{tx_i } - } \sum\nolimits_{i,j = 1}^n {\tfrac{\partial }{{\partial x_i }}} (a_{ij} (x,t)u_{x_j } ) + \sum\nolimits_{i = 1}^n {t_i u_{x_i } + au_t + cu = f(x,t),} $$ where \(k(x,t) \geqslant 0,a_{ij} = a_{ji} ,\nu |\xi |^2 \leqslant a_{ij} \xi _i \xi _j \leqslant u|\xi |^2 ,\forall \xi \in R^n ,\nu > 0\) . The classical and the “modified” mixed boundary-value problems for Eq. (1) are studied. Under certain conditions on the coefficients of the equation it is proved that these problems have unique solution in the Sobolev spaces W ₂ ¹ (QT) and W ₂ ² (QT).     

On a multilinear singular integral operator

In this paper, we prove that the maximal operatorsatisfiesis homogeneous of degree 0, has vanishing moment up to order M and satisfies Lq-Dini condition for some     

A discreteness criterion for the spectrum of a quasielliptic operator

For the spectrum of the operator $$u = \sum\nolimits_{j = 1}^n {( - 1)^{m_j } D_j^{2m_j } u + q(x)u,} $$ to be discrete, where the m_j are arbitrary positive integers such that \(\sum\nolimits_{j = 1}^n {\tfrac{1}{{2m_j }}< 1} \) , and q(x) ≥ 1, it is necessary and sufficient that \(\int\limits_K {q (x) dx \to \infty } \) , when the cube K tends to infinity while preserving its dimensions.     

Randomly weighted sums of dependent subexponential random variables*

We consider the randomly weighted sums $ \sum\nolimits_{k = 1}^n {{\theta_k}{X_k},n \geqslant 1} $ , where $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ are n real-valued random variables with subexponential distributions, and $ \left\{ {{\theta_k},1 \leqslant k \leqslant n} \right\} $ are other n random variables independent of $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ and satisfying $ a \leqslant \theta \leqslant b $ for some $ 0 < a \leqslant b < \infty $ and all $ 1 \leqslant k \leqslant n $ . For $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ satisfying some dependent structures, we prove that $$ {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant m \leqslant n} \sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant k \leqslant n} {\theta_k}{X_k} > x} \right)\sim \sum\limits_{k = 1}^m {{\text{P}}\left( {{\theta_k}{X_k} > x} \right)} $$ as x??????.     

Some boundedness results for systems of two rational difference equations

We study k ^th order systems of two rational difference equations

Heat kernel bounds for elliptic partial differential operators in divergence form with Robin-type boundary conditions

One of the principal topics of this paper concerns the realization of self-adjoint operators L _Θ,Ω in L ²(Ω; d ⁿ x) ^m , m, n ∈ ?, associated with divergence form elliptic partial differential expressions L with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains Ω ? ? ⁿ . In particular, we develop the theory in the vector-valued case and hence focus on matrix-valued differential expressions L which act as $$Lu = - \left( {\sum\limits_{j,k = 1}^n {\partial _j } \left( {\sum\limits_{\beta = 1}^m {a_{j,k}^{\alpha ,\beta } \partial _k u_\beta } } \right)} \right)_{1 \leqslant \alpha \leqslant m} , u = \left( {u_1 , \ldots ,u_m } \right).$$ The (nonlocal) Robin-type boundary conditions are then of the form $$v \cdot ADu + \Theta [u|_{\partial \Omega } ] = 0{\text{ on }}\partial \Omega ,$$ where Θ represents an appropriate operator acting on Sobolev spaces associated with the boundary ?Ω of Ω, ν denotes the outward pointing normal unit vector on ?Ω, and $Du: = \left( {\partial _j u_\alpha } \right)_{_{1 \leqslant j \leqslant n}^{1 \leqslant \alpha \leqslant m} } .$ Assuming Θ ≥ 0 in the scalar case m = 1, we prove Gaussian heat kernel bounds for L _Θ,Ω, by employing positivity preserving arguments for the associated semigroups and reducing the problem to the corresponding Gaussian heat kernel bounds for the case of Neumann boundary conditions on ?Ω. We also discuss additional zero-order potential coefficients V and hence operators corresponding to the form sum L _Θ,Ω + V.     

Best approximation and de la Vallée-Poussin sums

For the class C_ε={f∈C_2π: E_n, n≤Z₊} where \(\left\{ {\varepsilon _n } \right\}_{n \in Z_ + } \) is a sequence of numbers tending monotonically to zero, we establish the following precise (in the sense of order) bounds for the error of approximation by de la Vallée-Poussin sums: (1) $$c_1 \sum\nolimits_{j = n}^{2\left( {n + l} \right)} {\frac{{\varepsilon _j }}{{l + j - n + 1}}} \leqslant \mathop {\sup }\limits_{f \in C_\varepsilon } \left\| {f - V_{n, l} \left( f \right)} \right\|_C \leqslant c_2 \sum\nolimits_{j = n}^{2\left( {n + l} \right)} {\frac{{\varepsilon _j }}{{l + j - n + 1}}} \left( {n \in N} \right)$$ , where c₁ and c₂ are constants which do not depend on n orl. This solves the problem posed by S. B. Stechkin at the Conference on Approximation Theory (Bonn, 1976) and permits a unified treatment of many earlier results obtained only for special classes C_ε of (differentiable) functions. The result (1) substantially refines the estimate (see [1]) (2) $$\left\| {V_{n, l} \left( f \right) - f} \right\|_C = O\left( {\log {n \mathord{\left/ {\vphantom {n {\left( {l + 1} \right) + 1}}} \right. \kern-\nulldelimiterspace} {\left( {l + 1} \right) + 1}}} \right) E_n \left[ f \right] \left( {n \to \infty } \right)$$ and includes as particular cases the estimates of approximations by Fejér sums (see [2]) and by Fourier sums (see [3]).     

Unboundedness results for systems

We study k ^th order systems of two rational difference equations

The algebraic independence of certain transcendental continued fractions

In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series \(\sum\limits_{K = 1}^\infty {\left[ {\omega _v k} \right]} {\text{ }}g_\mu ^{ - k} \left( {1 \leqslant \mu \leqslant s,1 \leqslant v \leqslant t} \right)\) are algebraically independent, where \(\mathop \omega \nolimits_1 {\text{ , }}...{\text{ , }}\mathop \omega \nolimits_{\text{t}} \) , ..., \(\mathop g\nolimits_1 {\text{ , }}...{\text{ , }}\mathop g\nolimits_s \) are some irrational numbers andg ₁, ...,g _s are distinct positive integers.     

On a problem in probability theory

For continuous random variables, we study a problem similar to that considered earlier by one of the authors for discrete random variables. Let numbers $$N > 0, E > 0, 0 \leqslant \lambda _1 \leqslant \lambda _2 \leqslant \cdots \leqslant \lambda _s $$ be given. Consider a random vector x = (x ₁, …, x _s), uniformly distributed on the set $$x_j \geqslant 0, j = 1, \ldots ,s; \sum\limits_{j = 1}^s {x_j = N} , \sum\limits_{j = 1}^s {\lambda _j x_j \leqslant E} .$$ We study the weak limit of x as s → ∞.     

Solvability of nonlinear systems including (γ, δ)-comparison pairs

Let $\gamma ,\delta \in \mathbb{R}^n $ with $\gamma _j ,\delta _j \in \{ 0,1\} $ . A comparison pair for a system of equations f_i(u₁,…,u_n)=0 (i=1,…,n) is a pair of vectors $v,w \in \mathbb{R}^n ,v \leqslant w$ , such that $$\begin{array}{*{20}c} {\gamma _i f_i (u_1 , \ldots ,u_{i - 1} ,v_i ,u_i + 1, \ldots ,u_n ) \leqslant 0,} \\ {\delta _i f_i (u_1 , \ldots ,u_{i - 1} ,w_i ,u_i + 1, \ldots ,u_n ) \geqslant 0} \\ \end{array} $$ for $\gamma _j u_j \geqslant v_j ,\delta _j u_j \leqslant w_j (j = 1, \ldots ,n)$ . The presence of comparison pairs enables one to essentially weaken the assumptions of the existence theorem. Bibliography: 1 title.     

On the error term for the counting functions of finite Abelian groups

Leta(n) denote the number of non-isomorphic Abelian groups withn elements, and Δ(x) (resp. Δ _x ) appropriate error terms in the asymptotic formulas for the counting function \(\sum\nolimits_{n \leqslant x} {a(n)} (resp. \sum\nolimits_{m n \leqslant x} {a(m)} a(n))\) . Sharp bounds for $$\int\limits_1^X {\Delta (x) dx} , \int\limits_1^X {\Delta _{ 1} (x) dx} ,\int\limits_1^X {\Delta _1^2 (x) dx} $$ are given by using results on power moments of the Riemann zeta-function.     

Asymptotic behavior of multiperiodic functionsG(x) = \prod\limits_{n = 1}^\infty {g(x/2^n )}

Let 0≤g be a dyadic Hölder continuous function with period 1 and g(0)=1, and let $G(x) = \prod\nolimits_{n = 0}^\infty {g(x/{\text{2}}^n )} $ . In this article we investigate the asymptotic behavior of $\smallint _0^{\rm T} \left| {G(x)} \right|^q dx$ and $\frac{1}{n}\sum\nolimits_{k = 0}^n {\log g(2^k x)} $ using the dynamical system techniques: the pressure function and the variational principle. An algorithm to calculate the pressure is presented. The results are applied to study the regulatiry of wavelets and Bernoulli convolutions.     

Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

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} $$      

Classes of functions subharmonic in ℝm and bounded on certain sets

Let Z_j be the Euclidean space of vectors \((z_{j,1,...,} z_{j_{j \cdot n_j + 1} } ), Z = \mathop \oplus \limits_{j = 1}^P Z_j\) . The function u: Z → ?₊, u ?0, is said to be logarithmically p-subharmonic if log u(z) is upper semicontinuous with respect to the totality of the variables and subharmonic or identically equal to ?∞ with respect to each z_j when the remaining ones are fixed. For such functions, with the growth estimate $$log u(z) \leqslant \delta \mathop \Pi \limits_{j = 1}^P (1 + |z_{j,n_j + 1} |) + N(\mathop {\sum\limits_{\mathop {1 \leqslant j \leqslant p}\limits_{} } {z_{j,k}^2 } }\limits_{1 \leqslant k \leqslant n_j } )^{1/2} + C; \delta ,N \geqslant 0, C \in \mathbb{R}$$ one proves theorems on equivalence of^∞) (L_q)-norms of their restrictions to \(X = \mathop \oplus \limits_{j = 1}^P (Z_{j,1} ,...,z_{j,n_j } )\) and to a relatively dense subset of it, generalizing the known Cartwright and Plancherel-Pólya results.     

Orthogonality properties of linear combinations of orthogonal polynomials II

Let and be polynomials orthogonal on the unit circle with respect to the measures dσ and dμ, respectively. In this paper we consider the question how the orthogonality measures dσ and dμ are related to each other if the orthogonal polynomials are connected by a relation of the form , for , where . It turns out that the two measures are related by if , where and are known trigonometric polynomials of fixed degree and where the 's are the zeros of on . If the 's and 's are uniformly bounded then (under some additional conditions) much more can be said. Indeed, in this case the measures dσ and dμ have to be of the form and , respectively, where are nonnegative trigonometric polynomials. Finally, the question is considered to which weight functions polynomials of the form where denotes the reciprocal polynomial of , can be orthogonal. This revised version was published online in June 2006 with corrections to the Cover Date.     

On a Composition Preserving Inequalities between Polynomials

The Schur-Szegö composition of two polynomials \(f\left( z \right) = \sum\nolimits_{j = 0}^n {{A_j}{z^j}} \) and \(g\left( z \right) = \sum\nolimits_{j = 0}^n {{B_j}{z^j}} \), both of degree n, is defined by \(f * g\left( z \right) = \sum\nolimits_{j = 0}^n {{A_j}{B_j}{{\left( {\begin{array}{*{20}{c}}n \\ j \end{array}} \right)}^{ - 1}}{z^j}} \). In this paper, we estimate the minimum and the maximum of the modulus of f * g(z) on z = 1 and thereby obtain results analogues to Bernstein type inequalities for polynomials.     

Removable singular sets for equations of the form\sum {\tfrac{\partial }{{\partial x_i }}a_{ij} (x)\tfrac{{\partial u}}{{\partial x_j }} = f(x,u,\nabla u)}

The following uniformly elliptic equation is considered: $$\sum {\tfrac{\partial }{{\partial x_i }}a_{ij} (x)\tfrac{{\partial u}}{{\partial x_j }} = f(x,u,\nabla u)} , x \in \Omega \subset R^n ,$$ with measurable coefficients. The function f satisfies the condition $$f(x, u, \nabla u) u \geqslant C|u|^{\beta _1 + 1} |\nabla u|^{\beta _1 } , \beta _1 > 0, 0 \leqslant \beta _2 \leqslant 2, \beta _1 + \beta _2 > 1$$ . It is proved that if u(x) is a generalized (in the sense of integral identity) solution in the domain ΩK, where the compactum K has Hausdorff dimension α, and if \(\frac{{2\beta _1 + \beta _2 }}{{\beta _1 + \beta _2 - 1}}< n - \alpha \) , u(x) will be a generalized solution in the domain ω. Moreover, the sufficient removability conditions for the singular set are, in some sense, close to the necessary conditions.