BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

F. Reese Harvey

F. Reese Harvey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APmath.DGmath.CVmath.COmath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Interplay between nonlinear potential theory and fully nonlinear elliptic PDEs

We discuss one of the many topics that illustrate the interaction of Blaine Lawson's deep geometric and analytic insights. The first author is extremely grateful to have had the pleasure of collaborating with Blaine over many enjoyable years. The topic to be discussed concerns the fruitful interplay between nonlinear potential theory; that is, the study of subharmonics with respect to a general constraint set in the 2-jet bundle and the study of subsolutions and supersolutions of a nonlinear (degenerate) elliptic PDE. The main results include (but are not limited to) the validity of the comparison principle and the existence and uniqueness to solutions to the relevant Dirichlet problems on domains which are suitably "pseudoconvex". The methods employed are geometric and flexible as well as being very general on the potential theory side, which is interesting in its own right. Moreover, in many important geometric contexts no natutral operator may be present. On the other hand, the potential theoretic approach can yield results on the PDE side in terms of non standard structual conditions on a given differential operator.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Comparison principles by monotonicity and duality for constant coefficient nonlinear potential theory and PDEs

We prove comparison principles for nonlinear potential theories in euclidian spaces in a very straightforward manner from duality and monotonicity. We shall also show how to deduce comparison principles for nonlinear differential operators, a program seemingly different from the first. However, we shall marry these two points of view, for a wide variety of equations, under something called the correspondence principle. In potential theory one is given a constraint set F on the 2-jets of a function, and the boundary of F gives a differential equation. There are many differential operators, suitably organized around F, which give the same equation. So potential theory gives a great strengthening and simplification to the operator theory. Conversely, the set of operators associated to F can have much to say about the potential theory. An object of central interest here is that of monotonicity, which explains and unifies much of the theory. We shall always assume that the maximal monotonicity cone for a potential theory has interior. This is automatic for gradient-free equations where monotonicity is simply the standard degenerate ellipticity and properness assumptions. We show that for each such potential theory F there is an associated canonical operator, defined on the entire 2-jet space and having all the desired properties. Furthermore, comparison holds for this operator on any domain which admits a regular strictly M-subharmonic function, where M is a monotonicity subequation for F. On the operator side there is an important dichotomy into the unconstrained cases and constrained cases, where the operator must be restricted to a proper subset of 2-jet space. These two cases are best illustrated by the canonical operators and Dirichlet-Garding operators, respectively. The article gives many, many examples from pure and applied mathematics, and also from theoretical physics.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The Richberg technique for subsolutions

This note adapts the sophisticated Richberg technique for approximation in pluripotential theory to the $F$-potential theory associated to a general nonlinear convex subequation $F \subset J^2(X)$ on a manifold $X$. The main theorem is the following &#34;local to global&#34; result. Suppose $u$ is a continuous strictly $F$-subharmonic function such that each point $x\in X$ has a fundamental neighborhood system consisting of domains for which a &#34;quasi&#34; form of $C^\infty$ approximation holds. Then for any positive $h\in C(X)$ there exists a strictly $F$-subharmonic function $w\in C^\infty(X)$ with $u< w< u+h$. Applications include all convex constant coefficient subequations on ${\bf R}^n$, various nonlinear subequations on complex and almost complex manifolds, and many more.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access