Symmetrization of diagonalizable complex differential systems

Let L be a first order system where D₀=∂/∂x₀, Dj=∂/∂xj, y is a real vector parameter, I is the idendity 3×3 matrix and aj(y) is a 3×3 matrix-valued complex smooth function.Let L(y,ξ) be the symbol of L(y,D). We assume: ∀y, the real reduced dimension of L in y is 5 and L(y,ξ) is symmetrizable: ∃T(y) such that: T−1(y)L(y,ξ)T(y) is hermitian ∀ξ. We assume the nonexistence of some double characteristics depending on the reduced form of the system. Then: L(y,ξ) is smoothly symmetrizable ? ∃T(y) smooth (same smoothness as the coefficients) such that: T−1(y)L(y,ξ)T(y) is hermitian ∀ξ.     

Eigenvalue results for pseudomonotone perturbations of maximal monotone operators

Let X be an infinite-dimensional real reflexive Banach space such that X and its dual X* are locally uniformly convex. Suppose that T: X?D(T) → 2 ^X * is a maximal monotone multi-valued operator and C: X?D(C) → X* is a generalized pseudomonotone quasibounded operator with L ? D(C), where L is a dense subspace of X. Applying a recent degree theory of Kartsatos and Skrypnik, we establish the existence of an eigensolution to the nonlinear inclusion 0 ∈ T _x + λ C _x , with a regularization method by means of the duality operator. Moreover, possible branches of eigensolutions to the above inclusion are discussed. Furthermore, we give a surjectivity result about the operator λT + C when λ is not an eigenvalue for the pair (T, C), T being single-valued and densely defined.     

Polynomials in a matrix

Let A be a matrixp(x) a polynomial. Put B=p(A). It is shown that necessary and sufficient conditions for A to be a polynomial in B are (i) if λ is any eigenvalue of A, and if some elementary divisor of A corresponding to λ is nonlinear, thenp ^′(λ)≠0;and (ii) if λ,μ are distinct eigenvalues of A, then p(λ)p(μ) are also distinct. Here all computations are over some algebraically closed field.     

α-Amenable hypergroups

Let K denote a locally compact commutative hypergroup, L ¹(K) the hypergroup algebra, and α a real-valued hermitian character of K. We show that K is α-amenable if and only if L ¹(K) is α-left amenable. We also consider the α-amenability of hypergroup joins and polynomial hypergroups in several variables as well as a single variable.     

Friedrichs extensions of Schrödinger operators with singular potentials

The Friedrichs extension for the generalized spiked harmonic oscillator given by the singular differential operator −d²/dx²+Bx²+Ax⁻²+λx^−α (B>0, A?0) in L₂(0,∞) is studied. We look at two different domains of definition for each of these differential operators in L₂(0,∞), namely C₀^∞(0,∞) and D(T_2,F)∩D(M_λ,α), where the latter is a subspace of the Sobolev space W_2,2(0,∞). Adjoints of these differential operators on C₀^∞(0,∞) exist as result of the null-space properties of functionals. For the other domain, convolutions and Jensen and Minkowski integral inequalities, density of C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) in L₂(0,∞) lead to the other adjoints. Further density properties C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) yield the Friedrichs extension of these differential operators with domains of definition D(T_2,F)∩D(M_λ,α).     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Generalized Path Spaces,II

A combination of the LIAPUNOV-SCHMIDT procedure, the implicit function theorems and the topological degree theory is used to investigate bifurcation points of equations of the form T(v) = L(λ, v) + M(λ, v), (λ, v) ? A × D?, where A is an open subset in a normed space and for every fixed λ ? A, T, L(λ ·) and M(λ ·) are mappings from the closure D? of a neighborhood D of the origin in a BANACH space X into another BANACH space Y with T(0) = L(λ, 0) = M(λ, 0) = 0. Let Λ be a characteristic value of the pair (T, L) such that T ? L( λ ,·) is a FREDHOLM mapping with nullity p and index s, p > s ≧ 0. Under suitable hypotheses on T. L and M, (λ , 0) is a bifurcation point of the above equations. This generalizes the results of [4], [6], [8], [13] and [14] etc. An application of the obtained results to the axisymmetric buckling problem of a thin spherical shell will be given.     

Similarity of matrices under SL(n,K)

