Does a pointwisely convergent sequence of quadratic functions pointwisely converges to a quadratic one? Let {f_j}_{j=1}^{infty} be a sequence of functions f_j:R^n rightarrow R quadratically parameterized as f_j(x)=x^T P_j x for a symmetric matrix P_j in R^{n times n}. Let f_j pointwisely converges to a function f.
vedentst9i
Answered question
2022-11-08
Does a pointwisely convergent sequence of quadratic functions pointwisely converges to a quadratic one? Let be a sequence of functions quadratically parameterized as for a symmetric matrix . Let pointwisely converges to a function f. Then, can we say that f is also quadratic so that for some symmetric ? I was particularly interested in the case: fj is monotonically increasing and bounded by a quadratic function :
In that case, by MCT, pointwisely for some f, and we also have for some symmetric , by MCT again, due to
In this case, is true since for all . Moreover, if is true, then it is trivially continuous, so that the convergence is uniform on any compact by Dini's theorem. However, I can't see whether is true or not in general case without monotonicity.
Answer & Explanation
Faith Wise
Beginner2022-11-09Added 17 answers
Step 1 You may use a polarization identity which gives us
Step 2 This determines a unique symmetric bilinear form in x,y. The hypothesis is that converges pontwise so from the above identity:
exists for all x,y. One checks it is bilinear in x and y, so has the form . One recovers then that .
Rihanna Bentley
Beginner2022-11-10Added 3 answers
Step 1 The result for is straightforward. Suppose we know the result for and that is a sequence of quadratics on that converges pointwise on . Here We can write
Here is a quadratic on and the coefficients of are those of along with the coefficients involving y indicated above. Step 2 Looking at (x,0), the induction hypothesis shows the all sequences of coefficients of converge, hence converges pointwise on . Thus converges pointwise on If we now look at the variables the induction hypotheses tells us all remaining coefficent sequences converge, except for But now this last coefficient sequence is forced to come along for the ride, and we have the result.