Abstract
The theory of migration here is defined as the system of definitions of individual behavior and of the theories, corollaries, and inferences derived from the definitions, which characterizes migration. The life-cycle utility maximization model is employed to define individual behavior. A welfare function is introduced to educe the implications of the life-cycle model. Migration is considered to attain equilibrium where marginal welfare is equated. Emphasis is put on the possibilities of applying the model to empirical analyses which require a dynamic framework.