On integral graphs which belong to the class\overline {\alpha K_a \cup \beta K_b }

LetG be a simple graph and let $\bar G$ denotes its complement. We say thatG is integral if its spectrum consists entirely of integers. If $\overline {\alpha K_a \cup \beta K_b } $ is integral we show that it belongs to the class of integral graphs $$\overline {[\frac{{kt}}{\tau }x_o + \frac{{mt}}{\tau }z]K(t + \ell n)k + \ell m \cup [\frac{{kt}}{\tau }y_o + \frac{{(t + \ell n)k + \ell m}}{\tau }z]nK\ell m,} $$ where (i) t, k, l, m, n ∈ ? such that (m, n) =1, (n, t) =1 and (l, t)=1; (ii) τ=((t+ln)k+lm, mt) such that τ| kt; (iii) (x₀, y₀) is aparticular solution of the linear Diophantine equation ((t+ln)k+lm)x-(mt)y=τ and (iv) z≥z₀ where z₀ is the least integer such that $(\frac{{kt}}{\tau }x_0 + \frac{{mt}}{\tau }z_0 ) \geqslant 1$ and $(\frac{{kt}}{\tau }y_0 + \frac{{(t + \ell n)k + \ell m}}{\tau }z_0 ) \geqslant 1$ .     

Topological degree for solutions of fourth order mean field equations

