Eigenvalue multiplicities of highly symmetric graphs

We find lower bounds on eigenvalue multiplicities for highly symmetric graphs. In particular we prove:Theorem 1. If Γ is distance-regular with valency k and girth g (g?4), and λ (λ≠±?k) is an eigenvalue of Γ, then the multiplicity of λ is at least

$\text{k(k?1)}{}^{\mathrm{<mtext>[</mtext><mtext>g</mtext><mtext>4</mtext><mtext>]?1</mtext>}}$

if g≡0 or 1 (mod 4),

$\text{2(k?1)}{}^{\mathrm{<mtext>[</mtext><mtext>g</mtext><mtext>4</mtext><mtext>]</mtext>}}$

if g≡2 or 3 (mod 4) where [ ] denotes integer part. Theorem 2. If the automorphism group of a regular graph Γ with girth g (g?4) and valency k acts transitively on s-arcs for some s, $\text{1?s?[}\text{1}\text{2}\text{g]}$, then the multiplicity of any eigenvalue λ (λ≠±?k) is at least

$\text{k(k?1)}{}^{\mathrm{<mtext>s</mtext><mtext>2?1</mtext>}}$

if s is even,

$\text{2(k?1)}{}^{\mathrm{<mtext>(</mtext><mtext>s?1)</mtext><mtext>2</mtext>}}$

if s is odd.     

Finite-amplitude disturbances in self-gravitating media. II

This paper deals with finite-amplitude axisymmetric disturbances in a self-gravitating fluid column of finite radius R. It is shown that the cutoff wavelength λ_nl above which gravitational breakup occurs now depends on the relative amplitude $\text{?}\text{R}$ of the initial perturbation. Actually, for small-but finite-amplitude disturbances, $\text{λ}{}_{\mathrm{nl}}\text{=}\text{λ}{}_{\mathrm{l}}\text{(1 ? 0.34368}\text{?}{}^2\text{R}{}^2\text{)}$, where λ_l ( = 5.8898R) designates the cutoff wavelength predicted in the linear approximation.     

On exponential bases for the Sobolev spaces over an interval

We suppose that K is a countable index set and that $\text{Λ = {λ}{}_{\mathrm{k}}\text{¦ k ? K}}$ is a sequence of distinct complex numbers such that forms a Riesz (strong) basis for L²[a, b], a < b. Let Σ = {σ₁, σ₂,…, σ_m} consist of m complex numbers not in Λ. Then, with p(λ) = Π_{k = 1}^m (λ ? σ_k), forms a Riesz (strong) bas Sobolev space H^m[a, b]. If we take σ₁, σ₂,…, σ_m to be complex numbers already in Λ, then, defining p(λ) as before, forms a Riesz (strong) basis for the space H^?m[a, b]. We also discuss the extension of these results to “generalized exponentials” tⁿe^λ_kt.     

On the absolute continuity of Schrödinger operators with spherically symmetric,long-range potentials,II

Let H = ?Δ + V, where the potential V is spherically symmetric and can be decomposed as a sum of a short-range and a long-range term, V(r) = V_S(r) + V_L. Let λ = lim sup_r→∞V_L(r) < ∞ (we allow λ = ? ∞) and set λ⁺ = max(λ, 0). Assume that for some r₀, V_L(r) ?C^2k(r₀, ∞) and that there exists δ > 0 such that $\text{(}\text{d}\text{dr}\text{)}{}^{\mathrm{j}}\text{V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) · (λ}{}^{\mathrm{+}}\text{? V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) + 1)}{}^{\mathrm{?1}}\text{= O(r}{}^{\mathrm{?j\delta }}\text{), j = 1,…, 2k,}\text{as}\text{r → ∞}$. Assume further that $\text{∝}{}_1{}^{\mathrm{\infty }}\text{(}\text{dr}\text{¦ V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r)¦}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{) = ∞}$ and that 2kδ > 1. It is shown that: (a) The restriction of H to C^∞(Rⁿ) is essentially self-adjoint, (b) The essential spectrum of H contains the closure of (λ, ∞). (c) The part of H over (λ, ∞) is absolutely continuous.     

