Fefferman–Phong inequality
E537775
The Fefferman–Phong inequality is a fundamental result in harmonic analysis and partial differential equations that provides weighted \(L^2\) estimates controlling functions by their gradients and associated potentials.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Fefferman–Phong inequality canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5657951 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Fefferman–Phong inequality Context triple: [Charles Fefferman, notableWork, Fefferman–Phong inequality]
-
A.
Poincaré inequality
The Poincaré inequality is a fundamental result in functional analysis and partial differential equations that bounds the average oscillation of a function by the size of its gradient, playing a key role in Sobolev space theory and the study of elliptic problems.
-
B.
Singular Integrals and Differentiability Properties of Functions
"Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
-
C.
Three regularity results in harmonic analysis
"Three regularity results in harmonic analysis" is the doctoral thesis of mathematician Terence Tao, focusing on advanced problems in harmonic analysis and the study of regularity properties of functions and operators.
-
D.
Young inequality for convolutions
Young inequality for convolutions is a fundamental result in analysis that provides norm bounds for the convolution of functions in Lebesgue spaces, relating the L^p norms of the factors to the L^r norm of their convolution.
-
E.
Monge–Ampère equation
The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Fefferman–Phong inequality Target entity description: The Fefferman–Phong inequality is a fundamental result in harmonic analysis and partial differential equations that provides weighted \(L^2\) estimates controlling functions by their gradients and associated potentials.
-
A.
Poincaré inequality
The Poincaré inequality is a fundamental result in functional analysis and partial differential equations that bounds the average oscillation of a function by the size of its gradient, playing a key role in Sobolev space theory and the study of elliptic problems.
-
B.
Singular Integrals and Differentiability Properties of Functions
"Singular Integrals and Differentiability Properties of Functions" is a landmark mathematical monograph by Elias M. Stein that developed the modern theory of singular integral operators and their role in harmonic analysis and differentiability.
-
C.
Three regularity results in harmonic analysis
"Three regularity results in harmonic analysis" is the doctoral thesis of mathematician Terence Tao, focusing on advanced problems in harmonic analysis and the study of regularity properties of functions and operators.
-
D.
Young inequality for convolutions
Young inequality for convolutions is a fundamental result in analysis that provides norm bounds for the convolution of functions in Lebesgue spaces, relating the L^p norms of the factors to the L^r norm of their convolution.
-
E.
Monge–Ampère equation
The Monge–Ampère equation is a fully nonlinear partial differential equation central to differential geometry, optimal transport, and several complex variables, often used to study curvature and geometric structures.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical inequality
ⓘ
result in harmonic analysis ⓘ result in partial differential equations ⓘ |
| appliesTo |
Schrödinger-type operators
ⓘ
second-order elliptic operators ⓘ |
| assumes |
measurable potentials
ⓘ
nonnegative weight functions ⓘ |
| concerns | control of integrals of |u|^2 by integrals of |∇u|^2 and V|u|^2 ⓘ |
| context |
analysis of singular or rough potentials
ⓘ
local and global estimates for PDE solutions ⓘ |
| ensures |
control of potential energy by kinetic energy terms
ⓘ
lower bounds for quadratic forms involving potentials ⓘ |
| field |
harmonic analysis
ⓘ
partial differential equations ⓘ |
| hasGeneralizations |
inequalities for magnetic Schrödinger operators
ⓘ
inequalities with matrix-valued potentials ⓘ non-Euclidean settings such as manifolds and Lie groups ⓘ |
| involves |
nonnegative potentials
ⓘ
quadratic forms associated with differential operators ⓘ weighted integral inequalities ⓘ |
| mainConcept |
Schrödinger operators
NERFINISHED
ⓘ
potential terms in PDEs ⓘ weighted L^2 estimates ⓘ |
| mathematicalArea |
functional analysis
ⓘ
spectral theory ⓘ |
| namedAfter |
Charles Fefferman
NERFINISHED
ⓘ
Dinh H. Phong NERFINISHED ⓘ |
| provides | control of L^2 norms of functions by L^2 norms of gradients and potentials ⓘ |
| relatedTo |
Caccioppoli inequality
ⓘ
Fefferman–Phong class of weights NERFINISHED ⓘ Hardy inequality NERFINISHED ⓘ Kato class potentials ⓘ |
| relates |
functions
ⓘ
gradients of functions ⓘ potentials ⓘ |
| type |
coercivity estimate
ⓘ
weighted energy inequality ⓘ |
| typicalDomain | Euclidean space R^n NERFINISHED ⓘ |
| typicalFunctionSpace |
L^2 spaces
ⓘ
Sobolev spaces NERFINISHED ⓘ |
| usedFor |
Carleman-type estimates
ⓘ
a priori estimates for PDE solutions ⓘ regularity theory in PDE ⓘ spectral theory of Schrödinger operators ⓘ unique continuation problems ⓘ |
| usedIn |
boundedness of Riesz transforms
ⓘ
estimates for eigenvalues of Schrödinger operators ⓘ study of self-adjointness of Schrödinger operators ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Fefferman–Phong inequality Description of subject: The Fefferman–Phong inequality is a fundamental result in harmonic analysis and partial differential equations that provides weighted \(L^2\) estimates controlling functions by their gradients and associated potentials.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.