Singular (k,n − k) boundary value problems between conjugate and right focal

For 1 ⩽k⩽n − 1 and 0 ⩽q⩽k − 1, solutions are obtained for the boundary value problem, (−1)^n−k = f(x,y), y⁽ⁱ⁾=0, 0⩽i⩽k − 1, and y⁽ⁱ⁾ = 0, q⩽j⩽n − k + q − 1, where f(x,y) is singular at y = 0. An application is made of a fixed point theorem for operators that are decreasing with respect to a cone.     

On approximation of convex functions by rational ones in integral metrics

Пустьf - действительн означная конечная фу нкция на конечном отрезке Δ=[а, b] вещественной оси, |Δ|=b?a, M(f) = sup {|f(x)|: x∈Δ}, R_n(f,p Δ) = inf∥f?r∥_Lp(Δ) (0 < p < ∞), где нижняя грань бере тся по всем рациональ ным функциямr порядка не вышеп, K(М, Δ) класс всех выпуклых на отре зке Δ функцийf, для кот орыхM(f)≦M. Теорема.При любом вещ ественном р, 0<р<∞ и вс ехп=1, 2, ... sup {R_n(f, p, Δ):f∈K(M, Δ)} ≦ C(p)M|Δ|^1/pn^?2,где С(р) - величина, зави сящая лишь от р.     

Oscillation of partial difference equations with continuous variables

In this paper, we consider the partial difference equation with continuous variables of the form P₁z(x + a, y + b) + p₂z (x + a, y) + p₃z (x, y + b) − p₄z (x, y) + P (x, y) z (x − τ, y − σ) = 0, where P ϵ C(R⁺ × R⁺, R⁺ − {0}), a, b, τ, σ are real numbers and p_i (i = 1, 2, 3, 4) are nonnegative constants. Some sufficient conditions for all solutions of this equation to be oscillatory are obtained.     

A new inequality for symmetric functions

Let x_i ≥ 0, y_i ≥ 0 for i = 1,…, n; and let a_j(x) be the elementary symmetric function of n variables given by a_j(x) = ∑_{1 ≤ ii < … <ij ≤ n}x_ii … x_ij. Define the partical ordering x <y if a_j(x) ≤ a_j(y), j = 1,… n. We show that $\text{x}\text{\$}\text{?}\text{y ? x}{}^{\mathrm{\alpha }}\text{\$}\text{?}\text{y}{}^{\mathrm{\alpha }}\text{, 0}\text{\$}\text{?}\text{α ≤ 1}$, where {x^α}_i = x^α_i. We also give a necessary and sufficient condition on a function f(t) such that x <y ? f(x) <f(y). Both results depend crucially on the following: If x <y there exists a piecewise differentiable path z(t), with z_i(t) ≥ 0, such that z(0) = x, z(1) = y, and z(s) <z(t) if 0 ≤ s ≤ t ≤ 1.     

Divisibility and structure constraints on automorphism groups of almost perfect 1-factorizations of

Let G be a permutation group acting on a set with N elements such that every permutation with more than m fixed points is the identity. It is easy to verify that |G| divides N(N − 1) ··· (N − m). We show that if gcd(|G|, m!) = 1, then |G| divides (N − i)(N − j) for some i and j satisfying 0 ≤ i < j ≤ m. We use this to show that any almost perfect 1-factorization of K_2n has an automorphism group whose cardinality divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2 as long as n is odd. An almost perfect 1-factorization (or APOF) is a 1-factorization in which the union of any three distinct 1-factors is connected. This result contrasts with an example of an APOF on K₁₂ given by Cameron which has PSL(2, ℤ₁₁) as its automorphism group [with cardinality 12(11)(5)]. When n is even and the automorphism group is solvable, we show that either G acts vertex transitively and n is a power of two, or |G| divides 2n − 2^a for some integer a with 2^a dividing 2n, or else |G| divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2. We also give a number of structure results concerning these automorphism groups. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 355–380, 1998     

On the moments of some first passage times for sums of dependent random variables

Let S_n,n = 1, 2, …, denote the partial sums of integrable random variables. No assumptions about independence are made. Conditions for the finiteness of the moments of the first passage times N(c) = min {n: S_n>ca(n)}, where c ≥ 0and a(y) is a positive continuous function on [0, ∞), such that a(y) = o(y)as y → ∞, are given. With the further assumption that a(y) = yP,0 ≤ p < 1, a law of large numbers and the asymptotic behaviour of the moments when c → ∞ are obtained. The corresponding stopped sums are also studied.     

Exact bounds for simultaneous approximation of functions of two variables and their derivatives by bilinear splines

