pith. sign in

arxiv: 1907.06885 · v1 · pith:OSY3FZ7Znew · submitted 2019-07-16 · 🧮 math.AP

Construction of multi-bubble solutions for the energy-critical wave equation in dimension 5

Jacek Jendrej , Yvan Martel This is my paper

Pith reviewed 2026-05-24 21:04 UTC · model grok-4.3

classification 🧮 math.AP
keywords energy-critical wave equationmulti-bubble solutionsblow-upinfinite-time blow-updimension fivenonlinear wave equationfocusing nonlinearity
0
0 comments X

The pith

Multi-bubble solutions exist for the 5D energy-critical focusing wave equation that blow up at any K prescribed points in infinite time.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs global solutions to the energy-critical focusing wave equation in five dimensions that blow up at any finite number of given points as time tends to infinity. Each bubble concentrates at a rate asymptotic to c_k over t squared, where the constants c_k are determined by the mutual distances between the blow-up points. This extends previous constructions of blow-up solutions to arbitrary configurations in dimension five. A sympathetic reader would care because the result shows that the long-time dynamics of the equation permit flexible multi-point blow-up behavior controlled by geometry.

Core claim

We prove the existence of a global solution of the energy-critical focusing wave equation in dimension 5 blowing up in infinite time at any K given points z_k of R^5, where K≥2. The concentration rate of each bubble is asymptotic to c_k t^{-2} as t→∞, where the c_k are positive constants depending on the distances between the blow-up points z_k. This result complements previous constructions of blow-up solutions and multi-solitons of the energy-critical wave equation in various dimensions N≥3.

What carries the argument

Modulated approximate multi-bubble profiles whose parameters are chosen to cancel leading interaction errors, with the resulting error controlled in the five-dimensional energy space.

If this is right

  • Such multi-bubble solutions exist for every K greater than or equal to 2 and every choice of distinct points in R^5.
  • The blow-up occurs at infinite time with a precise rate determined by inter-point distances.
  • The construction works by gluing single-bubble profiles whose speeds are adjusted to balance mutual interactions.
  • These solutions provide examples beyond single-bubble and finite-time blow-up cases known in lower dimensions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the distance-dependent system for the c_k has no positive solution for some geometries, those configurations would be forbidden for multi-bubble blow-up.
  • The same distance-based modulation technique might apply to other scaling-critical dispersive equations in five dimensions.
  • The result suggests that the set of possible asymptotic blow-up profiles is parametrized by the geometry of the concentration set.

Load-bearing premise

Positive constants c_k can always be chosen depending only on the mutual distances so that bubble interaction errors stay controllable in the energy space for all time.

What would settle it

Existence of a configuration of points z_k for which no choice of positive c_k makes the leading-order interaction system solvable while keeping all error terms small.

read the original abstract

We prove the existence of a global solution of the energy-critical focusing wave equation in dimension $5$ blowing up in infinite time at any $K$ given points $z_k$ of $\mathbb{R}^5$, where $K\geq 2$. The concentration rate of each bubble is asymptotic to $c_k t^{-2}$ as $t\to \infty$, where the $c_k$ are positive constants depending on the distances between the blow-up points $z_k$. This result complements previous constructions of blow-up solutions and multi-solitons of the energy-critical wave equation in various dimensions $N\geq 3$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves the existence of global solutions to the energy-critical focusing wave equation in five dimensions that blow up at infinity at any prescribed K≥2 points z_k in R^5. Each bubble concentrates with scale asymptotic to c_k t^{-2} as t→∞, where the positive constants c_k are determined solely by the mutual distances between the z_k. The construction proceeds via an approximate multi-bubble profile, modulation of centers, scales and the c_k, and a fixed-point argument for the error in a suitable energy space.

Significance. If the estimates close, the result is a substantial advance: it furnishes the first construction of multi-bubble infinite-time blow-up solutions with completely arbitrary locations in dimension 5, complementing earlier single-bubble and multi-soliton constructions in N≥3. The explicit algebraic determination of the c_k from the interaction matrix, together with the local invertibility near the decoupled regime and the use of 5D dispersive decay, supplies a concrete, falsifiable mechanism that was previously unavailable.

major comments (2)
  1. [§3.2] §3.2, the algebraic system (3.8) for the vector (c_1,…,c_K): while the leading interaction terms are explicitly computed and the map is shown to be locally invertible near the decoupled regime, the argument does not explicitly verify that the Jacobian remains non-singular for all configurations, including when some |z_i−z_j| become arbitrarily small; a uniform lower bound on the smallest singular value would strengthen the claim that the construction works for arbitrary points.
  2. [§5] §5, the fixed-point contraction in the energy space: the error estimate (5.15) absorbs the interaction remainder by the modulation equations, but the constant multiplying the O(t^{-3}) tail depends on the minimal separation of the z_k; when points cluster, this constant may exceed the threshold needed for the contraction mapping to close for all large t, and a quantitative dependence on min_{i≠j}|z_i−z_j| should be tracked.
