How to construct a scalar differential operator having the same spectrum as a non-scalar differential operator exploiting symmetries? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:13:29Z http://mathoverflow.net/feeds/question/74065 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74065/how-to-construct-a-scalar-differential-operator-having-the-same-spectrum-as-a-non How to construct a scalar differential operator having the same spectrum as a non-scalar differential operator exploiting symmetries? Alexander Vais 2011-08-30T14:00:59Z 2011-09-22T08:26:39Z <p>I am interested in eigenvalue problems for differential operators acting on one forms on closed two-dimensional manifolds and how they relate to eigenvalue problems of associated operators acting on scalar functions. </p> <p>For the discussion I assume <code>$M$</code> to be a compact two-dimensional Riemannian manifold without boundary. Let <code>$\Delta^k=dd^*+d^*d$</code> be the De Rham Laplacian on the space <code>$\Omega^k(M)$</code> of real-valued $k$-Forms. Here <code>$d:\Omega^k(M) \to \Omega^{k+1}(M)$</code> is the exterior derivative and <code>$d^*: \Omega^{k+1}(M) \to \Omega^{k}$</code> is its adjoint. For $k=0$ we get the Laplace Beltrami Operator acting on functions: $\Delta^0=d^*d$.</p> <p>Consider the eigenvalue problem: Find <code>$\lambda \in \mathbb{R}$</code> and an $1$-Form $\alpha$ such that <code>$\Delta^1\alpha = \lambda \alpha$</code>. Because of the identity <code>$d^* \Delta^1 = \Delta^0 d^*$</code> any eigenform $\alpha$ of <code>$\Delta^1$</code> yields an eigenfunction <code>$f:= d^*\alpha$ of $\Delta^0$</code> for the same eigenvalue, provided that <code>$\alpha$</code> is not co-closed.</p> <p>Also, since $\Delta^1$ commutes with the Hodge star we have that with any eigenform $\alpha$, the $1$-form $*\alpha$ (imagine $\alpha$ being rotated pointwise by 90 degrees) is also a linearly independent eigenform for the same eigenvalue. Therefore all eigenspaces of $\Delta^1$ have even dimension and are invariant under the symmetry </p> <p><code>$$\alpha \mapsto a \alpha + b (*\alpha) \qquad a,b \in \mathbb{R}$$</code></p> <p>To sum up, the spectra of $\Delta^1$ and $\Delta^0$ are closely related: They are essentially the same except for the multiplicities of the eigenvalues. More precisely, any non-zero eigenvalue of the scalar operator $\Delta^0$ with multiplicity $m$ becomes an eigenvalue of the $1$-form operator $\Delta^1$ with multiplicity $2m$.</p> <p>Now for the <strong>question</strong>: Does a similar relation hold for other differential operators? For example, I consider the Bochner Laplacian $\widehat{\Delta^1} = \nabla^* \nabla$ on <code>$T^*M$</code>. The Weizenböck identity </p> <p><code>$$\Delta^1 \alpha = \widehat{\Delta^1} \alpha + K\cdot \alpha$$</code></p> <p>shows that the Bochner Laplacian and the De Rham Laplacian on $1$-Forms differ only by a an operator that is a pointwise multiplication with the Gaussian curvature $K$. Moreover, the Bochner Laplacian also commutes with the Hodge star $*$, therefore all eigenspaces of <code>$\widehat{\Delta^1}$</code> have even dimension and are invariant under the symmetry mentioned above. So far, the situation looks similar. Now, is there an operator <code>$\widehat{\Delta^0}$</code> acting on <code>$\Omega^0(M)$</code> and an operator <code>$\widehat{d^*}: \Omega^1(M) \to \Omega^0(M)$</code> such that the following intertwining relation holds? </p> <p><code>$$\widehat{d^*} \ \widehat{\Delta^1} = \widehat{\Delta^0} \ \widehat{ d^* }$$</code></p> <p>In that case the the spectrum of the Bochner Laplacian on $1$-Forms would be essentially equal (up to multiplicity as discussed above) to the spectrum of the unknown scalar operator <code>$\widehat{\Delta^0}$</code>. Is this possible? More generally, for what other operators (apart from the De Rham Laplacian) is such a "reduction" possible?</p> <p>Any references would be appreciated. Thanks.</p> <p><strong>Update</strong>: (in reply to the answer of Robert Bryant below) I have tried to spell out the calculations leading to some of the results in the answer below in some more detail in order to understand them by myself and for future reference. Unfortunately I am not familiar with the principal symbol calculus, so I apologize for my low-level approach. My goal is to calculate the eigenvalues for the Bochner Laplacian numerically. From the implementation point of view it is easier to deal with scalar valued second order equations than with vector (or in this case 1-form valued equations). I think the special case below is instructive. I wonder if it is possible to avoid the need of putting restrictions on the metric. Of course, that would be great. But it would be also interesting to have an argument that says that it is impossible in the general case.</p> <p>Anyway, In the special case <code>$$\widehat{\Delta^1} \alpha := \nabla^*\nabla \alpha + L \alpha = \Delta^1 \alpha + (L-K) \alpha$$</code> <code>$$\widehat{\Delta^0f} := \Delta^0 f + H f$$</code> <code>$$\widehat{d^*}\alpha :=d^* \alpha + \langle \phi,\alpha \rangle$$</code> we get <code>\begin{aligned} E \alpha &amp;:= \widehat{d^*} \widehat{\Delta^1}\alpha - \widehat{\Delta^0} \widehat{d^*} \alpha \\&amp; = \widehat{d^*}(\Delta^1\alpha+(L-K)\alpha)-\widehat{\Delta^0}(d^*\alpha + \langle \phi,\alpha\rangle) \\ &amp; =d^*\Delta^1\alpha+d^*((L-K)\alpha)+\langle \phi,\Delta^1\alpha \rangle + \langle \phi, (L-K) \alpha \rangle \\ &amp; -\Delta^0 d^*\alpha -Hd^*\alpha -\Delta^0\langle \phi,\alpha \rangle -H \langle \phi,\alpha \rangle\end{aligned}</code></p> <p>Because of the identities <code>\begin{aligned} d^*( (L-K) \alpha ) &amp;= (L-K)d^*\alpha -\langle d(L-K) ,\alpha \rangle \\ \Delta^0 \langle \phi,\alpha \rangle &amp; = \langle \nabla^*\nabla \phi,\alpha \rangle + \langle \phi,\nabla^*\nabla \alpha \rangle - 2 \langle \nabla \phi, \nabla \alpha \rangle \\ \nabla^*\nabla &amp;= \Delta^1 - K\\ d^*\alpha &amp;= -\nabla^i \alpha_i = -g_{ab} g^{ak} g^{bi} \nabla_k\alpha_i = \langle -g, \nabla \alpha \rangle \\ d^*\Delta^1&amp;=\Delta^0 d^* \end{aligned}</code> the third and second order terms in <code>$\alpha$</code> cancel, yielding the following first-order operator: <code>$$E\alpha = \langle -g(L-K-H) + 2\nabla \phi, \nabla \alpha \rangle + \langle (L-K-H)\phi - d(L-K)- \nabla^*\nabla \phi + K \phi, \alpha \rangle$$</code></p> <p>Now I see that in order for the first-order terms to vanish for all <code>$\alpha$</code> we need <code>$\nabla\phi = f g$</code> for <code>$f := \frac{1}{2}(L-K-H)$</code>. Taking the covariant derivative of this equation yields <code>$\nabla \nabla \phi = df \otimes g + df \otimes 0$</code> and taking the trace yields <code>$-\nabla^*\nabla \phi = df$</code>. Therefore, if we set <code>$df = -K\phi$</code>, the zeroth-order part reduces to the operator <code>$$E\alpha = \langle 2f\phi -d(L-K),\alpha \rangle$$</code></p> <p>I have two questions at this point: Why is <code>$df =-K\phi$</code> necessary for <code>$E$</code> to vanish? More important (since that leads to the restrictions on the metric): Why is <code>$*\phi$</code> dual to a Killing field? Maybe this is obvious but i don't see it.</p> http://mathoverflow.net/questions/74065/how-to-construct-a-scalar-differential-operator-having-the-same-spectrum-as-a-non/74532#74532 Answer by Robert Bryant for How to construct a scalar differential operator having the same spectrum as a non-scalar differential operator exploiting symmetries? Robert Bryant 2011-09-04T19:03:24Z 2011-09-12T11:38:37Z <p>I thought a little bit about your question, which is phrased a little more generally than I like, but I decided to think about it with the restrictions that $\widehat{\Delta^0}$ be a differential operator and $\widehat{d^\ast}$ be $d^\ast$ plus a lower-order (i.e., zeroth order) differential operator. I also decided to think, not of the most general perturbation of $\widehat{\Delta^1}$, but of perturbations of the form $\widehat{\Delta^1} = \nabla^\ast\nabla+L$, where $L$ means scalar multiplication by a function $L$ on $M$. </p> <p>The first thing to notice is that, since the principal symbol $\sigma^1_\xi$ of $\widehat{\Delta^1}$ is just scalar multiplication by $|\xi|^2$ and the principal symbol of $\widehat{d^\ast}$ is $\alpha\mapsto \xi\cdot\alpha$, it follows from the symbol calculus that the principal symbol of $\widehat{\Delta^0}$ must also be scalar multiplication by $|\xi|^2$, i.e., the differential operator $\widehat{\Delta^0} - \Delta^0$ must be of order at most $1$. However, it must also be self-adjoint, and this implies that it must be of order $0$, i.e., that $\widehat{\Delta^0} = \Delta^0 + H$ (where '$H$' means scalar multiplication by a smooth function $H$ on $M$).</p> <p>Now, $\widehat{d^\ast}\alpha = d^\ast\alpha + \phi\cdot\alpha$ for some $1$-form $\phi$ on $M$. Under the given assumptions, it is not hard to see that the equation $$\widehat{d^\ast}\widehat{\Delta^1} = \widehat{\Delta^0}\widehat{d^\ast}$$ implies that $\widehat{\Delta^0} = \Delta^0 + H$ for some function $H$ on $M$. (This is what I just explained above.)</p> <p>Now, the operator $E = \widehat{d^\ast}\widehat{\Delta^1} - \widehat{\Delta^0}\widehat{d^\ast}$, when expanded out, is of first order (not second order, as you might have expected). Looking at the principal symbol of $E$ and setting this equal to zero gives $4$ equations, and these are equivalent to $\nabla\phi = f\ g$, where, for simplicity, I have set $f = \tfrac12(L-K-H)$. Taking the covariant derivative of both sides of $\nabla\phi = f\ g$ and using the definition of $K$, one gets $df = -K\ \phi$. Substituting this back into the expression for $E$, it reduces to a $0$-th order operator which turns out to be $E(\alpha) = (2f\phi +dK - dL)\cdot\alpha$. Setting this equal to zero gives $d(|\phi|^2 + K - L) = 0$, since $d\bigl(|\phi|^2\bigr) = 2f\phi$ (which is a consequence of $\nabla\phi = f\ g$). Thus, $L = K + |\phi|^2 - c$ for some constant $c$.</p> <p>Thus, one finds that one must have the identities $$\nabla \phi = f\ g\qquad\text{and}\qquad df = -K\ \phi$$ for some function $f$ on $M$ while $$L = K + |\phi|^2 - c\qquad\text{and}\qquad H = |\phi|^2 -2f - c$$ for some constant $c$.</p> <p>Obviously, there is always the trivial solution $(\phi,f) = (0,0)$, which gives the well-known intertwining of the Hodge Laplacian on $1$-forms and $0$-forms. More interesting is the case when there are nontrivial solutions $(\phi,f)$ to the above equations. This puts severe restrictions on the metric $g$, but these can be understood. </p> <p>Let's assume that $M$ is connected and complete. Then the pair of equations $\nabla\phi = f\ g$ and $df = -K\ \phi$ forms a linear total differential system, so if the pair $(\phi,f)$ vanishes anywhere, it vanishes identically. Let's assume that it does not. The equation $\nabla\phi = f\ g$ implies that $d\phi = 0$ and that the vector field $F$ that is $g$-dual to $\ast\phi$ is a Killing field. Thus, $(M,g)$ is, at least locally, a surface of revolution. Any fixed points of $F$ are isolated elliptic points. Write $\phi = du$ for some function $u$ (at the moment locally defined). Note that the critical points of $u$ are nondegenerate and of index 0 or 2. It is then not hard to show that $|\phi|^2 = a(u)$ for some function $a$ and that, in the region where $a>0$, the metric $g$ takes the form $$g = \frac{du^2}{a(u)} + a(u)\ d\psi^2$$ for some (locally defined) function $\psi$. In these coordinates, one has $\phi = du$, $f = \tfrac12a'(u)$, and $K = -\tfrac12a''(u)$. One also has $L = a(u) -\tfrac12a''(u)- c$ and $H = a(u) - a'(u) - c$. </p> <p>Conversely, if one starts with a function $a$ positive on some domain on the $u$-line, then the above formulae give a solution to the intertwining equation. If $a$ is positive and periodic on the $u$-line, then one obtains a solution on the torus. </p> <p>One can also obtain solutions on the $2$-sphere: If $a$ is smooth and satisfies $a(u_0) = a(u_1) = 0$ (where $u_0 &lt; u_1$) while $a$ is positive between $u_0$ and $u_1$ and satisfies $a'(u_0) = -a'(u_1) = b >0$, then the metric $$g = \frac{du^2}{a(u)} + \frac{4a(u)}{b^2}\ d\theta^2$$ defines a smooth metric on the $2$-sphere with $(u,\theta)$ as 'polar coordinates' (with $\theta$ being $2\pi$-periodic and $u_0\le u\le u_1$, with $u=u_i$ corresponding to the 'poles' of rotation), and this gives a family of solutions to the intertwining equation.</p> <p>To get $\widehat{\Delta^1}$ to be the Bochner Laplacian, one must have $L = 0$, which is equivalent to $a''(u) = 2\bigl(a(u)-c\bigr)$. This has 'spherical solutions', such as $$a(u) = c - e\ \cosh\bigl(\sqrt{2}\ u\bigr),$$ where the constants $c$ and $e$ satisfy $c > e > 0$. Thus, there is a nontrivial $2$-parameter family of metrics on the $2$-sphere such that the Bochner Laplacian has the desired intertwining property.</p> <p>A similar calculation can be done for the more general case when $\widehat{d^\ast}$ is allowed to be somewhat more general (but still underdetermined elliptic), but I won't go into that unless someone is interested. I'll just say that, aside from the metrics above, the only metrics that admit a nontrivial solution when $\widehat{d^\ast}$ is an underdetermined elliptic first order differential operator are the metrics of the form $$g = \bigl( a\ (x^2{+}y^2) + 2b\ x + c\bigr)\ \bigl(dx^2 + dy^2\bigr)$$ where $a$, $b$, and $c$ are constants such that the open set $M$ in the $xy$-plane defined by $a\ (x^2{+}y^2) + 2b\ x + c > 0$ is nonempty. Thus, the metrics that allow this are very restricted.</p>