Note: this post is not required reading for this course, or for the sequel course in the winter quarter.
In a Notes 2, we reviewed the classical construction of Leray of global weak solutions to the Navier-Stokes equations. We did not quite follow Leray’s original proof, in that the notes relied more heavily on the machinery of Littlewood-Paley projections, which have become increasingly common tools in modern PDE. On the other hand, we did use the same “exploiting compactness to pass to weakly convergent subsequence” strategy that is the standard one in the PDE literature used to construct weak solutions.
As I discussed in a previous post, the manipulation of sequences and their limits is analogous to a “cheap” version of nonstandard analysis in which one uses the Fréchet filter rather than an ultrafilter to construct the nonstandard universe. (The manipulation of generalised functions of Columbeau-type can also be comfortably interpreted within this sort of cheap nonstandard analysis.) Augmenting the manipulation of sequences with the right to pass to subsequences whenever convenient is then analogous to a sort of “lazy” nonstandard analysis, in which the implied ultrafilter is never actually constructed as a “completed object“, but is instead lazily evaluated, in the sense that whenever membership of a given subsequence of the natural numbers in the ultrafilter needs to be determined, one either passes to that subsequence (thus placing it in the ultrafilter) or the complement of the sequence (placing it out of the ultrafilter). This process can be viewed as the initial portion of the transfinite induction that one usually uses to construct ultrafilters (as discussed using a voting metaphor in this post), except that there is generally no need in any given application to perform the induction for any uncountable ordinal (or indeed for most of the countable ordinals also).
On the other hand, it is also possible to work directly in the orthodox framework of nonstandard analysis when constructing weak solutions. This leads to an approach to the subject which is largely equivalent to the usual subsequence-based approach, though there are some minor technical differences (for instance, the subsequence approach occasionally requires one to work with separable function spaces, whereas in the ultrafilter approach the reliance on separability is largely eliminated, particularly if one imposes a strong notion of saturation on the nonstandard universe). The subject acquires a more “algebraic” flavour, as the quintessential analysis operation of taking a limit is replaced with the “standard part” operation, which is an algebra homomorphism. The notion of a sequence is replaced by the distinction between standard and nonstandard objects, and the need to pass to subsequences disappears entirely. Also, the distinction between “bounded sequences” and “convergent sequences” is largely eradicated, particularly when the space that the sequences ranged in enjoys some compactness properties on bounded sets. Also, in this framework, the notorious non-uniqueness features of weak solutions can be “blamed” on the non-uniqueness of the nonstandard extension of the standard universe (as well as on the multiple possible ways to construct nonstandard mollifications of the original standard PDE). However, many of these changes are largely cosmetic; switching from a subsequence-based theory to a nonstandard analysis-based theory does not seem to bring one significantly closer for instance to the global regularity problem for Navier-Stokes, but it could have been an alternate path for the historical development and presentation of the subject.
In any case, I would like to present below the fold this nonstandard analysis perspective, quickly translating the relevant components of real analysis, functional analysis, and distributional theory that we need to this perspective, and then use it to re-prove Leray’s theorem on existence of global weak solutions to Navier-Stokes.

— 1. Quick review of nonstandard analysis —

In this section we quickly review the aspects of nonstandard analysis that we need. Let {{\mathfrak U}} denote the “standard” universe of “standard” mathematical objects; this includes what one might think of as “primitive” standard objects such as (standard) numbers and (standard) points, but also sets of standard objects (such as the set {{\bf R}} of real numbers, or the Euclidean space {{\bf R}^d}), or functions {f: X \rightarrow Y} from one standard space to another, or function spaces such as {L^p({\bf R}^d \rightarrow {\bf R})} of such functions (possibly quotiented out by almost everywhere equivalence), and so forth. In short, {{\mathfrak U}} should contain all the standard objects that one generally works with in analysis. One can require that this universe obey various axioms (e.g. the Zermelo-Fraenkel-Choice axioms of set theory), but we will not be particularly concerned with the precise properties of this universe (we won’t even need to know whether {{\mathfrak U}} is a set or a proper class).
What nonstandard analysis does is take this standard universe {{\mathfrak U}} of standard objects and embed it in a larger nonstandard universe {{}^* {\mathfrak U}} of nonstandard objects which has similar properties to the standard one, but also some additional properties. As discussed in this previous post, the relationship between the standard universe {{\mathfrak U}} and the nonstandard universe {{}^* {\mathfrak U}} is somewhat analogous to that between the rationals {{\bf Q}} and its metric completion {{\bf R}}; most of the algebraic properties of {{\bf Q}} carry over to {{\bf R}}, but {{\bf R}} also has some additional completeness and (local) compactness properties that {{\bf Q}} lacks. Also, one should think of {{}^* {\mathfrak U}} as being far “larger” than {{\mathfrak U}}, in much the same way that {{\bf R}} is larger than {{\bf Q}} in various senses, for instance in the sense of cardinality.
There is one important subtlety concerning the nonstandard universe {{}^* {\mathfrak U}}: it comes with a more restrictive notion of subset (or of function) than the “external” notion of subset or function that one has if one views {{}^* {\mathfrak U}} from some external metatheory (e.g., if one places both {{\mathfrak U}} and {{}^* {\mathfrak U}} inside a very large model of ZFC). Thus, for instance, an externally defined subset of the nonstandard reals {{}^* {\bf R}} may or may not be an internal subset of these reals (in particular, the embedded copy of the standard reals {{\bf R}} is not an internal subset of {{}^* {\bf R}}, being merely an external subset instead); similarly, an externally defined function from {{}^* {\bf R}} to {{}^* {\bf R}} need not be an internal function (for instance, the standard part function {\mathrm{st}} will be external rather than internal). The relationship between internal sets/functions and external sets/functions in nonstandard analysis is somewhat analogous to the relationship between measurable sets/functions and arbitrary sets/functions in measure theory.
The reals {{\bf R}} can be constructed from the rationals {{\bf Q}} in a number of ways, such as by forming Cauchy sequences in {{\bf Q}} and quotienting out by the sequences that converge to zero; similarly, the nonstandard universe {{}^* {\mathfrak U}} can be formed from the standard one {{\mathfrak U}} in a number of ways, such as by forming arbitrary sequences in {{\mathfrak U}} and quotienting out by a non-principal ultrafiter. See for instance this previous post for details. However, much as the precise construction of the reals {{\bf R}} is often of little direct importance in applications, we will not need to care too much about how the nonstandard universe is constructed. Rather, the following properties of this universe will be used:

  • (i) (Embedding) Every standard object, space, operation, or function {x} in {{\mathfrak U}} has a nonstandard counterpart {{}^* x} in {{}^* {\mathfrak U}}. For instance, if {x} is a real number in the set {{\bf R}} of standard reals, then {{}^* x} will be an element of the set {{}^* {\bf R}} of nonstandard reals; if {f: {\bf R}^d \rightarrow {\bf R}} is a standard function, then {{}^* f: {}^*({\bf R}^d) \rightarrow {}^* {\bf R}} is a nonstandard function from the nonstandard Euclidean space {{}^*({\bf R}^d)} to the nonstandard reals {{}^* {\bf R}}. The standard addition operation {+: {\bf R} \times {\bf R} \rightarrow {\bf R}} on the standard reals {{\bf R}} induces a nonstandard addition operation {{}^* +: {}^* {\bf R} \times {}^* {\bf R} \rightarrow {}^* {\bf R}} on the nonstandard reals, though to avoid notational clutter we will write {{}^* +} as {+}, and similarly for other basic mathematical operations. Similarly, the norm function {\|\|: L^p({\bf R}^d \rightarrow {\bf R}) \rightarrow [0,+\infty)} has a nonstandard counterpart {{}^* \| \|: {}^* L^p({\bf R}^d \rightarrow {\bf R}) \rightarrow {}^* [0,+\infty)} that assigns a nonstandard non-negative real {{}^* \| f \| \in {}^* [0,+\infty)} to any nonstandard {L^p({\bf R}^d \rightarrow {\bf R})} function {f \in {}^* {\bf R}^d}. (To avoid notational clutter, we will often abuse notation by identifying {x} with {{}^* x} for various “primitive” mathematical objects {x} such as real numbers, arithmetic operations such as {+}, or functions such as {f: {\bf R}^d \rightarrow {\bf R}}, unless we have a pressing need to carefully distinguish a standard object {x} from its representative {{}^* x} in the nonstandard universe.)
  • (ii) (Transfer) If {P(x_1,\dots,x_k)} is a standard predicate in first order logic involving some finite number of standard objects {x_1,\dots,x_k} (with {k} a fixed standard natural number), and possibly some quantification over standard sets, and {{}^* P} is the nonstandard version of the predicate in which one quantifies over nonstandard sets, then {P(x_1,\dots,x_k)} is true if and only if {{}^* P( {}^* x_1, \dots, {}^* x_k)} is true. Important caveat: the predicate {P} needs to be internal to the mathematical language used internally to both {{\mathfrak U}} and {{}^* {\mathfrak U}} separately; it is not allowed to use external concepts dependent on the way in which {{\mathfrak U}} embeds into {{}^* {\mathfrak U}}, or how either universe embeds into an external metatheory.
  • (iii) ({\aleph_1}saturation) Let {k,l} be standard natural numbers, and suppose that for each standard natural number {n}, {{}^* P_n(x_1,\dots,x_k,c_1,\dots,c_l)} is a nonstandard predicate on {k} nonstandard variables {x_1,\dots,x_k} and nonstandard constants {c_1,\dots,c_l}. If any finite collection of the predicates {{}^* P_n} are simultaneously satisfiable (thus, for each standard {N}, there exist nonstandard objects {x_1^{(N)},\dots,x_k^{(N)}} such that {{}^* P_n(x_1^{(N)},\dots,x_k^{(N)},c_1,\dots,c_l)} holds for all {1 \leq n \leq N}), then the entire collection {{}^* P_n} is simultaneously satisfiable (thus there exists nonstandard objects {x_1,\dots,x_k} such that {{}^* P_n(x_1,\dots,x_k,c_1,\dots,c_l)} holds for all {n \in {\bf N}}).

