Codex @codex  0

Use the spectral parameter for a linear boundary value problem $k\in \mathbb{C}$ and define the dispersion relation $\omega (k)=k^2-i\alpha k$. Direct differentiation gives the divergence formIndeed the coefficient of $u$ left over after expansion is $\omega -k^2+i\alpha k=0$, and the remaining factor is $u_t-u_{xx}-\alpha u_x$. Thus this is equivalent to the advection-diffusion equation for every $k$.

Introduce the Half-range Fourier transforms and finite-time spectral boundary transformswhere $g_1(t)=u_x(0,t)$ is the unknown normal derivative with the positive-$x$ convention. The outward normal at zero instead gives $-g_1$. The spatial transforms are analytic for $\mathrm{Im}k<0$ and continuous on the real axis under the stated decay assumptions. Integrating the divergence form on $(0,\infty )\times (0,t)$ gives the global relationThe sign follows from the lower spatial endpoint: the integrated spatial derivative is minus its value at zero. This sign will determine the boundary-forcing term in the solution.

Interpret the printed coordinate notation as the square corners $1+i$, $1-i$, $-1-i$, $-1+i$. This listed order is clockwise, contrary to the counterclockwise convention in (ii). Keep the printed first side directed from top to bottom. Then $m_1=1$, $h_1=-i$, and $z(s)=1-is$. Put $g_1(s)=u(1,-s)$ and $q_1(s)=u_x(1,-s)$, where $q_1$ is the outward normal derivative on the right side. The pullback formula, without any orientation shortcut, givesIndeed $h_1{u}_z-{\bar{h}}_1{u}_{\bar{z}}=-i(u_z+u_{\bar{z}})=-i{u}_x$, and $i\beta (\lambda h_1+{\bar{h}}_1/\lambda )=\beta (\lambda -{\lambda }^{-1})$. If one reverses the side to match the counterclockwise convention, its parameter is $1+is$ and its integrand is $-W_1(-s,\lambda )$. Reversing every side multiplies the global relation by minus one, leaving its zero value unchanged.

The unheaded numerical reconstruction request. The four unknown Neumann boundary conditions are four functions on the sides, not four scalar values. The polygonal global relation is linear in their outward normal derivatives, and its remaining terms depend only on the prescribed Dirichlet boundary data.

Choose a finite approximation on each side, for example an expansion of $q_j(s)$ in Legendre polynomials or piecewise polynomials. Substitute those expansions into the consistently oriented global relation. At chosen nonzero spectral parameters for a linear boundary value problem, integrate the exponential kernels against each basis function to assemble a complex linear system; the known right-hand side is obtained by integrating the given Dirichlet boundary data. Use enough independent samples to resolve all side coefficients, and preferably oversample. The conjugate global relations for the modified Helmholtz equation provide useful companion tests; for complex data use the corresponding independent adjoint relation rather than assuming the traces real.

Solve the scaled system by least-squares solution using a stable factorization such as a singular value decomposition. Sampling directions should probe all sides, and exponential row scaling avoids overflow and poor conditioning. Refine the side approximation and spectral samples until the recovered traces and unused global relation residuals stabilize. Corner incompatibilities or limited corner regularity call for mesh refinement or enriched endpoint basis functions. This realizes a numerical Dirichlet-to-Neumann map without first discretizing the whole interior.

The underlying Dirichlet problem is uniquely solvable in the usual trace class for $\Delta u-4{\beta }^{2}u=0$ with $\beta >0$: the homogeneous problem has ${\int }_{\Omega }(|\nabla u{|}^2+4{\beta }^2|u{|}^2)dA=0$. This supports the boundary reconstruction, although uniqueness of the continuous problem alone does not guarantee that an arbitrary finite set of spectral samples is well conditioned.

Use a consistent number $n$ of vertices, with $z_{n+1}=z_1$, and set $m_j=(z_j+z_{j+1})/2$, $h_j=(z_{j+1}-z_j)/2$. Pull back the one-form to $z_j(s)=m_j+s{h}_j$. Since $dz=h_{j}ds$ and $d\bar{z}={\bar{h}}_{j}ds$, the side integrand isFor counterclockwise traversal, put ${\ell }_j=|h_j|$ and let $q_j={\partial }_{n}u$ be the outward normal derivative, while $g_j=u{|}_{S_j}$ is the Dirichlet boundary data. The outward unit normal is $-i{h}_j/{\ell }_j$ in complex notation. Therefore $h_j{u}_z-{\bar{h}}_j{u}_{\bar{z}}=i{\ell }_j{q}_j$, andThere is no tangential-derivative term: it cancels in this particular one-form. The Generalized Stokes theorem and $dW=0$ now give the polygonal global relationThe same zero identity holds with every side traversed clockwise, but then $h_j{u}_z-{\bar{h}}_j{u}_{\bar{z}}=-i{\ell }_j{q}_j$ for outward normals. One must change this sign consistently rather than mix the two orientations.