We consider the following fourth order mean field equation with Navier boundary condition $$\Delta^2 u = \rho \frac{h(x) e^{u}}{\int_\Omega h e^{u}}\,\,{\rm in}\, \Omega,{\quad}u = \Delta u = 0\,\,{\rm on}\,\partial \Omega,\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(*)$$ where h is a C ^2,?? positive function, ?? is a bounded and smooth domain in ${\mathbb{R}^4}$ . We prove that for ${\rho \in (32m\sigma_3, 32(m + 1)\sigma_3)}$ the degree-counting formula for (*) is given by $$d(\rho)=\left\{\begin{array}{ll}\frac{1}{m!} (-\chi (\Omega) +1) \cdot\cdot \cdot (-\chi(\Omega)+m) & {\rm for}\, m >0 ,\\ 1 & {\rm for}\, m=0\end{array}\right.$$ where ??(??) is the Euler characteristic of ??. Similar result is also proved for the corresponding Dirichlet problem $$\Delta^2 u = \rho \frac{h(x) e^{u}}{\int_\Omega h e^{u}}\quad{\rm in}\,\Omega, \quad u = \nabla u = 0 \quad {\rm on}\,\,\partial \Omega.\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(**)$$      

Inequalities for the Volume of the Unit Ball in {\mathbb{R}^{n}}

The volume of the unit ball in ${\mathbb{R}^{n}}$ is defined by $$\Omega_{n} = \frac{\pi^{n/2}}{\Gamma(n/2+1)},\qquad n = 1,2,3,\ldots,$$ where Γ denotes the classical gamma function of Euler. In several recently published papers numerous authors studied properties of Ω _n . In particular, various inequalities involving Ω _n are given in the literature. In this paper, we continue the work on this subject and offer new inequalities. More precisely, we offer sharp upper and lower bounds for $$\frac{\Omega_{n}^{2}}{\Omega_{n-1} \Omega_{n+1}},\quad\frac{\Omega_{n}}{\Omega_{n-1}+\Omega_{n+1}} \quad {\rm and} \quad\Omega_{n}.$$      

Multivariate polynomials: A spanning question

The main result of this paper is the following. Ifg is any given polynomial of two variables, then $$span\left\{ {\left( {g\left( {. - a,. - b} \right)} \right)^k :\left( {a,b} \right) \in R^2 ,k \in {\rm Z}_ + } \right\}$$ contains all polynomials if and only if $$span\left\{ {g\left( {. - a,. - b} \right):\left( {a,b} \right) \in R^2 } \right\}$$ separates points. This result is not valid inR ^d ford≥4.     

A convexity property and a new characterization of Euler’s gamma function

Our main results are:

1. Let α ≠ 0 be a real number. The function (Γ ? exp) ^α is convex on ${\mathbf{R}}$ if and only if $$\alpha \geq \max_{0<{t}<{x_0}}\Big(-\frac{1}{t\psi(t)} - \frac{\psi'(t)}{\psi(t)^2}\Big) = 0.0258... .$$ Here, x ₀ = 1.4616... denotes the only positive zero of ${\psi = \Gamma'/\Gamma}$ .

1. Assume that a function f: (0, ∞) → (0, ∞) is bounded from above on a set of positive Lebesgue measure (or on a set of the second category with the Baire property) and satisfies $$f(x+1) = x f(x) \quad{\rm for}\quad{x > 0}\quad{\rm and}\quad{f(1) = 1}.$$

If there are a number b and a sequence of positive real numbers (a _n ) ${(n \in \mathbf{N})}$ with ${{\rm lim}_{n\to\infty} a_n =0}$ such that for every n the function ${(f \circ {\rm exp})^{a_n}}$ is Jensen convex on (b, ∞), then f is the gamma function.     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

The Continuity of M and N in Greedy Lattice Animals

Let {X _v: v ∈ Z ^d}, d≥2, be i.i.d. positive random variables with the common distribution F which satisfy, for some a>0, ∫ x ^d (log⁺ x) ^d+a dF(x)<∞ Define $$M_n = \max \left\{ {\sum\limits_{\upsilon \in \pi } {X_\upsilon } {\kern 1pt} :\pi {\text{ a selfavoiding path of length }}n{\text{ starting at the origin}}} \right\}$$ $$N_n = \max \left\{ {\sum\limits_{\upsilon \in \xi } {X_\upsilon } {\kern 1pt} :\xi {\text{ a lattice animal of size }}n{\text{ containing the origin}}} \right\}$$ Then it has been shown that there exist positive finite constants M = M[F] and N = N[F] such that $${\mathop {\lim }\limits_{n \to \infty }} \frac{{M_n }}{n} = M{\text{ and }}{\mathop {\lim }\limits_{n \to \infty }} \frac{{N_n }}{n} = N{\text{ a}}{\text{.s}}{\text{. and in }}L^1 $$      

Iterates of increasing sequences of positive integers

It is proved that for fixed integers ${K \ge 2, D \ge 2, {\rm if} (D - 1) \mid K}$ , then there exists a unique increasing sequence (a(n)) _{n ≥ K} of positive integers such that $$\underset{K {\rm times}}{\underbrace{a ( a ( \dots a(a}}(n)) \dots)) = Dn$$ otherwise, there are uncountably many increasing sequences of positive integers (a(n)) satisfying this iterated functional equation. This generalizes recent results of Propp and Allouche–Rampersad–Shallit.     

The Essential Norm of a Generalized Composition Operator Between Bloch-Type Spaces and Q K Type Spaces

Let ?? be an analytic self-map of the unit disk ${\rm \mathbb{D},H(\rm \mathbb{D})}$ the space of analytic functions on ${{\rm \mathbb{D}}}$ and ${g \in H(\rm \mathbb{D})}$ . We define a linear operator as follows $$C_\varphi^gf(z)=\int\limits_0^zf'(\varphi(w))g(w)\, {\rm d}w, $$ on ${ H(\rm \mathbb{D})}$ . In this paper, estimates for the essential norm of the generalized composition operator between Bloch-type spaces and Q _K type spaces are obtained.     

D sets and a Sárközy theorem for countable fields

We establish that if ? is a countable field of characteristic p, U is a unitary action of ?^? on a Hilbert space ?, and P is an essential idempotent ultrafilter on ?, then for every polynomial r: ? → ?^? with r(0) = 0 one has $$P - {\lim _g}{U_{r(g)}}f = {P_r}f{\rm{ weakly,}}$$ , where P _r is the projection onto the closed subspace $${H_r} = \{ f \in H:{\{ {U_{r(g)}}f\} _{g \in F}}{\text{ is precompact in the strong topology\} }}{\text{.}}$$ . We then derive combinatorial consequences of this result, including results for sufficiently large finite fields.     

The Cauchy Problem for a Tenth-Order Thin Film Equation I. Bifurcation of Oscillatory Fundamental Solutions

Fundamental global similarity solutions of the tenth-order thin film equation $$u_{t} = \nabla . (|u|^{n} \nabla \Delta^{4}u) \,\,\,\, {\rm in} \,\,\,\, \mathbb{R}^{N} \times \mathbb{R}_{+}$$ , where n >  0 are studied. The main approach consists in passing to the limit ${n \rightarrow 0^{+}}$ by using Hermitian non-self-adjoint spectral theory corresponding to the rescaled linear poly-harmonic equation $$u_{t} = \Delta^{5}u \,\,\,\, {\rm in} \,\,\,\, \mathbb{R}^{N} \times \mathbb{R}_{+}$$ .     

StrongL 1-norm consistency of data based histogram estimates of densities

In this paper we investigate the problem of estimating the d-dimensional probability densityf(x),x∈R~d from a sample of size n.The non-parametric estimator is the data based histogram f_n(x)as defined in (1).Under suitable conditions,we have proved the L_1-norm consistance of this estimate,that is(?)interal from R~α|f(x)-f_n(x)|dx=0, a.s.     

A residual existence theorem for linear equations

A residual existence theorem for linear equations is proved: if ${A \in \mathbb{R}^{m\times n}}$ , ${b \in \mathbb{R}^{m}}$ and if X is a finite subset of ${\mathbb{R}^{n}}$ satisfying ${{\rm max}_{x \in X}p^T(Ax-b) \geq 0}$ for each ${p \in \mathbb{R}^{m}}$ , then the system of linear equations Ax = b has a solution in the convex hull of X. An application of this result to unique solvability of the absolute value equation Ax + B|x| = b is given.     

The submartingale problem for a class of degenerate elliptic operators

We consider the degenerate elliptic operator acting on ${C^2_b}$ functions on [0,∞) ^d : $$\mathcal{L}f(x)=\sum_{i=1}^d a_i(x) x_i^{\alpha_i} \frac{\partial^2 f}{\partial x_i^2} (x) +\sum_{i=1}^d b_i(x) \frac{\partial f}{\partial x_i}(x), $$ where the a _i are continuous functions that are bounded above and below by positive constants, the b _i are bounded and measurable, and the ${\alpha_i\in (0,1)}$ . We impose Neumann boundary conditions on the boundary of [0,∞) ^d . There will not be uniqueness for the submartingale problem corresponding to ${\mathcal{L}}$ . If we consider, however, only those solutions to the submartingale problem for which the process spends 0 time on the boundary, then existence and uniqueness for the submartingale problem for ${\mathcal{L}}$ holds within this class. Our result is equivalent to establishing weak uniqueness for the system of stochastic differential equations $$ {\rm d}X_t^i=\sqrt{2a_i(X_t)} (X_t^i)^{\alpha_i/2}{\rm d}W^i_t + b_i(X_t) {\rm d}t + {\rm d}L_t^{X^i},\quad X^i_t \geq 0, $$ where ${W_t^i}$ are independent Brownian motions and ${L^{X_i}_t}$ is a local time at 0 for X ⁱ .     

Continuity of solutions to n-harmonic equations

In this paper, we study the nonhomogeneous n-harmonic equation $$-{\rm div}\,(|{\nabla} u|^{n-2}{\nabla} u)=f$$ in domains ${\Omega\subset {\mathbb {R}^n}}$ (n?≥?2), where ${f\in W^{-1,\frac{n}{n-1}}(\Omega)}$ . We derive a sharp condition to guarantee the continuity of solutions u. In particular, we show that when n?≥ 3, the condition that, for some ${\epsilon >0 ,}$ f belongs to $${\mathfrak{L}}({\rm log}\,{\mathfrak{L}})^{n-1}({\rm log}\,{\rm log}\,{\mathfrak{L}})^{n-2}\cdots({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2}({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2+\epsilon}(\Omega)$$ is sufficient for continuity of u, but not for ${\epsilon=0}$ .     

Necessary and sufficient conditions for the asymptotic distribution of the largest entry of a sample correlation matrix

Let {X _k,i ; i ≥ 1, k ≥ 1} be a double array of nondegenerate i.i.d. random variables and let {p _n ; n ≥ 1} be a sequence of positive integers such that n/p _n is bounded away from 0 and ∞. In this paper we give the necessary and sufficient conditions for the asymptotic distribution of the largest entry ${L_{n}={\rm max}_{1\leq i < j\leq p_{n}}|\hat{\rho}^{(n)}_{i,j}|}$ of the sample correlation matrix ${{\bf {\Gamma}}_{n}=(\hat{\rho}_{i,j}^{(n)})_{1\leq i,j\leq p_{n}}}$ where ${\hat{\rho}^{(n)}_{i,j}}$ denotes the Pearson correlation coefficient between (X _1,i , ..., X _n,i )′ and (X _1,j ,...,X _n,j )′. Write ${F(x)= \mathbb{P}(|X_{1,1}|\leq x), x\geq0}$ , ${W_{c,n}={\rm max}_{1\leq i < j\leq p_{n}}|\sum_{k=1}^{n}(X_{k,i}-c)(X_{k,j}-c)|}$ , and ${W_{n}=W_{0,n},n\geq1,c\in(-\infty,\infty)}$ . Under the assumption that ${\mathbb{E}|X_{1,1}|^{2+\delta} < \infty}$ for some δ > 0, we show that the following six statements are equivalent: $$ {\bf (i)} \quad \lim_{n \to \infty} n^{2}\int\limits_{(n \log n)^{1/4}}^{\infty}\left( F^{n-1}(x) - F^{n-1}\left(\frac{\sqrt{n \log n}}{x}\right) \right) dF(x) = 0,$$ $$ {\bf (ii)}\quad n \mathbb{P}\left ( \max_{1 \leq i < j \leq n}|X_{1,i}X_{1,j} | \geq \sqrt{n \log n}\right ) \to 0 \quad{\rm as}\,n \to \infty,$$ $$ {\bf (iii)}\quad \frac{W_{\mu, n}}{\sqrt {n \log n}}\stackrel{\mathbb{P}}{\rightarrow} 2\sigma^{2},$$ $$ {\bf (iv)}\quad \left ( \frac{n}{\log n}\right )^{1/2} L_{n} \stackrel{\mathbb{P}}{\rightarrow} 2,$$ $$ {\bf (v)}\quad \lim_{n \rightarrow \infty}\mathbb{P}\left (\frac{W_{\mu, n}^{2}}{n \sigma^{4}} - a_{n}\leq t \right ) = \exp \left \{ - \frac{1}{\sqrt{8\pi}} e^{-t/2}\right \}, - \infty < t < \infty,$$ $$ {\bf (vi)}\quad \lim_{n \rightarrow \infty}\mathbb{P}\left (n L_{n}^{2} - a_{n}\leq t \right ) = \exp \left \{ - \frac{1}{\sqrt{8 \pi}} e^{-t/2}\right \}, - \infty < t < \infty$$ where ${\mu=\mathbb{E}X_{1,1}, \sigma^{2}=\mathbb{E}(X_{1,1} - \mu)^{2}}$ , and a _n  = 4 log p _n ? log log p _n . The equivalences between (i), (ii), (iii), and (v) assume that only ${\mathbb{E}X_{1,1}^{2} < \infty}$ . Weak laws of large numbers for W _n and L _n , n ≥  1, are also established and these are of the form ${W_{n}/n^{\alpha}\stackrel{\mathbb{P}}{\rightarrow} 0}\,(\alpha > 1/2)$ and ${n^{1-\alpha}L_{n}\stackrel{\mathbb{P}}{\rightarrow} 0}\,(1/2 < \alpha \leq 1)$ , respectively. The current work thus provides weak limit analogues of the strong limit theorems of Li and Rosalsky as well as a necessary and sufficient condition for the asymptotic distribution of L _n obtained by Jiang. Some open problems are also posed.     

New upper bounds on the smallest size of a complete arc in a finite Desarguesian projective plane

In the projective planes PG(2, q), more than 1230 new small complete arcs are obtained for ${q \leq 13627}$ and ${q \in G}$ where G is a set of 38 values in the range 13687,..., 45893; also, ${2^{18} \in G}$ . This implies new upper bounds on the smallest size t ₂(2, q) of a complete arc in PG(2, q). From the new bounds it follows that $$t_{2}(2, q) < 4.5\sqrt{q} \, {\rm for} \, q \leq 2647$$ and q = 2659,2663,2683,2693,2753,2801. Also, $$t_{2}(2, q) < 4.8\sqrt{q} \, {\rm for} \, q \leq 5419$$ and q = 5441,5443,5449,5471,5477,5479,5483,5501,5521. Moreover, $$t_{2}(2, q) < 5\sqrt{q} \, {\rm for} \, q \leq 9497$$ and q = 9539,9587,9613,9623,9649,9689,9923,9973. Finally, $$t_{2}(2, q) <5 .15\sqrt{q} \, {\rm for} \, q \leq 13627$$ and q = 13687,13697,13711,14009. Using the new arcs it is shown that $$t_{2}(2, q) < \sqrt{q}\ln^{0.73}q {\rm for} 109 \leq q \leq 13627\, {\rm and}\, q \in G.$$ Also, as q grows, the positive difference ${\sqrt{q}\ln^{0.73} q-\overline{t}_{2}(2, q)}$ has a tendency to increase whereas the ratio ${\overline{t}_{2}(2, q)/(\sqrt{q}\ln^{0.73} q)}$ tends to decrease. Here ${\overline{t}_{2}(2, q)}$ is the smallest known size of a complete arc in PG(2,q). These properties allow us to conjecture that the estimate ${t_{2}(2,q) < \sqrt{q}\ln ^{0.73}q}$ holds for all ${q \geq 109.}$ The new upper bounds are obtained by finding new small complete arcs in PG(2,q) with the help of a computer search using randomized greedy algorithms. Finally, new forms of the upper bound on t ₂(2,q) are proposed.     

Quadratic polynomials represented by norm forms

Let ${P(t) \in \mathbb{Q}[t]}$ be an irreducible quadratic polynomial and suppose that K is a quartic extension of ${\mathbb{Q}}$ containing the roots of P(t). Let ${{\bf N}_{K/\mathbb{Q}}({\rm x})}$ be a full norm form for the extension ${K/\mathbb{Q}}$ . We show that the variety $$\begin{array}{ll}P(t)={\bf N}_{K/\mathbb{Q}}({\rm x})\neq 0\end{array}$$ satisfies the Hasse principle and weak approximation. The proof uses analytic methods.     

On weighted strong type inequalities for the generalized weighted mean operator

The generalized weighted mean operator ${\mathbf{M}^{g}_{w}}$ is given by $$[\mathbf{M}^{g}_{w}f](x) = g^{-1} \left( \frac{1}{W(x)} \int \limits_{0}^{x}w(t)g(f(t))\,{\rm d}t \right),$$ with $$W(x) = \int \limits_{0}^{x} w(s) {\rm d}s, \quad {\rm for} \, x \in (0, + \infty),$$ where w is a positive measurable function on (0, + ∞) and g is a real continuous strictly monotone function with its inverse g ^?1. We give some sufficient conditions on weights u, v on (0, + ∞) for which there exists a positive constant C such that the weighted strong type (p, q) inequality $$\left( \int \limits_{0}^{\infty} u(x) \Bigl( [\mathbf{M}^{g}_{w}f](x) \Bigr)^{q} {\rm d}x \right)^{1 \over q} \leq C \left( \int \limits_{0}^{\infty}v(x)f(x)^{p} {\rm d}x \right)^{1 \over p}$$ holds for every measurable non-negative function f, where the positive reals p,q satisfy certain restrictions.     

Semi-Heyting Algebras Term-equivalent to Gödel Algebras

In this paper we investigate those subvarieties of the variety $\mathcal {SH}$ of semi-Heyting algebras which are term-equivalent to the variety $\mathcal L_{\mathcal H}$ of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety $\mathcal L^{\rm Com}$ of commutative semi-Heyting algebras and the variety $\mathcal L^{\vee}$ generated by the chains in which a?<?b implies a → b?=?b. We also study the variety $\mathcal C$ generated within $\mathcal{SH}$ by $\mathcal L_{\mathcal H}$ , $\mathcal L_\vee$ and $\mathcal L_{\rm Com}$ . In particular we prove that $\mathcal C$ is locally finite and we obtain a construction of the finitely generated free algebra in $\mathcal C$ .