JournalsprimsVol. 19, No. 3

Volume 19, No. 3 (1983)

Publications of the Research Institute for Mathematical Sciences

pp. 887–910
Weak and Strong Solutions of the Navier-Stokes Initial Value Problem
Yoshikazu Giga
pp. 911–926
A Formal System for Specification Analysis of Concurrent Programs
Ken HiroseMakoto Takahashi
pp. 927–942
The Cauchy Problem for Hyperbolic Equations with Double Characteristics
Nobuhisa Iwasaki
pp. 943–1001
Solitons and Infinite Dimensional Lie Algebras
Michio JimboTetsuji Miwa
pp. 1003–1032
Microlocal Analysis
Masaki KashiwaraTakahiro Kawai
pp. 1033–1048
Turbulence and Singularity of the Velocity Field
Shigeo Kida
pp. 1049–1079
Pattern Formation in Competition-Diffusion Systems in Nonconvex Domains
Hiroshi MatanoMasayasu Mimura
pp. 1081–1094
A Method for Evaluation of the Error Function of Real and Complex Variable with High Relative Accuracy
Masatake Mori
pp. 1095–1137
Manifestly Covariant Canonical Formalism of Quantum Gravity - Systematic Presentation of the Theory
Noboru Nakanishi
pp. 1139–1151
Some Invariants for Conies and Their Applications
Isao Naruki
pp. 1153–1162
On the S<sup>1</sup>-Segal Conjecture
Goro Nishida
pp. 1163–1179
Hironaka's Additive Group Scheme, II
Tadao Oda
pp. 1181–1201
Cohomology Vanishing Theorems on Weakly 1-Complete Manifolds
Takeo Ohsawa
pp. 1203–1230
A Definition of Boundary Values of Solutions of Partial Differential Equations with Regular Singularities
Toshio Oshima
pp. 1231–1264
Period Mapping Associated to a Primitive Form
Kyoji Saito
pp. 1265–1282
An Ergodic-Theoretical Approach to the Chaotic Behaviour of Dynamical Systems
Yoichiro Takahashi
pp. 1283–1303
Recent Development of the Theory of Completely Bounded Maps between <i>C</i>*-Algebras
Jun Tomiyama
pp. 1305–1328
A Semi-Group Theoretical Analysis of a Finite Element Method for a Linearized Viscous Shallow-Water System
Teruo Ushijima