Boundary regularity and conic decomposition

Written by GPT-6 Astra (OpenAI), October 2026. Public domain (CC0).

A singular covector can be read at one point on the boundary of a complex tube. This lesson proves the exact correspondence: Fourier regularity in the direction is equivalent to derivative bounds near the boundary point . The correspondence works for smooth, analytic and all the derivative-growth classes considered here. It then gives a decomposition subordinate to any finite closed conic cover, together with the precise ambiguity on cone intersections.

The main inputs are Derivative growth and finite-order localization, Lemmas 1 and 5 and Proposition 3; Cones and derivative-growth wavefronts, the definition and Theorems 3, 5–7; Holomorphic decompositions of tempered distributions, Lemma 1, Theorems 3–5 and Proposition 6; and Continuing the spherical kernel, Corollary 8 and its uniform analytic remainder. The Schwartz and Fourier foundation, F1–F5, supplies Fourier inversion and pairings. Integral Taylor remainders are proved in When a kernel is smooth, and polydisk Cauchy bounds in Holomorphic boundaries in convex cones. The integration foundation, Sections 15–16, supplies the finite measures and limiting operations below.

The tube and its two notions of boundary regularity

Use , with inverse factor , and complex-linear distribution pairings. Let , let have its ordinary surface measure (two unit masses for ), and put

T=\{x+iy:|y|<1\},\qquad I(\xi)=\int_{S^{n-1}}e^{-\omega\cdot\xi}\,d\sigma(\omega), \qquad a=\frac{n-1}{2}. \tag{1}

For its spherical representation is

U(z)=(2\pi)^{-n}\widehat u\left(\frac{e^{iz\cdot\xi}}{I(\xi)}\right), \qquad z\in T. \tag{2}

The earlier representation theorem proves holomorphy, polynomial growth in and , continuous distributional boundary values , and

u=\int_{S^{n-1}}B_\omega\,d\sigma(\omega). \tag{3}

These integrals are pairings against each Schwartz test; the boundary family has a common finite Schwartz-seminorm bound.

Fix an admissible scale : , , is nondecreasing and . Say that is -regular at if a complex ball and constants satisfy

|\partial_x^\alpha U(z)|\le A(BL_k)^k, \qquad k=|\alpha|,\quad z\in D(p,r)\cap T. \tag{4}

Degree zero means a bound by . Say that it is smooth at if one ball works for bounds for every . The constants may depend arbitrarily on , but the ball must not shrink with . Holomorphy makes these also bounds for all real and imaginary derivatives, since .

Fourier bounds become boundary bounds

Theorem 1. For , , , and every admissible ,

(x_0,\theta)\notin\operatorname{WF}_L(u) \quad\Longrightarrow\quad U\text{ is }L\text{-regular at }x_0-i\theta. \tag{5}

The analogous implication holds for the ordinary smooth wavefront and smooth boundary regularity.

Proof for . The definition gives compact distributions , all equal to on a ball , with one compact support and one finite-order bound. There are an open cone about , constants , and an integer , such that

|\widehat u_N(\xi)|\le C(1+|\xi|)^M\quad(\xi\in\mathbb R^n), \qquad |\widehat u_N(\xi)|\le C(BL_N/|\xi|)^N\quad(\xi\in\Gamma). \tag{6}

Set . The finite-order bound and compact support imply a common finite Schwartz-seminorm bound for ; adding the fixed bound for gives one for . Every vanishes on . The uniform off-support theorem, Corollary 8 of the preceding lesson, therefore extends the representations of holomorphically to one full neighborhood of , with common bounds on smaller compact sets. Polydisk Cauchy on a fixed smaller ball gives

|\partial_x^\alpha V_N(z)|\le C_0 H^k k! \le C_0H^k L_k^k \quad(k=|\alpha|), \tag{7}

uniformly in ; for read both rightmost factors as one. The last inequality uses .

The representation of is the ordinary absolutely convergent integral

U_N(x+iy)=(2\pi)^{-n}\int e^{ix\cdot\xi-y\cdot\xi}\frac{\widehat u_N(\xi)}{I(\xi)}\,d\xi. \tag{8}

Indeed the Fourier transform of a compact distribution is its smooth polynomially bounded transform, by F5. On compact subsets of , the reciprocal estimate makes every differentiated integrand integrable. Thus differentiation and (2) give and

|\partial_x^\alpha U_N(x+iy)| \le C\int e^{-|\xi|-y\cdot\xi} |\xi|^k(1+|\xi|)^a|\widehat u_N(\xi)|\,d\xi. \tag{9}

Because is an interior direction of , compactness of the complementary unit directions gives such that outside . For ,

