On extremal problems of graphs and generalized graphs

Anr-graph is a graph whose basic elements are its vertices and r-tuples. It is proved that to everyl andr there is anε(l, r) so that forn>n ₀ everyr-graph ofn vertices andn ^{r−ε(l, r)} r-tuples containsr. l verticesx ^(j), 1≦j≦r, 1≦i≦l, so that all ther-tuples occur in ther-graph.     

A note on the non-commutative neutrix product of distributions

The distributionF(x ₊, −r) Inx₊ andF(x ₋, −s) corresponding to the functionsx ₊ ^−r lnx₊ andx ₋ ^−s respectively are defined by the equations

Formulas for best extrapolation

We considern-point Lagrange-Hermite extrapolation forf(x), x>1, based uponf(x _i ),i=1(1)n, –1x _i 1, including non-distinct pointsx _i in confluent formulas involving derivatives. The problem is to find the pointsx _i that minimize the factor in the remainderP _n (x)f ⁽ⁿ⁾()/n, –1<<x subject to the condition|P _n (x)|M, –1x1,2^–n+1M2 ⁿ . The solution is significant only when a single set of pointsx _i suffices for everyx>1. The problem is here completely solved forn=1(1)4. Forn>4 it may be conjectured that there is a single minimal , 0 rn, whererr(M) is a non-decreasing function ofM, P _n (–1)=(–1) ⁿ M, and for 0rn–2, thej-th extremumP _n (x _{e, j} )=(–1) ^n–j M,j=1(1)n–r–1 (except forM=M _r ,r=1(1)n–1, whenj=1(1)n–r).     

On estimation of a density and its derivatives

Summary Letf _n ^(p) be a recursive kernel estimate off ^(p) thepth order derivative of the probability density functionf, based on a random sample of sizen. In this paper, we provide bounds for the moments of and show that the rate of almost sure convergence of to zero isO(n ^−α), α<(r−p)/(2r+1), iff ^(r),r>p≧0, is a continuousL ₂(−∞, ∞) function. Similar rate-factor is also obtained for the almost sure convergence of to zero under different conditions onf. This work was supported in part by the Research Foundation of SUNY.     

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.     

Uniform estimates for positive solutions to quasi-linear differential equations of even order

The existence of uniform estimates for positive solutions with the same domain to the even-order differential equation

Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1 and <Emphasis Type="Italic">a</Emphasis><Subscript>1</Subscript> = 0 < <Emphasis Type="Italic">a</Emphasis><Subscript>2</Subscript>

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

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.     

On matroid intersections

This paper exploits and extends results of Edmonds, Cunningham, Cruse and McDiarmid on matroid intersections. Letr ₁ andr ₂ be rank functions of two matroids defined on the same setE. For everyS ⊂E, letr ₁₂(S) be the largest cardinality of a subset ofS independent in both matroids, 0≦k≦r ₁₂(E)−1. It is shown that, ifc is nonnegative and integral, there is ay: 2 ^E →Z ⁺ which maximizes and , subject toy≧0, ∀j∈E, .     

Equally-weighted formulas for numerical differentiation

