Structural Reduction and Necessary Conditions for Coherent Triadic Accumulation in the Three-Dimensional Navier–Stokes Equations

2.1. Navier–Stokes Equations and Functional Setting

We consider the three-dimensional incompressible Navier–Stokes equations posed on the periodic domain ${\mathbb{T}}^3$. This setting eliminates boundary effects and ensures compatibility with Fourier analysis, which will be used throughout the paper. The governing equations are given by

$$\begin{array}{ccc}& {\partial }_{t}u+(u\cdot \nabla )u+\nabla p=\nu \mathsf{\Delta }u,\nabla \cdot u=0.& \end{array}$$

(1)

Here, $u(x,t)\in {\mathbb{R}}^3$ denotes the velocity field and $p(x,t)$ the pressure. The viscosity coefficient $\nu >0$ is assumed fixed. The incompressibility constraint ensures that the dynamics evolve within the divergence-free subspace, which will later be enforced explicitly through the Leray projection.

We assume initial data

$$\begin{array}{ccc}& u_0\in H^s({\mathbb{T}}^3),s>{\displaystyle \frac{5}{2}}.& \end{array}$$

(2)

This regularity condition guarantees, by standard Sobolev embedding, that the velocity field is continuously differentiable in space. Consequently, the nonlinear term is well-defined pointwise and the classical local well-posedness theory applies. There exists a maximal time $\left.T^{*}\in (0,\infty \right]$ such that a unique strong solution exists in the class

$$u\in C([0,T^{*});H^s({\mathbb{T}}^3)).$$

No additional assumptions are imposed in this section, and all subsequent identities follow this standard functional framework.

2.2. Blow-Up Criterion

The continuation criterion for strong solutions provides a precise reduction of finite-time breakdown to the growth of Sobolev norms. Let $u(t)\in H^s({\mathbb{T}}^3)$, with $s>5/2$, be the unique strong solution constructed in Section 2.1, and let $\left.T^{*}\in (0,\infty \right]$ denote its maximal time of existence.

It is a standard consequence of the local well-posedness theory (see, e.g., [6,7]) that if $T^{*}<\infty$, then the Sobolev norm must become unbounded as $t\to T^{*}$. More precisely, one has the implication

$$\begin{array}{ccc}& \underset{t\to T^{*}}{\mathrm{l}\mathrm{i}\mathrm{m}\hspace{0.17em}\mathrm{s}\mathrm{u}\mathrm{p}}\parallel u(t){\parallel }_{H^s}=\infty \mathrm{whenever} T^{*}<\infty .& \end{array}$$

(3)

This statement will be used as the only blow-up criterion in the present work. No converse implication is required in the subsequent analysis, and we therefore avoid relying on any equivalence formulation.

Relation (3) reduces the global regularity problem to a quantitative question concerning the growth of the Sobolev norm. Any finite-time blow-up must be accompanied by divergence of $\parallel u(t){\parallel }_{H^s}$, and conversely, preventing such divergence suffices to exclude blow-up within the class of strong solutions considered here.

In the remainder of the paper, all arguments will be formulated in terms of this norm. More precisely, we will express the evolution of $\parallel u(t){\parallel }_{H^s}$ in terms of scale-resolved energy transfer obtained from the dyadic decomposition introduced in Section 2.4. This reformulation is exact and follows directly from the identities derived in Section 2.5, Section 2.6 and Section 2.7. No approximation, closure assumption, or statistical hypothesis is introduced at this stage.

Relation (3) identifies divergence of the Sobolev norm as a necessary condition for blow-up. The subsequent analysis will refine this condition by expressing the growth of the norm in terms of weighted nonlinear transfer and by isolating the interaction mechanisms that can contribute to such growth. In particular, the next sections will show that any divergence compatible with (3) must arise from a restricted class of interactions, which will then be analyzed and ultimately excluded.

2.3. Fourier Representation and Triadic Structure

We adopt the Fourier series convention on ${\mathbb{T}}^3$: $\widehat{f}(k)={\int }_{{\mathbb{T}}^3}f(x)\hspace{0.17em}{e}^{-ik\cdot x}\hspace{0.17em}dx,k\in {\mathbb{Z}}^3,$ so that the gradient operator $\nabla$ corresponds to multiplication by $-ik$ in Fourier space.

To analyze the nonlinear structure of the Navier–Stokes equations, we pass to Fourier variables on the periodic domain ${\mathbb{T}}^3$. Let $\widehat{u}(k,t)$ denote the Fourier coefficient of the velocity field $u(x,t)$ corresponding to the wave vector $k\in {\mathbb{Z}}^3$. The Fourier transform is taken componentwise, and the divergence-free condition $\nabla \cdot u=0$ implies

$$\begin{array}{ccc}& k\cdot \widehat{u}\left(k,t\right)=0 \mathrm{for} \mathrm{all} k\in {\mathbb{Z}}^3.& \end{array}$$

(4)

Taking the Fourier transform of the Navier–Stokes equations (1), we obtain the evolution equation

$$\begin{array}{ccc}& {\partial }_t\widehat{u}(k,t)=-\nu \mid k{\mid }^2\widehat{u}(k,t)+i\sum _{p+q=k}(q\cdot \widehat{u}(p,t))\hspace{0.17em}\widehat{u}(q,t)-ik\hspace{0.17em}\widehat{p}(k,t),& \end{array}$$

(5)

where $\widehat{p}(k,t)$ denotes the Fourier coefficient of the pressure. The pressure term is determined by the incompressibility constraint and does not represent an independent dynamical variable.

To eliminate the pressure, we project equation (5) onto the divergence-free subspace using the Leray projection operator

$$\begin{array}{ccc}& P(k)=I-{\displaystyle \frac{k\otimes k}{\mid k{\mid }^2}},k\ne 0,& \end{array}$$

(6)

where $I$ is the identity matrix and $k\otimes k$ denotes the rank-one tensor with components $\left(k\otimes k{)}_{ij}=k_i{k}_j\right.$.

By construction, $P(k)$ is an orthogonal projection onto the plane orthogonal to $k$, and satisfies

$$\begin{array}{ccc}& k\cdot \left(P\left(k\right)v\right)=0 \mathrm{for} \mathrm{all} v\in {\mathbb{C}}^3.& \end{array}$$

(7)

Applying $P(k)$ to (5), we obtain the projected evolution equation

$$\begin{array}{ccc}& {\partial }_t\widehat{u}(k,t)=-\nu \mid k{\mid }^2\widehat{u}(k,t)+\sum _{p+q=k}N(k,p,q;t),& \end{array}$$

(8)

where the nonlinear interaction term is defined by

$$\begin{array}{ccc}& N(k,p,q;t)=i\hspace{0.17em}P(k)[(q\cdot \widehat{u}(p,t))\hspace{0.17em}\widehat{u}(q,t)].& \end{array}$$

(9)

Equations (8)–(9) provide an exact representation of the nonlinear term, in which all interactions are expressed as bilinear couplings among Fourier modes. The divergence-free condition is preserved by construction, since $k\cdot N(k,p,q;t)=0$ for all admissible triples $\left(k,p,q\right)$. This formulation is equivalent to the symmetric triadic constraint $k+p+q=0$ used later, up to a relabeling of wave vectors.

The convolution constraint in (8) implies that nonlinear interactions occur only among triplets of wave vectors satisfying

$$\begin{array}{ccc}& k+p+q=0.& \end{array}$$

(10)

This relation is purely algebraic and follows from translation invariance. It shows that the nonlinear term is decomposed into contributions indexed by triads of interacting modes.

We emphasize that representation (8)–(10) is exact and introduces no approximation or modeling assumption. Every nonlinear interaction appearing in the original equation is uniquely associated with a triadic configuration satisfying (10). This establishes the triadic structure as an exhaustive description of the nonlinear dynamics.

This structure will serve as the fundamental building block for all subsequent analysis. In particular, the classification of interactions in Chapter 3 will be formulated entirely in terms of subsets of triads, and all energy transfer mechanisms will be traced back to the contributions $N(k,p,q;t)$ defined above.

2.4. Dyadic Decomposition

To resolve the dynamics across scales, we introduce a Littlewood–Paley decomposition [22,26,27]. Here, j ∈ ℕ₀ denotes the dyadic shell index. The velocity field is decomposed as

$$\begin{array}{ccc}& u=\sum _{j\ge 0}{u}_j,\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}({\widehat{u}}_j)\subset \{\mid k\mid \sim 2^j\}.& \end{array}$$

(11)

Each component $u_j$ represents the contribution from a dyadic frequency band. This decomposition allows us to analyze the flow in a scale-by-scale manner.

The decomposition satisfies the norm equivalence $\parallel u{\parallel }_{L^2}^2\sim {\sum }_{j\ge 0}\parallel u_j{\parallel }_{L^2}^2$, and the scaling relation $\parallel \nabla u_j{\parallel }_{L^2}\sim 2^j\parallel u_j{\parallel }_{L^2}$. These properties follow from the support condition and standard Fourier multiplier estimates. They ensure that derivatives correspond to multiplication by the characteristic frequency.

We define the shellwise energy and dissipation as

$$\begin{array}{ccc}& E_j(t)={\displaystyle \frac{1}{2}}\parallel u_j(t){\parallel }_{L^2}^2,& \end{array}$$

(12)

$$\begin{array}{ccc}& D_j(t)=\parallel \nabla u_j(t){\parallel }_{L^2}^2.& \end{array}$$

(13)

These quantities represent the energy and dissipation localized at scale $2^j$.

2.5. Shellwise Energy Balance

Applying the dyadic projection to the Navier–Stokes equations and taking the inner product with $u_j$, we obtain the exact identity

$$\begin{array}{ccc}& {\partial }_t{E}_j(t)+2\nu D_j(t)=T_j(t).& \end{array}$$

(14)

Here, $T_j\left(t\right)=-⟨P_j(u\cdot \nabla u),\hspace{0.17em}{u}_j{⟩}_{L^2}.$ denotes the nonlinear energy transfer into shell $j$.

This identity is exact and expresses the redistribution of energy across scales. Importantly, it does not involve any approximation or modeling assumption.

