16
$\begingroup$

According to Gårding, the determinant is a hyperbolic polynomial over the space $\mathbf{Sym}_n$ of real symmetric $n\times n$ matrices. More precisely, it is hyperbolic in the direction of the identity matrix $I_n$, or more generally of any positive definite matrix $P$.

Gårding's statement means that the differential operator $$L:=\det\left(\frac{\partial}{\partial a_{ij}}\right),$$ where $a_{ij}\equiv a_{ji}$, is hyperbolic. In other words, the Cauchy problem $Lf(A)=0$, with initial data given on the hyperplane $\operatorname{Tr} A=0$ (for instance), is well-posed.

My question is whether this differential operator occurs somewhere, apart from Gårding's work. If $n=2$, $L$ is equivalent to the wave operator in $3$ variables (two space dimensions). But in general, $L$ has order $n$. Mind that an initial condition consists of $n$ arbitrary functions on the initial hyperplane.

Edit. As commented by Mariano, $L$ is the restriction to $\mathbf{Sym}_n$ of Cayley's $\Omega$ process. However this does not answer my question, because $\Omega$ is not hyperbolic. The hyperbolicity makes $L$ somewhat specific in the context of differential operators.

$\endgroup$
7
  • 4
    $\begingroup$ That's Cayley's $\Omega$ process restricted to symmetric matrices, no? It appearts in Capelli's identites, for example, and in the proof that certain invariant rings are finitely generated. $\endgroup$ Commented Jan 8 at 18:38
  • 2
    $\begingroup$ Gårding, not Gaarding, right? Could you give a specific reference for the claim? (A quick search turned up MR0196280; is that it?) $\endgroup$
    – LSpice
    Commented Jan 8 at 18:54
  • 1
    $\begingroup$ @LSpice could you provide a ZBmath link instead of something behind an expensive paywall? $\endgroup$
    – YCor
    Commented Jan 9 at 10:34
  • 1
    $\begingroup$ @LSpice but your link provides me with a paywall, with no reference info at all. $\endgroup$
    – YCor
    Commented Jan 9 at 15:00
  • 1
    $\begingroup$ @LSpice My references are 1) L. Gårding, Linear hyperbolic partial differential equations with constant coefficients. Acta Math., 85 (1951), p 1-62 and 2) An inequality for hyperbolic polynomials. J. Math. Mech., 8 (1959), p 957-965. $\endgroup$ Commented Jan 9 at 20:53

1 Answer 1

6
$\begingroup$

Gårding's differential operator (introduced in Extension of a Formula by Cayley to Symmetric Determinants) is discussed by Turnbull in Symmetric Determinants and the Cayley and Capelli Operator:

The result obtained by Lars Gårding, who uses the Cayley operator upon a symmetric matrix, is of considerable interest ... it is significant to have learnt from Professor A. C. Aitken in March this year 1946, that he too was finding the symmetrical matrix operator of importance and has already written on the matter.

[For Aitken's work, see A Note on Trace-Differentiation and the $\Omega$-operator]

Turnbull also considers the case where the matrix is skew-symmetric, rather than symmetric. An overview of the literature is given in Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians.

Gårding's theory of hyperbolic polynomials is the topic of Hyperbolic polynomials and the Dirichlet problem. The name "Dirichlet-Gårding polynomial" is used for this general class.

Other references on this topic include

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .