From scalar time estimates to an operator bound

A scalar estimate at each phase point does not immediately give an estimate for the corresponding operator. A spatial cutoff and a frequency cutoff interact with the coefficient, and quantization spreads their supports. This lesson controls those interactions and proves the full operator estimate for a nonnegative principal symbol of finite time type.

The analytic starting point is A derivative scale for signed one-dimensional equations, Corollary 6.1. The exact calculus prerequisites are the ellipsoid cover and partition in Localizing symbols when the measuring scale moves, the full product and integral remainder in Two measuring scales, one Weyl product, the coefficient product, Schwartz action and Hilbert operator bound in When a moving symbol scale controls an operator, and the scalar Schwartz action and operator composition in From Weyl symbols to operators and changes of coordinates. Ordinary order-one Sobolev mapping and the fixed change between left and Weyl quantization come from Symbols, operators and Sobolev scales. We use these statements with their declared finite-dimensional, Fourier, integration and completeness foundations. The new metric, weight, smaller coefficient error and final absorption are proved here.

Basic primary references are Hörmander [HW, H], Lerner [L] and Evans–Zworski [EZ]. We use \(D=-i\partial\), with Fourier inversion coefficient \((2\pi)^{-d}\).

1. The full estimate

Write \((t,x)\in\mathbb R\times\mathbb R^d\), with transverse frequency \(\xi\), and put

For real \(s\), let \(\|u\|_s=\|J^s u\|_{L^2_{t,x}}\); all unspecified norms are full \(L^2_{t,x}\) norms.

Let \(k\geq0\). Suppose \(q_0(t,x,\xi)\) is real, nonnegative, smooth for \(\xi\ne0\), and positively homogeneous of degree one in \(\xi\). Assume the uniform ordinary symbol bounds

and the uniform finite time type condition

Let \(\mathcal Q(t)\) be any transverse order-one pseudodifferential operator whose principal symbol is \(q_0\), with an arbitrary complex order-zero remainder, uniformly in \(t\). Thus its full left symbol differs, modulo order zero, from a smooth low-frequency cutoff of \(q_0\).

Theorem 1.1. Put \(a=1/(k+1)\). Then

In particular, the transverse gain is \(1/(k+1)\). The constant uses \(c\), \(k\), and finitely many uniform symbol seminorms. It does not require that \(q_0\) have a positive lower bound. Vanishing coefficients, moving zero sets and arbitrary spatial dependence are included.

We give the proof for \(d\geq1\). When \(d=0\), the transverse Sobolev factor is the identity and an order-zero transverse operator is uniformly bounded, so (1.4) follows directly from its \(\|u\|\) term.

Choose a smooth nonnegative cutoff of \(|\xi|\), zero near zero and one for \(|\xi|\geq2\), and denote the resulting smooth symbol by \(q\). It is nonnegative everywhere and belongs to the ordinary order-one class. Set

The fixed left-to-Weyl change has an order-zero error by the ordinary calculus. The original lower symbol and the low-frequency change have the same bounded order. This proves (1.5), even when \(B_0\) is complex. It is enough to prove (1.4) with \(Q\), since \((D_t+iQ)u=(D_t+i\mathcal Q)u-iB_0u\).

2. Positivity supplies the measuring scale

Choose once and for all

and use the transverse phase-space metric and weight

The metric is independent of \(t\). It measures spatial derivatives at cost \(r^{1/2-\varepsilon}\) and frequency derivatives at cost \(r^{-1/2-\varepsilon}\). Its symplectic dual and Planck factor are

Lemma 2.1 (the positive gradient). Uniformly in \(t,x,\xi\),

Proof. For a spatial coordinate direction, the second derivative is bounded by \(Ar\). Taylor and nonnegativity give \(0\leq q+s q_x+\tfrac12Ars^2\) for both signs of \(s\). Choose \(s=-q_x/(Ar)\), obtaining \(q_x^2\leq2Arq\).

For a frequency direction, second derivatives are bounded by \(A/r\) on a ball of radius \(r/2\). The first derivative is uniformly bounded. Increase \(A\), independently of the point, so that \(s=-rq_\xi/A\) stays within that ball. The same Taylor argument gives \(q_\xi^2\leq2Aq/r\). Sum over the coordinate directions. Low frequencies have the same bounds because the smooth cutoff symbol and its derivatives are bounded there. ∎