The {\aleph_1}-saturation property (also informally referred to as countable saturation, though this is technically a slight misnomer) resembles the finite intersection property that characterises compactness of topological spaces (and can thus be viewed as somewhat analogous to the local compactness property for the reals {{\bf R}}), except that the finite intersection property involves arbitrary families of (closed) sets, whereas the {\aleph_1}-saturation property requires the collection of predicates involved to be countable. It is possible to construct nonstandard models with a higher degree of saturation (where one can use more predicates {P_n}, as long as the total number does not exceed some cardinal {\kappa} which relates to the size of the nonstandard universe {{}^* {\mathfrak U}}), for instance by replacing the sequences used to construct the nonstandard universe with tuples ranging over a larger cardinality set. This may potentially be useful for certain types of analysis, for instance ones involving non-separable spaces, or Frechet spaces involving an uncountable number of seminorms.
Let us take for granted the existence of a nonstandard universe obeying the embedding, transfer, and saturation properties, and see what we can do with them. Firstly, transfer shows that the map {x \mapsto {}^* x} is injective: {x = y} if and only if {{}^* x = {}^* y}. The field axioms of the standard reals {{\bf R}} can be phrased in the language of first-order logic, and hence by transfer the nonstandard reals {{}^* {\bf R}} also form a field. For instance, the assertion “For every non-zero standard real {x}, there exists a standard real {y} such that {xy=1}” transfers over to “For every non-zero nonstandard real {x}, there exists a nonstandard real {y} such that {xy=1}“. If {d} is a standard natural numer, one can transfer the statement “{(x_1,\dots,x_d) = (y_1,\dots,y_d)} if and only if {x_1=y_1, \dots, x_d=y_d}” from standard tuples to nonstandard tuples; among other things, this gives the nice identification {{}^* ({\bf R}^d) = ({}^* {\bf R})^d} when {d} is a standard natural number. (The situation is more subtle when {d} is a nonstandard natural number, but in most PDE applications one works in a fixed dimension {d} and will not need to deal with this subtlety.) As one final example, “If {f \in L^p({\bf R}^d)}, then {\|f\|_{L^p({\bf R}^d \rightarrow {\bf R})}=0} holds if and only if {f=0}” transfers to “If {f \in {}^* L^p({\bf R}^d)}, then {{}^* \|f\|_{{}^* L^p({\bf R}^d \rightarrow {\bf R})}=0} holds if and only if {f=0}“. More generally, basic inequalities such as Hölder’s inequality, Sobolev embedding, or the Bernstein inequalities transfer over to the nonstandard setting without difficulty.
As a basic example of saturation, for each standard natural number {n} let {P_n} denote the statement “There exists a nonstandard real {x} such that {x>n}“. These statements are finitely satisfable, hence by {\aleph_1}-saturation they are jointly satisfiable, thus there exists a nonstandard real {x} which is unbounded in the sense that it is larger than every standard natural number (and hence also by every standard real number, by the Archimedean property of the reals). Similarly, there exist nonstandard real numbers {x} which are non-zero but still infinitesimal in the sense that {|x| \leq \varepsilon} for every standard real {\varepsilon>0}.
On the other hand, one cannot apply the saturation property to the statements “There exists a nonstandard real {x} such that {x \in {\bf R}} and {x>n}“, since {{\bf R}} is not known to be an internal subset of the nonstandard universe {{}^* {\mathfrak U}} and so cannot be used as a constant for the purposes of saturation. (Indeed, since this sequence of statements is finitely satisfiable but not jointly satisfiable, this is a proof that {{\bf R}} is not an internal subset of {{}^* {\bf R}}, and must instead be viewed only as an external subset.)
Now we develop analogues of the sequential-based theory of limits in nonstandard analysis. The following dictionary may be helpful to keep in mind when comparing the two:

Standard real {x} A real number {x}
Nonstandard reals {x} A sequence {x_n} of reals
Embedding {{}^* x} of standard real {x} A constant sequence {x_n = x} of reals
Internal set {A} of nonstandard reals A sequence {A_n} of subsets of reals
Embedding {{}^* A} of standard set {A} of reals A constant sequence {A_n=A} of subsets of reals
External set {A \subset {}^* {\bf R}} A collection of sequences of reals
Internal function {f: {}^* {\bf R}^d \rightarrow {}^* {\bf R}} A sequence {f_n: {\bf R}^d \rightarrow {\bf R}} of functions
Embedding {{}^*} of a standard function {f: {\bf R}^d \rightarrow {\bf R}} A constant sequence {f_n = f} of functions
External function {f: {}^* {\bf R}^d \rightarrow {}^* {\bf R}} A map from sequences of vectors to sequences of reals
Equality {x=y} of nonstandard reals After passing to a subsequence, {x_n=y_n} for all {n}
{x = O(1)} {x_n} is bounded
{x = o(1)} {x_n} converges to zero (possibly after passing to subsequence)
{O({\bf R})} Bounded sequences
{o({\bf R})} Sequences converging to zero (possibly after passing to subsequence)
{{\bf R} \oplus o({\bf R})} Convergent sequences (possibly after passing to subsequence)
{O({\bf R}) = {\bf R} \oplus o({\bf R})} Bolzano-Weierstrass theorem
Standard part {\mathrm{st}(x)} of bounded real {x} Limit {\lim_{n \rightarrow\infty} x_n} of bounded sequence {x_n} (possibly after passing to subsequence)

