Researcher profile

H. Blaine Lawson Jr

H. Blaine Lawson Jr contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
7works
0followers
6topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Determinant majorization and the work of Guo-Phong-Tong and Abja-Olive

The objective of this note is to establish the Determinant Majorization Formula $F(A)^{1\over N} \geq \det(A)^{1\over n}$ for all operators $F$ determined by an invariant Garding-Dirichlet polynomial of degree $N$ on symmetric $n \times n$ matrices. Here "invariant" means under the group O$(n)$, U$(n)$ or Sp$(n)$ when the matrices are real symmetric, Hermitian symmetric, or quaternionic symmetric respectively. This greatly expands the applicability of the recent work of Guo-Phong-Tong and Guo-Phong for differential equations on complex manifolds. It also relates to the work of Abja-Olive on interior regularity. Further applications to diagonal operators and to operators depending on the ordered eigenvalues are given. Examples showing the preciseness of the results are presented. For the application to Abja-Olive's work, and other comments in the paper, we establish some results for Garding-Dirichlet operators in appendices. One is an exhaustion lemma for the Garding cone. Another gives bounds for higher order derivatives, which result from their elegant expressions as functions of the Garding eigenvalues. There is also a discussion of the crucial assumption of the Central Ray Hypothesis.

preprint2020arXiv

A generalization of pde's from a Krylov point of view

We introduce and investigate the notion of a `generalized equation' of the form $f(D^2 u)=0$, based on the notions of subequations and Dirichlet duality. Precisely, a subset ${\mathbb H}\subset {\rm Sym}^2({\mathbb R}^n)$ is a generalized equation if it is an intersection ${\mathbb H} = {\mathbb E}\cap (-\widetilde{\mathbb G})$ where ${\mathbb E}$ and ${\mathbb G}$ are subequations and $\widetilde{\mathbb G}$ is the subequation dual to ${\mathbb G}$. We utilize a viscosity definition of `solution' to ${\mathbb H}$. The mirror of ${\mathbb H}$ is defined by ${\mathbb H}^* \equiv {\mathbb G}\cap (-\widetilde {\mathbb E})$. One of the main results here concerns the Dirichlet problem on arbitrary bounded domains $Ω\subset {\mathbb R}^n$ for solutions to ${\mathbb H}$ with prescribed boundary function $φ\in C(\partial Ω)$. We prove that: (A) Uniqueness holds $\iff$ ${\mathbb H}$ has no interior, and (B) Existence holds $\iff$ ${\mathbb H}^*$ has no interior. For (B) the appropriate boundary convexity of $\partial Ω$ must be assumed. Many examples of generalized equations are discussed, including the constrained Laplacian, the twisted Monge-Ampère equation, and the $C^{1,1}$-equation. The closed sets ${\mathbb H}$ which can be written as generalized equations are intrinsically characterized. For such an ${\mathbb H}$ the set of subequation pairs with ${\mathbb H} = {\mathbb E}\cap (-\widetilde{\mathbb G})$ is partially ordered, and there is a canonical least element, contained in all others. Harmonics for the canonical equation are harmonic for all others giving ${\mathbb H}$. A general form of the main theorem, which holds on any manifold, is also established.

preprint2020arXiv

Pseudoconvexity for the Special Lagrangian Potential Equation

The Special Lagrangian Potential Equation for a function $u$ on a domain $Ω\subset {\bf R}^n$ is given by ${\rm tr}\{\arctan(D^2 \,u) \} = θ$ for a contant $θ\in (-n {π\over 2}, n {π\over 2})$. For $C^2$ solutions the graph of $Du$ in $Ω\times {\bf R}^n$ is a special Lagrangian submanfold. Much has been understood about the Dirichlet problem for this equation, but the existence result relies on explicitly computing the associated boundary conditions (or, otherwise said, computing the pseudo-convexity for the associated potential theory). This is done in this paper, and the answer is interesting. The result carries over to many related equations -- for example, those obtained by taking $\sum_k \arctan\, λ_k^{\mathfrak g} = θ$ where ${\mathfrak g} : {\rm Sym}^2({\bf R}^n)\to {\bf R}$ is a Garding-Dirichlet polynomial which is hyperbolic with respect to the identity. A particular example of this is the deformed Hermitian-Yang-Mills equation which appears in mirror symmetry. Another example is $\sum_j \arctan κ_j = θ$ where $κ_1, ... , κ_n$ are the principal curvatures of the graph of $u$ in $Ω\times {\bf R}$. We also discuss the inhomogeneous Dirichlet Problem ${\rm tr}\{\arctan(D^2_x \,u)\} = ψ(x)$ where $ψ: \overlineΩ\to (-n {π\over 2}, n {π\over 2})$. This equation has the feature that the pull-back of $ψ$ to the Lagrangian submanifold $L\equiv {\rm graph}(Du)$ is the phase function $θ$ of the tangent spaces of $L$. On $L$ it satisfies the equation $\nabla ψ= -JH$ where $H$ is the mean curvature vector field of $L$.