Here and below \(S(w,g)\) means that every phase derivative, evaluated on \(g\)-unit directions, has size at most a constant times \(w\). Time is a uniform parameter in these symbol estimates.

Lemma 2.2 (all derivative orders). The weight \(m\) is admissible for \(g\), and

More precisely, every phase derivative of positive order has the smaller \(g\)-normalized size \(E\). Thus, with \(\delta=1/2-\varepsilon\) and \(\rho=1/2+\varepsilon\),

Proof of the derivative bounds. By (2.4), a first normalized derivative is at most \(Cr^\varepsilon\sqrt q\leq CE\). For an ordinary derivative with \(b\) spatial and \(c\) frequency differentiations, \(b+c\geq2\), its size is at most \(Cr^{1-c}\). The normalized bound \(Cr^{2\varepsilon}\) is equivalent to the coordinate bound

The difference of the ordinary and displayed exponents is

Thus every higher normalized derivative is at most \(Cr^{2\varepsilon}\leq CE\). Since \(E\leq m\), this proves (2.5). Keeping one specified coordinate differentiation outside the normalized directions proves (2.6), including every subsequent derivative.

Proof of admissibility. Small \(g\)-balls have comparable frequencies, because their frequency radii are \(Cr^{1/2+\varepsilon}=o(r)\) at large \(r\); a fixed sufficiently small radius also works at bounded \(r\). On such a ball Taylor and (2.4) give

This bounds \(m(Y)\) by \(Cm(X)\). Reverse the roles of \(X,Y\), using the frequency and metric comparison, to obtain the opposite bound. The metric is therefore slowly varying and the weight locally comparable.

We verify the global comparison as well. Use \(S=g_Y^\sigma(X-Y)\), with its base point \(Y\) retained. If \(|\xi_X-\xi_Y|\leq r_Y/2\), Taylor along the segment gives

The linear terms were absorbed by the positive-gradient bound and Young's inequality. Frequencies are comparable along that segment, even if the spatial displacement is large, because the ordinary spatial derivative bounds are global. It follows that \(m(X)\leq Cm(Y)(1+S)\).

If \(|\Delta\xi|>r_Y/2\), then \(S\geq c r_Y^{1+2\varepsilon}\) and

Since \(q(X)\leq Cr_X\), \(2\varepsilon<1\), and \(m(Y)\geq1\), this again bounds \(m(X)/m(Y)\) by a power of \(1+S\).

For the metric comparison, \(r_X/r_Y\leq1+|\Delta\xi|/r_Y\leq1+S^{1/2}\). If \(r_X\geq r_Y/2\), its reciprocal is bounded; otherwise \(|\Delta\xi|\geq r_Y/2\) and \(r_Y/r_X\leq r_Y\leq C(1+S)^{1/(1+2\varepsilon)}\). These two ratios control the coefficients of both \(g_X\) and \(g_X^\sigma\) relative to their counterparts at \(Y\). This proves symplectic temperateness and, on the displacement itself, bounds \(g_X^\sigma(X-Y)\) by \(C(1+S)^L\). Exchange \(X,Y\) in the weight estimate and use this distance conversion: the reverse ratio \(m(Y)/m(X)\) is also bounded by a power of \(1+S\). Thus either convention for the base of the weight comparison has the required bound. The same comparisons apply to powers of \(r,m\), including their reciprocals and \(E\). Their local smooth symbol bounds follow by the ordinary product and reciprocal rules. ∎

This verification identifies the precise hypotheses of the imported metric calculus. All constants are uniform in time. Only transverse derivatives enter \(g\); we will not differentiate a phase partition in time.

3. Quantized partitions and the smaller error

The ellipsoid cover gives centers \(Z_j=(x_j,\xi_j)\) and uniformly supported bumps. Normalize those bumps by the square root of their sum of squares. The reciprocal/product estimates give real smooth functions \(\chi_j\), with fixed overlap and all derivatives uniformly controlled by \(g\), such that

Each support lies in a fixed small \(g_{Z_j}\)-ball, and on it \(r/r_j\) is bounded above and below, where \(r_j=\langle\xi_j\rangle\). The partition depends only on the transverse metric, so it is independent of time.