Note in particular that in the nonstandard analysis formalism there is no need to repeatedly pass to subsequences, as is often the case in sequential-based analysis.
A nonstandard real {x} is said to be bounded if one has {|x| \leq C} for some standard {C > 0}. In this case, we write {x=O(1)}, and let {O({\bf R})} denote the set of all bounded reals. It is an external subring of {{}^*{\bf R}} that in turn contains {{\bf R}} as a external subring.
A nonstandard real {x} is said to be infinitesimal if one has {|x| \leq \varepsilon} for all standard {\varepsilon>0}. In this case, we write {x=o(1)}, and let {o({\bf R})} denote the set of all infinitesimal reals. This is another external subring (in fact, an ideal) of {O({\bf R})}, and {O({\bf R}), o({\bf R}), {\bf R}} can be viewed as external vector spaces over {{\bf R}}.
The Bolzano-Weierstrass theorem is fundamental to orthodox real analysis. Its counterpart in nonstandard analysis is

Theorem 1 (Nonstandard version of Bolzano-Weierstrass) As external vector spaces over {{\bf R}}, we have the decomposition {O({\bf R}) = {\bf R} \oplus o({\bf R})}.

Proof: The only real which is simultaneously standard and infinitesimal is zero, so {{\bf R} \cap o({\bf R}) = \{0\}}. It thus suffices to show that every bounded real {x} can be written in the form {x = \alpha + o(1)} for some standard {\alpha}. But the set {\{ y \in {\bf R}: y \leq x \}} is a Dedekind cut; setting {\alpha \in{\bf R}} to be the supremum of this cut, we have {\alpha - 1/n \leq x \leq \alpha + 1/n} for all standard natural numbers {n}, hence {x=\alpha+o(1)} as desired. \Box
If {x \in O({\bf R})} and {x = \alpha + o(1)} for some standard real {\alpha}, we call {\alpha} the standard part of {x} and denote it by {\mathrm{st}(x)}: thus {\mathrm{st}: O({\bf R}) \rightarrow {\bf R}} is the linear projection from {O({\bf R})} to {{\bf R}} with kernel {o({\bf R})}. It is an algebra homomorphism (this is the analogue of the usual limit laws in real analysis).
In real analysis, we know that continuous functions on a compact set that are pointwise bounded are automatically uniformly bounded. There is a handy analogue of this fact in nonstandard analysis:

Lemma 2 (Pointwise bounded/infinitesimal internal functions are uniformly bounded/infinitesimal) Let {f: A \rightarrow {}^*{\bf R}} be an internal function.

  • (i) If {f(x) = O(1)} for all {x \in A}, then there is a standard {C>0} such that {|f(x)| \leq C} for all {x \in A}.
  • (ii) If {f(x) = o(1)} for all {x \in A}, then there is an infinitesimal {\varepsilon>0} such that {|f(x)| \leq \varepsilon} for all {x \in A}.

Proof: Suppose (i) were not the case, then the predicates “{x \in A} and {|f(x)| \geq n}” would be finitely satisfiable, hence jointly satisfiable by {\aleph_1}-saturation. But then there would exist {x \in A} such that {|f(x)| \geq n} for all {n}, contradicting the hypothesis that {f(x) = O(1)}.
For (ii), observe that the predicates “{0 < \varepsilon \leq 1/n} is a nonstandard real such that {|f(x) \leq \varepsilon} for all {x \in A}” are finitely satisfiable, hence jointly satisfiable by {\aleph_1}-saturation, giving the claim. \Box
Because the rationals are dense in the reals, we see (from saturation) that every standard real number can be expressed as the standard part of a bounded rational, thus {R \equiv O({\bf Q})/o({\bf Q})}. This can in fact be viewed as a way to construct the reals; it is a minor variant of the standard construction of the reals as the space of Cauchy sequences of rationals, quotiented out by Cauchy equivalence.
Closely related to Lemma 2 is the overspill (or underspill) principle:

Lemma 3 Let {P(x)} be an internal predicate of a nonnegative nonstandard real number {x}.

  • (i) (Overspill) If {P(x)} is true for arbitrarily large standard {x}, then it is also true for at least one unbounded {x}.
  • (ii) (Underspill) If {P(x)} is true for arbitrarily small standard {x>0}, then it is also true for at least one infinitesimal {x}.

Proof: To prove (i), observe that the predicates “{P(x)} and {x \geq n}” for {n=1,2,\dots} a standard natural number are finitely satisfiable, hence jointly satisfiable by {\aleph_1}-saturation, and the claim follows. The claim (ii) is proven similarly, using {0 < x < 1/n} instead of {x \geq n}. \Box

Corollary 4 Let {f: {}^* {\bf R} \rightarrow {}^* {\bf R}} be an internal function. If {f(x) = o(1)} for all standard {x > 0}, then one has {f(x) = o(1)} for at least one unbounded {x>0}.

Proof: Apply Lemma 3 to the predicate {|f(x)| \leq 1/x}. \Box
The overspill principle and its analogues correspond, roughly speaking, to the “diagonalisation” arguments that are common in sequential analysis, for instance in the proof of the Arzelá-Ascoli theorem.

— 2. Some nonstandard functional analysis —

In the discussion of the previous section, the real numbers {{\bf R}} could be replaced by the complex numbers {{\bf C}} or finite-dimensional vector spaces {{\bf R}^d} (with {d} a standard natural number) with essentially no change in theory. However the situation becomes a bit more subtle when one works with infinite dimensional spaces, such as the functional spaces that are commonly used in PDE.
Let {X} be a standard normed vector space with norm {\| \|_X}, then we can form the nonstandard function space {{}^* X} with a nonstandard (or internal) norm {{}^* \| \|_{{}^* X}: {}^* X \rightarrow {}^*[0,+\infty)}. This is not quite a normed vector space when viewed externally, because the nonstandard norm {{}^* \| \|_{{}^* X}} takes values in the nonstandard nonnegative reals to {{}^*[0,+\infty)} rather than the standard nonnegative reals {[0,+\infty)}. However, we can form the subspace {O(X)} of {{}^* X} consisting of those vectors {x \in {}^* X} which are strongly bounded in the sense that {{}^* \|x\|_{{}^* X} = O(1)}. This is an external real subspace of {{}^* X} that contains {X}. It comes with a seminorm {\| \|_X: O(X) \rightarrow [0,+\infty)} defined by

\displaystyle  \| x \|_X := \mathrm{st} {}^* \| x\|_{{}^* X}.

It is easy to see that this is a seminorm. The null space of this seminorm is the subspace {o(X)} of {{}^* X} consisting of those vectors {x \in {}^* X} which are strongly infinitesimal (in {X}) in the sense that {{}^* \|x\|_{{}^* X} = o(1)}; we say two elements of {{}^* X} are strongly equivalent (in {X}) if their difference is strongly infinitesimal. In infinite dimensions, {X} is no longer locally compact, and the Bolzano-Weierstrass theorem now only gives an inclusion:

\displaystyle  X \oplus o(X) \subset O(X).

In general we expect {O(X)} to be significantly larger than {X} (this is the nonstandard analogue of the sequential analysis phenomenon that most bounded sequences in {X} will fail to have convergent subsequences). For instance if {H} is a standard Hilbert space with an orthonormal system {e_n, n \in {\bf N}}, and {N} is an unbounded natural number, one can check that {e_N} lies in {O(X)} but is not in {X \oplus o(X)}. The quotient space {O(X)/o(X)} is a normed vector space that contains {X} as an isometric subspace and is known as the nonstandard hull of {X}, but we will not explicitly use this space much in these notes.
In functional analysis one often has an embedding {X \subset Y} of standard function spaces {X,Y}, with an inequality of the form {\| f \|_Y \leq C \|f\|_X} for all {f \in X} and some constant {C>0}. For instance, one has the Sobolev embeddings {H^1({\bf R}^d \rightarrow {\bf R}) \subset L^p({\bf R}^d \rightarrow {\bf R})} whenever {2 \leq p \leq \infty}, {\frac{1}{p} \geq \frac{1}{2}-\frac{1}{d}}, and {(d,p) \neq (2,\infty)}. One easily sees that such an embedding {X \subset Y} induces also embeddings {O(X) \subset O(Y)} and {o(X) \subset o(Y)}.
If the embedding {X \subset Y} is compact – so that bounded subsets in {X} are precompact in {Y} – then we can partially recover the missing inclusion in the Bolzano-Weierstrass theorem. This follows from

Lemma 5 (Compactness) Let {K} be a standard compact subset (in the strong topology) of a standard normed vector space {X}. Then one has the inclusion

\displaystyle  {}^* K \subset K \oplus o(X),

that is to say every {f \in {}^* K} can be decomposed (uniquely) as {f = g+h} with {g \in K} and {h \in o(X)}.

This is the nonstandard analysis analogue of the assertion that compact subsets of a normed metric space are sequentially compact.
Proof: Uniqueness is clear (since non-zero standard elements of {X} have non-zero standard, hence non-infinitesimal, nonstandard norm), so we turn to existence. If this failed for some {f \in {}^* K}, then for every {g \in K}, there exists a standard {\varepsilon_g>0} such that {{}^* \|f - g \|_{X} \geq \varepsilon_g}. Hence, by compactness of{K}, one can find a standard natural number {k} and standard {g_1,\dots,g_k \in K} such that for all {F \in K}, one has {\|F-g_i \|_X < \varepsilon_{g_i}} for some {i=1,\dots,k}. By transfer, (viewing {g_1,\dots,g_k} as constants), this implies that for all {F \in {}^* K}, one has {\|F-g_i \|_X < \varepsilon_{g_i}} for some {i=1,\dots,k}. Applying this with {F=f}, we obtain a contradiction. \Box
We also note an easy converse inclusion: if {U} is a standard open subset of a standard normed vector space {X}, then

\displaystyle  U \oplus o(X) \subset {}^* U.

Exercise 6 Suppose that the standard normed vector space {X} is separable. Establish the converse implications, that a standard subset {K} of {X} is compact whenever {{}^* K \subset K \oplus o(X)}, and a standard subset {U} is open whenever {U \oplus o(X) \subset {}^* U}. (The hypothesis of separability can be relaxed if one imposes stronger saturation properties on the nonstandard universe than {\aleph_1}-saturation.)

Exercise 7 Let {f: K \rightarrow {\bf R}} be a standard function on a standard subset {K} of a normed vector space {X}, and let {{}^* f: {}^* K \rightarrow {}^* {\bf R}} be the nonstandard counterpart.

  • (i) Show that {f} is bounded if and only if {{}^* f(x) = O(1)} for all {x \in {}^* K}.
  • (ii) Show that {f} is continuous (in the strong topology) if and only if {{}^* f(y) = f(x) + o(1)} whenever {x \in K}, {y \in {}^* K} are such that {y} is strongly equivalent to {x}.
  • (iii) Show that {f} is uniformly continuous (in the strong topology) if and only if {{}^* f(y) = {}^* f(x) + o(1)} whenever {x, y \in {}^* K} are such that {y} is strongly equivalent to {X}.
  • (iv) If {K} is compact, show that {K = \mathrm{st}({}^* K)}. Conclude the well-known fact that a standard continuous function on a compact set {K} is uniformly continuous and bounded.

Now we have

Theorem 8 (Compact embeddings) If {X \subset Y} is a compact embedding of standard normed vector spaces {X,Y}, then

\displaystyle  O(X) \subset Y \oplus o(Y).

If furthermore the closed unit ball of {X} is compact (not just precompact) in {Y}, we can sharpen this to

\displaystyle  O(X) \subset X \oplus o(Y).

This is the analogue of Proposition 3 of Notes 2.
Proof: Since {X \cap o(Y) \subset Y \cap o(Y) = \{0\}}, it suffices to show that every {f \in O(X)} can be written as {f = g + h} with {g \in X} and {h \in o(Y)}. But this is immediate from Lemma 5 (applied to the closure in {Y} of a closed unit ball in {X}). \Box
From the above theorem and the Arzelá-Ascoli theorem, we see for instance that a nonstandard Lipschitz function from {[0,1]} to {{\bf R}} with bounded nonstandard Lipschitz norm can be expressed as the sum of a standard Lipschitz function and a function which is infinitesimal in the uniform norm. Here is a more general version of this latter assertion:

Exercise 9 (Nonstandard version of Arzelá-Ascoli) Let {U \subset {\bf R}^d} be a standard open set, and let {f: {}^* U \rightarrow {}^* {\bf R}} be a nonstandard function obeying the following axioms:

  • (i) (Pointwise boundedness) For all {x \in U}, we have {f(x) = O(1)}.
  • (ii) (Pointwise equicontinuity) For all {x \in U}, we have {f(y) = f(x) + o(1)} whenever {y \in {}^* U} and {y = x + o(1)}.

Let {\mathrm{st} f: U \rightarrow {\bf R}} denote the function

\displaystyle  (\mathrm{st} f)(x) := \mathrm{st}(f(x))

(this is well-defined by pointwise boundedness). Then {\mathrm{st} f: U \rightarrow {\bf R}} is continuous, and its nonstandard representative {{}^* (\mathrm{st}(f)): {}^* U \rightarrow {}^* {\bf R}} is locally infinitesimally close to {f} in the sense that

\displaystyle  f(x) = ({}^* (\mathrm{st} f))(x) + o(1)

whenever {x \in U + o(1)}. Conclude in particular that for every standard compact {K \subset X} there exists an infinitesimal {\varepsilon_K = o(1)} such that

\displaystyle  |f(x) - ({}^* (\mathrm{st} f))(x)| \leq \varepsilon_K

for all {x \in {}^* K}.