preprint2016arXiv

Tangents to subsolutions -- existence and uniqueness, Part I

There is an interesting potential theory associated to each degenerate elliptic, fully nonlinear equation $f(D^2u) = 0$. These include all the potential theories attached to calibrated geometries. This paper begins the study of tangents to the subsolutions in these theories, a topic inspired by the results of Kiselman in the classical plurisubharmonic case. Fundamental to this study is a new invariant of the equation, called the &#34;Riesz characteristic&#34;, which governs asymptotic structures. The existence of tangents to subsolutions is established in general, as is the existence of an upper semi-continuous density function. Two theorems establishing the strong uniqueness of tangents (which means every tangent is a Riesz kernel) are proved. They cover all O(n)-invariant convex cone equations and their complex and quaternionic analogues, with the exception of the homogeneous Monge-Ampère equations, where uniqueness fails. They also cover a large class of geometrically defined subequations which includes those coming from calibrations. A discreteness result for the sets where the density is $\geq c > 0$ is also established in any case where strong uniqueness holds. A further result (which is sharp) asserts the Hölder continuity of subsolutions when the Riesz characteristic p satisfies $1 \leq p < 2$. Many explicit examples are examined. The second part of this paper is devoted to the &#34;geometric cases&#34;. A Homogeneity Theorem and a Second Strong Uniqueness Theorem are proved, and the tangents in the Monge-Ampère case are completely classified.

preprint2016arXiv

The AE Theorem and addition theorems for quasi-convex functions

The main point of this paper is to prove the following useful result: If the almost everywhere 2-jet of a locally quasi-convex function u satisfies a degenerate elliptic constraint F, then u is F-subharmonic, i.e., u is a viscosity F-subsolution. This AE Theorem makes otherwise difficult results transparent. Some instances of this are presented, including two versions of addition, and a comparison theorem.

preprint2010arXiv

Hyperbolic polynomials and the Dirichlet problem

This paper presents a simple, self-contained account of Garding&#39;s theory of hyperbolic polynomials, including a recent convexity result of Bauschke-Guler-Lewis-Sendov and an inequality of Gurvits. This account also contains new results, such as the existence of a real analytic arrangement of the eigenvalue functions. In a second, independent part of the paper, the relationship of Garding&#39;s theory to the authors&#39; recent work (arXiv:0710.3991) on the Dirichlet problem for fully nonlinear partial differential equations is investigated. Let p be a homogeneous polynomial of degree m on S^2(R^n) which is hyperbolic with respect to the all positive directions A \geq 0. Then p has an associated eigenvalue map lambda:S^2(R^n) \to R^m, defined modulo the permutation group acting on R^m. Consequently, each closed symmetric set E of R^m induces a second-order p.d.e. by requiring, for a C^2-function u in n-variables, that (D^2 u)(x) lie in the boundary of E for all x. Assume that E + (R_+)^m is contained in E. A main result is that for smooth domains in R^n whose boundary is suitably (p,E)-pseudo-convex, the Dirichlet problem has a unique continuous solution for all continuous boundary data. This applies to a vast collection of examples the most basic of which are the m distinct branches of the equation p(D^2 u) =0. In the authors&#39; recent extension of results from euclidean domains to domains in riemannian manifolds (arXiv:0907.1981), a new global ingredient, called a monotonicity subequation, was introduced. It is shown in this paper that for every polynomial $p$ as above, the associated Garding cone is a monotonicity cone for all branches of the the equation p(Hess u) = 0 where Hess u denotes the riemannian Hessian of u.