DOCSLIB.ORG

November 1960 Table of Contents

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
November 1960 Table of Contents AMERICAN MATHEMATICAL SOCIETY VOLUME 7, NUMBER 6 ISSUE NO. 49 NOVEMBER 1960 AMERICAN MATHEMATICAL SOCIETY Nottces Edited by GORDON L. WALKER Contents MEETINGS Calendar of Meetings ••••••••••.••••••••••••.••• 660 Program of the November Meeting in Nashville, Tennessee . 661 Abstracts for Meeting on Pages 721-732 Program of the November Meeting in Pasadena, California • 666 Abstracts for Meeting on Pages 733-746 Program of the November Meeting in Evanston, Illinois . • • 672 Abstracts for Meeting on Pages 747-760 PRELIMINARY ANNOUNCEMENT OF MEETINGS •.•.••••• 677 NEWS AND COMMENT FROM THE CONFERENCE BOARD OF THE MATHEMATICAL SCIENCES ••••••••••••.••• 680 FROM THE AMS SECRETARY •...•••.••••••••.•••.• 682 NEWS ITEMS AND ANNOUNCEMENTS .•••••.•••••••••• 683 FEATURE ARTICLES The Sino-American Conference on Intellectual Cooperation .• 689 National Academy of Sciences -National Research Council .• 693 International Congress of Applied Mechanics ..••••••••. 700 PERSONAL ITEMS ••.•.••.•••••••••••••••••••••• 702 LETTERS TO THE EDITOR.. • • • • • • • . • . • . 710 MEMORANDA TO MEMBERS The Employment Register . • . • • . • • • • • . • • • • 712 Employment of Retired Mathematicians ••••••.••••..• 712 Abstracts of Papers by Title • • . • . • • • . • . • • . • . • • . • 713 Reciprocity Agreement with the Societe Mathematique de Belgique .••.•••.••.••.•.•••••..•••••.•. 713 NEW PUBLICATIONS ..•..•••••••••.•••.•••••••••• 714 ABSTRACTS OF CONTRIBUTED PAPERS •.•••••••.••..• 715 RESERVATION FORM .•...•.•.•••••.••••..•••...• 767 MEETINGS CALENDAR OF MEETINGS Note: This Calendar lists all of the meetings which have been approved by the Council up to the date at which this issue of the NOTICES was sent to press. The summer and annual meetings are joint meetings of the Mathematical Asso­ ciation of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change. This is particularly true of the meetings to which no numbers have yet been assigned. Meet­ Deadline ing Date Place for No. Abstracts* 576 January 24-27, 1961 Washington, D. C. Dec. 9 (67 Annual Meeting) 577 February 25, 1961 New York, New York Jan. 12 578 April 6-8, 1961 N'ew York, New York Feb. 22 579 April 14-15, 1961 Chicago, Illinois Feb, 22 580 April 22, 1961 Stanford, California Feb. 22 581 June 14-16, 1961 Seattle, Washington May 1 582 August, 1961 Stillwater, Oklahoma (66th Summer Meeting) November 17-18, 1961 Milwaukee, Wisconsin January, 1962 Cincinnati, Ohio (68th Anual Meeting) August, 1962 Vancouver, British Columbia (67th Summer Meeting) January, 1963 Berkeley, California (69th Annual Meeting) August, 1963 Boulder, Colorado (68th Summer Meeting) *The abstracts of papers to be presented in person at the meetings must be re­ ceived in the Headquarters Offices of the Society in Providence, Rhode Island on or before these deadlines. The deadlines also apply to news items. The next two deadline dates for by title abstracts are December 2 and January 3. The NOTICES of the American Mathematical Society is published by the Society seven times a year, in February, April, June, August, October, November, and December. Price per annual volume is $7 .00. Price per copy, $2,00. Special price for copies sold at registration desks of meetings of the Society, $1.00 per copy. Subscriptions, orders for back numbers (none available before 1958) and inquiries should be addressed to the American Mathematical Society, Ann Arbor, Michigan, or 190 Hope Street, Providence 6, Rhode Island. Second-class postage paid at Ann Arbor, Michigan. Authorization is granted under the authority of the act of August 24, 1912, as amended by the act of August 4, 1947 (Sec. 34.21, P. L. and R.). Accepted for mailing at the special rate of postage provided for in section 34.. 40, paragraph (d). Copyright © 1960 by the American Mathematical Society Printed in tbe United States of America 660 FIVE HUNDRED SEVENTY-THIRD MEETING Vanderbilt University Nashville, Tennessee November 18-19, 1960 PROGRAM The five hundred seventy-third meeting of the American Mathe­ matical Society will be held at Vanderbilt University, Nashville, Ten­ nessee, on November 18-19, 1960, in Furman Hall, By invitation of the Committee to Select Hour Speakers for the Southeastern Sectional Meetings, Professor GayleS. Young, Jr. will address the Society on "Topological Methods for Complex Functions in the Disk" at 2:00P.M. Friday in Room 108, Furman Hall. Sessions for contributed papers will be held from 3:30 P.M. to 5:30P.M. on Friday and from 10:30 A.M. to noon on Saturday. Registration headquarters will be in Furman Hall and will be open from 10:00 A.M. Friday until noon on Saturday. The Rand Hall Cafeteria will be available for meal service. In addition most of the hotels and motels listed below provide dining service, and the others are in the immediate vicinity of such service. Reservations should be made directly with the chosen hotel or motel, Be sure to mention the American Mathematical Society in your correspondence as some of the rates quoted are somewhat be­ low the regular rates. Downtown hotels approximately two miles from the meeting: Single Twin Hermitage $5.oo -=---$IT.oo $10.00 - $18.00 Noel 5.50 - 10.50 9.00 - 13.00 james Robertson 4.50 - 6.50 8.50 - 10.00 Maxwell House 5.00 - 6.00 9.00 Andrew jackson 6.00 - 9.00 10.50 - 14.00 The following are within two blocks of the meeting place: Double Allen Hotel 2004 West End Avenue $6.00 $8.00 Anchor Motel West End at 20th Avenue 8.00 10.00 Medical Arts Building (Very limited number rooms available) 5.00 8.00 661 The motels listed below are within 10 minutes drive of the cam- pus: Single Double York Hotel Court 2501 Franklin Road $5.50 $7.00 Drake Motel Highway 41-70S 7.00 8.00 Biltmore Hotel Court 2400 Franklin Road 6.00 7.50 Vanderbilt University is about two miles west of downtown Nashville and is on West End Avenue at 21st Avenue, South. Mail and other messages for those attending the meeting may be sent in care of the Math em a tics Department, Vanderbilt University, Nashville, Tennessee. PROGRAM OF THE SESSIONS The time limitfor each contributed paper is ten minutes. The contributed papers are scheduled at 15 minute intervals so that lis­ teners can circulate between the different sessions. To maintain this schedule, the time limit will be strictly enforced. FRIDAY, 3:30P.M. Session on Topology, Room 202, Furman Hall 3:30 - 3:40 (1) Real commutative semigroups on the plane Professor J. G. Horne, Jr., University of Georgia (573-5) 3:45 - 3:55 (2) Cartesian products with intervals Professor Morton L. Curtis, Florida State University (573-11) 4:00 - 4:10 (3) The fundamental group of certain deleted product spaces Mr. C. W. Patty, University of North Carolina (573-12) 4:15- 4:25 (4) Shrinking continua in the n-sphere Mr. C. H. Edwards, Jr., University of Tennessee (573 -14) 4:30 - 4:40 (5) Local connectedness and inverse limit spaces Professor M. K. Fort, Jr., and Mr. Jack Segal, Univer­ sity of Georgia (573-4) 662 4:45 - 4:55 (6) Cut points in totally nonsemi-locally-connected continua Professor E. E. Grace, Emory University (573-22) FRIDAY, 3:30P.M. Session on Analysis, Room 208, Furman Hall 3:30 - 3:40 (7) A note on subseries convergence Professor Charles W. McArthur, Florida State Univer­ sity (573-7) 3:45 - 3:55 (8) Local linear dependence and the vanishing of the Wronskian Dr. Gary Meisters, RIAS, Baltimore, Maryland and the University of Nebraska (573-10) 4:00 - 4:10 (9) Facto ring merom orphic functions Professor William C. Fox, Tulane University (573-15) 4:15 - 4:25 (10) Generalized differentiation Professor Costas Kassimatis, North Carolina State Col­ lege (573-16) 4:30 - 4:40 (11) Generalized condensation points Professor N. F. G. Martin, University of Virginia (573 -17) SATURDAY, 10:00 A.M. General Session, Room 202, Furman Hall 10:00 - 10:10 (12) An axiom system for set theory Professor E. Baylis Shanks, Vanderbilt University (573-26) 10:15 - 10:25 (13) The secular characteristics of the motion of an earth satel­ lite Professor G. C. Caldwell and Professor R. A. Struble, North Carolina State College (573-18) 10:30 - 10:40 (14) General perturbational solutions of the Mathieu equation Professor Raimond A. Struble, North Carolina State Col­ lege (573-27) 10:45 - 10:55 (15) On the inverses of finite Toeplitz matrices Dr. Roy Leipnik, Naval Ordnance Test Station, China Lake, California and Dr. John E. Maxfield, University of Florida (573-24) 663 11:00- 11:10 (16) Properties of algebras almost equivalent to identities Professor Trevor Evans, Emory University (573-21) SATURDAY, 10:00 A.M. Session on Topology, Room 208, Furman Hall 10:00 - 10:10 (17) A linearly ordered continuum of arbitrarily high cardinality Professor Ben Fitzpatrick, Jr ,, Auburn University (573 -3) 10:15- 10:25 (18) Indecomposability and T(p) sets Professor H. S, Davis, Mr. D.P. Stadtlander and Pro­ fessor P. M. Swingle, University of Miami (573-13) 10:30 - 10:40 (19) Irreducible continua and T(p) sets Professor H. S. Davis, Mr. D.P. Stadtlander and Pro­ fessor P.M. Swingle, University of Miami (573-20) 10:45 - 10:55 (20) A clan with zero and without the fixed point property Professor Haskell Cohen, Louisiana State University (573-19) 11:00- 11:10 (21) Semigroups on trees Professor R. J, Koch, Louisiana State University and Professor L. F. McAuley, University of Wisconsin (573-23) 11:15 - 11:25 (22) A certain contractible open 3 -manifold, Preliminary report. Dr. D. R. McMillan, Jr ,, Louisiana State University (573 -25) SUPPLEMENTARY PROGRAM (To be presented by title) (23) Asymptotic behavior of general queues with one server. II. Dr. V. E. Beneff, Bell Telephone Laboratories, Incorpo­ rated, Murray Hill, New Jersey (573-1) (24) Some operational equations for symmetric polynomials Professor Leonard Garlitz, Duke University (25) Some congruences for the Bell polynomials Professor Leonard Garlitz, Duke University (26) A theorem on "ordered" polynomials in a finite field Professor Leonard Garlitz, Duke University 664 (27) Criteria for generalized Kummer's congruences Professor Leonard Carlitz and Mr.
Load more