A theory for optimal regularization in the finite dimensional case

Consider the matrix problem $\text{Ax = y + ε =}\text{y}\text{?}$ in the case where A is known precisely, the problem is ill conditioned, and ε is a random noise vector. Compute regularized “ridge” estimates,$\text{x}\text{?}{}_{\mathrm{\lambda }}\text{= (A}{}^1\text{A + λI)}{}^{-1}\text{A}{}^1\text{y}\text{?}$,where ¹ denotes matrix transpose. Of great concern is the determination of the value of λ for which x?_λ “best” approximates $\text{x}{}_{\mathrm{<mtext>0</mtext>}}\text{= A}{}^{\mathrm{+}}\text{y}$. Let $\text{Q = 6}\text{x}\text{?}{}_{\mathrm{\lambda }}\text{? x}{}_{\mathrm{<mtext>0</mtext>}}\text{6}{}^2$,and define λ₀ to be the value of λ for which Q is a minimum. We look for λ₀ among solutions of dQ/dλ = 0. Though Q is not computable (since ε is unknown), we can use this approach to study the behavior of λ₀ as a function of y and ε. Theorems involving “noise to signal ratios” determine when λ₀ exists and define the cases λ₀ > 0 and λ₀ = ∞. Estimates for λ₀ and the minimum square error Q₀ = Q(λ₀) are derived.     

Diophantine inequalities with mixed powers,II

It is shown that if λ₁, …, λ₅ are non-zero real numbers, not all of the same sign, and at least one of the ratios $\text{λ}{}_{\mathrm{i}}\text{λ}{}_{\mathrm{j}}$ (1 ≤ j ≤ 3) is irrational then the values taken by $\text{λ}{}_1\text{x}{}_1{}^2\text{+ λ}{}_2\text{x}{}_2{}^2\text{+ λ}{}_3\text{x}{}_3{}^2\text{+ λ}{}_4\text{x}{}_4{}^3\text{+ λ}{}_5\text{x}{}_5{}^3$ for integer values of x₁, …, x₅ are everywhere dense on the real line. Similar results are proved for the polynomials $\text{λ}{}_1\text{x}{}_1{}^2\text{+ λ}{}_2\text{x}{}_1{}^2\text{+ λ}{}_3\text{x}{}_3{}^3\text{+ … + λ}{}_6\text{x}{}_6{}^3$ and $\text{λ}{}_1\text{x}{}_1{}^2\text{+ λ}{}_2\text{x}{}_2{}^2\text{+ λ}{}_3\text{x}{}_3{}^3\text{+ λ}{}_4\text{x}{}_4{}^3\text{+ λ}{}_5\text{x}{}_5{}^4\text{+ λ}{}_6\text{x}{}_6{}^4$.     

Perturbations with several independent parameters

In this paper we discuss the problem of determining a T-periodic solution $\text{x}{}^1\text{(·, λ)}$ of the differential equation x = A(t)x + f(t, x, λ) + b(t), where the perturbation parameter λ is a vector in a parameter-space R^k. The customary approach assumes that λ = λ(?), ??R. One then establishes the existence of an ?₀ > 0 such that the differential equation has a T-periodic solution $\text{x}{}^1\text{(·, λ(?))}$ for all ? satisfying 0 < ? < ?₀. More specifically it is usually assumed that λ(?) has the form λ(?) = ?λ₀ where λ₀ is a fixed vector in R^k. This means that attention is confined in the perturbation procedure to examining the dependence of $\text{x}{}^1\text{(·, λ)}$ on λ as λ varies along a line segment terminating at the origin in the parameter-space R^k. The results established here generalize this previous work by allowing one to study the dependence of $\text{x}{}^1\text{(·, λ)}$ on λ as λ varies through a “conical-horn” whose vertex rests at the origin in R^k. In the process an implicit-function formula is developed which is of some interest in its own right.     

A decomposition theorem for an analytic function

Let f(z), an analytic function with radius of convergence R (0 < R < ∞) be represented by the gap series ∑_{k = 0}^∞c_kz^λ_k. Set and define the growth constants ?, λ, T, t by

