Derivative growth and finite-order localization

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

A smooth cutoff can destroy analyticity. To measure analytic regularity by Fourier decay, we therefore allow the cutoff to depend on the number of derivatives being tested. The support stays in one compact set, and every fixed derivative remains uniformly bounded. Only the increasing derivative order has a growing cost. We construct these cutoffs and prove a Fourier criterion for an entire family of derivative-growth classes, including analytic and Gevrey functions.

The prerequisites are Order, positivity and distributional limits, the Schwartz and Fourier foundation, and the integral Taylor formula in When a kernel is smooth. The functional foundation, Section 6 and Sections 14.1–14.2, proves Baire's theorem and completeness of the smooth-function space. The scalar foundation, Section 13.10, supplies smooth bumps. The integration foundation, Sections 15.0–15.1 and 16.1–16.2, supplies Lebesgue measure, dominated convergence, Fubini and affine substitution. All spaces and integrals below use these conventions.

Basic references are Lars Hörmander's The Analysis of Linear Partial Differential Operators I and the programme readings just listed. All proofs required here are given below or at those exact earlier locations. The Fourier transform is

\widehat f(\xi)=\int e^{-ix\cdot\xi}f(x)\,dx, \qquad f(x)=(2\pi)^{-n}\int e^{ix\cdot\xi}\widehat f(\xi)\,d\xi. \tag{1}

Pairings are complex linear, and denotes ordinary differentiation, without a factor of . Throughout, .

Growth scales and a useful shift estimate

Fix a nondecreasing sequence of positive numbers with

L_0=1,\qquad k\le L_k,\qquad L_{k+1}\le QL_k \quad(k\ge0),\qquad Q\ge1. \tag{2}

For an open set , let consist of the smooth functions such that for every compact there are constants with

\sup_K|\partial^\alpha f| \le A(BL_{|\alpha|})^{|\alpha|} \quad\hbox{for every multi-index }\alpha. \tag{3}

The expression of degree zero is one. Constants in (3) may depend on the compact set, but not on the derivative order.

Lemma 1. For fixed nonnegative integers , there are constants , depending only on , such that

L_{k+a}^{k+b}\le CD^kL_k^k\qquad(k\ge0). \tag{4}

Proof. Iterating (2) gives and . Hence

L_{k+a}^{k+b} \le Q^{a(k+b)}L_k^{k+b} \le Q^{ab}(Q^{a+b})^kL_k^k.

This includes . Thus one may take , .

In particular, any fixed number of extra derivatives, frequency powers or integration dimensions can be absorbed into the constants in (3). The fixedness of that number matters.

Proposition 2. The space is an algebra and is closed under every fixed partial derivative. If for all , then .

Proof. On a common compact set choose constants that work for both functions. For , Leibniz' rule and monotonicity give

\begin{aligned} |\partial^\alpha(fg)| &\le A^2\sum_{\beta\le\alpha}\binom\alpha\beta (BL_{|\beta|})^{|\beta|} (BL_{k-|\beta|})^{k-|\beta|}\\ &\le A^2(2BL_k)^k. \end{aligned} \tag{5}

Here , obtained by multiplying the ordinary binomial identities in the coordinates. Sums and scalar multiples satisfy (3) by the triangle inequality. A derivative of fixed order has bound ; apply Lemma 1 with . Finally replace by in (3).

For , , condition (2) holds with . These are the Gevrey classes of order . The case is exactly real analyticity, as the next argument checks.

Proposition 3. A smooth function is real analytic if and only if it satisfies (3) for . For general , the estimate using is equivalent to an estimate .

Proof. For , the exponential series gives

k!\le(k+1)^k\le e^{k+1}k!\le e^{2k}k!. \tag{6}

The middle inequality follows because is at least its -th term . Raising (6) to proves the assertion about Gevrey bounds.

Suppose first that the derivative bound is on a closed ball inside . Apply the integral Taylor theorem at an interior point , along the segment from to . Its remainder after degree is bounded by

