A completeness theorem for a nonlinear multiparameter eigenvalue problem

In this paper we study the linked nonlinear multiparameter system

$\text{y}{}_{\mathrm{r}}{}^{\mathrm{n}}\text{(X}{}_{\mathrm{r}}\text{) + M}{}_{\mathrm{r}}\text{Y}{}_{\mathrm{r}}\text{+}\text{∑}\text{s=1}\text{k}\text{λ}{}_{\mathrm{s}}\text{(a}{}_{\mathrm{rs}}\text{(X}{}_{\mathrm{r}}\text{) + P}{}_{\mathrm{rs}}\text{) Y}{}_{\mathrm{r}}\text{(X}{}_{\mathrm{r}}\text{) = 0, r = l,…, k}$

, where x_r? [a_r, b_r], y_r is subject to Sturm-Liouville boundary conditions, and the continuous functions a_rs satisfy ¦ $\text{A ¦ (x) =}\text{det}\text{a}{}_{\mathrm{rs}}\text{(x}{}_{\mathrm{r}}\text{) > 0}$. Conditions on the polynomial operators M_r, P_rs are produced which guarantee a sequence of eigenfunctions for this problem yⁿ(x) = Π_r=1^ky_rⁿ(x_r), n ? 1, which form a basis in $\text{L}{}^2\text{([a, b], ¦ A ¦)}$. Here [a, b] = [a₁, b₁ × … × [a_k, b_k].     

The Jacobian problem as a system of ordinary differential equations

LetP=x ⁿ +P _n?1(y)x ^n?1+…+P ₀(y),Q=x ^m +Q _m?2(y)x ^m?2+…+Q ₀(y) belong toK[x, y], whereK is a field of characteristic zero. The main result of this paper is the following: Assume thatP _x Q _y ?P _y Q _x =1. Then:*

1. K[Q _m?2(y), …,Q ₀(y)]=K[y],
2. K[P, Q]=K[x, y] ifQ=x ^m +Q _k (y)x ^k +Q _r (y)x ^r

     

Fast Algorithm of Square Rooting in Some Finite Fields of Odd Characteristic

It was proved that the complexity of square root computation in the Galois field GF(3^s), s = 2^kr, is equal to O(M(2^k)M(r)k + M(r) log₂r) + 2^kkr^1+o(1), where M (n) is the complexity of multiplication of polynomials of degree n over fields of characteristics 3. The complexity of multiplication and division in the field GF(3^s) is equal to O(M(2^k)M(r)) and O(M(2^k)M(r)) + r^1+o(1), respectively. If the basis in the field GF(3^r) is determined by an irreducible binomial over GF(3) or is an optimal normal basis, then the summands 2^kkr^1+o(1) and r^1+o(1) can be omitted. For M(n) one may take n log₂nψ(n) where ψ(n) grows slower than any iteration of the logarithm. If k grow and r is fixed, than all the estimates presented here have the form O_r (M (s) log ₂s) = s (log ₂s)²ψ(s).     

Second order linear O.D.E. and Riccati equations

We prove that approximate solutions of the Riccati equation ?′ + ?² = a(x) yield asymptotic solutions y = e^∝x?(s)ds of the second order linear equation y″ = a(x)y. We show that the iterative scheme ?₀ = a, ?_{n + 1}² = a ? ?_n′ leads to asymptotic solutions of the cited linear equation in many interesting cases.     

An approximation technique for nonlinear integral operations

Approximation results for J. S. Mac Nerney's theory of nonlinear integral operations are established. For the nonlinear product integral _xΠ^y (1 + V)P, approximations of the form Π_{i = 1}ⁿ [1 + L_q(x_i?1, x_i)]P are considered, where L₁(u, v)P = ∝_u^vVP and L_q(u, v)P = ∝_u^vV(r, s)[1 + L_q?1(s, v)]P for q = 2, 3,…. Error bounds are obtained for the difference between the product integral and the preceding product.     

Splines with maximal zero sets

Consider a spline s(x) of degree n with L knots of specified multiplicities R₁, …, R_L, which satisfies r sign consistent mixed boundary conditions in addition to s⁽ⁿ⁾(a) = 1. Such a spline has at most n + 1 ?r + ∑_{j = 1}^LR_j zeros in (a, b) which fulfill an interlacing condition with the knots if s(x) ? = 0 everywhere. Conversely, given a set of n ?r + ∑_{j = 1}^LR_j zeros then for any choice η₁ < ··· < η_L of the knot locations which fulfills the interlacing condition with the zeros, the unique spline s(x) possessing these knots and zeros and satisfying the boundary conditions is such that s⁽ⁿ⁾(x) vanishes nowhere and changes sign at η_j if and only if R_j is odd. Moreover there exists a choice of the knot locations, not necessarily unique, which makes $\text{¦s}{}^{\mathrm{(n)}}\text{(x)¦ ≡ 1}$. In particular, this establishes the existence of monosplines and perfect splines with knots of given multiplicities, satisfying the mixed boundary conditions and possessing a prescribed maximal zero set. An application is given to double-precision quadrature formulas with mixed boundary terms and a certain polynomial extremal problem connected with it.     

On the integer points on some special hyper-elliptic curves over a finite field

If $\text{l}$_r(p) is the least positive integral value of x for which y² ≡ x(x + 1) ? (x + r ? 1)(modp) has a solution, we conjecture that $\text{l}$_r(p) ≤ r² ? r + 1 with equality for infinitely many primes p. A proof is sketched for r = 5. A further generalization to y² ≡ (x + a₁) ? (x + a_r) is suggested, where the a's are fixed positive integers.     

On the neutrix composition of the distributions x −s ln m |x| and x r

Let F be a distribution and let f be a locally summable function. The distribution F(f) is defined as the neutrix limit of the sequence {F _n (f)}, where F _n (x) = F(x) * δ _n (x) and {δ _n (x)} is a certain sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). The composition of the distributions x ^?s ln ^m |x| and x ^r is proved to exist and be equal to r ^m x ^?rs ln ^m |x| for r, s, m = 2, 3….     