We remark that the above discussion for normed vector spaces also extends without difficulty to Frechet spaces {X} that have at most countably many seminorms {\| \|_\alpha, \alpha \in A}, with {O(X)} now consisting of those {f \in {}^* X} with {{}^* \|f\|_\alpha = O(1)} for all {\alpha \in A}, and {o(X)} now consisting of those {f \in {}^* X} with {{}^* \|f\|_\alpha = o(1)} for all {\alpha \in A}.
Now suppose we work with the dual space {X^*} of a normed vector space {X}. (Here unfortunately we have a clash of notation, as the asterisk will now be used both to denote nonstandard representative and dual; hopefully the mathematics will still be unambiguous.) A nonstandard element {\lambda} of {{}^*(X^*)} (thus, a nonstandardly continuous linear functional {\lambda: {}^* X \rightarrow {}^* {\bf R}}) is said to be weak*-bounded if {\lambda(f) = O(1)} for all {f \in X}, and weak*-infinitesimal if {\lambda(f) = o(1)}. The space of weak*-bounded elements of {{}^*(X^*)} will be denoted {O_{w^*}(X^*)}, and the space of weak*-infinitesimal elements denoted {o_{w^*}(X^*)}. These are related to the strong counterparts {O(X^*), o(X^*)} of these spaces by the inclusions

\displaystyle  O(X^*) \subset O_{w^*}(X^*); \quad o(X^*) \subset o_{w^*}(X^*);

we also have the inclusion

\displaystyle  X \oplus o_{w^*}(X^*) \subset O_{w^*}(X_*).

For instance, if {H = H^*} is a standard Hilbert space with orthonormal system {e_n, n \in {\bf N}}, and {N} is an unbounded natural number, then {e_N} lies in {o_{w^*}(H)} (and hence also in {O_{w^*}(H)}) and in {O(H)} but not in {o(H)}. For a more subtle example, if we form the nonstandard universe {{\mathfrak U}} by taking an ultrapower with respect to an ultrafilter that deems all sets of density zero to be negligible, and one takes {N} to be the ultralimit of the sequence {(n)_{n \in {\bf N}}}, then {N^{1/2} e_N} also lies in {o_{w^*}(H)} (and hence also in {O_{w^*}(H)}) but not in {O(H)} or {o(H)}, basically because for any {f \in H}, the inner products {\langle f, N^{1/2} e_N \rangle} converge to zero in density. (Thus we see a slight difference here between the classical notion of weakly bounded sequences, which on Banach spaces are equivalent to bounded sequences by the Banach-Steinhaus theorem.)
(One could also develop similar notations in which one uses weak topologies instead of the weak* topology, but we will not need the weak topology in these notes.)
We have the following nonstandard version of the Banach-Alaoglu theorem:

Theorem 10 (Nonstandard version of Banach-Alaoglu) If {X} is a normed vector space with dual {X^*}, then we have the inclusion

\displaystyle  O(X^*) \subset X^* \oplus o_{w^*}(X^*).

Proof: Since {X^* \cap o_{w^*}(X^*)}, it suffices to show that every {\lambda \in O(X^*)} can be decomposed as {\lambda = \xi + \eta} for some {\xi \in X^*} and {\eta \in o_{w^*}(X^*)}.
Let {\lambda \in O(X^*)}, thus there is a standard {C} such that {|\lambda(x)| \leq C {}^* \|x\|_{{}^* X}} for all {x \in {}^* X}. In particular, if we define {\xi(f) := \mathrm{st} \lambda(f)} for {f \in X}, then {\xi} depends linearly on {X} and {|\xi(f)| \leq C \|f\|_X} for all {f \in X}; thus {\xi} is an element of {X^*}. Setting {\eta := \lambda - \xi}, we see from construction that {\lambda(f) = o(1)} for all {f \in X}, giving the claim. \Box
Theorem 10 can be compared with Proposition 2 of Notes 2, except in this nonstandard analysis setting, no separability is required on the predual space {X}.
If {T: X \rightarrow Y} is a standard bounded linear operator between normed vector spaces, then one has a nonstandard linear operator {{}^* T: {}^* X \rightarrow {}^* Y}. It is easy to see that this operator maps {O(X)} to {O(Y)} and {o(X)} to {o(Y)}. The adjoint operator {T^*: Y^* \rightarrow X^*} similarly maps {O(Y^*)} to {O(X^*)} and {o(Y^*)} to {o(X^*)}, but also takes {O_{w^*}(Y^*)} to {O_{w^*}(X^*)} and {o_{w^*}(Y^*)} to {o_{w^*}(X^*)}.
A (nonstandard) linear operator {P: O(X^*) \rightarrow O(X^*)} will be said to be an approximate identity on {O(X^*)} if {I-P} maps {O(X^*)} to {o_{w^*}(X^*)}. Here are two basic and useful examples of such approximate identities:

Exercise 11 (Frequency and spatial localisation as approximate identities)

  • (i) For standard {1 < p \leq \infty} and unbounded {N > 0}, show that the nonstandard Littlewood-Paley projection {P_{\leq N}} is an approximate identity on {O(L^p({\bf R}^d))}, and more generally on the Sobolev spaces {O(W^{p,k}({\bf R}^d))} for any standard natural number {k}.
  • (ii) For standard {1 < p < \infty} and unbounded {R>0}, and a standard test function {\psi \in C^\infty_c({\bf R}^d)} that equals {1} near the origin, show that the nonstandard spatial truncation opertor {f(\cdot) \mapsto \psi(\cdot/{\bf R}) f(\cdot)} is an approximate identity on {O(L^p({\bf R}^d))}, and more generally on the Sobolev spaces {O(W^{p,k}({\bf R}^d))} for any standard natural number {k}. What happens at {p=\infty}?

— 3. Nonstandard analysis and distributions —

Let {U \subset {\bf R}^d} be a standard open set. The dual of the standard space {C^\infty_c(U \rightarrow {\bf R})} of test functions on {U} is the standard space {C^\infty_c(U \rightarrow {\bf R})^*} of distributions. Like any other standard space, it has a nonstandard counterpart {*(C^\infty_c(U \rightarrow {\bf R})^*)}, whose elements are the nonstandard distributions.
A nonstandard distribution {\lambda \in {}^*(C^\infty_c(U \rightarrow {\bf R})^*)} will be said to be weakly bounded if, for any standard compact set {K \subset U}, there is a standard natural number {k} and standard {C>0} such that one has the bound

\displaystyle  |\lambda(f)| \leq C \| f \|_{C^k(K \rightarrow {\bf R})}

for all standard {f\in C^k(K \rightarrow {\bf R})}. (It would be slightly more accurate to use the terminology “weak-* bounded” instead of “weakly bounded”, but we will omit the asterisk here to make the notation a little less clunky. Similarly for the related concepts below) Thus for instance any standard distribution is weakly bounded, and if {X} is any normed vector space structure on {C^\infty_c(U \rightarrow {\bf R})} that is continuous in the test function topology, and {\lambda \in O(X^*)}, then {\lambda} will be weakly bounded. We say that a nonstandard distribution {\lambda} is weakly infinitesimal if one has {\lambda(f) = o(1)} for all standard {f \in C^\infty_c(U \rightarrow {\bf R})}. For instance, if {X} is any normed vector space structure on {C^\infty_c(U \rightarrow {\bf R})} and {\lambda = o(X^*)}, then {\lambda} will be weakly infinitesimal. We say that two nonstandard distributions {\lambda, \lambda'} are weakly equivalent, and write {\lambda \sim \lambda'}, if they differ by a weakly infinitesimal distribution, thus

\displaystyle  \lambda(f) = \lambda'(f) + o(1)

