As equações diferenciais podem ser classificadas em suas próprias classes de complexidade?


10

Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional?

Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de resolver do que uma, digamos, equação homogênea de 100ª ordem, elas podem ser classificadas como classes de convexidade separadas, dado que o método para resolver era o mesmo? Se variarmos o processo de resolução, quão aleatórias as soluções, sua existência, estabilidade e outras propriedades variarão?

Eu diria que estou parcialmente convencido de que a solução de equações diferenciais pode ser NP-Hard:

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

Este artigo:

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

tem me forçado a pedir o escopo da complexidade computacional de acordo com a solvabilidade de equações diferenciais. Começando com equações diferenciais ordinárias, poderíamos classificar equações parciais, de atraso, de diferença etc.

Certa vez, pensei em incorporar programação dinâmica usando as iterações calculadas enquanto aproximava uma solução, mas me perdi em algum lugar.




11
dado que (resolvendo) equações Diofantinas pode ter um modelo de complexidade computattional e o facto de várias clases de ODEs (por exemplo EDOs coefficent constante) pode ser mapeado para equações Diofantinas, isto dá uma sugestão de que pode ser feito
Nikos M.

Respostas:


5

δ

δPSPACE


Obrigado. Mas o que estou procurando é um sistema de classificação de todas as equações diferenciais em algum tipo específico de classes de complexidade; onde reduzir problemas significaria: Uma equação diferencial pode ser resolvida se (e somente se) houver outra que possa ser resolvida.
sonamtex
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.