A B^k k!\sum_{|\alpha|=k}\frac{|h^\alpha|}{\alpha!} =A(B|h|_1)^k, \qquad |h|_1=\sum_j|h_j|. \tag{7}

The equality is the multinomial formula. For the remainder tends to zero, and the same bound on the homogeneous Taylor terms proves absolute convergence. Thus the Taylor series represents the function near every point.

Conversely, suppose a power series represents the function near and converges absolutely on a polydisc of radius larger than . Put . Then . On , termwise differentiation gives, for ,

\begin{aligned} |\partial^\beta f(x)| &\le SR^{-k}\prod_{j=1}^n \sum_{m\ge0}\frac{(m+\beta_j)!}{m!}\,2^{-m}\\ &=SR^{-k}\beta!\,2^{k+n} \le S2^n(2/R)^k k!. \end{aligned} \tag{8}

The one-variable sum is at : differentiate the geometric series times on a smaller closed interval in , where all differentiated series converge by the ratio test. These same bounds justify uniform convergence of the differentiated multivariable series and its termwise differentiation. A finite cover of any compact set by such smaller neighborhoods gives one pair of constants for that compact set. Equations (6)–(8) prove the result.

Cutoffs with a growing differentiation budget

Theorem 4. Given a compact set , there are a compact , an open neighborhood of , and functions , , such that

\begin{gathered} 0\le\chi_N\le1,\qquad \chi_N=1\text{ on }V, \qquad \operatorname{supp}\chi_N\subset K_1,\\ \|\partial^{\alpha+\beta}\chi_N\|_\infty \le C_\alpha(BN)^{|\beta|} \quad(|\beta|\le N). \end{gathered} \tag{9}

Here is independent of ; may depend on , but not on .

Proof. The empty compact set permits , so assume . Using finitely many of the scalar foundation's ball cutoffs, choose a smooth compactly supported , with , equal to one on a neighborhood of . Explicitly, if are cutoffs equal to one on balls covering , take . Its support lies in the finite union of their outer closed balls, all inside .

Choose so small that the closed -neighborhood of lies where , and the closed -neighborhood of is compactly inside . Existence follows from compactness and positive distance to the relevant closed complements. Let be a smooth function supported in the unit ball with integral one. A nonzero nonnegative ball cutoff divided by its positive integral supplies it after rescaling. Set

\rho_t(x)=t^{-n}\rho(x/t),\qquad \chi_N=h*\underbrace{\rho_{\delta/N}*\cdots* \rho_{\delta/N}}_{N\text{ factors}}. \tag{10}

All convolutions here are ordinary compact integrals. Fubini proves associativity. Positivity and integral one preserve the interval . Every total displacement in (10) has length at most . Consequently on the open -neighborhood of , and its support lies in the compact closed -neighborhood of . These are fixed choices of .

Differentiation under the integral and integration by parts permit placing a derivative on any selected smooth factor. Write the coordinate differentiations in any order, and put each on a different one of the mollifier factors. Put all derivatives on . No multinomial expansion is involved in this identity. For integrable , direct integration gives . Also

\|\rho_{\delta/N}\|_1=1, \qquad \|\partial_j\rho_{\delta/N}\|_1 =(N/\delta)\|\partial_j\rho\|_1. \tag{11}

Apply the convolution bound successively. Equation (9) follows with and . The differentiated integrals are smooth by compact domination. This also justifies every redistribution of derivatives used above.

Taking shows that the sequence is bounded in every smooth seminorm on its common support. Taking controls the first derivatives by , up to a fixed factor. Both conclusions hold for the same sequence. Since , (9) also holds with in place of .

Bounded compact distributions and their transforms

Write for the continuous dual of . These are compactly supported distributions, acting on smooth functions by inserting a cutoff equal to one near their support. Convolution as addition of supports, B0, proves independence of the cutoff and the finite smooth-seminorm bound for this extension. Conversely, continuity on , followed by rescaling a finite seminorm neighborhood, bounds a functional by finitely many derivatives on one compact set. It restricts to a distribution and vanishes on tests outside that compact. This proves the asserted identification.

