Для разрешимости задачи Дирихле для нелинейных дифференциальных уравнений бесконечного порядка предложен дифференциальный оператор бесконечного порядка в виде суммы двух дифференциальных операторов бесконечного порядка, один из которых является главным, а другой - ему подчиненным. В основе их сравнения положено соотношение пространств Соболева.