$\text{?}\text{λ}\text{=}\text{lim sup}\text{r→R}\text{inf}\text{{}\text{log}\text{[Rr /(R?r)]}{}^{\mathrm{?1}}\text{log}{}^{\mathrm{+}}\text{log}{}^{\mathrm{+}}\text{M(r)}}$

, and if 0 < ? < ∞,

$\text{T}\text{t}\text{=}\text{lim sup}\text{r→R}\text{inf}\text{{[Rr /(R?r)]}{}^{\mathrm{??}}\text{log}{}^{\mathrm{+}}\text{M(r)}}$

. Then, assuming 0 < t < T < ∞, we obtain a decomposition theorem for f(z).     

Diophantine inequalities with mixed powers

It is shown that λ₁, λ₂,…, λ₆, μ are not all of the same sign and at least one ratio $\text{λ}{}_{\mathrm{i}}\text{λ}{}_{\mathrm{j}}$ is irrational then the values taken by $\text{λ}{}_1\text{x}{}_1{}^3\text{+ ? + λ}{}_6\text{x}{}_6{}^3\text{+ μy}{}^3$ for integer values of x₁ ,…, x₆, y are everywhere dense on the real line. A similar result holds for expressions of the form $\text{λ}{}_1\text{x}{}_1{}^3\text{+ ? + λ}{}_4\text{x}{}_4{}^3\text{+ μ}{}_1\text{y}{}_1{}^2\text{+ μ}{}_2\text{y}{}_2{}^3$.     

Construction of a recurrence relation for modified moments

In this paper we are constructing a recurrence relation of the form

$\text{∑}\text{i=0}\text{r}\text{ω}{}_{\mathrm{i}}\text{(k)m}{}_{\mathrm{k+i}}{}^{\mathrm{\{\lambda \}}}\text{[f] = ω(k)}$

for integrals (called modified moments)

$\text{m}{}_{\mathrm{k}}{}^{\mathrm{\{\lambda \}}}\text{[f]df=}\text{∫}\text{?1}\text{1}\text{f(x)C}{}_{\mathrm{k}}{}^{\mathrm{(\lambda )}}\text{(x)dx (k = 0,1,…)}$

in which C_k^(λ) is the k-th Gegenbauer polynomial of order $\text{λ(λ > ?}\text{1}\text{2}\text{)}$, and f is a function satisfying the differential equation

$\text{∑}\text{i=0}\text{n}\text{P}{}_{\mathrm{i}}\text{(x)f}{}^{\mathrm{(i)}}\text{(x) = p(x) (?1?x?1)}$

of order n, where p₀, p₁, …, p_n ? 0 are polynomials, and m_k^〈λ〉[p] is known for every k. We give three methods of construction of such a recurrence relation. The first of them (called Method I) is optimum in a certain sense.     

On the convergence of solutions of functional differential equations with infinite delay

Let $\text{C(β), S1(β),}\text{and}\text{K(β, λ)}$ be the classes of univalent functions defined in $\text{E = {z: ¦z¦< 1}}$, which are convex of order β, starlike of order β and close-to-convex of order β type λ. Let $\text{f(z) = (}\text{1}\text{α}\text{)z}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>\alpha </mtext>}}\text{∝}{}^{\mathrm{z}}{}_0\text{z}{}^{\mathrm{<mtext>1</mtext><mtext>x?2</mtext>}}\text{F(z)dz, 0 ? α < 1}$. We discuss the properties of the function f when this function F belongs to the class K(β, λ) and its various subclasses.     

On a conjecture by D. Ž. D̄okovic

It is shown that if $\text{A?Ω}{}_{\mathrm{n}}\text{?{J}{}_{\mathrm{n}}\text{}}$ satisfies

$\text{nkσ}{}_{\mathrm{k}}\text{(A)?(n?k+1)}{}^2\text{σ}{}_{\mathrm{k?1}}\text{(A)}$

$\text{(k=1,2,…,n)}$

, where σ_k(A) denotes the sum of all kth order subpermanent of A, then Per[λJ_n+(1?λ)A] is strictly decreasing in the interval 0<λ<1.     