Regular graphs with high edge degree

For any vertex x of a graph G let Δ(x) denote the set of vertices adjacent to x. We seek to describe the connected graphs G which are regular of valence n and in which for all adjacent vertices x and y |Δ(x) ∩ Δ(y)| = n ? 1 ? s. It is known that the complete graphs are the graphs for which s = 0. For any s, any complete many-partite graph, each part containing s + 1 vertices, is such a graph. We show that these are the only such graphs for which the valence exceeds 2s² ? s + 1. The graphs satisfying these conditions for s = 1 or 2 are characterized (up to the class of trivalent triangle-free graphs.)     

Comparison cones for multiparameter eigenvalue problems

We consider the multiparameter eigenvalue problem (T_r + ∑_{s = 1}^kλ_sV_rs) x_r = 0, x_r ≠ 0, 1 ? r ? k, where T_r and V_rs are self-adjoint linear operators on Hilbert spaces H_r, the V_rs being bounded. The problem may be posed in either ⊕_{r = 1}^kH_r or ⊕_{r = 1}^kH_r and we develop variational approaches for both settings. We explore the rôles played in both settings by $\text{C ={λ ∈ R}{}^{\mathrm{k}}\text{|}\text{∑}\text{k}\text{s=1}\text{λ}{}_{\mathrm{s}}\text{(V}{}^{\mathrm{rs}}\text{x}{}_{\mathrm{r}}\text{,x}{}_{\mathrm{r}}\text{? 0}$ for some nonozero and related cones in $\text{R}$^k. We also compare certain geometrical conditions on C with analytical definiteness conditions already in the literature.     

Hitting time of a moving boundary for a diffusion

We obtain asymptotic estimates for the quantity r = log P[T_f[rang]t] as t → ∞ where T_f = inf\s{s : |X(s)|[rang]f(s)\s} and X is a real diffusion in natural scale with generator a(x) d²(·)/dx² and the ‘boundary’ f(s) is an increasing function. We impose regular variation on a and f and the result is expressed as r = ∫^t₀ λ₁ (f(s) ds(1 + o(1)) where λ₁(f) is the smallest eigenvalue for the process killed at ±f.     

Singular Volterra integral equations

Existence results are presented for the singular Volterra integral equation y(t) = h(t) + ∫₀^t k(t, s) f(s, y(s)) ds, for t ∈ [0,T]. Here f may be singular at y = 0. As a consequence new results are presented for the n^th order singular initial value problem.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

On a nonconvolution Volterra resolvent

Under fairly weak assumptions, the solutions of the system of Volterra equations x(t) = ∝₀^ta(t, s) x(s) ds + f(t), t > 0, can be written in the form x(t) = f(t) + ∝₀^tr(t, s) f(s) ds, t > 0, where r is the resolvent of a, i.e., the solution of the equation r(t, s) = a(t, s) + ∝₀^ta(t, v) r(v, s)dv, 0 < s < t. Conditions on a are given which imply that the resolvent operator f ∝₀^tr(t, s) f(s) ds maps a weighted L¹ space continuously into another weighted L¹ space, and a weighted L^∞ space into another weighted L^∞ space. Our main theorem is used to study the asymptotic behavior of two differential delay equations.     

A method of constructing Krall's polynomials

We propose a method of constructing orthogonal polynomials P_n(x) (Krall's polynomials) that are eigenfunctions of higher-order differential operators. Using this method we show that recurrence coefficients of Krall's polynomials P_n(x) are rational functions of n. Let P_n^(a,b;M)(x) be polynomials obtained from the Jacobi polynomials P_n^(a,b)(x) by the following procedure. We add an arbitrary concentrated mass M at the endpoint of the orthogonality interval with respect to the weight function of the ordinary Jacobi polynomials. We find necessary conditions for the parameters a,b in order for the polynomials P_n^(a,b;M)(x) to obey a higher-order differential equation. The main result of the paper is the following. Let a be a positive integer and b⩾−1/2 an arbitrary real parameter. Then the polynomials P_n^(a,b;M)(x) are Krall's polynomials satisfying a differential equation of order 2a+4.     

On the nonvanishing of homogeneous product sums

For integer n ≥ 1 let H_n = H_n(x, y, z) = Σ_{p + q + r = n}x^py^qz^r be the homogeneous product sum of weight n on three letters x, y, z. Morgan Ward conjectured that H_n ≠ 0 for all integers n, x, y, z with n > 1 and xyz ≠ 0. In support of this conjecture he proved that H_n ≠ 0 if n is even or if n + 2 is a prime number greater than 3. This paper adds considerably more evidence in support of Ward's conjecture by showing that in many cases H_n(a, b, c)¬=0 modulo 2, 4, or 16. The parity of H_n(a, b, c) is determined in all cases and, when H_n(a, b, c) is even, further congruences are given modulo 4 or 16.     

Asymptotics of eigenvalues of A regular boundary-value problem

We study a boundary-value problem x ⁽ⁿ⁾ + Fx = λx, U _h(x) = 0, h = 1,..., n, where functions x are given on the interval [0, 1], a linear continuous operator F acts from a Hölder space H ^y into a Sobolev space W ₁ ^n+s , U _h are linear continuous functional defined in the space $H^{k_h } $ , and k _h ≤ n + s - 1 are nonnegative integers. We introduce a concept of k-regular-boundary conditions U _h(x)=0, h = 1, ..., n and deduce the following asymptotic formula for eigenvalues of the boundary-value problem with boundary conditions of the indicated type: $\lambda _v = \left( {i2\pi v + c_ \pm + O(|v|^\kappa )} \right)^n $ , v = ± N, ± N ± 1,..., which is true for upper and lower sets of signs and the constants κ≥0 and c _± depend on boundary conditions.