Assume and abbreviate
The integral of the nonnegative square expands to for every real . If , completing the square, or choosing , gives . Hence the Cauchy-Schwarz inequality is
If , continuity and nonnegativity imply throughout the interval, so the same inequality is immediate.
When , equality holds exactly when . The integrand is continuous and nonnegative, so it must vanish everywhere, giving . Including the case of a zero function, equality is equivalent to linear dependence of and as elements of the real vector space of continuous functions on the interval.
The volume form in cylindrical coordinates is . Integrating around the axis and over the height gives cylindrical-shell volume . Hence the volume integral is
For unit density, this is the kinetic energy of the rotational motion.
Using the same cylindrical-shell volume,
For unit density, this is the axial angular momentum. To bound it, apply the integral Cauchy-Schwarz inequality to and :
Multiplication by gives . Since the chamber's volume is , this is precisely
Equality in the Cauchy-Schwarz inequality requires for one constant . Thus and
This is solid-body rotation. At fixed , the constant is . The value at the single axis point does not affect the integrals; if is continuous, it has the same constant value there as well.

Articles by others on the same topic (0)

There are currently no matching articles.