For in the Reproducing kernel Hilbert space , take the directional derivative:
The reproducing property says . Hence
Each kernel section belongs to the Reproducing kernel Hilbert space, so this finite sum is an admissible element. Uniqueness of a vector with these inner products gives the functional gradient
Evaluating the negative functional gradient at yields
Thus the evaluation vector follows
This is exactly the limiting prediction dynamics in part (ii). If , subtracting the two systems gives with zero initial value, so for every .
An infinitely wide neural network in this regime follows the same training-prediction dynamics as kernel regression with its neural tangent kernel and matching initial predictions. For this squared-error loss function, the relevant algorithm is gradient flow in the Reproducing kernel Hilbert space. Matching predictions at arbitrary additional inputs also requires the corresponding cross-input neural tangent kernel to freeze and the initial predictions there to match. A finite-width neural network can change its feature map during training, so the equivalence depends on the assumptions rather than holding for every architecture and parameterization.