Take a similarity class of n × n matrices over a field K Let p_i ,(λ) ^m(i) be the elementary divisors L_i , = K [λ]/(p_i ). Under conjugation by SL(n, K), the class splits into subclasses corresponding to the elements of K^×/Π(NL _i ^×) ^m(i).     

Linear maps on matrices: the invariance of symmetric polynomials

Let L be a linear map on the space M_n of all n by n complex matrices. Let h(x₁,…,x_n) be a symmetric polynomial. If X is a matrix in M_n with eigenvalues λ₁,…,λ_n, denote h(λ₁,…,λ_n) by h(X). For a large class of polynomials h, we determine the structure of the linear maps L for which h(X)=h(L(X)), for all X in M_n.     

The property of maximal eigenvectors of trees

Let T be a tree on n vertices and L(T) be its Laplacian matrix. The eigenvalues and eigenvectors of T are respectively referred to those of L(T). With respect to a given eigenvector Y of T, a vertex u of T is called a characteristic vertex if Y [u] = 0 and there is a vertex w adjacent to u with Y [w] ≠ 0; an edge e = (u, w) of G is called a characteristic edge if Y [u]Y [w] < 0. By 𝒞(T, Y) we denote the characteristic set of T with respect to the vector Y, which is defined as the collection of all characteristic vertices and characteristic edges of T corresponding to Y. Merris shows that 𝒞(T, Y) is fixed for all Fiedler vectors of the tree T. An eigenvector of T is called a k-vector (k ≥ 2) of T if this eigenvector corresponds to an eigenvalue λ _k with λ _k > λ _k?1, where λ₁, λ₂, …, λ _n are the eigenvalues of T arranged in non-decreasing order. A k-vector Y of T is called k-maximal if 𝒞(T, Y) has maximum cardinality among all k-vectors of T. We prove that (1) the characteristic set of T with respect to an arbitrary k-vector is contained in that with respect to any k-maximal vector; and consequently (2) the characteristic sets of T with respect to any two k-maximal vectors are same. Our result may be considered as a generalization of Merris' result as Fiedler vectors are 2-maximal.     

From regular boundary graphs to antipodal distance-regular graphs

Let Γ be a regular graph with n vertices, diameter D, and d + 1 different eigenvalues λ > λ₁ > ··· > λ_d. In a previous paper, the authors showed that if P(λ) > n − 1, then D ≤ d − 1, where P is the polynomial of degree d − 1 which takes alternating values ± 1 at λ₁, …, λ_d. The graphs satisfying P(λ) = n − 1, called boundary graphs, have shown to deserve some attention because of their rich structure. This paper is devoted to the study of this case and, as a main result, it is shown that those extremal (D = d) boundary graphs where each vertex have maximum eccentricity are, in fact, 2-antipodal distance-regular graphs. The study is carried out by using a new sequence of orthogonal polynomials, whose special properties are shown to be induced by their intrinsic symmetry. © 1998 John Wiley & Sons, Inc. J Graph Theory 27: 123–140, 1998     

On the equivalence of measures on loop space

Let K be a simply-connected compact Lie Group equipped with an Ad _K -invariant inner product on the Lie Algebra ?, of K. Given this data, there is a well known left invariant “H ¹-Riemannian structure” on L(K) (the infinite dimensional group of continuous based loops in K), as well as a heat kernel ν_T(k ₀, ·) associated with the Laplace-Beltrami operator on L(K). Here T > 0, k ₀∈L(K), and ν _T (k ₀, ·) is a certain probability measure on L(K). In this paper we show that ν₁(e,·) is equivalent to Pinned Wiener Measure on K on ? _s0 ≡<x _t : t∈ [0, s ₀]> (the σ-algebra generated by truncated loops up to “time”s ₀). Recevied: 9 September 1999 / Revised version: 13 March 2000 / Published online: 22 November 2000     

Shadow boundaries of three-dimensional bodies of constant width

The main results are as follows. Let K be a three-dimensional body of constant unit width, and let L be a line. Let T _L (K) denote the set of all points where tangents of K parallel to L touch K. It is proved that for each L the curve T _L (K) is rectifiable and has length at most ?2 p \sqrt {2} \pi ; this estimate is sharp. Furthermore, there always exists a line L such that the length of the orthogonal projection of T _L (K) to L is at most sin(π/10) + sin(π/20) < 0.4655. Bibliography: 2 titles.     

Bounds of the Ideal Class Numbers of Real Quadratic Function Fields

