% Options for packages loaded elsewhere \PassOptionsToPackage{unicode}{hyperref} \PassOptionsToPackage{hyphens}{url} \documentclass[ 11pt, ]{article} \usepackage{xcolor} \usepackage[margin=22mm]{geometry} \usepackage{amsmath,amssymb} \setcounter{secnumdepth}{-\maxdimen} % remove section numbering \usepackage{iftex} \ifPDFTeX \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{textcomp} % provide euro and other symbols \else % if luatex or xetex \usepackage{unicode-math} % this also loads fontspec \defaultfontfeatures{Scale=MatchLowercase} \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1} \fi \usepackage{lmodern} \ifPDFTeX\else % xetex/luatex font selection \fi % Use upquote if available, for straight quotes in verbatim environments \IfFileExists{upquote.sty}{\usepackage{upquote}}{} \IfFileExists{microtype.sty}{% use microtype if available \usepackage[]{microtype} \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts }{} \makeatletter \@ifundefined{KOMAClassName}{% if non-KOMA class \IfFileExists{parskip.sty}{% \usepackage{parskip} }{% else \setlength{\parindent}{0pt} \setlength{\parskip}{6pt plus 2pt minus 1pt}} }{% if KOMA class \KOMAoptions{parskip=half}} \makeatother \usepackage{graphicx} \makeatletter \newsavebox\pandoc@box \newcommand*\pandocbounded[1]{% scales image to fit in text height/width \sbox\pandoc@box{#1}% \Gscale@div\@tempa{\textheight}{\dimexpr\ht\pandoc@box+\dp\pandoc@box\relax}% \Gscale@div\@tempb{\linewidth}{\wd\pandoc@box}% \ifdim\@tempb\p@<\@tempa\p@\let\@tempa\@tempb\fi% select the smaller of both \ifdim\@tempa\p@<\p@\scalebox{\@tempa}{\usebox\pandoc@box}% \else\usebox{\pandoc@box}% \fi% } % Set default figure placement to htbp \def\fps@figure{htbp} \makeatother \setlength{\emergencystretch}{3em} % prevent overfull lines \providecommand{\tightlist}{% \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}} \usepackage{bookmark} \IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available \urlstyle{same} \hypersetup{ hidelinks, pdfcreator={LaTeX via pandoc}} \author{} \date{} \begin{document} \section{Reducing arbitrary boundary data to a boundary system}\label{reducing-arbitrary-boundary-data-to-a-boundary-system} An elliptic interior equation may be paired with boundary measurements that are not elliptic. A reference elliptic boundary problem still gives a precise reduction: the unknown reference data satisfy a pseudodifferential system on the boundary, and regularity or solvability modulo smooth errors for the full problem is equivalent to the corresponding property of that boundary system. This lesson proves the reduction without assuming that the comparison measurements form an elliptic problem. The reference orders \(m_j\) and comparison orders \(\mu_k\) remain separate, the full Cauchy trace keeps all \(m\) components, and every smoothing term in the two-sided parametrix is retained. Exact equations are distinguished from equations modulo smooth sections. Start with a measurement that misses a direction. On a cylinder whose cross-section is a two-dimensional torus, prescribe the values on both ends as the reference boundary condition. Instead measure only the derivative in the first torus coordinate. A harmonic mode depending on the second coordinate can have nonzero boundary values and zero measurement. The full compact-cylinder calculation below proves exactly what this loses: higher regularity, smooth-error solvability and closed range. The general reduction then identifies the boundary operator that controls these questions for an arbitrary elliptic reference problem. The progression is: compute the model; retain the full reference inverse and its errors; derive the comparison system; prove both equivalences; then locate the exact connections to the wider boundary calculus and cotangent-space symbol class. The original general statements and their proofs keep their full order lists and hypotheses. The named prerequisites are \href{general-boundary-fredholm.pdf}{Solving an elliptic system from compatible boundary measurements}, \href{generalized-collar-fredholm.pdf}{Fredholm boundary problems with first-order Calderón defects}, \href{calderon-cauchy-data.pdf}{Cauchy data from jumps and residues}, and \href{geometric-microlocal-calculus.pdf}{The calculus of pseudodifferential operators on a manifold}. We use \(D=-i\partial\) and restriction Sobolev spaces on a compact smooth manifold with boundary. \subsection{A compact cylinder with a missing measurement direction}\label{a-compact-cylinder-with-a-missing-measurement-direction} Take the original coordinates and densities \[ X=\mathbb T^2_y\times[0,1]_t,\qquad y_1,y_2\in\mathbb R/(2\pi\mathbb Z),\qquad d y_1\,d y_2\,dt, \qquad P=D_t^2+D_{y_1}^2+D_{y_2}^2, \qquad D=-i\partial. \tag{CM1} \] Both bundles are the trivial complex line. Use the full value trace \(Bu=(u|_{t=0},u|_{t=1})\) as the reference datum, and the comparison \(Cu=(D_{y_1}u|_{t=0},D_{y_1}u|_{t=1})\). Thus the reference orders are \(m_0=m_1=0\), the comparison orders are \(\mu_0=\mu_1=1\), and the interior order is \(m=2\). The two inward normal coordinates are \(t\) at the lower end and \(1-t\) at the upper end. For each end \(b=0,1\), keep the Fourier convention \[ g_b(y)=\sum_{n\in\mathbb Z^2}g_{b,n}e^{i n\cdot y},\qquad g_{b,n}=(2\pi)^{-2}\int_{\mathbb T^2}g_b(y)e^{-i n\cdot y}\,dy, \qquad \|g_b\|_{H^r(\mathbb T^2)}^2 =(2\pi)^2\sum_n\langle n\rangle^{2r}|g_{b,n}|^2. \tag{CM2} \] \textbf{Periodic Fourier and trace foundations.} The Euclidean transform in \href{prerequisite-bridges.pdf}{Fourier transforms, finite spectra and convex separation} does not by itself establish the periodic series being used here. We supply that step with the original torus density. Direct integration gives \[ \int_{\mathbb T^2}e^{i(n-k)\cdot y}\,dy=(2\pi)^2\delta_{nk}. \tag{CF1} \] For \(-\pi\leq z\leq\pi\), set \[ F_N(z)=\frac1{N+1}\left|\sum_{k=0}^Ne^{ikz}\right|^2 =\sum_{|k|\leq N}\left(1-\frac{|k|}{N+1}\right)e^{ikz}, \qquad k_N(z_1,z_2)=(2\pi)^{-2}F_N(z_1)F_N(z_2). \tag{CF2} \] This is nonnegative and has integral one. On \(\delta\leq|z|\leq\pi\), the geometric sum gives \(F_N(z)\leq((N+1)\sin^2(\delta/2))^{-1}\). Translations are continuous in periodic \(L^2\): for rectangle indicators the symmetric-difference area tends to zero, then finite rectangle step functions and their \(L^2\) density prove the statement for every input. The original measure and step-function density are proved in \href{banach-foundation-bridges.pdf}{Banach estimates, quotient spaces and compact parameter arguments}. Translation preserves the full torus integral. Cauchy--Schwarz against the probability density \(k_N\) now gives \[ \|k_N*g-g\|_2^2 \leq\int_{\mathbb T^2}k_N(z)\|g(\,\cdot-z)-g\|_2^2\,dz \leq\varepsilon^2+ \frac{8\|g\|_2^2}{(N+1)\sin^2(\delta/2)} \tag{CF3} \] once translations with both \(|z_j|<\delta\) have difference norm at most \(\varepsilon\). The last constant retains the two coordinate tails and the bound \(4\|g\|_2^2\) on each translated difference. Thus finite trigonometric polynomials are dense. Orthogonality (CF1) then proves Parseval with factor \((2\pi)^2\), and rectangular Fourier partial sums converge in \(L^2\). For every real \(r\), define the torus Sobolev norm by (CM2); weighted finite sums are dense in its completion. Here is its exact connection to the coordinate Sobolev spaces. A smooth cutoff \(\chi\) supported in one lifted torus chart satisfies \(\widehat{\chi g}(\eta)=\sum_n g_n\widehat\chi(\eta-n)\). The weight inequality is \(\langle\eta\rangle^r\langle n\rangle^{-r} \leq2^{|r|/2}\langle\eta-n\rangle^{|r|}\). Put \(a_\chi(v)=2^{|r|/2}\langle v\rangle^{|r|}|\widehat\chi(v)|\), \(A_\chi=\sup_\eta\sum_n a_\chi(\eta-n)\) and \(B_\chi=\int_{\mathbb R^2}a_\chi(v)\,dv\). Both are finite by the Schwartz estimates: subdivide the integral into unit squares, and bound the lattice tails by a convergent power sum. Cauchy--Schwarz first against each kernel row, then summing or integrating the columns, gives \[ \|\chi g\|_{H^r(\mathbb R^2)}^2 \leq(2\pi)^{-4}A_\chi B_\chi\|g\|_{H^r(\mathbb T^2)}^2. \tag{CF4} \] For the converse choose a finite chart partition \(\sum_{j=1}^J\chi_j=1\), and a compact smooth \(\sigma_j\) equal to one on the support of each lifted \(u_j=\chi_jg\). Its Fourier values satisfy \[ \begin{aligned} \widehat u_j(n)&=(2\pi)^{-2} \int\widehat\sigma_j(n-\eta)\widehat u_j(\eta)\,d\eta,\\ g_n&=(2\pi)^{-2}\sum_j\widehat u_j(n),\\ \|g\|_{H^r(\mathbb T^2)}^2 &\leq J(2\pi)^{-4}\sum_j A_{\sigma_j}B_{\sigma_j} \|u_j\|_{H^r(\mathbb R^2)}^2. \end{aligned} \tag{CF5} \] The same row/column estimate proves the last inequality, retaining both convolution and coefficient factors. These identities first hold for smooth inputs and extend by completion; compactly supported distributions also satisfy the convolution identity. They prove the asserted Sobolev identification, including negative \(r\). For the cylinder take the restriction of the product space on \(\mathbb T^2\times\mathbb R\), with its full norm \[ \|U\|_{H^s}^2=(2\pi)^2(2\pi)^{-1} \sum_n\int_{\mathbb R}(1+|n|^2+\tau^2)^s |\widehat U_n(\tau)|^2\,d\tau, \qquad \widehat U_n(\tau)=\int U_n(t)e^{-it\tau}\,dt. \tag{CF6} \] The preceding chart argument applies with the same weight inequality uniformly in \(\tau\), so this is the coordinate Sobolev space too. For \(s>j+1/2\), the \(j\)-th normal trace at \(b=0,1\) is \((2\pi)^{-1}\int e^{ib\tau}(\epsilon_b\tau)^j \widehat U_n(\tau)\,d\tau\), where \(\epsilon_0=1\) and \(\epsilon_1=-1\). Cauchy--Schwarz and \(\tau=\langle n\rangle v\) prove \[ \|\gamma_j^{(b)}U\|_{H^{s-j-1/2}(\mathbb T^2)}^2 \leq\frac{J_{s,j}}{2\pi}\|U\|_{H^s}^2,\qquad J_{s,j}=\int_{\mathbb R}v^{2j}(1+v^2)^{-s}\,dv<\infty. \tag{CF7} \] For each coefficient the integral is continuous in \(b\), with the same integrable majorant. An extension vanishing inside the cylinder therefore has zero inward traces. Taking the infimum over extensions proves (CF7) for the restriction space. At integer order two the product Fourier norm is exactly the sum of the squared zeroth derivative norm, twice every first derivative norm, every pure second derivative norm and twice every mixed second derivative norm. The bounded original reflection extension proved in \href{mixed-sobolev-mapping.pdf}{Mixed symbols on every real two-parameter Sobolev scale} acts only in \(t\), so applies coefficientwise here with all these weights. Equivalently, its order-two endpoint formula is \(3u(-t)-2u(-2t)\) at the lower end and \(3u(2-t)-2u(3-2t)\) at the upper end, with its retained smooth cutoff. Values and first derivatives match because \(3-2=1\) and \(-3+4=1\); the full derivative and cutoff estimates of that extension therefore control the restriction \(H^2\) norm by the ten derivative norms used below. This completes the periodic foundations of the model. Put \(a=|n|\). The homogeneous solution with both prescribed values is \[ \begin{aligned} (K_0g)_n(t) &=\frac{\sinh(a(1-t))}{\sinh a}g_{0,n} +\frac{\sinh(at)}{\sinh a}g_{1,n},&&a>0,\\ (K_0g)_0(t)&=(1-t)g_{0,0}+t g_{1,0}.&& \end{aligned} \tag{CM3} \] Direct differentiation gives \(-v_n''+a^2v_n=0\) and the exact two endpoint values. The zero mode is retained separately. The full inward first-normal-derivative vector, for \(a>0\), is \[ \begin{pmatrix}D_t(K_0g)_n(0)\\D_{1-t}(K_0g)_n(1)\end{pmatrix} =i a\begin{pmatrix}\coth a&-\operatorname{csch}a\\ -\operatorname{csch}a&\coth a\end{pmatrix} \binom{g_{0,n}}{g_{1,n}}, \qquad D_{1-t}=+i\partial_t. \tag{CM4} \] For \(a=0\) the same two derivatives are \((i(g_{0,0}-g_{1,0}),i(g_{1,0}-g_{0,0}))\). These formulas retain the normal signs, the off-diagonal interaction and the constant mode. Here is a direct completed-space justification. Every nonzero integer frequency \(n\in\mathbb Z^2\) in (CM3) has \(a=|n|\geq1\). Write \[ p_a(t)=\frac{e^{-at}-e^{-a(2-t)}}{1-e^{-2a}},\qquad p_a^{(j)}(t)= \frac{(-a)^j e^{-at}-a^j e^{-a(2-t)}}{1-e^{-2a}},\quad j=0,1,2. \tag{CM5} \] The denominator and reflected exponential are both kept. The inequality \(|v-w|^2\leq2|v|^2+2|w|^2\) and direct integration give \[ \begin{aligned} \int_0^1|p_a^{(j)}|^2dt &\leq\frac{2a^{2j}}{(1-e^{-2a})^2} \left(\frac{1-e^{-2a}}{2a} +\frac{e^{-2a}-e^{-4a}}{2a}\right)\\ &=a^{2j-1}\frac{1+e^{-2a}}{1-e^{-2a}} \leq (\coth1)a^{2j-1}. \end{aligned} \tag{CM6} \] There are exactly ten derivatives \(\partial_y^\alpha\partial_t^j\) with \(|\alpha|+j\leq2\). For each nonzero mode their squared bound has power at most \(a^3\). For the zero mode, \(1-t\) and \(t\) each have the sum of squared zeroth, first and second derivative norms \(1/3+1+0=4/3\). Apply the same two-term inequality to the two end contributions and use the full torus Plancherel factor. Then \[ \sum_{|\alpha|+j\leq2} \|\partial_y^\alpha\partial_t^jK_0g\|_{L^2(X)}^2 \leq20(\coth1)(2\pi)^2\sum_n\langle n\rangle^3 (|g_{0,n}|^2+|g_{1,n}|^2). \tag{CM7} \] Consequently Fourier partial sums converge in \(H^2(X)\) for every \(g\in H^{3/2}(\mathbb T^2)\oplus H^{3/2}(\mathbb T^2)\). Continuity of the value and normal trace maps in (CF7) passes (CM3)--(CM4) to their proper Sobolev spaces. Also \(PK_0g=0\), since \(P:H^2\to L^2\) is continuous. A homogeneous \(H^2\) solution with zero value traces is zero: its Fourier coefficients satisfy the same one-dimensional equation, and integration by parts yields \(\int_0^1(|v_n'|^2+a^2|v_n|^2)dt=0\). At \(a=0\) the resulting constant must also have zero endpoint values. This proves uniqueness. The forcing lift has an equally explicit full kernel. If \(t_< =\min(t,r)\) and \(t_>=\max(t,r)\), put \[ \begin{aligned} G_a(t,r)&=\frac{\sinh(a t_<)\sinh(a(1-t_>))}{a\sinh a},&&a>0,\\ G_0(t,r)&=t_<(1-t_>),\\ (V_0f)_n(t)&=\int_0^1G_{|n|}(t,r)f_n(r)\,dr. \end{aligned} \tag{CM8} \] At \(t=r\), the jump of \(\partial_tG_a\) is minus one: the numerator of that jump is \(-\sinh(ar)\cosh(a(1-r))-\cosh(ar)\sinh(a(1-r))=-\sinh a\). The zero-mode jump is also minus one. Thus \((-\partial_t^2+a^2)G_a=\delta_r\), with both Dirichlet values zero. For \(a\geq1\), the energy identity and Cauchy--Schwarz give \[ \|v_n\|_2\leq a^{-2}\|f_n\|_2,\qquad \|v_n'\|_2\leq a^{-1}\|f_n\|_2,\qquad \|v_n''\|_2\leq2\|f_n\|_2. \tag{CM9} \] For example the first bound follows from \(a^2\|v_n\|_2^2\leq |(f_n,v_n)|\); inserting it into \(\|v_n'\|_2^2+a^2\|v_n\|_2^2=(f_n,v_n)\) proves the second. The equation \(v_n''=a^2v_n-f_n\) proves the third. For the zero mode, \(\int G_0(t,r)dr=t(1-t)/2\leq1/8\) and the analogous bound in the other variable give the kernel operator norm at most \(1/8\) by Cauchy--Schwarz with the nonnegative kernel. The energy identity then gives \(\|v_0'\|_2\leq\|f_0\|_2/\sqrt8\), and \(v_0''=-f_0\). Each of the ten derivatives used in (CM7) has norm at most \(2\|f_n\|_2\) in a nonzero mode; the three nonvanishing zero-mode derivatives obey the stated smaller bounds. Hence \[ \sum_{|\alpha|+j\leq2} \|\partial_y^\alpha\partial_t^j V_0f\|_2^2 \leq40(2\pi)^2\sum_n\|f_n\|_{L^2(0,1)}^2 =40\|f\|_{L^2(X)}^2. \tag{CM10} \] Smooth Fourier truncation and density pass the kernel equation and zero traces to all \(L^2\) inputs. Thus \(u=V_0f+K_0g\) is the exact reference inverse at \(H^2\), with no remainder for this chosen inverse. The general reference parametrix below keeps its actual smoothing errors. Since \(C\) differentiates only the value traces, this exact reference inverse has reduced boundary operator \[ M_0g=(D_{y_1}g_0,D_{y_1}g_1),\qquad (M_0g)_{b,n}=n_1g_{b,n}. \tag{CM11} \] For one end and any real \(r\), its map is \(D_{y_1}:H^r\to H^{r-1}\). Its exact range and closure are \[ \begin{aligned} \operatorname{ran}D_{y_1} &=\left\{h\in H^{r-1}:h_{(0,n_2)}=0\ \text{for all }n_2, \ \sum_{n_1\ne0}\langle n\rangle^{2r} |h_n/n_1|^2<\infty\right\},\\ \overline{\operatorname{ran}D_{y_1}} &=\{h\in H^{r-1}:h_{(0,n_2)}=0\ \text{for all }n_2\}. \end{aligned} \tag{CM12} \] Necessity follows by taking Fourier coefficients. For sufficiency set \(g_n=h_n/n_1\) when \(n_1\ne0\), and zero otherwise. The displayed sum puts \(g\) in \(H^r\) and gives the required image. For the closure, each coefficient is a continuous functional on \(H^{r-1}\), whereas finite Fourier sums with \(n_1\ne0\) belong to the range and are dense in the displayed subspace. The kernel contains every mode with \(n_1=0\), and the target modulo the closure contains every such mode as an independent class. The range is not closed. Indeed the vectors \[ v_N(y)=\frac{e^{i(y_1+Ny_2)}}{2\pi\langle(1,N)\rangle^r},\qquad \|v_N\|_{H^r}=1,\qquad \|D_{y_1}v_N\|_{H^{r-1}}=\langle(1,N)\rangle^{-1}\longrightarrow0 \tag{CM13} \] lie in the orthogonal complement of the kernel. A closed range would make the restriction from that complement a bounded bijection onto the range. The Banach inverse theorem, proved in \href{banach-foundation-bridges.pdf}{Banach estimates, quotient spaces and compact parameter arguments}, would bound these unit vectors by a fixed multiple of their image norms, contradicting (CM13). The same conclusions hold for the two-end direct sum. They also apply to the full comparison problem at its base spaces: \(A_B:H^2(X)\to L^2(X)\oplus(H^{3/2}\oplus H^{3/2})\) is a bounded isomorphism with the actual inverse constructed in (CM3)--(CM10). Its zero-Dirichlet forcing lift has zero comparison traces, so \[ A_C A_B^{-1}(f,g) =A_C(V_0f+K_0g)=(f,M_0g). \tag{CM15} \] Thus the kernel of the full map is isomorphic to \(\ker M_0\), and its target modulo the closure of its range is isomorphic to the corresponding boundary quotient in (CM12). Its range is not closed, because the product range \(L^2(X)\oplus\operatorname{ran}M_0\) is not closed. This gives the exact interior/boundary relation, rather than drawing an inference from the boundary symbol alone. This also gives actual failures of the two general properties. For \(20\), since \(Z\) is compact. Set \[ G[\pi^*V_0,\pi^*W_0,b] =[\pi^*V_0,\pi^*W_0,b_R],\qquad b_R(y,\omega)=b(y,R\omega),\quad |\omega|=1. \tag{KC3} \] The same rule applies to continuous boundary symbols. Different admissible radii give the path \(b(y,((1-t)R_0+tR_1)\omega)\); all its matrices remain invertible. For different choices of the radial transport, use the family of connections \((1-t)\nabla_0+t\nabla_1\) and (KC1). It gives a continuous family of bundle isomorphisms intertwining the original boundary maps, so it leaves the defined classes unchanged. Both rules preserve isomorphisms and direct sums. They preserve homotopies by compactness of the parameter and a common radius. They preserve the neutral relation as well: an isomorphism extending over the disk extends to the whole cotangent bundle by keeping its boundary value constant along every exterior ray; its values agree at the seam \(|\xi|=1\). In the other direction, a globally defined isomorphism restricts under \(\xi=R\eta\), \(|\eta|\leq1\), to an isomorphism over the disk. Hence \(F\) and \(G\) are well-defined group homomorphisms. For a relative triple, \(GF\) is its original boundary map, choosing any \(R\geq1\) in (KC3). For a compact-support triple, keep its full exterior map and use the homotopy \[ b_t(y,\xi)=b\left(y, \left(1-t+t\frac R{|\xi|}\right)\xi\right), \qquad |\xi|\geq R,\quad 0\leq t\leq1. \tag{KC4} \] Its radial argument is \((1-t)|\xi|+tR\geq R\), so no exceptional point is crossed. It starts at the original \(b\) and ends at the radially constant map obtained from \(FG\), on the same exterior region. Enlarging the compact set permits exactly this comparison. Therefore both composites are the identity, proving \[ F:K^0(B^*Z,S^*Z)\xrightarrow{\ \simeq\ }K_c^0(T^*Z), \qquad G=F^{-1}. \tag{KC5} \] Apply this to \(V_0=\widehat E\), \(W_0=\widehat F\) and \(a=\widehat p|_{S^*Z}\). The original degree-one homogeneity is retained: \(\widehat p(y,\xi)=|\xi|\widehat p(y,\xi/|\xi|)\). Its exact exterior comparison with (KC2) is the invertible path \[ \left((1-t)|\xi|+t\right)\widehat p(y,\xi/|\xi|), \qquad |\xi|\geq1,\quad0\leq t\leq1. \tag{KC6} \] Thus the displayed relative triple above corresponds to the compact-support class of the full original symbol. This is a proved map between the two presentations, not a working replacement of the symbol or of its analytic operator. The analytic equality with the boundary index is the separate complete DI22--DI42 proof in \href{split-doubling-boundary-index.pdf}{Doubling a boundary problem and computing its index}. No characteristic-class index formula is asserted by (KC5). The larger Boutet de Monvel calculus uses the block \[ \begin{pmatrix}P_++G&K\\T&S\end{pmatrix}, \] where \(G\) is singular Green, \(K\) is potential or Poisson, \(T\) is trace, and \(S\) is a boundary pseudodifferential operator. \href{https://arxiv.org/abs/math/0403059}{Melo, Schick and Schrohe's original-author source} records this block, its order/class composition rule, and its two principal symbols. The column used in this course is the exact special case with zero boundary input bundle, \(G=K=S=0\), and retained rows \((P_+,T)\). The full singular Green, potential, adjoint, composition and closure theory remains an external enlargement. The further-study note about the \(\bar\partial\)-Neumann problem states a further-study topic, without a theorem or endpoint to import. The present reduction can expose a tangential comparison system; it does not supply the subelliptic estimates or complex geometric hypotheses needed to solve that system. The mathematical question is the exact estimate for the resulting boundary system under its own complex geometric hypotheses. The compact-cylinder calculation, full block products and radial bundle maps above are independent teaching derivations. The freely accessible comparison is Melo, Schick and Schrohe, \emph{A K-Theoretic Proof of Boutet de Monvel's Index Theorem for Boundary Value Problems}, arXiv:math/0403059v3, Introduction, equation (1), with its transmission condition and separate order/class convention. The complete current course proofs establish the reference parametrix used here. \href{https://arxiv.org/abs/2104.01919v2}{Bandara, Goffeng and Saratchandran, \emph{Realisations of elliptic operators on compact manifolds with boundary}}, §3.1, gives a modern Calderón comparison at arbitrary differential order; its maximal graph trace space is a further construction, not an identification with the value-trace spaces in this lesson. No external source expression is imported. Written and dedicated to the public domain by Codex under CC0 1.0. \end{document}