New Congruences for the Partition Function

Let p(n) denote the number of unrestricted partitions of a non-negative integer n. In 1919, Ramanujan proved that for every non-negative n Recently, Ono proved for every prime m 5 that there are infinitely many congruences of the form p(An+B)0 (mod m). However, his results are theoretical and do not lead to an effective algorithm for finding such congruences. Here we obtain such an algorithm for primes 13m31 which reveals 76,065 new congruences.     

Chen’ s theorem in arithmetical progressions

LetN be a sufficiently large even integer and $$\begin{gathered} q \geqslant 1, (l_i ,q) = 1 (i = 1, 2), \hfill \\ l_1 + l_2 \equiv N(\bmod q). \hfill \\ \end{gathered} $$ . It is proved that the equation $$N = p + P_2 ,p \equiv l_1 (\bmod q), P_2 \equiv l_2 (\bmod q)$$ has infinitely many solutions for almost all $q \leqslant N^{\frac{1}{{37}}} $ , wherep is a prime andP ₂ is an almost prime with at most two prime factors.     

Sums of Five, Seven and Nine Squares

Let r _k(n) denote the number of representations of an integer n as a sum of k squares. We prove that

Chen’ s theorem in arithmetical progressions

LetN be a sufficiently large even integer and

Limit theorems for the ratio of the empirical distribution function to the true distribution function

Summary We consider almost sure limit theorems for and where _n is the empirical distribution function of a random sample ofn uniform (0, 1) random variables anda _n 0. It is shown that (1) ifna _n /log₂ n then both and converge to 1 a.s.; (2) ifna _n /log₂ n=d>0 (d>1) then has an almost surely finite limit superior which is the solution of a certain transcendental equation; and (3) ifna _n /log₂ n0 then and have limit superior + almost surely. Similar results are established for the inverse function _n ^–1 .Supported by the National Science Foundation under MCS 77-02255     

The critical exponent for a weakly coupled system of the generalized Fujita type reaction-diffusion equations

We study nonnegative solutions of the initial value problem for a weakly coupled system

Small prime solutions of some additive equations

Essentially sharp bounds for small prime solutionsp _j ,q _i of the following two different types of equations are obtained.

Hyperbolic stochastic differential equations: Absolute continuity of the LKW of the solution at a fixed point

LetW be the Wiener process onT=[0, 1]². Consider the stochastic integral equation $$\begin{gathered} X_\zeta = x_0 + \int_{R_\zeta } {a_1 (\zeta \prime )X(s\prime ,dt\prime )ds\prime + } \int_{R_\zeta } {a_2 (\zeta \prime )X(ds\prime ,t\prime )dt\prime } \hfill \\ + \int_{R_\zeta } {a_3 (X_{\zeta \prime , } \zeta \prime )W(ds\prime ,dt\prime ) + } \int_{R_\zeta } {a_4 (X_{\zeta \prime , } \zeta \prime )ds\prime ,dt\prime ,} \hfill \\ \end{gathered} $$ whereR _ζ =(s, t) ∈ T, andx ₀ ∈ ?. Under some assumptions on the coefficients a_i, the existence and uniqueness of a solution for this stochastic integral equation is already known (see [6]). In this paper we present some sufficient conditions for the law ofX _ζ to have a density.     

Existence and uniqueness of limit cycles on a cubic kolmogorov differential system in the Predator-Prey relation

In this paper, we analyse qualitatively a cubic Kolmogorov system: which is one of the mathematical models in ecology describing the interaction between Predator-Prey of two populations; and give the conditions of nonexistence, existence and uniqueness of limit cycles for three different cases.Fulfilled during engagement in advanced studies at the Institute of Mathematics, Academia Sinica.     

Packing an equilateral polygon in a thin strip

LetP _m denote an equilateral polygon ofm sides with each side having length 1 and we allow the sides to cross and vertex repetitions. We consider the following question. What is the smallest widtht _m of a horizontal strip in the Euclidean plane that contains aP _m ? This problem has its origins in Euclidean Ramsey theory. Whenm is even, it is easy to see thatt _m =0. For a polygon with an odd number of sides, we prove that $\begin{gathered} t_{2n + 1} = \frac{{\sqrt {2n + 1} }}{{n + 1}} for 2n + 1 \equiv 3(\bmod 4) and \hfill \\ t_{2n + 1} = \sqrt {\frac{{2n + 1}}{{n^2 + 2n}}} for 2n + 1 \equiv 1(\bmod 4) \hfill \\ \end{gathered} $ respectively. Applying the result to unit distance graphs, we prove the following: SupposeG is a unit-distance graph, i.e.G can be drawn on the planeR ² such that each edge ofG is a straight line segment of length 1. IfG has no odd circuits of length greater than or equal to 15, thenX(G) ≤ 6, whereX(G) is the chromatic number ofG.     

Determination of the infinite Jacobi matrix with respect to two-spectra

The inverse problem about two-spectra for the equation (1) $$\begin{gathered} b_0 y_0 + a_0 y_1 = \lambda y_0 , \hfill \\ a_{n - 1} y_{n - 1} + b_n y_n + a_n y_{n + 1} = \lambda y_n \left( {n = 1, 2, 3, ...} \right), \hfill \\ \end{gathered} $$ where {y_n} ₀ ^∞ is the desired solution, λ is a complex parameter and $$a_n > 0, \operatorname{Im} b_n = 0 \left( {n = 0, 1 ,2, ...} \right)$$ is studied. Necessary and sufficient conditions for the solvability of the inverse problem about two-spectrafor Eq. (1) are established and also the procedure of reconstruction of the equation from its two-spectra is indicated.     

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≤∞     