Recommended publications
  • REPORTS in INFORMATICS Department of Informatics
    REPORTS IN INFORMATICS ISSN 0333-3590 Sparsity in Higher Order Methods in Optimization Geir Gundersen and Trond Steihaug REPORT NO 327 June 2006 Department of Informatics UNIVERSITY OF BERGEN Bergen, Norway This report has URL http://www.ii.uib.no/publikasjoner/texrap/ps/2006-327.ps Reports in Informatics from Department of Informatics, University of Bergen, Norway, is available at http://www.ii.uib.no/publikasjoner/texrap/. Requests for paper copies of this report can be sent to: Department of Informatics, University of Bergen, Høyteknologisenteret, P.O. Box 7800, N-5020 Bergen, Norway Sparsity in Higher Order Methods in Optimization Geir Gundersen and Trond Steihaug Department of Informatics University of Bergen Norway fgeirg,[email protected] 29th June 2006 Abstract In this paper it is shown that when the sparsity structure of the problem is utilized higher order methods are competitive to second order methods (Newton), for solving unconstrained optimization problems when the objective function is three times continuously differentiable. It is also shown how to arrange the computations of the higher derivatives. 1 Introduction The use of higher order methods using exact derivatives in unconstrained optimization have not been considered practical from a computational point of view. We will show when the sparsity structure of the problem is utilized higher order methods are competitive compared to second order methods (Newton). The sparsity structure of the tensor is induced by the sparsity structure of the Hessian matrix. This is utilized to make efficient algorithms for Hessian matrices with a skyline structure. We show that classical third order methods, i.e Halley's, Chebyshev's and Super Halley's method, can all be regarded as two step Newton like methods.
    [Show full text]
  • Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods1
    Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods1 Richard Barrett2, Michael Berry3, Tony F. Chan4, James Demmel5, June M. Donato6, Jack Dongarra3,2, Victor Eijkhout7, Roldan Pozo8, Charles Romine9, and Henk Van der Vorst10 This document is the electronic version of the 2nd edition of the Templates book, which is available for purchase from the Society for Industrial and Applied Mathematics (http://www.siam.org/books). 1This work was supported in part by DARPA and ARO under contract number DAAL03-91-C-0047, the National Science Foundation Science and Technology Center Cooperative Agreement No. CCR-8809615, the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under Contract DE-AC05-84OR21400, and the Stichting Nationale Computer Faciliteit (NCF) by Grant CRG 92.03. 2Computer Science and Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, TN 37830- 6173. 3Department of Computer Science, University of Tennessee, Knoxville, TN 37996. 4Applied Mathematics Department, University of California, Los Angeles, CA 90024-1555. 5Computer Science Division and Mathematics Department, University of California, Berkeley, CA 94720. 6Science Applications International Corporation, Oak Ridge, TN 37831 7Texas Advanced Computing Center, The University of Texas at Austin, Austin, TX 78758 8National Institute of Standards and Technology, Gaithersburg, MD 9Office of Science and Technology Policy, Executive Office of the President 10Department of Mathematics, Utrecht University, Utrecht, the Netherlands. ii How to Use This Book We have divided this book into five main chapters. Chapter 1 gives the motivation for this book and the use of templates. Chapter 2 describes stationary and nonstationary iterative methods.
    [Show full text]
  • The Astrometric Core Solution for the Gaia Mission Overview of Models, Algorithms and Software Implementation
    Astronomy & Astrophysics manuscript no. aa17905-11 c ESO 2018 October 30, 2018 The astrometric core solution for the Gaia mission Overview of models, algorithms and software implementation L. Lindegren1, U. Lammers2, D. Hobbs1, W. O’Mullane2, U. Bastian3, and J. Hernandez´ 2 1 Lund Observatory, Lund University, Box 43, SE-22100 Lund, Sweden e-mail: Lennart.Lindegren, [email protected] 2 European Space Agency (ESA), European Space Astronomy Centre (ESAC), P.O. Box (Apdo. de Correos) 78, ES-28691 Villanueva de la Canada,˜ Madrid, Spain e-mail: Uwe.Lammers, William.OMullane, [email protected] 3 Astronomisches Rechen-Institut, Zentrum fur¨ Astronomie der Universitat¨ Heidelberg, Monchhofstr.¨ 12–14, DE-69120 Heidelberg, Germany e-mail: [email protected] Received 17 August 2011 / Accepted 25 November 2011 ABSTRACT Context. The Gaia satellite will observe about one billion stars and other point-like sources. The astrometric core solution will determine the astrometric parameters (position, parallax, and proper motion) for a subset of these sources, using a global solution approach which must also include a large number of parameters for the satellite attitude and optical instrument. The accurate and efficient implementation of this solution is an extremely demanding task, but crucial for the outcome of the mission. Aims. We aim to provide a comprehensive overview of the mathematical and physical models applicable to this solution, as well as its numerical and algorithmic framework. Methods. The astrometric core solution is a simultaneous least-squares estimation of about half a billion parameters, including the astrometric parameters for some 100 million well-behaved so-called primary sources.
    [Show full text]
  • Object Oriented Design Philosophy for Scientific Computing
    Mathematical Modelling and Numerical Analysis ESAIM: M2AN Mod´elisation Math´ematique et Analyse Num´erique M2AN, Vol. 36, No 5, 2002, pp. 793–807 DOI: 10.1051/m2an:2002041 OBJECT ORIENTED DESIGN PHILOSOPHY FOR SCIENTIFIC COMPUTING Philippe R.B. Devloo1 and Gustavo C. Longhin1 Abstract. This contribution gives an overview of current research in applying object oriented pro- gramming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scien- tific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the paper: hp-adaptive finite elements in one-, two- and three dimensions with the development of automatic refinement strategies, multigrid methods applied to adaptively refined finite element solution spaces and parallel computing. Mathematics Subject Classification. 65M60, 65G20, 65M55, 65Y99, 65Y05. Received: 3 December, 2001. 1. Introduction Finite element programming has been a craft since the decade of 1960. Ever since, finite element programs are considered complex, especially when compared to their rival numerical approximation technique, the finite difference method. Essential elements of complexity of the finite element method are: • Meshes are generally unstructured, leading to the necessity of node renumbering schemes and complex sparcity structures of the tangent
    [Show full text]
  • Ubung 4.10 Check That the Inverse of L
    Ubung¨ 4.10 Check that the inverse of L(k) is given by 1 .. 0 . . . .. .. . . 0 1 (L(k))−1 = . (4.7) . .. . −lk ,k . +1 . . 0 .. . . .. .. 0 ··· 0 −l 0 ··· 0 1 n,k Each step of the above Gaussian elimination process sketched in Fig. 4.2 is realized by a multiplication from the left by a matrix, in fact, the matrix (L(k))−1 (cf. (4.7)). That is, the Gaussian elimination process can be described as A = A(1) → A(2) =(L(1))−1A(1) → A(3) =(L(2))−1A(2) =(L(2))−1(L(1))−1A(1) → ... → A(n) =(L(n−1))−1A(n−1) = ... =(L(n−1))−1(L(n−2))−1 ... (L(2))−1(L(1))−1A(1) =:U upper triangular Rewriting this|{z yields,} the LU-factorization A = L(1) ··· L(n−1) U =:L The matrix L is a lower triangular matrix| as{z the product} of lower triangular matrices (cf. Exercise 4.5). In fact, due to the special structure of the matrices L(k), it is given by 1 . l .. L = 21 . . .. .. ln ··· ln,n 1 1 −1 as the following exercise shows: Ubung¨ 4.11 For each k the product L(k)L(k+1) ··· L(n−1) is given by 1 .. 0 . . . .. .. . . 0 1 L(k)L(k+1) ··· L(n−1) = . . . lk ,k 1 +1 . . l .. k+2,k+1 . . .. .. 0 ··· 0 l l ··· l 1 n,k n,k+1 n,n−1 40 Thus, we have shown that Gaussian elimination produces a factorization A = LU, (4.8) where L and U are lower and upper triangular matrices determined by Alg.
    [Show full text]
  • Mathematical Methods for Physicists: a Concise Introduction
    Mathematical Methods for Physicists: A concise introduction TAI L. CHOW CAMBRIDGE UNIVERSITY PRESS Mathematical Methods for Physicists A concise introduction This text is designed for an intermediate-level, two-semester undergraduate course in mathematical physics. It provides an accessible account of most of the current, important mathematical tools required in physics these days. It is assumed that the reader has an adequate preparation in general physics and calculus. The book bridges the gap between an introductory physics course and more advanced courses in classical mechanics, electricity and magnetism, quantum mechanics, and thermal and statistical physics. The text contains a large number of worked examples to illustrate the mathematical techniques developed and to show their relevance to physics. The book is designed primarily for undergraduate physics majors, but could also be used by students in other subjects, such as engineering, astronomy and mathematics. TAI L. CHOW was born and raised in China. He received a BS degree in physics from the National Taiwan University, a Masters degree in physics from Case Western Reserve University, and a PhD in physics from the University of Rochester. Since 1969, Dr Chow has been in the Department of Physics at California State University, Stanislaus, and served as department chairman for 17 years, until 1992. He served as Visiting Professor of Physics at University of California (at Davis and Berkeley) during his sabbatical years. He also worked as Summer Faculty Research Fellow at Stanford University and at NASA. Dr Chow has published more than 35 articles in physics journals and is the author of two textbooks and a solutions manual.
    [Show full text]
  • SDT 5.2 Manual
    Structural Dynamics Toolbox FEMLink For Use with MATLAB r User’s Guide Etienne Balm`es Version 5.2 Jean-Michel Lecl`ere How to Contact SDTools 33 +1 41 13 13 57 Phone 33 +6 77 17 29 99 Fax SDTools Mail 44 rue Vergniaud 75013 Paris (France) http://www.sdtools.com Web comp.soft-sys.matlab Newsgroup http://www.openfem.net An Open-Source Finite Element Toolbox [email protected] Technical support [email protected] Product enhancement suggestions [email protected] Sales, pricing, and general information Structural Dynamics Toolbox User’s Guide on May 27, 2005 c Copyright 1991-2005 by SDTools The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. No part of this manual in its paper, PDF and HTML versions may be copied, printed, photocopied or reproduced in any form without prior written consent from SDTools. Structural Dynamics Toolbox is a registered trademark of SDTools OpenFEM is a registered trademark of INRIA and SDTools MATLAB is a registered trademark of The MathWorks, Inc. Other products or brand names are trademarks or registered trademarks of their respective holders. Contents 1 Preface 9 1.1 Getting started . 10 1.2 Understanding the Toolbox architecture . 12 1.2.1 Layers of code . 12 1.2.2 Global variables . 13 1.3 Typesetting conventions and scientific notations . 14 1.4 Release notes for SDT 5.2 and FEMLink 3.1 . 17 1.4.1 Key features . 17 1.4.2 Detail by function .
    [Show full text]
  • Finite Element Analysis of Emi in a Multi-Conductor Connector
    FINITE ELEMENT ANALYSIS OF EMI IN A MULTI-CONDUCTOR CONNECTOR A Thesis Presented to The Graduate Faculty of The University of Akron In Partial Fulfillment of the Requirements for the Degree Master of Science Mohammed Zafaruddin May, 2013 FINITE ELEMENT ANALYSIS OF EMI IN A MULTI-CONDUCTOR CONNECTOR Mohammed Zafaruddin Thesis Approved: Accepted: _______________________________ _______________________________ Advisor Department Chair Dr. Nathan Ida Dr. Jose Alexis De Abreu Garcia _______________________________ _______________________________ Committee Member Dean of the College Dr. George C. Giakos Dr. George K. Haritos _______________________________ _______________________________ Committee Member Dean of the Graduate School Dr. Hamid Bahrami Dr. George R. Newkome _______________________________ Date ii ABSTRACT This thesis discusses the numerical analysis of electrical multi-conductor connectors intended for operation at high frequencies. The analysis is based on a Finite Element Tool and looks at the effect of conductors on each other with a view to design for electromagnetic compatibility of connectors. When there is an electrically excited conductor in a medium, it acts as an antenna at high frequencies and radiates electromagnetic power. If there are any conductors in its vicinity they too act as antennas and receive a part of the EM power. Electromagnetic Interference (EMI) from nearby excited conductors causes induced currents, according to Faraday‘s law, which is considered as noise for other conductors. This noise is affected by factors such as distance between the conductors, strength and frequency of currents, permittivity, permeability and conductivity of the medium between the conductors. To reduce the effects of EMI in a shielded multi-conductor connector, values of induced currents at various distances between the conductors have been calculated and analyzed.
    [Show full text]
  • Aladdin : a Computational Toolkit for Interactive Engineering Matrix And
    ALADDIN A COMPUTATIONAL TOOLKIT FOR INTERACTIVE ENGINEERING MATRIX AND FINITE ELEMENT ANALYSIS Mark Austin Xiaoguang Chen and WaneJang Lin Institute for Systems Research and Department of Civil Engineering University of Maryland College Park MD Novemb er Abstract This rep ort describ es Version of ALADDIN an interactive computational to olkit for the matrix and nite element analysis of engineering systems The ALADDIN package is designed around a language sp ecication that includes quantities with physical units branching constructs and lo oping constructs The basic language functionality is enhanced with external libraries of matrix and nite element functions ALADDINs problem solving capabilities are demonstrated via the solution to a series of matrix and numerical analysis problems ALADDIN is employed in the nite element analysis of two building structures and two highway bridge structures Contents I INTRODUCTION TO ALADDIN Intro duction to ALADDIN Problem Statement ALADDIN Comp onents Scop e of this Rep ort II MATRIX LIBRARY Command Language for Quantity and Matrix Op erations How to Start and Stop ALADDIN Format of General Command Language Physical Quantities Denition and Printing of Quantities Formatting of Quantity Output Quantity Arithmetic Making a Quantity Dimensionless
    [Show full text]
  • 4 Gaussian Elimination 4.1 Lower and Upper Triangular Matrices
    ∗ ∗∗∗∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗∗∗∗ ∗ Figure 4.1: schematic representation of lower (left) and upper (right) matrices (n = 4); blank spaces represent a 0 4 Gaussian elimination goal: solve, for given A ∈ Rn×n and b ∈ Rn, the linear system of equations Ax = b. (4.1) In the sequel, we will often denote the entries of matrices by lower case letters, e.g., the entries of A are (A)ij = aij. Likewise for vectors, we sometimes write xi = xi. Remark 4.1 In matlab, the solution of (4.1) is realized by x = A\b. In python, the function numpy.linalg.solve performs this. In both cases, a routine from lapack1 realizes the actual computation. The matlab realization of the backslash operator \ is in fact very complex. A very good discussion of many aspects of the realization of \ can be found in [1]. 4.1 lower and upper triangular matrices A matrix A ∈ Rn×n is • an upper triangular matrix if Aij = 0 for j < i; • a lower triangular matrix if Aij = 0 for j > i. • a normalized lower triangular matrix if, in addition to being lower triangular, it satisfies Aii = 1 for i =1,...,n. Linear systems where A is a lower or upper triangular matrix are easily solved by “forward substitution” or “back substitution”: Algorithm 4.2 (solve Lx = b using forward substitution) Input: L ∈ Rn×n lower triangular, invertible, b ∈ Rn Output: solution x ∈ Rn of Lx = b for j = 1:n do j−1 xj := bj − ljkxk ljj J convention: empty sum = 0 K k=1 end for P . 1linear algebra package, see en.wikipedia.org/wiki/LAPACK 49 Algorithm 4.3 (solution of Ux = b using back substitution) Input: U ∈ Rn×n upper triangular, invertible, b ∈ Rn Output: solution x ∈ Rn of Ux = b for j = n:-1:1 do n xj := bj − ujkxk ujj k=j+1 ! end for P .
    [Show full text]
  • Stiffness Matrix for a Bar Element
    CIVL 7/8117 Chapter 3 - Truss Equations - Part 2 1/44 Chapter 3b – Development of Truss Equations Learning Objectives • To derive the stiffness matrix for a bar element. • To illustrate how to solve a bar assemblage by the direct stiffness method. • To introduce guidelines for selecting displacement functions. • To describe the concept of transformation of vectors in two different coordinate systems in the plane. • To derive the stiffness matrix for a bar arbitrarily oriented in the plane. • To demonstrate how to compute stress for a bar in the plane. • To show how to solve a plane truss problem. • To develop the transformation matrix in three- dimensional space and show how to use it to derive the stiffness matrix for a bar arbitrarily oriented in space. • To demonstrate the solution of space trusses. Stiffness Matrix for a Bar Element Inclined, or Skewed Supports If a support is inclined, or skewed, at some angle for the global x axis, as shown below, the boundary conditions on the displacements are not in the global x-y directions but in the x’-y’ directions. CIVL 7/8117 Chapter 3 - Truss Equations - Part 2 2/44 Stiffness Matrix for a Bar Element Inclined, or Skewed, Supports We must transform the local boundary condition of v’3 = 0 (in local coordinates) into the global x-y system. Stiffness Matrix for a Bar Element Inclined, or Skewed, Supports Therefore, the relationship between of the components of the displacement in the local and the global coordinate systems at node 3 is: uu'33cos sin vv'33sin cos We can rewrite the above expression as: cos sin t dtd'[]333 3 sin cos We can apply this sort of transformation to the entire displacement vector as: T dTdordTd'[] 11 []' CIVL 7/8117 Chapter 3 - Truss Equations - Part 2 3/44 Stiffness Matrix for a Bar Element Inclined, or Skewed, Supports T Where the matrix [T1] is: []I [0] [0] []TIT [0][][0] 1 [0] [0] [t3 ] Both the identity matrix [I] and the matrix [t3] are 2 x 2 matrices.
    [Show full text]
  • Linear Algebra Libraries Claire Mouton
    Linear Algebra Libraries Claire Mouton To cite this version: Claire Mouton. Linear Algebra Libraries. [Technical Report] 2009, pp.35. inria-00576469 HAL Id: inria-00576469 https://hal.inria.fr/inria-00576469 Submitted on 15 Mar 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Linear Algebra Libraries Claire Mouton [email protected] March 2009 Contents I Requirements 3 II CPPLapack 4 III Eigen 5 IV Flens 6 V Gmm++ 7 VI GNU Scientific Library (GSL) 8 VII IT++ 9 VIII Lapack++ 10 IX Matrix Template Library (MTL) 11 X PETSc 13 XI Seldon 14 XII SparseLib++ 15 XIII Template Numerical Toolkit (TNT) 16 XIV Trilinos 17 XV uBlas 19 1 XVI Other Libraries 20 XVII Links and Benchmarks 22 1 Links 22 2 Benchmarks 22 2.1 Benchmarks for Linear Algebra Libraries . ...... 22 2.2 BenchmarksincludingSeldon . 23 2.2.1 BenchmarksforDenseMatrix. 23 2.2.2 BenchmarksforSparseMatrix . 26 XVIII Appendix 27 3 Flens Overloaded Operator Performance Compared to Seldon 27 4 Flens, Seldon and Trilinos Content Comparisons 29 4.1 Available Matrix Types from Blas (Flens and Seldon) . ....... 29 4.2 Available Interfaces to Blas and Lapack Routines (Flens and Seldon) .
    [Show full text]