The theory of continued fractions of functions is used to give a lower bound for class numbers h(D) of general real quadratic function fields K=k(D)over k=Fq(T)．For five series of real quadratic function fields K,the bounds of h(D)are given more explicitly,e．g.,if D=F^2 C．then h(D)≥degF／degP;if D=(SG)^2 cS．then h(D)≥degS／degP;if D=(A^m a)^2 A,then h(D)≥degA／degP,where P is an irreducible polynomial splitting in K,c∈Fq．In addition,three types of quadratic function fields K are found to have ideal class numbers bigger than one．     

On spectral characterizations and embeddings of graphs

The least eigenvalue of the 0-1 adjacency matrix of a graph is denoted λ G. In this paper all graphs with λ(G) greater than ?2 are characterized. Such a graph is a generalized line graph of the form L(T;1,0,…,0), L(T), L(H), where T is a tree and H is unicyclic with an odd cycle, or is one of 573 graphs that arise from the root system E₈. If G is regular with λ(G)>?2, then Gis a clique or an odd circuit. These characterizations are used for embedding problems; λ_R(H) = sup{λ(G)z.sfnc;HinG; Gregular}. H is an odd circuit, a path, or a complete graph iff λ_R(H)> ?2. For any other line graph H, λ_R(H) = ?2. A similar result holds for complete multipartite graphs.     

A Non-Concentration Estimate for Partially Rectangular Billiards

We consider quasimodes on planar domains with a partially rectangular boundary. We prove that for any ε₀ > 0, an 𝒪(λ^?ε₀ ) quasimode must have L ² mass in the “wings” (in phase space) bounded below by λ^?2?δ for any δ > 0. The proof uses the author's recent work on 0-Gevrey smooth domains to approximate quasimodes on C ^{1, 1} domains. There is an improvement for C ^{k, α} and C ^∞ domains.     

Nonlinear eigenvalue problems with positively convex operators

We consider the equation u = λAu (λ > 0), where A is a forced isotone positively convex operator in a partially ordered normed space with a complete positive cone K. Let Λ be the set of positive λ for which the equation has a solution u?K, and let Λ₀ be the set of positive λ for which a positive solution—necessarily the minimum one—can be obtained by an iteration u_n = λAu_n?1, u₀ = 0. We show that if K is normal, and if Λ is nonempty, then Λ₀ is nonempty, and each set Λ₀, Λ is an interval with $\text{inf}\text{(Λ}{}_0\text{) =}\text{inf}\text{(Λ) = 0}\text{and sup}\text{(Λ}{}_0\text{) =}\text{sup}\text{(Λ) (= λ1,}\text{say}\text{)}$; but we may have λ1 ? Λ₀ and λ1 ? Λ. Furthermore, if A is bounded on the intersection of K with a neighborhood of 0, then Λ₀ is nonempty. Let u⁰(λ) = lim_n→∞(λA)ⁿ(0) be the minimum positive fixed point corresponding to λ ? Λ₀. Then u⁰(λ) is a continuous isotone convex function of λ on Λ₀.     

Local bifurcation from characteristic values with finite multiplicity and its application to axisymmetric buckled states of a thin spherical shell

The purpose of this paper is to study bifurcation points of the equation T(v) = L(λ,v) + M(λ,v), (λ,v) ? Λ × D in Banach spaces, where for any fixed λ ? Λ, T, L(λ,·) are linear mappings and M(λ,·) is a nonlinear mapping of higher order, M(λ,0) = 0 for all λ ? Λ. We assume that λ is a characteristic value of the pair (T, L) such that the mapping T – L(λ ,·) is Fredholm with nullity p and index s, p > s ? 0. We shall find some sufficient conditions to show that (λ ,0) is a bifurcation point of the above equation. The results obtained will be used to consider bifurcation points of the axisymmetric buckling of a thin spherical shell subjected to a uniform compressive force consisting of a pair of coupled non-linear ordinary differential equations of second order.     

Eigenvalue inequalities for principal submatrices

For a polynomial with real roots, inequalities between those roots and the roots of the derivative are demonstrated and translated into eigenvalue inequalities for a hermitian matrix and its submatrices. For example, given an n-by-n positive definite hermitian matrix with maximum eigenvalue λ, these inequalities imply that some principal submatrix has an eigenvalue exceeding $\text{[(}\text{n?1)}\text{n}\text{]λ}$.