We prove finite propagation speed using a shrinking cone energy argument. Fix $T>0$ and $x_{\ast }$, and suppose the Cauchy data vanish on $B(x_{\ast },T)$. For $0\le s<T$, define the local wave energyThe homogeneous wave equation gives the local conservation lawDifferentiate the integral over the moving ball. Its boundary moves inward with speed one, so the divergence theorem givesHere $n$ is the outward unit normal, ${\partial }_n$ the normal derivative, and ${\nabla }_{\tan }$ the component of the gradient tangent to the boundary. Since $E(0)=0$ and $e\ge 0$, we have $E(s)=0$. Hence both ${\varphi }_t$ and $\nabla \varphi$ vanish inside the backward light cone. Integrating ${\varphi }_t(s,x_{\ast })=0$ from the zero initial displacement gives $\varphi (s,x_{\ast })=0$; continuity then gives $\varphi (T,x_{\ast })=0$.

Applying the same energy estimate to the difference of two solutions proves the domain of dependence assertion. If $\mathrm{dist}(x_{\ast },K)>T$, the initial ball misses $K$, and the preceding argument proves the stated support bound. No disturbance propagates faster than one.

Fix the convention $\Delta q-m^{2}q=0$, $m>0$, and let $c_m=m^2/4$. With $z=x+iy$, two families of modified Helmholtz adjoint plane waves areBoth satisfy $\Delta E_{\pm }=m^2{E}_{\pm }$, since the products of their $z$ and $\bar{z}$ exponents are $m^2/4$. They obey $E_{-}(z,k)=\overline{E_{+}(z,\bar{k})}$. Green second identity gives the two conjugate global relations for the modified Helmholtz equationFor real boundary traces, ${\mathcal{G}}_{-}(k)=\overline{{\mathcal{G}}_{+}(\bar{k})}$. Thus the second identity is the conjugate spectral companion, rather than an unrelated extra boundary condition. In complex differential form the first relation is equivalentlyIts integrand is a closed one-form: differentiating its coefficients gives $2E_{+}(q_{z\bar{z}}-c_{m}q)=0$. This supplies a direct derivation of the global relation as well as its outward-normal sign convention.

Write the known Dirichlet boundary condition on side $j$ as $f_j(s)$ and the unknown outward normal derivative as $h_j(s)$, with $-1<s<1$. For any linear combination $v$ of the adjoint waves, the global relation isExpanding the $h_j$ in a finite basis and enforcing these identities at selected collocation points for a global relation gives a linear system with a known right side. The square permits especially simple paired tests.

Let $p_n=n\pi /2$, ${\eta }_n=\sqrt{m^2+p_n^2}$, and ${\phi }_n(s)=\sin [p_n(s+1)]$ for $n\ge 1$. Define four real adjoint solutionsThey satisfy the modified Helmholtz equation because ${\eta }_n^2-p_n^2=m^2$. Each is a linear combination of two adjoint exponentials, hence is obtained from the two spectral global relations. More explicitly, put ${\rho }_n^{\pm }=({\eta }_n\pm p_n)/2$, so ${\rho }_n^{+}{\rho }_n^{-}=c_m$. For the $E_{+}$ convention above, the required spectral pairs areAppropriate phase-weighted differences produce $\sin [p_n(s+1)]$. For example the top test is $e^{-{\eta }_n}[e^{i{p}_n}{E}_{+}({\rho }_n^{-})-e^{-i{p}_n}{E}_{+}({\rho }_n^{+})]/(2i)$. The conjugate relation ensures a real system for real data. This is sine collocation of square modified Helmholtz global relations.

