A second-order equation operator on an open set U of the large space of a Hilbert triple is a real function of (x, r, p, X) with x in W = D(A)∩U, r real, p in H and X a bounded symmetric bilinear form on V. Its δ-shifts feed F the penalised arguments r ± δh(x), p ± δAx and Y|_V ± δI_V for forms Y on H.
In the setting of Hilbert Triples: Standing Notation and Background, let be open in , with as in Hilbert Triples: Standing Notation and Background (v), let be the penalty function, and let , , and the sums, differences and multiples of forms be as in Hilbert Triples: Standing Notation and Background (vi). Products of sets are Cartesian products.
1. (Second-order equation operator) A second-order equation operator on relative to is a function
whose value at is written .
2. (The -shifts of ) Let be a second-order equation operator on relative to and let satisfy . For one has , so and are defined, and for the forms and belong to by Bounded Symmetric Bilinear Forms on a Real Inner Product Space: Norm, Order, Identity Form and Restriction (iv). The -shifts of are the two functions
given by
Thus restores a subtracted (its value, its gradient and its second derivative on ), while removes an added .
Loading…
No relations recorded yet.