Roughly speaking, a PDE operator satisfies the Fredholm property if its principal symbol is elliptic and the information provided on the boundary satisfies the Shapiro-Lopatinskii condition.
What can happen when one of these conditions is not met, but the other holds:
In case of failure of the Shapiro-Lopatinskii boundary condition (while having ellipticity). Does one automatically have an infinite dimensional kernel?
What happens when the operator is elliptic everywhere but at some point, while the Lopatinskii condition is still satisfied? Can the PDE problem still be well-posed?
Is there a clear picture of what happens in these situations, or are there counterexamples of different type, depending on regularity of coefficients and boundary?
Thank you for any information.