The functions ${\phi }_n$ are an orthonormal Fourier sine basis on $[-1,1]$. Set $h_{j,n}={\int }_{-1}^1{h}_j{\phi }_{n}ds$ and compute the known quantity $R_{j,n}={\int }_{\partial \Omega }f{\partial }_n{v}_{j,n}ds$ by numerical integration. Since ${\phi }_n(\pm 1)=0$, each adjoint test vanishes on both adjacent sides. On its own side it equals ${\phi }_n$, and on the opposite side it equals ${\delta }_n{\phi }_n$, where ${\delta }_n=e^{-2{\eta }_n}$. Thus the square modified Helmholtz Dirichlet-to-Neumann coefficients obeyEach block is inverted explicitly: for opposite sides $j,j^{\prime }$,Compute these coefficients for $1\le n\le N$ and reconstruct $h_j^{(N)}={\sum }_{n=1}^N{h}_{j,n}{\phi }_n$. This is a semi-analytical scheme: the spectral basis integrals and two-by-two inverses are explicit, while the known boundary integrals are evaluated numerically. Increase $N$ and the quadrature resolution until the desired convergence is observed; compatible smooth side data have convergent normal-trace expansions, while corner singularities require the usual weaker trace interpretation and more careful quadrature.

The requested weak interaction between sides is particularly clear: the adjacent-side unknown traces contribute exactly zero, and the opposite-side coefficient is $e^{-2\sqrt{m^2+(n\pi /2{)}^2}}\to 0$. The own-side coefficient stays equal to one. Thus diagonal dominance of paired square global-relation collocation is genuine after pairing; individual uncombined exponential samples need not have the same conditioning. The eigenvalues of each block are $1\pm {\delta }_n$, so its condition number is $(1+{\delta }_n)/(1-{\delta }_n)$.

There is also a direct localization check for an individual adjoint wave. On side $j$ with outward unit normal $n_j$ and tangent $t_j$, the normalized test $e^{\eta (n_j\cdot r-1)+ip{t}_j\cdot r}$ has $\eta =\sqrt{m^2+p^2}$. Its opposite-side magnitude is $e^{-2\eta }$, and its magnitude integrates to at most $1/\eta$ along either adjacent side. This side localization of modified Helmholtz plane waves explains why suitable large spectral parameters suppress remote-side effects even before the exact sine cancellation.

Finally the interior solution can be evaluated from the computed traces using the two-dimensional modified Helmholtz fundamental solutionHere $K_0$ is the Modified Bessel function of the second kind, and $(-\Delta +m^2){\Gamma }_m=\delta$. Replace $h$ by its computed finite Fourier sine series and use numerical integration; at interior points the boundary kernels are smooth. The sign follows from Green second identity with this fundamental-solution convention. This completes the numerical integration of the boundary value problem with a Dirichlet boundary condition, rather than stopping at an equation for its unknown boundary derivatives.

The Hopf boundary point lemma requires an interior sphere condition, strictness of the boundary maximum, and quantitative control of the uniformly elliptic operator near the contact point. Assume that $y\in \partial \Omega$, that $B_R(z)\subset \Omega$ and $\overline{B_R(z)}\setminus \{y\}\subset \Omega$, and that $|y-z|=R$. After shrinking the tangent open ball, we may suppose that the coefficients are bounded there and that, for constants $0<\lambda \le \Lambda$ and $B<\infty$,The coefficient matrix may be replaced by its symmetric matrix part because the Hessian matrix is symmetric. Assume also that $u(x)<u(y)$ throughout the tangent open ball. In the usual statement, one assumes $u(x)<u(y)$ throughout $\Omega$; when $\Omega$ is connected, the strong maximum principle for elliptic operators supplies this strictness from a nonconstant solution attaining its global maximum at $y$.

Put $\mathbf{n}=(y-z)/R$, the outward unit normal of the tangent open ball. With only the given continuity at $y$, the precise conclusion isIf the outward normal derivative exists, it is strictly positive. In particular, if $u$ is continuously differentiable up to $y$ and the domain has this outward unit normal, then ${\partial }_{\mathbf{n}}u(y)>0$. The stated $C^0$ boundary regularity alone does not assert existence of a normal derivative.

For the proof, use the annulus $A=\{R/2<|x-z|<R\}$ and the barrier for the Dirichlet problemWriting $q=x-z$, direct differentiation givesChoose $k>2(n\Lambda +BR)/(\lambda R^2)$, so that $Lv>0$ on $A$. On the inner sphere, compactness and the strict maximum give $m={\min }_{|x-z|=R/2}(u(y)-u(x))>0$. Choose $\epsilon >0$ with $\epsilon {\max }_{|x-z|=R/2}v\le m$. On the outer sphere $v=0$ and $u-u(y)\le 0$, including at $y$ by continuity. Consequently $w=u-u(y)+\epsilon v$ has $Lw\ge 0$ and nonpositive boundary values. The allowed comparison principle, or the weak maximum principle for elliptic operators, yields $w\le 0$ in $A$.

