Singular Yamabe metrics on complements of closed sets

Choose \dim_{\mathrm H}\Lambda<\beta<a, fix the packing constant from Lemma 2.2, and fix 0<\eta\leq\min\{\eta_*,1\}. Denote by c_0\in(0,1] and c_1>0 the constants in (2.1) and (?), respectively. All constants in the length estimates below are independent of the step.

Start with a noncylindrical Delaunay metric with singularities at two chosen points of \Lambda, transported by a conformal automorphism of the sphere. This metric is marked nondegenerate: its radial Jacobi fields are neutral, the first spherical modes grow at one end, and the higher modes are coercive; see [MPU1996, Section II, Lemma 2.21] and [MPU1995, Section II]. If \Lambda is finite, insert its remaining points by successive single-ball applications of the finite gluing statement. The resulting finite-ended metric is complete, and Lemma 2.6 gives the asserted integrability and global equation. Henceforth assume that \Lambda is infinite.

Fix a stereographic pole outside \Lambda. All balls used in the construction are Euclidean balls in this chart, whereas N_\sigma(\Lambda) denotes a round-metric neighborhood. Choose a compact exhaustion L_j\Subset\Omega with L_j\subset\operatorname{int}L_{j+1}, and choose \epsilon_j\in(0,1) so that

Thus every finite or infinite product of factors 1-\epsilon_j is greater than 3/4.

Suppose that g_{j-1}=u_{j-1}^{2/a}g_{\mathrm{rd}} is a marked nondegenerate finite-ended solution with singular set F_{j-1}\subset\Lambda, and that compact sets W_1,\ldots,W_{j-1}\Subset\Omega have been constructed. Choose \sigma_j<2^{-j}, decreasing with j, so that \overline{N_{\sigma_j}(\Lambda)} misses L_j\cup\bigcup_{\ell<j}W_\ell.

For every z\in F_{j-1}, choose an outer radius b_z such that the closed balls \overline{B(z,b_z)} are pairwise disjoint, lie in N_{\sigma_j}(\Lambda), and satisfy

for some m_z>0. This follows from the positive Delaunay profile of each end. Choose a_z\in(0,b_z) and a smooth logarithmic cutoff f_z, equal to one for |x-z|\leq a_z and zero for |x-z|\geq b_z, with

By decreasing a_z, arrange

Indeed, (?) bounds this gradient by C/(m_z^{1/a}\log(b_z/a_z)).

Choose the old end sections strictly inside B(z,a_z/2), and choose the regular cap at the stereographic pole away from the logarithmic annuli and the compact set

The resulting truncated core contains these annuli and E_j in its interior. Specify K=E_j before selecting the radius and coefficient bounds in the finite gluing statement.

Since \mathcal H^\beta(E_j)=0, Lemma 2.2 gives finitely many disjoint balls B(y_i,r_i), with centers y_i\in E_j, whose open fivefold enlargements cover E_j. Their tenfold enlargements can be required to lie in the interior of the old core and in N_{\sigma_j}(\Lambda). Their maximum radius and total \beta-cost can be made arbitrarily small. Equation (?) therefore makes Q satisfy all prescribed coefficient bounds.

Apply the finite gluing statement, requiring in addition that

These are finitely many compact approximation requirements; the relative bounds are possible because u_{j-1} has a positive minimum on each protected compact set. The output has singular set F_j=F_{j-1}\cup\{y_i\} and remains marked nondegenerate with noncylindrical ends. If E_j=\varnothing, take u_j=u_{j-1}. By Lemma 2.6, every finite-step factor u_j belongs to L^p(\mathbb S^n) and satisfies the global distributional equation.

For every new ball choose a smooth cutoff \chi_i, equal to one on B(y_i,5r_i) and zero outside B(y_i,10r_i), with |D\chi_i|\leq C/r_i. Extend all the cutoffs smoothly over the sphere, and set

The old inner balls and new open fivefold balls cover \Lambda. Consequently, f_j=1 on an open neighborhood V_j of \Lambda, and both \mathbb S^n\setminus V_j and W_j are compact subsets of \Omega. Since \operatorname{supp} f_j\subset N_{\sigma_j}(\Lambda), the later supports miss W_j; hence the sets W_j are pairwise disjoint.

At a point of W_j, every new fivefold ball is avoided. If a new cutoff \chi_i is active in the maximum, its point lies in B(y_i,10r_i), and (?) gives

An active old cutoff lies in its logarithmic annulus, in the old core. Every point of W_j lies outside all the balls B(y_i,5r_i), and hence outside all the matching balls B(y_i,\rho_i). Thus (2.1) and (?) give |\mathrm d f_z|_{g_j}\leq1/\eta. The same estimate holds when no new balls are inserted. Every active cutoff on W_j therefore has metric gradient bounded by C/\eta.

The bounds (?) imply convergence to a smooth function u\geq0 locally on \Omega: for any fixed m,k, the C^k(L_m) tail is summable. Passing to the local equations yields

For x\in L_m, (?) gives

Hence g=u^{2/a}g_{\mathrm{rd}} is a smooth metric with scalar curvature n(n-1). The same product estimate on the protected sets gives

Each f_j is the finite maximum of smooth functions and is therefore locally Lipschitz. Along a locally absolutely continuous curve, its derivative agrees almost everywhere with that of an active cutoff. Together with (?), the gradient estimates give

where C' is independent of j.

Let \gamma be a locally absolutely continuous curve leaving every compact subset of \Omega. For every sufficiently large j, its starting point is outside \operatorname{supp} f_j, whereas it is eventually in V_j, because \mathbb S^n\setminus V_j\Subset\Omega. Thus it crosses W_j from level 1/4 to level 3/4. Integrating (?) gives

The W_j are pairwise disjoint, so every such curve has infinite length. The divergent-curve criterion for Riemannian completeness therefore proves that g is complete. Finally, \mathcal H^a(\Lambda)=0, so Proposition 6.1 below gives the global equation and the asserted L^p integrability.

The preceding matching argument and Proposition 5.6 give a smooth positive marked nondegenerate solution. It remains to verify the uniform order of choices, lower bound, and approximation statements.