Lemma 5. A sequence is bounded in the strong dual if and only if there are a compact , an integer and such that

|v_N(\phi)|\le A\max_{|\alpha|\le m}\sup_{K_1} |\partial^\alpha\phi| \quad(\phi\in C^\infty(X),\ N\ge1). \tag{12}

In particular all supports lie in , and the zero extensions to satisfy

|\widehat v_N(\xi)|\le A'(1+|\xi|)^m \quad(\xi\in\mathbb R^n,\ N\ge1). \tag{13}

Proof. Strong boundedness implies boundedness on each single smooth function. The closed subsets

F_j=\{\phi\in C^\infty(X):\sup_N|v_N(\phi)|\le j\}

therefore cover . By the supplied completeness and Baire proofs, some has interior. There are a point , an increasing defining seminorm from the compact exhaustion, and such that implies . Subtraction yields on that neighborhood. For , scale by ; the resulting estimate is . If , apply the neighborhood bound to every scalar multiple and conclude . This is (12), for the compact and derivative order defining .

Conversely, the strong dual seminorm associated with a bounded family is . Its value on every is bounded by (12), since the indicated smooth seminorm is bounded on . This proves strong boundedness. Tests supported outside have zero seminorm in (12), proving the support assertion.

For a compact distribution, its Fourier transform is the smooth function . To verify agreement with the distributional transform, insert a fixed compact cutoff in the pairing, express the Fourier transform of a Schwartz test by its integral, and move the functional through that integral. Its finite-order estimate permits this because derivatives through order introduce only , integrable against a Schwartz test. Differentiation in is justified in the same finite smooth seminorms. Applying (12) to the exponential gives (13). The zero extension is tempered by the same compact estimate and the Schwartz seminorms.

This lemma makes the word “bounded” substantive: both the compact support and the polynomial-growth exponent in (13) are uniform in .

A Fourier test for local derivative growth

Theorem 6. Let and . The following are equivalent.

On some neighborhood of , the distribution is represented by a function in .
There are a neighborhood of , a bounded sequence , and constants , independent of , such that on and

|\widehat v_N(\xi)| \le A\left(\frac{BL_N}{|\xi|}\right)^N \quad(N\ge1,\ \xi\ne0). \tag{14}

The estimate is in all real frequency directions. It makes no assertion at ; (13) supplies the low-frequency control.

Proof of necessity. Choose nested compact neighborhoods of inside a region where . Apply Theorem 4 so that the common cutoff support is still in that region, and set , extended by zero. These functions have uniformly bounded absolute values and one compact support, so they satisfy (12) with .

For , Leibniz' rule, , and for give

\|\partial^\alpha(\chi_N f)\|_\infty \le C(DL_N)^N, \tag{15}

with constants independent of . Indeed a term with derivatives on the cutoff has bound ; summing its binomial coefficients gives . Integrating (15) over a fixed box containing the support bounds its norm by another fixed multiple. For any , choose a coordinate with . Integration by parts times in that coordinate gives

|\xi_j|^N|\widehat v_N(\xi)| \le\|\partial_j^Nv_N\|_1.

The factor is absorbed into , proving (14).

Proof of sufficiency. Lemma 5 gives (13) with fixed . For a derivative order , choose

N=k+n+1,\qquad R=L_N\ge1. \tag{16}

On , estimate (13) and containment in a cube of side give

\int_{|\xi|\le R}|\xi|^k|\widehat v_N(\xi)|\,d\xi \le C R^{k+m+n}. \tag{17}

The constant is independent of : . On the annulus , , use (14). Since , the integrand is at most . The annulus is contained in a cube of volume . Summing the geometric series therefore gives

\int_{|\xi|>R}|\xi|^k|\widehat v_N(\xi)|\,d\xi \le C B^N L_N^{k+n}. \tag{18}