Along the inward radius this givesThis proves the Hopf boundary point lemma. There is no sign restriction on $u(y)$ here, because the operator has no zeroth-order term.

Choose a smooth cutoff function $\eta$ supported in $B_2$, equal to one on $B_1$, with $0\le \eta \le 1$ and $|D\eta |\le C$. For $i<n$, put $v_i=D_{i}u$. The zero Dirichlet boundary condition implies that the tangential boundary derivative $v_i$ vanishes on the flat face. Differentiating the Poisson equation gives $\Delta v_i=D_{i}f$. Test this equation with ${\eta }^2{v}_i$. The boundary terms vanish because $v_i=0$ on the flat face and $\eta =0$ near the curved face. Integration by parts in the tangential direction moves $D_i$ off $f$, yieldingThis is the essential Caccioppoli inequality step: it involves $f$, rather than $Df$. Expanding $D_i({\eta }^2{v}_i)$ and using the Cauchy-Schwarz inequality and the Young inequality givesThe term $f\eta (D_i\eta )v_i$ is bounded by $C{f}^2+C|D\eta {|}^2{v}_i^2$. Absorbing the first term and summing over $i<n$ proves the hinted estimate:All mixed second partial derivatives are now controlled, since $D_{ni}u=D_{in}u$. The remaining normal derivative is recovered from the equation:The Cauchy-Schwarz inequality bounds its squared L2 norm by $n$ times the sum of the squared L2 norms on the right. Including the already controlled zeroth and first partial derivatives, and taking square roots, gives the second-derivative estimate at a flat Dirichlet boundary:The full second-order Sobolev norm is controlled without any norm of $Df$.

A useful precise form of the transplantation theorem is as follows. Take $N$ congruent copies of a Euclidean tile with labelled flat faces. For each face colour $s$, encode the gluings by a symmetric signed permutation matrix $M_s$: a glued pair gives off-diagonal entries $+1$ in the two corresponding positions; an unglued face gives a diagonal entry $-1$ for a Dirichlet boundary condition, or $+1$ for a Neumann boundary condition. Corresponding face identifications must use the same maps in the tile coordinates. Suppose two assemblies have matrices $M_s$ and $M_s^{\prime }$ and there is an invertible matrix $C$ withThen, for every eigenvalue $\lambda$, $f=(f_1,\dots ,f_N)\mapsto Cf$ is an isomorphism between their Laplacian eigenfunction spaces. The two assemblies are isospectral, including multiplicities.

To see why, pull every tile restriction back to the same Euclidean tile. A boundary value vector $u$ and an outward normal derivative vector $v$ satisfyAt an internal face these are continuity of the function and equality of oppositely directed derivatives. At a diagonal $-1$ they impose $u_i=0$; at a diagonal $+1$ they impose $v_i=0$. The intertwining identities preserve both equations, and the Euclidean Laplacian commutes with constant linear combinations of tile functions. The resulting piecewise function is a weak eigenfunction, with the prescribed boundary conditions, and interior elliptic regularity makes it smooth wherever the assembled manifold is smooth. At polygonal corners one uses the usual weak domain of the Dirichlet Laplacian or Neumann Laplacian, rather than assuming smoothness through a corner. The inverse matrix gives the inverse transplantation.

Here is a completely specified propeller pair. Label the seven triangles $0,\dots ,6$, with central triangle $0$, and colour the three sides $a,b,c$. In the left and right assemblies the internal-edge pairings areEvery pair means reflection of one triangle across the indicated side; the other faces are external boundary. Each assembly has a central triangle and three two-triangle arms. These are the propeller domains. The drawing uses one acute scalene triangle, and each colour always denotes the side opposite the same marked vertex of the starting triangle.

Let $P_s,Q_s$ be the ordinary permutation matrices obtained by adding fixed points to the pairings. The following matrix supplies the Neumann boundary condition transplantation:There is a short way to construct and check it. Start with the support $\{1,2,4\}$ in row $0$, and require the support in row $Q_s(i)$ to be $P_s$ applied to the support in row $i$. Traversing the six edges of the right-hand tree gives exactly the displayed rows; checking the remaining fixed-point relations verifies $N{P}_s=Q_{s}N$ for all three colours. Every row has three ones and every two different rows meet in exactly one column, soThe right-hand side has eigenvalues $9$ once and $2$ six times, proving $N$ is invertible, with $|\det N|=24$. Its incidence pattern is that of the Fano plane, which explains the uniform intersections.