Fix the universal data, the three weights, and the parameter-ball radius R determined above. Choose \eta_* from the local inverse thresholds, the high-mode indicial bound in Lemma 5.5, inner Cauchy estimates, exterior contraction, and matching estimates. Decrease \eta_* so that \eta_*\leq1 and \eta_*^{2/(n+2)}<1/4. Fix \eta\leq\eta_*, then choose the old cuts, the regular infinity cap, the two old weights, the common complement, and the old inverse constants. Choose the fixed buffers, r_0, and A_0 next. Reduce the maximal radius to meet the old jet bounds and the localized Poisson comparison estimates, and impose 10r_{\max}<\operatorname{dist}(K,\partial D_{\rm pre}) on the prescribed core. If K is empty, only the trivial empty insertion is needed. Finally reduce Q to meet the old spectral, boundary-graph, and smoothing estimates. The choices are compatible: b=Q^{1/n}\to0 and Q/b=Q^{1-1/n}\to0, while the capacity estimate at the end of Section ? gives \sum_i\rho_i^{2a}\to0. On the core the matched factor is S_{\mathbf p}+P+v and |P+v|\leq C\delta(h+b U_0). The transformed bubbles are uniformly comparable with h_i, and S_{\mathbf p}\asymp U_0+h. For small universal \delta and small old-dependent b this gives (2.1). The own term gives (?). The inner estimates imply complete, positive, noncylindrical new ends; the old graph preserves the old positive necks.

On a protected compact set disjoint from the new centers, all bubble jets are O(Q), and the correction bounded by C\delta\Phi tends to zero with b. Elliptic bootstrap gives convergence in every prescribed finite smoothness norm. On an old tail the compact set occupies a finite cylindrical interval, where the period-aligned family is continuous in these norms. The compact Dirichlet implicit function theorem gives the same conclusion on the regular cap.

Set \gamma=(a-\beta)/a\in(0,1) and D_j(x)=(\rho_j^2+|x-y_j|^2)^{1/2}. We first prove

Suppose x is outside every original ball, so that d_j=|x-y_j|\ge r_j, and write

Since n=2a+2 and a\gamma+\beta=a,

Hölder’s inequality and packing give, for R>0,

On a shell 2^kR<d_j\le2^{k+1}R, all r_j are at most 2^{k+1}R, and hence

The near–far decomposition, as in [Hedberg1972], therefore gives

If the family is nonempty, take R=T^{-1/(a+2)} to obtain S^p\le CT. Since d_j\le D_j\le\sqrt2d_j and \nu^{\gamma-2}\ge1, this proves (Proof) outside the original balls. The empty family is immediate.

If x\in B(y_i,r_i), disjointness permits the same argument for H_i. For the remaining term, D_i\ge\nu r_i and \gamma<2 imply

Together with (h_i+H_i)^p\le2^{p-1}(h_i^p+H_i^p), this proves (Proof) everywhere.

For f_\rho(t)=(\rho^2+t^2)^{-(n+\gamma)/2}, the radial Newtonian formula bounds \mathcal I_2f_\rho(D) by C\rho^{2-n-\gamma} for D\le\rho, and by C\rho^{-\gamma}D^{2-n} for D\ge\rho. Thus

Applying this to (Proof), using \rho_j=\nu r_j, yields

Multiplying (2.3) by |x|^{n-2}, letting x tend to infinity along a ray, and applying Fatou’s lemma gives \gamma_n\int h^p\le C\delta Q, since |x|^{n-2}h(x)\to Q. This proves (2.3), including integrability.

Using the identity h_i=(\lambda_i/\rho_i)^a b_{\rho_i,y_i}, the bubble equation, and decay at infinity, we obtain

with h_i^p\in L^1(\mathbb R^n). For K(x,z)=\gamma_n|x-z|^{2-n}, the standard three-kernel inequality (see [KaltonVerbitsky1999, equations (1.6) and (3.1)]) is

Integrating against V(z)\,\mathrm d z\,\mathrm d\mu(y) and using Tonelli’s theorem gives

The radial Newtonian formula gives

The integral converges even when h_i^{p-1} has infinite total mass. Lemma 2.4 now proves (2.5).

In a flat chart about each puncture, the Euclidean conformal factor is a nonnegative C^2 solution of -\Delta U=\kappa U^p. Since p=(n+2)/(n-2)>n/(n-2), [CGS1989, Lemma 2.1] gives local L^p integrability and the distributional equation across the puncture. Conformal covariance therefore yields u_0\in L^p(\mathbb S^n) and (2.6).

The stereographic pole is regular, so U_0=O(|x|^{2-n}) and U_0^p=O(|x|^{-n-2}) at infinity. Thus U_0^p\in L^1(\mathbb R^n), and the standard near–far estimate gives \mathcal I_2(U_0^p)=O(|x|^{2-n}). Conformal covariance also gives -\Delta U_0=\kappa U_0^p in \mathcal D'(\mathbb R^n). Hence U_0-\kappa\mathcal I_2(U_0^p) is distributionally harmonic on all of \mathbb R^n and tends to zero at infinity. Weyl’s lemma and Liouville’s theorem prove (2.6); (2.5) then gives (2.6).

Disjointness gives d_{ij}=|y_i-y_j|\ge r_i+r_j. The far-field shell estimate in the proof of Proposition 2.3, applied at y_i with R=r_i and the ith ball omitted, proves (2.7). Hence the other bubbles contribute at most C\eta^ar_i^{-a} to B_i. Choose the maximal radius so that \sup U_0\,r_i^a\le\eta^a on the compact set. This gives (2.7).

For j\ne i,

Since r_i\le d_{ij}, summing gives the bubble contribution to (2.7). The old factor has bounded relative derivatives on the fixed compact neighborhood, so reducing the maximal radius gives the same estimate for it. Finally, insert A_i=2^a\eta^ar_i^a and \rho_i=\nu r_i into (2.7) to obtain (2.7).

Let w_\varepsilon be the periodic profile normalized by w_\varepsilon(0)=\varepsilon and w_\varepsilon'(0)=0; write T=T(\varepsilon) and M=M(\varepsilon) for its period and maximum. On the increasing half-period,