Concrete model theory for a class of operators

The operator $\text{L?(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∝}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∝}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ acting on H=∝₀^2π⊕L²(v_t), where m and v_t, 0 ? t ? 2π are measures on [0, 2π] with m smooth and e(s, t) = exp[?∝_t^s∝_Tdv_λ(θ) dm(λ)], satisfies $\text{rank}\text{(I ? LL}{}^1\text{) =}\text{rank}\text{(I ? L}{}^1\text{L) = 1}$. It is, therefore, unitarily equivalent to a scalar Sz.-Nagy-Foia? canonical model. The purpose of this paper is to determine the model explicitly and to give a formula for the unitary equivalence.     

The second largest eigenvalue of a tree

Denote by λ₂(T) the second largest eigenvalue of a tree T. An easy algorithm is given to decide whether λ₂(T)?λ for a given number λ, and a structure theorem for trees withλ₂(T)?λ is proved. Also, it is shown that a tree T with n vertices has $\text{λ}{}_2\text{(T)?lsqb}\text{(n?3)}\text{2}\text{rsqb}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$; this bound is best possible for odd n.     

Sturm—Liouville problems with several parameters

We consider the regular linear Sturm-Liouville problem (second-order linear ordinary differential equation with boundary conditions at two points x = 0 and x = 1, those conditions being separated and homogeneous) with several real parameters λ₁,…,λ_N. Solutions to this problem correspond to eigenvaluesλ = (λ₁,…,λ_N) forming sets $\text{R}$^N determined by the number of zeroes in (0, 1) of solutions. We describe properties of these sets including: boundedness, and when unbounded, asymptotic directions. Using these properties some results are given for the system of N Sturm-Liouville problems which share only the parameters λ. Sharp results are given for the system of two problems sharing two parameters. The eigensurfaces for a single problem are closely related to the cone $\text{K={λ R}{}^{\mathrm{N}}\text{:λ}{}_1\text{a}{}_1\text{(x)+…+λ}{}_{\mathrm{N}}\text{a}{}_{\mathrm{N}}\text{(x)?0 for all x in [0,1]}}$, particularly in questions of boundedness. The cone K and related objects are discussed, and a result is given which relates cones with two oscillation conditions known as “Right-Definiteness” and “Left-Definiteness.”     

Unavoidable stars in 3-graphs

Suppose $\text{F}$ is a collection of 3-subsets of {1,2,…,n}. The problem of determining the least integer $\text{?(n, k)}$ with the property that if $\text{|F| > ?(n, k)}$ then $\text{F}$ contains a k-star (i.e., k 3-sets such that the intersection of any pair of them consists of exactly the same element) is studied. It is proved that, for k odd, $\text{?(n, k) = k(k ? 1)n + O(k}{}^3\text{)}$ and, for k even, $\text{?(n, k) = k(k ?}\text{3}\text{2}\text{)n + O(n + k}{}^3\text{)}$.     

Concrete model theory for a class of operators with unitary part

Let m and v_t, 0 ? t ? 2π be measures on T = [0, 2π] with m smooth. Consider the direct integral $\text{H}$ = ⊕L²(v^t) dm(t) and the operator $\text{(L?)(t, λ) = e}{}^{\mathrm{?i\lambda }}\text{?(t, λ) ? 2e}{}^{\mathrm{?i\lambda }}\text{∫}{}_{\mathrm{t}}{}^{\mathrm{2\pi }}\text{∫}{}_{\mathrm{T}}\text{?(s, x) e(s, t) dv}{}_{\mathrm{s}}\text{(x) dm(s)}$ on $\text{H}$, where e(s, t) = exp ∫_s^t ∫_Tdv_λ(θ) dm(λ). Let μ_t be the measure defined by $\text{∫}{}_{\mathrm{T}}\text{?(x) dμ}{}_{\mathrm{t}}\text{(x) = ∫}{}_0{}^{\mathrm{t}}\text{∫}{}_{\mathrm{T}}\text{?(x) dv}{}_{\mathrm{s}}\text{dm(s)}$ for all continuous ?, and let ?_t(z) = exp[?∫ (e^iθ + z)(e^iθ ? z)^?1dμ_t(gq)]. Call {v_t} regular iff for all $\text{t, ¦?}{}_{\mathrm{t}}\text{(e}{}^{\mathrm{i\theta }}\text{)¦ = ¦?}{}_{\mathrm{2\pi }}\text{(e}{}^{\mathrm{i\theta }}\text{)¦}$ for 1 a.e.     