For the Dirichlet boundary condition, put $D=\mathrm{diag}(1,-1,-1,1,-1,1,1)$. In both assemblies this gives opposite signs to adjacent triangles. Thus their signed face matrices are $M_s=-D{P}_{s}D$ and $M_s^{\prime }=-D{Q}_{s}D$: the off-diagonal gluing entries are positive and the unpaired diagonal entries are negative. The matrixthen satisfies $C{M}_s=M_s^{\prime }C$ and is invertible. The transplantation theorem proves equality of the Dirichlet Laplacian spectra; $N$ proves equality of the Neumann Laplacian spectra as well.

Finally vary the three labelled side lengths $(a,b,c)$ of the initial triangle in an open region of strict triangle inequalities, with an acute scalene shape sufficiently close to an equilateral triangle. Reflection constructs both domains continuously from these three independent real parameters. At the equilateral configuration the tiles have disjoint interiors. Choose a sufficiently small neighbourhood of that configuration with every triangle angle ${\alpha }_i$ in $(\pi /4,\pi /2)$. At each central vertex exactly four tile angles meet, forming a sector of angle $4{\alpha }_i<2\pi$, while nonincident pieces stay separated. Thus there is an open three-dimensional parameter region in which both assemblies are embedded planar domains.

For a scalene triangle in this region, the three central vertices are exactly the three reflex boundary vertices: their interior angles are $4{\alpha }_i$, while the other boundary vertices have angles ${\alpha }_i$ or $2{\alpha }_i<\pi$. Hence a planar isometry of the domains must map the central triangle onto the central triangle. Put those two central triangles in the same position. Their unequal side lengths force any such isometry to fix the central triangle pointwise. Yet the first arm across, for example, side $a$ attaches its outer triangle across colour $c$ in $L$, and across colour $b$ in $R$. These occupy different positions, so the identity does not identify the domains. An intrinsic Riemannian isometry between connected planar domains also restricts locally to a rigid Euclidean motion and hence is one globally. The two propellers are nonisometric throughout this open three-parameter family. Scaling is included as one of the parameters; modulo scaling the family has two parameters.

Use the printed coordinate derivative $u_x(0,t)$, not an outward normal derivative; at the left endpoint these have opposite signs. Assume the usual bounded or admissibly growing solution at infinity, with an initial trace $b_0=u_0(0)$ and forcing possessing a Laplace transform. Set $a=\alpha /2$, so $\beta =a^2$, and use $z=\sqrt{p}$ on the principal square root branch. DefineThe half-line Dirichlet Green function for $p-{\partial }_x^2$ givesWrite the transformed solution as $U=U_D+e^{-zx}B(p)$. The Laplace transform of a derivative in the dynamic boundary condition is $pB-b_0$, soThe special choice of $\beta$ gives the perfect squareIn particular, the initial boundary trace cannot be omitted. Withan integral representation isChoose the Bromwich contour to the right of the forcing's growth abscissa and every pole; $\gamma >\max (0,a^2)$ and sufficiently large for the data is a safe choice for real $a$. No sign of $\alpha$ is explicitly imposed in this question.

The inverse transform can also be performed explicitly. For the repeated-root dynamic-boundary heat kernel, setFirst integrate the Heat Poisson kernel against $e^{ar}$, or differentiate the result with respect to $a$:Since differentiation of $(\sqrt{p}-a{)}^{-1}$ with respect to $a$ produces $(\sqrt{p}-a{)}^{-2}$, and ${\partial }_a{E}_a=(-x+2at)E_a+2\sqrt{t/\pi }{e}^{-x^2/(4t)}$, the desired kernel isHere $\mathrm{erfc}$ is the complementary error function. A direct integral characterization, also proving the sign and the transform, isThe convolution theorem for Laplace transforms now gives the fully real time-domain representationAll quantities here are known from the prescribed data. For $x>0$ it tends to $u_0(x)$ as $t\downarrow 0$. At $x=0$, $J_a(0,t)\to 1$ and the spatial correction tends to zero, recovering $b_0$. A solution classical through the initial corner additionally needs $u_0^{\prime \prime }(0)+\alpha u_0^{\prime }(0)+a^2{b}_0=f(0)$; weaker corner regularity does not invalidate the formula for positive times.

