In this thesis we consider regularity properties for solutions to partial differential equations and pseudo-differential equations. The thesis mainly concerns wave-front sets and micro-local properties. Regularity properties are also viewed in terms of nontangential convergence for the generalized free time-dependent Schrödinger equations, where the Laplace operator is replaced by more general functions.

Wave-front sets describe location of singularities and the directions of their propagation. We establish usual and convenient mapping properties for such wave-front sets under action of pseudodifferential operators with smooth symbols.

We define three components of wave-front sets with respect to appropriate Banach and Fréchet spaces, in order to describe local properties as well as behavior far away, including heavy oscillations. The union of these components is called the global wavefront set. For these wave-front sets, we establish micro-local and micro-ellipticity properties for pseudo-differential operators in appropriate symbol classes. We obtain the classical wave-front sets as special cases (cf. Hörmander [9]). For the type of wave-front sets which describe local properties we also prove equivalence between wave-front sets of Fourier Banach function and modulation space types.

To open up for numerical computations we introduce admissible lattices and Gabor pairs to define discrete versions of wave-front sets with respect to Fourier Lebesgue and modulation spaces. Furthermore, we prove that these wave-front sets agree with each other and with the corresponding wave-front sets of continuous type. We also consider the link between analytic functions and temperate distributions in terms of such wave-front sets.

The last part of this thesis concerns counter examples of nontangential convergence for the generalized time-dependent Schrödinger equation with initial data in Sobolev spaces.