Critical exponents for the Pucci's extremal operatorsLes exposants critiques pour l'opérateur extrémal de Pucci

In this Note we present some results on the existence of radially symmetric solutions for the nonlinear elliptic equation

(1)$\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}\text{(D}{}^2\text{u)+u}{}^{\mathrm{p}}\text{=0,u?0}\text{in}\text{R}{}^{\mathrm{N}}\text{.}$

Here N?3, p>1 and $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}$ denotes the Pucci's extremal operators with parameters 0<λ?Λ. The goal is to describe the solution set as function of the parameter p. We find critical exponents $\text{1<p}{}^{\mathrm{s}}{}_{\mathrm{+}}\text{<p}{}^1{}_{\mathrm{+}}\text{<p}{}^{\mathrm{p}}{}_{\mathrm{+}}$, that satisfy: (i) If $\text{1<p<p}{}^1{}_{\mathrm{+}}$ then there is no nontrivial solution of ($\text{1}$). (ii) If $\text{p=p}{}^1{}_{\mathrm{+}}$ then there is a unique fast decaying solution of ($\text{1}$). (iii) If $\text{p}{}^1\text{<p?p}{}^{\mathrm{p}}{}_{\mathrm{+}}$ then there is a unique pseudo-slow decaying solution to ($\text{1}$). (iv) If p^p₊<p then there is a unique slow decaying solution to ($\text{1}$). Similar results are obtained for the operator $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{?}}$. To cite this article: P.L. Felmer, A. Quaas, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 909–914.     

A maximization problem and its application to canonical correlation

Let Σ be an n × n positive definite matrix with eigenvalues λ₁ ≥ λ₂ ≥ … ≥ λ_n > 0 and let M = {x, y | x?Rⁿ, y?Rⁿ, x ≠ 0, y ≠ 0, x′y = 0}. Then for x, y in M, we have that $\text{x′Σy}\text{(x′Σxy′Σy)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{≤}\text{(λ}{}_1\text{? λ}{}_{\mathrm{n}}\text{)}\text{(λ}{}_1\text{+ λ}{}_{\mathrm{n}}\text{)}$ and the inequality is sharp. If

$\text{∑=}\text{∑}{}_{11}\text{∑}{}_{12}\text{∑}{}_{21}\text{∑}{}_{22}$

is a partitioning of Σ, let θ₁ be the largest canonical correlation coefficient. The above result yields $\text{θ}{}_1\text{≤}\text{(λ}{}_1\text{? λ}{}_{\mathrm{n}}\text{)}\text{(λ}{}_1\text{+ λ}{}_{\mathrm{n}}\text{)}$.     

A family of difference sets in non-cyclic groups

A construction is given for difference sets in certain non-cyclic groups with the parameters $\text{v = q}{}^{\mathrm{s+1}}\text{{[}\text{(q}{}^{\mathrm{s+1}}\text{? 1)}\text{(q ? 1)}\text{] + 1}}$, $\text{k = q}{}^{\mathrm{s}}\text{(q}{}^{\mathrm{s+1}}\text{? 1)}\text{(q ? 1)}$, $\text{λ = q}{}^{\mathrm{s}}\text{(q}{}^{\mathrm{s}}\text{? 1)}\text{(q ? 1)}$, n = q^2s for every prime power q and every positive integer s. If q^s is odd, the construction yields at least $\text{1}\text{2}\text{(q}{}^{\mathrm{s}}\text{+ 1)}$ inequivalent difference sets in the same group. For q = 5, s = 2 a difference set is obtained with the parameters (v, k, λ, n) = (4000, 775, 150, 625), which has minus one as a multiplier.