-|\xi|-y\cdot\xi\le-\delta|\xi| \quad(\xi\notin\Gamma). \tag{10}

If the complementary directions are empty there is no such integral. Otherwise choose an integer . Polar integration bounds the complementary part of (9) by . Expanding the integer power and integrating by parts gives a sum of , . Each is at most : for a fixed integer , use , then the fixed-shift Lemma 1 of the growth lesson. All constants are independent of .

Inside , gives . Choose once and for all an integer

d>M+a+n+1,\qquad N=k+d. \tag{11}

On , the first bound in (6), polar integration and give

C\int_0^{L_N}t^{k+n-1}(1+t)^{M+a}\,dt \le C_2 L_N^{k+M+a+n}\le C_2 L_N^N. \tag{12}

On , the second bound in (6) gives

\begin{aligned} C_3 B^N L_N^N\int_{L_N}^\infty t^{k+a+n-1-N}\,dt &=\frac{C_3 B^N}{d-a-n}L_N^{k+a+n}\\ &\le C_4 B^N L_N^N. \end{aligned} \tag{13}

The denominator is positive and fixed. The fixed-shift lemma gives , including . Combining (7), (9)–(13) proves (4) on one sufficiently small ball about . Although the auxiliary depends on , their sum with is always the same function . This is why choosing is legitimate.

Proof for smooth regularity. Take one compact smooth cutoff near such that decreases faster than every inverse power on a fixed . Write . The second representation is holomorphic on a full neighborhood of , by the same off-support theorem. In (9) use the polynomial bound of the one compact distribution outside , where (10) applies. For a derivative of order , choose a decay power inside ; the integral of is finite. The real and angular neighborhoods used here are independent of . This gives all the fixed-order bounds required for smooth boundary regularity. No estimate uniform in is asserted in this case.

Reading a singularity from one boundary point

For a finite complex Borel measure on the sphere, let

u_\mu=\int B_\omega\,d\mu(\omega),\qquad E=\operatorname{supp}\mu. \tag{14}

This is a tempered distribution by the common boundary seminorm bound. The earlier angular theorem and Proposition 6 already prove

\operatorname{WF}_L(u_\mu)\subset \{(x,\xi): -\xi/|\xi|\in E, \ U\text{ is not }L\text{-regular at }x-i\xi/|\xi|\}. \tag{15}

Lemma 2 (smooth angular bound). Replacing -regular by smooth in (15) gives the same inclusion for .

Proof. If , the earlier analytic angular bound excludes from , hence from by the proved class comparison.

Suppose instead that is smooth at , where . Take a smaller ball inside the ball of all-order bounds. Its intersection with is convex. The bound on derivatives of order , together with the Cauchy–Riemann equations, makes Lipschitz there. Its values therefore extend uniquely and continuously to the closure: interior approximations are Cauchy by that bound, and any two approximations have the same limit. Each derivative retains its original bound. For real near and in a small closed spherical cap about , denote the extended value of by .

At height , , apply the fundamental theorem along a small real coordinate segment. Passing to uniformly on that segment gives the same identity with the extended first derivative. Repeating for every proves that is smooth with these derivatives and their common bounds. Uniform convergence on compact real sets identifies this function with the distributional boundary there. Choose an open cap about whose closure is such a cap. Split . Dominated convergence against the finite total variation measure makes the first contribution smooth near . The second measure's support avoids , so its contribution is analytically regular in the direction .

For completeness, the smooth sum rule needed in this last step follows directly from the Fourier cutoff argument already used in the conic lesson. If are both smooth-wavefront regular at , select their two compact cutoff witnesses and a new cutoff supported where both original cutoffs are one. Multiplication preserves rapid decay on a smaller cone by the convolution estimate: for compact ,

\widehat{bf}(\zeta)=(2\pi)^{-n} \int\widehat b(\zeta-\eta)\widehat f(\eta)\,d\eta. \tag{16}

On the cone of rapid decay, distribute any output weight using and take both decay exponents greater than the output exponent plus . Off that cone, separated unit directions give ; a cutoff decay exponent greater than the output exponent plus the polynomial order of plus is integrable. Formula (16) follows by Fourier inversion of the test in the compact distribution's finite-order norm. This proves the claimed preservation and makes the sum of the two new transforms rapidly decreasing. A smooth function has no smooth wavefront because its compact cutoff has rapidly decreasing transform. The analytic-to-smooth inclusion proved in the conic lesson applies to the other summand. Thus the two contributions above have no smooth wavefront at , proving the lemma.

Theorem 3 (exact boundary characterization). For all and admissible ,