Analytic solutions of differential-functional equations

We consider the general differential-functional equations

On a Singular Two-Point Boundary Value Problem for the Nonlinear mth-Order Differential Equation with Deviating Arguments

Sufficient conditions of solvability and unique solvability of the boundary value problem are established, where are measurable functions and the vector function is measurable in the first and continuous in the last kmn arguments; moreover, this function may have nonintegrable singularities with respect to the first argument.     

Arithmetic properties of the values of a set of functions satisfying a system of differential equations

General results were presented in [2] and [3] concerning arithmetic properties of the values at algebraic points of a class of analytic functions satisfying linear differential equations. In the present note we consider the application of these results to the set of functions $$\begin{gathered} ^f (\alpha _k z) = \sum\nolimits_{n = 0}^\infty {\frac{{ \mu (\mu + 1)... (\mu + n - 1) }}{{\lambda (\lambda + 1)... (\lambda + n - 1)}}} (\alpha _k z)^n (k = 1,2,...,m,) \hfill \\ \lambda \ne 0, - 1, - 2,...), \hfill \\ \end{gathered}$$ where α₁, ..., α_m are algebraic numbers; λ and μ are rational numbers; and the functions satisfy a system of linear differential equations.     

The number of strictly increasing mappings of fences

Let X and Y be fences of size n and m, respectively and n, m be either both even or both odd integers (i.e., |m-n| is an even integer). Let \(r = \left\lfloor {{{(n - 1)} \mathord{\left/ {\vphantom {{(n - 1)} 2}} \right. \kern-0em} 2}} \right\rfloor\) . If 1<n<-m then there are \(a_{n,m} = (m + 1)2^{n - 2} - 2(n - 1)(\begin{array}{*{20}c} {n - 2} \\ r \\ \end{array} )\) of strictly increasing mappings of X to Y. If 1<-m<-n<-2m and s=1/2(n?m) then there are a _n,m+b _n,m+c _n of such mappings, where $$\begin{gathered} b_{n,m} = 8\sum\limits_{i = 0}^{s - 2} {\left( {\begin{array}{*{20}c} {m + 2i + 1} \\ l \\ \end{array} } \right)4^{s - 2 - 1} } \hfill \\ {\text{ }}c_n = \left\{ \begin{gathered} \left( {\begin{array}{*{20}c} {n - 1} \\ {s - 1} \\ \end{array} } \right){\text{ if both }}n,m{\text{ are even;}} \hfill \\ {\text{ 0 if both }}n,m{\text{ are odd}}{\text{.}} \hfill \\ \end{gathered} \right. \hfill \\ \end{gathered} $$      

On a Żołądek theorem

We prove the existence of cubic systems of the form $$ \begin{gathered} \dot x = y[1 - 2r(5 + 3r^2 )x + \gamma \lambda ^2 x^2 ] + a_0 x + a_1 x^2 + a_2 xy + a_3 y^2 + a_4 x^3 + a_5 x^2 y + a_6 xy^2 , \hfill \\ \dot y = - x(1 - 8rx)(1 - 3r\gamma x) - 2x[2(1 - 3r^2 ) - r\gamma (7 - 15r^2 )x]y \hfill \\ - [r(11 + r^2 ) + \gamma (1 - 22r^2 - 3r^4 )x]y^2 \hfill \\ - 2r\gamma \delta y^3 + a_0 y + a_7 x^2 + a_8 xy + a_9 y^2 + a_{10} x^3 + a_{11} x^2 y, \hfill \\ \end{gathered} $$ where α = 3r ² + 17, γ = r ² + 3, δ = 1 ? r ², and λ = 3r ² + 1, that have at least eleven limit cycles in a neighborhood of the point O(0, 0).     

Analytic solution of vector model kinetic equations with constant kernel and their applications

Exact solutions are obtained for the first time for the half-space boundary-value problem for the vector model kinetic equations

Solvability of a higher-order multi-point boundary value problem at resonance

Based on the coincidence degree theory of Mawhin, we get a new general existence result for the following higher-order multi-point boundary value problem at resonance

Arithmetic properties of overpartition triples

Let p_3(n) be the number of overpartition triples of n. By elementary series manipulations,we establish some congruences for p_3(n) modulo small powers of 2, such as p_3(16 n + 14) ≡ 0(mod 32), p_3(8 n + 7) ≡ 0(mod 64).We also find many arithmetic properties for p_3(n) modulo 7, 9 and 11, involving the following infinite families of Ramanujan-type congruences: for any integers α≥ 1 and n ≥ 0, we have p_3 (3~(2α+1)(3n + 2))≡ 0(mod 9 · 2~4), p_3(4~(α-1)(56 n + 49)) ≡ 0(mod 7),p_3 (7~(2α+1)(7 n + 3))≡ p_3 (7~(2α+1)(7 n + 5))≡ p_3 (7~(2α+1)(7 n + 6))≡ 0(mod 7),and for r ∈ {1, 2, 3, 4, 5, 6},p_3(11 · 7~(4α-1)(7 n + r)≡ 0(mod 11).