Inner (dot) Product Inequality: Proving Nonnegativity

  • Thread starter Thread starter babyrudin
  • Start date Start date
  • Tags Tags
    Dot
Click For Summary
SUMMARY

The discussion centers on proving the nonnegativity of the inner product inequality for vectors x and y in R^n, specifically demonstrating that < \|x\|^{p-2}x -\|y\|^{p-2}y, x-y> is greater than or equal to zero for p > 1. The solution involves expanding the left-hand side and simplifying it to \|x\|^p + \|y\|^p - (\|x\|^{p-2} + \|y\|^{p-2}). The application of the Cauchy-Schwarz inequality is crucial in establishing the nonnegativity of the expression.

PREREQUISITES
  • Understanding of inner product spaces
  • Familiarity with Cauchy-Schwarz inequality
  • Knowledge of vector norms and their properties
  • Proficiency in mathematical proof techniques
NEXT STEPS
  • Study the properties of inner products in R^n
  • Learn about the implications of the Cauchy-Schwarz inequality in vector spaces
  • Explore advanced topics in functional analysis related to norms
  • Practice proving inequalities involving norms and inner products
USEFUL FOR

Mathematics students, researchers in functional analysis, and anyone interested in understanding inequalities in vector spaces will benefit from this discussion.

babyrudin
Messages
8
Reaction score
0

Homework Statement



For x,y \in R^n, their inner ("dot") product is given by

<x,y>=\sum_{i=1}^n x_i y_i.

Also, we write

<x,x>=\|x\|^2.

Homework Equations



Fix p>1. Show that for all x,y \in R^n we have

< \|x\|^{p-2}x -\|y\|^{p-2}y, x-y> \geq 0

The Attempt at a Solution



Expanding the left-hand side, we can write

<\|x\|^{p-2}x,x> -<\|y\|^{p-2}y,x>-<\|x\|^{p-2}x,y>+<\|y\|^{p-2}y,y>

which further simplifies to

\|x\|^p +\|y\|^p -(\|x\|^{p-2} +\|y\|^{p-2})<x,y>.

Then I'm stuck. How do I show that the above is nonnegative?
 
Last edited:
Physics news on Phys.org
how about using cauchy-schwartz inequality?
something like this
<x,y><=sqrt(<x,x><y,y>)=||x||*||y||
then you get that what you wrote is greater than:
||x||^p+||y||^p-(||x||^p-2+||y||^p-2)(||x||*||y||)=
x^(p-1)(x-y)+y^(p-1)(y-x)=(x^p-1-y^p-1)(x-y)
now if ||x||>=||y|| then ||x||^p-1>=||y||^p-1
I leave you to check this proposition.
 
I've got it now, many many thanks!
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
16
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K