In the inviscid limit, the nonlinear term satisfies $T(k,p,q)+T(p,q,k)+T(q,k,p)=0$, which reflects conservation of energy within each triad. Thus, energy transfer is purely redistributive and does not create or destroy energy.

2.6. Sobolev Norm as Weighted Energy

The Sobolev norm admits an equivalent representation in terms of shellwise energy:

$$\begin{array}{ccc}& \parallel u(t){\parallel }_{H^s}^2\sim \sum _{j\ge 0}{2}^{2sj}{E}_j(t).& \end{array}$$

(15)

This motivates the definition

$$\begin{array}{ccc}& E_s(t)=\sum _{j\ge 0}{2}^{2sj}{E}_j(t).& \end{array}$$

(16)

The weights $2^{2sj}$ reflect the contribution of each scale to the Sobolev norm. Higher frequencies are amplified, making them critical for potential blow-up.

2.7. Evolution of Weighted Energy

Differentiating (16) and using (14), we obtain

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}{E}_s(t)=\sum _{j\ge 0}{2}^{2sj}{T}_j(t)-2\nu \sum _{j\ge 0}{2}^{2sj}{D}_j(t).& \end{array}$$

(17)

Since the dissipation term is nonnegative, we have

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}{E}_s(t)\le \sum _{j\ge 0}{2}^{2sj}{T}_j(t).& \end{array}$$

(18)

Thus, growth of the Sobolev norm is driven entirely by the nonlinear transfer.

2.8. Positive Transfer and Growth Mechanism

Here and throughout the paper,τ denotes the time variable of integration, distinct from the evolution variable t. Define the positive part

$$\begin{array}{ccc}& T_j^{+}(t)=\mathrm{m}\mathrm{a}\mathrm{x}\{T_j(t),0\}.& \end{array}$$

(19)

Then

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}{E}_s(t)\le \sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t).& \end{array}$$

(20)

Integrating in time yields

$$\begin{array}{ccc}& E_s(t)\le E_s(0)+{\int }_0^t\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(\tau )\hspace{0.17em}d\tau .& \end{array}$$

(21)

Therefore, finite-time blow-up requires

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt=\infty .& \end{array}$$

(22)

This condition shows that only positive transfer contributes to norm growth. This condition will serve as the starting point for the structural reduction developed in the subsequent chapters.

2.9. Triadic Decomposition of Transfer

The shellwise transfer can be decomposed into contributions indexed by triadic interaction families. More precisely, we write

$$\begin{array}{ccc}& T_j(t)=\sum _{\tau \in F_j}{T}_{\left(\tau ,j\right)}(t).& \end{array}$$

(23)

Here, $F_j$ denotes the set of triadic families contributing to shell $j$, which we define by $F_j=\{(k,p,q):k+p+q=0,\mid k\mid \sim 2^j\}.$ This decomposition is obtained directly from the Fourier representation (4)–(10) together with the dyadic localization (11). It provides the exact link between shellwise transfer and the underlying triadic structure of nonlinearity. In particular, the quantity $T_j(t)$ is not treated as an aggregate object, but as a sum of explicitly identified triadic contributions. This point is essential for the later structural reduction, since the analysis in Chapters 3–7 will distinguish different subclasses of $F_j$ according to their scale relations and dynamical properties. Thus, (23) serves as the bridge between the energetic formulation of the present chapter and the interaction-level analysis that begins in the next chapter.

This decomposition is exact and exhausts all nonlinear interactions, so that no contribution lies outside the family structure defined above.

2.10. Summary and Reduction Principle

This chapter establishes only the energetic reduction of the continuation problem. No structural decomposition, temporal localization, or interaction classification has yet been used. Those ingredients enter in Chapter 3 and the subsequent chapters. Accordingly, the conclusion reached here is limited to the exact reduction of possible blow-up to the divergence of weighted positive nonlinear transfer.

No mechanism capable of sustaining blow-up has been excluded at this stage. The subsequent analysis will show that all such mechanisms are confined to a restricted interaction class.

3.1. Role of This Chapter

This chapter establishes a structural decomposition of the nonlinear interactions in the three-dimensional incompressible Navier–Stokes equations. The goal is to identify, at the level of exact Fourier–triadic representation, which interaction classes can contribute to scale-resolved energy transfer after Sobolev weighting and which classes are necessarily perturbative.

The starting point is the reduction derived in Chapter 2. There, the continuation criterion was reformulated as the divergence of the weighted positive nonlinear transfer. The present chapter refines this formulation by decomposing the transfer $T_j$ into geometrically distinct interaction classes. The classification is based solely on frequency comparability and is independent of amplitudes, phases, or time evolution.

The methodology is deliberately separated into two stages. First, a purely structural classification is carried out, based only on the triadic constraint and dyadic localization. Second, perturbative summability of non-core contributions is established using standard harmonic-analysis estimates. No dynamical assumption, no coherence condition, and no large-amplitude condition is used at this stage.

The conclusion of this chapter is that all nonlinear interactions can be decomposed into a perturbatively controlled remainder and a single geometrically defined same-scale class. The latter will be analyzed dynamically in subsequent chapters. Thus, the present chapter provides the structural foundation for the reduction of the blow-up problem.

No claim concerning regularity or singularity formation is made here. Only structural exhaustivity and perturbative control are established.

3.2. Fourier–Triadic Representation

From Chapter 2, the nonlinear term is represented in Fourier variables as

$$\begin{array}{ccc}& {\partial }_t\widehat{u}(k,t)=-\hspace{0.17em}\nu \mid k{\mid }^2\widehat{u}(k,t)+i\sum _{\begin{array}{c}p+q=k\end{array}}(q\cdot \widehat{u}(p,t))\hspace{0.17em}\widehat{u}(q,t).& \end{array}$$

(24)

After applying the Leray projection, this becomes

$$\begin{array}{ccc}& {\partial }_t\widehat{u}(k,t)=-\hspace{0.17em}\nu \mid k{\mid }^2\widehat{u}(k,t)+\sum _{\begin{array}{c}p+q=k\end{array}}N(k,p,q;t).& \end{array}$$

(25)

where $N\left(k,p,q;t\right)=i\hspace{0.17em}\mathbb{P}\left(k\right)\hspace{0.17em}\left[\left(q\cdot \widehat{u}\left(p,t\right)\right)\hspace{0.17em}\widehat{u}\left(q,t\right)\right], {\mathbb{P}}_{ij}\left(k\right)={\delta }_{ij}-{\displaystyle \frac{k_i{k}_j}{\mid k{\mid }^2}}.$

Each interaction satisfies

$$\begin{array}{ccc}& k+p+q=0.& \end{array}$$

(26)

This is obtained from the convolution condition $p+q=k$ by relabeling the output wave vector as $-k$. Hence the formulations $p+q=k$ and $k+p+q=0$ describe the same triadic interaction structure. This representation is exact and exhausts all nonlinear interactions, in the sense that every contribution to the nonlinear term arises from a triadic configuration satisfying (26). Therefore, no nonlinear interaction exists outside the triadic family defined by (26), and any structural classification must be imposed on this family of triads.

A key property is the conservation identity $T(k,p,q)+T(p,q,k)+T(q,k,p)=0,$ which holds in the inviscid limit and expresses energy redistribution within each triad. This identity ensures that any growth mechanism must be understood in terms of redistribution rather than creation of energy.

3.3. Dyadic Shell Formulation

Using the Littlewood–Paley decomposition

$$\begin{array}{ccc}& u=\sum _{j\ge 0}{u}_j,\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}({\widehat{u}}_j)\subset \{\mid k\mid \sim 2^j\},& \end{array}$$

(27)

we obtain shellwise energy identity

$$\begin{array}{ccc}& {\partial }_t{E}_j+2\nu D_j=T_j.& \end{array}$$

(28)

The quantity $T_j$ is defined by $T_j=-⟨P_j(u\cdot \nabla u),\hspace{0.17em}{u}_j{⟩}_{L^2}.$

This identity is exact and follows directly by projecting equation (1) and taking the $L^2$-inner product with $u_j$.

3.4. Classification of Interaction Channels

Each triadic interaction is classified according to the relative sizes of the frequencies:

Low–Low (LL):

$$\begin{array}{ccc}& \mid p\mid ,\mid q\mid \ll \mid k\mid ,& \end{array}$$

(29)

Low–High (LH):

$$\begin{array}{ccc}& \mid p\mid \ll \mid q\mid \sim \mid k\mid ,& \end{array}$$

(30)

High–High (HH):

$$\begin{array}{ccc}& \mid p\mid \sim \mid q\mid \sim \mid k\mid .& \end{array}$$

(31)

These three cases are mutually exclusive and exhaustive under the triadic constraint $k+p+q=0$. The classification depends only on frequency geometry and does not involve amplitudes or phases. Every triadic interaction satisfying (26) belongs to exactly one of the classes (29)–(31), and no interaction lies outside this classification.

3.5. Lemma 1 (Weighted Summability of LL and LH)

For every finite interval $\left[0,T\right]$ and for $s>{\displaystyle \frac{5}{2}}$, one has