We find the exact value of the expression $$\varepsilon ^{(l,q)} {\mathbf{ }}(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)) = \sup \{ ||f^{(l,q)} ( \cdot {\mathbf{ }}, \cdot ) - S_{1,1}^{(l,q)} (f;{\mathbf{ }} \cdot {\mathbf{ }}, \cdot )||_{C(G)} :f \in W^{(r,{\mathbf{ }}s)} H^{w_1 ,w_2 } (G)\} ,$$ , where? ^(l,q) (x,y)=? ^1+q ?/?x ^l ?y ^q (l, q=0, 1, 1≤l+q≤2) andS _1,1(f; x, y) is a bilinear spline interpolatingf(x, y) in the nodes of the grid Δ _mn =Δ _m ^x ×Δ _n ^y with Δ _m ^x :x _i =i/m (i=0, ..., m) and Δ _n ^y :y _j =j/n (j=0, ..., n). Here $(W^{(r,s)} ){\mathbf{ }}H^{w_1 ,w_2 } (G)$ is the class of functionsf(x, y) with continuous derivativesf ^(r,s)(x, y) (r, s=0, 1, 1≤r+s≤2) on the squareG=[0, 1]×[0, 1] and with the modulus of continuity satisfying the inequalityω(f ^(r,s);t, τ)≤ω ₁ (t)+ω ₂ (τ), whereω ₁ (τ) andω ₂ (τ) are the given moduli of continuity.     

Asymptotic representations of solutions of second-order differential equations

We establish asymptotic representations as t → ω (ω ≤ + ∞) of a class of monotone solutions of the second-order differential equation y″ = f(t, y, y′), where f:[a,ω[× Δ _Y0 × Δ _Y1 is a continuous function asymptotically close on the considered class of solutions to a function of the form ±p(t)φ ₀(y)φ ₁(y′) with functions φ ₀ and φ ₁ regularly varying as y → Y ₀ and y′ → Y ₁. Here Δ _Yi , i ∈ {0, 1}, is a one-sided neighborhood of Y _i , and Y _i is either zero or ±∞.     

Verbal Subgroups and Subalgebras in Skew Fields

Let D be an arbitrary skew field and K a central subfield of D. We prove that D can be embedded in a skew field Δ such that w(Δ)=Δ for every nonempty Lie word w on a set of variables y₁,y₂,.?.?. with coefficients in K; moreover, we have for the multiplicative group Δ^* that v(Δ^*)=Δ^* for every nonempty word \(v=x_{1}^{\varepsilon_{1}}x_{2}^{\varepsilon_{2}}\ldots x_{n}^{\varepsilon_{n}}\) (?_i=±1; i=1,2,.?.?.,n).     

A note on the oscillatory property for nonlinear difference equations and differential equations

Criteria are given to determine the oscillatory property of solutions of the nonlinear difference equation: Δ^du_n + ∑_{i = 1}^mp_inf_i(u_n, Δu_n,…,Δ^{d ? 1}u_n) = 0, n = 0, 1, 2,…, where d is an arbitrary integer, generalizing results that have been obtained by B. Szmanda (J. Math. Anal. Appl.79 (1981), 90–95) for d = 2. Analogous results are given for the differential equation: u^(d) + ∑_{i = 1}^mp_i(t)f_i(u, u′,…, u^{(d ? 1)}) = 0, t ? t₀, which coincide with the criteria given by 2., 3., 599–602) and 4., 5., 6., 715–719) for the case m = 1.     

A general estimation for partitions with large difference: For even case

Let xN,i(n) denote the number of partitions of n with difference at least N and minimal component at least i, and yM,j(n) the number of partitions of n into parts which are . If N is even and i is co-prime with N+2i+1, we prove that

xN,i(n)?yN+2i+1,i(n)     

Weighted inequalities for fractional type operators with some homogeneous kernels

In this paper, we study integral operators of the form Tαf(x)=∫Rn|x-A1y|-α1 ··· |x-Amy|-αmf(y)dy,where Ai are certain invertible matrices, αi 0, 1 ≤ i ≤ m, α1 + ··· + αm = n-α, 0 ≤α n. For 1/q = 1/p-α/n , we obtain the Lp (Rn, wp)-Lq(Rn, wq) boundedness for weights w in A(p, q) satisfying that there exists c 0 such that w(Aix) ≤ cw(x), a.e. x ∈ Rn , 1 ≤ i ≤ m.Moreover, we obtain theappropriate weighted BMO and weak type estimates for certain weights satisfying the above inequality. We also give a Coifman type estimate for these operators.     

Arithmetic in generalized Artin-Schreier extensions of k(x)