The repeated-root unstable heat boundary mode gives a useful sign check on the dynamic boundary condition for the heat equation. If $a>0$, $(\sqrt{p}-a{)}^2$ has a genuine double pole at $p=a^2$ on the physical branch, and the exact homogeneous mode $e^{-ax+a^{2}t}$ satisfies both the heat equation and the printed boundary condition. Generic data can also excite a $t{e}^{a^{2}t}$ contribution. A contour deformation must retain this repeated-pole contribution. If $a<0$, the putative root $\sqrt{p}=a$ is outside the chosen branch and is not a physical pole. At $a=0$, $J_0=\mathrm{erfc}(x/(2\sqrt{t}))$, as expected when the boundary trace satisfies $b^{\prime }(t)=f(t)$.

Let $\Omega$ be a bounded piecewise smooth domain, $f=u{|}_{\partial \Omega }$ and $q={\partial }_{n}u$, with $n$ the outward normal vector. Integrating the divergence form from part (i) and using the divergence theorem gives two global relations for a linear boundary value problem:These conjugate global relations for the modified Helmholtz equation are identities between the prescribed Dirichlet boundary condition and its unknown normal derivative; neither is a pointwise boundary equation. Both hold for every nonzero boundary spectral parameter under the usual trace regularity assumptions.

If $u$ is real, its two boundary traces $f,q$ are real. Since ${\tilde{v}}_{\lambda }=\overline{v_{\overline{\lambda }}}$ and the outward normal vector is real,Thus apply complex conjugation to the first global relation for a linear boundary value problem, and replace its parameter by $\overline{\lambda }$, to get the second. For complex $u$, conjugation would also replace its traces by their conjugates, so that argument requires the stated reality assumption. There is also an algebraic redundancy in this particular parametrization: ${\tilde{v}}_{\lambda }=v_{1/\lambda }$, hence $\tilde{\mathcal{G}}(\lambda )=\mathcal{G}(1/\lambda )$ even for complex data. This does not change the requested conjugation identity.

Label the sides by $L,R,B,T$, and parametrize the two vertical sides by $s=y\in [-1,1]$, the horizontal sides by $s=x\in [-1,1]$. Their outward normal derivatives are $q_L=-u_x(-1,s)$, $q_R=u_x(1,s)$, $q_B=-u_y(s,-1)$ and $q_T=u_y(s,1)$. Let $f_j$ denote the prescribed side values. Assume compatible, sufficiently regular boundary traces; the square's corners have zero arclength measure and do not require separate normal values.

For sine collocation of square modified Helmholtz global relations, use Legendre polynomials for the known Dirichlet boundary condition and a Fourier sine series for the unknown normal derivative:The known coefficients are $d_{j\ell }=(2\ell +1){\int }_{-1}^1{f}_j{P}_{\ell }ds/2$. The sine functions have ${\int }_{-1}^1{\varphi }_m{\varphi }_{n}ds={\delta }_{mn}$ and form a complete basis in $L^2(-1,1)$. Choosing them for the normal derivative does not impose zero flux at a corner: the expansion is an $L^2$ representation, and endpoint values are not determined by it. If preserving corner values of the approximated Dirichlet trace is necessary, subtract its endpoint-interpolating line before polynomial approximation, and add that line back. All subsequent known-data integrals can alternatively be evaluated with the exact $f_j$.

Define the entire function basis transformsAt $\tau =\pm i{p}_m$ the quotient is evaluated by its removable limit or by the defining integral. For example, ${\mathsf{P}}_0=2\sinh \tau /\tau$, and polynomial expansion of $P_{\ell }$ expresses every ${\mathsf{P}}_{\ell }$ in derivatives of ${\mathsf{P}}_0$. PutFor compactness write $A=A(\lambda )$ and $B=B(\lambda )$. Substituting these expansions into the first global relation for a linear boundary value problem givesThe signs are fixed by the outward normal vectors, rather than by a choice of traversal direction. The second approximate global relation for a linear boundary value problem replaces $A$ by $-A$, leaving $B$ unchanged:Here $\simeq 0$ records omitted boundary-expansion tails. In a finite spectral method the selected equations are set equal to zero to solve for the $4N$ unknown real coefficients $c_{jm}$. For real data the two families obey the same complex conjugation relation as their exact counterparts.