Fix a small c=c(n)>0 and split the energy integral into [\varepsilon,2\varepsilon], [2\varepsilon,c], and [c,M]. In the first interval the substitution z=\varepsilon Z gives \varepsilon^{-2}D_\varepsilon(\varepsilon Z)\asymp Z^2-1. In the middle interval D_\varepsilon(z)\asymp z^2. In the last, M\to1 and |D_\varepsilon'(M)| is bounded below; hence the square-root singularity at M is uniformly integrable. These estimates give

Set j=\varepsilon\partial_\varepsilon w_\varepsilon and h=j/w_\varepsilon. The variational equation gives

By (Proof),

Gronwall’s inequality therefore bounds h and h' uniformly on the increasing half-period. Since |w_\varepsilon'|\leq aw_\varepsilon,

At the maximum, |w_\varepsilon''(T/2)| is uniformly positive. Differentiating w_\varepsilon'(T/2)=0 gives |\varepsilon T_\varepsilon|\leq C. Differentiation of the reflection identity w_\varepsilon(t)=w_\varepsilon(T-t) extends the relative bound to the first full period.

The cutoff data satisfy

Thus the cutoff lies in the increasing middle interval. If w_\varepsilon(\tau_B)=v_0 with 0<\tau_B<T/2, then w_\varepsilon'(\tau_B)\asymp av_0 and

Also |T_b|\leq C, since |\varepsilon_b|\leq C\varepsilon. Now v_B(t)=w_\varepsilon(t+\tau_B). In the kth period, differentiating periodicity introduces the term -kT_bw_\varepsilon'; this is the familiar linear growth of the neck-variation Jacobi field [MP1999, Section 5, Lemma 3]; [MPU1996, Section II]. The energy integral on [c/2,c] gives T\geq2a^{-1}\log2 for small \varepsilon, so k\leq C(1+t), proving (3.1) for m=0,1. The equation and its variational equation give the higher derivatives; throughout, |v_B^{(m)}|\leq C_mv_B for each fixed m.

Finally, negative energy gives |v_B'|\leq av_B and v_B\leq1. Hence v_B(t)\leq Cs^ae^{at} and r^2Q_B=\kappa p v_B^q\leq C\min\{1,s^2e^{2t}\}. The parameter estimate follows from (3.1). One spatial derivative introduces r^{-1}, so these pointwise estimates also give the scaled Hölder bounds.

Write U=\mathcal T_{\boldsymbol z}U_B, Q_U=\kappa pU^q, L_U=\Delta+Q_U, and let G_U be its inverse from (?). Set

The equation for the correction is

On the ball \|W\|_{X_{\mu_3}}\leq C_0s^{2-\mu_3}\|\phi\|, the lower bound U\geq c\varepsilon r^{-a} and uniform scaled derivative bounds for U give

For \omega<1/2, Taylor’s formula on [1-\omega,1+\omega] gives, for every p>1,

with the corresponding scaled Hölder estimates. In particular,

Taking \omega small relative to the three inverse bounds makes (Proof) a contraction by (?), proving (3.2) and positivity. The same contraction works at each weaker weight in the common ball of radius C_0s^{2-\mu_3}\|\phi\|, since s^{2-\mu}\leq s^{2-\mu_3}; uniqueness identifies these solutions.

For fixed Z in the relative neighborhood above,

with its scaled Hölder version. This follows by differentiating Taylor’s formula and using (3.1). A \boldsymbol c derivative has r/\rho in place of 1+t. The positive neighborhood can be chosen uniformly for nearby parameters, because \varepsilon^2\asymp AB and B/B_* stays in a fixed compact interval.

We first treat b. Keep \boldsymbol c,\psi fixed and set

Write W_b=W(b,\boldsymbol c,\psi), W_h=W(b+h,\boldsymbol c,\psi), Z_h=H_\phi+W_h, and Z=H_\phi+W_b. Set

Its multiplier norm X_\mu\to Y_\mu is at most C\omega. Subtracting the equations gives

All three realizations of L^{(b)}+C_h are uniformly invertible by a Neumann series. To estimate the source, put d=\mu_3-\mu_2. The potential envelope gives

Indeed, write t=\ell_s-u before the transition and t=\ell_s+u after it. The two factors to bound are respectively (1+\ell_s)s^de^{-(2-d)u} and s^d(1+\ell_s+u)e^{-du}. Thus

For the harmonic term use (?); for the nonlinear difference use (?) and the same multiplier estimate. Integration along the parameter interval in (?) yields local Lipschitz continuity into X_{\mu_2} and

To obtain differentiability, divide (?) by h. On each compact annulus the source converges in C^{0,\theta} to

where the last derivative holds its argument fixed. The tails are uniformly small in Y_{\mu_1}: the correction terms are bounded by (1+t)e^{-(\mu_3-\mu_1)t} and the harmonic terms by their degree-two decay. Also C_h\to D_ZN_{U^{(b)}}(Z) on compact annuli; acting on the bounded X_{\mu_2} difference quotients, its tails gain e^{-(\mu_2-\mu_1)t}. Applying the fixed inverse at \mu_1 proves convergence of the difference quotients to the unique solution of

In particular the coefficient derivative acts on W as well as on H_\phi. The source belongs to Y_{\mu_2}; compatibility of inverses gives (3.2). Comparing this equation at nearby parameters, using convergence on compact annuli and the same tail bounds, proves continuity of \partial_bW into X_{\mu_1}.

For \boldsymbol c, the additional factor r/\rho makes coefficient differentiation bounded on a single weighted space. The same subtraction argument at \mu_3 gives (3.2). Differentiation in \psi gives

which proves (3.2). These comparison equations give joint continuity of the derivatives into X_{\mu_1}.

Restriction to the outer annulus is bounded from X_{\mu_1} to C^{2,\theta}, and \rho\partial_r maps its trace to C^{1,\theta}. Since \Pi_{\mathrm{hi}}W|_{r=\rho}=0, the claimed boundary error is exactly \mathcal E=B_*^{-1}\Pi_{\mathrm{hi}}\rho\partial_rW|_{r=\rho}. The estimates and their parameter versions follow from the corresponding bounds for W.