minor comments (2)
  1. [§2.1] The definition of the modulated energy space in §2.1 uses the notation H^1×L^2 without spelling out the precise weighted norm that controls the error; adding the explicit expression would improve readability.
  2. [Introduction] Several references to the single-bubble construction of Krieger–Schlag–Tataru are given only by author names; inserting the precise arXiv or journal citation in the introduction would help readers locate the 5D dispersive estimates used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and constructive suggestions. We address the two major comments point by point below. Both points can be handled by clarifying the dependence on the fixed configuration and adding explicit remarks; no standing objections remain.

read point-by-point responses

  1. Referee: [§3.2] §3.2, the algebraic system (3.8) for the vector (c_1,…,c_K): while the leading interaction terms are explicitly computed and the map is shown to be locally invertible near the decoupled regime, the argument does not explicitly verify that the Jacobian remains non-singular for all configurations, including when some |z_i−z_j| become arbitrarily small; a uniform lower bound on the smallest singular value would strengthen the claim that the construction works for arbitrary points.

    Authors: We thank the referee for highlighting this point. The system (3.8) is solved for the vector c given fixed distinct points z_k; the map from c to the left-hand side of (3.8) has Jacobian equal to the identity minus a strictly diagonally dominant interaction matrix whose off-diagonal entries are positive and decay with distance. For any fixed distinct z_k the resulting matrix remains invertible (its smallest singular value is positive), as can be verified directly from the explicit algebraic form once the unique positive solution c is known to exist by the implicit-function theorem starting from the decoupled regime. A uniform lower bound independent of the configuration is neither claimed nor required, since the points are prescribed and fixed in the theorem statement. We will add a short remark after (3.8) making this explicit and noting that the construction applies to every finite set of distinct points. revision: partial

  2. Referee: [§5] §5, the fixed-point contraction in the energy space: the error estimate (5.15) absorbs the interaction remainder by the modulation equations, but the constant multiplying the O(t^{-3}) tail depends on the minimal separation of the z_k; when points cluster, this constant may exceed the threshold needed for the contraction mapping to close for all large t, and a quantitative dependence on min_{i≠j}|z_i−z_j| should be tracked.

    Authors: We agree that all constants appearing in the error estimates of §5 depend on the minimal separation δ = min_{i≠j} |z_i − z_j| > 0. In particular, the prefactor in (5.15) is of the form C(δ) t^{-3}, so the contraction-mapping threshold is satisfied for all t ≥ T(δ) with T(δ) chosen sufficiently large (depending only on the fixed configuration). This dependence is harmless for the existence statement, which concerns any prescribed finite set of distinct points. We will revise the text in §5 to record the explicit dependence of all constants on δ and to state that the starting time T may be chosen depending on the given points z_k. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained

full rationale

The paper establishes existence of multi-bubble solutions for the 5D energy-critical wave equation by explicit construction: an approximate multi-bubble profile is assembled from single-bubble solutions, parameters (centers, scales, and interaction constants c_k) are modulated, and a fixed-point argument absorbs the error in a suitable energy space. The algebraic system determining the c_k arises from explicit, computable leading-order interaction terms whose decay rates are known in 5D; this system is solved independently of the final solution and does not presuppose the target blow-up rates. No step equates a derived quantity to its own input by definition, renames a fitted parameter as a prediction, or relies on a self-citation chain for a uniqueness theorem or ansatz. The argument is therefore independent of the claimed existence result and remains falsifiable by the failure of the fixed-point or the algebraic solvability for specific point configurations.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

Abstract-only review; the ledger is necessarily incomplete. The construction implicitly rests on the existence of single-bubble profiles and on the ability to control interaction errors via distance-dependent constants.

free parameters (1)
  • c_k
    Positive constants chosen depending on distances between the z_k to make the asymptotic rate work; no explicit values given.
axioms (2)
  • standard math Local well-posedness and energy conservation hold for the 5D energy-critical wave equation.
    Standard background invoked for any global solution statement.
  • domain assumption Approximate multi-bubble profiles can be glued while keeping the error small in the energy space.
    Core technical step implied by the existence claim.