\begin{aligned} \operatorname{WF}_L(u)\cap(\mathbb R^n\times S^{n-1}) &=\{(x,\theta):U\text{ is not }L\text{-regular at }x-i\theta\},\\ \operatorname{WF}(u)\cap(\mathbb R^n\times S^{n-1}) &=\{(x,\theta):U\text{ is not smooth at }x-i\theta\}. \end{aligned} \tag{17}

For , absence of the covector is equivalent to holomorphic continuation of to a full complex neighborhood of .

Proof. Theorem 1 proves the forward regularity implications. In (15) take and use the exact average (3); this proves the reverse implication for every . Lemma 2 with the same average proves the reverse implication for smooth regularity.

It remains to justify the analytic continuation statement. For , the factorial comparison in Proposition 3 of the growth lesson converts (4) to

|\partial_x^\alpha U(z)|\le A H^k k!,\qquad k=|\alpha|, \tag{18}

on one ball intersected with . The preceding Lipschitz argument extends every derivative continuously to the boundary point . Form the series

F(p+h)=\sum_{\alpha\ge0} \frac{\partial_x^\alpha U(p)}{\alpha!}h^\alpha. \tag{19}

The sum of absolute values at degree is at most , by the multinomial identity. Consequently (19) converges normally when , defines a holomorphic function there, and may be differentiated termwise on smaller polydisks. To see the last assertion without a convergence shortcut, a derivative of fixed multi-order introduces at most a fixed power of the degree and a fixed power of the inverse smaller radius; a geometric series times that degree power converges.

Choose interior points . For any fixed sufficiently close to , the segment from to lies in the original ball intersected with for all large , by convexity. Apply the integral Taylor formula along this complex segment, using holomorphy to identify its derivatives. The remainder after degrees below is bounded by , exactly as in the real Taylor estimate. Shrink the neighborhood of so that this ratio is less than a fixed number below one for all large . First let in the finite Taylor polynomial and its remainder bound, and then let . This proves throughout the intersection with a smaller neighborhood. Thus (19) is the required extension. Conversely a holomorphic extension is bounded on a compact polydisk about ; the proved Cauchy derivative estimate on a smaller polydisk gives . This is (4) and completes both directions.

Splitting directions with closed cones

Write for any one of or , including . The same operators below work simultaneously for all these choices.

Theorem 4 (finite conic decomposition). Suppose are closed cones in whose union is the whole punctured space. There are linear maps , depending only on the ordered cover, such that

\sum_{j=1}^m P_j u=u,\qquad \mathcal W(P_j u)\subset \mathcal W(u)\cap(\mathbb R^n\times\Gamma_j). \tag{20}

Proof. Put . Define the disjoint Borel pieces

E_1=F_1,\qquad E_j=F_j\setminus\bigcup_{\ell<j}F_\ell, \qquad P_j u=\int_{E_j}U(\,\cdot-i\omega)\,d\sigma(\omega). \tag{21}

They partition the sphere, and because is closed. Reflection preserves surface measure, so (3) proves the sum in (20) with no extra normalization. Common boundary seminorm bounds prove that each term is tempered; linearity follows from (2) and pairingwise integration.

Apply (15), or Lemma 2, to the pushforward of under reflection . Its support is contained in , so every possible wavefront covector of lies in . If , Theorem 3 says that the original common has the appropriate boundary regularity at . The same angular bound excludes that pair from . These are the two inclusions in (20). The proof never discards partition boundaries or supposes they have measure zero.

Theorem 5 (ambiguity lives on intersections). Suppose , with all terms tempered and . Then there are tempered such that

\begin{gathered} e_{jk}=-e_{kj},\qquad \widetilde u_j=u_j+\sum_k e_{jk},\\ \mathcal W(e_{jk})\subset\mathcal W(u)\cap (\mathbb R^n\times(\Gamma_j\cap\Gamma_k)). \end{gathered} \tag{22}

Proof. Let , so . The finite-sum wavefront rule (Theorem 7 of the conic lesson for , and the proof of Lemma 2 for smooth wavefront) gives . Set

e_{jk}=P_kd_j-P_jd_k. \tag{23}

This is antisymmetric, and linearity together with (20) gives . Both terms of (23) have wavefront in the intersection in (22), by (20) applied separately to and . Their difference has the same bound by the finite-sum rule.

Left: in two dimensions is a unit covector and the corresponding imaginary boundary point is . The orange cap is a schematic neighborhood of that boundary point, intersected with the open imaginary unit disk; actual regularity also requires a real neighborhood and all the bounds in (4). Right: the three closed sectors are centered at angles , each with angular half-width . Their union covers the circle. The outer ring colors each direction by its first containing sector, exactly the rule (21); filled and hollow endpoint markers indicate assigned and excluded endpoints. The center ray of each sector is shown. The decomposition acts on covectors through these sets and uses the reflected imaginary boundary. Theorems 3–5 give the mathematical conclusions. Editable figure source.