Regard \(P=(\chi_j)\) as a symbol from \(\mathbb C\) to \(\ell^2\). Bounded overlap gives \(P\in S(1,g;\ell^2)\). The full Hilbert coefficient bound yields

All vector products below use the coefficient operator norm. They can also be checked first for finite coordinate projections; the bounds are independent of the number of coordinates. The full product theorem and coefficient bound then give their limits. Component operator identities on Schwartz functions use the declared Weyl action theorem. This justifies the infinite columns and quadratic forms without summing unsupported nonlocal images pointwise.

Recover a norm from the partition

The product theorem gives

Here \(P^*\) denotes the operator adjoint, and the principal symbol of \(X\) is (3.1). The symbol is real because \(X\) is selfadjoint. Weighted composition and the Hilbert bound imply

Indeed \(J^\varepsilon\psi^wJ^\varepsilon\) has a symbol in \(S(1,g)\). For every \(\eta>0\), Fourier splitting gives

This follows from the pointwise inequality \(r^{-2\varepsilon}\leq\eta+C_\eta r^{-2}\); here \(0<\varepsilon<1\). Use \(v=Qu\). Ordinary order-one mapping gives \(\|Qu\|_{-1}\leq C\|u\|\). Combining (3.3)–(3.5) and choosing \(\eta\) small proves

There is also a weighted reconstruction for every fixed \(s>0\):

To prove it, form the column and row

On each support \(r_j\asymp r\), so the underlying column \((r_j^s\chi_j)\) belongs to \(S(r^s,g;\ell^2)\), and the row \((r_j^{-s}\chi_j)\) belongs to \(S(r^{-s},g;\mathcal L(\ell^2,\mathbb C))\). The full product with \(J^{\mp s}\) puts \(B,C\) in \(S(1,g)\); both are bounded on the corresponding \(L^2\) spaces. On Schwartz functions, the exact composition gives

The last term maps the norm of order \(-2\varepsilon\) to \(L^2\), since \(\widetilde\psi^wJ^{2\varepsilon}\) is bounded. Applying (3.9) to \(J^su\) gives

Fourier splitting bounds the last norm by an arbitrarily small multiple of \(\|u\|_s\) plus a constant multiple of \(\|u\|\); if \(s-2\varepsilon\leq0\), it is already bounded by \(\|u\|\). Absorb it and square to obtain (3.7).

Freeze the coefficient, keeping its time dependence

Put \(q_j(t)=q(t,Z_j)\). The symbol column \((\chi_j(q-q_j))\) belongs to \(S(E,g;\ell^2)\). For its zeroth derivative, Taylor on the support ball uses (2.4) and (2.8), giving

All positive derivatives of the difference are derivatives of \(q\), bounded by \(E\); derivatives on \(\chi_j\) are bounded. Fixed overlap converts these bounds to the coefficient norm.

The composition error has the same, in fact smaller, size:

For completeness, this uses the integral remainder with one paired differentiation. Its summands differentiate \(P\) once in \(x\) and \(q\) once in \(\xi\), or the reverse. The two factor weights are respectively \(r^\delta\) and \(Er^{-\rho}\), or \(r^{-\rho}\) and \(Er^\delta\). Their diagonal product is \(Er^{\delta-\rho}=Eh\).

The integral remainder is the integral, for \(0\leq\theta\leq1\), of the corresponding quadratic phase multiplier applied to these differentiated factors. Apply the bounded-symbol restriction estimate used in the full Weyl remainder, with those directional weights. They are admissible by Lemma 2.2. At \(\theta>0\) the phase-dual distances increase by \(\theta^{-2}\); the temperateness and uncertainty constants therefore remain valid. At zero use ordinary evaluation. Subsequent derivatives differentiate the same factors, so (2.6) controls every required seminorm with the same weights. The uniform bound integrates over \([0,1]\). Bounded compact-symbol approximants justify the formula for noncompact symbols and its coefficient limits. This proves (3.12). Using only \(q\in S(m,g)\) would instead give \(hm\), which can be too large.

Consequently the operator column

has a symbol in \(S(E,g;\ell^2)\). Its positive quadratic form is the scalar operator

The last equality follows first for finite columns and then from the full coefficient product and norm limits. Since \(E^2=r^{2\varepsilon}m\), it retains the coefficient size needed for the final absorption.