Equally-weighted formulas for numerical differentiation at a fixed pointx=a, which may be chosen to be 0 without loss in generality, are derived for (1) whereR _2n =0 whenf(x) is any (2n)^th degree polynomial. Equation (1) is equivalent to (2) ,r=1,2,..., 2n. By choosingf(x)=1/(z–x),x _i fori=1,..., n andx _i fori=n+1,..., 2n are shown to be roots ofg _n (z) andh _n (z) respectively, satisfying (3) . It is convenient to normalize withk=(m–1)!. LetP _s (z) denotez ^s · numerator of the (s+1)^th diagonal member of the Padé table fore ^x , frx=1/z, that numerator being a constant factor times the general Laguerre polynomialL _s ^–2s–1 (x), and letP _s (X _i )=0, i=1, ...,s. Then for anym, solutions to (1) are had, for2n=2ms, forx _i , i=1, ...,ms, andx _i , i=ms+1,..., 2ms, equal to all them ^th rootsX _i ^1/m and (–X _i )^1/m respectively, and they give {(2s+1)m–1}^th degree accuracy. For2sm2n(2s+1)m–1, these (2sm)-point solutions are proven to be the only ones giving (2n)^th degree accuracy. Thex _i 's in (1) always include complex values, except whenm=1, 2n=2. For2sm<2n(2s+1)m–1,g _n (z) andh _n (z) are (n–sm)-parameter families of polynomials whose roots include those ofg _ms (z) andh _ms (z) respectively, and whose remainingn–ms roots are the same forg _n (z) andh _n (z). Form>1, and either 2n<2m or(2s+1)m–1<2n<(2s+2)m, it is proven that there are no non-trivial solutions to (1), real or complex. Form=1(1)6, tables ofx _i are given to 15D, fori=1(1)2n, where 2n=2ms ands=1(1) [12/m], so that they are sufficient for attaining at least 24^th degree accuracy in (1).Presented at the Twelfth International Congress of Mathematicians, Stockholm, Sweden, August 15–22, 1962.General Dynamics/Astronautics. A Division of General Dynamics Corporation.     

Global integration of differential equations through Lobatto quadrature

For the numerical solution of the initial value problemy=f(x,y), –1x1;y(–1)=y ₀ a global integration method is derived and studied. The method goes as follows.At first the system of nonlinear equations is solved. The matrix (A _i,k ⁽ⁿ⁾ ) of quadrature coefficients is nearly lower left triangular and the pointsx _k,n ,k=1,2,...,n are the zeros ofP _n –P _n–2, whereP _n is the Legendre polynomial of degreen. It is showed that the errors From the valuesf(x _i,n ,y _i,n ),i=1,2,...,n an approximation polynomial is constructed. The approximation is Chebyshevlike and the error at the end of the interval of integration is particularly small.     

Sumsets in difference sets

We study some properties of sets of differences of dense sets in ℤ² and ℤ³ and their interplay with Bohr neighbourhoods in ℤ. We obtain, inter alia, the following results.

Oblique derivative problem for general Chaplygin-Rassias equations

The present paper deals with the oblique derivative problem for general second order equations of mixed (elliptic-hyperbolic) type with the nonsmooth parabolic degenerate line K_1(y)u_(xx) |K_2(x)|u_(yy) a(x,y)u_x b(x, y)u_y c(x,y)u=-d(x,y) in any plane domain D with the boundary D=Γ∪L_1∪L_2∪L_3∪L_4, whereΓ(■{y>0})∈C_μ~2 (0<μ<1) is a curve with the end points z=-1,1. L_1, L_2, L_3, L_4 are four characteristics with the slopes -H_2(x)/H_1(y), H_2(x)/H_1(y),-H_2(x)/H_1(y), H_2(x)/H_1(y)(H_1(y)=|k_1(y)|~(1/2), H_2(x)=|K_2(x)|~(1/2) in {y<0}) passing through the points z=x iy=-1,0,0,1 respectively. And the boundary condition possesses the form 1/2 u/v=1/H(x,y)Re[λuz]=r(z), z∈Γ∪L_1∪L_4, Im[λ(z)uz]|_(z=z_l)=b_l, l=1,2, u(-1)=b_0, u(1)=b_3, in which z_1, z_2 are the intersection points of L_1, L_2, L_3, L_4 respectively. The above equations can be called the general Chaplygin-Rassias equations, which include the Chaplygin-Rassias equations K_1(y)(M_2(x)u_x)_x M_1(x)(K_2(y)u_y)_y r(x,y)u=f(x,y), in D as their special case. The above boundary value problem includes the Tricomi problem of the Chaplygin equation: K(y)u_(xx) u_(yy)=0 with the boundary condition u(z)=φ(z) onΓ∪L_1∪L_4 as a special case. Firstly some estimates and the existence of solutions of the corresponding boundary value problems for the degenerate elliptic and hyperbolic equations of second order are discussed. Secondly, the solvability of the Tricomi problem, the oblique derivative problem and Frankl problem for the general Chaplygin- Rassias equations are proved. The used method in this paper is different from those in other papers, because the new notations W(z)=W(x iy)=u_z=[H_1(y)u_x-iH_2(x)u_y]/2 in the elliptic domain and W(z)=W(x jy)=u_z=[H_1(y)u_x-jH_2(x)u_y]/2 in the hyperbolic domain are introduced for the first time, such that the second order equations of mixed type can be reduced to the mixed complex equations of first order with singular coefficients. And thirdly, the advantage of complex analytic method is used, otherwise the complex analytic method cannot be applied.     

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 〈?〉.     

