--- title: Degenerate Special Lagrangian Equation (DSL) url: https://www.emergentmind.com/topics/degenerate-special-lagrangian-equation-dsl type: topic --- # Degenerate Special Lagrangian Equation (DSL) The degenerate special Lagrangian equation (DSL) is a degenerate elliptic, fully nonlinear phase equation on a space-time domain \(\mathcal D=(0,1)\times D\subset \mathbb R^{n+1}\), introduced as the PDE governing geodesics in the space of positive graph Lagrangians in \(\mathbb C^n\). In its classical Euclidean form, for phase \(\theta\in(-\pi,\pi]\) and \(u\in C^2(\mathcal D)\), it is written \[ \operatorname{Im}\left(e^{-\sqrt{-1}\theta}\det(I_n+\sqrt{-1}\nabla^2 u)\right)=0, \qquad \operatorname{Re}\left(e^{-\sqrt{-1}\theta}\det(I+\sqrt{-1}\nabla_x^2 u)\right)>0, \] where \(I_n=\operatorname{diag}(0,1,\dots,1)\). The zero in the time-time slot makes the operator intrinsically degenerate, and much of the theory is organized around its lifted space-time Lagrangian angle, its Harvey–Lawson subequation branches, and its role in weak geodesic theory for positive Lagrangians [1506.08077, 1709.00496]. ## 1. Definition, lifted angle, and branch structure Let \(D\subset \mathbb R^n\) be bounded and set \(\mathcal D=(0,1)\times D\). The matrix \[ I_n=\operatorname{diag}(0,1,\dots,1) \] distinguishes the DSL from the ordinary \((n+1)\)-dimensional special Lagrangian equation: the time direction is not weighted by a positive identity entry. This is why the equation is degenerate rather than uniformly elliptic [1506.08077]. For \(u\in C^2(\mathcal D)\), the space-time Lagrangian angle is initially defined where the determinant is nonzero by \[ \Theta_u(t,x)=\arg\det(I_n+\sqrt{-1}\nabla^2u(t,x)). \] To formulate a global branch condition, Rubinstein–Solomon introduced a lifted angle on symmetric matrices. Writing \[ \mathcal S=\{(0,A^+):A^+\in \operatorname{Sym}^2(\mathbb R^n)\}, \] the lifted space-time angle can be expressed as \[ \widetilde{\Theta}(A)= \begin{dcases} \sum_{i=1}^{n+1}\arg\big(\lambda_i(I_n+\sqrt{-1}A)\big), & A\notin \mathcal S,\\[1ex] \widetilde{\theta}(A^+)+\frac{\pi}{2}, & A\in \mathcal S, \end{dcases} \] where \(\widetilde{\theta}(A^+)=\sum_{i=1}^n\tan^{-1}\lambda_i(A^+)\) is the ordinary lifted Lagrangian angle in \(n\) variables [2507.17018]. The associated DSL subequation is \[ \mathcal F_c=\{A\in \operatorname{Sym}^2(\mathbb R^{n+1}):\widetilde{\Theta}(A)\ge c\}, \qquad c\in\left(-\frac{(n+1)\pi}{2},\frac{(n+1)\pi}{2}\right). \] This branch formulation is essential because \(\widehat{\Theta}\) does not extend continuously across the singular set; only an upper semicontinuous extension exists, and the DSL branches are genuinely superlevel sets of that upper semicontinuous function [1709.00496]. In the Harvey–Lawson framework, \(\mathcal F_c\) is a subequation and its dual satisfies \[ \widetilde{\mathcal F_c}=\mathcal F_{-c}. \] A \(C^2\) solution of DSL is equivalently a function whose Hessian lies on the boundary of the chosen branch, together with the positivity condition selecting the admissible spatial phase interval [1506.08077]. A common misconception is to identify DSL with the ordinary special Lagrangian equation in one higher dimension. That identification is incorrect: the operator uses \(I_n\), not the full identity, and the singular set \(\mathcal S\) is a structural feature rather than a removable artifact. ## 2. Geometric origin in positive Lagrangians and geodesics The geometric origin of DSL is the space of positive Lagrangians in an almost Calabi–Yau or Calabi–Yau manifold. If \((X,J,\omega,\Omega)\) is almost Calabi–Yau and \(\Gamma\subset X\) is Lagrangian, then \(\Gamma\) is \(\theta\)-positive when \[ \operatorname{Re}(e^{-i\theta}\Omega)|_\Gamma>0. \] On a Hamiltonian isotopy class of \(\theta\)-positive Lagrangians, Solomon defined a weak Riemannian metric, and the geodesic equation is \(\frac{Dh_t}{dt}=0\) for the velocity functions \(h_t\) [1709.00496]. In the Euclidean graph setting, one takes \[ \Lambda_t=\operatorname{graph}(d_xk(t,\cdot))\subset \mathbb C^n. \] For a graph Lagrangian \(\Lambda_u=\operatorname{graph}(du)\), the ordinary Lagrangian angle is \[ \theta_u=\arg\det(I+\sqrt{-1}\nabla^2u), \] and positivity is the condition \[ \operatorname{Re}\left(e^{-\sqrt{-1}\theta}\det(I+\sqrt{-1}\nabla^2u)\right)>0. \] Rubinstein–Solomon showed that a path \(t\mapsto \operatorname{graph}(d_xk(t,\cdot))\) is a geodesic in the space of positive graph Lagrangians if and only if \(k\) satisfies the DSL with the slice positivity condition and the prescribed endpoint data [1506.08077]. This identification persists beyond Euclidean space. Dellatorre proved that the Euclidean DSL induces a global Riemannian subequation on \(\mathbb R\times M\) for every Riemannian manifold \(M\), locally modeled on the Euclidean branch. The globalization uses Harvey–Lawson’s Riemannian \(G\)-subequation formalism with \(G=O_n\subset O_{n+1}\), together with the \(O_n\)-invariance of the DSL branch [1709.00496]. The geometric consequences are explicit in two settings. If \(M\) is integrably parallelizable, then \(T^*M\) admits a Calabi–Yau structure and the Riemannian DSL on \([0,1]\times M\) governs geodesics of positive graph Lagrangians in \(T^*M\). If \(X\) is a smooth Calabi–Yau torus fibration over \(M\), then the Riemannian DSL on \([0,1]\times M\) governs geodesics in the space of positive Lagrangian sections in \(X\) [1709.00496]. This shows that DSL is not confined to flat graph geometry; it is a global equation on Riemannian bases with direct geometric meaning. ## 3. Subequations, Dirichlet theory, and weak solutions The analytic framework for DSL is Harvey–Lawson Dirichlet duality. For a subequation \(F\), one studies \(F\)-subharmonicity in the viscosity sense, the dual subequation \(\widetilde F\), and \(F\)-harmonic functions satisfying \[ u\in F(X),\qquad -u\in \widetilde F(X). \] In the DSL setting, the branch \(\mathcal F_c\) is a pure second-order subequation, and the weak DSL equation is encoded as \(\mathcal F_c\)-harmonicity together with the positivity/admissibility condition on spatial slices [1506.08077]. A central technical issue is that the natural domain for the geodesic endpoint problem, \[ [0,1]\times D, \] has corners. Rubinstein–Solomon extended Harvey–Lawson’s Perron method from smooth boundaries to manifolds with embedded corners and proved existence and uniqueness of continuous solutions to the \(\mathcal F_c\)-Dirichlet problem in all branches, under the appropriate boundary convexity and admissibility hypotheses. In the concrete strictly convex Euclidean case, if the endpoint potentials satisfy \[ \operatorname{tr}\tan^{-1}(\nabla^2\phi_i)\in(c-\pi/2,c+\pi/2), \] then there is a unique continuous solution with those endpoint values and side boundary data affine in \(t\) [1506.08077]. Dellatorre extended this corners theory to the Riemannian setting. If \(F\) is a subequation on a Riemannian manifold \(\mathcal M\), comparison holds, and \(\partial U\) is strictly \((F,\phi)\)-convex and strictly \((\widetilde F,-\phi)\)-convex, then the \(F\)-Dirichlet problem on a bounded domain with embedded corners admits a unique solution in \(C^0(\overline U)\). Applied to the Riemannian DSL on \(\mathcal D=[0,1]\times D\subset \mathbb R\times M\), this yields continuous solutions under comparison, boundary convexity for the spatial special Lagrangian subequations, and admissible endpoint data [1709.00496]. In important cases these assumptions are automatic. Dellatorre records that if \(M\) is simply-connected and complete and \(D\subset M\) is bounded and strictly convex, then comparison holds for the Riemannian DSL and the required boundary convexity hypotheses follow from strict convexity of \(D\). The resulting solution is unique in \(C^0(\overline{\mathcal D})\) [1709.00496]. Rubinstein–Solomon also obtained additional structure in the outer branches. Time-slice estimates imply Lipschitz control in \(t\), interior slices satisfy the ordinary special Lagrangian subequation \(F_{c-\pi/2}\), and in the outer branches the solutions are \(C^{0,1}\) overall. They further introduced a calibration measure \[ C_\theta(f)=\operatorname{Re}\left(e^{-\sqrt{-1}\theta}\det(I+\sqrt{-1}\nabla^2f)\right)\,dx, \] which extends continuously to convex or concave functions and is positive in the outer branches. This measure allows one to define the length integral of weak geodesics in those branches [1506.08077]. ## 4. Minimum principle, partial Legendre transform, and obstacle formulations Darvas–Rubinstein established a minimum principle for the top branch of DSL. If \[ u\in \mathcal F_c(I\times D), \qquad c\in \left[\frac{n\pi}{2},\frac{(n+1)\pi}{2}\right), \] then \[ v(x):=\inf_{t\in I}u(t,x)\in F_{c-\pi/2}(D). \] This is the Lagrangian analogue of the classical minimum principle in convex analysis and the Kiselman principle in complex analysis [1606.08818]. The mechanism is an exact relation between the space-time angle and the spatial angle after minimization. In the smooth, strictly convex-in-\(t\) case, if \(g(x)=\inf_t f(t,x)\) and \(t(x)\) is the minimizer, then \[ \theta_g(x)=\Theta_f(t(x),x)-\frac{\pi}{2}. \] At the Hessian level, the minimized function satisfies the Schur-complement formula \[ \nabla_x^2 g(x) = \left(\nabla_x^2 f-\frac{(\nabla_{tx}^2f)^T\nabla_{tx}^2f}{\partial_{tt}^2 f}\right)(t(x),x), \] and consequently \[ \det(I+i\nabla_x^2g(x)) = \frac{\det(I_n+i\nabla^2 f(t(x),x))}{i\,\partial_{tt}^2 f(t(x),x)}. \] These identities make precise the \(-\pi/2\) phase shift from space-time to space [1606.08818]. The minimum principle leads to a representation formula for weak DSL solutions. For the Dirichlet problem on \(I=[0,1]\), if \(u\) is the unique weak solution and \[ u^\star(\tau,x)=\inf_{t\in[0,1]}(u(t,x)-\tau t) \] is the time partial Legendre transform, then \(u^\star(\tau,\cdot)\) solves an obstacle problem for the ordinary special Lagrangian subequation \(F_{c-\pi/2}\). Equivalently, the space-time DSL problem can be reduced to a one-parameter family of spatial obstacle problems together with Legendre inversion [1606.08818]. This places DSL in close formal proximity to homogeneous real and complex Monge–Ampère geodesic theory. ## 5. Convexity, affine shears, and the top two branches Recent work sharpened the branch-dependent convexity theory of DSL. For the top two branches \[ c\in \left[\frac{n-1}{2}\pi,\frac{n+1}{2}\pi\right), \] the basic matrix estimate is that if \[ A= \begin{pmatrix} a_{00} & \vec a^{\,T}\\ \vec a & A^+ \end{pmatrix} \in \mathcal F_c, \] then \(a_{00}\ge 0\), and if \(\vec a\neq 0\), then \(a_{00}>0\). For \(C^2\) subsolutions this yields \[ u_{tt}\ge 0, \] with strict positivity when the mixed derivative \(D_xu_t\) does not vanish. This is a partial \(C^2\) estimate arising from branch admissibility alone [2507.17018]. The key new mechanism is a space-time affine shear \[ \ell_{t_0,V}(x)=(t_0+V^Tx,x), \] together with the transformed matrix \(A_V\), whose spatial block is the pullback \(\ell_V^*A\). The decisive identity is \[ \widetilde{\Theta}(A_V)=\widetilde{\Theta}(A). \] Thus affine shearing preserves the space-time Lagrangian angle, and every affine space-time slice of a DSL subsolution is an ordinary special Lagrangian subsolution one branch lower: \[ \widetilde{\Theta}(A)\ge c \quad\Longrightarrow\quad \widetilde{\theta}(\ell_V^*A)\ge c-\frac{\pi}{2}. \] This converts space-time information into spatial SL information on every nonvertical affine slice [2507.17018]. The resulting convexity theorem is branch-sharp. If \(u\in \mathcal F_c((0,1)\times D)\) with \[ c\in \left[\frac{n-1}{2}\pi,\frac{n+1}{2}\pi\right), \] then: - \(t\mapsto u(t,x_0)\) is convex for every \(x_0\in D\); - if \(H\subset \mathbb R\times \mathbb R^n\) is a 2-plane not containing a vertical line \(\mathbb R\times\{x_0\}\), then \(u|_{\mathcal D\cap H}\) is subharmonic; - if \[ c\in \left[\frac{n}{2}\pi,\frac{n+1}{2}\pi\right), \] then \(u\) is jointly convex in \((t,x)\). This settles Rubinstein–Solomon’s question on joint space-time convexity in the top branch and shows that second-branch convexity is weaker but still structured [2507.17018]. The same paper proves the product decomposition \[ \mathcal F_c=P_1\star F_{c-\pi/2}, \qquad c\in \left[\frac{n-1}{2}\pi,\frac{n+1}{2}\pi\right), \] where \(P_1=[0,\infty)\subset \operatorname{Sym}^2(\mathbb R)\). This identifies the top two DSL branches as “one convex time direction plus a spatial special Lagrangian branch” in the sense of Ross–Witt Nyström. Using this structure, the minimum principle extends from the top branch to the second branch: \[ u\in \mathcal F_c((0,1)\times D) \quad\Longrightarrow\quad \inf_{t\in(0,1)}u(t,\cdot)\in F_{c-\pi/2}(D). \] The Legendre-duality description of the Dirichlet problem correspondingly extends from the top branch to the top two branches [2507.17018]. The limitations are equally explicit. The second branch does not imply spatial convexity and does not imply global 2-convexity in general; the paper provides a quadratic example with \(\partial_{x_n}^2u<0\), and for suitable parameters the example is not even 2-convex. This shows that the second-branch conclusions are sharp rather than provisional [2507.17018]. ## 6. Relation to deformed Hermitian–Yang–Mills and adjacent equations DSL belongs to a broader family of special-Lagrangian-type phase equations, but its degeneracy and geodesic role distinguish it sharply from nearby theories. Jacob–Yau studied the deformed Hermitian–Yang–Mills equation (dHYM) for a Hermitian metric on a holomorphic line bundle over a compact Kähler manifold. In their formulation, if \(K=\omega^{-1}(iF)\) and \(\lambda_j\) are the eigenvalues of the curvature endomorphism, the phase is \[ \theta=\sum_{j=1}^n \arctan(\lambda_j), \] and dHYM is the nondegenerate elliptic equation \(\theta=\hat\theta\). They established a variational interpretation, uniqueness up to constant rescaling, a complete existence criterion on Kähler surfaces, and a line-bundle mean curvature flow. However, that theory does not study DSL, geodesics in spaces of positive Lagrangians, or a degenerate space-time equation arising from such geodesics [1411.7457]. The relation becomes closer in Jacob’s work on weak geodesics for dHYM. There the geodesic equation in the space of dHYM potentials is reformulated as a degenerate elliptic equation on \(A\times X\), \[ \operatorname{Im}\Big(e^{-\sqrt{-1}\hat\theta} (\pi^*\omega+\sqrt{-1}(\pi^*\alpha+\sqrt{-1}D\bar D\phi))^{n+1}\Big)=0, \] with positivity condition on spatial slices. The time direction is degenerate because \(\pi^*\omega\) vanishes in the annulus direction, and the equation is treated via a Hermitian space-time angle operator, Harvey–Lawson subequations, and convexity of the highest branch. Under the supercritical phase assumption \[ (n-1)\frac{\pi}{2}