$$\begin{array}{ccc}& {\int }_0^T\sum _j{2}^{2sj}\mid T_j^{LL}(t)\mid \hspace{0.17em}dt<\infty ,{\int }_0^T\sum _j{2}^{2sj}\mid T_j^{LH}(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(32)

Proof.

For LL interactions, we estimate

$$\begin{array}{ccc}& \mid T_j^{\mathrm{L}\mathrm{L}}\mid \le C\hspace{0.17em}\parallel u_j{\parallel }_{L^2}\sum _{m\le j-C_0}\parallel \nabla u_m{\parallel }_{L^{\infty }}\hspace{0.17em}\parallel u_m{\parallel }_{L^2}.& \end{array}$$

(33)

Using the Bernstein inequality,

$$\begin{array}{ccc}& \parallel \nabla u_m{\parallel }_{L^{\infty }}\le C{2}^{{\displaystyle \frac{5}{2}}m}\parallel u_m{\parallel }_{L^2},& \end{array}$$

(34)

we obtain

$$\begin{array}{ccc}& \mid T_j^{LL}(t)\mid \le C\parallel u_j{\parallel }_{L^2}\sum _{m\le j-C_0}{2}^{{\displaystyle \frac{5}{2}}m}\parallel u_m{\parallel }_{L^2}^2.& \end{array}$$

(35)

Multiplying by $2^{2sj}$ and summing over $j$ yields convergence by geometric decay.

The LH case is similar. Using that the derivative acts on the high-frequency factor, we obtain:

$$\begin{array}{ccc}& \mid T_j^{LH}(t)\mid \le C{2}^j\parallel u_j{\parallel }_{L^2}^2\sum _{m\le j-C_0}{2}^{{\displaystyle \frac{3}{2}}m}\parallel u_m{\parallel }_{L^2}.& \end{array}$$

(36)

Here, the factor $2^j$ arises from the derivative acting on the high-frequency component $u_j$, while the factor $2^{{\displaystyle \frac{3}{2}}m}$ follows from the application of the Bernstein inequality to the low-frequency component $u_m$. Thus, both contributions are summable. Consequently, LL and LH interactions cannot support divergence of the weighted nonlinear transfer and are therefore perturbative in the sense of the continuation criterion. □

3.6. Decomposition of HH Interactions

We write

$$\begin{array}{ccc}& T_j^{HH}=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}+T_j^{\mathrm{n}\mathrm{b}\mathrm{r}}+T_j^{\mathrm{o}\mathrm{u}\mathrm{t}}.& \end{array}$$

(37)

This is a structural partition based on frequency geometry. No amplitude or phase condition is used. The decomposition separates the same-scale interactions into a distinguished core component and auxiliary contributions, which will be analyzed separately in the subsequent sections.

3.7. Lemma 2 (Summability of Non-Core HH)

For every finite interval  $\left[0,T\right]$  and for  $s>{\displaystyle \frac{5}{2}}$, one has

$$\begin{array}{ccc}& {\int }_0^T\sum _j{2}^{2sj}(\mid T_j^{\mathrm{n}\mathrm{b}\mathrm{r}}\mid +\mid T_j^{\mathrm{o}\mathrm{u}\mathrm{t}}\mid )\hspace{0.17em}dt<\infty .& \end{array}$$

(38)

Proof.

For neighboring interactions:

$$\begin{array}{ccc}& \mid T_j^{\mathrm{n}\mathrm{b}\mathrm{r}}\mid \le C\sum _{\mid m-j\mid \le C_1}{2}^{-\gamma \mid m-j\mid }\hspace{0.17em}\parallel u_m{\parallel }_{L^2}^2\parallel u_j{\parallel }_{L^2}.& \end{array}$$

(39)

For outer interactions:

$$\begin{array}{ccc}& \mid T_j^{\mathrm{o}\mathrm{u}\mathrm{t}}\mid \le C\sum _{m\ge j+C_1}{2}^{-\gamma (m-j)}\hspace{0.17em}\parallel u_m{\parallel }_{L^2}^2\parallel u_j{\parallel }_{L^2}.& \end{array}$$

(40)

Both are summable due to exponential decay. Consequently, the neighboring and outer High–High interactions cannot support divergence of the weighted nonlinear transfer and are therefore perturbative in the sense of the continuation criterion. □

3.8. Structural Exhaustivity

The preceding sections show that all interaction classes other than the core class are perturbatively controlled in the weighted Sobolev framework. More precisely, Lemma 1 establishes the weighted summability of the Low–Low and Low–High channels, while Lemma 2 gives the corresponding summability for the neighboring and outer parts of the High–High channel. These results can now be combined into a single structural decomposition of the shellwise transfer.

We define the remainder $R_j$ by collecting all non-core contributions:

$$\begin{array}{ccc}& R_j=T_j^{LL}+T_j^{LH}+T_j^{\mathrm{n}\mathrm{b}\mathrm{r}}+T_j^{\mathrm{o}\mathrm{u}\mathrm{t}}.& \end{array}$$

(41)

With this definition, the total shellwise transfer admits the exact decomposition

$$\begin{array}{ccc}& T_j=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}+R_j.& \end{array}$$

(42)

This identity is not an estimate but a partition of the transfer into one geometrically distinguished component and one perturbatively controlled remainder. No pointwise smallness of the remainder is assumed; only weighted time-integrability is used in the subsequent argument.

The importance of this step is that all non-core channels are now represented by a single quantity $R_j$, whose weighted time-integrability follows immediately from the earlier lemmas.

Indeed, by Lemma 1 and Lemma 2, for every finite interval $\left[0,T\right]$,

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(43)

This is the structural exhaustivity property needed in the later chapters. It shows that once the core class has been separated, every remaining contribution is integrable in the weighted Sobolev sense. No interaction outside the core can independently support divergence of the transfer budget derived in Chapter 2.

Therefore, the remainder $R_j$ cannot support divergence of the weighted nonlinear transfer on any finite time interval, and any non-integrable accumulation must be supported by the core component on finite time intervals, while endpoint accumulation of the perturbative remainder remains a possible obstruction in the absence of additional control.

3.9. Main Structural Result

We now state the main theorem of this chapter. Its role is to summarize the entire structural reduction established in Section 3.4, Section 3.5, Section 3.6, Section 3.7 and Section 3.8 in a single precise statement. The theorem does not concern the dynamics of solutions inside the core class. Rather, it identifies the unique interaction class that remains after all perturbatively summable contributions have been removed.

The content of the theorem is therefore purely structural. It does not yet use any amplitude lower bound, low-drift condition, large-transfer threshold, curvature estimate, or temporal localization argument. All such ingredients enter only in later chapters. The present theorem should be read as the exact point at which the full nonlinearity is reduced to a single geometrically distinguished candidate mechanism.

This distinction is essential for logical clarity. If the theorem were to include dynamical assumptions, then the later blow-up reduction would risk circularity. By keeping the statement strictly geometric and summability-based, the reduction remains independent of the dynamical analysis that follows.

We therefore formulate the theorem below in terms of the exact decomposition of $T_j$ and the weighted summability of the remainder.

Theorem 1 (Structural reduction).

For each shell  $j$, the nonlinear energy transfer admits the decomposition

$$\begin{array}{ccc}& T_j=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}+R_j,& \end{array}$$

(44)

