Behavior of solutions of quasilinear elliptic inequalities in an unbounded domain

We consider the solutions of the inequalityLu≤?(¦gradu¦), whereL is a uniformly elliptic homogeneous operator and ? is a function increasing faster than any linear function but not faster thanξ lnξ, in the unbounded domain $$\left\{ {x \in \mathbb{R}^n |\sum\limits_{i = 2}^n {x_i^2< (\psi (x_1 ))^2 ,} {\text{ }} - \infty< x_1< \infty } \right\},$$ , whereψ is a bounded function with bounded derivative. We estimate the growth of the solutions in terms of $\int_0^{x_1 } {(1/\psi (r))dr}$ . For the special case in which?(ξ)=aξ lnξ+C, the solutionsu(x ₁,x ₂,...,x _n ) grow as $\left( {\int_0^{x_1 } {(1/\psi (r))dr} } \right)^N$ , whereN is any given number anda=a(N).     

The fundamental theory of abstract majorization inequalities

Using the axiomatic method,abstract concepts such as abstract mean, abstract convex function and abstract majorization are proposed. They are the generalizations of concepts of mean, convex function and majorization, respectively. Through the logical deduction, the fundamental theorems about abstract majorization inequalities are established as follows: for arbitrary abstract mean Σ and Σ , and abstract Σ → Σ strict convex function f(x) on the interval I, if xi, yi ∈ I (i = 1, 2, . . . , n) satisfy that (x1...     

Convergence of simultaneous Hermite-Padé approximants to then-tuple ofq-hypergeometric series\{ {}_1\Phi _1 (_{(c,\gamma _j )}^{(1,1)} ;z)\} _{j = 1}^n

We investigate the convergence of simultaneous Hermite-Padé approximants to then-tuple of power series $$f_i (z) = \sum\limits_{k = 0}^\infty {C_k^{(i)} z^k ,} i = 1,2,...,n,$$ where $$C_0^{(i)} = 1;C_k^{(i)} = \prod\limits_{p = 0}^{k - 1} {\frac{1}{{(C - q^{\gamma i + p} )}},} k \ge 1.$$ HereC, q∈?, γ _i ∈?,i=1, 2,...,n. For |C|≠1, ifq=e^iθ, θ∈(0, 2π) and θ/2π is irrational, eachf _i (z),i=1,...,n, has a natural boundary on its circle of convergence. We show that “close-to-diagonal” and other sequences of Hermite-Padé approximants converge in capacity to (f ₁(z),..., f_n (z)) inside the common circle of convergence of eachf _i (z),i=1,...,n.     

Extremal property of some surfaces in n-dimensional Euclidean space

A surface Γ=(f ₁(X₁,..., x_m),...,f _n(x₁,..., x_m)) is said to be extremal if for almost all points of Γ the inequality $$\parallel a_1 f_1 (x_1 , \ldots ,x_m ) + \ldots + a_n f_n (x_1 , \ldots ,x_m )\parallel< H^{ - n - \varepsilon } ,$$ , where H=max(¦a _i¦) (i=1, 2, ..., n), has only a finite number of solutions in the integersa ₁, ...,a _n. In this note we prove, for a specific relationship between m and n and a functional condition on the functionsf ₁, ...,f _n, the extremality of a class of surfaces in n-dimensional Euclidean space.     

Unique nontransitive additive conjoint measurement on finite sets

Nontransitive additive conjoint measurement for a binary relation>on a setX ₁ ×X ₂ ×...×X _n ofn-tuples(x ₁,...,x _n ), (y ₁,...,y _n ),... is concerned with the representation

Weighted restriction theorems for Bessel potentials

Пустьk-мерное евклид ово пространствоR ^k рассматривается как подмножествоR ⁿ . Зафиксируемр, 1<р<∞ иα >(n?k)/p, α≠п. Как обычно, бесселев потенциалJαf обобщенной функции Шварцаf наR ⁿ определяется с помощ ью ее преобразования Фурь е \((\widehat{G_\alpha f})(\xi ) = (2\pi )^{ - n/2} [1 + |\xi |^2 ]^{\alpha /2} f(\xi ), \xi \in R^n .B\) , ξ∈R ⁿ . В работе характ еризуются положител ьные весовые функцииw(x ₁,...,x _k ), которые при продолжении наR ⁿ с помощью равенстваw(x ₁,...,x _k ,...,x _n )=w(x ₁, ...,x _k ) обладают с ледующим свойством: существует числос>0, не зависящее отf, такое, что $$\begin{gathered} \int\limits_{R^k } {|(G_\alpha f)(x_1 ,...,x_k ,0,...,0)w(x_1 ,...,x_k )|^p dx_1 ...dx_k \leqq } \hfill \\ \leqq C\int\limits_{R^n } {|f(x_1 ,...,x_n )w(x_1 ,...,x_n )|^p dx_1 ...dx_n } \hfill \\ \end{gathered} $$      

On the uniqueness of symmetric bases in finite dimensional Banach spaces

Suppose{e _i} _i=1 ⁿ and{f _i} _i=1 ⁿ are symmetric bases of the Banach spacesE andF. Letd(E,F)≦C andd(E,l _n ² )≧n' for somer>0. Then there is a constantC _r=C_r(C)>0 such that for alla _i∈Ri=1,...,n $$C_r^{ - 1} \left\| {\sum\limits_{i = 1}^n {a_i e_i } } \right\| \leqq \left\| {\sum\limits_{i = 1}^n {a_i f_i } } \right\| \leqq C_r \left\| {\sum\limits_{i = 1}^n {a_i e_i } } \right\|$$ We also give a partial uniqueness of unconditional bases under more restrictive conditions.     

Transformations z(t) = L(t)y(ϕ(t)) of ordinary differential equations

The paper describes the general form of an ordinary differential equation of an order n + 1 (n ≥ 1) which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form $f\left( {s,w_{00} \upsilon _0 ,...,\sum\limits_{j = 0}^n {w_{nj\upsilon _j } } } \right) = \sum\limits_{j = 0}^n {w_{n + 1j\upsilon j} + w_{n + 1n + 1} f\left( {x,\upsilon ,\upsilon _1 ,...,\upsilon _n } \right),}$ where $w_{n + 10} = h\left( {s,x,x_1 ,u,u_1 ,...,u_n } \right),w_{n + 11} = g\left( {s,x,x_1 ,...,x_n ,u,u_1 ,...,u_n } \right){\text{ and }}w_{ij} = a_{ij} \left( {x_i ,...,x_{i - j + 1} ,u,u_1 ,...,u_{i - j} } \right)$ for the given functions a _ij is solved on $\mathbb{R},u \ne {\text{0}}$ .     

On cubic polynomials II. Multiple exponential sums

Letf(x ₁,...,x _s ) be a cubic polynomial with integer coefficients,q a prime power, ande(z)=e ^2πiz . We are going to estimate sums $$\sum\limits_{x_1 = 1}^q { \cdot \cdot \cdot } \sum\limits_{x_S = 1}^q {e(q^{ - 1} f(x_1 ,...,x_S ))} $$ , as well as generalizations of such sums.     

On the uniform complete convergence of estimates for multivariate density functions and regression curves

Let (X ₁,Y ₁),...(X _n ,Y _n ) be a random sample from the (k+1)-dimensional multivariate density functionf ^*(x,y). Estimates of thek-dimensional density functionf(x)=∫f ^*(x,y)dy of the form $$\hat f_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n W \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered whereW(x) is a bounded, nonnegative weight function andb ₁ (n),...,b _k (n) and bandwidth sequences depending on the sample size and tending to 0 asn→∞. For the regression function $$m(x) = E(Y|X = x) = \frac{{h(x)}}{{f(x)}}$$ whereh(x)=∫y(f) ^* (x, y)dy , estimates of the form $$\hat h_n (x) = \frac{1}{{nb_1 (n) \cdots b_k (n)}}\sum\limits_{i = 1}^n {Y_i W} \left( {\frac{{x_1 - X_{i1} }}{{b_1 (n)}}, \cdots ,\frac{{x_k - X_{ik} }}{{b_k (n)}}} \right)$$ are considered. In particular, unform consistency of the estimates is obtained by showing that \(||\hat f_n (x) - f(x)||_\infty \) and \(||\hat m_n (x) - m(x)||_\infty \) converge completely to zero for a large class of “good” weight functions and under mild conditions on the bandwidth sequencesb _k (n)'s.     

Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

Note on the local growth of iterated polynomials

The local behavior of the iterates of a real polynomial is investigated. The fundamental result may be stated as follows: THEOREM. Let x_i, for i=1, 2, ..., n+2, be defined recursively by x_i+1=f(x_i), where x₁ is an arbitrary real number and f is a polynomial of degree n. Let x_i+1?x_i≧1 for i=1, ..., n + 1. Then for all i, 1 ≦i≦n, and all k, 1≦k≦n+1?i, $$ - \frac{{2^{k - 1} }}{{k!}}< f\left[ {x_1 ,... + x_{i + k} } \right]< \frac{{x_{i + k + 1} - x_{i + k} + 2^{k - 1} }}{{k!}},$$ where f[x_i, ..., x_i+k] denotes the Newton difference quotient. As a consequence of this theorem, the authors obtain information on the local behavior of the solutions of certain nonlinear difference equations. There are several cases, of which the following is typical: THEOREM. Let {x_i}, i = 1, 2, 3, ..., be the solution of the nonlinear first order difference equation x_i+1=f(x_i) where x₁ is an arbitrarily assigned real number and f is the polynomial \(f(x) = \sum\limits_{j = 0}^n {a_j x^j } ,n \geqq 2\) . Let δ be positive with δ^n?1=|2^n?1/n!a_n|. Then, if n is even and a_n<0, there do not exist n + 1 consecutive increments Δx_i=x_i+1?x_i in the solution {x_i} with Δx_i≧δ. The special case in which the iterated polynomial has integer coefficients leads to a “nice” upper bound on a generalization of the van der Waerden numbers. Ap _k -sequence of length n is defined to be a strictly increasing sequence of positive integers {x ₁, ...,x _n } for which there exists a polynomial of degree at mostk with integer coefficients and satisfyingf(x _j )=x _j+1 forj=1, 2, ...,n?1. Definep _k (n) to be the least positive integer such that if {1, 2, ...,p _k (n)} is partitioned into two sets, then one of the two sets must contain ap _k -sequence of lengthn. THEOREM. p_n?2(n)≦(n!)^(n?2)!/2.     

Solution of generalized bisymmetry type equations without surjectivity assumptions

Summary. The solution of the rectangular m ×n m \times n generalized bisymmetry equation¶¶F(G₁(x₁₁,...,x_1n),..., G_m(x_m1,...,x_mn))     =     G(F₁(x₁₁,..., x_m1),...,  F_n(x_1n,...,x_mn) ) F\bigl(G_1(x_{11},\dots,x_{1n}),\dots,\ G_m(x_{m1},\dots,x_{mn})\bigr) \quad = \quad G\bigl(F_1(x_{11},\dots, x_{m1}),\dots, \ F_n(x_{1n},\dots,x_{mn}) \bigr) (A)¶is presented assuming that the functions F, G_j, G and F_i (j = 1, ... , m , i = 1, ... , n , m S 2, n S 2) are real valued and defined on the Cartesian product of real intervals, and they are continuous and strictly monotonic in each real variable. Equation (A) is reduced to some special bisymmetry type equations by using induction methods. No surjectivity assumptions are made.     

Subalgebras of free products of algebras of the variety\mathfrak{u}_{m,n}

The variety \(\mathfrak{u}_{m,n} \) is defined by the system of n-ary operations ω_i,..., ω_m, the system of m-ary operations ?_i,..., ?_n, 1≤ m ≤ n, and the system of identities $$\begin{gathered} x_1 ...x_n \omega _1 ...x_1 ...x_n \omega _m \varphi _i = x_i (i = 1,...,n), \hfill \\ x_1 ...x_m \varphi _1 ...x_1 ...x_m \varphi _n \omega _j = x_j (i = 1,...,m), \hfill \\ \end{gathered} $$ It is proved in this paper that the subalgebra U of the free product \(\Pi _{i \in I}^* A_i \) of the algebras A_i (i ε I) can be expanded as the free product of nonempty intersections U ∩ A_i (i ε I) and a free algebra.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

On global relations for hypergeometric series

Let [K:Q]=k, f_i εK[[z]], ξ εK, Q εK[y₁,...,y_m]. A relation Q(f₁(ξ),..., f_m(ξ))=0 is called global if it holds in any local field where all f_i(ξ) exist. The paper establishes that for series of the form $$\sum\limits_{n = 0}^\infty {\frac{{(\mu _1 )_n \ldots (\mu _p )_n }}{{(\lambda _1 )_n \ldots (\lambda _{q - 1} )_n n!}}\left( {\frac{{z^{p - q} }}{{q - p}}} \right)^n , p > q,} $$ with some natural hypotheses on parameters global relations do not exist. Bibliography: 9 titles.     

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.     

Divided differences for functions of two variables for irregularly spaced arguments

Divided differences forf (x, y) for completely irregular spacing of points (x _i ,y _i ) are developed here by a natural generalization of Newton's scheme. Existing bivariate schemes either iterate the one-dimensional scheme, thus constraining (x _i ,y _i ) to be at corners of rectangles, or give polynomials Σa _jk x ^j y ^k having more coefficients than interpolation conditions. Here the generalizedn ^th divided difference is defined by (1)\(\left[ {01... n} \right] = \sum\limits_{i = 0}^n {A_i f\left( {x_i , y_i } \right)} \) where (2)\(\sum\limits_{i = 0}^n {A_i x_i^j , y_i^k = 0} \), and 1 for the last or (n+1)^th equation, for every (j, k) wherej+k=0, 1, 2,... in the usual ascending order. The gen. div. diff. [01...n] is symmetric in (x _i ,y _i ), unchanged under translation, 0 forf (x, y) an, ascending binary polynomial as far asn terms, degree-lowering with respect to (X, Y) whenf(x, y) is any polynomialP(X+x, Y+y), and satisfies the 3-term recurrence relation (3) [01...n]=λ{[1...n]?[0...n?1]}, where (4) λ= |1...n|·|01...n?1|/|01...n|·|1...n?1|, the |...i...| denoting determinants inx _i ^j y _i ^k . The generalization of Newton's div. diff. formula is (5)

$$\begin{gathered} f\left( {x, y} \right) = f\left( {x_0 , y_0 } \right) - \frac{{\left| {\alpha 0} \right|}}{{\left| 0 \right|}}\left[ {01} \right] + \frac{{\left| {\alpha 01} \right|}}{{\left| {01} \right|}}\left[ {012} \right] - \frac{{\left| {\alpha 012} \right|}}{{\left| {012} \right|}}\left[ {0123} \right] + \cdots + \hfill \\ + \left( { - 1} \right)^n \frac{{\left| {\alpha 01 \ldots n - 1} \right|}}{{\left| {01 \ldots n - 1} \right|}}\left[ {01 \ldots n} \right] + \left( { - 1} \right)^{n + 1} \frac{{\left| {\alpha 01 \ldots n} \right|}}{{\left| {01 \ldots n} \right|}}\left[ {01 \ldots n} \right], \hfill \\ \end{gathered} $$     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.