1: \begin{abstract}
2: The dynamic critical behavior of isotropic Heisenberg ferromagnets
3: with a planar free surface is investigated by means of
4: field-theoretic renormalization group techniques and high-precision
5: computer simulations. An appropriate semi-infinite extension of the
6: stochastic model J is constructed. The relevant boundary terms of
7: the action of the associated dynamic field theory are identified,
8: the implied boundary conditions are derived, and the renormalization
9: of the model in $d<6$ bulk dimensions is clarified. Two distinct
10: renormalization schemes are utilized. The first is a massless one
11: based on minimal subtraction of dimensional poles and the
12: dimensionality expansion about $d=6$. To overcome its problems in
13: going below $d=4$ dimensions, a massive one for fixed dimensions
14: $d\le 4$ is constructed. The resulting renormalization group (or
15: Callan Symanzik) equations are exploited to obtain the scaling forms
16: of surface quantities like the dynamic structure factor. In
17: conjunction with boundary operator expansions scaling relations
18: follow that relate the critical indices of the dynamic and static
19: infrared singularities of surface quantities to familiar
20: \emph{static} bulk and surface exponents. To test the predicted
21: scaling forms and scaling-law expressions for the critical exponents
22: involved, accurate computer-simulation data are presented for the
23: dynamic surface structure factor. These are in conformity
24: with our predictions.
25: \end{abstract}
26: