Schwarz's Inequality

Let psi_1(x) and psi_2(x) be any two real integrable functions in [a,b], then Schwarz's inequality is given by

 |<psi_1|psi_2>|^2<=<psi_1|psi_1><psi_2|psi_2>.
(1)

Written out explicitly

 [int_a^bpsi_1(x)psi_2(x)dx]^2<=int_a^b[psi_1(x)]^2dxint_a^b[psi_2(x)]^2dx,
(2)

with equality iff psi_1(x)=alphapsi_2(x) with alpha a constant. Schwarz's inequality is sometimes also called the Cauchy-Schwarz inequality (Gradshteyn and Ryzhik 2000, p. 1099) or Buniakowsky inequality (Hardy et al. 1952, p. 16).

To derive the inequality, let psi(x) be a complex function and lambda a complex constant such that psi(x)=f(x)+lambdag(x) for some f and g. Since intpsi^_psidx>=0, where z^_ is the complex conjugate,

 intpsi^_psidx=intf^_fdx+lambdaintf^_gdx+lambda^_intg^_fdx+lambdalambda^_intg^_gdx>=0,
(3)

with equality when psi(x)=0. Writing this in compact notation,

 <f^_,f>+lambda<f^_,g>+lambda^_<g^_,f>+lambdalambda^_<g^_,g>>=0.
(4)

Now define

lambda=-(<g^_,f>)/(<g^_,g>)
(5)
lambda^_=-(<g,f^_>)/(<g^_,g>).
(6)

Multiply (4) by <g^_,g> and then plug in (5) and (6) to obtain

 <f^_,f><g^_,g>-<f^_,g><g^_,f> 
 -<g^_,f><g,f^_>+<g^_,f><g,f^_>>=0,
(7)

which simplifies to

 <g^_,f><f^_,g><=<f^_,f><g^_,g>
(8)

so

 |<f,g>|^2<=<f,f><g,g>.
(9)

Bessel's inequality follows from Schwarz's inequality.

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.