For this , the inverse transform and all its derivatives through order converge absolutely. Dominated difference quotients prove that it is . Fourier inversion on tempered distributions, proved in F4–F5 of the supplied Fourier foundation, identifies it with . More explicitly, Fubini pairs the absolutely convergent inverse integral with any Schwartz test to obtain the inverse distributional transform, and the two inverse identities then give .

All these representatives agree as distributions with on the same . Their continuous representatives agree pointwise there: a nonzero continuous difference would, after multiplication by a constant complex phase, have positive real part on a ball; pairing with a nonnegative nonzero bump in that ball contradicts equality of distributions. For arbitrarily large this gives one smooth function representing on . Equations (17)–(18), including the inverse factor , yield

\sup_V|\partial^\alpha u| \le C D^{k+n+1} L_{k+n+1}^{k+m+n}, \qquad |\alpha|=k, \tag{19}

after increasing . Apply Lemma 1 with , , and absorb the fixed factor . The result is , which is (3), even uniformly on .

The proof keeps the extra derivatives and the distributional order until the final shift estimate. No bound on the higher derivatives of one fixed cutoff can replace this argument at the analytic endpoint.

Worked example and exercises

For on the real line, write

f(x)=\frac1{2i}\left(\frac1{x-i}-\frac1{x+i}\right). \tag{20}

Direct repeated differentiation, and for real , give . Thus belongs to the analytic class on every real open set. For any compact interval inside that set, Theorem 4 produces , and satisfies (14) with . Each has compact support, although does not. The analytic information is in the uniform sequence estimate, rather than in analyticity of the individual compactly supported functions.

Exercise 1 — fixed-order control. Explain why , , alone does not prove that is bounded in . Identify the additional estimate in Theorem 4 that does prove this.

Solution. For fixed positive , the displayed upper bound grows with . It therefore supplies no uniform bound for that derivative. In (9), instead take and the second multi-index equal to zero. This gives for every . Together with the common compact support, these are precisely the bounded-test-family conditions proved in the earlier distribution lesson.

Exercise 2 — why a fixed analytic cutoff cannot work. Prove that a real analytic function on a connected open set which vanishes on a nonempty open subset vanishes everywhere. Deduce that no nonzero real analytic function on has compact support.

Solution. Let be the set of points having a neighborhood on which the function vanishes. It is nonempty and open. If lies in its relative closure, take points of tending to . Every derivative is zero at those points, so continuity makes every derivative zero at . The convergent Taylor expansion near is therefore zero, and . Thus is also relatively closed. Connectedness forces to be the entire open set. A compactly supported function on vanishes on the nonempty exterior of a large ball; apply the result. Connectedness of follows from its line segments and the intermediate value theorem.

Exercise 3 — linear changes of variables. Let be any linear map, , and let . Show that implies , without assuming that is injective or surjective.

Solution. A compact has compact image in . Let be its constants in (3), and set . For each coordinate derivative in , the chain rule applies the constant-coefficient operator . A product of such operators has sum of absolute coefficient products at most . Every resulting derivative of has order ; hence the bound is . Replace by to include and degree zero. This proves the asserted compact estimates.

Exercise 4 — compare two regularity demands. For , prove the inclusion of Gevrey order in Gevrey order , and explain how a sequence witnessing Theorem 6 for the first class also witnesses it for the second.

Solution. The weights satisfy . Proposition 2 proves the function-space inclusion. In (14), replacing by the larger increases the right side. The same distributions, neighborhood, compact support, order, and constants still work. No change to the low-frequency estimate is needed.

References

Schwartz functions and Fourier inversion, F1–F5; Order, positivity and distributional limits, Section 1; and When a kernel is smooth. These programme readings supply the explicitly used distributional, Fourier and Taylor proofs.
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. Sections 1.4 and 8.4 treat controlled cutoffs and derivative-growth regularity. The definitions and local Fourier criterion above credit this mathematical source; their proofs and teaching organization are supplied here.