Эта статья в значительной степени или полностью основана на одном источнике . ( декабрь 2022 г. ) |
Проблема границы Якоби касается достоверности неравенства Якоби, которое является неравенством на абсолютную размерность дифференциального алгебраического многообразия в терминах его определяющих уравнений. Это одна из проблем Колчина.
Неравенство является дифференциально-алгебраическим аналогом теоремы Безу в аффинном пространстве. Хотя впервые сформулировано Якоби , в 1936 году Джозеф Ритт признал проблему нестрогой, поскольку у Якоби даже не было строгого понятия абсолютной размерности (Якоби и Ритт использовали термин «порядок», которому Ритт впервые дал строгое определение, используя понятие степени трансцендентности ). Интуитивно, абсолютная размерность — это число констант интегрирования, требуемых для указания решения системы обыкновенных дифференциальных уравнений . Математическое доказательство неравенства было открыто с 1936 года.
Пусть — дифференциальное поле нулевой характеристики и рассмотрим дифференциальное алгебраическое многообразие, определяемое обращением в нуль дифференциальных многочленов . Если — неприводимая компонента конечной абсолютной размерности, то
На дисплее выше показано *число Якоби*. Оно определяется как
.