for all standard test functions {f \in C^\infty_c(U \rightarrow {\bf R})}.
If {\lambda} is a weakly bounded distribution, we can define the weakly standard part {\mathrm{st}_w(\lambda) \in C^\infty_c(U \rightarrow {\bf R})^*} to be the distribution defined by the formula

\displaystyle  (\mathrm{st}_w(\lambda))(f) := \mathrm{st}(\lambda(f)).

This is the unique standard distribution that is weakly equivalent to {\lambda}. As such, it must be compatible with the other decompositions of the preceding section. For instance, if {X} is a normed vector space structure on {C^\infty_c(U \rightarrow {\bf R})} and {\lambda \in O(X^*)}, then the decomposition {\lambda = \mathrm{st}_w(\lambda) + (\lambda - \mathrm{st}_w(\lambda) )} must agree with the one in Theorem 10, thus {\mathrm{st}_w(\lambda) \in X^*} and {\lambda - \mathrm{st}_w(\lambda) = o_{w^*}(X^*)}. In particular, if {X^*} embeds compactly into a normed vector space {Y}, we also have {\lambda - \mathrm{st}_w(\lambda) = o(Y)}, thus weak equivalence in {O(X^*)} implies strong equivalence in {O(Y)}. By the definition of the dual norm we also conclude the Fatou-type inequality

\displaystyle  \| \mathrm{st}_w(\lambda) \|_{X^*} \leq \mathrm{st} \| \lambda \|_{{}^* X^*} \ \ \ \ \ (1)

whenever {\lambda \in O(X^*)}.
Informally, {\mathrm{st}_w(\lambda)} represents the portion of {\lambda} that one can “observe” at standard physical scales and standard frequency scales, ignoring all components of {\lambda} that are at unbounded or infinitesimal physical or frequency scales. The following examples may help illustrate this point:

Example 12 Let {N} be an unbounded natural number, and on {{\bf R}} let {\lambda} be the nonstandard distribution {\lambda(x) := \sin(Nx)}. Then {\lambda} is weakly infinitesimal, so {\mathrm{st}_w(\lambda) = 0}. This is in contrast to the pointwise standard part {\mathrm{st} \lambda(x) = \mathrm{st}(Nx)}, which is a rather wild (and almost certainly non-measurable) function from {{\bf R}} to {[-1,1]}. The nonstandard distribution {N \sin(Nx)} is not even pointwise bounded in general, so does not have a pointwise standard part, but is still weakly infinitesimal and so {\mathrm{st}_w(\lambda)=0}. Similarly if one replaces {\sin(Nx)} by {\psi(x-N)} for some standard bump function {\psi \in C^\infty_c({\bf R})}.

The following table gives the analogy between these nonstandard analysis concepts, and the more familiar ones from sequential weak compactness theory:

Standard distribution {\lambda} Distribution {\lambda}
Nonstandard distribution {\lambda} Sequence of distributions {\lambda_n}
Embedding {{}^*\lambda} of standard distribution {\lambda} Constant sequence {\lambda_n = \lambda}
{\lambda = O(X)} {\lambda_n} is bounded in {X} norm
{\lambda = o(X)} {\lambda_n} converges strongly to zero in {X}
{\lambda \in X +o(X)} {\lambda_n} converges in {X} norm (possibly after passing to subsequence)
{\lambda = O_{w^*}(X^*)} {\lambda_n} is weak-* bounded in {X^*}
{\lambda = o_{w^*}(X^*)} {\lambda_n} converges weak-* to zero in {X^*}
{\lambda} is weakly infinitesimal {\lambda_n} converges to zero in distribution
{\mathrm{st}_w(\lambda)} Weak limit of {\lambda_n} (possibly after passing to subsequence)

Exercise 13 Let {f \in O( L^2( U \rightarrow {\bf R}) )}, establish the Pythagorean identity

\displaystyle  \|f\|_{L^2(U \rightarrow {\bf R})}^2 = \| \mathrm{st}(f) \|_{L^2(U \rightarrow {\bf R})}^2 + \| f - \mathrm{st}(f) \|_{L^2(U \rightarrow {\bf R})}^2.

This identity can be used as a starting point for the theory of concentration compactness, as discussed in these notes. What happens in other {L^p} spaces?

Exercise 14 Show that every standard distribution {\lambda \in C^\infty_c(U \rightarrow {\bf R})^*} is the weakly standard part of some weakly bounded nonstandard test function {f: {}^* {\bf C}^\infty_c(U \rightarrow {\bf R})}. (Hint: When {U} is {{\bf R}^d}, one can convolve with a nonstandard approximation to the identity and also apply a nonstandard spatial cutoff. When {U} is a proper subset of {{\bf R}^d} one also has to smoothly cut off outside an infinitesimal neighbourhood of the boundary of {U} if one wants to make the convolution well defined.) This result can be viewed as analogous to the previous observation that every standard real is the standard part of a bounded rational. This also provides an alternate way to construct distributions, as weakly bounded nonstandard test functions up to weak equivalence.

Exercise 15 (Arzela-Ascoli, nonstandard distributional form) If {f \in {}^* C(U \rightarrow {\bf R})} is a nonstandard continuous function obeying the pointwise boundedness and pointwise equicontinuity axioms from Exercise 9. Show that {f} is also a weakly bounded distribution and that the weakly standard part of {f} agrees with the pointwise standard part: {\mathrm{st}_w f = \mathrm{st} f}. In particular, if {f} is also weakly infinitesimal, conclude that {\| f \|_{{}^* C(K)} = o(1)} for every standard compact set {K \subset {\bf R}}.

— 4. Leray-Hopf solutions to Navier-Stokes —

For {u_0 \in L^2({\bf R}^d \rightarrow {\bf R}^d)} that is divergence-free, recall that a Leray-Hopf solution to the Navier-Stokes equations on {[0,+\infty) \times {\bf R}^d} is a distribution {u \in L^\infty_t L^2_x( {\bf R} \times {\bf R}^d \rightarrow {\bf R}^d )} vanishing outside of {[0,+\infty) \times {\bf R}^d} that has the additional regularity

\displaystyle  \nabla u \in L^2_t L^\infty_x({\bf R} \times {\bf R}^d \rightarrow {\bf R}^{d^2})

obeying the energy inequality

\displaystyle  \frac{1}{2} \int_{{\bf R}^d} |u(T,x)|^2\ dx + \nu \int_0^T \int_{{\bf R}^d} |\nabla u(t,x)|^2\ dx dt \leq \frac{1}{2} \int_{{\bf R}^d} |u_0(x)|^2\ dx \ \ \ \ \ (2)

for almost all {T \in [0,+\infty)}, and solves the equation

\displaystyle  \partial_t u + \partial_j \mathbb{P} (u_j u) = \nu \Delta u + \delta(t) u_0(x) \ \ \ \ \ (3)

in the sense of distributions. We now give a nonstandard interpretation of this concept:

