上海市力学学会60年

上海市力学学会成立于1959年9月20日,到今年正好是一个甲子．60个春秋真实写照了上海市力学学会的建立、成长、发展与壮大的过程．60年来,在上海市科协的领导和中国力学学会的指导下,在各团体成员单位的大力支持下,上海市力学学会一代代力学工作者薪火相传、开拓耕耘,历届理事会及下属工作委员会和专业委员会团结奋进、不断创新,广大会员踊跃参与,为上海力学大力发展、力学人才精心培养、力学知识科学普及、力学服务国家发展战略和区域经济建设中做出了重要贡献,学会持续发展壮大．在庆祝力学学会成立六十周年之际,让我们共同抒怀上海力学六十年薪火相传、回顾近10年重要发展,展望上海力学新时代．     

Direct computation of second-order SCF properties of large molecules on workstation computers with an application to large carbon clusters

Summary The ab initio SCF computation of second-order properties of large molecules (with 50 atoms or more) on workstation computers is demonstrated for static dipole polarizabilities and nuclear magneting shieldings. The magnetic shieldings are calculated on the basis of gauge including atomic orbitals (GIAO). Algorithmic advances (semi-direct algorithms with efficient integral pre-screening, and use of a quadratically convergent functional for the polarizabilities) are presented together with an illustrative application to the fullerenes C₆₀ and C₇₀.     

Nonlinear two-point boundary value problems with multiple solutions

In the first part of this paper we study the convergence of finite difference methods to approximate the maximal solution of problems of the form:u+f (x, u)=0, with boundary conditions eitheru(0)=u(b)=0 oru(0)=u (b)=0, 0<b1. The functionf(x, u) satisfies several conditions that are explicitly given in § 1. This work extends earlier results of Parter (see references at the end).Since this problem has in general more than one solution we develop in the second part two algorithms to approximate solutions characterized by the number of their zeros in (0, 1). We include in the last Section numerical results and some additional comments on the implementation of the algorithms on a digital computer.The research of this author was supported by the Office of Naval Research under contract N^o N-0014-67-A-0128-004.Part of this research was carried on while this author was visiting the Mathematics Research Center, University of Wisconsin, during the summer of 1969.     

On the existence and regularity of solutions of a quasilinear mixed equation of Leray-Lions type

Our aim in this article is to study the existence and regularity of solutions of a quasilinear elliptic-hyperbolic equation. This equation appears in the design of blade cascade profiles. This leads to an inverse problem for designing two-dimensional channels with prescribed velocity distributions along channel walls. The governing equation is obtained by transformation of the physical domain to the plane defined by the streamlines and the potential lines of fluid. We establish an existence and regularity result of solutions for a more general framework which includes our physical problem as a specific example.     

Isogroups of differential ideals of vector-valued differential forms: Application to partial differential equations

An older geometric technique for the study of invariance groups of partial differential equations, originally proposed by one of the authors and F. B. Estabrook, is generalized and extended to problems involving exterior equations for vector-valued or Lie algebra-valued exterior differential forms. Use of the method is demonstrated in the study of the symmetry groups of the two-dimensional Dirac equation and the full Yang-Mills free-field equations in Minkowski spacetime.     

On the Gerber-Shiu function and change of measure

We consider several models for the surplus of an insurance company mainly under some light-tail assumptions. We are interested in the expected discounted penalty at ruin. By a change of measure we remove the discounting, which simplifies the expression. This leads to (defective) renewal equations as they had been found by different methods in the literature. If we use the change of measure such that ruin becomes certain, the renewal equations simplify to ordinary renewal equations. This helps to discuss the asymptotics as the initial capital goes to infinity. For phase-type claim sizes, explicit formulae can be derived.     

Authentication schemes from actions on graphs, groups, or rings

We propose a couple of general ways of constructing authentication schemes from actions of a semigroup on a set, without exploiting any specific algebraic properties of the set acted upon. Then we give several concrete realizations of this general idea, and in particular, we describe several authentication schemes with long-term private keys where forgery (a.k.a. impersonation) is NP-hard. Computationally hard problems that can be employed in these realizations include the Graph Colorability problem, the Diophantine problem, and many others.     

Continuous version of Filippov’s theorem for fractional differential inclusions

Using Bressan-Colombo results, concerning the existence of continuous selections of lower semicontinuous multifunctions with decomposable values, we prove a continuous version of Filippov’s theorem for a fractional differential inclusion.     

Addison-type series representation for the Stieltjes constants

The Stieltjes constants γk(a) appear in the coefficients in the regular part of the Laurent expansion of the Hurwitz zeta function ζ(s,a) about its only pole at s=1. We generalize a technique of Addison for the Euler constant γ=γ₀(1) to show its application to finding series representations for these constants. Other generalizations of representations of γ are given.