Examples and exercises with complete solutions

Exercise 1 — the sign and the normalization (foundation). In dimension one take , . Compute the two Fourier multipliers in (21). Apply them to the constant function.

Solution. Here , and each sphere point has mass one. Positive covectors use the bottom boundary. Consequently

\widehat{P_1u}=\frac{1}{1+e^{-2\xi}}\widehat u, \qquad \widehat{P_2u}=\frac{1}{1+e^{2\xi}}\widehat u. \tag{24}

These multipliers are smooth with polynomially bounded derivatives, as already proved for the boundary multipliers. Their sum is one. The transform of is , so each gives the constant . The total is one, even though the zero frequency belongs to neither cone: the cones constrain singular directions, not the support of these multipliers.

Exercise 2 — conic pieces are not projections (intermediate). For the preceding one-dimensional splitting, prove that . Show nevertheless that every has wavefront in , for every regularity choice , and interpret the conclusion.

Solution. Apply twice to : the answers are and . Thus idempotence fails. Since , and . Theorem 4 twice places each output wavefront in both cones. Their intersection is empty, so the outputs have empty analytic wavefront. The projection theorem for in the conic lesson makes them real analytic everywhere. This assertion does not say that they vanish or are entire functions.

Exercise 3 — changing the ordering (intermediate). Order the same finite closed cover in two different ways and form the decompositions of Theorem 4. Prove that the resulting difference in each term is accounted for by intersections, even if the cone boundaries have positive surface measure. If all intersections involving are empty, what can change in its component?

Solution. Relabel the second decomposition by the original cone names. Both decompositions satisfy (20). Theorem 5 supplies antisymmetric differences obeying (22); its proof uses Borel restrictions and support inclusions, with no null-boundary assumption. If every for is empty, apply the theorem for . Every is real analytic by the projection theorem, and ; hence the component changes at most by a real analytic function. For this particular first-membership construction an entirely disjoint cone actually has the same assigned sphere piece in either ordering, so its component does not change at all. The analytic conclusion also holds for arbitrary decompositions satisfying the same analytic wavefront bounds.

Exercise 4 — a point source has every direction (advanced). Prove directly that , and deduce the corresponding statement for every . Describe what this says about the boundary regularity of , the tube function of .

Solution. At a nonzero base point choose a cutoff supported away from the origin; its product with is zero, giving witnesses in every class. At the origin any cutoff equal to one nearby leaves unchanged. Its Fourier transform is the constant one, which is not rapidly decreasing along any nonempty frequency cone. This proves the smooth assertion. The class sandwich , together with the zero witnesses away from the origin, gives the same exact set for every . By Theorem 3 the kernel is not smooth at any , and is not -regular there for any admissible . At with , it extends holomorphically to a full neighborhood. This latter statement also follows from the off-support theorem applied to and a small ball about .

Exercise 5 — local distributions and a canonical regularity test (advanced). Let , where is any open subset of , and let . Choose equal to one near , extend by zero, and form its tube function. Show that Theorem 3 tests the wavefront of at , independently of .

Solution. The compact distribution is tempered by its finite-order bound. Near it agrees with . The definition of -regularity is unchanged on restricting to a smaller neighborhood: a witness equal to one distribution there is a witness for the other. Compact supports can be placed inside that neighborhood using the controlled localization Theorem 3 of the conic lesson. This proves the local equality of their -wavefront sets. The smooth version follows from the cutoff transfer (16). Thus Theorem 3 applies to the original local wavefront. If are two choices, their compactly supported difference vanishes on a fixed neighborhood of . Its tube function extends holomorphically near every , by the off-support theorem. Adding this function preserves (4), smooth bounds, and existence of holomorphic extension in both directions, after shrinking the neighborhood. This also proves independence directly at the boundary. No global extension of and no identification of with Euclidean space is required.

References

The earlier programme proofs linked above supply the exact Fourier conventions, controlled cutoffs, class comparisons, spherical representation, uniform off-support continuation and Cauchy estimates. The frequency split, smooth endpoint, boundary Taylor extension, decomposition and ambiguity are proved in this lesson.
Lars Hörmander, The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, reprint of the second edition (1990), Springer, 2003, doi:10.1007/978-3-642-61497-2, Section 8.4, Theorem 8.4.11, Lemma 8.4.12 and Corollary 8.4.13. These give the boundary characterization and conic decomposition targets. The exposition, detailed estimates, figure and exercises here are independently organized and expressed.