Теорема единственности для одного класса псевдодифференциальных уравнений

Рассматривается проблема единственности решения для однородных уравнений в классе аналитических функционалов $Z'(\mathbb{R}^n)$ с псевдодифференциальными операторами, коммутирующими относительно сдвигов. Устанавливаются условия на символы операторов, позволяющие так разбить этот класс операторов на классы эквивалентности, что внутри каждого класса какое-либо условие регулярности решения на бесконечности, обеспечивающее единственность решения уравнения с каким-либо представителем этого класса, обеспечивает единственность решения и для уравнений со всеми остальными представителями того же класса.