where  $T_j^{core}$  is the geometrically defined same-scale non-degenerate interaction class introduced in Section 3.6, and  $R_j$  is the remainder defined in (41). Moreover, for every finite interval  $\left[0,T\right]$,

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}\hspace{0.17em}\mid R_j(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(45)

Consequently, all non-core contributions are perturbatively controlled on every finite time interval. In particular, for any compact subinterval  $[0,T]\subset [0,T^{*})$, the perturbative remainder  $R_j$  cannot generate non-integrable accumulation of the weighted nonlinear transfer.

However, this finite-time summability does not imply integrability up to the blow-up time  $T^{*}$. Therefore, endpoint accumulation of the perturbative remainder remains a possible obstruction in the absence of additional control. Accordingly, any non-integrable behavior at the endpoint  $T^{*}$  must be understood as arising either from the coherent core contribution  $T_j^{core}$  or from endpoint accumulation of the perturbative remainder  $R_j$ .

Proof

Equation (44) is a restatement of the decomposition established in Section 3.8, equation (42). The weighted summability of $R_j$ in (45) follows from Lemma 1 and Lemma 2 after substituting the definition (41). Since every non-core interaction channel is contained in $R_j$, all such contributions are perturbatively summable on every finite time interval. This establishes the claimed structural reduction on compact subintervals.

The theorem asserts only structural reduction and finite-time perturbative control. It does not imply divergence of the core contribution, nor does it imply regularity. In particular, it does not exclude endpoint accumulation of the perturbative remainder, which remains a distinct obstruction at the level of the Navier–Stokes equations.□

3.10. Interpretation and Position in the Overall Argument

Theorem 1 identifies a unique candidate class for non-perturbative amplification on finite time intervals. This class is characterized purely by same-scale frequency comparability and geometric non-degeneracy. All remaining interactions are contained in a perturbatively summable remainder on every compact subinterval $[0,T]\subset [0,T^{*})$. In this precise sense, the nonlinear structure is reduced, at the level of finite-time analysis, to a single interaction class.

We summarize this consequence as the blow-up problem reduces, on finite time intervals, to the analysis of same-scale non-degenerate interactions, while endpoint accumulation of the perturbative remainder remains a distinct unresolved possibility.(46)

This statement should be interpreted with care. It does not assert that blow-up occurs within the core class, nor that the core class is itself unstable. Rather, it states that every other interaction class has already been shown to be harmless with respect to weighted Sobolev accumulation on finite time intervals. At the endpoint, however, this conclusion does not exclude accumulation of the perturbative remainder. Consequently, if a blow-up mechanism exists, it must be realized either through a subset of the core class or through endpoint accumulation of the perturbative remainder.

The logical position of this result within the overall argument is now clear. Chapter 2 reduces the continuation problem to divergence of weighted positive nonlinear transfer. Chapter 3 reduces that transfer, on finite time intervals, to the core interaction class, up to a perturbative remainder whose endpoint behavior is not determined at this stage. The subsequent chapters determine which subsets of the core class are dynamically relevant, and whether their contributions can remain non-integrable relative to the possible endpoint accumulation of the remainder.

Thus, Chapter 3 completes the structural half of the argument. No further classification of interaction channels is required beyond this point. The remaining problem is entirely dynamical: to analyze large-transfer, low-drift, coherent subsets within the geometrically defined core and to identify the mechanism responsible for any endpoint accumulation.

The argument up to this point establishes the implication

 blow-up⟹divergence⟹(confinement to the core class on finite time intervals) or (endpoint

accumulation of the perturbative remainder),

which serves as the starting point for the reduction arguments in Chapters 4–5 and for the subsequent dynamical analysis developed in Chapter 6.

3.11. Position in the Overall Argument

The logical position of Chapter 3 within the overall argument can now be made explicit. The role of the present chapter is to convert the full nonlinear dynamics into a reduced form in which all possible mechanisms of non-perturbative accumulation are confined to a single geometrically defined interaction class. This reduction is purely structural and is independent of any dynamical assumptions. It therefore serves as the entry point for all subsequent analysis.

The global structure of the argument can be summarized schematically as

$$\begin{array}{cccc}& \mathrm{Chapter} 3: \mathrm{structural} \mathrm{reduction} \Rightarrow \mathrm{Chapters} 4–5: \mathrm{concentration} \mathrm{of} \mathrm{transfer} & & \end{array}$$

$$\begin{array}{ccc}& \Rightarrow \mathrm{Chapter} 6: \mathrm{conditional} \mathrm{integrability} \mathrm{of} \mathrm{large}-\mathrm{transfer} \mathrm{subsets} \Rightarrow \perp .& \end{array}$$

(47)

Here, ⊥ denotes a contradiction with the blow-up condition (3), namely the divergence of the Sobolev norm

$\parallel u(t){\parallel }_{H^s}$ as $t\to T^{*}$. The meaning of each step in this chain is as follows.

The first step, established in the present chapter, shows that all nonlinear interactions can be decomposed into a perturbatively controlled remainder and a same-scale non-degenerate core class. This is the content of Theorem 1, which depends only on the triadic representation (Section 3.2), the dyadic formulation (Section 3.3), and the perturbative estimates in Lemma 1 and Lemma 2. No assumption on amplitudes, phases, or temporal behavior is used at this stage.

The second step, carried out in Chapters 4 and 5, introduces a dynamical restriction. There, it is shown that any divergence of the weighted nonlinear transfer must concentrate on a subset of the core class satisfying additional conditions, such as large transfer and low phase drift. This step uses the continuation criterion from Chapter 2 together with the structural reduction from Chapter 3. The output is not yet a contradiction, but a reduction of the blow-up scenario to a smaller and more constrained set.

The third step, carried out in Chapter 6, establishes that this reduced subset cannot support non-integrable accumulation. More precisely, it is shown that the large-transfer subset identified in the previous step remains integrable after Sobolev weighting when evaluated over finite time intervals. This is achieved through a combination of phase dynamics, temporal localization, and curvature estimates. At this stage, all remaining candidates for blow-up have been shown to be incompatible with the required divergence condition.

The final step is therefore immediate. The blow-up condition derived in Chapter 2 requires divergence of the weighted positive transfer, while Chapter 6 shows that no subset of interactions can produce such divergence under the stated analytic conditions. This contradiction completes the reduction argument.

It is important to emphasize the separation of roles between chapters. Chapter 3 provides only the structural reduction; Chapters 4–6 provide the dynamical exclusion. The correctness of the overall argument depends on maintaining this separation. No assumption introduced in Chapters 4–6 is used in the proof of Theorem 1.

Thus, the present chapter establishes the precise interface between structural decomposition and dynamical analysis. All subsequent arguments operate within the reduced framework defined here.

4.1. Purpose and Scope

This chapter establishes the first obstruction-level reduction of the blow-up problem. The objective is to connect the energetic continuation criterion derived in Chapter 2 with the structural decomposition obtained in Chapter 3, and to identify the precise location within the nonlinear interaction structure where any possible divergence must occur.

The result of Chapter 2 shows that blow-up of a strong solution is equivalent to divergence of the weighted Sobolev energy. This divergence is entirely driven by the positive part of the nonlinear transfer. However, this statement alone does not distinguish between different interaction mechanisms.

Chapter 3 provides a complete structural classification of nonlinear interactions. It shows that all interactions can be decomposed into a same-scale core contribution and a perturbative remainder, and that all non-core contributions are integrable on every finite time interval.

The present chapter combines these two facts. The goal is not to prove regularity or to exclude blow-up, but to derive a purely structural necessary condition that any blow-up must satisfy.

No assumption is introduced in this chapter. In particular, no condition on phase coherence, temporal localization, amplitude thresholds, or closure properties is used. All statements follow directly from the Navier–Stokes equations and the structural decomposition established previously.

4.2. Strategy of the Reduction

The reduction proceeds in two steps.

First, blow-up implies divergence of the weighted positive nonlinear transfer.

Second, since all non-core contributions are integrable on every finite time interval, any divergence must be supported either by the core contribution or by endpoint accumulation of the perturbative remainder.

Combining these statements yields the structural reduction

$$\begin{array}{ccc}& \mathrm{blow}-\mathrm{up} ⟹ \mathrm{non}-\mathrm{integrable} \mathrm{weighted} \mathrm{transfer} ⟹ \mathrm{divergence} \mathrm{occurs} \mathrm{in} (\mathrm{core} \mathrm{or} \mathrm{endpoint} \mathrm{remainder}).& \end{array}$$

(48)

This implication is purely structural and involves no additional assumptions.

4.3. Blow-Up Implies Divergence of Weighted Transfer

We first isolate the energetic implication that is independent of any structural decomposition.

The weighted Sobolev energy is defined by

$$\begin{array}{ccc}& E_s(t)=\sum _{j\ge 0}{2}^{2sj}{E}_j(t),& \end{array}$$

(49)

where

$$\begin{array}{ccc}& E_j(t)={\displaystyle \frac{1}{2}}\parallel u_j(t){\parallel }_{L^2}^2.& \end{array}$$

(50)

Let $T^{*}$ denote the maximal existence time of a strong solution. The continuation criterion states that if $T^{*}<\infty$, then

$$\begin{array}{ccc}& \underset{t<T^{*}}{\mathrm{s}\mathrm{u}\mathrm{p}}\parallel u(t){\parallel }_{H^s}=\infty .& \end{array}$$

(51)

Since $E_s(t)\sim \parallel u(t){\parallel }_{H^s}^2$, divergence of the Sobolev norm is equivalent to divergence of $E_s(t)$.

The evolution of $E_s(t)$ is governed by the exact identity

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}{E}_s(t)=\sum _{j\ge 0}{2}^{2sj}{T}_j(t)-2\nu \sum _{j\ge 0}{2}^{2sj}{D}_j(t).& \end{array}$$

(52)

Since the dissipation term is nonnegative, we obtain the upper bound

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}{E}_s(t)\le \sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t).& \end{array}$$

(53)

Integrating over $[0,t)\subset [0,T^{*})$,

$$\begin{array}{ccc}& E_s(t)\le E_s(0)+{\int }_0^t\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(\tau )\hspace{0.17em}d\tau .& \end{array}$$

(54)

We now state the energetic implication.

Theorem 2 (Blow-up forces divergence of weighted positive transfer).

Let  $u$  be a maximal strong solution on  $[0,T^{*})$  with  $s>5/2$ .

If

$$\begin{array}{ccc}& \underset{t<T^{*}}{\mathrm{s}\mathrm{u}\mathrm{p}}\parallel u(t){\parallel }_{H^s}=\infty ,& \end{array}$$

(55)

then

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt=\infty .& \end{array}$$

(56)

Proof.

If the integral in (56) were finite, then (54) would imply boundedness of $E_s(t)$ on $[0,T^{*})$, contradicting (55). Therefore the integral must diverge. □

This theorem is purely energetic and does not identify which interaction mechanisms are responsible for the divergence.

4.4. Structural Reduction of Divergence

We now incorporate the structural decomposition obtained in Chapter 3.

Recall that

$$\begin{array}{ccc}& T_j=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}+R_j,& \end{array}$$

(57)

where $R_j$ is the perturbative remainder.

From Chapter 3, the remainder satisfies weighted integrability on every finite time interval. In particular, for any $T<\infty$,

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(58)

This property implies that the remainder cannot produce divergence on any finite time interval. However, it does not exclude accumulation at the endpoint $T^{*}$.

Using the elementary inequality

$$\begin{array}{ccc}& T_j^{+}\le (T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}{)}^{+}+\mid R_j\mid ,& \end{array}$$

(59)

we transfer the divergence of the full transfer to the core contribution up to the perturbative remainder.

Theorem 3 (Structural localization of divergence support).

Assume that

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt=\infty .& \end{array}$$

(60)

Then any such divergence must be realized in one of the following forms:

• divergence of the same-scale core contribution on finite subintervals, or
• accumulation of the perturbative remainder at the endpoint  $T^{*}$.

Proof.

Multiply (59) by $2^{2sj}$, sum over $j$, and integrate in time:

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt\le {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t){)}^{+}\hspace{0.17em}dt+{\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt.& \end{array}$$

(61)

On any finite subinterval, the second term is finite by (58). Therefore, divergence on such intervals must be carried by the core contribution. If the divergence is not realized on any finite subinterval, it must arise through accumulation at the endpoint $T^{*}$. □

4.5. Structural Consequence

Combining Theorems 2 and 3, we obtain the following obstruction-level reduction:

$$\begin{array}{ccc}& \mathrm{blow}-\mathrm{up} ⟹ \left\{\begin{array}{c}\mathrm{d}\mathrm{i}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{g}\mathrm{e}\mathrm{n}\mathrm{c}\mathrm{e} \mathrm{o}\mathrm{f} \mathrm{t}\mathrm{h}\mathrm{e} \mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e} \mathrm{c}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{r}\mathrm{i}\mathrm{b}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n} \mathrm{o}\mathrm{n} \mathrm{f}\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{t}\mathrm{e} \mathrm{i}\mathrm{n}\mathrm{t}\mathrm{e}\mathrm{r}\mathrm{v}\mathrm{a}\mathrm{l}\mathrm{s},\\ \mathrm{o}\mathrm{r} \mathrm{e}\mathrm{n}\mathrm{d}\mathrm{p}\mathrm{o}\mathrm{i}\mathrm{n}\mathrm{t} \mathrm{a}\mathrm{c}\mathrm{c}\mathrm{u}\mathrm{m}\mathrm{u}\mathrm{l}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n} \mathrm{o}\mathrm{f} \mathrm{t}\mathrm{h}\mathrm{e} \mathrm{p}\mathrm{e}\mathrm{r}\mathrm{t}\mathrm{u}\mathrm{r}\mathrm{b}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{v}\mathrm{e} \mathrm{r}\mathrm{e}\mathrm{m}\mathrm{a}\mathrm{i}\mathrm{n}\mathrm{d}\mathrm{e}\mathrm{r}.\end{array}\right.& \end{array}$$

(62)

This statement is purely structural. It does not rely on any dynamical assumption, and it does not exclude blow-up. It identifies the only possible locations where non-integrable accumulation can occur within the Navier–Stokes nonlinear structure.

4.6. Role in the Overall Argument

