Добрый день,
я, кажется, в чем-то зациклился и запутался, пожалуйста, поправьте мои рассуждения.
Я вычисляю значение функции
![$E$ $E$](https://dxdy-01.korotkov.co.uk/f/8/4/d/84df98c65d88c6adf15d4645ffa25e4782.png)
в точке
![$(x_1,...,x_n)$ $(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/5/9/c/59cbb775711d39c492842144d71b89a482.png)
, а также хочу вычислить в этой же точке все ее частные первые и вторые производные по всем
![$(x_1,...,x_n)$ $(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/5/9/c/59cbb775711d39c492842144d71b89a482.png)
.
Сама функция заданна в виде последовательных вычислений, а именно
![$$\forall j=1,...,m: ~ y_j = g^{(j)}(x_1,...,x_n),$$ $$\forall j=1,...,m: ~ y_j = g^{(j)}(x_1,...,x_n),$$](https://dxdy-01.korotkov.co.uk/f/8/3/f/83feb7aefddea717eefb42674b7a84e582.png)
![$$E = f(y_1,...,y_m),$$ $$E = f(y_1,...,y_m),$$](https://dxdy-03.korotkov.co.uk/f/e/9/4/e948f783b663837c699f6f8d95a9842882.png)
причем все
![$g^{(1)},...,g^{(m)}$ $g^{(1)},...,g^{(m)}$](https://dxdy-03.korotkov.co.uk/f/e/4/4/e446f4c27abd79b1b9ba2f4e6b5d8e4a82.png)
и
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
имеют частные первые и вторые производные и у меня есть функции вычисления их в виде
![$g^{(j)}_{x_i}'(x_1,...,x_n)$ $g^{(j)}_{x_i}'(x_1,...,x_n)$](https://dxdy-03.korotkov.co.uk/f/6/2/8/6282bef543b1aed98b1072b4b3dc32a182.png)
- первая производная по
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
-ой переменной в точке
![$(x_1,...,x_n)$ $(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/5/9/c/59cbb775711d39c492842144d71b89a482.png)
,
![$g^{(j)}_{x_i_1,x_i_2}''(x_1,...,x_n)$ $g^{(j)}_{x_i_1,x_i_2}''(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/1/c/0/1c0e05976c838af01340b7acf1147fc382.png)
- вторая производная по
![$i_1$ $i_1$](https://dxdy-01.korotkov.co.uk/f/4/7/0/47052b496001b26f18651237c317563f82.png)
-ой
![$i_2$ $i_2$](https://dxdy-02.korotkov.co.uk/f/d/1/d/d1d06b56596ac0b076c455596b357d7d82.png)
-ой переменным в точке
![$(x_1,...,x_n)$ $(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/5/9/c/59cbb775711d39c492842144d71b89a482.png)
и для
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
все то же самое.
Если я хочу посчитать
![$dE$ $dE$](https://dxdy-04.korotkov.co.uk/f/f/8/9/f8984d6557d1bdac25cbbcc39848eac582.png)
вектор первых производных
![$E$ $E$](https://dxdy-01.korotkov.co.uk/f/8/4/d/84df98c65d88c6adf15d4645ffa25e4782.png)
в точке
![$(x_1,...,x_n)$ $(x_1,...,x_n)$](https://dxdy-02.korotkov.co.uk/f/5/9/c/59cbb775711d39c492842144d71b89a482.png)
, тогда
![$$dE_i = \sum_j f_{y_j}'(y_1,...,y_m) g^{(j)}_{x_i}'(x_1,...,x_n),$$ $$dE_i = \sum_j f_{y_j}'(y_1,...,y_m) g^{(j)}_{x_i}'(x_1,...,x_n),$$](https://dxdy-02.korotkov.co.uk/f/d/3/b/d3b2363c2e23aa3d6fe9ab1107e8313082.png)
и, я уверен (с точностью до описки) что понимаю как это сделать, а вот со второй производной у меня затык, я запутался.
Я пробовал так:
![$$d^2E_{i_1,i_2} = \left( \sum_{j_1} f_{y_j_1}'(y_1,...,y_m) g^{(j_1)}_{x_i_1}'(x_1,...,x_n) \right)_{i_2}'$$ $$d^2E_{i_1,i_2} = \left( \sum_{j_1} f_{y_j_1}'(y_1,...,y_m) g^{(j_1)}_{x_i_1}'(x_1,...,x_n) \right)_{i_2}'$$](https://dxdy-02.korotkov.co.uk/f/1/5/0/150a0d3a9ed9f29f4af398db56c6021b82.png)
![$$d^2E_{i_1,i_2} = \sum_{j_1,j_2} f_{y_j_1,y_j_2}''(y_1,...,y_m) g^{(j_1)}_{x_i_1}'(x_1,...,x_n) g^{(j_2)}_{x_i_2}'(x_1,...,x_n) + \sum_{j_1} f_{y_j_1}'(y_1,...,y_m) g^{(j_1)}_{x_i_1,x_i_2}''(x_1,...,x_n) $$ $$d^2E_{i_1,i_2} = \sum_{j_1,j_2} f_{y_j_1,y_j_2}''(y_1,...,y_m) g^{(j_1)}_{x_i_1}'(x_1,...,x_n) g^{(j_2)}_{x_i_2}'(x_1,...,x_n) + \sum_{j_1} f_{y_j_1}'(y_1,...,y_m) g^{(j_1)}_{x_i_1,x_i_2}''(x_1,...,x_n) $$](https://dxdy-04.korotkov.co.uk/f/b/1/1/b118bcfbdbdd372d5838ea26f685d2d082.png)
но выглядит как-то очень не симметрично и подсознательно чувствую, что где-то ошибаюсь. Проверьте, пожалуйста!
Спасибо!