19510229
Bifurcation in difference approximations to two-point boundary value problems
Numerical methods for bifurcation problems of the form (*) LyAXf(y), By =0, where f(0) = 0 and f'(0) * 0, are considered. Here y is a scalar function, X is a real scalar, L is a linear differential operator and By = 0 represents some linear homogeneous two-point boundary conditions. Under certain assumptions, it is shown that if (*) is replaced by an appropriate difference scheme, then there exists a unique branch of nontrivial solutions of the discrete problem in a neighborhood of a branch of nontrivial solutions of (*) bifurcating from the trivial solution and that the discrete branch converges to the continuous one. Error estimates are derived and an illustrative numerical example is included.
6860028
SOLVEBLOK: A Package for Solving Almost Block Diagonal Linear Systems
Abstract : In spline approximation and in the numerical solution of (systems of) ordinary differential equations, one is eventually faced with linear systems of a rather characteristic, almost block diagonal, form which reflects the underlying geometry of the problems. While these systems could be treated as banded systems, it is more efficient, both in the generation of the systems and in their numerical solution, to work explicitly with their block structure. The report describes a package of FORTRAN routines for the solution of an almost block diagonal system by Gauss elimination with scaled row pivoting. Two examples are given. The first involves the solution of an m-th order ordinary differential equation by collocation. The second example offers a package of routines for the solution of a system of first order ODEs by collection at Lobatto points which is then used on a somewhat tricky reentry problem.
121432014
The convergence of shooting methods
Shooting methods for nonlinear boundary value problems are examined. It is shown that the methods converge whenever the problem is well posed in the sense that the solution to be computed is isolated.
119709952
Product Integration for the Generalized Abel Equation
The solution of the generalized Abel integral equation g(t) f {k(t, s)/(t s)a}f (s) ds, 0 < a < 1, where k(t, s) is continuous, by the product integration analogue of the trapezoidal method is examined. It is shown that this method has order two convergence for a E [al, 1) with al 0.2117. This interval contains the important case a = 2. Convergence of order two for a E (0, al) is discussed and illustrated numerically. The possibility of constructing higher order methods is illustrated with an example.
120998826
Symmetric graphs with projective subconstituents
Let P be an undirected graph and G a subgroup of aut(r) acting transitively on the vertex set of P. Let x be an arbitrary vertex of P. We denote by P(x) the set of vertices adjacent to x and by G(x)F(x) the permutation group induced by the stabilizer G (x) of x in G on P(x); G (x)r(X) is called the subconstituent of the pair (P, G). For each i E N let Gi(x) = {a E G(x)Ia E G(y) if a (x, y) 1 then s 3. In [8], it was shown that s 3. We prove the following partial result:
122289259
On the Approximation of Fixed Points of Nonlinear Compact Operators
Certain methods for the approximate solution of $x - Kx = 0$, where K is a compact operator, lead to a family of operator equations $x - K_n x = 0$, $n \geqq 1$, where $K_n $,$n \geqq 1$, are collectively compact and converge pointwise to K. In this paper a new and simplified proof of the existence and uniqueness of a solution of $x - K_n x = 0$ in a neighborhood of an isolated solution of $x - Kx = 0$ is given.
122390175
An application of p -factorization methods to symmetric graphs
122472158
3-transpositions in infinite groups
Let G be a group. A subset D will be called a set of 3-transpositions if | x | = 2 for x e D and | xy | = 3 whenever x, yeD do not commute. We will call the set D closed if xDx −1 = D for each xeD . For each xeD , let For each subset X of D , we denote by [ X ] the graph with vertex set X where two elements x, yeX are joined by an edge whenever they commute. We denote by ( X ) the complement graph; thus two elements x, yeX are joined by an edge of ( X ) whenever they do not commute.
120137397
The nonexistence of certain Moufang polygons
Let F=(V, E) be an arbitrary undirected graph, finite or infinite, V the vertex set of F, E the edge set, and let G be an arbitrary subgroup of aut(F). For each x e V we denote by F(x) the set of vertices adjacent to x, by G(x) the stabilizer of x in G and, for each ieN, by Gi(x ) the subgroup {asG(x)l aeG(y) for all y e V with O(x,y)<i} where O(x,y) denotes the distance between x and y. An s-path (for seN) is an (s+ 1)-tuple (x 0 . . . . . x~) of vertices such that xi~F(x i_ 1) if 1 < i N s and xi+xi_ 2 if 2=<i<s. Let
123895884
Über Tuttes Cages
An undirected graph Γ of valencyd and girth γ is called a (d, γ)-cage if its automorphism group acts transitively on the set of alls-paths in Γ ands≥(γ+1)/2. We discuss an elementary construction of two known families of cages which allows us to prove easily some facts about their automorphism groups. We give, for example, a new proof of the fact that the automorphism group ofSp4(2n) contains elements which are not induced by ΓSp4(2n).
53988483
Permutation groups with projective unitary subconstituents
AssTRAcT. Let r be a finite directed graph with vertex set V(I) and edge set EQ7) and let G be a subgroup of aut(I) which we assume to act transitively on both V(r) and E(r). Suppose that for some prime power q, the stabilizer G(x) of a vertex x induces on both {yI(x,y) E E(r)) and {wl(w, x) E E)} a group lying between PSU(3, q2) and Pr1U(3, q2). It is shown that if G acts primitively on V(I), then for each edge (x, y), the subgroup of G(x) fixing every vertex in {wI(x, w) or (y, w) E E(r)) is trivial.