If k is a perfect field of characteristic p ≠ 0 and k(x) is the rational function field over k, it is possible to construct cyclic extensions K_n over k(x) such that [K : k(x)] = pⁿ using the concept of Witt vectors. This is accomplished in the following way; if [β₁, β₂,…, β_n] is a Witt vector over k(x) = K₀, then the Witt equation $\text{y}{}^{\mathrm{p}}\text{?}\text{y}\text{= β}$ generates a tower of extensions through $\text{K}{}_{\mathrm{i}}\text{= K}{}_{\mathrm{i?1}}\text{(}\text{y}{}_{\mathrm{i}}\text{)}$ where $\text{y}\text{= [}\text{y}{}_1\text{,}\text{y}{}_2\text{,…,}\text{y}{}_{\mathrm{n}}\text{]}$. In this paper, it is shown that there exists an alternate method of generating this tower which lends itself better for further constructions in K_n. This alternate generation has the form K_i = K_i?1(y_i); y_i^p ? y_i = B_i, where, as a divisor in K_i?1, B_i has the form . In this form q is prime to Πp_j^λ_j and each λ_j is positive and prime to p. As an application of this, the alternate generation is used to construct a lower-triangular form of the Hasse-Witt matrix of such a field K_n over an algebraically closed field of constants.     

On approximation by bivariate incomplete polynomials

In this paper we prove that given certain convex domains Δ on the plane, ε>0, andf∈C(Δ) such thatf=0 on θ²Δ={(θ² x,θ² y):(x,y)?Δ} (0<θ<1), a polynomialp(x, y) of the form $$p(x,y) = \sum\limits_{\theta n \leqslant k + l \leqslant n} {a_{kl} x^k y^l }$$ exists such that ∥f?p∥ _C(Δ) ≤ε. The admissible convex domains include triangles and parallelograms with a vertex at the origin and sections of unit disk.     

Comonotone approximation of periodic functions

Suppose that a continuous 2π-periodic function f on the real axis ? changes its monotonicity at different ordered fixed points y _i ∈ [?π,π), i = 1, …, 2s, s ∈ ?. In other words, there is a set Y: = {y _i } _i∈? of points y _i = y _i+2s + 2π on ? such that f is nondecreasing on [y _i ,y _i?1] if i is odd and not increasing if i is even. For each n ≥ N(Y), we construct a trigonometric polynomial P _n of order ≤ n changing its monotonicity at the same points y _i ∈ Y as f and such that $$ \parallel f - P_n \parallel \leqslant c(s) \omega _2 \left( {f,\frac{\pi } {n}} \right), $$ where N(Y) is a constant depending only on Y, c(s) is a constant depending only on s, ω₂(f,·) is the modulus of continuity of second order of the function f, and ∥ · ∥ is the max-norm.     

Extension of periodic Tchebycheff Systems

Given a periodic Tchebycheff System {y_i}_{i = 0}²ⁿ it is proved that there exist two functions y_{2n + 1}, y_{2n + 2}, such that also the system {y_i}_{i = 0}^{2n + 2} is a periodic T-System.     

Infinite families of 2- and 3-designs with parameters v = p + 1, k = (p − 1)/2i + 1, where p odd prime, 2e T (p − 1), e ≥ 2, 1 ≤ i ≤ e

Let p be an odd prime number such that p − 1 = 2^em for some odd m and e ≥ 2. In this article, by using the special linear fractional group PSL(2, p), for each i, 1 ≤ i ≤ e, except particular cases, we construct a 2-design with parameters v = p + 1, k = (p − 1)/2ⁱ + 1 and λ = ((p − 1)/2ⁱ+1)(p − 1)/2 = k(p − 1)/2, and in the case i = e we show that some of these 2-designs are 3-designs. Likewise, by using the linear fractional group PGL(2,p) we construct an infinite family of 3-designs with the same v k and λ = k(k − 2). These supplement a part of [4], in which we gave an infinite family of 3-designs with parameters v = q + 1, k = (q + 1)/2 = (q − 1)/2 + 1 and λ = (q + 1)(q − 3)/8 = k(k − 2)/2, where q is a prime power such that q − 1 = 2m for some odd m and q > 7. Some of the designs given in this article and in [4] fill in a few blanks in the table of Chee, Colbourn, and Kreher [2]. © 1997 John Wiley & Sons, Inc.     

Comonotone approximation of periodic functions

Suppose that a continuous 2π-periodic function f on the real axis ? changes its monotonicity at different ordered fixed points y _i ∈ [? π, π), i = 1, …, 2s, s ∈ ?. In other words, there is a set Y:= {y _i } _i∈? of points y _i = y _i+2s + 2π on ? such that, on [y _i , y _i?1], f is nondecreasing if i is odd and nonincreasing if i is even. For each n ≥ N(Y), we construct a trigonometric polynomial P _n of order ≤ n changing its monotonicity at the same points y _i ∈ Y as f and such that $$ \left\| {f - P_n } \right\| \leqslant c\left( s \right)\omega _2 \left( {f,\frac{\pi } {n}} \right), $$ where N(Y) is a constant depending only on Y, c(s) is a constant depending only on s, ω ₂(f, ·) is the modulus of continuity of second order of the function f, and ∥ · ∥ is the max-norm.