The present chapter completes the first stage of the obstruction formulation. Chapter 2 reduces blow-up to divergence of weighted nonlinear transfer. Chapter 3 reduces the nonlinear transfer to a core contribution and a perturbative remainder.

The present chapter shows that any divergence must be concentrated either in the core contribution on finite time intervals or in endpoint accumulation of the remainder.

No further reduction is possible within the purely structural framework of the Navier–Stokes equations. The identification of the residual mechanism will be refined in the subsequent chapters.

5.1. Purpose and Position of the Chapter

This chapter refines the structural reduction obtained in Chapter 4 and identifies a quantitatively localized subset of nonlinear interactions that must support any possible divergence.

Chapter 4 established that if blow-up occurs, then divergence of the weighted nonlinear transfer must be realized either through the same-scale core contribution on finite intervals or through endpoint accumulation of the perturbative remainder.

The present chapter focuses on the first alternative. Its purpose is to show that any divergence carried by the same-scale core contribution cannot be generated by arbitrarily small values of the transfer, and must therefore persist on a large-transfer subset.

No additional assumption is introduced. In particular, no phase condition, no temporal localization, and no dynamical estimate is used. The reduction is purely algebraic and energetic.

5.2. Weighted Energy Framework

We recall the weighted energy quantities:

$$\begin{array}{ccc}& E_j(t)={\displaystyle \frac{1}{2}}\parallel u_j(t){\parallel }_{L^2}^2,& \end{array}$$

(63)

$$\begin{array}{ccc}& E_s(t)=\sum _{j\ge 0}{2}^{2sj}{E}_j(t).& \end{array}$$

(64)

The blow-up criterion reads

$$\begin{array}{ccc}& \underset{t<T^{*}}{\mathrm{s}\mathrm{u}\mathrm{p}}\parallel u(t){\parallel }_{H^s}=\infty .& \end{array}$$

(65)

From Chapter 4, this implies

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt=\infty .& \end{array}$$

(66)

5.3. Structural Decomposition

From Chapter 3, the transfer admits the decomposition

$$\begin{array}{ccc}& T_j(t)=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)+R_j(t),& \end{array}$$

(67)

with the remainder satisfying, for every finite $T$,

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(68)

Thus, divergence on finite intervals must be carried by the core contribution.

5.4. Reduction to Core Contribution

From Chapter 4, any blow-up implies

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t){)}^{+}dt=\infty \mathrm{for} \mathrm{some} \mathrm{sequence} T\uparrow T^{*},& \end{array}$$

(69)

or divergence occurs through endpoint accumulation of the remainder. We now refine the structure of the core contribution.

5.5. Threshold Decomposition

Fix a threshold sequence

$$\begin{array}{ccc}& {\mu }_j=2^{-\kappa j},\kappa >2s.& \end{array}$$

(70)

Decompose

(71)

Since

we obtain

(72)

Thus, the sub-threshold contribution is uniformly summable.

5.6. Large-Transfer Concentration

We now isolate the blow-up-relevant part.

Lemma 3 (Large-transfer concentration).

If blow-up occurs and divergence is carried by the core contribution, then

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t){)}_{\ge {\mu }_j}^{+}\hspace{0.17em}dt=\infty .& \end{array}$$

(73)

Proof.

From (71),

(74)

The first term is finite by (72). Therefore, divergence must occur in the second term. □

5.7. Family-Level Decomposition

The core transfer decomposes as

$$\begin{array}{ccc}& T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)=\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{T}_{\left(\tau ,j\right)}(t).& \end{array}$$

(75)

Taking positive parts,

$$\begin{array}{ccc}& (T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t){)}^{+}\le \sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}\mid T_{\left(\tau ,j\right)}(t)\mid .& \end{array}$$

(76)

Thus, divergence at shell level implies divergence at family level.

5.8. Large-Transfer Same-Scale Set

Define

$$\begin{array}{ccc}& G_{\left(\tau ,j\right)}({\mu }_j)=\left\{t\in [0,T] : (T_{\left(\tau ,j\right)}(t){)}^{+}\ge {\mu }_j\right\}.& \end{array}$$

(77)

This set isolates the large-transfer portion of same-scale interactions.

5.9. Final Reduction

Combining all steps, we obtain

$$\begin{array}{cccc}& \mathrm{blow}-\mathrm{up} ⟹ \mathrm{divergence} \mathrm{of} \mathrm{weighted} \mathrm{transfer} ⟹ \mathrm{divergence} \mathrm{of} \mathrm{core} \mathrm{contribution} & & \end{array}$$

$$\begin{array}{ccc}& ⟹ \mathrm{concentration} \mathrm{on} \mathrm{large}-\mathrm{transfer} \mathrm{same}-\mathrm{scale} \mathrm{subsets}.& \end{array}$$

(78)

5.10. Role in the Obstruction Framework

The present chapter completes the structural reduction at the level of interaction families.

Starting from the blow-up condition, we have identified a subset of nonlinear interactions characterized solely by:

• same-scale structure,
• non-degeneracy (from Chapter 3),
• large transfer magnitude.

No dynamical condition has been introduced. In particular, no phase information and no temporal localization have been used.

Thus, any possible blow-up must be supported on this large-transfer same-scale subset or arise through endpoint accumulation of the perturbative remainder.

No further reduction is possible within the purely structural and energetic framework of the Navier–Stokes equations.

6.1. Purpose and Scope of This Chapter

This chapter completes the assumption-free part of the analysis. The purpose is not to introduce a new estimate, a closure principle, or a dynamical exclusion mechanism. Rather, the purpose is to collect the consequences of Chapters 2–5 and to state, in a logically closed form, what any finite-time blow-up scenario must satisfy within the exact Navier–Stokes structure.

The preceding chapters established three facts. First, the continuation criterion reduces finite-time blow-up to divergence of the weighted positive nonlinear transfer. Second, the structural decomposition separates the nonlinear transfer into the same-scale core contribution and a perturbatively controlled remainder. Third, the threshold reduction shows that, if the core contribution carries divergence, then such divergence cannot be supported by arbitrarily small transfer values; it must persist on a large-transfer subset.

The present chapter combines these facts without adding any further hypothesis. In particular, no phase condition, no low-drift condition, no temporal localization estimate, no curvature estimate, and no closure assumption is used. The result is therefore an obstruction statement in the strict sense: it identifies the only remaining places where non-integrable accumulation can occur, but it does not eliminate them.

The conclusion will be that any finite-time blow-up must be supported by at least one of the following two mechanisms: large-transfer accumulation in the same-scale core class, or endpoint accumulation of the perturbative remainder. This is the precise endpoint of the assumption-free reduction.

6.2. Starting Point: Large-Transfer Core Reduction

From Chapter 5, if finite-time blow-up occurs and the divergence is carried by the same-scale core contribution, then the sub-threshold part of the core cannot account for the required divergence. Therefore, the large-transfer part must satisfy

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{\left(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)\right)}_{\ge {\mu }_j}^{+}\hspace{0.17em}dt=\infty .& \end{array}$$

(79)

Here the threshold sequence is

$$\begin{array}{ccc}& {\mu }_j=2^{-\kappa j},\kappa >2s.& \end{array}$$

(80)

The role of this threshold is purely structural. It separates the core transfer into two parts: one whose size is too small to generate weighted divergence after summation over shells, and one that remains large enough to be relevant to a possible blow-up mechanism.

The condition $\kappa >2s$ ensures that

$$\begin{array}{ccc}& \sum _{j\ge 0}{2}^{2sj}{\mu }_j=\sum _{j\ge 0}{2}^{-(\kappa -2s)j}<\infty .& \end{array}$$

(81)

Thus, the sub-threshold contribution cannot by itself support non-integrable accumulation. This argument is deterministic and does not depend on any dynamical property of the solution.

Equation (79) therefore identifies the first possible residual mechanism: large-transfer accumulation within the same-scale core contribution.

6.3. Familywise Representation of the Core Transfer

The same-scale core contribution is not a single elementary interaction. It is an aggregate of familywise triadic transfers. For each shell $j$, we write

$$\begin{array}{ccc}& T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)=\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{T}_{\left(\tau ,j\right)}(t),& \end{array}$$

(82)

where $F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}$ denotes the family of same-scale non-degenerate triadic interactions contributing to shell $j$.

Taking the positive part and using the elementary triangle inequality gives

$$\begin{array}{ccc}& {\left(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)\right)}^{+}\le \sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}\mid T_{\left(\tau ,j\right)}(t)\mid .& \end{array}$$

(83)

This inequality has an important logical role. It shows that any shellwise accumulation of the positive core transfer must be representable at the level of familywise triadic interactions. The estimate does not require a counting argument, a multiplicity bound, or a temporal localization result. It only uses the exact decomposition of the core transfer into familywise contributions.

Consequently, the large-transfer obstruction can be expressed at the family level. Define the large-transfer family set by

$$\begin{array}{ccc}& G_{\left(\tau ,j\right)}({\mu }_j)=\left\{t\in [0,T^{*}):{\left(T_{\left(\tau ,j\right)}(t)\right)}^{+}\ge {\mu }_j\right\}.& \end{array}$$

(84)

This definition contains only one condition: the familywise transfer is large. No phase drift, no coherence condition, and no additional dynamical constraint is built into the definition. This is essential for the assumption-free character of the present reduction.

The familywise large-transfer contribution is therefore

$$\begin{array}{ccc}& \sum _{j\ge 0}\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{2}^{2sj}{\int }_{G_{\left(\tau ,j\right)}({\mu }_j)}{\left(T_{\left(\tau ,j\right)}(t)\right)}^{+}\hspace{0.17em}dt.& \end{array}$$

(85)

This quantity is the most localized object reached by the purely structural and energetic analysis.

6.4. Endpoint Accumulation of the Perturbative Remainder

The second possible residual mechanism comes from the perturbative remainder. Chapter 3 established that the remainder is integrable on every finite interval. Namely, for every $T<T^{*}$,