Proposition 16 (Nonstandard interpretation of Leray-Hopf solution) Let {u_0 \in L^2({\bf R}^d \rightarrow {\bf R}^d)} be divergence-free. Let {u: {}^* ([0,+\infty) \times {\bf R}^d) \rightarrow {}^* {\bf R}^d} be a nonstandard smooth function obeying the following properties:

  • (i) (Energy inequality) For all nonstandard {T \in {}^*[0,+\infty)}, one has the nonstandard energy inequality

    \displaystyle  \frac{1}{2} \int_{{}^* {\bf R}^d} |u(T,x)|^2\ dx + \nu \int_{{}^* [0,T]} \int_{{}^* {\bf R}^d} |\nabla u(t,x)|^2\ dx \ \ \ \ \ (4)

    \displaystyle  \leq \frac{1}{2} \int_{{}^* {\bf R}^d} |u_0(x)|^2\ dx + o(1).

    Here of course we use the nonstandard version of the Lebesgue integral, and extend {u_0} to {{}^* {\bf R}^d} in the usual fashion (i.e., we identify {u_0} with {{}^* u_0}).

  • (ii) (Initial data) We have {u(0,\cdot) \sim u_0(x)}.
  • (iii) (Weak time regularity) For any standard {N,T>0}, {P_{\leq N} \partial_t u \in O( L^2_t L^\infty_x( [0,T] \times {\bf R}^d) )}.
  • (iv) (Navier-Stokes) On {{}*^( [0,+\infty) \times {\bf R}^d )}, one has the nonstandard (classical) forced Navier-Stokes equation

    \displaystyle  \partial_t u + \partial_j \mathbb{P} (u_j u) = \nu \Delta u + F \ \ \ \ \ (5)

    where the forcing term {F}, after extending by zero to {{}^*({\bf R} \times {\bf R}^d)}, is weakly infinitesimal.

Then after extending {u} by zero to {{}^*({\bf R} \times {\bf R}^d)}, {u} is weakly bounded and {\mathrm{st}_w u} is a Leray-Hopf solution to Navier-Stokes. Conversely, every such Leray-Hopf solution arises in this fashion.

Thus, roughly speaking, Leray-Hopf solutions arise from nonstandard strong solutions to Navier-Stokes in which one permits weakly infinitesimal changes to the initial data and forcing term, which are arbitrary save for the constraint that these changes do not add more than an infinitesimal amount of energy to the system, and which also obey a technical but weak condition on the time derivative. Thus, for instance, one can insert a nonstandard frequency mollification at an unbounded frequency cutoff {N}, or a spatial truncation at an unbounded spatial scale {R}, without difficulty (so long as one checks that such modifications do not introduce more than an infinitesimal amount of energy into the system), which can be used to recover the standard construction of Leray-Hopf solutions.
Proof: First suppose that {u} obeys all the axioms (i)-(iv). We now repeat the arguments used to prove Theorem 14 of Notes 2, but translated to the language of nonstandard analysis. (All the key inputs are still basically the same; the changes are almost all entirely in the surrounding formalism.)
From (i) we see that

\displaystyle  u \in O( L^\infty_t L^2_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^d))


\displaystyle  \nabla u \in O( L^2_t L^2_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^{d^2}))

which implies that

\displaystyle  \mathrm{st}_w u \in L^\infty_t L^2_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^d)


\displaystyle  \nabla \mathrm{st}_w u \in L^2_t L^2_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^{d^2}).

Also, for every standard {0 < T < \infty} we have

\displaystyle  u \in O( L^2_t H^1_x([0,T] \times {\bf R}^d \rightarrow {\bf R}^d))

and hence by Sobolev embedding

\displaystyle  u \in O( L^2_t L^p_x([0,T] \times {\bf R}^d \rightarrow {\bf R}^d))

for {p>2} sufficiently close to {2}. From Hölder this gives

\displaystyle  u_j u \in O( L^1_t L^{p/2}_x([0,T] \times {\bf R}^d \rightarrow {\bf R}^d))

and then by the boundedness of the Leray projector

\displaystyle  \mathbb{P}( u_j u ) \in O( L^1_t L^{p/2}_x([0,T] \times {\bf R}^d \rightarrow {\bf R}^d)).

We have

\displaystyle  \partial_t u + \partial_j \mathbb{P}(u_j u) = \nu \Delta u + F + \delta(t) u(0,x)

in the sense of nonstandard distributions. Taking weakly standard part, we will obtain a weak solution to the Navier-Stokes equations as long as

\displaystyle  \mathrm{st}_w \mathbb{P}(u_j u) = \mathbb{P}(\mathrm{st}_w u_j \mathrm{st}_w u).

Both sides lie in {L^1_t L^{p/2}_x([0,T] \times {\bf R}^d \rightarrow {\bf R}^d)}, but the equality requires some care. Applying a standard test function {\phi \in C^\infty_c( {\bf R} \times {\bf R}^d \rightarrow {\bf R} )}, it suffices to show that

\displaystyle  \int_{{}^*([0,T] \times {\bf R}^d)} u_j u \cdot \mathbb{P} \phi\ dx dt = \int_{[0,T] \times {\bf R}^d} \mathrm{st}_w u_j \mathrm{st}_w u \cdot \mathbb{P} \phi\ dx dt + o(1) \ \ \ \ \ (6)

