Friedrichs' inequality

Friedrichs' inequality bounds a function’s norm by the norm of its derivative when boundary conditions rule out nonzero constants. It is a fundamental estimate in the analysis of partial differential equations.

Connect

Poincaré inequality: An inequality bounding a function’s deviation from its mean by the norm of its gradient on a suitable domain. It expresses the same derivative-control principle, usually after subtracting the mean.
Lax–Milgram theorem: A theorem guaranteeing a unique weak solution for coercive, bounded bilinear forms on a Hilbert space. Friedrichs-type bounds help establish coercivity for elliptic problems.
Wirtinger inequality: An inequality bounding the squared integral of a mean-zero periodic function by that of its derivative. It is a one-dimensional periodic counterpart with a sharp constant.
Kurt Otto Friedrichs: A German-American mathematician known for work in partial differential equations, mathematical physics, and functional analysis. His name is attached to this inequality and related estimates.
Trace theorem: A theorem that gives boundary values, or traces, of functions with limited smoothness. It makes boundary conditions meaningful for functions in Sobolev spaces.
Poisson equation: The partial differential equation stating that a function’s Laplacian equals a prescribed source. With suitable boundary data, the inequality controls solution norms through their gradients.
Korn's inequality: An inequality controlling a vector field’s full gradient through its symmetric gradient, modulo rigid motions. It replaces scalar derivative control with control of deformation in elasticity.
Richard Courant: A mathematician whose work shaped modern applied mathematics, including variational methods and partial differential equations. His collaboration with Friedrichs helped develop foundational PDE analysis.
Sobolev space: A function space whose elements and weak derivatives satisfy specified integrability conditions. Friedrichs' inequality is typically stated for functions in these spaces.
Variational method: A method for solving equations by finding extrema or stationary points of functionals. Derivative control helps bound minimizing sequences and prove existence.