General Maximum

General Maximum
Name	General Maximum
Field	Bernoulli's principle Partial differential equations Calculus of variations
Introduced	19th century
Notable contributors	Simeon Denis Poisson Augustin-Louis Cauchy Joseph-Louis Lagrange Jean le Rond d'Alembert
Related results	Maximum principle (elliptic PDEs) Hopf lemma Harnack's inequality Perron method

General Maximum The General Maximum is a broad principle asserting that solutions of certain differential or variational problems attain their extreme values on the boundary of a domain rather than in its interior. It unifies classical results across Laplace's equation, heat equation, and nonlinear elliptic and parabolic operators, connecting techniques from Dirichlet problem theory, potential theory, and classical analysis.

Definition and Statement

In modern form the General Maximum asserts: if u is a sufficiently regular solution of a second-order uniformly elliptic or parabolic operator on a connected domain D satisfying prescribed boundary or initial-boundary conditions, then a nonpositive interior maximum (or nonnegative interior minimum) implies u is constant on D. Typical precise statements are given for operators associated with Laplace operator, Schrödinger operator, and divergence-form operators arising in the Calculus of variations and in the study of harmonic and caloric functions. The principle links boundary value problems such as the Dirichlet problem and comparison methods used in the study of the Poisson equation and eigenfunction bounds in domains like those studied by Johann Bernoulli and Daniel Bernoulli.

Historical Development and Context

The evolution of the General Maximum traces through work on harmonic functions and classical potential theory by Pierre-Simon Laplace, Siméon Denis Poisson, and Joseph Fourier. Formal maximum principles emerged in the 19th century with contributions by Augustin-Louis Cauchy and rigorous formulations in the theory of elliptic equations by Sofia Kovalevskaya and later systematic development in the 20th century by analysts such as Eberhard Hopf, John Nash, and Israel Gelfand. The interplay with the Dirichlet principle and methods advanced in the context of boundary value problems for the Laplace operator and heat equation led to extensions addressing nonlinearity and degeneracy studied by figures like Ennio de Giorgi and Nikolai Krylov.

Mathematical Formulations and Examples

One canonical elliptic formulation: if u ∈ C^2(D) ∩ C^0( D̄ ) satisfies Lu := a^{ij}(x) ∂_{ij} u + b^i(x) ∂_i u + c(x) u ≥ 0 in D with a^{ij} uniformly positive definite and c ≤ 0, then max_{D̄} u = max_{∂D} u unless u is constant. For parabolic problems, for v solving ∂_t v - Lv ≥ 0 on D×(0,T), the supremum over D×[0,T] is attained at the parabolic boundary, a formulation used in studies of the heat equation and in the analysis of the Black–Scholes equation in mathematical finance. Examples include harmonic functions on balls as in classical work by Carl Friedrich Gauss, eigenfunctions of the Laplace operator on domains considered by Bernhard Riemann, and solutions to boundary value problems in domains treated by Lord Kelvin.

Applications and Implications

The General Maximum underpins uniqueness results for the Dirichlet problem, comparison principles in nonlinear elliptic and parabolic PDEs, and monotonicity methods used in the Calculus of variations and shape optimization as in work associated with Sergiu Klainerman and Hermann Weyl. It is critical in the qualitative theory of solutions to the Poisson equation, regularity theory developed by Ennio de Giorgi and John Nash, and in control of blow-up phenomena in reaction–diffusion equations studied by Paul Erdős-style collaborations and PDE researchers. In mathematical physics, it informs maximum modulus bounds for harmonic and subharmonic functions in contexts examined by Lord Rayleigh and Kronig–Penney models.

Proofs and Related Theorems

Proofs commonly use comparison functions, barrier constructions, and the strong maximum principle via Hopf's lemma; classical proofs trace to energy methods and the Perron method for existence. The Hopf lemma provides boundary gradient estimates used in the strong form; Harnack's inequality yields quantitative control of positive solutions and is related to the General Maximum through work by Aurel Constantin Mincu and Jürgen Moser. The Aleksandrov–Bakelman–Pucci estimate and the Krylov–Safonov theory give alternative proofs and extensions for nondivergence form operators, connecting to the work of Aleksandr Danilovich Aleksandrov and Nicolae Vasile.

Generalizations and Extensions

Extensions include weak maximum principles for viscosity solutions in fully nonlinear equations studied by Michael G. Crandall and Pierre-Louis Lions, variants for degenerate elliptic operators in sub-Riemannian geometries connected to research by Lennart Carleson and J.-H. Cheng, and stochastic maximum principles in the theory of stochastic differential equations and stochastic control tied to Kiyoshi Itô and Richard H. Bass. Nonlocal analogues appear for integro-differential operators and fractional Laplacians analyzed by Luis Caffarelli and Enrico Valdinoci, while geometric versions relate to curvature flows and the Ricci flow studied by Richard S. Hamilton and Grigori Perelman.

Category:Partial differential equations