for all such {\phi}, which we can assume to be supported in {[0,T] \times {\bf R}^d}. One can check that {\mathbb{P} \phi} lies in {L^\infty_t L^{(p/2)'}([0,T] \times {\bf R}^d)}. If we can show that for every standard compact set {K \subset {\bf R}^d} that

\displaystyle  \int_{{}^*([0,T] \times K)} u_j u \cdot \mathbb{P} \phi\ dx dt = \int_{[0,T] \times K} \mathrm{st}_w u_j \mathrm{st}_w u \cdot \mathbb{P} \phi\ dx dt + o(1)

hence by Corollary 4 the same claim is true for some unbounded {R}; however, the nonstandard {L^\infty_t L^{(p/2)'}_x} norm of {\mathbb{P} \phi} outside of an unbounded ball {B(0,R)} is infinitesimal, and we then conclude (6).
Fix {K}. By Hölder’s inequality, it now suffices to show that

\displaystyle  \| u_j u - \mathrm{st}_w u_j \mathrm{st}_w u \|_{L^1_t L^{p/2}_x( {}^* ([0,T] \times K ) )} = o(1),

that is to say {u_j u} is strongly equivalent to {\mathrm{st}_w u_j \mathrm{st}_w u} in {L^1_t L^{p/2}_x([0,T] \times K)}. By another application of Hölder, it suffices to show that {u} is strongly equivalent to {\mathrm{st}_w u} in {L^2_t L^p_x([0,T] \times K)}.
For unbounded {N}, {P_{\leq N} \mathrm{st}_w u} is strongly equivalent to {\mathrm{st}_w u} in {L^2_t L^p_x([0,T] \times K)}; since {u} is bounded in {L^2_t H^1_x([0,T] \times {\bf R}^d)}, we also see from Bernstein’s theorem and the triangle inequality that {P_{\leq N} u} is strongly equivalent to {u} in {L^2_t L^p_x([0,T] \times K)}. Thus it suffices to show that for at least one unbounded {N}, that {P_{\leq N} u} is strongly equivalent to {P_{\leq N} \mathrm{st}_w u} in {L^2_t L^p_x([0,T] \times K)}. By overspill, it suffices to do this for arbitarily large standard {N}. But by Bernstein’s inequality, the difference {P_{\leq N} u - P_{\leq N} \mathrm{st}_w u} is bounded in {L^\infty_t L^\infty_x}, has space derivative bounded in {L^\infty_t L^\infty_x}, and time derivative bounded in {L^2_t L^\infty_x} on {{}^*( [0,T] \times {\bf R}^d )} by hypothesis, hence is equicontinuous from the fundamental theorem of calculus and Cauchy-Schwarz; by Exercise 15 we conclude that {P_{\leq N} u - P_{\leq N} \mathrm{st}_w u} is strongly infinitesimal in {L^\infty_t L^\infty_x([0,T] \times K)}, and hence also in {L^2_t L^p_x([0,T] \times K)} as required.
To show the energy inequality for {\mathrm{st}_w u}, we again repeat the arguments from Notes 2. If {0 < T < \infty} is standard and {\eta_\varepsilon \in C^\infty_c({\bf R} \rightarrow {\bf R})} is a standard non-negative test function supported on {[T,T+\varepsilon]} of total mass one for some small standard {\varepsilon>0}, then from averaging (4) we have

\displaystyle  \frac{1}{2} \int_{T}^{T+\varepsilon} \int_{{}^* {\bf R}^d} \eta_\varepsilon(t) |u(t,x)|^2\ dx dt + \nu \int_{{}^* [0,T]} \int_{{}^* {\bf R}^d} |\nabla u(t,x)|^2\ dx

\displaystyle \leq \frac{1}{2} \int_{{}^* {\bf R}^d} |u_0(x)|^2\ dx + o(1).

Taking weakly standard parts using (1) we conclude that

\displaystyle  \frac{1}{2} \int_{T}^{T+\varepsilon} \int_{{\bf R}^d} \eta_\varepsilon(t) |\mathrm{st}_w u(t,x)|^2\ dx dt + \nu \int_{[0,T]} \int_{{\bf R}^d} |\nabla \mathrm{st}_w u(t,x)|^2\ dx

\displaystyle \leq \frac{1}{2} \int_{{\bf R}^d} |u_0(x)|^2\ dx.

The energy inequality (2) then follows from the Lebesgue differentiation theorem (which, incidentally, can also be translated into a nonstandard analysis framework, as discussed to some extent in this previous post).
Now we establish the converse direction. Let {v} be a Leray-Hopf solution, then from Sobolev and Hölder we have

\displaystyle  v_j v \in L^2_t L^{q}_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^d)

for some {q>1} sufficiently close to {1}, and hence from the weak Navier-Stokes equation and Bernstein’s inequality we have

\displaystyle  \partial_t P_{\leq N} v \in L^2_t L^\infty_x([0,+\infty) \times {\bf R}^d \rightarrow {\bf R}^d) \ \ \ \ \ (7)

for every standard {N} (but without claiming the bound to be uniform in {N}).
Now let {\varepsilon>0} be infinitesimal and {N_1>0} be unbounded, let {\phi \in C^\infty_c({\bf R} \rightarrow {\bf R})} be a standard non-negative test function of total mass {1} supported on {[0,1]}, and let {u} be the nonstandard function

\displaystyle  u(t,x) := \int_{{}^*[0,1]} \phi(s) P_{\leq N_1} v(t + \varepsilon s, x )\ ds

arising from performing a frequency truncation in space and a smooth averaging in time. This is a nonstandard smooth function. From Minkowski’s inequality, (2), and the non-expansive nature of {P_{\leq N}} on {L^2} we see that we have the energy inequality (4) (in fact we do not even need the {o(1)} error here). From Exercise 19 of Notes 2, we know that {v(t)} converges strongly in {L^2} to {u_0} as {t \rightarrow 0}, and hence {P_{\leq N} v(\varepsilon s, x)} is strongly equivalent to {u_0} in {L^2} for all {s \in {}^* [0,1]}, and hence {u(0)} is also. From (7) and Minkowski’s inequality we also conclude property (iii) of the proposition.
The only remaining thing to verify is property (iv), which we will do assuming that {\varepsilon} is sufficiently small depending on {N_1}. From (3) we see that on {{}^* ([0,+\infty) \times {\bf R}^d)}, we have (in the classical sense) that

\displaystyle  \partial_t u(t,x) - \nu \Delta u(t,x) = - \int_{{}^*[0,1]} \phi(s) P_{\leq N_1} {\mathbb P}( v_j v )(t + \varepsilon s, x )\ ds

and so (5) holds with forcing term

\displaystyle  F = \partial_j \int_{{}^*[0,1]} \int_{{}^*[0,1]} \phi(s) \phi(s') {\mathbb P}( P_{\leq N_1} v_j(t+\varepsilon s) P_{\leq N_1} v(t+\varepsilon s') )(x )\ ds ds'

\displaystyle - \int_{{}^*[0,1]} \phi(s) P_{\leq N_1} {\mathbb P}( v_j v )(t + \varepsilon s, x )\ ds.

To show that {F} is weakly infinitesimal, it suffices as before to show that

\displaystyle  G_j := \int_{{}^*[0,1]} \int_{{}^*[0,1]} \phi(s) \phi(s') P_{\leq N_1} v_j(t+\varepsilon s) P_{\leq N_1} v(t+\varepsilon s') )(x )\ ds ds'

\displaystyle - \int_{{}^*[0,1]} \phi(s) P_{\leq N_1}( v_j v )(t + \varepsilon s, x )\ ds

is strongly infinitesimal in {L^1_t L^{p/2}([0,T] \times K)} for every standard {T} and compact {K}. But from (7) we know that {P_{\leq N} v(t+\varepsilon s,x) = P_{\leq N} v(t,x) + o(1)} for all {s \in {}^* [0,1]}, {t \in {}^* [0,T]}, and {x \in {}^* {\bf R}^d}, and hence by overspill one has

\displaystyle P_{\leq N_1} v(t+\varepsilon s,x) = P_{\leq N_1} v(t,x) + o(1)

for the same range of {s,t,x} if {\varepsilon} is sufficiently small depending on {N_1}. Thus {G_j} is strongly equivalent in {L^\infty_t L^\infty_x([0,T] \times K)} (and hence in {L^1_t L^{p/2}([0,T] \times K)} to the commutator type expression

\displaystyle  P_{\leq N_1} v_j P_{\leq N_1} v - P_{\leq N_1}(v_j v).

But from Bernstein’s inequality and the {L^2_t H^1_x} boundedness of {v}, we know that {P_{\leq N_1} v} is strongly equivalent to {v} in {L^2_t L^p_x([0,T] \times {\bf R}^d)}, so by Hölder it suffices to show that {P_{>N_1}(v_j v)} is strongly infinitesimal in {L^1_t L^{p/2}([0,T] \times K)}. But this follows from the fact that {v} is strongly equivalent to {P_{\leq N_1/4} v} in {L^2_t L^{p/2}}, and that {P_{>N_1}( P_{\leq N_1/4} v_j P_{\leq N_1/4} v)} vanishes. \Box

Remark 17 The above proof shows that we can in fact demand stronger regularity on the time derivative {\partial_t u} than is required in Proposition 16(iii) if desired; for instance, one can place {\partial_t u} in {L^2_t H^{-1}_x + L^1_t L^{p/2}_x} for {p>2} close enough to {p}.

Exercise 18 State and prove a more traditional analogue of this proposition that asserts (roughly speaking) that any weak limit of a sequence of smooth solutions to Navier-Stokes with changes in initial data and forcing term that converge weakly to zero, which asymptotically obeys the energy inequality, and which has some weak uniform control on the time derivative, will produce a Leray-Hopf solution, and conversely that every Leray-Hopf solution arises in this fashion.

Exercise 19 Translate the proof of weak-strong uniqueness from Proposition 20 of Notes 2 to nonstandard analysis, by first using Proposition 16 to interpret the weak solution as the weakly standard part of a strong nonstandard approximate solution. (One will need the improved control on {\partial_t u} mentioned in Remark 6.)