First consider an exact radial Delaunay half-cylinder. Its conjugated Jacobi equation is

The radial equation has two independent Jacobi fields with Floquet multiplier one; one may grow linearly in t. Neither decays. The decaying first spherical field e^{-t}(av_\epsilon-v_\epsilon') has a strictly positive periodic factor, hence nonzero boundary trace. For degrees at least two,

Integration by parts on the half-cylinder therefore excludes a decaying field of spherical degree at least two with zero Dirichlet trace. Boundary terms at infinity vanish by the decay and local elliptic estimates.

Radial variation of constants, the explicit first spherical modes, and the coercive estimate for degrees at least two give the inhomogeneous bounds. Local elliptic estimates then give the required Hölder regularity. In the radial sector decay imposes one compatibility condition on the source with zero trace; adjoining the two neutral fields removes that condition and leaves one kernel direction. Every nonradial decaying Dirichlet problem is invertible. Thus each end has index -1 before extension, and contributes one kernel direction after the surjective radial extension.

For the original tails the difference from the model operator is exponentially small after the cuts are moved out. The preceding estimates and a Neumann series preserve pure-decay injectivity and extended surjectivity. Index stability gives kernel dimension m. A kernel field with zero radial coefficients is pure decaying, so its coefficient map is injective. Its image is N_{\rm tail}.

Choose \mathcal W' in the intersection of the two open dense sets of m-planes complementary to Z and N_{\rm tail}. Removing the respective kernel by this common complement gives both isomorphisms. Changing d within (0,d_+] crosses no indicial exponent and stays below the coefficient decay rate, so the coefficient planes and the choice of complement are unchanged. The Sobolev to Hölder argument above gives the asserted realizations.

Let w=(\epsilon_j-\epsilon_j^0,\phi_j-\phi_j^0)_j\in\mathcal W'. Choose an absolute cylindrical factor A_w equal to the old solution on a boundary collar and to the new radial model plus the fixed old decaying remainder far out. Use t=F_w(s), equal to the identity on that collar and to c_j(w)s+b_j(w) far out on the jth end, where

Choose b_j smoothly and place the transition on a fixed compact interval separated from the collar. The pulled operator on V(s,\omega) is

With z_\epsilon(\vartheta)=v_\epsilon(T(\epsilon)\vartheta/(2\pi)), the far-out leading profile is

It solves the pulled equation there and has bounded parameter derivatives on the fixed period circle near each positive old neck.

Let H\gamma be a bounded cylindrical extension supported in the collar where F_w is the identity, with flat-section trace r^a\gamma and the fixed conformal conversion included. Write V=A_w\circ F_w+H\gamma+e, with e\in\mathcal C_{d_+,0}^{2,\theta}; the subscript 0 denotes zero full boundary trace. The pulled residual \mathcal F(e,w,\gamma) is C^2 into the weighted source space. Indeed, the variable remainder e is never composed with F_w, so parameter differentiation requires no derivatives beyond e_{ss}. Only the fixed smooth old remainder is composed with F_w; its first two parameter derivatives acquire polynomial factors of degree at most two, absorbed by the strict decay gap in (?) after shrinking the parameter neighborhood. The fixed positive profiles preserve positivity nearby. At the base point, the derivative in (e,w) is the physical Dirichlet Jacobi operator, up to an invertible triangular change of remainder: the coordinate derivative of the base residual vanishes. Lemma 4.1 therefore makes it an isomorphism. The implicit function theorem gives a positive C^2 solution graph, and the fixed collar coordinates make its Neumann trace a bounded linear observation. Taylor’s theorem gives (4.2).

For the physical tangent identification, let c_{\min} and c_{\max} bound the slopes c_j(w) throughout a smaller neighborhood, and arrange

Fix \widetilde d on this neighborhood. Lemma 4.1 gives the base isomorphism at this weight with the same complement. At a current graph point (e_*,w_*,\gamma_*), the derivative extends to

Period alignment keeps the leading profiles and principal coefficients uniformly close to their base values. The parameter derivatives of the fixed old remainder decay faster than d_+, and the terms involving e_* decay at d_+, so the finite-dimensional derivatives are close in the \widetilde d source norm as well. Thus \mathcal A_* is a small perturbation of the base isomorphism and remains invertible. Graph derivatives have physical remainders of decay d_-: differentiation at fixed physical t adds at most a factor 1+t to the solved remainder, while d_+/c_{\max}>d_-.

Let J be a physical Jacobi field with the stated decay and radial coefficients in \mathcal W'. Subtract the graph derivative with its full Dirichlet trace, obtaining a zero-trace field J^0 with h=r^aJ^0 and radial coefficient vector \zeta\in\mathcal W'. On the far tails,

where v_w is the physical leading radial model. Set F=F_{w_*} and \dot F_\zeta=D_wF_{w_*}\zeta. For the current physical factor V_{\rm phys}, differentiating V_{\rm phys}\circ F=A_{w_*}\circ F+H\gamma_*+e_* gives the period-aligned remainder derivative

The collar extension has zero derivative for this difference field. Far out, \partial_w A_{w_*}=\partial_wv_{w_*}, so the first two terms reduce to h_{\rm dec}\circ F, with decay at least c_{\min}d_-; the last is O((1+s)e^{-d_+s}) in C^{2,\theta} on unit strips. For this last assertion, \dot F_\zeta is supported away from the boundary collar, where the equation has smooth coefficients and no collar forcing. Interior Schauder estimates and differentiation of the equation give the additional spatial derivatives of e_* with the same decay, without extra boundary regularity of \gamma_*. Near the boundary, F is the identity, \dot F_\zeta=0, and A_w is independent of w. Hence \widehat e_{J^0}\in\mathcal C_{\widetilde d,0}^{2,\theta}. Differentiation at zero residual yields

Invertibility forces both entries to vanish, so J^0=0. This proves the stated tangent identification. Marked fields have zero radial coefficients and decay at every rate below the first nonradial exponent 1, so they are included; the cap uses compact Dirichlet uniqueness.

Keep the old sections fixed and choose a sufficiently small regular cap with invertible Dirichlet Jacobi operator. An arbitrarily small outward change of its outer radius makes the full Dirichlet operator on D invertible: strict domain monotonicity, by min–max and unique continuation [Aronszajn1957], leaves only countably many exceptional radii. The cap radius is chosen within the preceding working-core convention, preserving D\supset D_{\rm pre}.

Put B_{D,N}=-\Delta-V_0 with full Dirichlet data. Choose \chi_i=1 on B(y_i,\rho_i), supported in B(y_i,2\rho_i), with \int|\nabla\chi_i|^2\leq C_n\rho_i^{n-2}, in a fixed neighborhood separated from \Sigma. Their supports are disjoint because 2\rho_i+2\rho_j<r_i+r_j. For \chi=\sum_i\chi_i, multiplication by 1-\chi changes each fixed smooth trial function by O(c_N^{1/2}) in H^1; the support volume is at most C_n\rho_{\max}^2c_N. Min–max and domain monotonicity therefore give convergence of the fixed eigenvalues and a uniform gap about zero, as in the capacitary perturbation method of [RauchTaylor1975]. The uniformly coercive shifted form, with c_{\rm shift}>\|V_0\|_\infty+1, and spectral calculus give a uniform H^{-1}\to H^1 inverse bound.

For sufficiently small fixed t_0>0, use the signed-resolvent identity

Dirichlet heat-kernel domination [Davies1989, Chapters 1 and 3] bounds the first kernel by C_n|x-z|^{2-n}, choosing e^{t_0\|V_0\|_\infty}\leq e. The gap and the Gaussian L^2 row bounds make the second kernel bounded by C_{\rm old}; no positivity of the resolvent is required.

Let D_N^\Sigma be the core Dirichlet-to-Neumann map with zero new trace. The no-hole Poisson solution u_0 for \varphi\in H^{1/2}(\Sigma) has uniformly bounded interior jets near the holes. Correcting (1-\chi)u_0 by the preceding inverse gives, after zero extension across the holes,

The difference is homogeneous with zero trace on a fixed collar of \Sigma, so boundary regularity gives, for every fixed s,

Weighted regularity extends T:H^{1/2}\to H^{-1/2}. Remote-end responses are smoothing, and changing \mathcal W' adds finite-rank smooth terms. The local calculus [Grubb2009, Theorems 11.17–11.18] therefore gives D_0^\Sigma-T principal symbol 2|\xi| and index zero by deformation to 2(1-\Delta_\Sigma)^{1/2}. Its kernel glues to a whole old Jacobi field with coefficients in \mathcal W', excluded by Lemma 4.1. Thus D_N^\Sigma-T remains uniformly invertible by the smoothing perturbation, without selfadjointness of T.

Solve the full Dirichlet problem and correct its old normal trace using (D_N^\Sigma-T)^{-1} and the old-boundary Poisson operator. A fixed-collar extension of smooth old data and the separated Dirichlet kernel bound give this Poisson operator a uniform bound on U. For a source pole in U, fixed-collar estimates bound its old normal trace and hence its interface correction by C_{\rm old}. This proves (4.3); differentiation on fixed collars gives the stated separated-source and interface estimates. Finally, the new collars are disjoint fixed-shape annuli after rescaling, with uniformly small smooth potential \rho_i^2V_0(y_i+\rho_i\cdot). Local boundary and interior estimates [GT2001, Chapters 6 and 8] therefore have constants independent of N and all radius ratios.

First solve with new data g and old data zero using the selfadjoint compact full Dirichlet inverse. For x\notin B(y_i,2\rho_i), its Green kernel, as a function of the source variable z, has zero trace and solves the homogeneous equation on B(y_i,3\rho_i/2)\setminus\overline{B(y_i,\rho_i)}. Rescaled boundary gradient estimates and the Dirichlet kernel bound give

Integration over the sphere contributes b_i\rho_i^{n-2}. On doubled new collars, the prescribed trace and the outer-boundary bound give the same envelope by scaled Dirichlet estimates. The annuli have fixed shape, avoid the other holes, and have uniformly small scaled old potential; their constants are independent of the number of holes and the radius ratios.

At \Sigma, separated-source estimates bound the normal trace by C_{\rm old}q_g in the needed fixed norms. Correct it using (D_N^{\Sigma}-T)^{-1} and the old-boundary Poisson operator. The correction is O(C_{\rm old}q_g) on the new region and fixed old collars, and has zero new trace. Boundary and interior Schauder estimates on the stated patches give the scaled local bounds, since the envelope varies by only a fixed factor there. This also proves the fixed old-collar estimate.

For an isolated sphere, the exterior harmonic Poisson extension P_i^{\rm harm}, vanishing at infinity, has degree-\ell radial factor (\rho_i/R_i)^{\ell+2a}. Let K be its off-diagonal trace matrix and M its off-diagonal normalized normal matrix. The trace on the jth sphere is bounded in scaled C^{2,\theta} by

since each scaled derivative contributes a factor \rho_j/|y_j-y_i|\leq\nu. Summing by rows using (?) gives

For small universal \nu, a Neumann series constructs the simultaneous harmonic lift P_Lg. With \mathcal D_0=\operatorname{diag}(\mathcal D), its normal operator is

This includes reflected contributions to the diagonal.

Put b_j=\|g_j\|_{C^{2,\theta}} and

The harmonic monopoles dominate |g| on every new sphere, so the maximum principle for the harmonic lift gives |P_Lg|\leq CE_g. Each summand is a positive Newton potential, and

On every doubled ith collar, (?) gives E_g\leq CB_i\|g\|_{\mathcal B}; harmonic boundary estimates give the same bound for the scaled jets of P_Lg.

The difference z=P_Ng-P_Lg has zero new trace and satisfies L_0z=-V_0P_Lg, with old interface forcing T(P_Lg|_\Sigma)-\partial_{\mathbf n}P_Lg. The forcing and the source away from a fixed new neighborhood have fixed norms O(C_{\rm old}q_g), hence responses of that size by the old interface estimate and (?). For the localized source, use (4.3) only when both source and observation lie in that neighborhood. The 3G estimate (2.4) gives

Splitting the localized kernel integral at B(x,L), and using the mass bound for the far part and bounded kernel remainder, yields

on all doubled new collars. With \nu fixed, first choose L small and then Q small, using q_g\leq C\nu^{2a}Q\|g\|_{\mathcal B} and B_i\geq m_{\rm old}. This makes |z|/B_i arbitrarily small simultaneously on every collar. Finally decrease the largest original radius so that \rho_i^2V_0P_Lg/B_i is small in scaled C^{0,\theta}. Zero-trace boundary Schauder estimates give

proving (4.5). All constants in the harmonic comparison and the rescaled collar estimates are independent of the number of holes and their radius ratios; the old-dependent choices are made only after \nu is fixed.

First use the localized kernel of Proposition 4.3 for source and observation in U_2. For a \Psi_i majorant apply (?). The singular part is at most C\delta\Psi_i+C_0b^2U_0. The smooth part of the kernel is bounded by (?). For \Phi, split the multiplier source into its h and bU_0 parts. For the residual, the high–low splitting used in (?) gives on D_N

The residual source in the Newton potential is extended by zero outside D_N. The low-region term has bounded height and mass O(C_0Q); (?) and \min_DU_0>0 give its stated response. Dividing the residual response by \Phi=h+bU_0 gives C\delta+C_0b. Dividing the height–mass response C_0b^2U_0 by the positive background term bU_0 gives C_0b; the bU_0 multiplier part contributes at most C\delta+C_0b^2. The smooth source mass contributes C_0Q/b. Thus both the multiplier and the residual have coarse value bound at most

The old-dependent terms vanish with Q, since Q/b=Q^{1-1/n}.

Apply the kernel only to \chi F. Outside U_2, separation bounds the response by C_0\int|F|. Put F_V=V_{\mathbf p}f and F_R=\mathcal R_{\mathbf p}. On the fixed support of 1-\chi, all bubbles and their ordinary jets are O(C_0Q). Require b\leq1 and Q\leq b. There W=O(C_0b_W), and hence

These products extend by zero across all the new balls. Apply (?) to these two regular sources. The old inverse bounds their no-hole responses by C_0Qb_W\left\lVertf\right\rVert_{X_W} and C_0Q, respectively, in fixed C^{2,\theta} norms on the core and old collars. Since B_i\geq m_{\rm old}>0, the new-sphere traces have the same bounds in \mathcal B. Applying (?) with the particular weight W=\Phi or \Psi_i, and dividing the old-collar estimates by A_0b_W, gives

For prescribed \varepsilon_0>0, reduce Q so that

Since b=Q^{1/n}\to0 and Q/b=Q^{1-1/n}\to0, this closes (5.1), including the old-collar terms in the weighted norms. In particular, the coefficient of \delta in these estimates is universal; the old-dependent constants are absorbed by reducing Q after \eta has been fixed.

For the scaled local norm apply boundary or interior Schauder estimates after rescaling the patches. After the old data and \eta are fixed, choose r_0 small enough that, on every new boundary or interior patch P of scale \ell_P,

and the finite-order scaled relative jets of U_0 and the weights W needed here have universal bounds. These choices are possible because U_0 is positive and smooth on the fixed core neighborhood; the regularized potentials h_j have uniformly bounded scaled relative jets. The new potential is bounded by (?). For the residual source Hölder norm, use \mathcal R_{\mathbf p}/W\leq C S_{\mathbf p}^q, (?), and (?). At fixed old collars apply the separated mass estimate and (?). The ordinary old-collar estimates are divided by A_0b_W. Fix A_0\geq1 before imposing the final radius and coefficient bounds; then reduce Q so these terms obey the same inequalities.

For (5.1), let w_0 be the smooth no-hole solution with old-interface forcing \xi. The identity (?) applies equally to this forcing. Since \|w_0\|_{C^{2,\theta}(D)}+ \|w_0|_{\Gamma_N}\|_{\mathcal B}\le C_0\|\xi\|_{C^{1,\theta}}, (?), the lower bound W\ge b_WU_0, and the old-collar estimates prove the claim.

Write \mathcal I_{2,D}f=\mathcal I_2(\mathbf1_D f) for the Newton potential of f extended by zero outside D. Finally, U_0 and all h_i are positive Newton potentials. The 3G inequality therefore gives \mathcal I_{2,D}W\leq C\operatorname{diam}(D)^2W. Its mass on D is bounded by an old-dependent multiple of b_W+Q. The same patch and collar argument proves bounded multiplication. By (?) the residual derivative has an additional factor \delta: its regular coarse response is at most C_0\delta Q/b\leq\varepsilon_0\delta^2, and its refined response is at most C_0\delta Q. The same additional factor applies to the differentiated multiplier, proving (5.1). No parameter-dependent weights or domains are differentiated.

On the intersection ball, |w|\leq C\delta\Phi and b is small, so |w|/S_{\mathbf p}<1/2. Smooth Taylor formula gives

For the last inequality split at h=U_0; equivalently use hS_{\mathbf p}^{q-1}\leq C(S_{\mathbf p}^q-U_0^q) and U_0S_{\mathbf p}^{q-1}\leq C((S_{\mathbf p}^q-U_0^q)+U_0^q). Lemma 5.1 controls the first term. The second term is b times a fixed old smooth multiplier, so its inverse response has norm at most C_0\delta b. Thus it imposes a condition on Q, without imposing an old-dependent restriction on \eta. For the scaled Hölder multiplier bound, on a patch P write D_wN=\kappa pS_{\mathbf p}^q((1+w/S_{\mathbf p})^q-1). The relative jets of S_{\mathbf p} and \Phi, and the coarse local jets of w, give

Multiplying by the local jets of f and using the same positive envelopes as in Lemma 5.1 therefore gives \left\lVertG_N(D_wN f)\right\rVert_{X_W} \leq[C\delta(C\delta+o_0(1))+C_0\delta b]\left\lVertf\right\rVert_{X_W}. On fixed old collars the extra constants carry b, hence shrink with Q. Also \left\lVert\gamma\right\rVert_{C^{2,\theta}}\leq C_0(Q+A_0\delta b). Reducing Q makes the old graph derivative small. Equation (5.1) yields, for the nonlinear boundary contribution,

The affine interface forcing has size O(C_0Q), and hence coarse inverse norm O(C_0Q/b). The quadratic graph term has coarse inverse norm at most C_0(Q+A_0\delta b)^2/b. With \eta,A_0 fixed, both are made as small as required by reducing Q. The refined estimates have no factor 1/b.

The preceding bounds show that the fixed-point map preserves a C\delta ball in X^0 and has derivative in v of norm less than 1/4, so Banach’s theorem gives a unique solution. The intersection ball controls the old trace; at the solution the same contraction bound holds on every individual X_W.

For each fixed finite configuration, the domain and weights are fixed, and the weighted norms are equivalent to ordinary Hölder norms, with configuration-dependent constants. The C^1 inner data from Proposition 3.2, the C^2 old graph, and the smooth power nonlinearity in the positive neighborhood permit the implicit function theorem, giving C^1 dependence on \mathbf p in X^0. The norm equivalences provide no uniform constants; the uniform derivative estimates follow by differentiating (?). Keep \dot P explicit with the orders in (?); it is not of order \delta in every refined space. Its force V_{\mathbf p}\dot P has coarse order \delta\nu^{2a} and refined order \delta. The derivatives of \mathcal R_{\mathbf p},V_{\mathbf p} have the extra factor \delta in (?).

To differentiate the Taylor remainder, write N(S,w)=w^2 S^{q-1}F(w/S) and N_S(S,w)=w^2 S^{q-2}F_1(w/S), with smooth F,F_1 for |w/S|<1/2. The scaled jets of w are bounded simultaneously by \mathfrak A_c=C\delta\Phi and \mathfrak A_i=Ck\Psi_i; hence for \mathfrak A_W=\mathfrak A_c or \mathfrak A_i,

These positive amplitude bounds also control the scaled jets. For the old derivative terms put \zeta_{\rm old}=Q/b. A unit parameter tangent has affine old forcing of ordinary size C_0\delta Q, whose coarse inverse response is C_0\delta\zeta_{\rm old}\leq\varepsilon_0\delta^2 by (?). Moreover,

The part of D\mathcal E(\gamma) containing these explicit tangents consequently has coarse response at most

After (?), further reducing Q makes this at most \varepsilon_0(\delta^2+\delta\nu^{2a}). The part containing \dot v is included in the linearized fixed-point operator; its norm is at most C_0A_0(Q+A_0\delta b), which can be made less than 1/16. Also require C_0b\leq\varepsilon_0 for the old bounded multiplier term. All these conditions are compatible with fixed \eta,A_0,r_0, since b,\zeta_{\rm old}\to0. In the refined spaces the factors 1/b are absent, and the same explicit sources are O(\delta). Inverting this linearization in each X_W proves (5.2). Boundary Schauder estimates with zero new trace prove (5.2).

Finally let J be a current exterior Jacobi field with radial coefficient vector in \mathcal W', physical remainder decaying at rate d_- on every eliminated old tail, and zero full trace on the new spheres. For fixed N it has finite X_W norms on the core. The lower-weight tail uniqueness in Proposition 4.2 gives the exact linearized old boundary relation. It follows that J=D_v\mathcal T(v)J, where \mathcal T is the right side of (?). The contraction estimate forces J=0.

The positive Robin operator \mathcal D_{\mathrm{in}}+a has a bounded inverse C^{1,\theta}\to C^{2,\theta} by the standard Robin Schauder estimate [GT2001, Chapter 6]. Equation (?) and the maximum product norm give the assertion.

The own transformed bubbles cancel. The Cauchy-data formulas of Section ? give trace/flux pairs (B,0) for a b variation and (2aB,2aB+O(\delta B))\dot{\mathbf c}\cdot\omega for a special conformal variation at zero. Combining these with the exterior eigenvalues -(\ell+2a) and the interior high-mode eigenvalues \ell gives the three blocks of (?), with error O(\delta).

At the baseline, Taylor-expand U_0+\sum_{j\ne i}b_{\lambda_j,y_j} at y_i. Its constant term is B_i and its gradient agrees with 2aB_i\mathbf a_i^0. The second-order error on the cutoff sphere is O(\nu^2B_i) by (2.7). The change in other bubbles caused by (?) is O(\eta^2B_i) at the baseline and O(\delta B_i) for unit tangents. For V_B, the boundary data and radial equation bound the required nonconstant jets and their first parameter derivatives on a two-sided annulus by O(\delta B). Taylor expansion in |\mathbf a_i|\rho_i=O(\nu+Rk) gives the low-mode derivative error O(\nu+\delta+Rk).

Proposition 3.2 bounds the normalized Cauchy-data contribution of the inner correction and its parameter derivative by O_R(\nu+s^{2-\mu_3}). Indeed, the fixed gap d=\mu_3-\mu_2>0 gives

while \nu^aRk\leq2R\nu since k\leq2\nu^2 and \nu\leq1. Proposition 4.5 gives the full exterior Poisson flux as its diagonal harmonic operator plus O(\nu^{2a})+o_0(1). The derivatives of the boundary discrepancy g_i, after the own bubble cancellation, are bounded in the B_i-normalized norm by (?). The zero-trace nonlinear correction has flux error O(\delta) by (5.2). Since n\geq3 and \nu\leq1, \delta=\nu^n\leq\nu, \nu^{2a}=\nu^{n-2}\leq\nu, and Rk\leq2R\nu. Thus all the universal derivative errors are absorbed in C_R(\nu+s^{2-\mu_3}), proving the derivative estimate.

At \mathbf p=0 the high data and its correction vanish. The exterior correction is bounded by its force times (1-1/4)^{-1}, independently of the parameter-ball radius. Its flux and the Taylor errors therefore give C_* independently of R.

The assumed regularity gives a C^{2,\theta} boundary trace. Since I\asymp r^{-a} for the fixed positive neck, the relative bound implies J=O(r^{-a+d}). Annular Schauder estimates for the Jacobi equation give the corresponding scaled derivative bounds. Write U=\mathcal T_{\mathbf a}U_B. For a positive conformal factor f, write L_f=\Delta+\kappa p f^q for its additive Jacobi operator, as in (?). Undo the special conformal transformation on a smaller concentric ball in the transformed domain. The pullback fixes the origin, has comparable radial variables and a smooth nonvanishing conformal factor, and preserves the strong additive weights. On this ball the transformed solution and Jacobi field satisfy

with scaled derivatives. In the following argument \varepsilon>0 denotes the fixed necksize, and d>0 denotes the decay exponent of the field. Since U_B\asymp r^{-a}, Taylor expansion gives

Set j=r^a\widetilde J and t=-\log r (up to an additive constant). The radial cylindrical Jacobi equation is

where v=r^aU_B is a phase translate of the Fowler profile. Since \kappa p=n(n+2)/4, this is the cylindrical normalization of [KMPS1999, Section 2.2]. Initially j\in \mathcal C_{d_0}^{2,\theta} on the cylinder for any 0<d_0<\min\{d,1\}.

Choose \gamma=a+\mu_1, so \gamma>1 and \gamma<a+2. By Lemma 2 of [MP1999, Section 5], the first high-mode indicial exponent \gamma_{\varepsilon,n+1} has a lower bound arbitrarily close to a+2 for small necks. Reducing the small-neck threshold in terms of n and \mu_1 gives \gamma_{\varepsilon,n+1}>\gamma. Since a+\mu_3+d>\gamma, Corollary 1 of [KMPS1999, Section 2.2] applies and gives

Here E_{\varepsilon,1} is the span of the stable first spherical Jacobi fields. In additive Euclidean variables these are precisely the fixed-center special conformal generators, r^{1-a}(av-v')\omega_j. Hence \widetilde J is a combination of these generators plus a field in X_{\mu_1}. The initial positive decay excludes the two neutral radial fields and the growing first-degree fields. The weight conversion is j\in \mathcal C_{\gamma}^{2,\theta}\Longleftrightarrow \widetilde J\in X_{\gamma-a}; with \gamma=a+\mu_1, the remainder therefore belongs to X_{\mu_1}. All norms are finite on the remaining compact annulus.

Return through the conformal transformation. The special conformal transformations satisfy the local group law \mathcal T_{\mathbf a+\mathbf z} =\mathcal T_{\mathbf a}\mathcal T_{\mathbf z}. Consequently their parameter tangents have precisely the stable first-degree leading terms found above. Proposition 3.2 places the derivatives of the correction in X_{\mu_3}. Subtracting suitable special conformal tangents of I therefore leaves a field in X_{\mu_1}, with positive relative decay. Choose \dot\psi so that B_*\dot\psi equals the remaining high trace, and subtract the corresponding high-boundary tangent of I, which belongs to X_{\mu_3}. The remainder J_0 is a strong Jacobi field with zero high trace. The local strong inverse gives

The operator on the right has norm less than one on X_{\mu_1} by the small relative potential estimate, so J_0=0.

Let J be a global marked Jacobi field. Its smoothness at the matching spheres allows Lemma 5.5 to represent it at every new puncture as an inner tangent with \dot b_i=0. Passing from physical coefficients to (?) multiplies the special conformal coefficient by \rho_i and divides the high trace by B_i. Since these finitely many factors are positive, this defines \dot{\mathbf p}\in\mathcal E_N. No uniform bound on the representation coefficients is needed for this kernel argument.

At each old end the radial coefficients of a marked field are zero. It therefore satisfies the current common gauge and the lower-weight boundary graph of Proposition 4.2. Because E_{\mathbf p}|_{\Gamma_i}=I_i(\mathbf p)|_{\Gamma_i} for all parameters, D_{\mathbf p}E_{\mathbf p}[\dot{\mathbf p}] has exactly the same full new trace as J. The old radial coefficient vector of this exterior tangent belongs to \mathcal W', and its physical remainder has decay d_- by Proposition 4.2. Since the old radial coefficients of J vanish, their difference belongs to the same current Jacobi space and has zero full trace on the new spheres. Exterior uniqueness in Lemma 5.2 therefore makes it zero. The vanishing global normal jump then says D\mathcal M\dot{\mathbf p}=0. The bound in (5.4) makes D\mathcal M invertible; hence \dot{\mathbf p}=0, and all restrictions of J vanish.

Define u arbitrarily on the measure-zero set \Lambda.

For the local estimate, we use the test-function method of Mitidieri and Pohozaev; see [MitidieriPohozaev2004, Section 1, equations (1.2)–(1.5)], with numbering from their March 2004 manuscript. Put p'=p/(p-1)=(n+2)/4 and choose an integer m>2p'. For B=B_{g_{\mathrm{rd}}}(x,r), 0<r\leq r_0\leq1, choose 0\leq\psi\leq1, equal to one on B, supported in 2B, with |\nabla\psi|\leq C_n/r and |\Delta\psi|\leq C_n/r^2. Then \varphi=\psi^m satisfies

Writing X_j=\int u_j^p\varphi\,\mathrm d V_{g_{\mathrm{rd}}}, the equation and Hölder’s inequality give

If X_j>0, divide by X_j^{1/p} and raise to the power p'; the zero case is immediate. Since n-2p'=a, this yields

which proves (6.1) in every dimension n\geq3. Testing with one gives \int u_j^p=\int u_j; Hölder’s inequality implies \int u_j^p\le\operatorname{Vol}(\mathbb S^n). Fatou’s lemma therefore yields u\in L^p(\mathbb S^n).

Given \varepsilon>0, cover \Lambda by finitely many open round balls B(x_i,r_i), with r_i\leq r_0 and \sum_i r_i^a<\varepsilon, and let O be their union. The local estimate gives

and Fatou’s lemma gives the same bound for u^p. On \mathbb S^n\setminus O\Subset\mathbb S^n\setminus\Lambda, the sources converge uniformly. Therefore

Letting \varepsilon\downarrow0 proves strong L^1 convergence.

For s,t\geq0, |s-t|^p\leq|s^p-t^p|, since (t+h)^p\geq t^p+h^p for h\geq0. Thus

The factors also converge in L^1, so for every \varphi\in C^\infty(\mathbb S^n) we can pass to the limit in

This proves the global distributional equation. Strong L^1 convergence of the sources excludes an additional measure on \Lambda.