4. Apply the full scalar estimate to every high-frequency cell

Let \(f=(D_t+iQ)u\). The partition is independent of time, so (3.13) gives the exact identities

For large \(r_j\), the uniform assumptions give \(\sum_{\ell=0}^k|\partial_t^\ell q_j|\geq c' r_j\) and \(|\partial_t^{k+1}q_j|\leq C r_j\). Also \(q_j\geq0\). The full scalar estimate therefore gives

To apply the compact-time result, multiply \(P_ju\) by a cutoff \(\gamma(t/L)\), equal to one on larger and larger compact intervals. The commutator is multiplication by \(-iL^{-1}\gamma'(t/L)\), whose \(L^2\) norm tends to zero. For each fixed \(j\), \(q_j\) is bounded by \(Cr_j\), so the function and potential norms converge by dominated convergence. Integrate the scalar inequality in \(x\), or regard \(x\) as the passive function variable in the same Hilbert norm proof. The resulting bound is (4.2), with a constant independent of \(j\).

The remaining centers have bounded \(r_j\). Their \(q_j(t)\) are uniformly bounded, and their columns are subcolumns of \(P\). Thus

No large-parameter estimate was used on these cells. Sum (4.2), use (3.2), (3.14), and add (4.3):

Since \(P_jQu=q_jP_ju+R_ju\), (3.6) bounds the full potential norm by the first sum and \((Tu,u)\). Use (3.7) for the second sum. We obtain

This is an operator estimate with one precise remaining quadratic form. A crude order bound on that form would lose the desired fractional gain.

5. Factor and absorb the entire error

The operator \(A=Q+J^{2\varepsilon}\) has the exact Weyl symbol \(m\). Its symbol reciprocal \(b_0=m^{-1}\) belongs to \(S(m^{-1},g)\). Define

Fix an integer \(N\) with \(2\varepsilon N\geq1+2\varepsilon\), and take the finite correction

Here the zeroth product is one. The full associative product gives, by a finite telescoping identity,

No infinite series or actual inverse of \(A\) is asserted. The finite construction has uniform seminorms in \(t\).

Define

Its product weight is \(r^{-2\varepsilon}(r^{2\varepsilon}m)m^{-1}=1\). Thus \(T_0\) is uniformly bounded on \(L^2_x\). The exact operator identities give

The remaining symbol weight is

Hence \(T_1\) is also uniformly bounded. All factors act on Schwartz functions by the selected operator action, so the finite identities hold before the form estimate. Uniform \(L^2_x\) bounds integrate in time; the smooth parameter symbols give measurable operator actions.

Move the selfadjoint multiplier \(J^{2\varepsilon}\) to the other factor in the \(L^2\) pairing. Cauchy–Schwarz and (5.5) yield

Insert this into (4.5). Young's inequality first absorbs a sufficiently small multiple of \(\|Qu\|^2\). It leaves

Because \(2\varepsilon<a\), Fourier splitting gives, for every \(\eta>0\),

Choose \(\eta\) to absorb its coefficient. Taking square roots proves \(\|Qu\|+\|u\|_a\leq C(\|f\|+\|u\|)\). Finally (1.5) transfers the result to every permitted full \(\mathcal Q\). This completes the proof of Theorem 1.1. ∎

The exact role of positivity is now visible. It gives the gradient estimate, which makes the freezing error of size \(r^\varepsilon\sqrt m\). That error can be factored through \(Q+J^{2\varepsilon}\), leaving a lower Sobolev norm that can be absorbed. The full potential term in the scalar estimate is essential to this factorization.

6. Exercises with complete solutions

Exercise 1 — size and derivative size, 10 points. Take \(k=3\) and \(\varepsilon=1/16\). Compute the spatial and frequency exponents, \(h\), \(m\) and \(E\). At points where \(q\asymp r\), compare the generic error \(hm\) with the freezing error \(E\). How many factors suffice in the finite correction of Section 5?

Solution. Here \(a=1/4\), so \(0<\varepsilon<a/2=1/8\). The derivative exponents are \(\delta=7/16\) and \(\rho=9/16\), with

Where \(q\asymp r\), \(hm\asymp r^{7/8}\), but \(E\asymp r^{9/16}\). The former is larger by \(r^{5/16}\). The composition remainder in (3.12) is even smaller, \(hE\), while coefficient freezing generally uses \(E\). Since \(2\varepsilon N\geq1+2\varepsilon\) means \(N/8\geq9/8\), \(N=9\) suffices. This is a finite sum of nine correction terms, with a ninth product in the residue.

Exercise 2 — moving zeros and two phase derivatives, 12 points. In one transverse dimension let \[ q(t,x,\xi)=\langle\xi\rangle(\sin^2t+\sin^2x). \] Verify the hypotheses with \(k=2\), including a uniform lower bound for the sum of time jets. Check the positive-gradient inequality directly. State the gain for the full Weyl operator plus an arbitrary bounded order-zero perturbation.

Solution. Its principal symbol is \(|\xi|(\sin^2t+\sin^2x)\). All symbol seminorms are uniform. The first three time jets, divided by \(\langle\xi\rangle\), are \(\sin^2t+\sin^2x,\sin2t,2\cos2t\). If the cosine has absolute value at least \(1/2\), the last term has size at least one. Otherwise \(|\sin2t|\geq\sqrt3/2\). Thus their absolute sum is at least \(\sqrt3/2\), independently of \(t,x\).

Write \(b=\sin^2t+\sin^2x\), so \(0\leq b\leq2\). Since \(|\partial_\xi\langle\xi\rangle|\leq1\), \[ r|q_\xi|^2\leq rb^2\leq2q,\qquad r^{-1}|q_x|^2=4r\sin^2x\cos^2x\leq4q. \] These retain the zeros at every simultaneous multiple of \(\pi\), without dividing by \(q\). Theorem 1.1 gives gain \(a=1/3\), uniformly with the lower perturbation's bounded seminorms. Nonnegativity of the principal function was used; positivity of its quantized operator was not assumed.

Exercise 3 — the unavoidable low-frequency norm, 10 points. Explain why adding \(B_0(t,x)=5e^{i\sin t}\sin x\) is permitted in one transverse dimension. Then take \(\mathcal Q=J-1\), with \(k=0\), and show that the \(\|u\|\) term cannot be removed from the general theorem.

Solution. The multiplication operator \(B_0\) has norm at most five and all derivatives are uniformly bounded. It is a complex order-zero symbol. It changes the equation norm by at most \(5\|u\|\) and leaves the principal symbol unchanged.

For the second assertion choose nonzero Schwartz functions \(f,v\), with \(\widehat v\) compactly supported, and set \[ u_L(t,x)=L^{-1}f(t/L)v(x/L). \] Its \(L^2_{t,x}\) norm is fixed. Its time derivative has norm \(O(L^{-1})\). On the Fourier support of \(v(x/L)\), \(\langle\xi\rangle-1\leq C|\xi|^2=O(L^{-2})\), so \(\|(J-1)u_L\|=O(L^{-2})\). Hence \(\|(D_t+i(J-1))u_L\|\to0\), while \(\|u_L\|_1\geq\|u_L\|>0\). The principal symbol \(|\xi|\) satisfies the \(k=0\) high-frequency hypotheses. The global error norm accounts for the low-frequency region that those hypotheses leave uncontrolled.

Exercise 4 — the strict choice of the auxiliary exponent, 8 points. Why does Section 5 choose \(2\varepsilon<a\), rather than \(2\varepsilon=a\)? Use a high-frequency family to test (5.9).

Solution. With equality, (5.9) would read \(\|u\|_a^2\leq\eta\|u\|_a^2+C_\eta\|u\|^2\). Take \(u_\lambda(t,x)=f(t)e^{i\lambda x_1}v(x)\), with fixed nonzero Schwartz functions and compact Fourier support for \(v\). Its ordinary norm is fixed, while \(\|u_\lambda\|_a^2\asymp\lambda^{2a}\). For any \(\eta<1\) the proposed inequality fails as \(\lambda\to\infty\). A strict lower exponent allows the frequency splitting and arbitrary small coefficient. This is a limitation of that absorption step, not a counterexample to the final gain.

Exercise 5 — keep the order in a finite parametrix, 10 points. In an associative algebra put \(e=b_0m-1\). Verify \[ \left(\sum_{\ell=0}^{N-1}(-e)^\ell\right)b_0m =1+(-1)^{N-1}e^N. \] Why must the correction multiply \(b_0\) on the displayed side? Check \(N=2\) with \[ m=\begin{pmatrix}1&1\\0&2\end{pmatrix}, \qquad b_0=\begin{pmatrix}1&0\\1&1\end{pmatrix}. \]

Solution. Substitute \(b_0m=1+e\) and multiply the finite geometric sum. Neighboring powers cancel, leaving the asserted final power. The cancellation uses only associativity and powers of the same \(e\). It does not commute \(b_0\) through \(e\).

Here \[ e=\begin{pmatrix}0&1\\1&2\end{pmatrix}, \qquad (1-e)b_0m= \begin{pmatrix}0&-2\\-2&-4\end{pmatrix} =1-e^2. \] Placing the correction on the other side gives instead \[ b_0(1-e)m= \begin{pmatrix}1&-1\\0&-4\end{pmatrix}. \] The same ordering issue applies to the Weyl product, even for scalar symbols, because operator composition is not commutative. These matrices test the algebraic identity; no matrix positivity theorem is being invoked.

Exercise 6 — sharp gain and a time-dependent partition, 14 points. Let \(\ell\geq1\), \[ b(t)=\frac{t^{2\ell}}{1+t^{2\ell}}, \qquad \mathcal Q=b(t)J. \] Verify a uniform finite type bound with \(k=2\ell\), and prove that the gain \(a=1/(2\ell+1)\) cannot be enlarged uniformly. Separately, show why a phase partition should be chosen independent of time by using the two scalar components \(\cos Lt,\sin Lt\).

Solution. All derivatives of \(b\) are bounded. Away from a compact interval, \(b\) is bounded below. On that compact interval, \(b\) is positive except at zero, where \(b^{(2\ell)}(0)=(2\ell)!\). Continuity and compactness therefore give \(\sum_{j=0}^{2\ell}|b^{(j)}|\geq c>0\) globally. The principal symbol \(b(t)|\xi|\) satisfies all hypotheses.

Choose nonzero \(f\in C_c^\infty(\mathbb R)\) and a Schwartz \(v\) with Fourier support in a fixed small ball. Let \[ u_\lambda(t,x)=\lambda^{a/2} f(\lambda^a t)e^{i\lambda x_1}v(x). \] Its norm is fixed, its time derivative has size \(O(\lambda^a)\), and on its time support \(b(t)\leq C\lambda^{-2\ell a}\). Also \(J(e^{i\lambda x_1}v)\) has norm \(O(\lambda)\). Thus the equation norm is \(O(\lambda^a)\). The norm of transverse order \(s\) is comparable to \(\lambda^s\). Any \(s>a\) would contradict an estimate with a constant independent of \(\lambda\).

For the second assertion the two components have sum of squares one and uniformly bounded phase derivatives at every time. Nevertheless \[ \sum_{j=1}^2\|[D_t,P_j(t)]u\|^2=L^2\|u\|^2, \] where \(P_1=\cos Lt\) and \(P_2=\sin Lt\) act by multiplication. The arbitrary \(L\) is not controlled by phase symbol seminorms. The fixed transverse metric in (2.2) permits a time-independent partition and makes this entire extra commutator vanish.

References

• [HW] Lars Hörmander, “The Weyl calculus of pseudo-differential operators,” Communications on Pure and Applied Mathematics 32 (1979). Original article. Phase-space metrics and symbolic composition.
• [L] Nicolas Lerner, Metrics on the Phase Space and Non-Selfadjoint Pseudodifferential Operators, Birkhäuser, 2010. Author's chapter on phase-space metrics. Admissible metrics, quantization, operator bounds and associated Sobolev scales. Its Fourier convention uses \(2\pi\), so constants must be adjusted to the convention stated here.
• [EZ] Lawrence C. Evans and Maciej Zworski, Lectures on Semiclassical Analysis, version 0.2. MIT-hosted notes. Quantization, finite symbolic expansions and high-frequency rescaling.
• [H] Lars Hörmander, The Analysis of Linear Partial Differential Operators IV: Fourier Integral Operators, Springer, 2009 reprint. Publisher's record. Finite-type time estimates and their passage to full pseudodifferential operators.

Written by GPT-6.1 Sol (OpenAI), at Ultra reasoning effort, September 2026. Self-checked by the writing AI. Public domain (CC0).