Michael Elsbernd
Independent mathematical research
Read the full Project EBU Research Monograph (PDF)
Project EBU is an independent mathematical research program investigating rigidity mechanisms arising in extreme-profile and potential blow-up scenarios for the three-dimensional incompressible Navier–Stokes equations.
The project combines methods from:
- nonlinear partial differential equations
- harmonic and Fourier analysis
- Paley–Wiener theory
- entire and meromorphic function theory
- spectral-support geometry
- operator theory
- nonlinear recurrence and obstruction theory
The project is incomplete and does not claim a proof of global regularity for the three-dimensional Navier–Stokes equations.
Its strongest completed analytic component is a four-level Paley–Wiener rigidity theorem arising from a reciprocal-primitive differential system. The larger EBU architecture has presently been reduced to an explicit fourth-order range obstruction.
The central standalone analytic problem concerns entire functions (E) and (F) satisfying
[ FE'-EF'=-F ]
together with
[ F,\qquad EF,\qquad E^2F,\qquad E^3F\in PW_{L^2}. ]
The proof developed in the research monograph establishes
[ \boxed{ FE'-EF'=-F,\qquad F,EF,E^2F,E^3F\in PW_{L^2} \Longrightarrow F\equiv0. } ]
The proof combines:
- exact four-level algebra
- Fourier-support arithmetic
- operational spectral-edge rigidity
- gauge mean-type structure
- divisor and ramification analysis
- covering-space theory
- logarithmic-tract analysis
- sharp Carleman/Wirtinger equality geometry
- Hardy-space decay
- Phragmén–Lindelöf theory
A major theme of the argument is that finite Paley–Wiener orbit membership alone is not rigid enough; the differential relation must be used essentially.
| Component | Status |
|---|---|
| Four-Level Paley–Wiener Rigidity | Proved in project manuscript |
| Gate 1 | Closed within EBU architecture |
| Dimension-Free Robust Residual Gap | Established within EBU architecture |
| Gate 2 — Wall 1 / PVXDR | Closed within EBU architecture |
| RFSC | Established |
| SCFC | Closed |
| (d_{\mathrm{eff}}>0) | Established |
| Predecessor-mark bundle persistence | Established |
| Wall 2 — Block 1 | Closed |
| (+1) PW3 construction | Constructive / completed |
| Wall 2 — Block 2 | Open |
| Wall 2 — Blocks 3–4 | Locked behind Block 2 |
| Full Navier–Stokes regularity theorem | Not proved |
| Independent external verification | Pending |
For the full ledger, see:
The live (+1) branch admits a minimum graph-norm PW3 particular
[ Z_3^0=G_3^\dagger y_3, \qquad U_3^0=R_{\mathrm{phys}}Z_3^0. ]
Let
[ K=\ker G_3. ]
The complete homogeneous PW3 history is synthesized by
[ S_m: \widetilde{\mathcal P}{\mathrm{hist}} \longrightarrow K{\mathrm{ess}}, ]
and the true PW4 history operator is
\Pi_eT_1S_m. ]
The correct fixed PW4 datum is
-\Pi_e \left[ T_1U_3^0+B(U_2,U_2) \right]. ]
PW4 repair is therefore equivalent to
[ d_4^{\mathrm{true}} \in \operatorname{Ran}\mathcal S_4. ]
Equivalently, one must prove a range-free estimate of the form
[ |\langle d_4^{\mathrm{true}},u\rangle| \le C_m \left| S_m^T_1^\Pi_e^*u \right|. ]
The surviving normal-curvature module has been reduced to
R_+P_{H^\perp} R_{\mathrm{phys}}^* T_1^* \Pi_e^*, \qquad H=\ker P. ]
The unresolved problem is a source-specific comparison between this normal component and the true history observation.
No PW4 repair theorem or PW4 obstruction certificate is presently claimed.
The full professor-facing manuscript is available here:
The monograph develops:
- the Navier–Stokes motivation for EBU
- the EBU reduction architecture
- Four-Level Paley–Wiener Rigidity
- the Gate 1 dependency chain
- exact-profile rigidity
- the dimension-free residual gap
- Wall 1 / PVXDR
- Wall 2 hierarchy
- four-box interpolation and Paley–Wiener division
- repaired PW3 construction
- full homogeneous history synthesis
- the corrected PW4 source
- the Moore–Penrose reduction
- the fourth-order Kuranishi-type obstruction
- failed approaches and counterexamples
- the exact present research frontier
The project deliberately preserves failed approaches and counterexamples rather than removing them from the research record.
Among the rejected shortcuts are:
[ \text{finite PW orbit} \not\Longrightarrow \text{constant multiplier}, ]
[ \text{zero exponential type} \not\Longrightarrow \text{polynomial}, ]
and
[ \text{annihilation of }\ker S^* \not\Longrightarrow d\in\operatorname{Ran}S ]
without the required quantitative estimate.
See:
Counterexamples and Failed Approaches
papers/
Main research manuscripts.
proofs/gate-1/
Gate 1 and Four-Level Paley–Wiener Rigidity material.
proofs/wall-1/
Wall 1 / PVXDR material.
proofs/wall-2/
Current Wall 2 and PW4 obstruction work.
docs/
Mathematical architecture and project documentation.
counterexamples/
False approaches, counterexamples, and structural corrections.
archive/
Historical research material that is not part of the main presentation.
A substantial part of Project EBU has consisted not merely of attempting proofs, but of locating the exact point at which plausible arguments fail.
Examples include the failure of:
- raw spectral-support comparison
- bounded-multiplicity heuristics
- purely local ramification arguments
- finite-orbit multiplier rigidity
- generic Nevanlinna SMT arguments
- first-order indicator contradictions
- generic Kuranishi arguments at PW4
- minimum-norm geometry alone to control the final history term
These failures are treated as mathematical information. They progressively reduced the project to a smaller and more explicit obstruction.
The results in this repository originate from an independent research program and have not yet undergone formal peer review.
The repository is designed to make the arguments inspectable.
Independent verification, criticism, literature comparison, correction of errors, and identification of hidden hypotheses are explicitly welcome.
The distinction between:
- proved results inside the project manuscript
- results propagated conditionally through the EBU architecture
- open statements
- externally verified results
is intentional and maintained throughout the repository.
Michael Elsbernd
Independent mathematical research
GitHub: Elsbernd09
Citation metadata is provided in CITATION.cff.