Pseudodifferential equations on manifolds with boundary: Fredholm propertyand asymptotic

The main purpose of the present paper is the investigation of systems of ps eudodifferential equations (PsDEs) with symbols from extended Hormander cla sses on a manifold with smooth boundary. Equations are treated in anisotrop ic Bessel potential spaces with weight (BPSwW). Theorem about factorization of symbols, proved earlier by E. SHAMIR, R. DUDUCHAVA and E. SHARGORODSKY is revised and general criteria is obtained for PsDEs in BPSwW on manifolds with smooth boundary to possess the Fredholm property. It is proved that t he criteria is invariant with respect to the weight exponents and the conor mal smoothness parameter, which participate in the definition of the spaces . In the second part of the paper results of G. ESKIN and J. BENNISH on asy mptotic of solutions to systems of PsDEs (L-2-theory) are extended and comp lete asymptotic expansion of a solution to near the boundary is obtained (L -p-theory). More precise description of exponents and of logarithmic terms of the expansion is presented. Investigations are carried out in connection with problems arising in elasticity (crack problems) and some other fields of mathematical physics when the potential method is applied. In forthcomi ng papers asymptotic of a function represented by a potential will be prese nted when asymptotic of a density on the boundary of the domain is known.