$$\begin{array}{ccc}& {\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt<\infty .& \end{array}$$

(86)

However, this compact-time integrability does not imply integrability up to the endpoint $T^{*}$. Therefore, the following endpoint accumulation is not excluded by the structural estimates:

$$\begin{array}{ccc}& \underset{T\uparrow T^{*}}{\mathrm{l}\mathrm{i}\mathrm{m}\hspace{0.17em}\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt=\infty .& \end{array}$$

(87)

This is not a claim that such accumulation actually occurs. It is a statement about what has not been ruled out by the finite-time perturbative estimate. The distinction is essential. The structural analysis controls the remainder on compact subintervals, but it does not provide a uniform endpoint bound as $T\uparrow T^{*}$.

Thus, the perturbative remainder is harmless on every finite interval but remains a possible endpoint obstruction.

6.5. Exhaustion of the Assumption-Free Alternatives

We now combine the preceding reductions. The weighted positive nonlinear transfer must diverge if blow-up occurs. The transfer decomposes into the same-scale core part and the perturbative remainder. The remainder is controlled on finite intervals, while the core contribution, if divergent, must concentrate on its large-transfer part.

Therefore, any finite-time blow-up must satisfy at least one of the following alternatives:

$$\begin{array}{ccc}& \sum _{j\ge 0}\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{2}^{2sj}{\int }_{G_{\left(\tau ,j\right)}({\mu }_j)}{\left(T_{\left(\tau ,j\right)}(t)\right)}^{+}\hspace{0.17em}dt=\infty ,& \end{array}$$

(88)

or

$$\begin{array}{ccc}& \underset{T\uparrow T^{*}}{\mathrm{l}\mathrm{i}\mathrm{m}\hspace{0.17em}\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt=\infty .& \end{array}$$

(89)

These two alternatives are exhaustive within the present framework. The first corresponds to non-integrable accumulation in the large-transfer same-scale core class. The second corresponds to endpoint accumulation of the perturbative remainder.

No other nonlinear interaction class remains available. Low–Low, Low–High, neighboring High–High, and outer High–High contributions are all contained in $R_j$, and hence are controlled on every compact subinterval. The only contribution not absorbed into the perturbative remainder is the same-scale non-degenerate core. Inside that core, the sub-threshold portion is summable by construction. Thus, only the large-transfer core part remains.

This is the central obstruction statement of the assumption-free analysis.

6.6. Theorem 3: Assumption-Free Structural Obstruction

We now state the final consequence in theorem form.

Theorem 3 (Assumption-free structural obstruction).

Let  $u(t)$  be a maximal strong solution of the three-dimensional incompressible Navier–Stokes equations on  $[0,T^{*})$, with initial data in  $H^s({\mathbb{T}}^3)$,  $s>5/2$. If finite-time blow-up occurs at  $T^{*}<\infty$, then at least one of the following two alternatives holds:

$$\begin{array}{ccc}& \sum _{j\ge 0}\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{2}^{2sj}{\int }_{G_{\left(\tau ,j\right)}({\mu }_j)}{\left(T_{\left(\tau ,j\right)}(t)\right)}^{+}\hspace{0.17em}dt=\infty ,& \end{array}$$

(90)

or

$$\begin{array}{ccc}& \underset{T\uparrow T^{*}}{\mathrm{l}\mathrm{i}\mathrm{m}\hspace{0.17em}\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt=\infty .& \end{array}$$

(91)

Equivalently, finite-time blow-up can occur only if either the large-transfer same-scale core contribution is non-integrable, or the perturbative remainder accumulates at the endpoint.

Proof.

By the continuation criterion and the weighted energy inequality, finite-time blow-up implies divergence of the weighted positive transfer. By the structural decomposition,

$$\begin{array}{ccc}& T_j(t)=T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)+R_j(t).& \end{array}$$

(92)

Thus,

$$\begin{array}{ccc}& T_j^{+}(t)\le {\left(T_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}(t)\right)}^{+}+\mid R_j(t)\mid .& \end{array}$$

(93)

After multiplying by $2^{2sj}$, summing over $j$, and integrating in time, the divergence of the full weighted positive transfer can only be produced by the core contribution or by the remainder.

On every finite interval the remainder contribution is integrable by (86). Therefore, if the remainder does not accumulate at the endpoint in the sense of (91), the divergence must be carried by the core contribution.

The core contribution is split into sub-threshold and large-transfer parts. The sub-threshold part is summable by (81). Hence it cannot support divergence. Therefore, any divergence carried by the core must be supported on the large-transfer family set $G_{\left(\tau ,j\right)}({\mu }_j)$, giving (90). This proves the theorem. □

6.7. Meaning of the Obstruction

Theorem 3 does not prove regularity. It does not assert that either alternative actually occurs. Rather, it states that every possible blow-up scenario must pass through one of the two explicitly identified channels.

The first channel is a genuinely same-scale mechanism. It requires persistent accumulation of positive transfer in the geometrically non-degenerate core class, above the dyadic threshold ${\mu }_j$. This is the only non-perturbative interaction class left after the structural reduction.

The second channel is an endpoint mechanism. It is not visible on compact subintervals because the perturbative remainder is integrable there. Its only possible role is through loss of uniform integrability as $T$ approaches $T^{*}$.

Thus, the theorem separates two logically distinct obstructions:

$$\begin{array}{ccc}& \mathrm{core} \mathrm{obstruction} \mathrm{and} \mathrm{endpoint} \mathrm{remainder} \mathrm{obstruction}.& \end{array}$$

(94)

This separation is important because the two mechanisms require different kinds of further analysis. The core obstruction concerns the internal structure of same-scale triadic transfer. The endpoint obstruction concerns uniform control of perturbative estimates near the maximal time.

6.8. Logical Completion of the Assumption-Free Reduction

The assumption-free part of the paper is now complete. The logical chain is

$$\begin{array}{cccc}& \mathrm{finite}-\mathrm{time} \mathrm{blow}-\mathrm{up}⟹\mathrm{divergence} \mathrm{of} \mathrm{weighted} \mathrm{positive} \mathrm{transfer}.& & \end{array}$$

$$\begin{array}{cccc}& ⟹\mathrm{core} \mathrm{accumulation} \mathrm{or} \mathrm{endpoint} \mathrm{remainder} \mathrm{accumulation}& & \end{array}$$

$$\begin{array}{ccc}& ⟹\mathrm{large}-\mathrm{transfer} \mathrm{core} \mathrm{accumulation} \mathrm{or} \mathrm{endpoint} \mathrm{remainder} \mathrm{accumulation}.& \end{array}$$

(95)

Every implication in this chain follows from the Navier–Stokes equations, the exact triadic decomposition, the dyadic shell energy identity, and deterministic threshold splitting. No additional closure principle, statistical assumption, temporal localization estimate, or phase-dynamical hypothesis is used.

Therefore, the present analysis provides a complete obstruction theory in the following precise sense: it does not resolve the Navier–Stokes regularity problem, but it identifies the exact residual mechanisms that any finite-time blow-up must realize within the structural framework developed here.

No further exclusion is available without adding information beyond the structural and energetic estimates used in Chapters 2–6.

6.9. Final Statement of Scope

The conclusion of the assumption-free analysis is therefore

$$\begin{array}{cccc}& \mathrm{blow}-\mathrm{up}⟹\left[\mathrm{large}-\mathrm{transfer} \mathrm{same}-\mathrm{scale} \mathrm{core} \mathrm{accumulation}\right]\mathrm{or}\left[\mathrm{endpoint} \mathrm{accumulation} \mathrm{of} \mathrm{the} \mathrm{perturbative} \mathrm{remainder}\right].& & \end{array}$$

(96)

This is the final structural obstruction obtained in this paper. It should be emphasized that (96) is a necessary condition, not a sufficient condition. The theorem does not state that either mechanism produces blow-up. It states only that blow-up cannot occur without at least one of them.

This distinction is the central logical point of the obstruction formulation. The analysis is complete not because the residual mechanisms are eliminated, but because all other mechanisms have been structurally removed from consideration.

Thus, the Navier–Stokes continuation problem is reduced, without auxiliary assumptions, to the analysis of the two residual mechanisms displayed in (96).

7.1. Purpose and Logical Position of This Chapter

The purpose of this chapter is to clarify both the logical limitation of the assumption-free reduction and the precise form of an additional principle that would be sufficient to eliminate the remaining obstruction.

Chapters 2–6 (Part I) provide a complete, non-circular reduction of the continuation problem. All nonlinear interactions are reduced to two residual mechanisms: large-transfer accumulation within the same-scale core class and endpoint accumulation of the perturbative remainder. No further reduction is possible within the Navier–Stokes structure alone.

The role of the present chapter is to identify a minimal structural principle that would eliminate these residual mechanisms. We show that such a principle naturally arises when the incompressible system is interpreted as a singular limit of a thermodynamically complete compressible system.

7.2. Final Consequence of the Assumption-Free Reduction

The continuation criterion implies that finite-time blow-up requires divergence of the weighted positive nonlinear transfer:

$$\begin{array}{ccc}& {\int }_0^{T^{*}}\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt=\infty .& \end{array}$$

(97)

The structural reduction developed in Chapters 3–6 shows that this divergence can only arise through two residual mechanisms.

The first is non-integrable accumulation in the large-transfer same-scale core class:

$$\begin{array}{ccc}& \sum _{j\ge 0}\sum _{\tau \in F_j^{\mathrm{c}\mathrm{o}\mathrm{r}\mathrm{e}}}{2}^{2sj}{\int }_{G_{\left(\tau ,j\right)}({\mu }_j)}{\left(T_{\left(\tau ,j\right)}(t)\right)}^{+}\hspace{0.17em}dt=\infty .& \end{array}$$

(98)

The second is endpoint accumulation of the perturbative remainder:

$$\begin{array}{ccc}& \underset{T\uparrow T^{*}}{\mathrm{l}\mathrm{i}\mathrm{m}\hspace{0.17em}\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}\mid R_j(t)\mid \hspace{0.17em}dt=\infty .& \end{array}$$

(99)

These two alternatives exhaust all possibilities within the structural and energetic framework.

Theorem 4 (Assumption-free obstruction characterization).

Let  $u(t)$  be a maximal strong solution on  $[0,T^{*})$, with initial data in  $H^s({\mathbb{T}}^3)$,  $s>5/2$ .

If  $T^{*}<\infty$  and finite-time blow-up occurs, then at least one of the alternatives (98) or (99) must hold.

Proof.

The statement follows from the reductions established in Chapters 2–6. From the continuation criterion, finite-time blow-up implies divergence of the weighted positive nonlinear transfer as stated in (97).

The structural decomposition expresses the transfer as the sum of the same-scale core contribution and the perturbative remainder. The estimates obtained in Chapter 3 show that the remainder is integrable on every finite time interval. Therefore, divergence on any compact subinterval cannot be produced by the remainder.

The threshold decomposition introduced in Chapter 5 separates the core contribution into sub-threshold and large-transfer parts. The sub-threshold contribution is summable after dyadic weighting and cannot support divergence. Consequently, any divergence carried by the core must concentrate on the large-transfer subset defined by $G_{\left(\tau ,j\right)}({\mu }_j)$, which yields (98).

If divergence is not realized on any finite subinterval, then it must arise through loss of integrability as time approaches $T^{*}$. This corresponds to the endpoint accumulation described in (99).

Therefore, any finite-time blow-up must satisfy at least one of the alternatives (98) or (99). □

Interpretation

The first alternative corresponds to sustained accumulation of positive transfer within the same-scale non-degenerate core class, above the dyadic threshold. This represents the only remaining non-perturbative interaction channel after structural reduction.

The second alternative corresponds to loss of uniform control of the perturbative remainder near the maximal time. Although the remainder is integrable on every compact interval, the estimates obtained so far do not provide a bound uniform up to $T^{*}$.

No other mechanism remains available within the present framework.

7.3. What Has Been Eliminated

The preceding analysis removes all interaction channels except the two residual mechanisms identified above.

Low–Low interactions are perturbative under Sobolev weighting. Low–High interactions are controlled by paraproduct estimates. Neighboring and outer High–High interactions are included in the perturbative remainder and are integrable on finite intervals.

Furthermore, the sub-threshold part of the same-scale core contribution is summable because the threshold sequence satisfies

$$\begin{array}{ccc}& \sum _{j\ge 0}{2}^{2sj}{\mu }_j<\infty .& \end{array}$$

(100)

Thus, no eliminated channel can independently support non-integrable accumulation.

7.4. Why the Obstruction Is Not Eliminated

The estimates used in Part I provide structural localization and compact-time integrability, but they do not provide uniform control of the weighted positive transfer.

In particular, there is no bound of the form

$$\begin{array}{ccc}& \underset{T<T^{*}}{\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}{T}_j^{+}(t)\hspace{0.17em}dt<\infty .& \end{array}$$

(101)

Such a bound would exclude divergence and therefore preclude blow-up. However, it is not obtained from the structural and energetic arguments alone.

The large-transfer core set is identified, but its cumulative contribution is not bounded. The perturbative remainder is controlled on compact intervals, but no endpoint-uniform estimate is available.

Therefore, the residual mechanisms (98) and (99) are not eliminated by the present framework.

This limitation can be interpreted structurally as the absence of a thermodynamic dissipation mechanism acting on the positive part of the Sobolev-weighted transfer.

7.5. Non-Derivability of Closure

A complete continuation argument would require a bound that prevents divergence of the weighted positive transfer on the entire interval $[0,T^{*})$.

Such a bound cannot be obtained by assuming boundedness of the Sobolev norm, because that would be equivalent to assuming the conclusion.

The present analysis therefore reaches a natural limit. It identifies where divergence must occur, but it does not provide a mechanism that prevents it.

In particular, the Navier–Stokes equations do not contain an explicit entropy production mechanism at the level of the velocity field alone. This reflects the fact that the incompressible system is obtained by eliminating thermodynamic variables present in the full compressible system.

7.6. Thermodynamic Origin of the Missing Dissipation Mechanism

To identify the origin of the missing control mechanism in the incompressible Navier–Stokes equations, we reinterpret them as a singular limit of a thermodynamically complete compressible system.

In the incompressible formulation, only the momentum balance is retained, while all thermodynamic variables—density, temperature, internal energy, and entropy—are eliminated. As a consequence, no mechanism remains at the level of the velocity field that enforces the irreversible conversion of mechanical energy into thermal energy.

In contrast, the compressible Navier–Stokes system incorporates the first and second laws of thermodynamics in a closed, structural form. This thermodynamic closure introduces a natural dissipation mechanism that is intrinsically absent in the incompressible limit.

To make this distinction explicit, we recall the governing equations of the thermodynamically complete system.

Governing equations:

Mass conservation:

$${\displaystyle \frac{\partial \mathsf{\rho }}{\partial \mathrm{t}}}+\nabla \cdot (\mathsf{\rho }\mathrm{u})=0$$

(101)

Momentum balance:

$$\mathsf{\rho }\left({\displaystyle \frac{\partial \mathrm{u}}{\partial \mathrm{t}}}+\mathrm{u}\cdot \nabla \mathrm{u}\right)=-\nabla \mathrm{p}+\nabla \cdot \mathsf{\tau }$$

(102)

Internal energy balance:

$$\rho {\displaystyle \frac{De}{Dt}}=-p\nabla \cdot \mathrm{u}+\tau :\nabla \mathrm{u}-\nabla \cdot \mathrm{q}$$

(103)

Entropy inequality (Clausius–Duhem form):

$$\rho {\displaystyle \frac{Ds}{Dt}}+\nabla \cdot \left({\displaystyle \frac{\mathbf{q}}{T}}\right)={\displaystyle \frac{1}{T}}\hspace{0.17em}\mathit{\tau }:\nabla \mathbf{u}+\mathbf{q}\cdot \nabla \left({\displaystyle \frac{1}{T}}\right) \ge 0.$$

(104)

Here $\rho$ denotes the mass density, $\mathrm{u}$ the velocity field, $p$ the thermodynamic pressure, τ the viscous stress tensor, e the specific internal energy, $s$ the specific entropy, $T$ the absolute temperature, and $\mathrm{q}$ the heat flux.

Free-energy structure

The internal-energy balance and the entropy inequality are linked by the thermodynamic identity

$$\begin{array}{ccc}& T\hspace{0.17em}ds=de+p\hspace{0.17em}d\hspace{0.17em}\left({\displaystyle \frac{1}{\rho }}\right),& \end{array}$$

(105)

which expresses the first law of thermodynamics in differential form.

As a direct consequence, the system admits a naturally induced Helmholtz-type free-energy functional

$$\begin{array}{ccc}& \mathcal{F}(t)={\int }_{\mathsf{\Omega }}\left({\displaystyle \frac{1}{2}}\hspace{0.17em}\rho \hspace{0.17em}\mid \mathbf{u}{\mid }^2+\rho \hspace{0.17em}e-T_0\hspace{0.17em}\rho \hspace{0.17em}s\right)\hspace{0.17em}dx,& \end{array}$$

(106)

defined relative to a fixed reference temperature $T_0>0$.

Under standard constitutive assumptions, this functional is bounded from below and satisfies the dissipation inequality

$$\begin{array}{ccc}& {\displaystyle \frac{d}{dt}}\hspace{0.17em}\mathcal{F}(t) \le 0.& \end{array}$$

(107)

Interpretation

The monotonic decay of the free energy $\mathcal{F}(t)$ is a direct mathematical expression of the second law of thermodynamics at the level of the governing equations. It encodes an irreversible cascade of the form

$$\mathrm{coherent} \mathrm{kinetic} \mathrm{energy} ⟶ \mathrm{internal} \mathrm{energy} ⟶ \mathrm{entropy} \mathrm{production},$$

thereby providing a dissipative constraint on the evolution.

In the incompressible limit, this free-energy structure degenerates: the entropy and internal-energy components collapse into constants, and the second-law constraint is no longer represented explicitly. The incompressible Navier–Stokes equations thus retain only a shadow of thermodynamic irreversibility, in the form of kinetic-energy dissipation, while losing the full entropy-based admissibility mechanism present in the compressible system.

7.7. Loss of Thermodynamic Structure in the Incompressible Limit

The incompressible Navier–Stokes equations are formally obtained from the compressible system by imposing

$$\begin{array}{ccc}& \rho \to {\rho }_0,\nabla \cdot \mathit{u}=0,T\to T_0.& \end{array}$$

(108)

Under this reduction, the thermodynamic variables $\left(e,s\right)$ are eliminated, and the free-energy structure (105) degenerates into the kinetic energy

$$\begin{array}{ccc}& \mathcal{F}(t) ⟶ {\displaystyle \frac{{\rho }_0}{2}}\int \mid \mathit{u}{\mid }^{2}dx+\mathrm{constant}.& \end{array}$$

(109)

As a result, the entropy production mechanism no longer appears explicitly in the velocity formulation.

However, from a physical standpoint, the irreversible conversion

$$\begin{array}{ccc}& \mathrm{coherent} \mathrm{kinetic} \mathrm{energy} ⟶ \mathrm{internal} \mathrm{energy} ⟶ \mathrm{entropy} \mathrm{production}& \end{array}$$

(110)

does not vanish in the incompressible regime. Instead, it persists at arbitrarily small scales.

The standard incompressible model therefore corresponds to an idealized limit in which this thermodynamic effect is neglected.

From this viewpoint, the incompressible Navier–Stokes equations should not be regarded as a thermodynamically complete physical system. Rather, they represent a singularly reduced model in which density, temperature, internal energy, and entropy have been eliminated. As a result, the irreversible conversion of coherent kinetic energy into internal energy is no longer explicitly encoded in the governing equations.

This loss of thermodynamic admissibility provides a structural explanation for the difficulty of the global regularity problem. While viscous dissipation remains, the entropy-based constraint that would suppress coherent high-frequency energy transfer is absent at the level of the velocity field.

This shows that the incompressible Navier–Stokes equations correspond to a singular limit in which the thermodynamic dissipation mechanism is formally eliminated, leaving the positive part of the nonlinear transfer structurally unconstrained.

7.8. ε-Retained Thermodynamic Principle

To restore the missing dissipation mechanism in the incompressible Navier–Stokes equations, we introduce a minimal extension that retains thermodynamic effects at order $\epsilon >0$.

Here is a fully polished, publication-ready version of your paragraph, tightened for clarity, mathematical tone, and logical flow, while preserving the exact meaning and intent.

The $\epsilon$-retained thermodynamic structure may be interpreted as the leading-order remnant of the free-energy dissipation mechanism surviving a singular incompressible limit. Formally, expanding the compressible free energy about an incompressible reference state yield

$${\mathcal{F}}_{\epsilon }=E_s+\epsilon \hspace{0.17em}\mathcal{H}+O({\epsilon }^2),$$

(111)

which indicates that a thermodynamic contribution persists at first order even when density and temperature fluctuations are suppressed. The $\epsilon$-retained principle introduced below can therefore be viewed as a minimal structural realization of this residual thermodynamic effect, capturing the part of the second-law constraint that is otherwise lost in the strictly incompressible formulation.

We define the $\epsilon$-dependent free-energy functional

$$\begin{array}{ccc}& {\mathcal{F}}_{\epsilon }(t)=E_s(t)+\epsilon \hspace{0.17em}\mathcal{H}(t),\mathcal{H}(t)\ge 0.& \end{array}$$

(112)

Here $E_s(t)$ denotes the Sobolev-weighted kinetic energy, while $\mathcal{H}(t)$ represents a thermodynamic contribution corresponding to internal free energy.

We interpret the following condition as a minimal entropy-retaining extension of the incompressible system, preserving the thermodynamic dissipation mechanism inherited from the compressible formulation.

Theorem 5 (Thermodynamic closure under an entropy-retaining incompressible limit).

Assume that there exists  $\epsilon >0$  and a nonnegative functional  $\mathcal{H}(t)$  such that the modified free energy  ${\mathcal{F}}_{\epsilon }(t)$  defined in  $\left(111\right)$  satisfies

$$\begin{array}{ccc}& P_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t) \le -\hspace{0.17em}{\displaystyle \frac{d}{dt}}\hspace{0.17em}{\mathcal{F}}_{\epsilon }(t) + R_{\epsilon }(t),R_{\epsilon }\in L^1(0,T^{*}).& \end{array}$$

(113)

Then

$$\begin{array}{ccc}& {\int }_0^{T^{*}}{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt < \infty .& \end{array}$$

(114)

Consequently, the large-transfer same-scale core obstruction  $\left(98\right)$  cannot occur.

Moreover, if the perturbative remainder satisfies the endpoint-uniform bound

$$\begin{array}{ccc}& \underset{T<T^{*}}{\mathrm{s}\mathrm{u}\mathrm{p}}{\int }_0^T\sum _{j\ge 0}{2}^{2sj}\hspace{0.17em}\mid R_j(t)\mid \hspace{0.17em}dt < \infty ,& \end{array}$$

(115)

then both residual alternatives  $\left(98\right)$  and  $\left(99\right)$  are excluded, and finite-time blow-up cannot occur.

Proof

Fix any $T<T^{*}$. Integrating $\left(113\right)$ over the interval $\left[0,T\right]$ yields

$$\begin{array}{ccc}& {\int }_0^T{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt \le {\mathcal{F}}_{\epsilon }(0)-{\mathcal{F}}_{\epsilon }(T)+{\int }_0^T{R}_{\epsilon }(t)\hspace{0.17em}dt.& \end{array}$$

(116)

Since ${\mathcal{F}}_{\epsilon }(t)\ge 0$ for all $t$, it follows that

$$\begin{array}{ccc}& {\int }_0^T{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt \le {\mathcal{F}}_{\epsilon }(0)+{\int }_0^{T^{*}}\mid R_{\epsilon }(t)\mid \hspace{0.17em}dt < \infty .& \end{array}$$

(117)

Letting $T\uparrow T^{*}$ and invoking monotone convergence, we conclude that

$$\begin{array}{ccc}& {\int }_0^{T^{*}}{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt < \infty .& \end{array}$$

(118)

This contradicts the large-transfer core divergence alternative $\left(98\right)$, and hence the first residual mechanism is eliminated.

If, in addition, the endpoint-uniform remainder bound $\left(115\right)$ holds, the second residual alternative $\left(99\right)$ is also excluded. Therefore, no residual mechanism remains available, and finite-time blow-up cannot occur. □$\square$

Remarks

• The term  $\epsilon \hspace{0.17em}\mathcal{H}(t)$ retains a remnant of thermodynamic dissipation that vanishes in the incompressible limit  $\epsilon \to 0$.
• The proof relies only on positivity and integrability and does not require any detailed structural assumptions on  $\mathcal{H}(t)$.
• The theorem provides a precise formulation of how an entropy-retaining extension eliminates the final admissible blow-up mechanisms that remain unresolved in the strictly incompressible formulation.

7.9. Elimination of the Obstruction

Integrating (109) over $\left[0,T\right]$, we obtain

$$\begin{array}{ccc}& {\int }_0^T{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt\le {\mathcal{F}}_{\epsilon }(0)-{\mathcal{F}}_{\epsilon }(T)+{\int }_0^T{R}_{\epsilon }(t)\hspace{0.17em}dt.& \end{array}$$

(118)

Since ${\mathcal{F}}_{\epsilon }(t)\ge 0$, it follows that

$$\begin{array}{ccc}& {\int }_0^T{P}_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}(t)\hspace{0.17em}dt<\infty .& \end{array}$$

(119)

This contradicts the divergence condition (109) of Section 7.2, and therefore excludes both alternatives (98) and (99).

Consequently, finite-time blow-up cannot occur under Principle 1.

7.10. Singular Limit and Structural Interpretation

The classical incompressible Navier–Stokes equations correspond to the singular limit

$$\begin{array}{ccc}& \epsilon \to 0.& \end{array}$$

(120)

For any fixed $\epsilon >0$, the thermodynamic dissipation mechanism suppresses coherent high-frequency transfer. However, as $\epsilon \to 0$, this mechanism degenerates, and the control of $P_{\mathrm{r}\mathrm{e}\mathrm{s}}^{+}$ is lost.

This explains the structural difficulty of the Navier–Stokes regularity problem:

$$\begin{array}{ccc}& \mathrm{absence} \mathrm{of} \mathrm{entropy} \mathrm{production} ⟹ \mathrm{unconstrained} \mathrm{coherent} \mathrm{accumulation}.& \end{array}$$

(121)

7.11. Final Perspective

The present analysis shows that the continuation problem is equivalent to the existence of a thermodynamic-type dissipation principle acting on the residual coherent transfer.

The incompressible Navier–Stokes system can therefore be interpreted as a singular limit of a thermodynamically complete system in which entropy production has been eliminated.

Restoring this structure, even at an arbitrarily small level, provides a mechanism that suppresses high-frequency accumulation and eliminates blow-up.

8.1. Summary of the Approach and Main Findings

This work has investigated the continuation problem for the three-dimensional incompressible Navier–Stokes equations from a structural and assumption-free perspective. Rather than attempting to directly establish global regularity, the analysis has focused on identifying the precise mechanisms that would be required for finite-time blow-up to occur.

The methodology is based on the exact Fourier–triadic representation of the nonlinear term, the dyadic shell decomposition, and the weighted energy formulation of the continuation criterion. These tools allow a systematic decomposition of nonlinear interactions and a scale-resolved analysis of energy transfer.

Within this framework, the nonlinear transfer has been reduced to a sharply defined structure. All interaction mechanisms except a small set of residual contributions are shown to be either perturbative or non-accumulative in the weighted Sobolev sense. As a consequence, any hypothetical finite-time blow-up must be supported by highly constrained interaction patterns.

In particular, the analysis identifies that non-integrable accumulation of positive transfer can only occur within a specific class of same-scale interactions above a suitable threshold, or through accumulation effects near the maximal time. This constitutes a complete obstruction formulation: all other mechanisms are eliminated as possible sources of divergence.

It is important to emphasize that this result is a necessary condition. The analysis does not establish global regularity, nor does it assert that blow-up occurs. Instead, it reformulates the continuation problem in terms of the viability of the residual mechanisms identified in the reduction.

Furthermore, the analysis reveals that these residual mechanisms persist precisely because the incompressible Navier–Stokes equations do not constitute a thermodynamically complete system. In particular, the entropy-based admissibility condition present in the compressible formulation is absent in the velocity-only description, leaving the positive part of the nonlinear transfer structurally unconstrained.

8.2. Limitation and Outlook

The structural reduction achieved in this work reaches a natural limit. The Navier–Stokes equations, together with the structural and energetic estimates employed here, are sufficient to isolate the relevant interaction classes and to eliminate all other channels. However, they do not provide a mechanism that prevents sustained accumulation within the residual sets.

In particular, no estimate derived in the present framework yields a bound strong enough to exclude persistent positive transfer within the identified interaction class or to guarantee uniform control up to the maximal time. This limitation reflects a structural boundary of the method rather than a technical gap.

From the thermodynamic viewpoint developed in Chapter 7, this limitation admits a clear interpretation. The incompressible Navier–Stokes equations arise as a singular limit in which internal energy and entropy variables are eliminated. As a result, the irreversible conversion of coherent kinetic energy into internal energy is not explicitly represented, and the associated dissipation mechanism is lost.

The analysis therefore suggests that any complete resolution of the continuation problem must involve an additional principle acting directly on the residual mechanisms. Such a principle would need to control the cumulative effect of positive transfer within the remaining interaction class and prevent its non-integrable growth.

The ε-retained thermodynamic principle introduced in this work provides a minimal candidate for such a mechanism. It restores, at an infinitesimal level, the dissipation structure inherited from the compressible system, and thereby suppresses coherent high-frequency accumulation. While this principle is not derived within the incompressible framework itself, it identifies the precise form of the missing constraint.

One possible interpretation is that such control may be related to constraints on coherent organization within the flow. In this view, the persistence of highly structured interactions would require a compensating mechanism that limits their cumulative effect.

In this sense, the difficulty of the Navier–Stokes regularity problem is not accidental, but reflects the loss of thermodynamic admissibility in the singular incompressible limit.

In summary, the contribution of this work is threefold. It provides a complete and assumption-free structural reduction of the continuation problem, it identifies the minimal residual mechanisms responsible for possible blow-up, and it clarifies the structural origin of the missing control.

The problem is thus reduced to a single question: whether a thermodynamic-type dissipation principle can be rigorously derived or justified within, or as a limit of, the Navier–Stokes framework.