Можно ли такое решить в пакете Mathematica?

[zl3p]

Дана очень сложная функция типа y=f[x,k1,k2,k3,k4] (содержащая производные и интегралы, и проч. хрень) от переменной x с постоянными, но неизвестными, коэф-тами k1,...,k4. Надо найти эти коэф-ты так, чтобы f[x,k1,k2,k3,k4]=0 (или была близка к 0) для всех x на интевале [0,1].
В пакете Mathematica 4 я нашел ф-цию SolveAlways[eqns, vars], но она использует только алгебраические методы решения, т.е. сначала аналитически вычисляет интеграл под функцией f, а попом подставляет полученное выражение в eqns. Однако в моем случае интеграл не берется аналитически и их можно вычислять тока численно. Короче, Mathematica выдает ошибку.

Может кто имел дело с подобными задачами? Или как ещё их можно решать?

[Gafield]

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

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