A class of inequalities for non-negative sequences

В работе для неотрица тельных последовате льностей (...,a _?1 ⁱ ), aa ₀ ⁱ ),a ₁ ⁱ ), ...), удовлетв оряющих условию \(0< \mathop {\sup }\limits_k a_k^{(i)}< \infty\) (i=1,...,т), доказ а но неравенство (1) $$\begin{gathered} \mathop \sum \limits_{k = - \infty }^\infty \mathop {\sup }\limits_{k \leqq k_1 + \ldots + k_m \leqq k + l} (a_{k_1 }^{(1)} \ldots a_{k_m }^{(m)} ) \geqq \hfill \\ \geqq \mathop \prod \limits_{i = 1}^m (\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )\left[ {\mathop \sum \limits_{i = 1}^m \frac{{\mathop \sum \limits_{k = - \infty }^\infty (a_k^{(i)} )^{p_i } }}{{(\mathop {\sup }\limits_{ - \infty< k< \infty } a_k^{(i)} )^{p_i } }} + l - m + 1} \right], \hfill \\ \end{gathered}$$ гдеl произвольное не отрицательное целое число, 1≦p ₁, ...,p _m ≦∞ и \(\mathop \sum \limits_{i = 1}^m p_i^{ - 1} = 1\) . Это неравенство явля ется обобщением и уто чнением неравенств А. Прекопа, Ш. Данча и Л. Лейндлера. Доказано также, что ес ли все последователь ности содержат только коне чное число ненулевых членов, то н еобходимым условием для равенства в (1) является существование такого числа α>0, чтоa _k( ⁱ )=а илиa _k( ⁱ )=0 для всехi=1,...,m;?∞<k<∞.     

On the mixed problem for hyperbolic partial differential-functional equations of the first order

We consider the mixed problem for the hyperbolic partial differential-functional equation of the first order where is a function defined by z _(x,y)(t, s) = z(x + t, y + s), (t, s) [–, 0] × [0, h]. Using the method of bicharacteristics and the method of successive approximations for a certain integral-functional system we prove, under suitable assumptions, a theorem of the local existence of generalized solutions of this problem.     

On uniform estimates for solutions to quasi-linear differential equations

We obtain uniform estimates for positive solutions with the same domain to the equation

Copositive approximation of periodic functions

Let f be a real continuous 2π-periodic function changing its sign in the fixed distinct points y _i ∈ Y:= {y _i } _i∈ℤ such that for x ∈ [y _i , y _i−1], f(x) ≧ 0 if i is odd and f(x) ≦ 0 if i is even. Then for each n ≧ N(Y) we construct a trigonometric polynomial P _n of order ≦ n, changing its sign at the same points y _i ∈ Y as f, and

Convex interpolating splines of arbitrary degree II

For given data {(x _i ,y _i )} _i=0 ⁿ , (x ₀<x ₁<...<x _n ) we consider the possibility of finding a spline functions of arbitrary degreek+1 (k 1) with preassigned smoothnessl, where 1 l [(k+1)/2]. The splines should be such thats(x _i )=y _i ,i=0, 1,...,n ands is increasing and convex on [x ₀,x _n ]. Sufficient conditions which guarantee the existence ofs and an explicit formula for this function are derived.