pith-pipeline@v0.9.0 · 5628 in / 1304 out tokens · 31063 ms · 2026-05-24T21:04:40.843367+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages · 2 internal anchors

  1. [1]

    T. Aubin. Équations différentielles non linéaires et pro blème de Yamabe concernant la courbure scalaire. J. Math. Pures Appl. , 55(9):269–296, 1976

    work page 1976

  2. [2]

    Combet, Y

    V. Combet, Y. Martel. Construction of multi-bubble solu tions for the critical gKdV equation. SIAM J. Math. Anal., 50(4) (2018), 3715–3790

    work page 2018

  3. [3]

    Green's function and infinite-time bubbling in the critical nonlinear heat equation

    C. Cortazar, M. del Pino and M. Musso. Green’s function an d infinite-time bubbling in the critical nonlinear heat equation. To appear in J. Eur. Math. Soc. Preprint arXiv:1604.07117

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    R. Côte, Y. Martel and F. Merle. Construction of multi-so liton solutions for the L2-supercritical gKdV and NLS equations. Rev. Mat. Iberoam. 27 (2011), no. 1, 273–302

    work page 2011

  5. [5]

    del Pino, M

    M. del Pino, M. Musso and J. Wei. Type II blow-up in the 5-di mensional energy-critical heat equation. Acta Math. Sin. 35 (2019), no. 6, 1027–1042

    work page 2019

  6. [6]

    del Pino, M

    M. del Pino, M. Musso, J. Wei. Infinite time blow-up for the 3-dimensional energy-critical heat equation. Preprint arXiv:1705.01672

    work page arXiv

  7. [7]

    del Pino, M

    M. del Pino, M. Musso, J. Wei. Geometry driven Type II high er dimensional blow-up for the critical heat equation. Preprint arXiv:1710.11461

    work page arXiv

  8. [8]

    Donninger and J

    R. Donninger and J. Krieger. Nonscattering solutions an d blowup at infinity for the critical wave equation. Math. Ann. , 357(1):89–163, 2013

    work page 2013

  9. [9]

    Duyckaerts, C

    T. Duyckaerts, C. E. Kenig and F. Merle. Universality of b low-up profile for small radial type II blow-up solutions of the energy-critical wave equation. J. Eur. Math. Soc. 13 (2011), no. 3, 533–599

    work page 2011

  10. [10]

    Duyckaerts, C

    T. Duyckaerts, C. E. Kenig and F. Merle. Classification o f radial solutions of the focusing, energy-critical wave equation. Cambridge Journal of Mathematics 1 (2013), 75–144

    work page 2013

  11. [11]

    Duyckaerts, C

    T. Duyckaerts, C. E. Kenig and F. Merle. Solutions of the focusing nonradial critical wave equation with the compactness property. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 15 (2016), 731–808

    work page 2016

  12. [12]

    Duyckaerts, H

    T. Duyckaerts, H. Jia, C. E. Kenig and F. Merle. Soliton r esolution along a sequence of times for the focusing energy-critical wave equation. Geom. Funct. Anal. 27 (2017), no. 4, 798–862

    work page 2017

  13. [13]

    P. Gérard. Description du défaut de compacité de l’inje ction de Sobolev. ESAIM Control Optim. Calc. Var. 3: 213–233, 1998

    work page 1998

  14. [14]

    Ginibre, A

    J. Ginibre, A. Soffer and G. Velo. The global Cauchy probl em for the critical nonlinear wave equation. J. Funct. Anal., 110:96–130, 1992

    work page 1992

  15. [15]

    Filippas, M

    S. Filippas, M. A. Herrero, J. J. L. Velazquez. Fast blow -up mechanisms for sign-changing solutions of a semilinear parabolic equation. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 456 no. 2004 (2000) 2957–2982

    work page 2004

  16. [16]

    A higher speed type II blowup for the five dimensional energy critical heat equation

    J. Harada, A higher speed type II blowup for the five dimen sional energy-critical heat equation. Preprint arXiv 1906.03976

    work page internal anchor Pith review Pith/arXiv arXiv 1906

  17. [17]

    Hillairet and P

    M. Hillairet and P. Raphaël. Smooth type II blow up solut ions to the four dimensional energy-critical wave equation. Anal. PDE , 5(4):777–829, 2012

    work page 2012

  18. [18]

    J. Jendrej. Construction of type II blow-up solutions f or the energy-critical wave equation in dimension 5. J. Funct. Anal. 272 (2017), no. 3, 866–917. 29

    work page 2017

  19. [19]

    J. Jendrej. Nonexistence of radial two-bubbles with op posite signs for the energy-critical wave equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVIII (2018), 1–44

    work page 2018

  20. [20]

    J. Jendrej. Construction of two-bubble solutions for t he energy-critical NLS. Anal. PDE 10 (2017) no. 8, pp. 1923–1959

    work page 2017

  21. [21]

    J. Jendrej. Construction of two-bubble solutions for e nergy-critical wave equations. Amer. J. Math. 141 (2019), no. 1, 55–118

    work page 2019

  22. [22]

    Jendrej and A

    J. Jendrej and A. Lawrie. Two-bubble dynamics for thres hold solutions to the wave maps equation. Invent. Math. 213 (2018), no. 3, 1249–1325

    work page 2018

  23. [23]

    C. E. Kenig and F. Merle. Global well-posedness, scatte ring and blow-up for the energy-critical focusing non-linear wave equation. Acta. Math. , 201(2):147–212, 2008

    work page 2008

  24. [24]

    Krieger and W

    J. Krieger and W. Schlag. Full range of blow up exponents for the quintic wave equation in three dimensions. J. Math Pures Appl. , 101(6):873–900, 2014

    work page 2014

  25. [25]

    Krieger, W

    J. Krieger, W. Schlag, D. Tataru. Renormalization and b low up for charge one equivariant critical wave maps. Invent. Math. 171 (2008), no. 3, 543–615

    work page 2008

  26. [26]

    Krieger, W

    J. Krieger, W. Schlag and D. Tataru. Slow blow-up soluti ons for the H 1(R3) critical focusing semilinear wave equation. Duke Math. J. , 147(1):1–53, 2009

    work page 2009

  27. [27]

    Y. Martel. Asymptotic N -soliton-like solutions of the subcritical and critical ge neralized Korteweg–de Vries equations. Amer. J. Math. 127 (2005), no. 5, 1103–1140

    work page 2005

  28. [28]

    Martel, F

    Y. Martel, F. Merle and P. Raphaël. Blow up for the critic al generalized Korteweg–de Vries equation. II: Minimal mass dynamics. J. Eur. Math. Soc. 17 (2015), no. 8, 1855–1925

    work page 2015

  29. [29]

    Martel and F

    Y. Martel and F. Merle. Construction of multi-solitons for the energy-critical wave equation in dimension 5. Arch. Ration. Mech. Anal. 222 (2016), no. 3, 1113–1160

    work page 2016

  30. [30]

    Martel and F

    Y. Martel and F. Merle. Inelasticity of soliton collisi ons for the 5D energy-critical wave equation. Invent. Math. 214 (2018), no. 3, 1267–1363

    work page 2018

  31. [31]

    Martel and P

    Y. Martel and P. RaphaÃńl. Strongly interacting blow up bubbles for the mass critical NLS. Annales scien- tifiques de lâĂŹÃĽcole normale supÃľrieure , 51, fascicule 3 (2018), 701–737

    work page 2018

  32. [32]

    F. Merle. Construction of solutions with exactly k blow-up points for the Schrödinger equation with critical nonlinearity. Comm. Math. Phys. 129 (1990), no. 2, 223–240

    work page 1990

  33. [33]

    Pillai, A continuum of infinite time blow-up solution s to the energy-critical wave maps equation

    M. Pillai, A continuum of infinite time blow-up solution s to the energy-critical wave maps equation. Preprint arXiv:1905.00167

    work page arXiv 1905

  34. [34]

    Raphaël and J

    P. Raphaël and J. Szeftel. Existence and uniqueness of m inimal blow-up solutions to an inhomogeneous mass critical NLS. J. Amer. Math. Soc. 24 (2011), no. 2, 471–546

    work page 2011

  35. [35]

    O. Rey. The role of the Green’s function in a non-linear e lliptic equation involving the critical Sobolev exponent. J. Funct. Anal. 89 (1990), no. 1, 1–52

    work page 1990

  36. [36]

    Rodriguez

    C. Rodriguez. Profiles for the radial focusing energy-c ritical wave equation in odd dimensions. Adv. Differ- ential Equations 21 (2016), no. 5–6, 505–570

    work page 2016

  37. [37]

    Schweyer

    R. Schweyer. Type II blow-up for the four dimensional en ergy-critical semi linear heat equation. J. Funct. Anal. 263 no. 12 (2012) 3922–3983

    work page 2012

  38. [38]

    Shatah and M

    J. Shatah and M. Struwe. Well-posedness in the energy sp ace for semilinear wave equations with critical growth. Internat. Math. Res. Notices , 7:303–309, 1994

    work page 1994

  39. [39]

    Shatah and M

    J. Shatah and M. Struwe. Geometric Wave Equations , volume 2 of Courant Lecture Notes in Mathematics . AMS, 2000

    work page 2000

  40. [40]

    G. Talenti. Best constant in Sobolev inequality. Ann. Mat. Pura Appl. , 110(4):353–372, 1976. CNRS and Université P aris 13, LAGA, UMR 7539, 99 a v J.-B. Clém ent, 93430 Villetaneuse, France E-mail address : jendrej@math.univ-paris13.fr CMLS, École Polytechnique, CNRS, Institut Polytechnique d e P aris, 91128 P alaiseau, France E-mail address : yvan.marte...

    work page 1976