Можно ли классифицировать дифференциальные уравнения в их собственные классы сложности?

10

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

Например, если неоднородное уравнение первого порядка сравнительно трудно решить, чем, скажем, однородное уравнение 100-го порядка, можно ли их классифицировать как отдельные классы выпуклости, учитывая, что метод решения был одинаковым? Если мы варьируем процесс решения, насколько случайными будут решения, их существование и устойчивость, а также другие свойства?

Я бы предположил, что я частично убежден, что решение дифференциальных уравнений может быть NP-Hard:

/mathpro/158068/simple-example-of-why-differential-equations-can-be-np-hard

Эта статья:

http://www.cs.princeton.edu/~ken/MCS86.pdf

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

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

sonamtex
источник
1
учитывая, что (решение) диофантовых уравнений может иметь модель сложности вычислений и тот факт, что несколько выражений ОДУ (например, ОДУ с постоянными коэффициентами) могут быть сопоставлены с диофантовыми уравнениями, это дает подсказку, которую можно сделать
Никос М.

Ответы:

5

Первое наблюдение в направлении разрешимости ODE - это статья Avigad, Clarke и Gao, которая классифицирует сложность -decidability , в которой решения должны быть найдены в пределах определенной ограниченной ошибки («delta») в одном направление.δ

Одним из основных результатов является то, что разрешимость ( непрерывных по Липшицу ) ODE является -полной.P S P A C EδпSпAСЕ

Коди
источник
Спасибо. Но то, что я ищу, - это система классификации всех дифференциальных уравнений в некоторый определенный класс сложности; где сокращение проблемы означало бы: дифференциальное уравнение может быть решено, если (и только если) есть другое, которое может быть решено.
sonamtex